eine Operatorhalbgruppe, die in einen Sektor der komplexen Ebene analytisch fortgesetzt werden kann.

Sei 0 < α ≤ π/₂ und \begin{eqnarray}\displaystyle {\sum }_{\alpha }=\{z\in \Bbb{C}:z\ne 0,|\arg z|\lt \alpha \}\end{eqnarray} sowie \begin{eqnarray}{\Sigma}_{\alpha }^{0}={\Sigma}_{\alpha }\cup \{0\}\end{eqnarray}.

Eine Familie \begin{eqnarray}\{{T}_{z}:z\in {\Sigma }_{\alpha }^{0}\}\end{eqnarray} von beschränkten linearen Operatoren auf einem Banachraum X heißt analytische Halbgruppe, wenn

1. T ₀ = Id, T _{z 1}+z ₂ = T _{z 1}T _{z 2} ∀z ₁, z ₂ ∈ \begin{eqnarray}{\Sigma }_{\alpha }^{0}\end{eqnarray},
2. \begin{eqnarray}\mathop{\mathrm{lim}}\limits_{z\to 0\\ z\in {\Sigma }_{\beta }}\end{eqnarray}T _zx = x ∀x ∈ X, falls β < α, und
3. 𝓏 ↦ T _z eine holomorphe operatorwertige Funktion auf Σ _α ist.

Gilt zusätzlich

4) sup{∥T _z∥ : 𝓏 ∈ Σ_β} < ∞, falls β < α,

spricht man etwas ungenau von einer beschränkten analytischen Halbgruppe. Der Laplace-Operator z. B. erzeugt eine beschränkte analytische Halbgruppe auf L^p(ℝ ^d) oder C ₀(ℝ ^d).

Die Einschränkung einer analytischen Halbgruppe auf [0, ∞) ist eine stark stetige Operatorhalbgruppe, deren Erzeuger A sei (Erzeuger einer Operatorhalbgruppe). Der Erzeuger einer beschränkten analytischen Halbgruppe auf \begin{eqnarray}{{\rm{\Sigma }}}_{\alpha }^{0}\end{eqnarray} ist dadurch charakterisiert, daß \begin{eqnarray}{\Sigma }_{\alpha +\pi /2}\subset \sigma (A)\end{eqnarray}

(Resolventenmenge) und für jedes β < α eine Konstante C_β mit \begin{eqnarray}\Vert \lambda {(\lambda -A)}^{-1}\Vert \le {C}_{\beta } & \forall \lambda \in {\Sigma }_{\beta +\pi /2}\end{eqnarray}

existiert.

Die Bedeutung analytischer Halbgruppen liegt in den für sie gültigen Regularitätsaussagen. So gilt für eine analytische Halbgruppe {T_t} mit Erzeuger A stets der spektrale Abbildungssatz \begin{eqnarray}\sigma ({T}_{t})\backslash \{0\}\backslash \{{e}^{t\lambda }:\lambda \in \sigma (A)\} & \forall t\ge 0,\end{eqnarray}

und das abstrakte Cauchy-Problem \begin{eqnarray}{u}^{^{\prime} }=Au, \,\,\,& u(0)={x}_{0}\end{eqnarray}

hat für alle x ₀ ∈ X eine Lösung\begin{eqnarray}u\in C([0,\infty ],X)\cap {C}^{\infty }((0,\infty ),X),\end{eqnarray}

nämlich u(t) = T_t(x ₀).

[1] Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer Berlin/Heidelberg, 1983.