Next Article in Journal
Pattern-Multiplicative Average of Nonnegative Matrices Revisited: Eigenvalue Approximation Is the Best of Versatile Optimization Tools
Next Article in Special Issue
Algebraic Solution of Tropical Best Approximation Problems
Previous Article in Journal
Review on Channel Estimation for Reconfigurable Intelligent Surface Assisted Wireless Communication System
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Superconvergent Nyström Method Based on Spline Quasi-Interpolants for Nonlinear Urysohn Integral Equations

1
Department of Mathematics “G. Peano”, University of Torino, Via Carlo Alberto 10, 10123 Torino, Italy
2
LANO Laboratory, Faculty of Science, University Mohammed I, Oujda 60000, Morocco
3
Team ANAA, EST, LANO Laboratory, University Mohammed I, Oujda 60000, Morocco
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(14), 3236; https://doi.org/10.3390/math11143236
Submission received: 2 July 2023 / Revised: 16 July 2023 / Accepted: 19 July 2023 / Published: 23 July 2023
(This article belongs to the Special Issue Approximation Theory and Applications)

Abstract

:
Integral equations play an important role for their applications in practical engineering and applied science, and nonlinear Urysohn integral equations can be applied when solving many problems in physics, potential theory and electrostatics, engineering, and economics. The aim of this paper is the use of spline quasi-interpolating operators in the space of splines of degree d and of class C d 1 on uniform partitions of a bounded interval for the numerical solution of Urysohn integral equations, by using a superconvergent Nyström method. Firstly, we generate the approximate solution and we obtain outcomes pertaining to the convergence orders. Additionally, we examine the iterative version of the method. In particular, we prove that the convergence order is ( 2 d + 2 ) if d is odd and ( 2 d + 3 ) if d is even. In case of even degrees, we show that the convergence order of the iterated solution increases to ( 2 d + 4 ) . Finally, we conduct numerical tests that validate the theoretical findings.

1. Introduction

In this paper, we consider nonlinear Urysohn integral equations of the form:
u K ( u ) = f ,
where K is the Urysohn integral operator:
K ( u ) ( s ) : = 0 1 k ( s , t , u ( t ) ) d t ,     s I : = [ 0 , 1 ] ,     u X : = C ( I ) .
The kernel k ( s , t , u ) is a real valued function defined on I × I × R and we assume that, for f C ( I ) , Equation (1) has a unique solution u ¯ . Defining the operator T by T ( u ) = f + K ( u ) , Equation (1) can be written as u = T ( u ) .
Moreover, for the study proposed in the paper, we need the following assumptions. Let a and b be two real numbers, such that:
[ min s I u ¯ ( s ) , max s I u ¯ ( s ) ] [ a , b ] .
Define Ω : = I × I × [ a , b ] . Let α 1 and assume that k, k u C α ( Ω ) , f C α ( I ) . Therefore, K is a compact operator from C ( I ) to C α ( I ) and u ¯ C α ( I ) , and K is Fréchet differentiable and its derivative is given by:
( K ( u ) q ) ( s ) = 0 1 k u ( s , t , u ( t ) ) q ( t ) d t
and K is Lipschitz continuous in a neighbourhood of u ¯ .
As noticed in [1,2] (see also [3]), integral equations of various kinds play an important role for their applications in practical engineering and applied science, and Urysohn integral equations can be applied in solving many problems in physics, potential theory and electrostatics, engineering, and economics. Furthermore, numerous problems addressed in the theory of partial differential equations (PDEs) result in Urysohn integral equations (see, e.g., [4]).
These equations usually cannot be solved explicitly and they are required to be approximate numerically. Commonly used methods to solve numerically Equation (1) are projection methods [4,5], such as Galerkin, collocation methods, and, recently, a modified projection one [6]. They are based on a sequence of orthogonal or interpolatory projectors onto finite dimensional subspaces X n approximating X, and X n is usually the space of piecewise polynomials of degree d at its most continuous (see, e.g., [5,6,7,8] and references therein). Other well-known methods are Nyström and degenerate kernel ones (see, e.g., [4,9,10] and references therein).
The solutions reconstructed in the above mentioned spaces are, at most, continuous and do not preserve the smoothness of the exact solution. In order to avoid this drawback, an alternative recently proposed in the literature is the reconstruction of the approximate solution by methods based on quasi-interpolating (QI) operators in the space of splines of degree d and smoothness C d 1 (see, e.g., [11,12,13] and also the recent papers [14,15] in the context of PDEs). Moreover, in case of piecewise polynomials, the dimension of the space of approximants is related to the product between the number of subintervals n, and the degree d with smooth splines instead is related to the sum between n and d. Therefore, using smooth spaces we have also an advantage from the computational point of view, for increasing values of n.
Therefore, in this paper, we use spline QI operators that are not necessarily projectors to solve Equation (1) by the superconvergent Nyström method introduced in [10]. In addition to preserving the smoothness of the exact solution, this method is more accurate than the classical Nyström and more economical than Kulkarni’s scheme (for a detailed comparison on the computational cost in the linear case, see Remark 4.1 in [11]). Moreover, the use of QI operators that are not projectors allows a reduction of the computational costs in terms of the number of evaluation points in the operator construction with respect to the construction of QI projectors.
This paper’s structure is as follows: Section 2 presents a review of definitions and properties of spline QI operators of general degree d and class C d 1 . Then, in Section 3, we consider integral Equation (1) and we describe the superconvergent Nyström method, constructing the approximate solution and studying the convergence order and providing its iterated version. We prove that the convergence order is ( 2 d + 2 ) if d is odd and ( 2 d + 3 ) if d is even. In case of even degrees, we show that the convergence order of the iterated solution increase to ( 2 d + 4 ) . Finally, in Section 4, we provide numerical tests confirming the theoretical results.

