Research Article  Open Access
D. Gámez, "Analysis of the Error in a Numerical Method Used to Solve Nonlinear Mixed FredholmVolterraHammerstein Integral Equations", Journal of Function Spaces, vol. 2012, Article ID 242870, 12 pages, 2012. https://doi.org/10.1155/2012/242870
Analysis of the Error in a Numerical Method Used to Solve Nonlinear Mixed FredholmVolterraHammerstein Integral Equations
Abstract
This work presents an analysis of the error that is committed upon having obtained the approximate solution of the nonlinear FredholmVolterraHammerstein integral equation by means of a method for its numerical resolution. The main tools used in the study of the error are the properties of Schauder bases in a Banach space.
1. Introduction
In this paper we consider the following nonlinear mixed FredholmVolterraHammerstein integral equation: where , and the kernels are assumed to be known continuous functions, and is the unknown function to be determined.
Equation (1.1) arises in a variety of applications in many fields, including continuum mechanics, potential theory, electricity and magnetism, threedimensional contact problems, and fluid mechanics, and so forth (see, e.g., [1–4]). Several numerical methods for approximating the solution of integral, and integrodifferential equations are known (see, e.g., [5–8]). For FredholmVolterraHammerstein integral equations, the classical method of successive approximations was introduced in [9]. An optimal control problem method was presented in [10], and a collocationtype method was developed in [11–13]. Computational methods based on Bernstein operational matrices and the Chebyshev approximation method were presented in [14, 15], respectively.
The use of fixed point techniques and Schauder bases, in the field of numerical resolution of differential, integral and integrodifferential equations, allows for the development of new methods providing significant improvements upon other known methods (see [16–23]).
In this work we make an analysis of the error committed upon having obtained the approximate solution of the nonlinear FredholmVolterraHammerstein integral equation, using the theorem of Banach fixed point and Schauder bases (see [21], for a detailed description of the numerical method used in a more general equation).
In order to recall the aforementioned numerical method, let and be the Banach spaces of all continuous and realvalued functions on and endowed with their usual supnorms. Throughout this paper we will make the following assumptions on and for . (i)Since , there exists such that for all .(ii) are functions such that there exists such that for and for all . (iii).
We organize this paper as follows. In Section 2, we reformulate (1.1) in terms of a convenient integral operator and we describe the numerical method used. The study of the error is described in Section 3. Finally, in Section 4 we show some illustrative examples.
2. Analytical Preliminaries
In this section we recall, in a summarized form, the concepts and results relative to the numerical method used for the study of the error that we carried out.
Let us start by observing that (1.1) is equivalent to the problem of finding fixed points of the operator defined by
A direct calculation over leads to for all , where we denote . As the operator defined in (2.1) satisfies (2.2), under condition (iii) and from the Banach fixedpoint theorem, it follows that there exists a unique fixed point for that is the unique solution of (1.1). In addition, for each , we have and in particular .
But it is not possible, in an explicit way, to calculate the sequence of iterations , to obtain the unique sequence of (1.1), for which reason a numerical method is needed in order to approximate the fixed point of .
Now we recall the concrete Schauder bases in the spaces and . Let be a dense sequence of distinct points in such that and . We set for , and for , and we let be a piecewise linear continuous function on with nodes at , uniquely determined by the relations and for . We denote by the sequence of associated projections and the coordinate functionals. It is easy to check that is a Schauder basis in (see [24]).
From the Schauder basis in , we can build another Schauder basis of (see [25, 26]). It is sufficient to consider for all , with , where for a real number , will denote its integer part and is the bijective mapping defined by
We denote by the sequence of associated projections and by the coordinate functionals. The Schauder basis of has similar properties to the ones for the onedimensional case. See Table 1 and note under some weak conditions (see the last row, which is derived easily from the third row of Table 1, resp., and the MeanValue theorems for one and two variables) we can estimate the rate of the convergence of the sequence of projections in the one and twodimensional cases, where we consider the dense subset of distinct points in , as the set ordered in an increasing way for , and denotes the maximum distance between two consecutive points of .

