Explicit criteria for the qualitative properties of differential equations with p-Laplacian-like operator

Abstract

The aim of this work is to study qualitative properties of solutions for a fourth-order neutral nonlinear differential equation, driven by a p-Laplace differential operator. Some oscillation criteria for the equation under study have been obtained by comparison theory. The obtained results improve the well-known oscillation results present in the literature. Some examples are provided to show the applicability of the obtained results.

1 Introduction

Differential equations of fourth-order appear in models concerning biological, physical, and chemical phenomena, optimization, mathematics of networks, dynamical systems, see [1].

We study the oscillatory behavior of the fourth-order neutral nonlinear differential equation of the form

$$ \textstyle\begin{cases} ( r ( x ) \vert w^{\prime \prime \prime } ( x ) \vert ^{p_{1}-2}w^{\prime \prime \prime } ( x ) ) ^{\prime }+\sum_{i=1}^{j}q_{i} ( x ) \vert u^{\prime \prime \prime } ( \vartheta _{i} ( x ) ) \vert ^{p_{2}-2}u^{\prime \prime \prime } ( \vartheta _{i} ( x ) ) =0, & \\ j\geq 1,\qquad p_{2}\geq p_{1},\qquad r ( x ) >0,\qquad r^{\prime } ( x ) \geq 0,\qquad x\geq x_{0}>0, & \end{cases} $$

(1)

where $w ( x ) :=u ( x ) +a ( x ) u ( \tau ( x ) )$ and the first term means the p-Laplace-type operator ($1< p_{i}<\infty$, $i=1,2$). The main results are obtained under the following conditions: $r\in C[x_{0},\infty )$, $a, q_{i}\in C[x_{0},\infty )$, $q_{i} ( x ) >0$, $0\leq a ( x ) < a_{0}<1$, $\tau ,\vartheta _{i}\in C[x_{0},\infty )$, $\tau ( x ) \leq x$, $\lim_{x\rightarrow \infty }\tau ( x ) =\lim_{x \rightarrow \infty }\vartheta _{i} ( x ) =\infty$, $i=1,2, \dots ,j$, and under the condition

$$ \int _{x_{0}}^{\infty } \frac{1}{r^{1/ ( p_{1}-1 ) } ( s ) }\, \mathrm{d}s=\infty . $$

(2)

The p-Laplace equations have some significant applications in elasticity theory and continuum mechanics, see [2] (power-law fluids), and in general in nonlinear phenomena, see [3] (capillary phenomena). For some results concerning the oscillatory behavior of equations driven by a p-Laplace differential operator, we mention the papers [4–6].

In [7], the authors used a classical variational approach based on the critical points theory to prove the existence of at least one nontrivial weak solution of a double-phase Dirichlet problem. Here the differential operator of the problem is the sum of two p-Laplacian-type operators with variable exponents. This fact could provide new ideas for further investigations. The authors characterized the continuous spectrum of double-phase equations (to improve the regularity theory for such a kind of operators and classify solutions).

Nastasi [8] established an existence result of a nontrivial weak solution to $(p,q)$- Laplacian problem on a noncompact Riemannian manifold. The special setting led the author to develop the Maz’ya’s approach, by working with isocapacitary inequalities to characterize the compact embeddings.

2 Mathematical background—hypotheses

In this section we collect some relevant facts and auxiliary results from the existing literature. Also, we fix the notation.

Currently, researchers have become more concerned with the topic of oscillation of differential equations in [9–27]. Li et al. [4], using the Riccati transformation together with integral averaging technique, focused on the oscillations of the equation

$$ \textstyle\begin{cases} ( r ( x ) \vert w^{\prime \prime \prime } ( x ) \vert ^{p-2}w^{\prime \prime \prime } ( x ) ) ^{\prime }+\sum_{i=1}^{j}q_{i} ( x ) \vert y ( \delta _{i} ( x ) ) \vert ^{p-2}y ( \vartheta _{i} ( x ) ) =0, & \\ 1< p< \infty ,\qquad x\geq x_{0}>0. & \end{cases}$$

In [28, 29], the comparison method with first and second order equations was used to investigate every solution u of

$$ \textstyle\begin{cases} ( r ( x ) \vert u^{ ( n-1 ) } ( x ) \vert ^{p-2}u^{ ( n-1 ) } ( x ) ) ^{\prime }+\sum_{i=1}^{j}q_{i} ( x ) g ( u ( \vartheta _{i} ( x ) ) ) =0, & \\ j\geq 1,\qquad x\geq x_{0}>0, & \end{cases}$$

