DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS

Size: px
Start display at page:

Download "DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS"

Transcription

1 DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS CLARK ROBINSON 0. Introduction In this paper 1, we show how the differentiable linearization of a diffeomorphism near a hyperbolic fixed point (a la Sternberg [11]) can be adapted to a neighborhood of a compact invariant submanifold. There are two parts of the stard proof. The first part says that if two diffeomorphisms have all their derivatives equal at a hyperbolic fixed point, then they are C conjugate to one another in a neighborhood. This result is true in a neighborhood of a compact invariant submanifold with little change in the statement or proof. See Theorem 1. The second part says that if a diffeomorphism f satisfies eigenvalue conditions at a hyperbolic fixed point, then there is a C diffeomorphism h such that all the derivatives of g = h -1 f h at the fixed pint are equal to the derivatives of the linear part of f. Near an invariant submanifold, there is no general condition that replaces the eigenvalue condition, so we got only a very much weakened result in this direction. See Theorem 2. However, Theorem 2 does imply that under some conditions the strong stable manifolds of points vary differentiably. See Corollaries 3 4. We were aware that Theorem 1 was true before reading the recent paper of Takens [12]. However, his proof is the easiest to adapt to our setting also save one more derivative than some other proofs. We could just say that Theorem 1 follows from the proof in [12], however for clarity, we repeat the proof with the necessary modifications. The only essential changes are in the definitions of η(δ) O. All other changes are a matter of style. To prove Theorem 2, we adapt the type of proof used for Theorem 1. At a hyperbolic fixed point, this can be solved much more directly by solving for coefficients of polynomials using eigenvalue conditions. See [9], [11], or [12]. For h : M M, let 1. Statement of the theorems j r h(x) = (x, h(x), Dh(x),..., D r h(x)). This is called the r-jet of h at x in local coordinates on the domain. (It is possible to define these without local coordinates, but it really changes none of the ideas in our proofs. See [4].) Key words phrases. dynamical systems, differentiable conjugacy, normally hyperbolic manifold. 1 This paper originally appeared in the Bolletim da Sociedade Brasileira de Matemática, 2 (1971). We have made slight changes in wording in a few places. Also, we have added footnotes to explain certain points. 1

2 2 CLARK ROBINSON Let V be a compact submanifold of M. Give M a Riemannian metric. Let ρ be the distance between point of M induced by the metric. Let p : T M M be the usual projection. Let T x M = p 1 (x) T V M = p 1 (V ). A diffeomorphism f : M M is called hyperbolic along V if f(v ) = V, there is a splitting T V M = T V E u E s as Whitney sum of subbundles, there is an integer n such that µ x = Df n (x) E s x < 1 λ x = Df n (x) E u x < 1 for all x V, where E s x = E s T x M E u x = E u T x M. For h : M M x V, let D 1 h(x) = Dh(x) T x V, D 2 h(x) = Dh(x) E u x, D 3 h(x) = Dh(x) E s x. A diffeomorphism f is called r-normally hyperbolic along V if λ x D 1 f n (x) k < 1 µ x D 1 f n (x) k < 1 for all x V all 0 k r. This says that f more contracting (resp. exping) normally to V than any contraction (resp. expansion) along V. Let W s (V, f) = { x M : ρ(f j (x), V ) 0 as j } W u (V, f) = { x M : ρ(f j (x), V ) 0 as j }. These are called the stable unstable manifolds of V W ss (x, f) = { y M : there exits a constant c y for f. For x V, let such that ρ(f jn (x), f jn (y)) c y µ x µ f (j 1)n (x) for j 0 } W uu (x, f) = { y M : there exits a constant c y such that ρ(f jn (x), f jn (y)) c y λ x λ f ( j+1)n (x) for j 0 }. These are called the strong stable strong unstable manifolds of x for f. If the diffeomorphism f is C r r-normally hyperbolic, then the papers [6] [7] show that W s (V, f), W u (V, f), V, W ss (x, f), are C r, Also, W s (V, f) = {W ss (x, f) : x V } W u (V, f) = {W uu (x, f) : x V }. T V (W s (V, f)) = T V E s T V (W u (V, f)) = T V E u. A more general theorem of this kind is contained in [8]. Now we define the loss of derivatives that occurs in the conjugation of Theorem 1. Given α, let β = β(f, α) α be the largest integer such that Df n (f n (x)) Df n (x) β D 3 f n (x) α β < 1 for all x V.

3 DIFFERENTIABLE CONJUGACY 3 Next, let γ = γ(f, β) β be the largest integer such that Df n (f n (x)) Df n (x) γ D 2 f n (x) β γ < 1 for all x V. Theorem 1. Assume f, g : M M are C α diffeomorphisms, V M is a compact C 1 invariant submanifold such that both f g are 1-normally hyperbolic along V with j α f(x) = j α g(x) for all x V. Let β γ be defined as above with α β γ 1. Assume W s (V, f) is a C β submanifold near V. Then there exist a neighborhood U of V a C β diffeomorphism h : U M such that k = h 1 gh has j β k(x) = j β f(x) for x W s (V, f) U. Also there exists a C γ diffeomorphism h : U M such that (h ) 1 gh (x) = f(x) for x U. Further, h V = id h V = id. The proof is contained in 3. Theorem 2. Let f : M M be a C α diffeomorphism, V M a compact invariant C α submanifold. Assume f contracts along V, i.e., E u is the zero section in the definition of f being hyperbolic along V. Assume that for 1 β α D 1 f 1 (f(x)) Df(x) β 1 D 3 f(x) < 1 for all x V. Then there exists a neighborhood U of V a C β diffeomorphism h : U M such that h V = id g = h 1 fh has D j 3 (pr g)(x) = 0 for 1 j β where pr : U V is a differentiable normal bundle projection. Thus infinitesimally g preserves the fibers of pr : U V. The proof is contained in 4. Corollary 3. Let f be a C α diffeomorphism contracting along V. Assume D 1 f 1 (f(x)) Df(x) α 1 D 3 f(x) < 1 for all x V. Let p r be integers such that D 3 f 1 (f(x)) D 3 f(x) p 1 ( ) r+1 D 1 f(x) α p D3 f(x) < 1. D 1 f(x) Let β = α 1 p r. Then there exists a neighborhood U of V a C β diffeomorphism h : U M such that g = h 1 fh preserves the fibers of pr : U V. Actually, h has all derivatives D j D2h(x) k for x U, 0 j β, 0 j + k α. In particular, the set of W ss (x, f) for x V form a foliation of W s (V, f) U such that each leaf is C α they vary C β. Proof. By applying Theorem 2, we can assume D j 2 (pr f)(x) = 0 for 1 j α x V. Define g 1 : U V by g 1 (x) = f 1 (pr x). In vector bundle charts of pr : U V define g 2 (x) = f 2 (x) Use bump functions to define g = (g 1, g 2 ) : U U. Then g 1 (x) = g 1 (pr x) = f 1 (pr x) for x M j α f(x) = j α g(x) for x V. Theorem 1 gives the C β conjugacy of f g where β = α 1 p r since D 3 f 1 D 1 f α 1 p r D 3 f 1+p+r D 1 f α 1 p r D 3 f 1+r ( ) 1+r D 1 f α p D3 f < 1. D 1 f The extra derivatives of h exist as remarked in the proof of Theorem 1.