2. Spline Quasi-Interpolants

For a fixed d 1 , we define S d d 1 ( I , Θ n ) as the space of splines of degree d and of class C d 1 on the uniform partition Θ n : = { t i = i h , h = 1 n , i = 0 n } . Adding multiple knots at the endpoints, i.e., adding t d = = t 1 = t 0 , t n = t n + 1 = = t n + d , we consider the basis formed by the n + d normalized B-splines { B j , j = 1 , 2 , , n + d } , with support Σ j : = supp ( B j ) = [ t j d 1 , t j ] .
We consider discrete spline QI operators of the form:
Q n d : C ( I ) S d d 1 ( I , Θ n ) ,     Q n d u : = j = 1 n + d λ j ( u ) B j ,
where λ j ( u ) are linear combinations of values of u at some points in a neighbourhood of Σ j . i.e.,
λ j ( u ) : = i α i j u ( ξ i ) .
The quasi-interpolation nodes E n : = { ξ i } i = 0 N are defined in this way:
ξ i = s i = t i 1 + t i 2 , N = n + 1 , for   d   even , t i , N = n ,   for   d   odd .
The coefficients α i j are chosen such that Q n d u = u , for all u P d , where P d denotes the space of polynomials of degree d. The QI Q n d can be written in quasi-Lagrange form:
Q n d u = j = 0 N u ( ξ j ) L j ,
where the quasi-Lagrange functions L j are linear combinations of a finite number of B-splines, according to Equation (4).
It is well known (see, e.g., [16]) that the operators Q n d are uniformly bounded and for smooth functions u C d + 1 ( I ) , there exists a positive constant C 1 independent of h, such that:
Q n d u u C 1 u ( d + 1 ) h d + 1 .
In the case of an even degree, Q n d presents an interesting property. More precisely, we have the following theorem (see [12] for the proof):
Theorem 1.
Let Q n d be the discrete QI operator of degree d, d even, defined on S d d 1 ( I , Θ n ) by Equation (3). Then, there exists a positive constant C 2 independent of h, such that:
0 1 g ( t ) ( Q n d u ( t ) u ( t ) ) d t C 2 h d + 2 u ( d + 2 ) ,
for any function u C d + 2 ( I ) and any weight function g with g 1 bounded.
Examples of spline QI operators of this kind can be found in [16,17]. In particular, in Section 4, we will use the operators Q n 2 and Q n 3 , defined on S 2 1 ( I , Θ n ) and S 3 2 ( I , Θ n ) , respectively (see [17] for their definition).

