
TL;DR
This paper introduces a geometric method to prove positive Lyapunov exponents in skew product systems, demonstrating non-uniform hyperbolicity in certain conservative diffeomorphisms with complex center dynamics, relevant to Arnold diffusion models.
Contribution
It presents a novel geometric approach to establish hyperbolicity in skew products with standard map fibers, expanding the class of systems with known positive Lyapunov exponents.
Findings
Established non-uniform hyperbolicity for skew products with standard map fibers.
Constructed new examples of partially hyperbolic diffeomorphisms with complex center dynamics.
Method applicable to cocycles over shift spaces without low-dimensional restrictions.
Abstract
We develop a general geometric method to establish the existence of positive Lyapunov exponents for a class of skew products. The technique is applied to show non-uniform hyperbolicity of some conservative partially hyperbolic diffeomorphisms having as center dynamics coupled products of standard maps, notably for skew-products whose fiber dynamics is given by (a continuum of parameters in) the Froeschl\'e family. These types of coupled systems appear as some induced maps in models for the study of Arnold diffusion. Consequently, we are able to present new examples of partially hyperbolic diffeomorphisms having rich high dimensional center dynamics. The methods are also suitable for studying cocycles over shift spaces, and do not demand any low dimensionality condition on the fiber.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Random products of Standard maps
Pablo D. Carrasco
ICEx-UFMG, Avda. Presidente Antônio Carlos 6627, Belo Horizonte-MG, BR31270-901
Abstract.
We develop a general geometric method to establish the existence of positive Lyapunov exponents for a class of skew products. The technique is applied to show non-uniform hyperbolicity of some conservative partially hyperbolic diffeomorphisms having as center dynamics coupled products of standard maps, notably for skew-products whose fiber dynamics is given by (a continuum of parameters in) the Froeschlé family. These types of coupled systems appear as some induced maps in models for the study of Arnold diffusion.
Consequently, we are able to present new examples of partially hyperbolic diffeomorphisms having rich high dimensional center dynamics. The methods are also suitable for studying cocycles over shift spaces, and do not demand any low dimensionality condition on the fiber.
Key words and phrases:
Standard Map, Froeschlé family, Non-uniform Hyperbolicity, Partially Hyperbolic Diffeomorphisms, Physical measures. Arnold diffusion.
1991 Mathematics Subject Classification:
37D30,57R30
Contents
-
2.1 Products of conservative systems with some hyperbolicity
-
3.2.2 Higher dimensional examples: random products of (coupled) standard maps.
1. Introduction
Let be a diffeomorphism of a compact Riemannian manifold preserving a smooth probability measure . A central tool to detect chaotic behavior in the system is by means of its Lyapunov exponents.
Definition 1.1**.**
For , the Lyapunov exponent of is
[TABLE]
It is a consequence of Oseledet’s Multiplicative Ergodic Theorem [Ose68] that the above limit exists for almost every and every . The existence of non zero Lyapunov exponents on a set of positive measure guarantees abundance of exponentially diverging orbits, either for the future or the past. Of particular importance is the case when all exponents are different from zero.
Definition 1.2**.**
The system is non-uniformly hyperbolic (NUH) if its Lyapunov exponents are non-zero -a.e., in other words for almost every it holds
[TABLE]
The concept of non-uniformly hyperbolicity was introduced by Y. Pesin as a generalization of the classical hyperbolic diffeomorphisms, and allow for much more flexibility than its uniform counterpart. However, notwithstanding the large industry dedicated to their study, NUH systems are still not very well understood, mainly because establishing the existence of non zero exponents requires an asymptotic analysis of almost every orbit. This difficulty is reflected in the very limited available pool of examples of truly (i.e. non Anosov) NUH diffeomorphisms.
The obstacle appears already for conservative surface maps, where showing non-uniform hyperbolicity is reduced (since the sum of exponents for a conservative map is zero [Led84]) to establishing positivity of a single exponent. Perhaps the most famous example where non-uniform hyperbolicity is unknown is given by Chirikov-Taylor standard family (cf. [CS08]): for , is the diffeomorphism given by
[TABLE]
Interacting pairs of these maps were introduced to study Arnold diffusion for systems of coupled oscillators [Chi79], albeit the original research was mainly numerical. Each preserves the Lebesgue measure, and it is a major open problem in smooth ergodic theory to show the existence of non-zero Lyapunov exponents. Such behavior is evidenced numerically (cf. [CS08]), but currently NUH of is still unknown for even a single parameter [PC10]. It is know however that the dynamics of is very complicated. See for example [Dua94, Gor12] and references therein.
In [BC14] P. Berger and the author proposed to study a random version of the standard map. We considered a linear hyperbolic automorphism of and studied the diffeomorphism111Here denotes the integer part of .
[TABLE]
The coupled map can be seen as a random perturbation of the dynamics of : computing its derivative one verifies that the action coincides with , so one can think as a family of standard maps driven by the random motion determined by the base dynamics. This point of view (studying random versions of maps) is well established, and related to the study of classical fast-slow systems of differential equations. For considerations on the statistical properties of similar maps the reader can check for example [Dol05, KKM17, dSL18].
In that article we established the following.
Theorem**.**
There exists such that for one can find a neighborhood of and such that
[TABLE]
Thus every such (in particular ) is NUH. The constant goes to infinity as .
The goal of this paper is to refine some of the ideas and techniques introduced in [BC14] and establish positivity of center exponents for a larger class of examples. In the referred article most of the arguments were subordinate to a specific case, as the main motivation of the authors was to study a concrete center behavior (given by the standard family), whereas here we are more interested in developing general results with ample applicability, particularly without the low dimensionality restriction in the fiber. For unfolding broad methods, we fine-tune the central notions of admissible curves and adapted fields introduced in [BC14], providing a more abstract definition readily suitable for dealing with more general systems.
Our theorems will be stated in large generality, hence it seems appropriate to give an example of their consequences. The reader is referred to the third Section where more general versions of this and other examples are discussed thoroughly, and where a comparison between the present methods and others in the literature is also given.
Consider an hyperbolic matrix , a natural number and ; define by the formula
[TABLE]
where . Then is a generalized version of the map of [BC14], having coupled standard maps acting on the fiber instead of just one. Note in particular that if then , the product taken times.
As consequence of the results in this article we get the following.
Theorem 1.1**.**
There exists such that for one can find a neighborhood of such that
[TABLE]
It is worth to point out that other available methods in the literature seem to be unfitted to study this type of map, and the above result is, at least as known to the author, the only formal proof of the existence of non-zero Lyapunov exponents for this higher dimensional version of coupled standard maps. It is also interesting to remark that the map is partially hyperbolic (see the next section for the definition), hence in passing we provide a concrete example of a partially hyperbolic system with interesting higher dimensional center behavior.
A particular instance of coupled standard maps is given by the family of diffeomorphisms ,
[TABLE]
where above is a small parameter. Similar types of systems appeared in the study of Arnold diffusion; in the specific case of above, an equivalent map was studied by B. P. Wood, A. J. Lichtenberg and M. A. Lieberman in [WLL90] where they provided numerical evidence of Arnold diffusion between the stochastic layers, for small . See also the Froeschlé family example in the third Section. It is apparent that these systems are at least as complex, if not more, than . From the previous theorem we get.
Corollary 1.1**.**
Define the family of maps by
[TABLE]
where is hyperbolic. Then there exists such that for one can find such that for the map is - robustly NUH, meaning that any volume preserving map which is sufficiently - close to is also NUH.
2. Statement of the Main Result
2.1. Products of conservative systems with some hyperbolicity
A difficult and not well understood problem in smooth ergodic theory is establishing the existence of non zero exponents for systems that are hyperbolic on a large but not invariant set. One of the main complications is that in visits to the complement of the hyperbolic set, vectors that were previously expanded can be sent to one of the contracted directions, thus loosing expansion. This complication is particularly present in the conservative setting, since typically the complement of the hyperbolic set has positive measure, and thus is recurrent. The Chirikov-Taylor standard map family (2) falls into this category; for a higher dimensional example one can simply take the product of several standard maps. As we mentioned before, no parameter such that any of these systems is NUH is currently known.
In this article we will be considering a random version of these products. In pursuit of generality and to free ourselves from the specific formula of the map, we will enumerate the properties required on each of the factors for our method to work. Nevertheless, we suggest the reader to keep in mind the specific example given in (4).
Notation:
Consider non-trivial sub-spaces such that . The cone of size centered around in is the set
[TABLE]
For such a set, denotes its closure in , and is the complementary cone of . We will mostly consider cones centered around in ; note that in this particular case such a cone is of the form
[TABLE]
whereas its complimentary cone is
[TABLE]
We will need to consider also finite decompositions of into sub-cones. For concreteness, let
[TABLE]
Then and . These notations extend naturally to cone fields on .
- -
If is a linear map between normed vector spaces, we denote its operator norm and conorm by
[TABLE]
In case that is invertible, it holds .
- -
Let be a compact manifold and a continuous vector bundle equipped with a Riemannian metric . If is a bundle map we will write
[TABLE]
where is the induced map by on . If is an automorphism, it holds
[TABLE]
- -
A subset of the form or is called a band of base , and we say that it has length . As a mild abuse of language, we also call a band to the union of finitely many sets as before, provided that the bases are in the same coordinate of .
To express quantitatively the required conditions we find convenient to work in the context of parametrized families. Consider a family of conservative diffeomorphisms satisfying the following conditions.
- i)
The existence of a continuous cone field on . Here we are identifying for . 2. ii)
The existence of bands whose bases are in the same coordinate of . The set will be referred as the critical region of . To simplify the exposition and with no loss of generality, we will assume that the bases of these bands are in the first coordinate.
We denote by the smallest expansion for vectors in at points outside the critical region, and by the smallest contraction at points in , i.e.
[TABLE]
Hypotheses on : there exist such that for large the following conditions are verified.
- S-1
It holds
- •
the length of the critical region converges to zero as goes to infinity,
[TABLE]
- •
Associated to in the decomposition of there exist bands such that and furthermore
[TABLE]
- •
The size of is bounded from below as a function of ,
[TABLE]
- •
Vectors in at points outside the critical region are uniformly expanded
[TABLE]
- •
The maximal contraction of is controlled by the expansion in the cone field by the following relation
[TABLE] 2. S-2
- •
Invariance of : if then .
- •
Restitution of the expansion direction: it holds
- –
then .
- –
then .
It is further assumed that the angle between and the boundary of is bounded away from zero uniformly in .
Remark 2.1**.**
- (1)
More generally, we could consider a finite decomposition into sub-cones . In this case we require the existence of associated bands satisfying analogous properties as the listed above. 2. (2)
The techniques of this article also permit to consider families with satisfying similar conditions. In this case, the bands are replaced by (finite union of) sets of the form , and there are some dimension restrictions that have to be imposed on the cones (if is a cone centered around then in order to satisfy the last part of S-2). Since this complicates the notation, and no compelling example of this situation seems available, the author decided to consider the case and leave the problem of the general case to the interested reader. See also the comments after the proof of Proposition 5.1.
It is worth to emphasize that the conditions postulated on do not guarantee positivity of any of its exponents. Note also that the quantitative requirement in the expansion hypothesis (the last part of S-1) is very weak.
We will be considering the product of factors satisfying above: as an mild abuse of language we say in this case that satisfies . We will identify (in the -th position), and likewise . In the same way, objects associated to the map will be denoted by the corresponding subscript (for example, denotes the critical region of ).
2.2. Partially hyperbolic skew products
As we mentioned in the Introduction there are very few available methods to establish non uniform hyperbolicity. It is not surprising then that a fair amount of the literature imposes some extra hypothesis on the map considered, customarily the existence of some uniformly hyperbolic directions. A case of special interest is when the diffeomorphism is partially hyperbolic. We recall the definition below.
Definition 2.1**.**
The diffeomorphism is weakly partially hyperbolic (wPH) if there exists a continuous -invariant splitting (i.e. ) and constants such that for every , for every unit vectors and for all it holds
- (1)
\left\|d_{p}f^{n}(v)\right\|\geq C\lambda^{n}\* (uniform expansion in ).* 2. (2)
\left\|d_{p}f^{n}(w)\right\|\leq K\cdot\left\|d_{p}f^{n}(v)\right\|\* (domination between and ).*
* is partially hyperbolic (PH) if both and are wPH: in this case there exists a -invariant splitting such that vectors in (resp. in ) are exponentially expanded (resp. contracted). The bundles are denominated the stable, unstable and center bundle of .*
See [Pes04, BDV05, CHHU17] for further information on Partially Hyperbolicity. We content ourselves reminding the reader that (weakly) partial hyperbolicity is a open condition.
If is PH, the Lyapunov exponents corresponding to are non-zero, so it is enough to study the Lyapunov exponents for vectors in (these will be referred as center exponents). It is fair to say that so far the main focus of research in this topic has been the case when the center exponents have a definite sign (all positive or negative), or when there exist dominated splitting among the subspaces corresponding to Lyapunov exponents of opposite signs222If is -invariant, we say that a -invariant sum is a dominated splitting if there exists such that for , and unit vectors it holds .. See for example [ABV00, Dol00, BDPP08, BDP02].
The map given in [BC14] is also PH, although of a different type. Its center bundle is two dimensional, with corresponding exponents of opposite signs, whereas it does not admit a dominated decomposition into one-dimensional sub-bundles, and even more, it is - robustly NUH. In the non-conservative case, results of the same type were obtained before by M. Viana [Via97].
A popular example of PH diffeomorphism are the so called PH skew products. Consider an Anosov diffeomorphism and let be a differentiable map. Given a smooth function , the skew product of and with respect to is the (bundle) map given as
[TABLE]
We denote and call the base map, the fiber map and the correlation map. The manifold is equipped with the product of any pair of metrics in .
Since is hyperbolic, natural domination conditions between and imply that is PH, i.e. a PH skew product, with center bundle
[TABLE]
If is the hyperbolic decomposition corresponding to , we extend these bundles to using the same nomenclature (i.e., ).
Note that the inverse of a skew product as defined before is not necessarily a skew-product, but rather of the form
[TABLE]
These types of systems are sometimes called fibered.
For establishing positivity of center exponents of (families of) skew products we require some control in the dynamics along unstable directions of the base map. We will make the following hypotheses.
Standing hypotheses for the rest of the article: The base maps of the skew products are linear automorphisms of the 2-torus, i.e. and . The correlation functions are linear333Meaning that they are induced by linear maps ..
The linearity condition on the correlation map is not central, and is used to simplify further requirements. On the other hand, our methods use strongly conformality of the action of on its unstable directions. The above hypotheses are strong, but even this case is not currently well understood and falls out the category of examples discussed in the literature (cf. third section); besides, we are more interested in the behavior of the map in the fiber directions. We will thus study families of PH skew products, where the fiber maps are given by a family satisfying S-1,S-2, and where the correlation functions determine a weak but non vacuous interplay between the strong unstable directions coming from the base dynamics and the fiber directions.
Remark 2.2**.**
The simplest case is when i.e. there exists a single cone defined in the complement of its critical region where vectors are expanded under the action of the derivative. An example of this situation is given by the (uncorrelated) product with , where is hyperbolic. Our techniques do no apply to these kind of map, although related cases are treated in Corollary A (cf. the next Section). It is known that conservative perturbations of above are NUH, provided that is small [Mar16].
2.3. Coupled families
In this part we state explicitly the conditions required on the correlation functions for the techniques in this article. If the reader so prefers, she/he can focus in the specific correlation function used in (4), where all conditions are more transparent to check.
Let be a family of skew products where satisfies S-1,S-2, and are uniformly hyperbolic. Associated to we have a decomposition into eigenspaces , and we choose unit vectors generating respectively with where . Note that since we are assuming that is linear, and .
For let be the projection onto the first coordinate of , namely
[TABLE]
Definition 2.2**.**
We say that the coupling in is adapted if
- A-1
- •
*, *
- •
There exists such that
[TABLE] 2. A-2
- •
.
- •
.
- •
**
Remark 2.3**.**
Above, it is tacitly assumed that (hence since preserves volume).
Condition A-1 simply establishes domination among the relevant quantities. It implies that for large the map is PH (Corollary 4.1), and moreover the angles converge to zero as (cf. Lemma 4.2). In practice, the norms of will behave polynomially in while is exponential, so A-1 will be simple to check. As for condition A-2, it means that provides a interaction of the unstable directions of with every and all these interactions are comparable and close to conformal (for some suitable metric on the center bundle of ).
Remark 2.4**.**
The choice of picking the first coordinate in the definition of is determined by the form of the critical region of . In the case where is a band in the other coordinate we need to modify accordingly. The reader will find no difficulty in adapting the results to this situation.
Main Theorem**.**
Consider the family with hyperbolic, satisfying conditions S-1, S-2, and where the coupling is adapted. Then there exists such that for every the map is PH and furthermore there exists and a full Lebesgue measure set satisfying: for every there exists sub-space of dimension greater than equal to , and so that
[TABLE]
The same is true for any conservative map in a neighborhood of .
Remark 2.5**.**
One can estimate . cf. the proof of Proposition 5.2 in page 5.2 and 5.1.
Let us point out to the reader that in the setting that we are studying, due to Oseledet’s theorem there exist for almost every point a natural number , real numbers and subspaces such that . We call the multiplicity of the exponent at . Our Main Theorem asserts that under its hypotheses, for large it holds that for almost every point the sum of the multiplicities corresponding to center exponents at that are larger than is at least .
The rest of the article is organized as follows. In the next section we show how to apply the stated results to the important case of random surface maps, and we discuss the existence of physical measures for such systems. We also consider several concrete examples, in particular (more general versions of) the random coupled standard maps system. This section also discusses how to apply the techniques to other classical realization of random maps when we interchange the base dynamics by a shift map. Then in the fourth section we present our main tool: admissible curves and adapted vector fields. These are used in the following section to establish the Main Theorem. We finish the article with a short appendix where some side technical considerations are examined.
3. Applications and examples
Our Main Theorem can be applied to establish non uniform hyperbolicity of some coupled families . In this Section give examples and derive some consequences.
3.1. Existence of physical measures and surface maps
We recall that the basin of of attraction of a - invariant measure is
[TABLE]
Definition 3.1**.**
An - invariant measure is physical if it is ergodic and .
If is NUH, then a celebrated result of Pesin [Pes77] implies that can be written (in the topology) as the converging series of a sequence of ergodic probability measures of . The set of supports is a countable partition of , hence there exists at least one for which its support has positive Lebesgue measure: this is a physical measure for .
Establishing the existence of physical measures is of utmost interest in smooth ergodic theory; most diffeomorphisms do not leave invariant any smooth volume, but physical measures at least detect the Lebesgue class (which comes from the differential/Riemannian structure of the manifold) in terms of its generic points, and thus they can be thought as a reasonable substitute for conservativity. Regrettably the list of known abundant examples (i.e., in an open class or at least, in parameterized families) having physical measures is not very large. Some illustrative results are [BR75] (physical measures for hyperbolic diffeomorphism), [Jak81] (physical measures for the quadratic family), [BV00, ABV00] (physical measures for a class of wPH maps with controlled dynamics along the dominated bundle) and [BC91, BY93, Ber19] (physical measures for Hénon maps).
In the significant particular case when is a surface map we obtain the following.
Corollary A**.**
Assume that is an adapted family, with hyperbolic and is a collection of conservative maps satisfying conditions S-1,S-2. Let be the Lebesgue measure in .
- a)
There exists such that for every there exists satisfying: if is ergodic then for almost every and every
[TABLE]
Hence the map is NUH, and in particular has a physical measure. The same is true for any ergodic in a neighborhood of . 2. b)
In general, if is not ergodic but is , then it is approximated in the category by stably (ergodic) NUH diffeomorphisms.
Proof.
Assume first that is ergodic for . By Corollary 3.5 of [Led84], for almost every and every it holds , where correspond to the exponents in and are the center exponents. Since preserves the volume , by Proposition 4.3 in [Led84] it holds
[TABLE]
On the other hand, for every the Jacobian of the restriction is equal to one, hence again by the same Proposition we have that
[TABLE]
and thus
[TABLE]
Note that the family satisfies the hypotheses of our Main Theorem, thus for sufficiently large there exists so that , which implies by (11) that , and is NUH.
To consider perturbations of , we observe that since are one-dimensional, and due to ergodicity of the system , we can write
[TABLE]
The stable and unstable bundles in the partially hyperbolic class depends continuously on the map (cf. Theorem 2.15 in [HPS77]), hence there exists a neighborhood of so that if preserves and is ergodic, then
- •
the sum of all its exponents (with respect to ) is zero (by the same argument used for cf. (10)).
- •
(by equality (12) and continuity of the quantities).
By the above, as well. If is the neighborhood of given in the Main Theorem, we hence deduce
[TABLE]
and is NUH. This concludes the first part.
For the second we use a Theorem of K. Burns and A. Wilkinson [BW99] that allow us to approximate any conservative skew product like (in the topology) by conservative maps having a neighborhood where every preserving diffeomorphism on it is ergodic, which together with part a) implies the result. ∎
Part b) is an interesting consequence, since it does not require a priori knowledge of ergodicity of the maps. We remark that even though there exists a characterization of ergodicity for skew-products [Anz51], the conditions in practice are very difficult to check.
More interestingly, the Main Theorem can be used to establish directly non uniform hyperbolicity of several examples, and then try to use this information (together with the fact that the exponents are uniformly separated from zero) to prove ergodicity. This has recently been achieved by D. Obata [Oba20] for the original [BC14] map, who proves in fact that the map is - stably Bernoulli (a much stronger condition than ergodicity). His arguments are quite sophisticated.
3.2. Examples: Random products of standard maps
In this part we present several examples of applications of the Main Theorem. We also compare the results with some of the available literature.
3.2.1. The Standard Map.
Let us consider again the map introduced in [BC14],
[TABLE]
To prove that (for large ) the map is NUH, the arguments of the aforementioned article make extensive use of the following properties.
- •
One can obtain sharp estimates on the form of the (one dimensional) strong unstable bundle.
- •
The center bundle is two dimensional.
Here we generalize the results of [BC14], allowing higher-dimensional center behavior. We will start by showing that satisfy conditions S-1,S-2, and that the coupling in is adapted. We do so because we will be using similar types of couplings in our other examples, and because we are interested in dynamics related to the standard family.
The proof of conditions S-1,S-2 for essentially follow from the computations carried in Section 4 of [BC14], and are recalled below. A direct computation shows that
[TABLE]
where . For the vectors , form an orthogonal basis of , and one checks that
[TABLE]
With this it is easy to verify that if is a unit vector field in ,
[TABLE]
where is the angle . We define the critical strip as the set of points
[TABLE]
where are such that
[TABLE]
It holds that (cf. (14) in [BC14]; note that is the union of two connected bands). We consider also the cone
[TABLE]
As for the sets , they are treated in Lemma 6 of [BC14]: if then . It follows that .
Using as critical region, the bands and the cone one can verify the following.
Lemma 3.1**.**
The maps satisfy S-1, S-2. Moreover,
[TABLE]
In particular we can take .
Proof.
The bound for is spelled in Lemma 4 of [BC14], while the bound for is simple to obtain from (13). As for S-2, invariance of is proved in Lemma 5 of [BC14], while restitution of the expansion direction is implicit in Lemma 6 of the same work: indeed if then and hence , or where either (), or (). Since
[TABLE]
we deduce that if and have the same sign (and large), this vector makes a small angle with the horizontal axis in and thus is contained in away from its boundary. It follows that if or then . Finally, note that increases with , which together with the previous remark implies S-2.
For the inverse map one can use that where . This well known fact is recalled in Lemma 1 of [BC14] ∎
Now we discuss the correlation function.
Lemma 3.2**.**
The coupling in is adapted.
Proof.
Let . Since we obtain and . Observe that .
The bundle makes a positive angle with the line , hence which in turn implies . Note also that
[TABLE]
Using this and the fact that , both conditions A-1, A-2 follow. ∎
Recall that two diffeomorphisms of a manifold are said to be differentiably conjugate if there exists a diffeomorphism (the conjugacy) such that . If are conservative and differentiably conjugate, then by the chain rule their Lyapunov exponents coincide Lebesgue almost everywhere. We will employ this remark to deal with the inverse, and in particular we use the fact that is differentiably conjugate to its own inverse, i.e. it is reversible (cf. Lemma 3.1 above).
Indeed, this property of is used in Lemma 1 of [BC14] to show that is differentiably conjugate to the map
[TABLE]
to be precise where is the involution
[TABLE]
Observe that leaves invariant the bundle , and thus the Main Theorem can be applied to . Reversibility of the center dynamics will also be used in the other examples to deal with the inverse map. We remark that this property for area preserving maps seems to be rather common. See [RQ92].
Remark 3.1**.**
One can check that satisfies condition A-3 of the Appendix, but regrettably it does not satisfy condition A-4, and hence we cannot use Corollary B of the Appendix to conclude directly that for large the map is NUH.
We have proved the following.
Corollary 3.1** (Main Result of [BC14]).**
For large the map is - robustly NUH: for such there exists neighborhood of with the property that if is conservative then is NUH. The map has a physical measure and moreover for Lebesgue almost every , it holds
[TABLE]
The lower bound in the exponents is better than the one in [BC14] but worse to the one obtained by Obata [Oba20]. See Remark 2.5.
Remark 3.2**.**
Note that for maps in above, the splitting between the center Oseledet’s subspaces is not dominated (, and the later cannot be dominated due to the existence of ). Compare with the result of J. Bochi and M.Viana [BV05] that states: for compact manifolds of dimension greater than one, -generically in the space of conservative diffeomorphisms either there exists a zero exponent with multiplicity two, or the Oseledet’s splitting is dominated, almost everywhere.
Our methods seem to be particularly adequate to deal with the case where is given by the generalized family of standard maps studied by O. Knill in [Kni96]
[TABLE]
where is a periodic Morse potential. It is interesting to compare the lower bound on the topological entropy given by Knill and our lower bound on the positive center exponent of . By the Pesin formula [Pes77], for conservative surface maps the metric entropy with respect to the area is equal to the integral of the largest Lyapunov exponent, and since the two obtained bounds are comparable this can be taken as evidence for the suitability of Lebesgue measure to detect the majority of chaotic behavior in the dynamics of .
3.2.2. Higher dimensional examples: random products of (coupled) standard maps.
We will now apply our techniques to coupled products of standard maps, thus giving examples of more general center (higher dimensional) dynamics. Let us go back to the map given in (4),
[TABLE]
Proof of Theorem 1.1 and Corollary 1.1.
We start recalling that (the product taken times); from this fact and by the computations of Lemma 3.1 we get that conditions S-1, S-2 are satisfied for . The corresponding correlation map is of the form
[TABLE]
where is the correlation function associated to (considered in Lemma 3.2). From this it follows directly that the coupling in is adapted. We can thus apply the Main Theorem to and ensure the existence of (if is sufficiently large), so that for Lebesgue almost every , the sum of the multiplicity of center exponents at bigger than is at least , and moreover this property is robust among conservative diffeomorphisms close to .
For the negative exponents, we consider the map
[TABLE]
where is the involution . Then is a differentiable involution, it preserves the bundle , and one can verify that where
[TABLE]
(compare (18),(19)). Note that has the same form of thus by the Main Theorem applied to , and by using to conjugate every map sufficiently close to to a map close to , we conclude the existence of a neighborhood of so that for every conservative in this neighborhood, for Lebesgue almost every the sum of the multiplicity of center exponents of at that are bigger than is at least . Since the set of diffeomorphisms of is a topological group when equipped with the topology, we finally deduce the existence of a neighborhood of so that every conservative is NUH with respect to . This establishes Theorem 1.1 of the Introduction. Now we look at the map considered in Corollary 1.1, where is given by
[TABLE]
and is defined as above. Note that is a perturbation of (with ) if is small. In particular, for large and small , is PH and robustly NUH, as claimed in the Corollary. ∎
The maps treated above provide new interesting higher dimensional examples to add to the list of known NUH systems, enabling us to construct partially hyperbolic diffeomorphisms with rich center dynamical behaviors. Other interesting examples can be obtained by considering some symplectic twist maps in , and in particular those of the form
[TABLE]
where . We illustrate this with the potential where
[TABLE]
The resulting map is the so called three parameter Froeschlé family [Fro72], and it is very similar to . Let us write : a slight variation in the argument used in the proof above (choosing large, small) yields the following.
Theorem 3.1**.**
For every sufficiently large there exists an open set in the parameter space and such that if then is PH and satisfies for Lebesgue almost every and ,
[TABLE]
The same holds for every conservative map in a neighborhood of .
For further information on this family and other symplectic twist maps we refer the reader to [Gol01].
To the extent that the author could check none of these examples can be treated by any available technique in the literature, and is his hope that he provided enough evidence to convince the reader of the versatility in the method presented. It is also worth noticing that for establishing our results it is not necessary to assume a priori ergodicity of the map. In particular, we do not need to perturb to guarantee accessibility as the methods based on the invariance principle [AV10] usually require. This is important by two reasons: first because our goal is understand concrete examples more than their perturbations (i.e. random products of the standard map, versus perturbations of random products of the standard map), and second because as we mentioned in the introduction, establishing NUH of the system could be used in some cases to establish ergodicity [Oba20].
3.3. Cocycles over the shift
Systems exhibiting similar dynamics with PH skew products are cocycles over expanding endomorphisms, and in particular over shifts spaces. These kind of maps are also very popular in the literature. As an example, we consider for a positive integer the complete shift space in symbols
[TABLE]
Equipped with the natural product topology, it is a compact metrizable space. The dynamics is given by the shift map , and we consider the Bernoulli measure on , i.e. the product measure obtained by assigning weight to each symbol. Given a diffeomorphism and a continuous function we can define a (continuous) cocycle of matrices as follows: let be the map
[TABLE]
and for denote the projection on the second coordinate of . Then define
[TABLE]
This way we have determined a cocycle of matrices which could be interpreted as the derivative cocycle of .
In a recent work by A. Blumenthal, J. Xue and L.S Young [BXY17], the authors considered a similar type of random cocycle over the infinite shift ( small), with fiber maps , and other -dimensional conservative maps satisfying certain expanding conditions in the spirit of ours S-1, S-2. For these systems the authors prove the positivity (with precise bounds) of the largest exponent of the cocycle for almost everywhere, where is the uniform measure on . Their techniques are more probabilistic in nature than ours, and seem to depend on the two-dimensionality of the fiber maps (hence, one can deal with one Lyapunov exponent only).
It is a simple exercise in dynamical systems to show that equipped with is (measure theoretically) conjugate to the expanding map , with the Lebesgue measure on . Thus, instead of cocycles over we can equivalently consider cocycles over .
For consider the multiplication map . Smale’s solenoid construction (described for example in Chapter 7 of [Rob98]) permits us to find a diffeomorphism such that
- •
has an hyperbolic (expanding) attractor .
- •
for some .
Let us remind the reader that a diffeomorphism is said to have an hyperbolic attractor if
- •
is an hyperbolic set for .
- •
There exists open such that .
If is an hyperbolic attractor and denotes its unstable lamination, one verifies easily that for every . See [Shu86] Chapters 5 and 6.
Furthermore, in case that is of class , there exists a particularly important invariant measure supported on which can be characterized as follows: is the unique - invariant measure such that for any sufficiently small lamination chart corresponding to , its conditional measures on are absolutely continuous with respect to the induced Lebesgue measure, for almost every . is the Sinai-Ruelle-Bowen measure of . See [Rue76, Bow08] for further information on this topic.
Remark 3.3**.**
All the arguments used for the proof of the Main Theorem adapt directly to families of skew products where
- •
* where is a diffeomorphism of class , and is an hyperbolic attractor for with one dimensional unstable bundle .*
- •
There exists a continuous Riemannian metric on such that is conformal with respect to the associated norm, i.e. there exists such that for every .
- •
* satisfies S-1, S-2.*
- •
The correlation functions are restriction of linear maps and properties A-1, A-2 are satisfied.
In such case, our techniques give that for sufficiently large there exists a full measure set and such that for the sum of the multiplicity of center exponents at of at that are bigger than is at least . Here we make a small abuse of language and call center exponents to those associated to vectors tangent to (although the map is not PH in general).
The same property remains valid replacing by a conservative diffeomorphism , provided that is sufficiently close to .
Back to the solenoid, if denotes the unstable bundle of , then for , the line is a graph over , hence there exists a Riemannian metric on so that for every (in other words, is conformal). See Proposition 7.5 in [Rob98]. Define the map with
[TABLE]
and write for the derivative of at the point .
Proposition 3.1**.**
There exists such that for every it holds for Lebesgue almost every
[TABLE]
Proof.
Consider ,
[TABLE]
Arguing analogously as in Lemma 3.2 one checks that the coupling functions with satisfy conditions A-1, A-2, and thus by the Remark 3.3 we conclude that for it holds
[TABLE]
where is the derivative of
[TABLE]
at the point . As , we conclude
[TABLE]
If is the projection map , then semi-conjugates with while is Lebesgue on . From here it follows. ∎
Likewise, one can obtain similar results considering the product of coupled standard maps instead of just one, establishing that the sum of the multiplicity of positive center exponents is at least . Since is conjugate to the one-sided shift in symbols, Theorem 3.1 provides a geometrical proof of the existence of non-zero Lyapunov exponents for cocycles over the shift.
The type of system described above is similar to the ones considered by M. Viana in [Via97], although those were non-conservative. It is possible that some of the techniques presented here can be adapted to non-conservative case as well, but the author has not pursued that enterprise in this paper.
Besides the interest per-se in the dynamics of cocycles of standard maps, these systems appear naturally in physical and mathematical applications. Historically, they were introduced to study Arnold diffusion for systems of coupled oscillators [Chi79], albeit their research was mainly numerical. For a more up to date and rigorous study on this topic the reader is referred to the work of O. Castejón and V. Kaloshin [CK15], where the authors analyze statistical properties of random products of standard maps appearing (as certain induced dynamics) in Arnold’s original diffusion example.
4. Admissible curves and adapted fields
The most important technical tools introduced in [BC14] are admissible curves and adapted fields. Roughly speaking, an adapted curve is a segment of the strong unstable manifold that makes approximately a complete turn in around every vertical torus while doing many more turns around the base torus ; an adapted field is a vector field along an admissible curve with very small variation. In that work however, the notion of admissible curve is tailored to the specific example considered. Here we present a more abstract definition.
4.1. Partial Hyperbolicity
Let be a coupled family where satisfies S-1, S-2. We will be able to work from the beginning with perturbations of . The map is of the form
[TABLE]
and we consider a small perturbation of it. Note that the derivative of can be expressed in block form as
[TABLE]
Let us recall we are assuming that is hyperbolic with associated decomposition , where , and
[TABLE]
The bundles determine continuous bundles on , which by an innocuous abuse of language will be denoted by the same letters. Observe that , with . For convenience we will use in the norm associated to this decomposition. Define
[TABLE]
so that , and note . Define also
[TABLE]
By condition A-1 in the coupling, the above quantity is positive and converges to zero as . Finally, consider the cone field of size centered around in
[TABLE]
Lemma 4.1**.**
There exists such that for every , for every it holds
- •
, and
- •
.
Proof.
Let with . We obtain
[TABLE]
which shows the first part. As for the second, take and use the previous inequality to compute
[TABLE]
where in the last part we have used . ∎
It is a well known consequence of the above that there exists a - invariant bundle (see for example [CP15]), and in particular this implies that is wPH. Similarly, computing the derivative of we obtain
[TABLE]
and thus if we define , and
[TABLE]
we can proceed as before and deduce (by A-1) that has an invariant expanding bundle with
[TABLE]
hence is PH. For future reference, we spell out this fact in form of a Corollary.
Corollary 4.1**.**
There exists such that for it holds that is PH with invariant splitting .
Proof.
Once the existence of has been established, its expanding/contracting character is direct consequence of the previous Lemma and the inequality above. Since , and by hypotheses on the coupling the Whitney sums are dominated for , the rest follows.
∎
From now on we will assume . Note that and , thus:
Lemma 4.2**.**
the angles converge uniformly to zero as .
Partial Hyperbolicity is a open condition (cf. Theorem 3.6 in [Pes04]), thus for every there exists such that if then is PH. Its - splitting converges to as in the corresponding Grassmanian. We define
[TABLE]
Remark 4.1**.**
As is differentiable and integrates to a foliation by torii, Theorem 7.1 of [HPS77] guarantees that the center bundle of any sufficiently small perturbation of also integrates to a (non-necessarily smooth) foliation by torii.
We deduce.
Corollary 4.2**.**
The function can be chosen so that for , it holds
[TABLE]
It is also known (cf. Theorem 3.8 in [Pes04]) that the invariant bundles of are Hölder continuous, provided that is . We will choose sufficiently small so that is - Hölder, with .
4.2. Curves tangent to
Our goal is have a qualitative description of the bundle , and for this we use the graph transform method. By the (un)-stable manifold theorem is integrable to an -invariant foliation whose plaques can be obtained as graphs of functions from to . The previous Corollary allow us to deduce that there exist and a continuous family such that for every its local strong unstable manifold is of the form
[TABLE]
where . Here denotes the - disc centered at zero inside . Similar notation will be used for other bundles.
Recall that is defined in condition A-2.
Lemma 4.3**.**
There exists with the following property. Consider and with . Then for
[TABLE]
Proof.
Fix and note that . By invariance of the unstable bundle, where , hence of the form where , . Since it follows . Recall that , thus can be written as where . Let be the projections onto respectively.
As ,
[TABLE]
and by using that we get the following bound for :
[TABLE]
On the other hand,
[TABLE]
hence fixing we obtain
[TABLE]
Condition A-2 implies that by taking small, the terms in braces converge to zero as and thus we deduce the existence of with such that
[TABLE]
For we then have
[TABLE]
and thus
[TABLE]
Since , the above gives the first inequality in the lemma.
Similarly, by (28),
[TABLE]
Condition A-1 implies that the quantity converges to (assuming ), thus there exists converging to zero as such that
[TABLE]
which in turn implies
[TABLE]
where . Note that by condition A-1. Combining this with (29) we finally get
[TABLE]
Inequalities (30) and (32) imply the conclusion of the Lemma, by defining appropriately.
∎
**Convention: **From now on is taken sufficiently large and small to verify the hypotheses of the previous lemma. To avoid cluttering the notation, the quantity will be subsequently re-defined to guarantee additional conditions, but always maintaining .
Definition 4.1**.**
An admissible curve for the map is a curve tangent to such that for some it holds
Remark 4.2**.**
If is an admissible curve with then its projection on makes exactly one turn. By the lemma above for any other , and the error in this approximation converges to zero as . We deduce that the projection of into completes almost a turn, with an error that can be taken arbitrarily small as increases.
A consequence of the lemma above is the following.
Corollary 4.3**.**
There exists with such that for any admissible curve its length is bounded as
[TABLE]
In particular, if are admissible curves, for sufficiently large it holds
[TABLE]
Proof.
Consider an admissible curve with . For every the Lemma above gives
[TABLE]
and thus . Re-defining we get both results, by using the last part of A-2. ∎
4.3. Adapted fields
We turn our attention to some special class of vector fields parallel to . Recall that is the Hölder exponent of the center bundles (which can be taken uniform in a small neighborhood of ), and is given in condition A-1. Let
[TABLE]
Definition 4.2**.**
An adapted field for consists of an admissible curve and a unit vector field along satisfying the following.
- (1)
* is tangent to .* 2. (2)
* is -Hölder along . This means that if denotes the intrinsic distance in , it holds*
[TABLE]
Even though the length of the admissible curves is rather large, the bound on the constant makes the variation of any adapted field to be very small. Using Corollary 4.3 one establishes the following without any trouble (recall that is defined in condition A-1).
Corollary 4.4**.**
If is an adapted field for and is sufficiently large, then for every it holds
[TABLE]
In particular the variation of converges to zero as , due to A-1.
We will now show that the set of adapted fields has certain -invariance. Let be an adapted field. If we can write the curve as
[TABLE]
where is an integer, are admissible curves for and is a segment of an admissible curve444 Here denotes concatenation of paths.. Even more, by the Remark 4.2 the curves can be taken so that they make a complete turn around each of the coordinate torii .
If is a vector field we denote , the push-forward by . Now let
[TABLE]
we have the following.
Lemma 4.4**.**
For sufficiently large it holds the following. If is an adapted field and then for every the pair is an adapted field.
Proof.
This is similar to Lemma 2 in [BC14]. The proof is given below for completeness. Arguing by induction it is enough to show the claim for . Denote and observe
[TABLE]
and (choosing small enough),
[TABLE]
hence ,
[TABLE]
On the other hand, by triangular inequality, for
[TABLE]
Putting both inequalities together we deduce for
[TABLE]
if is sufficiently large and close to 1, by A-1. ∎
5. Positivity of the center exponents
To establish the existence of positive Lyapunov exponents in the directions we will study the quantities
[TABLE]
where is an admissible curve and denotes the intrinsic Lebesgue measure in .
By our choice of , the center direction of is close to , and in particular there exists a bundle isomorphism that can be chosen to depend continuously with respect to the map (in particular ). We will write and observe that although this decomposition is not invariant in general. The cone fields associated are extended (with the same nomenclature) to cone fields in , and by using we obtain cone fields .
We write for the unstable Jacobian of , and recall the following classical Lemma555cf. Lemma 8 and Corollary 6 in [BC14] : observe that by Corollary 4.3 the length of the admissible curves is bounded..
Lemma 5.1** (Distortion bounds).**
There exists a constant such that for every admissible curve it holds
[TABLE]
Therefore for every measurable set and we have
[TABLE]
Moreover, if sufficiently large and small it holds
Remark 5.1**.**
The last part follows by Lemma 4.1 and continuous dependence of the partially hyperbolic splitting on the map.
The fundamental Proposition is the following.
Proposition 5.1**.**
Suppose that there exist , a full Lebesgue measure set and continuous cones with the following properties.
- (1)
* is saturated by the foliation . That is, consists of complete unstable leaves of .* 2. (2)
Given an adapted field with and satisfying for all it holds
[TABLE]
Then for Lebesgue almost every point, the sum of the multiplicity of center exponents bigger than equal is at least .
This generalizes Proposition 5 in [BC14] to our setting, and even improves the lower bound on the exponents.
Proof.
Fix and consider the set . Write where and assume for the sake of contradiction that ; then for some it holds . By absolute continuity of the foliation (see for example [Pes04]) and the hypothesis on there exists an interval inside an unstable leaf with and so that has positive intrinsic Lebesgue measure in it. Take a density point for the measure in .
Given an admissible curve we call its center if , where denotes the (oriented) interval inside . For small and some large to be specified later consider ,
[TABLE]
where is the admissible curve with center . Note that decreases with , and even though this curve is not necessarily symmetric with respect to , the ratio of the length of the intervals is close to one, by Lemma 5.1 and almost conformality of on its unstable foliation. Thus by Lebesgue’s differentiation theorem, , which implies if small enough (or equivalently sufficiently large)
[TABLE]
Note also that for every point one has
[TABLE]
Take such that . We claim that , which gives a contradiction since .
By contradiction, suppose that is as before and extend it to a continuous vector field over with the property that is an adapted field satisfying (this is possible since is continuous). Consider for the quantity
[TABLE]
We compute, using (reverse) Fatou’s Lemma
[TABLE]
On the other hand, since for ,
[TABLE]
which is absurd. We have thus proved that .
For a center Lyapunov exponent denote its multiplicity; then
[TABLE]
∎
Remark 5.2**.**
If the reader wants to consider the more general case (cf. Remark 2.1) where is a cone centered around a subspace in , the set in the previous proof has to be replaced by
[TABLE]
and the argument follows along the same lines to give that for almost every there exists at least center positive exponents larger that .
5.1. Study of the integral
Recall (34) and the definition of given in (35). One can write
[TABLE]
therefore by (34)
[TABLE]
with (observe that by Lemma 4.4, for every the pair is an adapted field). It will be convenient to introduce the following notation.
Definition 5.1**.**
If is an adapted field then
[TABLE]
Using Corollary 4.3 we deduce that for every
[TABLE]
thus (again, re-defining )
[TABLE]
Lemma 5.2**.**
It holds
[TABLE]
Proof.
We compute
[TABLE]
This implies that converges to zero as goes to infinity, hence so does its average. ∎
It follows,
[TABLE]
5.2. Good and bad vector fields
We will now check that for each the cone induced by has the property that if is an adapted field with then the right hand side term in the previous inequality is positive, thus showing (thanks to Proposition 5.1) the existence of positive Lyapunov exponents. Only now the more specific aspects of the dynamics (the existence of the cones) enters in consideration.
Proposition 5.2**.**
There exists a positive constant such that for every , for every admissible field satisfying , it holds
[TABLE]
The above proposition will be proven through a series of Lemmas. A vector can be written uniquely as
[TABLE]
Recall that in we are using the norm in associated to the decomposition . Using , we induce the corresponding norm in associated with the decomposition , i.e. . We say that is a leading component of if . By Corollary 4.4 we deduce the following.
Lemma 5.3**.**
For sufficiently large it holds that if is an adapted field for and for some the vector is a leading component of , then
[TABLE]
Definition 5.2**.**
Let be an adapted vector field for .
- (1)
We say that is a leading component of if there exists such that is a leading component of . 2. (2)
* is called good if it has some leading component satisfying *
[TABLE]
Otherwise it is called bad.
The functions are specified in condition S-2.
Lemma 5.4**.**
For sufficiently large and small it holds for every adapted field for with leading component ,
- (1)
. 2. (2)
If moreover is good, then .
Proof.
Denote by the projection. Since the bundles are -invariant, for sufficiently small we have that for , and . One then has
[TABLE]
where ; to conclude the first part it is enough then to choose is sufficiently small so that . Arguing similarly we also obtain that if is good then for , with ; note that the projection of on may be doing slightly more than one turn (cf. Remark 4.2), but since the length of this additional part converges to zero as , we can assume as a worse case scenario situation that the additional part is contained in , and hence
[TABLE]
if is sufficiently large (hence small), and small. ∎
Given an adapted vector field and we define
[TABLE]
cf. Lemma 4.4. Note .
Lemma 5.5**.**
For every adapted field and every positive integer , it holds
[TABLE]
provided that is small and large.
Proof.
[TABLE]
Using that the first inequality follows. The second one is similar. ∎
The next lemma takes care of the transitions between good and bad vector fields. Recall the definition of given in S-1 and denote
[TABLE]
Lemma 5.6**.**
For sufficiently large and correspondingly small the following holds.
- (a)
If is a good adapted field then there exists a relatively open set of length such that if then is good. 2. (b)
If is a bad adapted field then there exists a relatively open set of length such that if then* is good.*
Proof.
We first deal with the case . Write the projection and consider a good adapted field such that is a leading component. By hypothesis S-2 on the map , the vector field has its -th component inside provided that . It is no loss of generality to assume that for
[TABLE]
otherwise can be enlarged while preserving its expanding character.
Define . Then , and by the discussion above if then either the is its leading component and thus is good, or the leading component of is , where was expanded and hence was inside . In any case has a leading component inside a cone which implies that is good. This completes the proof of the first part for the unperturbed case.
For a perturbation we denote the projection, and notice that is uniformly close to , thus we can reduce to the previous case.
To deal part (b) we first consider : we know that for all leading components of there exists such that , . Now for any other ,
[TABLE]
and thus by Corollary 4.4 the first term of right hand side is very small, hence . Consider , the bands defined in condition S-1, and note that if then the -th component of is properly contained into , away from its boundary. Define
[TABLE]
and note that for large . If , then we have two possibilities:
- •
exists such that are leading components of . Then by the previous argument together with S-2 we have that is completely contained in a expanding cone, hence is good, or
- •
the leading components of come from non-leading components of . In this case necessarily these non-leading components are in expanding cones, hence by the invariance of these cones we also deduce that is good.
The result follows. Arguing as for the first part we can deal with the perturbative case. Compare Lemma 12 in [BC14]. ∎
Consider now a good adapted field with . We can estimate
[TABLE]
From this we deduce that for sufficiently large (and small), it holds
[TABLE]
where is the natural number given in condition S-1. We continue to work with so the above holds.
Armed with the two previous lemmas now we will establish the following, which almost immediately implies Proposition 5.2.
Proposition 5.3**.**
If is sufficiently large and its corresponding is sufficiently small, then the following holds for every good adapted field for :
- (1)
** 2. (2)
**
Proof.
We start noticing that the first part is consequence of the second together with Lemma 5.5. We argue by induction. The base case is just the hypothesis, so assume that we have established the claim for . By Lemma 5.1
[TABLE]
where in the last line we have used Lemma 5.6. Since the length of admissible curves is comparable (cf. Corollary 4.3), we finally obtain
[TABLE]
On the other hand, and arguing in the same way
[TABLE]
Choose sufficiently small so that for every ,
[TABLE]
and use Lemma 4.3 with the induction hypotheses to conclude
[TABLE]
and hence, putting together (43), (44) and using that ,
[TABLE]
if are sufficiently small. ∎
Finally we are ready to finish the proof of Proposition 5.2.
Proof.
Define and let be a good adapted field for with leading component . We compute using Lemma 5.4 and Proposition 5.3
[TABLE]
and the later quantity is positive, if large enough by the last part of S-1. ∎
Acknowledgments
The results here presented are based on previous joint work with Pierre Berger, and are deeply influenced by several discussion that the author had with him during these times. I would like to thank Pierre for sharing his ideas with me.
Initial stages of this paper were prepared while I was visiting PUCV-Valparaiso; I would like to thank Carlos Vazquez for his encouragement and generosity in these moments. Also, I would like to thank Enrique Pujals and Jiagang Yang for encouragement and the interest deposited in this project.
Finally, I would like to express my sincere thanks to the referees who not only gave me many suggestions to improve the presentation and caught inaccuracies-plain errors, but also gave me ideas on how to improve the results appearing on previous versions.
Appendix
Given a coupled family over an hyperbolic base, it is desirable to have some conditions that will imply non-uniform hyperbolicity of the family instead of only positive exponents along the fiber direction. We discuss a possible approach here.
We assume that both satisfy S-1,S-2, hyperbolic, and define the following conditions.
- A-3
- •
.
- •
There exists such that
[TABLE] 2. A-4
- •
.
- •
.
- •
Definition 5.3**.**
We say the the coupling in a family of skew-products is bi-adapted if it is adapted and moreover the family satisfies A-3,A-4 above. In this case we also say that is a bi-adapted family.
The lack is symmetry between these and A-1,A-2 comes from the different form of and ; compare (23) with (26).
It is direct (although somewhat tedious) to check that if verifies A-1 to A-4 then verifies A-1,A-2. We can thus apply our Main Theorem to both and deduce the following.
Corollary B**.**
Assume that is a bi-adapted family with hyperbolic and the families satisfy conditions S-1,S-2. Then there exists such that for every there exists satisfying for Lebesgue almost every
[TABLE]
In particular is NUH and has a physical measure. The same holds for any in a neighborhood of .
The previous Corollary is given for completeness. In practice however, checking A-4 could be difficult since it depends on the relation between and , and this control may not be achievable. This is why in the examples given in Section 3 we appeal to other arguments to deal with the inverse map.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[ABV 00] J.F. Alves, C. Bonatti, and M. Viana. SRB measures for partially hyperbolic systems whose central direction is mostly expanding. Invent. Math. , 140(2):351–298, 2000.
- 2[Anz 51] H. Anzai. Ergodic skew product transformations on the torus. Osaka Math. J. , 3(1):83–99, 1951.
- 3[AV 10] A. Avila and M. Viana. Extremal Lyapunov exponents: an invariance principle and applications. Invent. Math. , 181(1):115–178, 2010.
- 4[BC 91] M. Benedicks and L. Carleson. The dynamics of the Hénon map. Ann. of Math. , 133:73–169, 1991.
- 5[BC 14] P. Berger and P. D. Carrasco. Non-uniformly hyperbolic diffeomorphisms derived from the standard map. Communications in Mathematical Physics , 329(1):239–262, 2014.
- 6[BDP 02] K. Burns, D. Dolgopyat, and Ya. Pesin. Partial Hyperbolicity, Lyapunov Exponents and Stable Ergodicity. Journal of Statistical Physics , 108(5):927–942, 2002.
- 7[BDPP 08] K. Burns, D. Dolgopyat, Y. Pesin, and M. Pollicott. Stable ergodicity for partially hyperbolic attractors with negative central exponents. Journal of Modern Dynamics , 2(1):63–81, 2008.
- 8[BDV 05] C. Bonatti, L. Díaz, and M. Viana. Dynamics Beyond Uniform Hyperbolicity , volume 102 of Encyclopaedia of Mathematical Physics . Springer-Verlag, 2005.
