Existence of variational solutions to doubly nonlinear systems in nondecreasing domains

Technische Zusammenfassung: Existenz von Variationslösungen für doppelt nichtlineare Systeme in nichtabnehmenden Gebieten

Problemstellung
Die Arbeit befasst sich mit dem Cauchy–Dirichlet-Problem für doppelt nichtlineare parabolische Systeme der Form:
$$\partial_t (|u|^{q-1}u) - \text{div}(D_\xi f(x, u, Du)) = -D_u f(x, u, Du)$$
definiert in einem beschränkten, nichtzylindrischen Gebiet $E \subset \mathbb{R}^{n+1}$ (wobei $n \ge 2$). Es wird angenommen, dass das Gebiet $E$ bezüglich der Zeit nichtabnehmend ist, was bedeutet, dass die Zeitschnitte $E_t$ die Bedingung $E_s \subset E_t$ für $0 \le s \le t < T$ erfüllen. Die Parameter erfüllen $q \in (0, \infty)$ und $p \in (1, \infty)$.

Der Integrand $f(x, u, \xi)$ wird unter folgenden Annahmen betrachtet:

1. Er ist bezüglich $x$ integrierbar für festes $(u, \xi)$.
2. Er ist konvex in $(u, \xi)$.
3. Er erfüllt eine $p$-Koerzitivitätsbedingung: $\nu|\xi|^p \le f(x, u, \xi)$.
   Entscheidend ist, dass die Autoren für das primäre Existenzresultat keine spezifische obere Wachstumsbedingung für $f$ auferlegen, was exponentielles oder nicht-standardisiertes Wachstum ermöglicht.

Methodik
Der Beweis der Existenz stützt sich auf eine nichtlineare Version der Methode der minimierenden Bewegungen (auch bekannt als der implizite Euler-Schema oder De Giorgis Methode der minimierenden Bewegungen). Der Ansatz kombiniert Techniken aus früheren Arbeiten zu doppelt nichtlinearen Gleichungen in zylindrischen Gebieten (Böglein et al. [17]) und parabolischen Systemen in nichtzylindrischen Gebieten (Böglein et al. [19]).

Das Verfahren umfasst:

1. Zeitdiskretisierung: Das Zeitintervall $(0, T)$ wird in Schritte der Größe $h_\ell = T/\ell$ unterteilt.
2. Iterative Minimierung: In jedem Zeitschritt wird eine Sequenz von Funktionen $u_{\ell, i}$ konstruiert, indem ein elliptisches Variationsfunktional minimiert wird:
   $$F_\ell[w; u_{\ell, i-1}] = \int_\Omega f(x, w, Dw) \, dx + \frac{1}{h_\ell} \int_\Omega b[u_{\ell, i-1}, w] \, dx$$
   wobei $b[u, v]$ ein spezifischer Randterm im Zusammenhang mit der Konvexität der Potenzfunktion $|v|^{q+1}$ ist.
3. Energieabschätzungen und Konvergenz: Die Autoren leiten gleichmäßige Energieabschätzungen für die stückweise konstanten Interpolationen $u_\ell$ ab. Unter Verwendung von Kompaktheitsargumenten (speziell Lemma 3.11 betreffend die Konvergenz von $|u_\ell|^{(q+1)/2}$) etablieren sie eine Grenzabbildung $u$.
4. Umgang mit nichtzylindrischen Gebieten: Ein wesentlicher technischer Aspekt ist der Umgang mit dem zeitabhängigen Gebiet. Die nichtabnehmende Natur von $E$ ermöglicht es den Autoren, Vergleichsabbildungen zu erweitern und die Annahme $L^{n+1}(\partial E) = 0$ zu nutzen, um sicherzustellen, dass die Grenzabbildung die korrekten lateralen Randbedingungen erfüllt.
5. Variationsungleichung: Die Grenzabbildung wird gezeigt, eine Variationsungleichung zu erfüllen, welche in diesem Kontext die Definition einer Variationslösung darstellt.

