Keywords

1 Introduction

We are interested in the modelling of fluid-solid systems where we consider rigid solid inclusions in an incompressible viscous fluid flow in a three-dimensional domain. Such problems led to a wide panel of methods to attempt to model and reproduce faithfully the fluid-solid interactions observed in real life problems. Depending on the needs, different degrees of coupling between the fluid and the particles may be applied. In what follows we will resort to a strong coupling to make evident the influence of the solid inclusions on the fluid. Using an Eulerian formulation for the fluid flow, we extend the fluid problem inside the solid domain as defined by the fictitious domain methods. Given the assumptions on the particles we require a rigidity constraint on the solid domain. Among the most famous methods in this field, the works of Glowinsky et al. [1] which resort to Lagrange multipliers for the constraint, and volume penalty methods [2, 3]. The latter idea is based on porous laws and will be considered in our model.

Let us introduce our physical domain \(\varOmega \) along with its boundary \(\varGamma ,\) containing the fluid domain \(\varOmega _f (t)\) and N particles \(\varOmega _s^i (t)\) such that \(\cup _{i=1}^{N} \varOmega _s^i (t) = \varOmega _s(t)\) defines the solid domain. Therefore we have \(\varOmega _f(t) = \varOmega \setminus \overline{ \varOmega _s(t)}\). Given the assumptions, we will work with the incompressible Navier-Stokes equations to govern the fluid flow,

$$\begin{aligned} \left\{ \begin{array}{l l l l} \rho \Big (\dfrac{\partial {\varvec{v}}}{\partial t} &{} + \left( {\varvec{v}} \cdot \nabla \right) {\varvec{v}} \Big ) - 2 \varvec{\nabla }\cdot \left( \mu D ( {\varvec{v}})\right) + \nabla p = {\varvec{f}} &{} \text{ in } &{} \mathbb {R}^+ \times \varOmega _f(t) \\ \varvec{\nabla }\cdot \varvec{v} &{} = 0 &{} \text{ in } &{} \mathbb {R}^+ \times \varOmega _f(t) \\ \\ \varvec{v}(0,\varvec{x}) &{} = \varvec{v}_{0} &{} \text{ in } &{} \mathbb {R}^+ \times \varOmega _f(0) \\ \varvec{v}(t,\varvec{x}) &{} = \varvec{v}_{\varGamma } &{} \text{ on } &{} \mathbb {R}^+ \times \varGamma \\ \varvec{v}(t,\varvec{x}) &{} = \varvec{V}_{i}(t) + \varvec{ \omega }_i(t) \times \varvec{r}_i(t,\varvec{x}) &{} \text{ on } &{} \mathbb {R}^+ \times \partial \varOmega _s^i (t) \end{array}\right. \end{aligned}$$

with the fluid velocity \(\varvec{v}\) and pressure p as the unknowns. The fluid here is defined by its density \(\rho \) and dynamic viscosity \(\mu \). The term \(\varvec{D} ({\varvec{v}})\) in the momentum equation refers to the tensor of deformation rate of the fluid, and we have: \(\varvec{D} ({\varvec{v}}) = \frac{1}{2}(\varvec{\nabla v} + (\varvec{\nabla v})^T) \). The last relation defines the no–slip condition; it closes the boundary conditions on \(\varOmega _f\) and enables the coupling with the solid domain. It states that the fluid velocity and the solid velocity are equal on the fluid–solid interface. Finally, as the particles are assumed to be rigid, their motion can be described using the translational and rotational velocities \((\varvec{V}_i , \varvec{\omega }_i )\) of their respective center of mass \(\varvec{X_i}\). As such we can define the rigid velocity field \(\varvec{v}_s(t,\varvec{x})\) in \(\varOmega _s(t)\): \(\forall \varvec{x} \in \overline{\varOmega _s(t)},\) \(\exists (\varvec{V}_{i}(t), \varvec{ \omega }_i(t)),\) \(\varvec{v_s}(t) = \varvec{V}_{i}(t) + \varvec{ \omega }_i(t) \times \varvec{r}_i(t,\varvec{x})\) where \( \varvec{r}_i(t,\varvec{x}) = \varvec{x} - \varvec{X_i}(t)\). In addition we have for each particle that,

$$\begin{aligned} \left\{ \begin{array}{l l l} M_i \dfrac{d \varvec{V}_i}{\delta t} &{} = &{} \displaystyle \int _{\varOmega _s^i (t)} \rho _s \varvec{f}_i(t,\varvec{x}) dx + \int _{\partial \varOmega ^i_s} \varvec{\sigma } (\varvec{v},p) \cdot \varvec{n} dS \\ \\ \dfrac{ d( J_i(t) \varvec{\omega }_i)}{\delta t} &{} = &{} \displaystyle \int _{\varOmega _s^i (t)} \rho _s \varvec{r}_i(t,\varvec{x}) \times \varvec{f}_i(t,\varvec{x}) dx + \displaystyle \int _{\partial \varOmega ^i_s}\varvec{r}_i(t,\varvec{x})\times ( \varvec{\sigma } (\varvec{v},p) \cdot \varvec{n}) dS \end{array}\right. \end{aligned}$$

Here the particle is subjected to the exterior force \(\varvec{f}_i\). The coupling with the fluid exists within the surface integrals, as they involve \(\varvec{\sigma } (\varvec{v},p) = ( - p \varvec{I} + 2 \mu \varvec{D(v)})\), the surface stress tensor of the incompressible fluid. The surface integral applied to the translational (resp. rotational) acceleration will be denoted \(\varvec{F}_i\) (resp. \(\varvec{T}_i)\). We also define the density, mass and inertia tensor \((\rho _s, M_i, J_i)\) of the particle i.

So as to prevent the use of time–dependent spatial meshes, we resort to fictitious domain methods to extend the fluid problem inside the solid domain. In our case we will be using and comparing the L2–penalty and the H1–penalty methods, which consist in penalizing specific quantities in the fluid problem. Convergence estimates can be found in [2, 4] for fixed obstacles. Notably, the L2–penalty has a convergence rate of \(\mathcal {O}(\eta ^{1/2})\) in the fluid in regard to the penalization parameter \(\eta \) whereas the H1–penalty has a convergence rate of \(\mathcal {O}(\eta )\).

1.1 The Darcy or L2–Penalty

We penalize the velocity itself by introducing a perturbation term to the momentum equation in order to extend the problem inside the solid domain:

$$\begin{aligned} \left\{ \begin{array}{l l l l} \rho \Big ( \dfrac{\partial \varvec{v}}{\partial t} &{} + ( \varvec{v} \cdot \nabla ) \varvec{v} \Big ) - 2 \varvec{\nabla }\cdot \left( \mu D ( {\varvec{v}})\right) + \nabla p + \dfrac{\mu }{\eta }\varvec{1}_{\varOmega _s} ( \varvec{v} - \varvec{v}_s ) = \varvec{f} &{} \text{ in } &{}\mathbb {R}^+ \times \varOmega \\ \varvec{\nabla }\cdot \varvec{v} &{} = 0 &{} \text{ in } &{}\mathbb {R}^+ \times \varOmega \\ \end{array}\right. \end{aligned}$$

The parameter \(\eta \) roughly describes the permeability of the solid domain, which is now considered as a porous medium. The latter will be taken as small as possible, in order to obtain the no–slip condition on \(\partial \varOmega _s\) in a weak sense with fixed point iterations regarding the convergence of \(\varvec{v}_s\).

Following the introduction, the system of equations above is coupled to the Newton laws for the transport of the solid domain. Owing to the modified momentum equation, we can consider for the fluid contributions on the particle \(\varOmega ^i_s(t)\):

$$\begin{aligned} \begin{array}{r c l} \varvec{F}_i &{} = &{} \displaystyle \lim _{\eta \rightarrow 0} \dfrac{\mu }{\eta } \displaystyle \int _{\varOmega ^i_s (t)} (\varvec{v} - \varvec{v}_s) dx + \rho \displaystyle \int _{\varOmega ^i_s (t)} \dfrac{d\varvec{v}}{dt} dx \\ \varvec{T}_i &{} = &{} \displaystyle \lim _{\eta \rightarrow 0} \dfrac{\mu }{\eta } \displaystyle \int _{\varOmega ^i_s (t)} \varvec{r}_i(t,\varvec{x}) \times (\varvec{v} - \varvec{v}_s) dx + \rho \displaystyle \int _{\varOmega ^i_s (t)} \varvec{r}_i(t,\varvec{x}) \times \dfrac{d \varvec{v}}{dt} dx \end{array} \end{aligned}$$

Using these definitions, one deals with volume integrals, favoring greatly their computation in the context of fictitious domain methods.

1.2 The Viscous or H1–Penalty

We constraint the extended fluid velocity by penalizing its tensor of deformation rate \(\varvec{D} ({\varvec{v}})\) inside the solid domain, in the momentum equation. To achieve this we resort to a multiphase flow representation of the problem, using the non–homogeneous incompressible Navier-Stokes equations with variable viscosity,

$$\begin{aligned} \left\{ \begin{array}{l l l } \dfrac{\partial {\rho }}{\partial t} + \Big ({\varvec{v}} \cdot \nabla \Big ) {\rho } = 0 &{} \text{ in } &{}\mathbb {R}^+ \times \varOmega \\ \\ \dfrac{\partial {(\rho \varvec{v})}}{\partial t} + \varvec{\nabla }\cdot (\rho \varvec{v} \otimes \varvec{v}) - 2 \varvec{\nabla }\cdot \left( \mu (\rho ) D ( {\varvec{v}})\right) + \nabla p = {\varvec{f}} &{} \text{ in } &{}\mathbb {R}^+ \times \varOmega \\ \\ \varvec{\nabla }\cdot \varvec{v} = 0 &{} \text{ in } &{}\mathbb {R}^+ \times \varOmega \end{array}\right. \end{aligned}$$

along with inflow boundary conditions for \(\rho \) on \(\{{\varvec{x} \in \varGamma , (\varvec{v}(t,\varvec{x})\cdot \varvec{n}(\varvec{x})) < 0}\)} as well as initial conditions. Consequently we have introduced the transport equation of the two–valued density \(\rho (t,\varvec{x}) \ge \underline{\rho }> 0\), which will carry out the transport of the particles rather than the Newton laws. Similarly, we have for the viscosity: \( \mu _f \le \mu (\rho ) \le \mu _s\). The solid viscosity \(\mu _s\) will be taken as great as possible to enforce the penalization of the tensor \(\varvec{D}(\varvec{v})\). We aim that way to tend towards \(\Vert \varvec{D}(\varvec{v}) \Vert _{\varvec{L}^2(\varOmega _s(t))} = 0\). With this property we can go back to a rigid motion velocity field in \(\varOmega _s(t)\) for an accurate representation of the rigid behaviour of the particles.

2 Numerical Method to Solve the Problem

In the present section we describe time and spatial discretization schemes applied to the penalized problems, followed by the strategies regarding the fluid–structure coupling. We resort to the incremental projection scheme [5, 6] adapted to both penalty methods to solve the extended problem in \(\varOmega \). Using the Hodge–Helmholtz decomposition of a given vector in \(\varvec{L}^2(\varOmega )\), we are able to decouple the computation of the velocity and pressure. In a first sub-step we account for the viscous terms to determine a predicted velocity, followed by a second sub-step where we enforce the incompressibility constraint to obtain the pressure and corrected velocity. For the discretization of the derivatives, we use a BDF2 formulation for the time derivative of the velocity and a Richardson extrapolation for the non—linear inertia term. Thereafter we complete the projection scheme with the transport of the solid domain. For the Darcy penalty, we use an implicit scheme of the Newton laws in regards to the particle velocities.

Resorting to an advection scheme of the phase field of the particles for the viscous penalty could render difficult the localisation of the fluid–solid interface. Instead we carry out the transport of markers defined on the surface of the particles using Runge–Kutta schemes [7]. We require at least \(N_{df}=6\) markers for each particle, \(N_{df}\) being the degree of freedom for a 3–dimensional rigid solid. Using the no–slip condition, we end up with at most an overdetermined system given by the rigid–body equations valued on each marker.

Fig. 1.
figure 1

Defining the markers for a particle in 2D

As we aim to simulate a large collection of particles we need to adopt a fitting strategy to account for the potential collisions between particles or the boundaries of the computational domain. One can resort to repulsive forcesusing the given position and orientation of the particle. In our case we will couple the fluid–solid scheme above with the method introduced in [8]. In the latter reference we break down a particle in sub–spheres in such a way that we can define the particle as the union of the convex hulls of two neighbouring sub–spheres (Fig. 1). Using an Uzawa algorithm, the predicted velocities of all sub–spheres are projected on a set of admissible velocities.

Regarding the spatial discretizations, finite volumes and a staggered mesh have been chosen. We define the fields for the penalty quantities \((\rho , \mu , \varvec{1}_{\varOmega _s})\) on the velocity grids. To compute those fields on the cells where the fluid-solid interface is located, we adopt an averaging method.

3 Validation Tests and Comparisons

3.1 Dropping a Ball in a Viscous Fluid

For a first test we drop a rigid heavy sphere in a viscous fluid and observe it attaining its terminal velocity according to the principle that the drag force exerted on the particle by the fluid as well as buoyancy balances the gravity applied to the sphere. We define the fluid using the density \(\rho _f = 1\) and viscosity \(\mu _f = 0.01\). The sphere with radius \(r=0.05\) and density \(\rho _s=5\) is falling in the rectangular domain \([0,1]\times [0,1]\times [0,3]\) to which we applied channel–flow boundary conditions. The gravity constant applied to the ball is \(g=98.1\). We take for the penalty parameters \(\mu _s = 10^4\) and \(1/\eta = 10^7\). For the time step we will be using \(\delta t= 0.001\). The spatial step h is such that \(h =\displaystyle \max _{i=x,y,z} h_i = 1/50\). The initial position for the ball is (0.5, 0.5, 1) (Figs. 2 and 3).

Fig. 2.
figure 2

Fluid velocity magnitude for the L2–penalty (left) and H1–penalty (right) when \(Z(t) = 2.617\)

Fig. 3.
figure 3

W-component of the translational velocity reaching a terminal velocity of the for the L2–penalty (above) and H1–penalty (bottom)

In both cases the velocity of the particle keeps a straight trajectory and reaches a terminal velocity, which is a first satisfying result. However the terminal velocities while being within the same order (\(4L.T^{-1}\) against \(12L.T^{-1}\)) still differ. We can also observe a diffusion around the sphere constrained with the H1/viscous penalty. This could be explained by the fact that no specific treatment regarding the interface is used when computing the viscous part of the momentum equation of the penalized problem. Meanwhile the Darcy penalty probably requires corrections regarding the physical parameters and external forces to obtain a coherent coupling between the Newton laws and the fluid problem.

3.2 A Rigid Rod in a Lid–Driven Cavity

To demonstrate the marker strategy with a non–spherical particle, we place a rigid rod in the domain \(\varOmega =[0,1]^3\) with the boundary conditions of a lid–driven cavity problem. On the side \(\{(x,y,z)\in \varGamma , z = 1\}\) of \(\varOmega \) we set \(\varvec{u}(t,\varvec{x}) = 1\). The rigid rod is defined with the density \(\rho _s=0.8\), a length \(l=0.1\) and width \(w=0.02\). For the fluid we use \(\mu _f = 1.0\). We neglect the gravity and leave the boundary conditions to establish the flow. We use the spatial step \(h = 1/70\) and the same time step as the previous test. We take \(\mu _s = 10^4\) to penalize the solid (Fig. 4).

Fig. 4.
figure 4

State of the problem at times \(t= 2.25\), \(t= 4,25\), \(t= 6.0\), \(t= 6.75\)

Despite the rather coarse mesh and the thin rod used in this test, the particle properly follows the flow and rotates appropriately, while remaining rigid. The markers seem to handle correctly the decomposition of a complex particle using sub–spheres from the collision strategy.

4 Concluding Remarks

We were able to study and compare the L2-penalty and the H1-penalty methods in the context of particulate flows. As far as we know, comparative studies between those two methods do not exist for such situations. Therefore, this work can be considered as a novel short progress in this direction. The numerical tests were overall satisfying and allowed us to take a step further in validating our code. However more work is required regarding the calibration of the Darcy penalty problem and the sharpness of the interface with the viscous–penalized problem to help with the comparison of the methods and the global observations.