Skip to main content

Theory and Modern Applications

Oscillation results for a fractional order dynamic equation on time scales with conformable fractional derivative

Abstract

In this paper, we investigate oscillatory and asymptotic properties for a class of fractional order dynamic equations on time scales, where the fractional derivative is defined in the sense of the conformable fractional derivative. Based on the properties of conformable fractional differential and integral, some new oscillatory and asymptotic criteria are established. Applications of the established results show that they can be used to research oscillation for fractional order equations in various time scales such as fractional order differential equations, fractional order difference equations, and so on.

1 Introduction

In the last few decades, research into oscillation of various equations, including differential equations, difference equations, has been a hot topic in the literature, and much effort has been put in to establish new oscillatory criteria for these equations so far (for example, see [1–12] and the references therein). In [13], Hilger initiated the theory of time scale trying to treat continuous and discrete analysis in a consistent way. Since then, the theory of time scale has received a lot of attention in recent years, and various investigations have been done by many authors [14–28]. Among these investigations, some authors have taken research in oscillation of dynamic equations on time scales (see [29–46] and the references therein). In these investigations for oscillation of dynamic equations on time scales, we notice that most of the results are concerned with dynamic equations involving derivatives of integer order, while none attention has been paid to the research into oscillation of fractional order dynamic equations on time scales so far in the literature.

A time scale is an arbitrary nonempty closed subset of real numbers. \(\mathbb{T}\) denotes an arbitrary time scale. On \(\mathbb{T}\) we define the forward and backward jump operators \(\sigma\in(\mathbb{T},\mathbb{T})\) and \(\rho\in (\mathbb{T},\mathbb{T})\) such that \(\sigma(t)=\inf\{s\in\mathbb{T}, s>t\}\), \(\rho(t)=\sup\{s\in\mathbb{T}, s< t\}\).

A point \(t\in\mathbb{T}\) is said to be left-dense if \(\rho(t)=t\) and \(t\ne\inf\mathbb{T}\), right-dense if \(\sigma(t)=t\) and \(t\ne\sup\mathbb{T}\), left-scattered if \(\rho(t)< t\), and right-scattered if \(\sigma(t)>t\). The set \(\mathbb{T}^{\kappa}\) is defined to be \(\mathbb{T}\) if \(\mathbb{T}\) does not have a left-scattered maximum, otherwise it is \(\mathbb{T}\) without the left-scattered maximum.

A function \(f\in(\mathbb{T}, \mathbb{R})\) is called rd-continuous if it is continuous at right-dense points and if the left-sided limits exist at left-dense points, while f is called regressive if \(1+\mu(t)f(t)\neq0\), where \(\mu(t)=\sigma(t)-t\). \(C_{\mathrm{rd}}\) denotes the set of rd-continuous functions, while \(\mathfrak{R}\) denotes the set of all regressive and rd-continuous functions, and \(\mathfrak{R}^{+}=\{f|f\in \mathfrak{R}, 1+\mu(t)f(t)>0, \forall t\in\mathbb{T}\}\).

Definition 1.1

For some \(t\in\mathbb{T}^{\kappa}\), and a function \(f\in(\mathbb{T},\mathbb{R})\), the delta derivative of f at t is denoted by \(f^{\Delta}(t)\) (provided it exists) with the property such that for every \(\varepsilon>0\) there exists a neighborhood \(\mathfrak{U}\) of t satisfying

$$\bigl\vert f\bigl(\sigma(t)\bigr)-f(s)-f^{\Delta}(t) \bigl(\sigma(t)-s \bigr) \bigr\vert \leq \varepsilon \bigl\vert \sigma(t)-s \bigr\vert \quad \mbox{for all } s\in\mathfrak{U}. $$

Note that if \(\mathbb{T}=\mathbb{R}\), then \(f^{\Delta}(t)\) becomes the usual derivative \(f'(t)\), while \(f^{\Delta}(t)=f(t+1)-f(t)\) if \(\mathbb{T}=\mathbb{Z}\), which represents the forward difference.

Definition 1.2

For \(p\in\mathfrak{R}\), the \(exponential function\) is defined by

$$e_{p}(t,s)=\exp\biggl( \int_{s}^{t}\xi_{\mu(\tau)}\bigl(p(\tau)\bigr) \Delta\tau\biggr) \quad \mbox{for } s,t\in\mathbb{T} . $$

If \(\mathbb{T}=\mathbb{R}\), then

$$e_{p}(t,s)=\exp\biggl( \int_{s}^{t}p(\tau)\, d\tau\biggr) \quad \mbox{for } s, t\in \mathbb{R} . $$

If \(\mathbb{T}=\mathbb{Z}\), then

$$e_{p}(t,s)= \prod_{\tau=s}^{t-1} \bigl[1+p(\tau)\bigr]\quad \mbox{for } s, t\in\mathbb{Z}, s< t . $$

According to [47, Theorem 5.2], if \(p\in\mathfrak{R}^{+}\), then \(e_{p}(t,s)>0\) for \(\forall s, t\in\mathbb{T}\).

Recently, Benkhettou et al. developed a conformable fractional calculus theory on arbitrary time scales [48], and established the basic tools for fractional differentiation and fractional integration on time scales.

Definition 1.3

([48, Definition 1])

For \(t\in\mathbb{T}^{\kappa }\), \(\alpha\in(0,1]\), and a function \(f\in(\mathbb{T},\mathbb{R})\), the fractional derivative of α order for f at t is denoted by \(f^{(\alpha)}(t)\) (provided it exists) with the property such that for every \(\varepsilon>0\) there exists a neighborhood \(\mathfrak{U}\) of t satisfying

$$\bigl\vert \bigl[f\bigl(\sigma(t)\bigr)-f(s)\bigr]t^{1-\alpha}-f^{(\alpha)}(t) \bigl(\sigma(t)-s\bigr) \bigr\vert \leq \varepsilon \bigl\vert \sigma(t)-s \bigr\vert \quad \mbox{for all } s\in\mathfrak{U} . $$

Definition 1.4

([48, Definition 28])

If \(F^{(\alpha)}(t)=f(t)\), \(t\in \mathbb{T}^{\kappa}\), then F is called an α-order antiderivative of f, and the Cauchy α-fractional integral of f is defined by

$$\int_{a}^{b}f(t)\Delta^{\alpha} t= \int _{a}^{b}f(t)t^{\alpha-1}\Delta t=F(b)-F(a),\quad \mbox{where }a, b\in\mathbb{T}. $$

Theorem 1.5

([48, Theorem 4])

For \(t\in\mathbb{T}^{\kappa}\), \(\alpha\in(0,1]\), and a function \(f\in(\mathbb{T},\mathbb{R})\), the following conclusions hold:

  1. (i)

    If f is conformal fractional differentiable of order α at \(t>0\), then f is continuous at t.

  2. (ii)

    If f is continuous at t and t is right-scattered, then f is conformable fractional differentiable of order α at t with \(f^{(\alpha)}(t)=\frac{ f(\sigma(t))-f(t)}{ \sigma(t)-t}t^{1-\alpha}=\frac{ f(\sigma (t))-f(t)}{ \mu(t)}t^{1-\alpha}\).

  3. (iii)

    If t is right-dense, then f is conformable fractional differentiable of order α at t if, and only if, the limit \(\lim_{s\rightarrow t}\frac{ f(s)-f(t)}{ s-t}t^{1-\alpha}\) exists as a finite number. In this case, \(f^{(\alpha)}(t)= \lim_{s\rightarrow t}\frac{ f(s)-f(t)}{ s-t}t^{1-\alpha}\).

  4. (iv)

    If f is fractional differentiable of order α at t, then \(f(\sigma(t))=f(t)+\mu(t)t^{1-\alpha}f^{(\alpha)}(t)\).

Corollary 1.6

According to the definition of the conformable fractional differentiable of order α, it holds that \(f^{(\alpha )}(t)=t^{1-\alpha}f^{\Delta}(t)\), where \(f^{\Delta}(t)\) is the usual Δ derivative in the case \(\alpha=1\). Furthermore, if \(f^{(\alpha )}(t)>0\) (<0) for \(t>0\), then f is increasing (decreasing) for \(t>0\).

Theorem 1.7

Let \(\widetilde{p}(t)=t^{\alpha-1}p(t)\), \(\alpha\in (0,1]\). If \(\widetilde{p}\in\mathfrak{R}\), and fix \(t_{0}\in\mathbb{T}\), then the exponential function \(e_{\widetilde{p}}(t,t_{0})\) is the unique solution of the following initial value problem:

$$ \textstyle\begin{cases} y^{(\alpha)}(t)=p(t)y(t), \\ y(t_{0})=1. \end{cases} $$

Proof

By [47, Theorem 5.1], if \(p\in\mathfrak{R}\), and fix \(t_{0}\in\mathbb{T}\), then the exponential function \(e_{p}(t,t_{0})\) is the unique solution of the following initial value problem:

$$ \textstyle\begin{cases} y^{\Delta}(t)=p(t)y(t), \\ y(t_{0})=1. \end{cases} $$

So, according to Corollary 1.6, one has

$$\bigl(e_{\widetilde{p}}(t,t_{0})\bigr)^{(\alpha)}=t^{1-\alpha} \bigl(e_{\widetilde {p}}(t,t_{0})\bigr)^{\Delta} =t^{1-\alpha} \widetilde{p}(t)e_{\widetilde{p}}(t,t_{0})=p(t)e_{\widetilde {p}}(t,t_{0}), $$

which confirms the proof. □

Theorem 1.8

([48, Theorem 15])

Assume that \(f, g\in(\mathbb {T},\mathbb{R})\) are conformable fractional differentiable of order α. Then

  1. (i)

    \((f+g)^{(\alpha)}(t)=f^{(\alpha)}(t)+g^{(\alpha)}(t)\).

  2. (ii)

    \((fg)^{(\alpha)}(t)=f^{(\alpha)}(t)g(t)+f(\sigma(t))g^{(\alpha )}(t)=f^{(\alpha)}(t)g(\sigma(t))+f(t)g^{(\alpha)}(t)\).

  3. (iii)

    \((\frac{ 1}{ f})^{(\alpha)}(t)=-\frac { f^{(\alpha)}(t)}{ f(t)f(\sigma(t))}\).

  4. (iv)

    \((\frac{ f}{ g})^{(\alpha)}(t)=\frac { f^{(\alpha)}(t)g(t)-f(t)g^{(\alpha)}(t)}{ g(t)g(\sigma(t))}\).

Theorem 1.9

Let \(\alpha\in(0,1]\), f, g be two rd-continuous functions. Then

$$\int_{a}^{b}f^{(\alpha)}(t)g(t) \Delta^{\alpha} t=\bigl[f(t)g(t)\bigr]_{a}^{b}- \int_{a}^{b}f\bigl(\sigma(t)\bigr)g^{(\alpha)}(t) \Delta ^{\alpha} t. $$

The proof of Theorem 1.9 can be reached by fulfilling α-fractional integral for the first equality in Theorem 1.8(ii).

For more details about the calculus of time scales, we refer to [49].

In this paper, we investigate oscillatory and asymptotic behavior of solutions of the following fractional order dynamic equation on time scales:

$$ \bigl(a(t) \bigl(\bigl[r(t)x^{(\alpha)}(t)\bigr]^{(\alpha)} \bigr)^{\gamma}\bigr)^{(\alpha )}+p(t) \bigl(\bigl[r(t)x^{(\alpha)}(t) \bigr]^{(\alpha)}\bigr)^{\gamma}+q(t)f\bigl(x(t)\bigr)=0,\quad t\in \mathbb{T}_{0}, $$
(1.1)

where \(\mathbb{T}\) is an arbitrary time scale, \(\mathbb {T}_{0}=[t_{0},\infty)\cap\mathbb{T}\), \(a, r, p, q\in C_{\mathrm{rd}}(\mathbb {T}_{0},\mathbb{R}_{+})\), \(f\in C(\mathbb{R},\mathbb{R})\) satisfying \(xf(x)>0\), \(\frac { f(x)}{ x^{\gamma}}\geq L>0\) for \(x\neq0\), and \(\gamma\geq1\) is a quotient of two odd positive integers.

A solution of Eq. (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative; otherwise it is nonoscillatory. Equation (1.1) is said to be oscillatory in case all its solutions are oscillatory.

We will establish some new criteria of oscillatory and asymptotic behavior for Eq. (1.1) based on the properties of conformable fractional differential and integral together with a generalized Riccati transformation technique in Sect. 2, and present some applications for the established results in Sect. 3. Some conclusions are presented in Sect. 4. Throughout this paper, \(\mathbb{R}\) denotes the set of real numbers and \(\mathbb{R}_{+}=(0,\infty)\), while \(\mathbb{Z}\) denotes the set of integers. \(\widetilde{p}(t)=t^{\alpha -1}p(t)\), \(t_{i}\in\mathbb{T}\), \([t_{i},\infty)_{\mathbb{T}}=[t_{i},\infty )\cap{\mathbb{T}}\), \(i=0,1,\ldots,5\). \(\vartheta_{1}(t,a)=\int_{a}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}\Delta^{\alpha}s\), \(\vartheta_{2}(t,a)=\int_{a}^{t}\frac{ \vartheta _{1}(s,a)}{ r(s)}\Delta^{\alpha}s\).

2 Main results

Lemma 2.1

Suppose \(-\frac{ \widetilde {p}}{ a}\in\mathfrak{R}_{+}\), and assume that

$$\begin{aligned}& \int_{t_{0}}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)} \Delta^{\alpha}s=\infty, \end{aligned}$$
(2.1)
$$\begin{aligned}& \int_{t_{0}}^{\infty}\frac{ 1}{ r(s)}\Delta ^{\alpha}s=\infty, \end{aligned}$$
(2.2)

