The weighted $L^2$-Caffarelli-Kohn-Nirenberg inequalities for the curl-free vector fields and second order derivatives: The sharp constants and stability estimates

Technische Samenvatting: Gewogen $L^2$-Caffarelli-Kohn-Nirenberg Ongelijkheden voor Rotatievrije Vectorenvelden en Tweede-orde Afgeleiden

Probleemstelling
Dit artikel onderzoekt de gewogen $L^2$-Caffarelli-Kohn-Nirenberg (CKN) ongelijkheden, waarbij specifiek wordt gefocust op twee verschillende maar gerelateerde contexten:

1. Rotatievrije vectorenvelden: Het vaststellen van scherpe constanten en stabiliteitsschattingen voor ongelijkheden die betrekking hebben op de gradiënt van een vectorveld $U$ (waarbij $U = \nabla u$) en gewogen normen.
2. Tweede-orde afgeleiden: Het bewijzen van scherpe ongelijkheden en stabiliteitsschattingen betrokken bij de Laplaciaan $\Delta u$ en de gradiënt $\nabla u$ met algemene gewichtsparameters $a$ en $b$.

Hoewel scherpe constanten voor eerst-orde CKN-ongelijkheden en specifieke gevallen van tweede-orde ongelijkheden (bijv. het Heisenberg-Pauli-Weyl onzekerheidsprincipe) eerder waren vastgesteld door auteurs zoals Cazacu, Flynn, Lam en anderen, adresseert dit werk de kloof in het bewijzen van deze ongelijkheden voor algemene parameters $a$ en $b$ in de tweede-orde setting en biedt het de eerste stabiliteitsschattingen voor de gewogen CKN-ongelijkheden van rotatievrije vectorenvelden.

Methodologie
De auteurs hanteren een rigoureuze analytische aanpak gecentreerd rond drie hoofdinstrumenten:

1. Sferische Harmonische Decompositie: De primaire methode omvat het decomponeren van functies $u$ en vectorenvelden $U$ in radiale en niet-radiale componenten met behulp van sferische harmonieken. Dit reduceert de meerdimensionale ongelijkheden tot een familie van één-dimensionale integraal-ongelijkheden geïndexeerd door de graad $k$ van de sferische harmonieken.
2. Eén-dimensionale Integraal-ongelijkheden: De kern van het bewijs berust op het vaststellen van scherpe gewogen ongelijkheden voor functies van één variabele. De auteurs maken gebruik van een specifieke lemma (Lemma 2.2) die scherpe constanten levert voor ongelijkheden van de vorm:
   $$\left( \int_0^\infty (f')^2 r^{A-1} dr + C \int_0^\infty f^2 r^{A-3} dr \right) \int_0^\infty f^2 r^{B-1} dr \geq K \left( \int_0^\infty f^2 r^{\frac{A+B}{2}-2} dr \right)^2$$
   Zij bepalen de optimale constante $K$ en de extremale functies expliciet.
3. Stabiliteitsanalyse via Orthogonale Decompositie: Om stabiliteit te bewijzen (het kwantificeren van hoe dicht een functie bij de verzameling extremalen ligt wanneer de ongelijkheid bijna verzadigd is), decomponeren de auteurs de functie in een radiaal deel ($u_r$) en een deel dat orthogonaal staat aan radiale functies ($u_o$). Zij tonen aan dat de scherpe constante strikt verbeterd kan worden voor het niet-radiale deel (Lemma 4.1 en Lemma 5.1). Deze "kloof" maakt het mogelijk om de afstand van de functie tot de verzameling extremalen te begrenzen in termen van het tekort (deficit) van de ongelijkheid.

Belangrijkste Bijdragen en Resultaten

1. Scherpe Gewogen Tweede-orde CKN-ongelijkheden (Theorem 1.1)
De auteurs bewijzen een nieuwe familie van scherpe gewogen $L^2$-CKN ongelijkheden voor tweede-orde afgeleiden. Voor $n \geq 2$ en parameters $a, b$ die voldoen aan specifieke condities (inclusief $(n-2a-2)^2 \geq 8(1+a)(1+2a)$), stellen zij vast:
$$\int_{\mathbb{R}^n} \frac{|\Delta u|^2}{|x|^{2a}} dx \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{2b}} dx \geq C_2(n, a, b)^2 \left( \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{a+b+1}} dx \right)^2$$

