Mathematical Problems in Engineering

Volume 2013 (2013), Article ID 674364, 9 pages

http://dx.doi.org/10.1155/2013/674364

Research Article

Numerical Solution of Nonlinear Fredholm Integro-Differential Equations Using Spectral Homotopy Analysis Method

Z. Pashazadeh Atabakan, A. Kazemi Nasab, A. Kılıçman, and Zainidin K. Eshkuvatov

Department of Mathematics, University Putra Malaysia (UPM), 43400 Serdang, Selangor, Malaysia

Received 25 February 2013; Revised 18 April 2013; Accepted 20 April 2013

Academic Editor: Fazal M. Mahomed

Copyright © 2013 Z. Pashazadeh Atabakan 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.

Abstract.

Spectral homotopy analysis method (SHAM) as a modification of homotopy analysis method (HAM) is applied to obtain solution of high-order nonlinear Fredholm integro-differential problems. The existence and uniqueness of the solution and convergence of the proposed method are proved. Some examples are given to approve the efficiency and the accuracy of the proposed method. The SHAM results show that the proposed approach is quite reasonable when compared to homotopy analysis method, Lagrange interpolation solutions, and exact solutions.

1. Introduction

The integro-differential equations stem from the mathematical modeling of many complex real-life problems. Many scientific phenomena have been formulated using integro-differential equations [1, 2]. Solving nonlinear integro-differential equation is much more difficult than linear one analytically. So different types of numerical methods have been used to obtain an efficient approximation solution [3, 4]. In 1992 Liao [5] proposed the homotopy analysis method (HAM) concept in topology for solving nonlinear differential equations. Liao [6, 7] found that the convergence of series solutions of nonlinear equations cannot be guaranteed by the early HAM. Further, Liao [6] introduced a nonzero auxiliary parameter to solve this limitation. Unlike the special cases of HAM such as Lyapunove’s artificial small parameter method [8], Adomian decomposition method [9–12], and the -expansion method [13], this method need not a small perturbation parameter. In the HAM the perturbation techniques [14] need not be converted a nonlinear problem to infinite number of linear problems. The homotopy analysis method is applicable for solving problems having strong nonlinearity [15], even if they do not have any small or large parameters, so it is more powerful than traditional perturbation methods.

The convergence region and the rate of approximation in series can been adjusted by this method. Also it can give us freedom to use different base function to approximate a non linear problem. The convergence of HAM for solving Volterra-Fredholm integro-differential equations is presented in [16].

In 2010, Motsa et al. [17] suggested the so-called spectral homotopy analysis method (SHAM) using the Chebyshev pseudospectral method to solve the linear high-order deformation equations. Since the SHAM combines the HAM with the numerical techniques, it provides us larger freedom to choose auxiliary linear operators. Thus, one can choose more complicated auxiliary linear operators in the frame of the SHAM. In theory, any continuous function in a bounded interval can be best approximated using Chebyshev polynomial. So, the SHAM provides larger freedom to choose the auxiliary linear operator and initial guess. Further, it is easy to employ the optimal convergence-control parameter in the frame of the SHAM. Thus, the SHAM has great potential to solve more complicated nonlinear problems in science and engineering, although further modifications in theory and more applications are needed. Chebyshev polynomial is considered a kind of special function. There are many other special functions such as Hermite polynomial, Legendre polynomial, Airy function, Bessel function, Riemann zeta function, and hypergeometric functions. Since the HAM provides us extremely large freedom to choose the auxiliary linear operator and the initial guess, it should be possible to develop a generalized spectral HAM which can use a proper special function for a given nonlinear problem. The spectral homotopy analysis method has been used for solving partial and ordinary differential equations [18–20]. Spectral homotopy analysis method and its convergency for solving a class of optimal control problems are presented in [21]. Motsa et al. [17–19] found that the spectral homotopy analysis method is more efficient than the homotopy analysis method as it does not depend on the rule of solution expression and the rule of ergodicity. This method is more flexible than homotopy analysis method, since it allows for a wider range of linear and nonlinear operators, and one is not restricted to use the method of higher-order differential mapping for solving boundary value problems in bounded domains, unlike the homotopy analysis method. The range of admissible values is much wider in spectral homotopy analysis method than in homotopy analysis method. The main restriction of HAM in solving integral equations is to choose the best initial guess, as the series solution is convergent. In SHAM the initial approximation is taken to be the solution of the nonhomogeneous linear part of the given equation. In 2012, Pashazadeh Atabakan et al. solved linear Volterra and Fredholm integro-differential equations using spectral homotopy analysis method; see [22].

