Advertisement

Advances in Difference Equations

, 2018:107 | Cite as

Oscillation of differential equations in the frame of nonlocal fractional derivatives generated by conformable derivatives

  • Bahaaeldin Abdalla
Open Access
Research
  • 384 Downloads

Abstract

Recently, Jarad et al. in (Adv. Differ. Equ. 2017:247, 2017) defined a new class of nonlocal generalized fractional derivatives, called conformable fractional derivatives (CFDs), based on conformable derivatives. In this paper, sufficient conditions are established for the oscillation of solutions of generalized fractional differential equations of the form
$$ \textstyle\begin{cases} {}_{a}\mathfrak{D}^{\alpha,\rho}x(t)+f_{1}(t,x)=r(t)+f_{2}(t,x),\quad t>a, \\ \lim_{t \to a^{+}}{ {}_{a}\mathfrak{I}^{j-\alpha,\rho}x(t)}=b_{j} \quad (j=1,2,\ldots,m), \end{cases} $$
where \(m=\lceil\alpha\rceil\), \({}_{a}\mathfrak{D}^{\alpha,\rho}\) is the left-fractional conformable derivative of order \(\alpha\in\mathbb{C}\), \(\operatorname{Re}(\alpha)\geq0\) in the Riemann–Liouville setting and \({}_{a}\mathfrak {I}^{\alpha,\rho}\) is the left-fractional conformable integral operator. The results are also obtained for CFDs in the Caputo setting. Examples are provided to demonstrate the effectiveness of the main result.

Keywords

Fractional conformable integrals Fractional conformable derivatives Fractional differential equations Oscillation theory 

MSC

34A08 34C10 26A33 

1 Introduction

Fractional calculus is still being developed continuously and its operators are used to model complex systems where the kernel of the fractional operators reflects the non-locality [2, 3]. The singularity of the kernel of the fractional operators has recently motivated researchers to present new types of fractional operators with nonsingular kernels and their discrete versions [4, 5, 6, 7, 8, 9, 10, 11, 12]. This new trend added another approach in defining fractional derivatives and integrals. In classical fractional operators, the fractionalizing process depends on iterating the weighted usual integrals or some local type derivatives in the way to get the factorial function and then replace it by the gamma function. The theory of fractional calculus with operators having nonsingular kernels depends on a limiting approach via dirac delta functions. Indeed, the fractional derivative with the nonsingular kernel is first defined so that in the limiting case \(\alpha\rightarrow 0\) we get the function itself and when \(\alpha\rightarrow1\) we get the usual derivative of the function. Then the corresponding integral operators are evaluated by the help of Laplace transforms for functions whose convolution with the nonsingular kernel vanishes at the starting point a. The oscillation theory for fractional differential and difference equations was studied by some authors (see [13, 14, 15, 16, 17, 18, 19, 20, 21]), thus several definitions of fractional derivatives and fractional integral operators exist in the literature. In this article, we study the oscillation of fractional operators defined by the first approach mentioned above. Namely, we investigate the oscillation of a class of generalized fractional derivatives defined in [1] by iterating the local conformable derivative developed in [22]. We shall name this derivative the conformable fractional derivative (CFD). Although both the CFD with its Caputo setting and the Katugampola-type derivative studied in [23, 24, 25] coincide when \(a=0\), they are very different from each other. In fact, the kernel of CFDs depends on the end points a and b which causes many differences from the Katugampola-type one. We shall study the oscillation of conformable fractional differential equation of the form
$$ \textstyle\begin{cases} {}_{a}\mathfrak{D}^{\alpha,\rho}x(t)+f_{1}(t,x)=r(t)+f_{2}(t,x),\quad t>a, \\ \lim_{t \to a^{+}}{ {}_{a}\mathfrak{I}^{j-\alpha,\rho}x(t)}=b_{j} \quad (j=1,2,\ldots,m), \end{cases} $$
(1)
where \(m=\lceil\alpha\rceil\), \({}_{a}\mathfrak{D}^{\alpha,\rho}\) is the left-fractional conformable derivative of order \(\alpha\in\mathbb{C}\), \(\operatorname{Re}(\alpha)\geq0\) in the Riemann–Liouville setting and \({}_{a}\mathfrak {I}^{\alpha,\rho}\) is the left-fractional conformable integral operator.

The objective of this paper is to study the oscillation of conformable fractional differential equations of the form (1). This will generalize the results obtained in [13, 14] when we take \(a=0\).

This paper is organized as follows. Section 2 introduces some notations and provides the definitions of conformable fractional integral and differential operators together with some basic properties and lemmas that are needed in the proofs of the main theorems. In Sect. 3, the main theorems are presented. Section 4 is devoted to the results obtained for the conformable fractional operators in the Caputo setting where we also remark the oscillation of Katugampola-type fractional operators. Examples are provided in Sect. 5 to demonstrate the effectiveness of the main theorems.

2 Notations and preliminary assertions

The left conformable derivative starting from a of a function \(f:[a,\infty)\rightarrow\mathbb{R}\) of order \(0<\rho\leq1\) is defined by
$$\bigl( {}_{a}T^{\rho}f\bigr) (t)=\lim_{\epsilon\to0}{ \frac{f(t+\epsilon (t-a)^{1-\rho})-f(t)}{\epsilon}}. $$
If \((T^{\rho}f)(t)\) exists on \((a,b)\), then \(({}_{a}T^{\rho}f)(a)=\lim_{t \to a^{+}}{({}_{a}T^{\rho}f)(t)}\).
If f is differentiable, then
$$ \bigl({}_{a}T^{\rho}f\bigr) (t)=(t-a)^{1-\rho} f^{\prime}(t). $$
(2)
The corresponding left conformable integral is defined as
$${}_{a}\mathfrak{I}^{\rho}f(x)= \int_{a}^{x}f(t)\frac{dt}{(t-a)^{1-\rho }}, \quad 0< \rho \leq1. $$
For the extension to the higher order \(\rho>1\), see [22].

Definition 2.1

([1])

