Research Article | Open Access
An Approximation Method for Solving Volterra Integrodifferential Equations with a Weighted Integral Condition
We apply the reproducing kernel Hilbert space (RKHS) method for getting analytical and approximate solutions for second-order hyperbolic integrodifferential equations with a weighted integral condition. The analytical solution is represented in the form of series; thus, the n-terms approximate solutions are obtained. The results of the numerical examples are compared with the exact solutions to illustrate the accuracy and the effectivity of this method.
In functional analysis, a reproducing kernel Hilbert space is a Hilbert space of functions in which pointwise evaluation is a continuous linear functional. The subject was originally developed by Aronszajn in 1950 (see ).
Reproducing kernel theory has important applications in numerical analysis, differential equations, integral equations, probability, and statistics [2–4]. Recently, using the RKHS method, the authors in [5–21] have discussed singular linear two-point boundary value problems, singular nonlinear two-point periodic boundary value problems, nonlinear system of boundary value problems, initial value problems, singular integral equations, nonlinear partial differential equations, operator equations, and fourth-order integrodifferential equations (IDEs), differential equations with integral condition.
The purpose of this paper is to extend the application of the reproducing kernel Hilbert space method to solve a second-order boundary value problem of IDEs of the following Volterra type:for all , subject to the initial conditionsand the weighted integral conditionwhere , , , , , and are given functions, such that The operator is linear with respect to and continuous according to both variables and . The function is continuous and denote .
In order to put initial conditions and integral boundary conditions of (1) into the reproducing kernel space constructed in the following sections, we have to homogenize these conditions. For this, let ; then the problem can be converted into the following form:for all , subject to the initial conditionsand the weighted integral condition
The theoretical aspects of (1) with conditions (2)–(4) have been studied by Galerkin method in ; however, no numerical method was presented. In fact, by this procedure, the authors have found several difficulties to find the discretization of this problem due to the presence of the integral condition. Therefore, to overcome these difficulties, in the present work, we propose the RKHS method which is a simple and effective method for obtaining the numerical solution that converges rapidly to the exact solution with a small error and with a good precision. Moreover, the partial derivatives of are also convergent to the partial of . So, from this work, we show the applicability of the RKHS method to solve this kind of problem without discretization such as Galerkin and Rothe’s method. Furthermore, the RKHS method has an advantage that it is the possibility to pick any point in the domain of integration as well as in the approximate solutions and all its partial derivatives up to order two that will be applicable.
In recent years, a growing interest has been devoted to the study of IDEs which are a combination of differential and Volterra-Fredholm integral equations. IDEs appear in various fields of science such as physics, biology, and engineering. We should mention also that integrodifferential equations are usually difficult to solve analytically.
Recently, various kinds of numerical methods have been used for efficient approximation solution. In , authors have presented a practical matrix method for solving nonlinear Volterra-Fredholm integrodifferential equations. In , authors have given a numerical solution of nonlinear Volterra-Fredholm integrodifferential equations using the spectral homotopy analysis method. In [25–28], authors have obtained the representation of the exact solution for the nonlinear Volterra-Fredholm integral equations by using the reproducing kernel method.
To sum up, in this paper, we define several reproducing kernel spaces in Section 2, whereas, in Section 3, we introduce a linear operator, a complete normal orthogonal system, and some essential results. In Section 4, we provide the main results and the exact and approximate solution of (1)–(4) and we also develop an iterative method for this kind of problems. Finally, in Section 5, the results of some numerical examples are presented and are compared with the analytical solution to confirm the good accuracy of the presented method.
2. Reproducing Kernel Spaces
In this section, we define some useful reproducing kernel spaces.
Definition 1. Let Define, respectively, the inner product and the norm in byWe have the following result.
Theorem 2. The space is a complete reproducing kernel space; that is, for each fixed , there exists simply and such that for any . The reproducing kernel is given bywhere
Proof. Through several integrations by parts of (10), we obtain Since , we have ThenNote that the property of the reproducing kernel ; then is the solution of the following generalized differential equation:with the boundary conditionsAs , it follows that Let us find the coefficients , , and .
Since , we haveSince , it follows thatThrough (17)–(20), the unknown coefficients of (11) can be obtained.
Definition 3. Define the space The inner product and the norm in are defined, respectively, by The space is a complete reproducing kernel space, and its reproducing kernel is given by
Definition 4. DefineThe inner product and the norm in are defined, respectively, by is a reproducing kernel space and its reproducing kernel function is such that, for any ,
Definition 5. Define The inner product and the norm in are defined, respectively, by
Definition 6. Define The inner product and the norm in are defined, respectively, by is a complete reproducing kernel space; thus, its reproducing kernel function is (see ) where
3. A Bounded Linear Operator on
Define differential operator : bytherefore, (1) can be converted into an equivalent form as follows:where , , and
It is easy to show that is a bounded linear operator from to . Now, we choose a countable subset in and we define
Lemma 7. Assume that is dense in ; then, is a complete system in , and
Applying Gram-Schmidt process, we obtain an orthogonal basis of , such thatwhere are orthogonal coefficients.
4. The Exact and Approximate Solution
Lemma 8. If is dense in , then the exact solution of (35) is
Proof. The exact solution can be expanded in the Fourier series in terms of normal orthogonal basis in :
4.1. Iterative Method
We construct an iterative method to obtain the approximate solutions of (1) in the reproducing kernel space . Let
Define the initial function and the -term approximation to bywhere the coefficients are given as
Theorem 9. If is dense in , then where is given by (44).
Theorem 10. Suppose that and ; then
Proof. From the preceding theorem, we have soFrom and (49), we get
Proposition 11. Suppose that as ; then
Now, the approximate solution can be obtained by taking finitely many terms in the series representation of and
5. Numerical Examples
In order to calculate the approximate solution , we take
Example 1. Consider the following hyperbolic integrodifferential equation: for all , subject to the initial conditions and the weighted integral conditionwhereThe exact solution is given by . In order to homogenize the initial conditions, we put ; then the problem can be converted into the following form: where
Example 2. Consider the following hyperbolic integrodifferential equation: where The exact solution is given by .
In this paper, we have applied RKHS method to solve a hyperbolic integrodifferential equation with a weighted integral condition. The numeric results have demonstrated that only a small number of iterations can be used to obtain numeric results with a good precision. From this work, we see that the absolute errors are monotonically decreasing if increase. The numerical examples show that the approximate solution and its partial derivatives of a superior order or equal to two converge to the exact solution and its partial derivatives, respectively. Consequently, we confirm that this method is effective for the integrodifferential equation with weighted integral conditions. All the computations are performed using Mathematica 9.0.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
- N. Aronszajn, “Theory of reproducing kernels,” Transactions of the American Mathematical Society, vol. 68, pp. 337–404, 1950.
- A. Berlinet and C. Thomas-Agnan, Reproducing Kernel Hilbert Space in Probability and Statistics, Kluwer Academic, Boston, Mass, USA, 2004.
- M. Cui and Y. Lin, Nonlinear Numercial Analysis in the Reproducing Kernel Space, Nova Science, New York, NY, USA, 2008.
- A. Daniel, Reproducing Kernel Spaces and Applications, vol. 143 of Operator Theory: Advances and Applications, Springer, New York, NY, USA, 2003.
- C. Minggen and C. Zhong, “How to solve nonlinear operator equation ,” Applied Mathematics and Computation, vol. 153, no. 2, pp. 403–416, 2004.
- M. Cui and C. Li, “How to solve the equation ,” Applied Mathematics and Computation, vol. 133, no. 2-3, pp. 643–653, 2002.
- M. Cui and F. Geng, “Solving singular two-point boundary value problem in reproducing kernel space,” Journal of Computational and Applied Mathematics, vol. 205, no. 1, pp. 6–15, 2007.
- C.-l. Li and M.-g. Cui, “The exact solution for solving a class nonlinear operator equations in the reproducing kernel space,” Applied Mathematics and Computation, vol. 143, no. 2-3, pp. 393–399, 2003.
- M. Cui and Y. Lin, Nonlinear Numerical Analysis in the Reproducing Kernel Space, Nova Science Publishers, New York, NY, USA, 2008.
- H. Du and J. Shen, “Reproducing kernel method of solving singular integral equation with cosecant kernel,” Journal of Mathematical Analysis and Applications, vol. 348, no. 1, pp. 308–314, 2008.
- F. Geng, “A new reproducing kernel Hilbert space method for solving nonlinear fourth-order boundary value problems,” Applied Mathematics and Computation, vol. 213, no. 1, pp. 163–169, 2009.
- F. Geng, “Solving singular second order three-point boundary value problems using reproducing kernel Hilbert space method,” Applied Mathematics and Computation, vol. 215, no. 6, pp. 2095–2102, 2009.
- F. Geng and M. Cui, “Solving singular nonlinear two-point boundary value problems in the reproducing kernel space,” Journal of the Korean Mathematical Society, vol. 45, no. 3, pp. 631–644, 2008.
- F. Geng and M. Cui, “Solving a nonlinear system of second order boundary value problems,” Journal of Mathematical Analysis and Applications, vol. 327, no. 2, pp. 1167–1181, 2007.
- F. Geng and M. Cui, “Solving singular nonlinear second-order periodic boundary value problems in the reproducing kernel space,” Applied Mathematics and Computation, vol. 192, no. 2, pp. 389–398, 2007.
- Y. Li, F. Geng, and M. Cui, “The analytical solution of a system of nonlinear differential equations,” International Journal of Mathematical Analysis, vol. 1, no. 9–12, pp. 451–462, 2007.
- J. Li, “A computational method for solving singularly perturbed two-point singular boundary value problem,” International Journal of Mathematical Analysis, vol. 2, no. 21-24, pp. 1089–1096, 2008.
- Y. Lin, P. Chung, and M. Cui, “A solution of an infinite system of quadratic equations in reproducing kernel space,” Complex Analysis and Operato