Research Article | Open Access

A. Sami Bataineh, M. S. M. Noorani, I. Hashim, "Direct Solution of -Order IVPs by Homotopy Analysis Method", *International Journal of Differential Equations*, vol. 2009, Article ID 842094, 15 pages, 2009. https://doi.org/10.1155/2009/842094

# Direct Solution of -Order IVPs by Homotopy Analysis Method

**Academic Editor:**Tasawar Hayat

#### Abstract

Direct solution of a class of -order initial value problems (IVPs) is considered based on the homotopy analysis method (HAM). The HAM solutions contain an auxiliary parameter which provides a convenient way of controlling the convergence region of the series solutions. The HAM gives approximate analytical solutions which are of comparable accuracy to the seven- and eight-order Runge-Kutta method (RK78).

#### 1. Introduction

Higher-order initial value problems (IVPs) arise in mathematical models for problems in physics and engineering. Generally, second- and higher-order IVPs are more difficult to solve than first-order IVPs. It is possible to integrate a special th-order IVP by reducing it to a first-order system and applying one of the established methods available for such system. However, it seems more natural to provide direct numerical methods for solving the th-order IVPs.

It is the purpose of the present paper to present an alternative approach for the direct solution of th-order IVPs based on the homotopy analysis method (HAM). The analytic homotopy analysis method (HAM), initially proposed by Professor Liao in his Ph.D. thesis [1], is a powerful method for solving both linear and nonlinear problems. (The interested reader can refer to the much-cited book [2] for a systematic and clear exposition on this method.) In recent years, this method has been successfully employed to solve many types of nonlinear problems in science and engineering [3–17]. All of these successful applications verified the validity, effectiveness and flexibility of the HAM. More recently, Bataineh et al. [18–25] employed the standard HAM to solve some problems in engineering sciences. HAM yields a very rapid convergence of the solution series and in most cases, usually only a few iterations leading to very accurate solutions. Thus Liao's HAM is a universal one which can solve various kinds of nonlinear equations. Bataineh et al. [18] first presented a modified HAM called (MHAM) to solve systems of second-order BVPs. Another new approach in HAM was presented by Yabushita et al. [26] who applied HAM not only to the governing differential equations, but also to algebraic equation. We call this new variant of HAM as NHAM.

In this work, we consider a class of th-order IVPs of the form subject to the initial conditions where represents a continuous, real linear/nonlinear function, and , , , are prescribed. Some of the more recent direct (purely) numerical methods for solving second-order IVPs were developed by Cash [27], Ramos and Vigo-Aguiar [28, 29]. Recently Yahaya et al. [30] applied the seminumeric multistage modified Adomian decomposition method to solve the th-order IVPs (1.1)-(1.2). Very recently, Chowdhury and Hashim [31] demonstrated the applicability of the analytic homotopy-perturbation method for solving th-order IVPs.

The aim of this paper is to apply HAM and NHAM for the first time to obtain approximate solutions of th-order IVPs directly. We demonstrate the accuracy of the HAM and NHAM through some test examples. Numerical comparison will be made against the seven- and eight-order Runge-Kutta method (RK78).

#### 2. Basic Ideas of HAM

To describe the basic ideas of the HAM, we consider the following differential equation:
where is a nonlinear operator, denotes the independent variable, is an unknown function. By means of generalizing the traditional homotopy method, Liao [2] constructs the so-called *zero-order deformation equation*
where is an embedding parameter, is a nonzero auxiliary function, is an auxiliary linear operator, is an initial guess of and is an unknown function. It is important to note that one has great freedom to choose auxiliary objects such as and in HAM. Obviously, when and , both
hold. Thus as increases from 0 to 1, the solution varies from the initial guess to the solution . Expanding in Taylor series with respect to , one has
where
If the auxiliary linear operator, the initial guess, the auxiliary parameter , and the auxiliary function are so properly chosen, then the series (2.4) converges at and one has
which must be one of the solutions of the original nonlinear equation, as proved by Liao [2]. If , (2.2) becomes
which is used mostly in the HPM [32].

According to (2.5), the governing equations can be deduced from the *zero-order deformation equations* (2.2). We define the vectors
Differentiating (2.2) times with respect to the embedding parameter and then setting and finally dividing them by , we have the so-called *mth-order deformation equation*
where
It should be emphasized that () are governed by the linear equation (2.9) with the linear boundary conditions that come from the original problem, which can be easily solved by symbolic computation softwares such as Maple and Mathematica.

