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

Problemstellung
Diese Arbeit untersucht die quantitative Stabilität der kritischen Hardy-Hénon-Gleichung, welche die Euler-Lagrange-Gleichung für die klassische Caffarelli-Kohn-Nirenberg (CKN)-Ungleichung darstellt. Insbesondere konzentrieren sich die Autoren auf das Regime, in dem die Parameter $(a, b)$ exakt auf der Felli-Schneider-Kurve liegen ($b = b_{FS}(a)$ mit $a < 0$).

In diesem Zusammenhang ist die Gleichung bekannt dafür, degeneriert zu sein. Im Gegensatz zu den nicht-degenerierten Fällen (wo $a \ge 0$ oder $b > b_{FS}(a)$) besitzt der linearisierte Operator um ein Talenti-Bubble (die positive Lösung) einen nicht-trivialen Kern jenseits der Standard-Skalierungs- und Translationsinvarianzen. Vorherige Arbeiten von Wei und Wu etablierten optimale quantitative Stabilitätsschätzungen für den nicht-degenerierten Fall, die stark auf der Nicht-Degenerationsbedingung basierten. Diese Ergebnisse versagen jedoch auf der Felli-Schneider-Kurve, da die Degeneriertheit verhindert, dass die Standard-Linearschätzungen gelten. Das zentrale Problem, das hier adressiert wird, ist, ob eine geeignete quantitative Stabilitätsschätzung in diesem degenerierten Setting existiert und, falls ja, welche die optimale Form der Stabilitätsfunktion $F$ ist.

Methodik
Die Autoren wenden einen mehrstufigen analytischen Ansatz an:

1. Emden-Fowler-Transformation: Das Problem wird vom euklidischen Raum $\mathbb{R}^n$ auf den Zylinder $\mathcal{C} = \mathbb{R} \times S^{n-1}$ transformiert. Diese Transformation überführt die gewichtete CKN-Ungleichung und die Hardy-Hénon-Gleichung in eine Gagliardo-Nirenberg-Interpolationsungleichung und eine entsprechende semilineare elliptische Gleichung mit konstanten Koeffizienten auf dem Zylinder. Dies vereinfacht die Spektralanalyse und den Umgang mit den Gewichtfunktionen.
2. Lokal-zu-Global-Strategie: Folgend dem Prinzip der globalen Kompaktheit reduzieren die Autoren das globale Stabilitätsproblem auf ein lokales Problem. Sie beweisen, dass die Stabilitätsschätzung lokal gilt, wenn eine Funktion hinreichend nah an einer Summe von Talenti-Bubbles liegt; das globale Ergebnis folgt daraus durch Kombination mit dem Kompaktheitsprinzip.
3. Hochordentliche Expansionstechniken: Um die Degeneriertheit zu handhaben, können sich die Autoren nicht auf zweitordentliche Expansionen verlassen (die in nicht-degenerierten Fällen ausreichen würden). Stattdessen nutzen sie hochordentliche Expansionstechniken (bis zur vierten Ordnung) für die nichtlinearen Terme. Dies beinhaltet das Aufteilen des Integrationsbereichs und die sorgfältige Abschätzung der Restterme unter Verwendung spezifischer Ungleichungen für die Funktion $|x+y|^{p-2}(x+y)$.
4. Spektralanalyse und orthogonale Projektionen: Die Analyse umfasst die Zerlegung der Störung der Lösung in Komponenten, die parallel und orthogonal zum Kern des linearisierten Operators liegen (bezeichnet als $X$ oder $Y$ im Zylinder-Setting). Die Autoren leiten Schätzungen für die orthogonale Komponente ab und analysieren die Wechselwirkung zwischen den degenerierten Richtungen und den nichtlinearen Termen.
5. Konstruktion von Gegenbeispielen/Optimalität: Um die Schärfe ihrer Schätzungen zu beweisen, konstruieren die Autoren spezifische Funktionssequenzen. Diese Konstruktion ist technisch anspruchsvoll; sie beinhaltet die Störung natürlicher Kandidaten mit Lösungen spezieller Schrödinger-Gleichungen, um die gewünschte kubische (oder höhere) Skalierung zu erreichen, anstatt der quadratischen Skalierung, die einfachere Perturbationen liefern würden.

