Next Article in Journal
Advancing Fixed Point Theory in Elliptic-Valued Suprametric Spaces
Next Article in Special Issue
Global Solvability of a Fifth-Order KdV Equation Posed on Finite Interval [0, d]
Previous Article in Journal
A Method of Lines Scheme with Third-Order Finite Differences for Burgers–Huxley Equation
Previous Article in Special Issue
Constructive Approximation of Nonlinear Operators Based on Piecewise Interpolation Technique
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Higher-Order Uniformly Convergent Numerical Method for a Singularly Perturbed Nonlinear Reaction–Diffusion Equation

by
Fasika Wondimu Gelu
1 and
Mohammed Ahmed Alomair
2,*
1
Department of Mathematics, College of Natural and Computational Sciences, Dilla University, Dilla 419, Ethiopia
2
Department of Quantitative Methods, School of Business, King Faisal University, Al-Ahsa 31982, Saudi Arabia
*
Author to whom correspondence should be addressed.
Axioms 2026, 15(3), 159; https://doi.org/10.3390/axioms15030159
Submission received: 31 December 2025 / Revised: 12 February 2026 / Accepted: 21 February 2026 / Published: 25 February 2026

Abstract

This study presents a higher-order uniformly convergent numerical method for a singularly perturbed nonlinear reaction–diffusion equation. The quasilinearization technique is used to transform a nonlinear term into a linear boundary value problem. The equivalent singularly perturbed reaction–diffusion differential equation is discretized using a central finite-difference method on the Shishkin and Bakhvalov meshes. The stability and parameter-uniform convergence are rigorously analyzed and established. Theoretically, the proposed method is of second order. The application of Richardson extrapolation demonstrates that the Bakhvalov mesh achieves a pure C M 4 rate, whereas the Shishkin mesh attains an ε -uniform convergence rate of C M 4 ln 4 M . Three numerical examples have been solved to corroborate the theoretical findings.

1. Introduction

Nonlinear differential equations appear in chemical kinetics, where chemical reactions are characterized by reaction–diffusion equations. The mathematical model for these kinds of problems includes a perturbation parameter, which is a small coefficient multiplied by the differential equation’s highest derivative. The behavior of solutions to these differential equations is determined by the magnitude of the perturbation parameter. A singularly perturbed differential equation is one in which the highest-order derivative is multiplied by a small positive parameter, ε ( 0 < ε 1 ) , along with the prescribed conditions. The parameter is referred to as the perturbation parameter. Scholars have developed different classical numerical methods for solving the singularly perturbed linear reaction–diffusion differential equation, which can be found in [1,2,3,4,5,6,7]. These classical numerical methods do not offer stable solutions when the perturbation parameter ε approaches zero. It is of interest for numerical analysts to formulate stable, consistent, and uniformly convergent numerical methods for solving singularly perturbed linear and nonlinear differential equations. Some authors proposed uniformly convergent numerical methods such as the Hermitian approximation method in [8], the fourth-order finite-difference method of the Hermite scheme in [9], the polynomial-based three-point difference scheme in [10], different types of H-schemes in [11], collocation with classical quadratic splines in [12], the spline collocation method in [13], the classical three-point finite-difference scheme in [14], and the central finite-difference scheme in [15]. Some of the existing methods are second-order. We develop a higher-order uniformly convergent numerical method for the singularly perturbed nonlinear reaction–diffusion equation of the form
ε 2 u ( x ) + b ( x , u ) = 0 , x D = ( 0 , 1 ) , u ( 0 ) = α , u ( 1 ) = β .
The nonlinear function b u ( x , u ) is the partial derivative with respect to u and a sufficiently smooth function such that
b u ( x , u ) γ > 0 , x D , u R , γ = positive constant .
The standard stability condition in Equation (2) indicates that the reduced problem b ( x , u 0 ) = 0 and Equation (1) both have unique solutions u and u 0 , respectively, which are both in C ( 2 ) ( D ¯ ) . Then, Equation (1) has a unique solution u ( x ) having boundary layers near x = 0 and x = 1 .
The nonlinear term b ( x , u ) introduces unique stability challenges due to its interaction with the boundary layer, which can lead to complex behaviors and instabilities. Quasilinearization is a necessary strategy to resolve these challenges by linearizing the nonlinear term, which helps to maintain stability.
This study employs a second-order method for Equation (1) using the Shishkin and Bakhvalov meshes. The Bakhvalov mesh has received less attention than the Shishkin mesh, despite providing a more accurate numerical solution [16,17]. Because of its graded structure and smooth transition points, the Bakhvalov mesh outperforms the Shishkin mesh in numerical performance for solving singularly perturbed problems. In contrast to the Shishkin mesh, which has explicitly defined transition points, the Bakhvalov mesh condenses more mesh points at the boundary layer region and yields a more accurate and stable numerical solution. Many scholars and practitioners in the field of numerical analysis and computational methods choose the Bakhvalov mesh due to its smoothness. This motivates us to use the Bakhvalov mesh.
To boost the accuracy and rate of convergence, a Richardson extrapolation technique is used. Richardson extrapolation is a numerical analysis technique used to improve the accuracy of numerical computations by accelerating the rate of convergence of the iterative methods. This technique can greatly improve computational efficiency without affecting accuracy, making it a highly valued tool for practical computations. The use of the extrapolation technique gives smaller maximum errors and a higher order of convergence [18].
The paper is organized into the following sections: Section 2 discusses the continuous problem and its analytical characteristics. The discretization of the continuous problem is provided in Section 3. Section 4 establishes a discrete solution analysis. Section 5 discusses numerical examples and findings, while Section 6 provides the conclusions.
Throughout the paper, C denotes a generic positive constant independent of the perturbation parameter ε and mesh size. The norm . D ¯ denotes the maximum norm given by u D ¯ = max x D ¯ | u ( x ) | .

2. The Continuous Solution

