A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators

Dit artikel bewijst het bestaan van twee niet-triviale zwakke oplossingen met respectievelijk negatieve en positieve energie voor kritieke elliptische problemen die het verschil tussen lokale en niet-lokale operatoren betreffen, voor voldoende kleine waarden van een parameter.

De kern

Stel je voor dat je een heel complexe puzzel probeert op te lossen, waarbij je niet alleen naar de stukjes kijkt die direct naast elkaar liggen, maar ook naar stukjes die ver weg in de doos liggen. Dat is ongeveer wat deze wiskundepaper doet.

De auteurs, Kanishka Perera en Caterina Sportelli, hebben een nieuw soort wiskundig probleem onderzocht. Laten we het probleem en hun ontdekking uitleggen met een paar simpele metaforen.

1. Het Probleem: Twee Krachten die tegenwerken

Stel je een rubberen vel voor dat over een gat (een gebied in de ruimte) gespannen is.

• Kracht A (Lokaal): Dit is als iemand die aan de rand van het vel trekt. Het effect is direct en lokaal. Als je hier duwt, reageert het stukje rubber direct ernaast.
• Kracht B (Niet-lokaal): Dit is als een magische kracht die het hele vel tegelijkertijd beïnvloedt. Als je op één punt duwt, voelt het hele vel dat, zelfs de stukjes die kilometers verderop liggen.

In de wiskunde noemen ze deze krachten "operatoren". Meestal onderzoeken wiskundigen wat er gebeurt als je deze krachten optelt (ze werken samen). Maar in dit artikel kijken ze naar wat er gebeurt als je ze aftrekt. Het is alsof je twee mensen hebt die aan het rubberen vel trekken, maar in precies tegenovergestelde richtingen.

2. De "Kritieke" Situatie

Het probleem is "kritiek", wat betekent dat het vel op het randje staat van uit elkaar te vallen. Het is een heel delicate balans. Als je te hard trekt, scheurt het vel. Als je te zacht trekt, gebeurt er niets.

De vraag is: Hoeveel manieren zijn er om dit vel in een stabiele vorm te krijgen?

3. De Grote Ontdekking: Twee Oplossingen

Vroeger dachten wiskundigen dat er bij zulke delicate situaties vaak maar één manier was om het vel stabiel te houden, of misschien geen enkele.

Maar Perera en Sportelli hebben bewezen dat er altijd twee verschillende manieren zijn om dit op te lossen, zolang je de "kracht" van de tegenwerkende magische kracht (de parameter $\mu$) maar klein genoeg houdt.

Ze noemen deze twee oplossingen:

1. De Negatieve Oplossing: Stel je voor dat het rubberen vel een beetje "zakt" of een putje vormt. De energie in dit systeem is negatief (het is een stabiele, rustige toestand).
2. De Positieve Oplossing: Stel je voor dat het vel een bergje vormt. De energie is hier positief (het is een gespannen, maar nog steeds stabiele toestand).

Het verrassende is: Beide vormen bestaan tegelijkertijd. Je kunt het vel laten zakken of het laten bol staan, en beide zijn geldige, stabiele oplossingen voor hetzelfde probleem.

4. Hoe hebben ze dit bewezen? (De "Abstracte Sleutel")

Het bewijs is heel moeilijk en gebruikt geavanceerde wiskunde die lijkt op het beklimmen van een berglandschap.

• Stel je een landschap voor met valleien (lage energie) en bergen (hoge energie).
• Als je een bal rolt, zoekt hij vanzelf de laagste vallei (de oplossing).
• Soms is er maar één vallei. Maar in dit geval hebben ze een speciale "sleutel" gevonden (een abstracte stelling uit een eerder artikel) die laat zien dat er een heel complex landschap is.
• Ze tonen aan dat er een weg is die over een bergtop gaat (een "mountain pass"), maar dat er ook een andere, diepere weg is die je niet direct ziet.

De auteurs zeggen: "Wanneer de tegenwerkende kracht klein is, vinden we twee verschillende toppen in dit landschap waar de bal kan rusten."

5. Waarom is dit belangrijk?

In de echte wereld worden deze wiskundige modellen gebruikt om dingen te begrijpen zoals:

• Hoe dieren zich verplaatsen in een ecosysteem (soms lokaal, soms ver weg).
• Hoe materialen zich gedragen onder extreme spanning.
• Hoe warmte of stroming zich verspreidt in complexe systemen.

De ontdekking dat er twee mogelijke stabiele toestanden zijn, betekent dat systemen in de natuur misschien meer variatie en complexiteit hebben dan we dachten. Een ecosysteem kan bijvoorbeeld op twee totaal verschillende manieren stabiel zijn, afhankelijk van hoe de krachten precies in evenwicht zijn.

Kort samengevat:
De auteurs hebben bewezen dat wanneer je twee tegenstrijdige krachten (één lokaal, één ver weg) tegen elkaar laat werken op een heel gevoelig systeem, er niet één, maar twee verschillende stabiele uitkomsten mogelijk zijn: één die "omlaag" trekt en één die "omhoog" duwt. Dit is een belangrijke stap in het begrijpen van complexe natuurwetten.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators" van Kanishka Perera en Caterina Sportelli, geschreven in het Nederlands.

Titel en Context

Het artikel onderzoekt kritieke elliptische problemen die de verschil vormen tussen twee niet-lokale operatoren, of tussen een lokale en een niet-lokale operator. Dit is een afwijking van de recente literatuur die zich voornamelijk richtte op de som van dergelijke operatoren. De auteurs tonen aan dat voor kleine waarden van een parameter $\mu$, er twee niet-triviale zwakke oplossingen bestaan: één met negatieve energie en één met positieve energie.

1. Het Onderzochte Probleem

De auteurs bestuderen de volgende niet-lokale elliptische vergelijking op een begrensd domein $\Omega \subset \mathbb{R}^N$:

$$\begin{cases} (-\Delta)^s_p u - \mu (-\Delta)^t_q u = \lambda |u|^{p-2} u + |u|^{p^*_s-2} u & \text{in } \Omega \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega \end{cases}$$

Definities en parameters:

• $(-\Delta)^s_p$: De fractionele $p$-Laplacian (niet-lokaal).
• $(-\Delta)^t_q$: Een tweede fractionele operator met $0 < t < s < 1$en$1 < q < p$.
• $p^*_s = \frac{Np}{N-sp}$: De kritieke Sobolev-exponent.
• $\lambda, \mu > 0$: Parameters.
• De operator $(-\Delta)^s_p$ is gedefinieerd via een singuliere integraal.
• De oplossingen worden gezocht in de ruimte $W^{s,p}_0(\Omega)$, een gesloten lineaire deelruimte van de fractionele Sobolev-ruimte.

De zwakke oplossingen corresponderen met de kritieke punten van het $C^1$-functionaal $E(u)$:
$$E(u) = \frac{1}{p}[u]_{s,p}^p - \frac{\mu}{q}[u]_{t,q}^q - \frac{\lambda}{p}|u|_p^p - \frac{1}{p^*_s}|u|_{p^*_s}^{p^*_s}$$
waarbij $[u]_{s,p}$ de Gagliardo-halfnorm is.

2. Methodologie

De bewijsvoering is gebaseerd op een abstract multipliciteitsresultaat dat eerder is bewezen door Perera [20]. De aanpak omvat de volgende stappen:

1. Abstracte Raamwerk:
   Het probleem wordt geformuleerd als een niet-lineaire operatorvergelijking $A_p u - \mu f(u) = \lambda B_p u + g(u)$ in de duale ruimte $W^*$. De auteurs verifiëren dat de operatoren $A_p, B_p, f, g$ voldoen aan een reeks aannames (A1-G4) die homogeniteit, symmetrie, compactheid en asymptotisch gedrag garanderen.

2. Spectral Theory en Index:
   Er wordt gebruikgemaakt van de $Z_2$-cohomologische index (Fadell en Rabinowitz) om de topologische structuur van de niveauverzamelingen van het functionaal te analyseren. De eigenwaarden van het lineaire probleem $A_p u = \lambda B_p u$ worden geassocieerd met kritieke waarden van een functionaal $\Psi$ op een Finsler-maand $M$.

