Euler type linear and half-linear differential equations and their non-oscillation in the critical oscillation case

Abstract

This paper is devoted to the analysis of the oscillatory behavior of Euler type linear and half-linear differential equations. We focus on the so-called conditional oscillation, where there exists a borderline between oscillatory and non-oscillatory equations. The most complicated problem involved in the theory of conditionally oscillatory equations is to decide whether the equations from the given class are oscillatory or non-oscillatory in the threshold case. In this paper, we answer this question via a combination of the Riccati and Prüfer technique. Note that the obtained non-oscillation of the studied equations is important in solving boundary value problems on non-compact intervals and that the obtained results are new even in the linear case.

Introduction

In this paper, we study oscillatory properties of the half-linear differential equation

$$ \bigl(r(t) \varPhi \bigl(x'\bigr)\bigr)' + s(t) \varPhi (x) = 0, \qquad \varPhi (x)= \vert x \vert ^{p-1} \operatorname{sgn}x, \quad p>1, $$

(1.1)

where r and s are continuous functions and r is positive. In fact, we focus on Eq. (1.1) in the so-called Euler form. Euler type differential equations play an important role in solving non-linear BVP associated to equations with p-Laplacian (see, e.g., [6, 8, 9] and the references therein). Our research is also motivated by paper [3], in which an eigenvalue problem associated to the half-linear equation

$$ \bigl(r(t)\varPhi \bigl(x^{\prime } \bigr) \bigr)^{\prime }+ \bigl(s _{1} (t)+\lambda s_{2} (t) \bigr)\varPhi (x)=0 $$

is studied, and by [24, 48], in which the oscillation of a neutral half-linear differential equation is examined.

In fact, we consider the perturbed Euler type half-linear differential equation

$$ \biggl( \biggl(r_{1}(t)+ \frac{r_{2}(t)}{\log ^{2} t} \biggr)^{1-p} \varPhi \bigl(x' \bigr) \biggr)' + \biggl(s_{1}(t) + \frac{s_{2}(t)}{ \log ^{2} t} \biggr)\frac{\varPhi (x)}{t^{p}} = 0, \quad t \in [\mathrm{e} , \infty ), $$

(1.2)

where $r_{i}, s_{i} : [\mathrm{e} , \infty ) \to \mathbb{R}$, $i\in \{1, 2\}$, are continuous functions such that

$$ r_{1}(t)+ \frac{r_{2}(t)}{\log ^{2} t} > 0, \quad t \in [ \mathrm{e} , \infty ) . $$

(1.3)

Henceforth, all equations will be considered for $t \in [\mathrm{e} , \infty )$. We assume that, for some $\alpha \in [0, 1)$, the inequalities

$$ \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \bigl\vert r_{i} (\tau ) \bigr\vert \,d \tau < \infty , \qquad \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \bigl\vert s_{i} (\tau ) \bigr\vert \,d \tau < \infty , \quad i \in \{1,2\}, $$

(1.4)

hold. Thus, for $i \in \{1,2\}$, we can put

$$ A_{i} := \sup_{t \ge \mathrm{e} } \frac{1}{{t^{\alpha }}} \int _{t}^{t + t^{\alpha }} \bigl\vert r_{i}( \tau ) \bigr\vert \,d \tau < \infty , \qquad B_{i} := \sup _{t \ge \mathrm{e} } \frac{1}{{t^{\alpha }}} \int _{t}^{t + {t^{\alpha }}} \bigl\vert s_{i}( \tau ) \bigr\vert \,d \tau < \infty . $$

(1.5)

In addition, let there exist numbers $R_{1}, S_{1} > 0$ and a continuous function $f: [\mathrm{e} , \infty ) \to \mathbb{R}$ satisfying $\lim_{t \to \infty } f (t) = 0$ and

$$ \biggl\vert R_{1} - \frac{1}{{t^{\alpha }}} { \int _{t}^{t + t^{ \alpha }} r_{1}( \tau ) \,d \tau } \biggr\vert \le \frac{f(t)}{\log ^{2} t}, \qquad \biggl\vert S_{1} - \frac{1}{{t^{\alpha }}} { \int _{t}^{t + t^{ \alpha }} s_{1}( \tau ) \,d \tau } \biggr\vert \le \frac{f(t)}{\log ^{2} t} $$

(1.6)

for all $t \in [\mathrm{e} , \infty )$.

The main result of this paper reads as follows.

Theorem 1.1

Let $R_{1}^{p-1} S_{1} = q^{-p}$ (see (1.6)) and $R_{2}, S_{2} \in \mathbb{R}$.

• (a) If

  $$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} r_{2} ( \tau ) \,d \tau \ge R_{2}, \qquad \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s_{2}( \tau ) \,d \tau \ge S_{2} $$

  (1.7)

  for all large t and

  $$ q \frac{S_{2}}{S_{1}} + p \frac{R_{2}}{R_{1}} > \frac{q^{2}}{2}, $$

  (1.8)

  then Eq. (1.2) is oscillatory.

• (b) If

  $$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} r_{2} ( \tau ) \,d \tau \le R_{2}, \qquad \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s_{2}( \tau ) \,d \tau \le S_{2} $$

  (1.9)

  for all large t and

  $$ q \frac{S_{2}}{S_{1}} + p \frac{R_{2}}{R_{1}} < \frac{q^{2}}{2}, $$

  (1.10)

  then Eq. (1.2) is non-oscillatory.

Conditionally oscillatory half-linear equations: an overview

The designation half-linear illustrates the fact that the solution space of Eq. (1.1) is homogeneous but it is not additive. This name was introduced in [2]. Of course, the lack of additivity is one of the main reasons of the fact that some tools widely used in the theory of linear equations are not available for half-linear equations. We can mention, e.g., the Wronskian identity (see [20]) or the Fredholm alternative (see [19]). On the bright side, many results from the theory of linear equations have been extended which gave birth to new advanced methods and approaches. At this place, we refer to the books [1, 16] that contain extensive theoretical background for half-linear equations.

The half-linear equations are situated between linear and non-linear equations on one side and between ordinary differential equations and partial differential equations on the other side. The first point of view is given by the fact that, putting $p=2$, we obtain linear equations. At this place, we should point out that results proved in this paper are not generalizations from linear equations to half-linear ones, but the presented research is new in the linear case as well. Of course, we prove all statements for general $p>1$ and one can obtain the linear versions of our results simply by considering $p=2$. Further, results about Eq. (1.1) are often first steps to extensive research in the field of non-linear equations, in particular with functions that preserve their sign in the place of function Φ (see, e.g., [18, 54, 58]). The second point of view comes directly from the relation of half-linear equations and (elliptic) partial differential equations with p-Laplacian. Since the function Φ is a one dimensional p-Laplacian, half-linear equations are scalar PDE’s with p-Laplacian and one can use results obtained for scalar equations to deduce criteria for more general PDE’s, especially concerning the so-called weak oscillation (see, e.g., [15, 28, 49]).

We recall that any non-trivial solution of a half-linear equation is said to be non-oscillatory if the solution is eventually positive or negative. Otherwise, the solution is called oscillatory. Since the Sturm separation theorem is extendable verbatim for half-linear equations, (non-)oscillation of one solution implies (non-)oscillation of all (non-zero) solutions of the given equation. Hence, half-linear equations can be categorized as oscillatory equations (if all solutions are oscillatory) and non-oscillatory equations (if all non-trivial solutions are non-oscillatory). For the half-linear version of the Sturm separation theorem, we refer again to [1, 16].

In the case a half-linear equation is non-oscillatory, the so-called principal and non-principal solutions can be introduced, similarly to the linear case. The asymptotic properties of these solutions play an important role in describing the asymptotics of any other solution of the equation; further, they can be an important tool in solving boundary value problems on non-compact intervals (see, e.g., [7,8,9]), because they can play the role of lower (upper) solutions for some modified problems. In particular, to obtain effective criteria for the solvability of the given BVP, various testing half-linear equations (those principal solutions are known) are used (see, e.g., the classic Euler equation or the Riemann–Weber equation in [7] or the generalized Euler equation in [8]).

Conditionally oscillatory equations are ideal testing equations. Once we have a general conditionally oscillatory equation, we are able to obtain many oscillation or non-oscillation results by simply applying comparison theorems.

For completeness, we recall the definition of conditional oscillation.

Definition 1

The equation

$$ \bigl(r(t)\varPhi \bigl(x'\bigr) \bigr)' + \gamma s(t) \varPhi (x)=0, \quad \gamma \in \mathbb{R}, $$

(2.1)

is said to be conditionally oscillatory if there exists the so-called critical oscillation constant $\varGamma > 0$ with the property that Eq. (2.1) is oscillatory for $\gamma >\varGamma$ and non-oscillatory for $\gamma < \varGamma$.

The critical oscillation constant (obviously) depends on the functions r, s. We emphasize that the critical case $\gamma =\varGamma$ is not contained in the above definition. For some simple equations (with constant or periodic coefficients), it has been proved that non-oscillation is “more probable” in the critical case. Nevertheless, it appears to be challenging to decide the critical case for more general equations.

Now, we mention the most important milestones in the theory of conditionally oscillatory Euler type linear and half-linear differential equations. As far as we were able to find, the very first result of this kind comes from [43], where the linear equation

$$ x''+\frac{\gamma }{t^{2}}x=0 $$

(2.2)

has been proved to be conditionally oscillatory with critical oscillation constant $\varGamma =1/4$. Since the equation can be explicitly solved and its general solution is $c_{1} \sqrt{x}+c_{2}\sqrt{x} \log x$, $c_{1}, c_{2} \in \mathbb{R}$, in the critical case, we can directly see that Eq. (2.2) is non-oscillatory for $\gamma =1/4$.

Next step has been made in [25, 52] one century later. There it was proved that conditional oscillation is preserved if we replace constant coefficients by periodic ones. Considering the equation

$$ \bigl(r(t)x' \bigr)'+\gamma \frac{s(t)}{t^{2}}x=0, $$

(2.3)

where r, s are positive α-periodic continuous functions, the critical oscillation constant is

$$ \varGamma =\frac{\alpha ^{2}}{4} \biggl( \int _{0}^{\alpha } \frac{ d \tau }{r(\tau )} \biggr)^{-1} \biggl( \int _{0}^{\alpha }s( \tau )\,d \tau \biggr)^{-1}. $$

This result is important also because of its continuation. We highlight at least [44,45,46,47], where several generalizations of this result are proved, and [53], where one can find the proof of the fact that Eq. (2.3) is non-oscillatory in the critical case.

Now, let us move to the half-linear equations. The basic result corresponding to Eq. (2.2) comes from [21, 22]; the equation and the critical oscillation constant are

$$ \bigl(\varPhi \bigl(x'\bigr)\bigr)' + \frac{\gamma }{t^{p}}\varPhi (x) = 0 \quad \text{and} \quad \varGamma = \biggl( \frac{p-1}{p} \biggr)^{p}. $$

Research in the field of half-linear equations continues. We mention, e.g., papers [13, 23, 42, 61]. As our motivation and for the purpose of comparison and the reader’s convenience, we formulate explicitly the main results of papers [32, 39]. We emphasize that these papers have one important thing in common—the critical case is solved there.

For the clarity of the formulation below, we introduce the number q as the conjugate number with p, i.e., $p+q=pq$, and we mention the definition of the mean value for continuous functions.

Definition 2

Let a continuous function $f: [T, \infty ) \to \mathbb{R}$ be such that the limit

$$ \overline{f} := \lim_{t \to \infty } \frac{1}{t} \int _{a}^{a + t} f (s ) \,d s $$

is finite and exists uniformly with respect to $a \in [ T, \infty )$. The number f̅ is called the mean value of f.

Clearly, the mean value of any α-periodic function $f: \mathbb{R} \to \mathbb{R}$ is

$$ \overline{f} = \frac{1}{\alpha } \int _{a}^{a + \alpha } f (s) \,d s, $$

where a is arbitrary. If we consider the sum of any periodic continuous functions $f_{i}$ for $i\in \{1,\dots ,n\}$, we immediately see that

$$ \overline{\sum_{i=1}^{n} f_{i}} = \sum_{i=1}^{n} \overline{f_{i}}. $$

In the first of the mentioned papers, i.e., in [32], the authors studied the equation

$$ \bigl(r^{1-p}(t) \varPhi \bigl(x' \bigr) \bigr)' + \frac{s(t)}{t^{p}} \varPhi (x) = 0, $$

(2.4)

where $r, s: [\mathrm{e} ,\infty ) \to \mathbb{R}$ are continuous functions and r is positive. The main result of [32] is as follows.

Theorem 2.1

If r is α-periodic with mean value $\overline{r} = 1$ and s is α̂-periodic with mean value $\overline{s} = q ^{-p}$, then Eq. (2.4) is non-oscillatory.

In fact, Theorem 2.1 is a continuation of certain previous results. Thus, for the reader’s convenience, we mention the combination of Theorem 2.1 with [28, Theorem 9] which gives the next result (see directly [32, Theorem 4.4]).

Theorem 2.2

Let r be α-periodic, positive, and continuous, let s be α̂-periodic and continuous for arbitrary $\alpha , \widehat{\alpha } > 0$. Let us denote

$$ \varGamma := q^{-p} \overline{r}^{1-p} = q^{-p} \biggl( \frac{1}{ \alpha } \int _{0}^{\alpha } {r(\tau )} \,d \tau \biggr)^{1-p}. $$

• (a) If $\overline{s} > \varGamma$, then Eq. (2.4) is oscillatory.

• (b) If $\overline{s} \le \varGamma$, then Eq. (2.4) is non-oscillatory.

We add that Theorem 2.1 has been extended for the finite sums of periodic continuous functions as coefficients in [33]. Hence, the corresponding generalization of Theorem 2.2 is valid as well (it suffices to use again [28, Theorem 9]).

Now, we focus on paper [39], where the equation

$$ \Biggl(t^{\beta } \Biggl( \sum _{i = 1}^{m} R_{i} (t) \Biggr) ^{-1} x' (t) \Biggr)' + t^{\beta - 2} \sum _{j = 1}^{n} S_{j}(t) x (t) = 0, \quad \beta \in \mathbb{R}\smallsetminus \{1\}, $$

(2.5)

is analyzed for arbitrary continuous periodic functions $R_{i}$, $i \in \{1, \dots , m\}$, $S_{j}$, $j \in \{1, \dots , n\}$, satisfying

$$ \inf_{t \ge 1} \sum_{i = 1}^{m} R_{i} (t) > 0 . $$

The following theorem is proved in [39]. Note that this theorem coincides with Theorem 2.1 for $\beta = 0$ and $p=2$.

Theorem 2.3

Consider Eq. (2.5). If

$$ \sum_{i=1}^{m}\overline{R_{i}} {\sum_{j=1}^{n}\overline{S_{j}} } = \frac{(\beta - 1)^{2}}{4}, $$

then Eq. (2.5) is non-oscillatory.

The main goal of this paper is to describe the non-oscillation of Eq. (2.4) for more general coefficients r, s than the periodic ones (or sums of periodic functions) in the critical case. This problem is covered by Theorem 1.1.

At the end of this section, we only briefly mention that the conditional oscillation of Euler type linear and half-linear equations is studied in the discrete case and in the case of dynamic equations on time scales as well. The results about difference equations are published, e.g., in [11, 36, 41, 63] and we refer to [40, 50, 51, 62] for results concerning dynamic equations on time scales. We will describe the research directed towards the discrete case and dynamic equations on time scales at the end of this paper within the collected open problems.

Riccati and Prüfer technique

In this section, we prepare needed tools which are the Riccati and Prüfer techniques and their combination. At first, we describe the half-linear Riccati transformation. We consider Eq. (2.4). We emphasize that the positivity of r implies that the power of coefficient r in the first term is not a restriction and it is considered from technical reasons in research papers. For a non-trivial solution x of Eq. (2.4), we apply the transformation

$$ w(t)=r^{1-p}(t)\varPhi \biggl(\frac{x'(t)}{x(t)} \biggr) $$

to get the so-called Riccati equation

$$ w' (t)+\frac{s (t)}{t^{p}} +(p-1)r (t) \bigl\vert w(t) \bigr\vert ^{q}=0 $$

(3.1)

associated to Eq. (2.4). Indeed, a solution w of Eq. (3.1) exists whenever $x(t) \neq 0$. Therefore, the existence of the solution w of Eq. (3.1) for $t\in [b,\infty )$ for some $b\ge \mathrm{e}$ guarantees the non-oscillation of solution x and the non-oscillation of one solution ensures (via the well-known half-linear Sturm separation theorem) that Eq. (2.4) is non-oscillatory. The Riccati equation (3.1) is not sufficient for our purposes. Therefore, we apply another transformation

$$ v(t)=t^{p-1}w(t) , $$

(3.2)

to obtain the so-called adapted (or weighted) Riccati equation

$$ v' (t) = \frac{p-1}{t} \biggl(v (t) - \frac{s(t)}{p-1}-r(t) \bigl\vert v(t) \bigr\vert ^{q} \biggr). $$

(3.3)

For the description of the Prüfer technique, we should recall the notion of half-linear trigonometric functions. More precisely, we will need the half-linear sine and cosine functions denoted by $\sin _{p}$ and $\cos _{p}$, respectively. By the usual definition, $\sin _{p}$ is the odd periodic extension of the solution of the initial problem

$$ \bigl(\varPhi \bigl(x' \bigr) \bigr)'+(p-1) \varPhi (x)=0, \quad x(0)=0, x'(0)=1 $$

(3.4)

and the half-linear cosine function $\cos _{p}$ is defined as the derivative of $\sin _{p}$. The period of $\sin _{p}$ and $\cos _{p}$ is

$$ 2\pi _{p}=\frac{4}{p}B \biggl(\frac{1}{p}, \frac{1}{q} \biggr) = \frac{4 \varGamma (\frac{1}{p} )\varGamma (\frac{1}{q} )}{p \varGamma (\frac{1}{p}+\frac{1}{q} )} = \frac{4\pi }{p\sin \frac{ \pi }{p}}, $$

where

$$ B(x,y)= \int _{0}^{1} \tau ^{x-1}(1-\tau )^{y-1}\,d \tau , \quad x, y > 0, \qquad \varGamma (x)= \int _{0}^{\infty } \tau ^{x-1} \mathrm{e}^{-\tau }\,d \tau , \quad x > 0, $$

are the standard Euler beta and gamma functions, respectively.

Regarding properties of $\sin _{p}$ and $\cos _{p}$, we mention only those which are used in this paper. For other properties and more details, we refer to [16] and the references cited therein. We recall the half-linear Pythagorean identity

$$ \vert \sin _{p} y \vert ^{p}+ \vert \cos _{p} y \vert ^{p}=1, \quad y \in \mathbb{R}, $$

(3.5)

which also implies

$$ \vert \cos _{p} y \vert ^{p} \le 1, \qquad \bigl\vert \varPhi (\cos _{p} y) \sin _{p} y \bigr\vert \le 1, \qquad \vert \sin _{p} y \vert ^{p} \le 1, \quad y \in \mathbb{R}. $$

(3.6)

Further, the continuous differentiability and periodicity of functions $\sin _{p}$, $\varPhi (\sin _{p})$, $\varPhi (\cos _{p})$ provide the existence of positive numbers $L_{1}$, $L_{2}$, $L_{3}$ such that

$$\begin{aligned}& \bigl\vert \vert \sin _{p} y \vert ^{p}- \vert \sin _{p} z \vert ^{p} \bigr\vert = \bigl\vert \varPhi (\sin _{p} y ) \sin _{p} y - \varPhi ( \sin _{p} z ) \sin _{p} z \bigr\vert \leq L_{1} \vert y - z \vert , \quad y, z \in \mathbb{R}, \end{aligned}$$

(3.7)

$$\begin{aligned}& \bigl\vert \vert \cos _{p} y \vert ^{p}- \vert \cos _{p} z \vert ^{p} \bigr\vert = \bigl\vert \bigl\vert \varPhi (\cos _{p} y ) \bigr\vert ^{ \frac{p}{p-1}} - \bigl\vert \varPhi (\cos _{p} z ) \bigr\vert ^{ \frac{p}{p-1}} \bigr\vert \leq L_{2} \vert y - z \vert , \quad y, z \in \mathbb{R}, \end{aligned}$$

(3.8)

and

$$ \bigl\vert \varPhi (\cos _{p} y)\sin _{p} y -\varPhi (\cos _{p} z)\sin _{p} z \bigr\vert \leq L_{3} \vert y - z \vert , \quad y, z \in \mathbb{R}. $$

(3.9)

Finally, we can proceed to the Prüfer technique and to the derivation of the equation for the Prüfer angle of Eq. (2.4). To do this, we use the modified half-linear Prüfer transformation

$$ x(t)=\rho (t)\sin _{p} \varphi (t),\qquad x'(t)= \frac{r (t) \rho (t)}{t} \cos _{p}\varphi (t). $$

Applying this transformation to (3.2), we obtain

$$ v (t) =\varPhi \biggl(\frac{\cos _{p}\varphi (t)}{\sin _{p}\varphi (t)} \biggr). $$

(3.10)

Now, we take into the account the fact that $\sin _{p}$ solves the equation in (3.4) to get

$$ v'(t)=(1-p) \biggl(1+ \biggl\vert \frac{\cos _{p}\varphi (t)}{\sin _{p} \varphi (t)} \biggr\vert ^{p} \biggr)\varphi ' (t). $$

(3.11)

Next, we use (3.3) and (3.11) and, due to (3.10), we obtain

$$ \begin{aligned}[b] &(1-p) \biggl(1+ \biggl\vert \frac{\cos _{p}\varphi (t)}{\sin _{p}\varphi (t)} \biggr\vert ^{p} \biggr)\varphi ' (t) \\ &\quad = \frac{p-1}{t} \biggl(\varPhi \biggl(\frac{\cos _{p}\varphi (t)}{\sin _{p}\varphi (t)} \biggr) - \frac{ s(t)}{p-1}-r (t) \biggl\vert \frac{\cos _{p}\varphi (t)}{\sin _{p}\varphi (t)} \biggr\vert ^{p} \biggr). \end{aligned} $$

(3.12)

Applying the Pythagorean identity (3.5), we convert (3.12) to the final form of the equation for the Prüfer angle

$$ \varphi ' (t) =\frac{1}{t} \biggl(r(t) \bigl\vert \cos _{p}\varphi (t) \bigr\vert ^{p}- \varPhi \bigl( \cos _{p}\varphi (t)\bigr)\sin _{p}\varphi (t) + s(t) \frac{ \vert \sin _{p} \varphi (t) \vert ^{p}}{p-1} \biggr), $$

(3.13)

which will be substantial in our method. The main idea is the equivalence of the boundedness of φ and the non-oscillation of Eq. (2.4) (see directly [17, Corollary 4.1] or, e.g., [12, 45, 53]). Regarding a solution φ of Eq. (3.13) (consider the right-hand side of Eq. (3.13) for values $\varphi (t)$ satisfying $\sin _{p} \varphi (t) = 0$), it is seen that the set of all values $\varphi (t)$ is unbounded if and only if $\lim_{t \to \infty } \varphi (t) = \infty$.

Oscillation and non-oscillation results

Let us consider real numbers $a_{1} > 0$, $b_{1} > 0, a_{2}, b_{2}$. We use the equation

$$ \begin{aligned}[b] \biggl( \biggl(a_{1} + \frac{a_{2}}{\log ^{2} t} \biggr)^{1-p} \varPhi \bigl(x' \bigr) \biggr)' + \biggl(b_{1} +\frac{b_{2}}{\log ^{2} t} \biggr) \frac{ \varPhi (x)}{t^{p}} = 0 \end{aligned} $$

(4.1)

to study Eq. (1.2). The equation for the Prüfer angle associated to Eq. (4.1) has the form (see Eq. (3.13))

$$ \begin{aligned}[b] \varphi ' (t) &= \frac{1}{t} \biggl( \biggl( a_{1} + \frac{a_{2} }{ \log ^{2} t} \biggr) \bigl\vert \cos _{p} \varphi (t) \bigr\vert ^{p}- \varPhi \bigl(\cos _{p} \varphi (t)\bigr)\sin _{p} \varphi (t) \\ &\quad{} + \biggl( b_{1} + \frac{b_{2}}{ \log ^{2} t} \biggr) \frac{ \vert \sin _{p} \varphi (t) \vert ^{p}}{p-1} \biggr) \end{aligned} $$

(4.2)

and the equation for the Prüfer angle associated to Eq. (1.2) takes the form

$$ \begin{aligned}[b] \varphi '(t) &= \frac{1}{t} \biggl( \biggl( r_{1}(t) + \frac{r_{2} (t)}{ \log ^{2} t} \biggr) \bigl\vert \cos _{p}\varphi (t) \bigr\vert ^{p} - \varPhi \bigl( \cos _{p}\varphi (t)\bigr)\sin _{p}\varphi (t) \\ & \quad{} + \biggl( s_{1}(t) + \frac{s_{2} (t)}{ \log ^{2} t} \biggr) \frac{ \vert \sin _{p}\varphi (t) \vert ^{p}}{p-1} \biggr). \end{aligned} $$

(4.3)

Clearly, Eq. (4.2) is a special case of Eq. (4.3).

To prove Lemma 4.1 below, we need the well-known Sturm half-linear comparison theorem (which follows) and one known result in a special form (see Theorem 4.2 below).

Theorem 4.1

Let $c_{1}$, $c_{2}$, $d_{1}$, $d_{2}$ be continuous functions such that $c_{1} (t) \ge c_{2} (t) > 0$ and $d_{2} (t) \geq d_{1} (t)$ for all large t. Let us consider the equations

$$\begin{aligned}& \bigl(c_{1}(t) \varPhi \bigl(x' \bigr) \bigr)' + d_{1} (t) \varPhi (x) = 0, \end{aligned}$$

(4.4)

$$\begin{aligned}& \bigl(c_{2} (t) \varPhi \bigl(x' \bigr) \bigr)' + d_{2} (t) \varPhi (x) = 0. \end{aligned}$$

(4.5)

• (a) If Eq. (4.5) is non-oscillatory, then Eq. (4.4) is non-oscillatory as well.

• (b) If Eq. (4.4) is oscillatory, then Eq. (4.5) is oscillatory as well.

Proof

See, e.g., [16, Theorem 1.2.4]. □

Theorem 4.2

Let $a_{1}^{p-1} b_{1} = q^{-p}$.

• (a) If

  $$ q \frac{ b_{2}}{b_{1}} + p \frac{a_{2}}{a_{1}} > \frac{q^{2}}{2}, $$

  then Eq. (4.1) is oscillatory.

• (b) If

  $$ q \frac{ b_{2}}{b_{1}} + p \frac{a_{2}}{a_{1}} < \frac{q^{2}}{2}, $$

  then Eq. (4.1) is non-oscillatory.

Proof

The theorem follows from results in each one of papers [10, 12, 17, 37]. □

We will also need the following auxiliary result.

Lemma 4.1

Let φ be a solution of Eq. (4.3) on some interval $[T,\infty )$, where $T \ge \mathrm{e}$, and let the function $\varphi _{ \alpha } : [T, \infty ) \to \mathbb{R}$ be defined by

$$ \varphi _{\alpha } (t):=\frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \varphi (\tau ) \,d \tau , \quad t \in [ T, \infty ). $$

(4.6)

Then $\varphi _{\alpha }$ is a solution of the equation

$$ \begin{aligned}[b] \varphi _{\alpha }^{\prime }(t) &= \frac{1}{t} \biggl( \biggl(R_{1} + \frac{1}{ \log ^{2} t} \biggl( \frac{1}{{t^{\alpha }}} \int _{t}^{t + t ^{\alpha }} {r_{2} (\tau )} \,d \tau \biggr) \biggr) \bigl\vert \cos _{p} \varphi _{\alpha } (t) \bigr\vert ^{p} \\ & \quad{} - \varPhi \bigl(\cos _{p} \varphi _{\alpha } (t) \bigr) \sin _{p} \varphi _{ \alpha } (t) \\ & \quad{} + \biggl(S_{1} + \frac{1}{\log ^{2} t} \biggl( \frac{1}{t ^{\alpha }} \int _{t}^{t + t^{\alpha }} {s_{2} (\tau )} \,d \tau \biggr) \biggr) \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} + \frac{g(t)}{\log ^{2} t} \biggr) \end{aligned} $$

(4.7)

on $(T, \infty )$ for a continuous function $g : (T, \infty ) \to \mathbb{R}$ satisfying $\lim_{ t \to \infty } g(t) = 0$.

Proof

We express $\varphi _{\alpha }^{\prime }(t)$ for an arbitrarily given $t > T$. If $\alpha = 0$, then

$$ \varphi _{\alpha }^{\prime }(t) = \biggl( \int _{t}^{t+ 1} \varphi (\tau ) \,d \tau \biggr)^{\prime }= \varphi (t+1) - \varphi (t) = \int _{t}^{t+ 1} \varphi ^{\prime }(\tau ) \,d \tau = \frac{1}{ {t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \varphi ' (\tau ) \,d \tau . $$

(4.8)

If $\alpha \in ( 0, 1)$, then

$$ \begin{aligned}[b] \varphi _{\alpha }^{\prime }(t) &= \biggl( \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \varphi (\tau )\,d \tau \biggr) ^{\prime } \\ &= - \frac{\alpha }{t^{\alpha + 1}} \int _{t}^{t+ {t^{\alpha }}} \varphi (\tau )\,d \tau + \frac{1}{{t^{\alpha }}} \biggl(\varphi \bigl(t + {t^{\alpha }} \bigr) \biggl( 1 + \frac{ \alpha }{{t^{1-\alpha }}} \biggr) - \varphi (t) \biggr) \\ &= - \frac{ \alpha }{t^{\alpha + 1}} \int _{t}^{t+{t^{\alpha }}} \varphi ( \tau )\,d \tau + \frac{\alpha }{t} \varphi \bigl(t + {t^{\alpha }} \bigr) + \frac{1}{{t^{\alpha }}} \int _{t}^{t+t ^{\alpha }} \varphi ' (\tau ) \,d \tau . \end{aligned} $$

(4.9)

Now, we prove that

$$ \biggl\vert \varphi \bigl(t + {t^{\alpha }} \bigr) - \frac{1}{t^{\alpha }} \int _{t}^{t+{t^{\alpha }}} \varphi (\tau )\,d \tau \biggr\vert < \frac{h(t)}{\log ^{2} t} $$

(4.10)

for all $t \ge T$ and for some continuous function $h: [T, \infty ) \to \mathbb{R}$ such that $\lim_{ t \to \infty } h(t) = 0$. To obtain (4.10), we show that the inequality

$$ \bigl\vert \varphi (t + s)- {\varphi _{\alpha }} (t) \bigr\vert \le \frac{A}{t ^{ 1-\alpha }} $$

(4.11)

holds for all $t \ge T$, $s \in [0, t^{\alpha } ]$ and for some $A > 0$. Of course, (4.11) gives (4.10) for $s = t^{\alpha }$. For any $t \ge T$, there exists $\sigma (t) \in [t,t+ t^{\alpha } ]$ such that ${\varphi _{\alpha }}(t)= \varphi (\sigma (t))$ (consider (4.6)). Hence, for any $t \ge T$, we obtain (see Eq. (4.3) together with (1.5) and (3.6))

$$\begin{aligned} &\bigl\vert \varphi (t + s)- {\varphi _{\alpha }}(t) \bigr\vert \\ &\quad = \bigl\vert \varphi (t + s)-\varphi \bigl(\sigma (t)\bigr) \bigr\vert = \biggl\vert \int _{\sigma (t)}^{t+s } \varphi '(\tau ) \,d \tau \biggr\vert \leq \int _{t}^{t+ {t^{\alpha }}} \bigl\vert \varphi '( \tau ) \bigr\vert \,d \tau \\ &\quad = \int _{t}^{t+ {t^{\alpha }}} \biggl\vert \frac{1}{\tau } \biggl( \biggl( r_{1}(\tau ) + \frac{r_{2} (\tau )}{ \log ^{2} \tau } \biggr) \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} - \varPhi \bigl( \cos _{p}\varphi ( \tau )\bigr)\sin _{p}\varphi (\tau ) \\ & \qquad{} + \biggl( s_{1}(\tau ) + \frac{s_{1} (\tau )}{ \log ^{2} \tau } \biggr) \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \biggr) \biggr\vert \,d \tau \\ &\quad \le \frac{1}{{t^{1-\alpha }}} \biggl( \frac{1}{t^{\alpha }} \int _{t}^{t + {t^{\alpha }}} \biggl( \bigl\vert r_{1}(\tau ) \bigr\vert + \frac{ \vert r _{2} (\tau ) \vert }{ \log ^{2} \mathrm{e} } \biggr) \bigl\vert \cos _{p}\varphi ( \tau ) \bigr\vert ^{p} \,d \tau\\ &\qquad {} + \frac{1}{t^{\alpha }} \int _{t} ^{t+ t^{\alpha }} \bigl\vert \varPhi \bigl(\cos _{p}\varphi (\tau )\bigr)\sin _{p} \varphi (\tau ) \bigr\vert \,d \tau \\ & \qquad{} + \frac{1}{t^{\alpha }} \int _{t}^{t+ t^{\alpha }} \biggl( \bigl\vert s_{1}(\tau ) \bigr\vert + \frac{ \vert s_{2} (\tau ) \vert }{ \log ^{2} \mathrm{e} } \biggr) \frac{ \vert \sin _{p}\varphi ( \tau ) \vert ^{p}}{p-1} \,d \tau \biggr) \\ &\quad \le \frac{1}{{t^{1-\alpha }}} \biggl( \frac{1}{t^{\alpha }} \int _{t}^{t + {t^{\alpha }}} \biggl( \bigl\vert r_{1}(\tau ) \bigr\vert + \bigl\vert r_{2} ( \tau ) \bigr\vert + 1 + \bigl( \bigl\vert s_{1}(\tau ) \bigr\vert + \bigl\vert s_{2} (\tau ) \bigr\vert \bigr) \frac{1}{p-1} \biggr) \,d \tau \biggr) \\ &\quad \le \frac{1}{{t^{1-\alpha }}} \biggl( A_{1} + A_{2} +1 + \frac{B_{1} + B_{2}}{p-1} \biggr), \end{aligned}$$

i.e., (4.11) is valid for

$$ A := A_{1} + A_{2} +1 + \frac{ B_{1} + B_{2}}{p-1}. $$

(4.12)

Considering (4.8), (4.9), and (4.10), we find that the inequality

$$ \biggl\vert \varphi _{\alpha }^{\prime }(t) - \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \varphi ' (\tau )\,d \tau \biggr\vert < \frac{h(t)}{t \log ^{2} t} $$

(4.13)

holds for all $t \ge T$ and for a continuous function $h: [T, \infty ) \to \mathbb{R}$ such that $\lim_{ t \to \infty } h(t) = 0$.

Thus, we consider (see again Eq. (4.3))

$$ \begin{aligned}[b] &\frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \varphi ' ( \tau )\,d \tau \\ &\quad = \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{ \alpha }}} \frac{1}{\tau } \biggl( \biggl( r_{1}(\tau ) + \frac{r_{2} (\tau )}{ \log ^{2} \tau } \biggr) \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \\ &\qquad {} - \varPhi \bigl(\cos _{p}\varphi (\tau ) \bigr)\sin _{p} \varphi (\tau ) + \biggl( s_{1}(\tau ) + \frac{s_{2} (\tau )}{ \log ^{2} \tau } \biggr) \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \biggr) \,d \tau . \end{aligned} $$

(4.14)

Since (see (1.5) and (3.6))

$$\begin{aligned} & \biggl\vert \int _{t}^{t+ {t^{\alpha }}} \frac{1}{\tau } \biggl( \biggl( r_{1}(\tau ) + \frac{r_{2} (\tau )}{ \log ^{2} \tau } \biggr) \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \\ & \quad{} - \varPhi \bigl(\cos _{p}\varphi (\tau ) \bigr)\sin _{p}\varphi (\tau ) + \biggl( s_{1}(\tau ) + \frac{s_{2} (\tau )}{ \log ^{2} \tau } \biggr) \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \biggr) \,d \tau \\ & \quad{}- \int _{t}^{t+ {t^{\alpha }}} \frac{1}{t} \biggl( \biggl( r _{1}(\tau ) + \frac{r_{2} (\tau )}{ \log ^{2} \tau } \biggr) \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \\ & \quad{} - \varPhi \bigl(\cos _{p}\varphi (\tau ) \bigr)\sin _{p}\varphi (\tau ) + \biggl( s_{1}(\tau ) + \frac{s_{2} (\tau )}{ \log ^{2} \tau } \biggr) \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \biggr) \,d \tau \biggr\vert \\ &\le \int _{t}^{t+{t^{\alpha }}} \biggl(\frac{1}{t} - \frac{1}{\tau } \biggr) \biggl( \biggl( \bigl\vert r_{1}( \tau ) \bigr\vert + \frac{ \vert r_{2} (\tau ) \vert }{ \log ^{2} \mathrm{e} } \biggr) + 1 + \biggl( \bigl\vert s_{1}(\tau ) \bigr\vert + \frac{ \vert s_{2} (\tau ) \vert }{ \log ^{2} \mathrm{e} } \biggr) \frac{1}{p-1} \biggr) \,d \tau \\ &\le {{t^{\alpha }}} \biggl(\frac{1}{t} - \frac{1}{t + {t^{\alpha }}} \biggr) \biggl( A _{1} + A_{2} + 1 + \frac{B_{1} + B_{2}}{p-1} \biggr) \le \frac{A}{t ^{2(1-\alpha )}}, \end{aligned}$$

(4.15)

where A is from (4.12), to prove the statement of the theorem, it suffices to obtain the inequalities

$$\begin{aligned}& \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} r _{1}(\tau ) \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \,d \tau - R _{1} \bigl\vert \cos _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} \biggr\vert \le \frac{F_{1}(t)}{\log ^{2} t}, \end{aligned}$$

(4.16)

$$\begin{aligned}& \biggl\vert \frac{1}{t^{\alpha }} \int _{t}^{t+ {t^{\alpha }}} \frac{r _{2} (\tau )}{ \log ^{2} \tau } \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \,d \tau - \frac{ \vert \cos _{p}\varphi _{\alpha }(t) \vert ^{p}}{\log ^{2} t} \biggl( \frac{1}{t^{\alpha }} \int _{t}^{t + t ^{\alpha }} r_{2} (\tau ) \,d \tau \biggr) \biggr\vert \le \frac{F_{2}(t)}{ \log ^{2} t}, \end{aligned}$$

(4.17)

$$\begin{aligned}& \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t + {t^{\alpha }}} \varPhi \bigl(\cos _{p} \varphi (\tau )\bigr)\sin _{p}\varphi (\tau ) \,d \tau - \varPhi \bigl( \cos _{p} {\varphi _{\alpha }}(t)\bigr)\sin _{p} {\varphi _{\alpha }} (t) \biggr\vert \le \frac{F_{3}(t)}{\log ^{2} t}, \end{aligned}$$

(4.18)

$$\begin{aligned}& \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} s _{1}(\tau ) \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \,d \tau - S_{1} \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} \biggr\vert \le \frac{F_{4}(t)}{\log ^{2} t}, \end{aligned}$$

(4.19)

and

$$ \biggl\vert \frac{1}{t^{\alpha }} \int _{t}^{t+ {t^{\alpha }}} \frac{s _{2} (\tau )}{ \log ^{2} \tau } \frac{ \vert \sin _{p}\varphi ( \tau ) \vert ^{p} }{p-1} \,d \tau - \frac{ \vert \sin _{p} \varphi _{\alpha }(t) \vert ^{p}}{(p-1) \log ^{2} t} \biggl( \frac{1}{t ^{\alpha }} \int _{t}^{t + t^{\alpha }} s_{2} (\tau ) \,d \tau \biggr) \biggr\vert \le \frac{F_{5} (t)}{\log ^{2} t} $$

(4.20)

for all $t \ge T$ and certain continuous functions $F_{1}, F_{2}, F _{3}, F_{4}, F_{5}: [T, \infty ) \to \mathbb{R}$ satisfying $\lim_{t \to \infty } F_{i}(t) = 0$ for each $i \in \{1, 2, 3,4 , 5\}$. Indeed (consider (4.13), (4.14), and (4.15)), inequalities (4.16)–(4.20) give (4.7).

We have (see (1.5), (1.6), (3.6), (3.8), and (4.11))

$$ \begin{aligned}[b] & \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} r _{1}(\tau ) \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \,d \tau - R _{1} \bigl\vert \cos _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} \biggr\vert \\ &\quad \le \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} r_{1}(\tau ) \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \,d \tau - \frac{1}{ {t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} r_{1} (\tau ) \,d \tau \bigl\vert \cos _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} \biggr\vert \\ &\qquad{} + \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+t^{\alpha }} r _{1} (\tau ) \,d \tau \bigl\vert \cos _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} - R_{1} \bigl\vert \cos _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} \biggr\vert \\ &\quad \le \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{ \alpha }}} \bigl\vert r_{1}(\tau ) \bigr\vert \cdot \bigl\vert \bigl\vert \cos _{p} {\varphi } ( \tau ) \bigr\vert ^{p} - \bigl\vert \cos _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} \bigr\vert \,d \tau\\ &\qquad {} + \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} r_{1}(\tau ) \,d \tau - R_{1} \biggr\vert \\ & \quad \le \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} \bigl\vert r_{1}( \tau ) \bigr\vert L_{2} \bigl\vert {\varphi } (\tau )- {\varphi _{\alpha }} (t) \bigr\vert \,d \tau + \frac{f(t)}{\log ^{2} {t}} \\ &\quad \le \frac{L_{2} A}{t ^{1-\alpha }} \biggl( \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \bigl\vert r_{1}(\tau ) \bigr\vert \,d \tau \biggr) + \frac{f(t)}{\log ^{2} {t}} \le \frac{L_{2} A A_{1}}{t^{1-\alpha }} + \frac{f(t)}{\log ^{2} {t}} \end{aligned} $$

(4.21)

for all $t \ge T$ and for a continuous function $f: [T, \infty ) \to \mathbb{R}$ such that $\lim_{t \to \infty } f(t) = 0$. Thus, (4.16) is true.

To prove (4.17), we use the limit

$$ \lim_{t \to \infty } \log ^{3} t \biggl( \frac{1}{\log ^{2} t} - \frac{ 1}{\log ^{2} (t + {t^{\alpha }} )} \biggr) = 0. $$

(4.22)

For all large t, we obtain (see (1.5), (3.6), (3.8), (4.11), and (4.22))

$$\begin{aligned} & \biggl\vert \frac{1}{t^{\alpha }} \int _{t}^{t+ {t^{\alpha }}} \frac{r _{2} (\tau )}{ \log ^{2} \tau } \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \,d \tau - \frac{ \vert \cos _{p}\varphi _{\alpha }(t) \vert ^{p}}{\log ^{2} t} \biggl( \frac{1}{t^{\alpha }} \int _{t}^{t + t ^{\alpha }} r_{2} (\tau ) \,d \tau \biggr) \biggr\vert \\ &\quad = \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \frac{ r_{2}(\tau )}{\log ^{2} t} \,d \tau \bigl\vert \cos _{p}{\varphi _{\alpha }} (t) \bigr\vert ^{p} - \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{ \alpha }}} \frac{ r_{2}(\tau )}{\log ^{2} \tau } \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \,d \tau \biggr\vert \\ &\quad \le \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \frac{ r_{2}(\tau )}{\log ^{2} t} \,d \tau \bigl\vert \cos _{p}{\varphi _{\alpha }} (t) \bigr\vert ^{p} - \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{ \alpha }}} \frac{ r_{2}(\tau )}{\log ^{2} \tau } \,d \tau \bigl\vert \cos _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} \biggr\vert \\ &\qquad{} + \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} \frac{ r_{2}(\tau )}{\log ^{2} \tau } \,d \tau \bigl\vert \cos _{p}{\varphi _{ \alpha }} (t) \bigr\vert ^{p} - \frac{1}{{t^{\alpha }}} \int _{t} ^{t+ {t^{\alpha }}} \frac{ r_{2}(\tau )}{\log ^{2} \tau } \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \,d \tau \biggr\vert \\ &\quad \le \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \biggl( \frac{1}{\log ^{2} t} - \frac{1}{\log ^{2} (t + t^{\alpha } )} \biggr) \bigl\vert r_{2} (\tau ) \bigr\vert \,d \tau \\ &\qquad{}+ \frac{1}{ {t^{\alpha }} \log ^{2} \mathrm{e} } \int _{t}^{t+ {t^{ \alpha }}} \bigl\vert r_{2} (\tau ) \bigr\vert \cdot \bigl\vert \bigl\vert \cos _{p}{\varphi _{ \alpha }} (t) \bigr\vert ^{p} - \bigl\vert \cos _{p}\varphi (\tau ) \bigr\vert ^{p} \bigr\vert \,d \tau \\ &\quad \le \frac{1}{ \log ^{3} t} \biggl( \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \bigl\vert r_{2} (\tau ) \bigr\vert \,d \tau \biggr) + \frac{1}{ {t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \bigl\vert r_{2} (\tau ) \bigr\vert L _{2} \bigl\vert {\varphi _{\alpha }} (t) - \varphi (\tau ) \bigr\vert \,d \tau \\ &\quad \le \frac{A_{2}}{\log ^{3} t} + \frac{L_{2} A}{t^{1-\alpha }} \biggl( \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \bigl\vert r_{2} ( \tau ) \bigr\vert \,d \tau \biggr) \le \frac{A_{2}}{\log ^{3} t} + \frac{ L_{2} A A_{2}}{t^{1-\alpha }} , \end{aligned}$$

i.e., (4.17) is valid.

Furthermore, (see (3.9) and (4.11))

$$\begin{aligned} & \biggl\vert \varPhi \bigl(\cos _{p} {\varphi _{\alpha }}(t) \bigr)\sin _{p} {\varphi _{ \alpha }} (t) - \frac{1}{{t^{\alpha }}} \int _{t}^{t + {t^{ \alpha }}} \varPhi \bigl(\cos _{p} \varphi (\tau )\bigr)\sin _{p}\varphi (\tau ) \,d \tau \biggr\vert \\ &\quad \le \frac{1}{{t^{\alpha }}} \int _{t}^{t + {t^{\alpha }} } \bigl\vert \varPhi \bigl(\cos _{p}{\varphi _{\alpha }}(t) \bigr)\sin _{p} {\varphi _{\alpha }} (t) - \varPhi \bigl(\cos _{p}\varphi (\tau ) \bigr) \sin _{p}\varphi (\tau ) \bigr\vert \,d \tau \\ &\quad \le \frac{1}{{t^{\alpha }}} \int _{t}^{t + t^{\alpha }} L_{3} \bigl\vert {\varphi _{\alpha }} (t) - \varphi (\tau ) \bigr\vert \,d \tau \le \frac{1}{{t^{\alpha }}} \int _{t}^{t + {t^{\alpha }}} \frac{L _{3} A}{{t^{1-\alpha }}} \,d \tau = \frac{L_{3} A}{{t^{1-\alpha }}}, \end{aligned}$$

i.e., (4.18) holds.

To obtain (4.19), we proceed analogously as in (4.21), where we have (see (1.5), (1.6), (3.6), (3.7), and (4.11))

$$\begin{aligned} & \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} s _{1}(\tau ) \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \,d \tau - S_{1} \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} \biggr\vert \\ &\quad \le \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} s_{1}(\tau ) \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \,d \tau - \frac{1}{ {t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} s_{1} (\tau ) \,d \tau \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} \biggr\vert \\ &\qquad{} + \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+t^{\alpha }} s _{1} (\tau ) \,d \tau \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} - S_{1} \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p} }{p-1} \biggr\vert \\ &\quad \le \frac{1}{p-1} \biggl( \frac{1}{{t^{\alpha }} } \int _{t} ^{t+{t^{\alpha }}} \bigl\vert s_{1}(\tau ) \bigr\vert \cdot \bigl\vert \bigl\vert \sin _{p} {\varphi } (\tau ) \bigr\vert ^{p} - \bigl\vert \sin _{p} {\varphi _{\alpha }} (t) \bigr\vert ^{p} \bigr\vert \,d \tau\\ &\qquad {} + \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} s_{1}(\tau ) \,d \tau - S_{1} \biggr\vert \biggr) \\ &\quad \le \frac{1}{p-1} \biggl( \frac{1}{{t^{\alpha }}} \int _{t} ^{t+{t^{\alpha }}} \bigl\vert s_{1}(\tau ) \bigr\vert L_{1} \bigl\vert {\varphi } (\tau )- {\varphi _{\alpha }} (t) \bigr\vert \,d \tau + \frac{f(t)}{\log ^{2} {t}} \biggr) \\ &\quad \le \frac{1}{p-1} \biggl( \frac{L_{1} A}{t^{1-\alpha }} \biggl( \frac{1}{ {t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} \bigl\vert s_{1}(\tau ) \bigr\vert \,d \tau \biggr) + \frac{f(t)}{\log ^{2} {t}} \biggr)\\ &\quad \le \frac{1}{p-1} \biggl( \frac{L_{1} A B_{1}}{t^{1-\alpha }} + \frac{f(t)}{ \log ^{2} {t}} \biggr) , \end{aligned}$$

where the function $f: [T, \infty ) \to \mathbb{R}$ is continuous with $\lim_{t \to \infty } f(t) = 0$.

To finish the proof, we prove (4.20) which follows from (see (1.5), (3.6), (3.7), (4.11), and (4.22))

$$\begin{aligned} & \biggl\vert \frac{1}{t^{\alpha }} \int _{t}^{t+ {t^{\alpha }}} \frac{s _{2} (\tau )}{ \log ^{2} \tau } \frac{ \vert \sin _{p}\varphi ( \tau ) \vert ^{p} }{p-1} \,d \tau - \frac{ \vert \sin _{p} \varphi _{\alpha }(t) \vert ^{p}}{(p-1) \log ^{2} t} \biggl( \frac{1}{t ^{\alpha }} \int _{t}^{t + t^{\alpha }} s_{2} (\tau ) \,d \tau \biggr) \biggr\vert \\ &\quad = \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \frac{ s_{2}(\tau )}{\log ^{2} t} \,d \tau \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} - \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \frac{ s_{2}(\tau )}{\log ^{2} \tau } \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \,d \tau \biggr\vert \\ &\quad \le \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \frac{ s_{2}(\tau )}{\log ^{2} t} \,d \tau \frac{ \vert \sin _{p}{\varphi _{\alpha }} (t) \vert ^{p}}{p-1} - \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} \frac{ s _{2}(\tau )}{\log ^{2} \tau } \,d \tau \frac{ \vert \sin _{p} {\varphi _{ \alpha }} (t) \vert ^{p}}{p-1} \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{1}{{t^{\alpha }}} \int _{t}^{t+{t^{\alpha }}} \frac{ s_{2}(\tau )}{\log ^{2} \tau } \frac{ \vert \sin _{p}{\varphi _{ \alpha }} (t) \vert ^{p}}{p-1} \,d \tau - \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \frac{ s_{2}(\tau )}{\log ^{2} \tau } \frac{ \vert \sin _{p}\varphi (\tau ) \vert ^{p}}{p-1} \,d \tau \biggr\vert \\ &\quad \le \frac{1}{p-1} \biggl( \frac{1}{{t^{\alpha }}} \int _{t} ^{t+ {t^{\alpha }}} \biggl( \frac{1}{\log ^{2} t} - \frac{1}{\log ^{2} (t + t^{\alpha } )} \biggr) \bigl\vert s_{2} (\tau ) \bigr\vert \,d \tau \\ &\qquad{} + \frac{1}{ {t^{\alpha }} \log ^{2} \mathrm{e} } \int _{t}^{t+ {t^{\alpha }}} \bigl\vert s_{2} (\tau ) \bigr\vert \cdot \bigl\vert \bigl\vert \sin _{p}{\varphi _{\alpha }} (t) \bigr\vert ^{p} - \bigl\vert \sin _{p}\varphi (\tau ) \bigr\vert ^{p} \bigr\vert \,d \tau \biggr) \\ &\quad \le \frac{1}{p-1 } \biggl( \frac{1}{ \log ^{3} t} \biggl( \frac{1}{ {t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \bigl\vert s_{2} (\tau ) \bigr\vert \,d \tau \biggr) + \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t ^{\alpha }}} \bigl\vert s_{2} (\tau ) \bigr\vert L_{1} \bigl\vert {\varphi _{\alpha }} (t) - \varphi (\tau ) \bigr\vert \,d \tau \biggr) \\ &\quad \le \frac{1}{p-1} \biggl( \frac{B_{2}}{\log ^{3} t} + \frac{L_{1} A}{t ^{1-\alpha }} \biggl( \frac{1}{{t^{\alpha }}} \int _{t}^{t+ {t^{\alpha }}} \bigl\vert s_{2} (\tau ) \bigr\vert \,d \tau \biggr) \biggr)\\ &\quad \le \frac{B _{2}}{p-1} \biggl( \frac{1}{\log ^{3} t} + \frac{L_{1} A}{t^{1-\alpha }} \biggr), \end{aligned}$$