3. Superconvergent Nyström Method Based on Spline Quasi-Interpolants

In this section, we propose a method for the solution of Equation (1) based on the Nyström operator:
( K n N ( u ) ) ( s ) : = 0 1 Q n d k ( s , t , u ( t ) ) d t = j = 0 N w j k ( s , ξ j , u ( ξ j ) ) ,
where w j : = 0 1 L j ( t ) d t . The operator K in Equation (2) is then approximated by:
K n : = Q n d K + K n N Q n d K n N ,
and the approximate solution satisfies:
u n K n ( u n ) = f .
Defining the operator T n by T n ( u n ) = f + K n ( u n ) , Equation (7) can be written as u n = T n ( u n ) .

3.1. Construction of the Approximate Solution

From Equations (6) and (7), we have:
u n ( s ) = f ( s ) + Q n d 0 1 k ( s , t , u n ( t ) ) d t + j = 0 N w j k ( s , ξ j , u n ( ξ j ) ) Q n d j = 0 N w j k ( s , ξ j , u n ( ξ j ) ) = f ( s ) + j = 0 N 0 1 k ( ξ j , t , u n ( t ) ) d t L j ( s ) + j = 0 N w j k ( s , ξ j , u n ( ξ j ) ) j = 0 N i = 0 N w i k ( ξ j , ξ i , u n ( ξ i ) ) L j ( s ) .
Denoting by X j : = u n ( ξ j ) and Y j : = 0 1 k ( ξ j , t , u n ( t ) ) d t i = 0 N w i k ( ξ j , ξ i , u n ( ξ i ) ) , then the approximate solution u n can be written as:
u n ( s ) = f ( s ) + j = 0 N w j k ( s , ξ j , X j ) + j = 0 N Y j L j ( s ) .
Fixing s = ξ , we obtain the 2 ( N + 1 ) unknowns X , Y , = 0 , , N by solving:
X = f ( ξ ) + j = 0 N w j k ( ξ , ξ j , X j ) + j = 0 N Y j L j ( ξ ) Y = 0 1 k ξ , t , f ( t ) + i = 0 N w i k ( t , ξ i , X i ) + i = 0 N Y i L i ( t ) d t i = 0 N w i k ( ξ , ξ i , X i ) .

3.2. Convergence of the Method

