Skip to main content

Advertisement

Properties of third-order nonlinear differential equations

Article metrics

  • 1845 Accesses

Abstract

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

[ r ( t ) [ x ( t ) ] γ ] +p(t) x β ( τ ( 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.

1 Introduction

We are concerned with the asymptotic behavior of all solutions of the third-order functional differential equations Throughout the article, we will assume r,pC([ t 0 ,)), τ C 1 ([ t 0 ,)) and

(H1) γ, β are the ratios of two positive odd integers,

(H2) r(t)>0, p(t)>0, τ (t)>0, lim t τ(t)=.

In the sequel, it is assumed that (E) is in a canonical form, i.e.,

R(t)= t 0 t r 1 / γ (s)dsast.

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

Various techniques were established for examination of (E) and its particular cases. In the articles [14], 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. Properties of (E) have been usually studied under condition β=γ or β<γ. In this article we establish results, where βγ. 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 [116].

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 Letx(t)be a nonoscillatory solution of (E). Thenx(t)satisfies, one of the following conditions:

( C 1 ) x ( t ) x ( t ) < 0 , x ( t ) [ r ( t ) [ x ( t ) ] γ ] > 0 , x ( t ) [ r ( t ) [ x ( t ) ] γ ] < 0 , ( C 2 ) x ( t ) x ( t ) > 0 , x ( t ) [ r ( t ) [ x ( t ) ] γ ] > 0 , x ( t ) [ r ( t ) [ x ( t ) ] γ ] < 0 ,

eventually.

Proof The proof follows immediately from the canonical form of (E) and details are left to a reader. □

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 ( C 1 ).

Remark 2.1 It is easy to verify that condition

t 0 p(s)ds=,
(2.1)

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.

Lemma 2.2 Letτ(t)t. Assume thatx(t)satisfies ( C 2 ). Then for anyk(0,1)

| x ( τ ( t ) ) | k R ( τ ( t ) ) R ( t ) | x ( t ) | ,
(2.2)

eventually.

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

x ( τ ( t ) ) x ( t ) = t τ ( t ) x ( s ) d s = t τ ( t ) w 1 / γ ( s ) r 1 / γ ( s ) d s w 1 / γ ( t ) t τ ( t ) r 1 / γ ( s ) d s = w 1 / γ ( t ) [ R ( τ ( t ) ) R ( t ) ] .

That is,

x ( τ ( t ) ) x ( t ) 1+ w 1 / γ ( t ) x ( t ) [ R ( τ ( t ) ) R ( t ) ] .
(2.3)

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

kx(t)x(t)x( t 1 )= t 1 t w 1 / γ (s) r 1 / γ (s)ds w 1 / γ (t) t 1 t r 1 / γ (s)ds w 1 / γ (t)R(t)

or equivalently,

w 1 / γ ( t ) x ( t ) k R ( t ) .
(2.4)

Using (2.4) in (2.3), we get

x ( τ ( t ) ) x ( t ) 1+ k R ( t ) [ R ( τ ( t ) ) R ( t ) ] k R ( τ ( t ) ) R ( t ) .

This completes the proof. □

Let us denote

p 1 (t)= R β ( τ ( t ) ) R β ( t ) p(t).
(2.5)

Theorem 2.1 Letτ(t)t. If for somec(0,1)the second order differential inequality has not any solution satisfying then (E) has property (A).

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

[ r ( t ) [ x ( t ) ] γ ] + k β p(t) R β ( τ ( t ) ) R β ( t ) x β (t)0.
(2.6)

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

r(t) [ x ( t ) ] γ t 1 t y(s)dsy(t)(t t 1 ) c 1 γ / β ty(t),
(2.7)

eventually, where c 1 (0,1) is an arbitrary chosen constant. Evaluating x (t) and then integrating from t 1 ( t 0 ) to t, we are lead to

x(t) c 1 1 / β t 1 t s 1 / γ r 1 / γ ( s ) y 1 / γ (s)ds.
(2.8)

Setting to (2.6), we have

y (t)+ c 1 k β p 1 (t) [ t 1 t s 1 / γ r 1 / γ ( s ) ( [ r ( s ) [ x ( s ) ] γ ] ) 1 / γ d s ] β 0.

Integrating from t to ∞, one gets

y(t)c t p 1 (s) [ t 1 s u 1 / γ r 1 / γ ( u ) y 1 / γ ( u ) d u ] β ds,
(2.9)

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

0 = ( 1 p 1 1 / β ( t ) ( z ( t ) ) 1 / β ) + c t 1 / γ ( t ) r 1 / γ ( t ) y 1 / γ ( t ) ( 1 p 1 1 / β ( t ) ( z ( t ) ) 1 / β ) + c t 1 / γ ( t ) r 1 / γ ( t ) z 1 / γ ( t ) .

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

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

p 2 (t)= p ( τ 1 ( t ) ) τ ( τ 1 ( t ) ) .
(2.10)

Theorem 2.2 Letτ(t)t. If for somec(0,1)the second order differential inequality has not any solution satisfying then (E) has property (A).

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

[ r ( t ) [ x ( t ) ] γ ] t p ( s ) x β ( τ ( s ) ) d s = τ ( t ) p ( τ 1 ( s ) ) τ ( τ 1 ( s ) ) x β ( s ) d s t p ( τ 1 ( s ) ) τ ( τ 1 ( s ) ) x β ( s ) d s .

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

y(t) c 1 t p 2 (s) [ t 1 s u 1 / γ r 1 / γ ( u ) y 1 / γ ( u ) d u ] β ds.
(2.11)

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 ( E 2 ) and moreover, it satisfies ( P 2 ), which contradicts our assumption. □

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

(H3) α, δ are the ratios of two positive odd integers,

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

Let us denote

ϱ(t)= t a 1 / α (s)ds.

Theorem 2.3 Assume thatδ>α. If for allk>0

lim sup t t 0 t [ ϱ δ ( s ) b ( s ) δ α α k ( α + 1 ) α + 1 ϱ ( s ) a 1 / α ( s ) ] ds> 1 k ,
(2.12)

then ( E ) has not any solution satisfying

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

w(t)= a ( t ) ( z ( t ) ) α z δ ( t ) .

Then w(t)<0 and, moreover,

w (t)= ( a ( t ) ( z ( t ) ) α ) z δ ( t ) δw(t) z ( t ) z ( t ) b(t)δ w 1 + 1 / α (t) z 1 + δ / α ( t ) a 1 / α ( t ) .
(2.13)

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

z ( t ) t z ( s ) d s = t ( a ( s ) ( z ( s ) ) α ) 1 / α a 1 / α ( s ) d s ( a ( t ) ( z ( t ) ) α ) 1 / α ϱ ( t ) k 1 ϱ ( t ) ,
(2.14)

or equivalently

z 1 + δ / α (t) k 2 ϱ 1 + δ / α (t),
(2.15)

where k 2 = k 1 1 + δ / α . Setting (2.15) into (2.13), one gets

w (t)b(t)δ k 2 w 1 + 1 / α (t) ϱ 1 + δ / α ( t ) a 1 / α ( t ) .
(2.16)

It is useful to notice that (2.14) implies

z α δ (t)w(t) ϱ α (t),

which together with (2.15) implies

1 k 2 α w(t) ϱ δ (t).
(2.17)

Multiplying (2.16) by ϱ δ (t) and then integrating from t 1 to t, we are lead to

w ( t ) ϱ δ ( t ) w ( t 1 ) ϱ δ ( t 1 ) + δ t 1 t ϱ δ 1 ( s ) a 1 / α ( s ) w ( s ) d s t 1 t b ( s ) ϱ δ ( s ) d s δ k 2 t 1 t ϱ δ 1 + δ / α ( s ) a 1 / α ( s ) w 1 + 1 / α ( s ) d s ,

which in view of (2.17) yields

t 1 t { b ( s ) ϱ δ ( s ) + δ [ ϱ δ 1 ( s ) a 1 / α ( s ) ( w ( s ) + k 2 ϱ δ / α ( s ) w 1 + 1 / α ( s ) ) ] } ds 1 k 2 α .

An elementary calculation shows that for the function f(u)=u+A u 1 + 1 / α , u<0 the following estimate holds

u+A u 1 + 1 / α α α ( α + 1 ) α + 1 1 A α .

Consequently,

w(s)+ k 2 ϱ δ / α (s) w 1 + 1 / α (s) α α ( α + 1 ) α + 1 1 k 2 α ϱ δ ( s ) .

Therefore,

t 1 t [ ϱ δ ( s ) b ( s ) δ α α k ( α + 1 ) α + 1 ϱ ( s ) a 1 / α ( s ) ] ds 1 k ,

with k= k 2 α . Taking lim sup t 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δ>α. If

lim t ϱ δ + 1 (t)b(t) a 1 / α (t)=,
(2.18)

then ( E ) has not any solution satisfying ( P ).

Proof It follows from (2.18) that for any k>0

ϱ δ + 1 (t)b(t) a 1 / α (t) δ α α k ( α + 1 ) α + 1 + 1 k ,

eventually. That is

ϱ δ (t)b(t) δ α α k ( α + 1 ) α + 1 ϱ ( t ) a 1 / α ( t ) 1 k 1 ϱ ( t ) a 1 / α ( t ) .

Integrating the above inequality from t 1 to t, one gets

t 1 t ϱ δ (s) { b ( s ) δ α α k ( α + 1 ) α + 1 ϱ ( s ) a 1 / α ( s ) } ds= 1 k ( ln 1 ϱ ( t ) ln 1 ϱ ( t 1 ) ) .

Letting t, 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β>γ, τ(t)t. If

lim t ( t R β ( τ ( s ) ) R β ( s ) p ( s ) d s ) 1 + 1 / γ t 1 / γ r 1 / γ ( t ) R β ( t ) p ( t ) R β ( τ ( t ) ) =,
(2.19)

then (E) has property (A).

Proof We set α=1/β, δ=1/γ, a(t)= p 1 1 / β (t), and b(t)=c t 1 / γ r 1 / γ ( t ) . Then ϱ(t)= t p 1 (s)ds. Since (2.18) reduces to (2.19), Corollary 2.1 ensures that ( E 1 ) has not any solution satisfying ( P 1 ). The assertion now follows from Theorem 2.1. □

Theorem 2.5 Letβ>γ, τ(t)t. If

lim t ( t p ( s ) d s ) 1 + 1 / γ τ 1 / γ ( t ) r 1 / γ ( τ ( t ) ) τ ( t ) p ( t ) =,
(2.20)

then (E) has property (A).

Proof We set α=1/β, δ=1/γ, a(t)= p 2 1 / β (t), and b(t)=c t 1 / γ r 1 / γ ( t ) . Then ϱ(t)= τ 1 ( t ) p(s)ds. As (2.18) reduces to (2.20), Corollary 2.1 guarantees that ( E 2 ) has not any solution satisfying ( P 2 ). The assertion now follows from Theorem 2.2. □

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

lim t ( t p ( s ) d s ) 1 + 1 / γ t 1 / γ r 1 / γ ( t ) 1 p ( t ) =,

for property (A) of (E).

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

t 0 1 r 1 / γ ( v ) ( v u p ( s ) d s d u ) 1 / γ dv=,
(2.21)

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

Proof Since (E) has property (A), every its nonoscillatory solution satisfies ( C 1 ), 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 where a>0 and λ>0. Since both conditions (2.19) and (2.20) hold, Theorems 2.4 and 2.5 imply that ( E x 1 ) enjoys property (A) and, moreover, Corollary 2.2 guarantees that every nonoscillatory solution of ( E x 1 ) tends to zero as t. For a=30 λ 5 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.

References

  1. 1.

    Agarwal RP, Grace SR, O’Regan D: On the oscillation of certain functional differential equations via comparison methods. J. Math. Anal. Appl. 2003, 286: 577–600. Zbl 1057.34072 10.1016/S0022-247X(03)00494-3

  2. 2.

    Agarwal RP, Grace SR, Smith T: Oscillation of certain third order functional differential equations. Adv. Math. Sci. Appl. 2006, 16: 69–94. Zbl 1116.34050

  3. 3.

    Baculíková B, Džurina J: Oscillation of third-order neutral differential equations. Math. Comput. Model. 2010, 52: 215–226. Zbl 1201.34097 10.1016/j.mcm.2010.02.011

  4. 4.

    Grace SR, Agarwal RP, Pavani R, Thandapani E: On the oscillation of certain third order nonlinear functional differential equations. Appl. Math. Comput. 2008, 202: 102–112. Zbl 1154.34368 10.1016/j.amc.2008.01.025

  5. 5.

    Baculíková B, Džurina J: Oscillation of third-order nonlinear differential equations. Appl. Math. Lett. 2011, 24: 466–470. Zbl 1209.34042 10.1016/j.aml.2010.10.043

  6. 6.

    Baculíková B: Properties of third order nonlinear functional differential equations with mixed arguments. Abstr. Appl. Anal. 2011, 2011: 1–15. Zbl 1217.34109

  7. 7.

    Baculíková B, Džurina J: Oscillation of third-order functional differential equations. Electron. J. Qual. Theory Differ. Equ. 2010, 43: 1–10. Zbl 1211.34077

  8. 8.

    Cecchi M, Došlá Z, Marini M: On third order differential equations with property A and B. J. Math. Anal. Appl. 1999, 231(2):509–525. Zbl 0926.34025 10.1006/jmaa.1998.6247

  9. 9.

    Džurina J: Asymptotic properties of third order delay differential equations. Czechoslov. Math. J. 1995, 45: 443–448. Zbl 0842.34073

  10. 10.

    Džurina J: Comparison theorems for functional differential equations with advanced argument. Boll. Unione Mat. Ital., A 1993, 7: 461–470. Zbl 0803.34066

  11. 11.

    Erbe LH, Kong Q, Zhang BG: Oscillation Theory for Functional Differential Equations. Marcel Dekker, New York; 1994. Zbl 0821.34067

  12. 12.

    Györi I, Ladas G: Oscillation Theory of Delay with Applications. Clarendon Press, Oxford; 1991. Zbl 0780.34048

  13. 13.

    Kusano T, Naito M: Comparison theorems for functional differential equations with deviating arguments. J. Math. Soc. Jpn. 1981, 3: 509–533. Zbl 0494.34049

  14. 14.

    Ladde GS, Lakshmikantham V, Zhang BG: Oscillation Theory of Differential Equations with Deviating Arguments. Marcel Dekker, New York; 1987. Zbl 0832.34071

  15. 15.

    Parhi N, Padhi S: On oscillation and asymptotic property of a class of third-order differential equations. Czechoslov. Math. J. 1999, 49(1):21–33. Zbl 0955.34023 10.1023/A:1022495705823

  16. 16.

    Philos ChG: On the existence of nonoscillatory solutions tending to zero at ∞ for differential equations with positive delay. Arch. Math. 1981, 36: 168–178. Zbl 0463.34050 10.1007/BF01223686

Download references

Acknowledgement

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

Author information

Correspondence to Jozef Džurina.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors have made the same contribution. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Keywords

  • third-order functional differential equations
  • comparison theorem
  • oscillation