Scholarly article on topic 'Expansivity and Cone-fields in Metric Spaces'

Expansivity and Cone-fields in Metric Spaces Academic research paper on "Mathematics"

0
0
Share paper
Academic journal
J Dyn Diff Equat
OECD Field of science
Keywords
{""}

Academic research paper on topic "Expansivity and Cone-fields in Metric Spaces"

J Dyn Diff Equat (2014) 26:517-527 DOI 10.1007/s10884-014-9373-2

Expansivity and Cone-fields in Metric Spaces

Lukasz Struski • Jacek Tabor

Received: 18 June 2012 / Revised: 7 May 2014 / Published online: 10 July 2014 © The Author(s) 2014. This article is published with open access at Springerlink.com

Abstract Due to the results of Lewowicz and Tolosa expansivity can be characterized with the aid of Lyapunov function. In this paper we study a similar problem for uniform expansivity and show that it can be described using generalized cone-fields on metric spaces. We say that a function f: X ^ X is uniformly expansive on a set A C X if there exist e > 0 and a e (0, 1) such that for any two orbits x: {-N, ..., N A, v: {-N, ..., N}^ X of f we have

sup d(x„, vn) < e d(x0, vQ) < a sup d(x„, vn).

-N<n<N -N <n<N

It occurs that a function is uniformly expansive iff there exists a generalized cone-field on X such that f is cone-hyperbolic.

Keywords Cone-field • Hyperbolicity • Expansive map • Lyapunov function Mathematics Subject Classification 37D20

1 Introduction

In 1892 Lyapunov [9] introduced the idea of Lyapunov functions to study stability of equilibria of differential equations. The Lyapunov approach allows to assess the stability of equilibrium points of a system without solving the differential equations that describe the system. This theory is widely used in qualitative theory of dynamical systems.

In Lewowicz [7,8]proposed to use Lyapunov functions of two variables to study structural stability and similar concepts, such as topological stability and persistence. The method has

L. Struski (B) • J. Tabor

Faculty of Mathematics and Computer Science, Lojasiewicza 6, 30-348 Krakow, Poland e-mail: struski@ii.uj.edu.pl

J. Tabor

e-mail: tabor@ii.uj.edu.pl

been applied in particular to study hyperbolic diffeomorphisms on manifolds. For the survey of the results, methods and possible generalizations see [12].

Let us quote one of the most interesting results from [ 12]. Let f: M ^ M be a homeo-morphism of a compact manifold M. For U : M x M ^ R we define

A fU (x, y) := U (f (x), f (y)) - U (x, y) for x, y e M.

We say that U is a Lyapunov function for f if it is continuous, vanishes on the diagonal, and A fU (x, y) is positive for (x, y) on a neighborhood of the diagonal, x = y.

The following result characterizes expansive homeomorphisms in terms of Lyapunov functions.

Theorem [12, Theorem 3.2]. Let f be a homeomorphism of a compact manifold M. The following conditions are equivalent:

i) f is expansive;

ii) there exists a Lyapunov function for f.

The proof of this result for diffeomorphisms f can be found in [7]; see Sect. 4 and Lemma 3.3 of that paper. Additional arguments required for the case of a homeomorphism are discussed in [6, Sect. 1]. See also [12], where Tolosa, basing on the results of Lewowicz, characterized the expansivity on metric spaces with the using Lyapunov functions.

In this paper we use a generalized notion of cone-fields on metric space to describe uniform expansivity. The notions of cone-fields and cone condition [4,10] originally appeared in the late 60's in the works of Alekseev, Anosov, Moser and Sinai. Recently, Sheldon Newhouse

[10] obtained new conditions for dominated and hyperbolic splittings on compact invariant sets with the use of cone-fields. It is also worth mentioning that the notion of cone-field can be very useful in the study of hyperbolicity [1,3,4,10].

