Qualitative stability for a family of trace Sobolev inequalities

Resumo Técnico: Estabilidade Qualitativa para uma Família de Desigualdades de Sobolev de Traço

Enunciado do Problema
Este artigo aborda a estabilidade qualitativa de uma família uniparamétrica de desigualdades de Sobolev de traço no semiespaço $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$, onde $n \ge 2$ e $p \in (1, n)$. As desigualdades, estabelecidas por Maggi e Neumayer [MN17], relacionam a norma $L^p$ do gradiente de uma função $u$ à sua norma $L^{p^*}$ no interior e à sua norma $L^{p^\sharp}$ na fronteira $\partial H$. Especificamente, para um parâmetro de traço fixo $T \ge 0$, a constante ótima $\Phi_H(T)$ é definida via o problema variacional:
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
onde $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$.
Os extremantes (minimizadores) para este problema são completamente caracterizados como dilatações e translações específicas de um perfil explícito $U_T$. A questão central é a estabilidade: se uma sequência de funções $\{u_k\} \subset \mathcal{A}_T$ possui um déficit de energia nulo $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$, a sequência converge (na norma do gradiente) para o conjunto de extremantes $\mathcal{M}_T$?

Embora a estabilidade quantitativa local tenha sido recentemente estabelecida para o caso $p=2$ por Fan, Li e Zhang [FLZ26], um resultado de estabilidade qualitativa global (ou seja, provar que um déficit nulo implica uma distância nula aos extremantes) estava ausente. Esta lacuna impediu a extensão do resultado quantitativo local para um resultado global.

Metodologia
A prova da estabilidade qualitativa baseia-se no princípio de concentração-compacidade combinado com uma nova desigualdade de ligação estrita para o funcional de energia.

1. Análise de Concentração-Compacidade: O autor adapta os lemas padrão de concentração-compacidade (Lions [Lio85]) ao contexto de traço. A prova procede por contradição: assumindo que uma sequência com déficit nulo não converge para um extremante, a sequência deve ou desaparecer (excluído pela normalização) ou se dividir (dicotomia) em dois perfis assintoticamente não interagentes.
2. A Desigualdade de Ligação Estrita (Teorema 1.3): O cerne do argumento é descartar o cenário de "divisão". O autor prova que, para qualquer decomposição das normas de massa e traço em duas partes $(m_1, t_1)$ e $(m_2, t_2)$, a soma das energias dos perfis separados é estritamente maior que a energia do perfil combinado:
   $$\Phi_H(T)^p < m_1^p \Phi_H\left(\frac{t_1}{m_1}\right)^p + m_2^p \Phi_H\left(\frac{t_2}{m_2}\right)^p.$$
   Esta desigualdade é não trivial porque, ao contrário da desigualdade de Sobolev clássica em $\mathbb{R}^n$, a constante $\Phi_H(T)$ depende de forma não linear de $T$, impedindo que argumentos simples de escala descartem a divisão.
3. Argumento de Transporte de Massa: Para provar a desigualdade de ligação estrita, o artigo utiliza a prova de transporte de massa da desigualdade de traço de [MN17]. O autor constrói uma função teste específica $w$ consistindo em duas cópias amplamente separadas de perfis extremantes. Ao analisar o mapa de transporte ótimo (mapa de Brenier) associado a $w$, o autor explora a monotonicidade cíclica do mapa de transporte. A separação geométrica dos perfis força o mapa de transporte a comportar-se de maneira incompatível com a condição de monotonicidade cíclica, a menos que o déficit de energia esteja limitado inferiormente por um valor positivo. Isso produz um limite inferior definitivo para o déficit, estabelecendo a desigualdade estrita.

Resultados Principais

• Teorema 1.1 (Estabilidade Qualitativa): Para qualquer $p \in (1, n)$ e $T > 0$, se uma sequência $\{u_k\} \subset \mathcal{A}_T$ satisfaz $\delta_T(u_k) \to 0$, então a distância ao conjunto de extremantes $d_T(u_k) \to 0$. Isso confirma que a única maneira de se aproximar da constante ótima é aproximando-se da família de extremantes.
• Teorema 1.3 (Desigualdade de Ligação Estrita): A desigualdade estrita que relaciona a energia de uma configuração dividida à energia combinada é provada para todo $T > 0$.
• Corolário 1.2 (Estabilidade Quantitativa Global para $p=2$): Ao combinar o novo resultado qualitativo (Teorema 1.1) com a análise quantitativa local existente de [FLZ26], o artigo estabelece a estabilidade quantitativa global para o caso $p=2$. Especificamente, existe uma constante $\alpha'_T > 0$ tal que $\delta_T(u) \ge \alpha'_T d_T(u)^2$ para todo $u \in \mathcal{A}_T$.

Significado e Afirmações
O artigo afirma resolver um problema em aberto levantado em [FLZ26] relativo à estabilidade quantitativa global das desigualdades de Sobolev de traço para $p=2$. O autor enfatiza que o principal obstáculo a este resultado era a falta de um teorema de estabilidade qualitativa, que esta nota fornece.

O trabalho é apresentado como uma "nota curta" preenchendo uma lacuna teórica específica. O autor nota modestamente que, embora a abordagem de transporte de massa seja poderosa, ela enfrenta dificuldades em fornecer estimativas quantitativas diretas para a distância aos extremantes (como feito para a desigualdade isoperimétrica em outras obras) devido à degenerescência do controle em regiões onde a função é pequena. Consequentemente, o artigo baseia-se na desigualdade de ligação estrita qualitativa derivada via transporte de massa para permitir o resultado quantitativo global.

Os resultados estendem a compreensão da estabilidade para desigualdades funcionais onde a constante ótima depende de forma não trivial de um parâmetro, um cenário onde argumentos padrão de homogeneidade falham. O artigo não propõe novas aplicações ou propostas experimentais, mas foca estritamente na análise rigorosa das propriedades de estabilidade dessas desigualdades específicas.