~ .

S rie E- 018- Agosto/85

TEORIA ERGDICA "DAS TRANSFORMAES EXPANSORAS
Marcos Craizcr
CONSELHO NACIONAL DE CIENTiFICO E TECNOLGICO
INSTITUTO DE :t-1ATEHTICA PURA E APLICADA
INFORMES DE :t-1ATEMTICA
srie E - 018/85
TEORIA.ERGDICA DAS TRANSFORMAES EXPANSORAS
J.1arcos Craizer
Rio de Janeiro
Agosto/85
1
- ,,,,-
(\ I ' ' )
1) .._, ' J \._.,
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTFICO E TECNOLGICO
INSTITUTO DE PURA E APLICADA
TEORIA ERGDICA DAS TRANSFORMAES EXPANSORAS

Marcos Craizer
Dissertao apresentada para obteno do Grau de
em Matemtica
Rio de Janeiro
. - 1985-
- 1-
I - INTRODUO
Seja M variedade compacta sem bordo . Uma aplicao
f : M;>
,
e expansora se de classe
c l
e existe
">
1 tal que
IID f . v\1
X
>.IJvll. E M,
v E TxM.
Um exemplo destas transfor
maes pode ser construdo tomando uma transformao linear
L: Rn..) tal que L(Zln) c 7ln e I y I > 1 para todo autovalor
de L. Ento a aplicao f: Tn = Rn /7.ln.,:) induzida por L
y
,
e
expansora.
'
Reciprocamente toda transformao eX2ansora de
,
e
topologicamente equivalente a uma gerada por este mtodo (Shub
[ Sl]) . A dinmica das transformaes expansoras de variedades
muito bem entendida, estando caracterizadas todas as variedades
que as admitem e nelas estas so sempre topologicamente equiva-
lentes a modelos "lineares" construdos de forma semelhante des
crita acima para Tn (Gromov [Gl ]) .
Neste trabalho estudar emos a teor ia ergdica das trans-
formaes expansoras . Mai s especificamente demonstraremos r esul-
tados sobre a existncia de cer tas medidas invariantes que exibem
propriedades que as vinculam de forma particularmente expressiva
com a dinmica da transformao . O destes r esul tados
mostra que toda transformao expansora possui uma e s uma proba
bilidade invariante equivalente 'de Lebesgue , que obtida como
o limite da iterao da medida de Lebesgue pela transformao .
Denotemos por o espao das probabilidades em M
e por o espao das probabilidades em M f - invariantes .
. Dizemos que f : E c
1
Holder- contnuo e denotamos por
Holder-C
1
com constante de Hol der
Holder- c
1
se det
c
1
+Y o espao das
y.
,
e
funes
- 2-
Dizemos que u E exata com respeito a f se pa
ra todo A E n f-n( 6(M)) , temos = O ou 1 , onde 6(M)

a o-lgebra dos borelianos de M. Se E e exata, ento
u ergdica. Denotemos por hu(f) a entropia de com res-
peito a f.
Teorema I. 1. Seja f: M .,.:)
Existe uma nica u E
1
uma transformao expansora Holder-C .
absolutamente continua com respeito a
medida de Lebesgue m. Alm disso u satisfaz :
(1)
du E cV (M)
. dm
(2) u exata
e estritamente positiva .

(.3) = r log ldet f ' ldu
M
(4)
hv(f) <
r
log
ldet f ' I dv ,
.!t.f v E
se
M
m(f- n(A))

..!t.f
boreliano A. t . q .
m(M)
n-+m
( 5)
v I= u
m('bA) = o
Consideremos agora a questo de estudar a distribuio
assinttica das pr-imagens de um ponto X por
f -n
quando
n --+m.
Seja v (x)
n
E definida por
-v (x)
1
E
=
n
dn
:fn(y)=x
y
onde
d =
:/1: f-
1
(a),
,
nmero independente de que e um a.
Teorema I . 2. Seja f : M .;:> expansora. Existe v E tq .
v = lim
n-+m
v n (x) , -v- x. Alm disso, v
(1)
,
v e exata e positiva sobre abertos
satisfaz :
.
- 3-
(2) hv(f) = log d
E se :/: v.
A questo da relao entre
sultado .
,
e v e resolvida pelo seguinte re
Teor em a I. 3.
-
As seguintes propriedades sao equivalentes:
(1) << \)
(2) v u
(3) = \)
(4) Para todo x E M t . q: fn( x ) = x vale

(5) Existe u E C
0
(r1) t . q. logldet f ' l - log d = uo f - u .
Este teorema tem uma aplicao interessante sobre a
equivalncia topolgica g : Tn entre uma transformao
sora f : Tn e seu modelo linear fL: Tn gerado , como des
crevemos acima , por uma aplicao linear L: :Rn...::> t . q . Lt/Zn) c ?ln.
Corolrio 1.4. Se existe x t . q. fn(x) = x e ldel:;(fn)'(x)l:/:dn
ento existe um boreliano K c Tn medida de Lebesgue total,
completamente invariante (i . e ., .f-l (K) = K) e t . q. g (K) tem
medida de Lebesgue zero .
Demonstraco : Suponhamos que
-1
gfg = fL .
Seja m a probabi-
lidade de Lebesgue em Tn i .
1
m(A)
medida de Lebesgue de A
=
medida de Lebesgue de M
,
Esta e fL- invariante e portanto m =
onde
,
u e a
- 4-
medida cuja existncia afirmada pelo Teorema I . l . aplicado a
transformao expansora fL . Tambm, como ldet fil = ldet LI
. -1
constante , ldet fil = d onde d = # fL (a) independente de a .
Ento a condio (5) do Teorema I . 3, com ~ = O, nos afirma que
m = ~ = v.
Como
-1
gfg = fL'
*
g m f ~ ( f )
= log d.
Portanto
*
g m
,
e a medida v cuja existncia afir-
mada pelo Teorema I . 2 , aplicado a f . Como a condio (4) do
Teorema I . 3 no ~ satisfeita por hip6tese , g*m e
-
sao mu-
tuamente singulares e portanto existe um boreliano K t . q .
f -
1
(K) = K, ~ (K) = 1 , (g*m) (K) = O.
Mas \J (K) = 1 implica m(K) = 1 e
plica m(g(K)) =O.
*
(g m)(K) =O im-
Os Teoremas I . l e I . 2
-
sao casos particulares de uma
11
unificao dev.:i.da a Ruelle ( C Rl] , [ Bl] ) , que per mi te. a construo
sistemtica de probabilidades invariantes exatas . Suponhamos que
f : M uma transformao continua c w: M R uma funo
continua. Denotemos por C
0
(M) o espa.o das funes continuas
em M. Definimos ~ W: C
0
(M) ,..;:> como
:
yEf-
1
(x)
Teorema I . 5 . Sejam f : M -+" expansora e w: M ~ R Holder- con-
tinua. Existem h : M ~ R Holder-continua e estritamente posi -
tiva, v E ~ ( M ) e ).. > o
tais que :
- 5-
(1)
r
hd'J =
1
(2)
.C *h
=
,,h
(3)
*
= S- I v
'11
(4)

n
- h f C!'d\1 11 --+ o,
C
0
(M)
tP
cp E
c o
(5) h a nica auto-funo positiva de , a menos de mul-
tiplicao por escalares . .
(6)
(7)
A probabilidade
= h\1
bre abertos e satisfaz
log =. + r
l og > h..,(f) + f td.., ,
,
e f - invariante, exata, positiva so-
E m(M) , \1 u.
Teorema 1. 6. Sejam f : M ...;:::> expansora e M-+ ]t , ' M-+ JR.
Holder- contnuas . Ento as seguintes condies so equi valentes :
(1)
(2)
U <<
f
(3)
(4) Para todo x t . q . fn(x) = x vale
1
n- 1 .
!: "i(fJx ) = log >..,
1
, - log >.._
n j=O v
(5) u E C
0
(M) t . q .
u o f - u = log \r, - log + C'W- $)
v
- 6-
Observamos que a condio (4) extremamente forte e que "em ge-
r al" funes
lares .
diferentes induzem medidas
mutuamente sin-
Vejamos como os Teoremas I . l, I . 2 e I . 3 decorrem dos
Teoremas I.5 e I. G.
'
Demonstremos o teorema I.l. Seja w(x) = -log\det f (x)\,
que Holder-contnua, pois f Holder-c
1
. Seja C
0
(M) .
Temos
= D( x:_
1
I det f ' (y) 1- \,(y )\ dm(x)
yEf (x) )
Como dct f ' (x )

