In mathematical analysis, a C0-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ordinary differential equations, strongly continuous semigroups provide solutions of linear constant coefficient ordinary differential equations in Banach spaces. Such differential equations in Banach spaces arise from e.g. delay differential equations and partial differential equations. Formally, a strongly continuous semigroup is a representation of the semigroup ( R ≥ 0 , + ) {\textstyle (\mathbb {R} _{\geq 0},+)} on some Banach space X {\textstyle X} that is continuous in the strong operator topology.
Formal definition A strongly continuous semigroup on a Banach space X {\displaystyle X} is a map
T : R ≥ 0 → L ( X ) {\displaystyle T:\mathbb {R} _{\geq 0}\to L(X)} (where L ( X ) {\displaystyle L(X)} is the space of bounded operators on X {\displaystyle X} ) such that
T ( 0 ) = I {\displaystyle T(0)=I} , (the identity operator on X {\displaystyle X} )
∀ t , s ≥ 0 : T ( t + s ) = T ( t ) T ( s ) {\displaystyle \forall t,s\geq 0:\ T(t+s)=T(t)T(s)}
∀ x 0 ∈ X : ‖ T ( t ) x 0 − x 0 ‖ → 0 {\displaystyle \forall x_{0}\in X:\ \|T(t)x_{0}-x_{0}\|\to 0} , as t ↓ 0 {\displaystyle t\downarrow 0} . The first two axioms are algebraic, and state that T {\displaystyle T} is a representation of the semigroup ( R ≥ 0 , + ) {\displaystyle {(\mathbb {R} _{\geq 0},+)}} ; the last is topological, and states that the map T {\displaystyle T} is continuous in the strong operator topology.
Infinitesimal generator The infinitesimal generator A {\textstyle A} of a strongly continuous semigroup T {\textstyle T} is defined by
A x = lim t ↓ 0 ( T ( t ) − I ) x t {\displaystyle A\,x=\lim _{t\downarrow 0}{\frac {(T(t)-I)\,x}{t}}}
whenever the limit exists. The domain of A {\textstyle A} , D ( A ) {\textstyle D(A)} , is the set of x ∈ X {\textstyle x\in X} for which this limit does exist; D ( A ) {\textstyle D(A)} is a linear subspace and A {\textstyle A} is linear on this domain. The operator A {\textstyle A} is closed, although not necessarily bounded, and the domain is dense in X {\textstyle X} . The strongly continuous semigroup T {\textstyle T} with generator A {\textstyle A} is often denoted by the symbol e A t {\displaystyle e^{At}} (or, equivalently, exp ( A t ) {\displaystyle \exp(At)} ). This notation is compatible with the notation for matrix exponentials, and for functions of an operator defined via functional calculus (for example, via the spectral theorem).
Uniformly continuous semigroup A uniformly continuous semigroup is a strongly continuous semigroup T {\textstyle T} such that
lim t → 0 + ‖ T ( t ) − I ‖ = 0 {\displaystyle \lim _{t\to 0^{+}}\|T(t)-I\|=0}
holds. In this case, the infinitesimal generator A {\textstyle A} of T {\textstyle T} is bounded and we have
D ( A ) = X {\displaystyle {\mathcal {D}}(A)=X}
and
… excerpt ends here. Continue reading the full article.
