Analysis of the new homotopy perturbation method for linear and nonlinear problems

Ali Demir; Sertaç Erman; Berrak Özgür; Esra Korkmaz

doi:10.1186/1687-2770-2013-61

Research
Open Access

Analysis of the new homotopy perturbation method for linear and nonlinear problems

Ali Demir¹Email author,
Sertaç Erman¹,
Berrak Özgür¹ and
Esra Korkmaz²

Boundary Value Problems20132013:61

https://doi.org/10.1186/1687-2770-2013-61

Received: 14 December 2012
Accepted: 6 March 2013
Published: 26 March 2013

The Erratum to this article has been published in Boundary Value Problems 2015 2015:72

Abstract

In this article, a new homotopy technique is presented for the mathematical analysis of finding the solution of a first-order inhomogeneous partial differential equation (PDE) $u_{x} (x, y) + a (x, y) u_{y} (x, y) + b (x, y) g (u) = f (x, y)$ . The homotopy perturbation method (HPM) and the decomposition of a source function are used together to develop this new technique. The homotopy constructed in this technique is based on the decomposition of a source function. Various decompositions of source functions lead to various homotopies. Using the fact that the decomposition of a source function affects the convergence of a solution leads us to development of a new method for the decomposition of a source function to accelerate the convergence of a solution. The purpose of this study is to show that constructing the proper homotopy by decomposing $f (x, y)$ in a correct way determines the solution with less computational work than using the existing approach while supplying quantitatively reliable results. Moreover, this method can be generalized to all inhomogeneous PDE problems.

Keywords

Exact Solution
Boundary Value Problem
Source Function
Homotopy Analysis Method
Computational Work

1 Introduction

Many problems in the fields of physics, engineering and biology are modeled by linear and nonlinear PDEs. In recent years, the homotopy perturbation method (HPM) has been employed to solve these PDEs [1–6]. HPM has been used extensively to solve nonlinear boundary and initial value problems. Therefore HPM is of great interest to many researchers and scientists. HPM, first presented by Ji Huan He [7–9], is a powerful mathematical tool to investigate a wide variety of problems arising in different fields. It is obtained by successfully coupling homotopy theory in topology with perturbation theory. In HPM, a complicated problem under study is continuously deformed into a simple problem which is easy to solve to obtain an analytic or approximate solution [10].

In this work, a new homotopy perturbation technique is proposed to find the solution $u (x, y)$ based on the decomposition of a right-hand side function $f (x, y)$ which leads to the construction of new homotopies. It is shown that decomposing $f (x, y)$ in a correct way, requiring less computational work than the existing approach, helps us to determine the solution. The results reveal that the proposed method is very effective and simple.

The paper is organized as follows. In Section 2, an analysis of the new homotopy perturbation method is given. The construction of a new homotopy based on the decomposition of a source function for a first-order inhomogeneous PDE is covered in Section 3. Some examples are given to illustrate the construction of a new homotopy in Section 4. Finally, some concluding remarks are given in Section 5.

2 New homotopy perturbation method

To illustrate the basic ideas of the homotopy analysis method, we consider the following nonlinear differential equation:

A (u) - f (r) = 0, r \in Ω

(1)

with the boundary conditions

B (u, \frac{\partial u}{\partial n}) = 0, r \in Γ,

(2)

where A is a general differential operator, B is a boundary operator, $f (r)$ is a known analytical function, and Γ is the boundary of domain Ω.

The operator A in (1) can be rewritten as a sum of L and N, where L and N are linear and nonlinear parts of A, respectively, as follows:

L (u) + N (u) - f (r) = 0 .

By the homotopy technique, we construct the homotopy

H (v, p) = (1 - p) (L (v) - L (u_{0})) + p (A (v) - f (r)) = 0,

(3)

which is equivalent to

H (v, p) = L (v) - L (u_{0}) + p L (u_{0}) + p (N (v) - f (r)) = 0,

