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

Este artigo determina uma expressão exata para o perímetro esperado da casca convexa de um movimento browniano plano até a saída do disco unitário, reduzindo o problema ao cálculo do deslocamento horizontal máximo e recontextualizando-o através da medida harmônica em um domínio truncado, além de estabelecer limites não triviais para a área esperada.

O essencial

Imagine que você tem uma folha de papel com um círculo perfeito desenhado nela. No centro desse círculo, você coloca uma formiga muito confusa e um pouco tonta. Essa formiga é o nosso "Movimento Browniano" (um modelo matemático para o movimento aleatório de partículas, como fumaça no ar).

A regra do jogo é simples: a formiga começa no centro e começa a andar em zigue-zague, totalmente ao acaso. Ela continua andando até que, por puro acaso, ela toque na borda do círculo e saia dele.

Agora, imagine que, enquanto a formiga anda, você está desenhando uma linha ao redor de todos os pontos por onde ela passou. No final, quando ela sai, você tem uma forma irregular, mas convexa (sem buracos ou recortes para dentro, como uma bolinha de massa esticada). A pergunta que os autores deste artigo fizeram foi: "Se fizermos isso milhões de vezes, qual será o tamanho médio da borda (o perímetro) dessa forma?"

Aqui está a explicação do que eles descobriram, usando analogias simples:

1. O Problema do "Perímetro" vs. "Área"

Os autores focaram em duas coisas:

• O Perímetro: O comprimento da linha que envolve a forma.
• A Área: O espaço dentro da forma.

Eles descobriram que calcular o perímetro é como resolver um quebra-cabeça que tem uma solução elegante e exata. Já calcular a área é como tentar adivinhar o tamanho de uma nuvem de fumaça: é muito mais complicado e eles não conseguiram encontrar uma fórmula perfeita para ela, apenas estimativas.

2. A Grande Descoberta (O Perímetro)

O resultado principal é que eles conseguiram uma fórmula exata para o perímetro médio.

• A Analogia da "Forma Espelhada": Para resolver o problema, os matemáticos usaram um truque de "mágica" chamado invariância conforme. Imagine que você tem um espelho mágico que pode dobrar e esticar o espaço sem rasgar. Eles pegaram o círculo onde a formiga andava e o transformaram em um formato diferente (um "cunha" ou fatia de pizza cortada) onde a matemática é mais fácil de calcular.
• O Resultado: Eles descobriram que o perímetro médio é aproximadamente 3,21.
  • Para você ter uma ideia: o perímetro do próprio círculo (a borda onde a formiga sai) é $2\pi$, que é cerca de 6,28.
  • Isso significa que a forma feita pela formiga, embora cheia de curvas, ocupa em média menos da metade do perímetro do círculo original. É como se a formiga, mesmo andando aleatoriamente, não conseguisse "explorar" todo o contorno do círculo antes de sair.

3. Como eles chegaram lá? (O Truque do "Chão Máximo")

Para achar o perímetro, eles não mediram a linha inteira. Eles usaram uma ideia inteligente:

• Eles perguntaram: "Qual foi a distância máxima que a formiga chegou para a direita antes de sair?"
• Eles descobriram que, se você sabe qual é a distância máxima que a formiga vai para a direita (e para qualquer outra direção, já que é aleatório), você pode calcular o perímetro total.
• É como se você soubesse o quanto um balão esticou para a direita, e com isso pudesse deduzir o tamanho total da borda do balão.

4. E a Área? (O Mistério)

Sobre a área (o espaço dentro da forma), a história é diferente.

• Eles conseguiram dar um "chão" e um "teto" para o valor. Ou seja, sabem que a área média é maior que 0,47 e menor que 1,14.
• Eles também fizeram simulações no computador (como jogar o jogo 100.000 vezes virtualmente) e acharam que a área média deve ser em torno de 0,66.
• Por que é tão difícil? Porque a área depende não só de quão longe a formiga foi, mas também de quando ela chegou lá e como ela se moveu verticalmente naquele momento. É uma dependência muito mais complexa e "emaranhada" do que a do perímetro.