nao se anula, usando a compacc,idade de
M, podemos tomar uma coleo de abertos disjuntos A
1
, . .. , An que
cobrem M, a menos de um conjunto de medida de Lebesque zero , e
consista de um n finito de abertos disjuntos , res
trita aos quais f seja difeomorfismo . Ento
r
=

( ( I: ldet f
0
(y)

dm(x)
j
Aj yEf-
1
(x) .
*
Portanto = m.
=
I:
j
f q>dm =
J q>dm .
f-
1
(Aj)
Sejam , h e dados pelo Teorema I . 5 .
Integrando com relao a m obtemos
r hdm r tpd\J .
Logo
, /
I
( .. ' "
Ento ,
Fazendo
Portanto
-7-:-
= 1, como h > O, obtemos que = 1 e r hdm=m(M) .
r cpdm = m(M) r cpd\1,
\) =
m
m(M)
Resulta que
A probabilidade = hv satisfaz ento as condies
(1), (2), (3) e (4) do teorema. Observamos que a condio (1)
na realidade implica na equivalncia de e m. A afirmao
bre a unicidade de segue ento do fato de que como
gdica, << u
1
= u.
,
e er-
Resta mostrar (5) .
r cp o r dm = r ( t.? o fn) dm
Logo
, h e v
item (4)
= r \> dm -> Jl> hdm = m(H) J <:>di-<
mo f - n o que prova (5) .
Vejamos agora o Teorema I . 2. Tomamos w = O e sejam
dados pelo Teorema I . 5. Temos que
S. , l(x) =
'i(
1 (y) = d.
Pelo item (5) , do Teorema I . 5, d = h = 1, e pelo
ln E c.? (y) __.... r e;:>dv , .li- cp C
0
(M) .
d yEf- n(x)
O Teorema I . 2, segue ento diretamente .
O Teorema I . 3, aplicao imediata do Teorema I . 6.
Os Teoremas I.5 e I . 6 valem para uma classe de trans-
- 8-
formaes de espaos mtricos compactos muito mais geral que as
transformaes expansoras de variedades , que em particular contm
os subshifts unilaterais de tipo finito . Isto possibilita, via
parties de Markov, extender boa parte dos resultados anteriores
conjuntos hiperblicos; mas esta uma ramificao dos teoremas
I.5 e I.6 que no apresentaremos aqui. Esta classe de transfor-
maes ser definida no Capitulo II, e para um elemento dela con-
servaremos o nome de transformao expansora porque quando o esp
o mtrico compacto em que est definida uma variedade , a defi-
nio equivalente a dada acima .
No mtodo que seguiremos para demonstrar o teorema de
Ruelle (Teorema l . 5) tem o conceito de Jacobiano de
uma transformao com respeito a uma probabilidade invariante . Se
ja f : M uma transformao expansora e u uma probabili dade
f - invariante . Dizemos que uma funo continua J :
Jacobiano de f com respeito a se
=r
A
,
e o
para todo boreliano A onde fjA injetiva . t fcil ver que
se Ju
existir nica . Algwnas propriedades ergdicas de u
podem ser analisadas via J .
Teorema I . 7.
(a) =r log J
(b) Se J Holder-continua e estritamente posi-
tiva ento exata.
A demonstrao desse resultado ser dada no Capitulo III .
Consideremos o problema de encontrar uma probabilidade
i-invariante com Jacobiano J > O dado . fcil ver que toda
....
.
.
- 9-
funo J > O que seja Jacobiano de f com respeito a alguma
probabilidade i - invariante deve satisfazer
L:
f(x)=y
1
I J(x) I
= 1 ,
- ~ y EM
(*)
Essa condio tambm suficiente. De fat o, no Capitu-
lo III demonstraremos o seguinte resultado.
Teorema I.S. Seja f: M ~ expansora e J : M -+JR. estritamente
positiva e Holder-continua. Sejam ~ ' h, ~ dados pelo Teorema
I.5, onde * = - log J .
Ento o Jacobiano de f com respeito a
,
e
-- -
ma I. 5.
hof
J ~ f ' = .J . h
A condio ( *) implica que >. = 1 e h = 1 no Teor e-
Portanto o Jacobiano de f com r espeito a
,
1.1 e J .
.
CAPTULO II
II - DINMICA DAS TRANSFORMA0ES EXPANSORAS E O
CRITRIO DE HOMOLOGIA
Seja K um espao mtrico compacto.
Definio II.l. f:
K -\::>
contnua
,
dita se existirem e expansora
r > o, o <
).. <
1 e c > o t. q. :
(a) e f(x) = f(y) d(x, y) > c
(b)
E K e a E
f -
1
(x)
existe
p:
Br(x)
_.K
t . q.
p(x)=a
e
f . ep(y)
=
y ,

Br(x )

d(cp(z) . cp(w)) s:: ).d(z ,w) .li- z , w E Br (x )
Exem:elos : (a) Sejam M variedade compacta sem bordo e f :
M.....:>
aplicao
cl .
Ento f expansora pela definio acima se e
somente se f expansora pela definio anterior , i . . ,
:3: o < < 1 t . q. !ln f vll
X
llvll ,
E M, v E
TXM.
Para verificarmos isto, suponhamos primeiramente f expansora
definio antiga . Dado x E M, :3: V de x t . q.
rl(V) consiste de um nmero finito de abertos Wl' ... , Wn t . q .
f lw j seja difeomorfismo . Cobrimos M com vizinhanas V dessa
forma e seja r
o
,
o numero de Lebesgue dessa cobertura.
Seja r
1
> O t . q. se z,w E M, e d(z,w) <
rl ,
:3:
geodsica f3 : [ O, 1]
___. M,
com S(O) = z , f3(1)
= w
e
d(z,w) = 't (S) ( = comprimento de s) . Seja r =
min(r
0
, I'I) .
Ento ,
Br(x) .--+ M
,
de inversa para
se
rp:
e um ramo
ento
f ,
. .

- 11-
d(cp(z) , cp(w)) s: 13) =
fo
l
s: 1

1
f
lls ' (t)lldt= f d(z , w) .
o
Isto verifica a condio (b) da definio acima . Como
a condio (a) decorre de (b), no caso de K ser localmente co-
nexo, f efetivamente satisfaz a definio acima .
Reciprocamente r seja x E M. Tomamos y E (f (x)),
onde
,
I:P e
t . q. = x , e suficientemente prximo de x
de maneira que x e y possam ser ligados por uma geodsica 13,
com d(x,y) = -<,(S) . Ento
-.
-<,(13) = d(x,y) s: d(f(x),f(y)) s: ). -<,(fo S)
1 1
f llf3
1
( t ) \I d t S: r >- li f I ( f3 ( t ) ) f3 t ( t ) 11 l t
o o
'
Fazendo y tender a x pelo caminho 13 , com 13 (O)=v
obtemos
\lvll s: \lf ' (x) vll
(b) Sejam M uma variedade , f : M uma aplicao c
1
um compacto invariante (i . ., f(A) = A) . Dizemos que
ser se
(1) A isolado, i . ., vizinhana U de A t . q .
n f - n U = A
n;;>:O
(2) g o < < 1 t . q .
e
A cM
,
e expag
- 12-
Por (1) temos que f -
1
(A) = A. A partir disso ,
cil verificar que fiA
portanto expansora .
herda todas as propriedades de f ,
(c) Se f:
,
e expansora, A
,
e e um compacto invariante,
to
fi/\
,
necessariamente na o e expansora.
I
'
,
e e
en
(d) Seja A =
(ai j)
matriz mxm constituida de o s e 1 s.
Definimos o operador a em
B+(A)
"= [ (x
0
, x
1
, ... ) lxi f= [l, ... , m) e
O par
(a, B+(A)) chamado um subshift do tipo finito unilateral . Defi-
nimos uma mtrica em B+(A) por
co
d (-d.-, a ) = r:
n=O
-.
1
I o.( n) - S (n) I ,
2n
onde
a= (S(O) , a(l) , ... ) .
Com essa mtrica
,
a e expansora , com r = 1,
= 1 /2'
c < 1. Pois se o. f S, e a( a) = a(a) ento a (O) S(O) e
l ogo 1 > c , o que verifica (a) . Tambm se e S sa
tisfazem d(a , S) < 1, ento a(O) = S(O) .
por a de
e
axj ,a. (O)
1
=
2
d(x, S) .
a e so (xj , a) e (xj , a)
Cl)
= 1, e d((xJ.,a) , (xJ. , S)) = L:
n=l
Isto verifica (b) .
Logo as pr- imagens
onde xj E . .. , m)
1

