00 Advances in Difference Equations
a SpringerOpen Journal
RESEARCH
Open Access
Oscillation of a class of second-order linear impulsive differential equations
Jessada Tariboon* and Phollakrit Thiramanus
"Correspondence: jessadat@kmutnb.ac.th Department of Mathematics, Faculty of Applied Science, King Mongkut's University of Technology North Bangkok, Bangkok, 10800, Thailand
Abstract
In this paper, we investigate the oscillation of a class of second-order linear impulsive differential equations of the form
((a(t)[x'(t) + Xx(t)])' + p(t)x(t) = 0, t > to, t = tk, (x(t+) = bk.x(tk ), x'(t+) = ck.x'(tk ), k =1,2.....
By using the equivalence transformation and the associated Riccati techniques, some interesting results are obtained. MSC: 34A37; 34C10
Keywords: oscillation; nonoscillation; impulsive differential equation
1 Introduction
Impulsive differential equations are recognized as adequate mathematical models for studying evolution processes that are subject to abrupt changes in their states at certain moments. Many applications in physics, biology, control theory, economics, applied sciences and engineering exhibit impulse effects (see [1-4]). In recent years, the study of the oscillation of all solutions of impulsive differential equations have been the subject of many research works. See, for example, [5-11] and the references cited therein.
In this article, we consider the second-order linear impulsive differential equation of the form
(a(t)[x'(t) + Xx(t)])' + p(t)x(t) = 0, t > t0, t = tk, x(t+) = bkx(tk), xX (t+) = ckx'(tk), k = 1,2,...,
where 0 < t0 < t1 < ••• < tk limk^TO tk = +c», a(t) e C([t0,to), (0,to)) and p(t) e
C([t0, to), r), {bk} and {ck} are two known sequences of positive real numbers, X is a real number, and
ft Spri
^ x(tk + h)~x(tk )
x (tk)= x ( t- I = lim
x'( tt\ = lim
h^0- h x(tk + h) -x(t+)
ringer
h^0+ h
© 2012 Tariboon and Thiramanus; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.Org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Let J c R be an interval and PC J, R) = {x: J ^ R: x(t) be continuous everywhere except at some tk at which x(t+) and x(t-) exist and x(t-) = x(tk)}. A function x e PC([to, ro), R) is said to be a solution of Eq. (1.1) if
(i) x(t) satisfies (a(t)[x'(t) + Xx(t)])' + p(t)x(t) = 0 for t e [to, ro) and t = tk,
(ii) x(t+) = bkx(tk), x'(t+) = ckx'(tk) for each tk, and x(t) and x'(t) are left continuous for each tk, k = 1,2,____
Definition 1.1 A nontrivial solution of Eq. (1.1) is said to be nonoscillatory if the solution is eventually positive or eventually negative. Otherwise, it is said to be oscillatory. Eq. (1.1) is said to be oscillatory if all solutions are oscillatory.
If X = 0, then Eq. (1.1) reduces to the second-order linear differential equation with impulses
(a(t)x'(t))' + p(t)x(t) = 0, t > to, t = tk,
x(t+) = bkx(tk), x'(t+) = ckx'(tk), k = 1,2,....
In [12] Luo et al. and [13] Guo et al. gave some excellent results on the oscillation and nonoscillation of Eq. (1.2) by using associated Riccati techniques and an equivalence transformation. Moreover, Luo et al. showed that the oscillation of Eq. (1.2) can be caused by impulsive perturbations, though the corresponding equation without impulses admits a nonoscillatory solution.
If a(t) = 1 and X =0, then Eq. (1.1) reduces to the impulsive Langevin equation of the form
|(| + X)x(t)+p(t)x(t) = 0, t > to, t = tk, x(t+) = bkx(tk), x'(t+) = ckx'(tk), k = 1,2,....
The Langevin equation (first formulated by Langevin in 1908) is found to be an effective tool to describe the evolution of physical phenomena in fluctuating environments. For more details of the Langevin equation without impulses and its applications, we refer the reader to [14].
If X = 0 and bk = ck = 1 for all k = 1,2,..., then Eq. (1.1) reduces to the self-adjoint second-order differential equation
(a(t)x(t))' + p(t)x(t) = 0, t > t0. (.4)
There are many good results on the oscillation and nonoscillation of Eq. (1.4); see, for example, [15-18].
2 Main results
Now we are in the position to establish the main result. Lemma 2.1 If the second-order differential equation
T <tk <t
n d-1) p(t) + n dk)a(tk)
- X2 j2 n dj(1 - dk)a(tk)
T<tk <ttk <tj <t
T<tk <ttk <tj <t
y(t) = 0, t > T,
is oscillatory, then Eq. (1.1) is oscillatory, where dk = ck/bk, k = 1,2,____
Proof For the sake of contradiction, suppose that Eq. (1.1) has an eventually positive solution x(t). Then there exists a constant T > t0 such that x(t) > 0 for t > T. We let
u(t) =
a(t)(extx(t))' a(t)(x'(t) + kx(t))
eux(t)
t > T.
u' (t) =
extx(t)[a(t)(eux(t))']' - a(t)[(e"x(t))']2 (eAtx(t))2
[a(t)(eAtx(t))']' a(t)[(eAtx(t))']2
extx(t) (eux(t))2
(ext [a(t)(x'(t) + Xx(t))])' a(t)[(eAtx(t))']2
extx(t)
(extx(t))2
(a(t)(x'(t) + Xx(t)))' a(t)(x'(t) + Xx(t)) — + X-
a(t)[(extx(t))']2
(extx(t))2 = -p(t) + Xu(t) -
u2(t) a(t)
can be obtained. Therefore,
U (t)- Xu(t) + —^ + p(t) = 0, t > T, t = tk. a(t)
On the other hand, we have
a(t+)(x'(t+) + Xx(t+)) a(tk )(ckx'(tk ) + Xbkx(tk ))
<t+) =
bkx(tk)
Let ek = X(1 - dk)a(tk), then we get
u(t+) = dku(tk) + ek, tk > T, k = 1,2,. Now, we define
v(t) = n d-1 u(t) - J2 II djek
T<tk <t t <tk <ttk <tj<t
t > T.
Then, for tn > T, we get that
Tstk <tn
(t+) = П d-1 u(t+) - £ П d
T<tk<tn tk<tj<tn
= 0 d-1 dnu(tn) + en - £ ]"[ djdnek - en
T<tk<tn L T<tk<tn tk<tj<tn
= ]"[ d-1 u(tn)- £ ]"[ djek
T<tk<tn T<tk<tn tk<tj<tn
= V(tn).
Therefore, v(t) is continuous on (T, то). We have
T<tk <t
П d-M x £ П^ = £ П d-1
T<tk<ttk<tj<t ' T<tk<t T<tj<tk
Then, for t > T, t = tn and from (2.2), we get that
T<tk <t+h
(t)= himj П d-1 u(t + h)- £ П dj
T<tk<t+h tk<tj<t+h
П d-1 u(t)- £ П djeA/h
T<tk <t L
T<tk<ttk<tj<t
= ПT<tk<t+h d-1u(t + h)- ПT<tk<t dku(t)
П d;M,|imo"(t+h)-"(t)
, h^O h
T<tk <t 7
П d-1) u'(t) = ( П d-
T<tk <t
T<tk <t
/ ч u2(t) Xu(t) - —t - p(t) a(t)
П d-M X v(t)i П dk\+ £ П djek
T<tk<t XV L \t<tk<t 7 T<tk<ttk<tj<t
v(t)( П dH + £ П djek
T<tk <t ' T<tk <ttk <tj<t
- p(t)
= Mt) + * £ П dfek -( П dk)v0§
T<tk<t T<tj<tk T<tk<t ' ( )
По*-ТГ *
a(t) T<tk<ttk<tj<t a(t) V<tk<t
x( E П djek)'-( П d-1W
^T<tk <ttk <tj<t X T<tk <t X
The left-hand and the right-hand derivatives of v(t) at t = tn are given by
(t-) = ( n d-^u'(t-) = ( n d-^u (tn),
(t+) = ( n d-^ u'(t+) = ( n d-^dnu'(tn)=( n d-^ u'(t,
Hence, for t = tn,we have
(tn)=i n d-M u'(tn)=f Yl dk1) tlim u'(t)
^T<tk<tr ' V<t, <t.. ' n
T <tk <tn
T <fk <tn
/ x u2(t) Xu(t) - —t -p(t) a(t)
u2(tn)
Xu(tn)--—— - p(tn)
T<fk <tn 1
H d-1) X v(tn)( n dk) + £ n djek
T<tk<tn T<tk<tn tk<tj<tn
v(tn) fl dA + I"! djek -p(tn) |
t <t <t
T<tk<tn T<tk<tn tk <tj<tn
e -in d^v(tn)
= Mft,^ £ II dj - V n -Ja(tn)
T<tk<tn T<tj<tk T<tk<tn ' v "
, v(tn) a(tn)
- e n ^J. n
T<tk<tn tk<tj<tn T<tk <tn
XI E n djek\ - ( n d-p(tn).
^T<tk<tn tk<tj<tn ' T<tk<tn '
''(t)+ n d^Otr- Xv(t) + 2§) E n djek
T<tk <t
T<tk<t T<tj<tk
-X£ n d^ek + O^m d-1)(£ I"! djek
T <fk <ttk <tj<t
T <fk <t ' T <fk <ttk <tj<t
+ ( n d^)p(t) = 0, t > T.
T <tk <t
We set
w(t) = exp|
x+£E n
U T L \T<tk<s 7 W W T<t, <.k<t:<
T<tk <s tk <tj<s
ds , t > T.
T <tk <tn
Then, w(t) > 0 for t > T and w'(t) = w(t)
n dk)aÊ-X + at) £ n ^
T<tk<t 7 w v ' T<tk <ttk <tj<t
From (2.5), we obtain
Y\ d-1 la(t)w'(t)+Xi Yi d-1 la(t)w(t)-2 £ Y[ dfekw(t)
T<tk <t 7 T<tk <t 7 T<tk <tT<tj<tk
= w(t)v'(t) + v(t)w'(t) = w(t)
(t)^ d^ai"^v(t)+2^ £ n djek
= w(t)
■t<tk<t 7 w v ' t<tk<ttk<tj<t
X £ n d>- - alt) (n
- T<tk<t T<tj<tk v ' T<tk<t
x I £ n dj-e^2 " ( n d"^p(t)
V<tk <ttk <tj<t 7 ^T<tk <t 7
Therefore,
]~[ d-Ma(t) w'(t) + x( 1- — £ n dj(1- dk)a(tk)) w(t)
L xT<tk<t 7 ^ \ ( ) T<tk<ttk<tj<t
+ 1 n d^) p(t) + a^f £ n dj(1 - dk)a(tk) T<tk<t a(t)
a(t) I
T<tk <ttk <tj <t
-X2 £ II dj(1 - dk)a(tk)
T<tk <ttk <tj <t
w(t) = 0, t > T.
This implies that w(t) is an eventually positive solution of Eq. (2.1) which is a contradiction. A similar argument can be used to prove that Eq. (2.1) cannot have an eventually negative solution. Therefore, from Definition 1.1, the solution of Eq. (2.1) is oscillatory. The proof is complete. □
Lemma 2.2 (Leighton type oscillation criteria) Assume that the functions g (t), q(t) e PC([to, to), R) and h(t) e PC([to, to), (0, to)).
p to p to 1
g(s)e- fTq(°)d ds = to and I — JTq(^)d ds = to, Jt Jt h(s)
(h(t) [y'(t) + q(t)y(t)]) ' + g(t)y(t) = 0 is oscillatory.
Proof Let y(t) be a nonoscillatory solution of the Eq. (2.6). Without loss of generality, we assume that there exists a T > t0 such that y(t) > 0 for t > T. We define
h(t)(e^rq(g) da y(t))' u(t) =-1-, t > T.
efTq(a) da y(j-)
Then the equation
-(t) - q(t)u(t) + —t + g(t) = 0 (2.7)
has a solution u(t) on [ T, ro). It is easy to see that the solution of Eq. (2.7) satisfies the following equation:
u(t) = efttq(a)dau(T) - efttq(a)da f ^e-)da ds
Jt h(s)
- ehq(a)g(s)e-fTq(a)da ds. (.8)
Since fro g(s)e^Tq(a) da ds = ro, then there exists r > T such that u(T) -J g{s)e-ftq(a)da ds <0
for all t in [r, ro). Hence, from (2.8), it follows that
t 11 U2(s) u(t) < -e^rq(s)ds —Lie-hq(a)da ds, t e [r, ro). Jt h(s)
r(t) =ie-№) da ds, t e [r, ro). Jt h(s)
Then u(t) < -r(t)eftq(a)da and
r (t) = e-tiq(a) da > ^e^")da, t e [r, ro). (2.9)
h(t) h(t)
Integrating (2.9) from r > T to ro,we obtain
1 1 fro 1
+ —TT- >
r(ro) r(r ) Jr h(s) Hence,
^f q(a) do ds.
fœ 1 1
t^ e&^o) da ds <-^< to, A h(s) r(r
which is a contradiction. Thus, the solution y(t) is oscillatory. The proof is complete. □
Theorem 2.3 Assume that
r(u d[pW + ^f E n d<l- dk)a(tk)
JT V<tk <t a\t)\ T <t,_ <tt,. <t.- <t
- X2 E n dj (1 - dk )a(tk) expj -X j (l-
T<tk <ttk <tj <t
T <tk <ttk <tj<t
t \ a(s)
x E n dj (1 - dk )a(tk)\ ds\dt = to (2.10)
T<t.,„ <ctf- <t:<s ' '
T<tk<s tk<tj<s
T T<tk<t
expi xf (1--2- x y^ Fid/ (1- dk)a(tk)] dsldt = to, (2.11)
I M a(s) T<k<s tk<tj<s ) J
where dk = cklbk, k = 1,2,____Then Eq. (1.1) is oscillatory.
If bk = ck, k = 1,2,..., then dk = 1, k = 1,2,... and (1.1) becomes
(a(t)[x'(t) + Xx(t)])' + p(t)x(t) = 0, t > to, t = tk, x(t+) = bkx(tk), x'(t+) = bkx'(tk), k = 1,2,....
(2.12)
Theorem 2.4 Eq. (2.12) is oscillatory if and only if
(a(t)[y'(t) + Xy(t)])' + p(t)y(t) = 0, t > to, (2.13)
is oscillatory.
Proof From Lemma 2.1, we only need to prove that if Eq. (2.12) is oscillatory, then Eq. (2.13) is oscillatory.
Without loss of generality, we suppose that y(t) is an eventually positive solution of (2.13) such that y(t) > 0 for t > T > to. Set
*(t)=(n bk)y(t), t > T.
T<tk<t
Then, for t > T,we have x(t) > 0, and for tn > T,
x(t+) = ( J"] bk\y(t+) = b^ bAy(tn) = bnx(tn).
T<tk<tn T<tk<tn
Moreover, for t = tn > T,we have
(t) = ( n bk)y'(t),
T<tk<t
x'(t+) = ( Yl bkW(t+) = bn n b^y'(tn) = bnx'(tn) = Cnx'(t,
T <tk <tn ' T<tk <tn '
Now we have for t = tn
(a(t)[x'(t) + Xx(t)])' =(a(t) ( n bkW) + x( n b^y(t) )
vT<tk <t 7 T<tk <t
f] bk\ (a(t)[y'(t) + Xy(t)])'
T<tk <t
= -( n bkjp(t)y(t) = -p(t)x(t).
T<tk<t
Therefore,
(a(t) [x'(t) + Xx(t)])' + p(t)x(t) = 0, t = tn, t > T.
We get that x(t) is an eventually positive solution of (2.12), a contradiction, and so the proof is complete. □
Corollary 2.5 Assume that
J p(t)e-Xtdt = ro (2.14)
ro eXt
— dt = ro. (2.15) Jt a(t)
Then Eq. (2.12) is oscillatory. 3 Some examples
In this section, we illustrate our results with two examples. Example 3.1 Consider the following impulsive Langevin equation:
(dt + 2)x(t)+5t x(t) = 0, t >0,t = k,
dt^ dt 3
x(k+) = T+r x(k), x'(k+) = x'(k), k = 1,2,....
Set dk = k+i, X = 3, a(t) = a(tk) = 1 and p(t) = 5t .If T e (m, m + 1] for some integer m > 0, then we get
/ -p-r k \ m + 1 m + 2 [t] m + 1 V M, k+l/ = m + 2 ' m + 3 [t^ = [t^'
T<tk<[t]+1
E n (TXI
T<tk<[t] tk<tj<[t] v ' > v
1 m+3 m+ 4
m + 1 m + 2 m + 3 [t]-1 1 m+4 m+5
m + 2 m + 3 m + 4 [t]-1
[t] 1 + ••• +
[t] 1 +
[t] - 2 [t]-1 [t]-1
m+1 m+2 m+2 m+3
11 + ••• +
[t] - 2 [t]-1/ [t]-1
m + 1 [t] -1J [t]-1
[t] m +1
where [ ] denotes the greatest integer function. Hence,
T<tk <t
p(t) + TIT
(t)( E n dj(1-dk)a(tk)
( ) ^t<tk<ttk<tj<t
- X2 E 11 dj(1- dk)a(tk)l exp(-X f (1 -T<tk< «/< jt J [ Jt\ a(s)
x E n dj(1 -dk)a(tk) I ds\dt
T <tk <stk <tj<s ' '
an(3 y&j-1
2 r 3T
n (j)(-1
3/ T<tk<ttk<tj<A j / \ k
j + 1\/ 1
expi\ I 1-2
E nr—)I-i"dsut
T<tk<stk<tj<s\ ' / \ /
aji.iii
T <tk <[t]+1
j r))(
j+1)( 1
£ n^TAi1+1
T<tk<[t] tk<tj<[t] v ' > v
^^ n w
T<tk<[t] tk<tj<[t] v ' 'l-f ;
exH-o / (1 + 2
E n V—){^\d^dt
T <tk <[s]+1 tk <tj<[s]+1 V ' '
; \M7 [t] )
3 ) \m + 1
expi — I (1 + 2(/[s]T1-1) \ds\dt
fill expix f (£ 11 d;(l- dk )a(tk A ds\dt
VJk<t >a(t) y a(S) T<tk<stk<tj<s ) J
-n n.¥)
x expj - i 11 + 2 V TT — • tI ds\dt
"3 't\ £<j k> i
>HT nJ+)expl 3/t' (1) dsldt =/;(m+- • m+2-ii-) -i 3 t »4 *
=r (m^ |3(t - T) }dt
'Cim+i)m-(t - t >idt
By Theorem 2.3, Eq. (3.1) is oscillatory. Example 3.2 Consider the equation
(—L-r[x'(t) + |x(t)])' + ntx(t) = 0, t > 0, t = tk,
(t-+i)- 1 (3.2)
x(t+) = bkx(tk), x'(t+) = bkx'(tk), k = 1,2,...,
where {bk} is a known sequence of positive real numbers. It is easy to see that
r t 3 tJ
I n e i tdt = to
r to t 3
{i^ + iy e 3 tdt = to.
By Corollary 2.5, Eq. (3.2) is oscillatory.
Competing interests
The authors declare that they have no competing interests. Authors' contributions
Allauthors contributed equally and significantly in writing this article. Allauthors read and approved the finalmanuscript.
Acknowledgements
This research work is financially supported by the Office of the Higher Education Commission of Thailand, and King
Mongkut's University of Technology North Bangkok, Thailand.
Received: 15 August 2012 Accepted: 13 November 2012 Published: 27 November 2012
References
1. Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
2. Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Periodic Solutions and Applications. Longman, Harlow (1993)
3. Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Asymptotic Properties of the Solutions. World Scientific, Singapore (1995)
4. Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)
5. Agarwal, RP, Karakoç, F: A survey on oscillation of impulsive delay differentialequations. Comput. Math. Appl. 60, 1648-1685 (2010)
6. Agarwal, RP, Karakoç, F, Zafer, A: A survey on oscillation of impulsive ordinary differentialequations. Adv. Differ. Equ. 2010, Article ID 354841 (2010)
7. Guo, Z, Zhou, X, Ge, W: Intervaloscillation criteria for second-order forced impulsive differentialequations with mixed nonlinearities. J. Math. Anal. Appl. 381,187-201 (2011)
8. Liu, Z, Sun, Y: Intervalcriteria for oscillation of a forced impulsive differentialequation with Riemann-Stieltjes integral. Comput. Math. Appl. 63, 1577-1586 (2012)
9. Ozbekler, A, Zafer, A: Leighton-Coles-Wintner type oscillation criteria for half-linear impulsive differentialequations. Adv. Dyn. Syst. Appl. 5, 205-214 (2010)
10. Ozbekler, A, Zafer, A: Nonoscillation and oscillation of second-order impulsive differentialequations with periodic coefficients. Appl. Math. Lett. 25, 294-300 (2012)
11. Ozbekler, A, Zafer, A: Oscillation of solutions of second order mixed nonlinear differentialequations under impulsive perturbations. Comput. Math. Appl. 61, 933-940 (2011)
12. Luo, Z, Shen, J: Oscillation of second order linear differentialequations with impulses. Appl. Math. Lett. 20, 75-81 (2007)
13. Guo, C, Xu, Z: On the oscillation of second order linear impulsive differentialequations. Diff. Equ. Appl. 2, 319-330 (2010)
14. Coffey, WT, Kalmykov, YP, Waldron, JT: The Langevin Equation: With Applications to Stochastic Problems in Physics, Chemistry and ElectricalEngineering. World Scientific, Singapore (2004)
15. Leighton, W: On self-adjoint differentialequations of second order. J. Lon. Math. Soc. 27, 37-43 (1952)
16. Swanson, GA: Comparison and Oscillation Theory of Linear Differential Equations. Academic Press, New York (1968)
17. Agarwal, RP, O'Regan, D: An Introduction to Ordinary Differential Equations. Springer, New York (2008)
18. Kelley, WG, Peterson, AC: The Theory of Differential Equations: Classicaland Qualitative. Springer, New York (2010)
doi:10.1186/1687-1847-2012-205
Cite this article as: Tariboon and Thiramanus: Oscillation of a class of second-order linear impulsive differential equations. Advances in Difference Equations 2012 2012:205.
Submit your manuscript to a SpringerOpen journal and benefit from:
► Convenient online submission
► Rigorous peer review
► Immediate publication on acceptance
► Open access: articles freely available online
► High visibility within the field
► Retaining the copyright to your article
Submit your next manuscript at ► springeropen.com
