Preprint
Article

Hybrid Functions Approach to Solving Nonlinear Integral Equations in Two Dimensions

Altmetrics

Downloads

171

Views

77

Comments

0

Submitted:

08 May 2023

Posted:

09 May 2023

You are already at the latest version

Alerts
Abstract
This study presents the solution of the second type of a two-dimensional nonlinear integral equation in Banach space. Also, the existence and uniqueness of this equation’s solution are discussed. We utilize a numerical approach involving hybrid and block-pulse functions to obtain the approximate solution of a two-dimensional nonlinear integral equation. Nonlinear integral equation in two dimensions is reduced numerically to a system of nonlinear algebraic equations that can be solved using numerical methods. This study focuses on showing the convergence analysis for the numerical approach and obtaining an error estimate. Some numerical examples have been provided to demonstrate the approach’s viability and efficacy
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

MSC:  41A30; 45G10; 46B45; 65R20

1. Introduction

Integral equations are used in many disciplines of applied mathematics to explore and solve problems. See [1,5,6,10,24,26,27] for more information on the topics of two-dimensional nonlinear integral equations, which have long been of growing interest in many fields, including medicine, biology, physics, geography, and fuzzy control. According to the references [2,3,7,9,10,11,12], many problems in engineering, applied mathematics, and mathematical physics can be reduced into two-dimensional nonlinear integral equations. The analytical solutions to these equations are typically difficult. Therefore, it is necessary to find approximations. For example, Bernstein polynomials hybrid with functions of block-pulse form [4,22] and Legendre hybrid with functions of block-pulse form [13,21] have both recently been examined as computational approaches for solving two-dimensional nonlinear integral equations. Electrical engineering was originally introduced to block-pulse functions by Harmuth, after which additional academics discussed the topic [8].
Recently, hybrid functions have been considered for solving numerous mathematical models, including [20,23,25]. Combining Legendre polynomials and block-pulse functions yields one of these functions. Using block-pulse functions and Legendre polynomials, [18] described a method for solving mixed-type Hammerstein integral equations, whereas [17] proposed a method for solving optimal control of Volterra integral systems. These hybrid functions have also been applied to solving nonlinear Fredholm-Hammerstein systems. [14,30] obtained a numerical solution of partial differential equations with nonlocal integral conditions; [19] solved Fredholm integral equation of the first kind; [28] discovered the optimal solution of linear time-delay systems; [29] discovered the numerical solutions of stochastic Volterra-Fredholm integral equations; and [13] includes the necessary definitions as well as some properties of Legendre polynomials and hybrid block-pulse functions.
In this study, the second type of two-dimensional nonlinear integral is considered. Under special conditions, the Banach fixed point theorem is used to discuss and prove the existence of a unique solution to two-dimensional nonlinear integral equations. We discuss the properties of hybrid functions, which combine block-pulse functions and Legendre polynomials. These integral equations are solved based on some useful properties of hybrid functions. This technique’s major characteristic is its ability to transform an integral problem into a set of algebraic equations; as a result, the solution processes are correspondingly either reduced or simplified.
The article’s structure is as follows: : In Section 2, the existence and unique solution of Eq. (1) are discussed. Section 3 describes a method for estimating a two-dimensional nonlinear integral equation’s solution. The convergence analysis of the provided method is derived in Section 4, Numerical results are shown in Section 5, and conclusion and Remarks are presented in the last Section 6.
This study aims to present a numerical approach for solving the following two-dimensional nonlinear integral equation approximatively:
γ ψ ( x , y ) = f ( x , y ) + λ 1 0 1 0 1 Φ ( x , τ ; y , v ) μ ( τ , v , ψ ( τ , v ) ) d v d τ + λ 2 0 x 0 1 G ( x , τ ; y , v ) ν ( τ , v , ψ ( τ , v ) ) d v d τ ,
where λ r , r = 1 , 2 are constant scalers having several physical meanings, the function ψ ( x , y ) is unknown in the Banach space L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] . The kernels Φ ( x , τ ; y , v ) , G ( x , τ ; y , v ) are continuous in the same space and the known function f ( x , y ) is continuous in the space L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] . In addition the constant γ defines the kind of two- dimensional nonlinear integral equations.

2. Existence of a unique solution for the integral equation

