Total variation diminishing explained

In numerical methods, total variation diminishing (TVD) is a property of certain discretization schemes used to solve hyperbolic partial differential equations. The most notable application of this method is in computational fluid dynamics. The concept of TVD was introduced by Ami Harten.

Model equation

In systems described by partial differential equations, such as the following hyperbolic advection equation,

(\partial u)/(\partial t) + a (\partial u)/(\partial x) = 0 ,

the total variation (TV) is given by

TV(u( ⋅ ,t)) = \int \left| (\partial u)/(\partial x) \right| d x ,

and the total variation for the discrete case is,

TV(u ^{n)} = TV(u( ⋅ ,t ^{n))} = \sum _{j} \left| u ^{n} _{j +1} - u ^{n} _{j} \right| . where u ^{n = u(x} _{j} ,t ^{n)} .

A numerical method is said to be total variation diminishing (TVD) if,

TV \left( u ^{n+1} \right) \leq TV \left( u ^{n} \right) .

Characteristics

A numerical scheme is said to be monotonicity preserving if the following properties are maintained:

• If

u ^{n} is monotonically increasing (or decreasing) in space, then so is u ^{n+1} .

proved the following properties for a numerical scheme,

• A monotone scheme is TVD, and
• A TVD scheme is monotonicity preserving.

Application in CFD

In Computational Fluid Dynamics, TVD scheme is employed to capture sharper shock predictions without any misleading oscillations when variation of field variable “

\phi ” is discontinuous.To capture the variation fine grids (\Delta x very small) are needed and the computation becomes heavy and therefore uneconomic. The use of coarse grids with central difference scheme, upwind scheme, hybrid difference scheme, and power law scheme gives false shock predictions. TVD scheme enables sharper shock predictions on coarse grids saving computation time and as the scheme preserves monotonicity there are no spurious oscillations in the solution.

Discretisation

Consider the steady state one-dimensional convection diffusion equation,

\nabla ⋅ (\rho u \phi) = \nabla ⋅ (\Gamma \nabla \phi) + S _{\phi} ,

where

\rho is the density, u is the velocity vector, \phi is the property being transported, \Gamma is the coefficient of diffusion and S _{\phi} is the source term responsible for generation of the property \phi .

Making the flux balance of this property about a control volume we get,

\int _{A} n ⋅ (\rho u \phi) d A = \int _{A} n ⋅ (\Gamma \nabla \phi) d A + \int _{CV} S _{\phi} d V

Here

n is the normal to the surface of control volume.

Ignoring the source term, the equation further reduces to:

(\rho u \phi A) _{r} - (\rho u \phi A) _{l} = \left(\Gamma A (\partial \phi)/(\partial x) \right) _{r-\left(\Gamma} A (\partial \phi)/(\partial x) \right) _{l}

Assuming

(\partial \phi)/(\partial x) = (\delta \phi)/(\delta x) and A _{r} = A _{l,}

The equation reduces to

(\rho u \phi) _{r} - (\rho u \phi) _{l} = \left( (\Gamma)/(\delta x) \delta \phi\right) _{r} - \left( (\Gamma)/(\delta x) \delta \phi\right) _{l.}

Say,

F _{r=(\rho} u ) _{r} ; F _{l=(\rho} u ) _{l;} D _{l} = \left( (\Gamma)/(\delta x) \right) _{l} ; D _{r} = \left( (\Gamma)/(\delta x) \right) _{r;}

From the figure:

\delta \phi _{r} = \phi _{R} - \phi _{P} ; \delta x _{r} = x _{PR} ; \delta \phi _{l} = \phi _{P} - \phi _{L} ; \delta x _{l} = x _{LP} ;

The equation becomes:$$F\_r\; \backslash phi\_r\; -\; F\_l\; \backslash phi\_l\; =\; D\_r\; (\backslash phi\; \_R\; -\backslash phi\; \_P)-D\_l(\backslash phi\; \_P\; -\; \backslash phi\; \_L);$$ The continuity equation also has to be satisfied in one of its equivalent forms for this problem:

(\rho u ) _{r} - (\rho u ) _{l=0 \Longleftrightarrow F} _{r-F} _{l=0 \Longleftrightarrow F} _{r=F} _{l=F.}

Assuming diffusivity is a homogeneous property and equal grid spacing we can say