In this section, we first apply the linearization technique, and then the properties of the continuous solution are analyzed. In order to obtain an approximate solution of Equation (1), we apply a quasilinearization technique for the nonlinear term b ( x , u ) . Defining u ( k + 1 ) ( x ) , for each fixed non-negative integer k, to be the solution of the equivalent linear problem, Taylor series expansion is used to expand the nonlinear term b ( x , u ) around some chosen initial guess, and we obtain
b x , u ( k + 1 ) ( x ) b x , u ( k ) ( x ) + u ( k + 1 ) ( x ) u ( k ) ( x ) b u x , u ( k ) ( x ) ,
where k = 0 , 1 , 2 , , is the iteration index. Substituting Equation (3) into Equation (1), we obtain
P ε u ( k + 1 ) ( x ) ε 2 u ( k + 1 ) ( x ) + a ( k ) ( x ) u ( k + 1 ) ( x ) = f ( k ) ( x ) , u ( k ) ( 0 ) = α , u ( k ) ( 1 ) = β ,
where a ( k ) ( x ) = b u x , u ( k ) ( x ) γ > 0 , f ( k ) ( x ) = b u x , u ( k ) ( x ) u ( k ) ( x ) b x , u ( k ) ( x ) . The differential equation in Equation (4) is linear in u ( k + 1 ) ( x ) . If the initial guess u ( 0 ) ( x ) is sufficiently close to the solution u ( x ) , then the sequence { u ( k ) ( x ) } k = 0 converges to u ( x ) [19]. Numerically, we require
| u ( k + 1 ) ( x ) u ( k ) ( x ) | κ ,
where κ is the prescribed tolerance. If the required tolerance is reached, the iteration is stopped and u ( k + 1 ) ( x ) is the numerical solution to the semilinear boundary value problem. For the sake of continuous problem properties, we rewrite Equation (4) as
P ε u ( x ) ε 2 u ( x ) + a ( x ) u ( x ) = f ( x ) , u ( 0 ) = α , u ( 1 ) = β ,
where u ( x ) = u ( k + 1 ) ( x ) , a ( x ) = a ( k ) ( x ) , f ( x ) = f ( k ) ( x ) , u ( 0 ) = u ( k ) ( 0 ) , u ( 1 ) = u ( k ) ( 1 ) and a , f C ( 4 ) [ 0 , 1 ] . The differential operator P ε satisfies the following maximum principle.
Lemma 1.
Let Ψ ( x ) be a smooth function such that Ψ ( 0 ) 0 , Ψ ( 1 ) 0 . If P ε Ψ ( x ) 0 , x D , then Ψ ( x ) 0 , x D ¯ .
Proof. 
Let x be such that Ψ ( x ) = min D ¯ Ψ ( x ) and suppose that Ψ ( x ) < 0 . Clearly x { 0 , 1 } . It follows that Ψ ( x ) = 0 and Ψ ( x ) > 0 . Consequently,
P ε Ψ ( x ) = ε 2 Ψ ( x ) + a ( x ) Ψ ( x ) < 0 ,
which contradicts the assumption. Hence, it follows that Ψ ( x ) 0 and Ψ ( x ) 0 , x D ¯ . The maximum principle implies that the analytical solution exists and is unique. □
Lemma 2.
Let u ( x ) be a solution of Equation (5); then, the following bound holds:
u max { | α | , | β | } + f γ .
Proof. 
To prove this lemma, we define two barrier functions ζ ± as follows:
ζ ± ( x ) = max { | α | , | β | } + f γ ± u ( x ) .
At x = 0 , we have
ζ ± ( 0 ) = max { | α | , | β | } + f γ ± u ( 0 ) = max { | α | , | β | } + f γ ± α 0 ,
and at x = 1 , we have
ζ ± ( 1 ) = max { | α | , | β | } + f γ ± u ( 1 ) = max { | α | , | β | } + f γ ± β 0 ,
and now, on the domain
P ε ζ ± ( x ) = ε 2 ( ζ ± ( x ) ) + a ( x ) ζ ± ( x ) = a ( x ) max { | α | , | β | } + f γ ± P ε u ( x ) = a ( x ) max { | α | , | β | } + f γ ± f ( x ) f ± f ( x ) + a ( x ) max { | α | , | β | } 0 .
Therefore, by the maximum principle, it follows that ζ ± ( x ) 0 , x [ 0 , 1 ] , which gives the required estimate. □
The next lemma states the classical bound on the solution and its derivatives.
Lemma 3
([15]). Let u ( x ) be the solution to Equation (5). For 0 i 4 , the following bounds hold:
| u ( i ) ( x ) | C 1 + ε i e x γ ε + e ( 1 x ) γ ε ,
with C denoting a generic positive constant independent of ε.
The classical bound on the derivatives of the solution given above is insufficient for proving the uniform convergence. In the discrete error analysis, it is convenient to decompose the solution u into a regular component v and a singular component w as u ( x ) = v ( x ) + w ( x ) , where the regular component v ( x ) satisfies
P ε v ( x ) = f ( x ) , x D , v ( 0 ) = v 0 ( 0 ) , v ( 1 ) = v 0 ( 1 ) ,
and the singular component w ( x ) satisfies the following homogeneous problem:
P ε w ( x ) = 0 , x D , w ( 0 ) = v 0 ( 0 ) , w ( 1 ) = v 0 ( 1 ) .
Bounds on these components and their derivatives are provided below.
Lemma 4
([16]). The derivative bounds of the regular component v ( x ) satisfies
| v ( i ) ( x ) | C ,
and the singular component w ( x ) satisfies
| w ( i ) ( x ) | C ε i e x γ ε + e ( 1 x ) γ ε , i = 0 , 1 , , 6 .

3. Discretization of the Continuous Problem

This section gives the details of the discretization of the problem using layer-adapted fitted piecewise and graded meshes. The motivation for using the Shishkin mesh and Bakhvalov mesh is that the Shishkin mesh fails to achieve optimal convergence rates, whereas the Bakhvalov mesh has motivated many scholars due to its ability to achieve optimal convergence results. We divide the domain interval D = [ 0 , 1 ] into three subintervals in the form D = D l D 0 D r where D l = [ 0 , τ ) and D r = ( 1 τ , 1 ] are the two layer regions and D 0 = [ τ , 1 τ ] is the outer region.
A piecewise mesh: The transition parameter τ for a piecewise mesh of Shishkin is given by
τ = min 1 4 , 2 ε γ ln M ,
where the mesh point M is a positive integer divisible by 4. The uniform M 2 mesh points are placed on the subinterval [ τ , 1 τ ] . The non-uniform M 4 mesh points are placed on the subintervals [ 0 , τ ] and [ 1 τ , 1 ] . The Shishkin mesh points are given by
x m = m h , 0 m M 4 , τ + m M 4 H , M 4 + 1 m 3 M 4 , ( 1 τ ) + ( m 3 M 4 ) h , 3 M 4 + 1 m M ,
where the mesh length on the outer region [ τ , 1 τ ] is given by H = 2 ( 1 2 τ ) M and the mesh length on the boundary layer regions [ 0 , τ ] and [ 1 τ , 1 ] is denoted by h = 4 τ M .
A graded mesh: A mesh transition parameter τ for a graded mesh of Bakhvalov is given by [20]
τ = min 1 4 , 2 ε γ ln 1 ε .
The Bakhvalov mesh points are given by
x m = 2 ε γ φ ( t m ) , 0 m M 4 , τ + 2 ( 1 2 τ ) t m 1 4 , M 4 m 3 M 4 , 1 2 ε γ φ ( 1 t m ) , 3 M 4 m M ,
where φ is a monotonically increasing function, which is piecewise continuously differentiable with φ ( 0 ) = 0 , φ ( 1 4 ) = ln 1 ε . The Bakhvalov mesh generating function is given by φ ( t m ) = ln 1 4 1 ε t m and t m = m M . The local mesh is given by h m = x m + 1 x m , for m = 1 , , M . The mesh diameter is also given by h ^ m = h m + 1 + h m . For m = 1 , , M , let h m a x = max m h m . The maximum mesh width h m a x can be given by h m a x = h m = h m + 1 C M 1 , for m = 1 , , M . We use τ 2 γ ε ln 1 ε for the error analysis in Bakhvalov mesh [20,21]. Now, the problem in Equation (5) is discretized via the central finite-difference method as follows:
2 ε 2 h m + h m + 1 U m + 1 U m h m + 1 U m U m 1 h m + a m U m = f m ,
where U m is the numerical solution for the continuous solution u ( x ) . From Equation (8), we have the following scheme:
r m U m 1 + r m c U m + r m + U m + 1 = f m , m = 1 , , M 1 ,
with the discrete conditions
U 0 = α , U M = β ,
where the coefficients are given by
r m = 2 ε 2 h m ( h m + h m + 1 ) , r m c = 2 ε 2 h m h m + 1 + a m , r m + = 2 ε 2 h m + 1 ( h m + h m + 1 ) .
The Thomas algorithm is employed to solve Equations (9) and (10).

4. Discrete Solution Analysis

In this section, we first show the stability analysis and then convergence analysis.

4.1. Stability Analysis

