A parameter uniform difference scheme for the parameterized singularly perturbed problem with integral boundary condition

Abstract

We consider a uniform finite difference method on a Bakhvalov mesh to solve a quasilinear first order parameterized singularly perturbed problem with integral boundary conditions. Uniform first order error estimates in the discrete maximum norm have been established. Numerical results that demonstrate the sharpness of our theoretical analysis are presented.

1 Introduction

Singularly perturbed differential equations are typically characterized by a small parameter ε multiplying some or all of the highest order terms in the differential equations as normally boundary layers occur in their solutions. These equations play an important role in today’s advanced scientific computations. Many mathematical models starting from fluid dynamics to the problems in mathematical biology are modeled by singularly perturbed problems. Typical examples include high Reynold’s number flow in the fluid dynamics, heat transport problem, etc. For more details on singular perturbation, one can refer to the books [1–4] and the references therein. The numerical analysis of singular perturbation cases has always been far from trivial because of the boundary layer behavior of the solution. Such a problem undergoes rapid changes within very thin layers near the boundary or inside the problem domain [2, 3]. It is well known that standard numerical methods for solving such problems are unstable and fail to give accurate results when the perturbation parameter is small. Therefore, it is important to develop suitable numerical methods to the problems, whose accuracies do not depend on the parameter value, i.e., methods that are convergent ε-uniformly. For the various approaches on the numerical solutions of differential equations with steep, continuous solutions, we may refer to the monographs [1, 4, 5].

In this paper, we consider the following parameterized singular perturbation problem with integral boundary condition arising in many scientific applications [6, 7] (see also references therein):

$$\begin{aligned} & \varepsilon u^{\prime }+f(t,u,\lambda )=0,\quad t\in \Omega = (0,T), T>0, \end{aligned}$$

(1)

$$\begin{aligned} & u(0)+ \int_{0}^{T}c(s)u(s)\,ds=A, \end{aligned}$$

(2)

$$\begin{aligned} &u(T)=B, \end{aligned}$$

(3)

where $\varepsilon \in (0,1]$ is the perturbation parameter, λ is known as the control parameter, A and B are given constants. The functions $c(t)\geq 0$ and $f(t,u,\lambda )$ are assumed to be sufficiently continuously differentiable for our purpose in $\overline{\Omega }=\Omega \cup \{t=0\}$ and $\Omega \times \mathbb{R}^{2}$, respectively, and moreover

$$\begin{aligned} &0< \alpha \leq \frac{\partial f}{\partial u}\leq a^{\ast }< \infty, \\ & 0< m_{1}\leq \biggl\vert \frac{\partial f}{\partial \lambda }\biggr\vert \leq M_{1}< \infty . \end{aligned}$$

By a solution of (1)–(3) we mean $\{u(t),\lambda \} \in C^{1}[0,T]\times \mathbb{R}$, for which problem (1)–(3) is satisfied. Under these assumptions, problem (1)–(3) has a unique solution $u(t)$. For $\varepsilon \ll 1$, the function $u(t)$ has in general a boundary layer of width $O(\varepsilon )$ near $t=0$ (see [8–10]).

Parameterized boundary value problems have been considered by many researchers for many years. Such problems arise in physical chemistry and physics, describing the exothermic and isothermal chemical reactions, the steady-state temperature distributions, the oscillation of a mass attached by two springs leading to a differential equation with a parameter [5, 11, 12]. An overview of some existence and uniqueness results and applications of parameterized equations may be obtained, for example, in [11–14](see also references therein). In [11, 12, 14, 15], the authors have also considered some approximating aspects of this kind of problems. But in the above-mentioned papers, algorithms are only concerned with the regular cases (i.e., when the boundary layers are absent). In recent years, many researchers presented the numerical methods for the singular perturbation cases of parameterized problems. Uniform convergent finite-difference schemes for solving parameterized singularly perturbed two-point boundary value problems have been considered in [8, 10, 15–22] (see also references therein). In [8, 10, 16, 17, 19, 20] authors used the boundary layer technique for solving an analogous problem. A methodology based on the homotopy analysis technique to approximate the analytic solution was investigated in [15, 21, 22].

Also it is well known that nonlinear differential equations with integral boundary conditions have been used in description of many phenomena in the applied sciences, e.g., heat conduction, chemical engineering, underground water flow, and so on [23–25]. Therefore, boundary value problems involving integral boundary conditions have been studied by many authors [6, 7, 26–31] (see also references therein). Some approximating aspects of this kind of problems in the regular cases, i.e., in the absence of layers, were investigated in [7, 26, 32]. In recent years, many researchers have considered the singularly perturbed cases for these problems. In [9] authors developed a finite difference scheme on Shishkin mesh for a problem with integral boundary conditions and proved that the method is nearly first order convergent except for a logarithmic factor. A hybrid scheme, which is second order convergent on Shishkin mesh, was discussed in [30] (see also [20, 33]). For the numerical methods concerning second order singularly perturbed differential equations with integral boundary conditions, one can see, e.g., [28, 29, 31].

