Oscillation and asymptotic behavior of third-order neutral differential equations with distributed deviating arguments

Yazhou Tian; Yuanli Cai; Youliang Fu; Tongxing Li

doi:10.1186/s13662-015-0604-6

Research

Open Access

Oscillation and asymptotic behavior of third-order neutral differential equations with distributed deviating arguments

Yazhou Tian^{1, 2}Email author,
Yuanli Cai¹,
Youliang Fu² and
Tongxing Li²

Advances in Difference Equations20152015:267

https://doi.org/10.1186/s13662-015-0604-6

Received: 23 February 2015

Accepted: 11 August 2015

Published: 28 August 2015

Abstract

By employing a generalized Riccati transformation and integral averaging technique, two Philos-type criteria are obtained which ensure that every solution of a class of third-order neutral differential equations with distributed deviating arguments is either oscillatory or converges to zero. These results extend and improve related criteria reported in the literature. Two illustrative examples are provided.

Keywords

oscillationasymptotic behaviorthird-order neutral differential equationdistributed deviating argumentgeneralized Riccati transformation

MSC

34K11

1 Introduction

Differential equations with distributed deviating arguments are often used for modeling various problems arising in the engineering and natural sciences. Therefore, analysis of qualitative properties of solutions to such equations is crucial for applications; see Wang [1]. On the basis of these background details, we investigate the oscillation and asymptotic behavior of a third-order neutral differential equation with distributed deviating arguments

$$\begin{aligned}& \biggl[r(t) \biggl( \biggl[x(t)+\int_{a}^{b}p(t, \xi)x\bigl(\tau(t,\xi)\bigr)\,d\xi \biggr]'' \biggr)^{\alpha} \biggr]' +\int^{d}_{c}q(t, \xi)f\bigl(x\bigl(\sigma(t,\xi)\bigr)\bigr)\,d\xi=0, \\& \quad t \geq t_{0}, \end{aligned}$$

(1.1)

where $\alpha\geq1$ is the ratio of odd positive integers. Throughout, we suppose that the following assumptions hold.

$(\mathrm{A}_{1})$ :: $r(t)\in C^{1}([t_{0},\infty),(0,\infty))$, $r'(t)\geq 0$, $\int_{t_{0}}^{\infty}r^{-1/\alpha}(s)\,ds=\infty$;

$(\mathrm{A}_{2})$ :: $p(t,\xi)\in C([t_{0},\infty)\times[a,b],[0,\infty))$, $0\leq\int_{a}^{b}p(t,\xi)\,d\xi\leq P<1$;

$(\mathrm{A}_{3})$ :: $\tau(t,\xi)\in C([t_{0},\infty)\times[a,b],R)$ is a nondecreasing function for ξ satisfying $\tau(t,\xi)\leq t$ and $\liminf_{t\rightarrow\infty}\tau(t,\xi)=\infty$ for $\xi\in[a,b]$;

$(\mathrm{A}_{4})$ :: $q(t,\xi)\in C([t_{0},\infty)\times[c,d],[0,\infty))$;

$(\mathrm{A}_{5})$ :: $\sigma(t,\xi)\in C([t_{0},\infty)\times[c,d],R)$ is a nondecreasing function for ξ satisfying $\sigma(t,\xi)\leq t$ and $\liminf_{t\rightarrow\infty}\sigma(t,\xi)=\infty$ for $\xi\in[c,d]$;

$(\mathrm{A}_{6})$ :: $f(x)\in C(R, R)$ and there exists a positive constant K such that $f(x)/x^{\alpha}\geq K$ for all $x\neq0$.

Define a new function $z(t)$ by

$$z(t)=x(t)+\int_{a}^{b}p(t,\xi)x\bigl(\tau(t,\xi) \bigr)\,d\xi. $$

By a solution of (1.1) we mean a nontrivial function $x(t)\in C([T_{x}, \infty), R)$, $T_{x}\geq t_{0}$, which has the properties $z(t)\in C^{2}([T_{x}, \infty), R)$ and $r(t)(z''(t))^{\alpha}\in C^{1}([T_{x}, \infty), R)$ for $T_{x}\geq t_{0}$. Our attention is restricted to those solutions of (1.1) which satisfy $\sup\{ |x(t)|:t\geq T\}>0$ for any $T\geq T_{x}$. A solution $x(t)$ of (1.1) is said to be oscillatory on $[T_{x}, \infty)$ if it is neither eventually positive nor eventually negative. Otherwise it is called nonoscillatory. Equation (1.1) is called oscillatory if all its solutions are oscillatory.

Recently, there has been much research activity concerning the oscillation and asymptotic properties of various classes of differential equations; see, e.g., [1–21] and the references cited therein. So far, there are few results dealing with the asymptotic behavior of third-order neutral differential equations with distributed deviating arguments, we refer the reader to [17, 19]. The third-order neutral differential equation

$$\bigl[r(t) \bigl( \bigl[x(t)+p(t)x\bigl(\tau(t)\bigr) \bigr]'' \bigr)^{\alpha } \bigr]'+q(t)f\bigl(x\bigl(\sigma(t)\bigr) \bigr)=0 $$

and its special cases have been studied by Baculíková and Džurina [5, 6], Candan [7], Grace et al. [9], Jiang and Li [10], and Li et al. [14]. Using Riccati transformation, Zhang et al. [19] considered a class of third-order neutral differential equations

$$ \biggl[r(t) \biggl(x(t)+\int_{a}^{b}p(t,\xi)x \bigl(\tau(t,\xi)\bigr)\,d\xi \biggr)'' \biggr]'+\int^{d}_{c}q(t,\xi)f\bigl(x \bigl(\sigma(t,\xi)\bigr)\bigr)\,d\xi=0, $$

(1.2)

and they obtained several Philos-type (see [15]) criteria for (1.2), whereas Şenel and Utku [17] studied (1.1).

In the study of oscillation of differential equations, there are two techniques which are used to reduce the higher-order equations to the first-order Riccati equations (or inequalities). One of them is the Riccati transformation technique which has been recently extended to dynamic equations on time scales; see, e.g., Şenel and Utku [17]. The other one is termed the generalized Riccati transformation technique; we refer the reader to Li [11], Li et al. [12], Li and Saker [13], and the related references cited therein. In particular, Li [11] used the generalized Riccati substitution and established several oscillation criteria for a second-order ordinary differential equation