The existence of a unique solution of problem (1) will be discussed and proved in this section using the Banach fixed point theorem. For this, we write Eq. (1) in the form of an integral operator:
V ¯ ψ ( x , y ) = 1 γ f ( x , y ) + V ψ ( x , y ) ; γ 0 ,
where
V ψ ( x , y ) = λ 1 γ 0 1 0 1 Φ ( x , τ ; y , v ) μ ( τ , v , ψ ( τ , v ) ) d v d τ + λ 2 γ 0 x 0 1 G ( x , τ ; y , v ) ν ( τ , v , ψ ( τ , v ) ) d v d τ .
Also, we assume the following conditions:
(i)
The kernels Φ ( x , τ ; y , v ) and G ( x , τ ; y , v ) satisfy the conditions: Φ ( x , τ ; y , v ) A 1 , G ( x , τ ; y , v ) ) A 2 , where A 1 and A 2 are two constants, assume A = max { A 1 , A 2 } .
(ii)
f ( x , y ) = 0 1 0 1 | f ( x , y ) | 2 d x d y 1 2 = D , D is a constant.
(iii)
The function μ ( x , y , ψ ( x , y ) ) satisfies the following conditions:
μ ( x , y , ψ ( x , y ) ) = 0 1 0 1 | μ ( x , y , ψ ( x , y ) ) | 2 d x d y 1 2 M 1 ψ ( x , y ) , ( a ) μ ( x , y , ψ 1 ( x , y ) ) μ ( x , y , ψ 2 ( x , y ) ) M 2 ψ 1 ( x , y ) ψ 2 ( x , y ) . ( b )
(iv)
The function ν ( x , y , ψ ( x , y ) ) is bounded and satisfy:
ν ( x , y , ψ ( x , y ) ) = 0 1 0 1 | ν ( x , y , ψ ( x , y ) ) | 2 d x d y 1 2 N 1 ψ ( x , y ) , ( a ) ν ( x , y , ψ 1 ( x , y ) ) ν ( x , y , ψ 2 ( x , y ) ) N 2 ψ 1 ( x , y ) ψ 2 ( x , y ) . ( b )
Theorem 1.
Assume that the conditions ( i ) i v ) are satisfied. Eq. (1) has an unique solution ψ ( x , y ) in the space, L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] . If the condition
η = A λ γ [ M + N ] < 1 ; λ = max { λ 1 , λ 2 } , M = max { M 1 , M 2 } , N = max { N 1 , N 2 }
is true.
The following two lemmas are necessary for the theorem’s proof:
Lemma 1.
Under the conditions ( i ) , ( i i ) , ( i i i a ) , and ( i v a ) , the operator V ¯ ψ ( x , y ) defined by Eq. (2) maps the space L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] into itself.
Proof. In light of formulas (2) and (3), we obtain
V ¯ ψ ( x , y ) 1 | γ | f ( x , y ) + λ 1 γ 0 1 0 1 | Φ ( x , τ ; y , v ) | μ ( τ , v , ψ ( τ , v ) ) d v d τ + λ 2 γ 0 x 0 1 | G ( x , τ ; y , v ) | ν ( τ , v , ψ ( τ , v ) ) d v d τ .
Using conditions (i) and (ii), we get
V ¯ ψ ( x , y ) D | γ | + A λ 1 γ 0 1 0 1 | μ ( τ , v , ψ ( τ , v ) ) d v d τ + A λ 2 γ 0 x 0 1 ν ( τ , v , ψ ( τ , v ) ) d v d τ .
Given conditions ( i i i a ) and ( i v a ) , the above inequality takes on the following form:
V ¯ ψ ( x , y ) D | γ | + A M ψ ( x , y ) λ 1 γ 0 1 0 1 d v d τ + A N ψ ( x , y ) λ 2 γ 0 x 0 1 d v d τ ,
where max 0 x 1 | x | = 1 , so that last inequality becomes
V ¯ ψ ( x , y ) D | γ | + A λ γ [ M + N ] ψ ( x , y ) ,
since
V ¯ ψ ( x , y ) D | γ | + η ψ ( x , y ) ; η = A λ γ [ M + N ] < 1 .
According to this inequality, the operator V ¯ maps the ball B r L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] into itself, where
r = D | γ | ( 1 η ) ,
since, r > 0 , D > 0 , therefore we have η < 1 . Furthermore, lower bounds for the operators V and V ¯ are involved in the inequality (5).
Lemma 2.
If the conditions ( i ) , ( i i i b ) , and ( i v b ) are verified, then the operator V ¯ ψ ( x , y ) defined by Eq. (2) is continuous in the space L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] .
Proof. For the continuity, Given two functions Ψ 1 ( x , y ) and Ψ 2 ( x , y ) in the space L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] and satisfy Eq. (2), then
V ¯ ψ 1 ( x , y ) V ¯ ψ 2 ( x , y ) = λ 1 γ 0 1 0 1 Φ ( x , τ ; y , v ) [ μ ( τ , v , ψ 1 ( τ , v ) ) μ ( τ , v , ψ 2 ( τ , v ) ) ] d v d τ + λ 2 γ 0 x 0 1 G ( x , τ ; y , v ) [ ν ( τ , v , ψ 1 ( τ , v ) ) ν ( τ , v , ψ 2 ( τ , v ) ) ] d v d τ ,
applying the properties of the norm, we obtain
V ¯ ψ 1 ( x , y ) V ¯ ψ 2 ( x , y ) λ 1 γ 0 1 0 1 | Φ ( x , τ ; y , v ) | | μ ( τ , v , ψ 1 ( τ , v ) ) μ ( τ , v , ψ 2 ( τ , v ) ) | d v d τ + λ 2 γ 0 x 0 1 | G ( x , τ ; y , v ) | | ν ( τ , v , ψ 1 ( τ , v ) ) ν ( τ , v , ψ 2 ( τ , v ) ) | d v d τ .
In view of the conditions (i), (iii-b), and (iv-b), the above inequality becomes
V ¯ ψ 1 ( x , y ) V ¯ ψ 2 ( x , y ) A λ γ [ M + N ] ψ 1 ( x , y ) ψ 2 ( x , y ) ,
since
V ¯ ψ 1 ( x , y ) V ¯ ψ 2 ( x , y ) η ψ 1 ( x , y ) ψ 2 ( x , y ) .
This inequality shows that, V ¯ is a continuous operator in L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] . Moreover V ¯ is a contraction operator under the condition η < 1 .
The previous two Lemmas 1 and 2 show that the operator V ¯ defined by (2) is a contraction operator in the space L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] . Hence, from Banach fixed point theorem, V ¯ has a unique fixed point which is of course, the unique solution of Eq. (1).

