We present a general formulation for analysis of fluidstructure interaction problems using the particle finite element method (PFEM). The key feature of the PFEM is the use of a Lagrangian description to model the motion of nodes (particles) in both the fluid and the structure domains. Nodes are thus viewed as particles which can freely move and even separate from the main analysis domain representing, for instance, the effect of water drops. A mesh connects the nodes defining the discretized domain where the governing equations, expressed in an integral from, are solved as in the standard FEM. The necessary stabilization for dealing with the incompressibility condition in the fluid is introduced via the finite calculus (FIC) method. A fractional step scheme for the transient coupled fluidstructure solution is described. Examples of application of the PFEM method to solve a number of fluidstructure interaction problems involving large motions of the free surface and splashing of waves are presented.
Keywords: Particle finite element method; finite element method; fluidstructure interaction; finite calculus.
There is an increasing interest in the development of robust and efficient numerical methods for analysis of engineering problems involving the interaction of fluids and structures accounting for large motions of the fluid free surface and the existance of fully or partially submerged bodies. Examples of this kind are common in ship hydrodynamics, offshore structures, spillways in dams, free surface channel flows, liquid containers, stirring reactors, mould filling processes, etc.
The movement of solids in fluids is usually analyzed with the finite element method (FEM) [Zienkiewicz and Taylor (2000) [43]] using the so called arbitrary LagrangianEulerian (ALE) formulation [Donea and Huerta (2003)] [9]. In the ALE approach the movement of the fluid particles is decoupled from that of the mesh nodes. Hence the relative velocity between mesh nodes and particles is used as the convective velocity in the momentum equations.
The ALE formulation has being used in conjunction with stabilized finite element method to derive a number of numerical procedures for fluidstructure interaction (FSI) analysis. For instance the deformingspatialdomain/stabilized spacetime (DSD/SST) [Tezduyar et al. (1992a,b) [3839]] formulation has been used for computation of fluidstructure interaction and freesurface flow problems. The Mixed InterfaceTracaking/InterfaceCapturing Technique (MITICT) [Tezduyar (2001) [40]] was proposed for computation of problems that involve both fluidstructure interactions and free surfaces. The MITICT can in general be used for classes of problems that involve both interfaces that can be tracked with a movingmesh method and interfaces that are too complex or unsteady to be tracked and therefore require an interfacecapturing technique.
Typical difficulties of FSI analysis using the FEM with both the Eulerian and ALE formulation include the treatment of the convective terms and the incompressibility constraint in the fluid equations, the modelling and tracking of the free surface in the fluid, the transfer of information between the fluid and solid domains via the contact interfaces, the modelling of wave splashing, the possibility to deal with large rigid body motions of the structure within the fluid domain, the efficient updating of the finite element meshes for both the structure and the fluid, etc.
Most of these problems disappear if a Lagrangian description is used to formulate the governing equations of both the solid and the fluid domain. In the Lagrangian formulation the motion of the individual particles are followed and, consequently, nodes in a finite element mesh can be viewed as moving “particles”. Hence, the motion of the mesh discretizing the total domain (including both the fluid and solid parts) is followed during the transient solution.
In this paper we present an overview of a particular class of Lagrangian formulation developed by the authors to solve problems involving the interaction between fluids and solids in a unified manner. The method, called the particle finite element method (PFEM), treats the mesh nodes in the fluid and solid domains as particles which can freely move and even separate from the main fluid domain representing, for instance, the effect of water drops. A finite element mesh connects the nodes defining the discretized domain where the governing equations are solved in the standard FEM fashion. The PFEM is the natural evolution of recent work of the authors for the solution of FSI problems using Lagrangian finite element and meshless methods [Aubry et al. (2004) [1]; Idelsohn et al. (2003a; 2003b; 2004) [20, 21, 23]; Oñate et al. (2003; 2004) [33, 34]].
An obvious advantage of the Lagrangian formulation is that the convective terms disappear from the fluid equations. The difficulty is however transferred to the problem of adequately (and efficiently) moving the mesh nodes. Indeed for large mesh motions remeshing may be a frequent necessity along the time solution. We use an innovative mesh regeneration procedure blending elements of different shapes using an extended Delaunay tesselation [Idelsohn et al. (2003a; 2003c) [20,22]]. Furthermore, this special polyhedral finite element needs special shape funtions. In this paper, meshless finite element (MFEM) shape functions have been used [Idelsohn et al. (2003a) [20]].
The need to properly treat the incompressibility condition in the fluid still remains in the Lagrangian formulation. The use of standard finite element interpolations may lead to a volumetric locking defect unless some precautions are taken. A number of stabilization finite element procedures aiming to alleviate the locking problem in incompressible fluids have been proposed and some of them are listed in [Chorin (1967) [2]; Codina (2002) [3]; Codina et al. (1998) [4]; Codina and Blasco (2000) [5]; Codina and Zienkiewicz (2002) [6]; Cruchaga and Oñate (1997; 1999) [7,8]; Donea and Huerta (2003) [9]; Franca and Frey (1992) [11]; Hansbo and Szepessy (1990) [15]; Hughes et al. (1986; 1989; 1994) [16, 17, 18]; Oñate (1998) [27]; Sheng et al. (1996) [36]; Tezduyar et al. (1992) [41]; Zienkiewicz and Taylor (2000) [43]; Storti et al. (2004) [37]]. A general aim is to use low order elements with equal order interpolation for the velocity and pressure variables. In our work the stabilization via a finite calculus (FIC) procedure has been chosen [Oñate (2000) [31]]. Recent applications of the FIC method for incompressible flow analysis using linear triangles and tetrahedra are reported in [García and Oñate (2003) [12]; Oñate (2004) [29]; Oñate et al. (2000; 2004) [31, 34]; Oñate and García (2001) [32]; Oñate and Idelsohn (1998) [30]].
The Lagrangian formulation has many advantages for tracking the motion of fluid particles in flows accounting for large displacements of the fluid surface as in the case of breaking waves and splashing of liquids (Figure 1). We note that the information in the PFEM is typically nodalbased, i.e. the element mesh is mainly used to obtain the values of the state variables (i.e. velocities, pressure, etc.) at the nodes. A difficulty arises in the identification of the boundary of the domain from a given collection of nodes. Indeed the “boundary” can include the free surface in the fluid and the individual particles moving outside the fluid domain. In our work the Alpha Shape technique [Edelsbrunner and Mucke (1999) [10]] is used to identify the boundary nodes.
Figure 1: (a) Large breaking wave. (b) PFEM results for a large wave hitting a verticall wall in 2D. 
The layout of the paper is the following. In the next section the basic ideas of the PFEM are outlined. Next the basic equation for an incompressible flow using a Lagrangian description and the FIC formulation are presented. Then a fractional step scheme for the transient solution via standard finite element procedures is described. Details of the treatment of the coupled FSI problem are given. The procedures for mesh generation and for identification of the free surface nodes are briefly outlined. Finally, the efficiency of the particle finite element method (PFEM) is shown in its application to a number of FSI problems involving large flow motions, surface waves, moving bodies. etc.
Let us consider a domain containing both fluid and solid subdomains. The moving fluid particles interact with the solid boundaries thereby inducing the deformation of the solid which in turn affects the flow motion and, therefore, the problem is fully coupled.
FSI problems traditionally have been solved using an arbitrary EulerianLagrangian description (ALE) for the flow equation whereas the structure is modelled with a full Lagrangian formulation. Many examples of applications of this type of approach are found in the literature. A good review can be found in [Donea and Huerta (2003) [9]; Zienkiewicz and Taylor (2000) [43]].
In the PFEM approach presented here, both the fluid and the solid domains are modelled using an updated Lagrangian formulation. The finite element method (FEM) is used to solve the continuum equations in both domains. Hence a mesh discretizing these domains must be generated in order to solve the governing equations for both the fluid and solid problems in the standard FEM fashion. We note once more that the nodes discretizing the fluid and solid domains can be viewed as material particles which motion is tracked during the transient solution.
The quality of the numerical solution will obviously depend on the discretization chosen as in the standard FEM. Adaptive mesh refinement techniques can be used to improve the solution in zones where large motions of the fluid or the structure occur.
The Lagrangian formulation allows us to track the motion of each single fluid particle (a node). This is useful to model the separation of water particles from the main fluid domain and to follow their subsequent motion as individual particles with an initial velocity and subject to gravity forces.
In summary, a typical solution with the PFEM involves the following steps.
Details of the stabilized Lagrangian FEM for the solution of the fluid equations using a FIC formulation are presented in the next section. The fractional step scheme chosen for the transient coupled FSI solution using the FEM and details of the boundary recognition method and the mesh regeneration process are given in subsequent sections. Finally some examples of application of the PFEM are given.
In order to complete this introduction, Figure 2 shows a typical example of a PFEM solution in 2D. The pictures correspond to the analysis of the problem of breakage of a water column described in Section 10.1. Figure 2a shows the initial grid of four node rectangles discretizing the fluid domain and the solid walls. Boundary nodes identified with the AlphaShape method have been marked with a circle. Figures 2b and 2c show the mesh for the solution at two later times.
The standard infinitessimal equations for a viscous incompressible fluid can be written in a Lagrangian frame as [Oñate (1998) [27]; Zienkiewicz and Taylor (2000) [43]]
Momentum

