# Approximation Schemes for convective term - structured grids - Summary of Discretizations Schemes and examples

### From CFD-Wiki

(→Discretizations Schemes - Estimation of order) |
(→Example code for solving Smith-Hutton problem) |
||

(19 intermediate revisions not shown) | |||

Line 13: | Line 13: | ||

== Discretizations Schemes - Estimation of order - Richardson extrapolation == | == Discretizations Schemes - Estimation of order - Richardson extrapolation == | ||

- | + | '''William L. Oberkampf, Timothy G. Trucano (2002)''' Verification and validation in Computational Fluid Dynamics | |

+ | |||

+ | '''Roache PJ.(1998)''' Verification and validation in computational science and engineering. Albuquerque, NM: Hermosa Publishers | ||

+ | |||

+ | '''Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV.(2000)''' Methodology for characterizing modeling and discretization uncertainties in computational simulation. SAND2000-0515, Sandia National Laboratories, Albuquerque, | ||

+ | NM. | ||

+ | |||

+ | |||

+ | We discuss a posteriori error estimation through the use of Richardson extrapolation (Roache PJ.1998). An elegant and concise discussion of this topic within a larger context of characterizing modeling uncertainties can also be found in (Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV.2000). To illustrate the challenges, we focus on grid convergence extrapolation as discussed in (Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV.2000). Consider for simplicity a steady-state computational problem in one spatial dimension with uniform mesh spacing <math>h</math>: We must make several assumptions in order to perform Richardson extrapolation in a straightforward way: | ||

+ | |||

+ | * Assumption 1: <math>\varphi</math> is a smooth solution (existence of sufficient derivatives to justify the application of a Taylor expansion in the mesh spacing) of the exact PDEs. | ||

+ | |||

+ | * Assumption 2: The formal convergence order <math>p</math> of the spatial discretization method is known a priori. In addition, it is assumed that the computer code has empirically demonstrated convergence order <math>p</math>. | ||

+ | |||

+ | * Assumption 3: The mesh spacing is small enough that the leading-order error term dominates the total discretization error. This is also called the ''asymptotic range'' of the discretization (Roache PJ. 1998). One key implication of this is that convergence is monotone in the asymptotic range. | ||

+ | |||

+ | |||

