Next Article in Journal
Aggregation and Pruning for Continuous Incremental Multi-Task Inference
Previous Article in Journal
A Characterization of Three-Dimensional Convex Polytopes with Five Pairwise Antipodal Vertices
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Numerical Solution of Nonlinear Quadratic Integral Equation of Hammerstein Type Based on Fixed-Point Scheme

Department of Mathematics, Farmingdale State College—SUNY, Farmingdale, NY 11735, USA
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(9), 1413; https://doi.org/10.3390/math13091413
Submission received: 14 March 2025 / Revised: 19 April 2025 / Accepted: 22 April 2025 / Published: 25 April 2025
(This article belongs to the Section E: Applied Mathematics)

Abstract

:
Existence of the solution for the nonlinear quadratic integral equation of the Hammerstein type in the Banach space BC( R + ) has been proved by using the technique of measure of noncompactness and fixed-point theorem. In this article, we obtain an approximate solution for the quadratic integral equation by using the Sinc method and the fixed-point technique. Moreover, the convergence of the numerical scheme for the solution of the integral equation is demonstrated by a theorem, and numerical experiments are presented to show the accuracy of the numerical scheme and guarantee the analytical results.

1. Introduction

In this paper, we illustrate a numerical method for solving the Hammerstein integral equation on the half-line in Banach space B C ( R + ) .
x ( t ) = g ( t ) + f ( t , x ( t ) ) 0 φ ( t , s ) ρ ( s , x ( s ) ) d s
where g ,   f ,   φ , and ρ are the known functions and x is the unknown function to be found in B C ( R + ) , a space of all bounded continuous functions on R + .
Nonlinear quadratic integral equation of Hammerstein type (1) arises in many physical applications [1] and appears in solutions of initial and boundary value problems for ordinary differential equations. In semiconductor devices, wherein Poisson’s equation has to be solved in two adjacent domains, where one is bounded and the another is unbounded, integral Equation (1) plays a significant role. Several applications, for instance in vehicular traffic theory, queuing and biology theory [2], use nonlinear integral equations on the half-line. Moreover, in the Wiener-Hopf equation and radiative transfer theory [3], and neutron transport theory and kinetic theory of gases [4,5,6,7,8], this type of integral equations appears.
In the case of a bounded interval, this equation has the form
x ( t ) = g ( t ) + f ( t , x ( t ) ) a b φ ( t , s ) ρ ( s , x ( s ) ) d s t [ a , b ]
and if f ( t , x ( t ) ) = 1 , Equation (2) is as follows:
x ( t ) = g ( t ) + a b φ ( t , s ) ρ ( s , x ( s ) ) d s t [ a , b ] .
This equation arises as a reformulation of two-point boundary value problems with a certain nonlinear boundary condition [9,10]. Also, multidimensional analogues of Equation (3) appear as various reformulations of an elliptic partial differential equation with nonlinear boundary conditions [11,12].
Based on our knowledge, for integral Equation (2), there is no numerical investigation, but for some simplified models, there are some numerical approaches presented in some research papers, which we review here very briefly. The existence and approximation of solutions of (3) have been studied in [1]. In this paper, the solution of an integral equation on [ 0 , ) is approximated by finite approximation, which reduces to an integral equation on a bounded interval [ 0 , β ] . In the case where solutions are unique, the solutions x β to the finite-section approximations converge uniformly to the solution x of the integral equation on [ 0 , ) , under natural hypotheses on its kernel. Numerical discretization and linearization processes to approximate the solution of (3) are developed in [13].
In [14], projection methods are developed to approximate the solution of the nonlinear Hammerstein-type integral equation on the half-line by using the space of piecewise polynomials. In this research, the authors proved that the approximate and iterated approximate solutions in the Galerkin and collocation methods converge with the orders O ( n r ) and O ( n 2 r ) , respectively, in the infinity norm, where n 1 is the maximum norm of the partition and r denotes the order of the piecewise polynomial employed in the approximation. The discrete Galerkin method in [15] is employed to solve Fredholm–Hammerstein integral equations of the second kind. The method utilizes the radial basis functions to estimate the solution of integral equations.
There are several numerical methods for solving Hammerstein integral equations in finite intervals. In [16], a new collocation-type method is presented for the numerical solution of nonlinear integral equations of the Hammerstein type. In this research, the function ρ is assumed to be nonlinear in x. Appropriate smoothness assumptions to be made on g ,   φ and ρ will ensure that, in a suitable Banach space, the right-hand side of (3) defines a completely continuous operator acting on x. The collocation-type method combined with a degenerate kernel based on Daubechies wavelets is presented to develop a numerical solution to the nonlinear integral equations of the Hammerstein type in [17].
The Petrov–Galerkin method and the iterated Petrov–Galerkin method are used to approximate a solution for a class of Hammerstein equations in [18]. Also, they applied the sparsity advantage of wavelets to extend the proposed numerical method to the nonlinear Hammerstein equations. Nyström and degenerate kernel methods for approximating the solution of Fredholm integral equations of the second kind with a smooth kernel were introduced in [19]. By using interpolation at Gauss points, they showed that the solution derived by the proposed methods converges.
In [20], the solvability of a nonlinear quadratic integral equation of Hammerstein type (1) was discussed. Using the technique of measures of noncompactness, they proved that this equation has solutions on an unbounded interval, and also an asymptotic property of these solutions was derived. In this paper, our main goal is to develop a numerical technique to approximate a solution for Equation (1). For this, we apply the fixed-point iteration method to generate successive approximations, and in each iteration, we introduce and use Sinc quadrature, which has exponential error of convergence, to approximate the integral term.
The remainder of the paper is organized as follows. Section 2 outlines the theoretical background of the solution of integral Equation (1). Then, Sinc approximation is introduced in Section 3. The numerical strategy based on fixed-point iteration and its convergence are discussed in Section 4, and finally some numerical illustrations are presented in Section 5 to show the efficiency and applicability of the proposed numerical method.