where n is even and $p>1$ is a real number, in the case where $\vartheta _{i} ( x ) \geq \upsilon$ (with $r\in C^{1} ( (0,\infty ),\mathbb{R} )$, $q_{i}\in C ( [0,\infty ),\mathbb{R} )$, $i=1,2,\dots ,j$).

We point out that Bazighifan [30] gave us some results providing information on the oscillation of equations

$$ \textstyle\begin{cases} ( r ( x ) \vert u^{\prime \prime \prime } ( x ) \vert ^{p_{1}-2}u^{\prime \prime \prime } ( x ) ) ^{\prime }+q ( x ) \vert u^{ \prime \prime \prime } ( g_{1} ( x ) ) \vert ^{p_{2}-2}u^{\prime \prime \prime } ( g_{1} ( x ) ) =0, \\ r ( x ) >0,\qquad r^{\prime } ( x ) \geq 0,\qquad p_{2} \geq p_{1},\qquad x\geq x_{0}>0,\end{cases}$$

where n is even. This time, the author used the comparison method with second order equations.

The authors of [31], using the Riccati technique, derived oscillation conditions of

$$ \textstyle\begin{cases} ( r ( x ) \vert u^{ ( n-1 ) } ( x ) \vert ^{p-2}u^{ ( n-1 ) } ( x ) ) ^{\prime }+q ( x ) g ( u ( \vartheta ( x ) ) ) =0, & \\ 1< p< \infty , & \end{cases}$$

where n is even.

As we already mentioned in the Introduction, our aim here is to provide complementary results to [28, 29, 31]. For this purpose we briefly discuss these results.

Definition 2.1

Define sequences of functions $\{ \delta _{n} ( x ) \} _{n=0}^{\infty }$ and $\{ \sigma _{n} ( x ) \} _{n=0}^{\infty }$ as

$$ \begin{gathered} \delta _{0} ( x ) =\xi _{\ast } ( x ) \quad \text{and}\quad \sigma _{0} ( x ) =\eta _{\ast } ( x ) , \\ \delta _{n} ( x ) =\delta _{0} ( x ) + \int _{x}^{ \infty }R_{1} ( x ) \delta _{n-1}^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s,\quad n\geq 1 \\ \sigma _{n} ( x ) =\sigma _{0} ( x ) + \int _{x}^{ \infty }\sigma _{n-1}^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s,\quad n\geq 1.\end{gathered} $$

(3)

We see by induction that $\delta _{n} ( x ) \leq \delta _{n+1} ( x )$ and $\sigma _{n} ( x ) \leq \sigma _{n+1} ( x )$ for $x\geq x_{0}$, $n\geq 1$.

Now, we are ready to introduce the precise hypotheses on the data of (1):

(H1):

u is an eventually positive solution of (1).

(H2):

Let $B ( x ) = ( p_{1}-1 ) \varepsilon \frac{\vartheta _{i}^{2} ( x ) \zeta \vartheta _{i}^{\prime } ( x ) }{r^{1/ ( p_{1}-1 ) } ( x ) }$ and $\phi _{1} ( x ) =\int _{x}^{\infty }A ( s ) \,\mathrm{d}s$ be such that

$$ \underset{x\rightarrow \infty }{\lim \inf } \frac{1}{\phi _{1} ( x ) } \int _{x}^{\infty }B ( s ) \phi _{1}^{ \frac{p_{1}}{ ( p_{1}-1 ) }} ( s ) \,\mathrm{d}s> \frac{p_{1}-1}{p_{1}^{p_{1}/ ( p_{1}-1 ) }}, $$

(4)

where

$$ A ( x ) =\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}M^{p_{1}-p_{2}} \bigl( \vartheta _{i} ( x ) \bigr) . $$

(H3):

For some $\mu \in ( 0,1 )$, there are positive constants $M_{1}$, $M_{2}$such that

$$ \underset{x\rightarrow \infty }{\lim \inf } \frac{1}{\xi _{\ast } ( x ) } \int _{x}^{\infty }R_{1} ( s ) \xi _{\ast }^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s> \frac{ ( p_{1}-1 ) }{p_{1}^{p_{1}/ ( p_{1}-1 ) }} $$

(5)

and

$$ \underset{x\rightarrow \infty }{\lim \inf } \frac{1}{\eta _{\ast } ( x ) } \int _{x_{0}}^{\infty }\eta _{\ast }^{2} ( s ) \,\mathrm{d}s>\frac{1}{4}, $$

(6)

where

