- Research
- Open access
- Published:
An efficient adaptive grid method for a system of singularly perturbed convection-diffusion problems with Robin boundary conditions
Advances in Difference Equations volume 2021, Article number: 6 (2021)
Abstract
A system of singularly perturbed convection-diffusion equations with Robin boundary conditions is considered on the interval \([0,1]\). It is shown that any solution of such a problem can be expressed to a system of first-order singularly perturbed initial value problem, which is discretized by the backward Euler formula on an arbitrary nonuniform mesh. An a posteriori error estimation in maximum norm is derived to design an adaptive grid generation algorithm. Besides, in order to establish the initial values of the original problems, we construct a nonlinear optimization problem, which is solved by the Nelder–Mead simplex method. Numerical results are given to demonstrate the performance of the presented method.
1 Introduction
In this paper, we consider the following strongly coupled system of singularly perturbed convection-diffusion Robin boundary conditions problems:
where \(\overrightarrow{u}(x)=(u_{1}(x),u_{2}(x))^{T}\), \(0\leq \varepsilon _{1},\varepsilon _{2}\ll 1\), are the perturbation parameters, \(\beta _{1}\), \(\beta _{2}\), \(\gamma _{1}\), \(\gamma _{2}\), \(s_{ij}\ (i,j=1,2)\) are given constants. For each \(i,j=1,2\) and \(x\in [0,1]\), \(a_{ij}(x)\) are sufficiently smooth functions, and there exist constants \(\alpha _{i}\ (i=1,2)\) and C such that
where \(\alpha =\min \{ \alpha _{1},\alpha _{2} \} \), \(k=1,2\). Under these conditions, there exists a unique solution \(\overrightarrow{u}(t)\) of problem (1.1). Such type of problems appear in optimal control problems and in certain resistor-capacitor circuits (see [1]).
It is well known that many numerical methods have been developed for the solution of singularly perturbed problems (see [2–4] for example). To capture the singularly perturbed nature of these problems, one effective approach is based on the use of meshes that are designed to be very fine where sharp layer appears in the solution. Such meshes contain two classes: special meshes (e.g., Shishkin meshes) that are chosen by a priori information and adaptive meshes that are generated by a grid iterative algorithm. Over the past few decades, the special mesh approach [5–10] was used to solve some system of singularly perturbed problems. The authors in [11, 12] proposed adaptive grid methods to solve the system of singularly perturbed convection-diffusion problems with Dirichlet boundary conditions. As far as we know, the adaptive grid methods for the system of singularly perturbed convection-diffusion Robin boundary problems are not found in the literature.
In this paper, we propose an adaptive grid method to solve the above problem (1.1). An upwind finite difference scheme is developed to approximate the system of first-order singularly perturbed differential equations transformed from problem (1.1). Then, an a posteriori error estimate for the presented finite difference scheme is derived, which is used to design an adaptive grid algorithm(see [13]). In addition, in order to establish the approximation values of \(u'_{1}(0)\) and \(u'_{2}(0)\), we design a nonlinear optimization problem, which is solved by the Nelder–Mead simplex method [14]. Finally, linear and nonlinear numerical examples are used to verify the effectiveness and practicability of the proposed adaptive grid method.
Notations. Throughout this paper, let C be a generic positive constant that is independent of all perturbation parameters \(\varepsilon _{i}\) (\(i=1,2\)) and mesh parameter N. It may take different values in different place. Besides, in our estimates, we use the \(L_{\infty }\) norm defined by
For vector-valued functions \(\mathbf{v}= (v_{1}(x),v_{2}(x) )^{T}\), let \(|\mathbf{v}|= (|v_{1}(x)|,|v_{2}(x)| )^{T}\) and \(\|\mathbf{v}\|_{\infty }=\max \{ \|v_{1}\|_{\infty },\|v_{2}\|_{ \infty } \} \). For a real-valued mesh function \(\varphi:= \{ \varphi (x_{i}) \} _{i=0}^{N}\), define the discrete maximum norm for such functions by \(\|\varphi \|_{\infty }=\max_{i=0,1,\ldots,N}|\varphi (x_{i})|\). For vector mesh functions \(\mathbf{V}:= \{ (V_{1}(x_{i}),V_{2}(x_{i}))^{T} \} _{i=0}^{N}\), we set \(\|\mathbf{V}\|_{\infty }=\max \{ \|V_{1}\|_{\infty }, \|V_{2}\|_{ \infty } \} \).
2 Reformulation of the boundary value problem
Our numerical method for solving (1.1) is based on reformulating it as a system of first-order singularly perturbed differential equations, for which we will design an adaptive grid method.
Now, we integrate the two sides of the first two equations of problem (1.1) from 0 to x and write it into the following matrix form:
where \(\overrightarrow{u}(x)=(u_{1}(x),u_{2}(x))^{T}\), \(E=\operatorname{diag}(\varepsilon _{1},\varepsilon _{2})\), \(\overrightarrow{F}(x)=\int _{0}^{x}\overrightarrow{f}(t)\,\mathrm{d}t\), \(\overrightarrow{f}(t)= (f_{1}(t),f_{2}(t) )^{T}\), \(\overrightarrow{\eta }=(\eta _{1}, \eta _{2})^{T}\), \(\overrightarrow{\theta }=(\theta _{1},\theta _{2})^{T}\), and
Then, from the Robin boundary conditions of problem (1.1), we have
where . It should be pointed out that the constant vector \(\overrightarrow{\eta }\) is an initial condition which will be adjusted so that the solution satisfies the right Robin boundary condition of problem (1.1). In recent years, the numerical methods of this type of equations were discussed in [15, 16]. Our numerical method for solving (1.1) is based on discretizing (2.1). That is, we solve our original Robin boundary problems by applying the adaptive grid approach to solve problem (2.1). This numerical method is cheap: a direct method to settle (1.1) would entail solving a linear system of equations with \(2N+2\) unknowns, but when using (2.1) instead, we only solve N second-order linear systems.
For the later analysis of our numerical method, further information about the structure of the continuous solution \(\overrightarrow{u}(x)\) of (2.1) is needed. We shall mainly consider the following stability result for problem (2.1).
Lemma 2.1
(Stability result)
The solution \(\overrightarrow{u}(x)\) of the initial value problem (2.1) satisfies the following inequality:
Proof
The proof can be seen in Theorem 2.4 of [15]. □
Corollary 2.1
For two given function vectors \(\overrightarrow{v}(x)\) and \(\overrightarrow{w}(x)\), let
and
where \(\overrightarrow{G}(x)\) is a piecewise continuous function vector. Then we have
3 Discretization and nonuniform mesh
3.1 Finite difference discretization
Let \(\bar{\Omega }_{N}=\{x_{i}|0=x_{0}< x_{1}<\cdots <x_{N}=1\}\) be an arbitrary nonuniform mesh and \(h_{i}=x_{i}-x_{i-1}, i=1,\ldots,N\), be the local mesh size. Then the finite difference scheme of (2.1) can be constructed as follows:
where \(D^{-}\overrightarrow{U}_{i}= \frac{\overrightarrow{U}_{i}-\overrightarrow{U}_{i-1}}{h_{i}}\), \(A_{i}=A(x_{i})\), and \(\overrightarrow{U}_{i}=(U_{1i},U_{2i})^{T}\) is the approximation solution of \(\overrightarrow{u}(x_{i})\). Here, we use \(\sum_{j=1}^{i}\int _{x_{j-1}}^{x_{j}}\overrightarrow{f}(x_{j})\,\mathrm{ d}t\) to approximate the integral term \(\int _{0}^{x_{i}}\overrightarrow{f}(t)\,{\mathrm{ d}t}\).
Next, we give the stability property for the discrete scheme (3.1). The discrete maximum principle implies the following discrete stability result.
Theorem 3.1
Let \(\{ \overrightarrow{U}_{i} \} _{i=0}^{N}\) be the solution of difference scheme (3.1) computed on an arbitrary mesh \(\{ x_{i} \} _{i=0}^{N}\). Then we have
Proof
The proof can be seen in Lemma 3.2 of [14]. □
3.2 Nonuniform mesh generation algorithm
It is well known that many researchers developed an adaptive grid method to solve the single singularly perturbed differential equation (see, e.g., [15–19]). In these works, the authors used the arc-length monitor function to design a grid generation algorithm. Recently, Liu and Chen [13] proposed an adaptive grid method for a system of singularly perturbed differential equations.
In this paper, similar to [13, 17], we also choose the following monitor function:
where \(\widetilde{U}_{j}(x)\in C(0,1]\) is a piecewise linear interpolation function through the knots \((x_{i},U_{j,i} )\), \(j=1,2\), \(i=0,1,\ldots,N\). Thus, the key technologies of the adaptive mesh method is to find \((x_{i},U_{j,i} )\) such that
where \(j=1,2, i=0,1,\ldots,N-1\).
Here, in order to solve the above equidistribution problem (3.2), we construct the following grid iteration algorithm [17].
Step 1. Let \(k=0\), choose \(\bar{\Omega }_{N}^{(k)}= \{ x_{i}|x_{i}=i/N,i=0,1,\ldots,N \} \) as an initial mesh.
Step 2. For given k, assume that the mesh \(\bar{\Omega }_{N}^{(k)}= \{ x_{0}^{(k)},x_{1}^{(k)},\ldots,x_{N}^{(k)} \} \) and the corresponding computational solutions \(\{ U_{j,i}^{(k)} \} \) satisfy (3.2). Let \(h_{i}^{(k)}=x_{i}^{(k)}-x_{i-1}^{(k)}\) for each i and
be the maximum arc-length between the points \((x_{i-1}^{(k)},U_{j,i-1}^{(k)} )\) and \((x_{i}^{(k)},U_{j,i}^{(k)} )\) in the piecewise linear computed solutions \(\widetilde{U}_{j}^{(k)}(x)\), where \(j=1,2\). Then
Step 3. Choose a user-chosen constant \(C_{0}>1\). If \(C_{0}\) satisfies the following stopping criterion:
then go to Step 5. Otherwise, continue to Step 4.
Step 4. Generate a new mesh \(\bar{\Omega }_{N}^{(k+1)}= \{ 0=x_{0}^{(k+1)}< x_{1}^{(k+1)}< \cdots <x_{N}^{(k+1)}=1 \} \) such that
where \(i=1,2,\ldots,N \). \(k=k+1\), return to Step 2.
Step 5. Set \(x_{i}^{*}=x_{i}^{(k+1)}\) and \(U_{j,i}^{*}=U_{j,i}^{(k+1)}\), \(j=1,2\), \(i=0,1,\ldots,N\), then stop.
4 A posterior error analysis
Let \(\overrightarrow{U}^{N}(x)\) be a piecewise linear interpolation function vector of the solution \(\{ \overrightarrow{U}_{i} \} _{i=0}^{N}\), this yields
Then, based on this interpolation function (4.1), we can derive the following a posteriori error estimate for the discrete scheme (3.1).
Theorem 4.1
Let \(\overrightarrow{u}(x)\) be the exact solution of equation (2.1), \(\overrightarrow{U}_{i}\) be the discrete solution of equation (3.1), and \(\overrightarrow{U}^{N}(x)\) be its piecewise linear interpolation function vector defined in (4.1). Then we have
Proof
By the definition of the differential operator \(\mathcal{L}\), we have
where
For the first term of (4.3), we have
where condition (1.4) is used.
Obviously, the second term of (4.3) satisfies the following estimation:
For the third term of (4.3), we have
where we have used the assumptions of \(a_{ij}(x)\) and Theorem 3.1.
Combined with (4.3)–(4.6) and Corollary 2.1, we can obtain
 □
