- Research
- Open access
- Published:
Chebyshev wavelets operational matrices for solving nonlinear variable-order fractional integral equations
Advances in Difference Equations volume 2020, Article number: 611 (2020)
Abstract
In this study, a wavelet method is developed to solve a system of nonlinear variable-order (V-O) fractional integral equations using the Chebyshev wavelets (CWs) and the Galerkin method. For this purpose, we derive a V-O fractional integration operational matrix (OM) for CWs and use it in our method. In the established scheme, we approximate the unknown functions by CWs with unknown coefficients and reduce the problem to an algebraic system. In this way, we simplify the computation of nonlinear terms by obtaining some new results for CWs. Finally, we demonstrate the applicability of the presented algorithm by solving a few numerical examples.
1 Introduction
Fractional calculus is a useful extension of the classical calculus by allowing derivatives and integrals of arbitrary orders. It arose from a famous scientific discussion between Leibniz and L’Hopital in 1695 and was developed by other scientists like Laplace, Abel, Euler, Riemann, and Liouville [1]. In recent years, fractional calculus has become a popular topic for researchers in mathematics, physics, and engineering because the fractional differential (integral) equations govern the behavior of many physical systems with more precision [2]. We remind that the main advantage of using fractional differential (integral) equations for modeling applied problems is their nonlocal property [3], i.e., in a fractional dynamical system, the next state depends on all the previous situations so far [3].
Another interesting extension to fractional order calculus is considering the fractional order to be a known time-dependent function \(\alpha (t)\) [4]. This generalization is called variable-order (V-O) fractional calculus. This subject finds enormous applications in science and engineering because the nonlocal property of fractional calculus becomes more evident [4]. Usually, the V-O fractional functional equations are difficult to solve, analytically. So, finding the exact solutions for these problems is impossible in most cases. Therefore, it is very important to propose approximation/numerical procedures to find numerical solutions for these problems. Some recent studies and numerical methods for V-O fractional functional equations can be observed in [5–10].
During last decades, orthogonal functions have been applied extensively for solving different classes of problems. The major reason for this is that solving the main problem turns into solving a simple algebraic system [11–13]. We remind that the Chebyshev polynomials can be effectively utilized for approximating any sufficiently differentiable function. In this case, the approximation error is rapidly converted to zero [14]. This property usually is named “the spectral accuracy”.
Wavelets, compared to other functions, favor many advantages which allow the investigation of problems which the conventional numerical methods cannot handle [14]. During last years, different categories of fractional problems have been solved by eliciting the OM of classical fractional integration for well-known orthogonal wavelets, e.g., [15–17]. CWs are a particular type of orthonormal wavelets which satisfy orthogonality and spectrality, which are the properties of the Chebyshev polynomials in addition to the properties of wavelets. These useful features have led to the widespread use of CWs in solving fractional differential equations (FDEs). In [18], a category of fractional systems of singular integro-differential equations was solved using CWs. Multi-order FDEs were solved in [19] by proposing a CWs-based numerical method. Also, nonlinear fractional integro-differential equations in large intervals were solved by Heydari et al. in [20] by CWs. A class of nonlinear FDEs was solved by applying CWs in [21]. The generalized Burgers–Huxley equation was solved by applying a CWs-based collocation method in [22]. In [23], CWs were utilized for solving FDEs with nonsingular kernel.
Many applied problems with memory can be successfully modeled via a fractional system of differential and/or integral equations, for example, semi-conductor devices [24], population dynamics [25], and identification of memory kernels in heat conduction [26]. During last years, several numerical techniques have been applied for solving fractional systems of differential and integral equations, for example, fractional power Jacobi spectral method [27], Bernoulli wavelets method [28], Haar wavelets method [29], Müntz–Legendre wavelets method [30], Block pulse functions method [31], finite difference method [32], spline collocation method [33–35], and spectral method [36].
The major aim of the current study is to treat the following nonlinear V-O fractional system by proposing the CWs Galerkin method:
where \(u_{i}:[0,1] \rightarrow \mathbb{R}\), \(i=1,2,\ldots ,d\), are unknown functions, \(q_{i}-1<\alpha _{i}(t)\leq q_{i}\), \(i=1,2,\ldots ,d\), are given functions, \(q_{i}\), \(i=1,2,\ldots ,d\), are natural constants, \({F}_{i}\) and \({G}_{i}: [0,1]\times \mathbb{R}^{d}\rightarrow \mathbb{R}\), \(i=1,2,\ldots ,d\), are continuous maps which satisfy appropriate Lipschitz conditions, and \(K_{i}: [0,1]\times [0,1]\rightarrow \mathbb{R}\), \(i=1,2,\ldots ,d\), are continuous functions. Note that fractional system (1.1) is a generalization of the classical fractional system introduced in [36]. So, the method of this paper can also be used for the fractional system investigated in [36].
To implement the proposed method, a new OM for CWs is elicited as follows:
where
and \(\mathbf{P}^{\alpha }\) is the V-O fractional integration OM of CWs and \(\psi _{i}(t)\), \(i=1,2,\ldots ,\hat{m}\), are the CWs basis functions. We construct this new OM using HFs and their properties. The proposed technique is based upon expanding the unknown functions by CWs for transforming the main system to a system of algebraic equations using the mentioned OM and applying the Galerkin technique. In this way, a new method is introduced to compute nonlinear terms in such systems.
This article is structured as follows: In Sect. 2, we express some required preliminaries of HFs and the V-O fractional calculus. In Sect. 3, we introduce CWs and their required properties. In Sect. 4, we study the existence of a unique solution for fractional system (1.1). The expressed method for solving system (1.1) is described in Sect. 5. We examine the convergence of CWs in Sect. 6. Some illustrative examples are solved in Sect. 7. Eventually, we draw a conclusion in the last section.
2 Mathematical preliminaries
Here, some preliminaries which are necessary for this study are reviewed.
2.1 V-O fractional integral
In the development of the fractional calculus theory with V-O, many definitions have appeared. In this section, we give the most popular definition of V-O fractional integral.
Definition 2.1
([37])
Let \(\alpha (t)\) be a continuous function and \(f(t)\) be a given function. The fractional integral operator of order \(\alpha (t)\geq 0\) in the Riemann–Liouville type is given by
Remark 1
The following useful property is implied by the definition:
2.2 HFs and their properties
An m̂-set of HFs is introduced on \([0,1]\) as follows [38, 39]:
and
where \(h=\frac{1}{(\hat{m}-1)}\). The HFs can be utilized to express any function \(f(t)\) on \([0,1]\) as
where
Similarly, they can be utilized to express any function \(f(x,t)\) on \([0,1]\times [0,1]\) as
in which Λ is the coefficients matrix and
Lemma 2.2
([39])
If \(\Phi (t)\) is the vector expressed in (2.8), then
in which \(diag (\Phi (t) )\) is an m̂-order diagonal matrix.
Lemma 2.3
([39])
If X is an arbitrary m̂-column vector and \(\Phi (t)\) is the HFs vector in (2.8), then
where \(\hat{X}=diag (x_{1},x_{2},\ldots ,x_{\hat{m}} )\) and X̂ is an m̂-order matrix, namely the product OM for HFs.
Lemma 2.4
If A is an m̂-order square matrix and \(\Phi (t)\) is the vector in (2.8), then
where \(\hat{A}=diag(A)\) is an m̂-column vector.
Proof
The proof is easy regarding Lemma 2.2. □
Theorem 2.5
([40])
Suppose that \(\alpha (t): [0,1]\longrightarrow \mathbb{R}^{+}\) is continuous and \(\Phi (t)\) is the vector in (2.8). Then we have
where \(\hat{\mathbf{P}}^{(\alpha )}\) is known as the V-O fractional integral OM for HFs. Moreover, we have
where
and
Definition 2.6
Let \(V^{T}=[v_{1},v_{2},\ldots ,v_{\hat{m}}]\) and \(U^{T}_{i}=[u_{1}^{i},u_{2}^{i},\ldots ,u_{\hat{m}}^{i}]\), \(i=1,2,\ldots ,d\), be arbitrary constant vectors, and \({F}:\mathbb{R}^{d+1}\rightarrow \mathbb{R}\) be any continuous function. Then we define \({F} (V^{T},U_{1}^{T},U_{2}^{T},\ldots ,U_{d}^{T} )\) as
Lemma 2.7
If \(V^{T}\Phi (t)\) and \(U_{i}^{T}\Phi (t)\) are the approximations of \(v(t)=t\) and \(u_{i}(t)\) by HFs, then
for any continuous function \({F}:\mathbb{R}^{d+1}\rightarrow \mathbb{R}\).
Proof
Equations (2.6) and (2.7) together with Definition 2.6 complete the proof. □
3 Chebyshev wavelets
Herein, CWs and some of their properties, which will be used in the sequel, are reviewed.
3.1 CWs and function expansion
CWs are defined over \([0,1]\) as follows [18]:
where
\(m=0,1,\ldots ,M-1\), \(M\in \mathbb{N}\) and \(n=0,1,\ldots ,2^{k}-1\) for \(k\in \mathbb{Z}^{+}\cup \{0\}\). Here, \(T_{m}(t)\) denotes the Chebyshev polynomials which are recursively defined over \([-1,1]\) as follows [41]:
Let \(w_{n}(t)\) be a weight function defined as
The CWs can be utilized to expand any function \(u(t)\) on \([0,1]\) as
where \(c_{nm}= \langle u(t),\psi _{nm}(t) \rangle _{w_{n}(t)}\). This function can be approximated as
where the symbol T denotes transposition and \(\Psi (t)\) and C are \(\hat{m}=2^{k}M\) column vectors. Relation (3.5) can be simplified as follows:
where \(\psi _{i}(t)=\psi _{nm}(t)\), \(c_{i}=c_{nm}\), and \(i=Mn+m+1\). This results in
Likely, the CWs can be used to expand any two-variable functions \(u(x, t)\in L^{2}_{w_{n,n^{\prime }}} ((0, 1)\times (0, 1) )\) as
where \(U_{ij}= \langle \psi _{i}(x), \langle u(x,t),\psi _{j}(t) \rangle _{w_{n^{ \prime }}(t)} \rangle _{w_{n}(x)}\), \(i,j=1,2,\ldots ,\hat{m}\).
3.2 Novel results for CWs
Here, some technical results are extracted for CWs which are applicable in the following.
Lemma 3.1
Assume \(\Psi (t)\) and \(\Phi (t)\) are respectively the CWs and the HFs vectors in (3.7) and (2.8). Then we have
where Q is the CWs matrix of size \(\hat{m}\times \hat{m}\) with
Proof
The function \(\psi _{i}(t)\) (ith component of \(\Psi (t)\)) can be approximated via HFs as follows:
in which \(Q_{i}\) is the ith row of the matrix Q. Then the proof is concluded. □
Corollary 3.2
If X is an m̂-column vector and \(\Psi (t)\) is the CWs vector in (3.7), then
where \(\widehat{X}=Qdiag (Q^{T}X )Q^{-1}\), and the matrix X̂ is the product OM for the CWs of size \(\hat{m}\times \hat{m}\).
Proof
The proof is easy by applying Lemmas 2.3 and 3.1. □
Corollary 3.3
If \(\Psi (t)\) is the CWs vector in (3.7) and A is an m̂-order matrix, then
in which \(\widehat{A}^{T}=B^{T}Q^{-1}\) and \(B=diag (Q^{T}AQ )\) is an m̂-column vector.
Proof
The proof is immediate from Lemmas 2.4 and 3.1. □
Corollary 3.4
Assume that \(V^{T}\Psi (t)\) and \(U_{i}^{T}\Psi (t)\) are the approximations of \(v(t)=t\) and \(u_{i}(t)\) via CWs, respectively, for \(i=1,2,\ldots , d\). Then we have
for any continuous function \({F}:\mathbb{R}^{d+1}\rightarrow \mathbb{R}\), where \(\widetilde{V}^{T}=V^{T}Q\) and \(\widetilde{U}_{i}^{T}=U_{i}^{T}Q\) for \(i=1,2,\ldots ,d\).
Proof
The proof is clear by Lemmas 2.7 and 3.1. □
Theorem 3.5
Assume that \(\Psi (t)\) is the CWs vector in (3.7) and \(\alpha (t): [0,1]\longrightarrow \mathbb{R}^{+}\) is continuous, then
where Q and \(\hat{\mathbf{P}}^{(\alpha )}\) are respectively defined in (2.14) and (3.9), and \(\mathbf{P}^{(\alpha )}\) is the V-O fractional integration OM of CWs.
Proof
By Theorem 2.5 and Lemma 3.1, we get
Hence, by applying Lemma 3.1, the desired result is obtained. □
4 Existence and uniqueness
The uniqueness and the existence of a solution for fractional system (1.1) is studied in this section. Since norms in \(\mathbb{R}^{d}\) are equivalent, we use the sup-norm \(\|\cdot\|\) which, for any \(\mathbf{v}= [v_{1},v_{2},\ldots ,v_{d} ]^{T}=[v_{i}]_{i=1,2, \ldots ,d}^{T}\in \mathbb{R}^{d}\), is given as follows:
Similarly, for \(\Omega =[0,1]\) or \(\Omega =[0,1]\times [0,1]\) and any \(\mathbf{V}\in C(\Omega ,\mathbb{R}^{d})\), we consider the following norm:
where \(\|\mathbf{V}(\omega )\|\) is the sup-norm of \(\mathbf{V}(\omega )\in \mathbb{R}^{d}\). It is obvious that the space \(C(\Omega ,\mathbb{R}^{d})\) endowed with the above norm constitutes a Banach space. It is also worth mentioning that we have
for \(\mathbf{v}=[v_{1},v_{2},\ldots ,v_{d}]^{T}\in C([0,1],\mathbb{R}^{d})\) and \(t\in [0,1]\).
Definition 4.1
(Lipschitz continuous function [42])
Let \(\mathbf{F}= [{F}_{1},{F}_{2},\ldots ,{F}_{d} ]^{T}\) and \(\mathbf{G}= [{G}_{1},{G}_{2},\ldots ,{G}_{d} ]^{T} \in C([0,1] \times \mathbb{R}^{d},\mathbb{R}^{d})\). These functions are Lipschitz continuous if there exist \(\rho , \sigma \in \mathbb{R}^{+}\) such that
Remark 2
Fractional system (1.1) can be rewritten as \(\mathcal{A}U=U\), where the operator \(\mathcal{A}: C([0,1],\mathbb{R}^{d})\rightarrow \mathbb{R}^{d}\) for each \(U\in C([0,1],\mathcal{R}^{d})\) and \(t\in [0,1]\) is defined as follows:
Then solving problem (1.1) is equivalent to obtaining a fixed point \(U\in ([0,1],\mathbb{R}^{d})\) for the operator \(\mathcal{A}\).
Theorem 4.2
Suppose that F and \(\mathbf{G}\in C([0,1]\times \mathbb{R}^{d},\mathbb{R}^{d})\) satisfy Lipschitz conditions (4.4). If \(\rho +\sigma \|\mathbf{K}\| \Vert \frac{1}{\alpha (t)} \Vert < \frac{1}{2}\), then system (1.1) has a unique solution.
Proof
Choose \(r \geq 2 (M_{1}+M_{2}\|\mathbf{K}\| \Vert \frac{1}{\alpha (t)} \Vert ) \) and let \(\|\mathbf{F}(t,0)\|=M_{1}\) and \(\|\mathbf{G}(s,0)\|=M_{2}\). Then we show that \(\mathcal{A}B_{r}\subset B_{r}\), where \(B_{r}\equiv \{ V\in C([0,1]\times \mathbb{R}^{d},\mathbb{R}^{d}): \|V\|\leq r \} \). So, let \(V\in B_{r}\). Then we have
Now, suppose that \(V, W\in C ([0,1]\times \mathbb{R}^{d},\mathbb{R}^{d} )\) and \(t\in [0,1]\). Then we have
Since \(\rho +\sigma \|\mathbf{K}\| \Vert \frac{1}{\alpha (t)} \Vert <1\), using the contraction mapping principle, the desired result is obtained. □
Remark 3
The Lipschitz hypotheses are spontaneously satisfied when the vectors F and K adopt as follows:
and
for all \(s,t \in [0,1]\) and any \(V=[v_{1},v_{2},\ldots ,v_{d}]^{T}\in \mathbb{R}^{d}\). Here, \({F}_{ij}\) and \({G}_{ij}: [0,1]\rightarrow \mathbb{R}\) are continuous maps. Hence, the system of nonlinear integral equations (1.1) can be defined as
and Theorem 4.2 admits a unique solution.
5 The established wavelet method
Herein, a new computational method using CWs is established for solving the VO fractional system (1.1). We utilize the results yielded in Sect. 4 for transforming fractional system (1.1) to an algebraic system by expressing the functions \(u_{i}(t)\), \({\tilde{K}}_{i}(t,s)\) for \(i=1,2,\ldots ,d\) and \(v(t)=t\) via CWs as follows:
and
where \(U_{i}\) are unknown vectors, \(K_{i}\) are coefficient matrices for kernels \({K}_{i}\) for \(i=1,2,\ldots ,d\), and V is the coefficient vector for \(v(t)\). By substituting (5.1) and (5.2) into (1.1), we have
From Corollary 3.4, we can write Eq. (5.3) for \(i=1,2,\ldots ,d\) in the form
Now, by Corollary 3.2, we have
where \(\widehat{{G}}_{i}\) are \(\hat{m}\times \hat{m}\) matrices given as
for \(i=1,2,\ldots ,d\). By substituting (5.5) into (5.4) and employing the fractional integration matrix for CWs, we get
By Corollary 3.3, we have
where \(\widehat{K}_{i}^{T}=B_{i}^{T}Q^{-1}\) and \(B_{i}\) are m̂-column vectors given as
for \(i=1,2,\ldots ,d\). So, the residual functions \(\mathbf{R}_{i}(t)\) for fractional system (1.1) can be written as follows:
Similar to the typical Galerkin method [41], m̂d nonlinear algebraic equations are generated as follows:
where the index j is computed as \(j=Mn+m+1\) and \(\psi _{j}(t)=\psi _{nm}(t)\).
Remark 4
Note that a set of m̂d nonlinear algebraic equations is generated by Eq. (5.11) as follows:
Finally, we get a wavelet solution for the original system (1.1) using (5.1) by solving the above system for the vectors \(U_{i}\), \(i=1,2,\ldots ,d\).
Remark 5
After simplification we can compute the vectors \(B_{i}\) in (5.9) as follows:
where \(\hat{\mathbf{P}}^{(\alpha _{i})}\), \(i=1,2,\ldots ,d\), are defined in (2.14). Moreover, by Lemma 3.1 and Eqs. (2.9) and (2.10), we have
where
Hence, with Eqs. (5.13) and (5.14), we can compute the vectors \(B_{i}\), \(i=1,2,\ldots ,d\), as follows:
6 Analysis of convergence
The convergence analysis of CWs is surveyed in this section.
Definition 6.1
([41])
Let \(\bar{m}\geq 0\) be an integer, w be a suitable function, and \((a, b)\) be a bounded interval. The Sobolev space \(H_{w}^{\bar{m}}(a,b)\) is defined by
Remark 6
The weighted inner product in the Sobolev space \(H_{w}^{\bar{m}}(a,b)\) is given as
for which \(H_{w}^{\bar{m}}(a,b)\) is a Hilbert space with the norm
Remark 7
For convenience, we introduce the semi-norm
since some of the \(L^{2}_{w}\)-norms in (6.3) come into play when we put an upper bound to the approximation error.
Remark 8
Note that \(|u|_{H^{\bar{m};N}_{w}(a,b)}\leq \|u\|_{H^{\bar{m}}_{w}(a,b)}\)
for \(\bar{m}\leq N+1\).
Remark 9
The Sobolev space \(H_{w}^{\bar{m}}(a, b)\) constructs a hierarchy of Hilbert spaces, because \(\ldots H_{w}^{\bar{m}+1}(a, b)\subset H_{w}^{\bar{m}}(a, b) \subset \cdots \subset H_{w}^{0}(a, b)\equiv L_{w}^{2}(a, b)\).
Definition 6.2
The truncated Chebyshev series for a function \(u\in L^{2}_{w}(-1,1)\) equals
where
Lemma 6.3
([41])
Let \(u\in H_{w}^{\bar{m}}(-1,1)\), \(w(x)=1/\sqrt{1-x^{2}}\), and \(P_{N}u=\sum_{j=0}^{N}\hat{u}_{j}T_{j}(x)\). Then we have
where C̄ is a constant dependent on m̄ and independent of N. In addition, it yields
in the infinity norm, in which \(\|u\|_{L^{\infty }(-1,1)}=\sup_{-1\leq x\leq 1}|u(x)|\) and Ĉ is a constant dependent on m̄ and independent of N.
Theorem 6.4
Suppose \(u\in H_{w^{\ast }}^{\bar{m}}(a,b)\), \(w^{\ast }(t)=w (\frac{2}{b-a} t-\frac{b+a}{b-a} )\) and \(P_{N}^{\ast }u=\sum_{j=0}^{N}\hat{u}^{\ast }_{j} T^{\ast }_{j}(t)\), where \(T^{\ast }_{j}(t)=T_{j} (\frac{2}{b-a} t-\frac{b+a}{b-a} )\) and
Then we have
where
Moreover, we have
where \(\|u\|_{L^{\infty }(a,b)}=\sup_{a\leq t\leq b}|u(t)|\).
Proof
It is the case that
By considering \(t=\frac{b-a}{2} x+\frac{b+a}{2}\) and \(dt=\frac{b-a}{2} \,dx\) as change of variables, we get
where \(\hat{\mathbf{u}}_{j}= \langle u (\frac{b-a}{2} x+\frac{b+a}{2} ),T_{j}(x) \rangle _{w}/ \langle T_{j}(x),T_{j}(x) \rangle _{w}\). Letting \(v(x)=u (\frac{b-a}{2} x+\frac{b+a}{2} )\) yields
By (6.6), we obtain
where
Meanwhile, we have
By considering \(t=\frac{b-a}{2} x+\frac{b+a}{2}\) and \(\frac{b-a}{2} \,dx=dt\) as change of variables, we obtain
The following equality holds for the infinity norm:
By considering \(t=\frac{b-a}{2} x+\frac{b+a}{2}\) as change of variables, we obtain
Letting \(v(x)=u (\frac{b-a}{2} x+\frac{b+a}{2} )\), one has
Considering (6.7) we have
Furthermore, we have
Thus
Finally, (6.16)–(6.21) result in
which completes the proof. □
Corollary 6.5
Given the satisfaction of assumptions in Theorem 6.4, the following rates of convergence hold:
Theorem 6.6
Let \(u\in H_{w_{\widetilde{w}}}^{\bar{m}}(0,1)\), \(\widetilde{w}(t)=w (2t-1 )\) and \(P_{M,k}u=\sum_{n=0}^{2^{k}-1}\sum_{m=0}^{M-1}c_{nm} \psi _{nm}(t)\). Then we have
where \(I_{nk}= [\frac{n}{2^{k}},\frac{n+1}{2^{k}} ]\) and \(w_{n}(t)\) is defined in (3.3). Moreover, we have
Proof
We have
where \(P_{M-1}^{\ast }u=\sum_{j=0}^{M-1}\hat{u}^{\ast }_{j} T^{\ast }_{j}(t)\), \(T^{\ast }_{j}(t)=T_{j} (2^{k+1}t-2n-1 )\) and
From (6.24) and Theorem 6.4 we get
Moreover, we have
for the maximum norm. Considering Theorem 6.4, we obtain
and since \(\Vert u^{(j)} \Vert _{L^{\infty } (0,1 )}= \max_{n=0,1,\ldots ,2^{k}-1} \Vert u^{(j)} \Vert _{L^{\infty } (I_{nk} )}\), the proof is completed. □
7 Illustrative test problems
In this section, a few examples of V-O fractional integral equations are given to show the reliability of the presented algorithm. Note that the maximum absolute errors are reported as
All the simulations are carried out via Maple 18 with 20 decimal digits.
Example 1
Consider fractional system (1.1) where
The exact solution of this linear system when \(\alpha _{1}(t)=\alpha _{2}(t)=1\) is \(\langle u_{1}(t),u_{2}(t) \rangle = \langle \sin (t), \cos (t) \rangle \). We have used the proposed method to solve this problem with \(\hat{m}=40\), (\(k=2\) and \(M=10\)) for some different functions \(\alpha _{1}(t)\) and \(\alpha _{2}(t)\)
Figure 1 demonstrates the numerical solutions behavior for these problems. It should be noted that we have the analytic solution only for \(\alpha _{1}(t)=\alpha _{2}(t)=1\). For this case, the maximum absolute errors are \(e (u_{1} )=2.3490 \times 10^{-5}\) and \(e (u_{2} )=2.4951 \times 10^{-5}\). Moreover, it is obvious that the established technique can be simply implemented, and satisfactory numerical results for this problem are obtained. Note that a little time is necessary for obtaining high accuracy.
Example 2
Consider fractional system (1.1) where
The analytic solution for this system is \(\langle u_{1}(t),u_{2}(t) \rangle = \langle \tan (t),\arctan (t) \rangle \). This system is solved via the presented technique for \(\hat{m}=24\) (\(k=1\) and \(M=12\)) and \(\hat{m}=48\) (\(k=2\) and \(M=12\)). The maximum absolute errors of the obtained solutions and the run time for some different functions \(\alpha _{1}(t)\) and \(\alpha _{2}(t)\) as
are reported in Table 1. As it can be verified by Table 1, numerical solutions with high accuracy are provided by the proposed method. Moreover, it shows that, by increasing the numbers of CWs, the numerical results are improved. It is worth noting that for the case \(0<\alpha _{1}(t)\), \(\alpha _{2}(t)<1\) system (1.1) transforms to a singular system of integral equations. So, it can be deduced that the presented technique works well for such cases and computes numerical solutions with high accuracy. Another significant conclusion from the obtained results is that as \(\alpha _{i}(t)\) for \(i=1,2\) increase, the absolute errors and the run time decrease.
Example 3
Consider fractional system (1.1) where
The analytic solution for this system is \(\langle u_{1}(t),u_{2}(t),u_{3}(t) \rangle = \langle t^{2},t^{3},t^{2}-t^{3} \rangle \). We have used the presented technique to solve this system for \(\hat{m}=16\) (\(k=1\) and \(M=8\)) and \(\hat{m}=32\) (\(k=2\) and \(M=8\)). Table 2 contains the maximum absolute errors of obtained solutions and the run time for some different functions \(\alpha _{1}(t)\), \(\alpha _{2}(t)\), and \(\alpha _{3}(t)\) as follows:
It can be observed in Table 2 that the elicited results are in good agreement with the exact solution. Also, the established technique requires pretty little time to calculate the numerical solutions. Moreover, similar to the previous example, it can be observed that for the cases \(0<\alpha _{1}(t)\), \(\alpha _{2}(t), \alpha _{3}(t)<1\), the proposed method works very well and provides numerical solutions with high accuracy. Furthermore, Table 2 shows that the obtained solutions are improved as the numbers of CWs increase.
Example 4
Consider fractional system (1.1) where
The analytic solution of this system is \(\langle u_{1}(t),u_{2}(t),u_{3}(t),u_{4}(t) \rangle = \langle t^{\frac{3}{2}},t^{\frac{5}{2}},t^{\frac{7}{2}}, t^{ \frac{9}{2}} \rangle \). We have used the presented algorithm to solve this problem for \(\hat{m}=12\) (\(k=1\) and \(M=6\)) and \(\hat{m}=24\) (\(k=2\) and \(M=6\)). Table 3 contains the maximum absolute errors of the obtained solutions and the run time for some different functions \(\alpha _{1}(t)\), \(\alpha _{2}(t)\), \(\alpha _{3}(t)\), and \(\alpha _{4}(t)\) as follows:
As it can be observed in Table 3, we obtain numerical solutions with high accuracy by the proposed method. In addition, it can be observed that the presented technique requires quite little time to calculate the numerical solutions.
8 Conclusion
In this paper, we established a Chebyshev wavelets (CWs) Galerkin technique for a class of systems of variable-order (V-O) fractional integral equations. First, we derived a fractional integral operational matrix (OM) for CWs which was then employed to find approximate solutions for the problem. Also, the hat functions were reviewed and used to elicit a method for forming this novel matrix. We also obtained the expansion of the unknown functions in terms of CWs with undetermined coefficients. Then, by employing some properties of CWs and their fractional integration OM, we reduced the fractional system to an algebraic system. Also, the existence of a unique solution for the system under consideration was proved. Furthermore, the reliability of the presented scheme is studied on some numerical examples which show the accuracy of the established technique.
Availability of data and materials
Not applicable.
References
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974)
Hesameddini, E., Rahimi, A., Asadollahifard, E.: On the convergence of a new reliable algorithm for solving multi-order fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 34, 154–164 (2016)
Almeida, R., Torres, D.F.M.: An introduction to the fractional calculus and fractional differential equations. Sci. World J. 2013, Article ID 915437 (2013)
Zaky, M.A., Doha, E.H., Taha, T.M., Baleanu, D.: New recursive approximations for variable-order fractional operators with applications. Math. Model. Anal. 23, 227–239 (2018)
Zaky, M.A., Baleanu, D., Alzaidy, J.F., Hashemizadeh, E.: Operational matrix approach for solving the variable-order nonlinear Galilei invariant advection-diffusion equation. Adv. Differ. Equ. 2018, 102 (2018)
Heydari, M.H., Avazzadeh, Z.: Numerical study of non-singular variable-order time fractional coupled Burgers’ equations by using the Hahn polynomials. Eng. Comput. (2020). https://doi.org/10.1007/s00366-020-01036-5
Heydari, M.H., Avazzadeh, Z.: Chebyshev–Gauss–Lobatto collocation method for variable-order time fractional generalized Hirota–Satsuma coupled KdV system. Eng. Comput. (2020). https://doi.org/10.1007/s00366-020-01125-5
Heydari, M.H., Hosseininia, M.: A new variable-order fractional derivative with non-singular Mittag-Leffler kernel: application to variable-order fractional version of the 2D Richard equation. Eng. Comput. (2020). https://doi.org/10.1007/s00366-020-01121-9
Hassani, H., Machado, J.A.T., Avazzadeh, Z., Naraghirad, E.: Generalized shifted Chebyshev polynomials: solving a general class of nonlinear variable order fractional PDE. Commun. Nonlinear Sci. Numer. Simul. 85, 105229 (2020)
Yang, Y., Huang, Y., Zhou, Y.: Numerical solutions for solving time fractional Fokker–Planck equations based on spectral collocation methods. J. Comput. Appl. Math. 33, 389–404 (2018)
Yang, Y., Chen, Y., Huang, Y., Wei, H.: Spectral collocation method for the time-fractional diffusion-wave equation and convergence analysis. Comput. Math. Appl. 37, 1218–1232 (2017)
Ezz-Eldien, S.S., Wang, Y., Abdelkawy, M.A., Zaky, M.A.: Chebyshev spectral methods for multi-order fractional neutral pantograph equations. Nonlinear Dyn. 100, 3785–3797 (2020)
Heydari, M.H., Hooshmandasl, M.R., Maalek Ghaini, F.M., Fereidouni, F.: Two-dimensional Legendre wavelets for solving fractional Poisson equation with Dirichlet boundary conditions. Eng. Anal. Bound. Elem. 37(11), 1331–1338 (2013)
Zhu, L., Fan, Q.: Solving fractional nonlinear Fredholm integro-differential equations by the second kind Chebyshev wavelet. Commun. Nonlinear Sci. Numer. Simul. 17(6), 2333–2341 (2012)
Li, Y.L., Zhao, W.W.: Haar wavelet operational matrix of fractional order integration and its applications in solving the fractional order differential equations. Appl. Math. Comput. 216, 2276–2285 (2010)
Saeedi, H.: A cas wavelet method for solving nonlinear Fredholm integro-differential equation of fractional order. Commun. Nonlinear Sci. Numer. Simul. 16, 1154–1163 (2011)
Heydari, M.H., Hooshmandasl, M.R., Mohammadi, F., Cattani, C.: Wavelets method for solving systems of nonlinear singular fractional Volterra integro-differential equations. Commun. Nonlinear Sci. Numer. Simul. 19, 37–48 (2014)
Heydari, M.H., Hooshmandasl, M.R., Maalek Ghaini, F.M., Mohammadi, F.: Wavelet collocation method for solving multi order fractional differential equations. J. Appl. Math. 2012, Article ID 542401, 19 pages (2012). https://doi.org/10.1155/2012/542401
Heydari, M.H., Hooshmandasl, M.R., Maalek Ghaini, F.M., Li, M.: Chebyshev wavelets method for solution of nonlinear fractional integrodifferential equations in a large interval. Adv. Math. Phys. 2013, Article ID 482083, 12 pages (2013). https://doi.org/10.1155/2013/482083
Li, Y.L.: Solving a nonlinear fractional differential equation using Chebyshev wavelets. Commun. Nonlinear Sci. Numer. Simul. 15, 2284–2292 (2010)
Celik, I.: Chebyshev wavelet collocation method for solving generalized Burgers–Huxley equation. Math. Methods Appl. Sci. 39(3), 366–377 (2016)
Baleanu, D., Shiri, B., Srivastava, H.M., Al Qurashi, M.: A Chebyshev spectral method based on operational matrix for fractional differential equations involving non-singular Mittag-Leffler kernel. Adv. Differ. Equ. 2018, 353 (2018)
Unterreiter, A.: Volterra integral equation models for semiconductor devices. Math. Methods Appl. Sci. 19(6), 425–450 (1996)
Brauer, F., Castillo-Chavez, C.: Mathematical Models in Population Biology and Epidemiology. Springer, Berlin (2001)
Brunner, H.: Collocation Methods for Volterra Integral and Related Functional Differential Equations. Cambridge University Press, Cambridge (2004)
Bhrawy, A., Zaky, M.A.: Shifted fractional-order Jacobi orthogonal functions: application to a system of fractional differential equations. Appl. Math. Model. 40(2), 832–845 (2016)
Wang, J., Xu, T.Z., Wei, Y.Q., Xie, J.Q.: Numerical solutions for systems of fractional order differential equations with Bernoulli wavelets. Int. J. Comput. Math. 96(2), 317–336 (2019)
Abdeljawad, T., Amin, R., Shah, K., Al-Mdallal, Q., Jarad, F.: Efficient sustainable algorithm for numerical solutions of systems of fractional order differential equations by Haar wavelet collocation method. Alex. Eng. J. (2020). https://doi.org/10.1016/j.aej.2020.02.035
Saemi, F., Ebrahimi, H., Shafiee, M.: An effective scheme for solving system of fractional Volterra–Fredholm integro-differential equations based on the Müntz–Legendre wavelets. J. Comput. Appl. Math. 374, 112773 (2020)
Saemi, F., Ebrahimi, H., Shafiee, M.: Numerical research of nonlinear system of fractional Volterra–Fredholm integral-differential equations via Block–Pulse functions and error analysis. J. Comput. Appl. Math. 345, 159–167 (2019)
Jhinga, A., Daftardar-Gejji, V.: A new finite-difference predictor-corrector method for fractional differential equations. Appl. Math. Comput. 336, 418–432 (2018)
Alijani, Z., Baleanu, D., Shiri, B., Wu, G.C.: Spline collocation methods for systems of fuzzy fractional differential equations. Chaos Solitons Fractals 2020, 109510 (2018)
Dadkhah Khiabani, E., Ghaffarzadeh, H., Shiri, B., Katebi, J.: Spline collocation methods for seismic analysis of multiple degree of freedom systems with visco-elastic dampers using fractional models. J. Vib. Control (2018). https://doi.org/10.1177/1077546319898570
Dadkhah Khiabani, E., Shiri, B., Ghaffarzadeh, H., Baleanu, D.: Visco-elastic dampers in structural buildings and numerical solution with spline collocation methods. J. Appl. Math. Comput. 63, 29–57 (2020)
Jhinga, A., Daftardar-Gejji, V.: An accurate spectral collocation method for nonlinear systems of fractional differential equations and related integral equations with nonsmooth solutions. Appl. Numer. Math. 154, 205–222 (2020)
Chen, Y., Liu, L., Li, B., Sun, Y.: Numerical solution for the variable order linear cable equation with Bernstein polynomials. Appl. Math. Comput. 238, 329–341 (2014)
Heydari, M.H., Hooshmandasl, M.R., Maalek Ghaini, F.M., Cattani, C.: A computational method for solving stochastic Itô–Volterra integral equations based on stochastic operational matrix for generalized hat basis functions. J. Comput. Phys. 270, 402–415 (2014)
Heydari, M.H., Hooshmandasl, M.R., Cattani, C., Maalek Ghaini, F.M.: An efficient computational method for solving nonlinear stochastic Itô integral equations: application for stochastic problems in physics. J. Comput. Phys. 283, 148–168 (2015)
Heydari, M.H., Avazzadeh, Z.: A new wavelet method for variable-order fractional optimal control problems. Asian J. Control 20(5), 1804–1817 (2018)
Canuto, C., Hussaini, M.Y., Quarteroni, A., Zang, T.A.: Spectral Methods, Fundamentals in Single Domains. Springer, Berlin (2010)
Hunter, J.K., Nachtergaele, B.: Applied Analysis. World Scientific, Singapore (2001)
Acknowledgements
We thank the reviewers for their valuable comments and suggestions.
Funding
This work was supported by the National Natural Science Foundation of China Project (12071402, 11931003), the Project of Scientific Research Fund of the Hunan Provincial Science and Technology Department (2020JJ2027, 2020ZYT003, 2018WK4006).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yang, Y., Heydari, M.H., Avazzadeh, Z. et al. Chebyshev wavelets operational matrices for solving nonlinear variable-order fractional integral equations. Adv Differ Equ 2020, 611 (2020). https://doi.org/10.1186/s13662-020-03047-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03047-4