Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

1. Il Problema

Il lavoro si concentra sugli operatori di Schrödinger generalizzati (detti operatori di Hardy) definiti nel semispazio $\mathbb{R}^d_+ = \mathbb{R}^{d-1} \times (0, \infty)$. L'operatore è dato da:
$$L_\lambda^{(\alpha)} := (-\Delta)_{\mathbb{R}^d_+}^{\alpha/2} + \lambda x_d^{-\alpha}$$
dove:

• $(-\Delta)_{\mathbb{R}^d_+}^{\alpha/2}$ è il laplaciano frazionario regionale (o Laplaciano di Dirichlet se $\alpha=2$).
• $\lambda x_d^{-\alpha}$ è un potenziale di Hardy singolare che dipende dalla distanza $x_d$ dal bordo del semispazio.
• $\alpha \in (0, 2]$ e $\lambda$ è una costante di accoppiamento.

L'obiettivo principale è stabilire l'equivalenza delle scale di spazi di Sobolev omogenei generati da $L_\lambda$ rispetto a quelli generati dall'operatore libero $L_0 = (-\Delta)_{\mathbb{R}^d_+}^{\alpha/2}$. Nello specifico, si vuole dimostrare che le norme $\|(L_\lambda)^{s/2}u\|_{L^p}$ e $\|(L_0)^{s/2}u\|_{L^p}$ sono equivalenti per un intervallo di parametri $s, p, d, \alpha, \lambda$.

Questo problema è cruciale perché gli operatori di Hardy appaiono come limiti di scala in problemi fisici complessi (meccanica quantistica a molti corpi, atomi relativistici), e poterli sostituire con il laplaciano frazionario (più gestibile) semplifica enormemente l'analisi.

2. Metodologia

Gli autori estendono i risultati precedenti (limitati al caso $L^2$) a spazi $L^p$ per $p \in (1, \infty)$. La sfida principale risiede nel fatto che per $p \neq 2$, la definizione del dominio di $(L_\lambda)^{s/2}$ non è immediata. Per superare questo ostacolo, il paper adotta una strategia basata su:

• Funzioni Quadratiche Continue (Square Functions): Invece di usare proiezioni di Littlewood-Paley standard, gli autori utilizzano funzioni quadratiche basate sul nucleo di calore $e^{-tL_\lambda}$. Si definisce:
  $$(S_{L_\lambda, \gamma}f)(x) := \left( \int_0^\infty |(tL_\lambda)^\gamma e^{-tL_\lambda}f|^2 \frac{dt}{t} \right)^{1/2}$$
  L'obiettivo è provare che $\|S_{L_\lambda, \gamma}f\|_p \simeq \|f\|_p$.
• Stime del Nucleo di Calore: Viene utilizzato un approccio analitico sofisticato basato su stime puntuali e medie spaziali del nucleo di calore $p_t(x,y)$ di $L_\lambda$. Questi nuclei presentano pesi singolari vicino al bordo ($x_d \to 0$) e decadimento lento.
• Teoremi di Multiplier Spettrale e Teoria degli Integrali Singolari: Per dimostrare la limitatezza delle funzioni quadratiche su $L^p$, si ricorre a criteri di operatori sublineari (teoremi di Auscher) che richiedono stime di decadimento fuori diagonale e proprietà di regolarità dei nuclei.
• Disuguaglianze di Hardy Generalizzate e Inverse: Si dimostrano nuove disuguaglianze che legano il potenziale Hardy $x_d^{-\alpha}$ alle potenze dell'operatore $L_\lambda$.

3. Risultati Chiave

A. Equivalenza delle Norme di Sobolev (Teorema 1.1)

Il risultato principale stabilisce che per $p \in (1, \infty)$ e $s \in (0, 2] \cap (0, 2d/\alpha)$, le norme sono equivalenti:
$$\|(L_\lambda)^{s/2}u\|_{L^p(\mathbb{R}^d_+)} \simeq \|(L_0)^{s/2}u\|_{L^p(\mathbb{R}^d_+)}$$
sotto condizioni specifiche su $p, s, \lambda$.

