Next Article in Journal / Special Issue
On the Lagged Diffusivity Method for the Solution of Nonlinear Finite Difference Systems
Previous Article in Journal
Auxiliary Model Based Multi-Innovation Stochastic Gradient Identification Algorithm for Periodically Non-Uniformly Sampled-Data Hammerstein Systems
Previous Article in Special Issue
An Efficient Algorithm for the Separable Nonlinear Least Squares Problem
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Existence of Solutions of Nonlinear Fredholm Integral Equations from Kantorovich’s Technique

Department of Mathematics and Computation, University of La Rioja, C/ Madre de Dios, 53, 26006 Logroño, Spain
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Algorithms 2017, 10(3), 89; https://doi.org/10.3390/a10030089
Submission received: 16 May 2017 / Revised: 13 July 2017 / Accepted: 30 July 2017 / Published: 2 August 2017
(This article belongs to the Special Issue Numerical Algorithms for Solving Nonlinear Equations and Systems 2017)

Abstract

:
The well-known Kantorovich technique based on majorizing sequences is used to analyse the convergence of Newton’s method when it is used to solve nonlinear Fredholm integral equations. In addition, we obtain information about the domains of existence and uniqueness of a solution for these equations. Finally, we illustrate the above with two particular Fredholm integral equations.

1. Introduction

Integral equations have numerous applications in almost all branches of the sciences and many physical processes and mathematical models in Engineering are usually governed by integral equations. The main feature of these equations is that they are usually nonlinear. In particular, nonlinear integral equations arise in fluid mechanics, biological models, solid state physics, kinetics chemistry, etc. In addition, many initial and boundary value problems can be easily turned into integral equations. One type of particularly interesting equation is a nonlinear Fredholm integral equation of the form
x ( s ) = f ( s ) + ϖ a b K ( s , t ) x ( t ) p d t , s [ a , b ] , p R , p 2 ,
where ϖ R , < a < b < + , the function f ( s ) is continuous on [ a , b ] and given, the kernel K ( s , t ) is a known continuous function in [ a , b ] × [ a , b ] and x is a solution to be determined.
As integral equations of the form (1) cannot be solved exactly, we use numerical methods to solve them; we can apply different numerical techniques and some of them can be found in the references of this work.
For a general background on numerical methods for integral equations of the form (1), the books of Atkinson [1] and Delves and Mohamed [2] are recommended. For a review of less recent methods, we refer the reader to the survey by Atkinson [3]. There is a great deal of publication on the numerical solution of Equation (1). In recent publications, different mathematical tools and numerical implementations have been applied to solve integral equations (1). In some of these publications, certain authors extensively use methods based on different kinds of wavelets [4,5]. Polynomial approximation methods using different base functions, such as Chebyshev polynomials, have been introduced; see for example [6,7]. An approximation with Sinc functions has been developed in [8]. Sinc methods have increasingly been recognized as powerful tools for tackling problems in applied physics and engineering [9]. Several different variants of numerical or theoretical studies on (1) have been developed in the literature. For some examples, see papers [10,11]. In terms of iterative schemes for solving Equation (1), in [12], we can find an iterative scheme based on the homotopy analysis method, which is a general analytic approach to obtain series solutions of various types of nonlinear equations and based on homotopy. In particular, by means of the aforementioned method, we can construct a continuous mapping of an initial guess approximation to the exact solution of the equation to be solved. In [13], the authors present an adapted modification to the Newton–Kantorovich method. Finally, in [14], the Newton–Kantorovich method and quadrature methods are combined to develop a new method for solving Equation (1).
In this work, we propose using Newton’s method for solving Equation (1). For this, we previously analysed the semilocal convergence of the method and then compared the efficacy of the method with the former techniques for solving a particular integral equation of the form (1). The semilocal convergence results need to know the conditions of the operator involved in the equation to be solved and the starting points of the iterative methods; the results show the existence of solutions of the equation that allow us to obtain the domain of existence of a solution.
The main interest of this work is two-fold. On the one hand, we conduct a qualitative study of Equation (1) and obtain results on the existence and uniqueness of a solution. On the other hand, we obtain the numerical resolution of the equation. For this, we previously consider a separable kernel K ( s , t ) and we directly approximate a solution of Equation (1). Secondly, by means of Taylor series, we consider the case of a non-separable kernel. For both aims, we use Newton’s method, which is the most well-known iterative method for solving nonlinear equations.
For the first aim, we study the application of Newton’s method to Equation (1) by analysing the convergence of the method and use its theoretical significance to draw conclusions about the existence and uniqueness of a solution, so that we can locate a solution of the equation from a domain of existence of solutions and then obtain a domain of uniqueness of solutions that allows us to isolate the solution previously located from other possible solutions of the equation. To achieve this aim, we use Kantorovich’s technique [15], that was developed by the Russian mathematician L. V. Kantorovich at the beginning of the 1950s and is based on the concept of “majorizing sequence”, which will be introduced later. For the second aim, we apply Newton’s method to numerically solve Equation (1).
This paper is organized as follows. In Section 2, we consider a particular equation of the form (1) and present the above-mentioned Kantorovich’s technique by introducing the concept of “majorizing sequence”. In Section 3, from the theoretical significance of Newton’s method, we obtain information about the existence and uniqueness of a solution for the nonlinear Fredholm integral equations introduced in Section 2. Finally, in Section 4, we illustrate all the above-mentioned with two applications where nonlinear Fredholm integral equations are involved and by considering separable and nonseparable kernels.

