Operator theory Operator semigroups and groups Theorem
Lumer–Phillips theorem
Builds on Banach spaceDensely defined operatorDissipative operatorContraction semigroupGenerator of a semigroup
Statement
Let be a real or complex Banach space and let be a densely defined linear operator in with domain . Then the following are equivalent.
- is the generator of a contraction semigroup on .
- is dissipative, and there is such that maps onto .
Remarks
If generates a contraction semigroup , then for the resolvent is the Laplace transform . This gives surjectivity of and the bound , which is dissipativity. Conversely, dissipativity and one surjective give for all , and the Hille–Yosida theorem then produces the semigroup.
Example: on , let with domain . It is dissipative since , and is onto because the boundary problem , has a solution for every . So generates the heat semigroup with Dirichlet boundary conditions, and it is a contraction semigroup.
The range condition cannot be dropped. The operator on smooth functions with compact support in 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 for every . The Lumer–Phillips theorem replaces this bound by dissipativity, which is often a one-line integration by parts, plus solvability for one . For a second-order elliptic operator with Dirichlet conditions, the solvability usually comes from the Lax–Milgram theorem. For a self-adjoint operator on a Hilbert space, both conditions hold, and the semigroup is 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
- no evidence level
- Banach space concept
- Contraction semigroup concept
- Densely defined operator concept
- Dissipative operator concept
- Generator of a semigroup concept
- Lumer–Phillips theorem statement
Further reading
About this page
| Tag | Z2N8MPD8DH |
|---|---|
| URI | m2://Z2N8MPD8DH |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 47D06, 47B44 |
| Status | This copy of the site has no build data. Run m2 status Z2N8MPD8DH. |
| About | Dissipative operator, Contraction semigroup |
| Uses | Banach space, Densely defined operator, Dissipative operator, Contraction semigroup, Generator of a semigroup |
| Same as | |
| Changed | 2 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.