Comparison between the Homotopy Perturbation Method and Homotopy Perturbation Transform Method

Abstract

In this paper, comparison of homotopy perturbation method (HPM) and homotopy perturbation transform method (HPTM) is made, revealing that homotopy perturbation transform method is very fast convergent to the solution of the partial differential equation. For illustration and more explanation of the idea, some examples are provided.

Share and Cite:

Elbadri, M. (2018) Comparison between the Homotopy Perturbation Method and Homotopy Perturbation Transform Method. Applied Mathematics, 9, 130-137. doi: 10.4236/am.2018.92009.

1. Introduction

Many problems in our life are modeled by linear and nonlinear partial differential equations. In recent years, various analytical methods proposed by researchers to solve these PDEs. However, it is still very difficult to obtain closed-form solutions. The homotopy perturbation method proposed by Ji-Huan He [1] [2] [3] [4] and employed by scientists and engineers [5] [6] [7] to solve many problems in engineering and science. And it has proved tremendously effective to solve these problems. In this letter, we use the coupling of homotopy perturbation method and Laplace transform named homotopy transform method (HPTM) [8] - [13] to compare the rate of convergent to the solution with standard homotopy perturbation method.

2. Homotopy Perturbation Method

To illustrate the basic ideas of the (HPM), we consider the following nonlinear differential equation

L ( u ) + Ν ( u ) f ( r ) = 0 (1)

With the boundary conditions

B ( u , u n ) = 0 , r Γ , (2)

where L is linear, while Ν is nonlinear, f ( r ) is a known analytic function, Γ is the boundary of the domain Ω .

Define a homotopy v ( r , p ) : Ω × [ 0 , 1 ] R which satisfies

Η ( v , p ) = ( 1 p ) [ L ( v ) L ( u 0 ) ] + p [ A ( v ) f ( r ) ] = 0 , p [ 0 , 1 ] , r Ω (3)

where p [ 0 , 1 ] is an embedding parameter, u 0 is an initial approximation of Equation (3) then

Η ( v , 0 ) = L ( v ) L ( u 0 ) = 0 , (4)

Η ( v , 1 ) = A ( v ) f ( r ) = 0 (5)

The changing process of p from zero to unity is just that of v ( r , p ) from trivial solution u 0 ( r ) to original solution u ( r ) , in topology this is called deformation, L ( v ) L ( u 0 ) and A ( v ) f ( r ) are called homotopic.

Here the imbedding parameter p can be considered as “small parameter”.

Assume that the solution of Equation (3) can be written as a power series in p

v = v 0 + p v 1 + p 2 v 2 + (6)

Setting p = 1 result in the approximate solution of Equation (6)

u = lim p 1 v = v 0 + v 1 + v 2 + (7)

3. Homotopy Perturbation Transform Method (HPTM)

To illustrate the basic ideas of the (HPTM), we consider the following nonlinear differential equation with the initial conditions of the form

D u ( x , t ) + R u ( x , t ) + Ν u ( x , t ) = g ( x , t ) (8)

u ( x , 0 ) = h ( x ) , u t ( x , 0 ) = f ( x ) . (9)

where D is the second order linear differential operator D = 2 t 2 , R is the

linear differential operator of less order than D; N represents the general nonlinear differential operator and g ( x , t ) is the source term.

Taking the Laplace transform (denoted by L) on both sides of Equation (8):

L [ D u ( x , t ) ] + L [ R u ( x , t ) ] + L [ Ν u ( x , t ) ] = L [ g ( x , t ) ] . (10)

s 2 L [ u ( x , t ) ] s u ( x , 0 ) u t ( x , 0 ) + L [ R u ( x , t ) ] + L [ Ν u ( x , t ) ] = L [ g ( x , t ) ] . (11)

Using the initial conditions:

