# Satz von Cameron-Martin

Der Satz von Cameron-Martin ist ein Resultat aus der Stochastik und Maßtheorie über die absolute Stetigkeit von gaußschen Maßen. Der Satz nennt eine notwendige Bedingung dafür, dass ein durch eine Translation erzeugtes gaußsches Maß absolut stetig zu seinem ursprünglichen gaußschen Maß ist. Dies ist genau dann der Fall, wenn die Translation durch ein Element aus einem spezifischen Hilbertraum geschieht, welcher heute als Cameron-Martin-Raum bezeichnet wird. Der Cameron-Martin-Raum ist ein kern-reproduzierender Hilbertraum und der reproduzierende Kern ist die Varianz eines gaußschen Maßes. Die Formel für die Radon-Nikodým-Dichte wird Cameron-Martin-Formel genannt.
Die ursprüngliche Version des Satzes wurde 1943 von den amerikanischen Mathematikern Robert Horton Cameron und William Ted Martin bewiesen. Sie befasste sich mit der absoluten Stetigkeit von Translationen in Funktionen unter dem Integral über dem klassischen Wiener-Raum, dem sogenannten Wiener-Integral. Die moderneren Varianten des Satzes werden aber auf allgemeineren topologischen Räumen formuliert.
In der Literatur existieren einige verwandte Sätze, welche manchmal auch als Satz von Cameron-Martin bezeichnet werden. Diese befassen sich im Kern mit nichtlinearen Transformationen von gaußschen Maßen. Es existiert zum Beispiel eine abstrakte Version des Satzes von Girsanow für abstrakte Wiener-Räume, welche sich mit zufälligen Translationen beschäftigt und eine Verallgemeinerung des Satzes in diesem Kontext darstellt.
Der Satz hat eine wichtige Bedeutung in vielen Gebieten der modernen Stochastik, darunter der Malliavin-Kalkül, die White-Noise-Analysis und die Theorie der stochastischen partiellen Differentialgleichungen.

## Satz von Cameron-Martin

Sei $E$ ist ein hausdorffscher, lokalkonvexer Vektorraum über $\mathbb {R}$. $E'$ sei sein topologischer Dualraum und $\langle \cdot ,\cdot \rangle \colon E\times E'\to \mathbb {R}$ sei die duale Paarung.
Mit ${\mathcal {E}}(E,E')$ bezeichnet man die zylindrische σ-Algebra. Ein Wahrscheinlichkeitsmaß $\gamma$ auf $(E,{\mathcal {E}}(E,E'))$ heißt gaußsches Maß, falls für jedes $f\in E'$ das Bildmaß unter $f$ ein gaußsches Maß auf $(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$ ist. Für ein Maß $\gamma$ bezeichnet man die Translation um ein Element $h\in E$ durch $\gamma _{h}(A)=\gamma (A-h)$. Die Notation $\gamma _{h}\sim \gamma$ bedeutet, dass $\gamma _{h}$ äquivalent zu $\gamma$ ist. Im Artikel wird durchgehend diese Notation verwendet.

### Geschichte und die ursprüngliche Variante des Satzes

1943 veröffentlichten Cameron und Martin den Satz von Cameron-Martin über die Transformation von Wiener-Integralen, im Sinne des Integrals über den klassischen Wiener-Raum $C$. Die ursprüngliche Variante befasste sich mit der Transformation des Integrals unter der Translation
    $F[g]\to F[g+h],$
wobei $F:C\to \mathbb {R}$. Der ursprüngliche Satz lautet:
    Die Translation $g\to g+h$ erzeugt genau dann ein absolut stetiges Maß bezüglich des Wiener-Maßes $\gamma$, wenn $h$ absolut stetig ist und für die Ableitung $h'$ gilt $h'\in L^{2}([0,1],dx)$.