(1) 
Mass balance

(2) 
where

(3) 

(4) 
Above is the number of space dimensions, is the velocity along the ith global axis (, where is the ith displacement), is the (constant) density of the fluid, are the body forces, are the total stresses given by , is the absolute pressure (defined positive in compression) and are the viscous deviatoric stresses related to the viscosity by the standard expression

(5) 
where is the Kronecker delta and the strain rates are

(6) 
In the above all variables are defined at the current time (current configuration).
In our work we will solve a modified set of governing equations derived using a finite calculus (FIC) formulation. The FIC governing equations are [Oñate (1998; 2000; 2004)[27,28,29]; Oñate et al. (2001)[32]]
Momentum

(7) 
Mass balance

(8) 
The problem definition is completed with the following boundary conditions

(9) 

(10) 
and the initial condition is for . The standard summation convention for repeated indexes is assumed unless otherwise specified.
In Eqs.(7) and (8) and are surface tractions and prescribed velocities on the boundaries and , respectively, are the components of the unit normal vector to the boundary.
The in above equations are characteristic lengths of the domain where balance of momentum and mass is enforced. In Eq.(9) these lengths define the domain where equilibrium of boundary tractions is established. Details of the derivation of Eqs.(7)(10) can be found in [Oñate (1998; 2000) [27,28]; Oñate et al. (2001) [32]].
Eqs.(7)(10) are the starting point for deriving stabilized finite element methods to solve the incompressible NavierStokes equations in a Lagrangian frame of reference using equal order interpolation for the velocity and pressure variables [Idelsohn et al. (2002; 2003a; 2003b; 2004) [1921,23]]; Oñate et al. (2003)[33]; Aubry et al. (2004)[1]]. Application of the FIC formulation to finite element and meshless analysis of fluid flow problems can be found in [García and Oñate (2003)[12]; Oñate (2000; 2004)[28,29]; Oñate et al. (2000; 2004)[31,34]; Oñate and García (2001)[32]; Oñate and Idelsohn (1988)[30]].
The underlined term in Eq.((8)) can be expressed in terms of the momentum equations. The new expression for the mass balance equation is (see Appendix)

(11) 
with