$$\bigl(r(t)x'(t)\bigr)'+q(t)x(t)=0. $$

Furthermore, he proved that the equation

$$\biggl(\frac{1}{t}x'(t) \biggr)'+ \frac{1}{t^{3}}x(t)=0 $$

is oscillatory and showed that the results established by the Riccati transformation technique cannot be applied.

In the special case when $\alpha=1$, (1.1) reduces to (1.2). Now the following question arises. Could we obtain new Philos-type oscillation criteria for (1.1) by using a generalized Riccati transformation which differs from that of [19]? Motivated by Li [11], Li et al. [12], and Li and Saker [13], our purpose in this paper is to give a positive answer to this question. In Section 2, four lemmas are given to prove the main results. In Section 3, we establish two Philos-type theorems for (1.1). In Section 4, two examples and some conclusions are presented to illustrate the main results. As customary, all functional inequalities considered in this paper are supposed to hold for all t large enough.

2 Some lemmas

Lemma 2.1

Suppose that conditions (A₁)-(A₆) are satisfied and let $x(t)$ be a positive solution of (1.1). Then $z(t)$ has only one of the following two properties:

(I)

$z(t)>0$, $z'(t)>0$, $z''(t)>0$, $z'''(t)\leq0$;
(II)

$z(t)>0$, $z'(t)<0$, $z''(t)>0$, $z'''(t)\leq0$,

for $t\geq t_{1}$, where $t_{1}\geq t_{0}$ is sufficiently large.

Proof

Assume that $x(t)$ is a positive solution of (1.1). Then there exists a $t_{1}\geq t_{0}$ such that, for $t\geq t_{1}$,

$$x(t)>0, \quad\quad x\bigl(\tau(t,\xi)\bigr)>0, \quad \xi\in[a,b], \quad \text{and}\quad x\bigl(\sigma(t,\xi)\bigr)>0,\quad \xi\in[c,d]. $$

From (1.1) and the definition of $z(t)$, we have $z(t)>0$ and

$$\bigl[r(t) \bigl(z''(t) \bigr)^{\alpha} \bigr]'=-\int^{d}_{c}q(t,\xi )f\bigl(x \bigl(\sigma(t,\xi)\bigr)\bigr)\,d\xi\leq0. $$

Thus $r(t)(z''(t))^{\alpha}$ is nonincreasing and of one sign. Therefore, $z''(t)$ is also of one sign and so we have two possibilities: $z''(t)<0$ or $z''(t)>0$ for $t\geq t_{2}\geq t_{1}$. We assert that $z''(t)>0$ for $t\geq t_{2}$. Otherwise, there exists a constant $M>0$ such that, for $t\geq t_{2}$,

$$z''(t)\leq-M^{\frac{1}{\alpha}}\frac{1}{r^{\frac{1}{\alpha}}(t)}< 0. $$

Integrating this inequality from $t_{2}$ to t, we obtain

$$z'(t)\leq z'(t_{2})-M^{\frac{1}{\alpha}}\int ^{t}_{t_{2}}\frac {1}{r^{\frac{1}{\alpha}}(s)}\,ds. $$

Letting $t\rightarrow\infty$ and using (A₁), we get $\lim_{t\rightarrow\infty}z'(t)=-\infty$. Thus $z'(t)<0$ eventually. But conditions $z''(t)<0$ and $z'(t)<0$ imply that $z(t)<0$, which contradicts our assumption $z(t)>0$. Hence, $z''(t)>0$ for $t\geq t_{2}$. Furthermore, we have, for $t\geq t_{2}$,

$$\bigl[r(t) \bigl(z''(t) \bigr)^{\alpha} \bigr]'=r'(t) \bigl(z''(t) \bigr)^{\alpha}+\alpha r(t) \bigl(z''(t) \bigr)^{\alpha-1}z'''(t)\leq0. $$

This yields $z'''(t)\leq0$ for $t\geq t_{2}$ due to condition (A₁). Therefore, $z(t)$ has only one of the two properties (I) and (II). This completes the proof. □

Lemma 2.2

Let $x(t)$ be a positive solution of (1.1) and assume that corresponding $z(t)$ has the property (II). If

$$ \int^{\infty}_{t_{0}}\int^{\infty}_{v} \biggl[\frac{1}{r(u)}\int^{\infty }_{u}\int ^{d}_{c}q(s,\xi)\,d\xi \,ds \biggr]^{\frac{1}{\alpha}}\,du\,dv= \infty , $$

(2.1)

then $\lim_{t\rightarrow\infty}x(t)=0$.

Proof

Let $x(t)$ be a positive solution of (1.1). Since $z(t)$ has the property (II), there exists a finite constant $l\geq0$ such that $\lim_{t\rightarrow\infty}z(t)=l\geq0$. We prove that $l=0$. Assume now that $l>0$. Then we have $l+\varepsilon>z(t)>l$ for all $\varepsilon>0$. Choose $0<\varepsilon<l(1-P)/P$. It is easy to verify that

$$\begin{aligned} x(t) =&z(t)-\int_{a}^{b}p(t,\xi)x\bigl(\tau(t,\xi) \bigr)\,d\xi \\ \geq& l-\int_{a}^{b}p(t,\xi)z\bigl(\tau(t,\xi) \bigr)\,d\xi\geq l-z\bigl(\tau(t,a)\bigr)\int_{a}^{b}p(t, \xi)\,d\xi \\ \geq& l-P(l+\varepsilon)=N(l+\varepsilon)>Nz(t), \end{aligned}$$

(2.2)

where $N=(l-P(l+\varepsilon))/(l+\varepsilon)>0$. Using (A₆) and (2.2), we conclude that

$$\bigl[r(t) \bigl(z''(t) \bigr)^{\alpha} \bigr]'\leq-KN^{\alpha}\int^{d}_{c}q(t, \xi)z^{\alpha}\bigl(\sigma(t,\xi)\bigr)\,d\xi. $$

Noting that $z(t)$ has the property (II) and using (A₅), we have

$$ \bigl[r(t) \bigl(z''(t) \bigr)^{\alpha} \bigr]'\leq-KN^{\alpha}z^{\alpha }\bigl(\sigma(t,d)\bigr) \int^{d}_{c}q(t,\xi)\,d\xi= -q_{1}(t)z^{\alpha} \bigl(\sigma _{1}(t)\bigr), $$

(2.3)

where $q_{1}(t)=KN^{\alpha}\int^{d}_{c}q(t,\xi)\,d\xi$ and $\sigma_{1}(t)=\sigma(t,d)$. Integrating inequality (2.3) from t to ∞, we obtain

$$r(t) \bigl(z''(t)\bigr)^{\alpha}\geq\int ^{\infty}_{t}q_{1}(s)z^{\alpha}\bigl( \sigma_{1}(s)\bigr)\,ds. $$

By virtue of $z(\sigma_{1}(t))\geq l$,

$$ z''(t)\geq l \biggl[\frac{1}{r(t)}\int ^{\infty}_{t}q_{1}(s)\,ds \biggr]^{\frac{1}{\alpha}}. $$

(2.4)

Integrating inequality (2.4) from t to ∞, we have

$$-z'(t)\geq l\int^{\infty}_{t} \biggl[ \frac{1}{r(u)}\int^{\infty }_{u}q_{1}(s)\,ds \biggr]^{\frac{1}{\alpha}}\,du. $$

Integrating the latter inequality from $t_{1}$ to ∞, we obtain

$$z(t_{1})\geq l\int^{\infty}_{t_{1}}\int ^{\infty}_{v} \biggl[\frac {1}{r(u)}\int ^{\infty}_{u}q_{1}(s)\,ds \biggr]^{\frac{1}{\alpha}}\,du\,dv, $$

which contradicts (2.1). Hence $l=0$ and $\lim_{t\rightarrow \infty}z(t)=0$. Then it follows from $0\leq x(t)\leq z(t)$ that $\lim_{t\rightarrow\infty}x(t)=0$. The proof is complete. □

Lemma 2.3

([5], Lemma 3)

Assume that $u(t)>0$, $u'(t)>0$, and $u''(t)<0$ for $t\geq t_{0}$. If $\sigma(t)\in C([t_{0},\infty), [0,\infty))$, $\sigma(t)\leq t$, and $\lim_{t\rightarrow\infty}\sigma(t)=\infty$, then, for every $\beta\in(0,1)$, there exists a $T_{\beta}\geq t_{0}$ such that, for $t\geq T_{\beta}$,

$$u\bigl(\sigma(t)\bigr)\geq\beta\frac{\sigma(t)}{t}u(t). $$

Lemma 2.4

Assume that $u(t)>0$, $u'(t)>0$, $u''(t)>0$, and $u'''(t)\leq0$ for $t\geq t_{0}$. Then, for every $\gamma\in(0,1)$, there exists a $T_{\gamma}\geq t_{0}$ such that, for $t\geq T_{\gamma}$,

$$u(t)\geq \frac{1}{2}\gamma t u'(t). $$

Proof

The proof is similar to that of Baculíková and Džurina ([5], Lemma 4), and hence it is omitted. □

3 Main results

Let

$$D=\bigl\{ (t,s)\in R^{2}:t\geq s\geq t_{0}\bigr\} \quad\text{and}\quad D_{0}=\bigl\{ (t,s)\in R^{2}:t>s\geq t_{0}\bigr\} . $$

The function $H(t,s)\in C(D,R)$ is said to belong to the class X (denoted by $H \in X$) if it satisfies

(i)

$H(t,t)=0$, $t\geq t_{0}$, $H(t,s)>0$, $(t,s)\in D_{0}$;
(ii)

$\partial H(t,s)/\partial s\leq0$, there exist $\rho(t)\in C^{1}([t_{0},\infty),(0,\infty))$, $b(t)\in C^{1}([t_{0},\infty),[0,\infty))$, and $h(t,s)\in C(D_{0},R)$ satisfying
$$-\frac{\partial H(t,s)}{\partial s}=H(t,s) \biggl[\frac{\rho'(s)}{\rho(s)}+(\alpha+1)b^{\frac{1}{\alpha }}(s) \biggr]+h(t,s). $$

Theorem 3.1

Assume that conditions (A₁)-(A₆) and (2.1) are satisfied. If there exists a function $H \in X$ such that, for some $\beta\in(0,1)$ and $\gamma\in(0,1)$,

$$ \limsup_{t\rightarrow\infty}\frac{1}{H(t,t_{0})}\int^{t}_{t_{0}} \biggl[H(t,s)\psi(s)-\frac{1}{(\alpha+1)^{\alpha+1}} \frac{\rho(s)r(s)\vert h(t,s)\vert ^{\alpha+1}}{H^{\alpha}(t,s)} \biggr]\,ds=\infty , $$

(3.1)

where $\sigma_{2}(t)=\sigma(t,c)$ and

$$\begin{aligned} \psi(t) =&K(1-P)^{\alpha}\rho(t) \biggl(\frac{1}{2}\beta\gamma \frac{ \sigma^{2}_{2}(t)}{t} \biggr)^{\alpha}\int^{d}_{c}q(t, \xi)\,d\xi \\ &{}+\rho(t) r(t)b^{1+\frac{1}{\alpha}}(t)-\rho(t) \bigl(r(t)b(t) \bigr)', \end{aligned}$$

(3.2)

then every solution $x(t)$ of (1.1) is either oscillatory or satisfies $\lim_{t\rightarrow\infty}x(t)=0$.

Proof

Assume that (1.1) has a nonoscillatory solution $x(t)$. Without loss of generality, we may assume that $x(t)$ is an eventually positive solution of (1.1). By Lemma 2.1, we observe that $z(t)$ satisfies either (I) or (II) for $t\geq t_{1}$. We consider each of two cases separately.

Suppose first that $z(t)$ has the property (I). Then we obtain

$$\begin{aligned} x(t) =&z(t)-\int_{a}^{b}p(t,\xi)x\bigl(\tau(t,\xi) \bigr)\,d\xi \\ \geq& z(t)-\int_{a}^{b}p(t,\xi)z\bigl(\tau(t,\xi) \bigr)\,d\xi\geq z(t)-z\bigl(\tau (t,b)\bigr)\int_{a}^{b}p(t, \xi)\,d\xi \\ \geq& \biggl(1-\int_{a}^{b}p(t,\xi)\,d\xi \biggr)z(t)\geq (1-P)z(t). \end{aligned}$$

(3.3)

Using (A₅), (A₆), and (3.3), we have

$$\begin{aligned} \bigl[r(t) \bigl(z''(t) \bigr)^{\alpha} \bigr]' \leq&-K\int^{d}_{c}q(t, \xi)x^{\alpha}\bigl(\sigma(t,\xi)\bigr)\,d\xi \\ \leq&-K(1-P)^{\alpha}\int^{d}_{c}q(t, \xi)z^{\alpha}\bigl(\sigma(t,\xi)\bigr)\,d\xi \\ \leq&-K(1-P)^{\alpha}z^{\alpha}\bigl(\sigma(t,c)\bigr)\int ^{d}_{c}q(t,\xi)\,d\xi =-q_{2}(t)z^{\alpha} \bigl(\sigma_{2}(t)\bigr), \end{aligned}$$

(3.4)

where $q_{2}(t)=K(1-P)^{\alpha}\int^{d}_{c}q(t,\xi)\,d\xi$ and $\sigma_{2}(t)=\sigma(t,c)$. Define a generalized Riccati transformation $\omega(t)$ by

$$ \omega(t)= \rho(t) \biggl[\frac{r(t)(z''(t))^{\alpha}}{(z'(t))^{\alpha }}+r(t)b(t) \biggr],\quad t\geq t_{1}. $$

(3.5)

Then we have $\omega(t)>0$ and

$$\begin{aligned} \omega'(t) =&\rho'(t) \biggl[\frac{r(t)(z''(t))^{\alpha }}{(z'(t))^{\alpha}}+r(t)b(t) \biggr]+\rho(t) \biggl[\frac {r(t)(z''(t))^{\alpha}}{(z'(t))^{\alpha}}+r(t)b(t) \biggr]' \\ =&\frac{\rho'(t)}{\rho(t)}\omega(t)+\rho(t) \bigl(r(t)b(t)\bigr)'+\rho(t) \biggl[\frac{r(t)(z''(t))^{\alpha}}{(z'(t))^{\alpha}} \biggr]' \\ =&\frac{\rho'(t)}{\rho(t)}\omega(t)+\rho(t) \bigl(r(t)b(t)\bigr)'+\rho(t) \frac {[r(t)(z''(t))^{\alpha}]'}{(z'(t))^{\alpha}}-\alpha\rho(t) r(t) \biggl(\frac{z''(t)}{z'(t)} \biggr)^{\alpha+1}. \end{aligned}$$

(3.6)

By virtue of (3.5), we conclude that

$$ \frac{z''(t)}{z'(t)}=\frac{1}{r^{\frac{1}{\alpha}}(t)} \biggl(\frac{\omega (t)}{\rho(t)}-r(t)b(t) \biggr)^{\frac{1}{\alpha}}. $$

(3.7)

Combining (3.4), (3.6), and (3.7), we have

$$\begin{aligned} \omega'(t) \leq&\frac{\rho'(t)}{\rho(t)}\omega(t)+\rho(t) \bigl(r(t)b(t) \bigr)'-\rho (t)q_{2}(t) \frac{z^{\alpha}(\sigma_{2}(t))}{(z'(t))^{\alpha}} \\ &{}- \frac{\alpha\rho (t)}{r^{\frac{1}{\alpha}}(t)} \biggl(\frac{\omega(t)}{\rho(t)}-r(t)b(t) \biggr)^{1+\frac{1}{\alpha }}. \end{aligned}$$

