Décomposition ergodique pour le temps 1 d’une mesure ergodique pour le flot

On sait qu’une mesure de probabilité invariante et ergodique par un flot peut admettre une  décomposition ergodique non triviale par rapport à . On a cependant:

presque toutes les composantes ergodiques sont les images les unes des autres par le flot .

Voici une (esquisse de) preuve (inspirée par le lemme 2.15 du preprint suivant). Il doit s’agir d’un fait classique – je suis demandeur d’une référence, merci de me la signaler par email ou en commentaire.

La mesure étant invariante par le flot,

Or presque toute mesure est invariante par le flot donc égale à la mesure initiale , celle-ci étant ergodique. Par conséquent, pour tout , une partie de mesure ,  on a:

(1)

Notons que chaque est ergodique (pour ), cette propriété étant invariante par conjugaison. L’égalité (1) est donc une décomposition ergodique. Par unicité de celle-ci:pour tous , pour un . CQFD.

En particulier, presque toutes les composantes ergodiques ont la même entropie, égale à celle de la mesure initiale .

Uniformité de la décroissance des corrélations et théorème de Banach-Steinhaus

Soit un système dynamique probabiliste et deux espaces de Banach de fonctions à valeurs complexes sur : . Supposons que pour tous et tout , est bien défini et qu’il y a décroissance exponentielle des corrélations: il existe tel que, pour tous ,

(1) avec  .

(énoncé souvent obtenu, voir par exemple le théorème 3 de cet article de Lai-Sang Young). Chazottes, Collet et Schmitt dans cet article ont remarqué que des hypothèses très faibles qu’ici on simplifira en:

(2) Pour tout , 

permettent de remplacer la majoration par un simple produit  .

Ceci découle presqu’immédiatement de la formulation suivante du théorème de Banach-Steinhaus qu’on applique à la famille d’opérateurs bilinéaires et continus avec et .

Proposition. Soit des espaces de Banach et un espace vectoriel normé. Soit , , une famille d’opérateurs bilinéaires et continus. Supposons:

(3)

Alors il existe une constante telle que

(4) .

Cette formulation se montre en appliquant deux fois le théorème de Banach-Steinhaus standard (pour les opérateurs linéaires).

Preuve. Pour uniformiser la dépendance en  , introduisons les opérateurs linéaires , . Ils sont continus avec  , et, pour tout , . Une première application de Banach-Steinhaus (à fixé) donne .

Introduisons maintenant les opérateurs linéaires définis par . Ils sont continus avec et, pour tout , . Une deuxième application de Banach-Steinhaus donne .

Finalement, on a obtenu: pour tous et ,  . CQFD.

 

 

Thèse de F. Riquelme: “Entropie des diffeomorphismes de variétés non-compactes”

Felipe Riquelme vient de soutenir sa thèse à Rennes sous la direction de Barbara Schapira. Il y a examiné les résultats classiques de la théorie de l’entropie pour les diffeomorphismes en l’absence de compacité. Il obtient dans ce cadre:

• Des contre-exemples à l’inégalité de Ruelle comme suspensions d’échanges d’intervalles (dénombrable) vérifiant pourtant la condition d’intégrabilité d’Oseledets;
• La généralisation de cette inégalité ainsi que du cas d’égalité (Pesin, Ledrappier-Young) pour le flot géodésique sur les surfaces complètes à courbures sectionnelles négatives pincées et de dérivées bornées.

Il a également étudié la perte de masse et montré que celle-ci peut être contrôlée par l’entropie à l’infini pour certaines variétés de type Schottky. 

Entropy of C1-diffeomorphisms without dominated splitting

In a joint work with Sylvain Crovisier and Todd Fisher, we strengthen Newhouse’s construction of horseshoes from homoclinic tangencies. We obtain an entropy arbitrarily close to Ruelle’s bound: the sum of the positive exponents (or the same for the inverse, whichever is smaller). 

Our perturbations are local, preserve a pre existing volume or symplectic form and homoclinic connection, building on works of Gourmelon and Bochi-Bonatti among others. 

A number of consequences follows. 

For instance, C1-generic conservative diffeomorphisms without domination have no measure of maximal entropy and are Borel conjugate to a Markov shifts (up to periodic points). Theit topological entropy is nowhere locally constant and there is a generalization of the entropy formula obtained by Catalan and Tahzibi in dimension 2. 

We also obtain a nonempty open set of C1-diffeomorphisms which generically have infinitely many homoclinic classes with topological entropy bounded away from zero. 

You can read it all here!

University of Maryland (Colloquium)

I presented how surface diffeomorphisms are Borel conjugate to Markov shifts up to zero entropy measures (joint work with Mike Boyle). I stressed the soft part of the result that applies to higher dimensional diffeomorphisms with hyperbolic measures but neglects the measures maximizing the entropy at their period.

The spectral decomposition recently obtained with Sylvain Crovisier and Omri Sarig  shows that the C infinity surface diffeos are completely classified by their measures maximizing the entropy at their periods.

 

(revised slides)

 

University of Maryland (Seminar)

My talk presented the result with Crovisier and Sarig about the measures maximizing the entropy. I used slides (revised version) for the first part of the seminar and then explained the decay of the entropy along sequences of non-homoclinically related measures on the blackboard.

Construction du nouveau bâtiment