Numerical solution of multi-term time fractional wave diffusion equation using transform based local meshless method and quadrature

The diffusion equation is a parabolic partial differential equation. In physics, it describes the macroscopic behavior of many micro-particles in Brownian motion, resulting from the random movements and collisions of the particles. In mathematics, it is related to Markov processes, such as random walks, and applied in many other fields, such as materials science, information theory, and biophysics. The present papers deals with the approximation of one and two dimensional multi-term time fractional wave diffusion equations. In this work a numerical method which combines Laplace transform with local radial basis functions method is presented. The Laplace transform eliminates the time variable with which the classical time stepping procedure is avoided, because in time stepping methods the accuracy is achieved at a very small step size, and these methods face sever stability restrictions. For spatial discretization the local meshless method is employed to circumvent the issue of shape parameter sensitivity and ill-conditioning of collocation matrices in global meshless methods. The bounds of the stability for the differentiation matrix of our numerical scheme are derived. The method is tested and validated against 1D and 2D wave diffusion equations. The 2D equations are solved over rectangular, circular and complex domains. The computational results insures the stability, accuracy, and efficiency of the method.


Introduction and preliminaries
Recently, partial differential equations (PDEs) with fractional derivatives have gained significant attention of the research community in applied sciences and engineering. Such equations are encountered in various applications (continuum mechanics, gas dynamics, hydrodynamics, heat and mass transfer, wave theory, acoustics, multiphase flows, chemical engineering, etc.). Numerous phenomenon in Chemistry, Physics, Biology, Finance, Economics and other relevant fields can be modelled using PDEs of fractional order [1][2][3][4][5]. In literature a significant theoretical work on the explicit solution of fractional order differential equations can be found [6,7] and there references. Since the explicit solutions can be obtained for special cases and most of the time the exact/analytical solutions are cumbersome for differential equations of non-integer order, therefore an alternative way is to find the solutions numerically. Various computational methods have been developed for approximation of differential equations of fractional order. The authors in [8], for example, have analyzed the implicit finite difference method and proved its unconditional convergence and stability. In [9] approximate solution of fractional diffusion equation is obtained via compact finite difference scheme. Liu et al. [10] studied the sub-diffusion equation having non-linear source term using analytical and numerical techniques. In [11] a numerical scheme for the solution of turbulent Riesz type diffusion equation is presented. The authors in [12] have solved diffusion-wave equations of fractional order using a compact finite difference method which is based on its equivalent integro-differential form. Garg et al. [13] utilized the matrix method for approximation of space-time wave-diffusion equation of non-integer order. In [14] the authors solved multi-term wave-diffusion equation of fractional order via Galerkin spectral method and a high order difference scheme. Two finite difference methods for approximating wave-diffusion equations are proposed in [15]. Bhrawy et al. [16] utilized Jacobi operational matrix based spectral tau algorithm for numerical solution of diffusion-wave equation of non-integer order. In [4] the authors proposed numerical schemes for approximating the multi-term wave-diffusion equation. The Legendre wavelets scheme for diffusion wave equations is proposed in [17]. The authors [18] presented a numerical scheme which is based on alternating direction implicit method and compact difference method for 2-D wave-diffusion equations. Similarly a compact difference scheme [19] is utilized for approximation of 1-D and 2-D diffusion-wave equations. Yang et al. [20] proposed a fractional multi-step method for the approximation of wave-diffusion equation of non-integer order. A spectral collocation method and its convergence analysis are presented in [21] for fractional wave-diffusion equation.
Since all these methods are mesh dependent and in modern problems these methods have been facing difficulties due to complicated geometries. Meshfree methods, as an alternative numerical method have attracted the researchers. Some meshless methods have been devoloped such as element-free Galerkin method(EFG) [22], reproducing kernel particle method (RKPM) [23], singular boundary method [24],the boundary particle method [25], Local radial point interpolation method (MLRPI) [26] and so on.
Numerous meshless methods have been developed for the approximation of fractional PDEs. Dehghan et al. [27] analyzed a meshless scheme for approximation of diffusion-wave equation of non-integer order and proved its stability and convergence. In [28] the authors presented an implicit meshless scheme for approximation of anomalous sub-diffusion equation. Diffusion equations of fractional orders are apprximated via RBF based implicit meshless method in [29]. Hosseini et al. [26] developed a local radial point interpolation meshless method based on the Galerkin weak form for numerical solution of wave-diffusion equation of non integer order. In [30] the authors approximated distributed order diffusion-wave equation of fractional order using meshless method. The authors in [31] proposed a meshless point collocation method for approximation of 2 − D multi-term wave-diffusion equations. In [32] the authors proposed a local meshless method for time fractional diffusion-wave equation. Kansa method [33] is utilized for numerical solution of fractional diffusion equations. Zhuang et al. [34] proposed an implicit MLS meshless method for time fractional advection diffusion equation. The numerical solution of 2D wave-diffusion equation is studied in [35] using implicit MLS meshless method. The mentioned methods are meshfree time stepping methods and these methods faces stability restriction in time, and in these methods for convergence a very small step size is required. To overcome the issue of time instability some transformations may be used.
In literature some valuable work is available on resolving the problem of time instability. The researchers have coupled the Laplace transform with other well known numerical methods. For example the Laplace transform with Kansa method [33,36], finite element method [37,38], finite difference method [39], RBF method on unit sphere [40] and the references therein. In the present work we have coupled the Laplace transform with local meshless method for approximating the solution of the multi-term diffusion wave equation of fractional order.

