Abstract
By the Riccati transformation technique, we study some new oscillatory properties for the second-order dynamic equation on an arbitrary time scale \(\mathbb {T}.\) We also establish the Kamenev-type and Philos-type oscillation criteria. At the end, we give examples which illustrate our main results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In [25], Kubyshkin and Moryakova considered a second-order differential–difference equation of delay type
where the real constants \(A,h>0,~\text{ and } \text{ the } \text{ functions } ~\mathcal {K,W} : \mathbb {R} \rightarrow \mathbb {R}~\text{ defined } \text{ by }~\mathcal {K}(x(t))=k_{1}x(t)+k_{2}x^{2}(t)\ldots \ldots ,\) and \(\mathcal {W}(x(t))=w_{1}x(t)+w_{2}x^{2}(t)\ldots \ldots ~~\forall k_{i},w_{j} \in \mathbb {R}\), respectively. The authors have investigated the oscillatory solution of Eq. (1.1). Such Eq. (1.1) occur in the modeling of electronic devices. In this paper, we modify and extend this work by considering the Eq. (1.1) on the arbitrary time scales \(\mathbb {T}\),
where the functions \(a : \mathbb {T} \rightarrow \mathbb {R},~f : \mathbb {R} \rightarrow \mathbb {R},\) and time scale \(\mathbb {T}\) satisfies \(t-h<t ~\text{ and }~t-h \in \mathbb {T}~~\forall t \in \mathbb {T},\) for some positive real constant h. One can easily see that for some \(h >0\), Eq. (1.1) can be achieved by taking \(\mathbb {T}=\mathbb {R}\), \(a(t)=A>0\) and \(f(x)=x ~~ \forall x\in \mathbb {R}\) in Eq. (1.2). Equation (1.2) is very general in nature and techniques from time scale calculus to analyze it. Equation (1.2) covers not only differential equations (i.e., \(\mathbb {T}=\mathbb {R})\) and difference equations \((i.e., \mathbb {T}=\mathbb {Z})\) but covers more general time scales \(h\mathbb {Z} = \{h n : n \in \mathbb {Z} \}\) for \(h >0,~\mathbb {T} = \bigcup \limits _{k \in \mathbb {Z}}[k(a+b), k(a+b) +a]\) for \(a, b >0,\) and \(\mathbb {T} = \bigcup \limits _{m \in \mathbb {Z}}\{m + \frac{1}{n} : n \in \mathbb {N} \} \cup \mathbb {Z}\), etc. Throughout this paper, we obtain the sufficient conditions of oscillation for the dynamic equation (1.2). To the best of our knowledge, no work has been done regarding the oscillatory behavior of (1.2) so far.
Following Stefan’s landmark [22], a rapidly expanding body of literature has sought to unify, extend, and generalize ideas from discrete, quantum and continuous calculus to an arbitrary time scale calculus. A time scale is an arbitrary non-empty closed subset of the real numbers which have the topology that inherits from the real numbers with the standard topology. It has applications in electrical engineering, quantum mechanics, population dynamic and economics etc [3, 11]. In particular, a time scale \(q^{\mathbb {Z}}\cup \{0\},~q>1\) is used in quantum physics, see in [6, 7]. Many authors have worked on various aspects of new theory, see in [2, 6, 7, 14, 17, 19, 20, 21, 34] and the references therein. These literatures summarize and organize much of time scale calculus.
Stefan’s theory has attracted the attention of many researchers on oscillation of second-order linear and nonlinear dynamic equation on time scales. In recent years, many researchers have focused on oscillation and nonoscillation criteria of second-order ordinary dynamic equations on time scales. Several authors have studied the oscillation criteria by employing the Riccati transformation technique as well as established the Kamenev-type and Philos-type oscillation criteria. For more details on such criteria, we refer the reader to the papers [1, 12, 13, 15, 20, 28, 30–33] and reference therein. To establish the oscillation criteria, in [24], Kamenev considered a second-order differential equation
and investigated the following sufficient conditions of oscillations,
Several authors (e.g., Sun [31], Philos [27]) have extended the Kamenev’s oscillation criteria to more general criteria by taking the kernal function \((t-s)^{n}\) as the general class of functions H(t, s), which satisfies some assumptions given below follow:
The Kernal function \(H : \mathbb {D} = \{ (t,s) : t_{0} \le s \le t \} \rightarrow \mathbb {R}\) defined as continuous function such that
where \(\frac{\partial H(t,s)}{\partial s}\) is continuous on D. Furthermore, define a continuous function \(h : \mathbb {D} \rightarrow \mathbb {R}\) such that
In [27], Philos obtain the following sufficient conditions,
From the conditions (1.4) and (1.5), we conclude that the Philos-type is more general to Kamenev-type criteria. A discrete version of differential equation (1.3)
has been discussed by Chen and Erbe [9], for oscillation and non-oscillation. To harmonize the differential equation (1.3) and difference equation (1.6), in [12], Del and Kong, and in [16], Erbe, et al. have considered a following self-adjoint second-order scalar dynamic equation on time scale \(\mathbb {T}\)
and established the oscillation criteria. The problem (1.7) is not only the extension of results of [9, 24] but to the more general results on time scales. In addition, several authors have focused on study of both Kamenev-type and Philos-type oscillation criteria on the time scales. For example, in [4], Agwa et al. studied both Kamenev-type and Philos-type oscillation criteria of the following second-order nonlinear delay dynamic equation
In [10], Chen et al. considered the second-order dynamic equation with damping on time scales
and by employing Riccati transformation to established the sufficient conditions of Kamenev-type as well as Philos-type oscillation criteria. In [29], Saker have established the sufficient conditions of oscillation of the following second-order nonlinear neutral delay dynamic equations on time scales
and discussed both Kamenev-type and Philos-type oscillation criteria. In [8], Bohner and Saker have studied the oscillation criteria for the second-order perturbed dynamic equation on time scales:
In [1], Agarwal et al. modified the dynamic equation (1.11) and considered the following equation
and studied the sufficient conditions for oscillation. They have assumed that there exist two positive rd-continuous functions p and q such that
-
1.
\(r : \mathbb {T} \rightarrow \mathbb {R}~\text{ is } \text{ a } \text{ positive } \text{ and } \text{ rd-continuous } \text{ function } \text{ and }~\gamma \in \mathbb {N}~\text{ is } \text{ odd }\),
-
2.
\(p , q : \mathbb {T} \rightarrow \mathbb {R}~\text{ are } \text{ rd-continuous } \text{ functions } \text{ such } \text{ that }~p(t)-q(t)>0~ \text{ for }~t \in \mathbb {T}\),
-
3.
\(F : \mathbb {T}\times \mathbb {R} \rightarrow \mathbb {R}~\text{ and }~ G : \mathbb {T}\times \mathbb {R}^{2} \rightarrow \mathbb {R}~\text{ are } \text{ functions } \text{ such } \text{ that }~uF(t,u)>0 ~\text{ and }~uG(t, u, v)>0~\text{ for } \text{ all }~u\in \mathbb {R}\setminus \{0\}, v\in \mathbb {R}, t \in \mathbb {T}\),
-
4.
\(|F(t,u)|\ge p(t)|u|^{\gamma },~|G(t, u, v)|\le q(t)|u|^{\gamma }~\forall u \in \mathbb {R}\setminus \{0\}, v \in \mathbb {R}, t \in \mathbb {T}\).
In [18], Graef and Hill both have investigated nonoscillation solutions of higher order nonlinear delay dynamic equation on time scales
and established the sufficient conditions of non-oscillation. Recently, Negi et al. [26] considered the second-order nonlinear dynamic equations with integro forcing term and deviating argument on time scales
and
respectively, where \(\beta \ge 0,~w_{1}(t,y(t))=b_{1}(t,y(b_{2}(t,\ldots ,y(b_{m_{0}}(t,y(t))\ldots )))).\) By the Riccati technique, Negi et al. have investigated the Kamenev-type oscillation criteria of both the Eqs. (1.14) and (1.15), respectively.
In this paper, we first deal with two functions \(\mathcal {K}(y(t-h))\) and \(\mathcal {W}(y^{\Delta }(t-h)),\) which play an important role in our analytical findings. As we see in the above assumption (4), the absolute value of functions F and G are related with the absolute value of the unknown function u(t), with the functions p(t) and q(t), respectively. In Eq. (1.10), Saker have assumed that the continuous function \(f : \mathbb {T}\times \mathbb {R} \rightarrow \mathbb {R}\) such that \(uf(t,u)>0~~\forall u\ne 0\) and \(|f(t,u)|\ge q(t)|u^{\gamma }|,\) where a nonnegative function q(t) defined on \(\mathbb {T}.\) In Eq. (1.9), Chen have assumed function \(f \in C(\mathbb {R},\mathbb {R})\) such that \(xf(x)>0~\forall x \ne 0\) and \(f(x)\ge Lx,\) where L is positive real constant. In Eq. (1.13), Graef considered the function \(f\in C(\mathbb {R}, \mathbb {R})\) such that for \(\gamma >0,\) \(|f(x(t))| \le |x(t)|^{\gamma } +B~\text{ for } \text{ all }~x(t), \forall t \in \mathbb {T},\) where A, B are non-negative real constant. Motivated by the above literature, recently in [26] Negi et al. have assumed \(|H^{\Delta }(t, \eta (t), \xi (t) )| \ge p(t)|\eta (t)|\) and \(\eta (t)H^{\Delta }(t, \eta (t), \xi (t) )<0~~\text{ for }~\eta (t) \ne 0\) for the dynamic equation (1.14), and (1.15) by replacing \(\mathcal {H}\) to \(\mathcal {W}\).
To establish oscillation criteria for (1.2), we need \(\displaystyle |\mathcal {K}y(t)|\ge p(t)|y(t)| ~~\text{ for }~y(t)\ne 0\) such that \(~y(t)\mathcal {K}(y(t))>0.\) Moreover, there exist a function \(f \in C(\mathbb {R}, \mathbb {R})\) such that \(|f(\mathcal {W}(y^{\Delta }(t)))|\ge M(t)|y^{\Delta }(t)|\) as well as \(y(t) f(\mathcal {W}(y^{\Delta }(t)))>0~\forall y(t) \ne 0\) in \(\mathbb {R},\) where M(t) is a nonnegative rd-continuous function defined on \(\mathbb {T}\). Now we choose the real coefficients \(w_{j},k_{i}\) such that
and \(\mathcal {W}, \mathcal {K}\) are defined in (1.1), then we obtain the following relation
such that \(y(t)\mathcal {K}(y(t)) >0~~\forall y(t) \in \mathbb {R},~t \in \mathbb {T}.\) Similarly, we immediately obtain an inequality
Now let us consider a function \(f \in C(\mathbb {R}, \mathbb {R})\) for \(y(t) \in \mathbb {R}\) such that \(f(\mathcal {W}y^{\Delta }(t)) =q(t)\mathrm{sgn}(y(t))|\mathcal {W}(y^{\Delta }(t))|,~\forall t \in \mathbb {T},\) then, from (1.17), we obtain,
where q(t) is non-negative rd-continuous function defined on \(\mathbb {T}.\) Thus, we can find such function \(f \in C(\mathbb {R}, \mathbb {R})\) which satisfy
and \(y(t)f(\mathcal {W}(y^{\Delta }(t)))>0,~\text{ for }~y(t) \ne 0~\forall t \in \mathbb {T}~\text{ and }~q(t)\) is rd-continuous function defined on \(\mathbb {T}.\) In Eq. (1.18), absolute value of f related to the absolute value of \(y^{\Delta }(t)~\forall t \in \mathbb {T}.\)
For simplicity, throughout this paper, we denote \([a~\infty )_{\mathbb {T}}=[a~\infty )\bigcap \mathbb {T}.\) In addition, we also need the following assumptions, as follows:
-
\((O_1)\) Assume \(a, p : [t_{0},~\infty )_{\mathbb {T}} \rightarrow \mathbb {R}\) are positive rd-continuous functions such that \(0< p(t) \le k_{1}<\infty\) and \(q(t):=p(t)\frac{\mu (t)}{w_{1}}\).
-
\((O_2)\) \(\displaystyle \int _{t_{0}}^{\infty }\frac{1}{e_{z(t)}(t,s_{0})}\Delta t = \infty ,\) where \(z(t):=\frac{a(t)}{(1-a(t)\mu (t))}>0~\quad ~\forall t\in \mathbb {T}.\)
Let us recall that, a solution y(t) of (1.2) is a non-trivial or \(y(t)\ne 0,\) such that \(y(t)\in \mathbb {C}_{rd}^{\Delta ^{2}}([t_{y},~\infty )_{\mathbb {T}})\) for certain \(t_{y}\ge t_{0}.\) If it is eventually positive or eventually negative, then it must be non-oscillatory, otherwise oscillatory, i.e., it is oscillatory if there exists a real sequence, say \(\{a_{n}\}\) such that \(a_{n} \rightarrow \infty ~\text{ as }~ n \rightarrow \infty\) and \(y(a_{n})=0~\forall n\in \mathbb {N}.\) Our attention is restricted to those solutions of (1.2) which exist on the half-line \([t_{y},\infty )_{\mathbb {T}}\) and satisfy \(\sup \{ |y(t)| : t > t_{*} \} \ne 0\) for any \(t_{y}\le t_{*}\) and \(\sup \mathbb {T}=\infty .\)
This paper is organized as follows: In Sect. 2, we give basic definitions and present some necessary Lemmas. In the next section, we establish the sufficient conditions of oscillation of our Eq. (1.2). We further establish the Kamenev-type and Philos-type oscillation criteria. Some remarks for the particular case are also discussed. At the end in Sect. 4, to validation our results, we give an example. We also discuss the cases when the time scale is of a particular form.
Preliminaries
In this section, we present some basic definitions, useful Theorems and basic facts of time scales.
Definition 2.1
[6]. For \(t \in \mathbb {T},\) forward and backward jump operators \(\sigma ,~\rho : \mathbb {T}\rightarrow \mathbb {T}\) are defined by
respectively. The classification of points of time scale \(\mathbb {T}.\) For \(t \in \mathbb {T},\) t is called right-scattered if \(t< \sigma (t),\) and right dense if for all \(t<\mathrm{sup}{\mathbb {T}}\) such that \(t=\sigma (t).\) Similarly, t is left-scattered if \(t>\rho (t),\) and left dense if for all \(t>\mathrm{inf} \mathbb {T}\) such that \(t=\rho (t).\) The graininess operator \(\mu : \mathbb {T}\rightarrow [0,\infty )\) is defined by \(\mu (t) = \sigma (t)-t\).
Remark 2.2
We put \(\inf \emptyset = \sup \mathbb {T}\) (i.e., \(\sigma (t)=t\) if \(\mathbb {T}\) has a maximum t), \(\sup \emptyset = \inf \mathbb {T}\) (i.e., \(\rho (t) = t\) if \(\mathbb {T}\) has a minimum t), where \(\emptyset\) is an empty set.
Definition 2.3
[6] A function \(f : \mathbb {T} \rightarrow \mathbb {R}\) is called rd-continuous provided it is continuous at all right-dense points in \(\mathbb {T}\) and its left-sided limit exist (finite) at all left−dense points in \(\mathbb {T}\), which is denoted by \(C_{rd}=C_{rd}(\mathbb {T})=C_{rd}(\mathbb {T},\mathbb {R}).\)
We define \(\mathbb {T}^{\kappa }= \mathbb {T}-\{\xi \},~~\text{ if }~\mathbb {T} ~\text{ has } \text{ a } \text{ left-scattered } \text{ maximum }~ \xi ,~\text{ and }~ \mathbb {T}^{\kappa }=\mathbb {T},~~\text{ otherwise. }\)
Definition 2.4
[6] For a function \(f : \mathbb {T} \rightarrow \mathbb {R}\) and \(t \in \mathbb {T}^{\kappa }\), we define \(f^{\Delta }(t)\), to be a number (provided it exists) with the property that for any given \(\epsilon > 0\), there exists a neighborhood \(\mathcal {Z} = (t-\delta , t+\delta ) \bigcap \mathbb {T}\) for some \(\delta >0\) such that
Thus, we call \(f^{\Delta }(t)\) the \(\Delta\) or Hilger derivative of f at t.
Theorem 2.5
[6] For the functions \(g,f : \mathbb {T}\rightarrow \mathbb {R}\) and \(t\in \mathbb {T}^{\kappa }\). The following statements are true:
-
1.
If f is differentiable at t, then f is continuous at t;
-
2.
If f is continuous at t and t is right-scattered, then f is \(\Delta\) -derivative at t and \(f^{\Delta }(t)=\frac{f(\sigma (t))-f(t)}{\mu (t)};\)
-
3.
If t is right-dense, then f is differentiable at t iff \(f^{\Delta }(t)=\lim \nolimits _{s\rightarrow t}\frac{f(t)-f(s)}{t-s}\) exists and finite value;
-
4.
If f is differentiable at t, then \(f^{\sigma }=f(\sigma (t))=f(t)+\mu (t) f^{\Delta }(t);\)
-
5.
If f and g both are differentiable at t, then a product \(fg : \mathbb {T}\rightarrow \mathbb {R}\) is differentiable at t and
$$\begin{aligned} (fg)^{\Delta }(t)=f^{\Delta }(t)g(t)+f(\sigma (t))g^{\Delta }(t)=f(t)g^{\Delta }(t)+f^{\Delta }(t)g(\sigma (t)), \end{aligned}$$hence,for \(t\in \mathbb {T}\) such that \(a \le t \le b, ~\forall a, b \in \mathbb {T},\) we have the following facts
$$\begin{aligned} \int _{a}^{b}f^{\sigma }(s)g^{\Delta }(s)\Delta s =f(b)g(b)-f(a)g(a) - \int _{a}^{b}f^{\Delta }(s)g(s)\Delta s \end{aligned}$$(2.1)$$\begin{aligned} \int _{a}^{b}f(s)g^{\Delta }(s)\Delta s =f(b)g(b)-f(a)g(a) - \int _{a}^{b}f^{\Delta }(s)g^{\sigma }(s)\Delta s; \end{aligned}$$(2.2) -
6.
If \(g(t)g(\sigma (t))\ne 0,\) then \(\frac{f(t)}{g(t)}\) is differentiable at t and
$$\begin{aligned} \left( \frac{f}{g}\right) ^{\Delta }(t)=\frac{f^{\Delta }(t)g(t)-f(t)g^{\Delta }(t)}{g(t)g(\sigma (t))}. \end{aligned}$$
Definition 2.6
[6] A function \(w : \mathbb {T} \rightarrow \mathbb {R}\) is regressive if \(1+\mu (t)q(t)\ne 0,~ \forall t \in \mathbb {T}.\) Denote the collection of all rd-continuous functions \(w : \mathbb {T} \rightarrow \mathbb {R}\) by \(\mathcal {R},\) and \(\mathcal {R}^{+}=\{ w \in \mathcal {R} : 1+\mu (t)w(t)>0 ~\text{ for } \text{ all }~t \in \mathbb {T} \}.\)
Definition 2.7
[6] A function \(F : \mathbb {T}\rightarrow \mathbb {R}\) is called an anti−derivative of \(f : \mathbb {T}\rightarrow \mathbb {R},\) provided \(F^{\Delta }(t)=f(t) ~\forall t\,\in \mathbb {T}\). Then \(\forall a,b \,\in \mathbb {T}\) such that \(a \le b\), Cauchy integral is defined by
Definition 2.8
[23] Let \(\mathbb {T} = \displaystyle \overline{q^{\mathbb {Z}}},\) we have the relation \(f^{\Delta }(t) = D_{q}f(t),\) where
is the q-difference operator.
Remark 2.9
In Definition 2.7, Eq. (2.3) does not hold for all time scale, for example, in q-calculus (i.e., \(\mathbb {T} = \displaystyle \overline{q^{\mathbb {Z}}}\)) the following relation is not correct always : \(\displaystyle \int _a^b D_q f(t) d_qt= f(b)-f(a)\). For more detail see page 12 in [5].
Definition 2.10
[6] If \(w \in \mathcal {R}\), then we define a exponential function by
where \(\eta _{h}(z)\) is the cylinder transformation, which is defined by
Before going to our main section, we first introduce some necessary lemmas which are crucial for our proofs.
Lemma 2.11
Let y(t) be a non-oscillate solution of (1.2) and assume that \(O_{1}, O_{2},\) relations (1.16) and (1.18) hold, then there exists \(s_{0}\ge 0\) ; \(s_{0}>t_{0}\) such that
and
Proof
Let y(t) be an eventually positive solution of (1.2). Then there exists \(t_{1} \in [t_{0},~\infty )_{\mathbb {T}}\) such that \(y(t)>0\) on \([t_{1},~\infty )_{\mathbb {T}}.\) Let us take \(t_{2} \in [t_{1},~\infty )_{\mathbb {T}}\) such that \(t_{2}\ge t_{1}+h,\) then we must have \(y(t)>0\) and \(y(t-h)>0\) on \([t_{2},~\infty )_{\mathbb {T}}.\) From equation (1.2) and \(O_{1}-O_{2},\) (1.16) and (1.18), we obtain
Since \(a(t)\mu (t)<1\) and using the above relation, we obtain
which is equivalent to
Then \(\displaystyle e_{\frac{a(t)}{1-a(t)\mu (t)}}(t,s_{0})y^{\Delta }(t)\) is an eventually decreasing function and thus it is eventually of one sign. We claim that it is eventually non-negative. Let us assume that it is eventually negative, i.e., \(y^{\Delta }(t)\) is eventually negative because \(e_{w}(t,s_{0})>0\) as \(w>0\), for all \(w \in \mathcal {R}^{+},\) then there exist \(t_{2}\le t_{3}\) and a constant \(C>0\) such that
Integrating Eq. (2.10) from \(t_{4}\) to t, we obtain
For sufficiently large t, we obtain a contradiction because of \(O_{2}\). Therefore, we have
and
\(\square\)
Lemma 2.12
If (2.5) holds, then for \(t\ne s_{0},\) we have
where \(\mathcal {G}(t) := \frac{t-s_{0}}{t-s_{0} + \mu (t)}.\)
Proof
For \(t\ne s_{0},\) and from (2.5), we obtain
From (2.12) and using (4) of Theorem 2.5, we obtain
Now with the help of Lemmas 2.11 and 2.12, we obtain a new Lemma as follows, \(\square\)
Lemma 2.13
If Eqs. (2.5) and (2.11) hold, then for \(2s_{0}\le t,\) we have
where \(w(t)=\delta (t)\frac{y^{\Delta }(t)}{y(t)}\) is Riccati transformation function.
Proof
The relation \(2s_{0}\le t\) can be rewritten as \(t-s_{0}\ge \frac{t}{2}.\) Using (2.6), we obtain
which implies
From Eqs. (2.14), (2.11) and w(t). Hence, we obtain
\(\square\)
Oscillation criteria
In this section, we establish some sufficient conditions of oscillation for Eq. (1.2). For \(s_{0} \in \mathbb {T}.\)
Theorem 3.1
Assume that \(O_{1}, O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exist a \(\Delta\)-derivative function \(\delta (t)>0\) and \(~s_{0}\ge 0 ; ~t_{0}\le 2s_{0}< t\) respectively and satisfying the following
where
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a nonoscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive solution, i.e., there exists \(s_{0}\ge t_{0}\) such that \(y(t)>0~~\forall t\in [s_{0}~\infty )_{\mathbb {T}}.\) A similar argument holds for the case when y(t) is an eventually negative solution. We define a Riccati transformation function such that
\({\Delta }\)-derivative of Eq. (3.3) w.r.t t, we have
From (2.11) and (3.4), we obtain
To solve the right-hand side of Eq. (3.5), we use Eqs. (2.7), (2.11) and a relation \(y^{\Delta }(t)>0\), we obtain
From (3.6) and (2.13), we obtain
Substituting (3.7) into (3.5), we arrive at
From Eqs. (3.2) and (3.8), we arrive at
Integrating Eq. (3.9) from \(2s_{0}\) to t, we have
For sufficient large t, we derive a contradiction to (3.1), as the left-hand side of (3.10) finite, which completes the proof of our theorem. \(\square\)
From Theorem 3.1, we may also obtain some results concerning the oscillation behavior of solutions of Eq. (1.2).
Corollary 3.2
Assume that \(O_{1}, O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exist a \(\Delta\)-derivative function \(\delta (t)>0\) and \(~s_{0}\ge 0, ~t_{0}\le 2s_{0}< t\), respectively, and satisfying the following conditions as follows,
and
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
The next result immediately follows from Theorem 3.1 by different choices of \(\delta (t)\). In particular, we take \(\delta (t)\) as positive constant (say \(C>0\)), we establish the following corollary.
Corollary 3.3
Assume that \(O_{1}, O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exists \(s_{0}\ge 0\) such that \(t_{0}\le 2s_{0} < t,\) and satisfying the following condition below
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
We introduce one more condition \(\mu (t)\frac{\delta ^{\Delta }(t)}{\delta ^{\sigma }(t)}<1\) to obtain a new oscillations criteria for (1.2).
Theorem 3.4
Assume that \(O_{1}, O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exist a \(\Delta\)-derivative function \(\delta (t)>0\) and \(s_{0}\ge 0\) such that \(\mu (t)\frac{\delta ^{\Delta }(t)}{\delta ^{\sigma }(t)}<1\) and \(t_{0}\le 2s_{0} < t\), respectively, and satisfying the condition
where
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive solution of (1.2), i.e., there exists \(t_{0}\le s_{0}\) such that \(y(t)>0~~\forall t\in [s_{0}~\infty )_{\mathbb {T}}.\) A similar argument holds for the case when y(t) is eventually negative. Now \(\Delta\)-differentiate equation (3.3) w.r.t t, we have
From Eqs. (3.3), (2.11) and (3.16), we obtain
To solve the right-hand side of Eq. (3.17), we replace \(\delta ^{\sigma }(t)\) by \(\delta (t)\) in (3.7). We obtain
Substituting (3.18) into (3.17), we arrive at
which is equivalent to
Since \(\frac{\delta ^{\Delta }(t)}{\delta ^{\sigma }(t)}\mu (t) <1.\) So dividing (3.19) by \(1-\frac{\delta ^{\Delta }(t)}{\delta ^{\sigma }(t)}\mu (t),\) we arrive at
Integrating Eq. (3.20) from \(2s_{0}\) to t. Therefore, we have
For sufficiently large t, we derive a contradiction to (3.14), as the left-hand side of above relation finite, which completes the proof of our theorem. \(\square\)
Theorem 3.5
Assume that \(O_{1},O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exist a \(\Delta\)-derivative function \(\delta (t)>0\) and \(~s_{0}\ge 0, ~t_{0}\le 2s_{0} < t\), respectively, and satisfying the following condition,
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive solution of (1.2) i.e., there exists \(t_{0}\le s_{0}\) such that \(y(t)>0~~\forall t\in [s_{0}~\infty )_{\mathbb {T}}.\) A similar argument holds also for the case when y(t) is eventually negative. Now from equations (2.7), (3.3) and (3.16), we obtain
From (3.18), we have
Substituting (3.23) into (3.22), we arrive at
From (3.3), (2.11) and \(y^{\Delta \Delta }(t)<0\), we obtain a relation below,
Substituting (3.25) into (3.24), which yields
which is equivalent to
By following the similar steps of Eqs. (3.8) and (3.9), Eq. (3.27) become
Integrating Eq. (3.28) from \(2s_{0}\) to t. Therefore, we have
For sufficiently large t, we derive a contradiction to (3.21), as the left-hand side finite,which completes the proof of our theorem. \(\square\)
In view of Theorem 3.5, we immediately obtain following corollary.
Corollary 3.6
Assume that \(O_{1},O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exist \(\Delta\)-derivative function \(\delta (t)>0\) and \(~s_{0}\ge 0, ~t_{0}\le 2s_{0} < t\), respectively, and satisfying the following conditions,
and
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Remark 3.7
In view of Theorems 3.4 and 3.5, we obtain various sufficient conditions of oscillation of Eq. (1.2) by taking different choice of \(\delta (t)\).
To present our next theorems, we first introduce Saker’s result [29] as follows
By using an integral averaging technique of Kamenev-type, we present some new oscillation criteria of (1.2).
Theorem 3.8
Assume that \(O_{1},O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exist \(\Delta\)-derivative function \(\delta (t)>0\) and there exists \(\mathcal {N}>1\) and all sufficiently large \(s_{0}\ge 0 ,\) \(t_{0} \le 2s_{0}< t\) such that
where
Then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive function, i.e., there exists \(t_{0}\) such that \(y(t)>0~~\forall t\in [t_{0}~\infty )_{\mathbb {T}}.\) A similar argument holds also for the case when y(t) is eventually negative. From Eq. (3.9), we have
Multiplying above relation by \((t-s)^{\mathcal {N}}\) and then integrating from \(2s_{0}\) to t. we obtain
By comparing the right-hand side of (3.35) with Eq. (2.2), we have
From Eqs. (3.32), (3.35) and (3.36), we arrive at
Thus
Taking lim sup as \(t\rightarrow \infty\) both sides of Eq. (3.38), we have
Thus, we derive a contradiction to (3.33), which completes the proof of our theorem. \(\square\)
Corollary 3.9
Assume that \(O_{1},O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exists \(\Delta\)-derivative function \(\delta (t)>0,\) and for \(\mathcal {N}>1\), and all sufficiently large \(s_{0}\ge 0 ,\) such that \(t_{0} \le 2s_{0}< t\) and satisfying the conditions below,
and
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Theorem 3.10
Assume that \(O_{1},O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exists \(\Delta\)-derivative function \(\delta (t)>0\) such that \(\mu (t)\frac{\delta ^{\Delta }(t)}{\delta ^{\sigma }(t)}<1\). For \(\mathcal {N}>1\) and all sufficiently large \(s_{0}\ge 0 ,\) \(t_{0}\le 2s_{0} < t\) and satisfying the condition below,
where A(t) is given by (3.15). Then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive function, i.e., there exists \(t_{0}\) such that \(y(t)>0~~\forall t\in [t_{0}~\infty )_{\mathbb {T}}.\) A similar argument holds for the case when y(t) is eventually negative. From Eq. (3.20), we have
Multiplying above relation by \((t-s)^{\mathcal {N}}\) and then integrating from \(2s_{0}\) to t, we obtain
By following the similar steps of Eqs. (3.35)–(3.37), Eq. (3.43) become
Thus, we have
Taking lim sup as \(t \rightarrow \infty\) in Eq. (3.45), we obtain
Thus, we derive a contradiction to (3.42), which completes the proof of our theorem. \(\square\)
Theorem 3.11
Assume that \(O_{1}, O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exists a \(\Delta\)-derivative function \(\delta (t)>0.\) For \(\mathcal {N}>1\) and all sufficiently large \(s_{0}\ge 0 ,\) \(t_{0} \le 2s_{0}< t,\) and satisfying the condition below
Then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive function, i.e., there exists \(t_{0}\) such that \(y(t)>0~~\forall t\in [t_{0}~\infty )_{\mathbb {T}}\). From Eq. (3.28) and following the similar steps of Eqs. (3.35)–(3.39), we easily obtain a following relation
For all sufficiently large t, we derive a contradiction to (3.47). \(\square\)
Corollary 3.12
Assume that \(O_{1}, O_{2}\), relations (1.16) and (1.18) hold. Moreover, if there exists a \(\Delta\)-derivative function \(\delta (t)>0.\) For \(\mathcal {N}>1\) and all sufficiently large \(s_{0}\ge 0 ,\) \(t_{0} \le 2s_{0}< t\) and satisfying the following conditions below,
and
Then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Our next aim to establish the Philos-type oscillation criteria for (1.2). We define some elementary assumptions as follows:
For any number \(\eta \in \mathbb {R},\) we define positive and negative parts, \(\eta _{+}\) and \(\eta _{-}\), respectively, of \(\eta\) by
Assume that the rd-continuous functions \(H, h : \mathbb {D}\rightarrow \mathbb {R},\) where \(\mathbb {D}=\{ (t,s) ; t_{0}\le s_{0}\le t\}\) such that
and \(H^{\Delta _{s}}(t,s)\) (\(\Delta\)-derivative w.r.t second variable) is rd-continuous function.
Theorem 3.13
Assume that \(O_{1}, O_{2}\), relations (1.16), (1.18) and Eq. (3.51) hold. Moreover, if there exist \(\Delta\)-derivative function \(\delta (t)>0\) and \(s_{0}\ge 0\), \(t_{0}\le 2s_{0} <t\), respectively, and satisfying the following conditions below,
and
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive function, i.e., there exists \(t_{0}\) such that \(y(t)>0~~\forall t\in [t_{0}~\infty )_{\mathbb {T}}.\) A similar argument holds for the case when y(t) is eventually negative. We have defined Riccati transformation function in (3.3). Now from (3.8), we have
Multiplying Eq. (3.54) by \(H^{\sigma }(\sigma (t), s)\) i.e., \(H(\sigma (t), \sigma (s)),\) and then integrating from \(2s_{0}\) to \(\sigma (t),\) we obtain
From (2.1), we obtain the right-hand side of (3.55) as follows
Substituting (3.52) into (3.56), we arrive at
which is an equivalent to
Implies that
Dividing (3.59) by \(H(\sigma (t),2s_{0})\) , we obtain
for sufficiently large t. Thus, we derive a contradiction to (3.53). \(\square\)
Corollary 3.14
Assume that \(O_{1}, O_{2}\), relations (1.16), (1.18) and Eq. (3.51) hold. Moreover, if there exist \(\Delta\)-derivative function \(\delta (t)>0\) and \(s_{0}\ge 0\), \(t_{0}\le 2s_{0} <t\), respectively, and satisfy the following conditions below
Then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Theorem 3.15
Assume that \(O_{1}, O_{2}\), relations (1.16), (1.18) and Eq. (3.51) hold. Moreover, if there exist \(\Delta\)-derivative function \(\delta (t)>0\) and \(s_{0}\ge 0,\) such that \(\mu (t)\frac{\delta ^{\Delta }(t)}{\delta ^{\sigma }(t)}< 1\) and \(t_{0}\le 2s_{0} < t\), respectively, and satisfy the conditions below
and
where A(t) is given by (3.15). Then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive function, i.e., there exists \(t_{0}\) such that \(y(t)>0~~\forall t\in [t_{0}~\infty )_{\mathbb {T}}.\) A similar argument holds for the case when y(t) is eventually negative. We have defined Riccati transformation function in (3.3). Now from (3.19), we have
which can be written as
Multiplying Eq. (3.65) by \(H^{\sigma }(\sigma (t),s)\) and then integrating from \(2s_{0}\) to \(\sigma (t),\) we have
From (3.63), (3.66) and by following the similar steps of Eqs. (3.56)–(3.59), we obtain
Dividing Eq. (3.67) by \(H(\sigma (t),2s_{0}),\) we obtain
For sufficiently large t, we derive a contradiction to (3.64), which completes the proof of our theorem. \(\square\)
Theorem 3.16
Assume that \(O_{1}, O_{2}\), relations (1.16), (1.18) and Eq. (3.51) hold. Moreover, if there exist \(\Delta\)-derivative function \(\delta (t)>0\) and \(s_{0}\ge 0\), \(t_{0}\le 2s_{0} <t\), respectively, and satisfying the following conditions below
and
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\)
Proof
Assume to the contrary that (1.2) has a non-oscillatory solution. Let y(t) be a non-oscillatory solution of (1.2). Then, without loss of generality, we assume that y(t) is an eventually positive function, i.e., there exists \(t_{0}\) such that \(y(t)>0~~\forall t\in [t_{0}~\infty )_{\mathbb {T}}\). We have defined Riccati transformation function in (3.3). Now multiplying Eq. (3.28) by H(t, s) and integrating from \(2s_{0}\) to t, we have following relation
From (2.2) and (3.51), we obtain
From Eqs. (3.69), (3.72) and by following the similar steps of Eqs. (3.35)–(3.39), we obtain a new relation
for sufficiently large t. Thus, we derive a contradiction to (3.70), which completes the proof of our theorem. \(\square\)
Corollary 3.17
Assume that \(O_{1}, O_{2}\), relations (1.16), (1.18) and Eq. (3.51) hold. Moreover, if there exist \(\Delta\)-derivative function \(\delta (t)>0\) and \(s_{0}\ge 0\), \(t_{0}\le 2s_{0} <t\), respectively, and satisfying the following conditions below,
and
then, Eq. (1.2) oscillates on \([t_{0}~\infty )_{\mathbb {T}}.\) We can easily see that Eq. (1.2) in its general form involves differential equation and different types of difference equations depending on the choice of the time scale \(\mathbb {T}\).
Remark 3.18
When \(\mathbb {T}=\mathbb {R},\) Eq. (1.2) become second-order linear delay difference equation:
where we have \(\sigma (t)=t,~\mu (t)=0,~g^{\Delta }(t)=g^{\prime }(t)\) and \(\displaystyle \int _{a}^{b}g(t)\Delta t =\displaystyle \int _{a}^{b}g(t) \mathrm{d}t.\)
Remark 3.19
When \(\mathbb {T}=\mathbb {Z},\) Eq. (1.2) become second-order linear delay difference equation:
where we have \(\sigma (t)=t+1,~\mu (t)=1,~g^{\Delta }(t)=\Delta g(t)\) and \(\displaystyle \int _{a}^{b}g(t)\Delta t = \sum \limits _{t=a}^{b-1}g(t)\mu (t)=\sum \limits _{t=a}^{b-1}g(t).\)
Remark 3.20
When \(\mathbb {T}={h^{\prime }}\mathbb {Z},~{h^{\prime }}>0,\) Eq. (1.2) become second-order linear delay difference equation with step size \(h^{\prime }\)
where we have \(\sigma (t)=t+h^{\prime },~\mu (t)=h^{\prime },~f^{\Delta }(t)=\Delta _{h^{\prime }} f(t)\) and \(\displaystyle \int _{a}^{b}f(t)\Delta t = \displaystyle \sum \nolimits _{l=\frac{a}{h^{\prime }}}^{\frac{b}{h^{\prime }}-1}f(lh^{\prime })h^{\prime }.\)
For a function
where \(q(t) =\frac{\mu (t)}{w_{1}p(t)}~\forall t \in \mathbb {T},\) we would like to illustrate our results by means of the following examples.
Example
Let us consider a second-order non-linear dynamic equation on time scale \(\mathbb {T}.\)
In view of Corollary 3.3, we choose the parameters as follows: \(\delta (t):=1,~~a(t):=\frac{1}{t},~~p(t):=\frac{2}{t^{2}},~\forall ~k_{n},w_{m}\in \mathbb {R}^{+}~\text{ such } \text{ that }~0<p(t)\le k_{1}<\infty ,~k_{2n+1}>0,~k_{2n}:=0~\text{ and }~w_{2m}:=0,~ w_{(2m-1)}>0~\forall n,m\in \mathbb {N} ~ \text{ respectively. } \text{ Also }~ 0<\mu (t)< t-s_{0}<t~~\text{ for } \text{ all }~t>2s_{0},~s_{0}\ge 2.\) Thus, we have \(\frac{1}{2} \le \mathcal {G}(t)<1 .\) Therefore, it is easy to verify that the conditions \(O_{1}, O_{2}\), (1.16), (1.18) and (3.13) hold. The parameters also satisfying the following conditions below:
When \(\mu (t)=0,\) we have
Now by the above parameters and conditions (4.2) and (4.3), we establish some examples on different time scales as follows.
Example 4.1
For \(\mathbb {T}=\mathbb {Z},\) a second-order non-linear difference equation
Where \(h=1\) \(s_{0}=t_{0}=2\) such that \([2,\infty )_{\mathbb {T}}=\{2, 3, 4, \ldots \},~0.5<k_{1}=1,\) \(k_{2n+1}=\frac{1}{(2n+1)^{n}}\) and \(w_{(2m-1)}=\frac{1}{(2m-1)!}~\forall n,m \in \mathbb {N}.\) We have \(0<\mu (t)=1 <t-2~\) for all \(4<t\in \{5,6,8,\ldots \}\) and \(0.5<\mathcal {G}(t)<1.\) Thus \(O_{1}-O_{2},\) (1.16) and (1.18) hold. It is easy to calculate that for each \(t\in [2,~\infty )_{\mathbb {Z}},\) we have
Therefore \(O_{2}\) and Eq. (4.2) hold. Hence (4.4) oscillates on \([2,\infty )_{\mathbb {T}}=\{2, 3, 4, \ldots \}.\)
Remark 4.2
Similarly, for \(\mathbb {T}=h^{\prime }\mathbb {Z},~h^{\prime }>0,~\), etc., there exists \(s_{0}\ge 0\) such that (4.1) oscillates on \([t_{0},~\infty )_{\mathbb {T}}\).
Example 4.3
For \(\mathbb {T}=\mathbb {R},\) a second-order non-linear differential equation
Thus for each \(t \in [2,~\infty )_{\mathbb {R}},\) we obtain \(O_{2}\) holds, as follows
Therefore, from Eq. (4.3) and in view of corollary 3.3, we conclude that (4.5) oscillates on \([2,~\infty ).\)
Conclusion
The oscillation of a function is a number that quantifies how much a function varies between its extreme values as it approaches infinity or some other point. It is very important qualitative property of a function. There are many criteria for oscillations, out of which two important are Kamenev and Philos type. In this present work, we have established such criteria for Eq. (1.2). First we have proved Lemmas 2.11–2.13 and then used Riccati transformation technique to establish the main result. We have obtained some new conditions for the oscillations. It is also important to note that the results presented in this paper are not valid for \(\mathbb {T} = \displaystyle \overline{q^{\mathbb {Z}}}.\) The reason is given in the Remark 2.9. We have also constructed few examples for some time scale \(\mathbb {T},\) i.e., \(\mathbb {T} = \mathbb {R},~\mathbb {T}= \mathbb {Z}\) and \(\mathbb {T} =h^{\prime }\mathbb {Z}\) to illustrate the results.
References
Agarwal, R.P., O’Regan, D., Saker, S.H.: Oscillation criteria for nonlinear perturbed dynamic equation of second-order on time scales. J. Appl. Math. Comput. 20(1–2), 133–147 (2006)
Agarwal, R.P., O’Regan, D., Saker, S.H.: Oscillation criteria for second-order nonlinear neutral delay dynamic equations. J. Math. Anal. Appl. 300(1), 203–217 (2004)
Atici, F.M., Biles, D.C., Lebedinsky, A.: An application of time scales to economics. Math. Comput. Model. 43(7), 718–726 (2006)
Agwo, H.A., Khodier, A.M.M., Hassan, H.A.: Oscillation theorems of second-order nonlinear delay dynamic equations on time scales. Electron. J. Math. Anal. Appl. 3(2), 100–111 (2015)
Annaby, M.H., Mansour, Z.S.: $q-$Fractional calculus and equations. Springer, Berlin (2012)
Bohner, M., Peterson, A.: Advances in dynamic equations on time scales. Birkhuser, Boston (2003)
Bohner, M., Peterson, A.: Dynamic equations on time scales: an introduction with applications. Birkhauser, Boston (2001)
Bohner, M., Saker, S.H.: Oscillation of second order nonlinear dynamic equations on time scales. Rocky Mt. J. Math. 34, 1239–1254 (2004)
Chen, S., Erbe, L.H.: Riccati techniques and discrete oscillations. J. Math. Anal. Appl. 142, 468–487 (1989)
Chen, W., Han, Z., Sun, S., Li, T.: Oscillation behavior of a class of second-order dynamic equations with damping on time scales. Discrete Dyn. Nat. Soc. 2010(907130), 15 (2010)
Christiansen, F.B., Fenchel, T.M.: Theories of populations in biological communities. Lect. Notes Ecol. Stud. (Springer, Berlin) 20, 1–36 (1977)
Del Medico, A., Kong, Q.: Kamenev-type and interval oscillation criteria for second-order linear differential equations on a measure chain. J. Math. Anal. Appl. 294(2), 621–643 (2004)
Del Medico, A., Kong, Q.: New Kamenev-type oscillation criteria for second-order differential equations on a measure chain. Comput. Math. Appl 50(8–9), 1211–1230 (2005)
Deng, X., Wang, Q., Zhou, Z.: Oscillation criteria for second order neutral dynamic equations of Emden–Fowler type with positive and negative coefficients on time scales. Sci. China Math. 60(1), 113–132 (2017)
Erbe, L., Peterson, A., Saker, S.H.: Oscillation criteria for second-order nonlinear dynamic equations on time scales. J. Lond. Math. Soc. 67(3), 701–714 (2003)
Erbe, L.: Oscillation results for second-order linear equations on a time scale. J. Differ. Equ. Appl. 8(11), 1061–1071 (2002)
Erbe, L., Peterson, A., Saker, S.H.: Oscillation criteria for second-order nonlinear delay dynamic equations. J. Math. Anal. Appl. 333(1), 505–522 (2007)
Graef, J.R., Hill, M.: Nonoscillation of all solutions of a higher order nonlinear delay dynamic equation on time scales. J. Math. Anal. Appl. 423, 1693–1703 (2015)
Hassan, T.S.: Oscillation criteria for half-linear dynamic equations on time scales. J. Math. Anal. Appl. 345(1), 176–185 (2008)
Hassan, T.S.: Asymptotics and oscillation of higher-order functional dynamic equations with Laplacian and deviating arguments. Adv. Differ. Equ. 2017(1), 14 (2007)
Han, Z., Sun, S., Shi, B.: Oscillation criteria for a class of second-order Emden–Fowler delay dynamic equations on time scales. J. Math. Anal. Appl. 334(2), 847–858 (2007)
Hilger, S.: Analysis on measure chains-a unified approach to continuous and discrete calculus. Results Math. 18(1), 18–56 (1990)
Jafari, H., Haghbina, A., Johnstonb, S.J., Baleanucd, D.: A new algorithm for solving dynamic equations on a time scale. J. Comput. Appl. Math. 312, 167–173 (2017)
Kamenev, I.V.: An integral criterion for oscillation of nonlinear differential equations of second order. Mat. Zamet. 23, 249–251 (1978)
Kubyshkin, E.P., Moryakova, A.R.: Investigation of oscillatory solutions of differential–difference equations of second-order in a critical case. Model. Anal. Inform. Sist. 22(3), 439–447 (2015)
Negi, S.S., Abbas, S., Malik, M.: Oscillation criteria of second-order non-linear dynamic equations with integro forcing term on time scales. Bull SUSU MMCS 10(1), 35–47 (2017)
Philos, ChG: Oscillation theorems for linear differential equations of second order. Arch. Math. 53, 482492 (1989)
Saker, S.H., Agarwal, R.P., O’Regan, D.: Oscillation of second-order damped dynamic equations on time scales. J. Math. Anal. Appl. 330, 1317–1337 (2007)
Saker, S.H.: Oscillation of second-order nonlinear neutral delay dynamic equations on time scales. J. Comput. Appl. Math. 187(2), 123–141 (2006)
Saker, S.H.: Oscillation criteria of second-order half-linear dynamic equations on time scales. J. Comput. Appl. Math. 177(2), 375–387 (2005)
Sun, Y.G.: New Kamenev-type oscillation criteria for second-order nonlinear differential equations with damping. J. Math. Anal. Appl. 291(1), 341–351 (2004)
Qiu, Y.C., Wang, Q.R.: New oscillation results of second-order damped dynamic equations with $p$-Laplacian on time scales. Discrete Dyn. Nat. Soc. 2015(709242), 9 (2015)
Wong, J.S.: On Kamenev-type oscillation theorems for second-order differential equations with damping. J. Math. Anal. Appl. 258(1), 244–257 (2001)
Xia, Y., Cao, J., Han, M.: A new analytical method for the linearization of dynamic equation on measure chains. J. Differ. Equ. 235(2), 527–543 (2007)
Acknowledgements
The authors would like to thank the reviewers’s careful reviewing and helpful comments and suggestions. The research of first author “Shekhar Singh Negi” is supported by the University Grants Commission of India (UGC India) under Sr. no. 2061440966, Ref. no. 22/06/2014(i)EU-V. Yonghui Xia was supported by the National Natural Science Foundation of China under Grant (No. 11671176 and No. 11271333), Natural Science Foundation of Zhejiang Province under Grant (No. LY15A010007), the Scientific Research Funds of Huaqiao University and China Postdoctoral Science Foundation (No.2014M562320).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Negi, S.S., Abbas, S., Malik, M. et al. New oscillation criteria of special type second-order non-linear dynamic equations on time scales. Math Sci 12, 25–39 (2018). https://doi.org/10.1007/s40096-018-0241-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-018-0241-9