In this subsection, we give the details of the stability analysis.
Lemma 5.
For sufficiently large M , we have
r m < 0 , r m + < 0 , r m c > 0 , and | r m c | | r m | | r m + | > 0 .
Proof. 
First, we examine the M-matrix properties. From the associated matrix of the discretized problem in Equation (8), it is clearly seen that r m < 0 , r m c > 0 and r m + < 0 . We prove for r m < 0 that
r m = 2 ε 2 h m ( h m + h m + 1 ) < 0 ,
and in a similar fashion, it can be proved that r m + < 0 . Since a m γ > 0 , we have
| r m c | | r m | | r m + | = 2 ε 2 h m h m + 1 + a m 2 ε 2 h m ( h m + h m + 1 ) 2 ε 2 h m + 1 ( h m + h m + 1 ) = a m γ > 0 ,
from which
| r m c | | r m | | r m + | > 0 ,
implying that the coefficient matrix in Equation (8) leads to the M-matrix. This shows that the discrete problem is stable. Hence, it fulfils the discrete maximum principle. □

4.2. Convergence Analysis

This subsection derives the convergence analysis. The discrete solution U is decomposed into the discrete regular component V and the discrete singular component W where V is the solution for the discrete regular component
P ε M V m = f m , m = 1 , 2 , , M 1 , V 0 = v ( 0 ) , V M = v ( 1 ) ,
and W is the solution for the discrete singular component
P ε M W m = 0 , m = 1 , 2 , , M 1 , W 0 = w ( 0 ) , W M = w ( 1 ) .
and the error can then be written in the form
| U m u ( x m ) | | V m v ( x m ) | + | W m w ( x m ) | .
The uniform convergence of regular component is stated by the following theorem.
Theorem 1.
Let V m be a discrete regular component solution, and v ( x m ) is the continuous solution. For 0 < m < M , error estimate in regular component satisfies the bound
| V m v ( x m ) | C M 2 , Shishkin mesh , C M 2 , Bakhvalov mesh ,
where C is a constant independent of the parameter ε and the mesh parameter M .
Proof. 
The classical argument estimates the regular component error V m v ( x m ) . Now, the differential and difference equations give
P ε M ( V v ) = f P ε M v = ( P ε P ε M ) v = ε 2 2 x 2 δ x 2 v .
It implies from classical estimates that at each point x m in D M , we have
| P ε M ( V v ) ( x m ) | | ε 2 2 x 2 δ x 2 v | ε 2 12 ( x m x m 1 ) 2 4 v x 4 , if x m τ , x m 1 τ , ε 2 3 ( x m + 1 x m 1 ) 3 v x 3 , if x m = τ , x m = 1 τ ,
Applying the theoretical bound in Lemma 4 for regular component yields the estimate as follows:
| P ε M ( V v ) ( x m ) | ε 2 12 ( x m x m 1 ) 2 , if x m τ , x m 1 τ , ε 2 3 ( x m + 1 x m 1 ) , if x m = τ , x m = 1 τ ,
Using the fact that x m x m 1 2 M 1 and x m + 1 x m 1 4 M 1 , we have
| P ε M ( V v ) ( x m ) | C ε 2 M 2 , if x m τ , x m 1 τ , ε 2 M 1 , if x m = τ , x m = 1 τ ,
Using the discrete maximum principle and the fact that ε C M 1 in Equation (15) gives us
| V m v ( x m ) | C M 2 , Shishkin mesh , C M 2 , Bakhvalov mesh ,
as required. □
The uniform convergence of the singular component is stated by the following theorem.
Theorem 2.
Let W m be a discrete singular solution, and w ( x m ) is the continuous singular solution. For 0 < m < M , the error estimate in the singular component satisfies the bound
| W m w ( x m ) | C M 2 ln 2 M , Shishkin mesh , C M 2 , Bakhvalov mesh ,
where C is a constant independent of the parameter ε and the mesh parameter M .
Proof. 
Since the argument depends on the transition parameter τ , two cases arise.
Case (i): Considering τ = 1 4 , the mesh of both Shishkin and Bakhvalov is uniform with mesh size x m x m 1 = 1 M . In this case, we use a classical analysis to prove convergence. Using the classical argument leads to
| W m w ( x m ) | C ε 2 ( x m x m 1 ) 2 4 w x 4 .
Using the classical bound, it follows from Equation (16) that
| W m w ( x m ) | C ε 2 M 2 ( 1 + ε 4 ) , C ε 2 M 2 + C ε 2 M 2 , C ε 2 M 2 .
and using the fact that ε 1 C ln M for the Shishkin mesh and ε 1 C M 1 for the Bakhvalov mesh, we obtain
| W m w ( x m ) | C M 2 ln 2 M , for the Shishkin mesh , C M 2 , for the Bakhvalov mesh .
Case (ii): When τ < 1 4 , the mesh is piecewise uniform, with the mesh spacing 2 ( 1 2 τ ) M in the subinterval [ τ , 1 τ ] and 4 τ M in each of the subintervals [ 0 , τ ] and [ 1 τ , 1 ] for the Shishkin mesh. The argument depends on the mesh spacing. If x m lies at the boundary layer regions, then mesh spacing is h m = h m + 1 = 4 τ M and τ = 2 ε γ ln M for Shishkin mesh and h m a x = h m = h m + 1 C M 1 for Bakhvalov mesh. Using the singular component bounds in Lemma 4 together with the estimate in Equation (16), we have
| W m w ( x m ) | C ε 2 ( x m x m 1 ) 2 4 w x 4 C ε 2 ( x m x m 1 ) 2 C ε 4 e x m γ ε + e ( 1 x m ) γ ε ,
and we have e x m γ ε e τ γ ε = e 2 ln M = M 2 and e ( 1 x m ) γ ε e τ γ ε = e 2 ln M = M 2 . Using this in Equation (19), we have
| W m w ( x m ) | C ε 2 ( x m x m 1 ) 2 C ε 4 M 2 , 0 < m < M .
Applying h m = h m + 1 = 8 ε γ M 1 ln M for the Shishkin mesh and h m = h m + 1 C ε for the Bakhvalov mesh in Equation (20), we obtain
| W m w ( x m ) | C M 2 ln 2 M , for   Shishkin   mesh , C M 2 , for   Bakhvalov   mesh .
On the other hand, for x m lying in the subinterval [ τ , 1 τ ) , the local truncation error of the singular component satisfies
| W m w ( x m ) | 2 ε 2 max x [ x m 1 , x m + 1 ] | w ( x ) | C ε 2 C ε 2 e x m γ ε + e ( 1 x m ) γ ε C M 2 ,
for both the Shishkin and Bakhvalov meshes. Combining Equation (18) for case (i) bound and Equations (21) and (22) for case (ii) bounds completes the proof. □
The uniform convergence is stated by the following main theorem.
Theorem 3.
Let U m be a discrete solution, and u ( x m ) is the continuous solution. For 0 < m < M , the parameter-uniform error estimate satisfies the bound
| U m u ( x m ) | C M 2 ln 2 M , Shishkin mesh , C M 2 , Bakhvalov mesh ,
where C is a constant independent of the parameter ε and the mesh parameter M .
Proof. 
The proof of this theorem immediately follows from Theorems 1 and 2 together with the triangular inequality in Equation (16). □

4.3. Richardson Extrapolation