In this paper, we apply spectral homotopy analysis method (SHAM) to solve higher-order nonlinear Fredholm type of integro-differential equations. Fredholm integro-differential equation is given by

where is constant value, , , , and are functions that have suitable derivatives on interval and .

The paper is organized in the following way. Section 2 includes a brief introduction in homotopy analysis method. Spectral homotopy analysis method for solving nonlinear Fredholm integral equations is presented in Section 3. The existence and uniqueness of the solution and convergence of the proposed method are proved in Section 4. In Section 5, numerical examples are presented. In Section 6, concluding remarks are given.

2. Homotopy Analysis Solution

In this section, we give a brief introduction to HAM. We consider the following differential equation in a general form as follows:

where is nonlinear operator, denotes independent variables, and is an unknown function, respectively. For simplicity we disregard all initial and all boundary conditions which can be dealt in similar way. The so-called zero-order deformation equation was constructed by Liao as follows:

where is the embedding parameter, is a nonzero convergence-parameter, is an auxiliary function, is called an initial guess of , and is an unknown function. In addition, is an auxiliary linear operator, and is nonlinear operator as follows:

with the property , where , are constants and

is a nonlinear operator. Obviously, when and , it holds and . In this way, as increase from to , alter from initial guess to the solution , and is expanded in Taylor series with respect to as follows:

where

The series (6) converges at if the auxiliary linear operator, the initial guess, the convergence-parameter, and the auxiliary function are properly selected as follows:

The admissible and valid values of the convergence-parameter are found from the horizontal portion of the -curves. Liao proved that is one of the solutions of original nonlinear equation. As , so (3) becomes

Define the vector . Operating on both side of (9) with , we have the so called th-order deformation equation as follows:

where

for that is governed by the linear equation (10) can be solved by symbolic computation software such as MAPLE, MATLAB, and similar CAS.

3. Spectral-Homotopy Analysis Solution

Consider the non linear Fredholm integro-differential equation:

We begin by defining the following linear operator:

where is the embedding parameter and is an unknown function. The zeroth-order deformation equation is given by

where is the nonzero convergence controlling auxiliary parameter and is a nonlinear operator given by

Differentiating (14) times with respect to the embedding parameter , setting , and finally dividing them by , we have the so called th-order deformation equation

subject to boundary conditions

where

The initial approximation that is used in the higher-order equation (18) is obtained on solving the following equation:

subject to boundary conditions

where we use the Chebyshev pseudospectral method to solve (19)-(20).

We first approximate by a truncated series of Chebyshev polynomial of the following form:

where is the th Chebyshev polynomials, are coefficients and Gauss-Lobatto collocation points which are the extrema of the th-order Chebyshev polynomial defined by

Derivatives of the functions at the collocation points are represented as

where is the order of differentiation and is the Chebyshev spectral differentiation matrix. Following [23], we express the entries of the differentiation matrix as

Substituting (21)–(23) into (19) will result in

subject to the boundary conditions

where

The values of , are determined from the equation

which is the initial approximation for the SHAM solution of the governing equation (12). Apply the Chebyshev pseudospectral transformation on (16)–(18) to obtain the following result:

subject to the boundary conditions

where and were defined in and

To implement the boundary condition (30) we delete the first and the last rows of , and the first and the last rows and columns of . Finally this recursive formula can be written as follows:

with starting from the initial approximation we can obtain higher-order approximation for recursively. To compute the integral in (32) we use the Clenshaw-Curtis quadrature formula as follows:

where the nodes are given by (22) and the weights are given by

where and , for . is a column vector of the elements of the vector that is computed as follows:

where , are positive integers [24].

Regarding to accuracy, the stability, and the error of previous quadrature formula at the Gauss-Lobatto points we refer the reader to [25].

4. Convergence Analysis

Following the authors in [7, 16, 26], we present the convergence of spectral homotopy analysis method for solving Fredholm integro-differential equations.

In view of (13) and (27), (12) can be written as follows:

where , , and are vector functions.

We obtain

By substituting and in (38), we obtain