3. Method of solution for the main problem

This section applies the collocation method, two-dimensional hybrid functions, and the Gauss quadrature formula to transform the integral equation (1) into nonlinear systems of equations. The following results are obtained by expanding the function Ψ ( x , y ) in Eq. (1) in relation to two-dimensional hybrid functions:
Ψ ( x , y ) = m 1 = 1 n 1 = 0 m 2 = 1 n 2 = 0 c m 1 n 1 m 2 n 2 h m 1 n 1 m 2 n 2 ( x , y ) ,
where the finite series in equation (6) can be written as
Ψ S , K ( x , y ) = m 1 = 1 S n 1 = 0 K 1 m 2 = 1 S n 2 = 0 K 1 c m 1 n 1 m 2 n 2 h m 1 n 1 m 2 n 2 ( x , y ) .
where c m 1 n 1 m 2 n 2 , m 1 , m 2 = 1 , 2 , , S , n 1 , n 2 = 1 , 2 , , K 1 , and S , K are the unknown hybrid coefficients to be determined.
Substituting Eq. (7) into Eq. (1) yields
γ ψ S , K ( x , y ) = f ( x , y ) + λ 1 0 1 0 1 Φ ( x , τ ; y , v ) μ ( τ , v , ψ S , K ( τ , v ) ) d v d τ + λ 2 0 x 0 1 G ( x , τ ; y , v ) ν ( τ , v , ψ S , K ( τ , v ) ) d v d τ ,
Now, we discretize Eq. (8) at the set of collocation nodes ( x m , y n ) for m , n = 1 , 2 , , S K , as follows:
γ ψ S , K ( x m , y n ) = f ( x m , y n ) + λ 1 0 1 0 1 Φ ( x m , τ ; y n , v ) μ ( τ , v , ψ S , K ( τ , v ) ) d v d τ + λ 2 0 x m 0 1 G ( x m , τ ; y n , v ) ν ( τ , v , ψ S , K ( τ , v ) ) d v d τ ,
where
x m = 1 2 cos ( 2 m 1 ) π 2 S K + 1 , m = 1 , 2 , , S K ,
and
y n = 1 2 cos ( 2 n 1 ) π 2 S K + 1 , n = 1 , 2 , , S K ,
The integral operators in Eq. (9) are approximated using the Gauss-Legendre quadrature formula. For this, we use the following transformations to convert the integrals over [ 0 , 1 ] into the integral over [ 1 , 1 ] , respectively
ξ = 2 τ 1 ; τ [ 0 , 1 ] , ϱ = 2 v 1 ; v [ 0 , 1 ] .
The integral over [ 0 , x m ] must also be changed into the integral over [ 1 , 1 ] , having the following form
ξ ¯ = 2 x m τ 1 ; τ [ 0 , x m ] .
Then Eq. (9) is converted to
γ ψ S , K ( x m , y n ) = f ( x m , y n ) + λ 1 4 1 1 1 1 Φ ( x m , 1 2 ( ξ + 1 ) ; y n , 1 2 ( ϱ + 1 ) ) μ ( 1 2 ( ξ + 1 ) , 1 2 ( ϱ + 1 ) , ψ S , K ( 1 2 ( ξ + 1 ) , 1 2 ( ϱ + 1 ) ) ) d ϱ d ξ + λ 2 x m 4 1 1 1 1 G ( x m , x m 2 ( ξ ¯ + 1 ) ; y n , 1 2 ( ϱ + 1 ) ) × ν ( x m 2 ( ξ ¯ + 1 ) , 1 2 ( ϱ + 1 ) , ψ S , K ( x m 2 ( ξ ¯ + 1 ) , 1 2 ( ϱ + 1 ) ) ) d ϱ d ξ ¯ .
The above equation can be expressed as follows using Gauss-Legendre quadrature:
γ ψ S , K ( x m , y n ) = f ( x m , y n ) + λ 1 4 j = 1 1 i = 1 2 w j w i Φ ( x m , 1 2 ( ξ i + 1 ) ; y n , 1 2 ( ϱ j + 1 ) ) × μ ( 1 2 ( ξ i + 1 ) , 1 2 ( ϱ j + 1 ) , ψ S , K ( 1 2 ( ξ i + 1 ) , 1 2 ( ϱ j + 1 ) ) ) + λ 2 x m 4 j = 1 1 i = 1 ¯ 2 w j w ¯ i G ( x m , x m 2 ( ξ ¯ i + 1 ) ; y n , 1 2 ( ϱ j + 1 ) ) × ν ( x m 2 ( ξ ¯ i + 1 ) , 1 2 ( ϱ j + 1 ) , ψ S , K ( x m 2 ( ξ ¯ i + 1 ) , 1 2 ( ϱ j + 1 ) ) ) , m = 1 , 2 , , S K , n = 1 , 2 , , S K ,
and w j , w i and w ¯ i are the corresponding weights.
This technique can be used to transform the two-dimensional nonlinear integral problem (1) into a solvable nonlinear system of algebraic equations.