2. Kantorovich’s Technique

As mentioned in the introduction, this paper has two main aims: to obtain conclusions about the existence and uniqueness of a solution of (1) by using the theoretical significance of Newton’s method and to numerically approximate a solution of (1).
It is clear that solving (1) is equivalent to solving the equation F ( x ) = 0 , where F : Ω C [ a , b ] C [ a , b ] ,
[ F ( x ) ] ( s ) = x ( s ) f ( s ) ϖ a b K ( s , t ) x ( t ) p d t , s [ a , b ] ,
where
Ω = { x ( s ) C [ a , b ] : x ( s ) 0 }   if   p = q 1 q 2   with   q 1 , q 2 N   and   q 2   even , { x ( s ) C [ a , b ] : x ( s ) > 0 }   if   p     R   \   Q . C [ a , b ]   for   any   other   value   of   p .
For solving equation F ( x ) = 0 , Newton’s method is
x n = x n 1 [ F ( x n 1 ) ] 1 F ( x n 1 ) , n N , with   x 0   given   in   Ω .
The method has already been applied to approximate solutions of nonlinear integral equations [16,17]. However, the novelty of this work is in using Kantorovich’s technique to obtain a convergence result for Newton’s method when it is applied to solve (1) and, as a consequence, us the theoretical significance of the method to draw conclusions about the existence and uniqueness of a solution of (1) and about the region in which it is located, without finding the solution itself—this is sometimes more important than the actual knowledge of the solution. A solution is found by constructing a scalar function ad hoc which is used to define a majorizing sequence instead of using the classical quadratic polynomial of Kantorovich.
Kantorovich’s technique consists of translating the problem of solving equation F ( x ) = 0 in Ω to solve a scalar equation φ ( t ) = 0 and this is done once x 0 Ω is fixed under certain conditions. In addition, the domains of existence and uniqueness of a solution for Equation (1) can be determined from the positive solutions of φ ( t ) = 0 .
The idea of Kantorovich’s technique is easy: once a real number t 0 is fixed, we define the scalar iterative method
t n = N φ ( t n 1 ) = t n 1 φ ( t n 1 ) φ ( t n 1 ) , n N ,
such that
x n x n 1 t n t n 1 , for   all n N .
Condition (4) means that the scalar sequence { t n } majorizes the sequence { x n } or, in other words, { t n } is a majorizing sequence of { x n } . Obviously, if { t n } is convergent, { x n } also is. Therefore, the convergence of the sequence { x n } is a consequence of the convergence of the sequence { t n } and the latter problem is much easier than the former one.

2.1. The Auxiliary Scalar Function

