Análise em Fractais

Anlise em Fractais
Publicaes Matemticas
Anlise em Fractais
Milton Jara
IMPA
29o Colquio Brasileiro de Matemtica

Copyright 2013 by Milton Jara
Impresso no Brasil / Printed in Brazil

Capa: Noni Geiger / Srgio R. Vaz
29o Colquio Brasileiro de Matemtica

Anlise em Fractais Milton Jara
Asymptotic Models for Surface and Internal Waves Jean-Claude Saut
Bilhares: Aspectos Fsicos e Matemticos Alberto Saa e Renato de S
Teles
Controle timo: Uma Introduo na Forma de Problemas e Solues Alex
L. de Castro
Eigenvalues on Riemannian Manifolds Changyu Xia
Equaes Algbricas e a Teoria de Galois Rodrigo Gondim, Maria Eulalia
de Moraes Melo e Francesco Russo
Ergodic Optimization, Zero Temperature Limits and the Max-Plus Algebra
Alexandre Baraviera, Renaud Leplaideur e Artur Lopes
Expansive Measures Carlos A. Morales e Vctor F. Sirvent
Funes de Operador e o Estudo do Espectro Augusto Armando de Castro
Jnior
Introduo Geometria Finsler Umberto L. Hryniewicz e Pedro A. S.
Salomo
Introduo aos Mtodos de Crivos em Teoria dos Nmeros Jlio Andrade
Otimizao de Mdias sobre Grafos Orientados Eduardo Garibaldi e Joo
Tiago Assuno Gomes
Distribuio: IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
E-mail: ddic@impa.br
ISBN: 978-85-244-0350-7 http://www.impa.br
i i
i i
Fractais 2013/6/18 10:44 page i #2
minha esposa e ao Pedro
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page ii #3
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page iii #4
Introduo
Ao longo dos ltimos anos, a teoria de grafos tem se tornado uma

rea da matemtica extremamente ativa, principalmente por causa
da globalizao. A ideia que a grande interconetividade das rela-
es interpessoais faz com que a modelagem de diversos fenmenos
requera o estudo de equaes definidas em objetos mais complexos
do que domnios em Rd ou subconjuntos de Zd . No que diz respeito
dita complexidade, o exemplo mais simples de conjunto com propri-
edades radicalmente diferentes ao espao Euclidiano o tringulo de
Sierpinski, desenhado na Figura 1. De fato, o tringulo de Sierpinski
um dos exemplos mais simples de fractal. Se bem o tringulo de
Sierpinski tambm no um bom modelo da interconetividade do
mundo globalizado, um bom ponto de partida para tentar ver qu
tipo de conceitos clssicos no espao Euclidiano podem ser genera-
lizados a conjuntos mais complexos, como por exemplos os mencio-
nados fractais. O objetivo desta monografia dar uma exposio o
mais elementar e auto-contida possvel da construo duma teoria de
equaes diferenciais parciais no tringulo de Sierpinski.
Ao nosso conhecimento, o estudo matemtico de equaes dife-
renciais parciais no tringulo de Sierpinski comeou com o trabalho
[1], onde os autores constroem um processo estocstico que chamam
de movimento Browniano no tringulo de Sierpinski, como limite de
escala de passeios aleatrios em grafos discretos, definidos de ma-
neira adequada. A relao entre o movimento Browniano e as equa-
es diferenciais parciais vem do fato que as solues fundamentais
da equao do calor @t u = 12 u correspondem s probabilidades de
transio do movimento Browniano. Portanto, se for possvel definir
um processo estocstico no tringulo de Sierpinski que possa ser le-
iii
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page iv #5
iv INTRODUO
Figura 1: O tringulo de Sierpinski K.
gitimamente chamado de movimento Browniano, ento ser possvel

definir solues da equao do calor no tringulo de Sierpinski.
A abordagem deste texto se baseia no artigo [3], que por sua vez
simplifica a abordagem do livro "Analysis on Fractals"de Jun Kigami
[4] para o caso particular do tringulo de Sierpinski. A ideia utilizar
a teoria de potencial em grafos, ver a monografia Cadenas de Markov
y Teora de Potencial do 28 Colquio Brasileiro de Matemtica
[2], para construir aproximaes discretas do operador Laplaciano no
tringulo de Sierpinski K. Uma vez construido o operador Laplaciano
em K e obtidas algumas das suas propriedades, podemos pelo
menos definir o qu entendemos por equao de Poisson f = g e
por equao do calor @t u = u em K.
O tringulo de Sierpinski K possui a propriedade seguinte. Se
tirarmos os pontos mdios dos trs lados externos dele, cortamos o
tringulo em trs pedaos desconexos. Esta propriedade se conhece
como ramificao finita, e ela no uma propriedade geral de todo
fractal. A construo do operador apresentada nesta monografia
usa de maneira fundamental esta propriedade. Por uma parte, isto
uma desvantagem, posto que no seria possvel em princpio adapt-la
para outros fractais que no paresentem esta propriedade de ramifi-
cao finita. Por outra parte, h sim notrios exemplos de fractais
finitamente ramificados; em particular rvores so finitamente rami-
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page v #6
Figura 2: Uma rvore aleatria de alta interconetividade (imagem

cortesia de Igor Kortchemski).
ficados. Na Figura 2, vemos um exemplo no trivial de rvore, que de

fato sim um modelo razovel de interconetividade. Esta rvore cor-
responde a uma rvore aleatria na qual com enorme probabilidade
existe um ponto especial (a raiz da rvore) que est conectado a uma
frao significativa dos outros pontos da rvore, enquanto os outros
pontos esto tipicamente conectado s a uns poucos outros pontos.
Esta propriedade tipicamente encontrada em grafos que modelam
interconetividade.
Ao custo duma certa perda de generalidade, a exposio nesta
monografia tenta ser o mais elementar e auto-contida possvel. Em
particular, os pr-requisitos so um curso bsico de equaes dife-
renciais ordinrias e um curso de teoria da medida. Em particular,
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page vi #7
vi INTRODUO
no necessrio um conhecimento prvio de anlise funcional ou de

equaes diferenciais parciais para seguir a exposio, mas o leitor
atento notar que grande parte das definies e demonstraes desta
monografia seguem muito de perto ideias clssicas de anlise fun-
cional e equaes diferenciais parciais. De forma mais precisa, os
pr-requisitos so os seguintes:
O teorema de unicidade de equaes diferenciais de Picard-
Lindel,
o fato que todo espao mtrico completvel,
a completitude do espao de medidas com respeito topologia

fraca,
os teoremas de Tonelli e da convergncia montona.
Vrias das demonstraes poderiam ser simplificadas e generali-
zadas usando em pontos chave elementos de anlise funcional, como o
lema de Riesz, mas visando manter os pr-requisitos no mnimo pos-
svel, ditas provas foram adaptadas para no usar anlise funcional.
Este fato faz com que os enunciados dos teoremas nesta monografia
sejam essencialmente diferentes dos encontrados nas referncias [3]
e [4]. Como no h resultados novos nesta monografia, mas muitas
das demonstraes so originais, decidimos chamar de Proposio a
todos os teoremas, lemas ou corolrios enunciados na monografia.
A maior parte desta monografia foi preparada durante a visita do
autor ao Laboratoire dAnalyse, Topologie et Probabilit"da Univer-
sit Aix-Marseille. O autor agradece a hospitalidade e a cordialidade
de todos durante a minha estada.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page vii #8
Contedo
Introduo iii
1 O Tringulo de Sierpinski 1
1.1 Construo do Tringulo de Sierpinski . . . . . . . . . 1
1.2 Dimenso de Hausdor . . . . . . . . . . . . . . . . . . 4
1.3 Medida de Hausdor . . . . . . . . . . . . . . . . . . . 7
1.4 A mtrica de Hausdor e conjuntos invariantes . . . . 9
1.5 Exemplos de fractais . . . . . . . . . . . . . . . . . . . 13
2 O Laplaciano em K 16
2.1 O Laplaciano discreto em Rd . . . . . . . . . . . . . . 16
2.2 O Laplaciano discreto num grafo finito . . . . . . . . . 17
2.3 Os grafos associados a K . . . . . . . . . . . . . . . . . 18
2.4 O princpio de Dirichlet em Rd . . . . . . . . . . . . . 20
2.5 A forma da energia . . . . . . . . . . . . . . . . . . . . 20
2.6 Resistncias e mtricas em K . . . . . . . . . . . . . . 23
2.7 Funes harmnicas . . . . . . . . . . . . . . . . . . . 32
2.8 A funo de Green . . . . . . . . . . . . . . . . . . . . 37
3 Anlise funcional em K 42
3.1 Os espaos de Sobolev H1 e H10 . . . . . . . . . . . . . 42
3.2 O Laplaciano para extenses harmnicas . . . . . . . . 47
3.3 O Laplaciano em H1 . . . . . . . . . . . . . . . . . . . 49
vii
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page viii #9
viii CONTEDO
4 Equaes diferenciais parciais em K 54

4.1 A equao de Poisson em K . . . . . . . . . . . . . . . 54
4.2 Solues de energia da equao do calor . . . . . . . . 58
4.3 Unicidade de solues de energia . . . . . . . . . . . . 60
4.4 Existncia de solues . . . . . . . . . . . . . . . . . . 66
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 1 #10
Captulo 1
O Tringulo de Sierpinski
1.1 Construo do Tringulo de Sierpinski