Resumo para Levar para Casa

Este artigo é como um estudo sobre o "rastro" de um viajante perdido dentro de uma sala redonda.

• O que eles fizeram: Mediram o tamanho da cerca que precisaria ser construída para cercar todos os passos desse viajante.
• O que descobriram: Conseguiram uma fórmula exata para o tamanho dessa cerca (o perímetro).
• O que ficou pendente: Conseguiram apenas estimativas para o tamanho do chão que o viajante pisou (a área), porque o padrão de passos é caótico demais para uma fórmula simples.

É um trabalho bonito que mostra como a matemática pode encontrar ordem e fórmulas perfeitas mesmo em meio ao caos total de um movimento aleatório.

Resumo técnico

Resumo Técnico: Perímetro Esperado do Envolvente Convexo do Movimento Browniano Planar ao Sair do Disco Unitário

1. Problema e Motivação

O artigo investiga o envolvente convexo (convex hull) de um movimento browniano planar padrão ($W_t = (X_t, Y_t)$) iniciado na origem, observado até o momento em que ele sai do disco unitário aberto $D = \{x \in \mathbb{R}^2 : \|x\| < 1\}$.

O objetivo central é calcular o perímetro esperado ($E[P_{\tau_D}]$) desse envolvente convexo, onde $\tau_D$ é o tempo de saída (primeiro tempo de hitting) da fronteira do disco.

• Contexto: Problemas relacionados ao perímetro de envolventes convexos de movimentos brownianos em tempos fixos (ex: $E[P_1]$) já foram resolvidos na literatura (Letac, Takács).
• Inovação: Diferente de estudos anteriores que focam em tempos determinísticos ou em movimentos com condições de contorno refletoras (Neumann), este trabalho considera um movimento "morto" (killed) ao atingir a fronteira (condições de Dirichlet) e um tempo de parada aleatório $\tau_D$.
• Desafio Adicional: Os autores também abordam a área esperada ($E[A_{\tau_D}]$), notando que, ao contrário do perímetro, a obtenção de uma forma fechada exata para a área é significativamente mais complexa devido à dependência temporal não trivial.

2. Metodologia

A abordagem combina ferramentas de probabilidade geométrica, teoria do potencial e análise complexa. Os principais pilares metodológicos são:

1. Fórmula de Cauchy para Perímetro:
   O perímetro de um conjunto convexo compacto $K$ é dado pela integral da sua função de suporte $h(\theta)$ sobre o círculo unitário:
   $$P = \int_0^{2\pi} h(\theta) \, d\theta$$
   Devido à invariância rotacional do movimento browniano e do disco, a esperança do perímetro reduz-se a:
   $$E[P_{\tau_D}] = 2\pi E[M]$$
   onde $M = \sup_{0 \le t \le \tau_D} X_t$ é o máximo deslocamento horizontal atingido antes da saída.

2. Redução para Medida Harmônica:
   O cálculo de $E[M]$ é transformado no problema de encontrar a distribuição de probabilidade de $M$. A probabilidade $P(M \ge a)$ é equivalente à probabilidade de o movimento browniano sair de um domínio truncado $D_a$ (interseção do disco com o semiplano $\text{Re}(z) < a$) através do segmento vertical $V_a$ (a "corda" em $x=a$).

3. Mapeamento Conformal:
   Para calcular essa medida harmônica, os autores constroem um mapeamento conformal $f_a$ que transforma o domínio truncado $D_a$ no semiplano superior $\mathbb{H}$. O mapeamento é composto por duas etapas:

   • Uma transformação linear fracional ($l_a$) que mapeia $D_a$ em um setor (wedge) angular.
   • Uma aplicação de potência ($p_a$) que "abre" o setor para o semiplano superior.
     A invariância conformal do movimento browniano permite calcular a medida harmônica no semiplano superior usando o Núcleo de Poisson.

4. Limites para a Área:
   Para a área, como uma fórmula exata não foi encontrada, os autores utilizam:

   • A Fórmula de Área de Blaschke (relacionando área, função de suporte e sua derivada).
   • O conceito de Envoltória Estrelada (Star Hull), que fornece um limite inferior rigoroso, já que a envoltória estrelada está contida no envolvente convexo.
   • Simulações de Monte Carlo para validação numérica.

3. Resultados Principais

A. Distribuição e Expectativa do Perímetro (Teorema 1.1)
Os autores derivam uma expressão exata para a função de distribuição acumulada (CDF) do máximo horizontal $M$:
$$P(M < a) = \frac{2 \arcsin a}{\pi - \arccos a}, \quad 0 < a < 1$$

A partir disso, a expectativa de $M$ é dada pela integral:
$$E[M] = \int_0^{\pi/2} \left( 1 - \frac{2t}{\frac{\pi}{2} + t} \right) \cos t \, dt \approx 0.511655$$

Consequentemente, o perímetro esperado do envolvente convexo é:
$$E[P_{\tau_D}] = 2\pi E[M] \approx 3.214826$$

B. Limites para a Área Esperada

• Limite Superior: Derivado da fórmula de Blaschke, ignorando o termo da derivada da função de suporte:
  $$E[A_{\tau_D}] \le \pi E[M^2] \approx 1.139699$$
• Limite Inferior: Utilizando a área esperada da envoltória estrelada (Star Hull), que é calculada exatamente:
  $$E[\text{Área}(H^\star_{\tau_D})] = \pi - \frac{8}{3} \approx 0.474925$$
  Portanto, $E[A_{\tau_D}] \ge 0.474925$.
• Simulações: Simulações de Monte Carlo ($10^5$ trajetórias) estimaram a área esperada em aproximadamente 0.6612, situando-se dentro dos limites teóricos.

4. Contribuições Chave

1. Solução Exata para o Perímetro: A primeira obtenção de uma expressão fechada (na forma de uma integral definida) para o perímetro esperado do envolvente convexo de um movimento browniano com tempo de parada aleatório (saída de domínio).
2. Técnica de Mapeamento Conformal: Aplicação elegante de mapeamentos conformais (transformações de Möbius e potências) para resolver problemas de medida harmônica em domínios não triviais (discos truncados).
3. Análise da Dificuldade da Área: Demonstração clara de por que a área é um problema mais difícil que o perímetro: a área depende da derivada da função de suporte avaliada no tempo aleatório de máximo, o que quebra a simetria e a independência necessárias para soluções simples (diferente do caso de tempo fixo onde vigora a lei do arco-seno).
4. Validação Numérica: Confirmação robusta dos resultados teóricos através de simulações de alta precisão.

5. Significância e Impacto

Este trabalho preenche uma lacuna importante na literatura de processos estocásticos e geometria convexa. Enquanto resultados assintóticos para tempos grandes e condições de contorno refletoras são conhecidos, este artigo fornece uma análise precisa para o caso de "vida finita" (tempo de saída) em geometria limitada.

Os resultados têm implicações para:

• Física Estatística: Compreensão de flutuações de trajetórias em meios confinados.
• Probabilidade Geométrica: Estabelecimento de benchmarks exatos para funcionais geométricos de processos estocásticos.
• Metodologia: Oferece um modelo para como combinar invariância conformal com fórmulas clássicas de perímetro/área para resolver problemas de otimização estocástica.

Em suma, o artigo transforma um problema aparentemente intratável (área) em um problema solúvel (perímetro) através de uma redução inteligente para a distribuição de um máximo unidimensional, demonstrando a profundidade da conexão entre movimento browniano e análise complexa.