Abstract
In this work, we present a new method for solving elliptic partial differential equations using Haar wavelet. This work improves the earlier work (Aziz et al. in Appl Math Model 37:676–694, 2013) in terms of efficiency and contains an extension to nonlinear elliptic partial differential equations as well. In this paper the earlier algorithm (Aziz et al. in Appl Math Model 37:676–694, 2013) has been modified by starting the approximation with a fourth order mixed derivative rather than approximation of the second order derivatives with respect to x and y separately which results in a more efficient algorithm than the earlier algorithm. The use of Kronecker tensor products makes the new algorithm robust and easier to implement in a programming language. A distinguishing feature of the new method is that it can be applied to a variety of boundary conditions with a little modification of the program. The method is tested on several benchmark linear as well as nonlinear models. The numerical results show convergence, simple applicability and efficiency of the method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In this paper, we propose a numerical method based on Haar wavelet to obtain solution of the following elliptic partial differential equations (EPDEs):
where \({\mathrm {L}}\) is a differential operator (both linear and nonlinear) of the following form:
\(\Gamma \) is the boundary operator and the functions Q(x, y) and H(x, y) are the source functions. The function u is the solution of the EPDE (1) defined on two-dimensional rectangular or square domain.
EPDEs have been used widely in applied mathematics, physics and engineering. The EPDEs are used to model real physical situations such as, the flow of air pollutants, temperature deflection, electrostatic potential, velocity potential, stream function, fluid flow [1, 2], etc. Analytical solutions of the EPDEs can be found only for simple models. When the model equations are closely related to experimental and practical situations then analytical solutions rarely exist and alternative numerical methods are used for numerical simulations of such model equations. Several numerical methods have been developed by different researchers for numerical solution of EPDEs [3–5]. Mostly numerical methods convert the model equations containing partial differential equations into discretized model equations that appear in the form of a set of algebraic linear or nonlinear equations.
Keeping in view the size of the problem and the advantages of a direct solver, we prefer LU-factorization as it aims to calculate exact solution in a finite number of operations. However for very large scale problems, the main limitation of direct solvers is the large memory requirement needed for mathematical operations. In contrast to this, iterative solvers are memory efficient but they do not always work well in all situations. Performances of the iterative solvers are sometime hampered by convergence issues, the nature of the governing equation being solved and other physical dynamics, like dealing with highly oscillatory solutions [6].
Due to the excellent properties of the Haar wavelet, a recent surge has been witnessed in the application of Haar wavelet (see [7, 8] and the references therein). Haar wavelet based approximation methods have attracted attention for various engineering and scientific problems [7, 9–17]. In [7] Haar wavelet collocation method (HWCM) has been used for linear elliptic PDEs. The major stumbling block in the implementation of the algorithm [7] is the computational cost of the algorithm which is prohibitively large and practically renders the method ineffective when implemented either on a denser grid or on a system of PDEs in higher dimensions. In the current work, we propose a modification of HWCM. In modified HWCM the issue of the cost of the algorithm [7] has been addressed by Haar wavelet approximation of fourth order mixed derivative instead of second order derivatives. Another advantage of the current method is the use of Kronecker tensor products which results in a very easy and simple implementation of the algorithm in a computer programming language. The new algorithm is implemented on two-dimensional steady state linear and nonlinear PDEs. A distinguishing feature of the method is that it can be applied to a variety of boundary conditions (BCs) with a little modification.
Suppose \(\mathbf{A }\) is an \(m\times n\) matrix and \(\mathbf{B }\) is a \(p\times q\) matrix, then the Kronecker tensor product of \(\mathbf{A }\) and \(\mathbf{B }\) denoted by \(\mathbf{A }\otimes \mathbf{B }\) is the matrix of order \(mp\times nq\) and is defined as follows:
Note that in MATLAB the Kronecker tensor product can be implemented easily and efficiently using the built-in function kron().
The rest of the paper is distributed as follows. In Sect. 2 definition of Haar wavelet is discussed. In Sect. 3, we discuss the numerical method along with different kinds of BCs. The numerical results are compared with the results obtained from other existed methods in Sect. 4. Some conclusions are drawn in the Sect. 5.
Haar Wavelet
A wavelet family \((\psi _{j,i}(x))_{j\in {\mathbb {N}},i\in {\mathbb {Z}}}\) is an orthonormal subfamily of the Hilbert space \(L^2({\mathbb {R}})\) with the property that all functions in the wavelet family are generated from a fixed function \(\psi \) called mother wavelet through dilations and translations. The wavelet family satisfies the following relation:
The Haar wavelet family defined on the interval [0, 1) consists of the following functions:
and
where
The integer j indicates the level of the wavelet and k is the translation parameter. The relation between i, m and k is given by \(i=m+k+1\). The function \(h_1(x)\) is called scaling function whereas \(h_2(x)\) is the mother wavelet for the Haar wavelet family.
Any square integrable function f(x) defined on [0, 1) can be expressed as a linear combination of members of Haar wavelet family and is given as follows:
where \(a_i\) are constants.
For approximation purpose we consider a maximum value J of the integer j, level of the Haar wavelet in the above definition. The integer J is then called maximum level of resolution. We also define the integer \(M=2^J\). With these notations any square integrable function f(x) defined on [0, 1) can be approximated as linear combination of finite members of Haar wavelet family and is given as follows:
The following notations are introduced:
and
These integrals can be evaluated using the definition of Haar wavelet and are given as follows:
where \(i=2,3,\ldots \) For \(i=1\), we have
Numerical Method
In this section we will discuss a new collocation method based on Haar wavelet for EPDEs having Dirichlet, Neumann, mixed and periodic types of BCs. For Haar wavelet approximation the following collocation points are used:
where \(N=2M\) and M is the maximum level of resolution of the Haar wavelet. The computation domain for the given EPDEs (1) is \([0, 1]\times [0, 1]\) but can be extended to \([a, b]\times [a, b], \forall \,a,b\in {\mathbb {R}} \) through linear transformation.
Assume the following Haar wavelet approximation:
Integrating Eq. (6) with respect to y, we obtain
Using Haar approximations for the single-valued functions \(\frac{\partial ^4 u}{\partial x^2}(x,0)\) and \(\frac{\partial ^4 u}{\partial x^2\partial y}(x,0)\), we can write
Substituting the collocation points defined in Eqs. (4) and (5), we have
The matrix \(\mathbf{H }\) of Haar functions having order \(N\times N\) is defined as follows:
In a similar manner, we define
Thus, in matrix notation Eq. (10) can be written as
where
Similarly, integrating Eq. (6) with respect to x, we obtain
where
The numerical method for different types of BCs will be explained separately in the following subsections.
Dirichlet BCs
The Dirichlet BCs for EPDEs are defined as follows:
Integrating Eq. (10) and using the BCs, we obtain
where
Similarly,
Discretizing Eq. (2) and substituting the expressions of \(\mathbf{u }\) and its partial derivatives, a system of equations having \(N^2\) equations and \(N^2+4N\) unknowns is obtained. The additional 4N equations are obtained by comparing the two expressions of u given in Eqs. (20) and (23) respectively and substituting the values \(x=0\), \(x=1\), \(y=0\) and \(y=1\) one by one. These equations are given below.
Combining all these equations results in a \((N^2+4N)\times (N^2+4N)\) linear or nonlinear system. Solution of this system yields the unknowns \({\varvec{\lambda }},{\varvec{\alpha }},{\varvec{\beta }},{\varvec{\gamma }}\) and \({\varvec{\delta }}\). The approximate solution u(x, y) and its derivatives at any point of the domain can be calculated using these values.
Neumann BCs
The Neumann BCs for EPDEs are given below.
For Neumann BCs, we integrate Eq. (10) and obtain the following expressions.
where \(\mathbf{I }_N\) is the identity matrix of order \(N\times N\). Similarly,
These expressions when substituted in Eq. (1) give rise to a system of equations having \(N^2\) equations but \(N^2+6N\) unknowns \({\varvec{\lambda }},{\varvec{\alpha }},{\varvec{\beta }}, {\varvec{\gamma }},{\varvec{\delta }}, u(0,\mathbf{y })\) and \(u(\mathbf{x },0)\). Integrating Eq. (10) and using the BCs we get the following N equations:
where \(\mathbf{e }_{\mathbf{1 }}=[1\; 0 \cdots 0]^{\mathbf{T }}\). Similarly,
Another 4N equations are obtained by comparing two expressions of \(\mathbf{u }\) given in Eqs. (27) and (29), and substituting \(x=0\), \(x=1\), \(y=0\) and \(y=1\) one by one. These equations are given below.
The above 4N equations involve three more unknowns u(0, 0), u(1, 0) and u(0, 1). Substituting \(y=0\) and \(y=1\) in Eq. (30), and \(x=0\) in Eq. (31), we obtain the following three equations:
The numerical solution is obtained in a similar way as discussed in the case of Dirichlet BCs in the previous subsection.
Mixed BCs
In this section, two types of mixed BCs will be considered.
Type I
The first type of mixed BCs for EPDEs are given as follows:
Using BCs (34) the following expressions are obtained.
Similarly, using BCs (35), we obtain
These expressions when substituted in Eq. (1) give rise to a system of equations having \(N^2\) equations but \(N^2+5N\) unknowns \({\varvec{\lambda }},{\varvec{\alpha }},{\varvec{\beta }}, {\varvec{\gamma }},{\varvec{\delta }}\) and \(u(\mathbf{x },0)\). Integrating Eq. (15) and using the BCs we get the following N equations.
Comparing the two expressions of \(\mathbf{u }\) and substituting values of \(x=0,1\) and \(y=0,1\) we obtain the following 4N equations.
The solution procedure is similar to previous cases.
Type II
The second type of mixed BCs considered here are given below.
Different expressions of \(\mathbf{u }\) and its derivatives are given as follows:
Comparing the two different expressions of u and substituting \(x=0,1\) and \(y=0,1\) the following equations are obtained:
The solution procedure is similar.
Periodic BCs
The periodic BCs for EPDEs are given as follows:
Integrating Eq. (10) and using BCs the following expressions are obtained:
Similarly,
Additional equations obtained are given below.
The solution procedure is similar to the previous cases.
Numerical Experiments
In this section, numerical and graphical results obtained from modified HWCM is presented. The method is applied to four Test Problems with known exact solutions. Test Problem 1 is a Helmholtz equation which is a linear EPDE. This problem is considered in order to show the better efficiency of the modified HWCM as compared to HWCM [7]. Test Problems 2 and 3 are linear Poisson equations with constant and variable sources respectively. These steady-state problems have several applications in fluid dynamics, electrostatics, heat transfer and mass transfer. Finally Test Problem 4 is a generalized nonlinear Poisson equation. This problem is considered in order to show the applicability of modified HWCM to nonlinear problems as well.
The algorithm is implemented in MATLAB on Intel Core i7 processor with 32 GB RAM. The performance of the method is demonstrated using the \(L_\infty \) norm which is defined as
where \(u_{{\mathrm {app}}}(x_i,y_j)\) is the numerical and \(u_{{\mathrm {ex}}}(x_i,y_j)\) is the exact solution at the point \((x_i,y_j)\).
Helmholtz Equation
Test Problem 1
Consider the Helmholtz equation [7]:
subject to Dirichlet BCs. The function f(x, y) is taken such that the exact solution of the problem is \(u(x,y)=e^{xy^2}\). Comparison of the CPU time of the present method with our earlier method [7] is given in Table 1. It is clear from the table that in addition to good accuracy, the new algorithm is almost 7 times faster than the previous algorithm [7].
Poisson Equation
Test Problem 2
(Constant source) Consider the Poisson equation:
where Q is a constant, subject to the Dirichlet BCs:
Equation (57) describes the steady-state two-dimensional diffusion (cross-wind integrated) of a pollutant in the absence of wind with constant source strength Q in a finite domain [1]. It also describes the steady-state transport of oxygen in a slab of tissue with a constant oxygen consumption rate [18]. In addition to this, it also represents the steady-state temperature distribution in a rectangular region with heat loss (production) at a constant rate Q [2].
The solution of Eq. (57) with BCs (58) is symmetric with respect to both x- and y-axis. Due to this reason Eq. (57) is solved in the region \((0<x<a,\;0<y<b)\) subject to the following BCs [1]:
The exact solution of the problem is given as follows [1]:
where \(\sqrt{\lambda _k}=\frac{(2k+1)\pi }{2a}\).
Maximum absolute errors for different number of collocation points are shown in Table 2. Like the other test problems an efficient and accurate solution has been obtained through the new algorithm.
Test Problem 3
(Variable source) Consider Poisson equation with variable source:
where source is a function of both x and y. The BCs are same as considered in Test Problem 2 which are given in Eq. (58).
Important applications of Eq. (61) occur in fluid dynamics (u is stream function and f is vorticity), electrostatics (u is electric potential and f is the ratio of charge density to dielectric constant), heat transfer (u is temperature and f is the loss/generation of heat) and mass transfer (u is concentration and f is source/sink term) [2].
The solution of Eq. (61) is expected to be symmetric in x and y [2] and therefore we consider the region \((0<x<a,\;0<y<b)\) with the BCs (59).
We assume that f(x, y) is the same function as the exact solution of Test Problem 2 which is given in Eq. (60). With this f, the exact solution of Eq. (61) is given below [1]:
where \(\sqrt{\lambda _k}=\frac{(2k+1)\pi }{2a}\).
Maximum absolute errors for different number of collocation points are shown in Table 3. It is conformed from the table that a converging solution has been reproduced by the new algorithm in a fairly less CPU time.
Generalized Nonlinear Poisson Equation
Test Problem 4
Consider a nonlinear Poisson problem [19]:
subject to the following Dirichlet BCs:
where a is any constant. The analytical solution of the problem is \(u(x,y)=x(xy+a)\). For simplicity, the value of the constant a is taken to be zero. The numerical results are shown in Table 4. The nonlinear system of equations obtained after substituting the Haar wavelet approximations which may be solved using either Newton’s method or Broyden’s method. For numerical experiments we have used Broyden’s method as it is more economical in terms of CPU time. The initial guess for the Broyden’s method was taken to be zero and the iterations were terminated when the convergence criterion \(10^{-6}\) was satisfied. The number of iterations and the CPU time for different number of grid points are also shown in Table 4. It is evident from the table that the new method has obtained the desired accuracy in 11 iteration keeping the CPU time in a reasonable limit.
Conclusion
A modified Haar wavelet collocation method is presented for numerical solution of elliptic partial differential equations. The method can solve both linear as well as nonlinear EPDEs numerically. The method can be applied to different types of boundary conditions easily with a slight modification. The method is tested on several benchmark problems. It is observed that the proposed method is more efficient.
References
Modani, M., Sharan, M., Rao, S.: Numerical solution of elliptic partial differential equations on parallel systems. Appl. Math. Comput. 195, 162–182 (2008)
Sharan, M., Kansa, E., Gupta, S.: Application of the multiquadratic method for numerical solution of elliptic partial differential equations. Appl. Math. Comput. 84, 275–302 (1997)
Northrop, P.W., Ramachandran, P., Schiesser, W.E., Subramanian, V.R.: A robust false transient method of lines for elliptic partial differential equations. Chem. Eng. Sci. 90, 32–39 (2013)
Saridakis, Y., Sifalakis, A., Papadopoulou, E.: Efficient numerical solution of the generalized Dirichlet-Neumann map for linear elliptic PDEs in regular polygon domains. J. Comput. Appl. Math. 236, 2515–2528 (2012)
Huang, C.-S., Yen, H.-D., Cheng, A.H.-D.: On the increasingly flat radial basis function and optimal shape parameter for the solution of elliptic PDEs. Eng. Anal. Bound. Elem. 34, 802–809 (2010)
Martinsson, P.: A direct solver for variable coefficient elliptic PDEs discretized via a composite spectral collocation method. J. Comput. Phy. 242, 460–479 (2013)
Aziz, I., Siraj-ul-Islam, Sarler, B.: Wavelets collocation methods for the numerical solution of elliptic BV problems. Appl. Math. Model. 37, 676–694 (2013)
Lepik, U.: Haar Wavelets with Applications. Springer, Berlin (2014)
Lepik, U.: Solving PDEs with the aid of two-dimensional Haar wavelets. Comput. Math. Appl. 61, 1873–1879 (2011)
Siraj-ul-Islam, Aziz, I., Al-Fhaid, A., Shah, A.: A numerical assessment of parabolic partial differential equations using Haar and Legendre wavelets. Appl. Math. Model. 37, 9455–9481 (2013)
Lepik, U.: Numerical solution of differential equations using Haar wavelets. Math. Comput. Simul. 68, 127–143 (2005)
Siraj-ul-Islam, Aziz, I., Sarler, B.: The numerical solution of second-order boundary-value problems by collocation method with the Haar wavelets. Math. Comput. Model. 50, 1577–1590 (2010)
Aziz, I., Siraj-ul-Islam: New algorithms for numerical solution of nonlinear Fredholm and Volterra integral equations using Haar wavelets. J. Comput. Appl. Math. 239, 333–345 (2013)
Siraj-ul-Islam, Aziz, I., Fayyaz, M.: A new approach for numerical solution of integro-differential equations via Haar wavelets. Int. J. Comput. Math. 90, 1971–1989 (2013)
Aziz, I., Siraj-ul-Islam, Khan, F.: A new method based on Haar wavelet for the numerical solution of two-dimensional nonlinear integral equations. J. Comput. Appl. Math. 272, 70–80 (2014)
Siraj-ul-Islam, Aziz, I., Haq, F.: A comparative study of numerical integration based on Haar wavelets and hybrid functions. Comput. Math. Appl. 59(6), 2026–2036 (2010)
Siraj-ul-Islam, Aziz, I., Al-Fhaid, A.: An improved method based on Haar wavelets for numerical solution of nonlinear integral and integro-differential equations of first and higher orders. J. Comput. Appl. Math. 260, 449–469 (2014)
Sharan, M., Singh, M., Sud, I.: Mathematical modeling of oxygen transport in the systemic circulation in hyperbaric environment. Front. Med. Biol. Eng. 3, 27–44 (1991)
Bourantas, G., Burganos, V.: An implicit meshless scheme for the solution of transient non-linear poisson-type equations. Eng. Anal. Bound. Elem. 37, 1117–1126 (2013)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aziz, I., Siraj-ul-Islam An Efficient Modified Haar Wavelet Collocation Method for Numerical Solution of Two-Dimensional Elliptic PDEs. Differ Equ Dyn Syst 25, 347–360 (2017). https://doi.org/10.1007/s12591-015-0262-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12591-015-0262-x