Abstract
In this article, we apply the method of lines (MOL) for solving the time-fractional diffusion equations (TFDEs). The use of MOL yields a system of fractional differential equations with the initial value. The solution of this system could be obtained in the form of Mittag–Leffler matrix function. A direct method which computes the Mittag–Leffler matrix by applying its eigenvalues and eigenvectors analytically has been discussed. The direct approach has been applied on one-, two-, and three-dimensional TFDEs with Dirichlet, Neumann, and periodic boundary conditions as well.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A wide variety of approximate methods has been investigated to solve time-dependent partial differential equations [14]. In recent years, time-fractional partial differential equations (TFPDEs) and their numerical solutions have been investigated by many researchers [4, 16,17,18,19, 27]. One way to solve TFPDEs numerically is to discretize these equations in space, by applying various techniques, but leave time variable. This way is known as Method Of Lines (MOL) [11] and converts the TFPDE to a system of fractional ordinary differential equations (FODEs) or fractional differential algebraic equations (FDAEs). In TFPDEs, it involves discretising a given differential equation in space variables while obtaining analytical solution in the time direction. For this reason, the MOL is well known as a semi-analytical method [5, 29].
In this paper, we consider the Caputo-type time-fractional diffusion equations with the initial condition as
where \(\Omega \subset R^3\) is an open bounded domain with smooth boundary \(\partial \Omega\). In practice, the most common boundary conditions are as follows:
where \(\partial \Omega _{1/2}\) denotes the half of the \(\partial \Omega\).
MOL converts the time-fractional diffusion equation to a system of FODEs with the initial values. The solution of this system could be obtained in the form of Mittag–Leffler (ML) matrix function. ML function is a general form of exponential function. Various techniques to the matrix exponential function are generated through rational, Pad\(\acute{\mathrm {e}}\) approximations and scaling and squaring method [13, 21, 23, 26, 28, 31]. However, these techniques are not efficient to computing the Mittag–Leffler matrix function. Obtaining the iterative method for this type of matrix function such as ones utilized for matrix exponential function is not effective. Some efficient methods have been recently presented to compute ML functions and ML matrix functions as well. The Krylov subspace methods for ML matrix functions have been presented by Moret and Novati [22]. The numerical evaluation of two- and three-parameter ML functions has been computed by Garrappa [9]. He presented a method for the efficient computation of the ML function based on the numerical inversion of its Laplace transform as well. Accordingly, efficient Matlab code to evaluate the ML matrix function with two parameters has been obtained by Garrappa and Popolizio [10, 32]. In addition, Podlubny and Kacenak [25] have presented the efficient computation Matlab code of the ML function with desired accuracy. In this article, we use this code to compute the ML functions.
In general, the ML matrix function could be computed by the matrix eigenvalues and eigenvectors directly. In the current manuscript, our main goal is to convert the time-fractional diffusion equation to a system of FODEs with the initial values via finite difference MOL method. Then, we solve this system analytically by means of ML matrix function. Eventually, knowing the eigenvalues and eigenvectors of tridiagonal matrix, we compute the ML matrix function directly.
2 Preliminaries and definitions
First, we give some basic definitions and properties of the fractional calculus theory which are needed next. Then, the definition and some properties of Mittag–Leffler functions are discussed. The Kronecker product and Kronecker sum of matrices are defined, also some properties of tridiagonal matrix, such as the characteristic equation and eigenvalues of them are presented in the end of this section.
Definition 2.1
The Caputo derivative is defined as follows [24]:
where \(\alpha>0\) is the order of the derivative, n is the smallest integer greater than \(\alpha\), and \(\mathbb {N}\) denotes the set of natural numbers.
For the Caputo derivative, we have \(D_{*}^{\alpha } c = 0,\) where c is a constant, and
where \(\mathbb {N}_0=\{0,1,2,\cdots \}.\)
Definition 2.2
For n to be the smallest integer that exceeds \(\alpha\), the Caputo time-fractional derivative operator of order \(\alpha>0\) is defined as [24]
2.1 Mittag–Leffler function
The one, two and three-parameter Mittag–Leffler functions which are relevant to the fractional calculus, are defined as
In the case, \(\alpha\) and \(\beta\) are real and positive, and these series converge for all values of z. Note that when \(\beta =1\), \(E_{\alpha ,1 }(z)=E_{\alpha }(z)\). The solutions of linear fractional differential equations are often indicated in terms of Mittag–Leffler functions because of the following property of these functions:
Lemma 2.1
For any real\(a\ne b,\)we have the following relation [24]:
Definition 2.3
Let \(A\in \mathbb {R}^{m,n}\) and \(B\in R^{p,q}.\) Then, the Kronecker product (or tensor product) of A and B is defined as the matrix [1]:
Definition 2.4
Let \(A\in \mathbb {R}^{m,m}\) and \(B\in R^{n,n}.\) Then, the Kronecker sum (or tensor product) of A and B is the \(mn\times mn\) matrix defined by [1]
The following lemma assists us to compute the Mittag–Leffler matrix functions effectively in the next sections.
Lemma 2.2
For the diagonalizable matrices\(A=X_A\Lambda _AX_A^{-1}\in \mathbb {R}^{m,m}\) and \(B=X_B\Lambda _BX_B^{-1}\in R^{n,n}\), where\(X_A\)and\(X_B\)are matrices of eigenvectors ofAandB, respectively, and also\(\Lambda _A\)and\(\Lambda _B\)are diagonal matrices of their eigenvalues, we have
Proof
Using the definition of Kronecker sum for term \(\Lambda _A\oplus \Lambda _B\), we can prove the lemma. \(\square\)
The pervious lemma can be simply generalized for r diagonalizable matrices \(A_i=X_i\Lambda _i X_i^{-1}\in \mathbb {R}^{m_i,m_i},~i=1,...,r,\) as follows:
Definition 2.5
Consider the tridiagonal matrix
Denote the characteristic polynomial of \(T_n\) by \(p_n(\lambda )=det(\lambda I- T_n).\) The recursion for computing \(p_n(\lambda )\) is [2]
where \(2\le i\le n.\)
For more details about the eigenvalues of tridiagonal matrix for special case, please see [20].
This paper is arranged as follows: in Sect. 3, the finite difference method for 1D fractional diffusion equation has been applied to convert this equation to a system of fractional ordinary differential equations. The eigenvalues and eigenvectors of the coefficient matrix of this system for different boundary conditions have been presented. In Sects. 4 and 5, we generalize FDM for 2D and 3D problems as well. The analytical solution of linear system of fractional ordinary differential equations has been described in Sect. 6. The property of direct methods which could solve the system of fractional ODEs obtained by MOL [6] on TFDE analytically is described in Sect. 7. Some test problems are solved with the proposed method in Sect. 8. The conclusion and future work are discussed in the final section.
3 Finite difference method for 1D diffusion equation
In this section, we decide to convert the 1D diffusion equation, with various types of boundary conditions, to the system of FODEs in the form \(u ^{(\alpha )}=Au +\mathbf f,\) via central finite difference MOL method. Then, by obtaining the eigenvalues and eigenvectors of A, we solve this system directly.
First, consider the heat equation with heat sources which models the temperature distribution in a long thin rod of length L. The time-fractional partial differential equation (PDE) for this problem with the source term f and the initial condition is
Evaluating the diffusion operator \(U_{xx}\) using a central finite difference schemes around \(x_i\) gives
where \(h=(L-x_0)/M\) and \(U_i=U(x_i,t)\). This method converges with second-order accuracy in space, while \(U\in C^2[x_0,L]\). Equation (3.2) could be redefined in the following system of FODEs:
where the initial condition \(\mathbf u _0,\) the vector \(\mathbf f\), and matrix A are different for some boundary conditions. We will discuss about these matrices and their properties in the next subsections.
3.1 Two-side Dirichlet boundary conditions
In the case of heat conduction equation, Dirichlet boundary conditions for the region would be to specify the temperature at the bounds of the region.
Dirichlet boundary conditions at the two boundaries (\(U(x_0,t)=U(L,t)=0\)) give
The eigenvalues and eigenvectors of A are [20]
The matrix A is symmetric, thus, its eigenvectors are orthonormal, and then, we have
3.2 Two-side Neumann boundary conditions
Boundary conditions of the Neumann type are specified functions of time representing the heat flow across the boundary.
Two-side Neumann boundary conditions, \(U_x(x_0,t)=U_x(L,t)=0\), give
and also
which its eigenvalues and eigenvectors are [20]
In addition, we can write
where \(c_1=c_{M+1}=2\) and \(c_i=1,~i=2,3,...,M\).
3.3 Neumann–Dirichlet boundary conditions
Here, the matrix A for left-side Neumann and right-side Dirichlet or left-side Dirichlet and right-side Neumann boundary conditions is as follows:
For each matrix, the eigenvalues are [20]
The eigenvectors for the left matrix of Eq. (3.4) are
and the eigenvectors of the right matrix of Eq. (3.4) are
\(X_{ij}=x_j^{(i)},~\bar{X}_{ij}=\bar{x}_j^{(i)}~,i,~j=1,...,M\), and also we have
where \(c_1=\bar{c}_M=2\) and \(c_i=1,~i=2,3,...,M,~ \bar{c}_i=1,~i=1,2,...,M-1\).
3.4 Periodic boundary conditions
In heat conduction equation, the periodic boundary conditions mean that at the ends of the boundaries, both the temperature and the heat flux must be equal.
Therefore, we have the boundary conditions \(U(x_0,t)=U(L,t)\) and \(U_x(x_0,t)=U_x(L,t)\), or
Then, from Eq. (3.2) for \(i=M-1\), we can write
In addition, using \(U_{-1}=U_0-hU_x|_0+O(h^2)\) and from Eq. (3.2) for \(i=0\), we obtain
and subsequently, applying \(U_x|_M=(U_M-U_{M-1})/h+O(h)\) yields
Therefore, we have
and matrix A, according to Eqs. (3.5) and (3.6), will be defined by
Defining \(A=-2I+P,\) we have \(\lambda (A)=-2+\lambda (P)\). The characteristic equation of matrix P is
where \(u_{M}(\lambda )\) is M-order second-kind Chebyshev polynomial. Defining \(\lambda =2\cos (\theta )\) yields \(u_{M}(\lambda )=\sin \big ((M+1)\theta \big )/\sin (\theta ),\) so we can write
Consequently, \(\theta\) and then \(\lambda (A)\) will be easily found as
The eigenvectors of a circulant matrix A and P are given by
where \(\mathrm {i}=\sqrt{-1}\). The eigenvectors are orthonormal in \(\mathbb {C}^M\); therefore, we have \(A=X\Lambda X^*,~X_{ij}=x_j^{(i)},\) where \(X^*\) is the conjugate transpose of X.
4 Finite difference method for 2D-diffusion equation
Same as the previous section, we decide to convert the 2D diffusion equation with various types of boundary conditions, to the system of FODEs, and then, by obtaining the eigenvalues and eigenvectors of system, we solve it directly.
Consider the two-dimensional heat equation satisfying the initial condition:
Employing a central finite difference formula to evaluate the diffusion operators \(U_{xx}\) and \(U_{yy}\) yields
where \(h_x=(L_x-x_0)/M_x\) and \(h_y=(L_y-y_0)/M_y\). Equation (4.2) could be redefined in the following system of FODEs:
4.1 Dirichlet boundary conditions
Here, we have
the initial condition is
and also
where A is \((M_y-1)\times (M_y-1)\) tridiagonal matrix in the following form:
and \(I_y\) is identity matrix of order \((M_y-1)\times (M_y-1)\). Now, we can rewrite \(\mathbf {A}_2\) as
where \(T_x=\mathrm {Trid}(1,0,1)\) is \((M_x-1)\times (M_x-1)\) matrix. In addition, we can write
Therefore, \(\mathbf {A}_2\) reduces to
where
The eigenvalues and eigenvectors of \(T_p\) (\(p=x\) or y) are
In addition, the eigenvectors of \(\mathscr {T}_p\) are the same as \(T_p\) and its eigenvalues are
Denoting the matrices of eigenvectors and eigenvalues of matrix \(\mathscr {T}_p\) by \(X_p\) and \(\Lambda _p\) and using Lemma 2.1, we can write
4.2 Neumann boundary conditions
Here, we have
the initial condition is
and also \(\mathbf {A}_2\) is similar to Eq. (4.4), but matrix A is \((M_y+1)\times (M_y+1)\) tridiagonal matrix in the following form:
and \(I_y\) is the identity matrix of order \((M_y+1)\times (M_y+1)\). \(\mathbf {A}_2\) is similar to a symmetric matrix, so has real eigenvalues. Similar to Dirichlet boundary condition, we have
but here
which its eigenvalues and eigenvectors are [20]
4.3 Periodic boundary conditions
In this case, we have
the initial condition is
and
where A is \(M_y\times M_y\) matrix in the following form:
and \(I_y\) is identity matrix of order \(M_y\times M_y\). Now, we can rewrite \(\mathbf {A}_2\) same as pervious, but here
It should be noted that the order of matrix \(\mathbf {A}_2\) is \((M_x-1)\times (M_y-1)\) for Dirichlet, \(M_x\times M_y\) for periodic and \((M_x+1)\times (M_y+1)\) for Neumann boundary conditions.
5 Finite difference method for 3D diffusion equation
To complete our discussion about solving the time-fractional diffusion equation, we investigate three-dimensional problem as well.
Consider the 3D heat equation satisfying the initial condition:
Evaluating the diffusion operators \(U_{xx}\), \(U_{yy}\), and \(U_{zz}\) using a central finite difference gives
where, \(h_x=(L_x-x_0)/M_x\), \(h_y=(L_y-y_0)/M_y\) and \(h_z=(L_z-z_0)/M_z\). Equation (5.2) could be redefined in the following system of FODEs
\(\mathbf {A}_3\) will be obtained in the following for different boundary conditions.
5.1 Dirichlet boundary conditions
Here, we have
the initial conditions are
and also
where
and A is \((M_z-1)\times (M_z-1)\) tridiagonal matrix in the following form:
\(I_z\) is the identity matrix of order \((M_z-1)\times (M_z-1)\) and \(I_{yz}\) is identity matrix of order \((M_y-1)(M_z-1)\times (M_y-1)(M_z-1)\). Now, we can rewrite \(\mathbf {A}_3\) as follows:
where \(T_x=\mathrm {Trid}(1,0,1)\) and the order is \((M_x-1)\times (M_x-1)\). In addition, \(\mathbf {A}_2\) deduces to
Thus we obtain
or
where
In addition, the matrix \(\mathbf {A}_3\) using its eigenvalues and eigenvectors could be written as follows:
5.2 Neumann boundary conditions
Here, similar to Dirichlet condition, \(\mathbf {A}_3\) has been obtained by Eq. (5.4), but \(T_x,~T_y\) and \(T_z\) are \((M_x+1)\times (M_x+1),~(M_y+1)\times (M_y+1)\), and \((M_z+1)\times (M_z+1)\), respectively, and are defined by
5.3 Periodic boundary conditions
Here, similar to Dirichlet condition, \(\mathbf {A}_3\) has been obtained by Eq. (5.4), but \(T_x,~T_y\) and \(T_z\) are \(M_x\times M_x,~M_y\times M_y\) and \(M_z\times M_z\), respectively, and are defined by
6 Analytical solution of linear system ofFODEs
In the previous sections, we converted the time-fractional diffusion equation to the system of FODEs with the initial condition. In this section, we investigate the solution of the system of FODEs in the following form:
where M is an invertible matrix and the fractional derivative is Caputo type.
Taking the Laplace transform form, Eq. (6.1) gives [15]
and simplifying the result yields
where I is an identity matrix. The inverse Laplace transform gives the solution in the form [3, 15]:
For the homogenous system of FODEs, the solution is
Now, we describe the analytical solution of the Mittag–Leffler matrix functions which are obtained via FDM by applying its eigenvalues and eigenvectors of the corresponding matrix in the next section.
7 Direct method to obtain Mittag–Leffler matrix functions
There are several techniques for lifting a real function to a square matrix function such as power series, diagonalizable matrices, Jordan decomposition, Cauchy integral, and so on [12]. However, in this paper, we only focus on Diagonalizable matrices method. The eigenvalues and eigenvectors of our matrix are exactly obtained thus the diagonalizable matrices method may be a simple and efficient method to compute the Mittag–Leffler (ML) matrix functions. For the diagonalizable matrix A, the matrix function f(A) can be obtained by [12]
where \(\lambda _i\)s are eigenvalues of A and X is the matrix of its eigenvectors.
Now, we discuss the solution of TFDEs. The ML matrix function, where A is a diagonalizable matrix, can be obtained as follows:
It should be noted that the values of \(E_{\alpha ,\beta }(\lambda _i)\) obtained using the \(mlf.m\) matlab code [25]. Subsequently, Eq. (3.3) may be computed in the following form:
It should be noted that the matrices \(X,~X^{-1}\) and \(\Lambda\) are obtained exactly for one-, two-, and three-dimensional diffusion equations in the pervious sections as well, respectively.
Now, we discuss about the solution of Eq. (7.1), for some types of heat source term f.
-
fis a separable function in the form\(f(\mathbf {x},t)=h(t)g(\mathbf {x})\), then we have
Consequently, we can write
where S(t) is the diagonal matrix and its ith entries will be
For \(h(t)=t^{\mu }\), the author of [7] proved that the above equation reduces to
and also if h(t) is in the form:
one has
For the special \(h(t)=E_{\alpha }(at^{\alpha }),\) we have the following function for \(s_i(t)\) using Lemma 2.1 as
-
f is a general form of separable functions in the form
then Eq. (7.1) could be rewritten by
where
and
8 Test problems
Before considering the test problems, we first express the well-known fractional finite difference method (FFDM) [30] for the system of ODEs (3.3). Applying this method by time step, \(\Delta t =T/N,\) reduces Eq. (3.3) to
where \(\mathbf u _{j}=\mathbf u (j\Delta t ),\)\(b_j=(j+1)^{1-\alpha }-j^{1-\alpha }\) and \(s=\Delta t^\alpha \Gamma (2-\alpha ).\) This method gives the solution of the problem in any step of time recursively. To obtain the appropriate accuracy in time variable, we set \(\Delta t\) very small.
To confirm the utility of the presented method, we apply the method to five examples. In the examples with the exact solution, we report the absolute maximum error between any finite difference nodes at the final time. In addition, then, the logarithmic graph of error by increasing the number of nodes is plotted. According to these graphs, we show that if the unknown function \(U\in C^2(\Omega ),\) the method converges with the second-order accurate in space as well. We implemented the proposed method using Matlab 2016 with hardware configuration: desktop; Intel Core i7 CPU (4M Cache, 2.80 GHz), 8GB of RAM.
8.1 1D problem
Consider the homogenous heat problem with the exact solution
with Dirichlet and periodic boundary conditions. The numerical results for this problem are obtained (see Fig. 1) and also the maximum error corresponding to different M with present method in the final time \(T=1\) is illustrated in Fig. 2. For this problem, FFDM gives the same results, while \(\Delta t\) is very small (\(\Delta t = 10^{-5}\)). To show the superiority of the proposed method against the FFDM, Fig. 3 is prepared. This figure shows that the FFDM is more time consuming than the MOL method which is proposed in this paper.
8.2 2D problems
-
Consider the non-homogenous problem with the exact solution:
and heat source term \(f=\pi ^2 U\) with Dirichlet boundary conditions. In this problem, the solution is obtained using Eq. (7.2), where the entries of the diagonal matrix S(t) could be achieved via Eq. (7.3) as follows:
The numerical results for this problem are obtained and displayed in Fig. 4, and also the maximum error corresponding to different M with present method in the final time \(T=1\) is illustrated in Fig. 5.
-
Consider 2D homogenous heat conduction problem with the homogenous Dirichlet boundary condition on \([0,1]^2\) and the non-smooth initial condition
$$\begin{aligned} u(x,y,0)=\delta (x)\delta (y), \end{aligned}$$where \(\delta (.)\) denotes the Dirac delta function and defined by
$$\begin{aligned} \delta (x)=\lim _{\sigma \rightarrow 0}\frac{1}{\sigma \sqrt{\pi }}\exp \left( -(\frac{x}{\sigma })^2\right) . \end{aligned}$$For solving this problem, we fix \(\sigma =10^{-5}.\) Figure 6 includes numerical calculations for \(\alpha = 1\) and \(M = 120\).
-
Consider 2D non-homogenous heat conduction problem with Dirichlet boundary conditions and the exact solution
$$\begin{aligned} & U_{\beta }(x,y,t)=(x-x^2)^\beta (y-y^2)^\beta E_\alpha (-t^\alpha ),\\ & \quad (x,y)\in [0,1]^2, \end{aligned}$$and heat source term:
$$\begin{aligned} f = -U_\beta -\beta U_{\beta -2}\left( p_2(x)(y-y^2)^2+p_2(y)(x-x^2)^2\right) , \end{aligned}$$where \(p_2(\eta )=(4\beta -2)\eta ^2-(4\beta -2)\eta +\beta -1.\)
In this problem, the solution is obtained using Eq. (7.2), where the entries of the diagonal matrix S(t) could be achieved via Eq. (7.3) as follows:
The numerical results for this problem for various values of \(\beta\), and the maximum error corresponding to different M with present method in the final time \(T=1\) are illustrated in Figs. 7 and 8. According to these figures, we could confirm that the convergence order in space for this problem is \(O(h^{\beta })\) for \(0<\beta <2,~\beta \ne 1.\)
8.3 3D problem
Consider the homogenous problem with the exact solution
with Dirichlet boundary conditions. The maximum error corresponding to different M via present method in the final time \(T=1\) is illustrated in Fig. 9.
9 Conclusion and future work
The method of lines for solving the one-, two-, and three-dimensional linear time-fractional diffusion equations with three well-known boundary conditions has been presented in this paper. The MOL involves discretising the diffusion equation in space dimensions (by central finite difference scheme) and then converts this equation to a system of fractional ordinary differential equations. This system has been solved analytically in terms of the one and two-parameter Mittag–Leffler matrix functions. The values of Mittag–Leffler matrix functions have been computed by the matrix eigenvalues and eigenvectors exactly. Consequently, the semi-analytical solutions of linear time-fractional diffusion equations have been presented for some diffusion source terms. In this paper, the diffusion derivative discretised using central finite difference scheme which is second-order accurate. In addition, we will apply the high-order finite difference methods in our future works.
References
Bellman R (1997) Introduction to matrix analysis. Society for Industrial and Applied Mathematics. Philadelphia, PA
Bini DA, Gemignani L, Tisseur F (2005) The Ehrlich-Aberth method for the nonsymmetric tridiagonal eigenvalue problem. SIAM J Matrix Anal Appl 27:153–175
Diethelm K (2010) The analysis of fractional differential equations, an application oriented exposition using differential operators of Caputo type. Springer, Berlin
Dehghan M, Manafian J, Saadatmandi A (2010) Solving nonlinear fractional partial differential equations using the homotopy analysis method. Numer Methods Part Differ Equ 26(2):448–479
Dehghan M, Shakeri F (2009) Method of lines solutions of the parabolic inverse problem with an overspecification at a point. Numer Algor 50:417–437
Dehghan M, Mohammadi V (2015) The method of variably scaled radial kernels for solving two-dimensional magnetohydrodynamic (MHD) equations using two discretizations: The Crank-Nicolson scheme and the method of lines (MOL). Comput Math Appl 70(10):2292–2315
Esmaeili S (2017) Solving 2D time-fractional diffusion equations by a pseudospectral method and Mittag-Leffler function evaluation. Math Methods Appl Sci 40:1838–1850
Euler L (1730) Memoire dans le tome V des Comment. Saint Petersberg Annees, 55
Garrappa R (2015) numerical evaluation of two and three parameter Mittag-Leffler functions. SIAM J Numer Anal 53:1350–1369
Garrappa R, Popolizio M (2013) Evaluation of generalized Mittag-Leffler functions on the real line. Adv Comput Math 39:205–225
Heath MT (2002) Scientific computing: an introductory survey, 2nd edn. McGraw-Hill, New York
Higham NJ (2008) Functions of matrices theory and computation, vol 104. Society for Industrial and Applied Mathematics, Philadelphia, PA
Higham NJ (2005) The scaling and squaring method for the matrix exponential revisited. SIAM J Matrix Anal Appl 26:1179–1193
Hundsdorfer W, Verwer JG (2003) Numerical solution of time-dependent advection-diffusion-reaction equations, vol 33. Springer, Berlin
Kazem S (2013) Exact solution of some linear fractional differential equations by Laplace transform. Int J Nonlinear Sci 16:3–11
Khan Y, Wu Q, Faraz N, Yildirim A, Madani M (2012) A new fractional analytical approach via a modified Riemann-Liouville derivative. Appl Math Lett 25:1340–1346
Khan Y, Faraz N, Kumar S, Yildirim A (2012) A Coupling method of homotopy perturbation and Laplace transformation for fractional models. UPB Sci Bull Ser A 74:57–68
Khan Y, Ali Beik SP, Sayevand K, Shayganmanesh A (2015) A numerical scheme for solving differential equations with space and time-fractional coordinate derivatives. Quaest Math 38:41–55
Khan Y, Sayevand K, Fardi M, Ghasemi M (2014) A novel computing multi-parametric homotopy approach for system of linear and nonlinear Fredholm integral equations. Appl Math Comput 249:229–236
Lombardi G, Rebaudo R (1988) Eigenvalues and eigenvectors of a special class of band matrices. Rend Ist Mat Univ Trieste 20:113–128
Mitchell AR, Griffiths DF (1980) The finite diffrerence method in partial differential equations. John Wiley, New York
Moret I, Novation P (2011) the convergence of Krylov subspace methods for matrix Mittag-Leffler functions. SIAM J Numer Anal 49:2144–2164
Norsett SP, Wolfbrandt A (1977) Attainable order of rational approximations to the exponential function with only real poles. BIT 17:200–208
Podlubny I (1999) Fractional differential equations. Academic Press, San Diego
Podlubny I, Kacenak M (2005) Mittag-Leffler function; calculates the Mittag-Leffler function with desired accuracy , MATLAB Central File Exchange, File ID 8735, mlf. m
Reusch MF, Ratzan L, Pomphrey N, Park W (1988) Diagonal Padé approximations for initial value problems. SIAM J Sci Stat Cornput 9:829–838
Saadatmandi A, Dehghan M (2010) A new operational matrix for solving fractional-order differential equations. Comput Math Appl 59(3):1326–1336
Serbin SM (1992) A scheme for parallelizing certain algorithms for the linear inhomogeneous heat equation. SIAM J Sci Stat Cornput 13:449–458
Shakeri F, Dehghan M (2008) The method of lines for solution of the one-dimensional wave equation subject to an integral conservation condition. Comput Math Appl 56:2175–2188
Sun ZZ, Wu X (2006) A fully discrete difference scheme for a diffusion-wave system. Appl Numer Math 56:193–209
Zakian V (1971) Comment on rational approximations to the matrix exponential. Electron Lett 7:261–262
Acknowledgements
The authors are grateful to the reviewers for their comments and suggestions which have improved the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kazem, S., Dehghan, M. Semi-analytical solution for time-fractional diffusion equation based on finite difference method of lines (MOL). Engineering with Computers 35, 229–241 (2019). https://doi.org/10.1007/s00366-018-0595-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00366-018-0595-5
Keywords
- Method of lines
- Time-fractional diffusion equations
- Mittag–Leffler function
- Matrix exponential function
- Tridiagonal matrix
- Dirichlet
- Neumann and periodic boundary conditions