• La costante di accoppiamento $\lambda$ è parametrizzata da $\sigma$ tramite una funzione $C(\sigma)$.
• L'equivalenza vale per $\lambda \ge 0$ (potenziali repulsivi) e, sotto opportune ipotesi di estensione delle stime del nucleo di calore, anche per $\lambda \in [\lambda_*, 0)$ (potenziali attrattivi), dove $\lambda_*$ è la costante critica di Hardy.
• Il caso $\alpha=2$ (Laplaciano classico) richiede $\lambda \ge -1/4$.

B. Stime delle Funzioni Quadratiche (Teorema 1.4)

Viene provato che la funzione quadratica associata a $L_\lambda$ è limitata su $L^p$ per ogni $1 < p < \infty$:
$$\|S_{L_\lambda, \gamma}f\|_p \simeq \|f\|_p$$
Questo risultato è fondamentale per definire correttamente gli spazi di Sobolev associati a $L_\lambda$ in $L^p$.

C. Disuguaglianza di Hardy Inversa e Generalizzata (Teoremi 1.6 e 1.8)

• Inversa: Fornisce un limite inferiore per il potenziale Hardy in termini di una funzione quadratica che misura la differenza tra i semigruppi di $L_\lambda$ e $L_0$.
• Generalizzata: Stabilisce che l'operatore di moltiplicazione $x_d^{-\alpha s/2}$ è limitato rispetto a $(L_\lambda)^{-s/2}$, permettendo di controllare i pesi singolari tramite l'operatore differenziale.

D. Densità (Teorema 1.10)

Si dimostra che l'insieme $(L_\lambda)^{s/2}C_c^\infty(\mathbb{R}^d_+)$ è denso in $L^p(\mathbb{R}^d_+)$ sotto certe condizioni su $s$ e $p$. Questo è essenziale per estendere i risultati dalle funzioni lisce a funzioni generiche in $L^p$.

4. Contributi Tecnici Specifici

1. Estensione a $L^p$ ($p \neq 2$): Mentre lavori precedenti (es. Frank e Merz, 2023) avevano trattato il caso $L^2$, questo lavoro risolve la complessità tecnica legata alla definizione degli operatori frazionari in spazi $L^p$ non Hilbertiani.
2. Gestione dei Pesi Singolari: Gli autori sviluppano nuove stime per i nuclei di calore e le loro differenze che includono pesi singolari $x_d^\sigma$, permettendo di trattare sia potenziali repulsivi che attrattivi (con le dovute restrizioni).
3. Metodo delle Funzioni Quadratiche Continue: L'uso di funzioni quadratiche basate sul calore invece che su proiezioni spettrali permette di bypassare la necessità di teoremi di multiplier spettrale classici che falliscono in presenza di potenziali singolari forti.
4. Parametrizzazione $\sigma$: L'introduzione di una parametrizzazione precisa della costante di accoppiamento $\lambda$ tramite $\sigma$ permette di descrivere in modo unificato le condizioni di validità per diversi valori di $\alpha$ e $\lambda$.

5. Significato e Implicazioni

• Fisica Matematica: I risultati sono strumenti potenti per lo studio di sistemi quantistici a molti corpi con interazioni critiche, come gli atomi relativistici e il modello di Furry. L'equivalenza delle norme permette di ridurre problemi complessi con operatori di Hardy a problemi con il laplaciano frazionario, per il quale esistono tecniche di analisi consolidate.
• Teoria degli Operatori: Il lavoro estende la comprensione degli spazi di Sobolev omogenei associati a operatori di Schrödinger con potenziali singolari, chiudendo lacune aperte nella letteratura recente.
• Equazioni Differenziali Non Lineari: Le stime ottenute sono fondamentali per dimostrare la ben-postezza globale e lo scattering per equazioni di Schrödinger non lineari (NLS) che coinvolgono potenziali di Hardy o laplaciani su domini con ostacoli.

In sintesi, il paper fornisce un quadro analitico robusto per trattare operatori di Hardy in spazi $L^p$, superando le limitazioni del caso $L^2$ e aprendo la strada a nuove applicazioni nella fisica matematica e nell'analisi armonica.