Catalogação na fonte Universidade Federal de Alagoas Biblioteca Central

(1)

UNIVERSIDADE FEDERAL DE ALAGOAS INSTITUTO DE MATEM ÁTICA PROGRAMA DE P ÓS-GRADUAÇ ÃO EM MATEM ÁTICA

UFAL-UFBA

RAFAEL ALVAREZ BILBAO

MEDIDAS MAXIMIZANTES EM SISTEMAS DIN ˆAMICOS ALEAT ´ORIOS

Tese de Doutorado

(2)

Rafael Alvarez Bilbao

MEDIDAS MAXIMIZANTES EM SISTEMAS DIN ˆAMICOS ALEAT ´ORIOS

Tese apresentada ao Programa de Pós-gradua¸cão do Instituto de Matemática-UFAL como requerimento para obter o grau de Dou-tor em Matemática.

Orientador: Krerley Irraciel Martins Oliveira.

(3)

Catalogação na fonte

Universidade Federal de Alagoas

Biblioteca Central

Bibliotecário Responsável: Janis Christine Angelina Cavalcante

B595m Bilbao, Rafael Avarez.

Medidas maximizantes em sistemas dinâmicos aleatórios. / Rafael Alvarez Bilbao. – Maceió, 2015

33 f.

Orientador: Krerley Irraciel Martins Oliveira.

Tese (doutorado em Matemática) – Universidade Federal de Alagoas. Instituto de Matemática, Programa de Pós Graduação em Matemática. Maceió, 2015.

Bibliografia: f. 31-32

Índice: f. 33.

1. Entropia relativa. 2. Expansão não uniforme. 3.Entropia topológica relativa. 4. Topologicamente exata. 5. Medida maximizante. I. Título.

(4)

(5)

Dedicat´

oria

Meu filhoαβ

(6)

Agradecimento

Agrade¸co a Deus pela vida, minha fam´ılia pelo apoio permanente, minha esposa pela paciência durante esse longo tempo, a todas as pessoas do instituto de matemática em especial ao professor Krerley Oliveira por permitir que fosse seu orientando e à funda¸cão Capes.

Muito obrigado a todos.

(7)

Abstract

We prove the existence of relative maximal entropy measures for certain random dynamical systems of the typeF(x, y) = (θ(x), fx(y)), whereθis a invertibe map

preserving an ergodic measureP_and_f_x_{is a local diffeomorphism of a compact} Riemannian manifold exhibiting some non-uniform expansion. As a consequence of our proofs, we obtain an integral formula for the relative topological entropy as the integral the of logarithm of the topological degree offx with respect to

P_{. When} _F _{is topologically exact and the supremum of the topological degree} offx is finite, the maximizing measure is unique and positive on open sets.

Keywords: Relative entropy, non-uniform expansion, relative topological entropy, topologically exact, maximizing measure.

(8)

Resumo

Provamos a existência de medidas de entropia máxima relativa para certos siste-mas dinâmicos aleatórios do tipoF(x, y) = (θ(x), fx(y)), ondeθé uma aplica¸cão

invert´ıvel preservando uma medida ergódicaP_e_f_x_{é um difeomorfismo local sob} uma variedade Riemanniana compacta exibindo alguma expansão não uniforme. Como consequência da prova, obtemos uma fórmula de integra¸cão para entro-pia topológica relativa como a integral dos logaritmo do grau topológico dasfx

com respeito a P_{. Quando} _F _{é topologicamente exata e o supremo dos graus} topológicos dasfxé finito, a medida que atinge o máximo é única e positiva sob

conjuntos abertos.

Palavras-chave: Entropia relativa, expansão não-uniforme, entropia to-pológica relativa, topologicamente exata e medida maximizante.

(9)

Conte´

udo

Introdu¸c˜ao 1

1 Preliminares 4

1.1 Sistemas dinˆamicos aleat´orios . . . 4

1.2 Operador de transferˆencia . . . 5

1.3 Expoente de Lyapunov . . . 7

2 Tempos hiperb´olicos 10 3 Entropia 14 3.1 Parti¸c˜ao . . . 14

3.2 Entropia . . . 15

3.2.1 Entropia relativa . . . 15

3.2.2 F´ormula de Rokhlin’s em RDS . . . 17

3.2.3 Press˜ao topol´ogica relativa . . . 18

4 Existˆencia e unicidade 20 4.0.4 Existˆencia . . . 20

4.0.5 Unicidade . . . 23

Bibliograf´ıa 28

(10)

Introdu¸

c˜

ao

A entropia topológicahtop(f) é um número invariante topológico importante do

sistema dinâmicof. Para aplica¸cões que expandem distância uniformemente, foi provado [8, Pa64] que este número descreve a taxa exponencial de crescimento de órbitas periódicas e é dado pelo logaritmo do grau topológico da aplica¸cão.

Por outro lado, existe uma importante rela¸cão entre entropia topológica e entropia métrica. Pelo princ´ıpio variacional [21], a entropia topológica pode ser definida como o supremo das entropias métricas entre todas as medidas invari-antes e se existe uma medida que maximize a entropia métrica ela é chamada de medida de entropia maximal. Como caracter´ıstica, essa medida descreve a distribui¸cão espacial de orbitas periódicas [8].

Para sistemas dinˆamicos aleat´orios definidos como skew-product da forma

F(x, y) = (θ(x), fx(y)) onde θ ´e uma aplica¸c˜ao invert´ıvel que preserva uma

medida ergódica P _{e (}_f_x₎_x_∈_X _{fam´ılia aplica¸c˜}_{oes expansoras, foi provado, por} Bogenschütz em [7] uma versãorelativa do principio variacional . Nessa versão a entropia topológica relativa é o supremo das entropias métricas entre todas a medidas invariantes com marginalP _{e se existe uma medida que maximiza} a entropia métrica, ela é chamada de medida de entropia maximal relativa. Daremos uma defini¸cão mais precisa no cap´ıtulo 3. Kifer [10] prova a existência de estado de equil´ıbrio para sistemas aleatórios uniformemente expansores e Liu [11] estende esse resultado para sistemas uniformemente hiperbólicos.

Estender essas propriedades no caso de expansão uniforme é um problema desafiante. Vários autores têm melhorado tais resultados no caso determin´ıstico. Em [3], menciona-se alguns recentes trabalhos. Em [16], Oliveira e Viana mos-tram para caso determin´ıstico a existência e unicidade de medida de máxima entropia para um conjunto aberto de aplica¸cões não-uniformemente expanso-ras. Além disso, para essas aplica¸cões, a entropia topológica coincide com o logaritmo de seu grau.

No ambiente aleatório, Urbanski e Simmons [20] provam a existência de esta-dos Gibbs para potenciais Hölder cont´ınuos e aplica¸cões expansoras aleatórias. Além disso, provam que os estados Gibbs coincidem com estados de equil´ıbrios desses potenciais. Arbieto, Matheus e Oliveira [5], mostram para uma classe ro-busta (C2₋_aberta_{) de aplica¸c˜}_{oes aleat´}_{orias n˜}_{ao uniformemente expansora com}

certas condi¸c˜oes em suas derivadas e sobre uma classe extensa de potenciais, a existˆencia de estado de equil´ıbrio.

(11)

Rafael Alvarez Bilbao Medidas Maximizantes em Sistemas Dinˆamicos Aleat´orios

Neste trabalho estenderemos os resultados em [16], o qual consiste dada

f :Md_→_Md_{difeomorfismo local sob uma variedade Riemannian}_d_-dimensional

compacta M e grau topol´ogico p ≥ 1. Assumindo que f satisfaz a seguinte condi¸c˜ao

max

1≤k≤d−1log maxx∈MkΛ

k_Df₍_x₎_k_<_log_p

se tem, que htop(f) = logp, e qualquer auto-medida µ sobre o operador de

transferência L é uma medida maximizante. Além disso, se f é topologica-mente misturador, então a medida maximizante é única e positiva sob conjuntos abertos.

Em nosso ambiente aleat´orio de classe C1_{, assumimos condi¸c˜}_{oes sobre as}

derivadas da fam´ılia de fun¸c˜oes geradoras (fx)x∈Xque envolvem os expoentes de

Lyapunov. Mais precisamente, consideremos um sistema dinˆamico aleat´orioF :

X×Y →X×Y de classeC1_{definida por}_F₍_{x, y}_{) = (}_θ₍_x₎_{, f}

x(y)) ondeX ´e um

espa¸co de probabilidade Lebesgue, Y ´e uma variedade Riemannian compacta,

