Download presentation

Presentation is loading. Please wait.

Published byIrea O'Rourke Modified over 3 years ago

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

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google