Theory of Multifluid Flows
We introduce here the methodology associated to multifluid flows.
1. Introduction
Let’s define a bounded domain \(\Omega \subset \mathbb{R}^p\) (\(p=2,3\)) decomposed into two subdomains \(\Omega_1\) and \(\Omega_2\). We denote \(\Gamma\) the interface between the two partitions. The goal of the level set method is to track implicitly the interface \(\Gamma(t)\) moving at a velocity \(\mathbf{u}\). The level set method has been described in [osher] and its main ingredient is a continuous scalar function \(\phi\) (the /level set/ function) defined on the whole domain. This function is chosen to be positive in \(\Omega_1\), negative in \(\Omega_2\) and zero on \(\Gamma\). The motion of the interface is then described by the advection of the level set function with a divergence free velocity field \(\mathbf{u}\):
A convenient choice for \(\phi\) is a signed distance function to the interface. Indeed, the property \(\nabla \phi = 1\) of distance functions eases the numerical solution and gives a convenient support for delta and Heaviside functions).
Nevertheless, it is known that the advection equation \eqref{eq:advection} does not conserve the property \(\nabla \phi=1\). Thus, when \(\nabla \phi\) is far from \(1\) we have to reset \(\phi\) as a distance function without moving the interface. To do so we can either use an HamiltonJacobi method or the fast marching method (see [Winkelmann2007] for details about the fast marching method).
2. Interface related quantities
In twofluid flow simulations, we need to define some quantities related to the interface such as the density, the viscosity, or some interface forces. To this end, we introduce the smoothed Heaviside and delta functions:
where \(\varepsilon\) is a parameter defining a ``numerical thickness'' of the interface. A typical value of \(\varepsilon\) is \(1.5 h\) where \(h\) is the mesh size of elements crossed by the isovalue \(0\) of the level set function.
The Heaviside function is used to define parameters having different values on each subdomains. For example, we define the density of twofluid flow as \(\rho = \rho_2 + (\rho_1\rho_2) H_{\varepsilon}(\phi)\) (we use a similar expression for the viscosity \(\nu\)). Regarding the delta function, it is used to define quantities on the interface. In particular, in the variational formulations, we replace integrals over the interface \(\Gamma\) by integrals over the entire domain \(\Omega\) using the smoothed delta function. If \(\phi\) is a signed distance function, we have : \(\int_{\Gamma} 1 \simeq \int_{\Omega} \delta_{\varepsilon}(\phi)\). If \(\phi\) is not close enough to a distance function, then \(\int_{\Gamma} 1 \simeq \int_{\Omega} \nabla \phi \delta_{\varepsilon}(\phi)\) which still tends to the measure of \(\Gamma\) as \(\varepsilon\) vanishes. However, if \(\phi\) is not a distance function, the support of \(\delta_{\varepsilon}\) can have a different size on each side of the interface. More precisely, the support of \(\delta_{\varepsilon}\) is narrowed on the side where \(\nabla \phi>1\) and enlarged on regions where \(\nabla \phi<1\). It has been shown in [cottet] that replacing \(\phi\) by \(\frac{\phi}{\nabla \phi}\) has the property that \(\nabla \frac{\phi}{\nabla \phi} \simeq 1\) near the interface and has the same isovalue \(0\) as \(\phi\). Thus, replacing \(\phi\) by \(\frac{\phi}{\nabla \phi}\) as support of the delta function does not move the interface. Moreover, the spread interface has the same size on each part of the levelset \(\phi=0\). It reads \(\int_{\Gamma} 1 \simeq \int_{\Omega} \delta_{\varepsilon}(\frac{\phi}{ \nabla \phi})\). The same technique is used for the Heaviside function.
3. Numerical implementation and coupling with the fluid solver
We use Feel++ to discretize and solve the problem. Equation \eqref{eq:advection} is solved using a stabilized finite element method. We have implemented several stabilization methods such as Streamline Upwind Diffusion (SUPG), Galerkin Least Square (GLS) and Subgrid Scale (SGS). A general review of these methods is available in [Franca92]. Other available methods include the Continuous Interior Penalty method (CIP) are described in [Burman2006]. The variational formulation at the semidiscrete level for the stabilized equation \eqref{eq:advection} reads, find \(\phi_h \in {\mathbb R}_h^k\) such that \(\forall \psi_h \in {\mathbb R}_h^k\) :
where \(S(\cdot, \cdot)\) stands for the stabilization bilinear form (see section \ref{sec:membrinext} for description of \({\mathbb R}_h^k\) and \(\mathbf{u}_h\)). In our case, we use a BDF2 scheme which needs the solution at the two previous time step to compute the one at present time. For the first time step computation or after a reinitialization we use an Euler scheme.
4. Twofluid flow
The twofluid flow problem can be expressed by
Where \(\boldsymbol{f}_\phi\) is the force obtain by projection of the density of interfacial forces on the domain \(\Omega\)
References

[Winkelmann2007] Interior penalty finite element approximation of navierstokes equations and application to free surface flows, C Winkelmann, EPFL, 2007

[Burman2006] Continuous Interior Penalty Finite Element Method for Oseen’s Equations, Erik Burman, Miguel A. Fernández and Peter Hansbo, SIAM Journal on Numerical Analysis, Vol. 44, No. 3 (2006), pp. 12481274