We begin by analysing the operator F ( x ) given in (2). So, from (2), it follows that the Fréchet derivatives of operator F are
[ F ( x ) y ] ( s ) = y ( s ) ϖ p a b K ( s , t ) x ( t ) p 1 y ( t ) d t ,
[ F ( k ) ( x ) ( y 1 y 2 y k ) ] ( s ) = ϖ p ( p 1 ) ( p k + 1 ) a b K ( s , t ) x ( t ) p k y 1 ( t ) y 2 ( t ) y k ( t ) d t ,
for k = 2 , 3 , , [ p ] , where [ p ] denotes the integer part of the real number p 2 .
In addition,
F ( k ) ( x ) | ϖ | p k k ! S x p k ,
where S = max s [ a , b ] a b K ( s , t ) d t with the infinity-norm. Next, taking into account that x x 0 + x x 0 , it follows
F ( k ) ( x ) | ϖ | p k k ! S x p k | ϖ | p k k ! S x 0 + x x 0 p k
| ϖ | p k k ! S x 0 + t t 0 p k ,
provided that x x 0 t t 0 . Moreover, for p 3 , we denote
F ( i ) ( x 0 ) | ϖ | p i i ! S x 0 p i = M i ,
for i = 2 , , k 1 .
On the other hand, we observe that the existence of the operator [ F ( x 0 ) ] 1 must be guaranteed in the first step of Newton’s method, since x 1 = x 0 [ F ( x 0 ) ] 1 F ( x 0 ) . The existence of [ F ( x 0 ) ] 1 follows from the Banach lemma on invertible operators, so the operator [ F ( x 0 ) ] 1 exists and is such that
[ F ( x 0 ) ] 1 1 1 I F ( x 0 ) ,
provided that I F ( x 0 ) < 1 ; namely,
| ϖ | p S x 0 p 1 < 1 .
In addition, we denote β = 1 1 | ϖ | p S x 0 p 1 and do
[ F ( x 0 ) ] 1 F ( x 0 ) F ( x 0 ) β = η .
Now, we consider p 3 and denote ω k ( t ; t 0 ) = | ϖ | p k k ! S x 0 + t t 0 p k , for k = 2 , 3 , , [ p ] . Then, as a consequence of the latter, we can find scalar functions y ( t ) such that y ( k ) ( t ) = ω k ( t ; t 0 ) , for k = 2 , 3 , , [ p ] , to construct a majorizing sequence { t n } as that given in (3) by solving the following initial value problem (see [18]):
y ( k ) ( t ) = | ϖ | p k k ! S x 0 + t t 0 p k , y ( t 0 ) = η β , y ( t 0 ) = 1 β , y ( t 0 ) = M 2 , y ( t 0 ) = M 3 , , y ( k 1 ) ( t 0 ) = M k 1 .
It is easy to see that there exists only one solution for the last initial value problem, that is:
φ ( t ) = t 0 t t 0 θ k 1 t 0 θ 1 ω k ( z ; t 0 ) d z d θ 1 d θ k 1 + i = 2 k 1 M i i ! ( t t 0 ) i t t 0 β + η β
= | ϖ | S x 0 + t t 0 p ( t t 0 ) + F ( x 0 ) | ϖ | S x 0 p .
Notice that the scalar function defined in (7) and used to construct the scalar sequence { t n } given in (3) with φ ( t ) defined in (7), that majorizes { x n } in Ω , is independent of k, so we can choose any k, such that k = 2 , 3 , , [ p ] , to construct the last initial value problem that gives us φ ( t ) .
If p [ 2 , 3 ) and using only condition (5), we consider the initial value problem
y ( t ) = | ϖ | p 2 2 ! S x 0 + t t 0 p 2 , y ( t 0 ) = η β , y ( t 0 ) = 1 β ,
whose unique solution also is (7).
Once such a majorizing sequence { t n } is determined from φ ( t ) , we have then to prove its convergence. For this, it is well known [15] that it is necessary that the scalar function φ ( t ) has at least one positive real zero greater than or equal to t 0 and sequence { t n } is increasing and convergent to this zero.

2.2. The Majorizing Sequence

We begin by studying the function given in (7). Firstly, we notice that we have considered any t 0 0 in the last section, but we can consider t 0 = 0 , so function φ ( t ) is reduced to
ϕ ( t ) = | ϖ | S x 0 + t p t + F ( x 0 ) | ϖ | S x 0 p .
This is a consequence of the fact that ϕ ( t ) = φ ( t + t 0 ) , which leads us to the sequence { t n = N φ ( t n 1 ) } n N , for any t 0 > 0 , satisfies t n = N φ ( t n 1 ) = t 0 + N ϕ ( s n 1 ) , n N , where s n = N ϕ ( s n 1 ) with s 0 = 0 , since we have, for t 0 0 and s 0 = 0 ,
t 0 + s n = t 0 + N ϕ ( s n 1 ) = t 0 + s n 1 ϕ ( s n 1 ) ϕ ( s n 1 )
= t 0 + s n 1 φ ( s n 1 + t 0 ) φ ( s n 1 + t 0 ) = t n 1 φ ( t n 1 ) φ ( t n 1 ) = N φ ( t n 1 ) = t n ,
for all n N . Therefore, the real sequences { t n } and { s n } given by Newton’s method when they are constructed from φ ( t ) and ϕ ( t ) , respectively, can be obtained, one from the other, by translation. Besides, t n t n 1 = s n s n 1 , for all n N , and all the results obtained previously are independent of the value t 0 0 , so we choose t 0 = 0 because, in practice, it is the most favourable situation.
Secondly, we denote σ = min { t > 0 : ϕ ( t ) 0 } , where ϕ ( t ) is given in (8). Note that there exists only one positive real zero σ of ϕ ( t ) in ( 0 , + ) satisfying σ = min { t > 0 : ϕ ( t ) 0 } , since ϕ ( 0 ) = 1 < 0 , ϕ ( t ) > 0 and ϕ ( t ) > 0 as t + .
Theorem 1. 
If ϕ ( σ ) 0 , then ϕ ( t ) has two real zeros r and R such that 0 r σ R .
Thirdly, by taking into account the classical Fourier conditions [19] for the convergence of Newton’s method in the scalar case, we establish that sequence { t n } is increasing and converges to r in the following result.
Theorem 2. 
If ϕ ( σ ) 0 , then sequence { t n } is increasing and converges to the positive real zero r of ϕ ( t ) .
Fourthly, we prove a system of recurrence relations in the next theorem that guarantees that { t n } is a majorizing sequence of { x n } in Ω , whose proof is similar to that given for Lemma 7 in [18].
Theorem 3. 
Suppose that x n Ω , for all n 0 , and p 3 . If ϕ ( σ ) 0 , then the following four bounds are satisfied for all n N :
(i) 
there exists [ F ( x n ) ] 1 and [ F ( x n ) ] 1 1 ϕ ( t n ) ,
(ii) 
F ( i ) ( x n ) ϕ ( i ) ( t n ) , for i = 2 , 3 , , k 1 ,
(iii) 
F ( x n ) ϕ ( t n ) ,
(iv) 
x n + 1 x n t n + 1 t n .
Note that (i), ( i i ) and ( i v ) are obvious if n = 0 and ( i i i ) are not necessary to prove ( i v ), since it follows from the initial condition [ F ( x 0 ) ] 1 F ( x 0 ) η .
Finally, if p [ 2 , 3 ) , we obtain a result similar to the last theorem which can be seen in [20].