(12) 
The 's in Eq.(11), when scaled by the density, are termed intrinsic time parameters. Similar values for (usually is taken) are used in other works from adhoc extensions of the 1D advectivediffusive problem [Codina et al. (1998)[4]; Codina and Blasco (2000)[5]; Codina (2002)[3]; Codina and Zienkiewicz (2002)[6]; Cruchaga and Oñate (1997; 1999)[7,8]; Donea and Huerta (2003)[9]; Franca and Frey (1992)[11]; Hansbo and Szepessy (1990)[15]; Hughes et al. (1986; 1989; 1994)[1618]; Oñate (1998; 2000; 2004)[2729]; Sheng et al. (1996)[36]; Storti et al. (2004)[37]; Tezduyar et al. (1992)[41]; Zienkiewicz and Taylor (2000)[43]].
At this stage it is no longer necessary to retain the stabilization terms in the momentum equations. These terms are critical in Eulerian formulations to stabilize the numerical solution for high values of the convective terms. In the Lagrangian formulation the convective terms dissapear from the momentum equations and the FIC terms in these equations are just useful to derive the form of the mass balance equation given by Eq.(11) and can be disregarded there onwards. Consistenly, the stabilization terms are also neglected in the Neuman boundary conditions (eqs.(9)).
The weighted residual expression of the final form of the momentum and mass balance equations can be written as

(13) 

(14) 
where and are arbitrary weighting functions equivalent to virtual velocity and virtual pressure fields.
The term in Eq.(14) and the deviatoric stresses and the pressure terms within in Eq.(13) are integrated by parts to give

(15) 

(16) 
In Eq.(15) are virtual strain rates. Note that the boundary term resulting from the integration by parts of in Eq.(16) has been neglected as the influence of this term in the numerical solution has been found to be negligible.
The computation of the residual terms in Eq.(16) can be simplified if we introduce now the pressure gradient projections , defined as

(17) 
We express now in Eq.(17) in terms of the which then become additional variables. The system of integral equations is therefore augmented in the necessary number of equations by imposing that the residual vanishes within the analysis domain (in an average sense). This gives the final system of governing equation as:

(18) 

(19) 

(20) 
with . In Eqs.(20) are appropriate weighting functions and the weights are introduced for symmetry reasons.
We choose continuous interpolations of the velocities, the pressure and the pressure gradient projections over each element with nodes. The interpolations are written as

(21) 
where denotes nodal variables and are the shape functions [Zienkiewicz and Taylor (2000)[43]]. More details of the mesh discretization process and the choice of shape functions are given in Section 7.
Substituting the approximations (21) into Eqs.(1920) and choosing a Galerkin form with leads to the following system of discretized equations

(22a) 

(22b) 

(22c) 
where

(23) 
is the internal nodal force vector derived from the momentum equations, is the deviatoric stress vector, is the strain rate matrix and for 2D problems.
This vector and the rest of the matrices and vectors in Eqs.(22) are assembled from the element contributions given by (for 2D problems)

(24) 
with and .
As usual the deviatoric stresses are related to the strain rates by Eq.(5)
It can be shown that the system of Eqs.(22) leads to a stabilized numerical solution. For details see [Oñate et al. (2003)[33]].
Remark 1
Eq.(22a) can be written in a more explicit form in terms of the velocity and pressure variables as

(25) 
where

(26) 
where is the constitutive matrix. For 2D problems

(27) 
A simple and effective iterative algorithm can be obtained by splitting the pressure from the momentum equations as follows

(28a) 

(28b) 
In Eq.(28a)

and is a variable taking values equal to zero or one. For , and for , . Note that in both cases the sum of Eqs.(28a) and (28b) gives the time discretization of the momentum equations with the pressures computed at .
In above equations and in the following superindex denotes an iteration number within each time step.
The value of from Eq.(28b) is substituted now into Eq.(22b) to give

(29a) 
The product can be approximated by a laplacian matrix, i.e.

(29b) 
In the above equations and are algorithmic parameters ranging between zero and one. A discussion of the choice of and is given below.
A semiimplicit algorithm can be derived as follows. For each iteration:
Step 1 Compute from Eq.(28a) with where subscript denotes hereonwards a diagonal matrix.
Step 2 Compute and from Eq.(29a) as

(30a) 
The pressure is computed as follows

(30b) 
Step 3 Compute from Eq.(28b) with
Step 4 Compute from Eq.(22c) as

(31) 
Step 5 Solve for the movement of the structure due to the fluid flow forces.
This implies solving the dynamic equations of motion for the structure written as

(32) 
where and are respectively the displacement and acceleration vectors of the nodes discretizing the structure, and are the mass and stiffness matrices of the structure and is the vector of external nodal forces accounting for the fluid flow forces induced by the pressure and the viscous stresses. Clearly the main driving forces for the motion of the structure is the fluid pressure which acts as normal a surface traction on the structure. Indeed Eq.(32) can be augmented with an appropriate damping term. The form of all the relevant matrices and vectors can be found in standard books on FEM for structural analysis [Zienkiewicz and Taylor (2000)[43]].
Solution of Eq.(32) in time can be performed using implicit or fully explicit time integration algorithms. In both cases the values of the nodal displacements, velocities and accelerations of the structure at are found for the th iteration.
Step 6
Update the mesh nodes in a Lagrangian manner. From the definition of the velocity it is deduced.