4 4 CLARK ROBINSON Using the methods of the proof of Theorem 1 differently, we can get a stronger statement about the differentiability of the foliation { W ss (x, f) : x V } of W s (V, f). Corollary 4. 2 Let f be a C α diffeomorphism that is 1-normally hyperbolic along V W s (V, f) is C α. Assume that 1 β α 1 satisfies D 1 f 1 (f(x)) D 1 f(x) β D 3 f(x) < 1 for all x V. Then there is a neighborhood U of V such that the set of W ss (x, f) for x V form a C β foliation of W s (V, f) U. The proof is contained in 5. Using the estimates in [9], the proofs of the above theorems should go over to flows. However, beware of the proof of linearization given in [9]. By induction does not works since the variation equation does not satisfy a global Lipschitz constant. We would like to discuss how the above theorems relate to some of the results in [5], [6], [10]. The condition of [6] [7] that f is r-normally hyperbolic is similar but different than the condition we require in Theorem 2 Corollaries 3 4. If f is r-normally hyperbolic, then W s (V, f), W u (V, f), V are C r manifolds. See [6]. Also, for each x V, W ss (x, f) W u (x, f) are C r they vary continuously in the C r topology. Corollaries 3 4 give that they vary differentiably. [10] show that if f is 1-normally hyperbolic, then f is C 0 conjugate to a map g that preserves the fibers of pr : U M V such that g is linear on fibers of pr : U M V. Corollary 3 gives a differentiable conjugacy in the contracting case to a fiber preserving map g, but g is not necessarily linear on fibers. If V is replaced by an exping attractor, then 6.4 in [5] gives conditions under which the stable manifolds of points form a C 1 foliation of a neighborhood. Corollary 4 possibly could be adapted to this setting to give the same answer. The result in [5] only applies to stable manifolds of points, W s (x, f) = { y M : ρ(f j (x), f j (y)) 0 as j }, not the strong stable manifolds of points. 3 Thus, when a submanifold V is an attractor, the results are different. Also, we give a condition that insure higher differentiability. Added in proof: M. Shub points out to me that 6.4 in [5] the C r section theorem prove Corollary Notation definitions Since we are only interested in a conjugacy of diffeomorphisms in a neighborhood of V, we can take a tubular neighborhood of V. Thus, we can consider M as a vector bundle over V, pr : M V. Let p : T M M be the projection of the tangent bundle of M to M. Denote a norm induced by a Riemannian metric on T M by. Let ρ be the distance between points of M induced by. 2 The original paper only stated this theorem for the case when f is contracting along V. 3 W s (x, f) could include some directions within V.

5 DIFFERENTIABLE CONJUGACY 5 Let L r s(t x M, T y M) be the (linear) space of all symmetric r-linear maps from T x M to T y M. 4 Let J 0 (M, M) = M M J r (M, M) = { (x, y) L 1 s(t x M, T x M) L r s(t x M, T x M) : x, y M }. If h : M M is C r, let j r h(x) = (x, h(x), Dh(x),..., D r h(x)) J r (M, M). This is called the r-jet of h at x. Let π 0 : J 0 (M, M) M be the projection on the first factor, be the natural projection for r 1. Let π r : J r (M, M) J r 1 (M, M) ψ r = π 0 π r : J r (M, M) M. All of these projections are fiber bundles, ψ r : J r (M, M) M is called the r-jet bundle. Define a distance on J 0 (M, M) by ρ 0 ((x 1, x 2 ), (y 1, y 2 )) = max{ ρ(x i, y i ) : i = 1, 2 }. Let the distance on each fiber of π r : J r (M, M) J r 1 (M, M) be the usual one induced by pm T M, ρ r ( (x, y, A 0,..., A r ), (x, y, A 0,..., A r 1, B r ) ) = A r B r = sup{ (A r B r )(v 1,..., v r ) : v i T x M v i = 1 for all i }. By using the distance on the base space, there is an induced (noncanonical) distance on J r (M, M). Given a subset U M, let J r ( (M, U), M ) = ψr 1 (U). Let Γ r ( (M, U), M ) be the space of continuous section of ψ r : J r ( (M, U), M) U. 3. Proof of Theorem 1 I. First we prove that the conjugacy exists along W s (V, f). We use the notation given in 1 2. By the assumptions of Theorem 1, there exists an integer n a 0 < µ < 1 such that Df n (f n (x)) Df n (x) β Df n (x) E s x α β < µ for all x V. Below we construct a conjugacy h between f n g n. Because of its special form, f lim j g nj f nj, h is also a conjugacy between f g. Thus for convenience, we take n = 1. The reader can check the details for n > 1. The constant µ is fixed during the proof. 4 Note: Higher derivatives are only defined in terms of local coordinates. Therefore, cover a neighborhood of V with a finite number of coordinate charts define the jets norms in terms of these coordinate charts.

6 6 CLARK ROBINSON We define the following numbers a x = Dg 1 (x) { ρ(f(x), V ) ρ(x, V ) 1 A x = lim{ A y : y W s (V, v) V y x } b x = Df(x) Note for x V, There exist neighborhoods A x Df(x) E s x < 1, a 1 f(x) A x < 1 B x, a f(x) B β x A α β x < µ < 1. η(δ) = { x W s (V, f) : ρ(x, V ) < δ } O of { (m, m) : m V } in M M for x M for x W s (V, f) V for x V for x W s (V, f). such that (i) f(η(δ)) η(δ) (ii) if x η(δ) (f(x), y) O, then a y Bx β Ax α β < µ. For simplicity of notation, let J r = J r ((M, η(δ)), M) = ψr 1 (η(δ)) ΓJ r be the continuous sections of the bundle ψ r : J r η(δ). We define a second norm on the fibers of π r : J r J r 1 (possibly infinite) as follows: 5 for π r c 1 = π r c 2, σ r (c 1, c 2 ) = sup{ ρ r (c 1 (x), c 2 (x)) ρ(x, V ) (α r) : x η(δ) V }. If c ΓJ 0, then we can identify it with the map c 0 : η(δ) M such that c(x) = (x, c 0 (x)). Let Let Φ r : ΓJ r ΓJ r Φ 0 : ΓJ 0 ΓJ 0 be defined by Φ 0 (c)(x) = (x, g 1 (c 0 (f(x)))) = j 0 (g 1 c 0 f)(x). be defined by Φ r (c)(x) = j r (g 1 (c 0 (f(x)))) = j r (g 1 hf)(x) First we prove Φ r contracts along fibers of π r. Lemma 1. Let 0 r β, c 1, c 2 ΓJ r Then, where j r h(f(x)) = c(f(x)). with π r c 1 = π r c 2, σ r (c 1, c 2 ) <, π 1 π r c i (f(x)) O for all x η(δ), i = 1, 2. σ r (Φ r (c 1 ), Φ r (c 2 )) µ σ r (c 1, c 2 ). 5 The map on sections is not a contraction in the usual metric. It needs a factor related to moving closer to the invariant manifold.

7 DIFFERENTIABLE CONJUGACY 7 Proof. Assume r 1. σ r (Φ r c 1, Φ r c 2 ) = sup{ ρ r (Φ r c 1 (x), Φ r c 2 (x)) ρ(x, V ) (α r) : x η(δ) V } sup{ ρ r (c 1 (f(x)), c 2 (f(x))) a y B r x ρ(x, V ) (α r) : x η(δ) V π 1 π r c i (f(x)) = (f(x), y) }. This last inequality is true using the formula for higher derivatives of a composition of functions the fact that π r c 1 = π r c 2. Then, this is sup{ ρ r (c 1 (f(x)), c 2 (f(x))) µ ρ(f(x), V ) (α r) : µ σ r (c 2, c 2 ). x η(δ) V } When r = 0, ρ(x, V ) α µ ρ(f(x), V ) α. The details are left to the reader. Let I r ΓJ r be defined by I r (x) = j r (id)(x) = (x, x, id x, 0,..., 0) where id : M M is the identity map id x : T x M T x M is the identity map. Let C 0 = σ 0 (Φ 0 I 0, I 0 ). C 0 is finite because j α f(x) = j α g(x) for all x V V is compact. Let D 0 = C 0 (1 µ) 1. Let 0 r be the zero section of π r : J r J r 1. Let F 0 = { c ΓJ 0 : σ 0 (c, I 0 ) D 0 } F r = { c ΓJ r : π r c F r 1 σ r (c, 0 r π r c) D 0 } for r 1. Since σ 0 (c, I 0 ) D 0 for c F 0, there exists a δ > 0 smaller than above if necessary, such that for c F 0 x η(δ), then c(f(x)) O. Lemma 2. Let 0 r β. Then Φ r : ΓJ r ΓJ r maps F r into itself. Proof. We prove the lemma by induction. F 1 = is invariant by Φ 1. Assume F r 1 is invariant by Φ r 1. Let c F r. Then σ r (Φ r c, 0 r π r Φ r c) σ r (Φ r c, Φ r 0 r π r c) + σ r (Φ r 0 r π r c, 0 r π r Φ r c) µ σ r (c, 0 r π r c) + σ r (Φ r 0 r π r c, 0 r π r Φ r c). For r = 0, this last term is µ D 0 + C 0 D 0. For r > 0, it is <. Lemma 3. Let 0 r β. Then Φ r : F r F r is continuous in terms of σ r. Proof. We use the chain rule for higher derivatives of a composition. σ r (Φ r c 1, Φ r c 2 ) = sup{ρ r (Φ r c 1, Φ r c 2 ) ρ(x, V ) (α r) : x η(δ) V } (constant) sup{ D i g 1 (y 2 ) ρ j1 (c 1 (f(x)), c 2 (f(x))) ρ jr (c 1 (f(x)), c 2 (f(x))) D k1 f(x) D kj f(x) ρ(x, V ) (α r) : x η(δ) V, π 1 π r c 2 (f(x)) = (f(x), y 2 ), 1 i r, j = j j r, k k j = r } + (constant) sup{ ρ j (g 1 (y 1 ), g 1 (y 2 )) D j1 c 1 (f(x)) D ji c 1 (f(x)) D k1 f(x) D kj f(x) ρ(x, V ) α r) : π 1 π r c 1 (f(x)) = (f(x), y 1 ) }.

8 8 CLARK ROBINSON Here the constants depend only on the binomial coefficients. We look at the first supremum leave the second to the reader. It is (constant) sup{ σ j1 (c 1, c 2 ) σ ji (c 1, c 2 ) ρ(f(x), V ) (iα j) ρ(x, V ) (α r) : (constant) σ r (c 1, c 2 ) r. 1 i r, 1 j r } These last two constants include the supremum of derivatives of f g 1. From this it follows that Φ r is continuous. By Lemma 1, Φ 0 : F 0 F 0 is a contraction in terms of σ 0. Thus, there is a unique attractive fixed point, c 0. Attractive means that for each c F 0, σ 0 (c 0, Φ j 0 (c)) 0 as j. Assume that F r 1 has an attractive fixed point for 1 r β. By Lemma 3, Φ r is continuous. By Lemma 2, Φ r : F r F r contracts along fibers of π r : F r F r 1 by a factor of µ. By the fiber contraction theorem (Theorem 1.2 in [5]), Φ r has a unique fixed point in F r it is attractive. Let id : M M be the identity diffeomorphism I β (x) = j β (id)(x). Then Φ β (I β ) converges ( in the uniform topology of sections of ψ β : J β η(δ) ) to a section c ΓJ β. Let c(x) = (x, c 0 (x),..., c β (x)) with c i (x) L i s(t x M, T c0(x)m) for 1 j β. By the uniform convergence, it follows that c i : η(δ) L i s(t x M, T y M) : x η(δ), y M } is C β i. Thus, the conditions of the Whitney Extension Theorem are satisfied. See [1] for a statement of the theorem. There exists a C β function h : M M such that for x η(δ), j β h(x) = c(x), Dh(x) = id x for x V so h is a local diffeomorphism in a neighborhood of V. Thus, h 1 gh is defined in a neighborhood of V in M j β (h 1 gh)(x) = j β f(x) for x η(δ) W s (V, f). This completes the conjugacy of f g along W s (V, f). Remark. In Corollary 3, we noted that more derivatives of the conjugacy existed along the fibers. In that setting, we have C α diffeomorphisms such that D j 2 (pr g)(x) = 0 for 1 j α x V f(pr x) = pr f(x). Here pr : M V is a normal bundle. For α r β, let J β,r be the bundle of maps with all derivatives D j D2h(x) k for 0 j β 0 j + k r. Let ρ β,r be the associated norm. Let π r : J β,r J β,r 1 be as before. For π r c 1 = π r c 2, let σ β,r (c 1, c 2 ) = sup{ ρ β,r (c 1 (x), c 2 (c)) ρ(x, V ) (α r) : x η(δ) V }. If c 1, c 2 J β,r π r c 1 = π r c 2, then ρ β,r (Φ β,r c 1 (x), Φ β,r c 2 (x)) ρ(x, V ) (α r) ρ β,r (c 1 (f(x)), c 2 (f(x))) a y B α x A r β x ρ(x, V ) (α r). A little checking is necessary to show this depends only on ρ β,r not ρ r. (f preserves fibers.) Then this is µ ρ β,r (c 1 (f(x)), c 2 (f(x))). Lemma 1 follows. The other details are left to the reader.

