The operational matrices of fractional-order integration for the Legendre
and Chebyshev wavelets are derived. Block pulse functions and collocation method
are employed to derive a general procedure for forming these matrices for both the Legendre
and the Chebyshev wavelets. Then numerical methods based on wavelet expansion
and these operational matrices are proposed. In this proposed method, by a change of
variables, the multiorder fractional differential equations (MOFDEs) with nonhomogeneous
initial conditions are transformed to the MOFDEs with homogeneous initial
conditions to obtain suitable numerical solution of these problems. Numerical examples
are provided to demonstrate the applicability and simplicity of the numerical
scheme based on the Legendre and Chebyshev wavelets.
1. Introduction
Fractional-order differential equations (FODEs), as generalizations of classical integer-order differential equations, are increasingly used to model some problems in fluid flow, mechanics, viscoelasticity, biology, physics, engineering, and other applications. Fractional derivatives provide an excellent instrument for the description of memory and hereditary properties of various materials and processes [1–6]. Fractional differentiation and integration operators are also used for extensions of the diffusion and wave equations [7]. The solutions of FODEs are much involved, because in general, there exists no method that yields an exact solution for FODEs, and only approximate solutions can be derived using linearization or perturbation methods. Several methods have been suggested to solve fractional differential equations (see [8] and references therein). Also there are different methods for solving MOFDEs as a special kind of FODEs [9–17]. However, few papers have reported applications of wavelets in solving fractional differential equations [8, 18–21]. In view of successful application of wavelet operational matrices in numerical solution of integral and differential equations [22–27], together with the characteristics of wavelet functions, we believe that they should be applicable in solving MOFDEs.
In this paper, the operational matrices of fractional-order integrations are derived and a general procedure based on collocation method and block pulse functions for forming these matrices is presented. Then, by application of these matrices, a numerical method for solving MOFDEs with nonhomogeneous conditions is presented. In the proposed method by a change of variables the MOFDEs with nonhomogeneous conditions transforms to the MOFDEs with homogeneous conditions. This way, we are able to obtain the exact solutions for such problems. In the proposed method, the Legendre and Chebyshev wavelet expansions along with operational matrices of fractional-order integrations are employed to reduce the MOFDE to systems of nonlinear algebraic equations. Illustrative examples of nonlinear types are given to demonstrate the efficiency and applicability of the proposed method. As numerical results show, the proposed method is efficient and simple in implementation for both the Legendre and the Chebyshev wavelets. Moreover, for both these kinds of wavelets, numerical results have a good agreement with the exact solutions and the numerical results presented in other works.
The paper is organized as follows. In Section 2, we review some necessary definitions and mathematical preliminaries of fractional calculus and wavelets that are required for establishing our results. In Section 3 the Legendre and Chebyshev operational matrices of integration are derived. In Section 4 an application of the Legendre and Chebyshev operational matrices for solving the MOFDEs is presented. In Section 5 the proposed method is applied to several numerical examples. Finally, a conclusion is given in Section 6.
2. Basic Definitions
2.1. Fractional Calculus
We give some basic definitions and properties of the fractional calculus theory which are used further in this paper.
Definition 2.1. A real function f(t), t > 0, is said to be in the space Cμ, μ ∈ ℝ if there exists a real number p(>μ) such that f(t) = tpf1(t), where f1(t) ∈ C[0, ∞], and it is said to be in the space if f(n) ∈ Cμ, n ∈ ℕ.
Definition 2.2. The Riemann-Liouville fractional integration operator of order α ≥ 0, of a function f ∈ Cμ, μ ≥ −1, is defined as follows [4]:
Definition 2.3. The fractional derivative of order α > 0 in the Riemann-Liouville sense is defined as [4]
()
where n is an integer and .
The Riemann-Liouville derivatives have certain disadvantages when trying to model real-world phenomena with fractional differential equations. Therefore, we will now introduce a modified fractional differential operator proposed by Caputo [5].
Definition 2.4. The fractional derivative of order α > 0 in the Caputo sense is defined as [5]
()
where n is an integer t > 0 and . Caputos integral operator has a useful property:
()
where n is an integer t > 0 and .
2.2. Wavelets
Wavelets constitute a family of functions constructed from dilations and translations of a single function called the mother wavelet ψ(t). When the dilation parameter a and the translation parameter b vary continuously, we have the following family of continuous wavelets [24]:
()
If we restrict the parameters a and b to discrete values as , , a0 > 1, b0 > 0, for n and k positive integers, we have the following family of discrete wavelets:
()
where ψk,n(t) forms a wavelet basis for L2(ℝ). In particular, when a0 = 2 and b0 = 1, ψk,n(t) forms an orthonormal basis. That is (ψk,n(t), ψl,m(t)) = δklδnm.
2.2.1. The Legendre Wavelets
The Legendre wavelets have four arguments; k ∈ ℕ, n = 1,2, …, 2k−1, and ; moreover, m is the order of the Legendre polynomials and t is the normalized time, and they are defined on the interval [0,1) as
()
where m = 0,1, …, M − 1 and M is a fixed positive integer. The coefficient in (2.8) is for orthonormality, the dilation parameter is a = 2−k, and the translation parameter is . Here, Pm(t) are the well-known Legendre polynomials of order m which are orthogonal with respect to the weight function w(t) = 1 on the interval [−1,1] and satisfy the following recursive formula:
()
2.2.2. The Chebyshev Wavelets
The Chebyshev wavelets have four arguments; k ∈ ℕ, n = 1,2, …, 2k−1, and ; moreover, m is the order of the Chebyshev polynomials of the first kind and t is the normalized time, and they are defined on the interval [0,1) as
()
where
()
where m = 0,1, …, M − 1 and M is a fixed positive integer. The coefficients in (2.11) are used for orthonormality. Here, Tm(t) are the well-known Chebyshev polynomials of order m which are orthogonal with respect to the weight function on the interval [−1,1] and satisfy the following recursive formula:
()
We should note that in dealing with the Chebyshev polynomials the weight function has to be dilated and translated as follows:
()
to get orthogonal wavelets.
2.2.3. Function Approximation
A function f(t) defined over [0,1) may be expanded as follows:
()
by the Legendre or Chebyshev wavelets, where cn,m = (f(t), ψn,m(t)) in which (, ) denotes the inner product.
If the infinite series in (2.14) is truncated, then (2.14) can be written as
()
where C and Ψ(t) are 2k−1M × 1 matrices given by
()
Taking the collocation points
()
where m = 2k−1M, we define the wavelet matrix Φm×m as
()
Indeed Φm×m has the following form:
()
where A is a M × M matrix given by
()
For example, for M = 4 and k = 2, the Legendre and Chebyshev matrices can be expressed as
()
where for the Legendre matrix we have
()
and for the Chebyshev matrix we have
()
3. Operational Matrix of Fractional Integration
The integration of the vector Ψ(t) defined in (2.16) can be obtained by
()
where P is the m × m operational matrix for integration [24].
Now, we derive the wavelet operational matrix of fractional integration. For this purpose, we rewrite the Riemann-Liouville fractional integration as
()
where α ∈ ℝ is the order of the integration and tα−1*f(t) denotes the convolution product of tα−1 and f(t). Now if f(t) is expanded by the Legendre and Chebyshev wavelets, as shown in (2.15), the Riemann-Liouville fractional integration becomes
()
So that, if tα−1*f(t) can be integrated, then by expanding f(t) in the Legendre and Chebyshev wavelets, the Riemann-Liouville fractional integration can be solved via the Legendre and Chebyshev wavelets.
Also, we define an m-set of block pulse functions (BPFs) as
()
where i = 0,1, 2, …, (m − 1).
The functions bi(t) are disjoint and orthogonal, that is,
()
Similarly, the Legendre and Chebyshev wavelets may be expanded into m-term block pulse functions (BPFs) as follows:
()
where .
In [28], Kilicman and Al Zhour have given the block pulse operational matrix of the fractional integration Fα as follows:
()
where
()
and ξi = (i+1)α+1 − 2iα+1 + (i−1)α+1. Next, we derive the Legendre and Chebyshev wavelet operational matrices of the fractional integration. Let
()
where the matrix is called the wavelet operational matrix of the fractional integration. Using (3.6) and (3.7), we have
In this section, the Legendre and Chebyshev wavelet expansions together with their operational matrices of fractional-order integration are used to obtain numerical solution of MOFDEs.
Consider the following nonlinear MOFDE:
()
where 0 ≤ t < 1, n − 1 < α ≤ n, , n, s1 and s2 are fixed positive integers, denotes the Caputo fractional derivative of order α, f is a known function of t, cj, j = 0,1, …, n − 1, are arbitrary constants, and y is an unknown function to be determined later. To solve this problem, we apply the following scheme.
Suppose
()
Under this change of variable, we have
()
where
()
Now, by substituting (4.3) into (4.1), we transform the nonlinear MOFDE (4.1) with nonhomogeneous conditions to a nonlinear MOFDE with homogeneous conditions as follows:
()
where
()
and is a known function.
We assume that is given by
()
where is an unknown vector and Ψm(t) is the vector which is defined in (3.6). By using initial conditions and (2.4), we have
()
()
Since Ψm = Φm×mBm(t), (4.9) can be rewritten as follows:
This is a nonlinear algebraic equation for unknown vector [a1, a2, …, am]. Here, by taking collocation points, expressed in (2.17), we transform (4.14) into a nonlinear system of algebraic equations. This nonlinear system can be solved by the Newton iteration method for unknown vector [a1, a2, …, am]. Therefore, Y(t) as the solution of (4.5) is
()
and finally, y(t) as the solution of (4.1) will be
()
In cases where all of coefficients and , are constants, that is, and we can reduce (4.13) and (4.14), respectively, as follows:
()
This is a nonlinear system of algebraic equations for unknown vector [a1, a2, …, am] and can be solved directly without use of collocation points by the Newton iteration method. Here, as before we obtain
()
as the solution of (4.5), and finally, y(t) as the solution of (4.1) will be
()
5. Numerical Examples
In this section we demonstrate the efficiency of the proposed wavelet collocation method for the numerical solution of MOFDEs. These examples are considered because either closed form solutions are available for them, or they have also been solved using other numerical schemes, by other authors.
Example 5.1. Consider the homogeneous Bagley-Torvik equation [13, 16]:
()
subject to the following initial conditions:
()
Here, we apply the method of Section 4 for solving this problem. By setting
By using the proposed method, we get a system of algebraic equations for both the Legendre and the Chebyshev wavelets for (5.4) as follows:
()
Since the linear system of algebraic equations (5.6) is the same for both kinds of wavelets, we have the same numerical solution for the Legendre and Chebyshev wavelets. By solving this linear system, we get numerical solutions for (5.4) as follows:
()
Finally the solution of the original problem (5.1) is
()
Figure 1 shows the behavior of the numerical solution for m = 160(M = 5, k = 6). As Figure 1 shows, this method is very efficient for numerical solution of this problem and the solution can be derived in a large interval [0,40].
The system of algebraic equations for both the Legendre and the Chebyshev wavelets for (5.14) has the following form:
()
Here, the linear system of algebraic equations (5.16) is nonsingular and so has only the trivial solution, that is, Y(t) = 0. Then the solution of the original problem (5.9) is
()
which is the exact solution. It is mentionable that this equation has been solved by Diethelm and Luchko [10] (for a = b = c = 1) with error 1.60E − 4, Diethelm and Ford [17] (for a = 1, b = c = 0.5) with error 5.62E − 3, while in [20] Li and Zhao obtained approximation solution by the Haar wavelet.
Example 5.3. Consider the following nonhomogenous MOFDE [13]:
()
where
()
subject to the following initial conditions:
()
which has the exact solution
()
Here, we apply the method of Section 4 for solving this problem. By setting
The system of algebraic equations corresponding to the Legendre and Chebyshev wavelets for (5.23) has the following form:
()
Here, the linear system of algebraic (5.25) is nonsingular and so has only the trivial solution, that is, Y(t) = 0. Then the solution of the original problem (5.18) is
()
which is the exact solution. This equation has been solved by El-Sayed et al. [13] (for a = b = c = e = 1, α1 = 0.77, α2 = 1.44, and α = 0.91) with error 9.53E − 4.
Example 5.4. Consider the following nonlinear MOFDE [15]:
()
subject to the initial conditions
()
which has the exact solution
()
Here, we apply the method of Section 4 for solving this problem. By setting
The nonlinear algebraic equation corresponding to the Legendre and Chebyshev wavelets for (5.31) has the following form:
()
where is a known constant vector corresponding to the kind of wavelet expansions and Φm×m is the wavelet matrix. By taking collocation points expressed in (2.17), we transform (5.33) into a nonlinear system of algebraic equations. Then applying Newton iteration method for solving this nonlinear system, we obtain only trivial solution, that is, Y(t) = 0. Then the solution of the original problem (5.27) is
()
which is the exact solution.
Example 5.5. Consider the following nonlinear MOFDE [14]:
()
where
()
subject to the initial conditions
()
which has the exact solution
()
Here, we apply the method of Section 4 for solving this problem. By setting
The nonlinear algebraic equation corresponding to the Legendre and Chebyshev wavelets for (5.40) has the following form:
()
where is a known constant vector corresponding to the kind of wavelet expansion and Φm×m is the wavelet matrix. By taking collocation points expressed in (2.17), we transform (5.42) into a nonlinear system of algebraic equations. By applying the Newton iteration method for solving this nonlinear system, we obtain only trivial solution, that is, Y(t) = 0. Then the solution of the original problem (5.35) is
()
which is the exact solution.
6. Conclusion
In this paper a general formulation for the Legendre and Chebyshev wavelet operational matrices of fractional-order integration has been derived. Then a numerical method based on Legendre and Chebyshev wavelets expansions together with these matrices are proposed to obtain the numerical solutions of MOFDEs. In this proposed method, by a change of variables, the MOFDEs with nonhomogeneous conditions are transformed to the MOFDEs with homogeneous conditions. The exact solutions for some MOFDEs are obtained by our method. The proposed method is very simple in implementation for both the Legendre and the Chebyshev wavelets. As the numerical results show, the method is very efficient for the numerical solution of MOFDEs and only a few number of wavelet expansion terms are needed to obtain a good approximate solution for these problems.
2Miller K. S. and
Ross B., An Introduction to the Fractional Calculus and Fractional Differential Equations, 1993, John Wiley & Sons, New York, NY, USA, 1219954.
5Podlubny I., Fractional-order systems and fractional-order controllers, Report, 1994, no. UEF-03-94, Slovak Academy of Sciences, Institute of Experimental Physics, Kosice, Slovakia.
6Gorenflo R. and
Mainardi F., Fractional calculus: integral and differential equations of fractional order, Fractals and Fractional Calculus in Continuum Mechanics, 1997, 378, Springer, Vienna, Austria, 223–276, 1611585.
7Schneider W. R. and
Wyss W., Fractional diffusion and wave equations, Journal of Mathematical Physics. (1989) 30, no. 1, 134–144, 974464, https://doi.org/10.1063/1.528578, ZBL0692.45004.
9Diethelm K. and
Ford N. J., Multi-order fractional differential equations and their numerical solution, Applied Mathematics and Computation. (2004) 154, no. 3, 621–640, 2072809, https://doi.org/10.1016/S0096%2D3003(03)00739%2D2, ZBL1060.65070.
10Diethelm K. and
Luchko Y., Numerical solution of linear multi-term initial value problems of fractional order, Journal of Computational Analysis and Applications. (2004) 6, no. 3, 243–263, 2222332.
11Diethelm K., Multi-term fractional differential equations multi-order fractional differential
systems and their numerical solution, Journal Européen des Systèmes Automatisés. (2008) 42, 665–676.
12El-Sayed A. M. A.,
El-Mesiry A. E. M., and
El-Saka H. A. A., Numerical solution for multi-term fractional (arbitrary) orders differential equations, Computational & Applied Mathematics. (2004) 23, no. 1, 33–54, https://doi.org/10.1590/S0101%2D82052004000100002, 2111630, ZBL1213.34025.
13El-Sayed A. M. A.,
El-Mesiry A. E. M., and
El-Saka H. A. A., Numerical methods for multi-term fractional (arbitrary) orders differential equations, Applied Mathematics and Computation. (2005) 160, no. 3, 683–699, 2113113, ZBL1062.65073.
14El-Sayed A. M. A.,
El-Kalla I. L., and
Ziada E. A. A., Analytical and numerical solutions of multi-term nonlinear fractional orders differential equations, Applied Numerical Mathematics. (2010) 60, no. 8, 788–797, https://doi.org/10.1016/j.apnum.2010.02.007, 2647433, ZBL1192.65092.
16Edwards J. T.,
Ford N. J., and
Simpson A. C., The numerical solution of linear multiterm
fractional differential equations: systems of equations, Manchester Center for Numerical Computational Mathematics. (2002) .
17Diethelm K. and
Ford N. J., Numerical solution of the Bagley-Torvik equation, BIT. Numerical Mathematics. (2002) 42, no. 3, 490–507, 1931882, ZBL1035.65067.
19Lepik Ü., Solving fractional integral equations by the Haar wavelet method, Applied Mathematics and Computation. (2009) 214, no. 2, 468–478, 2541683, https://doi.org/10.1016/j.amc.2009.04.015, ZBL1170.65106.
20Li Y. and
Zhao W., Haar wavelet operational matrix of fractional order integration and its applications in solving the fractional order differential equations, Applied Mathematics and Computation. (2010) 216, no. 8, 2276–2285, 2647099, https://doi.org/10.1016/j.amc.2010.03.063, ZBL1193.65114.
21Rehman M. U. and
Khan R. A., The legendre wavelet method for solving fractional
differential equations, Communication in Nonlinear Science and Numerical Simulation. (2009) 227, no. 2, 234–244.
22Bujurke N. M.,
Shiralashetti S. C., and
Salimath C. S., An application of single-term Haar wavelet series in the solution of nonlinear oscillator equations, Journal of Computational and Applied Mathematics. (2009) 227, no. 2, 234–244, 2510884, https://doi.org/10.1016/j.cam.2008.03.012, ZBL1162.65040.
23Babolian E.,
Masouri Z., and
Hatamzadeh-Varmazyar S., Numerical solution of nonlinear Volterra-Fredholm integro-differential equations via direct method using triangular functions, Computers & Mathematics with Applications. (2009) 58, no. 2, 239–247, 2535790, https://doi.org/10.1016/j.camwa.2009.03.087, ZBL1189.65306.
24Tavassoli Kajani M.,
Hadi Vencheh A., and
Ghasemi M., The Chebyshev wavelets operational matrix of integration and product operation matrix, International Journal of Computer Mathematics. (2009) 86, no. 7, 1118–1125, 2537914, https://doi.org/10.1080/00207160701736236.
25Reihani M. H. and
Abadi Z., Rationalized Haar functions method for solving Fredholm and Volterra integral equations, Journal of Computational and Applied Mathematics. (2007) 200, no. 1, 12–20, 2276812, https://doi.org/10.1016/j.cam.2005.12.026, ZBL1107.65122.
26Khellat F. and
Yousefi S. A., The linear Legendre mother wavelets operational matrix of integration and its application, Journal of the Franklin Institute. (2006) 343, no. 2, 181–190, https://doi.org/10.1016/j.jfranklin.2005.11.002, 2204243, ZBL1127.65105.
27Razzaghi M. and
Yousefi S., The Legendre wavelets operational matrix of integration, International Journal of Systems Science. (2001) 32, no. 4, 495–502, https://doi.org/10.1080/002077201300080910, 1960533, ZBL1006.65151.
28Kilicman A. and
Al Zhour Z. A., Kronecker operational matrices for fractional calculus and some applications, Applied Mathematics and Computation. (2007) 187, no. 1, 250–265, 2323577, https://doi.org/10.1016/j.amc.2006.08.122, ZBL1123.65063.
Please check your email for instructions on resetting your password.
If you do not receive an email within 10 minutes, your email address may not be registered,
and you may need to create a new Wiley Online Library account.
Request Username
Can't sign in? Forgot your username?
Enter your email address below and we will send you your username
If the address matches an existing account you will receive an email with instructions to retrieve your username
The full text of this article hosted at iucr.org is unavailable due to technical difficulties.