Abstract
We study the Abels–Garcke–Grün (AGG) model for a mixture of two viscous incompressible fluids with different densities. The AGG model consists of a Navier–Stokes–Cahn–Hilliard system characterized by a (non-constant) concentration-dependent density and an additional flux term due to interface diffusion. In this paper we address the well-posedness problem in the two-dimensional case. We first prove the existence of local strong solutions in general bounded domains. In the space periodic setting we show that the strong solutions exist globally in time. In both cases we prove the uniqueness and the continuous dependence on the initial data of the strong solutions. Lastly, we show a stability result for the strong solutions to the AGG model and the model H in terms of the density values.
Similar content being viewed by others
Notes
A different approximation leading to a concentration \(\phi _m\) with values outside the interval \([-1,1]\) may need a suitable extension of \(\rho (\cdot )\) outside the interval \([-1,1]\), and, in general, it may happen that \(\rho '(\phi )\ne \frac{\rho _1-\rho _2}{2}\).
In contrast to the classical periodic setting for the incompressible Navier–Stokes [cf. [33]], we do not require that \({\widehat{{{\varvec{u}}}}}_0=0\) in the definition of \({\mathbb {H}}_\sigma \) and \({\mathbb {V}}_\sigma \). This is due to the fact that \({\overline{{{\varvec{u}}}}}=\frac{1}{|\Omega |}\int _{\Omega } {{\varvec{u}}}\, \mathrm{d}x\) is not conserved by the flow of (1.1).
The estimate (4.12) is derived from [1, Lemma 3] and [22, Lemma 5.1]. More precisely, [22, Eq. (5.6)] yields
$$\begin{aligned}&\frac{1}{2} \frac{\mathrm{d}}{\mathrm{d}t}\Vert \nabla A^{-1} \partial _t^h \phi _m\Vert _{L^2(\Omega )}^2 + \frac{1}{2} \Vert \nabla \partial _t^h \phi _m\Vert _{L^2(\Omega )}^2 \le C\Vert \nabla A^{-1} \partial _t^h \phi _m|_{L^2(\Omega )}^2 \\&\qquad + ({{\varvec{v}}}(t+h)\partial _t^h \phi _m, \nabla A^{-1}\partial _t^h \phi _m) +(\partial _t^h {{\varvec{v}}}\phi _m, \nabla A^{-1}\partial _t^h \phi _m), \end{aligned}$$for \(t\in (0,T-h\), where \(\partial _t^h f (\cdot )= \frac{1}{h}(f(\cdot +h) -f(\cdot ))\) and \(A^{-1}\) is the inverse of the Laplace operator with Neumann boundary conditions. Since \(\phi _m\) is bounded [cf. (4.8)] and following [22, Lemma 5.1], we obtain (cf. also [1, Eq. (3.19)])
$$\begin{aligned}&\frac{1}{2} \frac{\mathrm{d}}{\mathrm{d}t}\Vert \nabla A^{-1} \partial _t^h \phi _m\Vert _{L^2(\Omega )}^2 + \frac{1}{4} \Vert \nabla \partial _t^h \phi _m\Vert _{L^2(\Omega )}^2 \\&\quad \le C(1+ \Vert {{\varvec{v}}}(t+h)\Vert _{L^2(\Omega )}^2) \Vert \nabla A^{-1} \partial _t^h \phi _m|_{L^2(\Omega )}^2+ C \Vert \partial _t^h {{\varvec{v}}}\Vert _{L^2(\Omega )}^2, \end{aligned}$$where C is independent of h. Thanks to \(\Vert \nabla A^{-1} \partial _t^h \phi (0)\Vert _L^2(\Omega )\le C(1+ \Vert \nabla \mu _0\Vert _{L^2(\Omega )}+ \Vert {{\varvec{v}}}\Vert _{L^\infty (0,T; L^2(\Omega ))})\) [cf. [1, Eq. (3.18)] and [14, Eq. 5.8]], we conclude from the Gronwall lemma that (4.12) holds replacing \(\partial _t \phi _m\) with \(\partial _t^h \phi _m\). Then, passing to the limit \(h\rightarrow 0\) as in [1, Lemma 3], we arrive at (4.12).
Let us consider the Lipschitz truncation of \(\phi _m\) defined by \(\phi _m^k=h_k(\phi _m)\), where \(h_k(s)=s\) for \(s\in (-1+\frac{1}{k},1-\frac{1}{k})\), \(h_k(s)= 1-\frac{1}{k}\) for \(s\in [1-\frac{1}{k},1)\), and \(h_k(s)=-1+\frac{1}{k}\) for \(s \in (-1, -1 +\frac{1}{k}]\). Thanks to (4.8), for almost every \(t\in (0,T)\), \(\phi _m^k \rightarrow \phi _m\) almost everywhere in \(\Omega \), thereby \(F'(\phi _m^k) \rightarrow F'(\phi _m)\), \(F''(\phi _m^k) \rightarrow F''(\phi _m)\) almost everywhere in \(\Omega \). Since \(|F'(\phi _m^k)|\le |F'(\phi _m)|\) and \(F'(\phi _m)\in L^\infty (0,T;L^2(\Omega ))\), we infer that \(F'(\phi _m^k) \rightarrow F'(\phi _m)\) in \(L^2(\Omega )\) for almost every \(t \in (0,T)\). Then, for any test function \(\varphi \in C_c^\infty (\Omega )\)
$$\begin{aligned} \int _{\Omega } F'(\phi _m) \partial _{x_i} \varphi \, \mathrm{d}x&= -\lim _{k\rightarrow \infty } \int _{\Omega }F'(\phi ^k_m) \partial _{x_i} \varphi \, \mathrm{d}x = \lim _{k \rightarrow \infty } \int _{\Omega } F''(\phi ^k_m)\partial _{x_i} \phi ^k_m \, \varphi \, \mathrm{d}x\\&= \lim _{k \rightarrow \infty } \int _{\Omega } F''(\phi ^k_m) \chi _{\lbrace \phi _m \in (-1+\frac{1}{k}, 1-\frac{1}{k})\rbrace } (\phi _m) \partial _{x_i} \phi _m \, \varphi \, \mathrm{d}x = \int _{\Omega } F''(\phi _m) \partial _{x_i} \phi _m \, \varphi \, \mathrm{d}x, \end{aligned}$$where the last limit follows from Lebesgue’s dominated convergence theorem since \(|F''(\phi ^k_m) \chi _{\lbrace \phi _m \in (-1+\frac{1}{k}, 1-\frac{1}{k})\rbrace } (\phi _m)|\le |F''(\phi _m)|\) and \(F''(\phi _m) \in L^\infty (0,T;L^2(\Omega ))\).
References
Abels, H.: On a diffuse interface model for two-phase flows of viscous, incompressible fluids with matched densities. Arch. Ration. Mech. Anal. 194, 463–506 (2009)
Abels, H.: Existence of weak solutions for a diffuse interface model for viscous, incompressible fluids with general densities. Commun. Math. Phys. 289, 45–73 (2009)
Abels, H.: Strong well-posedness of a diffuse interface model for a viscous, quasi-incompressible two-phase flow. SIAM J. Math. Anal. 44, 316–340 (2012)
Abels, H., Breit, D.: Weak solutions for a non-Newtonian diffuse interface model with different densities. Nonlinearity 29, 3426–3453 (2016)
Abels, H., Depner, D., Garcke, H.: Existence of weak solutions for a diffuse interface model for two-phase flows of incompressible fluids with different densities. J. Math. Fluid Mech. 15, 453–480 (2013)
Abels, H., Depner, D., Garcke, H.: On an incompressible Navier–Stokes/Cahn–Hilliard system with degenerate mobility. Ann. Inst. H. Poincaré Anal. Non Linéaire 30, 1175–1190 (2013)
Abels, H., Garcke, H., Grün, G.: Thermodynamically consistent, frame indifferent diffuse interface models for incompressible two-phase flows with different densities. Math. Models Methods Appl. Sci. 22, 1150013 (2012)
Abels, H., Garcke, H.: Weak solutions and diffuse interface models for incompressible two-phase flows. Handbook of Mathematical Analysis in Mechanics of Viscous Fluid. Springer (2018)
Abels, H., Terasawa, Y.: Weak solutions for a diffuse interface model for two-phase flows of incompressible fluids with different densities and nonlocal free energies. Math. Meth. Appl. Sci. 43, 3200–3219 (2020)
Abels, H., Weber, J.: Local well-posedness of a quasi-incompressible two-phase flow. J. Evol. Equ. (2020). https://doi.org/10.1007/s00028-020-00646-2
Boyer, F.: Nonhomogeneous Cahn–Hilliard fluids. Ann. Inst. H. Poincaré Anal. Non Linéaire 18, 225–259 (2001)
Boyer, F.: A theoretical and numerical model for the study of incompressible mixture flows. Comput. Fluids 31, 41–68 (2002)
Choe, H.J., Kim, H.: Strong solutions of the Navier–Stokes equations for nonhomogeneous incompressible fluids. Commun. Partial Differ. Equ. 28, 1183–1202 (2003)
Conti, M., Giorgini, A.: Well-posedness for the Brinkman–Cahn–Hilliard system with unmatched viscosities. J. Differ. Equ. 268, 6350–6384 (2020)
Ding, H., Spelt, P.D.M., Shu, C.: Diffuse interface model for incompressible two-phase flows with large density ratios. J. Comput. Phys. 226, 2078–2095 (2007)
Frigeri, S.: Global existence of weak solutions for a nonlocal model for two-phase flows of incompressible fluids with unmatched densities. Math. Models Methods Appl. Sci. 26, 1957–1993 (2016)
Frigeri, S.: On a nonlocal Cahn–Hilliard/Navier–Stokes system with degenerate mobility and singular potential for incompressible fluids with different densities. Ann. Inst. H. Poincaré Anal. Non Linéaire (in press) (2020). https://doi.org/10.1016/j.anihpc.2020.08.005
Galdi, G.P.: An Introduction to the Mathematical Theory of the Navier–Stokes Equations, vol. 1. Springer, Berlin (1994)
Gal, C.G., Grasselli, M., Wu, H.: Global weak solutions to a diffuse interface model for incompressible two-phase flows with moving contact lines and different densities. Arch. Ration. Mech. Anal. 234, 1–56 (2019)
Giga, M.H., Kirshtein, A., Liu, C.: Variational modeling and complex fluids, Handbook of mathematical analysis in mechanics of viscous fluids, pp. 73–113. Springer, Cham (2018)
Giorgini, A.: Well-posedness for a diffuse interface model for two-phase Hele–Shaw flows. J. Math. Fluid Mech. 22, 5 (2020)
Giorgini, A., Grasselli, M., Wu, H.: The Cahn–Hilliard–Hele–Shaw system with singular potential. Ann. Inst. H. Poincaré Anal. Non Linéaire 35, 1079–1118 (2018)
Giorgini, A., Miranville, A., Temam, R.: Uniqueness and Regularity for the Navier–Stokes–Cahn–Hilliard system. SIAM J. Math. Anal. 51, 2535–2574 (2019)
Giorgini, A., Temam, R.: Weak and strong solutions to the nonhomogeneous incompressible Navier–Stokes–Cahn–Hilliard system. J. Math. Pures Appl. 144, 194–249 (2020)
Gurtin, M.E., Polignone, D., Viñals, J.: Two-phase binary fluids and immiscible fluids described by an order parameter. Math. Models Methods Appl. Sci. 6, 815–831 (1996)
Heida, M., Málek, J., Rajagopal, K.R.: On the development and generalizations of Cahn-Hilliard equations within a thermodynamic framework. Z. Angew. Math. Phys. 63, 145–169 (2012)
Kotschote, M., Zacher, R.: Strong solutions in the dynamical theory of compressible fluid mixtures. Math. Models Meth. Appl. Sci. 25, 1217–1256 (2015)
Lions, J.L., Magenes, E.: Non-homogeneous boundary value problems and applications, vol. I. Springer, New York (1972)
Lowengrub, J., Truskinovsky, L.: Quasi-incompressible Cahn–Hilliard fluids and topological transitions. Proc. R. Soc. Lond. A 454, 2617–2654 (1998)
Miranville, A., Zelik, S.: Robust exponential attractors for Cahn–Hilliard type equations with singular potentials. Math. Methods Appl. Sci. 27, 542–582 (2004)
M. Shokrpour Roudbari, G. Şimşek, E.H. van Brummelen, K.G. van der Zee, Diffuse-interface two-phase flow models with different densities: a new quasi-incompressible form and a linear energy-stable method. Math. Models Methods Appl. Sci. 28, 733–770 (2017)
Simon, J.: Compact sets in the space \(L^p(0, T;B)\). Ann. Mat. Pura Appl. 146, 65–96 (1987)
Temam, R.: Navier–Stokes Equations and Nonlinear Functional Analysis. CBMS-NSF Regional Conference Series in Applied Mathematics, 66, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA (1995)
Weber, J.: Analysis of diffuse interface models for two-phase flows with and without surfactants. Ph.D. thesis, University of Regensburg, urn:nbn:de:bvb:355-epub-342471 (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Giorgini, A. Well-posedness of the two-dimensional Abels–Garcke–Grün model for two-phase flows with unmatched densities. Calc. Var. 60, 100 (2021). https://doi.org/10.1007/s00526-021-01962-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-021-01962-2