Presentation is loading. Please wait.

Presentation is loading. Please wait.

Lectures 8, 9 and 10 Finite Difference Discretization of Hyperbolic Equations: Linear Problems.

Similar presentations


Presentation on theme: "Lectures 8, 9 and 10 Finite Difference Discretization of Hyperbolic Equations: Linear Problems."— Presentation transcript:

1 Lectures 8, 9 and 10 Finite Difference Discretization of Hyperbolic Equations: Linear Problems

2 First Order Wave Equation INITION BOUNDARY VALUE PROBLEM (IBVP) Initial Condition: Boundary Conditions:

3 First Order Wave Equation Solution Characteristics General solution

4 First Order Wave Equation Solution

5 First Order Wave Equation Solution

6 First Order Wave Equation Stability

7 Model Problem Initial condition: Periodic Boundary conditions: constant

8 Model Problem Example Periodic Solution (U>0)

9 Finite Difference Solution Discretization Discretize (0,1) into J equal intervals And (0,T) into N equal intervals

10 Finite Difference Solution Discretization

11 Finite Difference Solution Discretization NOTATION: approximation to vector of approximate values at time ; vector of exact values at time ;

12 Finite Difference Solution Approximation For example … for ( U > 0 ) Forward in Time Backward (Upwind) in Space

13 Finite Difference Solution First Order Upwind Scheme suggests … Courant number C =

14 Finite Difference Solution First Order Upwind Scheme Interpretation Use Linear Interpolation j – 1, j

15 Finite Difference Solution First Order Upwind Scheme Explicit Solution no matrix inversion exists and is unique

16 Finite Difference Solution First Order Upwind Scheme Matrix Form We can write

17 Finite Difference Solution First Order Upwind Scheme Example

18 Convergence Definition The finite difference algorithm converges if For any initial condition.

19 Consistency Definition For all smooth functions when. The difference scheme, is consistent with the differential equation if:

20 Consistency First Order Upwind Scheme Difference operator Differential operator

21 Consistency First Order Upwind Scheme First order accurate in space and time

22 Truncation Error Insert exact solution into difference scheme Consistency

23 Stability The difference scheme is stable if: There exists such that for all ; and n, such that Definition Above condition can be written as

24 Stability First Order Upwind Scheme

25 Stability First Order Upwind Scheme

26 Stability Stable if Upwind scheme is stable provided

27 Lax Equivalence Theorem A consistent finite difference scheme for a partial differential equation for which the initial value problem is well-posed is convergent if and only if it is stable.

28 Lax Equivalence Theorem Proof ( first order in, )

29 Lax Equivalence Theorem First Order Upwind Scheme Consistency: Stability: for Convergence or and are constants independent of,

30 Lax Equivalence Theorem First Order Upwind Scheme Example Solutions for: (left) (right) Convergence is slow !!

31 CFL Condition Domains of dependence Mathematical Domain of Dependence of Set of points in where the initial or boundary data may have some effect on. Numerical Domain of Dependence of Set of points in where the initial or boundary data may have some effect on.

32 CFL Condition Domains of dependence First Order Upwind Scheme AnalyticalNumerical ( U > 0 )

33 CFL Condition CFL Theorem CFL Condition For each the mathematical domain of de- pendence is contained in the numerical domain of dependence. CFL Theorem The CFL condition is a necessary condition for the convergence of a numerical approximation of a partial differential equation, linear or nonlinear.

34 CFL Condition CFL Theorem StableUnstable

35 Fourier Analysis Provides a systematic method for determining stability von Neumann Stability Analysis Provides insight into discretization errors

36 Fourier Analysis Continuous Problem Fourier Modes and Properties … Fourier mode: ( integer ) Periodic ( period = 1 ) Orthogonality Eigenfunction of

37 Fourier Analysis Continuous Problem … Fourier Modes and Properties Form a basis for periodic functions in Parseval s theorem

38 Fourier Analysis Continuous Problem Wave Equation

39 Fourier Analysis Discrete Problem Fourier Modes and Properties … Fourier mode:, k ( integer )

40 Fourier Analysis Discrete Problem … Fourier Modes and Properties … Real part of first 4 Fourier modes

41 Fourier Analysis Discrete Problem … Fourier Modes and Properties … Periodic (period = J) Orthogonality

42 Fourier Analysis Discrete Problem … Fourier Modes and Properties … Eigenfunctions of difference operators e.g.,

43 Fourier Analysis Discrete Problem Fourier Modes and Properties … Basis for periodic (discrete) functions Parseval s theorem

44 Fourier Analysis von Neumann Stability Criterion Write Stability Stability for all data

45 Fourier Analysis von Neumann Stability Criterion First Order Upwind Scheme …

46 Fourier Analysis von Neumann Stability Criterion … First Order Upwind Scheme … amplification factor Stability if which implies

47 Fourier Analysis von Neumann Stability Criterion … First Order Upwind Scheme Stability if:

48 Fourier Analysis von Neumann Stability Criterion FTCS Scheme … Fourier Decomposition:

49 Fourier Analysis von Neumann Stability Criterion amplification factor Unconditionally Unstable Not Convergent … FTCS Scheme

50 Lax-Wendroff Scheme Time Discretization Write a Taylor series expansion in time about But …

51 Lax-Wendroff Scheme Spatial Approximation Approximate spatial derivatives

52 Lax-Wendroff Scheme Equation no matrix inversion exists and is unique

53 Lax-Wendroff Scheme Interpretation Use Quadratic Interpolation

