Fluid Mechanics Mathematical Methods, Lecture notes of Mathematical Methods

Fluid MechanicsFluid MechanicsFluid MechanicsvvFluid Mechanics

Typology: Lecture notes

2020/2021

Uploaded on 11/17/2022

mumtaz750
mumtaz750 🇵🇰

1 document

1 / 4

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
High accuracy A.D.I. method s for fourth order parabolic
equations with variable coefficients
Celia Andrade
(*)
and S. McKee
(**)
ABSTRACT
High accuracy alternating direction implicit (A. D.I.) methods
are
derived for solving fourth order
parabolic equations with variable coefficients in one, two, and three space dimensions. Splittings
are discussed and numerical results are presented.
1.
INTRODUCTION 2. TWO SPACE DIMENSIONS
Consider the linear parabolic equation
a2u + a(x,t) a4u =0, a(x,t)> 0
at 2 ax 4
(1.1)
in the region of the (x, t) plane given by I x (0 g t T)
where I -- (0 x g 1) and x, t are the distance and
time co-ordinates respectively. If the region is covered
by a rectilinear grid with h, k the grid spacings in the
x- and t-directions respectively, we can show by Taylor
expansion of the operators that the difference equa-
tion
r 2 n+l : un+l
i a n 62(a )-1+__ a ~ ]
[I+--~-
o
x 12
P o
~)-1 r 2 n 4 U n
1 a n 62(a +~a 6 I
-211+--~ o x 12 o x 0
+11+-~-1 a no °x'2"~ao)n'-l+ r212 an-lo 8:]U n-lo
=r2a ,x 4
# (1.2)
is locally accurate to terms that are 0 (h 4) = 0 (k 2) at
the grid points x= oh, t=nk (1 ¢ o ¢ M-l, 1 ¢ N-l)
where Mh= 1, Nk=T. In (1.2) U~ is the solution of
the difference equation at the grid point x = oh, t = nk,
a n is the value of a at x = oh, t = nk, r is the mesh ratio
f/h2
and 8 2 is the usual central difference operator in
the x-direction. It is assumed that u e C 6 and a e" C 4.
It is the purpose of this note to extend this scheme to
two space dimensions, in which case the linear para-
bolic equation under consideration will be
a2U+a(x,y,t)~a4u +b(x,y,t)--a4u=0
at 2 ax 4 ay 4
a (x, ys t) > 0, b (x, y, t) > 0 (1.3)
It is convenient to consider the initial boundary value
problem consisting of (1.3) together with
u (x, y, o) = fl (x, y)
~ (x, y, o) = f2 (x, y) jt- (x,y) e.
u (Xs y, t) = gl (x, y, t)
82u (x, y, t) = g2 (x, y, t)
~x 2 (x,y)e a f~, 0~ t,; T
a2u
-- (x, y, t) = g3 (x, y, t)
ay 2
where f~ is a connected region in the (x, y) plane and
an is its boundary. The region ~ x (0,; t,; T) is
covered by a rectilinear grid with grid spacings h, k
in the space and time co-ordlnates respectively. If f~
is a unit square, the internal grid points are given by
x=ah, y=mh (lgp, mg M-1)whereMh=l.
For the particular case a(x, y, t) = b (x, y t) = 1 it is
simple to derive the high accuracy formula
(. n+l
1 2 1 2.4,(1+ 1..1._62 + 1 r28:) Op, m
(1+-6-6x+'~ r 6x) 6 Y
12
n-1
-
2U~, m +
Up, m)
=-r2[s:+84+ 1 264+6284)IU n
y "-~-(Sx y y x p,m (2.1)
where U n is the value of U at the grid point x = oh,
Ps m
y=mhs t=nk.
By performing a similar analysis to that in McKee (1973)
and Gourhy and Mitchell (1968) we obtain the dif-
ference scheme
(*) Celia Andrade, Instituto de Ci~ncias Matem~ticas de S~:o Carlos, S~o Carlos, S~o
Paulo.
(**) S. McKee, Hertford College and The Computing Laboratory, Oxford.
Journal of Computational and Applied Mathematics, volume 3, no 1, 1977. 11
pf3
pf4

Partial preview of the text

Download Fluid Mechanics Mathematical Methods and more Lecture notes Mathematical Methods in PDF only on Docsity!

High accuracy A.D.I. method s for fourth order parabolic

equations with variable coefficients

Celia Andrade () and S. McKee (*)

ABSTRACT

High accuracy alternating direction implicit (A. D.I.) methods are derived for solving fourth order

parabolic equations with variable coefficients in one, two, and three space dimensions. Splittings

are discussed and numerical results are presented.

1. INTRODUCTION 2. TWO SPACE DIMENSIONS

Consider the linear parabolic equation

a2u + a(x,t) a4u = 0 , a ( x , t ) > 0 at 2 ax 4

in the region of the (x, t) plane given by I x (0 g t • T) where I -- (0 • x g 1) and x, t are the distance and time co-ordinates respectively. If the region is covered by a rectilinear grid with h, k the grid spacings in the x- and t-directions respectively, we can show by Taylor expansion of the operators that the difference equa- tion

i an 62(a ) - 1 + _ _r 2 an + l ~ : ]u n + l [I+--~- o x 12 P o

1 an 62(a ~)-1^ + ~ ar^2 n^6 4 IU^ n

  • 2 1 1 + - - ~ o x 12 o x 0

+11+-~-1 ano °x'2"~ao)n'-l+r212 an-lo 8:]U n-lo

=r2a ,x

is locally accurate to terms that are 0 (h4) = 0 (k 2) at the grid points x = oh, t = n k (1 ¢ o ¢ M-l, 1 ¢ n ¢ N-l)

where Mh= 1, N k = T. In (1.2) U~ is the solution of

the difference equation at the grid point x = oh, t = nk,

an is the value of a at x = oh, t = nk, r is the mesh ratio

f/h2 and 8 2 is the usual central difference operator in

the x-direction. It is assumed that u e C6 and a e" C4.

It is the purpose of this note to extend this scheme to two space dimensions, in which case the linear para- bolic equation under consideration will be

a 2 U + a ( x , y , t ) ~ a 4 u + b ( x , y , t ) - - a 4 u = 0 at 2 ax 4 ay 4 a (x, ys t) > 0, b (x, y, t) > 0 (1.3)

It is convenient to consider the initial boundary value problem consisting of (1.3) together with

u (x, y, o) = fl (x, y)

~ (x, y, o) = f2 (x, y) jt- (x,y) e.

u (Xs y, t) = gl (x, y, t) 82u (x, y, t) = g2 (x, y, t) ~x 2 ( x , y ) e a f~, 0~ t,; T

a2u

-- (x, y, t) = g3 (x, y, t)

ay 2

where f~ is a connected region in the (x, y) plane and an is its boundary. The region ~ x (0,; t,; T) is covered by a rectilinear grid with grid spacings h, k in the space and time co-ordlnates respectively. If f~ is a unit square, the internal grid points are given by x = a h , y = m h ( l g p , m g M - 1 ) w h e r e M h = l. For the particular case a(x, y, t) = b (x, y t) = 1 it is simple to derive the high accuracy formula

1 2 1 2.4,(1+ 1..1._62+ 1 r28:) Op, m^ (. n+l

(1+-6-6x+'~ r 6x) 6 Y 12

n-

  • 2U~, m + Up, m)

=-r2[s:+84+ 1 264+6284)IU n

y "-~-(Sx y y x p,m (2.1)

where Un Ps m is the value of U at the grid point x = oh,

y = m h s t = n k. By performing a similar analysis to that in McKee (1973) and Gourhy and Mitchell (1968) we obtain the dif- ference scheme

(*) Celia Andrade, Instituto de Ci~ncias Matem~ticas de S~:oCarlos, S~o Carlos, S~o Paulo.

(**) S. McKee, Hertford College and The Computing Laboratory, Oxford.

(n+ 1) r.(n + 1)] rTn + 1

