On a necessary condition for removing singularities of solutions of nonlinear elliptic inequalities

Technische Zusammenfassung: Über eine notwendige Bedingung für das Entfernen von Singularitäten von Lösungen nichtlinearer elliptischer Ungleichungen

Problemstellung
Die vorliegende Arbeit untersucht das Entfernen von Singularitäten (Removability) für Lösungen nichtlinearer elliptischer Differentialungleichungen der Form:
$$\Delta^{m/2} u \geq f(x)g(u)$$
definiert in der punktierten Einheitskugel $B_1 \setminus \{0\} \subset \mathbb{R}^n$ ($n \geq 2$), wobei $m \geq 2$ eine gerade ganze Zahl ist. Die Funktionen $f$ und $g$ erfüllen spezifische Regularitäts- und Wachstumsbedingungen: $f \in L^\infty_{loc}(B_1 \setminus \{0\})$ und $g: [0, \infty) \to [0, \infty)$ ist monoton wachsend mit $g(0)=0$ und $g(\zeta) > 0$ für $\zeta > 0$.

Eine Singularität im Ursprung wird als entfernbar definiert, wenn die Lösung $u$ und der Term $f(x)g(|u|)$ in $L^1(B_1)$ liegen, sodass die Ungleichung im Sinne der Distributionen über die gesamte Kugel $B_1$ erfüllt werden kann. Das zentrale Ziel ist es, eine notwendige Bedingung auf die Nichtlinearität $g$ zu etablieren, sodass jede Lösung der Ungleichung eine entfernbare Singularität bei Null besitzt.

Methodik
Die Autoren verwenden einen konstruktiven Ansatz, um zu beweisen, dass, falls eine bestimmte Integralbedingung auf $g$ fehlschlägt, eine nicht-entfernbare Singularität existieren muss. Die Methodik verläuft wie folgt:

1. Reduktion auf radiale ODEs: Das Problem wird von der partiellen Differentialungleichung auf eine radiale gewöhnliche Differentialungleichung reduziert. Durch Nutzung der Eigenschaften des Laplace-Operators in Polarkoordinaten konstruieren die Autoren eine radiale Lösung $u(x) = w(|x|)$, welche die Ungleichung erfüllt, sofern $w$ eine verwandte radiale Problemstellung bezüglich des Operators $\left(\frac{1}{r^{n-1}}\left(r^{n-1}\frac{d}{dr}\right)\right)^{m/2}$ erfüllt.
2. Fixpunkt- und iterative Konstruktion: Der Beweis stützt sich auf Theorem 2.2, welches die Existenz einer positiven, abnehmenden Lösung einer spezifischen radialen Ungleichung auf dem Intervall $(0, 1]$ assertiert. Dies wird erreicht durch:
   • Definition einer Sequenz von Integraloperatoren $A_i$, die auf Funktionen aus dem Stetigkeitsraum wirken.
   • Etablierung von A-priori-Abschätzungen und Ungleichungen (z. B. Gleichungen 2.4–2.11), um das Wachstum und den Zerfall dieser Operatoren zu kontrollieren.
   • Verwendung des Bohl–Brouwer-Fixpunktsatzes, um einen Fixpunkt $w_0$ auf einem Teilintervall $[r_0, 1]$ zu finden.
   • Erweiterung dieser Lösung auf $(0, r_0]$ durch Lösen eines Cauchy-Problems unter Verwendung der Inversen der Nichtlinearität $g^{-1/m}$.
3. Divergenzargument: Der Kern des Arguments beruht auf dem Verhalten des Integrals $\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta$. Falls dieses Integral divergiert, wächst die konstruierte Lösung $w(r)$ beim Annähern an $r \to 0$ ausreichend schnell, sodass $u(x) \notin L^1(B_1)$ gilt, wodurch bewiesen wird, dass die Singularität nicht entfernbar ist.

Wesentliche Beiträge und Ergebnisse
Das primäre Ergebnis ist Theorem 2.1, welches besagt:
Falls $g: (0, \infty) \to (0, \infty)$ eine monoton wachsende, stetige Funktion ist, welche die Divergenzbedingung erfüllt:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta = \infty,$$
dann lässt die Ungleichung $\Delta^{m/2} u \geq f(x)g(u)$ eine positive Lösung mit einer nicht-entfernbaren Singularität bei Null zu, und zwar für jedes $f \in L^\infty_{loc}(B_1 \setminus \{0\})$.

Folglich wird die Bedingung:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta < \infty$$
als eine notwendige Bedingung für die Entfernbarkeit von Singularitäten für jede Lösung der Ungleichung etabliert.

Die Arbeit kontextualisiert dieses Ergebnis durch den Vergleich mit bekannten Bedingungen:

• Für $m=2$ ist die Bedingung äquivalent zur bekannten Keller–Osserman-Blow-up-Bedingung.
• Das Ergebnis generalisiert vorangegangene Befunde für Potenz-Typ-Nichtlinearitäten (z. B. $\Delta u \geq |x|^s u^\lambda$) und logarithmische Nichtlinearitäten und stellt exakte kritische Exponenten wie die Brezis–Véron-Bedingung wieder her.

Bedeutung und Behauptungen
Die Autoren behaupten, dass die Integralbedingung (1.3) (oder deren Verallgemeinerung für $m>2$) nicht hinreichend ist, um die Entfernbarkeit zu garantieren (da sie das Verhalten von $f$ nahe Null oder potenzielle Wachstumsbeschränkungen in linearen Fällen nicht berücksichtigt), aber sie ist strikt notwendig.

Die Arbeit postuliert, dass, falls diese Integralbedingung verletzt wird, man – ungeachtet dessen, wie „klein“ oder wohldefiniert die Koeffizientenfunktion $f$ ist (vorausgesetzt, sie ist lokal beschränkt von Null verschieden) – immer eine Lösung konstruieren kann, die am Ursprung so stark divergiert, dass eine Entfernbarkeit der Singularität verhindert wird. Dies liefert eine scharfe Grenze für die Klasse der Nichtlinearitäten $g$, die das Entfernen von Singularitäten im Kontext höherer nichtlinearer elliptischer Ungleichungen ermöglichen. Die Arbeit klärt die exakte Schwelle zwischen entfernbaren und nicht-entfernbaren Singularitäten, unabhängig von der spezifischen Wahl des Termes $f$.