Laplace transform based local meshless method
In our numerical scheme we transform the multi-term time fractional wave-diffusion equation to a time independent problem with Laplace transformation. The reduced problem is then approximated using local meshless method in Laplace space. Finally the solution of the original problem is obtained using contour integration. We apply the proposed method to multi-term fractional wave-diffusion equation of the form [14] P α,α 1 ,α 2 ,...,α m (D τ )U(χ, τ) = KLU(χ, τ) + f (χ, τ), for χ ∈ Ω, K ∈ R τ > 0, (2.1) where also for n = 2, we have The initial conditions for the above Eq (2.1) are . (2.4) and the boundary conditions are where L is the governing linear differential operator, and B is the boundary differential operator. By applying the Laplace transformation to Eq (2.1), we get Similarly applying the Laplace transform to (2.5), we get In our method first we represent the solution U(χ, τ) of the original problem (2.1) as a contour integral where, for Res ≥ ω with ω appropriately large, and Γ is an initially appropriately chosen line Γ 0 perpendicular to the real axis in the complex plane, with Ims → ±∞. The integral (2.10) is just the inverse transform ofÛ(χ, τ), with the condition thatÛ(χ, τ) must be analytic to the right of Γ 0 . To make sure the contour of integration remains in the domain of analyticity ofÛ(χ, τ), we select Γ as a deformed contour in the set Σ Υ φ = {s 0 : |args| < φ} ∪ {0}, which behaves as a pair of asymptotes in the left half plane, with Res → −∞ when Ims → ±∞, which force e sτ to decay towards both ends of Γ. In our work we have used two types of contours, the first contour is the hyperbolic contour Γ 1 due to [38] with parametric representation where, > 0, 0 < η < φ − π 2 , and Υ > 0. (2.12) By writing s = x + ιy, we observe that Γ 1 is the left branch of the hyperbola the asymptotes for (2.13) are y = ±(x − Υ − ) cot η, and x-intercept at s = Υ + (1 − sin η). The condition (2.12) confirms that Γ 1 lies in the sector Σ Υ φ = Υ + Σ φ ⊂ Σ φ , and grows into the left half plane. From (2.11) and (2.10), we have the following integral (2.14) Finally to approximate Eq (2.14), the trapezoidal rule with step k is used as The second contour employed in this work is the Talbot's contour [41], though ignored by many researchers, yet it is one of the best method for numerical inverting the Laplace transform [42]. The authors in [43] have optimized the Talbot's contour for approximating the solution of parabolic PDEs.
Other works on Talbot's method can be found in [44,45] and there references. In our work we have employed the improved Talbot's method [46] for numerical inversion of Laplace transform. The Talbot's contour has parametric representation of the form where the parameters σ, µ, ν, and γ are to be specified by the user. From (2.16) and (2.10) we have U(χ, τ) = 1 2πi π −π e s(ξ)τÛ (χ, s(ξ))ś(ξ)dξ. (2.17) We use M-panel mid-point rule with uniform spacing k = 2π M , to approximate the integral (2.17) as To obtain the solution U k (χ, τ), first we must solve system of 2M + 1 equations given in (2.8) and (2.9) for quadrature points s j , | j| ≤ M. For this purpose the local meshless method is used to discretize operators L, B.

