# Oscillation Criteria of First Order Neutral Delay Differential Equations with Variable Coefficients

Authors: Fatima N. Ahmed; Rokiah Rozita Ahmad; Ummul Khair Salma Din; Mohd Salmi Md Noorani
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

Some new oscillation criteria are given for first order neutral delay differential equations with variable coefficients. Our results generalize and extend some of the well-known results in the literature. Some examples are considered to illustrate the main results.


---

## Body

## 1. Introduction

In recent years, oscillation of neutral delay differential equations (or NDDEs for short) has received great attention and has been studied extensively. It is a relatively new field with interesting applications from the real world. In fact, NDDEs appear in modeling of the problems as transformation of information, population dynamics, the networks containing lossless transmission lines, and in the theory of automatic control (see, e.g., [1–4] and references cited therein).Consider the first order NDDE of the form(1)[r(t)(x(t)+p(t)x(t-τ))]′+q(t)x(t-σ)=0,t≥t0,
where
(2)p∈C[[t0,∞),ℝ],r,q∈C[[t0,∞),ℝ+],τ,σ∈ℝ+.Letm=max{τ,σ}. By a solution of (1), we mean a function x∈C[[t1-m,∞),ℝ] for some t1≥t0 such that  x(t)+p(t)x(t-τ) is continuously differentiable, and (1) is satisfied identically for t1≥t0. Such a solution of (1) is said to be oscillatory if it has arbitrarily large zeros and nonoscillatory if it is eventually positive or eventually negative. The NDDE (1) is called oscillatory if all its solutions are oscillatory; otherwise, it is called nonoscillatory.Recently, some investigations such as [5–7] have appeared which are concerned with the oscillation as well as the nonoscillation behaviour of NDDE (1). In fact, Zahariev and Baĭnov [8] is the first work dealing with oscillation of neutral equations. A systematic development of oscillation theory of NDDEs was initiated by Ladas and Sficas [9]. For the oscillation of (1) when r(t)=1 and p(t) and q(t) are constants, we refer the readers to the articles by Ladas and Schults [10], Sficas and Stavroulakis [11], Grammatikopoulos et al. [12],  Zhang [13], and Gopalsamy and Zhang [14]. For the oscillation of (1) when r(t)=1 and p(t) is equal to a constant, we refer the readers to the papers by Grammatikopoulos et al. [15], Zhang [13], Gopalsamy and Zhang [14], and Saker and Elabbasy [16] and the references cited therein. Grammatikopoulos et al. [6], Ladas and Schults [10], Chuanxi and Ladas [17, 18], Kubiaczyk and Saker [19], and Karpuz and Ocalan [20] considered the NDDE (1) when r(t)=1 and established some new oscillation results sorted by the value of function p(t). For further oscillation results on the oscillatory behaviour of solutions of (1), we refer the readers to the monographs by Győri and Ladas [21] and Erbe et al. [22] as well as the papers of Yu et al. [23], Choi and Koo [24], Ocalan [25], and Candan and Dahiya [26].The purpose of this work is to find some sufficient conditions for the oscillation of all solutions of the first order NDDE (1).Remark 1.
(i) When we write a functional inequality we assume that it holds for all sufficiently larget.
(ii) Without loss of generality, we will deal only with the positive solutions of (1).In the proof of our main results, we need the following well-known lemmas which can be found in Chuanxi and Ladas [17], Győri and Ladas [21], and Kulenović et al. [27].Lemma 2.
Assume thatρ is a positive constant. Let h∈C[[t0,∞),ℝ+], and suppose that
(3)limt→∞inf∫t-ρth(s)ds>1e.
Then
(i) the delay differential inequality(4)x′(t)+h(t)x(t-ρ)≤0,t≥t0,has no eventually positive solution;
(ii) the delay differential inequality(5)x′(t)+h(t)x(t-ρ)≥0,t≥t0,has no eventually negative solution;
(iii) the advanced differential inequality(6)x′(t)-h(t)x(t+ρ)≤0,t≥t0,has no eventually negative solution;
(iv) the advanced differential inequality(7)x′(t)-h(t)x(t+ρ)≥0,t≥t0,has no eventually positive solution.Lemma 3.
Consider the NDDE(8)(x(t)+p(t)x(t-τ))′+q(t)x(t-σ)=0,t≥t0,
where p, q, τ, and σ are as in (2). Assume that
(9)∫t0∞q(s)ds=∞.
Let x(t) be an eventually positive solution of equation and set
(10)z(t)=x(t)+p(t)x(t-τ).
Then the following statements are true:(i)
z(t) is an eventually decreasing function;(ii)
ifp(t)≤-1 then z(t)<0;(iii)
if-1≤p(t)≤0 then z(t)>0 and limt→∞z(t)=0.Lemma 4.
Assume that (9) holds and let x(t) be an eventually positive solution of NDDE(11)[(x(t)+px(t-τ))]′+q(t)x(t-σ)=0,t≥t0,
where p≠1, q∈C[[t0,∞),ℝ+], and τ,σ∈ℝ+.
Set(12)z(t)=x(t)+px(t-τ).
Then (a)
z(t) is a decreasing function and either
(13)limt→∞z(t)=-∞
or
(14)limt→∞z(t)=0.(b)
The following statements are equivalent:
(i)
(13) holds;(ii)
p<-1;(iii)
limt→∞x(t)=∞;(iv)
w(t)>0,  w′(t)>0.(c)
The following statements are equivalent:
(i)
(14) holds;(ii)
p>-1;(iii)
limt→∞x(t)=0;(iv)
w(t)>0,  w′(t)<0.


