Skip to main content

Theory and Modern Applications

On Hyers–Ulam Mittag-Leffler stability of discrete fractional Duffing equation with application on inverted pendulum

Abstract

A human being standing upright with his feet as the pivot is the most popular example of the stabilized inverted pendulum. Achieving stability of the inverted pendulum has become common challenge for engineers. In this paper, we consider an initial value discrete fractional Duffing equation with forcing term. We establish the existence, Hyers–Ulam stability, and Hyers–Ulam Mittag-Leffler stability of solutions for the equation. We consider the inverted pendulum modeled by Duffing equation as an example. The values are tabulated and simulated to show the consistency with theoretical findings.

1 Introduction

The understanding of the real-world problems by replicating into mathematical models proves to be an effective tool. Analyzing the developed model thus provides a wide insight into the considered phenomena. In [1], Rayleigh introduced a nonlinear damping function in a second-order oscillator equation. Extensive study of this equation using vacuum-tube circuits for analogue simulation was carried out by Van der Pol [2]. Besides, a model of heart beat was constructed using an electrical circuit with coupled relaxation oscillators and simulations of normal heart beat and of certain disorders were convincingly obtained by Van der Pol and Van der Mark [3]. Certain damped and driven oscillators are modeled by the Duffing equation, a second-order differential equation with cubic nonlinearity named after Georg Duffing [4]. The motion of a damped oscillator described by the equation has more complex potential than simple harmonic motion. This equation is used to illustrate the motion of a mass attached to a nonlinear spring and a linear damper. The Duffing equation is given by

$$ \ddot{x}+\theta \dot{x} + \delta x + \eta x^{3} = \gamma \sin ( \omega t), $$
(1.1)

where damping is controlled by θ (undamped if \(\theta =0\)), \(\delta x + \eta x^{3}\) denotes the restoring force of the spring, and the amplitude and angular frequency of the driving force are given by γ and ω. The equivalent circuit of the Duffing oscillator with variation of current and voltage across the circuit plotted against time is displayed in Fig. 1. The Duffing equation is used in modeling hard spring oscillators (iron core inductor), soft spring oscillators (nonlinear LRC circuit), negative stiffener, and nonharmonic oscillator [5]. The inverted pendulum equation, which is framed from the Duffing equation, is used in rocket propeller, segway, and robotics.

Figure 1
figure 1

Duffing oscillator circuit

Fractional calculus, which is regarded as 21st century calculus, has its origin during the same period as that of the ordinary calculus. Continuous fractional-order equations prove to be significant in modeling nuclear reactor dynamics, chaotic dynamical systems, chemical kinetics, population dynamics, and circuit theory[6]. Qualitative analysis of the solutions of fractional-order equations representing real-life phenomena plays a predominant role in understanding the nature and behavior of the models [7, 8]. Intensive interest shown by researchers during this decade toward discrete fractional calculus demands the need for the development of the methods equivalent to the fractional differential equations. This opinion is very much strengthened by the increase in number of researchers involved in the development of the methodology for discrete fractional calculus [912].

The works by Anastassiou [13], Atici and Eloe [1417], Goodrich [18], and Miller and Ross [19] have laid the foundations for the field of discrete fractional calculus. Time-scale calculus unifies the theory of difference equations with that of differential equations, and qualitative properties such as oscillation and nonoscillation of the dynamic equations on discrete time scales were studied in [2022]. Chen [23, 24] was the first author who studied the stability results of the nonlinear fractional difference equations. The response given by Hyers to the question put forth by Ulam during his talk [25, 26] was marked as the origin for the study on stability of functional equations. The Ulam stability of integer- and arbitrary-order differential equations were established in [2730]. Recently, boundary value impulsive integrodifferential equations and coupled systems of Hilfer–Hadamard-type fractional equations are considered for discussion of stability in the Hyers–Ulam sense [31, 32]. Ulam stability analysis of nabla fractional equations was carried out in [3335], and in [36], the Ulam–Hyers stability of discrete fractional boundary value problems was studied. Here we consider the discrete-time forced fractional-order Duffing equation without damping.

Denote \(\mathbb{Q}:=[j+2, j+\mathbb{T}]\cap \mathbb{N}_{j+2}\), where \(\mathbb{T} \in \mathbb{N}\) and \(\mathbb{N}_{j} = \{ j,j+1,\ldots \} \), \(j \in \mathbb{R}\). Our main equation has the form

$$ \textstyle\begin{cases} \Delta ^{\upsilon }_{*} [\psi (n)]+\delta \psi (n+\upsilon )+\eta (\psi (n+\upsilon ) )^{3} +p(n+\upsilon )=0,\\ \quad n \in [0, \mathbb{T}]\cap \mathbb{N}_{2-\upsilon }, 1< \upsilon \leq 2, \\ \psi (0) = A , \qquad \Delta (\psi (0))=B, \end{cases} $$
(1.2)

where \(\Delta ^{\upsilon }_{*}\) is the Caputo like difference operator, δ and η control the linear stiffness and nonlinearity in restoring force, \(p:\mathbb{Q} \rightarrow \mathbb{R}\) is the driving force with \(A,B \in \mathbb{R}^{+}\). The restoring force represented by \(\delta \psi +\eta (\psi )^{3}\) is vital in determining the nature of the spring to be used in the model. The positive real values of δ and η describe the hardening spring, and \(\eta <0\) (\(\delta >0\)) denotes soft spring.

The choice of the operator plays a crucial role in developing models arising in physics. Here the construction of the physical model using the Caputo difference operator is preferred over the Riemann–Liouville operator to overcome some limitations of the Riemann–Liouville operator in modeling real-life problems. One of the limitations concern the initial conditions defined for the physical problems. Initial conditions of a Caputo-type fractional difference operator are traditional integer-order \((\Delta ^{k}, k \in \mathbb{N}_{0} )\) conditions, whereas for a Riemann–Liouville type operator, they are defined in terms of a fractional sum or difference terms \((\Delta ^{\alpha }, \alpha \in \mathbb{R} )\), which fail to provide physical interpretation for the model.

The plan of the paper is as follows. Section 2 imparts some necessary definitions, lemmas, and an existence result. Section 3 presents the Hyers–Ulam stability followed with Hyers–Ulam Mittag-Leffler stability in Sect. 4. Appropriate examples accompanied with simulation are provided in Sect. 5.

2 Mathematical background

In this section, we provide some fundamental definitions and lemmas and state an existence result used throughout this work.

Definition 2.1

([16])

The Fractional sum of order \(\nu >0\) for a function p is given by

$$ \Delta ^{- \nu } p(n) = \frac{1}{\varGamma (\nu )} \sum _{r=j}^{n- \nu } (n-r-1)^{(\nu -1)} p(r), $$
(2.1)