where $t \ge T$ is sufficiently large. □

Now, we can prove Theorem 1.1 as presented in the Introduction.

Proof of Theorem 1.1

It is a well-known fact (see, e.g., [12, 17, 45, 53]) that Eq. (1.2) is oscillatory if and only if the Prüfer angle (given by Eq. (4.3)) is unbounded from above. Further, from the proof of Lemma 4.1 (see (4.11)), we find that Eq. (1.2) is oscillatory if and only if $\limsup_{t \to \infty } {\varphi _{\alpha }} (t) = \infty$ for an arbitrary solution φ of Eq. (4.3) on some interval $[T, \infty )$. In particular, Eq. (4.1) is non-oscillatory if and only if any solution of Eq. (4.2) is bounded from above.

In the first part of this proof, we prove that $\lim_{t \to \infty } {\varphi _{\alpha }} (t) = \infty$ if (1.7) and (1.8) are valid. Let $\delta > 0$ be so small that (see (1.8))

$$ q \frac{S_{2} - \delta }{S_{1}} + p \frac{R_{2} - \delta }{R _{1}} > \frac{q^{2}}{2} . $$

(4.23)

For all large t, we have (see (1.7), (3.5), and (4.7))

$$\begin{aligned} \varphi _{\alpha }^{\prime }(t) &= \frac{1}{t} \biggl( \biggl(R_{1} + \frac{1}{ \log ^{2} t} \biggl( \frac{1}{{t^{\alpha }}} \int _{t}^{t + t ^{\alpha }} {r_{2} (\tau )} \,d \tau \biggr) \biggr) \bigl\vert \cos _{p} \varphi _{\alpha } (t) \bigr\vert ^{p} \\ &\quad{} - \varPhi \bigl(\cos _{p} \varphi _{\alpha } (t) \bigr) \sin _{p} \varphi _{\alpha } (t) \\ &\quad{} + \biggl(S_{1} + \frac{1}{\log ^{2} t} \biggl( \frac{1}{t^{ \alpha }} \int _{t}^{t + t^{\alpha }} {s_{2} (\tau )} \,d \tau \biggr) \biggr) \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} + \frac{g(t)}{\log ^{2} t} \biggr) \\ &\ge \frac{1}{t} \biggl( \biggl(R_{1} + \frac{R _{2} - \vert g(t) \vert }{\log ^{2} t} \biggr) \bigl\vert \cos _{p} \varphi _{\alpha } (t) \bigr\vert ^{p} - \varPhi \bigl(\cos _{p} \varphi _{\alpha } (t) \bigr)\sin _{p} \varphi _{\alpha } (t) \\ & \quad{} + \biggl(S_{1} + \frac{S_{2}-(p-1) \vert g(t) \vert }{\log ^{2} t} \biggr) \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} \biggr) \\ & \ge \frac{1}{t} \biggl( \biggl(R_{1} + \frac{R_{2} - \delta }{\log ^{2} t} \biggr) \bigl\vert \cos _{p} \varphi _{\alpha } (t) \bigr\vert ^{p} - \varPhi \bigl(\cos _{p} \varphi _{\alpha } (t) \bigr)\sin _{p} \varphi _{\alpha } (t) \\ & \quad{} + \biggl(S_{1} + \frac{S_{2}-\delta }{\log ^{2} t} \biggr) \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} \biggr) . \end{aligned}$$

