Reversed inequality of the Herbst-type and the related Euler-Lagrange system

Sintesi Tecnica: Disuguaglianza Inversa di tipo Herbst e il Relativo Sistema di Euler-Lagrange

Enunciato del Problema
Questo articolo affronta il caso critico della disuguaglianza di Stein-Weiss inversa, concentrandosi specificamente su una disuguaglianza "di tipo Herbst inversa". Mentre le classiche disuguaglianze di Hardy-Littlewood-Sobolev (HLS) e Stein-Weiss forniscono limiti superiori per operatori integrali con esponenti positivi, e i loro controparti inversi (stabiliti da Dou-Zhu e Chen et al.) forniscono limiti inferiori per operatori con esponenti negativi, la specifica forma critica della disuguaglianza di Herbst che coinvolge kernel pesati con vincoli di esponente specifici non era stata pienamente esplorata nel contesto inverso.

Gli autori investigano la disuguaglianza:
$$\left| \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} |x - y|^{\alpha/q' - n} |y|^{\alpha/q'} g(x)h(y) \, dx dy \right| \geq C_{n,\alpha,p,q'} \|g\|_{L^{q'}(\mathbb{R}^n)} \|h\|_{L^p(\mathbb{R}^n)}$$
dove $n \geq 1$, $p, q' \in (0, 1)$, $\alpha > n$, e i parametri soddisfano la condizione di tipo Sobolev $1/p + 1/q' - 2\alpha/(q'n) = 1$. Gli autori osservano che questa disuguaglianza non può essere coperta dalla precedentemente stabilita disuguaglianza di Stein-Weiss inversa, poiché quest'ultima richiede vincoli di segno specifici sui pesi che non sono soddisfatti qui.

Metodologia
Il documento impiega una combinazione di tecniche di analisi armonica, metodi variazionali e lo studio di sistemi integrali:

1. Dimostrazione della Disuguaglianza (Teorema 1.1):

   • Gli autori utilizzano la disuguaglianza di Young inversa su gruppi localmente compatti (specificamente $\mathbb{R}^n$ con una specifica misura di Haar).
   • Utilizzano tecniche di simmetrizzazione (disuguaglianze di riarrangiamento) per ridurre il problema a funzioni radialmente simmetriche e decrescenti.
   • Per il caso $n=1$, la dimostrazione si basa su un'applicazione diretta della disuguaglianza di Young inversa dopo un cambio di variabili.
   • Per $n \geq 2$, gli autori utilizzano il Lemma 2.3 (un'identità integrale sulla sfera) per gestire l'integrazione angolare, riducendo il problema a una disuguaglianza di convoluzione monodimensionale che viene poi risolta utilizzando la disuguaglianza di Young inversa.

2. Esistenza di Funzioni Estremali (Teorema 1.2):

   • Per dimostrare l'esistenza di una funzione $h$ che raggiunga la costante migliore, gli autori adottano lo schema utilizzato da Lieb per la classica disuguaglianza HLS.
   • Costruiscono una sequenza minimizzante $\{h_j\}$ e utilizzano il riarrangiamento per assumere simmetria radiale e monotonicità.
   • Vengono utilizzati argomenti di scalatura per evitare che la sequenza svanisca o si concentri all'infinito.
   • Il teorema di selezione di Helly e il lemma di Fatou vengono applicati per estrarre una subsequenza convergente e dimostrare che la funzione limite è effettivamente un minimizzatore.

3. Analisi del Sistema di Euler-Lagrange:

   • Le funzioni estreme soddisfano un sistema accoppiato di equazioni integrali:
     $$u(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} v^{-p_2}(y) |y|^\beta \, dy, \quad v(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} u^{-p_1}(y) |x|^\beta \, dy$$
     dove $\beta = \alpha/q'$.
   • Risultati di Non-esistenza: Gli autori utilizzano argomenti di integrabilità locale e per contraddizione (mostrando che le soluzioni sarebbero infinite) per dimostrare che non esistono soluzioni positive in $L^\infty_{\text{loc}}(\mathbb{R}^n \setminus \{0\})$ quando $\beta < n$.
   • Comportamento Asintotico e Integrabilità: Per $\beta > n$, gli autori derivano tassi asintotici precisi ($u(x) \sim |x|^{\beta-n}$, $v(x) \sim |x|^{2\beta-n}$ per $|x| \to \infty$) utilizzando tecniche di stima iterativa. Stabiliscono inoltre le condizioni di integrabilità per i reciproci delle soluzioni.
   • Condizioni Necessarie: Utilizzando un'identità di tipo Pohozaev (derivata tramite integrazione per parti e differenziazione rispetto alla scalatura), dimostrano che la condizione di tipo Sobolev è una condizione necessaria per l'esistenza di soluzioni intere positive differenziabili.

4. Studio del Classico Sistema di Herbst (Teoremi 1.5–1.7):

   • Il documento analizza anche il sistema associato alla standard (non inversa) disuguaglianza di Herbst, che coinvolge potenze positive nell'integrando.
   • Stabiliscono risultati di non-esistenza per super-soluzioni positive quando il prodotto degli esponenti $q_1 q_2 \neq 1$ o quando valgono specifiche disuguaglianze.
   • Dimostrano l'esistenza di super-soluzioni radialmente simmetriche e soluzioni inferiori quando $q_1 q_2 = 1$ e gli esponenti soddisfano specifici vincoli.

Contributi Chiave e Risultati

• Teorema 1.1 (Disuguaglianza di Herbst Inversa): Stabilisce la validità della disuguaglianza di Herbst inversa per $p, q' \in (0, 1)$ e $\alpha > n$, un caso non coperto dalla disuguaglianza di Stein-Weiss inversa.
• Teorema 1.2 (Esistenza di Estremi): Dimostra l'esistenza di funzioni estreme non negative che raggiungono la costante migliore nella disuguaglianza di Herbst inversa.
• Teorema 1.3 (Non-esistenza per $\beta < n$): Mostra che il sistema di Euler-Lagrange associato non ha soluzioni locali limitate positive se l'esponente del peso $\beta$ è minore della dimensione $n$.
• Teorema 1.4 (Asintotica e Integrabilità per $\beta > n$): Caratterizza il comportamento delle soluzioni intere positive quando $\beta > n$, fornendo tassi asintotici netti a zero e all'infinito, e determinando l'integrabilità di $u^{-1}$ e $v^{-1}$. Conferma inoltre la necessità della condizione di tipo Sobolev per le soluzioni differenziabili.
• Teoremi 1.5–1.7 (Analisi del Sistema di Herbst): Fornisce una classificazione completa dell'esistenza e della non-esistenza di super-soluzioni positive per il sistema relativo alla standard disuguaglianza di Herbst, identificando $q_1 q_2 = 1$ come una soglia critica.

Significato
L'articolo sostiene che questi risultati estendono la teoria delle disuguaglianze nette e dei sistemi integrali a un nuovo regime critico che coinvolge disuguaglianze inverse con specifiche strutture di peso. Gli autori sottolineano che mentre la classica disuguaglianza di Herbst (1.9) potrebbe non ammettere funzioni estreme, la sua versione inversa (1.20) le ammette, offrendo una nuova prospettiva sulla struttura variazionale di questi problemi. L'analisi del sistema di Euler-Lagrange fornisce condizioni necessarie per l'esistenza di soluzioni e proprietà qualitative dettagliate (simmetria, integrabilità, asintotica) che sono cruciali per comprendere le forme geometriche di queste funzioni estreme. Il lavoro contribuisce alla comprensione più ampia degli esponenti critici nelle equazioni ellittiche geometriche e nelle equazioni integrali, con potenziali ricadute su problemi riguardanti i limiti dell'energia di Coulomb.