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 {\displaystyle 2} -parametrige Fall ( 2 , d ) {\displaystyle (2,d)} als brownsches Blatt bezeichnet. Wir folgen hier Walsh[1], der die Bezeichnung brownsches Blatt für den Fall ( n , d ) {\displaystyle (n,d)} verwendet (wie es auch in [2] 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 ∧ b := min ⁡ ( a , b ) {\displaystyle a\wedge b:=\operatorname {min} (a,b)}
  • R + n := [ 0 , ∞ ) n = { ( t 1 , … , t n ) : t i ≥ 0 , i = 1 , … , n } {\displaystyle \mathbb {R} _{+}^{n}:=[0,\infty )^{n}=\{(t_{1},\dots ,t_{n})\colon t_{i}\geq 0,\;i=1,\dots ,n\}}

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

(n,d)-brownsches Blatt

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

cov ⁡ ( B s ( i ) , B t ( j ) ) = { ∏ l = 1 n s l ∧ t l falls  i = j , 0 sonst {\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.

B ( 0 , t 2 , … , t n ) = B ( t 1 , 0 , … , t n ) = ⋯ = B ( t 1 , t 2 , … , 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.

(n,1)-brownsches Blatt

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

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

Beispiele

  • ( 1 , 1 ) {\displaystyle (1,1)} -brownsches Blatt ist die brownsche Bewegung in R 1 {\displaystyle \mathbb {R} ^{1}} .
  • ( 1 , d ) {\displaystyle (1,d)} -brownsches Blatt ist die brownsche Bewegung in R d {\displaystyle \mathbb {R} ^{d}} .
  • ( 2 , 1 ) {\displaystyle (2,1)} -brownsches Blatt ist ein-dimensionaler Gauß-Prozess X t , s {\displaystyle X_{t,s}} auf der Indexmenge ( t , s ) ∈ [ 0 , ∞ ) × [ 0 , ∞ ) {\displaystyle (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

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

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

Lösung einer hyperbolischen SPDE

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

W t = W ˙ ( ( 0 , t ] ) = ∫ ( 0 , t 1 ] × ⋯ × ( 0 , t n ] W ˙ ( 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 W ˙ {\displaystyle {\dot {W}}} kann als die Zeit-Distributionsableitung eines brownschen Blattes verstanden werden.[5][6]

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

{ ∂ 2 X ( s 1 , s 2 ) ∂ s 1 ∂ s 2 = α ( X ( s 1 , s 2 ) ) W ˙ s 1 s 2 + β ( X ( s 1 , s 2 ) ) X ( s 1 , 0 ) = X ( 0 , s 2 ) = 0. {\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 X {\displaystyle X} im Fall α ≡ 1 , β ≡ 0 {\displaystyle \alpha \equiv 1,\beta \equiv 0} ist ein brownsches Blatt.[7]

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

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

lim | x | → ∞ ( log ⁡ ( e + | x | ) ) − 1 | f ( x ) | = 0. {\displaystyle \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 ‖ Θ n + 1 2 ( R n ; R ) := sup x ∈ 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}}\left(\log(e+|x|)\right)^{-1}|f(x)|}

ausgestattet wird.

Beachte, dass der Raum Null-in-Unendlichkeit

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

Sei S ′ ( R n ; 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)

H n + 1 2 ( R n , R ) ⊆ S ′ ( R n ; 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 C 0 ( R n ; R ) {\displaystyle C_{0}(\mathbb {R} ^{n};\mathbb {R} )} liegt und somit auch in Θ n + 1 2 ( R n ; R ) {\displaystyle \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )} . Weiter existiert ein Wahrscheinlichkeitsmaß ω {\displaystyle \omega } auf Θ n + 1 2 ( R n ; R ) {\displaystyle \Theta ^{\frac {n+1}{2}}(\mathbb {R} ^{n};\mathbb {R} )} , so dass das Tripel

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

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

Diese Konstruktion gilt für das brownsche Blatt mit d = 1 {\displaystyle 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

Einzelnachweise

  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.