4.4 Numerical schemes

The fvSchemes dictionary in the system directory sets the numerical schemes for terms, such as derivatives in equations, that are calculated during a simulation. This section describes how to specify the schemes in the fvSchemes dictionary.

The terms that must typically be assigned a numerical scheme in fvSchemes range from derivatives, e.g. gradient ∇ \relax \special {t4ht=, to interpolations of values from one set of points to another. The aim in OpenFOAM is to offer an unrestricted choice to the user, starting with the choice of discretisation practice which is generally standard Gaussian finite volume integration. Gaussian integration is based on summing values on cell faces, which must be interpolated from cell centres. The user has a wide range of options for interpolation scheme, with certain schemes being specifically designed for particular derivative terms, especially the advection divergence ∇ ∙ \relax \special {t4ht= terms.

The set of terms, for which numerical schemes must be specified, are subdivided within the fvSchemes dictionary into the categories below.

  • timeScheme: first and second time derivatives, e.g. ∂∕∂t,∂2∕ ∂2t  \relax \special {t4ht=
  • gradSchemes: gradient ∇ \relax \special {t4ht=
  • divSchemes: divergence ∇ ∙ \relax \special {t4ht=
  • laplacianSchemes: Laplacian ∇2   \relax \special {t4ht=
  • interpolationSchemes: cell to face interpolations of values.
  • snGradSchemes: component of gradient normal to a cell face.
  • wallDist: distance to wall calculation, where required.

Each keyword in represents the name of a sub-dictionary which contains terms of a particular type, e.g.gradSchemes contains all the gradient derivative terms such as grad(p) (which represents ∇p  \relax \special {t4ht=). Further examples can be seen in the extract from an fvSchemes dictionary below:

17  
18  ddtSchemes
19  {
20      default         Euler;
21  }
22  
23  gradSchemes
24  {
25      default         Gauss linear;
26  }
27  
28  divSchemes
29  {
30      default         none;
31      div(phi,U)      bounded Gauss linearUpwind grad(U);
32      div(phi,k)      bounded Gauss upwind;
33      div(phi,epsilon) bounded Gauss upwind;
34      div(phi,R)      bounded Gauss upwind;
35      div(R)          Gauss linear;
36      div(phi,nuTilda) bounded Gauss upwind;
37      div((nuEff*dev2(T(grad(U))))) Gauss linear;
38  }
39  
40  laplacianSchemes
41  {
42      default         Gauss linear corrected;
43  }
44  
45  interpolationSchemes
46  {
47      default         linear;
48  }
49  
50  snGradSchemes
51  {
52      default         corrected;
53  }
54  
55  
56  // ************************************************************************* //

The example shows that the fvSchemes dictionary contains 6 …Schemes subdictionaries containing keyword entries for each term specified within including: a default entry; other entries whose names correspond to a word identifier for the particular term specified, e.g.grad(p) for ∇p  \relax \special {t4ht= If a default scheme is specified in a particular …Schemes sub-dictionary, it is assigned to all of the terms to which the sub-dictionary refers, e.g. specifying a default in gradSchemes sets the scheme for all gradient terms in the application, e.g. ∇p  \relax \special {t4ht=, ∇U  \relax \special {t4ht=. When a default is specified, it is not necessary to specify each specific term itself in that sub-dictionary, i.e. the entries for grad(p), grad(U) in this example. However, if any of these terms are included, the specified scheme overrides the default scheme for that term.

Alternatively the user can specify that no default scheme by the none entry, as in the divSchemes in the example above. In this instance the user is obliged to specify all terms in that sub-dictionary individually. Setting default to none may appear superfluous since default can be overridden. However, specifying none forces the user to specify all terms individually which can be useful to remind the user which terms are actually present in the application.

OpenFOAM includes a vast number of discretisation schemes, from which only a few are typically recommended for real-world, engineering applications. The user can get help with scheme selection by interrogating the tutorial cases for example scheme settings. They should look at the schemes used in relevant cases, e.g. for running a large-eddy simulation (LES), look at schemes used in tutorials running LES. Additionally, foamSearch provides a useful tool to get a quick list of schemes used in all the tutorials. For example, to print all the default entries for ddtSchemes for cases in the $FOAM_TUTORIALS directory, the user can type:


    foamSearch $FOAM_TUTORIALS fvSchemes ddtSchemes.default
which prints:


    default         backward;
    default         CrankNicolson 0.9;
    default         Euler;
    default         localEuler;
    default         none;
    default         steadyState;
The schemes listed using foamSearch are described in the following sections.

4.4.1 Time schemes

The first time derivative (∂∕∂t  \relax \special {t4ht=) terms are specified in the ddtSchemes sub-dictionary. The discretisation schemes for each term can be selected from those listed below.

  • steadyState: sets time derivatives to zero.
  • Euler: transient, first order implicit, bounded.
  • backward: transient, second order implicit, potentially unbounded.
  • CrankNicolson: transient, second order implicit, bounded; requires an off-centering coefficient ψ  \relax \special {t4ht= where:
         (
     |{ 1  corresponds  to pure CrankNicolson,

ψ =  | 0  corresponds  to Euler;
     (
                                                                          

                                                                          
      \relax \special {t4ht=
    generally ψ  \relax \special {t4ht= = 0.9 is used to bound/stabilise the scheme for practical engineering problems.
  • localEuler: pseudo transient for accelerating a solution to steady-state using local-time stepping; first order implicit.

Solvers are generally configured to simulate either transient or steady-state. Changing the time scheme from one which is steady-state to transient, or visa versa, does not affect the fundamental nature of the solver and so fails to achieve its purpose, yielding a nonsensical solution.

Any second time derivative (∂2∕∂t2   \relax \special {t4ht=) terms are specified in the d2dt2Schemes sub-dictionary. Only the Euler scheme is available for d2dt2Schemes.

4.4.2 Gradient schemes

The gradSchemes sub-dictionary contains gradient terms. The default discretisation scheme that is primarily used for gradient terms is:


    default         Gauss linear;
The Gauss entry specifies the standard finite volume discretisation of Gaussian integration which requires the interpolation of values from cell centres to face centres. The interpolation scheme is then given by the linear entry, meaning linear interpolation or central differencing.

In some tutorials cases, particular involving poorer quality meshes, the discretisation of specific gradient terms is overridden to improve boundedness and stability. The terms that are overridden in those cases are the velocity gradient


    grad(U)         cellLimited Gauss linear 1;
and, less frequently, the gradient of turbulence fields, e.g. 


    grad(k)         cellLimited Gauss linear 1;
    grad(epsilon)   cellLimited Gauss linear 1;
They use the cellLimited scheme which limits the gradient such that when cell values are extrapolated to faces using the calculated gradient, the face values do not fall outside the bounds of values in surrounding cells. A limiting coefficient is specified after the underlying scheme for which 1 guarantees boundedness and 0 applies no limiting; 1 is invariably used.

Other schemes that are rarely used are as follows.

  • leastSquares: a second-order, least squares distance calculation using all neighbour cells.
  • Gauss cubic: third-order scheme that appears in the dnsFoam simulation on a regular mesh.

4.4.3 Divergence schemes

The divSchemes sub-dictionary contains divergence terms, i.e. terms of the form ∇ ∙ \relax \special {t4ht=…, excluding Laplacian terms (of the form ∇ ∙(Γ ∇ ...)  \relax \special {t4ht=). This includes both advection terms, e.g. ∇ ∙(Uk )  \relax \special {t4ht=, where velocity U  \relax \special {t4ht= provides the advective flux, and other terms, that are often diffusive in nature, e.g. ∇ ∙ν (∇U  )T   \relax \special {t4ht=.

The fact that terms that are fundamentally different reside in one sub-dictionary means that the default scheme in generally set to none in divSchemes. The non-advective terms then generally use the Gauss integration with linear interpolation, e.g. 


    div(U)         Gauss linear;

The treatment of advective terms is one of the major challenges in CFD numerics and so the options are more extensive. The keyword identifier for the advective terms are usually of the form div(phi,…), where phi generally denotes the (volumetric) flux of velocity on the cell faces for constant-density flows and the mass flux for compressible flows, e.g. div(phi,U) for the advection of velocity, div(phi,e) for the advection of internal energy, div(phi,k) for turbulent kinetic energy, etc. For advection of velocity, the user can run the foamSearch script to extract the div(phi,U) keyword from all tutorials.


    foamSearch $FOAM_TUTORIALS fvSchemes "divSchemes.div(phi,U)"
The schemes are all based on Gauss integration, using the flux phi and the advected field being interpolated to the cell faces by one of a selection of schemes, e.g. linear, linearUpwind, etc. There is a bounded variant of the discretisation, discussed later.

Ignoring ‘V’-schemes (with keywords ending “V”), and rarely-used schemes such as Gauss cubic and vanLeerV, the interpolation schemes used in the tutorials are as follows.

  • linear: second order, unbounded.
  • linearUpwind: second order, upwind-biased, unbounded (but much less so than linear), that requires discretisation of the velocity gradient to be specified.
  • LUST: blended 75% linear/ 25%linearUpwind scheme, that requires discretisation of the velocity gradient to be specified.
  • limitedLinear: linear scheme that limits towards upwind in regions of rapidly changing gradient; requires a coefficient, where 1 is strongest limiting, tending towards linear as the coefficient tends to 0.
  • upwind: first-order bounded, generally too inaccurate to be recommended.

Example syntax for these schemes is as follows.


    div(phi,U)      Gauss linear;
    div(phi,U)      Gauss linearUpwind grad(U);
    div(phi,U)      Gauss LUST grad(U);
    div(phi,U)      Gauss LUST unlimitedGrad(U);
    div(phi,U)      Gauss limitedLinear 1;
    div(phi,U)      Gauss upwind;

‘V’-schemes are specialised versions of schemes designed for vector fields. They differ from conventional schemes by calculating a single limiter which is applied to all components of the vectors, rather than calculating separate limiters for each component of the vector. The ‘V’-schemes’ single limiter is calculated based on the direction of most rapidly changing gradient, resulting in the strongest limiter being calculated which is most stable but arguably less accurate. Example syntax is as follows.


    div(phi,U)      Gauss limitedLinearV 1;
    div(phi,U)      Gauss linearUpwindV grad(U);

The bounded variants of schemes relate to the treatment of the material time derivative which can be expressed in terms of a spatial time derivative and convection, e.g. for field e  \relax \special {t4ht= in incompressible flow

De-    ∂e-            ∂e-
 Dt =  ∂t + U  ∙∇e =  ∂t + ∇ ∙(Ue ) - (∇ ∙U )e
\relax \special {t4ht=
(4.1)
For numerical solution of incompressible flows, ∇ ∙U  = 0  \relax \special {t4ht= at convergence, at which point the third term on the right hand side is zero. Before convergence is reached, however, ∇  ∙U ⁄=  0  \relax \special {t4ht= and in some circumstances, particularly steady-state simulations, it is better to include the third term within a numerical solution because it helps maintain boundedness of the solution variable and promotes better convergence. The bounded variant of the Gauss scheme provides this, automatically including the discretisation of the third-term with the advection term. Example syntax is as follows, as seen in fvSchemes files for steady-state cases, e.g. for the simpleFoam tutorials


    div(phi,U)      bounded Gauss limitedLinearV 1;
    div(phi,U)      bounded Gauss linearUpwindV grad(U);

The schemes used for advection of scalar fields are similar to those for advection of velocity, although in general there is greater emphasis placed on boundedness than accuracy when selecting the schemes. For example, a search for schemes for advection of internal energy (e) reveals the following.


    foamSearch $FOAM_TUTORIALS fvSchemes "divSchemes.div(phi,e)"

    div(phi,e)      bounded Gauss upwind;
    div(phi,e)      Gauss limitedLinear 1;
    div(phi,e)      Gauss LUST grad(e);
    div(phi,e)      Gauss upwind;
    div(phi,e)      Gauss vanLeer;
In comparison with advection of velocity, there are no cases set up to use linear or linearUpwind. Instead the limitedLinear and upwind schemes are commonly used, with the additional appearance of vanLeer, another limited scheme, with less strong limiting than limitedLinear.

There are specialised versions of the limited schemes for scalar fields that are commonly bounded between 0 and 1, e.g. the laminar flame speed regress variable b  \relax \special {t4ht=. A search for the discretisation used for advection in the laminar flame transport equation yields:


    div(phiSt,b)    Gauss limitedLinear01 1;
The underlying scheme is limitedLinear, specialised for stronger bounding between 0 and 1 by adding 01 to the name of the scheme.

The multivariateSelection mechanism also exists for grouping multiple equation terms together, and applying the same limiters on all terms, using the strongest limiter calculated for all terms. A good example of this is in a set of mass transport equations for fluid species, where it is good practice to apply the same discretisation to all equations for consistency. The example below comes from the smallPoolFire3D tutorial in $FOAM_TUTORIALS/combustion/fireFoam/les, in which the equation for enthalpy h  \relax \special {t4ht= is included with the specie mass transport equations in the calculation of a single limiter.


    div(phi,Yi_h)   Gauss multivariateSelection
    {
        O2 limitedLinear01 1;
        CH4 limitedLinear01 1;
        N2 limitedLinear01 1;
        H2O limitedLinear01 1;
        CO2 limitedLinear01 1;
        h limitedLinear 1 ;
    }

4.4.4 Surface normal gradient schemes

It is worth explaining the snGradSchemes sub-dictionary that contains surface normal gradient terms, before discussion of laplacianSchemes, because they are required to evaluate a Laplacian term using Gaussian integration. A surface normal gradient is evaluated at a cell face; it is the component, normal to the face, of the gradient of values at the centres of the 2 cells that the face connects.

A search for the default scheme for snGradSchemes reveals the following entries.


    default         corrected;
    default         limited corrected 0.33;
    default         limited corrected 0.5;
    default         orthogonal;
    default         uncorrected;

The basis of the gradient calculation at a face is to subtract the value at the cell centre on one side of the face from the value in the centre on the other side and divide by the distance. The calculation is second-order accurate for the gradient normal to the face if the vector connecting the cell centres is orthogonal to the face, i.e. they are at right-angles. This is the orthogonal scheme.

Orthogonality requires a regular mesh, typically aligned with the Catersian co-ordinate system, which does not normally occur in meshes for real world, engineering geometries. Therefore, to maintain second-order accuracy, an explicit non-orthogonal correction can be added to the orthogonal component, known as the corrected scheme. The correction increases in size as the non-orthonality, the angle α  \relax \special {t4ht= between the cell-cell vector and face normal vector, increases.

As α  \relax \special {t4ht= tends towards 90∘ \relax \special {t4ht=, e.g. beyond 70∘ \relax \special {t4ht=, the explicit correction can be so large to cause a solution to go unstable. The solution can be stabilised by applying the limited scheme to the correction which requires a coefficient ψ, 0 ≤ ψ ≤  1  \relax \special {t4ht= where

     ( 0      corresponds to uncorrected,
     |||{
       0.333   non -orthogonal correction ≤ 0.5 × orthogonal part,
ψ =  | 0.5     non -orthogonal correction ≤ orthogonal part,
     ||(
       1      corresponds to corrected.
\relax \special {t4ht=
(4.2)
Typically, psi  \relax \special {t4ht= is chosen to be 0.33 or 0.5, where 0.33 offers greater stability and 0.5 greater accuracy.

The corrected scheme applies under-relaxation in which the implicit orthogonal calculation is increased by cos-1α  \relax \special {t4ht=, with an equivalent boost within the non-orthogonal correction. The uncorrected scheme is equivalent to the corrected scheme, without the non-orthogonal correction, so includes is like orthogonal but with the    -1
cos  α  \relax \special {t4ht= under-relaxation.

Generally the uncorrected and orthogonal schemes are only recommended for meshes with very low non-orthogonality (e.g. maximum 5∘ \relax \special {t4ht=). The corrected scheme is generally recommended, but for maximum non-orthogonality above 70∘ \relax \special {t4ht=, limited may be required. At non-orthogonality above 80∘ \relax \special {t4ht=, convergence is generally hard to achieve.

4.4.5 Laplacian schemes

The laplacianSchemes sub-dictionary contains Laplacian terms. A typical Laplacian term is ∇ ∙(ν∇U  )  \relax \special {t4ht=, the diffusion term in the momentum equations, which corresponds to the keyword laplacian(nu,U) in laplacianSchemes. The Gauss scheme is the only choice of discretisation and requires a selection of both an interpolation scheme for the diffusion coefficient, i.e. ν  \relax \special {t4ht= in our example, and a surface normal gradient scheme, i.e. ∇U  \relax \special {t4ht=. To summarise, the entries required are:


    Gauss <interpolationScheme> <snGradScheme>
The user can search for the default scheme for laplacianSchemes in all the cases in the $FOAM_TUTORIALS directory.


    foamSearch $FOAM_TUTORIALS fvSchemes laplacianSchemes.default
It reveals the following entries.


    default         Gauss linear corrected;
    default         Gauss linear limited corrected 0.33;
    default         Gauss linear limited corrected 0.5;
    default         Gauss linear orthogonal;
    default         Gauss linear uncorrected;
In all cases, the linear interpolation scheme is used for interpolation of the diffusivity. The cases uses the same array of snGradSchemes based on level on non-orthogonality, as described in section 4.4.4.

4.4.6 Interpolation schemes

The interpolationSchemes sub-dictionary contains terms that are interpolations of values typically from cell centres to face centres, primarily used in the interpolation of velocity to face centres for the calculation of flux phi. There are numerous interpolation schemes in OpenFOAM, but a search for the default scheme in all the tutorial cases reveals that linear interpolation is used in almost every case, except for 2-3 unusual cases, e.g. DNS on a regular mesh, stress analysis, where cubic interpolation is used.

OpenFOAM v6 User Guide - 4.4 Numerical schemes