Skip to main content

On oscillation of second-order noncanonical neutral differential equations

Abstract

In the present work, we study the second-order neutral differential equation and formulate new oscillation criteria for this equation. Our conditions differ from the earlier ones. Also, our results are expansions and generalizations of some previous results. Examples to illustrate the main results are included.

1 Introduction

In this work, we introduce new oscillatory criteria for the second-order differential equations of the form

$$ \bigl( r ( l ) \bigl( x^{\alpha } ( l ) +q ( l ) x \bigl( \lambda ( l ) \bigr) \bigr) ^{\prime } \bigr) ^{\prime }+\sum _{i=1}^{m}h_{i} ( l ) g \bigl( x \bigl( \sigma _{i} ( l ) \bigr) \bigr) =0, $$
(1.1)

where \(l\geq l_{0}\). Throughout this work, the next conditions are satisfied:

(M1):

α is a ratio of odd natural numbers, \(\alpha >1\) and m is positive integer;

(M2):

\(r\in C^{1} ( [ l_{0},\infty ) , ( 0,\infty ) ) \), \(r^{\prime }\geq 0\), \(h_{i}\in C ( [ l_{0},\infty ) , [ 0,\infty ) ) \), \(q\in C ( [ l_{0},\infty ) , ( 0,1 ) ) \), \(\inf_{l\geq l_{0}}q ( l ) \neq 0\), q, h are not identically zero for large l;

(M3):

\(\lambda ,\sigma _{i}\in C^{1} ( [ l_{0},\infty ) , ( 0,\infty ) ) \), \(\lambda ( l ) \leq l\), \(\sigma _{i} ( l ) \geq l\), \(\sigma _{i}^{\prime } ( l ) >0\) and \(\lim_{l\rightarrow \infty }\lambda ( l ) = [4]\lim_{l \rightarrow \infty }\sigma _{i} ( l ) =\infty \);

(M4):

\(g\in C ( R,R ) \) and there exists \(k>0\) where k is a constant, such that \(g ( x ) \geq kx^{\alpha }\) for \(x\neq 0\).

We will assume that (1.1) is in the so-called noncanonical form

$$ \int _{l_{0}}^{\infty }\frac{1}{r ( s ) }\,\mathrm{d}s< \infty . $$
(1.2)

By a solution of (1.1), we mean a real-valued function \(x\in C ( [ l_{x},\infty ) ,R ) \) \(l_{x}\geq l_{0}\), which satisfies (1.1) on \([ l_{x},\infty ) \). and has the property \(x^{\alpha } ( l ) +q ( l ) x ( \lambda ( l ) ) \) and \(r ( l ) ( x^{\alpha } ( l ) +q ( l ) x ( \lambda ( l ) ) ) \) are continuously differentiable for \(l\in [ l_{x},\infty ) \). We only consider those solutions \(x ( l ) \) of (1.1) satisfying \(\sup \{ \vert x ( l ) \vert :l\geq l_{a} \} >0\) for all \(l_{a}\geq l_{x}\), and we assume that (1.1) possesses such solutions.

A solution of (1.1) is called oscillatory if it has arbitrarily many zeros on \([ l_{0},\infty ) \), and is called nonoscillatory otherwise. Equation (1.1) is said to be oscillatory if all of its solutions are oscillatory.

Recently, the oscillatory theory of functional differential equations has received great attention due to the existence of a number of applications in engineering and the natural sciences. There are some contributions in the field of oscillatory behavior of different classes of differential equations, we refer the reader to [112] and the references mentioned therein. The neutral delay differential equations have applications in electrical networks containing lossless transmission lines; these networks appear in high-speed computers. See [13].

Several scholars have studied the oscillatory behavior of second-order differential equations under various conditions. See [1423].

Some new oscillation criteria for the neutral nonlinear differential equation

$$ \bigl( r ( l ) \bigl( x ( l ) +q ( l ) x \bigl( \lambda ( l ) \bigr) \bigr) ^{ \prime } \bigr) ^{\prime }+\sum_{i=1}^{m}h_{i} ( l ) g \bigl( x \bigl( \sigma _{i} ( l ) \bigr) \bigr) =0 $$

are established by Xu et al. [21], where \(\alpha =1\), \(\sigma _{i} ( l ) \leq l\) and

$$ \int _{l_{0}}^{\infty }\frac{1}{r ( s ) }\,\mathrm{d}s= \infty . $$
(1.3)

Agarwal et al. [22] investigated the second-order differential equations with a sublinear neutral term

$$ \bigl( r ( l ) \bigl( x ( l ) +q ( l ) x^{\alpha } \bigl( \lambda ( l ) \bigr) \bigr) ^{\prime } \bigr) ^{\prime }+h ( l ) x \bigl( \sigma ( l ) \bigr) =0, $$

where \(0<\alpha \leq 1\), \(\lambda ( l ) \leq l\) and \(\sigma ( l ) \leq l\). They established some oscillation criteria under the condition (1.2) and (1.3).