(3.8)

Using Lemma 2.4, for every $\gamma\in(0,1)$, there exists a $T_{\gamma}\geq t_{1}$ such that, for $t\geq T_{\gamma}$,

$$ z\bigl(\sigma_{2}(t)\bigr)\geq\frac{1}{2}\gamma \sigma_{2}(t) z'\bigl(\sigma_{2}(t)\bigr). $$

(3.9)

From Lemma 2.3, for every $\beta\in (0,1)$, there exists a $T_{\beta}\geq T_{\gamma}$ such that, for $t\geq T_{\beta}$,

$$ \frac{1}{z'(t)}\geq\frac{\beta\sigma_{2}(t)}{t z'(\sigma_{2}(t))}. $$

(3.10)

Define

$$A^{\ast}=\frac{\omega(t)}{\rho(t)} \quad \text{and} \quad B^{\ast}=r(t)b(t). $$

Using the inequality (see [13])

$$\bigl(A^{\ast}\bigr)^{1+\frac{1}{\alpha}}-\bigl(A^{\ast}-B^{\ast} \bigr)^{1+\frac{1}{\alpha }}\leq\bigl(B^{\ast}\bigr)^{\frac{1}{\alpha}} \biggl[ \biggl(1+\frac{1}{\alpha} \biggr)A^{\ast}-\frac{1}{\alpha}B^{\ast} \biggr], \quad A^{\ast}B^{\ast}\geq 0, \alpha= \frac{\mathit{odd}}{\mathit{odd}}\geq1, $$

