Sharp quantitative stability for the fractional Sobolev trace inequality

Resumo Técnico: Estabilidade Quantitativa Aguda para a Desigualdade de Traço de Sobolev Fracionária

Configuração do Problema
Este artigo investiga a estabilidade quantitativa da desigualdade de traço de Sobolev fracionária aguda, originalmente estabelecida por Einav e Loss. A desigualdade afirma que para $0 \le m < n$ e $m/2 < \alpha < n/2$, existe uma constante aguda $S(n, m, \alpha)$ tal que:
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
onde $q = \frac{2(n-m)}{n-2\alpha}$, $\tau_m$ denota a restrição ao hiperplano $\mathbb{R}^{n-m}$, e $D^\alpha(\mathbb{R}^n)$ é o espaço de Sobolev fracionário. As funções extremais formam uma variedade $M_{n,m,\alpha}$.

Os autores analisam a estabilidade desta desigualdade em dois cenários distintos:

1. Configuração Funcional: Quantificando a distância de uma função $f$ da variedade de extremais $M_{n,m,\alpha}$ com base no déficit na desigualdade.
2. Configuração de Pontos Críticos: Analisando a estabilidade das soluções da equação de Euler-Lagrange associada (a equação de traço de Escobar) no semi-espaço $\mathbb{R}^n_+$, especificamente quando a solução está próxima de uma superposição de "bolhas de Escobar".

Metodologia
O artigo emprega uma combinação de princípios de redução, análise espectral e técnicas de decomposição de perfil.

• Princípio de Redução: Na configuração funcional, os autores utilizam um princípio de redução (Teorema 3.3) estabelecido por Einav e Loss. Este princípio decompõe a desigualdade de traço de Sobolev fracionária em uma composição de um operador de redução $\tau_m$ e uma desigualdade de Sobolev fracionária padrão. Isso permite aos autores reduzir o problema de estabilidade da desigualdade de traço para o resultado de estabilidade conhecido para a desigualdade de Sobolev fracionária padrão (estabilidade do tipo Bianchi-Egnell).
• Esquema Dual: Para derivar estimativas de estabilidade para o problema de Neumann (o dual da desigualdade de traço), os autores aplicam um esquema dual desenvolvido por Carlen. Isso envolve analisar as transformadas de Legendre dos funcionais relevantes e utilizar as propriedades de convexidade dos funcionais duais.
• Decomposição de Perfil: Na configuração de pontos críticos, os autores estendem o princípio de compacidade global de Struwe. Eles estabelecem decomposições de perfil qualitativas e quantitativas para sequências de funções que são "quase" soluções da equação crítica. Isso envolve separar a solução em uma soma de bolhas de Escobar interagentes e um termo de resto.
• Gap Espectral e Mapeamento Conforme: Para obter limites superiores agudos para a constante de estabilidade no caso de bolha única, os autores empregam um mapeamento conforme entre o semi-espaço $\mathbb{R}^n_+$ e a bola unitária $B^n$. Esta transformação vincula o operador linearizado do problema ao problema de autovalor de Steklov na bola. Ao analisar o espectro do problema de Steklov, eles derivam uma desigualdade de gap espectral refinada.
• Expansão de Terceira Ordem: Para o limite superior da constante de estabilidade no caso de bolha única, os autores realizam uma expansão precisa de terceira ordem da norma dual, lidando cuidadosamente com os termos de interação e a geometria da variedade.

Principais Contribuições e Resultados

1. Estimativa de Estabilidade Funcional Aguda:
   Os autores estabelecem uma estimativa de estabilidade quantitativa aguda para a desigualdade de traço de Sobolev fracionária:
   $$C \inf_{v \in M_{n,m,\alpha}} \|f - v\|_{D^\alpha(\mathbb{R}^n)}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2 - S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2$$
   Eles provam que o expoente 2 é agudo e fornecem limites superiores e inferiores explícitos para a constante de estabilidade ótima $C_{BE}(n, m, \alpha)$. Crucialmente, eles mostram que $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$, efetivamente reduzindo o problema de traço ao problema de Sobolev fracionário padrão. Eles também provam a existência de minimizadores para a constante de estabilidade quando $n-m \ge 2$.

2. Desigualdades de Traço Melhoradas e Estabilidade de Neumann:
   Como um corolário do resultado de estabilidade do gradiente, os autores derivam imersões de Sobolev melhoradas para funções suportadas em domínios gerais (incluindo faixas) com termos de resto envolvendo normas $L^q$ fracas. Além disso, usando o esquema dual, eles estabelecem uma estimativa de estabilidade a priori aguda para o problema de Neumann no semi-espaço, vinculando o déficit na desigualdade dual à distância da variedade de extremais do problema de Neumann.

3. Decomposição de Perfil Quantitativa:
   Na configuração de pontos críticos, os autores provam um teorema de decomposição de perfil quantitativa. Eles mostram que, se uma função $u$ está próxima de uma soma de $\nu$ bolhas de Escobar fracamente interagentes (na norma $H^1$), então a distância para a variedade de tais bolhas é controlada linearmente pela norma $H^{-1}$ do resíduo $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$. Este resultado é válido para funções não negativas e estende trabalhos anteriores sobre a equação Yamabe clássica para o cenário de traço de Escobar.

4. Limite Superior Agudo para a Constante de Estabilidade:
   Para o caso de bolha única ($\nu=1$), os autores derivam um limite superior estrito para a constante de estabilidade ótima $CCP(n, 1)$:
   $$CCP(n, 1) < \frac{2}{n+2}$$
   Este resultado é obtido construindo uma função de teste específica envolvendo uma perturbação de terceira ordem da bolha extremal e utilizando a desigualdade de gap espectral derivada do problema de autovalor de Steklov.

Significância
O artigo afirma estender resultados de estabilidade anteriores sobre a desigualdade de traço de Escobar e a desigualdade de Sobolev fracionária. Ao estabelecer um princípio de redução, os autores unificam a análise de estabilidade da desigualdade de traço com a da desigualdade de Sobolev fracionária padrão. A derivação de limites explícitos para as constantes de estabilidade e a prova da existência de minimizadores (na configuração funcional) abordam questões abertas relativas à natureza quantitativa dessas desigualdades.

Na configuração de pontos críticos, o trabalho fornece a primeira decomposição de perfil quantitativa para a equação de traço de Escobar, generalizando resultados conhecidos para a equação Yamabe clássica. O limite superior estrito $2/(n+2)$ para a constante de estabilidade no caso de bolha única é um refinamento significativo, melhorando estimativas genéricas e destacando as propriedades espectrais específicas do operador linearizado neste contexto. Os autores observam que a não-degenerescência das soluções, crucial para estes resultados quantitativos, é estabelecida via a conexão com o problema de autovalor de Steklov, um vínculo que pode ser de interesse independente.