Non-linear Methods for Scalar Equations

Transcription

1 Non-linear Methods for Scalar Equations Professor Dr. E F Toro Laboratory of Applied Mathematics University of Trento, Italy eleuterio.toro@unitn.it October 3, 04 / 56

2 Abstract We construct non-linear second order methods for scalar equations, including source terms Two non-linear constraints are enforced: TVD and ENO Approaches: flux limiter methods and reconstruction methods Schemes derived: MUSCL-Hancock (one upwind and one centred), WAF and ADER / 56

3 Flux Limiter Methods We study a class of TVD schemes called flux limiter methods, as applied to The schemes have conservative form qi n+ = qi n t x with numerical flux f LO i+ ψ i+ t q + x f(q) = 0, f(q) = λq. () f i+ : a monotone flux; f HO i+ f LO i+ f HO i+ = f GodU i+ = f LW i+ = f LO + ψ i+ i+ ( f i+ f i ) () (f HO f LO ). (3) i+ i+ : flux for second-order linear scheme. Here { λq n = i if λ > 0, λqi+ n if λ < 0, = ( + c)λqn i + ( c)λqn i+. is called flux limiter and is constructed on TVD considerations. (4) 3 / 56

4 We construct the TVD region, which is the range for the limiter function. First we consider the case of positive characteristic speed, λ > 0. ψ i+ Substitution of (4) into (3) gives f i+ = λq n i + ( c)λ(qn i+ q n i )ψ i+ Inserting this flux into the conservative formula () gives qi n+ = qi n c[ q i + ( c)(ψ i+ q i+ which if written in incremental form ψ i. (5) q i )] (6) has coefficients q n+ i = q n i C i q i + D i+ q i+ (7) C i = c[ ( c)ψ i ] ; D i+ = ( c)cψ i+ (8) 4 / 56

5 We note that (7) can be simplified by introducing the definition qi n qn i r i+ = q qi+ n = q i if λ > 0, qn i q i+ upw = q loc Then for λ > 0 we have q n i+ qn i+ q n i+ qn i = q i+ 3 q i+ if λ < 0. (9) which if inserted in (7) gives with Ĉ i = c ( q i+ = q i r i+ q n+ i = q n i Ĉi q i + ( c) ( ψi+ r i+, (0) + ˆD i+ q i+ ψ i )), ˆDi+, () = 0. () 5 / 56

6 Recall that Harten s theorem requires C i+ 0, D i+ 0, 0 C i+ + D i+. (3) For this to apply we simply need to enforce the following inequalities ( ( )) 0 Ĉi = c + ψi+ ( c) ψ r i. (4) i+ From now on we assume the following condition on the Courant number 0 c. (5) Then, enforcing the left-hand side and the right-hand side of (4) leads to c ψ i+ r i+ ψ i c. (6) 6 / 56

7 We impose the following conditions on the limiter functions 0 ψ i, i. (7) c Then from (6) and (7) we can deduce the following pair of inequalities c ψ i+ r i+, i (8) c( c) Inequalities (7) give lower and upper bounds for the limiter functions. Inequalities (8) determine two inclined straight lines of slopes c and ( c)c. The analysis for λ < 0 is analogous, so that c is replaced by c in all equations. The resulting general TVD region in the r-ψ plane is depicted in Fig.. 7 / 56

8 ψ(r; c ) ( ) ( ψ L = c r ψr = ( c ) c ) r ψ = c TVD TVD ψ = 0 r = r = 0 r = c Fig. : General TVD region for the flux limiter method based on the Godunov upwind and Lax-Wendroff methods. r 8 / 56

9 The complete general TVD region is given by 0 ψ i+ ψ max (r), i, (9) with ψ max (r) = Negative r Positive r c if r, r if r 0, ( c ) r if 0 r c, ( c ) c c if r c. (0) 9 / 56

10 The Sweby TVD region [0] is a subset of the general TVD region derived above and is obtained by defining 0 if r 0, ψ Sweby max (r) = r if 0 r, () if r in (9). The Sweby TVD region is depicted by the shaded zone of Fig., to the right of ψ = r, above ψ = 0 and below ψ = ; also, ψ = 0 for r 0 is part of the TVD region. Any function ψ(r) within this region, called a flux limiter, produces a TVD scheme Not every choice produces a good TVD scheme. 0 / 56

11 ψ(r; c ) ψ R = r ψ = ψ = TVD ψ = 0 r = 0 r = r = r Fig. : Sweby s TVD region for the flux limiter method based on the Godunov upwind and the Lax-Wendroff methods. / 56

12 Limiter functions Popular choices for flux limiters are the SUPERBEE limiter 0 if r 0, ψ sb (r) = r if 0 r, if r, r if r, if r, () the VANLEER limiter ψ vl (r) = 0 if r 0, r + r if r 0, (3) / 56

13 the VANALBADA limiter ψ va (r) = 0 if r 0, r( + r) + r if r 0, (4) and the MINBEE (or MINMOD) limiter 0 if r 0, ψ mb (r) = r if 0 r, if r. (5) 3 / 56

14 The WAF method The WAF method (Weighted Average Flux) is a conservative method qi n+ = qi n t ( ) f x i+ f i, (6) with numerical flux f waf = x f(q i+ x i+ (x, t))dx. (7) x See Toro (989) []. The integration range in (7) goes from the middle of cell I i (left of the interface) to the middle of cell I i+ (right of the interface) The integrand is the physical flux function f(q) in the conservation law q i+ (x, t) is the solution of the classical Riemann problem with (left) and qi+ n ) (right) data (qi n The flux formula can be generalised in a number of ways, to include for example, irregular meshes 4 / 56

15 WAF applied to the linear advection equation For the linear advection equation the classical Riemann problem is PDE: t q(x, t) + x f(q(x, t)) = 0, f(q(x, t)) = λq(x, t), IC: q(x, 0) = The solution is q i+ (x, t) = { q n i if x < 0, qi+ n if x > 0. q n i if x t < λ, qi+ n x if t > λ. Simple calculations show that the WAF flux is (8) (9) f waf i+ = ( + c)(λqn i ) + ( c)(λqn i+). (30) See Fig / 56

16 x/t = a β x β x t A B C t x 0 Fig. 3: The waf flux for the linear advection equation, for λ > 0. The WAF flux is identical to the Lax-Wendroff flux. This is only true for the linear advection equation. For non-linear equations WAF is a Riemann-problem based generalisation of the Lax-Wendroff method The flux is a weighted average of the upwind weight ( + c) and the downwind weight ( c) The upwind weight controls monotonicity and the downwind weight controls accuracy A TVD version will reduce the downwind contribution, when necessary, in favour of the upwind weight x 6 / 56

17 TVD version of WAF First note that the WAF flux can be written as f waf i+ = (λqn i + λq n i+) c(qn i+ q n i ). (3) The TVD version is f waf i+ = (λqn i + λq n i+) sign (c)ψwaflim(λq i+ i+ n λqi n ). (3) Here ψ waflim i+ = ( c )ψ fluxlim i+ (33) where ψ fluxlim is a flux limiter function. This version of the scheme i+ circumvents Godunov s theorem: the resulting scheme is non-linear. For complete details on the WAF method and the construction of its TVD version see Chapter 3 of Toro (009) []. 7 / 56

18 Reconstruction-based Methods Recall that cell averages are q n i x xi+ within the cell [x i, x i+ ], at time t = t n. x i q(x, t n )dx, (34) Given a set of cell averages {qi n } at time level n we construct polynomials p i (x), see Fig. 4, such that they satisfy: The conservation property. One expects the integral averages of the reconstructed functions to coincide with the original averages, that is q n i = x xi+ x i p i (x)dx. (35) The non-oscillatory property. To this end one imposes a TVD condition or an Essentially Non-Oscillatory (ENO) property, for example. This part of the scheme circumvents Godunov s theorem by constructing a non-linear scheme. 8 / 56

19 p i (x) q n i q n i q n i+ x i x i x i+ Fig. 4. Reconstruction polynomial function p i (x) from cell averages {q n j }. We study the simplest case, first-degree polynomials of the form within the cell [x i, x i+ p i (x) = q n i + (x x i ) i (36) ], at time t = t n. Here x i = (x i + x i+ ) is the cell centre and i is the slope of p i (x), still to be determined. Fig. 5 depicts two polynomials of the form (36) and are determined by respectively choosing the slopes x i i = qn i qn i x, i i+ = qn i+ qn i x. (37) 9 / 56

20 TVD slopes i / i+/ p L (x) p R (x) x i x i / x i x i+/ x i+ Fig. 5. Reconstruction functions p L (x), p R (x) from q n i, qn i, qn i+. The minmod slope. This has the following form i = minmod( i, i+ ), (38) where the minmod function is defined as minmod(x, y) = x if x y and xy > 0, y if x > y and xy > 0, 0 if xy < 0. x (39) 0 / 56

21 The superbee slope. This has the following form where () and i = minmod( i+ i = maxmod( () i, () i ), (40), i ), () i = minmod( i+ x if x y and xy > 0, maxmod(x, y) = y if x y and xy > 0, 0 if xy < 0. The MC slope. This has the following form where is the centred slope., i ) (4) (4) i = minmod( (c) i, i, i+ ), (43) (c) i = ( i + i+ ). (44) / 56

22 ENO reconstruction ENO (Essentially Non-Oscillatory) approach due to Harten et al. (987) [5] is used for reconstructions that satisfy the conservation and the non-oscillatory properties. In ENO the choice of slope i is made by analysing two potential candidate stencils S L and S R and their corresponding polynomials p L (x) and p R (x), namely Left stencil: S L = {i, i} p L (x) = a L + b L x, Right stencil: S R = {i, i + } p R (x) = a R + b R x. The coefficients a L, b L, a R and b R are to be found. See Fig. 5. Each candidate polynomial for each stencil must satisfy the conservation property, for each cell in the stencil. For the left stencil S L the conservation property requires x xi x i 3 p L (x)dx = q n i, x xi+ } (45) x i p L (x)dx = q n i. (46) / 56

23 On exact integration one obtains i i = qn i qn i. (47) x Similarly, by imposing conservation on the polynomial p R (x) based on the right stencil S R we have x xi+ x i p R (x)dx = q n i, After exact integration we obtain xi+ 3 p R (x)dx = qi+ n. (48) x x i+ i i+ = qn i+ qn i. (49) x Then the resulting two possible choices for the reconstruction polynomial are ( q p L (x) = q n n i + (x x i ) i q n ) i, x p i (x) = ( q p R (x) = qi n n + (x x i ) i+ qi n ) (50). x 3 / 56

24 The ENO method selects the polynomial with the smallest slope in absolute value, namely ENO i = i i+ Thus the resulting ENO polynomial is p L (x) = qi n + (x x i ) p ENO i (x) = if i i+, if i > i+. ( q n i qi n ) x ( q p R (x) = qi n n + (x x i ) i+ qi n ) x (5) if i i+ ; Compare the ENO slope (5) with the minmod TVD slope (38). if i > i+ (5) 4 / 56

25 Remarks on reconstruction schemes A modification of the ENO approach, called WENO (for weighted ENO), uses all candidate stencils in the ENO approach to produce the WENO polynomial, which is a linear combination of all candidate ENO polynomials. See the work of Jiang and Shu (996) [6]. An ENO reconstruction is not TVD an the resulting ENO numerical scheme admits spurious oscillations with new extrema. However, on mesh refinement the amplitude of the spurious oscillations tends to zero as the mesh width tends to zero. This property is not satisfied by linear schemes. 3 The ENO and WENO reconstruction approaches can be extended to any order of accuracy in one, two and three space dimensions. See [3], [4] on recent advances on reconstruction procedures in multiple space dimensions. 5 / 56

26 The MUSCL-Hancock scheme To compute the numerical flux f i+ one performs the following four steps: Step (I): Reconstruction. Use polynomial (36). See Fig. 6. q(x, t n ) q R i p i (x i+/ ) p i (x i ) p i (x i / ) q L i q L i q n i p i (x) q R i x i / x i x i+/ x Fig. 6. MUSCL-Hancock scheme. The reconstructed st-degree polynomial p i (x) has boundary extrapolated values qi L (left) and qi R (right). These are then evolved in time to become q L i and q R i. 6 / 56

27 Step (II): Cell-boundary values, or boundary extrapolated values qi L = p i (x i ) = qi n x i ; qi R = p i (x i+ ) = qi n + x i. (53) Step (III): Evolution of cell-boundary values for a time t q L i = qi L t x [f(qr i ) f(qi L )] = qi n ( + c) x i, (54) q R i = qi R t x [f(qr i ) f(qi L )] = qi n + ( c) x i. See Fig. 6. Step (IV): The Riemann problem. To compute f i+ one solves the classical Riemann problem. For the linear advection equation this is: PDE: t q + x (λq) = 0, q R i = qi n + ( c) x i if x < 0, IC: q(x, 0) = q L i+ = qn i+ ( + c) x i+ if x > 0. (55) 7 / 56

28 See Fig. 7 for al illustration of the Riemann problem with evolved initial conditions. The similarity solution q i+ (x/t) is q R i = qi n + ( c) x i if x/t < λ, q i+ (x/t) = q L i+ = qi+ n ( + c) x i+ if x/t > λ. and the flux is f i+ = f(q i+ (0)) = λq R i = λ ( qi n + ( c) x ) i λq L i+ = λ ( qi+ n ( + c) x ) i+ if λ > 0, if λ < 0. (56) 8 / 56

29 t Godunov state q i+/ (0) (b) x = 0 x q(x, 0) q R i (a) q L i+ x = 0 x Fig. 7. Step IV of the MUSCL-Hancock method. (a) shows the the piece-wise constant data for the classical Riemann problem obtained from the evolved extrapolated values. (b) illustrates the similarity solution of the Riemann problem and the Godunov state right at the interface, along the t axis. 9 / 56

30 Well-known, linear second-order methods can be reproduced, in particular: i = i i+ = qn i qn i x = qn i+ qn i x ( Warming-Beam ) λ > 0, ( Lax-Wendroff ) λ > 0, (57) c = qn i+ qn i x ( Fromm). These schemes are linear, of second-order accuracy and produce spurious oscillations with new extrema In order to avoid or control the spurious oscillations in a MUSCL-Hancock type scheme we must select the slopes in a nonlinear manner, as discussed previously 30 / 56

31 FORCE-based variant of MUSCL-Hancock Instead of solving the Riemann problem in step (IV), see Fig. 7, for the MUSCL-Hancock scheme and computing the Godunov flux, one can use a simple, monotone numerical flux, such as the force flux: f force i+ = f force (r, s), r = q R i+ i, s = q L i+. (58) For the linear advection equation the force flux is given as f force (r, s) = i+ ( + c) (λr) 4c ( c) (λs). (59) 4c This approach is applicable to general non-linear systems and the resulting schemes are simple and effective, though not as accurate as Riemann-problem based schemes, particularly for certain types or problems involving slowly moving intermediate waves. 3 / 56

32 Recalling the finite volume framework Consider the general balance law t q + x f(q) = s(q). (60) Integrate (60) on finite volume [x i, x i+ ] [t n, t n+ ] to obtain = qi n t where with q n+ i t n f i ] + ts i, (6) x [f i+ qi n = xi+ q(x, t n )dx, x x i f i+ = tn+ f(q(x t i+, t))dt, t n s i = tn+ xi+ s(q(x, t))dxdt, t x x i x = x i+ x i (6), t = t n+ t n, x i = (x i + x i+ ). (63) 3 / 56

33 Formula (6) is the starting point for constructing finite volume methods This is achieved by constructing approximations to the integrals in (6), resulting in the, approximate, finite volume formula: ˆq n+ i = ˆq i n t x [ ˆf i+ ˆf i ] + tŝ i. (64) This formula is used to evolve, in time, approximations to the cells averages in (6) In order to fully determine a finite volume formula (64) one requires: ˆfi+ : the numerical flux, an approximation to f i+ in (6) ŝ i : the numerical source, an approximation to s i in (6) Often one refers directly to (6) as the finite volume scheme, but (64) is the correct interpretation. The accuracy of the resulting numerical scheme depends crucially on the accuracy used to approximate the integrals in (6) 33 / 56

34 The ADER Approach ADER, first suggested by Toro et al. (00) [3], is an approach for constructing non-linear numerical schemes of arbitrary order of accuracy in both space and time. Here we restrict the presentation to second order as applied to the linear advection equation. ADER has the following stages: Step (A): Reconstruction. The simplest case is p i (x) = q n i + i(x x i ), p i+ (x) = q n i+ + i+(x x i+ ). (65) Step (B): Generalized Riemann problem. For the linear advection equation with linear source term, the simplest case, denoted by GRP, is PDE: t q + λ x { q = βq, pi (x) if x < 0, (66) IC: q(x, 0) = p i+ (x) if x > 0, whose solution is used to find the numerical flux ˆf i+ according to (6). Step C: Numerical source. One requires an approximation ŝ i to the volume integral in (6) to find the numerical source. 34 / 56

35 Step (B): generalised Riemann problem and the numerical flux We express the solution q i+ (τ) as a truncated power series expansion (τ) = q(0, 0 + ) + τ t q(0, 0 + ). (67) q i+ B: The leading term q(0, 0 + ). One solves the classical Riemann problem PDE: t q + λ x q = 0, IC: q(x, 0) = The similarity d (0) i+ d (0) (x/t) = i+ { pi (0) q n i + x i if x < 0, p i+ (0) q n i+ x i+ if x > 0, (x/t) of this problem is q n i + x i if x/t < λ, q n i+ x i+ if x/t > λ. (68) (69) 35 / 56

36 The leading term in (67) is called the Godunov state; it is the solution (69) along the interface x/t = 0, that is q q(0, 0 + ) = d (0) i n + x i if λ > 0, (0) = (70) i+ qi+ n x i+ if λ < 0. Remark: Upto this point we have the Kolgan scheme (Kolgan, 97) [7], whose linear version is however unstable. The reader is encouraged to derive the Kolgan scheme and analyse its linear stability. Note: Kolgan is credited to have been the first researcher to have constructed a non-linear scheme (97), a scheme that circumvents Godunov s theorem. See [8] for a English translation of the original Russian article. 36 / 56

37 B: The higher order term. To compute the second term in (67) we do the following: Time derivative in terms of the spatial derivative. We apply the Cauchy-Kowalewski procedure whereby the PDE in (68) is used to express the time derivative in terms of the space derivative and the source term, that is t q(x, t) = λ x q(x, t) + βq(x, t). (7) The sought term t q(x, t) will be known once the source function βq(x, t) and the spatial gradient x q(x, t) are known. These are required at the leading term, so that the expansion (67) reads q i+ (τ) = q(0, 0 + ) + [ λ x q(0, 0 + ) + βq(0, 0 + )]τ. (7) The gradient x q(0, 0 + ) remains unknown. 37 / 56

38 Evolution equation for the space derivative. t ( x q(x, t)) + λ x ( x q(x, t)) = β x q(x, t). (73) Riemann problem for the spatial derivative. We simplify (73) by neglecting the source term for the gradient. For the model equation this can be justified. Then we pose the classical homogeneous Riemann problem for the spatial derivative, namely PDE: t ( x q(x, t)) + λ x ( x q(x, t)) = 0, i if x < 0, (74) IC: x q(x, 0) = i+ if x > / 56

39 We solve the classical Riemann problem (74) i if x/t < λ, d () (x/t) = i+ i+ if x/t > λ. We need the Godunov state at x/t = 0 at the interface, which is i if λ > 0, x q(0, 0 + ) = d () (0) = i+ i+ if λ < 0 (75) (76) The sought solution (67) is q i+ (τ) = qi n + x i + τ [ λ i + β(qi n + x i) ], λ > 0, q n i+ x i+) + τ [ λ i+ + β(q n i+ x i+) ], λ < 0. (77) 39 / 56

40 The numerical flux in (6) is obtained according to (6), namely f i+ tn+ t t n f(q i+ (τ))dτ. (78) By performing exact integration one obtains λ ( qi n + ( c) x i + r(qn i + x i) ), λ > 0 f i+ = λ ( qi+ n ( + c) x i+) + r(qn i+ x i+) ), λ < 0 (79) where c = λ t/ x is the Courant number and r = tβ is a dimensionless reaction number. The ADER numerical flux (79) includes a contribution due to the source term. In other words, the flux knows of the source term, as one would expect. But note that there is still another contribution to the scheme resulting from the numerical source, still to be specified. 40 / 56

41 Step (C): numerical source The numerical source in (6) is obtained according to (6), namely s i = t x tn+ xi+ t n x i s(q i (x, t))dxdt. (80) q i (x, t) is an approximation in the control volume. To second-order, the mid-point integration rule suffices, and one requires q i (x i, t). Taylor expanding plus Cauchy-Kowalewski give q i (x i, τ) = q i (x i, 0 + ) + τ t q(x i, 0 + ) = q i (x i, 0 + ) + τ( λ x q i (x i, 0 + ) + βq i (x i, 0 + )). In the case considered we have q i (x i, 0 + ) = q n i = p i (x i ), x q i (x i, 0 + ) = i. } (8) The numerical source from (80) is ( s i = β qi n + ) t( λ i + βqi n ). (8) 4 / 56