(4)

where

p is an embedding parameter, $u_{0}$ is an initial approximation of (1), which satisfies the boundary conditions. As p changes from zero to unity, $v (r, p)$ changes from $u_{0}$ to $u (r)$ . In this technique, the convergence of a solution depends on the choice of $u_{0}$ , that is, we can have different approximate solutions for different $u_{0}$ .

Let us decompose the source function as

f (r) = f_{1} (r) + f_{2} (r)

. If we take

L (u_{0}) = f_{1} (r)

in (3), we obtain the following homotopy:

H (v, p) = (1 - p) (L (v) - f_{1} (r)) + p (A (v) - f (r)) = 0,

(5)

which is equivalent to

H (v, p) = L (v) - f_{1} (r) + p (N (v) - f_{2} (r)) = 0 .

(6)

Obviously, from (6) we have

As the embedding parameter p changes from zero to unity, $v (r, p)$ changes from $L^{- 1} (f_{1} (r))$ to $u (r)$ .

According to He’s homotopy perturbation method, we can first use the embedding parameter p as a small parameter and assume that the solution of (6) can be written as a power series in p as follows:

v = v_{0} + p v_{1} + p^{2} v_{2} + p^{3} v_{3} + \dots .

(7)

Setting

p = 1

, we get the approximate solution of (1)

u = lim_{p \to 1} v = v_{0} + v_{1} + v_{2} + v_{3} + \dots .

In the next section, it is shown that the decomposition of the right-hand side function has a great effect on the amount of calculation and the speed of convergence of the solution.

3 Construction of a new homotopy based on the decomposition of a source function

Let us consider the following boundary value problem with the following inhomogeneous PDE:

(8)

(9)

where a, b, g and f are continuous functions in some region of the plane and

g (0) = 0

. By solving this boundary value problem by the homotopy perturbation method, we obtain an approximate or exact solution

u (x, y)

. Before proceeding further, let us introduce the integral operator S defined in the following form:

S (\cdot) = \int_{0}^{x} (\cdot) d x .

(10)

Then the derivative of operator S with respect to y is defined as

S_{y} (\cdot) = \frac{\partial}{\partial y} \int_{0}^{x} (\cdot) d x .

Rewriting

f (x, y)

as a sum of two functions

f (x, y) = f_{1} (x, y) + f_{2} (x, y)

and then constructing a homotopy in equation (6), we have

H (v, p) = (1 - p) (v_{x} - f_{1}) + p (v_{x} + a (x, y) v_{y} + b (x, y) g (v) - f),

(11)

which is equivalent to

H (v, p) = v_{x} (x, y) - f_{1} (x, y) + p (a (x, y) v_{y} (x, y) + b (x, y) g (v (x, y)) - f_{2} (x, y)) = 0 .

(12)

Substituting (7) into (12), and equating the coefficient of the terms by the same power in p, we have

(13)

If there exists the relationship

a (x, y) [S_{y} (f_{1} (x, y)) + h_{y} (y)] + b (x, y) g (S (f_{1} (x, y)) + h (y)) = f_{2} (x, y)

(14)

between

f_{1} (x, y)

and

f_{2} (x, y)

, then we have from (13)

{(v_{1})}_{x} = 0, v_{1} (0, y) = 0 \Rightarrow v_{1} = 0

and

Hence the approximate or exact solution of problem (8)-(9) is obtained as

u (x, y) = v_{0} (x, y),

and the source function is obtained from (14) in the following form:

f (x, y) = f_{1} + a (x, y) [S_{y} (f_{1}) + h_{y} (y)] + b (x, y) g (S (f_{1}) + h (y)) .

(15)

Therefore equation (15) is a necessary condition to accelerate the convergence. If equation (15) has a solution, then we obtain the approximate or exact solution of problem (8)-(9) in two steps.

However, it is not always possible to decompose the source function

f (x, y)

in such a way that the functions

