Quantitative stability for the Trudinger-Moser inequality

Resumo Técnico: Estabilidade Quantitativa para a Desigualdade de Trudinger–Moser

Enunciado do Problema
O artigo investiga a estabilidade quantitativa da desigualdade de Trudinger–Moser em domínios limitados e suaves $\Omega \subset \mathbb{R}^2$. Enquanto o mergulho de Sobolev clássico falha no expoente crítico $q=n$, a desigualdade de Trudinger–Moser fornece um substituto, afirmando que funções em $W^{1,n}_0(\Omega)$ exibem integrabilidade exponencial. Especificamente, para $n=2$, o funcional
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
é limitado para $\|\nabla u\|_{L^2(\Omega)} \leq 1$ se e somente se $0 \leq \alpha \leq 4\pi$. O conjunto de funções extremas (otimizadores) $M_\alpha(\Omega)$ é conhecido por ser não vazio, mas sua forma analítica precisa permanece não resolvida, mesmo para o disco unitário.

O problema central abordado é se o "déficit" na desigualdade — definido como a diferença entre o supremo $TM(\alpha, \Omega)$ e o valor do funcional $E_{\alpha, \Omega}(u)$ — controla a distância de uma função $u$ ao conjunto de otimizadores $M_\alpha(\Omega)$. Os autores buscam estabelecer uma estimativa de estabilidade quantitativa da forma:
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
onde a distância é medida na norma $W^{1,2}_0$ (especificamente a norma $L^2$ do gradiente).

Metodologia
As provas baseiam-se na análise espectral de operadores linearizados em torno de otimizadores e em um argumento por contradição envolvendo o comportamento assintótico de sequências violadoras.

1. Análise do Gap Espectral: Os autores definem dois problemas de autovalor-chave associados a um otimizador $u^*$:

   • O problema linearizado $(P_{\alpha, \Omega})$: $-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$.
   • O problema não linear de Trudinger–Moser $(TM_{\alpha, \Omega})$: $-\Delta v = \Lambda e^{\alpha (u^*)^2} v$.
     Seja $\lambda_1(\alpha, \Omega)$ e $\Lambda_1(\alpha, \Omega)$ os respectivos primeiros autovalores. Um passo crucial é estabelecer um gap espectral onde $\Lambda_1(\alpha, \Omega)$ reside estritamente entre o primeiro e o segundo autovalores do problema linearizado, ou estritamente abaixo do primeiro autovalor não radial em casos simétricos.

2. Estratégia de Contradição: As provas para os casos subcríticos procedem por contradição. Assumindo que a estimativa de estabilidade falha, existe uma sequência de funções que se aproxima do supremo, mas permanece distante do conjunto de otimizadores. Por compacidade (via teorema de Vitali e concentração-compacidade), essa sequência converge para um otimizador $u^*$. Os desvios normalizados satisfazem uma equação de Euler-Lagrange assintótica, convergindo para uma função limite que deve resolver o problema de autovalor linearizado. A existência de um gap espectral torna essa limite impossível (pois implicaria uma autofunção definida em sinal ortogonal ao espaço tangente), provando assim a estimativa de estabilidade.

3. Extensão da Esfera para a Bola: Como o funcional de Trudinger–Moser não é homogêneo (ao contrário do funcional de Sobolev), os autores primeiro estabelecem a estabilidade na esfera unitária $S^1$ (onde $\|\nabla u\|_{L^2}=1$) e depois a estendem para a bola unitária fechada $B_1$ usando a monotonicidade do funcional sob reescalamentos radiais.

4. Genericidade via Transversalidade: Para abordar o caso não degenerado, os autores empregam um argumento de transversalidade de Sard–Smale. Ao parametrizar o domínio via difeomorfismos e analisar o mapa aumentado da equação de Euler-Lagrange, eles mostram que a não degenerescência (onde o hessiano é coercivo no espaço tangente) vale para um conjunto genérico de parâmetros $(\alpha, \Omega)$.

Principais Contribuições e Resultados

O artigo estabelece três teoremas principais sobre o controle quadrático da distância aos otimizadores pelo déficit:

• Teorema 1 (Caso Subcrítico Pequeno): Para qualquer domínio limitado e suave $\Omega$, existe um limiar $\alpha_0 > 0$ tal que, para todo $\alpha \in (0, \alpha_0)$, a estimativa de estabilidade vale. Este resultado baseia-se no fato de que, à medida que $\alpha \to 0$, os autovalores dos problemas linearizados convergem para o primeiro autovalor de Dirichlet do Laplaciano, criando um gap espectral.
• Teorema 2 (Caso Subcrítico Não Degenerado): Para qualquer $\alpha \in (0, 4\pi)$, se todo otimizador for não degenerado (isto é, a segunda variação for coerciva no espaço tangente), a estimativa de estabilidade vale. Os autores provam ainda que tal não degenerescência é uma propriedade genérica, válida para um conjunto aberto e denso de parâmetros $(\alpha, \Omega)$.
• Teorema 3 (Caso Crítico Simétrico): Para o disco unitário $D$ e a faixa crítica completa $\alpha \in (0, 4\pi]$, a estimativa de estabilidade vale. Este resultado é significativo porque cobre o expoente crítico $\alpha = 4\pi$ sem exigir suposições de pequenez. A prova explora a simetria rotacional do disco, decompondo o operador linearizado em modos de Fourier angulares. Um gap espectral estrito é demonstrado entre o autovalor radial e o primeiro autovalor não radial (introduzido por um termo centrífugo $r^{-2}$), garantindo coercividade em todas as direções.

Significado e Alegações
O artigo alega fornecer as primeiras estimativas de estabilidade quantitativa para a desigualdade de Trudinger–Moser no cenário geral onde a forma precisa das extremas é desconhecida. Ao contrário de resultados anteriores de estabilidade para desigualdades como Sobolev ou Yamabe, onde o conjunto de otimizadores é explicitamente conhecido (frequentemente envolvendo transformações conformes), as extremas de Trudinger–Moser não são totalmente caracterizadas. Consequentemente, os autores não puderam depender de cálculos explícitos da distância aos otimizadores.

Em vez disso, os autores introduzem uma nova desigualdade de gap espectral que serve como o mecanismo central para suas provas. Esse gap permite que eles contornem a necessidade de conhecimento explícito das extremas, confiando, em vez disso, nas propriedades espectrais do operador linearizado. Os autores observam que o próprio resultado do gap espectral pode ser de interesse independente. O trabalho estende o programa de estabilidade quantitativa (iniciado por Bianchi e Egnell para desigualdades de Sobolev) para um cenário crítico, não homogêneo e geometricamente complexo, demonstrando que a estabilidade quadrática vale mesmo no expoente crítico em domínios simétricos.