Lumer–Phillips Theorem
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the Lumer–Phillips theorem, named after
Günter Lumer Günter Lumer (1929–2005) was a mathematician known for his work in functional analysis. He is the namesake of the Lumer–Phillips theorem on semigroups of operators on Banach spaces, and was the first to study L-semi-inner products. Born in ...
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 mapping V \to W between two vector spaces that pre ...
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 vector ...
to generate a contraction semigroup.


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 mapping V \to W between two vector spaces that pre ...
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 vector ...
''X''. Then ''A'' generates a contraction semigroup if and only if # ''D''(''A'') is
dense Density (volumetric mass density or specific mass) is the substance's mass per unit of volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' can also be used. Mathematically ...
in ''X'', # ''A'' is closed, # ''A'' is
dissipative In thermodynamics, dissipation is the result of an irreversible process that takes place in homogeneous thermodynamic systems. In a dissipative process, energy (internal, bulk flow kinetic, or system potential) transforms from an initial form to a ...
, 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 i ...
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), a ...
. 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 mapping V \to W between two vector spaces that pre ...
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 vector ...
''X''. Then ''A'' generates a contraction semigroup if and only if # ''A'' is
dissipative In thermodynamics, dissipation is the result of an irreversible process that takes place in homogeneous thermodynamic systems. In a dissipative process, energy (internal, bulk flow kinetic, or system potential) transforms from an initial form to a ...
, 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 i ...
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), a ...
. 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 mapping V \to W between two vector spaces that pre ...
defined on a
dense Density (volumetric mass density or specific mass) is the substance's mass per unit of volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' can also be used. Mathematically ...
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 vector ...
''X''. Then ''A'' generates a contraction semigroup 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, where ...
''A'' are
dissipative In thermodynamics, dissipation is the result of an irreversible process that takes place in homogeneous thermodynamic systems. In a dissipative process, energy (internal, bulk flow kinetic, or system potential) transforms from an initial form to a ...
. 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 mapping V \to W between two vector spaces that pre ...
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 vector ...
''X''. Then ''A'' generates a quasi contraction semigroup if and only if # ''D''(''A'') is
dense Density (volumetric mass density or specific mass) is the substance's mass per unit of volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' can also be used. Mathematically ...
in ''X'', # ''A'' is closed, # ''A'' is quasidissipative, i.e. there exists a ''ω'' ≥ 0 such that ''A'' − ''ωI'' is
dissipative In thermodynamics, dissipation is the result of an irreversible process that takes place in homogeneous thermodynamic systems. In a dissipative process, energy (internal, bulk flow kinetic, or system potential) transforms from an initial form to a ...
, 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 i ...
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), a ...
.


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 t ...
''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 opera ...
(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 natural ...
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 colors i ...
is bounded from above.Engel and Nagel Exercise II.3.25 (ii)


Notes


References

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