Volume 2012, Issue 1 581481
Research Article
Open Access

A Reliable Treatment of Homotopy Perturbation Method for Solving the Nonlinear Klein-Gordon Equation of Arbitrary (Fractional) Orders

A. M. A. El-Sayed

A. M. A. El-Sayed

Faculty of Science, Alexandria University, Alexandria, Egypt alexu.edu.eg

Search for more papers by this author
A. Elsaid

A. Elsaid

Mathematics & Engineering Physics Department, Faculty of Engineering, Mansoura University, P.O. Box 35516, Mansoura, Egypt mans.edu.eg

Search for more papers by this author
D. Hammad

Corresponding Author

D. Hammad

Mathematics & Engineering Physics Department, Faculty of Engineering, Mansoura University, P.O. Box 35516, Mansoura, Egypt mans.edu.eg

Search for more papers by this author
First published: 26 February 2012
Citations: 13
Academic Editor: Livija Cveticanin

Abstract

The reliable treatment of homotopy perturbation method (HPM) is applied to solve the Klein-Gordon partial differential equation of arbitrary (fractional) orders. This algorithm overcomes the difficulty that arises in calculating complicated integrals when solving nonlinear equations. Some numerical examples are presented to illustrate the efficiency of this technique.

1. Introduction

The Klein-Gordon equation plays a significant role in mathematical physics and many scientific applications such as solid-state physics, nonlinear optics, and quantum field theory [1, 2]. The equation has attracted much attention in studying solitons [36] and condensed matter physics, in investigating the interaction of solitons in a collisionless plasma, the recurrence of initial states, and in examining the nonlinear wave equations [7].

The HPM, proposed by He in 1998, has been the subject of extensive studies and was applied to different linear and nonlinear problems [813]. This method has the advantage of dealing directly with the problem without transformations, linearization, discretization, or any unrealistic assumption, and usually a few iterations lead to an accurate approximation of the exact solution [13]. The HPM has been used to solve nonlinear partial differential equations of fractional order (see, e.g., [1416]). Some other methods for series solution that are used to solve nonlinear partial differential equations of fractional order include the Adomian decomposition method [1719], the variational iteration method [2022], and the homotopy analysis method [2325].

Recently, Odibat and Momani [26] suggested a reliable algorithm for the HPM for dealing with nonlinear terms to overcome the difficulty arising in calculating complicated integrals. In [27], this algorithm is utilized to study the behavior of the nonlinear sine-Gordon equation with fractional time derivative. Our aim here is to apply the reliable treatment of HPM to obtain the solution of the initial value problem of the nonlinear fractional-order Klein-Gordon equation of the form
(1.1)
subjected to the initial condition
(1.2)
where denotes the Caputo fractional derivative with respect to t of order α, u(x, t) is unknown function, and a, b, c, and γ are known constants with γR,   γ ≠ ±1.

2. Basic Definitions

Definition 2.1. A real function f(t), t > 0, is said to be in the space Cμ, μ, if there exists a real number p > μ, such that f(t) = tpf1(t), where f1(t)∈C(0, ), and it is said to be in the space if f(m)Cμ, m.

Definition 2.2. The Riemann-Liouville fractional integral operator of order α ≥ 0 of a function f(t) ∈ Cμ, μ ≥ −1 is defined as [28]

(2.1)
The operator Jα satisfy the following properties, for fCμ, μ ≥ −1, α,β ≥ 0, and γ > −1:
  • (1)

      JαJβf(t) = Jα+βf(t),

  • (2)

      JαJβf(t) = JβJαf(t),

  • (3)

      Jαtγ = (Γ(γ + 1)/Γ(γ + α + 1))tα+γ.

Definition 2.3. The fractional derivative in Caputo sense of , mN,   t > 0 is defined as

(2.2)
The operator Dβ satisfy the following properties, for , μ ≥ −1, and γ, β ≥ 0:
  • (1)

    ,

  • (2)

    ,

  • (3)

    .

3. The Homotopy Perturbation Method (HPM)

Consider the following equation:
(3.1)
with boundary conditions
(3.2)
where A is a general differential operator, u(x, t) is the unknown function, and x and t denote spatial and temporal independent variables, respectively. B is a boundary operator, f(r) is a known analytic function, and Γ is the boundary of the domain Ω. The operator A can be generally divided into linear and nonlinear parts, say L and N. Therefore, (3.1) can be written as
(3.3)
In [9], He constructed a homotopy v(r, p) : Ω × [0,1] → R which satisfies
(3.4)
or
(3.5)
where p ∈ [0,1]  is an embedding parameter,and u0 is an initial guess of u(x, t) which satisfies the boundary conditions. Obviously, from (3.4) and (3.5), one has
(3.6)
Changing p from zero to unity is just that change of v(r, p) from u0(r) to u(r). Expanding v(r, p) in Taylor series with respect to p, one has
(3.7)
Setting p = 1 results in the approximate solution of (3.1)
(3.8)
The reliable treatment of the classical HPM suggested by Odibat and Momani [26] is presented for nonlinear function N(u) which is assumed to be an analytic function and has the following Taylor series expansion:
(3.9)
According to [26], the following homotopy is constructed for (1.1):
(3.10)
The basic assumption is that the solution of (3.10) can be written as a power series in p,
(3.11)
Substituting (3.11) into (3.10) and equating the terms with identical powers of p, we obtain a series of linear equations in u0, u1,u2, …, which can be solved by symbolic computation software. Finally, we approximate the solution by the truncated series
(3.12)

