Markow-Operator

Ein Markow-Operator bezeichnet in der Stochastik und der Ergodentheorie einen Operator auf einem passenden Funktionenraum, der beschränkte, messbare Funktionen auf ebensolche abbildet und dabei die Masse erhält. Eng verknüpft mit dem Begriff ist der Begriff der Markow-Halbgruppe.

Die Terminologie ist nicht ganz einheitlich in der Literatur. Häufig versteht man unter einem Markow-Operator einen Integraloperator

(P_{t}f)(x)=\int _{E}f(y)p_{t}(x,\mathrm {d} y),\quad x\in E

,

der durch einen Wahrscheinlichkeitskern $p_{t}(x,A)$ definiert wurde, und bezeichnet die Übergangshalbgruppe $\{P_{t}\}_{t\geq 0}$ als Markow-Halbgruppe. Markow-Operatoren und deren Markow-Halbgruppen lassen sich aber auch ganz abstrakt definieren, ohne dass eine solche Kern-Darstellung existieren muss und diese werden im Artikel behandelt. Damit eine Kern-Darstellung existiert, darf der zugrundeliegende Messraum nicht beliebig sein und muss gewisse gute Eigenschaften besitzen, wie es zum Beispiel bei einem polnischen Raum der Fall ist. Eine dieser Eigenschaften ist, dass sich ein Wahrscheinlichkeitsmaß $\mu (\mathrm {d} x,\mathrm {d} y)$ auf der Produkt-σ-Algebra überhaupt in einen Kern zerlegen lässt.

Im Artikel behandeln wir lineare Markow-Operatoren, es können aber auch nicht-lineare Markow-Operatoren betrachtet werden. Des Weiteren meinen wir mit einem Markow-Operator einen Operator auf den messbaren Funktionen, dieser induziert aber auch einen Markow-Operator auf den Maßen, die dazugehörige Halbgruppe nennen wir duale Halbgruppe.

Markow-Operatoren sind nach Andrei Markow benannt.

Definitionen Bearbeiten

Markow-Operator Bearbeiten

