Nonlinear Schrödinger equations with a critical, inverse-square potential

Technische Samenvatting: Niet-lineaire Schrödingervergelijkingen met een Kritiek, Omgekeerd-Kwadratisch Potentiaal

Probleemstelling
Het artikel onderzoekt het bestaan van staande-golfoplossingen voor de niet-lineaire Schrödingervergelijking (NLS) met een kritiek omgekeerd-kwadratisch potentiaal (Hardy-type potentiaal) en een periodieke niet-lineariteit. De specifieke onderzochte vergelijking is:
$$-\Delta u + V(x)u - \frac{(N-2)^2}{4|x|^2}u = f(x, u), \quad x \in \mathbb{R}^N \setminus \{0\}$$
waarbij $N \ge 3$. Het potentiaal $V(x)$ en de niet-lineariteit $f(x, u)$ worden verondersteld $\mathbb{Z}^N$-periodiek te zijn. De coëfficiënt van het singuliere term is kritiek, gelijk aan de optimale constante in de Hardy-ongelijkheid, $\mu = \frac{(N-2)^2}{4}$. De niet-lineariteit $f$ voldoet aan Carathéodory-voorwaarden, is superlineair en vertoont subkritische groei (macht $p \in (2, 2^*)$, waarbij $2^* = \frac{2N}{N-2}$).

Methodologie en Functionele Setting
De auteurs maken gebruik van variatiemethoden om kritieke punten van de bijbehorende energiefunctionaal te vinden. Een primaire uitdaging die wordt aangepakt, is het ontbreken van translatie-invariantie veroorzaakt door het singuliere potentiaalterm $\frac{1}{|x|^2}$, wat de directe toepassing van standaard compactheidsargumenten voorkomt die worden gebruikt in periodieke NLS-problemen.

1. Niet-standaard Functionele Ruimte ($X^1(\mathbb{R}^N)$):
   Vanwege de kritieke coëfficiënt in de Hardy-ongelijkheid is de standaard $H^1(\mathbb{R}^N)$-norm niet equivalent aan de natuurlijke energienorm van het probleem. De auteurs definiëren de ruimte $X^1(\mathbb{R}^N)$ als de voltooide van $H^1(\mathbb{R}^N)$ onder de norm:
   $$\|u\|_{X^1}^2 = \int_{\mathbb{R}^N} \left( |\nabla u|^2 - \frac{(N-2)^2}{4|x|^2}u^2 + u^2 \right) dx$$
   Deze ruimte is een Hilbertruimte die continu inbedt in $H^s(\mathbb{R}^N)$ voor $s \in (0, 1)$ en in $L^t(\mathbb{R}^N)$ voor $t \in [2, 2^*)$. De auteurs maken gebruik van een specifieke norm $\|u\|^2 = [u]^2 + \int V(x)u^2 dx$, die equivalent is aan $\|\cdot\|_{X^1}$ onder de aanname dat $V$ een positieve essentiële infimum heeft.

2. Variatiekader:
   De energiefunctionaal $J: X^1(\mathbb{R}^N) \to \mathbb{R}$ wordt gedefinieerd als:
   $$J(u) = \frac{1}{2}\|u\|^2 - \int_{\mathbb{R}^N} F(x, u) dx$$
   waarbij $F$ de primitieve van $f$ is. De auteurs maken gebruik van een abstracte stelling (gebaseerd op [1]) om Cerami-rijen te genereren op de Nehari-maand. De aannames over $f$ (superlineariteit, subkritische groei en monotonie van $f(x,u)/|u|$) zorgen ervoor dat de functionaal voldoet aan de geometrische voorwaarden die nodig zijn voor het bestaan van dergelijke rijen.

3. Profielontbinding:
   Aangezien de Palais-Smale- en Cerami-compactheidsvoorwaarden niet worden voldaan vanwege het ontbreken van translatie-invariantie in $X^1(\mathbb{R}^N)$, ontwikkelen de auteurs een nieuwe profielontbinding die is aangepast aan deze specifieke structuur.

   • Zij stellen vast dat elke begrensde Cerami-rij $(u_n)$ in $X^1(\mathbb{R}^N)$ kan worden ontbonden in een zwakke limiet $u_0$ (een oplossing van de oorspronkelijke vergelijking) en een eindig aantal "bellen" $u_i$ (oplossingen van de limietvergelijking zonder het singuliere potentiaal, gedefinieerd op $H^1(\mathbb{R}^N)$).
   • Cruciaal bewijzen zij dat het singuliere potentiaalterm verdwijnt in de limiet voor de getranslateerde bellen. Door de energieniveaus van de oorspronkelijke functionaal $J$ en de limietfunctionaal $J_0$ (geassocieerd met de vergelijking $-\Delta u + V(x)u = f(x,u)$) te vergelijken, tonen zij aan dat niet-triviale bellen niet kunnen bestaan op het grondtoestandsenergieniveau.

Belangrijkste Bijdragen en Resultaten

• Bestaan van Grondtoestand: Het hoofdresultaat (Stelling 1.1) stelt het bestaan vast van een grondtoestandsoplossing voor vergelijking (1.2) onder aannames (V) en (F1)–(F4).
• Nieuwe Profielontbinding: Het artikel introduceert een technisch complexe profielontbindingsstelling (Stelling 4.4) die specifiek is toegesneden op de ruimte $X^1(\mathbb{R}^N)$. Deze ontbinding behandelt de niet-translatie-invariante aard van het singuliere potentiaal door aan te tonen dat elke zwakke limiet van een getranslateerde rij een kritiek punt moet zijn van de limietfunctionaal die uitsluitend op $H^1(\mathbb{R}^N)$ is gedefinieerd.
• Herstel van Compactheid: Door energieniveaus te vergelijken ($c$ voor het oorspronkelijke probleem en $c_0$ voor het limietprobleem), tonen de auteurs aan dat $c < c_0$. Deze ongelijkheid dwingt het aantal niet-triviale bellen ($m$) in de profielontbinding tot nul, waardoor sterke convergentie van de Cerami-rij naar een grondtoestand wordt hersteld.

Betekenis en Beweringen
Het artikel beweert het bestaansprobleem op te lossen voor NLS-vergelijkingen met een kritiek omgekeerd-kwadratisch potentiaal in een periodieke setting, een geval dat aanzienlijke moeilijkheden introduceert in vergelijking met subkritische gevallen (waarbij $\mu < \frac{(N-2)^2}{4}$). De auteurs merken op dat de kritieke constante de equivalentie van de natuurlijke norm met de klassieke $H^1$-norm vernietigt en de translatie-invariantie doorbreekt, waardoor standaard compactheidstools niet toepasbaar zijn.

De betekenis ligt in de ontwikkeling van de nieuwe profielontbinding die is aangepast aan de niet-translatie-invariante structuur van $X^1(\mathbb{R}^N)$. Deze aanpak stelt de auteurs in staat niet-triviale zwakke limieten uit te sluiten door gebruik te maken van het energiegat tussen de singuliere en niet-singuliere problemen. Het werk bouwt voort op en breidt eerdere studies uit over subkritische Hardy-potentiaal (bijv. [13], [15]) en de studie van de Berestycki–Lions-vergelijking in deze specifieke functionele setting (bijv. [3]). Het artikel stelt geen nieuwe fysische toepassingen voor, maar biedt eerder een rigoureuze wiskundige raamwerk voor het oplossen van deze specifieke klasse van singuliere elliptische problemen.