42 The ADER scheme for linear advection-reaction The final form of the ADER scheme is qi n+ = qi n t x [f i+ f i ] + ts i, (83) with numerical flux λ ( qi n + ( c) x i + r(qn i + x i) ), λ > 0 f i+ = λ ( qi+ n ( + c) x i+ + r(qn i+ x i+) ), λ < 0 (84) and numerical source ( s i = β qi n + ) t( λ i + βqi n ). (85) In full, for the case λ > 0, the scheme reads qi n+ = qi n c [ (qi n qn i ) + ( c) x( i i ) ] cr [ 4 (qn i qn i ) + x( i i ) ] +r [ ( + r)qn i c x i] (86). 4 / 56

43 Remarks on the ADER approach Note that if the slopes are all set to zero and we also set to zero the contribution of the source to the numerical flux, then we produce a first-order numerical scheme for the model advection-reaction equation that consists of the first-order upwind method of Godunov for the advection part and an upwind discretisation of the source term, namely q n+ i = q n i c(q n i q n i ) + r [ cqn i + ( ] c)qn i. (87) This corresponds to one of the schemes analysed in (Roe, 986) [9] and (Bermudez and Vazquez, 994) [] in which the concept of upwinding the source term was employed By choosing the slopes i appropriately, we can reproduce the well-known schemes (57), when β = 0 (no source term) The second-order ADER scheme with ENO reconstruction is effectively a blend of the Warming-Beam and the Lax-Wendroff schemes (verify). 43 / 56