and Eq. (1.1) has an eventually positive solution x. Then the following conclusions hold.

  1. (i)

    There exists a sufficiently large \(T_{1}^{*}\in\mathbb{T}\) such that

    $$\biggl(\frac{ a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}\biggr)^{(\alpha)}< 0,\qquad \bigl[r(t)x^{(\alpha)}(t) \bigr]^{(\alpha)}>0 \quad \textit{on } \bigl[T_{1}^{*}, \infty\bigr)_{\mathbb{T}} . $$
  2. (ii)

    If we assume that

    $$\begin{aligned}& \lim_{t\rightarrow \infty}\sup \int_{t_{0}}^{t}\biggl[\frac{ 1}{ r(\xi ) } \int_{\xi}^{\infty}\biggl(\frac{ e_{-\frac{\widetilde {p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac { q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau\biggr]\Delta^{\alpha}\xi \\& \quad = \infty, \end{aligned}$$
    (2.3)

    then either there exists a sufficiently large \(T_{2}^{*}\in\mathbb{T}\) such that \(x^{(\alpha)}(t)>0\) on \([T_{2}^{*},\infty)_{\mathbb{T}}\) or \(\lim_{t\rightarrow\infty}x(t)=0\).

Proof of (i)

According to \(-\frac{ \widetilde {p}}{ a}\in\mathfrak{R}_{+}\), one has \(e_{-\frac{\widetilde {p}}{a}}(t,t_{0})>0\). Since x is eventually a positive solution of (1.1), there exists a sufficiently large \(t_{1}\) such that \(x(t)>0\) on \([t_{1},\infty)_{\mathbb{T}}\), and for \(t\in[t_{1},\infty)_{\mathbb{T}}\), by use of Theorem 1.8(iv) and Theorem 1.7, one can deduce that

$$\begin{aligned}& \biggl(\frac{ a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}\biggr)^{(\alpha)} \\& \quad = \frac{ e_{-\frac{\widetilde {p}}{a}}(t,t_{0})(a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma })^{(\alpha)}- (e_{-\frac{\widetilde{p}}{a}}(t,t_{0}))^{(\alpha)}a(t)([r(t)x^{(\alpha )}(t)]^{(\alpha)})^{\gamma}}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})e_{-\frac{\widetilde{p}}{a}}(\sigma (t),t_{0})} \\& \quad = \frac{ (a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma })^{(\alpha)}+ p(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma}}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}=\frac{ -q(t)f(x(t))}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}< 0. \end{aligned}$$
(2.4)

So by Corollary 1.6 one can see that \(\frac{ a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma}}{ e_{-\frac {\widetilde{p}}{a}}(t,t_{0})}\) is decreasing on \([t_{1},\infty)_{\mathbb{T}}\), and considering \(a(t)>0\), \(e_{-\frac{\widetilde{p}}{a}}(t,t_{0})>0\), one can deduce that \([r(t)x^{(\alpha)}(t)]^{(\alpha)}\) is eventually of one sign.

Now we claim \([r(t)x^{(\alpha)}(t)]^{(\alpha)}>0\) on \([t_{2},\infty)_{\mathbb{T}}\). Otherwise, assume there exists sufficiently large \(t_{3}>t_{2}\) such that \([r(t)x^{(\alpha)}(t)]^{(\alpha)}<0\) on \([t_{3},\infty)_{\mathbb{T}}\). Then by Corollary 1.6 one can see \(r(t)x^{(\alpha)}(t)\) is strictly decreasing, and due to Definition 1.4 it holds that

$$\begin{aligned} r(t)x^{(\alpha)}(t)-r(t_{3})x^{(\alpha)}(t_{3}) =& \int_{t_{3}}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})a(s)]^{\frac {1}{\gamma}}[r(s)x^{(\alpha)}(s)]^{(\alpha)}}{ [e_{-\frac {\widetilde{p}}{a}}(s,t_{0})a(s)]^{\frac{1}{\gamma}}}\Delta^{\alpha} s \\ \leq& \frac{ a^{\frac{1}{\gamma}}(t_{3})[r(t_{3})x^{(\alpha )}(t_{3})]^{(\alpha)}}{ [e_{-\frac{\widetilde {p}}{a}}(t_{3},t_{0})]^{\frac{1}{\gamma}}} \int_{t_{3}}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}\Delta^{\alpha} s. \end{aligned}$$
(2.5)

From (2.1) one can see that \(\lim_{t\rightarrow \infty}r(t)x^{(\alpha)}(t)=-\infty\), and thus there exists a sufficiently large \(t_{4}\in[t_{3},\infty)_{\mathbb{T}}\) such that \(r(t)x^{(\alpha)}(t)<0\) on \([t_{4},\infty)_{\mathbb{T}}\). Furthermore,

$$x(t)-x(t_{4})= \int_{t_{4}}^{t}\frac{ r(s)x^{(\alpha)}(s) }{ r(s)}\Delta^{\alpha} s\leq r(t_{4})x^{(\alpha)}(t_{4}) \int_{t_{4}}^{t}\frac{ 1}{ r(s)}\Delta^{\alpha} s. $$

Using (2.2) one has \(\lim_{t\rightarrow \infty}x(t)=-\infty\), which leads to a contradiction. So it holds that \([r(t)x^{(\alpha)}(t)]^{(\alpha)}>0\) on \([t_{2},\infty)_{\mathbb{T}}\), and the proof is complete after setting \(T_{1}^{*}=t_{2}\). □

Proof of (ii)

According to (i), one can obtain that \(x^{(\alpha)}(t)\) is eventually of one sign. So there exists a sufficiently large \(t_{5}>t_{4}\) such that either \(x^{(\alpha)}(t)>0\) or \(x^{(\alpha)}(t)<0\) on \([t_{5},\infty)_{\mathbb{T}}\), where \(t_{4}\) is defined as in Lemma 2.1.

If \(x^{(\alpha)}(t)<0\), considering \(x(t)\) is an eventually positive solution of Eq. (1.1), one can obtain that \(\lim_{t\rightarrow \infty}x(t)=\beta_{1}\geq0\) and \(\lim_{t\rightarrow \infty}r(t)x^{(\alpha)}(t)=\beta_{2}\leq0\).

We claim \(\beta_{1}=0\). Otherwise, if we assume \(\beta_{1}>0\), then \(x(t)\geq\beta_{1}\) on \([t_{5},\infty)_{\mathbb{T}}\), and for \(t\in[t_{5},\infty)\cap \mathbb{T}\), fulfilling α-fractional integral for (2.4) from t to ∞, considering \(\frac{ f(x)}{ x^{\gamma}}\geq L>0\), we get that

