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.
Let A be a linear operator defined on a linear subspace D(A) of the Banach space X. Then A generates a contraction semigroup if and only if[1]
An operator satisfying the last two conditions is called maximally dissipative.
Let A be a linear operator defined on a linear subspace D(A) of the reflexive Banach space X. Then A generates a contraction semigroup if and only if[2]
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.
Let A be a linear operator defined on a dense linear subspace D(A) of the reflexive Banach space X. Then A generates a contraction semigroup if and only if[3]
In case that X is not reflexive, then this condition for A to generate a contraction semigroup is still sufficient, but not necessary.[4]
Let A be a linear operator defined on a linear subspace D(A) of the Banach space X. Then A generates a quasi contraction semigroup if and only if
\langleu,Au\rangle=
1 | |
\int | |
0 |
u(x)u'(x)dx=-
1{2} | |
u(0) |
2\leq0,
so that A is dissipative. The ordinary differential equation u' - λu = f, u(1) = 0 has a unique solution u in H1([0, 1]; R) for any f in L2([0, 1]; R), namely
u(x)={\rme}λ
x | |
\int | |
1 |
{\rme}-λ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.