Skip to main content

Advertisement

Kamenev-type oscillation criteria for higher-order nonlinear dynamic equations on time scales

Article metrics

  • 2162 Accesses

  • 6 Citations

Abstract

In this paper, we investigate the oscillation of the following higher-order dynamic equation:

{ r n ( t ) [ ( r n 1 ( t ) ( ( r 1 ( t ) x ( t ) ) ) ) ] γ } +F ( t , x ( τ ( t ) ) ) =0

on an arbitrary time scale T, where n2, 1 r k ( t ) (1kn) are positive rd-continuous functions on T, and γ is the quotient of two odd positive integers, τ:TT with τ(t)>t and FC(T×R,R). We give sufficient conditions under which every solution of this equation is either oscillatory or tends to zero.

MSC:34K11, 39A10, 39A99.

1 Introduction

Let R be the set of all real numbers, and let T be a time scale (i.e., a closed nonempty subset of R) with supT=. In this paper, we study Kamenev-type oscillation criteria of solutions of the following higher-order dynamic equation:

{ r n ( t ) [ ( r n 1 ( t ) ( ( r 1 ( t ) x ( t ) ) ) ) ] γ } +F ( t , x ( τ ( t ) ) ) =0,t [ t 0 , ) T ,
(1.1)

where t 0 T is a constant and [ t , ) T = [ t , ) T for any tT. Throughout this paper, we assume that the following conditions are satisfied:

( H 1 ) 1 r k ( t ) C rd ( [ t 0 , ) T ,(0,)) (1kn).

( H 2 ) γ is the quotient of two odd positive integers.

( H 3 ) t 0 1 r k ( s ) s= t 0 [ 1 r n ( s ) ] 1 γ s= (1kn1).

( H 4 ) τ:TT is a nondecreasing function with τ(t)>t for any tT.

( H 5 ) FC(T×R,R) and there exists a positive rd-continuous function q(t) defined on T such that for any u0,

F ( t , u ) u γ q(t).
(1.2)

Write

