27
Wave Equation One dimensional second-order hyperbolic wave equation(Classical wave equation) u cu tt xx = 2 One dimensional first-order hyperbolic linear convection equation u cu t x + = 0 it describes a wave propagating in x direction with velocity C. Initial condition ux Fx (,) () 0 = ,(- <x< ) The solution is u(x,t)=F(x-ct) ()Euler explicit methods (i) u u t c u u x j n j n j n j n + + + = 1 1 0 Δ Δ truncation error o t x ( , ) Δ Δ 1st order accuracy if c>0, for stable solution,backward differencing is used if c<0, forward differencing is used (ii) u u t c u u x j n j n j n j n + + + = 1 1 1 2 0 Δ Δ truncation error ( ) 2 ( , ) o t x Δ Δ 1st order accuracy Von Neumann analysis shows unconditional unstable(Homework) ()upstream differencing method u u t c u u x j n j n j n j n + + = 1 1 0 Δ Δ ; c>0 Truncation error o t x ( , ) Δ Δ ( ) ( ) 2 2 ..... 2 2 6 6 tt xx ttt xxx t x t cx u u u c u Δ Δ Δ Δ + + (Homework)Von Neumann analysis shows for stability 0 1 υ c t x Δ Δ if υ = 1the unstream scheme reduces to u u j n j n + = 1 1 from the modified equation This differencing scheme satisfies the shift condition ()Lax Method (1954) ( ) 1 1 1 1 1 1 2 0 2 n n n n n j j j j j u u u u u c t x + + + + + = Δ Δ Explicit one-step method

Wave Equationhomepage.ntu.edu.tw/~twhsheu/course/Finite difference/NUMER2+3.pdf‧Large lagging phase error for high wave number ... method for the latter half time step ‧When applied

  • Upload
    vongoc

  • View
    233

  • Download
    5

Embed Size (px)

