Abstract
The paper presents the optimal homotopy perturbation method, which is a new method to find approximate analytical solutions for nonlinear partial differential equations. Based on the well-known homotopy perturbation method, the optimal homotopy perturbation method presents an accelerated convergence compared to the regular homotopy perturbation method. The applications presented emphasize the high accuracy of the method by means of a comparison with previous results.
1. Introduction
A significant part of the natural technological processes and phenomena are usually modelled by means of partial differential equations. Thus it is very important to find solutions of these equations. However, as in many cases the computation of exact solutions is not possible; numerical or approximate solutions must be computed.
In the present paper we present a new approximation method named optimal homotopy perturbation method (OHPM). As the name suggests, the method is based on the homotopy perturbation method [1, 2] and its main feature is an accelerated convergence compared to the regular homotopy perturbation method.
The applications presented show that the approximate solutions obtained by using OHPM requires less iterations in comparison with other iterative methods for approximate solutions of partial differential equations.
2. The Optimal Homotopy Perturbation Method
We consider the following problem:
| (1) |
Here L is a linear operator, u(x, t) is the unknown function, N is a nonlinear operator, f(x, t) is a known, given function, and B is a boundary operator.
If is an approximate solution of (1), we evaluate the error obtained by replacing the exact solution u with the approximate one as the remainder:
| (2) |
The first step in applying OHPM is to attach to the problem (1) the family of equations (see [1, 2]):
| (3) |
where p ∈ [0,1] is an embedding parameter and Φ(x, t, p) is an unknown function.
When p = 0, Φ(x, t, 0) = u 0(x, t) and when p = 1, Φ(x, t, 1) = u(x, t). Thus, as p increases from 0 to 1, the solution Φ(x, t, p) varies from u 0(x, t) to the solution u(x, t), where u 0(x, t) is obtained from the following:
| (4) |
We consider the following expansion of Φ(x, t, p):
| (5) |
Substituting the relation (5) into (3), collecting the same powers of p, and equating each coefficient of the powers of p with zero we obtain
| (6) |
where N i, i ≥ 0 are the coefficients of p i in the nonlinear operator N:
| (7) |
We remark that u m, m ≥ 1 are obtained from the linear equations (6), which are easily solved together with the boundary conditions.
We denote f m = u 0 + u 1 + ⋯+u m.
We consider the set S m (m = 0,1, 2,…) containing the functions φ m0, φ m1, φ m2,…, φ mnm, chosen as linearly independent functions in the vector space of the continuous functions on the real domain Ω such that S m−1⊆S m and u 0 + u 1 + ⋯+u m is a real linear combination of these functions.
We remark that such a construction is always possible. For example we can choose S m = {u 0, u 1,…, u m}, m = 0,1, 2,…. In this case φ m0 = u 0, φ m1 = u 1, φ m2 = u 2,…, φ mnm = u m.
Definition 1 —
We call an HP-sequence of the problem (1) a sequence of functions {s m(x, t)}m∈N of the form s m(x, t) = ∑k=0 nm α m k φ mk, where m ∈ N, α m k ∈ R.
A function of the sequence is called an HP-function of the problem (1).
We call the HP-sequence {s m(x, t)}m∈N, convergent to the solution of the problem (1) if limm→∞R(x, t, s m(x, t)) = 0.
Definition 2 —
We call an ϵ-approximate HP-solution of the problem (1) on the real domain Ω an HP-function which satisfies the following condition:
(8) together with the boundary conditions from (1).
Definition 3 —
We call a weak δ-approximate HP-solution of the problem (1) on the real domain Ω an HP-function satisfying the relation , together with the boundary conditions from (1).
We will find a weak ϵ-approximate HP-solution of the type where m ≥ 0 and the constants c m k are calculated using the following steps.
-
(i)We substitute the approximate solution in (1) and obtain the following expression:
(9) -
(ii)We attach to the problem (1) the following real functional:
(10) -
where, by imposing the boundary conditions we can determine l ∈ N, l ≤ m such that c 0 m, c 1 m,…, c l m are computed as functions of c l+1 m, c l+2 m,…, c n m.
-
(iii)
We compute the values of as the values which give the minimum of the functional (10) and the values of again as functions of by using the boundary conditions.
-
(iv)Using the constants thus determined, we consider the HP-sequence
(11)
The following convergence theorem holds.
Theorem 4 —
The HP-sequence s m(x, t) from (11) satisfies the following property:
(12) Moreover, ∀ϵ > 0, ∃m 0 ∈ N such that ∀m ∈ N, m > m 0 it follows that s m(t) is a weak ϵ-approximate HP-solution of the problem (1).
Proof —
Based on the way the HP-function s m(x, t) is computed, the following inequality holds:
(13) It follows that
(14) We obtain
(15) From this limit we obtain that ∀ϵ > 0, ∃m 0 ∈ N such that ∀m ∈ N, m > m 0 it follows that s m(x, t) is a weak ϵ-approximate HP-solution of the problem (1).
Remark 5 —
Any ϵ-approximate HP-solution of the problem (1) is also a weak approximate HP-solution, but the opposite is not always true. It follows that the set of weak approximate HP-solutions of the problem (1) also contains the approximate HP-solutions of the problem.
Taking into account the above remark, in order to find ϵ-approximate HP-solutions of the problem (1) by the OHPM method we will first determine weak approximate HP-solutions, . If then is also an ϵ-approximate HP-solution of the problem.
3. Applications
In this section we apply OHPM to find approximate analytical solutions for the regularized long wave (RLW) equation.
The RLW equation is a nonlinear evolution equation. These kind of equations are frequently used to model a variety of physical phenomena such as ion-acoustic waves in plasma, magnetohydrodynamics waves in plasma, longitudinal dispersive waves in elastic rods, pressure waves in liquid gas bubble mixtures, and rotating flow down a tube.
The RLW equation was introduced in [3] where it was used to describe the behaviour of the undular bore.
For some restricted initial and boundary conditions, exact analytical solutions for the RLW equation were computed (see, e.g., [4]). However, in most cases it is not possible to find such exact analytical solutions and usually numerical methods are used. Among the numerical methods recently employed for RLW-type equations we mention finite difference methods [5–8], multistep mixed finite element methods [9], the method of lines [10], and meshless finite-point methods [11].
Taking into account the usefulness of analytical solutions versus numerical ones, various approximation methods were also employed to find approximate analytical solutions for various RLW-type equations, such as the homotopy perturbation method [12], the variational iteration method [12], the homotopy asymptotic method [13, 14], and the Riccati expansion method [15].
In the following, for two test problems presented in [12], we compare solutions obtained by using OHPM with previous results obtained by using the homotopy perturbation method and the variational iteration method.
3.1. Application 1
Our first application is the following RLW problem [12]:
| (16) |
In [12] approximate solutions of (16) are computed using the homotopy perturbation method (HPM) and the variational iteration method (VIM).
The exact solution of this problem is u e(x, t) = x/(t + 1).
The fifth order solution computed in [12] by using the variational iteration method is
| (17) |
The fifth order solution computed in [12] by using the homotopy perturbation method is of the form (5)
| (18) |
Using OHPM, the following steps are performed.
-
Choosing the same homotopy (3) as used in [12] we obtain the same solutions:
-
u 0(x, t) = x · (t + 1)
-
u 1(x, t) = −x · t · (2 + t + t 2/3)
-
u 2(x, t) = 2 · x · t 2 · (15 + 15 · t + 5 · t 2 + t 3)/15.
-
It follows that we obtain the sets S 0 = {x, x · t}, S 1 = {x · t, x · t 2, x · t 3}, S 2 = {x · t 2, x · t 3, x · t 4, x · t 5}.
We will compute a second order approximate solution, by taking into account the terms from S 0, S 1, and S 2 and we will compare this solution with the fifth order solutions from [12]. Our second order approximate solution will have the expression u OHPM(x, t) = c 0 · x + c 1 · x · t + c 2 · x · t 2 + c 3 · x · t 3 + c 4 · x · t 4 + c 5 · x · t 5.
Imposing the boundary condition u OHPM(x, 0) = x we obtain c 0 = 1.
Replacing this expression of c 0 in the expression of u OHPM we obtain the following:
u OHPM(x, t) = x + c 1 · x · t + c 2 · x · t 2 + c 3 · x · t 3 + c 4 · x · t 4 + c 5 · x · t 5.
We introduce u OHPM in the remainder R given by (2) and (9) and we compute the functional J(c 1, c 2, c 3, c 4, c 5) of (10).
We remark that while the expression of the functional is too long to be included here, the computation is simple and straightforward using a dedicated mathematical software (we used the Wolfram Mathematica 9 software).
We compute the minimum of the functional J and, by replacing the corresponding values of the parameters c 1, c 2, c 3, c 4, c 5, we obtain the following second order approximation:
.
Figure 1 presents the comparison of the absolute errors (computed as the absolute values of the differences between the exact solutions and the approximate solutions) corresponding to the fifth order approximation obtained by using HPM (red surface), to the fifth order approximation obtained by using VIM (blue surface) and to the second order approximation obtained by OHPM (green surface).
Figure 1.