9 DIFFERENTIABLE CONJUGACY 9 II. Now we can assume f g are C β j β f(x) = j β g(x) for all all x W s (V, f) = W s x near V. For x M, define the following numbers: For x V, a x = Df 1 (x) { ρ(f 1 (x), W s ) ρ(x, W s ) 1 for x / W s b x = lim{ b y : y / W s y x } for x W s, B x = Dg(x). a 1 x < 1 < b 1 x B f 1 (x) B f 1 (x) a γ x b β γ x < µ < 1. By using a bump function, we can make g(x) = f(x) at points x such that ρ(x, V ) δ. ( g is then defined on all of M. ) Also, g can be left unchanged at points x with ρ(x, V ) δ /2. Let η(δ) = { x M : ρ(x, W s ) < δ } η (δ) = { x M : ρ(x, V ) < δ }. By taking δ smaller if necessary O to be a small neighborhood of { (x, x) : m W s } in M M, we can insure that for x η (δ) (f 1 (x), y) O, it follows that B y a γ x b β γ x < µ. Let Φ r be induces by h g h f 1. That is, in the earlier definition replace f by f 1 g 1 by g. Continue as before taking sections c of ψ r : J r (η(δ), M) η(δ) such that c(x) = j r id(x) for x η(δ) η (δ). Lemmas 1, 2, 3 apply to these sections. The lim j Φ j γ(i γ ) gives the γ-jet of the conjugacy h on η(δ). 4. Proof of Theorem 2 In this section, we assume T V M = T V E s. The bundle F 1 = T V is differentiable. Since we do not assume the bundles are invariant, we can approximate E s by F 3 that is differentiable. Write D i h(z) = Dh(z) F i. We assume in the theorem that D 1 f 1 (f(z)) Df(z) β 1 D 3 f(x) < µ < 1 for all z V. Denote a normal bundle projection by pr : M V. For c J r ( (M, V ), V ), we write c(z) = (z, c 0 (z),..., c r (z)) with c k (z) L k s(t z M, Fc 1 ). 0(z) Let F r be the set of sections c of J r ( (M, V ), V ) such that, for each z V there is a C r function h : M V such that h V = id c(z) = j r h(z). This is equivalent to assuming that for each z V, (i) π 1 π r c(z) = (z, z) (ii) c k (z) (F 1 F 1 ) = D k (id)(z) where id : V V is the identity function. Let f V = f V : V V fv -1 = (f V )-1 : V V. Define Φ r : F r F r by Φ r c(z) = j r (f -1 V hf)(z) where j r h(f(z)) = c(f(z)). By abuse of notation, Φ r c(z) = j r (fv -1cf)(z). Lemma 4. Let 0 r β c 1, c 2 F r be such that π r c 1 = π r c 2. Then ρ r (Φ r c 1, Φ r c 2 ) µ ρ r (x 1, c 2 ).

10 10 CLARK ROBINSON Proof. ρ r (Φ r c 1, Φ r c 2 ) sup{ D 1 f -1 V (f(z)) (c 1 (f(z)) c 2 (f(z))(df(z)) r : z V } sup{ D 1 f 1 1 (f(z)) ρ r(c 1, c 2 ) D 3 f(z) Df(z) r 1 : z V } since c 1 r (F 1 F 1 ) = c 2 r (F 1 F 1 ). Then ρ r (Φ r c 1, Φ r c 2 ) µ ρ r (c 1, c 2 ). As in the proof of Theorem 1, we can apply the fiber contraction principle to find c F β such that Φ r (c) = c. Let s ΓJ β ( (M, V ), M) be given by s(z) = (c(z), j β (pr 3 z)), i.e., the components of s in F 3 in the range is like the jet of the identity function on fibers zero derivatives in the directions along V. (This has meaning at the jet level but not as maps.) By the uniform convergence of Φ k β (jβ pr) to c, it follows that s satisfies the conditions of the Whitney Extension Theorem. There exists a C β h such that j β h(z) = s(z) for z V. The map h is a diffeomorphism on a neighborhood of V because of the form of the derivatives at points of V. Let g = hfh 1 g 1 = pr g. At the level of jets for z V, j β (fv -1h 1f)(z) = j β (h 1 )(z) j β (pr g h)(z) = j β (h 1 f)(z), so j β (g 1 )(z) = j β (pr g)(z) = j β (f V pr)(z) has the derivatives zero in the direction of F 3 as claimed. 6 This completes the proof of Theorem Proof of Corollary 4 Proof. Since W s (V, f) is C α, we can restrict the map to this space assume f is contracting along V. By applying Theorem 2, we can assume D j 3 (pr f)(x) = 0 for 1 j β x V. Define g 1 : U V by g 1 (x) = f 1 pr(x). In the proof of Theorem 1, replace a x = Dg 1 (x) by a x = Dg1 1 (x) where g1-1 = (f V ) -1 : V V. Next consider jets in J r = J r (η(δ), V ) instead of J r (η(δ), M). Define Φ r : ΓJ r ΓJ r by Φ r (c)(x) = j r (g 1 hf)(x) where j r h(f(x)) = c(f(x)). As in the earlier proof, we can find a c such that Φ β c = c c satisfies the conditions of the Whitney Extension Theorem. There exists a C β 1 function h : M V such that g 1 hf = h. The map h is a projection onto V defines a C β foliation. Since hf = g 1 h, it follows that f preserves the foliation. Since the foliation is tangent to E s, it follows it is W ss (x, f). References [1] R. Abraham J. Robbin, Transversal Mappings Flows, Benjamin, [2] G. Belickii, On the local conjugacy of diffeomorphisms, Sov. Math. Dokl., 11 (1970), No. 2, pp (English Translation). [3] J. Dieudonné, Foundations of Analysis, Academic Press, [4] M. Hirsch, Differential Topology, Springer-Verlag, New York, Heidelberg, Berlin, [5] M. Hirsch C. Pugh, Stable manifolds hyperbolic sets, Proceeding of Symposia in Pure Mathematics, 14 (1970), Amer. Math. Soc., pp [6] M. Hirsch, C. Pugh, M. Shub, Invariant manifolds, Bulletin of Amer. Math. Soc., 76 (1970), pp The argument of this paragraph is written with a few more details than the original paper.

11 DIFFERENTIABLE CONJUGACY 11 [7] M. Hirsch, C. Pugh, M. Shub, Invariant manifolds, Lecture notes in Mathematics, 583 (1977), Berlin New York. [8] M. Hirsch, J. Palis, C. Pugh, M. Shub, Neighborhoods of hyperbolic sets, Inventiones Math, 9 (1970), pp [9] E. Nelson, Topic in Dynamics I, Flows, Mathematical Notes, Princeton Press, [10] C. Pugh M. Shub, Linearizing normally hyperbolic diffeomorphisms flows, Inven. Math., 10 (1970), pp [11] S. Sternberg, On the structure of local homeomorphisms of Euclidean n-space, II, Amer. J. Math., 80 (1958), pp [12] F. Takens, Partially hyperbolic fixed points, Topology 10 (1971), pp Department of Mathematics, Northwestern University, Evanston IL address: clark@math.northwestern.edu

MARKOV PARTITIONS FOR HYPERBOLIC SETS

MARKOV PARTITIONS FOR HYPERBOLIC SETS MARKOV PARTITIONS FOR HYPERBOLIC SETS TODD FISHER, HIMAL RATHNAKUMARA Abstract. We show that if f is a diffeomorphism of a manifold to itself, Λ is a mixing (or transitive) hyperbolic set, and V is a neighborhood

More information

TRIVIAL CENTRALIZERS FOR AXIOM A DIFFEOMORPHISMS

TRIVIAL CENTRALIZERS FOR AXIOM A DIFFEOMORPHISMS TRIVIAL CENTRALIZERS FOR AXIOM A DIFFEOMORPHISMS TODD FISHER Abstract. We show there is a residual set of non-anosov C Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer.

More information

1.4 The Jacobian of a map

1.4 The Jacobian of a map 1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p

More information

April 13, We now extend the structure of the horseshoe to more general kinds of invariant. x (v) λ n v.

April 13, We now extend the structure of the horseshoe to more general kinds of invariant. x (v) λ n v. April 3, 005 - Hyperbolic Sets We now extend the structure of the horseshoe to more general kinds of invariant sets. Let r, and let f D r (M) where M is a Riemannian manifold. A compact f invariant set

More information

p(r)=hmsup sup (r»),!! 1^ n >oo zeb

p(r)=hmsup sup (r»),!! 1^ n >oo zeb INVARIANT MANIFOLDS BY M. W. HIRSCH, C. C. PUGH AND M. SHUB Communicated by Stephen Smale, April 29, 1970 0. Introduction. Let M be a finite dimensional Riemann manifold without boundary. Kupka [5], Sacker

More information

TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS

TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS ANDY HAMMERLINDL ABSTRACT. We give theorems which establish the existence of a dominated splitting and further properties, such as partial hyperbolicity.

More information

Hadamard and Perron JWR. October 18, On page 23 of his famous monograph [2], D. V. Anosov writes

Hadamard and Perron JWR. October 18, On page 23 of his famous monograph [2], D. V. Anosov writes Hadamard and Perron JWR October 18, 1999 On page 23 of his famous monograph [2], D. V. Anosov writes Every five years or so, if not more often, someone discovers the theorem of Hadamard and Perron proving

More information

Lecture 11 Hyperbolicity.

Lecture 11 Hyperbolicity. Lecture 11 Hyperbolicity. 1 C 0 linearization near a hyperbolic point 2 invariant manifolds Hyperbolic linear maps. Let E be a Banach space. A linear map A : E E is called hyperbolic if we can find closed

More information

HYPERBOLIC SETS WITH NONEMPTY INTERIOR

HYPERBOLIC SETS WITH NONEMPTY INTERIOR HYPERBOLIC SETS WITH NONEMPTY INTERIOR TODD FISHER, UNIVERSITY OF MARYLAND Abstract. In this paper we study hyperbolic sets with nonempty interior. We prove the folklore theorem that every transitive hyperbolic

More information

Robustly transitive diffeomorphisms

Robustly transitive diffeomorphisms Robustly transitive diffeomorphisms Todd Fisher tfisher@math.byu.edu Department of Mathematics, Brigham Young University Summer School, Chengdu, China 2009 Dynamical systems The setting for a dynamical

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE FUNCTION THEOREM and SURFACES IN R n INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that

More information

Lipschitz shadowing implies structural stability

Lipschitz shadowing implies structural stability Lipschitz shadowing implies structural stability Sergei Yu. Pilyugin Sergei B. Tihomirov Abstract We show that the Lipschitz shadowing property of a diffeomorphism is equivalent to structural stability.

More information

Transversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2

Transversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2 Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let

More information

ABSOLUTE CONTINUITY OF FOLIATIONS

ABSOLUTE CONTINUITY OF FOLIATIONS ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this

More information

Dynamics of Group Actions and Minimal Sets

Dynamics of Group Actions and Minimal Sets University of Illinois at Chicago www.math.uic.edu/ hurder First Joint Meeting of the Sociedad de Matemática de Chile American Mathematical Society Special Session on Group Actions: Probability and Dynamics

More information

MULTIDIMENSIONAL SINGULAR λ-lemma

MULTIDIMENSIONAL SINGULAR λ-lemma Electronic Journal of Differential Equations, Vol. 23(23), No. 38, pp.1 9. ISSN: 172-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) MULTIDIMENSIONAL

More information

Analysis III Theorems, Propositions & Lemmas... Oh My!

Analysis III Theorems, Propositions & Lemmas... Oh My! Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In

More information

EQUIVARIANT DYNAMICAL SYSTEMS

EQUIVARIANT DYNAMICAL SYSTEMS EQUIVARIANT DYNAMICAL SYSTEMS BY MIKE FIELD 1 Communicated by Stephen Smale, May 11, 1970 In this note we consider equivariant vector fields and diffeomorphisms and present results which generalise some

More information

The dynamical zeta function

The dynamical zeta function The dynamical zeta function JWR April 30, 2008 1. An invertible integer matrix A GL n (Z generates a toral automorphism f : T n T n via the formula f π = π A, π : R n T n := R n /Z n The set Fix(f := {x

More information

A TALE OF TWO CONFORMALLY INVARIANT METRICS

A TALE OF TWO CONFORMALLY INVARIANT METRICS A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic

More information

A LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS

A LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS A LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS SLOBODAN N. SIMIĆ Abstract. Whereas subriemannian geometry usually deals with smooth horizontal distributions, partially hyperbolic

More information

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39) 2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ

More information

SARD S THEOREM ALEX WRIGHT

SARD S THEOREM ALEX WRIGHT SARD S THEOREM ALEX WRIGHT Abstract. A proof of Sard s Theorem is presented, and applications to the Whitney Embedding and Immersion Theorems, the existence of Morse functions, and the General Position

More information

ON FRACTAL DIMENSION OF INVARIANT SETS

ON FRACTAL DIMENSION OF INVARIANT SETS ON FRACTAL DIMENSION OF INVARIANT SETS R. MIRZAIE We give an upper bound for the box dimension of an invariant set of a differentiable function f : U M. Here U is an open subset of a Riemannian manifold

More information

Bordism and the Pontryagin-Thom Theorem

Bordism and the Pontryagin-Thom Theorem Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such

More information

WHAT IS A CHAOTIC ATTRACTOR?

WHAT IS A CHAOTIC ATTRACTOR? WHAT IS A CHAOTIC ATTRACTOR? CLARK ROBINSON Abstract. Devaney gave a mathematical definition of the term chaos, which had earlier been introduced by Yorke. We discuss issues involved in choosing the properties

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition

More information

1. Bounded linear maps. A linear map T : E F of real Banach

1. Bounded linear maps. A linear map T : E F of real Banach DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:

More information

Hyperbolic homeomorphisms and bishadowing

Hyperbolic homeomorphisms and bishadowing ANNALES POLONICI MATHEMATICI LXV.2 (1997) Hyperbolic homeomorphisms and bishadowing by P. E. Kloeden (Geelong, Victoria) and J. Ombach (Kraków) Abstract. Hyperbolic homeomorphisms on compact manifolds

More information

Essential hyperbolicity versus homoclinic bifurcations. Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals

Essential hyperbolicity versus homoclinic bifurcations. Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals Essential hyperbolicity versus homoclinic bifurcations Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals Generic dynamics Consider: M: compact boundaryless manifold,

More information

DECOMPOSING DIFFEOMORPHISMS OF THE SPHERE. inf{d Y (f(x), f(y)) : d X (x, y) r} H

DECOMPOSING DIFFEOMORPHISMS OF THE SPHERE. inf{d Y (f(x), f(y)) : d X (x, y) r} H DECOMPOSING DIFFEOMORPHISMS OF THE SPHERE ALASTAIR FLETCHER, VLADIMIR MARKOVIC 1. Introduction 1.1. Background. A bi-lipschitz homeomorphism f : X Y between metric spaces is a mapping f such that f and

More information

We have the following immediate corollary. 1

We have the following immediate corollary. 1 1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E

More information

arxiv: v1 [math.ds] 6 Jun 2016

arxiv: v1 [math.ds] 6 Jun 2016 The entropy of C 1 -diffeomorphisms without a dominated splitting Jérôme Buzzi, Sylvain Crovisier, Todd Fisher arxiv:1606.01765v1 [math.ds] 6 Jun 2016 Tuesday 7 th June, 2016 Abstract A classical construction

More information

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By

More information

Adapted metrics for dominated splittings

Adapted metrics for dominated splittings Adapted metrics for dominated splittings Nikolaz Gourmelon January 15, 27 Abstract A Riemannian metric is adapted to an hyperbolic set of a diffeomorphism if, in this metric, the expansion/contraction

More information

Bredon, Introduction to compact transformation groups, Academic Press

Bredon, Introduction to compact transformation groups, Academic Press 1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions

More information

Introduction to Continuous Dynamical Systems

Introduction to Continuous Dynamical Systems Lecture Notes on Introduction to Continuous Dynamical Systems Fall, 2012 Lee, Keonhee Department of Mathematics Chungnam National Univeristy - 1 - Chap 0. Introduction What is a dynamical system? A dynamical

More information

HÖLDER FOLIATIONS, REVISITED C. PUGH, M. SHUB AND A. WILKINSON

HÖLDER FOLIATIONS, REVISITED C. PUGH, M. SHUB AND A. WILKINSON HÖLDER FOLIATIONS, REVISITED C. PUGH, M. SHUB AND A. WILKINSON Abstract. We investigate transverse Hölder regularity of some canonical leaf conjugacies in partially hyperbolic dynamical systems and transverse

More information

The Structure of Hyperbolic Sets

The Structure of Hyperbolic Sets The Structure of Hyperbolic Sets p. 1/35 The Structure of Hyperbolic Sets Todd Fisher tfisher@math.umd.edu Department of Mathematics University of Maryland, College Park The Structure of Hyperbolic Sets

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit

More information

Lecture 18 Stable Manifold Theorem

Lecture 18 Stable Manifold Theorem Lecture 18 Stable Manifold Theorem March 4, 2008 Theorem 0.1 (Stable Manifold Theorem) Let f diff k (M) and Λ be a hyperbolic set for f with hyperbolic constants λ (0, 1) and C 1. Then there exists an

More information

LINEAR CHAOS? Nathan S. Feldman

LINEAR CHAOS? Nathan S. Feldman LINEAR CHAOS? Nathan S. Feldman In this article we hope to convience the reader that the dynamics of linear operators can be fantastically complex and that linear dynamics exhibits the same beauty and

More information

Analysis II: The Implicit and Inverse Function Theorems

Analysis II: The Implicit and Inverse Function Theorems Analysis II: The Implicit and Inverse Function Theorems Jesse Ratzkin November 17, 2009 Let f : R n R m be C 1. When is the zero set Z = {x R n : f(x) = 0} the graph of another function? When is Z nicely

More information

Continuous Functions on Metric Spaces

Continuous Functions on Metric Spaces Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0

More information

arxiv:math/ v2 [math.gn] 21 Jun 2002

arxiv:math/ v2 [math.gn] 21 Jun 2002 ON FINITE-DIMENSIONAL MAPS II arxiv:math/0202114v2 [math.gn] 21 Jun 2002 H. MURAT TUNCALI AND VESKO VALOV Abstract. Let f : X Y be a perfect n-dimensional surjective map of paracompact spaces and Y a C-space.

More information

THE SHIFT SPACE FOR AN INFINITE ITERATED FUNCTION SYSTEM

THE SHIFT SPACE FOR AN INFINITE ITERATED FUNCTION SYSTEM THE SHIFT SPACE FOR AN INFINITE ITERATED FUNCTION SYSTEM ALEXANDRU MIHAIL and RADU MICULESCU The aim of the paper is to define the shift space for an infinite iterated function systems (IIFS) and to describe

More information

DYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,

DYNAMICAL SYSTEMS PROBLEMS.  asgor/ (1) Which of the following maps are topologically transitive (minimal, DYNAMICAL SYSTEMS PROBLEMS http://www.math.uci.edu/ asgor/ (1) Which of the following maps are topologically transitive (minimal, topologically mixing)? identity map on a circle; irrational rotation of

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say

More information

THE HARTMAN-GROBMAN THEOREM AND THE EQUIVALENCE OF LINEAR SYSTEMS

THE HARTMAN-GROBMAN THEOREM AND THE EQUIVALENCE OF LINEAR SYSTEMS THE HARTMAN-GROBMAN THEOREM AND THE EQUIVALENCE OF LINEAR SYSTEMS GUILLAUME LAJOIE Contents 1. Introduction 2 2. The Hartman-Grobman Theorem 2 2.1. Preliminaries 2 2.2. The discrete-time Case 4 2.3. The

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS

COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition

More information

Stable ergodicity and Anosov flows

Stable ergodicity and Anosov flows Stable ergodicity and Anosov flows Keith Burns, Charles Pugh, and Amie Wilkinson July 30, 1997 Abstract In this note we prove that if M is a 3-manifold and ϕ t : M M is a C 2, volume-preserving Anosov

More information

Math 147, Homework 5 Solutions Due: May 15, 2012

Math 147, Homework 5 Solutions Due: May 15, 2012 Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is

More information

Abundance of stable ergodicity

Abundance of stable ergodicity Abundance of stable ergodicity Christian Bonatti, Carlos Matheus, Marcelo Viana, Amie Wilkinson October 5, 2004 Abstract We consider the set PH ω (M) of volume preserving partially hyperbolic diffeomorphisms

More information

Whitney topology and spaces of preference relations. Abstract

Whitney topology and spaces of preference relations. Abstract Whitney topology and spaces of preference relations Oleksandra Hubal Lviv National University Michael Zarichnyi University of Rzeszow, Lviv National University Abstract The strong Whitney topology on the

More information

UNIFORM SUBHARMONIC ORBITS FOR SITNIKOV PROBLEM

UNIFORM SUBHARMONIC ORBITS FOR SITNIKOV PROBLEM Manuscript submitted to Website: http://aimsciences.org AIMS Journals Volume 00, Number 0, Xxxx XXXX pp. 000 000 UNIFORM SUBHARMONIC ORBITS FOR SITNIKOV PROBLEM CLARK ROBINSON Abstract. We highlight the

More information

ON THE MARGULIS CONSTANT FOR KLEINIAN GROUPS, I

ON THE MARGULIS CONSTANT FOR KLEINIAN GROUPS, I Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 21, 1996, 439 462 ON THE MARGULIS CONSTANT FOR KLEINIAN GROUPS, I F.W. Gehring and G.J. Martin University of Michigan, Department of Mathematics

More information

PARTIAL HYPERBOLICITY, LYAPUNOV EXPONENTS AND STABLE ERGODICITY

PARTIAL HYPERBOLICITY, LYAPUNOV EXPONENTS AND STABLE ERGODICITY PARTIAL HYPERBOLICITY, LYAPUNOV EXPONENTS AND STABLE ERGODICITY K. BURNS, D. DOLGOPYAT, YA. PESIN Abstract. We present some results and open problems about stable ergodicity of partially hyperbolic diffeomorphisms

More information

Foliation dynamics, shape and classification

Foliation dynamics, shape and classification Foliation dynamics, shape and classification Steve Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Theorem: [Denjoy, 1932] There exist a C 1 -foliation F of codimension-1 with an exceptional

More information

ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY

ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY AND ω-limit SETS CHRIS GOOD AND JONATHAN MEDDAUGH Abstract. Let f : X X be a continuous map on a compact metric space, let ω f be the collection of ω-limit

More information

Hyperbolic Dynamics. Todd Fisher. Department of Mathematics University of Maryland, College Park. Hyperbolic Dynamics p.

Hyperbolic Dynamics. Todd Fisher. Department of Mathematics University of Maryland, College Park. Hyperbolic Dynamics p. Hyperbolic Dynamics p. 1/36 Hyperbolic Dynamics Todd Fisher tfisher@math.umd.edu Department of Mathematics University of Maryland, College Park Hyperbolic Dynamics p. 2/36 What is a dynamical system? Phase

More information

MATH 614 Dynamical Systems and Chaos Lecture 24: Bifurcation theory in higher dimensions. The Hopf bifurcation.

MATH 614 Dynamical Systems and Chaos Lecture 24: Bifurcation theory in higher dimensions. The Hopf bifurcation. MATH 614 Dynamical Systems and Chaos Lecture 24: Bifurcation theory in higher dimensions. The Hopf bifurcation. Bifurcation theory The object of bifurcation theory is to study changes that maps undergo

More information

NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES

NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES SHILIN U ABSTRACT. The purpose of this note is to review the construction of smooth and holomorphic jet bundles and its relation to formal neighborhood of

More information

Questions of autonomy

Questions of autonomy Questions of autonomy Marc Chaperon Institut de Mathématiques de Jussieu-Paris Rive Gauche Université Paris 7 Geometry and Dynamics in interaction Observatoire de Paris, January 15, 2018 Everything will

More information

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 172, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS

More information

HÖLDER FOLIATIONS, REVISITED C. PUGH, M. SHUB, AND A. WILKINSON

HÖLDER FOLIATIONS, REVISITED C. PUGH, M. SHUB, AND A. WILKINSON HÖLDER FOLIATIONS, REVISITED C. PUGH, M. SHUB, AND A. WILKINSON Abstract. We investigate transverse Hölder regularity of some canonical leaf conjugacies in normally hyperbolic dynamical systems and transverse

More information

A Convexity Theorem For Isoparametric Submanifolds

A Convexity Theorem For Isoparametric Submanifolds A Convexity Theorem For Isoparametric Submanifolds Marco Zambon January 18, 2001 1 Introduction. The main objective of this paper is to discuss a convexity theorem for a certain class of Riemannian manifolds,

More information

Topological conjugacy and symbolic dynamics

Topological conjugacy and symbolic dynamics Chapter 4 Topological conjugacy and symbolic dynamics Conjugacy is about when two maps have precisely the same dynamical behaviour. Equivalently it is about changing the co-ordinate system we use to describe

More information

11 Chaos in Continuous Dynamical Systems.

11 Chaos in Continuous Dynamical Systems. 11 CHAOS IN CONTINUOUS DYNAMICAL SYSTEMS. 47 11 Chaos in Continuous Dynamical Systems. Let s consider a system of differential equations given by where x(t) : R R and f : R R. ẋ = f(x), The linearization

More information

Classification of matchbox manifolds

Classification of matchbox manifolds Classification of matchbox manifolds Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Workshop on Dynamics of Foliations Steven Hurder (UIC) Matchbox Manifolds April 28, 2010 1

More information

Math 225A: Differential Topology, Homework 4

Math 225A: Differential Topology, Homework 4 Math 225A: Differential Topology, Homework 4 Ian Coley February 10, 2014 Problem 1.5.4. Let X and Z be transversal submanifolds of Y. Prove that if y X Z, then T y (X Z) = T y (X) T y (Z). Since X Z is

More information

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

SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS Dynamic Systems and Applications 19 (2010) 405-414 SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS YUHU WU 1,2 AND XIAOPING XUE 1 1 Department of Mathematics, Harbin

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Peak Point Theorems for Uniform Algebras on Smooth Manifolds

Peak Point Theorems for Uniform Algebras on Smooth Manifolds Peak Point Theorems for Uniform Algebras on Smooth Manifolds John T. Anderson and Alexander J. Izzo Abstract: It was once conjectured that if A is a uniform algebra on its maximal ideal space X, and if

More information

MINIMAL YET MEASURABLE FOLIATIONS

MINIMAL YET MEASURABLE FOLIATIONS MINIMAL YET MEASURABLE FOLIATIONS G. PONCE, A. TAHZIBI, AND R. VARÃO Abstract. In this paper we mainly address the problem of disintegration of Lebesgue measure along the central foliation of volume preserving

More information

PEKING UNIVERSITY DOCTORAL DISSERTATION

PEKING UNIVERSITY DOCTORAL DISSERTATION 1 PEKING UNIVERSITY DOCTORAL DISSERTATION TITLE: Anosov Endomorphisms: Shift Equivalence And Shift Equivalence Classes NAME: ZHANG Meirong STUDENT NO.: 18601804 DEPARTMENT: Mathematics SPECIALITY: Pure

More information

DIFFERENTIAL FORMS AND COHOMOLOGY

DIFFERENTIAL FORMS AND COHOMOLOGY DIFFERENIAL FORMS AND COHOMOLOGY ONY PERKINS Goals 1. Differential forms We want to be able to integrate (holomorphic functions) on manifolds. Obtain a version of Stokes heorem - a generalization of the

More information

TOPOLOGICAL STRUCTURE OF PARTIALLY HYPERBOLIC ATTRACTORS. José F. Alves

TOPOLOGICAL STRUCTURE OF PARTIALLY HYPERBOLIC ATTRACTORS. José F. Alves TOPOLOGICAL STRUCTURE OF PARTIALLY HYPERBOLIC ATTRACTORS by José F. Alves Contents Introduction............................................................ 2 1. Partially hyperbolic sets..............................................

More information

Personal notes on renormalization

Personal notes on renormalization Personal notes on renormalization Pau Rabassa Sans April 17, 2009 1 Dynamics of the logistic map This will be a fast (and selective) review of the dynamics of the logistic map. Let us consider the logistic

More information

THEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].

THEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1]. THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure

More information

A fixed point theorem for smooth extension maps

A fixed point theorem for smooth extension maps A fixed point theorem for smooth extension maps Nirattaya Khamsemanan Robert F. Brown Catherine Lee Sompong Dhompongsa Abstract Let X be a compact smooth n-manifold, with or without boundary, and let A

More information

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).

More information

Abundance of stable ergodicity

Abundance of stable ergodicity Abundance of stable ergodicity Christian Bonatti, Carlos atheus, arcelo Viana, Amie Wilkinson December 7, 2002 Abstract We consider the set PH ω () of volume preserving partially hyperbolic diffeomorphisms

More information

BIG PICARD THEOREMS FOR HOLOMORPHIC MAPPINGS INTO THE COMPLEMENT OF 2n + 1 MOVING HYPERSURFACES IN CP n

BIG PICARD THEOREMS FOR HOLOMORPHIC MAPPINGS INTO THE COMPLEMENT OF 2n + 1 MOVING HYPERSURFACES IN CP n Available at: http://publications.ictp.it IC/2008/036 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL

More information

LECTURE Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial

LECTURE Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial LECTURE. Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial f λ : R R x λx( x), where λ [, 4). Starting with the critical point x 0 := /2, we

More information

DYNAMICAL COHERENCE OF PARTIALLY HYPERBOLIC DIFFEOMORPHISMS OF THE 3-TORUS

DYNAMICAL COHERENCE OF PARTIALLY HYPERBOLIC DIFFEOMORPHISMS OF THE 3-TORUS DYNAMICAL COHERENCE OF PARTIALLY HYPERBOLIC DIFFEOMORPHISMS OF THE 3-TORUS M. BRIN, D. BURAGO, AND S. IVANOV Abstract. We show that partially hyperbolic diffeomorphisms of the 3-torus are dynamically coherent.

More information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds

More information

Rigidity of certain solvable actions on the torus

Rigidity of certain solvable actions on the torus Rigidity of certain solvable actions on the torus Masayuki ASAOKA July 24, 2014 Abstract An analog of the Baumslag-Solitar group BS(1, k) acts on the torus naturally. The action is not locally rigid in

More information

STABLE ERGODICITY FOR PARTIALLY HYPERBOLIC ATTRACTORS WITH NEGATIVE CENTRAL EXPONENTS

STABLE ERGODICITY FOR PARTIALLY HYPERBOLIC ATTRACTORS WITH NEGATIVE CENTRAL EXPONENTS STABLE ERGODICITY FOR PARTIALLY HYPERBOLIC ATTRACTORS WITH NEGATIVE CENTRAL EXPONENTS K. BURNS, D. DOLGOPYAT, YA. PESIN, M. POLLICOTT Dedicated to G. A. Margulis on the occasion of his 60th birthday Abstract.

More information

DYNAMICS ON THE CIRCLE I

DYNAMICS ON THE CIRCLE I DYNAMICS ON THE CIRCLE I SIDDHARTHA GADGIL Dynamics is the study of the motion of a body, or more generally evolution of a system with time, for instance, the motion of two revolving bodies attracted to

More information

Admissible Vector Fields of Codimension-One Plane Fields and Their Stability Property

Admissible Vector Fields of Codimension-One Plane Fields and Their Stability Property Ann. Rep. Fac. Edu., Iwate Admissible Univ., Vol.71(March, Vector Fields and 2012),45 Their Stability ~ 52 Property Admissible Vector Fields of Codimension-One Plane Fields and Their Stability Property

More information

DEVELOPMENT OF MORSE THEORY

DEVELOPMENT OF MORSE THEORY DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined

More information

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold

More information

Metric Spaces Math 413 Honors Project

Metric Spaces Math 413 Honors Project Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only

More information

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,

More information

Hausdorff dimension for horseshoes

Hausdorff dimension for horseshoes Ergod. Th. & Dyam. Sys. (1983), 3, 251-260 Printed in Great Britain Hausdorff dimension for horseshoes HEATHER McCLUSKEY AND ANTHONY MANNING Mathematics Institute, University of Warwick, Coventry CVA 1AL,

More information

REVERSALS ON SFT S. 1. Introduction and preliminaries

REVERSALS ON SFT S. 1. Introduction and preliminaries Trends in Mathematics Information Center for Mathematical Sciences Volume 7, Number 2, December, 2004, Pages 119 125 REVERSALS ON SFT S JUNGSEOB LEE Abstract. Reversals of topological dynamical systems

More information

ENTROPY, WEIL-PETERSSON TRANSLATION DISTANCE AND GROMOV NORM FOR SURFACE AUTOMORPHISMS SADAYOSHI KOJIMA. ϕ WP = inf

ENTROPY, WEIL-PETERSSON TRANSLATION DISTANCE AND GROMOV NORM FOR SURFACE AUTOMORPHISMS SADAYOSHI KOJIMA. ϕ WP = inf ENTROPY, WEIL-PETERSSON TRANSLATION DISTANCE AND GROMOV NORM FOR SURFACE AUTOMORPHISMS SADAYOSHI KOJIMA Abstract. Thanks to a theorem of Brock on comparison of Weil-Petersson translation distances and

More information

STABILITY THEOREMS AND HYPERBOLICITY IN DYNAMICAL SYSTEMS

STABILITY THEOREMS AND HYPERBOLICITY IN DYNAMICAL SYSTEMS ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 7, Number 3, Summer 1977 STABILITY THEOREMS AND HYPERBOLICITY IN DYNAMICAL SYSTEMS CLARK ROBINSON* ABSTRACT. We present an approach to proving structural stability

More information