3. Existence and Uniqueness of a Solution

Following Kantorovich’s technique, the convergence of sequence { x n } in Ω is then guaranteed from the convergence of sequence { t n } , since { t n } majorizes { x n } , which allows us to draw conclusions on the location of a solution of equation (1). After locating a solution of Equation (1), we establish the uniqueness of a solution. For this, from now on, we denote B ( x , ϱ ) ¯ = { y C [ a , b ] : y x ϱ } and B ( x , ϱ ) = { y C [ a , b ] : y x < ϱ } .
Theorem 4. 
Let x 0 Ω be such that condition (6) is satisfied and ϕ ( t ) the function defined in (8). If ϕ ( σ ) 0 , where σ = min { t > 0 : ϕ ( t ) 0 } , and B ( x 0 , r ) Ω , then Equation (1) has a solution x * ( s ) in B ( x 0 , r ) ¯ and it is unique in B ( x 0 , R ) Ω if r < R or in B ( x 0 , r ) ¯ if r = R , where r and R are two positive real zeros of ϕ ( t ) .
Proof. 
From ( i ) and ( i i ) , it is clear that x 1 x 0 t 1 < r and x 1 B ( x 0 , r ) Ω . If we now suppose that x j B ( x 0 , r ) Ω , for j = 1 , 2 , , n 1 , it follows, from Theorem 3, that the operator [ F ( x n 1 ) ] 1 exists with [ F ( x n 1 ) ] 1 1 ϕ ( t n 1 ) , F ( i ) ( x n 1 ) ϕ ( i ) ( t n 1 ) , for i = 2 , 3 , , k 1 , F ( x n 1 ) ϕ ( t n 1 ) and x n x n 1 t n t n 1 , so that
x n x 0 i = 0 n 1 x i + 1 x i i = 0 n 1 ( t i + 1 t i ) = t n < r
and therefore x n B ( x 0 , r ) and x n are well defined.
After that, it follows that { x n } is a Cauchy sequence; as a consequence, { t n } is a Cauchy sequence and lim n t n = r , since, from Theorem 2, the sequence { t n } is increasing and bounded above by r. Thus, { x n } is convergent, lim n x n = x * and
x * x n r t n , n 0 .
In addition, the combination of this and ( i i i ) yields F ( x * ) = 0 , where F is defined in (2).
Next, from Section 2.1, we have
F ( x ) | ϖ | p ( p 1 ) S x 0 + t t 0 p 2 ,
provided that x x 0 t t 0 . Now, as t 0 = 0 , it is clear that F ( x ) ϕ ( t ) , for x x 0 t , and, as a consequence of this, the uniqueness of a solution x * ( s ) follows exactly that given for Theorem 11 in [18].  ☐

4. Applications

In this section, we present two applications where the above study done is illustrated. Both applications arise from the two possibilities that may present kernel K ( s , t ) , depending on whether it is separable or not.

4.1. Application 1

