We will consider a class of neutral functional differential equations. Some infinite integral conditions for the oscillation of all solutions are derived. Our results extend and improve some of the previous results in the literature.
1. Introduction
During the past few decades, neutral differential equations have been studied extensively and the oscillatory theory for these equations is well developed; see [1–19] and the references cited therein. In fact, the developments of oscillation theory for the neutral differential equations began in 1986 with the appearance of the paper of Ladas and Sficas [15]. A survey of the most significant efforts in this theory can be found in the excellent monographs of Győri and Ladas [12] and Agarwal et al. [1].
Consider the first-order neutral differential equations of the form
(1)[r(t)(x(t)+px(t-τ))]′+q(t)x(t-σ)=0,t≥t0,
where
(2)r,q∈C[[t0,∞),(0,∞)],p∈R,τ∈(0,∞),σ∈R+.
There are numerous numbers of oscillation criteria obtained for oscillation of all solutions of (1). In particular, many various sufficient conditions for oscillation are established in [3–5, 9–15, 18, 19]. In reviewing the literature, (1) is much studied in the case when
(3)∫t0∞q(t)dt=∞,
which has been considered as an essential condition for the oscillation.
However, Yu et al. [19] considered (1) when r(t)≡1, p=-1 in the case when (3) does not hold (in this case (1) is said to have integrally small coefficients).
In [9], Gopalsamy et al. studied (1) when r(t)≡1, -1≤p≤0 and proved that every solution of (1) is oscillatory if
(4)limt→∞inf∫t-σtq(s)ds>1+p.
In [5], some finite integral conditions for oscillation of all solutions of (1) when r(t)≡1 are given under less restrictive hypothesis on p. See also Grammatikopoulos et al. [10], Ladas and Sficas [15], and Al-Amri [4].
Recently, Ahmed et al. [2, 3] investigated the oscillation behaviour of (1) and obtained some new oscillation results. Additional results on the oscillation behaviour of (1) can also be found in the articles of Kulenović et al. [14], Kubiaczyk and Saker [13], and Greaf et al. [11].
In [18], infinite integral conditions for oscillation of all solutions of (1) in the case when r(t)≡1 are obtained when the coefficient p takes some different ranges. A primary purpose of this paper is to further study the oscillation of solutions of (1). Our results extend and generalize some of the relevant results in [1–19].
Define the functions z(t) and w(t) as follows:
(5)z(t)=x(t)+px(t-τ),(6)w(t)=z(t)+pz(t-τ).
If x(t) is an eventually positive solution of the equation
(7)(x(t)+px(t-τ))′+q(t)x(t-σ)=0,
then z(t) and w(t) are also solutions of (7). Furthermore, z(t) is a differentiable solution, while w(t) is twice differentiable. (see Győri and Ladas [12]).
As usual, a solution of (1) is said to be oscillatory if it has arbitrarily large zeros and nonoscillatory if it is either eventually positive or eventually negative. Equation (1) is said to be oscillatory if all its solutions are oscillatory.
In the sequel, unless otherwise specified, when we write a functional inequality, we assume that it holds for all sufficiently large t.
2. Auxiliary Lemmas
To specify the proofs of our main results, we need the following essential lemmas.
Lemma 1 (see [12]).
Assume that (3) holds. Let x(t) be an eventually positive solution of (7). Then
z(t) is a decreasing function and either
(8)limt→∞z(t)=-∞,
or
(9)limt→∞z(t)=0.
The following statements are equivalent:
Equation (8) holds;
p<-1;
limt→∞x(t)=∞;
w(t)>0,w′(t)>0,w′′(t)>0.
The following statements are equivalent:
Equation (9) holds;
p>-1;
limt→∞x(t)=0;
w(t)>0,w′(t)<0,w′′(t)>0.
Lemma 2 (see [16]).
Assume that
(10)limt→∞sup∫tt+τipi(s)ds>0,forsomei.
If x(t) is an eventually positive solution of the delay differential equation
(11)x′(t)+∑i=1npi(t)x(t-τi)=0,
then, for the same i,
(12)limt→∞infx(t-τi)x(t)<∞.
Lemma 3 (see [16]).
If the equation
(13)x′(t)+∑i=1npi(t)x(t-τi)=0
has an eventually positive solution, then one has eventually that
(14)∫tt+τipi(s)ds≤1;i=1,2,….
Lemma 4 (see [12]).
Assume that
(15)Pi,τi∈C[[t0,∞),R+],fori=1,2,…,n.
Then the differential inequality
(16)x′(t)+∑i=1nPi(t)x(t-τi(t))≤0,t≥t0
has an eventually positive solution if and only if the equation
(17)x′(t)+∑i=1nPi(t)x(t-τi(t))=0,t≥t0
has an eventually positive solution.
3. Main Results
In this section, we establish some infinite integral conditions for all solutions of (1) to oscillate. We assume that condition (3) holds.
Theorem 5.
Let conditions (2) and (3) hold with -1≤p≤0,
(18)∫tt+σq(s)r(s-σ)ds>0,(19)∫t0∞[q(t)r(t-σ)ln(e∫tt+σq(s)r(s-σ)ds)]dt=∞.
Then every solution of (1) is oscillatory.
Proof.
Assume that (1) has a nonoscillatory solution on [t0,∞). Then, without loss of generality, there is a t1∈[t0,∞), sufficiently large, so that x(t)>0, x(t-τ)>0 and x(t-σ)>0 on [t1,∞). Set z(t) to be defined as in (5). Then by Lemma 1, it follows that
(20)z(t)>0.
As x(t)>z(t), it follows from (1) that
(21)(r(t)z(t))′+q(t)z(t-σ)≤0.
Dividing the last inequality by r(t)>0, we obtain
(22)z′(t)+r′(t)r(t)z(t)+q(t)r(t)z(t-σ)≤0.
Let
(23)z(t)=exp(-∫t0tr′(s)r(s)ds)y(t).
This implies that y(t)>0. Substituting in (22) yields
(24)y′(t)+q(t)r(t-σ)y(t-σ)≤0,t≥t0.
So by Lemma 4, we have that the delay differential equation
(25)y′(t)+q(t)r(t-σ)y(t-σ)=0,t≥t0
has an eventually positive solution as well. Let
(26)λ(t)=-y′(t)y(t).
Then λ(t) is positive and continuous, and there exists t1≥t0 such that y(t1)>0, and
(27)y(t)=y(t1)exp(-∫t1tλ(s)ds).
Furthermore, λ(s) satisfies the generalized characteristic equation
(28)λ(t)=Q-(t)exp(∫t-σtλ(s)ds),
where
(29)Q-(t)=q(t)r(t-σ).
Let
(30)Υ(t)=∫tt+σQ-(s)ds.
Therefore
(31)λ(t)=Q-(t)exp(1Υ(t)Υ(t)∫t-σtλ(s)ds).
Applying the inequality (cf. Erbe et al. [8, page 32]),
(32)eax≥x+ln(ea)a∀x,a>0,
to (31), we have
(33)λ(t)≥Q-(t)(1Υ(t)∫t-σtλ(s)ds+ln(eΥ(t))Υ(t)),
or
(34)λ(t)(∫tt+σQ-(s)ds)-Q-(t)∫t-σtλ(s)ds≥Q-(t)(lne∫tt+σQ-(s)ds).
Then, for B>T, we have
(35)∫TBλ(t)(∫tt+σQ-(s)ds)dt-∫TBQ-(t)∫t-σtλ(s)dsdt≥∫TBQ-(t)(lne∫tt+σQ-(s)ds)dt.
By interchanging the order of integration, we get
(36)∫TBQ-(t)(∫t-σtλ(s)ds)dt≥∫TB-σ(∫ss+σQ-(t)λ(s)dt)ds.
Hence
(37)∫TBQ-(t)(∫t-σtλ(s)ds)dt≥∫TB-σλ(s)(∫ss+σQ-(t)dt)ds.
Then
(38)∫TBQ-(t)(∫t-σtλ(s)ds)dt≥∫TB-σλ(t)(∫tt+σQ-(s)ds)dt.
From (35) and (38), we find that
(39)∫B-σBλ(t)(∫tt+σQ-(s)ds)dt≥∫TBQ-(t)(lne∫tt+σQ-(s)ds)dt.
However, using Lemma 3, it follows that
(40)∫tt+σQ-(s)ds<1
eventually. Therefore, from (40) in (39), we get
(41)∫B-σBλ(t)dt≥∫TBQ-(t)ln(e∫tt+σQ-(s)ds)dt.
That is,
(42)y(B-σ)y(B)≥∫TBQ-(t)ln(e∫tt+σQ-(s)ds)dt,
which implies by condition (19) that
(43)limt→∞y(t-σ)y(t)=∞.
On the other hand, from Lemma 2, we have
(44)limt→∞y(t-σ)y(t)<∞.
This is a contradiction with (43). The proof is complete.
Example 6.
Consider the equation
(45)[et+1(x(t)-12x(t-2))]′+et-1[1+tt]x(t-1)=0,1111111111111111111111111111111111111111t≥e,
where
(46)r(t)=et+1,q(t)=et-1[1+tt],p=-12,σ=1,τ=2.
Observe that
(47)q(t)r(t-σ)=et-1[(1+t)/t]et+1-1=1e(1+1t).
Then
(48)∫tt+σq(s)r(s-σ)ds=1e∫tt+1(1+1s)ds>0,∫t0∞[q(t)r(t-σ)ln(e∫tt+σq(s)r(s-σ)ds)]dt=∫e∞[1e(1+1t)ln(e∫tt+11e(1+1s)ds)]dt≥1e∫e∞ln(1+ln(1+1t))=∞.
All conditions of Theorem 5 are satisfied. Then all solutions of (45) oscillate.
Theorem 7.
Let conditions (2) and (3) hold with -1<p, r(t)≡r>0, σ>τ. Assume further that q(t) is τ- periodic;
(49)1r(1+p)∫tt+σ-τq(s)ds>0;(50)∫t0∞[q(t)r(1+p)ln(e∫tt+σ-τq(s)r(1+p)ds)]dt=∞.
Then every solution of (1) is oscillatory.
Proof.
Assume that (1) has a nonoscillatory solution on [t0,∞). Then, without loss of generality, there is a t1∈[t0,∞), sufficiently large, so that x(t)>0, x(t-τ)>0 and x(t-σ)>0 on [t1,∞). Let z(t) and w(t) be defined as in (5) and (6). It is easily seen, by direct substituting, that z(t) and w(t) are also solutions of (1) when p and r are constants; that is
(51)rz′(t)+prz′(t-τ)+q(t)z(t-σ)=0,(52)rw′(t)+prw′(t-τ)+q(t)w(t-σ)=0.
By Lemma 1, we have that z(t) is decreasing and w(t)>0. Also, we have indeed that
(53)w′(t)=-1rq(t)z(t-σ)≥-1rq(t)z(t-σ-τ)=-1rq(t-τ)z(t-σ-τ)=w′(t-τ).
Then
(54)w′(t)≥w′(t-τ).
Using (54) in (52) implies that
(55)r(1+p)w′(t-τ)+q(t)w(t-σ)≤0.
As p>-1, we have 1+p>0. Then
(56)w′(t-τ)+1r(1+p)q(t)w(t-σ)≤0.
In view of the τ-periodicity of q(t), (56) implies that
(57)w′(t)+1r(1+p)q(t)w(t-(σ-τ))≤0.
As w(t) is positive solution, so by Lemma 4, the delay differential equation
(58)w′(t)+1r(1+p)q(t)w(t-(σ-τ))=0
has an eventually positive solution as well. Let
(59)λ(t)=-y′(t)y(t).
Then λ(t) is positive and continuous, and there exists t1≥t0 such that y(t1)>0, and
(60)y(t)=y(t1)exp(-∫t1tλ(s)ds).
Furthermore, λ(s) satisfies the generalized characteristic equation
(61)λ(t)=Q-1(t)exp(∫t-σ+τtλ(s)ds),
where
(62)Q-1(t)=q(t)r(1+p).
Let
(63)Υ1(t)=∫tt+σ-τQ-1(s)ds.
Therefore
(64)λ(t)=Q-1(t)exp(1Υ1(t)Υ1(t)∫t-σ+τtλ(s)ds).
Applying the inequality (32) to (64), we have
(65)λ(t)≥Q-1(t)(1Υ1(t)∫t-σ+τtλ(s)ds+ln(eΥ1(t))Υ1(t)),
or
(66)λ(t)(∫tt+σ-τQ-1(s)ds)-Q-1(t)∫t-σ+τtλ(s)ds≥Q-1(t)(lne∫tt+σ-τQ-1(s)ds).
Then, for B>T, we have
(67)∫TBλ(t)(∫tt+σ-τQ-1(s)ds)dt-∫TBQ-1(t)∫t-σ+τtλ(s)dsdt≥∫TBQ-1(t)(lne∫tt+σ-τQ-1(s)ds)dt.
By interchanging the order of integration, we get
(68)∫TBQ-1(t)(∫t-σ+τtλ(s)ds)dt≥∫TB-σ+τ(∫ss+σ-τQ-1(t)λ(s)dt)ds.
Hence
(69)∫TBQ-1(t)(∫t-σ+τtλ(s)ds)dt≥∫TB-σ+τλ(s)(∫ss+σ-τQ-1(t)dt)ds.
Then
(70)∫TBQ-1(t)(∫t-σ+τtλ(s)ds)dt≥∫TB-σ+τλ(t)(∫tt+σ-τQ-1(s)ds)dt.
From (67) and (70), we find that
(71)∫B-σ+τBλ(t)(∫tt+σ-τQ-1(s)ds)dt≥∫TBQ-1(t)(lne∫tt+σ-τQ-1(s)ds)dt.
However, using Lemma 3, it follows that
(72)∫tt+σ-τQ-1(s)ds<1
eventually. Therefore, from (72) in (71), we get
(73)∫B-σ+τBλ(t)dt≥∫TBQ-1(t)ln(e∫tt+σQ-1(s)ds)dt
or
(74)y(B-(σ-τ))y(B)≥∫TBQ-1(t)ln(e∫tt+σ-τQ-1(s)ds)dt,
which implies by condition (50) that
(75)limt→∞y(t-(σ-τ))y(t)=∞.
On the other hand, from Lemma 2, we have
(76)limt→∞y(t-σ)y(t)<∞.
This is a contradiction with (75). The proof is complete.
Example 8.
Consider the equation
(77)(x(t)-12x(t-π))′+(1+cos2t)x(t-2π)=0,1111111111111111111111111111111111111t>0,
where
(78)-1≤p=-12,σ=2π,τ=π,r(t)=1,q(t)=1+cos2t.
Observe that
(79)1r(1+p)∫tt+σ-τq(s)ds=11-1/2∫tt+π(1+cos2s)ds=2[12s+12sin2s|tt+π=2(t+π-t+sin2(t+π)11111-sin2t)=2(π+sin2t-sin2t)=2π>0.
Also,
(80)∫t0∞[q(t)r(1+p)ln(e∫tt+σ-τq(s)r(1+p)ds)]dt=∫0∞2(1+cos2t)ln(e∫tt+π2(1+cos2s)ds)dt=∫0∞2(1+cos2t)111×[1+ln(2∫tt+π(1+cos2s)ds)]dt=2(1+ln2π)∫0∞(1+cos2t)dt=2(1+ln2π)(t+12sin2t)|0∞=∞.
Then all conditions of Theorem 7 are satisfied and therefore all solutions of (77) oscillate.
Remark 9.
Theorems 5 and 7 generalize and extend Theorems 3.1 and 3.2 of Saker and Elabbasy [18], respectively, and Theorem 6.4.3 in Gyori and Ladas [12], where r(t)≡1. See also the results of Ahmed et al. [2] and Kubiaczyk and Saker [13].
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
This research has been completed with the support of these Grants: FRGS/2/2013/SG04/UKM/02/3 and DIP-2012-31.
AgarwalR. P.BohnerM.LiW.2004267New York, NY, USAMarcel Dekker10.1201/9780203025741MR2084730AhmedF. N.AhmadR. R.DinU. S.NooraniM. S.Oscillation criteria of first order neutral delay differential equations with variable coefficients20132013548980410.1155/2013/489804AhmedF. N.AhmadR. R.DinU. K. S.NooraniM. S. M.Some further results on oscillations for neutral delay differential equations with variable coefficients20142014757902310.1155/2014/579023Al-AmriI. R.On the oscillation of first-order neutral delay differential equations with real coefficients200229424524910.1155/S0161171202004180MR18979932-s2.0-17844382122ChuanxiQ.LadasG.Oscillations of first-order neutral equations with variable coefficients1990109210311110.1007/BF01302930MR10482992-s2.0-33746002550DongJ.Oscillation of solutions for first order neutral differential equations with distributed deviating arguments200958478479010.1016/j.camwa.2009.06.003MR25540222-s2.0-67649786542ElabbasyE. M.HassanT. S.SakerS. H.Necessary and sufficient condition for oscillations of neutral differential equation2005314279290MR2219464ErbeL. H.KongQ.ZhangB. G.1995New York, NY, USADekkerMR1309905GopalsamyK.LalliB. S.ZhangB. G.Oscillation of odd order neutral differential equations1992422313323MR1179502GrammatikopoulosM. K.GroveE. A.LadasG.Oscillations of first-order neutral delay differential equations1986120251052010.1016/0022-247X(86)90172-1MR864767ZBL0566.340562-s2.0-0001323609GreafJ. R.SavithriR.ThandapaniE.Oscillation of first order neutral delay differential equations200412111GyőriI.LadasG.1991New York, NY, USAClarendon PressOxford Mathematical MonographsMR1168471KubiaczykI.SakerS. H.Oscillation of solutions to neutral delay differential equations2002523343359MR1936339KulenovićM. R. S.LadasG.MeimaridouA.Necessary and sufficient condition for oscillations of neutral differential equations198728336237510.1017/S0334270000005452MR868764LadasG.SficasY. G.Oscillations of neutral delay differential equations198629443844510.4153/CMB-1986-069-2MR860851LiB.Oscillation of first order delay differential equations1996124123729373710.1090/S0002-9939-96-03674-XMR1363175ZBL0865.340572-s2.0-21444448060ParhiN.RathR. N.On oscillation and asymptotic behaviour of solutions of forced first order neutral differential equations2001111333735010.1007/BF02829600MR18510952-s2.0-0035415232SakerS. H.ElabbasyE. M.Oscillation of first order neutral delay differential equations2001412311321MR1876201YuJ. S.WangZ.QianC. X.Oscillation of neutral delay differential equations199245219520010.1017/S0004972700030057MR1155477ZBL0729.34052