Bonne posture globale des solutions fortes pour un modèle de Navier-Stokes-Cahn-Hilliard en volume-surface avec mobilités non dégénérées en deux dimensions

Informations de base

• ID de l'article: 2511.06847
• Titre: Global well-posedness of strong solutions to a bulk-surface Navier-Stokes-Cahn-Hilliard model with non-degenerate mobilities in two dimensions
• Auteur: Jonas Stange (Universität Regensburg, Allemagne)
• Classification: math.AP (Analyse des EDP), math-ph (Physique mathématique), math.MP (Physique mathématique)
• Date de soumission: 10 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2511.06847v1

Résumé

Cet article étudie un modèle d'interface diffuse thermodynamiquement cohérent pour décrire les mélanges de fluides visqueux en volume-surface. Le modèle est constitué des équations de Navier-Stokes-Cahn-Hilliard dans le volume couplées à un système de Navier-Stokes-Cahn-Hilliard de surface sur la frontière. L'auteur démontre la bonne posture globale des solutions fortes en dimension deux, couvrant le cas physiquement pertinent des fonctions de mobilité non dégénérées. De plus, l'unicité des solutions fortes et leur dépendance continue par rapport aux données initiales sont établies. L'approche repose sur une nouvelle théorie de bonne posture et de régularité pour les équations de Cahn-Hilliard convectives en volume-surface avec mobilités non dégénérées, ainsi que sur les équations de Stokes en volume-surface avec coefficients non constants.

Contexte et motivation de la recherche

Contexte du problème

