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

Este artículo calcula una expresión exacta para el perímetro esperado de la envolvente convexa de un movimiento browniano plano detenido al salir del disco unitario, reduciendo el problema al valor esperado del desplazamiento horizontal máximo y reformulándolo mediante la medida armónica en un dominio truncado, mientras también establece cotas para el área esperada y explica la dificultad de obtener su valor exacto.

Lo esencial

¡Hola! Imagina que tienes una hoja de papel con un círculo perfecto dibujado en el centro. Ahora, imagina que sueltas una gota de tinta en el centro de ese círculo. Pero no es una gota normal; es una "gota loca" que se mueve de forma totalmente aleatoria, como si estuviera bailando al ritmo de una música que nadie más puede escuchar. A esto los matemáticos le llaman movimiento browniano.

Esta gota de tinta se mueve sin rumbo fijo hasta que, por fin, toca el borde del círculo y se detiene.

El objetivo de este artículo es responder a una pregunta muy curiosa: Si dibujamos la forma más pequeña y "apretada" que puede envolver todo el camino que recorrió la gota de tinta (desde el centro hasta el borde), ¿cuánto mide el contorno de esa forma?

Aquí te explico cómo lo resolvieron, usando analogías sencillas:

1. El problema del "Borde" (El Perímetro)

Imagina que la gota de tinta deja un rastro. Si tomas un elástico y lo estiras alrededor de todo ese rastro para que quede pegado a los puntos más lejanos, obtendrás una figura geométrica llamada envolvente convexa.

• La pregunta: ¿Cuál es la longitud promedio de ese elástico?
• El desafío: Como la gota se mueve al azar, cada vez que lo haces, la figura es diferente. A veces es alargada, a veces es redonda. Necesitamos un número promedio.

2. El truco de los "Espejos Mágicos" (Conformalidad)

Los autores no calcularon el camino de la gota directamente (sería como intentar predecir el clima de cada segundo). En su lugar, usaron un truco de magia matemática llamado transformación conforme.

Imagina que tu círculo con la gota de tinta es una foto de papel de goma.

1. Cortar y estirar: Recortan una parte de la foto (donde la gota podría haber ido demasiado a la derecha) y estiran el papel para convertirlo en un medio infinito (como un plano que se abre hacia arriba).
2. El cambio de perspectiva: En este nuevo mundo "estirado", el problema se vuelve mucho más fácil de resolver. Es como si cambiaras la perspectiva de un laberinto complicado para verlo desde un mapa aéreo donde el camino es una línea recta.
3. La solución: Usando esta nueva perspectiva, calcularon exactamente cuánta probabilidad hay de que la gota llegue a cierta distancia a la derecha antes de salir del círculo.

3. El resultado principal: ¡Tienen la respuesta!

Gracias a este truco de "espejos y estiramientos", lograron una fórmula exacta.

• Descubrieron que la distancia promedio máxima que la gota alcanza hacia la derecha es de aproximadamente 0.51.
• Al multiplicar esto por la magia de la geometría (el número Pi y otras constantes), obtuvieron la longitud del elástico: aproximadamente 3.21.

Para ponerlo en perspectiva: El círculo original tiene un diámetro de 2. El elástico que envuelve el camino aleatorio mide un poco más que el diámetro, pero menos que la circunferencia completa del círculo (que sería 6.28). ¡Es un resultado muy preciso!

4. El problema del "Área" (La superficie)

Después de resolver el perímetro (el borde), se preguntaron: ¿Y cuánto espacio ocupa esa figura por dentro? (El área).

Aquí es donde se pusieron las cosas difíciles.

