1 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.
2 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‐
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.
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‐
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.
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.
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]).
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\).
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.
3 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 \).
5 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.
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.
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.
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.
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 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.
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.
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}\).
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‐
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‐
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).
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.