Volume 2011, Issue 1 262316
Research Article
Open Access

Convergence and Divergence of the Solutions of a Neutral Difference Equation

G. E. Chatzarakis

Corresponding Author

G. E. Chatzarakis

Department of Electrical Engineering Educators, School of Pedagogical and Technological Education (ASPETE), N. Heraklion, 14121 Athens, Greece aspete.gr

Search for more papers by this author
G. N. Miliaras

G. N. Miliaras

Department of Electrical Engineering Educators, School of Pedagogical and Technological Education (ASPETE), N. Heraklion, 14121 Athens, Greece aspete.gr

Search for more papers by this author
First published: 25 October 2011
Citations: 5
Academic Editor: Alexandre Carvalho

Abstract

We investigate the asymptotic behavior of the solutions of a neutral type difference equation of the form Δ[x(n) + cx(τ(n))] + p(n)x(σ(n)) = 0, where τ(n) is a general retarded argument, σ(n) is a general deviated argument (retarded or advanced), c, (p(n)) n≥0 is a sequence of positive real numbers such that p(n) ≥ p, p+, and Δ denotes the forward difference operator Δx(n) = x(n + 1) − x(n). Also, we examine the asymptotic behavior of the solutions in case they are continuous and differentiable with respect to c.

1. Introduction

Neutral type differential equations are differential equations in which the highest-order derivative of the unknown function appears in the equation both with and without delays (or delays advanced). See Driver [1], Bellman and Cooke [2], and Hale [3] for questions of existence, uniqueness, and continuous dependence.

It is to be noted that, in general, the theory of neutral differential equations presents extra complications, and basic results which are true for delay differential equations may not be true for neutral equations. For example, Snow [4] has shown that, even though the characteristic roots of a neutral differential equation may all have negative real parts, it is still possible for some solutions to be unbounded.

The discrete counterparts of neutral differential equations are called neutral difference equations, and it is a well-known fact that there is a similarity between the qualitative theories of neutral differential equations and neutral difference equations.

Besides its theoretical interest, strong interest in the study of the asymptotic and oscillatory behavior of solutions of neutral type equations (difference or differential) is motivated by the fact that they arise in many areas of applied mathematics, such as circuit theory [5, 6], bifurcation analysis [7], population dynamics [8, 9], stability theory [10], and dynamical behavior of delayed network systems [11]. See, also, Driver [12], Hale [3], Brayton and Willoughby [13], and the references cited therein. This is the reason that during the last few decades these equations are in the main interest of the literature.

In the present paper, we are interested in the first-order neutral type difference equation of the form
()
where (p(n))n≥0 is a sequence of positive real numbers such that p(n) ≥ p, p+, c, (τ(n))n≥0 is an increasing sequence of integers which satisfies
()
and (σ(n))n≥0 is an increasing sequence of integers such that
()
or
()
Define
()
(Clearly, k is a positive integer.)

By a solution of the neutral type difference equation (E), we mean a sequence of real numbers (x(n)) n≥−k which satisfies (E) for all n ≥ 0. It is clear that, for each choice of real numbers ck, ck+1, …, c−1,c0, there exists a unique solution (x(n)) n≥−k of (E) which satisfies the initial conditions x(−k) = ck,   x(−k + 1) = ck+1, …, x(−1) = c−1, x(0) = c0.

A solution (x(n)) n≥−k of the neutral type difference equation (E) is called oscillatory if for every positive integer n there exist n1, n2n such that x(n1)x(n2) ≤ 0. In other words, a solution (x(n)) n≥−k is oscillatory if it is neither eventually positive nor eventually negative. Otherwise, the solution is said to be nonoscillatory.

In the special case where τ(n) = na and σ(n) = nb, a, b, (E) takes the form
()
Equation (E) represents a discrete analogue of the neutral type differential equations
()
which, in the special case where τ(t) = tτ0 and σ(t) = tσ0, τ0, σ0+, takes the form (see e.g., [14, 15])
()

