Math 2.0

Operator theory Operator semigroups and groups Theorem

Lumer–Phillips theorem

Builds on Banach spaceDensely defined operatorDissipative operatorContraction semigroupGenerator of a semigroup

Statement

Let XX be a real or complex Banach space and let AA be a densely defined linear operator in XX with domain D(A)D(A). Then the following are equivalent.

  1. AA is the generator of a contraction semigroup on XX.
  2. AA is dissipative, and there is λ0>0\lambda_0 > 0 such that λ0I−A\lambda_0 I - A maps D(A)D(A) onto XX.

Remarks

If AA generates a contraction semigroup T(t)T(t), then for λ>0\lambda > 0 the resolvent is the Laplace transform (λI−A)−1x=∫0∞e−λtT(t)x dt(\lambda I - A)^{-1}x = \int_0^\infty e^{-\lambda t} T(t)x \, dt. This gives surjectivity of λI−A\lambda I - A and the bound ∥(λI−A)−1∥≤1/λ\norm{(\lambda I - A)^{-1}} \le 1/\lambda, which is dissipativity. Conversely, dissipativity and one surjective λ0I−A\lambda_0 I - A give ∥(λI−A)−1∥≤1/λ\norm{(\lambda I - A)^{-1}} \le 1/\lambda for all λ>0\lambda > 0, and the Hille–Yosida theorem then produces the semigroup.

Example: on L2(0,1)L^2(0, 1), let Af=f′′Af = f'' with domain H2(0,1)∩H01(0,1)H^2(0, 1) \cap H^1_0(0, 1). It is dissipative since ⟨Af,f⟩=−∫01∣f′∣2 dx\ip{Af}{f} = -\int_0^1 \abs{f'}^2 \, dx, and I−AI - A is onto because the boundary problem f−f′′=gf - f'' = g, f(0)=f(1)=0f(0) = f(1) = 0 has a solution for every g∈L2(0,1)g \in L^2(0, 1). So AA generates the heat semigroup with Dirichlet boundary conditions, and it is a contraction semigroup.

The range condition cannot be dropped. The operator f↦f′′f \mapsto f'' on smooth functions with compact support in (0,1)(0, 1) is densely defined and dissipative, but it is not closed, so it is not a generator.

Going deeper

For a student

The Hille–Yosida theorem asks for the resolvent bound ∥(λ−A)−1∥≤1/λ\norm{(\lambda - A)^{-1}} \le 1/\lambda for every λ>0\lambda > 0. The Lumer–Phillips theorem replaces this bound by dissipativity, which is often a one-line integration by parts, plus solvability for one λ0\lambda_0. For a second-order elliptic operator with Dirichlet conditions, the solvability usually comes from the Lax–Milgram theorem. For a self-adjoint operator A≤0A \le 0 on a Hilbert space, both conditions hold, and the semigroup is etAe^{tA} given by the spectral theorem.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Banach space concept
  2. Contraction semigroup concept
  3. Densely defined operator concept
  4. Dissipative operator concept
  5. Generator of a semigroup concept
  6. Lumer–Phillips theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Lumer%E2%80%93Phillips_theorem
About this page
TagZ2N8MPD8DH
URIm2://Z2N8MPD8DH
Kindstatement, theorem
WritingW0 stub
MSC47D06, 47B44
StatusThis copy of the site has no build data. Run m2 status Z2N8MPD8DH.
AboutDissipative operator, Contraction semigroup
UsesBanach space, Densely defined operator, Dissipative operator, Contraction semigroup, Generator of a semigroup
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.