(4.24)

The equation

$$ \begin{aligned}[b] \psi ^{\prime }(t) &= \frac{1}{t} \biggl( \biggl(R_{1} + \frac{R_{2} - \delta }{\log ^{2} t} \biggr) \bigl\vert \cos _{p} \psi (t) \bigr\vert ^{p} - \varPhi \bigl(\cos _{p} \psi (t) \bigr)\sin _{p} \psi (t) \\ & \quad{} + \biggl(S_{1} + \frac{S_{2}-\delta }{\log ^{2} t} \biggr) \frac{ \vert \sin _{p} {\psi } (t) \vert ^{p}}{p-1} \biggr) \end{aligned} $$

(4.25)

has the form of Eq. (4.2). From (4.23) and Theorem 4.2, (a), we know that Eq. (4.25) has solutions that are unbounded (from above). Comparing (4.24) with Eq. (4.25), we obtain (see (4.11))

$$ \lim_{t \to \infty } \varphi _{\alpha }(t) = \lim _{t \to \infty } {\varphi } (t) = \infty , $$

i.e., Eq. (1.2) is oscillatory.

In the second part of the proof, we show that $\limsup_{t \to \infty } {\varphi _{\alpha }} (t) < \infty$ if (1.9) and (1.10) are valid. Let $\delta > 0$ be such that (see (1.10))

