Expected perimeter of the convex hull of planar Brownian motion stopped upon exiting the unit disk

Die Arbeit leitet einen exakten Ausdruck für den erwarteten Umfang der konvexen Hülle einer planaren Brownschen Bewegung her, die beim Verlassen des Einheitskreises gestoppt wird, indem sie das Problem auf die Berechnung der maximalen horizontalen Auslenkung und der harmonischen Masse in einem sogenannten „abgeschnittenen Disk" zurückführt, und liefert zudem nichttriviale Schranken für die erwartete Fläche, deren exakte Berechnung als deutlich schwieriger eingestuft wird.

Das Wesentliche

Der zufällige Spaziergang: Wie groß ist die Hülle eines verwirrten Wanderers?

Stellen Sie sich vor, Sie lassen eine kleine, völlig verwirrte Ameise auf einem riesigen, runden Tisch (dem „Einheitskreis") los. Die Ameise startet genau in der Mitte. Sie läuft nicht geradeaus, sondern entscheidet jede Sekunde zufällig, in welche Richtung sie als Nächstes geht. Das nennt man in der Mathematik eine Brownsche Bewegung.

Die Ameise läuft so lange herum, bis sie endlich den Rand des Tisches erreicht und herunterfällt. Das ist der Moment, in dem wir aufhören zu beobachten.

Jetzt stellen wir uns vor, wir nehmen einen Gummiband und spannen es um alle Punkte, die die Ameise während ihres gesamten Spaziergangs berührt hat. Das, was das Gummiband umschließt, nennt man den konvexen Hüllkörper (oder kurz: die Hülle). Es ist so, als würden Sie einen Gummiring um eine zufällige Pfütze legen, die durch das Tropfen der Ameise entstanden ist.

Die Frage, die sich die Autoren dieses Papers stellen, ist ganz einfach: Wie lang ist der Umfang dieses Gummibandes im Durchschnitt? Und noch schwieriger: Wie groß ist die Fläche, die es umschließt?

1. Das Problem mit dem Umfang (Der einfache Teil)

Die Forscher haben herausgefunden, dass man den Umfang nicht direkt berechnen muss, indem man die ganze Ameisenbahn verfolgt. Das wäre wie der Versuch, die Länge eines gewundenen Flussufers zu messen, indem man jeden einzelnen Stein zählt.

Stattdessen nutzen sie einen cleveren Trick:
Stellen Sie sich vor, die Ameise läuft nur in eine Richtung – sagen wir, nach rechts. Wie weit kommt sie maximal nach rechts, bevor sie den Rand des Tisches erreicht?

• Die Entdeckung: Der Umfang des gesamten Gummibandes hängt direkt mit diesem maximalen Abstand nach rechts zusammen.
• Die Analogie: Wenn Sie wissen, wie weit die Ameise maximal nach rechts, links, oben und unten gewandert ist, können Sie den gesamten Umfang berechnen. Da die Ameise aber völlig zufällig läuft, ist die maximale Entfernung nach rechts in jeder Richtung statistisch gleich.

Die Autoren haben eine exakte Formel gefunden, um diese maximale Entfernung zu berechnen. Das Ergebnis ist eine Zahl, die sie dann mit $2\pi$ (also dem Kreisumfang) multiplizieren.
Das Ergebnis: Der durchschnittliche Umfang des Gummibandes beträgt etwa 3,21. Zum Vergleich: Der Umfang des Tisches selbst ist $2\pi \approx 6,28$. Die Ameise füllt also nicht den ganzen Tisch aus, sondern nur etwa die Hälfte des Randes.

2. Das Problem mit der Fläche (Der schwierige Teil)

Jetzt wird es knifflig. Während der Umfang sich gut berechnen lässt, ist die Fläche innerhalb des Gummibandes ein echtes Rätsel.

• Warum ist das so schwer?
  Stellen Sie sich vor, die Ameise läuft nach rechts, macht dann eine große Schleife nach oben, kommt wieder zurück und läuft dann nach unten. Um die Fläche zu berechnen, müssen Sie nicht nur wissen, wie weit sie nach rechts kam, sondern auch, wann sie diesen Punkt erreicht hat und wie hoch sie zu diesem Zeitpunkt war.
  Die Zeit, zu der die Ameise ihren maximalen Punkt erreicht, ist selbst wieder ein Zufall, der von ihrer gesamten Geschichte abhängt. Es ist, als würde man versuchen, die Form einer Wolke zu berechnen, deren Entstehungsgeschichte man nicht genau kennt.

Die Autoren sagen: „Wir haben keine geschlossene Formel gefunden." Das ist wie bei einem Puzzle, bei dem das letzte Teil fehlt. Man kann die genaue Zahl nicht einfach hinschreiben.

3. Was haben sie stattdessen gemacht?

Da sie die genaue Fläche nicht berechnen konnten, haben sie zwei andere Dinge getan:

1. Grenzen setzen (Schranken): Sie haben eine untere und eine obere Grenze für die Fläche bestimmt.

   • Untere Grenze: Sie haben sich eine „Sternform" ausgedacht. Das ist eine vereinfachte Version der Hülle, die garantiert kleiner ist als die echte Hülle. Für diese Sternform konnten sie die Fläche exakt berechnen (ca. 0,47). Die echte Fläche muss also mindestens so groß sein.
   • Obere Grenze: Sie haben eine grobe Schätzung gemacht, die besagt, dass die Fläche auf keinen Fall größer als ca. 1,14 sein kann.
   • Die echte Fläche liegt also irgendwo zwischen 0,47 und 1,14.

2. Computer-Simulationen: Da die Mathematik hier an ihre Grenzen stieß, haben sie einen Computer gebeten, die Ameise 100.000 Mal laufen zu lassen.

   • Das Ergebnis der Simulationen liegt bei etwa 0,66.
   • Das ist ein sehr guter Schätzwert, aber keine exakte mathematische Formel.

Zusammenfassung in einem Satz

Die Forscher haben herausgefunden, dass man den Umfang der zufälligen Pfad-Hülle einer Ameise, die von der Tischmitte bis zum Rand läuft, exakt berechnen kann (er ist ca. 3,21), aber die Fläche innerhalb dieses Umrisses ist so komplex, dass man nur grobe Schätzungen und Computer-Simulationen liefern kann, keine exakte Formel.

Es ist ein schönes Beispiel dafür, wie Mathematik manchmal einfache Fragen (Wie lang ist der Rand?) mit eleganten Lösungen beantworten kann, während andere Fragen (Wie groß ist die Fläche?) uns vorerst noch ein Rätsel bleiben.

Technische Zusammenfassung

Titel: Erwarteter Umfang der konvexen Hülle einer planaren Brownschen Bewegung bis zum Austritt aus dem Einheitskreis

Autoren: Hugo Panzo und Stjepan Šebek

---

1. Problemstellung

Die Autoren untersuchen die geometrischen Eigenschaften der konvexen Hülle $H_{\tau_D}$ einer standardmäßigen planaren Brownschen Bewegung $W = (X_t, Y_t)_{t \geq 0}$, die am Ursprung startet und gestoppt wird, sobald sie den Rand des offenen Einheitskreises $D = \{x \in \mathbb{R}^2 : \|x\| < 1\}$ zum ersten Mal verlässt. Der Stoppzeitpunkt ist die erste Austrittszeit $\tau_D = \inf\{t \geq 0 : W_t \notin D\}$.

Das primäre Ziel ist die Berechnung des erwarteten Umfangs $E[P_{\tau_D}]$ dieser konvexen Hülle. Dies stellt eine Ergänzung zu bestehenden Ergebnissen dar, die sich meist auf Brownsche Bewegungen mit fester Laufzeit oder reflektierende Randbedingungen konzentrieren. Im Gegensatz dazu betrachtet dieses Werk eine "getötete" Brownsche Bewegung (Dirichlet-Randbedingungen) mit einer zufälligen, fast sicher endlichen Lebensdauer.

Als sekundäres Ziel werden Schranken für den erwarteten Flächeninhalt $E[A_{\tau_D}]$ hergeleitet, wobei gezeigt wird, dass eine exakte geschlossene Formel für den Flächeninhalt deutlich schwieriger zu finden ist als für den Umfang.

---

2. Methodik

Die Herleitung des Hauptergebnisses stützt sich auf eine Kombination aus geometrischer Wahrscheinlichkeit, komplexer Analysis und der Theorie der harmonischen Maße:

1. Cauchy'sche Oberflächenformel:
   Der Umfang $P_{\tau_D}$ wird mittels der Cauchy-Formel durch das Integral der Stützfunktion $h(\theta)$ über alle Richtungen $\theta \in [0, 2\pi)$ ausgedrückt:
   $$P_{\tau_D} = \int_0^{2\pi} h(\theta) \, d\theta$$
   Aufgrund der Rotationsinvarianz der Brownschen Bewegung und des Einheitskreises ist die Verteilung von $h(\theta)$ für alle $\theta$ identisch mit der des maximalen horizontalen Ausschlags $M = \sup_{0 \leq t \leq \tau_D} X_t$. Dies reduziert das Problem auf die Berechnung von $E[M]$, da gilt:
   $$E[P_{\tau_D}] = 2\pi E[M]$$

2. Konforme Abbildung und Harmonisches Maß:
   Um die Verteilung von $M$ zu bestimmen, wird das Problem in die Sprache des harmonischen Maßes übersetzt.

   • Es wird ein "abgeschnittener Kreis" (truncated disk) $D_a = D \cap \{z : \Re z < a\}$ definiert.
   • Das Ereignis $\{M \geq a\}$ ist äquivalent dazu, dass die Brownsche Bewegung den Bereich $D_a$ durch die vertikale Sehne $V_a$ (bei $\Re z = a$) verlässt, anstatt durch den Kreisbogen.
   • Eine konforme Abbildung $f_a$ wird konstruiert, die den Bereich $D_a$ auf die obere Halbebene $\mathbb{H}$ abbildet. Dabei wird $D_a$ zunächst durch eine lineare gebrochene Transformation auf einen Winkelbereich (Wedge) und dann durch eine Potenzabbildung auf $\mathbb{H}$ abgebildet.
   • Aufgrund der konformen Invarianz der Brownschen Bewegung entspricht das harmonische Maß der Sehne $V_a$ in $D_a$ dem harmonischen Maß des Bildes $f_a(V_a)$ (der positiven reellen Achse) in $\mathbb{H}$, gesehen vom Bildpunkt $f_a(0)$.

3. Poisson-Kern der Halbebene:
   Das harmonische Maß der positiven reellen Achse in $\mathbb{H}$ wird explizit unter Verwendung des Poisson-Kerns berechnet, was direkt zur Verteilungsfunktion von $M$ führt.

---

3. Hauptergebnisse

A. Erwarteter Umfang (Theorem 1.1)

Die Autoren leiten eine exakte Verteilungsfunktion für den maximalen horizontalen Ausschlag $M$ her:
$$P(M < a) = \frac{2 \arcsin a}{\pi - \arccos a}, \quad 0 < a < 1$$

Daraus folgt der Erwartungswert von $M$ als Integral:
$$E[M] = \int_0^{\pi/2} \left( 1 - \frac{2t}{\frac{\pi}{2} + t} \right) \cos t \, dt \approx 0.511655$$

Der erwartete Umfang der konvexen Hülle beträgt somit:
$$E[P_{\tau_D}] = 2\pi E[M] \approx 3.214826$$

B. Erwarteter Flächeninhalt

Für den Flächeninhalt $A_{\tau_D}$ konnte keine geschlossene Formel gefunden werden. Die Schwierigkeit liegt darin, dass die Berechnung von $E[A_{\tau_D}]$ über die Formel von Blaschke den Erwartungswert von $h'(\theta)^2$ erfordert, was die Verteilung der Zeit $T$ erfordert, zu der das Maximum erreicht wird. Da $\tau_D$ zufällig ist, sind die üblichen Symmetrie-Eigenschaften (wie das Arcus-Sinus-Gesetz) nicht direkt anwendbar.

Stattdessen wurden strenge Schranken hergeleitet:

• Obere Schranke: $E[A_{\tau_D}] \leq \pi E[M^2] \approx 1.139699$.
• Untere Schranke: Durch Betrachtung des "Sternhulls" (star hull) der Bahn, einer Teilmenge der konvexen Hülle, wurde eine exakte Formel für den Erwartungswert des Sternhulls hergeleitet:
  $$E[\text{Area}(\text{star } H_{\tau_D})] = \pi - \frac{8}{3} \approx 0.474925$$
  Daraus folgt die untere Schranke: $E[A_{\tau_D}] \geq \pi - 8/3$.

C. Simulationen

Monte-Carlo-Simulationen mit $10^5$ Trajektorien bestätigten die theoretischen Ergebnisse:

• Geschätzter Umfang: $3.2136$ (Abweichung von ca. $10^{-3}$ zum theoretischen Wert).
• Geschätzter Flächeninhalt (direkt berechnet): $0.6612$.

---

4. Bedeutung und Beitrag

• Erweiterung der Literatur: Das Paper füllt eine Lücke in der Literatur, da bisherige Arbeiten meist Brownsche Bewegungen mit fester Zeit oder reflektierenden Randbedingungen behandelten. Die Behandlung einer Brownschen Bewegung mit Dirichlet-Randbedingungen (getötet beim Austritt) ist neuartig.
• Exakte Lösung: Die Bereitstellung einer exakten analytischen Formel für den erwarteten Umfang ist ein signifikanter mathematischer Fortschritt, der komplexe Methoden der konformen Abbildung und der harmonischen Maße erfolgreich kombiniert.
• Methodische Klarheit: Die Reduktion des Problems auf die Verteilung des maximalen horizontalen Ausschlags und die anschließende Lösung über konforme Abbildungen bietet einen klaren Weg für ähnliche geometrische Probleme in der stochastischen Analysis.
• Grenzen der Lösbarkeit: Das Paper demonstriert anschaulich, warum der Flächeninhalt ein deutlich schwierigeres Problem ist als der Umfang, und liefert dennoch rigorose Schranken, die als Referenz für zukünftige Forschung dienen.

Zusammenfassend liefert das Paper eine vollständige Lösung für den erwarteten Umfang und einen wichtigen ersten Schritt mit Schranken für den erwarteten Flächeninhalt der konvexen Hülle einer Brownschen Bewegung bis zum Austritt aus dem Einheitskreis.