 Research
 Open Access
 Published:
Oscillation criteria for neutral secondorder halflinear differential equations with applications to Euler type equations
Boundary Value Problems volume 2014, Article number: 83 (2014)
Abstract
We study the secondorder neutral delay halflinear differential equation ${[r(t)\mathrm{\Phi}({z}^{\prime}(t))]}^{\prime}+q(t)\mathrm{\Phi}(x(\sigma (t)))=0$, where $\mathrm{\Phi}(t)={t}^{\alpha 1}t$, $\alpha \ge 1$ and $z(t)=x(t)+p(t)x(\tau (t))$. We use the method of Riccati type substitution and derive oscillation criteria for this equation. By an example of the neutral Euler type equation we show that the obtained results are sharp and improve the results of previous authors. Among others, we improve the results of Sun et al. (Abstr. Appl. Anal. 2012:819342, 2012) and discuss also the case when $\sigma \circ \tau \ne \tau \circ \sigma $.
MSC:34K11, 34K40.
1 Introduction
In the paper we study the equation
where $\mathrm{\Phi}(t)={t}^{\alpha 1}t$ is the power type nonlinearity, $\alpha \ge 1$, which ensures that the function $\mathrm{\Phi}(\cdot )$ is a convex function on $(0,\mathrm{\infty})$. The coefficients r and p are subject of usual conditions $r\in {C}^{1}([{t}_{0},\mathrm{\infty}),{\mathbb{R}}^{+})$, $p\in {C}^{1}([{t}_{0},\mathrm{\infty}),{\mathbb{R}}_{0}^{+})$ and the coefficient q is positive $q\in C([{t}_{0},\mathrm{\infty}),{\mathbb{R}}^{+})$. Further we suppose that the deviating arguments are unbounded and sufficiently smooth functions: $\tau \in {C}^{2}([{t}_{0},\mathrm{\infty}),\mathbb{R})$, ${\tau}^{\prime}(t)>0$, ${lim}_{t\to \mathrm{\infty}}\tau (t)=\mathrm{\infty}$, $\sigma \in {C}^{1}([{t}_{0},\mathrm{\infty}),\mathbb{R})$, ${\sigma}^{\prime}(t)>0$, ${lim}_{t\to \mathrm{\infty}}\sigma (t)=\mathrm{\infty}$ and the deviating arguments from the differential term and potential satisfy either $\sigma (\tau (t))=\tau (\sigma (t))$ or $\sigma (\tau (t))\ge \tau (\sigma (t))$ (in the latter case we use stronger condition on the coefficient $p(t)$ and the conclusion is weaker than in the commutative case).
By the solution of (1) we understand any differentiable function $x(t)$ which does not identically equal zero eventually, such that $r(t)\mathrm{\Phi}({z}^{\prime}(t))$ is differentiable and (1) holds for large t.
The solution of (1) is said to be oscillatory if it has infinitely many zeros tending to infinity. Equation (1) is said to be oscillatory if all its solutions are oscillatory. In the opposite case, i.e., if there exists an eventually positive solution of (1), (1) is said to be nonoscillatory.
The neutral equations naturally arise in the mathematical models where the rate of the growth depends not only on the current state and the state in the past, but also on the rate of change in the past. The paper [1] suggests to imagine a child, which begins to grow more rapidly at the age of about 12 years, growing more and more rapidly until a certain height is approached, at which time there is a rapid slowing of the growth, stopping at the adult height dictated by genes. This process can easily be modeled by neutral equation. Similarly, the paper [2] suggests one to use a logistic neutral differential equation to model a population of Daphnia magna. If in the system modeled by firstorder neutral differential equation the mature individuals produce some toxin which inhibits the rate the growth and if the production of this toxin is constant per capita and unit time, then the rate of the growth is inhibited by the term like ${\int}^{t}x(\sigma (s))\phantom{\rule{0.2em}{0ex}}\mathrm{d}s$ and we naturally obtain the secondorder neutral differential equation.
This research is motivated by the paper [3], where the main results of [3] are illustrated by an example of the equation
with $0\le p(t)\le {p}_{0}<\mathrm{\infty}$, $\alpha \ge 1$, $\beta >0$, ${\lambda}_{1}\in (0,1)$.
If $0<{\lambda}_{2}\le {\lambda}_{1}$, then (2) is proved to be oscillatory if (see [[3], Example 5.2])
If ${\lambda}_{2}\in [{\lambda}_{1},\mathrm{\infty})$, then (2) is proved to be oscillatory if (see [[3], Example 5.4])
Note that if we put ${\lambda}_{1}={\lambda}_{2}=1$ and ${p}_{0}=0$, both oscillation constants (3) and (4) are worse than the constant
which is well known to be an optimal oscillation constant for the Euler type equation
see [[4], Chapter 1.4.2]. The aim of this paper is to develop sharper results than those of [3]. The main idea is to use the classical approach based on Riccati type inequality. Due to the neutral nature of (1) we have to work with (1) and with the same equation shifted from t to $\tau (t)$. In contrast to the results of some other authors [3, 5, 6], we do not simply sum up the arising Riccati equations, but we develop an advanced technique based on suitable linear combination and careful comparison of $q(t)$ and $q(\tau (t))$. We show that an application of this technique allows to remove the above mentioned disadvantages of the paper [3] and allows to derive sharper results comparing the results published in the literature. Finally, we also discuss the case when the usual assumption $\sigma \circ \tau =\tau \circ \sigma $ is broken. This step opens applications to the neutral delay differential equations with proportional delay σ and constant delay τ.
The paper is organized as follows. In the following section we formulate inequalities which are used to prove the main results. Section 3 contains main results of the paper and examples which prove that we provide sharp oscillation constant for Euler type differential equation. These criteria are expressed in terms of positive mutually conjugate numbers l and ${l}^{\ast}$, the multiplicative factor φ, and a function $Q(t)$.
2 Preliminary results
First we derive some technical lemmas  inequalities which are necessary to reduce secondorder differential equation into a combination of two firstorder Riccati type equations. Note the changes against [3] and other related papers.

