Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2011, Article ID 719628, 14 pages doi:10.1155/2011/719628 Research Article Interval Oscillation Criteria for Second-Order Dynamic Equations with Nonlinearities Given by Riemann-Stieltjes Integrals Yuangong Sun School of Mathematics, University of Jinan, Jinan, Shandong 250022, China Correspondence should be addressed to Yuangong Sun, sunyuangong@yahoo.cn Received 18 May 2011; Accepted 30 July 2011 Academic Editor: Paul Eloe Copyright q 2011 Yuangong Sun. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. By using a generalized arithmetic-geometric mean inequality on time scales, we study the forced oscillation of second-order dynamic equations with nonlinearities given by Riemann-Stieltjes σb Δ tΔ qtφα xτt a rt, sφγs xgt, sΔξs et, integrals of the form ptφα x T, T is a time scale which is unbounded from above; φ∗ u where t ∈ t0 , ∞T t0 , ∞ |u|∗ sgn u; γ : a, bT1 → R is a strictly increasing right-dense continuous function; p, q, e : t0 , ∞T → R, r : t0 , ∞T × a, bT1 → R, τ : t0 , ∞T → t0 , ∞T , and g : t0 , ∞T × a, bT1 → t0 , ∞T are right-dense continuous functions; ξ : a, bT1 → R is strictly increasing. Some interval oscillation criteria are established in both the cases of delayed and advanced arguments. As a special case, the work in this paper unifies and improves many existing results in the literature for equations with a finite number of nonlinear terms. 1. Introduction Following Hilger’s landmark paper 1, there have been plenty of references focused on the theory of time scales in order to unify continuous and discrete analysis, where a time scale is an arbitrary nonempty closed subset of the reals, and the cases when this time scale is equal to the reals or to the integers represent the classical theories of differential and of difference equations. The oscillation theory has been developed very rapidly since the discovery of time scale calculus with this understanding. Throughout this paper, a knowledge and understanding of time scale calculus is assumed. For an introduction to time scale calculus and dynamic equations, we refer to the seminal books by Bohner and Peterson 2, 3. 2 Abstract and Applied Analysis In this paper, we consider the following second-order dynamic equation with the nonlinearity given by a Riemann-Stieltjes integral of the form σb Δ Δ ptφα x t qtφα xτt rt, sφγs x gt, s Δξs et, 1.1 a where t ∈ t0 , ∞T t0 , ∞ ∩ T, t0 ∈ T, T is a time scale a closed nonempty subset of real numbers which is unbounded from above; φ∗ u |u|∗ sgn u; a, b ∈ T1 , b > a, T1 is another time scale; γ : a, bT1 → R is a strictly increasing right-dense continuous function satisfying 0 < γa < α < γb; p, q, e : t0 , ∞T → R are right-dense continuous with p > 0; r : t0 , ∞T × a, bT1 → R is right-dense continuous; τ : t0 , ∞T → t0 , ∞T , g : t0 , ∞T × a, bT1 → t0 , ∞T are right-dense continuous functions satisfying limt → ∞ τt σb limt → ∞ gt, s ∞; ξ : a, bT1 → R is strictly increasing. Here a fsΔξs denotes the Riemann-Stieltjes integral of the function f on a, σbT1 with respect to ξ, σ : t0 , ∞T → t0 , ∞T is the forward jump operator. We restrict our attention to those solutions of 1.1 which exist on the time scale halfline Tx , ∞T , where Tx ≥ t0 may depend on the particular solution, a nontrivial function in any neighborhood of infinity. As usual, such a solution of 1.1 is said to be oscillatory if it is neither eventually positive nor eventually negative. Equation 1.1 is said to be oscillatory if every proper solution is oscillatory. Recently, people have been interested in the combined effects of linear, superlinear, sublinear terms, and a forced term in oscillation. For instance, Sun and Wong 4 investigated the following forced differential equation with mixed nonlinearities n ptx t qtxt qj tφαj xt et, 1.2 j1 where p, q, qj , e ∈ Ct0 , ∞, and 0 < α1 < · · · < αm < 1 < αm1 < · · · < αn . The authors obtained interval oscillation criteria for 1.2 by using an arithmetic-geometric inequality and employing arguments developed earlier in 5–9. Sun and Meng 10 studied 1.2 again by making use of some of the arguments developed by Kong 11. In 12, Agarwal and Zafer extended the results in 4 to dynamic equations on time scales of the form n Δ qtφα xt qj tφβj xt et, ptφα xΔ t 1.3 j1 where t ∈ t0 , ∞T , β1 > β2 > · · · > βm > α > βm1 > · · · > βn . 1.4 Very recently, Agarwal et al. 13 further to extend the results in 12 to the case of several delays of the form n ptφα xΔ t qtφα xτt qj tφβj x τj t et, j1 1.5 Abstract and Applied Analysis 3 where τt and τj t are right-dense continuous functions satisfying limt → ∞ τt limt → ∞ τj t ∞ for j 1, 2, . . . , n. Sun and Kong 14 studied the oscillation of the secondorder forced differential equation with the nonlinearity given by a Riemann-Stieltjes integral of the form ptx t qtxt b rt, sφγs xτsdξs et, 1.6 0 where t ≥ 0, γ ∈ C0, b is a strictly increasing function satisfying 0 ≤ γ0 < 1 < γb−. Some interval oscillation criteria of the El-Sayed type and the Kong type are established which unify many existing results in the literature. It is obvious that 1.2, 1.3, 1.5, and 1.6 are special cases of 1.1. Some other particular cased of 1.1 can be found in 15–20. In this paper, we will establish interval oscillation criteria for the more general 1.1. Clearly, our work is of significance because 1.1 allows an infinite number of nonlinear terms and even a continuum of nonlinearities determined by the function ξ. Moreover, even for the special cases of 1.2, 1.3, 1.5, and 1.6, our results generalize many existing oscillation criteria in the literature. This paper is organized as follows. We present some lemmas in Section 2 which play a key role in the proof of the main results. The main results are given in Section 3. Two examples are given to illustrate the main results in Section 4. 2. Preliminaries We here present four lemmas which play a key role in the proof of the main results in the next section. In the sequel, we denote by Lξ a, bT1 the set of Riemann-Stieltjes integrable functions on a, σbT1 with respect to ξ. Assume that γ, γ −1 ∈ Lξ a, bT1 . Let h sup{s ∈ a, bT1 : γs ≤ α}. We first present the following two Lemmas 2.1, and 2.2, which generalize Lemma 2.1 and Lemma 3.1 in 14. Lemma 2.1. Let σb m1 α −1 γ sΔξs σb σh σh σh σh m2 α γ −1 sΔξs a −1 Δξs , 2.1 −1 Δξs . a Then for any δ ∈ m1 , m2 , there exists η ∈ Lξ a, bT1 such that ηs > 0 on a, bT1 , σb γsηsΔξs α, 2.2 a σb a ηsΔξs δ. 2.3 4 Abstract and Applied Analysis Proof. By the choice of h and the definitions of m1 and m2 , we have that 0 < m1 < 1 < m2 . Set ⎧ −1 σb ⎪ ⎪ ⎨αγ −1 s Δξs , s ∈ σh, bT , η1 s σh ⎪ ⎪ ⎩0, s ∈ a, σhT , η2 s ⎧ 0, ⎪ ⎪ ⎨ ⎪ ⎪ ⎩αγ −1 s σh −1 Δξs s ∈ σh, bT , 2.4 , s ∈ a, σhT . a It is easy to see that ηi ∈ Lξ a, bT1 and σb γsηi sΔξs α, 2.5 i 1, 2. a Moreover, σb σb η1 sΔξs m1 , a η2 sΔξs m2 . 2.6 s ∈ a, bT1 , l ∈ 0, 1. 2.7 a Let ηs, l 1 − lη1 s lη2 s, Then we have that σb ηs, 0Δξs a σb a σb η1 sΔξs m1 < 1, a ηs, 1Δξs σb 2.8 η2 sΔξs m2 > 1. a By the continuous dependence of ηs, l on l, there exists l∗ ∈ 0, 1 such that ηs : ηs, l∗ σb σb satisfies a ηsΔξs δ ∈ m1 , m2 . Note that ηs > 0 on a, bT1 and a γsηsΔξs α. This completes the proof of Lemma 2.1. The next lemma is a generalized arithmetic-geometric mean inequality on time scales. Lemma 2.2. Assume that u : a, bT1 → R is right-dense continuous, η ∈ Lξ a, bT , u > 0, η > 0 σb on a, bT1 and a ηsΔξs 1. Then σb a ηsusΔξs ≥ exp σb ηs ln usΔξs . a 2.9 Abstract and Applied Analysis 5 Proof. Define an operator L as follows: L f σb ηsfsΔξs. 2.10 a It is obvious that L is a linear operator satisfying that L1 1 and Lu > 0. To derive inequality 2.9 it suffices to show that Lu ≥ expLln u. 2.11 Note that ln t ≤ t − 1 for t > 0. Thus, for any s ∈ a, bT1 we have us ln Lu ≤ us − 1, Lu 2.12 which follows that ln us − ln Lu ≤ us − 1. Lu 2.13 Taking the operator L on both sides of 2.13, we get Lln u − ln Lu Lln u − ln Lu u ≤L − L1 Lu 2.14 1 − 1 0, which implies 2.11. This completes the proof. The following two lemmas generalize Lemma 2.4 and Lemma 6.1 in 13. Lemma 2.3. Let τ : t0 , ∞T → t0 , ∞T be a right-dense continuous function satisfying 0 ≤ τt ≤ t, c, d ∈ t0 , ∞T with c < d, and τcd min{τt : t ∈ c, dT }. Assume x : τcd , dT → R is a positive right-dense continuous function such that ptφα xΔ t is nonincreasing on τcd , dT . Then xτt P τt, τcd ≥ , xσt P σt, τcd where P t, s t s p−1/α sΔs. t ∈ c, d, 2.15 6 Abstract and Applied Analysis Proof. Set zt p1/α txΔ t. It is not difficult to verify that zt is nonincreasing on τcd , dT since ptφα xΔ t is nonincreasing on τcd , dT . Then we have xt xτcd t xΔ sΔs τcd xτcd t p−1/α szsΔs 2.16 τcd ≥ zt t p−1/α s Δs τcd p 1/α tP t, τcd xΔ t, t ∈ τcd , bT . Next, for s ∈ τt, σtT , and t ∈ c, dT we define s : xs − p1/α sP s, τcd xΔ s. 2.17 Then 2.16 yields that s ≥ 0 for s ∈ τt, σtT and t ∈ c, dT . Consequently, for t ∈ c, dT , we have 0≤ σt τt p−1/α ss Δs xsxσ s σt τt P s, τcd xs Δ Δs P σt, τcd P τt, τcd − . xσt xτt 2.18 This implies 2.15. The proof of Lemma 2.3 is complete. Similar to the proof of Lemma 2.3, we can get the following result. Lemma 2.4. Let τ : t0 , ∞T → t0 , ∞T be a right-dense continuous function satisfying τt > t, c, d ∈ t0 , ∞T with c < d, and τ cd max{τt : t ∈ c, dT }. If x : c, τ cd T → R is a positive right-dense continuous function for which ptφα xΔ t is nonincreasing on c, τ cd T , then xτt P τ cd , τt ≥ , xσt P τ cd , σt t ∈ c, dT , 2.19 where P t, s is defined as in Lemma 2.3. 3. Main Results We note from the definition of m1 and m2 that 0 < m1 < 1 < m2 . In the following we will use the values of δ in the interval m1 , 1 to establish interval criteria for oscillation of 1.1. For 1 c, dT : uc 0 c, d ∈ t0 , ∞T with c < d, we define the function class Uc, d {u ∈ Crd 1 ud, u / ≡ 0}, where Crd c, dT denotes the set of right-dense continuously Δ—differentiable Abstract and Applied Analysis 7 functions on c, dT . In the following, let τcd and τ cd be defined as in Lemmas 2.3 and 2.4. Set gcd min t,s∈c,dT ×a,bT1 gt, s, g cd max t,s∈c,dT ×a,bT1 gt, s. 3.1 Theorem 3.1. Assume that τt, gt, s ≤ t for t ∈ t0 , ∞T and s ∈ a, bT1 . Suppose also that for any T ≥ t0 , there exist subintervals ci , di T of T, ∞, i 1, 2, such that ci , di ∈ T, di > ci , and rt, s ≥ 0, t, s ∈ hi , di T × a, bT1 , −1i et ≥ 0, t ∈ hi , di T , 3.2 where hi min{τci di , gci di }. For each δ ∈ m1 , 1, let η ∈ Lξ a, bT1 be defined as in Lemma 2.1. If there exists ui ∈ Uci , di for i 1, 2 such that sup δ∈m1 ,1 di α1 Qi t|ui σt|α1 − ptuΔ Δt ≥ 0, t i 3.3 ci where P τt, τci di α |et| 1−δ Qi t qt P σt, τci di 1−δ ⎞ ⎛ ⎛ γs ⎞ σb P gt, s, g rt, s c d i i ⎠Δξs⎠. × exp⎝ ηs ln⎝ ηs P σt, gci di a 3.4 Here we use the convention that ln 0 −∞, e−∞ 0, and 01−δ 0 and 1 − δ1−δ 1 for δ 1 due to the fact that limt → 0 tt 1. Then 1.1 is oscillatory. Proof. We prove this result by the contradiction method. Assume the contrary. Then 1.1 has an extendible solution xt which is eventually positive or negative. Without loss of generality, we may assume that xt > 0 for all t ∈ t0 , ∞T . When xt is eventually negative, the proof is in the same way except that the interval c2 , d2 T , instead of c1 , d1 T , is used. Define ptφα xΔ t wt − , φα xt t ∈ c1 , d1 T . 3.5 It follows that φγs x gt, s Δξs rt, s φα xσt a Δ φα xΔ t φα xt et − pt . φα xσt φα xtφα xσt φα xτt w t qt φα xσt Δ σb 3.6 8 Abstract and Applied Analysis It is obvious that the conditions in Lemma 2.3 are satisfied with τ replaced by gt, s. By 2.15 we have for t ∈ c1 , d1 T xτt P τt, τc1 d1 ≥ , xσt P σt, τc1 d1 P gt, s, gc1 d1 x gt, s ≥ . xσt P σt, gc1 d1 3.7 By 3.2, 3.6, and 3.7, and the fact that φ∗ is increasing, we get P τt, τc1 d1 α et wΔ t ≥ qt − P σt, τc1 d1 φα xσt γs σb P gt, s, gc1 d1 rt, s xσtγs−α Δξs P σt, gc1 d1 a pt 3.8 Δ φα xΔ t φα xt . φα xtφα xσt I We first consider the case where the supremum in 3.3 is assumed at δ 1. From 3.2 and 3.8 we have that for t ∈ c1 , d1 T Δ φα xΔ t φα xt P τt, τc1 d1 α w t ≥ qt pt P σt, τc1 d1 φα xtφα xσt γs σb P gt, s, gc1 d1 rt, s xσtγs−α Δξs. P σt, g c1 d1 a Δ 3.9 Let η ∈ Lξ a, bT1 be defined as in Lemma 2.1 with δ 1. Then η satisfies 2.2 and 2.3 with δ 1. This follows that σb ηs γs − α Δξs 0. a Therefore, by Lemma 2.2 we have that for t ∈ c1 , d1 T σb a γs P gt, s, gc1 d1 rt, s xσtγs−α Δξs P σt, gc1 d1 γs P gt, s, gc1 d1 ηsη srt, s xσtγs−α Δξs P σt, gc1 d1 a ⎞ ⎛ ⎛ ⎞ γs σb P gt, s, g rt, s c1 d1 ≥ exp⎝ ηs ln⎝ xσtγs−α ⎠Δξs⎠ ηs P σt, g c1 d1 a σb −1 3.10 Abstract and Applied Analysis ⎞ ⎛ ⎛ γs ⎞ σb P gt, s, gc1 d1 rt, s ⎠Δξs⎠ exp⎝ ηs ln⎝ ηs P σt, gc1 d1 a × exp ln xσt σb 9 ηs γs − α Δξs a ⎛ exp⎝ σb a ⎞ γs ⎞ P gt, s, gc1 d1 rt, s ⎠Δξs⎠. ηs ln⎝ ηs P σt, gc1 d1 ⎛ 3.11 Substituting 3.11 into 3.9 we obtain Δ φα xΔ t φα xt w t ≥ Q1 t pt , φα xtφα xσt Δ t ∈ c1 , d1 T , 3.12 where Q1 t is defined by 3.4 with i 1 and δ 1. Multiplying both sides of the above inequality by |u1 σt|α1 and proceeding as in the proof of Theorem 3.1 in 13, we can get a contradiction with 3.3. II Now we consider the case where the supremum in 3.3 is assumed at δ ∈ m1 , 1. Let ηs δ−1 ηs. Then from 2.2 and 2.3, we get σb ηsΔξs 1, a σb ηs δγs − α Δξs 0. 3.13 a Hence for t ∈ c1 , d1 T et − φα xσt σb a γs σb P gt, s, gc1 d1 rt, s ηsΩt, sΔξs, xσtγs−α Δξs P σt, gc1 d1 a 3.14 where γs rt, s P gt, s, gc1 d1 |et| Ωt, s δ . xσtγs−α α ηs x σt P σt, gc1 d1 3.15 On the other hand, by the basic arithmetic-geometric mean inequality, we have that rt, s Ωt, s ≥ ηs δγs δ P gt, s, gc1 d1 |et| 1−δ xσtδγs−α . 1−δ P σt, gc1 d1 3.16 10 Abstract and Applied Analysis Substituting 3.16 into 3.14, using Lemma 2.2 and similar to the computation in I, for t ∈ c1 , d1 T we can get et − φαxσt ≥ σb a σb a γs P gt, s, gc1 d1 rt, s xγs−α σtΔξs P σtgc1 d1 rt, s ηs ηs |et| ≥ 1−δ 1−δ δγs δ P gt, s, gc1 d1 |et| 1−δ xσtδγs−α Δξs 1−δ P σt, gc1 d1 3.17 ⎞ ⎛ ⎛ γs ⎞ σb P gt, s, gc1 d1 rt, s ⎠Δξs⎠, exp⎝ ηs ln⎝ ηs P σt, gc1 d1 a which also implies 3.12 for t ∈ c1 , d1 T . The rest of the proof is similar to Part I and hence is omitted. This completes the proof of Theorem 3.1. For the case when τt, gt, s > t for t ∈ t0 , ∞T and s ∈ a, bT1 , using Lemma 2.4 and following the proof of Theorem 3.1, we have the following oscillation result for 1.1 immediately. Theorem 3.2. Assume that τt, gt, s > t for t ∈ t0 , ∞T and s ∈ a, bT1 . Suppose also that for any T ≥ t0 , there exist subintervals ci , di T of T, ∞, i 1, 2, such that ci , di ∈ T, di > ci , and 3.2 holds for t ∈ ci , hi T and s ∈ a, bT , where hi max{τ ci di , g ci di }. For each δ ∈ m1 , 1, let η ∈ Lξ a, bT1 be defined as in Lemma 2.1. If there exists ui ∈ Uci , di for i 1, 2 such that 3.4 holds, where cd α P τ 1 1 , τt |et| 1−δ Qi t qt c d 1−δ P τ 1 1 , σt ⎛ × exp⎝ σb a ⎞ cd γs ⎞ P g 1 1 , gt, s rt, s ⎠Δξs⎠. ηs ln⎝ ηs P g c1 d1 , σt ⎛ 3.18 Then 1.1 is oscillatory. Remark 3.3. We see from the proof of Lemma 2.1 in Section 2 that for each δ ∈ m1 , 1, the function η can be constructed explicitly for any nondecreasing function ξ, and hence the functions Qi in Theorems 3.1 and 3.2 are explicitly given. Remark 3.4. We observe that in Theorems 3.1 and 3.2, if the supremum in 3.3 is assumed at δ 1, the effect of et is neglected in some extent. This implies that the magnitude of et in ci , di T cannot be large. For otherwise, the supremum would have been taken at some δ ∈ m1 , 1. Abstract and Applied Analysis 11 Now, we interpret the results for 1.1 to the special case of 1.5. Set T1 N, a 1, b n 1 for n ∈ N, and ξs s, s 1, 2, . . . , n 1, γs βs satisfying 1.4, s 1, 2, . . . , n, rt, s qs t, s 1, 2, . . . , n, 3.19 gt, s τs t, s 1, 2, . . . , n. Then 1.1 reduces to 1.5. By a straightforward computation, we have that m1 n α β−1 , n − m jm1 j m2 m α β−1 . m j1 j 3.20 Then Lemma 2.1 can be restated as the following: for any δ ∈ m1 , m2 , there exists a positive n-tuple η1 , . . . , ηn satisfying n j1 αj ηj α, n ηj δ. 3.21 j1 Therefore, by Theorems 3.1 and 3.2, we obtain the following oscillation results for 1.5 which generalize the results in 13. Corollary 3.5. Assume that τt, τj t ≤ t for t ∈ t0 , ∞T and j 1, . . . , n. Suppose also that for any T ≥ t0 , there exist subintervals ci , di T of T, ∞, i 1, 2, such that ci , di ∈ T, di > ci , and qj t ≥ 0, −1i et ≥ 0, t ∈ θi , di T , 3.22 where θi min{ωi , ωij : j 1, 2, . . . , n}, ωi min{τt : t ∈ ci , di T } and ωij min{τj t : t ∈ ci , di T }. For each δ ∈ m1 , 1, let η1 , . . . , ηn be defined by 3.21. We further assume that there exists a function ui ∈ Uai , bi such that 3.4 holds, where ηj βj ηj P τj t, ωij P τt, ωi α |et| 1−δ n qj t Qi t qt . P σt, ωi 1−δ ηj P σt, ωij j1 3.23 Then 1.5 is oscillatory. Corollary 3.6. Assume that τt, τj t > t for t ∈ t0 , ∞T and j 1, . . . , n. Suppose also that for any T ≥ t0 , there exist subintervals ci , di T of T, ∞, i 1, 2, such that ci , di ∈ T, di > ci , and qj t ≥ 0, −1i et ≥ 0, t ∈ ci , θ i , T 3.24 12 Abstract and Applied Analysis where θi max{ωi , ωij : j 1, 2, . . . , n}, ωi max{τt : t ∈ ci , di T } and ωij max{τj t : t ∈ ci , di T }. For each δ ∈ m1 , 1, let η1 , . . . , ηn be defined by 3.21. We further assume there exists a function ui ∈ Uai , bi such that 3.4 holds, where P ωi , τt Qi t qt P ωi , σt α |et| 1−δ 1−δ n j1 qj t ηj ηj βj ηj P ωij , τj t . P ωij , σt 3.25 Then 1.5 is oscillatory. Remark 3.7. Corollaries 3.5 and 3.6 generalize those results in 13 since the sufficient condid tion for oscillation of 1.5 is given here in the form of supδ∈m1 ,1 cii ·Δt ≥ 0. 4. Examples We will give two examples to illustrate Theorems 3.1 and 3.2 in the case when ξs s, T1 R, and T RN. Example 4.1. Consider on T R the following differential equation π k2 sin t φ3/2 x t k1 sin tφ3/2 x t − 4 2 φs xtds −ft cos t, 4.1 1 where t ≥ 0, k1 , k2 > 0 are constants, f ∈ C0, ∞ is an arbitrary nonnegative function. Here we have pt 1, qt k1 sin t, rt, s k2 sin t, et −ft cos t, a 1, b 2, γs s, τt t − 2π, and gt, s t. For any T ≥ 0, we choose k large enough so that 2kπ ≥ T and let c1 2kπ π/4, d1 2kτ π/2, c2 2kπ 3π/4 and d2 2kπ π. Then it is easy to verify that 3.2 holds, and Qi t k1 sin t t − ci t − ci π/4 3/2 k2 sin t, i 1, 2. 4.2 A straightforward computation yields that m1 3 ln4/3 0.863 and m2 3 ln3/2 1.2164. By Lemma 2.1, for any δ ∈ m1 , m2 , there exists a positive Riemann integrable function on 1, 2 such that 2.2 and 2.3 hold. Particularly, we can choose δ 1 and hence ηs 1. If we choose ui t t − ci di − t for i 1, 2, then we have di Qi t|ui t|5/2 dt ci π/2 π/4 di ci 5/2 π π t − π/44 π/2 − t5/2 dt, −t sin t k1 k2 t − 4 2 t3/2 5/2 u t dt i π/2 5/2 7/2 3π dt 2 π − 2t . 4 7 4 π/4 4.3 Abstract and Applied Analysis 13 If there exist positive constants k1 and k2 such that di Qi t|ui t|5/2 dt ≥ ci 2 π 7/2 , 7 4 4.4 then condition 3.3 holds. By Theorem 3.1, we have that 4.1 is oscillatory. Example 4.2. Consider on T N the following difference equation 2 Δ φ3/2 xΔ t qtφ3/2 xt 1 rt φs xt 1ds et, 4.5 1 where t ∈ N, qt rt ⎧ ⎨k1 , t 8j, 8j 1, 8j 2, 8j 3, 8j 4, 8j 5, ⎩f t, t 8j 6, 8j 7, 1 ⎧ ⎨k2 , t 8j, 8j 1, 8j 2, 8j 3, 8j 4, 8j 5, ⎩f t, 2 t 8j 6, 8j 7, ⎧ ⎪ f3 t, ⎪ ⎪ ⎨ et f4 t, ⎪ ⎪ ⎪ ⎩ f5 t, 4.6 t 8j, 8j 1, 8j 2, t 8j 3, 8j 4, 8j 5, t 8j 6, 8j 7, for j ∈ N, k1 and k2 are positive constants, fi t i 1, 2, 3, 4, 5 are arbitrary real-valued functions with f3 t ≤ 0 and f4 t ≥ 0. For any N ∈ N, we can choose j large enough so that 8j ≥ N. Let c1 8j 1, d1 8j 3, c2 8j 4, and d2 8j 6. Then 3.2 is valid. Choose ηs 1 and ui t t − ci di − t for i 1, 2. Then 2.2 and 2.3 hold with δ 1. By the straightforward computation, we get di 5/2 Qi t|ui σt|5/2 − uΔ Δt k1 k2 − 1. t i 4.7 ci By Theorem 3.2, 4.5 is oscillatory if k1 k2 ≥ 1. Acknowledgments The author thanks the reviewer for his/her valuable comments on this paper. This paper was supported by the national natural science foundations of China 60704039, 61174217 and the natural science foundations of Shandong Province ZR2010AL002, JQ201119. 14 Abstract and Applied Analysis References 1 S. Hilger, “Analysis on measure chains—A unified approach to continuous and discrete calculus,” Results in Mathematics, vol. 18, no. 1-2, pp. 18–56, 1990. 2 M. Bohner and A. Peterson, Dynamic Equations on Time Scales, Birkhäuser, Boston, Mass, USA, 2001. 3 M. Bohner and A. Peterson, Eds., Advances in Dynamic Equations on Time Scales, Birkhäuser, Boston, Mass, USA, 2003. 4 Y. G. Sun and J. S. W. Wong, “Oscillation criteria for second order forced ordinary differential equations with mixed nonlinearities,” Journal of Mathematical Analysis and Applications, vol. 334, no. 1, pp. 549–560, 2007. 5 M. A. El-Sayed, “An oscillation criterion for a forced second order linear differential equation,” Proceedings of the American Mathematical Society, vol. 118, no. 3, pp. 813–817, 1993. 6 Y. G. Sun and J. S. W. Wong, “Note on forced oscillation of nth-order sublinear differential equations,” Journal of Mathematical Analysis and Applications, vol. 298, no. 1, pp. 114–119, 2004. 7 A. H. Nasr, “Sufficient conditions for the oscillation of forced super-linear second order differential equations with oscillatory potential,” Proceedings of the American Mathematical Society, vol. 126, no. 1, pp. 123–125, 1998. 8 Ch. G. Philos, “Oscillation theorems for linear differential equations of second order,” Archiv der Mathematik, vol. 53, no. 5, pp. 482–492, 1989. 9 Y. G. Sun, “A note on Nasr’s and Wong’s papers,” Journal of Mathematical Analysis and Applications, vol. 286, no. 1, pp. 363–367, 2003. 10 Y. G. Sun and F. W. Meng, “Interval criteria for oscillation of second-order differential equations with mixed nonlinearities,” Applied Mathematics and Computation, vol. 198, no. 1, pp. 375–381, 2008. 11 Q. Kong, “Interval criteria for oscillation of second-order linear ordinary differential equations,” Journal of Mathematical Analysis and Applications, vol. 229, no. 1, pp. 258–270, 1999. 12 R. P. Agarwal and A. Zafer, “Oscillation criteria for second-order forced dynamic equations with mixed nonlinearities,” Advances in Difference Equations, vol. 2009, Article ID 938706, 20 pages, 2009. 13 R. P. Agarwal, D. R. Anderson, and A. Zafer, “Interval oscillation criteria for second-order forced delay dynamic equations with mixed nonlinearities,” Computers & Mathematics with Applications, vol. 59, no. 2, pp. 977–993, 2010. 14 Y. Sun and Q. Kong, “Interval criteria for forced oscillation with nonlinearities given by RiemannStieltjes integrals,” Computers and Mathematics with Applications, vol. 62, no. 1, pp. 243–252, 2011. 15 Y. G. Sun and F. W. Meng, “Oscillation of second-order delay differential equations with mixed nonlinearities,” Applied Mathematics and Computation, vol. 207, no. 1, pp. 135–139, 2009. 16 D. R. Anderson, “Oscillation of second-order forced functional dynamic equations with oscillatory potentials,” Journal of Difference Equations and Applications, vol. 13, no. 5, pp. 407–421, 2007. 17 A. Zafer, “Interval oscillation criteria for second order super-half linear functional differential equations with delay and advanced arguments,” Mathematische Nachrichten, vol. 282, no. 9, pp. 1334–1341, 2009. 18 D. R. Anderson and A. Zafer, “Interval criteria for second-order super-half-linear functional dynamic equations with delay and advance arguments,” Journal of Difference Equations and Applications, vol. 16, no. 8, pp. 917–930, 2010. 19 S. Sun, T. Li, Z. Han, and Y. Sun, “Oscillation of second-order neutral functional differential equations with mixed nonlinearities,” Abstract and Applied Analysis, vol. 2011, Article ID 927690, 15 pages, 2011. 20 Y. Bai and L. Liu, “New oscillation criteria for second-order delay differential equations with mixed nonlinearities,” Discrete Dynamics in Nature and Society, vol. 2010, Article ID 796256, 2010 pages, 2010. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014