New solutions to Schrödinger-Poisson-Slater equations in Coulomb-Sobolev spaces

Sintesi Tecnica: Nuove Soluzioni per le Equazioni di Schrödinger–Poisson–Slater in Spazi di Coulomb-Sobolev

Enunciazione del Problema
Il lavoro indaga l'esistenza e la molteplicità di soluzioni per l'equazione alle derivate parziali non lineare e non locale:
$$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = f(|x|, u) \quad \text{in } \mathbb{R}^N,$$
dove $N \ge 2$, $p > 1$, e $\alpha \in (1, N)$. Qui, $I_\alpha$ denota il potenziale di Riesz di ordine $\alpha$. La non linearità $f: [0, \infty) \times \mathbb{R} \to \mathbb{R}$ è una funzione di Carathéodory soggetta a una nuova, ampia classe di ipotesi.

Questa equazione modella un problema a massa nulla che sorge in sistemi quantistici a molti corpi (approssimazioni di Hartree–Fock) e modelli per semiconduttori. A differenza delle varianti a massa positiva, questo problema è naturalmente posto in uno spazio di Coulomb-Sobolev $E_{\alpha, p}(\mathbb{R}^N)$, definito dalla norma:
$$\|u\| = \left[ \int_{\mathbb{R}^N} |\nabla u|^2 dx + \left( \int_{\mathbb{R}^N} |I_{\alpha/2} \star |u|^p|^2 dx \right)^{1/p} \right]^{1/2}.$$
Gli autori lavorano all'interno del sottospazio delle funzioni radiali, $E_{\alpha, p}^{\text{rad}}(\mathbb{R}^N)$, per recuperare le proprietà di compattezza necessarie per i metodi variazionali. Lo studio affronta la perdita di compattezza negli immersioni negli spazi di Lebesgue, governata da esponenti critici come l'esponente di Coulomb-Sobolev $q_{CS} = 2(2p+\alpha)/(2+\alpha)$ e l'esponente radiale $q_{rad}$.

Metodologia
L'innovazione metodologica primaria è un approccio basato sulla scalatura all'interno della teoria dei punti critici. Gli autori adattano tecniche di Mercuri e Perera [28] per gestire situazioni in cui le geometrie variazionali classiche (come la geometria del passo montano o il linking basato su sottospazi lineari) potrebbero non essere presenti o dove la simmetria $Z_2$ è insufficiente.

I componenti metodologici chiave includono:

1. Invarianza di Scalatura: Gli autori identificano un problema agli autovalori non lineare invariante per scalatura:
   $$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = \lambda |u|^{q-2} u,$$
   dove $q = q_{CS}$. Questo problema ammette una successione di autovalori $\{\lambda_k\}$ definiti tramite l'indice coomologico $Z_2$ di Fadell e Rabinowitz, piuttosto che il genere classico.
2. Classificazione delle Non Linearità: Il comportamento della non linearità locale $f$ è classificato rispetto alle proprietà di scalatura del lato sinistro dell'equazione. A seconda del limite di $f(|x|, t)/|t|^{q-2}t$ per $|t| \to \infty$ (o $0$),$f$ è categorizzata come:
   • Sottoscalata: La non linearità è dominata dalla parte principale all'infinito (o allo zero).
   • Asintoticamente Scalata: La non linearità si comporta come un termine agli autovalori all'infinito (o allo zero).
   • Sovrascalata: La non linearità domina la parte principale.
3. Stime dei Gruppi Critici: Utilizzando l'indice coomologico, gli autori derivano nuove stime dei gruppi critici e costruiscono insiemi di linking basati sulla scalatura. Ciò permette la rilevazione di punti critici anche quando il funzionale manca delle simmetrie standard richieste dalle teorie classiche degli indici.
4. Analisi della Compattezza: Il lavoro stabilisce risultati di compattezza (condizioni di Palais-Smale) per il funzionale d'azione associato attraverso vari regimi parametrici ($N, \alpha, p$), affrontando le sfide poste dalla crescita sottoscritta, critica e sovracritica di Sobolev.

Risultati Chiave
Il lavoro stabilisce teoremi di esistenza e molteplicità per il problema a massa nulla sotto varie condizioni di crescita su $f$:

• Esistenza nei Regimi Sottoscalati: Per non linearità che sono "sottoscalate" (dominate dalla parte principale), gli autori dimostrano l'esistenza di almeno una soluzione.
• Molteplicità tramite Risonanza: Quando $f$ è asintoticamente scalata (avvicinandosi a un termine agli autovalori $\lambda |u|^{q-2}u$), l'esistenza di soluzioni non banali dipende dalla posizione di $\lambda$ rispetto agli autovalori $\{\lambda_k\}$.
  • Se $\lambda > \lambda_1$, esiste una soluzione non banale.
  • Se $\lambda > \lambda_2$, esistono due soluzioni non banali.
  • Questi risultati valgono anche se il primitivo del termine di perturbazione è negativo, eliminando la necessità che $\lambda$ sia non risonante in certi casi.
• Casi Sovrascalati e Critici:
  • Nel caso sovrascalato, dove la non linearità domina, gli autori dimostrano l'esistenza di soluzioni non banali sotto condizioni di segno sul primitivo del termine di perturbazione, o introducendo un piccolo parametro.
  • Nel caso critico (che coinvolge l'esponente critico di Sobolev $2^*$), il lavoro dimostra l'esistenza di $m$ coppie distinte di soluzioni per parametri vicini ad autovalori con molteplicità $m$.
  • Il numero di soluzioni può essere reso arbitrariamente grande regolando i parametri (ad esempio, il coefficiente di un termine sottoscritto), con il conteggio delle soluzioni che tende all'infinito all'aumentare del parametro.

Significato e Affermazioni
Gli autori affermano che il loro lavoro estende i risultati recenti di Mercuri e Perera [28] a un intervallo più ampio di parametri $N, \alpha, p$ e a una classe più generale di non linearità $f$. Il significato del lavoro risiede in:

1. Generalizzazione dei Regimi Variazionali: L'introduzione dei termini "sottoscalato", "scalato" e "sovrascalato" fornisce un quadro unificato per classificare regimi variazionali che erano precedentemente trattati separatamente o per nulla. Questa classificazione riflette l'interazione tra la non linearità $f$ e le proprietà di scalatura dell'equazione.
2. Gestione di Geometrie Non Simmetriche e Non Standard: L'approccio permette di trattare problemi in cui il funzionale energetico non esibisce la classica geometria del passo montano o dove la non linearità non è una funzione dispari (impedendo l'uso di teoremi classici di punti critici simmetrici).
3. Cattura della Crescita Sovracritica: Lavorando nello spazio di Coulomb-Sobolev con $p \neq 2$, la metodologia cattura non linearità di crescita sottoscritta, critica e sovracritica di Sobolev, che sono spesso difficili da gestire negli ambienti classici di Sobolev.
4. Analogia con l'Alternativa di Fredholm: La classificazione delle soluzioni basata sulla "risonanza" di $f$ con la successione di autovalori $\{\lambda_k\}$ è descritta come un analogo non lineare dell'alternativa classica di Fredholm.

Il lavoro non propone nuove applicazioni fisiche o proposte sperimentali, ma fornisce piuttosto una fondazione matematica rigorosa per la risoluzione di queste equazioni sotto parametri fisici estesi trovati nella Teoria del Funzionale Densità (DFT) e nei modelli di chimica quantistica. Gli autori notano che, sebbene utilizzino l'ipotesi $2p < 2^*$ in alcuni risultati per garantire la limitatezza delle successioni di Palais-Smale, sperano di rilassare questa condizione in lavori futuri.