Brownsches Blatt

Ein brownsches Blatt (englisch Brownian sheet) ist eine multiparametrische Verallgemeinerung der brownschen Bewegung zu einem gaußschen Zufallsfeld. Das brownsche Blatt ist die Lösung einer hyperbolischen stochastischen partiellen Differentialgleichung, einem Saitenschwingungsproblem unter weißem Rauschen.

Die Integration bezüglich brownscher Blätter führt zu multiparametrischen stochastischen Integralen.

In der Literatur wird manchmal auch nur der $2$-parametrige Fall $(2,d)$ als brownsches Blatt bezeichnet. Wir folgen hier Walsh, der die Bezeichnung brownsches Blatt für den Fall $(n,d)$ verwendet (wie es auch in verwendet wird).

Die im Artikel benützte Definition stammt von Nikolai Nikolajewitsch Tschenzow (1956), es existiert auch noch eine ältere Definition von Paul Lévy.

Manche Autoren verwenden auch den Begriff multiparametrische brownsche Bewegung oder brownsche Bewegung mit multidimensionalen Parameter.

Definition

Notation

• $a\wedge b:=\operatorname {min} (a,b)$
• $\mathbb {R} _{+}^{n}:=[0,\infty )^{n}=\{(t_{1},\dots ,t_{n})\colon t_{i}\geq 0,\;i=1,\dots ,n\}$

Ein $(n,d)$-brownsches Blatt ist ein Zufallsfeld $B_{t}$, das heißt $B_{t}$ ist ein $d$-dimensionaler Zufallsprozess mit einer $n$-dimensionalen Indexmenge. Man nennt $B_{t}$ auch $d$-dimensionales, $n$-parametrisches brownsches Blatt.

(n,d)-brownsches Blatt

Ein gaußscher Prozess $B=(B_{t},t\in \mathbb {R} _{+}^{n})$ nennt man $(n,d)$-brownsches Blatt, falls er zentriert ist, d. h. $\mathbb {E} [B_{t}]=0$ für alle $t=(t_{1},\dots t_{n})\in \mathbb {R} _{+}^{n}$, und seine Kovarianzfunktion für $1\leq i,j\leq d$ durch

$\operatorname {cov} (B_{s}^{(i)},B_{t}^{(j)})={\begin{cases}\prod \limits _{l=1}^{n}s_{l}\wedge t_{l}&{\text{falls }}i=j,\\0&{\text{sonst}}\end{cases}}$

gegeben ist.

Aus der Definition der Kovarianzfunktion folgt, dass der Prozess fast sicher am Rand verschwindet, d. h.

$B(0,t_{2},\dots ,t_{n})=B(t_{1},0,\dots ,t_{n})=\cdots =B(t_{1},t_{2},\dots ,0)=0$

fast sicher.

(n,1)-brownsches Blatt

Jedes der $B^{(i)}=(B_{r}^{(i)},r\in \mathbb {R} _{+}^{n})$ ist ein unabhängiges $(n,1)$-brownsches Blatt mit Kovarianzfunktion

$\operatorname {cov} (B_{s}^{(i)},B_{t}^{(i)})=(s_{1}\wedge t_{1})\cdots (s_{n}\wedge t_{n}).$

Beispiele

• $(1,1)$-brownsches Blatt ist die brownsche Bewegung in $\mathbb {R} ^{1}$.
• $(1,d)$-brownsches Blatt ist die brownsche Bewegung in $\mathbb {R} ^{d}$.
• $(2,1)$-brownsches Blatt ist ein-dimensionaler Gauß-Prozess $X_{t,s}$ auf der Indexmenge $(t,s)\in [0,\infty )\times [0,\infty )$ (z. B. eine Raum- und Zeitdimension).

Lévys definition der multiparametrischen Brownian motion

In der Definition von Lévy ersetzt man die oben aufgeführt Bedingung für die Kovarianz mit der Bedingung

$\operatorname {cov} (B_{s},B_{t})={\frac {(|t|+|s|-|t-s|)}{2}}$

wobei $|\cdot |$ die euklidische Metrik auf $\mathbb {R} ^{n}$ ist.

