Abstract
This paper introduces sufficient conditions to determine conservation laws of diffusion equations of arbitrary fractional order in time. Numerical methods that satisfy discrete counterparts of these conditions have conservation laws that approximate the continuous ones. On the basis of this result, we derive conservation laws for a mixed scheme that combines a finite difference method in space with a spectral integrator in time. A range of numerical experiments shows the convergence of the proposed method and its conservation properties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of conservation laws for differential equations is beneficial to both the comprehension of the physical problem and to the analysis of the mathematical model. A conservation law relates the variation of a certain quantity within an arbitrarily small section of the space domain, to the amount of quantity that flows in and out. If the system is isolated, the total amount of the conserved quantity does not vary in the evolution of the process. The conserved quantity often has a physical meaning, such as mass, energy, momentum, electric charge. Thus, conservation laws provide further information on the physical properties of the problem with respect to the differential equation, which illustrates only the variation in time and space of a certain quantity (e.g. temperature, mass, concentration). On the side of the mathematical investigation, conservation laws represent a fundamental tool to study the existence, uniqueness and stability of analytical solutions, and to construct particular solutions of partial differential equations (PDEs).
Several mathematical techniques have been developed to construct conservation laws of classical PDEs involving integer order derivatives only, including methods based on Noether’s theorem, the direct method, the homotopy operator method, Ibragimov’s method [3, 4, 35, 52]. In addition, a great effort has been made for the numerical preservation of conservation laws [10, 13, 23, 25, 26, 44, 59] and to find structure preserving methods [6, 7, 14,15,16,17,18, 30, 34, 43, 55, 58]. Numerical methods that preserve conservation laws or the corresponding total invariants, not only have solutions that satisfy constraints that are inherited from the original problem, but also have favourable error propagation mechanisms on long term simulations [19, 22].
In the last decade, conservation laws for fractional differential problems have been derived by suitably extending some of these known methods for PDEs. In particular, techniques that rely on generalizations of Noether’s theorem and variational Lie point symmetries have been applied to find conservation laws of fractional differential equations (FDE) with a fractional Lagrangian [12, 39]. For nonlinearly self-adjoint FDEs that do not have a Lagrangian in the classical sense, a formal Lagrangian can be introduced and conservation laws are obtained by using modern techniques based on Lie group analysis of FDEs. This approach, proposed for the first time by Lukashchuk in 2015 [41], has been applied to time fractional PDEs [1, 12, 29, 36, 38,39,40,41, 47, 51] and more recently to time and space fractional PDEs (see [54, 56] and references therein).
However, to the best of our knowledge, the specialized literature still misses a study on the numerical preservation of conservation laws of fractional differential problems.
In the present paper we consider a time fractional diffusion equation. Equations of this kind have been used to investigate viscoelastic materials in mechanics [42], anomalous diffusion in complex systems [37], such as crowded liquids inside biological cells, solutions and melts of polymeric materials, lipid bilayer membranes, but also to model the dynamic behaviour of bone metastases, ion diffusion in an electrolytic cell through the electrical conductivity, diffusion in magnetic resonance imaging (MRI) of the brain, corrosion due to chloride ion diffusion in concrete structures. We refer to [57] and to the references therein for an overview on these and other applications of time fractional diffusion equations.
The purpose of this paper is threefold: finding conservation laws of the considered FDE, establishing conditions that a numerical scheme has to satisfy to have discrete counterparts of these conservation laws, proposing a numerical scheme with these conservative properties. In more details, the original contributions of this paper are as follows.
-
1.
Conservation laws of diffusion equations of fractional order in time, \(\alpha \), with \(0<\alpha <1\) and \(1<\alpha <2\) have been obtained in [41]. This paper introduces sufficient conditions for identifying conservation laws of this equation for any value of \(\alpha \).
-
2.
We show that if a numerical method satisfies discrete counterparts of the sufficient conditions introduced in the continuous setting, then it has discrete conservation laws that approximate the continuous ones. In the integer case, \(\alpha =1\), finite difference methods that preserve conservation laws have been introduced in [24].
-
3.
We propose a mixed method that combines a finite difference scheme in space with a spectral time integrator. In particular, we consider the spectral time integrator proposed in [8] for time fractional PDEs of order \(\alpha \in (0,1)\) and extend its application to FDEs of arbitrary fractional order, \(\alpha \in (p-1,p)\), with \(p\in {\mathbb {N}}\). We show that the solutions of this method satisfy discrete versions of the conservation laws and derive their exact expressions for the two most relevant cases of subdiffusion (\(p=1\)) and superdiffusion (\(p=2\)) problems. Test examples are presented to highlight the conservation and convergence property of the scheme.
With respect to other methods for FDEs known in the literature (see e.g. [9, 20, 21, 45, 53, 60]), spectral methods present some advantages. In fact, step-by-step methods require at each time step a discretization of the long tail of the solution, arising from the hereditary nature of the fractional differential model. Thus, they are computationally expensive. Instead, spectral methods reflect the nonlocal nature of the fractional model and do not involve the discretization of the past history of the solution. Moreover, for a suitable choice of the function basis, spectral methods are exponentially convergent [62]. Within this class, we recall methods based on Chelyshkov polynomials [46, 48] and on Chebyshev polynomials [49, 50]. Pseudo-spectral methods based on fractional Lagrange or Müntz-Legendre polynomials have been introduced for the solution of time fractional PDEs, such as Fokker-Plank equation [31], Klein-Gordon equation [47], Black–Scholes equation [54], and a diffusion equation [32].
The rest of the paper is organized as follows. In Section 2, we give some basic material and definitions of fractional differential calculus that are used in the rest of the paper. In Section 3, we introduce sufficient conditions to have conservation laws in continuous and discrete settings. Section 4 generalizes the spectral time integrator in [8] to approximate Riemann-Liouville or Caputo derivatives of arbitrary order. Considering a Riemann-Liouville derivative, in Section 5, we apply this method to a finite difference discretization in space and derive its conservation laws. In Section 6, we verify the conservation laws and the accuracy of the numerical method on some numerical test examples. Finally, some conclusive remarks are drawn in Section 7.
2 Problem setting
Let us consider a time fractional diffusion PDE of the form
where the symbol \([u]_x\) denotes the function u and its integer derivatives in space and
We assume that equation (2.1) is complemented by suitable Dirichlet boundary conditions,
and p initial conditions. Depending on the context, the symbol \(D_t^\alpha \) denotes either the Riemann-Liouville fractional derivative,
or the Caputo fractional derivative,
where \(I_t^{p-\alpha }\) is the Riemann-Liouville integral,
and \(\varGamma (z)\) is the Gamma function. These two definitions of fractional derivative are related by
Thus, if the initial configuration is of total rest the two definitions are equivalent. For more details on the theory of fractional derivatives, we refer the reader to [53].
If the fractional derivative in (2.1) is the Riemann-Liouville derivative defined by (2.3), the initial conditions assigned to (2.1) are [33]
Instead, if the fractional derivative is of Caputo type (2.4), the initial conditions specify the initial values of the integer derivatives
Conservation laws for time fractional diffusion problems have been object of several papers, e.g. [12, 29, 38, 39, 41]. However, only papers [38, 41] treat equation of type (2.1) defined on a 3D and a 1D space, respectively.
3 Continuous and discrete conservation laws
3.1 Continuous setting
A conservation law of (2.1) is a total divergence,
that vanishes on solutions of (2.1). Functions F and G are called the flux and the density of the conservation law (3.1), respectively. The symbol \([u]_\alpha \) denotes the function u, its fractional and integer derivatives and its fractional integrals. Differently from [41], in this paper we assume that G depends on fractional integrals of order \(p-\alpha \) only. In fact, integrals of higher order should be treated as new integral variables. Moreover, this is consistent with the limit case of \(\alpha \) integer, where F and G are assumed to depend on u and its partial derivatives but not on its integrals [52].
When the boundary conditions are conservative (e.g., periodic) integration in space of (3.1) yields,
therefore, the following integral,
is a global invariant of equation (2.1). However, the local conservation law (3.1) holds true regardless of the specific boundary conditions.
The following theorem gives sufficient conditions to identify conservation laws of equation (2.1).
Theorem 1
If \(\rho (t)\) and \({\bar{G}}={{\bar{G}}}(x,t,[u]_\alpha )\) are two functions such that
then the quantities
are conservation laws of (2.1).
Proof
The quantities in (3.3) all vanish when u is a solution of (2.1). Therefore, we only need to prove that these quantities can be written in the form (3.1).
Taking into account that \(\rho \) and \({\bar{G}}\) satisfy (3.2), we obtain,
that, integrating by parts, can be written as a total divergence (3.1) with
and \(k=0,\ldots ,q-1\). \(\square \)
Corollary 1
Equation (2.1) with \(D_t^\alpha =\,^{\text {RL}}D_t^\alpha \) has at least \(p\cdot q\) conservation laws given by (3.1) where F and G are defined by (3.4) with
Proof
It follows from the definition of Riemann-Liouville fractional derivative (2.3) that equation (2.1) is itself a conservation law. In fact, it can be written in the form (3.1) with
As a consequence, Theorem 1 holds true with \(\rho (t)=1\) and \({{\bar{G}}}=G\). Hence, equation (2.1) has at least q conservation laws given in (3.3), and the statement is proved for \(p=1\). If \(p>1\),
where the last equality is obtained after integrating by parts j times and holds true with
Therefore, it follows from Theorem 1 that for each \(j=0,\ldots ,p-1,\) there are q conservation laws with flux and densities defined by
with \({\bar{G}}\) given in (3.7), and so a total of at least \(p\cdot q\) conservation laws. \(\square \)
Remark 1
The function \({{\bar{G}}}\) in (3.7) can be equivalently written as
if \(j<p-1,\) or as
if \(j=p-1\).
Remark 2
For \(\alpha =p=1\) and \(q=2\), (3.2) and (3.3) with \(\rho (t)=1\) are the two conservation laws given in [35].
3.2 Discrete setting
In order to define a numerical approximation of (2.1) we define a uniform spatial grid with nodes,
Considering that at the endpoints the solution is known from the boundary conditions (2.2), we define the vector of the approximations,
We denote with \(D_{\varDelta x}\) the forward difference operator in space and with \(D^{(q)}_{\varDelta x}\) the second-order centred difference operator for the q-th derivative.
We consider here semidiscretizations of the form
where \({\widetilde{K}}\approx K\) is here arbitrary, and it can be defined in such a way to obtain accuracy in space of arbitrary order. In fact, high-order finite difference approximations of the q-th derivative are defined on larger stencils and are obtained combining \(D_{\varDelta x}^{(q)}\) with suitable averaging operators (see e.g. formulae in [2]).
Let be
the nodes in time and \(D_{\varDelta t_j}\) the forward difference operator with step \(\varDelta t_j\). For simplicity of notation, henceforth we omit the subscript j in the time difference operator. We denote with \(u_{i,j}\) and \(D_{\varDelta t}^\alpha u_{i,j}\) the approximations of \(u(x_i,t_j)\) and of \(D_{t}^\alpha u(x_i,t_j)\), respectively, obtained after applying a suitable time integrator to (3.11). Hence, the fully discrete scheme for (2.1) is
Theorem 2 will give sufficient conditions that method (3.13) has to satisfy to have discrete conservation laws in the form
where \({\widetilde{F}}\) and \({\widetilde{G}}\) are suitable discretizations of the flux and density of a selected continuous conservation law, respectively. This result is a discrete version of Theorem 1, and the main contribution in this section. For its proof, we recur to the following lemma that can be proved by straightforward calculations.
Lemma 1
For any two discrete functions f and g, the following discrete versions of Leibniz rule hold true:
Moreover, for \(q>2\),
where the function \({{\widetilde{F}}}\) is obtained by iterating (3.15) \(\lambda \) times, if \(q=2\lambda \), or (3.15) \(\lambda \) times and (3.14) once, if \(q=2\lambda +1\).
Theorem 2
For all \(\rho (t_j)\) and \({\bar{G}}={\bar{G}}(x_i,t_j,u_{i,j})\) such that
the quantities
are conservation laws of (3.13) at the point \((x_i,t_j)\) that approximate their continuous counterparts with the same accuracy of the method.
Proof
The proof follows along similar lines as that of Theorem 1. Multiplying method (3.13) by \(x_i^k\rho (t_j)\), with \(k=0,1,\ldots ,q-1\), yields
These quantities clearly vanish on solutions of (3.13). Moreover, considering (3.16) and Lemma 1,
Then, as the spatial grid is uniform and \(k<q\),
where \({{\widetilde{G}}}=x_i^k{\bar{G}}\) and \({{\widetilde{F}}} \approx F\) in (3.4). As the function \(x_i^k\rho (t_j)\) is exactly evaluated at the nodes, a conservation law in the form (3.17) approximates its continuous limit (3.3) with the same accuracy of the scheme. \(\square \)
4 The time integrator
Given the space discretization (3.11), we perform the time integration by using the spectral method introduced in [8] for fractional problems of order \(\alpha \) with \(0<\alpha <1\). This method is here generalized to deal with equations of arbitrary fractional order. We separate the treatment of equations with fractional derivative satisfying Riemann-Liouville or Caputo definition with a focus on the particular case of zero initial conditions.
4.1 Riemann-Liouville fractional derivative
When the fractional derivative \(D_t^\alpha \) in (2.1) is the Riemann-Liouville derivative defined by (2.3), we look for time approximations of the solution (3.10) and of the initial conditions (2.6) at the node \(x_i\), in the form
respectively, where \(\{{\mathcal {P}}_j(t)\}_{j=0}^{N+p}\) is a suitable functional basis and \({{\hat{u}}}_j^i\) are unknown coefficients.
By considering the set of collocation points (3.12), we can equivalently write equation (4.1) as
where the functions \(\varphi _k(t)\) are unknown. By defining
expansion (4.3) gives the following approximation of the time fractional derivative of \({\mathbf {u}}_i\) defined in (3.10) at the collocation points:
In order to determine the functions \(\psi _k(t)\), and so to practically compute approximation (4.4), we define the following two vectors in \({\mathbb {R}}^{N+p+1}\),
the matrices of dimension \(N+p+1\),
with
and the matrices
Proposition 1
Matrix C can be computed as
Proof
By evaluating (4.1) at the nodes \(t_\ell \), with \(\ell =0,\ldots ,N\), we obtain a set of \(N+1\) equations that together with (4.2) forms an algebraic system that can be equivalently written as
therefore,
or, entry-wise,
Substituting in (4.1),
Comparing (4.3) and (4.8), we find that
and, differentiating,
The values \(\psi _k(t_\ell )\) are then obtained as
Equation (4.7) follows immediately. \(\square \)
Note that in order to compute \(\psi _k(t_j)\) in (4.10) we only need the values of the chosen basis \(\{{\mathcal {P}}_\ell (t)\}_{\ell =0}^{N+p}\) and its fractional derivatives at the collocation points. Therefore, the basis should be chosen such that it is easy to compute these fractional derivatives.
The fully discrete scheme for (2.1) is in the form (3.13) with the approximation of the fractional derivative (4.4) and
Let us consider matrix C defined in (4.6) and let be \(C=[C_1,C_2]\), with \(C_1\) a square matrix of dimension \(N+1\) and \(C_2\) of dimension \( (N+1)\times p\). The numerical method can be written in matrix form as
where the entries of \(U\in {\mathbb {R}}^{(N+1)\times M}\) and \(\gamma \in {\mathbb {R}}^{p\times M}\) are
respectively, matrix \({\widetilde{K}}(U)\) is obtained by applying \({\widetilde{K}}\) to the entries of matrix U, and
are matrices in \({\mathbb {R}}^{M\times M}\) and \({\mathbb {R}}^{(N+1)\times M},\) respectively.
Remark 3
In particular cases, the basis \(\{{\mathcal {P}}_j(t)\}_j\) can be chosen such that \(r\le p\) initial conditions (2.6) are satisfied by definition and do not need to be enforced on \(u_N^i\). In these cases, approximation (4.1) is taken in a projection space of dimension \(N+p+1-r\). Similarly, approximation (4.3) is replaced with
where (after a suitable reordering of the indexes) the second sum includes only the values \(\gamma _k\) of the initial conditions to be imposed. Matrices A and B in (4.5) have then reduced dimension \(N+p+1-r\), and \({\mathcal {P}}\) in (4.6) has dimension \((N+1)\times (N+p+1-r)\). System (4.11) has still dimension \((N+1)\times M\) but matrices \(C_2\) and \(\gamma \) have dimension \((N+1)\times (p-r) \) and \((p-r)\times M\), respectively.
4.2 Caputo fractional derivative
We now adapt the method introduced in Section 4.1 to problems in the form (2.1) with the Caputo fractional derivative defined by (2.4). In this case the initial conditions are given by (2.7). In particular, the initial value of u at \(t=t_0\) is known, and in order to obtain a compatible system the approximated solution must be taken in a space of reduced dimension \(N+p\).
Therefore, equations (4.1) and (4.2) are replaced with
respectively. With collocation points,
equation (4.12) is equivalently written as
where functions \(\varphi _k\) are unknown. Defining
the approximation of the fractional derivative is then given by
Following similar steps as in Section 4.1, the values
can be obtained by solving (4.7) where matrices C and \({\mathcal {P}}\) have now dimension \(N\times (N+p)\) and are defined by deleting the first row and the first column and the first row and the last column, from the corresponding matrices in (4.6), respectively. Matrix B has dimension \((N+p)\times (N+p)\) and is defined as in (4.5) after removing from A the first row and the last column.
By splitting matrix C as \(C=[C_1,C_2]\) where \(C_1\) and \(C_2\) have dimension \(N\times N\) and \(N\times p\), respectively, and defining \(U\in {\mathbb {R}}^{N\times M}\) with entries \(U_{k,i}=u_N^i(t_k),\) \(k=1,\ldots ,N\), \(i=1,\ldots ,M\), the numerical method can be written in matrix form as
where \({\mathcal {M}}\), \(\gamma \) and \({\widetilde{K}}(U)\) are defined as in (4.11) and
We observe that the dimension of system (4.16) is lower than that of system (4.11).
Remark 4
If the basis \(\{{\mathcal {P}}_j(t)\}_j\) is chosen such that \(r\le p\) initial conditions (2.6) are satisfied by \(u_N^i\) a similar discussion as in Remark 3 holds considering a projection space of dimension \(N+p-r\).
4.2.1 The case of zero initial conditions
When the initial conditions are of total rest, i.e.,
the definitions of Caputo and Riemann-Liouville fractional derivative are equivalent. Since in this special case \(\gamma _k(x_i)=0\), approximation (4.15) reduces to
and so only the values of \(\psi _k(t_j)\) for \(k=1\ldots ,N,\) and \(j=1\ldots ,N\) need to be calculated. The matrix form of the numerical method (4.16) reduces to
and so it is not necessary to calculate matrix \(C_2\). Matrix \(C_1\) is obtained from
where \({{\bar{B}}}\) is obtained removing from matrix B the last p columns.
Note that although the computation of the inverse of matrix A, having dimension \(N+p\), is still required, system (4.18) has reduced dimension, N.
Remark 5
The basis
identically satisfies all the initial conditions (4.17) for \(k=1,\ldots ,p-1,\) and so Remark 4 applies. In this case, then, matrix A has dimension \(N+1\).
5 Conservation laws of the fractional diffusion equation
Here and henceforth we consider equation (2.1) with \(q=2\) and Riemann-Liouville fractional derivative.
Although, as seen in Section 4, the general discussion holds for methods of arbitrary order in space, in order to give some specific results and explicit formulae of the preserved conservation laws, we focus here on second-order accurate schemes. Therefore, henceforth we set \({\widetilde{K}}=K\) and method (3.13) reduces to
As stated in Corollary 1, when the fractional derivative is defined according to the definition of Riemann-Liouville there are always at least two conservation laws. The first one is equivalent to equation (2.1) and it is defined by (see (3.5))
The second one is defined by (3.8) with \(k=1\) and \({\bar{G}}=G_1\), yielding,
We prove that method (5.1) preserves these conservation laws for any value of \(\alpha \) and p, and give their conserved approximations. According to Theorem 2, it suffices to prove (3.16), i.e. to find \({\widetilde{G}}_1\approx G_1\) such that
By integrating both sides in (2.3), we have
We define then
so that (5.4) is satisfied. Following the steps in the proof of Theorem 2, the remaining functions that define the two discrete conservation laws are
and (see (3.15)),
respectively, where \(A_{\varDelta x}\) denotes the forward average operator,
In the rest of this section, we focus on the two cases of subdiffusion and superdiffusion equations obtained setting \(p=1\) and \(p=2\), respectively. The continuous and discrete conservation laws obtained are listed in Table 1.
5.1 Subdiffusion-wave equation
When \(0<\alpha <1=p\) equation (2.1) defines a subdiffusion problem. Using Theorem 1 and Corollary 1 we can obtain only the two conservation laws defined by (5.2) and (5.3). Indeed, these two are the only independent conservation laws of the subdiffusion-wave equation in the generic form (2.1) with Riemann-Liouville fractional derivative [41]. As shown, for any value of p, method (5.1) has discrete counterparts of these conservation laws, defined by (5.5)–(5.7). Some extra conservation laws are given in [41] for special choices of the function K in (2.1), but these depend on integrals whose order is larger than \(p-\alpha \) that is a case that we do not consider in this paper.
5.2 Superdiffusion equation
Let us consider now the superdiffusion equation defined by (2.1) with \(1<\alpha <2=p\). In this case, according to Corollary 1, conservation laws are obtained from (3.3) with
yielding four independent conservation laws. The first two are again (5.2) and (5.3) and these are preserved by method (5.1). The other two conservation laws are defined with (see (3.7)–(3.8)),
and
The density function in (5.8) can be equivalently written as,
In fact, for \(p=2\),
and integrating twice the Riemann-Liouville fractional derivative (2.3) yields,
We show that (3.16) is satisfied by the solutions of (5.1) with
where \({\widetilde{G}}_1(x_i,t_j,u_{i,j})\) is given in (5.5). In fact, equation (5.4) yields
Therefore, it follows from Theorem 2 that method (5.1) has other two conservation laws that approximate (5.8) and (5.9), and that are defined by \({\widetilde{G}}_3\) in (5.10), and
6 Numerical tests
In this section we solve problem (2.1) with two different choices of function K that define a linear and a nonlinear problem, respectively. In both cases we set \(q=2\) and \((x,t)\in (0,1)\times (0,2)\), and we study the two cases of subdiffusion (\(p=1\)) and superdiffusion (\(p=2\)). We consider the boundary conditions
and an initial configuration of total rest (4.17), i.e., if \(0<\alpha <1\) (subdiffusion case),
whereas, if \(1<\alpha <2\) (superdiffusion case),
Therefore, the fractional derivative in (2.1) is equivalently defined by either equation (2.3) or equation (2.4).
The space grid is defined as in (3.9) with \(\varDelta x=0.005\), that is small enough to study the rate of convergence in time of the method. Inspired by [8] and by the spectral theory developed for the fractional Sturm-Liouville problem in [61], we choose the time nodes \(t_j\) equal to the Chebyshev nodes in [0, 2] and the basis \({\mathcal {P}}_j\) in (4.1)–(4.2) defined by the Jacobi polynomials in [0, 2] (see [5]),
Different choices, such as uniform nodes and the power basis (4.19), can also be considered. However, in the experiments below, choosing Chebyshev nodes and the Jacobi basis yields a matrix \(C_1\) in (4.18) with lower condition number and a faster rate of convergence, respectively.
6.1 Linear problem
We consider here the linear fractional PDE defined by (2.1) with \(K(u)=u\), i.e.,
The exact solution satisfying the boundary conditions (6.1) and the initial conditions (6.2) or (6.3) is given in [11] and amounts to
where
is the Mittag-Leffler function with two parameters. A reference solution, \({\bar{u}}\), is calculated by truncating the infinite sum in (6.5) after R terms, where R is the smallest integer such that \(\Vert a_R\Vert <\text {tol} = 10^{-12}\), and by computing the Mittag-Leffler function using the Matlab routine \(\texttt {ml}\) [27, 28].
In order to show the convergence of the proposed numerical scheme, its spectral accuracy and its conservative properties, the error in the numerical solution and in the discrete conservation laws are calculated as
and
with functions \({{\widetilde{F}}}_\ell \) and \({{\widetilde{G}}}_\ell \) defined in Section 5.
In Table 2 we show the error in the solution and conservation laws given by method (5.1) with \(N=10\) applied to (6.4). We consider three different values of \(\alpha \) corresponding to subdiffusion problems. Two of these values are close to the integer cases (\(\alpha =0.1\) and \(\alpha =0.9\)). The third is an intermediate value (\(\alpha =0.5\)). Similarly, we consider three different superdiffusion problems (\(\alpha =1.1,1.5,1.9\)). The error in the solution is larger for values of \(\alpha \) that are closer to p. In all cases the error in the conservation laws is only due to the roundoffs. In particular, we verified that the errors in the conservation laws are comparable in magnitude to the residual of equation (4.18).
In Fig. 1 we show the solutions of method (5.1) with \(\alpha =0.5\) and \(\alpha =1.5\). These two graphs very well reproduce the behaviour of the exact solution shown in [11].
In Figure 2 we study the convergence of the method by plotting the logarithm of the error in the solution against N for \(N=2,\ldots ,18\). These graphs show that the convergence of the method is exponential in time.
6.2 Nonlinear problem
We consider now equation (2.1) with \(K(u)=\sqrt{u}\), therefore we solve equation
with boundary conditions (6.1) and initial conditions (6.2) if \(0< \alpha <1\) or (6.3) if \(1<\alpha <2\).
The exact solution of this problem is not known, and so we compute a reference solution, \({\bar{u}}\), setting \({{\bar{N}}}=13\). For \(N<{{\bar{N}}}\), the error in the solution at the final time is estimated by
The error in the conservation laws is evaluated as in (6.6).
Table 3 shows the solution error and the error in the conservation laws given by method (5.1) with \(N=10\) applied to (6.7). The error in the conservation laws is only due to the accuracy in the Newton method to solve the nonlinear system (4.18). As in the linear case, the error in the solution is larger for \(\alpha \) close to p, except that in this case the method exactly solves the subdiffusion problem with \(\alpha =0.5\).
The numerical solutions obtained for \(\alpha =0.5\) and \(\alpha =1.5\) are shown in Figure 3. The convergence of the method is analysed in Figure 4 where we plot the logarithm of the error in the solution against N for \(N=2,\ldots ,12\). Also in this case the rate of convergence in time is exponential, except for \(\alpha =0.5\), where the method is exact for all values of N.
7 Conclusions
In the present paper we have investigated a class of time fractional diffusion PDEs of arbitrary fractional order. The purpose is twofold. On one hand, we have derived sufficient conditions to find conservation laws of a FDE of this kind, and derived a similar result for a numerical method to have discrete conservation laws. On the other hand, we have generalized the spectral method in [8] to approximate Caputo and Riemann-Liouville derivatives of arbitrary order. This method has been coupled with a finite difference approximation in space, and proved to have conservation laws. In the cases of subdiffusion and superdiffusion, we have derived the expressions of the conservation laws and performed numerical tests to confirm the theoretical findings and to show the convergence of the method.
Other promising approaches for the numerical solution of time fractional PDEs are pseudo spectral methods based on fractional Lagrange and Müntz-Legendre polynomials [31, 32, 47, 54]. A future development of this research could deal with the analysis of the conservative properties of these classes of methods and their experimental verification to make comparisons with the proposed approach.
References
Aljohani, A.F., Hussain, Q., Zaman, F.D., Kara, A.H.: On a study of some classes of the fourth-order KdV-Klein/Gordon equation and its time fractional forms. Chaos Solitons Fractals 148, 111028 (2021)
Amodio, P., Sgura, I.: High-order finite difference schemes for the solution of second order BVPs. J. Comput. Appl. Math. 176, 59–76 (2005)
Anco, S.C., Bluman, G.: Direct construction method for conservation laws of partial differential equations. I. Examples of conservation law classifications. European J. Appl. Math. 13, 545–566 (2002)
Anco, S.C., Bluman, G.: Direct construction method for conservation laws of partial differential equations. II. General treatment. European J. Appl. Math. 13, 567–585 (2002)
Bhrawy, A.H., Zaky, M.A.: A method based on the Jacobi tau approximation for solving multi-term time-space fractional partial differential equations. J. Comput. Phys. 281, 876–895 (2015)
Braś, M., Izzo, G., Jackiewicz, Z.: A new class of strong stability preserving general linear methods. J. Comput. Appl. Math. 396, 113612 (2021)
Brugnano, L., Iavernaro, F.: Line Integral Methods for Conservative Problems. CRC Press, Boca Raton, FL (2016)
Burrage, K., Cardone, A., D’Ambrosio, R., Paternoster, B.: Numerical solution of time fractional diffusion systems. Appl. Numer. Math. 116, 82–94 (2017)
Cardone, A., Conte, D., Paternoster, B.: Two-step collocation methods for fractional differential equations. Discrete Contin. Dyn. Syst. Ser. B. 23, 2709–2725 (2018)
Cardone, A., D’Ambrosio, R., Paternoster, B.: High order exponentially fitted methods for Volterra integral equations with periodic solution. Appl. Numer. Math. 114, 18–29 (2017)
Cardone, A., Frasca-Caccia, G.: On the solution of time-fractional diffusion models. Lect. Notes Comput. Sci. (accepted)
Cheng, X., Wang, L.: Invariant analysis, exact solutions and conservation laws of (2+1)-dimensional time fractional Navier-Stokes equations. Proc. R. Soc. A 477, 20210220 (2021)
Conte, D., Frasca-Caccia, G.: Exponentially fitted methods that preserve conservation laws. Commun. Nonlinear Sci. Numer. Simul. 109, 106334 (2022)
Conte, D., Mohammadi, F., Moradi, L., Paternoster, B.: Exponentially fitted two-step peer methods for oscillatory problems. Comput. Appl. Math. 39, 174 (2020)
Dahlby, M., Owren, B.: A general framework for deriving integral preserving numerical methods for PDEs. SIAM J. Sci. Comput. 33, 2317–2340 (2011)
D’Ambrosio, R., De Martino, G., Paternoster, B.: Numerical integration of Hamiltonian problems by G-symplectic methods. Adv. Comput. Math. 40, 553–575 (2014)
D’Ambrosio, R., Giordano, G., Paternoster, B., Ventola, A.: Perturbative analysis of stochastic Hamiltonian problems under time discretizations. Appl. Math. Lett. 450, 107223 (2021)
D’Ambrosio, R., Moccaldi, M., Paternoster, B.: Numerical preservation of long-term dynamics by stochastic two-step methods. Discrete Contin. Dyn. Syst. Ser. B 23, 2763–2773 (2018)
De Frutos, J., Sanz-Serna, J.M.: Accuracy and conservation properties in numerical integration: the case of the Korteweg-de Vries equation. Numer. Math. 75, 421–445 (1997)
De Luca, P., Galletti, A., Ghehsareh, H.R., Marcellino, L., Raei, M.: A GPU-CUDA framework for solving a two-dimensional inverse anomalous diffusion problem. Adv. Parallel Comput. 36, 311–320 (2020)
De Luca, P., Galletti, A., Marcellino, L.: Parallel solvers comparison for an inverse problem in fractional calculus. In: 2020 Proceeding of 9th International Conference on Theory and Practice in Modern Computing (TPMC 2020), pp. 197–204 (2020)
Durán, A., Sanz-Serna, J.M.: The numerical integration of relative equilibrium solutions. Geometric theory. Nonlinearity. 11, 1547–1567 (1998)
Frasca-Caccia, G., Hydon, P.E.: Locally conservative finite difference schemes for the modified KdV equation. J. Comput. Dyn. 6, 307–323 (2019)
Frasca-Caccia, G., Hydon, P.E.: Simple bespoke preservation of two conservation laws. IMA J. Numer. Anal. 40, 1294–1329 (2020)
Frasca-Caccia, G., Hydon, P.E.: Numerical preservation of multiple local conservation laws. Appl. Math. Comput. 403, 126203 (2021)
Frasca-Caccia, G., Hydon, P.E.: A new technique for preserving conservation laws. Found. Comput. Math. 22, 477–506 (2022)
Garrappa, R.: The Mittag-Leffler function. Matlab Central File Exchange. http://www.mathworks.com/matlabcentral/ fileexchange/48154-the-mittag-leffler-function. Retrieved February 24, 2022
Garrappa, R.: Numerical evaluation of two and three parameter Mittag-Leffler functions. SIAM J. Numer. Anal. 53, 1350–1369 (2015)
Habibi, N., Lashkarian, E., Dastranj, E., Hejazi, S.R.: Lie symmetry analysis, conservation laws and numerical approximations of time-fractional Fokker-Plank equations for special stochastic process in foreign exchange markets. Phys. A. 513, 750–766 (2019)
Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration. Structure Preserving Algorithms for Ordinary Differential Equations, 2nd edn. Springer, Berlin (2006)
Hejazi, S.R., Naderifard, A., Hosseinpour, S., Dastranj, E.: Exact solutions and numerical simulations of time-fractional Fokker-Plank equation for special stochastic process. Comput. Methods Differ. Equ. 9, 258–272 (2021)
Hejazi, S.R., Saberi, E., Mohammadizadeh, F.: Anisotropic non-linear time-fractional diffusion equation with a source term: classification via Lie point symmetries, analytic solutions and numerical simulation. Appl. Math. Comput. 391, 125652 (2021)
Heymans, N., Podlubny, I.: Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives. Rheol. Acta. 45, 765–771 (2006)
Hosseini Nasab, M., Hojjati, G., Abdi, A.: G-symplectic second derivative general linear methods for hamiltonian problems. J. Comput. Appl. Math. 313, 486–498 (2017)
Ibragimov, N.H. (ed.): CRC Handbook of Lie Group Analysis of Differential Equations. Vol. 1. Symmetries, Exact Solutions and Conservation Laws. CRC Press, Boca Raton, FL (1994)
Jafari, H., Sun, H.G., Azadi, M.: Lie symmetry reductions and conservation laws for fractional order coupled KdV system. Adv. Difference Equ. 2020, 700 (2020)
Klages, R., Radons, G., Sokolov, I.M.: Anomalous Transport: Foundations and Applications. Wiley-VCH, Weinheim (2008)
Lashkarian, E., Hejazi, S.R., Dastranj, E.: Conservation laws of \((3 + \alpha )-\)dimensional time-fractional diffusion equation Comput. Math. Appl. 75, 740–754 (2018)
Lashkarian, E., Hejazi, S.R., Habibi, N., Motamednezhad, A.: Symmetry properties, conservation laws, reduction and numerical approximations of time-fractional cylindrical-Burgers equation. Commun. Nonlinear Sci. Numer. Simul. 67, 176–191 (2019)
Lashkarian, E., Motamednezhad, A., Hejazi, S.R.: Invariance properties and conservation laws of perturbed fractional wave equation. Eur. Phys. J. Plus. 136, 615 (2021)
Lukashchuk, S.Y.: Conservation laws for time-fractional subdiffusion and diffusion-wave equations. Nonlinear Dynam. 80, 791–802 (2015)
Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, London (2010)
McLachlan, R.I., Quispel, G.R.W.: Geometric integrators for ODEs. J. Phys. A. 39, 5251–5285 (2006)
McLachlan, R.I., Quispel, G.R.W.: Discrete gradient methods have an energy conservation law. Discrete Contin. Dyn. Syst. 34, 1099–1104 (2014)
Milici, C., Drăgănescu, G., Machado, J.T.: Introduction to fractional differential equations. Springer, Cham (2018)
Mohammadi, F., Moradi, L.: Numerical treatment of fractional-order nonlinear system of delay integro-differential equations arising in biology. Asian-Eur. J. Math. 12, 1950068 (2019)
Mohammadizadeh, F., Rashidi, S., Hejazi, S.R.: Space-time fractional Klein-Gordon equation: symmetry analysis, conservation laws and numerical approximations. Math. Comput. Simulation. 188, 476–497 (2021)
Moradi, L., Conte, D., Farsimadan, E., Palmieri, F., Paternoster, B.: Optimal control of system governed by nonlinear Volterra integral and fractional derivative equations. Comput. Appl. Math. 40, 157 (2021)
Moradi, L., Mohammadi, F.: A comparative approach for time-delay fractional optimal control problems: discrete versus continuous Chebyshev polynomials. Asian J. Control. 22, 204–216 (2020)
Moradi, L., Mohammadi, F., Conte, D.: A discrete orthogonal polynomials approach for coupled systems of nonlinear fractional order integro-differential equations. Tbilisi Math. J. 12, 21–38 (2019)
Naderifard, A., Hejazi, S.R., Dastranj, E.: Symmetry properties, conservation laws and exact solutions of time-fractional irrigation equation. Waves Random Complex Media 29, 178–194 (2019)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Springer, New York (1986)
Podlubny, I.: Fractional Differential Equations. Academic Press Inc, San Diego, CA (1999)
Rashidi, S., Hejazi, S.R., Mohammadizadeh, F.: Group formalism of Lie transformations, conservation laws, exact and numerical solutions of non-linear time-fractional Black-Scholes equation. J. Comput. Appl. Math. 403, 113863 (2022)
Sanz-Serna, J.M., Calvo, M.P.: Numerical Hamiltonian Problems. Chapman & Hall, London (1994)
Singla, K., Gupta, R.K.: Space-time fractional nonlinear partial differential equations: symmetry analysis and conservation laws. Nonlinear Dynam. 89, 321–331 (2017)
Sun, H., Zhang, Y., Baleanu, D., Chen, W., Chen, Y.: A new collection of real world applications of fractional calculus in science and engineering. Commun. Nonlinear Sci. Numer. Simul. 64, 213–231 (2018)
Vanden Berghe, G., Van Daele, M.: Symplectic exponentially-fitted modified Runge-Kutta methods of the Gauss type: revisited. In: Recent Advances in Computational and Applied Mathematics, pp. 289–306. Springer, Dordrecht (2011)
Wan, A.T.S., Bihlo, A., Nave, J.-C.: The multiplier method to construct conservative finite difference schemes for ordinary and partial differential equations. SIAM J. Numer. Anal. 54, 86–119 (2016)
Zahra, W.K., Nasr, M.A., Van Daele, M.: Exponentially fitted methods for solving time fractional nonlinear reaction-diffusion equation. Appl. Math. Comp. 358, 468–490 (2019)
Zayernouri, M., Karniadakis, G.E.: Fractional Sturm-Liouville eigen-problems: theory and numerical approximation. J. Comput. Phys. 252, 495–517 (2013)
Zayernouri, M., Karniadakis, G.E.: Fractional spectral collocation method. SIAM J. Sci. Comput. 36, A40–A62 (2014)
Funding
Open access funding provided by Università degli Studi di Salerno within the CRUI-CARE Agreement. The authors are members of the GNCS group. This work is supported by GNCS-INDAM project and by the Italian Ministry of University and Research, through the PRIN 2017 project (No. 2017JYCLSF) “Structure preserving approximation of evolutionary problems”.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Cardone, A., Frasca-Caccia, G. Numerical conservation laws of time fractional diffusion PDEs. Fract Calc Appl Anal 25, 1459–1483 (2022). https://doi.org/10.1007/s13540-022-00059-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13540-022-00059-7
Keywords
- Numerical solution of fractional PDEs (primary)
- Time fractional diffusion
- Conservation laws
- Spectral method
- Structure preservation