The left-fractional conformable integral operator is defined by
$$ {}_{a}\mathfrak{I}^{\alpha,\rho}f(x)=\frac{1}{\Gamma(\alpha)} \int _{a}^{x} \biggl(\frac{(x-a)^{\rho}-(t-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{f(t) \,dt}{(t-a)^{1-\rho}}, $$
(3)
where \(\alpha\in\mathbb{C}\), \(\operatorname{Re}(\alpha)\geq0\).

Definition 2.2

([1])

The left-fractional conformable derivative of order \(\alpha\in\mathbb {C}\), \(\operatorname{Re}(\alpha)\geq0\) in the Riemann–Liouville setting is defined by
$$\begin{aligned} {}_{a}\mathfrak{D}^{\alpha,\rho}f(x) =& {}_{a}^{m}T^{\rho}\bigl( {}_{a}\mathfrak{I}^{m-\alpha,\rho}\bigr)f(x) \\ =&\frac{ {}_{a}^{m}T^{\rho}}{\Gamma(m-\alpha)} \int_{a}^{x} \biggl(\frac {(x-a)^{\rho}-(t-a)^{\rho}}{\rho} \biggr)^{m-\alpha-1} \frac{f(t) \,dt}{(t-a)^{1-\rho}}, \end{aligned}$$
where \(m=\lceil \operatorname{Re}(\alpha)\rceil\), \({}_{a}^{m}T^{\rho}=\underbrace{ {}_{a}T^{\rho}{}_{a}T^{\rho}\cdots{}_{a}T^{\rho}}_{m \text{ times}}\) and \({}_{a}T^{\alpha}\) is the left conformable differential operator presented in (2).

Definition 2.3

([1])

The left-Caputo fractional conformable derivative of order \(\alpha\in \mathbb{C}\), \(\operatorname{Re}(\alpha)\geq0\) is defined by
$$\begin{aligned} {}_{a}^{C}\mathfrak{D}^{\alpha,\rho}f(x) =& {}_{a}\mathfrak{I}^{m-\alpha,\rho}\bigl( {}_{a}^{m}T^{\rho}f(x)\bigr) \\ =&\frac{1}{\Gamma(m-\alpha)} \int_{a}^{x} \biggl(\frac{(x-a)^{\rho}-(t-a)^{\rho}}{\rho} \biggr)^{m-\alpha-1} \frac{ {}_{a}^{m}T^{\rho}f(t)}{(t-a)^{1-\rho}}\,dt. \end{aligned}$$
(4)
The following identity (see [1]) is essential to solving linear conformable fractional differential equations:
$$ \bigl({}_{a}\mathfrak{I}^{\alpha,\rho}(t-a)^{\rho\nu-\rho} \bigr) (x)=\frac {1}{\rho^{\alpha}}\frac{\Gamma(\nu)}{\Gamma(\alpha+v)}(x-a)^{\rho (\alpha+\nu-1)}, \quad \operatorname{Re}(\nu)>0. $$
(5)

Lemma 2.1

(Young’s inequality [26])

  1. (i)

    Let\(X,Y\geq0\), \(u>1\), and\(\frac{1}{u}+\frac{1}{v}=1\), then\(XY\leq\frac{1}{u}X^{u}+\frac{1}{v}Y^{v}\).

     
  2. (ii)

    Let\(X\geq0\), \(Y>0\), \(0< u<1\), and\(\frac{1}{u}+\frac{1}{v}=1\), then\(XY\geq\frac{1}{u}X^{u}+\frac{1}{v}Y^{v}\), where equalities hold if and only if\(Y=X^{u-1}\).

     

3 Oscillation of conformable fractional differential equations in the frame of Riemann

In this section we study the oscillation theory for equation (1).

Lemma 3.1

([1])

Let\(\operatorname{Re}(\alpha)>0\), \(m=-[-\operatorname{Re}(\alpha)]\), \(f\in L(a,b)\), and\({}_{a}\mathfrak {I}^{\alpha,\rho}f \in C_{\rho, a}^{m}[a,b]\). Then
$$ {}_{a}\mathfrak{I}^{\alpha, \rho}\bigl( {}_{a} \mathfrak{D}^{\alpha, \rho }f(x)\bigr)= f(x)- \sum_{j=1}^{m}{ \frac{ {}_{a}\mathfrak{D}^{\alpha-j,\rho }f(a)}{\rho^{\alpha-j}\Gamma(\alpha-j+1)}(x-a)^{\rho\alpha-\rho j}}. $$
Using Lemma 3.1, we can write the solution representation of (1) as
$$ x(t)=\sum_{j=1}^{m}{ \frac{ {}_{a}\mathfrak{D}^{\alpha-j,\rho}x(a)}{\rho ^{\alpha-j}\Gamma(\alpha-j+1)}(t-a)^{\rho\alpha-\rho j}}+ {}_{a}\mathfrak{I}^{\alpha, \rho} F(t,x), $$
(6)
where \(F(t,x)=r(t)+f_{2}(t,x)-f_{1}(t,x)\) and \(\rho>0\).

A solution of (1) is said to be oscillatory if it has arbitrarily large zeros on \((0,\infty)\); otherwise, it is called nonoscillatory. An equation is said to be oscillatory if all of its solutions are oscillatory.

We prove our results under the following assumptions:
$$\begin{aligned}& xf_{i}(t,x)>0\quad (i=1,2), x\neq0, t\geq0, \end{aligned}$$
(7)
$$\begin{aligned}& \bigl\vert f_{1}(t,x) \bigr\vert \geq p_{1}(t) \vert x \vert ^{\beta}\quad \mbox{and}\quad \bigl\vert f_{2}(t,x) \bigr\vert \leq p_{2}(t) \vert x \vert ^{\gamma}, \quad x\neq0, t\geq0, \end{aligned}$$
(8)
$$\begin{aligned}& \bigl\vert f_{1}(t,x) \bigr\vert \leq p_{1}(t) \vert x \vert ^{\beta} \quad \mbox{and}\quad \bigl\vert f_{2}(t,x) \bigr\vert \geq p_{2}(t) \vert x \vert ^{\gamma},\quad x\neq0, t\geq0, \end{aligned}$$
(9)
where \(p_{1}, p_{2} \in C([0,\infty),(0,\infty))\) and β, γ are positive constants.
Define
$$ \Phi(t)=\Gamma(\alpha)\sum_{j=1}^{m}{ \frac{ {}_{a}\mathfrak{D}^{\alpha -j,\rho}f(a)}{\rho^{\alpha-j}\Gamma(\alpha-j+1)}(t-a)^{\rho\alpha -\rho j}} $$
(10)
and
$$ \Psi(t,T_{1})= \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{F(s,x(s)) \,ds}{(s-a)^{1-\rho}}. $$
(11)

Theorem 3.2

Let\(f_{2} =0\)in (1) and condition (7) hold. If
$$ \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}} = -\infty, $$
(12)
and
$$ \limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}}= \infty, $$
(13)
for every sufficiently largeT, then every solution of (1) is oscillatory.