We first consider the following nonlinear Fredholm integral equation,
x ( s ) = sin ( π s ) + 1 5 0 1 cos ( π s ) sin ( π t ) x ( t ) 3 d t ,
with s [ 0 , 1 ] , that has been used by other authors as a numerical test [13,21]. Observe that, in this case, kernel K ( s , t ) = cos ( π s ) sin ( π t ) is separable.
Firstly, we apply Theorem 4 to obtain domains of existence and uniqueness of a solution. For this, we observe that the corresponding function F ( x ) defined in (2) and associated with (10) is defined in Ω = C [ 0 , 1 ] . We then observe that condition (6) is required in Theorem 4. However, if we pay attention to the integral equation, we observe that the kernel is separable and we can then determine the corresponding operator [ F ( x ) ] 1 . For this, we write [ F ( x ) y ] ( s ) = z ( s ) , so, if there exists [ F ( x ) ] 1 , we have
[ F ( x ) ] 1 z ( s ) = y ( s ) = z ( s ) + cos ( π s ) 3 5 0 1 x ( t ) 2 sin ( π t ) y ( t ) d t .
If we now denote 3 5 0 1 x ( t ) 2 sin ( π t ) y ( t ) d t = I , multiply next-to-last equality by 3 5 x ( s ) 2 sin ( π s ) and integrate it between 0 and 1, we obtain
I = 0 1 x ( s ) 2 sin ( π s ) z ( s ) d s 5 3 0 1 x ( s ) 2 sin ( π s ) cos ( π s ) d s
provided that
0 1 x ( s ) 2 sin ( π s ) cos ( π s ) d s 5 3 .
Therefore,
y ( s ) = [ F ( x ) ] 1 z ( s ) = z ( s ) + 3 5 cos ( π s ) 0 1 sin ( π t ) x ( t ) 2 z ( t ) d t 1 3 5 0 1 sin ( π t ) cos ( π t ) x ( t ) 2 d t .
Now, as a consequence of the last formula, condition (6), that is required to prove the existence of the inverse operator [ F ( x 0 ) ] 1 , can be omitted, provided that
0 1 sin ( π t ) cos ( π t ) x 0 ( t ) 2 d t 5 3 .
Therefore, it is sufficient to choose some starting point x 0 ( s ) for Newton’s method such that the previous inequality holds. As x 0 ( s ) = sin ( π s ) is a reasonable choice as a starting point for Newton’s method, as we can see in [12,13,14], the last inequality holds, since 0 1 sin ( π t ) cos ( π t ) x 0 ( t ) 2 d t = 0 , and condition (6) is omitted.
After that, taking into account that ϖ = 1 5 , S = 2 π , p = 3 , x 0 = 1 and F ( x 0 ) = 3 40 , we construct the auxiliary scalar function
ϕ ( t ) = 1 40 π ( 16 t 3 + 48 t 2 + 8 ( 6 5 π ) t + 3 π )
and see that it has two positive real zeros r = 0.1327 and R = 1.0589 . Therefore, the domains of existence and uniqueness of a solution of Equation (10) are respectively
h C [ 0 , 1 ] : h ( s ) sin ( π s ) r = 0 . 1327 ,
h C [ 0 , 1 ] : h ( s ) sin ( π s ) < R = 1.0588 .
On the other hand, we can write the function ϕ ( t ) in the following way
ϕ ( t ) = ( r t ) ( R t ) ( t ) , ( t ) = 2 5 π ( t + ( 4.19156 ) )
and obtain a priori error estimates from Ostrsowski’s technique [19], that allow us to determine the number of iterations that we have to apply in Newton’s method to reach a previously fixed precision. For this, we write α n = r t n and γ n = R t n , for all n 0 . Then,
ϕ ( t n ) = α n γ n ( t n ) , ϕ ( t n ) = α n γ n ( t n ) ( α n + γ n ) ( t n )
and
α n + 1 = r t n + ϕ ( t n ) ϕ ( t n ) = α n 2 γ n ( t n ) ( t n ) α n γ n ( t n ) ( α n + γ n ) ( t n ) .
From α n + 1 γ n + 1 = α n 2 γ n ( t n ) ( t n ) γ n 2 α n ( t n ) ( t n ) , it follows
P α n γ n 2 α n + 1 γ n + 1 Q α n γ n 2 ,
α n + 1 γ n + 1 Q 2 n + 1 1 α 0 γ 0 2 n + 1 = U 2 n + 1 Q ,
α n + 1 γ n + 1 P 2 n + 1 1 α 0 γ 0 2 n + 1 = V 2 n + 1 P ,
where P = 0.7718 , Q = 0.7858 , U = 0.0985 and V = 0.0967 , and then taking into account that γ n + 1 = ( R r ) + α n + 1 , we obtain
δ n r t n ε n ,
where δ n = ( R r ) V 2 n P V 2 n and ε n = ( R r ) U 2 n Q U 2 n for all n 0 . In Table 1, we can see the a priori error estimates that lead to the well-known quadratic convergence of Newton’s method.
Now, taking into account the exact solution
ψ ( s ) = sin ( π s ) + 1 3 20 391 cos ( π s )
of equation (10), we compare the obtained results with those given by other authors when different numerical methods are applied to solve (10).
In Table 2, we show the real errors for n = 10 and n = 20 when the adapted Newton’s method is used in [13] to solve (10) and some points of the interval involved are chosen. In Table 3, we show the real errors when a combination of Newton’s method and quadrature methods [14] and an iterative scheme based on the homotopy analysis method [12] are applied. Notice that x * x n ε n , since x * x n r t n , so we already improve the results obtained in Table 2 and Table 3 by other authors with four iterations of Newton’s method,
x 4 ( s ) = sin ( π s ) + ( 0.075426688904937162 ) cos ( π s ) ,
and the stopping criterion x n x n 1 < 10 32 . Finally, although we have already guaranteed that the numerical approximation given by x 4 ( s ) to the solution ψ ( s ) of equation (10) is of at least order 10 17 , we see in Table 4 that this approximation is, in fact, of at least order 10 30 .