$$\begin{aligned} &R_{1} ( x ) := ( p_{1}-1 ) \mu \frac{x^{2}}{2r^{1/ ( p_{1}-1 ) } ( x ) }, \\ &\xi ( x ) :=\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}M_{1}^{p_{2}-p_{1}} \varepsilon _{1} \biggl( \frac{\vartheta _{i} ( x ) }{x} \biggr) ^{3 ( p_{2}-1 ) }, \\ &\eta ( x ) := ( 1-a_{0} ) ^{p_{2}/p_{1}}M_{2}^{p_{2}/ ( p_{1}-2 ) } \int _{x}^{\infty } \Biggl( \frac{1}{r ( \delta ) } \int _{\delta }^{\infty }\sum_{i=1}^{j}q_{i} ( s ) \frac{\vartheta _{i}^{p_{2}-1} ( s ) }{s^{p_{2}-1}}\,\mathrm{d}s \Biggr) ^{1/ ( p_{1}-1 ) }\,\mathrm{d}\delta , \\ &\xi _{\ast } ( x ) = \int _{x}^{\infty }\xi ( s ) \,\mathrm{d}s\quad \text{and}\quad \eta _{\ast } ( x ) = \int _{x}^{\infty }\eta ( s ) \,\mathrm{d}s. \end{aligned}$$

(H4):

For some $\mu _{1}\in ( 0,1 )$, we have

$$ \underset{x\rightarrow \infty }{\lim \sup } \biggl( \frac{\mu _{1}x^{3}}{6r^{1/ ( p_{1}-1 ) } ( x ) } \biggr) ^{p_{1}-1} \delta _{n} ( x ) >1 $$

(7)

and

$$ \underset{x\rightarrow \infty }{\lim \sup }\lambda x\sigma _{n} ( x ) >1, $$

(8)

for some n.

(H5):

For some n, we have

$$ \int _{x_{0}}^{\infty }\xi ( x ) \exp \biggl( \int _{x_{0}}^{x}R_{1} ( s ) \delta _{n}^{1/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s \biggr) \,\mathrm{d}x=\infty $$

(9)

and

$$ \int _{x_{0}}^{\infty }\eta ( x ) \exp \biggl( \int _{x_{0}}^{x} \sigma _{n}^{1/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s \biggr) \,\mathrm{d}x=\infty . $$

(10)

3 Main results

Next, we mention some important lemmas:

Lemma 3.1

([32])

Let w satisfy $w^{(i)} ( x ) >0$, $i=0,1,\dots ,n$, and $w^{ ( n+1 ) } ( x ) <0$eventually. Then, for every $\varepsilon _{1}\in ( 0,1 )$, $w ( x ) /w^{ \prime } ( x ) \geq \varepsilon _{1}x/n$eventually.

Lemma 3.2

([10])

Let w satisfy $w ( x ) >0$and $w^{ ( n-1 ) } ( x ) w^{ ( n ) } ( x ) \leq 0$, $x\geq x_{w}$, then there exist constants θ, $0<\theta <1$and $\varepsilon >0$such that

$$ w^{\prime } ( \theta x ) \geq \varepsilon x^{n-2}w^{ ( n-1 ) } ( x ) , $$

for all sufficiently large x.

Lemma 3.3

([33])

Let w satisfy $w^{ ( n-1 ) } ( x ) w^{ ( n ) } ( x ) \leq 0$and $\lim_{x\rightarrow \infty }w ( x ) \neq 0$, then

$$ w ( x ) \geq \frac{\mu }{ ( n-1 ) !}x^{n-1} \bigl\vert w^{ ( n-1 ) } ( x ) \bigr\vert \quad \textit{for }\mu \in ( 0,1 ) . $$

Lemma 3.4

([34])

If $(H1)$holds, then we can distinguish the following situations:

$$\begin{aligned} &( \mathbf{G}_{1} ) \quad w^{ ( k ) } ( x ) >0,\quad k=1,2,3, \\ &( \mathbf{G}_{2} ) \quad w^{ ( k ) } ( x ) >0,\quad k=1,3, \textit{ and }w^{\prime \prime } ( x ) < 0, \end{aligned}$$

for $x\geq x_{1}$, where $x_{1}\geq x_{0}$is sufficiently large.

Theorem 3.1

If $(H2)$holds, then (1) is oscillatory.

Proof

Let $(H1)$ hold, then there exists an $x_{1}\geq x_{0}$ such that $u ( x ) >0$, $u ( \tau ( x ) ) >0$ and $u ( \vartheta _{i} ( x ) ) >0$ for $x\geq x_{1}$. Since $r^{\prime } ( x ) >0$, we have

$$ \begin{gathered} w ( x ) >0,\qquad w^{\prime } ( x ) >0,\qquad w^{ \prime \prime \prime } ( x ) >0, \\ w^{ ( 4 ) } ( x ) < 0\quad \text{and}\quad \bigl( r ( x ) \bigl( w^{\prime \prime \prime } ( x ) \bigr) ^{p_{1}-1} \bigr) ^{\prime }\leq 0, \end{gathered} $$

(11)

for $x\geq x_{1}$. From the definition of w, we get

$$\begin{aligned} u ( x ) \geq w ( x ) -a_{0}u \bigl( \tau ( x ) \bigr) \geq w ( x ) -a_{0}w \bigl( \tau ( x ) \bigr) \geq ( 1-a_{0} ) w ( x ) , \end{aligned}$$

which together with (1) gives

$$ \bigl( r ( x ) \bigl( w^{\prime \prime \prime } ( x ) \bigr) ^{p_{1}-1} \bigr) ^{\prime }\leq -\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}w^{p_{2}-1} \bigl( \vartheta _{i} ( x ) \bigr) . $$

(12)

Define

$$ \varpi ( x ) := \frac{r ( x ) ( w^{\prime \prime \prime } ( x ) ) ^{p_{1}-1}}{w^{p_{1}-1} ( \zeta \vartheta _{i} ( x ) ) }, $$

(13)

for some a constant $\zeta \in ( 0,1 )$. By differentiating the above and using (12), we get

$$ \begin{aligned} \varpi ^{\prime } ( x ) &\leq \frac{-\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}w^{p_{2}-1} ( \vartheta _{i} ( x ) ) }{w^{p_{1}-1} ( \zeta \vartheta _{i} ( x ) ) } \\ &\quad {}- ( p_{1}-1 ) \frac{r ( x ) ( w^{\prime \prime \prime } ( x ) ) ^{p_{1}-1}w^{\prime } ( \zeta \vartheta _{i} ( x ) ) \zeta \vartheta _{i}^{\prime } ( x ) }{w^{p_{1}} ( \zeta \vartheta _{i} ( x ) ) }. \end{aligned} $$