θ: X →X é uma aplica¸cão cont´ınua invert´ıvel mensuráveis preservando uma medida de probabilidadeP_{e (}_f_x₎_x_∈_X _{uma fam´ılia de difeomorfismos locais}_f_x_:

Y →Y, parax∈X, com grau topol´ogicopx≥1.

Neste contexto temos o resultado principal:

Teorema A. Assumimos queFsatisfaz (1.4), (2.2) e (2.3). Ent˜aohtop(F|θ) =

R

XlogpxdP(x). Al´em disso,

• Se µ∈ M1_P(F) tal que sua desintegra¸c˜ao µ= (µx)x∈X ´e uma sistema de

auto-medidas maximal para o operador de transferˆencia (Lx)x∈X, ent˜ao

µ´e uma medida de entropia maximizante.

• SeF ´e topologicamente exata edeg(F) := supx∈Xdeg(fx)<∞, a medida

maximizante ´e ´unica e positiva sob conjuntos abertos.

A estratégia da prova consiste primeiro provar a existência de sistema de auto-medidas, logo assumindo que os expoentes de Lyapunov são maiores que

α( constante dada em (1.4)) constru´ımos uma parti¸cão geradora, portanto po-demos usar fórmula de Rokhlin aleatória Teorema 3.2.3, com isso temos que a entropia relativa coincide comR_XlogpxdP(x). Por último para calcular a

en-tropia topológica relativa usaremos o principio variacional aleatório. A longo da prova fazemos uso do operador de transferência e tempos hiperbólicos para sistema dinâmicos aleatórios.

O trabalho est´a organizado da seguinte maneira:

No primeiro cap´ıtulo damos as defini¸cões e resultados importantes. Defi-nimos sistemas dinâmicos aleatórios-RDS(Random Dynamical Systems), ope-rador de transferência relacionado às fun¸cões geradoras fx : Jx → Jθ(x) para

todo x ∈ X e obtemos os operadores duais respectivos. Respondemos à per-gunta sobre a existência de auto-medidas. Para terminar esta se¸cão falamos sobre o Teorema ergódico multiplicativo aleatório que é uma extensão do caso determin´ıstico, este dá a existência dos expoentes de Lyapunov.

(12)

No cap´ıtulo seguinte, falamos de tempos hiperbólicos para RDS, no¸cão que foi introduzida por Alves em [2, 4] no caso determin´ıstico. Enunciamos os diferentes resultados importantes como a existência de um conjunto de medida total tal que todos seus pontos tem infinitos tempos hiperbólicos e além disso, tem densidade hiperbólica positiva. Depois enunciamos o lema onde obtêm-se os ramos inversos contrativos considerando os tempos hiperbólicos. Na parte final provamos que existeN ∈N_{tal que}_FN _{tem densidade positiva de tempos} hiperbólico emµ−q.t.p.

No terceiro cap´ıtulo, come¸camos por definir parti¸c˜ao sobre o espa¸co J =

X×Y e parti¸cão geradora. Damos condi¸cões para a existência de uma parti¸cão geradora. Depois falamos da entropia métrica relativa e com isso fazemos men¸cão de adapta¸cões aleatórias de teoremas importantes que se têm para caso determin´ıstico como são os Teoremas de Kolmogorov-Sinai, Margullis-Ruelle e Shannon-McMillan-Breiman. Em outra se¸cão, mostramos a fórmula de Rokhlin aleatória que é fundamental para provar o teorema principal. Para terminar de-finimos a pressão topológica relativa e com isso o principio variacional aleatório.

Na ultima parte deste trabalho, provamos a existência de medidas maximi-zantes e entre essas medidas estão as auto-medidas maximal. O passo a seguir é mostrar que a entropia métrica relativa com respeito a uma auto-medida vai ser igualR_XlogpxdP(x). Faltaria provar que a entropia topológica relativa é igual

a esse valor. Para resolver isso usamos o principio variacional aleatório. No caso da unicidade adicionamos duas novas hipóteses: F é topologicamente exata e com grau topológico finito. Com essas duas condi¸cões provamos que a medida que atingem a entropia topológica é única e além disso deve ser uma auto-medida maximal.

(13)

Cap´ıtulo 1

Preliminares

Neste cap´ıtulo enunciamos as defini¸cões e no¸cões básicas para o desenvolvimento deste trabalho. Para leitores familiarizados com a temática, este cap´ıtulo pode ser omitido e retornar sempre que julgar necessário.

1.1 Sistemas dinˆ

amicos aleat´

orios

Defini¸cão 1.1.1. Um sistema dinâmico aleatório (RDS-Random Dynamical Systems) métrico consiste do seguinte:

• Um espa¸co de probabilidade de Lebesgue (X,F,P₎

• θ:X →X uma transforma¸c˜ao invert´ıvel que preserva a medida erg´odica P_.

• Um espa¸co mensur´avel de Lebesgue (J,B) da forma

J = [

x∈X

{x} × Jx

ondeJxs˜ao as fibras do RDS

• Uma transforma¸c˜ao mensur´avelF :J → J da forma

F(x, y) = (θ(x), fx(y))

ondefx:Jx→ Jθ(x).

A dinˆamica est´a definida comoFn₍_{x, y}_{) = (}_θn₍_x₎_{, f}n

x(y)) onde

fxn(y) :=fθn−1₍_x₎◦...◦f_x(y).

Assumimos neste trabalho que Jx = Y para todo x ∈ X, neste caso J =

X×Y ondeY é uma variedade Riemanniana compacta conexad-dimensional, as fun¸cões fx : Jx → Jθ(x) são difeomorfismos locais de classe C1 e grau

to-pol´ogicopx≥1 para todox∈X, ondepx= #fx−1(y) para todo y∈ Jθ(x).

(14)

SejaM1

P(J) conjunto de medidas de probabilidade sobre (J,B) tal que

µ◦π_X−1=P

ondeπX:J →X ´e a proje¸c˜ao na primeira coordenada (π(x, y) =x), e seja

M1_P(F) ={µ∈ M1_P(J) :µ◦F−1=µ}.

Denotemos por εX a parti¸cão de X sobre elementos unitários. A parti¸cão

πX−1(εX) ´e mensur´avel. Portanto, para cada µ ∈ M1_P(J), pelo Teorema de

desintegra¸c˜ao de Rokhlin [19], existe um sistema de medidas (µx)x∈X tal que

µ=RµxdP(x) chamando-se sistema canˆonico de medidas condicionais.

Por outro lado, ´e imediato provar que a medidaµ∈ M1

P(J) ´eF−invariante

se somente se µx◦fx−1 = µθ(x) para P-quase todo ponto x ∈ X. Tamb´em

dizemos queF ´e de classeCk _{se cada}_f

x´e de classeCk para todox∈X.

Defini¸cão 1.1.2. F é topologicamente exata se para cada ξ > 0 existe uma fun¸cão mensurável limitadanξ:X→Ntal que paraPquase todo pontox∈X

e para todoy∈ Jx temos

fnξ(x)

x (Bx(y, ξ)) =J_θnξ(x) (x)

Denotemos porn∗

ξ := supx∈Xnξ(x).

1.2 Operador de transferˆ

encia

Seja CP(J) o espa¸co de todas as fun¸c˜oes mensur´aveis g : J → C tais que

P₋_{q.t.p. x}_∈_{X, g}_|_J

x :=gx∈C(Jx) conjunto das fun¸c˜oes cont´ınuas sobreJx.

Definamos

L1_J₍_X,_C₍_Y_{)) :=}_ϕ_{∈ C}_P₍_J_{) :}_k_ϕ_k₁₌

Z

X

kϕxk∞dP(x)<+∞ (1.1)

Para x ∈ X fixado α ∈ (0,1] denotemos por Hα₍_J

x) o espa¸co das fun¸c˜oes

H¨older cont´ınuas sobreJx com expoenteα. Isso ´e,φx∈ Hα(Jx) se e somente

seφx∈C(Jx) eυα(φx)<∞onde

υα(φx) := sup

|φx(y)−φx(z)|

d(y, z)α : y, z∈ Jx

Uma fun¸c˜aoφ∈L1

J(X,C(Y)) chama-se H¨older cont´ınua com expoente α

mos-trando que existe uma fun¸c˜ao mensur´avelK:X →[1,+∞) tal que logK∈L1(P₎

e

υα(φx)≤Kx, paraP−q.t.p. x∈X

denotandoHα₍_J_{, K}_{) como espa¸co das fun¸c˜}_{oes H¨}_{older cont´ınuas fixados}_α_e_K_,

e porHα₍_J_{) o espa¸co das fun¸c˜}_{oes H¨}_{older cont´ınuas com expoente}_α_.

(15)

Para cadag∈ CP(J), seja

Sn(g) := n_X−1

j=0

g◦Fj_, _(1.2)

como gx(y) = g(x, y) em P−q.t.p. x ∈ X, ent˜ao (Sng)x = Pn_j₌₀−1gθj₍_x₎◦f_xj.

Agora, sejaϕ∈ Hα₍_J_{), consideremos o}_{operador de transferˆencia} _L

x =Lϕx :

C(Jx)→C(Jθ(x)) definido por

Lxgx(w) =

X

fx(z)=w

gx(z)eϕx(z), w∈ Jθ(x)

este ´e um operador linear positivo limitado com norma

kLxk∞≤deg(fx) exp(kϕxk∞).

Com esta fam´ılia de operadores obtemos um operador global L :C(J)→

C(J) definido como

(Lg)x(w) =Lθ−1₍_x₎g_θ−1₍_x₎(w) Para cadan >1 eP₋_{q.t.p. x}_∈_X_{, denotamos}

Lnx:=Lθn−1₍_x₎◦ · · · ◦ L_x:C(J_x)→C(J_θn₍_x₎).

Note que

Lnxgx(w) =

X

z∈f−n x (w)

gx(z)eSnϕx(z), w∈ Jθn₍_x₎,

ondeSnϕx(z) ´e dado em (1.2). Portanto, o operador dual L∗x : C∗(Jθ(x)) →

C∗(Jx) ´e definido

L∗x(µθ(x))gx:=µθ(x)(Lxgx).

Por outro lado, chama-sesistema de auto-medida maximal (µx)x∈X

corres-pondente aµ∈ M1

P(F) considerando a parti¸c˜aoπ

−1

X (εX) se satisfaz

L∗xµθ(x)=pxµx, para todox∈X.

Mostraremos a existˆencia desses sistema de auto-medidas maximais. De fato, para potencial nuloϕ≡0, o operador de transferˆenciaL:C(J)→C(J) fica definido