$$\begin{aligned} \begin{aligned} -\frac{ a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}&=- \lim_{t\rightarrow \infty}\frac{ a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha )})^{\gamma}}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}+ \int _{t}^{\infty}\frac{ -q(s)f(x(s))}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s \\ &\leq- \lim_{t\rightarrow \infty}\frac{ a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha )})^{\gamma}}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}+ \int _{t}^{\infty}\frac{ -Lq(s)x^{\gamma}(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s \\ &\leq-L \int_{t}^{\infty}\frac{ q(s)x^{\gamma }(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s \leq -L\beta_{1}^{\gamma} \int_{t}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s , \end{aligned} \end{aligned}$$

which means

$$ -\bigl[r(t)x^{(\alpha)}(t)\bigr]^{(\alpha)}\leq-\biggl\{ L \beta_{1}^{\gamma}\biggl[\frac { e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}{ a(t) } \int_{t}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s\biggr]\biggr\} ^{\frac {1}{\gamma}}. $$
(2.6)

Substituting t with τ in (2.6), fulfilling α-fractional integral for (2.6) with respect to τ from t to ∞ yields

$$\begin{aligned} r(t)x^{(\alpha)}(t) =& \lim_{t\rightarrow \infty}r(t)x^{(\alpha)}(t)- \beta_{1} L^{\frac{1}{\gamma}} \int_{t}^{\infty }\biggl(\frac{ e_{-\frac{\widetilde{p}}{a}}(\tau ,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha} s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau \\ =&\beta_{2}-\beta_{1} L^{\frac{1}{\gamma}} \int_{t}^{\infty}\biggl(\frac{ e_{-\frac{\widetilde{p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha} s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau \\ \leq&-\beta_{1} L^{\frac{1}{\gamma}} \int_{t}^{\infty}\biggl(\frac{ e_{-\frac{\widetilde{p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha} s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau , \end{aligned}$$

which implies

$$ x^{(\alpha)}(t)\leq-\beta_{1} L^{\frac{1}{\gamma}}\frac{ 1}{ r(t) } \int_{t}^{\infty}\biggl(\frac{ e_{-\frac {\widetilde{p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau }^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha} s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau. $$
(2.7)

Substituting t with ξ in (2.7), fulfilling α-fractional integral for (2.7) with respect to ξ from \(t_{5}\) to t yields

$$\begin{aligned}& x(t)-x(t_{5}) \\& \quad \leq-\beta_{1} L^{\frac{1}{\gamma}} \int_{t_{5}}^{t}\biggl[\frac { 1}{ r(\xi) } \int_{\xi}^{\infty}\biggl(\frac { e_{-\frac{\widetilde{p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau\biggr]\Delta^{\alpha}\xi. \end{aligned}$$
(2.8)

By (2.8) and (2.3) one can deduce that \(\lim_{t\rightarrow \infty}x(t)=-\infty\), which leads to a contradiction. So we have \(\beta _{1}=0\), and the proof is complete. □

Lemma 2.2

If \(-\frac{ \widetilde{p}}{ a}\in\mathfrak{R}_{+}\), and x is a positive solution of Eq. (1.1) such that

$$\bigl[r(t)x^{(\alpha)}(t)\bigr]^{(\alpha)}>0,\qquad x^{(\alpha)}(t)>0 \quad \textit{on } \bigl[T_{3}^{*},\infty\bigr)_{\mathbb{T}} , $$

where \(T_{3}^{*}\in\mathbb{T}\) is sufficiently large, then for \(t\in[T_{3}^{*},\infty)_{\mathbb{T}}\) it holds that

$$x^{(\alpha) }(t)\geq\frac{ \vartheta_{1}(t,T_{3}^{*})}{ r(t)}\biggl\{ \frac{ a^{\frac{1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}\biggr\} $$

and

$$x(t)\geq\vartheta_{2}\bigl(t,T_{3}^{*}\bigr)\biggl\{ \frac{ a^{\frac {1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}\biggr\} . $$

Proof

Take \(T_{3}^{*}>\max(T_{1}^{*},T_{2}^{*})\), where \(T_{1}^{*}\), \(T_{2}^{*}\) are defined as in Lemma 2.1. By Lemma 2.1 one can see that \(\frac { a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}\) is decreasing on \([T_{3}^{*},\infty)\). Then

$$\begin{aligned} r(t)x^{(\alpha)}(t) \geq& r(t)x^{(\alpha)}(t)-r\bigl(T_{3}^{*} \bigr)x^{(\alpha )}\bigl(T_{3}^{*}\bigr)= \int_{T_{3}^{*}}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})a(s)]^{\frac {1}{\gamma}}[r(s)x^{(\alpha)}(s)]^{(\alpha)}}{ [e_{-\frac {\widetilde{p}}{a}}(s,t_{0})a(s)]^{\frac{1}{\gamma}}}\Delta^{\alpha}s \\ \geq&\frac{ a^{\frac{1}{\gamma }}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}} \int_{T_{3}^{*}}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}\Delta^{\alpha}s=\vartheta_{1}\bigl(t,T_{3}^{*}\bigr)\frac{ a^{\frac{1}{\gamma }}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}, \end{aligned}$$

and

$$x^{(\alpha)}(t)\geq\frac{ \vartheta_{1}(t,T_{3}^{*})}{ r(t)}\biggl\{ \frac{ a^{\frac{1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}\biggr\} . $$

Furthermore,

$$\begin{aligned} x(t) \geq& x(t)-x\bigl(T_{3}^{*}\bigr)= \int_{T_{3}^{*}}^{t}x^{(\alpha)}(s)\Delta^{\alpha} s\geq \int_{T_{3}^{*}}^{t}\frac{ \vartheta _{1}(s,T_{3}^{*})}{ r(s)}\biggl\{ \frac{ a^{\frac{1}{\gamma}}(s)[r(s)x^{(\alpha)}(s)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac{1}{\gamma}}}\biggr\} \Delta ^{\alpha} s \\ \geq& \biggl\{ \frac{ a^{\frac{1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}\biggr\} \int _{T_{3}^{*}}^{t}\frac{ \vartheta_{1}(s,T_{3}^{*})}{ r(s)}\Delta^{\alpha} s=\vartheta_{2}\bigl(t,T_{3}^{*}\bigr)\biggl\{ \frac{ a^{\frac{1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}\biggr\} . \end{aligned}$$

The proof is complete. □

Lemma 2.3

([50, Theorem 41])

Assume that X and Y are nonnegative real numbers. Then

$$\lambda XY^{\lambda-1}-X^{\lambda}\leq(\lambda-1)Y^{\lambda} \quad \textit{for all } \lambda>1. $$

Theorem 2.4

Suppose \(-\frac{ \widetilde {p}}{ a}\in\mathfrak{R}_{+}\), and assume that (2.1)–(2.3) hold, and for all sufficiently large T,

$$\begin{aligned}& \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{t}\biggl\{ L\frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)}+\frac{ \varsigma(s)\vartheta_{1}(s,T)[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \quad {}-\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,T) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T) }\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s\biggr\} =\infty, \end{aligned}$$
(2.9)

where ς, η are two given nonnegative functions on \(\mathbb{T}\) with \(\varsigma(t)>0\). Then every solution of Eq. (1.1) is oscillatory or tends to zero.

Proof

Assume that (1.1) has a nonoscillatory solution \(x(t)\) on \(\mathbb{T}_{0}\). Without loss of generality, we may assume \(x(t)>0\) on \([t_{1},\infty)_{\mathbb{T}}\), where \(t_{1}\) is sufficiently large. According to Lemma 2.1, there exists sufficiently large \(t_{2}\) such that \([r(t)x^{(\alpha)}(t)]^{(\alpha)}>0\) on \([t_{2},\infty)_{\mathbb {T}}\), and either \(x^{(\alpha)}(t)>0\) on \([t_{2},\infty)_{\mathbb{T}}\) or \(\lim_{t\rightarrow\infty}x(t)=0\).

Now we assume \(x^{(\alpha)}(t)>0\) on \([t_{2},\infty)_{\mathbb{T}}\). Define a generalized Riccati function:

$$\omega(t)=\varsigma(t)a(t)\biggl[\frac{ ([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma}}{ x^{\gamma }(t)e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}+\eta(t)\biggr]. $$

Then, for \(t\in[t_{2},\infty)_{\mathbb{T}}\), by Theorems 1.7–1.8 one has

$$\begin{aligned} \omega^{(\alpha)}(t) =&\frac{ \varsigma(t)}{ x^{\gamma}(t)} \biggl\{ \frac{ a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma}}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})}\biggr\} ^{(\alpha)}+\biggl[\frac{ \varsigma(t)}{ x^{\gamma}(t)}\biggr]^{(\alpha)}\frac { a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} \\ &{}+\varsigma(t)\bigl[a(t)\eta(t)\bigr]^{(\alpha)}+\varsigma ^{(\alpha)}(t)a\bigl(\sigma(t)\bigr)\eta\bigl(\sigma(t)\bigr) \\ =&\frac{ \varsigma(t)}{ x^{\gamma}(t)} \biggl\{ \frac{ e_{-\frac{\widetilde {p}}{a}}(t,t_{0})(a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma })^{(\alpha)}- (e_{-\frac{\widetilde{p}}{a}}(t,t_{0}))^{(\alpha)}a(t)([r(t)x^{(\alpha )}(t)]^{(\alpha)})^{\gamma}}{ e_{-\frac{\widetilde{p}}{a}}(t,t_{0})e_{-\frac{\widetilde{p}}{a}}(\sigma (t),t_{0})}\biggr\} \\ &{}+\biggl[\frac{ x^{\gamma}(t)\varsigma^{(\alpha )}(t)-(x^{\gamma}(t))^{(\alpha)}\varsigma(t)}{ x^{\gamma }(t)x^{\gamma}(\sigma(t))}\biggr]\frac{ a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} \\ &{}+\varsigma(t)\bigl[a(t) \eta (t)\bigr]^{(\alpha)}+\varsigma^{(\alpha)}(t)a\bigl(\sigma(t)\bigr)\eta \bigl(\sigma(t)\bigr) \\ =&\frac{ \varsigma(t)}{ x^{\gamma}(t)} \biggl[\frac{ (a(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma})^{(\alpha)}+ p(t)([r(t)x^{(\alpha)}(t)]^{(\alpha)})^{\gamma}}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}\biggr]+\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega \bigl(\sigma(t)\bigr) \\ &{}-\biggl[\frac{ \varsigma(t)(x^{\gamma}(t))^{(\alpha )}}{ x^{\gamma}(t)}\biggr]\frac{ a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ x^{\gamma}(\sigma(t)) e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t) \eta (t)\bigr]^{(\alpha)} \\ =&-\frac{ \varsigma(t)}{ x^{\gamma}(t)} \biggl[\frac{ q(t)f(x(t))}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}\biggr]+\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega \bigl(\sigma(t)\bigr) \\ &{}-\biggl[\frac{ \varsigma(t)(x^{\gamma}(t))^{(\alpha )}}{ x^{\gamma}(t)}\biggr]\frac{ a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ x^{\gamma}(\sigma(t)) e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t) \eta (t)\bigr]^{(\alpha)} \\ \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega\bigl(\sigma(t)\bigr) \\ &{}- \biggl[\frac{ \varsigma(t)(x^{\gamma}(t))^{(\alpha)}}{ x^{\gamma}(t)}\biggr]\frac{ a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ x^{\gamma}(\sigma(t)) e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t)\eta (t) \bigr]^{(\alpha)} . \end{aligned}$$

By [49, Theorems 1.87 and 1.93], we have \((x^{\gamma}(t))^{\Delta}\geq \gamma x^{\gamma-1}(t)x^{\Delta}(t)\). So by Corollary 1.6 it holds that \((x^{\gamma}(t))^{(\alpha)}=t^{1-\alpha}(x^{\gamma}(t))^{\Delta}\geq t^{1-\alpha}\gamma x^{\gamma-1}(t)x^{\Delta}(t)= \gamma x^{\gamma -1}(t)x^{(\alpha)}(t)\), which implies

$$\begin{aligned} \omega^{(\alpha)}(t) \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega \bigl(\sigma(t)\bigr) \\ &{}-\varsigma(t)\biggl[\frac{ \gamma x^{\gamma-1}(t)x^{(\alpha)}(t)}{ x^{\gamma}(t)}\biggr] \frac{ a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ x^{\gamma}(\sigma(t)) e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t)\eta (t)\bigr]^{(\alpha)} \\ \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega\bigl(\sigma(t)\bigr) \\ &{} -\biggl[\frac{ \gamma\varsigma(t)}{ x(\sigma(t))}\biggr]\biggl\{ \frac{ \vartheta_{1}(t,t_{2})}{ r(t)}\biggl[ \frac{ a^{\frac{1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}\biggr]\biggr\} \\ &{}\times\frac { a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ x^{\gamma}(\sigma(t)) e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t)\eta (t) \bigr]^{(\alpha)} \\ \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega\bigl(\sigma(t)\bigr) \\ &{}-\gamma \frac{ \varsigma(t)\vartheta_{1}(t,t_{2})}{ r(t)}\biggl[\frac { \omega(\sigma(t))}{ \varsigma(\sigma(t))}-a\bigl(\sigma(t)\bigr)\eta\bigl( \sigma(t)\bigr)\biggr]^{1+\frac{1}{\gamma }} \\ &{}+\varsigma(t)\bigl[a(t)\eta(t) \bigr]^{(\alpha)}, \end{aligned}$$
(2.10)

where Lemma 2.2 has been used in the last two steps.

On the other hand, by use of the following inequality (see [51, Eq. (2.17)]):

$$(u-v)^{1+\frac{1}{\gamma}}\geq u^{1+\frac{1}{\gamma}}+\frac { 1}{ \gamma}v^{1+\frac{1}{\gamma}}- \biggl(1+\frac { 1}{ \gamma}\biggr)v^{\frac{1}{\gamma}}u, $$

where u, v are constants and \(\gamma\geq1\) is a quotient of two odd positive integers, one can obtain that

$$\begin{aligned}& \biggl[\frac{ \omega(\sigma(t))}{ \varsigma(\sigma(t))}-a\bigl(\sigma(t)\bigr)\eta\bigl(\sigma(t)\bigr) \biggr]^{1+\frac{1}{\gamma }} \\& \quad \geq\frac{ \omega^{1+\frac{1}{\gamma}}(\sigma(t))}{ \varsigma^{1+\frac{1}{\gamma}}(\sigma(t))}+\frac{ 1}{ \gamma} \bigl[a\bigl(\sigma(t)\bigr)\eta \bigl(\sigma(t)\bigr)\bigr]^{1+\frac{1}{\gamma}} \\& \qquad {}-\biggl(1+\frac { 1}{ \gamma}\biggr) \frac{ [a(\sigma(t))\eta(\sigma(t))]^{\frac{1}{\gamma}}\omega(\sigma (t))}{ \varsigma(\sigma(t))}. \end{aligned}$$
(2.11)

So, by a combination of (2.10) and (2.11), one can deduce that

$$\begin{aligned} \omega^{(\alpha)}(t) \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\varsigma(t)\bigl[a(t)\eta(t) \bigr]^{(\alpha)} \\ &{}-\frac{ \varsigma(t)\vartheta_{1}(t,t_{2})[a(\sigma(t))\eta(\sigma(t))]^{1+\frac {1}{\gamma}}}{ r(t)} \\ &{}+\frac{ r(t)\varsigma^{(\alpha)}(t)+(\gamma+1)\varsigma(t)\vartheta _{1}(t,t_{2})[a(\sigma(t))\eta(\sigma(t))]^{\frac{1}{\gamma }}}{ r(t)\varsigma(\sigma(t))}\omega\bigl(\sigma(t)\bigr) \\ &{}-\gamma\frac{ \varsigma(t)\vartheta_{1}(t,t_{2})}{ r(t)} \frac{ \omega^{1+\frac{1}{\gamma}}(\sigma(t))}{ \varsigma^{1+\frac {1}{\gamma}}(\sigma(t))}. \end{aligned}$$
(2.12)

Setting

$$\begin{aligned}& \lambda=1+\frac{1}{\gamma} , \qquad X^{\lambda}=\gamma\frac{ \varsigma(t)\vartheta_{1}(t,t_{2})}{ r(t)} \frac{ \omega^{1+\frac{1}{\gamma}}(\sigma(t))}{ \varsigma^{1+\frac {1}{\gamma}}(\sigma(t))} , \\& Y^{\lambda-1}=\gamma^{\frac{1}{\gamma+1}}\biggl[\frac{ r(t)\varsigma^{(\alpha)}(t) +(\gamma+1)\varsigma(t)\vartheta_{1}(t,t_{2})[a(\sigma(t))\eta(\sigma(t))] ^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma +1}}(t)\varsigma^{\frac{\gamma}{\gamma+1}}(t)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(t,t_{2})}\biggr] , \end{aligned}$$

an application of Lemma 2.3 to (2.12) yields that

$$\begin{aligned} \begin{aligned}[b] \omega^{(\alpha)}(t)&\leq-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\varsigma(t)\bigl[a(t)\eta(t) \bigr]^{(\alpha)}-\frac{ \varsigma(t)\vartheta_{1}(t,t_{2})[a(\sigma(t))\eta(\sigma(t))]^{1+\frac {1}{\gamma}}}{ r(t)} \\ &\quad {}+\biggl[\frac{ r(t)\varsigma^{(\alpha)}(t)+(\gamma+1)\varsigma(t)\vartheta_{1}(t,t_{2}) [a(\sigma(t))\eta(\sigma(t))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(t)\varsigma^{\frac{\gamma}{\gamma +1}}(t)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(t,t_{2})}\biggr]^{\gamma+1}. \end{aligned} \end{aligned}$$
(2.13)

Substituting t with s in (2.13), fulfilling α-fractional integral for (2.13) with respect to s from \(t_{2}\) to t yields

$$\begin{aligned}& \int_{t_{2}}^{t}\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {}-\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,t_{2}) }\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s \\& \quad \leq\omega(t_{2})-\omega(t)\leq \omega(t_{2})< \infty, \end{aligned}$$

which contradicts (2.9). The proof is complete. □

Theorem 2.5

If \(-\frac{ \widetilde {p}}{ a}\in\mathfrak{R}_{+}\), (2.1)–(2.3) hold, and for all sufficiently large T,

$$\begin{aligned}& \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{t}\biggl\{ L\frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}-\varsigma(s) \bigl[a(s)\eta (s)\bigr]^{(\alpha)} \\& \quad {}+\frac{ \gamma\varsigma(s)\vartheta_{1}(s,T)\vartheta_{2}^{\gamma-1}(\sigma (s),T)a^{2}(\sigma(s))\eta^{2}(\sigma(s))}{ r(s)} \\& \quad {}-\frac{ [r(s)\varsigma^{(\alpha)}(s)+2\gamma\varsigma(s)\vartheta _{1}(s,T)\vartheta_{2}^{\gamma-1}(\sigma(s),T)a(\sigma(s))\eta (\sigma(s))]^{2}}{ 4\gamma r(s)\varsigma(s)\vartheta_{1}(s,T)\vartheta_{2}^{\gamma-1}(\sigma (s),T)}\biggr\} \Delta^{\alpha}s\biggr\} = \infty, \end{aligned}$$
(2.14)

where ς, η are defined as in Theorem 2.4. Then every solution of Eq. (1.1) is oscillatory or tends to zero.

Proof

Assume that (1.1) has a nonoscillatory solution x on \(\mathbb{T}_{0}\). Similar to Theorem 2.4, we may assume \(x(t)>0\) on \([t_{1},\infty)_{\mathbb{T}}\), where \(t_{1}\) is sufficiently large. By Lemma 2.1, there exists sufficiently large \(t_{2}\) such that \([r(t)x^{(\alpha)}(t)]^{(\alpha)}>0\) on \([t_{2},\infty)_{\mathbb{T}}\), and either \(x^{(\alpha)}(t)>0\) on \([t_{2},\infty)_{\mathbb{T}}\) or \(\lim_{t\rightarrow\infty}x(t)=0\).

Now we assume \(x^{(\alpha)}(t)>0\) on \([t_{2},\infty)_{\mathbb{T}}\). Let \(\omega(t)\) be defined as in Theorem 2.4. By Lemma 2.2, one has the following observation:

$$\begin{aligned} \frac{ x^{(\alpha)}(t)}{ x(t)} \geq&\frac { \vartheta_{1}(t,t_{2})}{ r(t)}\biggl\{ \frac{ a^{\frac{1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}}\biggr\} \frac { 1}{ x(\sigma(t))} \\ =& \frac{ \vartheta_{1}(t,t_{2})}{ r(t)}\biggl\{ \frac{ a^{\frac{1}{\gamma}}(t)[r(t)x^{(\alpha)}(t)]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(t,t_{0})]^{\frac{1}{\gamma}}x^{\gamma }(\sigma(t))}\biggr\} x^{\gamma-1}\bigl( \sigma(t)\bigr) \\ \geq&\frac{ \vartheta_{1}(t,t_{2})}{ r(t)}\biggl\{ \frac{ a^{\frac{1}{\gamma}}(\sigma(t))[r(\sigma(t))x^{(\alpha)}(\sigma (t))]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})]^{\frac{1}{\gamma }}x^{\gamma}(\sigma(t))}\biggr\} x^{\gamma-1} \bigl(\sigma(t)\bigr) \\ \geq&\frac{ \vartheta_{1}(t,t_{2})}{ r(t)}\biggl\{ \frac{ a^{\frac{1}{\gamma}}(\sigma(t))[r(\sigma(t))x^{(\alpha)}(\sigma (t))]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})]^{\frac{1}{\gamma }}x^{\gamma}(\sigma(t))}\biggr\} \\ &{}\times\vartheta_{2}^{\gamma-1} \bigl(\sigma(t),t_{2}\bigr) \biggl\{ \frac{ a^{\frac{1}{\gamma}}(\sigma(t))[r(\sigma (t))x^{(\alpha)}(\sigma(t))]^{(\alpha)}}{ [e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})]^{\frac{1}{\gamma}}}\biggr\} ^{\gamma-1} \\ =&\frac{ \vartheta_{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (t),t_{2})}{ r(t)}\biggl\{ \frac{ a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})x^{\gamma}(\sigma(t))}\biggr\} . \end{aligned}$$
(2.15)

