Degenerate stability of critical points of the Caffarelli-Kohn-Nirenberg inequality along the Felli-Schneider curve

Enunciado do Problema
Este artigo investiga a estabilidade quantitativa da equação crítica de Hardy-Hénon, que serve como a equação de Euler-Lagrange para a desigualdade clássica de Caffarelli-Kohn-Nirenberg (CKN). Especificamente, os autores focam no regime onde os parâmetros $(a, b)$ situam-se exatamente sobre a curva de Felli-Schneider ($b = b_{FS}(a)$ com $a < 0$).

Neste cenário, a equação é conhecida por ser degenerada. Diferente dos casos não degenerados (onde $a \ge 0$ ou $b > b_{FS}(a)$), o operador linearizado em torno de um bolha de Talenti (a solução positiva) possui um núcleo não trivial além das invariâncias padrão de escala e translação. Trabalhos anteriores de Wei e Wu estabeleceram estimativas de estabilidade quantitativa ótima para o caso não degenerado, baseando-se fortemente na condição de não degenerescência. No entanto, esses resultados falham na curva de Felli-Schneider porque a degenerescência impede que as estimativas lineares padrão se sustentem. O problema central abordado é se uma estimativa de estabilidade quantitativa adequada existe neste cenário degenerado e, se sim, qual é a forma ótima da função de estabilidade $F$.

Metodologia
Os autores empregam uma abordagem analítica de múltiplas etapas:

1. Transformação de Emden-Fowler: O problema é reformulado do espaço euclidiano $\mathbb{R}^n$ para o cilindro $\mathcal{C} = \mathbb{R} \times S^{n-1}$. Esta transformação converte a desigualdade CKN ponderada e a equação de Hardy-Hénon em uma desigualdade de interpolação de Gagliardo-Nirenberg e uma equação elíptica semilinear correspondente com coeficientes constantes no cilindro. Isso simplifica a análise espectral e o tratamento das funções de peso.
2. Estratégia Local-para-Global: Seguindo o princípio de compacidade global, os autores reduzem o problema de estabilidade global a um problema local. Eles provam que, se uma função estiver suficientemente próxima de uma soma de bolhas de Talenti, a estimativa de estabilidade se sustenta localmente; o resultado global segue ao combinar isso com o princípio de compacidade.
3. Técnicas de Expansão de Alta Ordem: Para lidar com a degenerescência, os autores não podem confiar em expansões de segunda ordem (suficientes nos casos não degenerados). Em vez disso, utilizam técnicas de expansão de alta ordem (até a quarta ordem) para os termos não lineares. Isso envolve a divisão do domínio de integração e a estimativa cuidadosa dos termos de resto usando desigualdades específicas para a função $|x+y|^{p-2}(x+y)$.
4. Análise Espectral e Projeções Ortogonais: A análise envolve a decomposição da perturbação da solução em componentes paralelas e ortogonais ao núcleo do operador linearizado (denotado como $X$ ou $Y$ no cenário do cilindro). Os autores derivam estimativas para o componente ortogonal e analisam a interação entre as direções degeneradas e os termos não lineares.
5. Construção de Contraexemplos/Otimalidade: Para provar a precisão de suas estimativas, os autores constroem sequências específicas de funções. Esta construção é técnica; envolve perturbar candidatos naturais com soluções de equações de Schrödinger especiais para alcançar a escala cúbica desejada (ou de ordem superior), em vez da escala quadrática que perturbações mais simples produziriam.

Principais Contribuições e Resultados

• Estabilidade Ótima para Bolha Única ($\nu=1$): Para o caso de uma única bolha ($\nu=1$), os autores estabelecem uma estimativa de estabilidade cúbica aguda:
  $$\inf_{\lambda > 0} \|u - U_\lambda\|_{D^{1,2}_a}^3 \le C \|H(u)\|_{D^{-1,2}_a}$$
  Eles provam que esta estimativa é ótima construindo uma sequência onde a razão entre o erro e a potência cúbica da distância permanece limitada. Além disso, fornecem uma estimativa refinada para o componente ortogonal da solução, mostrando que, se a solução "não for excessivamente degenerada" (satisfazendo uma condição específica relacionando os componentes ortogonal e degenerado), uma estimativa linear ocorre para a parte ortogonal.

• Estabilidade para Múltiplas Bolhas ($\nu \ge 2$): Para o caso de múltiplas bolhas ($\nu \ge 2$), os autores derivam uma estimativa de estabilidade para o componente ortogonal da solução, desde que a solução não seja "excessivamente degenerada". A estimativa assume a forma:
  $$\|\Pi^\perp_X(u) - \sum U_{\lambda_i}\| \le C F_1(\|H(u)\|)$$
  onde $F_1$ depende da dimensão e do expoente $p$. A condição "não excessivamente degenerada" é necessária, pois os autores demonstram via um contraexemplo que, sem ela, a estimativa de estabilidade falha.

• Nitidez e Otimalidade: O artigo aborda explicitamente a otimalidade dos expoentes derivados. Para $\nu=1$, a estimativa cúbica é mostrada como aguda. Para $\nu \ge 2$, os autores estabelecem a validade da estimativa sob a restrição de não degenerescência e mostram que essa restrição é ótima em certos regimes ($p \ge 3$ ou $\nu \ge 2, p > 3$).

Significância
Os autores afirmam que este trabalho fornece o primeiro exemplo de resultados de estabilidade degenerada no cenário de ponto crítico para a desigualdade de Caffarelli-Kohn-Nirenberg. Anteriormente, os resultados de estabilidade quantitativa dependiam amplamente de condições de não degenerescência. Ao navegar com sucesso pela degenerescência na curva de Felli-Schneider, o artigo estende a teoria da estabilidade quantitativa para um caso de fronteira crítica onde métodos anteriores falharam. Os autores sugerem que seus métodos, particularmente a expansão de alta ordem e a construção específica de funções de teste e sequências de perturbação, podem ser aplicáveis a outros problemas envolvendo estabilidade degenerada.

O artigo conclui que, embora a estabilidade no cenário funcional (estabilidade da desigualdade) tenha sido estudada extensivamente, o cenário de ponto crítico na curva de Felli-Schneider apresenta desafios únicos devido à falta de não degenerescência, o que este trabalho resolve para o caso de bolha única e parcialmente para o caso de múltiplas bolhas sob condições específicas.