S k ( t , x ( t ) ) ={ x ( t ) if  k = 0 , r k ( t ) S k 1 ( t , x ( t ) ) if  1 k n 1 , r n ( t ) [ S n 1 ( t , x ( t ) ) ] γ if  k = n .

Then Eq. (1.1) reduces to the equation

S n ( t , x ( t ) ) +F ( t , x ( τ ( t ) ) ) =0.
(1.3)

By a solution of Eq. (1.3) we mean a nontrivial real-valued function x(t) C rd 1 ( [ T x , ) T ) with T x t 0 , which has the property that S k (t,x(t)) C rd 1 ( [ T x , ) T ) for 0kn and satisfies Eq. (1.3) on [ T x , ) T , where C rd 1 is the space of differentiable functions whose derivative is rd-continuous. The solutions vanishing in some neighborhood of infinity will be excluded from our consideration. A solution x(t) of Eq. (1.3) is said to be oscillatory if it is neither eventually positive nor eventually negative; otherwise, it is called nonoscillatory.

The theory of time scales, which has recently received a lot of attention, was introduced by Stefan Hilger in his PhD thesis [1] in order to unify continuous and discrete analysis. The cases when a time scale T is equal to R or all integers Z represent the classical theories of differential and difference equations. Many results concerning differential equations carry over quite easily to corresponding results for difference equations, while other results seem to be completely different from their continuous counterparts. The study of dynamic equations on time scales reveals such discrepancies and helps avoid proving results twice - once for differential equations and once again for difference equations. The general idea is to prove a result for a dynamic equation where the domain of the unknown function is a time scale T. In this way results not only related to the set of real numbers or the set of integers but those pertaining to more general time scales are obtained. Therefore, not only can the theory of dynamic equations unify the theories of differential equations and difference equations, but it also extends these classical cases to cases ‘in between’, e.g., to the so-called q-difference equations when T= q N 0 , which has important applications in quantum theory (see [2]). In the last years there has been much research activity concerning the oscillation and asymptotic behavior of solutions of some dynamic equations on time scales, and we refer the reader to the papers [317] and the references cited therein.

Recently, Wang [18] extended the Hille and Nehari oscillation theorems to the third-order dynamic equation

( r 2 ( t ) ( ( r 1 ( t ) x ( t ) ) ) γ ) +q(t)f ( x ( t ) ) =0.
(1.4)

Erbe et al. in [1921] considered the third-order dynamic equations

( a ( t ) [ r ( t ) x ( t ) ] ) +p(t)f ( x ( t ) ) =0,
(1.5)
x (t)+p(t)x(t)=0
(1.6)

and

( a ( t ) { [ r ( t ) x ( t ) ] } γ ) +f ( t , x ( t ) ) =0,
(1.7)

respectively, and established some sufficient conditions for oscillation.

Hassan [22] studied the third-order dynamic equation

( a ( t ) { [ r ( t ) x ( t ) ] } γ ) +f ( t , x ( τ ( t ) ) ) =0
(1.8)

and obtained some oscillation criteria, which improved and extended the results that were established in [1921].

Hassan [23] studied the Kamenev-type oscillation criteria of the second-order dynamic equation

( r ( t ) ( x ( t ) ) γ ) +f ( t , x ( g ( t ) ) ) =0
(1.9)

and established some new sufficient conditions, which improved some oscillation results for second-order differential and difference equations.

2 Some auxiliary lemmas

We shall employ the following lemmas.

Lemma 2.1 [24]

Let 1mn. Then:

  1. (1)

    lim inf t S m (t,x(t))>0 implies lim t S i (t,x(t))= for 0im1.

  2. (2)

    lim sup t S m (t,x(t))<0 implies lim t S i (t,x(t))= for 0im1.

Lemma 2.2 Suppose that x(t) is an eventually positive solution of Eq. (1.3), then there exist an integer [0,n] and T [ t 0 , ) T such that:

  1. (1)

    n+ is even.

  2. (2)

    >0 implies that S i (t,x(t))>0 for any tT and 0i1.

  3. (3)

    n1 implies that ( 1 ) + i S i (t,x(t))>0 for any tT and in1.

Proof Since x(t) is an eventually positive solution of Eq. (1.3), there exists a t 1 t 0 such that x(t)>0 and x(τ(t))>0 on [ t 1 , ) T . It follows from (1.3) that

S n ( t , x ( t ) ) =F ( t , x ( τ ( t ) ) ) q(t) x γ ( τ ( t ) ) <0for t t 1 .

Hence S n (t,x(t)) is decreasing on [ t 1 , ) T .

We claim that S n (t,x(t))>0 for all t [ t 1 , ) T . If not, there exists a t 2 [ t 1 , ) T such that

S n ( t , x ( t ) ) S n ( t 2 , x ( t 2 ) ) <0for t t 2 .

Then we obtain

S n 1 ( t , x ( t ) ) S n 1 ( t 2 , x ( t 2 ) ) + S n 1 γ ( t 2 , x ( t 2 ) ) t 2 t [ 1 r n ( s ) ] 1 γ s(t).

By Lemma 2.1, we get lim t x(t)=, which contradicts with x(t)>0 eventually. Then S n (t,x(t))>0 for all t [ t 1 , ) T . This implies that exactly one of the following is true:

( a 1 ) S n 1 (t,x(t))<0 for t t 1 ;

( b 1 ) There exists a t 3 t 1 such that S n 1 (t,x(t)) S n 1 ( t 3 ,x( t 3 ))>0 for t t 3 .

If ( b 1 ) holds, then we obtain by Lemma 2.1

lim t S n 2 ( t , x ( t ) ) = lim t S n 3 ( t , x ( t ) ) == lim t x(t)=.

Thus the conclusions of Lemma 2.2 hold.

If ( a 1 ) holds, then S n 2 (t,x(t)) is strictly decreasing on [ t 1 , ) T and exactly one of the following is true:

( a 2 ) S n 2 (t,x(t))>0 for t t 1 ;

( b 2 ) There exists a t 4 t 1 such that S n 2 (t,x(t)) S n 1 ( t 4 ,x( t 4 ))<0 for t t 4 .

If ( b 2 ) holds, then we obtain by Lemma 2.1

lim t S n 3 ( t , x ( t ) ) = lim t S n 4 ( t , x ( t ) ) == lim t x(t)=,

which contradicts with x(t)>0 eventually. Hence ( b 2 ) is impossible.

From ( a 2 ), we see that S n 3 (t,x(t)) is strictly increasing on [ t 1 , ) T and exactly one of the following is true:

( a 3 ) S n 3 (t,x(t))<0 for t t 1 ;

( b 3 ) There exists a t 5 t 1 such that S n 3 (t,x(t)) S n 3 ( t 5 ,x( t 5 ))>0 for t t 5 .

Therefore we can repeat the above argument and show that the conclusions of Lemma 2.2 hold. The proof is completed. □

Remark 2.3 Let r n (t)== r 1 (t)=1 and T be the set of integers. Then Lemma 2.1 and Lemma 2.2 are Lemma 1.8.10 and Theorem 1.8.11 of [3] respectively.

Lemma 2.4 Assume that

t 0 1 r n 1 ( s ) { s [ 1 r n ( u ) u q ( v ) v ] 1 γ u } s=
(2.1)

holds and x(t) is an eventually positive solution of Eq. (1.3). Then there exists T [ t 0 , ) T sufficiently large such that either of the following cases holds:

  1. (1)

    S i (t,x(t))>0 for any tT and 0in.

  2. (2)

    lim t x(t)=0.

Proof Since x(t) is an eventually positive solution of Eq. (1.3), there exists a t 1 t 0 such that x(t)>0 and x(τ(t))>0 on [ t 1 , ) T . It follows from (1.3) that

S n ( t , x ( t ) ) =F ( t , x ( τ ( t ) ) ) q(t) x γ ( τ ( t ) ) <0for t t 1 .

By Lemma 2.2, we see that there exists an integer 0n, with +n being even, such that ( 1 ) + i S i (t,x(t))>0 for t t 1 and in, and x(t) is eventually monotone.

We claim that lim t x(t)0 implies =n. If not, then S n 1 (t,x(t))<0 (t t 1 ) and S n 2 (t,x(t))>0 (t t 1 ). It is easy to see that there exist a t 2 t 1 and a constant M>0 such that x(τ(t))M on [ t 2 , ) T . Integrating Eq. (1.3) from t to ∞, we get that for t t 2 ,

r n (t) [ S n 1 ( t , x ( t ) ) ] γ = S n ( t , x ( t ) ) M γ t q(s)s.

Thus

S n 1 ( t , x ( t ) ) M t [ 1 r n ( s ) s q ( u ) u ] 1 γ sfor t t 2 .

Again, integrating the above inequality from t 2 to t, we obtain that for t t 2 ,

S n 2 ( t , x ( t ) ) S n 2 ( t 2 , x ( t 2 ) ) M t 2 t 1 r n 1 ( s ) { s [ 1 r n ( u ) u q ( v ) v ] 1 γ u } s.

It follows from (2.1) that lim t S n 2 (t,x(t))=, which is a contradiction to S n 2 (t,x(t))>0 (t t 1 ). Thus =n. The proof is completed. □

Lemma 2.5 Let x(t) be a solution of Eq. (1.3) such that case (1) of Lemma  2.4 holds for t [ T , ) T with some T [ t 0 , ) T . Then we have that for t [ T , ) T ,

S i ( t , x ( t ) ) S n 1 γ ( t , x ( t ) ) ϑ i + 1 (t,T),0in1
(2.2)

and

S n 1 ( t , x ( t ) ) x σ ( t ) [ t q ( s ) s r n ( t ) ] 1 γ ,
(2.3)

where

ϑ i (t,T)={ T t [ 1 r n ( s ) ] 1 γ s if i = n , T t ϑ i + 1 ( s , T ) r i ( s ) s if 1 i n 1 .
(2.4)

Proof Because x(t) is an eventually positive solution of Eq. (1.3), there exists a T t 0 sufficiently large such that x(t)>0 and x(τ(t))>0 for tT. Note S n (t,x(t))=F(t,x(τ(t)))q(t) x γ (τ(t))<0, we know that S n (t,x(t)) is strictly decreasing on [ T , ) T . Then for tT,

S n 1 ( t , x ( t ) ) S n 1 ( t , x ( t ) ) S n 1 ( T , x ( T ) ) = T t [ S n ( s , x ( s ) ) r n ( s ) ] 1 γ s S n 1 γ ( t , x ( t ) ) ϑ n ( t , T ) , S n 2 ( t , x ( t ) ) S n 2 ( t , x ( t ) ) S n 2 ( T , x ( T ) ) = T t S n 1 ( s , x ( s ) ) r n 1 ( s ) s S n 1 γ ( t , x ( t ) ) ϑ n 1 ( t , T ) .

Repeating the above process, we have

S 1 ( t , x ( t ) ) S 1 ( t , x ( t ) ) S 1 ( T , x ( T ) ) = T t S 2 ( s , x ( s ) ) r 2 ( s ) s S n 1 γ ( t , x ( t ) ) ϑ 2 ( t , T ) , S 0 ( t , x ( t ) ) x ( t ) x ( T ) = T t S 1 ( s , x ( s ) ) r 1 ( s ) s S n 1 γ ( t , x ( t ) ) ϑ 1 ( t , T ) .

Thus it follows

r n ( t ) [ S n 1 ( t , x ( t ) ) ] γ = S n ( t , x ( t ) ) t F ( s , x ( τ ( s ) ) ) s t q ( s ) x γ ( τ ( s ) ) s x γ ( τ ( t ) ) t q ( s ) s x γ ( σ ( t ) ) t q ( s ) s .

That is,

S n 1 ( t , x ( t ) ) x σ ( t ) [ t q ( s ) s r n ( t ) ] 1 γ .

The proof is completed. □

Lemma 2.6 [25]

Let f:RR be continuously differentiable and suppose that g:TR is delta differentiable. Then fg is delta differentiable and the formula

( f g ) (t)= g (t) 0 1 f ( h g σ ( t ) + ( 1 h ) g ( t ) ) dh
(2.5)

holds.

Lemma 2.7 [23]

Suppose that a and b are nonnegative real numbers and λ1. Then

λa b λ 1 a λ (λ1) b λ ,
(2.6)

where the equality holds if and only if a=b.

3 Main results

For convenience, we write D{(t,s)|ts t 0 }. Now we state and prove our main results.

Theorem 3.1 Assume that (2.1) holds. Furthermore, suppose that there exist G,g C rd (D,R) with G s C rd (D,R) such that

G(t,t)=0for anyt t 0 andG(t,s)>0for anyt>s t 0 ,
(3.1)

where G s is the -partial derivative with respect to the second variable, and there exist m:TR, such that r n (t)m(t) is a delta differentiable function, and a delta differentiable function M:T(0,) such that

G s (t,s)+G(t,s) β ( s , T ) M σ ( s ) = g ( t , s ) M σ ( s ) M ( s ) G ( t , s ) fort>s t 0
(3.2)

and

lim sup t 1 G ( t , T ) T t [ G ( t , s ) ψ ( s , T ) g 2 ( t , s ) r 1 ( s ) 4 γ η ( s , T ) ] s=
(3.3)

for all sufficiently large T, where

η(t,T)={ ϑ 2 ( t , T ) ( t q ( s ) s ) 1 γ γ if 0 < γ 1 , ϑ 1 γ 1 ( t , T ) ϑ 2 ( t , T ) if γ 1 ,
(3.4)
ψ(t,T)=M(t)q(t)M(t) ( r n ( t ) m ( t ) ) +γ M ( t ) r 1 ( t ) η(t,T) ( ( r n ( t ) m ( t ) ) σ ) 2 ,
(3.5)
β(t,T)= M (t)+2γ M ( t ) η ( t , T ) r 1 ( t ) ( r n ( t ) m ( t ) ) σ
(3.6)

and

g (t,s)=max { 0 , g ( t , s ) } .
(3.7)

Then every solution x(t) of Eq. (1.3) is either oscillatory or tends to zero.

Proof Assume that Eq. (1.3) has a nonoscillatory solution x(t) on [ t 0 , ) T . Then, without loss of generality, there is a T t 0 , sufficiently large, such that x(t)>0 for tT. By Lemma 2.4, there are two possible cases:

  1. (1)

    S i (t,x(t))>0 for any tT and 0in.

  2. (2)

    lim t x(t)=0.

If case (1) holds, then set

ω ( t ) = M ( t ) [ S n ( t , x ( t ) ) x γ ( t ) + r n ( t ) m ( t ) ] = M ( t ) r n ( t ) [ ( S n 1 ( t , x ( t ) ) x ( t ) ) γ + m ( t ) ] ,
(3.8)

we have

ω ( t ) = ( M ( t ) S n ( t , x ( t ) ) x γ ( t ) ) + ( M ( t ) r n ( t ) m ( t ) ) = M ( t ) x γ ( t ) S n ( t , x ( t ) ) + ( M ( t ) x γ ( t ) ) S n σ ( t , x ( t ) ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) ( r n ( t ) m ( t ) ) σ = M ( t ) x γ ( t ) S n ( t , x ( t ) ) + ( M ( t ) x γ σ ( t ) M ( t ) ( x γ ( t ) ) x γ ( t ) x γ σ ( t ) ) S n σ ( t , x ( t ) ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) ( r n ( t ) m ( t ) ) σ .

It follows from (1.3) and the definition of ω(t) that for all tT,

ω ( t ) = M ( t ) x γ ( t ) F ( t , x ( τ ( t ) ) ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) M σ ( t ) ω σ ( t ) M ( t ) ( x γ ( t ) ) x γ ( t ) S n σ ( t , x ( t ) ) x γ σ ( t ) .

Using the fact that F(t,x(τ(t)))q(t) x γ (τ(t)) and x(t) is increasing on [ T , ) T , we get

ω ( t ) M ( t ) q ( t ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) M σ ( t ) ω σ ( t ) M ( t ) ( x γ ( t ) ) x γ ( t ) S n σ ( t , x ( t ) ) x γ σ ( t ) .
(3.9)

Now we consider the following two cases.

Case 1: If 0<γ1, then it follows from x (t)>0 and Lemma 2.6 that x σ (t)x(t) and

( x γ ( t ) ) = γ x ( t ) 0 1 ( h x σ ( t ) + ( 1 h ) x ( t ) ) γ 1 d h γ x ( t ) 0 1 ( h x σ ( t ) + ( 1 h ) x σ ( t ) ) γ 1 d h = γ ( x σ ( t ) ) γ 1 x ( t ) .
(3.10)

By (3.9) and (3.10), we have

ω ( t ) M ( t ) q ( t ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) M σ ( t ) ω σ ( t ) γ M ( t ) x ( t ) x σ ( t ) x γ σ ( t ) x γ ( t ) S n σ ( t , x ( t ) ) x γ σ ( t ) .
(3.11)

It follows from Lemma 2.5 that

x ( t ) S n 1 γ ( t , x ( t ) ) ϑ 2 ( t , T ) r 1 ( t ) , x ( t ) S n 1 γ ( t , x ( t ) ) ϑ 1 ( t , T ) , S n 1 ( t , x ( t ) ) x σ ( t ) [ t q ( s ) s r n ( t ) ] 1 γ .
(3.12)

Then

x ( t ) x σ ( t ) = r n 1 γ 1 ( t ) S n ( t , x ( t ) ) x γ σ ( t ) ( S n 1 ( t , x ( t ) ) x σ ( t ) ) 1 γ x ( t ) S n 1 γ ( t , x ( t ) ) r n 1 γ 1 ( t ) S n ( t , x ( t ) ) x γ σ ( t ) ( ( t q ( s ) s r n ( t ) ) 1 γ ) 1 γ ϑ 2 ( t , T ) r 1 ( t ) ϑ 2 ( t , T ) r 1 ( t ) ( t q ( s ) s ) 1 γ γ S n σ ( t , x ( t ) ) x γ σ ( t ) .
(3.13)

Combining (3.11) with (3.13), we get

ω ( t ) M ( t ) q ( t ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) M σ ( t ) ω σ ( t ) γ M ( t ) ϑ 2 ( t , T ) r 1 ( t ) [ t q ( s ) s ] 1 γ γ ( S n σ ( t , x ( t ) ) x γ σ ( t ) ) 2 .
(3.14)

Case 2: If γ1, then it follows from x (t)>0 and Lemma 2.6 that x σ (t)x(t) and

( x γ ( t ) ) = γ x ( t ) 0 1 ( h x σ ( t ) + ( 1 h ) x ( t ) ) γ 1 d h γ x ( t ) 0 1 ( h x ( t ) + ( 1 h ) x ( t ) ) γ 1 d h = γ ( x ( t ) ) γ 1 x ( t ) .
(3.15)

By (3.9) and (3.15), we have

ω ( t ) M ( t ) q ( t ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) M σ ( t ) ω σ ( t ) γ M ( t ) x ( t ) x ( t ) S n σ ( t , x ( t ) ) x γ σ ( t ) .
(3.16)

It follows from (3.12) that

x ( t ) x ( t ) = S n ( t , x ( t ) ) x γ ( t ) ( x ( t ) S n 1 γ ( t , x ( t ) ) ) γ 1 x ( t ) S n 1 γ ( t , x ( t ) ) S n ( t , x ( t ) ) x γ ( t ) ( ϑ 1 ( t , T ) ) γ 1 ϑ 2 ( t , T ) r 1 ( t ) ( ϑ 1 ( t , T ) ) γ 1 ϑ 2 ( t , T ) r 1 ( t ) S n σ ( t , x ( t ) ) x γ σ ( t ) .
(3.17)

Combining (3.16) with (3.17) gives

ω ( t ) M ( t ) q ( t ) + M ( t ) ( r n ( t ) m ( t ) ) + M ( t ) M σ ( t ) ω σ ( t ) γ M ( t ) ( ϑ 1 ( t , T ) ) γ 1 ϑ 2 ( t , T ) r 1 ( t ) ( S n σ ( t , x ( t ) ) x γ σ ( t ) ) 2 .
(3.18)

Noting that the definitions of η(t,T), ψ(t,T) and β(t,T). It follows from (3.14), (3.18) and the fact

S n σ ( t , x ( t ) ) x γ σ ( t ) = ω σ ( t ) M σ ( t ) r n σ (t) m σ (t)

that for γ>0,

ψ(t,T) ω (t)+ β ( t , T ) M σ ( t ) ω σ (t) γ M ( t ) η ( t , T ) r 1 ( t ) ( M σ ( t ) ) 2 ( ω σ ( t ) ) 2 .
(3.19)

Multiplying both sides of (3.19), with t replaced by s, by G(t,s) and integrating with respect to s from T to t (tT), one gets

T t G ( t , s ) ψ ( s , T ) s T t G ( t , s ) ω ( s ) s + T t G ( t , s ) β ( s , T ) M σ ( s ) ω σ ( s ) s T t γ G ( t , s ) M ( s ) η ( s , T ) r 1 ( s ) ( M σ ( s ) ) 2 ( ω σ ( s ) ) 2 s .

Integrating by parts and using (3.1) and (3.2), we have

T t G ( t , s ) ψ ( s , T ) s G ( t , T ) ω ( T ) + T t G s ( t , s ) ω σ ( s ) s + T t G ( t , s ) β ( s , T ) M σ ( s ) ω σ ( s ) s T t γ G ( t , s ) M ( s ) η ( s , T ) r 1 ( s ) ( M σ ( s ) ) 2 ( ω σ ( s ) ) 2 s = G ( t , T ) ω ( T ) + T t [ g ( t , s ) M σ ( s ) M ( s ) G ( t , s ) ω σ ( s ) γ G ( t , s ) M ( s ) η ( s , T ) r 1 ( s ) ( M σ ( s ) ) 2 ( ω σ ( s ) ) 2 ] s G ( t , T ) ω ( T ) + T t [ g ( t , s ) M σ ( s ) M ( s ) G ( t , s ) ω σ ( s ) γ G ( t , s ) M ( s ) η ( s , T ) r 1 ( s ) ( M σ ( s ) ) 2 ( ω σ ( s ) ) 2 ] s .
(3.20)

It is easy to check that

g ( t , s ) M σ ( s ) M ( s ) G ( t , s ) ω σ ( s ) γ G ( t , s ) M ( s ) η ( s , T ) r 1 ( s ) ( M σ ( s ) ) 2 ( ω σ ( s ) ) 2 = g 2 ( t , s ) r 1 ( s ) 4 γ η ( s , T ) γ M ( s ) η ( s , T ) r 1 ( s ) ( M σ ( s ) ) 2 ( G ( t , s ) ω σ ( s ) g ( t , s ) M σ ( s ) r 1 ( s ) 2 γ M ( s ) η ( s , T ) ) 2 ,

which implies

g ( t , s ) M σ ( s ) M ( s ) G ( t , s ) ω σ (s) γ G ( t , s ) M ( s ) η ( s , T ) r 1 ( s ) ( M σ ( s ) ) 2 ( ω σ ( s ) ) 2 g 2 ( t , s ) r 1 ( s ) 4 γ η ( s , T ) .
(3.21)

Combining (3.21) with (3.20), it follows

1 G ( t , T ) T t [ G ( t , s ) ψ ( s , T ) g 2 ( t , s ) r 1 ( s ) 4 γ η ( s , T ) ] sω(T),

which contradicts assumption (3.3). Thus every solution x(t) of Eq. (1.3) is either oscillatory or tends to zero. The proof is completed. □

Theorem 3.2 Assume that (2.1) holds. Furthermore, suppose that there exist H,h C rd (D,R) with H s C rd (D,R) such that

H(t,t)=0for anyt t 0 andH(t,s)>0for anyt>s t 0 ,
(3.22)

where H s is the -partial derivative with respect to the second variable, and there exists a delta differentiable function M:T(0,) such that

H s (t,s)+H(t,s) M ( s ) M σ ( s ) = h ( t , s ) M σ ( s ) ( M ( s ) H ( t , s ) ) γ γ + 1 fort>s t 0
(3.23)

and

lim sup t 1 H ( t , T ) T t [ M ( s ) q ( s ) H ( t , s ) h γ + 1 ( t , s ) r 1 γ ( s ) ( γ + 1 ) γ + 1 ϑ 2 γ ( s , T ) ] s=
(3.24)

for all sufficiently large T, where

h (t,s)=max { 0 , h ( t , s ) } .
(3.25)

Then every solution x(t) of Eq. (1.3) is either oscillatory or tends to zero.

Proof Assume that Eq. (1.3) has a nonoscillatory solution x(t) on [ t 0 , ) T . Then, without loss of generality, there is a T t 0 , sufficiently large, such that x(t)>0 for tT. By Lemma 2.4, there are two possible cases:

  1. (1)

    S i (t,x(t))>0 for any tT and 0in.

  2. (2)

    lim t x(t)=0.

If case (1) holds, then set

ω(t)=M(t) [ S n ( t , x ( t ) ) x γ ( t ) ] =M(t) r n (t) [ ( S n 1 ( t , x ( t ) ) x ( t ) ) γ ] .
(3.26)

By (3.9), we have

ω ( t ) M ( t ) q ( t ) + M ( t ) M σ ( t ) ω σ ( t ) M ( t ) ( x γ ( t ) ) x γ ( t ) S n σ ( t , x ( t ) ) x γ σ ( t ) M ( t ) q ( t ) + M ( t ) M σ ( t ) ω σ ( t ) M ( t ) M σ ( t ) ( x γ ( t ) ) x γ ( t ) ω σ ( t ) .
(3.27)

It follows from Lemma 2.6 that

( x γ ( t ) ) = γ x ( t ) 0 1 ( h x σ ( t ) + ( 1 h ) x ( t ) ) γ 1 d h { γ ( x σ ( t ) ) γ 1 x ( t ) if  0 < γ 1 , γ ( x ( t ) ) γ 1 x ( t ) if  γ 1 .
(3.28)

Case 1. If 0<γ1, then

ω (t)M(t)q(t)+ M ( t ) M σ ( t ) ω σ (t)γ M ( t ) M σ ( t ) x ( t ) x σ ( t ) x γ σ ( t ) x γ ( t ) ω σ (t).
(3.29)

Case 2. If γ1, then

ω (t)M(t)q(t)+ M ( t ) M σ ( t ) ω σ (t)γ M ( t ) M σ ( t ) x ( t ) x ( t ) ω σ (t).
(3.30)

Noting that x σ (t)x(t), we have

ω (t)M(t)q(t)+ M ( t ) M σ ( t ) ω σ (t)γ M ( t ) M σ ( t ) x ( t ) x σ ( t ) ω σ (t).
(3.31)

By (3.12), we obtain

ω ( t ) M ( t ) q ( t ) + M ( t ) M σ ( t ) ω σ ( t ) γ M ( t ) M σ ( t ) ϑ 2 ( t , T ) r 1 ( t ) S n 1 γ ( t , x ( t ) ) x σ ( t ) ω σ ( t ) M ( t ) q ( t ) + M ( t ) M σ ( t ) ω σ ( t ) γ M ( t ) ( M σ ( t ) ) λ ϑ 2 ( t , T ) r 1 ( t ) ( ω σ ( t ) ) λ ,
(3.32)

where λ=1+ 1 γ . Multiplying both sides of (3.32), with t replaced by s, by H(t,s) and integrating with respect to s from T to t (tT), one gets

T t H ( t , s ) M ( s ) q ( s ) s T t H ( t , s ) ω ( s ) s + T t H ( t , s ) M ( s ) M σ ( s ) ω σ ( s ) s T t γ H ( t , s ) M ( s ) ϑ 2 ( s , T ) ( M σ ( s ) ) λ r 1 ( s ) ( ω σ ( s ) ) λ s .

Integrating by parts and using (3.22) and (3.23), we have

T t H ( t , s ) M ( s ) q ( s ) s H ( t , T ) ω ( T ) + T t H s ( t , s ) ω σ ( s ) s + T t H ( t , s ) M ( s ) M σ ( s ) ω σ ( s ) s T t γ H ( t , s ) M ( s ) ϑ 2 ( s , T ) ( M σ ( s ) ) λ r 1 ( s ) ( ω σ ( s ) ) λ s H ( t , T ) ω ( T ) + T t [ h ( t , s ) M σ ( s ) ( M ( s ) H ( t , s ) ) γ γ + 1 ω σ ( s ) γ H ( t , s ) M ( s ) ϑ 2 ( s , T ) ( M σ ( s ) ) λ r 1 ( s ) ( ω σ ( s ) ) λ ] s H ( t , T ) ω ( T ) + T t [ h ( t , s ) M σ ( s ) ( M ( s ) H ( t , s ) ) 1 λ ω σ ( s ) γ H ( t , s ) M ( s ) ϑ 2 ( s , T ) ( M σ ( s ) ) λ r 1 ( s ) ( ω σ ( s ) ) λ ] s .
(3.33)

Write

A λ =γ H ( t , s ) M ( s ) ϑ 2 ( s , T ) r 1 ( s ) ( M σ ( s ) ) λ ( ω σ ( s ) ) λ , B λ 1 = h ( t , s ) r 1 1 λ ( s ) λ γ 1 λ ϑ 2 1 λ ( s , T ) .

It follows from Lemma 2.7 that

h ( t , s ) M σ ( s ) ( M ( s ) H ( t , s ) ) 1 λ ω σ (s)γH(t,s) M ( s ) ϑ 2 ( s , T ) ( M σ ( s ) ) λ r 1 ( s ) ( ω σ ( s ) ) λ h γ + 1 ( t , s ) r 1 γ ( s ) ( γ + 1 ) γ + 1 ϑ 2 γ ( s , T ) .

Combining the above inequality with (3.33) gives

T t [ M ( s ) q ( s ) H ( t , s ) h γ + 1 ( t , s ) r 1 γ ( s ) ( γ + 1 ) γ + 1 ϑ 2 γ ( s , T ) ] sH(t,T)ω(T),

which implies

1 H ( t , T ) T t [ M ( s ) q ( s ) H ( t , s ) h γ + 1 ( t , s ) r 1 γ ( s ) ( γ + 1 ) γ + 1 ϑ 2 γ ( s , T ) ] sω(T),

which contradicts assumption (3.24). Thus every solution x(t) of Eq. (1.3) is either oscillatory or tends to zero. The proof is completed. □

Theorem 3.3 Assume that (2.1) holds. Furthermore, suppose that for all sufficiently large T,

lim sup t ϑ 1 γ (t,T) t q(s)s>1
(3.34)

holds. Then every solution x(t) of Eq. (1.3) is either oscillatory or tends to zero.

Proof Assume that Eq. (1.3) has a nonoscillatory solution x(t) on [ t 0 , ) T . Then, without loss of generality, there is a T t 0 , sufficiently large, such that x(t)>0 for tT. By Lemma 2.4, there are two possible cases:

  1. (1)

    S i (t,x(t))>0 for any tT and 0in.

  2. (2)

    lim t x(t)=0.

If case (1) holds, then using the fact that S n (t,x(t))<0, we obtain

S n ( t , x ( t ) ) t F ( s , x ( τ ( s ) ) ) s x γ (t) t q(s)s,

which implies

t q(s)s ( S n 1 γ ( t , x ( t ) ) x ( t ) ) γ .
(3.35)

Combining (3.35) with (3.12) gives

ϑ 1 γ (t,T) t q(s)s1.

Therefore

lim sup t ϑ 1 γ (t,T) t q(s)s1,

which contradicts assumption (3.34). Thus every solution x(t) of Eq. (1.3) is either oscillatory or tends to zero. The proof is completed. □

4 Examples

In this section, we give some examples to illustrate our main results.

Example 4.1 Consider the following higher-order dynamic equation:

S n ( t , x ( t ) ) + ρ t 4 3 x 3 ( τ ( t ) ) =0,t 2 Z ,t2,
(4.1)

where n2, γ=3, ρ is a positive constant, S k (t,x(t)) (0kn) are as in Eq. (1.3) with r n (t)= t 3 , r n 1 (t)== r 1 (t)=1 and τ is defined as in ( H 4 ). If ρ> 1 12 , then every solution of Eq. (4.1) is either oscillatory or tends to zero.

Proof Note that

t 0 t [ 1 r n ( s ) ] 1 γ s = 2 t 1 s s = log 2 t 1 ( t ) , t 0 s r i ( s ) = 2 s = for  1 i n 1

and

t 0 1 r n 1 ( s ) { s [ 1 r n ( u ) u q ( v ) v ] 1 γ u } s = 2 { s [ 1 u 3 u ρ v 4 3 v ] 1 3 u } s = ( ρ 1 2 1 3 ) 1 3 2 { s 1 u 10 9 u } s = ( ρ 1 2 1 3 ) 1 3 1 1 2 1 9 2 s 1 9 s = ( ρ 1 2 1 3 ) 1 3 1 1 2 1 9 1 2 8 9 1 lim t ( t 8 9 2 8 9 ) = .

Take M(t)=t, m(t)= 1 t 4 and G(t,s)=1 if t>s2 and G(t,t)=0 if t2, then

ψ ( s , T ) = ρ s 1 3 + 1 σ ( s ) + 3 s η ( s , T ) σ 2 ( s ) , β ( s , T ) = 1 + 6 s η ( s , T ) σ ( s )

and

g(t,s)= 1 s ( 1 + 6 s η ( s , T ) σ ( s ) ) .

Note that ϑ n (t,T)= T t [ 1 r n ( s ) ] 1 γ s= T t 1 s s= log 2 t log 2 T. It is easy to see that

lim t ϑ 2 (t,T)= lim t ϑ 1 (t,T)= lim t ϑ n (t,T)=.
(4.2)

From (3.4) and (4.2), we can find T such that η(t,T)1 for all t T . Therefore we have that if ρ> 1 12 , then

lim sup t 1 G ( t , T ) T t [ G ( t , s ) ψ ( s , T ) g 2 ( t , s ) r 1 ( s ) 4 γ η ( s , T ) ] s = lim sup t T t [ ρ s 1 3 1 12 s η ( s , T ) ] s ( ρ 1 12 ) lim sup t T t 1 s 1 3 s = .

Thus conditions ( H 3 ), (2.1) and (3.3) are satisfied. By Theorem 3.1, every solution of Eq. (4.1) is either oscillatory or tends to zero if ρ> 1 12 . The proof is completed. □

Example 4.2 Consider the following higher-order dynamic equation:

S n ( t , x ( t ) ) + ρ t 4 3 x 2 3 ( τ ( t ) ) =0,t 2 Z ,t2,
(4.3)

where n2, γ= 2 3 , S k (t,x(t)) (0kn) are as in Eq. (1.3) with r n (t)= t 1 2 , r n 1 (t)= t 1 4 , r n 2 (t)== r 1 (t)=t, τ is defined as in ( H 4 ) and ρ is a positive constant. If ρ> 1 ( 5 3 ) 5 3 , then every solution of Eq. (4.3) is either oscillatory or tends to zero.

Proof Note that

t 0 t [ 1 r n ( s ) ] 1 γ s = 2 t 1 s 3 4 s = t 1 4 2 1 4 2 1 4 1 ( t ) , t 0 t 1 r n 1 ( s ) s = 2 t 1 s 1 4 s = t 3 4 2 3 4 2 3 4 1 ( t ) , t 0 t 1 r i ( s ) s = 2 t 1 s s = log 2 t 1 ( t )  for  1 i n 2

and

t 0 1 r n 1 ( s ) { s [ 1 r n ( u ) u q ( v ) v ] 1 γ u } s = 2 1 s 1 4 { s [ 1 u 1 2 u ρ v 4 3 v ] 3 2 u } s = ( ρ 1 2 1 3 ) 3 2 2 1 s 1 4 { s 1 u 5 4 u } s = ( ρ 1 2 1 3 ) 3 2 1 1 2 1 4 2 1 s 1 2 s = ( ρ 1 2 1 3 ) 3 2 1 1 2 1 4 lim t t 1 2 2 1 2 2 1 2 1 = .

Note that

ϑ 2 ( t , T ) = T t 1 r 2 ( u n 1 ) [ T u n 1 1 r 3 ( u n 2 ) [ [ T u 3 1 r n 1 ( u 2 ) × [ T u 2 1 r n ( u 1 ) u 1 ] 3 2 u 2 ] ] u n 2 ] u n 1 2 n 2 T t 1 u n 1 [ 2 n 3 T u n 1 1 u n 2 × [ [ 2 T u 3 [ 1 u 2 1 4 T u 2 1 u 1 1 2 u 1 ] 3 2 u 2 ] ] u n 2 ] u n 1 2 n 2 T t 1 u n 1 [ 2 n 3 T u n 1 1 u n 2 × [ [ 2 T u 3 [ 1 u 2 3 4 ( u 2 T ) ] 3 2 u 2 ] ] u n 2 ] u n 1 ( 1 2 ) n 1 2 ( t 2 n 2 T ) .
(4.4)

Pick T >T>0 such that

1 t 1 3 1 t 1 2 1 [ ( 1 2 ) n 1 2 ( t 2 n 2 T ) ] 2 3 for t T .

Take M(t)=t and H(t,s)=1 for t>s2 and H(t,t)=0 for t2, then

h(t,s)= 1 s 2 5 .

Therefore we have that if ρ> 1 ( 5 3 ) 5 3 , then

lim sup t 1 H ( t , T ) T t [ M ( s ) q ( s ) H ( t , s ) h γ + 1 ( t , s ) r 1 γ ( s ) ( γ + 1 ) γ + 1 ϑ 2 γ ( s , T ) ] s = lim sup t T t [ ρ s 1 3 1 ( 5 3 ) 5 3 [ ( 1 2 ) n 1 2 ( s 2 n 2 T ) ] 2 3 ] s ( ρ 1 ( 5 3 ) 5 3 ) lim sup t T t 1 s 1 2 s = ( ρ 1 ( 5 3 ) 5 3 ) lim sup t t 1 2 ( T ) 1 2 2 1 2 1 = .

Thus conditions ( H 3 ), (2.1) and (3.24) are satisfied. By Theorem 3.2 every solution of Eq. (4.3) is either oscillatory or tends to zero if ρ> 1 ( 5 3 ) 5 3 . The proof is completed. □

Example 4.3 Consider the following higher order dynamic equation:

S n ( t , x ( t ) ) + ρ t σ ( t ) x γ ( τ ( t ) ) =0
(4.5)

on an arbitrary time scale T, where n2, γ1 is the quotient of two odd positive integers, ρ is a positive constant, S k (t,x(t)) (0kn) are as in Eq. (1.3) with r n (t)=1, r n 1 (t)= t 1 γ , r n 2 (t)== r 1 (t)=t and τ is defined as in ( H 4 ). If ρ> 2 ( n 1 ) γ + 1 , then every solution of Eq. (4.5) is either oscillatory or tends to zero.

Proof Note that

t 0 [ 1 r n ( s ) ] 1 γ s = t 0 s = , t 0 1 r n 1 ( s ) s = t 0 1 s 1 γ s =

and

t 0 1 r i ( s ) s= t 0 1 s s=for 1in2.

Pick that t t 0 such that t 0 t 1 s 1 γ s>0, then

t 0 1 r n 1 ( s ) { s [ 1 r n ( u ) u q ( v ) v ] 1 γ u } s = t 0 1 s 1 γ { s [ u ρ v σ ( v ) v ] 1 γ u } s ( ρ ) 1 γ t 0 1 s 1 γ { s 1 u 1 γ u } s ( ρ ) 1 γ t 0 t 1 s 1 γ s s 1 u 1 γ u = .

Using arguments similar to that of (4.4), it is easy to see that ϑ 1 (t,T) ( 1 2 ) n 1 + 1 γ (t 2 n 1 T). Therefore we have that if ρ> 2 ( n 1 ) γ + 1 , then

lim sup t ϑ 1 γ (t,T) t q(s)sρ ( 1 2 ) ( n 1 ) γ + 1 lim sup t ( t 2 n 1 T ) γ t ρ ( 1 2 ) ( n 1 ) γ + 1 >1.

Thus conditions ( H 3 ), (2.1) and (3.34) are satisfied. By Theorem 3.3 every solution of Eq. (4.5) is either oscillatory or tends to zero if ρ> 2 ( n 1 ) γ + 1 . The proof is completed. □

Example 4.4 Consider the following third-order dynamic equation:

[ ( t x ( t ) ) ] + 3 t [ ( 4 t 2 + 18 t + 19 ) ( t + 1 ) + ( 4 t 2 + 10 t + 5 ) ( t + 3 ) ] ( t + 1 ) ( t + 2 ) ( t + 3 ) x(3t)=0
(4.6)

on N={1,2,3,}, where n=2, γ=1, r 2 (t)=1, r 1 (t)=t and τ(t)=3t for any tN. It is easy to see that conditions ( H 1 )-( H 5 ) are satisfied and x(t)= ( 1 ) t t is an oscillatory solution of Eq. (4.6), which tends to zero as t.

References

  1. 1.

    Hilger S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 1990, 18: 18–56. 10.1007/BF03323153

  2. 2.

    Kac V, Chueng P Universitext. Quantum Calculus 2002.

  3. 3.

    Agarwal RP: Difference Equations and Inequalities. Theory, Methods and Applications. 2nd edition. Dekker, New York; 2000.

  4. 4.

    Agarwal RP, Bohner M, Saker SH: Oscillation of second order delay dynamic equations. Can. Appl. Math. Q. 2005, 13: 1–17.

  5. 5.

    Bohner M, Karpuz B, Ocalan O: Iterated oscillation criteria for delay dynamic equations of first order. Adv. Differ. Equ. 2008., 2008: Article ID 458687

  6. 6.

    Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.

  7. 7.

    Bohner M, Saker SH: Oscillation of second order nonlinear dynamic equations on time scales. Rocky Mt. J. Math. 2004, 34: 1239–1254. 10.1216/rmjm/1181069797

  8. 8.

    Erbe L: Oscillation results for second-order linear equations on a time scale. J. Differ. Equ. Appl. 2002, 8: 1061–1071. 10.1080/10236190290015317

  9. 9.

    Erbe L, Peterson A, Saker SH: Oscillation criteria for second-order nonlinear delay dynamic equations. J. Math. Anal. Appl. 2007, 333: 505–522. 10.1016/j.jmaa.2006.10.055

  10. 10.

    Grace SR, Agarwal RP, Kaymakcalan B, Sae-Jie W: On the oscillation of certain second order nonlinear dynamic equations. Math. Comput. Model. 2009, 50: 273–286. 10.1016/j.mcm.2008.12.007

  11. 11.

    Hardy GH, Littlewood JE, Polya G: Inequalities. 2nd edition. Cambridge University Press, Cambridge; 1988.

  12. 12.

    Hassan TS: Oscillation criteria for half-linear dynamic equations on time scales. J. Math. Anal. Appl. 2008, 345: 176–185. 10.1016/j.jmaa.2008.04.019

  13. 13.

    Han Z, Sun S, Shi B: Oscillation criteria for a class of second-order Emden-Fowler delay dynamic equations on time scales. J. Math. Anal. Appl. 2007, 334: 847–858. 10.1016/j.jmaa.2007.01.004

  14. 14.

    Han Z, Shi B, Sun S: Oscillation criteria for second-order delay dynamic equations on time scales. Adv. Differ. Equ. 2007., 2007: Article ID 70730

  15. 15.

    Sun T, Xi H, Peng X: Asymptotic behavior of solutions of higher-order dynamic equations on time scales. Adv. Differ. Equ. 2011., 2011: Article ID 237219

  16. 16.

    Sun T, Xi H, Peng X, Yu W: Nonoscillatory solutions for higher-order neutral dynamic equations on time scales. Abstr. Appl. Anal. 2010., 2010: Article ID 428963

  17. 17.

    Sun T, Xi H, Yu W: Asymptotic behaviors of higher order nonlinear dynamic equations on time scales. J. Appl. Math. Comput. 2011, 37: 177–192. 10.1007/s12190-010-0428-1

  18. 18.

    Wang Y, Xu Z: Asymptotic properties of solutions of certain third-order dynamic equations. J. Comput. Appl. Math. 2012, 236: 2354–2366. 10.1016/j.cam.2011.11.021

  19. 19.

    Erbe L, Peterson A, Saker SH: Asymptotic behavior of solutions of a third-order nonlinear dynamic equation on time scales. J. Comput. Appl. Math. 2005, 181: 92–102. 10.1016/j.cam.2004.11.021

  20. 20.

    Erbe L, Peterson A, Saker SH: Oscillation and asymptotic behavior a third-order nonlinear dynamic equation. Can. Appl. Math. Q. 2006, 14: 129–147.

  21. 21.

    Erbe L, Peterson A, Saker SH: Hille and Nehari type criteria for third order dynamic equations. J. Math. Anal. Appl. 2007, 329: 112–131. 10.1016/j.jmaa.2006.06.033

  22. 22.

    Hassan TS: Oscillation of third order nonlinear delay dynamic equations on time scales. Math. Comput. Model. 2009, 49: 1573–1586. 10.1016/j.mcm.2008.12.011

  23. 23.

    Hassan TS: Kamenev-type oscillation criteria for second order nonlinear dynamic equations on time scales. Appl. Math. Comput. 2011, 217: 5285–5297. 10.1016/j.amc.2010.11.052

  24. 24.

    Sun T, Yu W, Xi H: Oscillatory behavior and comparison for higher order nonlinear dynamic equations on time scales. J. Appl. Math. Inf. 2012, 30: 289–304.

  25. 25.

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

Download references

Acknowledgements

The authors express their sincere gratitude to the referees for their valuable suggestions and comments. This paper is project is supported by NNSF of China (11261005) and NSF of Guangxi (2011GXNSFA018135, 2012GXNSFDA276040) and SF of ED of Guangxi (2013ZD061).

Author information

Correspondence to Taixiang Sun.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

Rights and permissions

Reprints and Permissions

About this article

Keywords

  • oscillation
  • dynamic equation
  • time scale