Existence and uniqueness of global weak solutions to a Cahn–Hilliard–Stokes–Darcy system for two phase incompressible flows in karstic geometry

Abstract We study the well-posedness of a coupled Cahn–Hilliard–Stokes–Darcy system which is a diffuse-interface model for essentially immiscible two phase incompressible flows with matched density in a karstic geometry. Existence of finite energy weak solution that is global in time is established in both 2D and 3D. Weak–strong uniqueness property of the weak solutions is provided as well.

[1]  E. C. Childs.  Dynamics of fluids in Porous Media , 1973 .

[2]  P. Saffman.  On the Boundary Condition at the Surface of a Porous Medium , 1971 .

[3]  Helmut Abels,et al.  Existence of Weak Solutions for a Diffuse Interface Model for Viscous, Incompressible Fluids with General Densities , 2009 .

[4]  Wenbin Chen,et al.  Efficient and Long-Time Accurate Second-Order Methods for Stokes-Darcy System , 2012, 1211.0567.

[5]  Hao Wu,et al.  Long-time behavior for the Hele-Shaw-Cahn-Hilliard system , 2012, Asymptot. Anal..

[6]  Willi Jäger,et al.  On The Interface Boundary Condition of Beavers, Joseph, and Saffman , 2000, SIAM J. Appl. Math..

[7]  Thierry Gallouët,et al.  Nonlinear Schrödinger evolution equations , 1980 .

[8]  Steven M. Wise,et al.  Analysis of a Darcy-Cahn-Hilliard Diffuse Interface Model for the Hele-Shaw Flow and Its Fully Discrete Finite Element Approximation , 2011, SIAM J. Numer. Anal..