Using (2.15) in (2.10) one can deduce that

$$\begin{aligned} \omega^{(\alpha)}(t) \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega \bigl(\sigma(t)\bigr) \\ &{}-\varsigma(t)\biggl[\frac{ \gamma x^{(\alpha)}(t)}{ x(t)}\biggr] \frac{ a(\sigma(t))[(r(\sigma(t))x^{(\alpha)}(\sigma(t)))^{(\alpha)}]^{\gamma }}{ x^{\gamma}(\sigma(t)) e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t)\eta (t)\bigr]^{(\alpha)} \\ \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega\bigl(\sigma(t)\bigr) \\ &{}-\gamma \varsigma(t)\frac { \vartheta_{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (t),t_{2})}{ r(t)}\biggl\{ \frac{ a(\sigma(t))([r(\sigma(t))x^{(\alpha)}(\sigma(t))]^{(\alpha)})^{\gamma }}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})x^{\gamma}(\sigma(t))}\biggr\} ^{2} \\ &{} +\varsigma(t)\bigl[a(t)\eta(t)\bigr]^{(\alpha)} \\ =&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} +\frac{ \varsigma^{(\alpha)}(t)}{ \varsigma(\sigma(t))}\omega\bigl(\sigma(t)\bigr) \\ &{}- \frac{ \gamma\varsigma(t)\vartheta_{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (t),t_{2})}{ r(t)}\biggl[\frac{ \omega(\sigma(t))}{ \varsigma(\sigma(t))}-a\bigl(\sigma(t)\bigr)\eta\bigl( \sigma(t)\bigr)\biggr]^{2} \\ &{}+\varsigma(t)\bigl[a(t)\eta(t)\bigr]^{(\alpha)} \\ =&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t)\eta (t)\bigr]^{(\alpha)} \\ &{} - \frac{ \gamma\varsigma(t)\vartheta_{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (t),t_{2})a^{2}(\sigma(t))\eta^{2}(\sigma(t))}{ r(t)} \\ &{} +\biggl[\frac{ r(t)\varsigma^{(\alpha)}(t)+2\gamma\varsigma(t)\vartheta _{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma(t),t_{2})a(\sigma(t))\eta (\sigma(t))}{ r(t)\varsigma(\sigma(t))}\biggr]\omega\bigl(\sigma(t)\bigr) \\ &{}- \frac{ \gamma\varsigma(t)\vartheta_{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (t),t_{2})}{ r(t)\varsigma^{2}(\sigma(t))}\omega^{2}\bigl(\sigma(t)\bigr) \\ \leq&-L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})}+\varsigma(t)\bigl[a(t)\eta (t)\bigr]^{(\alpha)} \\ &{}- \frac{ \gamma\varsigma(t)\vartheta_{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (t),t_{2})a^{2}(\sigma(t))\eta^{2}(\sigma(t))}{ r(t)} \\ &{} +\frac{ [r(t)\varsigma^{(\alpha)}(t)+2\gamma\varsigma(t)\vartheta _{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma(t),t_{2})a(\sigma(t))\eta (\sigma(t))]^{2}}{ 4\gamma r(t)\varsigma(t)\vartheta_{1}(t,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (t),t_{2})}. \end{aligned}$$
(2.16)

