Noncanonical Third-Order Advanced Differential Equations of Unstable Type: Oscillation and Property B via Canonical Transform

Abstract

In this paper, without assuming any extra conditions, the third-order unstable noncaonical advanced differential equation is changed into a canonical form that reduces the number of classes of nonoscillatory solutions into two instead of four. Using comparison and integral averaging method, new sufficient conditions are obtained so that all solutions to have Property B or oscillate. Specific numerical examples are provided to demonstrate the importance and the significance of the main results.

1. Introduction

This paper is concerned with the oscillation and asymptotic behavior of solutions of third-order unstable type equation of the form

$${\left(a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }=q(\mathsf{\ell })y^{\alpha }\left(\sigma (\mathsf{\ell })\right),\mathsf{\ell }\ge {\mathsf{\ell }}_0>0.$$

(1)

Here after assume that:

(H₁)

$\alpha$ is a quotient of odd positive integers;

(H₂)

$a_2,a_1,q\in C([{\mathsf{\ell }}_0,\infty ),(0,\infty )),$$\sigma \in C^1([{\mathsf{\ell }}_0,\infty ),\mathbb{R})$ such that ${\sigma }^{\prime }(\mathsf{\ell })>0$ and $\sigma (\mathsf{\ell })\ge \mathsf{\ell }$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_0$;

(H₃)

the Equation (1) is in noncanonical form, that is,

$${\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{a_2(\mathsf{\ell })}}d\mathsf{\ell }<\infty \mathrm{and}{\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{a_1(\mathsf{\ell })}}d\mathsf{\ell }<\infty .$$

By a solution of Equation (1), it is meant a function $y:[T_y,\infty )\to \mathbb{R},$$T_x\ge {\mathsf{\ell }}_0$ such that $y(\mathsf{\ell }),$$a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })$ and $a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })\right)}^{\prime }$ are continuously differentiable and satisfy (1) on $[T_y,\infty ).$ We consider only those solutions $y(\mathsf{\ell })$ of (1) that satisfy $sup\left\{\right|y(\mathsf{\ell })|:\mathsf{\ell }\ge T\}>0$ for all $T\ge T_y,$ and we tacitly assume that (1) possesses such solutions. A solution of (1) is said to be oscillatory if it has a sequence of zeros tending to infinity, and nonoscillatory otherwise. We say that Equation (1) has Property B if every nonoscillatory solution of Equation (1) tends to ∞ as $\mathsf{\ell }\to \infty$.

Differential equations with advanced argument are used to describe the event that depends on both present and future time. By using an advanced argument into the evolution equation to take into account future influence that may actually affect the present, makes such equations a helpful tool in modeling many problems appeared in economics, social sciences, as well as, in engineering and technology.

So, the differential equations with advanced argument used to make models that includes a description of a future time, which is taken into consideration in various life’s problems, see [1] and the references cited therein. In view of the above mentioned practical applications of various types of advanced differential equations (see [2]), we see that in the last three decades a great amount of research interest received in the qualitative theory of such equations.

The oscillatory properties of the following differential equation

$${\left(a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }+q(\mathsf{\ell })y^{\alpha }\left(\sigma (\mathsf{\ell })\right)=0,$$

(2)

or its particular cases or its generalizations has been extensively investigated in the literature. See, for example, the monographs [3,4,5], the research papers [1,6,7,8,9,10,11] and the sources cited therein. However from the review of literature, there are a few results available in the literature concerning the oscillatory and asymptotic behavior of solutions of the advanced type Equation (1) and its particular cases or its generalizations, see, for example, the monographs [5,12], the research papers [1,6,10,13,14,15,16,17] and the sources cited therein.

In [7], the authors studied the oscillatory and property B for the Equation (1) when it is in canonical form, that is,

$${\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{a_2(\mathsf{\ell })}}d\mathsf{\ell }={\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{a_1(\mathsf{\ell })}}d\mathsf{\ell }=\infty$$

and in [18], the authors discussed the oscillatory properties of Equation (1) when it is in semi-canonical form, that is,

$${\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{a_2(\mathsf{\ell })}}d\mathsf{\ell }<\infty \mathrm{and}{a}_1(\mathsf{\ell })\equiv 1.$$

Further in [13,19,20,21], the authors established criteria for Property B and oscillation of the mixed type equation of the form

$${\left(a_2(\mathsf{\ell }){\left({\left(y^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\alpha }\right)}^{\prime }=q(\mathsf{\ell })y^{\alpha }\left(\sigma (\mathsf{\ell })\right)+p(\mathsf{\ell })y^{\beta }\left(\tau (\mathsf{\ell })\right),$$

(3)

with $\sigma (\mathsf{\ell })<\mathsf{\ell },$$\tau (\mathsf{\ell })>\mathsf{\ell },$ when canonical or semi-canonical condition holds.

Therefore in this paper, we consider the Equation (1) in noncanonical form and then we investigate the oscillatory and Property B for the Equation (2). This is obtained by transforming the Equation (1) into canonical type equation and then using comparison technique and Koplatadze et al. [6] integral averaging method to get Property B and oscillation of all solutions of (1). This type of integral averaging method involves more than two integrals in the condition so that one may get better results than the usual integral averaging method. Hence, the results obtained in this paper are new and fill the gap in the oscillation theory of unstable type functional differential equations.

The paper is structured so that in Section 2, we give the preliminary results and in Section 3, primary oscillation results are presented. Three Euler type differential equations are provided as examples to support the theoretical arguments provided in Section 4. Section 5 concludes with a succinct statement.

2. Preliminary Results

First, we transform the Equation (1) into a canonical form. For the sake of clarity, we list the functions to be used in the paper:

$$\begin{array}{ccc}\hfill {\mathrm{\Omega }}_j(\mathsf{\ell })& =& {\int }_{\mathsf{\ell }}^{\infty }{\displaystyle \frac{ds}{a_j\left(s\right)}},j=1,2,\mathrm{\Omega }(\mathsf{\ell })={\int }_{\mathsf{\ell }}^{\infty }{\displaystyle \frac{{\mathrm{\Omega }}_2\left(s\right)}{a_1\left(s\right)}}ds,\hfill \\ \hfill {\mathrm{\Omega }}_{*}(\mathsf{\ell })& =& {\int }_{\mathsf{\ell }}^{\infty }{\displaystyle \frac{{\mathrm{\Omega }}_1\left(s\right)}{a_2\left(s\right)}}ds,b_1(\mathsf{\ell })={\displaystyle \frac{a_1(\mathsf{\ell }){\mathrm{\Omega }}^2(\mathsf{\ell })}{{\mathrm{\Omega }}_{*}(\mathsf{\ell })}},b_2(\mathsf{\ell })={\displaystyle \frac{a_2(\mathsf{\ell }){\mathrm{\Omega }}_{*}^2(\mathsf{\ell })}{\mathrm{\Omega }(\mathsf{\ell })}}.\hfill \end{array}$$

Next, we use Theorem 2.1 of [10] instead of the result due to Trench [22] to transform the Equation (1) into the equivalent canonical form as

$${\left(b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell }){\left({\displaystyle \frac{y(\mathsf{\ell })}{\mathrm{\Omega }(\mathsf{\ell })}}\right)}^{\prime }\right)}^{\prime }\right)}^{\prime }={\mathrm{\Omega }}_{*}(\mathsf{\ell })q(\mathsf{\ell })y^{\alpha }\left(\sigma (\mathsf{\ell })\right),$$