[1+ Ql,x + Q2, x ] [1+ Ql,y+'~2, y "Va, m

el(n) ] [1 + c~(n)'u n

-2 [l+Ql, x+,e2,x Q1,y+'<2,y ' p,m

r~(n-1), TTn-

  • [1 + Ql,x + Q(2n,x 1)] [1 + Ql,y + "<2,y ' ~ , m

(n) n (n) n n ( n ) l u n

Q2,y )+ Ql,x ~2,y + "~l,y"<2,x o,.m

where (2.2)

1 a82a-1, n(n) 1 r2a n 64

Ql, x = - 6 - x "<2, x = 1"-2 p, m x

1 b62b-1, n(n) 1 r2b n 64

Ql, y = -~7 y " 2 , y = 1"-2 o,m y

with a and b representing a n and b n respectively.

p, m p, m

Expansion of the terms by Taylor series about the

point x = ph, y = mh, t = nk demonstrates that (2.2)

is a high accuracy (i. e. locally accurate of order

0(h 4) ~ 0 (k2)) replacement of (1.3).

3. STABILITY

We examine local stability for the case of periodic

boundary data and constant coefficients. It must be

noted that both the variable coefficients and the high

accuracy boundary replacements may affect the range

of stability so the following should only be used as a

guide to the actual stability of the schemes. In section

7 we verify the stability of (2.27 with variable coef-

ficients by means of numerical experiments.

By applying yon Neumann's necessary condition for

stability it is seen that a necessary condition for the

stability of (1.2) is that

r .,/~'a < 1

Similarly an application of yon Neumann's condition

to (2.2) requires that

max (a,b) r2g 2-x/3-

4. THREE SPACE DIMENSIONS

It is a simple matter to extend the present results to

three space dimensions. The differential equation to

be considered is

a2u

+ a(x,y,z,t) a4u + b(x,y,z,t) a4u

at 2 ax 4 ay 4

a4u

+ c (x, y,z, t)---z- = O,

az +

a (x,y,z,t) > 0, b(x,y,z,t) > 0, c(x,y z,t)> 0,

and the high accuracy three level difference scheme is

_(n+ (n+l)

11+ Ql, x + ~2, x 1)111+ Q1, y + Q2, y 111+ Q1, z

n(n+l)

+"<2,z ] U n + l

  • 2 1 1 + Ql,x +Q ~n,)x^ 111+ Ql, y+ Q2, y](n)^ [1+Ql, z

C~(n) ]U n

+ "<2, z

+ [ 1 + Ql,x + Q~n,xl)] 11 + Ql,y+ Q~ny1)1[1+~ Ql:z

= _12[(Q~n,) + Q(n) + Q(n)~+ Q o(n) + Q Q(n)

2,y 2,z" 1,x "2,y 1,x 2,z

o (n) + 0 Q(n) + Q Q(n)2,x+ Ql,z Q(n)

+Ql,y-~2,x -1,y 2,z 1,z 2,y

+ 0 0 Q(n)+ Q(n) Q + Q~n) Q1 Ql,z

  • 1 , x - l , y 2,z Ql,x 2,y 1,z , ,y

+ Q(n) o(n) o(n) ] Un

2,x ~'2,y "2,z (4.

where the lower suffzxes on U, denoting the grid point

in (x, y, t) space, have been omitted and the operations

Ql,z' `<2,zc~(n) represent~ C6z2C-I, 121 r2 cnsz 2

respectively.

Application of yon Neumann's condition for the con-

stant coefficient case leads to the expected result

max {a, b, c) r 2 g 2 - , f 3

5. SPLITTING OF FORMULAE

In order to facilitate computation (2.2 7 can be re-

written in the split form

[1 + Ql,x + Q ~ + 1)1 un+l*.,m =-12[(Q("n).:,x+ Q(n))2,y

+ Q o(n) + Q Q(n)] un + 2 [Q(n) _Q~n+ 1)][

1,y~2,x 1,x 2,y p,m 2,x

+ Q. + QLn/[un 1+ Ql,y

l,y z,y p,m

Y

+ ,.,(n+ I)~T~n+I

[1+ Ql,y "e2,y ' "0,m - 2 [ l + q i , y + Q(n,y)]O~p,m

(n-l) un-1 u n + l *

+ [ I + Q I , y + Q 2 , y } p,m = - p , m

a ( x , y , t ) = I ( 1 - x 2 / 2 + y 2 / 8 + t 2 / 8 ) 2yr

b ( x , y , t ) = 1 ( l + x 2 / 2 - y 2 / 8 - t 2 / 8 ) 2,r 2

together with the initial conditions

u (x, y, o) = 0 au a-V (x, y, o) = ~ sin~ x sin,r y

and the boundary conditions u (o, y, t) = u (1, y, t) = 0 u ( x , o , t ) = u (x, 1,t) = 0

~2u (o, y, t) = a2~u (1, y, t) = 0 ay 2 ay 2

a2U (x, o, t) = a2u ( x , l , t ) = 0 ax 2 ax 2

The theoretical solution is

u (x, y, t) = sin ,rt sin ,rx sin ,ry.

In this case f~ isO~ x , y ~ 1. Numerical calculations using (2.2) in the split form (5.1) and (6.2) were carried out u n ~ t = 0.05 with mesh ratios of 0.05, 0.1, and 0.25. The maximum absolute relative errors are shown in Table 2. In both these examples high accuracy boundary approximations were not employed. Despite this, the use of (1.2) and (2.2) in place of the two explicit methods (6.1) and (6.2) leads to a signi~cant improve- ment in accuracy.

REFERENCES

  1. FAIKWEATHEK,G. and MITCHELL,A. K. 1967 J. Soc. ind. appL Math., Num. Anal. 4._,163.
  2. GOUILLAY,A. K. and MITCHELL,A. K. 1967 BIT 7,
  3. GOUILLAY,A. R. and MITCHELL,A. R. 1968 Numer. Math. 1_2, 180.
  4. McKEE,S. 1973 J. Inst. Machs Applies 11,105.