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

Der Artikel beweist die Existenz von zwei nichttrivialen schwachen Lösungen mit negativem bzw. positivem Energie für kritische elliptische Probleme, die Differenzen lokaler und nichtlokaler Operatoren beinhalten, wobei der Nachweis auf einem abstrakten Ergebnis aus der Literatur basiert.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Architekt, der versucht, ein perfektes Gleichgewicht in einem komplexen Gebäude zu finden. Dieses Gebäude ist nicht aus Ziegeln, sondern aus Mathematik gebaut, und die Bausteine sind sogenannte „elliptische Probleme".

In diesem Papier untersuchen die Autoren Kanishka Perera und Caterina Sportelli ein ganz spezielles, schwieriges Bauvorhaben. Hier ist die Geschichte in einfachen Worten, mit ein paar kreativen Vergleichen:

1. Das Problem: Ein Kampf zwischen zwei Kräften

Stellen Sie sich vor, Sie haben zwei verschiedene Arten von „Kraft", die auf Ihr Gebäude wirken:

• Die lokale Kraft: Das ist wie eine direkte Berührung. Wenn Sie an einer Stelle drücken, spürt nur der direkte Nachbar etwas. In der Mathematik nennen wir das den lokalen Operator (wie die klassische Laplace-Gleichung).
• Die nicht-lokale Kraft: Das ist wie ein unsichtbares Netz oder ein Fernzugriff. Wenn Sie an einer Ecke drücken, spürt es jemand auf der anderen Seite des Gebäudes sofort, auch wenn sie weit entfernt sind. Das ist der nicht-lokale Operator (wie der fraktionale Laplace-Operator).

Normalerweise haben Forscher untersucht, was passiert, wenn diese beiden Kräfte zusammenarbeiten (addiert werden). Aber in diesem Papier schauen sich die Autoren an, was passiert, wenn sie gegeneinander arbeiten (subtrahiert werden). Es ist, als würde ein Motor das Gebäude vorwärts schieben und ein Bremsklotz es gleichzeitig zurückhalten.

2. Die Überraschung: Zwei Lösungen statt einer

Wenn man so ein Gleichungssystem löst, sucht man nach einem „Zustand", der stabil ist (eine sogenannte schwache Lösung).