f_{1} (x, y)

and

f_{2} (x, y)

have the relationship in (14). If we have such a case, then we are looking for an arbitrary

P (x, y)

such that the functions

f_{1} (x, y)

and

f_{2} (x, y)

have the following relationship:

a (x, y) [S_{y} (f_{1}) + h_{y} (y)] + b (x, y) g (S (f_{1}) + h (y)) = f_{2} + P (x, y) .

(16)

In this case, we get the approximate or exact solution of the problem in more than two steps. Moreover, we can get the solution in the form of series.

4 Analysis of the new homotopy perturbation method for linear problems

In this section we illustrate the theory of the new homotopy perturbation method given in Sections 2 and 3 for some special

f (x, y)

in the following linear problem:

(17)

(18)

where a and b are constants.

4.1 Case 1: the source function $f (x, y)$ is a polynomial

We consider that

h (y) = 0

and

f (x, y)

is an n th-order polynomial in problem (17)-(18). Hence

f (x, y)

can be written in the following form:

f (x, y) = \sum_{k = 0}^{n} \sum_{α + β = k} A_{α β} x^{α} y^{β},

(19)

where $A_{α β}$ are constants and α, β are natural numbers.

If the polynomial

f (x, y)

is decomposed as

f (x, y) = f_{1} (x, y) + a S_{y} (f_{1} (x, y)) + b S (f_{1} (x, y))

(20)

from (15), we can get the solution of the problem in two steps. We take

f_{1} (x, y)

as an n th-order polynomial given as

f_{1} (x, y) = \sum_{k = 0}^{n} \sum_{α + β = k} c_{α β} x^{α} y^{β},

(21)

where

c_{α β}

are constants. Then

S (f_{1} (x, y))

becomes

S (f_{1} (x, y)) = \sum_{k = 0}^{n} \sum_{α + β = k} \frac{c_{α β}}{α + 1} x^{α + 1} y^{β},

(22)

and

S_{y} (f_{1} (x, y))

becomes

S_{y} (f_{1} (x, y)) = \sum_{k = 0}^{n} \underset{β > 1}{\sum_{α + β = k}} \frac{β c_{α β}}{α + 1} x^{α + 1} y^{β - 1} .

(23)

In order to determine the unknown coefficients

c_{α β}

in terms of

A_{α β}

, we substitute (21), (22), and (23) into (20)

\begin{array}{rcl} f (x, y) & = & \sum_{k = 0}^{n} \sum_{α + β = k} c_{α β} x^{α} y^{β} + \sum_{k = 0}^{n} \underset{β > 1}{\sum_{α + β = k}} \frac{β a c_{α β}}{α + 1} x^{α + 1} y^{β - 1} \\ + \sum_{k = 0}^{n} \sum_{α + β = k} \frac{b c_{α β}}{α + 1} x^{α + 1} y^{β}, \end{array}

(24)

and then using (19), we get the following equations:

\begin{array}{rcl} A_{00} & = & c_{00}, \\ A_{10} & = & c_{10} + b c_{00}, \\ A_{01} & = & c_{01}, \\ A_{20} & = & c_{20} + \frac{b}{2} c_{10}, \\ A_{02} & = & c_{02}, \\ A_{11} & = & c_{11} + 2 a c_{02} + b c_{01}, \\ ⋮ \end{array}

Then we obtain

\begin{array}{rcl} c_{00} & = & A_{00}, \\ c_{10} & = & A_{10} - b A_{00}, \\ c_{01} & = & A_{01}, \\ c_{20} & = & A_{20} - \frac{b}{2} (A_{10} - b A_{00}), \\ c_{02} & = & A_{02}, \\ c_{11} & = & A_{11} - 2 a A_{02} - b A_{01}, \\ ⋮ \end{array}

As a result, constructing the following homotopy:

H (v, p) = (1 - p) (v_{x} - f_{1} (x, y)) + p (v_{x} + a v_{y} + b v - f (x, y)) = 0