Within this section, we delve into the examination of the local existence and uniqueness of the approximate solution u n and analyze the convergence of the method.
Theorem 2.
Let u ¯ be the unique solution of Equation (1) and assume that 1 is not an eigenvalue of K ( u ¯ ) . Let Q n d : C ( I ) S d d 1 ( I , Θ n ) be a spline QI operator of kind Equation (3) and let k, k u C d + 1 ( Ω ) , f C d + 1 ( I ) . Then, there exists a neighbourhood of u ¯ , Λ ( u ¯ , δ ) , which contains, for all n large enough, a unique solution u n of Equation (7), and we have:
c 1 α n u ¯ u n c 2 α n ,
where c 1 and c 2 are positive constants and:
α n = ( I T n ( u ¯ ) ) 1 ( T ( u ¯ ) T n ( u ¯ ) ) 0 , n .
Moreover, it holds:
u ¯ u n = O ( h 2 d + 2 ) , i f   d   i s   o d d O ( h 2 d + 3 ) , i f   d   i s   e v e n .
Proof. 
From the stated hypothesis and from Equation (5), we can use Lemmas 1 and 2 in [9] and deduce that ( I T n ( u ¯ ) ) is invertible for n large enough, such that:
( I T n ( u ¯ ) ) 1 Γ 1 ,
and that K n ( u ¯ ) is Lipschitz continuous in a neighbourhood of u ¯ , with constant Γ 2 . Therefore, for u ¯ u δ :
T n ( u ¯ ) T n ( u ) = K n ( u ¯ ) K n ( u ) Γ 2 δ ,
and
sup u ¯ u δ ( I T n ( u ¯ ) ) 1 ( T n ( u ¯ ) T n ( u ) ) Γ 1 Γ 2 δ = Γ .
We can choose δ small enough that Γ 1 . Moreover,
α n = ( I T n ( u ¯ ) ) 1 ( T ( u ¯ ) T n ( u ¯ ) ) Γ 1 T ( u ¯ ) T n ( u ¯ ) = Γ 1 K ( u ¯ ) K n ( u ¯ ) = Γ 1 ( I Q n d ) ( K ( u ¯ ) K n N ( u ¯ ) ) Γ 1 1 + Q n d max s I 0 1 ( I Q n d ) k ( s , t , u ( t ) ) d t ,
then α n 0 , when n 0 and we can choose n large enough, such that α n δ ( 1 Γ ) . Therefore, we can apply Theorem 2 of [18] to conclude that the approximate solution is unique and Equation (8) holds. Now,
u ¯ u n c 2 α n c 2 Γ 1 ( I Q n d ) ( K ( u ¯ ) K n N ( u ¯ ) ) .
Since
K ( u ¯ ) K n N ( u ¯ ) ( d + 1 ) ( s ) = 0 1 ( I Q n d ) ( d + 1 ) k s ( d + 1 ) ( s , t , u ( t ) ) d t ,
from Equation (5),
K ( u ¯ ) K n N ( u ¯ ) ( d + 1 ) ( s ) C 1 ( d + 1 ) k s ( d + 1 ) h d + 1
and, applying again Equation (5),
( I Q n d ) ( K ( u ¯ ) K n N ( u ¯ ) ) C 1 K ( u ¯ ) K n N ( u ¯ ) ( d + 1 ) ( s ) h d + 1 C 1 2 ( d + 1 ) k s ( d + 1 ) h 2 ( d + 1 ) .
If d is even, it is known that the error in the Nyström method is of order d + 2 . Therefore, in this case, the error in the superconvergent Nyström method is O ( h 2 d + 3 ) , which gives the thesis.  □

3.3. Iterated Version

