Isolated Singularities and Measure Data Problems for Semilinear Equations Driven by Stable Lévy Operators

Technische Zusammenfassung: Isolierte Singularitäten und Maßdatenprobleme für semilineare Gleichungen, die durch stabile Lévy-Operatoren getrieben werden

Problemstellung
Die vorliegende Arbeit untersucht positive Lösungen zu semilinearen Gleichungen, die durch gleichmäßig elliptische, strikt $2s$-stabile Lévy-Operatoren ($s \in (0, 1)$) in einer beschränkten Domäne $D \subset \mathbb{R}^d$ ($d \ge 1$) getrieben werden. Die Untersuchung konzentriert sich auf zwei miteinander verbundene Probleme:

1. Das Problem der isolierten Singularität: Analyse positiver distributioneller Lösungen zu $-Lu = u^p$ in der punktierten Domäne $D \setminus \{0\}$, wobei $L$ der Erzeuger eines strikt $2s$-stabilen Lévy-Prozesses ist. Der Operator $L$ ist über ein Lévy-Maß $\nu$ definiert, das nicht notwendigerweise symmetrisch ist und eine gleichmäßige Nicht-Degeneriertheitsbedingung erfüllt.
2. Das Dirichlet-Problem mit Maßdaten: Untersuchung des äußeren Dirichlet-Problems $-Lu = u^p + k\mu$ in $D$ mit $u=0$ in $D^c$, wobei $\mu$ ein beschränktes positives Borel-Maß und $k > 0$ ein Parameter ist.

Das primäre Ziel besteht darin, die Existenz, die qualitativen Eigenschaften sowie die Entfernbarkeit von Singularitäten sowie die Existenz eines kritischen Parameters $k_\mu$ zu etablieren, welcher die Lösbarkeit steuert, unter allgemeinen strukturellen Annahmen, die anisotrope und nicht-symmetrische stabile Erzeuger einschließen.

Methodik und Neuheit
Die Autoren unterscheiden ihren Ansatz explizit von der bestehenden Literatur zum fraktionalen Laplace-Operator $(-\Delta)^s$. Standardtechniken für den fraktionalen Laplace-Operator stützen sich stark auf:

• Die Caffarelli–Silvestre-Erweiterung (Lokalisierung des nichtlokalen Operators).
• Explizite Formeln und scharfe Punktwertabschätzungen für die Green-Funktion (z. B. $G_D(x,y) \asymp G(x,y)(\delta_D(x)/|x-y|)^s (\delta_D(y)/|x-y|)^s$).
• Die Glattheit der Sprungmaß-Dichte und spezifische Harnacksche Ungleichungen.

Die Arbeit stellt fest, dass diese spezifischen Eigenschaften für allgemeine anisotrope und nicht-symmetrische stabile Lévy-Operatoren nicht verfügbar sind. Infolgedessen entwickeln die Autoren eine Methodik, die auf der probabilistischen Potenztheorie und operator-theoretischen Techniken basiert und dabei die Erweiterungsmethode sowie Punktwertabschätzungen der Green-Funktion vermeidet.

Zentrale methodische Merkmale sind:

• Tail-Räume ($T_\nu(V)$): Um die Nichtlokalität von $L$ zu handhaben, führen die Autoren einen Raum von Funktionen $T_\nu(V)$ ein, der sicherstellt, dass $Lu$ als Distribution wohldefiniert ist. Dieser Raum berücksichtigt die Integrierbarkeit der Lösung außerhalb des Supports der Testfunktion.
• Riesz-Zerlegung und Dynkins Formel: Die Analyse isolierter Singularitäten stützt sich auf Dynkins Formel und den Riesz-Zerlegungssatz für exzessive Funktionen, anstatt auf klassische Regularitätsargumente der partiellen Differentialgleichungen.
• Kompaktheit via Denys-Theorem: Um Lösungen für das Maßdatenproblem ohne explizite Supersolutionen (die aufgrund des Fehlens von Punktwert-Green-Abschätzungen nicht verfügbar sind) zu konstruieren, kombinieren die Autoren das Denys-Theorem mit probabilistischen Argumenten, um die Kompaktheit des nichtlinearen Green-Operators zu etablieren.
• Fixpunkt- und Variationsmethoden: Die Existenz für kleine Parameter wird über den Satz von Schauder abgeleitet. Multiplizität und Stabilitätsresultate im symmetrischen Fall nutzen Variationsmethoden, insbesondere den Satz vom Bergpass (Mountain Pass Theorem) und Energiefunktionale unter Verwendung von Bregman-Divergenzen.

