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 .
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.
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.
A contraction semigroup on a Banach space consists of bounded linear operators with , , , and as for each . Its infinitesimal generator of a semigroup is
For 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 satisfies
If 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, and
Here 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 product
If 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 then
The 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.
The infinitesimal generator of a semigroup is the linear operator
with generator domain
For example, the Bochner integral
belongs 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 gives
After division by , strong continuity makes the right side converge to as . Hence and , so is closed.
For , define the Bochner integral
It converges absolutely because
Integrating the semigroup difference quotient shows that and . The same computation for gives . Thus the Laplace-transform formula for a semigroup resolvent proves
A C0-semigroup on a Banach space is a family such that
for every . Its infinitesimal generator of a semigroup is
with generator domain
For and , write when generates a -semigroup satisfying . The Hille-Yosida theorem states that this holds exactly when is closed and densely defined,
and, for every real and every integer ,
The estimates for every resolvent power, rather than only , are essential when .