The iterated solution is defined by:
u ˜ n = K ( u n ) + f ,
with u n given by Equation (7). In this case, we show that the convergence order is improved in case of degrees d even.
Theorem 3.
Let u ¯ be the unique solution of (1) and assume that 1 is not an eigenvalue of K ( u ¯ ) . Let Q n d : C ( I ) S d d 1 ( I , Θ n ) be a spline QI operator of kind (3) and let k, k u C d + 2 ( Ω ) . Then, for all n large enough, the iterated solution defined by Equation (9) satisfies:
u ¯ u ˜ n = O ( h 2 d + 2 ) , i f   d   i s   o d d O ( h 2 d + 4 ) , i f   d   i s   e v e n .
Proof. 
From Equations (6) and (9), we have:
u ¯ u ˜ n = K ( u ¯ ) K ( u n ) u ˜ n u n = K ( u n ) K n ( u n ) = ( I Q n d ) K ( u n ) K n N ( u n )
and we consider the following identity:
( I K ( u ¯ ) ) ( u ¯ u ˜ n ) = I K ( u ¯ ) ( I Q n d ) K ( u ¯ ) K ( u n ) K ( u ¯ ) ( u ¯ u n ) + K ( u ¯ ) ( I Q n d ) ( K K n N ) ( u ¯ ) + K ( u ¯ ) ( I Q n d ) K n N ( u ¯ ) K n N ( u n ) K n ( u ¯ ) ( u ¯ u n ) K ( u ¯ ) ( I Q n d ) ( K ( u ¯ ) K n ( u ¯ ) ) ( u ¯ u n ) .
Multiplying by ( I K ( u ¯ ) ) 1 , we obtain:
u ¯ u ˜ n = I + ( I K ( u ¯ ) ) 1 K ( u ¯ ) Q n d K ( u ¯ ) K ( u n ) K ( u ¯ ) ( u ¯ u n ) + ( I K ( u ¯ ) ) 1 K ( u ¯ ) ( I Q n d ) ( K K n N ) ( u ¯ ) + ( I K ( u ¯ ) ) 1 K ( u ¯ ) ( I Q n d ) K n N ( u ¯ ) K n N ( u n ) K n ( u ¯ ) ( u ¯ u n ) ( I K ( u ¯ ) ) 1 K ( u ¯ ) ( I Q n d ) ( K ( u ¯ ) K n ( u ¯ ) ) ( u ¯ u n )
and, therefore:
u ¯ u ˜ n I + ( I K ( u ¯ ) ) 1 K ( u ¯ ) Q n d K ( u ¯ ) K ( u n ) K ( u ¯ ) ( u ¯ u n ) + ( I K ( u ¯ ) ) 1 K ( u ¯ ) ( I Q n d ) ( K K n N ) ( u ¯ ) + ( I K ( u ¯ ) ) 1 K ( u ¯ ) ( I Q n d ) K n N ( u ¯ ) K n N ( u n ) K n ( u ¯ ) ( u ¯ u n ) + ( I K ( u ¯ ) ) 1 K ( u ¯ ) ( I Q n d ) ( K ( u ¯ ) K n ( u ¯ ) ) u ¯ u n = ( a ) + ( b ) + ( c ) + ( d ) .
By using the generalized Taylor’s theorem (see e.g., [19]), it can be shown that:
( a ) C 2 u ¯ u n 2 = O ( h 2 ( 2 d + 2 ) ) , i f   d   i s   o d d O ( h 2 ( 2 d + 3 ) ) , i f   d   i s   e v e n   , ( c ) C 3 u ¯ u n 2 = O ( h 2 ( 2 d + 2 ) ) , i f   d   i s   o d d O ( h 2 ( 2 d + 3 ) ) , i f   d   i s   e v e n   ,
for suitable constants C 2 and C 3 . Moreover, by applying Theorem 1, Equation (5) and taking into account that the error in the Nyström method is of order d + 2 , if d is even, we obtain:
( b ) = O ( h 2 d + 2 ) , i f   d   i s   o d d O ( h 2 d + 4 ) , i f   d   i s   e v e n   , ( d ) = O ( h 3 d + 3 ) , i f   d   i s   o d d O ( h 3 d + 4 ) , i f   d   i s   e v e n   ,
and the thesis follows.  □

4. Numerical Results

This section includes the presentation of various test equations of type Equation (1), which are also explored in [6,9,10,13]. We solve these equations by the proposed method and its iterated version, based on the spline QI operators Q n 2 and Q n 3 . We run the numerical alghoritms in Matlab on a PC with 11th Gen Intel(R) Core(TM) i7-1165G7 @ 2.80 GHz, 16 GB RAM.
The most expensive steps in the construction of the approximate solution and its iterated version are integral evaluation and the solution of nonlinear systems: the integrals appearing in the construction of the approximate solution are evaluated numerically by employing a conventional composite Gauss–Legendre quadrature formula known for its high accuracy, and the nonlinear systems are solved by using the Matlab function fsolve.
To illustrate the theoretical results of the previous sections, we compute the maximum absolute errors for increasing values of n:
E : = max v G | u ¯ ( v ) u n ( v ) | ,   E ˜ : = max v G | u ¯ ( v ) u ˜ n ( v ) | ,
where G is a set of 1500 equally spaced points in I. Additionally, we calculate the corresponding numerical convergence orders, denoted as O and O ˜ , by taking the logarithm to the base 2 of the ratio between two consecutive errors. Observe that when we do not have results of errors for certain values of n in Table 1, Table 2, Table 3 and Table 4, it is because the double float precision of Matlab implementation was reached.
The numerical tests confirm the theoretical properties proved in Section 3.2 and Section 3.3. Moreover, we can compare the obtained results with others proposed in the literature [6,9,10,13]. In [9,10], a superconvergent Nyström method based on piecewise polynomials is proposed, and a Kulkarni technique based on piecewise polynomials and on spline QI projectors is considered in [6,13], respectively. We can state that the results are comparable with those obtained [13], whose numerical tests are based on splines of the same degree.
Finally, we remark that methods based on spline QI operators provide smooth approximate solutions of class C 1 if based on Q n 2 and of class C 2 if based on Q n 3 .
  • Test 1