A new approach in the HAM was proposed by Yabushita et al. [26]. We will call this method NHAM. Yabushita et al. [26] considered the following projectile problem: where The standard HAM applied to this problem yields a divergent solution on some part of the solution domain. In NHAM, the zeroth-order deformation equations were constructed for not only (2.11), but also for (2.12). This slight modification in the NHAM gives a more accurate solution.

#### 3. Numerical Experiments

To illustrate the effectiveness of the HAM we will consider four examples of th-order IVPs (1.1)-(1.2).

##### 3.1. Example??1

We first consider the nonlinear second-order IVP
subject to the initial conditions
The exact solution is
To solve (3.1)-(3.2) by means of HAM, we choose the initial approximation
and the linear operator
with the property
where () are constants of integration. Furthermore, (3.1) suggests that we define the nonlinear operator as
Using the above definition, we construct the *zeroth-order deformation equation* as in (2.2) and the *mth-order deformation equation* for is as in (2.9) with the initial conditions
where
now the solution of the *m*th-order deformation for is
We now successively obtain
Then the series solution expression can be written in the form
and so forth. Hence, the series solution when is
which converges to the closed-form solution (3.3).

##### 3.2. Example??2

Consider the linear fourth-order IVP,
subject to the initial conditions
The exact solution is
To solve (3.14)-(3.15) by means of HAM, we choose the initial approximation
and the linear operator
with the property
where () are constants of integration. According to the *zeroth-order deformation equation* (2.2) and the *mth-order deformation equation* for (2.9) with the initial conditions
where
the solution of the *m*th-order deformation for is the same as (3.10).

We now successively obtain Then the series solution expression can be written in the form and so forth. Hence, the series solution when is and so forth. Hence, the series solution is which converges to the closed-form solution (3.16).

##### 3.3. Example??3

Now consider the nonlinear fourth-order IVP,
subject to the initial conditions
The exact solution is
According to the HAM, the initial approximation is
and the linear operator is (3.18) with the property (3.19) where () are constants of integration. According to the *zeroth-order deformation equation* (2.2) and the *mth-order deformation equation* (2.9) with the initial conditions (3.20) with
the solution of the *m*th-order deformation for is the same as (3.10).

We now successively obtain Then the series solution expression can be written in the form and so forth. Hence, the series solution when is and so forth.

Hence, the series solution is which converges to the closed-form solution (3.28).

##### 3.4. Example??4

Finally we consider the nonlinear Genesio equation [33] where subject to the initial conditions where are positive constants satisfying .

First we solve (3.35) by means of HAM. According to the HAM, the initial approximation is
and the linear operator is
with the property
where () are constants of integration. According to the *zeroth-order deformation equation* (2.2) and the *mth-order deformation equation* (2.9) with the initial conditions
where
the solution of the *m*th-order deformation for is the same as (3.10).

We now successively obtain when , and , and so forth.

Now we use the new technique, namely NHAM, of Yabushita et al. [26] to solve (3.35). In this technique, we construct the *zeroth-order deformation equations* for not only (3.35) but also for (3.36) as follows:
and the *mth-order deformation equation*
with the initial conditions
where
Again, we successively obtain when , and ,
and so forth. Then the series solution expression can be written in the form

The series solutions (3.12), (3.23), (3.32), (3.49) and (3.50) contain the auxiliary parameter . The validity of the method is based on such an assumption that the series (2.4) converges at . It is the auxiliary parameter which ensures that this assumption can be satisfied. In general, by means of the so-called -curve, it is straightforward to choose a proper value of which ensures that the solution series is convergent. Figure 1 show the -curves obtained from the fifth-order HAM approximation solutions of (3.1), (3.14) and (3.26). From this figure, the valid regions of correspond to the line segments nearly parallel to the horizontal axis. Substituting the special choice into the series solutions (3.12), (3.23) and (3.32) yields the exact solution (3.3), (3.16) and (3.28). Also Figures 2 and 3 show the -curves obtained from the eleventh-order HAM and NHAM approximation solutions of (3.35) and (3.36). In Figure 4 we obtain numerical solution of the Genesio equation using the eleventh-order HAM and NHAM approximation. It is demonstrated that the HAM and NHAM solutions agree very well with the solutions obtained by the seven- and eight-order Runge-Kutta method (RK78). Moreover we conclude that the proposed algorithm given by NHAM is more stable than the classical HAM.