(4)

with

$${\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{ds}{b_j\left(s\right)}}=\infty ,j=1,2.$$

Now, letting $z(\mathsf{\ell })={\displaystyle \frac{y(\mathsf{\ell })}{\mathrm{\Omega }(\mathsf{\ell })}}$ in $\left(4\right)$ and using the notation

$$Q(\mathsf{\ell })={\mathrm{\Omega }}_{*}(\mathsf{\ell }){\mathrm{\Omega }}^{\alpha }\left(\sigma (\mathsf{\ell })\right)q(\mathsf{\ell }),$$

the following results in [10] are immediate.

Theorem 1.

The noncanonical nonlinear Equation (1) possesses a solution $y(\mathsf{\ell })$ if and only if the canonical equation

$${\left(b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }=Q(\mathsf{\ell })z^{\alpha }\left(\sigma (\mathsf{\ell })\right),$$

(5)

has the solution $z(\mathsf{\ell })={\displaystyle \frac{y(\mathsf{\ell })}{\mathrm{\Omega }(\mathsf{\ell })}}.$

Corollary 1.

The noncanonical nonlinear Equation (1) has an eventually positive solution if and only the Equation (5) has an eventually positive solution.

Corollary 1 essentially simplifies the investigation of (1), since for the Equation (5), we deal with only two classes of eventually positive solutions instead of four, namely either

$$N_1:z(\mathsf{\ell })>0,b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })>0,b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }<0,{\left(b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }>0,$$

or

$$N_3:z(\mathsf{\ell })>0,b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })>0,b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }>0,{\left(b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }>0,$$

for sufficiently large $\mathsf{\ell }.$

Definition 1.

Following [6], one can say that (5) has Property B if every nonoscillatory solution of (5) satisfies the class $N_3,$ that is, the class $N_1$ is empty.

The importance of Property B consists in the following fact. For the particular case of (5), namely, for the differential equation

$$y^{‴}(\mathsf{\ell })=q(\mathsf{\ell })y(\mathsf{\ell }),$$

there always exists a nonoscillatory solution satisfying class $N_3.$ Therefore, the interest of the researchers has been aimed in finding criteria for all nonoscillatory solutions of such equations satisfy just class $N_3.$ Hence various kinds of sufficient conditions for Property B appeared.

If we consider the Equation (1) directly, then the nonoscillatory solutions of (1) satisfies one of the following four classes:

(I)

$y(\mathsf{\ell })>0,$$a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })>0,$$a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })\right)}^{\prime }<0,$${\left(a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }>0;$

(II)

$y(\mathsf{\ell })>0,$$a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })>0,$$a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })\right)}^{\prime }>0,$${\left(a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }>0;$

(III)

$y(\mathsf{\ell })>0,$$a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })<0,$$a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })\right)}^{\prime }>0,$${\left(a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }>0;$

(IV)

$y(\mathsf{\ell })>0,$$a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })<0,$$a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })y^{\prime }(\mathsf{\ell })\right)}^{\prime }<0,$${\left(a_2(\mathsf{\ell }){\left(a_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }>0,$

for all $\mathsf{\ell }\ge {\mathsf{\ell }}_1.$ Hence to get property B of (1) one has to eliminate the three cases (I), (III) and (IV). However in this paper, by transforming the Equation (1) into canonical form (5), the number of cases of nonoscillatory solutions reduced to two without assuming any extra conditions. So to get Property B, now one has to eliminate only one condition instead of three. Therefore, the results obtained in this paper are new and complement to the existing ones.

3. Main Results

First, we derive some important monotonic properties and estimates of nonoscillatory solutions, that will be used in our main results.

For convenient let us denote

$$B_j(\mathsf{\ell })={\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_j\left(s\right)}}ds,j=1,2,Q_1(\mathsf{\ell })={\displaystyle \frac{1}{b_2(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }Q\left(s\right)ds,$$

where ${\mathsf{\ell }}_{*}$ is large enough.

Lemma 1.

Let $z(\mathsf{\ell })\in N_3$ be a positive solution of $\left(5\right).$ Then $z(\mathsf{\ell })$ is increasing and

$$\underset{\mathsf{\ell }\to \infty }{lim}z(\mathsf{\ell })=\infty \mathit{and}{\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}\mathit{is}\mathit{eventually}\mathit{increasing}.$$

(6)

Proof. 

Assume that $z(\mathsf{\ell })$ is an eventually positive solution of $\left(5\right)$ belonging to $N_3$, let us say for $\mathsf{\ell }\ge {\mathsf{\ell }}_{*}.$ Then $z(\mathsf{\ell })$ and $b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })$ are increasing for all $\mathsf{\ell }\ge {\mathsf{\ell }}_1\ge {\mathsf{\ell }}_{*}.$ Now

$$z(\mathsf{\ell })=z\left({\mathsf{\ell }}_1\right)+{\int }_{{\mathsf{\ell }}_1}^{\mathsf{\ell }}{\displaystyle \frac{b_1\left(s\right)z^{\prime }\left(s\right)}{b_1\left(s\right)}}ds\ge b_1\left({\mathsf{\ell }}_1\right)z^{\prime }\left({\mathsf{\ell }}_1\right){\int }_{{\mathsf{\ell }}_1}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_1\left(s\right)}}ds,$$