4. Convergence analysis

The aim of this section is to describe the uniform convergence of the hybrid functions expansion and to determine the maximum absolute truncation error of the function Ψ based on hybrid functions.
Theorem 2.
If Ψ C 4 [ 0 , 1 ] , then the function Ψ ( x , y ) converges uniformly to the infinite sum of the hybrid functions of Ψ ( x , y ) described by (6)
Proof. The hybrid coefficients are defined as
c m 1 n 1 m 2 n 2 = 0 1 0 1 Ψ ( x , y ) h m 1 n 1 m 2 n 2 ( x , y ) d x d y 0 1 0 1 h m 1 n 1 m 2 n 2 2 ( x , y ) d x d y = m 2 1 S m 2 S m 1 1 S m 1 S Ψ ( x , y ) L n 1 ( 2 S x 2 m 1 + 1 ) L n 2 ( 2 S y 2 m 2 + 1 ) d x d y m 1 1 S m 1 S L n 1 2 ( 2 S x 2 m 1 + 1 ) d x m 2 1 S m 2 S L n 2 2 ( 2 S y 2 m 2 + 1 ) d y .
Now, suppose that 2 m 1 1 = m 1 ^ and 2 S x m 1 ^ = , therefore
c m 1 n 1 m 2 n 2 = m 2 1 S m 2 S 1 1 Ψ ( m 1 ^ + 2 S , y ) L n 1 ( ) d L n 2 ( 2 S y 2 m 2 + 1 ) d y 1 1 L n 1 2 ( ) d m 2 1 S m 2 S L n 2 2 ( 2 S y 2 m 2 + 1 ) d y = ( 2 n 1 + 1 ) 2 m 2 1 S m 2 S 1 1 Ψ ( m 1 ^ + 2 S , y ) L n 1 ( ) d L n 2 ( 2 S y 2 m 2 + 1 ) d y m 2 1 S m 2 S L n 2 2 ( 2 S y 2 m 2 + 1 ) d y .
Using the technique of integration by parts with regard to and ( 2 n + 1 ) L n ( ) = L n + 1 ( ) L n 1 ( ) , we obtain
c m 1 n 1 m 2 n 2 = 1 2 m 2 1 S m 2 S 1 1 Ψ ( m 1 ^ + 2 S , y ) ( L n 1 + 1 ( ) L n 1 1 ( ) ) d L n 2 ( 2 S y 2 m 2 + 1 ) d y m 2 1 S m 2 S L n 2 2 ( 2 S y 2 m 2 + 1 ) d y .
Once again, an integration by parts of above relation, results that
c m 1 n 1 m 2 n 2 = 1 2 m 2 1 S m 2 S 1 1 2 2 Ψ ( m 1 ^ + 2 S , y ) [ L n 1 ( ) 2 n 1 + 3 L n 1 ( ) L n 1 2 ( ) 2 n 1 1 ] d L n 2 ( 2 S y 2 m 2 + 1 ) d y m 2 1 S m 2 S L n 2 2 ( 2 S y 2 m 2 + 1 ) d y .
Now, we have
c m 1 n 1 m 2 n 2 = 1 2 ( 2 n 1 + 3 ) ( 2 n 1 1 ) m 2 1 S m 2 S 1 1 2 2 Ψ ( m 1 ^ + 2 S , y ) n 1 ( ) d L n 2 ( 2 S y 2 m 2 + 1 ) d y m 2 1 S m 2 S L n 2 2 ( 2 S y 2 m 2 + 1 ) d y ,
where
n 1 ( ) = ( 2 n 1 1 ) L n 1 + 2 ( ) ( 4 n 1 + 2 ) L n 1 ( ) + ( 2 n 1 + 3 ) L n 1 2 ( ) .
Similarly, changing the variable for y as 2 m 2 1 = m 2 ^ where 2 S y m 2 ^ = and integrating by parts with respect to , we get
c m 1 n 1 m 2 n 2 = 1 4 ( 2 n 1 + 3 ) ( 2 n 1 1 ) ( 2 n 2 + 3 ) ( 2 n 2 1 ) 1 1 1 1 4 2 2 Ψ ( m 1 ^ + 2 S , m 2 ^ + 2 S ) n 1 ( ) n 2 ( ) d d ,
where
n 2 ( ) = ( 2 n 2 1 ) L n 2 + 2 ( ) ( 4 n 2 + 2 ) L n 2 ( ) + ( 2 n 2 + 3 ) L n 2 2 ( ) .
Using the chain derivatives and σ = max ( x , y ) [ 0 , 1 ] 4 Ψ ( x , y ) x 2 y 2 , it follows that
c m 1 n 1 m 2 n 2 σ 64 S 4 ( 2 n 1 + 3 ) ( 2 n 1 1 ) ( 2 n 2 + 3 ) ( 2 n 2 1 ) 1 1 1 1 | n 1 ( ) | | n 2 ( ) | d d , σ 64 m 1 2 m 2 2 ( 2 n 1 + 3 ) ( 2 n 1 1 ) ( 2 n 2 + 3 ) ( 2 n 2 1 ) 1 1 1 1 | n 1 ( ) | | n 2 ( ) | d d .
However
1 1 | n 1 ( ) | d 2 = 1 1 | ( 2 n 1 1 ) L n 1 + 2 ( ) ( 4 n 1 + 2 ) L n 1 ( ) + ( 2 n 1 + 3 ) L n 1 2 ( ) | d , 2 1 1 | ( 2 n 1 1 ) 2 L n 1 + 2 2 ( ) + ( 4 n 1 + 2 ) 2 L n 1 2 ( ) + ( 2 n 1 + 3 ) 2 L n 1 2 2 ( ) | d ,
Using the Legendre polynomials’ orthogonality property, we determine that
1 1 | n 1 ( ) | d 2 24 ( 2 n 1 + 3 ) 2 2 n 1 3 ,
thus
1 1 | n 1 ( ) | d 2 6 ( 2 n 1 + 3 ) 2 n 1 3 ,
and
1 1 | n 2 ( ) | d 2 6 ( 2 n 2 + 3 ) 2 n 2 3 .
By substituting (13) and (14) into (11), we obtain
c m 1 n 1 m 2 n 2 24 σ 64 m 1 2 m 2 2 ( 2 n 1 1 ) ( 2 n 2 1 ) ( 2 n 1 3 ) ( 2 n 2 3 ) , 3 σ 8 m 1 2 m 2 2 ( 2 n 1 3 ) 3 2 ( 2 n 2 3 ) 3 2 .
Therefore, the series m 1 = 1 n 1 = 0 m 2 = 1 n 2 = 0 is absolutely convergent. Also,
| Ψ ( x , y ) | = m 1 = 1 n 1 = 0 m 2 = 1 n 2 = 0 c m 1 n 1 m 2 n 2 h m 1 n 1 m 2 n 2 ( x , y ) m 1 = 1 n 1 = 0 m 2 = 1 n 2 = 0 | c m 1 n 1 m 2 n 2 | ,
and the series (6) converges to the function Ψ ( x , y ) uniformly.
Theorem 3.
The maximum absolute truncation error of the series solution (6) to two- dimensional nonlinear integral equation ( ) is estimated to be,
Ψ ( x , y ) Ψ S , K ( x , y ) 3 σ 8 S m 1 = S + 1 1 m 1 4 n 1 = K 1 ( 2 n 1 3 ) 4 m 2 = S + 1 1 m 2 4 n 2 = K 1 ( 2 n 2 3 ) 4 1 2 .
Proof.
Ψ ( x , y ) Ψ S , K ( x , y ) = 0 1 0 1 Ψ ( x , y ) m 1 = 1 S n 1 = 0 K 1 m 2 = 1 S n 2 = 0 K 1 c m 1 n 1 m 2 n 2 h m 1 n 1 m 2 n 2 ( x , y ) 2 d x d y 1 2 , m 1 = S + 1 n 1 = K m 2 = S + 1 n 2 = K c m 1 n 1 m 2 n 2 2 0 1 0 1 h m 1 n 1 m 2 n 2 2 ( x , y ) d x d y 1 2 .
Using the hybrid functions’ orthogonality property and taking relation (15) into consideration, we are able to
Ψ ( x , y ) Ψ S , K ( x , y ) m 1 = S + 1 n 1 = K m 2 = S + 1 n 2 = K c m 1 n 1 m 2 n 2 2 1 S 2 ( 2 n 1 + 1 ) ( 2 n 2 + 1 ) 1 2 3 σ 8 S m 1 = S + 1 1 m 1 4 n 1 = K 1 ( 2 n 1 3 ) 4 m 2 = S + 1 1 m 2 4 n 2 = K 1 ( 2 n 2 3 ) 4 1 2 .

