- Research Article
- Open Access
- Published:

# Almost Periodic Solutions of Nonlinear Discrete Volterra Equations with Unbounded Delay

*Advances in Difference Equations*
**volume 2008**, Article number: 692713 (2008)

## Abstract

We study the existence of almost periodic solutions for nonlinear discrete Volterra equations with unbounded delay, as a discrete analogue of the results for integro-differential equations by Y. Hamaya (1993).

## 1. Introduction

Hamaya [1] discussed the relationship between stability under disturbances from hull and total stability for the integro-differential equation

where is continuous and is almost periodic in uniformly for , and is continuous and is almost periodic in uniformly for . He showed that for a periodic integro-differential equation, uniform stability and stability under disturbances from hull are equivalent. Also, he showed the existence of an almost periodic solution under the assumption of total stability in [2].

Song and Tian [3] studied periodic and almost periodic solutions of discrete Volterra equations with unbounded delay of the form

where is continuous in for every , and for any , is continuous for . They showed that under some suitable conditions, if the bounded solution of (1.2) is totally stable, then it is an asymptotically almost periodic solution of (1.2), and (1.2) has an almost periodic solution. Also, Song [4] proved that if the bounded solution of (1.2) is uniformly asymptotically stable, then (1.2) has an almost periodic solution.

Equation (1.2) is a discrete analogue of the integro-differential equation (1.1), and (1.2) is a summation equation that is a natural analogue of this integro-differential equation. For the asymptotic properties of discrete Volterra equations, see [5].

In this paper, in order to obtain an existence theorem for an almost periodic solution of a discrete Volterra equations with unbounded delay, we will employ to change Hamaya's results in [1] for the integro-differential equation into results for the discrete Volterra equation.

## 2. Preliminaries

We denote by , respectively, the set of real numbers, the set of nonnegative real numbers, and the set of nonpositive real numbers. Let denote -dimensional Euclidean space.

Definition 2.1 (see [6]).

A continuous function is called *almost periodic in* *uniformly for* if for any there corresponds a number such that any interval of length contains a for which

for all and .

Let and let be a function which is defined and continuous for and .

Definition 2.2 (see [9]).

is said to be*almost periodic in* *uniformly for* if for any and any compact set in , there exists an such that any interval of length contains a for which

for all and all .

We denote by , respectively, the set of integers, the set of nonnegative integers, and the set of nonpositive integers.

Definition 2.3 (see [3]).

A continuous function is said to be*almost periodic in* *uniformly for* if for every and every compact set , there corresponds an integer such that among consecutive integers there is one, here denoted , such that

for all , uniformly for .

Definition 2.4 (see [3]).

Let . A set is said to be*compact* if there is a finite integer set and compact set such that .

Definition 2.5.

Let be continuous for , for any . is said to be*almost periodic in* *uniformly for* if for any and any compact set , there exists a number such that any discrete interval of length contains a for which

for all and all .

For the basic results of almost periodic functions, see [6–8].

Let denote the space of all -valued bounded functions on with

for any .

Let for any integer . For any , we define the notation by the relation

for .

Consider the discrete Volterra equation with unbounded delay

where is continuous in for every and is almost periodic in uniformly for , is continuous in for any and is almost periodic in uniformly for . We assume that, given , there is a solution of (2.7) such that for , passing through . Denote by this solution .

Let be any compact subset of such that for all and for all .

For any , we set

where . Then, defines a metric on the space . Note that the induced topology by is the same as the topology of convergence on any finite subset of [3].

In view of almost periodicity, for any sequence with as , there exists a subsequence such that

uniformly on for any compact set ,

uniformly on for any compact set , and are also almost periodic in uniformly for , and almost periodic in uniformly for , respectively. We define the *hull*

Note that and for any , we can assume the almost periodicity of and , respectively [3].

Definition 2.6 (see [3]).

If , then the equation

is called the *limiting equation* of (2.7).

For the compact set in , , we define and by

where

respectively. This definition is a discrete analogue of Hamaya's definition in [1].

## 3. Main Results

Definition 3.1 (see [3]).

A function is called*asymptotically almost periodic* if it is a sum of an almost periodic function and a function defined on which tends to zero as , that is .

It is known [8] that the decomposition in Definition 3.1 is unique, and is asymptotically almost periodic if and only if for any integer sequence with as , there exists a subsequence for which converges uniformly for as .

Hamaya [9] proved that if the bounded solution of the integro-differential equation (1.1) is asymptotically almost periodic, then is almost periodic under the following assumption:

(H) for any and any compact set , there exists such that

whenever is continuous and for all .

Also, Islam [10] showed that asymptotic almost periodicity implies almost periodicity for the bounded solution of the almost periodic integral equation

Throughout this paper, we impose the following assumptions.

(H1) For any and any , there exists an integer such that

whenever for all .