p
Sejam a0 = (0, 0), a1 = ( 12 , 23 ), a2 = (1, 0) os vrtices de um trin-
gulo equiltero T? R2 . O tringulo T? est formado pelos pon-
tos da forma p0 a0 + p1 a1 + p2 a2 , onde p0 , p1 , p2 2 R+ 1 satisfazem
p0 + p1 + p2 = 1. Definiremos as transformaes afins 'i : R2 ! R2 ,
Figura 1.1: O tringulo T?
i = 0, 1, 2 como
1
'i (x) = x + ai ) (1.1)
2
1 Usaremos as convenes N0 = {0, 1, . . . }, N = {1, 2, . . . } e R+ = [0, 1).
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 2 #11
2 [CAP. 1: O TRINGULO DE SIERPINSKI
Figura 1.2: As primeiras etapas da construo de K
para x 2 R2 e i = 0, 1, 2. Definamos os conjuntos {Kn ; n 2 N0 }

em R2 de maneira indutiva. Comeamos definindo K0 = T? e para
n 0, definimos [
Kn+1 = 'i Kn . (1.2)
i=0,1,2
Notemos que K1 K0 . Um argumento indutivo mostra que ento

Kn+1 Kn para todo n 2 N0 . Como o conjunto K0 compacto
e as funes 'i so contnuas, vemos que Kn compacto para todo
n 2 N0 . Pelo teorema dos compactos encaixados, o conjunto
\
K= Kn (1.3)
n2N0
compacto e no vazio. Chamaremos ao conjunto K de tringulo de

Sierpinski. Pelo momento s sabemos que o conjunto K no vazio,
mas a figura 1.2 sugere uma estrutura especial para K: o conjunto
K um fractal.
Agora apresentaremos uma outra construo do conjunto K que
mostra que K tem muitos pontos. Seja V0 = {a0 , a1 , a2 } e definamos
a sequncia {Vn ; n 2 N0 } de pontos em R2 de forma indutiva como
[
Vn+1 = 'i V n (1.4)
i=0,1,2
para todo n 2 N0 . Notemos que V0 V1 e de forma indutiva, Vn

Vn+1 para todo n 2 N0 . Alm disso, como V0 K0 , vemos que
Vn Kn para todo n 2 N0 . Definamos
[
V1 = Vn . (1.5)
n2N
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 3 #12
[SEC. 1.1: CONSTRUO DO TRINGULO DE SIERPINSKI 3
Olhando com ateno para a Figura 1.2, vemos que o conjunto

Kn est composto por 3n tringulos de lado 21n . Cada un destes tri-
ngulos a imagem de T? sob uma sequncia de transformaes afins
escolhidas dentre {'i ; i = 0, 1, 2}. No difcil se convencer de que
dita sequncia nica para cada tringulo. Uma forma eficiente de
identificar estes tringulos a seguinte. Dizemos que uma sequncia
finita i = (i1 , . . . , i` ) uma sequncia ternria se ik 2 {0, 1, 2} para
todo k 2 {1, . . . , `}. Diremos que ` o tamanho da sequncia i. Para
cada sequncia ternria i de tamanho `, definiremos 'i : R2 ! R2
como
'i (x) = 'i` 'i1(x) (1.6)
para todo x 2 R2 . Para cada sequncia ternria i, definiremos Ti =
'i (T? ). Notemos que esta notao consistente com a notao T? =
K0 , se interpretarmos ? como a sequncia ternria de tamanho zero
e '? como a identidade. Temos as propriedades seguintes:
Proposio 1. Seja n 2 N, e seja In o conjunto de sequncias

ternrias de tamanho n. Ento,
i) [
Kn = Ti . (1.7)
i2In
ii) Para i 6= j 2 In , a interseo de Ti e Tj vazia ou tem exata-

mente um ponto.
iii) O conjunto Vn formado pelos vrtices dos tringulos {Ti ; i 2

In }. Em particular, a cardinalidade de Vn igual a 32 (3n + 1).
iv) Para todo i 2 In , o tringulo Ti tem lado 2n .

1
A prova desta proposio muito simples, e portanto ser omitida.

Chamaremos aos elementos do conjunto {Ti ; i 2 In } de tringulos de
Kn . Esta proposio tem a consequncia seguinte:
Proposio 2. O conjunto K igual ao fecho do conjunto V1 .
Demonstrao. O item iii) da Proposio 1 implica que V1 K e

como K compacto, conclumos que o fecho de V1 est contido em
K. Sejam x 2 K e " > 0. Seja n 2 N tal que 21n ". Seja i 2 In
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 4 #13
tal que x 2 Ti ; note-se que h pelo menos uma e no mximo duas

sequncias ternrias i 2 In com essa propriedade. Seja y um dos
vrtices de Ti . Ento, y 2 Vn e |y x| 21n ".2 Como x 2 K e
" > 0 so arbitrrios, conclumos que K est contido no fecho de V1 ,
o que prova a proposio.
1.2 Dimenso de Hausdor

Uma das propriedades mais surpreendentes do tringulo de Sierpinski
K e de fractais em geral, que a dimenso do conjunto K fracio-
nria. claro que neste momento, esta afirmao totalmente vazia
do ponto de vista matemtico, visto que no contamos nem com uma
definio de fractal, nem com uma definio de dimenso que admita
valores fracionrios. No entanto, olhando para a Figura 1.2 o tri-
ngulo de Sierpinski K parece ser um justo candidato (poderamos
dizer exemplo?) de fractal. Logo, se definirmos alguma noo de
dimenso, ento poderemos test-la no conjunto K.
Denotaremos por B(Rd ) a -lgebra de Borel3 associada topo-
logia usual de Rd .
Sejam x 2 Rd e r > 0. A bola aberta de centro x e raio r (ou
simplesmente a bola) definida como
B(x; r) = {y 2 Rd ; |y x| < r}. (1.8)
Seja B 2 B(Rd ) um conjunto de Borel dado. Uma cobertura de B

por bolas uma famlia A = {Ai ; i 2 I} finita ou enumervel de
bolas, tal que [
B Ai . (1.9)
i2I
Notemos que possvel parametrizar a cobertura A por {(xi ; ri ); i 2

I}, onde {xi ; i 2 I} uma sequncia de pontos (diferentes!) em Rd
e {ri ; i 2 I} uma sequncia de nmeros positivos: basta escolher
2 Denotaremos por |x| a norma Euclidiana de x: para x 2 Rd , |x| = (x2 + +
1
x2d )1/2 .
3 Nestas notas, no precisaremos do conceito de conjunto de Borel; as definies
sero feitas para conjuntos de Borel por completitude. O leitor no familiarizado

com o conceito de conjunto de Borel pode trocar a frase conjunto de Borel por
compacto sem perda de generalidade.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 5 #14
[SEC. 1.2: DIMENSO DE HAUSDORFF 5
xi igual ao centro e ri igual ao raio da bola Ai . Definimos o raio da

cobertura A (e o denotamos por |A|) como o supremo dos raios das
bolas que a constituem:
|A| = sup ri . (1.10)

i2I
A medida exterior de Hausdor de ordem 2 [0, d] do conjunto B se

define como X
= lim inf ri . (1.11)
r!1 |A|r
i2I
Notemos que o nfimo nesta definio sob coberturas por bolas de

B de raio menor ou igual a r. Observemos que o limite em r est bem
definido, mas pode ser igual a 1. De fato, ao diminuir r, o nfimo
passa a ser calculado sob um conjunto de coberturas menor, pelo
P que
o nfimo cresce quando r # 0. Notemos que para r 1, i ri
decrescente em , pelo que a aplicao 7! (B) decrescente em
. Este fato ser utilizado repetidamente durante esta seo, sem
mencion-lo explcitamente. Definimos a dimenso de Hausdor do
conjunto B como
dimH (B) = inf 2 [0, d]; (B) = 0 . (1.12)
Se o conjunto acima for vazio, definimos dimH (B) = d. Notemos que

(B) > 0 para todo < dimH (B), e que d coincide com a medida
de Lebesgue em Rd , pelo que se a medida de Lebesgue de B for no
nula, ento dimH (B) = d.
Proposio 3. Para todo < dimH (B), (B) = 1.
Demonstrao. suficiente mostrar que para todo < 0 tal que

(B) >P 0, (B) = 1. Se (B) > 0, ento existem > 0 e r0 > 0
tais que i ri 0 para toda cobertura por bolas de B de raio menor
ou igual a r0 . Portanto, se o raio da cobertura for menor ou igual a
r, ento
X X
ri r 0
ri 0 . (1.13)
i i
r 0
Como r 0
! 1 quando r ! 0, a proposio est provada.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 6 #15
Para calcular a dimenso de Hausdor do tringulo de Sierpinski,

usaremos a proposio seguinte:
Proposio 4. Suponhamos que existe 2 [0, d] tal que (B) 2
(0, 1). Ento, dimH (B) = .
Demonstrao. Segue imediatamente da proposio anterior.
Proposio 5. A dimenso de Hausdor do conjunto K igual a
log 3
log 2 .
p
Demonstrao.
p Seja B? a bola fechada de centro x? = ( 12 , 63 ) e raio
r? = 3 . Em outras palavras, B? o crculo (slido!) circunscrito
3
ao tringulo T? . Para cada sequncia ternria i, definimos Bi =

'i (B? ). Do mesmo jeito, definimos xi = 'i (x? ), e ri = r2?` , onde `
o comprimento da sequncia i. Desta forma, Bi a bola fechada
de centro xi e raio ri . O conjunto {Bi ; i 2 In } uma cobertura de
Kn , e portanto de K, por bolas fechadas. Logo, para todo " > 0, a
famlia An = {(xi , (1 + ")ri ); i 2 In } uma cobertura por 3n bolas
abertas de K, cada uma delas de raio (1+")r 2n
?
. Conclumos que para
todo 2 [0, d],
r
?
(K) 3n n = r? exp n log 3 log 2)}. (1.14)
2
Portanto, para todo > log 3
log 2 , o lado direito desta desigualdade con-
verge a 0 quando n ! 1 e portanto (K) = 0.
Seja agora A uma cobertura por bolas de K. Como K com-
pacto, A possui uma subcobertura finita, pelo que ao calcular ,
podemos restringir o nfimo a coberturas finitas. Logo, sem perda de
generalidade, seja A uma cobertura finita. Podemos supor tambm
que o raio de A menor a r? . Seja " 2 (0, 12 ). Multiplicando o raio
de cada bola por um nmero em [1, 2), obtemos uma nova cobertura
A = {(xi ; ri ); i = 1, . . . , `} tal que todos os raios das bolas nela so
da forma ri = (1 2n")r i
?
, com ni 2 N0 . Temos que
X 1 X
ri r . (1.15)
i=1
2 i=1 i
Temos que uma bola de raio (1 2n")r

i
?
interseta no mximo 4 trin-
gulos de Kni . Alm disso, para todo m ni cada tringulo de Kni
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 7 #16
[SEC. 1.3: MEDIDA DE HAUSDORFF 7
contm exatamente 3m ni tringulos de Km . Portanto, para todo

m max1i` ni , cada bola Ai = B(xi , (1 ")ri ) interseta no m-
ximo 4 3m ni tringulos de Km . Como A uma cobertura de K e
o conjunto K contm os lados de todos os tringulos Ti , conclumos
que
X X 1 1
4 3m ni 3n , de onde ni
. (1.16)
i=1 i=1
3 4
Por outra parte,
1 1 ri 2ri
= = , (1.17)
3ni 2ni (1 ")r? (1 ")r?
de onde conclumos que
X (1 ") r?
ri , (1.18)
i=1
22+
r?
e portanto (K) 22+
> 0. Usando a Proposio 4, a proposio
est provada.
1.3 Medida de Hausdor

Na seo anterior, definimos a medida exterior de Hausdor (B) de
ordem para conjuntos de Borel B 2 B(Rd ). Se bem a definio de
(B) faz sentido para todo conjunto B Rd , um fato conhecido
da teoria da medida que uma medida exterior definida num certo
espao mensurvel E pode ser estendida a uma medida, somente se
restringirmos a definio a conjuntos mensurveis. A definio de
conjunto mensurvel depende da medida exterior em questo, mas
possvel provar que no caso das medidas de Hausdor, conjuntos de
Borel so sempre mensurveis, pelo que possvel falar da medida
de Hausdor (B) de um conjunto de Borel B 2 B(Rd ). Se bem
possvel usar a teoria da medida abstrata para construir ditas medidas
de Hausdor, ns s estaremos interessados no exemplo do tringulo
de Sierpinski. Nesse caso, veremos que h a nossa disposio um
mtodo construtivo para definir a medida de Hausdor em K.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 8 #17
Denotaremos por M(K) o conjunto de medidas finitas definidas

em K. Para cada n 2 N0 , seja n 2 M(K) a medida definida como
1 X
n (dx) = n x (dx), (1.19)
3
x2Vn
onde x a delta de Dirac no ponto x 2 K. Em outras palavras, para

toda funo f : K ! R,
Z
1 X
f (x)n (dx) = n f (x). (1.20)
3
x2Vn
Proposio 6. Existe uma medida em K tal que n ! quando

n ! 1, com respeita topologia fraca no espao de medidas finitas
M(K) em K.
Demonstrao. Pela Proposio 1, Vn tem 32 (3n + 1) pontos. Seja
um dos tringulos de Kn . Ento, existe i 2 In tal que = 'i (T? ).
Portanto, para todo m > n temos que Vm \ = 'i (Vm n ) e em
particular o conjunto Vm \ tem 32 (3m n +1) pontos. Logo, m ( ) =
3m ). Para f : K ! R e A K, definamos a oscilao de F
3 1 1
2 ( 3n
em A como
osc(f ; A) = sup f (y) f (x) . (1.21)
x,y2A
Lembremos que para mostrar convergncia com respeito topologia

fraca em M(K), devemos provar convergncia das integrais de fun-
es contnuas. Denotaremos por C(K) o espao de funes contnuas
f : K ! R. Afirmamos queRpara toda f 2 C(K),R o limite (que cha-
maremos por enquanto de) f d = limn!1 f dn existe. De fato,
sejam m, n, ` 2 N tais que m > n > `. Para cada i 2 I` , seja yi um
dos vrtices do tringulo Ti . Temos que
Z Z X Z Z
f dm f dn f dm f dn
i2I` Ti Ti
X
f (yi ) m (Ti ) n (Ti )
i2I` (1.22)
X
m n
+ osc(f ; Ti ) (i ) + (Ti )
i2I`
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 9 #18
[SEC. 1.4: A MTRICA DE HAUSDORFF E CONJUNTOS INVARIANTES 9
Como o conjunto K compacto, a funo f limitada e unifor-

memente contnua. Em particular, supi2I` osc(f ; Ti ) converge a 0
quando ` ! 1. A soma acima est limitada superiormente por
3
2 kf k1 3n
1
` 3m
1
` + 3
2 sup osc(f ; Ti ) 2 3m
1
` 3n
1
` . (1.23)
i2I`
Tomando o limite quando m, Rn ! 1 e depois o limite quando ` ! 1,

conclumos que a sequncia { f dn ; n 2 N0 } de Cauchy, e portanto
convergente.
Pela lineariedade do limite e da integrao
R com respeito s medi-
das {n ; n 2 N0 }, a aplicao f 7! f d um funcional linear de
C(K) em R. Para provar que efetivamente existe uma medida tal
que n ! quando n ! 1, suficiente provar que este funcional
linear contnuo, e utilizar o Lema de Riesz. Mas para quaisquer
f, g 2 C(K),
Z Z Z
f d gd = lim (f g)dn
n!1
(1.24)
lim kf gk1 n (K) 32 kf gk1 ,
n!1
R
o que prova a continuidade do funcional linear f 7! f d, e finaliza
a prova da proposio.
Fora um fator multiplicativo no relevante, a medida coincide
com a medida de Hausdor definida em K. Esta medida tem proprie-
dades interessantes, como por exemplo auto-similariedade no sentido
seguinte: para quaisquer conjunto de Borel A K e i 2 {0, 1, 2},
1
'i (A) = 'i (A) . (1.25)
3
Notemos que 'i uma 12 -contrao. Uma forma de entender a di-
menso de Hausdor de K notar que dimH (K) = log( 12 )/ log( 13 ).
1.4 A mtrica de Hausdor e conjuntos in-

variantes
Na Seo 1.1 descrevemos duas construes equivalentes do tringulo
de Sierpinski K. Ambas construes foram baseadas num mtodo
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 10 #19
iterativo; a diferena provm da escolha do conjunto inicial. A inde-

pendncia do resultado final no uma coincidncia, como veremos
a continuao.
Sejam A, B Rd dois conjuntos compactos. Definimos a distncia
(se bem ainda no sabemos se uma distncia ou no!) entre A e B
como
dH (A, B) = sup inf |x y| + sup inf |y x|. (1.26)

x2A y2B x2B y2A
A interpretao geomtrica da distncia dH (A, B) a seguinte. O

nmero inf y2B |x y| representa a distncia do ponto x ao conjunto B,
pelo que dH (A, B) simplesmente a distncia do ponto mais afastado
de A ao conjunto B, mais a distncia do ponto mais afastado de B
ao conjunto A.
Em princpio, o nmero dH (A, B) est bem definido para quais-
quer conjuntos A, B 2 Rd (ainda que possa ser igual a 1), mas a
restrio a conjuntos compactos possui propriedades especiais.
Proposio 7. Seja K a famlia de conjuntos compactos de Rd . A

funo dH : K K ! R+ uma distncia.
Demonstrao. Lembremos que para provar que a funo dH (, ),

temos que provar que ela simtrica, positiva a menos que os ar-
gumentos sejam iguais, e que ela satisfaz a desigualdade triangular.
Sejam A, B 2 K. Se dH (A, B) = 0, ento inf y2B |x y| = 0 para
todo x 2 A. Como B compacto e a norma Euclidiana uma funo
contnua, o nfimo alcanado em algum ponto, pelo que x 2 B.
Logo, A B. De forma recproca, B A e conclumos que A = B.
A definio de dH claramente simtrica nas suas variveis, pelo que
s falta provar a desigualdade triangular. Sejam A, B, C 2 K. Ento,
sup inf |x z| sup inf inf |x y| + |y z|

x2A z2C x2A y2B z2C
(1.27)
sup inf |x y| + sup inf |y z|,
x2A y2B y2B z2C
e trocando os papis de C e A,
sup inf |x z| sup inf |y z| + sup inf |y x|. (1.28)

z2C x2A z2C y2B y2B x2A
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 11 #20
[SEC. 1.4: A MTRICA DE HAUSDORFF E CONJUNTOS INVARIANTES 11
Somando ambas desigualdades, obtemos a desigualdade triangular

para dH , o que prova a proposio.
Proposio 8. O espao (K, dH ) um espao mtrico completo.
Demonstrao. Na proposio anterior, provamos que (K, dH ) (cha-
mado simplesmente de K daqui em diante) um espao mtrico.
Falta provar a completitude dele. Seja {Cn ; n 2 N} uma sequncia
de Cauchy em K. Para A 2 K e r 2 R+ , definamos a bola fechada
de raio r em torno de A como
B[A; r] = y 2 Rd ; inf |x y| r . (1.29)

x2A
Notemos que dH (A, B[A; r]) = r e notemos tambm que para quais-
quer conjuntos A, B 2 K, se dH (A, B) r ento A B[B; r] e
B B[A; r].4 Suponhamos por agora que dH (Cn+1 , Cn ) 3n+1 1
.
Nesse caso,
1 1
dH (Cm , Cn ) n para todo m n. (1.30)
2 3
Definamos Fn = B[Cn ; 31n ]. Pela desigualdade triangular,
dH (Fn+1 , Cn ) dH (Fn+1 , Cn+1 ) + dH (Cn+1 , Cn )

1 1 2 1 (1.31)
n+1 + n = n .
3 3 3 3
Portanto, Fn+1 Fn para todo n 2 N. Em particular, a sequncia
{Fn ; n 2 N} uma sequncia de compactos encaixados, pelo que o
conjunto \
C= Fn (1.32)
n2N
um conjunto compacto e no vazio. Afirmamos que C o li-

mite da sequncia {Cn ; n 2 N}. De fato, pela Proposio 9 a se-
guir, dH (Fn , C) = 0 converge a 0 quando n ! 1. Alm disso,
pela construo de Fn temos que dH (Cn , Fn ) = 3n+1
1
e em particular
dH (Cn , Fn ) tambm converge a 0 quando n ! 1. Isto prova a propo-
sio no caso em que dH (Cn+1 , Cn ) 3n+1
1
para todo n 2 N. No caso
4 De fato, alguns autores definem a distncia d (A, B) como o mnimo dos
H
nmeros r com esta propriedade.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 12 #21
geral, possvel escolher uma subsequncia {n` ; ` 2 N} de modo que

1
dH (Cn` +1 , Cn` ) 3`+1 para todo ` 2 N. Esta subsequncia converge
a um limite C. Pela desigualdade triangular,
dH (C` , C) dH (C` , Cn` ) + dH (Cn` , C), (1.33)
o que prova a convergncia da sequncia completa ao conjunto C 2
K.
Proposio 9. Seja {Fn ; n 2 N} uma sequncia de compactos en-
caixados, isto , Fn+1 Fn para todo n 2 N. Seja F = \n Fn .
Ento,
lim dH (Fn , F ) = 0 (1.34)
n!1
Demonstrao. Como Fn+1 Fn para todo n 2 N, temos que

dH (Fn+1 , F ) dH (Fn , F ) (1.35)
para todo n 2 N. Portanto, a sequncia {dH (Fn , F ); n 2 N} tem um
limite finito e no negativo a. Ento existe uma sequncia {xn ; n 2 N}
tal que xn 2 Fn e d(F, xn ) a para todo n 2 N. Como xn 2 F1
para todo n 2 N, existe uma subsequncia n0 tal que xn0 converge a
um ponto x. Mais ainda, para todo n 2 N a sequncia {xn0 }n0 est
eventualmente em Fn . Logo, x 2 Fn para todo n e em particular
x 2 F . Por outra parte, dH (x, F ) dH (xn0 , F ) dH (x, xn0 ), que
converge a a. Logo, a = 0 e a proposio est provada.
A distncia dH conhecida como a mtrica de Hausdor no espao
K. Consideremos agora a funo : K ! K definida como
[
(A) = 'i (A) para todo A 2 K. (1.36)
i=0,1,2
Como as funes {'i ; i = 0, 1, 2} so 12 -contraes (em R2 !), vemos

que dH ( (A), (B)) 12 dH (A, B) para quaisquer compactos A, B 2
K. Em outras palavras, uma 12 -contrao (em K!). A proposio
seguinte se conhece como o teorema de ponto fixo de Banach:
Proposio 10. Seja (E, d) um espao mtrico completo e seja 2
[0, 1). Seja : E ! E uma -contrao, isto , d( (x), (y))
d(x, y) para quaisquer x, y 2 E. Ento, a equao (x) = x tem
uma nica soluo.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 13 #22
[SEC. 1.5: EXEMPLOS DE FRACTAIS 13
Esta proposio clssica, pelo que omitiremos a prova dela.

Usando esta proposio para a funo definida acima, vemos que
existe um nico conjunto compacto K R2 tal que
[
K= 'i (K). (1.37)
i=0,1,2
Mais ainda, para qualquer compacto K 0 R2 , a sequncia de com-

pactos { n (K 0 ); n 2 N} converge a K com respeito mtrica de
Hausdor. O conjunto K um velho conhecido nosso: corresponde
ao tringulo de Sierpinski. De fato, esta proposio pode ser usada
para obter uma nova prova da Proposio 2.
1.5 Exemplos de fractais

A Proposio 10 nos permite construir exemplos de fractais de ma-
neira simples.
Para i, j = 0, 1, 2, definamos i,j : R2 ! R2 como
i,j (x) = 1
3 x + (i, j) para qualquer x 2 R2 . (1.38)
O carpete de Sierpinski se define como o nico compacto KCS tal que

[
KCS = i,j KCS . (1.39)
(i,j)6=(1,1)
possvel provar que a dimenso de Hausdor do carpete de Si-

erpinski KCS igual a log 8
log 3 . Ao olhar a Figura 1.3, o tringulo de
Sierpinski e o carpete de Sierpinski parecem similares; um deles
obtido retirando o tringulo central de um tringulo equiltero e re-
petindo o procedimento nos trs tringulos resultantes, e o outro
obtido retirando o quadrado central de un quadrado e repetindo o
procedimento nos oito quadrados resultantes. No entanto, do ponto
de vista da anlise nesses fractais, eles possuem uma diferena essen-
cial. O tringulo de Sierpinski um exemplo de fractal finitamente
ramificado, isto , possvel separar ele em pedaos desconexos ti-
rando um nmero finito (neste caso dois) de pontos dele. O carpete
de Sierpinski no finitamente ramificado. A teoria de anlise que
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 14 #23
Figura 1.3: O carpete de Sierpinski
apresentaremos nestas notas em princpio pode ser generalizada para

fractais finitamente ramificados, mas para fractais como o carpete de
Sierpinski, necessrio desenvolver uma teoria completamente dife-
rente.
Um outro exemplo de fractal finitamente ramificado que pode ser
construido de forma similar ao carpete de Sierpinski o fractal de
Vicsek, que se define como o nico compacto KV tal que
[
KV = i,j (KV ). (1.40)
i+j par
Neste caso, retirando o ponto ( 23 , 32 ), separamos o conjunto KV em

quatro partes desconexas. A dimenso de Hausdor de KV igual a
log 5
log 3 .
Um exemplo muito popular de fractal finitamente ramificado a
rvore de Hata. Consideremos as funes
f1 (x) = 12 x, f2 (x) = 1
2 x + (1, 0) . (1.41)
Sejam 2 (0, p12 ) e T : R2 ! R2 uma rotao. Consideremos alm
de f1 e f2 a funo
f0 (x) = T x + (0, 1). (1.42)
A rvore de Hata se define ento como o nico compacto KH tal que
[
KH = f i KH . (1.43)
i=0,1,2
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 15 #24
[SEC. 1.5: EXEMPLOS DE FRACTAIS 15
Figura 1.4: A rvore de Hata com = 1

2 e rotao de 60 .
Variando os parmetros e T podemos obter fractais que se pa-

recem com rvores ou folhas. A restrio < p12 provm da
proposio seguinte, que enunciaremos sem demonstrao:
Proposio 11. Seja = { i ; i 2 I} uma famlia finita de funes

contnuas em Rd . Seja
| i (x) i (y)|
i = sup (1.44)
x6=y |x y|
e suponhamos que i < 1 para todo i 2 I. Ento, existe um nico

compacto K tal que
[
K = i K . (1.45)
i2I
P
Alm disso, seja 0 tal que i2I i = 1. Ento, dimH (K )
^ d.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 16 #25
Captulo 2
O Laplaciano em K
2.1 O Laplaciano discreto em Rd

O nosso objetivo construir o operador Laplaciano em K. Para
comear, nesta seo recordaremos brevemente a definio e algumas
das propriedades do Laplaciano em Rd . Dizemos que uma funo
2
f : Rd ! R de classe C 2 se as derivadas parciais @x@i @x
f
j
existem
e so contnuas para todo par ordenado (i, j) 2 {1, . . . , d} . Seja
2
f : Rd ! R uma funo de classe C 2 . O Laplaciano f : Rd ! R se

define como
d
X @2f
f (x) = (x) para todo x 2 Rd . (2.1)
i=1
@x2i
Seja n 2 N um parmetro de escala. Uma aproximao discreta

clssica do Laplaciano f dada por
X
2
n f (x) = n f x + nz f (x) , (2.2)
z
onde a soma sobre vetores z da forma ei , onde {ei ; i = 1, . . . , d}

a base cannica de Rd . Esta frmula reflete a intuio geomtrica que
nos disse que f (x) representa a diferena entre o valor de f em x e
o valor mdio de f numa vizinhana em torno de x. Porm, h um
16
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 17 #26
[SEC. 2.2: O LAPLACIANO DISCRETO NUM GRAFO FINITO 17
elemento que no explicado pela intuio geomtrica: a constante

de escala n2 em frente soma definindo n f (x). Este fato que parece
completamente trivial em Rd ser de importncia capital na definio
do Laplaciano no tringulo de Sierpinski K.
2.2 O Laplaciano discreto num grafo finito

Para compreender melhor o Laplaciano discreto num contexto geral,
precisaremos de introduzir a noo de grafo. Um grafo um par
G = (V, E) constitudo por um conjunto de vrtices V , finito ou
enumervel, e por um conjunto de elos E V V . Os elos e 2 E
representam unies ou conexes entre vrtices de V . Se o conjunto
V for finito (e portanto E tambm ser finito), dizemos que G
finito. Dizemos que um grafo G no tem laos se para todo x 2 V ,
/ E. Em outras palavras, se no h auto-conexes no grafo G.
(x, x) 2
O grafo G se diz no orientado se E for um conjunto simtrico, isto
, se (x, y) 2 E ) (y, x) 2 E para todo par (x, y) 2 V V . Seja G =
(V, E) um grafo no orientado. Dizemos que x, y 2 V so vizinhos se
(x, y) 2 E (e portanto (y, x) 2 E tambm). Nesse caso, usaremos a
notao x y. O grafo G se diz conexo se para quaisquer x, y 2 V
existir uma sequncia finita de vrtices = {x0 , x1 , . . . , x` } tal que
x0 = x, x` = y e xi 1 xi para todo i 2 {1, . . . , `}. Dita sequncia
se diz um caminho de x a y, e o nmero ` se diz o comprimento do
caminho . Chamaremos de passos do caminho a cada um dos
pares (xi 1 , xi ), i = 1, . . . , `.
A partir de agora, suporemos que G = (V, E) um grafo finito,
sem laos, no orientado e conexo. Para no ter que lidar com ca-
sos triviais, suporemos que G tem mais de um vrtice. A distncia
dG (x, y) entre dois pontos x, y 2 V se define como o menor nmero `
tal que existe um caminho de x a y de comprimento `. Como o grafo
conexo, dG est bem definida. Concatenando um caminho de x a y
de comprimento mnimo com um caminho de y a z de comprimento
mnimo, vemos que dG satisfaz a desigualdade triangular. A sime-
tria de dG vem do fato que o grafo G no orientado. Por definio
dG (x, y) = 0 () x = y. Logo, dG efetivamente uma distncia em
V.
O grau de um vrtice x 2 V se define como o nmero de vizinhos
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 18 #27
18 [CAP. 2: O LAPLACIANO EM K
de x: gr(x) = #{y 2 V ; y x}. Notemos que em qualquer grafo

conexo com mais de um ponto, gr(x) 1 para todo x 2 V .
Seja f : V ! R. Definimos Lf : V ! R como1
X
Lf (x) = f (y) f (x) para todo x 2 V. (2.3)
yx
O operador L definido desta forma conhecido como o Laplaciano no

grafo G. O operador L tem a seguinte interpretao probabilstica.
Um passeio aleatrio {x(t); t 0} se movimenta em V de acordo
dinmica seguinte. Quando o passeio est no stio x 2 V , ele aguarda
um tempo exponencial de parmetro gr(x), no fim do qual o passeio
salta a um dos vizinhos de x, escolhido uniformemente ao acaso. O
operador L resulta ser o gerador da cadeia {x(t); t 0}.
2.3 Os grafos associados a K

Na Seo 1.4 vimos que o processo iterativo que leva definio do
tringulo de Sierpinski define o mesmo conjunto para qualquer con-
junto compacto inicial. Na Figura 2.1 vemos as primeiras etapas da
construo iterativa de K, usando como conjunto inicial os lados do
tringulo T? . En vista da discusso da seo anterior sobre grafos,
vrtices e elos, muito tentador usar estas figuras para definir uma
sequncia de grafos associados ao tringulo de Sierpinski K. Os vr-
tices do grafo Gn seriam os vrtices dos 3n tringulos de lado 2n que
formam a n-sima etapa da construo, e os elos seriam os 3n+1 lados
destes tringulos.
Definamos estes grafos {Gn = (Vn , En ); n 2 N} de forma mais
rigorosa. A sequncia de vrtices {Vn ; n 2 N0 } dos grafos {Gn ; n 2 N}
j foi definida na Seo 1.1. Definimos a sequncia de elos {En ; n 2
N0 } de forma recursiva. Tomamos E0 = {(ai , aj ); i 6= j 2 {0, 1, 2}} e
para n 2 N0 ,
En+1 = ('i (x), 'i (y)); (x, y) 2 En , i = 0, 1, 2 . (2.4)
1 Usaremos a conveno seguinte. Cada vez que aparea o smbolo y x no
ndice de uma soma, a soma ser feita sobre todas as variveis mudas, isto ,
sobre todas as variveis que no apaream fora da soma. Por exemplo, a soma
acima feita sobre todos os vizinhos y de x. De forma sistemtica, se a soma
percorre s uma das variveis x, y, a mesma ser escrita esquerda do smbolo
, como na soma acima.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 19 #28
[SEC. 2.3: OS GRAFOS ASSOCIADOS A K 19
Figura 2.1: Os grafos associados ao tringulo de Sierpinski
No difcil se convencer de que esta definio rigorosa coincide coma

definio formal dada acima. Algumas propriedades elementares do
grafo Gn so as seguintes. O grafo Gn tem 32 (3n + 1) vrtices e 3n+1
elos. Para todo x 2 Vn \ V0 , gr(x) = 4, enquanto gr(ai ) = 2 para
i = 0, 1, 2. Para todo x 2 V1 \ V0 e para todo n 2 N suficientemente
grande, a vizinhana de x como na figura 2.2:
Figura 2.2: A vizinhana do ponto x
Para f : Vn ! R, definimos o Laplaciano discreto nf : Vn ! R

como
X
n
n f (x) = 5 f (y) f (x) . (2.5)
yx
Exceto pela constante 5n , misteriosa neste ponto, n simplesmente

o Laplaciano no grafo Gn . difcil justificar a escolha da constante
5n em uma frase s; de fato passaremos grande parte das prximas
duas sees justificando esta escolha.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 20 #29
2.4 O princpio de Dirichlet em Rd

Seja D Rd um domnio regular. Por simplicidade, podemos tomar
D = {y 2 Rd ; |y| 1}. Seja @D a fronteira de D e seja g : @D ! R.
Suponhamos que g suave, e consideremos a soluo da equao de
Laplace (
f = 0 em D
(2.6)
f = g em @D
A funo f satisfaz o seguinte princpio variacional: para toda funo
h : D ! R suave tal que h = g em @D,
Z Z
2 2
rf dx rh dx. (2.7)
D D
Alm disso, h igualdade se e somente se h = f . Em outras palavras,

a soluo do problema de Laplace coincide com o minimizante da
forma da energia Z
2
rh dx (2.8)
D
sob as funes que satisfazem h = g em @D. A integral acima
chamada de forma da energia por analogia com o seguinte problema
eletrosttico. Imaginemos que D uma esfera de metal oca. Imagine-
mos que a esfera est dividida em dois hemisfrios separados por uma
banda de material isolante. Agora impomos uma densidade de carga
eltrica num hemisfrio, e uma densidade diferente noutro hemisfrio.
O potencial eltrico V produzido pela configurao de carga especi-
ficada a soluo da equao de Laplace, onde g a densidade de
carga especificada. O campo eltrico associado dado por E = rV ,
eR a energia eletrosttica acumulada no interior da esfera dada por
|E|2 dx.
2.5 A forma da energia

Para justificar a escolha da constante 5n na definio de n , te-
mos que compreender a inter-relao entre os diferentes grafos Gn .
Frequentemente, vrios dos grafos {Gn ; n 2 N0 } sero considerados
simultaneamente, pelo que adotaremos algumas convenes. Seja
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 21 #30
[SEC. 2.5: A FORMA DA ENERGIA 21
V1 = [n Vn . Para x, y 2 V1 , escreveremos x n y se (x, y) 2 En ,

isto , se x e y so vizinhos no grafo Gn . Em particular, x, y 2 Vn .
Para n 2 N0 , W Vn e f : W ! R, definimos n f : Vn ! R como
n f (x) = f (x) para qualquer x 2 Vn . Em outras palavras, n f a
restrio de f a Vn . Usaremos a notao simplificada n f para a fun-
o n (n f ) : Vn ! R. Se no houver risco de confuso, usaremos a
notao f em vez de n f .
Seja f : V1 ! R dada, e definamos para cada n 2 N0 a forma da
energia
n X 2
En (f, f ) = 53 f (x) f (y) . (2.9)
xn y
UmaR mudana de variveis esperta nesta soma mostra que En (f, f ) =

f n f dn , o que em vista da discusso na seo anterior justi-
fica o nome de forma da energia para En (f, f ) (exceto pela ainda
misteriosa constante 5n !). Esta identidade to importante que a
enunciaremos como uma proposio:
Proposio 12 (Frmula de Integrao por Partes). Para toda fun-
o f : V1 ! R,
Z
En (f, f ) = f (x) n f (x)n (dx). (2.10)
O seguinte par de proposies explicam por qu a escolha da cons-

tante 5n especial.
Proposio 13. Sejam 0 , 1 , 2 2 R. Ento,
X X
2 2
a) inf (i 1
j) + 2 ( i j) = 35 1
2 (i j )2 , onde
i 2R
i6=j i6=j
ambas somas so sobre i, j 2 {0, 1, 2},
2s i
b) o nfimo atingido se e somente se i = 5 , onde s =
0 + 1 + 2 .
Demonstrao. Usando multiplicadores de Lagrange, a prova desta
proposio no passa dum exerccio um pouco longo de clculo em
vrias variveis, pelo que a omitiremos. O leitor fortemente con-
vidado a fazer a prova, pois esta proposio chave no curso destas
notas.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 22 #31
Proposio 14. Para quaisquer f : V1 ! R e n 2 N0 ,
En+1 (f, f ) En (f, f ). (2.11)
Demonstrao. Notemos que En+1 (f, f ) pode ser decomposta em 3n

somas da forma
X
5 n+1 2 2
3 (i 1
j) + 2 ( i j) , (2.12)
i6=j
onde os nmeros i so os valores de f nos vrtices de um dos tri-

ngulos de Vn e os nmeros i so os valores da funo f nos pontos
mdios de dito tringulo. Usando a Proposio 13 em cada um destes
tringulos, obtemos que En+1 (f, f ) En (f, f ), o que prova a propo-
sio.
Proposio 15. Para toda f : Vn ! R existe uma nica funo

g : Vn+1 ! R tal que f = n g e
En (f, f ) = En+1 (g, g). (2.13)
Demonstrao. Seja um dos tringulos de Vn e sejam {x0 , x1 , x2 }

os vrtices de . Sejam
y0 = 1
2 x1 + x2 ), y1 = 1
2 x2 + x0 ), y2 = 1
2 x0 + x1 ) (2.14)
os pontos de Vn+1 \ Vn contidos em . Notemos que todo ponto em

Vn+1 \ Vn desta forma para algum tringulo de Vn . suficiente
definir g(xi ) = f (xi ) e
2s
f (xi )
g(yi ) = para i = 0, 1, 2, onde s = f (x0 ) + f (x1 ) + f (x2 )
5
(2.15)
e notar que pela Proposio 13 a igualdade (2.13) vale, e para qual-
quer outra escolha de g a igualdade no vale.
Em vista desta proposio, podemos definir, para qualquer funo

f : V1 ! R
E(f, f ) = lim En (f, f ). (2.16)
n!1
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 23 #32
[SEC. 2.6: RESISTNCIAS E MTRICAS EM K 23
Como o limite montono, ele sempre existe; no entanto ele pode ser
igual a 1. Chamaremos a E(f, f ) a energia de f . Para funes cons-
tantes, En (f, f ) = 0 para qualquer n 2 N0 . Fora este exemplo trivial,
pelo momento no podemos exibir nenhuma funo f com energia
finita. Nas prximas sees veremos que por uma parte E(f, f ) < 1
para uma famlia razoavelmente grande de funes f : V1 ! R e
por outra parte a condio E(f, f ) < 1 implica vrias propriedades
desejveis para a funo f .
Ser til estender a definio da forma da energia mais um pouco:
para f, g : V1 ! R e n 2 N0 , definamos
n X
En (f, g) = 53 f (y) f (x) g(y) g(x) . (2.17)
xn y
A aplicao (f, g) 7! En (f, g) se diz a forma bilinear associada forma

da energia En (, ). Notemos que En (f, g) pode tambm ser definida
usando a identidade de polarizao
En (f, g) = 1
4 En (f + g, f + g) En (f g, f g) . (2.18)
A identidade de polarizao permite estender a frmula de integrao

por partes da Proposio 12: para quaisquer f, g : Vn ! R,
Z Z
En (f, g) = f (x) n g(x)n (dx) = g(x) n f (x)n (dx).
(2.19)
2.6 Resistncias e mtricas em K

Por enquanto no conhecemos nenhuma funo f no trivial com
energia finita. Posporemos a construo de funes no triviais f :
V1 ! R tais que E(f, f ) < 1 para a prxima seo; nesta seo
comearemos supondo que E(f, f ) < 1 e deduziremos a partir desta
suposio algumas propriedades de f . Se bem pode parecer estranho
pospor a construo de funes de energia finita, por uma parte pre-
cisaremos na construo de alguns dos resultados desta seo, e por
outra parte ser til construir ditas funes j sabendo algumas das
propriedades que tero.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 24 #33
As definies a seguir podem parecer pouco naturais primeira

vista, mas elas so motivadas pela teoria de potencial discreta, que
por sua vez est motivada pela teoria de circuitos eltricos. Uma
excelente introduo ao assunto pode ser encontrada na monografia
"Cadenas de Markov y Teora de Potencial", do 28 Colquio Brasi-
leiro de Matemtica [2].
J mencionamos acima que se f for constante, ento En (f, f ) = 0
para qualquer n 2 N0 . A recproca vale tambm: se En (f, f ) = 0,
ento f constante em Vn . De fato, como En (f, f ) igual soma
de termos no negativos, En (f, f ) = 0 implica que todos esses termos
so nulos, o que por sua vez implica que f (x) = f (y) para quaisquer
x, y 2 Vn tais que x y. Como o grafo Gn conexo, isto implica que
f constante em Vn . Para cada x, y 2 Vn definamos
2
f (x) f (y)
Rn (x, y) = sup . (2.20)
f :Vn !R En (f, f )
En (f,f )6=0
Notemos que para qualquer x 2 Vn , R(x, x) = 0. Notemos tambm

que para quaisquer a, b 2 R e n 2 N0 , En (af + b, af + b) = a2 En (f, f )
para toda f : Vn ! R. Escolhendo a e b de forma adequada, podemos
reescrever Rn (x, y) como
1
Rn (x, y) = sup En (f, f ) . (2.21)
f (x)=0
f (y)=1
P
Tomando a = En (f, f ) 1/2
eb=a z f (z), podemos obter mais uma
frmula para Rn (x, y):
2
Rn (x, y) = sup f (x) f (y) , (2.22)
f
onde
P o supremo sobre as funes f : Vn ! R tais que En (f, f ) = 1 e
z f (z) = 0. Notemos que o conjunto de funes que satisfazem estas
duas propriedades compacto: a primeira condio define um cilindro
em R#Vn e a segunda condio define um hiperplano de codimenso
1, ortogonal ao cilindro anterior. Em particular, qualquer um dos
supremos na definio de Rn (x, y) atingido em alguma funo f .
A funo Rn (x, y) conhecida como a resistncia entre os pontos
x e y, e corresponde ao inverso da corrente gerada entre x e y ao
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 25 #34
aplicar um potencial eltrico unitrio entre x e y. Se nada disto faz

sentido para o leitor, no importa, pois no usaremos mais nada da
teoria de potencial nestas notas. A funo Rn : Vn Vn ! R til
devido proposio seguinte:
p
Proposio 16. A funo (x, y) 7! Rn (x, y) uma distncia em
Vn .
Demonstrao. Como f (x) = 0 e f (y) = 1, h pelo menos um par de

vrtices x0 y0 em Vn tais que f (x0 ) 6= f (y0 ), pelo que Rn (x, y) = 0
se e somente se x = y. Considerando f = 1 f , vemos que Rn (x, y) =
Rn (y, x). Notemos que
p f (y) f (x)
Rn (x, y) = sup p . (2.23)
f 6=cte. En (f, f )
A desigualdade
f (z) f (x) f (z) f (y) f (y) f (x)

p p + p , (2.24)
En (f, f ) En (f, f ) En (f, f )
vlida para toda funo f : Vn ! R no constante, implica a desi-

gualdade triangular.
Esta definio parece simples, mas veremos que tem consequn-

cias importantes.
p A ideia que, por uma parte, possvel provar
que a distncia Rn (, ) Hlder-contnua com respeito distncia
Euclidiana em Vn , uniformemente em n, e por outra parte possvel
provar queptoda funo f : Vn ! R Hlder-contnua com respeito
distncia Rn (, ). Esta ideia ser desenvolvida na seguinte sequn-
cia de proposies:
Proposio 17. Para quaisquer m > n 2 N0 e quaisquer x, y 2 Vn ,

dGm (x, y) = 2m n dGn (x, y).
Demonstrao. Sejam x, y 2 Vn e consideremos um caminho =

{x0 , . . . , x` } em Gn+1 entre x e y de comprimento mnimo. Notemos
que o conjunto Vn totalmente desconexo como subconjunto do grafo
Gn+1 , isto , no h elos em En+1 unindo vrtices de Vn . O conjunto
Vn+1 \Vn quase desconexo, no sentido que as partes conexas dele so
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 26 #35
formadas por trs pontos formando tringulos no interior dos trin-

gulos de Vn , vide Figura 2.3. Sejam y0 = xn0 , y1 = xn1 , . . . , yk = xnk
os pontos pertencentes a Vn do caminho , ordenados de forma cres-
cente. Em particular, y0 = x e yk = y. Afirmamos que ni = 2i para
todo i. De fato, para ir de x = y0 a y1 precisamos pelo menos de
2 passos, pois Vn totalmente desconexo em Gn+1 . Como Vn 1
totalmente desconexo em Gn , vemos que y1 tem que ser vizinho de
x em Vn . Portanto, h efetivamente um caminho de comprimento 2
entre x e y1 , o que prova que n1 = 2. O mesmo argumento prova que
ni ni 1 = 2 para todo i, o que prova a afirmao. Uma consequncia
do argumento que acabamos de usar, que a um caminho de compri-
mento mnimo entre x e y em Gn+1 podemos associar um caminho
entre x e y em Gn de comprimento igual metade do comprimento do
caminho original. Ou seja, dGn+1 (x, y) 2dGn (x, y). Dado um cami-
nho de comprimento mnimo {y0 , . . . , yk } entre x e y em Gn , muito
fcil construir um caminho em Gn+1 entre x e y de comprimento
igual ao dobro do caminho original: basta adicionar ao caminho os
pontos da forma 12 (yi + yi 1 ) para i = 1, . . . , k. Isto mostra que
dGn+1 (x, y) 2dGn (x, y), o que prova que dGn+1 (x, y) = 2dGn (x, y).
De forma recursiva, conclumos que dGn+p (x, y) = 2p dGn (x, y) para
todo p 2 N, o que prova a proposio.
Em vista da Proposio 17, natural definir a funo dV : V1

V1 ! R+ como dV (x, y) = 21n dGn (x, y) para quaisquer n 2 N0 ,
x, y 2 Vn (note-se que para quaisquer x, y 2 V1 , existe n 2 N0 tal
que x, y 2 Vn ). A funo dV uma distncia em V1 , pois ela herda as
propriedades de distncia das distncias dGn . A proposio
p seguinte
nos d uma primeira estimativa para a distncia Rn (, ):
p n
Proposio 18. Para quaisquer x n y 2 Vn , Rn (x, y) ( 35 ) 2 .
Demonstrao. suficiente observar que se x n y, ento En (f, f )

(5/3)n (f (y) f (x))2 .
Observemos que esta estimativa exata a menos de constantes:

usando a funo teste f : Vn ! R definida como
(
1 se z = x
f (z) = (2.25)
0 se z 6= x,
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 27 #36
Figura 2.3: O conjunto Vn+1 \ Vn como subgrafo de Vn+1 . Os pontos

de Vn esto marcados em azul, os elos entre pontos de Vn+1 \Vn esto
desenhados em preto slido e os elos restantes esto desenhados em
azul pontilhado.
p 1 3 n
vemos que Rn (x, y) 2(5) .
2
Proposio 19. Para quaisquer x, y 2 Vn , Rn+1 (x, y) = Rn (x, y).

Demonstrao. Seja f : Vn ! R uma funo tal que Rn (x, y) =
En (f, f ) 1 , f (x) = 0 e f (y) = 1. Usando a funo g construida na
Proposio 15 como funo teste para o supremo em (2.21), vemos
que Rn+1 (x, y) En+1 (g, g) 1 = En (f, f ) = Rn (x, y). Por outra
parte, seja f : Vn+1 ! R tal que
1
f (x) = 0, f (y) = 1, Rn+1 (x, y) = En+1 (f, f ) . (2.26)
Se En (f, f ) < En+1 (f, f ), ento existe g : Vn+1 ! R tal que g(x) =
f (x) para x 2 Vn e em particular tal que g(x) = 0, g(y) = 1, e tal que
1 1 1
En+1 (g, g) = En (f, f ) > En+1 (f, f ) , (2.27)
o que contradiz o fato que Rn+1 (x, y) = En+1 (f, f ). Conclumos que
1
Rn+1 (x, y) = En (f, f ) Rn (x, y), (2.28)
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 28 #37
Da mesma forma que a Proposio 17 nos leva definio da

distncia dV , esta proposio nos leva a definir a resistncia R :
V1 V1 ! R+ como
R(x, y) = Rn (x, y) para quaisquer n 2 N0 , x, y 2 Vn . (2.29)

p
Da mesma forma que dV uma distncia em V1 , a funo R(, )
tambm uma distncia em V1 . Seja = log(5/3) 2 log 2 . Notemos que
n
para x n y, temos que ( 35 ) 2 = dV (x, y) . A relevncia da constante
explicada pela proposio seguinte:
Proposio
p 20. Existe c < 1 tal que para quaisquer x, y 2 V1 ,
R(x, y) c dV (x, y) .
Demonstrao. suficiente provar a proposio para x, y 2 Vn com
uma constante c que no dependa de n. Sejam x, y 2 Vn . Pela
Proposio 19, podemos supor que um destes pontos no est em
Vn 1 . Por simetria, podemos supor que dito ponto x. Seja =
{z0 , . . . , z` } um caminho de comprimento mnimo entre x e y. Seja
x1 o primeiro ponto de Vn 1 visitado pelo caminho . Afirmamos
que x1 =zi para i = 1 ou 2. De fato, como visto no decorrer da
prova da Proposio 17, como x 2 Vn \ Vn 1 , se o caminho no
passa por Vn 1 , ele fica num subgrafo com 3 pontos. Portanto, no
pode dar mais de dois passos neste subgrafo. Ao sair do subgrafo,
o caminho chega em Vn 1 , o que prova que i = 1, 2 ou 3. Se o
caminho d 3 passos antes de entrar em Vn 1 , ou ele chega num
vrtice de Vn 1 que vizinho de x, em cujo caso h um caminho dois
passos mais curto, ou ele chega num vrtice de Vn 1 que vizinho
de z1 , em cujo caso h um caminho de x a y um passo mais curto.
Conclumos que i = 1 ou 2. Seja tambm y1 o ltimo ponto de Vn 1
visitado pelo caminho . Temos que y1 = z` i para i = 0, 1 ou 2.
Note-se que o pedao do caminho que leva de x1 a y1 deve ser um
caminho de comprimento mnimo entre x1 e y1 , pois se no fosse este
o caso, poderamos usar dito caminho de comprimento mnimo para
encurtar . Recapitulando, todo caminho de comprimento mnimo
entre x e y pode ser decomposto em trs pedaos: um primeiro pedao
com no mximo 2 passos, um segundo pedao que um caminho de
comprimento mnimo (em Gn !) entre pontos de Vn 1 e um pedao
com no mximo 2 passos.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 29 #38
No decorrer da demonstrao da Proposio 17, provamos a afir-

mao seguinte:
Para todo caminho de comprimento mnimo em Gn entre
pontos x, y 2 Vn 1 existe um nico caminho 0 de comprimento
mnimo em Gn 1 entre x e y que est contido em . Mais ainda,
o comprimento de igual ao dobro do comprimento de 0 .
Utilizemos de forma recursiva esta afirmao e vejamos o qu po-
demos dizer sobre o caminho . O caminho de comprimento mnimo
em Gn 1 entre x e y pode ser decomposto em trs pedaos: um pri-
meiro pedao com no mximo 2 passos, um segundo pedao que um
caminho de comprimento mnimo entre pontos x2 , y2 2 Vn 2 e um
terceiro pedao com no mximo dois passos. Repetimos este racioc-
nio at que x`0 = y`0 ou x`0 n `0 y`0 para algum `0 2 N0 . Desta
forma obtemos uma sequncia de pontos {xi , yi ; i = 0, . . . , `0 } com as
propriedades seguintes:
a) x0 = x e y0 = y,
b) para i = 1, . . . , n 1, o caminho vai de xi 1 a xi e de yi a
yi 1 em no mximo 2i passos,
c) o caminho vai de x`0 a y`0 em exatamente 0 ou 2`0 passos.
O leitor motivado pode tentar mostrar que o nmero de passos 2i
entre as diferentes etapas da construo pode ser melhorado, mas no
argumento a seguir, uma constante multiplicativa no far diferena.
Se x`0 6= y`0 , o caminho tem no mnimo 2`0 passos e no mximo
`0
X
`0
2 +2 2i = 5 2`0 4. (2.30)
i=1
Em particular, 2`0 dV (x, y) 5 2`0 . Se x`0 = y`0 , ento x`0 1 6=

x`0 ou y`0 1 6= y`0 . Logo, o caminho tem no mnimo 2`0 1 passos
e no mximo
X`0
2 2i = 4 2`0 2. (2.31)
i=1
Conclumos que para quaisquer x, y 2 Vn ,
1 `0
22 dGn (x, y) 5 2`0 , (2.32)
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 30 #39
o que em termos de dV escreve-se como

1
1
5 dV (x, y) 2n `0 2dV (x, y). (2.33)
p
Afirmamos que Rn (x, y) satisfaz uma desigualdade similar. Com-
binando as Proposies 18 e 19, vemos que
p n i
Rn (xi , xi+1 ) 2 35 2 , (2.34)
p n i
Rn (yi , yi+1 ) 2 35 2 , (2.35)
p n `0
Rn (x`0 , y`0 ) 35 2 . (2.36)
Lembremos que parap todo k 2 R, ( 35 )k = ( 12 ) k . Usando a desigual-
dade triangular para Rn (, ), conclumos que existe uma constante
c tal que
1 X
`0
p i `0 c
Rn (x, y) n
4 2 +2 (n `0 )
2 c dV (x, y) ,
2 i=1
2
(2.37)
Agora provaremos que a distncia dV equivalente distncia
Euclidiana:
Proposio 21. Existe constante c > 0 tal que dV (x, y) c|x y|
para quaisquer x, y 2 V1 .
Demonstrao. Comearemos provando a afirmao seguinte:
Para qualquer x 2 V1 , dV (x, a0 ) 1.
Procederemos por induo em Vn . Para x 2 V0 , a afirmao ob-
via. Suponhamos que a afirmao vale para qualquer x 2 Vn e seja
x 2 Vn+1 . Suponhamos que x 2 T0 = '0 (T? ), e seja o caminho
de comprimento mnimo entre '0 1 (x) e a0 em Vn . Notemos que a
imagem de via '0 um caminho em Vn+1 de comprimento2 me-
nor ou igual a 12 . Se x 2 T1 , o argumento acima no funciona, pois
2 Na prova desta proposio, usaremos como definio de comprimento de um
caminho = {x0 , . . . , x` } em Vn o nmero 2`n
0
, de modo que o comprimento dum
caminho de comprimento mnimo entre x e y, x, y 2 Vn , seja igual a dV (x, y). Es-
tendendo o caminho a Vm , m n da forma natural, vemos que o comprimento
dele no depende de m.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 31 #40
nos d um caminho de comprimento menor ou igual a 12 entre x e

'1 (a0 ). Mas claro que dV ('1 (a0 ), a0 ) = 12 , pelo que a desigualdade
triangular prova a afirmao nesse caso. Se x 2 T2 , o argumento o
mesmo.
Sejam agora x, y 2 V1 . Seja `0 2 N0 o menor ` 2 N0 tal que
{x, y} 2 Ti para algum i 2 I` . O conjunto T 0 = Ti \ K`0 +1 a
unio de trs tringulos de K`0 +1 , que portanto tm lado 2`01+1 . H
dois deles, que chamaremos de T 1 e T 2 , tais que {x, y} pertence sua
unio. Seja z o vrtice em comum destes dois tringulos. Escolhamos
os indices de T 1 , T 2 de modo que x 2 T 1 e y 2 T 2 ; x e y no podem
estar no mesmo T i , i = 1, 2, porque Ti o menor tringulo com
essa propriedade. Seja `1 (`2 respetivamente) o menor ` 2 N0 tal
que existe um tringulo T 3 (T 4 respetivamente) em K`1 (em K`2
respetivamente), contido em T 1 (T 2 respetivamente) que contm z
mas no contm x (y respetivamente). Suponhamos que `1 `2 ;
seno,
p simplesmente trocamos o papel de x e y. Notemos que |x y|
2 2`1 (ver Figura 2.4). Por outra parte, notemos que para qualquer
3 1
tringulo T em K` , qualquer x0 2 T \ V1 e qualquer vrtice z0 de T ,

temos que dV (x0 , z0 ) 21` . Isto segue do fato que T \ V1 = 'i (T? )
para algum i 2 I` em conjuno com a afirmao. Conclumos que
1 1 4
dV (x, y) dV (x, z) + dV (y, z) +
2` 1 1 2 `2 1 2 `1
8 (2.38)
p |y x|,
3
Finalmente, temos todos os ingredientes para provar a principal
proposio desta seo:
Proposio 22. Seja f : V1 ! R tal que E(f, f ) < 1. Seja =
log(5/3)
2 log 2 . Ento, existe > 0 independente de f tal que
f (y) f (x) E(f, f )1/2 x y (2.39)
para quaisquer x, y 2 V1 .
Demonstrao. Se E(f, f ) = 0, ento f constante e no h nada
que provar. Suponhamos que E(f, f ) > 0, Pela definio de R(, ),
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 32 #41
Figura 2.4: Os tringulos T i . Os tringulos T 3 e T 4 aparecem em

cinza; a fronteira do tringulo T 1 est marcada em azul e no caso de-
senhado o tringulo T 2 igual ao tringulo T 4 . A mnima distncia
possvel entre x e y atingida na linha pontilhada.
vemos que
f (y) f (x) p
1/2
R(x, y) 2 c dV (x, y)
E(f, f ) (2.40)
y x
para = 2 c c, o que prova a proposio.
2.7 Funes harmnicas

Os resultados da seo anterior no so muito teis a menos que
possamos mostrar a existncia de funes f : V1 ! R tais que
E(f, f ) < 1. Acontece que a Proposio 15 nos fornece uma re-
ceita para construir exemplos de tais funes. Seja f : Vn ! R dada.
Dizemos que uma funo g : V1 ! R uma extenso harmnica de
f se:
i) g(x) = f (x) para qualquer x 2 Vn (isto , f = n g),
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 33 #42
[SEC. 2.7: FUNES HARMNICAS 33
ii) E(g, g) = En (f, f ).
Proposio 23. Para quaisquer n 2 N0 , f : Vn ! R existe uma

nica extenso harmnica de f .
Demonstrao. Pela Proposio 15, existe uma nica funo gn+1 :

Vn+1 ! R tal que
i) gn+1 (x) = f (x) para qualquer x 2 Vn (isto , f = n gn+1 ),
ii) En+1 (gn+1 , gn+1 ) = En (f, f ).
De forma recursiva, existe uma sequncia de funes {gm ; m n} de

Vm em R tais que
i) para quaisquer m > ` > n e x 2 V` , gm (x) = g` (x),
ii) para quaisquer x 2 Vn e m > n, gm (x) = f (x),
iii) para qualquer m > n, Em (gm , gm ) = En (f, f ).
A funo g : V1 ! R definida como g(x) = gm (x) para quaisquer

m n e x 2 Vm a extenso harmnica procurada. Como gn+1
nica, as funes m , m n so nicas e g tambm resulta ser nica,
Observemos que uma outra demonstrao da unicidade da exten-

so harmnica duma funo f : Vn ! R a seguinte. Se g, g 0 forem
duas extenses harmnicas de f , ento a diferena g g 0 uma ex-
tenso harmnica da funo nula em Vn . Mas nesse caso teramos
E(g g 0 , g g 0 ) = 0, de onde g = g 0 . Este tipo de argumento ser
explorado mais frente.
Para f : Vn ! R dada, denotaremos por Hf a sua extenso
harmnica, que em virtude da Proposio 23 est bem definida. O
caso particular de uma extenso harmnica duma funo f : V0 ! R
importante: nesse caso diremos que a funo h = Hf harmnica.
Proposio 24. O espao de funes harmnicas um espao veto-

rial de dimenso 3.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 34 #43
Demonstrao. Olhando a expresso da funo g obtida na prova

da Proposio 15, vemos que a extenso harmnica uma operao
linear, pelo que o espao de funes harmnicas um espao vetorial.
Como o espao de funes f : V0 ! R tem dimenso 3, e toda funo
harmnica a extenso harmnica da sua restrio ao conjunto V0 ,
pela unicidade da extenso harmnica conclumos que o espao de
funes harmnicas tambm tem dimenso 3.
A proposio seguinte justifica a denominao funo harmnica.
Proposio 25. Seja h : V1 ! R uma funo harmnica. Ento,
para quaisquer n 2 N0 e x 2 Vn \ V0 ,
n h(x) = 0. (2.41)
Demonstrao. Como h harmnica, para qualquer ` 2 N0 h a

extenso harmnica da sua restrio ` h ao conjunto V` . Seja x 2
V1 \ V0 e seja ` 2 N0 tal que x 2 V`+1 \ V` . Sejam yi 2 V`+1 ,
iP= 1, 2, 3, 4 os quatro vizinhos de x no grafo P G`+1 . O mnimo da soma
i ( h(y i )) 2
atingido em 0 = 1
4 i h(yi ). Portanto, se h(x) 6=
0 , poderamos diminuir E `+1 (h, h) trocando o valor de h(x) para
0 , contradizendo o fato que E `+1 (h, h) = E ` (h, h). Logo, n h(x) =
0.
Seja hi : V1 ! R, i = 0, 1, 2 a funo harmnica que satisfaz
hi (aj ) = i,j , j = 0, 1, 2. possvel calcular os valores de hi (x),
x 2 Vn de forma recursiva. Definamos os pontos {b0 , b1 , b2 } como
b0 = 1
2 a1 + a2 ), b1 = 1
2 a2 + a0 ), b2 = 1
2 a0 + a1 ). (2.42)
Isto , os pontos {b0 , b1 , b2 } so os pontos mdios dos lados do tri-

ngulo T? . Resolvendo um pequeno sistema de equaes lineares ou
lembrando da frmula obtida na prova da Proposio 15, podemos
provar que (
1
, j=i
hi (bj ) = 52 (2.43)
5 , j 6= i.
Para calcular hi em V2 , podemos usar novamente a frmula obtida

na prova da Proposio 15, ou podemos usar a observao seguinte:
pensando cada tringulo de K1 como uma pequena cpia do grafo
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 35 #44
[SEC. 2.7: FUNES HARMNICAS 35
G1 , a extenso harmnica em questo uma combinao linear de

cpias das funes h0 , h1 , h2 . Seja x 2 V2 \ V1 . Suponhamos que x
est no tringulo de vrtices a0 , b1 , b2 . Neste caso, x = '0 (y) para
algum y 2 V1 \ V0 . As cpias de h0 , h1 , h2 mencionadas acima so
simplesmente as funes hi '0 1 , i = 0, 1, 2. Temos que
hi (x) = hi (a0 )h0 ('0 1 (x)) + hi (b1 )h2 (' 1

(x)) + hi (b2 )h2 ('
(x)). 1
(2.44)
para i = 0, 1, 2. Depois de examinar as frmulas similares no caso em
que x est em algum dos outros dois tringulos de K1 , vemos que as
funes {hi ; i = 0, 1, 2} satisfazem as relaes
X
hi 'j = hi 'j (ak ) hk (2.45)
k=0,1,2
para i, j 2 {0, 1, 2}. Em princpio, s mostramos que estas frmu-

las valem para x 2 V2 \ V1 , mas uma vez enunciadas, no difcil
provar que elas valem para qualquer x 2 V1 . Notemos que as cons-
tantes hi ('j (ak )) so os valores das funes harmnicas nos pontos
2 . Notemos tambm que a funo h 1 harmnica. Por-
b0 , b1 , bP
tanto, i hi (x) = 1 para qualquer x 2 V1 . Usando estas observa-
es, podemos simplificar as frmulas para hi 'j e obter que
1
hi 'i = 5 2 + 3hi
1
(2.46)
hj 'i = 5 1 + hj hi .
Esta frmula muito til para calcular valores das funes {hi ; i =
0, 1, 2} de forma iterativa. De fato, para qualquer x 2 V1 , para
calcular os valores de {hi ('j (x)); i = 0, 1, 2} s necessrio conhecer
os valores de {hi (x); i = 0, 1, 2}.
Neste ponto, o leitor j deve estar convencido de que os pontos
{a0 , a1 , a2 } so especiais. Chamaremos a V0 = {a0 , a1 , a2 } de fron-
teira do tringulo de Sierpinski K. Usando as frmulas de acima
podemos calcular n h0 (ai ). Comearemos com a0 . Seja n o valor
de h0 (x) para x n a0 . Por simetria, este valor o mesmo para os
dois vizinhos de a0 . Vemos que a sequncia { n ; n 2 N} satisfaz a
recorrncia
2+3 n
n+1 = . (2.47)
5
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 36 #45
Esta recorrncia pode ser resolvida usando o mtodo de variao de

parmetros. Pondo n = cn ( 35 )n , vemos que
3 n+1
cn+1 = cn + 2
5 5 , (2.48)
de onde
n
X1
5 i 5 n
cn = c0 + 2
5 3 = c0 + 3 1. (2.49)
i=1
Conclumos que n = 1+( 3 n

5 ) (c0 1). Como 0 = 0, temos que c0 = 0
e n = 1 ( 35 )n . Portanto,
P n h0 (a0 ) = 2 3 . Lembremos que para
n
toda funo f : Vn ! R, x2Vn n f (x) = 0. Em particular,

X
n h0 (ai ) = 0. (2.50)
i=0,1,2
Por simetria, n h0 (a1 ) = n h0 (a2 ), pelo que n h0 (ai ) = 3n e em

geral, (
2 3n , i = j,
n hi (aj ) = (2.51)
3n , i 6= j.
Isto motiva a definio seguinte. Para f : V1 ! R e i = 0, 1, 2,
definiremos
@in f = 31n n f (ai ). (2.52)
Chamaremos a {@in f ; i = 0, 1, 2} de derivadas direcionais de f em
V0 . Como sugerido pela notao, o limite @i f = limn @in f , se existir,
ser o anlogo da derivada normal de f na fronteira dum domnio
D Rd .
Proposio 26. Seja f : V` ! R e seja Hf : V1 ! R a extenso
harmnica de f . Ento, para todo n `,

0 ; se x 2
/ Vn
n (Hf )(x) = (2.53)
3n ` ` f (x) ; se x 2 Vn .
Demonstrao. Seja i 2 I` . Para i = 0, 1, 2, seja xi = 'i (ai ). Em
particular, os pontos x0 , x1 , x2 so os vrtices do tringulo Ti . Para
y 2 V1 \ Ti , temos que (compare com (2.45)):
X
Hf (y) = f (xi )hi 'i 1 (y) , (2.54)
i=0,1,2
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 37 #46
[SEC. 2.8: A FUNO DE GREEN 37
Isto mostra que n Hf (y) = 0 se y 2 / V` . Seja @in f a derivada dire-

cional da funo Hf 'i no ponto ai . Em outras palavras, @in f a
derivada direcional da funo f restrita ao tringulo Ti , avaliada no
vrtice xi = 'i (ai ). Vemos que
X
@0n f = f (x0 )@jn ` h0 'i 1 (xj )
j=0,1,2 (2.55)
n `
=3 f (x1 ) + f (x2 ) 2f (x0 ) ,
e vemos que frmulas similares valem para @in f , i = 1, 2. Somando

as duas derivadas direcionais em xi , a proposio est provada.
2.8 A funo de Green

Consideremos o problema seguinte. Seja n 2 N0 e seja A Vn . Seja
f : A ! R e consideremos a equao de Laplace

n h(x) = 0, x 2 Vn \ A,
(2.56)
h(x) = f (x), x 2 A.
Proposio 27. A equao (2.56) admite uma nica soluo. Mais

ainda, a soluo hf desta equao o nico ponto mnimo de En (g, g)
no conjunto
{g : Vn ! R; g(x) = f (x) para qualquer x 2 A}. (2.57)
Demonstrao. A equao (2.56) simplesmente um sistema no ho-

mogneo de #Vn equaes lineares em #Vn incgnitas. Portanto,
suficiente provar existncia e unicidade da soluo do sistema ho-
mogneo associado, isto , considerar o caso f 0. Efetuando uma
mudana de variveis e usando o fato que h(x) = 0 para qualquer
x 2 A, no difcil provar as igualdades
X X 2
0= h(x) n h(x) = h(y) h(x) , (2.58)
x2Vn xn y
o que mostra que h constante. Como h(x) = 0 em A, conclumos

que h 0. Vejamos agora que h minimiza En (g, g). Seja x 2 Vn \ A
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 38 #47
e seja hx : Vn ! R dada por

(
h(y), y=6 x,
hx (y) = (2.59)
h(x) + , y = x.
Seja x ( ) = En (hx , hx ). Esta funo quadrtica e positiva em

, pelo que tem exatamente um ponto mnimo. Como n h(x) = 0,
vemos que x0 (0) = 0, pelo que o mnimo de x atingido em = 0.
Logo, a funo h um mnimo local de En (g, g). De forma recproca,
se h fosse um outro mnimo de En (g, g) sujeito restrio g = f em
A, h tambm satisfaria (2.56), pelo que teramos que h = h, o que
prova que h um mnimo global de En (g, g) sujeito restrio g = f
em A.
A proposio seguinte se conhece como o princpio do mximo.
Proposio 28. Seja h a soluo de (2.56). Ento,
min f (x) min h(y) max h(y) max f (x). (2.60)

x2A y2Vn y2Vn x2A
Demonstrao. Seja M = maxx2A f (x). Notemos que para qualquer

funo g : Vn ! R tal que g = f em A, a funo g = min{g, M }
satisfaz En (g, g) En (g, g). Pela proposio anterior, se g 6= g, ento
g no soluo de (2.56). Conclumos que h M . De forma anloga,
pode-se provar que h m = minx2A f (x).
Seja x 2 Vn \ V0 e seja Gn (x, ) : Vn ! R a soluo da equao

8
< n Gn (x, y) = 0, y 6= x, a0 , a1 , a2 ,
G
n n (x, x) = 3 n
, y = x, (2.61)
:
Gn (x, ai ) = 0, i = 0, 1, 2.
Esta equao de fato muito similar equao (2.56). Vemos que

esta equao tambm um sistema no homogneo de equaes
#Vn equaes lineares em #Vn incgnitas. O sistema homogneo
idntico ao sistema homogneo associado equao (2.56), pelo
que existncia e unicidade de Gn (x, ) esto garantidas pela Proposi-
o 27. Notemos que a posteriori, a funo Gn (x, ) satisfaz a equa-
o (2.56) para o conjunto A = V0 [ {x} e a funo f dada por
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 39 #48
f = 0 em V0 e f (x) = Gn (x, x). O princpio do mximo nos per-

mite provar que Gn no negativa. De fato, se Gn (x, x) for negativo,
Gn (x, x) Gn (x, y) 0 para qualquer y 2 Vn , e em particular para
y n x. Logo, teramos que n Gn (x, x) 0,3 o que contradiz o
fato que n Gn (x, x) = 3 . O caso Gn (x, x) = 0 tambm no
n
possvel, pois nesse caso teramos Gn (x, ) 0. Logo, Gn (x, x) > 0 e

pelo princpio do mximo, Gn (x, y) 0 para qualquer y 2 Vn . Para
x 2 V0 , definimos Gn (x, ) 0. A funo Gn : Vn Vn ! R+ obtida
deste modo chamada de funo de Green. Na proposio seguinte,
enunciamos algumas propriedades bsicas da funo de Green Gn :
Proposio 29. Para quaisquer x, y 2 Vn , Gn+1 (x, y) = Gn (x, y) e
Gn (x, y) = Gn (y, x). Alm disso,
sup En Gn (x, ), Gn (x, ) < 1. (2.62)

x2Vn
n2N0
Demonstrao. A identidade Gn+1 (x, y) = Gn (x, y) segue do fato que

Gn+1 (x, ) a continuao harmnica de Gn (x, ) em Vn+1 . Isto no
totalmente bvio, pois temos que justificar a identidade
n+1 HGn (x, x) = 3n+1 . (2.63)
Mas isto justamente o contedo da Proposio 26. Seja n : Vn

Vn ! R definida como
(
3n , se x = y,
n (x, y) = (2.64)
0, se x 6= y.
Em outras palavras, n a funo delta de Dirac em Vn (com respeito

medida n ). A simetria da funo Gn consequncia da simetria
da funo n . De fato, (2.61) equivalente a dizer que n Gn (x, ) =
n (x, ) em Vn \V0 e Gn (x, ) = 0 em V0 . Definamos H : Vn Vn ! R
como X
H(x, y) = 5n Gn (x0 , y) Gn (x, y) (2.65)
x0 n x
3 Notemos que aqui o Laplaciano calculado na segunda varivel. Ser este
o caso em toda expresso envolvendo Gn (x, ) e n , a menos que seja advertido

explicitamente o contrrio.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 40 #49
se x 2 Vn \V0 e H(x, y) = 0 se x 2 V0 . Em outras palavras, H(x, y) =

n Gn (x, y), onde agora o Laplaciano calculado na primeira varivel.
A funo H satisfaz a equao

n H(x, y) = n n (x, y), x 2 Vn \ V0 ,
(2.66)
H(ai , y) = 0, i = 0, 1, 2,
onde o Laplaciano age na segunda varivel em ambas funes. Por
outra parte, a funo H : Vn Vn ! R definida como

n Gn (x, y), y 2 Vn \ V0
H(x, y) = (2.67)
0, y 2 V0
soluo da equao

n H(x, y) = n n (x, y), x 2 Vn \ V 0 ,
(2.68)
H(ai , y) = 0, i = 0, 1, 2,
onde os Laplacianos voltaram a ser calculados na primeira varivel.
Como n simtrica, vemos que n H(y, x) = n H(x, y) para y 2
Vn \ V0 ; os Laplacianos sendo calculados na varivel y. Pela Proposi-
o 27, conclumos que H(y, x) = H(x, y), ou seja, que n Gn (y, x) =
n Gn (x, y), onde os dois Laplacianos so calculados na varivel y.
Usando mais uma vez a Proposio 27, conclumos que Gn (y, x) =
Gn (x, y), o que prova a simetria de Gn .
A ltima afirmao segue do princpio do mximo e da frmula
de integrao por partes. De fato, pela dita frmula de integrao
por partes,
1 X
En Gn (x, ), Gn (x, ) = Gn (x, y) n Gn (x, y)
3n (2.69)
y2Vn
= Gn (x, x).
Portanto, suficiente provar que
sup sup Gn (x, x) < 1. (2.70)
n2N x2Vn
Como Gn (x, 0) = 0, usando a Proposio 22 vemos que

Gn (x, x) Gn (x, x)1/2 |x| , (2.71)
de onde Gn (x, x) 2 |x|2 , o que somado ao fato que V1 um
subconjunto de K, que limitado, prova a proposio.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 41 #50
Notemos que pela proposio anterior, podemos definir a funo

de Green G : V1 V1 como
G(x, y) = Gn (x, y) (2.72)
para quaisquer n 2 N e x, y 2 Vn .
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 42 #51
Captulo 3
Anlise funcional em K
Lembremos a Proposio 22: para quaisquer funo f : V1 ! R tal

que E(f, f ) < 1 e pontos x, y 2 V1 ,
|f (x) f (y)| E(f, f )1/2 |y x| . (3.1)
Em outras palavras, se E(f, f ) < 1, ento f Hlder-contnua de

ndice . Em particular, f possui uma nica extenso contnua (que
tambm chamaremos de) f : K ! R. Portanto, faz sentido s consi-
derar funes contnuas no que diz respeito forma da energia. Seja
f : K ! R uma funo contnua. Lembremos que n f a projeo
de f no conjunto Vn . Definamos E(f, f ) = limn!1 En (n f, n f ).
Por continuidade, a relao 3.1 vale para quaisquer x, y 2 K.
A partir de agora, sempre identificaremos funes f : V1 ! R de
energia finita com as suas extenses contnuas em K. Em particular,
consideraremos as extenses harmnicas definidas na seo 2.7 como
sendo funes contnuas definidas em K.
3.1 Os espaos de Sobolev H1 e H10

Definamos o espao de Sobolev H1 = H1 (K) como
H1 = f : K ! R contnua ; E(f, f ) < 1 . (3.2)
42
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 43 #52
[SEC. 3.1: OS ESPAOS DE SOBOLEV H1 E H01 43
Definamos tambm o espao H10 como
H10 = {f 2 H1 ; f (a1 ) = 0, i = 0, 1, 2}. (3.3)
Notemos que pela Proposio 22, se f 2 H1 ento f contnua,

pelo que faz sentido se perguntar o valor de f em pontos especficos.
Este no o caso para funes f que so meramente integrveis com
respeito medida .
Proposio 30. Sejam H1 , H10 os espaos definidos acima. Ento,
i) os espaos H1 , H10 so espaos vetoriais,
ii) a aplicao f 7! E(f, f )1/2 uma norma em H10 ,
iii) o espao H10 completo com respeito norma E(, )1/2 ,
iv) para quaisquer f, g 2 H1 , o limite
E(f, g) = lim En (f, g) (3.4)

n!1
existe e finito. Mais ainda, a aplicao (f, g) 7! E(f, g) um

produto interno em H10 .
Demonstrao. Notemos que por definio, H1 C(K). Como C(K)
um espao vetorial, para provar que H1 um espao vetorial
suficiente provar que H1 fechado sob multiplicao por escalares e
sob soma de funes em H1 . Notemos que para quaisquer f : K ! R,
2 R, En ( f, f ) = 2 En (f, f ). Logo, se f 2 H1 , ento f 2 H1 e
E( f, f ) = 2 E(f, f ). Sejam f, g 2 H1 . Ento,
n X 2
En (f + g, f + g) = 53 f (y) + g(y) f (x) g(x)
xn y
Xn o
5 n 2 2
2 3 f (y) f (x) + f (y) f (x)
xn y
2 En (f, f ) + En (g, g) .
(3.5)
Conclumos que f + g 2 H1 , o que prova que o conjunto H1 um

espao vetorial. Por definio, H10 o ncleo da aplicao linear f 7!
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 44 #53
44 [CAP. 3: ANLISE FUNCIONAL EM K
(f (a0 ), f (a1 ), f (a2 )). Como H1 um espao vetorial, H10 tambm

um espao vetorial, o que prova i).
Sejam f, g 2 H1 e consideremos a funo 7! En (f + g, f + g).
Vemos que esta funo no negativa e que o seu mnimo igual a
En (f, f )En (g, g) En (f, g)2

. (3.6)
En (g, g)
Conclumos que En (f, g)2 En (f, f )En (g, g). Portanto,
En (f + g, f + g) = En (f, f ) + En (g, g) + 2En (f, g)

p p
En (f, f ) + En (g, g) + 2 En (f, f ) En (g, g) (3.7)
p p 2
En (f, f ) + En (g, g) .
Tomando o limite quando n ! 1, conclumos que
E(f + g, f + g)1/2 E(f, f )1/2 + E(g, g)1/2 (3.8)
para quaisquer f, g 2 H1 . Acima j mostramos que E( f, f ) =

| |E(f, f ). Se E(f, f ) = 0, ento En (f, f ) = 0 para todo n 2 N0 , o
que implica que f constante em V1 . Como f contnua e V1
denso em K, conclumos que f constante. Notemos que em H1 ,
esta constante arbitrria, pelo que E(f, f )1/2 s uma seminorma e
no uma norma em H1 . Por outra parte, como f (a0 ) = 0 para toda
f 2 H10 , se f for constante ento f 0, o que prova que E(, )1/2
uma norma em H10 .
Provaremos agora que o espao H10 completo com respeito
norma E(, )1/2 . Seja {fn ; n 2 N} uma sequncia de Cauchy em H10 .
Suponhamos primeiro que E(fn fn+1 , fn fn+1 ) 21n para todo
n 2 N. Pela Proposio 22 mais o fato que fn+1 (a0 ) fn (a0 ) = 0,

fn+1 (x) fn (x) para quaisquer x 2 K, n 2 N. (3.9)
2n
Portanto, a soma X
f = f1 + (fn+1 fn ) (3.10)
n2N
uniformemente convergente, pelo que a funo f : K ! R est bem

definida e contnua. Provemos que f 2 H10 . Seja ` 2 N0 . Como
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 45 #54
[SEC. 3.1: OS ESPAOS DE SOBOLEV H1 E H01 45
E` (f, f ) uma soma finita,
E` (f, f ) = lim E` (fn , fn ) lim E(fn , fn ) E(f1 , f1 ) + 1. (3.11)

n!1 n!1
Logo, E` (f, f ) uniformemente limitada em ` e em particular f 2 H1 .

Como fn = 0 em V0 , tambm temos que f = 0 em V0 e em particular
f 2 H10 . De forma semelhante,
E(f fn , f fn ) = lim E` (f fn , f fn )
`!1
= lim lim E` (fm f n , fm fn ) (3.12)
`!1 m!1
1
lim ,
`!1 2n 1
o que prova a convergncia de {fn ; n 2 N} a f em H10 e com respeito
norma E(, )1/2 . Seja agora {fn ; n 2 N} uma sequncia de Cauchy
arbitrria. Existe uma subsequncia n0 = {ni ; i 2 N} tal que E(fni+1
fni , fni+1 fni ) 21i para todo i 2 N. Esta subsequncia converge a
um limite f 2 H10 . Considerando as funes fn = fn f , podemos
supor que f = 0. Observando que
E(fi , fi )1/2 E(fni , fni )1/2 + E(fni f i , fni fi )1/2

(3.13)
E(fni , fni )1/2 + 1
2i 1 ,
vemos que f o limite em H10 da sequncia completa {fn ; n 2 N}.

Para provar que E(f, g) est bem definido, suficiente notar que
En (f, g) = 1
4 En (f + g, f + g) En (f g, f g) (3.14)
e ver que o lado direito desta igualdade convergente quando n ! 1.

As propriedades de produto interno decorrem do fato que En (f, g)
um produto interno no espao {f : Vn ! R; f (ai ) = 0, i = 0, 1, 2}.
Em vista da Proposio 30, para f 2 H1 definimos a norma H1

de f como
kf k1 = E(f, f )1/2 . (3.15)
H um pouco de abuso de notao nesta definio, porque k k1 s
uma seminorma em H1 , mas como k k1 efetivamente uma norma
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 46 #55
no espao H10 , isto no ser relevante. Esta observao justifica pelo

menos parcialmente a introduo do espao H10 . No entanto, o con-
junto H10 aparece ao considerar equaes diferenciais com condies
de fronteira de Dirichlet, como veremos mais adiante.
A Proposio 22 implica a chamada desigualdade de Poincar no
espao H10 . Para f : K ! R, definamos as normas L2 (), L1 de f
como
R 1/2
kf k0 = f 2 d , kf k1 = supx2K f (x) . (3.16)
Proposio 31. Para qualquer f 2 H10 ,
kf k1 kf k1 . (3.17)
Em particular, existe constante finita c0 tal que kf k0 c0 kf k1 para

qualquer f 2 H10 .
Demonstrao. Pela Proposio 22, para quaisquer f 2 H1 , x 2 K,
f (x) f (a0 ) E(f, f )1/2 x . (3.18)
Como |x| 1 para x 2 K e como f (a0 ) = 0 para f R2 H10 , a pri-

meira afirmao da Proposio est provada. Como f 2 (dx)
kf k21 (K), a segunda afirmao segue imediatamente para c0 =
(K)1/2 .
O espao H1 no um espao normado com respeito seminorma

k k1 , mas no difcil construir uma outra norma ||| ||| em H1 tal
que a restrio dela ao conjunto H10 seja equivalente norma k k1 .
suficiente definir
q
R 2
|||f ||| = f d + E(f, f ). (3.19)
Proposio 32. No p espao H1 , a norma ||| ||| definida em (3.19)

equivalente norma k k20 + k k21 . Em particular, ||| ||| equiva-
lente a k k1 em H10 .
R R
Demonstrao. Lembremos que ( f d)2 (K) f 2 d. Ento,
|||f |||2 (K) kf k20 + E(f, f ) (3.20)
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 47 #56
[SEC. 3.2: O LAPLACIANO PARA EXTENSES HARMNICAS 47
j que (K) = 32 > 1. Por outra parte,

R 2 Z 2 1
Z
2
f d = f d + f (x) f (y) (dx)(dy)
2(K)
Z 2 (3.21)
2
f d + E(f, f ),
2(K)
2
pelo que kf k20 + E(f, f ) (1 + 2(K)

)E(f, f ), o que prova a equiva-
lncia entre as normas. A Proposio 31 mostra que para qualquer
f 2 H10 , q p
kf k20 + kf k21 2 + 1|||f |||, (3.22)
o que prova a equivalncia de k k1 e ||| ||| em H10 .

A desigualdade de Poincar enunciada na Proposio 31 pode ser
estendida ao espao (H1 , ||| |||):
Proposio 33. Existe c0 2 R+ tal que
kf k1 c0 |||f ||| (3.23)
para qualquer f 2 H1 .
Demonstrao. Como f 2 H1 , Rf contnua. Pelo teorema do valor
mdio, existe x0 2 K tal que f d = f (x0 ). Pela Proposio 22,
vemos que para qualquer x 2 K,
R R
f (x) f (x) f (x0 ) + f d max{1, } f d + E(f, f )1/2 ,
(3.24)
o que prova a Proposio.
3.2 O Laplaciano para extenses harmni-

cas
Sejam ` 2 N e f : V` ! R, e seja hf : K ! R a extenso harmnica
de f . Recordemos a frmula para n hf , n `:

0 ,x 2/ V`
n hf (x) = (3.25)
3n ` ` f (x) , x 2 V` .
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 48 #57
Notemos em particular que 31n n hf no depende de n (exceto pelo

fato que x 2 Vn ). O fator 3n nos sugere pensar em n hf no como
uma funo, mas como uma medida. Clarifiquemos esta afirmao.
Seja : K ! R contnua. Lembremos que a definio da medida de
Hausdor foi feita atribuindo massa 31n a cada ponto de Vn . Isto
nos leva a definir, para f, g : Vn ! R o produto interno
1 X
hf, gin = f (x)g(x). (3.26)
3n
x2Vn
Esta definio estende-se de forma natural a funes contnuas f, g :

K ! R; a continuidade sendo necessria para evitar modificar f no
conjunto V1 que tem medida 0 com respeito a . Vemos que para
qualquer n 2 N0 ,
1 X
h , n hf i n = (x) ` f (x). (3.27)
3`
x2V`
R
Esta ltima expresso igual a (x)(dx), onde = (f ) a
medida finita com sinal em K dada por
1 X
(dx) = ` f (x) x (dx). (3.28)
3`
x2V`
Portanto, tomando em conta que convergncia de medidas determi-

nada por convergncia de integrais com respeito a funes contnuas,
definimos hf 2 M(K) como hf = .
Uma pergunta relevante quo geral esta definio do operador
Laplaciano. A proposio seguinte mostra que o operador definido
desta forma densamente definido.
Proposio 34. O conjunto de extenses harmnicas um espao

vetorial denso em H1 .
Demonstrao. Sejam n 2 N0 , f : Vn ! R e 2 R. Ento, a funo

Hf a extenso harmnica de f , pelo que o espao de extenses
harmnicas fechado sob multiplicao por escalares. Sejam m 2
N0 e f : Vm ! R, g : Vn ! R. Ento, Hf + Hg a extenso
harmnica da funo f : Vm ! R dada por f(x) = f (x) + Hg(x)
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 49 #58
[SEC. 3.3: O LAPLACIANO EM H1 49
para todo x 2 Vm . Logo, o conjunto de extenses harmnicas um

espao vetorial. Seja agora f 2 H10 , e definamos {fn ; n 2 N0 } como
fn = Hn f para todo n 2 N0 . Afirmamos que fn ! f com respeito
norma H1 . De fato, a frmula de integrao por partes mais a
Proposio 26 nos diz que para n, p 2 N0 ,
1 X
En+p (f, fn ) = n+p
f (x) n+p fn (x)
3
x2Vn+p
1 X (3.29)
= f (x) n f (x)
3n
x2Vn
= En (f, f ).
Portanto, vemos que En+p (f fn , f fn ) = En+p (f, f ) En (f, f ).
Tomando o limite quando p ! 1, conclumos que kf fn k21 =
E(f, f ) = En (f, f ), e como f 2 H1 , esta ltima quantidade converge
0
a 0 quando n ! 1.
Proposio 35. O conjunto de extenses harmnicas um espao
vetorial denso em C(K).
Demonstrao. Notemos que este resultado consequncia da Pro-
posio 34 e do fato que a norma H1 domina uniformemente norma
do supremo. No entanto, daremos uma prova alternativa que de
interesse por sim mesma. Sejam f : K ! R contnua e " > 0. Como
K compacto, a funo f uniformemente contnua. Seja n 2 N tal
que |f (x) f (y)| 2" se |x y| 21n . Seja hn = Hn f , isto , hn
a extenso harmnica da restrio de f a Vn . Seja um tringulo
de Vn , de vrtices x0 , x1 , x2 . Para qualquer y 2 \ K, temos que
maxi |f (y) f (xi )| < 2" . Por outra parte,
min f (xi ) hn (y) max f (xi ), (3.30)
i i
pelo que conclumos que para qualquer y 2 , |f (y) hn (y)| < ", o
que prova a proposio.
3.3 O Laplaciano em H1
Na seo anterior vimos como definir o Laplaciano duma extenso
harmnica h = Hn f , onde n 2 N0 e f 2 C(K) so arbitrrios. O
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 50 #59
resultado desta operao no uma funo, seno uma medida com

sinal, atmica e suportada em K. Gostaramos de achar uma forma
de estender a definio do Laplaciano a um espao maior. Seja H o
espao de extenses harmnicas. Uma alternativa muito lgica seria
aproveitar que H denso em H1 para estender a definio de f para
f 2 H1 arbitrria. Infelizmente, a aplicao : H H1 ! M(K)
no contnua. Uma linha de raciocnio que podemos adotar utilizar
o conceito de fecho de um operador linear. Sejam W1 , W2 espaos
vetoriais completos, e seja D W1 um subespao vetorial denso em
W1 . Seja L : D ! W2 um operador linear. Dizemos que L fechado
se o grafo do operador dado por L {(x, Lx); x 2 D} W1 W2
fechado. Dizemos que L fechvel se o fecho do seu grafo o grafo
de algum operador linear de W1 em W2 .
Os espaos H1 e M(K) so espaos mtricos completos (de fato
H1 um espao de Banach). Temos a proposio seguinte:
Proposio 36. O operador linear : H H1 ! M(K) fechvel.
Demonstrao. Basta provar que para qualquer sequncia {fn ; n 2
N} de extenses harmnicas tal que fn ! 0 em H10 e fn ! em
M(K), temos que = 0. Seja {fn ; n 2 N} uma dessas sequncias.
Como fn 2 H, existe ` = `(n) 2 N0 tal que
1 X
fn (dx) = ` ` fn (x) x (dx). (3.31)
3
x2V`
Seja h 2 H1 . Em particular, h 2 C(K) e

Z Z
h(x)(dx) = lim h(x) fn (dx). (3.32)
n!1
Por outra parte,

Z X X
5 `
h(x) fn (dx = 3 h(x) fn (y) fn (x)
x2V` y` x (3.33)
= E` (h, fn ),
R
eR portanto | h(x) fn (dx)| E` (h, h)1/2 E` (fn , fn )1/2 . Vemos que
h(x) fn (dx) ! 0 quandoRn ! 1. Notemos que se fn ! 0 em H1 ,
ento E(fn , fn ) ! 0. Logo, hd = 0 para toda h 2 H1 , e como H1
denso em C(K), conclumos que = 0, o que prova a proposio.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 51 #60
Esta proposio nos leva nossa primeira definio do operador

Laplaciano em K. Dizemos que o fecho do operador : H H1 !
M(K) o operador Laplaciano em K. Denotaremos este operador
pelo mesmo smbolo , o que no dar lugar a confuses, pois o
mesmo a nica extenso fechada do Laplaciano definido anterior-
mente para funes em H. Denotaremos por D o domnio de .
A principal desvantagem desta definio que o domnio dele
difcil de descrever. De fato, neste ponto no somos capazes de provar
que o domnio estritamente maior do que H. Uma forma de superar
este problema dada pela cadeia de proposies seguinte:
Proposio 37. Para quaisquer h 2 H1 , f 2 D,
Z
h(x) f (dx) khk1 kf k1 . (3.34)
Demonstrao. No decorrer da prova da Proposio 36, provamos

que (3.34) vale para h 2 H1 e f 2 H. Seja f 2 D. Ento, existe uma
sequncia {fn ; n 2 N} em H tal que fn ! Rf em H1 e fn ! f em
M(K). AlmR disso, podemos supor que fn d = 0 para qualquer
n 2 N e que f d = 0, pois (f + ) = f para qualquer 2 R.
Seja h 2 H1 . Em particular, h 2 C(K) e portanto
Z Z
h(x) f (dx) = lim h(x) fn (dx)
n!1
(3.35)
lim E(h, h)1/2 E(fn , fn ).
n!1
Por conta da mdia zero das funes {fn ; n 2 N} e f , temos que

E(fn , fn ) = |||fn |||2 ! |||f |||2 = E(f, f ), o que prova a proposio.
Agora definiremos uma norma em M(K) da seguinte forma: seja
2 M(K). Ento, a norma H 1 de dada por
R
f d
kk 1 = sup . (3.36)
f 2H1 |||f |||
f 6=0
Notemos que pelo momento no sabemos se k k 1 uma norma ou

no. Esta questo respondida pela proposio seguinte:
Proposio 38. A norma H 1 uma norma em M(K).
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 52 #61
Demonstrao. Pela Proposio 33, vemos que para R qualquer f 2 H1 ,

kf k1 c0 |||f |||. Logo, para qualquer 2 M(K), f d c0 |||f ||| ||
e em particular kk 1 c0 || finita para qualquer 2 M(K).
Notemos que imediato da definio que k k 1 = | |kk 1 e que
k + 0 k 1 kk 1 + kk 1 para quaisquer 2 R, , 0 2 M(K).
Logo,
R k k 1 uma seminorma em M(K). Se kk 1 = 0, ento
R 0 para qualquer h 2 H1 . Considerando h e h, vemos
hd
que hd = 0 para qualquer h 2 H1 . Como H1 denso em C(K),
conclumos que = 0, o que prova a proposio.
Definimos o espao de Sobolev H 1 como o fecho de M(K) com

respeito norma k k 1 . Consideremos
R a forma bilinear h, i : H1
M(K) ! R definida como hh, i = hd para quaisquer h 2 H1 ,
2 M(K). Observemos que a forma bilinear h, i contnua em
H1 H 1 . Em particular, ela possui uma nica extenso contnua
(ainda denotada por) h, i : H1 H 1 ! R. De fato, suficiente
notar que
R
hh, i = hd kk 1 |||h|||. (3.37)
O espao H 1 extremamente abstrato, pois alm do fato que

M(K) denso em H 1 , no podemos dizer mais nada sobre ele. Por
outra parte, a forma bilinear h, i nos permite identificar H 1 como
um subconjunto do dual topolgico do conjunto H1 : seja 2 H 1 .
Ento, a aplicao h 7! hh, i linear e contnua.
Seja f : K ! R limitada. Podemos identificar f com a medida
f (x)(dx), o que nos d uma imerso cannica do espao de funes
limitadas no espao M(K) de medidas finitas. Com esta identifica-
o, vemos
R que para f, g 2 L () podemos definir o prosuto interno
2
hf, gi = f gd, de forma que ele coincida com o produto definido

anteriormente no caso em que f 2 H1 e gd 2 M(K). Este sempre
o caso, pois g 2 L1 () e (K) < 1.
Vejamos agora qual a utilidade do espao H 1 . Temos que:
Proposio 39. O operador : D H1 ! H 1 contnuo. Em

particular, existe uma nica extenso contnua (que ainda denotare-
mos por) : H1 ! H 1 do Laplaciano em K.
Demonstrao. Pela Proposio 37, para quaisquer h 2 H1 , f 2 D
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 53 #62
com h 6= 0, R
h f (dx)
kf k1 . (3.38)
|||h|||
Maximizando sobre h 2 H1 , obtemos a prova da proposio.
Desta forma, temos construdo mais uma extenso da definio
do operador Laplaciano em K. A vantagem desta construo que
agora o Laplaciano de uma funo f est bem definido para qualquer
f 2 H1 .1 A desvantagem que o espao H 1 bem abstrato; nem
sequer sabemos se ele diferente de M(K). No prximo captulo
veremos que o fato mais relevante desta construo que poss-
vel identificar H 1 com um subconjunto do dual topolgico de H1 ,
o que permitir introduzir o conceito de soluo fraca de equaes
diferenciais envolvendo o Laplaciano .
Como o Laplaciano contnuo como funo de H1 em H 1 , a
frmula de integrao por partes (2.19) imediatamente generalizada
Proposio 40. Para quaisquer f, g 2 H1 ,
E(f, g) = hf, gi = hg, f i. (3.39)
1 Outra vantagem que esta extenso pode ser definida sem fazer meno ao
conceito de fecho dum operador linear
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 54 #63
Captulo 4
Equaes diferenciais
parciais em K
Agora que temos definido o Laplaciano para funes no espao de

Sobolev H1 , podemos comear a definir equaes diferenciais parciais
no conjunto K. Possivelmente os exemplos mais simples de equaes
diferenciais parciais envolvendo o operador Laplaciano so a equao
de Poisson u = g e a equao do calor @t u = u. Lembremos que
os pontos {a0 , a1 , a2 } do conjunto V0 podem ser interpretados como
a fronteira do conjunto K. Portanto, razovel impor algum tipo de
condio de fronteira no conjunto V0 . A condio de fronteira mais
simples a dita condio de fronteira de Dirichlet, que corresponde
a fixar o valor da funo u no conjunto V0 . Por simplicidade, consi-
deraremos o caso em que impomos que u 0 em V0 , o caso geral no
difere muito deste caso particular.
4.1 A equao de Poisson em K

Seja g : K ! R uma funo dada. Dizemos que uma funo u : K !
R uma soluo forte da equao de Poisson
u=g (4.1)
em K com condio de fronteira de Dirichlet identicamente nula se:
54
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 55 #64
[SEC. 4.1: A EQUAO DE POISSON EM K 55
i) u 2 H10 ,
ii) u 2 M(K) e existem constantes b1 , b2 , b3 tais que

X
f (dx) = g(x)(dx) + bi ai (dx). (4.2)
i=0,1,2
Lembremos que na Seo 3.3 o Laplaciano duma funo u 2 H1 foi

descrito como um elemento do espao abstrato H 1 . Na prtica, no
fcil decidir se u ou no uma medida, pelo que introduziremos
uma outra noo de soluo da equao (4.1). Dizemos que uma
funo u : K ! R uma soluo fraca da equao (4.1) se:
i) u 2 H10 ,
ii) para qualquer f 2 H10 ,

Z
hu, fi = g(x)f (x)(dx). (4.3)
Acontece que, apesar da notao, solues fracas no so mais

fracas do que solues fortes de (4.1). De fato, temos a proposio
seguinte:
Proposio 41. Toda soluo fraca de (4.1) uma soluo forte.
Demonstrao. Seja u uma soluo fraca de (4.1). Seja f 2 H10 .

Para cada n 2 N, sejam un = Hn u e f n = Hn f . Lembremos que
un ! u e f n ! f em H10 . Temos que hu, f i = limn hun , f n i =
limn h un , f n i = h u, f i. Conclumos que para qualquer f 2 H10 ,
Z
h u, f i = g(x)f (x)(dx). (4.4)
Da definio de H 1 pode-se ver que se 1 , 2 2 H 1 satisfazem

h1 , f i = h2 , f i para qualquer fP2 H10 , ento existem constantes
{bi ; i = 0, 1, 2} tais que 1 2 = i bi ai . De fato, esta propriedade
consequncia da propriedade anloga no espao M(K). Portanto,
como M(K)P H 1 , conclumos que u 2 M(K) e que u(dx) =
g(x)(dx) + i bi ai (dx), como queramos provar.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 56 #65
56 [CAP. 4: EQUAES DIFERENCIAIS PARCIAIS EM K
A ideia por trs desta proposio que a condio u 2 H10 na

verdade uma condio muito forte. Em geral, a noo de soluo
fraca poderia no exigir que u 2 H10 , mas exatamente esta condio
a que nos permite usar o fato que u existe para provar a proposio.
A unicidade das solues fracas de (4.1) no muito difcil de
provar, como veremos na proposio seguinte:
Proposio 42. Existe no mximo uma soluo fraca da equao
(4.1).
Demonstrao. Sejam u1 , u2 duas solues de (4.1) e seja v = u1
u2 . Ento, v 2 H10 e hv, f i = 0 para qualquer f 2 H10 . Como
v 2 H10 , v 2 C(K) e alm disso v = 0 em V0 . Consideremos o
espao H de extenses harmnicas definido na Seo 3.3. Resolvendo
o
Panlogo discreto de (4.1), para quaisquer n 2 N e h : Vn ! R tal que
x h(x) = 0 possvel achar f 2 H tal que n f = h. Lembremos
que nesse caso,
1 X
f= n n f (x) x (dx). (4.5)
3
x2Vn
Conclumos que o espao { f ; f 2 H} denso no espao { 2
M(K); (K) = 0}. Da mesma forma, o espao { f ; f 2 H \ H01 }
denso no espao { 2 M(K); (K) = 0, (ai ) = 0, i = 0, 1, 2}. Em
particular, os valores de hv, f i para f 2 H \ H10 determinam v a
menos duma funo harmnica. Como j sabemos que v = 0 em V0 ,
conclumos que v 0, o que prova a unicidade requerida.
Notemos que podemos generalizar a definio de soluo forte de
(4.1) para o caso em que g 2 M(K). No caso de solues fracas,
podemos generalizar a definio para o caso em que g 2 H 1 . No
difcil verificar que tanto a Proposio 41 quanto a Proposio 42
podem ser generalizadas para estas situaes mais gerais.
A existncia de solues de (4.1) obtm-se construindo de forma
explcita uma soluo de (4.1). Para isso usaremos a funo de Green
introduzida na seo 2.8. Comearemos estendendo a funo G(, ) a
K K:
Proposio 43. A funo de Green G : V1 V1 Hlder-contnua.
Em particular, G estende-se continuamente a uma funo (ainda de-
notada por) G : K K ! R que satisfaz as propriedades enunciadas
na Proposio 29.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 57 #66
[SEC. 4.1: A EQUAO DE POISSON EM K 57
Demonstrao. Pelas Proposies 22 e 29, a funo G uniforme-

mente Hlder-contnua na segunda varivel. Pela simetria de G, G
tambm uniformemente Hlder-contnua na primeira varivel, o que
prova a Hlder-continuidade de G. As outras propriedades so pre-
servadas por dita extenso, o que prova a proposio.
Uma observao importante, que para qualquer x 2 V1 , a fun-

o G(x, ) : K ! R uma soluo forte de (4.1) com g = x (dx).
Se x 2 K \ V1 , ento no bvio mostrar que G(x, ) soluo forte
de (4.1) com g = x (dx). A proposio seguinte uma aplicao
no trivial do conceito de soluo fraca:
Proposio 44. Para qualquer x 2 K, G(x, ) a soluo de (4.1)

com g = x (dx).
Demonstrao. Como solues fracas e fortes so equivalentes, su-

ficiente provar que G(x, ) uma soluo fraca de (4.1) com g =
x (dx). Para f 2 H1 e ` 2 N, seja f = ` f . Suponhamos que
0 `
f 2 M(K). Lembremos que o conjunto de funes f tais que

f 2 M(K) denso em H01 . Seja {xn ; n 2 N} tal que xn 2 Vn para
qualquer n 2 N e tal que limn xn = x. Temos que G(xn , ) ! G(x, )
quando n ! 1 com respeito topologia uniforme. Portanto,
hG(x, ), f i = lim hG(xn , ), f i = lim lim hG(xn , ), f `i

n!1 n!1 `!1
= lim lim h G(xn , ), f ` i = lim lim f ` (xn )

n!1 `!1 n!1 `!1
= f (x).
(4.6)
Como G(x, ) 2 H10 , pela densidade mencionada acima conclumos

que hG(x, ), f i = f (x) para qualquer f 2 H10 , o que prova a
proposio.
A prova acima uma aplicao clssica do conceito de soluo

fraca duma equao diferencial. Como a formulao fraca s envolve
integrais, ela estvel via aproximaes uniformes, como no caso
acima.
Notemos que a proposio acima responde a pergunta sobre a
existncia de solues de (4.1) no caso g = x (dx). Para funes
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 58 #67
g : K ! R arbitrrias, a proposio seguinte explica como construir

uma soluo de (4.1):
Proposio 45. Seja g : K ! R limitada. Defina u : K ! R como
Z
u(x) = g(y)G(x, y)(dy) (4.7)
para qualquer x 2 K. Ento, u uma soluo de (4.1).

Demonstrao. Suponhamos paraR comear que g contnua. Para
n 2 N e x 2 Vn , seja un (x) = g(y)G(x, y)n (dy). Notemos que
como G = Gn em Vn Vn , para qualquer x 2 Vn \ V0 temos que
X
n
n u (x) =
1
3n g(y) n Gn (x, y) = g(x), (4.8)
y2Vn
onde o Laplaciano calculado na primeira coordenada. Pela conti-

nuidade das funes g e G,
lim sup un (x) u(x) = 0. (4.9)

n!1 x2Vn
Notemos que para g limitada, s temos convergncia pontual de un a

u. Seja agora f 2 H \ H10 . Para n suficientemente grande, temos que
hun , f i = hun , n f in =h nu
n
, f in = hg, f in . (4.10)
Pela convergncia uniforme de un a u, conclumos que hu, f i =

hg, f i. Logo, s falta mostrar que u 2 H10 para provar a propo-
sio. Pela Proposio 43, existe uma constante c finita tal que
E(G(,R y), G(, y)) c para qualquer x 2 K. Interpretando a inte-
gral g(y)G(x, y)(dy) como uma combinao linear de elementos
G(, y) de H10 , conclumos que E(u, u) < 1. Por definio, u(ai ) = 0
para i = 0, 1, 2, o que prova que u 2 H10 .
4.2 Solues de energia da equao do ca-

lor
Seja T > 0 fixo e seja u = {u(x, t); x 2 K, t 2 [0, T ]} uma funo real.
Denotaremos por ut : K ! R a funo x 7! u(x, t). Dizemos que u
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 59 #68
[SEC. 4.2: SOLUES DE ENERGIA DA EQUAO DO CALOR 59
tem energia finita se

Z T
E(ut , ut )dt < 1. (4.11)
0
Notemos que esta condio no garante que E(ut , ut ) seja finita para
todo t 2 [0, T ]. Por outra parte para toda funo u de energia finita,
E(ut , ut ) finita para quase todo t 2 [0, T ] (com respeito medida
de Lebesgue em [0, T ]). Em particular, ut uma funo contnua
para quase todo t 2 [0, T ] e logo ut (x) est bem definido para quase
todo t 2 [0, T ]. Seja H1,T
0
o espao de funes de energia finita que
satisfazem ut (ai ) = 0 para quase todo t 2 [0, T ] e para qualquer
i = 0, 1, 2. O espao H1,T 0
uma verso espao-temporal do espao
H1 . Assim como o espao H10 completo con respeito norma k k1 ,
0
o espao H1,T 0
um espao completo com respeito norma
Z T 1/2
kuk1,T =: E(ut , ut )dt . (4.12)
0
A funo
Z T
(u, v) 7! E(ut , vt )dt (4.13)
0
define um produto interno em H1,T0

.
Seja : K ! R dada. Dizemos que uma funo u = {u(x, t); x 2
K, t 2 [0, T ]} uma soluo de energia da equao do calor com
condio de fronteira de Dirichlet identicamente nula
8
< @t u(x, t) = u(x, t), x 2 K \ V0 , t 2 [0, T ]
u(x, t) = 0, x 2 V0 , t 2 [0, T ] (4.14)
:
u(0, x) = (x), x 2 K
se:
i) u 2 H1,T
0
,
ii) para qualquer trajetria f : [0, T ] ! H10 de classe C 1 ,

Z T
hfT , uT i = hf0 , i + hut , @t ft i E(ft , ft ) dt. (4.15)
0
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 60 #69
Em outras palavras, u uma soluo de energia de (4.14) se ela

for uma soluo fraca de (4.14) e alm disso u tiver energia finita.
Chamaremos a esta condio adicional de condio de energia. Neste
ponto importante notar que se u for s uma soluo fraca de (4.14),
no podemos deduzir que u tem energia finita. De forma lgica,
quanto mais fraca uma noo de soluo de uma equao diferencial,
mais fcil provar existncia de solues e mais difcil provar unici-
dade das solues. De forma recproca, quanto mais forte uma noo
de soluo, mais fcil provar unicidade de ditas solues, e mais di-
fcil provar a existncia de ditas solues. Se uma noo de soluo
for muito fraca, ento h o risco da equao em questo ter mlti-
plas solues. Se uma noo de soluo for muito forte, h o risco
da equao em questo no ter solues. Veremos que a condio de
energia finita est no meio do caminho, no sentido que existncia e
unicidade das solues de (4.14) podem ser provadas com ideias nas
quais a condio de energia finita entra de forma decisiva.
4.3 Unicidade de solues de energia
Nesta seo provaremos que para qualquer : K ! R existe no

mximo uma soluo de energia da equao (4.14). Sejam u1 , u2
duas solues de (4.14) e definamos v = u2 u1 . Ento, como a
equao (4.14) linear e o conjunto H1,T
0
um espao vetorial, temos
que v uma soluo de energia de (4.14) com 0. Dizemos que
uma funo f : [0, T ] ! H10 de classe C 1 uma funo teste. Como v
tem energia finita, podemos supor que t 7! vt um caminho em H10 .
Definamos f : [0, T ] ! H10 como
Z T
ft = vs ds (4.16)
t
para t 2 [0, T ]. Notemos que como v tem energia finita, f um

caminho contnuo em H10 . De fato, pela desigualdade triangular,
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 61 #70
[SEC. 4.3: UNICIDADE DE SOLUES DE ENERGIA 61
para quaisquer s < t 2 [0, T ],

Z t Z t 1/2
p
kft fs k1 = E(vt0 , vt0 )1/2 dt0 t s E(vt0 , vt0 )dt0
ps s
t skvk1,T .
(4.17)
No entanto, estamos longe de poder provar que f de classe C 1 e

portanto uma funo teste. De fato, se f fosse de classe C 1 , ento
v seria contnua, exigncia que no faz parte da definio de solu-
o de energia. Suponhamos por um momento que f uma funo
teste, e que certas mudanas na ordem de algumas integrais esto
bem justificadas. Ento, substituindo f em (4.15) e fazendo algumas
manipulaes algbricas, vemos que
Z T
0= hvt , vt idt + E(f0 , f0 ). (4.18)
0
Como ambos termos no lado direito desta expresso so no negati-

vos, conclumos que v 0, o que provaria a unicidade buscada. Mas,
como mencionado anteriormente, no sabemos se f uma funo
teste ou no. Neste tipo de situaes, a estratgia natural consiste
em aproximar f por funes teste, para as quais as manipulaes al-
gbricas estejam bem justificadas, e depois mostrar que o resultado
final estvel sob o passo ao limite correspondente. Seja 2 (0, T ) e
definamos v = {vt (x); x 2 K, t 2 [0, T ]} como
Z t(1 )+
1 t
vt = vs ds. (4.19)
t(1 t )
A definio de v pode parecer estranha a primeira vista, mas vt

simplesmente a mdia de v num intervalo de comprimento ao redor
de t. Como dito intervalo deve estar direita de t se t = 0 e deve estar
esquerda de t se t = T , os ndices da integral em (4.19) interpolam
linearmente entre estes dois requerimentos.
Definamos agora f = {f (x, t); x 2 K, t 2 [0, T ]} como
Z T
ft = vs ds. (4.20)
t
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 62 #71
Um clculo similar ao efetuado para provar que f uma trajetria

contnua em H10 prova que v uma trajetria contnua em H10 e
logo f de classe C 1 . Em consequncia f pode ser utilizada como
funo teste, de onde obtemos que
Z T
0= hvt , vt i E(ft , vt ) dt. (4.21)
0
Na sequncia de proposies seguintes, provaremos que esta relao

continua sendo vlida ao tomar o limite ! 0.
Proposio 46. Para toda v 2 H1,T
0
temos que
lim kv vk1,T = 0. (4.22)

!0
Demonstrao. Definamos K : [0, T ] [0, T ] ! R+ como

1
K (s, t) = 0s t 1 T . (4.23)
RT
Notemos que vt = 0 K (s, t)vs ds. A funo K o que se conhece
como ncleo de integrao, e a sequncia {K ; 2 (0, T )} o que se
conhece como aproximao da identidade. Temos que
R
kvt k21 = k K (s, t)vs dsk21
Z T Z T
K (s, t)ds K (s, t)kvs k21 ds
0 0
(4.24)
Z T
K (s, t)kvs k21 ds.
0
Usando o lema de Tonelli, vemos que

Z T Z T Z T
2
kvt k1 dt K (s, t)dt kvs k21 ds
0 0 0
Z T
(4.25)
1
1 T kvt k21 dt.
0
Portanto, a famlia de aplicaes lineares {v 7! v ; 2 (0, T2 )} uni-

formemente contnua. Afirmamos que suficiente provar a proposio
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 63 #72
para uma famlia de caminhos v densa em H1,T

0
. De fato, se este for
o caso, possvel achar uma sequncia {v ; n 2 N} de funes em
n
0
H1,T Tais que:
i) kv v n k1,T converge a 0 quando n ! 1,
ii) para qualquer n 2 N, k(v n ) v n k1,T converge a 0 quando

n ! 1.
Neste caso,
kv v k1,T kv v n k1,T + kv n (v n ) k1,T + k(v n ) v k1,T

1
1 + 1 + T 2 kv v n k1,T + kv n (v n ) k1,T .
(4.26)
Quando ! 0, o primeiro termo do lado direito desta desigualdade

converge a 2kv v n k1,T , e o segundo termo converge a 0 por hiptese.
Agora n arbitrrio pelo que mandando n ! 1, conclumos que
kv v k1,T converge a 0 quando ! 0, o que prova a afirmao.
Portanto, s precisamos achar um conjunto denso de funes v
para as quais possamos provar a proposio. Mas, se o caminho
t 7! vt for uniformemente contnuo como funo de [0, T ] em H10 ,
Z T
kvt v t k1 K (s, t)kvs vt k1 dt ! (v), (4.27)
0
onde
! (v) = inf kvs v t k1 (4.28)
|s t|
o mdulo de continuidade do caminho t 7! vt . Portanto, a propo-

sio vale para trajetrias t 7! vt uniformemente contnuas. Como
ditas trajetrias so densas em H1,T
0
, a proposio segue.
Proposio 47.
Z T Z T
lim hvt , vt idt = hvt , vt idt. (4.29)
!0 0 0
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 64 #73
Demonstrao. Pela Proposio 31,

Z T Z T
hvt , vt i hvt , vt i dt hvt vt , vt i dt
0 0
Z T Z T
2
kvt vt k1 kvt k1 dt kvt vt k1 kvt k1 dt
0 0
Z T 1/2 Z T 1/2
2 T kvt vt ||1 dt kvt k21 dt ,
0 0
(4.30)
que converge a 0 quando ! 0 pela Proposio 46.
Proposio 48.
Z T Z T
lim E(ft , vt ) = E(ft , vt )dt. (4.31)
!0 0 0
Demonstrao. O limite acima pode ser rescrito como

Z T
lim E(ft ft , vt )dt = 0. (4.32)
!0 0
Esta integral o produto interno em H1,T

0
entre ft f e vt . Logo,
suficiente provar que f converge a f em H1,T
0
, isto , provar que
Z T
lim kft ft k21 dt = 0. (4.33)
!0 0
Mas
RT
kft ft k21 = k t
(vs vs )dsk21
Z T
T t kvs vs k21 ds (4.34)
0
T kv vk21 ,
que pela Proposio 46 converge a 0 quando ! 1.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 65 #74
Combinando as Proposies 47 e 48 e a identidade (4.21), con-

clumos que
Z T
hvt , vt i + E(ft , vt ) dt = 0. (4.35)
0
Agora precisaremos de uma ltima proposio:
Proposio 49. Seja v 2 H1,T

0
e seja f 2 H1,T
0
definida como
Z T
ft = vs ds. (4.36)
t
Ento,
RT
0
E(ft , vt )dt = 12 E(f0 , f0 ). (4.37)
Demonstrao. Como v tem energia finita, temos que ft 2 H10 para

todo t 2 [0, T ] e vt 2 H10 para quase todo t 2 [0, T ]. Para estes valores
de t, temos que
E(ft , vt ) = lim En (ft , vt ). (4.38)
n!1
Mais ainda, o limite montono (no decrescente, para ser mais

precisos). Pelo teorema da convergncia montona,
Z T Z T
E(ft , vt )dt = lim En (ft , vt ). (4.39)
0 n!1 0
Por outra parte, En (ft , vt ) simplesmente uma soma finita, pelo que
podemos trocar a ordem da soma e da integral para provar que
Z T
En (ft , vt )dt = 12 En (f0 , f0 ). (4.40)
0
Tomando o limite n ! 1, a proposio est provada.
Uma vez provadas todas estas proposies, a unicidade das solu-

es de energia de (4.14) pode ser provada em duas linhas. De fato,
se u1 , u2 so solues de energia, ento v = u1 u2 satisfaz
Z T
hvt , vt idt + 12 E(f0 , f0 ) = 0, (4.41)
0
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 66 #75
RT
onde f0 = 0 vt dt. Como ambos termos so no negativos, conclu-
RT
mos que 0 hvt , vt idt = 0, o que implica que vt = 0 para quase todo
t 2 [0, T ]. Logo, v = 0 como elemento de H1,T 0
, o que prova que
u1 = u2 .
4.4 Existncia de solues

Para provar a existncia de solues de energia de (4.14), usaremos
uma ideia vinda de anlise numrica: consideraremos as solues de
uma sequncia de equaes semidiscretas e mostraremos que dito con-
junto de solues possui pelo menos um ponto limite, que provaremos
que uma soluo de energia de (4.14).
Sejam n 2 N e n : Vn ! R dados. Seja {unt (x); t 0, x 2 Vn } a
soluo do sistema de equaes diferenciais ordinrias
8 d n
< dt ut (x) = n ut (x) para x 2 Vn \ V0 e t 0,
n
>
unt (x) = 0 para x 2 V0 e t 0, (4.42)
>
:
un0 (x) = n (x) para x 2 Vn \ V0 .
A funo n dita a condio inicial deste sistema. Pelo teorema

de Picard-Lindelf, para qualquer condio inicial n este sistema
tem uma nica soluo. Logo, a funo un = {unt (x); t 0, x 2 Vn }
est bem definida. A funo un dita a soluo da equao do calor
em Vn com condio inicial n e condies de fronteira nulas. Para
t 0, denotemos por unt a extenso harmnica de unt ao conjunto
K. Na sequncia de proposies seguinte, mostraremos que sob con-
dies adequadas nas funes { n ; n 2 N}, a sequncia {un ; n 2 N}
relativamente compacta com respeito a uma topologia adequada, e
que todo ponto limite dela uma soluo de energia de (4.42). An-
tes de comear com a demonstrao desta afirmao, provaremos um
par de proposies que so fundamentais na teoria de equaes dife-
renciais parciais: o princpio do mximo e a estimativa da energia.
Estas duas proposies nos daro informao a priori das solues de
(4.42), que no depender muito da condio inicial n ou do ndice
n. Por completitude, provaremos o princpio do mximo para uma
generalizao da equao (4.42). Sejam n 2 N, T 2 [0, 1] fixos e
sejam n : Vn ! R, gni : [0, T ] ! R, i = 0, 1, 2 dadas. Suporemos que
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 67 #76
[SEC. 4.4: EXISTNCIA DE SOLUES 67
as funes {gni ; i = 0, 1, 2} so contnuas. Notemos que pode ser que

T = 1. Dizemos que un = {unt (x); t 2 [0, T ], x 2 Vn } uma soluo
da equao do calor em Vn com condio inicial n e condies de
fronteira {gni ; i = 0, 1, 2} se
8 d n
< dt ut (x) = n ut (x) para x 2 Vn \ V0 e t
n
> 0,
unt (ai ) = gni (t) para x 2 V0 e t 0, (4.43)
>
:
un0 (x) = n (x) para x 2 Vn \ V0 .
O teorema de Picard-Lindelf prova que esta equao tem uma

nica soluo, que diferencivel em t se x 2
/ V0 .
O chamado princpio do mximo corresponde proposio se-
guinte:
Proposio 50 (Princpio do mximo). Seja un uma soluo de

(4.43). Ento,
sup unt (x) = sup unt (x), (4.44)
t2[0,T ] (x,t)2CT
x2Vn
onde CT = {(x, t); t 2 [0, T ], x 2 V0 } [ {(x, 0); x 2 Vn }.
Demonstrao. Suponhamos que no. Seja S o supremo direita de

(4.44). Ento existem t 2 (0, T ] e M 2 R tais que
max unt (x) > M > S. (4.45)

x2Vn \V0
Seja t0 = inf{t 0; maxx unt (x) M } e seja A = {x 2 Vn ; unt0 (x) =

M }. Pela continuidade de un , A no vazio e por hiptese, A \
V0 = ?. seja x0 2 A tal que y n x0 para algum y 2 / A. Ento
unt0 (z) M = unt0 (x0 ) para todo z n x0 e a desigualdade estrita
pelo menos no caso z = y. Logo, n unt0 (x0 ) < 0. Por outra parte,
para qualquer 0 < s < t0 , uns (x0 ) < unt0 (x0 ), pelo que dt
d n
ut0 (x0 ) 0,
o que uma contradio.
Agora provaremos a chamada estimativa da energia:
Proposio 51 (Estimativa da energia). Seja {unt (x); t 2 [0, T ], x 2

Vn } uma soluo da equao (4.42) com condio inicial n . Ento,
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 68 #77
para qualquer t 2 [0, T ],

Z t
1 X n 2 n n 1 X 2
u t (x) + 2E n (u s , u s )ds = n (x) , (4.46)
3n 0 3n
x2Vn x2Vn
Z t
1 X 2
En (unt , unt ) + n
n us (x) ds = En ( n, n ). (4.47)
0 2 3n
x2Vn
Demonstrao. suficiente notar que

d X n 2 X
ut (x) = 2unt (x) n
n ut (x) = 2En (unt , unt ) (4.48)
dt
x2Vn x2Vn
e integrar esta relao no intervalo [0, t]. Na primeira igualdade usa-

mos o fato que unt = 0 em V0 para trocar dt ut (ai ) por n unt (ai ),
d n
e na segunda igualdade usamos a frmula de integrao por partes

(2.19)
O princpio do mximo e a estimativa da energia todo o que
precisamos para provar a compacidade relativa mencionada acima.
Proposio 52. Seja { n ; n 2 N} uma sequncia de funes de Vn
em R. Suponhamos que existe uma constante finita tal que
1 X 2 n
sup n n (x) , sup sup n (x) . (4.49)
n2N 3 n2N x2Vn
x2Vn
Seja un = {unt (x); t 2 [0, T ], x 2 Vn } a soluo de (4.42) com con-

dio inicial n e seja un a extenso harmnica de un . Ento a
sequncia {un ; n 2 N} equicontnua.
Demonstrao. Pela estimativa da energia, vemos que En (unt , unt )
decrescente em t. Como a condio (4.49) implica que En ( n , n )
, conclumos que
sup sup En (unt , unt ) . (4.50)

n2N t2[0,T ]
Em particular, pela Proposio 22 as funes {unt ; t 2 [0, T ], n 2 N}

so uniformemente equicontnuas na varivel espacial x. Definamos
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 69 #78
agora v n = {vtn (x); t 2 [0, T ], x 2 Vn } como

n
n ut (x), x 2 Vn \ V0 ,
vtn (x) = (4.51)
0, x 2 V0
para x 2 Vn e t 2 [0, T ]. Vemos que v n uma soluo de (4.42) com

condio inicial n n . Pelo princpio do mximo,
sup vtn (x) sup n n (x) . (4.52)

x2Vn x2Vn
t2[0,T ]
Como d n
dt ut (x) = n
n ut (x) para t 2 [0, T ], x 2 Vn \ V0 , conclumos
que
d n
sup sup dt ut (x) . (4.53)
n2N x2Vn
t2[0,T ]
Em particular, as funes {unt (x); x 2 Vn , n 2 N} so uniformemente

Lipschitz (e em particular equicontnuas) na varivel temporal, o que
prova a proposio.
Agora provaremos que todo ponto limite das solues aproximadas
da equao (4.14) uma soluo de energia:
Proposio 53. Sob as hipteses da Proposio 52, todo ponto limite
de {un ; n 2 N} uma soluo de energia da equao (4.14).
Demonstrao. Seja u = {ut (x); t 2 [0, T ], x 2 K} um ponto limite
de {un ; n 2 N}. Por simplicidade, denotaremos por n a subsequncia
ao longo da qual un converge a u. Para quaisquer ` 2 N e t 2 [0, T ],
E` (ut , ut ) = lim E` (unt , unt ) lim E(unt , unt )

n!1 n!1
(4.54)
lim En (unt , unt ) .
n!1
Conclumos que E(ut , ut ) para qualquer t 2 [0, T ], e em particular

RT
0
E(ut , ut )dt < 1. Por definio, unt (ai ) = 0 para i = 0, 1, 2. Logo,
0
u 2 H1,T . Seja agora f : [0, T ] ! H10 uma trajetria de classe C 1 .
Como u soluo de (4.42), vemos que
n
Z T
n n
hfT , uT in = hf0 , in + hunt , @t f in En (ft , ft ) dt. (4.55)
0
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 70 #79
Notemos que todos os trminos desta igualdade so convergentes

quando n ! 1, e o limite justamente a relao (4.15), o que prova
que u soluo de (4.14).
Observemos que a convergncia de n a uma condio inicial li-
mite parte da convergncia de un a u. Pelo momento, a propo-
sio acima no o resultado de existncia que a gente gostaria de
ter. De fato, as condies (4.49) impostas na sequncia { n ; n 2 N}
so bem restritivas, e nem sequer sabemos se existem sequncias no
triviais de funes { n ; n 2 N} satisfazendo estas condies. Por este
motivo, provaremos a proposio seguinte:
Proposio 54. Seja g : K ! R limitada. Ento existe sequncia
{ n ; n 2 N} satisfazendo (4.49) tal que
n
lim sup (x) (x) = 0, (4.56)
n!1 x2Vn
onde a soluo de = g.
Demonstrao. Suponhamos por um momento que g contnua. No-
temos que
Z
(x) = g(y)G(x, y)(dy) kgk1 kGk1 (K). (4.57)
Portanto, limitada. Como Gn simplesmente a restrio de G ao

conjunto Vn Vn , vemos que n : Vn ! R definida como
n 1 X
(x) = n g(y)G(x, y) (4.58)
3
y2Vn
satisfaz as propriedades requeridas. Para g limitada, fazemos o se-

guinte. Para n 2 N e x 2 Vn , escolhemos um tringulo em Vn que
contenha x, e definimos
Z
n 1
g (x) = g(y)(dy), (4.59)
( )
n 1 X n
(x) = n g (y)G(x, y). (4.60)
3
y2Vn
As propriedades requeridas so agora consequncia da continuidade

da funo G.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 71 #80
Esta proposio tem como consequncia imediata o resultado de

existncia de solues de (4.14) seguinte:
Proposio 55. Para qualquer 2 H10 tal que uma funo
limitada, existe uma soluo de energia de (4.14) com condio inicial
.
A estimativa da energia permite estender este resultado de exis-
tncia de forma substancial:
Proposio 56. Para qualquer 2 L2 (), existe uma soluo de
energia de (4.14) com condio inicial .
Demonstrao. Passando ao limite na estimativa da energia (4.46),
vemos que as solues de (4.14) construdas acima satisfazem
Z
kuk21,T (x)2 (dx). (4.61)
Pela linearidade da equao (4.14), vemos que se { ` ; ` 2 N} uma

sequncia de Cauchy em L2 (), ento as correspondentes solues
de energia {u` ; ` 2 N} formam uma sequncia de Cauchy em H1,T 0
.
O mesmo argumento usado para provar que os limites obtidos na
Proposio 53 so solues de energia de (4.14) servem para provar
que limites em H1,T0
de solues de energia de (4.14) so tambm
solues de energia de (4.14). Portanto, s resta provar que o conjunto
de funes 2 H10 tais que uma funo limitada, denso em
L2 (). Seja x 2 K e para cada ` 2 N seja ` um tringulo em V` que
contm x. Definamos g ` : K ! R como
1
g ` (y) = (y 2 ` ). (4.62)
( ` )
A sequncia {g ` ; ` 2 N} uma aproximao de x (dx). Seja ` a
soluo de `
= g ` . Como G contnua, vemos que ` converge
uniformemente a G(x, ). Este argumento fcilmente modificvel
para construir uma sequncia { ` ; ` 2 N} de funes en H10 tais
que `
uma funo limitada, e tais que { ` ; ` 2 N} converge
uniformemente a uma extenso harmnica qualquer f 2 H10 . Como as
extenses harmnicas so densas em H10 , a proposio est provada.
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 72 #81
i i
i i
i i
i i
Fractais 2013/6/18 10:44 page 73 #82
Bibliografia
[1] Martin T. Barlow and Edwin A. Perkins. Brownian motion

on the sierpinski gasket. Probability Theory and Related Fields,
79(4):543623, 1988.
[2] Johel Beltrn. Cadenas de Markov y Teora de Potencial,
28 Colquio Brasileiro de Matemtica, Publicaes Matemticas.
IMPA, Rio de Janeiro, 2011.
[3] Milton Jara. Hydrodynamic limit for a zero-range process in

the sierpinski gasket. Communications in Mathematical Physics,
288(2):773797, 2009.
[4] Jun Kigami. Analysis on fractals, volume 143, Cambridge Tracts
in Mathematics. Cambridge University Press, Cambridge, 2001.
73
i i
i i

Análise em Fractais

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Análise em Fractais

Transféré par

Droits d'auteur :

Formats disponibles

Anlise em Fractais

29o Colquio Brasileiro de Matemtica

Impresso no Brasil / Printed in Brazil

29o Colquio Brasileiro de Matemtica

minha esposa e ao Pedro

Ao longo dos ltimos anos, a teoria de grafos tem se tornado uma

Figura 1: O tringulo de Sierpinski K.

gitimamente chamado de movimento Browniano, ento ser possvel

Figura 2: Uma rvore aleatria de alta interconetividade (imagem

ficados. Na Figura 2, vemos um exemplo no trivial de rvore, que de

no necessrio um conhecimento prvio de anlise funcional ou de

a completitude do espao de medidas com respeito topologia

4 Equaes diferenciais parciais em K 54

1.1 Construo do Tringulo de Sierpinski

Figura 1.1: O tringulo T?

2 [CAP. 1: O TRINGULO DE SIERPINSKI

Figura 1.2: As primeiras etapas da construo de K

para x 2 R2 e i = 0, 1, 2. Definamos os conjuntos {Kn ; n 2 N0 }

Notemos que K1 K0 . Um argumento indutivo mostra que ento

compacto e no vazio. Chamaremos ao conjunto K de tringulo de

para todo n 2 N0 . Notemos que V0 V1 e de forma indutiva, Vn

[SEC. 1.1: CONSTRUO DO TRINGULO DE SIERPINSKI 3

Olhando com ateno para a Figura 1.2, vemos que o conjunto

Proposio 1. Seja n 2 N, e seja In o conjunto de sequncias

ii) Para i 6= j 2 In , a interseo de Ti e Tj vazia ou tem exata-

iii) O conjunto Vn formado pelos vrtices dos tringulos {Ti ; i 2

iv) Para todo i 2 In , o tringulo Ti tem lado 2n .

A prova desta proposio muito simples, e portanto ser omitida.

Proposio 2. O conjunto K igual ao fecho do conjunto V1 .

Demonstrao. O item iii) da Proposio 1 implica que V1 K e

4 [CAP. 1: O TRINGULO DE SIERPINSKI

tal que x 2 Ti ; note-se que h pelo menos uma e no mximo duas

1.2 Dimenso de Hausdor

B(x; r) = {y 2 Rd ; |y x| < r}. (1.8)

Seja B 2 B(Rd ) um conjunto de Borel dado. Uma cobertura de B

Notemos que possvel parametrizar a cobertura A por {(xi ; ri ); i 2

sero feitas para conjuntos de Borel por completitude. O leitor no familiarizado

[SEC. 1.2: DIMENSO DE HAUSDORFF 5

xi igual ao centro e ri igual ao raio da bola Ai . Definimos o raio da

|A| = sup ri . (1.10)

A medida exterior de Hausdor de ordem 2 [0, d] do conjunto B se

Notemos que o nfimo nesta definio sob coberturas por bolas de

dimH (B) = inf 2 [0, d]; (B) = 0 . (1.12)

Se o conjunto acima for vazio, definimos dimH (B) = d. Notemos que

Proposio 3. Para todo < dimH (B), (B) = 1.

Demonstrao. suficiente mostrar que para todo < 0 tal que

6 [CAP. 1: O TRINGULO DE SIERPINSKI

Para calcular a dimenso de Hausdor do tringulo de Sierpinski,

ao tringulo T? . Para cada sequncia ternria i, definimos Bi =

Temos que uma bola de raio (1 2n")r

[SEC. 1.3: MEDIDA DE HAUSDORFF 7

contm exatamente 3m ni tringulos de Km . Portanto, para todo

Por outra parte,

de onde conclumos que

1.3 Medida de Hausdor

8 [CAP. 1: O TRINGULO DE SIERPINSKI

Denotaremos por M(K) o conjunto de medidas finitas definidas

onde x a delta de Dirac no ponto x 2 K. Em outras palavras, para

Proposio 6. Existe uma medida em K tal que n ! quando

Lembremos que para mostrar convergncia com respeito topologia

[SEC. 1.4: A MTRICA DE HAUSDORFF E CONJUNTOS INVARIANTES 9

Como o conjunto K compacto, a funo f limitada e unifor-

Tomando o limite quando m, Rn ! 1 e depois o limite quando ` ! 1,