On a system of semilinear damped $\sigma$-evolution equations with different damping types in the critical case

Technische Zusammenfassung: Über ein System semilinearer gedämpfter $\sigma$-Evolutionsgleichungen mit unterschiedlichen Dämpfungstypen im kritischen Fall

Problemstellung
Diese Arbeit untersucht das Cauchy-Problem für ein nicht-symmetrisches, schwach gekoppeltes System semilinearer gedämpfter $\sigma$-Evolutionsgleichungen in $\mathbb{R}^n$. Das System ist gegeben durch:
$$\begin{cases} u_{tt} + (-\Delta)^\sigma u + (-\Delta)^\sigma u_t = |v|^{p^*}\mu_1(|v|), \\ v_{tt} + (-\Delta)^\sigma v + v_t = |u|^{q^*}\mu_2(|u|), \end{cases}$$
mit den Anfangsdaten $(u, u_t, v, v_t)(0, x) = (0, u_1, 0, v_1)(x)$. Hierbei ist $\sigma \ge 1$ und die Dämpfungsterme unterscheiden sich: Die erste Gleichung weist eine strukturelle Dämpfung $(-\Delta)^\sigma u_t$ auf (parabolähnliches Verhalten), während die zweite Gleichung eine Standarddämpfung $v_t$ besitzt ($\sigma$-Evolutions-ähnliches Verhalten). Die Exponenten $(p^*, q^*)$ liegen auf der kritischen Kurve, die durch die Wechselwirkung dieser zwei unterschiedlichen Dämpfungstypen definiert ist. Die Nichtlinearitäten enthalten Moduli der Stetigkeit $\mu_1$ und $\mu_2$, die eine zusätzliche Regularität über die Standard-Potenzgesetze hinaus bieten. Das primäre Ziel ist es, scharfe Bedingungen für $\mu_1$ und $\mu_2$ zu bestimmen, die zwischen der globalen Existenz von Kleindaten-Sobolev-Lösungen und dem endlichen Zeit-Blow-up unterscheiden.

Methodik
Die Autoren verwenden zwei unterschiedliche analytische Frameworks, die den beiden Hauptresultaten entsprechen:

1. Globale Existenz (Fixpunktsargument):

   • Der Beweis nutzt den Banachschen Fixpunktsatz in einem sorgfältig konstruierten Lösungsraum $X(t)$.
   • Entscheidend für diesen Ansatz ist die Ableitung von Zerfallsschätzungen für die linearisierten Probleme der zwei verschiedenen Dämpfungstypen.
   • Um den kritischen Fall und die nicht-sytmetrische Natur zu handhaben, führen die Autoren Gewichtfunktionen $\ell_1(t)$ und $\ell_2(t)$ ein, die den „Verlust des Zerfalls“ (loss of decay) in den nichtlinearen Termen berücksichtigen. Diese Gewichte hängen von den Moduli der Stetigkeit und der spezifischen Position von $(p^*, q^*)$ relativ zu den kritischen Schwellenwerten ab.
   • Fraktionale Gagliardo-Nirenberg-Ungleichungen und spezifische Integralabschätzungen unter Einbeziehung der Moduli der Stetigkeit werden verwendet, um das Kontraktionsabbildungsargument abzuschließen.

2. Blow-up-Resultat (Testfunktionsmethode):

   • Die Autoren passen die Testfunktionsmethode an das nicht-symmetrische, fraktionale Setting an.
   • Eine wesentliche technische Herausforderung ist die nicht-lokale Natur des fraktionalen Laplace-Operators $(-\Delta)^\sigma$, wenn $\sigma$ keine ganze Zahl ist. Standardmäßig kompakt unterstützte Testfunktionen sind unzurereichend, da die Unterstützung von $(-\Delta)^\sigma \phi$ im Allgemeinen über die Unterstützung von $\phi$ hinausgeht.
   • Um dies zu überwinden, konstruieren die Autoren eine modifizierte Familie von Testfunktionen $\phi_{j,R}$ mit nicht-kompakter Unterstützung, die spezifische Skalierungsordnungen in Raum und Zeit besitzen.
   • Das Integrationsgebiet wird in mehrere Regionen ($Q^1_{j,R}, Q^2_R, Q^3_{j,R}$) zerlegt, um das singuläre Verhalten der Hilfsfunktionalen nahe dem Ursprung und im Unendlichen zu handhaben.
   • Durch Definition von Hilfsfunktionalen $G_p$ und $G_q$ und die Ableitung eines Systems von gewöhnlichen Differentialungleichungen zeigen die Autoren, dass die Integralbedingungen auf die Moduli der Stetigkeit zu einem Widerspruch führen, falls eine globale Lösung existieren würde.

