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

Probleemstelling
Dit artikel onderzoekt de kwantitatieve stabiliteit van de kritieke Hardy-Hénon-vergelijking, die dient als de Euler-Lagrange-vergelijking voor de klassieke Caffarelli-Kohn-Nirenberg (CKN) ongelijkheid. Specifiek richten de auteurs zich op het regime waar de parameters $(a, b)$ exact op de Felli-Schneider-curve liggen ($b = b_{FS}(a)$ met $a < 0$).

In deze setting staat de vergelijking bekend als gedegenereerd. In tegenstelling tot de niet-gedegenereerde gevallen (waar $a \ge 0$ of $b > b_{FS}(a)$), bezit de geliniariseerde operator rond een Talenti-bubbel (de positieve oplossing) een niet-triviale kern buiten de standaard schaalings- en translatie-invarianties. Voorgaand werk van Wei en Wu stelde optimale kwantitatieve stabiliteitschattingen vast voor het niet-gedegenereerde geval, waarbij sterk werd geleund op de niet-gedegenereerde conditie. Deze resultaten falen echter op de Felli-Schneider-curve omdat de degeneratie voorkomt dat de standaard lineaire schattingen standhouden. Het centrale probleem dat wordt aangepakt, is of er een geschikte kwantitatieve stabiliteitsschatting bestaat in deze gedegenereerde setting en, zo ja, wat de optimale vorm van de stabiliteitsfunctie $F$ is.

Methodologie
De auteurs hanteren een meerstaps analytische aanpak:

1. Emden-Fowler Transformatie: Het probleem wordt geherformuleerd van de Euclidische ruimte $\mathbb{R}^n$ naar de cilinder $\mathcal{C} = \mathbb{R} \times S^{n-1}$. Deze transformatie zet de gewogen CKN-ongelijkheid en de Hardy-Hénon-vergelijking om in een Gagliardo-Nirenberg interpolatie-ongelijkheid en een bijbehorende semilineaire elliptische vergelijking met constante coëfficiënten op de cilinder. Dit vereenvoudigt de spectrale analyse en het afhandelen van de gewichtsfuncties.
2. Local-to-Global Strategie: Volgens het principe van globale compactheid reduceren de auteurs het globale stabiliteitsprobleem tot een lokaal probleem. Ze bewijzen dat als een functie voldoende dicht bij een som van Talenti-bubbels ligt, de stabiliteitsschatting lokaal standhoudt; het globale resultaat volgt vervolgens door dit te combineren met het compactheidsprincipe.
3. High-Order Expansietechnieken: Om de degeneratie te behandelen, kunnen de auteurs niet vertrouwen op tweede-orde expansies (die voldoende zijn in niet-gedegenereerde gevallen). In plaats daarvan maken ze gebruik van high-order expansietechnieken (tot de vierde orde) voor de niet-lineaire termen. Dit houdt het opsplitsen van het integratiedomein en het zorgvuldig schatten van de resttermen in met specifieke ongelijkheden voor de functie $|x+y|^{p-2}(x+y)$.
4. Spectrale Analyse en Orthogonale Projecties: De analyse omvat het decomponeren van de perturbatie van de oplossing in componenten parallel aan en orthogonaal aan de kern van de geliniariseerde operator (aangeduid als $X$ of $Y$ in de cilinder-setting). De auteurs leiden schattingen af voor de orthogonale component en analyseren de interactie tussen de gedegenereerde richtingen en de niet-lineaire termen.
5. Constructie van Tegenvoorbeelden/Optimaliteit: Om de scherpte van hun schattingen te bewijzen, construeren de auteurs specifieke sequenties van functies. Deze constructie is technisch; het houdt in dat natuurlijke kandidaten worden geperturbeerd met oplossingen van speciale Schrödinger-vergelijkingen om de gewenste kubische (of hogere) schaling te bereiken, in plaats van de kwadratische schaling die eenvoudigere perturbaties zouden opleveren.

Belangrijkste Bijdragen en Resultaten

• Optimale Stabiliteit voor Enkele Bubbel ($\nu=1$): Voor het geval van een enkele bubbel ($\nu=1$) stellen de auteurs een scherpe kubische stabiliteitsschatting vast:
  $$\inf_{\lambda > 0} \|u - U_\lambda\|_{D^{1,2}_a}^3 \le C \|H(u)\|_{D^{-1,2}_a}$$
  Ze bewijzen dat deze schatting optimaal is door een sequentie te construeren waarbij de ratio van de fout tot de kubische macht van de afstand begrensd blijft. Bovendien bieden ze een verfijnde schatting voor de orthogonale component van de oplossing, waarbij zij aantonen dat als de oplossing "niet te gedegenereerd" is (voldoet aan een specifieke conditie die de orthogonale en gedegenereerde componenten relateert), een lineaire schatting geldt voor het orthogonale deel.

• Stabiliteit voor Meerdere Bubbel ($\nu \ge 2$): Voor het geval van meerdere bubbels ($\nu \ge 2$) leiden de auteurs een stabiliteitsschatting af voor de orthogonale component van de oplossing, mits de oplossing niet "te gedegenereerd" is. De schatting heeft de vorm:
  $$\|\Pi^\perp_X(u) - \sum U_{\lambda_i}\| \le C F_1(\|H(u)\|)$$
  waarbij $F_1$ afhankelijk is van de dimensie en de exponent $p$. De conditie "niet te gedegenereerd" is noodzakelijk, aangezien de auteurs via een tegenvoorbeeld aantonen dat zonder deze conditie de stabiliteitsschatting faalt.

• Scherpte en Optimaliteit: Het artikel behandelt expliciet de optimaliteit van de afgeleide exponenten. Voor $\nu=1$ wordt aangetoond dat de kubische schatting scherp is. Voor $\nu \ge 2$ stellen de auteurs de geldigheid van de schatting vast onder de niet-gedegenereerde restrictie en tonen zij aan dat deze restrictie optimaal is in bepaalde regimes ($p \ge 3$ of $\nu \ge 2, p > 3$).

Betekenis
De auteurs beweren dat dit werk de eerste instantie van gedegenereerde stabiliteitsresultaten in de kritieke punt-setting vormt voor de Caffarelli-Kohn-Nirenberg ongelijkheid. Voorheen waren kwantitatieve stabiliteitsresultaten grotendeels afhankelijk van niet-gedegenereerde condities. Door succesvol de degeneratie op de Felli-Schneider-curve te navigeren, breidt het artikel de theorie van kwantitatieve stabiliteit uit naar een kritiek grensdomein waar eerdere methoden faalden. De auteurs suggereren dat hun methoden, met name de high-order expansie en de specifieke constructie van testfuncties en perturbatie-sequenties, toepasbaar kunnen zijn op andere problemen die betrokken zijn bij gedegenereerde stabiliteit.

Het artikel concludeert dat hoewel de stabiliteit in de functionele setting (ongelijkheid-stabiliteit) uitgebreid is bestudeerd, de kritieke punt-setting op de Felli-Schneider-curve unieke uitdagingen biedt vanwege het gebrek aan niet-degeneratie, wat dit werk voor de enkelvoudige bubbel-gevallen oplost en gedeeltelijk voor het multi-bubbel-geval onder specifieke condities.