The search for the asymptotic behavior and, especially, for oscillation criteria and stability of neutral type (difference or differential) equations has received a great attention in the last few years. Hence, a large number of related papers have been published. See [4, 9, 10, 1452] and the references cited therein. Most of these papers are concerning the special case of the delay difference equations (E1) and (E3) where the algebraic characteristic equation gives useful information about oscillation and stability.

The purpose of this paper is to investigate the convergence and divergence of the solutions of (E) in the case of a general delay argument τ(n) and of a general deviated (retarded or advanced) argument σ(n).

2. Some Preliminaries

Assume that (x(n)) n≥−k is a nonoscillatory solution of (E). Then it is either eventually positive or eventually negative. As (−x(n)) n≥−k is also a solution of (E), we may (and do) restrict ourselves only to the case where x(n) > 0 for all large n. Let n1 ≥ −k be an integer such that x(n) > 0 for all nn1. Then, there exists n0n1 such that
()
Set
()
Then, in view of (E) and taking into account the fact that p(n) ≥ p > 0, we have
()
or
()
which means that the sequence is strictly decreasing, regardless of the value of the real constant c.
Throughout this paper, we are going to use the following notation:
()
Let the domain of τ be the set , where n* is the smallest natural number that τ is defined with. Then for every n > n* it is clear that there exists a natural number m(n) such that
()
since (m(n)) is increasing and unbounded function of n.

The following lemma provides some tools which are useful for the main results.

Lemma 2.1. Assume that (x(n)) n≥−k is a positive solution of (E). Then, one has the following.

  • (i)

    If c ≠ 0 and

    ()
    then
    ()

  • (ii)

    If

    ()
    then
    ()

  • (iii)

    If c ≥ −1, then

    ()

  • (iv)

    If c < −1, then

    ()

Proof. Summing up (2.3) from n0 to n, we obtain

()
or
()
For the above relation, there are only two possible cases:
()
or
()
Assume that (2.15a) holds. Since p(n) ≥ p > 0, we have
()
The last inequality guarantees that
()
and, consequently,
()
Also, (2.15a) guarantess that lim nz(n) exists as a real number. Now, assume that
()
Since (z(σ(n))) is a subsequence of (z(n)), it is obvious that
()
or
()
and, in view of (2.18), we obtain
()
Hence,
()
The proof of part (i) of the lemma is complete.

Assume that (2.15b) holds. Then, by taking limits on both sides of (2.14) we obtain

()
which, in view of the fact that the sequence (z(n)) is strictly decreasing, means that
()
The proof of part (ii) of the lemma is complete.

Assume that −1 ≤ c < 0, and suppose, for the sake of contradiction, that . Then, in view of part (ii), we have z(n) < 0 eventually. Thus,

()
or
()
Repeating the above procedure we obtain
()
If −1 < c < 0, clearly, (−c) m(n) → 0 since m(n) → as n. Since x(n) > 0 for all large n, (2.28) guarantees that
()
This implies that
()
and consequently , which contradicts our assumption.

If c = −1, by (2.28) we obtain

()
which means that (x(n)) is bounded and therefore (z(n)) is bounded. Hence, , which contradicts our assumption.

Assume that c ≥ 0 and that . In view of part (ii), (2.10) holds, that is, z(n) < 0 eventually. This contradicts z(n) = x(n) + cx(τ(n)) > 0. Therefore . The proof of part (iii) of the lemma is complete.

In the remainder of this proof, it will be assumed that c < −1.

If (2.15a) holds, that is, , then, in view of part (i), (2.8) is satisfied, that is,

()
If L > 0, then
()
Since (z(n)) is strictly decreasing, we have
()
()
or
()
Repeating this procedure m(n) times we have
()
Now, if for this index λ we have x(τ(nλ)) − (cL/(1 + c)) > 0, then, as n, x(n) → , which contradicts (2.18). Therefore, there exists an index s such that
()
with
()
Then since lim nz(n) = cL, for every ɛ > 0 there exists n2(ɛ) such that
()
where τ(ns) is satisfying the previous inequality.

Hence,

()
or
()
Repeating this procedure m(nμ) times we have
()
or
()
Then, for sufficiently large n the above inequality gives
()
which condradicts x(n) > 0.

If L = 0, then

()
or
()
and since (z(n)) is stricly decreasing, it is obvious that z(n) > 0 eventually or
()
In view of (2.6), the last inequality becomes
()
and consequently
()
which contradicts (2.18). Hence, it is clear that . The proof of part (iv) of the lemma is complete.

The proof of the lemma is complete.

3. Main Results

The asymptotic behavior of the solutions of the neutral type difference equation (E) is described by the following theorem.

Theorem 3.1. For (E) one has the following.

  • (I)

    Every nonoscillatory solution is unbounded if c < −1.

  • (II)

    Every solution oscillates if c = −1.

  • (III)

    Every nonoscillatory solution tends to zero if −1 < c < 1.

  • (IV)

    Every nonoscillatory solution is bounded if c ≥ 1.

Furthermore, if any solution of (E) is continuous with respect to c, one has the following.
  • (V)

    Every solution is zero if c ≤ −1.

  • (VI)

    Every solution tends to zero if −1 < c ≤ 1.

  • (VII)

    If, additionally, any solution of (E) has continuous derivatives of any order and convergent Taylor series for every c, then the solution is zero.

Proof. Assume that (x(n)) n≥−k is a nonoscillatory solution of (E). Then it is either eventually positive or eventually negative. As (−x(n)) n≥−k is also a solution of (E), we may (and do) restrict ourselves only to the case where x(n) > 0 for all large n. Let n1 ≥ −k be an integer such that x(n) > 0 for all nn1. Then, there exists n0n1 such that

()
which, in view of the previous section, means that the sequence is strictly decreasing, regardless of the value of the real constant c.

Assume that c < −1. Then, in view of part (iv) of Lemma 2.1, we have , and, consequently, in view of part (ii) of Lemma 2.1, z(n) < 0 eventually. Therefore,

()
or
()
Since c < −1, the last relation guarantees that
()
which means that (x(n)) is unbounded. The proof of part (I) of the theorem is complete.

Assume that c = −1. Then, in view of part (iii) of Lemma 2.1, we have , and, therefore, in view of part (i) of Lemma 2.1, we obtain

()
Assume that L > 0. Then there exists a natural number nλ such that z(n) < 0 for every nnλ, and therefore
()
which means that (x(n)) is bounded. Since (x(n)) is bounded, let
()
Then there exists a subsequence (x(θ(n))) of (x(n)) such that
()
Thus,
()
()
or
()
which contradicts (3.7). Therefore, L > 0 is not valid. Hence, L = 0 and consequently lim nz(n) = 0. Furthermore, taking into account the fact that the sequence (z(n)) is strictly decreasing we conclude that z(n) > 0 or equivalently
()
Since (x(n)) has a lower bound greater than zero, it cannot have any subsequence that tends to zero. Thus, lim nx(σ(n)) = 0 is not valid, and therefore which contradicts our previous conclusions. Hence, if c = −1, (x(n)) oscillates. The proof of part (II) of the theorem is complete.

Assume that −1 < c < 0.

Assume that L > 0. Then there exists a natural number nλ such that z(n) < 0 for every nnλ, and therefore

()
which means that (x(n)) tends to zero as n. Therefore, (z(n)) tends to zero as n, that is, L = 0, which contradicts L > 0. Hence L = 0. Taking into account the fact that the sequence (z(n)) is strictly decreasing, it is obvious that z(n) > 0. Hence, for every ϵ > 0 there exists a natural number n4 such that for every nn4
()
or
()
For sufficiently large n, after m-steps we obtain
()
As n, clearly m, and therefore
()
Since ϵ is an arbitrary real positive number and, taking into account the fact that (x(n)) > 0, it is clear that
()
Let c = 0. In view of part (iii) of Lemma 2.1, we have
()
This guarantees that (z(n)) is bounded, and therefore, since z(n) = x(n), (x(n)) is bounded. Also, since (z(n)) is stricly decreasing, lim nz(n) exists, that is, lim nx(n) exists. In view of (2.18), we conclude that
()
Assume that 0 < c < 1, then
()
or
()
Therefore,
()
()
or
()
which means that L = 0. Hence,
()
and since
()
we have
()
The proof of part (III) of the theorem is complete.

Assume that c ≥ 1. In view of Part (iii) of Lemma 2.1, it is clear that which combined with (2.14) implies that (z(n)) is bounded and, therefore (x(n)) is bounded. The proof of part (IV) of the theorem is complete.

In the remainder of this proof, it will be assumed that x(n) is a continuous function with respect to c, and, therefore, instead of x(n) we will write x(c, n).

Let c = −1. Then, in view of part (II), (x(−1, n)) oscillates. On the other hand, since x(c, n) is continuous, we have

()
But x(c, n) > 0 for all large n, and therefore its limit is always nonnegative. Thus, x(−1, n) > 0 for all large n which contradicts that (x(−1, n)) oscillates. Therefore, x(−1, n) = 0 eventually.

Let c < −1. In view of part (I) we have (x(c, n)) is unbounded, and therefore x(c, τ(n)) → . Let M > 0, then there exists an index n5 such that, for every nn5, x(c, τ(n)) > M. Since the function x(c, n) is continuous, x(c, τ(n)) is continuous, and therefore

()
Hence, there exists h > 0 so that, if c > −1 − h then x(c, τ(n)) < M for every nn5, which contradicts x(c, τ(n)) > M. This implies that, there exists an interval (a, −1) such that
()
Let
()
Then, with the same argument as above, we conclude that
()
So, by a similar procedure we obtain an interval (B, A] such that
()
This contradicts our assumption for A. Thus, if c < −1, we have x(c, n) = 0 eventually. The proof of part (V) of the theorem is complete.

Assume that −1 < c ≤ 1. Taking into account part (III), it is enough to show part (VI) only for c = 1. In view of parts (iii) and (i) of Lemma 2.1, we have

()
Assume, for the sake of contradiction, that L > 0. Taking into account the fact that lim nx(c, n) = 0 when 0 < c < 1, there exists n6 such that, for every nn6, we have
()
and, since x(c, τ(σ(n))) is continuous,
()
Hence,
()
which contradicts lim nx(c, τ(σ(n))) = L. Therefore, L > 0 is impossible. Thus, L = 0, and, in view of (2.8), we conclude that
()
which means that
()
The proof of part (VI) of the theorem is complete.

Finally, since x(c, n) has convergent Taylor series, we have

()
Choose a < −1. Then x(m)(a, n) = 0 and, therefore, x(c, n) = 0. The proof of part (VII) of the theorem is complete.

The proof of the theorem is complete.

By way of illustration and for purely pedagogical purposes, the asymptotic behavior of nonoscillatory solutions of (E) is presented in Figure 1.

Description unavailable

Corollary 3.2. For (E1) one has the following.

  • (i)

    Every nonoscillatory solution tends to ± if c < −1.

  • (ii)

    Every solution oscillates if c = −1.

  • (iii)

    Every nonoscillatory solution tends to zero if c > −1.

Furthermore, if any solution of (E1) is continuous with respect to c, one has the following.
  • (iv)

    Every solution is zero if c ≤ −1.

  • (v)

    If, additionally, any solution of (E1) has continuous derivatives of any order and convergent Taylor series for every c, then the solution is zero.

Proof. In part (I) of Theorem 3.1 we have proved that

()
and consequently
()
which means that
()
The proof of part (i) of the corollary is complete.

Part (ii) is direct from part (II) of Theorem 3.1.

As we have proved in parts (III) and (IV) of Theorem 3.1, if c > −1, then

()
and consequently
()
which means that
()
The proof of part (iii) of the corollary is complete.

Parts (iv) and (v) are direct from parts (V) and (VII) of Theorem 3.1.

The proof of the corollary is complete.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.