Lumer–Phillips Theorem
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Lumer–Phillips theorem, named after
Günter Lumer Günter Lumer (May 29, 1929 – 2005) was a German-born 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-inn ...
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 pr ...
in a
Banach space In mathematics, more specifically in functional analysis, a Banach space (, ) 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 vectors and ...
to generate a
contraction semigroup In mathematical analysis, a ''C''0-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ord ...
.


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 pr ...
defined on a linear subspace ''D''(''A'') of the
Banach space In mathematics, more specifically in functional analysis, a Banach space (, ) 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 vectors and ...
''X''. Then ''A'' generates a
contraction semigroup In mathematical analysis, a ''C''0-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ord ...
if and only if # ''D''(''A'') is
dense Density (volumetric mass density or specific mass) is the ratio of a substance's mass to its volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' (or ''d'') can also be use ...
in ''X'', # ''A'' is
dissipative In thermodynamics, dissipation is the result of an irreversible process that affects a thermodynamic system. In a dissipative process, energy ( internal, bulk flow kinetic, or system potential) transforms from an initial form to a final form, wh ...
, and # ''A'' − ''λ''0''I'' is
surjective In mathematics, a surjective function (also known as surjection, or onto function ) is a function such that, for every element of the function's codomain, there exists one element in the function's domain such that . In other words, for a f ...
for some ''λ''0> 0, where ''I'' denotes the
identity operator Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...
. 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 pr ...
defined on a linear subspace ''D''(''A'') of the reflexive
Banach space In mathematics, more specifically in functional analysis, a Banach space (, ) 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 vectors and ...
''X''. Then ''A'' generates a
contraction semigroup In mathematical analysis, a ''C''0-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ord ...
if and only if # ''A'' is
dissipative In thermodynamics, dissipation is the result of an irreversible process that affects a thermodynamic system. In a dissipative process, energy ( internal, bulk flow kinetic, or system potential) transforms from an initial form to a final form, wh ...
, and # ''A'' − ''λ''0''I'' is
surjective In mathematics, a surjective function (also known as surjection, or onto function ) is a function such that, for every element of the function's codomain, there exists one element in the function's domain such that . In other words, for a f ...
for some ''λ''0> ''0'', where ''I'' denotes the
identity operator Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...
. Note that the condition that ''D''(''A'') is dense is dropped in comparison to the non-reflexive case. This is because in the reflexive case it follows 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 pr ...
defined on a
dense Density (volumetric mass density or specific mass) is the ratio of a substance's mass to its volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' (or ''d'') can also be use ...
linear subspace ''D''(''A'') of the reflexive
Banach space In mathematics, more specifically in functional analysis, a Banach space (, ) 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 vectors and ...
''X''. Then ''A'' generates a
contraction semigroup In mathematical analysis, a ''C''0-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ord ...
if and only if * ''A'' is
closed Closed may refer to: Mathematics * Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set * Closed set, a set which contains all its limit points * Closed interval, ...
and both ''A'' and its
adjoint operator In mathematics, specifically in operator theory, each linear operator A on an inner product 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 \l ...
''A'' are
dissipative In thermodynamics, dissipation is the result of an irreversible process that affects a thermodynamic system. In a dissipative process, energy ( internal, bulk flow kinetic, or system potential) transforms from an initial form to a final form, wh ...
. 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 pr ...
defined on a linear subspace ''D''(''A'') of the
Banach space In mathematics, more specifically in functional analysis, a Banach space (, ) 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 vectors and ...
''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 ratio of a substance's mass to its volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' (or ''d'') can also be use ...
in ''X'', # ''A'' is
closed Closed may refer to: Mathematics * Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set * Closed set, a set which contains all its limit points * Closed interval, ...
, # ''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 affects a thermodynamic system. In a dissipative process, energy ( internal, bulk flow kinetic, or system potential) transforms from an initial form to a final form, wh ...
, and # ''A'' − ''λ''0''I'' is
surjective In mathematics, a surjective function (also known as surjection, or onto function ) is a function such that, for every element of the function's codomain, there exists one element in the function's domain such that . In other words, for a f ...
for some ''λ''0 > ''ω'', where ''I'' denotes the
identity operator Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...
.


Examples

* Consider ''X'' = ''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 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 number, complex Hilbert space H is a continuous function (topology), continuous linear operator N\colon H\rightarrow H that commutator, commutes with its Hermitian adjo ...
(an operator that commutes with its adjoint) on a
Hilbert space In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
generates a strongly continuous semigroup if and only if its
spectrum A spectrum (: spectra or spectrums) is a set of related ideas, objects, or properties whose features overlap such that they blend to form a continuum. The word ''spectrum'' was first used scientifically in optics to describe the rainbow of co ...
is bounded from above.Engel and Nagel Exercise II.3.25 (ii)


Notes


References

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