Analytische Halbgruppe

Eine analytische Halbgruppe, manchmal auch holomorphe Halbgruppe genannt, ist eine Familie <math>\left(T(z)\right)_{z\in \Sigma_\delta}</math> von beschränkten linearen Operatoren von einem reellen oder komplexen Banachraum <math>X</math> in sich, wobei <math>\Sigma_\delta:= \{\lambda\in\Complex\setminus\{0\}: |\operatorname{arg}\lambda|<\delta\} \cup \{0\}</math> ein komplexwertiger Sektor und <math>\delta\in(0,\pi/2]</math> ein Winkel ist. Analytische Halbgruppen sind eine Spezialform der stark stetigen Halbgruppen, welche in der Analysis benutzt werden, um Existenz und Eindeutigkeit von Lösungen partieller Differentialgleichungen wie etwa der Wärmeleitungsgleichung zu beweisen.

Interessant ist die Untersuchung der analytische Halbgruppen vor allem wegen ihrer Glättungseigenschaften: So ist etwa die Lösung des zugeordneten Cauchyproblems stets unendlich oft differenzierbar in <math>t</math> und liegt für positive <math>t</math> stets in der Domain des Generators statt nur im Abschluss der Domain wie bei den stark stetigen Halbgruppen.

Definition

Eine Familie <math>T=\left(T(z)\right)_{z\in \Sigma_\delta}\subset \mathcal L(X)</math> wird analytische Halbgruppe genannt, falls für einen Winkel <math>\delta\in(0,\pi/2]</math> folgendes gilt:

<math>T(0)=I</math>.
<math>T(z_1+z_2)=T(z_1)T(z_2)</math> für alle <math>z_1,z_2\in \Sigma_\delta</math>.
die Abbildung <math>z\mapsto T(z)</math> ist auf <math>\Sigma_\delta</math> analytisch.
die Abbildung <math>z\mapsto T(z)</math> ist auf <math>\Sigma_{\delta'}\cup\{0\}</math> für <math>\delta'\in(0,\delta)</math> stark stetig.

Falls zusätzlich <math>\|T(z)\|</math> für jedes <math>\delta'\in(0,\delta)</math> in <math>\Sigma_{\delta'}</math> beschränkt ist, wird <math>\left(T(z)\right)_{z\in \Sigma_\delta}</math> beschränkte analytische Halbgruppe genannt (aber: eine beschränkte stark stetige Halbgruppe, die analytisch ist, ist im Allgemeinen keine beschränkte analytische Halbgruppe).

Infinitesimaler Erzeuger

Analog zu stark stetigen Halbgruppen betrachtet man den Operator <math>A</math> mit

<math>Ax:=\lim_{\Sigma_\delta\ni z\rightarrow 0}\frac{T(z)x-x}z</math>

und

<math>D(A) := \left\{x\in X: \lim_{\Sigma_\delta\ni z\rightarrow 0}\frac{T(z)x-x}z \text{ existiert} \right\}</math>.

Der Operator wird (infinitesimaler) Erzeuger oder Generator genannt und ist dicht definiert und abgeschlossen.

Eigenschaften

Datei:Halbgruppe Spektrum von Erzeuger 1.svg

Das Spektrum eines Erzeugers <math>A</math>

Erzeugt <math>A</math> eine analytische Halbgruppe <math>T</math>, dann
- existieren <math>M\geq 1</math> und <math>\omega\geq 0</math> mit <math>\|T(z)\|\leq Me^{\omega\mathrm{Re}\,z}</math> für alle <math>z\in\Sigma_\delta</math>. Ist die Halbgruppe beschränkt, kann <math>\omega=0</math> gewählt werden.
- existiert ein <math>\omega>0</math>, so dass <math>A-\omega</math> eine beschränkte analytische Halbgruppe erzeugt.
- gilt <math>T(t)X\subset D(A)</math> für alle <math>t>0</math>.
- stimmt die inverse Laplace-Transformation der Resolvente mit der Halbgruppe überein, also <math>T(t)=\frac1{2\pi i}\int_\gamma e^{\lambda t} R(\lambda,A)\mathrm{d}\lambda</math> für <math>t\geq 0</math> und einem geeigneten Weg <math>\gamma</math> in <math>\Complex</math>.
Erzeugt <math>A</math> eine beschränkte analytische Halbgruppe <math>T</math>, dann enthält die Resolventenmenge <math>\rho(A)</math> den Sektor <math>\Sigma_{\pi/2+\delta'}</math> für alle <math>\delta'\in(0,\delta)</math>.
<math>A</math> erzeugt genau dann eine beschränkte analytische Halbgruppe, wenn <math>A</math> eine stark stetige Halbgruppe <math>T</math> erzeugt mit <math>\operatorname{rg}(T(t))\subset D(A)</math> für alle <math>t>0</math> und <math>\sup_{t>0} \|tAT(t)\|<\infty</math> (reelle Charakterisierung).

Beispiele

Erzeugt <math>A</math> eine stark stetige Halbgruppe, so ist <math>A^2</math> der Erzeuger einer analytischen Halbgruppe mit Winkel <math>\pi/2</math>.
Ist <math>\Omega\subset\R^n</math> ein Gebiet mit Dirichlet-regulärem Rand (etwa Lipschitz-Rand oder glatter Rand), so erzeugt der Laplace-Operator mit Dirichlet-Randbedingung, d. h. <math>D(\Delta):=W^{2,p}(\Omega)\cap W^{1,p}_0(\Omega)</math>, eine beschränkte analytische Halbgruppe.

Das Cauchy-Problem

Erzeugt <math>A</math> eine beschränkte analytische Halbgruppe <math>(T(t))_{t\geq0}</math>, so wird das abstrakte Cauchy-Problem

<math>\left\{\begin{array}{lll}

u'(t)&=&A(u(t)) + f(t) \text{ für alle } t>0\\
u(0)&=&u_0

\end{array}\right.</math> für den Anfangswert <math>u_0 \in X</math> und einer Hölder-stetigen Funktion <math>f\in C^\alpha([0, \infty); X)</math> durch die Funktion

gelöst.

Literatur

Klaus-Jochen Engel, Rainer Nagel: One-parameter semigroups for linear evolution equations. Springer, New York NY 2000, ISBN 0-387-98463-1 (Graduate Texts in Mathematics 194).
Tosio Kato: Perturbation Theory for Linear Operators. Corrected printing of the 2nd edition. Springer, Berlin 1980, ISBN 0-387-07558-5 (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen 132), (Reprint. Springer-Verlag, Berlin u. a. 1995, ISBN 3-540-58661-X (Classics in mathematics)).
Ammon Pazy: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer-Verlag, Berlin u. a. 1983, ISBN 3-540-90845-5 (Applied Mathematical Sciences 44).