Qualitative stability for a family of trace Sobolev inequalities

Technische Samenvatting: Kwalitatieve Stabiliteit voor een Familie van Trace Sobolev-ongelijkheden

Probleemstelling
Dit artikel behandelt de kwalitatieve stabiliteit van een een-parameterfamilie van trace Sobolev-ongelijkheden op de halfruimte $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$, waarbij $n \ge 2$ en $p \in (1, n)$. De ongelijkheden, gevestigd door Maggi en Neumayer [MN17], relateren de $L^p$-norm van de gradiënt van een functie $u$ aan zijn $L^{p^*}$-norm in het inwendige en zijn $L^{p^\sharp}$-norm op de rand $\partial H$. Specifiek wordt voor een vaste trace-parameter $T \ge 0$ de scherpe constante $\Phi_H(T)$ gedefinieerd via het variatieprobleem:
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
waarbij $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$.
De extremalen (minimalisatoren) voor dit probleem zijn volledig gekarakteriseerd als specifieke dilataties en translaties van een expliciet profiel $U_T$. De centrale vraag is stabiliteit: als een rij functies $\{u_k\} \subset \mathcal{A}_T$ een verdwijnend energiedeficit $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$ heeft, convergeert de rij dan (in de gradiëntnorm) naar de verzameling extremalen $\mathcal{M}_T$?

Hoewel lokale kwantitatieve stabiliteit recentelijk werd vastgesteld voor het geval $p=2$ door Fan, Li en Zhang [FLZ26], ontbrak een globaal kwalitatief stabiliteitsresultaat (d.w.z. het bewijzen dat een verdwijnend deficit een verdwijnende afstand tot extremalen impliceert). Deze lacune verhinderde de uitbreiding van het lokale kwantitatieve resultaat naar een globaal resultaat.

Methodologie
Het bewijs van kwalitatieve stabiliteit steunt op het concentratie-compactheidsprincipe in combinatie met een nieuwe strikt bindende ongelijkheid voor het energiefunctionaal.

1. Concentratie-compactheidsanalyse: De auteur past de standaard concentratie-compactheidslemma's (Lions [Lio85]) aan op de trace-setting. Het bewijs verloopt via contradictie: aannemende dat een rij met verdwijnend deficit niet convergeert naar een extremaal, moet de rij óf verdwijnen (uitgesloten door normalisatie) óf splitsen (dichotomie) in twee asymptotisch niet-interagerende profielen.
2. De Strikt Bindende Ongelijkheid (Stelling 1.3): De kern van het argument is het uitsluiten van het "splitsings"-scenario. De auteur bewijst dat voor elke decompositie van de massa- en tracenormen in twee delen $(m_1, t_1)$ en $(m_2, t_2)$, de som van de energieën van de afzonderlijke profielen strikt groter is dan de energie van het gecombineerde profiel:
   $$\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.$$
   Deze ongelijkheid is niet-triviaal omdat, in tegenstelling tot de klassieke Sobolev-ongelijkheid op $\mathbb{R}^n$, de constante $\Phi_H(T)$ niet-lineair afhangt van $T$, waardoor eenvoudige schalingsargumenten het uitsluiten van splitsing verhinderen.
3. Massatransportargument: Om de strikt bindende ongelijkheid te bewijzen, maakt het artikel gebruik van het massatransportbewijs van de trace-ongelijkheid uit [MN17]. De auteur construeert een specifieke testfunctie $w$ bestaande uit twee ver uit elkaar gelegen kopieën van extremale profielen. Door de optimale transportafbeelding (Brenier-afbeelding) geassocieerd met $w$ te analyseren, exploiteert de auteur de cyclische monotonie van de transportafbeelding. De geometrische scheiding van de profielen dwingt de transportafbeelding zich op een manier te gedragen die onverenigbaar is met de voorwaarde voor cyclische monotonie, tenzij het energiedeficit bounded is van nul. Dit levert een definitieve ondergrens op voor het deficit, waarmee de strikte ongelijkheid wordt vastgesteld.

Belangrijkste Resultaten

• Stelling 1.1 (Kwalitatieve Stabiliteit): Voor elke $p \in (1, n)$ en $T > 0$, als een rij $\{u_k\} \subset \mathcal{A}_T$ voldoet aan $\delta_T(u_k) \to 0$, dan gaat de afstand tot de verzameling extremalen $d_T(u_k) \to 0$. Dit bevestigt dat de enige manier om de scherpe constante te benaderen, is door de familie van extremalen te benaderen.
• Stelling 1.3 (Strikt Bindende Ongelijkheid): De strikte ongelijkheid die de energie van een gesplitste configuratie relateert aan de gecombineerde energie, wordt bewezen voor alle $T > 0$.
• Corollarium 1.2 (Globale Kwantitatieve Stabiliteit voor $p=2$): Door het nieuwe kwalitatieve resultaat (Stelling 1.1) te combineren met de bestaande lokale kwantitatieve analyse uit [FLZ26], vestigt het artikel globale kwantitatieve stabiliteit voor het geval $p=2$. Specifiek bestaat er een constante $\alpha'_T > 0$ zodanig dat $\delta_T(u) \ge \alpha'_T d_T(u)^2$ voor alle $u \in \mathcal{A}_T$.

Betekenis en Aanspraken
Het artikel claimt een open probleem opgelost te hebben dat werd opgeworpen in [FLZ26] met betrekking tot de globale kwantitatieve stabiliteit van trace Sobolev-ongelijkheden voor $p=2$. De auteur benadrukt dat de primaire belemmering voor dit resultaat het ontbreken van een kwalitatief stabiliteitstheorema was, wat deze notitie verschaft.

Het werk wordt gepresenteerd als een "korte notitie" die een specifieke theoretische lacune opvult. De auteur merkt bescheiden op dat, hoewel de massatransportbenadering krachtig is, deze moeilijkheden ondervindt bij het leveren van directe kwantitatieve schattingen voor de afstand tot extremalen (zoals gedaan voor de isoperimetrische ongelijkheid in andere werken), vanwege de degeneratie van controle in gebieden waar de functie klein is. Bijgevolg vertrouwt het artikel op de kwalitatieve strikt bindende ongelijkheid, afgeleid via massatransport, om het globale kwantitatieve resultaat mogelijk te maken.

De resultaten breiden het begrip van stabiliteit voor functionele ongelijkheden uit waarbij de optimale constante niet-triviaal afhangt van een parameter, een setting waar standaard homogeniteitsargumenten falen. Het artikel stelt geen nieuwe toepassingen of experimentele voorstellen voor, maar focust strikt op de rigoureuze analyse van de stabiliteitseigenschappen van deze specifieke ongelijkheden.