From Lemma 3.2, there exists a constant $\varepsilon >0$ such that

$$\begin{aligned} \varpi ^{\prime } ( x ) \leq& -\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}w^{p_{2}-p_{1}} \bigl( \vartheta _{i} ( x ) \bigr) \\ &{}- ( p_{1}-1 ) \frac{r ( x ) ( w^{\prime \prime \prime } ( x ) ) ^{p_{1}-1}\varepsilon \vartheta _{i}^{2} ( x ) w^{\prime \prime \prime } ( \vartheta _{i} ( x ) ) \zeta \vartheta _{i}^{\prime } ( x ) }{w^{p_{1}} ( \zeta \vartheta _{i} ( x ) ) }, \end{aligned}$$

which implies

$$\begin{aligned} \varpi ^{\prime } ( x ) \leq -\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}w^{p_{2}-p_{1}} \bigl( \vartheta _{i} ( x ) \bigr) - ( p_{1}-1 ) \varepsilon \frac{r ( x ) \vartheta _{i}^{2} ( x ) \zeta \vartheta _{i}^{\prime } ( x ) ( w^{\prime \prime \prime } ( x ) ) ^{p_{1}}}{w^{p_{1}} ( \zeta \vartheta _{i} ( x ) ) }. \end{aligned}$$

Using (13), we find

$$ \varpi ^{\prime } ( x ) \leq -\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}w^{p_{2}-p_{1}} \bigl( \vartheta _{i} ( x ) \bigr) - ( p_{1}-1 ) \varepsilon \frac{\vartheta _{i}^{2} ( x ) \zeta \vartheta _{i}^{\prime } ( x ) }{r^{1/ ( p_{1}-1 ) } ( x ) }\varpi ^{p_{1}/ ( p_{1}-1 ) } ( x ) . $$

(14)

Since $w^{\prime } ( x ) >0$, there exist an $x_{2}\geq x_{1}$ and a constant $M>0$ such that

$$ w ( x ) >M. $$

Then, (14) turns into

$$\begin{aligned} \varpi ^{\prime } ( x ) \leq -\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}M^{p_{2}-p_{1}} \bigl( \vartheta _{i} ( x ) \bigr) - ( p_{1}-1 ) \varepsilon \frac{\vartheta _{i}^{2} ( x ) \zeta \vartheta _{i}^{\prime } ( x ) }{r^{1/ ( p_{1}-1 ) } ( x ) }\varpi ^{p_{1}/ ( p_{1}-1 ) } ( x ) , \end{aligned}$$

