- Original research
- Open Access
- Published:

# Accelerated fitted operator finite difference method for singularly perturbed delay differential equations with non-local boundary condition

*Journal of the Egyptian Mathematical Society*
**volume 28**, Article number: 16 (2020)

## Abstract

In this paper, accelerated fitted finite difference method for solving singularly perturbed delay differential equation with non-local boundary condition is considered. To treat the non-local boundary condition, Simpson’s rule is applied. The stability and parameter uniform convergence for the proposed method are proved. To validate the applicability of the scheme, two model problems are considered for numerical experimentation and solved for different values of the perturbation parameter *ε* and mesh size *h*. The numerical results are tabulated in terms of maximum absolute errors and rate of convergence, and it is observed that the present method is more accurate and *ε*-uniformly convergent for *h* ≥ *ε* where the classical numerical methods fails to give good result, and it also improves the results of the methods existing in the literature.

## Introduction

A differential equation is said to be singularly perturbed delay differential equation, if it includes at least one delay term, involving unknown functions occurring with different arguments, and also, the highest derivative term is multiplied by a small parameter. Such type of delay, differential equations play a very important role in the mathematical models of science and engineering, such as, the human pupil light reflex with mixed delay type [1], variational problems in control theory with small state problem [2], models of HIV infection [3], and signal transition [4]. Any system involving a feedback control almost involves time delay. The delay occurs because a finite time is required to sense the information and then react to it. Finding the solution of singularly perturbed delay differential equations, whose application mentioned above, is a challenging problem. In response to these, in recent years, there has been a growing interest in numerical methods on singularly perturbed delay differential equations. The authors of [5,6,7] have developed various numerical schemes on uniform meshes for singularly perturbed first and second order differential equations with integral boundary conditions. The authors of [8,9,10] have proved that the problem of differential equations with integral boundary conditions is well posed. The authors of [11] proposed a first order uniform convergent fitted finite difference scheme for singularly perturbed boundary value problem for a linear second order delay differential equation with large delay in reaction term.

The standard numerical methods used for solving singularly perturbed differential equation are sometime ill posed and fail to give analytical solution when the perturbation parameter *ε* is small.

Therefore, it is necessary to develop suitable numerical methods which are uniformly convergent to solve this type of differential equations. In [12,13,14,15], finite difference and finite element methods are proposed to solve this kind of equations with large and small shifts.

As far as the researchers’ knowledge is concerned, numerical solution of singularly perturbed boundary value problem containing integral boundary condition via accelerated exponential fitted operator method is first being considered. The basic essence of accelerated fitted operator finite difference method is fitting an operator into a finite difference scheme, determining the value for the operator, formulating the intended scheme, and then applying Richardson extrapolation that can be explained as whenever the leading term in the error for an approximation formula is known; we can combine two approximations obtained from the formula using different values of the mesh sizes *h* and *0.5h* to obtain a higher order approximation, and the technique is known as Richardson extrapolation. This procedure is a convergence acceleration technique which consists of a linear combination of two computed approximations of a solution (applied on two nested meshes). The linear combination turns out to be a better approximation. Therefore, the main objective of this study is to develop *ε*-uniformly convergent and more accurate numerical method for solving singularly perturbed delay differential equations with non-local boundary condition. Hence, in the present paper, motivated by the works of [16], we developed a fitted operator finite difference scheme on uniform mesh for the numerical solution for second order singularly perturbed convection-diffusion equations with negative shift and non-local boundary condition.

The present paper is organized as follows. Statement of the problem is given in the “Statement of the problem” section. In the “Properties of continuous solution” section, properties of continuous solution are presented. The “Formulation of the numerical scheme” section describes formulation of the numerical scheme. Convergence analysis for approximate solution is given in the “Convergence analysis” section. Numerical results are given in the “Numerical examples and results” section. Discussion and conclusion is given in the “Discussion and conclusion” section.

