(6 intermediate revisions by the same user not shown)  
Line 1:  Line 1:  
−  
−  
−  
−  
−  
−  
−  
−  
−  
==Abstract==  ==Abstract==  
Line 1,053:  Line 1,044:  
<div id="cite1"></div>  <div id="cite1"></div>  
−  +  [[#citeF1[1]]] Zienkiewicz O.C. and Taylor R.L. ''The Finite Element Method''. Volume 3. 5th Edition, ButterworthHeinemann, 2001.  
<div id="cite2"></div>  <div id="cite2"></div>  
−  +  [[#citeF2[2]]] Tezduyar T.E. and Park Y.J. Discontinuitycapturing finite element formulations for nonlinear convectiondiffusionreaction equations. ''Comput. Methods Appl. Mech. Engrg.'', 59, 307–325, 1986.  
<div id="cite3"></div>  <div id="cite3"></div>  
−  +  [3] Tezduyar T.E., Park Y.J. and Deans H.A. Finite element procedures for timedependent convectiondiffusionreaction systems. ''Int. J. Num. Meth. Fluids'', 7, 1013–1033, 1987.  
<div id="cite4"></div>  <div id="cite4"></div>  
−  +  [[#citeF4[4]]] Idelsohn S., Nigro N. Storti M. and Buscaglia G. A PetrovGalerkin formulation for advectionreactiondiffusion problems. ''Comput. Methods Appl. Mech. Engrg.'', 136, 27–46, 1996.  
<div id="cite5"></div>  <div id="cite5"></div>  
−  +  [[#citeF5[5]]] Codina R. Comparison of some finite element methods for solving the diffusionconvectionreaction equation. ''Comput. Methods Appl. Mech. Engrg.'', 156, 186–210, 1998.  
<div id="cite6"></div>  <div id="cite6"></div>  
−  +  [6] Codina R. On stabilized finite element methods for linear systems of convectiondiffusionreaction equations. ''Comput. Meth. Appl. Mech. Engrg.'', 188, 61–82, 2000.  
<div id="cite7"></div>  <div id="cite7"></div>  
−  +  [7] Burman E. and Ern A. Nonlinear diffusion and discrete maxium principle for stabilized Galerkin approximations of the convectiondiffusionreaction equation. ''Comput. Meth. Appl. Mech. Engrg.'', 191, 3833–3855, 2002.  
<div id="cite8"></div>  <div id="cite8"></div>  
−  +  [[#citeF8[8]]] Harari I. and Hughes T.J.R. Finite element methods for the Helmholtz equation in an exterior domain: model problems. ''Comput. Meth. Appl. Mech. Engrg.'', 87, 59–96, 1991.  
<div id="cite9"></div>  <div id="cite9"></div>  
−  +  [9] Harari I. and Hughes T.J.R. Galerkin/least squares finite element methods for the reduced wave equation with nonreflecting boundary conditions in unbounded domains. ''Comput. Meth. Appl. Mech. Engrg.'', 98, 411–454, 1992.  
<div id="cite10"></div>  <div id="cite10"></div>  
−  +  [10] Harari I. and Hughes T.J.R. Stabilized finite element method for steady advectiondiffusion with production. ''Comput. Meth. Appl. Mech. Engrg.'', 115, 165–191, 1994.  
<div id="cite11"></div>  <div id="cite11"></div>  
−  +  [11] Harari I., Grosh K., Hughes T.J.R., Malhotra M., Pinsky P.M., Stewart J.R. and Thompson L.L. Recent development in finite element methods for structural acoustics. ''Archives of Computational Mechanics in Engineering'', 3, 23, 131–309, 1996.  
<div id="cite12"></div>  <div id="cite12"></div>  
−  +  [[#citeF12[12]]] Hauke G. and GarciaOlivares A. Variational subgrid scale formulations for the advectiondiffusionreaction equation. ''Comput. Methods Appl. Mech. Engrg.'' 2000; 190:6847–6865.  
<div id="cite13"></div>  <div id="cite13"></div>  
−  +  [13] Hauke G. A simple subgrid scale stabilized method for the advectiondiffusion reaction equation. ''Comput. Methods Appl. Mech. Engrg.'' 2002; 191:2925–2947.  
<div id="cite14"></div>  <div id="cite14"></div>  
−  +  [[#citeF14[14]]] Brezzi F., Hauke G., Marin L.D. and Sangalli S. Linkcutting bubbles for the stabilization of convectiondiffusionreaction problems. ''Mathematical Models and Methods in Applied Sciences'', World Scientific Publishing Company, 2002.  
<div id="cite15"></div>  <div id="cite15"></div>  
−  +  [[#citeF15[15]]] Felippa C.A. and Oñate E. Nodally exact Ritz discretization of 1D diffusionabsorption and Helmholtz equations by variational FIC and modified equation methods. Research Report No. PI 237, CIMNE, Barcelona 2004. Submitted to ''Comput. Mechanics''.  
<div id="cite16"></div>  <div id="cite16"></div>  
−  +  [16] Idelsohn S.R., Heinrich J.C. and Oñate E. PetrovGalerkin methods for the transient advectivediffusive equation with sharp gradients. ''Int. J. Num. Meth. Engng.'', 39, 1455–1473, 1996.  
<div id="cite17"></div>  <div id="cite17"></div>  
−  +  [17] Harari I. Stability of semidiscrete advectiondiffusion in transient computation. Proceedings of ''6th World Congress on Computational Mechanics'', Beijing, Sept. 2004, Z.H. Yao, M.W. Yuan and W.X. Zhong (Eds.), Tsinghua Univ. PressSpringer.  
<div id="cite18"></div>  <div id="cite18"></div>  
−  +  [18] Oñate E., Miquel, J. and Hauke, G. Stabilized formulation for the advectiondiffusionreaction equations using finite calculus and linear finite elements. Submittted in ''Comput. Methods Appl. Mech. Engrg.'', March 2005.  
<div id="cite19"></div>  <div id="cite19"></div>  
−  +  [19] Oñate E. Derivation of stabilized equations for advectivediffusive transport and fluid flow problems. ''Comput. Methods Appl. Mech. Engrg.'', 151 (12), 233–267, 1998.  
<div id="cite20"></div>  <div id="cite20"></div>  
−  +  [20] Oñate E. Possibilities of finite calculus in computational mechanics. ''Int. J. Num. Meth. Engng.'', 60, 255–281, 2004.  
<div id="cite21"></div>  <div id="cite21"></div>  
−  +  [21] Oñate E., Manzan M. A general procedure for deriving stabilized spacetime finite element methods for advectivediffusive problems. ''Int. J. Num. Meth. Fluids'', 31, 203–221, 1999.  
<div id="cite22"></div>  <div id="cite22"></div>  
−  +  [22] Oñate E., Idelsohn S.R., Zienkiewicz O.C. and Taylor R.L. A finite point method in computational mechanics. Applications to convective transport and fluid flow. ''Int. J. Num. Meth. Engng.'', 39, 3839–3866, 1996.  
<div id="cite23"></div>  <div id="cite23"></div>  
−  +  [23] Oñate E. A stabilized finite element method for incompressible viscous flows using a finite increment calculus formulation. ''Comput. Methods Appl. Mech. Engrg.'', 182, (1–2), 355–370, 2000.  
<div id="cite24"></div>  <div id="cite24"></div>  
−  +  [24] Oñate E., García J. A finite element method for fluidstructure interaction with surface waves using a finite calculus formulation. in ''Comput. Methods Appl. Mech. Engrg.'', 191 (67), 635660, 2001.  
<div id="cite25"></div>  <div id="cite25"></div>  
−  +  [25] Idelsohn S.R., Oñate E. and Del Pin F. A Lagrangian meshless finite element method applied to fluidstructure interaction problems. ''Computers and Structures'', 81, 655–671, 2003.  
<div id="cite26"></div>  <div id="cite26"></div>  
−  +  [26] Oñate E., Idelsohn S.R., Del Pin F. and Aubry R. The particle finite element method. An overview (PFEM). ''Int. J. Comput. Methods'', 1 (2), 267–307, 2004.  
<div id="cite27"></div>  <div id="cite27"></div>  
−  +  [[#citeF27[27]]] Oñate E., García J. and Idelsohn S.R. Ship Hydrodynamics. ''Encyclopedia of Computational Mechanics'', T. Hughes, R. de Borst and E. Stein (Eds.), Vol. 3, Chapter 18, 579–607, J. Wiley, 2004.  
<div id="cite28"></div>  <div id="cite28"></div>  
−  +  [28] Oñate E., Taylor R.L., Zienkiewicz O.C. and Rojek J. A residual correction method based on finite calculus. ''Engineering Computations'', 20 (5/6), 629–658, 2003.  
<div id="cite29"></div>  <div id="cite29"></div>  
−  +  [29] Oñate E., Rojek J., Taylor R.L. and Zienkiewicz O.C. Finite calculus formulation for analysis of incompressible solids using linear triangles and tetrahedra. ''Int. J. Num. Meth. Engng.'', 59 (11), 1473–1500, 2004.  
<div id="cite30"></div>  <div id="cite30"></div>  
−  +  [30] Oñate E., Zárate F. and Idelsohn S.R. Finite element formulation for convectiondiffusion problems with sharp gradients using finite calculus. ''Comput. Meth. Appl. Mech. Engng.'' Submitted Nov. 2004.  
<div id="cite31"></div>  <div id="cite31"></div>  
−  +  [31] Hughes T.J.R. and Mallet M. A new finite element formulations for computational fluid dynamics: IV. A discontinuity capturing operator for multidimensional advectivediffusive system. ''Comput. Methods Appl. Mech. Engrg.'', 58, 329–336, 1986b.  
<div id="cite32"></div>  <div id="cite32"></div>  
−  +  [32] Codina R. A discontinuitycapturing crosswind dissipation for the finite element solution of the convectiondiffusion equation. ''Comput. Methods Appl. Mech. Engrg.'', 110, 325–342, 1993.  
<div id="cite33"></div>  <div id="cite33"></div>  
−  +  [33] Hughes T.J.R., Mallet M. and Mizukami A. A new finite element formulation for comptutational fluid dynamics: II Beyond SUPG. ''Comput. Methods Appl. Mech. Engrg.'', 54, 341–355, 1986.  
<div id="cite34"></div>  <div id="cite34"></div>  
−  +  [34] Galeo A.C. and Dutra do Carmo E.G. A consistent approximate upwind PetrovGalerkin method for convectiondominated problems. ''Comput. Methods Appl. Mech. Engrg.'', 68, 83–95, 1988.  
<div id="cite35"></div>  <div id="cite35"></div>  
−  +  [35] Tezduyar T.E. Adaptive determination of the finite element stabilization parameters. ''Proceedings of the ECCOMAS Computational Fluid Dynamics Conference 2001'', Swansea, Wales, UK, CDRom, 2001.  
<div id="cite36"></div>  <div id="cite36"></div>  
−  +  [36] Tezduyar T.E. Computation of moving boundaries and interfaces and stabilization parameters, ''International Journal for Numerical Methods in Fluid'', 43, 555575, 2003.  
<div id="cite37"></div>  <div id="cite37"></div>  
−  +  [37] Oñate E., García J., Idelsohn S. and Del Pin F. FIC formulation for finite element analysis of incompressible flows. Eulerian, Lagrangian and ALE approaches. Accepted for publication in ''Computational Methods in Applied Mechanics and Engineering'', 2005. 
A stabilized finite element method (FEM) for the multidimensional steady state advectiondiffusionabsorption equation is presented. The stabilized formulation is based on the modified governing differential equations derived via the Finite Calculus (FIC) method. For 1D problems the stabilization terms act as a nonlinear additional diffusion governed by a single stabilization parameter. It is shown that for multidimensional problems an orthotropic stabilizing diffusion must be added along the principal directions of curvature of the solution. A simple iterative algorithm yielding a stable and accurate solution for all the range of physical parameters and boundary conditions is described. Numerical results for 1D and 2D problems with sharp gradients are presented showing the effectiveness and accuracy of the new stabilized formulation.
Considerable effort has been spent in recent years to derive finite element methods (FEM) 1 for the solution of the advectiondiffusionreaction equation. In this work we will focus on the so called exponential regime originated by large absorptive (dissipative) reaction terms. Here the solutions are of the form of real exponential functions. Numerical schemes find difficulties to approximating the sharp gradients appearing in the neighborhood of boundary and internal layers due to high Peclet and/or Damköhler numbers. Non physical oscilaltory solution are found with the standard Galerkin FEM unless some stabilization procedure is used.
Stabilized methods to tackle this problem have been based on streamlineupwind/PetrovGalerkin (SUPG) 2, Galerkin/leastsquares 5, Subgrid Scale (SGS) 5 and Residual Free Bubbles 14 finite element methods. While a single stabilization parameter suffices to yield stabilized (and even nodally exact results) for the onedimensional (1D) advectiondiffusion and the diffusionreaction equations (Vol. 3 in 1 and 8), this is not the case for the diffusionadvectionreaction equation. Here, in general, two stabilization parameters are needed in order to ensure a stabilized solution for all range of physical parameters and boundary conditions 4. As reported in 12 the SUPG, GLS and SGS methods with a single stabilization parameter fail to obtain a stabilized solution for some specific boundary conditions in the exponential regime with negative (absorption) terms when there is a negative streamwise gradient of the solution.
Oñate et al. [18] have recently presented a stabilized FEM for the advectiondiffusion absorption equation based on the use of a single stabilization parameter which has the form of a diffusion term. In [18] the formulation is detailed for 1D problems and only a brief introduction to the multidimensional case is given. This paper extends the ideas presented in [18] and provides evidence of the effectiveness and accuracy of the new formulation to deal with multidimensional advectiondiffusionabsorption problems with sharp gradients.
The stabilized formulation is based on the standard Galerkin FEM solution of the modified governing differential equations derived via the Finite Calculus (FIC) method [19–20]. The FIC equations are obtained by expressing the balance of fluxes in a domain of finite size. This introduces additional stabilizing terms in the differential equations of the infinitessimal theory which are a function of the balance domain dimensions. Although the FIC–FEM formulation here presented is general, we will restrict its application in this work to linear finite element approximations only.
The Galerkin FICFEM formulation described here introduces naturally an additional nonlinear dissipation term into the discretized equations which is governed by a single stabilization parameter. In the absence of the absorption term the formulation simplifies to the standard PetrovGalerkin approach for the advectiondiffusion problem For the diffusionabsorption case the diffusiontype stabilization term is identical to that recently obtained by Felippa and Oñate using a variational FIC approach 15. The general nonlinear form of the stabilization parameter is a function of the signs of the solution and its first and second derivatives. This introduces a nonlinearity in the solution scheme and a simple iterative algorithm is described. A simpler constant expression of the stabilization parameter is also presented.
Details of the 1D formulation and its extension to deal with multidimensional problems are given. For the multidimensional case Oñate et al. 27 have recently shown that a general form of the stabilization parameters can be found by writting the FIC equations along the principal curvature directions of the solution. The resulting FICFEM formulation is equivalent in this case (for linear elements) to adding a stabilizing diffusion matrix to the standard infinitessimal equation. The stabilizing diffusion matrix depends on the signs of the solution and its derivatives and on the velocities along the principal curvature directions of the solution. This introduces a nonlinearity in the solution process. We present a simple iterative scheme based in assuming that the main principal curvature direction at each point is coincident with the gradient vector direction. In the last part of the paper we present a collection of 1D and 2D examples showing the effectiveness and accuracy of the new FICFEM formulation for different values of the advective and absorptive terms.
The governing equation for the 1D stationary advectiondiffusionabsorption problem can be written in the FIC formulation as

(1) 

(2) 

(3) 
where

(4) 
In above equations is the state variable, is the problem domain, is the domain length, is the velocity field, is the diffusion, is the absorption, dissipation or destruction source parameter, is a constant source term, and are the prescribed values of the total flux and the unknown function at the Neumann and Dirichlet boundaries and , respectively and is a characteristic length which plays the role of a stabilization parameter. In the 1D problem and consist of four combinations at the end points of the problem domain.
Eqs.(1) and (2) are obtained by expressing the balance of fluxes in an arbitrary 1D domain of finite size within the problem domain and at the Neumann boundary, respectively. The variations of the transported variables within the balance domain are approximated by Taylor series expansions retaining one order higher terms than in the infinitessimal theory [19,20]. The underlined stabilizing terms in Eqs.(1) and (2) emanate from these higher order expansions. Note that as the characteristic length parameter tends to zero the FIC differential equations gradually recover the standard infinitessimal form.
Successful applications of the FIC method to a variety of problems in computational mechanics can be found in [19–30,37].
We will construct a standard finite element discretization of the 1D analysis domain length with index ranging from 1 to the number of elements 1. The state variable is approximated by over the analysis domain. The approximated variable is interpolated within each element with nodes in the standard manner, i.e.

(5a) 
with

(5b) 
where are the element shape functions and are nodal values of the approximate function . Substituting Eq.(5a) into Eqs.(1) and (2) gives


(6) 

(7) 
where and and are the residuals of the approximate solution in the problem domain and on the Neumann and Dirichlet boundaries and , respectively.
The weighted residual form of Eqs.(6)–(8) is written as

(8) 
where and are test functions satisfying on .
Assuming smooth enough solutions and integrating by parts the term involving in the first integral gives for

(9) 
The third term in Eq.(10) is computed as the sum of the integrals over the element interiors, therefore allowing for the space derivatives of to be discontinuous. Also in Eq.(10) has been assumed to be constant within each element, (i.e. within ).
The weak form is obtained by integrating by parts the advective and diffusive terms within in the first integral of Eq.(10). This gives

(10) 
with

(11) 
where a prime denotes the derivative with respect to the space coordinate.
Wee see clearly that the last term of Eq.(11) introduces within each element an additional diffusion of value .
Substituting expression (5b) into (11) and choosing a Galerkin method with within each element gives the discrete system of FE equations written in the standard matrix form as

(12) 
where is the vector of nodal unknowns and the element contributions to matrix K and vector are

The amount of balancing diffusion in Eq.(14) clearly depends on the (nonlinear) stabilization parameter . The element and critical values of are deduced in the next section for linear two node elements.
We note that the integral of the term in Eq.(15) vanishes after asssembly when and are uniform over a patch of linear elements.
The matrix and the vector for two node linear elements are (for constant values of , and )

(16a) 

(16a) 
In Eqs.(16) index denotes element values.
Assuming , a typical stencil for elements of equal size can be written as

(17) 
where for simplicity a constant value of across the mesh has been assumed. In Eq.(17) and are the Peclet number and a velocity independent dimensionless number, respectively.
From Eq.(17) we deduce

(18) 
In the vecinity of a sharp gradient zone we can take

(19) 
where is the maximum value of the approximate function in the patch of elements adjacent to the sharp gradient zone and

(20) 
where sign denotes the sign of the magnitude within the brackets computed at the patch mid point.
Substituting Eq.(19) into (18) leads to the following expression of the stabilization parameter

(21) 
The element stabilization parameter is now defined as

(22) 
where is given by Eq.(21) and the signs , and are computed now at the element midpoint.
It is clear from above that the computation of the stabilization parameter requires the knowledge of the sign of the numerical solution and that of the first and second derivatives of within each element. This necessarily leads to an iterative scheme. A simple algorithm which provides a stabilized and accurate solution in just two steps is presented below.
The following constant value of over the mesh ensures a stabilized solution for all ranges of and

(23) 
where is the critical stabilization parameter. Note that corresponds to the maximum value of in Eq.(21) for . A mathematical proof of Eq.(23) is given in [18].
Clearly the value of of Eq.(23) is meaningful only if and this can be taken as an indicator of an unstable solution. Conversely, a value of indicates that no stabilization is needed.
The following two steps iterative scheme is proposed in order to obtain a stabilized and accurate solution.
step step
Compute a first stabilized solution using the critical value given by Eq.(23). This ensures a stabilized, although sometimes slightly overdiffusive, solution.
step
Compute the signs of the first and second derivatives of within each element. The second derivative field is obtained as follows

(24) 
where denotes averaged values of the first derivative at node of element . At the boundary nodes the constant value of the derivative of within the element is taken in Eq.(24); i.e. .
Compute the enhanced stabilized solution using the element value of given by Eq.(22).
In all the 1D examples solved the above two steps have sufficed to obtain a converged stabilized and accurate solution [18]. The reason of this is that the signs of the first and second derivative fields typically do not change any further after the second step over the elements adjacent to high gradient zones.
Consider the general steadystate advectiondiffusionreaction equation written for the zero constant source case () as

(25) 
For 2D problems

(26) 
are respectively the velocity vector, the gradient vector and the diffusivity matrix, respectively. For simplicity we have assumed an isotropic diffusion matrix.
The FIC form of Eq.(25) is written as

(27) 
where is the original infinitessimal differential equation as defined in Eq.(25).
The Dirichlet and boundary conditions of the FIC formulation are

(28) 

(29) 
where is the normal vector to the boundary where the normal flux is prescribed. As usual index denotes the prescribed values.
In Eqs.(27) and (29) is the characteristic vector of the 2D FIC formulation which components play the role of stabilization parameters. The underlined terms in Eqs.(27) and (29) introduce the necessary stability in the numerical solution [19,20,21].
If vector h is taken to be parallel to the velocity u the standard SUPG method is recovered [18–23]. The more general form of h allows to obtain stabilized finite element solutions in the presence of strong gradients of near the boundaries (boundary layers) and within the analysis domain (internal layers) 27. The FIC formulation therefore reproduces the best features of the so called shockcapturing or transversedissipation schemes 2.
Figure 1. Global axes () and principal curvature axes () 
Let us write down the FIC balance equation in the principal curvature axes of the solution (Figure 1). The FIC balance equation is

(30) 
where are the velocities along the principal axes of curvature and , respectively.
As and are the principal curvature axes of the solution then

(31) 
Introducing this simplification into Eq.(30) we can rewrite this equation as

(32a) 
or

(32b) 
We can see clearly from Eq.(33) that the FIC governing equations introduce orthotropic diffusion parameters of values and along the and axes, respectively with

(33) 
Also note that the last term of Eq.(32b) will vanish after discretization for linear elements.
Eq.(32b) can be rewritten in matrix form (neglecting the last term) as

where , , is the “physical” isotropic diffusion matrix and is the balancing diffusion matrix in the local axes and . The form of this matrix is

(34) 
The velocities along the principal curvature axes and can be obtained by projecting the cartesian velocities into the principal curvature axes and as

(35) 
where , and is the angle which the axis forms with the axis (Figure 1). Note that as the solution is continuous the principal curvature directions and are orthogonal.
The values of and are computed by considering the solution of two uncoupled 1D problems along the and directions. This gives from Eqs.(21) and (22)

(37a) 

(37b) 
where

(38) 
and is as usual the approximate solution.
The lengths and are taken as the maximum projection of the velocities and along the element sides (for triangles) and the element diagonals (for quadrilaterals), i.e.

(39a) 
with

(39b) 
In Eq.(39a) and contain the global components of the velocity vectors and , respectively. For triangles are the element side vectors, whereas for quadrilaterals are the element diagonal vectors 27.
The next step is to transform Eq.(34) to global axes . The resulting equation is

where the global diffusion matrix is given by

(41a) 
where the global balancing diffusion matrix is

(41b) 
Similarly as for the 1D problems, a negative value of the parameters and indicates that no stabilization is needed along the directions and , respectively. A zero value of the corresponding stabilization parameter is chosen in this case.
The expressions of and in Eq.(37) can be simplified to

(42) 
This avoids the computation of the sign of the solution and of its first and second derivatives. The expressions of and in Eq.(42) are equivalent to that of the 1D critical stabilization parameter of Eq.(23). The main difference is that the computation of the local directions and is still mandatory in the multidimensional case and, therefore, the nonlinearity of the process can not be avoided here.
Excellent results have been obtained in our work by approximating the main curvature direction by the direction of the gradient vector .
This simplification allows us to estimate the direction in a very economical manner as the gradient vector can be directly computed at any point of a linear element. Direction is taken orthogonal to that of in an anticlockwise sense.
For linear triangles is constant within the element. For four node quadrilaterals varies linearly. We have assumed in this case that the direction of is constant within the element and equal to the direction of vector computed at the element center.
The computation of the signs of the second derivative of in Eq.(38) involves the following steps: 1) recovery of the cartesian first derivative field at the nodes using a nodal averaging procedure; 2) computation of the second derivative tensor at the element center and 3) transformation of this tensor to the local axes and .
We note that in problems where positive values of are prescribed at the Dirichlet boundary, the signs of , are positive due to the convexity of the numerical solution.
As mentioned above the dependence of the balancing diffusion matrix with the principal curvature directions and introduces a nonlinearity in the solution process. A simple and effective iterative algorithm is described next.
A stabilized numerical solution can be found by the following algorithm.
Step 1 . For elements in the interior of the domain choose , i.e. the gradient direction is taken coincident with the velocity direction. If then is taken coincident with the global axis.
In elements adjacent to a boundary choose where n is the normal to the boundary.
Compute , and using the expressions of and from Eq.(42).
Solve for .
Verify that the solution is stable. This implies that there are not undershoots or overshoots in the numerical results with respect to the expected physical values. If the numerical solution is unstable, then go to step 2.
Step 2 . For all elements, compute at the element center . Then compute , and using the expressions of and from Eqs.(37).
Solve for .
Step 3 . Estimate the convergence of the process. We have chosen the following convergence norm

(43) 
where is the total number of nodes in the mesh and is the maximum prescribed value at the Dirichlet boundary (if then ). In above steps the left upper indices denote the iteration number.
In the examples shown in the next section has been taken.
If condition (43) is not satisfied, repeat steps 2 and 3 until convergence.
For the advectivediffusive problems (i.e. ) the expression of the balancing diffusion matrix in the interior elements for step 1 coincides with the standard (linear) SUPG form 27.
An alternative solution scheme is to use a time relaxation technique based in the solution of a pseudo transient problem with a forward Euler scheme and a diagonal mass matrix.
The examples presented in this section are solved in a 1D domain discretized with eight twonode linear elements of unit size. The examples are solved with the same Dirichlet conditions and and two different values of and ( and ). We note that for both cases the instability condition () is violated and, hence, the Galerkin solution should yield nonphysical results.
Figures 2 and 3 show the numerical results obtained with the standard Galerkin method () and using the element () and critical () values of the stabilization parameter given by Eqs.(22) and (23), respectively. The exact analytical solution is also shown for comparison.
Table 1 shows the nodal values of the results of the example of Figure 3 for comparison with the 2D solutions presented in the next section.
The following conclusions are drawn from the 1D results.
Above conclusions have been confirmed in the solution of a wider collection of 1D problems presented in [18].
Figure 2. and . FIC results for a mesh of 8 linear elements obtained for (Galerkin), and . Comparison with the analytical solution. 
Figure 3. and . FIC results for a mesh of 8 linear elements obtained for (Galerkin), and . Comparison with the analytical solution. 
The analysis domain in the first two 2D examples presented is a square of size 8 units. The problems are solved first with relatively coarse meshes of four node bilinear square elements and linear triangles.
The boundary conditions for both examples are and at the boundaries and , respectively and zero normal flux at and . This reproduces the condition of the two 1D examples solved in the previous section. The first example is analized for , and giving , and which corresponds to the first 1D example (Figure 2). The correct solution for this problem has a boundary layer in the vecinity of the two sides at and where is prescribed (Figure 4). The numerical results obtained with the standard Galerkin solution are oscillatory as expected. The stabilized FIC formulation elliminates the oscillations and yields the correct physical solution. Good results are obtained for both meshes of linear rectangles and triangles (Figures 4 and 5).
Results labelled as FIC1 and FIC2 in the figures correspond to those obtained in the first and second iteration of the algorithm presented in Section 5.2, respectively. We note that the FIC1 results agree precisely with those obtained in the 1D case for , whereas the FIC2 results agree with the more accurate 1D values obtained with the element stabilization parameter (see Figure 2).
The second example is similar to the first one with , and giving , and . These values correspond to the second 1D problem of the previous section (Figure 3). The Galerkin solution is again oscillatory, whereas the FIC results are physically sound (Figures 6 and 7). Once more the FIC1 and FIC2 results are in good agreement with the 1D values shown in Figure 3 for and , respectively for both meshes of square and triangular elements. The coincidence of the 1D and 2D results for this problem can be clearly seen in Table 1.
Figure 4. 2D advectionconductionabsorption problem over a square domain of size equal to 8 units. at , at , at and . , , , , and . Galerkin and FIC solutions for a mesh of four node square elements. 
Figure 5. Solution of problem of Figure 4 with a mesh of linear triangles. 
Figure 7. Solution of problem of Figure 5 with a mesh of linear triangles. 
1D  2D (nodes along line AA')  
Figure 3  4 node quads. (Fig. 6)  3 node triangles (Fig. 7)  
Node  )  )  )  (exact)  FIC1  FIC2  FIC1  FIC2 
1  8,00  8  8  8  8  8  8  8 
2  2,94  3,06  4  3,08  3,99  3,057  4,0  3,059 
3  1,32  1,17  2  1,19  2,00  1,170  2,0  1,167 
4  1,80  0,447  1  0,457  1,00  0,448  1,0  0,452 
5  0,599  0,172  0,5  0,176  0,49  0,172  0,499  0,166 
6  0,633  0,0646  0,25  0,0677  0,248  0,0648  0,2501  0,0681 
7  1,16  0,0264  0,125  0,0261  0,125  0,0255  0,1250  0,0257 
8  1,83  0,0073  0,0625  0,01  0,0615  0,0101  0,0624  0,0072 
9  3  3  3  3  3  3  3  3 
Note that, similarly to the 1D case, the FIC2 results are more accurate (less diffusive) than those obtained in the first iteration (FIC1). This is due to the more precise evaluation of and in Eqs.(37) accounting for the correct sign of all the terms.
Figures 8–11 show results for the two 2D problems above described solved now with relatively coarse unstructured meshes of linear triangles and quadrilaterals. The effectiveness and accuracy of the FIC iterative scheme is again noticeable in all cases. Note the agreement of the FIC2 results of Figures 10 and 11 with the exact solution for the equivalent 1D problem of Figure 3.
Figure 8. Solution of problem of Figure 4 with an unstructured mesh of 209 four node bilinear quadrilaterals 
Figure 9. Solution of problem of Figure 4 with an unstructured mesh of 176 three node linear triangles 
Figure 10. Solution of problem of Figure 6 with an unstructured mesh of 209 four node bilinear quadrilaterals 
Figure 11. Solution of problem of Figure 6 with an unstructured mesh of 176 three node triangles 
Figure 12 presents the solution of a similar problem where the values of are prescribed at the four boundaries. The solution domain has now 10 units and the problem is solved first with a mesh of four node square elements. Details of the physical parameters are given in Figure 12. Excellent results are again obtained with the FIC scheme. Similar good results are obtained with a structured mesh of linear triangles (Figure 13) as well as with non structured meshes of linear quadrilateral and triangles (Figures 14 and 15).
Figure 13. Solution of the problem of Figure 12 with an unstructured mesh of 432 four node bilinear quadrilaterals 
Figure 14. Solution of problem of Figure 12 with an structured mesh of three node linear triangles 
Figure 15. Solution of problem of Figure 12 with an unstructured mesh of 780 three node triangles 
The effectiveness of the FIC scheme for a diffusiveabsorptive problem with Dirichlet boundary conditions is shown in Figure 16. The results shown have been obtained with structured meshes of linear quadrilateral and triangles. Note that the four boundary layers are well captured in the first step of the iterative solution. Similar good results have also been obtained with unstructured meshes not shown here.
Figure 16. (cont.) 
The final example is a standard benchmark problem of advectiondiffusion where sharp layers appear at both the boundary and the interior of the domain. The problem is the advectivediffusive transport of in a square domain with non uniform Dirichlet conditions, downwards diagonal velocity and zero source terms (i.e. and ). Figure 17 displays the SUPG solution and FIC results obtained after two iterations using a structured mesh of linear four node square elements. It is remarkable that the FIC results capture the sharp gradient zones at the boundaries where is prescribed to zero and at the interior of the domain and elliminate all the spurious oscillations present in the SUPG method.
Similar good results obtained with the FIC method for a wide range of advectivediffusive problems are presented in 27. Recent applications of the FIC method to incompressible fluid flow problems are reported in [37].
Figure 17. Square domain with non uniform Dirichlet conditions, downwards diagonal velocity and zero source. SUPG and FIC solutions obtained with a structured mesh of linear four node square elements 
The FICFEM formulation presented allows to obtain a stabilized and accurate solution for the advectiondiffusionabsorption equation. For the 1D problem the formulation is equivalent to adding a nonlinear diffusion term to the standard discretized equations which is governed by a single stabilization parameter. The use of the constant critical value of the 1D stabilization parameter provides a stabilized numerical solution in a single step. A more accurate (less diffusive) solution can be obtained using the two step iterative scheme proposed.
The equivalence of the FIC method with a nonlinear stabilizing diffusion term extends naturally to multidimensional problems using structured and unstructured meshes. The key step is to express the governing equations of the FIC formulation in the principal curvature directions of the solution. The resulting FIC equation is equivalent to adding a nonlinear diffusion matrix to the infinitessimal governing equations. The solution process becomes non linear and a simple iterative algorithm has been presented. The approximation of the main principal curvature direction by that of the gradient vector simplifies the computations in the iterative scheme. Excellent results have been obtained for all the 2D problems solved in just two iterations for structured and nonstructured meshes.
It is remarkable that, similarly to the 1D case, good stabilized results are obtained in the first iteration of the scheme proposed (FIC1 results) and this may be sufficient for many practical cases. More accurate (less diffusive) results are obtained by performing a second iteration at a relatively small additional computational cost.
The authors also thank Profs. C. Felippa and S.R. Idelsohn for many useful discussions.
This work has been sponsored by the Ministerio de Educación y Ciencia of Spain. Plan Nacional, Project numbers: DPI20012193, BIA200309078C0201, and DPI200407410C0302.
[1] Zienkiewicz O.C. and Taylor R.L. The Finite Element Method. Volume 3. 5th Edition, ButterworthHeinemann, 2001.
[2] Tezduyar T.E. and Park Y.J. Discontinuitycapturing finite element formulations for nonlinear convectiondiffusionreaction equations. Comput. Methods Appl. Mech. Engrg., 59, 307–325, 1986.
[3] Tezduyar T.E., Park Y.J. and Deans H.A. Finite element procedures for timedependent convectiondiffusionreaction systems. Int. J. Num. Meth. Fluids, 7, 1013–1033, 1987.
[4] Idelsohn S., Nigro N. Storti M. and Buscaglia G. A PetrovGalerkin formulation for advectionreactiondiffusion problems. Comput. Methods Appl. Mech. Engrg., 136, 27–46, 1996.
[5] Codina R. Comparison of some finite element methods for solving the diffusionconvectionreaction equation. Comput. Methods Appl. Mech. Engrg., 156, 186–210, 1998.
[6] Codina R. On stabilized finite element methods for linear systems of convectiondiffusionreaction equations. Comput. Meth. Appl. Mech. Engrg., 188, 61–82, 2000.
[7] Burman E. and Ern A. Nonlinear diffusion and discrete maxium principle for stabilized Galerkin approximations of the convectiondiffusionreaction equation. Comput. Meth. Appl. Mech. Engrg., 191, 3833–3855, 2002.
[8] Harari I. and Hughes T.J.R. Finite element methods for the Helmholtz equation in an exterior domain: model problems. Comput. Meth. Appl. Mech. Engrg., 87, 59–96, 1991.
[9] Harari I. and Hughes T.J.R. Galerkin/least squares finite element methods for the reduced wave equation with nonreflecting boundary conditions in unbounded domains. Comput. Meth. Appl. Mech. Engrg., 98, 411–454, 1992.
[10] Harari I. and Hughes T.J.R. Stabilized finite element method for steady advectiondiffusion with production. Comput. Meth. Appl. Mech. Engrg., 115, 165–191, 1994.
[11] Harari I., Grosh K., Hughes T.J.R., Malhotra M., Pinsky P.M., Stewart J.R. and Thompson L.L. Recent development in finite element methods for structural acoustics. Archives of Computational Mechanics in Engineering, 3, 23, 131–309, 1996.
[12] Hauke G. and GarciaOlivares A. Variational subgrid scale formulations for the advectiondiffusionreaction equation. Comput. Methods Appl. Mech. Engrg. 2000; 190:6847–6865.
[13] Hauke G. A simple subgrid scale stabilized method for the advectiondiffusion reaction equation. Comput. Methods Appl. Mech. Engrg. 2002; 191:2925–2947.
[14] Brezzi F., Hauke G., Marin L.D. and Sangalli S. Linkcutting bubbles for the stabilization of convectiondiffusionreaction problems. Mathematical Models and Methods in Applied Sciences, World Scientific Publishing Company, 2002.
[15] Felippa C.A. and Oñate E. Nodally exact Ritz discretization of 1D diffusionabsorption and Helmholtz equations by variational FIC and modified equation methods. Research Report No. PI 237, CIMNE, Barcelona 2004. Submitted to Comput. Mechanics.
[16] Idelsohn S.R., Heinrich J.C. and Oñate E. PetrovGalerkin methods for the transient advectivediffusive equation with sharp gradients. Int. J. Num. Meth. Engng., 39, 1455–1473, 1996.
[17] Harari I. Stability of semidiscrete advectiondiffusion in transient computation. Proceedings of 6th World Congress on Computational Mechanics, Beijing, Sept. 2004, Z.H. Yao, M.W. Yuan and W.X. Zhong (Eds.), Tsinghua Univ. PressSpringer.
[18] Oñate E., Miquel, J. and Hauke, G. Stabilized formulation for the advectiondiffusionreaction equations using finite calculus and linear finite elements. Submittted in Comput. Methods Appl. Mech. Engrg., March 2005.
[19] Oñate E. Derivation of stabilized equations for advectivediffusive transport and fluid flow problems. Comput. Methods Appl. Mech. Engrg., 151 (12), 233–267, 1998.
[20] Oñate E. Possibilities of finite calculus in computational mechanics. Int. J. Num. Meth. Engng., 60, 255–281, 2004.
[21] Oñate E., Manzan M. A general procedure for deriving stabilized spacetime finite element methods for advectivediffusive problems. Int. J. Num. Meth. Fluids, 31, 203–221, 1999.
[22] Oñate E., Idelsohn S.R., Zienkiewicz O.C. and Taylor R.L. A finite point method in computational mechanics. Applications to convective transport and fluid flow. Int. J. Num. Meth. Engng., 39, 3839–3866, 1996.
[23] Oñate E. A stabilized finite element method for incompressible viscous flows using a finite increment calculus formulation. Comput. Methods Appl. Mech. Engrg., 182, (1–2), 355–370, 2000.
[24] Oñate E., García J. A finite element method for fluidstructure interaction with surface waves using a finite calculus formulation. in Comput. Methods Appl. Mech. Engrg., 191 (67), 635660, 2001.
[25] Idelsohn S.R., Oñate E. and Del Pin F. A Lagrangian meshless finite element method applied to fluidstructure interaction problems. Computers and Structures, 81, 655–671, 2003.
[26] Oñate E., Idelsohn S.R., Del Pin F. and Aubry R. The particle finite element method. An overview (PFEM). Int. J. Comput. Methods, 1 (2), 267–307, 2004.
[27] Oñate E., García J. and Idelsohn S.R. Ship Hydrodynamics. Encyclopedia of Computational Mechanics, T. Hughes, R. de Borst and E. Stein (Eds.), Vol. 3, Chapter 18, 579–607, J. Wiley, 2004.
[28] Oñate E., Taylor R.L., Zienkiewicz O.C. and Rojek J. A residual correction method based on finite calculus. Engineering Computations, 20 (5/6), 629–658, 2003.
[29] Oñate E., Rojek J., Taylor R.L. and Zienkiewicz O.C. Finite calculus formulation for analysis of incompressible solids using linear triangles and tetrahedra. Int. J. Num. Meth. Engng., 59 (11), 1473–1500, 2004.
[30] Oñate E., Zárate F. and Idelsohn S.R. Finite element formulation for convectiondiffusion problems with sharp gradients using finite calculus. Comput. Meth. Appl. Mech. Engng. Submitted Nov. 2004.
[31] Hughes T.J.R. and Mallet M. A new finite element formulations for computational fluid dynamics: IV. A discontinuity capturing operator for multidimensional advectivediffusive system. Comput. Methods Appl. Mech. Engrg., 58, 329–336, 1986b.
[32] Codina R. A discontinuitycapturing crosswind dissipation for the finite element solution of the convectiondiffusion equation. Comput. Methods Appl. Mech. Engrg., 110, 325–342, 1993.
[33] Hughes T.J.R., Mallet M. and Mizukami A. A new finite element formulation for comptutational fluid dynamics: II Beyond SUPG. Comput. Methods Appl. Mech. Engrg., 54, 341–355, 1986.
[34] Galeo A.C. and Dutra do Carmo E.G. A consistent approximate upwind PetrovGalerkin method for convectiondominated problems. Comput. Methods Appl. Mech. Engrg., 68, 83–95, 1988.
[35] Tezduyar T.E. Adaptive determination of the finite element stabilization parameters. Proceedings of the ECCOMAS Computational Fluid Dynamics Conference 2001, Swansea, Wales, UK, CDRom, 2001.
[36] Tezduyar T.E. Computation of moving boundaries and interfaces and stabilization parameters, International Journal for Numerical Methods in Fluid, 43, 555575, 2003.
[37] Oñate E., García J., Idelsohn S. and Del Pin F. FIC formulation for finite element analysis of incompressible flows. Eulerian, Lagrangian and ALE approaches. Accepted for publication in Computational Methods in Applied Mechanics and Engineering, 2005.
Published on 01/01/2007
DOI: 10.1016/j.compfluid.2005.07.003
Licence: CC BYNCSA license
Are you one of the authors of this document?