SciELO - Scientific Electronic Library Online

 
vol.82 issue2The effect of stress on sleep quality in teenagers, the analysis of metal contamination due to heaps of steel-slag accumulation in southern Madrid (Spain), and a review of the mechanisms of glutamine action during severe illnessesInfluence of accumulation of heaps of steel slag on the environment: determination of heavy metals content in the soils author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

Share


Anais da Academia Brasileira de Ciências

Print version ISSN 0001-3765

An. Acad. Bras. Ciênc. vol.82 no.2 Rio de Janeiro June 2010

http://dx.doi.org/10.1590/S0001-37652010000200002 

MATHEMATICAL SCIENCES

 

On persistently positively expansive maps

 

 

Alexander Arbieto

Instituto de Matemática, Universidade Federal do Rio de Janeiro, Caixa Postal 68530, 21945-970 Rio de Janeiro, RJ, Brasil

 

 


ABSTRACT

In this paper, we prove that any C1-persistently positively expansive map is expanding. This improves a result due to Sakai (Sakai 2004).

Key words: positively expansive maps, expanding maps.


RESUMO

Neste artigo, mostramos que todo mapa C1-persistentemente positivamente expansivo e expansor. Isto melhora um resultado devido a Sakai (Sakai 2004).

Palavras-chave: mapas positivamente expansivos, mapas expansores.


 

 

INTRODUCTION

Let M be a compact Riemannian manifold. We say that a continuous map f : M M is c-positively expansive for some c > 0 if, for any x y, there exists n > 0, such that d(fn (x), fn (y)) > c. These maps were studied by many authors, see for instance (Coven and Reddy 1980), (Ruelle 1978), (Sakai 1985) and (Sakai 2003). An important class of positively expansive maps are the expanding ones defined as follows: we say that a map is expanding if there are constants C > 0 and σ > 1, such that || Dfn (x)v|| > Cσn ||υ|| for every x M.

DEFINITION 1.1. We say that a C1 map f : M M is C1-persistently positively expansive map if there exists a C1 -neighborhood U, such that for any g U, there exists c(g) > 0, such that g is c(g)-positively expansive.

In this note, we shall prove the following result:

Theorem 1.2. Let M be a compact manifold. Any C1-persistently positively expansive map f: M M is expanding.

The same type of result appears in (Sakai 2004). However, Sakai assumes that the separation property in the definition of positive expansivity holds for any composition of maps in the neighborhood U, and, in his paper, c(g) is also a constant in the neighborhood. Since we are not assuming these hypotheses, our result is slightly stronger. Also, our arguments rely on a theorem by Cao (Cao 2003), which simplifies the proof. In what follows, we recall the results of Sakai (Sakai 2004).

In Sakai's paper, the following definition is introduced: a map f is a C1-stably positively expansive map with constants v > 0 and c > 0 if, for any sequence, C1(M), with dC1 (f, gi) < v for all i and for any sequences such that xi = gi 0...0 g1(x0), yi = gi 0...0 g1 (y0) and d(xi, yi) < c; for all i > 0, we have that x0 = y0. Then, he proves that any C1-stably positively expansive map is expanding.

 

PROOF OF THE THEOREM

First, we recall a lemma due to Franks (Franks 1971):

LEMMA 2.1. Let f be a C1 map and U a C1 -neighborhood of f. Then, there exists a neighborhood U0 C U of f and a δ > 0 such that, if g U0 (f), S = [ p1, ..., pm} M is a finite set, and {Li : TPiM Tg(pt )M }mi= 1 are linear maps satisfying || Li — Dg( pi) || < δ for i = 1, .. .m; then, there exists h U0(f) satisfying h( pi) = g( pi) and D h (pi) = Li .Moreover, ifU is a neighborhood of S, then, h can be taken such that h(x) = g(x) for every x S U (M — U), and locally

where exp is the exponential map of the Riemannian manifold M, and ε is sufficiently small.

Now we fix f a C1-persistently positively expansive map.

The following corollary is an adaptation of an argument of (Sakai 2004):

COROLLARY 2.2. Let U be the neighborhood of f in the definition of C1 -persistently positively expansive map. For any g U, and p as a periodic point for gw ith period n, if λ is an eigenvalue of Dg" (p), then |λ| > 1.

PROOF. If not, there exists g with p as a periodic point with a contracting eigenvalue, i.e., an eigenvalue λ with |λ| < 1. Using Franks' lemma, we can find h U, such that:

where ε is small. Now, since we linearized near the periodic orbit, we obtain two distinct, but close enough, orbits z and w inside the stable local manifold of this linear map, such that d (hn (x), hn (y)) < c(h) for n >0, which is a contradiction. □

The same argument shows that any g U is a local diffeomorphism. Since there exists p M and a zero eigenvalue of Dg(p), by Franks' lemma, we make a perturbation h with a set of points S (in the direction of the eigenvalue) such that, for every z S, we have h (z) = h(p), and this contradicts the positive expansivity of h.

A δ-pseudo orbit {xi} for f is a sequence of points in M such that, for every i, we have d (f (xi), xi+1) < δ. We say that f has the shadowing property if, for every ε > 0, there exists δ > 0 such that, for any δ-pseudo orbit for f, there exists y M, such that d(f (y), xi) < ε for all i > 0. We say that y is a shadow for the pseudo-orbit.

Since f is a local diffeomorphism, in particular it is open. Now, (Ruelle 1978) and (Sakai 2003) show that any positively expansive map that is open has the shadowing property. Also, since the map is positively expansive, the shadow is unique. In particular, if the pseudo-orbit is periodic, the shadow is a periodic point.

We recall that, for any x M and v TxM, the latter being a nonzero vector, the Lyapunov exponent associated is:

whenever this limit exists. By Oseledets' theorem (Oseledets 1968), this limit exists for μ-almost every point x and any nonzero vector v TxM, if μ is a finite invariant measure.

LEMMA 2.3. Let μ be a finite invariant measure of f. Then, for μ-almost every x, the Lyapunov exponents λi( f, x) are positive.

PROOF. Fix δ > 0 as the constant given by Franks' lemma. Let v > 0, such that, if d(x, y) < v, then d(Df (x), Df (y)) < δ. Finally, fix ε > 0 as the constant given by the shadowing property associated to v -pseudo orbits.

If the lemma is false, there exists a measure μ with a non-positive Lyapunov exponent. By Poincaré recurrence, there exists x M, v TxM, 0 < η << δ1 and N large enough, such that:

and there exists i much smaller than N, such that d (fi (x), x) < v and the directions are close enough.

The shadowing lemma implies that there exists a periodic orbit fN—i (p) = p, such that d(fj (x), fj (p)) < v for j = 0, ... N — i — 1; moreover, there exists some vector w TpM — {0} close to DfN—i (p)w. Since η is small, we can use Frank's lemma to perturb f, replacing the derivative in the orbit of p by the derivative of the segment of orbit of x, dividing by 1 + 2η on each iterate, and compose the last derivative (i.e., the last iterate of the periodic orbit) with a small rotation. It was obtained g U with a periodic point p of period N — i with a contractive eigen- vector w for the derivative DfN—i(p). This contradicts the previous lemma. □

Now we invoke a theorem due to Cao (Cao 2003):

THEOREM 2.4 (Cao). Let f : M M be a C1-local diffeomorphism. If the Lyapunov exponents of every f -invariantprobability measure are positive, then f is uniformly expanding.

Together with the previous lemma, this completes the proof.

 

ACKNOWLEDGMENTS

The author would like to thank Professor C. Morales by useful conversations. The author would also like to thank the useful comments of an anonymous referee that clarified the proof of lemma 2.3. This work was partially supported by Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) and Programa de Apoio a Projetos Institucionais com a Participação de Recém-Doutores - Coordenação de Aperfei9oamento de Pessoal de Nível Superior (PRODOC-CAPES).

 

REFERENCES

CAO Y. 2003. Non-zero Lyapunov exponents and uniform hyperbolicity. Nonlinearity 16: 1473-1479.         [ Links ]

COVEN E AND REDDY W. 1980. Positively Expansive maps of compact manifolds. Lecture Notes in Math 819: 96-110.         [ Links ]

FRANKS J. 1971. Necessary conditions for stability of diffeomorphisms. Trans Amer Math Soc 158: 301-308.         [ Links ]

RUELLE D. 1978. Thermodynamical Formalism. Encyclopedia Math Appl n. 5.         [ Links ]

SAKAI K. 1985. Periodic Points of Positively Expansive maps. Proc Amer Math Soc 94: 531-534.         [ Links ]

SAKAI K. 2003. Various shadowing properties for positively expansive maps. Topology Appl 131: 15-31.         [ Links ]

SAKAI K. 2004. C 1-Stably Positively Expansive Maps. Bull of the Polish Acad Sci Math 52: 197-209.         [ Links ]

OSELEDETS V. 1968. A multiplicative ergodic theorem: Lyapunov characteristic numbers for dynamical systems. Trans Moscow Math Soc 19: 197-231.         [ Links ]

 

 

Manuscript received on May 19, 2009; accepted for publication on September 30, 2009

 

 

E-mail: arbieto@im.ufrj.br
1 η is very small compared with δ.

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License