where p is defined for \(r=j \mod (1)\), and \(\Delta ^{-\nu } \psi \) is defined for \(n=(j+\nu ) \mod (1)\) and \(n^{(\nu )} = \frac{\varGamma (n+1)}{\varGamma (n-\nu +1)}\).

Definition 2.2

([16])

Let \(\gamma >0\) and \(b-1<\gamma <b\), where \(b \in \mathbb{N}_{0}\), \(b = \lceil \gamma \rceil \), and \(\lceil \cdot \rceil \) denotes the ceiling of a number. Set \(\nu = b- \gamma \). The Caputo fractional difference of order γ is

$$\begin{aligned} \Delta _{*}^{\gamma }p(n) =& \Delta ^{-\nu } \bigl(\Delta ^{b} p(n) \bigr) \\ =&\frac{1}{\varGamma (\nu )} \sum_{r=j}^{n-\nu } (n-r-1)^{( \nu -1)} \bigl(\Delta ^{b}p \bigr) (r), \quad \forall n \in \mathbb{N}_{j+\nu }. \end{aligned}$$

Lemma 2.3

([13])

For noninteger \(\gamma >0\), \(b = \lceil \gamma \rceil \), \(\nu = b- \gamma \), p defined on \(\mathbb{N}_{j}\)with \(j \in \mathbb{Z}^{+}\), we have

$$ p(n) = \sum_{m=0}^{b-1}\frac{(n-j)^{(m)}}{m!} \Delta ^{m} \bigl[p(j)\bigr] + \frac{1}{\varGamma (\gamma )} \sum _{r=j+\nu }^{n-\gamma } (n-r-1)^{( \gamma -1)} \Delta _{*}^{\gamma }\bigl[p(r)\bigr]. $$

In particular, if \(1 <\gamma <2\)and \(j=0\), then this relation becomes

$$ p(n) = p(0)+n\Delta \bigl(p(0)\bigr)+\frac{1}{\varGamma (\gamma )} \sum _{r=2- \gamma }^{n-\gamma } (n-r-1)^{(\gamma -1)} \Delta _{*}^{\gamma }\bigl[p(r)\bigr], $$
(2.2)

where p is defined on \(\mathbb{N}_{2}\).

Lemma 2.4

A function \(\psi : \mathbb{Q} \rightarrow \mathbb{R}\)is a solution of (1.2) if and only if ψ is a solution of