• Scherpe Constante: $C_2(n, a, b) = \frac{|a-b+1| + |n+2a|}{2}$.
• Extremale Functies: De gelijkheid wordt bereikt door specifieke radiale functies gedefinieerd via integralen met exponentiële en machtstermen (Vergelijking 1.11).
• Significantie: Dit resultaat complementeert het eerdere werk van Cazacu, Flynn, en Lam (2023) en Duong en Nguyen (2025) door een breder bereik van parameters te dekken en expliciet de tweede-orde Laplaciaan-term te behandelen in plaats van enkel de gradiënt van het vectorveld.

2. Stabiliteit voor Rotatievrije Vectorenvelden (Theorem 1.3)
Het artikel stelt een stabiliteitsversie vast voor de gewogen CKN-ongelijkheid voor rotatievrije vectorenvelden $U = \nabla u$. Het bewijst dat als het "tekort" (het verschil tussen de linker- en rechterzijde van de ongelijkheid) klein is, het vectorenveld $U$ dicht bij de verzameling van extreme vectorenvelden $M_{a,b}$ ligt in een gewogen $L^2$-norm.

• Resultaat: $\delta(U) \geq C \inf_{V \in M_{a,b}} \frac{\|U-V\|_{L^2(|x|^{a+b+1})}^2}{\|U\|_{L^2(|x|^{a+b+1})}^2}$.
• Gevolgen: Dit levert stabiliteitsversies op voor de gewogen Heisenberg-Pauli-Weyl onzekerheidsprincipes en de gewogen Waterstof onzekerheidsprincipes voor rotatievrije vectorenvelden (Corollaries 1.4 en 1.5).

3. Stabiliteit voor Tweede-orde Afgeleiden (Theorem 1.7)
Door de stabiliteitsanalyse uit te breiden naar de tweede-orde ongelijkheid bewezen in Theorem 1.1, tonen de auteurs een vergelijkbare stabiliteitsschatting voor functies $u \in Y_{a,b}(\mathbb{R}^n)$.

• Resultaat: $\delta_{CKN}(u) \geq C \inf_{v \in N_{a,b}} \frac{\|\nabla u - \nabla v\|_{L^2(|x|^{a+b+1})}^2}{\|\nabla u\|_{L^2(|x|^{a+b+1})}^2}$.
• Gevolgen: Dit levert stabiliteitsschattingen voor de gewogen tweede-orde Heisenberg-Pauli-Weyl en Waterstof onzekerheidsprincipes (Corollaries 1.8 en 1.9).

Significantie en Claims
De auteurs positioneren dit werk als een significante vooruitgang in de theorie van functionele ongelijkheden:

• Generalisatie: In tegen tegenstelling tot eerdere resultaten die vaak beperkt waren tot specifieke parameterbereiken (bijv. $b = -a-1$) of vertrouwden op methoden zoals "het uitbreiden van het kwadraat" (die moeilijk te generaliseren zijn), gebruikt dit artikel sferische harmonische decompositie om algemene parameters $a$ en $b$ te behandelen.
• Stabiliteit: Het artikel claimt de eerste stabiliteitsschattingen te bieden voor de gewogen CKN-ongelijkheden specifiek voor rotatievrije vectorenvelden en voor het geval van de tweede-orde afgeleide met algemene gewichten. Eerdere stabiliteitsresultaten waren grotendeels beperkt tot de standaard Sobolev-ongelijkheden of specifieke onzekerheidsprincipes zonder gewichten of met beperkte parameters.
• Methodologische Rigor: Het werk demonstreert de kracht van het combineren van sferische harmonische decompositie met één-dimensionale variationele problemen om scherpe constanten en stabiliteitsschattingen af te leiden, een techniek die de auteurs effectief vinden voor het bestuderen van de scherpe vormen van functionele ongelijkheden.

Het artikel concludeert door op te merken dat hoewel de constante $C$ in de stabiliteitsschattingen expliciet berekenbaar is, deze niet noodzakelijkerwijs optimaal is, wat ruimte laat voor toekomstige verfijning. De resultaten herstellen bekende gevallen (zoals de standaard onzekerheidsprincipes wanneer $a=0$) als specifieke instanties van het meer algemene kader dat gepresenteerd wordt.