A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

Technische Zusammenfassung: Ein Multiplizitätssatz für nichtlokale elliptische Gleichungen mit geraden Nichtlinearitäten

Problemstellung
Die Arbeit untersucht ein Dirichlet-Randwertproblem für eine Klasse nichtlokaler elliptischer Gleichungen auf einer beschränkten glatten Domäne $\Omega \subset \mathbb{R}^n$. Das Problem, bezeichnet als $(P)$, ist wie folgt formuliert:
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{in } \Omega \\ u = 0 & \text{auf } \partial\Omega \end{cases}$$
Hierbei ist $F(x, t) = \int_0^t f(x, s)ds$, und der nichtlokale Term entsteht durch die Funktion $Q$, die vom Integral von $F$ über die Domäne abhängt. Die Untersuchung konzentriert sich auf die Existenz schwacher Lösungen im Sobolev-Raum $H^1_0(\Omega)$. Das primäre Ziel besteht darin, Bedingungen zu etablieren, unter denen das Problem für Parameter $\lambda$, die in einem geeigneten offenen Intervall liegen, mindestens drei verschiedene schwache Lösungen besitzt.

Methodik und Funktionaler Rahmen
Der Autor verwendet Variationsmethoden, insbesondere die kritische Punkttheorie. Die schwachen Lösungen von $(P)$ werden als kritische Punkte des Energiefunktionals $\Phi: H^1_0(\Omega) \to \mathbb{R}$ identifiziert, definiert als:
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
wobei $\|u\|$ die Standardnorm in $H^1_0(\Omega)$ ist und $J(u)$ den nichtlokalen Term und die Störung $g$ beinhaltet.

Der Kern des Beweises stützt sich auf eine strikte Minimax-Ungleichung und einen Drei-Kritische-Punkte-Satz (referenziert als Theorem 3 in [2]). Die Methodik vollzieht sich durch die folgenden Schritte:

1. Konstruktion eines Hilfsfunktionals: Der Autor führt ein Funktional $P(u, \lambda)$ ein, das eine streng konvexe Funktion $\alpha$, eine stetige ungerade Funktion $\gamma$ und den nichtlokalen Integralterm umfasst.
2. Verifizierung der Minimax-Ungleichung: Die zentrale technische Hürde besteht darin, die strikte Ungleichung zu beweisen:
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   Dies wird durch einen Widerspruchsbeweis erreicht. Der Autor nimmt Gleichheit an und zeigt, dass der daraus resultierende Sattelpunkt $(u^*, \lambda^*)$ zu einem logischen Widerspruch führt. Speziell nutzt der Beweis die Symmetrieeigenschaften der Funktionen (Gerade der Funktion $f$, Ungerade von $\gamma$) und die strikte Konvexität von $\alpha$, um zu zeigen, dass, falls eine Lösung unter der Annahme der Gleichheit existiert, diese trivial sein muss ($u^*=0$), was der Konstruktion des Funktionals für große Parameter widerspricht.
3. Koerzitivität und Stetigkeit: Der Beweis stellt fest, dass das Funktional $u \mapsto \sup_{\lambda} P(u, \lambda)$ schwach sequenziell unterhalb halbkontinuierlich und koerzitiv ist. Dies gewährleistet die Existenz von Minimierern und ermöglicht die Anwendung eines abstrakten kritischen Punkt-Satzes.
4. Perturbation durch $g$: Der letzte Schritt besteht darin, einen Perturbations-Term $g \in \mathcal{A}$ (eine Klasse von Carathéodory-Funktionen mit spezifischen Wachstumsbedingungen) hinzuzufügen. Der Autor zeigt, dass, wenn die Oszillation des Primitivs von $g$ ausreichend klein ist (beschränkt durch eine Konstante $\epsilon^*_\mu$), die strikte Minimax-Ungleichung bewahrt bleibt, was die Multiplizität der Lösungen garantiert.

Wesentliche Annahmen
Das Hauptergebnis (Theorem 1) erfordert die folgenden Bedingungen:

• Nichtlinearität $f$: $f(x, \cdot)$ muss für fast jedes $x$ gerade sein, und die Menge, in der $f$ ungleich Null ist, muss ein Maß größer Null besitzen. Des Weiteren muss $F(x, t)$ eine subquadratische Wachstumsbedingung im Unendlichen erfüllen ($\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$).
• Nichtlinearität $\gamma$: $\gamma$ ist stetig, ungerade, verschwindet nur bei 0, und sein Primitiv erfüllt eine lineare Wachstumsbeschränkung.
• Konvexe Funktion $\alpha$: $\alpha$ ist streng konvex, differenzierbar, mit $\alpha(0)>0$, $\alpha'(0)=0$ und $\alpha'(R)=R$.
• Parameter $\mu$: Der Parameter $\mu$ muss hinreichend groß sein.
• Perturbation $g$: Die Differenz zwischen dem Integral des Supremums und dem Integral des Infimums des Primitivs von $g$ muss kleiner als ein spezifischer Schwellenwert $\epsilon^*_\mu$ sein.

Hauptergebnisse
Das Paper beweist Theorem 1, welches besagt, dass unter den genannten Annahmen ein Schwellenwert $\epsilon^*_\mu > 0$ existiert, sodass für jede Perturbation $g$, die die Bedingung der Kleinheit erfüllt, ein offenes Intervall $A \subseteq \mathbb{R}$ und ein Radius $\rho > 0$ existieren. Für jedes $\lambda \in A$ besitzt das Problem $(P)$ mindestens drei schwache Lösungen in $H^1_0(\Omega)$, die alle eine Norm besitzen, die strikt kleiner als $\rho$ ist.

Bedeutung und Ansprüche
Das Paper positioniert sich als eine „sehr kurze Notiz“ (very short note), die darauf abzielt, ein spezifisches Multiplizitätsresultat für nichtlokale Probleme mit geraden Nichtlinearitäten zu beweisen.

• Neuheit: Der Autor stellt in Bemerkung 1 explizit fest, dass ihm „keine bekannten Ergebnisse bekannt sind, die nah genug an Theorem 1 liegen, um ein angemessener Vergleich gezogen werden zu können.“ Dies deutet darauf hin, dass das Ergebnis eine Lücke in der Literatur bezüglich der spezifischen Kombination aus nichtlokalen Termen, geraden Nichtlinearitäten und der Drei-Lösungen-Multiplizität via strikter Minimax-Ungleichungen schließt.
• Umfang: Die Arbeit ist rein theoretisch und konzentriert sich auf die Existenz von Lösungen innerhalb des Variationsrahmens. Sie schlägt keine numerischen Methoden, spezifischen physikalischen Anwendungen oder zukünftigen experimentellen Richtungen vor. Die Bedeutung liegt in der Erweiterung der kritischen Punkttheorie auf eine spezifische Klasse nichtlokaler elliptischer Gleichungen, bei denen die Nichtlinearität eine gerade Symmetrie aufweist.