(7)

which implies that $z(\mathsf{\ell })\to \infty$ as $\mathsf{\ell }\to \infty .$ Since $b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }$ is also increasing, one can easily prove that $b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\to \infty$ as $\mathsf{\ell }\to \infty .$ Again from $\left(7\right)$, we have

$$\begin{array}{c}\hfill z(\mathsf{\ell })\le z\left({\mathsf{\ell }}_1\right)-b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell }){\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_1\left(s\right)}}ds+B_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })b_1(\mathsf{\ell }).\end{array}$$

Using $b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\to \infty$ as $\mathsf{\ell }\to \infty$ in the last inequality, we obtain

$$z(\mathsf{\ell })\le B_1(\mathsf{\ell })b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell }),$$

which yields

$${\left({\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}\right)}^{\prime }={\displaystyle \frac{b_1(\mathsf{\ell })b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })-z(\mathsf{\ell })}{b_1(\mathsf{\ell })B_1^2(\mathsf{\ell })}}\ge 0.$$

Hence ${\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}$ is increasing and this ends the proof. □

Lemma 2.

Let $z(\mathsf{\ell })\in N_1$ be a positive solution of $\left(5\right).$ Then

$${\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}\mathit{is}\mathit{eventually}\mathit{decreasing}.$$

(8)

Proof. 

Assume that $z(\mathsf{\ell })$ is an eventually positive solution of $\left(5\right)$ with $z(\mathsf{\ell })\in N_1$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_1\ge {\mathsf{\ell }}_{*}.$ Since $b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })$ is decreasing, we see that

$$\begin{array}{c}\hfill z(\mathsf{\ell })=z\left({\mathsf{\ell }}_1\right)+{\int }_{{\mathsf{\ell }}_1}^{\mathsf{\ell }}{\displaystyle \frac{b_1\left(s\right)z^{\prime }\left(s\right)}{b_1\left(s\right)}}ds\ge B_1(\mathsf{\ell })z(\mathsf{\ell })b_1(\mathsf{\ell }).\end{array}$$

This implies that

$${\left({\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}\right)}^{\prime }={\displaystyle \frac{b_1(\mathsf{\ell })b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })-z(\mathsf{\ell })}{b_1(\mathsf{\ell })B_1^2(\mathsf{\ell })}}\le 0.$$

Hence ${\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}$ is decreasing. This ends the proof. □

Lemma 3.

Assume that $z(\mathsf{\ell })\in N_1$ is a positive solution of $\left(5\right).$ Then

$$z\left(\sigma (\mathsf{\ell })\right)\ge B(\sigma (\mathsf{\ell }),\mathsf{\ell })b_1\left(\sigma (\mathsf{\ell })\right)z^{\prime }\left(\sigma (\mathsf{\ell })\right),$$

(9)

where

$$B(\sigma (\mathsf{\ell }),\mathsf{\ell })={\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{\displaystyle \frac{1}{b_1\left(s\right)}}ds.$$

Proof. 

Assume that $z(\mathsf{\ell })$ is an eventually positive solution of $\left(5\right)$ such that $z(\mathsf{\ell })\in N_1$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_{*}.$ Using $b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })$ being decreasing, we have

