Analytic semigroup 2026-10-14
An analytic semigroup is a strongly continuous semigroup whose bounded-operator-valued extension is holomorphic in a sector about the positive time axis. Its infinitesimal generator of a semigroup satisfies for and, on each bounded time interval, . This estimate gives instantaneous spatial smoothing but creates an integrable-singularity question in an inhomogeneous variation-of-constants formula.
Contraction semigroup Created 2026-10-06 Updated 2026-10-14
A contraction semigroup is a strongly continuous semigroup of bounded linear operators satisfying for every . The Hille-Yosida theorem characterizes its infinitesimal generator of a semigroup by dense domain, closedness, and the resolvent estimates for real and integers .
Generator of a multiplication semigroup 2026-10-06
The infinitesimal generator of a semigroup for is multiplication by on its maximal domain. The bound proves the norm derivative when is integrable; in use a compact-small-tail argument on . Conversely norm convergence identifies the pointwise derivative as . Limits of graph pairs satisfy the same multiplication identity, proving it is a closed operator.
Generator of a strongly continuous semigroup is closed and densely defined Created 2026-10-06 Updated 2026-10-14
The Yosida averaging of a semigroup gives with , proving that the generator domain is dense. For , the Bochner integral identity holds. If and , pass to the limit in this identity and divide by . The strongly continuous semigroup property makes the resulting limit , so and . This proves that the infinitesimal generator of a semigroup is a closed operator.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 105 3 a Solution Created 2026-10-03 Updated 2026-10-06
A contraction semigroup on a Banach space consists of bounded linear operators with , , , and as for each . Its infinitesimal generator of a semigroup isFor density, Yosida averaging of a semigroup gives . Taking the difference quotient of this Bochner integral shows that and . Strong continuity gives , so is dense.
For closedness, the semigroup restricted to its generator domain satisfiesIf and , pass to the limit in this identity. After dividing by , strong continuity gives . Hence and . This proves generator of a strongly continuous semigroup is closed and densely defined.
The contraction form of the Hille-Yosida theorem states that a linear operator generates a contraction semigroup if and only if it is densely defined and closed, every real lies in its resolvent set, andHere the bound implies the others by taking powers of the same bounded resolvent.
The H1 space is with weak derivative and squared norm . The displayed weighted space is the one-dimensional harmonic oscillator form domain, with inner productIf is Cauchy in , it converges in to , and converges in L2 space to some . On each bounded interval, multiplication by is bounded, so there. Thus and convergence holds in , proving completeness and the Hilbert space property. Equivalently this is closedness of the multiplication operator by .
For the Sobolev characterization by bounded difference quotients, if thenThe last assertion uses continuity of translation of a function in L2 space. Conversely, if and the quotients are uniformly bounded for , take a weakly convergent subsequence as . For every test function ,The weak limit is therefore the weak derivative . This proves the characterization.
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 319 1 a Solution 2026-09-28
The infinitesimal generator of a semigroup is the linear operatorwith generator domainFor example, the Bochner integralbelongs to for every and , since .
To prove that is a closed linear operator, suppose , , and . For vectors in the generator domain,Passing to the limit in the Banach space givesAfter division by , strong continuity makes the right side converge to as . Hence and , so is closed.
For , define the Bochner integralIt converges absolutely becauseIntegrating the semigroup difference quotient shows that and . The same computation for gives . Thus the Laplace-transform formula for a semigroup resolvent proves
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 319 1 a Solution 2026-09-28
A C0-semigroup on a Banach space is a family such thatfor every . Its infinitesimal generator of a semigroup iswith generator domain