Periodic solutions for p(t)-Lienard equations with a singular nonlinearity of attractive type

Titel: Periodische Lösungen für $p(t)$-Liénard-Gleichungen mit einer singulären nichtlinearen Anziehungskraft

Autoren: Petru Jebelean, Jean Mawhin, Călin Şerban

1. Problemstellung

Das Paper untersucht die Existenz von $T$-periodischen Lösungen für eine verallgemeinerte Liénard-Gleichung, die den $p(t)$-Laplace-Operator und eine singuläre nichtlineare Kraftterm enthält. Das betrachtete Randwertproblem lautet:

$$\begin{cases} (\phi_{p(t)}(u'(t)))' + f(u(t))u'(t) + g(u(t)) = h(t), & t \in [0, T], \\ u(0) - u(T) = 0, \quad u'(0) - u'(T) = 0, \end{cases}$$

wobei:

• $p: [0, T] \to (1, \infty)$ eine stetige Funktion ist mit $p(0) = p(T)$.
• $\phi_{p(t)}(x) = |x|^{p(t)-2}x$ der $p(t)$-Laplace-Operator ist.
• $f: [0, \infty) \to \mathbb{R}$ und $h \in C([0, T]; \mathbb{R})$ stetig sind.
• $g: (0, \infty) \to \mathbb{R}$ stetig ist und eine singuläre Anziehungskraft (attractive singularity) aufweist. Das bedeutet, dass $g(x) \to +\infty$ für $x \to 0^+$.
• Die Lösung $u$ muss strikt positiv sein ($u(t) > 0$ für alle $t$), da $g$ nur auf $(0, \infty)$ definiert ist.

Das Hauptziel ist die Verallgemeinerung bekannter Existenzresultate für den Fall konstanter $p$ (insbesondere $p=2$) auf den Fall eines variablen Exponenten $p(t)$ unter Berücksichtigung der Singularität bei Null.

2. Methodik

Die Autoren verwenden einen topologischen Ansatz, der auf der Methode der Unteren und Oberen Lösungen (Method of Lower and Upper Solutions) basiert, kombiniert mit einem Fortsetzungssatz (Continuation Theorem) von Mawhin.

Die Vorgehensweise gliedert sich in folgende Schritte:

1. Fortsetzungssatz (Theorem 2.3):
   Es wird ein Existenzsatz für die allgemeine Gleichung $(\phi_{p(t)}(u'))' = \ell(t, u, u')$ herangezogen. Dieser Satz garantiert die Existenz einer Lösung in einer offenen Menge $\Omega \subset C^1_T$, falls drei Bedingungen erfüllt sind:

   • (H1) Keine Lösungen auf dem Rand $\partial\Omega$ für die homotopische Familie ($\lambda \in (0,1)$).
   • (H2) Die Gleichung für den Mittelwert $L(a) = 0$ hat keine Lösung auf $\partial\Omega \cap \mathbb{R}$.
   • (H3) Der Brouwer-Grad $\deg_B[L, \Omega \cap \mathbb{R}, 0]$ ist ungleich Null.

2. A-priori-Abschätzungen (Theorem 2.4 & 2.7):
   Um die Menge $\Omega$ zu definieren, werden a-priori-Schranken für Lösungen abgeleitet.

   • Zuerst wird ein Hilfsproblem mit einem Dämpfungsterm $-\varepsilon u$ ($\varepsilon > 0$) betrachtet, um die Existenz und Beschränktheit von Lösungen zu sichern.
   • Anschließend wird der Fall $\varepsilon = 0$ behandelt, um das ursprüngliche Problem zu approximieren. Dabei werden Sobolev-Ungleichungen und Poincaré-Wirtinger-Ungleichungen genutzt, um Schranken für $\|u\|_\infty$ und $\|u'\|_\infty$ unabhängig von bestimmten Parametern zu erhalten.

3. Methode der Unteren und Oberen Lösungen (Theorem 3.3):
   Ein zentrales Ergebnis des Papers ist der direkte Beweis der Methode der Unteren ($\alpha$) und Oberen ($\beta$) Lösungen für den $p(t)$-Laplace-Fall.

   • Eine untere Lösung $\alpha$ erfüllt die Ungleichung $(\phi_{p(t)}(\alpha'))' + f(\alpha)\alpha' + g(\alpha) \geq h(t)$.
   • Eine obere Lösung $\beta$ erfüllt die umgekehrte Ungleichung.
   • Durch Konstruktion eines modifizierten Problems (mittels einer Truncierungsfunktion $\gamma(t, x)$) wird gezeigt, dass zwischen $\alpha$ und $\beta$ eine echte Lösung existiert.

4. Konstruktion der Lösungen:

   • Untere Lösung: Wird direkt durch eine Konstante $\alpha > 0$ konstruiert, basierend auf den Bedingungen an $g$.
   • Obere Lösung: Wird durch eine Konstante $c$ plus eine Lösung eines Hilfsproblems (Typ (2.12)) konstruiert. Die Existenz dieser Hilfslösung wird durch Proposition 2.8 gesichert, welche eine uniforme Schranke für die Lösung liefert, die unabhängig von der Verschiebung $c$ ist.

3. Hauptergebnisse

Das Paper liefert folgende zentrale Sätze:

• Theorem 4.1 (Hauptexistenzsatz):
  Unter der Annahme, dass es eine Konstante $\alpha > 0$ gibt mit $g(\alpha) \geq \max_{[0,T]} h(t)$ und dass
  $$\limsup_{x \to +\infty} g(x) < \bar{h} \quad (\text{Mittelwert von } h)$$
  gilt, existiert mindestens eine $T$-periodische Lösung $u$ mit $u(t) \geq \alpha$ für alle $t \in [0, T]$.

• Korollar 4.3 (Charakterisierung für singuläre Anziehung):
  Falls $g(x) \to +\infty$ für $x \to 0^+$ und $g(x) \to 0$ für $x \to +\infty$, dann hat das Problem (1.1) genau dann eine positive Lösung, wenn der Mittelwert von $h$ strikt positiv ist ($\bar{h} > 0$).

• Beispiel 4.4:
  Die Ergebnisse werden auf spezifische singuläre Terme wie $g(u) = \sigma u^{-\mu}$ (mit $\sigma, \mu > 0$) angewendet. Auch hier gilt: Eine Lösung existiert genau dann, wenn $\bar{h} > 0$.

4. Technische Beiträge und Innovationen

1. Verallgemeinerung auf variable Exponenten:
   Während frühere Arbeiten (z.B. [7]) den Fall konstanter $p$ behandelten, erweitern die Autoren die Theorie auf den $p(t)$-Laplace-Operator. Dies erfordert sorgfältige Anpassungen der a-priori-Abschätzungen, da die Wachstumsbedingungen von $|u'|^{p(t)-2}$ variieren.

2. Behandlung der Singularität:
   Der Fokus liegt auf der attraktiven Singularität ($g(x) \to +\infty$). Die Autoren zeigen, wie die Methode der Unteren und Oberen Lösungen trotz der Definitionslücke bei $x=0$ angewendet werden kann, indem Lösungen strikt positiv gehalten werden.

3. Direkter Beweis der Methode der Unteren/Oberen Lösungen:
   Anstatt sich ausschließlich auf allgemeine Existenzsätze zu verlassen, liefern die Autoren einen direkten Beweis für die Gültigkeit der Methode der Unteren und Oberen Lösungen für diese spezielle Klasse von quasilinearen Differentialgleichungen mit periodischen Randbedingungen (Theorem 3.3).

4. Vermeidung variationaler Methoden:
   Das Paper betont, dass Variationsmethoden (die oft für $p(t)$-Probleme verwendet werden) hier nicht anwendbar sind, da das Problem keine Variationsstruktur besitzt. Stattdessen wird ein rein topologischer Ansatz (Gradtheorie, Brouwer-Grad) gewählt, der weniger anspruchsvolle Sobolev-Räume mit variablen Exponenten benötigt.

5. Bedeutung und Ausblick

• Mathematische Bedeutung: Das Paper schließt eine Lücke in der Theorie der periodischen Lösungen für Liénard-Gleichungen mit singulären Kräften im Kontext von nicht-standardisierten Wachstumsbedingungen ($p(t)$-Laplacian). Es bestätigt, dass die klassischen Existenzkriterien für den Fall $p=2$ auf den variablen Fall übertragbar sind, sofern die richtigen a-priori-Schranken gefunden werden.
• Physikalische Relevanz: Solche Gleichungen modellieren physikalische Systeme mit nichtlinearen Dämpfungseigenschaften und singulären Rückstellkräften (z.B. in der Mechanik oder Elektrodynamik), wo der Exponent $p(t)$ zeitabhängige Materialeigenschaften beschreibt.
• Offene Probleme: Die Autoren weisen darauf hin, dass die entsprechende Erweiterung für den Fall einer abstoßenden Singularität (repulsive singularity, $g(x) \to -\infty$ für $x \to 0^+$) derzeit noch offen ist.

Zusammenfassend stellt das Paper einen robusten analytischen Rahmen bereit, um die Existenz positiver periodischer Lösungen für eine wichtige Klasse singulärer nichtlinearer Differentialgleichungen mit variablen Exponenten zu beweisen.