Schlüsselergebnisse

• Globale Existenz (Theorem 1.1): Unter der Annahme $1 < \sigma < n < 2\sigma$ und $p^* \ge 2$ etabliert das Paper die Existenz einer eindeutigen globalen Sobolev-Lösung für kleine Anfangsdaten, sofern die Moduli der Stetigkeit spezifische Integrabilitätsbedingungen erfüllen.

  • Wenn die Standard-Integrabilitätsbedingungen $\int_0^c \frac{\mu_j(s)}{s} ds < \infty$ gelten, ist die globale Existenz garantiert.
  • Falls diese fehlschlagen, liefert das Paper scharfe alternative Bedingungen unter Verwendung gekoppelter Integrale von $\mu_1$ und $\mu_2$ (z. B. $\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds < \infty$), die dennoch globale Existenz gewährleisten.
  • Die Lösung zeigt spezifische Zerfallsraten mit einem durch die Moduli der Stetigkeit bestimmten „Verlust des Zerfalls“-Faktor.

• Blow-up (Theorem 1.2): Umgekehrt, falls die Moduli der Stetigkeit „zu schwach“ sind (d. h. die entsprechenden Integrale divergieren), beweist das Paper, dass keine globale Sobolev-Lösung existiert, was zu einem Blow-up in endlicher Zeit führt.

  • Die Bedingungen für den Blow-up sind die Divergenz derselben Integrale, die im globalen Fall die Existenz garantieren.
  • Dieses Resultat gilt sowohl für ganzzahlige als auch für fraktionale $\sigma$, vorausgesetzt $n \ge 2\lfloor \sigma \rfloor$ im fraktionalen Fall.

• Symmetrische Modelle (Theorem 3.2): Durch die Anpassung der Beweistechniken für den Blow-up lösen die Autoren ein offenes Problem bezüglich symmetrischer Modelle, bei denen beide Gleichungen denselben Dämpfungstyp (entweder beide strukturell oder beide Standard) mit fraktionalen Parametern aufweisen. Sie etablieren Blow-up-Resultate für solche symmetrischen Systeme im kritischen Fall.

Bedeutung und Beiträge
Das Paper beansprucht, die bestehende Literatur in folgenden Punkten nicht-trivial zu verbessern:

1. Nicht-symmetrische kritische Systeme: Es adressiert den kritischen Fall für ein System, das „parabolähnliche“ und „$\sigma$-evolutionsähnliche“ Gleichungen koppelt – ein Setting, in dem die Rollen der Variablen und Exponenten nicht austauschbar sind, im Gegensatz zu symmetrischen Systemen.
2. Handhabung des fraktionalen Laplace-Operators: Die Arbeit erweitert erfolgreich die Testfunktionsmethode auf Systeme mit fraktionaler Dämpfung ($(-\Delta)^\sigma$), bei denen $\sigma$ fraktional ist. Dies wird durch die Konstruktion von Testfunktionen mit nicht-kompakter Unterstützung und das sorgfältige Management der nicht-lokalen Effekte erreicht – eine Schwierigkeit, die solche Analysen zuvor auf ganzzahlige $\sigma$ beschränkt hatte.
3. Scharfe Schwellenwerte: Das Paper bestimmt den präzisen Schwellenwert für die Moduli der Stetigkeit $\mu_1$ und $\mu_2$, der die globale Existenz vom Blow-up trennt, und verfeinert so das Verständnis der kritischen Nichtlinearität in schwach gekoppelten Systemen.
4. Lösung offener Probleme: Die entwickelte Methodik wird erfolgreich angewendet, um eine positive Antwort auf ein offenes Problem bezüglich des Blow-ups symmetrischer Modelle mit fraktionalen Parametern zu geben, die zuvor in der Literatur ungelöst waren.

Die Autoren betonen, dass ihre Ergebnisse auf der Wechselwirkung zwischen den zwei unterschiedlichen Dämpfungsmechanismen und der spezifischen Regularität basieren, die durch die Moduli der Stetigkeit bereitgestellt wird, und bieten eine verfeinerte Perspektive auf das kritische Verhalten solcher Evolutionssysteme.