Transportation cost inequalities for singular SPDEs

1. Problema e Contexto

O artigo aborda um problema fundamental na teoria das Equações Diferenciais Parciais Estocásticas Singulares (SPDEs): a compreensão das propriedades de concentração de medida e de grandes desvios para as leis (distribuições de probabilidade) das soluções dessas equações.

• O Desafio: As SPDEs singulares (como o modelo $\Phi^4_4$ ou equações de Anderson parabólicas em dimensões superiores) envolvem ruídos que são distribuições (não funções), tornando a definição de soluções não trivial. A teoria de Estruturas de Regularidade (Regularity Structures), desenvolvida por Martin Hairer, fornece um framework para definir soluções via um processo de renormalização.
• A Lacuna: Embora existam resultados sobre a existência e unicidade de soluções, a compreensão das propriedades de concentração de medida (como desigualdades de transporte de custo) para as leis dessas soluções, especialmente no regime subcrítico completo e para modelos de ruído não necessariamente gaussianos, era limitada.
• Objetivo: O objetivo principal é provar que as leis dos modelos aleatórios BPHZ (Bogoliubov–Parasiuk–Hepp–Zimmermann), que são a base para a construção das soluções de SPDEs singulares, satisfazem desigualdades de custo de transporte sob condições gerais sobre o ruído.

2. Metodologia

Os autores utilizam uma combinação sofisticada de ferramentas de análise estocástica, cálculo de Malliavin de ordem superior e a teoria de Estruturas de Regularidade.

A. Pressupostos sobre o Ruído

O trabalho assume que o ruído $\xi$ é definido em um espaço de Banach separável $\Omega$ e que sua lei $P$ satisfaz:

1. Invariância por translação no espaço-tempo.
2. Desigualdade de Custo de Transporte (TCI): A lei do ruído satisfaz uma TCI do tipo $(\ell, c_H)$, onde $c_H$ é um custo baseado em uma norma de Hilbert $H$ (subespaço denso de $\Omega$).
   • Nota: Isso inclui medidas Gaussianas (onde $H$ é o espaço de Cameron-Martin) e perturbações não-gaussianas que preservam certas propriedades de concentração.

B. Estrutura de Regularidade-Integrabilidade

Diferentemente de trabalhos anteriores (como [26] e [1]) que usavam apenas cálculo de Malliavin de primeira ordem, os autores introduzem uma estrutura de regularidade-integrabilidade estendida.

• Motivação: Para obter estimativas polinomiais (necessárias para provar a TCI), é necessário controlar derivadas de Malliavin de ordem superior.
• Construção: Eles definem uma estrutura onde as árvores (símbolos) da estrutura de regularidade são rotuladas não apenas pelo tipo de ruído, mas também por derivadas de Malliavin de todas as ordens. Isso envolve a introdução de dois tipos de espaços de Hilbert ($H$ e $\bar{H}$) na estrutura de tipos para capturar diferentes normas de Besov.

C. O Mapa de Elevação (Lifting Map)

O núcleo da prova é analisar o mapa que leva o ruído $\omega \in \Omega$ ao modelo BPHZ $\hat{M}_{\infty;\varepsilon}(\omega)$.

• Os autores provam uma estimativa de Hölder pathwise para este mapa. Especificamente, eles mostram que a variação do modelo quando o ruído é perturbado por um elemento $h \in H$ é controlada por uma função polinomial da norma $\|h\|_H$.
• Princípio de Contração Estendido: Utilizam um princípio de contração generalizado (de Gasteratos & Jacquier) que permite "propagar" a desigualdade de custo de transporte do ruído para o modelo aleatório, desde que o mapa de elevação satisfaça uma condição de Lipschitz/Hölder com constantes aleatórias com caudas gaussianas.

3. Contribuições Principais

1. Desigualdade de Custo de Transporte para Modelos BPHZ:
   O resultado central (Teorema 2) estabelece que, sob a Assunção A (ruído com TCI e invariante), a lei do modelo BPHZ aleatório $\hat{M}_{\infty;\varepsilon}$ satisfaz uma família de desigualdades de custo de transporte. Isso implica que a norma do modelo tem caudas gaussianas (integrabilidade exponencial quadrática).