\Gamma _{l=\Gamma} _{r;} \delta x _{LP} = \delta x _{PR} = \delta x,

we get$$D\_l=D\_r=D.$$The equation further reduces to$$(\backslash phi\_r-\backslash phi\_l)\backslash cdot\; F=D\backslash cdot(\backslash phi\_R-2\backslash phi\_P+\backslash phi\_L).$$The equation above can be written as$$(\backslash phi\_r-\backslash phi\_l)\backslash cdot\; P=(\backslash phi\_R-2\backslash phi\_P+\backslash phi\_L)$$where

P is the Péclet number

$P=\backslash frac=\backslash frac.$

TVD scheme

Total variation diminishing scheme^{[1] [2]} makes an assumption for the values of

\phi _{r} and \phi _{l} to be substituted in the discretized equation as follows:\phi _{r ⋅} P = (1)/(2) (P + |P|)[f ^{+ \phi} _{R + ( 1- f} ^{+ )\phi} ^{L] + (1)/(2)} (P - |P|)[f ^{- \phi} _{P + ( 1- f} ^{- )\phi} ^{RR} ] \phi _{l ⋅} P = (1)/(2) (P + |P|)[f ^{+ \phi} _{P + ( 1- f} ] + ^{+ )\phi} _{LL} (1)/(2) (P - |P|)[f ^{- \phi} _{L + ( 1- f} ^{- )\phi} ^{R]}

Where

P is the Péclet number and f is the weighing function to be determined from,

$f=f\backslash left(\backslash frac\backslash right)$

where

U refers to upstream, UU refers to upstream of U and D refers to downstream.

Note that

f ^{+} is the weighing function when the flow is in positive direction (i.e., from left to right) and f ^{-} is the weighing function when the flow is in the negative direction from right to left. So,\begin{align} & f ^{+ isafunctionof \left(\dfrac{\phi} _{P - \phi} _{L}{\phi} _{R-\phi} _{L}\right),} \\[ 10 pt] & f ^{- isafunctionof \left(\dfrac{\phi} _{R - \phi} _{RR} }\right), \\[10pt]& f_l^+\text\left(\dfrac\right),\text \\[10pt]& f_l^-\text\left(\dfrac\right).\end

If the flow is in positive direction then, Péclet number

P is positive and the term (P - |P|) = 0 , so the function f ^{-} won't play any role in the assumption of \phi _{r} and \phi _{l} . Likewise when the flow is in negative direction, P is negative and the term (P + |P|) = 0 , so the function f ^{+} won't play any role in the assumption of \phi _{r} and \phi _{r} .

It therefore takes into account the values of property depending on the direction of flow and using the weighted functions tries to achieve monotonicity in the solution thereby producing results with no spurious shocks.

Limitations

Monotone schemes are attractive for solving engineering and scientific problems because they do not produce non-physical solutions. Godunov's theorem proves that linear schemes which preserve monotonicity are, at most, only first order accurate. Higher order linear schemes, although more accurate for smooth solutions, are not TVD and tend to introduce spurious oscillations (wiggles) where discontinuities or shocks arise. To overcome these drawbacks, various high-resolution, non-linear techniques have been developed, often using flux/slope limiters.

See also

• Flux limiters
• Godunov's theorem
• High-resolution scheme
• MUSCL scheme
• Sergei K. Godunov
• Total variation

Further reading

• Hirsch, C. (1990), Numerical Computation of Internal and External Flows, Vol 2, Wiley.
• Laney, C. B. (1998), Computational Gas Dynamics, Cambridge University Press.
• Toro, E. F. (1999), Riemann Solvers and Numerical Methods for Fluid Dynamics, Springer-Verlag.
• Tannehill, J. C., Anderson, D. A., and Pletcher, R. H. (1997), Computational Fluid Mechanics and Heat Transfer, 2nd Ed., Taylor & Francis.
• Wesseling, P. (2001), Principles of Computational Fluid Dynamics, Springer-Verlag.
• Anil W. Date Introduction to Computational Fluid Dynamics, Cambridge University Press.

Notes and References

1. Book: Versteeg, H.K.. An introduction to computational fluid dynamics : the finite volume method. 2007. Prentice Hall. Harlow. 9780131274983. 2nd . Malalasekera, W. .
2. Book: Blazek, Jiri. Computational fluid dynamics : Principles and Applications. 2001. Elsevier. London. 9780080430096. 1st.