The Richardson extrapolation method is employed to enhance the precision of the numerical solution and the rate of convergence. To apply the extrapolation technique, the discrete problem is solved on the mesh D ¯ 2 M with 2 M mesh intervals, where D ¯ 2 M is a mesh having the same transition points of the Shishkin and Bakhvalov mesh as D ¯ M . Now, the mesh D ¯ 2 M is obtained by bisecting each mesh interval of D ¯ M . As a result, the appropriate nodal points of D ¯ 2 M are given by { x ˜ } m = 0 2 M . The Shishkin mesh points are defined as
x ˜ m = m h l , 0 m M 2 , τ + m M 4 h 0 , M 2 + 1 m 3 M 2 , ( 1 τ ) + ( m 3 M 4 ) h r , 3 M 2 + 1 m 2 M ,
and the Bakhvalov mesh points are given by
x ˜ m = 2 ε γ φ ( t m ) , 0 m M 2 , τ + 2 ( 1 2 τ ) t m 1 4 , M 2 + 1 m 3 M 2 , 1 2 ε γ φ ( 1 t m ) , 3 M 2 + 1 m 2 M ,
and from Theorem 2, the error is
( U M u ) ( x m ) = C M 1 ln M 2 + R M ( x m ) = C M 2 γ τ 2 ε 2 + R M ( x m ) , x m D ¯ M ,
where U M denotes the discrete solution on the mesh D ¯ M and the remainder R M ( x m ) is of o ( M 1 ln M ) 2 . In a similar fashion, the error on mesh D ¯ 2 M is
( U 2 M u ) ( x m ) = C ( 2 M ) 2 γ τ 2 ε 2 + R 2 M ( x m ) , x m D ¯ 2 M ,
where U 2 M represents the discrete solution on the mesh D ¯ 2 M and the remainder R 2 M ( x m ) is of o ( M 1 ln M ) 2 . To eliminate the term o ( M 1 ln M ) 2 from Equations (23) and (24), multiply Equation (24) by 4, and subtracting the result from Equation (23) gives us
o ( M 1 ln M ) 2 = u ( x m ) 1 3 4 U 2 M U M ( x m ) , x m D ¯ M ,
and thus, 1 3 4 U 2 M U M ( x m ) is a better numerical solution than that of U M or U 2 M on D ¯ M . Therefore, we have the following extrapolation formula:
U e x p 2 M ( x m ) = 1 3 4 U 2 M U M ( x m ) , x m D ¯ M .
The extrapolation formula derived in Equation (26) is used to obtain a better approximated solution for Shishkin and Bakhvalov meshes. Using the decomposition of the solution U 2 M on the mesh D ¯ 2 M given in Equation (16), one can write the error following extrapolation in the form
| U e x p 2 M ( x m ) u ( x m ) | | V e x p 2 M ( x m ) v ( x m ) | + | W e x p 2 M ( x m ) w ( x m ) | .
Theorem 4.
Let U e x p be a better approximate solution using the Richardson extrapolation method given in Equation (26) to solve the discrete problem on meshes D ¯ M and D ¯ 2 M . Assume u to be the solution of the continuous problem. Then, the error bound following extrapolation is given by
| U e x p 2 M ( x m ) u ( x m ) | C M 4 ln 4 M , Shishkin mesh , C M 4 , Bakhvalov mesh ,
Proof. 
To prove this theorem, we decompose U e x p 2 M ( x m ) on D ¯ 2 M as U e x p 2 M ( x m ) = V e x p 2 M ( x m ) + W e x p 2 M ( x m ) , where V e x p 2 M ( x m ) is the regular component and W e x p 2 M ( x m ) is the layer component on D ¯ 2 M . From Theorem 1, the error bound satisfied by the regular component on D ¯ M is
| ( V v ) ( x m ) | C M 2 + O ( M 4 ) , Shishkin mesh , C M 2 + O ( M 4 ) , Bakhvalov mesh .
Similarly, the error bound satisfied by the regular component on D ¯ 2 M is
| ( V e x p 2 M v ) ( x m ) | C ( 2 M ) 2 + O ( M 4 ) , Shishkin mesh , C ( 2 M ) 2 + O ( M 4 ) , Bakhvalov mesh .
Using extrapolation formula in Equation (26), we get
( V e x p 2 M v ) ( x m ) = 1 3 4 V e x p 2 M V ( x m ) v ( x m ) = 1 3 4 V e x p 2 M v ( x m ) ( V v ) ( x m ) .
Using Equations (28) and (29) in Equation (30) gives the following bound on Shishkin and Bakhvalov meshes:
| ( V e x p 2 M v ) ( x m ) | 1 3 4 V e x p 2 M v ( x m ) + | ( V v ) ( x m ) | C M 4 .
From Theorem 2, the error bound satisfied by the singular component on D ¯ M is
| ( W w ) ( x m ) | C M 2 ln 2 M + O ( M 4 ln 4 M ) , Shishkin mesh , C M 2 + O ( M 4 ) , Bakhvalov mesh .
Similarly, the error bound satisfied by the regular component on D ¯ 2 M is
| ( W w ) ( x m ) | C ( 2 M ) 2 ( ln 2 M ) 2 + O ( M 4 ln 4 M ) , Shishkin mesh , C ( 2 M ) 2 + O ( M 4 ) , Bakhvalov mesh .
From extrapolation formula in Equation (26), we get
( W e x p 2 M w ) ( x m ) = 1 3 4 W e x p 2 M W ( x m ) w ( x m ) = 1 3 4 W e x p 2 M w ( x m ) ( W w ) ( x m ) .
Using Equations (32) and (33) in Equation (34) gives the following bound on Shishkin and Bakhvalov meshes.
| ( W e x p 2 M w ) ( x m ) | 1 3 4 W e x p 2 M w ( x m ) + | ( W w ) ( x m ) | C M 4 ln 4 M , Shishkin mesh , C M 4 , Bakhvalov mesh .
The bounds in Equations (31) and (35) together with Equation (27) complete the proof. □

5. Numerical Examples and Results

