- Research
- Open Access

# Properties of higher-order half-linear functional differential equations with noncanonical operators

- Chenghui Zhang
^{1}Email author, - Ravi P Agarwal
^{2}, - Martin Bohner
^{3}and - Tongxing Li
^{1}

**2013**:54

https://doi.org/10.1186/1687-1847-2013-54

© Zhang et al.; licensee Springer 2013

**Received: **4 December 2012

**Accepted: **7 February 2013

**Published: **12 March 2013

## Abstract

Some new results are presented for the oscillatory and asymptotic behavior of higher-order half-linear differential equations with a noncanonical operator. We study the delayed and advanced equations subject to various conditions.

**MSC:**34C10, 34K11.

## Keywords

- asymptotic behavior
- oscillation
- functional differential equation
- higher-order

## 1 Introduction

*p*-Laplace equations, non-Newtonian fluid theory, and the turbulent flow of a polytrophic gas in a porous medium; see the related background details reported in [5]. Many authors have studied the properties of solutions of the higher-order differential equation

The operator *Lx* is said to be in canonical form if ${\int}_{{t}_{0}}^{\mathrm{\infty}}{r}^{-1/\alpha}(t)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t=\mathrm{\infty}$; otherwise, it is called noncanonical. Throughout the paper, we assume that *α* and *β* are ratios of odd positive integers, $r\in {\mathrm{C}}^{1}[{t}_{0},\mathrm{\infty})$, $r(t)>0$, ${r}^{\prime}(t)\ge 0$, $q,\tau \in \mathrm{C}[{t}_{0},\mathrm{\infty})$, $q(t)>0$, and ${lim}_{t\to \mathrm{\infty}}\tau (t)=\mathrm{\infty}$.

*et al.*[6] established a criterion for the existence of bounded solutions of (1.1) under the assumptions that

*n*is even, ${\int}_{{t}_{0}}^{\mathrm{\infty}}q(t)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t=\mathrm{\infty}$, and

*et al.*[34, 36] obtained some results on asymptotic behavior of (1.1) in the case where (1.2) holds, $\tau (t)<t$, and $\beta \le \alpha $. In [34, 36], an unsolved problem can be formulated as follows.

- (P)
Is it possible to establish asymptotic criteria for equation (1.1) in the case where $\beta \ge \alpha $?

Li *et al.* [24] established the following criterion for (1.3).

**Theorem 1.1** (See [[24], Theorem 2.1])

*Let*(1.2)

*hold with*$\alpha =1$, $\beta \ge 1$, $\tau (t)\le t$,

*and*${\tau}^{\prime}(t)>0$

*for all*$t\ge {t}_{0}$.

*Assume that there exists a function*$\rho \in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),\mathbb{R})$

*with*$\rho (t)\ge t$

*and*${\rho}^{\prime}(t)>0$

*such that*,

*for all sufficiently large*${t}_{1}$

*and for all positive constants*

*M*

*and*

*L*,

*and*

