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

Technische Samenvatting: Nieuwe Oplossingen voor Schrödinger–Poisson–Slater-vergelijkingen in Coulomb-Sobolev-ruimten

Probleemstelling
Het artikel onderzoekt het bestaan en de veelvoudigheid van oplossingen voor de niet-lineaire en niet-lokale partiële differentiaalvergelijking:
$$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = f(|x|, u) \quad \text{in } \mathbb{R}^N,$$
waarbij $N \ge 2$, $p > 1$, en $\alpha \in (1, N)$. Hierbij staat $I_\alpha$ voor het Riesz-potentieel van orde $\alpha$. De niet-lineariteit $f: [0, \infty) \times \mathbb{R} \to \mathbb{R}$ is een Carathéodory-functie die voldoet aan een nieuwe, brede klasse van aannames.

Deze vergelijking modelleert een probleem met nul-massa dat voortkomt uit kwantum-veldsystemen met veel deeltjes (Hartree–Fock-benaderingen) en halfgeleidermodellen. In tegenstelling tot varianten met positieve massa, is dit probleem van nature gesteld in een Coulomb-Sobolev-ruimte $E_{\alpha, p}(\mathbb{R}^N)$, gedefinieerd door de norm:
$$\|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}.$$
De auteurs werken binnen de deelruimte van radiale functies, $E_{\alpha, p}^{\text{rad}}(\mathbb{R}^N)$, om compactheidseigenschappen te herstellen die noodzakelijk zijn voor variatiemethoden. De studie adresseert het verlies van compactheid in inbeddingen in Lebesgue-ruimten, beheerst door kritieke exponenten zoals de Coulomb-Sobolev-exponent $q_{CS} = 2(2p+\alpha)/(2+\alpha)$ en de radiale exponent $q_{rad}$.

Methodologie
De primaire methodologische innovatie is een schaalgebaseerde aanpak binnen de kritieke-puntentheorie. De auteurs passen technieken toe van Mercuri en Perera [28] om situaties te hanteren waarin klassieke variatiële geometrieën (zoals de mountain-pass-geometrie of koppeling gebaseerd op lineaire deelruimten) mogelijk niet aanwezig zijn, of waar $Z_2$-symmetrie ontoereikend is.

Belangrijke methodologische componenten zijn:

1. Schaalinvariantie: De auteurs identificeren een schaalinvariant niet-lineair eigenwaardeprobleem:
   $$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = \lambda |u|^{q-2} u,$$
   waarbij $q = q_{CS}$. Dit probleem staat een rij eigenwaarden $\{\lambda_k\}$ toe die gedefinieerd zijn via de $Z_2$-cohomologische index van Fadell en Rabinowitz, in plaats van het klassieke genus.
2. Classificatie van Niet-lineariteiten: Het gedrag van de lokale niet-lineariteit $f$ wordt geclassificeerd ten opzichte van de schaal-eigenschappen van het linkerlid van de vergelijking. Afhankelijk van de limiet van $f(|x|, t)/|t|^{q-2}t$ als $|t| \to \infty$ (of $0$), wordt $f$ gecategoriseerd als:
   • Onderschaald: De niet-lineariteit wordt gedomineerd door het hoofdgedeelte op oneindig (of nul).
   • Asymptotisch geschaald: De niet-lineariteit gedraagt zich als een eigenwaarde-term op oneindig (of nul).
   • Overschaald: De niet-lineariteit domineert het hoofdgedeelte.
3. Schattingen van Kritieke Groepen: Door gebruik te maken van de cohomologische index, leiden de auteurs nieuwe schattingen voor kritieke groepen af en construeren ze schaalgebaseerde koppelingssets. Dit maakt het detecteren van kritieke punten mogelijk, zelfs wanneer het functioneel de standaard-symmetrieën mist die vereist zijn voor klassieke indextheorieën.
4. Compactheidsanalyse: Het artikel vestigt compactheidsresultaten (Palais-Smale-voorwaarden) voor het geassocieerde actiefunctioneel over diverse parameterregimes ($N, \alpha, p$), waarbij de uitdagingen worden aangepakt die worden gesteld door Sobolev-subkritieke, kritieke en superkritieke groei.

