- Research
- Open access
- Published:
Asymptotics and oscillation of nth-order nonlinear differential equations with p-Laplacian like operators
Advances in Difference Equations volume 2015, Article number: 357 (2015)
Abstract
This paper is concerned with nth-order nonlinear differential equations of the form \((a(t)|x^{(n-1)}(t)|^{p-2}x^{(n-1)}(t) )^{\prime}+ r(t)|x^{(n-1)}(t)|^{p-2}x^{(n-1)}(t)+q(t)|x(g(t))|^{p-2}x(g(t))=0 \) with \(n\ge2\). By discussing the signs of ith-order derivatives of eventually positive solutions, for \(i=1,\ldots,n-1\), and using the generalized Riccati technique and integral averaging technique, we derive new criteria for oscillation and asymptotic behavior of the equation. Our results generalize and improve many existing results in the literature.
1 Introduction
In this paper, we study the nth-order nonlinear differential equation with Laplacian and deviating argument
where \(t\in[t_{0},\infty)\). Throughout this paper, we assume the following:
-
(H1)
\(a(t)\in C^{1}([t_{0},\infty),(0, \infty))\), \(r(t),q(t)\in C([t_{0},\infty),\mathbb{R})\), \(q(t)\ge0\), and \(a'(t)+r(t)\ge0\);
-
(H2)
\(p > 1\) is a real number, \(g(t)\in C([t_{0}, \infty), \mathbb{R})\) such that \(\lim_{t\rightarrow\infty}g(t)=\infty\).
Asymptotics and oscillation of (1.1) and related equations have been discussed by many authors; see [1–16] and the references therein. In particular in 2014, Zhang et al. [14] established oscillation criteria for (1.1) when \(n \ge4\) is even via the integral averaging technique and two kinds of functions \(H(t, s)\) and \(H_{*}(t, s)\), employed the comparison technique to discuss the oscillation of (1.1) when \(n \ge2\) is even and the oscillation and asymptotic behavior of (1.1) when \(n \ge3\) is odd.
By imposing some additional assumptions, in the present paper we shall discuss the signs of ith-order derivatives of eventually positive solutions for \(i=1,\ldots,n-1\), and we establish concrete criteria for the asymptotics and oscillation of (1.1) for both the even-order and the odd-order cases, where the deviating arguments may be retarded, advanced, or mixed. Our results will generalize and improve those in [14] and many other papers for the even-order case and develop new results for the odd-order case.
By a solution of (1.1) we mean a nontrivial real-valued function \(x(t)\in C^{n-1}([t_{0}, \infty),\mathbb{R})\) such that \(a(t)|x^{(n-1)}(t)|^{p-2}x^{{n-1}}(t)\in C^{1}([t_{0}, \infty),\mathbb {R})\), which satisfies (1.1). Our attention is restricted to those solutions of (1.1) that satisfy \(\sup\{|x(t)|: t\ge t_{x}\} >0\) for any \(t_{x}\ge t_{0}\). A solution \(x(t)\) of (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative. Otherwise, it is called nonoscillatory. The equation itself is called oscillatory if all its solutions are oscillatory.
This paper is organized as follows: After this introduction, we present the main results in Section 2, followed by illustrative examples in Section 3. We then introduce some preliminary lemmas in Section 4, which are used to prove the main results in Section 5. The conclusion is drawn in Section 6.
2 Main results
In this section, we present our main results which provide conditions for every solution of (1.1) to be oscillatory on \([t_{0}, \infty)\) or convergent to 0 as \(t\rightarrow\infty\). In order to state the main theorems, we need the following notation.
For \(t, T\in\mathbb{R}\) such that \(t\ge T\), we define
For \(D=\{(t,s)\in\mathbb{R}^{2}: t\geq s\geq0\}\), we define
where \(z\in C^{1}(\mathbb{R}, (0,\infty))\) is to be given in Theorem 2.1, \(z'_{+}(t)=\max\{z'(t),0\}\), and \([\frac{z'_{+}(s)}{z(s)}-\frac {r(s)}{a(s)} ]_{+}=\max\{ [\frac{z'_{+}(s)}{z(s)}-\frac {r(s)}{a(s)} ],0\}\).
The results in the first theorem are valid for all \(p> 1\).
Theorem 2.1
Let \(p>1\). Assume that (H1)-(H2) and
hold, and either
or
Furthermore, for sufficiently large \(T\in\mathbb{R}\), one of the following conditions is satisfied:
-
(a)
there exists a \(z\in C^{1}(\mathbb{R}, (0,\infty))\) such that
$$\limsup_{t\rightarrow\infty}\int^{t}_{T} \biggl[z(s)\exp \biggl(\int_{t_{0}}^{s} \frac{r(\tau)}{a(\tau)}\,d\tau \biggr)Q(s)- \frac{z'_{+}(s)}{\beta^{p-1}_{n-1}(s,T)} \biggr] \,ds=\infty, $$ -
(b)
there exists a \(z\in C^{1}(\mathbb{R}, (0,\infty))\) such that
$$\limsup_{t\rightarrow\infty}\int^{t}_{T} \biggl[z(s)Q(s)-\frac{1}{p^{p}} \biggl[\frac{z'_{+}(s)}{z(s)}-\frac {r(s)}{a(s)} \biggr]^{p}_{+}\frac{z(s)}{\beta^{p-1}_{n-2}(s,T)\exp (\int_{t_{0}}^{s}\frac{r(\tau)}{a(\tau)}\,d\tau )} \biggr]\,ds=\infty, $$ -
(c)
there exist a \(z\in C^{1}(\mathbb{R}, (0,\infty))\) and an \(H\in\mathcal{H}\) such that
$$\begin{aligned}& \limsup_{t\rightarrow\infty}\frac{1}{H(t, T)}\int^{t}_{T} \biggl[H(t,s)z(s)Q(s)-\frac{ [H_{s}'(t,s)+H(t,s) (\frac{z'_{+}(s)}{z(s)}-\frac{r(s)}{a(s)} ) ]^{p}_{+}z(s)}{ p^{p}\beta_{n-2}^{p-1}(s,T) H^{p-1}(t,s)\exp (\int^{s}_{t_{0}}\frac{r(\tau)}{a(\tau)}\,d\tau )} \biggr]\,ds \\& \quad =\infty. \end{aligned}$$
Then:
-
(i)
every solution \(x(t)\) of (1.1) is either oscillatory or tends to zero as \(t\rightarrow\infty\) when n is odd, and
-
(ii)
every solution \(x(t)\) of (1.1) is oscillatory when n is even.
The results in the second theorem hold only for \(g(t)\ge t\) or \(g(t)\le t\) with \(g'(t)>0\).
Theorem 2.2
Let \(p> 1\). Assume that (H1)-(H2) and (2.1) hold. If either (2.2) is satisfied, or (2.3) is satisfied and for sufficiently large \(T\in\mathbb{R}\),
then:
-
(i)
every solution \(x(t)\) of (1.1) is either oscillatory or tends to zero as \(t\rightarrow\infty\) when n is odd, and
-
(ii)
every solution \(x(t)\) of (1.1) is oscillatory when n is even.
The results in the third theorem hold only for \(p\geq2\).
Theorem 2.3
Let \(p\ge2\). Assume that (H1)-(H2) and (2.1) hold and either (2.2) or (2.3) is satisfied. Furthermore, for sufficiently large \(T\in\mathbb{R}\), there exists a \(z\in C^{1}(\mathbb{R}, (0,\infty))\) such that one of the following conditions is satisfied:
-
(a)
$$\limsup_{t\rightarrow\infty}\int^{t}_{T} \biggl[z(s)Q(s)-\frac{ [\frac{z'(s)}{z(s)}-\frac{r(s)}{a(s)} ]^{2}z(s)}{4(p-1)\exp (\int^{s}_{t_{0}}\frac{r(\tau)}{a(\tau )}\,d\tau ) \beta^{*}(s,T)} \biggr]\,ds=\infty, $$
-
(b)
there exists an \(H\in\mathcal{H}\) such that
$$\begin{aligned}& \limsup_{t\rightarrow\infty}\frac{1}{H(t,T)}\int^{t}_{T} \biggl[H(t,s)z(s)Q(s)-\frac{ [H_{s}'(t,s)+H(t,s) (\frac {z'_{+}(s)}{z(s)}-\frac{r(s)}{a(s)} ) ]^{2}z(s)}{4(p-1) \beta ^{*}(s,T)\exp (\int^{s}_{t_{0}}\frac{r(\tau)}{a(\tau)}\,d\tau )H(t,s)} \biggr]\,ds \\& \quad =\infty. \end{aligned}$$
Then:
3 Examples
In this section, we give two examples to illustrate our main results.
Example 1
Consider the equation
where \(n\ge2\), \(t\in[2, \infty)\). Here we have:
-
(i)
\(p=\frac{4}{3}\), \(a(t)=\frac {1}{t}\), \(r(t)=t^{3}\), \(q(t)=t^{-\frac{1}{3}}\), \(g(t)=t-1\);
-
(ii)
\(a'(t)+r(t)=-\frac{1}{t^{2}}+t^{3}>0\),
$$\begin{aligned} \int_{2}^{\infty}\biggl[\frac{\exp(\int_{2}^{s}\frac{r(\tau)}{a(\tau )}\,d\tau)}{a(s)} \biggr]^{\frac{1}{p-1}}\,ds =&\int_{2}^{\infty}\bigl(se^{({\frac{s^{5}}{5}}-{\frac{2^{5}}{5}})}\bigr)^{3}\,ds =e^{-\frac{3\cdot2^{5}}{5}}\int _{2}^{\infty}\bigl(se^{\frac{s^{5}}{5}} \bigr)^{3}\,ds \\ \ge& e^{-\frac{3\cdot2^{5}}{5}}\int_{2}^{\infty}s^{3}\,ds=\infty; \end{aligned}$$ -
(iii)
\(\int_{t_{0}}^{\infty}\exp(\int_{2}^{s}\frac{r(\tau)}{a(\tau )}\,d\tau) q(s) \,ds=\int_{2}^{\infty}e^{({\frac{s^{5}}{5}}-{\frac {2^{5}}{5}})}s^{-\frac{1}{3}}\,ds\ge e^{-\frac{2^{5}}{5}}\int_{2}^{\infty}s^{-\frac{1}{3}} \,ds=\infty\).
Hence (H1)-(H2), (2.1), and (2.2) hold. For sufficiently large \(T\in[2,\infty)\), we set \(z(t)=1\) and have
Hence Condition (a) of Theorem 2.1 is satisfied.
By Theorem 2.1, every solution \(x(t)\) of (3.1) is oscillatory or tends to 0 as \(t\rightarrow\infty\) when n is odd, and (3.1) is oscillatory when n is even.
Remark 3.1
In Example 1 above, we see that \(a(t)=\frac{1}{t}\) is strictly decreasing on \([2, \infty)\); but in [9], we see that its condition (H1) requires \(a'(t)>0\), so the results in [9] are not applicable to this example.
Example 2
Consider the equation
where \(n\ge2\), \(t\in[1,\infty)\). Here we have:
-
(i)
\(p=4\), \(a(t)=t\), \(r(t)=-1\), \(q(t)=t^{2}\), and \(g(t)=t+1\);
-
(ii)
\(a'(t)+r(t)=1>0\),
$$\int_{1}^{\infty}\biggl[\frac{\exp(\int_{1}^{s}\frac{r(\tau)}{a(\tau )}\,d\tau)}{a(s)} \biggr]^{\frac{1}{p-1}}\,ds =\int_{1}^{\infty}\biggl( \frac{1}{s}e^{(-\ln s+\ln 1)}\biggr)^{\frac{1}{3}}\,ds =\int _{1}^{\infty}\biggl(\frac{1}{s^{2}} \biggr)^{\frac{1}{3}}\,ds=\infty; $$ -
(iii)
\(\int_{t_{0}}^{\infty}\exp(\int_{2}^{s}\frac{r(\tau)}{a(\tau )}\,d\tau) q(s) \,ds=\int_{1}^{\infty}\exp(\int_{1}^{s}\frac{-1}{\tau }\,d\tau) s^{2} \,ds =\int_{1}^{\infty}s \,ds=\infty\).
Hence (H1)-(H2), (2.1), and (2.2) hold. With \(z(t)=\frac{1}{t}\) we see that for sufficiently large \(T\in [1,\infty)\),
Hence Condition (a) of Theorem 2.3 is satisfied.
By Theorem 2.3, every solution \(x(t)\) of (3.2) is oscillatory or tends to zero as \(t\rightarrow\infty\) when n is odd, and (3.2) is oscillatory when n is even.
Remark 3.2
In Example 2 above, we see that \(r(t)=-1<0\) and \(g(t)=t+1\ge t\) on \([1, \infty)\). But in [9], we see that its condition (H2) requires \(r(t)>0\), and in [14], its condition (H1) requires \(g(t)\le t\), so the results in [9, 14] are not applicable to this example.
4 Preliminary lemmas
In this section, we present several technical lemmas which will be used in the proofs of the main results. The first one is on the signs of derivatives of certain classes of functions.
Lemma 4.1
([10])
Let \(f(t)\in C^{m}([t_{0},\infty),(0, \infty))\). Assume \(f^{(m)}(t)\) is of one sign and not identically zero on \([t_{1},\infty)\) for any \(t_{1}\ge t_{0}\). Then there exist a \(t_{x}\ge t_{1}\) and an integer \(0\le l\le m\), with \(m+l\) even for \(f^{m}(t)\ge0\) or \(m+l\) odd for \(f^{m}(t)\le0\) such that
The next lemma concerns the signs of derivatives of eventually positive solutions of (1.1). In particular, we derive conditions for the following inequalities to hold eventually:
Lemma 4.2
Assume that conditions (H1)-(H2), (2.1) and either (2.2) or (2.3) hold. Let \(x(t)\) be an eventually positive solution of (1.1). Then there exists a \(T\in\mathbb{R}\) sufficiently large such that
and \(x^{(n)}(t)<0\) for \(t\ge T\). Moreover:
-
(i)
(4.3) holds when n is even, and
-
(ii)
either (4.3) holds or \(\lim_{t\rightarrow\infty}x(t)=0\) when n is odd.
Proof
If \(x(t)\) is an eventually positive solution of (1.1), then by (H2), there exists a \(t_{1}\in[t_{0},\infty)\) such that
From (1.1) and (H1), we have
which implies that
Then \(a(t)\exp (\int_{t_{0}}^{t}\frac{r(\tau)}{a(\tau)}\,d\tau )|x^{(n-1)}(t)|^{p-2}x^{{n-1}}(t)\) is strictly decreasing on \([t_{1},\infty)\) and eventually of one sign. So, \(x^{(n-1)}(t)\) is either eventually positive or eventually negative.
By (2.1), from the proof of Lemma 4 in [9], we have \(x^{(n-1)}(t)>0\). Then we can write (4.5) in the form
which implies that for \(t\ge t_{1}\),
Thus, \(x^{(n)} (t)< 0\) eventually.
From Lemma 4.1 with \(m=n-1\), there exist a \(t_{2}\in \left .[t_{1},\infty ) \right ._{\mathbb{T}}\) and an integer l, \(0\le l \le m\) such that (4.1) and (4.2) are satisfied. That is,
and \(x(t)\) is eventually monotone.
When n is even, by Lemma 4.1, l must be an odd number. By (4.6) and (4.7), we can get \(x^{\prime}(t)>0\). Hence
In this case, we claim that \(l=m=n-1\). Otherwise, we obtain the odd integer \(l\le m-2=n-3\). By (4.7), we get
This means
It follows from (4.8) that there exist a \(T\ge t_{2}\) and \(b>0\) such that \(x(g(t))\ge b\) for \(t\ge T\). From (4.4) and (4.5), and \(x^{(n-1)}(t)>0\) we have
If (2.2) holds, by integrating (4.11) from T to t with \(t\geq T\) we obtain
which contradicts the fact that \(x^{(n-1)}(t)>0\) for \(t\in[t_{1},\infty )\). Hence, \(l=m=n-1\) and (4.3) holds. If (2.3) holds, by integrating (4.11) from t to u with \(T\le t\le u\) we obtain
Taking the limit as \(u\rightarrow\infty\), we have
Since \(x^{(n-2)}(t)<0\), integrating the above inequality from t to v with \(T\le t\le v\) we get
Taking the limit as \(v\rightarrow\infty\), we obtain
Since \(x^{(n-3)}(t)>0\), integrating the above inequality from T to t with \(t\ge T\), we get
Taking \(t\rightarrow\infty\), we obtain
which contradicts (2.3). Hence, \(l=m=n-1\) and (4.3) holds.
When n is odd, by Lemma 4.1, l must be an even integer. By (4.6) and (4.7), we have either \(x^{\prime}(t)>0\) or \(x^{\prime}(t)<0\). That means \(\lim_{t\rightarrow\infty}x(t)=c\ge0\). We claim that if \(\lim_{t\rightarrow\infty}x(t)\neq0\), then \(l=m=n-1\). Otherwise, there is the even number \(l\le m-2=n-3\) such that (4.9) and (4.10) hold. By a similar argument to above, we can reach a contradiction to (2.2) or (2.3). This completes the proof. □
Lemma 4.3
Let conditions (H1)-(H2), (2.1), and either (2.2) or (2.3) hold. Assume \(x(t)\) is an eventually positive solution of (1.1) satisfying (4.3) eventually. Then there exists a \(T\in[t_{0},\infty)\) such that for \(t\in[T,\infty)\),
and
Proof
Since \(x(t)\) is an eventually positive solution of (1.1), by (H2), there exists a \(T\in[t_{0},\infty)\) such that \(x(t)>0\), \(x(g(t))>0\), and (4.3) holds for \(t\ge T\).
Noting that \((a(t)\exp (\int_{t_{0}}^{t}\frac{r(\tau)}{a(\tau )}\,d\tau )(x^{(n-1)}(t))^{p-1} )^{\prime}<0\) for \(t\ge T\), it follows from (4.3) that
Integrating the inequality above from T to t for \(t\ge T\), we get
It is easy to see by induction that
This completes the proof. □
Similar to [16], Lemma 2.3, we have the following lemma.
Lemma 4.4
Let \(g(u)=Bu-Au^{\frac{\gamma+1}{\gamma}}\), where A and γ are positive numbers, and \(B\ge0\). Then g attains its maximum value on \([0, \infty)\) at \(u^{*}= (\frac{B\gamma}{A(\gamma+1)} )^{\gamma}\), and
5 Proofs of main results
In this section, we give proofs for our main results by employing generalized Riccati techniques and integral averaging techniques.
Proof of Theorem 2.1
Suppose to the contrary that (1.1) has a nonoscillatory solution \(x(t)\). Without loss of generality, we may assume that \(x(t)\) is eventually positive. Then, by (H1)-(H2), there exists a \(T\in[t_{0}, \infty)\) such that for \(t\geq T\), \(x(t)>0\), and Lemmas 4.2 and 4.3 hold.
When n is odd, from Lemma 4.2 we see that (4.3) holds or \(\lim_{t\rightarrow\infty}x(t)=0\). If (4.3) holds, (1.1) reduces to
Multiplying by \(\exp (\int_{t_{0}}^{t}\frac{r(\tau)}{a(\tau)}\,d\tau )\) on (5.1), we have
The rest of the proof is separated into three parts corresponding to conditions (a)-(c), respectively.
Part I: Assume condition (a) holds. Define
Then \(v(t)>0\). From \(z(t)>0\), \(a(t)>0\), \(x(t)>0\), \(x^{(n-1)}(t)>0\), and (5.2), we have
By the Kiguradze lemma [8], which shows that if a function \(y(t)\) satisfies \(y^{(i)}(t)>0\), \(i=0,1,2,\ldots,k\), and \(y^{(k+1)}(t)\le 0\), then \(y(t)/y'(t)\ge t/k\), we have
Thus, we see that \(x(t)/t^{n-1}\) is nonincreasing, and when \(g(t)\le t\), we get
When \(g(t)>t\), by \(x'(t)>0\), we get
It follows that
Then, by Lemma 4.3, we obtain
Integrating the above inequality from T to t for \(t\ge T\), we get
Taking lim sup on both sides as \(t\rightarrow\infty\), we obtain a contradiction to condition (b). Therefore, every solution \(x(t)\) of (1.1) is either oscillatory or tends to zero as \(t\rightarrow \infty\).
Part II: Assume condition (b) holds. Define
Then \(w(t)>0\). From \(z(t)>0\), \(x(t)>0\), \(x^{(n-1)}(t)>0\), we have
From (5.3), we have
From Lemma 4.3, we get
Setting \(\gamma=p-1\), we have
Let
Then by Lemma 4.4, we obtain, for all \(t\geq T\),
Integrating the above inequality from T to t for ≥T, we get
By taking lim sup on both sides as \(t\rightarrow\infty\), we obtain a contradiction to condition (c). Therefore, every solution \(x(t)\) of (1.1) is either oscillatory or tends to zero as \(t\rightarrow \infty\).
Part III: Assume condition (c) holds. From (5.7) we have, for \(H\in\mathcal{H}_{*}\) and \(t\geq T\),
By integration by parts we obtain
It follows that
Let \(\gamma=p-1\), \(u=w(s)\) and
by Lemma 4.4 we obtain, for all \(t\geq T\),
That is,
By taking lim sup on both sides as \(t\rightarrow\infty\), we obtain a contradiction to condition (d). Therefore, every solution \(x(t)\) of (1.1) is either oscillatory or tends to zero as \(t\rightarrow \infty\).
When n is even, from Lemma 4.2 we see that only (4.3) holds. Similarly, we can show that (1.1) is oscillatory. We omit the details.
The proof is complete. □
Proof of Theorem 2.2
Suppose to the contrary that (1.1) has a nonoscillatory solution \(x(t)\). Without loss of generality, we may assume that \(x(t)\) is eventually positive. Then, by (H1)-(H2), there exists a \(T\in[t_{0}, \infty)\) such that for \(t\geq T\), \(x(t)>0\), and Lemmas 4.2 and 4.3 hold.
When n is odd, from Lemma 4.2 we see that (4.3) holds or \(\lim_{t\rightarrow\infty}x(t)=0\). If (4.3) holds, we set \(\phi(t):=a(t)\exp (\int_{t_{0}}^{t}\frac{r(\tau)}{a(\tau)}\,d\tau )(x^{(n-1)}(t))^{p-1}\). Then \(\phi(t)>0\) and \(\phi^{\prime}(t)<0\) for \(t\geq T\), and \(\lim_{t\rightarrow\infty}\phi(t)=\zeta\ge0\). By (5.2), it follows that
Integrating both sides of (5.8) from t to ∞, we obtain
When \(g(t)\ge t\), we have
by which we have reached a contradiction if \(\int_{t}^{\infty}\exp (\int_{t_{0}}^{s}\frac{r(\tau)}{a(\tau)}\,d\tau ) q(s) \,ds=\infty\). If \(\int_{t}^{\infty}\exp (\int_{t_{0}}^{s}\frac{r(\tau)}{a(\tau )}\,d\tau ) q(s) \,ds<\infty\), we get
By Lemma 4.3, we obtain
which is a contradiction to (2.4).
When \(g(t)\le t\) and \(g'(t)>0\), by (5.9), we get
by which we have reached a contradiction if \(\int_{t}^{\infty}\exp (\int_{t_{0}}^{s}\frac{r(\tau)}{a(\tau)}\,d\tau ) q(s) \,ds=\infty\). If \(\int_{t}^{\infty}\exp (\int_{t_{0}}^{s}\frac{r(\tau)}{a(\tau)}\,d\tau ) q(s) \,ds<\infty\), we get
By Lemma 4.3, we obtain
which is a contradiction to (2.4). Therefore, every solution \(x(t)\) of (1.1) is either oscillatory or tends to zero as \(t\rightarrow\infty\).
When n is even, from Lemma 4.2 we see that only (4.3) holds. Similarly, we can show that (1.1) is oscillatory. We omit the details.
The proof is complete. □
Proof of Theorem 2.3
Suppose to the contrary that (1.1) has a nonoscillatory solution \(x(t)\). Without loss of generality, we may assume that \(x(t)\) is eventually positive. Then, by (H1)-(H2), there exists a \(T\in[t_{0}, \infty)\) such that for \(t\geq T\), \(x(t)>0\), \(x(g(t))>0\), and Lemmas 4.2 and 4.3 hold.
When n is odd, from Lemma 4.2 we see that either (4.3) holds or \(\lim_{t\rightarrow\infty}x(t)=0\). If (4.3) holds, the rest of the proof is separated into two parts corresponding to conditions (a) and (b), respectively.
Part I: Assume condition (a) holds.
Define \(w(t)\) as in (5.4). By \(x(t)>0\), and (5.6) we obtain
From this and Lemma 4.3, we get
By completing the square for \(w(t)\) on the right-hand side, we have
Integrating the above inequality from T to t for \(t\ge T\), we get
Taking lim sup on both sides as \(t\rightarrow\infty\), we obtain a contradiction to condition (a). Therefore, every solution \(x(t)\) of (1.1) is either oscillatory or tends to zero as \(t\rightarrow \infty\).
Part II: Assume condition (b) holds.
Based on (5.10), the proof is similar to those of Part III of Theorem 2.1 and Part I of Theorem 2.3, and hence it is omitted.
When n is even, from Lemma 4.2 we see that only (4.3) holds. Similarly, we can show that (1.1) is oscillatory and hence omit its proof.
The proof is complete. □
6 Conclusions
In this paper, we have discussed the asymptotics and oscillation for nth-order nonlinear differential equation (1.1), where the deviation argument \(g(t)\) may be retarded, advanced, or mixed. Under certain assumptions, we have derived a complete characterization of an eventually positive solution \(x(t)\) of (1.1): there exists \(T\in \mathbb{R}\) such that for all \(t\ge T\), \((a(t)|x^{(n-1)}(t)|^{p-2}x^{{n-1}}(t) )'\le0\), \(x^{(n)}(t)<0\), and
-
(i)
\(x^{(j)}(t)>0\) (\(j=1,2,\ldots,n-1\)) when n is even;
-
(ii)
either \(x^{(j)}(t)>0\) (\(j=1,2,\ldots,n-1\)) holds or \(\lim_{t\rightarrow\infty}x(t)=0\) when n is odd.
By using generalized Riccati techniques and integral averaging techniques, we have proved that under a number of conditions:
-
(i)
every solution \(x(t)\) of (1.1) is oscillatory or tends to zero as \(t\rightarrow\infty\) when n is odd;
-
(ii)
equation (1.1) is oscillatory when n is even.
Also, we have given two examples to illustrate the obtained results.
References
Agarwal, RP, Bohner, M, Li, WT: Nonoscillation and Oscillation: Theory for Functional Differential Equations. Monographs and Textbooks in Pure and Applied Mathematics. Dekker, New York (2001)
Agarwal, RP, Grace, SR, O’Regan, D: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic, Dordrecht (2000)
Agarwal, RP, Grace, SR, O’Regan, D: Oscillation criteria for certain nth order differential equations with deviating arguments. J. Math. Anal. Appl. 262, 601-622 (2001)
Agarwal, RP, Grace, SR, O’Regan, D: Oscillation Theory for Second Order Linear, Half-Linear, Superlinear and Sublinear Dynamic Equations. Kluwer Academic, Dordrecht (2002)
Agarwal, RP, Wang, QR: Oscillation and asymptotic behavior for second-order nonlinear perturbed differential equations. Math. Comput. Model. 39, 1477-1490 (2004)
Erbe, L, Kong, Q, Zhang, BG: Oscillation Theory for Functional Differential Equations. Dekker, New York (1995)
He, HJ, Wang, QR: Oscillation of certain even order nonlinear functional differential equations. Commun. Appl. Anal. 18, 281-296 (2014)
Kiguradze, IT, Chanturiya, TA: Asymptotic Properties of Solutions of Nonautonomous Ordinary Differential Equations. Kluwer Academic, Dordrecht (1993)
Liu, S, Zhang, Q, Yu, Y: Oscillation of even-order half-linear functional differential equations with damping. Comput. Math. Appl. 61, 2191-2196 (2011)
Philos, CG: A new criterion for the oscillatory and asymptotic behavior of delay differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. 39, 61-64 (1981)
Wang, QR: Oscillation criteria for even order nonlinear damped differential equations. Acta Math. Hung. 95, 169-178 (2002)
Wu, HW, Wang, QR, Xu, YT: Oscillation criteria for certain even order nonlinear functional differential equations. Dyn. Syst. Appl. 13, 129-143 (2004)
Zhang, CH, Agarwal, RP, Bohner, M, Li, TX: New results for oscillatory behavior of even-order half-linear delay differential equations. Appl. Math. Lett. 26, 179-183 (2013)
Zhang, CH, Agarwal, RP, Li, TX: Oscillation and asymptotic behavior of higher-order delay differential equations with p-Laplacian like operators. J. Math. Anal. Appl. 409, 1093-1106 (2014)
Zhang, Q, Liu, S, Gao, L: Oscillation criteria for even-order half-linear functional differential equations with damping. Appl. Math. Lett. 24, 1709-1715 (2011)
Zhang, SY, Wang, QR: Oscillation of second-order nonlinear neutral dynamic equations on time scales. Appl. Math. Comput. 216, 2837-2848 (2010)
Acknowledgements
This work was supported by supported by the NNSF of China (No. 11271379), Foundation for Technology Innovation in Higher Education of Guangdong, China (No. 2013KJCX0136), and Foundation for Humanities and Social Science in Ministry of Education of P.R. China (No. 14YJC790141).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors completed the paper together. All authors read and approve the final manuscript.
Rights and permissions
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.
About this article
Cite this article
Zhang, SY., Wang, QR. & Agarwal, R.P. Asymptotics and oscillation of nth-order nonlinear differential equations with p-Laplacian like operators. Adv Differ Equ 2015, 357 (2015). https://doi.org/10.1186/s13662-015-0689-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0689-y