$$ \psi (n) = A+n B +\frac{1}{\varGamma (\upsilon )} \sum _{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \bigl(-p(r+\upsilon )- \delta \psi (r+\upsilon )-\eta \bigl(\psi (r+\upsilon ) \bigr)^{3} \bigr), $$
(2.3)

where \(n \in \mathbb{Q}\).

Proof

Let ψ be a solution of (1.2). Then from (2.2) we have

$$ \psi (n) = \psi (0)+n \Delta \bigl(\psi (0)\bigr)+\frac{1}{\varGamma (\upsilon )} \sum _{r=2-\upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \Delta _{*}^{\upsilon }\bigl[\psi (r)\bigr] $$

or

$$ \psi (n) = A+nB+\frac{1}{\varGamma (\upsilon )} \sum_{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \bigl(-p(r+\upsilon )- \delta \psi (r+\upsilon )-\eta \bigl(\psi (r+\upsilon ) \bigr)^{3} \bigr), $$

which satisfies (2.3). On the other hand, if ψ is a solution of (2.3), then by comparison of (2.2) and (2.3) we get

$$ \sum_{r=2-\upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \Delta _{*}^{\upsilon }\bigl[\psi (r)\bigr]= \sum _{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(-p(r+\upsilon )-\delta \psi (r+ \upsilon )-\eta \bigl(\psi (r+\upsilon ) \bigr)^{3} \bigr), $$

which takes the form

$$ \begin{gathered}[b] \sum_{r=2-\upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \bigl[\Delta _{*}^{\upsilon }\bigl[\psi (r) \bigr]- \bigl(-p(r+\upsilon )- \delta \psi (r+\upsilon )-\eta \bigl(\psi (r+ \upsilon ) \bigr)^{3} \bigr) \bigr]=0,\\ \quad n \in \mathbb{Q}. \end{gathered} $$
(2.4)

Letting \(n=1,2,3,\ldots \) yields

$$ \Delta _{*}^{\upsilon }\bigl[\psi (n)\bigr] +\delta \psi (n+\upsilon )+\eta \bigl(\psi (n+\upsilon ) \bigr)^{3}+ p(n+ \upsilon )=0, \quad n \in \mathbb{Q}. $$
(2.5)

It is evident that ψ satisfies (1.2). The proof is complete. □

Lemma 2.5

We have

$$ \sum_{r=2-\upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} = \frac{(n+\upsilon -2)^{(\upsilon )}}{\upsilon }. $$
(2.6)

Proof

For \(a,d \in \mathbb{R}\) with \(d>a\), \(d>-1\), and \(a>-1\), we have

$$ \frac{\varGamma (d+1)}{\varGamma (d-a+1)} = \frac{1}{a+1} \biggl[ \frac{\varGamma (d+2)}{\varGamma (d-a+1)}- \frac{\varGamma (d+1)}{\varGamma (d-a)} \biggr]. $$
(2.7)

Then

$$\begin{aligned} \sum_{r=2-\upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)}&= \sum_{r=2-\upsilon }^{n-\upsilon } \frac{\varGamma (n-r)}{\varGamma (n-r-\upsilon +1)} \\ &= \sum_{r=2-\upsilon }^{n-\upsilon -1} \frac{\varGamma (n-r)}{\varGamma (n-r-\upsilon +1)}+ \varGamma (\upsilon ) \\ &= \sum_{r=2-\upsilon }^{n-\upsilon -1} \frac{1}{\upsilon } \biggl[\frac{\varGamma (n-r+1)}{\varGamma (n-r-\upsilon +1)}- \frac{\varGamma (n-r)}{\varGamma (n-r-\upsilon )} \biggr]+\varGamma ( \upsilon ) \\ &= \frac{1}{\upsilon } \biggl[ \frac{\varGamma (n+\upsilon -1)}{\varGamma (n-1)}-\varGamma (\upsilon +1) \biggr]+ \varGamma (\upsilon ) \\ &= \frac{(n+\upsilon -2)^{(\upsilon )}}{\upsilon }. \end{aligned}$$

 □

To ensure the existence of solution, we consider

$$ F\psi (n)=A+n B +\frac{1}{\varGamma (\upsilon )} \sum_{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \bigl(-p(r+\upsilon )- \delta \psi (r+\upsilon )-\eta \bigl(\psi (r+\upsilon ) \bigr)^{3} \bigr). $$

To prove the existence, we apply the Krasnoselskii fixed point theorem. Let W be a nonempty, closed, bounded, and convex subset of a Banach space \((S; \|\cdot \|)\). Suppose that \(F_{1}\), \(F_{2}\) map W into W and that

  • for all \(\psi , \phi \in W\), \(F_{1}\psi + F_{2}\phi \in W\),

  • \(F_{1}\) is continuous, and \(F_{1}W\) is contained in a compact subset of W,

  • \(F_{2}\) is a contraction.

Then there is \(z \in W\) such that \(z=F_{1}z + F_{2}z\).

We define \(W:= \{y \in C(\mathbb{Z};\mathbb{R}), \|y\| \leq K\}\), where \(C(\mathbb{Z};\mathbb{R})\) denotes the set of continuous functions from \(\mathbb{Z}\) to \(\mathbb{R}\), and \(F=F_{1}+F_{2}\), where

$$ F_{1}\psi (n)=A+n B $$

and

$$ F_{2}\psi (n)=\frac{1}{\varGamma (\upsilon )} \sum_{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \bigl(-p(r+\upsilon )- \delta \psi (r+\upsilon )-\eta \bigl(\psi (r+\upsilon ) \bigr)^{3} \bigr). $$

Theorem 2.6

Problem (1.2) has a solution in the set W, provided that

$$ A+B\mathbb{T}+\frac{1}{\varGamma (\upsilon )} (\mathbb{T}+\upsilon -1)^{ \upsilon -1} ( \mathbb{T}-2) \bigl( \Vert p \Vert +\delta K+\eta K^{3}\bigr) \leq K, $$

where \(\|p\|=\sup_{n\in \mathbb{Q}}|p(n)|\). Moreover, the solution is unique if

$$ \frac{1}{\varGamma (\upsilon )} (\mathbb{T}+\upsilon -1)^{\upsilon -1} ( \mathbb{T}-2) \bigl( \delta +\eta 3K^{2} \bigr) \leq 1. $$

Proof

First, we can easily check that \(|F_{1}\psi (n)| \leq A+B\mathbb{T}\). On the other hand, we compute

$$\begin{aligned} \bigl\vert F_{2}\psi (n) \bigr\vert & \leq \frac{1}{\varGamma (\upsilon )} \sum _{r=2- \upsilon }^{n-\upsilon } \bigl\vert (n-r-1) \bigr\vert ^{(\upsilon -1)} \bigl( \bigl\vert p(r+ \upsilon ) \bigr\vert +\delta \bigl\vert \psi (r+\upsilon ) \bigr\vert +\eta \bigl\vert \psi (r+\upsilon ) \bigr\vert ^{3} \bigr) \\ & \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } \bigl\vert (n-r-1) \bigr\vert ^{(\upsilon -1)} \bigl( \Vert p \Vert +\delta K+\eta K^{3} \bigr) \\ & \leq \frac{1}{\varGamma (\upsilon )} (\mathbb{T}+\upsilon -1)^{ \upsilon -1} (\mathbb{T}-2) \bigl( \Vert p \Vert +\delta K+\eta K^{3}\bigr) \\ & :=W^{*}. \end{aligned}$$

We can choose the constants δ, η, \(\mathbb{T}\) such that \(A+B\mathbb{T}+W^{*} \leq K\). For such a choice, \(|F_{1} \psi +F_{2}\phi | \leq K\), and hence \(F_{1} \psi +F_{2}\phi \in W\) for \(\psi , \phi \in W\).

The continuity of \(F_{1}\) is easy to check as it is just a function of n. Besides, the set \(F_{1}W\) is bounded. Thus \(F_{1}W\) is contained in a compact subset of W.

Now we check the contractivity of \(F_{2}\). For \(y_{1}, y_{2} \in W\), we have

$$\begin{aligned}& \Vert F_{2}y_{1}-F_{2}y_{2} \Vert \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta \bigl\vert y_{1}(r+\upsilon )-y_{2}(r+ \upsilon ) \bigr\vert +\eta \bigl\vert \bigl(y_{1}(r+\upsilon )\bigr)^{3}-\bigl(y_{2}(r+ \upsilon )\bigr)^{3} \bigr\vert \bigr) \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta \bigl\vert y_{1}(r+\upsilon )-y_{2}(r+ \upsilon ) \bigr\vert +\eta 3K^{2} \bigl\vert y_{1}(r+\upsilon )-y_{2}(r+\upsilon ) \bigr\vert \bigr) \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta +\eta 3K^{2} \bigr) \bigl\vert y_{1}(r+ \upsilon )-y_{2}(r+\upsilon ) \bigr\vert \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta +\eta 3K^{2} \bigr) \Vert y_{1}-y_{2} \Vert \\& \quad \leq \frac{1}{\varGamma (\upsilon )} (\mathbb{T}+\upsilon -1)^{ \upsilon -1} ( \mathbb{T}-2) \bigl(\delta +\eta 3K^{2} \bigr) \Vert y_{1}-y_{2} \Vert \\& \quad \leq K^{*} \Vert y_{1}-y_{2} \Vert , \end{aligned}$$

where \(K^{*}= \frac{1}{\varGamma (\upsilon )} (\mathbb{T}+\upsilon -1)^{ \upsilon -1} (\mathbb{T}-2) (\delta +\eta 3K^{2} )\). We can choose the parameters so that \(K^{*}<1\), so \(F_{2}\) is a contraction. Combining the above, the existence of a solution is ensured.

On the other hand, we can easily see that for \(y_{1}, y_{2} \in W\) and \(F=F_{1}+F_{2}\), we get

$$\begin{aligned}& \Vert Fy_{1}-Fy_{2} \Vert \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta \bigl\vert y_{1}(r+\upsilon )-y_{2}(r+ \upsilon ) \bigr\vert +\eta \bigl\vert \bigl(y_{1}(r+\upsilon )\bigr)^{3}-\bigl(y_{2}(r+ \upsilon )\bigr)^{3} \bigr\vert \bigr) \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta \bigl\vert y_{1}(r+\upsilon )-y_{2}(r+ \upsilon ) \bigr\vert +\eta 3L^{2} \bigl\vert y_{1}(r+\upsilon )-y_{2}(r+\upsilon ) \bigr\vert \bigr) \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta +\eta 3L^{2} \bigr) \bigl\vert y_{1}(r+ \upsilon )-y_{2}(r+\upsilon ) \bigr\vert \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\delta +\eta 3L^{2} \bigr) \Vert y_{1}-y_{2} \Vert \\& \quad \leq \frac{1}{\varGamma (\upsilon )} (\mathbb{T}+\upsilon -1)^{ \upsilon -1} ( \mathbb{T}-2) \bigl(\delta +\eta 3L^{2} \bigr) \Vert y_{1}-y_{2} \Vert \\& \quad \leq K^{*} \Vert y_{1}-y_{2} \Vert . \end{aligned}$$

