Skip to main content

Theory and Modern Applications

Interval oscillation criteria for functional differential equations of fractional order

Abstract

In this paper, we are concerned with the oscillatory behavior of a class of fractional differential equations with functional terms. The fractional derivative is defined in the sense of the modified Riemann-Liouville derivative. By using a variable transformation, a generalized Riccati transformation, Philos type kernels, and the averaging technique, we establish new interval oscillation criteria. Illustrative examples are also given.

1 Introduction

Differential equations of fractional order have recently been proved to be valuable tools in the modeling of many phenomena in various fields of science and engineering. Apart from diverse areas of mathematics, fractional differential equations arise in rheology, viscoelasticity, chemical physics, electrical networks, fluid flows, control, dynamical processes in self-similar and porous structures, etc. (see, for example, [16]). There have appeared lots of works in which fractional derivatives are used for a better description of considered material properties; mathematical modeling based on enhanced rheological models naturally leads to differential equations of fractional order and to the necessity of the formulation of initial conditions to such equations. It is caused both by the intensive development of the theory of fractional calculus itself and by the applications. The books on the subject of fractional integrals and fractional derivatives by Diethelm [7], Miller and Ross [8], Podlubny [9] and Kilbas et al. [10] summarize and organize much of fractional calculus and many of theories and applications of fractional differential equations. Many papers have studied some aspects of fractional differential equations, especially the existence of solutions (or positive solutions) of nonlinear initial (or boundary) value problems for fractional differential equation (or system) by the use of techniques of nonlinear analysis (fixed point theorems, Leray-Schauder theory), the methods for explicit and numerical solutions and the stability of solutions; we refer to [1121] and the references cited therein.

However, to the best of our knowledge, very little is known regarding the oscillation of fractional differential equations up to now. The oscillation theory as a part of the qualitative theory of differential equations has been developed rapidly in the last decades, and there has been a great deal of work on the oscillatory behavior of integer order differential equations; see the monographs [22, 23].

Recently Feng and Meng [24] have established oscillation criteria for the nonlinear fractional differential equations of the form

$$D_{t}^{\alpha} \bigl[ r ( t ) \psi \bigl( x ( t ) \bigr) D_{t}^{\alpha}x ( t ) \bigr] +q ( t ) f \bigl( x ( t ) \bigr) =e ( t ) ,\quad t\geq t_{0}>0, 0<\alpha<1, $$

where \(D_{t}^{\alpha} ( \cdot ) \) denotes the modified Riemann-Liouville derivative [25] with respect to variable t.

In this paper, we are concerned with the oscillation of functional differential equations of fractional order in the form of

$$ D_{t}^{\alpha} \bigl[ r ( t ) \psi \bigl( x ( t ) \bigr) D_{t}^{\alpha}x ( t ) \bigr] +F \bigl( t,x ( t ) ,x \bigl( \tau ( t ) \bigr) \bigr) =e ( t ),\quad t\geq t_{0}>0,0<\alpha<1, $$
(1)

where \(D_{t}^{\alpha} ( \cdot ) \) denotes the modified Riemann-Liouville derivative, the function \(r\in C^{\alpha} ( [t_{0}, \infty),R^{+} ) \), which is the set of functions with continuous derivative or fractional order α, the function \(e\in C ( [t_{0},\infty) ,R ) \), the function ψ belongs to \(C (R,R ) \) with \(0<\psi ( x ) \leq M\) for all \(x\in R\) and some \(M\in R^{+}\), the function \(F\in C ( [t_{0},\infty)\times R^{2},R )\), and the function τ belongs to \(C ( [t_{0},\infty ),R^{+} )\) with \(\lim_{t\rightarrow\infty}\tau ( t ) =\infty\).

A solution of (1) is called oscillatory if it has arbitrarily large zeros, otherwise it is called nonoscillatory. Equation (1) is called oscillatory if its all solutions are oscillatory.

Some of the key properties of the modified Riemann-Liouville derivative are as follows:

$$\begin{aligned}& D_{t}^{\alpha}f ( t ) =\left \{ \begin{array}{l@{\quad}l} \frac{1}{\Gamma ( 1-a ) }\frac{d}{dt}\int_{0}^{t} ( t-\xi ) ^{-\alpha} ( f ( \xi ) -f ( 0 ) )\, d\xi ,& 0<\alpha<1, \\ ( f^{ ( n ) } ( t ) ) ^{ ( \alpha -n ) },&1\leq n\leq\alpha<n+1, \end{array} \right . \\& D_{t}^{\alpha}t^{\beta}=\frac{\Gamma ( 1+\beta ) }{\Gamma ( 1+\beta-\alpha ) }t^{\beta-\alpha}, \\& D_{t}^{\alpha} \bigl( f ( t ) g ( t ) \bigr) =g ( t ) D_{t}^{\alpha}f ( t ) +f ( t ) D_{t}^{\alpha }g ( t ), \\& D_{t}^{\alpha}f \bigl( g ( t ) \bigr) =f_{g}^{\prime} \bigl( g ( t ) \bigr) D_{t}^{\alpha}g ( t ) =D_{g}^{\alpha }f \bigl( g ( t ) \bigr) \bigl( g^{\prime} ( t ) \bigr) ^{\alpha}, \end{aligned}$$

which do not hold for classical Riemann-Liouville and Caputo derivatives. Especially Leibniz’s rule (product rule) and Faà di Bruno’s formula (chain rule) are important tools in our proofs.

We will use a transformation technique, also used in [24, 2630], in our proofs. For the sake of convenience, in the rest of this paper, we denote

$$\xi=\xi ( t ) :=\frac{t^{\alpha}}{\Gamma ( 1+\alpha ) },\qquad \xi_{t_{0}}:=\xi ( t_{0} ) =\frac{ t_{0}^{\alpha}}{\Gamma ( 1+\alpha ) }, $$

and for any function f, we denote \(\tilde{f}=f\circ\xi^{-1}\), i.e., \(\tilde{f} ( \xi ) =f ( t ) \). We immediately get the conclusion \(D_{t}^{\alpha}f ( t ) =\tilde {f}^{\prime } ( \xi ) \), which gives us the ability to build a connection between fractional and integer order derivatives of functions. We will transform fractional order differential inequalities to integer order differential inequalities in our proofs with this connection.

Now we introduce a functional that will be used in the proofs of some results.

Let

$$B ( s_{i},t_{i} ) = \bigl\{ u\in C^{1}[s_{i},t_{i}]:u ( t ) \neq0 \text{ for }t\in ( s_{i},t_{i} ) , u ( s_{i} ) =u ( t_{i} ) =0 \bigr\} $$

for \(i=1,2\). We define the functional \(A(\cdot;s_{i},t_{i})\) for \(G\in B ( s_{i},t_{i} ) \) as

$$A(g;s_{i},t_{i})=\int_{s_{i}}^{t_{i}}G^{2} ( t ) g ( t ) \,dt, \quad s_{i}\leq t\leq t_{i}, i=1,2, $$

where \(g\in C ( [t_{0},\infty),R ) \). It is easily seen that the linear functional \(A(\cdot;s_{i},t_{i})\) satisfies

$$A\bigl(g^{\prime};s_{i},t_{i}\bigr)=-A \biggl(2 \frac{G^{\prime }}{G}g;s_{i},t_{i} \biggr)\geq-A \biggl(2\biggl\vert \frac{G^{\prime}}{G}\biggr\vert \vert g\vert ;s_{i},t_{i} \biggr). $$

In the proofs of some of our results, we will also use another class of averaging functions \(H\in C ( D,R ) \) which satisfy

  1. (i)

    \(H ( t,t ) =0\), \(H ( t,s ) >0\) for \(t>s\);

  2. (ii)

    H has partial derivatives \(\partial H/\partial t\) and \(\partial H/\partial s\) on D such that

    $$\frac{\partial H}{\partial t}=h_{1} ( t,s ) \sqrt{H ( t,s ) },\qquad \frac{\partial H}{\partial s}=-h_{2} ( t,s ) \sqrt{H ( t,s ) }, $$

    where \(D= \{ ( t,s ) :t_{0}\leq s\leq t<\infty \} \) and \(h_{1},h_{2}\in L_{\mathrm{loc}} ( D,\mathbb{R}^{+} ) \).

Before our main results, now we state a useful lemma (Young’s inequality).

Lemma 1

([31])

If A and B are nonnegative constants and \(m,n\in R\) such that \(\frac{1}{m}+\frac{1}{n}=1\), then

$$ \frac{1}{m}A+\frac{1}{n}B\geq A^{\frac{1}{m}}B^{\frac{1}{n}}. $$

We shall make use of the following conditions in our results:

(C1):

For any \(T\geq t_{0}\), there exist \(s_{1}\), \(s_{2}\), \(t_{1}\), \(t_{2} \) such that \(T\leq s_{1}< t_{1}\leq s_{2}<t_{2}\) and

$$\begin{aligned}& e ( t ) \leq0\quad \text{for }t\in{}[ s_{1},t_{1}], \\& e ( t ) \geq0\quad \text{for }t\in{}[ s_{2},t_{2}]. \end{aligned}$$
(C2):

There exist a function \(q ( t ) >0\) and a constant \(\gamma\geq1\) such that \(F ( t,x,u ) /x\geq q ( t ) \vert x\vert ^{\gamma-1}\) holds for \(t\in {}[ s_{1},t_{1}]\cup{}[ s_{2},t_{2}]\) and \(x\neq0\), \(u\in\mathbb{R}\).

2 Main results

Theorem 2

Suppose that conditions (C1)-(C2) hold. If there exists a function \(G\in B ( s_{i},t_{i} ) \) such that the inequality

$$ A(\widetilde{Q};\xi_{s_{i}},\xi_{t_{i}})>A\biggl(M \frac{ ( G^{\prime } ) ^{2}}{G^{2}}\tilde{r};\xi_{s_{i}},\xi_{t_{i}}\biggr) $$
(2)

holds for \(i=1,2\), where \(Q ( t ) =\gamma ( \gamma -1 ) ^{ ( 1-\gamma ) /\gamma} [ q ( t ) ] ^{1/\gamma} \vert e ( t ) \vert ^{\frac{ ( \gamma-1 )}{\gamma} }\) with the convention \(0^{0}=1\), then Eq. (1) is oscillatory.

Proof

On the contrary, suppose that Eq. (1) has a nonoscillatory solution \(x ( t ) \). Then \(x ( t ) \) eventually must have one sign, i.e., \(x ( t ) \neq0\) on \([T_{0},\infty)\) for some large \(T_{0}\geq t_{0}\). Define

$$ w ( t ) :=\frac{r ( t ) \psi ( x ( t ) ) D_{t}^{\alpha}x ( t ) }{x ( t ) } $$
(3)

for \(t\geq T_{0}\). Then we deduce

$$D_{t}^{\alpha}w ( t ) =\frac{e ( t ) }{x ( t ) }-\frac{F ( t,x ( t ) ,x ( \tau ( t ) ) ) }{x ( t ) }- \frac{1}{r ( t ) \psi ( x (t ) ) }w^{2} ( t ) $$

for \(t\geq T_{0}\). By assuming (C2) and condition on ψ, we obtain

$$ D_{t}^{\alpha}w ( t ) \leq\frac{e ( t ) }{x ( t ) }-q ( t ) \bigl\vert x ( t ) \bigr\vert ^{\gamma -1}-\frac{1}{Mr ( t ) }w^{2} ( t ) $$
(4)

for \(t\geq T_{0}\). By assuming (C1), if \(x ( t ) >0\), then we can choose \(s_{1},t_{1}\geq T_{0}\) such that \(e ( t ) \leq0\) for \(t\in [ s_{1},t_{1} ] \). Similarly if \(x ( t ) <0\), then we can choose \(s_{2},t_{2}\geq T_{0}\) such that \(e ( t ) \geq0\) for \(t\in [ s_{2},t_{2} ] \). So \(\frac{e ( t ) }{x ( t ) }\leq0\) (i.e., \(-\frac{e ( t ) }{x ( t ) }=\vert \frac{e ( t ) }{x ( t ) } \vert \)) for \(t\in [ s_{i},t_{i} ] \), \(i=1,2\), and from (4) one can deduce

$$D_{t}^{\alpha}w ( t ) \leq-\biggl\vert \frac{e ( t ) }{x ( t ) }\biggr\vert -q ( t ) \bigl\vert x ( t ) \bigr\vert ^{\gamma-1}- \frac{1}{Mr ( t ) }w^{2} ( t ). $$

For \(\gamma>1\), by setting \(m=\gamma\), \(n=\frac{\gamma}{\gamma-1}\), \(A=\gamma q ( t ) \vert x ( t ) \vert ^{\gamma -1}\), \(B=\frac{\gamma}{\gamma-1}\vert \frac{e ( t ) }{x ( t ) }\vert \) and using Lemma 1, we obtain

$$ q ( t ) \bigl\vert x ( t ) \bigr\vert ^{\gamma -1}+\biggl\vert \frac{e ( t ) }{x ( t ) }\biggr\vert \geq Q ( t ) . $$
(5)

Note that inequality (5) trivially holds for \(\gamma=1\). Hence the inequality

$$ D_{t}^{\alpha}w ( t ) \leq-Q ( t ) -\frac{1}{Mr ( t ) }w^{2} ( t ) $$
(6)

holds for \(t\in [ s_{1},t_{1} ] \) or \(t\in [ s_{2},t_{2} ] \).

Now let \(w ( t ) =\widetilde{w} ( \xi ) \). Then we have \(D_{t}^{\alpha}w ( t ) =\widetilde{w}^{\prime} ( \xi ) \). So (6) is transformed to

$$ \widetilde{w}^{\prime} ( \xi ) \leq-\widetilde{Q} ( \xi ) -\frac{1}{M\tilde{r} ( \xi ) } \widetilde{w}^{2} ( \xi ) $$
(7)

for \(\xi\in [ \xi_{s_{i}},\xi_{t_{i}} ] \), \(i=1\mbox{ or }2\).

Now multiplying \(G^{2} ( \xi ) \) throughout inequality (7) and integrating from \(\xi_{s_{i}}\) to \(\xi_{t_{i}}\) for \(i=1\mbox{ or }2\), we obtain

$$ A(\widetilde{Q};\xi_{s_{i}},\xi_{t_{i}})\leq A \biggl( 2 \frac{\vert G^{\prime} \vert }{\vert G\vert }\vert \widetilde{w}\vert -\frac{1}{M\tilde{r} ( \xi ) } \widetilde{w}^{2};\xi_{s_{i}},\xi_{t_{i}} \biggr) . $$
(8)

Setting

$$m ( v ) =2\frac{\vert G^{\prime} \vert }{\vert G\vert }v-\frac{1}{M\tilde{r}}v^{2},\quad v>0, $$

we have \(m^{\prime} ( v^{\ast} ) =0\) and \(m^{\prime\prime } ( v^{\ast} ) <0\), where \(v^{\ast}=M\frac{\vert G^{\prime} \vert }{\vert G\vert }\tilde{r}\), which implies that \(m ( v ) \) obtains its maximum at \(v^{\ast}\). So we have

$$ m ( v ) \leq m \bigl( v^{\ast} \bigr) =M\frac{ ( G^{\prime } ) }{G^{2}}^{2} \tilde{r}. $$
(9)

Then, by using (9) in (8), we obtain

$$A(\widetilde{Q};\xi_{s_{i}},\xi_{t_{i}})\leq A \biggl( M \frac{ ( G^{\prime} ) }{G^{2}}^{2}\tilde{r};\xi_{s_{i}},\xi _{t_{i}} \biggr) , $$

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

Theorem 3

Suppose that conditions (C1)-(C2) hold. If there exist some \(\delta_{i}\in ( s_{i},t_{i} ) \) for \(i=1,2\), \(H\in C ( D,R ) \) satisfying (i)-(ii) and a positive function \(\rho\in C^{1} ( [t_{0},\infty),\mathbb{R}^{+} ) \) such that

$$\begin{aligned}& \frac{1}{H ( \delta_{i},\xi_{s_{i}} ) }\int_{\xi _{s_{i}}}^{\delta_{i}}\tilde{\rho} ( s ) \biggl[ H ( s,\xi _{s_{i}} ) \widetilde{Q} ( s ) -\frac{M\tilde{r} ( s ) }{4}H_{1}^{2} ( s,\xi_{s_{i}} ) \biggr] \,ds \\& \quad {}+\frac{1}{H ( \xi_{t_{i}},\delta_{i} ) }\int_{\delta _{i}}^{\xi_{t_{i}}}\tilde{ \rho} ( s ) \biggl[ H ( \xi _{t_{i}},s ) \widetilde{Q} ( s ) - \frac{M\tilde {r} ( s ) }{4}H_{2}^{2} ( s,\xi_{t_{i}} ) \biggr] \,ds>0 \end{aligned}$$
(10)

for \(i=1,2\), where \(H_{i} ( t,s ) :=h_{i} ( t,s ) -\frac{\tilde{\rho}^{\prime} ( t ) }{\tilde{\rho} ( t ) }\sqrt{H ( t,s ) }\), then Eq. (1) is oscillatory.

Proof

On the contrary, suppose that Eq. (1) has a nonoscillatory solution \(x ( t ) \). Then \(x ( t ) \) eventually must have one sign, i.e., \(x ( t ) \neq0\) on \([T_{0},\infty)\) for some large \(T_{0}\geq t_{0}\). Define

$$ z ( t ) :=\rho ( t ) \frac{r ( t ) \psi ( x ( t ) ) D_{t}^{\alpha}x ( t ) }{x ( t ) } $$
(11)

for \(t\geq T_{0}\). Then we deduce

$$D_{t}^{\alpha}z ( t ) =\rho ( t ) \frac{e ( t ) }{x ( t ) }-\rho ( t ) \frac{F ( t,x ( t ) ,x ( \tau ( t ) ) ) }{x ( t ) }+\frac {D_{t}^{\alpha}\rho ( t ) }{\rho ( t ) }z ( t ) -\frac{1}{\rho ( t ) r ( t ) \psi ( x ( t ) ) }z^{2} ( t ) $$

for \(t\geq T_{0}\). By assuming (C2) and condition on ψ, we obtain

$$ D_{t}^{\alpha}z ( t ) \leq\rho ( t ) \biggl( \frac{e ( t ) }{x ( t ) }-q ( t ) \bigl\vert x ( t ) \bigr\vert ^{\gamma-1} \biggr) + \frac{D_{t}^{\alpha}\rho (t ) }{\rho ( t ) }z ( t ) -\frac{1}{M\rho ( t ) r ( t ) }z^{2} ( t ) $$
(12)

for \(t\geq T_{0}\). By assuming (C1), if \(x ( t )>0\), then we can choose \(s_{1},t_{1}\geq T_{0}\) such that \(e ( t ) \leq0\) for \(t\in [ s_{1},t_{1} ] \). Similarly if \(x ( t ) <0\), then we can choose \(s_{2},t_{2}\geq T_{0}\) such that \(e ( t ) \geq0\) for \(t\in [ s_{2},t_{2} ] \). So \(\frac{e ( t ) }{x ( t ) }\leq0\) (i.e., \(-\frac{e ( t ) }{x ( t ) }=\lvert \frac{e ( t ) }{x ( t ) } \rvert \)) for \(t\in [ s_{i},t_{i} ] \), \(i=1\mbox{ or }2\), and from (12) one can deduce

$$D_{t}^{\alpha}z ( t ) \leq\rho ( t ) \biggl( - \biggl\vert \frac{e ( t ) }{x ( t ) }\biggr\vert -q ( t ) \bigl\vert x ( t ) \bigr\vert ^{\gamma-1} \biggr) +\frac{ D_{t}^{\alpha}\rho ( t ) }{\rho ( t ) }z ( t ) -\frac{1}{M\rho ( t ) r ( t ) }z^{2} ( t ) . $$

As in the proof of previous result, using Lemma 1, we obtain

$$ D_{t}^{\alpha}z ( t ) \leq\rho ( t ) Q ( t ) +\frac{D_{t}^{\alpha}\rho ( t ) }{\rho ( t ) }z ( t ) -\frac{1}{M\rho ( t ) r ( t ) }z^{2} ( t ) $$
(13)

for \(\gamma\geq1\) and \(t\in [ s_{i},t_{i} ] \), \(i=1\mbox{ or }2\).

Now let \(z ( t ) =\tilde{z} ( \xi ) \). Then we have \(D_{t}^{\alpha}z ( t ) =\tilde{z}^{\prime} ( \xi ) \) and \(D_{t}^{\alpha}\rho ( t ) =\tilde{\rho}^{\prime } ( \xi ) \). So (13) is transformed to

$$ \tilde{z}^{\prime} ( \xi ) \leq\tilde{\rho} ( \xi ) \widetilde{Q} ( \xi ) +\frac{\tilde{\rho}^{\prime } ( \xi ) }{\tilde{\rho} ( \xi ) }\tilde{z} ( \xi ) -\frac{1}{M\tilde{\rho} ( \xi ) \tilde{r} ( \xi ) }\tilde{z}^{2} ( \xi ) $$
(14)

for \(\xi\in [ \xi_{s_{i}},\xi_{t_{i}} ] \), \(i=1\mbox{ or }2\).

Let \(\delta_{i}\) be an arbitrary point in \(( \xi_{s_{i}},\xi _{t_{i}} ) \). Substituting ξ with s, multiplying (14) with \(H ( \xi,s ) \) and integrating it over \([\delta_{i},\xi)\) for \(\xi\in{}[\delta_{i},\xi_{t_{i}})\), \(i=1\mbox{ or }2\), we obtain

$$\begin{aligned}& \int_{\delta_{i}}^{\xi}H ( \xi,s ) \tilde{\rho} ( s ) \widetilde{Q} ( s ) \,ds \\& \quad \leq -\int_{\delta_{i}}^{\xi}H ( \xi,s ) \tilde{z} ^{\prime} ( s ) \,ds+\int_{\delta_{i}}^{\xi}H ( \xi ,s ) \biggl[ \frac{\tilde{\rho}^{\prime} ( s ) }{ \tilde{\rho} ( s ) }\tilde{z} ( s ) -\frac {1}{M \tilde{\rho} ( s ) \tilde{r} ( s ) }\tilde{z} ^{2} ( s ) \biggr] \,ds \\& \quad = H ( \xi,\delta_{i} ) \tilde{z} ( \delta_{i} ) - \int_{\delta_{i}}^{\xi}\tilde{z} ( s ) h_{2} ( \xi,s ) \sqrt{H ( \xi,s ) }\,ds \\& \qquad {}+\int_{\delta_{i}}^{\xi}H ( \xi,s ) \biggl[ \frac{\tilde{\rho}^{\prime} ( s ) }{ \tilde{\rho} ( s ) }\tilde{z} ( s ) -\frac {1}{M \tilde{\rho} ( s ) \tilde{r} ( s ) }\tilde{z} ^{2} ( s ) \biggr] \,ds \\& \quad = H ( \xi,\delta_{i} ) \tilde{z} ( \delta_{i} ) - \int_{\delta_{i}}^{\xi} \biggl[ \biggl( \frac{H ( \xi,s ) }{M\tilde{\rho} ( s ) \tilde{r} ( s ) } \biggr) ^{1/2}\tilde{z} ( s ) -\frac{1}{2} \bigl( M\tilde{\rho} ( s ) \tilde{r} ( s ) \bigr) ^{1/2}H_{2} ( \xi,s ) \biggr] ^{2}\,ds \\& \qquad {}+\int_{\delta_{i}}^{\xi}\frac{M \tilde{\rho} ( s ) \tilde{r} ( s ) }{4} H_{2}^{2} ( \xi,s ) \,ds \\& \quad \leq H ( \xi,\delta_{i} ) \tilde{z} ( \delta _{i} ) +\int_{\delta_{i}}^{\xi}\frac{M\tilde{\rho} ( s ) \tilde{r} ( s ) }{4}H_{2}^{2} ( \xi,s ) \,ds. \end{aligned}$$

Now letting \(\xi\rightarrow\xi_{t_{i}}^{-}\) and dividing it by \(H (\xi_{t_{i}},\delta_{i} ) \), we obtain

$$\begin{aligned}& \frac{1}{H ( \xi_{t_{i}},\delta_{i} ) }\int_{\delta _{i}}^{\xi_{t_{i}}}H ( \xi_{t_{i}},s ) \tilde{\rho} ( s ) \widetilde{Q} ( s ) \,ds \\& \quad \leq\tilde{z} ( \delta _{i} ) +\frac{1}{H ( \xi_{t_{i}},\delta_{i} ) }\int_{\delta_{i}}^{\xi_{t_{i}}} \frac{M\tilde{\rho} ( s ) \tilde{r} ( s ) }{4}H_{2}^{2} ( \xi _{t_{i}},s ) \,ds. \end{aligned}$$
(15)

On the other hand, substituting ξ with s, multiplying (14) with \(H ( s,\xi ) \) and integrating it over \((\xi,\delta_{i})\) for \(\xi\in{}[\xi_{s_{i}},\delta_{i})\), \(i=1 \mbox{ or }2\), with similar calculations, we obtain

$$\begin{aligned}& \int_{\xi}^{\delta_{i}}H ( s,\xi ) \tilde{\rho} ( s ) \widetilde{Q} ( s ) \,ds \\& \quad \leq -\int_{\xi}^{\delta_{i}}H ( s,\xi ) \tilde{z} ^{\prime} ( s ) \,ds+\int_{\xi}^{\delta_{i}}H ( s,\xi ) \biggl[ \frac{\tilde{\rho}^{\prime} ( s ) }{\tilde{ \rho} ( s ) }\tilde{z} ( s ) -\frac {1}{M\tilde{ \rho} ( s ) \tilde{r} ( s ) }\tilde {z}^{2} ( s ) \biggr] \,ds \\& \quad = -H ( \delta_{i},\xi ) \tilde{z} ( \delta _{i} ) - \int_{\xi}^{\delta_{i}}\tilde{z} ( s ) h_{1} ( s, \xi ) \sqrt{H ( s,\xi ) }\,ds \\& \qquad {}+\int_{\xi}^{\delta_{i}}H ( s,\xi ) \biggl[ \frac{\tilde{\rho}^{\prime} ( s ) }{ \tilde{\rho} ( s ) }\tilde{z} ( s ) -\frac {1}{M \tilde{\rho} ( s ) \tilde{r} ( s ) }\tilde{z} ^{2} ( s ) \biggr] \,ds \\& \quad \leq -H ( \delta_{i},\xi ) \tilde{z} ( \delta _{i} ) +\int_{\xi}^{\delta_{i}}\frac{M\tilde{\rho} ( s ) \tilde{r} ( s ) }{4}H_{1}^{2} ( s,\xi ) \,ds. \end{aligned}$$

Now letting \(\xi\rightarrow\xi_{s_{i}}^{+}\) and dividing it by \(H ( \delta_{i},\xi_{s_{i}} ) \), we obtain

$$\begin{aligned}& \frac{1}{H ( \delta_{i},\xi_{s_{i}} ) }\int_{\xi _{s_{i}}}^{\delta_{i}}H ( s, \xi_{s_{i}} ) \tilde{\rho } ( s ) \widetilde{Q} ( s ) \,ds \\& \quad \leq-\tilde{z} ( \delta _{i} ) +\frac{1}{H ( \delta_{i},\xi_{s_{i}} ) }\int_{\xi_{s_{i}}}^{\delta_{i}} \frac{M\tilde{\rho} ( s ) \tilde{r} ( s ) }{4}H_{1}^{2} ( s,\xi _{s_{i}} ) \,ds. \end{aligned}$$
(16)

By combining (15) and (16), we obtain

$$\begin{aligned}& \frac{1}{H ( \delta_{i},\xi_{s_{i}} ) }\int_{\xi _{s_{i}}}^{\delta_{i}}H ( s, \xi_{s_{i}} ) \tilde{\rho } ( s ) \widetilde{Q} ( s ) \,ds+ \frac{1}{H ( \xi _{t_{i}},\delta_{i} ) }\int_{\delta_{i}}^{\xi _{t_{i}}}H ( \xi_{t_{i}},s ) \tilde{\rho} ( s ) \widetilde{Q} ( s ) \,ds \\& \quad \leq \frac{1}{H ( \delta_{i},\xi_{s_{i}} ) }\int_{\xi _{s_{i}}}^{\delta_{i}} \frac{M\tilde{\rho} ( s ) \tilde{r} ( s ) }{4}H_{1}^{2} ( s,\xi_{s_{i}} ) \,ds+ \frac{1}{H ( \xi_{t_{i}},\delta_{i} ) }\int_{\delta_{i}}^{\xi _{t_{i}}} \frac{M\tilde{\rho} ( s ) \tilde{r} ( s ) }{4}H_{2}^{2} ( \xi_{t_{i}},s ) \,ds, \end{aligned}$$

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

3 Examples

Example 1

Consider the fractional differential equation

$$ D_{t}^{\alpha} \biggl( \sin^{2} \biggl( \frac{t^{\alpha}}{\Gamma ( 1+\alpha ) } \biggr) e^{-x^{2} ( t ) }D_{t}^{\alpha }x ( t ) \biggr) +x ( t ) \bigl[ N+x^{2} \bigl( \tau ( t ) \bigr) \bigr] =\sin \biggl( \frac{t^{\alpha}}{\Gamma ( 1+\alpha ) } \biggr) $$
(17)

for \(t\geq2\), \(0<\alpha<1\) and \(N>0\). This corresponds to (1) with \(r ( t ) =\sin^{2} ( \frac{t^{\alpha}}{\Gamma ( 1+\alpha ) } ) \), \(\psi ( x ) =e^{-x^{2}}\), \(F ( t,x,u ) =x ( N+u^{2} ) \), \(e ( t ) =\sin ( \frac{t^{\alpha}}{\Gamma ( 1+\alpha ) } ) \), and therefore \(\tilde{r} ( \xi ) =\sin^{2}\xi\), \(M=1\), \(\gamma=1\), \(q ( t ) =Q ( t ) =N\). Now, by choosing \(G ( t ) =\sin^{2} ( t ) \), \(\xi_{s_{1}}=k\pi\), \(\xi _{t_{1}}=\xi_{s_{2}}= ( k+1 ) \pi\), \(\xi_{t_{2}}= ( k+2 ) \pi\) for some sufficiently large k, it is easy to verify that

$$N\frac{\pi}{2}=A ( \widetilde{Q};\xi_{s_{i}},\xi_{t_{i}} ) >A \biggl( M\frac{ ( G^{\prime} ) ^{2}}{G^{2}}\tilde{r};\xi _{s_{i}},\xi_{t_{i}} \biggr) =2\pi $$

for \(i=1,2\) and \(N>4\). Thus, according to Theorem 2, Eq. (17) is oscillatory for \(N>4\).

Example 2

Consider the fractional differential equation

$$ D_{t}^{\alpha} \bigl( D_{t}^{\alpha}x ( t ) \bigr) +x ( t ) \bigl[ 1+x^{2} \bigl( \tau ( t ) \bigr) \bigr] =\sin \biggl( \frac{t^{\alpha}}{\Gamma ( 1+\alpha ) } \biggr) $$
(18)

for \(t\geq2\) and \(0<\alpha<1\). This corresponds to (1) with \(r ( t ) =1\), \(\psi ( x ) =1\), \(F ( t,x,u ) =x ( 1+u^{2} ) \), \(e ( t ) =\sin ( \frac {t^{\alpha}}{\Gamma ( 1+\alpha ) } ) \), and therefore \(\tilde{r} ( \xi ) =1\), \(M=1\), \(\gamma=1\), \(q ( t ) =Q ( t ) =1\). Now, by choosing \(H ( t,s ) = ( t-s ) ^{2}\), \(\xi_{s_{1}}=k\pi\), \(\xi_{t_{1}}=\xi_{s_{2}}= ( k+2 ) \pi\), \(\xi_{t_{2}}= ( k+4 ) \pi\), \(\delta _{1}= ( k+1 ) \pi\), \(\delta_{2}= ( k+3 ) \pi\) for some sufficiently large k and \(\rho ( t ) =1\), we have \(h_{i} (t,s ) =H_{i} ( t,s ) =2\) for \(i=1,2\). Since

$$ \int_{k\pi}^{ ( k+1 ) \pi} \bigl[ \bigl( ( k+1 ) \pi-s \bigr) ^{2}-1 \bigr] \,ds=\frac{\pi^{3}}{3}-\pi>0, $$

inequality (10) clearly holds. Oscillation of Eq. (18) follows from Theorem 3.

References

  1. Das, S: Functional Fractional Calculus for System Identification and Controls. Springer, New York (2008)

    MATH  Google Scholar 

  2. Diethelm, K, Freed, AD: On the solution of nonlinear fractional order differential equations used in the modeling of viscoplasticity. In: Keil, F, Mackens, W, Vob, H, Werther, J (eds.) Scientific Computing in Chemical Engineering II: Computational Fluid Dynamics, Reaction Engineering and Molecular Properties, pp. 217-224. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  3. Gaul, L, Klein, P, Kempfle, S: Damping description involving fractional operators. Mech. Syst. Signal Process. 5, 81-88 (1991)

    Article  Google Scholar 

  4. Glöckle, WG, Nonnenmacher, TF: A fractional calculus approach to self-similar protein dynamics. Biophys. J. 68, 46-53 (1995)

    Article  Google Scholar 

  5. Mainardi, F: Fractional calculus: some basic problems in continuum and statistical mechanics. In: Carpinteri, A, Mainardi, F (eds.) Fractals and Fractional Calculus in Continuum Mechanics, pp. 291-348. Springer, Vienna (1997)

    Chapter  Google Scholar 

  6. Metzler, R, Schick, W, Kilian, HG, Nonnenmacher, TF: Relaxation in filled polymers: a fractional calculus approach. J. Chem. Phys. 103, 7180-7186 (1995)

    Article  Google Scholar 

  7. Diethelm, K: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)

    Book  MATH  Google Scholar 

  8. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  9. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  10. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  11. Delbosco, D, Rodino, L: Existence and uniqueness for a nonlinear fractional differential equation. J. Math. Anal. Appl. 204(2), 609-625 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  12. Bai, Z, Lü, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311(2), 495-505 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  13. Jafari, H, Daftardar-Gejji, V: Positive solutions of nonlinear fractional boundary value problems using Adomian decomposition method. Appl. Math. Comput. 180(2), 700-706 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  14. Sun, S, Zhao, Y, Han, Z, Li, Y: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 17(12), 4961-4967 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  15. Muslim, M: Existence and approximation of solutions to fractional differential equations. Math. Comput. Model. 49, 1164-1172 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  16. Saadatmandi, A, Dehghan, M: A new operational matrix for solving fractional-order differential equations. Comput. Math. Appl. 59, 1326-1336 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  17. Ghoreishi, F, Yazdani, S: An extension of the spectral Tau method for numerical solution of multi-order fractional differential equations with convergence analysis. Comput. Math. Appl. 61, 30-43 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  18. Edwards, JT, Ford, NJ, Simpson, AC: The numerical solution of linear multi-term fractional differential equations: systems of equations. J. Comput. Appl. Math. 148, 401-418 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  19. Galeone, L, Garrappa, R: Explicit methods for fractional differential equations and their stability properties. J. Comput. Appl. Math. 228, 548-560 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  20. Trigeassou, JC, Maamri, N, Sabatier, J, Oustaloup, A: A Lyapunov approach to the stability of fractional differential equations. Signal Process. 91, 437-445 (2011)

    Article  MATH  Google Scholar 

  21. Deng, W: Smoothness and stability of the solutions for nonlinear fractional differential equations. Nonlinear Anal. 72, 1768-1777 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  22. Agarwal, RP, Grace, SR, O’Regan, D: Oscillation Theory for Second Order Linear, Half-Linear, Superlinear and Sublinear Dynamic Equations. Kluwer Academic, Dordrecht (2002)

    Book  MATH  Google Scholar 

  23. Agarwal, RP, Bohner, M, Li, WT: Nonoscillation and Oscillation: Theory for Functional Differential Equations. Dekker, New York (2004)

    Book  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  25. Jumarie, G: Modified Riemann-Liouville derivative and fractional Taylor series of non-differentiable functions further results. Comput. Math. Appl. 51, 1367-1376 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  26. Guo, SM, Mei, LQ, Li, Y, Sun, YF: The improved fractional sub-equation method and its applications to the space-time fractional differential equations in fluid mechanics. Phys. Lett. A 376, 407-411 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  27. Zhang, S, Zhang, H: Fractional sub-equation method and its applications to nonlinear fractional PDEs. Phys. Lett. A 375, 1069-1073 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  28. Liu, T, Zheng, B, Meng, F: Oscillation on a class of differential equations of fractional order. Math. Probl. Eng. 2013, Article ID 830836 (2013)

    MathSciNet  Google Scholar 

  29. Qin, H, Zheng, B: Oscillation of a class of fractional differential equations with damping term. Sci. World J. 2013, Article ID 685621 (2013)

    Google Scholar 

  30. Feng, Q: Interval oscillation criteria for a class of nonlinear fractional differential equations with nonlinear damping term. IAENG Int. J. Appl. Math. 43(3), 154-159 (2013)

    MathSciNet  Google Scholar 

  31. Hardy, GH, Littlewood, JE, Polya, G: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1988)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Süleyman Öğrekçi.

Additional information

Competing interests

The author declares that they have no competing interests.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Öğrekçi, S. Interval oscillation criteria for functional differential equations of fractional order. Adv Differ Equ 2015, 3 (2015). https://doi.org/10.1186/s13662-014-0336-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-014-0336-z

Keywords