HOME

TheInfoList



OR:

In mathematics, the Lumer–Phillips theorem, named after Günter Lumer and Ralph Phillips, is a result in the theory of strongly continuous semigroups that gives a necessary and sufficient condition for a
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...
in a
Banach space In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between ve ...
to generate a
contraction semigroup In mathematical analysis, a C0-semigroup, ''C''0-semigroup Γ(''t''), ''t'' ≥ 0, is called a quasicontraction semigroup if there is a constant ''ω'' such that , , Γ(''t''), ,  ≤ exp(''ωt'') for all ''t'' ≥ 0. � ...
.


Statement of the theorem

Let ''A'' be a
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...
defined on a linear subspace ''D''(''A'') of the
Banach space In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between ve ...
''X''. Then ''A'' generates a
contraction semigroup In mathematical analysis, a C0-semigroup, ''C''0-semigroup Γ(''t''), ''t'' ≥ 0, is called a quasicontraction semigroup if there is a constant ''ω'' such that , , Γ(''t''), ,  ≤ exp(''ωt'') for all ''t'' ≥ 0. � ...
if and only if # ''D''(''A'') is dense in ''X'', # ''A'' is closed, # ''A'' is dissipative, and # ''A'' − ''λ''0''I'' is
surjective In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of ...
for some ''λ''0> 0, where ''I'' denotes the
identity operator Identity may refer to: * Identity document * Identity (philosophy) * Identity (social science) * Identity (mathematics) Arts and entertainment Film and television * ''Identity'' (1987 film), an Iranian film * ''Identity'' (2003 film), an ...
. An operator satisfying the last two conditions is called maximally dissipative.


Variants of the theorem


Reflexive spaces

Let ''A'' be a
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...
defined on a linear subspace ''D''(''A'') of the reflexive
Banach space In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between ve ...
''X''. Then ''A'' generates a
contraction semigroup In mathematical analysis, a C0-semigroup, ''C''0-semigroup Γ(''t''), ''t'' ≥ 0, is called a quasicontraction semigroup if there is a constant ''ω'' such that , , Γ(''t''), ,  ≤ exp(''ωt'') for all ''t'' ≥ 0. � ...
if and only if # ''A'' is dissipative, and # ''A'' − ''λ''0''I'' is
surjective In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of ...
for some ''λ''0> ''0'', where ''I'' denotes the
identity operator Identity may refer to: * Identity document * Identity (philosophy) * Identity (social science) * Identity (mathematics) Arts and entertainment Film and television * ''Identity'' (1987 film), an Iranian film * ''Identity'' (2003 film), an ...
. Note that the conditions that ''D''(''A'') is dense and that ''A'' is closed are dropped in comparison to the non-reflexive case. This is because in the reflexive case they follow from the other two conditions.


Dissipativity of the adjoint

Let ''A'' be a
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...
defined on a dense linear subspace ''D''(''A'') of the reflexive
Banach space In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between ve ...
''X''. Then ''A'' generates a
contraction semigroup In mathematical analysis, a C0-semigroup, ''C''0-semigroup Γ(''t''), ''t'' ≥ 0, is called a quasicontraction semigroup if there is a constant ''ω'' such that , , Γ(''t''), ,  ≤ exp(''ωt'') for all ''t'' ≥ 0. � ...
if and only if * ''A'' is closed and both ''A'' and its
adjoint operator In mathematics, specifically in operator theory, each linear operator A on a Euclidean vector space defines a Hermitian adjoint (or adjoint) operator A^* on that space according to the rule :\langle Ax,y \rangle = \langle x,A^*y \rangle, wher ...
''A'' are dissipative. In case that ''X'' is not reflexive, then this condition for ''A'' to generate a contraction semigroup is still sufficient, but not necessary.


Quasicontraction semigroups

Let ''A'' be a
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...
defined on a linear subspace ''D''(''A'') of the
Banach space In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between ve ...
''X''. Then ''A'' generates a quasi contraction semigroup if and only if # ''D''(''A'') is dense in ''X'', # ''A'' is closed, # ''A'' is quasidissipative, i.e. there exists a ''ω'' ≥ 0 such that ''A'' − ''ωI'' is dissipative, and # ''A'' − ''λ''0''I'' is
surjective In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of ...
for some ''λ''0 > ''ω'', where ''I'' denotes the
identity operator Identity may refer to: * Identity document * Identity (philosophy) * Identity (social science) * Identity (mathematics) Arts and entertainment Film and television * ''Identity'' (1987 film), an Iranian film * ''Identity'' (2003 film), an ...
.


Examples

* Consider ''H'' = ''L''2( , 1 R) with its usual inner product, and let ''Au'' = ''u''′ with domain ''D''(''A'') equal to those functions ''u'' in the
Sobolev space In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense ...
''H''1( , 1 R) with ''u''(1) = 0. ''D''(''A'') is dense. Moreover, for every ''u'' in ''D''(''A''), ::\langle u, A u \rangle = \int_0^1 u(x) u'(x) \, \mathrm x = - \frac1 u(0)^2 \leq 0, : so that ''A'' is dissipative. The ordinary differential equation ''u''' − ''λu'' = ''f'', ''u''(1) = 0 has a unique solution u in ''H''1( , 1 R) for any ''f'' in ''L''2( , 1 R), namely :: u(x)=^\int_1^x ^f(t)\,dt : so that the surjectivity condition is satisfied. Hence, by the reflexive version of the Lumer–Phillips theorem ''A'' generates a contraction semigroup. There are many more examples where a direct application of the Lumer–Phillips theorem gives the desired result. In conjunction with translation, scaling and perturbation theory the Lumer–Phillips theorem is the main tool for showing that certain operators generate strongly continuous semigroups. The following is an example in point. * A
normal operator In mathematics, especially functional analysis, a normal operator on a complex Hilbert space ''H'' is a continuous linear operator ''N'' : ''H'' → ''H'' that commutes with its hermitian adjoint ''N*'', that is: ''NN*'' = ''N*N''. Normal op ...
(an operator that commutes with its adjoint) on a
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
generates a strongly continuous semigroup if and only if its
spectrum A spectrum (plural ''spectra'' or ''spectrums'') is a condition that is not limited to a specific set of values but can vary, without gaps, across a continuum. The word was first used scientifically in optics to describe the rainbow of color ...
is bounded from above.Engel and Nagel Exercise II.3.25 (ii)


Notes


References

* * * * * * {{DEFAULTSORT:Lumer-Phillips Theorem Semigroup theory Theorems in functional analysis