5 Numerical results and discussion
In Sect. 5.1, we first design a numerical method to obtain the parameter vector \(\overrightarrow{\theta }\) defined in (3.1). Then, numerical experiments are presented in Sect. 5.2 to demonstrate the validity and efficiency of the presented adaptive grid method. In the numerical experiments below, we shall take \(C_{0}=1.1\).
For comparison purpose, the presented finite difference scheme (3.1) is also studied on a piecewise-uniform Shishkin mesh, which is constructed as follows [20]: Let N be divisible by 3 and \(\lambda >0\) be a mesh parameter. Fixed mesh transition points \(\sigma _{1}\) and \(\sigma _{2}\) are as follows:
Then the mesh is obtained by dividing each of the intervals \([0,\sigma _{1}]\), \([\sigma _{1},\sigma _{2}]\), and \([\sigma _{2},1]\) into \(N/3\) equal subintervals.
5.1 A calculating method of initial values
At first, from the first Robin boundary conditions of problem (1.1), we have
Then, for given \(\overrightarrow{\theta }\), combining with (5.1), we can use the presented adaptive grid method to calculate the numerical solution \(\overrightarrow{U}_{i}\) of (2.1). Obviously, the numerical solution \(\overrightarrow{U}_{i}\) depends on the value of \(\overrightarrow{\theta }\). Finally, in order to obtain the approximation value of \(\overrightarrow{\theta }\), we construct the following optimization problem:
where .
Since the above objective function \(Z (\overrightarrow{\theta } )\) is an implicit function above variable \(\overrightarrow{\theta }\), we choose the Nelder–Mead simplex method [14] to solve the above nonlinear optimization problem (5.2).
5.2 Example 1: a linear problem
In this section, we give a linear test problem to illustrate the theoretical result of the presented adaptive grid method
with Robin boundary conditions
Here, we choose \(f_{1}(x)\) and \(f_{2}(x)\) to agree with the following exact solutions:
Recalling that \(\overrightarrow{U}_{i}^{N}\) is the solution of the discrete scheme (3.1), we calculate the errors
where \(x_{i}\) are the points in the final mesh generated by the above iteration algorithm. Rates of convergence are calculated by
For different values of \(\varepsilon _{i}\ (i=1,2)\) and N, we use the Nelder–Mead simplex method to calculate the above nonlinear optimization problem (5.2) with \((2,2)^{T}\) as the initial value of \(\overrightarrow{\theta }\). Next, for \(\varepsilon _{1}=2^{-9}\), \(\varepsilon _{2}=2^{-2k}\) and \(\varepsilon _{2}=2^{-9}\), \(\varepsilon _{1}=2^{-2k}\), where \(k=0,1,\ldots,10\), we use the presented adaptive grid method to calculate the test problem with \(N=32,64,128,256,512,1024\), and the errors in the maximum norm, the rates of convergence, and the number of iterations K are given in Tables 1–2. Besides, to illustrate the advantages of the adaptive grid method, we also compare the numerical results computed on an adaptive grid to those obtained on a Shishkin mesh, see Table 3. It is shown from these results that the convergence order of the presented adaptive grid method is first order and the accuracy of adaptive grid method is higher than that of Shishkin mesh method.
For \(\varepsilon _{1}=10^{-6}\), \(\varepsilon _{2}=10^{-8}\), and \(N=64\), Fig. 1 shows the changing process of mesh movement with the number of iterations K. The right-hand part of this figure is labeled with the value of \(C_{0}\) for which the stopping criterion (3.3) becomes an equation. It is shown from Fig. 1 that the solution of Example 1 has a boundary layer at \(x=0\).
5.3 A nonlinear problem
To demonstrate that our presented adaptive grid method can be successfully applied in a nonlinear setting, consider the following system of quasi-linear convection-diffusion equations:
with Robin boundary conditions
As far as we know, the layer-adapted meshes and adaptive grid approaches for a single singularly perturbed quasi-linear two-point boundary value problem have attracted much attention; see [19, 21] and the references therein. However, the adaptive grid method for the system of quasi-linear convection-diffusion equations (5.7)–(5.10) is not found in the literature to the best of our knowledge. Thus, in this paper, we will also use the presented adaptive grid method to solve the following test problem:
The exact solution is unknown, so we take \(\bar{U}_{j}^{2048}(x)\) as our reference solution, which is the piecewise linear interpolation function through points \((x_{i},U_{ji}^{4096} ),i=0,1,\ldots,N\). Then the error in each computed solution can be given as follows:
Here, we also use (5.6) to calculate the rates of convergence.
Let \((-1,1)^{T}\) be the initial value of \(\overrightarrow{\theta }\). Then we utilize the Nelder–Mead simplex algorithm to solve the optimization problem (5.2) for \(\varepsilon _{1}\), \(\varepsilon _{2}\), and N. For \(\varepsilon _{1}=10^{-4}\), \(\varepsilon _{2}=10^{-2k}(k=1,\ldots,5)\), and \(N=32,64,128,256,512,1024\), Table 4 lists the errors and rates of convergence for the numerical solutions of this nonlinear test problem. One can see that the presented adaptive grid method is quite successful: for large N, the errors are robust with respect to \(\varepsilon _{i}\ (i=1,2)\) and the convergence rates are close to one. In addition, the evolution process of the mesh by the above iteration algorithm is given in Fig. 2 for the case \(\varepsilon _{1}=10^{-4}\), \(\varepsilon _{2}=10^{-3}\), and \(N=64\), which shows that this nonlinear test problem also has a boundary layer at \(x=0\).
6 Conclusion
It was shown that a system of singularly perturbed convection-diffusion equations with Robin boundary conditions could be reformulated in terms of a first-order system of singularly perturbed initial value problems. It also led to the development of an efficient adaptive grid method for solving the original problem.
Our numerical experiment has shown that the presented method can achieve first-order convergence. It should be pointed out that the ideas presented in this paper can be used to deal with the other high-order singularly perturbed differential equations with Robin boundary conditions.
Availability of data and materials
Not applicable.
References
Kokotović, P.V.: Applications of singular perturbation techniques to control problems. SIAM Rev. 26, 501–550 (1984)
Turkyilmazoglu, M.: Analytic approximate solutions of parameterized unperturbed and singularly perturbed boundary value problems. Appl. Math. Model. 35, 3879–3886 (2011)
Turkyilmazoglu, M.: Series solution of nonlinear two-point singularly perturbed boundary layer problems. Comput. Math. Appl. 60, 2109–2114 (2010)
Kadalbajoo, M.K., Gupta, V.: A brief survey on numerical methods for solving singularly perturbed problems. Appl. Math. Comput. 217, 3641–3716 (2010)
Bellew, S., O’Riordan, E.: A parameter robust numerical method for a system of two singularly perturbed convection-diffusion equations. Appl. Numer. Math. 51, 171–186 (2004)
O’Riordan, E., Stynes, J., Stynes, M.: A parameter-uniform finite difference method for a coupled system of convection-diffusion two-point boundary value problems. J. Comput. Math. 1, 176–197 (2008)
Cen, Z.: Parameter-uniform finite difference scheme for a system of coupled singularly perturbed convection-diffusion equations. Int. J. Comput. Math. 82, 177–192 (2005)
Priyadharshini, R.M., Ramanujam, N.: Uniformly-convergent numerical methods for a system of coupled singularly perturbed convection-diffusion equations with mixed type boundary conditions. Math. Model. Anal. 18, 577–598 (2013)
Basha, P.M., Shanthi, V.: A numerical method for singularly perturbed second order coupled system of convection-diffusion Robin type boundary value problems with discontinuous source term. Int. J. Appl. Comput. Math. 3, 381–397 (2015)
Rao, S.C.S., Chawla, S.: Robin boundary value problems for a singularly perturbed weakly coupled system of convection-diffusion equations having discontinuous source term. J. Anal. 28, 305–321 (2020)
Linß, T.: Analysis of a system of singularly perturbed convection-diffusion equations with strong coupling. SIAM J. Numer. Anal. 47, 1847–1862 (2009)
Liu, L.B., Chen, Y.: A robust adaptive grid method for a system of two singularly perturbed convection-diffusion equations with weak coupling. J. Sci. Comput. 61, 1–16 (2014)
Liu, L.B., Chen, Y.: An adaptive moving grid method for a system of singularly perturbed initial value problems. J. Comput. Appl. Math. 274, 11–22 (2015)
Olsson, D.M., Nelson, L.S.: The Nelder–Mead simplex procedure for function minimization. Technometrics 17, 45–51 (1975)
Mackenzie, J.: Uniform convergence analysis of an upwind finite difference approximation of a convection-diffusion boundary value problem on an adaptive gird. SIMA J. Numer. Anal. 1, 233–249 (1999)
Qiu, Y., Sloan, D.M., Tang, T.: Numerical solution of a singularly perturbed two-point boundary value problem using equidistribution: analysis of convergence. J. Comput. Appl. Math. 116, 121–143 (2000)
Mohapatra, J., Natesan, S.: Parameter-uniform numerical method for global solution and global normalized flux of singularly perturbed boundary value problems using grid equidistribution. Comput. Math. Appl. 60, 1924–1939 (2010)
Kopteva, N.: Maximum norm a posteriori error estimates for a one-dimensional convection-diffusion problem. SIAM J. Numer. Anal. 39, 423–441 (2001)
Kopteva, N., Stynes, M.: A robust adaptive method for a quasilinear one-dimensional convection-diffusion problem. SIAM J. Numer. Anal. 39, 1446–1467 (2001)
Kumar, S., Kumar, M.: Parameter-robust numerical method for a system of singularly perturbed initial value problems. Numer. Algorithms 59, 185–195 (2012)
Linß, T., Roos, H.G., Vulanovic, R.: Uniform pointwise convergence on Shishkin-type meshes for quasi-linear convection-diffusion problems. SIAM J. Numer. Anal. 38, 897–912 (2000)
Acknowledgements
The authors wish to express their gratitude to the editors.
Funding
This work is supported by the National Science Foundation of China (11761015), the key project of Anhui natural science research (KJ2015A213), the projects of Excellent Young Talents Fund in Universities of Anhui Province (gxyq2017105), the Natural Science Foundation of Guangxi (2020GXNSFAA159010), and the key project of Guangxi Natural Science Foundation (2017GXNSFDA198014, AD20238065) and the Natural Science Key Project Fund of Chizhou University (CZ2018ZR06).
Author information
Authors and Affiliations
Contributions
The first author and the corresponding author provided the problem and gave the proof of the main results, and the other authors finished the numerical experiment. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, LB., Liang, Y., Bao, X. et al. An efficient adaptive grid method for a system of singularly perturbed convection-diffusion problems with Robin boundary conditions. Adv Differ Equ 2021, 6 (2021). https://doi.org/10.1186/s13662-020-03166-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03166-y