Hille–Yosida theorem

If X is a Banach space, a one-parameter semigroup of operators on X is a family of operators indexed on the non-negative real numbers {T(t)} _{t ∈ [0, ∞)} such that

• ${\displaystyle T(0)=I\quad }$
• ${\displaystyle T(s+t)=T(s)\circ T(t),\quad \forall t,s\geq 0.}$

The semigroup is said to be strongly continuous, also called a (C₀) semigroup, if and only if the mapping

${\displaystyle t\mapsto T(t)x}$

is continuous for all x ∈ X, where [0, ∞) has the usual topology and X has the norm topology.

The infinitesimal generator of a one-parameter semigroup T is an operator A defined on a possibly proper subspace of X as follows:

• The domain of A is the set of x ∈ X such that

${\displaystyle h^{-1}{\bigg (}T(h)x-x{\bigg )}}$

has a limit as h approaches 0 from the right.

• The value of Ax is the value of the above limit. In other words, Ax is the right-derivative at 0 of the function

${\displaystyle t\mapsto T(t)x.}$

The infinitesimal generator of a strongly continuous one-parameter semigroup is a closed linear operator defined on a dense linear subspace of X.

The Hille–Yosida theorem provides a necessary and sufficient condition for a closed linear operator A on a Banach space to be the infinitesimal generator of a strongly continuous one-parameter semigroup.

Let A be a linear operator defined on a linear subspace D(A) of the Banach space X, ω a real number, and M > 0. Then A generates a strongly continuous semigroup T that satisfies ${\displaystyle \|T(t)\|\leq M{\rm {e}}^{\omega t}}$ if and only if[1]

1. A is closed and D(A) is dense in X,
2. every real λ > ω belongs to the resolvent set of A and for such λ and for all positive integers n,

${\displaystyle \|(\lambda I-A)^{-n}\|\leq {\frac {M}{(\lambda -\omega )^{n}}}.}$

In the general case the Hille–Yosida theorem is mainly of theoretical importance since the estimates on the powers of the resolvent operator that appear in the statement of the theorem can usually not be checked in concrete examples. In the special case of contraction semigroups (M = 1 and ω = 0 in the above theorem) only the case n = 1 has to be checked and the theorem also becomes of some practical importance. The explicit statement of the Hille–Yosida theorem for contraction semigroups is:

Let A be a linear operator defined on a linear subspace D(A) of the Banach space X. Then A generates a contraction semigroup if and only if[2]

1. A is closed and D(A) is dense in X,
2. every real λ > 0 belongs to the resolvent set of A and for such λ,

${\displaystyle \|(\lambda I-A)^{-1}\|\leq {\frac {1}{\lambda }}.}$

• C0 semigroup
• Lumer–Phillips theorem
• Stone's theorem on one-parameter unitary groups

• Riesz, F.; Sz.-Nagy, B. (1995), Functional analysis. Reprint of the 1955 original, Dover Books on Advanced Mathematics, Dover, ISBN 0-486-66289-6
• Reed, Michael; Simon, Barry (1975), Methods of modern mathematical physics. II. Fourier analysis, self-adjointness., Academic Press, ISBN 0-12-585050-6
• Engel, Klaus-Jochen; Nagel, Rainer (2000), One-parameter semigroups for linear evolution equations, Springer, ISBN 0-387-98463-1
• Arendt, Wolfgang; Batty, Charles; Hieber, Matthias; Neubrander, Frank (2001), Vector-valued Laplace Transforms and Cauchy Problems, Birkhauser, ISBN 0-8176-6549-8
• Staffans, Olof (2005), Well-posed linear systems, Cambridge University Press, ISBN 0-521-82584-9
• Feller, William (1971), An introduction to probability theory and its applications, vol. II (Second ed.), New York: John Wiley & Sons, ISBN 0-471-25709-5
• Vrabie, Ioan I. (2003), C₀-semigroups and applications, North-Holland Mathematics Studies, vol. 191, Amsterdam: North-Holland Publishing, ISBN 0-444-51288-8