We can see that for \(\mathbb{T} \geq 2\), \(K^{*}\) is nonnegative. Hence under the condition \(K^{*}=\frac{1}{\varGamma (\upsilon )} (\mathbb{T}+\upsilon -1)^{ \upsilon -1} (\mathbb{T}-2) (\delta +\eta 3L^{2} ) \leq 1\), the mapping F is a contraction. Applying the Banach fixed point theorem, the existence and uniqueness of solution is ensured. We can see that we do not need any additional assumptions for uniqueness. □

3 Hyers–Ulam stability

This section provides results on the Hyers–Ulam stability of (1.2).

For \(\psi \in W\), define the norm \(\Vert \psi \Vert =\sup_{n \in \mathbb{Q}} \vert \psi (n) \vert \).

Definition 3.1

([35])

The discrete fractional initial value problem (1.2) is Hyers–Ulam stable if there exists \(\mathbb{U}>0\) such that for any \(\epsilon >0\), \(\phi \in \mathbb{R}\) satisfies

$$ \bigl\vert \Delta ^{\upsilon }_{*} \bigl[\phi (n) \bigr]+\delta \phi (n+\upsilon )+ \eta \bigl(\phi (n+\upsilon ) \bigr)^{3} +p(n+\upsilon ) \bigr\vert \leq \epsilon , \quad n \in \mathbb{Q}, $$
(3.1)

with \(\phi (0)=A\), \(\Delta (\phi (0))=B\). Then there is a solution \(\psi (n)\) of (1.2) such that \(\vert \phi (n)-\psi (n) \vert \leq \mathbb{U} \epsilon \).

Remark 3.2

A function \(\phi \in \mathbb{R}\) solves (3.1) if and only if there exists \(h: \mathbb{Q} \times \mathbb{R} \rightarrow \mathbb{R}\) that satisfies

  1. A1

    \(\vert h(n+\upsilon ,\phi (n+\upsilon )) \vert \leq \epsilon \), \(n \in \mathbb{Q}\),

  2. A2

    \(\Delta ^{\upsilon }_{*} [\phi (n)]+\delta \phi (n+\upsilon )+\eta (\phi (n+\upsilon ) )^{3}+p(n+\upsilon )= h(n+\upsilon , \phi (n+\upsilon ))\).

Lemma 3.3

If ϕ solves (3.1), then

$$\begin{aligned}& \Biggl\vert \phi (n)-A-nB+\frac{1}{\varGamma (\upsilon )}\sum _{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)}\bigl(\delta \phi (r+ \upsilon )+\eta \bigl(\phi (r+\upsilon ) \bigr)^{3} +p(r+\upsilon ) \bigr) \Biggr\vert \\& \quad \leq \epsilon \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)} \end{aligned}$$
(3.2)

for \(n \in \mathbb{Q}\).

Proof

If ϕ solves (3.1), then by Remark (3.2) and (2.2) the solution to \((A2)\) satisfies

$$\begin{aligned} \phi (n) &= A+n B +\frac{1}{\varGamma (\upsilon )} \sum_{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \bigl(h\bigl(r+\upsilon ,\phi (r+ \upsilon )\bigr) \\ &\quad {}-p(r+\upsilon )-\delta \phi (r+\upsilon )-\eta \bigl(\phi (r+ \upsilon ) \bigr)^{3}\bigr) \end{aligned}$$

for \(n \in \mathbb{Q}\). Hence

$$\begin{aligned}& \bigl\vert \phi (n)- A-n B -\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )- \delta \phi (n+\upsilon )-\eta \bigl(\phi (n+\upsilon ) \bigr)^{3} \bigr) \bigr\vert \\& \quad = \bigl\vert \Delta ^{-\upsilon } h\bigl(n+\upsilon ,\phi (n+\upsilon )\bigr) \bigr\vert \\& \quad \leq \frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl\vert h\bigl(r+\upsilon ,\phi (r+ \upsilon )\bigr) \bigr\vert \\& \quad \leq \epsilon \frac{1}{\varGamma (\upsilon )} \sum_{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)} \\& \quad \leq \epsilon \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)}. \end{aligned}$$

The proof is complete. □

We make the following assumptions before proving the stability of (1.2).

  1. (H1)

    \(\sqrt{M}= \max_{n \in \mathbb{Q}} \vert \psi (n) \vert \).

  2. (H2)

    The function \(E(n+\upsilon ,\psi )= -p(n+\upsilon )-\delta \psi -\eta (\psi )^{3}\) is Lipschitz continuous, that is, there exists a constant \(L>0\) such that for all \(\psi , \phi \in \mathbb{R}\) and \(n \in \mathbb{Q}\),

    $$ \bigl\vert E(n,\psi )-E(n,\phi ) \bigr\vert \leq L \vert \psi -\phi \vert , $$
    (3.3)

    where \(L= \delta +3M\eta \).

Theorem 3.4

Assume that \((H2)\)holds. Let \(\phi \in \mathbb{R}\)solve (3.1) for some \(\epsilon >0\), and let \(\psi \in \mathbb{R}\)be the solution of

$$ \textstyle\begin{cases} \Delta ^{\upsilon }_{*} [\psi (n)]+\delta \psi (n+\upsilon )+\eta (\psi (n+\upsilon ) )^{3} + p(n+\upsilon )=0,\\ \quad n \in [0, \mathbb{T}]\cap \mathbb{N}_{2-\upsilon }, 1< \upsilon \leq 2, \\ \psi (0) = \phi (0) ,\qquad \Delta (\psi (0))=\Delta (\phi (0)). \end{cases} $$
(3.4)

Then (1.2) is Hyers–Ulam stable, provided that

$$ \varGamma (\mathbb{T}+\upsilon -1)[\delta +3M\eta ] < \varGamma (\upsilon +1) \varGamma ( \mathbb{T}-1). $$

Proof

It is clear from Lemma (2.4) that the solution ψ of (3.4) satisfies

$$\begin{aligned} \psi (n) =& \phi (0)+n \Delta \bigl(\phi (0)\bigr) \\ &{}+\frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(-p(r+\upsilon )-\delta \psi (r+ \upsilon )-\eta \bigl(\psi (r+\upsilon ) \bigr)^{3} \bigr) ,\quad n \in \mathbb{Q.} \end{aligned}$$

Therefore