Lösung einer hyperbolischen SPDE

Das stochastische Saitenschwingungsproblem betrachtet die Schwingung einer Saite $\varphi (t,x)$ auf die eine externe stochastische Kraft $F(t,x)$ wirkt, wobei $t$ die Zeit und $x$ die Position bezeichnet. Diese Kraft wird als Zufallsmengenfunktion (englisch random set function) ${\dot {W}}$ genannt weißes Rauschen modelliert. Sei $(W_{t},t\in \mathbb {R} _{+}^{n})$ ein brownsches Blatt, dann gilt für das weiße Rauschen

$W_{t}={\dot {W}}((0,t])=\int _{(0,t_{1}]\times \cdots \times (0,t_{n}]}{\dot {W}}(\mathrm {d} x)$

und ${\dot {W}}$ kann als die Zeit-Distributionsableitung eines brownschen Blattes verstanden werden.

Sei $n=2$ und betrachte die hyperbolische SPDE

${\begin{cases}{\frac {\partial ^{2}X(s_{1},s_{2})}{\partial s_{1}\partial s_{2}}}=\alpha (X(s_{1},s_{2})){\dot {W}}_{s_{1}s_{2}}+\beta (X(s_{1},s_{2}))\\X(s_{1},0)=X(0,s_{2})=0.\end{cases}}$

Die Lösung $X$ im Fall $\alpha \equiv 1,\beta \equiv 0$ ist ein brownsches Blatt.

Existenz des Wiener-Maßes für das brownsche Blatt

Sei $\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )$ der Raum der stetigen Funktionen $f:\mathbb {R} ^{n}\to \mathbb {R}$ für die gilt

$\lim \limits _{|x|\to \infty }\left(\log(e+|x|)\right)^{-1}|f(x)|=0.$

Dieser Raum wird zu einem separablen Banach-Raum, wenn er mit der Norm

$\|f\|_{\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )}:=\sup _{x\in \mathbb {R} ^{n}}\left(\log(e+|x|)\right)^{-1}|f(x)|$

ausgestattet wird.

Beachte, dass der Raum Null-in-Unendlichkeit

$C_{0}(\mathbb {R} ^{n};\mathbb {R} )=\{f\in C(\mathbb {R} ^{n};\mathbb {R} ):\lim \limits _{|s|\to \infty }|f(s)|=0\},$

ausgestattet mit der gleichmäßigen Norm $\|\cdot \|_{U}$, ein dichter Unterraum von $\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )$ ist, da man $\|\cdot \|_{U}$ mit der Norm von $\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )$ und dem Fourier-Inversionssatz von oben beschränken kann.

Sei ${\mathcal {S}}'(\mathbb {R} ^{n};\mathbb {R} )$ der Raum der temperierten Distributionen. Der Cameron-Martin-Raum ist ein separabler Hilbert-Raum (und Sobolew-Raum)

$H^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} )\subseteq {\mathcal {S}}'(\mathbb {R} ^{n};\mathbb {R} ),$

der stetig eingebettet und dicht in $C_{0}(\mathbb {R} ^{n};\mathbb {R} )$ liegt und somit auch in $\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )$. Weiter existiert ein Wahrscheinlichkeitsmaß $\omega$ auf $\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )$, so dass das Tripel

$(H^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} ),\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} ),\omega )$

ein abstrakter Wiener-Raum wird.

Ein Pfad $\theta \in \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )$ ist $\omega$-fast sicher

• hölder-stetig mit Exponent $\alpha \in (0,1/2)$
• nirgens Hölder-stetig für jedes $\alpha >1/2$.

Diese Konstruktion gilt für das brownsche Blatt mit $d=1$, höhere Analoge können ähnlich konstruiert werden.

Literatur

• Walsh, John B.: An introduction to stochastic partial differential equations. Hrsg.: Springer Berlin Heidelberg. 1986, ISBN 978-3-540-39781-6. 
• Davar Khoshnevisan: Multiparameter Processes: An Introduction to Random Fields. Hrsg.: Springer. ISBN 978-0-387-95459-2. 
• Hida, T. (1980): Brownian Motion. Applications of Mathematics, vol 11. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-6030-1