L [ u ( x , t ) ] = h ( x ) s + f ( x ) s 2 + 1 s 2 L [ g ( x , t ) ] 1 s 2 L [ R u ( x , t ) ] 1 s 2 L [ Ν u ( x , t ) ] . (12)

Operating with Laplace inverse on both sides of Equation (12) gives

u ( x , t ) = G ( x , t ) L 1 [ 1 s 2 L [ R u ( x , t ) + Ν u ( x , t ) ] ] . (13)

where G ( x , t ) represents the term arising from the source term and the prescribed initial conditions. Now we apply the HPM

u ( x , t ) = n = 0 p n u n ( x , t ) (14)

And the nonlinear term can be decomposed as

Ν u ( x , t ) = n = 0 p n Η n ( u ) (15)

where Η n ( u ) are He’s polynomials given by

Η n ( u 0 , u 1 , , u n ) = ( 1 n ! n p n Ν ( i = 0 p i u i ) ) p = 0 , n = 0 , 1 , 2 , (16)

Substituting Equations (14) and (15) in Equation (13), we get

n = 0 u n ( x , t ) = G ( x , t ) p ( L 1 [ 1 s 2 L [ R n = 0 p n u n ( x , t ) + n = 0 p n Η n ( u ) ] ] ) . (17)

Comparing the coefficient of like powers of p, the following approximations are obtained.

p 0 : u 0 ( x , t ) = G ( x , t ) , p 1 : u 1 ( x , t ) = L 1 [ 1 s 2 L [ R u 0 ( x , t ) + Η 0 ( u ) ] ] , p 2 : u 2 ( x , t ) = L 1 [ 1 s 2 L [ R u 1 ( x , t ) + Η 1 ( u ) ] ] , p 3 : u 3 ( x , t ) = L 1 [ 1 s 2 L [ R u 2 ( x , t ) + Η 2 ( u ) ] ] ,

And so on.

4. Application

Example 1. Consider the inhomogeneous Advection problem [14]

u t + u u t = sin ( x + t ) 1 2 sin 2 ( x + t ) , u ( x , 0 ) = cos x (18)

Standard HPM: According to homotopy Equation (3) we have

v t u 0 t + p ( v v x + u 0 t + sin ( x + t ) + 1 2 sin 2 ( x + t ) ) = 0 (19)

And the solution for first few steps reads:

v 0 = cos x , v 1 = 1 2 t sin 2 x + cos ( x + t ) cos x + 1 4 cos 2 ( x + t ) 1 4 cos 2 x , v 2 = 1 4 t 2 sin x sin 2 x + 1 2 t 2 cos x cos 2 x sin x sin ( x + t ) + sin 2 x + cos x cos ( x + t ) + cos 2 x + t sin 2 x 1 8 sin x sin 2 ( x + t ) + 1 8 sin x sin 2 x + 1 4 cos x cos 2 ( x + t ) 1 4 cos x cos 2 x + 1 4 t sin x cos 2 x + 1 2 t cos x sin 2 x

Therefore, the approximate solution of Equation (19) can be written as

u = 1 16 ( cos x 2 t 2 cos x + 12 cos 2 x + 3 cos 3 x 6 t 2 cos 3 x + 16 cos ( x + t ) cos ( 2 t + x ) + 16 cos ( 2 x + 4 ) + 4 cos ( 2 x + 2 t ) 3 cos ( 3 x + 2 t ) 2 t sin x 8 t sin 2 x 6 t sin 3 x ) + (20)

HPTM: to solve Equation (18) by MPTM, taking the Laplace transform on the both sides, subject to the initial condition, we get

u ( x , s ) = cos x s + 1 s [ ( cos x s sin x 1 + s 2 ) 1 2 ( 2 cos 2 x + s sin 2 x 4 + s 2 ) ] 1 s L [ u u x ] (21)

Taking inverse Laplace transform, we get

u ( x , t ) = cos ( x + t ) + 1 4 cos 2 ( x + t ) 1 4 cos 2 x L 1 [ 1 s L [ u u x ] ] (22)