Consider the following Hammerstein integral operator K:
K ( u ) ( s ) = 0 1 p ( s ) q ( t ) u 2 ( t ) d t , s I ,
where p ( s ) = cos ( 11 π s ) , q ( t ) = sin ( 11 π t ) .
Then, K is compact and the integral equation u K ( u ) = f has a unique solution for f C ( I ) .
We choose f ( s ) = 1 2 33 π cos ( 11 π s ) , so that the exact solution is u ¯ ( s ) = cos ( 11 π s ) .
The results obtained, as presented in Table 1, corroborate the theoretical findings outlined in Theorems 2 and 3.
  • Test 2
Consider the following Hammerstein integral equation:
u ( s ) + 0 1 e s 2 t u 3 ( t ) d t = e s + 1 , s I ,
with the exact solution u ¯ ( s ) = e s .
We obtain the results reported in Table 2 that confirm the theoretical ones stated in Theorems 2 and 3.
  • Test 3
Consider the following Urysohn integral equation:
u ( s ) 0 1 d t s + t + u ( t ) = f ( s ) , s I .
We choose the function f in a way that u ¯ ( t ) = 1 t + c , c > 0 becomes a solution. For our analysis, we take two cases: c = 1 and c = 0.1 . It should be noted that the exact solution is ill behaved when c = 0.1 .
In this context, we first focus on the case where c = 1 , and the obtained results are shown in Table 3.
When we take c = 0.1 and apply the same procedures, we obtain the results presented in Table 4.
Additionally, Test 3 provides further confirmation of the theoretical results mentioned in Theorems 2 and 3.

5. Conclusions

In this paper, we have proposed a superconvergent Nyström method based on spline quasi-interpolating operators in the space of splines of degree d and of class C d 1 on uniform partitions of a bounded interval for the numerical solution of nonlinear Urysohn integral equations, getting results related to the convergence orders and also analyzing the iterated version. In particular, we have proved that the convergence order is ( 2 d + 2 ) if d is odd, ( 2 d + 3 ) if d is even and, in case of even degrees, the convergence order of the iterated solution increases to ( 2 d + 4 ) . Finally, we have provided numerical tests confirming the theoretical results.
We recall that the proposed method outperforms the classical Nyström approach in accuracy and is also more cost-effective than Kulkarni’s scheme, as evidenced by a detailed comparison of their computational costs in the linear case (refer to Remark 4.1 in [11]). Moreover, it preserves the smoothness of the exact solution and allows a reduction of the computational costs in terms of the number of evaluation points in the operator construction with respect to the construction of QI projectors.
The results obtained in this work can be extended to integral equations with not sufficiently smooth kernels (e.g., Green’s-function-type kernels) or weakly singular kernels (e.g., logarithmic kernels).

Author Contributions

Conceptualization, S.R., D.S. and M.T.; Methodology, S.R., D.S. and M.T.; Software, S.R.; Validation, S.R., D.S. and M.T.; Formal analysis, S.R., D.S. and M.T.; Investigation, S.R., D.S. and M.T.; Resources, S.R., D.S. and M.T.; Data curation, S.R., D.S. and M.T.; Writing—original draft, S.R.; Visualization, S.R.; Supervision, D.S.; Project administration, D.S.; Funding acquisition, S.R. and D.S.; Writing—review & editing, S.R., D.S. and M.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research has been made possible by the contribution granted by CNR in the framework of the Scientific Cooperation Agreement CNR-CNRST (Morocco), under the bilateral agreement n. SAC.AD002.014.032.