Let us briefly describe the contents of this paper. In Sect. 2 we discuss the notion of uniform expansivity. We show that if f is uniformly expansive then it is also expansive. In Sect. 3 we recall our generalization of cone-fields to metric spaces which we presented in paper

[11] and show that the existence of hyperbolic cone fields guarantees uniform expansivity. In Sect. 4 we show how to construct functions cs, cu for a uniformly expansive f such that f is cone-hyperbolic with respect to the cone-field (cs, cu). The main result of the section can be summarized as follows:

Main Result [see Theorem 3]. Let Xbea metric space and let f : X^X be an L-bilipschitz map. Assume that A C X is an invariant set for f such that f is uniformly expansive on A. Then there exists a cone-field on A such that f is cone-hyperbolic on A.

2 Uniform Expansivity

First we define uniform expansivity of f and show that this notion is stronger than the classical expansivity.

By a partial map from X to Y (written as f : X^ Y) we denote a function which domain is subset of X [2, Chapter 2]. By dom( f) we denote the domain of a partial map f : X^Y, and by im( f) we denote its inverse image. For a given f : X^X we say that a sequence x: I ^ X defined on a subinterval1 I of Z is an orbit of f if

xn e dom( f) and xn+1 = f (xn) for n e I such that n + 1 e I.

1 We say the I is a subinterval of Z if [k, l]fl Z C I for any k, l e I.

We recall the classical definition of expansivity. We say that f: X^X is expansive on A c X if there exists an e > 0 such that for any two orbits x: Z i A, v: Z i X if

sup d (xn, vn) < e then x = v.

Definition 1 Let N e N, e > 0 and a e (0, 1) be given. We say that f: X^X is (N, e, a)-uniformly expansive on a set A c X if for any two orbits x: {—N, ..., N}i A, v: {-N, ..., N}i X we have

dsup(x, v) < e d (x0, v0) < adsup(x, v),

dsup(x, v) := sup d(xn, vn).

-N <n<N

This notion is more useful because it does not need an infinite trajectory.

Example 1 Consider a rotation of f: S1 i S1 by an angle a. Then f is an isometry, and therefore is not expansive, and consequently not (N, e, a)-uniformly expansive on A = S1.

Example 2 Let us consider the function f: R+ 3 x i y x -— -^/x e R+. One can easily check that this function is expansive because its derivative at each point is strongly greater than 1. On the other hand, f is not uniformly expansive because for sufficiently large x the derivative of the function at x can become as close to 1 as we want.

One can easily verify that uniform expansivity implies classical expansivity (this result can also be easily deduced from Theorem 1 below).

Observation 1 [11, Observation 4.1] Let N e N, e > 0, a e (0, 1), A c X and f: X^X be given. If f is (N, e, a)-uniformly expansive on A, then it is also expansive on A.

Given L > 1 and f: X^Y we call f L-bilipschitz if

L-1d(x, y) < d(f (x), f (y)) < Ld(x, y) for x, y e dom(f). (2.1)

Note that if a function f is L-bilipschitz then it is injective.

For S > 0 and a set A c X we define the &-neighbourhood of A as

As := [J B(x,S).

Let an injective map f: X^ X be given. We call A c dom( f) an invariant set for f if f (x) and f -1(x) e A for every x e A.

Now we show how to change the metric so that the function f which is (N, ■)-uniformly expansive becomes (1, ■, -)-uniformly expansive.

Theorem 1 Let f: X^X be an L-bilipschitz map for some L > 1 and a e (0, 1). Let A c X and S > 0 be such that A& c dom( f) n im( f). We assume that A is an invariant set for f and that f is (N, S, a)-uniformly expansive on A. Then there exists a metric p on A&l-n+1 such that

d(x, v) < p(x, v) < LN-1d(x, v) for x,v e A&L-N+1, (2.2)

that f is (1, SL-N+1, Na)-uniformly expansive on A&l-n+1 and max{a-1/N, L}-bilipschitz map with respect to the metric p.

Proof Let p = Na. We put

p(x, v) := max p]k]d(fk(x), fk(v)) for x,v e A5l-n+1. ke{-N+1,...,N-1}