Throughout our analysis, *C* is a generic positive constant that is independent of the parameter *ε* and number of mesh points 2*N*. We assume that \( \overline{\varOmega}=\left[0,2\right],\varOmega =\left(0,2\right),\kern0.5em {\varOmega}_1=\left(0,1\right),{\varOmega}_2=\left(1,2\right) \). Further, \( {\varOmega}^{\ast }={\varOmega}_1\cup {\varOmega}_2,{\overline{\varOmega}}^{2N} \) is denoted by \( \left\{0,1,2,...,2N\right\},{\overline{\varOmega}}_1^{2N} \) is denoted by \( \left\{1,2,...,N-1\right\},{\varOmega}_2^{2N} \) is denoted by {*N* + 1, *N* + 2, ..., 2*N* − 1}.

## Statement of the problem

Consider the following singularly perturbed problem:

where *ϕ*(*x*) is sufficiently smooth on [−1, 0]. For all *x* ∈ *Ω*, it is assumed that the sufficient smooth functions *a*(*x*), *b*(*x*) and *c*(*x*) satisfy *a*(*x*) > *α*_{1} > *α* > 0, *b*(*x*) ≥ *β* ≥ 0, *c*(*x*) ≤ *γ* ≤ 0, and *α* + *β* + *γ* > 0. Furthermore, *g*(*x*) is non-negative and monotonic with \( \underset{0}{\overset{2}{\int }}g(x) dx<1 \). The above assumptions ensure that *y* ∈ *X* = *C*^{0}(*Ω*) ∩ *C*^{1}(*Ω*) ∩ *C*^{2}(*Ω*_{1} ∪ *Ω*_{2}) [16].

where

with boundary conditions

## Properties of continuous solution

**Lemma 1:** (Maximum Principle) Let *ψ*(*x*) be any function in *X* such that *ψ*(0) ≥ 0, *Kψ*(2) ≥ 0, *L*_{1}*ψ*(*x*) ≥ 0, ∀ *x* ∈ *Ω*_{1}, *L*_{2}*ψ*(*x*) ≥ 0, ∀ *x* ∈ *Ω*_{2} and [*ψ*^{′}](1) ≤ 0 then \( \psi (x)\ge 0,\forall x\in \overline{\varOmega} \).

**Proof:** Define the test function

Note that \( s(x)>0,\forall x\in \overline{\varOmega}, Ls(x)>0,\forall x\in {\varOmega}_1\cup {\varOmega}_2,s(0)>0, Ks(2)>0 \), and [*s*^{′}](1) < 0.

Let \( \mu =\max \left\{\frac{-\psi (x)}{s(x)}:x\in \overline{\varOmega}\right\} \). Then, there exists \( {x}_0\in \overline{\varOmega} \) such that *ψ*(*x*_{0}) + *μs*(*x*_{0}) = 0 and \( \psi (x)+\mu s(x)\ge 0,\forall x\in \overline{\varOmega} \). Therefore, the function (*ψ* + *μs*) attains its minimum at *x* = *x*_{0}. Suppose the theorem does not hold true, then *μ* > 0.

**Case (i):***x*_{0} = 0; 0 < (*ψ* + *μs*)(0) = *ψ*(0) + *μs*(0) = 0, it is a contradiction.

**Case (ii):***x*_{0} ∈ *Ω*_{1} 0 < *L*(*ψ* + *μs*)(*x*_{0}) = − *ε*(*ψ* + *μs*)^{″}(*x*_{0}) + *a*(*x*_{0})(*ψ* + *μs*)^{′}(*x*_{0}) + *b*(*x*_{0})(*ψ* + *μs*)(*x*_{0}) ≤ 0, it is a contradiction.

**Case (iii):***x*_{0} = 1; 0 ≤ [(*ψ* + *μs*)^{′}](1) = [*ψ*^{′}](1) + *μ*[*s*^{′}](1) < 0, it is a contradiction.

**Case (iv):***x*_{0} ∈ *Ω*_{2}