Citation preview

  • Wave Equation

    One dimensional second-order hyperbolic wave equation(Classical wave equation) u c utt xx=

    2 One dimensional first-order hyperbolic linear convection equation u cut x+ = 0 it describes a wave propagating in x direction with velocity C. Initial condition u x F x( , ) ( )0 = , (- < x < ) The solution is u(x,t)=F(x-ct)

    ()Euler explicit methods

    (i)u u

    tc

    u ux

    jn

    jn

    jn

    jn+

    + +

    =1

    1 0

    truncation error o t x( , ) 1st order accuracy if c>0, for stable solution,backward differencing is used if c 0

    Truncation error o t x( , )

    ( ) ( )2 2

    .....2 2 6 6tt xx ttt xxx

    t xt c xu u u c u

    + +

    (Homework)Von Neumann analysis shows for stability 0 1 c t x

    if =1 the unstream scheme reduces to u ujn

    jn+=

    11 from the

    modified equation This differencing scheme satisfies the shift condition

    ()Lax Method (1954)

    ( )1 1 1

    1 1

    12 0

    2

    n n nn nj j jj j

    u u u u uc

    t x

    ++

    + +

    + =

    Explicit one-step method

  • First order accuracy ( ) ( )2

    ( , )xo t t

    Stability condition 1

    Not uniformly consistence since ( )2x

    t

    may not appraoch to zero as x t, 0 modified equation is

    ( ) ( )2

    21 1 ....2 3t x xx xxx

    c xc xu cu u u

    + = + +

    Large disspiation error where 1,it can be seen by comparing the upstream differencing scheme. Satify shift condition Amplification factor G i= cos sin

    Relative phase error ( )1tan tan

    e

    =

    ()Euler Implicit Method

    u u

    tc

    u ux

    jn

    jn

    jn

    jn+

    ++

    +

    +

    =1

    11

    11

    20

    Implicit First-order accuracy with truncation error ( )2( , )o t x Unconditional stable A system of tridiagonal matrix to be solved by Thomas algorithm Capable of permitting large time step which will produce large truncation error Modified equation is ( ) ( )2 22 31 1 1 ....

    2 6 3t x xx xxxu cu c t u c x c t u + = + +

    Not satisfy shift condition

    Amplication factor G i= +

    11 2 2

    sinsin

    Relative phase error ( )1tan sin

    e

    =

    High dissipation for intermediate wave number Large lagging phase error for high wave number

  • ()Leap Frog Method

    u u

    tc

    u ux

    jn

    jn

    jn

    jn+

    + +

    =1 1

    1 1

    2 20

    explicit Three-time level scheme Second-order accuracy with truncation error ( ) ( )2 2( , )o t x Stability requirement 1 Modified equation is ( ) ( ) ( ) ( )2 42 4 21 11 9 10 1 ....6 120t x xxx xxxxxu cu c x u c x u + = + Predominantly exhibit dispersive errors which is typical in second

    order accurate method No dissipative truncation terms such that the algorithm is neutrally stable and errors caused by improper B.C. or computer round-off error won't be damped. Amplication factor ( )

    12 2 21 sin sinG i =

    Relative phase error ( )1

    1 22 2sintan

    1 sin

    e

    =

    Disadvantages (1)Initial conditions must be specified at two-time levels (2)Leap frog nature of differencing ( )( )1n nj ju f u+ such that two independent solutions develop as the calculation proceeds. (3)Additional storage may be required due to the three-time level scheme

    ()Lax-Wendroff Method

    ( )( )

    ( )1 2

    1 1 nj+1 12 u 2 2 2

    n n n nj j j j n n

    j j

    u u u u c tc u u

    t x x

    ++

    + = +

    Employing wave equations

    u cu

    u c ut x

    tt xx

    =

    = 2

    in the Taylor expansion of u jn+1

    ( ) ( )2 31 12

    n nj j t ttu u u t u t o t+ = + + +

    and employing second-order central difference expression for uxand uxx Explicit one-step scheme

  • Second order accuracy with truncation error ( ) ( )2 2( , )o t x Stability requirement 1 Modified equation is ( ) ( ) ( ) ( )2 32 21 11 1 ....6 8t x xxx xxxxu cu c x u c x u + = + Satisfy shift condition Amplication factor G ( )21 1 cos sinG i =

    Relative phase error ( )1

    2sintan

    1 1 cos

    e

    =

    Predominantly lagging phase error except for large wave number ( )0.50.5 1< <

    ()Two-Step Lax-Wendroff Method

    Step 1:( )1 21 2 1

    1

    12 0

    2

    n n nn nj j jj j

    u u u u uc

    t x

    ++ +

    + +

    + =

    Step 2:u u

    tc

    u ux

    jn

    jn

    jn

    jn+

    ++

    +

    +

    =1

    1 21 2

    1 21 2

    0

    Applied for nonlinear equations such as inviscid flow equations Two step method Three-time level method Second-order accuracy with truncation error ( ) ( )2 2( , )o t x Stability requirement 1 Step 2 is leap frog method for the latter half time step When applied to linear wave equation, two-Step Lax-Wendroff method original Lax-Wendroff scheme.(Homework) Modified equation and amplification factor are the same as original Lax-Wendroff method.

    ()MacCormack Method (1969) Predictor step : ( )n+1 n nj j j+1tu =u -c u x

    nju

    Correct step : ( )1 1 1 1112n n n n nj j j j j

    c tu u u u ux

    + + + +

    = +

    Widely used for solving fluid flow equations A variation of two-step Lax-Wendroff scheme which removes the

    necessity of computing unknowns at grid points j+1/2,j-1/2.

  • Partically useful when solving nonlinear P.D.E. Explicit,two step method In predictor step,forward differencing is employed for ux In correct step,backward differencing is employing for ux In moving discontinuities problems,the differencing can be reversed. MacCorwack scheme is equivalent to the original Lax-Wendroff scheme for the present linear wave equation Truncation error

    Stability limit modified equation amplification factor = those of Lax- Wendroff scheme

    ()Upwind Method (Warming and Beam 1975) Predictor step : ( )n+1 n nj j j 1tu =u -c u ; c>0 x

    nju

    Correct step :

    ( ) ( )1 1 1 11 1 21 2 c>02n n n n n n n nj j j j j j j j

    c t c tu u u u u u u ux x

    + + + +

    = + +

    A variation of MacCormack method Backward differencing is applied to both predictor and corrector steps second-order accurate with truncation error ( ) ( )( ) ( )2 2( , , )o t t x x Substitute predictor equation in corrector equation to obtain one- step algorithm ( ) ( )( )1 1 1 21 1 22

    n n n n n n nj j j j j j ju u u u u u u +

    = + +

    Modified equation

    ( ) ( )( )

    ( ) ( ) ( )

    2

    42

    1 1 26

    1 2 ....8

    t x xxx

    xxxx

    u cu c x u

    xu

    t

    + =

    +

    Satisfing shift condition at = =1 2, Amplication factor G ( ) ( )2 2 21 2 2 1 sin sin sin 1 2 1 sin

    2 2 2G i = + +

    Stability limit 0 2 Predominantly leading phase error for 0 1<

  • for 0 1<

  • and 4 32 4 < Third-order accurate Modified equation

    ( )

    ( ) ( )

    33

    42 4

    424

    5 4 15 4 ....120

    t x xxxx

    xxxxx

    c xu cu u

    c xu

    + = +

    + + + +

    Reducing dissipation = 4 2 4

    Reducing dispersion ( )( )2 24 1 4

    5

    +

    =

    Amplication factor G

    ( )2

    2 4 2 22 21 sin sin sin 1 1 sin2 3 2 3 2

    G i = +

    leading or lagging phase error depending on the free parameter.

    ()Warming-Kulter-Lomax (WKL)method (1973) Step 1: ( )(1) nj+12 u 3

    n nj j ju u u=

    Step 2: ( )(2) (1) (1) (1)j j 11 2+u - u 2 3n

    j j ju u u =

    Step 3:

    ( )

    ( )

    ( )

    1 nj+2 1 1 2

    (2) (2)j+1 1

    nj+2 1 1 2

    - -2u 7 7 2243 - u 8

    - u 4 6 424

    n n n n nj j j j j

    j

    n n n nj j j j

    u u u u u

    u

    u u u u

    ++

    +

    = + +

    + +

    MacCormack methods for first two steps; Rusanov method for the third step

    Same stability limit bound and modified equation as Rusanov method Third-order accurate method at the expense of additional computing complexity

    Explicit WKL method has same advantage over Rusanov method that the

    MacCormack method has over the two-step Lax-Wendroff method

  • Conculsion:

    Second-order accurate explicit schemes(Lax-Wendroff,upwind schemes) give excellent results with a min of computational effort

    Implicit scheme is probably not the optimum choice.

    Explicit schemes seem to provide a more natural F.D. approximation for hyperbolic P.D.E. which possess limited zones of influence.

    Implicit methods are more appropriate for solving a parabolic P.D.E. since it normally assimilates information from all grid points located

    on or below the characteristics t=const.

  • A.1-D Heat Equation

    Parabolic one-dimensional heat equation(diffusion equation) u ut xx= with I.C. u(x,0)=f(x) B.C. u(0,t)=u(1,t)=0 is used as the model equation

    ()Simple explicit method

    ( )

    11 1

    2

    2n n n n nj j j j ju u u u ut x

    +

    + +=

    Explicit,one step method First order accurate with truncation error ( )2,o t x

    Stability limit ( )2

    10 2t

    x

    Modified equation is

    ( )

    ( ) ( ) ( )

    22

    2 2 43 2

    12 12

    1 1 1 +3 12 360

    +...........

    t xx xxxx

    xxxxxx

    xu u t u

    t t x x u

    = +

    +

    No dispersive error It is usually the behavior of other schemes for the heat equation Amplification factor G G=1+2 (cos -1) it has no imaginary part and hence no phase shift Exact amplification factor Ge Ge=e2 where =kmx highly dissipative for large when =1/2 Not properly model the physical behavior of a parabolic PDE since the interior solution at point P can be calculated without the knowledge at the boundary. Howerer,for parabolic equation,the solution should depend on the

    B.C..Since parabolic heat equation has the characteristic t=const such that the solution at t=const depends on everything which occured in the physical domain at all earlier times.

  • ()Richardson's Method

    ( )

    1 11 1

    2

    22

    n n n n nj j j j ju u u u u

    t x

    + + +=

    Explicit,one step method Three-time level scheme Second-order accurate with truncation error o t x 2 2, Unconditional unstable

    ()Laasonen method (1949)

    ( )

    1 1 1 11 1

    2

    2n n n n nj j j j ju u u u ut x

    + + + +

    + +=

    Implicit First-order accurate with truncation error ( )2,o t x

    Unconditional stable Modified equation

    ( )

    ( ) ( ) ( )

    22

    2 2 43 2

    12 12

    1 1 1 + .......3 12 360

    t xx xxxx

    xu u t u

    t t x x

    = +

    + + +

    Amplitication factor G G = + 1 2 1 1 ( cos )

    ()Crank-Nicolson method (1947) Defining central differencing scheme x j

    njn

    jn

    jnu u u u2 1 12= ++

    (

    1 1 11 1

    1 1

    2

    12 2 1

    2

    2

    12

    n n nj j j

    n n nj j j

    u u u

    n nj j n n

    x j x j

    u u u

    u uu u

    t x

    + + + +

    +

    +

    ++

    +

    = +

    Implicit method Unconditional stable Second-order accuracy with truncation error ( ) ( )2 2,o t x

    Modified equation is

  • ( ) ( ) ( )2

    2 431 1 .....12 12 360t xx xxxx xxxxxx

    xu u u t x u

    = + + +

    Amplification factor G

    G = +

    1 11 1

    ( cos )( cos )

    ()Generalized explicit,Laasonen and Crank-Nicolson method

    ( )

    12 1 2

    2 (1 )n nj j n n

    x j x j

    u uu u

    t x

    ++ = +

    where

    0 explicit method(1)

    1 Laasonen method(3)1 Crank-Nicolson method(4)2

    = =

    =

    Usually, it is first-order accurate with the truncation error ( )2,o t x

    Modified equation

    ( ) ( )

    ( ) ( ) ( ) ( )

    22

    2 2 42 3 2

    12 12

    1 1 11 + ....3 6 2 360

    t xx xxxx

    xxxxxx

    xu u t u

    t t x x u

    = +

    + + + +

    ()Richtymer and Morton (1967)combined method

    ( )( )

    1 1 2 1

    21n n n n nj j j j x ju u u u u

    t t x

    + + + =

    First order accurate with truncation error ( )2,o t x

    Modified equation

    ( )221 ....2 12t xx xxxx

    u u t x u = + +

    ()DuFort-Frankel method

    ( )

    ( )1 1

    1 11 122

    n nj j n n n n

    j j j j

    u uu u u u

    t x+ +

    +

    = +

    Replacing ( )1 112n n nj j ju u u

    + = + in Richardson's method

    Explicit method Three-time level scheme

  • ( ) ( ) ( )22 2, , to t x x To be a consistent scheme

    tx 0 as t, x 0

    Modified equation

    ( ) ( )

    ( )

    ( ) ( )

    232

    2

    44 23 5

    112

    1 1 + 2 ....360 3

    t xx xxxx

    xxxxxx

    tu u t u

    x

    tx t ux

    =

    + +

    Amplification factor G

    ( )1

    2 2 22 cos 1 4 sin1 2

    G

    =

    +

    Unconditional stable

    ()Alternating-Directional Explicit (ADE) method (1)Saulyev,V.K. (1957)

    Step 1:( )

    1 1 11 1

    2

    n n n n n nj j j j j ju u u u u u

    t x

    + + ++

    +=

    Marching the solution from the left boundary to the right boundary u j

    n+1is determined explicitly from known u jn+11

    Step 2:( )

    2 1 2 2 1 11 1

    2

    n n n n n nj j j j j ju u u u u u

    t x

    + + + + + ++

    +=

    Marching the solution from the right boundary to the left boundary u j

    n+2is determined explicitly from known u jn+12

    Three-time level Truncation error ( ) ( ) ( )22 2, , to t x x Unconditional stable (2)Barakat and Clark (1966)

    ( )( )

    ( )( )

    11 1

    1 12

    11 1

    1 12

    n nj j n n n n

    j j j j

    n nj j n n n n

    j j j j

    P PP P P P

    t x

    q qq q q q

    t x

    ++ + +

    ++ +

    +

    = +

    = +

    The calculation procedure is simultaneously marched in both directions,the solution ( )1 1 112n n nj j ju p q+ + += + Unconditional stable Truncation error ( ) ( )2 2,o t x

  • (3)Larkin (9164)

    ( )( )

    ( )( )

    ( )

    11 1

    1 12

    11 1

    1 12

    1 1 112

    n nj j n n n n

    j j j j

    n nj j n n n n

    j j j j

    n n nj j j

    P uP P u u

    t x

    q uu u q q

    t x

    u P q

    ++ + +

    ++ +

    +

    + + +

    = +

    = +

    = +

    ()Keller Box and modified Box method (1)Keller Box (keller 1970) u ut xx= Define v ux=

    xt x

    u vu v

    = =

    t

    x

    nn-1

    j-1

    j

    tn

    xj

    ( )

    ( )

    11 12

    1 1 1 11 12 2 2 2

    1 1 1

    1 (7-33)2

    (7-34)2

    n nj j n n n

    j jjj

    n n

    j j n n n n n nj j j j j j

    n j j

    u uv v v

    x

    u uv v v v v v

    t x x

    = = +

    = = +

    Where ( )

    ( )

    1 121

    12

    12

    12

    n n nj jj

    n n nj j j

    u u u

    v v v

    = +

    = +

    The system of (7-33),(7-34) can be written in block tridiagonal form with 2x2 blocks Solved by block elimination scheme Implicit,second order in accuracy

    ()Modified Keller Box method

  • ( )

    ( )

    1 11 1 1 1

    1 12

    11 1 1 12 2 2 2

    11

    1 11 1

    1 (7-35)2

    (7-37)2

    n nj j n n n

    j jjj

    n n

    j j n n

    j jn j

    n n n nj j j j

    j

    u uv v v

    x

    u uv v

    t x

    v v v vx

    + + + + +

    +

    + +

    +

    + +

    = = +

    =

    = +

    v v v vjn jncan

    jn

    jn

    +

    +

    11

    11, , ,

    be eliminated from(7-37)from(7-35) at(n+1),(n) respectively

    are written in terms of u's

    similar as (7-35),(7-37) by advancing j by 1

    B u D u A u cj jn

    j jn

    j jn

    j+ +

    +++ + =1

    1 111

    where Bx

    t xjj

    n j=

    +

    1

    2

    Axt xj

    j

    n j= +

    + +

    1

    1 1

    2

    Dx

    txt x xj

    j

    n

    j

    n j j= + + +

    +

    +

    + +

    1

    1

    1 1

    2 2

    ( ) ( )

    1 1

    1

    11 1

    1 1

    2 2

    n n n nj j j j

    jj j

    j jn n n nj j j j

    n n

    u u u uC

    x x

    x xu u u u

    t t

    ++

    + +

    + +

    = +

    + + +

    Second-order in accuracy even in nonuniform spacing(Homework) Crank-Nicolson is second-order in accuracy in uniform spacing

  • B.2-D heat equation

    ( )t xx yyu u u= +

    The direct extension of 1-D numerical scheme to 2-D problems has the following difficulties.

    (1)For explicit method,the stability limit becomes more restrictive,thus it is more impractical (2)For implicit method,the coefficient matrix is no longer tridiagonal,the equation solver requires substantially more computing time.

    ()Alternating-Direction-Implicit (ADI) method

    , (1955) (1955)

    Peaceman RachfordDouglas

    step 1: ( )1 2

    , , 2 1 2 2, ,

    2

    n ni j i j n n

    x i j y i j

    u uu ut

    ++ = +

    step 2: ( )1 1 2

    , , 2 1 2 2 1, ,

    2

    n ni j i j n n

    x i j y i j

    u uu ut

    + ++ + = +

    Two-step splitting scheme step 1:tridiagonal matrix is solved for each j row of grid points (i.e. for each j, i=0imax ) step 2:tridiagonal matrix is solved for each i row of grid points (i.e. i , j=0 jmax) Second-order accurate with truncation error ( ) ( ) ( )2 2 2, ,o t x y (Homeowrk)

    Amplification factor G

    ( ) ( )( ) ( )

    1 1 cos 1 1 cos

    1 1 cos 1 1 cosx x y y

    x x y y

    r rG

    r r

    = + +

    Unconditional stable

  • ()Splitting or Fractional-Step method (Yanenko,N.N.,1971)

    step 1:u u

    t ui jn

    i jn

    x i jn, ,,

    ++

    =

    12

    2 12

    2

    step 2:u u

    t ui jn

    i jn

    x i jn, ,,

    + ++ =

    1 122 1

    2

    First-Order accurate with truncation error ( ) ( ) ( )2 2, ,o t x y

    ()Hopscotch method 1st step:at each point which (i+j+n=even)

    u u

    tu ui j

    ni jn

    x i jn

    y i jn, ,

    , ,

    + = +

    12 2

    ui jn,+1 is calculated explicitly

    2nd step:at each point which (i+j+n=odd)

    u ut

    u ui jn

    i jn

    x i jn

    y i jn, ,

    , ,

    ++ + = +

    12 1 2 1

    ui jn,+1 appears to be implicit,but no simulation equations are to

    be solved,since ui jn++11, ,ui jn+11, ,ui jn, ++ 11 ,ui jn, + 11 are known in 1st sweep Explicit method Truncation error ( ) ( ) ( )2 2, ,o t x y (Homework)

    Unconditional stable

    1 2 3 4 5 6 7i1

    2

    3

    4

    j

    i+j+n=oddi+j+n=even

    n=0 for example

  • Conclusions: In general,implicit methods are more suitable than explicit methods

    For 1-D heat equation,Crank-Nicolson method is recommended. For 2-D,3-D heat equation,ADI scheme of Douglas and Gum and Keller box and modified box methods give excellent results.

  • Inviscid Burgers Equation

    The model nonlinear equation is hyperbolic equation u uut x+ = 0 (4-129) or u Ft x+ = 0 or u Aut x+ = 0 (4-131) where ( ) dFA A u du= = is the Jacobian matrix and the eigenvalues of A are all real. Inviscid Burgers equation is the simplified form of parabolic viscous Burgers equation u uu ut x xx+ = without considering the viscous effect.

    (4-129) can be viewed as a nonlinear wave equation where each point on the wave front can propagate with a different speed.

    Jenuine solution of (4-131) is one in which u is continuous but the bounded discontinuity in the derivatives of u may occur. Shocks and rarefactions are frequently encountered in high speed flow

    governed by nonlinear Burgers equation of hyperbolic type. Weak solution of (4-131) is a solution which is genuine except along

    a surface (x,t) space across which the function u may be discontinuous.

    The existence of shock waves in inviscid supersonic flow is an example of a weak solution.

    Aim: Develop the requirements for a weak solution (or the requirements necessary for the existence of a solution with a discontinuity)

    The spaced-centered algorithms for inviscid Burgers equations (Euler equation) were historically important. All centered second order accurate schemes refer to the Lax- Wendroff algorithm (It is the unique second order explicit scheme for the linear convection equation on a three point support) -It plays the essential role as guideline for all schemes attempting to improve certain of its deficiencies. -The generation of oscillations at discontinuities is the weakness. Model equation (a)Conservative form-U Ft x+ = 0

  • (b)Quasi-linear form-U AU A F Ut x+ = =0 ; Lax-Friedrichs (1954) scheme is the first numerical discretization of Euler equations. Numerical flux -An essential property of the discretized schemes -For u Ft x+ = 0 It has the property ( )* *1 2 1 2t j j

    j j

    u dx udx F Ft +

    = =

    Ensure the integral depends on the fluxes within the domain and not depends on the fluxes within the domain-numerical fluxes are functions of u at the mesh points.

    All the second-order, three-point central schemes of the Lax- Wendroff family have rather poor dissipative properties and generate oscillations around sharp discontinuities.

    In order to remove high frequency oscillations around discontinuities in second-order central schemes Von Neuman and Richtmeyer (1950) introduced the concept of artificial viscosity. This introduction of artificial viscosity should obtain the porperty.

    (i)locally around the discontinuity- can simulate the physical viscosity on the scale of mesh.

    (ii)In smooth region- can be negelected (i.e., of the order equal or higher than the truncation error) (iii)Requiring additional dissipation to avoid the appearance of expansion shocks where the sonic transitions occur. Any upwind scheme can be written as a central scheme plus dissipation terms(Can be verified) The added dissipation terms introduce an upwind correction to the central schemes, removing non-physical effects arising from the central discretization of wave propagation phenomena which arises mianly around discontinuities (A sudden change in the propagation direction of certain waves) The upwind scheme are defined in function of the signs of the propagation velocities. The introduction of second-order non-linear upwind algorithm can control and prevent the appearance of unwanted oscillations (TDV)

  • t

    x

    w=0

    D2D1

    B

    u is continuous in D1 and D2 Let w(x,t) be a test function which is continuous and has 1st continuous derivative. It vanishs on boundary B. Then

    ( ) ( , ) 0t xD

    u F w x t dxdt+ =

    x

    t

    D1

    21

    n

    Integrating by parts

    ( ) ( ) [ ] [ ]1 2

    0t x t xD D

    dt dxu F wdxdt u F wdxdt w u F dsds ds

    + + + + + =

    since u Ft x+ = 0 over D1, D2, and w is arbitrary. Then along the discontinuity surface (x,t) u dt

    dsF dx

    ds+ = 0

    or u Fcos cos 1 2 0+ = (4-136) where 1:along between normal of and t axis 2:along between normal of and x axis (4-136) is the condition that u is a weak solution for Burgers equation

  • (A)Explicit method () Lax Method (1954) u Ft x+ = 0 is the model equation

    since ( ) ( ),

    , , .......x t

    uu x t t u x t tt

    + = + +

    Then ( ) ( ) ( ) ,, , .......x x tu x t t u x t t F+ = + + ie,

    ( ) ( )1 1 1 1 11 12 2n n n n nj j j j j

    tu u u F Fx

    ++ +

    = +

    where F u= 2 2 in inviscid Burgers equation

    The amplification factor is G

    G i tx

    u= cos sin

    First order accurate

    Stability limit

    tx

    umax 1

    () Lax-Wendroff method (1960) since u Ft x= Then

    ( ) ( )

    ( ) ( )

    ( )

    =-x

    =x

    tt x t

    u t t

    x

    u F Ft x

    F u Aux

    AF

    = =

    =

    Since

    ( ) ( )2 2

    2, ,

    , , .......2x t x t

    u t uu x t t u x t tt t

    + = + + +

    Then ( ) ( )

    2

    , , .......2

    F t Fu x t t u x t t Ax x x

    + = + +

    or

    ( ) ( ) ( )2

    11 1 1 1 1 1

    2 2

    12 2

    n n n n n n n n n nj j j j j j j jj j

    t tu u F F A F F A F Fx x

    ++ +

    +

    = +

    or ( )1 * *1 2 1 2n nj j j jtu u F Fx

    ++

    =

    where 11 2 2

    n nj jn

    j

    u uA A ++

    +=

    since in inviscid Burgers equation, F u A u= =2 2,

  • then

    ( )

    ( )

    1 12

    1 12

    1212

    j jj

    j jj

    A u u

    A u u

    ++

    = +

    = +

    First second-order method for hyperbolic equation Amplification factor

    ( )2

    1 2 1 cos 2 sint tG u i ux x

    =

    Stability limit

    tx

    umax 1

    Disperasive nature is evidenced through the presence of oscillations near the discontinuity(Homework)

    () MacCormack Method

    predictor: ( )1 1n n n nj j j jtu u F Fx+

    +

    =

    corrector: ( )1 1 1 1112n n n n nj j j j j

    tu u u F Fx

    + + + +

    = +

    or ( )1n nn j jj j tu u F Fx

    =

    Easier to apply then Lax-Wendroff scheme because the Jacobian doesnt appear Amplification and stability limit are the same as Lax- Wendroff scheme. non-linear Lax-Wendroff scheme For the nonlinear Burgers equation

    ( )

    ( ) ( )

    1 * *1 2 1 2

    1 2 1 2 1 1 2 1 2 1 =- 2 2

    n nj j j j

    i i i i i i i i

    tu u F Fx

    t t tF A F F F A F Fx x x

    ++

    + + +

    =

    requires the evaluation of Jacobian Ai1 2 by (Harten, 1983)

    ( )

    11 2 i+1

    1

    i+1

    if u 0

    if u

    i ii i

    i i

    i i

    F FA uu uA u u

    ++

    +

    =

    = =

    ( ) ( ) ( )2

    1 2 21 1 1 1 1 1

    2 2

    12 2

    n n n n n n n nj j j j j j j jj j

    t tu u F F A u u A u ux x

    ++ +

    +

    = +

  • or ( )1 * *1 2 1 2n nj j j jtu u F Fx+

    +

    =

    where the numerical flux Fj+1 2* is

    ( )* 21 2 1 1 12 22j j jj j

    tF F A u ux+ ++ +

    =

    Richtymer two step method and Morton (1967) ( ) ( )1 21 2 1 112 2

    n n n n ni i i i i

    tu u u F Fx

    ++ + +

    = +

    (First order accuracy)

    (LF scheme)

    ( )1 1 2 1 21 2 1 2n n n ni i i itu u F Fx+ + +

    +

    =

    (Second order accuracy)

    (Leap-Forg scheme) ( ) ( )2 2, at i,n+1O x t MacCormack scheme with artificial dissipation Predictor step: ( ) ( ) ( )1 1 1 2 1 1 2 1nn n n n n nj j j j i i i i i it tu u F F D u u D u ux x

    ++ + +

    = +

    Corrector step: ( ) ( ) ( )1 11 1 1 1 11 1 2 1 1 2 1n nn n n n n nj j j j i i i i i it tu u F F D u u D u ux x

    + ++ + + + + + +

    = +

    The associated numerical flux becomes ( ) ( ) ( ) ( )* 1 1 1 11 2 1 1 2 1 1 2 11 12 2

    AV n n n n nj i i i i i i i iF F F D u u D u u

    + + + ++ + + + + +

    = + +

    Where Von Neumann-Richtymer artificial viscosity model for D is employed with =1.96. Oscillations at the shock are damped out. ( )1 * *1 2 1 2n ni i j ju u F F+ + = where numerical flux ( )* 1 2 112

    nj j jF F F+ += +

    switched differencing in predictor and corrector steps. providing good resolution at discontinuities. The best

    resolution of discontinuities occures when the difference in the predictor is in the direction of propagation of discontinuity.

    High frequency errors generated at discontinuity, indicated by the mass flux error, is typical of all the central second order alogrithm. Requiring the introduction of mechanism to damp out the high frequency error.

    () Rusanov (Burstein-Mirin) Method step 1: ( ) ( ) ( )1 1 2 1 11 12 3

    n n n nj j j j j

    tu u u F Fx+ + +

    = +

  • step 2: ( ) ( ) ( )( )2 1 11 2 1 223n

    j j j jtu u F Fx +

    =

    step 3:

    ( )( ) ( )( )

    ( )

    12 1 1 2

    2 21 1

    2 1 1 2

    explicity added fourth derivative terms for stability

    1 2 7 7 224

    3 -8

    - 4 6 424

    n n n n n nj j j j j j

    j j

    n n n n nj j j j j

    tu u F F F Fx

    t F Fx

    u u u u u

    ++ +

    +

    + +

    = + +

    + +

    t,n

    Third-order accurate Amplification factor

    ( )

    ( )

    2 2

    2

    sin1 1 cos sin2 6

    1 1 1 cos 13

    t i tG u ux x

    t ux

    = + +

    Stability limit

    1 1

    4 32 4

    or tx

    umax

    Overshot exists on both sides of discontinuity.

    () WKL Method (1973) step 1: ( ) ( )1 123

    n n nj j j j

    tu u F Fx +

    =

    step 2: ( ) ( ) ( ) ( )( )2 1 111 22 3nn

    j j j j jtu u u F Fx = +

    step 3:

    ( )( ) ( )( )

    ( )

    12 1 1 2

    2 21 1

    2 1 1 2

    explicity added to control stability

    1 2 7 7 224

    3 -8

    - 4 6 424

    n n n n n nj j j j j j

    j j

    n n n n nj j j j j

    tu u F F F Fx

    t F Fx

    u u u u u

    ++ +

    +

    + +

    = + +

    + +

  • t,n

    Third-order accurate First two levels are employed by MacCormack method Advantage over Rusanov technique is that only values at integral mesh points are evaluated. Same stability limit as Rusanov method () Tuned Third-order method The parameter in ( ), () and explicit artificial terms are replaced by

    ( ) ( )1 2 1 22 1 1 1 1 23 3 3 324 24n nj jn n n n n n n n

    j j j j j j j ju u u u u u u u +

    + + + + + +

    where jn1 2 are chosen to min the dissipative or dispersive errors

    ( )( )2 2

    1 2 1 21 2

    4 1 45

    j jnj

    + =

    The effective Courant numbers are

    ( )

    ( )

    1 2 2 1 1

    1 2 1 1 2

    1414

    j j j j j

    j j j j j

    tx

    tx

    + + +

    +

    = + + +

    = + + +

    and is the local eigenvalue (B) Implicit method () Time-centered implicit method (trapezoidal method) (Beam and Warming 1976) u Ft x+ = 0 since from (4-58) ( ) ( ) ( )1 31

    2n nn n

    j j t tj

    tu u u u o t++ = + + +

    then

    1

    1

    2

    n nn nj j

    t F Fu ux x

    ++

    = +

    since F=F(u) Beam and Warming (1976) suggested

    ( ) ( )1 1 1n

    n n n n n n n nFF F u u F A u uu

    + + + + = +

  • Thus

    ( )1 122n

    n n n nj j j j

    t Fu u A u ux x

    + + = +

    If x derivatives are replaced by second-order central differences,

    ( )

    1 11 1 11 1

    1 11 1 1 1

    4 4

    2 4 4

    n nj jn n n

    j j j

    n nj jn n n n n

    j j j j j

    tA tAu u u

    x x

    tA tAt F F u u ux x x

    ++ + + +

    ++ +

    + +

    = + +

    The tridiagonal system is solved by Thomas algorithm Explicit Damping ( )2 1 1 24 6 4 , 0 18

    n n n n nj j j j ju u u u u

    + + + + <

    is added since there is no even derivative term in the modified function.

    The algorithm can be written in the delta form as Let u u uj jn jn= +1

    Then 1

    2

    n n

    jt F Fu

    x x

    + = +

    Local linearization for F is F F A ujn jn jn j+ = +1

    ( )1 11 1 1 14 4 2n nj j n n

    j j j j j

    tA tA tu u u F Fx x x +

    + +

    + + =

    Simpler Tridiagonal coefficient matrix, the R.H.S. doesnt require the

    multiplication of the original algorithm

    ()Euler Implicit method (Beam and Warming, 1976)

    11

    11

    nn n

    nn n

    uu u tt

    Fu u tx

    ++

    ++

    = +

    =

    If the same linearization is applied, then

    ( )

    1 11 1 11 1

    1 11 1 1 1

    2 2

    2 2 2

    n nj jn n n

    j j j

    n nj jn n n n n

    j j j j j

    tA tAu u u

    x x

    tA tAt F F u u ux x x

    ++ + + +

    ++ +

    + +

    = + +

    Tridiagonal system of coefficient matrix

  • Unconditional stable Explicit damping is added to insure the usable result.

    Conclusion For inviscid Burgers equation Implicit method is inferior to explicit method (1)more computation required per time step in implicit method (2)transient is usually desired (3)when discontinuities are present, explicit methods are superior to those of implicit methods using central differences Explicit MacCormacks scheme is recommended.