that is,

$$ \varpi ^{\prime } ( x ) +A ( x ) +B ( x ) \varpi ^{p_{1}/ ( p_{1}-1 ) } ( x ) \leq 0. $$

(15)

Integrating (15) from x to l, we obtain

$$ \varpi ( l ) -\varpi ( x ) + \int _{x}^{l}A ( s ) \,\mathrm{d}s+ \int _{x}^{l}B ( s ) \varpi ^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s\leq 0. $$

Letting $l\rightarrow \infty$ and using $\varpi >0$ and $\varpi ^{\prime }<0$, we have

$$ \varpi ( x ) \geq \phi _{1} ( x ) + \int _{x}^{ \infty }B ( s ) \varpi ^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s. $$

This implies

$$ \frac{\varpi ( x ) }{\phi _{1} ( x ) }\geq 1+ \frac{1}{\phi _{1} ( x ) } \int _{x}^{\infty }B ( s ) \phi _{1}^{p_{1}/ ( p_{1}-1 ) } ( s ) \biggl( \frac{\varpi ( s ) }{\phi _{1} ( s ) } \biggr) ^{p_{1}/ ( p_{1}-1 ) }\,\mathrm{d}s. $$

(16)

Let $\lambda =\inf_{x\geq x}\varpi ( x ) /\phi _{1} ( x )$, then obviously $\lambda \geq 1$. So, from (4) and (16), we find

$$ \lambda \geq 1+ ( p_{1}-1 ) \biggl( \frac{\lambda }{p_{1}} \biggr) ^{p_{1}/ ( p_{1}-1 ) }, $$

or

$$ \frac{\lambda }{p_{1}}\geq \frac{1}{p_{1}}+ \frac{ ( p_{1}-1 ) }{p_{1}} \biggl( \frac{\lambda }{p_{1}} \biggr) ^{p_{1}/ ( p_{1}-1 ) }, $$

which contradicts $\lambda \geq 1$ and $( p_{1}-1 ) >0$.

The proof is complete. □

Theorem 3.2

If $(H3)$holds, then (1) is oscillatory.

Proof

Let (1) have a nonoscillatory solution in $[ x_{0},\infty )$. Without loss of generality, we let $u ( x ) >0$. Then, there exists an $x_{1}\geq x_{0}$ such that $u ( \tau ( x ) ) >0$ and $u ( \vartheta _{i} ( x ) ) >0$ for $x\geq x_{1}$. From Lemma 3.4, there are two cases $( \mathbf{G}_{1} )$ and $( \mathbf{G}_{2} )$.

For case $( \mathbf{G}_{1} )$, define

$$ \omega ( x ) := \frac{r ( x ) ( w^{\prime \prime \prime } ( x ) ) ^{p_{1}-1}}{w^{p_{1}-1} ( x ) }. $$

(17)

From (12), we obtain

$$ \omega ^{\prime } ( x ) \leq -\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1} \frac{w^{p_{2}-1} ( \vartheta _{i} ( x ) ) }{w^{p_{1}-1} ( x ) }- ( p_{1}-1 ) \frac{r ( x ) ( w^{\prime \prime \prime } ( x ) ) ^{p_{1}-1}}{w^{p_{1}} ( x ) }w^{\prime } ( x ) . $$

(18)

From Lemma 3.1, we find

$$ \frac{w^{\prime } ( x ) }{w ( x ) }\leq \frac{3}{\varepsilon _{1}x}. $$

Integrating again from $\vartheta _{i} ( x )$ to x, we find

$$ \frac{w ( \vartheta _{i} ( x ) ) }{w ( x ) } \geq \varepsilon _{1} \frac{\vartheta _{i}^{3} ( x ) }{x^{3}}. $$

(19)

It follows from Lemma 3.3 that

$$ w^{\prime } ( x ) \geq \frac{\mu _{1}}{2}x^{2}w^{\prime \prime \prime } ( x ) , $$

(20)

for all $\mu _{1}\in ( 0,1 )$. Since $w^{\prime } ( x ) >0$, there exists an $x_{2}\geq x_{1}$ such that

$$ w ( x ) >M. $$

(21)

From (18), (19), (20), and (21), we obtain