(33) 
Step 7
Generate a new mesh. This can be effectively performed using the procedure described in Section 6.
Step 8
Check the convergence of the velocity and pressure fields in the fluid and the displacements strains and stresses in the structure. If convergence is achieved move to the next time step, otherwise return to step 1 for the next iteration with .
Despite the motion of the nodes within the iterative process, in general there is no need to regenerate the mesh at each iteration. A new mesh is typically generated after a prescribed number of converged time steps, or when the nodal displacements induce significant geometrical distorsions in some elements. In the examples presented in the paper the mesh in the fluid domain has been regenerated at each time step.
The boundary conditions are applied as follows. No condition is applied in the computation of the fractional velocities in Eq.(28a). The prescribed velocities at the boundary are applied when solving for in step 3. The prescribed pressures at the boundary are imposed by making the pressure increments zero at the relevant boundary nodes and making equal to the prescribed pressure values.
Details of the treatment of the contact conditions at the solidfluid interface are given in Section 8 [Idelsohn et al. (2004)[23]].
Note that solution of steps 1, 3 and 4 does not require the solution of a system of equations as a diagonal form is chosen for and . The whole solution process within a time step can be linearized by choosing and now the iteration loop is no longer necessary. The implicit solution for is however very effective as larger time steps can be used. This requires some iterations within steps 1–8 until converged values for the fluid and solid variables and the new position of the mesh nodes at time are found.
In the examples presented in the paper the time increment size has been chosen as

