Invariance of $ϕ^4$ measure under nonlinear wave and Schrödinger equations on the plane

Resumo Técnico: Invariância da Medida $\phi^4$ sob Equações de Onda Não Linear e de Schrödinger no Plano

Enunciado do Problema
O artigo aborda a bem-postura global e a invariância de medida para a equação de onda não linear (NLW) massiva e defocuseante e para a equação de Schrödinger não linear (NLS) cúbica no plano euclidiano bidimensional $\mathbb{R}^2$. O desafio central é estabelecer a existência e unicidade quase certa de soluções brandas (mild solutions) quando os dados iniciais são amostrados da medida $\phi^4_2$ de volume infinito (uma medida de Gibbs da teoria quântica de campos).

Em dimensões $d \ge 2$, a medida $\phi^4$ é suportada por distribuições em vez de funções, o que exige a renormalização da não linearidade via ordenamento de Wick (por exemplo, $:u^3:$ para NLW e $:u|u|^2:$ para NLS). Embora a invariância dessas medidas sob as equações correspondentes tenha sido estabelecida em domínios periódicos (toros) $\mathbb{T}^d$ (notadamente por Bourgain, Oh, Thomann e outros), estender esses resultados para o cenário de volume infinito $\mathbb{R}^2$ apresenta dificuldades significativas. Especificamente, as medidas de volume infinito são definidas apenas como limites fracos de aproximações periódicas e não são mais absolutamente contínuas em relação ao campo gaussiano livre (GFF), tornando inaplicáveis os argumentos padrão de convergência de variação total. Além disso, a equação NLS carece da propriedade de velocidade finita de propagação inerente às equações de onda, complicando a redução para configurações periódicas.

Metodologia
Os autores empregam uma estratégia combinando argumentos de compacidade probabilística, velocidade finita de propagação e técnicas de quantização estocástica.

1. Aproximação Periódica e Limites Fracos: A construção começa com a medida $\phi^4_2$ em um toro $\Lambda_L = [-L, L]^2$. A medida de volume infinito $\mu$ é obtida como um limite fraco dessas medidas periódicas conforme $L \to \infty$. Os autores dependem da compacidade (tightness) dessas medidas em espaços de Besov com pesos polinomiais $H^{-\varepsilon}(\rho)$, estabelecida via a abordagem de quantização estocástica (decomposição de Da Prato–Debussche), onde a solução é dividida em uma parte gaussiana singular e uma perturbação mais regular.

2. Velocidade Finita de Propagação (NLW): Para a equação de onda não linear, os autores exploram a velocidade finita de propagação. Essa propriedade permite localizar o problema: qualquer evento referente à solução em um domínio espacial compacto $D$ dentro de um intervalo de tempo $[0, T]$ depende apenas dos dados iniciais dentro de uma região limitada determinada pelo cone de luz. Consequentemente, para $L$ suficientemente grande, a solução periódica em $\Lambda_L$ restrita a $D$ coincide com a solução de volume infinito. Isso permite a transferência dos resultados de invariância do caso periódico para o caso de volume infinito via convergência fraca.

3. Argumento de Globalização de Bourgain: A prova da bem-postura global segue o arcabouço probabilístico introduzido por Bourgain.

   • Bem-postura Local: A existência determinística local é provada para dados iniciais em um conjunto de alta probabilidade $A$ (definido por limites de momento na parte linear e seus poderes de Wick).
   • Invariância de Medida: Em domínios periódicos, a invariância da medida de Gibbs truncada é garantida pelo teorema de Liouville para sistemas hamiltonianos de dimensão finita. Ao tomar os limites, a invariância da medida periódica não truncada é estabelecida.
   • Globalização: Ao iterar o tempo de existência local $\tau$ e utilizar a invariância da medida, mostra-se que a probabilidade de explosão (blow-up) é arbitrariamente pequena. Os autores adaptam isso para o caso de volume infinito construindo um conjunto de dados iniciais de alta probabilidade onde a solução existe globalmente e é única.

4. Invariância Fraca para NLS: Para a equação de Schrödinger não linear, a ausência de velocidade finita de propagação impede uma redução direta ao caso periódico. Em vez disso, os autores provam um resultado de "invariância fraca". Eles estabelecem a compacidade das soluções periódicas em um espaço com regularidade espacial reduzida ($H^{-s}(\rho)$ com $s > 4$) e utilizam compacidade para extrair uma subsequência convergente. O limite satisfaz a formulação branda da NLS, e sua lei é mostrada como sendo a medida $\phi^4$. Esta abordagem sacrifica a unicidade por caminho (pathwise uniqueness) e a regularidade espacial total, alinhando-se ao sentido de invariância de "Albeverio–Cruzeiro" usado para equações de fluidos.

Contribuições Principais e Resultados

• Teorema 1.1 (Existência Global e Unicidade para NLW): Os autores provam que, para quase todos os dados iniciais amostrados do produto da medida $\phi^4_2$ de volume infinito e ruído branco, a NLW massiva defocuseante em $\mathbb{R}^2$ admite uma única solução branda em $C(\mathbb{R}^+; H^{-\varepsilon}(\rho))$. Crucialmente, a medida $\phi^4$ de volume infinito é invariante sob o fluxo desta equação.
• Teorema 1.2 (Invariância Fraca para NLS): Para a NLS cúbica em $\mathbb{R}^2$, os autores provam que, para quase todos os dados iniciais da medida $\phi^4_2$ complexa, existe uma solução branda em um espaço com menor regularidade ($C(\mathbb{R}^+; H^{-s}(\rho))$ para $s > 4$). A lei da solução em qualquer tempo $t$ coincide com a medida $\phi^4$ inicial. A unicidade da solução não é estabelecida neste cenário.
• Simplificação Técnica: O artigo revisa e simplifica levemente a teoria periódica para a NLW, fornecendo detalhes completos sobre o argumento de globalização de Bourgain e a construção da medida de limite fraco.
• Tratamento de Volume Infinito: O trabalho demonstra como contornar a falta de absoluta continuidade em medidas de volume infinito utilizando a velocidade finita de propagação para reduzir o problema ao cenário periódico, onde a convergência de variação total está disponível.

Significância e Alegações
O artigo afirma resolver a bem-postura global e a invariância da medida $\phi^4$ para a NLW em $\mathbb{R}^2$, um cenário onde resultados anteriores estavam limitados a uma dimensão ou simetria radial. Os autores observam que seu argumento depende fortemente da velocidade finita de propagação, o que distingue sua abordagem de trabalhos recentes sobre quantização estocástica que utilizam transporte ótimo ou métricas de Wasserstein (ex: Oh, Tolomeo, Wang e Zheng).

Em relação à NLS, o artigo admite que o resultado é mais fraco que o caso da NLW devido à ausência de velocidade finita de propagação. Os autores declaram explicitamente que não podem comentar sobre a unicidade das soluções para NLS neste cenário, uma propriedade que se mantém em uma dimensão. A significância do resultado da NLS reside na extensão do conceito de invariância fraca (previamente explorado para as equações de Euler e Navier–Stokes) para a NLS 2D no espaço total.

Os autores posicionam seu trabalho dentro do contexto mais amplo das EDPs dispersivas probabilísticas, observando que, embora a teoria de invariância em domínios periódicos esteja quase completa, o caso de volume infinito permanece menos desenvolvido. Eles sugerem que seus métodos poderiam se estender a não linearidades polinomiais mais gerais e modelos de valores vetoriais, embora reconheçam que dimensões mais altas (ex: $\mathbb{R}^3$) exigiriam mudanças significativas nas estimativas analíticas devido ao comportamento mais singular.