In (39), we assume that is bounded for all in and

Also, we suppose that the non linear term is Lipschitz continuous with

If we set , then the following can be proved by using the previous assumptions.

Theorem 1. The nonlinear Fredholm integro-differential equation in (32) has a unique solution whenever .

Proof. Let and be two different solutions of (39), then

So we get . Since , so , therefore , and this completes the proof.

Theorem 2. If the series solution obtained from (32) is convergent, then it converges to the exact solution of the problem (39).

Proof. We assume

where . We can write

Hence, from (44),

so using (45) and the definition of the linear operator , we have

Therefore, from (16), we can obtain that

Since , we have

By applying (39) and (43),

Therefore, must be the exact solution of (39).

5. Numerical Examples

In this section we apply the technique described in Section 3 to some illustrative examples of higher-order nonlinear Fredholm integro-differential equations.

Example 1. Consider the second-order Fredholm integro-differential equation

subject to with the exact solution . We employ SHAM and HAM to solve this example. From the -curves (Figure 1), it is found that when and , the SHAM solution and HAM solution converge to the exact solution, respectively. A numerical results of Example 1 against different order of SHAM approximate solutions is shown in Table 1.

Table 1: The numerical results of Example 1 against different order of SHAM approximate solutions with .

SHAM
Numerical

2nd order
4th order

1.00000
0
0
0

0.99965
−0.01162119
−0.01162119
−0.01162119

0.99861
−0.04513180
−0.04513187
−0.04513187

0.99687
−0.16001177
−0.16001177
−0.16001177

0.99443
−0.22774902
−0.22774902
−0.22774902

0.99130
−0.29155781
−0.29155781
−0.29155781

0.98748
−0.34334545
−0.34334545
−0.34334545

0.98297
−0.37606083
−0.37606087
−0.3760608

0.97778
−0.38445192
−0.38445192
−0.38445192

0.97191
−0.36563660
−0.36563661
−0.36563661

(a)

(b)

Figure 1: The -curve and for 10th-order (a) SHAM, (b) HAM.

Example 2. Consider the second order Fredholm integro-differential equation

subject to with the exact solution . We employ HAM and SHAM to solve this example. The numerical results of Example 2 against different order of SHAM approximate solutions with is shown in Table 2. In Table 3, there is a comparison of the numerical result against the HAM and SHAM approximation solutions at different orders with . It is worth noting that the SHAM results become very highly accurate only with a few iterations, and fifth-order solutions are very close to the exact solution. Comparison of the numerical solution with the 4th-order SHAM solution for is made in Figure 2. As it is shown in Figure 3, the rate of convergency in SHAM is faster than HAM. In Figure 4, it is found that when and , the SHAM solution and HAM solution converge to the exact solution, respectively. In HAM we choose as initial guess.

Table 2: The numerical results of Example 2 against different order of SHAM approximate solutions with .

2nd order
3rd order
4th order
Numerical

1.00000
0
0
0
0

0.99965
0.00437807
0.00437807
0.00437807
0.00437807

0.99861
0.00109471
0.00109471
0.00109471
0.00109471

0.99687
0.00984768
0.00984768
0.00984768
0.00984768

0.99443
0.01749926
0.01749926
0.01749926
0.01749926

0.99130
0.02732631
0.02732631
0.02732631
0.02732631

0.98748
0.03931949
0.03931949
0.03931950
0.03931950

0.98297
0.05346606
0.05346607
0.05346607
0.06974900

0.97778
0.06974898
0.06974899
0.06974899
0.06974900

0.97191
0.0881459
0.08814599
0.08814599
0.08814600

Table 3: Numerical result of Example 2 against the HAM and the SHAM solutions with .

SHAM

HAM
Numerical

5th order
6th order
7th order
3rd order
4th order

−0.97191
−0.0881460
−0.0881460
−0.0881460
−0.05395836
−0.05794467
−0.0881460

−0.97778
−0.06974902
−0.06974902
−0.06974902
−0.04280765
−0.04597139
−0.06974902

−0.98297
−0.05346609
−0.05346609
−0.05346609
−0.03289259
−0.03532441
−0.05346607

−0.98748
−0.03931951
−0.03931951
−0.03931951
−0.02424140
−0.02603420
−0.03931950