Dzurina [23] established a new comparison theorem for deducing oscillation of the nonlinear differential equation

$$ \bigl( r ( l ) \bigl( x^{\prime } ( l ) \bigr) ^{\alpha } \bigr) ^{\prime }+h ( l ) x^{\alpha } \bigl( \sigma ( l ) \bigr) =0, $$

where α is a quotient of odd positive integers and \(\sigma ( l ) \leq l\).

The objective of this paper is to study the oscillatory properties of the second-order neutral differential equations in noncanonical form. By using Riccati transformations, we present a new conditions for oscillation of the studied equation. The results obtained here extend and complement to some known results in the literature. See for example [2123]. Some examples are provided to illustrate the relevance of new theorems.

2 Main results

In the rest of the work, we will adopt the following notation:

$$\begin{aligned}& v ( l ) :=x^{\alpha } ( l ) +q ( l ) x \bigl( \lambda ( l ) \bigr) , \\& \pi ( l ) = \int _{l}^{\infty } \frac{1}{r ( s ) }\,\mathrm{d}s, \end{aligned}$$

and

$$ \sigma ( l ) =\min \bigl\{ \sigma _{i} ( l ) , i=1,2,\ldots,m \bigr\} . $$

In order to prove our results, we will present the following lemma.

Lemma 2.1

Assume that \(x(l)\) is a positive solution of (1.1) on \([ l_{1},\infty ) \), where \(l_{1}\geq l_{0}\). Moreover, assume that (1.2) holds and

$$ \int _{l_{0}}^{\infty }\sum_{i=1}^{m}h_{i} ( s ) \,\mathrm{d}s=\infty . $$
(2.1)

Then

$$ v ( l ) >0, \qquad v^{\prime } ( l ) < 0, \qquad \bigl( r ( l ) v^{\prime } ( l ) \bigr) ^{ \prime }\leq 0, $$
(2.2)

and

$$ \biggl( \frac{v ( l ) }{\pi ( l ) } \biggr) ^{ \prime }\geq 0. $$
(2.3)

for \(l\geq l_{1}\).

Proof

Let \(x(l)\) be a nonoscillatory solution of (1.1). Without loss of generality, we may assume that \(x(l)>0\), \(x ( \lambda ( l ) ) >0\) and \(x ( \sigma ( l ) ) >0\) for \(l\geq l_{1}\geq l_{0}\). From (1.1), we have

$$\begin{aligned} \bigl( r ( l ) v^{\prime } ( l ) \bigr) ^{ \prime } =&-\sum _{i=1}^{m}h_{i} ( l ) g \bigl( x \bigl( \sigma _{i} ( l ) \bigr) \bigr) \\ \leq &-k\sum_{i=1}^{m}h_{i} ( l ) x^{\alpha } \bigl( \sigma _{i} ( l ) \bigr) \leq 0. \end{aligned}$$
(2.4)

Hence, the function \(r ( l ) v^{\prime } ( l ) \) is decreasing and therefore we shall consider the following two cases, either \(v^{\prime } ( l ) <0\) or \(v^{\prime } ( l ) >0\). Assume that there exists \(l_{2}\geq l_{1}\) such that \(v^{\prime } ( l ) >0\) on \([ l_{2},\infty ) \). Then

$$ x^{\alpha } ( l ) =v ( l ) -q ( l ) x \bigl( \lambda ( l ) \bigr) \geq v ( l ) -q ( l ) v \bigl( \lambda ( l ) \bigr) \geq v ( l ) \bigl( 1-q ( l ) \bigr) , \quad \text{for }l \geq l_{2}, $$

and so

$$ x^{\alpha } \bigl( \sigma _{i} ( l ) \bigr) \geq v \bigl( \sigma _{i} ( l ) \bigr) \bigl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \bigr) , $$
(2.5)

which together with (2.4) implies that

$$\begin{aligned} \bigl( r ( l ) v^{\prime } ( l ) \bigr) ^{ \prime } \leq &-k\sum _{i=1}^{m}h_{i} ( l ) \bigl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \bigr) v \bigl( \sigma _{i} ( l ) \bigr) \\ \leq &-kv \bigl( \sigma ( l ) \bigr) \sum_{i=1}^{m}h_{i} ( l ) \bigl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \bigr) . \end{aligned}$$
(2.6)

Define the function \(\omega ( l ) \) by the Riccati substitution

$$ \omega ( l ) = \frac{r ( l ) v^{\prime } ( l ) }{v ( \sigma ( l ) ) }. $$
(2.7)

Then \(\omega ( l ) >0\). Differentiating (2.7), using (1.1) and (2.5) we see that

$$\begin{aligned} \omega ^{\prime } ( l ) =&\frac{ ( r ( l ) v^{\prime } ( l ) ) ^{\prime }}{v ( \sigma ( l ) ) }- \frac{r ( l ) v^{\prime } ( l ) v^{\prime } ( \sigma ( l ) ) \sigma ^{\prime } ( l ) }{v^{2} ( \sigma ( l ) ) } \\ \leq &-k\sum_{i=1}^{m}h_{i} ( l ) \bigl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \bigr) - \frac{v^{\prime } ( \sigma ( l ) ) \sigma ^{\prime } ( l ) }{v ( \sigma ( l ) ) }\omega ( l ) \\ \leq &-k\sum_{i=1}^{m}h_{i} ( l ) \bigl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \bigr) . \end{aligned}$$
(2.8)

Integrating (2.8) from \(l_{2}\) to l, we obtain

$$\begin{aligned} \omega ( l ) \leq &\omega ( l_{2} ) -k \int _{l_{2}}^{l} \sum_{i=1}^{m}h_{i} ( s ) \bigl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \bigr) \,\mathrm{d}s \\ \leq &\omega ( l_{2} ) -k\min_{1\leq i\leq m} \inf _{l\geq l_{2}} \bigl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \bigr) \int _{l_{2}}^{l}\sum_{i=1}^{m}h_{i} ( s ) \,\mathrm{d}s. \end{aligned}$$
(2.9)

The above inequality, taking assumption (2.1) into account, implies that \(\omega ( l ) \rightarrow -\infty \) as \(l\rightarrow \infty \), which is a contradiction. Hence, the case \(v^{\prime } ( l ) >0\) is impossible. Thus, \(v ( l ) \) satisfies (2.2) for \(l\geq l_{1}\). On the other hand, it follows from the monotonicity of \(r ( l ) v^{\prime } ( l ) \) that

$$ v ( l ) \geq - \int _{l}^{\infty } \frac{r ( s ) v^{\prime } ( s ) }{r ( s ) } \,\mathrm{d}s\geq -r ( l ) v^{\prime } ( l ) \int _{l}^{\infty }\frac{1}{r ( s ) }\,\mathrm{d}s \geq -r ( l ) v^{\prime } ( l ) \pi ( l ) , $$
(2.10)

that is,

$$ v ( l ) +r ( l ) v^{\prime } ( l ) \pi ( l ) \geq 0. $$
(2.11)

Now

$$ \biggl( \frac{v ( l ) }{\pi ( l ) } \biggr) ^{ \prime }=\frac{\pi ( l ) v^{\prime } ( l ) -v ( l ) \pi ^{\prime } ( l ) }{\pi ^{2} ( l ) }. $$
(2.12)

From (2.11) and (2.12), we conclude that

$$ \biggl( \frac{v ( l ) }{\pi ( l ) } \biggr) ^{ \prime }=\frac{r ( l ) \pi ( l ) v^{\prime } ( l ) +v ( l ) }{r ( l ) \pi ^{2} ( l ) } \geq 0. $$

The proof of the lemma is complete. □

Theorem 2.1

Let condition (1.2) be satisfied. If

$$ 0< 1-q ( l ) \frac{\pi ( \lambda ( l ) ) }{\pi ( l ) }< 1, \qquad \inf_{l\geq l_{1}} \biggl( 1-q ( l ) \frac{\pi ( \lambda ( l ) ) }{\pi ( l ) } \biggr) >0, $$
(2.13)

and

$$ \int _{l_{0}}^{\infty }\frac{1}{r ( u ) } \int _{l_{0}}^{u}\sum _{i=1}^{m}h_{i} ( s ) \pi \bigl( \sigma _{i} ( s ) \bigr) \,\mathrm{d}s\,\mathrm{d}u=\infty , $$
(2.14)

then every solution \(x(l)\) of (1.1) is oscillatory.

Proof

Let \(x(l)\) be a nonoscillatory solution of (1.1). Without loss of generality, we may assume that \(x(l)>0\), \(x ( \lambda ( l ) ) >0\) and \(x ( \sigma ( l ) ) >0\) for \(l\geq l_{1}\geq l_{0}\). It is well known that (2.1) is necessary to verify (2.14). Since the function

$$ \int _{l_{0}}^{\infty }\sum_{i=1}^{m}h_{i} ( s ) \pi \bigl( \sigma _{i} ( s ) \bigr) \,\mathrm{d}s $$

is unbounded due to (1.2) and \(\pi ^{\prime } ( l ) <0\), (2.1) must hold. Using Lemma 2.1, \(v ( l ) \) satisfies (2.2) for \(l\geq l_{1}\). It follows from (2.3) that there is \(c>0\) such that

$$ \frac{v ( l ) }{\pi ( l ) }\geq c $$
(2.15)

and