4. Numerical Implementation

In this section, some numerical examples are presented to validate the solution scheme. Symbolic computations are carried out using Mathematica.

Example 4.1. Consider the fractional-order cubically nonlinear Klein-Gordon problem

(4.1)
with the exact solution u(x, t) = xβtα.

According to the homotopy (3.10), we obtain the following set of linear partial differential equations of fractional order:
(4.2)

Case 1 (α ∈ (1,2] and β = 2). Solving (4.2), we obtain

(4.3)
Figure 1 gives the comparison between the HPM 6th-order approximate solution of problem (4.1) in Case 1 with β = 2,   α = 1.99,1.95,1.90, and 1.85 and the solution of corresponding problem of integer order denoted by u2,2 at t = 0.5.

Details are in the caption following the image
u(x, 0.5) of Example 4.1 Case 1 for 6th-order HPM approximation as parameterized by α.

Case 2 (α = 2 and β ∈ (1,2]). Solving (4.2), we have

(4.4)
Figure 2 gives the comparison between the HPM 6th-order approximate solution of problem (4.1) in Case 2 with α = 2,  β = 1.99,  1.95,1.90, and 1.85 and the solution of corresponding problem of integer order denoted by u2,2 at t = 0.5.

Details are in the caption following the image
u(x, 0.5) of Example 4.1 Case 2 for 6th-order HPM approximation as parameterized by β.

Case 3 (both α and β ∈ (1,2]). Solving (4.2), we have

(4.5)

Figure 3 gives the comparison between the HPM 6th-order approximate solution of problem (4.1) in Case 3 with α and β taking the values 1.99,1.95,1.90, and 1.85 and the solution of corresponding problem of integer order denoted by u2,2 at t = 0.5.

Details are in the caption following the image
u(x, 0.5) of Example 4.1 Case 3 for 6th-order HPM approximation as parameterized by α and β.

Example 4.2. Consider the fractional-order cubically nonlinear Klein-Gordon problem

(4.6)
The corresponding integer-order problem has the exact solution u2,2 = −sech(x + t/2) [29].

According to the homotopy (3.10), we obtain the following set of linear partial differential equations of fractional order:
(4.7)

Case 1 (α ∈ (1,2] and β = 2). Solving (4.7), we have

(4.8)
and the solution is obtained as
(4.9)
Figure 4 gives the comparison between the HPM 4th-order approximate solution of problem (4.6) in Case 1 with β = 2, α = 1.99,1.95,1.90, and 1.85 and the solution of corresponding problem of integer order denoted by u2,2 at t = 0.3.

Details are in the caption following the image
u(x, 0.3)  of Example 4.2 Case 1 for 4th-order HPM approximation as parameterized by α.

Case 2 (α = 2 and β ∈ (1,2]). As the attempt to evaluate Caputo fractional derivative of the functions sech(x) and tanh(x) yields hypergeometric function, we substitute sech(x) and tanh(x) by some terms of its Taylor series. Substituting the initial conditions and solving (4.7) for u0,   u1, u2, …, the components of the homotopy perturbation solution for (4.6) are derived as follows:

(4.10)
As the Caputo fractional derivative can not be evaluated for negative powers of the variable at hand, and noting that β ∈ (1,2], we can only evaluate the first two components of the series as illustrated. Thus, we suggest to generalize not only the derivatives in the integer-order problem to its fractional form, but also to generalize the conditions as well. For example, a generalized expansion of sech (x) in a fractional form can be written as
(4.11)
for which we have lim β→2sechβ (x) = sech (x). Substituting the generalized form of the initial conditions and solving (4.7) for u0, u1, u2, …, the components of the homotopy perturbation solution for this case are derived as follows:
(4.12)
and the solution is obtained as
(4.13)
Figure 5 gives the comparison between the HPM 4th-order approximate solution of problem (4.6) in Case 2 with α = 2, β = 1.99,1.95,1.90, and 1.85 and the solution of corresponding problem of integer order denoted by u2,2 at t = 0.3.

Details are in the caption following the image
u(x, 0.3) of Example 4.2 Case 2 for 4th-order HPM approximation as parameterized by β.

Case 3 (both α and β ∈ (1,2]). Carrying out the same procedure as in Case 2, we get

(4.14)
and the solution is thus obtained as
(4.15)
Figure 6 gives the comparison between the HPM 4th-order approximate solution of problem (4.6) in Case 3 with α, β = 1.99,1.95,1.90, and 1.85 and the solution of corresponding problem of integer order denoted by u2,2 at t = 0.3.

Details are in the caption following the image
u(x, 0.3) of Example 4.2 Case 3 for 4th-order HPM approximation as parameterized by α and β.

5. Conclusion

The reliable treatment HPM is applied to obtain the solution of the Klien-Gordon partial differential equation of arbitrary (fractional) orders with spatial and temporal fractional derivatives. The main advantage of this algorithm is the capability to overcome the difficulty arising in calculating complicated integrals when dealing with nonlinear problems. The numerical examples carried out show good results, and their graphs illustrate the continuation of the solution of fractional-order Klien-Gordon equation to the solution of the corresponding second-order problem when the fractional-order parameters approach their integer limits.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.