• La analogía: Calcular el perímetro es como medir la longitud de una cuerda. Calcular el área es como intentar medir cuánta agua cabe dentro de una bolsa de plástico que se mueve y cambia de forma constantemente.
• El problema: Para saber el área exacta, necesitarían saber no solo hasta dónde llegó la gota, sino exactamente en qué momento llegó a su punto más alejado. Y como el tiempo de salida es aleatorio, esto rompe las reglas normales de simetría.
• La solución parcial: No pudieron encontrar una fórmula exacta simple (como la del perímetro). Sin embargo, hicieron dos cosas:
  1. Simulaciones: Usaron computadoras para lanzar la "gota de tinta" un millón de veces y medir el área promedio. El resultado fue aproximadamente 0.66.
  2. Límites: Crearon una "caja" matemática. Dijeron: "El área real no puede ser menor que X ni mayor que Y". Así, aunque no tienen la respuesta exacta, saben que está atrapada entre dos números muy precisos.

En resumen

Este artículo es como un viaje de exploración:

1. El viaje: Una gota de tinta bailando hasta chocar contra una pared.
2. El hallazgo: Encontraron la medida exacta del "cinturón" que envuelve ese baile.
3. El misterio: El "espacio" que ocupa ese baile sigue siendo un misterio matemático complejo, pero ya sabemos que está dentro de un rango muy estrecho.

Es un ejemplo hermoso de cómo las matemáticas pueden usar trucos de perspectiva (como doblar el espacio) para resolver problemas que parecen imposibles a primera vista.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "EXPECTED PERIMETER OF THE CONVEX HULL OF PLANAR BROWNIAN MOTION STOPPED UPON EXITING THE UNIT DISK" (Perímetro esperado del casco convexo del movimiento browniano planar detenido al salir del disco unitario), escrito por Hugo Panzo y Stjepan Šebek.

---

1. Planteamiento del Problema

El objetivo principal del trabajo es calcular el perímetro esperado del casco convexo generado por un movimiento browniano planar estándar ($W_t = (X_t, Y_t)$) que comienza en el origen y se detiene en el momento en que sale del disco unitario abierto $D = \{x \in \mathbb{R}^2 : \|x\| < 1\}$.

• Variable de interés: Sea $\tau_D$ el tiempo de salida del disco ($\tau_D = \inf\{t \ge 0 : W_t \notin D\}$). Se busca calcular $E[P_{\tau_D}]$, donde $P_{\tau_D}$ es el perímetro del casco convexo $H_{\tau_D} = \text{conv}(W[0, \tau_D])$.
• Contexto: A diferencia de estudios previos que analizan movimientos brownianos en tiempo fijo (como $E[P_1]$) o con condiciones de frontera reflejantes (Neumann), este estudio considera condiciones de frontera de Dirichlet (el proceso "muere" al tocar la frontera) y un tiempo de parada aleatorio.
• Desafío adicional: El artículo también aborda el área esperada ($E[A_{\tau_D}]$), señalando que es un problema matemáticamente mucho más complejo que el del perímetro, sin que se haya encontrado una expresión cerrada exacta hasta la fecha.

2. Metodología

Los autores emplean una combinación de herramientas de la teoría de probabilidades y el análisis complejo:

A. Reducción a la Desplazación Horizontal Máxima

Utilizando la fórmula de Cauchy para el área superficial y la invariancia rotacional del movimiento browniano y del disco, el problema se reduce. Se demuestra que el perímetro esperado es proporcional al valor esperado de la máxima desplazación horizontal ($M$) alcanzada antes de salir del disco:
$$E[P_{\tau_D}] = 2\pi E[M]$$
donde $M = \sup_{0 \le t \le \tau_D} X_t$.

B. Medida Armónica y Mapeo Conformal

Para calcular la distribución de $M$, los autores introducen un dominio llamado "disco truncado" ($D_a$), que es la intersección del disco unitario con el semiplano izquierdo definido por $\text{Re}(z) < a$.

• Se establece que el evento $\{M \ge a\}$ es equivalente a que el movimiento browniano salga del dominio $D_a$ a través de la cuerda vertical $V_a$ (el segmento de línea en $\text{Re}(z)=a$).
• La probabilidad $P(M \ge a)$ se identifica con la medida armónica de la cuerda $V_a$ vista desde el origen en el dominio $D_a$.