## 2. Main Results

In this section we give some new sufficient conditions for all solutions of NDDE (1) to be oscillatory.Theorem 5.
Assume that (2) and (9) hold, p(t)≤-1,  τ>σ, and
(15)limt→∞inf∫t+σt+τ[q(s-τ)-r(s-σ)p(s-σ)]ds>1e.
Then every solution of NDDE (1) is oscillatory.Proof.
Assume, for the sake of a contradiction, that (1) has an eventually positive solution x(t)>0 for all t≥t0>0. Set
(16)z(t)=x(t)+p(t)x(t-τ).
Then by Lemma 3 we have
(17)z(t)<0.
Observe that
(18)z(t)>p(t)x(t-τ).
From which we find eventually
(19)1p(t+τ-σ)q(t)z(t+τ-σ)<q(t)x(t-σ)=-(r(t)z(t))′,
and hence
(20)z′(t)+r′(t)r(t)z(t)+q(t)r(t)p(t+τ-σ)z(t+τ-σ)<0.
Set
(21)z(t)=e-∫t0t(r′(s)/r(s))dsy(t).
This implies that y(t)<0.
Substituting in (20) yields for all t≥t0(22)y′(t)+q(t)r(t+τ-σ)p(t+τ-σ)y(t+τ-σ)<0,
or
(23)y′(t)-[q(t)-r(t+τ-σ)p(t+τ-σ)]y(t+(τ-σ))<0.
In view of (15) and Lemma 2(iii), it is impossible for (23) to have an eventually negative solution. This contradicts the fact that y(t)<0 and the proof is complete.Example 6.
Consider NDDE(24)[et+1t+1(x(t)-t+1tx(t-2))]′+et+2x(t-1)=0,t>0.
Here we have
(25)p(t)=-t+1t≤-1,q(t)=et+2,r(t)=et+1t+1,τ=2,σ=1.
Then all the hypotheses of Theorem 5 are satisfied where
(26)limt→∞inf∫t+σt+τq(s-τ)-r(s-σ)p(s-σ)ds=limt→∞inf∫t+1t+2(s-1)ds=limt→∞inf(t+92)=∞>1e.
Hence every solution of (24) is oscillatory.Remark 7.
Theorem5 is an extent of [17, Theorem 2], [15, Theorem 7], and [21, Theorem 6.4.3].Theorem 8.
Assume that (2) and (9) hold, -1≤p(t)≤0, and
(27)limt→∞inf∫t-σtq(s)r(s-σ)ds>1e.
Then every solution of NDDE (1) oscillates.Proof.
Assume, for the sake of contradiction, that (1) has an eventually positive solution x(t)>0 for all t≥t0>0. Set
(28)z(t)=x(t)+p(t)x(t-τ).
Then by Lemma 3, it follows that
(29)z(t)>0.
As x(t)>z(t), it follows from (1) that
(30)(r(t)z(t))′+q(t)z(t-σ)≤0.
Dividing the last inequality by r(t)>0, we obtain
(31)z′(t)+r′(t)r(t)z(t)+q(t)r(t)z(t-σ)≤0.
Let
(32)z(t)=e-∫t0t(r′(s)/r(s))dsy(t).
This implies that y(t)>0.
Substituting in (31) yields for all t≥t0(33)y′(t)+q(t)r(t-σ)y(t-σ)≤0,t≥t0.
In view of Lemma 2(i) and (27), it is impossible for (33) to have an eventually positive solution. This contradicts the fact that y(t)>0 and the proof is complete.Example 9.
Consider the NDDE(34)[1t(x(t)-tt+1x(t-τ))]′+1t-(5π/2)x(t-5π2)=0,t>5π2.
Note that all the hypotheses of Theorem 8 are satisfied:
(35)limt→∞inf∫t-σtq(s)r(s-σ)ds=limt→∞inf∫t-(5π/2)tds=5π2>1e.
Therefore every solution of (34) is oscillatory.Remark 10.
Theorem8 is an extent of [17, Theorem 3] and [21, Theorem 6.4.2].Theorem 11.
Assume that (2) holds with p(t)≡p≠±1, r(t)≡r>0, q(t)being τ periodic, and
(36)1r(1+p)limt→∞inf∫t-σt-τq(s)ds>1e.
Then every solution of NDDE
(37)[r(x(t)+px(t-τ))]′+q(t)x(t-σ)=0,t≥t0,
is oscillatory.Proof.
Assume, for the sake of contradiction, that (37) has an eventually positive solution x(t)>0 for all t≥t0>0. Set
(38)z(t)=x(t)+px(t-τ),w(t)=z(t)+pz(t-τ).
It is easily seen, by direct substituting, that z(t) and w(t) are also solutions of (37). That is,
(39)rz′(t)+prz′(t-τ)+q(t)z(t-σ)=0,(40)rw′(t)+prw′(t-τ)+q(t)w(t-σ)=0.
By Lemma 4, z(t) is decreasing and either (13) or (14) holds. In either case we claim that
(41)w′(t-τ)≥w′(t).
Indeed,
(42)w′(t)=-1rq(t)z(t-σ)≤-1rq(t)z(t-σ-τ)=-1rq(t-τ)z(t-σ-τ)=w′(t-τ).
Furthermore, we have by Lemma 4 that as long as p≠±1,
(43)w(t)>0.
Using (41) in (40) implies
(44)r(1+p)w′(t-τ)+q(t)w(t-σ)≤0
or
(45)w′(t-τ)+1r(1+p)q(t)w(t-σ)≤0.
Since q(t) is periodic of period τ, we find
(46)w′(t)+1r(1+p)q(t)w(t-(σ-τ))≤0,if1+p>0,
or
(47)w′(t)-[1-r(1+p)]q(t)w(t+(τ-σ))≥0,nnnnnhhhhhhnhhhhhhhhhhhhif1+p<0.
In view of Lemma 2((i) and (iv)) and (36), it is impossible for (46) and (47) to have eventually positive solutions. This contradicts the fact that w(t)>0 and the proof is complete.Remark 12.
Theorem11 extends [15, Theorems 8 and 10]. See also [21, Theorem 6.4.4].



---

*Source: 489804-2013-10-08.xml*