2n
(e) Seja f : s
1
uma aplicao c
2
, com grau (f) > 1 e t . q.
' f (x) f: O, .li- x .
Definimos = (U bacia de poos)c . Ento se todos
os pontos peridicos de f so hiperblicos (o que uma ' proprie-
dade genrica) ,
,
e expansora ..
- 13-
Defini co II. 2 . Sejam f : K expansora e S c: K. Dizemos que
S -+ K
,
contrativo de
f - n
g : e ramo se rg(x )
= x ,
-V- X E
s e
d(fjg(x ) , fjg(y)) ~
>P - j
d(x, y) , ~ x, y E s, Os: j ~ n.
,
E imediato observar que dados X E K e a E
- n
f X existe
g : Br(x) --+ K
ramo contrativo de
f-n
t . q . g(x) = a .
Lema II.3. Seja B(n, e,x) = (z E K I d(fjz,fjx) ~ e,
Existe e
0
> O t . q. se O < e < e
0
, temos
(a) Para n
;:::
1 , seja g:
Br(r(x))
-+ K
ramo contrativo
de f-n
t.q. g fn(x)
=
x. Ento B(n,e,x)
=
g(Be(fn(x)))
(b) Se
d(fnz , fnw) ~
e,
-
.!>1-n
;:::
o ==> z
=
w.
Demonstrao : Suponhamos n = 1 e seja e
0
< min (r ;
1
~ ~ ) , onde
r > O, O < < 1, c > O so dadas pela definio II . l . Se
z E
B(l ,e,x) ento d(z ,x)
~
e e d(fz , fx)
~
e: , e portanto
d(gfz,x)
~
h E: . Pela desigualdade triangul ar , d(z , gfz) < c . Logo
z = gfz , ou seja, z E g(Be(f(x))) . Isto prova (a) para
n =
l.
Com argumento idntico, completamos a prova de (a) por i nduo .
d(z,w) ~
Lema II.4 ..
quncia
to existe
~ n;::: O, pelo item (a),
* n .
Logo z = w, o que prova (b) .
e chamado uma constante de expansividade para f.
o
.C3
Para todo
c '>
o, existe > o t . q. s e uma se-
fx I n ~
n
O)
satisfaz
d(fxn,
xn+l)
< ,
~ n ; : : :
o, en
X E K satisfa?.endo
d(fnx,
xn)
< e,
-ll-n :.o:
o.

Demonstrao : Sejam (pn : Br(xn) -+ K ramos contrativos de f-l
( ) (
l- r )
com fxn- l =Xn-l Tomamos < mip -x- e, I- r .
d(cpnz, xn_
1
) >.(r+) <r. Resulta que cpn(Br(x
11
))c

l./- n l.
Consideremos a seqUncia [cp
1
.....
1
.
uma seqUncia decrescente de compactos e cujo dimetro tende a
zero . Logo
n ))
n
consiste de um nico ponto
que chamaremos x.
Seja .t E JN. Temos
k ( t l k )
+ ). d f x , x.t+k
(*)
Fazendo
k-+ Ol '
11
Lema II . 5 . No Lema II . 4 , se a seqncia (xn, n O)
. ,
for per1.9..
dica de perodo N, ento x de perodo N, se as-
sumirmos que
2 < '
o
dada pelo Lema II . 3.
onde a constante de expansividade
Demonstrao : Consideramos as 6rbitas
2
(x, fx, f x, ... ) e
(
N N+l )
f x, f x, .... Como elas esto 2- pr6ximas, usando o Lema
N
II . 3,(b) , X= f x.
..
,
- 15-
Observaces : (1) Usaremos futuramente o seguinte refinamento dos
Lemas II. ~ e II . 5 . No caso de x
0
, x
1
, . . . ser peridica de pero-
do N e xj+l = fxj , j = O, ... ,N- 2 e d(fxN_
1
,x
0
) < , resulta
de (*) que
d(fjx,fjx
0
) = d(fjx,xj) ~ N- jd(fNx,fxN_
1
) = N- jd(x,fxN_
1
),
O ~ j ~ N.
(2) No prximo lema, usaremos (*), com t = O, i.,
Lema.II . 6. Dado e > O,
o
~ .
:!I > o
o
existem N E JN e
1
> O t . q.
tisfaz
ento existe x E K t.q.
t . q. para todo
~ n ~ O
~ n ~ O
& > o,
Demonstrao : Dado e
0
> O, tomamos
0
como no Lema II . 4.
Pela observao (2) ,
sa-
-16-
,
Se N . e suficientemente grande e
1
suficientemente
pequeno, resulta que

Definio II.7. Uma sequncia (xn!n O) uma pr-rbita de x
se X= X
o
e
Lema II.B. Se d(x,y) < r e (xn!n O) uma de x,
ento existe uma pr-rbita de y, (yn!n O) t.q. d(xn,yn)
).nd(xo , yo) .
Demonstrao: Consideramoo g : Br (x) --+ K
com g(x) = xn. Definimos - Yn = g(y) .
ramo contrativo de . f -n

Lema II . 9 . Sejam Per f = (pontos peridicos de f 1 e A = Per f .
fI A:
A
..._...)
,
transformao e uma expansora.
Demonstrao : Sejam
r > o, o < ). < 1 e
c > o dadas pela de-
finio II.l . Seja r
1
= mi n (r ,
0
) ,

o
dado pelo lema II.6,
para e
0
constante de expansividade . Para provarmos que f!A
expansora , basta provarmos que (x) n A) c A, se x E A
1
e Br(x) -+ k
Seja z E Br (x)
1
ramo contrativo de
:...1
f '
n A. Devemos verificar que
com tp (x)
E A.
= a E A.
Sem per
da de generalidade, podemos assumir que z e a (e portanto x)
sao peridicos . Sejam s = perodo a = perodo x e t = pero-
do z.

.
I
-17-
Seja w = cp (z) . Tomamos uma pr- r bita [wnln O} de
\*i assinttica a pr - rbita peridica de a e uma pr - rbita
de x assintti ca a pr- rbita peridica de como
no Lema II. 8.
Dado e:>O, tomamos N grande como no Lema II.6, e
Pelo Lema II . 6 , existe p t . q. d(p, w) < e: e t . q.
sua rbita e:
0
- sombreia a
p peridico e portanto

0
- pseudo- rbita
w E /\ .
Teorema II. lO. K = U f - n (Per f) .
n:2:0
Pelo Lema II.4,
Demonstra2o : Seja x E K e w(x)
. "'"
o conJunt,O w- limite da rbi
ta de X
'
i . . '
-18-
n
w(x) - (yl:!! seqUncia (nk} t . q . f k(x) __.. y }.
k
tomamos
Se y E w(x) , e > O,
t e N t . q. d(ftx,y) < /2
seja dado pelo Lema II . 5.
e < /2 . Logo
t t+l t
f x,f x, .. ,f x,f x, . .. uma -pseudo-rbita peridica.
Pelo Lema II.5, ela pode ser E-sombreada por uma rbita peridica.
Ento y E Per f .
Cons:ideramos a transformao f j/\' que expansora pelo
Lema II . 9 . Fixo > O, seja dado pelo Lema. II . 4, apl icado
' Seja < /2 t . q .
I
d(z , w) < implique
d(fz ,.fw) < /2 , z , w E K.
Seja x c K. Como w(x) c /\ , existem N E M e
c 1\ t . q . d(fN+nx, xn) < ', .lf- n O. Tambm
s: /2 + /2 = '
.l.l- n O.
Pelo Lema II . 4, existe z em 1\ t . q . d (fnz , xn) s: s,
n O. Logo
Mas pela expansividade da f ,
Portanto x f f-N(A) .
.JY- n O.
se e
- N
e sao pequenos f x = z .
Teorema II. 11.
, .
Existem compactos disjuntos unJ.cos
i = 1 , . . . , nm , m = 1 , . . . , M t . q .
(a)
= 1\ (m)
1
.
.
(b)
(c)
(d)
u
i;m
=. h(= Per f)
l.
-19-
,
e topologicamente mixing.
Alm disso valem as seguintes propriedades:
uma transformao expansora
(e) aberto V de
(m)
Ai , existe N t.q.
nm N (m)
(f ) (V) = Ai .
Demonstrao : Sejam p e q peridicos , e (pn ln o )
(qn I n O) suas pr- rbitas peridicas . Definimos
p ""
existem pr- rbitas
I n
O)
de p e
O)
de
,
e
q se
q t . q .
__.... O e --+ O.
l ao de equivalncia em Per f .
Verifiquemos que e uma re-
Claramente r efl exiva e si-
mtrica . Se p q e q ento existem pr - rbitas
O) de q e O) de r assintticas as pr- rbi
tas peridicas (pnln O} de p e ( qn ln O) de q r especti
vamente. Seja
no
t.q.

mo
> n
o
mltiplo dos perodos de
, q)
o
Pelo Lema II.B, existe
< r, se
p e q .
< r

n > n
0
, e seja
Ento
(rn"ln de r'
mo
assinttica a (pn ln O). Como m
0
mltiplo do perodo dessa
rbita, a pr- rbita assinttica a
(pnln O). Por simetria, r - p .
Logo - realmente uma relao de equivalncia em
Per f . Se d(p , q) < r , ento p - q, o que implica que temos
- 20-
apenas um nmero i:lni to de classes de equivalncia Xl' ... , e
que elas so abertas e fechadas em Per f . Alm disso, f trans-
forma classes de equivalncia em classes de equivalncia. Portan
to podemos enumerar as classes como xlm), 1 nm , 1
M satisfazendo
(m)
f(Xi ) =
(m)
f(Xn ) =
. m
Definimos
esto obviamente s a tisfeitas .
1 i < n ,
m
Ento as condies (a) e
n
Provemos (d) . Como . f 1/\ expansora (Lema II. 9) , f mI A
(b)
, t- d f-nm(/\(_m)) -_/l.(m) fnm l ,
e expansora. Segue cn ao e
1
i que . (rn) e expan-
. /l.i
sora .
n
Provemos agora (e) .
Sejam g = f mi (m) e
/\i
V aberto de
Seja p E V
1
peridico, de g-perodo n
0
, e seja
(pnln O) sua g-pr-6rbita peri6dica . Sejam q peri6dico em

1
e g- pr- 6rbitas de q t . q.
pj+n)----+ O, quando n -+
03

Sejam t . q . B
5
(p) c V- e N t . q . pj+n) < ,
n N, O j s: n
0
-1. Ento se n N,
t . q. j +n seja mJtip1o de n
0
, obtemos
gn(q(j)) = q.
n
tomando O j n-1
E B
5
(p) c V e
Na realidade , como g expansora, gn(B
5
(p)) :') Br (q) ,
se n < . Tomando um nmero finito de Br ( q) cobrindo 1\lm) ,
obtemos (e) .
.
.
-
- 21-
A afirmao (c) corolrio de (e)
Suponhamos agora que tenhamos uma decomposio de A em
compactos disjuntos Alm) , 1 nm , 1 m M satisfazendo
(a) e (c) . Sejam p e q peridicos . De (a) segue que se
p N q, p e q esto no mesmo Alm) . De (c) segue que se p
e q esto no mesmo '
l.
ento p N q. Logo tal decomposi-
o fica bem determinada por (a) e (c).
11
Teorema 11 . 12 . Se K
,
e conexo e f : K expansora , ento
f topologicamente mi.xing.
Demonstrao : Sejam r > O, c > O e O < < 1 dados pela de-
finio II . l aplicada a fiA: que expansora , pelo Lema
II . 9. Sejam E: <

e <e t . q . se d(z , w) < en-

to d(fz , fw) < e.
Afirmao : Se z E f -
1
(A) e d( z, A) < , ento z E A. Pois
nesse caso , existe w E A t . q . d(z,w) < . Logo d(fz , f w) < E:.
Considerando o ramo contrativo ep: Br(fw) n /\ -+ A t . q .
rpfw = w temos que < + E: < c . Logo = z e
portanto z E A.
Da afirmao segue que S = f -
1
(A)\A fechado . Do fato
de f ser invariante segue que
. - 1 - 2
A, S, f S, f S, ... uma cole-
o disjunta de fechados . Pelo Teorema II . lO; tal coleo cobre
K. Segue ento do teorema de Baire, que algum deles tem
no vazio . Como f uma aplicao aberta, isto implica que /\
tem interior no vazio .
- 22-
Consideramos a decomposio de dada pelo Teorema II .
( )
n N m
Algum dos Aim contm um aberto V, e como (f m) V = Ai ,
para certo N, conclu mos que Aim) aberto em K. Como K
conexo , conclumos que = K. Isto demonstra o teorema.
Critrio de Homologia
Suponhamos f expansora e topologicamente mixing.
,
e
11
Definio II .l3. Dizemos que em C(K) so homlogas se
existir u E C(K) t . q . = + u o f - u e denotaremos
Teorema II.l4. Suponhamos Holder- contnua. Ento
= x > S w (x)
n
Demonstrao :
Se IV ,..., O, = u o f - u , u E C(K) . Resulta que
n- 1
sn w(x) = IV( fjx) =
j =O
e portanto se
sn = o.
Reciprocamente , suponhamos sn w(x) = o, X t . q .
fn(x) = x . Seja a E K, transitivo para f (i . ., Cfn(a) ) n:2:0
denso em K)
e definimos u na'rbita de
a por
onde u(a) est definido arbitrariamente .
Afirmao .
,
u e uniformemente contnua na rbita de a . Pois ,
se d(fma , fm+na) < , podemos formar a - pseudo-rbita
m m+l m+n- 1 m
f a, f a , . .. , f a , f a , ...
I
i
I
I
I
; I
,
-23-
Dado e>O, tomam9s t . q . existe x peridico de
riodo n cuja rbita e-sombreia a - pseudo- rbita acima . Mais
' d(fjx, fm+J.a) / , n-j d(x, fm+na) ,
do que isso, tal orbita satisfaz h
O s: j s: n , conforme a observao (1) seguinte ao Lema II . 5. En-
to
I = lsm+n *(x)- sm I = lsn I =
= lsn w(fma)- sn '(x)i '(fjx)l s:
o
o
Isto demonstra a afirmao .
Da afirmao segue que podemos extender
n .
o continua em K. Seja y E K, y = lim f Ja .
j -+ro
u a uma fun-
Ento
n.+l n.
u(fy) - u(y)
=
lim u(f J a)
- lim
u(f Ja)
=
j -+ro j -+Q)
=
lim 8
n .+l
H a) -
sn.
w(a)
=
j -+0)
J J
=
lim
* (f
n.
Ja)
=
* (y)
j -+ro
Portanto
*
=
u o
f - u, ou seja,
*
,...., o.

