- Research
- Open Access
- Published:
Existence, uniqueness, and approximate solutions for the general nonlinear distributed-order fractional differential equations in a Banach space
Advances in Difference Equations volume 2021, Article number: 461 (2021)
Abstract
The purpose of this paper is to provide sufficient conditions for the local and global existence of solutions for the general nonlinear distributed-order fractional differential equations in the time domain. Also, we provide sufficient conditions for the uniqueness of the solutions. Furthermore, we use operational matrices for the fractional integral operator of the second kind Chebyshev wavelets and shifted fractional-order Jacobi polynomials via Gauss–Legendre quadrature formula and collocation methods to reduce the proposed equations into systems of nonlinear equations. Also, error bounds and convergence of the presented methods are investigated. In addition, the presented methods are implemented for two test problems and some famous distributed-order models, such as the model that describes the motion of the oscillator, the distributed-order fractional relaxation equation, and the Bagley–Torvik equation, to demonstrate the desired efficiency and accuracy of the proposed approaches. Comparisons between the methods proposed in this paper and the existing methods are given, which show that our numerical schemes exhibit better performances than the existing ones.
1 Introduction
Distributed-order fractional derivatives indicate fractional derivatives that are integrated over the order of the differentiation within a given range [55]. In recent decades, distributed-order fractional differential equations (DOFDEs) have been used to model more phenomena in various fields such as visco-elastic [4, 6], dielectrics [10], diffusions [11, 24, 26, 28, 40, 42, 49, 52], signal processing [29], biosciences [17, 30], finance [16, 32], electrochemistry [44], and optimal control [54, 56]. The motivation of DOFDEs is the generalization of single-order and multi-term fractional differential equations [27].
In [5], Atanacković et al. studied the existence and uniqueness of solutions for DOFDEs of the form
in \(L_{\mathrm{loc}}^{1}(\mathbb{R}) \cap {C^{1}}([0,\infty )) \). Such equations arise in distributed derivative models of system identification theory and visco-elasticity.
In this research study, we consider general nonlinear DOFDEs in the time domain \(\Omega =[0,{t_{f}}] \) as follows:
with the initial conditions
Here, \({G_{1}}(\cdot) \) is a linear or nonlinear function,
where \({\kappa _{i}} \in \mathbb{R} \); and α, β, \({\alpha _{i}} ({\alpha _{1}}<\cdots <{\alpha _{r}}) \) for \({i = 0,1, \ldots,r} \) are positive real numbers. Also, \(\lceil \beta \rceil \) denotes the ceiling function and is the smallest integer greater than or equal to β.
Note that Eq. (1) is the general form of DOFDEs in the time domain which for the case \({G_{1}} (q,{{}_{0}^{C}D{}_{t}^{q}}f(t) ) = \Gamma (q){{}_{0}^{C}D{}_{t}^{q}}f(t)\), \(g(t)=0\), \({\kappa _{j}} =0\), \(j = 1, \ldots,r\), leads to the distributed-order fractional relaxation equation [31]. When \({G_{1}} (q,{{}_{0}^{C}D{}_{t}^{q}}f(t) ) = b \Gamma (q){{}_{0}^{C}D{}_{t}^{q}}f(t)\) with a constant b, \({\alpha _{1}} =2\), \({\kappa _{j}} =0\), \(j = 2, \ldots,r\), Eq. (1) is the Bagley–Torvik equation [7, 8]. Also, for the case \(\int _{0}^{1} {{a^{q}} {{}_{0}^{C}D{}_{t}^{q}}\sigma (t)\,dq} = \gamma \int _{0}^{1} {{b^{q}} {{}_{0}^{C}D{}_{t}^{q}}f(t)\,dq}\), \({\alpha _{1}} =2\), \({\kappa _{0}} =\omega ^{2}\), \({\kappa _{1}} =1\), \({\kappa _{j}} =0\), \(j = 2, \ldots,r\), we have the model that describes the motion of the oscillator [20], where \(\gamma, a, b \) are constants; ω is the eigen frequency of the undamped system; \(g(t) \) is the external forcing function; and \(f(t) \), \(\sigma (t) \) are the displacement and the dissipation force.
As the realm of DOFDEs describing the real-life response of physical systems grows, the demand for numerical solutions to analyze the behavior of these equations becomes more pronounced in order to overcome the mathematical complexity of analytical solutions. Therefore, the development of effective and easy-to-use numerical schemes for solving such equations acquires an increasing interest. While several numerical techniques have been proposed to solve many different problems (see, for instance, [1–3, 13, 15, 25, 33–35, 43, 45, 48] and the references therein), there have been few research studies that developed numerical methods to solve general DOFDEs (see [19, 21, 36, 38, 47, 50, 53]). The development, however, for efficient numerical methods to solve DOFDEs is still an important issue [21].
The aim of this paper is to provide sufficient conditions for the existence and uniqueness of solutions for Eqs. (1) and (2). Also, we are going to approximate solutions for the mentioned equations with high precision. To do this, in Sect. 2, we present a review of fractional calculus, an introduction of the second kind Chebyshev wavelets (SKCWs), shifted fractional-order Jacobi polynomials (SFOJPs), function approximations, and operational matrices for the Riemann–Liouville fractional integral operator. In Sect. 3, we provide sufficient conditions for the existence and uniqueness of solutions for general DOFDEs. In Sect. 4, by using operational matrices, mentioned in Sect. 2, we approximate the solution of Eqs. (1) and (2). In Sect. 5, we obtain the error bounds for the approximations. In Sect. 6, we solve two test problems and some famous distributed-order models, such as the model that describes the motion of the oscillator, the distributed-order fractional relaxation equation, and the Bagley–Torvik equation, to show that our approaches will increase the accuracy of the methods used for such operational matrices. Finally, a conclusion is given in Sect. 7.
2 Preliminaries
2.1 Fractional calculus
Definition 2.1
([41])
The Riemann–Liouville integral of fractional order \(\iota >0 \) is defined as follows:
where ∗ and \(\Gamma (\cdot) \) are the convolution product and gamma function, respectively.
Definition 2.2
([41])
The Caputo derivative of fractional order \(\iota >0 \) is defined as follows:
with the following properties:
Definition 2.3
([18])
The distributed-order fractional derivative is defined as follows:
where \({\upsilon _{1}} \), \({\upsilon _{2}}\in \mathbb{R}^{+} \), and \(p(\upsilon ) \) is distribution of order \(\upsilon \in [{\upsilon _{1}},{\upsilon _{2}}] \).
2.2 SKCWs and function approximation
SKCWs are as follows:
where \(i=1,2,\dots,{2^{k}}, j=0,1,\dots,M-1\). Here, \({T_{j}^{*}}(t) \) is the shifted Chebyshev polynomial of the second kind of degree \(j\geq 0 \), defined on the interval \([0,1] \) by
where
Let \(w(t) = \sqrt{t-{t^{2}}} \) be the weight function. A function \(f(t)\in {L_{\omega }^{2}}([0,{{t_{f}}}))\) can be expanded by SKCWs as follows:
where
and \(\omega (t) = w ( {\frac{{{2^{k}}}}{{{t_{f}}}}t - i + 1} ) \). We truncate the infinite series given in Eq. (6), and then we approximate a function \(f(t)\) in the following form:
where
are \({2^{k}}M \times 1 \) vectors.
2.3 SFOJPs and function approximation
SFOJPs of order i are defined on the interval \([0,{t_{f}}] \) by the following formula [22]:
where \(\theta,\vartheta \in \mathbb{R} \) and \(0<\lambda <1 \).
The orthogonality property of \({\mathcal{J}}_{{t_{f}},i}^{(\lambda,\theta,\vartheta )}(t) \) is as follows:
where \({\delta _{ii'}}\) and \(w_{t_{f}}^{(\lambda,\theta,\vartheta )}(t) = {\lambda }{t^{{ \lambda }\vartheta +{\lambda }-1} }{({{t_{f}^{\lambda }}} - t^{\lambda })^{\theta }} \) are Kronecker delta and weight functions, respectively. Also,
By using SFOJPs, a function \(f(t)\in {L_{w_{t_{f}}^{(\lambda,\theta,\vartheta )}}^{2}}([0,{t_{f}}])\) can be approximated as follows:
where
Also, F̃ and \({\Phi }(t) \) are \((N+1) \times 1 \) vectors given by
2.4 Operational matrices of the Riemann–Liouville fractional integral operator
Following [23, 51], we can obtain the operational matrix of the Riemann–Liouville fractional integral operator based on SKCWs for \(t \in [0, {t_{f}}) \) in the following theorem.
Theorem 2.1
Let \(\Psi (t) \) be the vector of SKCWs. Then
where
Also,
is a \({{2^{k}}M}\times {{2^{k}}M} \) matrix and
is the operational matrix of fractional integral operator for the block-pulse functions, where
According to our previous work [37], we have the following theorem.
Theorem 2.2
Let \(\Phi (t) \) be the vector of SFOJPs. Then
where \({\mathbf{I}^{{t_{f}},{q}}} \) is the operational matrix of the Riemann–Liouville integral operator of fractional order q with entries
Here, \(B(.,.) \) is a beta function and \(k,l=0,1,\ldots, N\).
3 Existence and uniqueness of solutions
In the following theorem, by using Schauder’s fixed point theorem [57], we prove the local existence of solutions for general DOFDEs in a Banach space.
Theorem 3.1
Let \({G_{1}} \) be Lipschitz with the constant ς. Suppose that
-
(C1)
\(G_{1} \in C(\Omega \times {\mathbb{R}}^{n},{\mathbb{R}}^{n}) \) and \({g}, {g_{1}}, {f}, {v} \in C(\Omega,{\mathbb{R}}^{n}) \);
-
(C2)
\(\vert {{g}(t) - {g_{1}}(t)} \vert < \frac{ \vert \kappa _{0} \vert \varepsilon }{3} \);
-
(C3)
\(\vert {{G_{1}} ( {q,_{0}^{C}D_{t}^{q}f(t)} ) - {G_{1}} ( {q,_{0}^{C}D_{t}^{q}v(t)} )} \vert < \frac{{ \vert \kappa _{0} \vert } \varepsilon }{{3(\beta - \alpha )}} \);
-
(C4)
\(\vert {{}_{0}^{C}D_{t}^{{\alpha _{i}}}f(t) - {}_{0}^{C}D_{t}^{{ \alpha _{i}}}v(t)} \vert \le {\zeta _{i}} \).
Also, suppose that \(\sum_{i = 1}^{r} { \vert \frac{\kappa _{i}}{\kappa _{0}} \vert {\zeta _{i}}} \le \frac{\varepsilon }{3} \). Then general DOFDEs have at least one solution on Ω.
Proof
Consider \(D =\{ (t,f): t\in \Omega, |f(t)| \leq b \} \). Suppose that \(|{g}(t)|\leq \frac{{{ \vert \kappa _{0} \vert }b}}{3} \), \(\vert {{G_{1}} ( {q,_{0}^{C}D_{t}^{q}f(t)} )} \vert \le \xi \), \(\vert {{}_{0}^{C}D_{t}^{{\alpha _{i}}}f(t)} \vert \le {\eta _{i}} \) on D. Choose \(\frac{{(\beta - \alpha )\xi }}{{{ \vert \kappa _{0} \vert }}} \le \frac{b}{3} \), \(\sum_{i = 1}^{r} { \vert \frac{\kappa _{i}}{\kappa _{0}} \vert {\eta _{i}}} \le \frac{b}{3} \), and let \({\Pi _{0}}=\{f: f\in C({\Omega _{0}},{\mathbb{R}}^{n}), \Vert f \Vert \leq b\} \), where \(\Vert f \Vert = \mathop{\max }_{t \in {\Omega _{0}}} |f(t)| \) and \({\Omega _{0}}=[0,{\tau _{f}}] \). It is clear that the set \({\Pi _{0}} \) is convex, closed, and bounded.
Define the operator
for any \(f \in {\Pi _{0}}\). Clearly, we have
Therefore, \(\Vert {Tf} \Vert \le b \), and we can deduce \(T({\Pi _{0}}) \subset {\Pi _{0}} \). Furthermore, for any \({t_{1}}, {t_{2}} \in \Omega _{0} \) such that \({t_{2}}>{t_{1}} \), we have
Since \({G_{1}} \) is Lipschitz with the constant ς, we get
Now we can write
Note that if \({t_{2}}\to {t_{1}} \), then the right-hand side of (10) tends to zero. Therefore, \(T: {\Pi _{0}} \to {\Pi _{0}} \) is equicontinuous, and consequently, from the Arzela–Ascoli theorem [12], the closure of \(T({\Pi _{0}}) \) is compact.
Let
where \(v \in {\Pi _{0}} \). We need to show that T is continuous. Clearly, we have
Suppose that, for any \(\varepsilon > 0 \), there exists \(\delta > 0 \) such that \(| f(t)-v(t) |<\delta \). Assume that assumptions \((\mathrm{C1})\)–\((\mathrm{C4}) \) hold, therefore
and the proof is completed. □
Now, by using Tychonoff’s fixed point theorem [57], we are going to discuss a global existence result for general DOFDEs.
Theorem 3.2
Assume that
-
(D1)
\({G_{1}} \in C({{\mathbb{R}}_{+}} \times {\mathbb{R}}^{n},{ \mathbb{R}}^{n}) \) and \(K \in C({\mathbb{R}_{+}^{2}},{\mathbb{R}}^{n}) \);
-
(D2)
\(K ( {q,_{0}^{C}D_{t}^{q} u({t})} ) \) is monotone nondecreasing in u for each \(t\in {\mathbb{R}}_{+} \);
-
(D3)
\(\vert {G_{1}} ( {q,_{0}^{C}D_{t}^{q} f} ) \vert \le K ( {q, \vert _{0}^{C}D_{t}^{q} f \vert } ) \) for \(( {q,_{0}^{C}D_{t}^{q} f} ) \in {{\mathbb{R}}_{+}} \times {{\mathbb{R}}^{n}} \);
-
(D4)
\(\vert _{0}^{C}D_{t}^{q} f(t) \vert \leq {{}_{0}^{C}D_{t}^{q} u(t)} \) and \(\vert {{}_{0}^{C}D_{t}^{{\alpha _{i}}}f(t)} \vert \le {}_{0}^{C}D_{t}^{{ \alpha _{i}}}u(t) \) for \(i=1,2,\ldots,r \).
Then the following DOFDE
has a solution \(u(t) \) which exists for every \(t\geq 0 \), where \({\kappa '_{0}}\leq \vert {{\kappa }_{0}} \vert \) and \(\vert {{\kappa }_{i}} \vert \leq {\kappa '_{i}} \) for \(i=1,2,\ldots,r \). Also, then for every \(x(t)\in {{\mathbb{R}}_{+}} \) such that \(\vert g(t) \vert \leq x(t) \), there exists a solution \(f(t) \) for Eq. (1) which satisfies \(\vert f(t) \vert \leq u(t) \).
Proof
Let \(\mathcal{V} \) be a real space of all continuous functions from \((0,\infty ) \) into \({\mathbb{R}}^{n} \). The topology on \(\mathcal{V} \) being that induced by the family of pseudo-norms \(\{ {\mathcal{V}_{m}}(f)\} _{{m} = 1}^{\infty }\), where \({\mathcal{V}_{m}}(f) = \mathop{\sup }_{0 \le t \le m} \vert {f(t)} \vert \), for \(f \in \mathcal{V} \). Let \(\{{\mathcal{S}_{m}}\} _{m = 1}^{\infty }\) be a set of neighborhoods, where \({\mathcal{S}_{m}} = \{ f \in \mathcal{V}: {\mathcal{V}_{m}}(f) \le 1\} \). Under this topology, \(\mathcal{V} \) is a linear space, locally convex and complete.
Now consider
where \(u(t) \) is a solution of (11). Clearly, in the topology of \(\mathcal{V} \), \(\mathcal{V}_{0} \) is bounded, convex, and closed.
Consider (11) whose fixed point corresponds to a solution of (1). Evidently, in the topology of \(\mathcal{V} \), the map T is compact. Hence, in view of the boundedness of \({\mathcal{V}_{0}} \), the closure of \(T({\mathcal{V}_{0}}) \) is compact.
Considering assumptions \((\mathrm{D1})\)–\((\mathrm{D4}) \) yields
Since \(u(t) \) is a solution of (11), using the definition of \(\mathcal{V}_{0}\) gives \(\vert {Tf(t)} \vert \le u(t) \). Thus, \(T({\mathcal{V}_{0}}) \subset {\mathcal{V}_{0}}\), and from Tychonoff’s fixed point theorem [57], T has a fixed point in \({\mathcal{V}_{0}} \). Therefore, the proof of this theorem is completed. □
Now we are going to prove the uniqueness of the solution for general DOFDEs.
Theorem 3.3
Let \({G_{1}} \in C(\mathbb{R} \times {\mathbb{R}}^{n},{\mathbb{R}}^{n}) \), \(f \in C(\Omega,{\mathbb{R}}^{n}) \). Assume that there exists \(0 < L_{j} < 1 \) \((j=0,1,\ldots,r) \) such that
If \(( \frac{{L_{0}}{(\beta - \alpha )}}{ \vert \kappa _{0} \vert } + \sum_{i = 1}^{r} { \vert \frac{\kappa _{i}}{\kappa _{0}} \vert {L_{i}}} ) < 1 \), then the general DOFDE has a unique solution.
Proof
Let
Then we have
for any \(t \in \Omega \) and \({f}, {f_{1}} \in C(\Omega,{\mathbb{R}}^{n}) \). Therefore,
Since \(( \frac{{L_{0}}{(\beta - \alpha )}}{ \vert \kappa _{0} \vert } + \sum_{i = 1}^{r} { \vert \frac{\kappa _{i}}{\kappa _{0}} \vert {L_{i}}} ) <1 \), then T is a contraction map in \(C(\Omega,{\mathbb{R}}^{n}) \). Consequently, it has a unique fixed point, and therefore the general DOFDE has a unique solution \({f} \in C(\Omega,{\mathbb{R}}^{n}) \). □
4 The methods of solution
4.1 Explanation of the SKCWs method
In this section, without loss of generality we suppose that \(\beta \geq \alpha _{r} \). Now we approximate \({{}_{0}^{C}D{}_{t}^{\beta }}f(t ) \) by the SKCWs as follows:
By applying Eqs. (3) and (9), one can obtain
Now we take the operator \({{}_{0}^{C}D{}_{t}^{q}} \) of Eq. (12). So, we have
Note that from properties (4) and (5), \({{}_{0}^{C}D{}_{t}^{q}}({t ^{j}}) \) can be determined.
Also, we take the operator \({{}_{0}^{C}D{}_{t}^{\alpha _{i}}}, i=1,2,\ldots, r \), of Eq. (12). Using the obtained results in (1) gives
Using the Gauss–Legendre formula and collocating the obtained equation at
leads to
where \({w_{n}} \) and \({\tau _{n}} \) are weights and nods of Gauss–Legendre quadrature rule [9], respectively. By using the “fsolve” command of Maple 2018, we solve the arising system, and then we determine F̂. Finally, from Eq. (7), an approximate solution for Eqs. (1) and (2) can be obtained.
4.2 Explanation of the SFOJPs method
Now similar to Sect. 4.1, by using SFOJPs, we convert Eqs. (1) and (2) to a system of equations as follows:
where \({t _{m'}} \), \({m'}=0,1,\ldots,N \), are roots of SFOJPs. Also, \({w_{n'}} \) and \({\tau _{n'}} \) are weights and nods of Gauss–Legendre quadrature rule [9], respectively. By the “fsolve” command of Maple 2018, we solve the above system, and then the unknown vector F̃ can be determined. Finally, from Eq. (8), we obtain an approximate solution for Eqs. (1) and (2).
5 Error bounds
5.1 Error bounds for the SKCWs method
In this subsection, we present error bounds for the SKCWs method. To do this, we define
which are inner product and norm on the space \(L_{\omega }^{2} ([0,{t_{f}})) \), respectively.
Now we recall the following theorems from our previous work [47].
Theorem 5.1
Let \(f(t)\in L_{\omega }^{2} ([0,{t_{f}}))\) with \(\vert {f''(t)} \vert \le \mathfrak{L}\). The Eq. (7) converges uniformly to \(f(t)\) and the coefficients in (6) explicitly satisfy
Theorem 5.2
Let \(f(t)\in L_{\omega }^{2} ([0,{t_{f}})) \). Then we have
Theorem 5.3
Let \({}_{0}^{C}D_{t}^{\alpha _{l}} f(t) \in L_{\omega }^{2} ([0,{t_{f}})) \) and \(\vert {}_{0}^{C}D_{t}^{\alpha _{l} +2} f(t) \vert \leq \mathfrak{L}_{l}\) for \(l=1,2,\ldots, r \). Then we have
5.2 Error bounds for the SFOJPs method
Here, we discuss error bounds for the SFOJPs method. To do this, first, we define the following inner product and norm on the weighted space \(L_{w_{t_{f}}^{(\lambda,\theta,\vartheta )}}^{2} ([0,{t_{f}}]) \):
Let
be the fractional-polynomial space of finite dimension.
Theorem 5.4
Let \({}_{0}^{C}D_{t}^{j \lambda } f(t) \in C([0,{t_{f}}])\), for \(j=0,1,\ldots,N\). If \({f_{N}}(t)\) is the best approximation to \(f(t)\) from \({{\Lambda }_{N}}\), then
where \(\mathcal{L} \ge \vert {{}_{0}^{C}D_{t}^{(N + 1)\lambda }f(t)} \vert \), for \(t \in [0,{t_{f}}]\).
Proof
Since \({f_{N}}(t)\) is the best approximation to \(f(t)\) from \({{\Lambda }_{N}}\), defined in (13), we have
Considering the generalized Taylors formula \(u(t) = \sum_{j = 0}^{N} { \frac{{{t^{j\lambda }}}}{{\Gamma (j\lambda + 1)}} ( {}_{0}^{C}D_{t}^{j \lambda }u ) ({0^{+} })}\) yields
Taking \({L_{w_{t_{f}}^{(\lambda,\theta,\vartheta )}}^{2}}\)-norm in both sides of inequality (15) leads to
Let \(z = t_{f}^{\lambda }- {t^{\lambda }} \). Then we obtain
Now setting \(s = \frac{z}{{t_{f}^{\lambda }}} \) gives
By substituting the above relation into (17) and from (16), we can write
By taking the square root of (19), we obtain inequality (14). □
Theorem 5.5
Let \(_{0}^{C}D_{t}^{j \lambda + \alpha _{l}} f(t) \in C([0,{t_{f}}])\). If \({ ( {{}_{0}^{C}D_{t}^{\alpha _{l}} f} )}_{N} (t)\) is the best approximation to \({{}_{0}^{C}D_{t}^{\alpha _{l}} f}(t)\) from \({{\Lambda }_{N}}\), then
where \({\mathcal{L}_{l} } \ge \vert {{}_{0}^{C}D_{t}^{(N + 1)\lambda + { \alpha _{l}} }f(t)} \vert \), for \(l=1,2,\ldots,r\) and \(t \in [0,{t_{f}}]\).
Proof
Since \({{ ( {{}_{0}^{C}D_{t}^{{\alpha _{l}}}f} )}_{N}}(t)\) is the best approximation to \({{{{}_{0}^{C}D_{t}^{{\alpha _{l}}}} }}f(t)\) from \({{\Lambda }_{N}}\), we have
Considering the generalized Taylor formula \({}_{0}^{C}D_{t}^{{\alpha _{l}}}u(t) = \sum_{j = 0}^{N} { \frac{{{t^{j\lambda }}}}{{\Gamma (j\lambda + 1)}} ( {}_{0}^{C}D_{t}^{j \lambda + {\alpha _{l}}}u ) ({0^{+} })}\) yields
Taking \({L_{w_{t_{f}}^{(\lambda,\theta,\vartheta )}}^{2}}\)-norm in both sides of inequality (21) leads to
From (17), (18), and (22), we can write
Now we take the square root of both sides of (23), and therefore inequality (20) can be obtained. □
Theorem 5.6
Let \({}_{0}^{C}D_{t}^{j \lambda } f(t)\), \({}_{0}^{C}D_{t}^{j \lambda + q} f(t)\), \({}_{0}^{C}D_{t}^{j \lambda + \alpha _{l}} f(t) \in C([0,{t_{f}}]) \). Suppose that \(\vert {}_{0}^{C}D_{t}^{j \lambda } f(t) \vert \leq \mathcal{L}\), \(\vert {}_{0}^{C}D_{t}^{j \lambda + q} f(t) \vert \leq \mathcal{L}_{q}\), \(\vert {}_{0}^{C}D_{t}^{j \lambda + \alpha _{l} } f(t) \vert \leq \mathcal{L}_{l}\), for \(l=1,2,\ldots,r\). In Eq. (1), let \(G_{1} \) be Lipschitz with the constant μ. Therefore, the error bound of the SFOJPs method for the modified equation is
where \(\kappa = \mathop{\max }_{j = 0, \ldots,r} \{ { \kappa _{j}} \} \) and \(\rho = \mathop{\max }_{l = 1, \ldots,r} \{ \mathcal{L},{\mathcal{L}_{q}},{\mathcal{L}_{l}} \} \).
Proof
Since \(G_{1} \) is Lipschitz with the constant μ, we can write
By using Theorems 5.4 and 5.5, we obtain
Let
Therefore, we get
□
6 Illustrative examples
In this section, we present five problems which are tested by Maple 2018. Also, we obtain the absolute errors by
Note that, in all tables, m̂ denotes the numbers of bases.
Example 6.1
Consider the following nonlinear DOFDE:
with the exact solution \(f(t) = {t^{3}}\sqrt{t} \).
In the above problem, the distributed-order term is discretized with the seven-point Gauss–Legendre quadrature rule. The numerical results at the interval \([0,1)\), obtained by the SKCWs method, are reported in Table 1 by selecting \({\hat{m}} = {2^{k}}M =6,12\). Graphs of the exact and approximate solutions and also absolute errors, obtained by the mentioned method with \(k=2 \), \(M=3 \), are plotted in Fig. 1. This figure and Table 1 illustrate the efficiency and accuracy of the method.
Graphs of the obtained results at the interval \([0,1) \) by the SKCWs method with \(k=2 \), \(M=3 \), for Example 6.1
Example 6.2
Consider the DOFDE in the following form [14, 19, 21, 39]:
with the exact solution \(f(t) = {t^{5}} \).
In the above problem, we discretize the distributed-order term with the eight-point Gauss–Legendre quadrature rule. In Table 2, we report the absolute errors at the interval \([0,1)\) for the SKCWs method by selecting \({\hat{m}} = N+1 = 9,12 \) with \(\lambda =\frac{1}{2}\), \(\theta =\frac{3}{2} \), \(\vartheta =3\); for the SFOJPs method by selecting \({\hat{m}} = {2^{k}}M = 16,20 \); for the hybrid of Legendre polynomials and block-pulse functions (HLBP) method [39] by selecting \({\hat{m}} = NM = 24 \); and for the block-pulse functions (BPFs) method [39] by selecting \({\hat{m}} =N= 32 \). Graphs of the exact and approximate solutions and also absolute errors, obtained by the SKCWs and SFOJPs methods with \(k=1\), \(M=10\), \(N=11\), \(\lambda =\frac{1}{2}\), \(\theta =\frac{3}{2} \), \(\vartheta =3\), are plotted in Fig. 2. This figure and Table 2 show the efficiency and accuracy of the new methods in comparison with the other methods reported in [39].
Graphs of the obtained results at the interval \([0,1) \) by the SKCWs and SFOJPs methods with \(k=1\), \(M=10\), \(N=11\), \(\lambda =\frac{1}{2}\), \(\theta =\frac{3}{2} \), \(\vartheta =3\), for Example 6.2
Example 6.3
Consider the DOFDE in the following form [19–21, 38, 50, 53]:
The above equations describe the motion of the oscillator, where \(\gamma, a, b \) are constants; ω is the eigen frequency of the undamped system; \(g(t) \) is the external forcing function; \(f(t) \) and \(\sigma (t) \) are the displacement and the dissipation force, respectively. In this problem, the forced vibrations of the distributed-order oscillator subjected to the harmonic excitation \(g(t) = {g_{0}} \sin (\Omega t) \) are studied. The solution of this problem is obtained with \(g_{0} = 1 \), \(\Omega = 1.2\omega \), \(\omega = 3 \), and \(\gamma = 1 \). If \(a = b \), the solution is identical to the elastic with \(\omega _{el} = \sqrt{1+\omega ^{2}} = \sqrt{10} \), and the exact solution is
In Table 3, we report the absolute errors at the interval \([0,10)\) for the SFOJPs method by selecting \({\hat{m}} = N+1 =39,49 \) with \(\lambda =\frac{1}{2}\), \(\theta =\vartheta =0\); for the second kind Chebyshev wavelets (SKCWs) method [47] by selecting \({\hat{m}} = N({M} + 1) = 52 \); and for the Müntz–Legendre wavelets (MLWs) method [36] by selecting \({\hat{m}} = N({M} + 1) = 60 \). We emphasize that the results reported in [36, 47] have been compared with the results reported in [19, 38, 39, 53], and it was concluded that the methods in [36, 47] are more accurate than the other methods. Therefore, here, we just compare our method with the methods of [36, 47]. Graphs of the exact and approximate solutions and also absolute errors, obtained by the SKCWs and SFOJPs with \(k=4 \), \(M=5 \), \(N=49 \), \(\lambda =\frac{1}{2}\), \(\theta =\vartheta =0\), are plotted in Fig. 3. This figure and Table 3 show the efficiency and accuracy of the SFOJPs method in comparison with the methods reported in [36, 47].
Graphs of the obtained results at the interval \([0,10) \) by the SKCWs and SFOJPs methods with \(k=4 \), \(M=5 \), \(N=49 \), \(\lambda =\frac{1}{2}\), \(\theta =\vartheta =0\), for Example 6.3
Example 6.4
Consider the following distributed-order fractional relaxation equation [18, 31, 50]:
with the exact solution [31]
in the Laplace domain, where
In the above problem, we discretize the distributed-order term with the three-point Gauss–Legendre quadrature rule. In Table 4, we report the absolute errors at the interval \([0,10) \) for the SFOJPs method by selecting \({\hat{m}} = N+1 = 4,9 \) with \(\lambda =\frac{1}{2}\), \(\theta =\frac{3}{2} \), \(\vartheta =3\); and for the Müntz–Legendre wavelets (MLWs) method [36] with \({\hat{m}} = {2^{k-1}}M = 16,32 \). Figure 4 shows that by using 8 number of SFOJPs the obtained results are better than the results of [50] that obtained by using 1000 BPFs for solving this problem.
Graphs of the obtained results at the interval \([0,10) \) by the SFOJPs method with \(N=8 \), \(\lambda =\frac{1}{2}\), \(\theta =\frac{3}{2} \), \(\vartheta =3\), for Example 6.4
Example 6.5
Consider the following Bagley–Torvik equation [7, 8], where the damping term is expressed in terms of distributed-order derivatives [46]:
This equation is called fractional oscillator equation, when the order of damping term is constant.
In the above problem, the distributed-order term is discretized with the three-point Gauss–Legendre quadrature rule. The graph of the approximate solution at the interval \([0,30) \) is plotted in Fig. 5 by using the SKCWs method with \(k=5 \), \(M=3 \), \(a=b=c=1 \). This figure has a good agreement with Fig. 8, reported in [46].
The approximate solution at the interval \([0,30) \) by the SKCWs method with \(k=5 \), \(M=3 \), for Example 6.5
7 Conclusion
In this research paper, based on Schauder’s and Tychonoff’s fixed point theorems, sufficient conditions for the local and global existence of solutions were provided for general DOFDEs. Also, sufficient conditions were provided for the uniqueness of the solutions. Furthermore, we proposed new methods to solve DOFDEs of the general form in the time domain. By using these methods, the mentioned equations were reduced to systems of algebraic equations. We solved these systems by using the “fsolve” command of Maple 2018. The error bounds of the methods have been discussed. In addition, the presented methods were implemented for two test problems and some famous distributed-order models, such as the model that describes the motion of the oscillator, the distributed-order fractional relaxation equation, and the Bagley–Torvik equation. It showed that by applying the SKCWs and SFOJPs methods, the obtained results are better than the other existing methods. We deduce that the proposed methods are efficient numerical tools for solving DOFDEs.
Availability of data and materials
Not applicable.
References
Ali, K.K., Abd El Salam, M.A., Mohamed, E.M.H., Samet, B., Kumar, S., Osman, M.S.: Numerical solution for generalized nonlinear fractional integro-differential equations with linear functional arguments using Chebyshev series. Adv. Differ. Equ. 2020, 494 (2020). https://doi.org/10.1186/s13662-020-02951-z
Ali, K.K., Osman, M.S., Baskonus, H.M., Elazabb, N.S., İlhan, E.: Analytical and numerical study of the HIV-1 infection of CD4+T-cells conformable fractional mathematical model that causes acquired immunodeficiency syndrome with the effect of antiviral drug therapy. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.7022
Arqub, O.A., Osman, M.S., Abdel-Ayat, A., Mohamed, A.A., Momani, S.: A numerical algorithm for the solutions of ABC singular Lane–Emden type models arising in astrophysics using reproducing kernel discretization method. Mathematics 8(6), 923 (2020). https://doi.org/10.3390/math8060923
Atanacković, T.M.: A generalized model for the uniaxial isothermal deformation of a viscoelastic body. Acta Mech. 159, 77–86 (2002)
Atanacković, T.M., Oparnica, L., Pilipović, S.: On a nonlinear distributed order fractional differential equation. J. Math. Anal. Appl. 328, 590–608 (2007)
Bagley, R.L., Torvik, P.J.: Fractional calculus in the transient analysis of viscoelastically damped structures. AIAA J. 23, 918–925 (1985)
Bagley, R.L., Torvik, P.J.: On the existence of the order domain and the solution of distributed order equations-part I. Int. J. Appl. Math. 2, 865–882 (2000)
Bagley, R.L., Torvik, P.J.: On the existence of the order domain and the solution of distributed order equations-part II. Int. J. Appl. Math. 2, 965–988 (2000)
Canuto, C., Hussaini, M.Y., Quarteroni, A., Zang, T.A.: Spectral Methods: Fundamentals in Single Domains. Springer, New York (2006)
Caputo, M.: Mean-fractional-order-derivative differential equation and filters. Ann. Univ. Ferrara 41, 73–84 (1995)
Chechkin, A.V., Gorenflo, R., Sokolov, I.M., Gonchar, V.Y.: Distributed order time fractional diffusion equation. Fract. Calc. Appl. Anal. 6, 259–279 (2003)
Conway, J.B.: A Course in Functional Analysis. Springer, Berlin (2007)
Cuahutenango-Barro, B., Taneco-Hernández, M.A., Lv, Y.P., Gómez-Aguilar, J.F., Osman, M.S., Jahanshahi, H., Aly, A.A.: Analytical solutions of fractional wave equation with memory effect using the fractional derivative with exponential kernel. Results Phys. 25, 104148 (2021). https://doi.org/10.1016/j.rinp.2021.104148
Diethelm, K., Ford, N.J.: Numerical analysis for distributed-order differential equation. J. Comput. Appl. Math. 225(1), 96–104 (2009)
Djennadi, S., Shawagfeh, N., Inc, M., Osman, M.S., Gómez-Aguilar, J.F., Arqub, O.A.: The Tikhonov regularization method for the inverse source problem of time fractional heat equation in the view of ABC-fractional technique. Phys. Scr. 96(9), 094006 (2021). https://doi.org/10.1088/1402-4896/ac0867
Gorenflo, R., Mainardi, F., Scalas, E., Raberto, M.: Fractional calculus and continuous-time finance III: the diffusion limit. In: Mathematical Finance, pp. 171–180. Springer, Berlin (2001)
Höfling, F., Franosch, T.: Anomalous transport in the crowded world of biological cells. Rep. Prog. Phys. 76(4), 046602 (2013)
Jiao, Z., Chen, Y.Q., Podlubny, I.: Distributed Order Dynamic System Stability. Simulation and Perspective. Springer, London (2012)
Jibenja, N., Yuttanan, B., Razzaghi, M.: An efficient method for numerical solutions of distributed order fractional differential equations. J. Comput. Nonlinear Dyn. 13, 1–11 (2018)
Katsikadelis, J.T.: Fractional distributed order oscillator: a numerical solution. J. Serb. Soc. Comput. Mech. 6, 148–159 (2012)
Katsikadelis, J.T.: Numerical solution of distributed order fractional differential equations. J. Comput. Phys. 259, 11–22 (2014)
Kayedi-Bardeh, A., Eslahchi, M.R., Dehghan, M.: A method for obtaining the operational matrix of fractional Jacobi functions and applications. J. Vib. Control 20(5), 736–748 (2014)
Kılıçman, A., Al Zhour, Z.A.A.: Kronecker operational matrices for fractional calculus and some applications. Appl. Math. Comput. 187(1), 250–265 (2007)
Kochubei, A.N.: Distributed order calculus and equations of ultraslow diffusion (2007). arXiv preprint math-ph/0703046
Kumar, S., Kumar, R., Osman, M.S., Samet, B.: A wavelet based numerical scheme for fractional order SEIR epidemic of measles by using Genocchi polynomials. Numer. Methods Partial Differ. Equ. 37(2), 1250–1268 (2021). https://doi.org/10.1002/num.22577
Kumar, Y., Singh, S., Srivastava, N., Singh, A., Singh, V.K.: Wavelet approximation scheme for distributed order fractional differential equations. Comput. Math. Appl. 80, 1985–2017 (2020)
Li, Y., Sheng, H., Chen, Y.Q.: On distributed order integrator/differentiator. Signal Process. 91, 1079–1084 (2011)
Liang, Y., Chen, W., Xu, W., Sun, H.: Distributed order Hausdorff derivative diffusion model to characterize non-Fickian diffusion in porous media. Commun. Nonlinear Sci. Numer. Simul. 70, 384–393 (2019)
Liu, D.Y., Tian, Y., Boutat, D., Laleg-Kirati, T.M.: An algebraic fractional order differentiator for a class of signals satisfying a linear differential equation. Signal Process. 116, 78–90 (2015)
Magin, R.L.: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586–1593 (2010)
Mainardi, F., Mura, A., Gorenflo, R., Stojanovic, M.: The two form of fractional relaxation of distributed order. J. Vib. Control 13, 1249–1268 (2007)
Mainardi, F., Raberto, M., Gorenflo, R., Scalas, E.: Fractional calculus and continuous-time finance II: the waiting-time distribution. Phys. A, Stat. Mech. Appl. 287, 468–481 (2000)
Maleknejad, K., Rashidinia, J., Eftekhari, T.: Numerical solution of three-dimensional Volterra–Fredholm integral equations of the first and second kinds based on Bernstein’s approximation. Appl. Math. Comput. 339, 272–285 (2018). https://doi.org/10.1016/j.amc.2018.07.021
Maleknejad, K., Rashidinia, J., Eftekhari, T.: Existence, uniqueness, and numerical analysis of solutions for some classes of two-dimensional nonlinear fractional integral equations in a Banach space. Comput. Appl. Math. 39(4), 1–22 (2020). https://doi.org/10.1007/s40314-020-01322-4
Maleknejad, K., Rashidinia, J., Eftekhari, T.: Operational matrices based on hybrid functions for solving general nonlinear two-dimensional fractional integro-differential equations. Comput. Appl. Math. 39(2), 1–34 (2020). https://doi.org/10.1007/s40314-020-1126-8
Maleknejad, K., Rashidinia, J., Eftekhari, T.: Numerical solutions of distributed order fractional differential equations in the time domain using the Müntz–Legendre wavelets approach. Numer. Methods Partial Differ. Equ. 37(1), 707–731 (2021). https://doi.org/10.1002/num.22548
Maleknejad, K., Rashidinia, J., Eftekhari, T.: A new and efficient numerical method based on shifted fractional-order Jacobi operational matrices for solving some classes of two-dimensional nonlinear fractional integral equations. Numer. Methods Partial Differ. Equ. 37, 2687–2713 (2021). https://doi.org/10.1002/num.22762
Mashayekhi, S., Razzaghi, M.: Numerical solution of distributed order fractional differential equations by hybrid functions. J. Comput. Phys. 315, 169–181 (2016)
Mashoof, M., Refahi Shekhani, A.H.: Simulating the solution of the distributed order fractional differential equations by block-pulse wavelets. UPB Sci. Bull., Ser. A, Appl. Math. Phys. 79, 193–206 (2017)
Meerschaert, M.M., Nane, E., Vellaisamy, P.: Distributed-order fractional diffusions on bounded domains. J. Math. Anal. Appl. 379, 216–228 (2011)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Naber, M.: Distributed order fractional sub-diffusion. Fractals 12, 23–32 (2014)
Nisar, K.S., Ciancio, A., Ali, K.K., Osman, M.S., Cattani, C., Baleanu, D., Zafar, A., Raheel, M., Azeem, M.: On beta-time fractional biological population model with abundant solitary wave structures. Alex. Eng. J. (2021). https://doi.org/10.1016/j.aej.2021.06.106
Oldham, K.B.: Fractional differential equations in electrochemistry. Adv. Eng. Softw. 41, 9–12 (2010)
Park, C., Nuruddeen, R.I., Ali, K.K., Muhammad, L., Osman, M.S.: Dumitru Baleanu, novel hyperbolic and exponential ansatz methods to the fractional fifth-order Korteweg-de Vries equations. Adv. Differ. Equ. 2020, 627 (2020). https://doi.org/10.1186/s13662-020-03087-w
Podlubny, I., Skovranek, T., Vinagre Jara, B.M., Petras, I., Verbitsky, V., Chen, Y.Q.: Matrix approach to discrete fractional calculus-III: non-equidistant grids, variable step length and distributed orders. Philos. Trans. R. Soc. Lond. A 371, 20120153 (2013)
Rashidinia, J., Eftekhari, T., Maleknejad, K.: A novel operational vector for solving the general form of distributed order fractional differential equations in the time domain based on the second kind Chebyshev wavelets. Numer. Algorithms (2021). https://doi.org/10.1007/s11075-021-01088-8
Rashidinia, J., Maleknejad, K., Eftekhari, T.: Numerical solutions of two-dimensional nonlinear fractional Volterra and Fredholm integral equations using shifted Jacobi operational matrices via collocation method. J. King Saud Univ., Sci. 33(1), 1–11 (2021). https://doi.org/10.1016/j.jksus.2020.101244
Sun, H.G., Li, Z., Zhang, Y., Chen, W.: Fractional and fractal derivative models for transient anomalous diffusion: model comparison. Chaos Solitons Fractals 102, 346–353 (2017)
Trung Duong, P.L., Kwok, E., Lee, M.: Deterministic analysis of distributed order systems using operational matrix. Appl. Math. Model. 40, 1929–1940 (2016)
Wang, Y., Fan, Q.: The second kind Chebyshev wavelet method for solving fractional differential equations. Appl. Math. Comput. 218, 8592–8601 (2012)
Ye, H., Liu, F., Anh, V., Turner, I.: Numerical analysis for the time distributed-order and Riesz space fractional diffusions on bounded domains. IMA J. Appl. Math. 80, 825–838 (2013)
Yuttanan, B., Razzaghi, M.: Legendre wavelets approach for numerical solutions of distributed order fractional differential equations. Appl. Math. Model. (2019). https://doi.org/10.1016/j.apm.2019.01.013
Zaky, M.A.: A Legendre collocation method for distributed-order fractional optimal control problems. Nonlinear Dyn. 91, 2667–2681 (2018)
Zaky, M.A., Tenreiro Machado, J.A.: On the formulation and numerical simulation of distributed order fractional optimal control. Commun. Nonlinear Sci. Numer. Simul. 52, 177–189 (2017)
Zaky, M.A., Tenreiro Machado, J.A.: On the formulation and numerical simulation of distributed-order fractional optimal control problems. Commun. Nonlinear Sci. Numer. Simul. 52, 177–189 (2017)
Zeidler, E.: Applied Functional Analysis: Applications to Mathematical Physics. Applied Mathematical Sciences, vol. 108. Springer, New York (1995)
Acknowledgements
Not applicable.
Authors’ information
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors have contributed equally to this manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
The authors confirm that the work described has not been published before and that its publication has been approved by all co-authors.
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
Eftekhari, T., Rashidinia, J. & Maleknejad, K. Existence, uniqueness, and approximate solutions for the general nonlinear distributed-order fractional differential equations in a Banach space. Adv Differ Equ 2021, 461 (2021). https://doi.org/10.1186/s13662-021-03617-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03617-0
MSC
- 65R20
- 41A50
- 41A55
Keywords
- Distributed-order fractional derivative
- Fixed point theorem
- Operational matrices
- The second kind Chebyshev wavelets
- Shifted fractional-order Jacobi polynomials
- Error bounds