(i)
We use convex linear combination (6) instead of arithmetic mean in Lemma 2. To achieve this, we consider two positive mutually conjugate numbers l and ${l}^{\ast}$, i.e. $l>1$ and ${l}^{\ast}=\frac{l}{l1}$.

(ii)
We relax the condition on the commutativity of the composition of σ and τ if x is an increasing function in Lemma 3.

(iii)
We use new multiplicative factor $\phi (t)$ in the definition of the function $Q(t)$ in Lemma 4. The factor φ allows us to make terms involving $q(t)$ and $q(\tau (t))$ closer (or even equal, as in Examples 1 and 4 below) when looking for a smaller one.
As far as we know, these ideas have never been used in the context of Riccati technique even in the linear case $\alpha =1$ and in the section with main results we show that these points are crucial points of the paper which allow to derive sharper results than the results published in the literature.
Throughout the paper ${A}_{+}$ denotes the positive part of A, i.e. ${A}_{+}=max\{A,0\}$.
Lemma 1 The following inequality holds for every A and every $B\ge 0$, $\omega \ge 0$:
Proof The inequality is trivial if $A\le 0$ and a special case of the Young inequality if $A>0$. □
Lemma 2 The following inequality holds for $\alpha \ge 1$, positive mutually conjugate numbers l, ${l}^{\ast}$, and nonnegative a and b:
Proof The proof follows immediately from the convexity of ${x}^{\alpha}$. □
Lemma 3 Suppose that either
or suppose that x is an increasing function and
The inequality
holds for positive mutually conjugate numbers l, ${l}^{\ast}$, and every t which satisfies $x(\sigma (t))\ge 0$ and $x(\sigma (\tau (t)))\ge 0$.
Proof From the previous lemma using $a=lx(\sigma (t))$ and $b={l}^{\ast}p(\sigma (t))x(\sigma (\tau (t)))$ and also from the definition of $z(t)$ and the fact that $x(\sigma (\tau (t)))\ge x(\tau (\sigma (t)))$. □
Lemma 4 Let x be solution of (1). Suppose that either (7) holds or suppose that x is an increasing function and (8) holds. The inequality
where
is valid for positive mutually conjugate numbers l, ${l}^{\ast}$, and a positive function $\phi (t)$ whenever $x(\sigma (t))$ and $x(\sigma (\tau (t)))$ are nonnegative. Moreover, if there exist numbers ${p}_{0}$ and ${\tau}_{0}$ such that $p(t)\le {p}_{0}<\mathrm{\infty}$, ${\tau}^{\prime}(t)\ge {\tau}_{0}>0$, we have also
whenever $x(\sigma (t))$ and $x(\sigma (\tau (t)))$ are nonnegative and ${[r(\tau (t))\mathrm{\Phi}({z}^{\prime}(\tau (t)))]}^{\prime}$ is negative.
Proof To obtain the second term from the definition of z we shift (1) from t to $\tau (t)$ and multiply by ${p}^{\alpha}(\sigma (t))$. We get
where ${z}^{\prime}(\tau (t))=\frac{\mathrm{d}z(s)}{\mathrm{d}s}{}_{s=\tau (t)}$.
Now we multiply (1) by ${l}^{\alpha 1}$, (13) by $\phi (t){({l}^{\ast})}^{\alpha 1}$, and we add. We obtain
Now (10) follows from the definition of Q and from (9). Inequality (12) follows from (10) and from the fact that ${[r(\tau (t))\mathrm{\Phi}({z}^{\prime}(\tau (t)))]}^{\prime}$ is negative. □
3 Main results with applications to Euler type equation
Now we are ready to prove the main results of the paper. The function Q which appears in these criteria is a function defined by (11).
We will distinguish two cases: $\sigma (t)\le \tau (t)$ and $\tau (t)\le \sigma (t)$. Let us start with the first case.
Theorem 1 Suppose that (7) and
hold. Further suppose that $\sigma (t)\le t$, $\sigma (t)\le \tau (t)$ and there exist positive mutually conjugate numbers l, ${l}^{\ast}$ and positive functions $\rho \in {C}^{1}([{t}_{0},\mathrm{\infty}),{\mathbb{R}}^{+})$, $\phi (t)$ such that
Then (1) is oscillatory.
Proof Suppose, by contradiction, that all of the assumptions of the theorem hold and there exists a solution $x(t)$ of (1) and a number ${t}_{1}>{t}_{0}$ which satisfies
for every $t>{t}_{1}$.
Condition (14) ensures that the corresponding function z is eventually increasing. In fact, from (1) we have
for $t\in ({t}_{1},\mathrm{\infty})$. Hence $r(t)\mathrm{\Phi}({z}^{\prime}(t))$ is decreasing and either
for large t.
Suppose that there exists $T>{t}_{1}$ such that $\mathrm{\Phi}({z}^{\prime}(t))<0$ for $t\ge T$. There exists a positive constant M such that
and
for $t\ge T$. Integrating this inequality over the interval $(T,t)$ we get
Letting $t\to \mathrm{\infty}$ we have a negative upper bound for the function z and large t. However, the positivity of both $x(t)$ and $x(\tau (t))$ implies positivity of z. This contradiction proves that $\mathrm{\Phi}({z}^{\prime}(t))>0$ and ${z}^{\prime}(t)>0$ eventually.
Consequently, we will work on the interval $({t}_{2},\mathrm{\infty})$ where ${t}_{2}$ is such that
for every $t>{t}_{2}$.
Define
Clearly $\omega (t)>0$ and
From $\sigma (t)\le t$ and from the monotonicity of $r(t)\mathrm{\Phi}({z}^{\prime}(t))$ we have
and combining these computations we get
Further we define
we use the obvious fact $v(t)>0$ and differentiate
Using the monotonicity of $r(t)\mathrm{\Phi}({z}^{\prime}(t))$ and $\sigma (t)\le \tau (t)$ we have
and hence
Multiplying (17) by ${l}^{\alpha 1}$, (19) by ${({l}^{\ast})}^{\alpha 1}\frac{{p}^{\alpha}(\sigma (t))\phi (t)}{{\tau}^{\prime}(t)}$, adding the resulting inequalities and using (10), we get
Using the product rule for derivatives we obtain
and Lemma 1 implies
Integrating from ${t}_{2}$ to t
Multiplying by −1 and taking into account the fact that both $\omega (t)$ and $\frac{{p}^{\alpha}(\sigma (t))\phi (t)}{{\tau}^{\prime}(t)}v(t)$ are nonnegative we get a finite upper bound for the integral from (15), which contradicts (15). □
Remark 1 Under the conditions $l={l}^{\ast}=2$, $\phi (t)=1$ we can obtain [[3], Theorem 3.1] as a corollary of Theorem 1, since the inequality
holds.
The following corollary is in fact a variant of Theorem 1 if $p(t)$ is bounded above by a nonnegative number and ${\tau}^{\prime}(t)$ is bounded below by a positive number. Since (15) is not simply monotone with respect to $p(t)$ and $\tau (t)$, we have to include the corresponding estimates in the opening part of the proof.
Corollary 1 Suppose that (7), (14), $\sigma (t)\le t$ and $\sigma (t)\le \tau (t)$ are satisfied and there exist constants ${p}_{0}\ge 0$ and ${\tau}_{0}>0$ such that $p(t)\le {p}_{0}<\mathrm{\infty}$ and ${\tau}^{\prime}(t)\ge {\tau}_{0}$. If there exist positive mutually conjugate numbers l, ${l}^{\ast}$, and positive functions $\rho (t)$, $\phi (t)$ such that
then (1) is oscillatory.
Proof The proof is the same as the proof of Theorem 1, we just use (12) instead of (10) and in the remaining part of the proof we replace $p(t)$ by ${p}_{0}$ and ${\tau}^{\prime}(t)$ by ${\tau}_{0}$. □
Example 1 For the Euler type equation (2) with $0<{\lambda}_{2}\le {\lambda}_{1}<1$ we have $q(t)=\frac{\beta}{{t}^{\alpha +1}}$, $r(t)=1$, $\sigma (t)={\lambda}_{2}t$, ${\sigma}^{\prime}(t)={\lambda}_{2}$, $\tau (t)={\lambda}_{1}t$, ${\tau}^{\prime}(t)={\tau}_{0}={\lambda}_{1}$, $q(\tau (t))=\frac{\beta}{{\lambda}_{1}^{\alpha +1}{t}^{\alpha +1}}$. Denote $\phi (t)={\lambda}_{1}^{\alpha +1}$ and $\rho (t)={t}^{\alpha}$. With this setting we have $q(t)=\phi (t)q(\tau (t))$ and hence $Q(t)=q(t)$. Further $\rho (t)Q(t)=\frac{\beta}{t}$, $\frac{{\rho}^{\prime}(t)}{\rho (t)}=\frac{\alpha}{t}$, $\frac{{p}_{0}^{\alpha}\phi (t)}{{\tau}_{0}}={({p}_{0}{\lambda}_{1})}^{\alpha}$ and (20) becomes
and (2) is oscillatory if
Note that if $l={l}^{\ast}=2$, then this condition becomes
and since for ${\lambda}_{1}<1$ we have ${\lambda}_{1}^{\alpha}<1<\frac{1}{{\lambda}_{1}}$, this oscillation constant is smaller than the oscillation constant from (3).
Further, if ${p}_{0}=0$ and ${\lambda}_{1}=1={\lambda}_{2}$, then (1) becomes (5). Condition (21) becomes
and, since $l>1$ is arbitrary, we get
which is well known to be an optimal and nonimprovable oscillation constant for (5). In this sense we consider our result as reasonably sharp.
Finally, taking into account that ${l}^{\ast}=\frac{l}{l1}$, condition (21) becomes
A simple computation shows that the function
satisfies
and has a global minimum at $l=1+{p}_{0}{\lambda}_{1}$. Thus the choice $l=1+{p}_{0}{\lambda}_{1}$ in (21) produces the smallest oscillation constant
Example 2 Baculíková et al. [[5], Example 2.1] considered the equation
with $z(t)=x(t)+{p}_{0}x(\omega t)$, ${p}_{0}>0$, $b>0$ and $0<\beta <1$. They proved that under the condition $\beta <\omega <1$ (23) is oscillatory if
(note that this condition is misprinted in [5]). This condition naturally produces poor oscillation constant if β is close to ω. In our notation we have $\alpha =2$, $q(t)=b/{t}^{2}$, $r(t)=t$, $\sigma (t)=\beta t$, ${\sigma}^{\prime}(t)=\beta $, $\tau (t)=\omega t$, ${\tau}^{\prime}(t)={\tau}_{0}=\omega $. We choose $\phi (t)={\omega}^{2}$ and $\rho (t)=t$. Thus (20) takes the form
Taking into account that ${l}^{\ast}=\frac{l}{l1}$ and that the function $l+{l}^{\ast}{p}_{0}^{2}\omega $ has a local minimum ${(1+{p}_{0}\sqrt{\omega})}^{2}$ at the point $l=1+{p}_{0}\sqrt{\omega}$, we find that (23) is oscillatory if
This condition completes condition (24). It is possible to find constants ω and β for which (25) is better than (24), as well as constants where the opposite is true. The fact that both estimates depend heavily on the parameters is illustrated by Figure 1.
The following corollary suggests another modification of the proof of Theorem 1: we replace condition (7) by weaker condition (8) and add conditions which ensure that x possesses the same type of monotonicity as z.
Corollary 2 Suppose that $p(t)\equiv {p}_{0}$, (8), (14), $\sigma (t)\le t$ and $\sigma (t)\le \tau (t)$ hold. If (20) holds for some mutually conjugate numbers l, ${l}^{\ast}$ and positive functions $\rho (t)$, $\phi (t)$, then every solution of (1) is either oscillatory, or the first derivative of this solution is oscillatory.
Proof Suppose, by contradiction, that the assumptions are satisfied and x is an eventually positive solution of (1) such that ${x}^{\prime}(t)$ is not oscillatory.
We proceed as in Theorem 1 with modifications mentioned in the proof of Corollary 1. To ensure that Lemma 3 can be applied even though (7) need not to hold note that from the fact that z is eventually increasing, $p(t)$ constant and $x(t)$ not oscillatory we conclude easily that x is also eventually increasing. □
In the following example we show an application of Corollary 2 to the equation where $\sigma (\tau (t))\ne \tau (\sigma (t))$.
Example 3 Consider the equation
with $0\le {p}_{0}$, $\alpha \ge 1$, $\beta >0$, ${\lambda}_{1}>0$, ${\lambda}_{2}\in (0,1)$. We have $q(t)=\beta /{t}^{\alpha +1}$, $\sigma (t)={\lambda}_{2}t$, ${\sigma}^{\prime}(t)={\lambda}_{2}$, $\tau (t)=t{\lambda}_{1}$, ${\tau}^{\prime}(t)={\tau}_{0}=1$, $\sigma (\tau (t))={\lambda}_{2}t{\lambda}_{2}{\lambda}_{1}\ge {\lambda}_{2}t{\lambda}_{1}=\tau (\sigma (t))$, $\sigma (t)\le \tau (t)$ for large t and $q(\tau (t))\ge q(t)$. We choose $\phi (t)=1$ and $\rho (t)={t}^{\alpha}$. With this setting the condition (20) takes the form
Using this computation and using the fact that the function ${l}^{\alpha 1}+{({l}^{\ast})}^{\alpha 1}{p}_{0}^{\alpha}$ takes global minimum on $l\in (1,\mathrm{\infty})$ for $l=1+{p}_{0}$ and ${l}^{\ast}=1+1/{p}_{0}$ we see that the condition
guarantees that either every solution or derivative of every solution of the equation is oscillatory.
In the following theorem we drop the condition $\sigma (t)\le \tau (t)$ and use the opposite $\sigma (t)\ge \tau (t)$. In this case we modify the denominator in the Riccati type substitutions (16) and (18).
Theorem 2 Suppose that (7), (14), $\tau (t)\le t$ and $\sigma (t)\ge \tau (t)$ hold. Further suppose that there exist positive mutually conjugate numbers l, ${l}^{\ast}$ and positive functions $\rho \in {C}^{1}([{t}_{0},\mathrm{\infty}),{\mathbb{R}}^{+})$, $\phi (t)$ such that
Then (1) is oscillatory.
Proof Suppose, by contradiction, that all the conditions are satisfied and an eventually positive solution $x(t)$ of (1) exists. As in the proof of Theorem 1, we can show that $r(t)\mathrm{\Phi}({z}^{\prime}(t))$ is decreasing eventually and ${z}^{\prime}(t)$ increasing eventually. Let us work on the interval $({t}_{2},\mathrm{\infty})$ where ${t}_{2}$ is such that
for every $t>{t}_{2}$.
Define
As in the proof of Theorem 1, we have $\omega (t)>0$ and
From $\tau (t)\le t$ and from the monotonicity of $r(t)\mathrm{\Phi}({z}^{\prime}(t))$ we have
and combining these computations we get
Further we define
differentiate
and conclude
Similarly as in the proof of Theorem 1 and using the fact that monotonicity of $z(t)$ and inequality $\sigma (t)\ge \tau (t)$ imply $Q(t)\frac{z(\sigma (t))}{z(\tau (t))}\ge Q(t)$, we get
The remaining part of the proof is the same as in Theorem 1. □
Remark 2 Similarly as in Remark 1, [[3], Theorem 3.3] is a corollary of Theorem 2.
Corollary 3 Suppose that (7), (14), $\tau (t)\le t$ and $\sigma (t)\ge \tau (t)$ hold. Furthermore, suppose that there exist constants ${p}_{0}\ge 0$ and ${\tau}_{0}>0$ such that $p(t)\le {p}_{0}<\mathrm{\infty}$ and ${\tau}^{\prime}(t)\ge {\tau}_{0}$. If there exist positive mutually conjugate numbers l, ${l}^{\ast}$, and positive functions $\rho (t)$, $\phi (t)$ such that
then (1) is oscillatory.
Proof The proof is he same as the proof of Corollary 1. We just use Theorem 2 instead of Theorem 1. □
Example 4 Consider (2) with ${\lambda}_{2}\ge {\lambda}_{1}$. We choose the functions ρ and φ as in Example 1 and find that (1) is oscillatory if
Let us compare this result with (4). The inequalities $\alpha \ge 1$, ${p}_{0}\ge 0$, and ${\lambda}_{1}<1$ imply
where f is defined by (22) and ${(1+{p}_{0}{\lambda}_{1})}^{\alpha}$ is a global minimum of f on $(1,\mathrm{\infty})$. Hence
and (27) is sharper than (4).
The following corollary is a variant of Corollary 2 for $\sigma (t)\ge \tau (t)$.
Corollary 4 Suppose that $p(t)\equiv {p}_{0}$, (8), (14), $\tau (t)\le t$ and $\sigma (t)\ge \tau (t)$ hold. If (26) holds for some mutually conjugate numbers l, ${l}^{\ast}$ and positive functions $\rho (t)$, $\phi (t)$, then every solution of (1) is either oscillatory, or the first derivative of this solution is oscillatory.
Proof The proof is the same as the proof of Corollary 2; we only replace Theorem 1 by Theorem 2 and Corollary 1 by Corollary 3. □
Remark 3 There are two main approaches how to handle Riccati type transformation in the oscillation theory of neutral differential equations. The first applies if $0\le p(t)<1$ and the shift in the differential term is handled by utilizing the estimate $z(t)(1p(t))\le x(t)$; see e.g. [7–9]. Thus the results of this type depend on term $(1p(\sigma (t)))$. Another frequent approach which has been used in [3, 10] and also in this paper is summing up the equation at t and $\tau (t)$ and working with the resulting sum. Since it is necessary to take out common factor, the oscillation criteria usually contain term $min\{q(t),q(\tau (t))\}$. Since both $q(t)$ and $q(\tau (t))$ may differ significantly, we developed in this paper a method which replaces this term with the term $min\{q(t),\phi (t)q(\tau (t))\}$, where the function $\phi (t)$ is in some sense arbitrary and may have influence on the final oscillation criterion. We also showed on examples in previous section that this idea produces nonempty extension of known results. We conjecture that a similar idea can be used to obtain new results also in the case of a series of papers by Baculíková and Džurina [5, 11, 12], where a sum of two equations (in the original variable and in the shifted variable) is used to derive a certain firstorder delay differential equation and the oscillation criteria are formulated in terms of this firstorder equation. However, this idea exceeds the scope of this paper and will be examined in other research.
4 Conclusion
New oscillation theorems for secondorder halflinear differential equations have been obtained. The novelty is in the point that we employed general linear combination based on conjugate numbers l and ${l}^{\ast}$ rather than its special case $l=2={l}^{\ast}$ considered in the other papers devoted to this problem and also included a parameter $\phi (t)$ which plays a role when taking minimum of $q(t)$ and $q(\tau (t))$. These extensions are capable to produce sharper results than the results published in the literature as has been shown on examples. As a byproduct we also relaxed in Corollaries 2 and 4 the usual requirement that the composition of delays is commutative. This makes our results applicable to equations with combined constant and proportional delays.
References
 1.