Substituting t with s in (2.16), fulfilling α-fractional integral for (2.16) with respect to s from \(t_{2}\) to t one can get that

$$\begin{aligned}& \int_{t_{2}}^{t}\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}-\varsigma(s) \bigl[a(s)\eta (s)\bigr]^{(\alpha)} +\frac{ \gamma\varsigma(s)\vartheta_{1}(s,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (s),t_{2})a^{2}(\sigma(s))\eta^{2}(\sigma(s))}{ r(s)} \\& \qquad {}-\frac{ [r(s)\varsigma^{(\alpha)}(s)+2\gamma\varsigma(s)\vartheta _{1}(s,t_{2})\vartheta_{2}^{\gamma-1}(\sigma(s),t_{2})a(\sigma(s))\eta (\sigma(s))]^{2}}{ 4\gamma r(s)\varsigma(s)\vartheta_{1}(s,t_{2})\vartheta_{2}^{\gamma-1}(\sigma (s),t_{2})}\biggr\} \Delta^{\alpha}s \\& \quad \leq \omega(t_{2})-\omega(t)\leq \omega(t_{2})< \infty, \end{aligned}$$

which contradicts (2.14). The proof is complete. □

Theorem 2.6

Suppose \(-\frac{ \widetilde {p}}{ a}\in\mathfrak{R}_{+}\), (2.1)–(2.3) hold, and define \(\mathbb{D}=\{(t,s)|t\geq s\geq t_{0}\}\). If there exists a function \(H\in C_{\mathrm{rd}}(\mathbb{D},\mathbb{R})\) such that

$$ H(t,t)=0\quad \textit{for }t\geq t_{0}, \qquad H(t,s)>0 \quad \textit{for }t>s\geq t_{0}, $$
(2.17)

and H has a nonpositive continuous α-partial fractional derivative \(H_{s}^{(\alpha)}(t,s)\) with respect to the second variable, and furthermore, for all sufficiently large T,

$$\begin{aligned}& \lim_{t\rightarrow \infty}\sup\frac{ 1}{ H(t,t_{0})}\biggl\{ \int _{t_{0}}^{t}H(t,s)\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)} \\& \quad {}+\frac{ \varsigma(s)\vartheta_{1}(s,T)[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \quad {} -\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1} (s,T)[a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s\biggr\} =\infty, \end{aligned}$$
(2.18)

where ς, η are defined as in Theorem 2.4. Then every solution of Eq. (1.1) is oscillatory or tends to zero.

Proof

Assume that (1.1) has a nonoscillatory solution x on \(\mathbb{T}_{0}\). Without loss of generality, we may assume \(x(t)>0\) on \([t_{1},\infty)_{\mathbb{T}}\), where \(t_{1}\) is sufficiently large. According to Lemma 2.1, there exists sufficiently large \(t_{2}\) such that \([r(t)x^{(\alpha)}(t)]^{(\alpha)}>0\) on \([t_{2},\infty)_{\mathbb {T}}\), and either \(x^{(\alpha)}(t)>0\) on \([t_{2},\infty)_{\mathbb{T}}\) or \(\lim_{t\rightarrow\infty}x(t)=0\). Now we assume \(x^{(\alpha)}(t)>0\) on \([t_{2},\infty)_{\mathbb{T}}\). Let \(\omega(t)\) be defined as in Theorem 2.4. By (2.13) we have

$$\begin{aligned}& L\frac{ q(t)\varsigma(t)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(t),t_{0})} -\varsigma(t)\bigl[a(t)\eta(t)\bigr]^{(\alpha)}+ \frac{ \varsigma(t)\vartheta_{1}(t,t_{2})[a(\sigma(t))\eta(\sigma(t))]^{1+\frac {1}{\gamma}}}{ r(t)} \\& \quad {}-\biggl[\frac{ r(t)\varsigma^{(\alpha)}(t)+(\gamma+1)\varsigma(t)\vartheta_{1}(t,t_{2}) [a(\sigma(t))\eta(\sigma(t))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(t)\varsigma^{\frac{\gamma}{\gamma +1}}(t)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(t,t_{2})}\biggr]^{\gamma+1}\leq - \omega^{(\alpha)}(t). \end{aligned}$$
(2.19)

Substituting t with s in (2.19), multiplying both sides by \(H(t,s)\) and then fulfilling α-fractional integral with respect to s from \(t_{2}\) to t, together with the use of Theorem 1.9, yields that

$$\begin{aligned}& \int_{t_{2}}^{t}H(t,s)\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {}-\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,t_{2})}\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s \\& \quad \leq- \int_{t_{2}}^{t}H(t,s)\omega^{(\alpha)}(s) \Delta^{\alpha}s=H(t,t_{2})\omega(t_{2})+ \int_{t_{2}}^{t}H^{(\alpha)}_{s}(t,s) \omega\bigl(\sigma (s)\bigr)\Delta^{\alpha}s \\& \quad \leq H(t,t_{2}) \omega(t_{2})\leq H(t,t_{0})\omega(t_{2}) . \end{aligned}$$

So

$$\begin{aligned}& \int_{t_{0}}^{t}H(t,s)\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {} -\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,t_{2})}\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s \\& \quad = \int_{t_{0}}^{t_{2}}H(t,s)\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {}-\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,t_{2})}\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s \\& \qquad {} + \int_{t_{2}}^{t}H(t,s)\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {} -\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,t_{2})}\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s \\& \quad \leq H(t,t_{0})\omega(t_{2})+H(t,t_{0}) \int_{t_{0}}^{t_{2}}\biggl|L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} -\varsigma(t) \bigl[a(s)\eta(s)\bigr]^{(\alpha)} \\& \qquad {}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {} -\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,t_{2})}\biggr]^{\gamma+1}\biggr| \Delta^{\alpha}s . \end{aligned}$$

So

$$\begin{aligned}& \lim_{t\rightarrow \infty}\sup\frac{ 1}{ H(t,t_{0})}\biggl\{ \int _{t_{0}}^{t}H(t,s)\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} - \varsigma(t)\bigl[a(s)\eta(s)\bigr]^{(\alpha)} \\& \qquad {}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {} -\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,t_{2})}\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s\biggr\} \\& \quad \leq\omega(t_{2})+ \int_{t_{0}}^{t_{2}}\biggl|L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} -\varsigma(t) \bigl[a(s)\eta(s)\bigr]^{(\alpha)}+\frac{ \varsigma(s)\vartheta_{1}(s,t_{2})[a(\sigma(s))\eta(\sigma(s))]^{1+\frac {1}{\gamma}}}{ r(s)} \\& \qquad {} -\biggl[\frac{ r(s)\varsigma^{(\alpha)}(s)+(\gamma+1)\varsigma(s)\vartheta_{1}(s,t_{2}) [a(\sigma(s))\eta(\sigma(s))]^{\frac{1}{\gamma}}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s) \varsigma^{\frac{\gamma}{\gamma+1}}(s)\vartheta_{1}^{\frac{\gamma }{\gamma+1}}(s,t_{2})}\biggr]^{\gamma+1}\biggr| \Delta^{\alpha}s< \infty , \end{aligned}$$

which contradicts (2.18). So the proof is complete. □

Based on (2.16) and the deduction process in Theorem 2.6, one can easily prove the following theorem.

Theorem 2.7

Suppose \(-\frac{ \widetilde {p}}{ a}\in\mathfrak{R}_{+}\), and (2.1)–(2.3) hold. Let H be defined as in Theorem 2.6, and for all sufficiently large T,

$$\begin{aligned}& \lim_{t\rightarrow \infty}\sup\frac{ 1}{ H(t,t_{0})}\biggl\{ \int _{t_{0}}^{t}H(t,s)\biggl\{ L\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}- \varsigma(s)\bigl[a(s)\eta (s)\bigr]^{(\alpha)} \\& \quad{} +\frac{ \gamma\varsigma(s)\vartheta_{1}(s,T)\vartheta_{2}^{\gamma-1}(\sigma (s),T)a^{2}(\sigma(s))\eta^{2}(\sigma(s))}{ r(s)} \\& \quad{} -\frac{ [r(s)\varsigma^{(\alpha)}(s)+2\gamma\varsigma(s)\vartheta _{1}(s,T)\vartheta_{2}^{\gamma-1}(\sigma(s),T)a(\sigma(s))\eta (\sigma(s))]^{2}}{ 4\gamma r(s)\varsigma(s)\vartheta_{1}(s,T)\vartheta_{2}^{\gamma-1}(\sigma (s),T)}\biggr\} \Delta^{\alpha}s\biggr\} = \infty, \end{aligned}$$
(2.20)