Wesentliche Ergebnisse

1. Entfernbarkeit und Singularitätsstruktur:

   • Jede positive distributionelle Lösung $u$ von $-Lu = u^p$ in $D \setminus \{0\}$ gehört zum Tail-Raum $T_\nu(D)$ und erfüllt $-Lu = u^p + k\delta_0$ in $D$ für ein $k \ge 0$.
   • Entfernbarkeitsschwelle: Wenn $p \ge d/(d-2s)$, dann muss notwendigerweise $k=0$ gelten. Die Singularität ist entfernbar.
   • Asymptotisches Verhalten: Wenn $p < d/(d-2s)$ und $k > 0$, verhält sich die Lösung asymptotisch wie die Green-Funktion $G_D(x, 0)$ nahe dem Ursprung ($k G_D(x, 0) \le u(x) \le c k G_D(x, 0)$). Die Autoren merken an, dass im Gegensatz zum isotropen fraktionalen Laplace-Fall das singuläre Profil nicht notwendigerweise isotrop ($|x|^{2s-d}$) ist, sondern von der Spektralmaß und der Richtung der Annäherung abhängt.

2. Kritischer Parameter und Lösbarkeit:

   • Für das Problem $-Lu = u^p + k\mu$ existiert ein kritischer Parameter $k_\mu \in (0, \infty)$.
   • Subkritisch ($k < k_\mu$): Eine minimale positive Lösung $u_k$ existiert.
   • Superkritisch ($k > k_\mu$): Keine positive Lösung existiert.
   • Kritisch ($k = k_\mu$): Höchstens eine positive Lösung existiert.

3. Symmetrischer Fall (Multiplizität und Stabilität):

   • Unter der Annahme, dass $L$ symmetrisch ist, ist die minimale Lösung $u_k$ für $k < k_\mu$ stabil.
   • Multiplizität: Für jedes $k < k_\mu$ existiert eine zweite positive Lösung $v_k > u_k$.
   • Existenz am Schwellenwert: Eine Lösung existiert bei $k = k_\mu$, was die Eindeutigkeit am kritischen Parameter impliziert.

Bedeutung und Ansprüche
Die Arbeit behauptet, dass ihr wesentlicher Beitrag nicht nur in den Ergebnissen selbst liegt, sondern in den entwickelten Methoden, um diese unter breiten strukturellen Annahmen zu etablieren. Die Autoren führen aus, dass ihre Analyse zeigt, dass die wesentlichen Phänomene der Entfernbarkeit und der kritischen Schwellenwerte auch dann bestehen bleiben, wenn der Operator nicht über die spezifischen analytischen Eigenschaften (explizite Green-Funktionen, Glattheit der Dichten) verfügt, die für die Literatur zum fraktionalen Laplace-Operator typischerweise erforderlich sind.

Durch die Verwendung des getöteten Resolventen und der probabilistischen Potenztheorie stellen die Autoren einen systematischen Rahmen für semilineare nichtlokale Gleichungen bereit, die durch allgemeine stabile Lévy-Operatoren getrieben werden. Die Arbeit erweitert die klassische Theorie isolierter Singularitäten (entwickelt für den Laplace-Operator und den fraktionalen Laplace-Operator durch Autoren wie Lions, Brezis, Véron und Chen-Quaas) auf den anisotropen und nicht-symmetrischen Kontext und überwindet dabei den Mangel an Punktwertabschätzungen durch funktionalanalytische und probabilistische Kompaktheitsargumente.

Die Arbeit schließt mit dem Schluss, dass die „wesentlichen Entfernbarkeits- und Schwellenwertphänomene unter diesen breiten strukturellen Annahmen fortbestehen“, was die Verwendung probabilistischer Werkzeuge als robustes Alternativ zu Erweiterungsmethoden und Punktwertabschätzungen in der nichtlokalen Analysis validiert.