44 The ADER approach may look complex for constructing a second order method. However for higher order, the steps remain essentially the same The ADER approach is capable of producing non-linear schemes of arbitrary order of accuracy in both space and time Here we have presented the finite volume version. A discontinuous Galerkin finite element version is also available. See Dumbser et al. (008) [] An introduction to ADER schemes is found in chapters 9 and 0 of Toro (009) [] In the last 0 years there have been many developments of the ADER approach due to many researchers. See chapters 9 and 0 of Toro (009) [] for references. 44 / 56

45 Sample numerical results Godunov upwind Lax--Wendroff Position Position Limiter mina Limiter supera Position Position Fig. 8: LAE at T out =.Top left: Godunov. Top right: Lax-Wendroff Bottom: WAF method with limiters MINBEE (left) and SUPERBEE (right). 45 / 56

46 Sample numerical results.5 Exact MINBEE limiter, 00 cells.5 Exact SUPERBEE limiter, 50 cells Solution Solution X X.5 Exact SUPERBEE limiter, 00 cells.5 Exact ADER5, 50 cells Solution Solution X X Fig. 9: LAE at T out = 000π. Bottom right: ADER 5th order. Rest: Second-order TVD schemes. 46 / 56

47 Second-Order Schemes for Equation with Source Consider the model advection-reaction equation t q + x f(q) = s(q), f(q) = λq, s(q) = βq, (88) where λ > 0 and β 0 are two constants. Recall that for the ADER method, for λ > 0 the numerical flux is ( = λ qi n + ( c) x i + r(qn i + ) x i), (89) f i+ where c = λ t, r = tβ, (90) x are the CFL number and a reaction number. The numerical source is ( s i = β ( + r)qn i ) c x i (9) and is independent of the sing of λ, positive or negative. 47 / 56