where ς, η are defined as in Theorem 2.4. Then every solution of Eq. (1.1) is oscillatory or tends to zero.

Remark 2.8

If we set \(\alpha=1\), then the established results above reduce to the case of dynamic equations on time scales of integer order derivative, and the latter is an extension of [51, Theorems 2.1, 2.4] except that the latter is related to time delay.

Remark 2.9

In Theorems 2.4–2.7, if we take \(\mathbb{T}\) for some special time scales, such as \(\mathbb{T}=\mathbb{R}\), \(\mathbb {T}=\mathbb{Z}\), \(\mathbb{T}=q^{\mathbb{Z}}\), we can obtain corresponding oscillation criteria for fractional differential equations, fractional difference equations, fractional q-difference equations and so on.

3 Applications

In this section, we will present some applications for the established results above.

Example 1

We consider the following fractional order differential equation with damping term:

$$\begin{aligned}& \bigl\{ t^{\frac{\gamma}{2}}\bigl[\bigl(t^{-\frac{1}{2}}x^{(\frac{1}{2})}(t) \bigr)^{(\frac {1}{2})}\bigr]^{\gamma}\bigr\} ^{(\frac{1}{2})}+ \frac{ 1}{ t^{\gamma+1.5}}\bigl[\bigl(t^{-\frac{1}{2}}x^{(\frac {1}{2})}(t) \bigr)^{(\frac{1}{2})}\bigr]^{\gamma}+\frac{ 1}{ t^{\gamma+0.5}}x^{\gamma}(t) \bigl[e^{x(t)}+1\bigr] \\& \quad =0,\quad t\in [2,\infty), \end{aligned}$$
(3.1)

where \(\gamma\geq1\) is a quotient of two odd positive integers.

Related to (1.1), one has \(\mathbb{T}=\mathbb{R}\), \(\alpha=\frac { 1}{ 2}\), \(a(t)=t^{\frac{\gamma}{2}}\), \(p(t)=\frac{ 1}{ t^{\gamma+1.5}}\), \(\widetilde {p}(t)=t^{\alpha-1}p(t)=\frac{ 1}{ t^{\gamma +2}}\), \(q(t)=\frac{ 1}{ t^{\gamma+0.5}}\), \(f(x)=x^{\gamma}[e^{x}+1]\), \(r(t)=t^{-\frac{1}{2}}\), \(t_{0}=2\). So \(\frac{ f(x)}{ x^{\gamma}}\geq1=L\), \(\mu(t)=\sigma(t)-t=0\), which implies \(-\frac{ \widetilde{p}}{ a}\in \mathfrak{R}_{+}\). Then \(e_{-\frac{ \widetilde{p}}{ a}}(t,t_{0})= e_{-\frac { \widetilde{p}}{ a}}(t,2)=\exp(-\int_{2}^{t}\frac{ \widetilde{p}(s)}{ a(s)}\, d s)\). Furthermore,

$$\begin{aligned} 1&>\exp\biggl(- \int_{2}^{t}\frac{ \widetilde {p}(s)}{ a(s)}\, d s\biggr)\geq1- \int_{2}^{t}\frac{ \widetilde{p}(s)}{ a(s)}\, ds =1- \int_{2}^{t}\frac{ 1}{ s^{\frac{3\gamma }{2}+2}}\, d s \\ &\geq1- \int_{2}^{t}\frac{ 1}{ s^{\frac{3\gamma}{2}+1}}\, d s= 1+ \frac{ 2}{ 3\gamma}\bigl[t^{-\frac{3}{2}\gamma }-2^{-\frac{3}{2}\gamma}\bigr]> \frac{ 1}{ 3}. \end{aligned}$$

Now we check the conditions (2.1)–(2.3). To this end, one has the following observations:

$$\begin{aligned} \int_{t_{0}}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)} \Delta^{\alpha}s&= \int_{t_{0}}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1} \Delta s \\ &= \int_{t_{0}}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1}\, d s>\frac{ 1}{ 3^{\frac{1}{\gamma}}} \int _{2}^{\infty} \frac{ 1}{ s}\, d s=\infty, \end{aligned}$$

and

$$\int_{t_{0}}^{\infty}\frac{ 1}{ r(s)}\Delta ^{\alpha}s= \int_{t_{0}}^{\infty}\frac{ 1}{ r(s)}s^{\alpha-1} \Delta s= \int_{t_{0}}^{\infty}\frac{ 1}{ r(s)}s^{\alpha-1}\, d s= \int_{t_{0}}^{\infty}1\, d s=\infty. $$

Furthermore,

$$\begin{aligned}& \int_{t_{0}}^{\infty}\biggl[\frac{ 1}{ r(\xi) } \int _{\xi}^{\infty}\biggl(\frac{ e_{-\frac{\widetilde{p}}{a}}(\tau ,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau\biggr]\Delta^{\alpha}\xi \\& \quad = \int_{t_{0}}^{\infty}\xi^{\alpha-1}\biggl[ \frac{ 1}{ r(\xi) } \int_{\xi}^{\infty}\tau^{\alpha-1}\biggl( \frac { e_{-\frac{\widetilde{p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}s^{\alpha-1} \Delta s\biggr)^{\frac{1}{\gamma}}\Delta\tau\biggr]\Delta\xi \\& \quad = \int_{t_{0}}^{\infty}\xi^{\alpha-1}\biggl[ \frac{ 1}{ r(\xi) } \int_{\xi}^{\infty}\tau^{\alpha-1}\biggl( \frac { e_{-\frac{\widetilde{p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(s,t_{0})}s^{\alpha-1}\,d s\biggr)^{\frac{1}{\gamma }}\,d\tau\biggr]\,d \xi \\& \quad = \int_{2}^{\infty}\biggl[ \int_{\xi}^{\infty}\tau^{-\frac{1}{2}}\biggl( \frac { e_{-\frac{\widetilde{p}}{a}}(\tau,2)}{ \tau ^{\frac{\gamma}{2}}} \int_{\tau}^{\infty}\frac{ 1}{ s^{\gamma+1} e_{-\frac{\widetilde{p}}{a}}(s,2)}\,d s \biggr)^{\frac{1}{\gamma }}\,d\tau\biggr]\,d \xi \\& \quad >\frac{ 1}{ 3^{\frac{1}{\gamma}}} \int _{2}^{\infty}\biggl[ \int_{\xi}^{\infty}\tau^{-\frac{1}{2}}\biggl( \frac { 1}{ \tau^{\frac{\gamma}{2}} } \int_{\tau}^{\infty}\frac{ 1}{ s^{\gamma+1} }\,d s \biggr)^{\frac{1}{\gamma}}\,d\tau\biggr]\,d \xi \\& \quad =\frac{ 1}{ (3\gamma)^{\frac{1}{\gamma}}} \int _{2}^{\infty}\biggl[ \int_{\xi}^{\infty}\frac{ 1}{ \tau^{2} }\,d\tau\biggr]\,d \xi =\frac{ 1}{ (3\gamma)^{\frac{1}{\gamma}}} \int_{2}^{\infty}\frac{ 1}{ \xi }\,d \xi=\infty . \end{aligned}$$

So (2.1)–(2.3) all hold. On the other hand, for a sufficiently large T, when \(t\rightarrow\infty\), one has

$$\begin{aligned} \vartheta_{1}(t,T)&= \int_{T}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}\Delta^{\alpha} s= \int_{T}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1} \Delta s \\ &= \int_{T}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1}\, d s>\frac{ 1}{ 3^{\frac{1}{\gamma}}} \int_{T}^{t} \frac{ 1}{ s}\, d s\rightarrow \infty. \end{aligned}$$

So there exists a sufficiently large \(T^{*}>T\) such that \(\vartheta _{1}(t,T)>1\) for \(t\in[T^{*},\infty)\). Taking \(\varsigma(t)=t^{\gamma}\), \(\eta(t)=0\) in (2.9), one can obtain that

$$\begin{aligned}& \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{t}\biggl\{ L\frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} -\biggl[ \frac{ r(s)\varsigma^{(\alpha)}(s) }{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T) }\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s\biggr\} \\& \quad = \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{t}\biggl\{ L\frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(s,t_{0})}- \biggl[ \frac{ r(s)\varsigma^{\Delta}(s)s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\Delta s\biggr\} \\& \quad = \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{t}\biggl\{ L\frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(s,t_{0})}- \biggl[ \frac{ r(s)\varsigma'(s)s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\,d s\biggr\} \\& \quad = \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{T^{*}}\biggl\{ \frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(s,t_{0})}- \biggl[ \frac{ r(s)\varsigma'(s)s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\,d s \\& \qquad {}+ \int_{T^{*}}^{t}\biggl\{ \frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(s,t_{0})}- \biggl[ \frac{ r(s)\varsigma'(s)s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\,d s\biggr\} \\& \quad > \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{T^{*}}\biggl\{ \frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(s,t_{0})}- \biggl[ \frac{ r(s)\varsigma'(s)s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\,d s \\& \qquad {}+ \int_{T^{*}}^{t} \biggl[1-\biggl(\frac{ \gamma}{ \gamma+1} \biggr)^{\gamma+1}\biggr]\frac{ 1}{ s}\,d s\biggr\} \rightarrow\infty \quad (t\rightarrow\infty) . \end{aligned}$$

So (2.9) also holds, and by Theorem 2.4 one can deduce that every solution of Eq. (3.1) is oscillatory or tends to zero.

Example 2

Consider the following fractional order difference equation:

$$\begin{aligned}& \Delta^{(\frac{1}{2})}\bigl\{ t^{\frac{\gamma}{2}}\bigl[\Delta^{(\frac {1}{2})} \bigl(t^{-\frac{1}{2}}\Delta^{(\frac{1}{2})}x(t)\bigr)\bigr]^{\gamma}\bigr\} + \frac { 1}{ t^{\gamma+1.5}}\bigl[\Delta^{(\frac{1}{2})}\bigl(t^{-\frac {1}{2}} \Delta^{(\frac{1}{2})}x(t)\bigr)\bigr]^{\gamma}+\frac{ M}{ t^{\gamma+0.5}}x^{\gamma}(t) \\& \quad =0,\quad t\in [2,\infty)_{\mathbb{Z}}, \end{aligned}$$
(3.2)

where \(\Delta^{(\frac{1}{2})}\) denotes the fractional difference operator of order \(\frac{ 1}{ 2}\), \(M>0\) is a constant, and \(\gamma\geq1\) is a quotient of two odd positive integers.

Related to (1.1), one has \(\mathbb{T}=\mathbb{Z}\), \(\alpha=\frac { 1}{ 2}\), \(a(t)=t^{\frac{\gamma}{2}}\), \(p(t)=\frac{ 1}{ t^{\gamma+1.5}}\), \(\widetilde {p}(t)=t^{\alpha-1}p(t)=\frac{ 1}{ t^{\gamma +2}}\), \(q(t)=\frac{ 1}{ t^{\gamma+0.5}}\), \(f(x)=Mx^{\gamma}\), \(r(t)=t^{-\frac{1}{2}}\), \(t_{0}=2\). So \(\frac{ f(x)}{ x^{\gamma}}\geq M=L\), \(\mu (t)=\sigma(t)-t=1\), and

$$1-\mu(t)\frac{ \widetilde{p}(t)}{ a(t)}=1-\frac{ 1}{ t^{\frac{3\gamma }{2}+1}}\geq1-\frac{ 1}{ 2}>0, $$

which means \(-\frac{ \widetilde{p}}{ a}\in \mathfrak{R}_{+}\). So by [52, Lemma 2] one can obtain

$$\begin{aligned} e_{-\frac{ \widetilde{p}}{ a}}(t,t_{0}) =&e_{-\frac{ \widetilde{p}}{ a}}(t,2)\geq1- \int_{2}^{t}\frac{ \widetilde {p}(s)}{ a(s)}\Delta s =1- \int_{2}^{t}\frac{ 1}{ s^{\frac{3\gamma}{2}+2}}\Delta s\geq1- \int _{2}^{t}\frac{ 1}{ s^{\frac{3\gamma }{2}+1}}\Delta s \\ =&1- \sum _{s=2}^{t-1}\frac{ 1}{ s^{\frac{3\gamma}{2}+1}}\geq 1- \int_{1}^{t-1}\frac{ 1}{ s^{\frac {3\gamma}{2}+1}}\,ds=1+ \frac{ 2}{ 3\gamma }\bigl[(t-1)^{-\frac{3\gamma}{2}}-1\bigr]>\frac{ 1}{ 3} , \end{aligned}$$

and

$$e_{-\frac{ \widetilde{p}}{ a}}(t,t_{0})\leq\exp\biggl(- \int_{2}^{t}\frac { \widetilde{p}(s)}{ a(s)}\Delta s\biggr)< 1. $$

Then we have

$$\begin{aligned} \int_{t_{0}}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)} \Delta^{\alpha}s =& \int_{t_{0}}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1} \Delta s= \sum_{s=t_{0}}^{\infty} \frac{ [e_{-\frac {\widetilde{p}}{a}}(s,t_{0})]^{\frac{1}{\gamma}}}{ a^{\frac {1}{\gamma}}(s)}s^{\alpha-1} \\ =& \sum_{s=2}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,2)]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1}= \sum_{s=2}^{\infty} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,2)]^{\frac {1}{\gamma}}}{ s}> \frac{ 1}{ 3^{\frac{1}{\gamma}}} \sum_{s=2}^{\infty} \frac{ 1}{ s}=\infty, \end{aligned}$$