In this paper, as far as we know, the numerical solution of the singularly perturbed boundary value problem containing both control parameter and integral condition is first being considered. For the numerical solution of such problems, a specific approach is required to construct the appropriate difference scheme and examining the error analysis. The scheme is constructed by the method of integral identities with the use of appropriate quadrature rules with the remainder terms in integral form. The aim here is to construct an ε-uniformly numerical method which gives ε-uniformly convergent numerical approximations to solve problem (1)–(3). For this, we use a finite difference scheme on a Bakhvalov mesh which is dense in the initial layer. The Bakhvalov mesh is dependent on ε and mesh points have to be condensed in a neighborhood of $t=0$ in order to resolve the initial layer. In the Bakhvalov mesh, basically half of the mesh points are concentrated in $O(\varepsilon \vert \ln \varepsilon \vert )$ neighborhood of the point $t=0$ and the remaining half forms a uniform mesh on the rest of $[ 0, T ]$ (see [2, 4, 10, 30, 32, 34, 35]). We show that the proposed scheme is uniformly convergent in the discrete maximum norm accuracy of $O(N^{-1})$ on Bakhvalov meshes. Note that, in [10], the first order convergent difference scheme in Bakhvalov type mesh under the first type boundary conditions for equation (1.1) was presented. Also, in the above-mentioned work [9] that includes integral boundary condition, while conditions (2.1) and (4.8) are generally provided for sufficiently small values of ε, as the integral boundary condition of our work is more general, and the convergence is uniform for both small and moderate values of perturbation parameter ε.

The paper is organized as follows. In Sect. 2, the difference scheme constructed on the non-uniform mesh for the numerical solution (1)–(3) is presented and graded mesh is introduced. The uniform convergence of the difference scheme is investigated and error of the difference scheme is evaluated in Sect. 3. Finally, in Sect. 4 some numerical results are presented to confirm the theoretical analysis. The paper ends with conclusions.

Henceforth, C and c denote the generic positive constants independent of both the perturbation parameter ε and the mesh parameter N. Such a subscripted constant is fixed. We also will use $\Vert g\Vert _{\infty }=\max_{0\leq t\leq T} \vert g(t)\vert$ for any $g\in C[0,T]$.

2 The finite difference scheme

To construct the numerical method and for convergence analysis, we need the asymptotic estimates for the differential solution $\lbrace u(t), \lambda \rbrace$.

Lemma 2.1

The solution $\{u(t),\lambda \}$ of problem (1)–(3) satisfies the following bounds:

$$\begin{aligned} & \vert \lambda \vert \leq c_{0}, \end{aligned}$$

(4)

$$\begin{aligned} & \Vert u\Vert _{\infty }\leq c_{1}, \end{aligned}$$

(5)

where

$$\begin{aligned} & c_{0}=m_{1}^{-1} \biggl\{ \frac{\alpha \vert A\vert }{e ^{\alpha T}-1}+ \frac{\vert B\vert a^{\ast }(1-\Vert c\Vert _{\infty }T)}{m_{1} ( e^{a^{\ast }T}-1 ) }+\Vert F\Vert _{\infty } \biggr\} , \\ & F(t)=f(t,0,0), \\ & c_{1}=A+\alpha^{-1}\bigl(1+\Vert c\Vert _{\infty }T\bigr) \bigl(\Vert F\Vert _{\infty }+M_{1}c_{0} \bigr) \end{aligned}$$

and

$$ \bigl\vert u^{\prime }(t)\bigr\vert \leq C \biggl( 1+ \frac{1}{\varepsilon }e^{-\frac{\alpha t}{\varepsilon }} \biggr), \quad t\in [ 0,T ], $$

(6)

provided $a\in C^{1}[ 0,T]$ and $\vert \frac{\partial f}{\partial t} \vert \leq C$ for $t\in [ 0,T]$.

Proof

One can prove this result following the method given in [9], Lemma 2.1, and in [10], Lemma 2.1. □

Let $\omega_{N}$ be any non-uniform mesh on Ω:

$$ \omega_{N}=\{0< t_{1}< t_{2}< \cdots< t_{N-1}< t_{N}=T \} $$