(Lg)(x, y) = X

F(θ−1₍_x₎_,z₎₌₍_x,y₎

g(θ−1(x), z) portanto,

(Lg)x(y) =Lθ−1₍_x₎g_θ−1₍_x₎(y) =

X

f_θ−_{1 (}_x₎(z)=y

gθ−1₍_x₎(z) = (Lg)(x, y).

Agora, sejag∈C(J) eµ∈ M1

P(F). Definindo o seguente operador

ˆ

L:C(J)→C(J)

(16)

como ˆL(g)(x, y) := (L_pg)(x,y)

θ−_{1 (}_x₎ . Por conseguinte, integrando

Z

ˆ

L(g)(x, y)dµ=

Z ₍_L_g₎₍_{x, y}₎ pθ−1₍_x₎

dµ=

Z

X

Z

Jx

(Lg)x(y)

pθ−1₍_x₎

dµxdP

=

Z

X

Z

Jx

Lθ−1₍_x₎g_θ−1₍_x₎(y)

pθ−1₍_x₎

dµxdP

=

Z

X

Z

J_θ−1 (_x₎

gθ−1₍_x₎(y)d

L∗

θ−1₍_x₎_µ

x

pθ−1₍_x₎

dP_=:

Z gdµˆ

logo, definindo ˆµ dessa forma temos que ˆµ ∈ M1

P(F). De outro lado, o

espa¸coM1

P(F) ´e um conjunto compacto e convexo([14],Teorema 1.5.10). Ent˜ao,

ˆ

L∗_| M1

P(F) : M

1

P(F) → M1P(F) se define ˆL∗|M1

P(F)(µ) = ˆµ. Aplicando o teo-rema de ponto fixo Schauder-Tychonoff, temos que existeµ ∈ M1

P(F) tal que

ˆ

L∗_| M1

P(F)(µ) = ˆµ=µ, portanto seu desintegra¸c˜ao fica

L∗

θ−1₍_x₎(µx)

pθ−1₍_x₎ =µθ

−1₍_x₎

para todox∈X. Aplicando o Teorema de desintegra¸cão de Roklhin’s, temos que o sistema canônico de medidas (µx)x∈X do ponto fixoµé mensurável com

respeito ao espa¸coX,

De outro lado, mostremos que as fun¸c˜oesfx:Jx→ Jθ(x)preservam medida

do ponto fixo ˆL∗₍_µ_{) =}_µ_{acima. De fato, seja}_g

θ(x)∈C(Jθ(x)). Usando operador

de transferˆenciaLx considerando o potencial nuloϕ≡0, temos que Lx(gθ(x)◦

fx)(z) =pxgθ(x)(z) e

Z

(gθ(x)◦fx)dµx=

1

px

Z

(gθ(x)◦fx)dL∗xµθ(x)

= 1

px

Z

Lx(gθ(x)◦fx)dµθ(x)

=

Z

gθ(x)dµθ(x)

Para mais detalhe desta parte ver [15].

1.3 Expoente de Lyapunov

Quando o sistema (F,J, µ) preserva medida µ, podemos ter a seguinte refor-mula¸c˜ao do teorema erg´odico multiplicativo de Oseledec.

Teorema 1.3.1. [12] Assumamos que F ´e de classe C1 _{(i. ´e.} _r _{= 1) e a}

seguinte condi¸c˜ao de integra¸c˜ao

Z

log+kDfx(y)kdµ(x, y)<∞

Ent˜ao, existe∆⊆ J tal queµ(∆) = 1e para cada (x, y)∈∆ os n´umeros

−∞6λ(1)(x, y)< ... < λ(r(x,y))(x, y)<∞

(17)

mensuráveis em(x, y)e estão associados a sequências de sub-espa¸cos em TyJx

{0}=V(0)(x, y)⊂V(1)(x, y)⊂...⊂V(r(x,y))(x, y) =TyJx

satisfaz

lim1

nlogkDyf

n

xvk=λ(i)(x, y)

parav ∈V(i)₍_{x, y}₎_\_V(i−1)₍_{x, y}₎ _para ₁ ₆_i ₆_r₍_{x, y}_{). Dizemos que} _λ(i)₍_{x, y}₎

´e expoente de Lyapunov de F em (x, y). Sejam m(i)₍_{x, y}_{) =} _dimV(i)₍_{x, y}₎₋

dimV(i−1)₍_{x, y}₎_{sua multiplicidade e}

{(λ(i)(x, y), m(i)(x, y)) : 16i6r(x, y)}

espectro de Lyapunov deF em (x,y).

Dado um espa¸co de vetorial V e um número k ≥ 1, a k-ésima potência exterior deV é o espa¸co de vetores de todas as k−formas lineares alternadas definida sobre o espa¸co dual de V. Tomamos V de dimensão finita, então o produto exteriorΛk_V _{admite uma descri¸c˜}_{ao alternativa, como o espa¸co gerado}

pelo o produto v1∧ · · · ∧vk de vetores v1, v2, ..., vk in V. Assumindo V com

produto exterior, podemos expressarΛk_V _{com o produto interno tal que} _k_v

1∧

· · · ∧vkk ´e justamente o volume do k−dimensional paralep´ıpedo determinado

pelos vetoresv1, v2, ..., vk emV.

Um isomorfismo linearA:V →W induz outro ,Λk_A_:_Λk_V _→_Λk_W_{, atrav´es}

ΛkA(v1∧ · · · ∧vk) =Av1∧ · · · ∧Avk,

QuandoV =W, os autovalores deΛk_A_{s˜ao o produto de}_k_{distintos autovalores}

deA(onde um autovalor com multiplicidade m´e contado como m “distintos” autovalores). Correspondentemente, existe uma simples rela¸c˜ao entre o espectro de LyapunovΛk_Df

xeDfx, os expoentes de LyapunovΛkDfx s˜ao a soma dek

distintos expoentes de Lyapunov deDfx.

Definamos para 1≤k≤d−1

Ck(x, y) = lim sup

1

nlogkΛ

k_Dfn x(y)k

e

Ck(x, F) = max y∈Jx

Ck(x, y)

Como primeira hip´otese deste trabalho assumimos que: max

16k≤d−1

Z

X

Ck(x, F)dP(x)<

Z

X

logpxdP(x). (1.3)

O qual significa que o integrando da taxa exponencial da derivada do volume

k−dimensional n˜ao seja demasiado grande, parak menor que a dimens˜ao de

Y. Com isso define-se

α:=α(F) =

Z

X

logpxdP− max

16k6d−1

Z

X

Ck(x, F)dP(x)>0 (1.4)

(18)

Os expoentes de Lyapunov deΛk_Df

xs˜ao a soma dekdistintos expoentes de

Lyapunov deDfx, com a mesma conven¸c˜ao de multiplicidade de antes. Temos,

λi1(x, y) +λi2(x, y) +· · ·+λik(x, y)≤Ck(x, y)

para qualquer 1 ≤ i1 < i2 < · · · < ik ≤ d, e a hip´otese (1.3) implica que o

integrando da soma ´e estritamente menor queR_XlogpxdP(x), para todok < d.

Muitos resultados interessantes sobre os expoentes de Lyapunov em sistemas dinˆamicos aleat´orios podem ser encontrados em [?], [13].

(19)

Cap´ıtulo 2

Tempos hiperb´

olicos

Esta no¸cão foi introduzida por Alves em [2, 4] para caso determin´ıstico e é usada para sistemas dinâmicos aleatórios em [5]. Dada uma medida emM1

P(F) cujos

expoentes de Lyapunov são maiores que 8α, vamos a encontrar no Lema 2.0.4 que existeN ∈N_{tal que}_FN _{tem um conjunto de medida total em}_X_×_Y_{, cujos} pontos tem densidade positiva de tempos hiperbólicos, esto nos vai a permitir no cap´ıtulo posterior no Lema 3.1.1 ter uma parti¸cãoF−geradora com respeito à medidaµ. Para isso, vamos assumir como hipóteses a longo deste trabalho uma condi¸cão de distor¸cão (2.2) e condi¸cões de derivada (2.3) sobre as fun¸cões geradoras, que nos ajudá obter estes resultados.

Neste cap´ıtulo F : J → J é um sistema dinâmico aleatório de classe C1 _e

µ∈ M1 P(F).

Defini¸c˜ao 2.0.1. Dizemos queν ∈ MP(J) ´e expansora com expoentec >0 se

paraν-q.t.p. (x, y)∈ J temos

λ(x, y) = lim sup1

n

n−1

X

j=0

logkDfθj₍_x₎(f_xj(y))−1k6−2c <0

Defini¸c˜ao 2.0.2. Fixadoc >0, dizemos quen∈N_{´e um}_c_{- tempo hiperb´}_olico para (x, y) se para cada 16k6ntem-se:

n_Y−1

j=n−k

kDfθj₍_x₎(f_xj(y))−1k6exp(−ck)

Por outra lado, F tem tempos hiperbólicos comdensidade positivapara (x, y), se o conjuntoH(x,y) de inteiros que são tempos hiperbólicos de F para

(x, y) satisfaz

lim inf

n→∞

1

n#(H(x,y)∩[1, n])>0

O objetivo é mostrar condi¸cões para que um sistema dinâmico aleatório con-tenha um conjunto de tempos hiperbólicos com densidade positiva. O seguinte Lema devido a Pliss, é fundamental para conseguir esse resultado.

(20)

Lema 2.0.1 (Pliss). Dado 0 < c1 < c2 < A e ζ = cA2−−cc11. Dados os n´umeros reaisa1, ..., aN0 satisfazendoaj ≤A para cada1≤j≤N0 e

N0

X

j=1

aj ≥c2N0,

existel > ζN0 e1< n1<· · ·< nl≤N0 tal que

ni

X

j=n+1

aj ≥c1(ni−n)

para cada0≤n < ni ei= 1, ..., l.

A prova deste fato pode ser encontrada [1](Lema 2.11).

No lema posterior consegu´ımos um conjunto de medida total onde todos seus pontos tem infinitos tempos hiperbólicos com densidade positiva, para sua demonstra¸cão é fundamental o Lema de Pliss acima. Antes de enunciar o lema vamos assumir que:

inf

(x,y)∈JkDfx(y)

−1_k_>₀_, _(2.1)

o qual ´e necess´ario para sua prova.

Lema 2.0.2. Para cada medida invariante ν expansora com expoentec, existe um conjunto H ⊂ J de ν-medida total, tal que para cada (x, y) ∈ H tem infinitosc-tempos hiperb´oliconi=ni(x, y). Al´em disso, a densidade de tempos

hiperb´olicos ´e maior queλ=λ(c)>0:

• Qni−1

j=ni−kkDfθj(x)(f

j

x(y))−1k ≤exp(−ck) para cada1≤k≤ni

• lim infn→∞#{0≤_nni≤n} ≥λ >0

Uma consequência do lema anterior é ter ramos inversos contrativos nos tempos hiperbólicos, resultado que vamos a enunciar no lema de abaixo, mas usamos como hipótese deste trabalho a seguinte condi¸cão de distor¸cão sobre as fun¸cões geradora. Paraε >0, existeδ >0 tal que sez∈ Jxey∈Bδ(z)⊂ Jx,

temos

kDfx(z)−1k

kDfx(y)−1k

≤exp(ε/2). (2.2)

paraP₋_{q.t.p. x}_∈_X_.

Lema 2.0.3. Existe δ0 > 0 tal que para P-q.t.p. x ∈ X, se ni ´e c-tempo

hiperb´olico de (x, y) ezni ∈Bδ0(f

ni

x (y)), ent˜ao existe z∈Bδ0(y)⊂ Jx tal que

fni

x (z) =zni e

d(fni−k

x (z), fxni−k(y))≤exp(−ck/2)d(fxni(z), fxni(y)),

para todo1≤k≤ni.

(21)

As provas dos Lemas 2.0.2 e 2.0.3 acima encontram-se em [5](Lemas 5.4 e 5.5).

O pr´oximo lema envolve a constanteαdada em (1.4) por

α:=α(F) =

Z

X

logpxdP− max

16k6d−1

Z

X

Ck(x, F)dP(x)>0,

os expoentes de Lyapunov e conforme `a condi¸c˜ao

Z

log+kDfx(y)kdµ <+∞ e

Z

log+kDfx(y)−1kdµ <+∞, (2.3)

conseguimos uma medida expansoraν ∈ M_P(J) com expoente α para algum

FN sendoN ∈N_{. Logo, usando o Lema 2.0.2 temos um conjunto cujos pontos} tem densidade positiva de tempos hiperb´olicos.

Lema 2.0.4. Seja µ medida ergódica invariante cujos expoentes de Lyapunov são maiores queα+κondeκ >0 uma constante pequena. Então existeN∈N tal queFN _{tem tempos hiperb´}_{olicos com densidade positiva para}_µ_-q.t.p.

Demonstra¸cão. Como os expoentes de Lyapunov deµ são maiores que α+κ, para quase todo (x, y)∈ J, então paraε >0 comε < κexiste n0(x, y)≥1 tal

que

kDfxn(y)υk ≥exp((α+ε)n)kυk, υ∈TyJx, n≥n0(x, y)

em outras palavras,

kDfxn(y)−1k ≤exp(−(α+ε)n), n≥n0(x, y)

SejaAn ={(x, y) :n0(x, y)> n}, portanto

Z

J

logkDfxn(y)−1kdµ≤ −(α+ε)n+

Z

An

logkDfxn(y)−1kdµ

multiplicando por 1_n 1

n Z

J

logkDfxn(y)−1kdµ≤ −(α+ε) +

Z

An

1

nlogkDf

n

x(y)−1kdµ,

fazendoϕn(x, y) = logkDfxn(y)−1k, usando a hip´otese (2.3)

R

log+kDfx(y)−1kdµ <

+∞e o Teorema Erg´odico Subaditivo de Kingman(ver [17], Teorema 3.3.3), con-clu´ımos que existe uma fun¸c˜ao ϕ+ _∈ _L1₍_µ_{) tal que} 1

nϕn(x, y) → ϕ(x, y), µ−

q.t.p.. Logo

1

n Z

J

logkDfn

x(y)−1kdµ≤ −(α+ε) +

Z

An

₁

nϕn(x, y)−ϕ(x, y)

dµ+

Z

An

ϕ(x, y)dµ

≤ −(α+ε) +

Z

An

1_nϕn(x, y)−ϕ(x, y)

dµ+

Z

An

ϕ+dµ

≤ −(α+ε) +1

nϕn−ϕ

L1+

Z

An

ϕ+dµ

(22)

quandon→ ∞implica µ(An)→0. Ent˜ao, podemos escolherN

suficiente-mente grande tal que paraε′ _>_{0 com}_ε′ _{< ε}

Z

J

1

N logkDf

N

x (y)−1kdµ(x, y)<−(α+ε′)<0

agoraµser erg´odica

lim

n→∞

1

n

n_X−1

i=0

1

N logkDf

N

θN i₍_x₎(f_xN i(y))−1k=

Z

J

1

N logkDf

N

x (y)−1kdµ(x, y)<−(α+ε′)

portanto,

lim

n→∞

1

n

n−1

X

i=0

logkDfθNN i₍_x₎(f_xN i(y))−1k<−N(α+ε′)<−4α

Isso significa que aplicando Lema 2.0.2 temos a conclus˜ao.

O seguinte resultado ´e um Lema t´ecnico que usaremos mais pra frente. Lema 2.0.5. Seja A⊂Ω,β > 0 e g: Ω→Ω um difeomorfismo local tal que

g tem densidade > 2β de tempos hiperb´olicos para cada x ∈ A. Ent˜ao, dado qualquer medida de probabilidadeν sobreA e qualquerm≥1, existe n > mtal que

ν {x∈A:n´e tempo hiperb´olico deg parax}> β

A prova deste lema pode ser encontrada em [16](Lema 4.4).

(23)

Cap´ıtulo 3

Entropia

Em 1958 Kolmogorov introduziu o conceito de Entropia para o caso deter-min´ıstico, nesta seçcão vamos tratar da defini¸cão de entropia em RDS, tomando como referência as defini¸cões de Simmons D. e Urbanski M. em [20].

3.1 Parti¸

c˜

ao

Dada uma parti¸c˜aoP deJ define-se

Pn =

n_{_}−1

j=0

F−j(P), n≥1

como a parti¸cão que se obtêm pela interse¸cão das imagens inversas deFa partir de 0 atén−1 da parti¸cãoP.

Sendo P ={Pi}i∈I, logo a parti¸c˜ao induzida porP sob cada fibra Jx esta

dada porPx={Ax,i}i∈Ix⊂I ondeAx,i=Jx∩ Pi. Portanto

Pxn = n_{_}−1

j=0

(fxj)−1(Pθj₍_x₎) =Pn∩ J_x

Consequentemente,Pe=Sx∈XPxé uma parti¸cão sobJ induzida porP e além

disso Pe ´e mais fina que π_X−1(εX). Denotemos Aµ(F|θ) a cole¸c˜ao de todas as

parti¸c˜oes mensur´aveisP deJ mais fina queπ−_X1(εX) e tendo entropia relativa

finita aπ_X−1(εX)(Hµ(P|πX−1(εX))<+∞) tal quefx|Px ´e injetora para P-q.t.p.

x∈X e cadaPx∈ Px.

Defini¸cão 3.1.1. Uma parti¸cãoP ∈ Aµ(F|θ) é geradora porF relativa aθ se

somente se

P∞:=

∞

_

j=0

F−j(P)≡µ εJ

ondeεJ é a parti¸cão sobJ =Sx∈X{x} × Jx sobre elementos unitários.

A rela¸cão≡µsignifica que dado duas parti¸cõesP1eP2deJ, entãoP1≡µP2

se existe um conjunto mensur´avel W ⊆ J comµ(J \W) = 0 tal queP1|W =

P2|W.

(24)

Podemos obter uma parti¸c˜ao geradora usando (1.4). Com efeito,

Lema 3.1.1. Seµé uma medida invariante tal que os expoente de Lyapunov são maiores que α(a constante αdada em (1.4)), P ∈ Aµ(F|θ)uma parti¸cão com

diˆametro menor que δ0>0 como no Lema 2.0.3. Paraµ−q.t.p. (x, y)∈ J,

então o diâmetro de Pn(x, y) tende a zero, quando n vai para infinito. Em particular,P é uma parti¸cão F-geradora com respeito aµ.

Demonstra¸c˜ao. Por Lema 2.0.4 existeN ≥1 tal queFN _{tˆem densidade positiva}

de tempos hiperb´olicos paraµ−q. t. p.. Defina

Sk = k_{_}−1

j=0

F−jN(P), para cadak≥1

Por Lema 2.0.3, seké um tempo hiperbólico deFN _{para (}_{x, y}_{) então}

diamSk(x, y)≤e−ck/2. Em particular, os conjuntosSk(x, y) s˜ao n˜ao-crescente

com k, o diˆametro de Sk(x, y) vai para zero quando k → +∞. Desde que

PkN₍_{x, y}₎_{⊂ S}

k(x, y) e a sequência diamPn(x, y) é não-crescente, temos que o

diˆametro dePn(x, y) vai para zero quandontende a infinito, paraµ-quase todo (x, y)∈ J.

Para provar quePé uma parti¸cão geradora paraFcom respeito aµ, é suficiente mostrar que, dado qualquer conjunto mensurável E e ε > 0, existe n ≥ 1 e elementosAi

n, i= 1, ..., m(n) dePn tal que

µ

m

[

i=1

Ain∆E

< ε

Considerar os conjuntos compactos K1 ⊂ E e K2 ⊂ Ec tal que µ(K1∆E) e

µ(K2∆Ec) s˜ao ambos menores que ε/4. Fixado n≥1 suficientemente grande

tal quediamPn₍_{x, y}_{) ´e menor que a distancia de}_K

1aK2para (x, y) fora de um

conjuntoFεcom medida menor queε/4. SejaAin, i= 1, ..., m(n) os conjuntos

Pn₍_{x, y}_{) que intersectam}_K

1, para (x, y)∈/Fε. Ent˜ao eles s˜ao disjuntos de K2,

e assimµ SiAin∆E

´e limitada por acima

µ E\[

i

Ain

+µ [

i

Ain\E

≤µ(E\K1) +µ(Ec\K2)≤ε.

Isso completa a prova.

3.2 Entropia

3.2.1 Entropia relativa

Defini¸c˜ao 3.2.1. Sejaµ ∈ M1

P(F), e P uma parti¸c˜ao mensur´avel de J mais

fina queπ_X−1(εX), a entropia relativa com respeito aP

hµ(F|θ;P) := lim n→+∞

1

nHµ(P

n_|_π−1

X εX).

(25)

onde entropia relativa ´e dada por,

Hµ(P|πX−1(εX) :=

Z

X

Hµx(Px)dP(x)<+∞

ePx={P ∩ Jx:P ∈ P}

Por outro lado, seja

hµ(F|θ) := sup{hµ(F|θ;P)},

o supremo é tomado sobre todas as parti¸cões mensuráveisP deJ mais fina que π_X−1(εX). O número hµ(F|θ) chama-se entropia de F relativa a θ com

respeito `a medida µ.

Existem muitos resultados no caso determin´ıstico que se adaptam à dinâmica aleatórios, como por exemplo os Teoremas Shannon-McMillan-Breiman, Margulis-Ruelle entre outros. Mencionemos aqui esses dois teoremas que envolvem a entropia relativa.

Teorema 3.2.1 (Shannon-McMillan-Breiman). Sejam F : J → J um RDS,

µ∈ M1

P,e(F)(subconjunto das medidas erg´odicas emM1P(F)) e P ∈ Aµ(F|θ),

ent˜ao para µ−q.t.p.(x, y)∈ J

lim

n→∞

−1

n logµx(P

n

x(y)) =hµ(F|θ;P)

Teorema 3.2.2 (Margulis-Ruelle). Seja F de classe C1 um RDS sobre uma variedade Md _{sem bordo e} _µ _{uma probabilidade} _F_{-invariante sobre} _X _×_M_.

Suponha que _Z

X

log+ sup

y∈MkDfx(y)kd

P₍_x₎_<_∞ Ent˜ao,

hµ(F|θ)6

Z

X×M d

X

i=1

λ+_i(x, y)dµ(x, y)

ondeλ+_i (x, y) := max{λ(i)₍_{x, y}₎_,₀_}_.

As provas destes importantes resultados encontrar-se em [7] e [13](Teorema 2.4 e Teorema 2.1 (apêndice)) respectivamente. Uma aplica¸cão do Teorema de Margulis-Ruelle está na prova do lema a seguir onde assumimos como hipótese (1.4), expressada como

α:=α(F) =

Z

X

logpxdP− max

16k6d−1

Z

X

Ck(x, F)dP(x)>0

Lema 3.2.1. Seµ´e uma probabilidade invariante com um expoente menor que

α(F), ent˜ao

hµ(F|θ)<

Z

X

logpxdP(x)

(26)

Demonstra¸c˜ao. Denotemos porλ1(x, y)≤ · · · ≤λd(x, y) os expoentes de

Lya-punov de F em (x, y). Portanto, usando a desigualdade de Margulis-Ruelle temos

hµ(F|θ)≤

Z

J

d

X

i=1

λ+_i (x, y)dµ(x, y)

=

Z

J

λ+1(x, y)dµ(x, y) +

Z

J

X

i∈{2,...,d}

λ+i (x, y)dµ(x, y)

< α(F) +

Z

J

Ck(x, y)dµ(x, y)≤α(F) + max

1≤k≤d−1

Z

X

Ck(x, F)dP(x)

≤

Z

X

logpxdP(x).

3.2.2 F´

ormula de Rokhlin’s em RDS

Seja g : (Z,A, ν) → (W,B, ρ) transforma¸cão preservando medida entre os espa¸cos de probabilidade (Z,A, ν) e (W,B, ρ). Suponha que existe uma parti¸cão mensurável e contável G = {Ai} de Z(ν − mod 0) tal que para cada Ai a

aplica¸cãogi:=g|Ai :Ai→W é absolutamente cont´ınua, isto é,

1. gi ´e injetora.

2. gi(A) é mensurável seAé um conjunto mensurável deAi.

3. ρ(gi(A)) = 0 seA⊂Ai´e mensur´avel eν(A) = 0.

Por 1. e 2. definimos a medidaνgi sobre cadaAiporνgi(A) =ρ(gi(A)) para

cadaA ⊂Ai. Por 3. νgi ´e absolutamente cont´ınua com respeito a νi :=v|Ai.

Agora, seja a fun¸c˜ao mensur´avelJν(g) :Z→R+ dada por

Jν(g)(x) =

dνgi

dνi

(x) se x∈Ai

Aplicando o acima paraF :J → J um RDS, µuma probabilidade invari-ante. Temos uma fun¸c˜ao n˜ao-negativa Jµ(F) e existe um conjunto I ⊂ J de

medida zero tal que para cada mensurávelA ⊂ J \ I para qualF é injetora, então

µ(F(A)) =

Z

A

Jµ(F)dµ.

Agora, restringindoJµ(F) aJx e usando o conjunto de medida zero I,

consi-deramos a fun¸c˜aoJµx(fx) =Jµ(F)|Jx sob a fibraJx forP−q.t.p x∈X. Pela

defini¸c˜ao de acima ´e claro que:

µθ(x)(fx(Ax)) =

Z

Ax

Jµx(fx)dµx.

Para qualquerAx⊂ Jx\ Ixmensur´avel tal quefx|Ax´e injetora. Em particular,

Jµx ´e o jacobiano defxrelativa aµx.

(27)

Em nosso contexto e usando Lema 3.1.1, temos uma parti¸cãoP F-geradora, então F é essencialmente contável, isso é: Dada a parti¸cão mensurável A :=

F−1₍_ε

J) o sistema canˆonico de medidas condicionais correspondente (µA)A∈A