In this section, we do numerical calculations to demonstrate the applicability of the proposed method. Three examples have been used to test our method.
Example 1.
Firstly, we consider
ε 2 u ( x ) + u 3 + u 10 = 0 , x [ 0 , 1 ] , u ( 0 ) = 0 , u ( 1 ) = 0 .
We take the initial guesses U 0 ( 0 ) = u ( 0 ) = 0 , U M ( 0 ) = u ( 1 ) = 0 at the boundaries and U i ( 0 ) = 2 elsewhere.
Example 2.
Secondly, we consider [22]
ε 2 u ( x ) + ( u 2 + u 3.75 ) ( u 0.5 ) ( u + 2 cos x ) = 0 , x [ 0 , 1 ] , u ( 0 ) = 0 , u ( 1 ) = 0 .
We take the initial guesses U 0 ( 0 ) = u ( 0 ) = 0 , U M ( 0 ) = u ( 1 ) = 0 at the boundaries and U i ( 0 ) = cos x 2 elsewhere.
Example 3.
Lastly, we consider [8]
ε 2 u ( x ) + ( u 2 1 ) ( u 2 4 ) = 0 , x [ 0 , 1 ] , u ( 0 ) = 1 2 , u ( 1 ) = 1 2 .
We take initial guess U 0 ( 0 ) = u ( 0 ) = 0 , U M ( 0 ) = u ( 1 ) = 0 at the boundaries and U i ( 0 ) = 1 elsewhere. Because there is no exact solution for the test examples, the double mesh approach is used to estimate the maximum point-wise errors prior to and following extrapolations via the formula below
e ε M = max 0 m M | U M ( x m ) U 2 M ( x m ) | ,
e ε M = max 0 m M | U e x t r M ( x m ) U e x t r 2 M ( x m ) | ,
where U M ( x m ) and U 2 M ( x 2 m ) are the numerical and the double mesh solutions prior to extrapolation whereas U e x t r M ( x m ) and U e x t r 2 M ( x m ) are better-approximated solutions following extrapolation. The maximum point-wise errors and uniform errors are estimated by
e ε M = max 0 m M e m M and e M = max ε e ε M ,
respectively. The numerical and uniform rates of convergence are calculated using the formulas
ρ ε M = log 2 e ε M e ε 2 M and ρ M = log 2 e M e 2 M ,
respectively. The numerical solutions using the Shishkin mesh are demonstrated in Table 1, Table 3 and Table 5 for Examples 1, 2, and 3, respectively, prior to and following extrapolations. Similarly, the numerical solutions using the Bakhvalov mesh are depicted in Table 2, Table 4 and Table 6 for Examples 1, 2, and 3, respectively, prior to and following extrapolations. When ε 0 , all the tables show the parameter-uniform convergence of the present method. The Shishkin mesh solution graphs for each example are given on the left-hand side of Figure 1, Figure 2 and Figure 3, respectively. The Bakhvalov mesh solution graphs for each example are given on the right-hand side of Figure 1, Figure 2 and Figure 3, respectively. These right-side figures in Figure 1, Figure 2 and Figure 3 demonstrate that the Bakhvalov mesh condensed more mesh points at boundary layer regions than the Shishkin mesh. For fixed ε , the maximum point-wise errors decrease when the mesh points increase. This shows the parameter-uniform convergence. For fixed mesh points, the maximum point-wise error decreases as the values of ε decrease. This shows the stability of the method. In order to observe the rate of convergence, the maximum point-wise errors are plotted in log-log scale on Figure 4, Figure 5 and Figure 6.
Table 1. Shishkin mesh maximum point-wise errors e ε M , e M , and uniform rate of convergence ρ M for Example 1.
Table 1. Shishkin mesh maximum point-wise errors e ε M , e M , and uniform rate of convergence ρ M for Example 1.
ε 2 M = 32 6412825651210242048
   Prior to extrapolation
10 0 4.3426 × 10 4 1.0867 × 10 4 2.7174 × 10 5 6.7939 × 10 6 1.6985 × 10 6 4.2463 × 10 7 1.0616 × 10 7
10 2 2.5484 × 10 2 6.9985 × 10 3 1.7951 × 10 3 4.5501 × 10 4 1.1395 × 10 4 2.8499 × 10 5 7.1261 × 10 6
10 4 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
10 6 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
10 8 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
10 10 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
10 12 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
10 14 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
10 16 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
e M 5.8047 × 10 2 4.8827 × 10 2 2.4221 × 10 2 8.3884 × 10 3 2.7969 × 10 3 8.7244 × 10 4 2.6464 × 10 4
ρ M 0.24951.01141.52981.58461.68071.7210-
   Following extrapolation
10 0 1.4048 × 10 7 8.7941 × 10 9 5.4991 × 10 10 3.4311 × 10 11 2.9494 × 10 12 3.1573 × 10 12 8.0314 × 10 12
10 2 8.3657 × 10 4 6.0600 × 10 5 4.1759 × 10 6 2.6378 × 10 7 1.6530 × 10 8 1.0341 × 10 9 6.4760 × 10 11
10 4 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
10 6 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
10 8 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
10 10 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
10 12 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
10 14 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
10 16 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
e 2 M 5.3488 × 10 3 3.2477 × 10 3 7.5775 × 10 4 9.2391 × 10 5 9.9244 × 10 6 9.7022 × 10 7 8.9222 × 10 8
ρ 2 M 0.71982.09963.03593.21873.35463.4428-
Table 2. Bakhvalov mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 1.
Table 2. Bakhvalov mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 1.
ε 2 M = 32 6412825651210242048
   Prior to extrapolation
10 4 1.0403 × 10 2 2.6788 × 10 3 6.8783 × 10 4 1.7227 × 10 4 4.3101 × 10 5 1.0779 × 10 5 2.6947 × 10 6
10 6 1.0604 × 10 2 2.7320 × 10 3 7.0010 × 10 4 1.7534 × 10 4 4.3895 × 10 5 1.0975 × 10 5 2.7440 × 10 6
10 8 1.0625 × 10 2 2.7374 × 10 3 7.0132 × 10 4 1.7565 × 10 4 4.3974 × 10 5 1.0995 × 10 5 2.7489 × 10 6
10 10 1.0627 × 10 2 2.7379 × 10 3 7.0145 × 10 4 1.7568 × 10 4 4.3982 × 10 5 1.0997 × 10 5 2.7494 × 10 6
10 12 1.0627 × 10 2 2.7380 × 10 3 7.0146 × 10 4 1.7568 × 10 4 4.3983 × 10 5 1.0997 × 10 5 2.7495 × 10 6
10 14 1.0627 × 10 2 2.7380 × 10 3 7.0146 × 10 4 1.7568 × 10 4 4.3983 × 10 5 1.0997 × 10 5 2.7495 × 10 6
10 16 1.0627 × 10 2 2.7380 × 10 3 7.0146 × 10 4 1.7568 × 10 4 4.3983 × 10 5 1.0997 × 10 5 2.7495 × 10 6
e M 1.0627 × 10 2 2.7380 × 10 3 7.0146 × 10 4 1.7568 × 10 4 4.3983 × 10 5 1.0997 × 10 5 2.7495 × 10 6
ρ M 1.95651.96471.99741.99791.99981.9999-
   Following extrapolation
10 4 1.4824 × 10 4 1.0818 × 10 5 7.0309 × 10 7 4.4376 × 10 8 2.7810 × 10 9 1.7402 × 10 10 1.1803 × 10 11
10 6 1.5303 × 10 4 1.1201 × 10 5 7.2859 × 10 7 4.5995 × 10 8 2.8835 × 10 9 1.8049 × 10 10 1.1947 × 10 11
10 8 1.5351 × 10 4 1.1240 × 10 5 7.3117 × 10 7 4.6159 × 10 8 2.8940 × 10 9 1.8100 × 10 10 1.2006 × 10 11
10 10 1.5356 × 10 4 1.1244 × 10 5 7.3143 × 10 7 4.6175 × 10 8 2.8952 × 10 9 1.8158 × 10 10 1.2008 × 10 11
10 12 1.5357 × 10 4 1.1244 × 10 5 7.3145 × 10 7 4.6177 × 10 8 2.8952 × 10 9 1.8165 × 10 10 1.2092 × 10 11
10 14 1.5357 × 10 4 1.1244 × 10 5 7.3146 × 10 7 4.6177 × 10 8 2.8952 × 10 9 1.8165 × 10 10 1.2098 × 10 11
10 16 1.5357 × 10 4 1.1244 × 10 5 7.3147 × 10 7 4.6177 × 10 8 2.8952 × 10 9 1.8165 × 10 10 1.2251 × 10 11
e 2 M 1.5357 × 10 4 1.1244 × 10 5 7.3147 × 10 7 4.6177 × 10 8 2.8952 × 10 9 1.8115 × 10 10 1.2251 × 10 11
ρ 2 M 3.77173.94223.98563.99543.99843.9992-
Table 3. Shishkin mesh maximum point-wise errors e ε M , e M , and uniform rate of convergence ρ M for Example 2.
Table 3. Shishkin mesh maximum point-wise errors e ε M , e M , and uniform rate of convergence ρ M for Example 2.
ε 2 M = 32 6412825651210242048
   Prior to extrapolation
