Expected signature of stopped Brownian motion on $d$-dimensional $C^{2, α}$-domains has finite radius of convergence everywhere: $2\leq d \leq 8$

1. O Problema e o Contexto

O artigo aborda uma questão fundamental na teoria de caminhos rugosos (rough paths): o problema dos momentos. Especificamente, investiga-se se a assinatura esperada (expected signature) de um caminho aleatório determina unicamente a sua lei (distribuição de probabilidade).

• Condição de Suficiência: Sabe-se que, se o raio de convergência da assinatura esperada for infinito, ela determina unicamente a lei do caminho.
• Caso Conhecido: Para processos estocásticos em um intervalo de tempo fixo (como o Movimento Browniano padrão em $[0,1]$), o raio de convergência é infinito.
• O Desafio: Para o Movimento Browniano parado no tempo de primeira saída de um domínio limitado $\Omega$ (denotado como "stopped Brownian motion"), a questão permanecia em aberto.
  • Resultados anteriores ([6]) garantiam apenas que o raio de convergência era estritamente positivo.
  • Um trabalho recente ([1]) demonstrou que, para o disco unitário bidimensional ($d=2$), o raio de convergência é finito em alguns pontos, sugerindo que a assinatura esperada pode não determinar a lei nesse caso.
  • Limitação do Trabalho Anterior: A prova em [1] dependia criticamente da invariância rotacional do disco unitário, tornando difícil a extensão para domínios gerais.

Objetivo do Artigo: Provar que, para qualquer domínio limitado $\Omega \subset \mathbb{R}^d$ com regularidade $C^{2,\alpha}$ e dimensões $2 \le d \le 8$, o raio de convergência da assinatura esperada do Movimento Browniano parado é finito em todos os pontos de $\Omega$.

---

2. Metodologia e Técnicas Principais

A estratégia dos autores combina análise de equações diferenciais parciais (EDPs), teoria de caminhos rugosos e simetria geométrica.

A. Desenvolvimento Hiperbólico e Domínios Médios

O ponto central da prova é a introdução de um novo conceito: o "desenvolvimento hiperbólico médio por domínio" (domain-averaging hyperbolic development).

1. Desafio da Invariância: Em domínios gerais, não há invariância rotacional, o que impede a simplificação direta das EDPs associadas à assinatura esperada.
2. Solução de Simetrização: Os autores definem uma quantidade $H_{\lambda, \epsilon}(z)$, que é a média do desenvolvimento hiperbólico sobre todas as rotações do domínio $\Omega$ em torno de um ponto $z$.
   • Essa operação preserva a equação diferencial parcial (EDP) satisfeita pelo desenvolvimento original.
   • Crucialmente, ela herda a propriedade de "raio de convergência finito" do desenvolvimento não médio.
   • Isso permite transformar um problema em um domínio irregular em um problema localmente simétrico (semelhante a uma bola), onde as EDPs podem ser analisadas mais facilmente.

B. Redução para Sistemas de EDOs

Após a simetrização e a aplicação do desenvolvimento hiperbólico (um morfismo para a álgebra de matrizes $\mathfrak{gl}(d+1; \mathbb{R})$), o sistema de EDPs acoplado para a assinatura esperada é reduzido a um sistema de Equações Diferenciais Ordinárias (EDOs) em coordenadas radiais.

• Para $d=2$, o sistema é resolvido explicitamente usando funções de Bessel ($J_\nu, Y_\nu$).
• Para $3 \le d \le 8$, o sistema é resolvido analiticamente, resultando em expressões fechadas envolvendo determinantes de Wronskiano de funções de Bessel.

C. Análise de Singularidades (Blow-up)

A prova da finitude do raio de convergência baseia-se em demonstrar que a solução das EDOs "explode" (tende ao infinito) para um valor crítico $\lambda^*$.

