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''),
::
: 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
::
: 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