4.2. Application 2

Secondly, we consider the following nonlinear integral Fredholm equation,
x ( s ) = s + 1 2 1 2 1 2 e s t x ( t ) 10 3 d t ,
with s 1 2 , 1 2 . Observe that, in this case, kernel K ( s , t ) = e s t is not separable. In addition, the corresponding function F ( x ) defined in (2) and associated with (11) is defined in Ω = C 1 2 , 1 2 .
From Equation (11), we see that x 0 ( s ) = s is a reasonable choice of starting point for Newton’s method. In addition, condition (6) of Theorem 4 is satisfied, since | ϖ | p S x 0 p 1 = 0.1670 < 1 , and the auxiliary scalar function ϕ ( t ) involved in our study is
ϕ ( t ) = 1 8 8 t + 2 2 3 sinh 1 4 ( 1 + 2 t ) 10 3 ,
that has two positive real zeros r = 0.0842 and R = 0.4921 As a consequence of Theorem 4, Equation (11) then has a solution x * ( s ) in B ( x 0 , 0.0842 ) ¯ and it is unique in B ( x 0 , 0.4921 ) .
As kernel K ( s , t ) = e s t is not separable, the application of Newton’s method for solving (11) is not easy. Taking into account this fact, we first use Taylor’s series to approximate K ( s , t ) = e s t . So,
K ( s , t ) = e s t = K ˜ ( s , t ) + R ( ϵ , s , t ) ; K ˜ ( s , t ) = i = 0 j 1 s i t i i ! , R ( ϵ , s , t ) = e s ϵ j ! s j t j ,
where ϵ min { 0 , t } , max { 0 , t } , and consider the integral equation
x ( s ) = s + 1 2 1 2 1 2 K ˜ ( s , t ) x ( t ) 10 3 d t , s 1 2 , 1 2 .
Next, we take into account the following relation that is satisfied by x * ( s ) and x ˜ ( s ) , that are respectively solutions of (11) and (12):
x * ( s ) x ˜ ( s ) | ϖ | T ( ρ * ) 10 3 1 10 3 | ϖ | S ˜ | ρ * ρ ˜ | + ρ ˜ 7 3 ,
where S ˜ = max s 1 2 , 1 2 1 2 1 2 K ˜ ( s , t ) d t , T = max ϵ 1 2 , 1 2 max s 1 2 , 1 2 1 2 1 2 R ( ϵ , s , t ) d t , ρ * x * ( s ) and ρ ˜ x ˜ ( s ) after taking norms in (11) and (12).
Thus, if we want to obtain, for example, an approximation of the solution x * ( s ) of order 10 9 , it is sufficient to choose j = 5 in (12). In this case, S ˜ = 1.0104 , T = 6.2199 × 10 8 , ρ * = ρ ˜ = 0.5842 , so x * ( s ) x ˜ ( s ) 9.9790 × 10 9 .
Hence, if we now look for a solution x ˜ ( s ) of (12) by Newton’s method, we look for an approximation x n ( s ) such that x ˜ ( s ) x n ( s ) is of order 10 10 , since
x * ( s ) x n ( s ) x * ( s ) x ˜ ( s ) + x ˜ ( s ) x n ( s ) x * ( s ) x ˜ ( s ) + r t n
if we take into account (9). In this case, it is sufficient to choose a number of iterations n of Newton’s method such that r t n is of order 10 10 . Note that the last fact is possible, since the sequence { t n } is known a priori, as we can see in Table 5.
So, we can then apply Newton’s method from x 0 ( s ) = s to approximate a solution x ˜ ( s ) of integral Equation (12), as we do in [22], and then choose the approximation
x 4 ( s ) = ( 1.1509 × 10 2 ) + ( 1.0004 ) t + ( 9.8357 × 10 4 ) t 2
+ ( 1.2743 × 10 5 ) t 3 + ( 1.5568 × 10 5 ) t 4 + ( 1.2117 × 10 7 ) t 5 ,
that is obtained after four iterations of Newton’s method with the stopping criterion x n ( s ) x n 1 ( s ) < 10 24 , since x ˜ ( s ) x 4 ( s ) r t 4 = 2.4791 × 10 15 . In this case,
x * ( s ) x 4 ( s ) x * ( s ) x ˜ ( s ) + x ˜ ( s ) x 4 ( s ) 9.9790 × 10 9 ,
and, as a consequence, x 4 ( s ) is an approximation of the solution x * ( s ) of Equation (11) of the order 10 9 looked for.