and $\bar{\omega }_{N}=\omega_{N}\cup \{t=0\}$. For each $i\geq 1$, we set the step size $h_{i}=t_{i}-t_{i-1}$. To simplify the notation, we set $g_{i}=g(t_{i})$ for any function $g(t)$, while $g_{i}^{N}$ denotes an approximation of $g(t)$ at $t_{i}$. For any mesh function $\{w_{i}\}$ defined on $\overline{\omega }_{N}$, we use

$$\begin{aligned} w_{\overline{t},i} & =(w_{i}-w_{i-1})/h_{i}, \\ \Vert w\Vert _{\infty } & \equiv \Vert w\Vert _{\infty,\bar{\omega }_{N}}:=\max _{0\leq i\leq N}\vert w_{i} \vert . \end{aligned}$$

To obtain approximation for (1), we integrate (1) over $(t_{i-1},t_{i})$:

$$ \varepsilon u_{\overline{t},i}+h_{i}^{-1} \int_{t_{i-1}}^{t_{i}}f\bigl(t,u(t), \lambda \bigr)\,dt=0, \quad1\leq i\leq N, $$

which yields the relation

$$ \varepsilon u_{\overline{t},i}+f(t_{i},u_{i},\lambda )+R_{i}=0,\quad 1\leq i\leq N, $$

(7)

with local truncation error

$$ R_{i}=-h_{i}^{-1} \int_{t_{i-1}}^{t_{i}} ( t-t_{i-1} ) \frac{d}{dt}f \bigl( t,u(t),\lambda \bigr)\,dt. $$

(8)

To define an approximation for the boundary condition (2), here we use the composite right-hand side rectangle rule:

$$ u(0)+ \int_{0}^{T}c(s)u(s)\,ds=u_{0}+\sum _{i=1}^{N}h_{i}c_{i}u_{i}+r $$

with remainder term

$$ r=-\sum_{i=1}^{N} \int_{t_{i-1}}^{t_{i}}(t-t_{i-1})\frac{d}{dt} \bigl( c(t)u(t) \bigr)\,dt. $$

(9)

Consequently,

$$ u_{0}+\sum_{i=1}^{N}h_{i}c_{i}u_{i}+r=A. $$

(10)

Neglecting $R_{i}$ and r in (7) and (10), we propose the following difference scheme for approximating (1)–(3):

$$\begin{aligned} & \varepsilon u_{\bar{t},i}^{N}+f\bigl(t_{i},u_{i}^{N}, \lambda^{N}\bigr)=0,\quad 1\leq i\leq N, \end{aligned}$$

(11)

$$\begin{aligned} & u_{0}^{N}+\sum_{i=1}^{N}h_{i}c_{i}u_{i}^{N}=A, \end{aligned}$$

(12)

$$\begin{aligned} & u_{N}^{N}=B. \end{aligned}$$

(13)

For the difference scheme (11)–(13) to be ε-uniformly convergent, we will use the B-mesh. For an even number N, the B-mesh takes $N/2+1$ points in the interval $[ 0,\sigma ]$ and also $N/2+1$ points in the interval $[ \sigma,T ]$, where the transition point σ, which separates the fine and coarse portions of the mesh, is obtained by taking

$$ \sigma =\min \biggl\{ \frac{T}{2},\alpha^{-1}\varepsilon \vert \ln \varepsilon \vert \biggr\} . $$

(14)

In practice one usually has $\sigma \ll T$, so the mesh is fine on $[ 0,\sigma ]$ and coarse on $[ \sigma,T ]$. We shall consider a mesh $\omega_{N}$ which is equidistant in $[ \sigma,T ]$ but graded in $[ 0,\sigma ]$ by a logarithmic mesh generating function. The corresponding mesh points are

$$\begin{aligned} &t_{i}\in {}[ 0,\sigma ]:t_{i}= \textstyle\begin{cases} -\alpha^{-1}\varepsilon \ln [1-(1-\varepsilon )\frac{2i}{N}], &\mbox{if } \sigma < T/2, \\ -\alpha^{-1}\varepsilon \ln [1-(1-\exp (-\frac{\alpha T}{2\varepsilon}))\frac{2i}{N}], & \mbox{if } \sigma =T/2, i=0,\ldots,N/2, \end{cases}\displaystyle \end{aligned}$$

(15)

$$\begin{aligned} &t_{i}\in {}[ \sigma,T]:t_{i}=\sigma +(i-N/2)h,\quad i=N/2+1,\ldots,N, h=2(T-\sigma )/N. \end{aligned}$$

(16)

In the rest of the paper we only consider B-mesh defined by (14)–(16).

3 Uniform convergence and error estimates

