<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JAMP</journal-id><journal-title-group><journal-title>Journal of Applied Mathematics and Physics</journal-title></journal-title-group><issn pub-type="epub">2327-4352</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jamp.2019.77096</article-id><article-id pub-id-type="publisher-id">JAMP-93574</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Oscillation for a Class of Fractional Differential Equation
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Qian</surname><given-names>Feng</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Anping</surname><given-names>Liu</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Mathematics and Physics, China University of Geosciences, Wuhan, China</addr-line></aff><pub-date pub-type="epub"><day>10</day><month>07</month><year>2019</year></pub-date><volume>07</volume><issue>07</issue><fpage>1429</fpage><lpage>1439</lpage><history><date date-type="received"><day>25,</day>	<month>May</month>	<year>2019</year></date><date date-type="rev-recd"><day>3,</day>	<month>July</month>	<year>2019</year>	</date><date date-type="accepted"><day>10,</day>	<month>July</month>	<year>2019</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  
    We consider the oscillation of a class fractional differential equation with Robin and Dirichlet boundary conditions. By generalized Riccati transformation technique and the differential inequality method, oscillation criteria for a class of nonlinear fractional differential equation are obtained. 
  
 
</p></abstract><kwd-group><kwd>Oscillation</kwd><kwd> Fractional Derivative</kwd><kwd> Fractional Partial Differential Equation</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The fractional differential equations are used to describe mathematical models of numerous real processes and phenomena studied in many areas of science and engineering such as population dynamics, neural networks, industrial robotics, electric circuits, optimal control, biotechnology, economics and many other branches of science. Furthermore, the fractional calculus can also provide an excellent instrument for the description of memory and hereditary properties of various materials and processes due to the existence of a “memory” term in the model.</p><p>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 works on the oscillatory behavior of integer order differential equations [<xref ref-type="bibr" rid="scirp.93574-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref3">3</xref>]. As a new cross-cutting area, recently some attention has been paid to oscillations of fractional differential equations [<xref ref-type="bibr" rid="scirp.93574-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref7">7</xref>]. Some new developments in the oscillatory behavior of solutions of fractional differential equations with damping terms [<xref ref-type="bibr" rid="scirp.93574-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref9">9</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref10">10</xref>] [<xref ref-type="bibr" rid="scirp.93574-ref11">11</xref>] have been reported by authors.</p><p>In this paper, we consider the oscillatory behavior of solutions of the following fractional differential equation:</p><p>∂ ∂ t [ a ( t ) g ( p ( t ) + q ( t ) D + ,t α u ( x , t ) ) ] + ∑ i = 1 m a i ( x , t ) f i ( ∫ 0 t ( t − s ) − α u ( x , s ) d s ) = b ( t ) h ( u ) Δ u ( x , t ) + ∑ i = 1 m b i ( t ) h i ( u ( x , t − τ i ) ) Δ u ( x , t − τ i ) , t ≥ t 0 &gt; 0 (1.1)</p><p>where ( x , t ) ∈ Ω &#215; R + = E , Δ is the Laplacian in R n , Ω is a bounded domain in R n with a piecewise smooth boundary ∂ Ω . 0 &lt; α &lt; 1 is a real number and D + α u ( x , t ) is the Riemann-Liouville left-sided fractional derivative of order α ∈ ( 0 , 1 ) of u for t ∈ R + : = ( 0 , ∞ ) .</p><p>We shall consider Robin and Dirichlet boundary conditions</p><p>∂ u ( x , t ) ∂ N + γ ( x , t ) u ( x , t ) = 0 , ( x , t ) ∈ ∂ Ω &#215; R + , (1.2)</p><p>and</p><p>u ( x , t ) = 0 , ( x , t ) ∈ ∂ Ω &#215; R + . (1.3)</p><p>where γ ∈ C [ ∂ Ω , R + ] is continuous function, N is the unit out normal vector to ∂ Ω .</p><p>The following conditions are assumed to hold:</p><p>(H1) f i , g ∈ C ( R ; R ) are convex in [ 0 , ∞ ) and g is a monotone increasing function with x f i ( x ) &gt; 0 , x g ( x ) &gt; 0 for x ≠ 0 , there exist positive constants k i , β such that f i ( x ) / x &gt; k i , x / g ( x ) &gt; β for x ≠ 0 . And τ i ≥ 0 , u ≠ 0 , h ( u ) &gt; 0 , h i ( u ) &gt; 0 , u h ' ( u ) &gt; 0 , u h i ' ( u ) &gt; 0 , h ( 0 ) &gt; 0 , h i ( 0 ) &gt; 0 .</p><p>(H2) a , a i , b , b i and q are positive continuous functions on t ∈ [ t 0 , ∞ ) for a certain t 0 &gt; 0 , and p is a nonpositive continuous function on t ∈ [ t 0 , ∞ ) for a certain t 0 &gt; 0 . There exists a constant M &gt; 0 , q ( t ) ≤ M for t 0 &gt; 0 . And</p><p>( − p ( t ) q ( t ) ) ′ ≠ 0 , t ∈ [ t 0 , ∞ ) , ∫ t 0 ∞ − p ( t ) q ( t ) d t &lt; ∞ .</p><p>(H3) g - 1 ∈ C ( R ; R ) is continuous function with s g − 1 ( s ) &gt; 0 for s ≠ 0 , there exists positive constant δ such that g − 1 ( u v ) ≤ δ g − 1 ( u ) g − 1 ( v ) for u v &lt; 0 , and g − 1 ( u v ) ≥ δ g − 1 ( u ) g − 1 ( v ) for u v &gt; 0 .</p><p>(H4) a i ∈ C ( E &#175; ; R + ) , and a i ( t ) = min x ∈ Ω &#175; a i ( x , t ) .</p><p>By a solution of (1.1), (1.2) and (1.3), it mean a nontrivial function</p><p>u ∈ C 1 + α ( E &#175; ; R + ) with ∫ 0 t u ( x , s ) ( t − s ) − α d s ∈ C 1 ( E &#175; ; R + ) ,</p><p>r ( t ) g ( p ( t ) + q ( t ) D + , t α u ( x , t ) ) ∈ C 1 ( E &#175; ; R + ) satisfies (1.1) for t &gt; 0 on E and the boundary conditions (1.2) and (1.3).</p><p>A solution u of (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 if all its solutions are oscillatory.</p></sec><sec id="s2"><title>2. Preliminaries</title><p>In this section, there are several kinds of definitions of fractional derivatives and integrals and some lemmas which are useful throughout this paper.</p><p>Definition 2.1 [<xref ref-type="bibr" rid="scirp.93574-ref12">12</xref>] The Liouville left-sided fractional integral of order α &gt; 0 of a function f : R + → R on the half-axis R + is given by</p><p>( I 0 + α f ) ( t ) = 1 Γ ( α ) ∫ 0 t ( t - v ) α - 1 f ( v ) d v ,</p><p>provided that the left side is pointwise defined on R + , where Γ is the gamma function.</p><p>Definition 2.2 [<xref ref-type="bibr" rid="scirp.93574-ref12">12</xref>] The Riemann-Liouville fractional partial derivative of order 0 &lt; α &lt; 1 with respect to t of a function u ( x , t ) is given by</p><p>( D + α u ) ( x , t ) = ∂ ∂ t 1 Γ ( 1 − α ) ∫ 0 t ( t − v ) − α u ( x , v ) d v .</p><p>Lemma 2.3 [<xref ref-type="bibr" rid="scirp.93574-ref12">12</xref>] Let</p><p>G ( t ) = ∫ 0 t ( t − v ) − α u ( v ) d v , α ∈ ( 0 , 1 ) , t &gt; 0</p><p>Then</p><p>G ' ( t ) = Γ ( 1 − α ) ( D + α u ) ( t ) , α ∈ ( 0 , 1 ) , t &gt; 0</p><p>Lemma 2.4 [<xref ref-type="bibr" rid="scirp.93574-ref4">4</xref>] If X and Y are nonnegative, then</p><p>m X Y m − 1 − X m ≤ ( m − 1 ) Y m</p><p>where the equality holds if and only if X = Y .</p></sec><sec id="s3"><title>3. Oscillation of (1.1) and (1.2)</title><p>For the sake of convenience, we set</p><p>U ( t ) = 1 | Ω | ∫ Ω u ( x , t ) d x , w h e r e | Ω | = ∫ Ω d x</p><p>z ( t ) = p ( t ) + q ( t ) ( D + α U ) ( t )</p><p>Theorem 3.1 Suppose that (H1)?(H5) hold and if the fractional differential inequality</p><p>d d t [ a ( t ) g ( z ( t ) ) ] + ∑ i = 1 m k i a i ( t ) G ( t ) ≤ 0 (3.1)</p><p>has no eventually positive solution and the fractional differential inequality</p><p>d d t [ a ( t ) g ( z ( t ) ) ] + ∑ i = 1 m k i a i ( t ) G ( t ) ≥ 0 (3.2)</p><p>has no eventually negative solution, every solution of (1.1) and (1.2) is oscillatory in E .</p><p>Proof Suppose that u ( x , t ) is a nonoscillatory solution of (1.1) and (1.2), it is either eventually positive or eventually negative. Without loss of generality, we may assume that u ( x , t ) is an eventually positive solution of (1.1) and (1.2) in Ω &#215; [ t 0 , ∞ ) . Integrating (1.1) with respect to x over Ω , we obtain</p><p>∫ Ω d d t [ a ( t ) g ( p ( t ) + q ( t ) D + ,t α u ( x , t ) ) ] d x + ∑ i = 1 m ∫ Ω a i ( x , t ) f i ( ∫ 0 t ( t − s ) − α u ( x , s ) d s ) d x = b ( t ) ∫ Ω h ( u ) Δ u ( x , t ) d x + ∑ i = 1 m b i ( t ) ∫ Ω h i ( u ( x , t − τ i ) ) Δ u ( x , t − τ i ) d x . (3.3)</p><p>Using Green’s formula and boundary condition (1.2), it is obvious that</p><p>∫ Ω h ( u ) Δ u ( x , t ) d x = ∫ ∂ Ω h ( u ) ∂ u ( x , t ) ∂ N d s − ∫ Ω h ′ ( u ) | g r a d u | 2 d x = − ∫ ∂ Ω γ ( x , t ) u h ( u ) d s − ∫ Ω h ′ ( u ) | g r a d u | 2 d x ≤ 0 , t ≥ t 1 (3.4)</p><p>∫ Ω h i ( u ( x , t − τ i ) ) Δ u ( x , t − τ i ) d x ≤ 0 , t ≥ t 1 , (3.5)</p><p>By using Jensen’s inequality and (H1), (H4), we get</p><p>∫ Ω a i ( x , t ) f i ( ∫ 0 t ( t − s ) − α u ( x , s ) d s ) d x ≥ a i ( t ) ∫ Ω d x f i [ ∫ 0 t ( t − s ) − α ( ∫ Ω u ( x , s ) d x ( ∫ Ω d x ) − 1 ) d s ] ≥ k i a i ( t ) ∫ Ω d x G ( t ) (3.6)</p><p>Combining (3.3)?(3.6), we obtain</p><p>d d t [ a ( t ) g ( z ( t ) ) ] + ∑ i = 1 m k i a i ( t ) G ( t ) ≤ 0 (3.7)</p><p>Therefore, U ( t ) . is an eventually positive solution of (3.1), this contradicts the hypothesis.</p><p>Secondly, if u ( x , t ) is an eventually negative solution of the problem (1.1) and (1.2), then using above procedure, we can easily show that</p><p>U ( t ) = 1 | Ω | ∫ Ω u ( x , t ) d x is an eventually negative solution of the Equation (3.2).</p><p>This completes the proof.</p><p>Theorem 3.2 Suppose that (H1)?(H4) and</p><p>∫ t 0 ∞ g − 1 ( 1 a ( t ) ) d t = ∞ (3.8)</p><p>hold. if there exists a positive function r ∈ C 1 [ t 0 , ∞ ) such that</p><p>lim sup t → ∞ ∫ t 0 t [ r ( t ) ∑ i = 1 m k i a i ( s ) − M a ( s ) [ r ′ ( s ) ] 2 4 β Γ ( 1 − α ) r ( s ) ] d s = ∞ (3.9)</p><p>where k i , β are defined as in (H1), then every solution of (3.1) and (3.2) is oscillatory.</p><p>Proof Suppose that U ( t ) is a nonoscillatory solution of (3.1). Without loss of generality, we may assume that U ( t ) is an eventually positive solution of (3.1). Then there exists G ( t ) &gt; 0 , t ∈ [ t 1 , ∞ ) , where G ( t ) is defined as in Lemma 2.3.</p><p>It follows from (3.7) that</p><p>[ a ( t ) g ( z ( t ) ) ] ′ ≤ − ∑ i = 1 m k i a i ( t ) G ( t ) ≤ 0 , t ∈ [ t 1 , ∞ ) . (3.10)</p><p>Thus, a ( t ) g ( z ( t ) ) is strictly decreasing on a ( t ) &gt; 0 . Since a ( t ) &gt; 0 for t ∈ [ t 1 , ∞ ) and (H1), we see that z ( t ) is eventually of one sign. We claim that</p><p>z ( t ) &gt; 0 , t ∈ [ t 1 , ∞ ) . (3.11)</p><p>If not, there exists t 2 ≥ t 1 such that z ( t 2 ) &lt; 0 . Since a ( t ) g ( z ( t ) ) is strictly decreasing on [ t 1 , ∞ ) and it is clear that a ( t ) g ( z ( t ) ) ≤ a ( t 2 ) g ( z ( t 2 ) ) = c &lt; 0 , where c is a constant for t ∈ [ t 2 , ∞ ) . Therefore, we have</p><p>z ( t ) ≤ g − 1 ( c a ( t ) ) . (3.12)</p><p>Due to q ( t ) &gt; 0 and g − 1 ( c ) &lt; 0 , we get</p><p>z ( t ) q ( t ) = p ( t ) q ( t ) + D + α U ( t ) &lt; g − 1 ( c a ( t ) ) q ( t ) ≤ δ g − 1 ( c ) g − 1 ( 1 a ( t ) ) M , (3.13)</p><p>Integrating the above inequality from t 2 to t , from Lemma 2.3, we have</p><p>∫ t 2 t ( p ( t ) q ( t ) + G ′ ( s ) Γ ( 1 − α ) ) d s &lt; ∫ t 2 t δ g − 1 ( c ) g − 1 ( 1 a ( t ) ) M d s , (3.14)</p><p>which yields</p><p>G ( t ) ≤ G ( t 2 ) + Γ ( 1 − α ) [ ∫ t 2 t − p ( t ) q ( t ) d s + δ g − 1 ( c ) M ∫ t 2 t g − 1 ( 1 a ( t ) ) d s ] . (3.15)</p><p>By (H2) and (3.8), letting t → ∞ , we get lim t → ∞ G ( t ) = − ∞ . This contradicts the fact that G ( t ) &gt; 0 . Hence, (3.11) holds.</p><p>From Lemma 2.3</p><p>z ( t ) = p ( t ) + q ( t ) ( D + α U ) ( t ) = p ( t ) + q ( t ) G ′ ( t ) Γ ( 1 − α ) , (3.16)</p><p>therefore,</p><p>G ′ ( t ) = Γ ( 1 − α ) z ( t ) - p ( t ) q ( t ) ≥ Γ ( 1 − α ) z ( t ) q ( t ) ≥ Γ ( 1 − α ) z ( t ) M (3.17)</p><p>Define the function w ( t ) by the generalized Riccati substitution</p><p>w ( t ) = r ( t ) a ( t ) g ( z ( t ) ) G ( t ) , t ∈ [ t 1 , ∞ ) . (3.18)</p><p>Then we have w ( t ) &gt; 0 for t ∈ [ t 0 , ∞ ) , and from (3.18), it follows that</p><p>w ′ ( t ) = ( r ( t ) G ( t ) ) ′ [ a ( t ) g ( z ( t ) ) ] + r ( t ) G ( t ) [ a ( t ) g ( z ( t ) ) ] ′ ≤ r ′ ( t ) r ( t ) w ( t ) − r ( t ) ∑ i = 1 m k i a i ( t ) − Γ ( 1 − α ) z ( t ) M w ( t ) G ( t ) ≤ r ′ ( t ) r ( t ) w ( t ) − r ( t ) ∑ i = 1 m k i a i ( t ) − z ( t ) g ( z ( t ) ) Γ ( 1 − α ) w 2 ( t ) M r ( t ) a ( t ) ≤ r ′ ( t ) r ( t ) w ( t ) − r ( t ) ∑ i = 1 m k i a i ( t ) − β Γ ( 1 − α ) M r ( t ) a ( t ) w 2 ( t ) . (3.19)</p><p>Taking</p><p>m = 2 , X = β Γ ( 1 − α ) M r ( t ) a ( t ) w ( t ) , Y = 1 2 M r ( t ) a ( t ) β Γ ( 1 − α ) r ′ ( t ) r ( t ) (3.20)</p><p>from Lemma 2.4 and (3.19), we get</p><p>w ′ ( t ) ≤ − r ( t ) ∑ i = 1 m k i a i ( t ) + M a ( t ) [ r ′ ( t ) ] 2 4 β Γ ( 1 − α ) r ( t ) , (3.21)</p><p>Integrating both sides of the inequality (3.21) from t 0 to t , and taking the limit supremum of both sides of the above inequality as t → ∞ , we get</p><p>lim sup t → ∞ ∫ t 0 t [ r ( t ) ∑ i = 1 m k i a i ( s ) − M a ( s ) [ r ′ ( s ) ] 2 4 β Γ ( 1 − α ) r ( s ) ] d s &lt; w ( t 0 ) &lt; ∞ . (3.22)</p><p>Which contradicts (3.9). The proof is complete.</p><p>Secondly, if U ( t ) is an eventually negative solution of the fractional differential inequality (3.2) and there exists G ( t ) &lt; 0 , t ∈ [ t 1 , ∞ ) . When (3.2) is oscillatory is similar to that of above procedure, and hence is omitted.</p><p>Theorem 3.3 Assume that (H1) - (H4) and (3.8) hold. Furthermore, suppose that there exist a positive function r ∈ C 1 [ t 0 , ∞ ) and a function H ∈ C ( D , R ) , where D : = { ( s , t ) : s ≥ t ≥ t 0 } , such that</p><p>H ( t , t ) = 0 , f o r t ≥ t 0</p><p>H ( s , t ) = 0 , f o r ( s , t ) ∈ D 0</p><p>where D 0 : = { ( s , t ) : s ≥ t ≥ t 0 } and H has a nonpositive continuous partial derivative H ′ t ( s , t ) = ∂ H ( s , t ) / ∂ t with respect to the second variable and satisfies</p><p>lim sup s → ∞ 1 H ( s , t 0 ) ∫ t 0 s H ( s , t ) [ r ( t ) ∑ i = 1 m k i a i ( t ) − M a ( t s ) [ r ′ ( t ) ] 2 4 β Γ ( 1 − α ) r ( t ) ] d t = ∞ (3.23)</p><p>where k i , β and r ( t ) are defined as in Theorem 3.2. Then all solutions of (3.1) and (3.2) are oscillatory.</p><p>Proof Suppose that U ( t ) is a nonoscillatory solution of (3.1). Without loss of generality, we may assume that U ( t ) is an eventually positive solution of (3.1). We proceed as in the proof of Theorem 3.2 to get (3.21), Multiplying (3.21) by H ( s , t ) and integrating from t 0 to s , for s ∈ [ t 0 , ∞ ) , we derive</p><p>∫ t 0 s H ( s , t ) [ r ( t ) ∑ i = 1 m k i a i ( t ) − M a ( t s ) [ r ′ ( t ) ] 2 4 β Γ ( 1 − α ) r ( t ) ] d t ≤ − [ H ( s , t ) w ( t ) ] | t 0 s + ∫ t 0 s H ′ t ( s , t ) w ( t ) d t ≤ H ( s , t 0 ) w ( t 0 ) , (3.24)</p><p>Therefore,</p><p>1 H ( s , t 0 ) ∫ t 0 s H ( s , t ) [ r ( t ) ∑ i = 1 m k i a i ( t ) − M a ( t s ) [ r ′ ( t ) ] 2 4 β Γ ( 1 − α ) r ( t ) ] d t ≤ w ( t 0 ) &lt; ∞ , (3.25)</p><p>which is a contradiction to (3.23). The proof is complete.</p><p>Secondly, if U ( t ) is an eventually negative solution of the fractional differential inequality (3.2). The proof when (3.2) is oscillatory is similar to that of above procedure, and hence is omitted.</p><p>Next, we consider the case</p><p>∫ t 0 ∞ g − 1 ( 1 a ( t ) ) d t &lt; ∞ (3.26)</p><p>which is different from (3.8). In this case, we have the following results.</p><p>Theorem 3.4 Assume that (H1)?(H4) and (3.26) hold, and that there exist a positive function r ∈ C 1 ( [ t 0 , ∞ ) ; R ) such that (3.9) holds. If for every constant T = max { t 2 , t 3 } , such that</p><p>∫ T ∞ ( 1 a ( t ) ∑ i = 1 m ∫ T t a i ( s ) d s ) d t = ∞ (3.27)</p><p>Then every solutions U ( t ) of (3.1) and (3.2) are oscillatory or satisfies lim t → ∞ G ( t ) = 0 or lim t → ∞ G ′ ( t ) = 0 , where G ( t ) is defined as Lemma 2.3.</p><p>Proof Suppose that U ( t ) is a nonoscillatory solution of (3.1). We may assume that U ( t ) is an eventually positive solution of (3.1), proceeding as in the proof of Theorem 3.2 to get (3.10). Then there are two cases for the sign of z ( t ) .</p><p>When z ( t ) is eventually positive is similar to that of Theorem 3.2, we get that every solution U ( t ) of (3.1) is oscillatory.</p><p>If <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x181.png" xlink:type="simple"/></inline-formula> is eventually negative, there exists<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x182.png" xlink:type="simple"/></inline-formula>, such that <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x183.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x184.png" xlink:type="simple"/></inline-formula>. From (3.16), therefore,</p><disp-formula id="scirp.93574-formula5"><label>(3.28)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x185.png"  xlink:type="simple"/></disp-formula><p>Since <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x186.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x187.png" xlink:type="simple"/></inline-formula> holds, then we obtain</p><disp-formula id="scirp.93574-formula6"><label>(3.29)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x188.png"  xlink:type="simple"/></disp-formula><p>Letting <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x189.png" xlink:type="simple"/></inline-formula> in (3.28), we have</p><disp-formula id="scirp.93574-formula7"><label>(3.30)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x190.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x191.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x192.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x193.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x194.png" xlink:type="simple"/></inline-formula>. Thus, we get <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x195.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x196.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x197.png" xlink:type="simple"/></inline-formula>. Now we claim that<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x198.png" xlink:type="simple"/></inline-formula>. If not, that is<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/93574x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x199.png" xlink:type="simple"/></inline-formula>, then from (3.10), we derive</p><disp-formula id="scirp.93574-formula8"><label>(3.31)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x200.png"  xlink:type="simple"/></disp-formula><p>Integrating both sides of (3.31) from <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x201.png" xlink:type="simple"/></inline-formula> to<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x202.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.93574-formula9"><label>(3.32)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x203.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x204.png" xlink:type="simple"/></inline-formula>, Hence, from (H2) and (3.32), we get</p><disp-formula id="scirp.93574-formula10"><label>(3.33)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x205.png"  xlink:type="simple"/></disp-formula><p>Integrating both sides of (3.33) from <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x206.png" xlink:type="simple"/></inline-formula> to<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x207.png" xlink:type="simple"/></inline-formula>, we obtain</p><disp-formula id="scirp.93574-formula11"><label>(3.34)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x208.png"  xlink:type="simple"/></disp-formula><p>using <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x209.png" xlink:type="simple"/></inline-formula> and (3.27), as<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x210.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x211.png" xlink:type="simple"/></inline-formula>. which contradicts the fact that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x212.png" xlink:type="simple"/></inline-formula>. Therefore, we have<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x213.png" xlink:type="simple"/></inline-formula>, that is<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x213.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x214.png" xlink:type="simple"/></inline-formula>. The proof is complete.</p><p>Secondly, if <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x215.png" xlink:type="simple"/></inline-formula> is an eventually negative solution of the fractional differential inequality (3.2). The proof when (3.2) is oscillatory is similar to that of above procedure, and hence is omitted.</p><p>Theorem 3.5 Assume that (H1) - (H4) and (3.26) hold, Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x216.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x217.png" xlink:type="simple"/></inline-formula> be defined as in Theorem 3.3 such that (3.23) holds. Furthermore, assume that (3.27) holds for every<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x218.png" xlink:type="simple"/></inline-formula>. Then every solutions <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x219.png" xlink:type="simple"/></inline-formula> of (3.1) and (3.2) are oscillatory or satisfies <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x220.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x221.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x222.png" xlink:type="simple"/></inline-formula> is defined as Lemma 2.3.</p><p>Proof Suppose that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x223.png" xlink:type="simple"/></inline-formula> is a nonoscillatory solution of (3.1). Without loss of generality, assume that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x224.png" xlink:type="simple"/></inline-formula> is an eventually positive solution of (3.1), and proceeding as in the proof of Theorem 3.2 to get (3.11), there are two cases for the sign of<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x225.png" xlink:type="simple"/></inline-formula>.</p><p>When <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x226.png" xlink:type="simple"/></inline-formula> is eventually positive, the proof is similar to that of Theorem 3.3. <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x227.png" xlink:type="simple"/></inline-formula>is eventually negative, the proof is similar to that of Theorem 3.4. Here we omitted it.</p></sec><sec id="s4"><title>4. Oscillation of (1.1) and (1.3)</title><p>In the next we establish sufficient conditions for the oscillation of all solutions of (1.1), (1.3). For this we need the following:</p><p>The smallest eigenvalue <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x228.png" xlink:type="simple"/></inline-formula> of the Dirichlet problem</p><disp-formula id="scirp.93574-formula12"><label>(4.1)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x229.png"  xlink:type="simple"/></disp-formula><p>is positive and the corresponding eigenfunction <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x230.png" xlink:type="simple"/></inline-formula> is positive in<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x231.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 4.1 Let all the conditions of Theorem 3.2 and 3.3 be hold. Then every solution of (1.1) and (1.3) oscillates in<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x232.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Suppose that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula> is a nonoscillatory solution of (1.1) and (1.3). Without loss of generality, we may assume that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x234.png" xlink:type="simple"/></inline-formula> is an eventually positive solution of (1.1) and (1.3) in <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x235.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x236.png" xlink:type="simple"/></inline-formula>. Multiplying both sides of the Equation (1.1) by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x237.png" xlink:type="simple"/></inline-formula> and then integrating with respect to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x238.png" xlink:type="simple"/></inline-formula> over<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x239.png" xlink:type="simple"/></inline-formula>, we obtain for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x240.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.93574-formula13"><label>(4.2)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x241.png"  xlink:type="simple"/></disp-formula><p>Using Green's formula and boundary condition (1.3), it is obvious that</p><disp-formula id="scirp.93574-formula14"><label>(4.3)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x242.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.93574-formula15"><label>(4.4)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x243.png"  xlink:type="simple"/></disp-formula><p>By using Jensen's inequality and (H1) and (H4), we get</p><disp-formula id="scirp.93574-formula16"><label>(4.5)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x244.png"  xlink:type="simple"/></disp-formula><p>Set</p><disp-formula id="scirp.93574-formula17"><graphic  xlink:href="//html.scirp.org/file/93574x245.png"  xlink:type="simple"/></disp-formula><p>Combining (4.2)-(4.5), we obtain</p><disp-formula id="scirp.93574-formula18"><label>(4.6)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x246.png"  xlink:type="simple"/></disp-formula><p>The rest of the proof is similar to that of Theorems 3.2 and 3.3, and hence the details are omitted.</p><p>Theorem 4.1 Let the conditions of Theorem 3.4 hold. Then every solution <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x247.png" xlink:type="simple"/></inline-formula> of (1.1) and (1.3) is oscillatory or satisfies <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x248.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x249.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x250.png" xlink:type="simple"/></inline-formula> is defined as Lemma 2.3.</p><p>Theorem 4.2 Let the conditions of Theorem 3.5 hold; Then every solution <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x251.png" xlink:type="simple"/></inline-formula> of (4.6) is oscillatory or satisfies <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x252.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x253.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x254.png" xlink:type="simple"/></inline-formula> is defined as Lemma 2.3.</p><p>The proofs of Theorem 4.1 and 4.2 are similar to that of Theorems 3.2-3.5 and hence the details are omitted.</p></sec><sec id="s5"><title>5. Applications</title><p>Example 1 Consider the fractional differential equation</p><disp-formula id="scirp.93574-formula19"><label>(5.5)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/93574x255.png"  xlink:type="simple"/></disp-formula><p>Here, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x256.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x257.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x258.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x259.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x260.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x261.png" xlink:type="simple"/></inline-formula>.</p><p>Taking<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x263.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x264.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x265.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x266.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x267.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x268.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x269.png" xlink:type="simple"/></inline-formula>.</p><p>Then, we get</p><p><img data-original="//html.scirp.org/file/93574x272.png" /><img data-original="//html.scirp.org/file/93574x271.png" /><img data-original="//html.scirp.org/file/93574x270.png" /></p><p>It is clear that conditions (H1) - (H4) and (3.1) hold. Furthermore, taking</p><p><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x273.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.93574-formula20"><graphic  xlink:href="//html.scirp.org/file/93574x274.png"  xlink:type="simple"/></disp-formula><p>which satisfies condition (3.10). For every constant<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x275.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x275.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x276.png" xlink:type="simple"/></inline-formula>, we obtain</p><disp-formula id="scirp.93574-formula21"><graphic  xlink:href="//html.scirp.org/file/93574x277.png"  xlink:type="simple"/></disp-formula><p>Which shows that (3.27) holds. Therefore, by Theorem 3.4 every solution of (5.5) is oscillatory or satisfies <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x278.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/93574x279.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s6"><title>Acknowledgements</title><p>This research was partially supported by grants from the National Basic Research Program of China, No. 41630643 and by the Science Foundation for The Excellent Youth Scholars of Ministry of Education of China, No. 11801530.</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Feng, Q. and Liu, A.P. (2019) Oscillation for a Class of Fractional Differential Equation. Journal of Applied Mathematics and Physics, 7, 1429- 1439. https://doi.org/10.4236/jamp.2019.77096</p></sec></body><back><ref-list><title>References</title><ref id="scirp.93574-ref1"><label>1</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Yang J.</surname><given-names> Liu</given-names></name>,<name name-style="western"><surname> A. and Liu</surname><given-names> G. </given-names></name>,<etal>et al</etal>. (<year>2013</year>)<article-title>Oscillation of Solutions to Neutral Nonlinear Impulsive Hyperbolic Equations with Several Delays</article-title><source> Electronic Journal of Differential Equations</source><volume> 2013</volume>,<fpage> 207</fpage>-<lpage>211</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.93574-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Liu, A., Ma, Q. and He, M. (2010) Oscillation of Nonlinear Impulsive Parabolic Equations of Neutral Type. Rocky Mountain Journal of Mathematics, 36, 1011-1026.  
https://doi.org/10.1216/rmjm/1181069442</mixed-citation></ref><ref id="scirp.93574-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Liu, A., Xiao, L., Liu, T. and Zou, M. (2007) Oscillation of Nonlinear Impulsive Hyperbolic Equation with Several Delays. Rocky Mountain Journal of Mathematics, 37, 1669-1684. https://doi.org/10.1216/rmjm/1194275940</mixed-citation></ref><ref id="scirp.93574-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Xiang, S., Han, Z., Zhao, P. and Sun, Y. (2014) Oscillation Behavior for a Class of Differential Equation with Fractional-Order Derivatives. Abstract and Applied Analysis, 2014, Article ID: 419597. https://doi.org/10.1155/2014/419597</mixed-citation></ref><ref id="scirp.93574-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Grace, S.R., Agarwal, R.P., Wong, P.J.Y. and Zafer, A. (2012) On the Oscillation of Fractional Differential Equations. Fractional Calculus and Applied Analysis, 15, 222-231. https://doi.org/10.2478/s13540-012-0016-1</mixed-citation></ref><ref id="scirp.93574-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Han, Z., Zhao, Y., Sun, Y. and Zhang, C. (2013) Oscillation Theorem for a Kind of Fractional Differential Equations. Discrete Dynamics in Nature and Society, 2013, 216-219. https://doi.org/10.1155/2013/390282</mixed-citation></ref><ref id="scirp.93574-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Wang, Y., Han, Z., Zhao, P. and Sun, S. (2014) On the Oscillation and Asymptotic Behavior for a Kind of Fractional Differential Equations. Advances in Difference Equations, 2014, 50. https://doi.org/10.1186/1687-1847-2014-50</mixed-citation></ref><ref id="scirp.93574-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Yang, J., Liu, A. and Liu, T. (2015) Forced Oscillation of Nonlinear Fractional Differential Equations with Dampingterm. Advances in Difference Equations, 2015, 1.  
https://doi.org/10.1186/s13662-014-0331-4</mixed-citation></ref><ref id="scirp.93574-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Qi, C. and Huang, S. (2013) Interval Oscillation Criteria for a Class of Fractional Differential Equations with Damping Term. Mathematical Problems in Engineering, 2013, Article ID: 301085. https://doi.org/10.1155/2013/301085</mixed-citation></ref><ref id="scirp.93574-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Zheng, B. (2013) Oscillation for a Class of Nonlinear Fractional Differential Equations with Damping Term. Journal of Advanced Mathematical Studies, 6, 107-115.  
https://doi.org/10.1155/2013/912072</mixed-citation></ref><ref id="scirp.93574-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Prakash, P., Harikrishnan, S. and Benchohra, M. (2015) Oscillation of Certain Nonlinear Fractional Partial Differential Equation with Damping Term. Applied Mathematics Letters, 43, 72-79. https://doi.org/10.1016/j.aml.2014.11.018</mixed-citation></ref><ref id="scirp.93574-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Kilbas, A.A.A., Srivastava, H.M. and Trujillo, J.J. (2006) Theory and Applications of Fractinal Differential Equations. North-Holland Mathematics Studies, 204.</mixed-citation></ref></ref-list></back></article>