Well-posedness of a semi-discrete Navier-Stokes/Allen-Cahn model

Abstract

This paper address the existence and uniqueness, in suitable functional spaces, of the solution of a non linear system of equations originating from the implicit time discretization of the coupled unsteady Navier-Stokes and Allen-Cahn equations. This result is based on the convergence analysis of an original stabilized fixed point algorithm, from which we also get a maximum principle. Numerical experiments are performed to illustrate the influence of the implicit formulation in comparison to a simpler approach based on a semi-explicit time scheme.