Oscillatory Properties of Noncanonical Neutral DDEs of Second-Order

Oscillatory Properties of Noncanonical Neutral DDEs of Second-Order: History

Please note this is an old version of this entry, which may differ significantly from the current revision.

Subjects: Mathematics

Contributor:

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 \in [t_{0}, \infty)

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)

β \geq 1

is a ratio of odd integers;

(A2)

a_{i} \in C ([t_{0}, \infty), [0, \infty))

for

i = 0, 1, 2,

a_{0} (t) > 0

a_{1} \leq 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_{*}, \infty)

with

t_{*} \in [t_{0}, \infty);

(A3)

g_{j} \in C ([t_{0}, \infty), R)

g_{j} (t) \leq t

g_{0}^{'} (t) \geq g_{0}^{*} > 0,

g_{0} \circ g_{1} = g_{1} \circ g_{0}

and

{lim}_{t \to \infty} g_{j} (t) = \infty

for

j = 0, 1

By a proper solution of (1), we mean a

u \in C^{1} ([t_{0}, \infty))

with

a_{0} \cdot {(v^{'})}^{β} \in C^{1} ([t_{0}, \infty))

and

sup {|u (t)| : t \geq t_{*}} > 0,

for

t_{*} \in [t_{0}, \infty),

and u satisfies (1) on

[t_{0}, \infty)

. 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 begin with the following notations: $U^{+}$ is the set of all eventually positive solutions of (1), $V (t) : = a_{0}^{1 / β} (t) v^{'} (t)$ ,

Lemma 1. Assume that $v \in U^{+}$ and there exists a $δ_{0} \in (0, 1)$ such that:

(3)

Then, v eventually satisfies:

and:

Proof. Let $u \in U^{+}$ . Then, we have that $u (g_{0} (t))$ , and $u (g_{1} (t))$ are positive for $t \geq t_{1}$ , for some $t_{1} \geq t_{0}$ . Therefore, it follows from (1) that:

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

and so:

(4)

Integrating this inequality from $t_{1}$ to t and using the fact ${(V^{β} (t))}^{'} \leq 0$ , we find: ${(V^{β} (t))}^{'} \leq 0$

(5)

$(C_{1})$ Assume the contrary, that $v^{'} (t) > 0$ for $t \geq t_{1}$ . Thus, from (5), we have:

This, from (3), implies:

Letting $t \to \infty$ and taking the fact that $η (t) \to 0$ as $t \to \infty$ , we obtain $V^{β} (t) \to - \infty$ $V^{β} (t) \to - \infty$ , which contradicts the positivity of $V (t)$ . $V (t)$

Next, since v is positive decreasing, we have that ${lim}_{t \to \infty} v (t) = v_{0} \geq 0$ . Assume the contrary, that $v_{0} > 0$ . Then, $v (t) \geq v_{0}$ for all $t \geq t_{2}$ , for some $t_{2} \geq t_{1}$ $t_{2} \geq t_{1}$ . Thus, from (3) and (5), we have:

and so,

(6)

Using the fact that $η^{'} (t) < 0$ , we obtain that $η (t) < η^{'} (t_{2}) < η^{'} (t_{1})$ for all $t \geq t_{2} \geq t_{1}$ . Hence, by integrating (6) from $t_{1}$ to t, we obtain:

Letting $t \to \infty$ and taking the fact that $η (t) \to 0$ as $t \to \infty$ , we obtain $v (t) \to - \infty$ , which contradicts the positivity of $v (t)$ . Therefore, $v_{0} = 0$ . $v (t)$

$(C_{2})$ Since $V (t)$ is decreasing, we obtain:

and:

(7)

Then, ${(v / η)}^{'} \geq 0$ .

$(C_{3})$ From (7), we obtain:

Thus, from (4) and the fact $V^{'} (t) \leq 0$ , we obtain:

and then:

The proof is complete.

Lemma 2. Assume that $u \in U^{+}$ $u \in U^{+}$ and there exists a $δ_{0} \in (0, 1)$ such that (3) holds. Then:

Proof. Let $u \in U^{+}$ . From Lemma 1, we have that $(C_{1})$ – $(C_{3})$ hold for $t \geq t_{1}$ . $u \in U^{+}$

Integrating $(C_{3})$ from $t_{1}$ to t, we arrive at:

From (3), we obtain:

and:

(8)

Using $(C_{1})$ , we eventually have:

Hence, (8) becomes:

This implies that $v / η^{γ_{0} δ_{0}}$ is a decreasing function.
The proof is complete.

This entry is adapted from the peer-reviewed paper 10.3390/math9172026

References

Baculikova, B.; Dzurina, J. Oscillation theorems for second-order nonlinear neutral differential equations. Comput. Math. Appl. 2011, 62, 4472–4478.

© Text is available under the terms and conditions of the Creative Commons Attribution (CC BY) license; additional terms may apply. By using this site, you agree to the Terms and Conditions and Privacy Policy.