# Nonoscillation of First-Order Dynamic Equations with Several Delays

- Elena Braverman
^{1}Email author and - Başak Karpuz
^{2}

**2010**:873459

https://doi.org/10.1155/2010/873459

© Elena Braverman and Başak Karpuz. 2010

**Received: **18 February 2010

**Accepted: **21 July 2010

**Published: **2 August 2010

## Abstract

For dynamic equations on time scales with positive variable coefficients and several delays, we prove that nonoscillation is equivalent to the existence of a positive solution for the generalized characteristic inequality and to the positivity of the fundamental function. Based on this result, comparison tests are developed. The nonoscillation criterion is illustrated by examples which are neither delay-differential nor classical difference equations.

## 1. Introduction

Oscillation of first-order delay-difference and differential equations has been extensively studied in the last two decades. As is well known, most results for delay differential equations have their analogues for delay difference equations. In [1], Hilger revealed this interesting connection, and initiated studies on a new *time-scale theory*. With this new theory, it is now possible to unify most of the results in the discrete and the continuous calculus; for instance, some results obtained separately for delay difference equations and delay-differential equations can be incorporated in the general type of equations called *dynamic equations*.

Although we further assume familiarity of readers with the notion of time scales, we would like to mention that any nonempty, closed subset
of
is called a *time scale*, and that the *forward jump operator*
is defined by
for
, where the interval with a subscript
is used to denote the intersection of the real interval with the set
. Similarly, the *backward jump operator*
is defined to be
for
, and the *graininess*
is given by
for
. The readers are referred to [4] for an introduction to the time-scale calculus.

then
is finite, since
asymptotically tends to infinity. By a *solution* of (1.3), we mean a function
such that
and (1.3) is satisfied on
identically. For a given function
, (1.3) admits a unique solution satisfying
on
(see [5, Theorem 3.1]). As usual, a solution of (1.3) is called *eventually positive* if there exists
such that
on
, and if
is eventually positive, then
is called *eventually negative*. A solution, which is neither eventually positive nor eventually negative, is called *oscillatory*, and (1.3) is said to be *oscillatory* provided that every solution of (1.3) is oscillatory.

In the papers [6, 7], the authors studied oscillation of (1.3) and proved the following oscillation criterion.

Theorem A (see [6, Theorem ] and [7, Theorem ]).

is oscillatory.

Theorem A is the generalization of the well-known oscillation results stated for and in the literature (see [8, Theorems and ]). In [9], Bohner et al. used an iterative method to advance the sufficiency condition in Theorem A, and in [10, Theorem ] Agwo extended Theorem A to (1.3). Further, in [11], Şahiner and Stavroulakis gave the generalization of a well-known oscillation criterion, which is stated below.

Theorem B (see [11, Theorem ]).

Then every solution of (1.6) is oscillatory.

The present paper is mainly concerned with the existence of nonoscillatory solutions. So far, only few sufficient nonoscillation conditions have been known for dynamic equations on time scales. In particular, the following theorem, which is a sufficient condition for the existence of a nonoscillatory solution of (1.3), was proven in [7].

Theorem C (see [7, Theorem ]).

where satisfies for all . Then, (1.6) has a nonoscillatory solution.

In [10, Theorem , and Corollary 3.3], Agwo extended Theorem C to (1.3).

Theorem D (see [10, Corollary 3.3]).

where on . Then, (1.3) has a nonoscillatory solution.

As was mentioned above, there are presently only few results on nonoscillation of (1.3); the aim of the present paper is to partially fill up this gap. To this end, we present a nonoscillation criterion; based on it, comparison theorems on oscillation and nonoscillation of solutions to (1.3) are obtained. Thus, solutions of two different equations and/or two different solutions of the same equation are compared, which allows to deduce oscillation and nonoscillation results.

The paper is organized as follows. In Section 2, some important auxiliary results, definitions and lemmas which will be needed in the sequel are introduced. Section 3 contains a nonoscillation criterion which is the main result of the present paper. Section 4 presents comparison theorems. All results are illustrated by examples on "nonstandard" time scales (which lead to neither differential nor classical difference equations).

## 2. Definitions and Preliminaries

where , is the initial point, is the initial value, is the initial function such that has a finite left-sided limit at the initial point provided that it is left-dense, is the forcing term, and is the coefficient corresponding to the delay function for all . We assume that for all , , is a delay function satisfying , and for all . We recall that is finite, since for all .

For convenience in the notation and simplicity in the proofs, we suppose that functions vanish out of their specified domains, that is, let be defined for some , then it is always understood that for , where is the characteristic function of defined by for and for .

Definition 2.1.

which satisfies
, is called the *fundamental solution* of (2.1).

The following lemma (see [5, Lemma ]) is extensively used in the sequel; it gives a solution representation formula for (2.1) in terms of the fundamental solution.

Lemma 2.2.

As functions are assumed to vanish out of their domains, if for .

Proof.

which proves that satisfies (2.1) for all since and for each . The proof is therefore completed.