Proof

Let \(x(t)\) be a nonoscillatory solution of equation (1) with \(f_{2} =0\). Suppose that \(T_{1}>a\) is large enough so that \(x(t)>0\) for \(t\geq T_{1}\). Hence, (7) implies that \(f_{1}(t,x)>0\) for \(t\geq T_{1}\). Using (3), we get from (6)
$$\begin{aligned} \Gamma(\alpha)x(t) =&\Gamma(\alpha)\sum_{j=1}^{m}{ \frac{ {}_{a} \mathfrak {D}^{\alpha-j,\rho}f(a)}{\rho^{\alpha-j}\Gamma(\alpha -j+1)}(t-a)^{\rho\alpha-\rho j}} \\ &{}+ \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{F(s,x(s)) \,ds}{(s-a)^{1-\rho}} \\ &{}+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s)-f_{1}(s,x(s)) \,ds}{(s-a)^{1-\rho}} \\ \leq&\Phi(t)+\Psi(t,T_{1})+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s) \,ds}{(s-a)^{1-\rho}}, \end{aligned}$$
(14)
where Φ and Ψ are defined in (10) and (11), respectively.
Multiplying (14) by \((\frac{t^{\rho}}{\rho} )^{1-\alpha }\), we get
$$\begin{aligned} 0 < & \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Gamma(\alpha)x(t) \\ \leq& \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Phi(t)+ \biggl( \frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Psi(t,T_{1}) \\ &{}+ \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s) \,ds}{(s-a)^{1-\rho}}. \end{aligned}$$
(15)
Take \(T_{2}>T_{1}\). We consider two cases as follows.

Case (1): Let \(0<\alpha\leq1\). Then \(m=1\) and \((\frac{t^{\rho}}{\rho} )^{1-\alpha}\Phi(t)=b_{1}t^{\rho-\rho\alpha}(t-a)^{\rho\alpha -\rho}\).

Since the function \(h_{1}(t)=t^{\rho-\rho\alpha}(t-a)^{\rho\alpha-\rho}\) is decreasing for \(\rho>0\) and \(\alpha<1\), we get for \(t\geq T_{2}\)
$$\begin{aligned} \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Phi(t) \biggr\vert =& |b_{1}|t^{\rho-\rho\alpha}(t-a)^{\rho\alpha-\rho} \\ \leq&|b_{1}|T_{2}^{\rho-\rho\alpha}(T_{2}-a)^{\rho\alpha-\rho}:=c_{1}(T_{2}). \end{aligned}$$
(16)
The function \(h_{2}(t)=t^{\rho-\rho\alpha}[(t-a)^{\rho}-(s-a)^{\rho }]^{\alpha-1}\) is decreasing for \(\rho>0\) and \(\alpha<1\). Thus, we get
$$\begin{aligned}& \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \Psi(t,T_{1}) \biggr\vert \\& \quad = \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha -1}\bigl[r(s)+f_{2}\bigl(s,x(s)\bigr)-f_{1} \bigl(s,x(s)\bigr)\bigr]\frac{ds}{(s-a)^{1-\rho}} \biggr\vert \\& \quad \leq \int_{a}^{T_{1}} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha -1} \bigl\vert r(s)+f_{2}\bigl(s,x(s)\bigr)-f_{1}\bigl(s,x(s)\bigr) \bigr\vert \frac{ds}{(s-a)^{1-\rho}} \\& \quad \leq \int_{a}^{T_{1}} \biggl(\frac{T_{2}^{\rho}}{\rho} \biggr)^{1-\alpha} \biggl(\frac{(T_{2}-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha -1} \\& \qquad {}\times\bigl\vert r(s)+f_{2}\bigl(s,x(s)\bigr)-f_{1}\bigl(s,x(s)\bigr) \bigr\vert \frac{ds}{(s-a)^{1-\rho}} \\& \quad := c_{2}(T_{1},T_{2}) \quad \mbox{for } t \geq T_{2}. \end{aligned}$$
(17)
Then, from equation (15) and for \(t\geq T_{2}\), we get
$$\biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s) \,ds}{(s-a)^{1-\rho}}\geq-\bigl[c_{1}(T_{2})+c_{2}(T_{1},T_{2}) \bigr], $$
hence
$$\liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}}\geq- \bigl[c_{1}(T_{2})+c_{2}(T_{1},T_{2}) \bigr]>-\infty, $$
which contradicts condition (12).
Case (2): Let \(\alpha>1\). Then \(m\geq2\). Also, \((\frac {t-a}{t} )^{\rho\alpha-\rho}<1\) for \(\alpha>1\) and \(\rho> 0\). The function \(h_{3}(t)=(t-a)^{\rho-\rho j}\) is decreasing for \(j>1\) and \(\rho> 0\). Thus, for \(t\geq T_{2}\), we have
$$\begin{aligned} \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Phi(t) \biggr\vert =& \Biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Gamma( \alpha)\sum_{j=1}^{m}{\frac{b_{j}(t-a)^{\rho\alpha-\rho j}}{\rho^{\alpha-j}\Gamma (\alpha-j+1)}} \Biggr\vert \\ =& \Biggl\vert \biggl(\frac{t-a}{t} \biggr)^{\rho\alpha-\rho}\Gamma(\alpha) \sum_{j=1}^{m}{\frac{b_{j}(t-a)^{\rho-\rho j}}{\rho^{1-j}\Gamma(\alpha -j+1)}} \Biggr\vert \\ \leq&\Gamma(\alpha)\sum_{j=1}^{m}{ \frac{|b_{j}|(t-a)^{\rho-\rho j}}{\rho ^{1-j}\Gamma(\alpha-j+1)}} \\ \leq&\Gamma(\alpha)\sum_{j=1}^{m}{ \frac{|b_{j}|(T_{2}-a)^{\rho-\rho j}}{\rho ^{1-j}\Gamma(\alpha-j+1)}}:=c_{3}(T_{2}). \end{aligned}$$
(18)
Also, since \((\frac{t^{\rho}}{\rho} )^{1-\alpha}<1\) and \((\frac {(t-a)^{\rho}-(s-a)^{\rho}}{t^{\rho}} )^{\alpha-1}<1\) for \(\alpha>1\) and \(\rho> 0\), we get
$$\begin{aligned}& \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \Psi(t,T_{1}) \biggr\vert \\& \quad = \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha -1}\bigl[r(s)+f_{2}\bigl(s,x(s)\bigr)-f_{1} \bigl(s,x(s)\bigr)\bigr]\frac{ds}{(s-a)^{1-\rho}} \biggr\vert \\& \quad \leq \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{t^{\rho}} \biggr)^{\alpha-1} \bigl\vert r(s)+f_{2}\bigl(s,x(s) \bigr)-f_{1}\bigl(s,x(s)\bigr) \bigr\vert \frac{ds}{(s-a)^{1-\rho}} \\& \quad \leq \int_{a}^{T_{1}} \bigl\vert r(s)+f_{2} \bigl(s,x(s)\bigr)-f_{1}\bigl(s,x(s)\bigr) \bigr\vert \frac {ds}{(s-a)^{1-\rho}}:=c_{4}(T_{1}). \end{aligned}$$
(19)
From (15), (18), and (19), we conclude that
$$\biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s) \,ds}{(s-a)^{1-\rho}}\geq-\bigl[c_{3}(T_{2})+c_{4}(T_{1}) \bigr] $$
for \(t\geq T_{2}\). Hence
$$\liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}}\geq- \bigl[c_{3}(T_{2})+c_{4}(T_{1}) \bigr]>-\infty, $$
which contradicts condition (12). Therefore, we conclude that \(x(t)\) is oscillatory. In case \(x(t)\) is eventually negative, similar arguments lead to a contradiction with condition (13). □

