1 Introduction
Fredholm integro-differential equations (FIDEs) are crucial in many scientific disciplines and practical fields, including physics, mechanics, fluid dynamics, electrostatics, chemistry, biology, astronomy, and more.[1, 2, 3].
In engineering and science, these equations are crucial for modeling various phenomena, leading researchers to develop theoretical frameworks, numerical computations, and analyses for FIDEs.
Several semi-analytical techniques, such as the Legendre polynomial approximation, differential transform method, variational iteration method, and homotopy perturbation method, have been proposed in the literature to solve these FIDEs. [4, 5, 6, 7]. Furthermore, many numerical methods have been proposed in recent times. These include the Galerkin-Chebyshev wavelets method, the Nyström method, extrapolation method, the Sinc-Collocation method, and so on ( see, e.g.,[8, 9, 10, 11, 12]). However, these studies have only considered regular cases.
In this report, we consider the boundary value problem of second-order FIDE of the form
|
|
|
(1) |
subject to the boundary conditions
|
|
|
(2) |
where, is a small parameter, , is a real parameter, the functions , are
sufficiently smooth. Under these conditions, the problem (1) - (2) has unique solution u. Singularly perturbed differential equations are special equations that usually involve a tiny number multiplying the highest order terms in the equation. When we solve these equations, we observe various phenomena happening at different scales. In certain narrow parts of the problem space, some derivatives change much faster than others. These narrow regions with rapid changes are called boundary or interior layers, depending on where they occur. Here tends toward zero, the boundary layers appear in the neighborhood of Such equations are common in mathematical problems in the sciences and engineering, for example, the study of moving air and how it affects structures, the behavior of fluids, how electricity behaves in complicated situations, different ways to understand how populations grow, creating models for neural networks, materials that remember their previous state, and mathematical models for how tiny particles move in a chaotic fluid [13, 14, 15]. Usual discretization methods for solving problems with very small variations are known to be unstable and often do not provide good solutions when the variations are extremely small. Hence, there is a need to create consistent numerical approaches to tackle such problems.
2 Literature review
In recent years, there has been considerable research on singularly perturbed integro-differential equations, leading to numerous publications that propose various numerical schemes for solving these equations. This literature review highlights several key contributions in the field.
In 2018, Amiraliyev et al. [16] introduced an exponentially fitted difference method on a uniform mesh for first-order equations, demonstrating first-order uniform convergence in . In 2020, Iragi and Munyakazi [17] applied the fitted operator finite difference method, using the right-side rectangle rule and trapezoidal integration on a Shishkin mesh, to Volterra integro-differential equations with singularity, aiming to develop accurate and efficient numerical schemes.
In the same year, Mbroh et al. [18] proposed a non-standard finite difference scheme that used the composite Simpson’s rule and enhanced convergence order through Richardson extrapolation, focusing on improving accuracy and stability for these equations. Amiraliyev et al. [19] also analyzed a nearly second-order accurate finite difference scheme for first-order SPFIDE.
In 2021, Cimen and Cakir [20] suggested an exponentially fitted difference scheme for singularly perturbed Fredholm integro-differential equations, aiming to capture the behavior of solutions with exponential terms accurately. Durmaz and Amiraliyev [21] developed a second-order homogeneous difference scheme on a Shishkin mesh for Fredholm integro-differential equations with layer behavior to provide accurate numerical solutions.
Amiraliyev et al. [22] proposed a first-order uniformly convergent fitted finite difference scheme on a uniform mesh for Fredholm integro-differential equations. In 2022, Cakir et al. [23] derived a numerical approach for an initial-value problem for singularly perturbed nonlinear Fredholm integro-differential equations, achieving uniform convergence in the discrete maximum norm with respect to the perturbation parameter.
Amirali et al. [24] in 2022 proposed a first-order numerical method for first-order singularly perturbed nonlinear Fredholm integro-differential equations with integral boundary conditions. In 2023, Durmaz [25] applied a fitted finite difference approach using a composite trapezoidal rule to both the integral part of the equation and the initial condition, achieving uniform second-order convergence.
Lastly, in 2023, Amiri [26] developed an effective numerical method for solving a class of nonlinear singular two-point boundary value Fredholm integro-differential equations. By using an appropriate interpolation and a q-order quadrature rule of integration, the problem was approximated by nonlinear finite difference equations, achieving a convergence order of in the norm, where is the order of the quadrature method.
The goal of this report is to design a homogeneous type difference scheme for the problem (1)-(2). Our approach employs the exact (non-standard) finite-difference method to approximate the differential part together with the composite trapezoidal rule for the integral part to discretize the SPFIDE on a uniform mesh.
This study is organized subsequently. In Section 2, we report some preliminary work that is relevant to the study. Section 3, proposes a difference scheme for SPFIDE. Later, in Section 4 we establish the error analysis for the scheme. Then, in Section 5, we present some numerical results that illustrate the scheme’s performance. Finally, we conclude our work in Section 6.
In this report, we will use the symbol to represent a generic constant that is independent of and the mesh parameter. The notation signifies the maximum norm for any continuous function over the associated closed interval. Also Let us define the forward, backward, and second-order central finite difference operators as
|
|
|
.
3 Numerical discretization
The theoretical basis of the nonstandard discrete numerical method is based on the development of the exact finite difference method. The author of [27] presented techniques and rules for develo** nonstandard finite difference methods for different problem types. In Mickens’s rules, to develop a discrete scheme, the denominator function for the discrete derivatives must be expressed in terms of more complicated functions of step sizes than those used in the standard procedures. These complicated functions constitute a general property of the schemes, which is useful while designing reliable schemes for such problems.
For the problem of the form in (1)-(2), to construct the exact finite difference scheme.
Consider the constant coefficient homogeneous sub-problems corresponding to (1) are
|
|
|
(3) |
|
|
|
(4) |
where and . Two linear independent solutions of (3) are and , where
|
|
|
(5) |
We discretize the domain using the uniform mesh length such that , where denotes the number of mesh points. We denote the approximate solution to at the grid point by . Now our main objective is to calculate the difference equation, which has the same general solution as the differential equation (3) has at the grid point given by . Using the theory of difference equations, we have
|
|
|
(6) |
Simplifying (6), we obtain
|
|
|
(7) |
which is an exact difference scheme for (3).
After doing the arithmetic manipulation and rearrangement on (7), for the constant coefficient problem (4), we get
|
|
|
(8) |
The denominator function becomes . Adopting this denominator function for the variable coefficient problem, we write it as
|
|
|
(9) |
where is the function of , and .
By using the denominator function into the main scheme, we obtain the difference scheme as
|
|
|
(10) |
where is given by
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Moreover applying the composite trapezoidal rule to the integral term in (10). To drive composite trapezoidal rule substitute in Newton-Cotes quadrature formulae in [27] obtain the following result
|
|
|
|
|
|
|
|
where for . Now, the error of this method can be approximated in the following way.
Let the function be continuous and possess a continuous derivatives in . Expanding about we obtain
|
|
|
|
|
|
|
|
|
|
|
|
(11) |
Therefore
|
|
|
(12) |
|
|
|
(13) |
From (12), (13), we get:
|
|
|
|
(14) |
From (11) and (14) we obtain,
|
|
|
This is the error committed in the interval .
Let be sub-divided into number of sub-divisions, , the integral over the whole interval is found by adding these integrations and is equal to
|
|
|
We obtain the errors in the interval as
|
|
|
(15) |
where is the largest value of the -quantities on 2nd derivatives. Therefore, the integral term in (10) is approximated as:
|
|
|
|
(16) |
From (10) and (16) for , we have the following relation
|
|
|
(17) |
where
Based on (17) we propose the following difference scheme for approximating (1).
|
|
|
|
|
|
(18) |
Lastly, from (18) the linear system equations for are generated. Therefore, the generated system of linear algebraic equations can be written in a matrix form of
|
|
|
(19) |
where and are coefficient matrix, is a given function and is an unknown function which is to be determined. The entries of and are given as:
|
|
|
|
|
|
|
|
and