*where* $R(t):={\int}_{{t}_{0}}^{t}{r}^{-1}(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s$ *and* $\xi (t):={\int}_{\rho (t)}^{\mathrm{\infty}}{r}^{-1}(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s$. *Then* (1.3) *is oscillatory*.

The purpose of this paper is to solve question (P) and to improve Theorem 1.1. By a solution of equation (1.1) we mean a function $x\in {\mathrm{C}}^{n-1}[{T}_{x},\mathrm{\infty})$, ${T}_{x}\ge {t}_{0}$, which has the property $r{({x}^{(n-1)})}^{\alpha}\in {\mathrm{C}}^{1}[{T}_{x},\mathrm{\infty})$ and satisfies (1.1) on $[{T}_{x},\mathrm{\infty})$. We consider only the solutions satisfying $sup\{|x(t)|:t\ge T\}>0$ for all $T\ge {T}_{x}$ and tacitly assume that (1.1) possesses such solutions. A solution of (1.1) is called oscillatory if it has arbitrarily large zeros on $[{T}_{x},\mathrm{\infty})$; otherwise, it is called nonoscillatory. Equation (1.1) is said to be oscillatory if all its solutions are oscillatory.

## 2 Main results

In the sequel, all functional inequalities are assumed to hold eventually, that is, they are satisfied for all *t* large enough. We use the notation $\delta (t):={\int}_{t}^{\mathrm{\infty}}{r}^{-1/\alpha}(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s$ and ${({\rho}^{\prime}(t))}_{+}:=max\{0,{\rho}^{\prime}(t)\}$.

**Theorem 2.1**

*Assume*(1.2)

*and let*$n\ge 2$, $\beta \ge \alpha $,

*and*$\tau (t)<t$

*for all*$t\ge {t}_{0}$.

*Further*,

*assume that the differential equation*

*holds for some constant* ${\lambda}_{1}\in (0,1)$ *and for all constants* $M>0$, *then every solution of* (1.1) *is oscillatory or tends to zero as* $t\to \mathrm{\infty}$.

*Proof*Assume that (1.1) has a nonoscillatory solution

*x*. Without loss of generality, we may assume that

*x*is eventually positive. Moreover, suppose that ${lim}_{t\to \mathrm{\infty}}x(t)\ne 0$. It follows from (1.1) that there exist two possible cases:

- (1)
$x(t)>0$, ${x}^{(n-1)}(t)>0$, ${x}^{(n)}(t)<0$, ${(r{({x}^{(n-1)})}^{\alpha})}^{\mathrm{\prime}}(t)<0$;

- (2)
$x(t)>0$, ${x}^{(n-2)}(t)>0$, ${x}^{(n-1)}(t)<0$, ${(r{({x}^{(n-1)})}^{\alpha})}^{\mathrm{\prime}}(t)<0$

for $t\ge {t}_{1}$, where ${t}_{1}\ge {t}_{0}$ is large enough.

*t*. Hence by (1.1), we see that $y:=r{({x}^{(n-1)})}^{\alpha}$ is a positive solution of the differential inequality

Using [[28], Theorem 1], we see that equation (2.1) also has a positive solution, which is a contradiction.

*w*by

*t*to

*l*, we obtain

*t*. Then from (2.7), (2.8), and (2.9), there exists a constant $M>0$ such that

*t*, we have

which contradicts (2.2). This completes the proof. □

Applying the result of [30] to equation (2.1), we have the following result due to Theorem 2.1.

**Corollary 2.2**

*Assume*(1.2)

*and let*$n\ge 2$, $\beta >\alpha $, $\tau (t)<t$,

*and*${\tau}^{\prime}(t)>0$

*for all*$t\ge {t}_{0}$.

*Moreover*,

*assume that there exists a continuously differentiable function*

*φ*

*such that*

*and*

*If* (2.2) *holds for some constant* ${\lambda}_{1}\in (0,1)$ *and for all constants* $M>0$, *then every solution of* (1.1) *is oscillatory or tends to zero as* $t\to \mathrm{\infty}$.

In the following, we establish some results for (1.1) when $n\ge 2$ is even.

**Theorem 2.3**

*Assume*(1.2)

*and let*$n\ge 2$

*be even*, $\beta \ge \alpha $, ${\tau}^{\prime}(t)>0$,

*and*$\tau (t)\le t$

*for all*$t\ge {t}_{0}$.

*Further*,

*assume that there exists a function*$\rho \in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty}))$

*such that*

*holds for all constants* ${\theta}_{1}\in (0,1)$ *and* $K>0$. *If* (2.2) *holds for some constant* ${\lambda}_{1}\in (0,1)$ *and for all constants* $M>0$, *then every solution of* (1.1) *is oscillatory or tends to zero as* $t\to \mathrm{\infty}$.

*Proof* Assume that (1.1) has a nonoscillatory solution *x*. Without loss of generality, we may assume that *x* is eventually positive. Moreover, suppose that ${lim}_{t\to \mathrm{\infty}}x(t)\ne 0$. It follows from (1.1) that there exist two possible cases (1) and (2) (as those of the proof of Theorem 2.1).

*u*by

*t*, we have

which contradicts (2.15). Assume that case (2) holds. Proceeding as in the proof of Theorem 2.1, we can obtain a contradiction to (2.2). This completes the proof. □

Next we establish a result for (1.1) when $n=2$.

**Theorem 2.4**

*Assume*(1.2)