54 Lax-Wendroff Scheme Analysis Consistency Second order accurate in space and time

55 Lax-Wendroff Scheme Analysis Truncation Error Consistency Insert exact solution into difference scheme

56 Lax-Wendroff Scheme Analysis Stability Stability if:

57 Lax-Wendroff Scheme Analysis Convergence Consistency: Stability: Convergence and are constants independent of

58 Lax-Wendroff Scheme Domains of Dependence AnalyticalNumerical

59 Lax-Wendroff Scheme CFL Condition StableUnstable

60 Lax-Wendroff Scheme Example Solutions for: C = 0.5 = 1/50 (left) = 1/100 (right)

61 Lax-Wendroff Scheme Example = 1/100 C = 0.5 Upwind (left) vs. Lax-Wendroff (right)

62 Beam-Warming Scheme Derivation Use Quadratic Interpolation

63 Beam-Warming Scheme Consistency and Stability Consistency, Stability

64 Method of Lines Generally applicable to time evolution PDE s Spatial discretization Semi-discrete scheme (system of coupled ODE s Time discretization (using ODE techniques) Discrete Scheme By studying semi-discrete scheme we can better understand spatial and temporal discretization errors

65 Method of Lines Notation approximation to vector of semi-discrete approximations;

66 Method of Lines Spatial Discretization Central difference … (for example) or, in vector form,

67 Method of Lines Spatial Discretization Write semi-discrete approximation as inserting into semi-discrete equation Fourier Analysis …

68 Method of Lines Spatial Discretization For each θ, we have a scalar ODE … Fourier Analysis … Neutrally stable

69 Method of Lines Spatial Discretization Exact solution Semi-discrete solution … Fourier Analysis …

70 Method of Lines Spatial Discretization Fourier Analysis …

71 Method of Lines Time Discretization Predictor/Corrector Algorithm … Model ODE Predictor Corrector Combining the two steps you have

72 Method of Lines Time Discretization … Predictor/Corrector Algorithm Semi-discrete equation Predictor Corrector Combining the two steps you have

73 Method of Lines Fourier Stability Analysis Fourier Transform

74 Method of Lines Fourier Stability Analysis Application factor with Stability

75 Method of Lines Fourier Stability Analysis PDE Semi-discrete Semi-discrete Fourier Discrete Discrete Fourier

76 Method of Lines Fourier Stability Analysis Path B … Semi-discrete Fourier semi-discrete Predictor Corrector Discrete

77 Method of Lines Fourier Stability Analysis … Path B Give the same discrete Fourier equation Simpler Decouples spatial and temporal discretization For each θ, the discrete Fourier equation is the result of discretizing the scalar semi-discrete ODE for the θ Fourier mode

78 Method of Lines Methods for ODE s Model equation: complex- valued Discretization EF EB CN

79 Method of Lines Methods for ODE s Given and complex-valued Absolute Stability Diagrams … (EF) or (EB) or … ; is defined such that

80 Method of Lines Methods for ODE s … Absolute Stability Diagrams … EF EB CN

81 Method of Lines Methods for ODE s … Absolute Stability Diagrams

82 Method of Lines Methods for ODE s Application to the wave equation … For each Thus, (and ) is purely imaginary for

83 Method of Lines Methods for ODE s … Application to the wave equation … EF is unconditionally unstable EB is unconditionally stable CN is unconditionally stable

84 Method of Lines Methods for ODE s … Application to the wave equation … Stable schemes can be obtained by: 1) Selecting explicit time stepping algorithm which have some stability on imaginary axis 2) Modifying the original equation by adding artificial viscosity

85 Method of Lines Methods for ODE s … Application to the wave equation … Explicit Time Stepping Scheme Predictor/Corrector

86 Method of Lines Methods for ODE s … Application to the wave equation … Explicit Time Stepping Scheme 4 Stage Runge-Kutta

87 Method of Lines Methods for ODE s … Application to the wave equation … Adding Artificial Viscosity Additional Term EF Time First Order Upwind EF Time Lax-Wendroff

88 Method of Lines Methods for ODE s … Application to the wave equation … Adding Artificial Viscosity For each Fourier mode θ, Additional Term

89 Method of Lines Methods for ODE s … Application to the wave equation … First Order Upwind Scheme

90 Method of Lines Methods for ODE s … Application to the wave equation Lax-Wendroff Scheme

91 Dissipation and Dispersion Model Problem with and periodic boundary conditions. Solution

92 Dissipation and Dispersion Model Problem represents Decay dissipation relation represents Propagation dispersion relation For exact solution of no dissipation (constant) no dispersion

93 Dissipation and Dispersion Modified Equation First Order Upwind Lax-Wendroff Beam-Warming

94 Dissipation and Dispersion Modified Equation For the upwind scheme dissipation dominates over dispersion Smooth solutions For Lax-Wendroff and Beam-Warming dispersion is the leading error effect Oscillatory solutions ( if not well resolved) Lax-Wendroff has a negative phase error Beaming-Warming has (for ) a positive phase error

95 Dissipation and Dispersion Examples First Order Upwind

96 Dissipation and Dispersion Examples Lax-Wendroff (left) vs. Beam-Warming (right)

97 Dissipation and Dispersion Exact Discrete Relations For the exact solution, and For the discrete solution, and


Download ppt "Lectures 8, 9 and 10 Finite Difference Discretization of Hyperbolic Equations: Linear Problems."

Similar presentations


Ads by Google