Theorem 3.3

Let conditions (7) and (8) hold with\(\beta>\gamma \). If
$$ \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}}=-\infty, $$
(20)
and
$$ \limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)-H(s)] \,ds}{(s-a)^{1-\rho}}=\infty, $$
(21)
for every sufficiently largeT, where
$$ H(s)=\frac{\beta-\gamma}{\gamma} p_{1}^{\frac{\gamma}{ \gamma-\beta}}(s) \biggl[\frac{\gamma p_{2}(s)}{\beta} \biggr]^{\frac{\beta}{\beta- \gamma}}, $$
(22)
then every solution of (1) is oscillatory.

Proof

Let \(x(t)\) be a nonoscillatory solution of equation (1), say \(x(t)>0\) for \(t\geq T_{1}>a\). Let \(s\geq T_{1}\). Using conditions (7) and (8), we get
$$f_{2}(s,x)-f_{1}(s,x)\leq p_{2}(s)x^{\gamma}(s)-p_{1}(s)x^{\beta}(s). $$
Let \(X=x^{\gamma}(s)\), \(Y=\frac{\gamma p_{2}(s)}{\beta p_{1}(s)}\), \(u=\frac {\beta}{\gamma}\), and \(v=\frac{\beta}{\beta-\gamma}\), then from part (i) of Lemma 2.1 we get
$$\begin{aligned} p_{2}(s)x^{\gamma}(s)-p_{1}(s)x^{\beta}(s) =& \frac{\beta p_{1}(s)}{\gamma} \biggl[x^{\gamma}(s)\frac{\gamma p_{2}(s)}{\beta p_{1}(s)}- \frac{\gamma}{\beta}\bigl(x^{\gamma}(s)\bigr)^{\frac{\beta }{\gamma}} \biggr] \\ =&\frac{\beta p_{1}(s)}{\gamma} \biggl[XY-\frac{1}{u}X^{u} \biggr]\leq \frac {\beta p_{1}(s)}{\gamma}\frac{1}{v}Y^{v}=H(s), \end{aligned}$$
(23)
where H is defined by (22). Then from equation (6) we obtain
$$\begin{aligned} \Gamma(\alpha)x(t) =& \Phi(t)+\Psi(t,T_{1})+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \\ &{}\times \frac{[r(s)+f_{2}(s,x(s))-f_{1}(s,x(s))] \,ds}{(s-a)^{1-\rho}} \\ \leq&\Phi(t)+\Psi(t,T_{1})+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \\ &{}\times\frac{[r(s)+p_{2}(s)x^{\gamma}(s)-p_{1}(s)x^{\beta}(s)] \,ds}{(s-a)^{1-\rho}} \\ \leq&\Phi(t)+\Psi(t,T_{1})+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}}. \end{aligned}$$
(24)
The rest of the proof is the same as that of Theorem 3.2 and hence is omitted. □

Theorem 3.4

Let\(\alpha\geq1\)and suppose that (7) and (9) hold with\(\beta< \gamma\). If
$$ \limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}}=\infty $$
(25)
and
$$ \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)-H(s)] \,ds}{(s-a)^{1-\rho}}=-\infty $$
(26)
for every sufficiently largeT, whereHis defined by (22), then every bounded solution of (1) is oscillatory.

Proof