Der Satz gibt dem Raum der absolut stetigen Funktionen mit quadratintegrierbar Ableitung bezüglich des Lebesgue-Maßes
    $H_{\gamma }=\{h\in C\colon h{\text{ absolut stetig}},\;h'\in L^{2}([0,1],dx)\}$
eine zentrale Bedeutung für das Wiener-Maß. Es handelt es sich um den Cameron-Martin-Raum von $\gamma$ in $C$.

### Reproduzierende Operatoren und ihre Hilberträume

Sei $(H,\langle \cdot ,\cdot \rangle _{H})$ ein in $E$ eingebetteter Hilbertraum, das heißt es existiert eine stetige und injektive Abbildung $t:H\hookrightarrow E$. Nach dem Darstellungssatz von Fréchet-Riesz gilt $H\cong H'$ und der Riesz-Isomorphismus $i\colon H\to H'$ ist stetig.
Für ein $f\in E'$ definiert man die Restriktion $f_{\mid _{H}}:H\to \mathbb {R}$ durch $f_{\mid _{H}}(h):=f(h)$ für $h\in H$. Da $f_{\mid _{H}}\in H'$ ist, kann die adjungierte Abbildung $t^{*}:E'\to H$ durch $t^{*}(f):=i^{-1}(f_{\mid _{H}})$ für ein $f\in E'$ definiert werden, welche wiederum auch stetig ist.
Für $f\in E'$ und $h\in H$ gilt die folgende Beziehung
    $\langle h,t^{*}f\rangle _{H}=\langle th,f\rangle .$
Die Komposition der beiden Abbildungen $R:=tt^{*}$ ist eine Abbildung der Form $R:E'\to E$ und man nennt sie reproduzierender Operator weil er die reproduzierende Eigenschaft
    $\langle Rg,f\rangle =\langle t^{*}g,t^{*}f\rangle _{H}$
für $f\in E'$ und $g\in E'$ erfüllt.
Der Operator $R$ ist symmetrisch und positiv, er induziert eine symmetrische Bilinearform auf $E'\times E'$ durch
    $R(g,f):=\langle Rg,f\rangle ,$
welche reproduzierender Kern genannt wird. Der Hilbertraum $H$ zu einem reproduzierender Operator $R$ wird kern-reproduzierender Hilbertraum genannt. Laurent Schwartz bewies, dass eine Bijektion zwischen den reproduzierenden Operatoren und deren Hilberträume existiert.

### Kovarianzoperatoren

Es sei angenommen, dass $E'\subset L^{2}(\gamma )$ gilt, damit nachfolgende Operatoren auch immer existieren. Der Erwartungswert von $f\in E'$ bezüglich $\gamma$ ist definiert als
    $E_{\gamma }[f]:=\int _{E}f(x)\gamma (dx)$
und eine Abbildung der Form $E_{\gamma }[f]:E'\to (E')^{*}$.
Der Kovarianzoperator $R_{\gamma }:E'\to (E')^{*}$ ist ein reproduzierender Operator definiert durch
    $R_{\gamma }(f)(g):=\int _{E}\left(f(x)-\mathbb {E} _{\gamma }[f]\right)\left(g(x)-\mathbb {E} _{\gamma }[g]\right)\gamma (dx)$
