Criteria for the Oscillation of Solutions to Linear Second-Order Delay Differential Equation with a Damping Term

: The aim of this work is to present new oscillation results for a class of second-order delay differential equations with damping term. The new criterion of oscillation depends on improving the asymptotic properties of the positive solutions of the studied equation by using an iterative technique. Our results extend some of the results recently published in the literature.


Introdiction
This article is concerned with studying the oscillatory behavior of the second-order delay differential equation where r, q, p ∈ C([t 0 , ∞)), r is positive, q is nonnegative, (t) ∈ C 1 ([t 0 , ∞)), (t) > 0, lim t→∞ (t) = ∞, and By a solution of (1), we mean a function φ ∈ C([t, ∞), R), t x ≥ t 0 , which has the property r(t)φ (t) is differentiable and satisfies (1) on [t x , ∞). We consider only those solutions φ of (1) which satisfy sup{|φ(t)| : t ≥ t x } > 0, for all t > t x . Oscillatory term is related to a solution if arbitrarily large zeros on [t z , ∞) exist. Equation (1) is said to be oscillatory if all its solutions are oscillatory.
Differential and difference equations have been used, since long time ago, to describe natural phenomena and have many applications in different sciences. Therefore, it is natural to notice an increasing interest in studying the qualitative properties of these equations, for example [1][2][3]. Oscillation theory is a branch of the qualitative theory of functional differential equations, which is concerned with the study of the oscillatory and non-oscillatory behavior of solutions to differential equations. The growing interest and development in the oscillation theory of delay differential equations can be seen through the works [4][5][6][7].
For second-order with damping term, Saker et al. [8] established Kamenev-type and Philos-type theorems for oscillation of equation with damping term a(t)x (t) + p(t)x (σ(t)) + q(t) f (x(g(t))) = 0 The results in [8] extended and improved results in [9][10][11]. Graef et al. [12] studied the oscillatory behavior of equations with damping term The objective of this paper is to establish new oscillation criteria for (1) in the noncanonical case. We offer a one-condition criterion which guarantees the oscillation of all solutions of the studied equation. The new criterion is also characterized by an iterative nature, meaning that it can be applied several times even if it fails in the beginning. Finally, we present an example that demonstrates the importance and applicability of the results.

Main Results I: Delay Equation
In this section, we assume that (t) ≤ t. For the sake of brevity, we define We provide the lemmas that help us achieve the main results.

Lemma 1.
Assume that φ is an eventually positive solution of (1). Then, (µ(t)r(t)φ (t)) ≤ 0, and there exists t 1 such that one of the following cases hold: Proof. Suppose that there exists t ≥ t 0 such that φ(t) and φ( (t)) are positive functions. As a direct conclusion from (1) and the definition of µ(t), we get which means that µ(t)r(t)φ (t) is a nonincreasing function and has one sign eventually. This means that φ (t) is of one sign eventually, since µ(t)r(t) is positive. This ends the proof.

Lemma 2.
Assume that φ is a positive solution of (1) and there exists a β 0 ∈ (0, 1) such that Proof. Assume on the contrary that φ is an eventually positive solution of (1) satisfying case (C 1 ) for t ≥ t 1 ≥ t 0 . As a direct conclusion from (1) and the definition of µ(t), we get Integrating (4) from t 1 to t, we get Since φ is positive and increasing, there exists k which is a positive constant such that φ(t) ≥ k and φ( (t)) ≥ k eventually. Therefore, we obtain which is a contradiction, and hence φ satisfies (C 2 ). Then, By integrating once again from t 1 to ∞, provides which is a contradiction, and thus λ = 0.
(A 3 ): Using the product rule to differentiate φ/δ and using (A 2 ) in the numerator it follows that φ/δ is non-increasing.
Proof. Assume the contrary that φ is an eventually positive solution of (1). From Lemmas 2 and 3, we have φ ∈ (C 2 ) and (A 1 ) − (A 9 ) hold. Thus, by using induction, we can prove that is increasing for all k = 0, 1, ...n.
Then β 0 ≤ 1 2 , which is a contradiction. Therefore, the proof is complete.
If there exists n ∈ N such that where β n is defined as in Theorem 1, then every solution of (1) is oscillatory.
Proof. Assume the contrary that φ is an eventually positive solution of (1). We define the function It follows from Lemma 2 that w(t) > 0 and; moreover Since φ/δ β n is decreasing, then µ(t)r(t)φ (t)δ(t) + β n φ(t) ≤ 0 and so Setting the last inequality into (15), we see that w is a positive solution of By Theorem 2.1.1 in [13], (14) guarantees that (16) has no positive solution, a contradiction. This ends the proof. Example 1. Consider the second order delay differential equation where a > 0. We note that (t) = 0.5t, δ(t) = 1 2t 2 , β 0 = 1 4 a, and κ = 4. So, condition (14) reduces to a 2 with β n iterative defined by (12). A simple computation reveals that for a =0.66 desired sequence and (18) holds for n = 3, that is for a = 0.66 (17) is oscillatory.

Main Results II: Advanced Equation
The above method can be modified to serve also advanced differential equations, when (t) ≥ t. We slightly modify the key constant β 0 to γ 0 as follows.