Abstract
In this paper, we consider a singularly perturbed reaction-diffusion problem with a discontinuous source term. Boundary and interior layers appear in the solution. The problem is discretized by using a hybrid finite difference scheme on a Shishkin-type mesh. A nonequidistant generalization of the Numerov scheme is used on the Shishkin-type mesh except for the point of discontinuity, whereas a second-order difference scheme with an additional refined mesh is used for the point of discontinuity. Although the difference scheme does not satisfy the discrete maximum principle, the maximum norm stability of the scheme is established. The maximum error in the mesh points is shown to be uniformly bounded by \(( N^{-1}\ln N ) ^{4}\) with a constant independent of the perturbation parameter. Numerical results supporting the theory are presented.
Similar content being viewed by others
1 Introduction
We consider the following singularly perturbed reaction-diffusion problem with a discontinuous source term:
where \(0<\varepsilon \ll 1\) is the perturbation parameter, A and B are given constants, \(b\geq \beta^{2}>0\) is a sufficiently smooth function on Ω̄, \(\Omega^{-}=(0,d)\), \(\Omega^{+}=(d,1)\), and \(\Omega =(0,1)\). We assume that the function f is sufficiently smooth on \(\Omega^{-}\cup \Omega^{+}\) and has a jump discontinuity at the point \(d\in \Omega \). These hypotheses ensure that problem (1.1)-(1.2) has a unique solution \(u\in C^{1}(\Omega)\cap C^{2}(\Omega^{-}\cup \Omega ^{+})\) (see [1, 2]). For \(\varepsilon \ll 1\), the solution u has boundary and interior layers. It is shown that such a problem arises naturally in the context of models of simple semiconductor devices [2].
Due to the presence of these layers, classical numerical methods are not appropriate to numerically solve singularly perturbed problems. Special methods are required for obtaining good numerical approximations to such problems. Singularly perturbed reaction-diffusion equations with sufficiently smooth data have been studied extensively; see, for instance, [3, 4] for a survey. However, only few results for singularly perturbed reaction-diffusion equations with nonsmooth data are reported in the literature. Miller et al. [2] proposed a parameter-uniform Schwarz method on a Shishkin mesh for problem (1.1)-(1.2) and proved that the scheme is first-order convergent in the discrete maximum norm. Roos and Zarin [5] introduced a Galerkin finite element method with a Bakhvalov-Shishkin mesh for problem (1.1)-(1.2) and showed that the scheme is second-order convergent in the discrete maximum norm. Chandru et al. [1] presented a second-order hybrid difference scheme on a Shishkin mesh for problem (1.1)-(1.2). Farrell et al. [6] and Boglaev and Pack [7] employed first-order uniformly convergent difference schemes for singularly perturbed semilinear differential equations with a discontinuous source term. Falco and O’Riordan [8] developed a second-order uniformly convergence numerical method on piecewise-uniform Shishkin meshes for a reaction-diffusion equation with a discontinuous diffusion coefficient. Rao and Chawla [9] used a first-order convergent difference scheme for a coupled system of singularly perturbed reaction-diffusion equations with discontinuous source terms. Brayanov [10] constructed a finite volume difference scheme for two-dimensional versions of problem (1.1)-(1.2). Since the source term f is discontinuous at the point \(x=d\), in general the solution u of problem (1.1)-(1.2) has no continuous high-order derivatives at the point \(x=d\), which leads to the numerical difficulty for constructing high-order numerical schemes.
In this paper, we propose a high-order finite difference scheme on a Shishkin-type mesh for problem (1.1)-(1.2). A nonequidistant generalization of the Numerov scheme is used on the Shishkin-type mesh except for the point of discontinuity \(x=d\), whereas a second-order difference scheme with an additional refined mesh is used for \(x=d\). Although the difference scheme does not satisfy the discrete maximum principle, we show that the scheme is maximum-norm stable. We prove that the scheme has accuracy \(O( { ( N^{-1}\ln N ) ^{4}})\), uniformly in the perturbation parameter. Our hybrid difference scheme for problem (1.1)-(1.2) is a modification of the Numerov scheme used in [11–14] for singularly perturbed reaction-diffusion problems with sufficiently smooth data.
An outline of the paper is as follows. In the next section, we present some analytical results of the boundary value problem (1.1)-(1.2). The discrete scheme is described in Section 3. The stability and convergence properties of the numerical scheme are given in Section 4. Numerical examples are presented in support of our theoretical estimates in Section 5. Finally, the conclusion is given in Section 6.
Notation
Throughout the paper, C will denote a generic positive constant that is independent of ε and the mesh. Note that C is not necessarily the same at each occurrence. Assume that \(g(x)\) is a function on a close set D and ω is a discretization mesh of D. To simplify the notation, we denote the jump of the function \(g(x)\) at \(d\in D\) by \([g](d)=g(d+)-g(d-)\). We set \(g_{i}=g(x_{i})\) and let \(G_{i}\) denote a numerical approximation of \(g(x)\) at \(x_{i}\in \omega \). We also define \({\Vert g\Vert _{D}=\max_{x\in D}\vert g(x)\vert }\) and \({\Vert G\Vert _{\omega }=\max_{x_{i}\in \omega }\vert G_{i}\vert }\).
2 Properties of the exact solution
For constructing layer-adapted meshes correctly, we need to know the asymptotic behavior of the exact solution. This behavior will be used later in the analysis of the uniform convergence of the finite difference scheme defined in Section 3.
Lemma 2.1
Suppose \(b\in C^{4} ( \bar{\Omega } ) \) and \(f\in C^{4} ( \Omega^{-}\cup \Omega^{+} ) \). Then the solution u of problem (1.1)-(1.2) can be decomposed as
where the regular solution component \(v(x)\) satisfies
and
whereas the singular solution component \(w(x)\) satisfies
and
Proof
See [2], Lemma 1, for a proof with \(0\leq k\leq 4\); the argument there also works for \(k=5,6\). □
3 Discretization
We consider a high-order finite difference scheme on a Shishkin-type mesh for problem (1.1)-(1.2). Let our discretization parameter N be divisible by 8. Define the mesh transition parameters \(\sigma_{1}\) and \(\sigma_{2}\) as
Note that if \(\sigma_{1}=\frac{d}{4}\) or \(\sigma_{2}=\frac{1-d}{4}\), then \(N^{-1}\) is exponentially small compared to ε, and therefore a classical analysis of the convergence can be made. So, here we only consider the most interesting case in practice, that is,
Then our Shishkin-type mesh is given as follows:
Thus the mesh widths \(h_{i}=x_{i}-x_{i-1}\) for \(1\leq i\leq N\) satisfy
Here we have used an additional refined mesh at the region near \(x=d\) for treating the lack of smoothness of the exact solution.
To approximate the solution of problem (1.1)-(1.2), we use a hybrid finite difference scheme on the Shishkin-type mesh \(\bar{\Omega }^{N}= \{ x_{i} \} _{0}^{N}\):
where
and
This difference scheme is a combination of the Numerov scheme on the Shishkin-type mesh except for the point of discontinuity \(x=d\) and the second-order difference schemes with the additional refined mesh for \(x=d\), which is a modification of the difference scheme in [11–14]. We prove that the scheme is maximum-norm stable and has accuracy \(O( ( N^{-1}\ln N ) ^{4})\) in the discrete maximum norm, independent of perturbation parameter.
4 Analysis of the method
4.1 Stability analysis
It is easy to check that the matrix associated with the discrete operator \(L_{H}^{N}\) is not an M-matrix. Hence the hybrid difference scheme (3.4)-(3.5) does not satisfy the discrete maximum principle. However, a maximum-norm stability analysis can be conducted. The technique used in this paper to analyze the stability of the hybrid discrete scheme is similar to the method in [12].
Define the new difference operator Λ as follows:
We will prove that the operator Λ satisfies the following discrete maximum principle.
Lemma 4.1
Discrete maximum principle
The operator defined in (4.1) satisfies a discrete maximum principle for sufficiently large N, that is, if y is a mesh function satisfying \(y_{0}\geq 0\), \(y_{N}\geq 0\), and \(\Lambda y_{i}\geq 0\) for \(1\leq i < N\), then \(y_{i}\geq 0\) for all i.
Proof
It is easy to verify that the matrix associated with Λ has positive diagonal entries, nonpositive off-diagonal, and positive row-sum for sufficiently large N. Therefore, the matrix associated with Λ is an M-matrix. From this we conclude that the lemma holds. □
Dividing (4.1) by \(b_{i}\) and applying the discrete maximum principle, we can obtain
for any mesh function y with \(y_{0}=y_{N}=0\), which will be used to establish the stability of the operator \(L^{N}_{H}\).
Lemma 4.2
Stability
There exists a constant \(\kappa \in (0,1)\) such that, for sufficiently large N,
for any mesh function y with \(y_{0}=y_{N}=0\).
Proof
Combining (3.6) and (4.1), we get
for \(1\leq i<\frac{N}{2}\) and \(\frac{N}{2}< i< N\). Hence we have
for \(1\leq i<\frac{N}{2}\) and \(\frac{N}{2}< i< N\). Since b is a sufficiently smooth function on Ω̄, there exists a constant \(\kappa \in (0,1)\) such that
for sufficiently large N independent ε. Therefore,
Substituting (4.3) into inequality (4.2), we obtain
From this inequality we get the desired result. □
4.2 Error analysis
Let \(z_{i}=U_{i}-u_{i}\), where \(U_{i}\) is the solution of problem (3.4)-(3.5), and \(u_{i}\) is the solution of problem (1.1)-(1.2) at mesh point \(x_{i}\). Then the error z satisfies the following discrete problem:
where
The error z of the discrete scheme can be decomposed as follows:
where φ is the solution of problem
and ψ is the solution of problem
Using the same method as in the stability analysis, we can obtain
for sufficiently large N independent of ε, where \(\kappa \in (0,1)\) is a positive constant. Applying the stability inequality (4.2), we have
Combining (4.7) with (4.10), we obtain
that is,
Hence, for estimating the error z, we are left with estimating φ.
The following lemma gives us a useful formula for the truncation error.
Lemma 4.3
Let \(g\in C^{6}[x_{i-1},x_{i+1}]\). Then we have the following estimates:
Proof
It is easy to get the desired results by using the Taylor expansions given in [12]. □
The next lemma gives us the truncation error estimates.
Lemma 4.4
Under assumption (3.1), we have the following bounds of the truncation error R for the difference scheme (3.4)-(3.5):
where \(\Theta = \{ i\vert 1\leq i< N \} \) and \(\theta = \{ \frac{N}{8}, \frac{3N}{8},\frac{N}{2}-2,\frac{N}{2}, \frac{N}{2}+2,\frac{5N}{8}, \frac{7N}{8} \} \).
Proof
It is easy to verify that
(1) For \(x_{i}\in (0,\sigma)\cup (1-\sigma,1)\), using the third bound of (4.12), the mesh widths (4.14), and the bounds of the derivatives for the exact solution in Lemma 2.1, we have
(2) For \(x_{i}\in (\sigma, d-\sigma)\cup (d+\sigma,1-\sigma)\), recalling the decomposition of u in (2.1), we have
For the first term in the right-hand side of (4.16), using the third bound of (4.12), the mesh widths (4.14), and the bound of the regular part v in (2.2) we get
For the second term in the right-hand side in (4.16), using the second bound of (4.12) and the bound of the layer part w in (2.3) we obtain
Therefore, substituting (4.17)-(4.18) into (4.16), we have
(3) For \(x_{i}\in ( d-\sigma,d-\frac{2\sigma }{N^{2}} ) \cup ( d+\frac{2\sigma }{N^{2}},d+\sigma) \cup \{ d-\frac{ \sigma }{N^{2}},d+\frac{\sigma }{N^{2}} \} \), using the third bound of (4.12), the mesh widths (4.14), and the bounds of the derivatives for the exact solution in Lemma 2.1, we have
for \(\frac{3N}{8}< i< \frac{N}{2}-2\), \(\frac{N}{2}+2< i<\frac{5N}{8}\), and \(i=\frac{N}{2}-1\), \(\frac{N}{2}+1\).
(4) For \(x_{i}\in \{ d-\frac{2\sigma }{N^{2}},d+\frac{2\sigma }{N ^{2}} \} \), using the first bound of (4.12), the mesh widths (4.14), and the bounds of the derivatives for the exact solution in Lemma 2.1, we have
(5) For \(x_{i}\in \{ d \} \), we also apply the Taylor expansion about \(x=x_{i}\) to get
where we also have used Lemma 2.1 and the mesh widths (4.14).
(6) For \(x_{i}\in \{ \sigma,1-\sigma,d-\sigma,d+\sigma \} \), we also decompose the truncation error into two parts:
For the first term in the right-hand side in (4.23), using the first bound of (4.12), the mesh widths (4.14), and the bound of the regular part v in (2.2), we get
For the second term in the right-hand side in (4.23), using the fourth bound of (4.12) and the bound of the layer part w in (2.3), we obtain
By applying the analogous methods used in estimating (4.25) we can obtain
where the bound of the truncation error is replaced by the fifth bound of (4.12). Hence, substituting (4.24)-(4.26) into (4.23), we have
Therefore, from (4.15), (4.19)-(4.22), and (4.27) we conclude that the lemma holds. □
Now we can derive our main result for the hybrid difference scheme.
Theorem 4.5
Let u be the solution of problem (1.1)-(1.2), and U be the solution of finite difference scheme (3.4)-(3.5) on the Shishkin-type mesh (3.2). Then, under assumption (3.1), we have the following error estimate:
for sufficiently large N, where C is a positive constant independent of ε and the mesh.
Proof
From (4.11) we know that estimating the error \(U-u\) is equivalent to estimating the bound of φ, which can be done by using a barrier function technique. Following the idea in [12], we define a mesh function as follows:
Consider the discrete barrier function
where C is a positive constant independent of ε and the mesh. By a direct calculation we get
for sufficiently large N. Hence, applying the discrete maximum principle (Lemma 4.1) to \(W\pm \varphi \) on \(\bar{\Omega }^{N}\), we have
5 Numerical experiments
In this section, we verify experimentally the theoretical results obtained in the preceding section. The error estimates and convergence rates for the hybrid difference scheme are presented for two examples presented in [2].
Example 5.1
Consider the reaction-diffusion problem
where
The exact solution of this example is
where the constants ξ and η are
We measure the accuracy in the discrete maximum norm
and the ‘Shishkin’ convergence rate
Numerical results for Example 5.1 are listed in Table 1.
Example 5.2
Consider the reaction-diffusion problem
where
The exact solution of this example is not available. Therefore, we use the double mesh principle to estimate the errors and compute the experiment convergence rates. Because mesh points for N and 2N do not match, we use the piecewise cubic spline interpolation to get the solution for 2N. That is, \(\bar{U}_{\varepsilon }^{2N}(x)\) is a piecewise cubic spline interpolation of the approximated solution \(U_{\varepsilon }^{2N}\), and \(\bar{U}_{\varepsilon }^{2N}(x_{i})\) is the value of the function \(\bar{U}_{\varepsilon }^{2N}(x)\) at mesh point \(x_{i}\) for N. We measure the accuracy in the discrete maximum norm
and the ‘Shishkin’ convergence rate
Numerical results for Example 5.2 are listed in Table 2.
From Tables 1 and 2 we see that the results seem to be ε-uniform as expected and \(R^{N}\) are close to 4 for sufficiently large N independent of ε, which supports the convergence estimate of Theorem 4.5. They indicate that the theoretical results are fairly sharp.
6 Conclusion
In this paper, we presented a high-order finite difference method for solving a singularly perturbed reaction-diffusion problem with a discontinuous source term. This difference scheme is a combination of a nonequidistant generalization of the Numerov scheme on the Shishkin-type mesh except for the point of discontinuity and a second-order difference scheme on an additional refined mesh at the point of discontinuity. This hybrid difference scheme for the singularly perturbed reaction-diffusion problem with a discontinuous source term is a modification of the difference scheme used in [11–14] for the singularly perturbed reaction-diffusion problem with sufficiently smooth data. Although the difference scheme does not satisfy the discrete maximum principle, the maximum norm stability of the scheme is established. We have shown that the scheme has accuracy \(O( { ( N^{-1}\ln N ) ^{4}})\) in the discrete maximum norm, independently of perturbation parameter. Numerical experiments support these theoretical results.
References
Chandru, M, Prabha, T, Shanthi, V: A hybrid difference scheme for a second-order singularly perturbed reaction-diffusion problem with non-smooth data. Int. J. Appl. Comput. Math. 1, 87-100 (2015)
Miller, JJH, O’Riordan, E, Shishkin, GI, Wang, S: A parameter-uniform Schwarz method for a singularly perturbed reaction-diffusion problem with an interior layer. Appl. Numer. Math. 35, 323-337 (2000)
Farrell, PA, Hegarty, AF, Miller, JJH, O’Riordan, E, Shishkin, GI: Robust Computational Techniques for Boundary Layers. Chapman & Hall/CRC Press, New York (2000)
Kadalbajoo, MK, Gupta, V: A brief survey on numerical methods for solving singularly perturbed problems. Appl. Math. Comput. 217, 3641-3716 (2010)
Roos, H-G, Zarin, H: A second-order scheme for singularly perturbed differential equations with discontinuous source term. J. Numer. Math. 10, 275-289 (2002)
Farrell, PA, O’Riordan, E, Shishkin, GI: A class of singularly perturbed semilinear differential equations with interior layers. Math. Comput. 74, 1759-1776 (2005)
Boglaev, I, Pack, S: A uniformly convergent method for a singularly perturbed semilinear reaction-diffusion problem with discontinuous data. Appl. Math. Comput. 182, 244-257 (2006)
de Falco, C, O’Riordan, E: Interior layers in a reaction-diffusion equation with a discontinuous diffusion coefficient. Int. J. Numer. Anal. Model. 7, 444-461 (2010)
Rao, SCS, Chawla, S: Interior layers in coupled system of two singularly perturbed reaction-diffusion equations with discontinuous source term. Lect. Notes Comput. Sci. 8236, 445-453 (2013)
Brayanov, IA: Numerical solution of a two-dimensional singularly perturbed reaction-diffusion problem with discontinuous coefficients. Appl. Math. Comput. 182, 631-643 (2006)
Herceg, D: Uniform fourth order difference scheme for a singular perturbation problem. Numer. Math. 56, 675-693 (1990)
Linß, T: Robust convergence of a compact fourth-order finite difference scheme for reaction-diffusion problems. Numer. Math. 111, 239-249 (2008)
Sun, G, Stynes, M: An almost fourth order uniformly convergent difference scheme for a semilinear singularly perturbed reaction-diffusion problem. Numer. Math. 70, 487-500 (1995)
Vulanović, R: Fourth order algorithms for a semilinear singular perturbation problem. Numer. Algorithms 16, 117-128 (1997)
Acknowledgements
We would like to thank the anonymous reviewer for some suggestions for the improvement of this paper. The work was supported by Humanities and Social Sciences Planning Fund of Ministry of Education of China (Grant No. 14YJC790006), Zhejiang Province Natural Science Foundation (Grant No. Y17D010024), Ningbo Municipal Natural Science Foundation (Grant Nos. 2017A610131, 2017A610140, 2015A610161), Ningbo Municipal Soft Science Foundation (Grant No. 2015A10045) and Soft Science Project of Zhejiang Province (Grant No. 2015C35007).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this paper. The authors confirm that the mentioned received funding in the ‘Acknowledgements’ section does not lead to any conflict of interests regarding the publication of this manuscript.
Authors’ contributions
All authors read and approved the final manuscript.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cen, Z., Le, A. & Xu, A. A high-order finite difference scheme for a singularly perturbed reaction-diffusion problem with an interior layer. Adv Differ Equ 2017, 202 (2017). https://doi.org/10.1186/s13662-017-1268-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1268-1