Let \(x(t)\) be a bounded nonoscillatory solution of equation (1). Then there exist constants \(M_{1}\) and \(M_{2}\) such that
$$ M_{1} \leq x(t)\leq M_{2} \quad \mbox{for } t\geq a. $$
(27)
Assume that x is a bounded eventually positive solution of (1). Then there exists \(T_{1} >a\) such that \(x(t)>0\) for \(t\geq T_{1}>a\). Using conditions (7) and (9), we get \(f_{2}(s,x)-f_{1}(s,x)\geq p_{2}(s)x^{\gamma}(s)-p_{1}(s)x^{\beta}(s)\). Using (ii) of Lemma 2.1 and similar to the proof of (23), we find
$$ p_{2}(s)x^{\gamma}(s)-p_{1}(s)x^{\beta}(s) \geq H(s)\quad \mbox{for }s \geq T_{1}. $$
From (6) and similar to (24), we obtain
$$\Gamma(\alpha)x(t)= \Phi(t)+\Psi(t,T_{1})+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{[r(s)+H(s)]\,ds}{(s-a)^{1-\rho}}. $$
Multiplying by \((\frac{t^{\rho}}{\rho} )^{1-\alpha}\), we get
$$\begin{aligned} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Gamma(\alpha)x(t) \geq& \biggl( \frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Phi(t)+ \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Psi(t,T_{1}) \\ &{}+ \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}}. \end{aligned}$$
(28)
Take \(T_{2} > T_{1}\). We consider two cases as follows.
Case (1): Let \(\alpha=1\). Then (16) and (17) are still correct. Hence, from (28) and using (27), we find that
$$\begin{aligned} M_{2}\Gamma(\alpha) \geq& \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha}\Gamma (\alpha)x(t)\geq- c_{1}(T_{2})-c_{2}(T_{1},T_{2}) \\ &{}+ \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}} \end{aligned}$$
for \(t\geq T_{2}\). Thus, we get
$$\begin{aligned}& \limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}} \\& \quad \leq c_{1}(T_{2})+c_{2}(T_{1},T_{2})+M_{2} \Gamma(\alpha)< \infty, \end{aligned}$$
which contradicts condition (25).
Case (2): Let \(\alpha>1\). Then (18) and (19) are still true. Hence, from (28) and using (27), we find that
$$\begin{aligned} M_{2}\Gamma(\alpha) \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \geq& - c_{3}(T_{2})-c_{4}(T_{1}) \\ &{}+ \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}} \end{aligned}$$
for \(t\geq T_{2}\). Since \(\lim_{t \to\infty} (\frac{t^{\rho}}{\rho} )^{1-\alpha}=0\) for \(\alpha>1\), we conclude that
$$\limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}}\leq c_{3}(T_{2})+c_{4}(T_{1})< \infty, $$
which contradicts condition (25). Therefore, we conclude that \(x(t)\) is oscillatory. In case \(x(t)\) is eventually bounded negative, similar arguments lead to a contradiction with condition (26). □

4 Oscillation of conformable fractional differential equations in the frame of Caputo

In this section, we study the oscillation of conformable fractional differential equations in the Caputo setting of the form
$$ \textstyle\begin{cases} {}_{a}^{C}\mathfrak{D}^{\alpha,\rho}x(t)+f_{1}(t,x)=r(t)+f_{2}(t,x),\quad t>a \\ {}_{a}^{k}T^{\rho}x(a)=b_{k}\quad (k=0,1,\ldots,m-1), \end{cases} $$
(29)
where \(m=\lceil\alpha\rceil\) and \({}_{a}^{C}\mathfrak{D}^{\alpha,\rho}\) is defined by (4).

Lemma 4.1

[1] Let\(f \in C_{\rho, a}^{m}[a,b]\), \(\alpha\in\mathbb{C}\). Then
$$ {}_{a}\mathfrak{I}^{\alpha, \rho}\bigl( {}_{a}^{C} \mathfrak{D}^{\alpha, \rho}f(x)\bigr)= f(x)- \sum_{k=0}^{m-1}{ \frac{ {}_{a}^{k}T^{\rho} f(a)(x-a)^{\rho k}}{\rho^{k} k!}}. $$
Using Lemma 4.1, the solution representation of (29) can be written as
$$ x(t)=\sum_{k=0}^{m-1}{ \frac{ {}_{a}^{k}T^{\rho} x(a)(t-a)^{\rho k}}{\rho ^{k} k!}}+ {}_{a}\mathfrak{I}^{\alpha, \rho} F(t,x), $$
(30)
where \(F(t,x)=r(t)+f_{2}(t,x)-f_{1}(t,x)\) and \(\rho>0\).
Define
$$ \chi(t)=\Gamma(\alpha) \sum_{k=0}^{m-1}{ \frac{ {}_{a}^{k}T^{\rho} x(a)(t-a)^{\rho k}}{\rho^{k} k!}}. $$
(31)

Theorem 4.2

Let\(f_{2} =0\)in (29) and condition (7) hold. If
$$ \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}} = -\infty $$
(32)
and
$$ \limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}}= \infty $$
(33)
for every sufficiently largeT, then every solution of (29) is oscillatory.

Proof

Let \(x(t)\) be a nonoscillatory solution of equation (29) with \(f_{2} =0\). Suppose that \(T_{1}>a\) is large enough so that \(x(t)>0\) for \(t\geq T_{1}\). Hence (7) implies that \(f_{1}(t,x)>0\) for \(t\geq T_{1}\). Using (3), we get from (30)
$$\begin{aligned} \Gamma(\alpha)x(t) =&\Gamma(\alpha)\sum_{k=0}^{m-1}{ \frac{ {}_{a}^{k}T^{\rho} x(a)(t-a)^{\rho k}}{\rho^{k} k!}} \\ &{}+ \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{F(s,x(s)) \,ds}{(s-a)^{1-\rho}} \\ &{}+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s)-f_{1}(s,x(s)) \,ds}{(s-a)^{1-\rho}} \\ \leq&\chi(t)+\Psi(t,T_{1})+ \int_{T_{1}}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s) \,ds}{(s-a)^{1-\rho}}, \end{aligned}$$
(34)
where χ and Ψ are defined in (31) and (11), respectively.
Multiplying (34) by \((\frac{t^{\rho}}{\rho} )^{1-m}\), we get
$$\begin{aligned} 0 < & \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m}\Gamma(\alpha)x(t) \\ \leq& \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m}\chi(t)+ \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m}\Psi(t,T_{1}) \\ &{}+ \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s) \,ds}{(s-a)^{1-\rho}}. \end{aligned}$$
(35)
Take \(T_{2}>T_{1}\). We consider two cases as follows.

