- Research
- Open Access
- Published:

# Properties of third-order nonlinear differential equations

*Advances in Difference Equations*
**volume 2012**, Article number: 103 (2012)

## Abstract

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

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,p\in C([{t}_{0},\mathrm{\infty}))$, $\tau \in {C}^{1}([{t}_{0},\mathrm{\infty}))$ and

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

(H2) $r(t)>0$, $p(t)>0$, ${\tau}^{\prime}(t)>0$, ${lim}_{t\to \mathrm{\infty}}\tau (t)=\mathrm{\infty}$.

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

By a solution of Equation (*E*) we mean a function $x(t)\in {C}^{1}([{T}_{x},\mathrm{\infty}))$, ${T}_{x}\ge {t}_{0}$, which has the property $r(t){({x}^{\prime}(t))}^{\gamma}\in {C}^{2}([{T}_{x},\mathrm{\infty}))$ and satisfies Equation (*E*) on $[{T}_{x},\mathrm{\infty})$. We consider only those solutions $x(t)$ of (*E*) which satisfy $sup\{|x(t)|:t\ge T\}>0$ for all $T\ge {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},\mathrm{\infty})$ 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. Properties of (*E*) have been usually studied under condition $\beta =\gamma $ or $\beta <\gamma $. In this article we establish results, where $\beta \ge \gamma $. 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*:

*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

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*$\tau (t)\ge t$. *Assume that*$x(t)$*satisfies* (${C}_{2}$). *Then for any*$k\in (0,1)$

*eventually*.

*Proof* Assume that $x(t)>0$. The monotonicity of $w(t)=r(t){[{x}^{\prime}(t)]}^{\gamma}$ implies that

That is,

On the other hand, since $x(t)\to \mathrm{\infty}$ as $t\to \mathrm{\infty}$, then for any $k\in (0,1)$ there exists a ${t}_{1}$ large enough, such that

or equivalently,

Using (2.4) in (2.3), we get

This completes the proof. □

Let us denote

**Theorem 2.1** *Let*$\tau (t)\ge t$. *If for some*$c\in (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\ge {t}_{0}$. Setting (2.2) into (*E*), we obtain

On the other hand, it follows from the monotonicity of $y(t)={[r(t){[{x}^{\prime}(t)]}^{\gamma}]}^{\prime}$, that

eventually, where ${c}_{1}\in (0,1)$ is an arbitrary chosen constant. Evaluating ${x}^{\prime}(t)$ and then integrating from ${t}_{1}$ ($\ge {t}_{0}$) to *t*, we are lead to

Setting to (2.6), we have

Integrating from *t* to ∞, one gets

where $c={c}_{1}{k}^{\beta}$. Let us denote the right hand side of (2.9) by $z(t)$. Then $y(t)\ge z(t)>0$ and $z(t)$ satisfies (${P}_{1}$) and moreover,

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

**Theorem 2.2** *Let*$\tau (t)\le t$. *If for some*$c\in (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

Using (2.8), one can see that $y(t)={[r(t){[{x}^{\prime}(t)]}^{\gamma}]}^{\prime}$ satisfies

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

**Theorem 2.3** *Assume that*$\delta >\alpha $. *If for all*$k>0$

*then* (${E}^{\ast}$) *has not any solution satisfying*

*Proof* Let $z(t)$ be a positive solution of (${E}^{\ast}$), such that (${P}^{\ast}$) holds. We define

Then $w(t)<0$ and, moreover,

On the other hand, noting that $-{(a(t){({z}^{\prime}(t))}^{\alpha})}^{1/\alpha}$ is positive and increasing, we see that there exists a constant ${k}_{1}>0$ such that $-{(a(t){({z}^{\prime}(t))}^{\alpha})}^{1/\alpha}\ge {k}_{1}$ and

or equivalently

where ${k}_{2}={k}_{1}^{-1+\delta /\alpha}$. Setting (2.15) into (2.13), one gets

It is useful to notice that (2.14) implies

which together with (2.15) implies

Multiplying (2.16) by ${\varrho}^{\delta}(t)$ and then integrating from ${t}_{1}$ to *t*, we are lead to

which in view of (2.17) yields

An elementary calculation shows that for the function $f(u)=u+A{u}^{1+1/\alpha}$, $u<0$ the following estimate holds

Consequently,

Therefore,

with $k={k}_{2}^{\alpha}$. Taking ${lim\hspace{0.17em}sup}_{t\to \mathrm{\infty}}$ 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*$\delta >\alpha $. *If*

*then* (${E}^{\ast}$) *has not any solution satisfying* (${P}^{\ast}$).

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

eventually. That is

Integrating the above inequality from ${t}_{1}$ to *t*, one gets

Letting $t\to \mathrm{\infty}$, 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*$\beta >\gamma $, $\tau (t)\ge t$. *If*

*then* (*E*) *has property* (*A*).

*Proof* We set $\alpha =1/\beta $, $\delta =1/\gamma $, $a(t)={p}_{1}^{-1/\beta}(t)$, and $b(t)=c\frac{{t}^{1/\gamma}}{{r}^{1/\gamma}(t)}$. Then $\varrho (t)={\int}_{t}^{\mathrm{\infty}}{p}_{1}(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s$. 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*$\beta >\gamma $, $\tau (t)\le t$. *If*

*then* (*E*) *has property* (*A*).

*Proof* We set $\alpha =1/\beta $, $\delta =1/\gamma $, $a(t)={p}_{2}^{-1/\beta}(t)$, and $b(t)=c\frac{{t}^{1/\gamma}}{{r}^{1/\gamma}(t)}$. Then $\varrho (t)={\int}_{{\tau}^{-1}(t)}^{\mathrm{\infty}}p(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s$. 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 $\tau (t)\equiv t$ both conditions (2.19) and (2.20) simplifies to the same condition

for property (A) of (*E*).

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

*then every nonoscillatory solution of* (*E*) *tends to zero as*$t\to \mathrm{\infty}$.

*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\to \mathrm{\infty}$. □

**Example 2.1** Consider the third order nonlinear differential equation where $a>0$ and $\lambda >0$. Since both conditions (2.19) and (2.20) hold, Theorems 2.4 and 2.5 imply that (${E}_{x1}$) enjoys property (A) and, moreover, Corollary 2.2 guarantees that every nonoscillatory solution of (${E}_{x1}$) tends to zero as $t\to \mathrm{\infty}$. For $a=30{\lambda}^{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.
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.
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.
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.
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.
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.
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.
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.
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.
Džurina J: Asymptotic properties of third order delay differential equations.

*Czechoslov. Math. J.*1995, 45: 443–448. Zbl 0842.34073 - 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.
Erbe LH, Kong Q, Zhang BG:

*Oscillation Theory for Functional Differential Equations*. Marcel Dekker, New York; 1994. Zbl 0821.34067 - 12.
Györi I, Ladas G:

*Oscillation Theory of Delay with Applications*. Clarendon Press, Oxford; 1991. Zbl 0780.34048 - 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.
Ladde GS, Lakshmikantham V, Zhang BG:

*Oscillation Theory of Differential Equations with Deviating Arguments*. Marcel Dekker, New York; 1987. Zbl 0832.34071 - 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.
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

## Acknowledgement

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

## Author information

## 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.

## About this article

#### Received

#### Accepted

#### Published

#### DOI

### Keywords

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