\( {\displaystyle \begin{array}{l}0<L\left(\psi +\mu s\right)\left({x}_0\right)=-\varepsilon {\left(\psi +\mu s\right)}^{{\prime\prime}}\left({x}_0\right)+a\left({x}_0\right){\left(\psi +\mu s\right)}^{\prime}\left({x}_0\right)+b\left({x}_0\right)\left(\psi +\mu s\right)\left({x}_0\right)\\ {}\kern7.75em +c\left({x}_0\right)\left(\psi +\mu s\right)\left({x}_0-1\right)\le 0,\mathrm{it}\ \mathrm{is}\ \mathrm{a}\ \mathrm{contradiction}.\end{array}} \)

**Case (v):***x*_{0} = 2; \( 0\le K\left(\psi +\mu s\right)(2)=\left(\psi +\mu s\right)(2)-\varepsilon \underset{0}{\overset{2}{\int }}g(x)\left(\psi +\mu s\right)(x) dx\le 0,\mathrm{it}\ \mathrm{is}\ \mathrm{a}\ \mathrm{contradiction}. \)

Hence, the proof of the theorem.

**Lemma 2:** (Stability Result) The solution *y*(*x*) for the problems (1)–(3) satisfies the bound

**Proof:** This theorem can be proved by using Lemma 1, and the barrier functions \( {\theta}^{\pm }(x)= CMs(x)\pm y(x),x\in \overline{\varOmega} \), where \( M=\max \left\{\left|y(0)\right|,\left| Ky(2)\right|,\underset{x\in {\Omega}^{\ast }}{\sup}\left| Ly(x)\right|\right\} \) and *s*(*x*) are the test function as in Lemma 1.

**Lemma 3:** Let *y*(*x*) be the solution for (1)–(3). Then we have the following bounds:

**Proof:** For the proof, refer to [16].

**Lemma 4:** The bound for derivative of the solution *y*(*x*) of the problems (1)–(3) when *x* ∈ *Ω*_{1} = (0, 1) is given by:

**Proof:** For the proof, refer to [17].

## Formulation of the numerical scheme

For small values of *ε*, the boundary value problem, (1)–(3) exhibit strong boundary layer at *x* = 2 and interior layer at *x* = 1 (see [16]).

The linear ordinary differential Eq. (1) cannot, in general, be solved analytically because of the dependence of *a*(*x*), *b*(*x*), and *c*(*x*) on the spatial coordinate *x*. We divide the interval [0, 2] into 2*N* equal parts with constant mesh length *h*. Let 0 = *x*_{0}, *x*_{2}, ..., *x*_{N} = 1, *x*_{N + 1}, *x*_{N + 2}, ..., *x*_{2N} = 2 be the mesh points. Then, we have *x*_{i} = *ih*, *i* = 0, 1, 2, ...2*N*. If we consider, the interval *x* ∈ (0, 1) and the coefficients of (1) are evaluated at the midpoint of each interval; then, we will obtain the differential equation:

Now, the domain [0, 1] is discretized into *N* equal number of subintervals, each of length *h*. Let 0 = *x*_{0} < *x*_{1} < ... < *x*_{N} = 1 be the points such that *x*_{i} = *ih*, *i* = 0, 1, 2, ..., *N*. For the discretization, we apply a exponentially fitted operator finite difference method (FOFDM).

From (9), we have

where *F*(*x*) = *f*(*x*) − *c*(*x*)*ϕ*(*x* − 1).

To find the numerical solution of (10), we use the theory applied in asymptotic method for solving singularly perturbed BVPs. In the considered case, the boundary layer is in the right side of the domain, i.e., near *x* = 1. From the theory of singular perturbations given by O’Malley [18] and using Taylor’s series expansion for *a*(*x*) about *x* = 1 and restriction to their first terms, we get the asymptotic solution as follows:

where *y*_{0}(*x*) is the solution of the reduced problem (obtained by setting *ε* = 0) of (10) which is given by:

*a*(*x*)*y*^{′}(*x*) + *b*(*x*)*y*(*x*) = *F*(*x*) with *y*_{0}(0) = *ϕ*(0).(12)

Considering *h* is small enough, the discretized form for (11) becomes

