We examine a thermodynamically consistent diffuse interface model for bulk-surface viscous fluid mixtures. This model consists of a Navier--Stokes--Cahn--Hilliard model in the bulk coupled to a surface Navier--Stokes--Cahn--Hilliard system on the boundary. In this paper, we address the global well-posedness of strong solutions in the two-dimensional setting, also covering the physically meaningful case of non-degenerate mobility functions. Lastly, we prove the uniqueness of the corresponding strong solutions and their continuous dependence on the initial data. Our approach hinges upon new well-posedness and regularity theory for a convective bulk-surface Cahn--Hilliard equation with non-degenerate mobilities, as well as a bulk-surface Stokes equation with non-constant coefficients.
- Paper-ID: 2511.06847
- Titel: Global well-posedness of strong solutions to a bulk-surface Navier-Stokes-Cahn-Hilliard model with non-degenerate mobilities in two dimensions
- Autor: Jonas Stange (Universität Regensburg, Deutschland)
- Klassifizierung: math.AP (Analysis von PDEs), math-ph (Mathematische Physik), math.MP (Mathematische Physik)
- Einreichungsdatum: 10. November 2025
- Paper-Link: https://arxiv.org/abs/2511.06847v1
Die vorliegende Arbeit untersucht ein thermodynamisch konsistentes Diffuse-Interface-Modell zur Beschreibung von Bulk-Surface-Viskosflüssigkeitsmischungen. Das Modell besteht aus der Navier-Stokes-Cahn-Hilliard-Gleichung im Bulkbereich, gekoppelt mit einem Surface-Navier-Stokes-Cahn-Hilliard-System auf dem Rand. Der Autor beweist die globale Wohlgestelltheit starker Lösungen im zweidimensionalen Fall für physikalisch bedeutsame nicht-degenerierte Mobilitätsfunktionen. Darüber hinaus werden Eindeutigkeit starker Lösungen sowie stetige Abhängigkeit von Anfangsdaten nachgewiesen. Der Ansatz basiert auf neuer Wohlgestelltheits- und Regularitätstheorie für konvektive Bulk-Surface-Cahn-Hilliard-Gleichungen mit nicht-degenerierten Mobilitäten sowie für Bulk-Surface-Stokes-Gleichungen mit nicht-konstanten Koeffizienten.
- Modellierung physikalischer Phänomene: Die Untersuchung betrifft Diffuse-Interface-Modelle für zweiphasige Flüssigkeitsmischungen mit unterschiedlichen Dichten, wobei viskose Dynamikeffekte sowohl im Bulkbereich als auch auf dem Rand auftreten. Solche Modelle finden wichtige Anwendungen in der Materialwissenschaft und Biodynamik von Membranen.
- Mathematische Herausforderungen: Das Modell koppelt:
- Navier-Stokes-Cahn-Hilliard-Gleichungen im Bulkbereich (beschreiben Flüssigkeitsbewegung und Phasenseparation)
- Surface-Navier-Stokes-Cahn-Hilliard-Systeme auf dem Rand (beschreiben Oberflächendynamik)
- Dynamische Randbedingungen (ermöglichen Massenaustausch zwischen Bulk und Surface)
- Limitierungen bestehender Theorien:
- Für Diffuse-Interface-Modelle mit dynamischen Randbedingungen konzentriert sich die Literatur hauptsächlich auf Existenz schwacher Lösungen
- Existenzresultate für starke Lösungen sind selten, besonders für nicht-degenerierte Mobilitätsfunktionen
- Die Theorie globaler starker Lösungen im dreidimensionalen Fall ist noch unvollständig
- Physikalische Plausibilität: Nicht-degenerierte Mobilitätsfunktionen (d.h. Mobilitäten mit positiven oberen und unteren Schranken im gesamten Bereich) entsprechen der physikalischen Realität besser
- Mathematische Strenge: Starke Lösungen liefern feinere Regularitätsabschätzungen, die für das Verständnis des Langzeitverhaltens von Lösungen entscheidend sind
- Theoretische Vervollständigung: Schließung von Lücken in der Theorie starker Lösungen für Navier-Stokes-Cahn-Hilliard-Systeme mit dynamischen Randbedingungen
Die Hauptbeiträge dieser Arbeit umfassen:
- Existenz globaler starker Lösungen: Im zweidimensionalen Fall wird die Existenz globaler starker Lösungen für das Bulk-Surface-Navier-Stokes-Cahn-Hilliard-System mit nicht-degenerierten Mobilitäten nachgewiesen (Theorem 3.1)
- Eindeutigkeit und stetige Abhängigkeit: Eindeutigkeit starker Lösungen sowie stetige Abhängigkeit von Anfangsdaten werden bewiesen (Theorem 3.4), erfordern jedoch die Bedingung L∈(0,∞]
- Neue Regularitätstheorie: Zwei wesentliche Hilfstheorien werden etabliert:
- Wohlgestelltheits- und Regularitätstheorie für konvektive Bulk-Surface-Cahn-Hilliard-Gleichungen mit nicht-degenerierten Mobilitäten (Anhang A)
- Regularitätstheorie für Bulk-Surface-Stokes-Gleichungen mit nicht-konstanten Koeffizienten (Anhang B)
- Energieungleichungen: Es wird nachgewiesen, dass Lösungen die Energiedissipationsgesetze erfüllen:
dtdEtot(v,w,ϕ,ψ)+Dissipationsterme=0
- Separationseigenschaft: Phasenfeldvariablen bleiben strikt im physikalischen Intervall (−1,1) enthalten: ∣ϕ∣<1 f.ü. in Q, ∣ψ∣<1 f.ü. auf Σ
Betrachtet wird ein zweidimensionales beschränktes Gebiet Ω⊂R2 mit Rand Γ=∂Ω. Setze Q=Ω×(0,∞), Σ=Γ×(0,∞).
Kontrollgleichungssystem (Gleichung 1.1) umfasst:
- Bulk-Impulsgleichung:
∂t(ρ(ϕ)v)+div(v⊗(ρ(ϕ)v+J))=divT,divv=0 in Q
- Surface-Impulsgleichung:
∂t(σ(ψ)w)+divΓ(w⊗(σ(ψ)w+K))=divΓTΓ+Z,divΓw=0 on Σ
- Bulk-Cahn-Hilliard-Gleichung:
∂tϕ+div(ϕv)=div(mΩ(ϕ)∇μ),μ=−Δϕ+F′(ϕ) in Q
- Surface-Cahn-Hilliard-Gleichung:
∂tψ+divΓ(ψw)=divΓ(mΓ(ψ)∇Γθ)−βmΩ(ϕ)∂nμ on Σθ=−ΔΓψ+G′(ψ)+α∂nϕ on Σ
- Randbedingungen:
w=v∣Γ,v⋅n=0 on ΣK∂nϕ=αψ−ϕ,LmΩ(ϕ)∂nμ=βθ−μ on Σ
Dabei:
- v,w sind Bulk- und Surface-Geschwindigkeitsfelder
- ϕ,ψ sind Bulk- und Surface-Phasenfeldvariablen
- μ,θ sind chemische Potentiale
- ρ(ϕ),σ(ψ) sind phasenfeldabhängige Dichtenfunktionen
- mΩ,mΓ sind Mobilitätsfunktionen (erfüllen 0<m∗≤mΩ,mΓ≤m∗)
Beweistrategie verwendet die Semi-Galerkin-Approximationsmethode:
- Einführung des Eigenfunktionssystems {(v~j,w~j)}j∈N des Bulk-Surface-Stokes-Operators A
- Definition endlichdimensionaler Unterräume Vk=span{(v~1,w~1),…,(v~k,w~k)}
- Konstruktion von Näherungslösungen (vk,wk,ϕk,ψk,μk,θk) erfüllend die Galerkin-Form der schwachen Gleichungen
Für festes Geschwindigkeitsfeld (v∗,w∗) wird gelöst:
- Die konvektive Bulk-Surface-Cahn-Hilliard-Gleichung (4.8), ergebend (ϕk,ψk,μk,θk)
- Die Galerkin-Approximation der Navier-Stokes-Gleichung (4.12), ergebend (vk,wk)
Durch den Schauder-Fixpunktsatz wird die Existenz eines Fixpunkts der Abbildung Λ:(v∗,w∗)↦(vk,wk) nachgewiesen.
Etablierung von Schlüsselabschätzungen (unabhängig von k):
- Energieabschätzungen (Gleichungen 4.35-4.37):
∥(vk,wk)∥L∞(0,∞;L2)+∥(vk,wk)∥L2(0,∞;H1)≤C∥(ϕk,ψk)∥L∞(0,∞;H1)≤C
- Höherordnungsabschätzungen (Gleichungen 4.43-4.45):
∥(ϕk,ψk)∥L∞(0,∞;W2,p)+∥(F′(ϕk),G′(ψk))∥L∞(0,∞;Lp)≤K1,p∥(μk,θk)∥L∞(0,∞;H1)+∥(μk,θk)∥Luloc2(0,∞;H3)≤K2
- Höherordnungsabschätzungen für Geschwindigkeitsfelder (Gleichung 4.61):
supt≥0∫tt+1∥(vk,wk)∥H22+∥(∂tvk,∂twk)∥L22+∥(pk,qk)∥H12ds≤C
Unter Verwendung von Kompaktitätsargumenten (Aubin-Lions-Lemma) und Monotoniemethoden wird beim Grenzübergang k→∞ eine konvergente Teilfolge extrahiert, die eine starke Lösung ergibt.
- Behandlung nicht-degenerierter Mobilitäten: Im Gegensatz zum Fall konstanter Mobilitäten führen nicht-degenerierte Mobilitäten zusätzliche nichtlineare Terme ein. Die Schlüsseltechnik besteht in der Verwendung elliptischer Regularitätstheorie (Gleichungen 2.13-2.15) zur Kontrolle dieser Terme.
- Höherordnungs-Energieabschätzungen: Durch Differentiation des Energiefunktionals (Gleichung 4.46), kombiniert mit der Bulk-Surface-Stokes-Regularitätstheorie (Theorem B.2), werden H2-Abschätzungen für Geschwindigkeitsfelder etabliert:
dtd(Energie)+Dissipation≤ϖ∥(vk,wk)∥H22+niederordnige Terme
Durch Wahl geeigneter ϖ wird die H2-Norm absorbiert.
- Erhaltung der Separationseigenschaft: Unter Verwendung der Singularität logarithmischer Potentiale und einer Variante des Maximumprinzips wird nachgewiesen, dass Phasenfeldvariablen strikt in (−1,1) bleiben.
- Eindeutigkeitsbeweis: Für die Differenz (v,w,ϕ,ψ)=(v1−v2,w1−w2,ϕ1−ϕ2,ψ1−ψ2) zweier Lösungen wird eine Differentialungleichung etabliert (Gleichungen 5.2-5.3):
dtd(∥(v,w)∥L22+∥(ϕ,ψ)∥K,α2)+Dissipation≤P(t)×(Norm der Differenz)
wobei P(t)∈L1(0,T). Anwendung des Gronwall-Lemmas ergibt Eindeutigkeit.
Hinweis: Diese Arbeit ist eine rein theoretische mathematische Arbeit ohne numerische Experimente. Die Hauptergebnisse sind mathematische Beweise für Existenz und Eindeutigkeit.
Der Artikel verifiziert die Theorie durch folgende mathematische Werkzeuge:
- Funktionsraumeinstellung:
- Geschwindigkeitsfeldraum: H0,div1={(v,w)∈H01:divv=0,divΓw=0}
- Phasenfeldraum: VL,β1 (abhängig von Kopplungsparametern L,β)
- Chemisches-Potential-Raum: HL,β1
- Regularitätsanforderungen:
- Anfangsdaten: (v0,w0)∈Hdiv1, (ϕ0,ψ0)∈H1 erfüllend ∥ϕ0∥L∞≤1, ∥ψ0∥L∞≤1
- Kompatibilitätsbedingungen: Existenz von (μ0,θ0)∈HL,β1 erfüllend spezifische Integralrelationen
- Parameterbeschränkungen:
- Raumdimension: d=2
- Kopplungsparameter: K∈(0,∞), L∈[0,∞] (Eindeutigkeit erfordert L∈(0,∞])
- Mobilitäten: 0<m∗≤mΩ,mΓ≤m∗<∞
(A1-A7) umfassen:
- Gebietsregularität: Ω⊂R2 mit C3-Rand
- Potentialfunktionen: F(s)=F0(s)−2cFs2, wobei F0 stark konvex und singulär bei s→±1
- Wachstumsbedingungen: F0′′(s)≥Θ>0 oder spezifische Wachstumsratenbeschränkungen (A7.1)-(A7.2)
Theorem 3.1 (Existenz globaler starker Lösungen): Unter den Annahmen (A1)-(A7), für K∈(0,∞), L∈[0,∞], existiert eine globale starke Lösung (v,w,ϕ,ψ,μ,θ) erfüllend:
- Regularität:
- (v,w)∈BC([0,∞);H0,div1)∩Luloc2([0,∞);H2)∩Huloc1(0,∞;Ldiv2)
- (ϕ,ψ)∈L∞(0,∞;H3)
- (F′(ϕ),G′(ψ)),(F′′(ϕ),G′′(ψ))∈L∞(0,∞;Lp) für alle 2≤p<∞
- Separationseigenschaft: ∣ϕ∣<1 f.ü. in Q, ∣ψ∣<1 f.ü. auf Σ
- Energieungleichung:
Etot(v(t),w(t),ϕ(t),ψ(t))+∫0t(Dissipation)ds=Etot(v0,w0,ϕ0,ψ0)
Theorem 3.4 (Eindeutigkeit): Unter den Annahmen von Theorem 3.1, falls L∈(0,∞], ist die starke Lösung eindeutig.
Die Arbeit etabliert folgende quantitative Abschätzungen (Gleichungen A.10-A.12):
∥(ϕ,ψ)∥L∞(0,∞;H1)2+∥(∂tϕ,∂tψ)∥L2(0,∞;(HL,β1)′)2≤C(1+∥(v,w)∥L2(0,∞;L2)2)
∥(ϕ,ψ)∥Luloc2([0,∞);W2,p)2+∥(F′(ϕ),G′(ψ))∥Luloc2([0,∞);Lp)2≤Cp(1+∥(v,w)∥L2(0,∞;L2)2)
∥(ϕ,ψ)∥Luloc4([0,∞);H2)4≤C(1+∥(v,w)∥L2(0,∞;L2)2)2
- Einschränkung für L=0-Fall: Wenn L=0, erlaubt die Randbedingung (1.1h)2 keine Umformulierung der Normalableitung ∂nμ, was zum Scheitern des Eindeutigkeitsbeweises führt. Der Autor weist darauf hin, dass dies zusätzliche Strukturannahmen erfordert (Bemerkung 3.5).
- Herausforderungen im dreidimensionalen Fall: Die Arbeit behandelt nur den zweidimensionalen Fall, da im dreidimensionalen Fall:
- Die Separationseigenschaft verloren geht
- Feinere Approximationstechniken zur Kontrolle nichtlinearer Terme erforderlich sind
- Nur lokale starke Lösungen statt globaler starker Lösungen zu erwarten sind
- Modelle ohne dynamische Randbedingungen:
- Abels-Garcke-Grün (AGG)-Modell: 2, 4, 16, 17, 21, 22
- Bereits etablierte Theorie starker Lösungen
- Modelle mit dynamischen Randbedingungen:
- Hauptsächlich Fokus auf Existenz schwacher Lösungen: 9, 14, 15, 19, 30
- Quasi-starke Lösungen: Allen-Cahn-Navier-Stokes-Voigt-Systeme 13
- Regularität von Cahn-Hilliard-Gleichungen:
- Konstante-Mobilitäts-Fall: 20, 28, 29
- Nicht-degenerierte Mobilitäten: 11, 39 (Vorarbeiten des Autors)
Im Vergleich zu bestehenden Arbeiten:
- Erstmals Behandlung starker Lösungen für Navier-Stokes-Cahn-Hilliard-Systeme mit dynamischen Randbedingungen
- Erstmals Abdeckung des Falls nicht-degenerierter Mobilitäten
- Etablierung neuer Bulk-Surface-Stokes-Gleichungs-Regularitätstheorie (Anhang B)
- Entwicklung höherordniger Abschätzungstechniken für konvektive Cahn-Hilliard-Gleichungen (Anhang A)
- Im zweidimensionalen Fall wird die Existenz und Eindeutigkeit globaler starker Lösungen für das Bulk-Surface-Navier-Stokes-Cahn-Hilliard-System mit nicht-degenerierten Mobilitäten nachgewiesen (wenn L∈(0,∞])
- Lösungen erfüllen strikte Separationseigenschaften und Energiedissipationsgesetze
- Zwei wichtige Hilfstheorien werden etabliert, die unabhängig auf andere Probleme anwendbar sind
- Dimensionsbeschränkung: Ergebnisse gelten nur für den zweidimensionalen Fall. Der dreidimensionale Fall erfordert:
- Feinere nichtlineare Abschätzungen
- Möglicherweise nur lokale starke Lösungen
- Für konstante Mobilitäten sind Eindeutigkeit schwacher Lösungen und Existenz starker Lösungen bekannt
- Parameterbeschränkungen:
- K=0 ist nicht möglich (nicht-degenerierter Mobilitäts-Fall)
- Eindeutigkeit für L=0 ist ungelöst, außer unter zusätzlichen Strukturannahmen
- Kompatibilitätsbedingungen: Wenn L=0, müssen Dichtenfunktionen die spezielle Relation β(σ2−σ1)=ρ2−ρ1 erfüllen (Gleichung 3.2)
- Dreidimensionale Verallgemeinerung: Entwicklung von Techniken für den dreidimensionalen Fall, möglicherweise erfordernde:
- Lokale Existenztheorie
- Globale Existenz für kleine Anfangswerte oder unter speziellen Strukturannahmen
- Konstante-Mobilitäts-Annahme
- L=0-Fall: Suche nach neuen Methoden zur Behandlung dieses Falls oder Bestimmung seiner Unmöglichkeit
- Langzeitverhalten: Untersuchung asymptotischen Verhaltens von Lösungen, Existenz von Attraktoren
- Numerische Verifikation: Entwicklung effizienter numerischer Schemata zur Verifikation theoretischer Vorhersagen
- Theoretische Strenge:
- Vollständige und detaillierte Beweise mit standardisierter technischer Behandlung
- Klare Erklärung verschiedener technischer Schwierigkeiten
- Präzise Formulierung von Lemmata und Theoremen
- Innovativität:
- Erstmalige Etablierung der Theorie starker Lösungen für diese Systemklasse
- Behandlung nicht-degenerierter Mobilitäten stellt eine Herausforderung dar
- Hilfstheorien in den Anhängen haben unabhängigen Wert
- Klare Struktur:
- Hauptergebnisse sind in Abschnitt 3 klar dargelegt
- Beweisstrategien sind hierarchisch strukturiert
- Technische Details in Anhängen beeinträchtigen nicht die Lesbarkeit des Haupttextes
- Physikalische Plausibilität:
- Modell ist thermodynamisch konsistent
- Nicht-degenerierte Mobilitäten entsprechen der Realität besser
- Energiedissipation und Massenerhaltung sind garantiert
- Dimensionsbeschränkung: Zweidimensionale Ergebnisse haben begrenzte praktische Anwendbarkeit; der dreidimensionale Fall ist wichtiger, aber ungelöst
- Parameterbeschränkungen: Die Einschränkungen K∈(0,∞) und L∈(0,∞] schließen bestimmte physikalische Szenarien aus
- Fehlende numerische Verifikation: Als rein theoretische Arbeit fehlen numerische Beispiele zur Unterstützung der theoretischen Ergebnisse
- Technische Komplexität: Der Beweis ist hochgradig technisiert und erfordert umfangreiches Vorwissen, was die Leserschaft einschränken kann
- Konstantenabhängigkeit: Viele Abschätzungen enthalten Konstanten C, die von mehreren Parametern abhängen, ohne explizite Ausdrücke zu geben
- Theoretische Beiträge:
- Schließung wichtiger Lücken in der Theorie starker Lösungen für Navier-Stokes-Cahn-Hilliard-Systeme mit dynamischen Randbedingungen
- Bereitstellung von Techniken und theoretischen Rahmen für nachfolgende Forschung
- Methodologischer Wert:
- Die Kombination von Semi-Galerkin-Methode und Fixpunktargument ist auf andere gekoppelte Systeme anwendbar
- Höherordnungs-Abschätzungstechniken haben allgemeine Gültigkeit
- Anwendungspotential:
- Theoretische Unterstützung für numerische Methoden
- Anwendbarkeit auf Modellierung in Materialwissenschaft und Biophysik von Membranen
- Materialwissenschaft: Phasenseparation und Grenzflächendynamik in zweiphasigen Flüssigkeitsmaterialien
- Biophysik: Flüssig-Mosaik-Modell von Zellmembranen, Dynamik von Lipiddoppelschichten
- Kontaktliniendynamik: Bewegung und Benetzungsphänomene von Flüssigkeitstropfen auf festen Oberflächen
- Theoretische Forschung:
- Regularitätstheorie nichtlinearer partieller Differentialgleichungen
- Wohlgestelltheitsanalyse gekoppelter Systeme
- Mathematische Theorie dynamischer Randbedingungen
2 H. Abels, H. Garcke, and A. Giorgini. Global regularity and asymptotic stabilization for the incompressible Navier-Stokes-Cahn-Hilliard model with unmatched densities. Math. Ann., 2024.
11 M. Conti, P. Galimberti, S. Gatti, and A. Giorgini. New results for the Cahn-Hilliard equation with non-degenerate mobility. Calc. Var. PDE, 2025.
19 A. Giorgini and P. Knopf. Two-phase flows with bulk-surface interaction: thermodynamically consistent Navier-Stokes-Cahn-Hilliard models. J. Math. Fluid Mech., 2023.
30 P. Knopf and J. Stange. A thermodynamically consistent model for bulk-surface viscous fluid mixtures. Preprint, 2025.
39 J. Stange. Well-posedness and long-time behavior of a bulk-surface Cahn-Hilliard model with non-degenerate mobility. Preprint, 2025.
Gesamtbewertung: Dies ist eine hochwertige theoretische mathematische Arbeit, die bedeutende Beiträge zur Analyse partieller Differentialgleichungen leistet. Trotz Dimensions- und Parameterbeschränkungen verdienen die technischen Innovationen und theoretische Tiefe Anerkennung. Für Mathematiker und angewandte Wissenschaftler in verwandten Bereichen bietet diese Arbeit wertvolle theoretische Werkzeuge und Forschungsparadigmen.