we have

$$ \biggl(\frac{\omega(t)}{\rho(t)}-r(t)b(t) \biggr)^{1+\frac{1}{\alpha}}\geq \frac{\omega^{1+\frac{1}{\alpha}}(t)}{\rho^{1+\frac{1}{\alpha}}(t)} +\frac{1}{\alpha}\bigl(r(t)b(t)\bigr)^{1+\frac{1}{\alpha}}- \biggl(1+ \frac{1}{\alpha } \biggr)\frac{(r(t)b(t))^{\frac{1}{\alpha}}}{\rho(t)}\omega(t). $$

(3.11)

Using inequalities (3.8)-(3.11), for $t\geq T\geq T_{\beta}$, we have

$$\begin{aligned} \omega'(t) \leq&\rho(t) \bigl(r(t)b(t)\bigr)'-\rho(t) q_{2}(t) \biggl(\frac {1}{2}\beta\gamma\frac{ \sigma^{2}_{2}(t)}{t} \biggr)^{\alpha}-\rho(t) r(t)b^{1+\frac{1}{\alpha}}(t) \\ &{}+ \biggl[\frac{\rho'(t)}{\rho(t)}+(\alpha +1)b^{\frac{1}{\alpha}}(t) \biggr]\omega(t)- \frac{\alpha}{(\rho(t) r(t))^{\frac{1}{\alpha}}}\omega^{1+\frac{1}{\alpha}}(t) \\ =& -\psi(t)+A(t)\omega(t)-B(t)\omega^{1+\frac{1}{\alpha }}(t), \end{aligned}$$

(3.12)

where $\psi(t)$ is defined as in (3.2), $A(t)=(\rho'(t)/\rho(t))+(\alpha+1)b^{{1}/{\alpha}}(t)$, and $B(t)=\alpha/(\rho(t) r(t))^{{1}/{\alpha}}$. Multiplying inequality (3.12) by $H(t,s)$ and integrating the resulting inequality from T to t, we have

$$\begin{aligned} \int^{t}_{T}H(t,s)\psi(s)\,ds \leq&\int ^{t}_{T}H(t,s) \bigl(-\omega '(s)+A(s) \omega(s) -B(s)\omega^{1+\frac{1}{\alpha}}(s) \bigr)\,ds \\ =&H(t,T)\omega(T)+\int^{t}_{T} \biggl( \frac{\partial H(t,s)}{\partial s}+H(t,s) A(s) \biggr)\omega(s)\,ds \\ &{}-\int^{t}_{T} H(t,s)B(s)\omega^{1+\frac{1}{\alpha}}(s)\,ds \\ =&H(t,T)\omega(T)-\int^{t}_{T}h(t,s)\omega(s)\,ds- \int^{t}_{T}H(t,s)B(s)\omega^{1+\frac{1}{\alpha}}(s)\,ds \\ \leq& H(t,T)\omega(T)+\int^{t}_{T} \bigl[\bigl\vert h(t,s)\bigr\vert \omega (s)- H(t,s)B(s)\omega^{1+\frac{1}{\alpha}}(s) \bigr]\,ds. \end{aligned}$$

(3.13)

Letting $C=|h(t,s)|$, $D=H(t,s)B(s)$, and using the inequality (see [13])

$$C\omega-D\omega^{1+\frac{1}{\alpha}}\leq\frac{\alpha^{\alpha}}{(\alpha +1)^{\alpha+1}}\frac{C^{\alpha+1}}{D^{\alpha}},\quad D>0, $$

we obtain

$$\int^{t}_{T}H(t,s)\psi(s)\,ds\leq H(t,T)\omega(T)+ \int^{t}_{T}\frac {1}{(\alpha+1)^{\alpha+1}} \frac{\rho(s)r(s)\vert h(t,s)\vert ^{\alpha +1}}{H^{\alpha}(t,s)}\,ds. $$

Hence

$$ \frac{1}{H(t,T)}\int^{t}_{T} \biggl[H(t,s) \psi(s)-\frac{1}{(\alpha +1)^{\alpha+1}}\frac{\rho(s)r(s)\vert h(t,s) \vert ^{\alpha+1}}{H^{\alpha }(t,s)} \biggr]\,ds\leq\omega(T) $$

(3.14)

for all sufficiently large t, which contradicts (3.1).

Assume now that $z(t)$ has the property (II). By Lemma 2.2, we have $\lim_{t\rightarrow\infty}x(t)=0$. The proof is complete. □

It may happen that assumption (3.1) in Theorem 3.1 fails to hold. Consequently, Theorem 3.1 cannot be applied. The following theorem provides a new oscillation criterion for (1.1).

Theorem 3.2

Let conditions (A₁)-(A₆) and (2.1) be satisfied. Assume that there exists a function $H\in X$ such that

$$ 0< \inf_{s\geq t_{0}} \biggl\{ \liminf_{t\rightarrow\infty} \frac {H(t,s)}{H(t,t_{0})} \biggr\} \leq\infty $$

(3.15)

and

$$ \limsup_{t\rightarrow\infty}\frac{1}{H(t,t_{0})}\int^{t}_{t_{0}} \frac{\rho(s)r(s)\vert h(t,s)\vert ^{\alpha+1}}{H^{\alpha}(t,s)}\,ds< \infty $$

(3.16)

hold. If there exists a function $\varphi(t)\in C([t_{0},\infty),R)$ such that, for all $T\geq t_{0}$,

$$ \limsup_{t\rightarrow\infty}\int^{t}_{t_{0}} \rho^{-\frac{1}{\alpha }}(s)r^{-\frac{1}{\alpha}}(s)\bigl[\varphi_{+}(s)\bigr] ^{\frac{\alpha+1}{\alpha}}\,ds=\infty $$

(3.17)

and

$$ \limsup_{t\rightarrow\infty}\frac{1}{H(t,T)}\int^{t}_{T} \biggl[H(t,s)\psi (s)-\frac{1}{(\alpha+1)^{\alpha+1}} \frac{\rho(s)r(s)\vert h(t,s)\vert ^{\alpha+1}}{H^{\alpha}(t,s)} \biggr]\,ds\geq \varphi(T), $$

(3.18)

where $\psi(t)$ is defined by (3.2) and $\varphi_{+}(t)=\max\{\varphi(t),0\}$, then the conclusion of Theorem 3.1 remains intact.

Proof

Assuming that $z(t)$ has the property (I) and proceeding as in the proof of Theorem 3.1, we have (3.13) and (3.14) for all $t> T$. Hence, by virtue of (3.14),

$$ \limsup_{t\rightarrow\infty}\frac{1}{H(t,T)}\int^{t}_{T} \biggl[H(t,s)\psi (s)-\frac{1}{(\alpha+1)^{\alpha+1}}\frac{\rho(s)r(s)\vert h(t,s)\vert ^{\alpha +1}}{H^{\alpha}(t,s)} \biggr]\,ds\leq \omega(T) $$

(3.19)

for all $t>T$. Thus, by (3.18) and (3.19), we have

$$ \varphi(T)\leq\omega(T) $$

(3.20)

and

$$ \limsup_{t\rightarrow\infty}\frac{1}{H(t,T)}\int^{t}_{T}H(t,s) \psi (s)\,ds\geq\varphi(T). $$

(3.21)

From (3.20), we obtain

$$ \int^{\infty}_{T}\rho^{-\frac{1}{\alpha}}(s)r^{-\frac{1}{\alpha }}(s) \omega^{\frac{\alpha+1}{\alpha}}(s)\,ds\geq\int^{\infty}_{T} \rho^{-\frac{1}{\alpha}}(s)r^{-\frac {1}{\alpha}}(s)\bigl[\varphi_{+}(s) \bigr]^{\frac{\alpha+1}{\alpha}}\,ds $$

(3.22)

and hence, by (3.17),

$$ \int^{\infty}_{T}\rho^{-\frac{1}{\alpha}}(s)r^{-\frac{1}{\alpha }}(s) \omega^{\frac{\alpha+1}{\alpha}}(s)\,ds=\infty. $$

(3.23)

To complete the proof, we show that (3.23) does not hold. Let

$$u(t)=\frac{\alpha}{H(t,T)}\int^{t}_{T}H(t,s) \rho^{-\frac{1}{\alpha }}(s)r^{-\frac{1}{\alpha}}(s) \omega^{\frac{\alpha+1}{\alpha}}(s)\,ds $$

and

$$v(t)=\frac{1}{H(t,T)}\int^{t}_{T}\bigl\vert h(t,s)\bigr\vert \omega(s)\,ds $$

for all $t> T$. It follows from (3.13) and (3.21) that

$$\begin{aligned} \liminf_{t\rightarrow\infty}\bigl[u(t)-v(t)\bigr] \leq&\omega(T) -\limsup _{t\rightarrow\infty}\frac{1}{H(t,T)}\int^{t}_{T}H(t,s) \psi (s)\,ds \\ \leq& \omega(T)-\varphi(T)< \infty. \end{aligned}$$

(3.24)

Now by (3.15), there exists a positive constant $\xi_{1}$ satisfying

$$ \inf_{s\geq t_{0}} \biggl\{ \liminf_{t\rightarrow\infty} \frac {H(t,s)}{H(t,t_{0})} \biggr\} >\xi_{1}>0. $$

(3.25)

Let $\xi_{2}$ be an any positive constant. It follows from (3.23) that, for all $t\geq T_{1}$,

$$\int^{t}_{T}\rho^{-\frac{1}{\alpha}}(s)r^{-\frac{1}{\alpha}}(s) \omega ^{\frac{\alpha+1}{\alpha}}(s)\,ds\geq \frac{\xi_{2}}{\alpha\xi_{1}}, $$

where $T_{1}>T$ is sufficiently large. Therefore, for all $t\geq T_{1}$,

$$\begin{aligned} u(t) =&\frac{\alpha}{H(t,T)}\int^{t}_{T}H(t,s)\,d \biggl(\int^{s}_{T}\rho^{-\frac{1}{\alpha}}( \zeta)r^{-\frac{1}{\alpha}}(\zeta )\omega^{\frac{\alpha+1}{\alpha}}(\zeta)\,d\zeta \biggr) \\ \geq&\frac{\alpha}{H(t,T)}\int^{t}_{T_{1}} \biggl(- \frac{\partial H(t,s) }{\partial s} \biggr) \biggl(\int^{s}_{T} \rho^{-\frac{1}{\alpha}}(\zeta)r^{-\frac {1}{\alpha}}(\zeta)\omega^{\frac{\alpha+1}{\alpha}}(\zeta)\,d\zeta \biggr)\,ds \\ \geq&\frac{\xi_{2}}{\xi_{1}H(t,T)}\int^{t}_{T_{1}} \biggl(- \frac {\partial H(t,s) }{\partial s} \biggr)\,ds=\frac{\xi_{2}H(t,T_{1})}{\xi_{1}H(t,T)}\geq\frac{\xi _{2}H(t,T_{1})}{\xi_{1}H(t,t_{0})}. \end{aligned}$$

By (3.25), there exists a $T_{2}\geq T_{1}$ such that $H(t,T_{1})/H(t,t_{0})\geq\xi_{1}$ for all $t\geq T_{2}$. Thus $u(t)\geq\xi_{2}$ for all $t\geq T_{2}$. Since $\xi_{2}$ is an arbitrary constant,

$$ \lim_{t\rightarrow\infty}u(t)=\infty. $$

(3.26)

Consider now a sequence $\{t_{i}\}^{\infty}_{i=1}$ in $(T,\infty)$ with $\lim_{i\rightarrow\infty}t_{i}=\infty$ such that

$$\lim_{i\rightarrow\infty}\bigl[u(t_{i})-v(t_{i})\bigr]= \liminf_{t\rightarrow\infty }\bigl[u(t)-v(t)\bigr]< \infty. $$

By virtue of (3.24), there exist a natural number $N_{0}$ and a constant $L>0$ such that, for all $i>N_{0}$,

$$ u(t_{i})-v(t_{i})\leq L. $$

(3.27)

It follows from (3.26) that

$$ \lim_{i\rightarrow\infty}u(t_{i})=\infty. $$

(3.28)

Combining (3.27) and (3.28), we conclude that

$$ \lim_{i\rightarrow\infty}v(t_{i})=\infty $$

(3.29)

and, for i large enough,

$$ \frac{v(t_{i})}{u(t_{i})}>\frac{1}{2}. $$

(3.30)

From (3.29) and (3.30), we obtain

$$ \lim_{i\rightarrow\infty}\frac{v^{\alpha+1}(t_{i})}{u^{\alpha }(t_{i})}=\infty. $$

(3.31)

On the other hand, by Hölder’s inequality, we have

$$\begin{aligned} v(t_{i}) \leq& \biggl\{ \frac{\alpha}{H(t_{i},T)}\int^{t_{i}}_{T}H(t_{i},s) \rho^{-\frac{1}{\alpha}}(s)r^{-\frac{1}{\alpha}}(s)\omega^{\frac{\alpha +1}{\alpha}} (s)\,ds \biggr\} ^{\frac{\alpha}{\alpha+1}} \\ &{}\times \biggl\{ \frac{1}{\alpha^{\alpha}H(t_{i},T)}\int^{t_{i}}_{T} \frac {\rho(s)r(s)\vert h(t_{i},s)\vert ^{\alpha+1}}{H^{\alpha}(t_{i},s) }\,ds \biggr\} ^{\frac{1}{\alpha+1}}. \end{aligned}$$

Therefore, for all i large enough,

$$ \frac{v^{\alpha+1}(t_{i})}{u^{\alpha}(t_{i})} \leq\frac {1}{\alpha^{\alpha}\xi_{1}H(t_{i},t_{0})}\int^{t_{i}}_{t_{0}} \frac{\rho (s)r(s)\vert h(t_{i},s)\vert ^{\alpha+1}}{H^{\alpha}(t_{i},s)}\,ds. $$

(3.32)

From (3.31) and (3.32), we deduce that

$$\lim_{{i\rightarrow \infty}}\frac{1}{H(t_{i},t_{0})}\int^{t_{i}}_{t_{0}} \frac{\rho (s)r(s)\vert h(t_{i},s)\vert ^{\alpha+1}}{H^{\alpha}(t_{i},s)}\,ds=\infty, $$

so

$$\lim_{{t\rightarrow \infty}}\frac{1}{H(t,t_{0})}\int^{t}_{t_{0}} \frac{\rho (s)r(s)\vert h(t,s)\vert ^{\alpha+1}}{H^{\alpha}(t,s)}\,ds=\infty, $$

which contradicts (3.16). Therefore, (3.23) cannot hold. By virtue of (3.22), we get

$$\int^{\infty}_{T}\rho^{-\frac{1}{\alpha}}(s)r^{-\frac{1}{\alpha }}(s) \bigl[\varphi_{+}(s)\bigr] ^{\frac{\alpha+1}{\alpha}}\,ds< \infty, $$

which contradicts (3.17).

Suppose that $z(t)$ has the property (II). By Lemma 2.2, we obtain $\lim_{t\rightarrow\infty}x(t)=0$. This completes the proof. □

4 Examples and conclusions

Example 4.1

For $t \geq1$, consider a third-order differential equation

$$ \biggl[t^{2} \biggl( \biggl[x(t)+\int_{\frac{1}{2}}^{1} \frac{4\xi }{3t^{2}}x \biggl(\frac{t+\xi}{3} \biggr)\,d\xi \biggr]'' \biggr)^{3} \biggr]' +\int^{1}_{0} \frac{32q_{0}\xi}{t^{5}}x^{3} \biggl(\frac{t+\xi}{2} \biggr)\,d\xi=0, $$

(4.1)

where $q_{0}>0$ is a constant. Let $\alpha=3$, $a=1/2$, $b=1$, $c=0$, $d=1$, $r(t)=t^{2}$, $p(t,\xi)=4\xi/ (3t^{2})$, $\tau(t,\xi)=(t+\xi)/3$, $q(t,\xi)=32q_{0}\xi/t^{5}$, and $\sigma(t,\xi)=(t+\xi)/2$. Then

$$\int_{a}^{b}p(t,\xi)\,d\xi=\int _{\frac{1}{2}}^{1}\frac{4\xi}{3t^{2}}\,d\xi =\frac{1}{2t^{2}} \leq \frac{1}{2} \quad\text{and}\quad \sigma_{2}(t)=\sigma(t,0)= \frac{t}{2}. $$

It is not difficult to verify that

$$\int_{1}^{\infty}\frac{1}{s^{\frac{2}{3}}}\,ds=\infty \quad\text{and} \quad \int^{\infty}_{1}\int ^{\infty}_{v} \biggl[\frac{1}{u^{2}}\int ^{\infty }_{u}\int^{1}_{0} \frac{32q_{0}\xi}{s^{5}}\,d\xi \,ds \biggr]^{\frac{1}{3}}\,du\,dv=\infty. $$

Therefore, the conditions $(\mathrm{A}_{1})$-$(\mathrm{A}_{6})$ and (2.1) are satisfied. Furthermore, we choose $K=1$, $P=1/2$, $\rho(t)=t$, $b(t)=0$, and $H(t,s)=(t-s)^{4}$. Then $h(t,s)=(t-s)^{3}(5-ts^{-1})$,

$$\psi(t)= \biggl(1-\frac{1}{2} \biggr)^{3}t \biggl( \frac{\beta\gamma(\frac{t}{2})^{2}}{2t} \biggr)^{3} \int^{1}_{0} \frac{32q_{0}\xi}{t^{5}}\,d\xi=\frac{q_{0}(\beta\gamma)^{3}}{256t}, $$

and

$$\begin{aligned}& \limsup_{t\rightarrow\infty}\frac{1}{H(t,t_{0})}\int^{t}_{t_{0}} \biggl[H(t,s)\psi(s)-\frac{1}{(\alpha+1)^{\alpha+1}} \frac{\rho(s)r(s)\vert h(t,s)\vert ^{\alpha+1}}{H^{\alpha}(t,s)} \biggr]\,ds \\& \quad=\limsup_{t\rightarrow\infty}\frac{1}{(t-1)^{4}}\int^{t}_{1} \biggl[\frac{q_{0}(\beta\gamma)^{3}}{256} (t-s)^{4}\frac{1}{s}- \frac{1}{256} s^{3}\bigl(5-ts^{-1}\bigr)^{4} \biggr]\,ds \\& \quad=\limsup_{t\rightarrow\infty}\frac{1}{(t-1)^{4}}\int^{t}_{1} \biggl[\frac{q_{0}(\beta\gamma)^{3}}{256} \bigl(t^{4}s^{-1}-4t^{3}+6t^{2}s-4ts^{2}+s^{3} \bigr) \\& \quad\quad{} - \biggl(\frac{1}{256}t^{4}s^{-1}- \frac{5}{64}t^{3}+\frac {75}{128}t^{2}s- \frac{125}{64}ts^{2}+\frac{625}{256}s^{3} \biggr) \biggr]\,ds=\infty, \end{aligned}$$

if $q_{0}>1/(\beta\gamma)^{3}$ for some $\beta\in(0,1)$ and $\gamma\in(0,1)$. Hence, by Theorem 3.1, every solution $x(t)$ of (4.1) is either oscillatory or converges to zero as $t\rightarrow \infty$ in the case where $q_{0}>1\mbox{,}000\mbox{,}000/(531\mbox{,}441)\approx1.9$ (by letting $\beta=\gamma=9/10$). Observe that the results reported in [19] cannot be applied to (4.1) since $\alpha=3$.

Example 4.2

For $t \geq1$, consider a third-order differential equation

$$ \biggl[x(t)+\int_{\frac{1}{2}}^{1}\frac{4\xi}{3t^{2}}x \biggl(\frac{t+\xi }{3} \biggr)\,d\xi \biggr]''' +\int^{1}_{0}\frac{16q_{0}\xi}{t^{3}}x \biggl( \frac{t+\xi}{2} \biggr)\,d\xi=0, $$

(4.2)

where $q_{0}>0$ is a constant. Let $\alpha=1$, $a=1/2$, $b=1$, $c=0$, $d=1$, $r(t)=1$, $p(t,\xi)=4\xi/ (3t^{2})$, $\tau(t,\xi)=(t+\xi)/3$, $q(t,\xi)=16q_{0}\xi/t^{3}$, and $\sigma(t,\xi)=(t+\xi)/2$. Then

$$\int_{a}^{b}p(t,\xi)\,d\xi=\int _{\frac{1}{2}}^{1}\frac{4\xi}{3t^{2}}\,d\xi =\frac{1}{2t^{2}} \leq \frac{1}{2} \quad\text{and}\quad \sigma_{2}(t)=\sigma(t,0)= \frac{t}{2}. $$

It is easy to verify that

$$\int_{1}^{\infty}\frac{1}{r(s)}\,ds=\infty \quad\text{and}\quad \int^{\infty}_{1}\int ^{\infty}_{v} \biggl[\int^{\infty}_{u} \int^{1}_{0}q(s,\xi)\,ds \biggr]\,du\,dv=\infty. $$

Therefore, the conditions $(\mathrm{A}_{1})$-$(\mathrm{A}_{6})$ and (2.1) are satisfied. Furthermore, we choose $K=1$, $P=1/2$, $\rho(t)=t$, $b(t)=1/t$, and $H(t,s)=(t-s)^{2}$. Then $h(t,s)=(t-s)(5-3ts^{-1})$,

$$\psi(t)= \biggl(1-\frac{1}{2} \biggr)t \biggl(\frac{\beta\gamma(\frac{t}{2})^{2}}{2t} \biggr) \int^{1}_{0}\frac{16q_{0}\xi}{t^{3}}\,d\xi+t \biggl( \frac{1}{t} \biggr)^{2} -t \biggl(\frac{1}{t} \biggr)'= \biggl(\frac{1}{2}q_{0}\beta\gamma+2 \biggr)\frac{1}{t}, $$

and

$$\begin{aligned}& \limsup_{t\rightarrow\infty}\frac{1}{H(t,t_{0})}\int^{t}_{t_{0}} \biggl[H(t,s)\psi(s)-\frac{1}{(\alpha+1)^{\alpha+1}} \frac{\rho(s)r(s)\vert h(t,s)\vert ^{\alpha+1}}{H^{\alpha}(t,s)} \biggr]\,ds \\& \quad=\limsup_{t\rightarrow\infty}\frac{1}{(t-1)^{2}}\int^{t}_{1} \biggl[ \biggl(\frac{1}{2}q_{0}\beta\gamma+2 \biggr) (t-s)^{2}\frac{1}{s}-\frac{1}{4} s\bigl(5-3ts^{-1} \bigr)^{2} \biggr]\,ds \\& \quad=\limsup_{t\rightarrow\infty}\frac{1}{(t-1)^{2}}\int^{t}_{1} \biggl[ \biggl(\frac{1}{2}q_{0}\beta\gamma+2 \biggr) \bigl(t^{2}s^{-1}-2t+s\bigr)-\frac{1}{4} \bigl(25s-30t+9t^{2}s^{-1}\bigr) \biggr]\,ds\\& \quad=\infty, \end{aligned}$$

if $q_{0}>1/(2\beta\gamma)$ for some $\beta\in(0,1)$ and $\gamma\in(0,1)$. Therefore, by Theorem 3.1, every solution $x(t)$ of (4.2) is either oscillatory or converges to zero as $t\rightarrow \infty$ in the case where $q_{0}>50/81\approx0.62$ (by letting $\beta=\gamma=9/10$).

Remark 4.1

With an appropriate choice of the function H, one can derive from Theorems 3.1 and 3.2 a number of oscillation criteria for (1.1). For example, consider a Kamenev-type function $H(t,s)$ by $H(t,s)=(t-s)^{n-1}$, $(t,s)\in D$, where $n>2$ is an integer. The remainder of the details are left to the reader.

Remark 4.2

Theorems 3.1 and 3.2 reported in this paper reduce to ([19], Theorems 3.1 and 3.2), respectively, when letting $\alpha=1$ and $b(t)=0$.

Remark 4.3

Note that Theorems 3.1 and 3.2 ensure that every solution $x(t)$ to (1.1) is either oscillatory or satisfies $\lim_{t\rightarrow\infty}x(t)=0$ and, unfortunately, these results cannot distinguish solutions with different behaviors. Since the sign of the derivative $z'(t)$ is not fixed, it is not easy to establish sufficient conditions which guarantee that all solutions to (1.1) are just oscillatory and do not satisfy $\lim_{t\rightarrow\infty}x(t)=0$. Neither is it possible to use the technique exploited in this paper for proving that all solutions of (1.1) satisfy $\lim_{t\rightarrow\infty}x(t)=0$. Hence, these two interesting problems are left for future research.

Remark 4.4

It would be interesting to find a different method to investigate (1.1) when $0<\alpha<1$. It would also be of interest to find another method to study (1.1) in the case where $\int_{t_{0}}^{\infty}r^{-{1}/{\alpha}}(s)\,ds<\infty$.

Declarations

Acknowledgements

The authors are grateful to the editors and two anonymous referees for a very thorough reading of the manuscript and for pointing out several inaccuracies. This research was supported by NNSF of P.R. China (Grant Nos. 61174217, 61374074, and 61473133) and NSF of Shandong Province (Grant No. JQ201119).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

School of Electronic and Information Engineering, Xi’an Jiaotong University, Xi’an, P.R. China

(2)

Qingdao Technological University, Feixian, P.R. China

References

Wang, PG: Oscillation criteria for second-order neutral equations with distributed deviating arguments. Comput. Math. Appl. 47, 1935-1946 (2004) MathSciNetView ArticleMATHGoogle Scholar
Agarwal, RP, Grace, SR, O’Regan, D: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic, Dordrecht (2000) View ArticleMATHGoogle Scholar
Agarwal, RP, Grace, SR, O’Regan, D: Oscillation Theory for Second Order Dynamic Equations. Taylor & Francis, London (2003) View ArticleMATHGoogle Scholar
Aktaş, MF, Tiryaki, A, Zafer, A: Oscillation criteria for third-order nonlinear functional differential equations. Appl. Math. Lett. 23, 756-762 (2010) MathSciNetView ArticleMATHGoogle Scholar
Baculíková, B, Džurina, J: Oscillation of third-order neutral differential equations. Math. Comput. Model. 52, 215-226 (2010) View ArticleMATHGoogle Scholar
Baculíková, B, Džurina, J: Oscillation of third-order functional differential equations. Electron. J. Qual. Theory Differ. Equ. 2010, 43 (2010) Google Scholar
Candan, T: Asymptotic properties of solutions of third-order nonlinear neutral dynamic equations. Adv. Differ. Equ. 2014, 35 (2014) View ArticleGoogle Scholar
Candan, T: Oscillation criteria and asymptotic properties of solutions of third-order nonlinear neutral differential equations. Math. Methods Appl. Sci. 38, 1379-1392 (2015) MathSciNetView ArticleGoogle Scholar
Grace, SR, Agarwal, RP, Pavani, R, Thandapani, E: On the oscillation of certain third order nonlinear functional differential equations. Appl. Math. Comput. 202, 102-112 (2008) MathSciNetView ArticleMATHGoogle Scholar
Jiang, Y, Li, T: Asymptotic behavior of a third-order nonlinear neutral delay differential equation. J. Inequal. Appl. 2014, 512 (2014) View ArticleGoogle Scholar
Li, HJ: Oscillation criteria for second order linear differential equations. J. Math. Anal. Appl. 194, 217-234 (1995) MathSciNetView ArticleMATHGoogle Scholar
Li, T, Rogovchenko, YuV, Zhang, C: Oscillation results for second-order nonlinear neutral differential equations. Adv. Differ. Equ. 2013, 336 (2013) MathSciNetView ArticleGoogle Scholar
Li, T, Saker, SH: A note on oscillation criteria for second-order neutral dynamic equations on isolated time scales. Commun. Nonlinear Sci. Numer. Simul. 19, 4185-4188 (2014) MathSciNetView ArticleGoogle Scholar
Li, T, Zhang, C, Xing, G: Oscillation of third-order neutral delay differential equations. Abstr. Appl. Anal. 2012, Article ID 569201 (2012). doi:10.1155/2012/569201 MathSciNetGoogle Scholar
Philos, ChG: Oscillation theorems for linear differential equations of second order. Arch. Math. 53, 482-492 (1989) MathSciNetView ArticleMATHGoogle Scholar
Rogovchenko, YuV: Oscillation theorems for second-order equations with damping. Nonlinear Anal. 41, 1005-1028 (2000) MathSciNetView ArticleMATHGoogle Scholar
Şenel, MT, Utku, N: Oscillation criteria for third-order neutral dynamic equations with continuously distributed delay. Adv. Differ. Equ. 2014, 220 (2014) View ArticleGoogle Scholar
Tiryaki, A, Aktaş, MF: Oscillation criteria of a certain class of third order nonlinear delay differential equations with damping. J. Math. Anal. Appl. 325, 54-68 (2007) MathSciNetView ArticleMATHGoogle Scholar
Zhang, QX, Gao, L, Yu, YH: Oscillation criteria for third-order neutral differential equations with continuously distributed delay. Appl. Math. Lett. 25, 1514-1519 (2012) MathSciNetView ArticleMATHGoogle Scholar
Wang, PG, Cai, H: Oscillatory criteria for higher order functional differential equations with damping. J. Funct. Spaces Appl. 2013, Article ID 968356 (2013). doi:10.1155/2013/968356 MathSciNetGoogle Scholar
Erbe, LH, Kong, Q, Zhang, BG: Oscillation Theory for Functional Differential Equations. Dekker, New York (1995) Google Scholar

Advances in Difference Equations

Oscillation and asymptotic behavior of third-order neutral differential equations with distributed deviating arguments

Abstract

Keywords

MSC

1 Introduction

2 Some lemmas

Lemma 2.1

Proof

Lemma 2.2

Proof

Lemma 2.3

Lemma 2.4

Proof

3 Main results

Theorem 3.1

Proof

Theorem 3.2

Proof

4 Examples and conclusions

Example 4.1

Example 4.2

Remark 4.1

Remark 4.2

Remark 4.3

Remark 4.4

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright