Lumer–Phillips theorem
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 a Banach space to generate a contraction semigroup.
Statement of the theorem
Let A be a linear operator defined on a linear subspace D of the Banach space X. Then A generates a contraction semigroup if and only if- D is dense in X,
- A is dissipative, and
- A − λ0I is surjective for some λ0> 0, where I denotes the identity operator.
Variants of the theorem
Reflexive spaces
Let A be a linear operator defined on a linear subspace D of the reflexive Banach space X. Then A generates a contraction semigroup if and only if- A is dissipative, and
- A − λ0I is surjective for some λ0> 0, where I denotes the identity operator.
Dissipativity of the adjoint
Let A be a linear operator defined on a dense linear subspace D of the reflexive Banach space X. Then A generates a contraction semigroup if and only ifA is closed and both A and its adjoint operator 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 defined on a linear subspace D of the Banach space X. Then A generates a quasi contraction semigroup if and only if- D is dense in X,
- A is closed,
- A is quasidissipative, i.e. there exists a ω ≥ 0 such that A − ωI is dissipative, and
- A − λ0I is surjective for some λ0 > ω, where I denotes the identity operator.
Examples
- Consider X = L2 with its usual inner product, and let Au = u′ with domain D equal to those functions u in the Sobolev space H1 with u = 0. D is dense. Moreover, for every u in D,
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 on a Hilbert space generates a strongly continuous semigroup if and only if its spectrum is bounded from above.