Wesentliche Beiträge und Ergebnisse

1. Existenz in nichtabnehmenden Gebieten (Theorem 2.3):
   Die Arbeit beweist die Existenz einer Variationslösung $u \in C^0([0, T]; L^{q+1}(\Omega, \mathbb{R}^N)) \cap V^p_q(E)$.

   • Generalität: Im Gegensatz zu früheren Ergebnissen, die auf zylindrische Gebiete oder nicht-negative Lösungen beschränkt waren, gilt dieses Resultat für allgemeine nichtzylindrische Gebiete, die in der Zeit nichtabnehmend sind, und erlaubt vorzeichenbehaftete oder vektorwertige Lösungen.
   • Schwache Annahmen an $f$: Der Existenzbeweis gilt ohne eine obere Wachstumsbedingung für $f$, wobei lediglich Konvexität und Koerzitivität vorausgesetzt werden.
   • Regularität: Die Lösung besitzt eine schwache Zeitableitung für den Term $|u|^{q-1}u$ in einem spezifischen dualen Raum, und die Lösung ist in der Zeit bezüglich der $L^{q+1}$-Norm stetig.

2. Existenz der Zeitableitung im dualen Raum (Theorem 2.5):
   Unter zusätzlichen Annahmen – insbesondere, dass das Gebiet eine Maßdichtebedingung erfüllt (bezüglich der Tatsache, dass das Komplement gleichmäßig $p$-fett ist) und dass $f$ eine Standard-$p$-Wachstumsbedingung erfüllt – beweisen die Autoren, dass der Term $|u|^{q-1}u$ eine distributionelle Zeitableitung im dualen Raum $(V^{p,0}(E))'$ besitzt.

3. Stetigkeit in der Zeit:
   Die Autoren etablieren, dass jede Variationslösung in der Zeit stetig ist mit Werten in $L^{q+1}(\Omega, \mathbb{R}^N)$. Dies wird durch das Testen der Variationsungleichung mit einer Zeit-Mollifikation der Lösung erreicht, eine Technik, die an das nichtzylindrische Setting angepasst wurde.

Bedeutung und Ansprüche
Die Arbeit positioniert sich als Verallgemeinerung bestehender Theorien für doppelt nichtlineare Gleichungen.

• Erweiterung des Geltungsbereichs: Sie erweitert die Existenztheorie von zylindrischen Gebieten auf nichtzylindrische (speziell nichtabnehmende) Gebiete und adresset damit eine Lücke in der Literatur, in der solche geometrischen Variationen für doppelt nichtlineare Systeme nicht vollständig behandelt wurden.
• Gelockerte Wachstumsbedingungen: Durch das Entfernen der oberen Wachstumsbedingung für den Integranden $f$ für das Existenzresultat erlauben die Autoren eine breitere Klasse von Nichtlinearitäten, einschließlich exponentiellen Wachstums, die zuvor nur unter strengeren Beschränkungen oder in spezifischen Kontexten behandelt wurden.
• Methodische Synthese: Die Arbeit synthetisiert erfolgreich den „Minimizing Movements“-Ansatz für doppelt nichtlineare Gleichungen mit der geometrischen Handhabung zeitabhängiger Gebiete.
• Eindeutigkeit: Die Autoren merken explizit an, dass die Eindeutigkeit in dieser Arbeit nicht etabliert wird. Sie führen an, dass die Eindeutigkeit für solche Systeme ein delikates Thema ist, insbesondere in nichtzylindrischen Gebieten, und für den hier betrachteten allgemeinen Fall weiterhin eine offene Frage bleibt, obwohl sie für spezifische Fälle wie die poröse Gasgleichung mit nicht-negativen Lösungen bekannt ist.

Die Arbeit schließt mit dem Hinweis, dass die entwickelten Methoden potenziell für zeitabhängige Randwerte adaptiert werden können, wobei der Fokus der vorliegenden Arbeit auf zeitunabhängigen lateralen Randwerten liegt, um die Kern-Existenztheorie zu etablieren.