(H2) Equation (2.7) has a bounded solution , that is, for some , passing through , where .

Note that assumption (H1) holds for any . Also, we assume that the compact set in satisfies for all and for all , where is any solution of the limiting equation of (2.12) and (2.7) .

Theorem 3.2.

Under assumptions and , if the bounded solution is asymptotically almost periodic, then (2.7) has an almost periodic solution.

Proof.

Since is asymptotically almost periodic, it has the decomposition

where is almost periodic in and as . Let be a sequence such that as , as , and is also almost periodic. We will prove that is a solution of (2.7) for .

Note that, by almost periodicity,

uniformly on , where is a compact set in , and

uniformly on , where is a compact subset of .

Let . Then, we obtain

This implies that is a solution of

For since

Moreover, for any , there exists a such that for all . Thus

as whenever . Hence,

Now, we show that

as . Note that, for some , and for all and . From (H1), there exists an integer such that

for any . Then, we have

by (3.13).

Since is continuous for and on as , we obtain

It follows from the continuity of that

as . Therefore, is an almost periodic solution of (2.7) for .

Remark 3.3.

Recently Song [4] obtained a more general result than that of Theorem 3.2, that is, under the assumption of asymptotic almost periodicity of a bounded solution of (2.7), he showed the existence of an almost periodic solution of the limiting equation (2.12) of (2.7).

Total stability introduced by Malkin [11] in 1944 requires that the solution of is "stable" not only with respect to the small perturbations of the initial conditions, but also with respect to the perturbations, small in a suitable sense, of the right-hand side of the equation [11]. Many results have been obtained concerning total stability [3, 7, 9, 12–15].

Definition 3.4 (see [1]).

The bounded solution of (1.1) is said to be*totally stable* if for any , there exists a such that if and is any continuous function which satisfies on , then

where is a solution of

such that for all . Here, is defined by for any .

Hamaya [1] defined the following stability notion.

Definition 3.5.

The bounded solution of (1.1) is said to be *stable under disturbances* from with respect to if for any , there exists an such that

whenever , and for some , where is a solution through of the limiting equation

of (1.1) such that for all .

The concept of stability under disturbances from hull was introduced by Sell [16, 17] for the ordinary differential equation. Hamaya proved that Sell's definition is equivalent to Hamaya's definition in [1]. Also, he showed that total stability implies stability under disturbances from hull in [1, Theorem 1]. To prove the discrete analogue for this result, we list definitions.

Definition 3.6 (see [3]).

The bounded solution of (2.7) is said to be*totally stable* if for any there exists a such that if and is a sequence such that for all , then

where is any solution of

such that for all .

Definition 3.7.

The bounded solution of (2.7) is said to be*stable under disturbances* from with respect to if for any , there exists an such that if and for some , then

where is any solution of the limiting equation (2.12) of (2.7), which passes through such that for all .

Theorem 3.8.

Under assumptions and , if the bounded solution of (2.7) is totally stable, then it is stable under disturbances from with respect to .

Proof.

Let be given and let be the number for total stability of . In view of , there exists an such that

whenever for all . Also, since satisfies , we have

whenever for all . We choose such that and set

Let be any solution of the limiting equation (2.12), passing through , such that for all . Note that for all by the assumption on . We suppose that and . We will show that for all .

For every , we set

Then, is a solution of the perturbation

such that for all . We claim that for all . From

we have

Thus

when for . Since

we obtain

and thus

This implies that

where , as long as . Therefore, we have

as long as . Consequently, we obtain that for all . Since is totally stable, we have

This shows that is stable under disturbances from with respect to .

Remark 3.9.

Yoshizawa [15, Lemma 5] proved that the total stability of a bounded solution of the functional differential equation implies the stability under disturbances from hull. For a similar result for the integro-differential equation (1.1), see [1,Theorem 1].

Yoshizawa showed the existence of asymptotically almost periodic solution by stability under disturbances from hull for the nonlinear differential equation and the functional differential equation in [7, Theorem 12.4] and [15, Theorem 5], respectively.

Also, as the discrete case, Zhang and Zheng [18, Theorem 3.2] obtained the similar result for the functional difference equation . For the discrete Volterra equation (2.7), we get the following result.

Theorem 3.

Under assumptions and , if the bounded solution of (2.7) is stable under disturbances from with respect to , then is asymptotically almost periodic.

Proof.

For any sequence with as , let . Then, is a solution of (3.8) passing through where for all , as in the proof of Theorem 3.2. We claim that is stable under disturbances from with respect to for .

Consider the limiting equation

where . Assume that

for some , where is any solution of (3.38). We will show that for all .

Putting , is a solution of

passing through such that for all . If we set , then is a solution of

Since

we have

Since is stable under disturbances from , we obtain

that is,

This shows that is stable under disturbances from with respect to for .