$$ \omega ^{\prime } ( x ) +\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{p_{2}-1}M_{1}^{p_{2}-p_{1}} \varepsilon _{1} \biggl( \frac{\vartheta _{i} ( x ) }{x} \biggr) ^{3 ( p_{2}-1 ) }+ \frac{ ( p_{1}-1 ) \mu x^{2}}{2r^{1/ ( p_{1}-1 ) } ( x ) }\omega ^{p_{1}/ ( p_{1}-1 ) } ( x ) \leq 0, $$

that is,

$$ \omega ^{\prime } ( x ) +\xi ( x ) +R_{1} ( x ) \omega ^{p_{1}/ ( p_{1}-1 ) } ( x ) \leq 0. $$

(22)

Integrating (22) from x to l, we find

$$ \omega ( l ) -\omega ( x ) + \int _{x}^{l}\xi ( s ) \,\mathrm{d}s+ \int _{x}^{l}R_{1} ( s ) \omega ^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s \leq 0. $$

Letting $l\rightarrow \infty$ and using $\omega >0$, $\omega ^{\prime }<0$, we get

$$ \omega ( x ) \geq \xi _{\ast } ( x ) + \int _{x}^{ \infty }R_{1} ( s ) \omega ^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s. $$

(23)

This implies

$$ \frac{\omega ( x ) }{\xi ^{\ast } ( x ) }\geq 1+ \frac{1}{\xi _{\ast } ( x ) } \int _{x}^{\infty }R_{1} ( s ) \xi _{\ast }^{{p_{1}/ ( p_{1}-1 ) }} ( s ) \biggl( \frac{\omega ( s ) }{\xi _{\ast } ( s ) } \biggr) ^{p_{1}/ ( p_{1}-1 ) }\,\mathrm{d}s. $$

(24)

Let $\lambda =\inf_{x\geq x}\omega ( x ) /\xi _{\ast } ( x )$, then $\lambda \geq 1$. So, from (5) and (24), we obtain

$$ \lambda \geq 1+ ( p_{1}-1 ) \biggl( \frac{\lambda }{p_{1}} \biggr) ^{p_{1}/ ( p_{1}-1 ) }, $$

or

$$ \frac{\lambda }{p_{1}}\geq \frac{1}{p_{1}}+ \frac{ ( p_{1}-1 ) }{p_{1}} \biggl( \frac{\lambda }{p_{1}} \biggr) ^{p_{1}/ ( p_{1}-1 ) }, $$

which contradicts $\lambda \geq 1$ and $( p_{1}-1 ) >0$.

For case $( \mathbf{G}_{2} )$, integrating (12) from x to m, we obtain

$$ r ( m ) \bigl( w^{\prime \prime \prime } ( m ) \bigr) ^{p_{1}-1}-r ( x ) \bigl( w^{\prime \prime \prime } ( x ) \bigr) ^{p_{1}-1}\leq - \int _{x}^{m}\sum_{i=1}^{j}q_{i} ( s ) ( 1-a_{0} ) ^{p_{2}-1}w^{p_{2}-1} \bigl( \vartheta _{i} ( s ) \bigr) \,\mathrm{d}s. $$

(25)

From Lemma 3.1, we find

$$ w ( x ) \geq \varepsilon _{1}xw^{\prime } ( x )\quad \text{and hence}\quad w \bigl( \vartheta _{i} ( x ) \bigr) \geq \varepsilon _{1}\frac{\vartheta _{i} ( x ) }{x}w ( x ) . $$

(26)

For (25), letting $m\rightarrow \infty$ and using (26), we see that

$$ r ( x ) \bigl( w^{\prime \prime \prime } ( x ) \bigr) ^{p_{1}-1}\geq \varepsilon _{1} ( 1-a_{0} ) ^{p_{2}-1}w^{p_{2}-1} ( x ) \int _{x}^{\infty }\sum_{i=1}^{j}q_{i} ( s ) \frac{\vartheta _{i}^{p_{2}-1} ( s ) }{s^{p_{2}-1}}\,\mathrm{d}s. $$

(27)

Integrating (27) from x to ∞, we obtain

$$ w^{\prime \prime } ( x ) \leq -\varepsilon _{1} ( 1-a_{0} ) ^{p_{2}/p_{1}}w^{p_{2}/p_{1}} ( x ) \int _{x}^{ \infty } \Biggl( \frac{1}{r ( \delta ) } \int _{\delta }^{ \infty }\sum_{i=1}^{j}q_{i} ( s ) \frac{\vartheta _{i}^{p_{2}-1} ( s ) }{s^{p_{2}-1}}\,\mathrm{d}s \Biggr) ^{1/ ( p_{1}-1 ) } \mathrm{d}\delta , $$