−0.99130
−0.02732631
−0.02732631
−0.02732631
−0.01687877
−0.01812740
−0.02732630

−0.99443
0.01749926
0.01749926
0.01749926
−0.00609972
−0.01162680
−0.01749926

−0.99687
−0.00984768
−0.00984768
−0.00984768
−0.00609972
−0.01162680
−0.00984768

−0.99861
−0.00437807
−0.00437807
−0.00437807
−0.00271424
−0.00655115
−0.00437807

−0.99965
−0.00109471
0.00109471
−0.00109471
−0.00067905
−0.00072931
−0.00109471

−1.00000
0
0
0
0
0
0

Figure 2: Comparison of the numerical solution of Example 2 with the 4th-order SHAM solution for .

(a)

(b)

Figure 3: Comparison of the absolute error of third-order (a) SHAM, (b) HAM.

(a)

(b)

Figure 4: The -curve and for 6th-order (a) SHAM, (b) HAM.

Example 3. Consider the first-order Fredholm integro-differential equation [27, 28]

subject to the boundary condition . In order to apply the SHAM for solving the given problem, we should transform using an appropriate change of variables as

Then, we use the following transformation:

We make the governing boundary condition homogeneous. Substituting (54) into the governing equation and boundary condition results in

subject to the boundary condition . A comparison between absolute errors in solutions by SHAM, Lagrange interpolation, and Rationalized Haar functions is tabulated in Table 4. It is also worth noting that the SHAM results are very close to exact solutions only with two iterations.

Table 4: A comparison of absolute errors between SHAM, LIM, and RHFS.

SHAM
LIM
RHFS

2nd order
6th order

0.0
0
0

0.1
0

0.2

0.3

0.4
0

0.5

6. Conclusion

In this paper, we presented the application of spectral homotopy analysis method (SHAM) for solving nonlinear Fredholm integro-differential equations. A comparison was made between exact analytical solutions and numerical results obtained by the spectral homotopy analysis method, Rationalized Haar functions, and Lagrange interpolation solutions. In Example 1, the numerical results indicate that the rate of convergency in SHAM is faster than HAM. In this example, we found that the forth-order SHAM approximation sufficiently gives a match with the numerical results up to eight decimal places. In contrast, HAM solutions have a good agreement with the numerical results in 20th order with six decimal places. As we can see in Table 4, the spectral homotopy analysis results are more accurate and efficient than Lagrange interpolation solutions and rationalized Haar functions solutions [27, 28]. As it is shown in Figures 1 and 4 the rang of admissible values of is much wider in SHAM than HAM.

In this paper, we employed the spectral homotopy analysis method to solve nonlinear Fredholm integro-difflerential equations; however, it remains to be generalized and verified for more complicated integral equations that we consider it as future works.

Acknowledgment

The authors express their sincere thanks to the referees for the careful and details reading of the earlier version of the paper and very helpful suggestions. The authors also gratefully acknowledge that this research was partially supported by the University Putra Malaysia under the ERGS Grant Scheme having Project no. 5527068.

References

L. K. Forbes, S. Crozier, and D. M. Doddrell, “Calculating current densities and fields produced by shielded magnetic resonance imaging probes,” SIAM Journal on Applied Mathematics, vol. 57, no. 2, pp. 401–425, 1997.

K. Parand, S. Abbasbandy, S. Kazem, and J. A. Rad, “A novel application of radial basis functions for solving a model of first-order integro-ordinary differential equation,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 11, pp. 4250–4258, 2011.

P. Darania and A. Ebadian, “A method for the numerical solution of the integro-differential equations,” Applied Mathematics and Computation, vol. 188, no. 1, pp. 657–668, 2007.

A. Karamete and M. Sezer, “A Taylor collocation method for the solution of linear integro-differential equations,” International Journal of Computer Mathematics, vol. 79, no. 9, pp. 987–1000, 2002.

S. J. Liao, The proposed homotopy analysis technique for the solution ofnonlinear problems [Ph.D. thesis], Shanghai Jiao Tong University, Shanghai, China, 1992.

S. J. Liao, The proposed homotopy analysis technique for the solutionof non linear problems [PhD dissertation], Shanghai Jiao Tong University, Shanghai, China, 1992.

S. 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.

A. M. Lyapunov, The General Problem of the Stability of Motion, Taylor & Francis, London, UK, 1992.