$$\begin{aligned} x^{\alpha } ( l ) =&v ( l ) -q ( l ) x \bigl( \lambda ( l ) \bigr) \geq v ( l ) -q ( l ) v \bigl( \lambda ( l ) \bigr) \\ \geq &v ( l ) -q ( l ) \frac{\pi ( \lambda ( l ) ) v ( l ) }{\pi ( l ) }=v ( l ) \biggl( 1-q ( l ) \frac{\pi ( \lambda ( l ) ) }{\pi ( l ) } \biggr) . \end{aligned}$$
(2.16)

Using (2.15) and (2.16) in (1.1), we obtain

$$\begin{aligned} \bigl( r ( l ) v^{\prime } ( l ) \bigr) ^{ \prime } \leq &-k\sum _{i=1}^{m}h_{i} ( l ) v \bigl( \sigma _{i} ( l ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) \\ \leq &-k\sum_{i=1}^{m}h_{i} ( l ) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) c\pi \bigl( \sigma _{i} ( l ) \bigr) . \end{aligned}$$
(2.17)

Integrating (2.17) from \(l_{1}\) to l, we obtain

$$ r ( l ) v^{\prime } ( l ) -r ( l_{1} ) v^{\prime } ( l_{1} ) \leq -kc \int _{l_{1}}^{l} \sum_{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \pi \bigl( \sigma _{i} ( s ) \bigr) \,\mathrm{d}s, $$

that is,

$$ v^{\prime } ( l ) \leq -\frac{kc}{r ( l ) }\int _{l_{1}}^{l}\sum_{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \pi \bigl( \sigma _{i} ( s ) \bigr) \,\mathrm{d}s. $$
(2.18)

Integrating (2.18) again from \(l_{1}\) to l and taking into account (2.13) and (2.14), we have

$$\begin{aligned} v ( l ) \leq &v ( l_{1} ) - \int _{l_{1}}^{l} \frac{kc}{r ( u ) } \int _{l_{1}}^{u}\sum_{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \pi \bigl( \sigma _{i} ( s ) \bigr) \,\mathrm{d}s\,\mathrm{d}u \\ \leq &v ( l_{1} ) -kc\min_{1\leq i\leq m} \inf _{l \geq l_{1}} \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \int _{l_{1}}^{l} \frac{1}{r ( u ) } \int _{l_{1}}^{u}\sum_{i=1}^{m}h_{i} ( s ) \pi \bigl( \sigma _{i} ( s ) \bigr) \,\mathrm{d}s \,\mathrm{d}u. \end{aligned}$$

The above inequality, taking assumptions (2.13) and (2.14) into account, implies that \(v ( l ) \rightarrow -\infty \) as \(l\rightarrow \infty \), which is a contradiction. The proof of the theorem is complete. □

Theorem 2.2

Suppose that (1.2) and (2.1) hold. If

$$ 0< 1-q ( l ) \frac{\pi ( \lambda ( l ) ) }{\pi ( l ) }< 1 $$
(2.19)

and

$$ W^{\prime } ( l ) \geq \Biggl( k\sum_{i=1}^{m}h_{i} ( l ) M \bigl( \sigma _{i} ( l ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) \Biggr) W \bigl( \sigma ( l ) \bigr) $$
(2.20)

is oscillatory, where

$$ M ( l ) =k \int _{l}^{\infty }\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \pi \bigl( \sigma _{i} ( s ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \,\mathrm{d}s, $$

then every solution \(x(l)\) of (1.1) is oscillatory.

Proof

Let \(x(l)\) be a nonoscillatory solution of (1.1). Without loss of generality, we may assume that \(x(l)>0\), \(x ( \lambda ( l ) ) >0\) and \(x ( \sigma ( l ) ) >0\) for \(l\geq l_{1}\geq l_{0}\). Because of (2.1), from Lemma 2.1, we can conclude that \(v ( l ) \) satisfies (2.2). Now, since

$$ \bigl( v ( l ) +r ( l ) v^{\prime } ( l ) \pi ( l ) \bigr) ^{\prime }=v^{\prime } ( l ) + \bigl( r ( l ) v^{\prime } ( l ) \bigr) ^{\prime }\pi ( l ) +r ( l ) v^{ \prime } ( l ) \pi ^{\prime } ( l ) = \bigl( r ( l ) v^{\prime } ( l ) \bigr) ^{\prime } \pi ( l ) , $$
(2.21)

using (1.1) and (2.16), (2.21) becomes

$$\begin{aligned} \bigl( v ( l ) +r ( l ) v^{\prime } ( l ) \pi ( l ) \bigr) ^{\prime } \leq &-k\pi ( l ) \sum_{i=1}^{m}h_{i} ( l ) x^{\alpha } \bigl( \sigma _{i} ( l ) \bigr) \\ \leq &-k\pi ( l ) \sum_{i=1}^{m}h_{i} ( l ) v \bigl( \sigma _{i} ( l ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) \leq 0. \end{aligned}$$
(2.22)

Hence, we observe that \(\Theta ( l ) =v ( l ) +r ( l ) v^{ \prime } ( l ) \pi ( l ) \geq 0\) is nonincreasing. By integrating (2.22) from l to ∞ and using (2.11), we obtain

$$\begin{aligned} \Theta ( l ) \geq & \int _{l}^{\infty }k\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) v \bigl( \sigma _{i} ( s ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \,\mathrm{d}s \\ \geq &k \int _{l}^{\infty }\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \bigl( -r \bigl( \sigma _{i} ( s ) \bigr) v^{\prime } \bigl( \sigma _{i} ( s ) \bigr) \bigr) \pi \bigl( \sigma _{i} ( s ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \,\mathrm{d}s \\ \geq &k \int _{l}^{\infty }\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \bigl( -r ( s ) v^{\prime } ( s ) \bigr) \pi \bigl( \sigma _{i} ( s ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \,\mathrm{d}s \\ \geq & \bigl( -r ( l ) v^{\prime } ( l ) \bigr) k \int _{l}^{\infty }\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \pi \bigl( \sigma _{i} ( s ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \,\mathrm{d}s, \end{aligned}$$

since \(r ( l ) v^{\prime } ( l ) \pi ( l ) <0\), we get

$$\begin{aligned} v ( l ) \geq & \bigl( -r ( l ) v^{\prime } ( l ) \bigr) k \int _{l}^{\infty }\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \pi \bigl( \sigma _{i} ( s ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \,\mathrm{d}s \\ \geq &M ( l ) \bigl( -r ( l ) v^{\prime } ( l ) \bigr) . \end{aligned}$$
(2.23)

From (2.17), we have

$$ \bigl( r ( l ) v^{\prime } ( l ) \bigr) ^{ \prime }\leq -k\sum _{i=1}^{m}h_{i} ( l ) v \bigl( \sigma _{i} ( l ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) . $$
(2.24)

Using (2.23) and (2.24), we see that \(W ( l ) =-r ( l ) v^{\prime } ( l ) \) is a positive solution of the differential inequality

$$ W^{\prime } ( l ) \geq k\sum_{i=1}^{m}h_{i} ( l ) M \bigl( \sigma _{i} ( l ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) W \bigl( \sigma _{i} ( l ) \bigr) . $$

From the increasing property of \(W ( l ) \), we get

$$ W^{\prime } ( l ) \geq k\sum_{i=1}^{m}h_{i} ( l ) M \bigl( \sigma _{i} ( l ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) W \bigl( \sigma ( l ) \bigr) , $$

that is,

$$ W^{\prime } ( l ) \geq \Biggl( k\sum_{i=1}^{m}h_{i} ( l ) M \bigl( \sigma _{i} ( l ) \bigr) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) \Biggr) W \bigl( \sigma ( l ) \bigr) , $$

which is a contradiction. The proof of the theorem is complete. □

Theorem 2.3

Suppose that (1.2), (2.1) and (2.19)hold. If

$$ \int _{l_{0}}^{\infty } \Biggl( k\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \frac{\pi ( \sigma _{i} ( s ) ) }{\pi ( s ) }- \frac{1}{4r ( s ) \pi ( s ) } \Biggr) \,\mathrm{d}s=\infty , $$
(2.25)

then every solution \(x(l)\) of (1.1) is oscillatory.

Proof

Let \(x(l)\) be a nonoscillatory solution of (1.1). Without loss of generality, we may assume that \(x(l)>0\), \(x ( \lambda ( l ) ) >0\) and \(x ( \sigma ( l ) ) >0\) for \(l\geq l_{1}\geq l_{0}\). Because of (2.1), from Lemma 2.1, we can conclude that \(v ( l ) \) satisfies (2.2). We now define the following function:

$$ \phi ( l ) = \frac{r ( l ) v^{\prime } ( l ) }{v ( l ) }, $$
(2.26)

for \(l\geq l_{1}\). Differentiating (2.26), we have

$$ \phi ^{\prime } ( l ) = \frac{ ( r ( l ) v^{\prime } ( l ) ) ^{\prime }}{v ( l ) }- \frac{r ( l ) ( v^{\prime } ( l ) ) ^{2}}{v^{2} ( l ) }, $$
(2.27)

from (2.24) and (2.27), we have

$$ \phi ^{\prime } ( l ) \leq \frac{-k\sum_{i=1}^{m}h_{i} ( l ) v ( \sigma _{i} ( l ) ) ( 1-q ( \sigma _{i} ( l ) ) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } ) }{v ( l ) }- \frac{r ( l ) ( v^{\prime } ( l ) ) ^{2}}{v^{2} ( l ) }. $$

Because of (2.3) and (2.26), we conclude

$$ \phi ^{\prime } ( l ) \leq -k\sum_{i=1}^{m}h_{i} ( l ) \biggl( 1-q \bigl( \sigma _{i} ( l ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( l ) ) ) }{\pi ( \sigma _{i} ( l ) ) } \biggr) \frac{\pi ( \sigma _{i} ( l ) ) }{\pi ( l ) }- \frac{\phi ^{2} ( l ) }{r ( l ) }. $$

Multiplying this inequality by \(\pi ( l ) \) and integrating the resulting inequality from \(l_{1}\) to l we find

$$\begin{aligned} \pi ( l ) \phi ( l ) -\pi ( l_{1} ) \phi ( l_{1} ) \leq &-k \int _{l_{1}}^{l}\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \frac{\pi ( \sigma _{i} ( s ) ) }{\pi ( s ) }\,\mathrm{d}s \\ &{}- \int _{l_{1}}^{l}\pi ( s ) \frac{\phi ^{2} ( s ) }{r ( s ) } \,\mathrm{d}s- \int _{l_{1}}^{l} \frac{\phi ( s ) }{r ( s ) }\,\mathrm{d}s, \end{aligned}$$
(2.28)

using the inequality

$$ -B\Omega +A\Omega ^{ ( \alpha +1 ) /\alpha }\geq \frac{-\alpha ^{\alpha }}{ ( \alpha +1 ) ^{\alpha +1}} \frac{B^{\alpha +1}}{A^{\alpha }}, \quad A,B>0, $$
(2.29)

where

$$ A=\pi ( s ) /r ( s ) ,\qquad B=1/r ( s ) \quad \text{and}\quad \Omega =-\phi ( l ) , $$

thus (2.28) becomes

$$\begin{aligned} \pi ( l ) \phi ( l ) -\pi ( l_{1} ) \phi ( l_{1} ) \leq &-k \int _{l_{1}}^{l}\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \frac{\pi ( \sigma _{i} ( s ) ) }{\pi ( s ) }\,\mathrm{d}s \\ &{}+\frac{1}{4} \int _{l_{1}}^{l} \frac{1}{r ( s ) \pi ( s ) }\,\mathrm{d}s. \end{aligned}$$
(2.30)

From (2.10) and (2.26), we have

$$ 1\geq - \frac{r ( l ) v^{\prime } ( l ) \pi ( l ) }{v ( l ) }=-\phi ( l ) \pi ( l ) . $$
(2.31)

In view of (2.30) and (2.31), we obtain

$$ 1+\pi ( l_{1} ) \phi ( l_{1} ) \geq \int _{l_{1}}^{l} \Biggl( k\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \frac{\pi ( \sigma _{i} ( s ) ) }{\pi ( s ) }- \frac{1}{4r ( s ) \pi ( s ) } \Biggr) \,\mathrm{d}s, $$

which is a contradiction. The proof of the theorem is complete. □

Now, we will present examples to illustrate our main results.

Example 2.1

Consider the second-order neutral differential equation

$$ \biggl( l^{2} \biggl( x^{3} ( l ) +\frac{1}{3}x \biggl( \frac{l}{2} \biggr) \biggr) ^{\prime } \biggr) ^{\prime }+81l^{2}x^{3} ( 2l ) +l^{4}x^{3} ( 3l ) =0, $$
(2.32)

where \(k=1 \) and \(m=2\). Now, we note that \(\alpha =3>1\), \(r ( l ) =l^{2}\), \(q ( l ) =1/3\), \(\lambda ( l ) =l/2\), \(h_{1} ( l ) =81l^{2}\), \(h_{2} ( l ) =l^{4}\), \(\sigma _{1} ( l ) =2l\) and \(\sigma _{2} ( l ) =3l\). Then it is easy to see that

$$\begin{aligned}& \pi ( l ) = \int _{l}^{\infty } \frac{1}{r ( s ) }\,\mathrm{d}s= \int _{l}^{\infty }s^{-2}\,\mathrm{d}s= \frac{1}{l}, \\& 0< 1-q ( l ) \frac{\pi ( \lambda ( l ) ) }{\pi ( l ) }=1- \biggl( \frac{1}{3} \biggr) \frac{1/ ( l/2 ) }{1/l}=\frac{1}{3}< 1, \end{aligned}$$

and

$$ \int _{l_{0}}^{\infty }\frac{1}{r ( u ) } \int _{l_{0}}^{u}\sum _{i=1}^{m}h_{i} ( s ) \pi \bigl( \sigma _{i} ( s ) \bigr) \,\mathrm{d}s\,\mathrm{d}u= \int _{l_{0}}^{\infty } \frac{1}{u^{2}}\int _{l_{0}}^{u} \biggl( 81s^{2} \frac{1}{2s}+s^{4}\frac{1}{3s} \biggr) \mathrm{d}s\,\mathrm{d}u=\infty . $$

By using Theorem (2.1), we see that (2.32) is oscillatory.

Example 2.2

Consider the second-order neutral differential equation

$$ \bigl( l^{3} \bigl( x^{5} ( l ) +q_{0}x ( k_{1}l ) \bigr) ^{\prime } \bigr) ^{\prime }+h_{0}lx^{5} ( k_{2}l ) +h_{1}lx^{5} ( k_{3}l ) =0, $$
(2.33)

where \(k=1\), \(m=2\), \(k_{1}\in ( 0,1 ] \), \(k_{2}\geq 1\) and \(k_{3}\geq 1\). Now, we note that \(q ( l ) =q_{0}\), \(q_{0}\in ( 0,k_{1}^{2} ) \), \(\alpha =5>1\), \(r ( l ) =l^{3}\), \(\lambda ( l ) =k_{1}l\), \(h_{1} ( l ) =h_{0}l\), \(h_{0}>0\), \(h_{2} ( l ) =h_{\ast }l\), \(h_{\ast }>0\), \(\sigma _{1} ( l ) =k_{2}l\) and \(\sigma _{2} ( l ) =k_{3}l\). Then it is easy to see that

$$\begin{aligned}& \pi ( l ) = \int _{l}^{\infty } \frac{1}{r ( s ) }\,\mathrm{d}s= \int _{l}^{\infty }s^{-3}\,\mathrm{d}s= \frac{1}{2l^{2}}, \\& \int _{l_{0}}^{\infty }\sum_{i=1}^{m}h_{i} ( s ) \mathrm{d}s= \int _{l_{0}}^{\infty } ( h_{0}s+h_{\ast }s ) \,\mathrm{d}s= \infty , \\& 0< 1-q ( l ) \frac{\pi ( \lambda ( l ) ) }{\pi ( l ) }=1-q_{0} \frac{1}{k_{1}^{2}}< 1, \end{aligned}$$

and

$$\begin{aligned} & \int _{l_{0}}^{\infty } \Biggl( k\pi ( s ) \sum _{i=1}^{m}h_{i} ( s ) \biggl( 1-q \bigl( \sigma _{i} ( s ) \bigr) \frac{\pi ( \lambda ( \sigma _{i} ( s ) ) ) }{\pi ( \sigma _{i} ( s ) ) } \biggr) \frac{\pi ( \sigma _{i} ( s ) ) }{\pi ( s ) }-\frac{1}{4r ( s ) \pi ( s ) } \Biggr) \,\mathrm{d}s \\ &\quad = \int _{l_{0}}^{\infty } \biggl( \frac{1}{2s^{2}} \biggl( h_{0}s \biggl( 1-q_{0}\frac{1}{k_{1}^{2}} \biggr) \frac{1}{k_{2}^{2}}+h_{\ast }s \biggl( 1-q_{0} \frac{1}{k_{1}^{2}} \biggr) \frac{1}{k_{3}^{2}} \biggr) - \frac{1}{4s^{3} ( 1/ ( 2s^{2} ) ) } \biggr) \,\mathrm{d}s, \end{aligned}$$

therefore, we find that the condition (2.25) is satisfied if

$$ h_{0}\frac{1}{k_{2}^{2}}+h_{\ast }\frac{1}{k_{3}^{2}}> \frac{1}{ ( 1-q_{0}\frac{1}{k_{1}^{2}} ) }. $$
(2.34)

By using Theorem (2.3), we see that (2.33) is oscillatory if (2.34) holds.

3 Conclusions

In this work, we have obtained some new oscillation criteria for (1.1) in the case where \(v ( l ) :=x^{\alpha } ( l ) +q ( l ) x ( \lambda ( l ) ) \). These results ensure that all solutions of the equation studied are oscillatory. The results obtained here extend and complement some known results in the literature. See for example [2123]. It will be of interest to investigate the higher-order equations of the form

$$ \bigl( r ( l ) \bigl( x^{\alpha } ( l ) +q ( l ) x \bigl( \lambda ( l ) \bigr) \bigr) ^{ ( n-1 ) } \bigr) ^{\prime }+\sum _{i=1}^{m}h_{i} ( l ) g \bigl( x \bigl( \sigma _{i} ( l ) \bigr) \bigr) =0, $$

where \(g ( x ) \geq kx^{\alpha }\).

Availability of data and materials

No data sharing (where no datasets are produced).

References

  1. Li, T., Han, Z., Zhao, P., Sun, S.: Oscillation of even-order neutral delay differential equations. Adv. Differ. Equ. 2010, 184180, 1–9 (2010)

    Article  MathSciNet  Google Scholar 

  2. Muhib, A., Abdeljawad, T., Moaaz, O., Elabbasy, E.M.: Oscillatory properties of odd-order delay differential equations with distribution deviating arguments. Appl. Sci. 10, 5952 (2020)

    Article  Google Scholar 

  3. Santra, S.S., Dassios, I., Ghosh, T.: On the asymptotic behavior of a class of second-order non-linear neutral differential equations with multiple delays. Axioms 9, 134 (2020)

    Article  Google Scholar 

  4. Tunc, E.: Oscillatory and asymptotic behavior of third order neutral differential equations with distributed deviating arguments. Electron. J. Differ. Equ. 2017, 16, 1–12 (2017)

    Article  MathSciNet  Google Scholar 

  5. Moaaz, O., Dassios, I., Bin Jebreen, H., Muhib, A.: Criteria for the nonexistence of Kneser solutions of DDEs and their applications in oscillation theory. Appl. Sci. 11, 425 (2021)

    Article  Google Scholar 

  6. Liu, H., Meng, F., Liu, P.: Oscillation and asymptotic analysis on a new generalized Emden–Fowler equation. Appl. Math. Comput. 219, 2739–2748 (2012)

    MathSciNet  MATH  Google Scholar 

  7. Bazighifan, O., Moaaz, O., El-Nabulsi, R.A., Muhib, A.: Some new oscillation results for fourth-order neutral differential equations with delay argument. Symmetry 12, 1248 (2020)

    Article  Google Scholar 

  8. Baculikova, B.: Properties of third-order nonlinear functional differential equations with mixed arguments. Abstr. Appl. Anal. 2011, 857860 1–15 (2011)

    Article  MathSciNet  Google Scholar 

  9. Li, T., Rogovchenko, Yu.V.: On asymptotic behavior of solutions to higher order sublinear Emden–Fowler delay differential equations. Appl. Math. Lett. 67, 53–59 (2017)

    Article  MathSciNet  Google Scholar 

  10. Moaaz, O., Dassios, I., Muhsin, W., Muhib, A.: Oscillation theory for non-linear neutral delay differential equations of third order. Appl. Sci. 10, 4855 (2020)

    Article  Google Scholar 

  11. Aktas, M.F., Tiryaki, A., Zafer, A.: Oscillation criteria for third-order nonlinear functional differential equations. Appl. Math. Lett. 23(7), 756–762 (2010)

    Article  MathSciNet  Google Scholar 

  12. Moaaz, O., Cesarano, C., Muhib, A.: Some new oscillation results for fourth-order neutral differential equations. Eur. J. Pure Appl. Math. 13(2), 185–199 (2020)

    Article  MathSciNet  Google Scholar 

  13. Hale, J.K., Lunel, S.M.V.: Introduction to Functional Differential Equations. Springer, New York (1993)

    Book  Google Scholar 

  14. Liu, L., Bai, Y.: New oscillation criteria for second-order nonlinear neutral delay differential equations. J. Comput. Appl. Math. 231, 657–663 (2009)

    Article  MathSciNet  Google Scholar 

  15. Zhao, J., Meng, F.: Oscillation criteria for second-order neutral equations with distributed deviating argument. Appl. Math. Comput. 206, 485–493 (2008)

    MathSciNet  MATH  Google Scholar 

  16. Grace, S.R., Dzurina, J., Jadlovska, I., Li, T.: An improved approach for studying oscillation of second-order neutral delay differential equations. J. Inequal. Appl. 2018, 193 (2018)

    Article  MathSciNet  Google Scholar 

  17. Moaaz, O., Anis, M., Baleanu, D., Muhib, A.: More effective criteria for oscillation of second-order differential equations with neutral arguments. Mathematics 8, 986 (2020)

    Article  Google Scholar 

  18. Wu, Y., Yu, Y., Zhang, J., Xiao, J.: Oscillation criteria for second order Emden–Fowler functional differential equations of neutral type. Appl. Math. Comput. 219, 2739–2748 (2012)

    MathSciNet  Google Scholar 

  19. Xu, R., Meng, F.: Some new oscillation criteria for second order quasi-linear neutral delay differential equations. Appl. Math. Comput. 182, 797–803 (2006)

    MathSciNet  MATH  Google Scholar 

  20. Xu, Z.T., Weng, P.X.: Oscillation of second-order neutral equations with distributed deviating arguments. J. Comput. Appl. Math. 202, 460–477 (2007)

    Article  MathSciNet  Google Scholar 

  21. Xu, R., Meng, F.: New Kamenev-type oscillation criteria for second order neutral nonlinear differential equations. Appl. Math. Comput. 188, 1364–1370 (2007)

    MathSciNet  MATH  Google Scholar 

  22. Agarwal, R.P., Bohner, M., Li, T., Zhang, C.: Oscillation of second-order differential equations with a sublinear neutral term. Carpath. J. Math. 30(1), 1–6 (2014)

    MathSciNet  MATH  Google Scholar 

  23. Dzurina, J.: Oscillatory behavior of the second order noncanonical differential equations. Appl. Math. Lett. 73, 62–68 (2017)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The author expresses sincere thanks to the editors.

Funding

For this paper, no direct funding.

Author information

Authors and Affiliations

Authors

Contributions

This article has one author. The author read and approved the final manuscript.

Corresponding author

Correspondence to Ali Muhib.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Muhib, A. On oscillation of second-order noncanonical neutral differential equations. J Inequal Appl 2021, 79 (2021). https://doi.org/10.1186/s13660-021-02595-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-021-02595-x

MSC

Keywords