$$ q \frac{S_{2} + \delta }{S_{1}} + p \frac{R_{2} + \delta }{R _{1}} < \frac{q^{2}}{2} . $$

(4.26)

Analogously as in (4.24), for all large t, we have (see (1.9), (3.5), and (4.7))

$$ \begin{aligned}[b] \varphi _{\alpha }^{\prime }(t) &\le \frac{1}{t} \biggl( \biggl(R_{1} + \frac{R_{2} + \vert g(t) \vert }{\log ^{2} t} \biggr) \bigl\vert \cos _{p} \varphi _{\alpha } (t) \bigr\vert ^{p} - \varPhi \bigl(\cos _{p} \varphi _{\alpha } (t) \bigr)\sin _{p} \varphi _{\alpha } (t) \\ & \quad{} + \biggl(S_{1} + \frac{S_{2} + (p-1) \vert g(t) \vert }{\log ^{2} t} \biggr) \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} \biggr) \\ &\le \frac{1}{t} \biggl( \biggl(R_{1} + \frac{R_{2} + \delta }{\log ^{2} t} \biggr) \bigl\vert \cos _{p} \varphi _{\alpha } (t) \bigr\vert ^{p} - \varPhi \bigl(\cos _{p} \varphi _{\alpha } (t) \bigr)\sin _{p} \varphi _{\alpha } (t) \\ & \quad{} + \biggl(S_{1} + \frac{S_{2} + \delta }{\log ^{2} t} \biggr) \frac{ \vert \sin _{p} {\varphi _{\alpha }} (t) \vert ^{p}}{p-1} \biggr) . \end{aligned} $$