To investigate the convergence of the method, note that the error functions $z_{i}^{N}=u_{i}^{N}-u_{i}$, $0\leq i\leq N$, $\mu^{N}= \lambda^{N}-\lambda$ are the solution of the discrete problem

$$\begin{aligned} & \varepsilon z_{\bar{t},i}^{N}+f\bigl(t_{i},u_{i}^{N}, \lambda^{N}\bigr)-f(t _{i},u_{i},\lambda )=R_{i}, \quad 1\leq i\leq N, \end{aligned}$$

(17)

$$\begin{aligned} & z_{0}^{N}+\sum_{i=1}^{N}h_{i}c_{i}z_{i}^{N}-r=0, \end{aligned}$$

(18)

$$\begin{aligned} & z_{N}^{N}=0, \end{aligned}$$

(19)

where the truncation errors $R_{i}$ and r are given by (8) and (9), respectively.

Before estimating errors of the approximate solution, we need the known equalities for the first order difference equation, namely, the solution of

$$ y_{i}=q_{i}y_{i-1}+\varphi_{i },\quad 1\leq i\leq N $$

can be expressed in the following forms:

$$ y_{i}=y_{0}Q_{i}+\sum _{k=1}^{i}\varphi_{k}Q_{i-k} $$

(20)

or

$$ \mathit{ }y_{i}=y_{N}Q_{N-i}^{-1}-\sum _{k=i+1}^{N}\varphi_{k}Q_{k-i} ^{-1}, $$

(21)

where

$$ Q_{i-k}= \textstyle\begin{cases} 1, & k=i, \\ {\prod_{\ell =k+1}^{i}q_{\ell }}, & 1\leq k\leq i-1. \end{cases} $$

Relations (20) and (21) can be easily verified by induction in i.

Lemma 3.1

For the solution of (17)–(19), the following estimates hold:

$$\begin{aligned} & \bigl\vert \mu^{N}\bigr\vert \leq C\vert r\vert , \end{aligned}$$

(22)

$$\begin{aligned} & \bigl\vert z_{0}^{N}\bigr\vert \leq \vert r\vert + \Vert c\Vert _{\infty }TB_{N} \bigl( \bigl\vert \mu^{N}\bigr\vert M _{1}+\Vert R\Vert _{\infty } \bigr), \end{aligned}$$

(23)

$$\begin{aligned} & \bigl\vert z_{i}^{N}\bigr\vert \leq \bigl\vert z_{0}^{N}\bigr\vert + \alpha^{-1} \bigl(M_{1}\bigl\vert \mu^{N}\bigr\vert +\Vert R\Vert _{\infty }\bigr), \quad 1\leq i\leq N-1, \end{aligned}$$

(24)

where

$$\begin{aligned} & {B_{N}} {=\sum_{\ell =1}^{N} \frac{h_{\ell }}{\varepsilon +a_{\ell }h _{\ell }}Q_{N-\ell },} \\ & Q_{N-\ell } = \textstyle\begin{cases} 1, & \textit{for }\ell =N, \\ \prod_{s={\ell }+1}^{N}\frac{\varepsilon }{\varepsilon +a_{s}h_{s}}, & \textit{for } 1\leq \ell \leq N-1. \end{cases}\displaystyle \end{aligned}$$

Proof

Equation (17) can be rewritten as

$$ \varepsilon z_{\bar{t},i}^{N}+a_{i}z_{i}^{N}=b_{i} \mu^{N}+R_{i}, \quad 1\leq i\leq N-1, $$

(25)

with

$$\begin{aligned} & a_{i}=\frac{\partial f}{\partial u} \bigl( t_{i},u_{i}+ \gamma z_{i} ^{N},\lambda +\gamma \mu^{N} \bigr) , \\ & b_{i}=-\frac{\partial f}{\partial \lambda } \bigl( t_{i},u_{i}+ \gamma z_{i}^{N},\lambda +\gamma \mu^{N} \bigr), \quad 0< \gamma < 1. \end{aligned}$$

From (25) we have

$$ z_{i}^{N}=\frac{\varepsilon }{\varepsilon +a_{i}h_{i}}z_{i-1}^{N}+ \mu ^{N}\frac{h_{i}b_{i}}{\varepsilon +a_{i}h_{i}}+\frac{h_{i}R_{i}}{ \varepsilon +a_{i}h_{i}}. $$

Solving the first-order difference equation with respect to $z_{i}^{N}$ by using (21) and setting the boundary condition (19), we get

$$ z_{i}^{N}=-\mu^{N}\sum _{k=i+1}^{N}\frac{h_{k}b_{k}}{\varepsilon +a _{k}h_{k}}Q_{k-i}^{-1}- \sum_{k=i+1}^{N}\frac{h_{k}R_{k}}{\varepsilon +a_{k}h_{k}}Q_{k-i}^{-1}. $$

(26)

Taking into consideration in (26) the integral boundary condition (18), we have

$$\begin{aligned} \mu^{N} &=\frac{r}{\sum_{k=1}^{N}\frac{h_{k}b_{k}}{\varepsilon +a_{k}h _{k}}Q_{k}^{-1}+\sum_{k=1}^{N}h_{k}c_{k}\sum_{s=k+1}^{N}\frac{h_{s}b _{s}}{\varepsilon +a_{s}h_{s}}Q_{s-k}^{-1}} \\ &\quad {}+\frac{\sum_{k=1}^{N}\frac{h_{k}R_{k}}{\varepsilon +a_{k}h_{k}}Q _{k}^{-1}+\sum_{k=1}^{N}h_{k}c_{k}\sum_{s=k+1}^{N}\frac{h_{s}R_{s}}{ \varepsilon +a_{s}h_{s}}Q_{s-k}^{-1}}{\sum_{k=1}^{N}\frac{h_{k}b_{k}}{ \varepsilon +a_{k}h_{k}}Q_{k}^{-1}+\sum_{k=1}^{N}h_{k}c_{k}\sum_{s=k+1} ^{N}\frac{h_{s}b_{s}}{\varepsilon +a_{s}h_{s}}Q_{s-k}^{-1}}. \end{aligned}$$

(27)

Now, we estimate separately the terms on the right-hand side of equality (27). For the first term, we have

$$\begin{aligned} & \biggl\vert \frac{r}{\sum_{k=1}^{N}\frac{h_{k}b_{k}}{\varepsilon +a _{k}h_{k}}Q_{k}^{-1}+\sum_{k=1}^{N}h_{k}c_{k}\sum_{s=k+1}^{N}\frac{h _{s}b_{s}}{\varepsilon +a_{s}h_{s}}Q_{s-k}^{-1}}\biggr\vert \\ &\quad \leq \frac{\vert r\vert }{m_{1}\sum_{k=1}^{N}\frac{h _{k}}{\varepsilon +a_{k}h_{k}}Q_{k}^{-1}}\leq \frac{a^{\ast }\vert r\vert }{m _{1}\rho_{\ast }\sum_{k=1}^{N}(1+\rho_{\ast })^{k-1}}=\frac{a^{\ast } \vert r\vert }{m_{1} [ (1+\rho_{\ast })^{N}-1 ] }, \end{aligned}$$

here $\rho_{k}=a_{k}h_{k}/\varepsilon$ and $\rho_{\ast }=\min \rho _{k}$. Therefore, it is not hard to see that

$$ \biggl\vert \frac{r}{\sum_{k=1}^{N}\frac{h_{k}b_{k}}{\varepsilon +a _{k}h_{k}}Q_{k}^{-1}+\sum_{k=1}^{N}h_{k}c_{k}\sum_{s=k+1}^{N}\frac{h _{s}b_{s}}{\varepsilon +a_{s}h_{s}}Q_{s-k}^{-1}}\biggr\vert \leq C \vert r\vert . $$

(28)

Next, evidently

$$ \biggl\vert \frac{\sum_{k=1}^{N}\frac{h_{k}R_{k}}{\varepsilon +a_{k}h _{k}}Q_{k}^{-1}+\sum_{k=1}^{N}h_{k}c_{k}\sum_{s=k+1}^{N}\frac{h_{s}R _{s}}{\varepsilon +a_{s}h_{s}}Q_{s-k}^{-1}}{\sum_{k=1}^{N}\frac{h_{k}b _{k}}{\varepsilon +a_{k}h_{k}}Q_{k}^{-1}+\sum_{k=1}^{N}h_{k}c_{k} \sum_{s=k+1}^{N}\frac{h_{s}b_{s}}{\varepsilon +a_{s}h_{s}}Q_{s-k}^{-1}}\biggr\vert \leq m_{1}^{-1} \Vert R\Vert _{\infty }. $$

(29)

After taking into consideration (28) and (29) in (27), we arrive at (22). Now, we need to estimate $z_{0}$. From (26), by using (20) we have

$$ z_{i}^{N}=z_{0}^{N}Q_{i}+ \mu^{N}\sum_{k=1}^{i} \frac{h_{k}b_{k}}{ \varepsilon +a_{k}h_{k}}Q_{i-k}+\sum_{k=1}^{i} \frac{h_{k}R_{k}}{ \varepsilon +a_{k}h_{k}}Q_{i-k}. $$

From here, by virtue of (18) it follows that