*Remarks 1. *Equation (3.35) represented by Genesio [33] as a system includes a simple square part and three simple ordinary differential equations that depend on three positive real parameters. Bataineh et al. [19] discussed the behavior of this system in the interval by using HAM, so according to Figure 4 we conclude that the behavior of numerical solution (3.35) is more stable than the numerical solution obtained by [19] using the classical HAM.

#### 4. Conclusions

In this paper, the homotopy analysis method HAM was applied to solve a class of linear and nonlinear th-order IVPs and the Genesio equation. HAM provides us with a convenient way of controlling the convergence of approximation series, which is a fundamental qualitative difference in analysis between HAM and other methods. The illustrative examples suggest that HAM is a powerful method for nonlinear problems in science and engineering.

#### Acknowledgments

The authors would like to acknowledge the financial support received from the MOSTI Sciencefund Grants: 04-01-02-SF0177 and the SAGA Grant STGL-011-2006 (P24c).

#### References

- S.-J. Liao,
*The proposed homotopy analysis techniques for the solution of nonlinear problems*, Ph.D. dissertation, Shanghai Jiao Tong University, Shanghai, China, 1992. - S.-J. Liao,
*Beyond Perturbation: Introduction to the Homotopy Analysis Method*, vol. 2 of*CRC Series: Modern Mechanics and Mathematics*, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2004. View at: MathSciNet - S.-J. Liao, “An approximate solution technique not depending on small parameters: a special example,”
*International Journal of Non-Linear Mechanics*, vol. 30, no. 3, pp. 371–380, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S.-J. Liao, “A kind of approximate solution technique which does not depend upon small parameters. II. An application in fluid mechanics,”
*International Journal of Non-Linear Mechanics*, vol. 32, no. 5, pp. 815–822, 1997. View at: Publisher Site | Google Scholar | MathSciNet - S.-J. Liao, “An explicit, totally analytic approximate solution for Blasius' viscous flow problems,”
*International Journal of Non-Linear Mechanics*, vol. 34, no. 4, pp. 759–778, 1999. View at: Publisher Site | Google Scholar | MathSciNet - S.-J. Liao, “On the homotopy analysis method for nonlinear problems,”
*Applied Mathematics and Computation*, vol. 147, no. 2, pp. 499–513, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S.-J. Liao and I. Pop, “Explicit analytic solution for similarity boundary layer equations,”
*International Journal of Heat and Mass Transfer*, vol. 47, no. 1, pp. 75–85, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S.-J. Liao, “Comparison between the homotopy analysis method and homotopy perturbation method,”
*Applied Mathematics and Computation*, vol. 169, no. 2, pp. 1186–1194, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S.-J. Liao, “A new branch of solutions of boundary-layer flows over an impermeable stretched plate,”
*International Journal of Heat and Mass Transfer*, vol. 48, no. 12, pp. 2529–2539, 2005. View at: Publisher Site | Google Scholar - M. Ayub, A. Rasheed, and T. Hayat, “Exact flow of a third grade fluid past a porous plate using homotopy analysis method,”
*International Journal of Engineering Science*, vol. 41, no. 18, pp. 2091–2103, 2003. View at: Publisher Site | Google Scholar | MathSciNet - T. Hayat, M. Khan, and S. Asghar, “Homotopy analysis of MHD flows of an Oldroyd 8-constant fluid,”
*Acta Mechanica*, vol. 168, no. 3-4, pp. 213–232, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH - T. Hayat and M. Khan, “Homotopy solutions for a generalized second-grade fluid past a porous plate,”
*Nonlinear Dynamics*, vol. 42, no. 4, pp. 395–405, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. Tan and S. Abbasbandy, “Homotopy analysis method for quadratic Riccati differential equation,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 13, no. 3, pp. 539–546, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S. Abbasbandy, “The application of homotopy analysis method to nonlinear equations arising in heat transfer,”
*Physics Letters A*, vol. 360, no. 1, pp. 109–113, 2006. View at: Publisher Site | Google Scholar | MathSciNet - S. Abbasbandy, “The application of homotopy analysis method to solve a generalized Hirota-Satsuma coupled KdV equation,”
*Physics Letters A*, vol. 15, pp. 1–6, 2006. View at: Google Scholar - S. Abbasbandy, “Approximate solution for the nonlinear model of diffusion and reaction in porous catalysts by means of the homotopy analysis method,”
*Chemical Engineering Journal*, vol. 136, no. 2-3, pp. 144–150, 2008. View at: Publisher Site | Google Scholar - S. Abbasbandy and S.-J. Liao, “A new modification of false position method based on homotopy analysis method,”
*Applied Mathematics and Mechanics*, vol. 29, no. 2, pp. 223–228, 2008. View at: Publisher Site | Google Scholar | MathSciNet - A. S. Bataineh, M. S. M. Noorani, and I. Hashim, “Modified homotopy analysis method for solving systems of second-order BVPs,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 14, no. 2, pp. 430–442, 2009. View at: Publisher Site | Google Scholar | MathSciNet - A. S. Bataineh, M. S. M. Noorani, and I. Hashim, “Solving systems of ODEs by homotopy analysis method,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 13, no. 10, pp. 2060–2070, 2008. View at: Publisher Site | Google Scholar | MathSciNet - A. S. Bataineh, M. S. M. Noorani, and I. Hashim, “Solutions of time-dependent Emden-Fowler type equations by homotopy analysis method,”
*Physics Letters A*, vol. 371, no. 1-2, pp. 72–82, 2007. View at: Publisher Site | Google Scholar - A. S. Bataineh, M. S. M. Noorani, and I. Hashim, “The homotopy analysis method for Cauchy reaction-diffusion problems,”
*Physics Letters A*, vol. 372, no. 5, pp. 613–618, 2008. View at: Publisher Site | Google Scholar | MathSciNet - A. S. Bataineh, M. S. M. Noorani, and I. Hashim, “Series solution of the multispecies Lotka-Volterra equations by means of the homotopy analysis method,”
*Differential Equations & Nonlinear Mechanics*, vol. 2008, Article ID 816787, 14 pages, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. S. Bataineh, M. S. M. Noorani, and I. Hashim, “Approximate analytical solutions of systems of PDEs by homotopy analysis method,”
*Computers & Mathematics with Applications*, vol. 55, no. 12, pp. 2913–2923, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - A. S. Bataineh, M. S. M. Noorani, and I. Hashim, “Homotopy analysis method for singular IVPs of Emden-Fowler type,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 14, no. 4, pp. 1121–1131, 2009. View at: Publisher Site | Google Scholar | MathSciNet - I. Hashim, O. Abdulaziz, and S. Momani, “Homotopy analysis method for fractional IVPs,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 14, no. 3, pp. 674–684, 2009. View at: Publisher Site | Google Scholar | MathSciNet - K. Yabushita, M. Yamashita, and K. Tsuboi, “An analytic solution of projectile motion with the quadratic resistance law using the homotopy analysis method,”
*Journal of Physics A*, vol. 40, no. 29, pp. 8403–8416, 2007. View at: Publisher Site | Google Scholar | MathSciNet - J. R. Cash, “A variable step Runge-Kutta-Nyström integrator for reversible systems of second order initial value problems,”
*SIAM Journal on Scientific Computing*, vol. 26, no. 3, pp. 963–978, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - H. Ramos and J. Vigo-Aguiar, “Variable-stepsize Chebyshev-type methods for the integration of second-order I.V.P.'s,”
*Journal of Computational and Applied Mathematics*, vol. 204, no. 1, pp. 102–113, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - H. Ramos and J. Vigo-Aguiar, “Variable stepsize Störmer-Cowell methods,”
*Mathematical and Computer Modelling*, vol. 42, no. 7-8, pp. 837–846, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - F. Yahaya, I. Hashim, E. S. Ismail, and A. K. Zulkifle, “Direct solutions of $n\text{th}$ order initial value problems in decomposition series,”
*International Journal of Nonlinear Sciences and Numerical Simulation*, vol. 8, no. 3, pp. 385–392, 2007. View at: Google Scholar - M. S. H. Chowdhury and I. Hashim, “Direct solutions of $n\text{th}$-order initial value problems by homotopy-perturbation method,”
*International Journal of Computer Mathematics*. In press. View at: Publisher Site | Google Scholar - J.-H. He, “Homotopy perturbation method: a new nonlinear analytical technique,”
*Applied Mathematics and Computation*, vol. 135, no. 1, pp. 73–79, 2003. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. Genesio and A. Tesi, “Harmonic balance methods for the analysis of chaotic dynamics in nonlinear systems,”
*Automatica*, vol. 28, no. 3, pp. 531–548, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH

#### Copyright

Copyright © 2009 A. Sami Bataineh et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.