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

Sintesi Tecnica: Disuguaglianze di Caffarelli-Kohn-Nirenberg pesate $L^2$ per campi vettoriali privi di rotore e derivate del secondo ordine

Enunciato del Problema
Questo articolo investiga le disuguaglianze di Caffarelli-Kohn-Nirenberg (CKN) pesate $L^2$, concentrandosi specificamente su due contesti distinti ma correlati:

1. Campi vettoriali privi di rotore (curl-free): Stabilire costanti nette e stime di stabilità per disuguaglianze che coinvolgono il gradiente di un campo vettoriale $U$ (dove $U = \nabla u$) e norme pesate.
2. Derivate del secondo ordine: Dimostrare disuguaglianze nette e stime di stabilità che coinvolgono il Laplaciano $\Delta u$ e il gradiente $\nabla u$ con parametri di peso generali $a$ e $b$.

Sebbene le costanti nette per le disuguaglianze CKN del primo ordine e casi specifici di disuguaglianze del secondo ordine (ad esempio, il principio di incertezza di Heisenberg-Pauli-Weyl) siano state precedentemente stabilite da autori come Cazacu, Flynn, Lam e altri, questo lavoro affronta la lacuna nel dimostrare tali disuguaglianze per parametri generali $a$ e $b$ nel contesto del secondo ordine e fornisce le prime stime di stabilità per le disuguaglianze CKN pesate per campi vettoriali privi di rotore.

Metodologia
Gli autori impiegano un rigoroso approccio analitico centrato su tre strumenti principali:

1. Decomposizione in armoniche sferiche: Il metodo primario consiste nel decomporre le funzioni $u$ e i campi vettoriali $U$ in componenti radiali e non radiali utilizzando le armoniche sferiche. Ciò riduce le disuguaglianze multidimensionali a una famiglia di disuguaglianze integrali monodimensionali indicizzate dal grado $k$ delle armoniche sferiche.
2. Disuguaglianze integrali monodimensionali: Il cuore della dimostrazione risiede nell'instaurare disuguaglianze pesate nette per funzioni di una singola variabile. Gli autori utilizzano un lemma specifico (Lemma 2.2) che fornisce costanti nette per disuguaglianze della forma:
   $$\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$$
   Essi determinano esplicitamente la costante ottima $K$ e le funzioni estremele.
3. Analisi della stabilità tramite decomposizione ortogonale: Per dimostrare la stabilità (quantificando quanto una funzione sia vicina all'insieme degli estremi quando la disuguaglianza è quasi saturata), gli autori decompongono la funzione in una parte radiale ($u_r$) e una parte ortogonale alle funzioni radiali ($u_o$). Essi dimostrano che la costante netta può essere strettamente migliorata per la parte non radiale (Lemma 4.1 e Lemma 5.1). Questo "gap" permette loro di limitare la distanza della funzione dall'insieme degli estremi in termini del difetto della disuguaglianza.

Contributi Chiave e Risultati

1. Disuguaglianze CKN pesate del secondo ordine nette (Teorema 1.1)
Gli autori dimostrano una nuova famiglia di disuguaglianze CKN pesate $L^2$ nette per derivate del secondo ordine. Per $n \geq 2$ e parametri $a, b$ che soddisfano condizioni specifiche (inclusa $(n-2a-2)^2 \geq 8(1+a)(1+2a)$), essi stabiliscono:
$$\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$$

• Costante Netta: $C_2(n, a, b) = \frac{|a-b+1| + |n+2a|}{2}$.
• Funzioni Estremele: L'uguaglianza è raggiunta da specifiche funzioni radiali definite tramite integrali che coinvolgono termini esponenziali e di potenza (Equazione 1.11).
• Significato: Questo risultato completa il lavoro precedente di Cazacu, Flynn e Lam (2023) e Duong e Nguyen (2025) coprendo un intervallo più ampio di parametri e gestendo esplicitamente il termine del Laplaciano del secondo ordine anziché solo il gradiente del campo vettoriale.

2. Stabilità per campi vettoriali privi di rotore (Teorema 1.3)
L'articolo stabilisce una versione di stabilità per la disuguaglianza CKN pesata per campi vettoriali privi di rotore $U = \nabla u$. Dimostra che se il "difetto" (la differenza tra i lati sinistro e destro della disuguaglianza) è piccolo, il campo vettoriale $U$ è vicino all'insieme dei campi vettoriali estremi $M_{a,b}$ in una norma $L^2$ pesata.

• Risultato: $\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}$.
• Conseguenze: Ciò produce versioni di stabilità per il principio di incertezza di Heisenberg-Pauli-Weyl pesato e per il principio di incertezza dell'Idrogeno pesato per campi vettoriali privi di rotore (Corollari 1.4 e 1.5).

3. Stabilità per derivate del secondo ordine (Teorema 1.7)
Estendendo l'analisi di stabilità alla disuguaglianza del secondo ordine provata nel Teorema 1.1, gli autori mostrano una stima di stabilità simile per le funzioni $u \in Y_{a,b}(\mathbb{R}^n)$.

• Risultato: $\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}$.
• Conseguenze: Questo fornisce stime di stabilità per i principi di incertezza di Heisenberg-Pauli-Weyl e dell'Idrogeno pesati del secondo ordine (Corollari 1.8 e 1.9).

Significato e Rivendicazioni
Gli autori posizionano questo lavoro come un significativo avanzamento nella teoria delle disuguaglianze funzionali:

• Generalizzazione: A differenza dei risultati precedenti, che erano spesso limitati a intervalli specifici di parametri (ad esempio, $b = -a-1$) o si affidavano a metodi come l'"espansione del quadrato" (difficili da generalizzare), questo articolo utilizza la decomposizione in armoniche sferiche per gestire parametri generali $a$ e $b$.
• Stabilità: L'articolo rivendica di fornire le prime stime di stabilità per le disuguaglianze CKN pesate specificamente per campi vettoriali privi di rotore e per il caso della derivata del secondo ordine con pesi generali. I precedenti risultati di stabilità erano ampiamente confinati alla standard disuguaglianza di Sobolev o a specifici principi di incertezza senza pesi o con parametri ristretti.
• Rigore Metodologico: Il lavoro dimostra la potenza di combinare la decomposizione in armoniche sferiche con problemi variazionali monodimensionali per derivare costanti nette e stime di stabilità, una tecnica che gli autori notano essere efficace per studiare le forme nette delle disuguaglianze funzionali.

L'articolo conclude osservando che, sebbene la costante $C$ nelle stime di stabilità sia esplicitamente computabile, non è necessariamente ottimale, lasciando spazio a futuri perfezionamenti. I risultati recuperano i casi noti (come i standard principi di incertezza quando $a=0$) come istanze particolari del quadro più generale presentato.