Example 2.3.

see [4, Theorem ].

Next, we will apply the following result (see [6, page 2]).

Lemma 2.4 (see [6]).

where and is a delay function, has a solution which satisfies for all for some fixed , then the coefficient satisfies , where satisfies for all .

The following lemma plays a crucial role in our proofs.

Lemma 2.5.

Then, nonnegativity of on implies the same for .

Proof.

which yields the contradiction by canceling the negative terms on both sides of the inequality. This completes the proof.

The following lemma will be applied in the sequel.

Lemma 2.6 (see [6, Lemma ]).

## 3. Main Nonoscillation Results

under the same assumptions which were formulated for (2.1). We now prove the following result, which plays a major role throughout the paper.

Theorem 3.1.

- (i)
Equation (3.1) has an eventually positive solution.

- (ii)
Inequality (3.2) has an eventually positive solution and/or (3.3) has an eventually negative solution.

- (iii)
- (iv)
The fundamental solution is eventually positive; that is, there exists a sufficiently large such that holds on for any ; moreover, if (3.4) holds for all for some fixed , then holds on for any .

Proof.

Let us prove the implications as follows: (i) (ii) (iii) (iv) (i).

(i) (ii) This part is trivial, since any eventually positive solution of (3.1) satisfies (3.2) too, which indicates that its negative satisfies (3.3).

where is an arbitrarily fixed number, and substitute (3.18) into (3.10), to see that satisfies (3.10) with a nonnegative forcing term . Hence, as is proven previously, we infer that is nonnegative on . Consequently, we have on for any (see [4, Theorem ]).

(iv) (i) Clearly, is an eventually positive solution of (3.1).

The proof is therefore completed.

Remark 3.2.

Note that Theorem 3.1 for (1.6) includes Theorem C, by letting for , where satisfies . And Theorem 3.1 reduces to Theorem D, by letting for , where satisfies .

Corollary 3.3.

is a positive solution of (3.2), and is a negative solution to (3.3).

The following three examples are special cases of the above result, and the first two of them are corollaries for the cases and , which are well known in literature, and the third one, for with , has not been stated thus far yet.

Example 3.4 (see [2, Theorem ] and [8, Section ]).

Then, the delay-differential equation (1.2) has an eventually positive solution, and the fundamental solution satisfies on for any because we may let for .

Example 3.5 (see [3, Theorem ] and [8, Section ]).

has an eventually positive solution, and the fundamental solution satisfies on because we may let for . Notice that if for all and all , and are constants, then (3.21) reduces to an algebraic inequality.

Example 3.6.

has an eventually positive solution, and the fundamental solution satisfies on because we may let for . Notice that if for all and all , and are constants, then (3.24) becomes an algebraic inequality.

## 4. Comparison Theorems

where , and is a delay function for all . Let be the fundamental solution of (4.1).

Theorem 4.1.

Suppose that , and on for all and some fixed . If the fundamental solution of (3.1) is eventually positive, then the fundamental solution of (4.1) is also eventually positive.

Proof.

for all . Thus, by Theorem 3.1 we have on for any , and equivalently, (4.1) has an eventually positive solution, which completes the proof.

The following result is an immediate consequence of Theorem 4.1.

Corollary 4.2.

Assume that all the conditions of Theorem 4.1 hold. If (4.1) is oscillatory, then so is (3.1).

where for all , and is the same delay function as in (3.1). Let and be the fundamental solutions of (3.1) and (4.3), respectively.

Theorem 4.3.

Suppose that , on for all and some fixed , and that on for any . Then, holds on for any .

Proof.

for all . Lemma 2.5 implies nonnegativity of since on and the kernels of the integrals in (4.5) are nonnegative. Then dropping the nonnegative integrals on the right-hand side of (4.5), we get for all . The proof is hence completed.

Corollary 4.4.

where for and are same as in (3.1) for all , has an eventually positive solution, then so does (3.1).

Proof.

is eventually positive, applying Theorem 4.3, we learn that the fundamental solution of (3.1) is also eventually positive since holds on for all . The proof is hence completed.

where , and for all are the same as in (2.1) and for all .

Theorem 4.5.

Suppose that for all and on , and on for any . Let be a solution of (2.1) with on , then holds on , where is a solution of (4.8).

Proof.

which implies on . Therefore, the proof is completed.

As an application of Theorem 4.5, we give a simple example on a nonstandard time scale below.

Example 4.6.

Corollary 4.7.

Suppose that for all and on for any . Let be solutions of (3.1), (3.2) and (3.3), respectively. If on and on , then one has on .

Corollary 4.8.

and on be a solution of this equation. If holds on , then holds on .

Theorem 4.9.

Then, (3.1) has an eventually positive solution.

Proof.

which implies that (4.16) holds. The proof is therefore completed.

Corollary 4.10.

where satisfies for all . Then, (3.1) has an eventually positive solution.

Proof.

In this present case, we may let for to obtain (4.15).

Remark 4.11.

where , is nonoscillatory if and only if (see [3, 12]).

The following example illustrates Corollary 4.10 for the nonstandard time scale .

Example 4.12.

Theorem 4.13.

Proof.

cannot exceed the solution of (4.26) which has representation (4.27). Thus, on because of on , and on , which completes the proof.

Theorem 4.14.

is positive. If and on , then the solution of (4.26) is positive on .

Proof.

for all since and on . Hence, holds on . Thus, the proof is completed.

Theorem 4.15.

Proof.

The proof is similar to that of Theorem 4.13.

We give the following example as an application of Theorem 4.15.

Example 4.16.

## 5. Discussion

In this paper, we have extended to equations on time scales most results obtained in [2, 3]: nonoscillation criteria, comparison theorems, and efficient nonoscillation conditions. However, there are some relevant problems that have not been considered.

(P1) In [2], it was demonstrated that equations with positive coefficients has slowly oscillating solutions only if it is oscillatory. The notion of slowly oscillating solutions can be easily extended to equations on time scales in such a way that it generalizes the one discussed in [2].

Definition 5.1.

A solution
of (3.1) is said to be *slowly oscillating* if it is oscillating and for every
there exist
with
and
for all
such that
on
and
for some
.

Is the following proposition valid?

Proposition 5.2.

Suppose that for all , is a delay function and . If (3.1) is nonoscillatory, then the equation has no slowly oscillating solutions.

(P2) In Section 4, oscillation properties of equations with different coefficients, delays and initial functions were compared, as well as two solutions of equations with the same delays and initial conditions. Can any relation be deduced between nonoscillation properties of the same equation on different time scales?

(P3) The results of the present paper involve nonoscillation conditions for equations with positive and negative coefficients: if the relevant equation with positive coefficients only is nonoscillatory, so is the equation with coefficients of both signs. Is it possible to obtain efficient nonoscillation conditions for equations with positive and negative coefficients when the relevant equation with positive coefficients only is oscillatory?

for all . Since the integrand is nonnegative and not identically zero by (5.1), we learn that the right-hand side of (5.2) is negative on ; that is, on . Hence, is nonoscillatory, which is the contradiction justifying the proposition.

Thus, under the assumptions of Proposition 5.2 existence of a slowly oscillating solution of (3.1) implies oscillation of all solutions.

## Declarations

### Acknowledgment

E. Braverman was partially supported by NSERC research grant.

## Authors’ Affiliations

## References

- Hilger S:
*Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten, Ph.D. thesis*. Universität Würzburg; 1988.MATHGoogle Scholar - Berezansky L, Braverman E:
**On non-oscillation of a scalar delay differential equation.***Dynamic Systems and Applications*1997,**6**(4):567-580.MathSciNetMATHGoogle Scholar - Berezansky L, Braverman E:
**On existence of positive solutions for linear difference equations with several delays.***Advances in Dynamical Systems and Applications*2006,**1**(1):29-47.MathSciNetMATHGoogle Scholar - Bohner M, Peterson A:
*Dynamic Equations on Time Scales. An Introduction with Applications*. Birkhäuser Boston, Boston, Mass, USA; 2001:x+358.View ArticleMATHGoogle Scholar - Karpuz B:
**Existence and uniqueness of solutions to systems of delay dynamic equations on time scales.**http://arxiv.org/abs/1001.0737v3 - Bohner M:
**Some oscillation criteria for first order delay dynamic equations.***Far East Journal of Applied Mathematics*2005,**18**(3):289-304.MathSciNetMATHGoogle Scholar - Zhang BG, Deng X:
**Oscillation of delay differential equations on time scales.***Mathematical and Computer Modelling*2002,**36**(11–13):1307-1318. 10.1016/S0895-7177(02)00278-9MathSciNetView ArticleMATHGoogle Scholar - Győri I, Ladas G:
*Oscillation Theory of Delay Differential Equations, Oxford Mathematical Monographs*. The Clarendon Press, Oxford University Press, New York, NY, USA; 1991:xii+368.MATHGoogle Scholar - Bohner M, Karpuz B, Öcalan Ö:
**Iterated oscillation criteria for delay dynamic equations of first order.***Advances in Difference Equations*2008,**2008:**-12.Google Scholar - Agwo HA:
**On the oscillation of first order delay dynamic equations with variable coefficients.***The Rocky Mountain Journal of Mathematics*2008,**38**(1):1-18. 10.1216/RMJ-2008-38-1-1MathSciNetView ArticleMATHGoogle Scholar - Şahiner Y, Stavroulakis IP:
**Oscillations of first order delay dynamic equations.***Dynamic Systems and Applications*2006,**15**(3-4):645-655.MathSciNetGoogle Scholar - Zhang BG, Tian CJ:
**Nonexistence and existence of positive solutions for difference equations with unbounded delay.***Computers & Mathematics with Applications*1998,**36**(1):1-8. 10.1016/S0898-1221(98)00103-5MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.