RECHERCHE DE MESURES INVARIANTES POUR L'ACTION ...
RECHERCHE DE MESURES INVARIANTES POUR L'ACTION ...
RECHERCHE DE MESURES INVARIANTES POUR L'ACTION ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3.2. AC équicontinu suivant au moins une direction. — On s’intéresse dans un premier<br />
temps aux classes C1. et C2. qui donnent le plus de contraintes topologiques.<br />
Proposition 3.2. — Soient (A Z ,F) un automate cellulaire et Σ ⊂ A Z un sous-décalage F-<br />
invariant ayant la propri´té faible de spécification. Supposons que (Σ,F) soit dans la classe C1..<br />
Il existe alors z une configuration σ-periodique de période p tel que<br />
⎧ ⎫<br />
⎨<br />
1 ∑ ⎬<br />
M F,σ (Σ) = σ i (z)<br />
⎩p<br />
⎭ .<br />
i=0,p−1<br />
Démonstration. — D’après le théorème 3.1, il existe une configuration σ-périodique z de σ-<br />
période p et N ∈ N tel que F N (Σ) = {σ i (z) : i ∈ [0,p−1]}. Ainsi pour toute mesure µ ∈ M σ (Σ),<br />
on a Λ F (µ) = {σ i (z) : i ∈ [0,p − 1]}. Comme µ est σ-invariant, on en déduit le résultat.<br />
Remarque. — Dans la proposition précédente, si de plus on suppose que Σ a la propriété de<br />
spécification, alors il existe a ∈ A tel que µ = δ∞ a ∞.<br />
Proposition 3.3. — Soient (A Z ,F) un automate cellulaire et Σ ⊂ A Z un sous décalage F-<br />
invariant ayant la propriété faible de spécification. Supposons que (Σ,F) soit dans la classe<br />
C2. et considérons m et p, les deux entiers correspondant respectivement à la prépériode et à<br />
la période de la suite ultimement périodique (F n ◦ σ ⌊αn⌋ ) n∈N . On a alors :<br />
{<br />
}<br />
1 ∑p−1<br />
M F,σ (Σ) = F∗ i p<br />
µ : µ ∈ M σ(F m (Σ)) .<br />
i=0<br />
Démonstration. — Étant donné que (F n ◦ σ ⌊αn⌋ ) n∈N est ultimement périodique de prépériode<br />
m et de période p, on en déduit que pour toute mesure µ ∈ M σ (Σ) on a F m ∗ µ ∈ M σ (F m (Σ)).<br />
Puis pour toute mesure µ ∈ M σ (F m (Σ)), la suite (F n ∗ µ) n∈N est périodique de période p. D’où<br />
le résultat.<br />
3.2.1. AC qui a des points d’équicontinuité suivant deux directions. — En s’inspirant de<br />
[Gil87], on peut définir une notion plus faible de points d’équicontinuité. Dans [Sab07], on<br />
généralise ces résultats à la dynamique directionnelle.<br />
Définition. — Soient (A Z ,F) un AC et µ ∈ M σ (A Z ).<br />
• Un point x ∈ A Z est un point de µ-presque équicontinuité de pente α (noté x ∈ Eq α (F,µ))<br />
si pour tout ε > 0, on a µ(E α A Z (x,ε)) > 0.<br />
• Soit U = (u n ) n∈N ∈ (A e ) N . La suite U est un mur µ-presque bloquant de pente α<br />
d’épaisseur e si µ(W α (U,0)) > 0 où<br />
W α (U,i) = {x ∈ A Z : F n ◦ σ ⌊nα⌋ (x) [0,e−1] = u n } pour tout i ∈ Z.<br />
On a le théorème suivant qui caractérise les AC qui ont des points de µ-presque<br />
équicontinuité :<br />
Théorème 3.4 ([Sab08]). — Soient (A Z ,F) un AC, α ∈ R et µ une mesure σ-ergodique. Les<br />
propositions suivantes sont équivalentes<br />
1. Eq α (F,µ) ≠ ∅;<br />
2. µ(Eq α (F,µ)) = 1;<br />
3. pour tout e ≥ max(⌊α⌋ + 1 + s, −⌊α⌋ − r + 1), il existe un mur U µ-presque bloquant de<br />
pente α et d’épaisseur e.<br />
10