$$\begin{aligned} &\bigl\vert \phi (n)-\psi (n) \bigr\vert \\ &\quad = \bigl\vert \phi (n)-\phi (0)-n \Delta \bigl(\phi (0)\bigr) -\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \psi (n+\upsilon )-\eta \bigl(\psi (n+\upsilon ) \bigr)^{3} \bigr) \bigr\vert \\ &\quad = \bigl\vert \phi (n)-\phi (0)-n \Delta \bigl(\phi (0)\bigr) -\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \phi (n+\upsilon )-\eta \bigl(\phi (n+ \upsilon ) \bigr)^{3} \bigr) \\ &\qquad {}-\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \psi (n+ \upsilon )- \eta \bigl(\psi (n+\upsilon ) \bigr)^{3} \bigr) \\ &\qquad {}+\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \phi (n+ \upsilon )- \eta \bigl(\phi (n+\upsilon ) \bigr)^{3} \bigr) \bigr\vert \\ &\quad \leq \bigl\vert \phi (n)-\phi (0)-n \Delta \bigl(\phi (0)\bigr) -\Delta ^{- \upsilon } \bigl(-p(n+\upsilon )-\delta \phi (n+\upsilon )-\eta \bigl(\phi (n+\upsilon ) \bigr)^{3} \bigr) \bigr\vert \\ &\qquad {}+ \Delta ^{-\upsilon } \bigl( \delta \bigl\vert \phi (n+\upsilon )-\psi (n+ \upsilon ) \bigr\vert +\eta \bigl\vert \phi (n+\upsilon )^{3}- \psi (n+ \upsilon )^{3} \bigr\vert \bigr) \\ &\quad \leq \epsilon \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)}+ (\delta +3M\eta ) \Delta ^{-\upsilon } \bigl\vert \phi (n+ \upsilon )-\psi (n+\upsilon ) \bigr\vert . \end{aligned}$$

Using \(\Vert \psi \Vert =\sup_{n \in \mathbb{Q}} \vert \psi (n) \vert \), we have

$$\begin{aligned}& \Vert \phi -\psi \Vert \leq \epsilon \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)}+ (\delta +3M\eta ) \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )} }{\varGamma (\upsilon +1)} \Vert \phi -\psi \Vert , \\& \Vert \phi -\psi \Vert \leq \mathbb{U} \epsilon . \end{aligned}$$

Thus (1.2) is Hyers–Ulam stable, and the stability constant is \(\mathbb{U} = \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)(1-\xi )}\), where \(\xi = \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)} (\delta +3M\eta )\). The proof is complete. □

4 Hyers–Ulam Mittag-Leffler stability

For the initial value problem (1.2), Hyers–Ulam Mittag-Leffler stability is investigated in this section.

Definition 4.1

([35])

The initial value problem (1.2) is Hyers–Ulam Mittag-Leffler stable with \(F_{\upsilon }(\lambda , n)\) if there exists \(\mathbb{V}>0\) with the following property:

For every \(\epsilon >0\), \(\phi (n) \in \mathbb{R}\) satisfies the inequality

$$ \bigl\vert \Delta ^{\upsilon }_{*} \bigl[\phi (n) \bigr]+\delta \phi (n+\upsilon )+ \eta \bigl(\phi (n+\upsilon ) \bigr)^{3} +p(n+\upsilon ) \bigr\vert \leq F_{\upsilon }(\lambda , n)\epsilon , \quad n \in \mathbb{Q,} $$
(4.1)

with \(\phi (0)=A\), \(\Delta (\phi (0))=B\). Then there exists a solution \(\psi (n)\) of (1.2) such that \(\vert \phi (n)-\psi (n) \vert \leq \mathbb{V} \epsilon F_{\upsilon }( \lambda , n)\), where \(F_{\upsilon }(\lambda , n)\) is the discrete Mittag-Leffler function.

Remark 4.2

A function \(\phi \in \mathbb{R}\) solves (3.1) if and only if there exists \(\chi : \mathbb{Q} \times \mathbb{R} \rightarrow \mathbb{R}\) that satisfies

  1. B1

    \(\vert \chi (n+\upsilon ,\phi (n+\upsilon )) \vert \leq \epsilon F_{ \upsilon }(\lambda , n)\), \(n \in \mathbb{Q}\),

  2. B2

    \(\Delta ^{\upsilon }_{*} [\phi (n)]+\delta \phi (n+\upsilon )+\eta (\phi (n+\upsilon ) )^{3} +p(n+\upsilon ) = \chi (n+ \upsilon ,\phi (n+\upsilon ))\).

Lemma 4.3

If ϕ solves (4.1), then

$$\begin{aligned}& \Biggl\vert \phi (n)-A-nB+\frac{1}{\varGamma (\upsilon )}\sum _{r=2- \upsilon }^{n-\upsilon } (n-r-1)^{(\upsilon -1)}\bigl(\delta \phi (r+ \upsilon )+\eta \bigl(\phi (r+\upsilon ) \bigr)^{3} +p(r+\upsilon ) \bigr) \Biggr\vert \\& \quad \leq \frac{\epsilon }{\lambda } F_{\upsilon }(\lambda , n) \end{aligned}$$
(4.2)

for \(n \in \mathbb{Q}\).

Proof

If ϕ solves (4.1), then using Remark (4.2) and (2.2), we have that the solution to \((B2)\) satisfies

$$\begin{aligned} \phi (n) &= \phi (0)+n \Delta \bigl(\phi (0)\bigr) \\ &\quad{}+\frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(\chi \bigl(r+\upsilon ,\phi (r+ \upsilon ) \bigr)\\ &\quad {}-p(r+\upsilon )-\delta \phi (r+\upsilon )-\eta \bigl( \phi (r+\upsilon ) \bigr)^{3} \bigr) \end{aligned}$$

for \(n \in \mathbb{Q}\). Hence we obtain

$$\begin{aligned} & \bigl\vert \phi (n) - \phi (0)-n \Delta \bigl(\phi (0)\bigr) -\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \phi (n+\upsilon )-\eta \bigl(\phi (n+ \upsilon ) \bigr)^{3} \bigr) \bigr\vert \\ &\quad = \bigl\vert \Delta ^{-\upsilon } \chi \bigl(n+\upsilon ,\phi (n+ \upsilon )\bigr) \bigr\vert \\ &\quad \leq \Delta ^{-\upsilon } \bigl\vert \chi \bigl(n+\upsilon ,\phi (n+ \upsilon )\bigr) \bigr\vert \\ &\quad \leq \epsilon \Delta ^{-\upsilon } F_{\upsilon }(\lambda , n) \\ &\quad \leq \frac{\epsilon }{\lambda } F_{\upsilon }(\lambda , n). \end{aligned}$$

This completes the proof. □

Theorem 4.4

Assume that \((H2)\)holds. Let \(\phi \in \mathbb{R}\)solve (4.1) for some \(\epsilon >0\), and let \(\psi \in \mathbb{R}\)be the solution of (3.4). Then (1.2) is Hyers–Ulam Mittag-Leffler stable, provided that

