Math 2.0

Operator theory Definition

Generator of a semigroup

Builds on Banach spaceC0-semigroupUnbounded operator

Definition

Let XX be a Banach space and let (T(t))t≥0(T(t))_{t \ge 0} be a strongly continuous semigroup of bounded operators on XX. The generator of (T(t))t≥0(T(t))_{t \ge 0} is the linear operator AA with domain D(A)={x∈X:lim⁡t→0+T(t)x−xt exists in X},D(A) = \set{x \in X : \lim_{t \to 0^+} \frac{T(t)x - x}{t} \text{ exists in } X}, given by Ax=lim⁡t→0+T(t)x−xt.Ax = \lim_{t \to 0^+} \frac{T(t)x - x}{t}.

Remarks

The generator is closed and densely defined, and it determines the semigroup. For x∈D(A)x \in D(A), the map u(t)=T(t)xu(t) = T(t)x is differentiable, stays in D(A)D(A), and satisfies u′(t)=Au(t)u'(t) = Au(t). One writes T(t)=etAT(t) = e^{tA}.

Example: let BB be a bounded operator on XX and T(t)=etB=∑k≥0tkBk/k!T(t) = e^{tB} = \sum_{k \ge 0} t^k B^k / k!, the exponential of a bounded operator. Then ∥(T(t)x−x)/t−Bx∥≤∑k≥2tk−1∥B∥k∥x∥/k!→0\norm{(T(t)x - x)/t - Bx} \le \sum_{k \ge 2} t^{k-1}\norm{B}^k \norm{x}/k! \to 0, so the generator is BB with D(B)=XD(B) = X.

Example: on X=C0(ℝ)X = C_0(\R), the continuous functions that tend to 00 at infinity with the sup norm, let (T(t)f)(s)=f(s+t)(T(t)f)(s) = f(s + t). Its generator is Af=f′Af = f' with domain the C1C^1 functions ff such that ff and f′f' lie in C0(ℝ)C_0(\R).

Non-example: the operator f↦f′f \mapsto f' on smooth functions with compact support is not the generator of this shift semigroup. It is a proper restriction of AA: the limit in the definition exists for more functions, and the generator is defined on all of them.

The Hille–Yosida theorem and the Lumer–Phillips theorem say which operators are generators.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Banach space concept
  2. C0-semigroup concept
  3. Unbounded operator concept
  4. Generator of a semigroup definition

Further reading

  1. Web https://en.wikipedia.org/wiki/C0-semigroup
About this page
TagT7JBM8472G
URIm2://T7JBM8472G
Kinddefinition
WritingW0 stub
MSC47D06, 47D03
DefinesGenerator of a semigroup
UsesBanach space, C0-semigroup, Unbounded operator
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.