During the past decades, the field of fractional differential equations attracted the interest of researchers in several areas including physics, chemistry, engineering and even finance and social sciences (see [1, 2]) and there was significant interest in developing numerical schemes for their solution. These methods include Laplace transforms (see [3]), Fourier transforms (see [4]), eigenvector expansion (see [5]), adomian decomposition method (ADM) (see [6, 7]), variation iteration method (VIM)(see [8, 9]), fractional differential transform method (FDTM) (see [10, 11]), fractional difference method (FDM) (see [12]) and power series method (see [13]). But, few papers were reported to solve the fractional order differential equations by application of wavelets (see [14, 15]).
We intend to use the Chebyshev wavelet method to solve multi-order arbitrary differential equations with variable coefficients. First, we construct the Chebyshev wavelets and derive the operational matrix of fractional integration; then the underlying fractional differential equation is converted to an algebraic equation by introducing the wavelet operational matrix of the fractional integration. In this paper, by using the Chebyshev wavelets, we solve the following multi-order fractional differential equations (FDEs) with variable coefficients
where$\quad 0 < {\beta _1} < {\beta _2} < \cdots <{\beta_{r-1}} <v, \quad n-1 <v\leq n$ are constants. Moreover, ${D_{*}^{v}}$ denotes the Caputo fractional derivative of order ${v}$, the values of $ {d_{i}}{(i=0, 1 \cdots, n-1)}$describe the initial state of ${u(t)}$ and ${g(t)}$ is a known function. The existence and uniqueness of solutions of FDEs were studied by [16].
The paper is organized as follows. In Section 2, we introduce some necessary definitions and mathematical preliminaries of fractional calculus. In Section 3, after describing the basic formulation of wavelets and the Chebyshev wavelets, we derive the Chebyshev wavelet operational matrix of the fractional differential equation. In Section 4, the method is defined for approximate solution of the fractional problem (1.1) and (1.2). In Section 5, the error analysis technique based on the residual function is developed for the present method. A numerical example is given to demonstrate the validity of the method in solving fractional differential equation in Section 6. Section 7 comments on the result.
We give some necessary deflnitions and mathematical preliminaries of the fractional calculus theory which are used further in this paper.
Definition 2.1 The Riemann-Liouville fractional integral operator ${I^\alpha}$ of order $\alpha(\alpha>0)$ on usual Lebesgue space ${L^2{[a, b]}}$ is given by
and its fractional derivative of order $\alpha>0$ is normally used:
where $n$ is an integer. For Riemann-Liouville definition, one has
The Riemann-Liouville derivative has certain disadvantages when trying to model real-world phenomena with fractional differential equations. Therefore, we shall introduce now a modified fractional differential operator $D_{*}^{\alpha}$ proposed by Caputo.
Definition 2.2 The Caputo definition of fractional differential operator is given by
where $n$ is an integer.
It has the following basic properties for $n -1 <\alpha \leq n$ and $f\in{L^2{[a, b]}}$,
In this section, we use the Chebyshev polynomials to construct the Chebyshev wavelets and give some properties of the wavelets.
Wavelets are a family of functions constructed from dilation and translation of a single function $\psi(t)$ called the mother wavelet. When the dilation parameter $a$ and the translation parameter $b$ vary continuously we have the following family of continuous wavelets as [17]:
If we restrict the parameters $a$ and $b$ to discrete values as $a = a_0^{ - k}, b = n{b_0}a_0^{ - k}$, ${a_0} > 0$, $b_0 > 0$, where $n$ and $k$ are positive integers, the family of discrete wavelets are defined as
where $\psi_{kn}$ form wavelet bases for $L^2{(R)}$. In particular, when $a_0 = 2\;\text{and}\;b_0 = 1$, $\psi_{kn}$ form orthogonal bases.
The Chebyshev wavelets ${\psi _{nm}}(t) = \psi (k, n, m, t)$, which are defined on the interval $[0, 1)$, involve four arguments. That is, ${k}$ is assumed any positive integer, $n = 1, 2, \cdots, {2^{k- 1}}$, $m$ is the degree of the Chebyshev polynomials and $t$ is the normalized time. They are defined on the interval $[0, 1)$ as
where
here $T_m(t)$ are the Chebyshev polynomials of degree $m$ which respect to the weight function $\omega (t) = 1/\sqrt {1 - {t^2}}$ on interval [-1,1] and satisfy the following recursive formula
A function $f(t)$ defined on the interval [0,1] may be expanded as
If the infinite series in eq. (3.6) is truncated, then eq. (3.6) can be written as
where $T$ indicates transposition, $C$ and $\Psi(t)$ are $2^{k-1}M$ dimensional column vectors given by
Taking the collocation points as following
We define the Chebyshev wavelet matrix ${\Phi _{m' \times m'}}$ as
where $m' = {2^{k - 1}}M$.
The integration of the vector $\Psi(t)$ defined in eq. (3.10) can be obtained as
where $P$ is the ${2^{k - 1}M \times {2^{k - 1}}}M$ operational matrix for integration [17].
Our purpose is to derive the Chebyshev wavelet operational matrix of the fractional integration. For this purpose, we rewrite Riemann-Liouville fractional integration, as following
Now, if $f(t)$ is expanded in the Chebyshev wavelets, as showed in eq. (3.8), the Riemann-Liouville fractional integration becomes
Thus if ${t^{\alpha - 1}} * f(t)$ can be integrated, then expanded in the Chebyshev wavelets, the Riemann-Liouville fractional integration is solved.
Also, we define a $m'$-set of Block Pulse function (BPF) as
where $i=0, 1, 2, \cdots, m'-1$.
The functions $b_i(t)$ are disjoint and orthogonal. That is
From the orthogonality property of BPF, it is possible to expand functions into their Block Pulse series. This means that for every $f(t)\in{[0, 1)}$ we can write
such that $f_i$ for $i=0, 1, 2, \cdots, m'-1$ are obtained by $f_i = m'\displaystyle\int_0^1 {f(t){b_i}(t)dt}$.
Similarly, the Chebyshev wavelets may be expanded into an ${m'}$-term block pulse functions (BPF) as
We derive the Block Pulse operational matrix of the fractional integration $F^\alpha$ as following
with ${\xi _k} = {(2k + 1)^\alpha } - {(2k - 1)^\alpha }, k=1, 2, \cdots, m'-1$.
Next, we derive the Chebyshev wavelet operational matrix of the fractional integration. Let
Using eqs. (3.21), (3.22}), we have
From eqs. (3.24), (3.25), we get
Then from eqs. (3.21), (3.26), the Chebyshev wavelet operational matrix of the fractional integration ${\rm P}_{m' \times m'}^\alpha$ is given by
It should be noted that the operational matrix ${\rm P}_{m' \times m'}^\alpha$ contains many zero entries. This phenomenon makes calculations fast. The calculation for the matrix ${\rm P}_{m' \times m'}^\alpha$ is carried out once and is used to solve fractional order as well as integer order differential equations.
By approximating the function ${{D_ * }^vu(t)}$, we have
together with the initial states, we get
Substituting eqs. (4.1), (4.2) and (4.3) into eq. (1.1), we have
Coefficient ${\gamma _i}(t) {(i=1, 2, \cdots, r)}$ can be dispersed into ${\gamma _i} (t_l)$ and $g(t)$ may be dispersed into $g(t_l) {(l=1, 2, \cdots, m')}$. Let
Therefore, eq. (4.4) can be written as
Eq. (4.7) is a linear system of algebraic equations.
Theorem 5.1 (see [18]) Let A function $f(t)$ define on the interval [0,1] may be expanded as
then
Theorem 5.2 (see [18]) Let A function $f(t)$ be L2[0,1], and
where $f(t), \tilde f(t)$ be defined as above and $K = {2^{k - 1}}$.
Also, we present an error estimation for eq. (5.4) with the residual error function. Let $u(t), \tilde{u(t)}$ be the exact solution and the Chebyshev wavelet solution of the problem (1.1) and (1.2), $R(t)=u(t)-\tilde{u(t)}$. Therefore, $R(t)$ satisfies the following problem
where $h(t) = {C^T}\Psi (t) + \sum\limits_{i = 1}^{r - 1} {{\gamma _i}(t){C^T}P_{m' \times m'}^{v - {\beta _i}}\Psi (t)} + {\gamma _r}(t){C^T}P_{m' \times m'}^\alpha \Psi (t)$.
By solving the error problem (5.6)--(5.7) in the same way as Section 4, we get the approximation
to $R(t)$. Here, the coefficients $c_{nm}^*, n = 1, 2, \cdots, {2^{k - 1}}, m = 0, 1, 2, \cdots, M - 1$ are determined by solving the error problem (5.6)--(5.7). Hence, the maximum absolute error can be estimated approximately by using $\max \left| {\tilde R(t)} \right|$. If the exact solution of the problem is not known, this error estimation can be used to test the reliability of the results.
Consider the equation
where $f(t) = {t^9} - {t^8} + 56{t^6} - 42{t^5} + \sin (t)(\frac{{32768}}{{6435}}{t^{\frac{{15}}{2}}} - \frac{{2048}}{{429}}{t^{\frac{{13}}{2}}})$.
One can easily check that $u(t)=t^8-t^7$ is the unique analytical solution. The comparison between approximate and exact solution for $k=3, M=5$ is presented in Fig. 1 and we list the absolution errors for ${M=3}$ and different values of $k$ and Ref. [Li and Zhao (2010)] (see[19]). From Table 1, we can achieve a better approximation by the Chebyshev wavelet method than Ref. [Li and Zhao (2010)]. We may also see that the error is smaller and smaller when $k$ increases. Therefore for better results, using a larger $k$ is recommended. The computational results show that the method in this article can be effectively used in numerical calculus for fractional differential equation with variable coefficient, and the method is also feasibility to the realistic fractional differential equation.
This article adopts the Chebyshev wavelet method to solve a class of multi-order fractional differential equations with variable coefficients. We derive the Chebyshev wavelet operational matrix of fractional order integration and use the wavelet basis together with operational matrix to reduce the factional differential equation to a system of algebraic equations. Furthermore, we present an error estimation for eq. (5.4) with the residual error function. The matrix elements of the discrete operators are provided explicitly and this in turn greatly simplifies the steps for obtaining solutions. An example is given to demonstrate that the method is effective and accurate for solving multi-order FDEs. It is obvious that the accuracy improves when we take a relatively small fixed ${M}$ and only increase ${k}$. Usually, it can reach the higher precision, even though ${M}, k$ are small.