Acknowledgments

This research was partially supported by Ministerio de Economía y Competitividad under grant MTM2014-52016-C2-1-P.

Author Contributions

The contributions of the two authors have been similar. Both authors have worked together to develop the present manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Atkinson, K.E. The Numerical Solution of Integral Equations of the Second Kind; Cambridge University Press: Cambridge, UK, 1997. [Google Scholar]
  2. Delves, L.M.; Mohamed, J.L. Computational Methods for Integral Equations; Cambridge University Press: Cambridge, UK, 1985. [Google Scholar]
  3. Atkinson, K.E. A survey of numerical methods for solving nonlinear integral equations. J. Integr. Equ. Appl. 1992, 4, 15–46. [Google Scholar] [CrossRef]
  4. Babolian, E.; Shahsavaran, A. Numerical solution of nonlinear Fredholm integral equations of the second kind using Haar wavelets. J. Comput. Appl. Math. 2009, 225, 87–95. [Google Scholar] [CrossRef]
  5. Mahmoudi, Y. Wavelet Galerkin method for numerical solution of nonlinear integral equation. Appl. Math. Comput. 2005, 167, 1119–1129. [Google Scholar] [CrossRef]
  6. Darijani, A.; Mohseni-Moghadam, M. Improved polynomial approximations for the solution of nonlinear integral equations. Sci. Iran. 2013, 20, 765–770. [Google Scholar]
  7. Yang, C. Chebyshev polynomial solution of nonlinear integral equations. J. Franklin Inst. 2012, 34, 9947–9956. [Google Scholar] [CrossRef]
  8. Maleknejad, K.; Mollapourasl, R.; Alizadeh, M. Convergence analysis for numerical solution of Fredholm integral equation by Sinc approximation. Commun. Nonlinear Sci. Numer. Simul. 2011, 16, 2478–2485. [Google Scholar]
  9. Stenger, F. Numerical Methods Based on Sinc and Analytic Functions; Springer: New York, NY, USA, 1993. [Google Scholar]
  10. Allouch, C.; Sbibih, D.; Tahrichi, M. Superconvergent Nystrom and degenerate kernel methods for Hammerstein integral equations. J. Comput. Appl. Math. 2014, 258, 30–41. [Google Scholar] [CrossRef]
  11. Liang, J.; Yan, S.-H.; Agarwal, R.P.; Huang, T.-W. Integral solution of a class of nonlinear integral equations. Appl. Math. Comput. 2013, 219, 4950–4957. [Google Scholar]
  12. Awawdeh, F.; Adawi, A.; Al-Shara, S. A numerical method for solving nonlinear integral equations. Int. Math. Forum 2009, 4, 805–817. [Google Scholar]
  13. Nadir, M.; Khirani, A. Adapted Newton-Kantorovich method for nonlinear integral equations. J. Math. Stat. 2016, 12, 176–181. [Google Scholar] [CrossRef]
  14. Saberi-Nadja, J.; Heidari, M. Solving nonlinear integral equations in the Urysohn form by Newton-Kantorovich-quadrature method. Comput. Math. Appl. 2010, 60, 2018–2065. [Google Scholar]
  15. Kantorovich, L.V.; Akilov, G.P. Functional Analysis; Pergamon Press: New York, NY, USA, 1982. [Google Scholar]
  16. Ezquerro, J.A.; Hernández, M.A. The Newton method for Hammerstein equations. J. Comput. Anal. Appl. 2005, 7, 437–446. [Google Scholar]
  17. Gutiérrez, J.M.; Hernández, M.A.; Salanova, M.A. On the approximate solution of some Fredholm integral equations by Newton’s method. Southwest J. Pure Appl. Math. 2004, 1, 1–9. [Google Scholar]
  18. Ezquerro, J.A.; González, D.; Hernández, M.A. A semilocal convergence result for Newton’s method under generalized conditions of Kantorovich. J. Complexity 2014, 30, 309–324. [Google Scholar] [CrossRef]
  19. Ostrowski, A.M. Solution of Equations and Systems of Equations; Academic Press: New York, NY, USA, 1966. [Google Scholar]
  20. Ezquerro, J.A.; González, D.; Hernández, M.A. Majorizing sequences for Newton’s method from initial value problem. J. Comput. Appl. Math. 2012, 236, 2246–2258. [Google Scholar] [CrossRef]
  21. Rashidinia, J.; Parsa, A. Analytical-numerical solution for nonlinear integral equations of Hammerstein typ. Int. J. Math. Model. Comput. 2012, 2, 61–69. [Google Scholar]
  22. Ezquerro, J.A.; Hernández-Verón, M.A. Newton’s Method: An Updated Approach of Kantorovich’s Theory; Birkhäuser: Cham, Switzerland, 2017. [Google Scholar]