leads us to reaching the solution in two steps.

4.2 Case 2: the source function $f (x, y)$ is a sum of two functions $r (x)$ and $t (y)$

Let us take

f (x, y) = r (x) + t (y)

in problem (17)-(18). Since

f (x, y)

is a continuous function,

r (x)

and

t (y)

are also continuous functions. Based on (15),

f (x, y) = r (x) + t (y)

is decomposed as follows:

f (x, y) = r_{1} (x) + t_{1} (y) + a S_{y} (r_{1} (x) + t_{1} (y)) + a h_{y} (y) + b S (r_{1} (x) + t_{1} (y)) + b h (y) .

(25)

Then we can get the solution of the problem in two steps. Hence the function

f (x, y)

can be rewritten in the following form:

f (x, y) = r_{1} (x) + t_{1} (y) + a t_{1 y} (y) x + a h_{y} (y) + b \int_{0}^{x} r_{1} (x) d x + b t_{1} (y) x + b h (y) .

(26)

Since

f (x, y) = r (x) + t (y)

, we have

a t_{1 y} (y) x + b t_{1} (y) x = 0 for x \neq 0 .

(27)

The solutions of the above ordinary differential equation are

t_{1} (y) = 0

(28)

and

t_{1} (y) = e^{- \frac{b}{a} y} .

(29)

On the other hand, we have

t (y) = a h_{y} (y) + b h (y) + t_{1} (y)

(30)

and

r (x) = b \int_{0}^{x} r_{1} (x) d x + r_{1} (x) .

(31)

If either (28) or (29) satisfy equation (30), and equation (31) has a solution, then it is possible to decompose the function

f (x, y)

to accelerate the convergence of the solution. As a result, by constructing the following homotopy:

H (v, p) = (1 - p) (v_{x} - r_{1} (x) - t_{1} (y)) + p (v_{x} + a v_{y} + b v - r (x) - t (y)) = 0,

we reach the solution in two steps.

5 Numerical examples

5.1 Example 1

Consider the inhomogeneous linear boundary value problem (BVP) with constant coefficients

\begin{aligned} u_{x} - u_{y} + u = e^{y} + e^{x}, \\ u (0, y) = e^{y} . \end{aligned}

(32)

By constructing the following homotopy:

H (v, p) = (1 - p) (v_{x} - r_{1} (x) - t_{1} (y)) + p (v_{x} - v_{y} + v - e^{x} - e^{y}) = 0,

(33)

which is equivalent to

H (v, p) = v_{x} - r_{1} (x) - t_{1} (y) + p (- v_{y} + v + r_{1} (x) + t_{1} (y) - e^{x} - e^{y}) = 0,

(34)

we get the functions

r_{1} (x)

,

t_{1} (y)

as it is explained in Section 4.2. It is obvious that

t_{1} (y) = e^{y}

satisfies equation (30). Moreover, from equation (31),

r_{1} (x)

can be found as follows:

r_{1} (x) = \frac{e^{x} + e^{- x}}{2} .

(35)

If we put the function

r_{1} (x)

and

t_{1} (y)

in the homotopy (33) or (34), we get

H (v, p) = v_{x} - \frac{e^{x} + e^{- x}}{2} - e^{y} + p (- v_{y} + v + \frac{e^{- x} - e^{x}}{2}) = 0,

(36)

and we get the following:

Hence, the solution

u (x, y)

becomes

u (x, y) = v_{0} = \frac{e^{x} - e^{- x}}{2} + e^{y} x + e^{y},

(37)

which is the exact solution of the problem with minimum amount of calculation.

5.2 Example 2

Consider the following inhomogeneous linear BVP with variable coefficients:

\begin{aligned} u_{x} + y u_{y} - u = 2 y^{2} + 2 x y^{2}, \\ u (0, y) = 0 . \end{aligned}