The absolute differences corresponding to the HPM solution (red surface), VIM solution (blue surface), and OHPM solution (green surface) for problem (16).
Table 1 presents the same comparison for several values of x and t.
Table 1.
The absolute differences corresponding to the HPM solution (red surface), VIM solution (blue surface), and OHPM solution (green surface) for problem (16).
| HPM | VIM | OHPM | |
|---|---|---|---|
| x = t = 0 | 0 | 0 | 0 |
| x = t = 0.2 | 7.894 10−5 | 3.256 10−7 | 1.081 10−5 |
| x = t = 0.4 | 1.171 10−2 | 2.555 10−5 | 1.398 10−5 |
| x = t = 0.6 | 2.346 10−1 | 2.819 10−4 | 9.787 10−6 |
| x = t = 0.8 | 2.075 | 1.420 10−3 | 3.280 10−5 |
| x = t = 1 | 1.172 101 | 4.700 10−3 | 2.408 10−7 |
It is easy to see that, overall, the approximations obtained by using OHPM are much more accurate than the ones previously computed by using HPM and VIM. Moreover, our approximate solutions are not only more accurate but also, at the same time, present a much simpler expression since they are second order approximate solutions while the previous ones are fifth order approximate solutions.
3.2. Application 2
Our second application is the RLW problem (also from [12]):
| (19) |
Again in [12] approximate solutions of (16) are computed using the homotopy perturbation method (HPM) and the variational iteration method (VIM).
The exact solution of this problem is u e(x, t) = e −tsin(x).
The fourth order solution computed in [12] by using the variational iteration method is u VIM(x, t) = (1/24)(t 4 − 4t 3 + 12t 2 − 24t + 24)sin(x).
The third order solution computed in [12] by using the homotopy perturbation method is of the form (5) u HPM(x, t) = −(1/24)(t 4 + 4t 3 − 12t 2 + 24t − 24)sin(x).
Using OHPM, the following steps are performed.
-
Choosing the same homotopy (3) as used in [12] we obtain the same solutions:
-
u 0(x, t) = (t + 1) · sin(x)
-
u 1(x, t) = (1/2) · t · (t + 4)·(−sin(x))
-
u 2(x, t) = (1/6) · t 2 · (t + 6) · sin(x).
-
It follows that we obtain the sets S 0 = {sin(x), sin(x) · t}, S 1 = {sin(x) · t, sin(x) · t 2}, S 2 = {sin(x) · t 2, sin(x) · t 3}.
Hence we will compute a second order approximate solution of the following form:
u OHPM(x, t) = c 0 · sin(x) + c 1 · sin(x) · t + c 2 · sin(x) · t 2 + c 3 · sin(x) · t 3.
Imposing the boundary condition u OHPM(x, 0) = x we obtain c 0 = 1.
Replacing this expression of c 0 in the expression of u OHPM we obtain the following:
u OHPM(x, t) = sin(x) + c 1 · sin(x) · t + c 2 · sin(x) · t 2 + c 3 · sin(x) · t 3.
We introduce u OHPM in the remainder R given by (2) and (9) and we compute the functional J(c 1, c 2, c 3) of (10).
We compute the minimum of the functional J and, by replacing the corresponding values of the parameters c 1, c 2, c 3, we obtain the following second order approximation:
.
Figure 2 presents the comparison of the absolute errors corresponding to the third order approximation obtained by using HPM (red surface), to the fourth order approximation obtained by using VIM (blue surface), and to the second order approximation obtained by OHPM (green surface).
Figure 2.

