Electronic Journal of Differential Equations, Vol. 2009(2009), No. 122, pp. 1–7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu OSCILLATION OF SOLUTIONS TO IMPULSIVE DYNAMIC EQUATIONS ON TIME SCALES QIAOLUAN LI, FANG GUO Abstract. In this article, we study the oscillation of second order impulsive dynamic equations on time scales. The effect of the moments of impulse are fixed. Using Riccati transformation techniques, we obtain some conditions for the oscillation of all solutions 1. Introduction This paper concerns the oscillation of second-order impulsive dynamic equations on time scales. We consider the system (a(t)x∆ (t))∆ + p(t)x(σ(t)) = 0, x(t+ k ) = bk x(tk ), x(t+ 0) t ∈ JT := [t0 , ∞) ∩ T, t 6= tk , k = 1, 2, . . . , ∆ x∆ (t+ k ) = ck x (tk ), = x(t0 ), ∆ x (t+ 0) k = 1, 2, . . . , ∆ = x (t0 ), (1.1) where T is a time scales, unbounded-above, with tk ∈ T, 0 ≤ t0 < t1 < t2 < · · · < ∆ + ∆ tk < . . . , limk→∞ tk = ∞ and y(t+ k ) = limh→0+ y(tk +h), y (tk ) = limh→0+ y (tk + ∆ h), which represent right limits of y(t), y (t) at t = tk in the sense of time scales. ∆ − We can define y(t− k ), y (tk ) similarly. In this paper, we assume that a(t) ∈ Crd (T, R+ ), p(t) ∈ Crd (T, R+ ), bk > 0, ck > 0, dk = cbkk , tk are right dense, where Crd denotes the set of rd-continuous functions, σ(t) := inf{s ∈ T : s > t}, R+ = {x : x > 0}. Definition 1.1. A function x is a solution of (1.1), if it satisfies (a(t)x∆ (t))∆ + p(t)x(σ(t)) = 0 a.e. on JT \{tk }, k = 1, 2, . . . , and for each k = 1, 2, . . . , x satis∆ + ∆ fies the impulsive condition x(t+ k ) = bk x(tk ), x (tk ) = ck x (tk ) and the initial + ∆ + ∆ condition x(t0 ) = x(t0 ), x (t0 ) = x (t0 ). Definition 1.2. A solution x of (1.1) is oscillatory if it is neither eventually positive nor eventually negative; otherwise it is called non-oscillatory. Equation (1.1) is called oscillatory if all solutions are oscillatory. 2000 Mathematics Subject Classification. 34A60, 39A12, 34K25. Key words and phrases. Oscillation; time scales; impulsive dynamic equations. c 2009 Texas State University - San Marcos. Submitted February 26, 2009. Published September 29, 2009. Supported by grant 07M004 from the Natural Science Foundation of Hebei Province, and by the Main Foundation of Hebei Normal University. 1 2 Q. LI, F. GUO EJDE-2009/122 In recently years, there has been an increasing interest in studying the oscillation and non-oscillation of solutions of various equations on time scales, and we refer the reader to papers [5, 10, 11, 12] and references cited therein. The time scales calculus has a tremendous potential for applications in mathematical models of real processes. Impulsive dynamic equations on time scales have been investigated by Agarwal [1], Benchohra [2] and so forth. Benchohra [2] considered the existence of extremal solutions for a class of second order impulsive dynamic equations on time sales. The oscillation of impulsive differential equations and difference equations have been investigated by many authors and numerous papers have been published on this class of equations and good results were obtained (see [7, 9] and the references therein). But fewer papers are on the oscillation of impulsive dynamic equations on time scales. For example, Huang [8] considered the equation y ∆∆ (t) + f (t, y σ (t)) = 0, y(t+ k) = gk (y(tk )), y(t+ 0) t ∈ JT := [0, ∞) ∩ T, y ∆ (t+ k) = y(t0 ), ∆ = hk (y (tk )), y ∆ (t+ 0) t 6= tk , k = 1, 2, . . . , k = 1, 2, . . . , = y ∆ (t0 ). Using Riccati transformation techniques, they obtain sufficient conditions for oscillations of all solutions. 2. Results In the following, we assume the solutions of (1.1) exist in JT . To the best of our knowledge, the question of the oscillation for second order self-conjugate impulsive dynamic equations has not been yet considered. Lemma 2.1. Suppose that x(t) > 0, t ≥ t00 ≥ t0 is a solution of (1.1). If Z t2 Z t3 Z tn+1 Z t1 ∆s ∆s ∆s ∆s + d1 + d1 d2 + · · · + d1 d2 . . . d n + · · · = ∞, a(s) t1 a(s) t2 a(s) tn t0 a(s) (2.1) ∆ 0 then x∆ (t+ ) ≥ 0 and x (t) ≥ 0 for t ∈ (t , t ] , where t ≥ t k k+1 T k 0 k The proof is similar to that in [8, Lemma 2.1]; so we omit it. We remark that when a(t) ≡ 1, Lemma 2.1 reduces to [8, Lemma 2.1]. Lemma 2.2. Assume that q(t) ∈ Crd (T, R+ ), if ω ∆∆ (t) + q(t)ω ∆ (t) ≤ 0 has a positive solution, then ω ∆∆ (t) + q(t)ω ∆ (t) = 0 has a positive solution. The proof is similar to that in [6, Lemma 4.1.2]; so we omit it. Theorem 2.3. Assume that a(t) ≡ 1 and (2.1) holds. Y ∆ Y ∆ d−1 + d−1 k ω k p(t)ω(t) = 0, T ≤tk <t T ≤tk <t is oscillatory, then (1.1) is oscillatory. a.e. t > T ≥ t0 (2.2) EJDE-2009/122 OSCILLATION OF SOLUTIONS 3 Proof. Suppose to the contrary that (1.1) has a non-oscillatory solution x(t), we may assume that x(t) is eventually positive solution of (1.1); i.e., x(t) > 0, t ≥ T ≥ t0 . From Lemma 2.1, we have x∆ (t) ≥ 0, x∆ (t+ k ) ≥ 0, t ≥ T , t ∈ T. Let z(t) = x∆ (t) x(t) ≥ 0. For t 6= tk , we get z ∆ (t) = x∆∆ (t)x(t) − (x∆ (t))2 z 2 (t) = −p(t) − , x(t)x(σ(t)) 1 + µ(t)z(t) z(t+ k)= x∆ (t+ ck x∆ (tk ) k) = dk z(tk ). = + bk x(tk ) x(tk ) Thus we arrive at z 2 (t) + p(t) = 0, 1 + µ(t)z(t) z ∆ (t) + t ∈ [T, ∞) ∩ T, t 6= tk , z(t+ k ) = dk z(tk ). Q Now we define v(t) = ( T ≤tk <t d−1 k )z(t), t > T , t ∈ T. Then for tn > T , Y Y + v(t+ d−1 d−1 n) = ( k )z(tn ) = ( k )dn z(tn ) = v(tn ), T ≤tk ≤tn T ≤tk ≤tn which implies that v(t) is rd-continuous on (T, ∞) ∩ T. For t 6= tn , we have Y ∆ v ∆ (t) = d−1 k z (t) T ≤tk <t z 2 (t) ] 1 + µ(t)z(t) T ≤tk <t Q Y ( T ≤tk <t dk )2 v 2 (t) Q = d−1 [−p(t) − ] k 1 + T ≤tk <t dk µ(t)v(t) Y = d−1 k [−p(t) − T ≤tk <t =− Y dk T ≤tk <t 1+ Q v 2 (t) − T ≤tk <t dk µ(t)v(t) Y d−1 k p(t). T ≤tk <t For t = tn , the left-hand derivative of v(t) at t = tn is given by Y ∆ − v ∆ (t− d−1 n) = k z (tn ) T ≤tk <tn Y = d−1 lim− [−p(t) − k t→tn T ≤tk <tn z 2 (t) ] 1 + µ(t)z(t) z 2 (tn ) ] 1 + µ(tn )z(tn ) T ≤tk <tn Q 2 2 Y T ≤tk <tn dk v (tn ) −1 Q = dk [−p(tn ) − ] 1 + µ(tn ) T ≤tk <tn dk v(tn ) Y = d−1 k [−p(tn ) − T ≤tk <tn =− Y T ≤tk <tn d−1 k p(tn ) − Y T ≤tk <tn dk 1 + µ(tn ) v 2 (t ) Q n T ≤tk <tn dk v(tn ) ]. 4 Q. LI, F. GUO EJDE-2009/122 Similarly, we obtain Y v ∆ (t+ n) = − dk T ≤tk ≤tn 1+ Q v 2 (tn ) − T ≤tk ≤tn dk µ(tn )v(tn ) Y d−1 k p(tn ). T ≤tk ≤tn So for t > T , Y v ∆ (t) + dk T ≤tk <t Now we define q(t) = 1+ Q Q v 2 (t) + T ≤tk <t dk µ(t)v(t) Y d−1 k p(t) = 0, a.e. (2.3) T ≤tk <t dk v(t), w(t) = eq (t, t0 ) > 0, t > T . Then Y w∆ (t) = q(t)w(t) = dk v(t)w(t), T ≤tk <t T ≤tk <t Y ∆ d−1 k w ∆ = (v(t)w(t))∆ = w∆ (t)v(t) + w(σ(t))v ∆ (t) T ≤tk <t Y = dk v 2 (t)w(t) + eq (σ(t), t0 )v ∆ (t). T ≤tk <t Since Y eq (σ(t), t0 ) = (1 + µ(t)q(t))eq (t, t0 ) = (1 + µ(t)v(t) dk )w, T ≤tk <t by (2.3) we obtain Y ∆ Y Y ∆ d−1 w = w[ dk v 2 (t) + (1 + µ(t)v(t) dk )v ∆ (t)] k T ≤tk <t T ≤tk <t T ≤tk <t Y = −w[1 + µ(t)v(t) T ≤tk <t Y ≤ −w(t) d−1 k p(t), Y dk ] d−1 k p(t) T ≤tk <t a.e. T ≤tk <t This implies Y ∆ d−1 k w ∆ Y d−1 k p(t)w ≤ 0, a.e. has a positive solution. By Lemma 2.2, we obtain Y ∆ Y ∆ d−1 + d−1 k ω k p(t)ω = 0, a.e. T ≤tk <t T ≤tk <t + T ≤tk <t T ≤tk <t has a positive solution, a contradiction, and so, the proof is complete. Theorem 2.4. Assume that bk = ck , tk are right dense for all k = 1, 2, . . . . Then the oscillation of all solutions of (1.1) is equivalent to the oscillation of all solutions of the equation (a(t)y ∆ (t))∆ + p(t)y(σ(t)) = 0. (2.4) Q Proof. Let y(t) be any solution of (2.4). Set x(t) = y(t) t0 ≤tk <t bk for t > t0 , then Y + x(t+ bk = bn x(tn ). n ) = y(tn ) t0 ≤tk ≤tn EJDE-2009/122 OSCILLATION OF SOLUTIONS 5 Furthermore, for t 6= tn , we have Y x∆ (t) = ( bk )y ∆ (t), t0 ≤tk <t ∆ x (t+ n) Y =( ∆ ∆ ∆ bk )y (t+ n ) = bn x (tn ) = cn x (tn ). t0 ≤tk ≤tn For t 6= tn , Y (a(t)x∆ (t))∆ = [a(t)( bk )y ∆ (t)]∆ = t0 ≤tk <t Y = −p(t) Y bk (a(t)y ∆ (t))∆ t0 ≤tk <t Y bk y(σ(t)) = −p(t) t0 ≤tk <t bk y(σ(t)) t0 ≤tk <σ(t) = −p(t)x(σ(t)). Thus x(t) is the solution of (1.1). Q Conversely, if x(t) is the solution of (1.1). Set y(t) = x(t) t0 ≤tk <t b−1 k . Thus we have Y + y(t+ b−1 n ) = x(tn ) k = y(tn ). t0 ≤tk ≤tn Furthermore for t 6= tn , n = 1, 2, . . . , we have Y y ∆ (t) = x∆ (t) b−1 k , t0 ≤tk <t y ∆ (t− n) ∆ =x Y (t− n) b−1 k t0 ≤tk <tn Y ∆ + y ∆ (t+ n ) = x (tn ) Y = x∆ (tn ) b−1 k , t0 ≤tk <tn b−1 k Y = x∆ (tn ) t0 ≤tk ≤tn b−1 k . t0 ≤tk <tn For t 6= tn , n = 1, 2, . . . , Y (a(t)y ∆ (t))∆ = [a(t)( ∆ ∆ b−1 k )x (t)] = t0 ≤tk <t Y = −p(t) Y ∆ ∆ b−1 k (a(t)x (t)) t0 ≤tk <t b−1 k x(σ(t)) t0 ≤tk <t Y = −p(t) b−1 k x(σ(t)) t0 ≤tk <σ(t) = −p(t)y(σ(t)). For t = tn , Y ∆ − ∆ − (a(t− n )y (tn )) = (a(tn ) ∆ − ∆ b−1 k x (tn )) t0 ≤tk <tn Y =− b−1 k p(tn )x(σ(tn )) = −p(tn )y(σ(tn )), t0 ≤tk <tn ∆ + ∆ (a(t+ n )y (tn )) ∆ = (a(tn )y ∆ (t+ n )) = −p(tn )y(σ(tn )). Thus we arrive at (a(t)y ∆ (t))∆ + p(t)y(σ(t)) = 0. This shows that y(t) is a solution of (2.4). The proof is complete. 6 Q. LI, F. GUO EJDE-2009/122 Example 2.5. Consider the equation 1 t ∈ T = P 12 , 12 , t 6= k + , k = 0, 1, 2, . . . , 5 1 + 1 1 + 1 ∆ ∆ x((k + ) ) = bk x(k + ), x ((k + ) ) = bk x (k + ), bk > 0, k = 1, 2, . . . , 5 5 5 5 1 + 1 ∆ 1 + ∆ 1 x(( ) ) = x( ), x (( ) ) = x ( ), 5 5 5 5 (2.5) S ∞ where p(t) ∈ Crd (T, R+ ), P 12 , 21 = k=0 [k, k + 21 ]. Assume that for each t0 ≥ 0 there exists k0 ∈ N and l0 ∈ N such that k0 ≥ t0 and l0 Z k0 +j+ 1 l0 −1 X 2 1X 1 p(t)dt + p(k0 + j + ) ≥ 4. 2 2 j=1 k0 +j j=0 x∆∆ + p(t)x(σ(t)) = 0, From [3, Theorem 4.46], we know that x∆∆ + p(t)x(σ(t)) = 0 is oscillatory on T. By Theorem 2.4, (2.5) is oscillatory. Example 2.6. Consider the equation σ(t) ∆ ∆ x ) + tx(σ(t)) = 0, t ≥ 1, t 6= k, k = 1, 2, . . . , t ∆ x(t+ x∆ (t+ bk > 0, k = 1, 2, . . . k ) = bk x(tk ), k ) = bk x (tk ), ( x(1+ ) = x(1), (2.6) x∆ (1+ ) = x∆ (1), where µ(t) = σ(t) − t ≤ ct, c is a positive constant. Since µ(t) ≤ ct, we get t t 1 = ≥ . σ(t) t + µ(t) 1+c It is easy to see that Z ∞ 1 Z ∞ t 1 ∆t ≥ ∆t = ∞, σ(t) 1+c 1 Z ∞ t∆t = ∞. 1 By [4, Theorem 3.2], we see that σ(t) ∆ ∆ x ) + tx(σ(t)) = 0, t is oscillatory. So (2.6) is oscillatory. ( References [1] P. R. Agarwal, M. Benchohra, D.O’Regan, A. Ouahab; Second order impulsive dynamic equations on time scales, Funct. Differ,Equ.11 (2004), 223-234. [2] M. Benchohra, S. K. Ntouyas, A. Ouahab; Extremal solutions of second order impulsive dynamic equations on time scales, J. Math. Anal. Appl. 324 (2006), No. 1, 425-434. [3] M. Bohner, A. Peterson; Dynamic equations on time scales: An introduction with applications, Birkhäuser, Boston, (2001). [4] M. Bohner, L. Erbe and A. Peterson; Oscillation for nonlinear second order dynamic equations on a time scale, J. Math. Anal. Appl., 301(2005), 491-507. [5] L. Erbe, A. Peterson, S. h. Saker; Oscillation criteria for second order nonlinear daynamic equations on time scales, J. London Math., 3 (2003), 701-714. EJDE-2009/122 OSCILLATION OF SOLUTIONS 7 [6] L. H. Erbe, Q. K. Kong, B. G. Zhang; Oscillation theory for functional differential equations, New York: Marcel Dekker, 1995. [7] L. P. Gimenes, M. Federson, P. Tboas; Impulsive stability for systems of second order retarded differential equations, Nonlinear Anal., 67 (2007), 545-553. [8] M. G. Huang, W. Z. Feng; Oscillation of second-order nonlinear impulsive dynamic equations on time scales, Electronic J. Differ. Equa. 2007(2007), No. 72, 1-13. [9] Mingshu Peng; Oscillation criteria for second-order impulsive delay difference equations, Appl. Math. Comput., 146(1), (2003), 227-235. [10] S. H. Saker; Oscillation of second order forced nonlinear dynamic equations on time scales, Electronic J. Qualitative Theory Differ. Equ., 23 (2005), 1-17. [11] S. H. Saker; Oscillation criteria of second order half-linear dynamic equations on time scales, J. Comput. Appl. Math, 177 (2005), 375-387. [12] B. G. Zhang, Z. S. Liang; Oscillation of second-order nonlinear delay dynamic equations on time scales, Comput. Math. Appl. 49(2005), 599-609. Qiaoluan Li College of Mathematics and Information Science, Hebei Normal University, Shijiazhuang, 050016, China E-mail address: qll71125@163.com Fang Guo Department of Mathematics and Computer, Bao Ding University, 071000, China E-mail address: gf825@126.com