 Research
 Open Access
 Published:
A diagonal preconditioner for singularly perturbed problems
Boundary Value Problems volume 2017, Article number: 22 (2017)
Abstract
Using wavelet discretization with a standard wavelet diagonal preconditioning for singularly perturbed twopoint boundary value problems, one can observe that condition numbers of arising stiffness matrices are growing with decreasing parameter ϵ when a nonsymmetric part starts to dominate. We propose here a simple diagonal preconditioning which significantly improves condition numbers of the stiffness matrices with a dominating nonsymmetric part and compare it with a standard wavelet preconditioning. Further, we prove that the condition numbers of diagonally preconditioned stiffness matrices are bounded independent of the matrix size. Numerical examples are given.
Introduction
Many problems in science and technology can be modeled by boundary value problems for singularly perturbed differential equations. Singularly perturbed problems arise for example in the modeling of fluid flow at high Reynolds numbers, water quality problems in river networks, convective heat transport problems with large Peclet numbers, drift diffusion equations of semiconductor device modeling, simulation of oil extraction from underground reservoirs, theory of plates and shells, atmospheric pollution, groundwater transport, and chemical reactor theory. For a detailed survey of different applications, we refer to [1]. Recently also singularly perturbed semilinear boundary value problems with discontinuous coefficients and nonlinear reactiondiffusion equations attracted some attention; see [2, 3] and the references therein. A vast majority of these problems cannot be solved analytically and therefore it is necessary to solve them approximately. In the modeling of the above processes, one can observe boundary and interior layers whose width can be arbitrarily small.
We consider here the following singularly perturbed twopoint boundary value problem:
where \(0 < \epsilon\ll1\) is a parameter, \(p \in C^{2}[0,1]\), \(q \in C^{1}[0,1]\), \(f \in C^{1}[0,1]\), and \(p(x)>\alpha>0\). Then the above problem has a unique solution \(u(x)\) [4]. This equation represents a simple mathematical model of a convectiondiffusion problem and it can be used to model many practical problems. For example the linearized NavierStokes equations at high Reynolds number provide an accurate model of the transition dynamics in the problem of turbulence suppression in channel flow. Problems of these types have solutions which are discontinuous as ϵ is approaching zero and typically possess boundary or interior layers, i.e. regions of rapid change in the solution near the endpoints or some interior points. Therefore, it is usually more difficult to solve them for very small parameter ϵ. Many numerical methods have been suggested to solve such types of problems and a lot of them require information as regards locations and widths of different layers. One of the possibilities to solve them without this information is an application of adaptive methods.
In recent years, there have appeared some promising results in using wavelets to solve singularly perturbed problems. In [5], a nonadaptive numerical method based on wavelets of Hermite cubic splines was presented and improved results were obtained in comparison with other techniques. In [6], the authors constructed wavelets of order 5 with five vanishing wavelet moments with respect to which stiffness matrices for ordinary differential equations with constant coefficients are very sparse (in comparison with other kinds of wavelets) and their condition numbers are similarly small as in [7] for lower order wavelets. Then they applied tensor product wavelets to the adaptive solution of a reactiondiffusion equation in two space dimensions.
In this contribution, we focus on methods based on wavelets. Using wavelet discretization with a standard wavelet diagonal preconditioning for singularly perturbed twopoint boundary value problems, one can observe that the condition numbers of arising stiffness matrices are growing with decreasing parameter ϵ when a nonsymmetric part starts to dominate. In the wavelet methods, the continuous problem is transformed into a wellconditioned discrete problem. And once a wellconditioned nonsymmetric problem is given, squaring will yield a symmetric positive definite formulation [8]. Therefore an efficient preconditioning is very important since the rate of convergence for most iterative linear solvers depends on the condition number of a preconditioned matrix. We propose here a simple diagonal preconditioning which significantly improves the condition numbers of the stiffness matrices with a dominating nonsymmetric part. A diagonal preconditioning is optimal for adaptive wavelet methods in which often stiffness matrices are not explicitly assembled and not stored in a computer memory. This paper is organized as follows: First, we briefly introduce wavelet bases and their properties. Then we propose a new diagonal preconditioning and we prove that the condition numbers of the infinite diagonally preconditioned stiffness matrices are finite. At the end, we provide some numerical examples.
Wavelet bases
We consider here families \(\Psi= \{ \psi_{\lambda}, \lambda \in\mathcal{J} \} \subset L_{2}(0,1)\) of functions (wavelets) that are normalized in \(L_{2}(0,1)\) such that \(\Vert \psi_{\lambda }\Vert _{L _{2}(0,1)}=1\). Let \(\mathcal{J}\) be an infinite index set and \(\mathcal{J}=\mathcal{J}_{\Phi} \cup\mathcal{J}_{\Psi}\), where \(\mathcal{J}_{\Phi}\) is a finite set representing scaling functions living on the coarsest scale. Any index \(\lambda\in\mathcal{J}\) is of the form \(\lambda= ( j,k) \), where \(\vert \lambda \vert =j\) denotes a scale and k denotes spatial location. Further, we will denote \(\mathbf{D}^{s}\) a diagonal matrix, whose diagonal entries are \(2^{s\vert \lambda \vert }\). Then \(\mathbf{D}^{s}\Psi=\{ 2^{s\vert \lambda \vert } \psi_{\lambda}\}\) will denote a scaled wavelet basis. The above notation enables us to write wavelet expansions as
At last, for \(s \geq0\) the space \(H^{s}\) will denote a closed subspace of the Sobolev space \(H^{s} ( 0,1) \), defined e.g. by imposing homogeneous boundary conditions at one or both endpoints, and for \(s < 0\) the space \(H^{s}\) will denote the dual space \(H^{s} := (H ^{s})'\). \(\Vert \cdot \Vert _{H^{s}}\) will denote the corresponding norm. Further \(l_{2}(\mathcal{J})\) will denote the space consisting of the power summable sequences and \(\Vert \cdot \Vert _{l_{2}( \mathcal{J})}\) will denote the corresponding norm.
A family \(\Psi= \{ \psi_{\lambda}, \lambda\in\mathcal{J} \} \subset L_{2}(0,1)\) is called a wavelet basis of \(H^{s}\) for some \(\gamma,\widetilde{\gamma}>0\) and \(s \in( \widetilde{\gamma},\gamma)\), if:

Ψ is a Riesz basis of \(H^{s}\), which means Ψ forms a basis of \(H^{s}\) and there exist constants \(c_{s},C_{s} > 0\) such that for all \(\mathbf{b}= \{ b_{\lambda} \} _{\lambda\in\mathcal{J}} \in l_{2} ( \mathcal{J} ) \) we have
$$ c_{s} \Vert \mathbf{b} \Vert _{l_{2} ( \mathcal{J} ) } \leq \bigl\Vert \mathbf{b}^{T} \mathbf{D}^{s} \Psi\bigr\Vert _{H^{s}} \leq C_{s} \Vert \mathbf{b} \Vert _{l_{2} ( \mathcal{J} ) }, $$(3)where \(\sup c_{s}\), \(\inf C_{s}\) are called Riesz bounds and \(\operatorname{cond}\Psi:= \frac{\inf C_{s}}{\sup c_{s}}\) is called the condition number of Ψ.

Functions are local in the sense that \(\operatorname{diam}( \operatorname{supp}\psi_{\lambda} ) \leq C 2^{\vert \lambda \vert }\) for all \(\lambda\in\mathcal{J}\), where C is a constant independent of λ.

Functions \(\psi_{\lambda}, \lambda\in\mathcal{J}_{\Psi}\), have cancellation properties of order m, i.e.
$$\biggl\vert \int_{0}^{1} v(x) \psi_{\lambda}(x)\,dx \biggr\vert \leq2^{m \vert \lambda \vert } \vert v \vert _{H^{m} ( 0,1) },\quad \forall v \in H^{m} ( 0,1). $$It means that integration against wavelets eliminates smooth parts of functions and it is equivalent with vanishing wavelet moments of order m.
Norm equivalences (3) have the following important consequence which will be used later.
Theorem 1
Let H be a Hilbert space, \(\langle \cdot,\cdot \rangle : H \times H' \mapsto\mathbb{R}\), and suppose that there exist constants \(c, C > 0\) such that
i.e., Ψ is a Riesz basis of H. Then
For the proof, we refer to [8].
The application of wavelets for the numerical solution of differential equations has several advantages, namely:

Vanishing wavelet moments (the cancellation property) lead to sparse representations of functions and operators.

In the case that an original continuous problem is well conditioned, the Riesz property (3) leads also to wellconditioned stiffness matrices [9]. Moreover, it implies that every function in \(H^{s}\) has a unique expansion in the scaled wavelet basis and that there is a tight relation between the function norms and wavelet coefficients. It means that small changes in wavelet coefficients can cause only small changes in the function and the other way around. Wavelet bases with small Riesz bounds were constructed for example in [10–14].

There are waveletbased asymptotically optimal algorithms for solving elliptic PDEs. See for example [15–17]. It means that the number of floating point operations depends linearly on the number of nonzero wavelet coefficients.
Wavelet discretization
We restrict ourselves to the equation \( \epsilon u'' + b u' + c u=f \) with the Dirichlet boundary conditions \(u(0) = u(1) = 0\), with small positive parameter ϵ and with constants \(b,c>0\). Now, this continuous problem can for suitable wavelet bases be transformed into an equivalent wellconditioned problem in \(l_{2}\). We start with the standard variational formulation: Find \(u \in H^{1} _{0} ( 0,1) \) such that
where a bilinear form \(a: H^{1}_{0} ( 0,1) \times H^{1} _{0} ( 0,1) \rightarrow\mathbb{R}\) and \(f \in H^{1} ( 0,1) \) are given by
Now, we define an operator \(A: H^{1}_{0} ( 0,1) \mapsto H ^{1} ( 0,1) \) by
and then (6) is equivalent with the task: for given \(f \in H^{1} ( 0,1) \) find \(u \in H^{1}_{0} ( 0,1) \) such that
The scaled representation of (8) and the scaled wavelet representation of the righthand side are then given by
where \(\mathbf{D}_{A}\) is an appropriate diagonal matrix which will be specified later. Suppose that \(u = \mathbf{u}^{T} \mathbf{D}^{1} \Psi\) is the scaled wavelet representation of the solution, then
For more details, we refer to [8].
First, we prove that the problem (6) is well posed in energy norm. The space \(H^{1} ( 0,1) \) is endowed with the norm
To shorten our notation the norm \(\Vert \cdot \Vert \) will denote \(\Vert \cdot \Vert _{L_{2}(0,1)}\).
Theorem 2
The variational problem (6) is well posed on \(H^{1}_{0} ( 0,1) \) equipped with energy norm \(\!\!v\!\!^{2} := \int_{0}^{1} \epsilon (v')^{2}\,dx + \int_{0} ^{1} c v^{2}\,dx\) in the sense that
Proof
For \(u,v \in H^{1}_{0} ( 0,1) \), we have
and
Then
□
Then the operator A is bounded and coercive and an application of the LaxMilgram lemma implies the existence of the unique solution for any \(f \in H^{1} ( 0,1) \). Further, we prove that a diagonally scaled wavelet basis is a Riesz basis when it is scaled with the proposed diagonal scaling.
Theorem 3
Let \(\mathbf{D}_{A}:= ( \sqrt{ ( \epsilon2^{2\vert \lambda \vert }+b2^{\vert \lambda \vert }+c) }\delta_{\lambda,\mu} ) \) be the diagonal matrix, ϵ, b, c be positive constants and let the norm equivalences (3) hold for \(\gamma>1\). Then for every \(\mathbf{u} \in l_{2}(\mathcal{J})\) there exist positive constants \(c_{0}\), \(c_{1}\), \(C_{0}\), \(C_{1}\) such that
Proof
Let us denote \(u=\mathbf{v}^{T} \Psi= ( \mathbf{D}_{A} \mathbf{v} ) ^{T} \mathbf{D}_{A}^{1} \Psi\), \(\mathbf{u} = \mathbf{D}_{A} \mathbf{v}\), and \(\mathbf{v}=\{v_{\lambda}\}_{l_{2}( \mathcal{J})}\). Then the norm equivalences (3) and Frie drichs’ inequality imply that there exist positive constants \(c_{0}\), \(c_{1}\), \(C_{0}\), \(C_{1}\) such that
Using these inequalities, we obtain
and
□
And finally we prove that the condition numbers of the infinite diagonally preconditioned stiffness matrices are finite.
Theorem 4
Let \(\mathbf{D}_{A}:= ( \sqrt{ ( \epsilon2^{2\vert \lambda \vert }+b2^{\vert \lambda \vert }+c) }\delta_{\lambda,\mu} ) \) be the diagonal matrix, ϵ, b, c be positive constants and let the norm equivalences (3) hold for \(\gamma>1\). Then
where \(c_{0}\), \(c_{1}\), \(C_{0}\), \(C_{1}\) are positive constants from Theorem 3.
Proof
Using Theorems 1, 2, and 3 implies
□
Remark 1
From the previous theorem it immediately follows that, for \(b=0\), we obtain symmetric stiffness matrices with small condition numbers which are independent of ϵ and are dependent only on Riesz constants of the used wavelet basis.
Numerical tests
In adaptive settings the discrete infinitedimensional problem (10) is solved approximately up to the given target accuracy. Adaptive wavelet methods are meshless methods. An adaptive algorithm usually starts with the zero function and gradually adds new (biggest) elements to approximate (10) and then only a part of the whole stiffness matrix is used. While in nonadaptive settings, we compute with all wavelets up to the given level. In numerical experiments, we use the second approach because it is more appropriate for comparison of the properties of the wavelet stiffness matrices.
As basis functions, wavelets proposed in [7] are used because they have vanishing moments, short support, are well conditioned, and, finally, for constant coefficient differential equations, the arising stiffness matrices are sparse in wavelet coordinates. In the usual case they are only quasisparse. These wavelets are based on Hermite cubic splines. Primal scaling functions are defined by
For \(n \geq1\), let \(V_{n}\) be the space of piecewise cubic splines \(v \in C^{1}(0,1) \cap C[0,1]\) for which \(v(0)=v(1)=0\). The dimension of \(V_{n}\) is \(2^{n+1}\) and the set
is the basis for \(V_{n}\). Let \(W_{n}\) be the complement of \(V_{n}\) in \(V_{n+1}\) then we have the following decomposition of space \(H^{1}_{0}(0,1)\):
Four types of wavelets, \(\psi_{1}\), \(\psi_{2}\), \(\psi_{3}\), and \(\psi_{4}\), are constructed and the wavelet basis is then formed by translations and dilations of these four types of wavelets. Wavelets from the space \(W_{n+1}\) are orthogonal to the scaling functions from the space \(V_{n}\) for \(n \geq1\). The first two wavelets have supports in \([1,1]\) and are uniquely determined by the above orthogonality condition and by imposing that the first one is odd and the second one is even. The second two wavelets have supports in \([2,2]\). And we impose again the orthogonality condition and one of them should be odd and the second one even. This property ensures that both the mass and the stiffness matrix corresponding to the onedimensional Laplacian have at most three wavelet blocks of nonzero elements in any column and then the number of nonzero elements in any column is bounded independent of matrix size.
Then a basis of the space \(W_{n}\) is defined as follows:
In the following part, we assume that all basis functions are normalized with respect to the \(L_{2}\) norm, such that their norm is equal to one. Now, we look at the spectral properties of different stiffness matrices \(\mathbf{A}_{n}\). We will use the standard wavelet preconditioning with the diagonal preconditioner \(\mathbf{D}_{n}^{S} = \sqrt{ \operatorname{diag}(\mathbf{A}_{n})}\) [6] and then we will compare it with the proposed diagonal preconditioning \(\mathbf{D}_{n} ^{\mathrm{new}} := ( \sqrt{ ( \epsilon2^{2\vert \lambda \vert }+b2^{\vert \lambda \vert }+c) } \delta_{\lambda,\mu} ) \), where the constants ϵ, b, c are constants from (7).
Example 1
We start with the equation \( \epsilon u'' + u' + u/16=f \) with the Dirichlet boundary conditions \(u(0) = u(1) = 0\) and with small positive parameter ϵ. The corresponding discrete problem is the following:
Find \(u_{n} = \sum_{i=1}^{2^{n+1}} c_{i} v_{i}\), where \(v_{i} \in\Phi_{1} \cup\bigcup_{j=1}^{n} \Psi_{j}\), such that
or in matrix form \(\mathbf{A}_{n} \mathbf{c}_{n} = \mathbf{f}_{n}\), where \(\mathbf{A}_{n}\) is the stiffness matrix corresponding to the above equation and \(\mathbf{f}_{n}\) is the corresponding vector of the righthand side. The obtained results are summarized in Table 1.
Example 2
The second equation will be \( \epsilon u'' + u'=f \) with the Dirichlet boundary conditions \(u(0) = u(1) = 0\) and with small positive parameter ϵ. The corresponding discrete problem is the following:
Find \(u_{n} = \sum_{i=1}^{2^{n+1}} c_{i} v_{i}\), where \(v_{i} \in\Phi_{1} \cup\bigcup_{j=1}^{n} \Psi_{j}\), such that
or in matrix form \(\mathbf{A}_{n} \mathbf{c}_{n} = \mathbf{f}_{n}\), where \(\mathbf{A}_{n}\) is the stiffness matrix corresponding to the above equation and \(\mathbf{f}_{n}\) is the corresponding vector of the righthand side. The obtained results are summarized in Table 2.
Example 3
The third equation will be \( \epsilon u'' + u' + x^{2} u = f \) with the Dirichlet boundary conditions \(u(0) = u(1) = 0\) and with small positive parameter ϵ. The corresponding discrete problem is the following:
Find \(u_{n} = \sum_{i=1}^{2^{n+1}} c_{i} v_{i}\), where \(v_{i} \in\Phi_{1} \cup\bigcup_{j=1}^{n} \Psi_{j}\), such that
or in matrix form \(\mathbf{A}_{n} \mathbf{c}_{n} = \mathbf{f}_{n}\), where \(\mathbf{A}_{n}\) is the stiffness matrix corresponding to the above equation and \(\mathbf{f}_{n}\) is the corresponding vector of the righthand side. In this case of the differential equation with variable coefficients, we take \(c=1\) because \(x^{2} \leq1\ \forall x \in[0,1]\). The obtained results are summarized in Table 3.
Conclusion
We have proposed a new diagonal preconditioning for singularly perturbed problems discretized by wavelets. Numerical experiments show that the proposed preconditioning leads to significantly smaller condition numbers of stiffness matrices with a dominating nonsymmetric part in comparison with a standard wavelet diagonal preconditioning. Furthermore, we proved that the condition numbers of diagonally preconditioned stiffness matrices are bounded independent of the matrix size.
References
Kadalbajoo, MK, Gupta, V: A brief survey on numerical methods for solving singularly perturbed problems. Appl. Math. Comput. 217, 36413716 (2010)
Bisci, GM, Repovš, D: On some variational algebraic problems. Adv. Nonlinear Anal. 2, 127146 (2013)
Nie, D, Xie, F: Singularly perturbed semilinear elliptic boundary value problems with discontinuous source term. Bound. Value Probl. 2016, 164 (2016). doi:10.1186/s1366101606739
Gartland, EC Jr.: An analysis of a uniformly convergent finite difference/finite element scheme for a model singularperturbation problem. Math. Comput. 51, 93106 (1988)
Chen, X, Xiang, J: Solving diffusion equation using wavelet method. Appl. Math. Comput. 217, 64266432 (2011)
Chegini, N, Stevenson, R: The adaptive tensor product wavelet scheme: sparse matrices and the application to singularly perturbed problems. IMA J. Numer. Anal. (2011). doi:10.1093/imanum/drr013
Dijkema, TJ, Stevenson, R: A sparse Laplacian in tensor product wavelet coordinates. Numer. Math. 115, 433449 (2010)
Bramble, JH, Cohen, A, Dahmen, W: Multiscale problems and methods in numerical simulations. In: Canuto, C (ed.) Lecture Notes in Mathematics. C.I.M.E. Foundation Subseries, vol. 1825, pp. 1170. (2003)
Černá, D, Finěk, V: On a sparse representation of a ndimensional Laplacian in wavelet coordinates. Results Math. 69, 225243 (2016)
Černá, D, Finěk, V: Construction of optimally conditioned cubic spline wavelets on the interval. Adv. Comput. Math. 34, 219252 (2011)
Černá, D, Finěk, V: Cubic spline wavelets with complementary boundary conditions. Appl. Math. Comput. 219, 18531865 (2012)
Černá, D, Finěk, V: Quadratic spline wavelets with short support for fourthorder problems. Results Math. 66, 525540 (2014)
Černá, D, Finěk, V: Cubic spline wavelets with short support for fourthorder problems. Appl. Math. Comput. 243, 4456 (2014)
Černá, D, Finěk, V: Wavelet basis of cubic splines on the hypercube satisfying homogeneous boundary conditions. Int. J. Wavelets Multiresolut. Inf. Process. 13 (2015). doi:10.1142/S0219691315500149
Cohen, A, Dahmen, W, DeVore, R: Adaptive wavelet schemes for elliptic operator equations  convergence rates. Math. Comput. 70, 2775 (2001)
Cohen, A, Dahmen, W, DeVore, R: Adaptive wavelet methods II  beyond the elliptic case. Found. Comput. Math. 2, 203245 (2002)
Dijkema, TJ, Schwab, C, Stevenson, R: An adaptive wavelet method for solving highdimensional elliptic PDEs. Constr. Approx. 30, 423455 (2009)
Acknowledgements
This work was supported by grant No. GA1609541S of the Czech Science Foundation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
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
Černá, D., Finěk, V. A diagonal preconditioner for singularly perturbed problems. Bound Value Probl 2017, 22 (2017). https://doi.org/10.1186/s1366101707544
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101707544
MSC
 65L11
 65L10
 65T60
 65F08
Keywords
 wavelets
 singularly perturbed problems
 boundary value problems
 preconditioning