Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

Titel en Context

Titel: Exact aantal positieve oplossingen en bestaan van tekenwisselende oplossingen met voorgeschreven massa voor NLS op begrensde domeinen.
Auteurs: Linjie Song en Wenming Zou.
Onderwerp: Niet-lineaire Schrödinger-vergelijkingen (NLS) op een begrensd domein $\Omega \subset \mathbb{R}^N$ met een $L^2$-beperking (voorgeschreven massa).

Het Probleem

De auteurs onderzoeken de volgende elliptische probleemstelling:
Vind $(u, \lambda) \in H^1_0(\Omega) \times \mathbb{R}$ zodanig dat:
$$-\Delta u + \lambda u = |u|^{p-2}u \quad \text{in } \Omega$$
$$\int_{\Omega} |u|^2 dx = \mu$$
waarbij:

• $\Omega$ een begrensd $C^1$-domein is.
• $\mu > 0$ een vastgestelde massa is.
• $\lambda$ een onbekende Lagrange-multiplicator is.
• $p > 2$ een Sobolev-subkritische exponent is ($2 < p < 2^*$, waarbij $2^*$ de kritische Sobolev-exponent is).

Het paper focust op drie regimes voor $p$ ten opzichte van de $L^2$-kritische exponent $p_c = 2 + 4/N$:

1. $L^2$-subkritisch: $2 < p < p_c$.
2. $L^2$-kritisch: $p = p_c$.
3. $L^2$-superkritisch: $p_c < p < 2^*$.

Het centrale vraagstuk is het vinden van tekenwisselende oplossingen (sign-changing solutions) en het bepalen van het exacte aantal positieve oplossingen (vooral in het superkritische geval op de eenheidsbol), evenals het analyseren van het asymptotische gedrag van de energie en de parameter $\lambda$ als de massa $\mu \to 0^+$ of $\mu \to +\infty$.

Methodologie

De auteurs combineren variatiemechanismen, topologische methoden en fijne analyse van de Morse-index. De belangrijkste methodologische pijlers zijn:

1. Genus-theorie (Krasnoselskii-genus):
   Gebruikt om de multipliciteit van oplossingen aan te tonen. Door de symmetrie van het functionaal ($u \to -u$) te benutten, kunnen oneindig veel kritieke punten worden gevonden in de subkritische en kritische gevallen.

2. Minimax-structuren en Saddle-point theorema:
   Voor het superkritische geval wordt een min-max niveau geconstrueerd dat verder gaat dan de standaard "mountain pass" geometrie. Dit omvat het definiëren van paden tussen specifieke sets in de $L^2$-bol $S_\mu(\Omega)$ om oplossingen met hogere energie te vinden.

3. Afdalend Stroomtechnieken (Descending Flow Techniques):
   Een cruciale innovatie in dit werk. De auteurs ontwikkelen een pseudo-gradiëntoperator $V = \text{Id} - G$ (in plaats van de standaard gradiënt) om een stroom te definiëren die de invariance van kegels ($P = \{u \ge 0\}$ en $-P = \{u \le 0\}$) respecteert.

   • Dit stelt hen in staat om aan te tonen dat bepaalde kritieke punten buiten de kegels liggen, en dus tekenwisselend zijn.
   • Dit is essentieel om te bewijzen dat een gevonden oplossing niet degenereren naar een positieve oplossing.

4. Blow-up Analyse en Morse-index Beperking:
   Om het gedrag van oplossingen als $\mu \to 0$ te analyseren, gebruiken ze een beperking op de Morse-index (het aantal negatieve eigenwaarden van de tweede variatie). Dit maakt het mogelijk om de concentratieverschijnselen te bestuderen en te relateren aan de Dirichlet-eigenwaarden van $-\Delta$.

5. Lokalisatie van Palais-Smale rijen:
   Ze ontwikkelen een abstract hulpmiddel (gebaseerd op werk van Jeanjean et al.) om gegarandeerd te krijgen dat de gevonden Palais-Smale rijen zich bevinden in specifieke regio's van de ruimte (buiten de positieve/negatieve kegels), wat essentieel is voor het bewijs van tekenwisseling.

Belangrijkste Resultaten

1. $L^2$-subkritisch en Kritisch Geval ($2 < p \le p_c$)