für $f\in E'$ und fixes $g\in E'$.
Das bedeutet $R_{\gamma }(f)$ ist ein Element des Bidualraums $(E')^{*}$, das heißt ein Funktional auf $E'$, und es gilt
    $\langle R_{\gamma }(g),f\rangle =\langle R_{\gamma }(f),g\rangle =R_{\gamma }(f)(g).$
Die Kovarianz oder der Kovarianzkern ist die bilineare Variante des Operators $\operatorname {Cov} _{\gamma }:E'\times E'\to (E')^{*}$ definiert durch
    $\operatorname {Cov} _{\gamma }(f,g):=R_{\gamma }(f)(g).$
Entsprechend ist für ein $g\in E'$ der Operator $R_{\gamma }(g)$ ein lineares Funktional $\operatorname {Cov} _{\gamma }(\cdot ,g).$
Der Kovarianzoperator ist die Linearform des $L^{2}(\gamma )$-Skalarprodukt
    $R_{\gamma }(f)(g)=\langle f(x)-\mathbb {E} _{\gamma }[f],g(x)-\mathbb {E} _{\gamma }[g]\rangle _{L^{2}(\gamma )}$.
Insbesondere wenn $\mathbb {E} _{\gamma }[f]=0$, dann gilt für die Varianz $R_{\gamma }(f)(f)=\|f\|_{L^{2}(\gamma )}^{2}$.

### Der Cameron-Martin-Raum

Für ein Element $h\in E$ definiere die Norm
    $\|h\|_{H_{\gamma }}:=\sup\{f(h)\colon f\in E',\;R_{\gamma }(f)(f)\leq 1\}.$
Der Cameron-Martin-Raum $H_{\gamma }$ von $\gamma$ in $E$ ist der Hilbertraum
    $H_{\gamma }=\{h\in E\colon \|h\|_{H_{\gamma }}<\infty \}$.
Betrachte nun die Folgen von zentrierten Variablen $(f_{n}-\mathbb {E} _{\gamma }[f_{n}])_{n}$ für $f_{n}\in E'$. Der Abschluss der Folgen bezüglich der $L^{2}(\gamma )$-Norm notieren wir mit $E_{a}^{\gamma }$. Das bedeutet, wenn
    $\lim \limits _{n\to \infty }\|f_{n}-\mathbb {E} _{\gamma }[f_{n}]-g\|_{L^{2}(\gamma )}=0$
für ein Grenzwert $g\in L^{2}(\gamma )$, dann ist $g\in E_{a}^{\gamma }$. Der Raum $E_{a}^{\gamma }\subset L^{2}(\gamma )$ ist ein Hilbertraum und jedes Element $g\in E_{a}^{\gamma }$ ist eine zentrierte gaußsche Zufallsvariable mit Varianz $\|g\|_{L^{2}(\gamma )}$.
Der Kovarianzoperator lässt sich nun auf $E_{a}^{\gamma }$ fortsetzen. Man definiert den Kovarianzoperator ${\overline {R_{\gamma }}}:E_{a}^{\gamma }\to (E')^{*}$ durch
    ${\overline {R_{\gamma }}}(f)(g):=\int _{E}f(x)\left(g(x)-\mathbb {E} _{\gamma }[g]\right)\gamma (dx).$
für $f\in E_{a}^{\gamma }$ und $g\in E'$. Es gilt also
    ${\overline {R_{\gamma }}}(f)(g)=\langle f,g-\mathbb {E} _{\gamma }[g]\rangle _{L^{2}(\gamma )}$.
Die Elemente des Cameron-Martin-Raums $H_{\gamma }$ lassen sich durch den Darstellungssatz von Fréchet-Riesz charakterisieren, welcher sagt, für jedes $f\in E'$ existiert ein $g\in E_{a}^{\gamma }$, so dass
    $f(h)=\langle f-\mathbb {E} _{\gamma }[f],g\rangle _{L^{2}(\gamma )}.$
Ein $h\in E$ ist also genau dann auch ein Element von $H_{\gamma }$, wenn ein $f\in E_{a}^{\gamma }$ existiert, so dass $h={\overline {R_{\gamma }}}(f)$ gilt. In diesem Fall gilt
    $\|h\|_{H_{\gamma }}=\|g\|_{L^{2}(\gamma )}$.
Wenn $\gamma$ zusätzlich ein Radonmaß ist, dann gilt sogar ${\overline {R_{\gamma }}}(E_{a}^{\gamma })=H_{\gamma }$.

### Formulierung des Satzes

Der Satz von Cameron-Martin lautet in seiner allgemeinen Form:
    Sei $E$ ein lokalkonvexer Vektorraum, $\gamma$ ein gaußsches Maß darauf und $H_{\gamma }$ der Cameron-Martin-Raum von $\gamma$ in $E$. Falls für ein $h\in E$ ein $g\in E_{a}^{\gamma }$ existiert, so dass $h={\overline {R_{\gamma }}}(g)$, dann ist $h\in H_{\gamma }$. In diesem Fall gilt $\|h\|_{H_{\gamma }}=\|g\|_{L^{2}(\gamma )}$ und $\gamma _{h}\sim \gamma$ und die Radon-Nikodým-Dichte ist
       ${\frac {d\gamma _{h}}{d\gamma }}=\exp \left(g(x)-{\frac {1}{2}}\|h\|_{H_{\gamma }}^{2}\right).$
    Falls $h\not \in H_{\gamma }$, dann sind die beiden Maße singulär.
In einer etwas kompakteren und einfacheren Form:
    Sei $E$ ein lokalkonvexer Vektorraum, $\gamma$ ein gaußsches Maß darauf und $H_{\gamma }$ der Cameron-Martin-Raum von $\gamma$. Falls $h\in H_{\gamma }$ dann gilt $\gamma _{h}\sim \gamma$. Falls $h\not \in H_{\gamma }$, dann sind die beiden Maße singulär.