Singular limit of lattice graphs

Sintesi Tecnica: Limite Singolare di Grafi a Reticolo

Enunciato del Problema
Questo articolo investiga il comportamento asintotico delle soluzioni dell'equazione di Schrödinger non lineare (NLS) su grafi a reticolo $d$-dimensionali ($\mathbb{Z}^d_\varepsilon$) al tendere a zero della lunghezza degli archi $\varepsilon$. La questione centrale è se gli stati fondamentali (minimizzatori dei funzionali di azione ed energia) su queste strutture discrete convergano ai corrispondenti stati fondamentali nello spazio euclideo continuo $\mathbb{R}^d$. Sebbene risultati analoghi per le griglie metriche siano stati stabiliti in lavori precedenti (specificamente [11]), questo studio affronta l'impostazione del grafo a reticolo, la quale presenta sfide analitiche distinte dovute all'assenza di stime dirette di restrizione ed estensione tra funzioni su reticoli e funzioni euclidee. Inoltre, il documento estende l'analisi ai casi sovracritici di Sobolev ($p > 2^*$ per l'azione, $p > 2 + 4/d$ per l'energia) e al caso critico ($p = 2^*$), aree precedentemente inesplorate per i grafi a reticolo.

Metodologia
Gli autori sviluppano un quadro unificato che connette grafi a reticolo, griglie metriche e spazi euclidei attraverso i seguenti passaggi metodologici:

1. Stabilimento di Stime di Restrizione ed Estensione: Un ostacolo tecnico primario è la mancanza di stime dirette tra le funzioni sui grafi a reticolo $V^d_\varepsilon$ e $\mathbb{R}^d$. Per superare ciò, gli autori introducono uno spazio intermedio: la griglia metrica $G^d_\varepsilon$. Essi costruiscono operatori di estensione lineari (che mappano le funzioni del reticolo in funzioni della griglia metrica tramite interpolazione piecewise-affine) e operatori di restrizione (che mappano le funzioni della griglia metrica in valori del reticolo).
2. Equivalenza di Norma e Disuguaglianze: Utilizzando questi operatori, gli autori dimostrano che le norme di Sobolev sui grafi a reticolo e sulle griglie metriche sono equivalenti fino a fattori di scala che coinvolgono $\varepsilon$. Derivano nuove disuguaglianze di tipo Gagliardo-Nirenberg per non linearità concentrate sulle griglie metriche, che sono cruciali per controllare l'interazione tra le scale.
3. Analisi Variazionale: Lo studio impiega metodi variazionali per analizzare il funzionale d'azione $\hat{J}_{\omega, V^d_\varepsilon}$ e il funzionale di energia $\hat{E}_{V^d_\varepsilon}$. Stabilendo che le sequenze di stati fondamentali sui grafi a reticolo formano sequenze minimizzanti per i corrispondenti funzionali su $\mathbb{R}^d$ (dopo opportuna scalatura ed estensione), gli autori utilizzano argomenti di compattezza per provare la convergenza.
4. Gestione dei Casi Sovracritici e Critici: Per esponenti sovracritici ($p > 2^*$), gli autori utilizzano argomenti di scalatura per mostrare che l'infimo del funzionale d'azione su $\mathbb{R}^d$ è zero, portando alla convergenza degli stati fondamentali del reticolo verso lo zero. Per i funzionali di energia nel regime di massa sovracritica, dimostrano la divergenza.

Contributi Chiave e Risultati

• Convergenza nel Regime Subcritico:

  • Stati Fondamentali dell'Azione: Per $2 < p < 2^*$, il documento prova che le estensioni degli stati fondamentali dell'azione sui grafi a reticolo convergono fortemente in $H^1(\mathbb{R}^d)$ all'unico stato fondamentale positivo dell'equazione NLS su $\mathbb{R}^d$. Gli autori forniscono stime precise per il tasso di convergenza, distinguendo tra dimensioni $d=1,2$ e $d \ge 3$, e tra intervalli sub-subcritici e super-subcritici di $p$.
  • Stati Fondamentali dell'Energia: Similmente, per $2 < p < 2 + 4/d$, gli stati fondamentali dell'energia con massa fissata convergono ai corrispondenti stati fondamentali dell'energia su $\mathbb{R}^d$.
  • Raffinamento del Lavoro Precedente: Gli autori migliorano i risultati sul tasso di convergenza di [11] per le griglie metriche stabilendo una nuova disuguaglianza di tipo Gagliardo-Nirenberg, rispondendo a una domanda aperta posta da Dovetta riguardante il tasso $O(\varepsilon^{\frac{d-2}{2}(2^*-p)})$.