5. Application and numerical results

In order to show the accuracy and efficiency of the proposed method, some numerical examples are given in this section. We introduce the following notation to study the absolute values of this method’s errors:
R S , K = | Ψ ( x , y ) Ψ S , K ( x , y ) | ,
where Ψ ( x , y ) and Ψ S , K ( x , y ) are the exact solution and the approximate solution of the integral equations, respectively.
Example 5.1.
Consider the following two- dimensional nonlinear integral equation:
16 ψ ( x , y ) = f ( x , y ) + 0 1 0 1 ( x τ + y v ) ψ 2 ( τ , v ) d v d τ + 0 x 0 1 ( x 2 τ 2 + y v ) ψ 2 ( τ , v ) d v d τ ,
where
f ( x , y ) = 7 24 28 y x 45 + 16 ( x 2 + y 2 ) x 2 y 2 360 ( 30 y 4 + 72 y 5 x + 45 y 2 x 2 + 80 y 3 x 3 + 30 x 4 + 72 y x 5 ) .
The exact solution is ψ ( x , y ) = x 2 + y 2 . Using the proposed numerical technique, where S = 2 and K = 2 , 4 , 6 , 8 in the interval [ 0 , 1 ) .
In Table 1, we presented the absolute error | Ψ ( x , y ) Ψ S , K ( x , y ) | , using the introduced numerical method with S = 2 and K = 2 , 4 , 6 , 8 in the interval [ 0 , 1 ) . Table 2, shows the maximum absolute errors of the given method.
Moreover, in Figure 1, Figure 2, Figure 3 and Figure 4, we showed a comparison between the exact solution and the approximate solution using the presented numerical technique with different values of K = 2 , 4 , 6 , 8 with S = 2 in the interval [ 0 , 1 ) .
Example 5.2.
Consider the nonlinear integral equation:
ψ ( x , y ) = f ( x , y ) + 3 0 1 0 1 ( x τ 2 + v cos y ) ψ 3 ( τ , v ) d v d τ + 3 0 x 0 1 ( x 2 τ + y v ) ψ ( τ , v ) d v d τ ,
where
f ( x , y ) = 1 12 27 + 16 cos 1 16 cos 2 18 cos 3 + 7 cos 4 12 t 2 x ( 2 + cos 1 ) sin ( 1 4 ) 4 12 sin 1 36 sin 2 + 6 sin 3 + 6 sin 4 + x sin y + 1 2 y 3 3 x 2 + x ( 2 + 3 x ) cos x 2 sin x .
The exact solution is ψ ( x , y ) = x sin y . Using the presented numerical technique with S = 2 and K = 3 , 5 , 7 , 9 in the interval [ 0 , 1 ) .
In Table 3, we showed the absolute error | Ψ ( x , y ) Ψ S , K ( x , y ) | , using the introduced numerical method with S = 2 and K = 3 , 5 , 7 , 9 in the interval [ 0 , 1 ) . Table 4, the maximum absolute errors of the given method are obtained.
Furthermore, in Figure 5, Figure 6, Figure 7 and Figure 8, we presented a comparison between the exact solution and the approximate solution using the introduced numerical method with different values of K = 3 , 5 , 7 , 9 with S = 2 in the interval [ 0 , 1 ) .