G. Adomian, “A review of the decomposition method and some recent results for nonlinear equations,” Mathematical and Computer Modelling, vol. 13, no. 7, pp. 17–43, 1990.

G. Adomian and R. Rach, “Noise terms in decomposition solution series,” Computers & Mathematics with Applications, vol. 24, no. 11, pp. 61–64, 1992.

G. Adomian and R. Rach, “Analytic solution of nonlinear boundary value problems in several dimensions by decomposition,” Journal of Mathematical Analysis and Applications, vol. 174, no. 1, pp. 118–137, 1993.

G. Adomian, Solving Frontier Problems of Physics: The Decomposition Method, vol. 60 of Fundamental Theories of Physics, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1994.

P. K. Bera and J. Datta, “Linear delta expansion technique for the solution of anharmonic oscillations,” PRAMANA Journal of Physics, vol. 68, no. 1, pp. 117–122, 2007.

S. Liao, “On the homotopy analysis method for nonlinear problems,” Applied Mathematics and Computation, vol. 147, no. 2, pp. 499–513, 2004.

J. H. He, “The homotopy perturbation method for nonlinear oscillator with discontinuities,” Applied Mathematics and Computation, vol. 5, pp. 287–292, 2004.

Sh. S. Behzadi, S. Abbasbandy, T. Allahviranlo, and A. Yildirim, “Application of Homotopy analysis method for solving a class of nonlinear Volterra-Fredholm integro-differential equations,” Journal of Applied Analysis and Computation, vol. 1, no. 1, pp. 1–14, 2012.

S. S. Motsa, P. Sibanda, and S. Shateyi, “A new spectral-homotopy analysis method for solving a nonlinear second order BVP,” Communications in Nonlinear Science and Numerical Simulation, vol. 15, no. 9, pp. 2293–2302, 2010.

S. S. Motsa, P. Sibanda, F. G. Awad, and S. Shateyi, “A new spectral-homotopy analysis method for the MHD Jeffery-Hamel problem,” Computers & Fluids, vol. 39, no. 7, pp. 1219–1225, 2010.

S. S. Motsa and P. Sibanda, “A new algorithm for solving singular IVPsof Lane-Emden type,” in Proceedings of the 4th International Conferenceon Applied Mathematics, Simulation, Modelling (WSEAS '10), pp. 176–180, Corfu Island, Greece, July 2010.

S. S. Motsa, S. Shateyi, G. T. Marewo, and P. Sibanda, “An improved spectral homotopy analysis method for MHD flow in a semi-porous channel,” Numerical Algorithms, vol. 60, no. 3, pp. 463–481, 2012.

H. Saberi Nik, S. Effati, S. S. Motsa, and M. Shirazian, “Spectral homotopy analysismethod and its convergence for solving a class of nonlinear optimalcontrol problems,” Numerical Algorithms, 2013.

Z. Pashazadeh Atabakan, A. Kılıçman, and A. Kazemi Nasab, “On spectralhomotopy analysis method for solving Volterra and Fredholm typeof integro-differential equations,” Abstract and Applied Analysis, vol. 2012, Article ID 960289, 16 pages, 2012.

W. S. Don and A. Solomonoff, “Accuracy and speed in computing the Chebyshev collocation derivative,” SIAM Journal on Scientific Computing, vol. 16, no. 6, pp. 1253–1268, 1995.

A. Molabahrami and F. Khani, “The homotopy analysis method to solve the Burgers-Huxley equation,” Nonlinear Analysis. Real World Applications, vol. 10, no. 2, pp. 589–600, 2009.

P. J. Davis and P. Rabinowits, Method of Numerical Integration, Academic Press, London, UK, 2nd edition, 1970.

H. Jafari, M. Alipour, and H. Tajadodi, “Convergence of homotopy perturbation method for solving integral equations,” Thai Journal of Mathematics, vol. 8, no. 3, pp. 511–520, 2010.

A. Shahsavaran and A. Shahsavaran, “Application of Lagrange interpolation for nonlinear integro differential equations,” Applied Mathematical Sciences, vol. 6, no. 17–20, pp. 887–892, 2012.

F. Mirzaee, “The RHFs for solution of nonlinear Fredholm integro-differential equations,” Applied Mathematical Sciences, vol. 5, no. 69–72, pp. 3453–3464, 2011.