Acknowledgments

The first author is a member of the INdAM-GNCS Research Group.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. El-Sayed, W.G.; El-Bary, A.A.; Darwish, M.A. Solvability of Urysohn integral equation. Appl. Math. Comput. 2003, 145, 487–493. [Google Scholar] [CrossRef]
  2. Jafarian, A.; Esmailzadeh, Z.; Khoshbakhti, L. A numerical method for solving nonlinear integral equations in the urysohn form. Appl. Math. Sci. 2013, 7, 1375–1385. [Google Scholar] [CrossRef]
  3. Alijani, Z.; Kangro, U. Numerical solution of a linear fuzzy Volterra integral equation of the second kind with weakly singular kernels. Soft Comput. 2022, 26, 12009–12022. [Google Scholar] [CrossRef]
  4. Atkinson, K.E. A survey of numerical methods for solving nonlinear integral equations. J. Integral Eqns Appl. 1992, 4, 15–46. [Google Scholar] [CrossRef]
  5. Atkinson, K.E.; Potra, F.A. Projection and iterated projection methods for nonlinear integral equations. SIAM J. Num. Anal. 1987, 24, 1352–1373. [Google Scholar] [CrossRef]
  6. Grammont, L.; Kulkarni, R.P.; Vasconcelos, P.B. Modified projection and the iterated modified projection methods for non linear integral equations. J. Integral Equ. Appl. 2013, 25, 481–516. [Google Scholar] [CrossRef]
  7. Grammont, L.; Kulkarni, R.P.; Nidhin, T.J. Modified projection method for Urysohn integral equations with non-smooth kernels. J. Comput. Appl. Math. 2016, 294, 309–322. [Google Scholar] [CrossRef]
  8. Kulkarni, R.P. A superconvergence result for solutions of compact operator equations. Bull. Austral. Math. Soc. 2003, 68, 517–528. [Google Scholar] [CrossRef] [Green Version]
  9. 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]
  10. Allouch, C.; Sbibih, D.; Tahrichi, M. Superconvergent Nyström method for Urysohn integral equations. BIT Numer. Math. 2017, 57, 3–20. [Google Scholar] [CrossRef]
  11. Allouch, C.; Remogna, S.; Sbibih, D.; Tahrichi, M. Superconvergent methods based on quasi-interpolating operators for fredholm integral equations of the second kind. Appl. Math. Comput. 2021, 404, 126227. [Google Scholar] [CrossRef]
  12. Allouch, C.; Sablonnière, P.; Sbibih, D.; Tahrichi, M. Product integration methods based on discrete spline quasi-interpolants and application to weakly singular integral equations. J. Comput. Appl. Math 2010, 233, 2855–2866. [Google Scholar] [CrossRef]
  13. Dagnino, C.; Dallefrate, A.; Remogna, S. Spline quasi-interpolating projectors for the solution of nonlinear integral equations. J. Comput. Appl. Math. 2019, 354, 360–372. [Google Scholar] [CrossRef]
  14. Kumar, S.; Mittal, R.C.; Jiwari, R. A cubic B-spline quasi-interpolation method for solving hyperbolic partial differential equations. Int. J. Comput. Math. 2023, 100, 1580–1600. [Google Scholar] [CrossRef]
  15. Mittal, R.C.; Kumar, S.; Jiwari, R. A cubic B-spline quasi-interpolation algorithm to capture the pattern formation of coupled reaction-diffusion models. Eng. Comput. 2022, 38, 1375–1391. [Google Scholar] [CrossRef]
  16. de Boor, C. A Practical Guide to Splines, Revised ed.; Springer: New York, NY, USA, 2001. [Google Scholar]
  17. Sablonnière, P. Univariate spline quasi-interpolants and applications to numerical analysis. Rend. Sem. Mat. Univ. Pol. Torino 2005, 63, 107–118. [Google Scholar]
  18. Vainikko, G. Galerkin’s perturbation method and the general theory of approximate methods for nonlinear equations. USSR Comput. Math. Math. Phys. 1967, 7, 1–41. [Google Scholar] [CrossRef]
  19. Potra, F.A.; Pták, V. Nondiscrete Induction and Iterative Processes; Pitman Advanced Publishing Program: Boston, MA, USA, 1984. [Google Scholar]