3. Palais-Smale (PS) Voorwaarde:
   Een cruciaal technisch obstakel bij kritieke problemen is het verlies van compactheid door de kritieke exponent. De auteurs bewijzen (Lemma 3.1) dat het functionaal $E$ voldoet aan de (PS)$_c$-voorwaarde voor energie-niveaus $c$ onder een specifieke drempel:
   $$c < \frac{s}{N} S^{N/sp} - \kappa \mu$$
   Hierbij is $S$ de beste fractionele Sobolev-constante en $\kappa$ een positieve constante. Dit betekent dat convergentie van minimizinge sequenties gegarandeerd is zolang de energie laag genoeg blijft.

4. Constructie van Oplossingen:

   • Geval $0 < \lambda < \lambda_1$: Hier kan een lokaal minimaliseringsargument en de "Mountain Pass"-stelling worden gebruikt.
   • Geval $\lambda > \lambda_1$ (De hoofdcase): Wanneer $\lambda$ groter is dan de eerste eigenwaarde, heeft het functionaal geen Mountain Pass-geometrie meer. De auteurs gebruiken dan het abstracte resultaat (Theorema 2.1) om twee oplossingen te vinden die noch lokale minimalizers zijn, noch van het Mountain Pass-type. Ze zijn "hogere kritieke punten" met niet-triviale hogere kritieke groepen.

5. Topologische Constructie:
   Er wordt een compacte, symmetrische verzameling $C$ geconstrueerd met index $k$ (binnen de subniveau-set $\Psi_\lambda$) en een punt $w_0$ buiten $C$, zodat de supremum van het functionaal op de door $C$ en $w_0$ opgespannen kegel onder de kritieke drempel blijft. Dit maakt het toepassen van de abstracte multipliciteitsstelling mogelijk.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1):
Onder de aannames $0 < t < s < 1$,$1 < q < p < N/s$,$N \geq sp^2$, en$\lambda \in (0, \infty) \setminus \sigma((-\Delta)^s_p)$, bestaan er constanten$\mu_0, \kappa > 0$zodanig dat voor alle$\mu \in (0, \mu_0)$het probleem (1.1) **twee niet-triviale zwakke oplossingen**$u_1$en$u_2$ heeft met de volgende energiewaarden:
$$E(u_1) < 0 < E(u_2) < \frac{s}{N} S^{N/sp} - \kappa \mu$$

Uitbreiding naar het gemengde lokale-niet-lokale geval:
Het artikel behandelt ook het limietgeval $s=1$, waarbij de lokale $p$-Laplacian ($-\Delta_p$) wordt gecombineerd met een niet-lokale operator $(-\Delta)^t_q$. Een analoog multipliciteitsresultaat (Theorema 1.4) wordt bewezen voor dit gemengde probleem.

4. Significatie en Bijdragen

• Nieuw Fenomeen: Het artikel introduceert en analyseert het verschijnsel dat het verschil tussen operatoren (in plaats van de som) leidt tot een specifieke multipliciteit van oplossingen met tegengestelde energie-tekens voor kleine $\mu$.
• Verwerking van Kritieke Exponenten: De bewijzen slagen erin de compactheidsproblemen veroorzaakt door de kritieke Sobolev-exponent te overwinnen, zelfs in de aanwezigheid van een "stoor"-operator (het verschil-term).
• Topologische Methoden: Het werk demonstreert de kracht van cohomologische index-methoden bij het vinden van oplossingen in situaties waar klassieke variatiemethoden (zoals de standaard Mountain Pass) falen, vooral wanneer $\lambda$ boven de eerste eigenwaarde ligt.
• Open Problemen: De auteurs merken op dat het geval $t=s$ (waarbij de inbedding niet-compact is) en het geval $t=1$ in het gemengde scenario nog open problemen zijn, wat de grenzen van de huidige methode aangeeft.

Conclusie

Dit artikel levert een significante bijdrage aan de theorie van niet-lineaire partiële differentiaalvergelijkingen met fractionele en gemengde operatoren. Het bewijst dat voor kleine perturbaties (kleine $\mu$) de structuur van het spectrum van de dominante operator het bestaan van meerdere oplossingen garandeert, zelfs in kritieke situaties. De resultaten zijn robuust en gelden voor zowel zuiver niet-lokale als gemengde lokale/niet-lokale scenario's.