which is simplified to

where \( \rho =\frac{h}{\varepsilon },h=\frac{1}{N} \).

To handle the effect of the perturbation parameter, artificial viscosity (an exponentially fitting factor *σ*(*ρ*)) is multiplied on the term containing the perturbation parameter as follows:

with boundary conditions *y*_{0}(0) = *ϕ*(0) and *y*(*N*) = *θ*, where *y*(*N*) is evaluated by Runge-Kutta method from the reduced solution of (12).

Next, we consider the difference approximation of (9) on a uniform grid \( {\overline{\varOmega}}^N={\left\{{x}_i\right\}}_{i=0}^N \) and denote *h* = *x*_{i + 1} − *x*_{i}.

For any mesh function *z*_{i}, define the following difference operators:

by applying the central finite difference scheme on (14) takes the form:

with the boundary conditions *y*_{0}(0) = *ϕ*(0) and *y*(*N*) = *θ*.

Using operator, (10) is rewritten as follows:

with the boundary conditions *y*_{0} = *ϕ*(0) and *y*_{N} = *θ*.

where

multiplying (18) by *h* and considering *h* is small and truncating the term *h*(*F*_{i} − , result

Now, by using Taylor’s series for *y*_{i − 1} and *y*_{i + 1} up to first term and substituting the results in (19) into (16) and simplifying, the exponential fitting factor is obtained as follows:

Assume that \( {\overline{\varOmega}}^{2N} \) denotes partition of [0, 2] into *2N* subintervals such that 0 = *x*_{0} < *x*_{1} < ... < *x*_{N} = 1 and 1 < *x*_{N + 1} < *x*_{N + 2} < ... < *x*_{2N} = 2 with \( {x}_i= ih,h=\frac{2}{2N}=\frac{1}{N},i=0,1,2,....,2N \).

**Case 1**: Consider (4) on the domain *Ω*_{1} = (0, 1) which is given by:

Hence, the required finite difference scheme becomes

for *i* = 0, 1, 2, ..., *N*.

The numerical scheme in (22) can be written in three-term recurrence relation as follows:

where \( {E}_i=\frac{-\varepsilon \sigma}{h^2}-\frac{a_i}{2h},\kern0.5em {F}_i=\frac{2\varepsilon \sigma}{h^2}+{b}_i,\kern0.5em {G}_i=\frac{-\varepsilon \sigma}{h^2}+\frac{a_i}{2h},\kern0.5em {H}_i={f}_i-{c}_i\phi \left({x}_i-N\right) \).

**Case 2**: Consider (4) on the domain *Ω*_{2} = (1, 2), for right layer in the domain *Ω*_{2} using exponentially fitted finite difference method, which is given by**:**

Similarly, this equation can be written as follows:

**Case 3**: For *i* = 2*N*, the composite Simpson’s rule approximates the integral of *g*(*x*)*y*(*x*) by:

Substituting (25) into (3) gives:

Since *y*(0) = *ϕ*(0), from (2), this equation can be re-written as follows:

Therefore, on the whole domain \( \overline{\varOmega}=\left[0,2\right] \), the basic schemes to solve (1)–(3) are the schemes given in (23), (24), and (26) together with the local truncation error of *τ*_{1}.

## Convergence analysis

The discrete scheme corresponding to the original problem (1)–(3) is as follows:

subject to the boundary conditions is as follows:

and

where

**Lemma 5:** (Discrete Maximum Principle) Assume that

and mesh function *ψ*(*x*_{i}) satisfy *ψ*(*x*_{0}) ≥ 0 and *K*^{N}*ψ*(*x*_{2N}) ≥ 0. Then, \( {L}_1^N\psi \left({x}_i\right)\ge 0,\forall {x}_i\in {\varOmega}_1^{2N},{L}_2^N\psi \left({x}_i\right)\ge 0,\forall {x}_i\in {\varOmega}_2^{2N} \) and *D*^{+}(*ψ*(*x*_{N})) − *D*^{−}(*ψ*(*x*_{N})) ≤ 0 imply that \( \psi \left({x}_i\right)\ge 0,\forall {x}_i\in {\overline{\varOmega}}^{2N} \).

**Proof:** Define

Note that \( s\left({x}_i\right)>0,\forall {x}_i\in {\overline{\varOmega}}^{2N}, Ls\left({x}_i\right)>0,\forall {x}_i\in {\varOmega}_1^{2N}\cup {\varOmega}_2^{2N},s(0)>0, Ks\left({x}_{2N}\right)>0 \), and[*s*^{′}](*x*_{N}) < 0.

Let \( \mu =\max \left\{\frac{-\psi \left({x}_i\right)}{s\left({x}_i\right)}:{x}_i\in {\overline{\varOmega}}^{2N}\right\} \). Then, there exists \( {x}_k\in {\overline{\varOmega}}^{2N} \) such that *ψ*(*x*_{k}) + *μs*(*x*_{k}) = 0 and \( \psi \left({x}_i\right)+\mu s\left({x}_i\right)\ge 0,\forall {x}_i\in {\overline{\varOmega}}^{2N} \). Therefore, the function (*ψ* + *μs*) attains its minimum at *x* = *x*_{k}. Suppose the theorem does not hold true, then, *μ* > 0.

**Case (i):***x*_{k} = *x*_{0}, 0 < (*ψ* + *μs*)(*x*_{0}) = 0, it is a contradiction.

**Case (ii):**\( {x}_k\in {\varOmega}_1^{2N} \), \( 0<{L}_1^N\left(\psi +\mu s\right)\left({x}_k\right)\le 0 \), it is a contradiction.

**Case (iii):***x*_{k} = *x*_{N}, 0 ≤ [*D*(*ψ* + *μs*)^{′}](*x*_{N}) < 0, it is a contradiction.

**Case (iv):**\( {x}_k\in {\varOmega}_2^{2N} \), \( 0<{L}_2^N\left(\psi +\mu s\right)\left({x}_k\right)\le 0 \), it is a contradiction.

**Case (v):***x*_{k} = *x*_{2N}

It is a contradiction. Hence the proof of the theorem.

**Lemma 6:** Let *ψ*(*x*_{i}) be any mesh function then for 0 ≤ *i* ≤ 2*N*,

**Proof:** For the proof, refer to [16].

The following theorem shows the parameter uniform convergence of the scheme developed.

### Theorem 1:

Let *y*(*x*_{i}) and *y*_{i} be respectively the exact solution of (1)–(3) and numerical solutions of (17). Then, for sufficiently large *N*, the following parameter uniform error estimate holds:

**Proof:** Let us consider the local truncation error defined as follows:

where \( \varepsilon \sigma \left(\rho \right)=a(1)\frac{N^{-1}}{2}\coth \left(a(1)\frac{N^{-1}}{2\varepsilon}\right) \) since \( \rho =\frac{N^{-1}}{\varepsilon } \). In our assumption, *ε* ≤ *h* = *N*^{−1}.

By considering *N* is fixed and taking the limit for *ε* → 0, we obtain the following:

From Taylor’s series expansion, the bound for the difference becomes:

where \( \left\Vert \frac{d^k\left(y\left({x}_i\right)\right)}{d{x}^k}\right\Vert =\underset{x_i\in \left({x}_0,{x}_N\right)}{\sup}\left(\frac{d^ky\left({x}_i\right)}{d{x}^k}\right),k=3,4 \).

Now, using the bounds and the assumption *ε* ≤ *N*^{−1}, (33) reduces to:

Here, the target is to show the scheme convergence independent on the number of mesh points.

By using the bounds for the derivatives of the solution in Lemma 4, we obtain:

**Lemma 7:** For a fixed mesh and for *ε* → 0, it holds:

**Proof:** Refer to [19].

By using Lemma 7 into (35), results to

Hence, by discrete maximum principle, we obtain:

Thus, result of (38) shows (32). Hence, the proof.

**Remark:** A similar analysis for convergence may be carried out for the finite difference scheme (24).

### Richardson Extrapolation

This technique is acceleration technique which involves combination of two computed approximations of a solution. The combination goes out to be an improved approximation. From the local truncation term, we have:

where *y*(*x*_{i}) and *y*_{i} are exact and approximate solutions respectively, and *C* is constant free from mesh size *h*.

Let *Ω*^{4N} be the mesh found by dividing each mesh interval in *Ω*^{2N} and symbolize the calculation of the solution on *Ω*^{4N} by \( {\overline{y}}_i \). Consider (39) works for any *h* ≠ 0, which implies:

So that it works for any \( \frac{h}{2}\ne 0 \) yields:

where the remainders *R*^{2N} and *R*^{4N} are *O*(*h*^{2}). Combination of inequalities in (40) and (41) leads to \( y\left({x}_i\right)-\left(2{\overline{y}}_i-{y}_i\right)\approx O\left({h}^2\right) \) which proposes that

is also a rough calculation of *y*(*x*_{i}). By means of this approximation to estimate the truncation error, we obtain:

where *C* is free of mesh size *h*. Thus, using Richardson extrapolation first order convergent method is accelerated into second order convergent as provided in (43). Thus, we can say that the proposed method is second order convergent.

### Numerical examples and results

In this section, two examples are considered to illustrate the applicability of the numerical method discussed above. The exact solutions of these test problems are not known. Therefore, double mesh principle is used to estimate the errors and compute the numerical rate of convergence to the computed solution. The double mesh formula to determine maximum absolute error is defined as follows:

where \( {Y}_i^N \) and \( {Y}_{2i}^{2N} \) are the *i*^{th} components of the numerical solutions for *N* and 2*N*, respectively. We compute the uniform error and the rate of convergence using the formula:

The numerical results are presented for the values of the perturbation parameter *ε* ∈ {10^{−4}, 10^{−8}, ..., 10^{−20}}.

Example 1:

Example 2:

## Discussion and conclusion

This study introduces accelerated fitted operator numerical method for solving singularly perturbed delay differential equations with integral boundary condition. The behavior of the continuous solution of the problem is studied and shown that it satisfies the continuous stability estimate, and the derivatives of the solution are also bounded. The numerical scheme is developed on uniform mesh using fitted operator finite difference method in the given differential equation. The integral boundary condition is treated by using Simpson’s rule. The stability of the developed numerical method is established, and its uniform convergence is proved. To validate the applicability of the method, two model problems are considered for numerical experimentation for different values of the perturbation parameter and mesh points. The numerical results are tabulated in terms of maximum absolute errors, numerical rate of convergence, and uniform errors (see Tables 1, 2, 3 and 4). Further, Figs. 1 and 2 show that for small values of *ε*, the solution of the problem under consideration exhibits strong boundary layer at *x* = 2, and interior layer at *x* = 1. Figures 3 and 4 show that as the mesh size decrease or as the number of mesh point increase, the absolute error decreases. The log-log scale plot in Figs. 5 and 6 depicted the *ε*-uniformly convergence of the method for *h* ≥ *ε* where the classical numerical methods fail to converge. The method is shown to be *ε*-uniformly convergent with order of convergence *O*(*h*^{2}). The performance of the proposed scheme is investigated by comparing with prior study (Tables 2 and 4). The proposed method is stable, more accurate, and convergent independent of the values of the perturbation parameter and the mesh size. The authors suggested that one can extend the work or solve the problem under consideration by applying higher order fitted operator numerical methods or Bakhavlov-type fitted mesh numerical method to obtain more accurate numerical results.

## Availability of data and materials

All data generated or analyzed during this study are included.

## References

Longtin, A., Milton, J.: Complex oscillations in the human pupil light reflex with mixed and delayed feedback. Math. Biosci.

**90**, 183–199 (1988)Glizer, V.Y.: Asymptotic analysis and solution of a finite-horizon H∝ control problem for singularly perturbed linear systems with small state delay. J. Optim. Theory Appl.

**117**, 295–325 (2003)Culshaw, R.V., Ruan, S.: A delay differential equation model of HIV infection of C D4+ T-cells. Math. Biosci.

**165**, 27–39 (2000)Els’gol’ts, E.L.: Qualitative methods in mathematical analysis in: translations of mathematical monographs, vol. 12. American Mathematical Society, Providence (1964)

Amiraliyev, G.M., Amiraliyev, I.G., Kudu, M.: A numerical treatment for singularly perturbed differential equations with integral boundary condition. Appl. Math. Comput.

**185**(1), 574–582 (2007)Cen, Z., Cai, X.: A second order upwind difference scheme for a singularly perturbed problem with integral boundary condition in netural network, pp. 175–181. Springer, Berlin (2007)

Kudu, M., Amiraliyev, G.: Finite difference method for a singularly perturbed differential equations with integral boundary condition. Int. J. Math. Comput.

**26**(3), 71–79 (2015)Boucherif, A.: Second order boundary value problems with integral boundary condition. Nonlinear Anal.

**70**(1), 364–371 (2009)Feng, M., Ji, D., Weigao, G.: Positive solutions for a class of boundary value problem with integral boundary conditions in banach spaces. J. Comput. Appl. Math.

**222**(2), 351–363 (2008)Li, H., Sun, F.: Existence of solutions for integral boundary value problems of second order ordinary differential equations, Bound. Value Probl.

**2012**(1), 147 (2012)Amiraliyev, G.M., Cimen, E.: Numerical method for a singularly perturbed convection-diffusion problem with delay. Appl. Math. Comput.

**216**(8), 2351–2359 (2010)Mahendran, R., Subburayan, V.: Fitted finite difference method for third order singularly perturbed delay differential equations of convection diffusion type. Int. J. Comput. Methods.

**16**(5), 1840007 (2019)Nicaise, S., Xenophontos, C.: Robust approximation of singularly perturbed delay differential equations by the hp finite element method. Comput. Methods Appl. Math.

**13**(1), 21–37 (2013)Tang, Z.Q., Geng, F.Z.: Fitted reproducing kernel method for singularly perturbed delay initial value problems. Appl. Math. Comput.

**284**, 169–174 (2016)Zarin, H.: On discontinuous Galerkin finite element method for singularly perturbed delay differential equations. Appl. Math. Lett.

**38**, 27–32 (2014)Sekar, E., Tamilselvan, A.: Singularly perturbed delay differential equations of convection–diffusion type with integral boundary condition. J. Appl. Math. Comput.

**59**(1-2), 701–722 (2019). https://doi.org/10.1007/s12190-018-1198-4Clavero, C., Gracia, J.L., Jorge, J.C.: High-order numerical methods for one dimensional parabolic singularly perturbed problems with regular layers. Numer. Methods Partial differential equations.

**21**(1), 149–169 (2005)R.E. OMalley, Singular perturbation methods for ordinary differential equations. Springer-Verlag, New York, 89(1991).

Woldaregay, M.M., Duressa, G.F.: Parameter uniform numerical method for singularly perturbed differential difference equations. J. Nigerian Math. Soc.

**38**(2), 223–245 (2019)

## Acknowledgements

The authors wish to express their thanks to the authors of literatures for the provision of initial idea for this work. We also thank Jimma University for the necessary support.

## Funding

Not applicable.

## Author information

### Authors and Affiliations

### Contributions

HGD proposed the main idea of this paper. HGD and GFD prepared the manuscript and performed all the steps of the proofs in this research. Both authors contributed equally and significantly in writing this paper. Both authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Debela, H.G., Duressa, G.F. Accelerated fitted operator finite difference method for singularly perturbed delay differential equations with non-local boundary condition.
*J Egypt Math Soc* **28**, 16 (2020). https://doi.org/10.1186/s42787-020-00076-6

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s42787-020-00076-6

### Keywords

- Singularly perturbed problems
- Delay differential equation
- Fitted finite difference
- Non-local boundary condition

### Mathematics Subject Classification

- 65L11, 65L12, 65L20