and

$$\begin{aligned} \int_{t_{0}}^{\infty}\frac{ 1}{ r(s)}\Delta ^{\alpha}s= \int_{t_{0}}^{\infty}\frac{ 1}{ r(s)}s^{\alpha-1} \Delta s= \sum_{s=t_{0}}^{\infty} \frac{ 1}{ r(s)}s^{\alpha-1}= \sum_{s=2}^{\infty }1= \infty . \end{aligned}$$

Furthermore,

$$\begin{aligned}& \int_{t_{0}}^{\infty}\biggl[\frac{ 1}{ r(\xi) } \int _{\xi}^{\infty}\biggl(\frac{ e_{-\frac{\widetilde{p}}{a}}(\tau ,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}\Delta^{\alpha}s\biggr)^{\frac {1}{\gamma}}\Delta^{\alpha}\tau\biggr]\Delta^{\alpha}\xi \\& \quad = \int_{t_{0}}^{\infty}\xi^{\alpha-1}\biggl[ \frac{ 1}{ r(\xi) } \int_{\xi}^{\infty}\tau^{\alpha-1}\biggl( \frac { e_{-\frac{\widetilde{p}}{a}}(\tau,t_{0})}{ a(\tau) } \int_{\tau}^{\infty}\frac{ q(s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})}s^{\alpha-1} \Delta s\biggr)^{\frac{1}{\gamma}}\Delta\tau\biggr]\Delta\xi \\& \quad = \sum_{\xi=t_{0}}^{\infty}\Biggl[ \frac{ \xi ^{\alpha-1}}{ r(\xi) } \sum_{\tau=\xi }^{\infty} \tau^{\alpha-1} \Biggl(\frac{ e_{-\frac{\widetilde{p}}{a}}(\tau ,t_{0})}{ a(\tau) } \sum_{s=\tau}^{\infty } \frac{ q(s)s^{\alpha-1}}{ e_{-\frac{\widetilde{p}}{a}}(s+1,t_{0})}\Biggr)^{\frac{1}{\gamma}}\Biggr] \\& \quad = \sum_{\xi=2}^{\infty}\Biggl[ \frac{ \xi^{\alpha -1}}{ r(\xi) } \sum_{\tau=\xi}^{\infty}\tau ^{\alpha-1} \Biggl(\frac{ e_{-\frac{\widetilde{p}}{a}}(\tau ,2)}{ a(\tau) } \sum_{s=\tau}^{\infty} \frac { q(s)s^{\alpha-1}}{ e_{-\frac{\widetilde{p}}{a}}(s+1,2)}\Biggr)^{\frac{1}{\gamma}}\Biggr] \\& \quad >\frac{ 1}{ 3^{\frac{1}{\gamma}}} \sum_{\xi=2}^{\infty} \Biggl[ \sum_{\tau=\xi}^{\infty }\tau^{\alpha-1} \Biggl(\frac{ 1}{ \tau^{\frac{\gamma}{2}} } \sum_{s=\tau}^{\infty} \frac{ 1}{ s^{\gamma+1} }\Biggr)^{\frac{1}{\gamma}}\Biggr] \\& \quad \geq\frac{ 1}{ 3^{\frac{1}{\gamma}}} \sum _{\xi =2}^{\infty}\Biggl[ \sum _{\tau=\xi}^{\infty}\tau^{\alpha-1} \biggl( \frac{ 1}{ \tau^{\frac{\gamma}{2}} } \int _{\tau}^{\infty}\frac{ 1}{ s^{\gamma+1} }\,ds \biggr)^{\frac{1}{\gamma}}\Biggr] =\frac{ 1}{ (3\gamma)^{\frac{1}{\gamma}}} \sum _{\xi =2}^{\infty}\Biggl[ \sum_{\tau=\xi}^{\infty} \frac{ 1}{ \tau^{2} }\Biggr] \\& \quad >\frac{ 1}{ (3\gamma)^{\frac{1}{\gamma }}} \sum_{\xi=2}^{\infty} \sum_{\tau=\xi }^{\infty} \frac{ 1}{ \tau(\tau+1) }= \frac { 1}{ (3\gamma)^{\frac{1}{\gamma}}} \sum_{\xi=2}^{\infty} \frac{ 1}{ \xi}=\infty . \end{aligned}$$

On the other hand, for sufficiently large \(T>1\), when \(t\rightarrow \infty\), one has

$$\begin{aligned} \begin{aligned} \vartheta_{1}(t,T)&= \int_{T}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}\Delta^{\alpha} s= \int_{T}^{t} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1} \Delta s \\ &= \sum_{s=T}^{t-1} \frac{ [e_{-\frac{\widetilde{p}}{a}}(s,t_{0})]^{\frac {1}{\gamma}}}{ a^{\frac{1}{\gamma}}(s)}s^{\alpha-1}>\frac { 1}{ 3^{\frac{1}{\gamma}}} \sum _{s=T}^{t-1} \frac{ 1}{ s}\rightarrow\infty. \end{aligned} \end{aligned}$$

So there exists \(T^{*}>T\) such that \(\vartheta_{1}(s,T)>1\) for \(t\in [T^{*},\infty)_{\mathbb{Z}}\). Setting \(\varsigma(t)=t^{\gamma}\), \(\eta (t)=0\) in (2.9), by use of the inequality \((t+1)^{\gamma}-t^{\gamma}\leq\gamma(t+1)^{\gamma-1}< \gamma 2^{\gamma-1}t^{\gamma-1}\), \(t\geq T^{*}\), we obtain