+ | Thus, under these assumptions, expand the exact solution of the PDE of interest as | ||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | \varphi_{exact} \left( \vec{x}\right) = \varphi_{h} \left( \vec{x}\right) + \alpha h^{p} + O \left(h^{p+1} \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(1)</td></tr></table> | ||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | \varphi_{exact} = \varphi_{h_{1}} + \alpha h^{p}_{1} + O \left(h^{p+1}_{1} \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(2a)</td></tr></table> | ||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | \varphi_{exact} = \varphi_{h_{2}} + \alpha h^{p}_{2} + O \left(h^{p+1}_{2} \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(2b)</td></tr></table> | ||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | \alpha = \left[ \frac{\varphi_{h_{1}} - \varphi_{h_{2}}}{ h^{p}_{2} - h^{p}_{1}} \right] + O \left(h^{p+1}_{1} \right) + O \left(h^{p+1}_{2} \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(3)</td></tr></table> | ||

+ | |||

+ | |||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | \varphi_{exact} = \left[ \frac{h^{p}_{2}\varphi_{h_{1}} - h^{p}_{1}\varphi_{h_{2}} }{h^{p}_{2} - h^{p}_{1}} \right] + O \left(h^{p+1}_{1} \right) + O \left(h^{p+1}_{2} \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(4)</td></tr></table> | ||

+ | |||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | \left\| \varphi_{exact} - \varphi_{h_{1}} \right\| \cong \left| \left[ \frac{\varphi_{h_{2}} - \varphi_{h_{1}}}{h^{p}_{2} - h^{p}_{1}} \right]h^{p}_{1} \right| + O \left(h^{p+1}_{1} \right) + O \left(h^{p+1}_{2} \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(5)</td></tr></table> | ||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | \widetilde{p} = ln \left( \frac{\varphi_{h_{3}} - \varphi_{h_{2}}}{\varphi_{h_{2}}-\varphi_{h_{1}} } \right) / ln \left( r \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(6)</td></tr></table> | ||

+ | |||

+ | <table width="100%"><tr><td> | ||

+ | :<math> | ||

+ | r= \left(h_{3}/h_{2} \right) = \left( h_{2}/h{1} \right) | ||

+ | </math> | ||

+ | </td><td width="5%">(6)</td></tr></table> | ||

== Selection advice == | == Selection advice == | ||

Line 86: | Line 154: | ||

The two parameters which define the scalar field are the Peclet number, which specifies the diffusivity of the problem, and <math>\boldsymbol{\alpha}</math> which is a parameter that defines the sharpness of the inlet profile. | The two parameters which define the scalar field are the Peclet number, which specifies the diffusivity of the problem, and <math>\boldsymbol{\alpha}</math> which is a parameter that defines the sharpness of the inlet profile. | ||

+ | |||

+ | Below it's cleary seen the numerical diffusion impact, comparing the contour fields obtaining using the UDS and HLPA. A bit later we shall place here a solution gained with QUICK scheme, and it will be seen the osscilations. | ||

[[Image:NM_convectionschemes_struct_grids_Smith_hutton_Countor_HLPA._probe_01.jpg]] | [[Image:NM_convectionschemes_struct_grids_Smith_hutton_Countor_HLPA._probe_01.jpg]] | ||

Line 92: | Line 162: | ||

[[Image:NM_convectionschemes_struct_grids_Smith_hutton_Countor_HLPA_02_probe_03.jpg]] | [[Image:NM_convectionschemes_struct_grids_Smith_hutton_Countor_HLPA_02_probe_03.jpg]] | ||

+ | |||

+ | Below is the outlet profiles for solution of Smith-Hutton test. Clearly seen the diffusivity of UDS, the osscilation for QUICK scheme and it can be noticed that HLPA free of its with the same accuracy. | ||

+ | [[Image:Outlet_profiles.JPG]] | ||

=== Square Lid-driven cavity flow === | === Square Lid-driven cavity flow === | ||

Line 105: | Line 178: | ||

[[Sample code for solving Smith-Hutton test - Fortran 90]] | [[Sample code for solving Smith-Hutton test - Fortran 90]] | ||

- | It's | + | It's results, obtained using this code ('''UDS''' and '''HLPA''' schemes) |

+ | |||

- | |||

## Latest revision as of 05:56, 21 April 2012

*When we shall fill this page, we offer to make common identifications and definitions, because in different issues was used different notation.*

*Also we beg everybody to help us with original works. Please see section about what we need. If anyone have literature connected with convective schemes, please drop us a line. Of course You are welkome to participate in Wiki*

*We shall be very glad and grateful to hear any critical suggestion (please drop a few lines at Wiki Forum)*

*It is just a skeleton, but we hope that it will be developed into the good thing*

## Contents |

## Discretizations Schemes - Estimation of critical Peclet number

## Discretizations Schemes - Estimation of order - Richardson extrapolation

**William L. Oberkampf, Timothy G. Trucano (2002)** Verification and validation in Computational Fluid Dynamics

**Roache PJ.(1998)** Verification and validation in computational science and engineering. Albuquerque, NM: Hermosa Publishers

**Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV.(2000)** Methodology for characterizing modeling and discretization uncertainties in computational simulation. SAND2000-0515, Sandia National Laboratories, Albuquerque,
NM.

We discuss a posteriori error estimation through the use of Richardson extrapolation (Roache PJ.1998). An elegant and concise discussion of this topic within a larger context of characterizing modeling uncertainties can also be found in (Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV.2000). To illustrate the challenges, we focus on grid convergence extrapolation as discussed in (Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV.2000). Consider for simplicity a steady-state computational problem in one spatial dimension with uniform mesh spacing : We must make several assumptions in order to perform Richardson extrapolation in a straightforward way:

- Assumption 1: is a smooth solution (existence of sufficient derivatives to justify the application of a Taylor expansion in the mesh spacing) of the exact PDEs.

- Assumption 2: The formal convergence order of the spatial discretization method is known a priori. In addition, it is assumed that the computer code has empirically demonstrated convergence order .

- Assumption 3: The mesh spacing is small enough that the leading-order error term dominates the total discretization error. This is also called the
*asymptotic range*of the discretization (Roache PJ. 1998). One key implication of this is that convergence is monotone in the asymptotic range.

Thus, under these assumptions, expand the exact solution of the PDE of interest as

| (1) |

| (2a) |

| (2b) |

| (3) |

| (4) |

| (5) |

| (6) |

| (6) |

## Selection advice

## Comparison of Discretizations Schemes

## Numerical examples

### Pure convection of a scalar step by a rotating velocity field (Smith-Hutton problem)

**R.M.Smith and A.G.Hutton (1982)**, "The numerical treatment of advection: A performance comparison of current methods", Numerical Heat Transfer, Vol. 5, p439.

This was the test problem devised for evaluating a range of numerical models of convection at the third meeting of the International Association for Hydraulic Research Working Group on Refined Modelling of flow

Sometimes it was used scalar profile with a discontinuity at

We shall use here smooth inlet profile

This is a simple problem with a strong discontinuity in a scalar profile and flow that is not parallel to the boundaries of the domain being tested. As such it should reveal the poor convergence of the first order schemes, which exhibit false diffusion on flow that is not parallel to the grid, whilst the sharp gradient should generate oscillations in the solutions generated using the second and third order schemes.

The steady transport equation is solved in the region \ , \ , with the streamfunction being specified as

| (1) |

which is shown in figure below. This streamfunction gives a velocity field of

| (1) |

| (1) |

The scalar is solved over the domain, with the value of being prescribed at the inlet and on the left, right and top boundaries, whilst on the outlet the derivative of normal to the boudary is set to zero. The inlet profile is given as

| (1) |

where is a parameter which defines the sharpness of the inlet profile. The outer boundaries are prescribed as

| (2) |

Thus is on and , and is at the origin. At the outlet a zero normal derivative is prescribed

| (2) |

The two parameters which define the scalar field are the Peclet number, which specifies the diffusivity of the problem, and which is a parameter that defines the sharpness of the inlet profile.

Below it's cleary seen the numerical diffusion impact, comparing the contour fields obtaining using the UDS and HLPA. A bit later we shall place here a solution gained with QUICK scheme, and it will be seen the osscilations.

Below is the outlet profiles for solution of Smith-Hutton test. Clearly seen the diffusivity of UDS, the osscilation for QUICK scheme and it can be noticed that HLPA free of its with the same accuracy.

### Square Lid-driven cavity flow

## Example code for solving Smith-Hutton problem

*Dear friends*

*It's just a scrap. Later I'll correct it, although it's a complete working code*

*Michail*

Sample code for solving Smith-Hutton test - Fortran 90

It's results, obtained using this code (**UDS** and **HLPA** schemes)

* Return to Numerical Methods *

* Return to Approximation Schemes for convective term - structured grids *