Corolrio II.l5. Sejam w E Holder-continuas . Ento
. CAPiTULO III
,J ACOBIANOS
Recordemos algumas definies dadas na introduo, dadas
com !JOuco mais de generalidade aqui . Sejam f: K continua e lo-
calmente injeti va e E Dj zemos que uma funo F E L
1
(
Jacobiano de f se
IJ.(f(A)) =!A FdiJ.
para todo boreliano A t . q . fiA seja injetiva . O Jacobiano , se
existir , q .t . p .
definimos
(.s:w tP) (x) =
,
e e denotado por J\J.f .
por.
E
yEf-
1
(x)
e *(y) cp (y) ,
*
Lema. III.l. Seja 'J r:. m(K) satisfazendo .Cw 'Y = '>.'J, '>. '> O.
Ento
Seja h continua (') estritamente posi tj.va e
J f
\.L
Demonstrao : Seja A boreliano t . q .
\.L = h 'Y.
Ento
,
e injetiva . Tomemos
seqUncia em C
0
(K) t.q . h
11
--+ lA q.t . p . ('J] e
11 hn 11
0
s: 2 , n 1.
c
.C*(e ... hn)(x) =
Ento
Esta ltima expressao converge a lf(A)(x) q . t . p . ('Y]
e

.
.
- 25-
portanto , pelo da convergncia dominada
Logo
Tambm
Como u e so equivalentes , esta ltima expressao
converge a e portanto
De agora em diante , suporemos f e:>.."'Pansora e topologicamente
mixing . Se E definimos o suporte de como
= {x E K vizinhana V de x, u (V) > O)
Lema III. 2 .
supp(u) = K.
Se E admite um Jacobiano J f
\J
ento
Demonstrao : Suponhamos que exista V aberto, com = O.
V com borelianos A c V t . q. fjA seja injetiva .
Ento
u(f(A)) = J J f du =o.
A
Logo = O. Por induo , u (fn(V)) =O. Como sabemos
- 26-
que existe n E JN t . q . fn(V) = K, chegamos a uma contradiio .
Lema III. 3 .:.. Se J f

existe A > O t.q.
de
-n
f , ento
11
estritamente positivo e Holder- contnuo ,
n , se g : S -+ K
,
e um ramo contrativo
x,y E g(S) .
Demonstrao : Corno g ramo contrativo de
I
- n
f . e x,y E g(S)
j n.
onde , d = diimetro (S) . Ento
J\Jfn(x)
=
JIJ fn(y)

onde c = inf
xEK
n-1 Jnf(fjx) n-1 I
TI

TI
j=O
J \J f(fjy)
j=O J f (fjy)
IJ
n-1
1
IJ f(fjx) - J uf(fjy) I
TI
1 + -
j =O
c
u
JIJf(x)
> o. Prosseguindo
m . def
TT 1 + c p.Y)J d = A
c
j =O
+ 1
Corolrio III . 4 . (Lema de Distorso) - Existe B > O t . q .
v sl' s
2
c s .

-
.

- 27-
u(g(s
1
))
u (g ( s
2
))
Demonstraco : Fixo x
0
E g(S) , temos
Ento
u(s
1
) = f

g(Sl)
u(S2) = r Jufndu :<!: .u (g(S2)).
g(S2)
u(g(s
1
))

Invertendo os papis de s
1
e s
2
, obtemos a.outra desigual da-
de .
Corolrio III . 5 . Sejam e
0
uma constante de expansividade de
f
'
dada pelo Lema II . 3 , e O < e e
0
. Ento existe c
t . q .
l.l- n :2: O, .Y.. x E K.
Demonstrao : Pelo Lema II . 3 , B(h, e,x) = g(Be(fnx)) , onde
g: Br(fnx) K ramo contrativo de f - n . Cobrimos K cem bo-
,
las B
1
. . . de raio e seja = min u (B
1
.) . e e estrita-
e
mente positivo, pois, pelo Lema III . 2, u positiva sobre aber-
tos . Tambm, y E K, temos
Logo
- 28-
t IJ.(Be(fnx)).- f J IJ fn diJ s: A J u. fn(x) . IJ (B(n , e, x)) .
g ( B e: ( fnx) )
Portanto
Tambm
Portanto
Corolrio III . 6 . Suponhamos ll f-invar i ante , erg.dica . Ento
Demonstrao : O teorema de Brin-Katok ( [ B2]) afirma que
lim
o
lim sup
n -+oo
- log l.l(B(n, e: , x)) ,
Do III . 5, segue que
q . t . p . X=K.
1 1 n
lim sup - n log e: , x)) = lim sup n log J IJ. f (x) , se O< e:< e
0

n-+oo n -+oo
Do teorema de Birkhoff , resulta
q . t . p . xEK.
Portanto
-29-
Lema III. 7 . Sejam K espao metrico compacto, E
e
r uma partio boreliana de K, r= (P
1
, ... ,Pn) . Seja
1
uma seqfincia de parties com diam
Cm = max (diam C)
CE Cm
convergindo a zero, quando m --+ m.
Ento existem parties
m m
(El' ... , En) t.q.
(1) Cada

,.
. -
de tomos de
cm.

e a
(2) lim

6. Pi)
= o,
m-tco

Demonstraco : Sejam
Kl' ... , Kn
compactos com
Ki
c P.

e
Ki)
< e. Seja = inf
d(Ki,Kj)
> o,
e consideremos
i;tj
'
m
t . q .
diam cm < /2 . Dividimos os elementos c E
cm
em grupos
- (m) (m)
cujas unioes denominaremos E
1
, ... , En da seguinte forma :
pode interceptar
no mximo um K. e caso ele no intercepte nenhum, podemos in-

clui- lo arbitrariamente em qualquer Ento

A P.) =

(P. \ + \ p.)

n
+ U Ki) (n+l) e:
j=l
Teorema III.8.
Se
estritamente positivo e Holder- conti
nuo , ento
,.
1.1. e exata.
Demonstrao : Seja uma partio de K, com
diam r
0
< r e Podemos ento de-
finir ramos contra ti vos

p?
__...

K de
- n
o::; j =:;n.
f '
'

1
n n o
Ento
i
to .
Sejam P ..
=
g .. (P. ) .

-30-
n
P = (P .. , os: , l !: iS:.{, } uma partio de K com
n lJ 1 . o
diam
p -+ o.
n
Suponhamos por contradio que exista A E
t.q. '> O
que
)./- e: '> o,
Como A E n
j;;"::O
c u.(Ac) '> o.
:!IN ( e) '>O t.q.
Aplicando o Lema III.7 temos
se n ;;:: N(e:), :3: E P t.q.
lJ n
u.(A n F:.)
l-e: .

f - j ( 3(K)) ,
A
=
f-n(An) ,
para certo
An E n f -j (S(K))
j;;"::O
e portanto

n