Now, we apply the homotopy perturbation method; we have

u ( x , t ) = n = 0 p n u n ( x , t ) (23)

n = 0 p n u n ( x , t ) = cos ( x + t ) + 1 4 cos 2 ( x + t ) 1 4 cos 2 x p ( L 1 [ 1 s L [ n = 0 p n Η n ] ] ) (24)

where Η n are He’s polynomials that represent the nonlinear terms.

The first few components of He’s polynomials, for example, are given by

Η 0 ( u ) = u 0 u 0 x , Η 1 ( u ) = u 0 u 1 x + u 1 u 0 x ,

Comparing the coefficient of like powers of p, we have

p 0 : u 0 ( x , t ) = cos ( x + t ) + 1 4 cos 2 ( x + t ) 1 4 cos 2 x ,

p 1 : u 1 ( x , t ) = L 1 [ 1 s L [ Η 0 ( u ) ] ] = 1 4 cos 2 ( x + t ) + 1 4 cos x + 1 64 cos 4 x + ,

It is important to recall here that the noise terms appear between the components u 0 ( x , t ) and u 1 ( x , t ) , more precisely, the noise terms

± 1 4 cos 2 ( x + t ) ± 1 4 cos 2 x between the components u 0 ( x , t ) and u 1 ( x , t ) can

be cancelled and the remaining terms of u 0 ( x , t ) still satisfy the equation.

The exact solution is therefore

u ( x , t ) = cos ( x + t ) (25)

Example 2. Consider the inhomogeneous non-linear Klein Gordon equation [15]

2 u t 2 2 u x 2 + u 2 = x cos t + x 2 cos 2 t (26)

Subject to the initial conditions

u ( x , 0 ) = x , u t ( x , 0 ) = 0 (27)

Standard HPM: According to homotopy Equation (3) we have

v 2 t 2 2 u 0 t 2 + p ( 2 u 0 x 2 2 v x 2 + v 2 + x cos t x 2 cos 2 t ) = 0 (28)

And the solution for first few steps reads:

v 0 = x v 1 = x + 1 8 x 2 3 4 x 2 t 2 + x cos t 1 8 x 2 cos 2 x v 2 = 1 16 x 2 + 1 8 t 2 t 4 24 2 x 2 + t 2 x 2 + x 3 16 t 2 x 3 8 + t 4 x 3 24 + 2 x 2 cos t 1 16 cos 2 x 1 16 x 3 cos 2 x

Therefore, the approximate solution of Equation (26) with conditions (27) can be written as

u ( x , t ) = 31 16 x 2 3 4 x 2 t 2 + 1 8 t 2 t 4 24 + t 2 x 2 + x 3 16 t 2 x 3 8 + t 4 x 3 24 + x cos t 1 8 x 2 cos 2 x + 2 x 2 cos t 1 16 cos 2 x 1 16 x 3 cos 2 x + (29)

HPTM: To solve Equation (26) by MPTM, taking the Laplace transform on the both sides, subject to the initial condition, we get

u ( x , s ) = x s x s ( 1 + s 2 ) + ( 2 + s 2 ) x 2 s 3 ( 4 + s 2 ) + 1 s L [ 2 u x 2 u 2 ] (30)

Taking inverse Laplace transform, we get

u ( x , t ) = x cos t 1 8 x 2 cos t + x 2 t 2 4 + x 2 8 + L 1 [ 1 s L [ 2 u x 2 u ] ] (31)

Now, we apply the homotopy perturbation method; we have

n = 0 p n u n ( x , t ) = x cos t 1 8 x 2 cos t + x 2 t 2 4 + x 2 8 + p ( L 1 [ 1 s L [ 2 x 2 n = 0 p n u n ( x , t ) [ n = 0 p n Η n ] ] ] ) (32)

The first few components of He’s polynomials, for example, are given by