48 MUSCL-Hancock for source term To account for the source term, the evolution step to compete the flux reads q i L = qi L t x [f(qr i ) f(qi L )] + t(βql i ), (9) q i R = qi R t x [f(qr i ) f(qi L )] + t(βqr i ). Compare this to (54). For λ > 0, simple manipulations give the numerical flux for the MUSCL-Hancock method accounting for the presence of the source as f i+ [ = λ qi n + ( c) x i + r(qn i + ] x i). (93) The numerical source for the MUSCL-Hancock method is taken, by construction, to be identical to that of the ADER scheme, namely (9). 48 / 56

49 The WAF method The Weighted Average Flux (WAF) method has numerical flux, for the homogeneous linear advection equation, given as f i+ = f i+ (r, s) = ( + φ i+ )(λr) + ( φ i+ )(λs), (94) where φ i+ is a WAF limiter. To apply WAF to the inhomogeneous case we perform the following steps Evolution of data: Evolve cell averages q n i, qn i+ to by solving the ODE q n i = q n i + tβqn i = ( + r)qn i, q n i+ = q n i+ + tβqn i+ = ( + r)qn i+, (95) d q = s(q), (96) dt by half a time step and initial condition q n i and q n i+. 49 / 56

50 Riemann problem and flux: Solve the classical Riemann problem with evolved data q i n, qn i+ to compute the usual WAF flux, which now reads f i+ = (+φ i+ )(+ r)(λqn i )+ ( φ i+ )(+ r)(λqn i+) (97) Numerical source: Compute the numerical source using the ADER procedure, namely [ s i = β ( + r)qn i ] c x i. (98) with WAF slope i = q i+ q i. (99) x Here the intercell states are taken as the WAF averaged states q i q i+ = ( + φ i )qi n + ( φ i )qi n, = ( + φ i+ )qi n + ( φ i+ )qi+ n. (00) 50 / 56

