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 ${\displaystyle 2}${\displaystyle 2}-parametrige Fall ${\displaystyle (2,d)}${\displaystyle (2,d)} als brownsches Blatt bezeichnet. Wir folgen hier Walsh^[1] , der die Bezeichnung brownsches Blatt für den Fall ${\displaystyle (n,d)}${\displaystyle (n,d)} verwendet (wie es auch von Khoshnevisan^[2] verwendet wird).

Die hier verwendete 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 multidimensionalem Parameter.

Notation:

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

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

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

${\displaystyle \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}}}${\displaystyle \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.^[3]

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

${\displaystyle B(0,t_{2},\dots ,t_{n})=B(t_{1},0,\dots ,t_{n})=\cdots =B(t_{1},t_{2},\dots ,0)=0}${\displaystyle 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.

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

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

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

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

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

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

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

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

und ${\displaystyle {\dot {W}}}${\displaystyle {\dot {W}}} kann als die Zeit-Distributionsableitung eines brownschen Blattes verstanden werden.^{[5] [6]}

Sei ${\displaystyle n=2}${\displaystyle n=2} und betrachte die hyperbolische SPDE

${\displaystyle {\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}}}${\displaystyle {\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 ${\displaystyle X}${\displaystyle X} im Fall ${\displaystyle \alpha \equiv 1}${\displaystyle \alpha \equiv 1}, ${\displaystyle \beta \equiv 0}${\displaystyle \beta \equiv 0} ist ein brownsches Blatt.^[7]

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

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

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

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

ausgestattet wird.

Beachte, dass der Raum Null-in-Unendlichkeit

${\displaystyle C_{0}(\mathbb {R} ^{n},\mathbb {R} )=\{f\in C(\mathbb {R} ^{n},\mathbb {R} ):\lim \limits _{|s|\to \infty }|f(s)|=0\},}${\displaystyle 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 ${\displaystyle \|\cdot \|_{U}}${\displaystyle \|\cdot \|_{U}}, ein dichter Unterraum von ${\displaystyle \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} )}${\displaystyle \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} )} ist, da man ${\displaystyle \|\cdot \|_{U}}${\displaystyle \|\cdot \|_{U}} mit der Norm von ${\displaystyle \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} )}${\displaystyle \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} )} und dem Fourier-Inversionssatz von oben beschränken kann.

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

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

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

${\displaystyle (H^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} ),\Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} ),\omega )}${\displaystyle (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 ${\displaystyle \theta \in \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} )}${\displaystyle \theta \in \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n},\mathbb {R} )} ist ${\displaystyle \omega }${\displaystyle \omega }-fast sicher

• hölder-stetig mit Exponenten ${\displaystyle \alpha \in (0,1/2)}${\displaystyle \alpha \in (0,1/2)} und
• nirgens Hölder-stetig für jedes ${\displaystyle \alpha >1/2}${\displaystyle \alpha >1/2}.^[8]

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

• 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

1. ↑ Walsh, John B.: An introduction to stochastic partial differential equations. Hrsg.: Springer Berlin Heidelberg. 1986, ISBN 978-3-540-39781-6. 
2. ↑ Davar Khoshnevisan: Multiparameter Processes: An Introduction to Random Fields. Hrsg.: Springer. ISBN 978-0-387-95459-2. 
3. ↑ Davar Khoshnevisan und Yimin Xiao: Images of the Brownian Sheet. 2004, arxiv:math/0409491. 
4. ↑ Mina Ossiander und Ronald Pyke: Lévy's Brownian motion as a set-indexed process and a related central limit theorem. In: Stochastic Processes and their Applications. Band 21, Nr. 1, 1985, S. 133–145, doi:10.1016/0304-4149(85)90382-5 . 
5. ↑ Robert C. Dalang: Level Sets and Excursions of the Brownian Sheet. In: Topics in Spatial Stochastic Processes. In: Springer, Berlin, Heidelberg (Hrsg.): Lecture Notes in Mathematics. Band 1802, 2003, doi:10.1007/978-3-540-36259-3_5 . 
6. ↑ Walsh, John B.: An introduction to stochastic partial differential equations. Hrsg.: Springer Berlin Heidelberg. 1986, ISBN 978-3-540-39781-6, S. 284–285. 
7. ↑ Walsh, John B.: An introduction to stochastic partial differential equations. Hrsg.: Springer Berlin Heidelberg. 1986, ISBN 978-3-540-39781-6, S. 281–284. 
8. ↑ Daniel Stroock: Probability theory: an analytic view. Hrsg.: Cambridge. 2011, S. 349–352. 

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Brownsches_Blatt&oldid=253102409"

Kategorien:

• Stochastische Differentialgleichung
• Stochastischer Prozess