• Risultati Sovracritici e di Divergenza:

  • Azione Sovracritica ($d \ge 3, p > 2^*$): Gli autori mostrano che il valore del funzionale d'azione scalato tende a zero, e gli stati fondamentali convergono fortemente a zero in $H^1(\mathbb{R}^d)$.
  • Energia Sovracritica ($d \ge 2, p > 2 + 4/d$): Al contrario del caso subcritico, il documento dimostra che per masse elevate, gli stati fondamentali dell'energia sui grafi a reticolo divergono in $H^1(\mathbb{R}^d)$ al tendere di $\varepsilon \to 0$, con l'energia che tende a $-\infty$.

• Molteplicità dei Punti Critici:

  • Come sottoprodotto dell'analisi del limite singolare, il documento stabilisce un risultato di molteplicità per i punti critici a massa fissata sui grafi a reticolo. Nello specifico, per $d \ge 2$ e $p \in (2 + 4/d, 2^*)$, esistono masse elevate $\mu$ per le quali il funzionale di energia possiede almeno due distinti punti critici positivi: uno è lo stato fondamentale dell'energia e l'altro è uno stato fondamentale dell'azione (che non è uno stato fondamentale dell'energia). Ciò evidenzia un fallimento dell'equivalenza tra stati fondamentali dell'azione e dell'energia sui grafi a reticolo, un fenomeno non osservato nel setting continuo o su certi grafi metrici.

• Costanti Ottimali nelle Disuguaglianze di Gagliardo-Nirenberg:

  • Il documento investiga le costanti strette $K_{q, V^d_1}$ per le disuguaglianze di Gagliardo-Nirenberg sui grafi a reticolo. Dimostra che $K_{q, V^d_1} \ge K_{q, \mathbb{R}^d}$.
  • Crucialmente, per l'intervallo $q \in [2 + 4/d, 2^*)$ (e $q=2^*$ per $d \ge 3$), gli autori provano che $K_{q, V^d_1} = K_{q, \mathbb{R}^d}$.
  • Mostrano inoltre che per $q \in (2 + 4/d, 2^*)$, la costante ottimale sul reticolo non è raggiunta.
  • Il documento risolve un problema aperto riguardante il caso $d \ge 3$ e $q = 2^*$, stabilendo che la costante ottimale sul reticolo è uguale a quella su $\mathbb{R}^d$ (specificamente $K_{2^*, V^d_1} = K_{2^*, \mathbb{R}^d}$), un risultato che contrasta con il comportamento delle disuguaglianze di Sobolev basate su $L^1$ sulle griglie metriche.

Significato e Rivendicazioni
Il documento sostiene di fornire un quadro unificato per studiare problemi di limite singolare sui grafi a reticolo, colmando il divario tra strutture discrete di microscala e modelli continui di macroscala. La sua importanza risiede in:

1. Estensione della Letteratura: Estende sostanzialmente i risultati esistenti coprendo i casi di Sobolev sovracritici e critici, precedentemente non studiati per i grafi a reticolo.
2. Risoluzione di Problemi Aperti: Risponde positivamente a una domanda posta da Dovetta riguardo il tasso di convergenza degli stati fondamentali e stabilisce nuove disuguaglianze di Gagliardo-Nirenberg per il caso dell'esponente critico.
3. Rivelazione di Fenomeni Discreti: Il risultato sulla molteplicità per i punti critici a massa fissata rivela una differenza strutturale tra i grafi a reticolo e i domini continui (o certi grafi metrici), dove gli stati fondamentali dell'azione e dell'energia non sono sempre equivalenti.
4. Implicazioni Numeriche: Gli autori suggeriscono che il risultato mostrando che gli stati fondamentali su grafi finiti possono approssimare quelli su $\mathbb{R}^d$ (Nota 1.5) ha rilevanza per l'analisi numerica.

Il documento mantiene un approccio variazionale rigoroso, basandosi sulla costruzione di specifici operatori di estensione/restrizione e sulla derivazione di nuove disuguaglianze discrete per gestire la mancanza di regolarità inerente alle strutture a reticolo.