1. Modélisation des phénomènes physiques: L'étude porte sur les modèles d'interface diffuse pour les mélanges de fluides biphasiques où les fluides ont des densités différentes et où les effets de viscosité dynamique sont présents à la fois dans le domaine volumique et sur la frontière. Ces modèles trouvent des applications importantes en science des matériaux et en dynamique des membranes biologiques.
2. Défis mathématiques: Le modèle couple:
   • Les équations de Navier-Stokes-Cahn-Hilliard dans le domaine volumique (décrivant le mouvement du fluide et la séparation de phase)
   • Le système de Navier-Stokes-Cahn-Hilliard de surface sur la frontière (décrivant la dynamique de surface)
   • Les conditions de frontière dynamiques (permettant l'échange de masse entre le volume et la surface)
3. Limitations de la théorie existante:
   • Pour les modèles d'interface diffuse avec conditions de frontière dynamiques, la littérature existante se concentre principalement sur l'existence de solutions faibles
   • L'étude de l'existence de solutions fortes est moins développée, particulièrement pour le cas des fonctions de mobilité non dégénérées
   • La théorie des solutions fortes globales en dimension trois reste incomplète

Motivation de la recherche

1. Pertinence physique: Les fonctions de mobilité non dégénérées (c'est-à-dire avec des bornes positives inférieures et supérieures sur tout le domaine) correspondent mieux à la réalité physique
2. Rigueur mathématique: Les solutions fortes fournissent des estimations de régularité plus fines, essentielles pour comprendre le comportement à long terme des solutions
3. Complétude théorique: Combler les lacunes dans la théorie des solutions fortes pour les systèmes de Navier-Stokes-Cahn-Hilliard avec conditions de frontière dynamiques

Contributions principales

Les principales contributions de cet article sont:

1. Existence de solutions fortes globales: En dimension deux, l'existence de solutions fortes globales pour le système de Navier-Stokes-Cahn-Hilliard en volume-surface avec mobilités non dégénérées est démontrée (Théorème 3.1)
2. Unicité et dépendance continue: L'unicité des solutions fortes et leur dépendance continue par rapport aux données initiales sont établies (Théorème 3.4), sous la condition de restriction $L \in (0,\infty]$
3. Nouvelle théorie de régularité: Deux théories auxiliaires clés sont établies:
   • Théorie de bonne posture et de régularité pour les équations de Cahn-Hilliard convectives en volume-surface avec mobilités non dégénérées (Appendice A)
   • Théorie de régularité pour les équations de Stokes en volume-surface avec coefficients non constants (Appendice B)
4. Inégalités énergétiques: Les solutions satisfont la loi de dissipation énergétique: $\frac{d}{dt}E_{tot}(v,w,\phi,\psi) + \text{termes de dissipation} = 0$
5. Propriété de séparation: Les fonctions de phase restent strictement dans l'intervalle physique $(-1,1)$: $|\phi| < 1$ p.p. dans $Q$, $|\psi| < 1$ p.p. sur $\Sigma$

Détails de la méthode

Définition du problème

Considérons un domaine borné bidimensionnel $\Omega \subset \mathbb{R}^2$ et sa frontière $\Gamma = \partial\Omega$. Posons $Q = \Omega \times (0,\infty)$, $\Sigma = \Gamma \times (0,\infty)$.

Système d'équations gouvernantes (équation 1.1) comprend:

1. Équation de quantité de mouvement volumique: $\partial_t(\rho(\phi)v) + \text{div}(v \otimes (\rho(\phi)v + J)) = \text{div} T, \quad \text{div} v = 0 \text{ dans } Q$
2. Équation de quantité de mouvement de surface: $\partial_t(\sigma(\psi)w) + \text{div}_\Gamma(w \otimes (\sigma(\psi)w + K)) = \text{div}_\Gamma T_\Gamma + Z, \quad \text{div}_\Gamma w = 0 \text{ sur } \Sigma$
3. Équation de Cahn-Hilliard volumique: $\partial_t\phi + \text{div}(\phi v) = \text{div}(m_\Omega(\phi)\nabla\mu), \quad \mu = -\Delta\phi + F'(\phi) \text{ dans } Q$
4. Équation de Cahn-Hilliard de surface: $\partial_t\psi + \text{div}_\Gamma(\psi w) = \text{div}_\Gamma(m_\Gamma(\psi)\nabla_\Gamma\theta) - \beta m_\Omega(\phi)\partial_n\mu \text{ sur } \Sigma$$\theta = -\Delta_\Gamma\psi + G'(\psi) + \alpha\partial_n\phi \text{ sur } \Sigma$
5. Conditions de frontière: $w = v|_\Gamma, \quad v \cdot n = 0 \text{ sur } \Sigma$$K\partial_n\phi = \alpha\psi - \phi, \quad Lm_\Omega(\phi)\partial_n\mu = \beta\theta - \mu \text{ sur } \Sigma$

Où:

• $v, w$ sont les champs de vitesse volumique et de surface
• $\phi, \psi$ sont les variables de phase volumique et de surface
• $\mu, \theta$ sont les potentiels chimiques
• $\rho(\phi), \sigma(\psi)$ sont les fonctions de densité dépendant de la phase
• $m_\Omega, m_\Gamma$ sont les fonctions de mobilité (satisfaisant $0 < m_* \leq m_\Omega, m_\Gamma \leq m^*$)

Architecture du modèle

La stratégie de preuve utilise une méthode semi-Galerkin:

Première étape: Construction du problème approché

1. Introduire le système de fonctions propres $\{(\tilde{v}_j, \tilde{w}_j)\}_{j\in\mathbb{N}}$ de l'opérateur de Stokes en volume-surface $A$
2. Définir le sous-espace de dimension finie $V_k = \text{span}\{(\tilde{v}_1, \tilde{w}_1), \ldots, (\tilde{v}_k, \tilde{w}_k)\}$
3. Construire la solution approchée $(v_k, w_k, \phi_k, \psi_k, \mu_k, \theta_k)$ satisfaisant la forme faible Galerkin des équations

Deuxième étape: Argument du point fixe

Pour un champ de vitesse fixé $(v_*, w_*)$, résoudre:

• L'équation de Cahn-Hilliard convective en volume-surface (4.8), obtenant $(\phi_k, \psi_k, \mu_k, \theta_k)$
• L'approximation Galerkin de l'équation de Navier-Stokes (4.12), obtenant $(v_k, w_k)$

L'existence d'un point fixe de l'application $\Lambda: (v_*, w_*) \mapsto (v_k, w_k)$ est démontrée via le théorème du point fixe de Schauder.

Troisième étape: Estimations a priori

Des estimations uniformes clés (indépendantes de $k$) sont établies:

1. Estimations énergétiques (équations 4.35-4.37): $\|(v_k, w_k)\|_{L^\infty(0,\infty; L^2)} + \|(v_k, w_k)\|_{L^2(0,\infty; H^1)} \leq C$$\|(\phi_k, \psi_k)\|_{L^\infty(0,\infty; H^1)} \leq C$
2. Estimations d'ordre supérieur (équations 4.43-4.45): $\|(\phi_k, \psi_k)\|_{L^\infty(0,\infty; W^{2,p})} + \|(F'(\phi_k), G'(\psi_k))\|_{L^\infty(0,\infty; L^p)} \leq K_{1,p}$$\|(\mu_k, \theta_k)\|_{L^\infty(0,\infty; H^1)} + \|(\mu_k, \theta_k)\|_{L^2_{uloc}(0,\infty; H^3)} \leq K_2$
3. Estimations d'ordre supérieur du champ de vitesse (équation 4.61): $\sup_{t\geq 0} \int_t^{t+1} \|( v_k, w_k)\|_{H^2}^2 + \|(\partial_t v_k, \partial_t w_k)\|_{L^2}^2 + \|(p_k, q_k)\|_{H^1}^2 \, ds \leq C$

Quatrième étape: Processus limite

Utilisant des arguments de compacité (lemme d'Aubin-Lions) et des techniques de monotonie, on extrait une sous-suite convergente quand $k \to \infty$, obtenant une solution forte.

Points d'innovation technique

1. Traitement des mobilités non dégénérées: Contrairement au cas des mobilités constantes, les mobilités non dégénérées introduisent des termes non linéaires supplémentaires. La technique clé est d'utiliser la théorie de régularité elliptique (équations 2.13-2.15) pour contrôler ces termes.
2. Estimations énergétiques d'ordre supérieur: En différentiant la fonctionnelle énergétique (équation 4.46) et en combinant avec la théorie de régularité de Stokes en volume-surface (Théorème B.2), on établit l'estimation $H^2$ du champ de vitesse: $\frac{d}{dt}\text{(énergie)} + \text{dissipation} \leq \varpi\|(v_k, w_k)\|_{H^2}^2 + \text{termes d'ordre inférieur}$ En choisissant $\varpi$ approprié, on absorbe la norme $H^2$.
3. Préservation de la propriété de séparation: Utilisant la singularité du potentiel logarithmique et une variante du principe du maximum, on démontre que les fonctions de phase restent strictement dans $(-1, 1)$.
4. Preuve d'unicité: Pour la différence de deux solutions $(v, w, \phi, \psi) = (v_1 - v_2, w_1 - w_2, \phi_1 - \phi_2, \psi_1 - \psi_2)$, on établit une inégalité différentielle (équations 5.2-5.3): $\frac{d}{dt}\left(\|(v, w)\|_{L^2}^2 + \|(\phi, \psi)\|_{K,\alpha}^2\right) + \text{dissipation} \leq P(t) \times \text{(norme de la différence)}$ où $P(t) \in L^1(0,T)$, et on applique le lemme de Gronwall pour obtenir l'unicité.

Configuration expérimentale

Remarque: Cet article est un travail mathématique purement théorique et ne contient pas d'expériences numériques. Les résultats principaux sont des preuves mathématiques d'existence et d'unicité.

Cadre de vérification théorique

L'article vérifie la théorie via les outils mathématiques suivants:

1. Configuration des espaces fonctionnels:
   • Espace des champs de vitesse: $H^1_{0,\text{div}} = \{(v,w) \in H^1_0: \text{div} v = 0, \text{div}_\Gamma w = 0\}$
   • Espace des phases: $V^1_{L,\beta}$ (dépendant des paramètres de couplage $L, \beta$)
   • Espace des potentiels chimiques: $H^1_{L,\beta}$
2. Exigences de régularité:
   • Données initiales: $(v_0, w_0) \in H^1_{\text{div}}$, $(\phi_0, \psi_0) \in H^1$ satisfaisant $\|\phi_0\|_{L^\infty} \leq 1$, $\|\psi_0\|_{L^\infty} \leq 1$
   • Conditions de compatibilité: existence de $(\mu_0, \theta_0) \in H^1_{L,\beta}$ satisfaisant certaines relations intégrales
3. Restrictions de paramètres:
   • Dimension spatiale: $d = 2$
   • Paramètres de couplage: $K \in (0, \infty)$, $L \in [0, \infty]$ (l'unicité nécessite $L \in (0, \infty]$)
   • Mobilités: $0 < m_* \leq m_\Omega, m_\Gamma \leq m^* < \infty$

Hypothèses clés

(A1-A7) incluent:

• Régularité du domaine: $\Omega \subset \mathbb{R}^2$ avec frontière $C^3$
• Fonctions potentielles: $F(s) = F_0(s) - \frac{c_F}{2}s^2$, où $F_0$ est fortement convexe et singulière quand $s \to \pm 1$
• Conditions de croissance: $F_0''(s) \geq \Theta > 0$ ou taux de croissance spécifique (conditions (A7.1)-(A7.2))

Résultats expérimentaux

Résultats théoriques principaux

Théorème 3.1 (Existence de solutions fortes globales): Sous les hypothèses (A1)-(A7), pour $K \in (0, \infty)$, $L \in [0, \infty]$, il existe une solution forte globale $(v, w, \phi, \psi, \mu, \theta)$ satisfaisant:

1. Régularité:
   • $(v, w) \in BC([0,\infty); H^1_{0,\text{div}}) \cap L^2_{uloc}([0,\infty); H^2) \cap H^1_{uloc}(0,\infty; L^2_{\text{div}})$
   • $(\phi, \psi) \in L^\infty(0,\infty; H^3)$
   • $(F'(\phi), G'(\psi)), (F''(\phi), G''(\psi)) \in L^\infty(0,\infty; L^p)$ pour tout $2 \leq p < \infty$
2. Propriété de séparation: $|\phi| < 1$ p.p. dans $Q$, $|\psi| < 1$ p.p. sur $\Sigma$
3. Inégalité énergétique: $E_{tot}(v(t), w(t), \phi(t), \psi(t)) + \int_0^t \text{(dissipation)} \, ds = E_{tot}(v_0, w_0, \phi_0, \psi_0)$

Théorème 3.4 (Unicité): Sous les hypothèses du Théorème 3.1, si $L \in (0, \infty]$, alors la solution forte est unique.

Estimations clés

L'article établit les estimations quantitatives suivantes (équations A.10-A.12):

$\|(\phi, \psi)\|_{L^\infty(0,\infty; H^1)}^2 + \|(\partial_t\phi, \partial_t\psi)\|_{L^2(0,\infty; (H^1_{L,\beta})')}^2 \leq C(1 + \|(v,w)\|_{L^2(0,\infty; L^2)}^2)$

$\|(\phi, \psi)\|_{L^2_{uloc}([0,\infty); W^{2,p})}^2 + \|(F'(\phi), G'(\psi))\|_{L^2_{uloc}([0,\infty); L^p)}^2 \leq C_p(1 + \|(v,w)\|_{L^2(0,\infty; L^2)}^2)$

$\|(\phi, \psi)\|_{L^4_{uloc}([0,\infty); H^2)}^4 \leq C(1 + \|(v,w)\|_{L^2(0,\infty; L^2)}^2)^2$

Surmontage des difficultés techniques

1. Limitation du cas $L = 0$: Quand $L = 0$, la condition de frontière (1.1h)$_2$ ne permet pas de reformuler la dérivée normale $\partial_n\mu$, ce qui rend la preuve d'unicité inefficace. L'auteur note que cela nécessite des hypothèses structurelles supplémentaires (Remarque 3.5).
2. Défis en dimension trois: L'article traite uniquement le cas bidimensionnel car en dimension trois:
   • La propriété de séparation n'est pas préservée
   • Des techniques d'approximation plus fines sont nécessaires pour contrôler les termes non linéaires
   • Seules les solutions fortes locales plutôt que globales peuvent être attendues

Travaux connexes

Principales directions de recherche

1. Modèles sans conditions de frontière dynamiques:
   • Modèle AGG (Abels-Garcke-Grün): 2, 4, 16, 17, 21, 22
   • Théorie mature des solutions fortes existante
2. Modèles avec conditions de frontière dynamiques:
   • Accent principal sur l'existence de solutions faibles: 9, 14, 15, 19, 30
   • Solutions quasi-fortes: système Allen-Cahn-Navier-Stokes-Voigt 13
3. Régularité de l'équation de Cahn-Hilliard:
   • Cas des mobilités constantes: 20, 28, 29
   • Mobilités non dégénérées: 11, 39 (travaux antérieurs de l'auteur)

Caractère innovant de cet article

Par rapport aux travaux existants, cet article:

• Pour la première fois traite les solutions fortes du système de Navier-Stokes-Cahn-Hilliard avec conditions de frontière dynamiques
• Pour la première fois couvre le cas des mobilités non dégénérées
• Établit une nouvelle théorie de régularité pour les équations de Stokes en volume-surface (Appendice B)
• Développe des techniques d'estimations d'ordre supérieur pour l'équation de Cahn-Hilliard convective (Appendice A)

Conclusions et discussion

Conclusions principales

1. En dimension deux, l'existence et l'unicité (quand $L \in (0, \infty]$) des solutions fortes globales pour le système de Navier-Stokes-Cahn-Hilliard en volume-surface avec mobilités non dégénérées sont démontrées
2. Les solutions satisfont une propriété de séparation stricte et une loi de dissipation énergétique
3. Deux cadres théoriques auxiliaires importants sont établis, applicables indépendamment à d'autres problèmes

Limitations

1. Restriction dimensionnelle: Les résultats s'appliquent uniquement en dimension deux. Le cas tridimensionnel nécessite:
   • Des estimations non linéaires plus fines
   • Possiblement seulement des solutions fortes locales
   • Pour le cas des mobilités constantes, l'unicité des solutions faibles et l'existence de solutions fortes sont connues
2. Restrictions de paramètres:
   • $K = 0$ n'est pas viable (cas des mobilités non dégénérées)
   • L'unicité pour $L = 0$ n'est pas résolue, sauf avec des hypothèses structurelles supplémentaires
3. Conditions de compatibilité: Quand $L = 0$, les fonctions de densité doivent satisfaire la relation spéciale $\beta(\sigma_2 - \sigma_1) = \rho_2 - \rho_1$ (équation 3.2)

Directions futures

1. Généralisation tridimensionnelle: Développer des techniques applicables en dimension trois, possiblement nécessitant:
   • Théorie d'existence locale
   • Globalité pour petites données initiales ou structures spéciales
   • Hypothèse de mobilités constantes
2. Cas $L = 0$: Chercher de nouvelles méthodes pour traiter ce cas ou établir son infaisabilité
3. Comportement à long terme: Étudier le comportement asymptotique des solutions, existence d'attracteurs
4. Vérification numérique: Développer des schémas numériques efficaces pour vérifier les prédictions théoriques

Évaluation approfondie

Points forts

1. Rigueur théorique:
   • Preuve complète et détaillée, traitement technique conforme aux normes
   • Explication claire des diverses difficultés techniques
   • Énoncés des lemmes et théorèmes précis
2. Caractère innovant:
   • Première établissement de la théorie des solutions fortes pour cette classe de systèmes
   • Le traitement des mobilités non dégénérées présente des défis significatifs
   • Les théories auxiliaires dans les appendices ont une valeur indépendante
3. Structure claire:
   • Les résultats principaux sont énoncés clairement à la Section 3
   • La stratégie de preuve est bien organisée hiérarchiquement
   • Les détails techniques en appendice ne perturbent pas la lecture du fil principal
4. Pertinence physique:
   • Modèle thermodynamiquement cohérent
   • Les mobilités non dégénérées correspondent mieux à la réalité
   • Conservation de la masse et loi de dissipation énergétique garanties

Insuffisances

1. Restriction dimensionnelle: Les résultats en dimension deux ont une applicabilité limitée, le cas tridimensionnel étant plus important mais non résolu
2. Restrictions de paramètres: Les restrictions $K \in (0, \infty)$ et $L \in (0, \infty]$ excluent certains cas physiques
3. Absence de vérification numérique: En tant que travail purement théorique, aucun exemple numérique n'est fourni pour soutenir les résultats théoriques
4. Complexité technique: La preuve est hautement technique, nécessitant des connaissances préalables substantielles, ce qui peut limiter le lectorat
5. Dépendance des constantes: De nombreuses estimations contiennent des constantes $C$ dépendant de plusieurs paramètres, sans expressions explicites

Impact

1. Contributions théoriques:
   • Comble une lacune importante dans la théorie des solutions fortes pour les systèmes de Navier-Stokes-Cahn-Hilliard avec conditions de frontière dynamiques
   • Fournit des outils techniques et un cadre théorique pour les recherches ultérieures
2. Valeur méthodologique:
   • La combinaison de la méthode semi-Galerkin et de l'argument du point fixe peut s'appliquer à d'autres systèmes couplés
   • Les techniques d'estimations d'ordre supérieur ont un caractère général
3. Potentiel applicatif:
   • Fournit un soutien théorique aux méthodes numériques
   • Applicable à la modélisation en science des matériaux, dynamique des membranes biologiques, etc.

Domaines d'application

1. Science des matériaux: Séparation de phase et dynamique d'interface des matériaux fluides biphasiques
2. Biophysique: Modèle de mosaïque fluide des membranes cellulaires, dynamique des bicouches lipidiques
3. Dynamique de la ligne de contact: Mouvement et mouillage des gouttelettes sur surfaces solides
4. Recherche théorique:
   • Théorie de régularité des équations aux dérivées partielles non linéaires
   • Analyse de bonne posture des systèmes couplés
   • Théorie mathématique des conditions de frontière dynamiques

Références (sélection)

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.

Évaluation globale: Ceci est un article mathématique théorique de haute qualité qui apporte des contributions importantes au domaine de l'analyse des équations aux dérivées partielles. Malgré les restrictions dimensionnelles et paramétriques, son innovation technique et sa profondeur théorique méritent reconnaissance. Pour les mathématiciens et scientifiques appliqués travaillant dans les domaines connexes, cet article fournit des outils théoriques précieux et un paradigme de recherche.