$$\begin{aligned}& \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{t}\biggl\{ L\frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(\sigma(s),t_{0})} -\biggl[ \frac{ r(s)\varsigma^{(\alpha)}(s) }{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T) }\biggr]^{\gamma+1}\biggr\} \Delta^{\alpha}s\biggr\} \\& \quad = \lim_{t\rightarrow \infty}\sup\biggl\{ \int_{T}^{t}\biggl\{ L\frac{ q(s)\varsigma (s)}{ e_{-\frac{\widetilde{p}}{a}}(s,t_{0})}- \biggl[ \frac{ r(s)\varsigma^{\Delta}(s)s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\Delta s\biggr\} \\& \quad = \lim_{t\rightarrow \infty}\sup\Biggl\{ \sum _{s=T}^{t-1}\biggl\{ M\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(s+1,t_{0})} -\biggl[ \frac{ r(s)(\varsigma(s+1)-\varsigma(s))s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\Biggr\} \\& \quad = \lim_{t\rightarrow \infty}\sup\Biggl\{ \sum _{s=T}^{T^{*}}\biggl\{ M\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(s+1,t_{0})} -\biggl[ \frac{ r(s)(\varsigma(s+1)-\varsigma(s))s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1} \\& \qquad {}+ \sum_{s=T^{*}}^{t-1}\biggl\{ M \frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(s+1,t_{0})} -\biggl[\frac{ r(s)(\varsigma(s+1)-\varsigma(s))s^{1-\alpha }}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1}\Biggr\} \\& \quad > \lim_{t\rightarrow \infty}\sup\Biggl\{ \sum _{s=T}^{T^{*}}\biggl\{ M\frac{ q(s)\varsigma(s)}{ e_{-\frac{\widetilde{p}}{a}}(s+1,t_{0})} -\biggl[ \frac{ r(s)(\varsigma(s+1)-\varsigma(s))s^{1-\alpha}}{ (\gamma+1)r^{\frac{1}{\gamma+1}}(s)\varsigma^{\frac{\gamma}{\gamma +1}}(s)\vartheta_{1}^{\frac{\gamma}{\gamma+1}}(s,T)}\biggr]^{\gamma+1}\biggr\} s^{\alpha-1} \\& \qquad {}+ \sum_{s=T^{*}}^{t-1}\biggl[M-\biggl( \frac{ \gamma}{ \gamma+1}\biggr)^{\gamma+1}2^{\gamma^{2}-1}\biggr] \frac{ 1}{ s}\Biggr\} \rightarrow\infty\quad (t\rightarrow\infty) , \end{aligned}$$

provided that \(M>(\frac{ \gamma}{ \gamma+1})^{\gamma+1}2^{\gamma^{2}-1}\). So (2.1)–(2.3) and (2.9) all hold, and by Theorem 2.4 one can obtain that every solution of Eq. (3.2) is oscillatory or tends to zero under the condition \(M>(\frac{ \gamma}{ \gamma+1})^{\gamma+1}2^{\gamma^{2}-1}\).

4 Conclusions

Based on the properties of conformable fractional calculus, we have established some new oscillatory and asymptotic criteria for a class of fractional order dynamic equation on time scales, which extend the oscillation results for corresponding dynamic equations on time scales involving integer order derivative. For illustrating the validity of the present results, some examples have been proposed. We note that this approach can be applied to research oscillatory and asymptotic properties of other types of fractional order dynamic equation on time scales.

References

  1. Zheng, Z., Meng, F.: On oscillation properties for linear Hamiltonian systems. Rocky Mt. J. Math. 39(1), 343–358 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  2. Huang, Y., Meng, F.: Oscillation criteria for forced second-order nonlinear differential equations with damping. J. Comput. Appl. Math. 224, 339–345 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  3. Liu, H., Meng, F., Liu, P.: Oscillation and asymptotic analysis on a new generalized Emden–Fowler equation. Appl. Math. Comput. 219(5), 2739–2748 (2012)

    MathSciNet  MATH  Google Scholar 

  4. Li, L., Meng, F., Zheng, Z.: Some new oscillation results for linear Hamiltonian systems. Appl. Math. Comput. 208, 219–224 (2009)

    MathSciNet  MATH  Google Scholar 

  5. Zheng, Z., Wang, X., Han, H.: Oscillation criteria for forced second order differential equations with mixed nonlinearities. Appl. Math. Lett. 22, 1096–1101 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Liu, L., Bai, Y.: New oscillation criteria for second-order nonlinear neutral delay differential equations. J. Comput. Appl. Math. 231, 657–663 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  7. Meng, F., Huang, Y.: Interval oscillation criteria for a forced second-order nonlinear differential equations with damping. Appl. Math. Comput. 218, 1857–1861 (2011)

    MathSciNet  MATH  Google Scholar 

  8. Shao, J., Zheng, Z., Meng, F.: Oscillation criteria for fractional differential equations with mixed nonlinearities. Adv. Differ. Equ. 2013, 323 (2013)

    Article  MathSciNet  Google Scholar 

  9. Liu, H., Meng, F.: Oscillation criteria for second order linear matrix differential systems with damping. J. Comput. Appl. Math. 229(1), 222–229 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Liu, H., Meng, F.: Interval oscillation criteria for second-order nonlinear forced differential equations involving variable exponent. Adv. Differ. Equ. 2016, 291 (2016)

    Article  MathSciNet  Google Scholar 

  11. Zheng, Z.: Oscillation criteria for matrix Hamiltonian systems via summability method. Rocky Mt. J. Math. 39(5), 1751–1766 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  12. Feng, Q., Meng, F.: Oscillation of solutions to nonlinear forced fractional differential equations. Electron. J. Differ. Equ. 2013, 169 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  13. Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  14. Wang, J., Meng, F., Gu, J.: Estimates on some power nonlinear Volterra–Fredholm type dynamic integral inequalities on time scales. Adv. Differ. Equ. 2017, 257 (2017)

    Article  MathSciNet  Google Scholar 

  15. Liu, H.: A class of retarded Volterra–Fredholm type integral inequalities on time scales and their applications. J. Inequal. Appl. 2017, 293 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  16. Li, W.N.: Some delay integral inequalities on time scales. Comput. Math. Appl. 59, 1929–1936 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. Agarwal, R.P., Bohner, M., O’Regan, D., Peterson, A.: Dynamic equations on time scales: a survey. J. Comput. Appl. Math. 141(1–2), 1–26 (2006)

    MathSciNet  MATH  Google Scholar 

  18. Gu, J., Meng, F.: Some new nonlinear Volterra–Fredholm type dynamic integral inequalities on time scales. Appl. Math. Comput. 245, 235–242 (2014)

    MathSciNet  MATH  Google Scholar 

  19. Meng, F., Shao, J.: Some new Volterra–Fredholm type dynamic integral inequalities on time scales. Appl. Math. Comput. 223, 444–451 (2013)

    MathSciNet  MATH  Google Scholar 

  20. Wang, T., Xu, R.: Some integral inequalities in two independent variables on time scales. J. Math. Inequal. 6(1), 107–118 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  21. Feng, Q., Meng, F., Zheng, B.: Gronwall–Bellman type nonlinear delay integral inequalities on times scales. J. Math. Anal. Appl. 382, 772–784 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  22. Wang, T., Xu, R.: Bounds for some new integral inequalities with delay on time scales. J. Math. Inequal. 6(1), 1–12 (2012)

    MathSciNet  Google Scholar 

  23. Du, L., Xu, R.: Some new Pachpatte type inequalities on time scales and their applications. J. Math. Inequal. 6(2), 229–240 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  24. Feng, Q., Meng, F.: Generalized Ostrowski type inequalities for multiple points on time scales involving functions of two independent variables. J. Inequal. Appl. 2012, 74 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  25. Feng, Q., Meng, F.: Some generalized Ostrowski–Grüss type integral inequalities. Comput. Math. Appl. 63, 652–659 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  26. Bohner, M., Matthews, T.: The Grüss inequality on time scales. Commun. Math. Anal. 3(1), 1–8 (2007)

    MathSciNet  MATH  Google Scholar 

  27. Feng, Q., Meng, F., Zhang, Y., Zheng, B., Zhou, J.: Some nonlinear delay integral inequalities on time scales arising in the theory of dynamics equations. J. Inequal. Appl. 2011, 29 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  28. Xu, R., Meng, F., Song, C.: On some integral inequalities on time scales and their applications. J. Inequal. Appl. 2010, 464976 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  29. Grace, S.R., Agarwal, R.P., Bohner, M., O’Regan, D.: Oscillation of second-order strongly superlinear and strongly sublinear dynamic equations. Commun. Nonlinear Sci. Numer. Simul. 14, 3463–3471 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  30. Saker, S.H.: Oscillation of third-order functional dynamic equations on time scales. Sci. China Math. 12, 2597–2614 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  31. Agarwal, R.P., Bohner, M., Saker, S.H.: Oscillation of second order delay dynamic equations. Can. Appl. Math. Q. 13, 1–18 (2005)

    MathSciNet  MATH  Google Scholar 

  32. Shi, Y., Han, Z., Sun, Y.: Oscillation criteria for a generalized Emden–Fowler dynamic equation on time scales. Adv. Differ. Equ. 2016, 3 (2016)

    Article  MathSciNet  Google Scholar 

  33. Hassan, T.S., Kong, Q.: Oscillation criteria for higher-order nonlinear dynamic equations with Laplacians and a deviating argument on time scales. Math. Methods Appl. Sci. 40(11), 4028–4039 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  34. Erbe, L., Hassan, T.S., Peterson, A.: Oscillation of third-order functional dynamic equations with mixed arguments on time scales. J. Appl. Math. Comput. 34, 353–371 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  35. Li, T., Saker, S.H.: A note on oscillation criteria for second-order neutral dynamic equations on isolated time scales. Commun. Nonlinear Sci. Numer. Simul. 19, 4185–4188 (2014)

    Article  MathSciNet  Google Scholar 

  36. Han, Z., Li, T., Sun, S., Cao, F.: Oscillation criteria for third order nonlinear delay dynamic equations on time scales. Ann. Pol. Math. 99, 143–156 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  37. Hassan, T.S.: Oscillation criteria for higher order quasilinear dynamic equations with Laplacians and a deviating argument. J. Egypt. Math. Soc. 25(2), 178–185 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  38. Erbe, L., Hassan, T.S.: Oscillation of third order nonlinear functional dynamic equations on time scales. Differ. Equ. Dyn. Syst. 18(1), 199–227 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  39. Sun, Y.B., Han, Z., Sun, Y., Pan, Y.: Oscillation theorems for certain third order nonlinear delay dynamic equations on time scales. Electron. J. Qual. Theory Differ. Equ. 2011, 75 (2011)

    MathSciNet  MATH  Google Scholar 

  40. Agarwal, R.P., Bohner, M., Li, T.: Oscillatory behavior of second-order half-linear damped dynamic equations. Appl. Math. Comput. 254, 408–418 (2015)

    MathSciNet  Google Scholar 

  41. Agarwal, R.P., Bohner, M., Li, T., Zhang, C.: A Philos-type theorem for third-order nonlinear retarded dynamic equations. Appl. Math. Comput. 249, 527–531 (2014)

    MathSciNet  MATH  Google Scholar 

  42. Agarwal, R.P., Bohner, M., Li, T., Zhang, C.: Oscillation criteria for second-order dynamic equations on time scales. Appl. Math. Lett. 31, 34–40 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  43. Bohner, M., Hassan, T.S., Li, T.: Fite–Hille–Wintner-type oscillation criteria for second-order halflinear dynamic equations with deviating arguments. Indag. Math. 29(2), 548–560 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  44. Bohner, M., Li, T.: Kamenev-type criteria for nonlinear damped dynamic equations. Sci. China Math. 58(7), 1445–1452 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  45. Chatzarakis, G.E., Li, T.: Oscillation criteria for delay and advanced differential equations with nonmonotone arguments. Complexity 2018, 8237634 (2018)

    Article  MathSciNet  Google Scholar 

  46. Zhang, C., Agarwal, R.P., Bohner, M., Li, T.: Oscillation of fourth-order delay dynamic equations. Sci. China Math. 58(1), 143–160 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  47. Agarwal, R.P., Bohner, M., Peterson, A.: Inequalities on time scales: a survey. Math. Inequal. Appl. 4, 535–557 (2001)

    MathSciNet  MATH  Google Scholar 

  48. Benkhettou, N., Hassani, S., Torres, D.F.M.: A conformable fractional calculus on arbitrary time scales. J. King Saud Univ., Sci. 28, 93–98 (2016)

    Article  Google Scholar 

  49. Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)

    Book  MATH  Google Scholar 

  50. Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1988)

    MATH  Google Scholar 

  51. Hassan, T.S.: Oscillation of third order nonlinear delay dynamic equations on time scales. Math. Comput. Model. 49, 1573–1586 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  52. Bohner, M.: Some oscillation criteria for first order delay dynamic equations. Far East J. Appl. Math. 18(3), 289–304 (2005)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was partially supported by the Natural Science Foundation of China (11671227) and the Development Supporting Plan for Young Teachers in Shandong University of Technology. We would like to thank the referees very much for their valuable suggestions to improve this paper.

Author information

Authors and Affiliations

Authors

Contributions

QF carried out the main part of this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Qinghua Feng.

Ethics declarations

Competing interests

The authors declare that they have 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Feng, Q., Meng, F. Oscillation results for a fractional order dynamic equation on time scales with conformable fractional derivative. Adv Differ Equ 2018, 193 (2018). https://doi.org/10.1186/s13662-018-1643-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1643-6

MSC

Keywords