Wesentliche Beiträge und Ergebnisse

• Optimale Stabilität für ein einzelnes Bubble ($\nu=1$): Für den Fall eines einzelnen Bubbles ($\nu=1$) etablieren die Autoren eine scharfe kubische Stabilitätsschätzung:
  $$\inf_{\lambda > 0} \|u - U_\lambda\|_{D^{1,2}_a}^3 \le C \|H(u)\|_{D^{-1,2}_a}$$
  Sie beweisen, dass diese Schätzung optimal ist, indem sie eine Sequenz konstruieren, bei der das Verhältnis des Fehlers zur kubischen Potenz des Abstandes beschränkt bleibt. Darüber hinaus liefern sie eine verfeinerte Schätzung für die orthogonale Komponente der Lösung und zeigen, dass eine lineare Schätzung für den orthogonalen Teil gilt, sofern die Lösung „nicht zu degeneriert“ ist (was eine spezifische Bedingung bezüglich der Beziehung zwischen der orthogonalen und der degenerierten Komponente voraussetzt).

• Stabilität für multiple Bubbles ($\nu \ge 2$): Für den Fall multipler Bubbles ($\nu \ge 2$) leiten die Autoren eine Stabilitätsschätzung für die orthogonale Komponente der Lösung her, vorausgesetzt, die Lösung ist nicht „zu degeneriert“. Die Schätzung hat die Form:
  $$\|\Pi^\perp_X(u) - \sum U_{\lambda_i}\| \le C F_1(\|H(u)\|)$$
  wobei $F_1$ von der Dimension und dem Exponenten $p$ abhängt. Die Bedingung „nicht zu degeneriert“ ist notwendig, da die Autoren mittels eines Gegenbeispiels zeigen, dass die Stabilitätsschätzung ohne diese Bedingung fehlschlägt.

• Schärfe und Optimalität: Die Arbeit adressiert explizit die Optimalität der abgeleiteten Exponenten. Für $\nu=1$ wird gezeigt, dass die kubische Schätzung scharf ist. Für $\nu \ge 2$ etablieren die Autoren die Gültigkeit der Schätzung unter der Nicht-Degenerationsbeschränkung und zeigen, dass diese Beschränkung in bestimmten Regimen ($p \ge 3$ oder $\nu \ge 2, p > 3$) optimal ist.

Bedeutung
Die Autoren behaupten, dass diese Arbeit den ersten Fall von degenierten Stabilitätsergebnissen im kritischen Punkt-Setting für die Caffarelli-Kohn-Nirenberg-Ungleichung darstellt. Zuvor waren quantitative Stabilitätsergebnisse weitgehend von Nicht-Degenerationsbedingungen abhängig. Durch die erfolgreiche Bewältigung der Degeneriertheit auf der Felli-Schneider-Kurve erweitert das Paper die Theorie der quantitativen Stabilität auf einen kritischen Randfall, bei dem bisherige Methoden versagten. Die Autoren legen nahe, dass ihre Methoden, insbesondere die hochordentliche Expansion und die spezifische Konstruktion von Testfunktionen und Perturbationssequenzen, auf andere Probleme mit degenerierter Stabilität anwendbar sein könnten.

Das Paper schließt damit, dass während die Stabilität im funktionalen Setting (Ungleichungsstabilität) umfassend untersucht wurde, das kritische Punkt-Setting auf der Felli-Schneider-Kurve aufgrund des Mangels an Nicht-Degeneriertheit einzigartige Herausforderungen bietet, welche diese Arbeit – für den Fall eines einzelnen Bubbles und teilweise für den Fall multipler Bubbles unter spezifischen Bedingungen – löst.