(4.27)

Now, we consider the equation

$$ \begin{aligned}[b] \psi ^{\prime }(t) &= \frac{1}{t} \biggl( \biggl(R_{1} + \frac{R_{2} + \delta }{\log ^{2} t} \biggr) \bigl\vert \cos _{p} \psi (t) \bigr\vert ^{p} - \varPhi \bigl(\cos _{p} \psi (t) \bigr)\sin _{p} \psi (t) \\ & \quad{} + \biggl(S_{1} + \frac{S_{2} + \delta }{\log ^{2} t} \biggr) \frac{ \vert \sin _{p} {\psi } (t) \vert ^{p}}{p-1} \biggr) \end{aligned} $$

(4.28)

which has the form of Eq. (4.2). Theorem 4.2, (b) (see (4.26)) guarantees that all solutions of Eq. (4.28) are bounded (from above). Considering (4.27) and Eq. (4.28), we have (see (4.11))

$$ \limsup_{t \to \infty } \varphi _{\alpha }(t) = \limsup _{t \to \infty } {\varphi } (t) < \infty $$

which gives the non-oscillation of Eq. (1.2). □

To show that Theorem 1.1 improves Theorem 2.1 mentioned in the Introduction as the basic motivation, we explicitly formulate the following result in full. In fact, Theorem 4.3 below is a trivial consequence of Theorem 1.1.

Theorem 4.3

Consider the equation