6. Conclusions and Remarks

The following can be deduced from the above analysis and discussion:
  • Under some conditions, the equation (1) has a unique solution Ψ ( x , y ) in the space L 2 [ 0 , 1 ] × L 2 [ 0 , 1 ] .
  • After applying the proposed method, a two-dimensional integral equation of the second kind, in time and position, tends to result in an algebraic system of equations.
  • A nonlinear system of algebraic equations has a solution.
  • Maximum error obtained by proposed method is decreasing when number of ( K ) is increasing.
  • Illustrative examples are provided to evaluate and validate the effectiveness and dependability of the proposed method.

References

  1. Abdou, M.A.; Soliman, A.A.; Abdel–Aty, M.A. On a discussion of Volterra–Fredholm integral equation with discontinuous kernel. J. Egypt Math. Soc. 2020, 28. [Google Scholar] [CrossRef]
  2. Abdou, M.A.; Nasr, M.E.; Abdel-Aty, M.A. A study of normality and continuity for mixed integral equations. J. of Fixed Point Theory Appl. 2018, 20. [Google Scholar] [CrossRef]
  3. Al-Bugami, A.M. Numerical treating of mixed Integral equation two-dimensional in surface cracks in finite layers of materials. Advanced in math. Physics 2022, 25, 1–12. [Google Scholar] [CrossRef]
  4. Alipour, M.; Baleanu, D.; Babaei, F. Hybrid Bernstein block-pulse functions method for second kind integral equations with convergence analysis. Abstr. Appl. Anal. 2014, 2014, 1–8. [Google Scholar] [CrossRef]
  5. Bakhshayesh, S.J. , Discontinuous Galerkin approximations for Volterra integral equations of the first kind with convolution kernel. Indian Journal of Science and Technology 2015, 8, 1–4. [Google Scholar] [CrossRef]
  6. Brezinski, C.; Redivo-Zalglia, M. Extrapolation methods for the numerical solution of nonlinear Fredholm integral equations. J. Integral Equations Appl. 2019, 31, 29–57. [Google Scholar] [CrossRef]
  7. Chen, Z.; Jiang, W. An Efficient Algorithm for Solving Nonlinear Volterra-Fredholm Integral Equations. Appl. Math. Comput. 2015, 259, 614–619. [Google Scholar] [CrossRef]
  8. Datta, K.B.; Mohan, B.M. Orthogonal Function in Systems and Control, 9, World Scientific, 1995.
  9. Elzaki, T.M.; Alamri, A.S. Note on new homotopy perturbation method for solving nonlinear integral equations. J. Math. Comput. Sci. 2016, 6, 149–155. [Google Scholar]
  10. Golberg, M.A.; Chen, C.S. Discrete Projection Methods for Integral Equation Computational Mechanics Publications, 1997.
  11. Gouyandeh, Z.; Allahviranloo, T.; Armand, A. Numerical Solution of Nonlinear Volterra-Fredholm-Hammerstein Integral Equations via Tau-Collocation Method With Convergence Analysis. J. Comput. Appl. Math. 2016, 308, 435–446. [Google Scholar] [CrossRef]
  12. Hafez, R.M.; Youssri, Y.H. Spectral Legendre-Chebyshev treatment of 2D linear and nonlinear mixed Volterra-Fredholm integral equation. Math. Sci. Lett. 2020, 9, 37–47. [Google Scholar]
  13. Hashemzadeh, E.; Maleknejad, K.; Basirat, B. Hybrid functions approach for the nonlinear Volterra–Fredholm integral equations. Proc. Comput. Sci. 2011, 3, 1189–1194. [Google Scholar] [CrossRef]
  14. Hesameddini, E.; Riahi, M. Hybrid Legendre Block-pulse functions method for solving partial differential equations with non-local integral boundary conditions. J. Inf. Optim. Sci. 2019, 40, 1391–1403. [Google Scholar] [CrossRef]
  15. Katani, R. Numerical solution of the Fredholm integral equations with a quadrature method. SeMA J. 2019, 76, 449–452. [Google Scholar] [CrossRef]
  16. Kreyszig, E. Introductory Functional Analysis with Applications, John Wiley and Sons. Inc., New York, 1989.
  17. Maleknejad, K.; Ebrahimzadeh, A. An efficient hybrid pseudo-spectral method for solving optimal control of Volterra integral systems. Math. Commun. 2014, 19, 417–435. [Google Scholar]
  18. Maleknejad, K.; Hashemizadeh, E. Numerical solution of the dynamic model of a chemical reactor by hybrid functions. Procedia. Comput. Sci. 2011, 3, 908–912. [Google Scholar] [CrossRef]
  19. Maleknejad, K.; Saeedipoor, E. An efficient method based on hybrid functions for Fredholm integral equation of the first kind with convergence analysis. Appl. Math. Comput. 2017, 304, 93–102. [Google Scholar] [CrossRef]
  20. Mashayekhi, S.; Razzaghi, M. Numerical solution of distributed order fractional differential equations by hybrid functions. J. Comput. Phys. 2016, 315, 169–181. [Google Scholar] [CrossRef]
  21. Marzban, H.R.; Tabrizidooz, H.R.; Razzaghi, M. A composite collection method for the nonlinear mixed Volterra–Fredholm–Hammerstein integral equation, Commun. Nonlinear Sci. Numer. Simul. 2011, 16, 1186–1194. [Google Scholar] [CrossRef]
  22. Masouri, Z. Numerical expansion-iterative method for solving second kind Volterra and Fredholm integral equations using block-pulse functions, Adv. Comput. Tech. Electromagn. 2021, 20, 7–17. [Google Scholar]
  23. Mirzaee, F.; Alipour, S.; Samadyar, N. Numerical solution based on hybrid of Block-pulse and parabolic functions for solving a system of nonlinear stochastic Ito-Volterra integral equations of fractional order. J. Comput. Appl. Math. 2019, 349, 157–171. [Google Scholar] [CrossRef]
  24. Mirzaee, F. Numerical solution of system of linear integral equations via improvement of block-pulse functions. J. Math. Model. 2016, 4, 133–159. [Google Scholar]
  25. Mohammadi, F.; Moradi, L.; Baleanu, D.; Jajarmi, A. A hybrid functions numerical scheme for fractional optimal control problems: Application to non analytic dynamic systems. J. Vib. Control. 2017, 24, 5030–5043. [Google Scholar] [CrossRef]
  26. Nasr, M.E.; Abdel-Aty, M.A. Analytical discussion for the mixed integral equations. J. of Fixed Point Theory Appl. 2018, 20. [Google Scholar] [CrossRef]
  27. Nasr, M.E.; Abdel-Aty, M.A. A new techniques applied to Volterra–Fredholm integral equations with discontinuous kernel. J. of Computational Analysis and Appl. 2021, 29, 11–24. [Google Scholar]
  28. Rafiei, Z.; Kafash, B.; Karbasi, S.M. State-control parameterization method based on using hybrid functions of Block-pulse and Legendre polynomials for optimal control of linear time delay systems. Appl. Math. Model. 2017, 45, 1008–1019. [Google Scholar] [CrossRef]
  29. Ray, S.S.; Singh, S. Numerical solution of stochastic Volterra-Fredholm integral equations by hybrid Legendre Block-pulse functions. Int. J. Nonlinear Sci. Numer. Simul. 2018, 19, 1–9. [Google Scholar]
  30. Sahu, P.K.; Ray, S.S. Hybrid Legendre Block-pulse functions for the numerical solutions of system of nonlinear Fredholm-Hammerstein integral equations. Appl. Math. Comput. 2015, 270, 871–878. [Google Scholar] [CrossRef]
  31. Wang, K.; Wang, Q. Taylor polynomial method and error estimation for a kind of mixed Volterra-Fredholm integral equations. Appl. Math. Comput. 2014, 229, 53–59. [Google Scholar] [CrossRef]