[9]  Jacques Simeon,et al.  Compact Sets in the Space L~(O, , 2005 .

[10]  Daozhi Han,et al.  Two‐phase flows in karstic geometry , 2014 .

[11]  J. Lions.  Quelques méthodes de résolution de problèmes aux limites non linéaires , 1969 .

[12]  Béatrice Rivière,et al.  Existence of a weak solution for the fully coupled Navier–Stokes/Darcy-transport problem , 2012 .

[13]  Andro Mikelico,et al.  ON THE INTERFACE BOUNDARY CONDITION OF , 2000 .

[14]  Vivette Girault,et al.  Finite Element Methods for Navier-Stokes Equations - Theory and Algorithms , 1986, Springer Series in Computational Mathematics.

[15]  M. Gunzburger,et al.  Coupled Stokes-Darcy model with Beavers-Joseph interface boundary condition , 2010 .

[16]  Helmut Abels,et al.  On a Diffuse Interface Model for Two-Phase Flows of Viscous, Incompressible Fluids with Matched Densities , 2009 .

[17]  D. Joseph,et al.  Boundary conditions at a naturally permeable wall , 1967, Journal of Fluid Mechanics.

[18]  A. Quarteroni,et al.  Analysis of a domain decomposition method for the coupling of Stokes and Darcy equations , 2003 .

[19]  A. Quarteroni,et al.  Navier-Stokes/Darcy Coupling: Modeling, Analysis, and Numerical Approximation , 2009 .

[20]  I. P. Jones,et al.  Low Reynolds number flow past a porous spherical shell , 1973, Mathematical Proceedings of the Cambridge Philosophical Society.

[21]  Steven M. Wise,et al.  Analysis of a Mixed Finite Element Method for a Cahn-Hilliard-Darcy-Stokes System , 2013, SIAM J. Numer. Anal..

[22]  Nonlinear evolution inclusions arising from phase change models , 2007 .

[23]  Béatrice Rivière,et al.  Analysis of time-dependent Navier–Stokes flow coupled with Darcy flow , 2008, J. Num. Math..

[24]  Edriss S. Titi,et al.  Analysis of a mixture model of tumor growth , 2012, European Journal of Applied Mathematics.

[25]  Cornelius O. Horgan,et al.  Korn's Inequalities and Their Applications in Continuum Mechanics , 1995, SIAM Rev..

[26]  Xiaoming Wang,et al.  A second order in time, uniquely solvable, unconditionally stable numerical scheme for Cahn-Hilliard-Navier-Stokes equation , 2014, J. Comput. Phys..

[27]  Franck Boyer,et al.  Mathematical study of multi‐phase flow under shear through order parameter formulation , 1999 .

[28]  S. M. Wise,et al.  Unconditionally Stable Finite Difference, Nonlinear Multigrid Simulation of the Cahn-Hilliard-Hele-Shaw System of Equations , 2010, J. Sci. Comput..

[29]  Zhifei Zhang,et al.  Well-posedness of the Hele–Shaw–Cahn–Hilliard system , 2010, 1012.2944.

[30]  J. Simon.  Compact sets in the spaceLp(O,T; B) , 1986 .

[31]  H. Triebel.  Interpolation Theory, Function Spaces, Differential Operators , 1978 .

[32]  B. Rivière,et al.  On the solution of the coupled Navier–Stokes and Darcy equations , 2009 .

[33]  R. Showalter.  Monotone operators in Banach space and nonlinear partial differential equations , 1996 .

[34]  J. Lowengrub,et al.  Quasi–incompressible Cahn–Hilliard fluids and topological transitions , 1998, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[35]  Max Gunzburger,et al.  Asymptotic analysis of the differences between the Stokes–Darcy system with different interface conditions and the Stokes–Brinkman system☆ , 2010 .

[36]  R. Temam.  Navier-Stokes Equations , 1977 .

[37]  J. Lions,et al.  Non-homogeneous boundary value problems and applications , 1972 .

[38]  Jie Shen,et al.  A phase field model for the mixture of two incompressible fluids and its approximation by a Fourier-spectral method , 2003 .

[39]  Hao Wu,et al.  Convergence to equilibrium for a phase-field model for the mixture of two viscous incompressible fluids , 2009 .

[40]  D. J. Eyre.  Unconditionally Gradient Stable Time Marching the Cahn-Hilliard Equation , 1998 .

[41]  Alfio Quarteroni,et al.  Numerical analysis of the Navier–Stokes/Darcy coupling , 2010, Numerische Mathematik.

[42]  H. Abels,et al.  On Sharp Interface Limits for Diffuse Interface Models for Two-Phase Flows , 2012, 1212.5582.

[43]  Ivan Yotov,et al.  Coupling Fluid Flow with Porous Media Flow , 2002, SIAM J. Numer. Anal..

[44]  K. Deimling.  Nonlinear functional analysis , 1985 .

[45]  R. Temam,et al.  Navier-Stokes equations: theory and numerical analysis: R. Teman North-Holland, Amsterdam and New York. 1977. 454 pp. US $45.00 , 1978 .

[46]  Ciprian G. Gal,et al.  Asymptotic behavior of a Cahn-Hilliard-Navier-Stokes system in 2D , 2010 .

[47]  Béatrice Rivière,et al.  Time-dependent coupling of Navier–Stokes and Darcy flows , 2013 .

[48]  E. Miglio,et al.  Mathematical and numerical models for coupling surface and groundwater flows , 2002 .

[49]  Yanzhao Cao,et al.  Analysis and finite element approximation of a coupled, continuum pipe‐flow/Darcy model for flow in porous media with embedded conduits , 2011 .

[50]  Wenbin Chen,et al.  A Parallel Robin-Robin Domain Decomposition Method for the Stokes-Darcy System , 2011, SIAM J. Numer. Anal..

[51]  H. Beckert,et al.  J. L. Lions and E. Magenes, Non‐Homogeneous Boundary Value Problems and Applications, II. (Die Grundlehren d. Math. Wissenschaften, Bd. 182). XI + 242 S. Berlin/Heidelberg/New York 1972. Springer‐Verlag. Preis geb. DM 58,— , 1973 .

[52]  P. Grisvard.  Elliptic Problems in Nonsmooth Domains , 1985 .