$$\begin{array}{ccc}\hfill z\left(\sigma \right(\mathsf{\ell }\left)\right)& =& z(\mathsf{\ell })+{\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{\displaystyle \frac{b_1\left(s\right)z^{\prime }\left(s\right)}{b_1\left(s\right)}}ds\hfill \\ & \ge & B(\sigma (\mathsf{\ell }),\mathsf{\ell })b_1\left(\sigma (\mathsf{\ell })\right)z^{\prime }\left(\sigma (\mathsf{\ell })\right).\hfill \end{array}$$

The proof is complete. □

Next, we provide some criteria for the class $N_1$ of $\left(5\right)$ to be empty, which in turn implies the property B of $\left(1\right).$

Theorem 2.

Let $y(\mathsf{\ell })$ be a positive solution of (1). If $\alpha =1$ and

$$\underset{\mathsf{\ell }\to \infty }{lim\; inf}{\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{\displaystyle \frac{1}{b_1\left(s\right)}}{\int }_s^{\infty }{\displaystyle \frac{1}{b_2\left(s_1\right)}}{\int }_{s_1}^{\infty }Q\left(s_2\right)d{s}_{2}d{s}_{1}ds>{\displaystyle \frac{1}{e}},$$

(10)

then Equation (1) has Property B.

Proof. 

Since $y(\mathsf{\ell })$ is a positive solution of $\left(1\right),$ then by Corollary 1, the corresponding function $z(\mathsf{\ell })={\displaystyle \frac{y(\mathsf{\ell })}{\mathrm{\Omega }(\mathsf{\ell })}}$ is a positive solution of $\left(5\right)$ belonging to $N_1$ or $N_3$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_1.$ To prove the result, we have to show that the class $N_1$ is empty. Assume the contrary that $z(\mathsf{\ell })\in N_1$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_1.$ Integrating $\left(5\right)$ from ℓ to $\infty ,$ one gets

$$-b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\ge {\int }_{\mathsf{\ell }}^{\infty }Q\left(s\right)z\left(\sigma \left(s\right)\right)ds,$$

or

$$-{\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\ge {\displaystyle \frac{z\left(\sigma \right(\mathsf{\ell }\left)\right)}{b_2(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }Q\left(s\right)ds.$$

Another integration from ℓ to ∞ yields

$$z^{\prime }(\mathsf{\ell })\ge {\displaystyle \frac{1}{b_1(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }{\displaystyle \frac{z\left(\sigma \right(s\left)\right)}{b_2\left(s\right)}}{\int }_s^{\infty }Q\left(u\right)duds.$$

It follows from the last inequality that $z(\mathsf{\ell })$ is a positive solution of the differential inequality

$$z^{\prime }(\mathsf{\ell })-\left({\displaystyle \frac{1}{b_1(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }{\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_s^{\infty }Q\left(u\right)duds\right)z\left(\sigma (\mathsf{\ell })\right)\ge 0.$$

(11)

But, by Theorem 2.4.1 of [4], condition $\left(10\right)$ ensures that $\left(11\right)$ has no positive solutions. This is a contradiction, and we conclude that (1) has Property B. The proof is complete. □

Remark 1.

It follows from the proof of Theorem 2 that if at least one of the following conditions is satisfied:

$${\int }_{{\mathsf{\ell }}_0}^{\infty }Q(\mathsf{\ell })d\mathsf{\ell }=\infty ,{\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{b_2(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }Q\left(s\right)dsd\mathsf{\ell }=\infty ,$$

(12)

then any nonoscillatory solution $z(\mathsf{\ell })$ of $\left(5\right)$ cannot satisfy the class $N_1.$ Therefore, we may assume that the corresponding integrals in $\left(12\right)$ are convergent.

Theorem 3.

Let $y(\mathsf{\ell })$ be an eventually positive solution of (1). If

$${\int }_{{\mathsf{\ell }}_{*}}^{\infty }{\displaystyle \frac{1}{b_1(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }{Q}_1\left(s\right)dsd\mathsf{\ell }=\infty ,$$

(13)

and

$$\underset{\mathsf{\ell }\to \infty }{lim\; sup}({\displaystyle \frac{1}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)}}{\int }_{{\mathsf{\ell }}_{*}}^t{B}_1^{\alpha }\left(\sigma \left(s\right)\right)B_1\left(s\right)Q_1\left(s\right)ds+{\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{B}_1\left(s\right)Q_1\left(s\right)ds+B_1\left(\sigma (\mathsf{\ell })\right){\int }_{\sigma (\mathsf{\ell })}^{\infty }{Q}_1\left(s\right)ds)>M,$$

(14)

where $M=1$ if $\alpha =1$ and $M=0$ if $\alpha >1,$ then Equation (1) has Property B.

Proof. 

Let $y(\mathsf{\ell })$ be an eventually positive solution of $\left(1\right).$ Then proceeding as in the proof of Theorem 2, we see that the function $z(\mathsf{\ell })\in N_1$ or $z(\mathsf{\ell })\in N_3.$ To prove the theorem, we have to show that the class $N_1$ is empty. Assume the contrary that $z(\mathsf{\ell })\in N_1$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_1.$ Integrating $\left(5\right)$ from ℓ to ∞ twice and using the monotonicity of $z\left(\sigma \right(\mathsf{\ell }\left)\right),$ we get

$$b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\ge {\int }_{{\mathsf{\ell }}_{*}}^{\infty }{Q}_1\left(s\right)z^{\alpha }\left(\sigma \left(s\right)\right)ds.$$

Again integrating the last inequality form ${\mathsf{\ell }}_{*}$ to ℓ and changing the order of integration, we obtain

$$z(\mathsf{\ell })\ge {\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{Q}_1\left(s\right)B_1\left(s\right)z^{\alpha }\left(\sigma \left(s\right)\right)ds+b_1(\mathsf{\ell }){\int }_{\mathsf{\ell }}^{\infty }{Q}_1\left(s\right)z^{\alpha }\left(\sigma \left(s\right)\right)ds.$$

Therefore,

$$\begin{array}{ccc}\hfill z\left(\sigma (\mathsf{\ell })\right)\ge {\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{Q}_1\left(s\right)B_1\left(s\right)z^{\alpha }\left(\sigma \left(s\right)\right)ds& +& {\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{Q}_1\left(s\right)B_1\left(s\right)z^{\alpha }\left(\sigma \left(s\right)\right)ds\hfill \\ & +& B_1\left(\sigma (\mathsf{\ell })\right){\int }_{\sigma (\mathsf{\ell })}^{\infty }{Q}_1\left(s\right)z^{\alpha }\left(\sigma \left(s\right)\right)ds.\hfill \end{array}$$

Using the fact that $z(\mathsf{\ell })$ is increasing and ${\displaystyle \frac{z(\mathsf{\ell })}{b_1(\mathsf{\ell })}}$ is decreasing, we get

$$\begin{array}{ccc}\hfill z\left(\sigma (\mathsf{\ell })\right)\ge {\displaystyle \frac{z^{\alpha }\left(\sigma (\mathsf{\ell })\right)}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)}}{\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{B}_1^{\alpha }\left(\sigma \left(s\right)\right)Q_1\left(s\right)B_1\left(s\right)ds& +& z^{\alpha }\left(\sigma (\mathsf{\ell })\right){\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{Q}_1\left(s\right)B_1\left(s\right)ds\hfill \\ & +& z^{\alpha }\left(\sigma (\mathsf{\ell })\right)B_1\left(\sigma (\mathsf{\ell })\right){\int }_{\sigma (\mathsf{\ell })}^{\infty }{Q}_1\left(s\right)ds.\hfill \end{array}$$

That is,

$$z^{1-\alpha }\left(\sigma (\mathsf{\ell })\right)\ge {\displaystyle \frac{1}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)}}{\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{B}_1^{\alpha }\left(\sigma \left(s\right)\right)Q_1\left(s\right)B_1\left(s\right)ds+{\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{Q}_1\left(s\right)B_1\left(s\right)ds+B_1\left(\sigma (\mathsf{\ell })\right){\int }_{\sigma (\mathsf{\ell })}^{\infty }{Q}_1\left(s\right)ds.$$

(15)

When $\alpha =1$ in $\left(15\right)$, we get a contradiction with $\left(14\right)$, and from $\left(13\right)$ we see that $z(\mathsf{\ell })\to \infty$ as $\mathsf{\ell }\to \infty .$ So taking lim sup as $\mathsf{\ell }\to \infty$ on both sides of $\left(15\right)$, we are led to a contradiction again with $\left(14\right)$ for $\alpha >1.$ The proof is complete. □

Theorem 4.

Let $y(\mathsf{\ell })$ be an eventually positive solution of (1) and let $0<\alpha <1.$ If

$${\int }_{{\mathsf{\ell }}_{*}}^{\infty }{\displaystyle \frac{1}{b_2(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }Q\left(s\right)B_1^{\alpha }\left(\sigma \left(s\right)\right)dsd\mathsf{\ell }=\infty$$

(16)

and

$$\underset{\mathsf{\ell }\to \infty }{lim\; sup}\left({\displaystyle \frac{1}{B_1\left(\sigma (\mathsf{\ell })\right)}}{\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{B}_1^{\alpha }\left(\sigma \left(s\right)\right)B_1\left(s\right)Q_1\left(s\right)ds+B_1^{\alpha -1}\left(\sigma (\mathsf{\ell })\right){\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{B}_1\left(s\right)Q_1\left(s\right)ds\right.\left.+B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right){\int }_{\sigma (\mathsf{\ell })}^{\infty }{Q}_1\left(s\right)ds\right)>0,$$

(17)

then the Equation (1) has Property B.

Proof. 

Proceeding as in the proof of Theorem 2, we assume that $z(\mathsf{\ell })\in N_1$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_{*}.$ From $\left(8\right)$, we have ${\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}$ is decreasing and in view of $\left(13\right)$, we shall prove that

$$\underset{\mathsf{\ell }\to \infty }{lim}{\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}=0.$$

(18)

If not, let us assume that ${lim}_{\mathsf{\ell }\to \infty }{\displaystyle \frac{z(\mathsf{\ell })}{B_1(\mathsf{\ell })}}=l>0.$ Then $z(\mathsf{\ell })\ge l{B}_1(\mathsf{\ell })$ and using this in $\left(5\right)$ we get

$${\left(b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }\ge l^{\alpha }Q(\mathsf{\ell })B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right).$$

Integrating the last inequality twice yields

$$b_1\left({\mathsf{\ell }}_{*}\right)z^{\prime }\left({\mathsf{\ell }}_{*}\right)\ge l^{\alpha }{\int }_{{\mathsf{\ell }}_{*}}^{\infty }{\displaystyle \frac{1}{b_2(\mathsf{\ell })}}{\int }_{\mathsf{\ell }}^{\infty }Q\left(s\right)B_1^{\alpha }\left(\sigma \left(s\right)\right)dsd\mathsf{\ell },$$

which contradicts $\left(16\right)$ and so we conclude that $\left(18\right)$ holds. Now, setting $x(\mathsf{\ell })={\displaystyle \frac{z\left(\sigma \right(\mathsf{\ell }\left)\right)}{B_1\left(\sigma (\mathsf{\ell })\right)}}$ then $\left(15\right)$ yields

$$\begin{array}{c}{x}^{1-\alpha }(\mathsf{\ell })\ge \left({\displaystyle \frac{1}{B_1\left(\sigma (\mathsf{\ell })\right)}}{\int }_{{\mathsf{\ell }}_{*}}^{\mathsf{\ell }}{B}_1^{\alpha }\left(\sigma \left(s\right)\right)B_1\left(s\right)Q_1\left(s\right)ds+B_1^{1-\alpha }\left(\sigma (\mathsf{\ell })\right){\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{B}_1\left(s\right)Q_1\left(s\right)ds\right.\\ \left.+B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right){\int }_{\sigma (\mathsf{\ell })}^{\infty }{Q}_1\left(s\right)ds\right).\end{array}$$

(19)

Taking $limsup$ as $t\to \infty$ on both sides of $\left(19\right)$ and using $\left(18\right)$, we get a contradiction with $\left(17\right)$. The proof is complete. □

In the following, we eliminate class $N_3$ to get criteria for the oscillation of all solutions of $\left(1\right).$

Theorem 5.

Let $z(\mathsf{\ell })$ be an eventually positive solution of $\left(5\right).$ Assume that there exists a function $\tau (\mathsf{\ell })\in C^1\left([{\mathsf{\ell }}_0,\infty )\right)$ such that

$${\tau }^{\prime }(\mathsf{\ell })\ge 0,\tau (\mathsf{\ell })<\mathsf{\ell },\delta (\mathsf{\ell })=\sigma \left(\tau \left(\tau (\mathsf{\ell })\right)\right)>\mathsf{\ell }.$$

(20)

If the first-order advanced differential equation

$$w^{\prime }(\mathsf{\ell })-\left({\displaystyle \frac{1}{b_1(\mathsf{\ell })}}{\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_{\tau \left(s\right)}^{s}Q\left(u\right)duds\right)w^{\alpha }\left(\delta (\mathsf{\ell })\right)=0$$

(21)

is oscillatory, then class $N_3$ cannot hold.

Proof. 

Assume on the contrary that $z(\mathsf{\ell })$ is an eventually positive solution of $\left(5\right),$ belongs to the class $N_3.$ Integrating $\left(5\right)$ from $\tau (\mathsf{\ell })$ to ℓ, we have

$$b_2(\mathsf{\ell }){\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }-b_2\left(\tau (\mathsf{\ell })\right){\left(b_1\left(\tau (\mathsf{\ell })\right)z^{\prime }\left(\tau (\mathsf{\ell })\right)\right)}^{\prime }={\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}Q\left(s\right)z^{\alpha }\left(\sigma \left(s\right)\right)ds,$$

or

$${\left(b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })\right)}^{\prime }\ge {\displaystyle \frac{z^{\alpha }\left(\sigma \left(\tau (\mathsf{\ell })\right)\right)}{b_2(\mathsf{\ell })}}{\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}Q\left(s\right)ds.$$

An integration from $\tau (\mathsf{\ell })$ to ℓ yields

$$\begin{array}{ccc}\hfill b_1(\mathsf{\ell })z^{\prime }(\mathsf{\ell })& \ge & {\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}{\displaystyle \frac{z^{\alpha }\left(\sigma \left(\tau \left(s\right)\right)\right)}{b_2\left(s\right)}}{\int }_{\tau \left(s\right)}^{s}Q\left(u\right)duds\hfill \\ & \ge & z^{\alpha }\left(\delta (\mathsf{\ell })\right){\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_{\tau \left(s\right)}^{s}Q\left(u\right)duds.\hfill \end{array}$$

Consequently, $z(\mathsf{\ell })$ is a positive solution of the advanced differential inequality

$$z^{\prime }(\mathsf{\ell })-\left({\displaystyle \frac{1}{b_1(\mathsf{\ell })}}{\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_{\tau \left(s\right)}^{s}Q\left(u\right)duds\right)z^{\alpha }\left(\delta (\mathsf{\ell })\right)\ge 0.$$

(22)

Hence, by Lemma 2.3 of [4], the corresponding differential Equation (21) has also a positive solution, which is a contradiction. The proof is complete. □

For $\alpha =1,$ using Theorem 2.4.1 of [3], we obtain the following corollary.

Corollary 2.

Let $\alpha =1$ and there exists a function $\tau (\mathsf{\ell })\in C^1\left([{\mathsf{\ell }}_0,\infty )\right)$ such that $\left(20\right)$ holds. If

$$\underset{\mathsf{\ell }\to \infty }{lim\; inf}{\int }_{\mathsf{\ell }}^{\delta (\mathsf{\ell })}{\displaystyle \frac{1}{b_1\left(s\right)}}{\int }_{\tau \left(s\right)}^s{\displaystyle \frac{1}{b_2\left(s_1\right)}}{\int }_{\tau \left(s_1\right)}^{s_1}Q\left(s_2\right)d{s}_{2}d{s}_{1}ds>{\displaystyle \frac{1}{e}},$$

(23)

then the class $N_3$ cannot hold.

Next, we provide an explicit condition for the class $N_3$ is empty when $\alpha >1.$

Corollary 3.

Let $\alpha >1$ and there exists a function $\tau (\mathsf{\ell })\in C^1\left([{\mathsf{\ell }}_0,\infty )\right)$ such that $\left(20\right)$ holds. If

$${\int }_{{\mathsf{\ell }}_{*}}^{\infty }{\displaystyle \frac{1}{b_1(\mathsf{\ell })}}{\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_{\tau \left(s\right)}^{s}Q\left(u\right)dudsd\mathsf{\ell }=\infty ,$$

(24)

then the class $N_3$ cannot hold.

Proof. 

Proceeding as in Theorem 5, we arrive at $\left(22\right)$. Since $z(\mathsf{\ell })$ is increasing and $\delta (\mathsf{\ell })>\mathsf{\ell },$ we have from $\left(22\right)$

$${\displaystyle \frac{z^{\prime }(\mathsf{\ell })}{z(\mathsf{\ell })}}\ge {\displaystyle \frac{1}{b_1(\mathsf{\ell })}}\left({\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_{\tau \left(s\right)}^{s}Q\left(u\right)duds\right).$$

Integrating the last inequality from ${\mathsf{\ell }}_1$ to $\infty ,$ we get

$${\displaystyle \frac{1}{(\alpha -1)z^{\alpha -1}\left({\mathsf{\ell }}_1\right)}}\ge {\int }_{{\mathsf{\ell }}_1}^{\infty }{\displaystyle \frac{1}{b_1(\mathsf{\ell })}}{\int }_{\tau (\mathsf{\ell })}^{\mathsf{\ell }}{\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_{\tau \left(s\right)}^{s}Q\left(u\right)dudsd\mathsf{\ell },$$

which contradicts $\left(24\right)$. The proof is complete. □

Next, we present another condition for the elimination of class $N_3.$

Theorem 6.

Let $z(\mathsf{\ell })$ be an eventually positive solution of $\left(5\right).$ If

$$\underset{\mathsf{\ell }\to \infty }{lim\; sup}{\displaystyle \frac{1}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)}}{\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{\displaystyle \frac{1}{b_1\left(s\right)}}{\int }_{\mathsf{\ell }}^s{\displaystyle \frac{1}{b_2\left(s_1\right)}}{\int }_{\mathsf{\ell }}^{s_1}Q\left(s_2\right)B_1^{\alpha }\left(s_2\right)d{s}_{2}d{s}_{1}ds>M,$$

(25)

where $M=1$ if $\alpha =1$ and $M=0$ if $\alpha >1,$ then the class $N_3$ cannot hold.

Proof. 

Assume on the contrary that $z(\mathsf{\ell })$ is a positive of $\left(5\right)$ belonging to $N_3$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_{*}.$ Integrating $\left(5\right)$ from s to ℓ and using $\left(6\right)$, we have

$$\begin{array}{ccc}\hfill {\left(b_1\left(s\right)z^{\prime }\left(s\right)\right)}^{\prime }& \ge & {\displaystyle \frac{1}{b_2\left(s\right)}}{\int }_{\mathsf{\ell }}^{s}Q\left(u\right)z^{\alpha }\left(\sigma \left(u\right)\right)du\hfill \\ & \ge & {\displaystyle \frac{z^{\alpha }\left(\sigma (\mathsf{\ell })\right)}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)b_2\left(s\right)}}{\int }_{\mathsf{\ell }}^{s}Q\left(u\right)B_1^{\alpha }\left(\sigma \left(u\right)\right)du.\hfill \end{array}$$

Integrating the last inequality in $s,$ we obtain

$$\begin{array}{ccc}\hfill z^{\prime }\left(s\right)& \ge & {\displaystyle \frac{z^{\alpha }\left(\sigma (\mathsf{\ell })\right)}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)b_1\left(s\right)}}{\int }_{\mathsf{\ell }}^s{\displaystyle \frac{1}{b_2\left(s_1\right)}}{\int }_{\mathsf{\ell }}^{s_1}Q\left(s_2\right)B_1^{\alpha }\left(s_2\right)d{s}_{2}d{s}_1.\hfill \end{array}$$

Again integrating, we get

$$\begin{array}{ccc}\hfill z\left(s\right)& \ge & {\displaystyle \frac{z^{\alpha }\left(\sigma (\mathsf{\ell })\right)}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)}}{\int }_{\mathsf{\ell }}^s{\displaystyle \frac{1}{b_1\left(s_1\right)}}{\int }_{\mathsf{\ell }}^{s_1}{\displaystyle \frac{1}{b_2\left(s_2\right)}}{\int }_{\mathsf{\ell }}^{s_2}Q\left(s_3\right)B_1^{\alpha }\left(s_3\right)d{s}_{3}d{s}_{2}d{s}_1.\hfill \end{array}$$

Setting $s=\sigma (\mathsf{\ell })$ in the last inequality yields

$$z^{1-\alpha }\left(\sigma (\mathsf{\ell })\right)\ge {\displaystyle \frac{1}{B_1^{\alpha }\left(\sigma (\mathsf{\ell })\right)}}{\int }_{\mathsf{\ell }}^{\sigma (\mathsf{\ell })}{\displaystyle \frac{1}{b_1\left(s\right)}}{\int }_{\mathsf{\ell }}^s{\displaystyle \frac{1}{b_2\left(s_1\right)}}{\int }_{\mathsf{\ell }}^{s_1}Q\left(s_2\right)B_1^{\alpha }\left(s_2\right)d{s}_{2}d{s}_{1}ds.$$

(26)

Letting $\alpha =1$ in $\left(26\right)$, we get a contradiction with $\left(25\right)$ and for $\alpha >1$ in $\left(26\right)$ and using the fact from $\left(6\right)$ that $z(\mathsf{\ell })\to \infty$ as $\mathsf{\ell }\to \infty ,$ we again obtain a contradiction with $\left(25\right)$. The proof is complete. □

Combining the criteria obtained for both classes $N_1$ and $N_3$ to be empty, we get criteria for the oscillation of $\left(1\right).$

Theorem 7.

Assume $\alpha =1.$ If all conditions of Theorem 2 and Corollary 2 hold, then Equation (1) is oscillatory.

Proof. 

Assume the contrary that $y(\mathsf{\ell })$ is a positive solution of (1) for all $\mathsf{\ell }\ge {\mathsf{\ell }}_{*}\ge {\mathsf{\ell }}_0.$ Then by Corollary 1, we see that $z(\mathsf{\ell })={\displaystyle \frac{y(\mathsf{\ell })}{\mathrm{\Omega }(\mathsf{\ell })}}$ is a positive solution of $\left(5\right)$ and belongs to either $N_1$ or $N_3$ for all $\mathsf{\ell }\ge {\mathsf{\ell }}_{*}.$ From Theorem 2, we obtain that the class $N_1$ is empty and from Corollary 2, the class $N_3$ is empty. Therefore, we conclude that Equation (5) is oscillatory which in turn implies (1) is oscillatory. The proof is complete. □

Similarly, we can prove the following theorems.

Theorem 8.

Assume $\alpha =1$ or $\alpha >1$. If all conditions of Theorem 3 and Theorem 6 hold, then (1) is oscillatory.

Theorem 9.

Assume $\alpha >1$. If all conditions of Theorem 3 and Corollary 3 hold, then (1) is oscillatory.

4. Examples

In this section, we present three examples to show the importance of our main results.

Example 1.

Consider the third-order noncanonical advanced differential equation

$${\left({\mathsf{\ell }}^2{\left({\mathsf{\ell }}^2{y}^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }-\mu \mathsf{\ell }y(\lambda \mathsf{\ell })=0,\mathsf{\ell }\ge 1,$$

(27)

where $\mu >0$ and $\lambda >1.$

By a simple calculation, we see that the transformed equation is

$$z^{‴}(\mathsf{\ell })-{\displaystyle \frac{\mu }{{\lambda }^2{\mathsf{\ell }}^3}}z(\lambda \mathsf{\ell })=0,\mathsf{\ell }\ge 1,$$

which is in canonical form. Here $b_1(\mathsf{\ell })=b_2(\mathsf{\ell })=1$ and $q(\mathsf{\ell })={\displaystyle \frac{\mu }{{\lambda }^2{\mathsf{\ell }}^3}}$ and $\alpha =1.$ The condition $\left(10\right)$ becomes

$${\displaystyle \frac{\mu }{2{\lambda }^2}}ln\lambda >{\displaystyle \frac{1}{e}},$$

that is, condition $\left(10\right)$ holds if $\mu >{\displaystyle \frac{2{\lambda }^2}{eln\lambda }}.$

Choose $\tau (\mathsf{\ell })={\lambda }_1\mathsf{\ell }$ with ${\lambda }_1>{\displaystyle \frac{1}{\sqrt{\lambda }}}$ and $\delta (\mathsf{\ell })=\lambda {\lambda }_1^2\mathsf{\ell },$ so that condition $\left(20\right)$ holds. The condition $\left(23\right)$ becomes

$${\displaystyle \frac{\mu }{2{\lambda }^2{\lambda }_1^3}}ln\left(\lambda {\lambda }_1^2\right)>{\displaystyle \frac{1}{e}},$$

that is, condition $\left(23\right)$ holds if $\mu >{\displaystyle \frac{2{\lambda }^2{\lambda }_1}{eln\left(\lambda {\lambda }_1^2\right)}}.$

Therefore, by Theorem 7, the Equation (27) is oscillatory if

$$\mu >max\left\{{\displaystyle \frac{2{\lambda }^2}{eln\lambda }},{\displaystyle \frac{2{\lambda }^2{\lambda }_1}{eln\left(\lambda {\lambda }_1^2\right)}}\right\}.$$

Example 2.

Consider the nonlinear noncanonical third-order advanced differential equation

$${\left({\mathsf{\ell }}^2{\left({\mathsf{\ell }}^2{y}^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }-\mu {\mathsf{\ell }}^5{y}^3(\lambda \mathsf{\ell })=0,\mathsf{\ell }\ge 1,$$

(28)

where $\mu >0$ and $\lambda >1.$

By a simple calculation, the transformed equation is

$$z^{‴}(\mathsf{\ell })-{\displaystyle \frac{\mu }{4{\lambda }^6{\mathsf{\ell }}^3}}{z}^3(\lambda \mathsf{\ell })=0,\mathsf{\ell }\ge 1,$$

which is in canonical form. Here $b_1(\mathsf{\ell })=b_2(\mathsf{\ell })=1$ and $q(\mathsf{\ell })={\displaystyle \frac{\mu }{4{\lambda }^6{t}^3}}$ and $\alpha =3.$ The condition $\left(13\right)$ becomes

$${\int }_1^{\infty }{\displaystyle \frac{\mu }{8{\lambda }^6}}{\displaystyle \frac{1}{\mathsf{\ell }}}d\mathsf{\ell }=\infty ,$$

that is, condition $\left(13\right)$ holds. The condition $\left(14\right)$ becomes

$${\displaystyle \frac{\mu }{{\lambda }^6}}\left({\displaystyle \frac{1}{6}}+{\displaystyle \frac{1}{8}}ln\lambda \right)>0,$$

that is, condition $\left(14\right)$ holds if $\mu >0.$

Choose $\tau (\mathsf{\ell })={\lambda }_1\mathsf{\ell }<\mathsf{\ell }$ with ${\lambda }_1>{\displaystyle \frac{1}{\sqrt{\lambda }}}$ and $\delta (\mathsf{\ell })=\lambda {\lambda }_1^2\mathsf{\ell }>\mathsf{\ell },$ so condition $\left(20\right)$ holds. The condition $\left(24\right)$ becomes

$${\int }_1^{\infty }{\displaystyle \frac{\mu }{8{\lambda }^6}}\left(1-{\displaystyle \frac{1}{{\lambda }_1}}\right)\left(1-{\displaystyle \frac{1}{{\lambda }_1^2}}\right){\displaystyle \frac{1}{\mathsf{\ell }}}d\mathsf{\ell }=\infty ,$$

that is, condition $\left(24\right)$ holds if $\mu >0.$ Hence, the Equation $\left(28\right)$ is oscillatory by Theorem 9 if $\mu >0.$

Example 3.

Consider the noncanonical third-order advanced differential equation

$${\left(e^{\mathsf{\ell }}{\left(e^{\mathsf{\ell }}{y}^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }-\mu e^{2\mathsf{\ell }}{y}^{1/3}(\lambda \mathsf{\ell })=0,\mathsf{\ell }\ge 1,$$

(29)

where $\mu >0$ and $\lambda >1$ are constants.

By a simple calculation, we find the transformed equation is

$${\left(e^{-\mathsf{\ell }}{\left(e^{-\mathsf{\ell }}{z}^{\prime }(\mathsf{\ell })\right)}^{\prime }\right)}^{\prime }-2^{2/3}\mu e^{-{\displaystyle \frac{2\lambda }{3}}\mathsf{\ell }}{z}^{1/3}(\lambda \mathsf{\ell })=0,\mathsf{\ell }\ge 1,$$

which is in canonical form. Here, $b_1(\mathsf{\ell })=b_2(\mathsf{\ell })=e^{-\mathsf{\ell }},$$q(\mathsf{\ell })=2^{2/3}\mu e^{{\displaystyle \frac{-2\lambda }{3}}\mathsf{\ell }}$ and $\alpha ={\displaystyle \frac{1}{3}}.$ With a further calculation we see that $b_1(\mathsf{\ell })\approx e^{\mathsf{\ell }}$ and $Q_1(\mathsf{\ell })={\displaystyle \frac{3\mu }{2^{1/3}\lambda }}{e}^{(1-{\displaystyle \frac{2\lambda }{3}})\mathsf{\ell }}.$ The condition $\left(16\right)$ becomes

$${\int }_1^{\infty }{2}^{2/3}\mu e^{(1-\lambda /3)\mathsf{\ell }}d\mathsf{\ell }=\infty$$

if $\lambda \le 3,$ that is condition $\left(16\right)$ holds if $\lambda \in (1,3].$ The condition $\left(17\right)$ becomes

$$\underset{\mathsf{\ell }\to \infty }{lim}{\displaystyle \frac{3\mu }{2^{1/3}\lambda }}\left({\displaystyle \frac{e^{2\mathsf{\ell }}}{(2-\frac{\lambda }{3})}}+{\displaystyle \frac{e^{2\lambda \mathsf{\ell }}-e^{\mathsf{\ell }}}{2(1-\frac{\lambda }{3})}}+{\displaystyle \frac{e^{\mathsf{\ell }}}{(\frac{2\lambda }{3}-1)}}\right)\to \infty ,$$

as $\mathsf{\ell }\to \infty$ if $\lambda \in (3/2,3).$ That is, condition $\left(17\right)$ holds if $\lambda \in (3/2,3).$ Hence, Equation (29) has property B by Theorem 4 if $\lambda \in (3/2,3).$

5. Conclusions

Investigating the oscillatory behavior of differential equations always begins with the classification of positive solutions based on the sign of their derivatives.The criteria for the oscillation depend on the conditions that exclude each case of these solutions. Therefore, to improve the criteria for oscillation must clearly have an effect on improving the condition for excluding these positive solutions. In this article, first we transform the considered noncanonical Equation (1) into canonical type and this bring down the set of nonoscillatory solutions into two instead of four, without assuming any extra conditions. We use the comparison and integral averaging method to obtain criteria that exclude these two set of positive solutions of the canonical type equation. After that, we obtain new criteria for the oscillation of all solutions of the studied noncanonical equation. Therefore, the criteria obtained here are new and complement to the existing results. Finally, three examples are given to show the importance of the results obtained here since the criteria already reported are (canonical or semi-canonical equations) cannot be applicable to our noncanonical type Equations (27)–(29). Thus the results presented here are further contribution to the oscillation theory of advanced type differential equations.

It is interesting to obtain similar results of this paper to equation $\left(E\right)$ when the following semi-canonical condition

$${\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{a_2(\mathsf{\ell })}}d\mathsf{\ell }=\infty \mathrm{and}{\int }_{{\mathsf{\ell }}_0}^{\infty }{\displaystyle \frac{1}{a_1(\mathsf{\ell })}}d\mathsf{\ell }<\infty$$

holds.