ALMOST PERIODIC SOLUTIONS OF NON-AUTONOMOUS BEVERTON-HOLT DIFFERENCE EQUATION. 1. Introduction

Similar documents
Global stability of periodic orbits of nonautonomous difference equations in population biology and the Cushing-Henson conjectures

RECURRENT MOTIONS IN THE NONAUTONOMOUS NAVIER-STOKES SYSTEM. (Communicated by P. E. Kloeden)

Nonautonomous Beverton-Holt Equations and the Cushing-Henson Conjectures

SYNCHRONIZATION OF NONAUTONOMOUS DYNAMICAL SYSTEMS

On the dynamics of strongly tridiagonal competitive-cooperative system

Periodic difference equations, population biology and the Cushing-Henson conjectures

ALMOST PERIODIC SOLUTIONS OF NONLINEAR DISCRETE VOLTERRA EQUATIONS WITH UNBOUNDED DELAY. 1. Almost periodic sequences and difference equations

Periodic difference equations, population biology and the Cushing-Henson conjectures

On (h, k) trichotomy for skew-evolution semiflows in Banach spaces

Nonautonomous difference equations: Open problems and conjectures

THE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS

REVERSALS ON SFT S. 1. Introduction and preliminaries

PCA sets and convexity

Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts

SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

STRONG CONVERGENCE OF AN IMPLICIT ITERATION PROCESS FOR ASYMPTOTICALLY NONEXPANSIVE IN THE INTERMEDIATE SENSE MAPPINGS IN BANACH SPACES

HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM

THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS

DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS

The small ball property in Banach spaces (quantitative results)

Applied Mathematics Letters

ON CONTINUITY OF MEASURABLE COCYCLES

SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Problem Set 5: Solutions Math 201A: Fall 2016

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

DISCRETE METHODS AND EXPONENTIAL DICHOTOMY OF SEMIGROUPS. 1. Introduction

MAPPINGS BETWEEN INVERSE LIMITS OF CONTINUA WITH MULTIVALUED BONDING FUNCTIONS

EVANESCENT SOLUTIONS FOR LINEAR ORDINARY DIFFERENTIAL EQUATIONS

LYAPUNOV FUNCTIONS IN HAUSDORFF DIMENSION ESTIMATES OF COCYCLE ATTRACTORS

Course 212: Academic Year Section 1: Metric Spaces

On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3)

SOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES

On Kusuoka Representation of Law Invariant Risk Measures

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

A LEFSCHETZ FIXED POINT THEOREM FOR ADMISSIBLE MAPS IN FRÉCHET SPACES

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

Locally Lipschitzian Guiding Function Method for ODEs.

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT

On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings

On the Existence of Almost Periodic Solutions of a Nonlinear Volterra Difference Equation

On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)

SOME REMARKS ON KRASNOSELSKII S FIXED POINT THEOREM

Research Article Almost Periodic Solutions of Prey-Predator Discrete Models with Delay

Existence of Solutions to Split Variational Inequality Problems and Split Minimization Problems in Banach Spaces

The Conley index over a phase space for flows

AW -Convergence and Well-Posedness of Non Convex Functions

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

Chapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations

16 1 Basic Facts from Functional Analysis and Banach Lattices

ON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS. Hyungsoo Song

CONTRACTIBILITY OF THE MAXIMAL IDEAL SPACE OF ALGEBRAS OF MEASURES IN A HALF-SPACE. CDAM Research Report LSE-CDAM

TOPOLOGICAL ENTROPY FOR DIFFERENTIABLE MAPS OF INTERVALS

Problem Set 6: Solutions Math 201A: Fall a n x n,

COARSE STRUCTURES ON GROUPS. 1. Introduction

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

Local strong convexity and local Lipschitz continuity of the gradient of convex functions

arxiv:math/ v1 [math.fa] 26 Oct 1993

PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS

Generalized function algebras as sequence space algebras

Dynamics of nonautonomous tridiagonal. competitive-cooperative systems of differential equations

Biholomorphic functions on dual of Banach Space