s˜ao puramente atˆomicos(mod0 com respeito aµA) para todoA∈ A. Portanto

por Proposi¸c˜ao 1.9.5 de [18] o jacobiano e a medidaµsempre existem.

Com isso, obtemos uma formula que relaciona o jacobiano e a entropia de uma medida. Sugerimos [16], Proposi¸c˜ao 6.1 ou [18], Teorema 1.9.7 para a prova.

Teorema 3.2.3 (Fórmula de Rokhlin’s aleatória). Se µé medida ergódica in-variante que admite uma parti¸cão P F−geradora com respeito a µ, então

hµ(F|θ) =

Z

logJµ(F)dµ=

Z

X

Z

Jx

logJµxfx(y)dµx(y)

dP₍_x₎ ondeJµxfx denota o jacobiano de fx relativa aµx paraP−q.t.p. x∈X.

3.2.3 Press˜

ao topol´

ogica relativa

Um sistema dinâmico aleatório métricoF :J → J étopológico se para cada

x ∈ X, as fibras Jx são um espa¸co métrico compacto, com métrica dx, cuja

σ−´algebra de Borel ´eBx=B ∩ Jx, e supx∈Xdiam(Jx)<+∞.

Defini¸cão 3.2.2. Diz que um sistema dinâmico aleatório topológicoF :J → J

´etipo global se existe um espa¸co m´etrico compacto (Y, d) tal que

• Para cadax∈X,Jx⊆Y, edx=d|Jx.

• B= (FNBY)|J, ondeBY ´e aσ−´algebra de subconjuntos de Borel deY.

SeJx=Y para todox∈X, ent˜aoFchama-setipo global fortemente. Neste caso

Y é ditoespa¸co verticaldo sistema dinâmico aleatório topológicoF :J → J. Dadox∈X,ε >0, um inteiron≥0, éE⊆ Jxum conjunto (x, n, ε)−separável

se para cada dois pontos distintos y, z ∈ E existe j ∈ {0,1, ..., n−1} tal que dθj₍_x₎(f_xj(y), f_xj(z)) > ε. Se F : J → J ´e de tipo global fortemente e

ϕ∈L1

J(X,C(Y))(dado em (1.1)) chamam-sepotencial, definimos apress˜ao

to-pol´ogica relativa

Pt(ϕ, F|θ) := lim ε→0lim supn→∞

1

n Z

X

log sup

E⊆Jx

X

y∈E

exp(Snϕ(x, y))

dP₍_x₎_,

onde sup ´e tomado sobre todos (x, n, ε)−separ´avel subconjunto E ⊆ Jx. No

caso particular do potencial nulo ϕ ≡ 0 a equa¸c˜ao acima chama-se entropia topol´ogica relativa, denotando-seht(F|θ) :=Pt(0, F|θ)

Bogenschütz prova em [6] o principio variacional para sistemas dinâmicos aleatórios, o qual é:

Teorema 3.2.4. Seja F:J → J um sistema dinâmico aleatório topológico de tipo global fortemente eϕ∈L1_J₍_X,_C₍_Y₎₎_{um potencial, ent˜}_ao

Pt(ϕ, F|θ) = sup µ∈M1

P(F)

hµ(F|θ) +

Z

J

ϕdµ

. (3.1)

(28)

Por outro lado, em alguns situa¸c˜oes existem medidasµ∈ M1

P(F) que

atin-gem (3.1), essas medidas chamam-seestado de equil´ıbrio relativopara o potencial

ϕ∈L1

J(X,C(Y)). Para potencial nulo o estado de equil´ıbrio relativo chama-se

medida maximizante relativa.

Por outra parte, consideremos o seguinte exemplo que satisfaz as hip´oteses de nosso resultado. Dados dois difeomorfismos locais f0, f1: Y →Y de classe

C1_{, tal que log}_k_Λk_Df

1k < logp1 para 1 ≤ k < d. Seja Pα uma medida de

Bernoulli sob espa¸co de sequˆencias X = {0,1}Z _{tal que} P_α_{([1]) =} _α_{, definida} como abaixo. Consideremos

Anα_e={x= (ij)∈X :

♯{ij = 1; 0≤j≤n−1}

n ≥αe}.

dadoα < αe , existeεn tal queεn→0 e 1−εn≤Pα(An_e_α)≤1 +εn.Defina-se

L= max

1≤k≤dmax{logkΛ k_Df

0k,logkΛkDf1k}.

Temos que,

Z

logkΛkDfxnkdPα(x)≤

Z

An

e

α

log Πn_j₌₀−1kΛkDfijkdPα

+

Z

(An

e

α)c

log Πn_j₌₀−1kΛkDfijkdPα

≤(1 +εn)(αne logkΛkDf1k+ (1−αe)nlogL)

+

Z

(An

e

α)c

log Πnj=0−1kΛkDfijkdPα

Agora, multiplicando por 1/n e aplicando o Teorema Erg´odico Subaditivo de Kingman,

Z

lim1

nlogkΛ

k_Dfn

xkdPα(x)≤αelogkΛkDf1k+ (1−αe) logL

+ lim1

n Z

(An

e

α)c

log Πnj=0−1kΛkDfijkdPα

=α_elogkΛkDf1k+ (1−αe) logL.

Usando que logkΛk_Df

1k<logp1 para 1≤k < d, se escolhemos αperto de

1, devemos tomarα_e perto deαtal que para cada 1≤k < d,

e

αlogkΛkDf1k+ (1−αe) logL < αlogp1+ (1−α) logp0=

Z

logpxdPα(x).

Portanto, obtemos a principal hipótese da tese(1.4). Com respeito a demais hipóteses (2.2), (2.3) segue-se diretamente do fato que as fun¸cõesf0, f1 são de

classeC1 _e_Y _{´e compacto.}

(29)

Cap´ıtulo 4

Existˆ

encia e unicidade

No conjuntoM1

P(F) das medidas µprobabilidade invariantes, provaremos que

todas as auto medidas maximal µ com desintegra¸c˜ao respectiva (µx)x∈X

cor-respondente à parti¸cão mensurável π_X−1(εX), atingem o principio variacional

aleat´orio Teorema 3.2.4.

4.0.4 Existˆ

encia

Para mostrar que cada sistema de auto-medidas maximalµ= (µx)x∈X ´e uma

medida maximizante, vamos assumir a hip´oteses dada em (2.3) o qual ´e:

Z

log+kDfx(y)kdµ <+∞. (4.1)

para cadaµ∈ M1

P(F). Enunciemos o teorema da existˆencia

Teorema A1 (Existência). Seja F :J → J um RDS que satisfazendo (1.4), (2.2) e (2.3). Então htop(F|θ) = R_XlogpxdP(x). Além disso, se µ∈ M1_P(F)

tal que sua desintegra¸c˜aoµ= (µx)x∈X ´e uma sistema de auto-medidas maximal

para o operador de transferência(Lx)x∈X, então µ é uma medida de entropia

maximizante.

A estratégia da prova consiste em usar o operador de transferência para um sistema de auto-medidas maximal, logo aplicando a fórmula de Rokhlin’s aleatória Teorema 3.2.3, temos que entropia métrica vai ser igual aR_XlogpxdP(x).

Depois, utilizamos o principio variacional aleat´orio 3.2.4 para estimar a entropia topol´ogica.

Lema 4.0.2. Seja µ∈ M1

P(F) tal queL∗xµθ(x)=pxµx para todo x∈X ent˜ao

Jµxfx=px emµx−q.t.p.

Demonstra¸cão. Seja A um conjunto mensurável tal que fx|A é injetiva.

To-mando a sequˆencia{gn} ∈C(Jx) tal quegn→χAemµx−q. t. p. e sup|gn| ≤2

para todon. Por defini¸c˜ao,

Lxgn(z) =

X

fx(y)=z

gn(y).

(30)

A ´ultima express˜ao converge a χfx(A)(z) em µθ(x)−q.t.p.. Portanto, pelo

teo-rema da convergˆencia dominada

Z

pxgndµx=

Z

gnd(L∗θ(x)µθ(x)) =

Z

Lxgndµθ(x)→µθ(x)(fx(A))

O lado direito tamb´em converge apxµx(A), concluindo que

µθ(x)(fx(A)) =pxµx(A).

o que prova o lema. Lema 4.0.3. Seja µ∈ M1

P(F)tal queL∗xµθ(x)=pxµx para todox∈X, ent˜ao

hµ(F|θ)≥R logpxdP(x).

Demonstra¸c˜ao. SejaP ∈ Aµ(F|θ), por Lema 4.0.2, temos queµ−q.t.p.(x, y):

µθn₍_x₎(f_xn(P_xn(y))) =p_θn−1₍_x₎p_θn−2₍_x₎· · ·p_θ₍_x₎p_xµ_x(P n x(y)).

Como 1≥µθn₍_x₎(f_xn(P_xn(y))), temos que

−1

n log(pθn−1(x)pθn−2(x)· · ·pθ(x)px)

−1_≤ −1

n logµx(P

n x(y))

Usando o Teorema de Shannon-McMillan-Breiman em 3.2.1,

lim1

nlog(pθn−1₍_x₎p_θn−2₍_x₎· · ·p_θ₍_x₎p_x) = lim

1

n

n_X−1

j=0

logpθj₍_x₎≤h_µ(F|θ;P)

Por outro lado, sem´e a medida de Lebesgue, ent˜ao

px=

Z

Jx

|detDfx(y)|dm(y)≤ kDfxkdm(Jx)

no qual, logp(·)∈L1(X,P). De fato, usando a hip´otese (4.1)

Z

X

logpxdP(x)≤d

Z

X

log+ sup

y∈Jx

kDfx(y)kdP(x) + logm(Y)<+∞.

Portanto, como P_{´e uma medida erg´}_{odica sobre} _X_{, pelo Teorema Erg´}_{odico de} Birkhoff:

Z

X

logpxdP(x) = lim1

n

n−1

X

j=0

logpθj₍_x₎≤h_µ(F|θ;P)≤h_µ(F|θ)

assim o lema est´a provado. Corol´ario 4.0.1. Seja µ∈ M1

P(F) tal que L∗xµθ(x) =pxµx para cadax∈X,

ent˜ao

hµ(F|θ) =

Z

X

logpxdP(x)

(31)

Demonstra¸c˜ao. Usando Lema 4.0.3, a entropia ´e hµ(F|θ) ≥

R

XlogpxdP(x).

Agora, por Lema 3.2.1, temos que todos os expoentes de Lyapunov de µ são maiores queαe por Lema 3.1.1 existe uma parti¸cãoP que é F-geradora com respeito aµ. Usando o Teorema 3.2.3 conclu´ımos que,

hµ(F|θ) =

Z

X

Z

Jx

logJµxfxdµxdP(x)

e pelo Lema 4.0.2 temos queJµxfx=px. Provando quehµ(F|θ) =

R

XlogpxdP(x).

Para a prova do Lema 4.0.5 necessitamos a seguinte desigualdade de Jensen: Lema 4.0.4(Desigualdade de Jensen). Sejaai, bicomi= 1,2, ..., nn´umeros

re-ais positivos tal quePn_i₌₁ai = 1, ent˜ao Pni=1ailogbi≤log Pni=1aibi.

Acon-tece a igualdade se, somente sebi todos s˜ao iguais.

Lema 4.0.5. A entropia topol´ogicahtop(F|θ) =R_XlogpxdP(x). Al´em disso, se

ν ∈ M1

P(F|θ)é qualquer medida maximizante ergódica, então Jνxfx =px for