Case (1): Let \(0<\alpha\leq1\). Then \(m=1\) and \((\frac{t^{\rho}}{\rho} )^{1-m}\chi(t)=\Gamma(\alpha)b_{0}\).

The function \(h_{4}(t)=(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho})^{\alpha -1}\) is decreasing for \(\rho>0\), \(t>T_{2}>s\), and \(\alpha<1\). Thus, we get
$$\begin{aligned}& \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \Psi(t,T_{1}) \biggr\vert \\& \quad = \biggl\vert \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1}\bigl[r(s)+f_{2}\bigl(s,x(s)\bigr)-f_{1} \bigl(s,x(s)\bigr)\bigr]\frac{ds}{(s-a)^{1-\rho }} \biggr\vert \\& \quad \leq \int_{a}^{T_{1}} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \bigl\vert r(s)+f_{2}\bigl(s,x(s) \bigr)-f_{1}\bigl(s,x(s)\bigr) \bigr\vert \frac{ds}{(s-a)^{1-\rho}} \\& \quad \leq \int_{a}^{T_{1}} \biggl(\frac{(T_{2}-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \bigl\vert r(s)+f_{2}\bigl(s,x(s) \bigr)-f_{1}\bigl(s,x(s)\bigr) \bigr\vert \frac{ds}{(s-a)^{1-\rho}} \\& \quad := c_{5}(T_{1},T_{2}). \end{aligned}$$
Then, from equation (35) and for \(t\geq T_{2}\), we get
$$\biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int_{T_{1}}^{t} \biggl(\frac {(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{r(s) \,ds}{(s-a)^{1-\rho}}\geq-\bigl[\Gamma(\alpha)b_{0}+c_{5}(T_{1},T_{2}) \bigr], $$
hence
$$\begin{aligned}& \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}} \\& \quad \geq- \bigl[\Gamma(\alpha)b_{0}+c_{5}(T_{1},T_{2}) \bigr]> -\infty, \end{aligned}$$
which contradicts condition (32).
Case (2): Let \(\alpha>1\). Then \(m\geq2\). Also, \((\frac {t-a}{t} )^{\rho m-\rho}<1\) for \(m\geq2\) and \(\rho> 0\). The function \(h_{3}(t)=(t-a)^{\rho(k-m+1)}\) is decreasing for \(k< m-1\) and \(\rho>0\). Thus, for \(t\geq T_{2}\), we have
$$\begin{aligned} \biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m}\chi(t) \biggr\vert =& \Biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m}\Gamma( \alpha)\sum_{k=0}^{m-1}{\frac{ {}_{a}^{k}T^{\rho} x(a)(t-a)^{\rho k}}{\rho^{k} k!}} \Biggr\vert \\ =& \Biggl\vert \biggl(\frac{t-a}{t} \biggr)^{\rho m-\rho}\Gamma(\alpha) \sum_{k=0}^{m-1}{\frac{ {}_{a}^{k}T^{\rho} x(a)(t-a)^{\rho(k-m+1) }}{\rho ^{k-m+1}k!}} \Biggr\vert \\ \leq&\Gamma(\alpha)\sum_{k=0}^{m-1}{ \frac{ \vert {}_{a}^{k}T^{\rho} x(a) \vert (t-a)^{\rho(k-m+1)}}{\rho^{k-m+1}k!}} \\ \leq&\Gamma(\alpha)\sum_{k=0}^{m-1}{ \frac{ \vert {}_{a}^{k}T^{\rho} x(a) \vert (T_{2}-a)^{\rho(k-m+1)}}{\rho^{k-m+1}k!}}:=c_{6}(T_{2}). \end{aligned}$$
(36)
Also, since \((\frac{t^{\rho}}{\rho} )^{1-m}<1\) and \((\frac {(t-a)^{\rho}-(s-a)^{\rho}}{t^{\rho}} )^{\alpha-1}<1\) for \(\alpha>1\) and \(\rho> 0\), and similar to (19) we get
$$\biggl\vert \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \Psi(t,T_{1}) \biggr\vert \leq c_{4}(T_{1}). $$
Then, from (35) and (36), we get a contradiction with condition (32). Therefore, we conclude that \(x(t)\) is oscillatory. In case \(x(t)\) is eventually negative, similar arguments lead to a contradiction with condition (33). □

We state the following two theorems without proof.

Theorem 4.3

Let conditions (7) and (8) hold with\(\beta>\gamma \). If
$$ \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}}=-\infty $$
and
$$ \limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)-H(s)] \,ds}{(s-a)^{1-\rho}}=\infty $$
for every sufficiently largeT, whereHis defined by (22), then every solution of (29) is oscillatory.

Theorem 4.4

Let\(\alpha\geq1\)and suppose that (7) and (9) hold with\(\beta< \gamma\). If
$$ \limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}}=\infty $$
and
$$ \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)-H(s)] \,ds}{(s-a)^{1-\rho}}=-\infty $$
for every sufficiently largeT, whereHis defined by (22), then every bounded solution of (29) is oscillatory.

5 Examples

In this section, we construct numerical examples to illustrate the effectiveness of our theoretical results.

Example 5.1

