This paper presents a new efficient method for the numerical solution of a linear time-dependent partial differential equation. The proposed technique includes the collocation method with Legendre wavelets for spatial discretization and the three-step Taylor method for time discretization. This procedure is third-order accurate in time. A comparative study between the proposed method and the one-step wavelet collocation method is provided. In order to verify the stability of these methods, asymptotic stability analysis is employed. Numerical illustrations are investigated to show the reliability and efficiency of the proposed method. An important property of the presented method is that unlike the one-step wavelet collocation method, it is not necessary to choose a small time step to achieve stability.
In recent years, many kinds of wavelet bases have been utilized to solve functional equations; for example, Shannon wavelets , Daubechies wavelets  and Chebyshev wavelets [3,4]. In this paper, we utilize Legendre wavelets. Legendre wavelets are derived from Legendre polynomials . These wavelets have been used in solving different kinds of functional equations such as integral equations [6,7], fractional equations [8,9], ordinary differential equations , partial differential equations [10,11], etc.
In solving time-dependent problems, Legendre wavelets are often used for spatial discretization. Different techniques are implemented for time discretization. In some articles, Legendre wavelets are also applied for time discretization. Therefore, the collocation points should be defined for both time and spatial variables. Also in this technique, multi-dimensional wavelets should be used to approximate required functions, which deal with large matrices and require large storage space. For example, readers can refer to .
There are many contexts that use collocation methods in solving functional equations. For example, Luo et al.  presented three collocation methods based on a family of barycentric rational interpolation functions for solving a class of nonlinear parabolic partial differential equations. Furthermore, for solving a class of fractional subdiffusion equation, Luo et al. in 2016  used the quadratic spline collocation method.
Another path for time discretization uses a finite difference method. Islam et al.  used a fully implicit scheme, which is based on the first-order Taylor expansion. Yin et al.  employed the -weighted scheme for nonlinear Klein–Sine–Gordon equations. Stability is the important point in using finite difference methods. Thus, methods that are first-order accurate in time might be inappropriate.
Here, we exploit the three-step finite element method for time discretization [14,15,16]. For the suitable differentiable function , these three steps are defined as follows:
It can be shown that the above equations are equivalent to the third-order Taylor expansion. Therefore, this method is third-order accurate in t. The first idea of using these three steps has been demonstrated by Jiang and Kawahara . Equations (1)–(3) are usually accompanied by the Galerkin finite element method, which is known as the three-step Taylor–Galerkin method . Kumar and Mehra  proposed a three-step wavelet Galerkin method based on the Daubechies wavelets for solving partial differential equations subject to periodic boundary conditions. In this paper, motivated and inspired by the ongoing research, we develop a new effective method, which combines the Legendre wavelets collocation method for spatial discretization and the mentioned three steps for time discretization in the numerical solution of a linear time-dependent partial differential equation subject to the Dirichlet boundary conditions. We call this method the three-step wavelet collocation method. Furthermore, we explain the asymptotic stability of the proposed method.
The organization of this paper is as follows. In Section 2, fundamental properties of the Legendre wavelets are described. The three-step wavelet collocation method is presented in Section 3. The analysis of asymptotic stability is performed in Section 4. Some numerical examples are presented in Section 5. Finally, Section 6 provides the conclusions of the study.
2. Basic Properties of Legendre Wavelets
Legendre wavelets are defined on the interval as follows :
where k can assume any positive integer, , and are the well-known Legendre polynomials of order m.
A function defined over can be approximated in terms of Legendre wavelets as:
and , in which denotes the inner product.
The derivative of the vector can be expressed by:
where D is the operational matrix. Mohammadi and Hosseini obtained D and the operational matrix for the n-th derivative:
In this section, we explain the main structure of the three-step wavelet collocation method.
3.1. Time Discretization
Consider the following linear time-dependent partial differential equation:
with the initial condition:
and boundary conditions:
Assume that and denote the time step such that . By using the Taylor expansion, the value of the function at the time can be expressed as follows:
where the symbols and represent and , respectively.
We can use the first-order Taylor expansion for time discretization and Legendre wavelets for spatial discretization . We call this method the one-step wavelet collocation method. In addition, the time derivative in the given differential equations is approximated by Euler’s formula:
and therefore, we have semi-discrete equation:
The three-step Taylor method for time discretization is derived by applying a factorization process to the right side of Equation (10) as follows:
where the symbol is the identity operator.
Now, using Equation (11) and employing a new notation, the three-step Taylor method is obtained as follows:
It should be noted that , and represent the computed solution at time level (), () and (), respectively.
3.2. Spatial Discretization
After time discretization, the spatial derivatives of are approximated by Legendre wavelets. The collocation method is utilized in this part. Let the unknown solution be expanded by:
According to Equation (15), we use only one-dimensional Legendre wavelets to approximate the solution. The solution dependence on the time variable is specified by the coefficient . In other words, the vector coefficient is calculated at time . Therefore, the approximation solution at time can be written as follows:
We can also approximate at time as:
where the vector is given by Equation (4) at time .
Substituting Equation (6) into Equation (12) results in:
Now, by using the operation matrix of the derivative and Equation (5), we have:
Then, substituting Equations (15)–(17) and (19) into Equation (18) yields:
By using boundary conditions and Equation (16), the following equalities are satisfied:
By substituting Equation (20) in Gauss–Legendre points and using Equations (21) and (22), we can obtain a linear system of equations with unknown variables, , which can be written in matrix form:
where A and B are and matrices, respectively. Since the vector is obtained from Equation (23), all entries of B are known.
The above system of linear equations can be solved by numerical methods. Here, for square matrix A, we use decomposition to solve the linear System (24) with partial pivoting. In this method, the square matrix A can be decomposed into two square matrices L and U such that , where U is an upper triangular matrix formed as a result of applying the Gauss elimination method on A, and L is a lower triangular matrix with diagonal elements being equal to one. Solving the system is then equivalent to solving the two simpler systems and . The first system can be solved by forward substitution, and the second system can be solved by backward substitution. Solving the linear system with triangular matrices makes it easy to do calculations in the process of finding the solution. Since the Gaussian elimination can produce bad results for small pivot elements, we adopt the partial pivoting strategy. In this strategy, when we are choosing the pivot element on the diagonal at position , locate the element in column i at or below the diagonal that has the largest absolute value, and make it as the pivot at that step by interchanging two rows. Applying this strategy to our matrix avoids any distortion due to the pivots being small. For more details, readers can refer to [18,19].
After solving this system and determining , we exploit Equation (13) to find . In addition, there is a similar process that results in:
where are the same collocation points used in the previous step.
A matrix form of Equations (25)–(27) can be displayed as:
where the dimension of the square matrix P and column vector Q is . Since the vector is obtained from the previous step, all entries of Q are known. Similarly, we use decomposition to solve the above system.
Finally, by implementing similar analysis in the two previous steps, using Equation (14) with boundary conditions and exploiting , the vector can be specified in each step for . Therefore, we can obtain the numerical solution, , in any time .
4. Stability Analysis
For stability analysis, we use the asymptotic (or absolute) stability of a numerical method, which is defined in . In a numerical scheme, when we fix the final time and let , we want the corresponding numerical solution to remain bounded; a scheme satisfying this property is called stable. Therefore, a stability analysis needs a restriction on the mesh size . In practice, we can only choose a finite and proper mesh size. It is then important to study the region of absolute stability in order to to choose the proper mesh size in practical computation.
Let us start from the typical evolution equation:
where the non-linear operator f contains the spatial part of the partial differential equation. Let us abbreviate by . We shall approximate by . Following the general formulation of the proposed method, the semi-discrete version is:
where is the spectral approximation to u, denotes the spectral approximation to the operator f and is the projection operator, which characterizes the scheme. Let us set . Then, the previous discrete problem can be written in the form:
As is often done, we confine our discussion of time-discretizations to the linearized version of (28):
where L is the diagonalizable matrix resulting from the implementation of spectral method on the spatial variable of the partial differential equation.
According to different contexts, the time discretization is said to be stable if , the computed solution at the time , has been upper bounded, i.e., there exists a constant M such that:
In many problems, the solution is bounded in some norm for all . In these cases, a method that produces the exponential growth allowed by Estimate (30) is not practical for long-time integrations. For such problems, the notion of asymptotic (or absolute) stability is useful.
The region of absolute stability of a numerical method is defined for the scalar model problem:
to be the set of all such that is bounded as .
Finally, we say that a numerical method is asymptotically stable for a particular problem if, for sufficiently small , the product of times every eigenvalue of L lies within the region of absolute stability. In the following items, we summarize some remarkable characteristics of absolute stability :
An absolutely stable method is one that generates a solution that tends to zero as tends to infinity,
A method is said to be A-stable, if it is absolutely stable for any possible choice of the time-step, , otherwise a method is called conditionally stable.
Absolutely stable methods keep the perturbation controlled,
The analysis of absolute stability for the linear model problem can be exploited to find stability conditions on the time step when considering some nonlinear problems.
Since the three-step Equations (12)–(14) are equivalent to the third-order Taylor expansion, to demonstrate the stability region and achieve the stability condition, we use Equation (10). For simplicity, consider Equation (6), where and . Then, successive differentiations of the obtained equation indicate that:
In Equation (32), we use Euler’s formula to avoid the third-order space derivatives, as it is used in the finite element context . By rearranging Equation (10) and substitution of Equations (31) and (32), we have the semi-discrete equation:
After applying the wavelet collection method, Equation (33) transforms into the following equation:
and are the collocation and boundary points. Here, the matrix L, which is introduced in Equation (29), is defined as .
There is a similar process to the one-step method. Lambert provided an explanation for how to draw the stability region. Readers can refer to , Chapter 3. Briefly, we can plot the region of absolute stability, , by the meaning of the first and second characteristic polynomials. If we set, , the region of absolute stability is a function of the method and the complex parameter only, so that we are able to plot the region in the complex -plane.
First of all, we can write Equation (34) as a usual linear multi-step method given by:
where k is the number of steps required for the method, and and are constants subject to the conditions:
Afterward, the first and second characteristic polynomials are defined as follows, respectively:
where is a dummy variable. Using the values of k and in (36), for the proposed method, we have:
Then, we plot the boundary of , which consists of the contour . The contour in the complex -plane is defined by the requirement that for all , one of the roots of has modulus one, that is, it is of the form . Thus, for all in , the identity:
must hold. This equation is readily solved for , and we have that the locus of is given by:
Finally, we use (37) to plot for a range of and link consecutive plotted points by straight lines to get a representation of .
Therefore, according to Lambert’s book and the above explanations, the stability region of the three-step and one-step wavelet collocation methods is the circle with center and radius one. Therefore, these methods will be stable if the eigenvalues of the corresponding system and satisfy .
5. Numerical Examples
In this section, some numerical examples in the form of Equation (6) with initial and boundary Conditions (7)–(9) are discussed. The error function is defined as the maximum error :
where is the approximate solution, which is obtained by the proposed method and are the Gauss–Legendre and boundary points. All programs have been performed in MATLAB 2016.
In general, the numerical results are sensitive to the selection of parameters such as time step , final time t and parameters of wavelet order M and k. In the following examples, we choose . Although the one-step wavelet collocation method needs less calculation, the three-step wavelet collocation method is more successful in finding the numerical solution. Furthermore, we compare our method with the three-step method proposed in . They used the finite element method with standard linear interpolation functions for spatial discretization and the same three-step formula for time discretization. Numerical results show that utilizing Legendre wavelets with these three steps gives higher accuracy.
Consider Equation (6) with , , , , and . The exact solution of this problem is .
Numerical results for and are reported in Table 1 and Table 2, respectively. The first two rows of Table 1 show the obtained results for . As can be seen from these rows, a change in the length of the time step makes the one-step method fail to find an approximate solution. In other words, the one-step method is unstable for , while the three-step method gives high accuracy. There is a similar analysis for other parameters.
The exact and three-step approximate solutions of are shown in Figure 1, where and . Figure 2 shows the absolute stability region based on the three-step and one-step methods with the position of , where are the eigenvalues of corresponding matrix L. This figure is drawn for and . As can be seen in this figure, there are some eigenvalues for the one-step method with ; however, the stability region of the three-step method includes all . Therefore, the one-step method is not stable for , while the three-step method is stable.
In this example, we consider Equation (6) with , , , , and . The exact solution of this problem is .
Table 3 gives the comparison between the three-step wavelet collocation method and one-step wavelet collocation method for . We can see from this table that the one-step wavelet collocation method tends to be unstable with a small change in time length. However, the three-step method keeps its stability for bigger .
The exact and approximate solutions for the three-step wavelet collocation method are shown in Figure 3. The stability region for both three-step and one-step methods by choosing and is shown in Figure 4. As can be seen from this figure, there are some eigenvalues in the system of the one-step collocation method with . Therefore, this method is not stable for . In general, for , the one-step collocation method shows a stable and accurate result if , while the three-step collocation method is stable for .
For the last example, consider Equation (6) with , , , , and . The exact solution of this problem is .
shows the maximum error for some different values using the one-step and three-step wavelet collocation methods. It is clear from this table that the one-step wavelet collocation method is unstable, while the three-step wavelet collocation method has a more precise response.
Figure 5 shows the three-step approximate solution and the exact solution. The stability region for both three-step and one-step methods by choosing and is shown in Figure 6.
In this paper, we proposed a new numerical method for a linear time-dependent partial differential equation. We called this method the three-step wavelet collocation method. In this method, time discretization was performed prior to the spatial discretization. These steps are equivalent to the third-order Taylor expansion; therefore, this method is third-order accurate in time. For spatial discretization, Legendre wavelets were used, which resulted in good spatial accuracy and spectral resolution. A comparison between the proposed method and other methods was presented. The theoretical aspect of absolute stability was discussed. This stability is based on , where are the eigenvalues of the corresponding system. Numerical performance shows that the three-step method leads to an effective time-accurate scheme with an improved stability property.
The proposed method can be easily implemented for other cases of time-dependent partial differential equations. For example, extending our results with Legendre wavelets in solving nonlinear partial differential equations or fractional equations is worthwhile for future contribution.
All authors contributed significantly to the study and preparation of the article. Conceptualization, M.T. Formal analysis, M.T. and M.-M.H. Investigation, M.T. and M.-M.H. Supervision, M.-M.H.; Writing, original draft, M.T.
This research received no external funding.
The authors wish to thank Seyed Mehdi Karbassi for his useful comments.
Conflicts of Interest
The authors declare no conflict of interest.
Nouria, K.; Siavashani, N.B. Application of Shannon wavelet for solving boundary value problems of fractional differential equations. Wavelet Linear Algebra2014, 1, 33–42. [Google Scholar]
Kumar, B.V.R.; Mehra, M. A three-step wavelet Galerkin method for parabolic and hyperbolic partial differential equations. Int. J. Comput. Math.2006, 83, 143–157. [Google Scholar] [CrossRef]
Zhou, F.; Xu, X. Numerical solution of the convection diffusion equations by the second kind Chebyshev wavelets. Appl. Math. Comput.2014, 247, 353–367. [Google Scholar] [CrossRef]
Mohammadi, F.; Hosseini, M.M. A new Legendre wavelet operational matrix of derivative and its applications in solving the singular ordinary differential equations. J. Frankl. Inst.2011, 348, 1787–1796. [Google Scholar] [CrossRef]
Maleknejad, K.; Sohrabi, S. Numerical solution of Fredholm integral equations of the first kind by using Legendre wavelets. J. Appl. Math. Comput.2007, 186, 836–843. [Google Scholar] [CrossRef]
Sahu, P.K.; Ray, S.S. Legendre wavelets operational method for the numerical solutions of nonlinear Volterra integro-differential equations system. Appl. Math. Comput.2015, 256, 715–723. [Google Scholar] [CrossRef]
Chena, Y.M.; Weia, Y.Q.; Liub, D.Y.; Yu, H. Numerical solution for a class of nonlinear variable order fractional differential equations with Legendre wavelets. Appl. Math. Lett.2015, 43, 83–88. [Google Scholar] [CrossRef]
Heydari, M.H.; Maalek Ghaini, F.M.; Hooshmandasl, M.R. Legendre wavelets method for numerical solution of time-fractional heat equation. Wavelet Linear Algebra2014, 1, 15–24. [Google Scholar]
Islam, S.U.; Aziz, I.; Al-Fhaid, A.S.; Shah, A. A numerical assessment of parabolic partial differential equations using Haar and Legendre wavelets. Appl. Math. Model.2013, 37, 9455–9481. [Google Scholar] [CrossRef]
Yin, F.; Tian, T.; Song, J.; Zhu, M. Spectral methods using Legendre wavelets for nonlinear Klein\Sine-Gordon equations. J. Comput. Appl. Math.2015, 275, 321–324. [Google Scholar] [CrossRef]
Luo, W.H.; Huang, T.Z.; Gu, X.M.; Liu, Y. Barycentric rational collocation methods for a class of nonlinear parabolic partial differential equations. Appl. Math. Lett.2017, 68, 13–19. [Google Scholar] [CrossRef]
Luo, W.H.; Huang, T.Z.; Wu, G.C.; Gu, X.M. Quadratic spline collocation method for the time fractional subdiffusion equation. Appl. Math. Comput.2016, 276, 252–265. [Google Scholar] [CrossRef]
Jiang, C.B.; Kawahara, M. A three-step finite element method for unstesdy incompressible flows. Comput. Mech.1993, 11, 355–370. [Google Scholar] [CrossRef]
Kashiyama, K.; Ito, H.; Behr, M.; Tezduyar, T. Three-step explicit finite element computation of shallow water flows on a massively parallel. Int. J. Numer. Meth. Fluids1995, 21, 885–900. [Google Scholar] [CrossRef]
Quartapelle, L. Numerical Solution of the Incompressible Navier-Stokes Equations; Springer Basel AG: Basel, Switzerland, 1993. [Google Scholar]
Kumar, B.V.R.; Sangwan, V.; Murthy, S.V.S.S.N.V.G.K.; Nigam, M. A numerical study of singularly perturbed generalized Burgers-Huxley equation using three-step Taylor-Galerkin method. Comput. Math. Appl.2011, 62, 776–786. [Google Scholar] [CrossRef]
Ford, W. Numerical Linear Algebra with Applications Using MATLAB; Elsevier: Waltham, MA, USA, 2015. [Google Scholar]
Toledo, S. Locality of reference in LU decomposition with partial pivoting. SIAM J. Matrix. Anal. Appl.1997, 18, 1065–1081. [Google Scholar] [CrossRef]
The statements, opinions and data contained in the journal Axioms are solely
those of the individual authors and contributors and not of the publisher and the editor(s).
MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The statements, opinions and data contained in the journals are solely
those of the individual authors and contributors and not of the publisher and the editor(s).
MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.