2. Theoretical Background

In this section, we give a collection of Definitions and Theorems which will be used to verify the solvability of a nonlinear quadratic integral equation of Hammerstein type (1).
Let E be an infinite dimensional Banach space with norm . and zero element θ . Also, let B ( x , r ) be the closed ball centered at x with radius r. The symbol B r stands for the ball B ( θ , r ) . If X is a subset of E, we write X ¯ , conv X in order to denote the closure and convex closure of X, respectively. Finally, let us denote by M E the family of nonempty and bounded subsets of E and by N E its subfamily consisting of all relatively compact sets.
Definition 1.
A mapping μ : M E R + = [ 0 , ) will be called a measure of noncompactness in the space E if it satisfies the following conditions:
(i) 
The family ker μ = { X M E : μ ( X ) = 0 } is nonempty and ker μ N E ;
(ii) 
X Y μ ( X ) μ ( Y ) ;
(iii) 
μ ( X ¯ ) = μ ( c o n v X ) = μ ( X ) ;
(iv) 
μ ( λ X + ( 1 λ ) Y ) λ μ ( X ) + ( 1 λ ) μ ( Y ) for λ [ 0 , 1 ) ;
(v) 
If ( X n ) is a sequence of sets from M E such that X n + 1 X n , X ¯ n = X n ( n = 1 , 2 , 3 , ) and if lim n μ ( X n ) = 0 , then the intersection X = n = 1 X n is nonempty;
(vi) 
μ ( X Y ) = m a x { μ ( X ) , μ ( Y ) } .
The family ker μ described in ( 1 ) is called the kernel of the measures of noncompactness μ.
A measure μ is said to be sublinear if it satisfies the following two conditions:
(vii) 
μ ( λ X ) = | λ | μ ( X ) for λ R ;
(viii) 
μ ( X + Y ) μ ( X ) + μ ( Y ) .
Other facts concerning measures of noncompactness and their properties may be found in [21]. We will use the following fixed-point theorem due to Darbo [21,22].
Theorem 1.
Let Q be a nonempty bounded closed convex subset of the space E and let G : Q Q be continuous such that μ ( G X ) k μ ( X ) for any nonempty subset X of Q, where k is a constant, k [ 0 , ) . Then, G has a fixed point in the set Q.
In what follows, we will work in the Banach space B C ( R + ) consisting of all real functions defined as continuous and bounded on R + . The space B C ( R + ) is equipped with the standard norm x = sup { | x ( t ) | : t 0 } .
Theorem 2.
Under the following conditions, Equation (1) has at least one solution x = x ( t ) in the space B C ( R + ) . Moreover, all solutions of Equation (1) belonging to the ball B r 0 tend to zero at infinity uniformly with respect to the ball B r 0 .
Proof. 
Ref. [20]
The existence conditions of the solution are as follows:
(1)
Function g : R + R is continuous and g ( t ) 0 as t .
(2)
Function f : R + × R R is continuous and the function t f ( t , 0 ) belongs to the space B C ( R + ) .
(3)
There exists a continuous function m : R + R + such that
| f ( t , x ) f ( t , y ) | m ( t ) | x y |
t R + and x , y R .
(4)
The function ρ : R + × R R is uniformly continuous on every rectangle of the form R + × [ ν , ν ] ; moreover, there exists a continuous function a : R + R + and a continuous and nondecreasing function b : R + R + such that
| ρ ( t , x ) | a ( t ) b ( | x | )
for t R + and x R .
(5)
The function φ : R + × R + R is continuous and there exist continuous functions p , q : R + R + such that functions q ( t ) and a ( t ) p ( t ) are integrable over R + and the following inequality
| φ ( t , s ) | p ( t ) q ( s )
is satisfied for t , s R + . Moreover, we assume that l i m t p ( t ) = 0 and function m ( t ) p ( t ) is bounded on the interval R + .
(6)
The constants F , M , P , Q are defined as follows:
F = sup [ | f ( t , 0 ) | : t 0 ] ;
M = sup [ m ( t ) p ( t ) : t 0 ] ;
P = sup [ p ( t ) : t 0 ] ;
Q = 0 a ( s ) q ( s ) d s .
These constants are finite.
(7)
The inequality g + b ( r ) ( M Q r + F P Q ) r has a positive solution r 0 .

