We consider a diffuse interface model for an incompressible binary fluid flow. The model consists of the Navier-Stokes-Voigt equations coupled with the mass-conserving Allen-Cahn equation with Flory-Huggins potential. The resulting system is subject to generalized Navier boundary conditions for the (volume averaged) fluid velocity u and to a dynamic contact line boundary condition for the order parameter phi. These boundary conditions account for the moving contact line phenomenon. We establish the existence of a global weak solution which satisfies an energy inequality. A similar result is proven for the Allen-Cahn-Navier-Stokes system. In order to obtain some higher-order regularity (w.r.t. time) we propose the Voigt approximation: in this way we are able to prove the validity of the energy identity and of the strict separation property. Thanks to this property, we can show the uniqueness of quasi-strong solutions, even in dimension three. Regularization in finite time of weak solutions is also shown.
Allen–Cahn–Navier–Stokes–Voigt Systems with Moving Contact Lines
Grasselli M.;Poiatti A.
2023-01-01
Abstract
We consider a diffuse interface model for an incompressible binary fluid flow. The model consists of the Navier-Stokes-Voigt equations coupled with the mass-conserving Allen-Cahn equation with Flory-Huggins potential. The resulting system is subject to generalized Navier boundary conditions for the (volume averaged) fluid velocity u and to a dynamic contact line boundary condition for the order parameter phi. These boundary conditions account for the moving contact line phenomenon. We establish the existence of a global weak solution which satisfies an energy inequality. A similar result is proven for the Allen-Cahn-Navier-Stokes system. In order to obtain some higher-order regularity (w.r.t. time) we propose the Voigt approximation: in this way we are able to prove the validity of the energy identity and of the strict separation property. Thanks to this property, we can show the uniqueness of quasi-strong solutions, even in dimension three. Regularization in finite time of weak solutions is also shown.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.