Inequalities (2.2) follow from the definition and (2.1). Note that for k e {-N + 1,..., N - 1} we have

x,v e Asl-n+1 fk(x), fk(v) e AsL-N+1+|k|.

This means that p is well defined on Asl-n+1.

First we show that f is max{p-1, L}-bilipschitz map with respect to the metric p. Since f is L-bilipschitz in the metric d, we know that d (fN (x), fN (v)) < Ld(fN-1(x), fN-1(v)) and finally we get

p(f (x), f (v)) = max pkld(fk(f (x)), fk(f (v))) ke{-N+1,...,N-1}

= max{p|-N +x|d (f -N+2(x), f -N+2(v)), ..., p N-1d (fN (x), fN (v))} = max{p |-N+x|p-1p d( f -N+2 (x), f -N+2(v)),..., p1 p-1 p d (x, v), p 0pp-1d (f (x), f (v)),..., p N-2pp-1d (fN-1(x), fN-1(v)), pN-1d(fN(x), fN(v))} = max{pp|-N+2|d (f -N+2 (x), f -N+2(v)),..., pp 0d (x, v),

p-1p ld (f (x), f (v)), ..., p-1p N-1d (fN-1(x), fN-\v)), pN-1d(fN(x), fN(v))}

< max{pp|-N+2|d (f -N+2 (x), f -N+2(v)),..., pp0 d (x, v),

p-1p 1d (f (x), f (v)), ..., p-1p N-1d (fN-1(x), fN-1(v)), pN-1 Ld(fN-1(x), fN-1(v))}

< max{p, p-1, L} • p(x, v) = max{p-1, L} • p(x, v).

Similarly, as for the opposite inequality, we know that L-1d(fN-1(x), fN-1(v)) < d(fN(x), fN(v)) and L-1d(f-N+1(x), f -N+1(v)) < d(f -N+2(x), f-N+2(v)). Hence

p(f (x), f (v)) = max{pp|-N+2|d (f -N+2 (x), f -N+2(v)), ..., pp 0d (x, v),

p-lpld (f (x), f (v)),..., p-1 p N-1d (fN-1(x), fN-1 (v)), pN-1d(fN(x), fN(v))}

> max{pp|-N+2|d (f -N+2 (x), f -N+2(v)),..., pp 0d (x, v),

p-lpld (f (x), f (v)),..., p-1 p N-1d (fN-1(x), fN-1 (v)), pN-1L-1 d(fN-1(x), fN-1(v))}

> min{p, L-1} • p(x, v).

Now we show that for x e A and v e Asl-n+1 such that

max{p(f-1(x), f -1(v)), p(x, v), p(f (x), f (v))} < 5L-N+1 (2.3)

the following inequality holds:

p(x, v) < p max(p(f (x), f (v)), p(f -1(x), f-1(v))).

We have to show that for k = -N + 1,..., N - 1

p]k]d(fk(x), fk(v)) < p max

x| max pkd(fk+1(x), fk+1(v)), max pkd(fk-1(x), fk-1(v))\. \k=-N+1,..,N-1 k=-N+1,..,N-1 )

For k < 0 or k > 0 it is straightforward. Consider the case k = 0. From (2.2) and (2.3) we get

max {d(f-1(x), f-l(v)), d(x, v), d(f (x), f (v))} < 5L-N+1,

which together with (2.1) implies that d (fk (x), fk (v)) < S for k = - N,..., N .By the uniform expansivity and the fact that p < 1 we get

d (x, v) < a max d (fk (x), fk (v)) < p max (P N-1 d (fk (x), fk (v)))

\k\<N \k\<N

< p max ( max p kd (fk+1(x), fk+1(v)), max p kd (fk-1(x), fk-1(v))\. \\k\<N-1 \k\<N-1 )