Burton TA, Purnaras IK: A unification theory of Krasnoselskii for differential equations. Nonlinear Anal. 2013, 89: 121133.
 2.
Smith FE: Population dynamics in Daphnia magna and a new model for population growth. Ecology 1963, 44(4):651663. 10.2307/1933011
 3.
Sun S, Li T, Han Z, Li H: Oscillation theorems for second order quasilinear neutral functional differential equations. Abstr. Appl. Anal. 2012., 2012: Article ID 819342
 4.
Došlý O, Řehák P NorthHolland Mathematics Studies 202. In HalfLinear Differential Equations. Elsevier, Amsterdam; 2005.
 5.
Baculíková B, Li T, Džurina J: Oscillation theorems for secondorder superlinear neutral differential equations. Math. Slovaca 2013, 63: 123134. 10.2478/s1217501200879
 6.
Li T, Han Z, Zhang C, Li H: Oscillation criteria for secondorder superlinear neutral differential equations. Abstr. Appl. Anal. 2011., 2011: Article ID 367541
 7.
Dong JG: Oscillation behavior of second order nonlinear neutral differential equations with deviating arguments. Comput. Math. Appl. 2010, 59: 37103717. 10.1016/j.camwa.2010.04.004
 8.
Fišnarová S, Mařík R: Oscillation of halflinear differential equations with delay. Abstr. Appl. Anal. 2013., 2013: Article ID 583147
 9.