FIXED POINT THEOREMS OF KRASNOSELSKII TYPE IN A SPACE OF CONTINUOUS FUNCTIONS

A fixed point theorem for weakly Zamfirescu mappings

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces

Spectral theory for compact operators on Banach spaces

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES

Geometry and topology of continuous best and near best approximations

MA651 Topology. Lecture 9. Compactness 2.

CHAOTIC UNIMODAL AND BIMODAL MAPS

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

Banach Spaces V: A Closer Look at the w- and the w -Topologies

BEST PROXIMITY POINT RESULTS VIA SIMULATION FUNCTIONS IN METRIC-LIKE SPACES

Tools from Lebesgue integration

Continuous functions with compact support

Li- Yorke Chaos in Product Dynamical Systems

Goebel and Kirk fixed point theorem for multivalued asymptotically nonexpansive mappings

THE HUTCHINSON BARNSLEY THEORY FOR INFINITE ITERATED FUNCTION SYSTEMS

CONVERGENCE OF HYBRID FIXED POINT FOR A PAIR OF NONLINEAR MAPPINGS IN BANACH SPACES

A NOTE ON ALMOST PERIODIC VARIATIONAL EQUATIONS

On the periodic logistic equation

THE PERRON PROBLEM FOR C-SEMIGROUPS

On the global dynamics of periodic triangular maps

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Strong Convergence Theorems for Nonself I-Asymptotically Quasi-Nonexpansive Mappings 1

ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES

On the simplest expression of the perturbed Moore Penrose metric generalized inverse

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

HOMEOMORPHISMS OF BOUNDED VARIATION

Continuity of convolution and SIN groups

ON LEFT-INVARIANT BOREL MEASURES ON THE

Functional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su

Topologic Conjugation and Asymptotic Stability in Impulsive Semidynamical Systems

Czechoslovak Mathematical Journal

Generalized vector equilibrium problems on Hadamard manifolds

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

Folding, Cycles and Chaos in Planar Systems

Discontinuous order preserving circle maps versus circle homeomorphisms

Transcription:

ALMOST PERIODIC SOLUTIONS OF NON-AUTONOMOUS BEVERTON-HOLT DIFFERENCE EQUATION DAVID CHEBAN AND CRISTIANA MAMMANA Abstract. The article is devoted to the study of almost periodic solutions of difference Beverton-Holt equation. We prove that such equation admits an invariant continuous section (an invariant manifold). Then, we obtain the conditions for the existence of an almost periodic solution. We study this problem in the framework of non-autonomous dynamical systems (cocycles). The main tool in the study of almost periodic solutions in our work are the continuous invariant sections (selectors) of cocyle. 1. Introduction In the qualitative theory of differential and difference equations non-local problems play the important role. It refers to questions of boundedness, periodicity, almost periodicity, asymptotic behaviour, dissipativity etc. The present work belongs to this direction and is dedicated to the study of almost periodic solutions of non-autonomous Beverton-Holt difference equations. Almost periodic solutions of difference equations arise in numerouse theories, from Dynamical Systems [4, 10], Dynamical Economics [8], Chaos [1], Physics [14] and their references. Below we will give a new approach concerning the study of almost periodic difference equations. We study the problem of almost periodicity in the framework of nonautonomous dynamical systems (cocyles) with discrete time. The main tool in the study of almost periodic solutions in our work are the continuous invariant sections (selectors) of cocyle. This paper is organized as follows. In Section 2 we give some notions and facts from the theory of non-autonomous dynamical systems (cocycles). In particularly, we present the important for our work notion of continuous section of non-autonomous dynamical systems. Section 3 is dedicated to notion of almost periodic motion of dynamical systems. This section contains a very important construction (see example 3.8) of nonautonomous dynamical system generated by non-autonomous difference equation. Date: August 14, 2005. 1991 Mathematics Subject Classification. primary:34c35, 34D20, 34D40, 34D45, 58F10, 58F12, 58F39; secondary: 35B35, 35B40. Key words and phrases. Non-autonomous dynamical systems with discrete time, skew product flow, almost periodic solutions, Beverton-Holt difference equation.