Figure 1. Exact and approximate solution of Eq. (16) with S = 2 and K = 2 .
Figure 1. Exact and approximate solution of Eq. (16) with S = 2 and K = 2 .
Preprints 73126 g001
Figure 2. Exact and approximate solution of Eq. (16) with S = 2 and K = 4 .
Figure 2. Exact and approximate solution of Eq. (16) with S = 2 and K = 4 .
Preprints 73126 g002
Figure 3. Exact and approximate solution of Eq. (16) with S = 2 and K = 6 .
Figure 3. Exact and approximate solution of Eq. (16) with S = 2 and K = 6 .
Preprints 73126 g003
Figure 4. Exact and approximate solution of Eq. (16) with S = 2 and K = 8 .
Figure 4. Exact and approximate solution of Eq. (16) with S = 2 and K = 8 .
Preprints 73126 g004
Figure 5. Exact and approximate solution of Eq. (17) with S = 2 and K = 3 .
Figure 5. Exact and approximate solution of Eq. (17) with S = 2 and K = 3 .
Preprints 73126 g005
Figure 6. Exact and approximate solution of Eq. (17) with S = 2 and K = 5 .
Figure 6. Exact and approximate solution of Eq. (17) with S = 2 and K = 5 .
Preprints 73126 g006
Figure 7. Exact and approximate solution of Eq. (17) with S = 2 and K = 7 .
Figure 7. Exact and approximate solution of Eq. (17) with S = 2 and K = 7 .
Preprints 73126 g007
Figure 8. Exact and approximate solution of Eq. (17) with S = 2 and K = 9 .
Figure 8. Exact and approximate solution of Eq. (17) with S = 2 and K = 9 .
Preprints 73126 g008
Table 1. Absolute error of solution of Eq. (16) by using present method with S = 2 and K = 2 , 4 , 6 , 8 .
Table 1. Absolute error of solution of Eq. (16) by using present method with S = 2 and K = 2 , 4 , 6 , 8 .
( x i , t i ) S = 2 , K = 2 S = 2 , K = 4 S = 2 , K = 6 S = 2 , K = 8
(0,0) 5.62845 × 10 9 3.25447 × 10 10 2.36512 × 10 13 1.32654 × 10 16
(0.1,0.1) 2.51405 × 10 7 2.36524 × 10 8 1.36524 × 10 10 6.32514 × 10 13
(0.2,0.2) 5.62103 × 10 6 2.36985 × 10 7 5.36214 × 10 9 8.22551 × 10 12
(0.3,0.3) 2.02154 × 10 4 3.58412 × 10 5 8.32541 × 10 8 6.32165 × 10 10
(0.4,0.4) 4.58721 × 10 4 3.65413 × 10 4 2.21345 × 10 7 1.32114 × 10 9
(0.5,0.5) 7.36212 × 10 4 2.23651 × 10 4 3.65221 × 10 7 2.36985 × 10 8
(0.6,0.6) 1.36521 × 10 3 1.65214 × 10 4 7.32651 × 10 7 2.92541 × 10 8
(0.7,0.7) 5.26512 × 10 3 1.36524 × 10 3 6.32541 × 10 6 6.32548 × 10 8
(0.8,0.8) 5.62514 × 10 2 4.36210 × 10 3 8.36251 × 10 6 7.32614 × 10 8
(0.9,0.9) 5.65214 × 10 2 6.25489 × 10 3 5.32658 × 10 5 1.36524 × 10 6
Table 2. The maximum error R m a x ( x , y ) for different values of K = 2 , 4 , 6 , 8 and S = 2 for Eq (16).
Table 2. The maximum error R m a x ( x , y ) for different values of K = 2 , 4 , 6 , 8 and S = 2 for Eq (16).
S = 2 , K = 2 S = 2 , K = 4 S = 2 , K = 6 S = 2 , K = 8
R m a x 6.2103 × 10 2 6.53210 × 10 3 5.32658 × 10 5 1.36524 × 10 6
Table 3. Absolute error of solution of Eq. (17) by using present method with S = 2 and K = 3 , 5 , 7 , 9 .
Table 3. Absolute error of solution of Eq. (17) by using present method with S = 2 and K = 3 , 5 , 7 , 9 .
( x i , t i ) S = 2 , K = 3 S = 2 , K = 5 S = 2 , K = 7 S = 2 , K = 9
(0,0) 3.20514 × 10 5 5.32641 × 10 6 6.32141 × 10 9 2.36541 × 10 11
(0.1,0.1) 3.25481 × 10 4 9.32541 × 10 5 5.32187 × 10 7 3.65874 × 10 8
(0.2,0.2) 3.32541 × 10 3 3.21554 × 10 4 2.36414 × 10 6 7.36584 × 10 8
(0.3,0.3) 4.32641 × 10 3 5.32654 × 10 4 5.32684 × 10 6 3.36241 × 10 7
(0.4,0.4) 5.36854 × 10 3 6.36524 × 10 4 8.32546 × 10 6 6.32584 × 10 7
(0.5,0.5) 6.93154 × 10 3 7.1.365 × 10 4 6.32541 × 10 5 8.65241 × 10 7
(0.6,0.6) 1.32511 × 10 2 3.21547 × 10 3 9.99215 × 10 5 4.32516 × 10 6
(0.7,0.7) 4.32658 × 10 2 4.36561 × 10 3 1.32154 × 10 4 8.69854 × 10 6
(0.8,0.8) 5.32666 × 10 2 5.76524 × 10 3 2.34541 × 10 4 4.36215 × 10 5
(0.9,0.9) 6.32541 × 10 2 7.96525 × 10 3 3.25456 × 10 4 1.05214 × 10 4
Table 4. The maximum error R m a x ( x , y ) for different values of K = 3 , 5 , 7 , 9 and S = 2 for Eq (17).
Table 4. The maximum error R m a x ( x , y ) for different values of K = 3 , 5 , 7 , 9 and S = 2 for Eq (17).
S = 2 , K = 3 S = 2 , K = 5 S = 2 , K = 7 S = 2 , K = 9
R m a x 6.32541 × 10 2 7.96525 × 10 3 3.25456 × 10 4 1.05214 × 10 4
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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated