Polynomial slowdown in an angle-dependent 2d branching Brownian motion

Resumo Técnico: Desaceleração Polinomial em um Movimento Browniano Ramificado Bidimensional Dependente do Ângulo

Enunciado do Problema
O artigo investiga o comportamento assintótico do deslocamento máximo, $M_t$, em um movimento browniano ramificado (BBM) espacialmente inhomogêneo em $\mathbb{R}^2$. Diferentemente do BBM padrão, onde as partículas ramificam-se a uma taxa constante, este modelo apresenta uma taxa de ramificação $b(\theta)$ que depende exclusivamente da coordenada angular $\theta$ da partícula. A função $b$ é assumida como $2\pi$-periódica, atingindo seu máximo único em $\theta = 0$ (a direção preferencial) e satisfazendo a expansão local $b(\theta) = 1 - \beta|\theta|^\alpha + O(\theta^2)$ quando $\theta \to 0$, com $\alpha \in (2/3, 2)$ e $\beta > 0$.

A questão central é como essa inhomogeneidade angular afeta a velocidade e as flutuações das partículas líderes em comparação com o caso homogêneo. No BBM unidimensional padrão, o máximo cresce como $\sqrt{2t} - \frac{3}{2\sqrt{2}}\log t$. No BBM bidimensional homogêneo, a correção logarítmica muda para $-\frac{1}{\sqrt{2}}\log t$. Os autores visam determinar a expansão assintótica precisa de $M_t$ quando a taxa de ramificação é máxima apenas em uma direção específica e decai polinomialmente com o ângulo.

Metodologia
A estratégia de prova combina técnicas probabilísticas com análise de equações diferenciais parciais (EDP), explorando especificamente a fórmula de Feynman-Kac para relacionar a expectativa do processo de ramificação à solução de uma equação do calor com um potencial.

1. Lemas de Muitos-para-Um e Muitos-para-Poucos: Os autores reduzem expectativas sobre a população ramificada a expectativas sobre um único (ou dois) movimento(s) browniano(s) ponderado(s) pela integral da taxa de ramificação ao longo do caminho.
   $$\mathbb{E}\left[\sum_{u \in N(t)} f(\text{caminho}_u)\right] = \mathbb{E}\left[f(\text{caminho}) \exp\left(\int_0^t b(\theta_s) ds\right)\right]$$
2. Análise de EDP via Teoria de Sturm-Liouville: Um componente crítico é a análise do núcleo $G(s, x; t, y)$ associado ao movimento browniano ponderado. Ao reescalar tempo e espaço, o problema é mapeado para uma EDP não homogênea no tempo em $[0, 1) \times \mathbb{R}$:
   $$\partial_r u = \varrho \left( \partial_{xx} u - (1-r)^{-\alpha}|x|^\alpha u \right)$$
   Os autores utilizam a teoria de Sturm-Liouville para analisar o operador associado $L_q f = -f'' + q|x|^\alpha f$. Eles estabelecem estimativas precisas para a solução fundamental desta EDP, mostrando que o decaimento é governado pelo autovalor principal $\lambda_0$ do operador $L = -f'' + |x|^\alpha f$.
3. Localização de Trajetórias: A prova depende da localização das trajetórias das partículas extremas. Mostra-se que as partículas que atingem o deslocamento máximo devem permanecer dentro de um cone angular estreito em torno de $\theta=0$. Especificamente, a coordenada $Y$ (transversal à direção preferencial) é restringida a escalar como $t^{\kappa/2}$, onde $\kappa = \frac{2\alpha}{2+\alpha}$. Essa localização permite a aproximação $\theta_s \approx Y_s / (\sqrt{2}s)$, transformando a dependência angular em uma dependência da coordenada transversal.
4. Limites Superior e Inferior:
   • Limite Superior: Estabelecido usando um cálculo de primeira momento (lema de muitos-para-um) combinado com uma "martingale pseudo-derivada" e argumentos de barreira. Os autores comparam o processo a um BBM unidimensional padrão com uma barreira curva para controlar as correções logarítmicas.
   • Limite Inferior: Estabelecido usando um cálculo de segundo momento (lema de muitos-para-dois) em um conjunto específico de partículas $\Gamma_{s_0}(t)$ que satisfazem restrições estritas de trajetória (permanecer dentro do cone angular e próximo ao máximo previsto). O segundo momento é mostrado como limitado pelo quadrado do primeiro momento, garantindo a existência de tais partículas com alta probabilidade.