$$ (\mathbb{T}+\upsilon -2)^{(\upsilon )}[\delta +3M\eta ] < \varGamma ( \upsilon +1). $$

Proof

By Lemma (2.4) the solution ψ of (3.4) satisfies

$$\begin{aligned} \psi (n) &= \phi (0)+n \Delta \bigl(\phi (0)\bigr) \\ &\quad{}+\frac{1}{\varGamma (\upsilon )} \sum_{r=2-\upsilon }^{n- \upsilon } (n-r-1)^{(\upsilon -1)} \bigl(-p(r+\upsilon )-\delta \psi (r+ \upsilon )-\eta \bigl(\psi (r+\upsilon ) \bigr)^{3} \bigr) \end{aligned}$$

for \(n \in \mathbb{Q}\). Therefore

$$\begin{aligned} &\bigl\vert \phi (n)-\psi (n) \bigr\vert \\ &\quad = \bigl\vert \phi (n)-\phi (0)-n \Delta \bigl(\phi (0)\bigr) -\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \psi (n+\upsilon )-\eta \bigl(\psi (n+\upsilon ) \bigr)^{3} \bigr) \bigr\vert \\ &\quad = \bigl\vert \phi (n)-\phi (0)-n \Delta \bigl(\phi (0)\bigr) -\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \phi (n+\upsilon )-\eta \bigl(\phi (n+ \upsilon ) \bigr)^{3} \bigr) \\ &\qquad{}-\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \psi (n+ \upsilon )-\eta \bigl(\psi (n+\upsilon ) \bigr)^{3} \bigr) \\ &\qquad{}+\Delta ^{-\upsilon } \bigl(-p(n+\upsilon )-\delta \phi (n+\upsilon )- \eta \bigl(\phi (n+\upsilon ) \bigr)^{3} \bigr) \bigr\vert \\ &\quad \leq \bigl\vert \phi (n)-\phi (0)-n \Delta \bigl(\phi (0)\bigr) -\Delta ^{- \upsilon } \bigl(-p(n+\upsilon )-\delta \phi (n+\upsilon )-\eta \bigl(\phi (n+\upsilon ) \bigr)^{3} \bigr) \bigr\vert \\ &\qquad{}+ \Delta ^{-\upsilon } \bigl( \delta \bigl\vert \phi (n+\upsilon )- \psi (n+ \upsilon ) \bigr\vert +\eta \bigl\vert \phi (n+\upsilon )^{3}-\psi (n+ \upsilon )^{3} \bigr\vert \bigr) \\ &\quad \leq \frac{\epsilon }{\lambda } F_{\upsilon }(\lambda , n)+ ( \delta +3M\eta ) \Delta ^{-\upsilon } \bigl\vert \phi (n+\upsilon )- \psi (n+\upsilon ) \bigr\vert . \end{aligned}$$

Using \(\Vert \psi \Vert =\sup_{n \in \mathbb{Q}} \vert \psi (n) \vert \), we have

$$\begin{aligned} \Vert \phi -\psi \Vert &\leq \frac{\epsilon }{\lambda } F_{ \upsilon }(\lambda , n)+ (\delta +3M\eta ) \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)} \Vert \phi -\psi \Vert , \\ \Vert \phi -\psi \Vert &\leq \mathbb{V} \epsilon F_{\upsilon }( \lambda , n). \end{aligned}$$

Thus we can conclude that (1.2) is Hyers–Ulam Mittag-Lefflar stable with \(\mathbb{V} = \frac{1}{\lambda (1-\xi )} \), where \(\xi = \frac{(\mathbb{T}+\upsilon -2)^{(\upsilon )}}{\varGamma (\upsilon +1)} (\delta +3M\eta )\). This completes the proof. □

5 Applications

Springs are elastic in nature, and thus the original shape is regained after it is subject to some stress. They follow Newton’s third law of motion: the harder you pull, the harder it hits back. The rapid increase in restoring force of a spring than suggested by Hooke’s law remains the main criterion for a spring to be nonlinear and hard. The motion of such hard springs plays a significant role in study and understanding of nonlinear physics. For a hard spring oscillator, the increase in amplitude results in decrease in period.

In this section, we consider a pendulum with its center of mass above its pivot point. One of the common challenges for engineers and researchers is achieving the stability of an inverted pendulum. The applications of the inverted pendulum varies from personal transporters to electronic unicycles. The motion of an inverted pendulum with forcing term \((\tau \sin (\omega t))\) described by Duffing equation is [5]

$$ m{\ell }^{2} \ddot{x}+b\dot{x}+(k-mg\ell ) x + \biggl( \frac{1}{6}mg \ell \biggr) x^{3}+\tau \sin (\omega t)=0, $$
(5.1)

where bẋ is the damping term, k is the stiffness constant, m is the mass provided at the pendulum top by two or more strong magnets, is the effective length of the pendulum, g is the acceleration due to gravity, the maximum torque is denoted by τ, and ω is the driving frequency.

Example 5.1

Consider the inverted pendulum equation neglecting the damping term \((b=0)\). The discrete fractional version of the equation is given by

$$ \textstyle\begin{cases} \Delta ^{1.895}_{*} [\psi (n)]+ (\frac{k}{m\ell ^{2}}- \frac{g}{\ell } )\psi (n+1.895)+ (\frac{g}{6\ell } ) (\psi (n+1.895) )^{3} \\ \quad =-18.5 \sin (n+1.895), \\ \psi (0) = 0 , \qquad \Delta (\psi (0))=1, \end{cases} $$
(5.2)

where \(n \in [0,10] \cap \mathbb{N}_{0.105}\). We will now establish that (5.2) is Hyers–Ulam stable.

Let the parameters take the values \(k = 3.15\), \(m=0.8\text{ kg}\), \(g=9.8\ \frac{\mathrm{m}}{\mathrm{s^{2}}}\), \(\ell =510\text{ mm}\). Then we obtain

$$ \begin{aligned}[b] &E\bigl(n+1.895,\psi (n+1.895)\bigr) \\ &\quad = -18.5\sin (n+1.895)- \biggl( \frac{k}{m\ell ^{2}}-\frac{g}{\ell } \biggr)\psi (n+1.895)- \biggl( \frac{g}{6\ell } \biggr) \bigl(\psi (n+1.895) \bigr)^{3}, \end{aligned} $$

which satisfies the assumption \((H2)\) with \(\sqrt{M} =\max_{n \in \mathbb{Q}} \vert \psi (n) \vert = 1.4149\). Moreover, we get