$$ z_{0}^{N}=\frac{r-\sum_{k=1}^{N}h_{k}c_{k} ( \mu^{N}\sum_{\ell =1} ^{k}\frac{h_{\ell }b_{\ell }}{\varepsilon +a_{\ell }h_{\ell }}Q_{k- \ell }+\sum_{\ell =1}^{k}\frac{h_{\ell }R_{\ell }}{\varepsilon +a_{ \ell }h_{k}}Q_{k-\ell } ) }{1+\sum_{k=1}^{N}h_{k}c_{k}Q_{k}}. $$

Thereby

$$\begin{aligned} & \bigl\vert z_{0}^{N}\bigr\vert \leq \vert r\vert +\Vert c\Vert _{\infty }T \Biggl\{ \bigl\vert \mu^{N}\bigr\vert \sum_{\ell =1}^{N}\frac{h _{\ell }\vert b_{\ell }\vert }{\varepsilon +a_{\ell }h_{k}}Q _{N-\ell }+\sum_{\ell =1}^{N} \frac{h_{\ell }\vert R_{\ell }\vert }{ \varepsilon +a_{\ell }h_{k}}Q_{k-\ell } \Biggr\} \\ & \leq \vert r\vert +\Vert c\Vert _{\infty }T \bigl\{ M_{1}\bigl\vert \mu^{N}\bigr\vert +\Vert R\Vert _{\infty } \bigr\} \sum_{\ell =1}^{N} \frac{h_{\ell }}{\varepsilon +a _{\ell }h_{\ell }}Q_{N-\ell }, \end{aligned}$$

which implies validity of (23).

Finally, applying the maximum principle for the difference operator $L^{N}z_{i}^{N}:=\varepsilon z_{\bar{t},i}^{N}+a_{i}z_{i}^{N}$, $1\leq i\leq N$, to Eq. (25) immediately leads to (24). □

Lemma 3.2

The error functions R and r satisfy

$$\begin{aligned} & \Vert R\Vert _{\infty,\omega_{N}}\leq CN^{-1}, \end{aligned}$$

(30)

$$\begin{aligned} & \vert r\vert \leq CN^{-1}. \end{aligned}$$

(31)

Proof

We first give proof for (30). From explicit expression (8) for $R_{i}$, on an arbitrary mesh we have

$$\begin{aligned} \vert R_{i}\vert & \leq h_{i}^{-1} \int_{t_{i-1}}^{t_{i}} ( t-t_{i-1} ) \biggl\vert \frac{\partial f}{\partial t} \bigl( t,u(t),\lambda \bigr) +\frac{\partial f}{\partial u} \bigl( t,u(t), \lambda \bigr) u^{\prime }(t)\biggr\vert \,dt \\ & \leq Ch_{i}^{-1} \int_{t_{i-1}}^{t_{i}} ( t-t_{i-1} ) \bigl( 1+\bigl\vert u^{\prime }(t)\bigr\vert \bigr)\,dt, \quad 1\leq i\leq N. \end{aligned}$$

This inequality together with (6) enables us to write

$$ \vert R_{i}\vert \,\leq C \biggl\{ h_{i}^{-1}+h_{i}^{-1} \varepsilon^{-1} \int_{t_{i-1}}^{t_{i}} ( t-t_{i-1} ) e^{- \alpha t/\varepsilon }\,dt \biggr\} , \quad 1\leq i\leq N. $$

(32)

$R_{i}$ is estimated on $[0,\sigma ]$ and $[\sigma,T]$ separately. We consider first the case $\alpha ^{-1}\varepsilon \vert \ln \varepsilon \vert < T/2$, and so $\sigma =\alpha^{-1}\varepsilon \vert \ln \varepsilon \vert$. In $[\sigma,T]$, which is outside the layer $\vert u^{\prime }(t) \vert \leq C$ (or $\varepsilon^{-1}e^{-\alpha x/\varepsilon }\leq 1$) by (6) and $h_{i}=h$. Hereby, from (32) we get

$$ \vert R_{i} \vert \leq 2C(T-\sigma )N^{-1}, \quad i=N/2+1, \ldots,N. $$

(33)

On the other hand, in the layer region $[0,\sigma ]$, by (6), inequality (32) becomes

$$ \vert R_{i} \vert \leq C \bigl\{ h_{i}+ \alpha^{-1} \bigl( e^{-\frac{\alpha t_{i-1}}{ \varepsilon }}+e^{-\frac{\alpha t_{i}}{\varepsilon }} \bigr) \bigr\} ,\quad i=1,\ldots,N/2. $$

(34)

Since