Local meshless approximation
Given a set of points where d ≥ 1 the approximate function forÛ(χ) using local meshless method has the form,Û ( where λ i = {λ i j } n j=1 is the expansion coefficients vector, φ(r) is a kernel function,r = χ i − χ j is the distance between the centers χ i and χ j . Ω, and Ω i are global domain and local domains respectively. The sub-domain Ω i contains the center χ i , and around it, its n neighboring centers. Thus we obtain n × n linear systems which can be written as, .., n} are obtained by solving each of the N systems in (2.21). For the differential operator L we have the form, the above Eq (2.22) can be expressed as a dot product where ν i is a n-row vector and λ i is a n-column vector, entries of the n-column vector ν i are given as eliminating the co efficient λ i from (2.21), and (2.23) we have the following expression thus at each node χ i the approximation of the operator L via local meshless method is given as In (2.27) D is a sparse differentiation matrix obtained via local meshless method as an approximation to L. The matrix D has order N × N, it has n non-zero entries, and N − n zero entries, where N is number of centers in global domain, and n is the number of centers in local domain. The boundary operator B can be discretized in similar way.

Convergence and accuracy
In order to solve the multi-term time fractional diffusion wave equation using our proposed method, the local meshless method and Laplace transformation is used. In our numerical scheme first the Laplace transform is applied to time dependent equation which eliminates the time variable, and this process causes no error. Then the local meshless method is utilized for approximating time independent equation. The error estimate for local meshless method is of order O(η 1 h ),0 < η < 1, is the shape parameter and h is the fill distance. In the process of approximating the integrals (2.14) and (2.17) convergence is achieved at different rates depending on the paths Γ 1 , and Γ 2 . In approximating the integrals (2.14) and (2.17) the convergence order rely upon on the step k of the quadrature rule and the time domain [t 0 , T ] for Γ 1 . The proof for the order of quadrature error for the path Γ 1 is given in the next theorem.
Hence the error estimate for the proposed scheme is The authors in [46] derived the optimal values of the parameters for the Talbot's contour (Γ 2 ) defined in (2.16) as given below σ = 0.6122, µ = 0.5017, ν = 0.2645, and γ = 0.6407, with corresponding error estimate as

Stability
To investigate the stability of the systems (2.8) and (2.9), we represent the system in discrete form as the matrix M N×N is sparse matrix obtained using local meshless method. For the system (4.1) the constant of stability is defined as for any discrete norm . defined on R N the constant C is finite . From (4.2) we may write Similarly for the pseudoinverse M † of M, we can write Thus we have We can see that Eqs (4.3) and (4.5) confirms the bounds for the stability constant C. Calculating the pseudoinverse for approximating the system (4.1) numerically be quite expansive computationally, but it confirms the stability. The MATLAB's function condest can be used to estimate M −1 ∞ in case of square systems, thus we have This work well with less number of computations for our sparse differentiation matrix M. Figure 1(a) shows the bounds for the constant C of our system (2.8) and (2.9) for Problem 1 using the Talbot's contour Γ 2 . Selecting N = 80, M = 80, n = 15, and α = 1.8, α 1 = 1.7, α 2 = 1.6, c = 0.6 at τ = 1, we have 1.00 ≤ C ≤ 4.5501. It is observed that the upper and lower bounds for the stability constant are very small numbers, which guarantees that the proposed local meshless scheme is stable.

Numerical results and discussion
The numerical examples are given to validate our proposed Laplace transform based local meshless scheme. In our computations we have considered different 1 − D and 2 − D linear multi term wave-diffusion equations. In our numerical examples we have utilized the multi-quadrics(MQ) kernel function φ(r, ε) = (1 + (εr) 2 ) 1 2 . We have used the uncertainty principal due to [47] for optimization of the shape parameter. The accuracy of the method is measured using L ∞ error defined by is used. Here U k and U are the numerical and exact solutions respectively.

Problem 1
In the first test problem we consider the following linear fractional equation .
The exact solution of the problem is , c ∈ R.
The boundary and initial conditions are and The points along the hyperbolic contour Γ 1 are calculated using the statement ξ = −M : k : M, and along Talbot's contour Γ 2 using the relation ξ j = −π + ( j − 1 2 )k, where j = 1 : M, and k = 2π M . The parameters used in our computations for the contour Γ 1 are θ = 0.10, η = 0.15410, τ 1 = t 0 T , r 1 = 0.13870,r = 2r 1 π, Υ = 2.0 The results obtained for the parameters α, α 1 , α 2 , and c along the contour Γ 1 are displayed in Table 1, and along Γ 2 are displayed in Table 2. The exact and numerical spacetime solutions for the given problem is depicted in Figure 2(a) and in Figure 2(b) respectively. The absolute error and error estimate are displayed in Figure 3(a). Figure 3(b) shows error functions for various values of α j . The results confirms that our numerical scheme is accurate, stable and can solve multi-term time fractional wave-diffusion equations with less computation time.