10 0 1.3760 × 10 4 3.4416 × 10 5 8.6050 × 10 6 2.1514 × 10 6 5.3784 × 10 7 1.3446 × 10 7 3.3615 × 10 8
10 2 8.9219 × 10 3 2.4005 × 10 3 6.1294 × 10 4 1.5372 × 10 4 3.8494 × 10 5 9.6254 × 10 6 2.4065 × 10 6
10 4 3.9016 × 10 2 2.2670 × 10 2 8.3904 × 10 3 2.9392 × 10 3 9.5438 × 10 4 2.9561 × 10 4 8.9697 × 10 5
10 6 3.9032 × 10 2 2.2678 × 10 2 8.3937 × 10 3 2.9404 × 10 3 9.5478 × 10 4 2.9573 × 10 4 8.9735 × 10 5
10 8 3.9034 × 10 2 2.2679 × 10 2 8.3940 × 10 3 2.9405 × 10 3 9.5482 × 10 4 2.9575 × 10 4 8.9738 × 10 5
10 10 3.9034 × 10 2 2.2679 × 10 2 8.3941 × 10 3 2.9405 × 10 3 9.5483 × 10 4 2.9575 × 10 4 8.9739 × 10 5
10 12 3.9034 × 10 2 2.2679 × 10 2 8.3941 × 10 3 2.9405 × 10 3 9.5483 × 10 4 2.9575 × 10 4 8.9739 × 10 5
10 14 3.9034 × 10 2 2.2679 × 10 2 8.3941 × 10 3 2.9405 × 10 3 9.5483 × 10 4 2.9575 × 10 4 8.9739 × 10 5
10 16 3.9034 × 10 2 2.2679 × 10 2 8.3941 × 10 3 2.9405 × 10 3 9.5483 × 10 4 2.9575 × 10 4 8.9739 × 10 5
e M 3.9034 × 10 2 2.2679 × 10 2 8.3941 × 10 3 2.9405 × 10 3 9.5483 × 10 4 2.9575 × 10 4 8.9739 × 10 5
ρ M 0.78341.43391.51331.62271.69091.7206-
   Following extrapolation
10 0 2.1267 × 10 8 1.3299 × 10 9 8.2978 × 10 11 5.1124 × 10 12 7.5406 × 10 13 1.0995 × 10 12 3.4911 × 10 12
10 2 1.5202 × 10 4 1.0238 × 10 5 6.5247 × 10 7 4.1032 × 10 8 2.5705 × 10 9 1.6099 × 10 10 9.7657 × 10 12
10 4 2.9549 × 10 3 9.0336 × 10 4 1.3656 × 10 4 1.5590 × 10 5 1.5821 × 10 6 1.5307 × 10 7 1.4041 × 10 8
10 6 2.9570 × 10 3 9.0407 × 10 4 1.3669 × 10 4 1.5605 × 10 5 1.5837 × 10 6 1.5322 × 10 7 1.4055 × 10 8
10 8 2.9573 × 10 3 9.0414 × 10 4 1.3670 × 10 4 1.5607 × 10 5 1.5838 × 10 6 1.5324 × 10 7 1.4056 × 10 8
10 10 2.9573 × 10 3 9.0415 × 10 4 1.3670 × 10 4 1.5607 × 10 5 1.5838 × 10 6 1.5324 × 10 7 1.4056 × 10 8
10 12 2.9573 × 10 3 9.0415 × 10 4 1.3670 × 10 4 1.5607 × 10 5 1.5838 × 10 6 1.5324 × 10 7 1.4057 × 10 8
10 14 2.9573 × 10 3 9.0415 × 10 4 1.3670 × 10 4 1.5607 × 10 5 1.5838 × 10 6 1.5324 × 10 7 1.4057 × 10 8
10 16 2.9573 × 10 3 9.0415 × 10 4 1.3670 × 10 4 1.5607 × 10 5 1.5838 × 10 6 1.5324 × 10 7 1.4057 × 10 8
e 2 M 2.9573 × 10 3 9.0415 × 10 4 1.3670 × 10 4 1.5607 × 10 5 1.5838 × 10 6 1.5324 × 10 7 1.4057 × 10 8
ρ 2 M 1.70962.72553.13073.30073.36953.4464-
   Result in [22]
e M 4.99 × 10 3 1.80 × 10 3 6.37 × 10 4 2.09 × 10 4 6.62 × 10 5 --
ρ M 2.01.931.992.00 -
Table 4. Bakhvalov mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 2.
Table 4. Bakhvalov mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 2.
ε 2 M = 32 6412825651210242048
   Prior to extrapolation
10 4 1.8701 × 10 3 4.5984 × 10 4 1.1456 × 10 4 2.8672 × 10 5 7.1660 × 10 6 1.7914 × 10 6 4.4785 × 10 7
10 6 1.9055 × 10 3 4.6843 × 10 4 1.1688 × 10 4 2.9229 × 10 5 7.3053 × 10 6 1.8265 × 10 6 4.5662 × 10 7
10 8 1.9090 × 10 3 4.6929 × 10 4 1.1711 × 10 4 2.9285 × 10 5 7.3196 × 10 6 1.8300 × 10 6 4.5750 × 10 7
10 10 1.9094 × 10 3 4.6937 × 10 4 1.1714 × 10 4 2.9290 × 10 5 7.3210 × 10 6 1.8304 × 10 6 4.5759 × 10 7
10 12 1.9094 × 10 3 4.6938 × 10 4 1.1714 × 10 4 2.9291 × 10 5 7.3212 × 10 6 1.8304 × 10 6 4.5760 × 10 7
10 14 1.9094 × 10 3 4.6938 × 10 4 1.1714 × 10 4 2.9291 × 10 5 7.3212 × 10 6 1.8304 × 10 6 4.5760 × 10 7
10 16 1.9094 × 10 3 4.6938 × 10 4 1.1714 × 10 4 2.9291 × 10 5 7.3212 × 10 6 1.8304 × 10 6 4.5760 × 10 7
e M 1.9094 × 10 3 4.6938 × 10 4 1.1714 × 10 4 2.9291 × 10 5 7.3212 × 10 6 1.8304 × 10 6 4.5760 × 10 7
ρ M 2.02432.00251.99972.00031.99992.0000-
   Following extrapolation
10 4 1.3854 × 10 4 9.1729 × 10 6 5.8314 × 10 7 3.6578 × 10 8 2.2887 × 10 9 1.1115 × 10 10 1.0100 × 10 11
10 6 1.4316 × 10 4 9.4932 × 10 6 6.0432 × 10 7 3.7903 × 10 8 2.3714 × 10 9 1.4844 × 10 10 1.0101 × 10 11
10 8 1.4363 × 10 4 9.5256 × 10 6 6.0646 × 10 7 3.8038 × 10 8 2.3799 × 10 9 1.4859 × 10 10 1.0102 × 10 11
10 10 1.4367 × 10 4 9.5288 × 10 6 6.0668 × 10 7 3.8052 × 10 8 2.3807 × 10 9 1.4934 × 10 10 1.0103 × 10 11
10 12 1.4368 × 10 4 9.5292 × 10 6 6.0670 × 10 7 3.8053 × 10 8 2.3808 × 10 9 1.4986 × 10 10 1.0120 × 10 11
10 14 1.4368 × 10 4 9.5292 × 10 6 6.0670 × 10 7 3.8053 × 10 8 2.3809 × 10 9 1.4994 × 10 10 1.0120 × 10 11
10 16 1.4368 × 10 4 9.5292 × 10 6 6.0670 × 10 7 3.8053 × 10 8 2.3809 × 10 9 1.4994 × 10 10 1.0120 × 10 11
e 2 M 1.4368 × 10 4 9.5292 × 10 6 6.0670 × 10 7 3.8053 × 10 8 2.3809 × 10 9 1.4994 × 10 10 1.0120 × 10 11
ρ 2 M 3.91443.97333.99493.99843.98903.8891-
   Result in [22]
