Documente Academic
Documente Profesional
Documente Cultură
Semester 1 2008
university-logo
Dr. Johnson
MATH65241
O UTLINE
D ISCRETISING PDE S
Dierence Formula Centering of Approximations
S UMMARY
university-logo
Dr. Johnson
MATH65241
C LASSIFICATION
PDEs may be classied by their characteristic equation Elliptic equations tend to have smooth solutions Parabolic equations tend to smooth out solutions over time Hyperbolic equations may retain discontinuity by propagating it through the solution
university-logo
Dr. Johnson
MATH65241
C ONSISTENCY
D EFINITION A discrete approximation to a partial dierential equation is said to be consistent if in the limit of the stepsize(s) going to zero, the original pde system is recovered, i.e. the truncation error approaches zero. Consistency is not as straightforward in PDEs as it is in ODEs
university-logo
Dr. Johnson
MATH65241
S TABILITY
D EFINITION If we dene the error to be the dierence between the computed solutions and the exact solution of the discrete approximation, then the scheme is stable if the error remains uniformly bounded for successive iterations.
university-logo
Dr. Johnson
MATH65241
C ONVERGENCE
D EFINITION A scheme is stable if the solution of the discrete equations approaches the solution of the pde in the limit that the step-sizes approach zero. L AX S E QUIVALENCE T HEOREM For a well posed initial-value problem and a consistent discretization, stability is the necessary and sucient condition for convergence.
university-logo
Dr. Johnson
MATH65241
T HE G RID
Consider a PDE with the state variables x and y . Form a grid of points:
with equal mesh spacing x in the x -direction and equal spacing y in the y -direction.
(i + 1, j + 1)
y
(i , j ) (i 1, j 1)
x
x
Dr. Johnson MATH65241
university-logo
(i 1, j ) (i , j ) (i + 1, j )
university-logo
Dr. Johnson
MATH65241
(i , j + 1) (i , j ) (i , j 1)
university-logo
Dr. Johnson
MATH65241
university-logo
Dr. Johnson
MATH65241
M IXED D ERIVATIVES
For nding suitable discrete approximations for mixed derivatives use a multidimensional Taylor expansion. Thus for example second order approximations to 2 /x y at the point (i , j ) are given wi +1,j +1 wi 1,j +1 + wi 1,j 1 wi +1,j 1 2 = + O ( x 2 , y 2 ) x y 4x y or in stencil form 1 0 1 1 0 0 0 4x y 1 0 1
Dr. Johnson MATH65241
university-logo
M IXED D ERIVATIVES
university-logo
Dr. Johnson
MATH65241
F IRST D ERIVATIVES
We can also construct one-sided approximations to derivatives Thus for example a second-order forward approximation to /x at the node (i , j ) is given by
university-logo
Dr. Johnson
MATH65241
F IRST D ERIVATIVES
A rst order forward approximation to /x at the node (i , j ) is given by x
=
i ,j
wi +1,j wi ,j + O ( x ) x
=
i +1/2,j
wi +1,j wi ,j + O ( x 2 ) x
university-logo
Dr. Johnson
MATH65241
Where you center approximations can have a big eect on the errors Changing the center of the approximation gives rise to dierent schemes It can change the stability of the scheme Be careful to approximate all terms at the same position!
university-logo
Dr. Johnson
MATH65241
D IFFERENCING
We need to know that a scheme is stable for it to be convergent Use stencils to generate dierence formula for derivatives Change the centering of the approximation:
to increase stability or the order of the scheme
university-logo
Dr. Johnson
MATH65241