Η 0 ( u ) = u 0 2 , Η 1 ( u ) = 2 u 0 u 1 ,

Comparing the coefficient of like powers of p, we have

p 0 : u 0 ( x , t ) = x cos t 1 8 x 2 cos t + x 2 t 2 4 + x 2 8 , p 1 : u 1 ( x , t ) = L 1 [ 1 s L [ 2 u 0 x 2 Η 0 ( u ) ] ] = 1 8 x 2 cos t x 2 t 2 4 x 2 8 + 1 64 x 4 cos 2 t +

The noise terms ± 1 8 x 2 cos t ± x 2 t 2 4 ± x 2 8 between the components u 0 ( x , t )

and u 1 ( x , t ) can be cancelled and the remaining terms of u 0 ( x , t ) still satisfy the equation.

The exact solution is therefore

u ( x , t ) = x cos t (33)

Example 3. Consider the following non homogeneous nonlinear PDE [16] :

2 u t 2 + 2 u x 2 + ( u x ) 2 = 2 x + t 4 , (34)

With the initial conditions

u ( x , 0 ) = 0 , u t ( x , 0 ) = a , (35)

Standard HPM: According to homotopy perturbation method we have:

v 2 t 2 2 u 0 t 2 + p ( 2 v x 2 + ( v x ) 2 + 2 u 0 x 2 2 x + t 4 ) = 0 (36)

Let’s ignore the first few steps and start from determining v i

v 0 = a t , v 1 = x t 2 + 1 30 t 6 , v 2 = 0 ,

v 3 = 1 30 t 6 , v k = 0 , k 4

Therefore, we obtain

v 0 = v 0 + v 1 + v 2 + v 3 + = a t + x t 2 . (37)

HPTM: To solve Equation (34) by MPTM, taking the Laplace transform on the both sides, subject to the initial condition, we get

u ( x , s ) = a s 2 + 2 x s 3 + 4 ! s 7 1 s 2 L [ 2 u x 2 + ( u x ) 2 ] (38)

Taking inverse Laplace transform, we get

u ( x , t ) = a t + x t 2 + t 6 30 + L 1 [ 1 s 2 L [ 2 u x 2 + ( u x ) 2 ] ] (39)

Now, we apply the homotopy perturbation method; we have

n = 0 p n u n ( x , t ) = a t + x t 2 + t 6 30 p ( L 1 [ 1 s 2 L [ 2 u x 2 + n = 0 p n Η n ( u ) ] ] ) (40)

The first few components of He’s polynomials, for example, are given by

Η 0 ( u ) = ( u 0 x ) 2 = t 4 , Η 1 ( u ) = 2 u 0 x u 1 x = 0 , Η 2 ( u ) = ( u 1 x ) 2 + 2 u 0 x u 2 x = 0 ,

Comparing the coefficient of like powers of p, we have

p 0 : u 0 ( x , t ) = a t + x t 2 + t 6 30 , p 1 : u 1 ( x , t ) = L 1 [ 1 s 2 ( L [ 2 u 0 x 2 ] + L [ Η 0 ( u ) ] ) ] = t 6 30 , p 2 : u 2 ( x , t ) = L 1 [ 1 s ( L [ 2 u 1 x 2 ] + L [ Η 1 ( u ) ] ) ] = 0 ,

u k ( x , t ) = 0 , k 2

Therefore, the exact solution is given by

u ( x , t ) = a t + x t 2 (41)

5. Conclusion