$$\begin{aligned} h_{i} & =t_{i}-t_{i-1}=\alpha^{-1} \varepsilon \biggl\{ -\ln \biggl[ 1-(1- \varepsilon )\frac{2i}{N} \biggr] + \ln \biggl[ 1-(1-\varepsilon ) \frac{2(i-1)}{N} \biggr] \biggr\} \\ & \leq 2\alpha^{-1}(1-\varepsilon )N^{-1} \end{aligned}$$

and

$$ e^{-\frac{\alpha t_{i-1}}{\varepsilon }}+e^{-\frac{\alpha t_{i}}{ \varepsilon }}=2(1-\varepsilon )N^{-1}, $$

it then follows from (34) that

$$ \vert R_{i} \vert \leq 4\alpha^{-1}CN^{-1},\quad i=1,\ldots,N/2. $$

(35)

Now consider the case $\sigma =T/2$ and so $\sigma =\alpha^{-1}\varepsilon \vert \ln \varepsilon \vert$. Therefore, for $t_{i}\in {}[ 0,\sigma ]$ with (15), we deal as in the case of the mesh region above. For $t_{i}\in (\sigma,T]$, since $h=2(T-\sigma )/N=T/N$,

$$ \max_{N/2< i\leq N} \int_{t_{i-1}}^{t_{i}}\frac{1}{\varepsilon }e^{-\frac{ \alpha t}{\varepsilon }}\,dt \leq h\frac{1}{\varepsilon }e^{-\frac{ \alpha T}{2\varepsilon }}\leq \frac{2e^{-1}}{\alpha T}h=2e^{-1} \alpha ^{-1}CN^{-1}, $$

it follows from (32) that

$$ \vert R_{i} \vert \leq C\biggl(T+\frac{2}{e\alpha } \biggr)N^{-1}, \quad i=N/2+1,\ldots,N, $$

(36)

and this together with (36) gives the bound

$$ \vert {R_{i}}\vert \leq CN^{-1}. $$

Inequalities (33), (35), and (36) finish the proof of (30).

Finally, we estimate the remainder term r. From the explicit expression (9) we obtain

$$ \vert r\vert \leq \sum_{i=1}^{N} \int_{t_{i-1}}^{t_{i}}c(t)\vert t-t_{i-1} \vert \bigl\vert u^{\prime }(t) \bigr\vert \,dt, \quad 1\leq i\leq N. $$

This inequality together with (6) reduces to

$$ \vert r\vert \leq \Vert c\Vert _{\infty }C\sum _{i=1}^{N}h_{i} \int_{t_{i-1}}^{t_{i}} \biggl( 1+\frac{1}{\varepsilon }e ^{-\frac{\alpha t}{\varepsilon }} \biggr)\,dt, \quad 1\leq i\leq N. $$

(37)

From (37), the validity of (31) follows:

$$\begin{aligned} \vert r\vert & \leq C\sum_{i=1}^{N/2}h_{i} \int_{t_{i-1}} ^{t_{i}} \biggl( 1+\frac{1}{\varepsilon }e^{-\frac{\alpha t}{\varepsilon}} \biggr)\,dt+C\sum_{i=N/2+1}^{N}h \int_{t_{i-1}}^{t_{i}} \biggl( 1+\frac{1}{ \varepsilon }e^{-\frac{\alpha t}{\varepsilon }} \biggr)\,dt \\ & \leq C \Biggl\{ N^{-1}+\sum_{i=1}^{N/2}h_{i} \int_{t_{i-1}}^{t_{i}} \biggl( 1+\frac{1}{\varepsilon }e^{-\frac{\alpha t}{\varepsilon }} \biggr)\,dt \Biggr\} \\ & \leq C \Biggl\{ N^{-1}+\alpha^{-1}\sum _{i=1}^{N/2}h_{i} \bigl( e^{-\frac{ \alpha t_{i-1}}{\varepsilon }}+e^{-\frac{\alpha t_{i}}{\varepsilon }} \bigr) \Biggr\} \\ & \leq C\, \Biggl( N^{-1}+\sum_{i=1}^{N/2}h_{i} \Biggr) \leq CN^{-1}. \end{aligned}$$

 □

Theorem 3.1

Let $\{ u(t),\lambda \}$ and $\{ u_{i}^{N},\lambda^{N} \}$ be the exact solution and the discrete solution on $\bar{\omega }_{N}$, respectively. Then the following estimates hold:

$$\begin{aligned} &\bigl\vert \lambda -\lambda^{N}\bigr\vert \leq CN^{-1}, \\ &\bigl\Vert u-u^{N}\bigr\Vert _{\infty,\varpi_{N}}\leq CN^{-1}\,. \end{aligned}$$

Proof

This follows immediately by combining the previous lemmas. □

4 Algorithm and numerical results

The results of the numerical experiment are presented in this section, which confirms the theoretical bounds established in the previous section.

(a) We solve the nonlinear problem (11)–(13) using the following quasilinearization technique:

$$\begin{aligned} & \lambda^{(n)}=\lambda^{(n-1)}-\frac{ ( B-u_{N-1}^{(n-1)} ) \rho_{N}^{-1}+f ( T,B,\lambda^{(n-1)} ) }{\partial f/\partial \lambda ( T,B,\lambda^{(n-1)} ) }, \\ & u_{0}^{(n)}=A-c_{N}h_{N}B-\sum _{i=1}^{N-1}h_{i}b_{i}u_{i}^{(n-1)}, \\ & u_{i}^{(n)}=u_{i}^{(n-1)}- \frac{ ( u_{i}^{(n-1)}-u_{i-1}^{(n)} ) \rho_{i}^{-1}+f ( t_{i},u_{i} ^{(n-1)},\lambda^{(n)} ) }{\partial f/\partial u ( t_{i},u _{i}^{(n-1)},\lambda^{(n)} ) +\rho_{i}^{-1}},\quad n=1,2,\ldots\,, \end{aligned}$$

where $\rho_{i}=h_{i}/\varepsilon ; \lambda^{(0)}$ and $u_{i}^{(0)}$ ($1\leq i\leq N-1$) are the initial iterations given.

(b) Consider the test problem:

$$\begin{aligned} & \varepsilon u^{\prime }+2u-e^{-u}+t^{2}+\lambda +\tanh (\lambda +t)=0, \quad 0< t< 1, \\ & u(0)+\frac{1}{4} \int_{0}^{1}e^{-s}u(s)\,ds=1, \\ & u(1)=0. \end{aligned}$$

The exact solution of our test problem is not available. Therefore we use the double mesh principle to estimate the errors and to compute the experimental rates of convergence. The error estimates obtained in this way are denoted by

$$ e_{u}^{\varepsilon,N}=\max_{\omega_{N}}\bigl\vert {u^{\varepsilon,N}-u ^{\varepsilon,2N}}\bigr\vert , e_{\lambda }^{\varepsilon,N}= \, \bigl\vert \lambda^{\varepsilon,N}-\lambda^{\varepsilon,\,2N}\bigr\vert . $$

The corresponding rates of convergence are calculated by

$$ p_{u}^{\varepsilon,N}=\ln \bigl(e_{u}^{\varepsilon,N}/e_{u}^{\varepsilon ,\,2N} \bigr)/\ln 2 $$

for u, and

$$ p_{\lambda }^{\varepsilon,N}=\ln \bigl(e_{\lambda }^{\varepsilon,N}/e _{\lambda }^{\varepsilon,\,2N}\bigr)/\ln 2 $$

for λ.

In the computations in this section we take $\alpha =2$. The initial guess in the iteration process is taken as $u_{i}^{(0)}=1-t_{i}^{2}$, $\lambda^{(0)}=-0.4$ and the stopping criterion is

$$ \max_{i}\bigl\vert {u_{i}^{ ( n ) }-u_{i}^{ ({n-1} ) }} \bigr\vert \leq 10^{-5},\qquad\bigl\vert {\lambda^{(n)}- \lambda^{(n-1)}}\bigr\vert \leq 10^{-5}. $$

The values of ε and N, for which we solve the test problem, are $\varepsilon =2^{-i}$, $i=0,4,8,12,16$; $N=64,128,256,512,1024$. From Tables 1 and 2 we observe that ε-uniform experimental rates of convergence monotonically increase towards one, which is in agreement with the theoretical rate given by Theorem 3.1.

Table 1 Errors $e_{u}^{ \varepsilon,N}$ computed ε-uniform errors $e_{u}^{N}$ and convergence rates $p_{u}^{ \varepsilon,N}$ on $\omega_{N}$

Table 2 Errors $e_{ \lambda }^{ \varepsilon,N}$ computed ε-uniform errors $e_{ \lambda }^{N}$ and convergence rates $p_{ \lambda }^{ \varepsilon,N}$ on $\omega_{N}$

5 Conclusion

We have considered the numerical approximations of a class of quasilinear singularly perturbed first order parameterized differential problems with integral boundary conditions, which serves as the model for many scientific applications. For the numerical solution of this problem, we proposed a uniform convergent finite difference scheme on the graded Bakhvalov mesh. The ideas presented here can be easily applied for solving more complicated initial value problems for parameterized singularly perturbed equations with integral boundary conditions, and the technique presented in the paper can also be applied to high-dimensional systems.