2 DAVID CHEBAN AND CRISTIANA MAMMANA In section 4 we present the main result of our paper (Theorem 4.7) whiche give the sufficient conditions of existence at least one almost periodic solution of nonautonomous Beverton-Holt difference equation. 2. Continuous Invariant Sections of Non-Autonomous Dynamical Systems Let S be a group of real (R) or integer (Z) numbers, T (S + T) be a semigroup of the additive group S. Definition 2.1. Let (X, h, Y ) be a bundle fiber [3, 9]. The mapping γ : Y X is called a section (selector) of the bundle fiber (X, h, Y ), if h(γ(y)) = y for all y Y. Remark 2.2. Let X := W Y. Then γ : Y X is a section of the bundle fiber (X, h, Y ) (h := pr 2 : X Y ), if and only if γ = (ψ, Id Y ) where ψ : W W. Definition 2.3. Let (X, T 1, π) and (Y, T 2, σ) (S + T 1 T 2 S) be two dynamical systems. The mapping h : X Y is called a homomorphism (respectively isomorphism) of the dynamical system (X, T 1, π) on (Y, T 2, σ), if the mapping h is continuous (respectively homeomorphic) and h(π(x, t)) = σ(h(x), t) ( t T 1, x X). Definition 2.4. A triplet (X, T 1, π), (Y, T 2, σ), h, where h is a homomorphism of (X, T 1, π) on (Y, T 2, σ) and (X, h, Y ) is a bundle fiber [3, 9], is called a nonautonomous dynamical system. Let W, Y be two metric spaces and (Y, T 2, σ) be a semi-group dynamical system on Y. Definition 2.5. Recall [13] that a triplet W, ϕ, (Y, T 2, σ) (or briefly ϕ) is called a cocycle over (Y, T 2, σ) with the fiber W, if ϕ is a mapping from T 1 W Y to W satisfying the following conditions: 1. ϕ(0, x, y) = x for all (x, y) W Y ; 2. ϕ(t + τ, x, y) = ϕ(t, ϕ(τ, x, y), σ(τ, y)) for all t, τ T 1 and (x, y) W Y ; 3. the mapping ϕ is continuous. Let X := W Y, and define the mapping π : X T 1 X by the equality: π((u, y), t) := (ϕ(t, u, y), σ(t, y)) (i.e. π = (ϕ, σ)). Then it is easy to check that (X, T 1, π) is a dynamical system on X, which is called a skew-product dynamical system [2], [13]; but h = pr 2 : X Y is a homomorphism of (X, T 1, π) onto (Y, T 2, σ) and hence (X, T 1, π), (Y, T 2, σ), h is a non-autonomous dynamical system. Thus, if we have a cocycle W, ϕ, (Y, T 2, σ) over the dynamical system (Y, T 2, σ) with the fiber W, then there can be constructed a non-autonomous dynamical system (X, T 1, π), (Y, T 2, σ), h (X := W Y ), which we will call a non-autonomous dynamical system generated (associated) by the cocycle W, ϕ, (Y, T 2, σ) over (Y, T 2, σ). Example 2.6. Consider the equation (1) x n+1 = f(σ(n, y), x n ) (y Y ),