Problem 2
As a second test problem we consider the following linear fractional equation The exact solution of the problem is The results obtained for fractional orders α, and α 1 . are displayed in Table 3 along the path Γ 1 , and in Table 4 along the path Γ 2 . The approximate and exact spacetime solutions are displayed in Figures  4(a) and Figure 4(b). The plot of absolute error and error estimate is displayed in Figure 5(a). Figure  5(b) shows the plot of error functions for various values of α, and α 1 . The results verifies the accuracy, stability and efficiency of the proposed local meshless scheme for multi-term time fractional wavediffusion equations.

Problem 3
We consider the following fractional equation The exact solution of the problem is .

This equation is considered on [0, 1] with boundary conditions
and initial conditions U 0 (χ) = 0, U 1 (χ) = 0. (5.9) The results obtained for third test problem with fractional orders α, and α 1 along the hyperbolic contour Γ 1 are displayed in Tables 5, and along the Talbots contour are displayed in Table 6. From the Tables it can be seen the method has good results in accuracy. Figures 6(a) shows the exact spacetime solution and Figure 6(b) shows the numerical spacetime solution. Figure 7(a), and Figure 7(b) absolute error and error estimate for the contour Γ 1 and Γ 2 respectively .

Problem 4
We consider the two dimensional multi-term time fractional wave-diffusion equation subject to zero initial conditions and the boundary conditions are generated from the exact solution U(χ, ϑ, τ) = e χ+ϑ τ 2+α+α 1 the given 2D test problem is solved with regular nodal points in rectangular, circular and complex domains.

Rectangular domain
The rectangular domain [0, 1] 2 is descretized with N uniformly distributed points. For this problem also we have used the hyperbolic contour Γ 1 and Talbot's contour Γ 2 with the same set of optimal parameters used for Problem 1. The uniform nodes distribution with boundary stencil red and interior stencil green are shown in Figure 8. The graphs of exact and approximate solutions for the parameters α = 1.3, α 1 = 1.1, at τ = 1 are shown in the Figure 9(a) and Figure 9(b). The results obtained for various values of N, n, and M along the path Γ 1 and Γ 2 are depicted in Table 7 and Table 8 respectively. From the results one can see that with large number of nodes the proposed method produced accurate results.   Here we solve the given problem in unit circle with center at (χ, ϑ) = (0.5, 0.5). The domain is descretized with N uniform nodes. The computational results for different values of N, n, and M along Γ 1 and Γ 2 are depicted in Table 9 and Table 10 respectively. Figure 10   In the last test problem we have considered the complex shape domain. The domain is generated by In this experiment also we have used the contours Γ 1 and Γ 2 with the same set of optimal parameters used in Problem 1. The results obtained for fractional orders α = 1.5, α 1 = 1.3, and various nodes N in the global domain and n in the local domain and quadrature points along the contour Γ 1 and Γ 2 are shown in Table 11 and Table 12 respectively. The regular nodes distribution in the complex domain are shown in Figure 12(a), whereas the approximate and exact solutions are presented in Figures 12(b). Figure 13 shows the absolute error obtained using the Talbots contour. It can be seen that the proposed numerical method produced very accurate and stable results in the complex domain, this confirms the efficiency of the method for such type of equations.

Conclusion
In this work, a local meshless method based on Laplace transform has been utilized for the approximation of the numerical solution of 1D and 2D multi-term time fractional wave diffusion equations. We resolved the issue of time-instability which is the common short coming of time-stepping methods using the Laplace transformation, and the issues of ill-conditioning due to dense differentiation matrices and shape parameter sensitivity with localized meshless method. The stability and convergence of the method are discussed. To verify the theoretical results some test problem in 1D and a test problem in 2D are considered. For the two dimensional problem we have considered rectangular, circular, and complex domains. For numerical inversion of Laplace transform we have utilized two types of contours the hyperbolic and the improved Talbot's contour. The results obtained using these two contours were accurate and stable. However, the results show that the Talbot's contour is more efficient computationally. The benefit of this method is that it can approximate such type equations very efficiently and accurately with less computation time, and without any time instability. The obtained results proves the simplicity in implementation, efficiency, accuracy, and stability of the proposed method.