In this section, we establish sufficient oscillation conditions for (1.1) and (1.2) satisfying (1.3) and (1.4), respectively. The method we apply is based on the iterative construction of solution estimates and repetitive application of the Grönwall inequality. It also uses some ideas of [9], where some oscillation results for a differential equation with a single delay were established.
2.1 Delay equations
Let
$$ g _{i}(t)=\sup_{0\leq s\leq t}\tau _{i}(s), \quad t \geq 0, $$
(2.1)
and
$$ g(t)=\max_{1\leq i\leq m} g_{i}(t),\quad t\geq 0. $$
(2.2)
As follows from their definitions, the functions \(g_{i}(t)\), \(1\leq i \leq m\) and \(g(t)\) are non-decreasing Lebesgue measurable functions satisfying \(g (t)\leq t\), \(g_{i}(t)\leq t\), \(1\leq i\leq m\) for all \(t \geq 0\).
The following lemma provides an estimation for a rate of decay for a positive solution. Such estimates are a basis for most oscillation conditions.
Lemma 1
Assume that
\(x(t)\)
is a positive solution of (1.1). Denote
$$ a_{1}(t,s):=\exp \Biggl\{ \int_{s}^{t}\sum_{i=1}^{m}p_{i}( \zeta )\,d\zeta \Biggr\} $$
(2.3)
and
$$ a_{r+1}(t,s):=\exp \Biggl\{ \int_{s}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(\zeta ,\tau _{i}(\zeta )\bigr)\,d\zeta \Biggr\} ,\quad r\in {\mathbb{N}}. $$
(2.4)
Then
$$ x(t)a_{r}(t,s)\leq x(s), \quad 0\leq s\leq t. $$
(2.5)
Proof
The function \(x(t)\) is a positive solution of (1.1) for any t, so
$$ x^{\prime }(t)=-\sum_{i=1}^{m}p_{i}(t)x \bigl(\tau _{i}(t)\bigr)\leq 0,\quad t\geq 0, $$
which means that the solution \(x(t)\) is monotonically decreasing. Thus \(x(\tau _{i}(t))\geq x(t)\) and
$$ x^{\prime }(t)+x(t)\sum_{i=1}^{m}p_{i}(t) \leq 0, \quad t\geq 0. $$
Applying the Grönwall inequality, we obtain
$$ x(t)\leq x(s)\exp \Biggl\{ - \int_{s}^{t}\sum_{i=1}^{m}p_{i}( \zeta )\,d\zeta \Biggr\} ,\quad 0\leq s\leq t, $$
or
$$ x(t)\exp \Biggl\{ \int_{s}^{t}\sum_{i=1}^{m}p_{i}( \zeta )\,d\zeta \Biggr\} \leq x(s),\quad 0\leq s\leq t, $$
that is, estimate (2.5) is valid for \(r=1\).
Next, let us proceed to the induction step: assume that (2.5) holds for some \(r>1\), then
$$ x(t)a_{r}\bigl(t,\tau _{i}(t)\bigr)\leq x\bigl(\tau _{i}(t)\bigr). $$
(2.6)
Substituting (2.6) into (1.1) leads to the estimate
$$ x^{\prime }(t)+x(t)\sum_{i=1}^{m}p_{i}(t)a_{r} \bigl(t,\tau _{i}(t)\bigr)\leq 0. $$
Again, applying the Grönwall inequality, we have
$$ x(t)\leq x(s)\exp \Biggl\{ - \int_{s}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(\zeta ,\tau _{i}(\zeta )\bigr)\,d\zeta \Biggr\} , $$
or
$$ x(t)\exp \Biggl\{ \int_{s}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(\zeta ,\tau _{i}(\zeta )\bigr)\,d\zeta \Biggr\} \leq x(s), $$
that is,
$$ x(t)a_{r+1}(t,s)\leq x(s), $$
which completes the induction step and the proof of the lemma. □
Let us illustrate how the estimate developed in Lemma 1 works in the case of autonomous equations. The series of estimates is evaluated using computer tools, which recently became an efficient method in computer-assisted proofs [25]. We suggest that, similarly, a computer algebra can be used to construct the estimate iterates and, ideally, the limit estimate. The example below illustrates the procedure.
Example 1
The equation
$$ x^{\prime}(t)+ \alpha e^{-\alpha} x(t-1)=0,\quad t \geq 0, \alpha \geq 0 $$
has an exact nonoscillatory solution \(e^{-\alpha t}\). For \(\alpha=0.5\) the exact rate of decay (up to the sixth digit after the decimal point) is \(x(t+1) \approx 0.606531 x(t)\), while \(a_{1}^{-1}(t,t-1) \approx 0.738403\), \(a_{2}^{-1}(t,t-1) \approx 0.663183\), \(a_{10}^{-1}(t,t-1) \approx 0.606725\), \(a_{18}^{-1}(t,t-1) \approx 0.606531\). The largest value of the coefficient of \(1/e\) is attained at \(\alpha=1\); it is well known that it is the maximal coefficient when the equation is still nonoscillatory. The decay of the estimate \(x(t+1)\leq \frac{1}{e} x(t) \approx 0.367879 x(t)\) is the slowest: \(a_{1}^{-1}(t,t-1) \approx 0.692201\), \(a_{2}^{-1}(t,t-1) \approx 0.587744\), \(a_{10}^{-1}(t,t-1) \approx 0.430949\), \(a_{50}^{-1}(t,t-1) \approx 0.381994\), \(a_{100}^{-1}(t,t-1) \approx 0.375068\), \(a_{1\mbox{,}000}^{-1}(t,t-1) \approx 0.368613\).
Theorem 4
Let
\(p_{i}(t)\geq 0\), \(1\leq i\leq m\), and
\(g(t)\)
be defined by (2.2), while
\(a_{r}(t,s)\)
by (2.3), (2.4). If (1.3) holds and for some
\(r\in \mathbb{N}\)
$$ \limsup_{t\rightarrow \infty } \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta >1, $$
(2.7)
then all solutions of (1.1) oscillate.
Proof
Assume, for the sake of contradiction, that there exists a nonoscillatory solution \(x(t)\) of (1.1). Since \(-x(t)\) is also a solution of (1.1), we can consider only the case when the solution \(x(t)\) is eventually positive. Then there exists \(t_{1}>0\) such that \(x(t)>0\) and \(x ( \tau _{i}(t) )>0\), for all \(t\geq t_{1}\). Thus, from (1.1) we have
$$ x^{\prime }(t)=-\sum_{i=1}^{m}p_{i}(t)x \bigl(\tau _{i}(t)\bigr)\leq 0, \quad \text{for all }t\geq t_{1}, $$
which means that \(x(t)\) is an eventually non-increasing positive function.
Integrating (1.1) from \(g(t)\) to t, and using the fact that the function x is non-increasing, while the function g defined by (2.2) is non-decreasing, and taking into account that
$$ \tau _{i}(t)\leq g(t)\quad \text{and}\quad x\bigl(\tau _{i}(s)\bigr) \geq x\bigl(g(t)\bigr)a_{r}\bigl(g(t),\tau _{i}(s)\bigr), $$
we obtain, for sufficiently large t,
$$\begin{aligned} x\bigl(g(t)\bigr) =&x(t)+ \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )x\bigl(\tau _{i}(\zeta )\bigr)\,d\zeta \\ > & \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )x\bigl(\tau _{i}(\zeta )\bigr)\,d\zeta \\ \geq &x\bigl(g(t)\bigr) \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta . \end{aligned}$$
Hence
$$ x\bigl(g(t)\bigr) \Biggl[ 1- \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta \Biggr] \geq 0, $$
which implies
$$ \limsup_{t\rightarrow \infty } \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta \leq 1. $$
The last inequality contradicts (2.7), and the proof is complete. □
The following example illustrates the significance of the condition \(\lim_{t \rightarrow \infty }\tau_{i}(t)=\infty \), \(1\leq i\leq m\), in Theorem 4.
Example 2
Consider the delay differential equation (1.6) with
$$ p(t)\equiv 2,\quad \tau (t)=\textstyle\begin{cases} -1, & \text{ if }t\in {}[ 2k,2k+1), \\ t, & \text{ if }t\in {}[ 2k+1,2k+2),\end{cases}\displaystyle \quad k\in \mathbb{N}_{0}=\{ 0,1,2,\dots \} . $$
By (2.2), we find
$$ g(t)=\sup_{0\leq s\leq t}\tau (s)=\textstyle\begin{cases} {}[ t], & \text{ if }t\in {}[ 2k,2k+1), \\ t, & \text{ if }t\in {}[ 2k+1,2k+2),\end{cases}\displaystyle \quad k\in \mathbb{N}_{0}. $$
If \(t=2k+0.8\), then \(g(t)=[t]=2k\) and
$$ \int_{g(t)}^{t}p(\zeta )\,d\zeta = \int_{g(2k+0.8)}^{2k+0.8}p(\zeta )\,d\zeta =2 \int_{2k}^{2k+0.8}\,d\zeta =1.6>1, $$
which means that (2.7) is satisfied for any r.
However, equation (1.6) has a nonoscillatory solution
$$ x(t)=\varphi(t)=t+1,\quad t \in [-1,0],\qquad x(t)= \textstyle\begin{cases} e^{-2[t]}, & \text{ if } t \in [2k,2k+1), \\ e^{-2(t-k-1)}, & \text{ if } t \in [2k+1,2k+2),\end{cases} $$
which illustrates the significance of the condition \(\lim_{t \rightarrow \infty }\tau (t)=\infty \) in Theorem 4.
In 1992, Yu et al. [18] proved the following result.
Lemma 2
In addition to the hypothesis (1.3), assume that
\(g(t)\)
is defined by (2.2),
$$ 0< \alpha :=\liminf_{t\rightarrow \infty} \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}(s) \,ds\leq \frac{1}{e}, $$
(2.8)
and
\(x(t)\)
is an eventually positive solution of (1.1). Then
$$ \liminf_{t\rightarrow \infty }\frac{x(t)}{x(g(t))}\geq \frac{1-\alpha -\sqrt{1-2\alpha -\alpha ^{2}}}{2}. $$
(2.9)
Based on inequality (2.9), we establish the following theorem.
Theorem 5
Assume that
\(p_{i}(t)\geq 0\), \(1\leq i\leq m\), \(g(t)\)
is defined by (2.2), \(a_{r}(t,s)\)
by (2.4), (2.3) and (2.8) holds. If for some
\(r\in {\mathbb{N}}\)
$$ \limsup_{t\rightarrow \infty } \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta >1- \frac{1-\mathfrak{\alpha }-\sqrt{1-2\mathfrak{\alpha }-\mathfrak{\alpha }^{2}}}{2}, $$
(2.10)
then all solutions of (1.1) oscillate.
Proof
Assume, for the sake of contradiction, that there exists a nonoscillatory solution \(x(t)\) of (1.1). Then, as in the proof of Theorem 4, we obtain, for sufficiently large t,
$$\begin{aligned} x\bigl(g(t)\bigr) =&x(t)+ \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )x\bigl(\tau _{i}(\zeta)\bigr)\,d\zeta \\ \geq &x(t)+x\bigl(g(t)\bigr) \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta . \end{aligned}$$
That is,
$$ \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta \leq 1-\frac{x(t)}{x(g(t))}, $$
which gives
$$ \limsup_{t\rightarrow \infty } \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta \leq 1-\liminf_{t\rightarrow \infty }\frac{x(t)}{x(g(t))}. $$
Taking into account that (2.9) holds, the last inequality leads to
$$ \limsup_{t\rightarrow \infty } \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta \leq 1-\frac{1-\mathfrak{\alpha }-\sqrt{1-2\mathfrak{\alpha }-\mathfrak{\alpha }^{2}}}{2}, $$
which contradicts condition (2.10).
The proof of the theorem is complete. □
Next, let us proceed to an oscillation condition involving lim inf.
Theorem 6
Assume that
\(p_{i}(t) \geq 0\), \(1\leq i\leq m\), (1.3) holds and
\(a_{r}(t,s)\)
are defined by (2.3), (2.4). If for some
\(r\in \mathbb{N}\)
$$ \liminf_{t\rightarrow \infty } \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta) a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta > \frac{1}{e}, $$
(2.11)
then all solutions of (1.1) oscillate.
Proof
Assume, for the sake of contradiction, that there exists a nonoscillatory solution \(x(t)\) of (1.1). Similarly to the proof of Theorem 4, we can confine our discussion only to the case of \(x(t)\) being eventually positive. Then there exists \(t_{1}> 0\) such that \(x(t)>0\) and \(x ( \tau _{i}(t) ) >0\) for all \(t\geq t_{1}\). Thus, from (1.1) we have
$$ x^{\prime }(t)=-\sum_{i=1}^{m}p_{i}(t)x \bigl(\tau _{i}(t)\bigr)\leq 0,\quad \text{for all }t\geq t_{1}, $$
which means that \(x(t)\) is an eventually non-increasing positive function.
For \(t\geq t_{1}\), (1.1) can be rewritten as
$$ \frac{x^{\prime }(t)}{x ( t ) }+\sum_{i=1}^{m}p_{i}(t) \frac{x ( \tau _{i}(t) ) }{x ( t ) }=0,\quad \text{for all }t\geq t_{1}. $$
Integrating from \(g(t)\) to t gives
$$ \ln \biggl( \frac{x ( t ) }{x ( g(t) ) } \biggr) + \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )\frac{x ( \tau _{i}(\zeta ) ) }{x ( \zeta ) }\,d\zeta =0\quad \text{for all }t\geq t_{2}\geq t_{1}. $$
Since \(g(t)\geq \tau _{i}(\zeta )\), by Lemma 1 we have \(x(\tau _{i}(\zeta))\geq a_{r}(g(t),\tau _{i}(\zeta ))x(g(t))\), and therefore
$$ \ln \biggl( \frac{x(t)}{x(g(t))} \biggr) + \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\frac{x(g(t))}{x(\zeta )}\,d\zeta \leq 0. $$
In view of \(x(g(t))\geq x(\zeta )\), the last inequality becomes
$$ \ln \biggl( \frac{x(t)}{x(g(t))} \biggr) + \int_{g(t)}^{t}\sum_{i=1}^{m}p_{i}( \zeta )a_{r}\bigl(g(t),\tau _{i}(\zeta )\bigr)\,d\zeta \leq 0. $$
(2.12)
Also, from (2.11) it follows that there exists a constant \(c>0\) such that for some \(t_{3} \geq t_{2}\)
$$ \int_{g(t)}^{t}\sum_{i=1}^{m} p_{i}(\zeta) a_{r}\bigl(g(t),\tau _{i}(\zeta ) \bigr)\,d\zeta \geq c >\frac{1}{e}, \quad t \geq t_{3} \geq t_{2}. $$
(2.13)
Combining inequalities (2.12) and (2.13), we obtain
$$ \ln \biggl( \frac{x(t)}{x(g(t))} \biggr) +c \leq 0, \quad t \geq t_{3}. $$
Thus
$$ \frac{x(g(t))}{x(t)}\geq e^{c}\geq ec>1, $$
which implies for some \(t \geq t_{4} \geq t_{3}\)
$$ (ec)x(t) \leq x\bigl(g(t)\bigr). $$
Repeating the above argument leads to a new estimate \(x(g(t))/x(t)>(ec)^{2}\), for t large enough. Continuing by induction, we get
$$ \frac{x(g(t))}{x(t)} \geq (ec)^{k},\quad \mbox{for sufficiently large }t, $$
where \(ec>1\). As \(ec>1\), there is \(k\in {\mathbb{N}}\) satisfying \(k > 2(\ln(2)-\ln(c))/(1+\ln(c))\) such that for t large enough
$$ \frac{x(g(t))}{x(t)}\geq (ec)^{k} > \frac{4}{c^{2}}. $$
(2.14)
Further, integrating (1.1) from \(g(t)\) to t yields
$$ x\bigl(g(t)\bigr) - x(t)- \int_{g(t)}^{t} \sum_{i=1}^{m} p_{i}(\zeta) x\bigl(\tau_{i}(\zeta)\bigr)\,d \zeta =0. $$
Inequality (2.5) in Lemma 1 used in the above equality leads to the differential inequality
$$ x\bigl(g(t)\bigr) - x(t)- x\bigl(g(t)\bigr) \int_{g(t)}^{t} \sum_{i=1}^{m} p_{i}(\zeta)a_{r} \bigl(g(t),\tau_{i}(\zeta) \bigr)\,d \zeta \geq 0. $$
The strict inequality is valid if we omit \(x(t)>0\) in the left-hand side:
$$ x\bigl(g(t)\bigr) \Biggl[ 1 - \int_{g(t)}^{t} \sum_{i=1}^{m} p_{i}(\zeta)a_{r} \bigl(g(t),\tau_{i}(\zeta) \bigr)\,d \zeta \Biggr] > 0. $$
From (2.13), for large enough t,
$$ 0 < c \leq \int_{g(t)}^{t} \sum_{i=1}^{m} p_{i}(\zeta) a_{r} \bigl(g(t),\tau_{i}(\zeta) \bigr)\,d\zeta < 1. $$
(2.15)
Taking the integral on \([g(t),t]\), which is not less than c, we split the interval into two parts where integrals are not less than \(c/2\), let \(t_{m} \in (g(t),t) \) be the splitting point:
$$ \int_{g(t)}^{t_{m}} \sum_{i=1}^{m} p_{i}(\zeta) a_{r} \bigl(g(t),\tau_{i}(\zeta) \bigr)\,d\zeta \geq \frac{c}{2},\qquad \int_{t_{m}}^{t} \sum_{i=1}^{m} p_{i}(\zeta) a_{r} \bigl(g(t),\tau_{i}(\zeta) \bigr)\,d\zeta \geq \frac{c}{2}. $$
Since \(g(t) \leq g(t_{m})\) in the first integral, we obtain
$$ \int_{g(t)}^{t_{m}} \sum_{i=1}^{m} p_{i}(\zeta) a_{r} \bigl(g(t_{m}), \tau_{i}(\zeta)\bigr)\,d\zeta \geq \frac{c}{2},\qquad \int_{t_{m}}^{t} \sum_{i=1}^{m} p_{i}(\zeta) a_{r} \bigl(g(t),\tau_{i}(\zeta) \bigr)\,d\zeta \geq \frac{c}{2}. $$
(2.16)
Integrating (1.1) from \(t_{m}\) to t, along with incorporating the inequality \(x(\tau _{i}(\zeta))\geq a_{r}(g(t), \tau _{i}(\zeta ))x(g(t))\), gives
$$ -x(t_{m})+x(t) + x\bigl(g(t)\bigr) \int_{t_{m}}^{t} \sum_{i=1}^{m} p_{i}(\zeta) a_{r} \bigl(g(t),\tau_{i}(\zeta) \bigr) \leq 0. $$
Together with the second inequality in (2.16), this implies
$$ x(t_{m}) \geq \frac{c}{2} x\bigl(g(t)\bigr). $$
(2.17)
By Lemma 1 we have \(x(\tau _{i}(\zeta))\geq a_{r}(g(t),\tau _{i}(\zeta ))x(g(t))\).
Similarly, integration of (1.1) from \(g(t)\) to \(t_{m}\) with a subsequent application of Lemma 1 leads to
$$ x(t_{m})-x\bigl(g(t)\bigr) + x\bigl(g(t_{m})\bigr) \int_{g(t)}^{t_{m}} \sum_{i=1}^{m} p_{i}(\zeta) a_{r} \bigl(g(t_{m}), \tau_{i}(\zeta)\bigr)\,d\zeta\leq 0, $$
which together with the first inequality in (2.16) yields
$$ x\bigl(g(t)\bigr) \geq \frac{c}{2} x\bigl(g(t_{m})\bigr) . $$
(2.18)
Inequalities (2.17) and (2.18) imply
$$ x\bigl(g(t_{m})\bigr) \leq \frac{2}{c} x\bigl(g(t)\bigr) \leq \frac{4}{c^{2}} x(t_{m}), $$
which contradicts (2.14). Thus, all solutions of (1.1) oscillate. □
As non-oscillation of (1.1) is equivalent to the existence of a positive or a negative solution of the relevant differentiation inequalities (see, for example, [21], Theorem 2.1, p. 25), Theorems 4, 5, and 6 lead to the following result.
Theorem 7
Assume that all the conditions of anyone of Theorems
4, 5
and
6
hold. Then
-
(i)
the differential inequality
$$ x^{\prime }(t)+\sum_{i=1}^{m}p_{i}(t)x \bigl( \tau _{i}(t) \bigr) \leq 0,\quad t\geq 0, $$
has no eventually positive solutions;
-
(ii)
the differential inequality
$$ x^{\prime }(t)+\sum_{i=1}^{m}p_{i}(t)x \bigl( \tau _{i}(t) \bigr) \geq 0,\quad t\geq 0, $$
has no eventually negative solutions.
2.2 Advanced equations
Similar oscillation theorems for the (dual) advanced differential equation (1.2) can be derived easily. The proofs of these theorems are omitted, since they are quite similar to the proofs for the delay equation (1.1).
Denote
$$ \rho_{i}(t)=\inf_{s\geq t} \sigma _{i}(s), \quad t \geq 0, $$
(2.19)
and
$$ \rho (t)=\min_{1\leq i\leq m}\rho _{i}(t), \quad t \geq 0. $$
(2.20)
Clearly, the functions \(\rho (t)\), \(\rho _{i}(t)\), \(1\leq i \leq m\), are Lebesgue measurable non-decreasing and \(\rho (t) \geq t\), \(\rho _{i}(t) \geq t\), \(1\leq i\leq m\) for all \(t \geq 0\).
Theorem 8
Assume that
\(p_{i}(t)\geq 0\), \(1\leq i\leq m\), (1.4) holds, \(\rho (t)\)
is defined by (2.20) and by the
\(b_{r}(t,s)\)
we denote
$$ b_{1}(t,s):=\exp \Biggl\{ \int_{t}^{s}\sum_{i=1}^{m}p_{i}( \zeta )\,d\zeta \Biggr\} $$
(2.21)
and
$$ b_{r+1}(t,s):=\exp \Biggl\{ \int_{t}^{s}\sum_{i=1}^{m}p_{i}( \zeta )b_{r}\bigl(\zeta,\sigma _{i}(\zeta )\bigr)\,d\zeta \Biggr\} , \quad r\in {\mathbb{N}}. $$
(2.22)
If for some
\(r\in \mathbb{N} \)
$$ \limsup_{t\rightarrow \infty } \int_{t}^{\rho (t)}\sum_{i=1}^{m}p_{i}( \zeta )b_{r}\bigl(\rho (t),\sigma _{i}(\zeta )\bigr)\,d\zeta >1, $$
(2.23)
then all solutions of (1.2) oscillate.
We would like to mention that Lemma 2 can be extended to the advanced type differential equation (1.2) (cf. [23], Section 2.6.6).
Lemma 3
In addition to the hypothesis (1.4), assume that
\(\rho (t)\)
is defined by (2.20),
$$ 0< \alpha :=\liminf_{t\rightarrow \infty } \int_{t}^{\rho (t)}\sum_{i=1}^{m}p_{i}(s) \,ds\leq \frac{1}{e}, $$
(2.24)
and
\(x(t)\)
is an eventually positive solution of (1.2). Then
$$ \liminf_{t\rightarrow \infty }\frac{x(t)}{x(\rho (t))}\geq \frac{1-\mathfrak{\alpha }-\sqrt{1-2\mathfrak{\alpha }-\mathfrak{\alpha }^{2}}}{2}. $$
Based on the above inequality, we establish the following theorem.
Theorem 9
Assume that
\(p_{i}(t)\geq 0\), \(1\leq i\leq m\), (1.4) is satisfied, \(\rho (t)\)
is defined by (2.20), \(b_{r}(t,s)\)
by (2.21) and (2.22), and (2.24) holds. If for some
\(r\in \mathbb{N}\)
$$ \limsup_{t\rightarrow \infty } \int_{t}^{\rho (t)}\sum_{i=1}^{m}p_{i}( \zeta)b_{r}\bigl(\rho (t),\sigma _{i}(\zeta )\bigr)\,d\zeta >1-\frac{1-\mathfrak{\alpha }-\sqrt{1-2\mathfrak{\alpha }-\mathfrak{\alpha }^{2}}}{2}, $$
(2.25)
then all solutions of (1.2) oscillate.
Theorem 10
Assume that
\(p_{i}(t)\geq 0\), \(1\leq i\leq m\), (1.4) holds, \(\rho (t)\)
is defined by (2.20), \(b_{r}(t,s)\)
are defined in (2.21), (2.22). If for some
\(r\in {\mathbb{N}}\)
$$ \liminf_{t\rightarrow \infty }\sum_{i=1}^{m} \int_{t}^{\rho (t)}p_{i}(\zeta )b_{r} \bigl(\rho (t),\sigma _{i}(\zeta )\bigr)\,d\zeta >\frac{1}{e} , $$
(2.26)
then all solutions of (1.2) oscillate.
A slight modification in the proofs of Theorems 8, 9 and 10 leads to the following result as regards advanced differential inequalities.
Theorem 11
Assume that all the conditions of any of Theorems
8, 9, and
10
hold. Then
-
(i)
the differential inequality
$$ x^{\prime }(t)-\sum_{i=1}^{m}p_{i}(t)x \bigl( \sigma _{i}(t) \bigr) \geq 0, \quad t\geq 0, $$
has no eventually positive solutions;
-
(ii)
the differential inequality
$$ x^{\prime }(t)-\sum_{i=1}^{m}p_{i}(t)x \bigl( \sigma _{i}(t) \bigr) \leq 0, \quad t\geq 0, $$
has no eventually negative solutions.