• Die alte Erwartung: Man dachte vielleicht, es gäbe nur eine stabile Lösung oder gar keine.
• Die neue Entdeckung: Die Autoren zeigen, dass es für sehr kleine Einstellungen eines bestimmten Parameters (nennen wir ihn den „Drehknopf" $\mu$) immer genau zwei verschiedene stabile Zustände gibt!

Das ist wie bei einem Berg, auf dem Sie stehen:

1. Der erste Zustand (Negative Energie): Stellen Sie sich vor, Sie sind in einem tiefen Tal. Das ist ein sehr stabiler Zustand, aber er liegt „unter Null". Das ist eine Lösung, die das System in einen energetisch günstigen, aber negativen Zustand bringt.
2. Der zweite Zustand (Positive Energie): Stellen Sie sich vor, Sie stehen auf einem kleinen Hügel, der höher liegt als das Tal, aber nicht so hoch wie der höchste Gipfel. Das ist eine zweite, völlig andere stabile Lösung.

Das Besondere: Beide Lösungen existieren gleichzeitig, nur weil die „Bremskraft" (der nicht-lokale Teil) sehr schwach ist.

3. Warum ist das schwer? (Der „Bergpass")

In der Mathematik gibt es eine Methode, um solche Lösungen zu finden, die man den „Bergpass" (Mountain Pass) nennt. Man stellt sich vor, man muss von einem Tal zu einem anderen Tal gehen und dabei einen Berg überqueren. Der höchste Punkt auf dem kürzesten Weg ist oft die Lösung.

• Das Problem: Wenn der Parameter $\lambda$ (eine andere Einstellung) zu groß wird, verschwindet dieser klassische „Bergpass". Die Landschaft ändert sich so, dass man den Berg nicht mehr auf die übliche Weise überqueren kann.
• Die Lösung der Autoren: Da der klassische Weg nicht funktioniert, nutzen sie ein neues, abstraktes Werkzeug (ein mathematisches Theorem aus einer anderen Arbeit), das wie ein Helikopter ist. Statt den Berg zu überqueren, fliegen sie einfach über die Landschaft und finden zwei neue, versteckte Punkte, die man vom Boden aus gar nicht sehen würde. Diese Punkte sind mathematisch gesehen „höhere kritische Punkte" – sie sind komplizierter und interessanter als die einfachen Täler.

4. Was bedeutet das für die Welt?

Obwohl das Papier voller Formeln ist, ist die Kernaussche sehr grundlegend:
Es zeigt, dass wenn man zwei unterschiedliche physikalische oder mathematische Gesetze mischt (eines, das nur das Naheliegende kennt, und eines, das das Fernliegende kennt), das System überraschend reichhaltig werden kann. Es bietet nicht nur eine, sondern zwei völlig verschiedene Möglichkeiten, wie sich das System verhalten kann.

Zusammenfassend:
Die Autoren haben bewiesen, dass in einem mathematischen „Kampf" zwischen lokaler und nicht-lokaler Kraft, bei schwacher Bremswirkung, das System zwei verschiedene stabile Zustände einnehmen kann: einen tiefen (negativen) und einen höheren (positiven). Sie haben dafür eine neue mathematische Landkarte gezeichnet, die zeigt, wie man diese versteckten Zustände findet, auch wenn die alten Karten (die klassischen Methoden) versagen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers auf Deutsch:

Titel: Ein Multiplizitätsergebnis für kritische elliptische Probleme, die Differenzen lokaler und nichtlokaler Operatoren betreffen

Autoren: Kanishka Perera und Caterina Sportelli
Veröffentlicht: 25. Oktober 2022 (arXiv:2210.14230v1)

---

1. Problemstellung

Das Paper untersucht eine Klasse von kritischen elliptischen partiellen Differentialgleichungen, die durch die Differenz zweier Operatoren definiert sind. Im Gegensatz zu früheren Arbeiten, die sich auf Summen nichtlokaler Operatoren konzentrierten, betrachtet diese Arbeit das folgende Modellproblem in einem beschränkten Gebiet $\Omega \subset \mathbb{R}^N$:

$$\begin{cases} (-\Delta)_p^s u - \mu (-\Delta)_q^t 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}$$

Wichtige Parameter und Definitionen:

• $(-\Delta)_p^s$: Der fraktionale $p$-Laplace-Operator (nichtlokal).
• $(-\Delta)_q^t$: Ein weiterer fraktionaler Operator mit $0 < t < s < 1$und$1 < q < p < N/s$.
• $p_s^* = \frac{Np}{N-sp}$: Der kritische fraktionale Sobolev-Exponent.
• $\lambda, \mu > 0$: Parameter.
• Der Term $-\mu (-\Delta)_q^t u$ stellt eine Differenz dar, was die Struktur des Problems fundamental von Summen-Problemen unterscheidet.

Das Ziel ist es, die Existenz von zwei nichttrivialen schwachen Lösungen zu beweisen: eine mit negativer Energie und eine mit positiver Energie, für hinreichend kleine Werte des Parameters $\mu$.

Der Fall $s=1$ (gemischtes lokal-nichtlokal Problem mit dem klassischen $p$-Laplace-Operator $-\Delta_p$) wird ebenfalls behandelt.

---

2. Methodik

Die Beweistechnik stützt sich auf eine Kombination aus Variationsmethoden, spektraler Theorie nichtlinearer Operatoren und topologischen Methoden.

A. Variationsformulierung

Die schwachen Lösungen entsprechen den kritischen Punkten des zugehörigen $C^1$-Funktional $E: W_0^{s,p}(\Omega) \to \mathbb{R}$:
$$E(u) = \frac{1}{p} \|u\|^p - \frac{\mu}{q} [u]_{t,q}^q - \frac{\lambda}{p} |u|_p^p - \frac{1}{p_s^*} |u|_{p_s^*}^{p_s^*}$$
Hierbei ist $\|u\|$ die Norm im fraktionalen Sobolev-Raum $W_0^{s,p}(\Omega)$.

B. Das (PS)-Kriterium (Palais-Smale)

Ein zentrales Hindernis bei kritischen Problemen ist der Verlust der Kompaktheit durch die kritische Nichtlinearität $|u|^{p_s^*-2}u$.

• Lemma 3.1: Die Autoren zeigen, dass das Funktional $E$ die (PS)-Bedingung für Energieniveaus $c$ unterhalb einer bestimmten Schwelle erfüllt:
  $$c < \frac{s}{N} S^{N/sp} - \kappa \mu$$
  wobei $S$ die beste fraktionale Sobolev-Konstante ist. Dies wird durch eine sorgfältige Analyse von (PS)-Folgen und die Nutzung der Brézis-Lieb-Lemma erreicht.

C. Abstraktes Multiplizitätsergebnis

Da der Parameter $\lambda$ größer als das erste Eigenwert $\lambda_1$ sein kann, verliert das Funktional die klassische "Mountain-Pass"-Geometrie. Daher wird ein abstraktes Theorem von Perera [20] angewendet:

• Theorem 2.1: Dieses Theorem garantiert die Existenz von zwei Lösungen, wenn das Funktional eine bestimmte topologische Struktur aufweist, die durch den $\mathbb{Z}_2$-Kohomologie-Index (Fadell-Rabinowitz-Index) beschrieben wird.
• Die Lösungen sind weder lokale Minima noch klassische Mountain-Pass-Lösungen, sondern höhere kritische Punkte mit nichttrivialen höheren kritischen Gruppen.

D. Konstruktion der Testfunktionen

Um die Voraussetzungen des abstrakten Theorems zu erfüllen, konstruieren die Autoren:

1. Eine kompakte symmetrische Menge $C$ mit Index $k$ (basierend auf dem Spektrum des Operators).
2. Eine Funktion $w_0$, die lokalisiert ist (Träger in einer kleinen Kugel), um die Energie unter die kritische Schwelle zu drücken.
3. Die Interaktion zwischen diesen Mengen wird durch geschickte Abschätzungen der Sobolev-Normen und der nichtlokalen Terme analysiert.

---

3. Wichtige Beiträge und Ergebnisse

Hauptergebnis (Theorem 1.1)

Unter den Annahmen $0 < t < s < 1$,$1 < q < p < N/s$,$N \ge sp^2$und$\lambda \in (0, \infty) \setminus \sigma((-\Delta)_p^s)$existiert ein$\mu_0 > 0$, sodass für alle$\mu \in (0, \mu_0)$das Problem (1.1) **zwei nichttriviale schwache Lösungen**$u_1, u_2$ besitzt mit:
$$E(u_1) < 0 < E(u_2) < \frac{s}{N} S^{N/sp} - \kappa \mu$$

Ergebnis für den gemischten Fall (Theorem 1.4)

Ein analoges Ergebnis gilt für das gemischte lokal-nichtlokale Problem (mit $s=1$), wobei die kritische Schwelle $\frac{1}{N} S^{N/p}$ ist.

Spezifische Beobachtungen:

• Neues Phänomen: Im Gegensatz zu Summen-Problemen führt die Differenz der Operatoren dazu, dass für kleine $\mu$ zwei Lösungen mit unterschiedlichen Energievorzeichen existieren, selbst wenn $\lambda$ über dem ersten Eigenwert liegt.
• Offene Probleme: Die Autoren weisen darauf hin, dass der Fall $t=s$ (wobei die Einbettung $W_0^{s,p} \not\subset W_0^{s,q}$ gilt) und der Fall $t=1$ (bei $s=1$) aufgrund von Kompaktheitsproblemen noch offen sind.

---

4. Signifikanz und Bedeutung

1. Erweiterung der Theorie: Das Paper füllt eine Lücke in der Literatur, die bisher hauptsächlich Summen nichtlokaler Operatoren untersucht hat. Es zeigt, dass Differenzen von Operatoren zu qualitativ neuen Phänomenen führen (Multiplizität bei kleinen Störungen $\mu$).
2. Methodischer Fortschritt: Die Anwendung des abstrakten Multiplizitätstheorems von Perera [20] auf kritische nichtlokale Probleme demonstriert die Wirksamkeit topologischer Methoden (Kohomologie-Index) jenseits des klassischen Mountain-Pass-Theorems.
3. Robustheit der Lösungen: Die gefundenen Lösungen sind stabil in dem Sinne, dass sie für eine ganze Klasse von Parametern $\lambda$ (außerhalb des Spektrums) existieren und nicht auf spezielle Symmetrien des Gebiets angewiesen sind.
4. Anwendungsbezug: Solche gemischten Operatoren treten in der Modellierung physikalischer und biologischer Prozesse auf, wo sowohl lokale als auch nichtlokale Wechselwirkungen (oder konkurrierende Mechanismen) eine Rolle spielen (wie im Remark 1.7 angedeutet).

Zusammenfassend liefert das Paper einen rigorosen Beweis für die Existenz multipler Lösungen in einem komplexen nichtlinearen Setting und etabliert neue Techniken zur Handhabung von Differenzen nichtlokaler Operatoren in kritischen Fällen.