• A solução da EDO para a componente final do desenvolvimento hiperbólico, $h^{(d+1)}_\lambda(r)$, é expressa como uma fração $\frac{N(\lambda)}{\Theta(\lambda)}$.
• Os autores provam que o denominador $\Theta(\lambda)$ possui uma raiz real $\lambda^*$ no intervalo $(2.5, 3)$ (escalado pelo raio do domínio).
• Simultaneamente, eles demonstram que o numerador $N(\lambda)$ não se anula nesse intervalo.
• Consequentemente, a função explode em $\lambda^*$, implicando que o raio de convergência da série de potências da assinatura esperada é finito.

---

3. Contribuições Chave

1. Generalização Dimensional: Estende o resultado de finitude do raio de convergência do caso bidimensional específico (disco unitário) para qualquer domínio limitado $C^{2,\alpha}$ em dimensões $2 \le d \le 8$.
2. Técnica de Simetrização de Domínio: A introdução do "desenvolvimento hiperbólico médio por domínio" é uma inovação metodológica que contorna a falta de simetria rotacional em domínios gerais, permitindo o uso de técnicas de análise espectral e EDOs.
3. Prova Computacional-Assistida Rigorosa: Para dimensões $3 \le d \le 8$, a prova envolve a análise de raízes de funções de Bessel complexas. Os autores utilizam o software Maple para calcular limites rigorosos de erros de aproximação de Taylor e verificar numericamente que o numerador não se anula e o denominador possui raízes no intervalo crítico.
4. Resolução do Problema de Momentos para Tempos Aleatórios: O resultado fornece uma resposta negativa (no sentido de que a condição de raio infinito falha) para a questão de se a assinatura esperada determina a lei para movimentos brownianos parados em domínios limitados.

---

4. Resultados Principais

• Teorema 1.1: Seja $\Omega \subset \mathbb{R}^d$ um domínio limitado de classe $C^{2,\alpha}$ com $2 \le d \le 8$. A assinatura esperada $\Phi$ do Movimento Browniano parado no tempo de primeira saída de $\Omega$ possui raio de convergência finito em todo ponto de $\Omega$.
• Comportamento Assintótico: A finitude do raio de convergência é demonstrada pela existência de uma singularidade real positiva na função geradora do desenvolvimento hiperbólico médio.
• Limitação Dimensional ($d > 8$): O artigo nota que a restrição $d \le 8$ surge da estrutura dos parâmetros $\eta_\pm$ e $\beta_\pm$ nas soluções das EDOs. Para $d \ge 9$, esses parâmetros tornam-se reais (em vez de complexos conjugados), alterando qualitativamente o comportamento das soluções. O caso $d=9$ é tratado separadamente no apêndice, mostrando soluções qualitativamente diferentes, mas a prova de finitude para $d \ge 9$ permanece um problema em aberto para investigação futura.

---

5. Significado e Impacto

• Teoria de Caminhos Rugosos: Este trabalho esclarece as limitações da assinatura esperada como uma ferramenta de caracterização de leis de processos estocásticos parados. Mostra que, diferentemente dos processos em tempo fixo, a assinatura esperada de processos parados pode não ser suficiente para recuperar a lei do processo, pois o raio de convergência finito impede a aplicação direta de teoremas de unicidade baseados em momentos.
• Aprendizado de Máquina e Estatística: A assinatura esperada é amplamente utilizada em machine learning (ex: testes de hipóteses não paramétricos, como o teste de duas amostras baseado em assinatura). Este resultado alerta que, para dados gerados por processos parados em domínios limitados, a métrica baseada na assinatura esperada pode não ser completa, exigindo cautela na interpretação de modelos que dependem dessa representação.
• Análise Numérica: O resultado tem implicações para métodos de cubatura em espaços de Wiener e métodos numéricos para EDPs semi-elípticas, sugerindo que a convergência de expansões baseadas na assinatura pode ser limitada em cenários de tempo de parada.

Em resumo, o artigo resolve um problema aberto significativo ao provar que a assinatura esperada do Movimento Browniano parado em domínios regulares (até dimensão 8) falha em ter um raio de convergência infinito, utilizando uma engenhosa combinação de simetrização geométrica e análise assintótica de funções especiais.