$$\begin{aligned} &\bigl\vert E\bigl(n+1.895,\psi (n+1.895)\bigr)-E\bigl(n+1.895,\phi (n+1.895) \bigr) \bigr\vert \\ &\quad = \biggl\vert -18.5\sin (n+1.895)- \biggl(\frac{k}{m\ell ^{2}}- \frac{g}{\ell } \biggr)\psi (n+1.895)- \biggl(\frac{g}{6\ell } \biggr) \bigl( \psi (n+1.895) \bigr)^{3} \\ &\qquad{}+18.5\sin (n+1.895)+ \biggl(\frac{k}{m\ell ^{2}}-\frac{g}{\ell } \biggr)\phi (n+1.895)+ \biggl(\frac{g}{6\ell } \biggr) \bigl(\phi (n+1.895) \bigr)^{3} \biggr\vert \\ & \quad \leq \biggl[ \biggl(\frac{k}{m\ell ^{2}}-\frac{g}{\ell } \biggr) + \biggl( \frac{M g}{2\ell } \biggr) \biggr] \vert \psi -\phi \vert \\ &\quad \leq 0.0193 \vert \psi -\phi \vert , \end{aligned}$$

where \(n \in [0,10]\cap \mathbb{N}_{0}\) and \(L=0.0193\). Thus E is Lipschitz continuous for \(n \in [0,10]\cap \mathbb{N}_{0}\). It is clear from Theorem 3.4 that \(\xi = 0.7443<1\).

Let \(\epsilon =0.6\) and \(\psi (n) = \frac{n^{(2)}}{10^{2}}\) for \(n \in [0,10]\cap \mathbb{N}_{0}\). Now we make sure that inequality (3.1) holds. We have

$$\begin{aligned} &\biggl\vert \Delta ^{1.895}_{*} \bigl[\psi (n)\bigr]+ \biggl(\frac{k}{m\ell ^{2}}- \frac{g}{\ell } \biggr)\psi (n+1.895)\\ &\qquad {}+ \biggl( \frac{g}{6\ell } \biggr) \bigl(\psi (n+1.895) \bigr)^{3} +18.5 \sin (n+1.895) \biggr\vert \\ &\quad = \biggl\vert \Delta ^{-0.105}\Delta ^{2} \biggl( \frac{(n)^{(2)}}{100} \biggr)-17.9503+18.5\sin (n+1.895) \biggr\vert \\ &\quad \leq 0.5764 < \epsilon . \end{aligned}$$

Theorem 3.4 clearly shows that (5.2) is Hyers–Ulam stable with \(\mathbb{U}\) as the stability constant.

The value of ξ given in Theorem 3.4 for different fractional orders with lengths varying from 510 mm to 610 mm are tabulated in Table 1 and are plotted in Fig. 2.

Figure 2
figure 2

υ versus ξ

Table 1 Illustration of ξ and υ

Example 5.2

We consider the forced simple harmonic motion equation of discrete-time fractional order. With \(\upsilon =1.5\), \(\delta = 0.01\), and \(p(n+\upsilon ) = 0.2 \cos (n+\upsilon ) \) and neglecting η from (1.2), we arrive at

$$ \textstyle\begin{cases} \Delta ^{1.5}_{*} [\psi (n)]+0.01\psi (n+1.5) +0.2 \cos (n+1.5)=0, \\ \psi (0) = 0 , \qquad \Delta (\psi (0))=1, \end{cases} $$
(5.3)

where \(n \in [0,13] \cap N_{0.5}\). We will prove the Hyers–Ulam stability of (5.3). Straightforward calculations show that

$$ E\bigl(n+1.5,\psi (n+1.5)\bigr) = 0.01\psi (n+1.5) +0.2 \cos (n+1.5) $$

is Lipschitz continuous with \(L=0.01\). The value of ξ in Theorem 3.4 is \(0.3224<1\).

We now ensure that inequality (3.1) holds. Let \(\epsilon =0.72\) and \(\psi (n) = \frac{n^{(2)}}{20}\) for \(n \in [0,13]\cap \mathbb{N}_{0}\). Then

$$\begin{aligned} &\bigl\vert \Delta ^{1.5}_{*} \bigl[\psi (n)\bigr]+0.01\psi (n+1.5)+ 0.2 \cos (n+1.5) \bigr\vert \\ &\quad = \biggl\vert \Delta ^{-0.5} \Delta ^{2} \biggl( \frac{(n)^{(2)}}{20} \biggr)+0.0979+0.2\cos (n+1.5) \biggr\vert \\ &\quad \leq 0.7008 < \epsilon . \end{aligned}$$

Thus (3.1) holds, and Theorem 3.4 confirms the Hyers–Ulam stability of (5.3) with constant \(\mathbb{U}\).

6 Conclusion

Following the trend in investigating equations of fractional order, we consider a discrete fractional form of Duffing equation with forcing term. We accommodate the newly established discrete fractional calculus to determine sufficient conditions for the existence, Hyers–Ulam, stability, and Hyers–Ulam Mittag-Leffler stability for the addressed equation. We analyze practical examples describing the undamped inverted pendulum and forced simple harmonic case as applications of the theoretical results. Stability conditions are obtained numerically for different lengths of the pendulum and the values are thus tabulated and represented graphically. We believe that results of this paper are of utmost importance for audience engaged in studying stability of mathematical models describing real physio-electrical phenomena.