C. Transformación al Semiplano Superior

Se construye una aplicación conforme $f_a: D_a \to \mathbb{H}$ (semiplano superior) compuesta por dos pasos:

1. Transformación de Möbius ($l_a$): Mapea el disco truncado $D_a$ a un sector (cuña) $W_a$ con un ángulo de apertura $\beta(a) = \pi - \arccos(a)$.
2. Mapa de Potencia ($p_a$): Abre la cuña $W_a$ para transformarla en el semiplano superior $\mathbb{H}$.

Gracias a la invariancia conforme del movimiento browniano, la medida armónica se preserva bajo esta transformación. El problema se reduce entonces a calcular la medida armónica del semieje positivo $[0, \infty)$ en $\mathbb{H}$ vista desde el punto imagen del origen, $f_a(0)$.

D. Núcleo de Poisson

Utilizando el núcleo de Poisson para el semiplano superior, se obtiene una expresión explícita para la función de distribución acumulativa (CDF) de $M$.

3. Contribuciones Clave y Resultados

A. Distribución Exacta de la Desplazación Máxima

Los autores derivan la función de distribución acumulativa de $M$:
$$P(M < a) = \frac{2 \arcsin a}{\pi - \arccos a}, \quad 0 < a < 1$$
De esto se deduce que la probabilidad de que $M \ge 1/2$ es exactamente $1/2$.

B. Perímetro Esperado (Resultado Principal)

Se obtiene una expresión integral exacta para el valor esperado de $M$:
$$E[M] = \int_0^{\pi/2} \left( 1 - \frac{2t}{\frac{\pi}{2} + t} \right) \cos t \, dt \approx 0.511655$$
Consecuentemente, el perímetro esperado del casco convexo es:
$$E[P_{\tau_D}] = 2\pi E[M] \approx 3.214826$$
Este es el primer resultado exacto de este tipo para un movimiento browniano detenido en un tiempo aleatorio de salida.

C. Acotación del Área Esperada

Para el área del casco convexo ($A_{\tau_D}$), los autores no logran una fórmula cerrada debido a la complejidad de la dependencia temporal (el tiempo en que se alcanza el máximo depende de ambas coordenadas, rompiendo la simetría temporal). Sin embargo, proporcionan cotas rigurosas:

• Cota Superior: $E[A_{\tau_D}] \le \pi E[M^2] \approx 1.139699$.
• Cota Inferior: Utilizando el concepto de envolvente estrellada (star hull), demuestran que $E[A_{\tau_D}] \ge \pi - 8/3 \approx 0.474925$.
• Simulaciones: Mediante simulaciones de Monte Carlo ($10^5$ trayectorias), estiman el área esperada en aproximadamente 0.661.

4. Significado e Impacto

1. Complementariedad: Este trabajo llena un vacío en la literatura al estudiar el casco convexo bajo condiciones de frontera de Dirichlet (tiempo de salida aleatorio), complementando resultados existentes sobre tiempos fijos y condiciones de frontera reflejantes.
2. Rigor Matemático: Proporciona una solución analítica exacta para el perímetro, un problema que a menudo requiere aproximaciones numéricas o asintóticas en otros contextos geométricos estocásticos.
3. Herramientas Nuevas: La introducción del dominio "disco truncado" y la técnica de mapeo conforme específico para calcular medidas armónicas en este contexto ofrece una metodología aplicable a otros problemas de salida de dominios no triviales.
4. Complejidad del Área: El artículo destaca honestamente la dificultad matemática inherente al cálculo del área esperada en comparación con el perímetro, estableciendo límites teóricos sólidos donde las fórmulas exactas aún escapan.

En resumen, el artículo establece un nuevo estándar para el análisis geométrico de trayectorias brownianas en dominios acotados, ofreciendo resultados exactos para el perímetro y cotas rigurosas para el área, todo ello fundamentado en una elegante aplicación de la teoría de funciones complejas y la teoría de probabilidades.