Contribuições e Resultados Principais

• Desaceleração Polinomial: O resultado primário (Teorema 1.1) é que o deslocamento máximo $M_t$ exibe uma desaceleração polinomial em relação à velocidade padrão $\sqrt{2t}$. A expansão assintótica é dada por:
  $$M_t = \sqrt{2t} - \vartheta_1 \sqrt{2} t^{(2-\alpha)/(2+\alpha)} - \left( \frac{3}{2\sqrt{2}} - \frac{\alpha}{2\sqrt{2}(2+\alpha)} \right) \log t + O_P(1)$$
  Aqui, $\vartheta_1$ é uma constante explícita dependendo de $\beta$ e do autovalor principal $\lambda_0$ do operador $-f'' + |x|^\alpha f$.
• Optimalidade dos Expoentes: O artigo prova que o expoente do termo polinomial, $\frac{2-\alpha}{2+\alpha}$, é ótimo. Além disso, a Proposição 1.2 estabelece que partículas na distância $m(t)$ possuem uma coordenada $Y$ da ordem de $t^{\alpha/(2+\alpha)}$ e um ângulo da ordem de $t^{-2/(2+\alpha)}$.
• Estreitamento (Tightness): Os autores provam que a sequência $(M_t - m(t))_{t \ge 1}$ é estreita (limitada em probabilidade), embora não provem convergência em distribuição. Eles observam que a variável aleatória limite provavelmente seria o limite de uma martingale aproximada, e não a martingale derivada encontrada em casos homogêneos.
• Transição de Fase: Os resultados são específicos para o regime $\alpha \in (2/3, 2)$. Os autores discutem que para $\alpha \ge 2$, a correção polinomial deve desaparecer (restando apenas uma correção logarítmica), e para $\alpha \le 2/3$, o comportamento torna-se mais complexo, com potencialmente termos polinomiais adicionais.

Significado e Alegações
O artigo alega revelar uma "variedade mais rica de comportamentos" em processos de ramificação ao tornar a taxa de ramificação dependente do ângulo em vez de uma coordenada linear (o que se assemelharia a um modelo de faixa). O significado reside em:

1. Correção Polinomial Universal: O modelo fornece uma nova ocorrência de desaceleração polinomial para o deslocamento máximo, distinta da correção $T^{1/3}$ encontrada em BBM não homogêneo no tempo. Crucialmente, este modelo permite uma faixa contínua de expoentes polinomiais em $(0, 1/2)$ variando $\alpha$, ao passo que modelos não homogêneos no tempo tipicamente yield um expoente fixo.
2. Interplay de Geometria e Ramificação: O trabalho demonstra como a geometria da direção preferencial (o ângulo) interage com a difusão e a ramificação para criar um regime de escala específico para a coordenada transversal ($t^{\kappa/2}$).
3. Novidade Técnica: A derivação de estimativas precisas do núcleo de calor para uma EDP não homogênea no tempo com um potencial singular $(1-t)^{-\alpha}|x|^\alpha$ usando a teoria de Sturm-Liouville é uma contribuição técnica significativa, estendendo métodos usados em trabalhos anteriores sobre BBM não homogêneo no tempo (por exemplo, Maillard e Zeitouni).

Os autores permanecem modestos quanto à convergência em distribuição, reconhecendo que a falta de uma estrutura exata de martingale torna a prova da distribuição limite uma questão em aberto. Eles também deixam os casos $\alpha \le 2/3$ e $\alpha \ge 2$ como problemas abertos para pesquisa futura.