Multiple sign-changing and semi-nodal normalized solutions for a Gross-Pitaevskii type system on bounded domains: the $L^2$-supercritical case

Technische Samenvatting: Meervoudige tekenveranderende en semi-nodale genormaliseerde oplossingen voor een Gross-Pitaevskii-type systeem op begrensde domeinen

Probleemstelling
Dit artikel onderzoekt de existentie en multipliciteit van genormaliseerde oplossingen voor een nietlineair gekoppeld elliptisch systeem van het Gross-Pitaevskii-type op een begrensd regulier domein $\Omega \subset \mathbb{R}^N$ (specifiek voor dimensies $N=3,4$). Het systeem wordt gegeven door:
$$\begin{cases} -\Delta u_j + \lambda_j u_j = \mu_j u_j^3 + \sum_{k=1, k \neq j}^m \beta_{kj} u_k^2 u_j, & u_j \in H_0^1(\Omega), \\ \int_\Omega u_j^2 dx = c_j, & j = 1, \dots, m, \end{cases}$$
waarbij $c_j > 0$ voorgeschreven constanten zijn die de $L^2$-normen (massa's) vertegenwoordigen, en $\lambda_j$ onbekende Lagrange-multiplicatoren (chemische potentialen) zijn. De coëfficiënten $\mu_j$ en $\beta_{kj}$ vertegenwoordigen intra-soort en inter-soort verstrooiingslengtes, respectievelijk, en mogen elke niet-nul waarde aannemen (focusing/defocusing, attractief/repulsief, of gemengd).

De studie richt zich op het $L^2$-superkritische regime ($4 > 2 + 4/N$), waarbij de bijbehorende energiefunctie onbegrensd is van onderaf. Het primaire doel is het vaststellen van de existentie van tekenveranderende (alle componenten veranderen van teken) en semi-nodale (sommige componenten veranderen van teken, andere zijn positief) genormaliseerde oplossingen, een klasse van oplossingen waarvoor voorheen resultaten ontbraken op begrensde domeinen voor multi-gekoppelde systemen.

Methodologie
De auteurs maken gebruik van een variationele benadering geconstrueerd op het product-manifold $S_{\vec{c}} = \{ \vec{u} \in H_0^1(\Omega, \mathbb{R}^m) : \int_\Omega u_j^2 = c_j \}$. Het kerntechnische kader omvat:

1. Vector Linking en Partiële Vector Linking: Het artikel introduceert een nieuwe "vector linking"-techniek op product-manifolds.

   • Vector Linking: Gebruikt om minimax-waarden te construeren die tekenveranderende oplossingen opleveren. Dit behelst het linken van een compacte verzameling $A$ (geconstrueerd uit eigenfuncties) aan een deelverzameling $S_k^\perp$ (het orthogonaal complement van een subruimte gespannen door de eerste $k$ eigenfuncties).
   • Partiële Vector Linking: Een nieuwe innovatie, specifiek geïntroduceerd voor semi-nodale oplossingen. Deze techniek linkt een verzameling $A$ aan een deelverzameling $S_{k,d}^\perp$ via een projectiekaart $T_d$ op de eerste $d$ componenten, waardoor het mogelijk is om tekenveranderende componenten te isoleren terwijl andere positief blijven.

2. Flow Invariantie op Product-Manifolds: Om het gebrek aan compactheid en de specifieke geometrie van de restrictie-verzameling te behandelen, generaliseren de auteurs het Brezis-Martin resultaat (oorspronkelijk voor Banach-ruimten) naar een product-manifold setting. Ze construeren een dalende flow (met behulp van gradiënt- of pseudo-gradiënt vectorenvelden) die specifieke invariante verzamelingen behoudt (bijv. verzamelingen waar componenten positief of tekenveranderend zijn). Dit zorgt ervoor dat de minimax kritische punten die verkregen worden hun gewenste nodale eigenschappen behouden.

3. Omgaan met $L^2$-Supercriticaliteit: Vanwege de onbegrensde aard van de energiefunctie beperken de auteurs hun zoektocht tot een begrensde deelverzameling $B_\rho$ van de restrictie-verzameling. Ze stellen nauwkeurige schattingen vast om de existentie van begrensde Palais-Smale sequenties te garanderen en verifiëren de Palais-Smale conditie binnen dit specifieke energibericht, waarbij zij met name aandacht besteden aan het Sobolev kritische geval ($N=4$) waar de inbedding $H_0^1(\Omega) \hookrightarrow L^4(\Omega)$ niet compact is.

4. Bifurcatie Analyse: Het artikel analyseert het asymptotische gedrag van de genormaliseerde oplossingen en Lagrange-multiplicatoren wanneer de massa-vector $\vec{c} \to \vec{0}$. Deze limietanalyse wordt gebruikt om bifurcatiepunten van de triviale oplossing te karakteriseren.

Kernresultaten

• Multipliciteit van Tekenveranderende Oplossingen (Theorem 1.2): Voor elke positieve integer $j$ bestaat er een drempelwaarde $\tilde{c}_j$, zodanig dat als de ratio van de massa's aan een specifieke kleinheidsvoorwaarde voldoet, het systeem ten minste $j$ verschillende tekenveranderende genormaliseerde oplossingen toelaat.
• Multipliciteit van Semi-Nodale Oplossingen (Theorem 1.3): Voor elke integer $d$ ($1 \le d \le m-1$) en elke positieve integer $j$ bestaat er een drempelwaarde $\tilde{c}_{j,d}$, zodanig dat het systeem ten minste $j$ semi-nodale genormaliseerde oplossingen toelaat waarbij de eerste $d$ componenten van teken veranderen en de resterende $m-d$ componenten positief zijn.
• Bifurcatiepunten (Theorems 1.9 & 1.10):
  • De verzameling van niet-triviale bifurcatiepunten (waar niet-triviale oplossingen vertakken vanuit nul) is exact de verzameling vectoren $(\lambda_1, \dots, \lambda_m)$ waar elke $\lambda_i$ een eigenwaarde is van $-\Delta$ op $H_0^1(\Omega)$.
  • De verzameling van semi-triviale bifurcatiepunten (waar oplossingen met enkele nul-componenten vertakken vanuit nul) wordt gekarakteriseerd door de aanwezigheid van ten minste één $\lambda_i$ die een eigenwaarde is. Specifiek komen $d$-semi-triviale bifurcatiepunten overeen met vectoren waar exact $d$ componenten eigenwaarden zijn.
• Generaliteit: De resultaten gelden voor alle regimes van de coëfficiënten $\mu_j$ en $\beta_{kj}$ (puur focusing, puur defocusing, gemengd, attractief, repulsief, of gemengd).

Betekenis en Claims
Het artikel claimt de eerste resultaten in de literatuur te bieden met betrekking tot de existentie en multipliciteit van tekenveranderende en semi-nodale genormaliseerde oplossingen voor multi-gekoppelde Gross-Pitaevskii-systemen op begrensde domeinen.

• Methodologische Innovatie: De auteurs benadrukken dat de "vector linking" methode nog nooit is toegepast op gekoppelde systemen die zowel met vaste massa als met vaste frequentie te maken hebben. De introductie van "partiële vector linking" wordt benadrukt als een nieuwe aanpak voor het construeren van semi-nodale oplossingen.
• Het Gat Dichten: Dit werk adresseert een aanzienlijk gat in de studie van genormaliseerde oplossingen op begrensde domeinen, waar de eerdere literatuur grotendeels beperkt was tot positieve oplossingen of enkelvoudige vergelijkingen.
• Bifurcatie Karakterisering: Het artikel biedt een volledige karakterisering van bifurcatiepunten vanuit de nul-oplossing met betrekking tot de Lagrange-multiplicatoren, een richting die voor dergelijke systemen voorheen onbestudeerd was (in tegen tegenstelling tot het geval van de enkelvoudige vergelijking).

De auteurs merken op dat hun methode robuust genoeg is om te worden gegeneraliseerd naar systemen met meer algemene niet-lineariteiten $f$ en $g$ die niet noodzakelijkerwijs even zijn, en zij stellen expliciet dat hun resultaten een leegte vullen in het theoretische begrip van deze gekoppelde systemen in het $L^2$-superkritische regime.