(38)

In this problem, the right-hand side function

f (x, y)

is a third-order polynomial. From (15), we have

f (x, y) = f_{1} (x, y) + y S_{y} (f_{1} (x, y)) - S (f_{1} (x, y)) .

(39)

Based on the source function

f (x, y) = 2 y^{2} + 2 x y^{2}

, if we take

f_{1} (x, y)

as

f_{1} (x, y) = a_{1} x^{3} + a_{2} x^{2} y + a_{3} x y^{2} + a_{4} y^{3} + a_{5} x^{2} + a_{6} x y + a_{7} y^{2} + a_{8} x + a_{9} y + a_{0}

(40)

and substitute (40) into (39), we obtain

\begin{array}{rcl} a_{7} & = & 2, \\ a_{1} & = & a_{2} = a_{3} = a_{4} = a_{5} = a_{6} = a_{8} = a_{9} = a_{0} = 0 . \end{array}

Based on these results, we have

f_{1} (x, y) = 2 y^{2}

,

f_{2} (x, y) = 2 x y^{2}

and the homotopy is constructed in the following form:

H (v, p) = v_{x} - 2 y^{2} + p (y v_{y} - v - 2 x y^{2}) = 0,

(41)

and we get the following:

Hence, we obtain the exact solution in the following form:

u (x, y) = v_{0} = 2 x y^{2}

(42)

with short-length calculation.

5.3 Example 3

Let us find the solution of following BVP:

\begin{aligned} u_{x} + u_{y} - x u = y e^{x y} + x, \\ u (0, y) = 0 . \end{aligned}

(43)

As in the previous examples, using (15) we get

y e^{x y} + x = f_{1} + S_{y} (f_{1}) - x S (f_{1}) .

(44)

Based on the source function

f (x, y) = y e^{x y} + x

, we conclude that

f_{1} (x, y)

is in the following form:

f_{1} (x, y) = a_{1} e^{x y} + a_{2} x e^{x y} + a_{3} x .

(45)

Substituting (45) into (44), we obtain

\begin{array}{rcl} a_{1} & = & a_{2} = 0, \\ a_{3} & = & 1 . \end{array}

Now, these results let us take

f_{1} (x, y) = y e^{x y}

,

f_{2} (x, y) = x

and construct the homotopy in the following form:

H (v, p) = v_{x} - y e^{x y} + p (v_{y} - x v - x) = 0,

(46)

which leads to the following equations:

Hence, the exact solution becomes

u (x, y) = v_{0} = e^{x y} - 1,

(47)

which is obtained by minimum amount of calculations.

5.4 Example 4

Let us find the solution of the following first-order non-linear BVP:

\begin{aligned} u_{x} + u_{y} - u^{2} = - e^{2 x} + 3 e^{x} - 1, \\ u (0, y) = 0 . \end{aligned}

(48)

Using (15) we get

- e^{2 x} + 3 e^{x} - 1 = f_{1} + S_{y} (f_{1}) - {[S (f_{1})]}^{2} .

(49)

Based on the source function

f (x, y) = - e^{2 x} + 3 e^{x} - 1

, we find

f_{1} (x, y)

is in the following form:

f_{1} (x, y) = a_{1} e^{x} + a_{2} e^{2 x} + a_{3} .

(50)

Substituting (50) into (49), we obtain

\begin{array}{rcl} a_{1} & = & 1, \\ a_{2} & = & a_{3} = 0 . \end{array}

Now we can take

f_{1} (x, y) = e^{x}

,

f_{2} (x, y) = - e^{2 x} + 2 e^{x} - 1

and construct the homotopy in the following form:

H (v, p) = v_{x} - e^{x} + p (v_{y} - v^{2} + e^{2 x} - 2 e^{x} + 1) = 0,

(51)

which leads to the following equations:

Hence, we obtain the exact solution

u (x, y) = v_{0} = e^{x} - 1

(52)

