Documente Academic
Documente Profesional
Documente Cultură
S(2)(2015) 404411
Abstract
A singularly perturbed boundary value problem (SPBVP) for a system of two linear parabolic second order
differential equations of convection-diffusion type is considered. Since the second order space derivative
of each equation is multiplied by distinct singular perturbation parameters, the components of the solution
exhibit overlapping layers. In this work, a method which comprises the Crank- Nicolson scheme to discretise
time variable on a uniform mesh and standard central difference scheme on a Shishkin piecewise uniform
mesh to discretise space variable is suggested to obtain numerical approximations to the solution of the
continuous problem. The numerical solution obtained using the suggested method is second order convergent
in time and first order convergent in space.
Keywords: Singular perturbation problems, parabolic problems, boundary layers, Crank - Nicolson scheme,
Shishkin mesh.
1 Introduction
A singularly perturbed boundary value problem for a system of two linear parabolic second order differential
equations of convection-diffusion type is considered as follows
2
~L~u( x, t) = ~u ( x, t) E ~u ( x, t) + A( x, t) ~u ( x, t) + B( x, t)~u( x, t) = ~f ( x, t) on , ~u given on , (1.1)
t x2 x
where ~u( x, t) = (u1 ( x, t), u2 ( x, t)) T , ~f ( x, t) = ( f 1 ( x, t), f 2 ( x, t)) T , A( x, t) = diag( a1 ( x, t), a2 ( x, t)),
b11 ( x, t) b12 ( x, t)
E = diag( 1 , 2 ) and B( x, t) = ,
b21 ( x, t) b22 ( x, t)
and
min {b11 ( x, t) + b12 ( x, t) + a1 ( x, t), b21 ( x, t) + b22 ( x, t) + a2 ( x, t)} > > 0, (1.4)
( x,t)[0,1][0,T ]
The problem (1.1) can also be written in the form
~L~u = ~f on , ~u given on ,
For any function ~y on a domain D the following norms are introduced: k ~y( x, t) k D = max |yi ( x, t)| and
i
k ~y k= sup{k ~y( x, t) k: ( x, t) [0, 1] [0, T ]}. If D = , the subscript is dropped.
In a compact domain D a function is said to be Holder continuous of degree , 0 < 1, if, for all
( x1 , t1 ), ( x2 , t2 ) D,
/2
|~u( x1 , t1 ) ~u( x2 , t2 )| C (| x1 x2 |2 + |t1 t2 |) .
The set of Holder continuous functions forms a normed linear space C0 ( D ) with the norm
|~u( x1 , t1 ) ~u( x2 , t2 )|
||~u||,D = ||~u|| D + sup .
( x1 ,t1 ),( x2 ,t2 ) D (| x1 x2 |2 + |t1 t2 |)/2
For each integer k 1, the subspaces Ck ( D ) of C0 ( D ), which contain functions having Holder
continuous
derivatives, are defined as follows
l +m~u
Ck ( D ) = {~u : C0 ( D ) for l, m 0 and 0 l + 2m k}.
x l tm
l +m~u
The norm on C0 ( D ) is taken to be ||~u||,k,D = max || ||,D .
0l +2mk x l tm
2
It is to be noted that the domain of the operators ~L is M () = { : t , x2 exist on } and that of I + 2 ~L x
2
2
is M () = { : x2 exist on }, where ~L x = E x
2 + A x + BI.
Sufficient conditions for the existence, uniqueness and regularity of solution of (1.1) are given in the following
theorem.
Theorem 1.1. Assume that A, B ~f C2 (), ~L C1 ( L ), ~B C2 ( B ), ~R C1 ( R ) and that the following
compatibility conditions are fulfilled at the corners (0, 0) and (1, 0) of
~B (0) = ~L (0) and ~B (1) = ~R (0), (1.6)
d~L (0) d2~B (0) d~L (0)
E + A(0, 0) + B(0, 0)~B (0) = ~f (0, 0),
dt dx2 dx
(1.7)
d~R (0) d2~B (1) d~ (0)
E 2
+ A(1, 0) L + B(1, 0)~B (1) = ~f (1, 0),
dt dx dx
d2 d4 d3 d2
~L (0) = E2 4 ~B (0) 2EA(0, 0) 3 ~B (0) A2 (0, 0) 2 ~B (0)
dt2 dx dx dx
2 A d 2 B 2 2
E( ( 0, 0 ) B ( 0 ) + ( 0, 0 )~B (0) + B(0, 0) d ~B (0) f (0, 0))
x2 dx x2 dx2 x2
(1.8)
A d B d f
+ A(0, 0)( (0, 0) ~B (0) + (0, 0)~B (0) + B(0, 0) ~B (0) (0, 0))
x dx x dx x
A d B d f
( (0, 0) ~B (0) + (0, 0)~B (0) + B(0, 0) ~B (0) (0, 0))
t dx t dt t
406 S.Parthiban et al. / Crank -Nicolson scheme for...
and
d2 d4 3 2
~L (0) = E2 ~B (1) 2EA(1, 0) d ~B (1) A2 (1, 0) d ~B (1)
dt2 dx 4 dx 3 dx2
2 A d 2 B d2 2 f
E( 2
(1, 0) B (1) + 2 (1, 0)~B (1) + B(1, 0) 2 ~B (1) 2 (1, 0))
x dx x dx x
(1.9)
A d B d f
+ A(1, 0)( (1, 0) ~B (1) + (1, 0)~B (1) + B(1, 0) ~B (1) (1, 0))
x dx x dx x
A d B d f
( (1, 0) ~B (1) + (1, 0)~B (1) + B(1, 0) ~B (1) (1, 0)).
t dx t dt t
Then there exists a unique solution ~u of (1.1) such that ~u C4 ().
It is assumed throughout the paper that all of the assumptions (1.2), (1.3), (1.4), (1.6), (1.7), (1.8) and (1.9) of
this section hold. Furthermore, C denotes a generic positive constant, which is independent of x, t and of
all singular perturbation and discretization parameters. Inequalities between vectors are understood in the
componentwise sense.
2 Analytical results
The operator ~L satisfies the following maximum principle.
t~ ~ k+1 t ~ k ~ k+1 t
(I + L x )u ( x ) = (f + f )( x ) + ( I ~L x )~u( x, tk ),
2 2 2 (3.11)
~u k+1 (0) = ~u(0, tk+1 ), ~u k+1 (1) = ~u(1, tk+1 ),
2 ~k ~
where ~L x = E x
u of (1.1) has replaced ~uk in(3.10).
2 + A x + BI, f = f ( x, t k ) and the solution ~
t
The operator I + ~L x satisfies the following maximum principle.
2
Theorem 3.4. Let ~ be any vector-valued function in the domain of the operator I + t~L x such that
~ (0) ~0 and
2
~ (1) ~0. Then ( I + t~L x )
~ ( x ) ~0 on (0, 1) implies that
~ ( x ) ~0 on [0, 1].
2
t~
The stability of the operator I + L x is now established.
2
S.Parthiban et al. / Crank -Nicolson scheme for... 407
t~
~ is any vector-valued function in the domain of the operator I +
Theorem 3.5. If L x then, for each i, 1 i 2
2
and x [0, 1],
~ (1) k, 1 k ( I + t~L x )
~ (0) k, k
|i ( x )| max k ~ (x) k .
2
M,N
For any function ~Z defined on the Shishkin mesh , it is defined that ||~Z || = max max | Zi ( x j , tk )|.
i j,k
The following discrete results are analogous to those for the continuous case.
408 S.Parthiban et al. / Crank -Nicolson scheme for...
Theorem 5.6. For any vector-valued mesh function ~, the inequalities ~ ~0 on M,N and ~L M,N ~ ~0 on M,N
M,N
imply that ~ ~0 on .
An immediate consequence of this is the following discrete stability result.
M,N
Theorem 5.7. For any vector-valued mesh function ~ on ,
1 ~ M,N ~
|i ( x j , tk )| max |||| M,N , || L
~ || ,
M,N
i = 1, 2 and ( x j , tk ) .
7 Error Estimate
~ the solution of (5.15). Then
Theorem 7.10. Let ~u denote the solution of (1.1) and U
~ ~u|| C ( M2 + N 1 ln N ).
||U
8 Numerical Illustration
The uniform convergence of the numerical method proposed in this paper is illustrated through an
example presented in this section. The following system of singularly perturbed boundary value problem for
a linear parabolic second order differential equations of convection-diffusion type is considered for
numerical illustration.
Example
u1 2 u u
( x, t) 1 21 ( x, t) + (6 + x2 ) 1 ( x, t) + (5 + x + t)u1 ( x, t) xu2 ( x, t) = et + x2 ,
t x x
u2 2
u u 2
( x, t) 2 22 ( x, t) + (10 + e x ) 2 ( x, t) u1 ( x, t) + (6 + sin x )u2 ( x, t) = 5 + e x ,
t x x
for ( x, t) (0, 1) [0, T ], with~u(0, t) = ~0, ~u( x, 0) = ~0, ~u(1, t) = ~0.
(8.17)
S.Parthiban et al. / Crank -Nicolson scheme for... 409
Fixing a fine Shishkin mesh with 128 points horizontally, the problem is solved by the method suggested
above. The order of convergence and the error constant are calculated for t and the results are presented in
Table 1. A graph of the numerical solution is presented in the Figure 1.
A fine uniform mesh on t with 32 points is considered. The order of convergence and the error constant are
calculated for x and the results are presented in Table 2. A graph of the numerical solution is presented in the
Figure 2.
Based on the algorithm found in [6], it is to be noted that Table 1 and Table 2 give the parameter-uniform order
of convergence and the error constant.
Table 1:
Values of D N , p N , p and C pN for 1 = /4, 2 = and = 0.9
Number of mesh points N
8 16 32 64 128
29 0.968E-01 0.479E-01 0.248E-01 0.112E-01 0.429E-02
213 0.969E-01 0.480E-01 0.248E-01 0.111E-01 0.430E-02
217 0.969E-01 0.480E-01 0.248E-01 0.111E-01 0.430E-02
221 0.969E-01 0.480E-01 0.248E-01 0.111E-01 0.430E-02
225 0.969E-01 0.480E-01 0.248E-01 0.111E-01 0.430E-02
DN 0.968E-01 0.480E-01 0.248E-01 0.112E-01 0.430E-02
pN 0.101E+01 0.952E+00 0.115E+01 0.138E+01
C pN 0.145E+01 0.139E+01 0.139E+01 0.121E+01 0.904E+00
t-order of convergence= 0.9523812E + 00
The error constant= 0.1452491E + 01
Table 2:
Values of D N , p N , p and C pN for 1 = /4, 2 = and = 0.9
Number of mesh points N
128 256 512 1024
213 0.401E+00 0.312E+00 0.222E+00 0.146E+00
217 0.401E+00 0.312E+00 0.222E+00 0.146E+00
221 0.401E+00 0.312E+00 0.222E+00 0.146E+00
225 0.401E+00 0.312E+00 0.222E+00 0.146E+00
229 0.401E+00 0.312E+00 0.222E+00 0.146E+00
DN 0.401E+00 0.312E+00 0.222E+00 0.146E+00
pN 0.362E+00 0.489E+00 0.608E+00
C pN 0.105E+01 0.105E+01 0.958E+00 0.808E+00
x- order of convergence= 0.362E + 00
The error constant= 0.105E + 01
The Figure 1 displays the numerical solution for the problem (8.17), computed for M = 8, N = 128, 1 = 227
and 2 = 225 . The solution ~u( x, t) have boundary layers at (1, t).
The Figure 2 displays the numerical solution for the problem (8.17), computed for M = 16, N = 32, 1 = 215
and 2 = 213 . The solution ~u( x, t) have boundary layers at (1, t).
410 S.Parthiban et al. / Crank -Nicolson scheme for...
Figure 1:
u1
u2
0.4
0.35
0.3
0.25
u(x,t) 0.2
0.15
0.1
0.05
0
Figure 2:
u1
u2
0.4
0.35
0.3
0.25
u(x,t) 0.2
0.15
0.1
0.05
0
1
0.8 0.6 0.55
0.6 0.7 0.65
x 0.4
0.85 0.8 0.75
0.2 0.95 0.9 t
0 1
9 Acknowledgment
The second and third authors acknowledge the financial support extended by the University Grants
Commission, Govt. of India, through the Minor Research Project Grant - No. F MRP-5806/15 (SERO/UGC)
References
[1] V. Franklin and S. Valarmathi, Second order parameter-uniform convergence for a finite difference
method for a singularly perturbed linear parabolic system, International Journal of Numerical Analysis
and Modeling Vol. 10, No. 1, pp. 178-202.
S.Parthiban et al. / Crank -Nicolson scheme for... 411
[2] V. Franklin and S. Valarmathi, Second order convergence of the numerical solutions of a singularly
perturbed linear parabolic system, Proceedings of National Conference on Frontiers in Applied Sciences
and Computer Technology (FACT 12), Dec., 6-7, 2012 Vol. 6 PP. 45 - 54.
[3] J. J. H. Miller, E. ORiordan, G.I. Shishkin, Fitted Numerical Methods for Singular Perturbation Problems,
World Scientific Publishing Co., Singapore, New Jersey, London, Hong Kong (1996).
[4] J. J. H. Miller, E. ORiordan, G.I. Shishkin, L.P. Shishkina, Fitted Mesh Methods for Problems with
Parabolic Boundary Layers, Mathematical Proceedings of the Royal Irish Academy, 98A(2), 173 - 190
(1998).
[5] E.P. Doolan, J.J.H.Miller and W.H.A. Schilders, Uniform numerical methods for problems with initial and
boundary layers, Boole Press, 1980.
[6] P.A. Farrell and A.F. Hegarty and J.J.H. Miller and E.O Riordan and G.I. Shishkin, Robust computational
techniques for boundary layers, Chapman and hall/CRC, Boca Raton, Florida,USA, 2000.
[7] A. Friedman, Partial Differential Equations of Parabolic Type, Prentice Hall. (1964).
[8] O. A. Ladyzhenskaya, N. N. Uraltseva, Linear and Quasilinear Elliptic Equations, Academic Press, New
York, London. (1968).
[9] Cen Zhongdi, Parameter-Uniform Finite Difference Scheme For a System of Coupled Singularly
Perturbed Convection-Diffusion Equations, Journals of Systems Science and Complexity, Vol. 18 No.4,
Oct.,2005.
[10] J.L. Gracia and E.ORiordan, A Singularly Perturbed Convection - Diffusion Problem With a Moving
Interior Layer, International Journal Of Numerical Analysis and Modeling, Volume 9, Number 4, Pages
823843
UNIVERSITY PRESS
Website: http://www.malayajournal.org/