e M 1.85 × 10 3 4.63 × 10 4 1.16 × 10 4 2.90 × 10 5 7.24 × 10 6 --
ρ M 2.0002.00002.00002.00002.00002.0000-
Table 5. Shishkin mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 3.
Table 5. Shishkin mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 3.
ε 2 M = 32 6412825651210242048
   Prior to extrapolation
10 0 1.5293 × 10 4 3.8255 × 10 5 9.5650 × 10 6 2.3913 × 10 6 5.9784 × 10 7 1.4946 × 10 7 3.7365 × 10 8
10 2 9.1407 × 10 3 2.4611 × 10 3 6.2824 × 10 4 1.5756 × 10 4 3.9458 × 10 5 9.8665 × 10 6 2.4668 × 10 6
10 4 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
10 6 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
10 8 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
10 10 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
10 12 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
10 14 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
10 16 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
e M 4.0045 × 10 2 2.3207 × 10 2 8.5740 × 10 3 3.0038 × 10 3 9.7559 × 10 4 3.0226 × 10 4 9.1705 × 10 5
ρ M 0.78711.43651.51321.62241.69051.7207-
   Following extrapolation
10 0 2.7972 × 10 8 1.7496 × 10 9 1.0937 × 10 10 6.8847 × 10 12 1.2486 × 10 13 8.3103 × 10 13 1.2486 × 10 12
10 2 1.5622 × 10 4 1.0525 × 10 5 6.7087 × 10 7 4.2190 × 10 8 2.6432 × 10 9 1.6525 × 10 10 1.3473 × 10 11
10 4 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
10 6 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
10 8 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
10 10 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
10 12 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
10 14 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
10 16 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
e 2 M 3.0259 × 10 3 9.2129 × 10 4 1.3894 × 10 4 1.5862 × 10 5 1.6089 × 10 6 1.5570 × 10 7 1.4282 × 10 8
ρ 2 M 1.71562.72923.13083.30143.36923.4465-
Table 6. Bakhvalov mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 3.
Table 6. Bakhvalov mesh maximum point-wise errors e ε M , e M , and rate of convergence ρ M for Example 3.
ε 2 M = 32 6412825651210242048
   Prior to extrapolation
10 4 1.8944 × 10 3 4.6564 × 10 4 1.1594 × 10 4 2.9023 × 10 5 7.2536 × 10 6 1.8133 × 10 6 4.5332 × 10 7
10 6 1.9282 × 10 3 4.7378 × 10 4 1.1813 × 10 4 2.9550 × 10 5 7.3852 × 10 6 1.8464 × 10 6 4.6160 × 10 7
10 8 1.9316 × 10 3 4.7460 × 10 4 1.1835 × 10 4 2.9603 × 10 5 7.3984 × 10 6 1.8498 × 10 6 4.6243 × 10 7
10 10 1.9319 × 10 3 4.7468 × 10 4 1.1838 × 10 4 2.9608 × 10 5 7.3998 × 10 6 1.8501 × 10 6 4.6251 × 10 7
10 12 1.9320 × 10 3 4.7468 × 10 4 1.1838 × 10 4 2.9609 × 10 5 7.3999 × 10 6 1.8501 × 10 6 4.6252 × 10 7
10 14 1.9320 × 10 3 4.7469 × 10 4 1.1838 × 10 4 2.9609 × 10 5 7.3999 × 10 6 1.8501 × 10 6 4.6252 × 10 7
10 16 1.9320 × 10 3 4.7469 × 10 4 1.1838 × 10 4 2.9609 × 10 5 7.3999 × 10 6 1.8501 × 10 6 4.6252 × 10 7
e M 1.9320 × 10 3 4.7469 × 10 4 1.1838 × 10 4 2.9609 × 10 5 7.3999 × 10 6 1.8501 × 10 6 4.6252 × 10 7
ρ M 2.02502.00361.99932.00051.99992.0000-
   Following extrapolation
10 4 1.4239 × 10 4 9.4234 × 10 6 5.9859 × 10 7 3.7559 × 10 8 2.3497 × 10 9 1.4701 × 10 10 9.7687 × 10 12
10 6 1.4724 × 10 4 9.7589 × 10 6 6.2077 × 10 7 3.8935 × 10 8 2.4363 × 10 9 1.5226 × 10 10 9.7925 × 10 12
10 8 1.4773 × 10 4 9.7928 × 10 6 6.2302 × 10 7 3.9076 × 10 8 2.4451 × 10 9 1.5285 × 10 10 9.8370 × 10 12
10 10 1.4777 × 10 4 9.7962 × 10 6 6.2325 × 10 7 3.9090 × 10 8 2.4461 × 10 9 1.5328 × 10 10 9.8501 × 10 12
10 12 1.4778 × 10 4 9.7966 × 10 6 6.2327 × 10 7 3.9091 × 10 8 2.4461 × 10 9 1.5361 × 10 10 9.8973 × 10 12
10 14 1.4778 × 10 4 9.7966 × 10 6 6.2327 × 10 7 3.9092 × 10 8 2.4461 × 10 9 1.5391 × 10 10 1.0100 × 10 11
10 16 1.4778 × 10 4 9.7966 × 10 6 6.2327 × 10 7 3.9092 × 10 8 2.4461 × 10 9 1.5391 × 10 10 1.0100 × 10 11
e 2 M 1.4778 × 10 4 9.7966 × 10 6 6.2327 × 10 7 3.9092 × 10 8 2.4461 × 10 9 1.5391 × 10 10 1.0100 × 10 11
ρ 2 M 3.91503.97443.99493.99833.99033.9297-

6. Conclusions

A higher-order uniformly convergent numerical method is used to solve a singularly perturbed nonlinear reaction–diffusion boundary value problem. From the numerical results in all tables, one can observe that the Bakhvalov mesh gives fewer errors and a rate of convergence very close to second order as compared to the Shishkin mesh, which gives higher errors and an almost second-order rate of convergence due to the logarithmic factor prior to extrapolation. Following extrapolation, the Bakhvalov mesh gives fewer errors and a rate of convergence very close to fourth order as compared to the Shishkin mesh, which gives less accurate numerical results and an almost fourth-order rate of convergence due to the logarithmic factor.

Author Contributions

Conceptualization and formal analysis, M.A.A. and F.W.G.; methodology, software, visualization, and writing—original draft preparation, M.A.A. and F.W.G.; investigation, supervision, writing—review and editing draft preparation, M.A.A. and F.W.G.; resources, project administration, funding acquisition, M.A.A. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia [Grant No. KFU260939].

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors are grateful to the referees for their valuable comments.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Rashidinia, J.; Ghasemi, M.; Mahmoodi, Z. Spline approach to the solution of a singularly-perturbed boundary-value problems. Appl. Math. Comput. 2007, 189, 72–78. [Google Scholar] [CrossRef] [Scilit]
  2. Wondimu, F.; File, G.; Aga, T. Fourth order compact finite difference method for solving singularly perturbed 1D reaction diffusion equations with Dirichlet boundary conditions. Momona Ethiop. J. Sci. 2016, 8, 168–181. [Google Scholar] [CrossRef] [Scilit]
  3. Shah, F.A.; Abass, R. An operational Haar wavelet collocation method for solving singularly perturbed boundary-value problems. SeMA. J. 2017, 74, 457–474. [Google Scholar] [CrossRef] [Scilit]
  4. Gelu, F.W.; Duressa, G.F.; Bullo, T.A. Tenth order compact finite difference method for solving singularly perturbed 1D reaction-diffusion equations. Int. J. Eng. Appl. Sci. 2016, 8, 15–24. [Google Scholar] [CrossRef] [Scilit]
  5. Gelu, F.W.; Duressa, G.F.; Bullo, T.A. Sixth-order compact finite difference method for singularly perturbed 1D reaction diffusion problems. J. Taibah Univ. Sci. 2017, 11, 302–308. [Google Scholar] [CrossRef] [Scilit]
  6. Khalid, K.A.; Hadhoud, A.R.; Shaalan, M.A. Numerical study of self-adjoint singularly perturbed two-point boundary value problems using collocation method with error estimation. J. Ocean. Eng. Sci. 2018, 3, 237–243. [Google Scholar] [CrossRef] [Scilit]
  7. Temel, Z.; Cakir, M. A new numerical scheme for singularly perturbed reaction-diffusion problems. Gazi Univ. J. Sci. 2023, 36, 792–805. [Google Scholar] [CrossRef] [Scilit]
  8. Herceg, D. Uniform fourth order difference scheme for a singular perturbation problem. Numer. Math. 1990, 56, 675–693. [Google Scholar] [CrossRef] [Scilit]
  9. Vulanović, R. On numerical solution of semilinear singular perturbation problems by using the Hermite scheme. Novi Sad J. Math. 1993, 23, 363–379. [Google Scholar]
  10. Sun, G.; Stynes, M. An almost fourth order uniformly convergent difference scheme for a semi-linear singularly perturbed reaction-diffusion problem. Numer. Math. 1995, 70, 487–500. [Google Scholar] [CrossRef] [Scilit]
  11. Vulanović, R. Fourth order algorithms for a semilinear singular perturbation problem. Numer. Algorithms 1997, 16, 117–128. [Google Scholar] [CrossRef] [Scilit]
  12. Uzelac, Z.; Surla, K. A uniformly accurate collocation method for a singularly perturbed problem. Novi Sad J. Math. 2003, 33, 133–143. [Google Scholar]
  13. Uzelac, Z.; Surla, K. A uniformly accurate spline collocation method for a normalized flux. J. Comput. Appl. Math. 2004, 166, 291–305. [Google Scholar] [CrossRef] [Scilit]
  14. Stynes, M.; Kopteva, N. Numerical analysis of singularly perturbed nonlinear reaction-diffusion problems with multiple solutions. Comput. Math. Appl. 2006, 51, 857–864. [Google Scholar] [CrossRef] [Scilit]
  15. Vulanović, R.; Teofanov, L. On the singularly perturbed semilinear reaction-diffusion problem and its numerical solution. Int. J. Numer. Anal. Model. 2016, 13, 41–57. [Google Scholar]
  16. Kellogg, R.; Linss, T.; Stynes, M. A finite difference method on layer-adapted meshes for an elliptic reaction-diffusion system in two dimensions. Math. Comput. 2008, 77, 2085–2096. [Google Scholar] [CrossRef] [Scilit]
  17. Al Salman, H.J.; Gelu, F.W.; Al Ghafli, A.A. A cubic spline numerical method for a singularly perturbed two-parameter ordinary differential equation. Axioms 2025, 14, 547. [Google Scholar] [CrossRef] [Scilit]
  18. Agmas, A.F.; Gelu, F.W.; Fino, M.C. A robust, exponentially fitted higher-order numerical method for a two-parameter singularly perturbed boundary value problem. Front. Appl. Math. Stat. 2025, 10, 1501271. [Google Scholar] [CrossRef] [Scilit]
  19. Doolan, E.P.; Miller, J.J.H.; Schilders, W.H.A. Uniform Numerical Methods for Problems with Initial and Boundary Layers; Boole Press: Dublin, Ireland, 1980. [Google Scholar]
  20. Liao, Y.; Liu, L.-B.; Luo, X.; Long, G. Three direct discontinuous Galerkin methods on a Bakhvalov-type mesh for a singularly perturbed reaction-diffusion problem. Z. Angew. Math. Mech. 2025, 105, e70129. [Google Scholar] [CrossRef] [Scilit]
  21. Zhang, J.; Liu, X. Convergence and supercloseness in a balanced norm of finite element methods on Bakhvalov-type meshes for reaction-diffusion problems. J. Sci. Comput. 2021, 88, 27. [Google Scholar] [CrossRef] [Scilit]
  22. Kopteva, N.; Pickett, M.; Purtill, H. A robust overlapping schwarz method for a singularly perturbed semilinear reaction-diffusion problem with multiple solutions. Int. J. Numer. Anal. Model. 2009, 6, 680–695. [Google Scholar]
Figure 1. Numerical solution profile of Example 1 at M = 128 and ε = 10 12 .
Figure 1. Numerical solution profile of Example 1 at M = 128 and ε = 10 12 .
Axioms 15 00159 g001
Figure 2. Numerical solution profile of Example 2 at M = 128 and ε = 10 12 .
Figure 2. Numerical solution profile of Example 2 at M = 128 and ε = 10 12 .
Axioms 15 00159 g002
Figure 3. Numerical solution profile of Example 3 at M = 128 and ε = 10 12 .
Figure 3. Numerical solution profile of Example 3 at M = 128 and ε = 10 12 .
Axioms 15 00159 g003
Figure 4. The plot of the maximum point-wise errors using log-log scale for Example 1.
Figure 4. The plot of the maximum point-wise errors using log-log scale for Example 1.
Axioms 15 00159 g004
Figure 5. The plot of the maximum point-wise errors using log-log scale for Example 2.
Figure 5. The plot of the maximum point-wise errors using log-log scale for Example 2.
Axioms 15 00159 g005
Figure 6. The plot of the maximum point-wise errors using log-log scale for Example 3.
Figure 6. The plot of the maximum point-wise errors using log-log scale for Example 3.
Axioms 15 00159 g006
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

Gelu, F.W.; Alomair, M.A. A Higher-Order Uniformly Convergent Numerical Method for a Singularly Perturbed Nonlinear Reaction–Diffusion Equation. Axioms 2026, 15, 159. https://doi.org/10.3390/axioms15030159

AMA Style

Gelu FW, Alomair MA. A Higher-Order Uniformly Convergent Numerical Method for a Singularly Perturbed Nonlinear Reaction–Diffusion Equation. Axioms. 2026; 15(3):159. https://doi.org/10.3390/axioms15030159

Chicago/Turabian Style

Gelu, Fasika Wondimu, and Mohammed Ahmed Alomair. 2026. "A Higher-Order Uniformly Convergent Numerical Method for a Singularly Perturbed Nonlinear Reaction–Diffusion Equation" Axioms 15, no. 3: 159. https://doi.org/10.3390/axioms15030159

APA Style

Gelu, F. W., & Alomair, M. A. (2026). A Higher-Order Uniformly Convergent Numerical Method for a Singularly Perturbed Nonlinear Reaction–Diffusion Equation. Axioms, 15(3), 159. https://doi.org/10.3390/axioms15030159

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