Belangrijkste Resultaten
Het artikel vestigt bestaan- en veelvoudigheidsstellingen voor het probleem met nul-massa onder diverse groeicondities voor $f$:

• Bestaan in Onderschaalde Regimes: Voor niet-lineariteiten die "onderschaald" zijn (gedomineerd door het hoofdgedeelte), bewijzen de auteurs het bestaan van ten minste één oplossing.
• Veelvoudigheid via Resonantie: Wanneer $f$ asymptotisch geschaald is (naderend tot een eigenwaarde-term $\lambda |u|^{q-2}u$), hangt het bestaan van niet-triviale oplossingen af van de positie van $\lambda$ ten opzichte van de eigenwaarden $\{\lambda_k\}$.
  • Als $\lambda > \lambda_1$, bestaat er een niet-triviale oplossing.
  • Als $\lambda > \lambda_2$, bestaan er twee niet-triviale oplossingen.
  • Deze resultaten gelden zelfs als de primitieve van de perturbatieterm negatief is, waardoor de noodzaak voor $\lambda$ om niet-resonant te zijn in bepaalde gevallen wordt weggenomen.
• Overschaalde en Kritieke Gevallen:
  • In het overschaalde geval, waarbij de niet-lineariteit domineert, bewijzen de auteurs het bestaan van niet-triviale oplossingen onder tekencondities voor de primitieve van de perturbatie, of door een kleine parameter in te voeren.
  • In het kritieke geval (betreffende de kritieke Sobolev-exponent $2^*$), bewijst het artikel het bestaan van $m$ verschillende paren oplossingen voor parameters nabij eigenwaarden met multipliciteit $m$.
  • Het aantal oplossingen kan willekeurig groot worden gemaakt door parameters aan te passen (bijvoorbeeld de coëfficiënt van een subkritieke term), waarbij het aantal oplossingen naar oneindig gaat naarmate de parameter groeit.

Betekenis en Claims
De auteurs claimen dat hun werk recente resultaten van Mercuri en Perera [28] uitbreidt naar een bredere reeks parameters $N, \alpha, p$ en een meer algemene klasse van niet-lineariteiten $f$. De betekenis van het artikel ligt in:

1. Generalisatie van Variatiële Regimes: De introductie van de termen "onderschaald", "geschaald" en "overschaald" biedt een verenigd kader om variatiële regimes te classificeren die eerder afzonderlijk of helemaal niet werden behandeld. Deze classificatie weerspiegelt de interactie tussen de niet-lineariteit $f$ en de schaal-eigenschappen van de vergelijking.
2. Hanteer van Niet-Symmetrische en Niet-standaard Geometrieën: De aanpak maakt de behandeling mogelijk van problemen waarbij het energiefunctioneel geen standaard mountain-pass-geometrie vertoont, of waarbij de niet-lineariteit geen oneven functie is (wat het gebruik van standaard symmetrische kritieke-puntstellingen verhindert).
3. Vastleggen van Superkritieke Groei: Door te werken in de Coulomb-Sobolev-ruimte met $p \neq 2$, vangt de methodologie niet-lineariteiten met Sobolev-subkritieke, kritieke en superkritieke groei, die vaak moeilijk te hanteren zijn in klassieke Sobolev-instellingen.
4. Analogie met Fredholm-alternatief: De classificatie van oplossingen gebaseerd op de "resonantie" van $f$ met de rij eigenwaarden $\{\lambda_k\}$ wordt beschreven als een niet-lineair analogon van het klassieke Fredholm-alternatief.

Het artikel stelt geen nieuwe fysieke toepassingen of experimentele voorstellen voor, maar biedt eerder een rigoureuze wiskundige fundering voor het oplossen van deze vergelijkingen onder uitgebreide fysieke parameters die worden aangetroffen in Dichtheidsfunctionaaltheorie (DFT) en kwantumchemiemodellen. De auteurs merken op dat hoewel ze in sommige resultaten de aanname $2p < 2^*$ gebruiken om de begrensdheid van Palais-Smale-rijen te waarborgen, ze hopen deze voorwaarde in toekomstig werk te versoepelen.