2. Integrabilidade de Medidas Invariantes:
   O trabalho conecta a TCI do modelo BPHZ à TCI das medidas invariantes de dinâmicas de Markov geradas por SPDEs singulares.

   • Aplicação ao $\Phi^4_4$: Eles provam que a medida invariante $\Phi^4_{4-\nu}$ no toro 4-dimensional satisfaz uma desigualdade de custo de transporte. Isso garante a integrabilidade exponencial de potências da norma da solução, um resultado crucial para a teoria quântica de campos euclidiana (axiomas de Osterwalder-Schrader).
   • Generalidade: O resultado se aplica a uma classe ampla de medidas invariantes, desde que a solução da SPDE admita limites a priori polinomiais uniformes em relação ao modelo.

3. Princípio de Grandes Desvios (LDP):
   Os autores estabelecem um Princípio de Grandes Desvios explícito para a família de modelos BPHZ associados a um ruído escalonado $\kappa \xi$ quando $\kappa \to 0$.

   • A função de taxa é dada pelo infimum da função de taxa do ruído sobre todos os caminhos $h$ que geram o modelo via um mapa "ingênuo" (naive model).
   • Este resultado estende trabalhos anteriores de Hairer & Weber (que lidavam com o caso Allen-Cahn em 1+1 dimensões e ruído gaussiano) para o regime subcrítico completo e ruídos não-gaussianos.

4. Resultados Técnicos Chave

• Teorema 2 (Estimativa Pathwise):
  $$\|\hat{M}_{\infty;\varepsilon}(\omega + h) : \hat{M}_{\infty;\varepsilon}(\omega)\|_M \leq L(\omega) \max(\|h\|_H, \|h\|_H^{1/r})$$
  Onde $L(\omega)$ é uma variável aleatória com momentos de todas as ordens. Esta desigualdade é a chave para aplicar o princípio de contração.

• Corolário 3 (Caudas Gaussianas):
  Sob a Assunção A, existe $a > 0$ tal que $\mathbb{E}[\exp(a \|\hat{M}_{\infty;\varepsilon}\|_M^2)] < \infty$.

• Teorema 4 (Medida $\Phi^4_{4-\nu}$):
  A medida invariante $\mu$ da dinâmica $\Phi^4$ no toro 4D satisfaz uma desigualdade de transporte $(a\ell, c_\nu)$, implicindo que $\int \exp(a \|\phi\|^{2/p(\nu)}) d\mu < \infty$.

• Teorema 19 (LDP para Modelos):
  O modelo BPHZ satisfaz um LDP com taxa $\kappa^2$ e função de taxa $J(M) = \inf \{ I(h) : h \in H, L(h) = M \}$.

5. Significado e Impacto

• Robustez: O trabalho demonstra que as propriedades de concentração de medida não dependem estritamente da natureza gaussiana do ruído, mas sim de propriedades de transporte de custo e de um espectro de lacuna (spectral gap). Isso abre portas para o estudo de SPDEs com ruídos mais gerais.
• Conexão entre Análise e Probabilidade: O artigo fornece uma ponte rigorosa entre a análise pathwise (via Estruturas de Regularidade e cálculo de Malliavin de alta ordem) e a teoria de grandes desvios/concentração de medida.
• Aplicações em Física Matemática: A prova da integrabilidade exponencial para a medida $\Phi^4_4$ é um passo importante na validação rigorosa de modelos de teoria quântica de campos em dimensões superiores, onde a renormalização é essencial e a análise é extremamente complexa.
• Novas Ferramentas: A introdução de estruturas de regularidade-integrabilidade que incorporam derivadas de Malliavin de todas as ordens é uma contribuição metodológica significativa que pode ser aplicada a outros problemas de regularidade estocástica.

Em resumo, o artigo estabelece um quadro teórico robusto para entender a estabilidade e as propriedades de concentração das soluções de SPDEs singulares, generalizando resultados clássicos para um contexto muito mais amplo e fornecendo novas ferramentas analíticas para a comunidade de probabilidade e análise.