Resolvent as Laplace transform of a semigroup
Builds on Banach spaceC0-semigroupGenerator of a semigroupResolvent setLaplace transform
Statement
Let be a complex Banach space, and let be a -semigroup on with generator . Let and be constants with for all . Then every complex with lies in the resolvent set of , and for every , Moreover .
Remarks
Constants and as above exist for every -semigroup, by the uniform boundedness principle. Let denote the integral; it converges absolutely by the bound on , which also gives the norm estimate. A direct computation with the semigroup law shows as , so and . For , commutes with the integral, so . Example: for a square matrix and , the formula reads when exceeds the real parts of all eigenvalues of .
Going deeper
For a student
The formula is the bridge between semigroups and their generators. It gives the necessity part of the Hille–Yosida theorem, and the norm bound is exactly the resolvent estimate in that theorem. Conversely, one recovers from the resolvent by a complex inversion integral or by , an operator form of Post's inversion formula.
Reading path
To understand this page from the ground up, read these 41 pages in order. The foundations come first.
- C0-semigroup concept
- Element definition
- Extended real number line object
- Generator of a semigroup concept
- Laplace transform concept
- Proposition concept
- Real numbers object
- Resolvent set concept
- Set bounded above definition
- Set definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Supremum definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Topological space definition
- Function definition
- Metric space definition
- Convergence of a sequence in a metric space definition
- Open ball definition
- Diameter of a set definition
- Metric topology definition
- Epsilon characterisation of Cauchy sequences statement
- Complete metric space definition
- Open set definition
- Equivalent metrics definition
- Equivalent norms definition
- Banach space definition
- Resolvent as Laplace transform of a semigroup statement
Further reading
About this page
| Tag | SXNWHN2C01 |
|---|---|
| URI | m2://SXNWHN2C01 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 47D06, 47A10, 44A10 |
| Status | This copy of the site has no build data. Run m2 status SXNWHN2C01. |
| About | C0-semigroup, Resolvent |
| Uses | Banach space, C0-semigroup, Generator of a semigroup, Resolvent set, Laplace transform |
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.