A n
n
Pelo lema de distorso
=
pij '
(Corolrio III . 4},
De maneira anloga,
1-4 (A n p?)
n 1
u. (
t . q .
Como f
,
e topologicamente mixing , existe N t . q .
N
J.llS: 1' S:'
"'o ,
existe j(i) t . q . o contrativo
gl ,, j (i) de
f - N
satisfaz
N o
Pl,j(i) c pi
Para simplificar a notao, denotaremos
Qi
N
e
gl , j(i)
Seja c -= min que estritamente
i
Qi tem interior no- vazio . Tomemos e t . q .
o
eB Sl;lP u(Pi)
1
onde
1
< 2B
<
c
N
Pl , j(i)
por
positivo, pois
Dessa maneira
-31-
IJ(An n Qi)
----- '> 1-
~ ( Q i )
> 1-
Observando que An = f-N ~
mente o lema de distorso
. Ac = f-N R.':
e n -N
u (B n P?)
n l.
> 1- B
> 1- B
Somando resulta
1 > 2- 2B .
e chegamos a uma contradio .
e aplicando nova-
-32-
CAPTULO IV
O TEOREMA DE RUELLE
Teorema IV.l. Sejam K um espao mtrico compacto : f: K ~
expansora e topo logicamente mixing; e v Holder-contnua. Ento
existem h: K --+ ~ Ilolder-contnua e estritamente positiva,
v f ~ ( K ) e > O t.q.
l.
2 .
3.
f hdV = 1
t h = hh
*
*
twv = v
4. 11 >- -n .r.; rp - h r cpdvllco _. o,
5. h a nica auto-funo positiva de tw
plicao por escalares .
a menos de multi-
def
6. A probabilidade ~ = hv
log
invariante, exata e
= h f + r * ~
l.l
7. log > hA f 1 f w d ~ , para toda ~ E ~ ( f ) , ~ f- ~
1.1
Demonstrao : (1) Consideramos
* *
G: ~ ( K ) ~ dada por G(bl) = .S: tJ/t u (1)
G est bem definida, pois t(l) > O
.r.*u(l) = r .1.'.(1) du > o .
Tambm, como t
,
e positiva, G(u)
habilidade .
e portanto
realmente uma pro-
O teoren1a de Tychonoff- Schauder (Larsen C Ll])
nos ga-
- 33-
rante ento que G tem um ponto fixo
temos
*
Se = u (l) > O ,
*
r. =
Para simplificar a notao , estamos usando t em vez
e \lcp\1 denotar a norma C
0
de cp.
(2) :!I A> O t.q.
m m
S. (1) (1) (y) < A, .li- x,y E K.
Demonstrao: Provaremos primeiro o seguinte lema.
Lema 1. > o t . q . li- x,y E K, d(x, y) < e n > o podemos
escrever
f - n(x)
=
fx
1
, . .. ,xk),
f - n(y)
=
fyl , .. ,yk)
satisfa-
zendo d(fjxi '
:fjy.)
J.
n- j ( )
d x, y , para todo
Demonstrao : Seja
tivo de f
- 1 t
. q .
= min(r,c/2) .
g(i)x = xi , onde
e: seja .g(i) ramo contra-
f-1(x) = tx
1
, . .. , xk) . De-
finimos
Logo
t . q.
Y = g(i)y.
J.
Ento se
Y = y. '
J. J
temos que
d (x. , x.) d (x . , y. ) + d (xJ. , yJ.) 2 c .
J. J J. J.
xi = xj.
Ento a cada correspondem
Y
J.
distin"!::os
d (X . , y . ) d (X , y ) .
J. J.
Invertendo os papis de x e y, ve-
mos que tal correspondncia bi- unvoca . Isto demonstra o lema
para n = 1 . Por induo, usando raciocnio anlogo ao feito aci-
ma, completamos a demonstrao do lema .
Iii
Demonstraremos ento (2) . Suponhamos primeiramente que d(x, y) < .
Ento f
-m(x ) { J
= xl' ... 'xk
ma acima . Temos
Logo
k
E e s:
i =l
- 34-
k (y i)
E e
i=l
A'
e
s: .
Para o caso geral, conbrimos K por bolas de dimetro
; Bl' .. , Bt e tomamos N t . q . fN(Bi) = K, .J.I- 1 s: i s: t .
com+N(l) (x) = S '" (z)
LJ e m+N "' =
z Ef-m-N( x)
= E
z : fmz E f - N (x)
Escrevemos
f-N(x) = (xfl) ' .. .. , , xit ) ' .
1 t
f-N(y) = (yil)' .. ... , yft) ' ...
onde o ndice em cima indica que
dio sobre N acima implica que k
1
, .. , kt' s
1
, .. , st so estri
tamente positivos .
.I
!
- 35-
.tm+N (1) (x) s:
eNII*\1
t
I:
j=1.
eN 11
t
=
I:
j=1
Sabemos que

s: A :m(1)(yr(j)). 1 k r 1
, , . , j' = , . ,sj.
Portanto
--- - ;::.
max k.
1S: j s:t J
1
=A' ----
max k.
1s:js:t J
Como kj(x) , x E K limitado, (2) est demonstr ado .
(3) (a) sup \:>.-n .1:n(1) :: < c
n
(b) inf inf l h-n : n(1)(x)l > O.
n x
Demonstrao : De (1) temos
r). - n ( 1 )d v = n E :N
Segue que existem sn e tn t . q .
L.
- 36-
Usando (2) , resulta
, -n <A e , -n )( ) 1
,.. ""' ,.. ... 1 X '> A ' X !== K, n E :N.
(4) Seja cV o espao das funes Holder-contnuas com constante
de de IIolder v provido da norma
llepll + sup.
x-/=y
d(x,y)<a
I
d(x, y) v
Suponhamos que v uma constante de Holder de w e
que a = dado pelo lema 1 . Ento
e
onde
\1 ).-n t,nll a norma do operador - n s.n no espao cV.
v, a
Para simplificar a notao no escreveremos mais ll ll v, a , mas
apenas 11 ll v.
como no Lema 1. Suponhamos u E c V , u O. Temos
Tambm'
I v
:s: C d(x, y)
Portanto
'
- 37-
Ento
= u(y)(l + C
11
d(x,y)Y) +
+ C(u) )..ny d(x,y)Y (1 +c" .(l)(y).
Rearranjando os termos
--- -
onde D = 1 +C" V. Prosseguindo
1>. - n >.-n
s: c"l >.-n +
d(x, y)Y
onde, aps utilizarmos 3. (a), juntamos todas as constantes em
uma nica constante E.
Novamente usando 3. (a) tems
Portanto
- 38-
-
Para u qualquer em cY temos u = u+ - u- , e u
em e positivas. Ento
11 >--n 11 >. - n ,cn u+lly + 1! >. - n .cnu-lly
Fllu+ll y + F!lu-lly 2FIIull y.
Logo e
supll>.-n <to
n
(5) Existe h E cY estritamente positiva t . q. = >.h e
r hd\1 = 1.
Demonstrao : Consideramos a seq&ncia (gn) n dada por
n- 1 .
gn = - J .r. j 1.
n . O
J=
Por ( 4) ,

Recorrendo ao teorema de encontramos sub-
s eqtl&ncia t .q . em Ento
nk
= lim E - j j 1 =
k--+to nk j=l
h E cY
).- j .l:jl - 1 + ). -nk .l:nkl)
= >.h
pois s up 11 >.-n n 111 < to
n
e
Alm disso, como r g d\1 = 1, .temos que f hd\1 = 1 .
nk
De (3),(b) decorre que h
,
e estritamente positiva.
(6) Seja = hv . Ento invariante e exata .
-j':J-
Demonstrao : Seja u E C
0
(K) . Ento
f Uo f dl.l =rUo f h = f .r.(h. uo f)d\1
= f .r.h. ud\1 = r uhd\1 = r
Portanto
,
e invariante . No Lema III . l, vimos que
Jvf = e portanto Holder-continuo e estritamente positivo.
Resulta do Teorema III.8 que
a v, tambm e. exata.
v exata. Como
,
\.l e equivalente
(7) Sejam u e em C
0
(K) . Ento
Esta ltima expresso converge a [ r E pois 1.1
mixing . Logo
Demonstraremos agora o seguinte lema .
Lema 2 . Sejam v E positiva sobre abertos e

,
e
uma seqUncia limitada e equicontnua t . q . existe * CO(K) sa-
tisfazendo
Ento
Demonstraco:
pologia C
0

Seja
Ento,
* d\1 ___.
n
dv,
w ponto de acumulao de
o
se
,,, ---+ ,,,
"n '+'o
j
temos
( ,,, } na to-
"n
Logo
.h dv
'n .
J
- 40-
Suponhamos por absurdo que f

Ento existe um aberto V

aonde
> '> o
o
(ou
* -* > '> O) . Escolhemos E C
0
(K)
o
es-
tritamente positiva e com suporte em V. Resulta que
e chegamos a uma contradio . Ento
=
o
'+'
e o
,
uni c o ponto de
acumulao de
(wn) n:<!:O
c o
,

Como
(wn }n:<!:O
,
r el ati va- em e e
ment e compacto em
c o
'
'f_.
n
*
em
co .
a
Do Lema 2 concl umos que
x. - n .Cnu
--+
h [ udv , em C
0
. '

E
c V(K) .
Observando que c V(k) denso em C
0
{K) e
s up 1l ). -n .s:nll < (J) ' conclumos que -X. - n .s: nu - h J udv em C
0
n
A AA
(8) Suponhamos h O em C
0
(K) t . q . .S: h = ).h . Ento
(9)
pois
Como v
Logo
A
x. -n .cn h = h __. h r hdv
A
,
e positiva sobre abertos e h>- O,
A
). = X. . Conclumos que h = h r hdv .
Do Lema III . l, temos que
Recorrendo ao III . 6, temos
A
h f: o,
hu. (f) = r log J du = log ).. ..:. f '+r dhl
,
u e invariante .
f hdv > O.
- 1-
Os i tens (1) a (9) demonstram o teorema de Rue11e ,
exceto por 7.
(10) Demonstremos 'i .
Seja r= (P
1
, ... , Pm} uma partio de K com dimetro
< r .
Lema 3 . Existem c
1
> O e c
2
> O t . q. .li- m :<! O e g:P ---+ K
ramo contrativo de
- m
f .

