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.
2023
Navier-Stokes-Voigt equations
Navier-Stokes equations
Conserved Allen-Cahn equation
Flory-Huggins potential
Diffuse interface models
Generalized Navier boundary conditions
Moving contact lines
Existence of solutions
Energy identity
Strict separation property
Uniqueness
Regularization in finite time
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1256879
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 0
social impact