In this work, we compared HPTM with standard HPM, it is clear that the rate of convergence of HPTM is faster than HPM. In most cases, the number of calculations in the HPTM is less than HPM. Furthermore, the exact solution can easily be obtained by using HPTM in comparison to HPM in some equations. The HPTM usually results in the exact solution for the inhomogeneous problem, even for the problem which HPM leads to an approximate solution.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1] He, J.-H. (1999) Homotopy Perturbation Technique. Computer Methods in Applied Mechanics and Engineering, 178, 257-262.
https://doi.org/10.1016/S0045-7825(99)00018-3
[2] He, J.-H. (2000) A Coupling Method of a Homotopy Technique and a Perturbation Technique for Non-Linear Problems. International Journal of Non-Linear Mechanics, 35, 37-43.
https://doi.org/10.1016/S0020-7462(98)00085-7
[3] He, J.-H. (2003) Homotopy Perturbation Method: A New Nonlinear Analytical Technique. Applied Mathematics and Computation, 135, 73-79.
https://doi.org/10.1016/S0096-3003(01)00312-5
[4] He, J.-H. (2009) An Elementary Introduction to the Homotopy Perturbation Method. Computers and Mathematics with Applications, 57, 410-412.
https://doi.org/10.1016/j.camwa.2008.06.003
[5] Biazara, J. and Ghazvini, H. (2008) Homotopy Perturbation Method for Solving Hyperbolic Partial Differential Equations. Computers and Mathematics with Applications, 56, 453-458.
https://doi.org/10.1016/j.camwa.2007.10.032
[6] Yldrm, A. (2009) Application of He’s Homotopy Perturbation Method for Solving the Cauchy Reaction Diffusion Problem. Computers and Mathematics with Applications, 57, 612-616.
https://doi.org/10.1016/j.camwa.2008.11.003
[7] Ghorbani, A. and Saberi-Nadjafi, J. (2007) He’s Homotopy Perturbation Method for Calculating Adomian Polynomials. International Journal of Nonlinear Sciences and Numerical Simulation, 8, 229-232.
https://doi.org/10.1515/IJNSNS.2007.8.2.229
[8] Khuri, S.A. (2001) A Laplace Decomposition Algorithm Applied to a Class of Nonlinear Partial Differential Equations. Journal of Applied Mathematics, 1, 141-155.
https://doi.org/10.1155/S1110757X01000183
[9] Khan, M. and Hussain, M. (2011) Application of Laplace Decomposition Method on Semi-Infinite Domain. Numerical Algorithms, 56, 211-218.
https://doi.org/10.1007/s11075-010-9382-0
[10] Khan, M., Gondal, M.A. and Kumar, S. (2012) A New Analytical Solution Procedure for Nonlinear Integral Equations. Mathematical and Computer Modelling, 55, 1892-1897.
https://doi.org/10.1016/j.mcm.2011.11.044
[11] Khan, Y. and Wu, Q. (2011) Homotopy Perturbation Transform Method for Solving Nonlinear Equations Using He’s Polynomials. Computers & Mathematics with Applications, 61, 1963-1967.
https://doi.org/10.1016/j.camwa.2010.08.022
[12] Mishr, H.M. and Nagar, A.K. (2012) He-Laplace Method for Linear and Nonlinear Partial Differential Equations. Journal of Applied Mathematics, 2012, Article ID 180315.
[13] Kumar, J.S.D. and Rathore, S. (2012) Application of Homotopy Perturbation Transform Method for Solving Linear and Nonlinear Klein-Gordon Equations. Journal of Information and Computing Science, 7, 131-139.
[14] Wazwaz, A.M. (2009) Partial Differential Equations and Solitary Waves Theory, Nonlinear Physical Science. Springer, New York.
https://doi.org/10.1007/978-3-642-00251-9
[15] Chowdhury, M.S.H. and Hashim, I. (2009) Application of Homotopy-Perturbation Method, to Klein-Gordon and Sine-Gordon Equations. Chaos, Solitons and Fractals, 39, 1928-1935.
https://doi.org/10.1016/j.chaos.2007.06.091
[16] Gupta, S., Kumar, D. and Singh, J. (2015) Analytical Solutions of Convection-Dif-fusion Problems by Combining Laplace Transform Method and Homotopy Perturbation Method. Alexandria Engineering Journal, 54, 645-651.
https://doi.org/10.1016/j.aej.2015.05.004

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.