Sei $(E,{\mathcal {F}})$ ein Messraum und $V$ eine Menge von reellen, messbaren Funktionen $f:(E,{\mathcal {F}})\to (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$ .

Ein linearer Operator $P$ auf $V$ heißt Markow-Operator, wenn folgendes gilt^[1]

$P$ bildet beschränkte, messbare Funktionen auf beschränkte, messbare Funktionen ab.
Sei $\mathbf {1}$ die konstante Funktion $x\mapsto 1$ , dann gilt $P(\mathbf {1} )=\mathbf {1}$ . (Erhaltung der Masse / Markow-Eigenschaft)
Falls $f\geq 0$ , dann gilt $Pf\geq 0$ . (Erhaltung der Positivität)

Abweichende Definitionen Bearbeiten

Es existieren abweichende Definitionen des Markow-Operators, gleich sind der 2. und 3. Punkt (Erhaltung der Masse und der Positivität) aber manche Autoren ersetzen den 1. Punkt. Der Markow-Operator wird dann üblicherweise auf den $L^{p}$ -Banachräumen als $P:L^{p}(X)\to L^{p}(Y)$ mit der Eigenschaft

\|Pf\|_{Y}=\|f\|_{X},\quad \forall f\in L^{p}(X)

definiert. Dies entspricht gerade der Eigenschaft, dass Dichten auf Dichten abgebildet werden.

Invariantes Maß Bearbeiten

Sei $(E,{\mathcal {F}})$ ein Messraum und $\mu$ ein positives, σ-endliches Maß darauf. Weiter sei ${\mathcal {P}}=\{P_{t}\}_{t\geq 0}$ eine Familie von Operatoren auf $(E,{\mathcal {F}})$ . Dann nennt man $\mu$ invariant unter ${\mathcal {P}}$ , wenn für jede beschränkte, positive und messbare Funktion $f:E\to \mathbb {R}$ und jedes $t\geq 0$

\int _{E}P_{t}f\mathrm {d} \mu =\int _{E}f\mathrm {d} \mu

gilt.

Markow-Halbgruppe Bearbeiten

Sei ${\mathcal {P}}=\{P_{t}\}_{t\geq 0}$ eine Familie von Markow-Operatoren definiert auf der Menge der beschränkten, messbaren Funktionen auf $(E,{\mathcal {F}})$ . Dann heißt ${\mathcal {P}}$ eine Markow-Halbgruppe, wenn^[2]

$P_{0}=\operatorname {Id}$ .
$P_{t+s}=P_{t}\circ P_{s}$ für alle $t,s\geq 0$ .
ein σ-endliche Maß $\mu$ auf $(E,{\mathcal {F}})$ existiert, welches invariant unter ${\mathcal {P}}$ ist.

Duale Halbgruppe Bearbeiten

Jede Markow-Halbgruppe ${\mathcal {P}}=\{P_{t}\}_{t\geq 0}$ induziert auch eine duale Halbgruppe $(P_{t}^{*})_{t\geq 0}$ durch

\int _{E}P_{t}f\mathrm {d\mu } =\int _{E}f\mathrm {d} \left(P_{t}^{*}\mu \right).

Wenn $\mu$ invariant unter ${\mathcal {P}}$ ist, dann bedeutet dies $P_{t}^{*}\mu =\mu$ .

Infinitesimale Generator Bearbeiten

Seien nun $\{P_{t}\}_{t\geq 0}$ eine Familie beschränkter, linearer Markow-Operatoren auf dem Hilbert-Raum $L^{2}(\mu )$ , wobei $\mu$ wieder das invariante Maß bezeichnet. Der infinitesimale Generator $L$ der Markow-Halbgruppe ${\mathcal {P}}=\{P_{t}\}_{t\geq 0}$ ist definiert als

Lf=\lim \limits _{t\downarrow 0}{\frac {P_{t}f-f}{t}},

wobei seine Domäne $D(L)$ der $L^{2}(\mu )$ -Raum der Funktionen ist, für die dieser Grenzwert existiert und in $L^{2}(\mu )$ liegt,^[3]

D(L)=\left\{f\in L^{2}(\mu ):\lim \limits _{t\downarrow 0}{\frac {P_{t}f-f}{t}}{\text{ existiert und ist in }}L^{2}(\mu )\right\}.

Kern-Darstellung eines Markow-Operators Bearbeiten

Damit die in der Einleitung angesprochene Kern-Darstellung eines Markow-Operators $P$ existiert, muss der darunter liegende Messraum $(E,{\mathcal {F}})$ folgende Eigenschaften erfüllen:

Jedes Wahrscheinlichkeitsmaß $\mu :{\mathcal {F}}\times {\mathcal {F}}\to [0,1]$ lässt sich in $\mu (\mathrm {d} x,\mathrm {d} y)=k(x,\mathrm {d} y)\mu _{1}(\mathrm {d} x)$ zerlegen, wobei $\mu _{1}$ die Projektion auf die erste Komponente ist und $k(x,\mathrm {d} y)$ ein Wahrscheinlichkeitskern.
Es existiert eine abzählbare Familie, welche die σ-Algebra ${\mathcal {F}}$ erzeugt.

Definiert man nun ein σ-endliches Maß auf $(E,{\mathcal {F}})$ , so lässt sich zeigen, das jeder Markow-Operators $P$ eine Kern-Darstellung bezüglich $k(x,\mathrm {d} y)$ besitzt.^[4]

Beispiele Bearbeiten

Die Wärmeleitungs-Halbgruppe Bearbeiten

Ein wichtige Beispiel ist die Wärmeleitungs-Gruppe (englisch heat semigroup), welche auch bronwsche Halbgruppe genannt wird. Die Wärmeleitungs-Gruppe $\{P_{t}\}_{t\geq 0}$ auf $\mathbb {R} ^{n}$ wird durch

P_{t}f(x)=\int _{\mathbb {R} ^{n}}f(y)p_{t}(x,y)\mathrm {d} y

mit der gaußschen Kernel-Dichte

p_{t}(x,y)={\frac {1}{(4\pi t)^{n/2}}}\exp \left({\frac {-|x-y|^{2}}{4t}}\right)

erzeugt (es wird bezüglich des Lebesgue-Maßes integriert). Der infinitesimale Generator der Wärmeleitungs-Halbgruppe ist der Laplace-Operator $\Delta$ .^[5]

Literatur Bearbeiten

Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. doi:10.1007/978-3-319-00227-9.
Tanja Eisner, Bálint Farkas, Markus Haase, Rainer Nagel: Operator Theoretic Aspects of Ergodic Theory. Hrsg.: Springer Cham. doi:10.1007/978-3-319-16898-2 (Kapitel 13).

Einzelnachweise Bearbeiten

↑ Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 9–12, doi:10.1007/978-3-319-00227-9.
↑ Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 12, doi:10.1007/978-3-319-00227-9.
↑ Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 18, doi:10.1007/978-3-319-00227-9.
↑ Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 7–13, doi:10.1007/978-3-319-00227-9.
↑ Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 78, doi:10.1007/978-3-319-00227-9.

[1] Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 9–12, doi:10.1007/978-3-319-00227-9.

[2] Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 12, doi:10.1007/978-3-319-00227-9.

[3] Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 18, doi:10.1007/978-3-319-00227-9.

[4] Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 7–13, doi:10.1007/978-3-319-00227-9.

[5] Dominique Bakry, Ivan Gentil und Michel Ledoux: Analysis and Geometry of Markov Diffusion Operators. Hrsg.: Springer Cham. S. 78, doi:10.1007/978-3-319-00227-9.

[1]

[2]

[3]

[4]

[5]