Hasanbulli M, Rogovchenko Y: Oscillation criteria for second order nonlinear neutral differential equations. Appl. Math. Comput. 2010, 215: 43924399. 10.1016/j.amc.2010.01.001
 10.
Han Z, Li T, Sun S, Chen W: Oscillation criteria for secondorder nonlinear neutral delay differential equations. Adv. Differ. Equ. 2010., 2010: Article ID 763278
 11.
Baculíková B, Džurina J: Oscillation theorems for secondorder neutral differential equations. Comput. Math. Appl. 2011, 61: 9499. 10.1016/j.camwa.2010.10.035
 12.
Baculíková B, Džurina J: Oscillation theorems for secondorder nonlinear neutral differential equations. Comput. Math. Appl. 2011, 62: 44724478. 10.1016/j.camwa.2011.10.024
Acknowledgements
This research was supported by the Grant P201/10/1032 of the Czech Science Foundation.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The paper has been prepared by both authors. Both authors have made the same contribution and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Fišnarová, S., Mařík, R. Oscillation criteria for neutral secondorder halflinear differential equations with applications to Euler type equations. Bound Value Probl 2014, 83 (2014). https://doi.org/10.1186/16872770201483
Received:
Accepted:
Published:
Keywords
 halflinear differential equation
 oscillation criteria
 Riccati technique
 delay equation
 neutral equation
 Euler type equation