c1 c2 '
exp[ - m 1og + Sm W(x) }
Demonstrao :
'
Do Lema III-. 3
,
e imediato que

1 m u (P)
A Ju f (x ) u(g (P)) J \.4 (x ) ,
.li- x E g(P) .
Segue que
1
inf u(P) u(g(P)) J fm( x) sup u (P) .
A PEr u PEr
Lembrando que
exp (-, 1og >. + Sm (x) }
- 111 h o f

IJ h
; exp {- log h(fm(x))
h(x) h
= h(fm(x)) E h
I sto demonst ra o Lema 3.
temos que
+ log h(x)}
sup
inf hj .
a
- 42-
Seja
p(m)
=
(g < P ) I g : P _. K
,
ramo contrativo de
-m)
Ento , se e f .
'11 E
H'l1(f , P(m))
+ r sm *d, =
E [-n(g(P) - log
n(g(P))
r
sn
g,P
g(P)
Seja zm ,, = sup s ' (x)
g(P) ' xf=g(P) m .
Ento
H
11
(f,P(m)) +r Sm Wd'l1 :S: E n(g(P )) + z;(P) wJ
g,P
Lema 4. E
Pl'

pl+. . +pn=l
A do lema 4 dada adiante . Prosseguindo, temos
Pelo lema 3,
Logo
Substituindo acima
E
g , P
m
z * e g(P)
n
pei_Tlonstrao do Lema 4: Seja v(::c
1
, . ,xn) = E xi log xi +
i =l
n
+ E a
1
xi uma funo definida em ((x
1
, ... , xn) I xi e
:i.=l
n
(*)
E x . = 1).
i= 1 J.
Suponhamos que p = (p
1
, ... , p
11
) um mximo de v

.
.
..
Logo
1 j n .
bv =
0
be. - e.
l. J
- 4)-
Ento
2 j n .
2 j s:: n.
Resulta que
1
-log p
1
- p -- + a
1
=
1 pl
1
-log p. - p. -- + a.
J J pj J
Rearranjando os termos
--
E como
n
r: p . = 1
j=l J
temos que
(
n
= r:
j=l
Calculando o valor de v nesse ponto encontramos
n a.
v(p) = l og r: e J
j=l
Observamos que se v atinge o mximo em um ponto da
fronteira p = (p
1
, ... , pn) podemos supor sem perda de
de que 1 =O . Mas por clculos idnticos v no pode assumir
, .
seu max1.mo em
(pl ' ... 'p 1' o)
- n-
com p. > o
J
1 j s:: n- 1 , pois
tal mximo seria menor do que o mximo obtido acima . Reduzindo o
problema dessa maneira, chegaramos a concluso que v atinge seu
, .
max1.mo em (1,0, ... , O)
n a.
l og E e J
j=l
,
o que e um absurdo pois
al
> log e = a
1
= v(l , O, . . . , O) .
- 44-
Portanto v atinge seu mximo no interior e
a .
v(x
1
, . .. ,xn ) log ( e J )
j=l
Lema 5 . Sejam K wn espao mtrico compacto, T) f 'm(K) , e > O
e C uma partio boreliana. Existe > O t . q . HT) (C/D) < e .
sempre que D for uma partio de diam D < .
Demonstraco . Seja C= (c
1
, ... , Cn}. Recorrendo ao Lema III . 7 ;
a >O t . q . se diam D < , ex iste . E= ( El' . .. , En) c
A expresso
n (Ei) , e s e depende continuamente dos n (Ei n Cj ) e
anula quando n(C.
1
n E. ) = .. n (C . ) . Logo para
1 lJ J
e
1
sufici entemen
te pequeno , temos
Logo
Lema 6 . Suponhamos diam P <
mais fina do que p(m) .
Demonstrao : Sejam gl (P) e
diam gl (P) < >. e diam g
2
(P)
x
2
E
g2 (P)
t . q . cl(x
1
,x
2
) > c ,
c
=

g2 (P)
< >. .
temos

- m
Entao .P v ... V f P
,
e
tomos de
p(l) .
Ento
Como 3x
1
gl(P)
e
que no existe
Q E
p
t . q .
a n g
1
( P) -1= o e Q n g
2
(P)
I= </J .
Isto demonstra que
PVf- l(P)
,
e mais fina do que
r( l ) .
Como
dlam r v f -
1
( r ) < >. <
podemos
. .
- 45-
repetir o argumento para mostrarmos que PV f -
1
(P) V f -
2
(P)
fina do que P(
2
). E assim sucessivamente .
,
e mais
11
Definio . Uma coleo R= (R
1
, ... , Rn)
uma partio de Markov de f se
,
de abertos disjuntos e
(1)
n
U R.
. 1

= K
(2)
diam R. <r, 1, ... ,

e para todo ramo contrativo
R. K de f-l vale

n ttl (R.;) c R. ,
J ... J
1 s: j s: n .
Lema 7. Existem parties de Markov de f com dimetro arbitra-
riamente pequeno .
Demonstraco : Seja a= [B
1
, ... urna cobertura de K por bolas
abertas com dimetro < e. Definimos , para n O, nCn) =
= Bi ramo contrativo de f - n) . Para defi
nimos indutivamente = B. e = U( U B\
l l l BE e(r) , B n
Temos ento que diam s: e + ... U
r=O
2
A e
Ento diam Bi s: l ->. .
Observamos tambm que se
contrativo de f - l e
. prpria construo dos
Seja R
a coleo dos abertos
R c K
A
ento R
c B.
J
e t . q . R seja maximal com essa
,
coleo finita de abertos disjuntos t . q. e uma e
A
cp: B. ---+ K
l
t . q. se
,
e ramo
pela
Rn j <tJ
propriedade . R
u R = K. Para
R E R.
completarmos a demonstrao do Lema , dvemos mostrar que vale a con-
dio (2) da definio acima .
- l1.6--
Afirmao : Os
cp(j) t . q .
cp(Bj)
n
Bl
f- f/J cobrem
,
Pois se X (
131,
E
riJ(n) (Dn) ,
onde
cp(n)
e ramo contrativo de
f-n e Dn E [B
1
, . . . Alm disso existe seqencia
n t . q. n rp(j+l)(Dj+l) f- o. j:: n-1 e J
(1)
cp (Dl) n B
1
f r/>. Suponhamos que D
1
= Bj . Pela construo dos
j, a seqtlncla cp( j-l) (Dj), 1 j n est inteiramente contida em
Bj , onde tp(j-l) = fo Cfl(j)_ Portanto x est em cp(rp(n-l)Dn)c
c cp(Bj) c cp(Bj) n B
1
f- f/J. Isto demonstra a afirmao .
Seja R
r R,
t . q . cp(R) n
l f- rt> .
Da afirmao acima de
corre que podemos encontrar
Bj
satisfazendo
cp(Bj)
n
Bl
f-
r/>
e
cp (j)
n cp (R)
I= r/> :
Portanto
Bj
nRf-rt> e resulta que R
c
B ..
J
Logo Isto demonstra que
cp(R) c R'
'
para
algum R ' c: R.
Os Lemas 6 e 7 nos permitem considerar parties r
satisfazendo
m
v f -i r= ( g ( P. P.-4 K
l . l
, '
e ramo cont rativo de
i =O
f-m) = p(m) _ Basta tomar como r uma partio de Markov (distri -
buindo os bordos dos abertos arbitrariamente) com dimetro < c/3'1.. ,
como no Lema 6 .
Pois ness e caso os tomos das duas parties so exata-
mente da forma O =s: is: m} .
O Lema 5 nos mostra que =
l.f T1 E <ffi(f) .
Pols se C uma partio qualquer de K, tomo t . q .
r V V f-mp tenha. dimetro menor do que . Ento
e
.
'
.
-47-
A partir desses fatos e de (*) , temos que
Adiante ns iremos reo-bter esse fato, e ainda mos.trare-
mos que a igualdade s vlida no caso n = A demonstrao
acima nos fornece uma idia intuitiva de porque u a probabili-
dade que maximiza a expresso hn(f) + r * dn. De fato , o Lema 4
nos informa qual devem ser os valores de para que valha a
igualdade acima , e tais vlores so exatamente os valores de
pelo Lema 3.
Devemos mostrar que se n f u, n E ento
hn ( f) + r w d n < log ,.. .
1 caso . n singular com r espeito a u .
Nesse caso, existe
cl
t . q .
=
o e
=
1.
Se c
=
n
u
f - j (C
1
) ,
ento

f -
1
(C)
=
C, u (C)
=
o e TJ(C) = 1.
m
Usando novamente o Lema III . 7, encontramos F unio de
tomos de P(m) t . q.
(n+u )(Fm llC) -t O quando m-+ cn .
Suponhamos por absurdo que
-48-
Logo
m 1og
E ( )(-n(B) 1og n(B) + J s v dn)
Bff-l m B m
Seja Z
m ' ( )
(
P) '11 = s up sm x .
g xEg ( P)
Ento
m
m log). E ( ) n(B)(ZB - 1og n(B))
BEP m
m
0- 1og n(B))'+ E n(B)( ZB t- 1og n(B)).
BC(Fm)c
Lema 8 . Suponhamos p.
J
o, j
=
1, ... , n , s =
ai , . . . , an
c n . Ento
n n a.
r: P. (a .
-
1og
p j)
s(1og r:
e l.
j=1
J J
i=1
Demo!!.trao : Anloga do Lema q.
Prosseguindo , temos ento
onde C = sup (-s 1og s) . Rearranjando temos

Recorrer do ao Lema 3,
-2C r:
1-J.(B)
h
E
Pj

j=1
- 1og s) .
r:

n(Fm) 1og n(Fm)c) 1og
+
BcFm c BC{Fm)c c1
1
1
1og
1
+ n(Fm) 1og + n( (Fm) c) 1og ( ( Fm) c) . =
c1
e
=
. ..;
- ...
Portanto a expressao a direita converge a e -chegamos a uma
contradio.
Conclumos que
e portanto, utilizando a partio adequada
log ). > l H ( P V V f - m P) + r d T'l
m T'l
Como a expresso direita decrescente com m,
hT'l(f) + r w dT'l < log ).
2 Caso . T'l no-singular com respeito a u. Como n tambm nao
absolutamente contnua com respeito a u, decomp- la
como n = an' + onde O < < 1, n' singular e u'
absolutamente contnua (com respeito a u) . Seja A t . q.
f -
1
(A) =A; n'(A) = 1 e u(A) =O. Ento , para todo B borelia
no-,
= T'l(B nA)= n'(B nA)= T'l ' (B) .
Portanto T'l' E !llt(f) . Resulta que u' E !llt(f) e u .
Lema 9 . Sejam 'J,V' E !llt(f), mutuamente singulares, e
- 50-
Demonstrao : Se jam A :f-invariante t . q . v(A) = 1 e v' (A) = O,
a = (A,Ac) e 11 = a.v+(l-a.)v '. Ento , se ~ uma partio de
K, temos
H ( ~ v a) =
11
v(R) log a.v( R) +
+ (1-o. ) E v'(R) log (1-a.) v'(R) =
Rf= RVa
RCA
= a. log a.+ (1- a.) log(l-o. ) + a. Hv (R. V a)+ (l-a) ~ , ( R V a) .
Portanto
--
h"' (f) .= lim l H ((P V a) V . . . V f-n+l (P V O)) =
'I n-+oo n '!)
= lini l H ( P v .. V f - n+l P V a)
n-+oo n 11
= 1im
1
ra. log a. + (1-a. ) log(l-a.) +
n -+oo n L
= a.hv ( f) + ( 1-a.) ~ , ( f) .
Do lema temos que
< a. log ~ + (1-a.) log
= log .
Isto demonstra o item 7, e portanto todo o teorema IV. l .