(34) 
where is the distance between node and the closest node in the mesh.
Remark 2
Although not explicitely mentioned for all matrices and vectors in Eqs.(28)–(32) are computed at the final configuration . This means that the integration domain changes for each iteration and, hence, all the terms involving space derivatives must be updated at each iteration. This problem dissapears if is taken as the reference configuration () as this remains fixed during the iteration. The penalty to pay in this case, however, is the evaluation of the Jacobian matrix at each iterations [Aubry et al. (2004)[1]]].
The condition of prescribed velocities or pressures at the solid boundaries in the PFEM are applied in strong form to the boundary nodes. These nodes might belong to fixed external boundaries or to moving boundaries linked to the interacting solids. In some problems it is useful to define a layer of nodes adjacent to the external boundary in the fluid where the condition of prescribed velocity is imposed. These nodes typically remain fixed during the solution process. Contact between water particles and the solid boundaries is accounted for by the incompressibility condition which naturally prevents the penetration of the water nodes into the solid boundaries. This simple way to treat the waterwall contact is another attractive feature of the PFEM formulation.
One of the key points for the success of the Lagrangian flow formulation described here is the fast regeneration of a mesh at every time step on the basis of the position of the nodes in the space domain. In our work the mesh is generated using the so called extended Delaunay tesselation (EDT) presented in [Idelsohn et al. (2003a; 2003c; 2004)[20,22,23]]. The EDT allows one to generate non standard meshes combining elements of arbitrary polyhedrical shapes (triangles, quadrilaterals and other polygons in 2D and tetrahedra, hexahedra and arbitrary polyhedra in 3D) in a computing time of order , where is the total number of nodes in the mesh (Figure 3). The continuous shape functions of the elements can be simply obtained using the so called meshless finite element interpolation (MFEM). Details of the mesh generation procedure and the derivation of the MFEM shape functions can be found in [Idelsohn et al. (2003a; 2003c; 2004)[20,22,23]]].
Once the new mesh has been generated the numerical solution is found at each time step using the fractional step algorithm described in the previous section.
The combination of elements with different geometrical shapes in the same mesh is one of the innovative aspects of the Lagrangian formulation presented here.
Figure 3: Generation of non standard meshes combining different polygons (in 2D) and polyhedra (in 3D) using the extended Delaunay technique. 
One of the main tasks in the PFEM is the correct definition of the boundary domain. Sometimes, boundary nodes are explicitly identified differently from internal nodes. In other cases, the total set of nodes is the only information available and the algorithm must recognize the boundary nodes.
The use of the extended Delaunay partition makes it easier to recognize boundary nodes.
Considering that the nodes follow a variable distribution, where is the minimum distance between two nodes, the following criterion has been used. All nodes on an empty sphere with a radius greater than , are considered as boundary nodes. In practice, is a parameter close to, but greater than one. Note that this criterion is coincident with the Alpha Shape concept [Edelsbrunner and Mucke (1999)[10]].
Once a decision has been made concerning which nodes are on the boundaries, the boundary surface must be defined. It is well known that in 3D problems the surface fitting for a number of nodes is not unique. For instance, four boundary nodes on the same sphere may define two different boundary surfaces, a concave one and a convex one.
In this work, the boundary surface is defined by all the polyhedral surfaces (or polygons in 2D) having all their nodes on the boundary and belonging to just one polyhedron.
Figure 4 shows example of the boundary recognition using the Alpha Shape technique.
Figure 4: Examples of boundary recognition with the Alpha Shape method. Empty circles with radius greater than define the boundary particles. 
The correct boundary surface is important to define the normal external to the surface. Furthermore, in weak forms (Galerkin) such as those used here a correct evaluation of the volume domain is also important. In the criterion proposed above, the error in the boundary surface definition is proportional to which is an acceptable error. The only way to obtain a more accurate boundary surface definition is by reducing the distance between the nodes.
The method described also allows one to identify isolated fluid particles outside the main fluid domain. These particles are treated as part of the external boundary where the pressure is fixed to the atmospheric value.
Figure 5 shows a schematic example of the process to identify individual particles (or a group of particles) starting from a given collection of nodes. A practical application of the method for identifying free surface particles is shown in Figure 6. The example corresponds to the analysis of the motion of a fluid within an oscilating ellipsoidal container. Note that the method captures the individual water drops departuring from the free surface during the fluid motion.
Figure 5: Identification of individual particles (or a group of particles) starting from a given collection of nodes. 
A simple and yet effective way to analyze the rigid motion of solid bodies in fluids with the Lagrangian flow description is to model the solid as a fluid with a viscosity much higher than that of the surrounding fluid. The fractional step scheme of Section 5 can be readily applied skipping now step 5 and solving now for the simultaneous motion of both fluid domains (the actual fluid and the fictitious fluid modelling the quasirigid body). Examples of this type are presented in Sections 10.3 and 10.4.
Indeed this approach can be further extended to account for the elastic deformation of the solid treated now as a viscoelastic fluid. This will however introduce some complexity in the formulation and the full coupled FSI scheme described in Section 5 is preferable.
The examples chosen show the applicability of the PFEM to solve problems involving large fluid motions and FSI situations. The fractional step algorithm of Section 5 with and has been used in all cases.
In examples 10.110.10 a value of has been chosen. This basically means that the final configuration has been taken as the reference configuration at each iteration. In example 10.11 has been selected and, hence, the initial configuration has been taken as a fixed reference configuration for all the iterations within a time step.
Figure 7: Water column collapse at different time steps. 
The first problem solved to show the potential of the PFEM is the study of the collapse of a water column. This problem was solved by Koshizu and Oka (1996) [25] both experimentally and numerically. It has became a classical example to validate the Lagrangian formulation for fluid flows. The water is initially kept within a rectangular container including a removable vertical board. A double layer of nodes in the solid walls is used in order to prevent water nodes from exiting the analysis domain. The boundary conditions impose zero velocity at the wall nodes and zero (atmospheric) pressure at the free surface. Figures 7b and 7c show the mesh discretizing the water domain and the solid walls at two different times of the analysis. Note that the method allows one to follow the large motion of the water particles including separation of some water drops. The collapse starts at time , when the board is removed. Viscosity and surface tension are neglected in the analysis. Figure 7 shows the point positions at different time steps. The dark points represent the freesurface detected with the algorithm described in Section 8. The internal points are shown in a gray colour and the fixed points in black. The meshes generated at different times during the fluid motion are shown in Figure 2.
The water is running on the bottom wall until, at it impinges on the right vertical wall. Breaking waves appear at . At about . the wave again reaches the left wall. Agreement with the experimental results of [Koshizuka and Oka (1996) [25]] both in the shape of the free surface as well as in its time evolution are excellent.
The 3D solution of the same problem is shown in Figure 8. More information on the PFEM solution of this problem can be found in Idelsohn et al. (2004) [23].
a) t= 0 sec.  b) t= 0.2 sec. 
c) t= 0.4 sec.  d) t= 0.6 sec. 
e) t= 0.8 sec.  f) t= 1.1 sec. 
Figure 8: Water column collapse in a 3D domain. 
The simple problem of the free oscillation of an incompressible liquid in a container is considered next. Numerical solutions for this problem can be found in several references [Radovitzki and Ortiz (1998) [35]]. This problem is interesting because there is an analytical solution for small amplitudes. Figure 9 shows a schematic view of the problem and the point distribution in the initial position. The dark points represent the fixed points on the walls where the velocity is fixed to zero.
Figure 9: Sloshing. Initial point distribution. 
Figure 10: Sloshing: Comparison of the numerical and analytical solutions. 
Figure 10 shows the time evolution of the amplitude compared with the analytical results for the near inviscid case. Little numerical viscosity is observed on the phase wave and amplitude in spite of the relative poor point distribution.
Figure 11: PFEM results for a large amplitude sloshing problems. 
Figure 12: 3D sloshing problem. 
The analytical solution is only acceptable for small wave amplitudes. For larger amplitudes, additional waves are overlapping and, finally, the wave breaks and also some particles separate from the fluid domain due to their large velocity. Figure 11 shows the numerical results obtained with the PFEM for larger sloshing amplitudes. Breaking waves as well as separation effects can be seen on the freesurface. This particular and very complicated effect is well represented by the PFEM.
In order to test the potential of the PFEM in a 3D domain, the same sloshing problem was solved in 3D. Figure 12 show the different point positions at two time steps. Each point position was represented by a sphere and only a half of the fixed recipient is represented on the figure. This sphere representation is only used in order to improve the visualization of the numerical results.
A simulation of the propagation of a water wave and its breaking due to shoaling over a plane slope is presented next. This example was numerically studied in [Radovitzki and Ortiz (1998) [35]] with a Lagrangian formulation using directly the standard Finite Element Method with remeshing. There is also an analytical solution for a simplified approximation that is used for comparisons [Laitone (1960) [26]] where the geometry of the problem as well as a discussion of the analytical solution may be found. Figure 13 shows the initial point distribution and Figure 11 a comparison with the analytical freesurface at different time steps.
Figure 13: Wave breaking on a beach. Initial geometry and point positions. 
Initially (Figures 14a. and 14b.) the wave travels over a constant depth bottom towards the slope with no ostensible change of shape. Strongly nonlinear effects appear when the wave hits the slope (Fig. 14c.). The crest of the wave accelerates until it reaches the shore (Fig. 14d.). At this time the comparisons with the analytical solution are in agreement only in the wave position. The shape of the wave obtained with the numerical solution is totally different. The reason is that before the breaking process the analytical solution gives symmetrical shape waves, which are not physical. Subsequently, a water jet is formed at the crest plunge making the breaking wave (Figs. 14e. and 14f.) and coming in contact with the nearly still surface of the water ahead. In Ref. [Radovitzki and Ortiz (1998) [35]] the computation is stopped before this contact point. Using the methodology proposed in this paper, the analysis may be continued until the end. In Figs. 14g. and 14h. the wave finally hits a lateral wall (introduced in the model to stop the lateral effects) producing drop separations, and then coming back toward to the left as a new wave.
Figure 14: Wave breaking on a beach. Comparison with analytical results at different time steps. Top: PFEM solution. Bottom: Analytical solution. 
The ability of the PFEM to accurately simulate the various stages of the wave breaking is noteworthy.
In order to show the power of the PFEM, the same problem was solved in a 3D domain. Now, the initial position of the wave was given an oblique angle with the beach line. In this way, 3D effects show more clearly. When the wave hits the slope, the crest of the wave accelerates differently accordingly with the depth, inducing the wave to correct its oblique position and break parallel to the beach. The results may be seen in Figure 15 for different time steps.
Figure 15: Breaking wave on a beach. Oblique wave on a 3D domain. 
This example is a very schematic representation of a ship when is hit by a big wave. The ship can not move and initially the freesurface near the ship is horizontal. Fixed nodes represent the ship as well as the domain walls. The example tests the suitability of the PFEM to solve waterwall contact situations even in the presence of curved walls. Note the breaking and splashing of the waves under the ship prow and the rebound of the incoming wave. It is also interesting to see the different waterwall contact situations at the internal and external ship surfaces and the moving freesurface at the back of the ship.
In the next example (Figure 17) the same ship of the previous example moves now horizontally at a fixed velocity in a water reservoir. The freesurface, which was initially horizontal, takes the correct position at the ship prow and stern. Again, the complex waterwall contact problem is naturally solved in the curved prow region.
Figure 16: Fixed ship hit by incoming wave 
Figure 17: Moving ship with fixed velocity 
The example shown in Figure 18 is the analysis of a rotating water mill semisubmerged in water. The blades of the mill are treated as a rigid body with an imposed rotating velocity, while the water is initially in a stationary flat position. Fluid structure interactions with freesurfaces and water fragmentation are well reproduced in this example.
Figure 18: Rotating water mill. 
The next example shows an initially stationary recipient with a floating piece of wood where a wave is produced on the left side. The wood has been simulated by a liquid of higher viscosity as described in Section 9. The wave intercepts the wood piece producing a breaking wave and displacing the floating wood as shown in Figure 19.
Figure 19: Floating wood piece hit by a wave 
In the example of Figure 20 the motion of a fictitious rigid ship hit by an incoming wave is analyzed. The dynamic motion of the ship is induced by the resultant of the pressure and the viscous forces acting on the ship boundaries. The horizontal displacement of the gravity center of the ship was fixed to zero. In this way, the ship moves only vertically although it can freely rotate. The position of the ship boundary at each time step defines a moving boundary condition for the free surface particles in the fluid. Figure 20 shows instants of the motion of the ship and the surrounding fluid. It is interesting to see the breaking of a wave on the ship prow as well as on the stern when the wave goes back. Note that some water drops slip over the ship deck.
Figure 21 shows the analysis of a similar problem using precisely the same approach. The section of the ship analyzed corresponds now to that of a real container ship. Different to the previous case the rigid ship is free to move laterally due to the sea wave forces. The objective of the study was to assess the influence of the stabilizers in the ship roll. The figures show clearly how the PFEM predicts the ship and wave motions in a realistic manner.
Figure 20: Motion of a rigid ship hit by an incoming wave. The ship is modelled as a rigid solid restrained to move in the vertical direction. 
Figure 21: Ship with stabilizers hit by a lateral wave 
Figure 22 represents a transversal section of a tankship and a wave approaching it. The tankship is modelled as a rigid body and it carries a liquid inside which can move freely within the ship domain.
Initially () the ship is released from a fixed position and the equilibrium configuration found is consistent with Archimedes principle. During the following time steps the external wave hits the ship and both the internal and the external fluids interact with the ship boundaries. At times and 8.55 breaking waves and some water drops slipping along the ship deck can be observed. Figure 23 shows the pressure pattern at two time steps.
Figure 23:Tank ship under lateral wave. Pressure distribution at two time steps. 
In the next example a solid cube is initially free and falls into a container of water recipient. In this example, the rigid solid is modeled first as a fictitious fluid with a higher viscosity, similarly as for the floating solid of Section 10.7. The results of this analysis are shown in Figure 24. Note that the method reproduces very well the interaction of the cube with the free surface as well as the overall sinking process. A small deformation of the cube is produced. This can be reduced by increasing further the fictitious viscosity of the cube particles.
Figure 24: Solid cube falling into a recipient with water. The cube is modelled as a very viscous fluid 
The same problem is analyzed again considering now the cube as a rigid solid subjected to pressure and viscous forces acting in its boundaries. The resultant of the fluid forces and the weight of the cube are applied to the center of the cube. These forces govern the displacement of the cube which is computed by solving the dynamic equations of motion as described in the fractional step algorithm of Section 5, similarly as for the rigid ships of the three previous examples. Here again the moving cube contours define a boundary condition for the fluid particles at each time step.
Initially the solid falls freely due to the gravity forces (Figure 25). Once in contact with the water surface, the AlphaShape method recognizes the different boundary contours which are shown with a thick line in the figure. The pressure and viscous forces are evaluated in all the domain and in particular on the cube contours. The fluid forces introduce a negative acceleration in the vertical motion until, once the cube is completely inside the water, the vertical velocity becomes zero. Then, buoyancy forces bring the cube up to the freesurface. It is interesting to observe that there is a rotation of the cube. The reason is that the center of the floating forces is higher in the rotated position than in the initial ones.
Figure 25: Cube falling into a recipient with water. The cube is modelled as a rigid solid. Motion of the cube and free surface positions at different time steps. 
Figure 26 shows a repetition of the same problem showing now all the finite elements in the mesh discretizing the fluid. We recall that in all the problems here described the mesh in the fluid domain is regenerated at each time step combining linear triangles and quadrilateral elements as described in Section 7. Note that some fluid particles separate from the fluid domain. These particles are treated as free boundary points with zero pressure and hence fall due to gravity.
Figure 26: Cube falling in a water recipient. The cube is modeled as a rigid solid. The finite element meshes generated at the selected instants are shown. 
It is interesting to see that the final position of the cube is different from that of Figure 25. This is due to the unstable character of the cube motion. A small difference in the numerical computations (for instance in the mesh generation process) shifts the movement of the cube towards the right or the left. Note that a final rotated equilibrium position is found in both cases.
This example shows that the PFEM can also be successfully used to solve fluid flow problems traditionally analyzed with Eulerian formulations. The problem solved is that of a heated thin cavity containing a fluid. The flow pattern yields the so called RayleighBénard hydrodynamical instability giving a roll pattern along the cavity. In this case the Lagrangian fluid flow equations are solved together with the heat transfer equation also written in a Lagrangian manner. As mentioned at the introduction of Section 10 a value of has been taken in this example. Details of the solution scheme using a Boussinesq approximatlions for the coupling between the heat transfer equation and the flow equations are given in Aubry et al. (2004) [1].
The bottom and upper part are isothermal with a temperature of for the bottom and for the top. The initial and reference temperature in the fluid is C and the side parts are adiabatic. The Rayleigh number is and the Prandtl number is . The mesh has 35500 nodes and 69700 elements at the beginning of the analysis. The numerical computations start with the fluid at rest as the initial conditions. For rigidrigid boundary conditions, the critical value of the Rayleigh number is 1708 so that the flow is here supercritical. However, a quasisteady state is reached, with periodic oscillations of the temperature and the cells. Figure 27 shows results of the temperature and velocity field showing the development of rolls. Numerical results have been plotted using the GiD pre/postprocessing system developed at CIMNE [Gid (2004) [14]]. More details on the application of the PFEM to this problem can be found in Aubry et al. (2004) [1].
The particle finite element method (PFEM) seems ideal to treat problems involving fluids with free surface and submerged or floating structures within a unified Lagrangian finite element framework. Problems such as the analysis of fluidstructure interactions, large motion of fluid or solid particles, surface waves, water splashing, separation of water drops, etc. can be easily solved with the PFEM. The success of the method lies in the accurate and efficient solution of the equations of an incompressible fluid and of solid dynamics using a stabilized finite element method via a fractional step scheme allowing the use of low order elements with equal order interpolation for all the variables. Other essential solution ingredients are the efficient regeneration of the finite element mesh using an extended Delaunay tesselation, the meshless finite element interpolation (MFEM) and the identification of the boundary nodes using an Alpha Shape type technique. The examples presented have shown the potential of the PFEM for solving a wide class of practical FSI problems.
Thanks are given to Prof. R.L Taylor for many useful suggestions and to Mr. Nestor Calvo for this help in the development of the mesh generation process using the extended Delaunay technique.
From Eqs.(7) and (3) it can be obtained (taking into account the definition of the stresses and Eqs.(5))