$$ \bigl( r (t) \varPhi \bigl(x' \bigr) \bigr)' + \frac{s(t)}{t^{p}} \varPhi (x) = 0, $$

(4.29)

where $r > 0, s$ are continuous functions such that there exist $\alpha \in [0, 1)$, $R, S > 0$, and a continuous function $f: [ \mathrm{e} , \infty ) \to \mathbb{R}$ satisfying $\lim_{t \to \infty } f (t) = 0$ for which

$$ \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \bigl\vert s (\tau ) \bigr\vert \,d \tau < \infty $$

(4.30)

and

$$\begin{aligned}& \biggl\vert R - \frac{1}{{t^{\alpha }}} { \int _{t}^{t + t^{\alpha }} r^{\frac{1}{1-p}} ( \tau ) \,d \tau } \biggr\vert \le \frac{f(t)}{\log ^{2} t}, \quad t \in [\mathrm{e} , \infty ), \end{aligned}$$

(4.31)

$$\begin{aligned}& \biggl\vert S - \frac{1}{{t^{\alpha }}} { \int _{t}^{t + t^{\alpha }} s( \tau ) \,d \tau } \biggr\vert \le \frac{f(t)}{\log ^{2} t}, \quad t \in [\mathrm{e} , \infty ). \end{aligned}$$

(4.32)

If $R^{p-1} S = q^{-p}$, then Eq. (4.29) is non-oscillatory.

Proof

The theorem is a corollary of Theorem 1.1. It suffices to use Theorem 1.1, (b) for Eq. (1.2) with $r_{2} \equiv 0$, $s_{2} \equiv 0$. □

Remark 1

We repeat that Theorem 4.3 generalizes Theorem 2.1. Theorem 4.3 generalizes Theorem 2.3 for $\beta = 0$ as well. It is easy to verify this fact using [39, Lemma 3.5] for the choice $\alpha = 1/2$. Indeed, [39, Lemma 3.5] implies (4.31) and (4.32) for r, s which are sums of continuous periodic functions. Note that (4.30) is trivially satisfied for any sum of continuous periodic functions in the position of s. We add that, applying the presented process, a generalization of Theorem 2.3 concerning a general β is actually not possible to obtain because no result corresponding to Theorem 4.2 for $\beta \ne 0$ is known. We also refer to the open problem (IV) in the next section.

Corollaries, examples, and open problems

To illustrate the novelty of our results, we mention the following series of corollaries and examples that are not covered by any known non-oscillation (or oscillation) criteria. At first, we provide examples to illustrate the novelty of Theorem 1.1.

Example 1

For arbitrarily given real numbers $a_{1} > 0$, $a_{2}$, $b_{1} > 0$, $b_{2}$, let us consider the equation

$$ \biggl( \biggl(a_{1} + \frac{a_{2}}{\log ^{2} t} \biggr)^{1-p} \varPhi \bigl(x' \bigr) \biggr)' + \biggl(b_{1} + \sin t^{2} + \frac{b_{2}}{ \log ^{2} t} \biggr) \frac{\varPhi (x)}{t^{p}} = 0, $$

(5.1)

which is a special case of Eq. (1.2). The conditions in (1.3), (1.4), and (1.6) are satisfied for $R_{1} = a_{1}$, $S_{1} = b_{1}$, and any $\alpha \in (0,1)$, because

$$ \sup_{t \ge 1} \frac{1}{{t^{\alpha }}} \int _{t}^{t +{t^{\alpha }}} \bigl\vert \sin \tau ^{2} \bigr\vert \,d \tau \le 1; $$

the integral $\int ^{\infty } \sin \tau ^{2} \,d \tau$ is convergent which guarantees

$$ \sup_{t \ge \mathrm{e}} \int _{t}^{t + t^{\alpha }} \sin \tau ^{2} \,d \tau < \infty . $$

Applying Theorems 1.1 and 4.1, we find that Eq. (5.1) is oscillatory for $a_{1}^{p-1} b_{1} > q^{-p}$ and non-oscillatory for $a_{1}^{p-1} b_{1} < q^{-p}$ and, in the limiting case $a_{1}^{p-1} b _{1} = q^{-p}$, we obtain a new result, which says that Eq. (5.1) is oscillatory for

$$ q \frac{b_{2}}{b_{1}} + p \frac{a_{2}}{a_{1}} > \frac{q^{2}}{2}, \quad \text{i.e.}, \quad 2q^{p+1} {b_{2}} + 2p{a_{2}} a_{1}^{-p} > q^{2} a_{1}^{1-p}, $$

and non-oscillatory for

$$ q \frac{b_{2}}{b_{1}} + p \frac{a_{2}}{a_{1}} < \frac{q^{2}}{2}. $$

Indeed, Eq. (5.1) has the form of Eq. (1.2) for $r_{1} (t) = a_{1}$, $r_{2} (t) = a_{2}$, $s_{1} (t) = b_{1} + \sin t^{2}$, and $s_{2} (t) = b_{2}$, where

$$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} r_{2} ( \tau ) \,d \tau = a_{2}, \qquad \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s_{2}( \tau ) \,d \tau = b_{2} $$

for all $t \in [\mathrm{e} , \infty )$ and $\alpha \in (0, 1)$.

Example 2

Let $a_{1} > 0$, $b_{1} > 0$, $a_{2}, a_{3}, b_{2}, b_{3}, b_{4} \in \mathbb{R}$, and $a, b, c, d \ne 0$. The half-linear equation

$$ \begin{aligned}[b] & \biggl( \biggl( \frac{\log ^{2} t }{a_{1} \log ^{2} t + a_{2} + a_{3} \arctan (\sin (at) ) } \biggr)^{2} \bigl\vert x' \bigr\vert x' \biggr)' \\ &\quad {}+ \biggl(b_{1} + b_{2} \sin (b \sqrt{t} ) + b_{3} \sin (c t ) + \frac{b_{4} + \sin (d t )}{ \log ^{2} t} \biggr)\frac{ \vert x \vert x }{t^{3}} = 0 \end{aligned} $$

(5.2)

takes the form of Eq. (1.2) for $p=3$ and

$$\begin{aligned}& r_{1} (t) = a_{1}, \qquad r_{2} (t) = a_{2} + a_{3} \arctan \bigl(\sin (at) \bigr), \\& s_{1} (t) = b_{1} + b_{2} \sin (b \sqrt{t} ) + b_{3} \sin (c t ), \qquad s_{2} (t) = b_{4} + \sin (d t ). \end{aligned}$$

For any $\alpha \in (1/2, 1)$, based on the inequalities

$$ \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \bigl\vert \sin (b \sqrt{\tau } ) \bigr\vert \,d \tau \le 1 $$

and

$$\begin{aligned} \biggl\vert \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} \sin (b \sqrt{\tau } ) \,d \tau \biggr\vert &\le \frac{1}{t ^{\alpha }} \biggl\vert \biggl[\frac{2 \sin (b \sqrt{\tau } ) - 2 b \sqrt{\tau } \cos (b \sqrt{\tau } )}{b^{2}} \biggr] _{t}^{t + t^{\alpha }} \biggr\vert \\ &\le \frac{1}{b^{2} t^{\alpha }} \bigl(4 + 2b \bigl(\sqrt{t + t ^{\alpha }} + \sqrt{t} \bigr) \bigr) < \frac{1}{\log ^{3} t} \end{aligned}$$

for all large t, it is easy to verify conditions (1.3), (1.4), and (1.6) for large t. Hence, we can apply Theorem 1.1. In conclusion, Theorems 1.1 and 4.1 give the oscillation of Eq. (5.2) if $3^{3} a_{1}^{2} b_{1} > 2^{3}$ and the non-oscillation if $3^{3} a_{1}^{2} b_{1} < 2^{3}$. In addition, in the threshold case $3^{3} a_{1}^{2} b_{1} = 2^{3}$, which is studied in this paper, we have oscillation if

$$ 4 \frac{b_{4}}{b_{1}} + 8 \frac{a_{2}}{a_{1}} > 3, $$

and non-oscillation if the opposite sharp inequality holds.

Example 3

For arbitrary $a > 1$, $b > 1$, and $c \in \mathbb{R}$, let us consider the equations

$$\begin{aligned} (p-1 ) \bigl\vert x' \bigr\vert ^{p - 2} x'' + \frac{1}{(t+1)^{p}} \biggl( {q^{-p} + \sin _{a} t + \sin _{b} t } + \frac{c}{\log ^{2} t} \biggr) \vert x \vert ^{p-2} x &= 0, \\ (p-1 ) \bigl\vert x' \bigr\vert ^{p - 2} x'' + \frac{1}{(t+1)^{p}} \biggl( {q^{-p} + \sin _{a} t + \cos _{b} t } + \frac{c}{\log ^{2} t} \biggr) \vert x \vert ^{p-2} x &= 0, \\ (p-1 ) \bigl\vert x' \bigr\vert ^{p - 2} x'' + \frac{1}{(t+1)^{p}} \biggl( {q^{-p} + \cos _{a} t + \cos _{b} t } + \frac{c}{\log ^{2} t} \biggr) \vert x \vert ^{p-2} x &= 0. \end{aligned}$$

Each one of these equations takes the form of Eq. (1.2). Applying Theorem 1.1, one can show that the equations are oscillatory for $2c > q^{1-p}$ and non-oscillatory for $2c < q^{1-p}$; this does not follow from known criteria.

Now, we focus on Theorem 4.3. In particular, Theorem 4.3 gives a new result in the linear case (for $p=2$) as well. Since linear equations form a very important class of equations, we mention the corresponding new corollary explicitly.

Corollary 5.1

Consider the linear equation

$$ \bigl( r (t) x' (t) \bigr)' + \frac{s(t)}{t^{2}} x (t) = 0, $$

(5.3)

where $r > 0$, s are continuous functions and (4.30) is valid for some $\alpha \in [0, 1)$. If there exist $R, S > 0$ satisfying $4 R S \le 1$ and a continuous function $f: [\mathrm{e} , \infty ) \to \mathbb{R}$ satisfying $\lim_{t \to \infty } f (t) = 0$ for which

$$ \frac{1}{{t^{\alpha }}} { \int _{t}^{t + t^{\alpha }} \frac{1}{r (\tau )} \,d \tau } \le R + \frac{f(t)}{\log ^{2} t}, \quad t \in [\mathrm{e} , \infty ), $$

and

$$ \frac{1}{{t^{\alpha }}} { \int _{t}^{t + t^{\alpha }} s( \tau ) \,d \tau }\le S + \frac{f(t)}{\log ^{2} t}, \quad t \in [\mathrm{e} , \infty ), $$

then Eq. (5.3) is non-oscillatory.

Proof

The statement of the corollary follows from Theorem 4.1 and Theorem 4.3 for $p=2$. □

Further, Corollary 5.1 is not covered by known results even in the case of constant coefficients in the main term. This case is embodied into the next corollary.

Corollary 5.2

Consider the linear equation

$$ x'' (t) + \frac{s(t)}{t^{2}} x (t) = 0, $$

(5.4)

where s is a continuous function and (4.30) is valid for some $\alpha \in [0, 1)$. If there exists a continuous function $f: [\mathrm{e} , \infty ) \to \mathbb{R}$ satisfying $\lim_{t \to \infty } f (t) = 0$ such that

$$ \frac{1}{{t^{\alpha }}} { \int _{t}^{t + t^{\alpha }} s( \tau ) \,d \tau }\le \frac{1}{4} + \frac{f(t)}{\log ^{2} t}, \quad t \in [\mathrm{e} , \infty ), $$

(5.5)

then Eq. (5.4) is non-oscillatory.

Proof

See Corollary 5.1 for $r \equiv 1$ and $R =1$. □

To illustrate Corollary 5.2, we can consider simple types of equations whose non-oscillation does not follow from any previously known results. See the example below.

Example 4

For the function

$$ s (t) := \textstyle\begin{cases} \frac{1}{4} + \frac{t - 2^{n}}{n}, &t \in [2^{n}, 2^{n} + n ], n \in \mathbb{N}; \\ \frac{1}{4} + 1 - \frac{t - 2^{n} - n}{n}, &t \in (2^{n}+ n , 2^{n} + 2n ], n \in \mathbb{N}; \\ \frac{1}{4}, &t \notin [2^{n}, 2^{n} + 2n ], n \in \mathbb{N}, \end{cases} $$

(5.6)

we consider Eq. (5.4). For any $\alpha \in (0, 1)$, we have

$$ \lim_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t}^{t + t^{ \alpha }} \bigl\vert s (\tau ) \bigr\vert \,d \tau = \limsup_{n \to \infty } \frac{1}{2^{ \alpha n}} \int _{2^{n}}^{2^{n} + 2^{\alpha n}} s (\tau ) \,d \tau = \frac{1}{4}, $$

which gives (4.30). In addition, we obtain

$$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s (\tau ) \,d \tau \le \frac{1}{4} + \frac{n + 1}{t^{\alpha }} $$

(5.7)

if $\alpha \in (0, 1)$ and $t \in [ 2^{n}, 2^{n+1} ]$, $n \in \mathbb{N}$. Thus, if we put

$$ f(t) := \log ^{2} t \frac{1+ \log _{2} t}{t^{\alpha }}, \quad t \in [\mathrm{e} , \infty ) , $$

then $\lim_{t \to \infty } f(t) = 0$ and (see (5.7))

$$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s (\tau ) \,d \tau \le \frac{1}{4} + \frac{f (t)}{\log ^{2} t}, \quad t \in [\mathrm{e} , \infty ) , $$

for any $\alpha \in (0, 1)$. Further, we have (5.5). Altogether, Corollary 5.2 states that Eq. (5.4) is non-oscillatory for s defined by (5.6). We repeat that the non-oscillation of Eq. (5.4) does not follow from any previously known results (or their combinations).

Although the aim of this paper is to prove Theorem 4.3, we obtain a more general result, which implies new criteria also for perturbed equations. Such a new corollary is as follows.

Corollary 5.3

Consider the half-linear equation

$$ \biggl( \biggl(1 + \frac{r(t)}{\log ^{2} t} \biggr)^{1-p} \varPhi \bigl(x' \bigr) \biggr)' + \biggl(q^{-p} + \frac{s(t)}{\log ^{2} t} \biggr)\frac{\varPhi (x)}{t^{p}} = 0, $$

(5.8)

where r, s are continuous functions and

$$ 1 + \frac{r (t)}{\log ^{2} t} > 0, \quad t \in [\mathrm{e} , \infty ) . $$

Assume that there exists $\alpha \in [0, 1)$ with

$$ \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \bigl\vert r (\tau ) \bigr\vert \,d \tau < \infty , \qquad \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \bigl\vert s (\tau ) \bigr\vert \,d \tau < \infty . $$

• (a) If

  $$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} r ( \tau ) \,d \tau \ge R, \qquad \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s ( \tau ) \,d \tau \ge S $$

  for all large t and some $R, S \in \mathbb{R}$ and

  $$ q^{p+1} S + p {R} > \frac{q^{2}}{2}, $$

  then Eq. (5.8) is oscillatory.

• (b) If

  $$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} r ( \tau ) \,d \tau \le R, \qquad \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s ( \tau ) \,d \tau \le S $$

  for all large t and some $R, S \in \mathbb{R}$ and

  $$ q^{p+1} {S} + p R < \frac{q^{2}}{2}, $$

  then Eq. (5.8) is non-oscillatory.

Proof

It suffices to use Theorem 1.1 for $R_{1} = 1$, $S_{1} = q^{-p}$, $R_{2} = R$, $S_{2} = S$, $r_{1} (t) = 1$, $s_{1} (t) = q^{-p}$, $r_{2} (t) = r(t)$, and $s_{2} (t) = s(t)$. □

Corollary 5.3 is not covered by known results even for the Riemann–Weber type of (linear and half-linear) equations. Hence, we mention the next corollaries and examples.

Corollary 5.4

Consider the equation

$$ \bigl(\varPhi \bigl(x'\bigr) \bigr)' + \biggl(q^{-p} + \frac{s(t)}{\log ^{2} t} \biggr) \frac{\varPhi (x)}{t^{p}} = 0, $$

(5.9)

where s is a continuous function such that (4.30) holds for some $\alpha \in [0, 1)$.

• (I) If

  $$ \liminf_{t \to \infty } \frac{1}{t^{\alpha }} { \int _{t}^{t + {t^{\alpha }}} s ( \tau ) \,d \tau } > \frac{q^{1-p}}{2}, $$

  (5.10)

  then Eq. (5.9) is oscillatory.

• (II) If

  $$ \limsup_{t \to \infty } \frac{1}{t^{\alpha }} { \int _{t}^{t + {t^{\alpha }}} s ( \tau ) \,d \tau } < \frac{q^{1-p}}{2}, $$

  (5.11)

  then Eq. (5.9) is non-oscillatory.

Proof

The corollary follows from Theorem 1.1 for coefficients $r_{1} (t) = 1$, $r_{2} (t) = 0$, $s_{1} (t) = q^{-p}$, $s_{2} (t) = s (t)$. □

Example 5

Let $a, b \in \mathbb{R}$ be arbitrary. Similarly as in Example 4 (see (5.6)), we define the function $s : [8, \infty ) \to \mathbb{R}$ by the formula

$$ s (t) := \textstyle\begin{cases} a + b \sin \frac{\pi (t - 8^{n})}{4^{n}}, &t \in [8^{n}, 8^{n} + 4^{n} ], n \in \mathbb{N}; \\ a, &t \in (8^{n} + 4^{n}, 8^{n+1} ), n \in \mathbb{N}. \end{cases} $$

Let us consider Eq. (5.9) for this function s and $t \ge 8$. Clearly,

$$ \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \bigl\vert s (\tau ) \bigr\vert \,d \tau \le \vert a \vert + \vert b \vert < \infty $$

for any $\alpha \in [0, 1)$, i.e., (4.30) is fulfilled. Now, we consider $\alpha > 2/3$. For example, we choose $\alpha = 3/4$. Then we obtain

$$\begin{aligned} \liminf_{t \to \infty } \frac{1}{\sqrt[4]{ t^{3}}} \int _{t}^{t + \sqrt[4]{ t^{3}} } s ( \tau ) \,d \tau &\ge \lim _{n \to \infty } \frac{1}{\sqrt[4]{ 8^{3n}} } \biggl( \int _{8^{n}}^{8^{n} + {4^{n}}} - \vert b \vert \,d \tau + \int _{8^{n}} ^{8^{n} + \sqrt[4]{ 8^{3n}} } a \,d \tau \biggr) \\ &= \lim_{n \to \infty } a - \vert b \vert \frac{4^{n} }{ \sqrt[4]{ 8^{3n}} } = \lim _{n \to \infty } a - \vert b \vert \biggl(\frac{4}{4 \sqrt[4]{2}} \biggr)^{n} = a \end{aligned}$$

and

$$\begin{aligned} \limsup_{t \to \infty } \frac{1}{\sqrt[4]{ t^{3}}} \int _{t}^{t + \sqrt[4]{ t^{3}} } s ( \tau ) \,d \tau &\le \lim _{n \to \infty } \frac{1}{\sqrt[4]{ 8^{3n}} } \biggl( \int _{8^{n}}^{8^{n} + {4^{n}}} \vert b \vert \,d \tau + \int _{8^{n}} ^{8^{n} + \sqrt[4]{ 8^{3n}} } a \,d \tau \biggr) \\ &= \lim_{n \to \infty } a + \vert b \vert \frac{4^{n} }{ \sqrt[4]{ 8^{3n}} } = a . \end{aligned}$$

Thus,

$$ \lim_{t \to \infty } \frac{1}{\sqrt[4]{ t^{3}}} \int _{t}^{t + \sqrt[4]{ t^{3}} } s ( \tau ) \,d \tau = a. $$

(5.12)

Applying Corollary 5.4 (see (5.10) and (5.11)) and considering (5.12), we obtain the oscillation of the considered equation for $2a > q^{1-p}$ and its non-oscillation for $2a < q^{1-p}$.

Corollary 5.5

Consider the linear equation

$$ x'' + \biggl(\frac{1}{4} + \frac{s(t)}{\log ^{2} t} \biggr)\frac{x}{t ^{2}} = 0, $$

(5.13)

where s is a continuous function satisfying (4.30) for some $\alpha \in [0, 1)$.

• (a) If the inequality

  $$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s ( \tau ) \,d \tau > \frac{1}{4} + \varepsilon $$

  (5.14)

  holds for all large t and some $\varepsilon > 0$, then Eq. (5.13) is oscillatory.

• (b) If the inequality

  $$ \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s ( \tau ) \,d \tau < \frac{1}{4} - \varepsilon $$

  (5.15)

  holds for all large t and some $\varepsilon > 0$, then Eq. (5.13) is non-oscillatory.

Proof

It suffices to consider Corollary 5.4 for $p = 2$. □

Example 6

Let $a \in \mathbb{R}$ and $\alpha \in (1/3, 1)$ be arbitrary and let $b: [\mathrm{e} , \infty ) \to \mathbb{R}$ be an arbitrary continuous function such that

$$ \limsup_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t} ^{t + t^{\alpha }} \sqrt[3]{\tau } \bigl\vert b (\tau ) \bigr\vert \,d \tau < \infty . $$

(5.16)

We apply Corollary 5.5 to the equation

$$ x'' + \biggl(\frac{1}{4} + \frac{a+ \arctan ( t^{3} - 2 t^{2} + 1 ) + b (t) \sqrt[3]{t} \cos t + \frac{t^{5}}{t^{5} + 6}}{ \log (t+1) \log t} \biggr)\frac{x}{t^{2}} = 0, $$

(5.17)

i.e., for Eq. (5.13) with

$$ s(t) = \biggl(a + \arctan \bigl( t^{3} - 2 t^{2} + 1 \bigr) + b (t) \sqrt[3]{t} \cos t + \frac{t^{5}}{t^{5} + 6} \biggr) \frac{\log t}{ \log (t+1)}. $$

(5.18)

Since

$$ \lim_{t \to \infty } \arctan \bigl( t^{3} - 2 t^{2} + 1 \bigr) = \frac{\pi }{2}, \qquad \lim _{t \to \infty } \frac{t^{5}}{t^{5} + 6} = \lim_{t \to \infty } \frac{\log t}{ \log (t+1)} = 1, $$

(5.19)

and

$$ - \frac{2 \sqrt[3]{t + t^{\alpha }}}{t^{\alpha }} \le \frac{1}{t^{ \alpha }} \int _{t}^{t + t^{\alpha }} \sqrt[3]{\tau } \cos \tau \,d \tau \le \frac{2 \sqrt[3]{t + t^{\alpha }} }{t^{\alpha }} $$

for all large t, we have

$$ \lim_{t \to \infty } \frac{1}{t^{\alpha }} \int _{t}^{t + t^{\alpha }} s ( \tau ) \,d \tau = a + \frac{\pi }{2} + 1 . $$

(5.20)

To use Corollary 5.5, it remains to verify (4.30). Of course, (5.16), (5.18), and (5.19) guarantee that (4.30) is fulfilled. Considering (5.20) together with (5.14) and (5.15), Corollary 5.5 says that Eq. (5.17) is oscillatory if $4a + 2\pi + 3 > 0$, and non-oscillatory if $4a + 2\pi + 3 < 0$, i.e., if $a < -2. 320 796 326 794 896 619\dots$

In Example 6, one can see that it is possible to use the presented results asymptotically (also for other types of equations). It is formulated explicitly below in two new corollaries. Note that, for simplicity, we demonstrate such types of results only in a very special case. To prove Corollary 5.6 below, we need the following lemma.

Lemma 5.1

Let a function $F : [\mathrm{e} , \infty ) \to \mathbb{R}$ be such that it can be expressed as a finite sum of continuous periodic functions. Then there exists a constant $E(F) > 0$ such that the inequality

$$ \biggl\vert \frac{1}{\sqrt{t}} \int _{t}^{t+\sqrt{t}} F( \tau )\,d \tau - \overline{F} \biggr\vert \le \frac{E(F)}{\sqrt{t}} $$

holds for all $t \in [\mathrm{e} , \infty )$.

Proof

See [39, Lemma 3.5]. □

Corollary 5.6

For an arbitrary $p>1$, consider continuous functions $f_{1}, f_{2}, f _{3} : [\mathrm{e} , \infty ) \to \mathbb{R}$ such that

$$ \lim_{t \to \infty } \frac{f_{1} (t)}{\log ^{2} t} = \lim_{t \to \infty } \frac{f_{2} (t)}{\log ^{2} t} = \lim_{t \to \infty } \frac{f_{3} (t)}{t^{p}} = 1 $$

and the half-linear differential equation

$$ \biggl( \biggl(1 + r_{1}(t)+ \frac{r_{2}(t)}{f_{1} (t) } \biggr)^{1-p} \varPhi \bigl(x' \bigr) \biggr)' + \biggl(q^{-p} + s_{1}(t) + \frac{s _{2}(t)}{f_{2} (t) } \biggr) \frac{\varPhi (x)}{f_{3} (t)} = 0, $$

(5.21)

where $r_{1}$, $s_{1}$ are finite sums of continuous periodic functions, $r_{2}$, $s_{2}$ are continuous functions such that

$$ 1 + r_{1}(t)+ \frac{r_{2}(t)}{f_{1} (t)} > 0, \quad t \in [\mathrm{e} , \infty ), $$

the mean values $\overline{r_{1}}$, $\overline{s_{1}}$ are zero, and the inequalities

$$ \limsup_{t \to \infty } \frac{1}{\sqrt{t} } \int _{t} ^{t + \sqrt{t} } \bigl\vert r_{2} (\tau ) \bigr\vert \,d \tau < \infty , \qquad \limsup_{t \to \infty } \frac{1}{\sqrt{t} } \int _{t} ^{t + \sqrt{t} } \bigl\vert s_{2} (\tau ) \bigr\vert \,d \tau < \infty $$

hold. Let $R, S \in \mathbb{R}$.

• (a) If

  $$ \frac{1}{\sqrt{t}} \int _{t}^{t + \sqrt{t}} r_{2} ( \tau ) \,d \tau \ge R, \qquad \frac{1}{\sqrt{t} } \int _{t}^{t + \sqrt{t}} s_{2}( \tau ) \,d \tau \ge S $$

  for all large t and $2 q^{p+1} S + 2 p R > q^{2}$, then Eq. (5.21) is oscillatory.

• (b) If

  $$ \frac{1}{\sqrt{t}} \int _{t}^{t + \sqrt{t}} r_{2} ( \tau ) \,d \tau \le R, \qquad \frac{1}{\sqrt{t}} \int _{t}^{t + \sqrt{t}} s_{2}( \tau ) \,d \tau \le S $$

  for all large t and $2 q^{p+1} S + 2 p R < q^{2}$, then Eq. (5.21) is non-oscillatory.

Proof

The corollary is a consequence of Theorem 1.1, where it suffices to apply Lemma 5.1 and to put $\alpha = 1/2$, $R_{1} = 1$, and $S_{1} = q^{-p}$. □

Corollary 5.6 gives a new result for $p=2$ as well. This new result is formulated for constant coefficients in place of $r_{2}$, $s_{2}$.

Corollary 5.7

Let $R, S \in \mathbb{R}$ and let $f_{1}, f_{2}, f_{3} : [\mathrm{e} , \infty ) \to \mathbb{R}$ be arbitrary continuous functions satisfying

$$ \lim_{t \to \infty } \frac{f_{1} (t)}{\log ^{2} t} = \lim_{t \to \infty } \frac{f_{2} (t)}{\log ^{2} t} = \lim_{t \to \infty } \frac{f_{3} (t)}{t^{2}} = 1 . $$

Consider the linear differential equation

$$ \biggl(\frac{f_{1} (t)}{f_{1} (t) + f_{1} (t) r (t)+ R } x' \biggr)' + \biggl(\frac{1}{4} + s (t) + \frac{S}{f_{2} (t) } \biggr) \frac{x}{f _{3} (t)} = 0, $$

(5.22)

where $r > 0, s$ are finite sums of continuous periodic functions with the property that $\overline{r} = \overline{s} = 0$.

• (a) If $4 S + R > 1$, then Eq. (5.22) is oscillatory.

• (b) If $4 S + R < 1$, then Eq. (5.22) is non-oscillatory.

Proof

See Corollary 5.6 for $p=2$, $r_{1} (t)= r(t)$, $r_{2} (t)= R$, $s_{1} (t)= s(t)$, $s_{2} (t)= S$. □

Example 7

For $a, b \in \mathbb{R}$, we can illustrate Corollary 5.7, e.g., by the equations

$$\begin{aligned}& \biggl(\frac{\log ^{2} t}{a+ (1+ \sin t) \log ^{2} t} x' \biggr)' + \biggl( \frac{1}{4} \biggl(1+ \sin t + \frac{b}{\log ^{2} (t+\sin t)} \biggr) \biggr) \frac{x}{t^{2}+ 2} = 0, \\& \biggl(\frac{\log ^{2} t}{a + \log ^{2} t} x' \biggr)' + \biggl( \frac{1}{4} \biggl(1+ \cos t + \frac{b}{\log ^{2} t} \biggr) \biggr) \frac{x}{t (t+ \sin t)} = 0, \\& \biggl(\frac{\log ^{2} (t+1)}{a+ \log ^{2} (t+1)} x' \biggr)' + \biggl( \frac{1}{4} \biggl(1+ \sin t \cos t + \frac{b}{\log t \log (t+\sqrt[3]{t} + 1 ) } \biggr) \biggr) \frac{t^{2} x}{t ^{4} + 1} = 0, \\& \biggl( \biggl(1 + \frac{a}{\log ^{2} (t+\sqrt{t}\sin t )} \biggr)^{-1} x' \biggr)' + \biggl(1 + \sin t + \frac{b}{\log ^{2} t} \biggr) \frac{x}{4(t+1)^{2}} = 0, \\& \biggl( \biggl(1 + \frac{a}{\log ^{2} t} \biggr)^{-1} x' \biggr)' + \biggl(\frac{1}{4} + \sin t + \sin (\sqrt{2}t ) + \frac{b}{4 \log ^{2} t} \biggr)\frac{x}{t(t+1)} = 0, \\& \biggl( \biggl(1 + \sin (\sqrt{2}t ) + \frac{a}{\log ^{2} (t+1)} \biggr)^{-1} x' \biggr)' + \biggl(1 + \sin (\sqrt{3}t ) + \frac{b}{\log ^{2} (t-1)} \biggr)\frac{x}{4 \sqrt[4]{t^{8} + 1}} = 0. \end{aligned}$$

One can easily verify that each one of the above equations is oscillatory for $a+b > 1$ and non-oscillatory for $a+b < 1$. To the best of our knowledge, the oscillatory behaviors of the above equations are not covered by any previously known criteria.

We end this paper by the following series of open problems which are connected to the research presented in this paper. Some of them are indicated in the Introduction; we describe them in detail here.

(I) Non-oscillation, principal solution, and boundary value problems. As claimed in the Introduction, non-oscillatory half-linear equations have important applications in boundary value problems on non-compact intervals. It is an open problem to study asymptotic properties of principal solutions of Euler type equations (1.2) and (4.1) under the non-oscillation condition mentioned in Theorem 4.2, (b). Along with this, it is of interest to apply these results to obtain effective criteria for the non-oscillation of principal solutions of some auxiliary half-linear equations that are used to find upper (lower) bounds for solutions of some boundary value problems on non-compact intervals by using a similar approach as in [7, 8].

(II) Discretization. Since the qualitative theory of difference equations follows the continuous theory frequently, the second open problem is devoted to the equations of the form

$$ \Delta \bigl(r_{k} \varPhi (\Delta x_{k} ) \bigr) + \frac{s _{k}}{k^{p}} \varPhi (x_{k+1})=0, $$

where $\Delta x_{k} = x_{k+1}-x_{k}$ is the forward difference of the sequence $\{x_{k}\}$. As we have already mentioned in the Introduction, some results concerning (non-perturbed) difference equations are already available (see, e.g., [36] or [34] and the references cited therein). The natural continuation is to extend known results to perturbed equations. Unfortunately, there is a problem with the method. Let us describe this problem thoroughly.

In this paper, we started with the Riccati technique. We recall that the core of this method is the equivalence of the non-oscillation of a studied equation and the existence of a solution of an associated Riccati type differential equation (or inequality) on an interval $[T, \infty )$ (see, e.g., [26,27,28, 30]). The standard Riccati technique and its variations (where the adapted Riccati equation (3.3) applied in this paper belongs) are used usually in the theory of non-perturbed equations. The technique itself is robust, clear, and straightforward but its “resolution” is not as precise as is needed for an analysis of the critical case and perturbed equations.

Hence, we combine the adapted Riccati equation with the Prüfer technique and involve the averaging method. Then we use the equivalence of the non-oscillation of the given equation and the boundedness of the Prüfer angle (for variations of such approach, see, e.g., [17, 33, 39, 45]).

Getting back to difference equations, the first approach (the Riccati technique) is available and frequently applied. The second method which involves the Prüfer transformation is available only in a “weak” version, which is a consequence of problems with the chain rule in the difference calculus (see [4]). Therefore, the acquisition of results concerning the conditional oscillation for difference equations with perturbations (or solve the critical case) remains a challenging open problem.

(III) Time scales. The third direction is towards dynamic equations on time scales, i.e., to equations of the form

$$ \bigl( r(t)\varPhi \bigl(x^{\Delta } \bigr) \bigr)^{\Delta } + \frac{s(t)}{t ^{p}} \varPhi \bigl(x^{\sigma }\bigr)=0, $$

where $x^{\Delta }$ and $x^{\sigma }$ denote the delta derivative and the forward jump operator applied to the function x, respectively. For more details, we refer, e.g., to [5]. Roughly speaking, the time scale calculus is a unification of the continuous and discrete calculus but a time scale itself is an arbitrary non-empty closed subset of real numbers. It means that much more cases are covered than only $\mathbb{R}$ and $\mathbb{Z}$. It has lead to the importance of dynamic equations in natural sciences, economy, and informatics and also to high interest of researchers. As well as in the discrete case (which is a special case of time scales), some results are already known (see, e.g., [38] with references therein). Of course, the problem with the fully functional Prüfer transformation is present as well. Therefore, the description from point (II) is valid also for dynamic equations on time scales. Moreover (see [50]), we note that the critical oscillation constant may be dependent on the graininess (a function that measures the distance between two consecutive points of the given time scale; it is identically zero for $\mathbb{R}$ and one for $\mathbb{Z}$).

(IV) Modified equations. Since conditionally oscillatory equations are very useful, a natural direction of research is to find another types of equations that are conditionally oscillatory. As we have already mentioned in the Introduction, such equations are ideal for testing oscillatory properties of other equations via many comparison theorems. However, the form of the coefficients of known conditionally oscillatory equations may not be suitable for testing of certain equations. More precisely, let us consider Eq. (2.4), where the presence of $t^{-p}$ in the potential term may be an obstacle. It is proved in [14] that the equation

$$ \bigl(t^{\beta -1} r(t) \varPhi \bigl(x' \bigr) \bigr)'+\frac{s(t)}{t ^{p-\beta +1}} \varPhi (x)=0, \quad \beta \neq p, $$

(5.23)

is conditionally oscillatory. The idea is to find other forms of differential equations and their perturbations that preserve the behavior of conditional oscillation. In this direction, we recall Theorem 2.3.

We remark that Eq. (5.23) with $\beta =p$ is not conditionally oscillatory, which can be simply verified on the case of constant coefficients r, s. In this case (see [35]), the form of the corresponding conditionally oscillatory equation is

$$ \bigl( t^{p-1} r(t) \varPhi \bigl(x' \bigr) \bigr)'+\frac{s(t)}{t \log ^{p}t} \varPhi (x)=0 $$

and the conditionally oscillatory perturbed equation is

$$ \biggl(t^{p-1} \biggl(r_{1}(t) + \frac{r_{2}(t)}{\log ^{2} t} \biggr) ^{1-p } \varPhi \bigl(x' \bigr) \biggr)'+ \frac{1}{t \log ^{p}t} \biggl(s _{1}(t) + \frac{s_{2}(t)}{\log ^{2} t} \biggr) \varPhi (x)=0. $$

Continuation in this research direction has a potential to enlarge the set of conditionally oscillatory equations.

(V) Non-linear equations. Besides the applications within linear and half-linear equations (and “real world” applications in natural sciences or economics), half-linear equations can be considered a starting point to research in the field of non-linear equations. A natural way involves equations with the combination of two p-Laplacians such as

$$ \bigl(r(t)\varPhi _{a} \bigl(x^{\Delta } \bigr) \bigr)^{\Delta }+s(t) \varPhi _{b}\bigl(x^{\sigma }\bigr)=0, $$

where $\varPhi _{a}$ and $\varPhi _{b}$ stand for p-Laplacian with $p=a$ and $p=b$, respectively. Then one can proceed to equations of the form

$$ \bigl(r(t)\varPhi \bigl(x^{\Delta } \bigr) \bigr)^{\Delta }+s(t)g \bigl(x ^{\sigma }\bigr)=0, $$

where g satisfies the sign condition $x g(x) >0$ whenever $x\neq 0$. See, e.g., [55,56,57, 59].

(VI) Partial differential equations. Since half-linear equations are in fact PDE’s with one dimensional p-Laplacian, another natural way of research is towards elliptic partial differential equations in the form

$$ \mathrm{div} \bigl(A(x) \Vert \nabla u \Vert ^{p-2} \nabla u \bigr) + C(x) \varPhi (u)=0, $$

(5.24)

where A is an elliptic $n\times n$ matrix function with differentiable components, C is a Hölder continuous function, and $x \in \mathbb{R}^{n}$. See, e.g., [15, 18, 49] or [28], where an example of a result for Eq. (5.24) is presented using a theorem about conditionally oscillatory half-linear equations.

(VII) General coefficients. Whenever a result containing some restrictions on coefficients is proved, the main question is whether the limitations on coefficients can be removed or weakened at least. We conclude that the results of this paper cannot be significantly extended in this direction. We can illustrate this on Eq. (4.29), which is proved to be non-oscillatory in the critical case (see Theorem 4.3). If we allow functions r, s to be almost periodic, we can construct two sets of these functions, say $r_{1}$, $s_{1}$ and $r_{2}$, $s_{2}$, such that one of the obtained equations (e.g., with $r_{1}$, $s_{1}$) is oscillatory and the second one (with $r_{2}$, $s_{2}$) is non-oscillatory in the critical case. Constructions that can be used for obtaining these coefficients are described in [60] (and used, e.g., in [29, 31] in the discrete case).