P₋_{q.t.p. x}_∈_X_{, onde}₍_ν_x₎_x_∈_X _{representa a desintegra¸c˜}_{ao de}_ν _{com respeito `}_a parti¸c˜ao mensur´avel π−_X1(εX).

Demonstra¸c˜ao. Seja ν ∈ M1

P(F|θ) uma medida erg´odica, tal que hν(F|θ) ≥

R

XlogpxdP(x), caso contr´ario n˜ao existe nada a provar.

Pelo Lema 3.2.1, todos os expoentes de Lyapunov de ν s˜ao maiores que

α >0, portanto pelo Teorema (3.2.3)

hν(F|θ) =

Z

X

Z

Jx

logJνxfx(y)dνx(y)

dP₍_x₎

=

Z

J

logJνxfx(y)dν(x, y)

Definamos,gνx=

1

Jνxfx

. Por ser (fx)∗νx=νθ(x)para todox∈X tem-se que

X

fx(y)=z

gνx(y) = 1, paraνθ(x)−q.t.p. z∈ Jθ(x).

Com efeito. SejaA⊂ Jθ(x) mensur´avel comfx−1(A) =

Fpx

j=1Aj tais que fx|Aj

´e injetiva para 1≤j≤px, ent˜ao

νθ(x)(A) =

Z

A

1dνθ(x)=νx(fx−1(A))

=

px

X

j=1

νx(Aj) = px

X

j=1

νx((fx|Aj)

−1₍_A₎₎

= px X j=1 Z A

Jνθ(x)(fx|Aj)

−1₍_z₎_dν

θ(x)(z)

= px X j=1 Z A 1

Jνxfx(fx|

−1

Aj(z))

dνθ(x)(z)

(32)

fazendodiam(A)→0, ent˜ao

1 =

px

X

j=1

1

Jνxfx(yj)

Portanto,

0≤hν(F|θ)−

Z

J

logpxdν=

Z

J

logJνxfx(y)dν−

Z

J

logpxdν (4.2)

= Z J logp −1 x

gνx

dν=

Z

J

X

fx(y)=z

gνx(y) log

p−1

x

gνx(y)

dν

onde na segunda parte usamos o fatogνx =

1

Jνxfx

. Agora, usamos a desigual-dade Jensen 4.0.4 considerandoai=gνx(y) e bi=p

−1

x /gνx(y) obtemos

X

fx(y)=z

gνx(y) log

p−1

x

gνx(y)

≤log X

fx(y)=z

gνx(y)

p−1

x

gνx(y)

= log X

fx(y)=z

p−1

x

= 0

emνx−q.t.p. z ∈ Jθ(x) . Como o integrando ´e n˜ao negativo segundo (4.2), a

igualdade aconteceνx−q.p.t., e

hν(F|θ) =

Z

J

logpxdν=

Z

X

Z

Jx

logpxdνxdP(x) =

Z

X

logpxdP(x)

Por ser a medidaν arbitr´aria, isso prova que

htop(F|θ) =

Z

J

logpxdν=

Z

J

logJνxfx(y)dν(x, y)

Para finalizar a prova do Lema 4.0.5, usamos novamente desigualdade de Jensen. Para esta segunda parte, os valores p−1

x /gνx(y) s˜ao os mesmos para

todoy∈f−1

x (z) num conjunto de medida total com respeito aνθ(x). Em outras

palavras, paraνθ(x)−q.t.p. z∈ Jθ(x) existecx(z) tal que p

−1

x

gνx(y)

=cx(z) para

todoy∈f−1

x (z). Ent˜ao

1

cx(z)

= X

y∈f−1

x (z)

p−1

x

cx(z)

= X

y∈f−1

x (z)

gνx(y) = 1, νθ(x)−q.t.p..

Concluindo,

Jνxfx(y) =px, νx−q.t.p.

para cadayna pr´e-imagem de um conjunto νθ(x)-com medida total.

4.0.5 Unicidade

Nesta se¸cão vamos obter a unicidade de medidas de máxima entropia e prova-remos que elas estão suportada num conjunto de medida total. Para conseguir esse resultado, adicionalmente às hipóteses anteriores assumiremos que F seja topologicamente exata(ver defini¸cão 1.1.2) edeg(F) := supx∈Xdeg(fx)<+∞.

(33)

Teorema A2 (Unicidade). Seja F :J → J um RDS que satisfazendo (1.4), (2.2) e (2.3). Além disso, assumamos queFé topologicamente exata edeg(F) := supx∈Xdeg(fx)<∞. Então a medida maximizante é única e positiva sob

con-juntos abertos.

A prova da unicidade decorrera dos Lemas 4.0.6, 4.0.7 e 4.0.8. O seguinte Lema utilizamos a hip´otese de topologicamente exata, para mostrar que a me-dida esta suportada sob conjuntos abertos.

Lema 4.0.6. Sejaν qualquer medida maximizante, ent˜aoνxest´a suportada em

Jx, paraP quase todo pontox∈X.

Demonstra¸c˜ao. Vamos supor queνx(Ux) = 0, ondeUx6=φ´e um aberto emJx.

Usando a hip´oteses de topologicamente exata, existeNx∈Ntal quefxNx(Ux) =

JθNx(x). Particionando Ux em subconjuntos Ux,1, ..., Ux,k tal que fxNx|Ux,j ´e

injetiva para todoj= 1, ..., k. temos

νθNx(x) fxNx(Ux,j)=

Z

Ux,j

Jνxf

Nx

x dνx= 0

da aqui,

νθNx₍_x₎(J_θNx₍_x₎)≤

k

X

j=1

νθNx₍_x₎ f_xNx(Ux,j)= 0

o qual ´e uma contradi¸c˜ao.

Como consequˆencia do lema anterior temos:

Lema 4.0.7. Sejaν qualquer medida maximizante, dadoδ >0efx

topologica-mente exata, ent˜ao

νx(Bx(y, δ))≥(pxpθ(x)· · ·pθnδ(x)−1₍_x₎)−1 (4.3) para todoy∈ Jx, onde nδ(x)´e definido como na Defini¸c˜ao 1.1.2.

Demonstra¸c˜ao. Sejay∈ Jx eBx(y, δ)⊂ Jx. Agora, particionandoBx(y, δ) em

subconjuntos Ux,1, ..., Ux,k tal que cadafxnδ(x)|Ux,j ´e injetora paraj = 1, ..., k,

temos

1 =ν_θnδ(x)₍_x₎(f_xnδ(x)(B_x(y, δ))≤

k

X

j=1

ν_θnδ(x)₍_x₎(f_xnδ(x)(U_x,j))

≤pxpθ(x)· · ·pθnδ(x)−1₍_x₎ν_x(B_x(y, δ)) (4.4)

Agora, seja µ1 _e _µ2 _{duas medidas erg´}_{odicas maximizantes. Nosso objetivo}

´e provar que essas medidas coincidem. Primeiro provaremos que µ1x e µ2x s˜ao

equivalentes.

Com efeito, fixada uma parti¸c˜ao P ≻ π−_X1(εX) tal que diam(P) < δ0 e para

cada Px ∈ Px tem interior n˜ao vazio, e a fronteira ∂P tem medida zero para

ambasµ1_e_µ2_{. Podemos escolher}_{δ >}_{0 pequeno de modo que}_P

x∈ Pxcont´em

(34)

alguma bola de raioδ.

Por outro lado, para n ∈ N _{tempo hiperb´}_{olico de} _y _{∈ J}_x_{, existe} _f_xn₍_y₎ _∈

Pθn₍_x₎∈ P_θn₍_x₎, ent˜aoP_θn₍_x₎(f_xn(y))⊂B(f_xn(y), δ₀), portantof_xn|_g₍_P

θn(x)(fxn(y)))

´e injetiva, ondeg= (fn

x)−1. Usando o Lema 4.0.5 temos

µj_θn₍_x₎(Pθn₍_x₎(f_xn(y))) =p_xp_θ₍_x₎· · ·p_θn−1₍_x₎µj_x(g(P_θn₍_x₎(f_xn(y)))); j = 1,2.

(4.5) Por acima, existez∈Pθn₍_x₎(f_xn(y)), tal queB(z, δ)⊂P_θn₍_x₎(f_xn(y)), ent˜ao pelo

Lema 4.0.7, temos que

µj_θn₍_x₎(B(z, δ))≥(pθn₍_x₎p_θ₍_θn₍_x₎₎· · ·p_θnδ(θn(x))−1₍_θn₍_x₎₎)−1

e

µj_θn₍_x₎(Pθn₍_x₎(f_xn(y)))≥(p_θn₍_x₎p_θ₍_θn₍_x₎₎· · ·p_θnδ(θn(x))−1₍_θn₍_x₎₎)−1≥(degF)−n

∗

δ.

por (4.5)

(degF)−n∗δ ≤p

xpθ(x)· · ·pθn−1₍_x₎µj_x(g(P_θn₍_x₎(f_xn(y))))≤(degF)n

∗

δ; j= 1,2.

(4.6) Antes de provar a unicidade, enunciaremos o seguinte Lema que nos permitir aproximar a medida de um conjunto mensurável sobre uma fibra, através dos ramos inversos dos tempos hiperbólicos da parti¸cãoP dada acima. Denotamos porQ a fam´ılia de todas as imagens g(Pθn₍_x₎), paran∈ Ntal quené tempo

hiperb´olico para algumy∈ Jx.

Lema 4.0.8. Dado qualquer conjunto mensur´avelE⊂ Jx eε >0, existe uma

fam´ıliaξ de elementos disjuntos dois a dois deQ tal que

µjx E\

[

ξ

g(P)= 0 e µjx

[

ξ

g(P)\E≤ε, j= 1,2.

Demonstra¸c˜ao. Por Lema 3.2.1, todos os expoentes de Lyapunov de µj _s˜ao

maiores queα(F). Por Lema 2.0.4, existeN ≥1 eλ >0 tal queµj₋_q.t.p._tem

densidade>2λde tempos hiperb´olicos.

SejaU1⊂ Jxaberto eK1⊂ Jxum compacto tal queK1⊂E ⊂U1 eµjx(U1\

E)≤εeµj

x(K1)≥ 1₂µjx(E) para j= 1,2. Usando Lema 2.0.5, comA=K1 e

νx=µjx/µjx(K1), podemos encontrarn1≥1 tal que exp(−αn1/2)< d(K1, U1c)

e o subconjuntoL1⊂K1de pontosy∈ Jxpara qualn1´e tempo hiperb´olico que

satisfazµj

x(L1)≥λµjx(K1)≥(λ/2)µjx(E). Sejaξ1a fam´ılia de todosg(Pθn1(x)),

que intersectam L1, com Pθn1(x) ∈ Pθn1(x) e g o ramo inverso de fxn1. Os

elementos de ξ1 s˜ao disjuntos dois a dois, pois os elementos de Pθn1(x) e g o

ramo inverso defn1

x . Usando Lema 2.0.3 o diˆametrodiam(ξ1)≤exp(−αn1/2).

Deste, seja E1 a uni˜ao de todos os elementos de ξ1 que est˜ao contido em U1.

Por constru¸c˜ao, temos

µjx(E1∩E)≥µjx(L1)≥λµjx(K1)≥(λ/2)µjx(E).

Continuando, consideremos o conjunto abertoU2=U1\E1eK2⊂E\E1um

conjunto compacto tal queµj

x(K2)≥ 1₂µjx(E\E1). Observe queµjx(E1\E1) = 0,

(35)

de fato a fronteira dos átomos dePtem medida zero e é preservada por os ramos inversos, já queµj_{é invariante. Fazendo o mesmo racioc´ınio, existe}_n

2> n1tal

que exp(−αn2/2)< d(K2, U2c) e conjuntoL2⊂K2 tal que µjx(L2)≥λµjx(K2)

en2´e tempo hiperb´olico para caday∈L2. Denotamosξ2a fam´ılia de imagens

inversa g(Pθn2(x)) que interceptam a L2, com Pθn2(x) ∈ Pθn2(x) e g o ramo

inverso de fn2

x . Como antes, os elementos de ξ2 s˜ao disjuntos dois a dois e o

diˆametrodiam(ξ2)≤exp(−αn2/2). Isso garanta que seu uni˜aoE2esta contido

emU2. Consequentemente, os elementos da uniãoξ1∪ξ2são também disjuntos

dois a dois. Al´em disso,

µjx(E2∩(E\E1))≥µjx(L2)≥λµjx(K2)≥(λ/2)µjx(E\E1).

Repetindo o processo, constru´ımos uma fam´ılia deξk, k≥1 de elementos deQ

tal que seus elementos s˜ao disjuntos dois a dois e est˜ao contido emU1, e

µjx(Ek+1∩(E\(E1∪ · · · ∪Ek)))≥(λ/2)µjx(E\(E1∪ · · · ∪Ek)) (4.7)

para todok≥1, ondeEi=S_ξ_ig(P). Assim,µjx(

S∞

k=1Ek\E)≤µjx(U1\E)≤ε

e (4.7) implica que

µjx(E\

∞

[

k=1

Ek) = 0

isso completa a prova do lema, comξ=S∞_k₌₁ξk.

Demonstra¸c˜ao da unicidade da medida. Combinando (4.6) com Lema 4.0.8, te-mos que, para qualquerEx⊂ Jx,

µ1x(Ex)≤µ1x(U1)≤ε+

X

ξ=S∞_k₌₁ξk

µ1x(g(Pθnk(x)))

≤ε+ X

ξ=S∞_k₌₁ξk

(deg(F))2n∗δµ2

x(g(Pθnk(x)))

≤ε+ (deg(F))2n∗

δµ2

x(Ex)

Pela arbitrariedade de ε >0, temos queµ1x(Ex)≤(deg(F))2n ∗

δµ2

x(Ex). De

maneira similar tem-se µ2

x(Ex) ≤ (deg(F))2n ∗

δµ1

x(Ex) para qualquer Ex

men-surável. Por Teorema de Radon Nykodym existe uma fun¸cão mensurável essen-cialmente únicahx:Jx→Rtal queµ1x =hxµ2x. Além disso, (deg(F))−2n

∗

δ ≤

hx ≤ (deg(F))2n ∗

δ. Agora, seja h : J → R definida h(x, y) = h_x(y) e

sabe-mos que para todo mensur´avel Ex ⊂ Jx existe E ⊂ J mensur´aveis tal que

Ex=E∩ Jx. Ent˜ao, para todo E⊂ J mensur´avel

µ1(E) =

Z

X

µ1x(E∩ Jx)dP(x) =

Z

X

µ1x(Ex)dP(x)

=

Z

X

Z

Ex

hxdµ2xdP(x) =

Z

E

h dµ2

Desde queµ1_{, µ}2_{∈ M}1

P,e(F) s˜ao invariantes, ent˜ao

µ1=F∗µ1= (h◦F)F∗µ2= (h◦F)µ2

(36)

Como a derivada de Radon Nykodym ´e essencialmente ´unica, temos que h =

h◦F emµ2₋_q.t.p_{. Pela ergodicidade}_h_{´e constante em quase todo ponto}

1 =µ1(J) =h Z

J

dµ2=hµ2(J) =h

ent˜aoµ1₌_µ2_{e assim} _µ1

x=µ2x para todox∈X.

(37)

Bibliografia

[1] J. F. Alves,Statistical analysis of non-uniformly expanding dynamical sys-tems, Preprint ..

[2] , SRB measures for non-hyperbolic systems with multidimensional expansion, Ann. Sci. ´Ecole Norm33(2000), 1–32.

[3] , A survey of recent results on some statistical features of non-uniformly expanding maps, Discrete and Continuous Dynamical Systems 15 (2006), 1–20.

[4] J. F. Alves, C. Bonatti, and M. Viana,SRB measures for partially hyperbo-lic systems whose central direction is mostly expanding, Invent. Math.140 (2000), 351–398.

[5] A. Arbieto, C. Matheus, and K. Oliveira, Equilibrium states for random non-uniformly expanding maps, Nonlinearity17(2004), 581–593.

[6] T. Bogensch¨utz, Entropy, pressure, and a variational principle for ran-dom dynamical systems, Ranran-dom and Computational Dynamics 1 1, 3 (1992/93), 99–116. 3.2.

[7] ,Equilibrium states for random dynamical system, Phd thesis, Ins-titut fur Dynamische Systeme. Universitat Bremen, 1993.

[8] R. Bowen, Equilibrium states and the ergodic theory of anosov diffeo-morphisms, Springer, 1975.

[9] V. Guillemin and A. Pollack,Differential topology, Prentice-Hall, 1974. [10] Y. Kifer, Equilibrium states for random expanding transformations,

Ran-dom Comput. Dynam1(1992), 1–31.

[11] P. D. Liu, Random perturbations of axiom A basic sets, J. Stat. Phys 90 (1998), 467–90.

[12] ,Dynamics of random transformations: smooth ergodic theory. er-godic theory and dynamical systems, Institut fur Dynamische Systeme. Uni-versitat Bremen21(2001), 1279–1319.

[13] P. D. Liu and M. Qian,Smooth ergodic theory of random dynamical systems, Springer, 1995.

(38)

[14] A. Ludwig, Random dynamical systems, Springer Monographs in Mathe-matics, 1998.

[15] V. Mayer, B. Skorulski, and M. Urbanski,Distance expanding random map-pings, thermodynamic formalism , gibbs measures and fractal geometry, Springer, 2011.

[16] K. Oliveira and M. Viana, Existence and uniqueness of maximizing mea-sures for robust classes of local diffeomorphisms, Discrete and Continuous Dynamical Systems15,1(2006), 225–236.

[17] ,Fundamentos de teoria ergódica, SBM,Cole¸cão Fronteiras da Ma-temática, 2014.

[18] F. Przytycki and M. Urbanski,Conformal fractals- ergodic theory methods, London Mathematical Society Lecture Note 371(2010).

[19] V. A. Rokhlin,On the fundamental ideas of measure theory, Transl. Amer. Math. Soc 1,10(1962), 1–52.

[20] D. Simmons and M. Urbanski,Relative equilibrium states and dimensions of fiberwise invariant measures for distance expanding random maps, Sto-chastic and Dynamics14,1(2014).

[21] P. Walters,An introduction to ergodic theory, Springer, 1982.

(39)

´

_Indice

α(F), 8 L1

J(X,C(Y)), 5

Hα(Jx), 5

πX−1(εX), 5

εX, 5

n∗

ξ, 5

conjunto

separ´avel, 18 densidade

positiva, 10 desigualdade

Jensen, 22 entropia

relativa, 15 espa¸co

fun¸c˜oes H¨older, 5 estado

equil´ıbrio relativo, 19 expoente

Lyapunov, 7 f´ormula

Rokhlin’s aleat´oria, 18 Lema

Pliss, 10 medida

expansora, 10 operador

transferˆencia, 5, 6 parti¸c˜ao, 14

geradora, 14 press˜ao

topol´ogica relativa, 18 principio

variacional aleat´orio, 18 produto

exterior, 8 sistema

auto-medida maximal, 6 dinˆamico

aleat´orio, 4 tempo

hiperb´olicos, 10 teorema

Margulis-Ruelle, 16

Shannon-McMillan-Breiman, 16 topologicamente

exata, 5