The absolute differences corresponding to the HPM solution (red surface), VIM solution (blue surface), and OHPM solution (green surface) for problem (19).
Table 2 presents the same comparison for several values of x and t.
Table 2.
The absolute differences corresponding to the HPM solution (red surface), VIM solution (blue surface), and OHPM solution (green surface) for problem (19).
| HPM | VIM | OHPM | |
|---|---|---|---|
| x = t = 0 | 0 | 0 | 0 |
| x = t = 0.2 | 2.598 10−5 | 5.126 10−7 | 3.268 10−5 |
| x = t = 0.4 | 7.996 10−4 | 3.113 10−5 | 9.737 10−5 |
| x = t = 0.6 | 5.766 10−3 | 3.322 10−4 | 1.279 10−4 |
| x = t = 0.8 | 2.276 10−2 | 1.725 10−3 | 1.233 10−4 |
| x = t = 1 | 6.413 102 | 5.992 10−3 | 9.511 10−7 |
Again, overall, the approximations obtained by using OHPM are more accurate than the ones previously computed by using HPM and VIM while, at the same time, they present a much simpler expression.
4. Conclusions
In the present paper the new optimal homotopy perturbation method is introduced as a straightforward and efficient method to compute approximate solutions for nonlinear partial differential equations.
The optimal homotopy perturbation method has an accelerated convergence compared to the regular homotopy perturbation method, fact proved by the included applications. The method is a powerful one since not only were we capable to find more accurate approximations, but also the approximations computed consist of fewer terms than the previous solutions.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
References
- 1.He J-H. A coupling method of a homotopy technique and a perturbation technique for non-linear problems. International Journal of Non-Linear Mechanics. 2000;35(1):37–43. [Google Scholar]
- 2.He JH, He J-H. Recent development of the homotopy perturbation method. Topological Methods in Nonlinear Analysis. 2008;31(2):205–209. [Google Scholar]
- 3.Peregrine DH. Calculations of the development of an undular bore. Journal of Fluid Mechanics. 1966;25(2):321–330. [Google Scholar]
- 4.Benjamin TB, Bona JL, Mahony JJ. Model equations for long waves in non-linear dispersive systems. Philosophical Transactions of the Royal Society A. 1972;272:47–48. [Google Scholar]
- 5.Kutluay S, Esen A. A finite difference solution of the regularized long-wave equation. Mathematical Problems in Engineering. 2006;2006:14 pages.85743 [Google Scholar]
- 6.Hu J, Hu B, Xu Y. C-N difference schemes for dissipative symmetric regularized long wave equations with damping term. Mathematical Problems in Engineering. 2011;2011:16 pages.651642 [Google Scholar]
- 7.Pan X, Zhang L. Numerical simulation for general Rosenau-RLW equation: an average linearized conservative scheme. Mathematical Problems in Engineering. 2012;2012:15 pages.517818 [Google Scholar]
- 8.Hu J, Wang Y. A high-accuracy linear conservative difference scheme for Rosenau-RLW equation. Mathematical Problems in Engineering. 2013;2013:8 pages.870291 [Google Scholar]
- 9.Liu Y, Li H, Du Y, Wang J. Explicit multistep mixed finite element method for RLW equation. Abstract and Applied Analysis. 2013;2013:12 pages.768976 [Google Scholar]
- 10.Bakodah HO, Banaja MA. The method of lines solution of the regularized long-wave equation using Runge-Kutta time discretization method. Mathematical Problems in Engineering. 2013;2013:8 pages.804317 [Google Scholar]
- 11.Pérez Pozo L, Meneses R, Spa C, Durán O. A meshless finite-point approximation for solving the RLW equation. Mathematical Problems in Engineering. 2012;2012:22 pages.802414 [Google Scholar]
- 12.Ganji DD, Tari H, Jooybari MB. Variational iteration method and homotopy perturbation method for nonlinear evolution equations. Computers and Mathematics with Applications. 2007;54(7-8):1018–1027. [Google Scholar]
- 13.Nawaz R, Islam S, Shah IA, Idrees M, Ullah H. Optimal homotopy asymptotic method to nonlinear damped generalized regularized long-wave equation. Mathematical Problems in Engineering. 2013;2013:13 pages.503137 [Google Scholar]
- 14.Jafari H, Sayevand K, Tajadodi H, Baleanu D. Homotopy analysis method for solving Abel differential equation of fractional order. Central European Journal of Physics. 2013;11(10):1523–1527. [Google Scholar]
- 15.Abde-Salam EA-B, Yousif EA. Solution of nonlinear space-time fractional differential equations using the fractional Riccati expansion method. Mathematical Problems in Engineering. 2013;2013:6 pages.846283 [Google Scholar]