Consider the Riemann conformable fractional differential equation
$$ \textstyle\begin{cases} {}_{a}\mathfrak{D}^{\alpha, \rho}x(t)+x^{5}(t)\ln(t+e) \\ \quad =\frac{2\rho^{\alpha}(t-a)^{\rho(2-\alpha)}}{\Gamma(3-\alpha)}+ [(t-a)^{10\rho}-(t-a)^{\frac{2}{3}\rho}]\ln(t+e)+x^{\frac{1}{3}}(t)\ln (t+e), \\ \lim_{t \to a^{+}}{ {}_{a}\mathfrak{I}^{1-\alpha, \rho}x(t)}=0,\quad 0< \alpha < 1, \rho>0, \end{cases} $$
(37)
where \(m=1\), \(f_{1}(t,x)=x^{5}(t)\ln(t+e)\), \(r(t)=\frac{2\rho^{\alpha}(t-a)^{\rho (2-\alpha)}}{\Gamma(3-\alpha)}+ [(t-a)^{10\rho}-(t-a)^{\frac{2}{3}\rho}]\ln(t+e)\), and \(f_{2}(t,x)=x^{\frac{1}{3}}(t)\ln(t+e)\). It is easy to verify that conditions (7) and (8) are satisfied for \(\beta =5\), \(\gamma=\frac{1}{3}\) and \(p_{1}(t)=p_{2}(t)=\ln(t+e)\). However, we show in the following that condition (20) does not hold. For every sufficiently large \(T\geq1\) and all \(t\geq T\), we have \(r(t)>0\). Calculating \(H(s)\) as defined by (22), we find that \(H(s)=14(15)^{-\frac{15}{14}}\ln(s+e) \geq0.77\). Then, using (5) with \(\nu=1\), we get
$$\begin{aligned}& \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {[r(s)+H(s)] \,ds}{(s-a)^{1-\rho}} \\& \quad \geq \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha } \int_{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{H(s) \,ds}{(s-a)^{1-\rho}} \\& \quad \geq \liminf_{t \to\infty} 0.77 \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int_{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{(s-T)^{0} \,ds}{(s-a)^{1-\rho}} \\& \quad = \liminf_{t \to\infty} 0.77 \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha }\Gamma(\alpha) \bigl( {}_{a}\mathfrak{I}^{\alpha,\rho}(s-T)^{0} \bigr) (t) \\& \quad = \liminf_{t \to\infty} \frac{0.77t^{\rho}}{\rho\alpha} \biggl( \frac {t-T}{t} \biggr)^{\rho\alpha}=\infty. \end{aligned}$$
However, using (5) with \(\nu=3\), one can easily verify that \(x(t)=(t-a)^{2\rho}\) is a nonoscillatory solution of (37). The initial condition is also satisfied because
$${}_{a}\mathfrak{I}^{1-\alpha, \rho}(t-a)^{2\rho}= \frac{2\rho^{\alpha -1}(t-a)^{\rho(3-\alpha)}}{\Gamma(4-\alpha)}. $$

Example 5.2

Consider the conformable fractional differential equation
$$ \textstyle\begin{cases} {}_{a}\mathfrak{D}^{\alpha, \rho}x(t)+x^{3}(t)=\sin t, \\ \lim_{t \to a^{+}}{ {}_{a}\mathfrak{I}^{1-\alpha, \rho}x(t)}=0,\quad 0< \alpha < 1, \end{cases} $$
(38)
where \(f_{1}(t,x)=x^{3}(t)\), \(r(t)=\sin t\), and \(f_{2}(t,x)=0\). Then condition (7) holds. Furthermore, one can easily check that
$$\liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {\sin s \,ds}{(s-a)^{1-\rho}} = -\infty $$
and
$$\limsup_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-\alpha} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {\sin s \,ds}{(s-a)^{1-\rho}}= \infty. $$
This shows that conditions (12) and (13) of Theorem 3.2 hold. Hence, every solution of (38) is oscillatory.

Example 5.3