ALMOST PERIODIC SOLUTIONS OF... DIFFERENCE EQUATIONS 3 where (Y, T 2, σ) (T 2 Z) is a dynamical system on Y and f : Y W W is a continuous mapping. Denote by ϕ(n, u, y) the solution of equation (1) with initial condition ϕ(0, u, y) = u. From the general properties of difference equations it follows that: (i) ϕ(0, u, y) = u for all u W and y Y ; (ii) ϕ(n+m, x, y) = ϕ(n, ϕ(m, x, y), σ(m, y)) for all n, m T 1 Z and (x, y) W Y ; (iii) the mapping ϕ is continuous. Thus every equation (1) generate a cocycle W, ϕ, (Y, T 2, σ) over (Y, T 2, σ) with fiber W. Definition 2.7. A mapping γ : Y X is called an invariant section of the non-autonomous dynamical system (X, T 1, π), (Y, T 2, σ), h, if it is a section of the bundle fiber (X, h, Y ) and γ(y ) is an invariant subset of the dynamical system (X, T 2, π) (or, equivalently, {π t γ(q) : q (σ t ) 1 (σ t y)} = γ(σ t y) for all t T 2 nd y Y, where π t := π(t, )). Theorem 2.8. [5, Ch.2,p.83] Let (X, T 1, π), (Y, T 2, σ), h be a non-autonomous dynamical system and the following conditions be fulfilled: (i) the space Y is compact; (ii) T 2 = Z or R; (iii) the non-autonomous dynamical system (X, T 1, π), (Y, T 2, σ), h is contracting in the extended sense, i.e. there exist positive numbers N and ν such that (2) ρ(π(t, x 1 ), π(t, x 2 )) Ne νt ρ(x 1, x 2 ) Then for all x 1, x 2 X (h(x 1 ) = h(x 2 )) and t T 1 ; (iv) Γ(Y, X) = {γ γ : Y X is a continuous mapping and h(γ(y)) = y for all y Y }. (i) there exists a unique invariant section γ Γ(Y, X) of the non-autonomous dynamical system (X, T 1, π), (Y, T 2, σ), h ; (ii) the following inequality holds (3) ρ(π(t, x), π(t, γ(h(x)))) Ne νt ρ(x, γ(h(x))) for all x X and t T. 3. Almost periodic motions of dynamical systems Let (X, Z +, π) be a dynamical system. Definition 3.1. A number m Z + is called an ε-almost period of the point x X, if ρ(π(m + n, x), π(n, x)) < ε for all n Z +.

4 DAVID CHEBAN AND CRISTIANA MAMMANA Definition 3.2. The point x is called almost periodic, if for any ε > 0 there exists a positive number l Z + such that on every segment (in Z + ) of length l there may be found an ε-almost period of the point x. Denote M x = {{t n } Z + {π(t n, x)} is convergent}. Theorem 3.3. ([11], [12]) Let (X, Z +, π) and (Y, Z +, σ) be two dynamical systems. Assume that h : X Y is a homomorphism of (X, Z +, π) onto (Y, Z +, σ). If a point x X is almost periodic, then the point y := h(x) is also almost periodic and M x M y. Definition 3.4. A solution ϕ(n, u, y) of equation (1) is said to be almost periodic, if the point x := (u, y) X := E Y is an almost periodic point of the skew-product dynamical system (X, Z +, π), where π := (ϕ, σ), i.e. π(n, (u, y)) := (ϕ(n, u, y), σ(n, y)) for all n Z + and (u, y) E Y. Let E be a Banach space with the norm. Lemma 3.5. Suppose that u C(Y, E) satisfies the condition (4) u(σ(n, y)) = ϕ(n, u(y), y) for all n Z + and y Y. Then the map h : Y X, defined by (5) h(y) := (u(y), y) for all y Y, is a homomorphism of (Y, Z +, σ) onto (X, Z +, π), where X := E Y and π := (ϕ, σ). Proof. This assertion follows from equalities (4) and (5) Remark 3.6. A function u C(Y, E) with property (4) is called a continuous invariant section (or an integral manifold) of non-autonomous difference equation (1). Theorem 3.7. If a function u C(Y, E) satisfies condition (4) and a point y Y is almost periodic, then the solution ϕ(n, u(y), y) of equation (1) also is almost periodic. Proof. This statement follows from Theorem 3.3 and Lemma 3.5. Example 3.8. Consider the equation (6) u n+1 = f(n, u n ) where f C(Z + E, E); here C(Z + E, E) is the space of all continuous functions Z + E E) equipped with metric defined by equality d(f 1, f 2 ) := + 1 1 d n (f 1, d 2 ) 2 n 1 + d n (f 1, d 2 ), where d n (f 1, d 2 ) := max{ρ(f 1 (k, u), f 2 (k, u)) k [0, n], u n}, there is defined a distance on C(Z + E, E) which generates the topology of pointwise convergence with respect to n Z + uniformly with respect to u on every bounded subset from E.

