C0-semigroup

In mathematics, a "C"0-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+,+) on some Banach space "X" that is continuous in the strong operator topology. Thus, strictly speaking, a strongly continuous semigroup is not a semigroup, but rather a continuous representation of a very particular semigroup.
Formal definition.
A strongly continuous semigroup on a Banach space formula_1 is a map
formula_2
such that
The first two axioms are algebraic, and state that formula_8 is a representation of the semigroup formula_9; the last is topological, and states that the map formula_8 is continuous in the strong operator topology.
Infinitesimal generator.
The infinitesimal generator "A" of a strongly continuous semigroup "T" is defined by
whenever the limit exists. The domain of "A", "D"("A"), is the set of "x∈X" for which this limit does exist; "D"("A") is a linear subspace and "A" is linear on this domain. The operator "A" is closed, although not necessarily bounded, and the domain is dense in "X".
The strongly continuous semigroup "T" with generator "A" is often denoted by the symbol "eAt". 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" such that
holds. In this case, the infinitesimal generator "A" of "T" is bounded and we have
and
Conversely, any bounded operator
is the infinitesimal generator of a uniformly continuous semigroup given by
Thus, a linear operator "A" is the infinitesimal generator of a uniformly continuous semigroup if and only if "A" is a bounded linear operator. If "X" is a finite-dimensional Banach space, then any strongly continuous semigroup is a uniformly continuous semigroup. For a strongly continuous semigroup which is not a uniformly continuous semigroup the infinitesimal generator "A" is not bounded. In this case, formula_17 does not need to converge.
Abstract Cauchy problems.
Consider the abstract Cauchy problem:
where "A" is a closed operator on a Banach space "X" and "x"∈"X". There are two concepts of solution of this problem:
Any classical solution is a mild solution. A mild solution is a classical solution if and only if it is continuously differentiable.
The following theorem connects abstract Cauchy problems and strongly continuous semigroups.
Theorem Let "A" be a closed operator on a Banach space "X". The following assertions are equivalent:
When these assertions hold, the solution of the Cauchy problem is given by "u"("t") = "T"("t")"x" with "T" the strongly continuous semigroup generated by "A".
Generation theorems.
In connection with Cauchy problems, usually a linear operator "A" is given and the question is whether this is the generator of a strongly continuous semigroup. Theorems which answer this question are called generation theorems. A complete characterization of operators that generate strongly continuous semigroups is given by the Hille–Yosida theorem. Of more practical importance are however the much easier to verify conditions given by the Lumer–Phillips theorem.
Special classes of semigroups.
Uniformly continuous semigroups.
The strongly continuous semigroup "T" is called uniformly continuous if the map "t" → "T"("t") is continuous from [0, ∞) to "L"("X").
The generator of a uniformly continuous semigroup is a bounded operator.
Differentiable semigroups.
A strongly continuous semigroup "T" is called eventually differentiable if there exists a such that (equivalently: for all and "T" is immediately differentiable if for all .
Every analytic semigroup is immediately differentiable.
An equivalent characterization in terms of Cauchy problems is the following: the strongly continuous semigroup generated by "A" is eventually differentiable if and only if there exists a such that for all the solution "u" of the abstract Cauchy problem is differentiable on . The semigroup is immediately differentiable if "t"1 can be chosen to be zero.
Compact semigroups.
A strongly continuous semigroup "T" is called eventually compact if there exists a "t"0 > 0 such that "T"("t"0) is a compact operator (equivalently if "T"("t") is a compact operator for all "t" ≥ "t"0) . The semigroup is called immediately compact if "T"("t") is a compact operator for all "t" > 0.
Norm continuous semigroups.
A strongly continuous semigroup is called eventually norm continuous if there exists a "t"0 ≥ 0 such that the map "t" → "T"("t") is continuous from ("t"0, ∞) to "L"("X"). The semigroup is called immediately norm continuous if "t"0 can be chosen to be zero.
Note that for an immediately norm continuous semigroup the map "t" → "T"("t") may not be continuous in "t" = 0 (that would make the semigroup uniformly continuous).
Analytic semigroups, (eventually) differentiable semigroups and (eventually) compact semigroups are all eventually norm continuous.
Stability.
Exponential stability.
The growth bound of a semigroup "T" is the constant
It is so called as this number is also the infimum of all real numbers "ω" such that there exists a constant "M" (≥ 1) with
for all "t" ≥ 0.
The following are equivalent:
A semigroup that satisfies these equivalent conditions is called exponentially stable or uniformly stable (either of the first three of the above statements is taken as the definition in certain parts of the literature). That the "Lp" conditions are equivalent to exponential stability is called the Datko-Pazy theorem.
In case "X" is a Hilbert space there is another condition that is equivalent to exponential stability in terms of the resolvent operator of the generator: all "λ" with positive real part belong to the resolvent set of "A" and the resolvent operator is uniformly bounded on the right half plane, i.e. ("λI" − "A")−1 belongs to the Hardy space formula_27. This is called the Gearhart-Pruss theorem.
The spectral bound of an operator "A" is the constant