*and let*$n=2$, $\beta \ge \alpha $, ${\tau}^{\prime}(t)>0$,

*and*$\tau (t)\le t$

*for*$t\ge {t}_{0}$.

*Further*,

*assume that there exists a function*$\rho \in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty}))$

*such that*

*for all constants*$K>0$.

*If*

*holds for all constants* $M>0$, *then* (1.1) *is oscillatory*.

*Proof*Assume that (1.1) has a nonoscillatory solution

*x*. Without loss of generality, we may assume that

*x*is eventually positive. It follows from (1.1) that there exist two possible cases (1) and (2) with $n=2$ (as those of the proof of Theorem 2.1). Assume that case (1) holds. Define

The rest of the proof is similar to that of Theorem 2.3, and so is omitted. Assume that case (2) holds. Similar as in the proof of Theorem 2.1, we can obtain a contradiction to (2.23). This completes the proof. □

Next we establish some oscillation criteria for (1.1) when $n\ge 2$ is even and $\tau (t)>t$ for all $t\ge {t}_{0}$.

**Theorem 2.5**

*Assume*(1.2)

*and let*$n\ge 2$

*be even*, $\beta >\alpha $,

*and*$\tau (t)>t$

*for all*$t\ge {t}_{0}$.

*Further*,

*assume that there exists a function*$\rho \in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty}))$

*such that*

*holds for all constants*${\theta}_{1}\in (0,1)$

*and*$K>0$.

*If*

*then every solution of* (1.1) *is oscillatory or tends to zero as* $t\to \mathrm{\infty}$.

*Proof* Assume that (1.1) has a nonoscillatory solution *x*. Without loss of generality, we may assume that *x* is eventually positive. Moreover, suppose that ${lim}_{t\to \mathrm{\infty}}x(t)\ne 0$. It follows from (1.1) that there exist two possible cases (1) and (2) (as those of the proof of Theorem 2.1).

*u*by

*t*. Thus, we get by (1.1), (2.5), and (2.9) that

has an eventually positive solution. Using condition (2.25) and [[22], Theorem 1], one can obtain a contradiction. This completes the proof. □

Finally, we establish a result for (1.1) when $n=2$.

**Theorem 2.6**

*Assume*(1.2)

*and let*$n=2$, $\beta >\alpha $,

*and*$\tau (t)>t$

*for*$t\ge {t}_{0}$.

*Further*,

*assume that there exists a function*$\rho \in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty}))$

*such that*

*for all constants*$K>0$.

*If*

*then* (1.1) *is oscillatory*.

*Proof*Assume that (1.1) has a nonoscillatory solution

*x*. Without loss of generality, we may assume that

*x*is eventually positive. It follows from (1.1) that there exist two possible cases (1) and (2) with $n=2$ (as those of the proof of Theorem 2.1). Assume that case (1) holds. Define

The rest of the proof is similar to that of Theorem 2.3, and so is omitted. Assume that case (2) holds. Similar as in the proof of Theorem 2.5, we can obtain a contradiction to (2.27). This completes the proof. □

## 3 Examples and discussions

In the following, we illustrate possible applications with two examples.

**Example 3.1**For $t\ge 1$, consider the second-order delay differential equation

Let $\alpha =1$, $\beta =3$, and $\rho (t)=1$. Note that $\delta (t)={\mathrm{e}}^{-t}$. Using Theorem 2.4, equation (3.1) is oscillatory. It is not difficult to see that Theorem 1.1 fails to apply due to condition (1.4).

**Example 3.2**For $t\ge 1$, consider the second-order advanced differential equation

Let $\alpha =1$, $\beta =3$, and $\rho (t)=1$. Note that $\delta (t)={\mathrm{e}}^{-t}$. Using Theorem 2.6, equation (3.2) is oscillatory.

In this paper, we suggested some new results on the oscillation and asymptotic behavior of differential equation (1.1). Theorem 2.1 can be applied in the odd-order and even-order equations.

We stress that the study of equation (1.1) in the case (1.2) brings additional difficulties. Since the sign of ${x}^{(n-1)}$ is not known, our criteria include a pair of assumptions; see, *e.g.*, (2.2) and (2.15). We utilized two different methods (Riccati substitution and comparison method) to deal with the cases $\tau (t)\le t$ and $\tau (t)>t$.

