Concentrated solutions to fractional Schrödinger-Poisson system with non-homogeneous potentials

1. Il Problema Studiato

Il lavoro si concentra sull'analisi delle soluzioni normalizzate (con massa prescritta) per un sistema di Schrödinger-Poisson frazionario in $\mathbb{R}^3$, caratterizzato da potenziali non omogenei e limitati. Il sistema è dato da:
$$\begin{cases} i\partial_t \psi = (-\Delta)^s \psi + V(x)\psi - \phi \psi - a|u|^{p-2}u \\ (-\Delta)^s \phi = \psi^2 \end{cases}$$
dove:

• $s \in (3/4, 1)$ è l'ordine dell'operatore frazionario di Laplace $(-\Delta)^s$.
• $V(x)$ è un potenziale esterno limitato ($V \in L^\infty \cap C^\alpha$) che non assume necessariamente la forma omogenea (es. $|x|^2$) o coercitiva, ma soddisfa condizioni asintotiche locali.
• $a > 0$ è un parametro di interazione e $2 < p < 2 + 4s/3$.

L'obiettivo è studiare le soluzioni stazionarie della forma $\psi(x,t) = e^{-i\mu t}u(x)$, che portano a un sistema accoppiato. Utilizzando il teorema di Lax-Milgram, il sistema viene ridotto a una singola equazione frazionaria non locale:
$$(-\Delta)^s u + V(x)u = \mu u + \phi_u u + a|u|^{p-2}u$$
dove $\phi_u$ è determinato dalla densità di carica $|u|^2$. Lo studio si focalizza sul problema variazionale di minimizzazione dell'energia funzionale $E_a(u)$ vincolata alla massa $\|u\|_2^2 = m$.

2. Metodologia

Gli autori impiegano una combinazione sofisticata di tecniche variazionali e analisi asintotica, affrontando le difficoltà introdotte dalla non località dell'operatore frazionario e dall'assenza di omogeneità del potenziale:

• Metodo Variazionale Vincolato: Le soluzioni sono caratterizzate come minimizzatori del funzionale energetico su una sfera di massa fissa $S_m$.
• Lemmata di Concentrazione-Compattezza: Per dimostrare l'esistenza dei minimizzatori, si utilizza il lemma di concentrazione-compattezza di Lions per escludere i casi di "vanishing" (svanimento) e "dichotomy" (dichotomia) delle sequenze minimizzanti, adattando l'analisi al caso non omogeneo.
• Stime Energetiche Ottimali: Per analizzare il comportamento asintotico quando il parametro di interazione $a \to \infty$, vengono derivate stime energetiche precise. Si introduce un problema di minimizzazione ausiliario per gestire il termine non lineare $L^2$-subcritico, rendendo applicabile la disuguaglianza di Gagliardo-Nirenberg frazionaria.
• Analisi di Blow-up e Riscaling: Si definiscono funzioni riscale $\hat{u}_k$ e parametri $\varepsilon_k$ per studiare il profilo limite delle soluzioni. Si dimostra che le soluzioni si concentrano attorno ai punti globali di minimo del potenziale $V(x)$.
• Unicità Locale e Principio di Confronto: Per provare l'unicità locale dei minimizzatori, gli autori sviluppano un nuovo principio di confronto specifico per equazioni frazionarie, poiché i metodi classici (come Nash-Moser o proprietà dei kernel di Bessel) non sono direttamente applicabili a causa della complessità dell'equazione lineareizzata.
• Identità di Pohozaev Estesa: A causa della non località, l'integrazione per parti standard fallisce. Gli autori utilizzano il metodo di estensione di Caffarelli-Silvestre per trasformare il problema non locale in uno locale in dimensione superiore ($\mathbb{R}^4_+$), permettendo la derivazione di identità di tipo Pohozaev necessarie per l'unicità.

3. Risultati Chiave

A. Esistenza di Soluzioni Normalizzate (Teorema 1.1)

È stato dimostrato che, sotto l'ipotesi che $V(x)$ sia limitato e abbia un limite all'infinito $V_\infty = \sup V(x)$, il problema di minimizzazione ammette almeno un minimizzatore per ogni massa $m > 0$. Questo risultato generalizza lavori precedenti che richiedevano potenziali coercitivi o omogenei.

B. Comportamento Asintotico e Concentrazione (Teorema 1.3)

Per $a \to \infty$, le soluzioni normalizzate mostrano un comportamento di concentrazione:

• Le soluzioni si concentrano attorno ai punti globali di minimo di $V(x)$ (dove $V(x)=0$).
• Il profilo di concentrazione è governato dalla soluzione unica positiva $Q$ dell'equazione limite $( -\Delta)^s Q + Q - Q^{p-1} = 0$.
• È stata stabilita una stima precisa del tasso di concentrazione $\varepsilon_k$ e della posizione del massimo $x_k$, che converge a un punto $x_0$ dipendente dalla struttura locale di $V(x)$ e dal valore minimo di un funzionale ausiliario $H(y)$.

C. Unicità Locale (Teorema 1.4)

Sotto condizioni di non degenerazione sul potenziale (il minimo globale è unico e il punto di concentrazione è un punto critico non degenere di una funzione ausiliaria), è stata provata l'unicità locale dei minimizzatori per $a$ sufficientemente grande. Questo significa che, in un intorno della soluzione limite, non esistono altre soluzioni positive.

4. Contributi Innovativi

1. Rimozione dell'Omogeneità: A differenza della maggior parte della letteratura esistente (inclusi lavori precedenti degli stessi autori su potenziali armonici $|x|^2$), questo lavoro tratta potenziali limitati e non omogenei. Le condizioni sono ridotte a proprietà asintotiche locali vicino ai minimi.
2. Nuove Tecniche per la Non Località:
   • Sviluppo di un nuovo principio di confronto per stimare il decadimento del termine di errore $\hat{\eta}_k$ nell'analisi di unicità.
   • Applicazione sistematica dell'estensione di Caffarelli-Silvestre per derivare identità di Pohozaev in contesti frazionari non omogenei, superando l'impossibilità di usare l'integrazione per parti diretta.
3. Generalizzazione dei Risultati: I risultati migliorano e generalizzano le conoscenze su sistemi Schrödinger-Poisson frazionari, colmando il divario tra i casi autonomi (potenziali costanti) e non autonomi, e tra potenziali coercitivi e limitati.

5. Significato e Impatto

Questo lavoro è significativo per la teoria delle equazioni alle derivate parziali non lineari e frazionarie. Dimostra che le proprietà di concentrazione e unicità delle soluzioni normalizzate sono robuste anche in assenza di simmetrie globali o potenziali illimitati, condizioni spesso necessarie per garantire la compattezza negli spazi funzionali.
Le tecniche sviluppate, in particolare il nuovo principio di confronto e l'uso delle identità di Pohozaev estese, offrono strumenti potenti per lo studio di altri problemi frazionari con potenziali generici, con potenziali applicazioni in fisica dei semiconduttori e nella teoria degli atomi di Bohr frazionari, dove i potenziali reali raramente sono omogenei.