Table 1. Maximum absolute errors for Test 1.
Table 1. Maximum absolute errors for Test 1.
n E O E ˜ O ˜ n E O E ˜ O ˜
Methods Based on  Q n 2 Methods Based on  Q n 3
402.84 (−07) 9.10 (−09) 403.31 (−05) 3.04 (−07)
803.99 (−08)2.81.04 (−09)3.1804.60 (−07)6.26.79 (−09)5.5
1602.98 (−10)7.15.44 (−12)7.61605.86 (−10)9.61.49 (−11)8.8
3202.27 (−12)7.02.42 (−14)7.83206.93 (−12)6.41.97 (−13)6.2
Table 2. Maximum absolute errors for Test 2.
Table 2. Maximum absolute errors for Test 2.
n E O E ˜ O ˜ n E O E ˜ O ˜
Methods Based on  Q n 2 Methods Based on  Q n 3
81.15 (−10) 2.54 (−12) 81.67 (−10) 3.96 (−11)
161.09 (−12)6.89.77 (−15)8.0161.27 (−12)7.04.03 (−13)6.6
321.07 (−14)6.7--328.88 (−15)7.21.20 (−14)-
64----64----
128----128----
Table 3. Maximum absolute errors for Test 3, with c = 1 .
Table 3. Maximum absolute errors for Test 3, with c = 1 .
n E O E ˜ O ˜ n E O E ˜ O ˜
Methods Based on  Q n 2 Methods Based on  Q n 3
83.97 (−09) 2.71 (−11) 82.25 (−08) 5.72 (−10)
163.61 (−11)6.81.57 (−13)7.4161.95 (−10)6.91.02 (−11)5.8
322.93 (−13)6.91.78 (−15)-329.60 (−13)7.76.39 (−14)7.3
645.77 (−15)---643.33 (−15)6.21.89 (−15)-
128----128----
Table 4. Maximum absolute errors for Test 3, with c = 0.1 .
Table 4. Maximum absolute errors for Test 3, with c = 0.1 .
n E O E ˜ O ˜ n E O E ˜ O ˜
Methods Based on  Q n 2 Methods Based on  Q n 3
82.55 (−10) 4.69 (−12) 84.34 (−10) 2.33 (−11)
162.28 (−12)6.82.66 (−14)7.5165.69 (−12)6.31.71 (−13)7.1
321.60 (−14)7.21.78 (−15)-321.42 (−14)8.61.78 (−15)-
64----64---
128----128---
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

Remogna, S.; Sbibih, D.; Tahrichi, M. Superconvergent Nyström Method Based on Spline Quasi-Interpolants for Nonlinear Urysohn Integral Equations. Mathematics 2023, 11, 3236. https://doi.org/10.3390/math11143236

AMA Style

Remogna S, Sbibih D, Tahrichi M. Superconvergent Nyström Method Based on Spline Quasi-Interpolants for Nonlinear Urysohn Integral Equations. Mathematics. 2023; 11(14):3236. https://doi.org/10.3390/math11143236

Chicago/Turabian Style

Remogna, Sara, Driss Sbibih, and Mohamed Tahrichi. 2023. "Superconvergent Nyström Method Based on Spline Quasi-Interpolants for Nonlinear Urysohn Integral Equations" Mathematics 11, no. 14: 3236. https://doi.org/10.3390/math11143236

APA Style

Remogna, S., Sbibih, D., & Tahrichi, M. (2023). Superconvergent Nyström Method Based on Spline Quasi-Interpolants for Nonlinear Urysohn Integral Equations. Mathematics, 11(14), 3236. https://doi.org/10.3390/math11143236

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