3. Sinc Method

The Sinc method is a powerful numerical technique often used in signal processing, interpolation, and approximation problems. In this section, we introduce the Sinc approximation and fixed-point method that have been used for approximating the solution of the nonlinear integral Equation (1). The Sinc function is defined on the real line R by
S i n c ( x ) = s i n ( π x ) π x , if x 0 1 , if x = 0
The Sinc approximation for a function f defined on the real line R is given by
f ( x ) j = M N f ( j h ) S ( j , h ) ( x )
where S ( j , h ) ( x ) is the jth Sinc function defined by
S ( j , h ) ( x ) = sin [ ( π h ) ( x j h ) ] π h ( x j h )
with h > 0 .
Let D d be a strip domain defined by D d = ω C | I m ( ω ) | < d for d > 0 . For a variable transformation ψ ( ξ ) = e ξ , ψ ( D d ) = z = ψ ( z ) , ξ D d denotes the image of D d by the map ψ .
Theorem 3.
Assume that f is analytic in ψ ( D d ) , and there exist positive constants K, α, and β such that
| f ( z ) | K z α 1 ( 1 + z 2 ) ( α + β ) / 2
for all z ψ ( D d ) . Let μ = min α , β , h = 2 π d μ n and let M and N be defined as
M = n , N = α n β , μ = α ; N = n , M = β n α , μ = β ;
Then, there exists a constant C, independent of n, such that
0 f ( t ) d t h k = M N f ( ψ ( k h ) ) ψ ( k h ) C e 2 π d μ n
where
C = 2 K μ 2 ( 1 e 2 π d μ ) ( cos ( d ) ) ( α + β ) / 2 + 1 .
Proof. 
[23]
To construct numerical quadrature on the interval [ 0 , ) , which is used in this paper, we consider the conformal map ϕ ( z ) = log ( z ) . This map carries the interval ( 0 , ) onto the interval ( , + ) . The function z = ψ ( ξ ) = ϕ 1 ( ξ ) = e ξ is the inverse map of ξ = ϕ ( z ) .
For h > 0 , the Sinc points z k [ 0 , ) are defined by z k = e k h , k = 0 , ± 1 , ± 2 , ± 3 , Then, the explicit formula for quadrature on Γ = [ 0 , ) will be
0 G ( x ) d x h k = M N e k h G ( e k h )
which has been discussed thoroughly in [24,25]. If we replace the Sinc quadrature (6) in Equation (1), then
x ( t ) g ( t ) + f ( t , x ( t ) ) h k = M N e k h φ ( t , e k h ) ρ ( e k h , x ( e k h ) ) .
In order to approximate solution x ( t ) in (7), we apply the fixed-point iteration method, which yields the sequence of successive approximations
x i ( t ) g ( t ) + f ( t , x i 1 ( t ) ) h k = M N e k h φ ( t , e k h ) ρ ( e k h , x i 1 ( e k h ) ) , for i = 1 , 2 ,
for the solution of integral Equation (1), and to start the successive iterations, we select x 0 ( t ) = g ( t ) as the initial function. □

4. Convergence Analysis

To discuss the convergence of the fixed-point scheme (8), define an integral operator H on the space B C ( R + ) by
( H x ) ( t ) = g ( t ) + f ( t , x ( t ) ) 0 φ ( t , s ) ρ ( s , x ( s ) ) d s
where t 0 . In view of the conditions (1), (2), and (4)–(6) from Theorem 2, the operator H is continuous in the interval R + , and also this is continuous on the ball B r 0 ; see [20].
Theorem 4.
Under the assumptions of Theorem 2, the iterative numerical technique (8) is convergent provided x 0 ( t ) is close enough to the fixed point of the operator H and M Q b ( r 0 ) < 1 .
Proof. 
Fix ε > 0 and take x , x 0 B r 0 such that x is a fixed point of the operator H and x 0 is an initial function of the successive technique based on the fixed-point method, and also x 0 x ε . Then, for arbitrarily fixed t R + , we get
x i + 1 x = sup t R + | ( H x i ) ( t ) ( H x ) ( t ) | f ( t , x i ( t ) ) 0 φ ( t , s ) ρ ( s , x i ( s ) ) d s f ( t , x ( t ) ) 0 φ ( t , s ) ρ ( s , x i ( s ) ) d s + f ( t , x ( t ) ) 0 φ ( t , s ) ρ ( s , x i ( s ) ) d s f ( t , x ( t ) ) 0 φ ( t , s ) ρ ( s , x ( s ) ) d s f ( t , x i ( t ) ) f ( t , x ( t ) ) 0 | φ ( t , s ) | | ρ ( s , x i ( s ) ) | d s + f ( t , x ( t ) ) 0 | φ ( t , s ) | | ρ ( s , x i ( s ) ) ρ ( s , x ( s ) ) | d s
regarding the assumptions of Theorem 2, we have
x i + 1 x m ( t ) | x i ( t ) x ( t ) | 0 p ( t ) q ( s ) a ( s ) b ( | x ( s ) | ) d s + | f ( t , x ( t ) ) f ( t , 0 ) | + | f ( t , 0 ) | 0 p ( t ) q ( s ) | ρ ( s , x i ) ( s ) ρ ( s , x ( s ) ) | d s M Q b ( r 0 ) | x i ( t ) x ( t ) | + [ M r 0 + F ] P ω r 0 ( ε ) 0 q ( s ) d s
where
ω r 0 ( ε ) = s u p [ | ρ ( s , x i ) ρ ( s , x ) | : s 0 , | x i x | ε ] .
Condition ( 4 ) from Theorem 2 implies that ω r 0 ( ε ) 0 as ε 0 ; then,
x i + 1 x M Q b ( r 0 ) x i x ( M Q b ( r 0 ) ) i x 0 x
and this completes the proof. □

5. Numerical Examples

In this section, we employ the proposed numerical method to obtain an approximate solution of some Hammerstein integral equations. Before proposing some examples, we define a relative error as E ( t ) = x ( t ) x i ( t ) x ( t ) where x ( t ) and x i ( t ) are the exact and ith approximate solution, respectively. If the exact solution is not available, we set a very large number for i to compute the ith solution and use it as the reference solution and exact solution. We used MATLAB (https://www.mathworks.com/products/matlab.html, accessed on 21 April 2025) with an 11th Gen Intel Core i7 processor and 16 GB RAM to perform all computations.
Example 1.
Consider the nonlinear integral equation
x ( t ) = t e 4 t + ( t x ( t ) + t 16 + t 2 ) 0 t 2 e s 1 + t 2 | x ( s ) | d s .
Regarding Equation (1), we have g ( t ) = t e 4 t , f ( t , x ) = t x + t 16 + t 2 , φ ( t , s ) = t e s 1 + t 2 and ρ ( t , x ) = t | x | .
In [20], the authors showed that all assumptions of Theorem 2.3 are satisfied, and Assumption (7) from Theorem 2 leads to the inequality
1 4 e + r ( r + 1 16 ) r
where r 0 = 1 4 is a solution of it.
In this example, since the exact solution is not available, we set N = 1000 , h = π N and i = 100 iterations to evaluate the reference solution. Relative errors for Example 1 in different iterations for N = 500 , h = π N are depicted on the left in Figure 1, and the approximate solution after ten iterations is presented on the right in Figure 1. It is easy to verify that the solution of the equation belongs to the ball B 1 4 and tends to zero at infinity uniformly with respect to the ball B 1 4 . It is easy to derive that by increasing the number of iterations, the relative errors decrease. To show how the number of used points (N) affects accuracy, relative errors are depicted for the 10th iteration for different values of N in Figure 2. From this, it is obvious that, by increasing used points, relative errors decrease.
Example 2.
Consider the following nonlinear integral equation:
x ( t ) = e 3 4 t 1 + t + ( 2 t x ( t ) + 12 t 5 + t 3 ) 0 s t e 2 s 1 + t 2 s i n ( s ) | x ( s ) | d s
where g ( t ) = e 3 4 t 1 + t , f ( t , x ) = ( 2 t x ( t ) + 12 t 5 + t 3 ) , φ ( t , s ) = s t 1 + t 2 e 2 s s i n ( s ) and ρ ( t , x ) = | x ( s ) | .
This equation satisfies the conditions of Theorem 2, because g ( t ) is a continuous function, l i m t g ( t ) = 0 , f is a continuous function, the function t f ( t , 0 ) = 12 t 5 + t 3 belongs to the space B C ( R + ) , and f satisfies the condition
| f ( t , x ) f ( t , y ) | m ( t ) | x y |
by m ( t ) = 2 t for t R + and x R .
Function ρ : R + × R R is continuous such that
| ρ ( t , x ) | a ( t ) b ( | x | )
where a ( t ) = 1 is a continuous and positive function and b ( | x | ) = | x | is a continuous and nondecreasing function for t R + and x R .
Function φ is continuous and there exist continuous functions p ( t ) = t 1 + t 2 and q ( s ) = e 2 s s sin ( s ) such that
| φ ( t , s ) | p ( t ) q ( s )
for t , s R + . Moreover l i m t p ( t ) = 0 and the function m ( t ) p ( t ) is bounded on the interval R + and functions q ( t ) and a ( t ) q ( t ) are integrable over R + .
Assumption (6) from Theorem 2 leads to F = 2.2 , M = 1.15 , P = 0.5 , g = 1 and Q = 0.16 ; so, we have the inequality
1 + r ( 0.184 r + 0.176 ) r
where r 0 = 1.6 is a positive solution of the above inequality.
In this example, since the exact solution is not available, we set N = 1000 , h = π N , and i = 100 iterations to evaluate the reference solution. Relative errors for Example 2 in different iterations for N = 100 and h = π N are depicted on the left of Figure 3, and the approximate solution after fifteen iterations is presented on the right of Figure 3. It is easy to verify that the solution of the equation belongs to the ball B 1.6 and tends to zero at infinity uniformly with respect to the ball B 1.6 . It is easy to derive that by increasing the number of iterations, relative errors decrease. To show how the number of used points (N) affects accuracy, relative errors are depicted for the 15th iteration for different values of N in Figure 4. From this, it is obvious that by increasing used points, the relative errors decease.
Example 3.
In this example, we apply the fixed-point iterative method for the nonlinear Hammerstein integral equation
x ( t ) = g ( t ) + ( 4 x ( t ) + t 1 + t ) 0 t s 4 e 5 s 1 + t 2 | x ( s ) | d s .
The above integral equation has the exact solution x ( t ) = 1 30 t + 35 . In this case, we obtain g ( t ) by substituting the exact solution in the above integral equation and it is easy to show that g ( t ) is a continuous function such that l i m t g ( t ) = 0 . Also, f ( t , x ) = ( 4 x ( t ) + t 1 + t ) is a continuous function and the function t f ( t , 0 ) = t 1 + t belongs to the space B C ( R + ) and satisfies the condition
| f ( t , x ) f ( t , y ) | m ( t ) | x y |
where m ( t ) = 4 for t R + and x , y R . The function ρ : R + × R R is a continuous function such that
| ρ ( t , x ) | a ( t ) b ( | x | ) ,
where a ( t ) = 1 is a continuous and positive function and b ( | x | ) = | x | is a continuous and nondecreasing function for t R + and x R .   φ ( t , s ) = t 1 + t 2 e 5 s s 4 is a continuous function and there exist continuous functions p , q : R + R + such that
| φ ( t , s ) | p ( t ) q ( s )
for t , s R + where p ( t ) = t 1 + t 2 and q ( s ) = e 5 s s 4 . Moreover, l i m t p ( t ) = 0 and the function m ( t ) p ( t ) is bounded on the interval R + and functions q ( t ) and a ( t ) q ( t ) are integrable over R + .
It is easy to check that F = 0.5 , M = 2 , P = 0.5 , g = 0.03 and Q = 0 s 4 e 5 s d s = 0.00768 . Now, in view of the inequality g + b ( r ) ( M Q r + F P Q ) r , we obtain
0.03 + r ( 0.01536 r + 0.00192 ) r ,
where r 0 = 0.03 is a positive solution of the above inequality.
Relative errors for Example 3 in different iterations for N = 60 , h = π N are depicted on the left of Figure 5, and the approximate solution after ten iterations vs. the exact solution are presented on the right of Figure 5. It is easy to verify that the solution of the equation belongs to the ball B 0.03 and tends to zero at infinity uniformly with respect to the ball B 0.03 . It is easy to derive that by increasing the number of iterations, relative errors decrease. To show how the number of used points (N) affects accuracy, relative errors are depicted for the 10th iteration for different values of N in Figure 6. From this, it is obvious that by increasing used points, relative errors decease.
Example 4.
We consider the following nonlinear Hammerstein integral equation
x ( t ) = g ( t ) + ( x ( t ) + t 2 3 8 + t 3 ) 0 t 2 s ( 1 + t 3 ) ( 1 + s ) | x ( s ) | d s
where f ( t , x ) = x ( t ) + t 2 3 8 + t 3 , φ ( t , s ) = t s ( 1 + t 3 ) ( 1 + s ) and ρ ( t , x ) = t | x ( t ) | .
In this example, the exact solution is x ( t ) = t ( 90 t 3 + 75 ) . g ( t ) is obtained by substituting the exact solution in the above integral equation, and we can deduce that g is continuous and g ( t ) 0 as t . Function f is continuous and satisfies the following condition
| f ( t , x ) f ( t , y ) | m ( t ) | x y |
for x , y R and t R + , where m ( t ) = 1 is a continuous and non-negative function and moreover function t f ( t , 0 ) = t 2 3 8 + t 3 belongs to the space B C ( R + ) . The function ρ ( t , x ) is uniformly continuous and also
| ρ ( t , x ) | a ( t ) b ( | x | ) ,
where a ( t ) = t is a continuous function and b ( | x | ) = | x | is a continuous and nondecreasing function for t R + , x R .
Also, φ is a continuous function and there exist continuous and positive functions p , q ; moreover, functions q ( t ) and a ( t ) q ( t ) are integrable over R + such that
| φ ( t , s ) | p ( t ) q ( s )
with p ( t ) = t 1 + t 3 and q ( s ) = 1 s ( 1 + s ) and t , s R + .
Moreover, l i m t p ( t ) = 0 and the function m ( t ) p ( t ) = t 1 + t 3 is bounded on the interval R + , and also, F = 0.12 , M = 0.52 , P = 0.52 , and Q = 0 a ( s ) q ( s ) d s = 0 1 s ( 1 + s ) d s = π . According to condition (7) from Theorem 2, we have
0.0064 + r ( 1.6328 r + 0.195936 ) r
where r 0 = 0.008 is a solution from the above inequality.
Relative errors for Example 4 in different iterations for N = 70 , h = π N are depicted on the of left Figure 7, and the approximate solution after fifteen iterations vs. the exact solution is presented on the right of Figure 7. It is easy to verify that the solution of the equation belongs to the ball B 0.008 and tends to zero at infinity uniformly with respect to the ball B 0.008 . It is easy to derive that by increasing the number of iterations, relative errors decrease. To show how the number of used points (N) affects accuracy, relative errors are depicted for the 10th iteration for different values of N in Figure 8. From this, it is obvious that by increasing used points, relative errors decease. Also, to show the computational complexity of the proposed algorithm, the CPU times are depicted in Figure 9 for different numbers of iterations and Sinc points used.
Example 5.
The conductor-like screening model for real solvents is an important method for thermodynamic equilibria investigation in fluid and liquid mixtures. The molecular interactions in solvent are described by P S ( σ ) and the chemical potential of the surface segments μ S ( σ ) is evaluated by
μ S ( σ ) = R T ln a b P S ( σ ˜ ) exp ϵ ( σ , σ ˜ ) + μ S ( σ ˜ ) R T d σ ˜ ,
where R is the gas constant, T the temperature, and the term ϵ ( σ , σ ˜ ) in Equation (9) denotes the interaction energy expression for the segments with screening charge density σ and σ ˜ , respectively, where σ and σ ˜ are the polarization charges of two interacting surface segments.
We can rewrite Equation (9) as
μ S ( σ ) R T = ln a b P S ( σ ˜ ) Ω ( σ , σ ˜ ) exp μ S ( σ ˜ ) R T d σ ˜
where
Ω ( σ , σ ˜ ) = exp ϵ ( σ , σ ˜ ) R T .
Now, by substituting
f ( σ ) = exp μ S ( σ ) R T
we have
f ( σ ) = a b P S ( σ ˜ ) Ω ( σ , σ ˜ ) f ( σ ˜ ) d σ ˜ ,
which is a nonlinear Hammerstein integral equation. Since there is no analytical method to compute the exact solution of this equation, we apply the proposed numerical method in this paper to evaluate an approximate solution.
We let
P S ( σ ) = e ( 5 σ + 2.5 ) 2 + 1 25 σ 2 + 1 + ( sin ( 5 σ + 2.5 ) ) 2 ( 5 σ 2.5 ) 4 + 1 + q ( 5 σ ) ,
for σ [ 2 , 2 ) as a synthetic σ-profile and
q ( σ ) = ( σ 7 ) ( σ 9 ) , 7 σ < 9 ; 0 , otherwise
In this example, since the exact solution is not available, we set N = 200 , h = π N , and i = 200 iterations to evaluate the reference solution. To improve the convergence rate of the fixed-point iteration method, in this example we employ the following iteration formula:
f n + 1 ( σ ) = 1 2 f n ( σ ) + h 2 k = N N P S ( σ k ˜ ) exp ( ( σ + σ k ˜ ) 2 ) ϕ ( σ k ˜ ) f n ( σ k ˜ )
where ϕ ( x ) = ln ( x + 3 3 x ) and we select the initial function as any positive function.
Relative errors for Example 5 in different iterations for N = 100 , h = π N are depicted on the left of Figure 10, and the approximate solution after eighty iterations is presented on the right of Figure 10.

6. Conclusions

In this work, we investigate a numerical method for solving Hammerstein integral equations on the half-line. A numerical method for finding an approximate solution is constructed by using the Sinc method and the successive approximation method based on a fixed point. Moreover, the convergence of the numerical scheme for the solution of the integral equation is demonstrated by a theorem, and numerical experiments are presented to show the accuracy of the numerical scheme and guarantee the analytical results. Also, we evaluate convergence based on the number of iterations and the number of used Sinc points separately. In both cases, the figures confirm that by increasing number of iterations or number of used Sinc points, a very fast decrease in relative errors occurs.

Author Contributions

All authors participated in the writing, coding, review and editing. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by a Farmingdale State College, Mathematics Department, Summer Research Grant.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Anselone, P.; Lee, J. Nonlinear integral equations on the half line. J. Integral Equations Appl. 1992, 4, 1–14. [Google Scholar]
  2. Deimling, K. Nonlinear Functional Analysis; Springer: Berlin/Heidelberg, Germany, 1985. [Google Scholar]
  3. Graham, I.G.; Mendes, W.R. Nystrom-product integration for Wiener-Hopf equations with applications to radiative transfer. IMA J. Numer. Anal. 1989, 9, 261–284. [Google Scholar] [CrossRef]
  4. Busbridge, W. The Mathematics of Radiative Transfer; Cambridge University Press: Cambridge, UK, 1960. [Google Scholar]
  5. Cahlon, B.; Eskin, M. Existence theorems for an integral equation of the chandrasekhar h-equation with perturbation. J. Math. Anal. Appl. 1981, 83, 159–171. [Google Scholar] [CrossRef]
  6. Chandrasekhar, S. Radiative Transfer; Oxford University Press: London, UK, 1950. [Google Scholar]
  7. Hu, S.; Khavanin, M.; Zhuang, W.A.N. Integral equations arising in the kinetic theory of gases. Appl. Anal. 1989, 34, 261–266. [Google Scholar] [CrossRef]
  8. Kelley, C.T. Approximation of solutions of some quadratic integral equations in transport theory. J. Integral Equ. 1982, 4, 221–237. [Google Scholar]
  9. Delves, L.M.; Mohamed, J.L. Computational Method for Integral Equations; Cambridge University Press: Cambridge, UK, 1985. [Google Scholar]
  10. Atkinson, K. The Numerical Solution of Integral Equations of Second Kind; Cambridge University Press: Cambridge, UK, 1997. [Google Scholar]
  11. Atkinson, K.E. The numerical solution of a non-linear boundary integral equation on smooth surfaces. IMA J. Numer. Anal. 1994, 14, 461–483. [Google Scholar] [CrossRef]
  12. Atkinson, K.E.; Chandler, G. Boundary integral equation methods for solving laplace’s equation with nonlinear boundary conditions: The smooth boundary case. Math. Comput. 1990, 55, 451–472. [Google Scholar]
  13. Finn, G.; Jefferies, J. Studies in spectral line formation: I. formulation and simple applications. J. Quant. Spectrosc. Radiat. Transf. 1968, 8, 1675–1703. [Google Scholar] [CrossRef]
  14. Nahid, N.; Das, P.; Nelakanti, G. Projection and multi projection methods for nonlinear integral equations on the half-line. J. Comput. Appl. Math. 2019, 359, 119–144. [Google Scholar] [CrossRef]
  15. Assari, P.; Dehghan, M. A meshless discrete galerkin method based on the free shape parameter radial basis functions for solving Hammerstein integral equations. Numer. Math. Theory Methods Appl. 2018, 11, 540–568. [Google Scholar]
  16. Kumar, S.; Sloan, I.H. A new collocation-type method for Hammerstein integral equations. Math. Comput. 1987, 48, 585–593. [Google Scholar] [CrossRef]
  17. Wang, X.; Lin, W. Id-wavelets method for Hammerstein integral equations. J. Comput. Math. 1998, 16, 499–508. [Google Scholar]
  18. Kaneko, H.; Noren, R.D.; Novaprateep, B. Wavelet applications to the Petrov-Galerkin method for Hammerstein equations. Appl. Numer. Math. 2003, 45, 255–273. [Google Scholar] [CrossRef]
  19. Allouch, C.; Sbibih, D.; Tahrichi, M. Superconvergent Nyström and degenerate kernel methods for hammerstein integral equations. J. Comput. Appl. Math. 2014, 258, 30–41. [Google Scholar] [CrossRef]
  20. Banas, J.; Martin, J.; Sadarangani, K. On solutions of a quadratic integral equation of Hammerstein type. Math. Comput. Model. 2006, 43, 97–104. [Google Scholar] [CrossRef]
  21. Banas, J.; Goebel, K. Measures of Noncompactness in Banach Spaces in Lecture Notes in Pure an Applied Mathematics; Marcel Dekker: New York, NY, USA, 1980. [Google Scholar]
  22. Agarwal, R.; Meehan, M.; O’Regan, D. Fixed Point Theory and Applications; Cambridge University Press: Cambridge, UK, 2004. [Google Scholar]
  23. Okayama, T. Error estimates with explicit constants for sinc quadrature and sinc indefinite integration over infinite intervals. Reliab. Comput. 2013, 19, 45–65. [Google Scholar]
  24. Stenger, F. Numerical Method Base on Sinc and Analytic Function; Springer: New York, NY, USA, 1993. [Google Scholar]
  25. Lund, J.; Bowers, K. Sinc Method for Quaderature and Diffrential Equation; SIAM: Philadelphia, PA, USA, 1992. [Google Scholar]
Figure 1. Relative errors for Example 1 in different iterations (Left) and approximate solution after ten iterations (Right).
Figure 1. Relative errors for Example 1 in different iterations (Left) and approximate solution after ten iterations (Right).
Mathematics 13 01413 g001
Figure 2. Relative errors for Example 1 in 10th iteration for different values of N.
Figure 2. Relative errors for Example 1 in 10th iteration for different values of N.
Mathematics 13 01413 g002
Figure 3. Relative errors for Example 2 in different iterations (Left) and approximate solution after fifteen iterations (Right).
Figure 3. Relative errors for Example 2 in different iterations (Left) and approximate solution after fifteen iterations (Right).
Mathematics 13 01413 g003
Figure 4. Relative errors for Example 2 in 15th iteration for different values of N.
Figure 4. Relative errors for Example 2 in 15th iteration for different values of N.
Mathematics 13 01413 g004
Figure 5. Relative errors for Example 3 in different iterations (Left) and approximate solution after ten iterations vs. exact solution (Right).
Figure 5. Relative errors for Example 3 in different iterations (Left) and approximate solution after ten iterations vs. exact solution (Right).
Mathematics 13 01413 g005
Figure 6. Relative errors for Example 3 in 10th iteration for different values of N.
Figure 6. Relative errors for Example 3 in 10th iteration for different values of N.
Mathematics 13 01413 g006
Figure 7. Relative errors for Example 4 in different iterations (Left) and approximate solution after fifteen iterations vs. exact solution (Right).
Figure 7. Relative errors for Example 4 in different iterations (Left) and approximate solution after fifteen iterations vs. exact solution (Right).
Mathematics 13 01413 g007
Figure 8. Relative errors for Example 4 in 10th iteration for different values of N.
Figure 8. Relative errors for Example 4 in 10th iteration for different values of N.
Mathematics 13 01413 g008
Figure 9. CPU times in seconds for Example 4 for different numbers of iterations (Right) and Sinc points used (Left).
Figure 9. CPU times in seconds for Example 4 for different numbers of iterations (Right) and Sinc points used (Left).
Mathematics 13 01413 g009
Figure 10. Relative errors for Example 5 in different iterations (Left) and approximate solution (Right).
Figure 10. Relative errors for Example 5 in different iterations (Left) and approximate solution (Right).
Mathematics 13 01413 g010
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Mollapourasl, R.; Siebor, J. Numerical Solution of Nonlinear Quadratic Integral Equation of Hammerstein Type Based on Fixed-Point Scheme. Mathematics 2025, 13, 1413. https://doi.org/10.3390/math13091413

AMA Style

Mollapourasl R, Siebor J. Numerical Solution of Nonlinear Quadratic Integral Equation of Hammerstein Type Based on Fixed-Point Scheme. Mathematics. 2025; 13(9):1413. https://doi.org/10.3390/math13091413

Chicago/Turabian Style

Mollapourasl, Reza, and Joseph Siebor. 2025. "Numerical Solution of Nonlinear Quadratic Integral Equation of Hammerstein Type Based on Fixed-Point Scheme" Mathematics 13, no. 9: 1413. https://doi.org/10.3390/math13091413

APA Style

Mollapourasl, R., & Siebor, J. (2025). Numerical Solution of Nonlinear Quadratic Integral Equation of Hammerstein Type Based on Fixed-Point Scheme. Mathematics, 13(9), 1413. https://doi.org/10.3390/math13091413

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