Documente Academic
Documente Profesional
Documente Cultură
x
n
(x) dx = 0, n = 0, 1, 2, ....
Denition 2. For a function u of the class
S of a rapidly decreasing test functions on the
real axis R, the Fourier transform is dened as
u(w) = F [u(x) ; w]
=
e
iwx
u(x) dx, w R,
(3)
whereas the inverse Fourier transform has the
form
u(x) = F
1
[ u(w) ; x]
=
1
2
e
iwx
u(w) dw, x R.
(4)
Denition 3. The Riesz pseudo-dierential
operator is dened by analytic continuation in
the whole range n 1 < n, n Z and
= 1 as
u(x, t)
|x|
= c [
x
u(x, t) +
x
D
u(x, t)] ,
(5)
where the coecient c =
1
2 cos(
2
)
, and
x
u(x, t) =
d
dx
I
n
+
u(x, t)
, (6)
x
D
u(x, t) = (1)
n
d
dx
I
n
u(x, t)
(7)
are the left and right-side Weyl fractional
derivatives. In Eqs.(6) and (7), the I
( > 0)
denote the Weyl fractional integrals dened as
I
+
u(x) =
1
()
(x )
1
u() d,
I
u(x) =
1
()
+
x
( x)
1
u() d.
Denition 4. The Caputo fractional deriva-
tive is dened as
0
D
t
u(t) =
1
(n )
t
0
(t )
n1
d
dt
n
u() d,
where n 1 < n, n Z
Denition 5. The Laplace transform of the
Caputo fractional derivative of order 0 < 1
is
L
0
D
t
u(t)
= s
U (s) s
1
u(0) , (8)
where U (s) is Laplace transform of u(t) .
Denition 6. The one-parameter function of
Mittag-Leer function is dened by series ex-
pansion as
E
(z) =
k=0
z
k
(k + 1)
, > 0. (9)
3. Analytical Solution
Let u(x, y, t) be a real-valued, multivariable
function whose arguments (x, y) [, ]
[, ] are the space and t R
+
is the time
variables. We consider the anomalous diusion
problem which is described by a Riesz-Caputo
fractional partial dierential equation as
0
D
t
u(x, y, t) =
u(x, y, t)
|x|
u(x, y, t)
|y|
,
(10)
0 < 1, 0 < < 1,
with the following initial and boundary condi-
tions
u(x, y, 0) = u
0
(x, y) , (11)
20 N.
Ozdemir, et al. / Vol.1, No.1, pp.17-26 (2011) c IJOCTA
lim
x,y
u(x, y, t) = 0. (12)
It should be noted that we understand the
space and time fractional derivatives in a sense
of the Riesz and Caputo denitions, respec-
tively. Furthermore, we assume that the so-
lution and initial condition functions can be
expanded into the complex Fourier series.
We suppose that the solution of the problem
is represented by the following series
u(x, y, t) =
n=
m=
k
nm
(t) e
inx
e
imy
,
(13)
where i =
1. Firstly, we compute
u(x,y,t)
|x|
x
u(x, y, t) and
x
D
u(x, y, t) is given as
follows (see also [1]):
x
u(x, y, t)
=
x
1
(1 )
u(, y, t)
(x )
=
x
1
(1 )
n=
m=
k
nm
(t) e
imy
e
in
(x )
n=
m=
k
nm
(t) e
imy
(1 )
e
inx
(1 ) (in)
n=
m=
k
nm
(t) (in)
e
inx
e
imy
,
and
x
D
u(x, y, t)
=
x
(1)
d
dx
1
(1 )
x
u(, y, t)
(x )
= (1)
d
dx
1
(1 )
n=
m=
k
nm
(t) e
imy
x
e
in
( x)
n=
m=
k
nm
(t) e
imy
(1 )
e
inx
(1 ) (in)
n=
m=
k
nm
(t) (in)
e
inx
e
imy
.
Therefore, we obtain
u(x, y, t)
|x|
=
1
2 cos
n=
m=
k
nm
(t) e
inx
e
imy
[(in)
+ (in)
] .
In a similar way, the term
u(x,y,t)
|y|
can be eval-
uated as follows:
u(x, y, t)
|y|
=
1
2 cos
n=
m=
k
nm
(t) e
inx
e
imy
[(im)
+ (im)
] .
Substituting Eqs.(13) to (3) into Eq.(10), we
obtain
0
D
t
k
nm
(t) =
1
2 cos
[(in)
+ (in)
+ (im)
+ (im)
] k
nm
(t) .
Next, we take the Laplace transform with re-
spect to time. Then we have
s
k
nm
(s) s
1
k
nm
(0) +Ak
nm
(s) = 0, (14)
The Numerical Solutions of a Two-Dimensional Space-Time Riesz-Caputo ... 21
where
A =
1
2 cos
[(in)
+ (in)
+ (im)
+ (im)
] .
Let us consider the main value branch of A for
computational purposes
A
= |n|
+|m|
, (15)
where E
n=
m=
u
0nm
(0) e
inx
e
imy
,
(16)
where u
0nm
(0) are the Fourier coecients
u
0nm
(0) =
1
(2)
2
u
0
(x, y) e
inx
e
imy
dxdy.
(17)
On the other hand, we take t = 0 in Eq.(13)
and obtain k
nm
(0) = u
0nm
(0). Then the
closed form of analytical solution to the prob-
lem is obtained as
u(x, y, t)
=
n=
m=
u
0nm
(0) E
e
inx
e
imy
.
4. GL Approximation For Numerical
Solution
To nd the numerical solution of the problem
we use the Gr unwald-Letnikov (GL) formula
which is based on time discretization and is de-
ned as a limit of a fractional-order backward
dierence
GL
D
f (t) = lim
h0
(h)
[
t
h
]
r=0
(1)
r
f (t rh)
(18)
where > 0 is the order of fractional deriva-
tive, t is the length of time interval on which
problem is formulated, h is the length of subin-
tervals of time t. From the theoretical back-
ground of fractional calculus it is well known
that when the function f (t) of positive argu-
ment has continuous derivatives of integer or-
der 0, 1, ..., n, the RL and Gr unwald-Letnikov
denitions are equivalent [25]. Furthermore,
the relation between the Caputo and RL frac-
tional derivatives give allows us to apply the
GL formula for approximation of the Caputo
fractional derivative. It was mentioned in the
problem formulation that we consider the Ca-
puto time fractional derivative. Therefore, we
give rstly the relation between the RL and
Caputo denitions (see [27])
RL
D
f (t) =
C
D
f (t)+
n1
k=0
k+1
(t) f
(k)
(0)
(19)
where
q+1
(t) =
t
q
(q+1)
t > 0
0 t 0
. (20)
Substituting Eq. (18) into (19), we ob-
tain the numerical calculation formula for
the Caputo fractional derivative in terms of
Gr u nwald-Letnikov denition
C
D
f (t) = lim
h0
(h)
[
t
h
]
r=0
(1)
r
f (t rh)
1
t
(1 )
f (0) , (0 < 1) .
It should be noted that our aim is to sub-
stantiate the approximate numerical solution
of the problem. For this purpose we consider
a nite number series to calculate the approxi-
mate value of the Caputo fractional derivative:
22 N.
Ozdemir, et al. / Vol.1, No.1, pp.17-26 (2011) c IJOCTA
C
D
f (t) (h)
[
t
h
]
r=0
(1)
r
f (t rh)
1
t
(1 )
f (0) .
For analyzing this approach let us consider the
following problem: one-term, constant coe-
cient fractional dierential equation
0
D
t
k (t) = A
u
0
(x, y) e
inx
e
imy
dxdy,
(22)
where A
= |n|
+ |m|
r=0
w
()
j
k (hM rh)
1
t
(1 )
k (0) +A
k (hM) = 0
or
k (hM) =
1
1
h
w
()
0
+A
k (0)
t
(1 )
1
h
r=1
w
()
r
k (hM rh)
,
where M =
t
h
and w
()
r
= (1)
r
. In partic-
ular,
w
()
0
= 1; w
()
r
=
1
+ 1
r
w
()
r1
,
r = 1, 2, , M.
The applicability of this numerical approx-
imation is evident from Figures obtained by
MATLAB. In the following section we present
some Figures and validate our analytical and
numerical solutions from dierent points of
view.
5. Numerical Examples
In this section, we study numerical examples
to demonstrate the applicability of the GL ap-
proximation and investigate the behavior of
anomalous diusion process for dierent values
of parameters. For this purpose, we present
two- and three-dimensional graphs. First we
consider the exponential initial condition func-
tion
u
0
(x, y) = e
2|x|
+e
2|y|
, ( < x, y < ) .
(23)
The function u
0
(x, y) is continuated periodi-
cally on the whole axis. In the second example,
the parabolic initial condition
u
0
(x, y) = x
2
+y
2
, ( < x, y < ) (24)
is chosen. As above, this function is continu-
ated periodically on the whole axes.
At rst, we point out the overlapping of
the analytical and numerical solutions for the
order of time derivative = 1 and the order
of space derivative = 0.5, the term num-
bers n = m = 10, the step size h = 0.01 at
x = 0.2 and y = 0.5 in Figures 1a and 1b. The
analytical and numerical solutions are found
to be in good agreement. Figures 2a and 2b
show the solution proles for dierent values of
= 0.1, 0.5, 0.7, 1 for = 0.5, x = 0.2, y = 0.5
and h = 0.01.
Similarly, Figures 3a and 3b display the vari-
ation of behavior of the solution for the values
= 0.1, 0.5, 0.7, 0.99 when = 0.5, x = 0.2,
y = 0.5 and h = 0.01. It should be recalled
that = 1 due to the denition of the Riesz
operator.
In Figures 4a and 4b, we show the contribu-
tion of term numbers n = m = 5, 10, 20, 30, 35
to the solution for = 0.99, = 1, x = 0.2,
y = 0.5 and h = 0.01. We obtain that the
numerical solutions coincide for more than 35
terms. In other words, it is enough to take only
35 terms for solution series dened by Eq.(3).
Finally, we present the whole solution of the
problem in Figures 5a and 5b for = 0.99,
= 1, h = 0.01 and n = m = 35. In addition,
we show the dependence of u(x, y, t) with re-
spect on x and t variables in Figures 6a and
6b.
The Numerical Solutions of a Two-Dimensional Space-Time Riesz-Caputo ... 23
0 0.5 1 1.5 2
0
1
2
3
4
5
6
7
x 10
16
t (time)
u
(
x
,
y
,
t
)
analytical solution
numerical solution
Figure 1a. Comparison of analytical and
numerical solutions for = 1, = 0.5 and
u
0
(x, y) = e
2|x|
+e
2|y|
0 0.2 0.4 0.6 0.8 1
9
8
7
6
5
4
3
2
1
x 10
14
t (time)
u
(
x
,
y
,
t
)
analytical solution
numerical solution
Figure 1b. Comparison of analytical and
numerical solutions for = 1, = 0.5 and
u
0
(x, y) = x
2
+y
2
0 0.2 0.4 0.6 0.8 1
3
3.5
4
4.5
5
5.5
6
6.5
7
x 10
16
t (time)
u
(
x
,
y
,
t
)
=0.1
=0.5
=0.7
=1
Figure 2a. Dependence of solution on time for
dierent values of parameter for
u
0
(x, y) = e
2|x|
+e
2|y|
0 0.2 0.4 0.6 0.8 1
9
8
7
6
5
4
3
2
1
x 10
14
t (time)
u
(
x
,
y
,
t
)
=0.1
=0.5
=0.7
=1
Figure 2b. Dependence of solution on time for
dierent values of parameter for
u
0
(x, y) = x
2
+y
2
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
x 10
15
t (time)
u
(
x
,
y
,
t
)
=0.1
=0.5
=0.7
=0.99
Figure 3a. Dependence of solution on time for
dierent values of parameter for
u
0
(x, y) = e
2|x|
+e
2|y|
0 0.2 0.4 0.6 0.8 1
9
8
7
6
5
4
3
2
1
x 10
14
t (time)
u
(
x
,
y
,
t
)
=0.1
=0.5
=0.7
=0.99
Figure 3b. Dependence of solution on time for
dierent values of parameter for
u
0
(x, y) = x
2
+y
2
24 N.
Ozdemir, et al. / Vol.1, No.1, pp.17-26 (2011) c IJOCTA
0 0.2 0.4 0.6 0.8 1
5
0
5
10
15
20
x 10
15
t (time)
u
(
x
,
y
,
t
)
n=m=5
n=m=10
n=m=20
n=m=30
n=m=35
Figure 4a. Contribution of term numbers to the
numerical solutions for u
0
(x, y) = e
2|x|
+e
2|y|
0 0.2 0.4 0.6 0.8 1
2
1.5
1
0.5
0
0.5
1
1.5
x 10
13
t (time)
u
(
x
,
y
,
t
)
n=m=5
n=m=10
n=m=20
n=m=30
n=m=35
Figure 4b. Contribution of term numbers to the
numerical solutions for u
0
(x, y) = x
2
+y
2
10
5
0
5
10
10
0
10
5
0
5
10
15
20
x 10
19
y (space)
x (space)
u
(
x
,
y
,
t
)
Figure 5a. Surface of u(x, y, t) for = 0.99,
= 1 with u
0
(x, y) = e
2|x|
+e
2|y|
10
5
0
5
10
10
0
10
0.5
0
0.5
1
x 10
14
y (space)
x (space)
u
(
x
,
y
,
t
)
Figure 5b. Surface of u(x, y, t) for = 0.99,
= 1 with u
0
(x, y) = x
2
+y
2
0
2
4
6
8
0
0.5
1
1.5
3
2
1
0
1
x 10
12
x (space)
t (time)
u
(
x
,
y
,
t
)
Figure 6a. Surface of u(x, y, t) for = 0.99,
= 1, y = 0.5 with u
0
(x, y) = e
2|x|
+e
2|y|
0
2
4
6
8
0
0.5
1
1.5
1
0.5
0
0.5
1
1.5
x 10
13
x (space)
t (time)
u
(
x
,
y
,
t
)
Figure 6b. Surface of u(x, y, t) for = 0.99,
= 1, y = 0.5 with u
0
(x, y) = x
2
+y
2
The Numerical Solutions of a Two-Dimensional Space-Time Riesz-Caputo ... 25
6. Conclusion
In this paper, the solutions of a two-
dimensional anomalous diusion problem were
researched. The solutions of the problem were
assumed to have Fourier series expansion. In
the problem formulation, the space deriva-
tives were considered as the Riesz pseudo-
dierential operators, and the time derivative
was dened as the Caputo fractional deriva-
tive. To obtain the closed form analytical so-
lution of the problem, the Laplace transform
with respect to time variable and the Fourier
transform with respect to space variables were
applied. The GL approximation of the Ca-
puto fractional derivative was used to obtain
the numerical solutions. The applicability of
the GL numerical scheme was substantiated by
two examples and is evident from the Figures
obtained with MATLAB. In addition, the so-
lutions for dierent values of parameters were
shown in Figures. Finally, it should be pointed
out that the fundamental solution of the con-
sidered anomalous diusion problem, which
behaves as subdiusion process, can be com-
puted easily and eectively by the GL approx-
imation.
Acknowledgement
The authors wish to thank the referees for their
many constructive comments and suggestions
to improve the paper.
References
[1] Zhuang, P., Liu, F., Space-Time Riesz Fractional
Partial Dierential Equations with Periodic Con-
ditions. Numer. Math. J. Chinese (English Ser.),
16, 181-192 (2007).
[2] Shen, S., Liu, F., Anh, V., Turner, I., The Fun-
damental Solution and Numerical Solution of The
Riesz Fractional Advection-Dispersion Equation.
IMA J. Appl. Math., 73, 850-872(2008).
[3] Chen, J., Liu, F., Turner, I., Anh, V., The
Fundamental and Numerical Solutions of The
Riesz Space-Fractional Reaction-Dispersion Equa-
tion. ANZIAM J., 50, 45-57 (2008).
[4] Yang, Q., Turner, I., Liu, F., Analytical and
Numerical Solutions For The Time and Space-
Symmetric Fractional Diusion. ANZIAM J., 50,
800-814 (2008).
[5] Zhuang, P., Liu, F., Anh, V., Turner, I., Numer-
ical Methods For The Variable-Order Fractional
Advection-Diusion Equation With A Nonlinear
Source Term. SIAM J. Numer. Anal., 47, 1760-
1781 (2009).
[6] Meerschaert, M.M., Tadjeran, C., Finite Dier-
ence Approximations For Fractional Advection-
Dispersion Flow Equations. J. Comput. Appl.
Math., 172, 65-77 (2004).
[7] Yang, Q., Liu, F., Turner, I., Numerical Methods
for Fractional Partial Dierential Equations with
Riesz Space Fractional Derivatives. Appl. Math.
Model., 34, 200-218 (2010).
[8] Ciesielski, M., Leszczynski, J., Numerical Solu-
tions of a Boundary Value Problem for the Anoma-
lous Diusion Equation with the Riesz Frac-
tional Derivative. Computer Methods in Mechan-
ics (CMM-2005), June 21-24, Czestochowa, Poland
(2005).
[9] Ciesielski, M., Leszczynski, J., Numerical Solu-
tions to Boundary Value Problem for Anomalous
Diusion Equation with Riesz-Feller Fractional
Operator. J. Theoret. Appl. Mech., 44(2), 393-403
(2006).
[10] Goreno, R., Iskenderov, A., Luchko, Y., Map-
ping Between Solutions of Fractional Diusion-
Wave Equations. Fract. Calc. Appl. Anal., 3, 75-86
(2000).
[11] Saichev, A.I, Zaslavsky, G.M., Fractional Kinetic
Equations: Solutions and Applications. Chaos, 7,
753-764 (1997).
[12] Povstenko, Y.Z., Thermoelasticity That Uses Frac-
tional Heat Conduction Equation. J. Math. Sci.
(N. Y.), 162, 296-305 (2009).
[13] Meerschaert, M.M, Scheer, H.P, Tadjeran, C.,
Finite Dierence Methods For Two-Dimensional
Fractional Dispersion Equation. J. Comput. Phys.,
211, 249261 (2006).
[14] El-Sayed, A.M.A., Gaber, M., On The Finite Ca-
puto and Finite Riesz Derivatives. Electronic Jour-
nal of Theoretical Physics, 12, 81-95 (2006).
[15]
Ozdemir, N., Agrawal, O.P., Karadeniz, D.,