Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web...

21
Last time Taylor’s series on equally spaced nodes Forward difference d n U i dx n n U i h n + 0h Backward difference d n U i dx n n U i h n + 0h Centered difference d n U i dx n n U i 1 or 2 h n + 0h 2 for odd n Requires n + 1 points and in general n U i = n-1 U i ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 1

Transcript of Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web...

Page 1: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Last timeTaylor’s series on equally spaced nodes

Forward differencednUidxn

nUihn + 0 h

Backward differencednUidxn

nUi

hn + 0 h

Centered differencednUidxn

nUi1 or 2 hn + 0 h2

for odd n

Requires n + 1 points and in general

nUi = n-1Ui

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 1

Page 2: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

For greater accuracy one must add points

Uncentered: n + m points for d

nUidxn |i

+ 0 hm

Centered: n+(m-1) points for d

nUidxn |i

+ 0 hm

m must be even

For unequal spacing the centered approximation looses its meaning and accuracy is reduced to uncentered approximations

Alternative to Taylor Series : Polynomial Fit

•• •h h

i + 1i - 1 i

xU = ax2 + bx + cApproximate U via

3 unknowns (a, b, c) require 3 equations

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 2

Page 3: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Ui-1 = ah2 + b -h + c

U i = c

U i+1 = a(h)2 + b(h) + c

h2 -h 10 0 1

(h)2 h 1

abc

=U i-1

U i

Ui+1

Solve for a, b, c,

abc

=

U i-1-Ui + U i+1-Ui / 2+ h2

2 Ui-1-U i + Ui+1-Ui / 2+ h

U i

dUdx

= 2ax + b d2Udx2

= 2a

d2Udx2

= 2 Ui+1 - 1 + Ui + Ui-1

+ 1 h2

i.e. The same as truncated Taylor Series

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 3

Page 4: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Loss of the leading error term is significant. By retaining the leading error in a Taylor Series one is continually reminded of the accuracy of the approximations and the origin of the formulation, (i.e. PDE) is more easily retained.

Alternate use of Error Term

2Uih2 + 0 h

dUidx

Uih

- h2

2Uih2 + 0 h + 0 h2

U i

h -2Ui

2h + 0 h2

[ U i+1 - U i -

12 Ui+2 - 2U i+1 + Ui ]

h+ 0 h

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 4

Page 5: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

dUidx

- Ui+2 + 4Ui+1 – 3Ui

2h + 0 h2

i.e. The same as if derived directly from Taylor Series

Difference Formulas for Cross-Derivatives

a.) 2-D Taylor Series :

Where etc.

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 5

Page 6: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Procedure as in 1-D case: write Taylor series for all points in terms of U, , … at

point where is wanted; mix together to get desired accuracy.

b.) Easier: Operate on 1-D formulas.

y

x

i

jIntuitive ; What is leading error?

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 6

Page 7: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

From 1-D:

So the leading error terms are symmetrical.Consider an Elliptic PDE (Poisson’s Eqn.)

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 7

Page 8: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

2U g

xy0U

x

0Uy

U ax

U=f

2U g

xy

2U g

xy0U

x

0Uy

U ax

U=f• •••

• •••• •••

• •••

1 2 3 4

5 6 7 8

9 10 11 12

13 14 15 16

A C

B

x

x

x

x x x x

x

x

x

"Shadow Nodes"

PDE :

1h2 - 2

h2 1h2 +

1k2

- 2k2

1k2

= g

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 8

Page 9: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Define = h

2

k2

“Computational Molecule”

Valid at all interior nodes

Boundary A :

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 9

Page 10: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

x •

U• - Ux

h = 0

-2 1++ 1

1 = gh2

i.e. Ux = U•

Boundary B : 1

-2 1++

1 = gh2

Boundary C :

x•

Ux - U•

h = a

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 10

Page 11: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Ux = U• + ah

1

-2 1++ 1

= - ah + gh2

Top Row (nodes 9-12)

1 -2 1+

1 = f + gh2

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 11

Page 12: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Corners : ex. node 4

1

-2 1++ 1 +

= - ah + gh2

Basic Rule :Type I Boundary : Do not use the PDEType II, III : Use PDE plus BC, together

The node spacing adjacent to the Type II boundaries are spaced at a ∆x/2 format. This is NOT required. It IS accurate, however, the unknown values (u) on the boundary are not calculated. This may be a disadvantage. Similarly, if the geometry does not lend itself to this spacing conveniently - do not use it. The alternate strategy is to place nodes directly on the boundary. If nodes are on the boundary then the shadow node contributions do not usually move to the diagonal.

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 12

Page 13: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

=

2 4 6 8 10 12

2

4

6

8

10

12

U1

U2

U3

U12

Forcing + BC's

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 13

Page 14: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

For = 1 : (h = k)

1

1

-4

1

1 = G

gh2

Solution Strategies

Direct: - Exact algebraic solution in finite # of steps- Non-repetitive- Complicated coding- Exploit sparse / banded structure- Node numbering : dictates the banded structure- LU Decomposition popular

- Preserves bandwidth- “Back Substitution” step easy relative to decomposition numerous solutions to the same matrix can be gotten cheaply.

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 14

Page 15: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

Iterative: - Exact algebraic solution only after # of steps- Monotonously repetitive- Coding simple; proceed directly from molecule- Exploit sparseness; banded structure irrelevant- Retain double subscripts Uij

- Node numbering important:- Dictates order in which iterations proceed- Can determine convergence properties

- “Point” versus "Block" or "Line" methods:Matrix Inversion (usually 3-Diag)

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 15

Page 16: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

1

1

-4

1

1 = gh2 = G

y, j

x, i

Ui+1, j + Ui-1, j + Ui, j+1 + Ui, j-1 - 4Ui, j = G

Jacobi : “Solve” for Ui, j

- Easy- Need 2 arrays Un, Un+1

- Iteration independent of node #’s / order of calculation

Gauss - Seidel : Use latest info within Jacobi

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 16

Page 17: Lec_3_Word - users.wpi.eduusers.wpi.edu/~sullivan/WebSite-ME515/Lectures/FiniteDi…  · Web viewGauss - Seidel : Use latest info within Jacobi - Easy - Only one array - Ordering

- Easy- Only one array- Ordering makes difference!

S.O.R. : Accelerate / Dampen the Gauss - Seidel :

Ui,jn+1 Gauss - Seidel “estimate” for Ui,j

n+1

Ui, jn+1 = Ui, j

n+1 + 1 - Ui, jn

= Ui, jn + Ui, j

n+1 - Ui,jn

where 0 < < 2

ME 525 (Sullivan) - Finite Difference Calculus Cont. - Lecture 3 17