51 Test problem We solve the initial-value problem for the linear advection-reaction equation t q + λ x q = βq x [, ] q(x, 0) = h(x) = sin πx with periodic boundary conditions, whose exact solution is (0) q(x, t) = h(x λt)e βt. (0) M L -error L -order L -error L -order 0 3.8E xx E E E 3..33E E E 4.0 Convergence rates for LAE with source term. WAF method (non limited). Error measured in two norms, for a sequence of four meshes (M = 0, 0, 40, 80). 5 / 56

52 Exercises Problem : TVD schemes. Show that the following schemes for the linear advection equation (LAE) are TVD: Lax-Friedrichs, FORCE and Godunov upwind (for λ > 0 and for λ < 0). Problem : Monotone schemes are TVD. Show that a three-point, monotone scheme for LAE is TVD. Problem 3: Viscosity form of a scheme. Consider the three-point scheme written in viscous form q n+ i = q n i c(qn i+ q n i ) + d(qn i+ q n i + q n i ) (03) to solve LAE. By performing a truncation error analysis show that the coefficient of numerical viscosity in the sense of local truncation error is α visc = ( ) d c xλ. (04) c 5 / 56

53 Problem 4: Coefficient of viscosity form of a scheme. Show that by choosing appropriate values of d one can reproduce some well known schemes, that is Lax-Friedrichs, d(c) = ( + c ) FORCE, (05) c Godunov upwind, c Lax-Wendroff. Problem 5: Coefficient of viscosity for known schemes. Consider the functions d(c) above. Plot all the function d(c) above in the rectangle [, ] [0, ]. Identify the regions of monotone schemes and of non-monotone schemes. Discuss accuracy of the considered schemes in terms of the plot above. 53 / 56

