Abstract
In this paper, by applying fractional quantum calculus, we study a nonlinear Duffing-type equation with three sequential fractional q-derivatives. We prove the existence and uniqueness results by using standard fixed-point theorems (Banach and Schaefer fixed-point theorems). We also discuss the Ulam–Hyers and the Ulam–Hyers–Rassias stabilities of the mentioned Duffing problem. Finally, we present an illustrative example and nice application; a Duffing-type oscillator equation with regard to our outcomes.
Similar content being viewed by others
1 Introduction
It is known that the difference equations involving quantum calculus play an important role in modeling many problems in engineering, physics, and mathematics, to obtain further information the reader can address the following works [1–3]. In recent years, differential equations with fractional quantum calculus have been extensively studied by several scientific researchers, see, for instance, [4–8]. In this sense, several interesting topics concerning research for differential equations involving fractional quantum calculus are devoted to the existence and Ulam–Hyers stability of the solutions [9]. Recently, many interesting results concerning the existence and Ulam-type stability of solutions for differential equations with fractional q-calculus were obtained, see [10–16] and the references therein. In [17–19], the existence and uniqueness of solutions were investigated for sequential differential equations with q-fractional calculus.
We have already seen that chaotic behavior can emerge in a system as simple as a logistic map. In that case the “route to chaos” is called period doubling. In practice, one would like to understand the route to chaos in systems described by partial differential equations, such as flow in a randomly stirred fluid. This is, however, very complicated and difficult to treat either analytically or numerically. Here, we consider an intermediate situation where the dynamics is described by a single ordinary differential equation, called the Duffing equation. The Duffing equation is considered with an important type of differential problem that has many applications in chaotic phenomena, for more details, we refer to the articles [20–25]. The classical form of the Duffing problem \((\mathrm{D}\mathbb{P})\) [20], can be displayed by
under initial values \(\mathrm{w} ( 0 ) = d_{1}\), \(\mathrm{D}^{1} \mathrm{w} ( 0 ) = d_{2}\), \(d_{1},d_{2}\in \mathbb{R}\), where φ and g are given continuous functions. Recently, the fractional-type Duffing equation \(( \mathrm{D}\mathbb{E})\) [26] of the form
with initial values \(\mathrm{w} ( 0 ) =d_{1}\), \(\mathrm{D}^{\zeta} \mathrm{w} (0 ) = d_{2}\), \(d_{1},d_{2}\in \mathbb{R}^{\ast}\), for \(\delta >0\), \(1< \varsigma <2\), \(0<\zeta <1, a,b,c,\varrho >0\), where \({}^{\mathrm{C} } \mathrm{D}^{\varkappa }\), \(\varkappa \in \{ \varsigma ,\zeta \}\) is the Caputo fractional derivative, has received considerable interest among scientific researchers, see [27–30] and references therein. In [25], the authors studied the existence and the uniqueness of solutions for sequential \(\mathbb{F}\mathrm{D}\mathbb{P}\) with Caputo-type fractional derivatives of different orders:
for \(0\leq \mu <\epsilon \leq 1\), \(0\leq \varsigma \), \(\zeta \leq 1\), \(1 < \epsilon +\zeta \leq 2\), \(1< \zeta +\varsigma \leq 2\), where \({}^{\mathrm{C} }\mathrm{D}^{\varkappa }, \varkappa \in \{ \varsigma , \zeta ,\varepsilon \} \) is the derivative in the sense of Caputo and \({}_{\mathrm{R.L} }\mathrm{I}^{\eta }\) is the Riemann–Liouville integral of order \(\eta \geq 0\), φ, ψ, g, and h are given continuous functions. Also, the authors discussed the fractional order \(\mathrm{D}\mathbb{P}\) of the form
via initial values \(\mathrm{w} ( \tau _{\circ } ) = \mathrm{w}_{0}\), \(\mathrm{D}^{1} \mathrm{w} ( \tau _{\circ } ) = \mathrm{w}_{1}\), where \({}^{\mathrm{C} }\mathrm{D}^{\varkappa}\) is the Caputo fractional derivative of order \(\varkappa \in \{ \varsigma , \zeta \}\), \(1< \varsigma <2\), \(0<\zeta <1\), and \(\tau _{\circ}\) is an initial value in Ω [29]. Riaz and Zada studied coupled \(\mathbb{FDE}\)s with the help of a Laplace-transform method
where \(\alpha _{i} \in \mathbb{R}\), \(p-1< \theta _{i} < p\), \(q-1< \vartheta _{i}\leq q\), \(p, q \in \mathbb{Z}^{+}\), \(q \leq p\), \(0 < {}_{1}\lambda _{i}\), \({}_{2}\lambda _{i}\leq 1\), \(\digamma _{i} : \Omega \times \mathbb{R}^{2} \to \mathbb{R} \), and \({}_{i}\mathrm{w}_{\kappa}^{\ast }\in \mathbb{R}\), \(i=1,2\) [31]. They studied the following class of implicit \(\mathbb{FDE}\) with implicit integral boundary condition:
for \(\tau \in [0, \ddot{\tau}]\), \(\ddot{\tau}>0\), where the notation \({}^{\mathrm{C} }\mathrm{D}^{\varsigma }\) is used for the Caputo fractional derivative of order \(0 < \varsigma \leq 1\), \(g, \mathfrak{g}, \digamma : [0, \ddot{\tau}] \times \mathbb{R}^{2} \to \mathbb{R}\), δ, σ are real constants greater than zero [32]. Guo et al. investigated the existence, uniqueness, and at least one solution of the coupled system of \(\mathbb{FDE}\)s in the sense of Hadamard derivatives:
for \(1\leq \tau \leq \ddot{\tau}\) under the generalized Hadamard fractional integrodifferential boundary conditions [33].
In this work, we discuss the existence, uniqueness, and Ulam–Hyers and Ulam–Hyers–Rassias stability (\(\mathrm{UH}\mathbb{S}\) & \(\mathrm{UHR}\mathbb{S}\)) of solutions for a sequential fractional Duffing q-differential equation \((\mathbb{F}\mathrm{D}q-\mathbb{DE})\) involving Riemann–Liouville-type and Caputo-type fractional q-derivatives given by
for \(0< \theta , \vartheta , \lambda , \mu , \gamma , q<1\), \(\eta \geq 0\), \(\beta , \alpha _{i} \in \mathbb{R}\), with \(\beta \neq \sum_{i=1}^{2} \alpha _{i}\), where \({}^{\mathrm{R.L} }\mathrm{D}_{ q}^{\theta}\) and \({}^{\mathrm{C} }\mathrm{D}_{ q}^{\upsilon}\), \(\upsilon \in \{ \vartheta ,\lambda \}\) are the Riemann–Liouville and Caputo fractional q-derivatives, respectively, \({}_{\mathrm{R.L} }\mathrm{I}_{ q}^{\eta}\) is the fractional q-derivative of the Riemann–Liouville type, \(\varphi : \Omega \to \mathbb{R}\), and \(g,h : \Omega \times \mathbb{R}^{2} \to \mathbb{R}\) are given continuous functions.
In Sect. 2, we recall some essential definitions of fractional quantum calculus. Sections 3 and 4 contain our main results about the existence, uniqueness, \(\mathrm{UH}\mathbb{S}\), and Ulam–Hyers–Rassias stability \(\mathrm{UHR}\mathbb{S}\) of the \(\mathbb{F}\mathrm{D}q-\mathbb{DE}\) (1), respectively. An application and illustrative example with some needed algorithms for the problem are given in Sect. 5. In Sect. 6, some conclusions are presented.
2 Fractional quantum calculus
We consider the fractional q-calculus on the specific time scale \(\mathbb{T}_{\tau _{0}} = \{0 \} \cup \{ \tau : \tau =\tau _{0}q^{n} \}\), for \(n \in \mathbb{N}\), \(\tau _{0} \in \mathbb{R}\), \(0 < q <1\), and in short we shall denote \(\mathbb{T}_{\tau _{0}}\) by \(\mathbb{T}\). Let \(\kappa \in \mathbb{R}\). Define \({}[ \kappa ]_{q} = \frac{1-q^{\kappa }}{ 1 -q}\) and the q-factorial function \((\tau _{1}-q\tau _{2})^{(n)}\) by
where \(\kappa _{1}, \kappa _{2} \in \mathbb{R}\) [34, 35]. In particular, \(\kappa _{1} =1\), \(\kappa _{2} = q\), we obtain
Algorithm 1 in [36] shows MATLAB lines to obtain the q-gamma function. Also, in [37], one can find that
Obviously, if \(\tau _{2}=0\), then \((\tau _{1} )^{(\sigma )}= \tau _{1}^{\sigma}\). The q-Gamma function is expressed by \(\Gamma _{q} ( \kappa ) = \frac{ ( 1-q )^{ ( \kappa -1 ) }}{ ( 1-q )^{\kappa -1}}\), for \(\kappa \in \mathbb{R} \setminus \{\cdots , -2, -1, 0\}\), and satisfies \(\Gamma _{q} ( \kappa +1 ) = [\kappa ]_{q}\Gamma _{q} ( \kappa )\) [34, 37]. The operator \({}^{\mathrm{R.L} }\mathrm{D}_{ q}^{\theta}\) is the fractional q-derivative of Riemann–Liouville type [38, 39], defined by
where \([\theta ] \) is the smallest integer greater than or equal to θ. The fractional q-derivative of the Caputo type of order υ is given by
while the fractional q-integral of Riemann–Liouville type [38, 39] is defined by
We recall the following lemmas [38, 39].
Lemma 2.1
Let \(\kappa , \rho \geq 0\) and z be a function defined in \([0,1]\). Then,
Lemma 2.2
Suppose that \(\kappa >0\), and ϵ is a positive integer. Then, we have
Lemma 2.3
Let \(\kappa \in \mathbb{R}^{+}\backslash \mathbb{N}\). Then, the following equality is valid
such that n is the smallest integer greater than or equal to κ.
In discrete fractional q-calculus, the fractional Riemann–Liouville-type q-integral of the function w is obtained by [36]
By using [36, Algorithm 2], one can calculate this type of q-integral.
Lemma 2.4
For \(\kappa \in \mathbb{R}_{+}\) and \(\rho >-1\), we have \({}_{\mathrm{R.L} }\mathrm{I}_{ q}^{\kappa } [ \tau ^{ ( \rho ) } ] = \frac{\Gamma _{q} ( \rho +1 ) }{\Gamma _{q} ( \kappa +\rho +1 ) } \tau ^{ ( \kappa + \rho )}\). If \(\rho =0\), we can obtain \({}_{\mathrm{R.L} }\mathrm{I}_{ q}^{\kappa } [ 1] = \frac{1}{\Gamma _{q} ( \kappa +1 ) } \tau ^{ ( \kappa )}\).
In order to study the problem (1), we need the following space \(B = \{ \mathrm{w} : \mathrm{w} \& {}^{\mathrm{C} } \mathrm{D}_{ q}^{\mu} \mathrm{w} \in C ( \Omega ) \}\), endowed with the norm
Then, it is well known that \(( B, \Vert . \Vert _{B} )\) is a Banach space. Now, we consider the Ulam-stability type for the sequential \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1).
Definition 2.5
The \(\mathbb{F}\mathrm{D}q-\mathbb{DE}\) (1) is stable in the
-
UH sense if there exists a real number \(\Sigma _{g^{\ast}, h^{\ast}} >0\) such that for each \(\omega >0\) and for each solution ẃ of the inequality
$$ \bigl\vert {}^{\mathrm{R.L} }\mathrm{D}_{ q}^{\theta} \bigl[ {}^{ \mathrm{C} }\mathrm{D}_{ q}^{\vartheta} \bigl[ {}^{\mathrm{C} } \mathrm{D}_{ q}^{\lambda } \acute{\mathrm{w}} ( \tau ) \bigr] \bigr] - \bigl[ \varphi ( \tau ) - \delta g_{ \acute{\mathrm{w}}}^{\ast } ( \tau ) - h_{ \acute{\mathrm{w}}}^{\ast} ( \tau ) \bigr] \bigr\vert \leq \omega ,\quad \tau \in \Omega , $$(3)there exists a solution w of the \(\mathbb{F}\mathrm{D}q-\mathbb{DE}\) (1) with \(\Vert \acute{\mathrm{w}} - \mathrm{w} \Vert _{B}\leq \Sigma _{g^{\ast}, h^{\ast}} \omega \), where \(g_{\acute{\mathrm{w}}}^{\ast} ( \tau ) = g ( \tau , \acute{\mathrm{w}} ( \tau ), {}^{\mathrm{C} }\mathrm{D}_{ q}^{\mu} \acute{\mathrm{w}} ( \tau ) )\) and \(h_{\acute{\mathrm{w}}}^{\ast} ( \tau ) = h ( \tau , \acute{\mathrm{w}} ( \tau ), {}_{\mathrm{R.L} }\mathrm{I}_{ q}^{ \eta} \acute{\mathrm{w}}( \tau ) )\);
-
UHR sense with respect to \(\mathrm{p}\in C ( \Omega , \mathbb{R}_{+} ) \) if there exists a real number \(\Sigma _{g^{\ast },h^{\ast }}> 0\) such that for each \(\omega >0\) and for each solution ẃ of the inequality
$$ \bigl\vert {}^{\mathrm{R.L} }\mathrm{D}_{ q}^{\theta} \bigl[ {}^{ \mathrm{C} }\mathrm{D}_{ q}^{\vartheta} \bigl[ {}^{\mathrm{C} } \mathrm{D}_{ q}^{\lambda} \acute{\mathrm{w}} ( \tau ) \bigr] \bigr] - \bigl[ \varphi ( \tau ) -\delta g_{ \acute{\mathrm{w}}}^{\ast } ( \tau ) - h_{ \acute{\mathrm{w}}}^{\ast} ( \tau ) \bigr] \bigr\vert \leq \Sigma _{g^{\ast}, h^{\ast}} \omega \mathrm{p} ( \tau ), $$(4)for \(\tau \in \Omega \), there exists a solution w of the \(\mathbb{F}\mathrm{D}q-\mathbb{DE}\) (1) with
$$ \Vert \acute{\mathrm{w}} -\mathrm{w} \Vert _{B} \leq \Sigma _{ g^{ \ast}, h^{\ast }} \omega \mathrm{p}( \tau ). $$
Remark 2.1
A function \(\acute{\mathrm{w}}\in C ( \Omega ) \) is a solution of the inequality (3) iff there exists a function \(\mathrm{p}: \Omega \to \mathbb{R}\) (which depends on ẃ) such that \(\vert \mathrm{p} ( \tau ) \vert \leq \omega \), for each \(\tau \in \Omega \), and
3 Existence of solution for \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\)
In this section, we prove the existence and uniqueness of a solution of problem (1). First, we state the following key lemma.
Lemma 3.1
Suppose that \(\mathrm{v} \in C ( \Omega )\). Then, the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\)
for \(0<\theta ,\vartheta ,\lambda , q<1 \), admits the following solution
such that \(\beta \neq \alpha _{1}+\alpha _{2}\).
Proof
Using Lemma 2.2, we can write
Next, applying Lemma 2.3, we obtain
Now, applying the operator \({}_{\mathrm{R.L} }\mathrm{I}_{ q}^{\lambda }\) to both sides of equation (8), we obtain
here \(b_{i} \in \mathbb{R}\), \(i=1,2,3\). By using the boundary conditions \(\mathrm{w} ( 0 ) =0\) and \([{}^{\mathrm{C} }\mathrm{D}_{ q}^{\vartheta } [ {}^{ \mathrm{C} }\mathrm{D}_{ q}^{\lambda } \mathrm{w} ( 1 ) ] ] =0\), we obtain
Now, by applying conditions (3) and (10), we have
Hence, we obtain Eq. (6). □
Using Lemma 3.1, we introduce an operator \(\mathcal{Z} : B \to B\) as follows
Before stating and proving the main results, we impose the following hypotheses:
- \((H_{1})\):
-
The functions g and h are continuous over \(\Omega \times \mathbb{R}^{2}\) and φ is continuous over Ω.
- \((H_{2})\):
-
There exist constant \(\varpi _{i}>0\) such that for all \(\tau \in \Omega \) and \(\mathrm{w}_{i}, \mathrm{v}_{i}\in \mathbb{R}^{2}\), \(i=1,2\), we have
$$ \bigl\vert g ( \tau , \mathrm{w}_{1}, \mathrm{w}_{2} ) -g ( \tau ,\mathrm{v}_{1}, \mathrm{v}_{2} ) \bigr\vert \leq \varpi _{1} \bigl( \vert \mathrm{w}_{1} - \mathrm{v}_{1} \vert + \vert \mathrm{w}_{2} - \mathrm{v}_{2} \vert \bigr) $$(11)and
$$ \bigl\vert h ( \tau ,\mathrm{w}_{1}, \mathrm{w}_{2} ) -h ( \tau , \mathrm{v}_{1}, \mathrm{v}_{2} ) \bigr\vert \leq \varpi _{2} \bigl( \vert \mathrm{w}_{1} - \mathrm{v}_{1} \vert + \vert \mathrm{w}_{2} - \mathrm{v}_{2} \vert \bigr). $$(12) - \((H_{3})\):
-
There exist positive constants \(N_{i}\), \(i=1,2,3\) such that for all \(\tau \in \Omega \) and \(\mathrm{w}, \mathrm{v}\in \mathbb{R} \),
$$ \begin{aligned} \bigl\vert g ( \tau ,\mathrm{w}, \mathrm{v} ) \bigr\vert \leq N_{1},\qquad \bigl\vert h ( \tau ,\mathrm{w}, \mathrm{v} ) \bigr\vert \leq N_{2}, \qquad \bigl\vert \varphi ( \tau ) \bigr\vert \leq N_{3}. \end{aligned} $$
For the sake of convenience, we introduce the following quantities:
Theorem 3.2
Assume that \(( H_{1} ) \) and \(( H_{2} ) \) hold and that
where \(\aleph _{i}\), \(i=1,2\), are given by (13), then the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) has a unique solution.
Proof
Let us define \(\Lambda =\max \{ \Lambda _{i} : i=1,2,3 \} \), where \(\Lambda _{i}\) are finite numbers given by
Setting real number r such that
we show that \(\mathcal{Z}B_{r}\subset B_{r}\), where \(B_{r} = \{ \mathrm{w}\in B : \Vert \mathrm{w} \Vert _{B}\leq r \}\). For \(\mathrm{w}\in B_{r}\) and by \((H_{1} )\), we obtain
and
By Eqs. (16) and (17), we obtain
which implies that
Also, we have
This implies that
In consequence, we obtain
which means that \(\mathcal{Z} B_{r} \subset B_{r}\). For \(\mathrm{w}, \mathrm{v}\in B_{r}\) and for each \(\tau \in \Omega \), we have
Using \((H_{1})\), we obtain
Hence,
On the other hand, for each \(\tau \in \Omega \), we have
Thanks to \((H_{1})\), we have
Therefore,
Then, thanks to Eqs. (18) and (19), we conclude that
By (14), we see that \(\mathcal{Z}\) is a contractive operator. Consequently, by the Banach fixed-point theorem, \(\mathcal{Z}\) has a fixed point that is a solution of (1). □
Now, we prove the existence of a solution for the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) by applying the following lemma.
Lemma 3.3
([40])
Let S be a Banach space. Assume that \(\mathcal{Z} : S \to S\) is a completely continuous operator and that the set \(B= \{ \mathrm{w}\in S : \mathrm{w} =\zeta \mathcal{Z} ( \mathrm{w} ), \textit{ } 0 < \zeta <1 \}\), is bounded. Then, \(\mathcal{Z}\) has a fixed point in S.
Theorem 3.4
If conditions \((H_{1} )\) and \((H_{3} )\) are satisfied, then the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) has at least one solution.
Proof
By the continuity of functions g, h, and φ, the operator \(\mathcal{Z} \) is continuous. Now, we show that the operator \(\mathcal{Z} \) is completely continuous. First, we show that \(\mathcal{Z}\) maps bounded sets of B into bounded sets of B. Let us take \(\sigma >0\) and \(B_{\sigma } = \{\mathrm{w} \in B : \Vert \mathrm{w} \Vert _{B}\leq \sigma \}\). Then, for all \(\mathrm{w}\in B_{\sigma }\), we have
and
From the above inequalities, it follows that the operator \(\mathcal{Z}\) is uniformly bounded. Next, we show that \(\mathcal{Z}\) is equicontinuous. Let \(\mathrm{w} \in B_{\sigma }\) and \(\tau _{1}, \tau _{2} \in \Omega \), with \(\tau _{1}<\tau _{2} \), we have
and
which imply that \(\Vert \mathcal{Z} \mathrm{w} ( \tau _{2} ) - \mathcal{Z} \mathrm{w} ( \tau _{1} ) \Vert _{B} \to 0\), as \(\tau _{2}\to \tau _{1}\). Combining these results and using the Arzelà–Ascoli theorem, we conclude that \(\mathcal{Z}\) is a completely continuous operator. Finally, it will be verified that the set Π, defined by \(\Pi = \{ \mathrm{w} \in B : \mathrm{w} = \xi \mathcal{Z} ( \mathrm{w} ), \text{ } 0 < \xi < 1 \}\), is bounded. Let \(\mathrm{w}\in \Pi \), then \(\mathrm{w} =\xi \mathcal{Z} ( \mathrm{w} ) \). For all \(\tau \in \Omega \), we have \(\mathrm{w} ( \tau ) = \xi \mathcal{Z} \mathrm{w} ( \tau )\). Then, by \(( H_{3} )\), we obtain
It follows from Inequality (20) that
Consequently, \(\Vert \mathrm{w} \Vert _{B}<\infty \). This shows that the set Π is bounded. Thanks to previous results, and by Lemma 3.3, we deduce that \(\mathcal{Z}\) has at least one fixed point, which is a solution of problem (1). □
4 Ulam-stability of \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\)
In this part, the Ulam stability of the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) will be discussed.
Theorem 4.1
Suppose that conditions \((H_{1})\) and \((H_{2})\) are valid. In addition, it is assumed that
then the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) is UH stable.
Proof
Suppose that \(\acute{\mathrm{w}}\in B\) is a solution (3) and \(\mathrm{w}\in B\) is a unique solution of the problem
Thanks to Lemma 3.1, we have
for \(b_{i}\in \mathbb{R}\), \(i=1,2,3\), where \(\mathrm{v}_{\mathrm{w}} ( \tau ) = \varphi ( \tau ) - \delta g_{\mathrm{w}}^{\ast } ( \tau ) - h_{ \mathrm{w}}^{\ast } ( \tau )\), for \(\tau \in \Omega \). By integration of the inequality (3), we obtain
Then, for any \(\tau \in \Omega \), we obtain
Now, using \((H_{2} ) \), we obtain
Then, we have
Hence, the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) is stable in the UH sense. □
Theorem 4.2
Suppose that conditions \((H_{1} )\), \((H_{2} )\), and Eq. (21) are valid. Suppose there exists \(\chi _{p}>0\) such that
where \(\mathrm{p}\in C ( \Omega ,\mathbb{R}_{+} ) \) is nondecreasing. Then, the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) is UHR stable.
Proof
Let \(\acute{\mathrm{w}}\in B\) be a solution of the inequality (4). Applying Remark 2.1, we can obtain
Let us denote by \(\mathrm{w}\in B\) the unique solution of the problem (22). Then, we have
here \(b_{i}\in \mathbb{R}\), \(i=1,2,3\). Then,
Hence, by \((H_{2} ) \) and (23), we obtain
Then, we have
for \(\tau \in \Omega \). Hence, the \(\mathbb{F} \mathrm{D}q - \mathbb{DP}\) (1) is stable in the UHR sense. □
5 Numerical results
5.1 An illustrative example
Example 5.1
Based on the problem (1), we consider the following \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\)
for \(\tau \in \Omega = [ 0,1 ]\), \(q \in \{\frac{3}{10}, \frac{1}{2}, \frac{8}{9} \} \in (0,1)\), and the following q-fractional inequalities
and
where
Clearly \(\theta = \frac{1}{2}\exp (1) \in (0,1)\), \(\vartheta = \frac{\sqrt{11}}{6} \in (0,1)\), \(\lambda = \frac{3}{5} \in (0,1)\), \(\delta = \frac{1}{25^{2}}\sqrt{\exp (1)} >0\), \(\varphi (\tau ) = \frac{1}{ 3+\tau ^{2}} (\ln \tau +2)\), \(\tau \in \Omega \), \(\mu = \frac{1}{4} \in (0,1)\), \(\eta = \frac{5}{4} \geq 0\), and \(\gamma =\frac{2}{5} \in (0,1)\), \(\beta = \frac{2\exp (1)}{13}\in \mathbb{R}\), \(\alpha _{1} = \frac{\sqrt{7}}{3}\in \mathbb{R}\), \(\alpha _{2} = \frac{\sin 7 }{5}\in \mathbb{R}\), with \(\beta \neq \alpha _{1} + \alpha _{1}\). Condition \((H_{1})\) holds because g, h are continuous over \(\Omega \times \mathbb{R}^{2}\) and φ is continuous over Ω. Also, for \(\tau \in \Omega \) and \(\mathrm{w}_{i}, \mathrm{v}_{i}\in \mathbb{R}^{2}\), \(i=1,2\), we have
and
Hence, by choosing \(\varpi _{1} = \frac{1}{50 \sqrt{2\pi }}\), \(\varpi _{2} = \frac{1}{25(\exp (1))^{2}}\), condition \((H_{2})\), inequalities (11) and (12) hold. Now, we consider three cases for \(q \in \{\frac{3}{10}, \frac{1}{2}, \frac{8}{9} \}\), in \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (24). By employing (13), we find that
and
One can see these results in Tables 1, 2, 3, and 4. We can see graphical representation of \(\aleph _{1}\) and \(\aleph _{2}\) for three cases of q in Fig. 1. Curves 1a and 1b show well that as q approaches 1, the values of \(\aleph _{1}\) and \(\aleph _{2}\) decrease harmoniously. Similarly, Tables 1, 2, and 3 show the values of \(\aleph _{1}\) and \(\aleph _{2}\) for three cases of \(q=\frac{3}{10},\frac{1}{2}, \frac{8}{9}\), respectively, and the interesting thing is that when q approaches 1, we reach a constant value up to 4 decimal places in the number of steps higher than n.
It is found that \(\Lambda _{1} =\sup_{\tau \in \Omega } \vert g ( \tau ,0,0 ) \vert =0\), \(\Lambda _{2} =\sup_{\tau \in \Omega } \vert h ( \tau ,0,0 ) \vert =0\),
and so \(\Lambda =\max \{ \Lambda _{i} : i=1,2,3 \}= \frac{1}{2}\). From inequality (14), we remark that
According to Table 4, the calculations performed are consistent with our analysis and analytical proofs. Figure 2 shows this for the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (24) with three cases of q. Curves 2a, 2b, and 2c show well that as q approaches 1, the value of Δ, Eq. (14) holds, but its rate of change increases with the increase of q. Similarly, Table 4 shows the values of Δ for three cases of \(q=\frac{3}{10},\frac{1}{2}, \frac{8}{9}\), respectively, and the interesting thing is that when q approaches 1, we reach a constant value up to 4 decimal places in the number of steps higher than n. Setting real number r such that \(r\geq 5.8553, 3.3620, 0.5098\), whenever \(q=\frac{3}{10}, \frac{1}{2}, \frac{8}{9}\), respectively. Therefore, the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (24) satisfies all conditions of Theorem 3.2 and so problem (24) has a unique solution. In the other hand, condition \((H_{3})\) holds, because there exists \(N_{i}\geq 0\), \(i=1,2,3\) such that
and \(|\varphi (\tau )| = |\frac{\ln \tau +2}{3+\tau ^{2}} | \leq \frac{1}{2}=:N_{3}\). Hence Theorem 3.4 implies that the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (24) has at least one solution. Also, according to the numerical results in Table 5, we have
Hence, the inequality (21) in Theorem 4.1 holds for all \(q \in (0,1)\) and so Theorem 4.1 implies that the \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (24) is UH stable with
We can see graphical representations of UH stable \(\Sigma _{g^{\ast },h^{\ast }}\) with three cases of q in Fig. 3. Let \(\mathrm{p}( \tau ) = \tau ^{\frac{\sqrt{3}}{2}}\), then
Table 6 shows these results. Then, the condition (23) is satisfied with \(\mathrm{p}(\tau )=\tau ^{\frac{\sqrt{3}}{2}}\) and
It follows from Theorem 4.2 that \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (24) is UHR stable with
One can see graphical representations of UHR stable \(\Sigma _{g^{\ast },h^{\ast }}\) with three cases of q in Fig. 4.
5.2 An application: a Duffing-type oscillator
As is known, the equation of motion of a Duffing oscillator under initial conditions is normally written
\(\mathrm{w}(0) = r_{1}\), \(\mathrm{w}^{\prime }(0) = r_{2}\), where \(\upalpha _{i}\), \(r_{1}\), \(r_{2}\) are real constants, \(\mathrm{w}^{\prime \prime}+ \upalpha _{2} \mathrm{w}\) is a simple harmonic oscillator with angular frequency \(\sqrt{\upalpha _{2}}\), \(\upalpha _{1} \mathrm{w}^{\prime} \) is a small damping, \(\upalpha _{3} \mathrm{w}^{3}\) is a small nonlinearity, and \(F_{0} \cos \omega \tau \) is a small periodic forcing term with angular frequency ω. In this work, the differential equation (27) is rearranged to \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) as follows:
for \(\delta >0\), \(\tau \in \Omega := [ 0,2\pi ]\). Hence, \(\varphi ( \tau )= F_{0} \cos \omega \tau \),
with \(\mu =1\), \(\eta =0\), \(\delta = \upalpha _{1}\), and \(\upalpha _{2}, \upalpha _{3} \neq 0\). It is obvious that Theorems 3.2, 3.4, and 4.1 confirm the existence of the solution and its stability.
6 Conclusion
The \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) has been investigated in this work in detail. The investigation of this particular equation provides us with a powerful tool in modeling most scientific phenomena without the need to remove most parameters that have an essential role in the physical interpretation of the studied phenomena. \(\mathbb{F}\mathrm{D}q-\mathbb{DP}\) (1) has been studied on a time scale under some BCs. An application that describes the motion of a particle in the plane has been provided to support our results’ validity and applicability in fields of physics and engineering.
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Finkelstein, R., Marcus, E.: Transformation theory of the q-oscillator. J. Math. Phys. 36, 2652–2672 (1995). https://doi.org/10.1063/1.531057
Floreanini, R., Vinet, L.: Symmetries of the q-difference heat equation. Lett. Math. Phys. 32, 37–44 (1994). https://doi.org/10.1007/BF00761122
Han, G.N., Zeng, J.: On a q-sequence that generalizes the median Genocchi numbers. Ann. Math. Qué. 23, 63–72 (1999)
Tajadodi, H.: Variable-order Mittag-Leffler fractional operator and application to mobile-immobile advection-dispersion model. Alex. Eng. J. 61(5), 3719–3728 (2022). https://doi.org/10.1016/j.aej.2021.09.007
Abdeljawad, T., Samei, M.E.: Applying quantum calculus for the existence of solution of q-integro-differential equations with three criteria. Discrete Contin. Dyn. Syst., Ser. S 14(10), 3351–3386 (2021). https://doi.org/10.3934/dcdss.2020440
Guo, C., Guo, J., Gao, Y., Kang, S.: Existence of positive solutions for two-point boundary value problems of nonlinear fractional q-difference equation. Adv. Differ. Equ. 2018, 180 (2018). https://doi.org/10.1186/s13662-018-1578-y
Liang, S., Samei, M.E.: New approach to solutions of a class of singular fractional q-differential problem via quantum calculus. Adv. Differ. Equ. 2020, 14 (2020). https://doi.org/10.1186/s13662-019-2489-2
Sheng, Y., Zhang, T.: Some results on the q-calculus and fractional q-differential equations. Mathematics 10(1), 64 (2022). https://doi.org/10.3390/math10010064
Shah, D., Riaz, U., Zada, A.: Exponential and Hyers-Ulam stability of impulsive linear system of first order. Differential Equations & Applications 15(1), 317–326 (2023). https://doi.org/10.7153/dea-2023-15-01
Houas, M., Samei, M.E.: Existence and Mittag-Leffler-Ulam-stability results for Duffing type problem involving sequential fractional derivatives. Int. J. Appl. Comput. Math. 8, 185 (2022). https://doi.org/10.1007/s40819-022-01398-y
Abbas, S., Benchohra, M., Laledj, N., Zhou, Y.: Existence and Ulam stability for implicit fractional q-difference equations. Adv. Differ. Equ. 2019, 48 (2019). https://doi.org/10.1186/s13662-019-2411-y
Afshari, H., Shojaat, H., Moradi, S.: Existence of the positive solutions for a tripled system of fractional differential equations via integral boundary conditions. Results Nonlinear Anal. 4(3), 186–199 (2021). https://doi.org/10.53006/rna.938851
Jiang, M., Huang, R.: Existence and stability results for impulsive fractional q-difference equation. J. Appl. Math. Phys. 8(7), 1413–1423 (2020). https://doi.org/10.4236/jamp.2020.87107
Kalvandi, V., Samei, M.E.: New stability results for a sum-type fractional q-integro-differential equation. J. Adv. Math. Stud. 12(2), 201–209 (2019)
Waheed, H., Zada, A., Rizwan, R., Popa, I.L.: Hyers-Ulam stability for a coupled system of fractional differential equation with p-Laplacian operator having integral boundary conditions. Qual. Theory Dyn. Syst. 21, 92 (2022). https://doi.org/10.1007/s12346-022-00624-8
Riaz, U., Zada, A.: Hyers-Ulam types stability of nonlinear summation equations with delay. Int. J. Nonlinear Anal. Appl. 12(2), 317–326 (2021). https://doi.org/10.22075/ijnaa.2019.18218.1995
Agarwal, R.P., Ahmad, B., Alsaedi, A., Al-Hutami, H.: Existence theory for q-antiperiodic boundary value problems of sequential q-fractional integrodifferential equations. Abstr. Appl. Anal. 2014, Article ID 207547 (2014). https://doi.org/10.1186/s13662-019-2411-y
Etemad, S., Ntouyas, S., Ahmad, B.: Existence theory for a fractional q-integro-difference equation with q-integral boundary conditions of different orders. Mathematics 7(8), 659 (2019). https://doi.org/10.3390/math7080659
Phuong, N.D., Etemad, S., Rezapour, S.: On two structures of the fractional q-sequential integro-differential boundary value problems. Math. Methods Appl. Sci. 45(2), 618–639 (2022). https://doi.org/10.1002/mma.7800
Chandrasekhar, S.: An introduction to the study of stellar structure. Ciel Terre 55, 412–415 (1939)
Afshari, H.: Solution of fractional differential equations in quasi-b-metric and b-metric-like spaces. Adv. Differ. Equ. 2019, 285 (2019). https://doi.org/10.1186/s13662-019-2227-9
Chen, H., Li, Y.: Rate of decay of stable periodic solutions of Duffing equations. J. Differ. Equ. 236, 493–503 (2007). https://doi.org/10.1016/j.jde.2007.01.023
Duffing, G.: Forced Oscillations with Variable Natural Frequency and Their Technical Significance. Vieweg, Braunschschweig (1918)
Lazer, A.C., McKenna, P.J.: On the existence of stable periodic solutions of differential equations of Duffing type. Proc. Am. Math. Soc. 110(1), 125–133 (1990). https://doi.org/10.2307/2048251
Sunday, J.: The Duffing oscillator: applications and computational simulations. Asian Res. J. Math. 2(3), 1–13 (2017). https://doi.org/10.9734/ARJOM/2017/31199
Ejikeme, C.L., Oyesanya, M.O., Agbebaku, D.F., Okofu, M.B.: Solution to nonlinear Duffing oscillator with fractional derivatives using Homotopy Analysis Method (HAM). Glob. J. Pure Appl. Math. 14(10), 1363–1383 (2018)
Gouari, Y., Dahmani, Z., Jebril, I.: Application of fractional calculus on a new differential problem of Duffing type. Adv. Math. Sci. J. 9(12), 10989–11002 (2020). https://doi.org/10.37418/amsj.9.12.82
Niu, J., Liu, R., Shen, Y., Yang, S.: Chaos detection of Duffing system with fractional order derivative by Melnikov method. Chaos, Interdiscip. J. Nonlinear Sci. 29, 123106 (2019). https://doi.org/10.1063/1.5124367
Pirmohabbati, P., Refahi Sheikhani, A.H., Saberi Najaf, H., Abdolahzadeh Ziabari, A.: Numerical solution of full fractional Duffing equations with Cubic-Quintic-Heptic nonlinearities. AIMS Math. 5(2), 1621–1641 (2020). https://doi.org/10.3934/math.2020110
Tablennehas, K., Zoubir, D.: A three sequential fractional differential problem of Duffing type. Appl. Math. E-Notes 21, 587–598 (2021)
Riaz, U., Zada, A.: Analysis of \((\alpha , \beta )\)-order coupled implicit Caputo fractional differential equations using topological degree method. Fractal Fract. 22(7–8), 897–915 (2021). https://doi.org/10.1515/ijnsns-2020-0082
Zada, A., Waheed, H.: Stability analysis of implicit fractional differential equation with anti-periodic integral boundary value problem. Ann. Univ. Paedagog. Crac. Stud. Math. 19(1), 5–25 (2020). https://doi.org/10.2478/aupcsm-2020-0001
Guo, L., Riaz, U., Zada, A., Alam, M.: On implicit coupled Hadamard fractional differential equations with generalized Hadamard fractional integro-differential boundary conditions. Fractal Fract. 7(1), 13 (2023). https://doi.org/10.3390/fractalfract7010013
Jackson, F.H.: q-Difference equations. Am. J. Math. 32, 305–314 (1910). https://doi.org/10.2307/2370183
Adams, C.R.: The general theory of a class of linear partial q-difference equations. Trans. Am. Math. Soc. 26, 283–312 (1924)
Samei, M.E., Zanganeh, H., Aydogan, S.M.: Investigation of a class of the singular fractional integro-differential quantum equations with multi-step methods. J. Math. Ext. 15, 1–45 (2021). https://doi.org/10.30495/JME.SI.2021.2070
Georgiev, S.G.: Fractional Dynamic Calculus and Fractional Dynamic Equations on Time Scales. Springer, Switzerland (2012). https://doi.org/10.1007/978-3-319-73954-0
Annaby, M.H., Mansour, Z.S.: q–Fractional Calculus and Equations. Springer, Cambridge (2012). https://doi.org/10.1007/978-3-642-30898-7
Rajković, P.M., Marinković, S.D., Stanković, M.S.: On q-analogues of Caputo derivative and Mittag-Leffer function. Fract. Calc. Appl. Anal. 10(4), 359–373 (2007)
Smart, D.R.: Fixed Point Theorems. Cambridge University Press, Cambridge (1980)
Acknowledgements
J. Alzabut is thankful to Prince Sultan University and OSTİM Technical University for their endless support in writing this paper.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
MH: Actualization, methodology, formal analysis, validation, investigation and initial draft. MES: Methodology, formal analysis, validation, actualization, investigation, software, simulation, initial draft and was a major contributor in writing the manuscript. SSS: Formal analysis, methodology, validation, investigation and initial draft. JA: Methodology, formal analysis, validation and investigation. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Houas, M., Samei, M.E., Sundar Santra, S. et al. On a Duffing-type oscillator differential equation on the transition to chaos with fractional q-derivatives. J Inequal Appl 2024, 12 (2024). https://doi.org/10.1186/s13660-024-03093-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-024-03093-6