(28)

for all $\varepsilon _{1}\in ( 0,1 )$. Define

$$ y ( x ) = \frac{w^{\prime } ( x ) }{w ( x ) }. $$

By differentiating y and from (21) and (28), we see that

$$\begin{aligned} y^{\prime } ( x ) \leq &-y^{2} ( x ) \\ &{}- ( 1-a_{0} ) ^{p_{2}/p_{1}}M^{ ( p_{2}/p_{1} ) -1} \int _{x}^{ \infty } \Biggl( \frac{1}{r ( \delta ) } \int _{\delta }^{ \infty }\sum_{i=1}^{j}q_{i} ( s ) \frac{\vartheta _{i}^{p_{2}-1} ( s ) }{s^{p_{2}-1}}\,\mathrm{d}s \Biggr) ^{1/ ( p_{1}-1 ) }\,\mathrm{d}\delta , \end{aligned}$$

(29)

hence

$$ y^{\prime } ( x ) +\eta ( x ) +y^{2} ( x ) \leq 0. $$

(30)

The rest of the proof of the case where $( \mathbf{G}_{2} )$ holds is the same as that of case $( \mathbf{G}_{1} )$. Thus, the proof is complete. □

Theorem 3.3

If $(H4)$holds, then (1) is oscillatory.

Proof

Proceeding as in the proof of Theorem 3.2, in the case $( \mathbf{G}_{1} )$, we see that (20) holds. By Lemma 3.3, we find

$$ w ( x ) \geq \frac{\mu _{1}}{6}x^{3}w^{\prime \prime \prime } ( x ) . $$

(31)

From (17) and (31), we get

$$ \frac{1}{\omega ( x ) }=\frac{1}{r ( x ) } \biggl( \frac{w ( x ) }{w^{\prime \prime \prime } ( x ) } \biggr) ^{p_{1}-1}\geq \frac{1}{r ( x ) } \biggl( \frac{\mu _{1}}{6}x^{3} \biggr) ^{p_{1}-1}. $$

Thus,

$$ \omega ( x ) \biggl( \frac{\mu _{1}x^{3}}{6r^{1/ ( p_{1}-1 ) } ( x ) } \biggr) ^{p_{1}-1}\leq 1. $$

Therefore,

$$ \underset{x\rightarrow \infty }{\lim \sup }\omega ( x ) \biggl( \frac{\mu _{1}x^{3}}{6r^{1/ ( p_{1}-1 ) } ( x ) } \biggr) ^{p_{1}-1}\leq 1, $$

which contradicts (7).

The rest of the proof is the same as that for the case $( \mathbf{G}_{2} )$. Theorem 3.3 is proved. □

Corollary 3.1

If $(H5)$holds, then (1) is oscillatory.

Proof

Proceeding as in the proof of Theorem 3.2, in the case $( \mathbf{G}_{1} )$, from (23) we obtain $\omega ( x ) \geq \delta _{0} ( x )$.

By induction we can also see that $\omega ( x ) \geq \delta _{n} ( x )$ for $x\geq x_{0}$, $n>1$. Since the sequence $\{ \delta _{n} ( x ) \} _{n=0}^{\infty }$ is monotone increasing and bounded above, it converges to $\delta ( x )$. Using Lebesgue’s monotone convergence theorem, we find

$$ \delta ( x ) =\lim_{n\rightarrow \infty }\delta _{n} ( x ) = \int _{x}^{\infty }R_{1} ( x ) \delta ^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s+\delta _{0} ( x ) $$

and

$$ \delta ^{\prime } ( x ) =-R_{1} ( x ) \delta ^{p_{1}/ ( p_{1}-1 ) } ( x ) -\xi ( x ) . $$

(32)

Since $\delta _{n} ( x ) \leq \delta ( x )$, it follows from (32) that

$$ \delta ^{\prime } ( x ) \leq -R_{1} ( x ) \delta _{n}^{1/ ( p_{1}-1 ) } ( x ) \delta ( x ) -\xi ( x ) . $$

Hence, we get