with short-length calculation.

6 Conclusion

In this paper, we employ a new homotopy perturbation method to obtain the solution of a first-order inhomogeneous PDE. In this method, each decomposition of the source function $f (x, y)$ leads to a new homotopy. However, we develop a method to obtain the proper decomposition of $f (x, y)$ which lets us obtain the solution with minimum computation and accelerate the convergence of the solution. This study shows that the decomposition of the source function has a great effect on the amount of computations and the acceleration of the convergence of the solution. Comparing to the standard one, decomposing the source function $f (x, y)$ properly is a simple and very effective tool for calculating the exact or approximate solutions with less computational work.

Notes

Declarations

Acknowledgements

Dedicated to Professor Hari M Srivastava.

The research was supported by parts by the Scientific and Technical Research Council of Turkey (TUBITAK).

Authors’ Affiliations

(1)

Department of Mathematics, Kocaeli University Umuttepe, Izmit, Kocaeli, 41380, Turkey

(2)

Ardahan University, Merkez, Ardahan, 75000, Turkey

References

Biazar J, Azimi F: He’s homotopy perturbation method for solving Helmoltz equation. Int. J. Contemp. Math. Sci. 2008, 3: 739-744.MathSciNetGoogle Scholar
Biazar J, Ghazvini H: Convergence of the homotopy perturbation method for partial differential equations. Nonlinear Anal., Real World Appl. 2009, 10: 2633-2640. 10.1016/j.nonrwa.2008.07.002MathSciNetView ArticleGoogle Scholar
Sweilam NH, Khader MM: Exact solutions of some coupled nonlinear partial differential equations using the homotopy perturbation method. Comput. Math. Appl. 2009, 58: 2134-2141. 10.1016/j.camwa.2009.03.059MathSciNetView ArticleGoogle Scholar
Biazar J, Ghazvini H: Homotopy perturbation method for solving hyperbolic partial differential equations. Comput. Math. Appl. 2008, 56: 453-458. 10.1016/j.camwa.2007.10.032MathSciNetView ArticleGoogle Scholar
Junfeng L: An analytical approach to the sine-Gordon equation using the modified homotopy perturbation method. Comput. Math. Appl. 2009, 58: 2313-2319. 10.1016/j.camwa.2009.03.071MathSciNetView ArticleGoogle Scholar
Neamaty A, Darzi R: Comparison between the variational iteration method and the homotopy perturbation method for the Sturm-Liouville differential equation. Bound. Value Probl. 2010., 2010: Article ID 317369Google Scholar
He JH: Homotopy perturbation technique. Comput. Methods Appl. Mech. Eng. 1999, 178: 257-262. 10.1016/S0045-7825(99)00018-3View ArticleGoogle Scholar
He JH: A coupling method of homotopy technique and a perturbation technique for non-linear problems. Int. J. Non-Linear Mech. 2000, 35: 37-43. 10.1016/S0020-7462(98)00085-7View ArticleGoogle Scholar
He JH: Homotopy perturbation method: a new nonlinear analytical technique. Appl. Math. Comput. 2003, 135: 73-79. 10.1016/S0096-3003(01)00312-5MathSciNetView ArticleGoogle Scholar
He JH: Comparison of homotopy method and homotopy analysis method. Appl. Math. Comput. 2004, 156: 527-539. 10.1016/j.amc.2003.08.008MathSciNetView ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Analysis of the new homotopy perturbation method for linear and nonlinear problems

4.1 Case 1: the source function f ( x , y ) is a polynomial

4.2 Case 2: the source function f ( x , y ) is a sum of two functions r ( x ) and t ( y )

5.1 Example 1

5.2 Example 2

5.3 Example 3

5.4 Example 4

Acknowledgements

4.1 Case 1: the source function $f (x, y)$ is a polynomial

4.2 Case 2: the source function $f (x, y)$ is a sum of two functions $r (x)$ and $t (y)$