3 Cone-fields and Cone-hyperbolic Maps

In this section, for the convenience of the reader, we recall basic definitions concerning generalization of cone-fields to metric spaces (for more information and motivation see [5,11]).

Definition 2 [11, Definition 3.1] Let S > 0 and A C X be nonempty. We say that a pair of functions cs, cu : U ^ R+ for some U C X x X forms a S-cone-field on A if

{x} x B(x, S) C U for x e A.

We put c(x, v) := max{cs (x, v), cu (x, v)}. If there exists K > 0 such that:

—d(x, v) < c(x, v) < Kd(x, v) for (x, v) e U K

then we call it (K, S)-cone-field on A or uniform S-cone-field on A. For each point x e A we introduce unstable and stable cones by the formula

Cu(S) := {v e B(x, S) : cs(x, v) < cu (x, v)}, Csx (S) := {v e B(x, S) : cs(x, v) > cu (x, v)}.

We consider a partial map f: X ^ Y between metric spaces X and Y and A C dom( f). Assume that X is equipped with a uniform S-cone-field on A and Y is equipped with a uniform S-cone-field on a subset Z of Y such that f (A) C Z. For every x e dom( f) we put

Bf (x, S) := {v e B(x, S) n dom(f) : f (v) e B(f (x), S)}.

Now we define ux (f; S) and sx (f; S), the expansion and the contraction rates of f, respectively. These rates are a modification of the classical definition from [10], but we do not assume that the function f is invertible (for more information see [11]).

Definition 3 [11, Definition 3.2] Let x e dom(f) and S > 0 be given. We define

ux(f ; S) := sup{R e [0, œ] | c(f (x), f (v)) > Rc(x, v), v e Bf (x, S); v e Cu(S)}, Jx (f ; S) := inf {R e [0, œ] | c( f (x ), f (v)) < Rc(x, v), v e Bf (x, S); f (v) e Cf W(S)}.

Let uA(f ; S) := inf {ux (f ; S)} and sA( f ; S) := sup{sx (f ; S)}.

xeA xeA

Definition 4 We say that f is S-cone-hyperbolic on A if

SA(f ; S) < 1 < ua(f ; S). The next proposition is a simple analogue of [10, Lemma 1.1].

Proposition 1 [11, Proposition 3.1] Every S-cone-hyperbolic is S-cone-invariant, i.e. for x e A and v e Bf (x, S) we have

v e Cu (S) =* f (v) e Cuf (x)(S),

f (v) e Csf x )(S) v e CSf (S).

Theorem 2 [11, Theorem 4.1] Suppose that for K > 0 and S > 0 we are given a (K, S)-cone-field on A C X. Let f : A^^X be S-cone-hyperbolic on A and let k > 1 be chosen such that

sa( f ; S) < k-1, ua( f ; S) > k. Then f is ( N, S, K 2/kN )-uniformly expansive on A for every N e N, N > 2logk K.

Example 3 Let f : T2 ^ T2 be defined by f (x, y ) = (2x + y, x + y), where T2 = R2/Z2. We know that f is expansive (see [4, Sect. 1.8]). It is easy to show that

3 - V5 3 + V5

st2 (f ; S) < < 1, ut2 (f ; S) > 1.

From Theorem 2 we conclude that f is uniformly expansive on A = T2.

4 Expansivity and Cone-fields

In this section we show that uniform expansiveness of f on an invariant set A lets us construct a cone-field on A such that f is cone-hyperbolic on A. In our reasoning we will need the notion of £-quasiconvexity.

Definition 5 Let I be a subinterval of Z, and let e > 0 be fixed. We call a sequence a: I ^ R e-quasiconvex if

an < max{an-1, an+1} - e for n e I : n - 1, n + 1 e I.

Now we show some properties of e-quasiconvex sequences, which will be used later.

Observation 2 Let e > 0 and a: I ^ R be an e-quasiconvex sequence. Then

i) ifm, m + 2 e I and am+\ > am - s then

an+1 > an + s for n > m + 1 such that n, n + 1 e I. (4.1)

ii) ifm - 1, m + 1 e I and am+\ < am + s then

an+1 < an - s for n < m such that n, n + 1 e I. (4.2)

Proof The above statements are similar so we show the first one. The proof proceeds on induction. Suppose that m, m + 2 e I and am+\ > am - s. Since a is s-quasiconvex,

am+1 < max{am,am+i} - s = max{affl - s, am+2 - s}.

But am+1 > am - s, so we get

am+1 < am+2 - s,

and hence

am+2 > am+1 + s.

It implies that (4.1) is valid for n = m + 1. Suppose now that (4.1) holds for some n > m + 1, i.e. that n; n + 1 e I and an+\ > an + s. Assume additionally that n + 2 e I. Then we get

an+1 < a„+2 - s,

an+2 > an+1 + s,

which completes the proof.

The following proposition will be a basic tool in the proof of our main result, Theorem 3.

Proposition 2 Let s > 0, L > 1, p e (0, 1) and let (Y, p) be a metric space. Let A C Y be given and f: Y^ Y be an L-bilipschitz map such that As C dom(f) n im(f). Assume that A is an invariant set for f and that f is (1, s, p)-uniformly expansive on A. Then

cs(x, v) := inf{p(fk(x), fk(v)) \ k e (-<x, 0) n Z : fl(v) e B(fl(x),s)

forl e [k, 0]nZ}, cu (x, v) := inf{p( fk(x), fk(v)) \ k e [0, <) n Z : fl (v) e B( fl (x),s) forl e [0,k]nZ},

define an (L, s/L) cone-field on A. Moreover, f is cone-hyperbolic on A and

sA(f; s/L) < p<- < ua( f; s/L). (4.4)

Proof First we show that cs (x, v) and cu (x, v) defined above are (L ,s/L) cone-field on A, i.e.

—p(x, v) < c(x, v) < Lp(x, v) for (x, v) e {(x, v) : x e A, v e B(x, s/L)},

where c(x, v) := max{cs(x, v), cu (x, v)}.

Choose an arbitrary point x e A and v e B(x ,s/L). We can assume that x = v,because the case x = v is trivial (cs(x, v) = cu(x, v) = 0 = p(x, v)).

Let I be the biggest subinterval of Z containing 0 such that

sup{p(fn (x), fn (v)) : n e I}<s. (4.5)

Since f is L-bilipschitz, we know that f-1 (v) e B(f-1 (x), s), and therefore {-1, 0} C I. This yields c(x, v) < œ.

Now we define a sequence {an}nei C R by the formula

an := ln p( fn (x ), fn (v)) for n e I. (4.6)

Observe that an is well-defined because p( fn (x), fn (v)) > 0 for all n e I. Let

I- := {n e I : n < 0} and I+ := {n e I : n > 0}. We have the following relations:

cs (x, v) = exp I inf {an} I and cu (x, v) = exp I inf {an} I , \neI- J \ne I+ J

where we use the convention exp(-œ) = 0.

We show that the sequence {an} is ln(1/P)-quasiconvex. Let n e I be such that n - 1, n + 1 e I .By (4.5) we observe that

max{p(fn-1(x), fn-1(v)), p(fn(x), fn(v)), p(fn+1(x), fn+1(v))} < s.

Consequently, by (1, s, ^)-uniform expansivity of f we get

p(fn (x ), fn (v)) < P max{p(fn-1(x ), fn-1(v)),p( fn+1(x ), fn+1(v))},

which implies that an < max{an-1, an+i} - ln(1/P).

Now we consider two cases. If a-1 < a0 then by Observation 2 i) we get

an+1 > an + ln — for n > 0, n e I, P

which yields

inf {an} < a-1 < a0 = inf {an},

neI- neI+

cs(x, v) < cu(x, v) = c(x, v) = ea0 = p(x, v). On the other hand if a-1 > a0 then by Observation 2 ii) we get

Therefore

an+1 < an - ln — for n < -1, n e I. P

inf {an} = a-1 > a0 > inf {an},

neI- neI+

and consequently

Cu(x, v) < Cs(x, v) = c(x, v) = ea-x = p(f-1(x), f-1(v)). Since f is L-bilipschitz, we get that cs, cu define an (L, e/L) cone-field on A.

Now we check that f is cone-hyperbolic on A. Let us take x e A and v e Bf (x, e/L) such that f (v) e Csf (x(e/L). We define the sequence {an }neI as in (4.6).

We show that ao > ai. Suppose that, on the contrary, ao < ai. By Observation 2 i) we get

an+i > an for n > 1, n e I.

ln(c„(f (x), f (v))) = inf {an} = ai > ao > inf {an} = ln(cs(f (x), f (v))),

n>1,neI n<1,neI

which is a contradiction with f (v) e Csf ^(e/L ). So we have ai < ao. By the Observation 2 ii) we get

an+i < an — ln(1/P) for n < 0 such that n, n + 1 e I.

In particular,

ao < a—1 — ln(1/j). (4.7)

Consequently,

cu ( f (x ), f (v)) = exp I inf {an} I < exp (a 1) < exp(ao )

\n>1,neI )

= ex^ inf {an}) = cs (f (x ), f (v)) = c(f (x ), f (v)) \n<1,neI J

(niofK})

< ji exp(a—1) = ji ex^ inf {anH < Pc(x, v).

\neI- -

Therefore

sA(f ; e/L ) = sup {sx (f ; e/L )} <P< 1.

Now we consider an x e A and v e Bf (x, e/L) such that v e Cu (e/L). We show that ao > a—1. Suppose the contrary, ao < a—1. By Observation 2 ii) we get

an+1 > an for n < —1, n e I.

inf {an} = a— 1 > ao > inf {an},

neI— ne I+

which is contradiction with v e Cu (e/L). So we have ao > a—1. By the Observation 2 i) we get

an+1 > an + ln(1/P) for n > o such that n, n + 1 e I.

In particular,

a1 > ao + ln(1/P). (4.8)

Finally

cs ( f (x ), f (v)) = exp I inf {an} I < exp(ao) < exp(a1)

n<1,neI

= exp I inf {an} I = cu ( f (x ), f (v)) = c(f (x ), f (v)),

which yields

4.8 1 1 ( \ 1

exp(a 1) = c(f (x), f (v)) > - exp(ao) = - exp I inf {anN = -c(x, v).

- P P \n<El+ J p_

This shows that

uA(f; e/L) = inf {ux(f; e/L)}> 1 > 1.

x eA p

Therefore f is cone-hyperbolic on A.

As a consequence of earlier results we obtain the following theorem.

Theorem 3 Let e > 0, L > 1, N e N, a e (0, 1) be fixed. Let (X, d) be a metric space and A C X be given. Let f: X^ X be an L-bilipschitz map such that As C dom( f) n im( f). Assume that A is an invariant set for f and that f is (N, e, a)-uniformly expansive on A.

Then there exists an (max{a-1/N LN-1, LN}, min{eL-2N+1 Na, eL-2N}) cone-field on A such that f is cone-hyperbolic on A and

sA(f, min{eL-2N+1 N^, eL-2N) < ^fa < -L < ua(f, min{eL-2N+1 ^, eL-2N).

Proof We will apply Proposition 2. By applying Theorem 1 (for S = e) we obtain the metric p which is equivalent to d on U = {x : d(x, A) < eL-N+1} and such that

i) d(x, v) < p(x, v) < Ln-1 d(x, v) for x, v e U,

ii) f is (1, eL-N+1, Na)-uniformly expansive on U with respect to the metric p,

iii) f is max{a-1/N, L}-bilipschitz map on U with respect to the metric p.

Let Y = {y : d(y, A) < L-N+1e} and L = max{a-1/N, L}. We use Proposition 2 (for e = eL-N, L, p = Na, f = f |{x :d(x a)<sl-nj) and construct functions cs, cu which define an (L, S) cone-field on U such that f is S-cone-hyperbolic with respect to the metric p, where S = eL-N /L.

Now we need to "translate" the results from the metric p to the original metric d. For clarity of notation we use the subscript (.)d to denote objects with respect to the metric d and (.)p to denote objects with respect to the metric p.

By the definition of (L, S) cone-field on U and i) we get

ZLN-1 d(x, v) < Ld(x, v) < Lp(x, v) < c(x, v) < Lp(x, y) < LLN-1d(x, y) for (x, v) e {x e U,v e B(x, S)p}.

From i) we have

