Oscillatory Properties of Noncanonical Neutral DDEs of Second-Order: Comparison
Please note this is a comparison between Version 1 by Clemente Cesarano and Version 10 by Lindsay Dong.

A DDE is a single-variable differential equation, usually called time, in which the derivative of the solution at a certain time is given in terms of the values of the solution at earlier times. Moreover, if the highest-order derivative of the solution appears both with and without delay, then the DDE is called of the neutral type. The neutral DDEs have many interesting applications in various branches of applied science, as these equations appear in the modeling of many technological phenomena. The problem of studying the oscillatory and nonoscillatory properties of DDEs has been a very active area of research in the past few decades.

  • delay differential equation
  • neutral
  • oscillation
  • noncanonical case

1. Introduction

Consider the 2nd-order delay differential equation (DDE) of the neutral type:
(1)
where t t 0 , and v t : = u t + a 1 t u g 0 t . In this entry, we obtain new sufficient criteria for the oscillation of solutions of (1) under the following hypotheses:
(A1) β 1 is a ratio of odd integers;
(A2) a i C t 0 , , 0 , for i = 0 , 1 , 2 , a 0 t > 0 a 1 c 0 a constant (this constant plays an important role in the results), and a 2 does not vanish identically on any half-line t * , with t * t 0 , ;
(A3) g j C t 0 , , R g j t t g 0 t g 0 * > 0 , g 0 g 1 = g 1 g 0 and lim t g j t = for j = 0 , 1
By a proper solution of (1), we mean a u C 1 t 0 , with a 0 · v β C 1 t 0 , and sup { u t : t t * } > 0 , for t * t 0 , , and u satisfies (1) on t 0 , . A solution u of (1) is called nonoscillatory if it is eventually positive or eventually negative; otherwise, it is called oscillatory.
The oscillatory properties of solutions of second-order neutral DDE (1) in the noncanonical case, that is:
(2)
where

2. Oscillatory Properties of Noncanonical Neutral DDEs of Second-Order

We begiCon wsith the following notations: U + is thder the 2nd-order set of all eventually positive solutions of delay differential equation (1DDE), V t : = a 0 1 / β t v t ,

Lemma 1. Assumeof thate v U + and there exists a  δ 0 0 , 1 such that:

(3)

Then, vral eventually satisfiesype:

and:

Proof.  Let u U + . Then, we have that u g 0 t , and u g 1 t are poscitive forllatory t t 1 , fopr some t 1 t 0 . Theperefore, it follows from (1) that:

Using (1) and Lemma 1 in [1], we see that:

and of so:

(4)

Integrating this inequality from t 1 to t and using the fact  V β t 0 , we find:

(5)

C 1 Assume the contrary, that v t > 0 for t t 1 . Thus, from (5), we have:

This, ofrom (3), implies:

Letting t and taking the fact that η t 0 as t ,  we obtain V β t , which cd-ontradicts the positivity of  V t .

Next, sider nce v is positive decreasing, we have that lim t v t = v 0 0 . Assume the contrary, that v 0 > 0 . Then, v t v 0 for alral t t 2 , forDDE some t 2 t 1 . Thus, from (31) and (5), we have:

or

and so,

(6)

Using the fact that η t < 0 noncanonical case, we obtain that η t < η t 2 < η t 1 for all t t 2 t 1 . Hence, by integrating (6) from t 1 to t, we obtains:

 

Lett

2. Oscillatory Properties of Noncanonical Neutral DDEs of Second-Order

2.1. Auxiliary Lemmas

2.2. Oscillation Theorems

ing t and taking the fact that η t 0 as t , wne obxtain v t , which contradicts the positivity of v t . Theoreforem, v 0 = 0 .

C 2 Sinceby V t ius decreasing, we obtain:

and:

(7)

T then, v / η 0 .

C 3 Fprom (7), we obtain:

Thus, from (4) and the fac V t 0 , we obtain:

and then:

Thple proof is complete.

Lemma 2. Acomparissumeon thatwith u U + and there exists a δ 0 0 , 1 sequch that (3) hiolds. Then:

Proof.  Let u U + . Fromf Lemma 1, we have that C 1 C 3 hold the for t t 1 .

Integrating C 3 from t 1 st-o t, we arrive at:

Frderom (3), we obtain:

and:

(8)

Using C 1 , we eventually have:

Hence, (8)w becomes:

Thris implies that v / η γ 0 δ 0 is a decreasing function.

The pion foroof is complete.

2.2. Oscillation Theorems

In the next theorem, by using the principle of comparison with an equation of the first-order, we obtain a new criterion for the oscillation of (1).
Theorem 6. Assume that g 1 t g 0 t and there exists a δ 0 0 , 1 such that (3) holds. If the delay differential equation:
(9)
is oscillatory, then every solution of (1) is oscillatory. Proof.  Assume the contrary, that (1) has a solution u U + . Then, we have that u t , and u g 1 t are positive for t t 1 , for some t 1 t 0 . From Lemmas 1 and 2, we have that C 1 C 4 hold for t t 1 . Next, we define: From C 1 , w t > 0 for t t 1 . Thus, Thus, it follows from C 3 that:
(10)
Using C 4 , we obtain that: which with (10) gives:
(11)
Now, we set: Then, W t c ˜ 0 w g 0 t , and so,  (11) becomes: which has a positive solution. In view of [2] (Theorem 1), (9) also has a positive solution, which is a contradiction. The proof is complete. Corollary 1. Assume that g 1 t g 0 t and there exists a δ 0 0 , 1 such that (3) holds. If:
(12)
then every solution of (1) is oscillatory. Proof.  It follows from Theorem 2 in [3] that the condition (12) implies the oscillation of (9). Next, by introducing two Riccati substitution, we obtain a new oscillation criterion for (1). Theorem 7. Assume that g 1 t g 0 t and there exists a δ 0 0 , 1 such that (3) holds. If:
(13)
then every solution of (1) is oscillatory. Proof.  Assume the contrary, that (1) has a solution u U + . Then, we have that u t , and u g 1 t are positive for t t 1 , for some t 1 t 0 . From Lemmas 1 and 2, we have that C 1 C 4 hold for t t 1 . Now, we define the functions: Θ 1 : = V v , and: Θ 2 : = V g 0 v g 0 . Then, Θ 1 and Θ 2 are negative for t t 1 . From C 4 , we obtain: Hence, and: Then:
(14)
and:
(15)
Combining (14) and (15), we obtain: Integrating this inequality from t 1  to t, we have: From C 2 , we obtain η t Θ 1 t 1 . Therefore, where: Since η t < 0 and a t 0 , we find: Taking lim sup t and using (13), we arrive at a contradiction. The proof is complete.

2.3. Applications and Discussion

Remark 1. It is easy to see that tthe previous works that dealt with the noncanonical case required either a 1 t < 1 scillatior a 1 t < η t / η g 0 t . Since η is decreasing and g 0 t t , we have that η g 0 t η t . Then, the results of these works only apply when a 1 t 0 , 1 (1).

Example

2.3. Applications

 1. Consider the DDE:

(16)

where t 1 , a 1 * > 0 , and κ < λ 0 , 1 . By choosing δ 0 = a 2 * , the condition (12) becomes:
(17)
Using Corollary 1, Equation (16) is oscillatory if (17) holds. Remark 2. To apply Theorems 3 and 4 on (16), we must stipulate that a 1 * < 1 . Let a special case of (16), namely, A simple computation shows that (16) is oscillatory if:
(18)
or:
(19)
or:
(20)
Consider the following most specific special case:
(21)
Note that (18)–(20) fail to apply. However, (17) reduces to: which ensures the oscillation of (21).

 

Video Production Service