(A.1) 
where

(A.2a) 
and

(A.2b) 
Substituting Eq.(A.1) into Eq.(8) and retaining the terms involving the derivatives of with respect to only, leads to the following expression for the stabilized mass balance equation

(A.3) 
with

(A.4) 
[1] Aubry, R., Idelsohn, S.R. and Oñate, E. (2004). Particle finite element method in fluid mechanics including thermal convectiondiffusion. Computer & Structures, submitted.
[2] Chorin, A.J. (1967). A numerical solution for solving incompressible viscous flow problems. J. Comp. Phys., 2: 12–26.
[3] Codina, R. (2002). Stabilized finite element approximation of transient incompressible flows using orthogonal subscales. Comput. Methods Appl. Mech. Engrg., 191: 4295–4321..
[4] Codina, R., Vazquez, M. and Zienkiewicz, O.C. (1998). A general algorithm for compressible and incompressible flow  Part III. The semiimplicit form. Int. J. Num. Meth. in Fluids, 27: 13–32.
[5] Codina, R. and Blasco, J. (2000). Stabilized finite element method for the transient NavierStokes equations based on a pressure gradient operator. Comput. Methods in Appl. Mech. Engrg., 182: 277–301.
[6] Codina, R. and Zienkiewicz, O.C. (2002). CBS versus GLS stabilization of the incompressible NavierStokes equations and the role of the time step as stabilization parameter. Communications in Numerical Methods in Engineering, 18 (2): 99–112.
[7] Cruchaga, M.A. and Oñate, E. (1997). A finite element formulation for incompressible flow problems using a generalized streamline operator. Comput. Methods in Appl. Mech. Engrg., 143: 49–67..
[8] Cruchaga, M.A. and Oñate, E. (1999). A generalized streamline finite element approach for the analysis of incompressible flow problems including moving surfaces. Comput. Methods in Appl. Mech. Engrg., 173: 241–255..
[9] J. Donea and A. Huerta, Finite Element Methods for Flow Problems. Wiley, 2003.
[10] Edelsbrunner, H. and Mucke, E.P. (1999). Three dimensional alpha shapes. ACM Trans. Graphics, 13: 43–72.
[11] Franca, L.P. and Frey, S.L. (1992). Stabilized finite element methods: II. The incompressible NavierStokes equations. Comput. Method Appl. Mech. Engrg., 99: 209–233.
[12] García, J. and Oñate, E. (2003). An unstructured finite element solver for ship hydrodynamic problems. in J. Appl. Mech., 70: 18–26, January.
[13] George. (1991). Automatic mesh generation. Application to the finite element method, J. Wiley.
[14] GiD. (2004). The personal pre/postprocessor. CIMNE, Barcelona, www.gidhome.com.
[15] Hansbo, P. and Szepessy, A. (1990). A velocitypressure streamline diffusion finite element method for the incompressible NavierStokes equations. Comput. Methods Appl. Mech. Engrg., 84: 175–192.
[16] Hughes, T.J.R., Franca, L.P. and Balestra, M. (1986). A new finite element formulation for computational fluid dynamics. V Circumventing the BabuskaBrezzi condition: A stable PetrovGalerkin formulation of the Stokes problem accomodating equal order interpolations. Comput. Methods Appl. Mech. Engrg., 59: 85–89.
[17] Hughes, T.J.R., Franca, L.P. and Hulbert, G.M. (1989). A new finite element formulation for computational fluid dynamics: VIII. The Galerkin/leastsquares method for advectivediffusive equations. Comput. Methods Appl. Mech. Engrg., 73: 173–189.
[18] Hughes, T.J.R., Hauke, G. and Jansen, K. (1994). Stabilized finite element methods in fluids: Inspirations, origins, status and recent developments. in: Recent Developments in Finite Element Analysis. A Book Dedicated to Robert L. Taylor, T.J.R. Hughes, E. Oñate and O.C. Zienkiewicz (Eds.), CIMNE, Barcelona, Spain, pp. 272–292.
[19] Idelsohn, S.R., Oñate, E., Del Pin F. and Calvo, N. (2002). Lagrangian formulation: the only way to solve some freesurface fluid mechanics problems. Fith World Congress on Computational Mechanics, Mang HA, Rammerstorfer FG and Eberhardsteiner J. (eds), July 7–12, Viena, Austria.
[20] Idelsohn, S.R., Oñate, E., Calvo, N. and del Pin, F. (2003a). The meshless finite element method. Int. J. Num. Meth. Engng., 58,6: 893–912.
[21] Idelsohn, S.R., Oñate, E. and Del Pin, F. (2003b). A lagrangian meshless finite element method applied to fluidstructure interaction problems. in Computer and Structures, 81: 655–671.
[22] Idelsohn, S.R., Calvo, N. and Oñate, E. (2003c). Polyhedrization of an arbitrary point set. Comput. Method Appl. Mech. Engng., 192 (2224): 2649–2668.
[23] Idelsohn, S.R., Oñate, E. and Del Pin, F. (2004). The particle finite element method a powerful tool to solve incompressible flows with freesurfaces and breaking waves. Int. J. Num. Meth. Engng., submitted.
[24] Irons, B.M. (1970). A frontal solution program. Int. J. Num. Meth. Engng., 2: 5–32.
[25] Koshizuka, S. and Oka, Y. (1996). Moving particle semiimplicit method for fragmentation of incompressible fluid. Nuclear Engng. Science, 123: 421–434.
[26] Laitone, E.V. (1960). The second approximation to cnoidal waves. J. Fluids Mech., 9: 430.
[27] Oñate, E. (1998). Derivation of stabilized equations for advectivediffusive transport and fluid flow problems. Comput. Meth. Appl. Mech. Engng., 151: 233–267.
[28] Oñate, E. (2000). A stabilized finite element method for incompressible viscous flows using a finite increment calculus formulation. Comp. Meth. Appl. Mech. Engng., 182 (1–2): 355–370.
[29] Oñate, E. (2004). Possibilities of finite calculus in computational mechanics. Int. J. Num. Meth. Engng., 60 (1): 255–281.
[30] Oñate, E. and Idelsohn, S.R. (1998). A mesh free finite point method for advectivediffusive transport and fluid flow problems. Computational Mechanics, 21: 283–292.
[31] Oñate, E., Sacco, C. and Idelsohn, S.R. (2000). A finite point method for incompressible flow problems. Comput. and Visual. in Science, 2: 67–75.
[32] Oñate, E. and García, J. (2001). A finite element method for fluidstructure interaction with surface waves using a finite calculus formulation. Comput. Meth. Appl. Mech. Engrg., 191: 635–660.
[33] Oñate, E., Idelsohn, S.R. and Del Pin, F. (2003). Lagrangian formulation for incompressible fluids using finite calculus and the finite element method. in Numerical Methods for Scientific Computing Variational Problems and Applications, Y. Kuznetsov, P. Neittanmaki and O. Pironneau (Eds.), CIMNE, Barcelona.
[34] Oñate, E., García, J. and Idelsohn, S.R. (2004). Ship hydrodynamics. In Encyclopedia of Computational Mechanics, E. Stein, R. de Borst and T.J.R. Hughes (Eds), J. Wiley.
[35] Radovitzki, R. and Ortiz, M. (1998). Lagrangian finite element analysis of a Newtonian flows. Int. J. Num. Meth. Engng., 43: 607–619.
[36] Sheng, C., Taylor, L.K. and Whitfield, D.L. (1996). Implicit lowerupper/approximatefactorization schemes for incompressible flows Journal of Computational Physics, 128 (1), 32–42, 1996
[37] Storti, M., Nigro, N. and Idelsohn, S.R. (1995). Steady state incompressible flows using explicit schemes with an optimal local preconditioning. Computer Methods in Applied Mechanics and Engineering, 124: 231–252.
[38] Tezduyar, T.E., Behr, M. and Liou, J. (1992a). A New Strategy for Finite Element Computations Involving Moving Boundaries and Interfaces  The DeformingSpatialDomain/SpaceTime Procedure: I. The Concept and the Preliminary Numerical Tests. Computer Methods in Applied Mechanics and Engineering, 94, 339–351.
[39] Tezduyar, T.E., Behr, M., Mittal, S. and J. Liou (1992b). A New Strategy for Finite Element Computations Involving Moving Boundaries and Interfaces  The DeformingSpatialDomain/SpaceTime Procedure: II. Computation of Freesurface Flows, Twoliquid Flows, and Flows with Drifting Cylinders. Computer Methods in Applied Mechanics and Engineering, 94, 353–371..
[40] Tezduyar, T. (2001). Finite Element InterfaceTracking and InterfaceCapturing Techniques for Flows with Moving Boundaries and Interfaces ASME Paper IMECE2001/HTD24206, Proceedings of the ASME Symposium on FluidPhysics and Heat Transfer for Macro and MicroScale GasLiquid and PhaseChange Flows, ASME, New York, New York, CDROM.
[41] Tezduyar, T.E., Mittal, S., Ray, S.E. and Shih, R. (1992). Incompressible flow computations with stabilized bilinear and linear equal order interpolation velocity–pressure elements. Comput. Methods Appl. Mech. Engrg., 95: 221–242.
[42] Thompson, J.F., Soni, B.K. and Weatherill, N.P. (Eds.) (1999). Handbook of Grid Generation, CRC Press.
[43] Zienkiewicz, O.C. and Taylor, R.L. (2000). The finite element method. 5th Edition, 3 Volumes, Butterworth–Heinemann.
Published on 01/01/2004
DOI: 10.1142/S0219876204000204
Licence: CC BYNCSA license
Are you one of the authors of this document?