$$ \delta ( x ) \leq \exp \biggl( - \int _{x}^{x}R_{1} ( s ) \delta _{n}^{1/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s \biggr) \biggl( \delta ( x ) - \int _{x}^{x} \xi ( s ) \exp \biggl( \int _{x}^{s}R_{1} ( \delta ) \delta _{n}^{1/ ( p_{1}-1 ) } ( \delta ) \,\mathrm{d}\delta \biggr) \,\mathrm{d}s \biggr) . $$

This implies

$$ \int _{x}^{x}\xi ( s ) \exp \biggl( \int _{x}^{s}R_{1} ( \delta ) \delta _{n}^{1/ ( p_{1}-1 ) } ( \delta ) \mathrm{d}\delta \biggr) \, \mathrm{d}s\leq \delta ( x ) < \infty , $$

which contradicts (9). The proof of the case where $( \mathbf{G}_{2} )$ holds is the same as that of $( \mathbf{G}_{1} )$. Corollary 3.1 is proved. □

Example 3.1

Consider the differential equation

$$ \biggl( u ( x ) +\frac{1}{2}u \biggl( \frac{x}{2} \biggr) \biggr) ^{ ( 4 ) }+\frac{q_{0}}{x^{4}}u \biggl( \frac{x}{3} \biggr) =0, $$

(33)

where $q_{0}>0$. Let $p_{1}=p_{2}=2$, $r ( x ) =1$, $a ( x ) =1/2$, $\tau ( x ) =x/2$, $\vartheta ( x ) =x/3$, and $q ( x ) =q_{0}/x^{4}$. Then

$$\begin{aligned} &A ( x )=\sum_{i=1}^{j}q_{i} ( x ) ( 1-a_{0} ) ^{ ( p_{2}-1 ) }M^{p_{2}-p_{1}} \bigl( \vartheta _{i} ( x ) \bigr) =\frac{q_{0}}{2x^{4}}, \\ & B ( x )= ( p_{1}-1 ) \varepsilon \frac{\vartheta _{i}^{2} ( x ) \zeta \vartheta _{i}^{\prime } ( x ) }{r^{1/ ( p_{1}-1 ) } ( x ) }= \frac{\varepsilon x^{2}}{27}, \\ &\phi _{1} ( x )=\frac{q_{0}}{6x^{3}} \end{aligned}$$

and

$$\begin{aligned} &\underset{x\rightarrow \infty }{\lim \inf } \frac{1}{\phi _{1} ( x ) } \int _{x}^{\infty }B ( s ) \phi _{1}^{p_{1}/ ( p_{1}-1 ) } ( s ) \,\mathrm{d}s> \frac{ ( p_{1}-1 ) }{p_{1}^{p_{1}/ ( p_{1}-1 ) }}, \\ &\underset{x\rightarrow \infty }{\lim \inf } \frac{6\varepsilon q_{0}x^{3}}{972} \int _{x}^{\infty }\frac{\mathrm{d}s}{s^{4}}>\frac{1}{4}, \\ &q_{0}>121.5\varepsilon , \end{aligned}$$

for some $\varepsilon >0$. Thus, by Theorem 3.1, every solution of equation (33) is oscillatory if $q_{0}>121.5\varepsilon$.

Example 3.2

Consider a differential equation

$$ \bigl( u ( x ) +a_{0}u ( \tau _{0}x ) \bigr) ^{ ( n ) }+\frac{q_{0}}{x^{n}}u ( \vartheta _{0}x ) =0,\quad q_{0}>0. $$

(34)

Let $p=2$, $x_{0}=1$, $r ( x ) =1$, $a ( x ) =a_{0}$, $\tau ( x ) =\tau _{0}x$, $\vartheta ( x ) = \vartheta _{0}x$,and $q ( x ) =q_{0}/x^{n}$. Then we easily see that condition (5) holds and condition (6) is satisfied. Hence, by Theorem 3.2, every solution of equation (34) is oscillatory.

4 Conclusions

Our aim of this article was to study the qualitative behavior of a fourth-order neutral nonlinear differential equation, driven by a p-Laplace differential operator. The obtained oscillation theorems complement the well-known oscillation results present in the literature. In this line of work, one can investigate oscillatory conditions for a fourth-order equation of the type:

$$ \textstyle\begin{cases} ( r ( x ) \vert y^{\prime \prime \prime } ( x ) \vert ^{p_{1}-2}y^{\prime \prime \prime } ( x ) ) ^{\prime }+a ( x ) f ( y^{ \prime \prime \prime } ( x ) ) +\sum_{i=1}^{j}q_{i} ( x ) \vert y ( \sigma _{i} ( x ) ) \vert ^{p_{2}-2}y ( \sigma _{i} ( x ) ) =0, \\ x\geq x_{0},\qquad \sigma _{i} ( x ) \leq x,\qquad j\geq 1,\qquad 1< p_{2} \leq p_{1}< \infty .\end{cases}$$

which is of interest to the authors, in particular, the case of $p_{2}>p_{1}$.