Abstract
The aim of this paper is to present a monotone numerical method on uniform mesh for solving singularly perturbed three-point reaction–diffusion boundary value problems. Firstly, properties of the exact solution are analyzed. Difference schemes are established by the method of the integral identities with the appropriate quadrature rules with remainder terms in integral form. It is then proved that the method is second-order uniformly convergent with respect to singular perturbation parameter, in discrete maximum norm. Finally, one numerical example is presented to demonstrate the efficiency of the proposed method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this research paper, we treat the following singularly perturbed boundary value problem with nonlocal boundary condition:
where \(0<\varepsilon \ll 1\) is a perturbation parameter, A, B, \(\gamma >0\), \(\delta \) and d are given constants, \(a(x)\ge \alpha >0\) and f(x) denote sufficiently smooth real functions of x, so that a unique solution \( u\left( x\right) \) exists for all small \(\varepsilon \) values. This solution has in general boundary layers at \(x=0\) and \(x=l\) as \(\varepsilon \) near 0.
Singularly perturbed differential equations are typically characterized by the presence of a small positive parameter \(\varepsilon \) multiplying some or all of the highest order terms in differential equations. Such types of problems arise frequently in mathematical models of different areas of physics, chemistry, biology, engineering science, economics and even sociology. The well-known examples are heat transfer problem with large Peclet numbers, semiconductor theory, chemical reactor theory, reaction–diffusion process, theory of plates, optimal control, aerodynamics, seismology, oceanography, meteorology, geophysics and so on. Solutions of such equations usually possesses thin boundary or interior layers where the solutions change very rapidly, while away from the layers the solutions behaves regularly and change slowly. More details about these problems can be found in [28, 34, 35, 39] and also the literature cited there.
Due to the presence of these boundary layers, the usual numerical treatment of singularly perturbed problems gives rise to computational difficulties. Standard numerical methods are not appropriate for practical applications when the perturbation parameter \(\varepsilon \) is sufficiently small. Therefore, it is necessary to develop suitable numerical methods that are uniformly convergent with respect to \(\varepsilon \). To solve these problems, there are generally two types approaches, such as fitted operator methods that are reflect the nature of the solution in the boundary layers and fitted mesh methods which use layer-adapted meshes. In resent years, many authors have worked for solving singularly perturbed problems with one or two boundary layers using uniformly convergent numerical methods [20, 22, 27, 30, 31, 33, 37].
Boundary value problems including nonlocal conditions which connect the values of the unknown solution at the boundary with values in the interior are known as nonlocal boundary value problems (so-called multi-point BVP or m-point BVP). The study of this kind of problems was initiated by Il’in and Miseev in [24, 25], motivated by the work of Bitsadze and Samarskii on nonlocal linear elliptic boundary value problems [6]. These problems have been used to represent mathematical models of a large number of phenomena, such as problems of semiconductors in electronics, the vibrations of a guy wire of a uniform cross-section, heat transfer problems, problems of hydromechanics, catalytic processes in chemistry and biology, the diffusion-drift model of semiconducting devices and some other physical phenomena [1, 23, 36]. The existence and uniqueness of the solutions of nonlocal boundary value problems have been studied by many authors [5, 26]. Some approaches for the numerical solution of singularly perturbed nonlocal boundary value problems have been proposed in [2, 7,8,9, 13,14,15, 17, 21, 29, 38]. Uniformly convergent numerical methods of order second and high for solving different singularly perturbed problems have been studied in [4, 10,11,12, 16, 32, 40]. In [18, 19], an accelerated finite difference method for solving singularly perturbed problems with integral boundary condition has been considered. The singularly perturbed nonlocal problem (1.1)–(1.3 ) is different from the singularly perturbed three-point problem considered in [10]. To the best of our knowledge, no work has been done for the second-order uniformly convergent numerical methods for singularly perturbed nonlocal boundary value problems of reaction–diffusion type.
Motivated by paper [2], we give a second-order uniformly convergent numerical method for solving singularly perturbed three-point boundary value problem. The structure of the article is organized as follows: In the next section we demonstrate the asymptotic behavior of the exact solution and its first derivative with respect to \(\varepsilon \). In Sect. 3, we describe the finite difference discretization on a uniform mesh. In Sect. 4, we show that the scheme is \(\varepsilon \)-uniform convergence in discrete maximum norm. In Sect. 5, we present one numerical experiment. Finally, this paper ends with conclusion.
Notation. Throughout the paper we will denote by C a generic positive constant which is independent of \(\varepsilon \) and the mesh parameter. For any continuous function \(g\left( x\right) \) defined on the corresponding interval, we use the maximum norm \(\left\| g\right\| _{\infty }=\underset{x\in \left[ 0,l\right] }{\max }\left| g\left( x\right) \right| \).
2 Continuous problem
Here we establish the asymptotic estimates of the problem (1.1)–(1.3) that are needed in later sections for the analysis appropriate numerical solutions.
Lemma 2.1
Let u(x) be the solution of the problem (1.1)–(1.3) and assume that \(a,f\in C^{1}[0,l]\). Moreover,
where \(u_{1}\left( x\right) \) is the solution of the two-point boundary value problem
Then, the estimates
and
hold.
Proof
The proof of Lemma 2.1 is similar to that of [2]. \(\square \)
3 Generation of the difference scheme
In what follow, we denote by \(\omega _{h}\) an uniform mesh on \(\left[ 0,l \right] :\)
Assume that \(N_{1}=\frac{dN}{l}\) is an integer. To simplify the notation we set \(g_{i}=g\left( x_{i}\right) \) for any function \(g\left( x\right) \) while \(y_{i}\) denotes an approximation of \(u\left( x\right) \) at \(x_{i}\). For any mesh function \(g\left( x_{i}\right) \) defined on \({\bar{\omega }}_{h}\) we use
For (1.1), our discretization will begin with identity
with the basis functions \(\left\{ \varphi _{i}(x)\right\} _{i=1}^{N-1}\) having the form
We also note that the functions \(\varphi _{i}^{(1)}(x)\) and \(\varphi _{i}^{(2)}(x)\), respectively, are the solutions of the following problems
and
Integration by parts and a little rearrangement show that (3.1) may be rewritten as
where
Applying the formulas (2.1) and (2.2) from [3] to subintervals \(\left( x_{i-1},\text { }x_{i}\right) \) and \(\left( x_{i},\text { }x_{i+1}\right) \) with the weight functions \(\varphi _{i}^{(1)}(x)\) and \(\varphi _{i}^{(2)}(x)\) , we obtain the following precise relation
with
Thus, from (3.2) and (3.4) we get
In order to present an approximation for the boundary condition (1.2), we now begin by identity
where
Note that the basis function \(\varphi _{0}(x)\) is the solution of the problem
Then, using the same method as that in (3.6) for (3.7) we obtain
where
Based on (3.6) and (3.8), we propose the following difference scheme for approximating the problem (1.1)–(1.3)
where \(\theta _{i}\), \(\theta _{0}\), \(\kappa _{1}\) and \(\kappa _{2}\) are given by (3.5), (3.9), (3.10) and (3.11), respectively.
We can write the difference scheme (3.14)–(3.16) of the form
where
Since \(A_{i}=\varepsilon \theta _{i}>0\), \(B_{i}=\varepsilon \theta _{i}>0\) and \(D_{i}=C_{i}-A_{i}-B_{i}=a_{i}h^{2}\ge 0\), the difference scheme (3.14)–(3.16) is monotone.
4 Convergence results
For the error \(z_{i}=y_{i}-u_{i}\), \(0\le i\le N\) from (3.6), (3.8) and (3.14)–(3.16) we have
where the truncation errors \({R}_{i}\) and r are defined by (3.3) and (3.12), respectively.
Lemma 4.1
Assume that \(a,f\in C^{2}\left[ 0,l\right] \) and \(a^{\prime }(0)=a^{\prime }(l)\). Then the truncation errors of the difference scheme (3.6) and (3.8) satisfy
Proof
We first prove the inequality (4.4). To this end we split \({R}_{i}\) as
with
Here we first handle with \({R}_{i}^{(2)}\). Using Taylor expansion for the function f(x) in (4.8), we get
After taking also into account that
the inequality (4.9) reduces to
Therefore, from the inequality (4.10) we obtain
Next we handle with \({R}_{i}^{(1)}\) for \(1<i<N-1\). Using the relations
and
in (4.7), we get
After taking into account (4.9) in (4.12) we have
For the second term in right-side of (4.13) we obtain
For the first expression in right-side of (4.13), after using (2.3) we get
Let us estimate the second and third expressions inside the brackets in (4.15) separately.
For the second term on right-side in (4.15) we have
We also have used the inequality \(te^{-t}\le e^{-\frac{t}{2}}\) for \(t>0\) and the condition \(a^{\prime }(0)=0\) in (4.16). The same estimate, under the condition \(a^{\prime }(l)=0\), is obtained for the third term on right-side in (4.15). Next, substituting the estimates (4.14) and (4.16) in (4.13) we obtain
Using the estimates (4.11) and (4.17) in (4.6), we get
We now prove the inequality (4.4) for \(i=1\) (It is proved for case \( i=N-1\) in a similar way). From (4.6) we rewrite \({R}_{1}\) as
For the second term on right side in (4.18) as before, we can easily obtain
By using the relations
and
for the first term on right side in (4.18), we can easily get
It is obvious that the second term on right side in (4.20)is
Using the condition \(a^{\prime }(0)=0\) and the inequality (2.3) for the first term on right side in (4.20), we obtain
From (4.21) and (4.22), we have
Hence, from (4.19) and (4.23) we have
This completes the proof of (4.4).
We now estimate the inequality (4.5). We can rewrite (3.12) in the form
where
We first estimate the relation (4.25). Using the condition \(a^{\prime }(0)=0\) and Taylor expansion
in (4.25), we obtain
We then estimate the relation (4.26). From (4.26) we obtain
Taking into account (4.27) and (4.28) in (4.24), we arrive at (4.5). Thus, the proof of lemma is completed. \(\square \)
Lemma 4.2
Let \(z_{i}\), \(0\le i\le N\) be the solution of the problem (4.1)–(4.3) and moreover
Then the following estimate holds
Proof
The solution of difference problem (4.1)–(4.3) can be expressed as
where the functions \(z_{i}^{\left( 0\right) }(x)\) and \(z_{i}^{\left( 1\right) }\) \(\left( 0\le i\le N\right) \) are the solutions of the following problems, respectively.
and
From (4.30) we have
For difference problem (4.31)–(4.33) according to the maximum principle, we get
For the estimate of the problem (4.34)–(4.36) we have
Hence, substituting the estimates (4.38), (4.39) and \(\left| \lambda \right| \le Ch^{2}\) into (4.37) we arrive at (4.29). \(\square \)
We now can statement the convergence result of this paper.
Theorem 4.1
Let u be the solution of (1.1)–(1.3) and y the solution of (4.3)–(4.5). Then, under the conditions of Lemmas 4.1 and 4.2, the following \(\varepsilon \)-uniform error estimate holds
Proof
The proof of Theorem 4.1 follows from combining Lemmas 4.1 and 4.2. \(\square \)
5 Numerical results
In this section, we present one numerical example to demonstrate the applicability and the efficiency of the proposed method.
Example 5.1
Consider the following singularly perturbed nonlocal boundary value problem.
The exact solution of the problem is
We define the maximum point-wise error and the computed \(\varepsilon \)-uniform maximum point-wise error as follows
where u is the exact solution and y is the numerical solution obtained for various values of N and \(\varepsilon \). We also define the rate of convergence and compute the \(\varepsilon \)-uniform rate of convergence by the form
We give the maximum point-wise errors and the rates of convergence obtained for the values \(\varepsilon =2^{-i}\), \(i=2,4,\ldots ,20\) and \( N=64,128,256,512,1024\) by our method in Table 1. We observe that \( \varepsilon \)-uniform experimental rate of convergence is close to 2 for sufficiently large N. The numerical results support the theoretical rate estimation given by Theorem 4.1. Furthermore, graphics for Example 5.1 are shown in Figs. 1, 2, 3.
6 Conclusion
In this article, we have presented a second-order \(\varepsilon \)-uniformly convergent numerical method for solving singularly perturbed nonlocal boundary value problems. We have constructed the method on the basis of the method of integral identities with the use of interpolating quadrature rules with the weight and remainder terms in integral form. This approach has the advantage that difference schemes can also be effective in the case where the original problem considered under certain singularities. For the numerical solution of this problem, we have used finite difference schemes on a uniform mesh. We have obtained second-order convergent, in the discrete maximum norm, independently of the singular perturbation parameter \( \varepsilon \). The proposed method is tested on one example and numerical results are shown for various values of \(\varepsilon \) and N in Table 1. We can observe that the numerical results seem to be \(\varepsilon \)-uniform and the rates of convergence are close to 2 for sufficiently large N, independently of the singular perturbation parameter \(\varepsilon \). Hence, it is proved that the method has accuracy of second order.
References
Adzic, N.: Spectral approximation and nonlocal boundary value problems. Novi Sad J. Math. 30(3), 1–10 (2000)
Amiraliyev, G.M., Cakir, M.: Numerical solution of the singularly perturbed problem with nonlocal condition. Appl. Math. Mech. (Engl. Ed.) 23(7), 755–764 (2002)
Amiraliyev, G.M., Mamedov, Y.D.: Difference schemes on the uniform mesh for singular perturbed pseudo-parabolic equations. Turk. J. Math. 19, 207–222 (1995)
Arslan, D.: A new second-order difference approximation for nonlocal boundary value problem with boundary layers. Math. Model. Anal. 25(2), 257–270 (2020)
Benchohra, M., Ntouyas, S.K.: Existence of solutions of nonlinear differential equations with nonlocal conditions. J. Math. Anal. Appl. 252, 477–483 (2000)
Bitsadze, A.V., Samarskii, A.A.: On some simpler generalization of linear elliptic boundary value problem. Dokl. Akad. Nauk SSSR 185, 739–740 (1969)
Cakir, M., Cimen, E., Amiraliyev, G.M.: The difference schemes for solving singularly perturbed three-point boundary value problem. Lith. Math. J. 60(2), 147–160 (2020)
Cakir, M.: A numerical study on the difference solution of singularly perturbed semilinear problem with integral boundary condition. Math. Model. Anal. 21(5), 644–658 (2016)
Cakir, M., Amiraliyev, G.M.: A finite difference method for the singularly perturbed problem with nonlocal boundary condition. Appl. Math. Comput. 160, 539–549 (2005)
Cakir, M.: Uniform second-order difference method for a singularly perturbed three-point boundary value problem. Adv. Differ. Equ. 2010, 1–13 (2010). https://doi.org/10.1155/2010/102484
Cen, Z.: A second- order finite difference scheme for a class of singularly perturbed delay differential equations. Int. J. Comput. Math. 87(1), 173–185 (2010)
Cen, Z., Le, A., Xu, A.: Parameter-uniform hybrid difference for solutions and derivatives in singularly perturbed initial value problems. J. Comput. Appl. Math. 320, 176–192 (2017)
Ciegis, R.: The numerical solution of singularly perturbed nonlocal problem (in Russian). Lietuvas Matematica Rink 28, 144–152 (1988)
Ciegis, R.: The difference scheme for problems with nonlocal conditions. Informatica (Lietuva) 2, 155–170 (1991)
Cimen, E., Cakir, M.: Numerical treatment of nonlocal boundary value problem with layer behavior. Bull. Belgian Math. Soc. Simon Stevin 24, 339–352 (2017)
Clavero, C., Gracia, J.L., Lisbona, F.: High order methods on Shishkin meshes for singular perturbation problems of convection-diffusion type. Numer. Algorithms 22, 73–97 (1999)
Debela, H.G., Duressa, G.F.: Uniformly convergent numerical method for singularly perturbed convection-diffusion type problems with non-local boundary condition. Int. J. Numer. Methods Fluids 92, 1914–1926 (2020)
Debela, H.G., Duressa, G.F.: Accelerated fitted operator finite difference method for singularly perturbed delay differential equations with non-local boundary condition. J. Egypt. Math. Soc. 28, 1–16 (2020)
Debela, H.G., Duressa, G.F. Accelerated exponentially fitted operator method for singularly perturbed problems with integral boundary condition. Int. J. Differ. Equ. 2020; Article ID 9268181, 8 pages
Doolan, E.P., Miller, J.J.H., Schilders, W.H.A.: Uniform Numerical Method for Problems with Initial and Boundary Layers. Boole Press, Dublin (1980)
Du, Z., Kong, L.: Asymptotic solutions of singularly perturbed second-order differential equations and application to multi-point boundary value problems. Appl. Math. Lett. 23(9), 980–983 (2010)
Farell, P.A., Hegarty, A.F., Miller, J.J.H., O’Riordan, E., Shishkin, G.I.: Robust Computational Techniques for Boundary Layers. Chapman Hall/CRC, New York (2000)
Herceg, D., Surla, K.: Solving a nonlocal singularly perturbed nonlocal problem by splines in tension. Univ. u Novom Sadu Zb. Rad. Prirod.-Mat. Fak. Ser. Mathematics 21(2), 119–132 (1991)
Il’in, V.A., Moiseev, E.I.: Nonlocal boundary value problem of the first kind for a Sturm-Liouville operator in its differential and finite difference aspects. Differ. Equ. 23(7), 803–810 (1987)
Il’in, V.A., Moiseev, E.I.: Nonlocal boundary value problem of the second kind for a Sturm-Liouville operator. Differ. Equ. 23, 979–987 (1987)
Jankowski, T.: Existence of solutions of differential equations with nonlinear multipoint boundary conditions. Comput. Math. Appl. 47, 1095–1103 (2004)
Kadalbajoo, M.K., Gupta, V.: A brief of survey on numerical methods for solving singularly perturbed problems. Appl. Math. Comput. 217, 3641–3716 (2010)
Kevorkian, J., Cole, J.D.: Multiple Scale and Singular Perturbation Methods. Springer, New York (1996)
Kudu, M., Amiraliyev, G.M.: Finite difference method for a singularly perturbed differential equations with integral boundary condition. Int. J. Math. Comput. 26(3), 72–79 (2015)
Kumar, M., Singh, P., Misra, H.K.: A recent survey on computational techniques for solving singularly perturbed boundary value problems. Int. J. Comput. Math. 84(10), 1439–1463 (2007)
Kumar, V., Srinivasan, B.: An adaptive mesh strategy for singularly perturbed convection diffusion problems. Appl. Math. Model. 39, 2081–2091 (2015)
Kumar, M., Rao, C.S.: Higher order parameter-robust numerical method for singularly perturbed reaction–diffusion problems. Appl. Math. Comput. 216, 1036–1046 (2010)
Linss, T.: Layer-adapted meshes for convection-diffusion problems. Comput. Methods Appl. Mech. Eng. 192, 1061–1105 (2003)
Nayfeh, A.H.: Perturbation Methods. Wiley, New York (1985)
O’Malley, R.E.: Singular Perturbation Methods for Ordinary Differential Equations. Springer, New York (1991)
Petrovic, N.: On a uniform numerical method for a nonlocal problem. Univ. u Novom Sadu Zb. Rad. Prirod.-Mat. Fak. Ser. Mathematics 21(2), 133–140 (1991)
Roos, H.G., Stynes, M., Tobiska, L.: Robust Numerical Methods Singularly Perturbed Differential Equations. Springer, Berlin (2008)
Sapagovas, M., Ciegis, R.: Numerical solution of nonlocal problems (in Russian). Lietuvas Matematica Rink 27, 348–356 (1987)
Smith, D.R.: Singular Perturbation Theory. Cambridge University Press, Cambridge (1985)
Zheng, Q., Li, X., Gao, Y.: Uniformly convergent hybrid schemes for solutions and derivatives in quasilinear singularly perturbed BVPs. Appl. Numer. Math. 91, 46–59 (2015)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Cakir, M., Amiraliyev, G.M. A second order numerical method for singularly perturbed problem with non-local boundary condition. J. Appl. Math. Comput. 67, 919–936 (2021). https://doi.org/10.1007/s12190-021-01506-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12190-021-01506-z
Keywords
- Singular perturbation
- Exponentially fitted difference scheme
- Uniformly convergence
- Nonlocal condition
- Second-order accuracy