Computers and Mathematics With Applications: Muhammad Aslam Noor, Syed Tauseef Mohyud-Din
Computers and Mathematics With Applications: Muhammad Aslam Noor, Syed Tauseef Mohyud-Din
1. Introduction
In this paper, we outline a reliable strategy for developing an analytic solution to the nonlinear ordinary differential
equation [1–6] given by
2x
y00 (x) + √ y0 (x) = 0, 0 < α < 1, (1)
1 − αy
which appears in the problem of the transient flow of gas [1–6] within one-dimensional semi-infinite porous medium.
A useful analysis has been carried out to distinguish the difference between unsteady flow of gas and conduction of heat
in solids. The study shows that the unsteady flow of gas through porous medium is closely analogous to the unsteady
conduction of heat in solids; see [1–6] and the references therein. Moreover, the unsteady flow of gas in a porous medium is
modeled by a nonlinear partial differential equation, whereas the unsteady conduction of heat in solids is characterized by
a linear partial differential equation. The unsteady conduction of heat is usually handled by the typical analytic techniques
such as Laplace or Fourier transforms. On the other hand, the unsteady flow of gas through a porous medium was investigated
by several authors [3,6], where no analytic approaches of many forms have been proposed for the study of (1). The main
concern of all works was to obtain numerical solution of (1). The approaches consist of approximating the nonlinear partial
differential equation that models this phenomenon by an appropriate finite difference equation, then solving the resulting
difference equation by numerical methods. The analytic solution was constructed and the results obtained were of moderate
accuracy. However, the complexity of the calculations increases rapidly with increasing order of terms especially beyond
the second order term, see [7,1–6] and the references therein. The nonlinear partial differential equation that describes the
unsteady flow of gas through a semi-infinite porous medium has been derived [3] in the form
∂p
∇ 2 (p2 ) = (2φµ/k) ,
∂t
∗ Corresponding author.
E-mail addresses: [email protected] (M.A. Noor), [email protected] (S.T. Mohyud-Din).
0898-1221/$ – see front matter © 2009 Elsevier Ltd. All rights reserved.
doi:10.1016/j.camwa.2009.03.016
M.A. Noor, S.T. Mohyud-Din / Computers and Mathematics with Applications 58 (2009) 2182–2189 2183
where p is the pressure within porous medium, φ the porosity, µ the viscosity, k the permeability, and t the time. New
variables were introduced by Kidder and Davis [3] to transform the nonlinear partial differential equation (2) to the nonlinear
ordinary differential equation
2x
y00 (x) + √ y 0 ( x) = 0 , 0 < α < 1.
1 − αy
A substantial amount of numerical and analytical work has been invested so far [7,1–6] on this model. The main reason of
this interest is that the approximation can be used in many diversified engineering problems. As stated before, the problem
(1) was handled by Kidder [3] to produce a series of linear differential equations where the following terms were obtained
Recently, Adomian’s decomposition method [6] was employed in a straight forward manner for finding solution of
the unsteady flow of gas problem. Inspired and motivated by the ongoing research in this area, we apply the variational
iteration method using He’s polynomials for finding the solution of unsteady flow of gas through a porous medium. It is
worth mentioning that our proposed technique is an elegant combination of He’s variational iteration and the homotopy
perturbation methods.
He [8–20] developed the variational iteration and the homotopy perturbation methods for solving linear, nonlinear,
initial and boundary value problems. It is worth mentioning that the origin of variational iteration method can be traced
back to Inokuti, Sekine and Mura [21], but the real potential of this technique was explored by He [8–14]. Moreover, He
realized the physical significance of the variational iteration method, its compatibility with the physical problems and
applied this promising technique to a wide class of linear and nonlinear, ordinary, partial, deterministic or stochastic
differential equation; see [8–14]. The homotopy perturbation method [8,15–20] was also developed by He by merging two
techniques, the standard homotopy and the perturbation. The homotopy perturbation method was formulated by taking the
full advantage of the standard homotopy and perturbation methods. The variational iteration and homotopy perturbation
methods have been applied to a wide class of functional equations; see [22–28,8–20,29–46] and the references therein.
In these methods the solution is given in an infinite series usually converging to an accurate solution, see [8–20] and
the references therein. In a later work Ghorbani et al. [27,28] split the nonlinear term into a series of polynomials calling
them as the He’s polynomials. The basic motivation of this paper is to apply the variational iteration method coupled with
He’s polynomials (VIMHP) for finding the solution of unsteady flow of gas through a porous medium. In this algorithm,
the correct functional is developed [8–14] and the Lagrange multipliers are calculated optimally via variational theory.
The use of Lagrange multipliers reduces the successive application of the integral operator and the cumbersome of huge
computational work while still maintaining a very high level of accuracy. Finally, the He’s polynomials are introduced in
the correct functional and the comparison of like powers of p gives solutions of various orders. The developed algorithm
takes full advantage of He’s variational iteration and the homotopy perturbation methods. It is worth mentioning that the
VIMHP is applied without any discretization, restrictive assumption or transformation and is free from round off errors.
Unlike the method of separation of variables that require initial and boundary conditions, the VIMHP provides an analytical
solution by using the initial conditions only. The proposed method work efficiently and the results so far are very encouraging
and reliable. The fact that VIMHP solves nonlinear problems without using Adomian’s polynomials can be considered as a
clear advantage of this technique over the decomposition method. To make the work more concise and to get a better
understanding of the solution behavior, the series solutions are replaced by the powerful Pade approximants [7,47,48,6,49].
The use of Pade approximants shows real promise in solving boundary value problems in an infinite domain. The proposed
VIMHP solves effectively, easily and accurately a large class of linear, nonlinear, partial, deterministic or stochastic
differential equations with approximate solutions which converge very rapidly to accurate solutions.
2184 M.A. Noor, S.T. Mohyud-Din / Computers and Mathematics with Applications 58 (2009) 2182–2189
To illustrate the basic concept of the technique, we consider the following general differential equation
L u + N u = g (x), (2)
where L is a linear operator, N a nonlinear operator and g (x) is the forcing term. According to the variational iteration method
[22–26,8–14,21,29–31,38–44,46], we can construct a correct functional as follows
Z x
un+1 (x) = un (x) + λ (L un (s) + N ũn (s) − g (s)) ds, (3)
0
where λ is a Lagrange multiplier [8–14], which can be identified optimally via variational iteration method. The subscript n
denotes the nth approximation, ũn is considered as a restricted variation. i.e.δ ũn = 0; (3) is called as a correct functional.
The solution of the linear problems can be solved in a single iteration step due to the exact identification of the Lagrange
multiplier. The principles of variational iteration method and its applicability for various kinds of differential equations
are given in [8–14]. In this method, it is required first to determine the Lagrange multiplier λ optimally. The successive
approximation un+1 , n ≥ 0 of the solution u will be readily obtained upon using the determined Lagrange multiplier and
any selective function u0 ,consequently, the solution is given by u = limn→∞ un .
To explain the homotopy perturbation method, we consider a general equation of the type,
L(u) = 0, (4)
where L is any integral or differential operator. We define a convex homotopy H (u, p) by
H (u, p) = (1 − p)F (u) + pL(u), (5)
where F (u) is a functional operator with known solutions v0 , which can be obtained easily. It is clear that, for
H (u, p) = 0, (6)
we have
H (u, 0) = F (u), H (u, 1) = L(u).
This shows that H (u, p) continuously traces an implicitly defined curve from a starting point H (v0 , 0) to a solution
function H (f , 1). The embedding parameter monotonically increases from zero to unity as the trivial problem F (u) = 0
continuously deforms the original problem L(u) = 0. The embedding parameter p ∈ (0, 1] can be considered as an
expanding parameter [8,15–20,32–37,45]. The homotopy perturbation method uses the homotopy parameter p as an
expanding parameter [8,15–20] to obtain
∞
X
u= pi ui = u0 + p u1 + p2 u2 + p3 u3 + · · · . (7)
i =0
If p → 1, then (7) corresponds to (5) and becomes the approximate solution of the form,
∞
X
f = lim u = ui . (8)
p→1
i=0
It is well known that series (8) is convergent for most of the cases and also the rate of convergence is dependent on L(u);
see [8,15–20]. We assume that (8) has a unique solution. The comparisons of like powers of p give solutions of various orders.
In sum, according to [28], He’s HPM considers the solution, u(x), of the homotopy equation in a series of p as follows:
∞
X
u(x) = p i ui = u0 + p u 1 + p 2 u2 + · · · ,
i=0
where Hn ’s are the so-called He’s polynomials [28], which can be calculated by using the formula
!!
1 ∂n
n
X
Hn (u0 , . . . , un ) = N i
p ui , n = 0, 1, 2, . . . .
n! ∂ pn i=0 p=0
M.A. Noor, S.T. Mohyud-Din / Computers and Mathematics with Applications 58 (2009) 2182–2189 2185
To illustrate the basic concept of the variational iteration method using He’s polynomials, we consider the following
general differential equation
L u + N u = g (x), (9)
where L is a linear operator, N a nonlinear operator and g (x) is the forcing term. According to the variational iteration method
[22–26,8–14,21,29–31,38–44,46], we can construct a correct functional as follows
Z x
un+1 (x) = un (x) + λ (ξ ) L un (ξ ) + N ũn (ξ ) − g (ξ ) dξ ,
(10)
0
where λ is a Lagrange multiplier [8–14], which can be identified optimally via variational iteration method. The subscript n
denotes the nth approximation, ũn is considered as a restricted variation. i.e.δ ũn = 0; (10) is called as a correct functional. It
is well known that He’s homotopy perturbation method provides the solution as a series; whereas He’s variational iteration
method provides the solution as a sequence. Now, we apply the homotopy perturbation method
!
∞ Z x ∞ ∞ Z x
(n) (n) (n)
X X X
p un = u0 (x) + p λ(ξ ) p L (un ) + p N (ũn ) dξ − λ(ξ ) g (ξ ) dξ , (11)
n =0 0 n =0 n =0 0
which is the coupling of variational iteration method and He’s polynomials [28] and comparison of like powers of p gives
solutions of various orders.
5. Pade approximants
A Pade approximant is the ratio of two polynomials constructed from the coefficients of the Taylor series expansion of a
function u(x). The [L/M ] Pade approximants to a function y(x) are given by [7,47,48].
P L ( x)
L
= , (12)
M QM (x)
where PL (x) is polynomial of degree at most L and QM (x) is a polynomial of degree at most M. the formal power series
∞
X
y(x) = ai x i , (13)
i=1
P L ( x)
y(x) − = O(xL+M +1 ), (14)
QM (x)
determine the coefficients of PL (x) and QM (x) by the equation.
Since we can clearly multiply the numerator and denominator by a constant and leave [L/M ] unchanged, we imposed
the normalization condition
QM (0) = 1.0. (15)
Finally, we require that PL (x) and QM (x) have noncommon factors. If we write the coefficient of PL (x) and QM (x) as
PL (x) = p0 + p1 x + p2 x2 + · · · + pL xL ,
. (16)
QM (x) = q0 + q1 x + q2 x2 + · · · + qM xM
Than by (15) and (16), we may multiply (12) by QM (x), which linearizes the coefficient equations. We can write out (14)
in more details as
aL+1 + aL q1 + · · · + aL−M qM = 0,
qL+2 + qL+1 q1 + · · · + aL−M +2 qM = 0,
.. (17)
.
aL+M + aL+M −1 q1 + · · · + aL qM = 0,
a0 = p 0 ,
a0 + a0 q1 + · · · + = p1 ,
.. . (18)
.
aL + aL−1 q1 + · · · + a0 qL = pL
To solve these equations, we start with Eq. (17), which is a set of linear equations for all the unknown q’s. Once the q’s
are known, then Eq. (18) gives an explicit formula for the unknown p’s, which complete the solution. If Eqs. (17) and (18)
are nonsingular, then we can solve them directly and obtain Eq. (19) [48], where Eq. (19) holds, and if the lower index on a
sum exceeds the upper, the sum is replaced by zero:
2186 M.A. Noor, S.T. Mohyud-Din / Computers and Mathematics with Applications 58 (2009) 2182–2189
a
L−M +1 aL−M +2 ··· aL + 1
.. .. .. ..
. . . .
det
aL aL+1 ··· aL+M
L L L
X X X
aj − M x j aj − M + 1 x j ··· aj x j
L j =M j =M −1 j =0
= . (19)
M
a
L−M +1 aL−M +2 ··· aL+1
.. .. ..
. . .
det
aL aL+1 ··· aL+M
xM x M −1 ··· 1
To obtain diagonal Pade approximants of different order such as [2/2], [4/4] or [6/6], we can use the symbolic calculus
software Maple.
6. Numerical application
In this section, we apply the variational iteration method using He’s polynomials (VIMHP) for finding the analytical
solution of the unsteady flow of gas through a porous medium. Finally, the series solution will be replaced by the powerful
Pade approximants in order to get a better understanding of the solution behavior and to determine the initial slope y0 (0).
Consider Eq. (1)
2x
y00 (x) + √ y0 (x) = 0, 0 < α < 1. (1)
1 − αy
with the following typical boundary conditions imposed by the physical properties [3,6]
y(0) = 1, lim y(x) = 0.
x→∞
where A = y0 (0). Comparing the coefficient of like powers of p, consequently, the following approximants are obtained
p(0) : y0 (x) = 1,
p(1) : y1 (x) = 1 + A x,
A
p(2) : y2 (x) = 1 + A x − √ x3 ,
3 1−α
A α A2 A
p(3) : y3 (x) = 1 + A x − √ x3 − /
x4 + x5 ,
3 1−α 12(1 − α)3 2 10(1 − α)
A α A2 A 3α 2 A3 α A2
p(4) : y4 (x) = 1 + A x − √ x3 − /
x4 + x5 − /
x5 + x6 + O(x7 ),
3 1−α 12(1 − α)3 2 10(1 − α) 80(1 − α) 5 2 15(1 − α)2
A α A2 A
p(5) : y5 (x) = 1 + A x − √ x3 − /
x4 + x5
3 1−α 12(1 − α) 3 2 10(1 − α)
3α 2 A3 α A2 α 3 A4
− /
x5 + x6 − x6 + O(x7 ),
80(1 − α) 5 2 15(1 − α) 2 48(1 − α)7/2
..
.
M.A. Noor, S.T. Mohyud-Din / Computers and Mathematics with Applications 58 (2009) 2182–2189 2187
Table 6.1
Exhibits the initial slopes A = y0 (0) for various values of α .
α B[2/2] = y0 (0) B[3/3] = y0 (0)
2(1 − α)1/4
A=− √ , (20)
3α
and using [3/3] Pade approximants we find
q √
(−4674α + 8664) 1 − α − 144γ
A=− , (21)
57α
where
p
γ = 5(1 − α)(1309α 2 − 2280α + 1216). (22)
Using (20)–(22) gives the values of the initial slope A = y (0) listed in the Table 6.1. The formulas (19) and (20) suggest
0
that the initial slope A = y0 (0) depends mainly on the parameter α , where0 < α < 1. Table 6.1 shows that the initial slope
A = y0 (0) increases with the increase of α . The mathematical structure of y(x) was successfully enhanced by using the Pade
approximants. Table 6.2 indicates the values of y(x) in [15] and by using the [2/2] and [3/3] approximants for specific value
of α = 0.5.
7. Conclusion
In this paper, we applied the He’s variational iteration method coupled with He’s polynomials (VIMHP) by combining the
traditional variational iteration and the homotopy perturbation methods for finding the analytical solution of unsteady
flow of gas through porous medium. The proposed method is employed without using linearization, discretization or
restrictive assumptions. It may be concluded that the variational iteration method using He’s polynomials is very powerful
and efficient in finding the analytical solutions for a wide class of boundary value problems. The method gives more realistic
series solutions that converge very rapidly in physical problems. To make the work more concise and to get the better
understanding of the solution behavior, the series solutions were replaced by the powerful Pade-approximants. The fact
that the VIMHP solves nonlinear problems without using the Adomian’s polynomials is a clear advantage of this technique
over the decomposition method.
2188 M.A. Noor, S.T. Mohyud-Din / Computers and Mathematics with Applications 58 (2009) 2182–2189
Table 6.2
Exhibits the values of y(x) for α = 0.5 for x = 0.1 to 1.0.
x y kidder y[2/2] y[3/3]
Acknowledgments
The authors are highly grateful to both the referees and Prof Dr. J.H. He for their constructive comments. We would like
to thank Dr. S.M. Junaid Zaidi, Rector CIIT for providing excellent research environment and facilities.
References
[41] M.A. Noor, S.T. Mohyud-Din, Variational iteration decomposition method for solving eighth-order boundary value problems, Diff. Eqns. Nonlin. Mech.
(2007) doi:10.1155/2007/19529.
[42] M.A. Noor, S.T. Mohyud-Din, Variational decomposition method for solving singular initial value problems, Int. J. Pure Appl. Math. (2007).
[43] M.A. Noor, S.T. Mohyud-Din, Variational iteration method for solving higher-order nonlinear boundary value problems using He’s polynomials, Int. J.
Nonlinear Sci. Numer. Simul. 9 (2) (2008).
[44] A.M. Wazwaz, The variational iteration method for solving linear and nonlinear system of PDES, Comput. Math. Appl. 54 (2007) 895–902.
[45] L. Xu, He’s homotopy perturbation method for a boundary layer equation in unbounded domain, Comput. Math. Appl. 54 (2007) 1067–1070.
[46] L. Xu, Variational iteration method for solving integral equations, Comput. Math. Appl. 54 (2007) 1071–1078.
[47] G.A. Baker, Essentials of Pade Approximants, Academic press, London, 1975.
[48] S. Momani, V.S. Erturk, Solution of nonlinear oscillators by modified differential transform method, Comput. Math. Appl. (2007), in press
(doi:10.1016/j.camwa.2007.05.009).
[49] A.M. Wazwaz, The modified decomposition method and Pade approximants for solving Thomas-Fermi equation, Appl. Math. Comput. 105 (1999)
11–19.