0 Advances in Difference Equations

a SpringerOpen Journal

RESEARCH

Open Access

Properties of third-order nonlinear differential equations

Blanka Baculfkova and Jozef Dzurina*

"Correspondence: jozef.dzurina@tuke.sk Department of Mathematics, Faculty of ElectricalEngineering and Informatics, TechnicalUniversity of Kosice, Letna 9,042 00 Kosice, Slovakia

Abstract

We establish new comparison theorems, to offer criteria for all nonoscillatory solutions of the third-order functional differential equation

[r(t)[X (t)f ]" + p(t)x^(r (t)) = 0

tend to zero. We consider both delay and advanced case of studied equation. The results obtained essentially improve and complement earlier ones. MSC: 34K11; 34C10

Keywords: third-order functional differential equations; comparison theorem; oscillation

ringer

1 Introduction

We are concerned with the asymptotic behavior of all solutions of the third-order functional differential equations

[r(t)[x'(t)]Y ]" + p(t)xP (t (t)) =0. (E)

Throughout the article, we will assume r,p e C([t0, to)), t e C:([t0, to)) and (HI) y , P are the ratios of two positive odd integers, (H2) r(t) > 0,p(t) > 0, t'(t) > 0, limt^TO t(t) = to. In the sequel, it is assumed that (E) is in a canonical form, i.e.,

R(t) = i r-1/Y(s)ds ^to as t ^to.

By a solution of Equation (E) we mean a function x(t) e C1([Tx, to)), Tx > t0, which has the property r(t)(x'(t))Y e C2([Tx, to)) and satisfies Equation (E) on [Tx, to). We consider only those solutions x(t) of (E) which satisfy sup{|x(t)| : t > T} > 0 for all T > Tx. We assume that (E) possesses such a solution. A solution of (E) is called oscillatory if it has arbitrarily large zeros on [Tx, to) and otherwise it is called to be nonoscillatory.

Various techniques were established for examination of (E) and its particular cases. In the articles [1-4], the authors have introduced comparison theorems for comparing studied equation with a set of the first order delay/advanced equation, in the sense that oscillation of these first order equations yields desired properties of third order equation.

© 2012 Baculikova and Dzurina; 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 originalwork is properly cited.

Properties of (E) have been usually studied under condition p = y or p < y .In this article we establish results, where p > y. Moreover, in the cited articles the authors in generally consider either delay or advanced equations, but our technique permits to study both advanced and delayed cases. On the other hand, in the existing comparison results of this kind, there are studied equations always compared with canonical second order differential equation, but in this article we were able to establish comparison with noncanonical differential equation.

We offer new comparison principles, in which we compare our third order equation with the second order differential inequality and this reduction essentially simplifies the investigation of the properties of third order differential equations. Our results generalize those presented in [1-16].

Remark 1.1 All functional inequalities considered in this article are assumed to hold eventually, that is, they are satisfied for all t large enough.

2 Main results

In the following lemma, we present the classification of the possible nonoscillatory solutions of (E).

Lemma 2.1 Let x(t) be a nonoscillatory solution of (E). Then x(t) satisfies, one of the following conditions:

Proof The proof follows immediately from the canonical form of (E) and details are left

To simplify our formulations of the main results, we recall the following definition:

Definition 2.1 We say that (E) enjoys property (A) if every its nonoscillatory solution satisfies (C1).

Remark 2.1 It is easy to verify that condition

guarantees property (A) of (E). Consequently, in the sequel, we may assume that the integral on the left hand side of (2.1) is convergent.

Property (A) of (E) has been studied by various authors (see enclosed references). We offer new technique for investigation property (A) of (E) based on the comparison theorems, in which we reduce property (A) of (E) to the absence of certain positive solution of the suitable second order differential inequality. At first, we establish criteria for property (A) of advanced differential equation. We start with the following auxiliary result.

(Ci) x(t)x'(t)<0, x(t)[r(t)[x'(t)]Y]' >0, x(t)[r(t)[x'(t)]Y]" <0, (C2) x(t)x'(t) > 0, x(t)[r(t)[x'(t)]Y]' >0, x(t)[r(t)[x'(t)]Y]'' <0,

eventually.

to a reader.

Lemma 2.2 Let t (t) > t. Assume thatx(t) satisfies (C2). Then for any k e (0,1)

|x(t(t))|> kRR(^\x(t)\, (2.2)

eventually.

Proof Assume that x(t) > 0. The monotonicity of w(t) = r(t)[x'(t)]Y implies that

fT (t) f t (t)

fT (t) fT (t)

x(T(t)) - x(t) = x'(s)ds = w1/Y (s)r-1/Y (s)ds tt

/• T (t)

> w1/Y(t)J rllY(s)ds = w1/Y(t)[R(T(t))- R(t)].

That is,

x(t(t)) w1/Y (t) r ( / \) / \]

^ >1+-xtr R T (t))- R(t)]. ()

