# Differenzierbares Maß

Ein differenzierbares Maß ist ein Begriff aus der Funktionalanalysis und bezeichnet ein Maß, welches einen Ableitungsbegriff besitzt. Die Theorie der differenzierbaren Maße wurde von Sergei Fomin begonnen und als unendlich-dimensionale Ergänzung für die Distributionstheorie am internationalen Mathematikkongress 1966 in Moskau vorgeschlagen, seither wurde sie (vor allem von der russisch-sprachigen Mathematikschule) stetig weiterentwickelt. Es existieren hierbei verschiedene Differenzierbarkeitsbegriffe, der geläufigste ist der von Sergei Fomin, es gibt aber auch einen von Anatolij Skorochod, einen von Albeverio und Høegh-Krohn sowie einen von Smolyanow und von Weizsäcker.
Die Theorie hat Anwendungen in der Stochastik und insbesondere in der Theorie der gaußschen Maße.

## Differenzierbares Maß

Sei
* $X$ ein reeller Vektorraum,
* ${\mathcal {A}}$ eine σ-Algebra, die invariant unter Translationen bezüglich eines Vektors $h\in X$ ist, das bedeutet $A+th\in {\mathcal {A}}$ für alle $A\in {\mathcal {A}}$ und $t\in \mathbb {R}$.
Dieser Rahmen ist sehr allgemein gehalten, weil die meisten Definition nur von der Linearität und der Messbarkeit abhängen. Üblicherweise ist $X$ aber ein reeller hausdorffscher lokalkonvexer Raum und für ${\mathcal {A}}$ wählt man entweder die borelsche σ-Algebra ${\mathcal {B}}(X)$ oder die zylindrische σ-Algebra ${\mathcal {E}}(X,X')$.
Für ein Maß $\mu$ führen wir den Shift um $h\in X$ ein, das bedeutet $\mu _{h}(A):=\mu (A+h)$.

### Differenzierbarkeit nach Fomin

Ein Maß $\mu$ auf $(X,{\mathcal {A}})$ ist Fomin-differenzierbar entlang von $h\in X$, falls für jede Menge $A\in {\mathcal {A}}$ der Grenzwert
    $d_{h}\mu (A):=\lim \limits _{t\to 0}{\frac {\mu (A+th)-\mu (A)}{t}}$
existiert.

#### Erläuterungen

* In anderen Worten, für alle Mengen $A\in {\mathcal {A}}$ ist die Abbildung $f_{\mu }^{A,h}:t\mapsto \mu (A+th)$ in $0$ differenzierbar.
* Die Fomin-Ableitung $d_{h}\mu (\cdot )$ ist wieder ein Maß und absolutstetig bezüglich $\mu$.
* Die Fomin-Differenzierbarkeit lässt sich direkt auf signierte Maße $\mu$ erweitern.
* Höhere und gemischte Ableitungen werden induktiv definiert.

### Differenzierbarkeit nach Skorochod

Sei ${\mathcal {A}}$ die bairesche σ-Algebra und $\mu$ ein Baire-Maß darauf. Weiter sei $C_{b}(X)$ der Raum der beschränkten und stetigen Funktionen auf $X$.
$\mu$ ist Skorochod-differenzierbar oder S-differenzierbar entlang $h\in X$, falls ein Baire-Maß $\nu$ existiert, so dass für alle $f\in C_{b}(X)$
    $\lim \limits _{t\to 0}\int _{X}{\frac {f(x-th)-f(x)}{t}}\mu (dx)=\int _{X}f(x)\nu (dx)$
gilt.
Mit dem Shift-Operator erhält man
    $\lim \limits _{t\to 0}\int _{X}{\frac {f(x-th)-f(x)}{t}}\mu (dx)=\lim \limits _{t\to 0}\int _{X}f\;d\left({\frac {\mu _{th}-\mu }{t}}\right).$
Das Baire-Maß $\nu$ nennt man Skorochod-Ableitung oder schwache Ableitung von $\mu$ entlang $h\in X$ und ist eindeutig.

### Stetigkeit eines Maßes

Sei $\|\mu \|_{TV}=(\mu ^{+}+\mu ^{-})(X)$ die Totalvariationsnorm. Wir sagen ein Maß ist stetig entlang von $h\in X$, falls
    $\lim \limits _{t\to 0}\|\mu _{th}-\mu \|=0,$
man spricht auch von Konvergenz in Variation.

### Differenzierbarkeit nach Albeverio-Hoegh-Krohn

Ein Maß $\mu$ ist Albeverio-Hoegh-Krohn-differenzierbar (AHK-differenzierbar) entlang von $h\in X$, falls ein Maß $\lambda \geq 0$ existiert, so dass
* $\mu _{th}$ absolutstetig bezüglich $\lambda$ ist, das heißt $\mu _{th}\ll \lambda$ und $\lambda _{th}=f_{t}\cdot \lambda$,
* die Abbildung $g:\mathbb {R} \to L^{2}(\lambda ),\;t\mapsto f_{t}^{1/2}$ differenzierbar ist.

#### Erläuterungen

* Die AHK-Differenzierbarkeit lässt sich auch auf signierte Maße erweitern.

## Beispiel

Sei $\mu$ ein Maß mit stetig differenzierbarer Radon-Nikodým-Dichte $g(x)$. Dann lässt sich die Fomin-Differenzierbarkeit wie folgt berechnen
    $d_{h}\mu (A):=\lim \limits _{t\to 0}{\frac {\mu (A+th)-\mu (A)}{t}}=\lim \limits _{t\to 0}\int _{A}{\frac {g(x+th)-g(x)}{t}}\mathrm {d} x=\int _{A}g'(x)\mathrm {d} x.$