54 Problem 6: WAF method. Consider the WAF method for LAE with numerical flux f i+ where φ i+ = f i+ (r, s) = ( + φ i+ )(λr) + ( φ i+ )(λs), (06) is a WAF limiter function. Applying the methodology used for deriving flux limiters ψ(r), find the TVD region for WAF and plot it. Show that ψ(r) is related to φ i+ (r) via where c is the Courant number. φ i+ (r) = ( c )ψ(r), (07) 54 / 56

55 Problem 7: The Kolgan scheme (97) Kolgan [7] is now recognized to have been the first to propose non-linear schemes. The linear version of Kolgan s scheme proceeds as for MUSCL-Hancock but neglecting the data evolution step. For LAE show that the numerical flux for the Kolgan scheme is λ(qi n + x i) if λ > 0, f i+ = (08) λ(qi+ n x i+) if λ < 0. For λ > 0 consider the linear version of Kolgan s scheme by taking linear (fixed) slopes i = i = qn i qn i x and write the resulting three-point scheme as q n+ i = b q n i + b 0 q n i + b q n i+, (09) explicitly identifying the coefficients b, b 0 and b. 55 / 56

56 Derive the local truncation error and state the order of accuracy of the scheme. Analyse the stability of the scheme using the (a) the von Neumann method, (b) Billett s method and (c) the viscosity form of the scheme. Repeat the above with slopes chosen as i = i+ = qn i+ qn i x Remark: non-linear Kolgan scheme. The linear version of Kolgan s scheme is unconditionally unstable, as shown above. However the non-linear version proposed originally by Kolgan uses a non-linear reconstruction whereby the choice of the slopes is non-linear. In particular Kolgan proposed the use of minimum slopes, which is equivalent to choosing the MINMOD slope limiter.. 56 / 56