Now, from the almost periodicity, there exists a subsequence of , which we denote by again, such that converges uniformly on and converges uniformly on , where is a compact subset of , as . It follows that for any , there exists a such that implies

for all , where is a positive integer such that

Since

we have

whenever . We can assume that converges uniformly on any compact interval in . Thus, there exists a such that whenever . To show that is asymptotically almost periodic, we will show that

if , where is a solution of

such that for all and . Since

whenever , we have

from the fact that is stable under disturbances from with respect to . Consequently, we obtain

whenever . Therefore, is asymptotically almost periodic.

Finally, in view of Theorems 3.10 and 3.2, we obtain the following.

Corollary 3.11.

Under assumptions and if the bounded solution of (2.7) is stable under disturbances from with respect to , then (2.7) has an almost periodic solution.

Remark 3.12.

Song and Tian obtained the result for the existence of almost periodic solution to (2.7) by showing that if the bounded solution of (2.7) is totally stable, then it is an asymptotically almost periodic solution in [3, Theorem 4.4]. Note that total stability implies stability under disturbances from hull for (2.7) in view of Theorem 3.8.

## References

Hamaya Y: Stability property for an integrodifferential equation.

*Differential and Integral Equations*1993, 6(6):1313-1324.Hamaya Y: Periodic solutions of nonlinear integrodifferential equations.

*Tohoku Mathematical Journal*1989, 41(1):105-116. 2748/tmj/1178227869Song Y, Tian H: Periodic and almost periodic solutions of nonlinear discrete Volterra equations with unbounded delay.

*Journal of Computational and Applied Mathematics*2007, 205(2):859-870. 1016/j.cam.2005.12.042Song Y: Asymptotically almost periodic solutions of nonlinear Volterra difference equations with unbounded delay.

*Journal of Difference Equations and Applications*2008, 14(9):971-986. 1080/10236190801927470Choi SK, Koo NJ: Asymptotic property of linear Volterra difference systems.

*Journal of Mathematical Analysis and Applications*2006, 321(1):260-272. 1016/j.jmaa.2005.08.028Corduneanu C:

*Almost Periodic Functions*. 2nd edition. Chelsea, New York, NY, USA; 1989.Yoshizawa T:

*Stability Theory and the Existence of Periodic Solutions and Almost Periodic Solutions, Applied Mathematical Sciences, vol. 14*. Springer, New York, NY, USA; 1975:vii+233.Zhang C:

*Almost Periodic Type Functions and Ergodicity*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003:xii+355.Hamaya Y: Total stability property in limiting equations of integrodifferential equations.

*Funkcialaj Ekvacioj*1990, 33(2):345-362.Islam MN: Almost periodic solutions of nonlinear integral equations.

*Nonlinear Analysis: Theory, Methods & Applications*1997, 30(2):865-869. 1016/S0362-546X(97)00304-0Malkin I: Stability in the case of constantly acting disturbances.

*Prikladnaya Matematika i Mekhanika*1944, 8: 241-245.Anderson P, Bernfeld SR: Total stability of scalar differential equations determined from their limiting functions.

*Journal of Mathematical Analysis and Applications*2001, 257(2):251-273. 1006/jmaa.2000.6984Hino Y, Murakami S: Total stability and uniform asymptotic stability for linear Volterra equations.

*Journal of the London Mathematical Society*1991, 43(2):305-312. 1112/jlms/s2-43.2.305Liu X, Sivasundaram S: Stability of nonlinear systems under constantly acting perturbations.

*International Journal of Mathematics and Mathematical Sciences*1995, 18(2):273-278. 1155/S0161171295000330Yoshizawa T: Asymptotically almost periodic solutions of an almost periodic system.

*Funkcialaj Ekvacioj*1969, 12: 23-40.Sell GR: Nonautonomous differential equations and topological dynamics. I. The basic theory.

*Transactions of the American Mathematical Society*1967, 127: 241-262.Sell GR: Nonautonomous differential equations and topological dynamics. II. Limiting equations.

*Transactions of the American Mathematical Society*1967, 127: 263-283. 1090/S0002-9947-1967-0212314-4Zhang S, Zheng G: Almost periodic solutions of delay difference systems.

*Applied Mathematics and Computation*2002, 131(2-3):497-516. 1016/S0096-3003(01)00165-5

## Acknowledgments

The authors would like to thank the referees for their helpful comments and suggestions which led to an important improvement of original manuscript. This work was supported by the Second Stage of Brain Korea 21 Project in 2008.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Choi, S.K., Koo, N. Almost Periodic Solutions of Nonlinear Discrete Volterra Equations with Unbounded Delay.
*Adv Differ Equ* **2008**, 692713 (2008). https://doi.org/10.1155/2008/692713

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2008/692713

### Keywords

- Periodic Solution
- Nonlinear Differential Equation
- Functional Differential Equation
- Finite Subset
- Bounded Solution