Let us consider the continuous integral operator defined in (2.1). Let , and the functions , defined for , . Let and be the sequences of scalars satisfying , . Then for all , we have that
The equality (2.5) enables us to determine, in an elemental way, the image of any continuous function under the operator . However, it does not seem to be a usable expression due to the two infinite sums appearing in it. For this reason, the aforementioned sums are truncated.
3. Study of the Error
In this section we realize a new study of the error, obtaining one bound of it. Supposing conditions of regularity in the functions data, we improve and complete the study realized in [21].
Let and consider and for , define inductively for the following functions: where and .
Proposition 3.1. The sequence is uniformly bounded.
Proof. Let , , and we have for all and
For the monotonicity of the Schauder basis, we have
Therefore,
Applying recursively this process we get
for all . Then is uniformly bounded.
Remark 3.2. For , the sequence is uniformly bounded, as it follows Proposition 3.1 and the fact that for is Lipschitz in its second variable.
Proposition 3.3. Let , and for , , such that and satisfy a global Lipschitz condition in the last variable. Let , and define inductively as in (3.2), (3.3), and (3.4) the functions , and , respectively. Then are uniformly bounded.
Proof. From (3.2) and (3.3), we have, respectively, that for all , , , and therefore by the conditions over , , and Remark 3.2, , are uniformly bounded.
Observe that
In view of the monotonicity of the Schauder basis, we have
and hence the sequence is uniformly bounded.
On the other hand from (3.2) and (3.3), respectively, we have
For , let , and we have for all and
with as the Lipschitz constant of in the last variable.
By repeating the previous argument, we have
where , and is the Lipschitz constant of in the last variable.
Therefore by the conditions over , , Proposition 3.1, Remark 3.2, and (3.11),
are uniformly bounded.
Proposition 3.4. With the previous notation and the same hypothesis as in Proposition 3.3, there is such that for all and , we have
Proof. In the last property in Table 1, take and .
In the result below we show that the sequence defined in (3.4) approximates the exact solution of (1.1) as well as giving an upper bound of the error committed.
Theorem 3.5. With the previous notation and the same hypothesis as in Proposition 3.3, let , , , and be a set of positive numbers such that for all we have Then, Moreover, if is the exact solution of the integral equation (1.1), then the error is given by
Proof. First we deal with proving (3.18). For all and , Proposition 3.4 gives
To conclude the proof, we derive (3.19). From (2.3), we have
and in addition, on the other hand, applying recursively (2.2) and (3.18), we obtain
Then we use the triangular inequality
and the proof is complete in view of (3.21) and (3.22).
Remark 3.6. Under the hypotheses of Theorem 3.5, let us observe that by the inequality (3.19) we have
The first sumand on the right hand side approximates zero when increases; with respect to the second sumand, since the points of the partition can be chosen in such a way that becomes so close to zero as we desire, the can become so small as we desire, arriving in this way at an explicit control of the error committed.
Therefore, given , there exists such that when choosing sufficiently small.
4. Numerical Examples
In this last section we illustrate the results previously developed, stressing the significance of inequality (3.19) in Theorem 3.5, as mentioned in Remark 3.6.
First of all, we show how the numerical method works, because we use it later in the estimation of the error. For solving the numerical example, Mathematica 7 is used, and to construct the Schauder basis in , we considered the particular choice , and for , if where are integers. To define the sequence , we take and (for all ). In Tables 2 and 3, we exhibit, for , , and , the absolute errors committed in eight representative points of when we approximate the exact solution by the iteration . Its numerical results are also given in Figures 1 and 2, respectively.

Example 4.1. We solve (1.1) with , , , , and with the exact solution .
Example 4.2. We solve (1.1) with , , , , and with the exact solution .
Now we realize that the choice of a particular , determining the dyadic partition of the interval from the first nodes, and in such a way that the error is less than a fixed positive , that is, , can be easily determined practically: it suffices to compute, once again by means of Mathematica 7, the error. To this end, since it is measured in terms of the supnorm, we consider the nodes 0, 0.125, 0.25, 0.375, 0.5, 0.625, 0.75, 0.875, 1 and maximum of the absolute values of the differences between the values of the exact solution and the approximation obtained for the third iteration (). The numerical tests are given in Table 4 and correspond to the nonlinear mixed FredholVolterraHammerstein equations considered in Examples 4.1 and 4.2, respectively.
Acknowledgment
This paper is partially supported by Junta de Andaluca Grant FQM359.
References
 M. A. Abdou, “On a symptotic methods for FredholmVolterra integral equation of the second kind in contact problems,” Journal of Computational and Applied Mathematics, vol. 154, no. 2, pp. 431–446, 2003. View at: Publisher Site  Google Scholar
 S. Jiang and V. Rokhlin, “Second kind integral equations for the classical potential theory on open surfaces. II,” Journal of Computational Physics, vol. 195, no. 1, pp. 1–16, 2004. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 K. V. Kotetishvili, G. V. Kekelia, G. S. Kevanishvili, I. G. Kevanishvili, and B. G. Midodashvili, “Development and solution of the integral equation for axial current of a centerdriven dipole,” Journal of Applied Electromagnetism, vol. 12, no. 3, pp. 1–14, 2010. View at: Google Scholar
 X. Zhang, J. Luo, and Z. Zhao, “The iterative solution for electromagnetic field coupling to buried wires,” Mathematical Problems in Engineering, vol. 2011, Article ID 165032, 8 pages, 2011. View at: Publisher Site  Google Scholar
 P. Baratella, “A Nyström interpolant for some weakly singular nonlinear Volterra integral equations,” Journal of Computational and Applied Mathematics, vol. 237, no. 1, pp. 542–555, 2013. View at: Publisher Site  Google Scholar
 M. B. Dhakne and G. B. Lamb, “On an abstract nonlinear second order integrodifferential equation,” Journal of Function Spaces and Applications, vol. 5, no. 2, pp. 167–174, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 M. Hadizadeh and M. Mohamadsohi, “Numerical solvability of a class of VolterraHammerstein integral equations with noncompact kernels,” Journal of Applied Mathematics, no. 2, pp. 171–181, 2005. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 J. Zhu, Y. Yu, and V. Postolică, “Initial value problems for first order impulsive integrodifferential equations of Volterra type in Banach spaces,” Journal of Function Spaces and Applications, vol. 5, no. 1, pp. 9–26, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 F. G. Tricomi, Integral Equations, Dover, New York, NY, USA, 1985.
 M. A. ElAmeen and M. ElKady, “A new direct method for solving nonlinear VolterraFredholmHammerstein integral equations via optimal control problem,” Journal of Applied Mathematics, vol. 2012, Article ID 714973, 10 pages, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 H. R. Marzban, H. R. Tabrizidooz, and M. Razzaghi, “A composite collocation method for the nonlinear mixed VolterraFredholmHammerstein integral equations,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 3, pp. 1186–1194, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 Y. Ordokhani and M. Razzaghi, “Solution of nonlinear VolterraFredholmHammerstein integral equations via a collocation method and rationalized Haar functions,” Applied Mathematics Letters, vol. 21, no. 1, pp. 4–9, 2008. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 K. Parand and J. A. Rad, “Numerical solution of nonlinear VolterraFredholmHammerstein integral equations via collocation method based on radial basis functions,” Applied Mathematics and Computation, vol. 218, no. 9, pp. 5292–5309, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 K. Maleknejad, E. Hashemizadeh, and B. Basirat, “Computational method based on Bernstein operational matrices for nonlinear VolterraFredholmHammerstein integral equations,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 1, pp. 52–61, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 E. Babolian, F. Fattahzadeh, and E. G. Raboky, “A Chebyshev approximation for solving nonlinear integral equations of Hammerstein type,” Applied Mathematics and Computation, vol. 189, no. 1, pp. 641–646, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 M. I. Berenguer, A. I. GarraldaGuillem, and M. R. Galán, “Biorthogonal systems approximating the solution of the nonlinear Volterra integrodifferential equation,” Fixed Point Theory and Applications, vol. 2010, Article ID 470149, 9 pages, 2010. View at: Google Scholar  Zentralblatt MATH
 M. I. Berenguer, D. Gámez, A. I. GarraldaGuillem, and M. C. S. Pérez, “Nonlinear Volterra integral equation of the second kind and biorthogonal systems,” Abstract and Applied Analysis, vol. 2010, Article ID 135216, 11 pages, 2010. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 M. I. Berenguer, D. Gámez, A. I. GarraldaGuillem, M. R. Galán, and M. C. S. Pérez, “Biorthogonal systems for solving Volterra integral equation systems of the second kind,” Journal of Computational and Applied Mathematics, vol. 235, no. 7, pp. 1875–1883, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 M. I. Berenguer, D. Gámez, and A. J. López Linares, “Fixedpoint iterative algorithm for the linear FredholmVolterra integrodifferential equation,” Journal of Applied Mathematics, vol. 2010, Article ID 370894, 12 pages, 2012. View at: Publisher Site  Google Scholar
 M. I. Berenguer, D. Gámez, and A. J. López Linares, “Fixed point techniques and Schauder bases to approximate the solution of the first order nonlinear mixed FredholmVolterra integrodifferential equation,” Journal of Computational and Applied Mathematics, 2012. In press. View at: Publisher Site  Google Scholar
 F. Caliò, A.I. GarraldaGuillem, E. Marchetti, and M. Ruiz Galán, “About some numerical approaches for mixed integral equations,” Applied Mathematics and Computation, vol. 219, no. 2, pp. 464–474, 2012. View at: Publisher Site  Google Scholar
 D. Gámez, A. I. G. Guillem, and M. R. Galán, “Highorder nonlinear initialvalue problems countably determined,” Journal of Computational and Applied Mathematics, vol. 228, no. 1, pp. 77–82, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 D. Gámez, A. I. G. Guillem, and M. R. Galán, “Nonlinear initialvalue problems and Schauder bases,” Nonlinear Analysis: Theory, Methods & Applications, vol. 63, no. 1, pp. 97–105, 2005. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 G. J. O. Jameson, Topology and Normed Spaces, Chapman & Hall, London, UK, 1974.
 B. R. Gelbaum and J. G. de Lamadrid, “Bases of tensor products of Banach spaces,” Pacific Journal of Mathematics, vol. 11, pp. 1281–1286, 1961. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 Z. Semadeni, “Product Schauder bases and approximation with nodes in spaces of continuous functions,” Bulletin de l'Académie Polonaise des Sciences, vol. 11, pp. 387–391, 1963. View at: Google Scholar  Zentralblatt MATH
Copyright
Copyright © 2012 D. Gámez. 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.