An extension of a critical Hardy--Rellich inequality: explicit constants and the sharp weight range

Sintesi Tecnica: Un'Estensione di una Disuguaglianza Critica di Hardy–Rellich

Enunciato del Problema
Questo articolo affronta le disuguaglianze critiche di Hardy–Rellich recentemente stabilite da Castro [1], concentrandosi specificamente sul caso in cui l'esponente $p$ è uguale alla dimensione $N$ ($p=N$). Mentre le classiche disuguaglianze di Hardy e Rellich falliscono al punto critico $p=N$ senza correzioni logaritmiche, Castro ha dimostrato una disuguaglianza critica che coinvolge la quantità $\nabla(u/|x|)$ e l'Hessiano o il Laplaciano di $u$. Tuttavia, due limitazioni significative rimanevano nei risultati di Castro:

1. Le costanti derivate non erano esplicite.
2. L'intervallo dell'esponente di peso $a$ nelle disuguaglianze pesate era limitato ad $a < 1$, il che gli autori identificano come lontano dall'ottimale.

Il problema aperto centrale riguarda la determinazione delle costanti ottime e dell'intervallo netto dell'esponente di peso $a$ per cui queste disuguaglianze sono valide, particolarmente per il caso $p=N$.

Metodologia
Gli autori riformulano il problema utilizzando la trasformazione di Emden–Fowler, introducendo la variabile $t = \log r$ (dove $r = |x|$). Questa trasformazione permette di analizzare le componenti radiali e angolari della disuguaglianza attraverso una singola, classica disuguaglianza di Hardy pesata monodimensionale.

Le fasi metodologiche chiave includono:

• Decomposizione: Il gradiente $\nabla(u/|x|)$ viene scomposto in componenti radiali e tangenziali (sferiche). Gli autori utilizzano limiti puntuali che mettono in relazione queste componenti con l'Hessiano $|D^2u|$.
• Riduzione Monodimensionale: Ponendo $f(t) = \phi(e^t)$, il problema si riduce all'applicazione della disuguaglianza di Hardy pesata netta nella forma:
  $$\int_{\mathbb{R}} |f(t)|^N e^{\mu t} dt \leq \left( \frac{N}{|\mu|} \right)^N \int_{\mathbb{R}} |f'(t)|^N e^{\mu t} dt$$
  Questo sostituisce i risultati di limitatezza ausiliari per gli operatori integrali usati in [1], che si basavano sulla disuguaglianza di Jensen.
• Scissione della Convessità: Per $N \geq 2$, gli autori impiegano una disuguaglianza di convessità $(A+B)^{N/2} \leq 2^{N/2-1}(A^{N/2} + B^{N/2})$ per disaccoppiare i contributi radiali e angolari, stimandoli separatamente prima di combinarli.
• Costruzione di Controesempi: Per dimostrare la nitidezza dell'intervallo, gli autori costruiscono una sequenza di funzioni radiali nella variabile di Emden–Fowler che viola la disuguaglianza all'esponente critico $a=N$.

Contributi Chiave e Risultati

1. Estensione dell'Intervallo del Peso:
   Il saggio dimostra che la disuguaglianza pesata è valida per ogni $a \neq N$, estendendo significativamente il precedente intervallo $a < 1$. Specificamente, per $N \geq 2$ e $a \neq N$, la seguente disuguaglianza è stabilita per $u \in C^\infty_c(\mathbb{R}^N \setminus \{0\})$:
   $$\int_{\mathbb{R}^N} \left| \nabla \left( \frac{u(x)}{|x|} \right) \right|^N |x|^a dx \leq C_{N,a} \int_{\mathbb{R}^N} |D^2 u|^N |x|^a dx$$
   La disuguaglianza fallisce se e solo se $a = N$.

2. Costanti Esplicite:
   Gli autori derivano una costante esplicita $C_{N,a}$ per $N \geq 2$ e $a \notin \{0, N\}$:
   $$C_{N,a} = 2^{N/2-1} \left[ \left( \frac{N}{|a|} \right)^N + \left( \frac{N}{|N-a|} \right)^N \right]$$
   Per il caso monodimensionale ($N=1$), la costante netta è $1/|1-a|$. Gli autori notano che, sebbene questa costante sia esplicita, non si pretende sia la migliore (ottima) a causa del passaggio di convessità usato per separare i termini radiali e angolari.

3. Nitidezza dell'Intervallo:
   Il saggio stabilisce che $a=N$ è l'unico valore critico. A questo valore, la disuguaglianza fallisce anche nello sottospazio delle funzioni radiali. Tale fallimento è attribuito alla scomparsa del peso esponenziale nel problema equivalente monodimensionale, analogamente al fallimento della classica disuguaglianza di Hardy per $p=N$.

4. Estensione al Laplaciano (Intervallo Muckenhoupt):
   Combinando il risultato principale con la disuguaglianza pesata di Calderón–Zygmund, gli autori estendono il risultato alla formulazione del Laplaciano ($\Delta u$) per l'intervallo Muckenhoupt $-N < a < N(N-1)$ (con $a \neq N$). Ciò fornisce una soluzione parziale al Problema Aperto 1 in [1].

Significato e Ambito
Il saggio sostiene di fornire una soluzione parziale ai problemi aperti riguardanti le disuguaglianze critiche di Hardy–Rellich posti in [1]. La primaria significatività risiede nel:

• Rimozione di Restrizioni Artificiali: L'uso della disuguaglianza di Hardy pesata netta, piuttosto che stime basate su Jensen, rimuove il vincolo artificiale $a < 1$, rivelando che la disuguaglianza è valida anche per ogni $a > N$.
• Esplicitezza: Fornire costanti esplicite dove i risultati precedenti erano non costruttivi.
• Chiarificazione della Criticità: Identificare precisamente $a=N$ come l'unico esponente critico in cui la disuguaglianza si interrompe.

Limitazioni e Problemi Aperti
Gli autori rimangono modesti riguardo all'ottimalità delle costanti derivate, notando che il fattore $2^{N/2-1}$ deriva da un passaggio di disaccoppiamento che non massimizza simultaneamente i contributi radiali e angolari. Di conseguenza, determinare le migliori (ottime) costanti per il caso generale rimane un problema aperto (Problema Aperto 1 di [1]).

Inoltre, il saggio non risolve gli analoghi frazionari (Problemi Aperti 2 e 3 di [1]), osservando che l'argomento attuale si basa fortemente sulla struttura della derivata seconda $\partial_{rr}$, che manca di un sostituto diretto non locale per gli operatori frazionari. Infine, la validità della formulazione del Laplaciano (1.6) al di fuori dell'intervallo Muckenhoupt ($a \leq -N$ o $a \geq N(N-1)$) rimane aperta.