- Research Article
- Open access
- Published:
Numerical Treatment of Fixed Point Applied to the Nonlinear Fredholm Integral Equation
Fixed Point Theory and Applications volume 2009, Article number: 735638 (2009)
Abstract
The authors present a method of numerical approximation of the fixed point of an operator, specifically the integral one associated with a nonlinear Fredholm integral equation, that uses strongly the properties of a classical Schauder basis in the Banach space .
1. Introduction
Let us consider the nonlinear Fredholm integral equation of the second kind
where and and are continuous functions. By defining in the Banach space of those continuous and real-valued functions defined on (usual sup norm) the integral operator as
then the Banach fixed point, theorem guarantees that, under certain assumptions, has a unique fixed point; that is, the Fredholm integral equation has exactly one solution. Indeed, assume in addition that is a Lipschitz function at its third variable with Lipschitz constant and that then the operator is contractive with contraction number , and thus has a unique fixed point . Moreover, where is any continuous function on Since in general it is not possible to calculate explicitly from a the sequence of functions we define in this work a new sequence of functions, denoted by obtained recursively making use of certain Schauder basis in (Banach space of those continuous real-valued functions on endowed with its usual sup norm). More concretely, we get from , approximating by means of the sequence of projections of such Schauder basis.
2. Numerical Approximation of the Solution
We start by recalling certain aspects about some well-known Schauder bases in the Banach spaces and .
Let us consider the usual Schauder basis in that is, for a dense sequence of distinct points in with and , we define
and for is the piecewise linear and continuous function with nodes satisfying for all and From this Schauder basis we define the usual Schauder basis for We consider the bijective mapping ( denotes integer part) given by
and take, for each with ,
The sequence is the usual Schauder basis in (see [1]). We will denote by and , respectively, the sequences of biorthogonal functionals and projections associated with such basis, that is, given the (continuous) functionals verify
and the (continuous) projections are defined by
Let us now introduce some notational conventions. For each the definition of projection just needs the first points of the sequence ordered in an increasing way that will be denoted by , and in addition we will write
We now describe idea of the numerical method proposed. The beginning point is the operator formulation of the integral Fredholm equation; from an initial function and since in general we cannot calculate explicitly we approximate this function in the following way: let
so
where is an adequate integer. We denote the last function by and repeat the same construction. Then we define recursively for each and ,
Now we state some technical results in order to study the error . In the first of them we give a bound for the distance between a continuous function and its projections. It is not difficult to prove it as a consequence of the Mean Value Theorem and the following interpolation property satisfied by the sequence of projections (see [1]): whenever and then
Lemma 2.1.
Let , let , and let be the sequence of projections associated with the basis , then it holds that
Let us introduce some notation, useful in what follows: given we write
Lemma 2.2.
Suppose that , and is the operator given by
Then, maintaining the preceding notation, we have that for all ,
Proof.
Since and is a Schauder basis for the Banach space then
On the other hand, taking into account the definition of , we have that
Finally, in view of Lemma 2.1 we arrive at
Finally we arrive at the following estimation of the error.
Theorem 2.3.
Assume that , , is a lipschitzian function at its third variable with Lipschitz constant with and that is the unique fixed point of the integral operator defined by
Suppose in addition that and that satisfy
Then, with the previous notation, it is satisfied that
where .
Proof.
We begin with the triangular inequality
In order to obtain a bound for the first right-hand side term we observe that operator is contractive, with contraction constant . Hence the Banach fixed point Theorem gives that
For deducing a bound for the second right-hand side term of (2.20), we use Lemma 2.2 and the assumption in the following chain of inequalities:
Once again, in view of Lemma 2.2 it follows that
Therefore, inequalities (2.20), (2.22), and (2.24) allow us to conclude that
as announced.
Remark 2.4 s.
(?1) The linear case was previously stated in [2]. For a general overview of the classical methods, see [3, 4].
(?2) The use of Schauder bases in the numerical study of integral and differential equations has been previously considered in [5–7] or [8].
(?3) For other approximating methods in Hilbert or Banach spaces, we refer to [9, 10].
3. Numerical Examples
We finally illustrate the numerical method proposed above by means of the two following examples. In both of them we choose the dense subset of
to construct the Schauder bases in and . To define the sequence of approximating functions we have taken an initial function and for all with different values of of the form with For such a choice, the value appearing in Lemma 2.2 is for all
Example 3.1.
Let us consider the nonlinear Fredholm integral equation of the second kind in :
whose analytical solution is the function In Table 1 we exhibit the absolute errors committed in nine points in when we approximate the exact solution by the iteration , by considering different values of .
Example 3.2.
Now we consider the following Fredholm integral equation appearing in [5, Example (11.2.1)]:
where is defined in such a way that is the exact solution. We denote by the approximation of the exact solution given by the collocation method and by the error:
where are the nodes of the collocation method. Now write for the error
with being the approximation obtained with our method, with for and choosing in such a way that
In Table 2 we show the errors for both methods.
Remark 3.3.
Although the errors obtained in the preceding example by our algorithm are similar to those derived from the collocation method, the computational cost is quite different: in order to apply the collocation method we need to solve high-order linear systems of algebraical equations, but for our method we just calculate linear combinations of scalar obtained by evaluating adequate functions. Indeed, the sequence of biorthogonal functionals satisfies the following easy property (see [1]): for all ,
while for all if
Obviously, this easy way of determining the biorthogonal functionals and consequently the approximating functions (integrals of a piecewise linear function) is equally valid in the general nonlinear case.
References
Semadeni Z: Schauder Bases in Banach Spaces of Continuous Functions, Lecture Notes in Mathematics. Volume 918. Springer, Berlin, Germany; 1982:v+136.
Domingo Montesinos M, Garralda Guillem AI, Ruiz Galán M: Fredholm integral equations and Schauder bases. In VIII Journées Zaragoza-Pau de Mathématiques Appliquées et de Statistiques, Monografías del Seminario Matemático García de Galdeano. Volume 31. Zaragoza University Press, Zaragoza, Spain; 2004:121–128.
Golberg MA: Numerical Solution of Integral Equations, Mathematical Concepts and Methods in Science and Engineering. Volume 42. Plenum Press, New York, NY, USA; 1990:xiv+417.
Atkinson KE, Han W: Theoretical Numerical Analysis. 2nd edition. Springer, New York, NY, USA; 2005.
Berenguer MI, Fortes MA, Garralda Guillem AI, Ruiz Galán M: Linear Volterra integro-differential equation and Schauder bases. Applied Mathematics and Computation 2004,159(2):495–507. 10.1016/j.amc.2003.08.132
Gámez D, Garralda Guillem AI, Ruiz Galán M: Nonlinear initial-value problems and Schauder bases. Nonlinear Analysis: Theory, Methods & Applications 2005,63(1):97–105. 10.1016/j.na.2005.05.005
Gámez D, Garralda Guillem AI, Ruiz Galán M: High-order nonlinear initial-value problems countably determined. Journal of Computational and Applied Mathematics 2009,228(1):77–82. 10.1016/j.cam.2008.08.039
Palomares A, Galán MRuiz: Isomorphisms, Schauder bases in Banach spaces, and numerical solution of integral and differential equations. Numerical Functional Analysis and Optimization 2005,26(1):129–137. 10.1081/NFA-200051625
Gu Z, Li Y: Approximation methods for common fixed points of mean nonexpansive mapping in Banach spaces. Fixed Point Theory and Applications 2008, 2008:-7.
Yao Y, Chen R: Iterative algorithm for approximating solutions of maximal monotone operators in Hilbert spaces. Fixed Point Theory and Applications 2007, 2007:-8.
Acknowledgments
This research partially supported by M.E.C. (Spain) and FEDER project no. MTM2006-12533 and by Junta de Andalucía Grant FQM359.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Berenguer, M.I., Fernández Muñoz, M.V., Garralda Guillem, A.I. et al. Numerical Treatment of Fixed Point Applied to the Nonlinear Fredholm Integral Equation. Fixed Point Theory Appl 2009, 735638 (2009). https://doi.org/10.1155/2009/735638
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/735638