Table 1. A priori error estimates.
Table 1. A priori error estimates.
n δ n ε n
0 1.3272 × 10 1 1.3272 × 10 1
1 1.1368 × 10 2 1.1577 × 10 2
2 1.0513 × 10 4 1.1095 × 10 4
3 9.2090 × 10 9 1.0444 × 10 8
4 7.0677 × 10 17 9.2563 × 10 17
Table 2. Real errors for n = 10 and n = 20 when the adapted Newton’s method given in [13] is applied.
Table 2. Real errors for n = 10 and n = 20 when the adapted Newton’s method given in [13] is applied.
t n = 10 n = 20
0.0 5.44 × 10 8 3.19 × 10 16
0.2 4.40 × 10 8 2.22 × 10 16
0.4 1.68 × 10 8 1.11 × 10 16
0.6 1.68 × 10 8 1.11 × 10 16
0.8 4.40 × 10 8 2.22 × 10 16
1.0 5.44 × 10 8 3.19 × 10 16
Table 3. Real errors when a combination of Newton’s method and quadrature methods [14] and an iterative scheme based on the homotopy analysis method [12] are applied.
Table 3. Real errors when a combination of Newton’s method and quadrature methods [14] and an iterative scheme based on the homotopy analysis method [12] are applied.
t[14]-Errors[12]-Errors
0.0 4.98 × 10 2 5.53 × 10 15
0.2 4.03 × 10 2 4.55 × 10 15
0.4 1.53 × 10 2 1.77 × 10 15
0.6 1.53 × 10 2 1.77 × 10 15
0.8 4.03 × 10 2 4.55 × 10 15
1.0 1.53 × 10 2 5.53 × 10 15
Table 4. Real errors.
Table 4. Real errors.
t ψ ( t ) x 4 ( t ) ψ ( t ) x 4 ( t )
0.0 7.54 × 10 2 7.54 × 10 2 2.87 × 10 30
0.2 6.48 × 10 1 6.48 × 10 1 2.32 × 10 30
0.4 9.74 × 10 1 9.74 × 10 1 8.87 × 10 31
0.6 9.27 × 10 1 9.27 × 10 1 8.87 × 10 31
0.8 5.26 × 10 1 5.26 × 10 1 2.32 × 10 30
1.0 7.54 × 10 2 7.54 × 10 2 2.87 × 10 30
Table 5. Sequence { t n } and a priori error estimates.
Table 5. Sequence { t n } and a priori error estimates.
n t n r t n
00 8.4216 × 10 2
1 0.07528076 8.9357 × 10 3
2 0.08407562 1.4088 × 10 4
3 0.08421647 3.6635 × 10 8
4 0.08421651 2.4791 × 10 15

Share and Cite

MDPI and ACS Style

Ezquerro, J.A.; Hernández-Verón, M.Á. On the Existence of Solutions of Nonlinear Fredholm Integral Equations from Kantorovich’s Technique. Algorithms 2017, 10, 89. https://doi.org/10.3390/a10030089

AMA Style

Ezquerro JA, Hernández-Verón MÁ. On the Existence of Solutions of Nonlinear Fredholm Integral Equations from Kantorovich’s Technique. Algorithms. 2017; 10(3):89. https://doi.org/10.3390/a10030089

Chicago/Turabian Style

Ezquerro, José Antonio, and Miguel Ángel Hernández-Verón. 2017. "On the Existence of Solutions of Nonlinear Fredholm Integral Equations from Kantorovich’s Technique" Algorithms 10, no. 3: 89. https://doi.org/10.3390/a10030089

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop