A new scalar projection method presented for simulating incompressible flows with variable density is proposed. It reverses conventional projection algorithm by computing first the irrotational component of the velocity and then the pressure. The first phase of the projection is purely kinematics. The predicted velocity field is subjected to a discrete Hodge-Helmholtz decomposition. The second phase of upgrade of pressure from the density uses Stokes’ theorem to explicitly compute the pressure. If all or part of the boundary conditions is then fixed on the divergence free physical field, the system required to be solved for the scalar potential of velocity becomes a Poisson equation with constant coefficients fitted with Dirichlet conditions.
Solving the equations of incompressible fluid flows requires ensuring the coupling of the equation of motion and that of the incompressibility constraint. This coupling can be implicit in a kind of “exact” approach by including the constraint in the linear system as for the method of the augmented Lagrangian [1] . It proves very efficient and robust; however, it involves the use of efficient preconditionners associated to iterative solvers and large linear systems due to the coupling of all velocity components [2] . Another class of methods is to split the resolution of the equation of motion for the application of the incompressibility constraint together with the formulation of an equation for pressure [3] . One important aspect is immediately apparent to the first authors who have developed numerical algorithms around finite volume methods, i.e., the spatial location of pressure and velocity unknowns. For collocated variables, instabilities appear and interpolations are needed to mitigate and remove these fluctuations of velocity and pressure [4] . Harlow and Welch in 1965 had introduced the notion of staggered variables [5] initially for two-phase flows. This strategy, called the Marker and Cell Method, ensures the coupling, direct or not, of the pressure and velocity fields without disturbance.
Since many authors have developed time splitting or prediction-correction methods called projection that involve treating the solving of motion equations and their incompressibility constraint sequentially. Many algorithms allow obtaining convergence orders in time ranging from range to. These orders also depend on the boundary conditions imposed. Some reviews can be found on these techniques including the comprehensive of Guermond et al. [6] . The more recent use of these techniques for the simulation of two-phase flows leads to ill-conditioned linear systems especially for strong density contrasts. Indeed solving a Poisson equation with strongly varying coefficients is very costly in terms of number of iterations of iterative solvers such as conjugate gradient. The direct solvers are efficient in two-dimensional space but are unusable in three- dimensional simulations for large numbers of degrees of freedom. Some authors address the problem on an algebraic point of view by specific preconditioning or by the resolution of a saddle point [7] -[10] . Other ways are sought for example by Guermond et al. [11] [12] extracting the density of the Poisson equation. This approach is effective mainly for small density ratios. It can be used with some caution for flows involving open boundary conditions [13] . The recent fast pressure-correction method of Dodd and Ferrante [14] is also based on the factorization of the density in the projection step by using of the minimum density between two separated fluids with the introduction of a pressure source term in the Poisson equation. This method has been validated against standard capillary test cases and it was utilized to simulate the interaction between a homogeneous isotropic turbulence and 6260 spherical particles. Works based on a vector approach of the resolution of the projection step [15] [16] are particularly effective for the simulation of two-phase flows with large density contrasts. However, it requires the solving of large linear systems induced by the coupling of all velocity components in the projection. In the same field, parallel works centered on the discrete Helmholtz-Hodge decomposition bring potential solutions to use it for solving partial differential equations such as Navier-Stokes equations [17] [18] . Other potential applications of this decomposition are numerous. They are detailed in the review of Bhatia et al. [19] .
The approach proposed here is based entirely on the mechanics of discrete media [20] . This formulation of the momentum conservation equation results in a set of equations that is different from the standard Navier-Stokes equations. Its constitution resumes from the fundamental law of dynamics, Newton’s second law, and on a vision of differential geometry. Thus a discrete equation of motion is obtained in the form of a natural decomposition of Helmholtz-Hodge in irrotational and solenoidal parts. This approach has led to a purely vectorial version of the projection method where at the end of this second step the boundary conditions of the problem are satisfied [21] . The present work is devoted to a scalar version of vectorial projection where irrotational components of the velocity are sought by a Helmholtz-Hodge decomposition of the scalar potential of velocity. A detailed presentation of the projection algorithm is first given and several illustrative examples of flows with varying densities are provided for discussion.
2. Kinematics Scalar Projection (KSP) Method
The resolution of the equation of motion in an incompressible formulation associated with the boundary conditions of the physical problem is the objective of projection methodologies. These motion equations can be the Navier-Stokes equations or the equations coming from the discrete mechanics [20] . For flows at constant density and at constant viscosity, both formulations are equivalent whereas it is not the case for variable fluid properties encountered in two-phase flows for example. As this choice is regardless for the scalar projection method under consideration here, the Navier-Stokes equations of motion for an incompressible flow are resumed
where V is the velocity, t the time, p the pressure, ρ the density and μ the dynamic viscosity. The boundary of the physical domain Ω is noted Σ. By decomposing the material derivative of velocity and discretizing equations at first order in time (a second order is easily obtained with the present method by using a second order Taylor expansion in time), a prediction step can be formulated for the intermediate velocity:
with the pressure at time, the time step and the solenoidal component of the desired velocity on the boundary, that is for a time discretization for which represents the time at the end of the prediction and projection steps of the time splitting approach. Two-phase flows with variable density encompass a wide variety of different physical situations. For example, a liquid-particle gas flow does not present the same difficulties as a hydraulic jump flow even if the density ratio is the same. In the second case, this is the difference in density associated with the gravity that generates the flow motions. In many cases, the algorithms described in the introduction section are sufficient to simulate the physical behavior of the problem. The Helmholtz-Hodge decomposition of the predicted velocity field is sufficient to maintain the balance between the effects of gravity and the dynamic effects even if the field is not exactly an irrotational field. This is the case for example for the natural convection presented in Section 3.2. In the absence of the incompressibility constraint in the equation of motion in the prediction step, the divergence of is not zero and only the normal velocity component is respected at the boundaries. The predicted field includes both solenoidal and irrotational contributions. The divergence free component is known on Σ thanks to the physical boundary condition to impose. However, the projection step does not allow maintaining it as it is related to a scalar equation. The scalar projection step consists in searching the irrotational component and then obtain the divergence free component by difference with. One of the Helmholtz-Hodge decomposition methods of the velocity into its two divergence and rotational free components amounts to applying the divergence operator to and that are equal since the divergence of the rotational is zero. It can be demonstrated [6] that null flux conditions on the scalar potential have to be associated to the Poisson equation
for Dirichlet boundary conditions on. Other types of boundary conditions can be also considered as discussed for example in [6] [13] [22] . In fact it can be built as many irrotational fields as boundary conditions applied to the system. However, there is little chance of finding a solenoidal field that satisfies the boundary conditions of the physical problem. This step is purely kinematics and does not result from any numerical time splitting. It does not involve either the density which is perfectly legitimate. The flow may be a variable density or two-phase immiscible flow, there is no physical reason or mathematical argument that leads to associate the density in the scalar potential velocity Φ. The dynamic part of the projection step contrariwise brings up the density for the pressure p. The following of the section specifically returns to the link between the scalar potential of velocity and pressure.
The first equation of system (2) is a prediction step. It can be solved with the physical boundary conditions of the problem. Its solution does not satisfy the divergence free constraint. Indeed, the solving of this prediction step with a scalar potential not adapted to the boundary conditions of incompressibility and unknown at the solving time of the prediction step introduces a non-zero irrotational component that has to be removed by means of Helmholtz-Hodge decomposition. The second equation of (1) cannot be solved directly as the actual component of the actual field has to be deduced from the difference between the fields and obtained after the decomposition of the field. It can be observed that derives from a potential. The second equation of (1) can in this way be directly and explicitly integrated [16] . The scalar potential of the velocity is obtained by a projection on a divergence free field by solving (3). If we discard the inertial and viscous terms and consider the momentum equation expected to be solved and the prediction step really solved, we have
By subtraction of these two equations, we obtain:
We also have
By combining (5) and (6), an equation linking the pressure increment and the irrotational velocity component can be written:
By using (3) and (7), we finally get the KSP projection step
The pressure increment is obtained by considering the Stokes theorem
According to (8) and (9),
Equation (10) is correct only if is a gradient. On a discrete point of view, ρ is constant over each mesh edge and Δt is also constant, so that is clearly a gradient and expression (10) always
holds, even for multi-phase flows, as soon as a fluid-fluid interface is part of mesh edges as in unstructured or ALE approaches. Finally, the update of the velocity and pressure fields is given by expressions:
where a and b correspond to vertices, endpoints of the edges Γ forming the computational mesh where the density is constant. This last relation corresponds to the application of one of the forms of the Stokes theorem which allows updating the potential geometrically if the velocity field is irrotational, which is the case. In the particular situation where the segment Γ is intersected at point c by an interface separating fluids of densities ρ1 and ρ2, i.e. front tracking, volume of fluid or level set representation of multiphase flows [23] [24] , the Stokes formula becomes:
As for the velocity, it stays continuous and constant along all the segment. Point c will be determined thanks to an interface tracking method of VOF, Front-Tracking or Level-Set type [23] [24] .
The pressure at time n + 1 is then. Practically, we start integrating the pressure increment from an arbitrary mesh point for which ρ is known (belonging to one phase or another) and by stating at this point. This procedure is valid on structured or unstructured grids. The algorithm finally obtained is very simple to implement:
・ Prediction step: solving of the first equation of system (2) to obtain
・ Projection step: decomposition of the field in a gradient of the potential Φ and a rotational part by using system (3).
・ Estimate of the irrotational component and of the solenoidal component by using the difference
・ Update of the velocity and pressure by considering (11)-(12).
The solution at the next time step consists of the pressure and divergence free velocity. It does not meet the imposed tangential physical boundary conditions as do the other projection methods. A boundary layer is so created that disappears during the time iterations with the imposition of the physical boundary conditions in the two stages of prediction and correction. The thermodynamic pressure p is in fact utilized only to evaluate the properties of the fluids such as the density and the viscosity. For multi-phase flows at constant densities, the Bernoulli pressure is well adapted in this case. The present KSP algorithm, also called DSP by [21] in the frame- work of discrete mechanics equations, inverts the calculation steps for pressure and velocity compared to standard projection approaches. For classical projections methods, the pressure is first estimated as the solution of a Poisson equation with variable coefficients and the velocity is then explicitly obtained. In the KSP method, the velocity is first decomposed by a purely kinematics process and the pressure is then updated by the explicit application of the Stokes theorem. The solving of a Poisson equation with variable coefficients is a difficult task whose complexity increases with density ratios, especially with large grids on massively parallel computers, whereas the KSP method is not sensible to these density variations.
When high density gradients are associated to large magnitude source terms, it can be necessary to perform a preliminary Helmholtz-Hodge decomposition of source terms s acting in the momentum equations, before the time evolution loop begins. In this way, the initial condition for pressure at mechanical equilibrium is then built as
The initial condition is given by. The source term. The contribution does not directly induce a pressure. However, it generates the motion through the increase of the solenoidal velocity field. As a consequence, has to be kept in the momentum equations instead of s when the treatment of pressure initial condition (13) is implemented. On the contrary, a source term deduced from a gradient field does not involve any flow motion. In this configuration, it is directly integrated inside the pressure gradient to form a new pressure field. The decomposition of the initial source term s is achieved by using a Poisson equation similar to (3) so as to obtain:
Prior decomposition of the source term eliminates the adverse effects induced by exchanges between the pressure effects and all the other effects (viscous, inertial) that cause unwanted local and instant acceleration that affects the quality of the two-phase behavior. This KSP version suitable for very constrained two-phase flows, i.e. including surface tension effects for example, requires an additional projection step and the computing of the solution of a Poisson equation with constant coefficients. However, it allows building a very robust algorithm. The efficiency of solvers with constant coefficient Poisson equations offsets the additional cost of the resolution of an additional equation with respect to the conventional methods of projection. In general, the introduction of a significant source term in the Navier-Stokes equations generates difficulties due to the destabilization of the vector field by the scalar potential that it contains whereas the latter do not participate to the movement itself.
3. Illustration Test Cases3.1. Static Equilibrium between Two Fluids under Gravity Effects
The considered problem is very simple, it consists of a square cavity of unit height filled with two immiscible fluids whose densities are ρ1 and ρ2. It is assumed that the two fluids are initially separated and the heavy fluid 1 occupies the lower half of the cavity. The stationary solution is simple: the velocity V is zero and the pressure field satisfies. The initial pressure field is zero. The walls of the cavity are assumed impermeable and adherent,.
Details of the different steps of the time splitting algorithm on this problem are the following. In the absence of initial velocity, the velocity field derived from the prediction step (2) is. If this field is divergence free within the cavity, this is not the case near horizontal walls due to boundary conditions. Assuming incompressibility, these variations of divergence restore a linear distribution of the scalar potential of the velocity along the vertical axis. The numerical solution of Φ obtained up to a constant by solving the Poisson Equation (3) is represented by its evolution along y as
The irrotational velocity field is. The difference is the requested velocity such that. The pressure update by the Stokes theorem is then
where is the reference pressure chosen in an arbitrary manner. At the end of the two stages the theoretical solution is obtained exactly up to computer accuracy. This is the sought two-phase hydrostatic equilibrium.
Figure 1 represents the opposite of the evolution of the pressure along y for two density ratios and. In the present case, the two fluids have constant densities and each pressure point is in a fluid or in
the other, the density is absent from differential operators and appears only for the increase of the pressure. The first phase for determining the potential Φ is independent of the density variations and the projection phase being explicit and local, the solution will always be accurate. All two phase incompressible flows can be simulated with the KSP method with the same efficiency.
Test case of static equilibrium of two fluids of different densities. The opposite to the pressure −p is plotted. In red, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-2320221x74.png" xlink:type="simple"/></inline-formula>and in blue<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-2320221x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-2320221x75.png" xlink:type="simple"/></inline-formula>. The spatial approximation is N = 8 grid cells. The solution obtained in one time iteration is exact to almost computer accuracy, i.e. up to 10<sup>−</sup><sup>15</sup> relative error
3.2. Natural Convection in a Differentially Heated Cavity
Flows with variable density can be very different in nature, flows involving several immiscible phases, flows with phase changes, etc. Flows with continuously varying density which can be approached in the context of the incompressible approximation belong to this class. Natural convection is an example especially when the temperature differences are important and when the Boussinesq approximation is no longer valid. The example below aims to show that the proposed methodology allows finding accurately the solution adopted by many authors after multiple comparisons. This is the case of a cavity filled with air subjected to a horizontal temperature gradient in a gravity field. Natural convection induced by density variations is quantized by the Rayleigh number and the Prandtl number. The selected configuration correspond to a value of the Rayleigh number such that ra = 105 and Prandtl number Pr = 0.71 and it admits a stationary solution. Nusselt number that characterizes the heat transfer between the two isothermal walls is the main result of the problem. The reference solution is obtained by a finite volume method on a Cartesian staggered mesh with augmented Lagrangian technique [25] [26] to ensure incompressibility constraint. The spatial order of convergence of the Nusselt being strictly equal to $2$, it is possible, using Richardson extrapolation [27] , to derive the reference value of Nusselt for a number of mesh cells N in one direction such that. Results are presented in Table 1. A very good agreement is found between Richardson extrapolation and KSP method.
The present test case is almost trivial but it has the advantage of providing a reference for flows with low variable density in an incompressible formulation. Furthermore, the Nusselt number is very sensitive to the numerical methodology. It allows anyway finding precisely a well-known solution with an original method.
3.3. Sloshing in a 2D Tank
With the addition of specific source terms, the system (1) can model many phenomena according to external actions such as gravity, capillary forces or rotation. In the case of a constant and uniform force of gravity, surface gravity waves of different nature can grow and maintain over large time constants at a fluid/fluid interface. This is the case of solitary waves or swells. In the present test case, a liquid sloshing in a cavity partially filled of gas is considered. First order involved mechanisms are inertia and gravity. Both although formally compressible fluids give rise to a motion that can be considered as incompressible at large time, so that the KSP method can be applied. Consider a cavity of length L and height H that contains a fluid of density ρ2 and viscosity μ2 topped with a fluid of density ρ1 and viscosity μ1. The interface between the two immiscible phases is slightly disturbed in a sinusoidal manner such that its initial height is given by
with H = 0.1, L = 0.1 and A = H/100 in linear regime and A = H/3 in non-linear regime. Under the effect of gravity, the interface oscillates around an equilibrium position, i.e. a horizontal reference line. At equilibrium, the lower fluid occupies a height H/2.
Figure 2 shows the time history of vertical interface position during time in linear regime. The amplitude of the initial perturbation permits to stay within the framework of [28] . As viscous effects only damp the amplitude of the wave, inviscid simulations are performed, i.e. μ1 = μ1 = 0 and the diffusion term of momentum disappears from the equation of motion. The evolution in time is thus conditioned by the competition between the inertia of the fluid determined by the term and gravity source term. The latter term is not derived from a scalar potential and Hodge-Helmholtz decomposition of highlights two non-zero contributions thereof. The irrotational part modifies the scalar pressure potential P0 which includes the static gravitational effects and the vector potential changes the mechanical equilibrium. Coupling with inertia causes the
Natural convection in a differentially heated cavity for a Raleigh number of 10<sup>5</sup>. The reference Nusselt number is obtained by Richardson extrapolation [<xref ref-type="bibr" rid="scirp.57144-ref27">27</xref>] . The value of the KSP method correspond to solution on a 1024<sup>2</sup> Cartesian mesh
Reference
KSP N = 1024
Nusselt
4.521638
4.521614
Sloshing of a sinusoidal wave in a 2D tank in linear mode―Time history of vertical interface position at x = 0
sloshing movement whose frequency may be calculated by the linear theory. If the initial disturbance of the interface is defined by Fourier modes, i in the longitudinal direction and j for transverse modes, the linear theory allows expressing the frequency [29] :
where l is the width of the domain along y. In two-dimensions, j = 0 and l = 1. We also define the pulsation ω and period T:
The expression of the theoretical frequency (18) was established from a linear stability theory for a fluid density ρ2 in the absence of fluid located above. When the densities ρ1 and ρ2 are close, it is necessary to introduce a correction [28] which gives the relationship:
Selected fluids are water and air and the corresponding densities are ρ2 = 1000 kg∙m−3 and ρ1 = 1.1728 kg∙m−3. Only the first 2D mode is tested, i.e. i = 1 and j = 1. The time step is equal to 10−3 s which achieves sufficient accuracy on the frequency of oscillations. Figure 2 shows the periodic changes in the height of the fluid 2 on one edge of the field x = 0. Gravitational forces introduce a downward movement of the area where the free surface is the highest. In the absence of viscous forces, the oscillatory motion is governed by the confrontation between gravity and inertia. It is observed that the oscillations persist for a long time without significant attenuation. It is also to be noted that the wave attenuation is even lower as the time step decreases.
The present problem is used to test the entire methodology: the equation of motion, KSP time splitting algorithm, time and space discretization, interface tracking, etc. To quantify the errors introduced by the different modeling and discretization steps, frequency numerically obtained is compared with the theoretical frequency formulated by relation (18). Table 2 rather presents the period of the oscillations. There is a very good agreement between simulations and theory. This test validates the KSP approach in the presence of source terms such as gravity.
This example also serves to show that the formulation conserves kinetic energy when the viscous effects are neglected. Although in this case no transfer of momentum by viscosity is possible, that does not mean that the curl of the velocity field is zero. To finish with, the non-linear mode is illustrated in Figure 3. It is observed that non-linear interface deformations are nicely handled by the KSP method with vertical interface oscillations being submitted to irregular sinusoidal modes.
Sloshing of a sinusoidal wave in a 2D tank in non linear mode―initial interface shape (top left), interface solution after 20 s (top right) and time history of vertical interface position for x = 0 m (bottom).
Sloshing periods in a square cavity for the first linear mode
Theory
Simulation
Period
0.3742
0.3748
3.4. Rotating Flow
The present test case corresponds to a solid rotating flow in a cylindrical cavity of radius R. The steady rotational velocity is constant and the tangential component of absolute velocity is. The cavity is filled with two fluids of density ρ1 and ρ2 and the interface is initially located at. The viscosity has no influence at least in the absence of differential motion relative to the plug flow. The flow motion can be treated in the moving frame relative to Oz axis. In the present configuration, the relative velocity V is chosen equal to zero in the whole domain. According to the momentum equations, the equation for pressure is given by
with. The pressure can be calculated analytically and can then be compared with the numerical solution:
where p0 is a selected constant chosen equal to zero on the axis. Since the density is not constant in the whole area, the pressure field will be calculated in the two fluid sub-domains on an analytical point of view. The KSP method is now applied from a zero velocity field V = 0 and a zero pressure field p = 0. Equations (2) applied to the problem gives the prediction velocity which is not divergence free. This is a centrifugal velocity oriented outward as
From that predicted velocity field, it is possible to apply the projection phase (3) for obtaining the scalar potential Φ of the velocity. However, in the present test case is a gradient field from the potential defined in a constant, that satisfies
As the theoretical solution is a polynomial of order two, it is expected that the numerical solution will be accurate. Indeed, all polynomial of order lower or equal to two can be represented exactly by a spatial discretization scheme of order equal to two. Solving the Poisson Equation (3) actually gives the expected result, as reported in Figure 4. As the projection is purely kinematics, the correction velocity is completely continuous and has no discontinuities at the interface between the two fluids. The numerical solution obtained with KSP at the end of the two stages is zero. The pressure is obtained from the Stokes formula (11) taking care to calculate the integral by piece if a segment Γ of a given mesh cell is intersected by the interface. Here the interface is known analytically and it is simple to specify the position of the intersection point on the segment. Not only the divergence of but also the velocity field itself are zero with the KSP method, in agreement with the expected analytical solution. This is not the case with standard projection methods that generate rotation velocity components that are non-physical. The solution to this problem was obtained with the KSP algorithm accurately regardless of the mesh type, i.e. structured or unstructured, in one time iteration consisting of a prediction step and a kinematics correcting step.
With classical scalar projection (SP) methods, the velocity is calculated from the pressure correction as
. For flows with variable density, the divergence of this velocity is zero but its curl is not zero anymore. Indeed, if is a gradient, is not. This is not consistent with what is obtained by using the prediction in KSP and its scalar potential Φ. For KSP,. As a consequence, the divergence and also the curl of is zero for the rotation flow as expected theoretically. In the case where the velocities are large, this residual curl of SP is merged with that of the flow, but for low flow rates or for equilibrium situations like the case shown in this section, it is necessary that is also a gradient field (rotation or example of a static drop under capillary effect) in order to satisfy equilibrium state. In all other two-phase cases, the SP numerical technology generates an artefact such as some spurious rotational and associated velocities.
4. Conclusion and Discussions
The kinematics KSP projection method for solving the equation of incompressible fluid motion essentially solves various problems of incompressible flows, including flows with significant density variations. Unlike conventional methods where the pressure is first calculated from a Poisson equation with variable coefficients, the irrotational velocity is calculated first in KSP. The scalar potential of velocity is then obtained by solving a Poisson problem with constant coefficients that is insensitive to density variations. The scalar potential of the amount of acceleration, i.e. the pressure, is obtained thanks to the Stokes’ theorem by introducing at this stage the local density. In terms of accuracy in time and space, the results are very close to those of the conventional projection methodology for flows at variable density. However, the large variations in density introduce local consistency defects in standard projection methods due to interpolation of density at the location of each component of the velocity. The pressure undergoes non-physical variations that can lead to unstable or non-physical behaviors. The KSP method allows finding consistency between the pressure and the local density. This method
Comparison between the scalar projection (SP) and the kinematic scalar projection (KSP) on a triangular unstructured mesh. From left to right are represented the rotationnal of velocity for classical scalar projection (SP) with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-2320221x115.png" xlink:type="simple"/></inline-formula>, the rotationnal of velocity KSP method with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-2320221x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/8-2320221x116.png" xlink:type="simple"/></inline-formula>, the scalar potential Φ and the pressure p given by the KSP method. The divergence of the velocity is zero to almost computer error for both methods. The inner radius of the circle (black line) is R = 0.5 m and the densities are ρ<sub>1</sub> = 1 kg∙m<sup>−</sup><sup>3</sup> inside the circle and ρ<sub>2</sub> = 4 kg∙m<sup>−</sup><sup>3</sup> outside of it.
can be interpreted as a simple splitting of the motion equation of the continuum mechanics previously discretized in time. It is based on an original formulation of the law for fluid dynamics written as a discrete Helmholtz-Hodge decomposition.
The proposed KSP time splitting approach satisfies the following properties:
・ The continuous media properties of differential operators, i.e. and, are satisfied to almost computer error.
・ The space convergence order is 2 with a centered scheme and the time convergence order can be 1 or 2 depending on the order of the Taylor expansion used for the time derivative of the momentum conservation equations.
・ The numerical solution is exact whatever the mesh for all theoretical solution of order equal or less than 2.
・ KSP as SP are a prediction-correction method whose artifacts are well known, i.e. artificial boundary layers are generated by the projection step near the boundaries. Their magnitude decreases during time iterations.
・ Unlike conventional projection methods, the resolution steps for pressure and velocity are reversed. The scalar potential of the velocity Φ is first obtained and then the physical potential, i.e. the pressure, is updated explicitly and accurately.
・ The Poisson equation for velocity potential is at constant coefficients and the velocity potential does not depend on density.
・ The solving of the linear system is easy and allows the use of existing efficient parallel solvers.
As a conclusion, the KSP method is, among those existing in the literature, the easiest method to implement since it consists in solving a Poisson equation with constant coefficients.
ReferencesFortin, M. and Glowinski, R. (1982) Méthodes de lagrangien augmenté, application à la résolution numé
rique de problèmes aux limites. Dunod, Paris.Vincent, S., Sarthou, A., Caltagirone, J.-P.,
Sonilhac, F., Février, P., Mignot, C. and Pianet, G. (2011) Augmented Lagrangian and Penalty Methods
for the Simulation of Two-Phase Flows Interacting with Moving Solids. Application to Hydroplaning
Flows Interacting with Real Tire Tread Patterns. Journal of Computational Physics, 230, 956-983.
http://dx.doi.org/10.1016/j.jcp.2010.10.006Chorin, A.J. (1968) Numerical Solution of the
Navier-Stokes Equations. Mathematics of Computation, 22, 745-762.
http://dx.doi.org/10.1090/S0025-5718-1968-0242392-2Rhie, C.M. and Chow, W.L. (1983) Numerical
Study of the Turbulent Flow past an Airfoil with Trailing Edge Separation. AIAA Journal, 21, 1525-1532.
http://dx.doi.org/10.2514/3.8284Harlow, F.H. and Welch, J.E. (1965) Numerical Calculation of
Time-Dependent Viscous Incompressible Flow of Fluid with a Free Surface. Physics of Fluids, 8, 2182-2189.
http://dx.doi.org/10.1063/1.1761178Guermond, J.L., Minev, P. and Shen, J. (2006) An Overview
of Projection Methods for Incompressible Flows. Computer Methods in Applied Mechanics and
Engineering, 195, 6011-6045.
http://dx.doi.org/10.1016/j.cma.2005.10.010Bell, J.B., Colella, P. and Glaz, H.M. (1989) A
Second Order Projection Method for the Incompressible Navier-Stokes Equations. Journal of
Computational Physics, 85, 257-283.
http://dx.doi.org/10.1016/0021-9991(89)90151-4Benzi, M. (2002) Preconditioning Techniques for
Large Linear Systems: A Survey. Journal of Computational Physics, 182, 418-477.
http://dx.doi.org/10.1006/jcph.2002.7176Benzi, M., Golub, G.H. and Liesen, J. (2005)
Numerical Solution of Saddle Point Problems. Acta Numerica, 14, 1-137.
http://dx.doi.org/10.1017/S0962492904000212Cai, M., Nokaka, Y., Bell, J.B., Griffith, B.E.
and Donev, A. (2014) Efficient Variable-Coefficient Finite-Volume Stokes Solvers. Numerical Analysis,
327, 1179-1184.Guermond, J.L. and Salgado, A. (2009) A Splitting Method for Incompressible Flows
with Variable Density Based on a Pressure Poisson Equation. Journal of Computational Physics, 228,
2834-2846.
http://dx.doi.org/10.1016/j.jcp.2008.12.036Liu, C., Shen, J. and Yang, X.F. (2015) Decoupled,
Energy Stable Schemes for Phase-Field Models of Two-Phase Incompressible Flows. Journal of Scientific
Computing, 62, 601-622.
http://dx.doi.org/10.1007/s10915-014-9867-4Poux, A., Glockner, S. and Azaïez, M. (2011)
Improvements on Open and Traction Boundary Conditions for Navier-Stokes Time-Splitting Methods.
Journal of Computational Physics, 230, 4011-4027.
http://dx.doi.org/10.1016/j.jcp.2011.02.024Dodd, M.S. and Ferrante, A. (2014) A Fast
Pressure-Correction Method for Incompressible Two-Fluid Flows. Journal of Computational Physics, 273,
416-434.
http://dx.doi.org/10.1016/j.jcp.2014.05.024Caltagirone, J.-P. and Vincent, S. (1999) Sur une
méthode de pénalisation tensorielle pour la résolution des équations de Navier-Stokes. Comptes Rendus
de l’Académie des Sciences Série IIb, 329, 607-613.
http://dx.doi.org/10.1016/S1620-7742(01)01374-5Angot, P., Caltagirone, J.-P. and Fabrie, P.
(2012) A Fast Vector Penalty-Projection Method for Incompressible Non-Homogeneous or Multiphase
Navier-Stokes Problems. Applied Mathematics Letters, 25, 1681-1688.
http://dx.doi.org/10.1016/j.aml.2012.01.037Angot, P., Caltagirone, J.-P. and Fabrie, P.
(2013) Fast Discrete Helmholtz-Hodge Decompositions in Bounded Domains. Applied Mathematics Letters,
26, 445-451.
http://dx.doi.org/10.1016/j.aml.2012.11.006Lemoine, A., Caltagirone, J.-P., Azaiez, P. and
Vincent, S. (2014) Discrete Helmholtz-Hodge Decomposition on Polyhedral Meshes Using Compatible
Discrete Operators. Journal of Scientific Computing.
http://dx.doi.org/10.1007/s10915-014-9952-8Bhatia, H., Norgard, G., Pascucci, V. and Bremer,
P.T. (2012) The Helmholtz-Hodge Decomposition—A Survey. IEEE Transactions on Visualization and
Computer Graphics, 99, 1386-1404.Caltagirone, J.-P. (2015) Discrete Mechanics. ISTE, John Wiley &
Sons, London.
http://dx.doi.org/10.1002/9781119058588Caltagirone, J.-P. (2015) Application de la
décomposition de Hodge-Helmholtz discrète aux écoulements incompressibles. HAL, 1-11.
https://hal.archives-ouvertes.fr/hal-01099958Peyret, R. and Taylor, T.D. (1983)
Computational Methods for Fluid Flow. Springer-Verlag, New York.Trontin, P., Vincent, S.,
Estivalezes, J.-L. and Caltagirone, J.-P. (2012) A Subgrid Computation of the Curvature by a
Particle/Level-Set Method. Application to a Front-Tracking/Ghost-Fluid Method for Incompressible
Flows. Journal of Computational Physics, 231, 6990-7010.
http://dx.doi.org/10.1016/j.jcp.2012.07.002Vincent, S., Balmigère, G., Caltagirone, J.-P. and
Meillot, E. (2010) Eulerian-Lagrangian Multiscale Methods for Solving Scalar Equations—Application
to Incompressible Two-Phase Flows. Journal of Computational Physics, 229, 73-106.
http://dx.doi.org/10.1016/j.jcp.2009.09.007Vincent, S., Caltagirone, J.-P., Lubin, P. and
Randrianarivelo, T.N. (2004) An Adaptative Augmented Lagrangian Method for Three-Dimensional
Multimaterial Flows. Computers and Fluids, 33, 1273-1279.
http://dx.doi.org/10.1016/j.compfluid.2004.01.002Vincent, S. and Caltagirone, J.-P. (2000)
Numerical Solving of Incompressible Navier-Stokes Equations Using an Original Local Multigrid
Refinement Method. Comptes Rendus de l’Académie des Sciences SérieIIb, 328, 73-80.
http://dx.doi.org/10.1016/s1287-4620(00)88419-7Richardson, L.F. and Gaunt, J.A. (1927) The
Deferred Approach to the Limit. Philosophical Transactions of the Royal Society A, 226, 299-349.
http://dx.doi.org/10.1098/rsta.1927.0008Landau, L.D. and Lifchitz, E.M. (1959) Fluid
Mechanics. Pergamon Press, London.Lamb, H. (1993) Hydrodynamics. 6th Edition, Dover, New York.