57 L. Bermúdez and M. E. Vázquez. Upwind Methods for Hyperbolic Conservation Laws with Source Terms. Computers and Fluids, 3:049 07, 994. M. Dumbser, D. Balsara, E. F. Toro, and C. D. Munz. A Unified Framework for the Construction of One Step Finite Volume and Discontinuous Galerkin Schemes. J. Comput. Phys., 7: , 008. M. Dumbser and M. Käser. Arbitrary High Order Non-Oscillatory Finite Volume Schemes on Unstructured Meshes for Linear Hyperbolic Systems. J. Comput. Phys., ():693 73, 007. M. Dumbser, M. Käser, V. A. Titarev, and E. F. Toro. Quadrature-Free Non-Oscillatory Finite Volume Schemes on Unstructured Meshes for Nonlinear Hyperbolic Systems. J. Comput. Phys., 6(8):04 43, 007. A. Harten and S. Osher. 56 / 56

58 Uniformly High Order Accurate Nonoscillatory Schemes I. SIAM J. Numer. Anal., 4():79 309, 987. G. S. Jiang and C. W. Shu. Efficient Implementation of Weighted ENO Schemes. J. Comp. Phys., 6:0 8, 996. V. P. Kolgan. Application of the Principle of Minimum Derivatives to the Construction of Difference Schemes for Computing Discontinuous Solutions of Gas Dynamics (in Russian). Uch. Zap. TsaGI, Russia, 3(6):68 77, 97. V. P. Kolgan. Application of the principle of minimising the derivative to the construction of finite-difference schemes for computing discontinuous solutions of gas dynamics. J. Comp. Phys., 30: , 0. P. L. Roe. 56 / 56

59 Upwind Differencing Schemes for Hyperbolic Conservation Laws with Source Terms. In Proc. First International Conference on Hyperbolic Problems, Carasso, Raviart and Serre (Editors), pages 4 5. Springer, 986. P. K. Sweby. High Resolution Schemes Using Flux Limiters for Hyperbolic Conservation Laws. SIAM J. Numer. Anal., :995 0, 984. E. F. Toro. A Weighted Average Flux Method for Hyperbolic Conservation Laws. Proc. Roy. Soc. London, A43:40 48, 989. E. F. Toro. Riemann Solvers and Numerical Methods for Fluid Dynamics. A Practical Introduction. Third Edition. Springer Verlag, 009. E. F. Toro, R. C. Millington, and L. A. M. Nejad. Towards Very High Order Godunov Schemes. 56 / 56

60 In Godunov Methods: Theory and Applications. Edited Review, E. F. Toro (Editor), pages Kluwer Academic/Plenum Publishers, / 56