References

  1. Strutt [Lord Rayleigh], J.W.: Theory of Sound, 1. Dover, New York (1877) Re-issued 1945

    Google Scholar 

  2. Van der Pol, B.: On “relaxation-oscillations”. Philos. Mag. 2(7), 978–992 (1926)

    Google Scholar 

  3. Van der Pol, B., Van der Mark, J.: The heartbeat considered as a relaxation oscillation, and an electrical model of the heart. Philos. Mag. 6, 763–775 (1928)

    Article  Google Scholar 

  4. Duffing, G.: Erzwungene Schwingungen bei veränderlicher Eigenfrequenz und ihre technische Bedeutung Vieweg, Braunschweig (1918) (German), 41–42

    MATH  Google Scholar 

  5. Enns, R.H., Mcguire, G.C.: Nonlinear Physics with Mathematica for Scientists and Engineers. Birkhäuser, Boston (2001). ISBN: 3-7643-4223-4

    Book  Google Scholar 

  6. Debnath, L.: Recent applications of fractional calculus to science and engineering. Int. J. Math. Math. Sci. 2003(54), 3413–3442 (2003)

    Article  MathSciNet  Google Scholar 

  7. Mondol, A., Gupta, R., Das, S., Dutta, T.: An insight into Newton’s cooling law using fractional calculus. J. Appl. Phys. 123, 064901 (2018)

    Article  Google Scholar 

  8. Tarasov, V.E.: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, New York (2011)

    Google Scholar 

  9. Baleanu, D., Wu, G.: Some further results of the Laplace transform for variable-order fractional difference equations. Fract. Calc. Appl. Anal. 22(6), 1641–1654 (2019)

    Article  MathSciNet  Google Scholar 

  10. Wu, G., Baleanu, D., Huang, L.: Novel Mittag-Leffler stability of linear fractional delay difference equations with impulse. Appl. Math. Lett. 82, 71–78 (2018)

    Article  MathSciNet  Google Scholar 

  11. Alzabut, J., Abdeljawad, T.: A generalized discrete fractional Gronwall’s inequality and its application on the uniqueness of solutions for nonlinear delay fractional difference system. Appl. Anal. Discrete Math. 12, 036 (2018)

    Article  MathSciNet  Google Scholar 

  12. Alzabut, J., Abdeljawad, T., Baleanu, D.: Nonlinear delay fractional difference equations with applications on discrete fractional Lotka–Volterra competition model. J. Comput. Anal. Appl. 25(5), 889–898 (2018)

    MathSciNet  Google Scholar 

  13. Anastassiou, G.A.: Discrete fractional calculus and inequalities. http://arxiv.org/abs/0911.3370

  14. Atici, F.M., Şengul, S.: Modeling with fractional difference equations. J. Math. Anal. Appl. 369, 1–9 (2010)

    Article  MathSciNet  Google Scholar 

  15. Atici, F.M., Eloe, P.W.: Two-point boundary value problems for finite fractional difference equations. J. Differ. Equ. Appl. 17, 445–456 (2011)

    Article  MathSciNet  Google Scholar 

  16. Atici, F.M., Eloe, P.W.: Initial value problems in discrete fractional calculus. Proc. Am. Math. Soc. 137, 981–989 (2009)

    Article  MathSciNet  Google Scholar 

  17. Atici, F.M., Eloe, P.W.: Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ., Spec. Ed. I 2009, 3, 1–12 (2009)

    MathSciNet  MATH  Google Scholar 

  18. Goodrich, C.S., Peterson, A.C.: Discrete Fractional Calculus. Springer, Cham (2015)

    Book  Google Scholar 

  19. Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Difference Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  20. Zhou, Y., He, J.W., Ahmad, B., Alsaedi, A.: Necessary and sufficient conditions for oscillation of fourth order dynamic equations on time scales. Adv. Differ. Equ. 2019, 308 (2019)

    Article  MathSciNet  Google Scholar 

  21. Zhou, Y., Alsaedi, A., Ahmad, B.: Oscillation and nonoscillation theorems of neutral dynamic equations on time scales. Adv. Differ. Equ. 2019, 404 (2019)

    Article  MathSciNet  Google Scholar 

  22. Zhou, Y., Ahmad, B., Alsaedi, A.: Necessary and sufficient conditions for oscillation of second-order dynamic equations on time scales. Math. Methods Appl. Sci. 42, 4488–4497 (2019). https://doi.org/10.1002/mma.5672

    Article  MathSciNet  MATH  Google Scholar 

  23. Chen, F.: Fixed points and asymptotic stability of nonlinear fractional difference equations. Electron. J. Qual. Theory Differ. Equ. 2011, 39, 1–18 (2011)

    Article  MathSciNet  Google Scholar 

  24. Chen, F., Liu, Z.: Asymptotic stability results for nonlinear fractional difference equations. J. Appl. Math. 2012, Article ID 879657 (2012)

    MathSciNet  MATH  Google Scholar 

  25. Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941)

    Article  MathSciNet  Google Scholar 

  26. Ulam, S.: Problems in Modern Mathematics. Wiley, New York (1964)

    MATH  Google Scholar 

  27. Niazi, A.U.K., Wei, J., Rehman, M.U., Denghao, P.: Ulam–Hyers–Mittag-Leffler stability of nonlinear fractional neutral differential equations. Sb. Math. 209, 1337–1350 (2018)

    Article  MathSciNet  Google Scholar 

  28. Ibrahim, R.W.: Generalized Ulam–Hyers stability for fractional differential equations. Int. J. Math. 23(5), 1250056 (2012)

    Article  MathSciNet  Google Scholar 

  29. Wang, J.R., Zhang, Y.: Ulam–Hyers–Mittag-Leffler stability of fractional-order delay differential equations. Optimization 63(8), 1181–1190 (2014)

    Article  MathSciNet  Google Scholar 

  30. Ahmad, M., Zada, A., Alzabut, J.: Stability analysis for a nonlinear coupled implicit switched singular fractional differential system with p-Laplacian. Adv. Differ. Equ. 2019, 436 (2019)

    Article  MathSciNet  Google Scholar 

  31. Ahmad, M., Zada, A., Alzabut, J.: Hyers–Ulam stability of a coupled system of fractional differential equations of Hilfer–Hadamard type. Demonstr. Math. 52, 283–295 (2019). https://doi.org/10.1515/dema-2019-0024

    Article  MathSciNet  MATH  Google Scholar 

  32. Zada, A., Alzabut, J., Waheed, H., Popa, I.: Ulam–Hyers stability of impulsive integrodifferential equations with Riemann–Liouville boundary conditions. Adv. Differ. Equ. 2020, 64 (2020). https://doi.org/10.1186/s13662-020-2534-1

    Article  MathSciNet  Google Scholar 

  33. Chen, C., Jia, B., Liu, X., Erbe, L.: Existence and uniqueness theorem of the solution to a class of nonlinear nabla fractional difference system with a time delay. Mediterr. J. Math. 15(6), Art. 212, 12 (2018)

    Article  MathSciNet  Google Scholar 

  34. Jonnalagadda, J.M.: Hyers–Ulam stability of fractional nabla difference equations. Int. J. Anal. 2016, Art. ID 7265307, 5 (2016)

    MathSciNet  MATH  Google Scholar 

  35. Chen, C., Bohner, M., Jia, B.: Ulam–Hyers stability of Caputo fractional difference equations. Math. Methods Appl. Sci. 42(18), 7461–7470 (2019). https://doi.org/10.1002/mma.5869

    Article  MathSciNet  MATH  Google Scholar 

  36. Chen, F., Zhou, Y.: Existence of Ulam stability of solutions for discrete fractional boundary value problem. Discrete Dyn. Nat. Soc. 2013, Article ID 459161 (2013)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

J. Alzabut would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally and significantly to this paper. All authors have read and approved the final version of the manuscript.

Corresponding author

Correspondence to J. Alzabut.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Selvam, A.G.M., Baleanu, D., Alzabut, J. et al. On Hyers–Ulam Mittag-Leffler stability of discrete fractional Duffing equation with application on inverted pendulum. Adv Differ Equ 2020, 456 (2020). https://doi.org/10.1186/s13662-020-02920-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-02920-6

MSC

Keywords