Skip to main content

Order of accuracy, consistency and stability

Short answer

Truncation error is the dropped Taylor series terms when approximating derivatives; leading term proportional to h^p gives order p. First-order schemes (e.g., upwind) have error proportional to h, second-order (e.g., central) proportional to h^2. Consistency: truncation error tends to zero as h,Δt→0. Stability: errors do not grow unbounded. Convergence: numerical solution approaches exact solution as mesh refines. Lax equivalence theorem: for linear well-posed problems, consistent and stable implies convergent.

Explain truncation error and order of accuracy of a finite difference scheme. Distinguish between first-order and second-order schemes, and explain consistency, stability and convergence.

Truncation error and order

The truncation error is the part of the Taylor series dropped when a derivative is replaced by a difference formula. If the leading dropped term is proportional to hph^p, the scheme is of order pp, written O(hp)O(h^p). For small hh, the error behaves as E≈ChpE\approx Ch^p, so halving hh reduces the error by a factor 2p2^p.

The order is found from two grids by

p=ln⁡(E1/E2)ln⁡(h1/h2)p=\frac{\ln(E_1/E_2)}{\ln(h_1/h_2)}

First order against second order

PointFirst-order schemeSecond-order scheme
ExampleForward, backward, upwindCentral difference, Crank-Nicolson
Error∝h\propto h∝h2\propto h^2
Halving hhError halvesError falls to 1/4
StencilSmaller (two points)Larger (three points)
BehaviourNumerical diffusion, but stable and boundedLess diffusion; may give oscillations (dispersion)
Cost for given accuracyNeeds finer meshCoarser mesh enough

Consistency, stability, convergence

  • Consistency: the truncation error tends to zero as h,Δt→0h,\Delta t\to0; the difference equation then approaches the original PDE.
  • Stability: errors (round-off) introduced during computation do not grow without bound. Explicit schemes have conditions such as r=αΔt/Δx2≤0.5r=\alpha\Delta t/\Delta x^2\le0.5 and C=uΔt/Δx≤1C=u\Delta t/\Delta x\le1.
  • Convergence: the numerical solution tends to the exact solution as the mesh is refined.

Lax equivalence theorem: for a well-posed linear problem, a consistent scheme converges if and only if it is stable.

Other numerical errors include round-off error (finite computer precision) and iteration (convergence) error. A mesh-independence test uses systematic refinement to estimate discretisation error.

✓ Answer checked by Claude Opus 5.5 (high effort)

All Applied Computational Fluid Dynamics chapter 3 questions →