- 51-
Teorema IV. 2.
Sejam w e . ~ Holder- contnuas .
Ento
se e somente se w - log ~ ~ - ~ - log ~ .
Demonstrao : Se ento J f
u ~
= J f .
ucp
,
Isto e ,
Definimos Ento
E portanto
(log h) o f - log h= ( v - l og *) - (rp - log tp ) .
Reciprocamente , suponhamos que exista H E C
0
(k)- t . q .
H o f - H = ( $ - log W) - ( tp - log p )
Para mostrarmos que
\.Lw
=
uc.?,
bas ta mostrarmos que
Ucp
uw,
pois so probabilidades ergdicas . Para isto, basta
mostrarmos que
v ~
<<
v* .
Seja h = exp H. Ento , se U. E
C
0
(K)
- 1
1
( w- log >- w) (y)
(h- l * ~ * h u)(x) =h- (x ) ~ e h (y ) u(y) =
yEf-
1
(x)
(v-log *+H)(y)
= h
-l(x) ( )
e u y =
yEf-
1
(x)
($- log w+H-Ho f)(y)
e u(y) =
- 52-
Logo
h-1 >..-n
w
.r,n
w
h
=
>.. -n
cp

cp'
li-n :<!
o
Por outro lado
h cp f ud'Vcp
1im
- n
.r.n
=

u
n-+oo
cp
-1
1im
-n
.r.n
u h
=
h

n-.oo
w
=
h- 1
hw r h
Ud'V * .
se u f C
0
(k) , u :<!O, temos
f
1
udvm
, - inf hcp
Isto mostra que vcp
.!
J
- 53-
Bibliografia
( Bl] Bowen,R. - Equilibrium States and the Ergodic Theory of
Anosov Diffeomorphisms - Lectures Notes in Mathematics
470 (1975).
(Gl] Gromov, M. - Expanding Maps and Groups of Polynomial
growth, Preprint IHES (l979).
(Rl] Ruelle, D. - Statistical Mechanics of a one dimensional
lattice gas . - Communications in Mathematical Physics 9
(1968) 267- 278.
( Sl] Shub, M. - Endomorphisms of compact differentiable
manifolds , American Journal of Math. 91 (1969) 129- 155 .
( Ll] Larsen, R. - Functional Analysis . Dekker - (1973) - 352 .
CB2] Brin, M. ; Katok , A.: On Local Entropy.
Lectures Notes in Mathematics , 1007 - Proceedings , Rio
de Janeiro , 1981.
Il\"FORHES DF K.\.TEHTICA
Srie E
OOl/82 - Conjetura de Blaschke
Enaldo Silva Vergasta
002/82 - Realizao de Subschift
Jaques Gheiner
003/83 - de Rotao em Espaos de Curvatura
Constante
Isaac Costa Lzaro
004/83 - O Teorema do :Lndice de ':t-iorse
Hermando Frid Neto
005/.83 - Sobre as Vrias Noes de Dif'erenciabilidade
Ramiro Tadeu Guerreiro
006/83 - Sobre a Integralidade de Subanis Fixos
Daniel Levcovitz-
007/83 - O Princpio .da Tangncia e Aplicaes
Katia Rosenvald Frensel Leo
008/83 - rbitas Peridicas na Vizinhana de um Ponto de
Equilbrio de um Sistema Hamil toniano : O Teorema
de iveinstein
009/83
Pedro Paulo Serpa Schirmer
- Extenses de Equivalncias Topolgicas em Subvarie-
dades Normalmente Hiperblicas e Aplicaes
Edson Vargas
c:o
Ol0/83 - Sobre a Dinmica dos C do Crculo
,
Joao Marcos Bezerra do O
Oll/83 - Frmulas Integrais e Teoremas de Unicidade
Moulin Ribeiro Levcovitz
Ol2/84 - Perturbao do Oscilador QuruLtico por um
Campo Eltrico Dependente do Tempo
Celius Antonio Hagalhes
Ol3/84 - Produtos de Somas de Quadrados
Ermnia de Lourdes Campello Fanti
OJ. 4/8Jr. - Trabalhos de Norse Sobre os ProlJlemas de Schoen:fl ies
Renato Dnartc Carneiro Nonteiro
015/84 -
O M6todo de Dona- Boso - Dcnjamin para a de
Onda SoLitria na Eqnao de Nokrasov
Paulo Marcelo Dias de Hagalhes
016/85 - Variedades Con:formemente Euclidiru1.as
Marco Antonio Noguej.ra Fernandes
017/85 - ue Superi'cies Convexas
Fibio Dutra
018/85 - Teoria ErgU.ica das Traus:formaes Expansoras
Harcos -Craizor
1
..