ALMOST PERIODIC SOLUTIONS OF... DIFFERENCE EQUATIONS 5 Along with equation (6), we will consider the H-class of equation (6) (7) v n+1 = g(n, v n ) (g H(f)), where H(f) = {f m m Z + } and the over bar denotes the closure in C(Z + E, E), and f m (n, u) = f(n + m, u) for all n Z + and u E. Denote by (C(Z + E, E), Z +, σ) the dynamical system of translations. Here σ(m, g) := g m for all m Z + and g C(Z + E, E). Let Y be the hull H(f) of a given function f C(Z + E, E) and denote the restriction of (C(Z + E, E), R, σ) on Y by (Y, Z +, σ). Let F : E Y E be a continuous map defined by F (u, g) = g(0, u) for g Y and u E. Then equation (7) can be rewritten in this form: where y := g and σ(n, y) := g n. u n+1 = F (σ(n, y), u n ) Definition 3.9. The function f C(Z + E, E) is said to be almost periodic if f C(Z + E, E) is a almost periodic point of the dynamical system of translations (C(Z + E, E), Z +, σ). If the function f C(Z + E, E) is almost periodic, then the set Y := H(f) is the compact minimal set of the dynamical system (C(Z + E, E), Z +, σ) consisting of almost periodic functions. 4. Almost periodic solutions of Beverton-Holt equation The periodic Beverton-Holt equation µk n x n (8) x n+1 = K n + (µ 1)x n (K n+k = K n ) has been studied by Jim Cushing and Shandelle Henson [6] and Saber Elaydi and Robert J. Sacker [7]. Below we will suppose that the following conditions hold: (C1) the squence {K n } n Z is almost periodic; (C2) α < β are two positive constants such that α K n β for all n Z; (C3) µ > ( β α )2. Denote by ϕ(n, u, f) the solution of equation (9) x n+1 = f(n, x n ) with initial condition ϕ(0, u, f) = u. Lemma 4.1. Let f i : Z + R + R + (i = 1, 2). Suppose that the following conditions hold: (i) u 1, u 2 R + and u 1 u 2 (respectively, u 1 < u 2 ); (ii) f 1 (n, x) f 2 (n, x) (respectively, f 1 (n, x) < f 2 (n, x)) for all n Z + and x R + ; (iii) the function f 2 is monotone non-decreasing (respectively, strictly monotone increasing) with respect to variable x R +.

6 DAVID CHEBAN AND CRISTIANA MAMMANA Then ϕ(n, u 1, f 1 ) ϕ(n, u 2, f 2 ) (respectively, ϕ(n, u 1, f 1 ) < ϕ(n, u 2, f 2 )) for all n Z +. Proof. Let u 1 u 2 (respectively, u 1 < u 2 ), then we have ϕ(1, u 1, f 1 ) = f 1 (0, u 1 ) f 2 (0, u 1 ) f 2 (0, u 2 ) = ϕ(1, u 2, f 2 ). (respectively, ϕ(1, u 1, f 1 ) = f 1 (0, u 1 ) < f 2 (0, u 1 ) < f 2 (0, u 2 ) = ϕ(1, u 2, f 2 )). Suppose that ϕ(k, u 1, f 1 ) ϕ(k, u 2, f 2 ) (respectively, ϕ(k, u 1, f 1 ) < ϕ(k, u 2, f 2 )) for all k n, then we obtain ϕ(n + 1, u 1, f 1 ) = f 1 (n, ϕ(n, u 1, f 1 )) f 2 (n, ϕ(n, u 1, f 1 )) f 2 (n, ϕ(n, u 2, f 2 )) = ϕ(n + 1, u 2, f 2 ) (respectively, ϕ(n + 1, u 1, f 1 ) = f 1 (n, ϕ(n, u 1, f 1 )) < f 2 (n, ϕ(n, u 1, f 1 )) < f 2 (n, ϕ(n, u 2, f 2 )) = ϕ(n + 1, u 2, f 2 )). Lemma 4.2. Let f(n, x) := following statements hold: µk nx K n+(µ 1)x for all n Z + and x R +. Then the (i) f(n, x) 0 for all n Z + and x R + ; (ii) f x(n, µk x) = 2 n (K n+(µ 1)x) > 0 for all n Z 2 + and x R + ; (iii) f x 2 (n, x) = 2µ(µ 1)K2 n (K n+(µ 1)x) 3 < 0 for all n Z + and x R +. Proof. This statement is straightforward. Lemma 4.3. Let f(n, x) := following statements hold: µk nx K n+(µ 1)x for all n Z + and x R +. Then the (i) f(n, x) x = (µ 1)x(Kn x) K n+(µ 1)x for all n Z + and x R + ; (ii) f(n, K n ) = K n for all n Z; (iii) f(n, x) µ µ 1 K µk n = 2 n (K < 0 for all n Z n+(µ 1)x)(µ 1) + and x R +. (iv) (a) ϕ(n, u, f) u for all u β; (b) ϕ(n, u, f) u for all u α. Proof. The first three statements are obvious. Let u β (respectively, u α), then µk 1 u ϕ(1, u, f) u = K 1 + (µ 1)u u = (µ 1)u(K 1 u) K 1 + (µ 1)u 0 (respectively, ϕ(1, u, f) u 0). Suppose that ϕ(k, u, f) u (respectively, ϕ(k, u, f) u) for all k n, then we obtain ϕ(n+1, u, f) = ϕ(1, ϕ(n, u, f), σ(n, f)) (σ(n, f)(k, x) := f(k + n, x) for all k Z and x R + ). By Lemma 4.1 we have ϕ(1, ϕ(n, u, f), σ(n, f)) ϕ(1, u, σ(n, f)) (respectively, ϕ(1, ϕ(n, u, f), σ(n, f)) ϕ(1, u, σ(n, f))) because σ(n, f) x(m, x) = f x(n + m, x) 0 for all n.m Z and x R +. for all k Z and x R + Since then ϕ(1, u, σ(n, f)) = µk n+1 u K n+1 + (µ 1)u, ϕ(1, u, σ(n, f)) u = (µ 1)u(K n+1 u) K n+1 + (µ 1)u 0

ALMOST PERIODIC SOLUTIONS OF... DIFFERENCE EQUATIONS 7 because K n+1 β (respectively, ϕ(1, u, σ(n, f) u 0 because K n+1 α). Thus ϕ(n + 1, u, f) = ϕ(1, ϕ(n, u, f), σ(n, f)) u (respectively, ϕ(n + 1, u, f) = ϕ(1, ϕ(n, u, f), σ(n, f)) u). Corollary 4.4. Let f(n, x) := (i) µknx K n+(µ 1)x for all n Z + and x R +, then (10) lim sup ϕ(n, u, f) µ n + µ 1 β for all u R + ; (ii) α h ϕ(n, u, f) β + h for all n Z + and u [α h, β + h], where 0 < h < β α 2. Proof. By Lemma 4.3 we have ϕ(n+1, u, f) µ µ 1 K n = f(n, ϕ(n, u, f)) µ µ 1 K µkn 2 n = (K n + (µ 1)x)(µ 1) < 0 for all n Z + and, consequently, µ lim sup ϕ(n, u, f) lim sup n + n + µ 1 K n µ µ 1 β. The second statement of Corollary follows directly from Lemma 4.3. µk Lemma 4.5. Let f(n, x) := nx K for all n Z n+(µ 1)x + and x R + and 0 < h < min{ µ β α µ 1 2, µ µ 1 α µ1/2 µ 1 β}, then (11) f x(n, x) k(h) := for all x [α h, β + h]. µβ 2 (µα h(µ 1)) 2 < 1 Proof. If 0 < h < min{ µ β α µ 1 2, µ µ 1α} then 1 (K n + (µ 1)x) 2 1 (µα h(µ 1)) 2 for all x [α h, β + h] because α K n β ( n Z). Thus we have f x(n, x) = µkn 2 (K n + (µ 1)x) 2 µβ 2 := k(h). (µα h(µ 1)) 2 Since k(0) = β2 µα < 1, then 0 < k(h) < 1 for sufficiently small positive h. It easy 2 to check that k(h) = 1 iff h 1,2 = µ µ 1 α ± µ1/2 µ 1 β and k(h) > 1 for all h (h 1, h 2 ). Consequently 0 < k(h) < 1 for all 0 < h < min{ µ µ 1 β α 2, µ µ 1 α µ1/2 µ 1 β}. Corollary 4.6. Let f(n, x) := µknx K for all n Z n+(µ 1)x + and x R + and 0 < h < min{ µ β α µ 1 2, µ µ 1 α µ1/2 µ 1 β}, then (12) ϕ(n, u 1, f) ϕ(n, u 2, f) k(h) n u 1 u 2 for all u 1, u 2 [α h, β + h] and n Z +.

8 DAVID CHEBAN AND CRISTIANA MAMMANA Proof. According to Lagrange s formula we have (13) ϕ(n + 1, u 1, f) ϕ(n + 1, u 2, f) = f(n, ϕ(n, u 1, f)) f(n, ϕ(n, u 2, f)) = f x(n, ϕ(n, u 1, f) + θ n (ϕ(n, u 2, f) ϕ(n, u 1, f)))(ϕ(n, u 1, f) ϕ(n, u 2, f)), where θ n (0, 1) for all n Z +. If u 1, u 2 [α h, β + h], then by Corollary 4.4 we have ϕ(n, u i, f) [α h, β + h] ( n Z + and i = 1, 2) and, consequently, ϕ(n, u 1, f) + θ n (ϕ(n, u 2, f) ϕ(n, u 1, f)) [α h, β + h] for all n Z +. Thus (14) f x(n, ϕ(n, u 1, f) + θ n (ϕ(n, u 2, f) ϕ(n, u 1, f))) k(h) for all n Z +. From the relations (13)-(14) we obtain ϕ(n + 1, u 1, f) ϕ(n + 1, u 2, f) k(h) ϕ(n, u 1, f) ϕ(n, u 2, f) ( n Z + ) and, consequently, ϕ(n, u 1, f) ϕ(n, u 2, f) k(h) n u 1 u 2 for all u 1, u 2 [α h, β + h] and n Z +. Denote by C(Z, R + ) the space of all numerical sequences M = {M n } n Z equipped with the distance d(m 1, M 2 1 d k (M 1, M 2 ) ) := 2 k 1 + d k (M 1, M 2 ), k=1 where M i := {Mn} i n Z (i = 1, 2) and d k (M 1, M 2 ) := max{ Mn 1 Mn 2 : n [ k, k]}. Let (C(Z, R), Z, σ) by the dynamical system of translations on C(Z, R) (i.e. σ(n, M)(k) := M n+k for all k Z) and H(M) := {σ(n, M) : n Z}, where by bar we denote the closure in C(Z, R). This means that M H(M) iff there exists a sequence {m k } Z such that M n = lim M n+m k for every n Z. k + µk Theorem 4.7. Let f(n, x) := nx K for all n Z, x R n+(µ 1)x +, 0 < h < min{ µ β α µ 1 2, µ µ1/2 µ 1α µ 1 β} and the conditions (C1)-(C3) hold. Then the equation (8) admits at least one almost periodic solution ϕ(n, u 0, f). Proof. Let f(n, x) := µk nx K n+(µ 1)x ( n Z and x R +) and Y := H(f), where H(f) := {σ(n, f) : n Z} and by bar we denote the closure in C(Z R +, R + ). It easy to see that g H(f) iff there exists a sequence K H(K) ( K := { K n } n Z ) such that g(n, x) := µ K nx K for all n Z and x R n+(µ 1)x +. Consider the equation (15) x n+1 = f(n, x n ) and denote by (R +, ϕ, (H(f), Z, σ)) the cocycle generated by equation (15) (see Examples 2.6 and 3.8). Let (X, Z +, π), (Y, Z, σ), h be the non-autonomous dynamical system generated by cocycle ϕ (i.e. Y := H(f), (Y, Z, σ) is the shift dynamical system on Y, X := R + Y, π := (ϕ, σ) and h := pr 2 : X Y ). Note that the set X := [α h, β + h] Y X by Corollary 4.4 is invariant with respect to dynamical system (X, Z +, π). Thus we can consider the non-autonomous subsystem (X, Z +, π), (Y, Z, σ), h of system (X, Z +, π), (Y, Z, σ), h. According to Corollary 4.6 the non-autonomous dynamical system (X, Z +, π), (Y, Z, σ), h is contracting because ρ(π(n, x 1 ), π(n, x 2 )) k(h) n ρ(x 1, x 2 ) for all x 1, x 2 X (h(x 1 ) = h(x 2 )).

ALMOST PERIODIC SOLUTIONS OF... DIFFERENCE EQUATIONS 9 By Theorems 2.8 and 3.7 there exists a continuous function u : H(f) [α h, β+h] such that u(σ(n, g)) = ϕ(n, u(g), g) for all g H(f) and n Z + and the solution ϕ(n, u(f), f) of equation (15) is almost periodic. References [1] Allais M., Probabilites, frequences et hasard. J. Soc. Stat., Paris, t. 124, No. 2, 1983, pp.70-221. [2] Alekseev V. M., Symbolic Dynamics. Naukova Dumka, Kiev, 1986. The 11th Mathematical School. [3] Bourbaki N., Variétés Différentielles et Analitiques (Fascicule de résultats). Herman, Paris, 1971. [4] Broer H. W., Huitema G. B. and Sevryuk M. B., Quasi-Periodic Motions in Families of Dynamical Systems. Lect. Notes in Math. No. 1645, Springer-Verlag, Berlin, 1996. [5] Cheban D. N., Global Attractors of Nonautonomous Dissipstive Dynamical Systems. World Scientific, 2004. [6] Cushing J and Henson S., A Periodically Forced Beverton-Holt Equation. J. Difference Eq. and Appl., 8:1119-1120, 2002. [7] Elaydi S. and Sacker R., Global Stability of Periodic Orbits of Non-Autonomous Difference Equations and Population Biology. Journal of Differential Equations, to appear. [8] Hommes C. H., Periodic, Almost Periodic and Chaotic Behaviour in Hick s Non-Linear Trade Cycle Model. Econom. Lett., 41(1993), pp.391-397. [9] Husemoller D., Fibre Bundles. Springer Verlag New York Heidelberg Berlin 1994. [10] Pennequin D., Existence of Almost Periodic Solutions of Discrete Time Equations. Discrete and Continuous Dynamical Systems, Vol. 7, No. 1, 2001, pp.51-60. [11] Shcherbakov B. A., Topological Dynamics and Poisson s Stability of Solutions of Differential Equations. Kishinev, Shtiintsa, 1972. (in Russian) [12] Shcherbakov B. A., Poisson s Stability of Motions of Dynamical Systems and Solutions of Differential Equations. Kishinev, Shtiintsa, 1985. (in Russian) [13] Sell G. R., Topological Dynamics and Ordinary Differential Equations. Van Nostrand- Reinhold, London, 1971. [14] Zaslavski A. J., Exitence and Structure of Optimal Solutions of Variational Problems. Recent Developments in Optimization and Nonlinear Analysis, Contemporary mathematics, Vol. 204, Am. Math. Soc., Providence, Rhode Island, (1997), pp.247-278. (D. Cheban) State University of Moldova, Department of Mathematics and Informatics, A. Mateevich Street 60, MD 2009 Chişinău, Moldova E-mail address, D. Cheban: cheban@usm.md (C. Mammana) Institute of Economics and Finances, University of Macerata, str. Crescimbeni 20, I 62100 Macerata, Italy E-mail address, C. Mammana: cmamman@tin.it