B(x, S/LN-1)d C B(x, S)p, Bf (x, S/LN-1)d C Bf (x, S)p,

cu(S/LN-1)d C cu (S)p, cx (S/LN-1 )d C cx(S)p.

Consequently, from Definition 3 for an arbitrary x e U we get

ux (f; S)p < ux (f; S/LN-1 )d, sx (f; S)p > sx (

uu (f; S)p < uu (f; S/LN-1 )d, su (f; S)p > su (f; S/LN-1)d.

From the above inequalities and (4.4)

su(f; S)p < p< 1 < ~ < UU (f; S)p, p

we obtain that f is (5/LN-1)-cone-hyperbolic in metric d and

su(f ; S/Ln—1)d < P< 1 < ~ < uu(f ; S/Ln—1)d.

1 / N N 1

Finally we conclude that cs and cu are (max{a 1/NLN 1, LN}, 5/LN *)-cone-field on A such that f is (5/LN-1)-cone-hyperbolic on A with respect to metric d.

Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

References

1. CapMski, M.J., Zgliczynski, P.: Cone conditions and covering relations for normally hyperbolic invariant manifolds. Discrete and Continuous Dynamical Systems A., 641-67o, (2o11)

2. Gallier, J.: Discrete Mathematics. Springer, New York (2o11)

3. Hruska, S.: A numerical method for constructing the hyperbolic structure of comple Hénon mappings. Found. Comput. Math., 427-455, (2oo6)

4. Katok, A., Hasselblatt, B.: Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press, Cambridge (1997)

5. Kulaga, T., Tabor, J.: Hyperbolic dynamics in graph-directed IFS. J. Differ. Equ. 251, 3363-338o (2o11)

6. Lewowicz, J.: Expansive homeomorphisms of surfaces. Boletim da Soc. Bras. de Mat.-Bulletin/Braz. Math. Soc. 20(1), 113-133 (1989)

7. Lewowicz, J.: Lyapunov functions and topological stability. J. Differ. Equ. 38(2), 192-2o9 (198o)

8. Lewowicz, J.: Persistence of semi-trajectories. J. Dyn. Differ. Equ. 18, 1o95-11o2 (2oo6)

9. Lyapunov, A.M.: Problème général de la stabilité du mouvement. Ann. Fac. Sci. Univ. Toulouse 9, 2o3-475 (19o7)

10. Newhouse, S.: Cone-fields, Domination, and Hyperbolicity, University in Modern Dynamical Systems and Applications. In: Brin, M., Hasselblatt, B., Pesin, Y. (eds.)pp. 419-433. Cambridge University Press, Cambridge (2oo4)

11. Struski, L., Tabor, J., Kulaga, T.: Cone-fields without constant orbit core dimension. Discret. Contin. Dyn. Syst.-Ser. A. 32(1o), 3651-3664 (2o12)

12. Tolosa, J.: The method of Lyapunov functions of two variables. Contemp. Math. 440, 243-271 (2oo7)