On the other hand, since x(t) as t ^ro, then for any k e (0,1) there exists a t1 large enough, such that

kx(t) < x(t) - x(t1) = / -1/Y (s)r-1/Y (s)ds < -1/Y (t) / r-1/Y (s)ds < -1/Y (t)R(t) Jt1 Jt1

or equivalently,

-1/Y (t) k , x

-— >-. (.4)

x(t) - R(t) ( )

Using (2.4) in (2.3), we get

xXf > 1 + £ rR(T«»- R«] > ^

This completes the proof. □

Let us denote

Rp (t (t))

P1(t) = P(t). (2.5)

Theorem 2.1 Let t (t) > t. If for some c e (0,1) the second order differential inequality

1 Z(t))1/^' + c^f-z1Y (t) < 0 ((1)

vp1/p «v 7 ; r1/Y (t) has not any solution satisfying

z(t) > 0, z'(t) < 0, (z'(t))1/^ <0, (P1)

then (E) has property (A).

Proof Assume the contrary, let x(t) be a nonoscillatory solution of Equation (E), satisfying (C2). We may assume that x(t) > 0, for t > t0. Setting (2.2) into (E), we obtain

[r(t)[x'(t)]Y]" + kPp(t) RRT))xP(t) < 0.

On the other hand, it follows from the monotonicity of y(t) = [r(t)[x'(t)]Y ]', that

r(t)[x'(t)]Y > fy(s)ds > y(t)(t - ti) > cY/Pty(t), (2.7)

eventually, where c1 e (0,1) is an arbitrary chosen constant. Evaluating x'(t) and then integrating from t1 (> t0) to t, we are lead to

rt s1/Y

x(t) > c^ y1/Y (s)ds.

Setting to (2.6), we have

y (t) + c1kPp1(t)

r r t s1/Y , ,, 1

I [r(s)№)]Y])1/Y ds

Integrating from t to to, one gets

/TO rfs uu1/Y "

p1(s) Jtl (U)dU

where c = c1kP. Let us denote the right hand side of (2.9) by z(t). Then y(t) > z(t) > 0 and z(t) satisfies (P1) and moreover,

° = (z'(t>r)' + c^ y1/Y (t)

(z'(t))1/^' + c^ z1/Y (t) U1/P (t) (Z ^ ) + Cr1/Y (t) Z (t).

Vp1^(t)

Consequently, z(t) is a solution of the differential inequality (E1), which contradicts our assumption. □

We are prepared to establish the corresponding result also for delay differential equations. Let us denote

p2 (t) =

p(t -1(t))

T'(t-1(t))

Theorem 2.2 Let t (t) < t. If for some c e (0,1) the second order differential inequality

(pk №)1/') + ^z1/Y w <0

has not any solution satisfying

z(t) > 0, z'(t) < 0, (^L- (z'(t))1/^ <0, (P2)

\p2 (t) /

then (E) has property (A).

Proof Assume the contrary, let x(t) be a positive solution of Equation (E), satisfying (C2). An integration of (E) from t to ro, yields

rr(t)rx'(t)]Y]'> Tp(s)xP(t(s)) ds = iro ^T^wkxp(s)ds

Jt Jt(t) T (T 1(s))

fro p(T-1(s)) p

> K K \\ xp (s)ds.

Jt T '(t -1(s))

Using (2.8), one can see that y(t) = [r(t)[x'(t)]Y ]' satisfies

/œ r r uUv

ds. 011)

Let us denote the right hand side of (2.11) by z(t). Then similarly as in the proof of Theorem 2.1, we can verify that z(t) is a positive solution of (E2) and moreover, it satisfies (P2), which contradicts our assumption. □

Establishing, new criteria for elimination of solutions of (Ei) satisfying (Pi), i = 1,2, we immediately obtain sufficient conditions for property (A) of (E). Since (Ei) and (E2) are of the same form, we present just one general criterion and then, we adapt them for both (Ei). So we consider the noncanonical differential inequality

{a(t)(^(t))a)' + b(t)z&(t) < 0, (E*)

(H3) a, S are the ratios of two positive odd integers,

(H4) a(t) > 0, b(t) > 0.

Let us denote

Q(t) = J

a-1/a (s)ds.

Theorem 2.3 Assume that S > a. Iffor all k>0

limsup I

t^œ Jt0

eS (s)b(s)- Sa

k(a + 1)a+1Q(s)a1/a (s) _ then (E") has not any solution satisfying

ds > -, (2.12)

z(t) > 0, z'(t) < 0, (a(t)(z'(t))a)' <0.

Proof Let z(t) be a positive solution of (E*), such that (P*) holds. We define a(t)(z'(t))a

w(t) = -7W-.

Then w(t) < 0 and, moreover,

(a(t)(z'(t))a X . Az'(t) 1+1/ z-1+8/a (t)

w (t)=—z^— 8w(t)zt) < -b(t) - 5w • (2-13)

On the other hand, noting that -(a(t)(z' (t))a)1/a is positive and increasing, we see that there exists a constant k1 > 0 such that -(a(t)(z'(t))a)1/a > k1 and

/> TO /> TO

z(t) >/ -Z(s)ds = -(a(s)(Z(s»")1/aa-1/a(s)ds tt

> -(a(t)(z'(t))a)%(t) > k1Q(t), (2.14)

or equivalently

z-1+8/a(t) > k2e-1+s/a(t), (2.15)

where k2 = k-1+8/a. Setting (2.15) into (2.13), one gets

0~1+8/a (t)

w'(t) < -b(t) - 5k2W1+1/a (t)ga1/a(t)). ((6)

It is useful to notice that (2.14) implies

Za-8 (t) > -W(t)Qa (t),

which together with (2.15) implies 1

ja > -w(t)^ (t). (2.17)

Multiplying (2.16) by qs (t) and then integrating from t1 to t, we are lead to

ft os-1(S)

w(t)es(t) - w(h)QS(t1) + 8 Jf Oa^ w(s)ds

C t C t ^8-1+8/a (s)

< - b(s)Q8 (s)ds - 8k2 * 1/ . .l) w1+1/a (s)ds, Jt1 Jt1 a (s)

which in view of (2.17) yields

ds < h.

£{b(s)*8(s) + 8 OoI(w(s) + k2Q8/a(s)w1+1/a(s))

An elementary calculation shows that for the functionf (u) = u + Au1+1/a, u <0 the following estimate holds

u + Au1+1/a > -- " 1

(a + 1)a+1 Aa

Consequently,

—(s) + !<2QS/a (s) —1+1/a (s) > --

(a + 1)a+1 k%es (s) Therefore,

e' (s)b(s) - Sa'

k(a + 1)a+1e(s)a1/a (s)

with k = k%. Taking limsupt—ro on both sides, we get a contradiction with (2.12). This finishes our proof. □

Now, we transform condition (2.12) to the more practical form.

Corollary 2.1 Assume that 5 > a.If

lim e5+1(t)b(t)a1/a (t) = ro, (.18)

t—ro

then (E") has not any solution satisfying (P'). Proof It follows from (2.18) that for any k >0

e*W W > + F

eventually. That is

'( )b( ) >11

e (t) (t) - k(a + 1)a+1e(t)a1/a(t) > k e(t)a1/a(t)'

Integrating the above inequality from t1 to t, one gets

i e'(s)ib(s) - —--^ Ids =1fln-^--ln—1-

Jt,y)\() k(a + 1)a+1e(s)a1/a(s)J n e(t) e(t1)

Letting t —^ ro, we see that (2.12) holds true and the assertion now follows from Theorem 2.3. □

We combine Theorems 2.1 and 2.2 together with Corollary 2.1, to obtain easily verifiable criteria for property (A) of (E).

Theorem 2.4 Let p > y, t(t) > t. If

y / fro Rp (t (s)) ^a\1+VY t1/Y Rp (t) ,01Q,

—>(I ~msrp(s)dsj ?W)mp(m=ro, (219)

then (E) has property (A).

Proof We set a = 1/p, 8 - 1/y, a(t) = p-1/p(t), and b(t) = c-jY^y Then g(t) - /tTOp1(s)ds. Since (2.18) reduces to (2.19), Corollary 2.1 ensures that (E1) has not any solution satisfying (P1). The assertion now follows from Theorem 2.1. □

Theorem 2.5 Let P > y, t(t) < t. If

( fTO \1+1/Y T1/Y (t) T'(t)

Ml pH ^Urn-TO, ((

then (E) has property (A).

Proof We set a - 1/p, 8 - 1/y, a(t) -p21/p(t), and b(t) - c^^. Then g(t) - /TTO1(t)p(s)ds. As (2.18) reduces to (2.20), Corollary 2.1 guarantees that (E2) has not any solution satisfying (P2). The assertion now follows from Theorem 2.2. □

Remark 2.2 For t(t) = t both conditions (2.19) and (2.20) simplifies to the same condition

/ ç œ \1+1/Y tl/Y 1

lim [ p(s)ds I , x -— = œ,

t^^A J r1/Y (t) p(t)

for property (A) of (£).

Corollary 2.2 Assume that (E) enjoys property (A). If moreover,

ç œ 1 / ç œ ç œ \ 1/Y

! r^li. Ip(s)dsdu) dv=œ, (221)

then every nonoscillatory solution of(E) tends to zero ast^œ.

Proof Since (E) has property (A), every its nonoscillatory solution satisfies (C1), and what is more, (2.21) ensures that such solution tends to zero as t ^œ. □

Example 2.1 Consider the third order nonlinear differential equation

(t(x'(t))3)" + ax5(M) = 0, t > 1, (Ex1)

where a >0 and X >0. Since both conditions (2.19) and (2.20) hold, Theorems 2.4 and 2.5 imply that (Ex1) enjoys property (A) and, moreover, Corollary 2.2 guarantees that every nonoscillatory solution of (Ex1) tends to zero as t ^œ. For a = 30X5 one such solution is x(t) = 1/t.

3 Summary

Our results can be applied to both delay and advanced third order differential equations. The criteria obtained are easy verifiable and have been precedented by suitable joint illustrative example.

Our method essentially simplifies the examination of the third order equations and what is more, it supports backward the research on the second order delay/advanced differential equations and inequalities.

Competing interests

The authors declare that they have no competing interests. Authors' contributions

The authors have made the same contribution. Allauthors read and approved the finalmanuscript. Acknowledgement

This work was supported by the Slovak Research and Development Agency under the contract No. APVV-0008-10.

Received: 18 January 2012 Accepted: 22 June 2012 Published: 10 July 2012

References

1. Agarwal, RP, Grace, SR, O'Regan, D: On the oscillation of certain functionaldifferentialequations via comparison methods. J. Math. Anal. Appl. 286, 577-600 (2003) Zbl1057.34072

2. Agarwal, RP, Grace, SR, Smith, T: Oscillation of certain third order functionaldifferentialequations. Adv. Math. Sci. Appl. 16, 69-94 (2006) Zbl1116.34050

3. Baculikova, B, Dzurina, J: Oscillation of third-order neutraldifferentialequations. Math. Comput. Model. 52, 215-226

(2010) Zbl 1201.34097

4. Grace, SR, Agarwal, RP, Pavani, R, Thandapani, E: On the oscillation of certain third order nonlinear functional differentialequations. Appl. Math. Comput. 202,102-112 (2008) Zbl1154.34368

5. Baculikova, B, Dzurina, J: Oscillation of third-order nonlinear differentialequations. Appl. Math. Lett. 24,466-470

(2011) Zbl 1209.34042

6. Baculikova, B: Properties of third order nonlinear functionaldifferentialequations with mixed arguments. Abstr. Appl. Anal. 2011, 1-15 (2011) Zbl 1217.34109

7. Baculikova, B, Dzurina, J: Oscillation of third-order functionaldifferentialequations. Electron. J. Qual. Theory Differ. Equ. 43, 1-10 (2010) Zbl 1211.34077

8. Cecchi, M, Dosla, Z, Marini, M: On third order differentialequations with property A and B. J. Math. Anal. Appl. 231 (2), 509-525 (1999) Zbl0926.34025

9. Dzurina, J: Asymptotic properties of third order delay differentialequations. Czechoslov. Math. J. 45,443-448 (1995) Zbl 0842.34073

10. Dzurina, J: Comparison theorems for functionaldifferentialequations with advanced argument. Boll. Unione Mat. Ital., A 7, 461-470 (1993) Zbl0803.34066

11. Erbe, LH, Kong, Q, Zhang, BG: Oscillation Theory for FunctionalDifferentialEquations. MarcelDekker, New York (1994) Zbl 0821.34067

12. Gyori, I, Ladas, G: Oscillation Theory of Delay with Applications. Clarendon Press, Oxford (1991) Zbl0780.34048

13. Kusano, T, Naito, M: Comparison theorems for functionaldifferentialequations with deviating arguments. J. Math. Soc. Jpn. 3, 509-533 (1981) Zbl0494.34049

14. Ladde, GS, Lakshmikantham, V, Zhang, BG: Oscillation Theory of DifferentialEquations with Deviating Arguments. MarcelDekker, New York (1987) Zbl0832.34071

15. Parhi, N, Padhi, S: On oscillation and asymptotic property of a class of third-order differentialequations. Czechoslov. Math. J. 49(1), 21-33 (1999) Zbl0955.34023

16. Philos, ChG: On the existence of nonoscillatory solutions tending to zero at œ for differentialequations with positive delay. Arch. Math. 36, 168-178 (1981) Zbl0463.34050

doi:10.1186/1687-1847-2012-103

Cite this article as: Baculikova and Dzurina: Properties of third-order nonlinear differential equations. Advances in Difference Equations 2012 2012:103.

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