• Resultaat: Voor elke vaste massa $\mu > 0$ (subkritisch) of voor voldoende kleine $\mu$ (kritisch) bestaan er oneindig veel tekenwisselende oplossingen.
• Energie en Parameter: De energie van deze oplossingen is onbegrensd ($E \to +\infty$) voor een vaste $\mu$ terwijl het indexnummer toeneemt.
• Asymptotisch gedrag ($\mu \to 0^+$): Voor een vaste index $j$, gaat de energie $E(u_{\mu,j}) \to 0$ en convergeert de parameter $-\lambda_{\mu,j}$ naar de $j$-de Dirichlet-eigenwaarde van $-\Delta$ op $\Omega$. Specifiek convergeert de eerste tekenwisselende oplossing naar de tweede eigenwaarde $\lambda_2(\Omega)$.
• Significantie: Dit is een van de eerste resultaten dat oneindig veel tekenwisselende oplossingen met voorgeschreven massa bewijst op begrensde domeinen.

2. $L^2$-superkritisch Geval ($p_c < p < 2^*$)

• Meerdeligheid: Voor elke positieve integer $j$, bestaat er een drempel $\mu^*$ zodanig dat voor $0 < \mu < \mu^*$ er minstens $j$ verschillende tekenwisselende oplossingen bestaan.
• Exact aantal positieve oplossingen (Specifiek voor de eenheidsbol $B_1$):
  • Voor kleine $\mu$ en een niet-lineaire term $\tau|u|^{p-2}u$ met $\tau \in [1/2, 1]$, bewijzen de auteurs dat er exact twee positieve oplossingen bestaan.
  • Gedrag van de twee oplossingen:
    1. De ene oplossing heeft energie die naar 0 gaat en $\lambda \to -\lambda_1(B_1)$ (de eerste eigenwaarde).
    2. De andere oplossing heeft energie en $\lambda$ die beide naar $+\infty$ gaan.
  • Dit resultaat is onafhankelijk van de waarde van $\tau$ (zolang $\tau \in [1/2, 1]$).

3. Existentie van een tekenwisselende oplossing met hoge energie (Superkritisch)

• Resultaat: Voor de eenheidsbol $B_1$ en kleine $\mu$, bestaat er een tekenwisselende oplossing $u_{sc, \mu}$ waarvan zowel de energie als de parameter $\lambda$ naar $+\infty$ gaan als $\mu \to 0^+$.
• Methode: Dit wordt bewezen door de "saddle-point" structuur te combineren met de resultaten over het exacte aantal positieve oplossingen. Als de min-max niveaus samenvallen of verschillen, garandeert de analyse dat de tweede kritieke punt een tekenwisselende oplossing is.

Significantie en Bijdrage

1. Doorbraak in Multipliciteit: Het paper levert het eerste bewijs voor het bestaan van oneindig veel tekenwisselende oplossingen met voorgeschreven massa op begrensde domeinen. Eerdere werken (zoals [20]) vonden oplossingen met een beperkte Morse-index, maar garandeerden niet dat deze tekenwisselend waren, tenzij er geen positieve oplossingen bestonden.
2. Nauwkeurige Kwantificering: Het biedt een scherp inzicht in het exacte aantal positieve oplossingen in het superkritische regime op de eenheidsbol, wat een cruciale stap is voor het begrijpen van de structuur van de oplossingsvariëteit.
3. Technische Innovatie: De ontwikkeling van de afdalende stroomtechniek op een gemanipuleerde variëteit (de $L^2$-bol) met een speciaal ontworpen pseudo-gradiëntoperator is een krachtig nieuw instrument. Dit lost het probleem op dat de standaard gradiënt niet altijd de invariance van de kegels behoudt, vooral wanneer $\lambda$ negatief kan zijn.
4. Asymptotische Analyse: Het paper geeft een volledig beeld van het gedrag van oplossingen bij extreme waarden van de massa ($\mu \to 0$ en $\mu \to \infty$), inclusief de relatie tussen de Lagrange-multiplicator en de spectrum van de Laplaciaan.

Conclusie

Dit werk vult een belangrijke lacune in de theorie van NLS-vergelijkingen met massa-beperkingen op begrensde domeinen. Het combineert diepe topologische methoden met verfijnde analytische technieken om zowel de multipliciteit van tekenwisselende oplossingen als de exacte structuur van positieve oplossingen in het superkritische regime te karakteriseren. De resultaten hebben implicaties voor het begrijpen van fysische systemen die door dergelijke vergelijkingen worden gemodelleerd, waar behoud van massa en tekenwisselende patronen (zoals in kwantumvelden of vloeistofdynamica) van belang zijn.