Consider the Caputo conformable fractional differential equation
$$ \textstyle\begin{cases} {}_{a}^{C}\mathfrak{D}^{\alpha, \rho}x(t)+e^{t} x^{3}(t) =\frac{\rho^{\alpha}(t-a)^{\rho(1-\alpha)}}{\Gamma(2-\alpha )}+(t-a)^{3\rho} e^{t}, \\ x(a)=0,\quad 0< \alpha< 1, \rho>0, \end{cases} $$
(39)
where \(m=1\), \(f_{1}(t,x)=e^{t} x^{3}(t)\), \(r(t)=\frac{\rho^{\alpha}(t-a)^{\rho (1-\alpha)}}{\Gamma(2-\alpha)}\), and \(f_{2}(t,x)=0\). Then condition (7) is satisfied. However, condition (32) does not hold since
$$\begin{aligned}& \liminf_{t \to\infty} \biggl(\frac{t^{\rho}}{\rho} \biggr)^{1-m} \int _{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac {r(s) \,ds}{(s-a)^{1-\rho}} \\& \quad \geq \liminf_{t \to\infty} \int_{T}^{t} \biggl(\frac{(t-a)^{\rho}-(s-a)^{\rho}}{\rho} \biggr)^{\alpha-1} \frac{(s-T)^{0} \,ds}{(s-a)^{1-\rho}} \\& \quad = \liminf_{t \to\infty} \frac{1}{\alpha\rho^{\alpha}}(t-T)^{\rho \alpha}= \infty. \end{aligned}$$
Using (2), (5) with \(\nu=2\) and the fact that
$${}_{a}^{C}\mathfrak{D}^{\alpha, \rho}(t-a)^{\rho(\nu-1)}= {}_{a}\mathfrak{I}^{1-\alpha, \rho} {}_{a}T^{\rho}(t-a)^{\rho(\nu-1)}, $$
one can easily check that \(x(t)=(t-a)^{\rho}\) is a nonoscillatory solution of (39).

Remark 5.1

The oscillation of fractional differential equations in the frame of Katugampola-type fractional derivatives studied in [23, 24, 25] can be investigated in a similar way as we have done in this article for CFDs and their Caputo settings. The reader can verify sufficient conditions and the proofs by observing the kernel which is free from the starting point a.

6 Conclusion

In this article, the oscillation theory for conformable fractional differential equations was studied. Sufficient conditions for the oscillation of solutions of Riemann conformable fractional differential equations of the form (1) were given in three theorems in Sect. 3. As \(\rho\rightarrow1\) in these theorems, we get the results obtained in [13] and [14] when \(a=0\). The main approach is based on applying Young’s inequality which will help us in obtaining sharper conditions. The oscillation for the Caputo conformable fractional differential equations has been investigated as well. Numerical examples have been presented to demonstrate the effectiveness of the obtained results. We shall discuss the case when \(\rho\rightarrow0\) in the future work. Namely, we shall discuss the oscillation of Hadamard-type fractional differential equations with kernels both depending or not depending on the starting point.

Notes

Acknowledgements

The author 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.

Authors’ contributions

The author read and approved the final manuscript.

Competing interests

The author declares that he has no competing interests.

References

  1. 1.
    Jarad, F., Uğurlu, E., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017, 247 (2017).  https://doi.org/10.1186/s13662-017-1306-z MathSciNetCrossRefGoogle Scholar
  2. 2.
    Kilbas, A.A., Srivastava, M.H., Trujillo, J.J.: Theory and Application of Fractional Differential Equations. North Holland Mathematics Studies, vol. 204 (2006) zbMATHGoogle Scholar
  3. 3.
    Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993) zbMATHGoogle Scholar
  4. 4.
    Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015) Google Scholar
  5. 5.
    Atangana, A., Baleanu, D.: New fractional derivative with non-local and non-singular kernel. Therm. Sci. 20(2), 757–763 (2016) CrossRefGoogle Scholar
  6. 6.
    Abdeljawad, T.: Fractional operators with exponential kernels and a Lyapunov type inequality. Adv. Differ. Equ. 2017, 313 (2017) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Abdeljawad, T., Baleanu, D.: Integration by parts and its applications of a new nonlocal fractional derivative with Mittag-Leffler nonsingular kernel. J. Nonlinear Sci. Appl. 10, 1098–1107 (2017) MathSciNetCrossRefGoogle Scholar
  8. 8.
    Abdeljawad, T., Baleanu, D.: Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels. Adv. Differ. Equ. 2016, 232 (2016).  https://doi.org/10.1186/s13662-016-0949-5 MathSciNetCrossRefGoogle Scholar
  9. 9.
    Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017, 130 (2017).  https://doi.org/10.1186/s13660-017-1400-5 MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Al-Rifae, M., Abdeljawad, T.: Analysis for fractional diffusion equations with fractional derivative with non-singular kernel. Adv. Differ. Equ. 2017, 315 (2017).  https://doi.org/10.1186/s13662-017-1356-2 MathSciNetCrossRefGoogle Scholar
  11. 11.
    Abdeljawad, T., Baleanu, D.: On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys. 80(1), 11–27 (2017) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Abdeljawad, T., Baleanu, D.: Monotonicity results for fractional difference operators with discrete exponential kernels. Adv. Differ. Equ. 2017, 78 (2017).  https://doi.org/10.1186/s13662-017-1126-1 MathSciNetCrossRefGoogle Scholar
  13. 13.
    Grace, S.R., Agarwal, R.P., Wong, P.J.Y., Zafer, A.: On the oscillation of fractional differential equations. Fract. Calc. Appl. Anal. 15, 222–231 (2012).  https://doi.org/10.2478/s13540-012-0016-1 MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Chen, D.-X., Qu, P.-X., Lan, Y.-H.: Forced oscillation of certain fractional differential equations. Adv. Differ. Equ. 2013, 125 (2013).  https://doi.org/10.1186/1687-1847-2013-125 MathSciNetCrossRefGoogle Scholar
  15. 15.
    Alzabut, J., Abdeljawad, T.: Sufficient conditions for the oscillation of nonlinear fractional difference equations. J. Fract. Calc. Appl. 5(1), 177–178 (2014) MathSciNetGoogle Scholar
  16. 16.
    Abdalla, B., Abodayeh, K., Abdeljawad, T., Alzabut, J.: New oscillation criteria for forced nonlinear fractional difference equations. Vietnam J. Math. 45(4), 609–618 (2017).  https://doi.org/10.1007/s10013-016-0230-y MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Abdalla, B.: On the oscillation of q-fractional difference equations. Adv. Differ. Equ. 2017, 254 (2017).  https://doi.org/10.1186/s13662-017-1316-x MathSciNetCrossRefGoogle Scholar
  18. 18.
    Abdalla, B., Alzabut, J., Abdeljawad, T.: On the oscillation of higher order fractional difference equations with mixed nonlinearities. Hacet. J. Math. Stat. (2018).  https://doi.org/10.15672/HJMS.2017.458 Google Scholar
  19. 19.
    Graef, J.R., Grace, S.R., Tunc, E.: Asymptotic behavior of solutions of nonlinear fractional differential equations with Caputo-type Hadamard derivatives. Fract. Calc. Appl. Anal. 20(1), 71–87 (2017) MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Grace, S.R., Graef, J.R., Tunc, E.: Asymptotic behavior of solutions of forced fractional differential equations. Electron. J. Qual. Theory Differ. Equ. 2016, 71 (2016).  https://doi.org/10.14232/ejqtde.2016.1.71 MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Tunc, E., Tunc, O.: On the oscillation of a class of damped fractional differential equations. Miskolc Math. Notes 17(1), 647–656 (2016) MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math. 279, 57–66 (2013) MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Katugampola, U.N.: New approach to generalized fractional integral. Appl. Math. Comput. 218, 860–865 (2011) MathSciNetzbMATHGoogle Scholar
  24. 24.
    Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6(4), 1–15 (2014) MathSciNetzbMATHGoogle Scholar
  25. 25.
    Jarad, F., Abdeljawad, T., Baleanu, D.: On the generalized fractional derivatives and their Caputo modification. J. Nonlinear Sci. Appl. 10, 2607–2619 (2017) MathSciNetCrossRefGoogle Scholar
  26. 26.
    Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1988) zbMATHGoogle Scholar

Copyright information

© The Author(s) 2018

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.

Authors and Affiliations

  1. 1.Department of Mathematics and General SciencesPrince Sultan UniversityRiyadhSaudi Arabia

Personalised recommendations