## Declarations

### Acknowledgements

This research is supported by NNSF of P.R. China (Grant Nos. 61034007, 51277116, 50977054).

## Authors’ Affiliations

## References

- Agarwal RP, Bohner M, Li W Monographs and Textbooks in Pure and Applied Mathematics 267. In
*Nonoscillation and Oscillation: Theory for Functional Differential Equations*. Marcel Dekker, New York; 2004.View ArticleGoogle Scholar - Agarwal RP, Grace SR: Oscillation of certain functional differential equations.
*Comput. Math. Appl.*1999, 38: 143-153.MathSciNetView ArticleGoogle Scholar - Agarwal RP, Grace SR, O’Regan D:
*Oscillation Theory for Difference and Functional Differential Equations*. Kluwer Academic, Dordrecht; 2000.View ArticleGoogle Scholar - Agarwal RP, Grace SR, O’Regan D: Oscillation criteria for certain
*n*th order differential equations with deviating arguments.*J. Math. Anal. Appl.*2001, 262: 601-622. 10.1006/jmaa.2001.7571MathSciNetView ArticleGoogle Scholar - Agarwal RP, Grace SR, O’Regan D:
*Oscillation Theory for Second Order Linear, Half-Linear, Superlinear and Sublinear Dynamic Equations*. Kluwer Academic, Dordrecht; 2002.View ArticleGoogle Scholar - Agarwal RP, Grace SR, O’Regan D: The oscillation of certain higher-order functional differential equations.
*Math. Comput. Model.*2003, 37: 705-728. 10.1016/S0895-7177(03)00079-7MathSciNetView ArticleGoogle Scholar - Agarwal RP, Shieh S-L, Yeh C-C: Oscillation criteria for second-order retarded differential equations.
*Math. Comput. Model.*1997, 26: 1-11.MathSciNetView ArticleGoogle Scholar - Baculíková B: Properties of third-order nonlinear functional differential equations with mixed arguments.
*Abstr. Appl. Anal.*2011, 2011: 1-15.View ArticleGoogle Scholar - Baculíková B, Džurina J: Oscillation of third-order nonlinear differential equations.
*Appl. Math. Lett.*2011, 24: 466-470. 10.1016/j.aml.2010.10.043MathSciNetView ArticleGoogle Scholar - Baculíková B, Džurina J: Oscillation of third-order functional differential equations.
*Electron. J. Qual. Theory Differ. Equ.*2010, 43: 1-10.View ArticleGoogle Scholar - Baculíková B, Džurina J, Graef JR: On the oscillation of higher order delay differential equations.
*Nonlinear Oscil.*2012, 15: 13-24.Google Scholar - Dahiya RS: Oscillation criteria of even-order nonlinear delay differential equations.
*J. Math. Anal. Appl.*1976, 54: 653-665. 10.1016/0022-247X(76)90184-0MathSciNetView ArticleGoogle Scholar - Džurina J, Baculíková B: Oscillation and asymptotic behavior of higher-order nonlinear differential equations.
*Int. J. Math. Math. Sci.*2012, 2012: 1-9.View ArticleGoogle Scholar - Džurina J, Stavroulakis IP: Oscillation criteria for second order delay differential equations.
*Appl. Math. Comput.*2003, 140: 445-453. 10.1016/S0096-3003(02)00243-6MathSciNetView ArticleGoogle Scholar - Erbe L, Kong Q, Zhang B:
*Oscillation Theory for Functional Differential Equations*. Marcel Dekker, New York; 1995.Google Scholar - Grace SR: Oscillation theorems for
*n*th-order differential equations with deviating arguments.*J. Math. Anal. Appl.*1984, 101: 268-296. 10.1016/0022-247X(84)90066-0MathSciNetView ArticleGoogle Scholar - Grace SR: Oscillation theorems for certain functional differential equations.
*J. Math. Anal. Appl.*1994, 184: 100-111. 10.1006/jmaa.1994.1187MathSciNetView ArticleGoogle Scholar - 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. 10.1016/j.amc.2008.01.025MathSciNetView ArticleGoogle Scholar - Grace SR, Lalli BS: Oscillation theorems for
*n*th-order delay differential equations.*J. Math. Anal. Appl.*1983, 91: 352-366. 10.1016/0022-247X(83)90157-9MathSciNetView ArticleGoogle Scholar - Grace SR, Lalli BS: Oscillation of even order differential equations with deviating arguments.
*J. Math. Anal. Appl.*1990, 147: 569-579. 10.1016/0022-247X(90)90371-LMathSciNetView ArticleGoogle Scholar - Kartsatos AG: On oscillation of solutions of even order nonlinear differential equations.
*J. Differ. Equ.*1969, 6: 232-237. 10.1016/0022-0396(69)90014-XMathSciNetView ArticleGoogle Scholar - Kitamura Y, Kusano T: Oscillation of first-order nonlinear differential equations with deviating arguments.
*Proc. Am. Math. Soc.*1980, 78: 64-68. 10.1090/S0002-9939-1980-0548086-5MathSciNetView ArticleGoogle Scholar - Ladde GS, Lakshmikantham V, Zhang BG:
*Oscillation Theory of Differential Equations with Deviating Arguments*. Marcel Dekker, New York; 1987.Google Scholar - Li T, Han Z, Zhang C, Sun S: On the oscillation of second-order Emden-Fowler neutral differential equations.
*J. Appl. Math. Comput.*2011, 37: 601-610. 10.1007/s12190-010-0453-0MathSciNetView ArticleGoogle Scholar - Li T, Thandapani E: Oscillation of solutions to odd-order nonlinear neutral functional differential equations.
*Electron. J. Differ. Equ.*2011, 23: 1-12. 10.1007/s10884-010-9200-3Google Scholar - Mahfoud WE: Oscillation and asymptotic behavior of solutions of
*n*th order nonlinear delay differential equations.*J. Differ. Equ.*1977, 24: 75-98. 10.1016/0022-0396(77)90171-1MathSciNetView ArticleGoogle Scholar - Philos CG: A new criterion for the oscillatory and asymptotic behavior of delay differential equations.
*Bull. Acad. Pol. Sci., Sér. Sci. Math.*1981, 39: 61-64.Google Scholar - Philos CG: On the existence of nonoscillatory solutions tending to zero at ∞ for differential equations with positive delays.
*Arch. Math.*1981, 36: 168-178. 10.1007/BF01223686MathSciNetView ArticleGoogle Scholar - Rogovchenko YV, Tuncay F: Oscillation theorems for a class of second order nonlinear differential equations with damping.
*Taiwan. J. Math.*2009, 13: 1909-1928.MathSciNetGoogle Scholar - Tang X: Oscillation for first order superlinear delay differential equations.
*J. Lond. Math. Soc.*2002, 65: 115-122. 10.1112/S0024610701002678View ArticleGoogle Scholar - Xu Z, Xia Y: Integral averaging technique and oscillation of certain even order delay differential equations.
*J. Math. Anal. Appl.*2004, 292: 238-246. 10.1016/j.jmaa.2003.11.054MathSciNetView ArticleGoogle Scholar - Yildiz MK, Öcalan Ö: Oscillation results of higher order nonlinear neutral delay differential equations.
*Selçuk J. Appl. Math.*2010, 11: 55-62.Google Scholar - Zhang B: Oscillation of even order delay differential equations.
*J. Math. Anal. Appl.*1987, 127: 140-150. 10.1016/0022-247X(87)90146-6MathSciNetView ArticleGoogle Scholar - Zhang C, Agarwal RP, Bohner M, Li T: New results for oscillatory behavior of even-order half-linear delay differential equations.
*Appl. Math. Lett.*2013, 26: 179-183. 10.1016/j.aml.2012.08.004MathSciNetView ArticleGoogle Scholar - Zhang C, Agarwal RP, Bohner M, Li T: Oscillation of third-order nonlinear delay differential equations.
*Taiwan. J. Math.*2013, 17(2):545-558.MathSciNetGoogle Scholar - Zhang C, Li T, Sun Bo, Thandapani E: On the oscillation of higher-order half-linear delay differential equations.
*Appl. Math. Lett.*2011, 24: 1618-1621. 10.1016/j.aml.2011.04.015MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.