A pathological set regarding the propagation of almost sure properties of Gaussian measures

Resumo Técnico: Um Conjunto Patológico Relativo à Propagação de Propriedades Quase Certas de Medidas Gaussianas

Enunciado do Problema
Este artigo aborda uma tensão fundamental entre propriedades topológicas e de teoria da medida na dinâmica da equação de onda não linear cúbica defocante periódica tridimensional (NLW) em $\mathbb{T}^3$:
$$\partial_{tt}u - \Delta u + u^3 = 0, \quad u(x,0)=0, \quad \partial_t u(x,0)=g(x).$$
Embora o trabalho anterior de Gunaratnam, Oh, Tzvetkov e Weber (2022) tenha estabelecido que medidas gaussianas suportadas em espaços de Sobolev de alta regularidade são quase-invariantes sob o fluxo da NLW — implicando que propriedades de regularidade "quase certas" são preservadas para dados iniciais aleatórios — o autor investiga se essa preservação ocorre para todos os dados iniciais no suporte dessas medidas. Especificamente, o artigo busca identificar um conjunto denso de velocidades iniciais para as quais a solução perde instantaneamente a regularidade $W^{\sigma,p}$, apesar de os dados iniciais pertencerem a um subconjunto denso de $W^{\sigma-1,p}$.

Metodologia
A abordagem é determinística e baseia-se em uma construção de múltiplas etapas envolvendo análise linear, periodização e controle não linear:

1. Contraexemplo Linear em $\mathbb{R}^d$: O autor constrói uma família específica de distribuições $F_\lambda$ no espaço euclidiano $\mathbb{R}^d$ ($d \ge 2$) definida via coeficientes de Fourier $g_\lambda(\xi) = \langle \xi \rangle^{-\sigma+1} h(\xi) |\xi|^{-\lambda}$, onde $h$ é uma função de corte suave que se anula próximo à origem. A análise aproveita resultados conhecidos de perda de derivada em $L^p$ para a equação de onda linear (estimativas de Peral-Miyachi) para mostrar que, para intervalos específicos de $p$ e $\lambda$, a evolução linear $S(t)(0, F_\lambda)$ falha em permanecer em $W^{\sigma,p}(\mathbb{R}^d)$. A prova envolve uma análise assintótica detalhada de funções de Bessel e da transformada de Fourier inversa de distribuições homogêneas para identificar singularidades em $|x|=t$ e $x=0$.

2. Periodização para $\mathbb{T}^d$: Usando a fórmula de soma de Poisson, o contraexemplo euclidiano $F_\lambda$ é periodizado para definir $f_\lambda$ no toro $\mathbb{T}^d$. O autor prova que a não-propagação da regularidade observada em $\mathbb{R}^d$ persiste no cenário periódico para $t$ em uma pequena vizinhança de zero. Isso se baseia em mostrar que as singularidades da soma periodizada são dominadas pela singularidade do termo original próximo à origem, enquanto as contribuições de outros pontos da rede permanecem suaves ou limitadas.

3. Extensão para o Fluxo Não Linear: Para estender o resultado do fluxo linear para a NLW cúbica, o autor emprega um argumento de ponto fixo em espaços de Sobolev adequados. A tarefa central é limitar o termo de integral de Duhamel:
   $$\int_0^t \frac{\sin((t-\tau)|D|)}{|D|} u^3(\tau) \, d\tau$$
   no espaço $L^\infty_T W^{\sigma,p}(\mathbb{T}^3)$. Ao utilizar estimativas de Strichartz adaptadas ao cenário periódico via argumentos de velocidade finita de propagação, o autor demonstra que este termo não linear permanece limitado em $W^{\sigma,p}$ desde que os dados iniciais residam em um espaço suficientemente regular (especificamente $H^{\sigma+1/2}$). Como a parte linear da solução perde regularidade $W^{\sigma,p}$ enquanto a parte não linear a preserva, a solução total deve perder regularidade.

Principais Resultados

• Teorema 1.2 (Caso Linear): Para $d \ge 2$, $p \neq 2$, e intervalos específicos de $\lambda$ e $\sigma$, a evolução linear dos dados iniciais construídos $f_\lambda$ não pertence a $W^{\sigma,p}(\mathbb{T}^d)$ para qualquer $t \neq 0$ (dentro de um pequeno intervalo de tempo). As condições para esta perda de regularidade dependem da relação entre $p$ e a dimensão $d$ (por exemplo, $p \ge \frac{2d}{d-1}$ ou $p < \frac{2d}{d+1}$).
• Teorema 1.1 (Caso Não Linear): Para $d=3$, $p \ge 3$, e $\lambda \in (3 - 3/p, 3)$, o conjunto $S_\lambda$ (definido como funções suaves mais cópias escaladas de $f_\lambda$) é um subconjunto denso de $W^{\sigma-1,p}(\mathbb{T}^3)$. Para qualquer $g \in S_\lambda$, a solução global $u$ à NLW existe em $C(\mathbb{R}, H^{\sigma+1/2})$, mas satisfaz $u(\cdot, t) \notin W^{\sigma,p}(\mathbb{T}^3)$ para qualquer $t \in (-1, 1) \setminus \{0\}$.
• Proposição 2.3 (Propagação Quase Certa): Em contraste com o conjunto patológico determinístico, o artigo confirma que, para medidas gaussianas $\vec{\mu}_s$ com $s > \sigma + 3/2$, a solução permanece em $W^{\sigma,p}$ quase certamente. Isso se baseia na quase-invariância da medida (Teorema 2.1) e no teorema de Fernique.

Significância e Alegações
O artigo afirma fornecer um "resultado complementar" à quase-invariância das medidas gaussianas. Sua principal significância reside em demonstrar que a propagação de propriedades de regularidade quase certas não é uma propriedade topológica do fluxo. Especificamente:

• O conjunto de dados iniciais para os quais a regularidade não é preservada é denso no espaço de Sobolev relevante $W^{\sigma-1,p}$.
• Isso cria um contraste agudo: embora a randomização dos dados iniciais (medida gaussiana) garanta a propagação da regularidade com probabilidade 1, existe um conjunto denso de dados iniciais determinísticos onde essa regularidade é perdida instantaneamente.
• O trabalho destaca a natureza "patológica" de certas soluções determinísticas no contexto da bem-postura probabilística, mostrando que o "bom" comportamento é medida-teórico e não topológico.

O autor afirma explicitamente que as restrições de tempo ($|t| < 1$ ou $|t| < 1/2$) são limitações técnicas decorrentes dos argumentos de velocidade finita de propagação usados no passo de periodização, mas que essas restrições não diminuem o achado central de que a regularidade deixa de existir instantaneamente. O artigo não propõe novas aplicações ou propostas experimentais futuras, focando estritamente na análise determinística desses contraexemplos específicos.