Sunteți pe pagina 1din 160

Deni coes e Nota cao

A transposta da matriz A, denotada por A


t
, e a matriz cujas entradas
sao: (A
t
)
ij
= A
ji
, 1 i n, 1 j m.
Vetores em IR
m
sao identicados com matrizes coluna m1. Vetores
sao denotados por letras min usculas, latinas ou gregas, em negrito,
como por exemplo: = (
1
,
2
,
3
)
t
ou x = (x
1
, x
2
, x
3
)
t
. O i-esimo
vetor da base canonica de IR
m
e denotado por e
i
.
O rotacional, o divergente, o gradiente e o laplaciano sao denotados,
respectivamente por: rot , div , e .
O conjunto dos n umeros reais e denotado por IR, o dos naturais por
IN, ao passo que IR
+
denota (0, +) e Z
+
denota IN 0.
O supremo de um subconjunto de IR, denotado por sup X, dene-se
como sendo o menor real que seja maior ou igual a todos os elementos
de X. Analogamente, o nmo de um subconjunto de IR, denotado por
inf X, dene-se como sendo o maior real que seja menor ou igual a
todos os elementos de X.
Diz-se que um subconjunto de IR
m
e compacto se ele for fechado e
limitado.
O suporte de uma fun cao f e o fecho do conjunto dos pontos onde ela
e nao nula.
c
n
() denota o conjunto das fun coes denidas em possuindo n de-
rivadas contnuas. Se n = 0, trata-se do conjunto das fun coes cont-
nuas. c

() denota o conjunto das fun coes denidas em innit-


amente diferenciaveis.
Bc() denota o conjunto das fun coes limitadas e contnuas em .
vii
c
n
0
denota o conjunto das fun coes em c
n
e de suporte compacto. A-
nalogamente, c

0
() denota o conjunto das fun coes denidas em
innitamente diferenciaveis e de suporte compacto.
O produto interno entre vetores de IR
m
e denotado por um ponto:
x y. Enquanto que o produto interno entre fun coes e denotado por
(f, g) ; e l, f) denota o valor do funcional linear l calculado na fun-
cao f.
Sendo (a, b) s c(s) IR
3
uma parametriza cao local de uma
curva, o elemento de comprimento da curva e dl = [dc/ds[ ds. E sendo
(a
1
, b
1
) (a
2
, b
2
) (s
1
, s
2
) a(s
1
, s
2
) IR
3
, uma parametriza cao
local de uma superfcie, o elemento de area da superfcie e dS = [a
s
1

a
s
2
[ ds
1
ds
2
.
viii
xii
Captulo 1
Euler e Navier-Stokes
1.1 Deducao das Equacoes
Consideremos uma por cao de uido (lquido ou gas) que, no instante t = 0,
ocupa uma regiao do espa co
0
IR
3
. Uma maneira de descrever seu
movimento e dar uma fun c ao uxo (a, t) tal que, para cada a
0
, a
curva t (a, t) descreva a trajetoria da partcula que ocupa a posi cao a
no instante t = 0. Esta e a chamada descri c ao lagrangiana e os pontos de

0
sao chamados coordenadas materiais.
Em vez de acompanharmos o movimento de cada partcula, podemos dar
a velocidade v(x, t) da partcula que, no instante t, ocupa a posi cao x. Esta
e a chamada descri c ao euleriana e os pontos x sao chamados coordenadas
espaciais.
A rela cao
v((a, t), t) =

t
(a, t) , a
0
, (1.1)
segue-se imediatamente das deni coes. Assim, conhecendo-se e sabendo-se
inverter a fun cao
t
, denida por

t
(x) = (x, t) ,
obtem-se v(x, t) pela formula
v(x, t) =

t
[(
1
t
(x), t)] .
Reciprocamente, se o campo de velocidades v(x, t) for conhecido, obtem-se
(a, t) resolvendo-se, para cada a
0
, a equa cao diferencial ordinaria com
1
2 CAP

ITULO 1. EULER E NAVIER-STOKES


condi cao inicial:
_

_
d
dt
c = v(c, t)
c(0) = a
(1.2)
(equa c ao da trajet oria), e denindo (a, t) como sendo igual ao valor da
solu cao de (1.2) no instante de tempo t.
Nosso objetivo nesta se cao e deduzir, a partir da segunda lei de Newton
e do princpio da conserva cao da massa, equa coes diferenciais envolvendo o
campo de velocidades v(x, t). Vamos admitir que a fun cao uxo existe
e possui todas as propriedades de diferenciabilidade e invertibilidade que
forem necessarias. Mais precisamente, se
t
e a regiao do espa co ocupada
pelo uido no instante t, admitimos que

t
:
0

t
x (x, t)
e diferenciavel e possui inversa diferenciavel. Se, por exemplo, v for de
classe C
1
, tal hipotese sera satisfeita para t sucientemente pequeno (Veja,
por exemplo, [55]).
`
As vezes, sera necessario que
t
possua mais de uma
derivada, mas isso nao sera dito explicitamente.
Derivada Material e Teorema do Transporte
Dada uma fun cao f(x, t), x
t
, e uma trajetoria
1
c(t), calculemos a
derivada em rela cao ao tempo da fun cao composta
f
c
(t) = f(c(t), t) ,
usando a regra da cadeia. Chamamos o resultado f

c
(t) de derivada de f ao
longo de c. Obtemos:
f

c
(t) = f (c(t), t)
dc
dt
(t) +
f
t
(c(t), t)
=
_
v f +
f
t
_
(c(t), t) .
(Denotamos o produto interno por e o gradiente por .) Denamos a
derivada material de f pela formula:
Df
Dt
= v f +
f
t
. (1.3)
1
Isto e, c satisfaz (1.2) para algum a.
1.1. DEDUC

AO DAS EQUAC

OES 3
Vimos entao que, dada uma fun cao f(x, t), a derivada material de f,
Df
Dt
, nos da o valor, no instante t, da derivada de f ao longo da trajetoria da
partcula que, no instante t, ocupa a posi cao x
t
. Nas aplica coes, pode
desempenhar o papel de f, por exemplo, a densidade de massa, a tempera-
tura, ou mesmo a propria velocidade. O operador
D
Dt
pode ser aplicado a
uma fun cao cujos valores sao matrizes ou vetores, fazendo-o atuar em cada
componente. Por exemplo:
Dv
Dt
=
_
Dv
1
Dt
,
Dv
2
Dt
,
Dv
3
Dt
_
t
.
Utilizaremos nas proximas subse coes o seguinte resultado tecnico.
Teorema 1 (Teorema do Transporte) Satisfeitas as hip oteses sobre a
fun c ao uxo mencionadas acima e sendo
t
uma regi ao onde se pode
aplicar o Teorema da Divergencia, vale a seguinte f ormula:
d
dt
_
t
f(x, t) dx =
_
t
_
Df
Dt
+fdiv v
_
(x, t) dx . (1.4)
Observa cao: Se
0
for um aberto com fronteira regular o suciente
para permitir a aplica cao do Teorema da Divergencia
2
,
t
tambem sera
um aberto satisfazendo a mesma propriedade de regularidade na fronteira,
desde que
t
satisfa ca hipoteses adequadas de regularidade e invertibilidade.
Demonstra cao (do Teorema 1): Fazendo na integral do lado esquerdo
de (1.4) a mudan ca de variaveis x =
t
(y), obtemos:
_

0
f(
t
(y), t)J(y, t) dy , (1.5)
onde J denota o determinante jacobiano
J(y, t) = det
__

i
y
j
__
1i,j3
.
Como, por hipotese,
t
e sempre inversvel, J(x, t) nunca se anula. E, co-
mo o jacobiano e contnuo e J(y, 0) e igual a 1 para todo y
0
, entao
o determinante acima e sempre positivo, tendo sido por isso desnecessario
tomar o valor absoluto de J em (1.5). A integral que resultou da mudan ca
2
Tambem chamado Teorema de Gauss. Veja [24] para o enunciado preciso do Teorema.
4 CAP

ITULO 1. EULER E NAVIER-STOKES


de variaveis tem domnio de integra cao independente do tempo, podemos
portanto trocar a ordem de deriva cao e integra cao. Obtemos:
d
dt
_
t
f(x, t) dx =
_

t
[f((y, t), t)]J(y, t) dy
+
_

0
f((y, t), t)
J
t
(y, t) dy . (1.6)
Tratemos logo da primeira integral que aparece do lado direito da igual-
dade acima. A derivada no integrando e a derivada de f calculada ao longo
de uma trajetoria. Aparece entao a derivada material que acabamos de
denir. Obtemos assim que esta primeira integral e igual a:
_

0
Df
Dt
((y, t), t)J(y, t) dy ,
a qual, atraves da mudan ca de variaveis x =
t
(y), vemos ser igual a
_
t
Df
Dt
(x, t) dx .
Vamos agora cuidar da ultima integral em (1.6). Devemos calcular a
derivada do jacobiano,
J
t
=

t

1
y
1

1
y
2

1
y
3

2
y
1

2
y
2

2
y
3

3
y
1

3
y
2

3
y
3

,
no ponto (y, t). Comutando derivadas, usando (1.1) e a regra da cadeia,
obtemos:

i
y
j
(y, t) =

y
j
[v
i
((y, t), t)] =
3

k=1
v
i
x
k
((y, t), t)

k
y
j
(y, t) .
Aplicando as propriedades usuais dos determinantes e omitindo, por en-
quanto, os pontos onde as derivadas sao calculadas, vem:
J
t
=
3

k=1

v
1
x
k

k
y
1
v
1
x
k

k
y
2
v
1
x
k

k
y
3

2
y
1

2
y
2

2
y
3

3
y
1

3
y
2

3
y
3

+
1.1. DEDUC

AO DAS EQUAC

OES 5
+
3

k=1

1
y
1

1
y
2

1
y
3
v
2
x
k

k
y
1
v
2
x
k

k
y
2
v
2
x
k

k
y
3

3
y
1

3
y
2

3
y
3

+
3

k=1

1
y
1

1
y
2

1
y
3

2
y
1

2
y
2

2
y
3
v
3
x
k

k
y
1
v
3
x
k

k
y
2
v
3
x
k

k
y
3

.
O primeiro destes tres somatorios de determinantes e igual ao produto
(v
1
/x
1
)J, pois os termos correspondentes a k = 2 e k = 3 sao iguais a
(v
1
/x
k
) vezes um determinante com linhas repetidas. Arma cao analoga
vale para os outros dois somatorios. Obtemos, entao:
J
t
= J div v ,
onde o jacobiano e sua derivada sao calculados no ponto (y, t) e o divergente
div v e calculado no ponto ((y, t), t). Da, vem:
_

0
f((y, t), t)
J
t
(y, t)dy =
_

0
f((y, t), t)[(div v)((y, t), t)]J(y, t)dy ,
que e igual, via a substitui cao x =
t
(y), a
_
t
f(x, t) div v(x, t) dx ,
o que demonstra (1.4).
Conservacao da Massa, Fluidos Incompressveis
Denotaremos por (x, t), ou simplesmente , a densidade de massa do ui-
do. Por deni cao, e uma fun c ao tal que a massa da por cao de uido que
ocupa uma regiao no instante t e dada por
_

(x, t) dx .
A hipotese de que a massa se conserva se traduz na equa cao
_

0
(x, 0) dx =
_
t
(x, t) dx ,
valida para todo t 0, onde
t
e a imagem de
0
por
t
, e
0
e arbitrario.
Assumindo como hipotese que tem derivadas contnuas, e aplicando entao
o Teorema do Transporte, temos:
0 =
d
dt
_
t
(x, t) dx =
_
t
_
D
Dt
+div v
_
(x, t) dx .
6 CAP

ITULO 1. EULER E NAVIER-STOKES


Se e um aberto qualquer ocupado pelo uido no instante t, entao existe um
aberto
0
tal que
t
(
0
) = , ja que estamos supondo que
t
e inversvel
e contnua. Vemos entao que a fun cao contnua
D
Dt
+ div v
e tal que sua integral, num instante de tempo arbitrario, sobre qualquer
aberto do espa co material e nula. Isto so e possvel se esta fun cao for iden-
ticamente nula. Obtemos assim a equa c ao da conserva c ao da massa
D
Dt
+ div v = 0 , (1.7)
tambem conhecida como equa c ao da continuidade, pois ela expressa o fato
de que o uido e um meio contnuo.
3
Usando a deni cao de derivada
material (1.3) e a identidade
div (fu) = f u + fdiv u ,
a equa cao em (1.7) pode ser reescrita como

t
+ div (v) = 0 .
A condi cao de o volume de qualquer por cao de uido ser preservado pelo
uxo e descrita pela equa cao
d
dt
_
t
dx = 0 . (1.8)
Se esta condi cao for satisfeita, o Teorema do Transporte aplicado `a fun cao
constante f 1 implica que a equa cao
_

0
div v dx = 0
e valida para todo aberto
0
. Da se conclui que o divergente da velocidade
e nulo em todos os pontos:
div v = 0 . (1.9)
A recproca e claramente tambem verdadeira, ou seja, as equa coes em (1.9)
e (1.8) sao equivalentes.
3
Para um tratamento de meios contnuos em geral, veja [50].
1.1. DEDUC

AO DAS EQUAC

OES 7
Se um uido tem densidade constante, independente do tempo e do
espa co, a equa cao em (1.7) implica que o uido satisfaz (1.9) e, portanto,
tambem a condi cao de incompressibilidade (1.8). Chamaremos o uido de
incompressvel se for constante. Seria mais natural denir como incom-
pressvel o uido que satiszesse (1.8) ou (1.9). Nao o fazemos por mera
conveniencia: quase sempre, nestas notas, trataremos somente do caso de
densidade constante. Note que temos apenas uma quase-recproca: se
vale (1.9), entao (1.7) implica que e constante ao longo das trajetorias das
partculas. Da, se (x, 0) for independente de x, (x, t) sera independente
de x e de t.
Conservacao do Momento
O momento (linear) de uma por cao de uido que ocupe, no instante t, a
regiao
t
e dado pela integral
4
_
t
(x, t)v(x, t) dx .
Pela segunda lei de Newton, a derivada em rela cao ao tempo desta quanti-
dade e igual `a for ca total atuando em
t
. Esta e igual `a soma das for cas
externas que atuam no uido (peso, for ca de Coriolis ou mesmo for cas ele-
tromagneticas) e das for cas internas, exercidas sobre
t
pelo restante do
uido. Suporemos conhecido o somatorio das for cas externas por unidade
de massa, que sera denotado por f(x, t).
5
Isto e, a for ca externa total
atuando na por cao de uido que, no instante t, ocupa a regiao
t
e dada
por
_
t
(x, t)f(x, t) dx .
No caso de apenas o peso ser consideravel, f e constante e igual `a acelera cao
da gravidade.
Quanto `as for cas internas, supomos serem elas for cas de contato ou
tens oes. Desprezamos entao a coes a distancia entre as partculas do uido
e supomos existir um campo de tens oes (x, t, n) que de a for ca de contato
por unidade de area atuando numa superfcie perpendicular a n no ponto
x, no instante t. Mais precisamente, a for ca exercida pelo resto do uido na
4
Uma vez que da a massa por unidade de volume, v da o momento por unidade de
volume, assim como [v[
2
/2 da a densidade de energia cinetica.
5
A rigor, deveramos escrever f(x, v, t), para incluir casos como o de forcas magneticas,
por exemplo. Isto em nada alteraria a deducao que se segue.
8 CAP

ITULO 1. EULER E NAVIER-STOKES


por cao de uido que, no instante t, ocupa a regiao fechada
t
, delimitada
pela superfcie
t
, e dada por
_
t
(x, t, n) dS
x
,
onde n denota o vetor unitario normal a
t
, apontando para fora. O campo
de tensoes nao e independente das outras grandezas fsicas do problema. Na
verdade, vamos obter uma equa cao diferencial envolvendo , , v e f. Um
teorema de Cauchy (veja [28], paragrafo 7) garante que, se o uido satiszer
a segunda lei de Newton, entao tem de depender linearmente de n, ou
seja, existe uma fun cao matricial o(x, t) tal que
(x, t, n) = o(x, t)n .
(Em particular, (x, t, n) = (x, t, n), o que e consequencia da terceira
lei de Newton.)
A segunda lei de Newton entao ca expressa pela seguinte integral, de
onde omitimos os argumentos (x, t) das fun coes que aparecem nos integran-
dos:
d
dt
_
t
v dx =
_
t
f dx +
_
t
ondS
x
.
Podemos calcular a derivada do lado esquerdo desta equa cao aplicando o
Teorema do Transporte a cada componente. Quanto `a integral de superfcie,
ela pode ser transformada numa integral de volume usando o Teorema da
Divergencia. Obtemos, entao:
_
t
_
D
Dt
(v) + vdiv v f Div o
_
dx = 0 , (1.10)
onde Div o denota o vetor que tem a i-esima componente igual ao divergente
do i-esimo vetor-linha de o. Usando (1.7), e facil vericar a igualdade
D
Dt
(v) + vdiv v =
Dv
Dt
,
de onde, usando a equa cao em (1.10) e o fato de seu integrando ser contnuo
e
t
arbitrario, resulta a Equac ao da Conserva c ao do Momento:

Dv
Dt
= f + Div o . (1.11)
1.1. DEDUC

AO DAS EQUAC

OES 9
Fluidos nao-viscosos, Equacoes de Euler
As equa coes de conserva cao da massa (1.7) e do momento (1.11) sao insu-
cientes para descrever o uido:
6
para completar a descri cao precisamos
relacionar o com as outras variaveis. Se supusermos que as for cas inter-
nas atuam apenas perpendicularmente `a superfcie
t
(ausencia de atrito ou
viscosidade), on deve ser sempre paralelo a n ou, equivalentemente, existe
uma fun cao p(x, t) tal que
o(x, t) = p(x, t) I ,
onde I denota a matriz identidade. A fun cao p e chamada press ao e
Div o = p .
Esta hipotese ainda e insuciente: (1.7) e (1.11) consistem agora de quatro
equa coes escalares para cinco incognitas v
1
, v
2
, v
3
, e p. Uma sada e supor
que o uido e incompressvel, o que e uma boa aproxima cao para o caso dos
lquidos. Usando (1.7) e (1.3), obtemos entao as Equac oes de Euler para
um uido nao-viscoso e incompressvel, denotando tambem por o valor
constante da densidade de massa:

v
t
+ (v )v = p + f (1.12)
div v = 0
Salientamos mais uma vez que o operador v e aplicado em (1.12) a
cada componente de v, isto e:
[(v )v]
i
=
3

j=1
v
j
v
i
x
j
.
A equa cao em (1.12) pode ser lida como a segunda lei de Newton, o lado
esquerdo correspondendo ao termo massa vezes acelera cao e o direito `a for ca,
ambos por unidade de volume. O aparecimento do termo nao-linear deve-se
`a propria descri cao euleriana:

t
v nao representa a varia cao da velocidade
de uma dada partcula, mas a varia cao da velocidade no ponto x, que e
ocupado por partculas possivelmente diferentes a cada instante. A varia cao
6
As equacoes em (1.7) e (1.11) sao validas para qualquer meio contnuo Newtoniano.
As hipoteses que fazemos nesta secao e na proxima e que caracterizam os chamados uidos
newtonianos.
10 CAP

ITULO 1. EULER E NAVIER-STOKES


da velocidade de uma dada partcula e igual a
D
Dt
v, como vimos quando
tratamos da derivada material.
Uma outra maneira de completar as equa coes em (1.12) e (1.7) e intro-
duzir uma equa c ao de estado, ou seja, supor que existe uma fun cao
r : (0, ) IR
tal que p = r(). Para um gas ideal a temperatura constante, p e diretamente
proporcional a . Em modelos fsicos mais realistas, torna-se necessario
introduzir novas variaveis tais como temperatura, entropia, energia interna
(veja [28], paragrafos 19 e 20).
Equacoes de Navier-Stokes
Ao tentarmos obter formas para a matriz o que incluam for cas de viscosida-
de, argumentos fsicos e matematicos
7
(veja [32], [25] e [28, paragrafo 16]),
permitem-nos concluir que, em primeira aproxima cao, o deve ser dada por
o = pI +

(div v)I + (G+G


t
) , (1.13)
onde, e

sao constantes, G
t
denota a transposta de G, que denota a
matriz v :
G = v =
_
_
_
_
_
_
_
_
v
1
x
1
v
1
x
2
v
1
x
3
v
2
x
1
v
2
x
2
v
2
x
3
v
3
x
1
v
3
x
2
v
3
x
3
_
_
_
_
_
_
_
_
. (1.14)
Para completar o sistema formado pelas equa coes em (1.7), (1.11) e
(1.13), temos duas sadas, tal como no caso nao-viscoso. Ou procuramos
uma equa cao de estado p = r(), ou supomos que o uido e incompressvel.
Vimos que, neste caso, o divergente de v e nulo. Isto implica em duas
simplica coes: O termo

div v desaparece e vale (verique) a igualdade


Div (G+G
t
) = v .
7
Aqui vai um esboco desses argumentos. E sicamente razoavel supor que S + pI
dependa apenas das derivadas espaciais de v, pois nao ha atrito em um uxo com velo-
cidade uniforme. Como em rotacoes rgidas tambem nao ha movimento relativo entre as
partculas, S+pI nao deve depender da parte anti-simetrica do gradiente de v, mas apenas
de (G + G
t
)/2 (veja a secao seguinte, especialmente a discussao apos (1.22)). Usando-se
que esta dependencia deve ser invariante por transformacoes ortogonais (rotacoes dos eixos
coordenados) e desprezando-se termos de segunda ordem, chega-se a (1.13).
1.1. DEDUC

AO DAS EQUAC

OES 11
A equa cao de conserva cao do momento (1.11) se escreve entao como:

Dv
Dt
= f p + v , (1.15)
conhecida como a equa c ao de Navier-Stokes. A constante e chamada o
coeciente de viscosidade
8
e seu inverso o n umero de Reynolds. Um uido
viscoso e incompressvel e descrito entao pelas equa coes em (1.15) e (1.9)
Estudando exemplos de solu coes, consideraremos quase sempre f 0.
Isto e equivalente a tomar f constante, no seguinte sentido. Um par (v,p)
e solu cao de (1.15) e (1.9) com f 0 se e somente se (v,p

) e solu cao de
(1.15) e (1.9) com f f
0
, onde
p

(x, t) = p(x, t) + f
0
x .
(Verique esta arma cao.) Em particular, v 0 e p(x, t) = g x, onde g
e a acelera cao da gravidade, e uma solu cao das equa coes de Navier-Stokes,
para f constante e igual a g. Corresponde a um lquido em repouso, na
presen ca da gravidade. (Veja o Exerccio 15)
Para futura referencia, escrevemos aqui as equa coes de Euler e de Na-
vier-Stokes, para a conserva cao do momento, na ausencia de for cas externas.

v
t
+ (v )v = p (Euler) (1.16)

v
t
+ (v )v = p + v (Navier-Stokes) (1.17)
Exerccio 2 a) Encontre a pressao p(x, t) que, juntamente com o campo
de velocidades nulo v(x, t) 0, resolve (1.12) e (1.15), para f = g +
2
r.
Aqui, supomos que a acelera cao da gravidade g e paralela ao eixo x
3
, e
uma constante e r = (x
1
, x
2
, 0) e o vetor radial das coordenadas cilndricas.
Mostre que as superfcies de nvel da pressao sao paraboloides de revolu cao.
b) Interprete sicamente o resultado acima, e conclua que a superfcie de
separa cao entre o ar e um lquido girando num tubo cilndrico com velocidade
angular constante, sem movimento relativo entre as partculas do uido nem
entre o uido e o recipiente, e um paraboloide de revolu c ao. (Dicas: A
pressao na superfcie de separa cao e constante, igual `a pressao atmosferica.
O campo f dado no item (a) e a soma da acelera cao da gravidade com a
acelera cao centrfuga.)
8
Sobre o signicado fsico da constante de viscosidade, consulte [20].
12 CAP

ITULO 1. EULER E NAVIER-STOKES


1.2 Exemplos e Comentarios
A maioria dos problemas de Mecanica dos Fluidos envolve a delimita cao
da regiao ocupada pelo uido (que pode ate variar com o tempo, e entao a
determina cao da fronteira faz parte do problema) e a prescri cao de condi coes
de fronteira.
9
Os exemplos de que tratamos nesta se cao e no Captulo 3,
exceto o Exemplo 3 que vem logo em seguida, sao de solu coes das equa coes
de Euler ou de Navier-Stokes denidas no espa co inteiro. Tais exemplos
servem para ilustrar comportamentos locais permitidos aos uidos: pode-se
argumentar que o ponto observado esta tao longe da fronteira que a presen ca
desta nao e sentida pela por cao do uido nas imedia coes do ponto.
Tratamos, nesta se cao, de tres exemplos basicos de solu coes estacion a-
rias (isto e, independentes do tempo). Utilizamo-las, ao nal da se cao, para
dar uma descri cao local do movimento de um uido em geral. Estes exem-
plos sao casos particulares de classes de exemplos de solucoes discutidas no
Captulo 3.
Exemplo 3 Um campo de vetores da forma
v(x, t) = (v(x
2
), 0, 0)
t
(1.18)
satisfaz imediatamente as equa coes
v
t
+ (v )v = 0 e div v = 0 ,
tratando-se, portanto, de uma solu cao das equa coes em (1.16) e (1.9) com
pressao constante.
Assuma que a for ca da gravidade g atua no uido e que g = g

e
1
+g

e
2
.
(Se [g[ = g, e e o angulo determinado pela horizontal e pelo eixo x
1
, entao
g

= g sen e g

= g cos .) Na presen ca de viscosidade e da for cao da


gravidade, a pressao deve satisfazer p/x
2
= g

, p/x
3
= 0, e v e p
cam relacionados pela equa cao
v

(x
2
)
p
x
1
+g

= 0.
Em particular, uma pressao linear, p(x) = g

x
2
, juntamente com o campo
em (1.18) com
v(x
2
) =
g

2
x
2
2
+
g

x
2
,
9
No caso de uma fronteira xa, exige-se que a componente da velocidade normal `a
fronteira seja nula, ou seja, que o uido nao atravesse a fronteira. Para uidos viscosos,
exige-se mesmo que o uido adira `a fronteira, ou seja, que a velocidade se anule na fronteira.
1.2. EXEMPLOS E COMENT

ARIOS 13
Figura 1.1: Fundo de um rio
e uma solu cao de (1.15) e (1.9) no semi-espa co x
2
0 com condi cao de
fronteira v(x
1
, 0, x
3
) = 0 e velocidade maxima de escoamento em x
2
= 1,
(digamos que a altura maxima do rio seja igual a 1, e que a ocorra a
velocidade maxima de escoamento). Este e um modelo simplicado para
a cinematica do escoamento nao-turbulento de agua em um rio largo, longe
das margens, o fundo do rio coincidindo com o plano x
1
x
3
. As trajetorias
das partculas sao retas paralelas ao eixo x
1
. A for ca que impulsiona a agua,
e a componente da for ca da gravidade na dire cao tangente ao fundo do rio.
Exemplo 4 (Deforma cao) Seja D uma matriz simetrica de tra co nulo e
v(x) = Dx. E um calculo simples vericar que o divergente de v e nulo e
que vale a igualdade
(v )v = D
2
x .
Pode-se ver entao que (v(x), p(x) ), com
p(x) =

2
x
t
D
2
x ,
e solu cao de (1.16) e (1.9). Como v 0, tambem (1.17) e satisfeita.
Vamos descrever as trajetorias das partculas supondo que a matriz e
diagonal,
D =
_
_
_

1
0 0
0
2
0
0 0
3
_
_
_ .
14 CAP

ITULO 1. EULER E NAVIER-STOKES


Figura 1.2: Jato (Deforma cao)
O caso geral pode ser transformado neste, atraves da mudan ca de variaveis
x = Uy, onde U e uma matriz ortogonal tal que U
1
DU e diagonal. Tal U
existe, pelo Teorema Espectral (veja [8], Teorema 9.3.1). As equa coes das
trajetorias cam entao desacopladas:
dx
i
dt
=
i
x
i
, i = 1, 2, 3 .
Para uma dada condi cao inicial x(0) = a, a solu cao e
x(t) = (a
1
e

1
t
, a
2
e

2
t
, a
3
e

3
t
)
t
.
Como o tra co de D e nulo, temos:
1
+
2
+
3
= 0. Para xar ideias,
suponhamos que
1
e positivo e
2
e
3
sao negativos. Vemos entao que as
partculas se aproximam rapidamente do eixo x
1
e se afastam rapidamente
do plano x
2
x
3
. Esta e uma aproxima cao grosseira de um jato.
Exemplo 5 (Rota cao) Dado IR
3
, consideremos o campo vetorial
v(x) = x ,
onde denota o produto vetorial. E facil vericar que v tem divergente
nulo e que vale a igualdade:
(v )v = (x ) [[
2
x .
Por inspe cao vemos entao que se tomarmos para pressao
p(x) =
_

1
2
(x )
2
+
1
2
[[
2
[x[
2
_
1.2. EXEMPLOS E COMENT

ARIOS 15
obtemos uma solu cao da equa cao de Euler (1.16), que e tambem solu cao da
equa cao de Navier-Stokes (1.17), pois v = 0.
Seja x(t) a trajetoria de uma partcula neste uido, isto e, x(t) satisfaz
dx
dt
= x .
Da seguem-se as igualdades seguintes, validas para todo t :
d
dt
( x(t)) = ( x(t)) = 0
d
dt
[x(t)[
2
= 2( x(t)) x(t) = 0 .
Conclumos da que as trajetorias sao crculos em planos perpendiculares a
. Denotando por x

a proje cao de x no plano perpendicular a passando


pela origem,
x

= x (x )

[[
2
,
obtemos:
dx

dt
= x

. (1.19)
Como x

e sao perpendiculares, a equa cao 1.19 implica em

dx

dt

= [[ [x

[ .
Segue-se entao que a velocidade angular de todas as partculas em torno
de e constante e igual a [[. (Verique, usando coordenadas.) Ou seja,
o uido todo move-se como um corpo rgido girando em torno de com
velocidade angular constante.
Fa camos agora algumas considera coes sobre matrizes simetricas e anti-
simetricas que usaremos em seguida para dar uma interpreta cao do uxo
de um uido qualquer como sendo, local e aproximadamente, uma super-
posi cao de uma rota cao, uma transla cao e uma dilata cao. Dada uma matriz
quadrada A, as matrizes
A
+
=
1
2
(A+A
t
) e A

=
1
2
(A A
t
) , (1.20)
sao chamadas suas partes simetrica e anti-simetrica, respectivamente. E
obvio que valem as igualdades A
+
= A
t
+
, A

= A
t

e A = A
+
+ A

. O
leitor deve vericar que esta decomposi cao e unica, isto e, se B e C forem
matrizes simetrica e anti-simetrica, respectivamente, e A = B + C, entao
B = A
+
e C = A

.
16 CAP

ITULO 1. EULER E NAVIER-STOKES


Exerccio 6 a) Dada uma matriz 3 3 anti-simetrica A, mostre que existe
um unico IR
3
tal que Ax = x, para todo x IR
3
. (Dica:
1
= a
32
,

2
= a
13
e
3
= a
21
)
b) Se e a parte anti-simetrica da matriz-gradiente de um campo de
vetores v(x) em IR
3
, entao
x =
1
2
(rot v) x , x IR
3
.
c) Mostre que, se e uma matriz anti-simetrica e T uma matriz sime-
trica de tra co nulo, entao temos:
(T + T)x = (T) x , x IR
3
, (1.21)
onde e o vetor tal que x = x , x IR
3
.
Consideremos agora o comportamento de um uido qualquer, em regime
estacionario, nas proximidades de um ponto xo x
0
. Podemos escrever
(expansao de Taylor):
v(x
0
+h) = v(x
0
) + (v)h +r(h) ,
onde r(h) e da ordem de [h[
2
. Tomando h muito pequeno, decompondo
v em suas partes simetrica e anti-simetrica, T e , e usando o item b do
exerccio acima, obtemos:
v(x
0
+h) v(x
0
) +Th +
1
2
h , (1.22)
onde = rot v, e e T sao calculados no ponto x
0
.
Tomando x
0
como origem e h no lugar de x para descrever as trajetorias
das partculas, vemos que o campo v pode ser aproximadamente decomposto
em tres parcelas: uma responsavel pela transla cao do uido (as trajetorias
associadas a um campo uniforme de velocidades sao retas), outra responsa-
vel pela deforma cao do uido, e a terceira pela rota cao. A presen ca de um
rotacional nao nulo indica, portanto, a presen ca de rota c ao.
Exerccio 7 Denota-se por v v a matriz ((v
i
v
j
))
1i,j3
. Mostre que as
equa coes em (1.16) e (1.9) sao equivalentes a

v
t
+ Div (v v) = p + v (1.23)
div v = 0 .
(O divergente de uma matriz foi denido apos (1.10).)
1.3. IDENTIDADES VETORIAIS, LEI DE BERNOULLI 17
Exerccio 8 Seja (v(x, t), p(x, t)) solu cao de (1.16) e (1.9). Mostre que,
dados reais positivos e , denindo
v
,
(x, t) = v
_
x

t
_
,
existe p
,
tal que (v
,
, p
,
) tambem e solu cao das mesmas equa coes.
Exerccio 9 Mostre que um campo de velocidades independente da coor-
denada x
3
(v
1
(x
1
, x
2
, t), v
2
(x
1
, x
2
, t), v
3
(x
1
, x
2
, t))
t
e solu cao da equa cao de Navier-Stokes (1.17) se e somente se (v
1
, v
2
) e
solu cao da equa cao de Navier-Stokes bidimensional, isto e,


t
_
v
1
v
2
_
+
_
v
1

x
1
+v
2

x
2
_
_
v
1
v
2
_
= p +
_
v
1
v
2
_
,
e v
3
e solu cao da equa cao

v
3
t
+
_
v
1

x
1
+v
2

x
2
_
v
3
= v
3
.
(Observe que esta ultima equa cao e linear, se v
1
e v
2
forem conhecidos.
Neste caso, e se = 0, a equa cao pode ser resolvida pelo metodo das carac-
tersticas, descrito no Apendice A.)
1.3 Identidades Vetoriais, Lei de Bernoulli
Extremamente util para a dedu cao de identidades vetoriais e a introdu cao
do pseudo-tensor anti-simetrico de Levi-Civita (veja [1]):

ijk
=
_

_
0 se i = j ou j = k ou k = i
1 se (i, j, k) (1, 2, 3), (2, 3, 1), (3, 1, 2)
1 se (i, j, k) (2, 1, 3), (3, 2, 1), (1, 3, 2)
.
Se x e y sao vetores de IR
3
, e facil vericar que a i-esima componente do
produto vetorial x y e dada pela soma
(x y)
i
=
3

j=1
3

k=1

ijk
x
j
y
k
.
18 CAP

ITULO 1. EULER E NAVIER-STOKES


Analogamente, se u e um campo vetorial em IR
3
, a i-esima componente do
rotacional de u e dada pela soma
(rot u)
i
=
3

j=1
3

k=1

ijk
u
k
x
j
.
Tambem muito util e bem mais conhecido e o delta de Kronecker:

ij
=
_
1 se i = j
0 se i ,= j
.
Proposi cao 10 Dados i, j, l, m, pertencentes a 1, 2, 3, vale a igualdade:
3

k=1

ijk

klm
=
il

jm

im

jl
. (1.24)
Demonstra cao Suponha que i e igual a j ou que l e igual a m. Verica-
se facilmente que, ent ao, os dois membros de (1.24) sao nulos.
Suponha agora i ,= j e l ,= m. Isto implica entao que uma, e so uma, das
tres arma coes abaixo e verdadeira:
(a) dado qualquer k 1, 2, 3, k e igual a um dos quatro n umeros dados
no enunciado da proposi cao.
(b) i = l e j = m.
(c) i = m e j = l.
Caso valha (a), ambos os lados de (1.24) sao nulos. Caso valha (b),
ambos sao iguais a 1. Caso valha (c), ambos os lados sao iguais a 1.
Como aplica cao, demonstraremos:
Proposi cao 11 Dado um campo vetorial u IR
3
, vale a seguinte identi-
dade:
(u )u = (rot u) u +
1
2
[u[
2
.
Demonstra cao Escrevamos a i-esima componente do produto vetorial
(rot u) u e apliquemos as deni coes e propriedades acima:
3

j=1
3

k=1
3

m=1
3

l=1

ijk

jlm
u
m
x
l
u
k
=

k=1
3

m=1
3

l=1
_
_
3

j=1

ikj

jlm
_
_
u
m
x
l
u
k
=
1.3. IDENTIDADES VETORIAIS, LEI DE BERNOULLI 19

k=1
3

m=1
3

l=1
(
il

km

im

kl
)
u
m
x
l
u
k
=

k=1
u
k
x
i
u
k
+
3

k=1
u
i
x
k
u
k
=

1
2

x
i
3

k=1
u
2
k
+
3

k=1
u
k
u
i
x
k
.
Obtivemos assim a i-esima componente de
(u )u
1
2
[u[
2
,
como queramos.
Outras aplica coes do pseudo-tensor de Levi-Civita cam para os exerc-
cios ao nal da se cao. Vamos agora aplicar a proposi cao anterior para obter
a lei de Bernoulli.
Proposi cao 12 (Bernoulli) Sejam v e p uma soluc ao independente do
tempo de (1.12) com e f constantes, e com a propriedade adicional de
o campo de velocidades ser irrotacional, isto e, rot v = 0. Ent ao, a fun c ao
Q(x) =
p(x)

f x +
[v(x)[
2
2
(1.25)
e constante.
Demonstra cao A equa cao (1.12) para fun coes independentes do tempo,
com constante, e equivalente a:
(v )v =
_
p

_
+ f . (1.26)
Usando a Proposi cao 11 e a equa cao rot u = 0, vemos que o lado esquerdo
de (1.26) e igual a ([v(x)[
2
/2). O lado direito, por sua vez, e igual a

p(x)

+ f x
_
.
Segue-se entao que Q(x) = 0, para todo x.
10
10
E claro que supomos conexa a regiao onde a solucao esta denida
20 CAP

ITULO 1. EULER E NAVIER-STOKES


Exerccio 13 Considere o caso em que vale (1.12), mas a densidade nao e
necessariamente constante. Mostre entao que a fun cao Q denida em (1.25)
e constante ao longo das trajetorias das partculas. (Dica: A equa cao em
(1.7) implica que e constante ao longo das trajetorias.)
Exerccio 14 Use o tensor anti-simetrico de Levi-Civita para demonstrar
as identidades em (2.10), (2.15) e (2.20).
Exerccio 15 (a) Mostre que o Teorema da Divergencia em IR
3
e equiva-
lente a
_

f
x
j
dx =
_

fn
j
dS
x
,
j = 1, 2, 3, para qualquer fun cao escalar f. Aqui, n
j
denota a j-esima com-
ponente do vetor normal.
(b) Demonstre (2.17) e algumas das outras identidades de [53].
(c) Mostre que, no caso da hidrostatica (isto e, v 0, f constante e
igual `a acelera cao da gravidade g e p(x) = g x), vale a igualdade

p(x)ndS
x
= g
_

dx ,
para qualquer regiao onde valha o Teorema da Divergencia. Interprete
sicamente. (Dica: Princpio de Arquimedes.)
Exerccio 16 (a) Mostre que se B = ((b
ij
)) e uma matriz real 3 3, entao
o vetor associado `a parte anti-simetrica de B, como descrito no item (a)
do Exerccio 6, e dado por

i
=
1
2
3

j=1
3

k=1

ijk
b
jk
, i = 1, 2, 3.
(b) Use os itens (b) e (c) do Exerccio 6 para demonstrar a equa cao em
(2.9), sob a hipotese de que o divergente da velocidade e nulo.
Captulo 2
A Vorticidade em Cena
Sera obtida, neste captulo, uma formula cao da mecanica dos uidos incom-
pressveis que utiliza a velocidade e a vorticidade (que e o rotacional da
velocidade) como variaveis dependentes, em vez da velocidade e da pressao.
Algumas solu coes classicas das equa coes de Navier-Stokes serao encontradas,
no proximo captulo, utilizando as equa coes da dinamica da vorticidade.
Metodos numericos de solu cao baseados na vorticidade podem ser desenvol-
vidos, sendo dadas referencias sobre o assunto ao nal da Se cao 2.1.
2.1 Dinamica da Vorticidade
Nosso objetivo inicial e obter uma equa cao de evolu cao para a vorticidade
= rot v, isto e, uma equa cao que nos de

t
em termos das outras deriva-
das de e de outras grandezas. O primeiro passo sera obter uma equa cao de
evolu cao para a matriz-gradiente da velocidade G. (Veja (1.14).) Derivando
em rela cao a x
j
a i-esima componente da equa cao de Navier-Stokes (1.17),

v
i
t
+
3

k=1
v
k
v
i
x
k
=
p
x
i
+ v
i
,
usando que as derivadas comutam, obtemos:


t
v
i
x
j
+
3

k=1
v
k

x
k
v
i
x
j
+
3

k=1
v
k
x
j
v
i
x
k
=
=

2
p
x
i
x
j
+
_
v
i
x
j
_
.
21
22 CAP

ITULO 2. A VORTICIDADE EM CENA


Escrevendo a equa cao acima na forma matricial, vem:

D
Dt
G+G
2
= P + G , (2.1)
onde P denota a matriz hessiana da pressao P = ((

2
p
x
i
x
j
))
1i,j3
.
Denotando por e T as partes simetrica e anti-simetrica de G, respec-
tivamente, tomando as partes simetrica e anti-simetrica de (2.1), e usando
que P e simetrica, obtemos equa coes de evolu cao acopladas para e para
T (Veja a deni cao em (1.20):

D
Dt
T +(T
2
+
2
) = P + T (2.2)

D
Dt
+(T +T) = . (2.3)
A equa cao em (1.9) e equivalente a
tra co T = 0 (2.4)
Podemos agora reescrever (2.3) tomando, no lugar das matrizes anti-
simetricas que la aparecem, os vetores que a elas correspondem, como des-
crito no Exerccio 6. Note que, gra cas a (2.4), podemos aplicar o item c do
Exerccio citado. Obtemos entao a equa cao de evolu cao que procuravamos:

D
Dt
= T + . (2.5)
Esta equa cao pode ser interpretada como uma condi cao de equilbrio entre
tres efeitos fsicos que competem entre si: (i) a convec cao da vorticidade,

D
Dt
(a vorticidade tende a ser carregada pelo uido); (ii) a difusao da
vorticidade, (a vorticidade tende a se espalhar, tal como faz a tempe-
ratura) e (iii) a deforma cao da vorticidade, T (a vorticidade e atenuada
ou intensicada, conforme esteja alinhado com os autovetores de T de
autovalor negativo ou positivo, respectivamente). Veja exemplo no nal da
se cao 3.1, onde este ultimo efeito e ilustrado.
E claro que a equa cao (2.5) sozinha nao e suciente para descrever a
evolu cao da vorticidade, pois T depende da velocidade, que tambem nao e
conhecida, a princpio. Acoplando `a equa cao (2.5) as equa coes
rot v = (2.6)
div v = 0 , (2.7)
2.1. DIN

AMICA DA VORTICIDADE 23
obtemos um sistema que necessariamente e satisfeito pelo campo de velo-
cidades de um uido do tipo modelado por (1.17) e (1.9). Vejamos agora
que, reciprocamente, se v for solu cao de (2.5), (2.6) e (2.7), e se a regiao
ocupada pelo uido for simplesmente conexa (em particular, se for o espa co
inteiro), entao existe uma fun cao p, tal que (1.17) e satisfeita. Para tanto,
basta mostrarmos que e valida a igualdade:
rot
_

v
t
+(v )v v
_
= 0 . (2.8)
Pois da, o Teorema de Stokes permite-nos denir a pressao no ponto x com
sendo igual a menos a integral de linha da expressao entre colchetes em (2.8)
a partir de um ponto xo ate x, por um caminho arbitrario. (Verique isto.)
Trocando livremente a ordem das derivadas, vemos que (2.8) e equivalente
`a equa cao

t
+rot [(v )v] = 0 ,
a qual, por sua vez, apos substituirmos (2.5), e equivalente a:
rot [(v )v] = T(rot v) + (v )(rot v) . (2.9)
Esta ultima equa cao e uma identidade valida para qualquer campo vetorial
v(x) em IR
3
, satisfazendo div v = 0, se T denota a matriz
1
2
[v + (v)
t
]
(veja o Exerccio 16).
Na proxima se cao, vamos resolver (2.6) e (2.7), obtendo uma formula
integral que da v a partir de . A partir de v, podemos obter a matriz de
deforma cao T e substituir em (2.5), obtendo uma equa cao integro-diferencial
de evolu cao para , envolvendo so . Nao e tudo tao simples quanto parece
porque, ao derivar (2.19), aparece no integrando um termo cujo modulo e
da ordem de [x y[
3
, cuja integral em rela cao a y diverge em qualquer
aberto contendo x. (Verique isto.) Esta integral singular, entretanto, pode
ser tratada teoricamente [41, 58]. Alem disso, esta formula cao da dinamica
da vorticidade pode ser utilizada para obter ecientes metodos numericos
[42, 37, 38, 41, 5, 12].
E imediato vericar que T = ( )v. A equa cao em (2.5) depois
desta substitui cao,

D
Dt
= ( )v + ,
e conhecida como a equa cao de Helmholtz [43].
24 CAP

ITULO 2. A VORTICIDADE EM CENA


2.2 Biot-Savart
E conhecida como a lei de Biot-Savart
1
a formula integral em (2.19), que
e uma solu cao em IR
3
, dado (x), do sistema de equa coes em (2.6) e (2.7).
Como div rot v e nulo (veja Exerccio 14), da equa cao 2.6 segue-se a igual-
dade div = 0. Para resolvermos o sistema (2.6)-(2.7), necessariamente
temos de assumir, portanto, que satisfaz esta condi cao. Alem disso, expli-
citaremos oportunamente condi coes de decaimento no innito para , que
serao necessarias para que certas integrais fa cam sentido. Como e usual em
equa coes diferenciais, nossa estrategia sera supor que o sistema que bus-
camos resolver tem solu cao, e da obter uma formula que mostraremos em
seguida ser, de fato, solu cao.
Aplicando o rotacional aos dois membros da equa cao em (2.6), e usando
a identidade vetorial
2
u = (div u) rot (rot u) (2.10)
e a equa cao em (2.7), vem:
v = rot . (2.11)
A equa c ao de Poisson,
u = f , (2.12)
tem uma solu cao dada por
u(x) =
_
IR
3
f(y)
4[x y[
dy . (2.13)
(Veja, por exemplo, [30, se cao 4.1].)
3
Uma solu cao de (2.11) e dada entao
aplicando a formula em (2.13) a cada componente de (2.11), o que da:
v(x) =
_
IR
3
rot (y)
4[x y[
dy . (2.14)
1
Esta formula aparece tambem em Eletromagnetismo. O campo magnetico e a den-
sidade volumetrica de corrente eletrica satisfazem as equacoes 2.6 e 2.7, nos papeis da
velocidade e da vorticidade, respectivamente.
2
Note que, do lado esquerdo desta identidade, o operador laplaciano e aplicado a cada
componente da velocidade, enquanto que, do lado direito, ha uma mistura de coordenadas.
Esta formula e um caso particular da equacao (3), pagina 220, da referencia [63], onde e
dada a denicao do laplaciano em uma variedade Riemanniana
3
Quanto `a unicidade da solucao, existem resultados do tipo: se f satisfaz uma certa
condicao de decrescimento no innito, existe uma unica solucao u de (2.12) satisfazendo
uma (possivelmente outra) condicao de decrescimento no innito. Ha tambem resultados
envolvendo condicoes de fronteria. Nao vamos enveredar por esta trilha, o que nos levaria
a questoes matematicas bastante delicadas, principalmente se levassemos em conta que
nosso principal interesse e resolver (2.6) e (2.7) acopladas tambem a (2.5).
2.2. BIOT-SAVART 25
Usando a identidade vetorial
rot (fu) = frot u +f u (2.15)
(veja o Exerccio 14), vem:
v(x) =
_
IR
3

y
_
1
4[x y[
_
(y) dy +
_
IR
3
rot
y
(y)
4[x y[
dy . (2.16)
A seguinte identidade e consequencia do Teorema da Divergencia (veja
o Exerccio 15):
_

rot udy =
_

u ndS
y
. (2.17)
Utilizando-a para = y; [x y[ R, conclumos que a segunda integral
em (2.16) e igual a
lim
R
_
{y;|xy|=R}
(y) n
4[x y[
dS
y
.
Este limite da zero se assumirmos a hipotese
max [y[
1+
[(y)[ ; y IR
3
< , (2.18)
para algum > 0.(Verique isto. Dica: Esta hipotese implica que tambem
[x y[
1+
[(y)[ e limitado, para cada x IR
3
, uma vez que temos
lim
|y|
[x y[/[y[ = 1.) Assumindo (2.18), obtemos entao que a segunda
integral de (2.16) e nula. Calculando o gradiente que aparece na primeira,
chegamos `a formula conhecida como lei de Biot-Savart:
v(x) =
_
IR
3
x y
4[x y[
3
(y) dy . (2.19)
Supor (2.18) e suciente tambem para garantir que a integral impropria
em (2.19) converge. Denotando [x y[ por r, o modulo do integrando e
limitado por uma constante vezes r
3
, que e integravel em r > 1. (Use
coordenadas esfericas para vericar isto.) Na regiao r 1, basta supormos
que seja limitado. (Verique isto.) A integra cao por partes que efetuamos
garante entao que tambem (2.14) converge e que as integrais que aparecem
em (2.19) e (2.14) sao iguais.
26 CAP

ITULO 2. A VORTICIDADE EM CENA


Vericacao da lei de Biot-Savart
Vamos mostrar agora que a velocidade v(x), denida em (2.14) satisfaz
(2.6) e (2.7). Vamos trocar a ordem de deriva cao e integra cao `a vontade,
sem nos preocuparmos em especicar que tipo de decaimento no innito
e suas derivadas precisariam ter para que tais procedimentos pudessem ser
justicados.
4
Atraves da troca de variaveis z = y x, reescrevemos (2.14), obtendo:
v(x) =
_
IR
3
1
4z
(rot )(z +x) dz .
Usando (rot )(z +x) = rot
x
[(z +x)] e a identidade
div (rot u) = 0 , (2.20)
vem:
div v(x) =
_
IR
3
1
4z
div
x
rot
x
[(z +x)] dz = 0 .
Calculando rot v, vem:
rot v =
_
IR
3
rot
x
rot
x
[(z +x)] dz .
Usando a identidade vetorial em (2.10), vem:
rot v =
_
IR
3
1
4[z[

x
[(z +x)] dz
+
_
IR
3
1
4[z[

x
[div
x
((z +x))] dz . (2.21)
A condi cao div = 0 foi tomada como hipotese no come co da se cao, da a
segunda integral em (2.21) ser nula. Quanto `a primeira integral, ja mencio-
namos ser ela uma solu cao do problema de Poisson (2.12), com no lugar
de f. (Basta fazermos de volta a mudan ca y = z + x, para reconhecermos
aqui a integral em (2.13). ) Reciprocamente, pode-se mostrar, sob certas
condi coes de decaimento de no innito, que esta integral da de fato , o
que concluiria nossa demonstra cao. (Note que este e um problema de uni-
cidade de solu coes: e uma solu cao de u = , assim como a primeira
integral de (2.21). Veja os comentarios que zemos sobre a unicidade da
solu cao do problema de Poisson, em nota de rodape, `a pagina 24.)
4
O leitor interessado deve consultar [3], Teorema 33.8, ou [29], Exerccio VII.6, onde
sao dadas condicoes precisas sob as quais a troca e legtima.
Captulo 3
Mais Exemplos
Neste Captulo, obtemos exemplos, ou famlias de exemplos, de solu coes
das equa coes de Euler e de Navier-Stokes bem mais sosticados que os da
Se cao 1.2. O que ha em comum aos metodos usados nas tres se coes deste
captulo e supormos que existem solu coes de certos tipos pre-estabelecidos
e obtermos entao equa coes mais simples que as equa coes originais. Diversos
problemas de valor inicial podem ser resolvidos explicitamente pelos metodos
aqui estudados.
3.1 Separacao de Variaveis
Dado IR
3
, sabemos como obter uma solu cao estacionaria v(x) das
equa coes de Euler, com pressao quadratica (isto e, p(x) =
1
2
x
t
Px para
alguma matriz P), e tal que a vorticidade rot v seja independente de x e igual
ao vetor dado (veja o Exemplo 5). Como a velocidade assim encontrada
depende linearmente de x, obtemos a igualdade v = 0, seguindo-se da
que v e p sao tambem solu coes de (1.17). Nesta se cao, generalizamos este
resultado e damos uma famlia de exemplos de solu coes das equa coes de
Euler e de Navier-Stokes, dependentes do tempo, obtidas a partir de uma
prescri cao da parte simetrica da matriz-gradiente da velocidade e do valor
inicial da vorticidade. A pressao que obtemos tambem e quadratica em
x, mas com coecientes dependentes do tempo; e a velocidade e da forma
v(x, t) = A(t)x, onde A(t) e uma matriz 3 3 tendo fun coes diferenciaveis
como elementos.
Proposi cao 17 Dada uma matriz 33 diferenci avel A(t), existe p(x, t) tal
que (v, p), com v(x, t) = A(t)x, seja soluc ao de (1.16) e (1.9) se e somente
27
28 CAP

ITULO 3. MAIS EXEMPLOS


se a matriz P, denida por
P(t) =
_
dA
dt
(t) + A(t)
2
_
, (3.1)
for simetrica e A(t) tiver tra co nulo. Sendo este o caso, a press ao ser a dada
por
p(x, t) =
1
2
x
t
P(t)x .
Demonstra cao Um calculo direto nos leva `a igualdade:
div [A(t)x] = tra co A(t) .
A equa cao 1.9 para v da forma proposta e entao equivalente a
tra co A(t) = 0 t 0 .
Calculemos a j-esima componente de (v )v:
3

i=1
v
i
(x, t)
v
j
x
i
(x, t) =
3

i=1
3

k=1
v
i
(x, t)

x
i
(a
jk
(t)x
k
)
=
3

i=1
a
ji
(t)v
i
(x, t) .
Obtivemos, portanto:
[(v )v](x, t) = A(t)v(x, t) = A
2
(t)x .
A equa cao da conserva cao do momento (1.16) e entao equivalente a:

_
dA
dt
(t) + A
2
(t)
_
x = p(x, t) . (3.2)
Se a matriz do lado esquerdo da equa cao em (3.2), que e igual a P(t)
(veja a deni cao em (3.1)), for simetrica, entao a pressao
p(x, t) =
1
2
x
t
P(t)x ,
juntamente com a velocidade proposta no enunciado da proposi cao, denem
solu cao de (1.16) e (1.9). Reciprocamente, se existir, para A(t) dada de tra co
nulo, pressao p(x, t) satisfazendo (1.16) juntamente com a velocidade dada
3.1. SEPARAC

AO DE VARI

AVEIS 29
por v(x, t) = A(t)x, decorre de (3.2) que o elemento na linha i e coluna j
de P(t) e

2
p
x
i
x
j
(x, t) =

2
p
x
j
x
i
(x, t) ,
e, portanto, P(t) e simetrica.
Somando `a pressao encontrada fun coes arbitrarias do tempo, ainda ob-
temos solu coes das equa coes de Euler e de Navier-Stokes. A menos desta
nao-unicidade, comum a qualquer solu cao, a pressao ca determinada pela
escolha da matriz A(t) satisfazendo as condi coes exigidas.
E claro que, se A(t) for uma matriz simetrica, P(t) tambem o sera. Nao
e claro, entretanto, como podemos obter exemplos mais gerais de matrizes
A(t) satisfazendo as hipoteses da Proposi cao 17. A proposi cao abaixo nos
da a receita de como obter todas elas. A ideia central e escrever A(t) como
soma de suas partes simetrica e anti-simetrica e relacionar a segunda com
a vorticidade. O leitor deve observar a semelhan ca deste argumento com a
tecnica utilizada na Se cao 2.1.
Proposi cao 18 Dados
0
IR
3
e T(t), uma matriz 33 simetrica e de
tra co nulo cujos elementos s ao fun c oes contnuas, seja (t) a soluc ao do
problema de valor inicial
_

_
d
dt
= T(t)
(0) =
0
. (3.3)
Denindo ent ao
v(x, t) =
1
2
(t) x + T(t)x , (3.4)
existe uma press ao quadr atica p(x, t) tal que (v, p) dene soluc ao das equa-
c oes de Euler e de Navier-Stokes com rot v = . Estas s ao todas as soluc oes
do tipo v(x, t) = A(t)x.
Demonstra cao Suponhamos que A(t) seja tal que existe p(x, t) que,
juntamente com
v(x, t) = A(t)x , (3.5)
resolvem (1.16) e (1.9). Escrevamos a matriz A(t) como
A(t) = T(t) + (t) ,
30 CAP

ITULO 3. MAIS EXEMPLOS


onde T(t) e simetrica e (t), anti-simetrica. Vimos na demonstra cao da
Proposi cao anterior que o tra co de A e identicamente nulo. Como o tra co de
uma matriz anti-simetrica e automaticamente nulo, temos entao a igualdade:
tra co T(t) = 0 , t 0 . (3.6)
A decomposi cao da matriz P(t), denida em (3.1), em suas partes simetrica
e anti-simetrica e a seguinte:
P =
_
dT
dt
+
2
+T
2
_

_
d
dt
+T + T
_
.
(Omitimos da o argumento t. Outras vezes ele sera omitido sem aviso.) A
condi cao P ser simetrica e entao equivalente `a equa cao
d
dt
= [T(t)(t) + (t)T(t)] . (3.7)
(Usamos a a unicidade da decomposi cao de uma matriz em partes simetrica
e anti-simetrica, como descrito na Se cao 1.2)
Usando a proposi cao anterior, vemos entao que, se A e tal que v em
(3.5) dene um campo de velocidades solu cao de (1.16) e (1.9) para alguma
pressao p, entao suas partes simetrica e anti-simetrica satisfazem (3.6) e
(3.7). Reciprocamente, se e T sao matrizes simetrica e anti-simetrica,
respectivamente, satisfazendo (3.6) e (3.7), entao, com A = T+, a matriz
P denida em (3.1) e simetrica. Donde, usando a proposi cao anterior, vemos
que o campo de velocidades denido em (3.5) e solu cao de (1.16) e (1.9),
para alguma pressao p.
Demonstramos portanto que todas as solu coes v(x, t) da forma (3.5) sao
obtidas do seguinte modo. Tome arbitrariamente T(t) simetrica de tra co
nulo, para todo t 0. Em seguida escolha (t) satisfazendo (3.7), e fa ca
A = T + .
Vamos agora reescrever (3.7) como uma equa cao envolvendo a vortici-
dade. As partes simetrica e anti-simetrica da matriz-gradiente da velocidade
(veja (1.14)), para v da forma considerada, sao precisamente T(t) e (t),
respectivamente. Segue-se entao do Exerccio 6, itens (a) e (b), que a de-
rivada de e da forma
d
dt
=
1
2
_
_
_
0

3
0

1
0
_
_
_ ,
3.1. SEPARAC

AO DE VARI

AVEIS 31
onde = (
1
,
2
,
3
)
t
denota a vorticidade e estamos omitindo o argumento
t. Ademais, segue-se do itens (c),(b) e (a) do Exerccio 6 a igualdade
T + T =
_
_
_
0
3

2

3
0
1

2

1
0
_
_
_ ,
onde = (
1
,
2
,
3
) denota o vetor
=
1
2
T .
A equa cao (3.7) e entao equivalente a
1
d
dt
= T(t) , (3.8)
que sempre pode ser resolvida (ver [55] ou [24], Ap 10), tendo solu cao unica
uma vez arbitrado o valor inicial (0) =
0
.
Por m, usando novamente o Exerccio 6, temos a igualdade
(t)x =
1
2
(t) x ,
e, da, obtemos (3.4), como queramos.
Note que os Exemplos 4 e 5 podem ser obtidos imediatamente como
casos particulares desta proposi cao. Basta tomarmos, para o exemplo da
deforma cao, T(t) D e
0
= 0; e, para o exemplo da rota cao, T(t) 0
e
0
= . Combinemos agora estes dois exemplos tomando para T(t) a
matriz constante
D =
_
_
_

1
2
0 0
0
1
2
0
0 0
_
_
_ , > 0 ,
e
0
= (0, 0,
0
). A solu cao nao mais sera estacionaria, como vemos em
seguida.
E facil ver que, para estes dados, a solu cao de (3.3) e dada por
(t) = (0, 0, e
t

0
)
t
. (3.9)
Da obtemos v a partir de (3.4):
v(x, t) = (
1
2
x
1

1
2
e
t
x
2

0
,
1
2
x
2

1
2
e
t
x
1

0
, x
3
)
t
.
1
Observe que a equacao 3.8 trata-se da equacao 2.5 escrita para o campo de velocidades
em (3.5). Nao estamos usando este fato, entretanto.
32 CAP

ITULO 3. MAIS EXEMPLOS


As trajetorias das partculas satisfazem portanto as equa coes diferenciais
_

_
x

1
=
1
2
x
1

1
2
e
t

0
x
2
x

2
=
1
2
e
t

0
x
1

1
2
x
2
x

3
= x
3
(3.10)
Dada uma condi c ao inicial = (
1
,
2
,
3
)
t
, e imediato resolver a equa-
cao para x
3
, obtendo,
x
3
(t) =
3
e
t
.
Usando as duas primeiras equa coes do sistema acima, verica-se a igualdade
d
dt
[e
t
(x
2
1
+x
2
2
)] = 0 ,
donde vem:
(x
2
1
+x
2
2
)(t) = e
t
(
2
1
+
2
2
) .
Tal como no Exemplo 4, a partcula se afasta rapidamente do plano x
1
x
2
,
enquanto se aproxima rapidamente do eixo x
3
. Denotando por o angulo
do sistema de coordenadas cilndricas, calculemos a derivada em rela cao ao
tempo de (x
1
(t), x
2
(t)) ao longo de uma trajetoria, usando (3.10):
d
dt
=
d
dt
arctan
_
x
2
x
1
_
=
x
1
x

2
x
2
x

1
x
2
1
+x
2
2
=
1
2
e
t

0
.
Vemos entao que, ao contrario do Exemplo 4, onde nao havia rota cao,
aqui as partculas giram em torno do eixo x
3
. Enquanto no Exemplo 5 a
velocidade angular era constante, aqui o alinhamento inicial da vorticidade
com um auto-vetor de auto-valor positivo da matriz de deforma cao provoca
um crescimento exponencial da velocidade angular.
O uido deste exemplo comporta-se de maneira semelhante a agua esco-
ando pelo ralo de uma pia.
3.2 Distribuicao Radial de Vorticidade
Nesta se cao obtemos solu coes bidimensionais das equacoes dos uidos in-
compressveis a partir da prescri cao da vorticidade como sendo igual a uma
fun cao dada que depende so do raio r = (x
2
1
+ x
2
2
)
1
2
. Obtemos solu coes in-
dependentes do tempo para as equa coes de Euler, e dependentes do tempo
para as de Navier-Stokes. Fora o Exemplo 3, este e nosso primeiro exemplo
3.2. DISTRIBUIC

AO RADIAL DE VORTICIDADE 33
Figura 3.1: Escoamento por um ralo.
genuno de solu cao das equa coes de Navier-Stokes, pois os demais eram e-
xemplos com v 0, ou seja, embora a viscosidade estivesse presente, em
nada modicava o movimento do uido.
Vamos obter uma solu cao do sistema formado pelas equa coes em (2.5),
(2.6) e (2.7), que, como vimos no Captulo 2, e equivalente `as equa coes de
Navier-Stokes (ou Euler, quando = 0) para uidos incompressveis. A
solu cao de (2.6)-(2.7) que obtemos e bem mais explcita que a lei de Biot-
Savart. Gra cas `a bidimensionalidade e `a simetria radial, conseguimos desa-
coplar totalmente (2.5) de (2.6) e (2.7), obtendo uma equa cao de evolu cao
linear para a vorticidade, independente da velocidade.
Chamamos de bidimensional um campo de velocidades da forma
v(x, t) = (v
1
(x
1
, x
2
, t), v
2
(x
1
, x
2
, t), 0)
t
. (3.11)
A vorticidade = rot v correspondente a este campo de velocidades ca
igual simplesmente a:
(x, t) = (0, 0, (x
1
, x
2
, t))
t
, (3.12)
onde
=
v
2
x
1

v
1
x
2
.
A matriz de deforma cao
T =
1
2
__
v
i
x
j
+
v
j
x
i
__
1i,j3
34 CAP

ITULO 3. MAIS EXEMPLOS


tem a terceira linha e a terceira coluna nulas, de modo que o termo T
da equa cao 2.5 e nulo. A equa cao vetorial (2.5) resume-se entao `a equa cao
escalar

t
+v
1

x
1
+v
2

x
2
=

x
2
1
+

2

x
2
2
_
. (3.13)
As equa coes em (2.7) e (2.6) cam simplicadas, respectivamente, `as duas
equa coes seguintes:
v
1
x
1
+
v
2
x
2
= 0 (3.14)
v
2
x
1

v
1
x
2
= . (3.15)
Dada uma fun cao (r, t), vamos resolver (3.14) e (3.15) independente-
mente de (3.13), para em seguida vericar qual equa cao deve satisfazer,
como consequencia de (3.13). As equa coes (3.14) e (3.15) podem ser desa-
copladas introduzindo-se ao problema uma fun cao (x
1
, x
2
, t) denida pelas
equa coes seguintes.

x
1
= v
2
e

x
2
= v
1
(3.16)
Dados v
1
e v
2
, a integral de linha
_
(x
1
,x
2
)
(0,0)
(v
2
dx
1
+v
1
dx
2
) (3.17)
e independente do caminho (pelo Teorema de Green e (3.14)), denindo
entao uma fun cao (x
1
, x
2
, t) tal que as equa coes em (3.16) sao satisfeitas.
Substituindo (3.16) em (3.15), obtemos:

x
2
1
+

2

x
2
2
_
= . (3.18)
Reciprocamente, se a equa cao acima tem solu cao, entao v
1
e v
2
, denidos
por (3.16), satisfazem (3.15). A equa cao (3.14) tambem e satisfeita, como
consequencia de

x
1
x
2
=

2

x
2
x
1
,
o que e verdadeiro se for de classe C
2
.
3.2. DISTRIBUIC

AO RADIAL DE VORTICIDADE 35
Resolvamos agora (3.18), assumindo que e radial, = (r, t), e pro-
curando apenas solu coes radiais (r, t). E bem conhecida a formula para o
laplaciano de uma fun cao radial:
[(r, t)] =
_
1
r

r
_
r

r
__
(r, t) . (3.19)
Integrando em rela cao a r a equa cao
1
r

r
_
r

r
_
= (r, t) ,
obtemos:

r
=
1
r
_
r
0
s(s, t) ds (3.20)
(usamos a a igualdade

r
_
r

r
_

r=0
= 0 ,
condi cao necessaria para que seja de classe C
2
). Calculando

x
i
pela regra
da cadeia, e usando (3.20), segue-se a equa cao:

x
i
=
x
i
r
2
_
r
0
s(s, t) ds . (3.21)
As equa coes em (3.16) e (3.21) nos levam `a solu cao procurada:
_
v
1
v
2
_
=
_
x
2
x
1
_
1
r
2
_
r
0
s(s, t) ds . (3.22)
Resolvamos agora (3.13), usando (3.22). Note que (v
1
, v
2
) e perpendi-
cular a (x
1
, x
2
) em todos os pontos, o que signica que as trajetorias das
partculas sao crculos em torno da origem (ou do eixo x
3
). Como a fun cao
e radial, (

x
1
,

x
2
) e paralelo a (x
1
, x
2
) em todos os pontos. Temos portanto:
v
1

x
1
+ v
2

x
2
= 0 .
A equa cao em (3.13) simplica-se e da:

t
=

x
2
1
+

2

x
2
2
_
. (3.23)
36 CAP

ITULO 3. MAIS EXEMPLOS


Para o caso de uidos nao-viscosos ( = 0), devemos ter, entao, a vorticidade
independente do tempo, = (r), dando origem a solu coes estacionarias das
equa coes de Euler. Quando ,= 0, a equa cao 3.23 e nossa conhecida equa cao
do calor. Qualquer solu cao dada pela convolu cao do n ucleo do calor com um
dado inicial radial (veja o Apendice) sera tambem radial (verique, usando
a dica do Exerccio 26). Deste modo, podemos arbitrar uma distribui cao
inicial radial de vorticidade (r, 0), resolver (3.23) usando (B.3) e, a partir
de (3.22), obter a velocidade. Assim vemos que a presen ca de viscosidade
(atrito) faz com que a vorticidade se difunda, tal como a temperatura. Uma
condi cao inicial de suporte compacto, por exemplo, tera suporte ilimitado
apos decorrido qualquer intervalo de tempo positivo. E, seja qual for a
condi cao inicial limitada, a vorticidade tende a zero uniformemente quando
t tende a innito (veja o Exerccio 99).
A obten cao desta famlia de solu coes dependeu de maneira crucial da
introdu cao da fun cao . Observe que as curvas integrais de v(x, t) para t
xo, que coincidem com as trajetorias quando v nao depende do tempo, sao
as curvas de nvel de , consequencia de o gradiente de ser perpendicular
a v em todos os pontos.
Ha uma interessante liga cao entre uidos bidimensionais e teoria de
fun coes de variaveis complexas. As equa coes em (3.14) e (3.15) para = 0
sao as equa coes de Cauchy-Riemann para a fun cao
f(z) = v
1
(x
1
, x
2
) iv
2
(x
1
, x
2
) , z = x +iy ,
de modo que o conjugado complexo do campo de velocidades de um uido
bidimensional, incompressvel, nao-viscoso e irrotacional dene uma fun cao
analtica. A integral complexa de f a partir de um ponto xo arbitrario
dene uma fun cao F = +i satisfazendo F

(z) = f(z). A parte real de F


satisfaz

x
1
= v
1
e

x
2
= v
2
,
sendo chamada potencial de velocidade; e a parte imaginaria de F, que
coincide com a fun cao denida antes, e chamada fun c ao de corrente. A
teoria de variaveis complexas pode ser usada para obterem-se solu coes de
problemas de fronteira e informa coes sobre a intera cao do uido com objetos
em contacto com ele. (Veja [2, Captulo 6].)
Apesar de termos assumido regularidade da solu cao nos calculos que -
zemos, podemos usar a receita obtida tomando (r) nao derivavel ou ate
descontnua. Pode-se vericar diretamente substituindo nas equa coes que a
velocidade e a vorticidade assim obtidas sao solu coes das equa coes diferen-
3.3. V

ORTICE DE BURGERS 37
ciais nos pontos onde sao derivaveis. Veremos nos proximos captulos gene-
raliza coes das deni coes de solu coes que permitem interpretar tais fun coes
como possveis solu coes de fato.
Exerccio 19 Assumindo = 0, obtenha v(x) e esboce o graco do
modulo da velocidade como fun cao do raio, considerando: (a) (r) = (1 +
r
2
)
1
, (b)(V ortice de Rankine) (r) igual a 1, se r 1, ou zero, caso
contrario.
Exerccio 20 Mostre que o disco r 1 gira como um corpo rgido para o
uido do item (b) do exerccio anterior.
Exerccio 21 Considere > 0 e analise o que ocorre se tomarmos para
(r, 0) as fun coes dadas no Exerccio 19.
Exerccio 22 Verique por substitui cao direta que o campo de velocidades
em (3.22) satisfaz as equa coes em (3.14) e (3.15).
Exerccio 23 Conven ca-se de que a integral em (3.17), multiplicada pela
densidade de volume, mede a quantidade de massa por unidade de tempo
que atravessa a superfcie cilndrica de altura unitaria e base C, onde C
e o caminho de integra cao. Como o uido e incompressvel, isto justica
sicamente o fato de o valor da integral ser independente de C.
3.3 Vortice de Burgers
O campo de velocidades denido em (3.25) e (3.32), juntamente com vortici-
dade paralela ao eixo x
3
e modulo
b
dado em (3.30), resolvem as as equa coes
da dinamica da vorticidade (2.5), (2.6) e (2.7). Esta solu cao e denomina-
da V ortice de Burgers. Esta arma cao pode ser vericada diretamente por
substitui cao. Nesta se cao, vemos esta solu cao aparecer naturalmente, como
o limite quando t tende a innito de certas solu coes dependentes do tempo
de (2.5), (2.6) e (2.7). Na se cao anterior obtivemos solu coes destas equa coes
que tendiam a zero para t grande. Falando em termos pouco precisos, po-
demos dizer que estamos agora superpondo `a situa cao da se cao anterior um
jato (veja o Exemplo 4) que comprime o uido nas dire coes dos eixos x
1
e x
2
e o faz expandir-se na dire cao de x
3
. Quebrada a bidimensionalidade,
o termo de convec cao da vorticidade T deixa de ser nulo. Surge entao,
quando o tempo tende a innito, o vortice de Burgers como uma solu cao
de equilbrio, o resultado da competi cao entre os tres efeitos mencionados
38 CAP

ITULO 3. MAIS EXEMPLOS


apos (2.5). Isto ilustra como pode ser complicado superpor solu coes de
equa coes nao lineares. Se a equa cao fosse linear, soma de duas solu coes seria
uma solu cao.
Este exemplo pode ser olhado como um modelo um pouco mais realista
de um ralo de pia do que o descrito no nal da Se cao 3.1. E dada uma
vorticidade inicial dependente do raio e obtem-se no limite uma vorticidade
estacionaria, deformada pelo efeito do jato, ao inves de uma vorticidade
tendendo a innito com o tempo, como acontecia na Se cao 3.1.
Usamos resultados da se cao anterior e da proposi cao seguinte, demons-
trada em dimensao m e aplicada no texto apenas para m = 2. Nos exerccios,
pedimos que o leitor a aplique, com m = 1, para obter a solu cao denominada
camadas de cisalhamento de Burgers.
Proposi cao 24 Considere o problema de valor inicial
u
t
+(x )u = u +u , t > 0, x IR
m
,
u(x, 0) = u
0
(x) , (3.24)
onde e s ao constantes dadas e u
0
e uma fun c ao contnua e limitada. A
soluc ao de (3.24) que ca limitada em x, para todo t, e dada por
u(x, t) = e
t
_
IR
m

K
m
(x, y, t)u
0
(y) dy ,
com

K
m
dado por

K
m
(x, y, t) = K
m
_
e
t
x y,

2
(1 e
2t
)
_
,
onde K
m
denota o n ucleo do calor
K
m
(z, t) = (4t)
m/2
exp( [ z[
2
/4t) .
Demonstra cao Consideremos primeiramente o caso = 0. Fazendo a
mudan ca de variaveis
2
= e
t
x e =

2
(1 e
2t
)
e usando a regra da cadeia, vem:
u
t
= e
2t
u

u ,
2
Compare com o metodo das caractersticas, (Apendice A), para equacoes diferenciais
parciais de 1
a
ordem.
3.3. V

ORTICE DE BURGERS 39
x
x
u =

u e
x
u = e
2t

u .
Substituindo na equa cao diferencial, vemos que o problema de valor inicial
que queremos resolver e equivalente a
u

u , u(, 0) = u
0
() ,
cuja solu cao que ca limitada em [ [ (para cada xo) e dada por
u(, ) =
_
IR
m
K
m
( y, )u
0
(y) dy .
(Veja (B.3).) Voltando `as variaveis originais, obtemos a solu cao de (3.24)
que ca limitada em [ x[ (para cada t xo):
u(x, t) =
_
IR
m
K
m
_
e
t
x y,

2
(1 e
2t
)
_
u
0
(y) dy ,
o que demonstra a proposi cao quando = 0. Para obter a formula no caso
geral, basta notar que u(x, t) resolve (3.24) com = 0 se, e somente se,
e
t
u(x, t) resolve (3.24) para arbitrario.
Procuremos, agora, solu coes das equa coes da dinamica da vorticidade
que deem campos de velocidade da forma
v = (
1
2
x
1
+v
1
,
1
2
x
2
+v
2
, x
3
)
t
, (3.25)
onde e uma constante positiva e v
1
e v
2
dependem apenas de x
1
, x
2
e do
tempo t. A vorticidade e calculada imediatamente, dando:
(x, t) = (0, 0, (x
1
, x
2
, t))
t
, (3.26)
onde
=
v
2
x
1

v
1
x
2
.
Nao e por coincidencia que obtivemos a vorticidade dada por formula
identica a (3.12), pois para obter (3.25), somamos a (3.11) o campo
(
1
2
x
1
,
1
2
x
2
, x
3
)
t
,
que tem rotacional e divergente nulos. O divergente da velocidade em (3.25)
e dado portanto por
div v =
v
1
x
1
+
v
2
x
2
.
40 CAP

ITULO 3. MAIS EXEMPLOS


Conclumos, assim, que v
1
, v
2
e satisfazem (3.14) e (3.15). Sob a hipotese
de que
depende so do raio r = (x
2
1
+x
2
2
)
1/2
e do tempo, (3.27)
vimos na se cao anterior que v
1
, v
2
e estao relacionados pela equa cao em
(3.22). Como ja observamos logo apos (3.22), isto implica a igualdade
v
1

x
1
+v
2

x
2
= 0 ,
de onde segue-se que a derivada material de e dada por
D
Dt
=

t

1
2

_
x
1

x
1
+x
2

x
2
_
.
E facil de ver que o termo de (2.5) responsavel pela deforma cao da
vorticidade resume-se a:
T = .
A equa cao em (2.5) ca, entao, livre das incognitas v
1
e v
2
, apresentando-se
como

t

1
2

_
x
1

x
1
+x
2

x
2
_
=

+ ,
que pode ser resolvida, para uma dada condi cao inicial contnua e limitada
(x
1
, x
2
, 0) =
0
(r) ,
usando a Proposi cao 24 com = /, = e = /2. Assim obtemos:
(x, t) =
e
t
4(e
t
1)
_
IR
2
exp
_

[e
t/2
x y[
2
4(e
t
1)
_

0
(y) dy , (3.28)
onde x e y denotam os vetores (x
1
, x
2
) e (y
1
, y
2
).
E importante observar que, se
0
for uma fun cao dependente apenas de
[x[ = (x
2
1
+x
2
2
)
1/2
, a fun cao denida por (3.28) tambem tera esta proprie-
dade para cada t (veja Exerccio 26). Este fato e consistente com a hipotese
que zemos sobre em (3.27): come cando com vorticidade radial, ela se
mantem radial.
Calculemos agora o limite no innito de w(x, t), a m de obtermos o
vortice de Burgers, como prometemos. E imediato observar que o limite
do que vem entre o sinal de igualdade e o sinal de integra cao em (3.28) e
3.3. V

ORTICE DE BURGERS 41
igual a (/4). E tambem obvio que o valor absoluto do integrando e
menor ou igual a [
0
(y)[, para todo t. Para que seja legtima a passagem do
limite para dentro do sinal de integra cao, e suciente supor que
0
satisfa ca
a hipotese seguinte:
_
IR
2
[
0
(y)[ dy < . (3.29)
Nestas circunstancias (com o integrando limitado por uma fun cao de modulo
integravel, independente do tempo), o Teorema da Convergencia Dominada
[3, 4] legitima a troca proposta.
3
O leitor deve vericar a igualdade
lim
t
[e
t/2
x y[
2
e
t
1
= [x[
2
.
Obtemos entao:
lim
t
(x, t) =

4
_
IR
2
exp
_

[x[
2
4
_

0
(y) dy .
Note que, na equa cao anterior, a exponencial e independente de y e pode
ser sacada fora da integral. Escrevendo a integral de
0
em coordenadas
polares, e escrevendo r em lugar de [x[, obtemos o que chamamos o Vortice
de Burgers:

b
(r) =

2
exp
_

4
r
2
__

0
s
0
(s) ds . (3.30)
Queremos agora calcular o limite, quando o tempo tende a innito, de
v(x
1
, x
2
, x
3
, t) dado por (3.25) com (v
1
, v
2
) dado pela substitui cao de (3.28)
em (3.22). O limite da parte que depende do tempo e:
lim
t
_
v
1
v
2
_
=
_
x
2
x
1
_
1
r
2
lim
t
_
r
0
s(s, t) ds , (3.31)
com (s, t), s = [x[, dado por (3.28). Gostaramos de passar o limite para
dentro da integral. Para tanto, vamos novamente aplicar o Teorema da
Convergencia Dominada. Ve-se facilmente que
[(x, t)[

4
e
e 1
_
IR
2
[
0
(y)[ dy , x IR
3
, t
1

.
3
A Proposicao 24 e valida tambem se a condicao inicial u0 for apenas de valor abso-
luto integravel, sendo desnecessario supor u0 contnua e limitada. E preciso, entretanto,
redenir o que signica a solucao assumir a condicao inicial (Veja [30, 26] ). Usando estes
fatos, bastaria supor (3.29) ao longo de toda esta secao.
42 CAP

ITULO 3. MAIS EXEMPLOS


O lado direito desta desigualdade e uma constante, logo integravel em [0, r],
donde se segue que podemos aplicar o TCD e trocar a ordem do limite com
a integral em (3.31). Obtemos entao,
_
v
1
v
2
_
=
_
x
2
x
1
_
1
r
2
_
r
0
s
b
(s) ds , (3.32)
com
b
dado em (3.30).
E razoavel esperar que o limite para t tendendo a innito de solu coes de
(2.5), (2.6) e (2.7) seja solu cao estacionaria do mesmo sistema. Este e um
problema matematico difcil: em geral nem se sabe se a solu cao existe como
fun cao diferenciavel para todo t. Para este exemplo que estamos estudando,
podemos vericar diretamente que o campo de velocidades dado por (3.25) e
(3.32) e a vorticidade (0, 0,
b
) resolvem (2.5). E o que o leitor deve vericar
no Exerccio 25. Quanto `as equa coes em (2.6) e (2.7), veja o Exerccio 22.
Exerccio 25 Verique a arma cao do paragrafo anterior, utilizando a for-
mula em (3.19) e o fato de que, como (v
1
, v
2
) e
b
se relacionam por (3.22)
e
b
e radial, vale a igualdade
v
1

b
x
1
+ v
2

b
x
2
= 0 .
Exerccio 26 Suponha que
0
e tal que
0
(Ry) =
0
(y), para todo y,
e para toda rota cao R. Mostre entao que (Rx, t) = (x, t), para todo x,
para todo R, com (x, t) denido em (3.28).
Sugest ao - Use os seguintes ingredientes: rota cao deixa norma invariante,
mudan ca de variaveis em (3.28) e det R = 1.
Exerccio 27 Resolva a integral em (3.28) para
0
igual a uma fun cao
constante e compare o resultado com (3.9).
Exerccio 28 Analogamente ao que zemos nesta se cao, procure solu coes
das equa coes de Navier-Stokes da forma
v(x
1
, x
2
, x
3
, t) = (v
1
(x
2
, t), x
2
, x
3
) .
Note que isto corresponde a superpor `a solu cao do Exemplo 3 um jato (veja
Exemplo 4) no plano x
2
x
3
que comprime o uido na dire cao x
2
e o faz
expandir-se na dire cao x
3
. Calcule o limite quando t tende a innito para
obter as camadas de cisalhamento de Burgers [41].
Captulo 4
Uma Equacao de Onda
Interrompemos momentaneamente o estudo das equa coes de movimento de
uidos incompressveis para tratar de questoes analticas mais delicadas.
Uma solu cao classica (ou forte) de uma equa cao diferencial, e uma fun cao
que substituida na equa cao diferencial resulta numa identidade valida em
cada ponto de seu domnio de deni cao. Necessariamente sao diferenciaveis.
Esta foi a no cao usada nos captulos anteriores. Por vezes, como veremos
neste captulo, ha necessidade de se considerar fun coes apenas contnuas,
ou ate mesmo descontnuas, como solu coes da equa cao diferencial. E claro
que nao adianta tentar substituir uma fun cao nao diferenciavel na equa cao
diferencial porque isto carece de sentido. Ha que repensar os conceitos e,
reconsiderando-se a no cao de solu cao, termina-se por introduzir uma no cao
alternativa de solu cao a no cao de soluc ao fraca. Neste captulo, utilizamos
um exemplo para esbo carmos ideias basicas acerca da no cao de solu cao fraca
de equa cao diferencial. Nos captulos subsequentes estas ideias sao retoma-
das em um contexto mais geral. No proximo captulo desenvolvemos ferra-
mentas necessarias para estender esta no cao a uma classe ampla de equa coes
diferenciais. Retomamos o estudo das equa coes de Euler e Navier-Stokes no
Captulo 6, inicialmente denindo solu cao fraca para estas equa coes.
4.1 O Modelo Classico
Considere o problema de valor inicial (PVI):
u
t
+u
x
= 0, x IR, t > 0, Equa cao de evolu cao (4.1)
u(x, 0) = f(x), x IR, Condi cao inicial (4.2)
43
44 CAP

ITULO 4. UMA EQUAC



AO DE ONDA
Aqui f e um dado do problema. Este PVI e o exemplo mais simples de ondas
hiperbolicas e, apesar da sua simplicidade, a qual cara patente no decorrer
desta se cao, modela (em uma primeira aproxima cao), fenomenos dos mais
diversos, entre os quais citaremos ondas de trafego, ondas de glaciares e
certos fenomenos em rea coes qumicas, (veja [64, pagina 6]). Este problema
envolve uma equa cao diferencial parcial linear de 1
a
ordem cujo metodo de
resolu cao e delineado no Apendice A.
Deni cao 29 Uma solu cao classica do PVI (4.1, 4.2) e uma fun c ao u que
satisfaz simultaneamente (a) a condi cao de regularidade: u contnua em
IR [0, ) e diferenci avel em IR (0, ) e, (b) as equa c oes(4.1, 4.2).
1
Esbo caremos a resolu cao deste problema. Para usar o metodo do Apen-
dice e necessario que f c
1
(IR), o que assumiremos. A equa cao diferen-
cial (4.1) e equivalente a impor que a derivada direcional de u na dire cao
(1, 1) no plano (x, t) seja zero. Neste exemplo, as curvas caractersticas,
paralelas ao vetor (1, 1), sao as retas xt = c =constante. Pela equa cao di-
ferencial vemos que u e constante ao longo das curvas caractersticas. Como
estas curvas interceptam o eixo x, a fun cao u tera ao longo de uma carac-
terstica o mesmo valor que f tem no ponto de interse cao dessa caracterstica
com o eixo x. Portanto,
u(x, t) = f(x t). (4.3)
Tra cando o graco da solu cao (4.3) para alguns valores de t, obtem-se
uma ideia do comportamento da solu cao do PVI (4.1, 4.2), (veja Figura 4.1).
Este corresponde `a transla cao de uma onda, para a direita, com velocidade
constante e igual a um.
4.2 Crise
Discutimos algumas diculdades inerentes `a no cao de solu cao classica do
PVI. De sada, uma solu cao classica tera que ser diferenciavel. Isto elimina
os candidatos a solu cao que, embora exibam um comportamento sicamente
correto para o modelo, nao sao no entanto fun coes diferenciaveis.
Para efeitos de ilustra cao, escolhemos f
0
, o contorno do glaciar (nao
diferenciavel) mostrado na Figura 4.2, como condi cao inicial. Se utilizas-
semos (4.3) despreocupadamente diramos que a solu cao do PVI (4.1, 4.2),
1
Um comentario: Nao fosse a imposicao da continuidade da solucao em IR [0, ),
a funcao v dada por v(x, 0) = f(x) para x em IR e, v(x, t) = 0, t > 0, e x em IR seria
solucao do PVI. Mas esta e uma solucao que nao e de interesse algum.
4.2. CRISE 45
Figura 4.1: a) Curvas caractersticas: A solu cao e constante ao longo das
curvas caractersticas. b) Onda de transla cao simples: A solu cao u corres-
ponde a uma onda transladando, para a direita, com velocidade constante
e igual a 1.
com condi cao inicial f
0
e
u
0
(x, t) = f
0
(x t). (4.4)
Contudo, ao tentarmos vericar se u
0
satisfaz (4.1) notamos que u
0
nao e
diferenciavel, pois f
0
nao o e. Apesar de excludas pelo metodo de resolu-
cao ha no entanto motivos de carater fsico e matematico, devido aos quais
gostaramos de considerar condi c oes iniciais apenas contnuas. Apresentados
a seguir, estes nos levam ainda a querer aceitar (4.3) por solu cao do PVI
mesmo quando a condi cao inicial for apenas contnua.
Motivo Fsico Pela analise da estrutura das solu coes classicas em (4.3)
vemos que, o fenomeno fsico modelado pelo PVI, e o de glaciares transla-
dando para a direita com velocidade constante e igual a um. Se quisermos
que o PVI (4.1, 4.2) reita a fenomenologia fsica deveremos aceitar (4.4)
como sua legtima solu cao.
Motivo Matematico A questao aqui e relativa `a estabilidade do mo-
delo. Primeiramente, observamos que podemos aproximar a condi cao inicial
f
0
por uma sequencia de condi coes iniciais diferenciaveis f

, isto e, podemos
construir uma sequencia de fun c oes f

de classe c
1
tais que
f

(x) f
0
(x), quando 0. (4.5)
46 CAP

ITULO 4. UMA EQUAC



AO DE ONDA
Figura 4.2: a) Glaciar nao diferenciavel: f
0
(x) = max1 [x[, 0 b) Apro-
xima cao diferenciavel do glaciar: f

(x)f
0
(x).
4.3. RUPTURA 47
Figura 4.2b apresenta uma ideia qualitativa de como faze-lo. (Exerccio:
Construa explicitamente uma sequencia de fun coes diferenciaveis f

satis-
fazendo (4.5)). Depois, resolvendo-se o PVI com condi cao inicial f

, obtemos
a sequencia de solu coes classicas do PVI u

(x, t) = f

(x t) tais que
u

(x, t) u
0
(x, t), quando 0.
Finalmente, pelo que cou dito, e em se desejando a estabilidade do modelo,
e necessario que u
0
seja solu cao do PVI.
2
Em suma, de um jeito ou de outro, somos levados a querer aceitar (4.4)
como solu cao do PVI; isto nos obriga a examinar a no cao de solu cao.
4.3 Ruptura
Poderamos supor que a necessidade de u
0
ser solu cao com f
0
como condi cao
inicial e, ao mesmo tempo, preservar o modelo matematico expresso pelo
PVI sao incompatveis. Na verdade nao o sao totalmente. A sada passa
pelo enfraquecimento dos requerimentos na Deni cao 29. Reinterpretamos a
no cao de solu cao da equa cao diferencial (4.1) e, consequentemente, da no cao
de solu cao do PVI. Ha varias maneiras de se fazer isto; estas dao origem a
no coes de solu cao fraca de equa coes diferenciais, (veja, por exemplo, [30],
principalmente Captulos 2 a 4). Entre as varias possveis esbo caremos uma
bastante eciente: a no cao de solu cao no sentido das distribui coes. A ideia
crucial consiste em se evitar de derivar a fun cao candidata a solu cao, nao
obrigando que esta, a ser solu cao, seja necessariamente diferenciavel. Isto
sera feito atraves de integra cao por partes.
Multiplicamos a equa cao diferencial por uma fun c ao teste = (x, t)
c

0
(IR (0, )), obtendo:
(u
t
+u
x
) = 0. (4.6)
Seja v = v(x, t) uma fun cao diferenciavel. Nota-se que a formula de deriva-
c ao por partes (ou regra de Leibnitz),
(v)
t
+ (v)
x
= (v
t
+v
x
) + (
t
+
x
)v, (4.7)
2
A convergencia de u a u0, de que falamos acima, e tambem a de f a f0 em (4.5),
deveria ser a convergencia uniforme, cuja denicao sera apresentada no proximo captulo.
Para as consideracoes intuitivas deste captulo, podemos pensar tratar-se tao somente
da convergencia pontual. Ou seja, particularizando-se para u e u0, xados x e t,
u(x, t)u0(x, t), denota convergencia em IR. No entanto veja Exerccio 66b.
48 CAP

ITULO 4. UMA EQUAC



AO DE ONDA
Figura 4.3: supp c IR IR
+
.
contem o lado esquerdo de (4.6), se aqui substitussemos v por u. Juntamente
de (4.6) e de (4.7) (com u no lugar de v), segue-se a equa cao
(u)
t
+ (u)
x
= (
t
+
x
) u,
a qual, integrada em IR (0, ), resulta na identidade:
_
+
0
_
+

[(u)
t
+ (u)
x
] dxdt =
_
+
0
_
+

(
t
+
x
)udxdt. (4.8)
Ora, u tem suporte compacto contido em IR (0, ). Entao existira um
conjunto c (indicado na Figura 4.3), contendo estritamente o suporte de
u e estritamente contido em IR (0, ).

E evidente que u e zero no
complementar do conjunto c e, consequentemente, tambem e zero a o in-
tegrando da integral do lado esquerdo de (4.8); podemos restringir a regiao
de integra cao da integral do lado esquerdo ao conjunto c. Pelo Teorema da
Divergencia aplicado ao campo de vetores (u, u) em IR
2
e, porque u se
anula na fronteira de c, o lado esquerdo da igualdade acima e zero, portanto
_
+
0
_
+

(
t
+
x
)udxdt = 0, c

0
(IR (0, )). (4.9)
Deni cao 30 Uma soluc ao fraca do PVI (4.1, 4.2) e uma fun c ao u que
satisfaz (a) a condi c ao de regularidade: u c
0
(IR[0, )), e (b) as equa-
c oes (4.9, 4.2).
4.4. RECONCILIAC

AO 49
4.4 Reconciliacao
Um esprito crtico havera de se questionar sobre o cabimento da nova de-
ni cao. De que mnimas propriedades devera a nova no c ao de solu cao go-
zar, para que nos predisponhamos a aceita-la? Nesta se cao apresentamos
algumas de suas propriedades, as quais a tornam uma no cao razoavel. A
proposi cao a seguir, por exemplo, mostra que a no cao de solu cao fraca foi
capaz de incorporar as crticas apresentadas, aceitando (4.4) como solu cao
do PVI; agora, fun coes fenomenologicamente corretas sao solu coes.
Proposi cao 31
3
A fun c ao contnua u(x, t) = f(x t), onde f c
0
(IR), e
soluc ao fraca do PVI.
Demonstra cao Fazemos a troca de variaveis
y = x t
= x +t
e notamos que
_

x
+

t
_
h = 2
h

.
(Sobreviva ao abuso de nota cao! Melhor dizendo, troca de variaveis sao
fun coes e, na formula acima ha composi coes, nao explicitadas, de fun coes).
Entao,
_
+
0
_
+

(
t
+
x
)f(x t) dxdt =
_
+

_
+
y

(, y)f(y) ddy
=
_
+

_
+
y

[(, y) f(y)] ddy


=
_
+

((, y)f(y))[

y
dy = 0
Esta ultima igualdade e obtida, notando-se que se anula no innito e na
reta = y.
Fica aqui uma indaga cao: Se u e uma solu cao fraca entao ela e fenome-
nologicamente correta? Isto e, existira g tal que u(x, t) = g(x t)?
O proximo lema foi demonstrado no paragrafo anterior `a Deni cao 30
e, enunciamo-lo aqui por enfase; este mostra que a no cao de solu cao fraca e
uma extensao da no cao de solu cao classica.
3
Compare com Exerccio 66b.
50 CAP

ITULO 4. UMA EQUAC



AO DE ONDA
Lema 32 (solu cao cl assica solu cao fraca) Se u e soluc ao do PVI no sentido
da Deni c ao 29 ent ao tambem ser a soluc ao no sentido da Deni c ao 30.
A no cao de solu cao fraca nao introduz solu coes diferenciaveis esp urias,
posto que uma fun cao diferenciavel, que nao for solu c ao classica, nao podera
ser solu cao fraca, como vemos a seguir.
Proposi cao 33 (solu cao fraca + regularidade solu cao classica) Se u for
soluc ao fraca e for diferenci avel em IR(0, ), ent ao u ser a soluc ao cl assica.
A demonstra cao deste resultado depende do seguinte lema intuitivo, (ve-
ja Figura 4.4 e Lima [39]):
Lema 34 Sejam um aberto em IR
m
e f uma fun c ao em c
0
(). Assuma
que para toda a fun c ao c

0
(),
_
IR
m
f(x)(x) dx = 0 .
Ent ao f(x) = 0 para todo x .
Demonstra cao (da Proposi cao 33) Por hipotese, u e diferenciavel; po-
demos utilizar a formula de deriva cao por partes (4.7), com u no lugar de
v. Integrando-a em IR (0, ) e, por u ter suporte compacto contido em
IR (0, ), o Teorema da Divergencia implica
_
+
0
_
+

(
t
+
x
)udxdt =
_
+
0
_
+

(u
t
+u
x
) dxdt, (4.10)
para toda a fun cao c

0
(IR (0, ). Como u e uma solu cao fraca, o
lado esquerdo de (4.10) e igual a zero. Finalmente usando Lema 34 com
u
t
+u
x
no lugar de f conclumos que
u
t
+u
x
= 0, (x, t) IR(0, ).
4.4. RECONCILIAC

AO 51
Figura 4.4: Se a fun cao f nao e identicamente nula, escolha uma fun cao
teste como sugerido e entao,
_
+

(x)f(x) dx > 0.
52 CAP

ITULO 4. UMA EQUAC



AO DE ONDA
Captulo 5
Distribuicoes
No captulo anterior estendemos a no cao de solu cao (de classica para fraca)
do PVI para uma equa cao de onda. Nessa extensao acabamos por transferir
as deriva coes, que originalmente atuavam na fun cao solu cao da equa cao di-
ferencial, `as fun coes innitamente diferenciaveis (chamadas ali de fun coes
teste). Com isto evitamos que a solu cao da equa cao diferencial tivesse de
ser diferenciavel. Neste captulo, com o objetivo de tratar de uma classe
ampla de equa coes diferenciais, elaboraremos mais estas ideias introduzindo
a no cao de distribui cao. Estudaremos alguns exemplos de equa coes diferen-
ciais parciais lineares e nao lineares. No novo contexto, derivadas passam
a ser no sentido das distribui coes e solu coes serao elementos do espa co das
distribui coes. Faremos uma breve exposi cao. Os topicos a serem aborda-
dos foram selecionados por sua utilidade no estudo mais aprofundado de
Fluidos Incompressveis, que sera levado a cabo nos captulos subsequentes.
Exposi coes mais sistematicas podem ser encontradas em [27, 51].
5.1 Convergencia em Espacos de Funcoes
Nesta se cao faremos um tratamento rapido e incompleto de convergencia em
espa cos de fun coes, abordando dois tipos de convergencia: a uniforme e a
em media quadratica.
1
Estas no coes de convergencia sao fundamentais para
a deni cao ou exemplos de distribui coes.
1
Um tratamento sistematico destes assuntos caberia num curso de Analise Funcional;
referimos o leitor a [51].
53
54 CAP

ITULO 5. DISTRIBUIC

OES
Exemplos de Espacos de Banach
Sejam um aberto limitado em IR
m
e f c
0
(). Como [f[ e uma fun cao
contnua denida no compacto assume a um maximo. Dene-se
[[f[[

= max
x
[f(x)[.
Matematicos chamam [[f[[

de norma do sup de f ao passo que Fsicos e


Engenheiros chamam-na de amplitude de f. O conjunto c
0
() munido com
a norma do sup e um espa co de Banach
2
.
Dado um aberto IR
m
denimos Bc(), o conjunto das fun coes
contnuas e limitadas em .
3
A norma do sup de f Bc() e denida
por [[f[[

= sup[f(x)[ ; x , onde supA denota o supremo do conjunto


A IR. O conjunto Bc() e, igualmente, um espa co de Banach e se e um
aberto limitado em IR
m
entao Bc() c
0
(), isto e dada fun cao fun cao em
c
0
(), sua restri cao a , pertence a Bc().
(Exerccio: Mostre que o recproco e falso, obtendo uma fun cao em
Bc((0, 1)) que nao possa ser denida continuamente em [0, 1], isto e, que
nao perten ca a c
0
([0, 1])).
Sao faceis de demonstrar as desigualdades,
[[f +g[[

[[f[[

+[[g[[

e,
[[fg[[

[[f[[

[[g[[

, (5.1)
a primeira delas sendo conhecida como Desigualdade Triangular.
Sejam f
n
uma sequencia de fun coes denidas em e f

uma fun cao


denida no mesmo conjunto. Dizemos que f
n
converge uniformemente a
f

, quando n , (denotando tal por


f
n
unif
f

quando n ), se e so se, para todo > 0 arbitrario, existir um inteiro N


0
tal que para todo o inteiro n N
0
,
[f
n
(x) f

(x)[ < , x .
O signicado intuitivo desta deni cao e que, dado um tubo de raio > 0
arbitrario em torno do graco de f

, existira um N
0
tal que se n N
0
, o
graco de f
n
estara contido no dito tubo, (veja Figura 5.1).
2
A denicao de espaco de Banach pode ser encontrada em [51].
3
B e ( sao, respectivamente, as iniciais de bounded e de continuous.
5.1. CONVERG

ENCIA EM ESPACOS DE FUNC



OES 55
Figura 5.1: Convergencia uniforme: Tubo de raio em torno do graco da
fun cao limite f

. Nesta gura, N
0
= 201.
Fica como exerccio vericar que f
n
converge uniformemente a f

,
f
n
unif
f

, quando n ,
se e somente se convergir na norma do sup,
[[f
n
f

[[

0, quando n .
Exerccio 35 Considere a sequencia de fun coes f
n
(x) =
1
n
sen nx denidas
em [, +]. a) Mostre que
f
n
unif
0, quando n .
b) Verique que a sequencia das derivadas nao converge uniformemente para
fun cao alguma, isto e, mostre que n ao existe g tal que:
df
n
dx
unif
g, quando n .
Exemplo 36 Se u
n
unif
u

, quando n , entao [[u


n
[[

e limitada uni-
formemente em n, isto e, existe um majorante M > 0 tal que [[u
n
[[

M,
56 CAP

ITULO 5. DISTRIBUIC

OES
para todo n.
Demonstra cao Pela Desigualdade Triangular,
[[u
n
[[

= [[u
n
u

+u

[[

[[u
n
u

[[

+[[u

[[

.
O termo [[u
n
u

[[

e limitado uniformemente para todo o n em IN porque


[[u
n
u

[[

0. Da, o resultado se segue.


4
Quando o assunto e calculo vetorial e preciso usar, `as vezes, o conjun-
to Bc(, IR
k
) = [Bc()]
k
= u = (u
1
, . . . , u
k
)
t
; u
i
Bc(), ou seja, o
espa co das fun coes contnuas com valores em IR
k
, e limitadas coordenada a
coordenada. Neste espa co, a no cao de convergencia na norma do sup, e en-
tendida como sendo a convergencia, coordenada a coordenada, na norma do
sup denida no incio desta subse cao. Isto e, a sequencia f
n
Bc(, IR
k
)
converge a f

Bc, quando n , na norma do sup, se e so se,


(f
i
)
n
unif
(f
i
)

, quando n , i = 1, . . . , k.
Um Espaco de Hilbert
Denota-se por L
2
() o conjunto das fun coes com quadrado integravel,
5
ou
seja, o conjunto das fun coes f tais que:
_

[f(x)[
2
dx < .
A norma L
2
de uma fun cao f L
2
e:
[[f[[
2
=
__

[f(x)[
2
dx
_1
2
.
Dados f

em L
2
() e uma sequencia f
n
de fun coes em L
2
, diz-se que
f
n
converge para f

em L
2
(ou em media quadr atica) se,
[[f
n
f

[[
2
0, quando n .
4
Note que este resultado so depende da Desigualdade Triangular, sendo portanto valido
em contextos mais gerais.
5
Integrais tem, por vezes, que ser entendidas no sentido de Lebesgue, mas os leitores
nao familiares com esse assunto podem, para o que se segue, assumir que as integrais sao
no sentido de Riemann apesar de que o mais correto seria considera-las, ao inves, integrais
`a Lebesgue. Ao leitor interessado indicamos [4] que contem uma introducao, bastante
agradavel, `a teoria de Lebesgue. No entanto, veja Captulo 9.
5.1. CONVERG

ENCIA EM ESPACOS DE FUNC



OES 57
Quando isto ocorre, denota-se:
f
n
L
2
f

, quando n .
Os exerccios que se seguem ilustram quao diferentes sao os dois conceitos
de convergencia apresentados nesta se cao.
Exerccio 37 Verique que a sequencia
f
n
(x) =
_

_
0 se x < 1/n
3
n
4
x +n se 1/n
3
x < 0
n
4
x +n se 0 x < 1/n
3
0 se x 1/n
3
converge, em L
2
(IR), para a fun cao identicamente nula, apesar do fato de
[[f
n
[[

tender a innito.
Exerccio 38 De exemplo de uma sequencia de fun coes contnuas, per-
tencentes tambem a L
2
(IR), tal que
f
n
unif
0 ,
ao passo que [[f
n
[[
2
nao converge a zero.
A situa cao exemplicada no exerccio 38 so e possvel em domnios ili-
mitados, como vemos a seguir.
Lema 39 Sejam aberto limitado, f
n
e f

em c
0
() e, assuma que
f
n
unif
f

, quando n .
Ent ao tambem temos:
f
n
L
2
f

, quando n . (5.2)
Demonstra cao
[[f
n
f

[[
2
2
=
_

[f
n
(x) f

(x)[
2
dx
[[f
n
f

[[
2

dx
[[f
n
f

[[
2

volume()
58 CAP

ITULO 5. DISTRIBUIC

OES
Como o volume de e nito, e
lim
n
[[f
n
f

[[

= 0,
conclui-se (5.2).
Sejam f e g fun coes em L
2
(). Dene-se o produto interno entre f e g,
atraves da integral abaixo:
(f, g) =
_

f(x)g(x) dx.

E claro que (f, g) e nito uma vez que 2[f(x)g(x)[ (f(x))


2
+ (g(x))
2
.
Alem disso, vale a Desigualdade de Cauchy-Schwarz:
6
[(f, g)[ [[f[[
2
[[g[[
2
,
para f e g em L
2
().
7
O conjunto L
2
() munido com o produto interno
acima e um espa co de Hilbert
8
.
Mais geralmente, denimos L
2
(, IR
k
) = [L
2
()]
k
= (f
1
, . . . , f
k
)
t
, f
i

L
2
(). Dado f = (f
1
, . . . , f
k
)
t
L
2
(, IR
k
) a fun cao f
i
e a i-esima compo-
nente de f e, a norma L
2
de f e:
[[f[[
2
=
_
_

i=1
(f
i
(x))
2
dx
_
1
2
.
Denindo-se o produto interno entre duas fun coes em L
2
(, IR
k
) por
(f, g) =
_

i=1
f
i
(x)g
i
(x) dx ,
temos a Desigualdade de Cauchy-Schwarz apropriada:
(f, g) [[f[[
2
2
[[g[[
2
2
. (5.3)
6
A Desigualdade de Cauchy-Schwarz e valida em qualquer espaco vetorial com produto
interno. (Veja [8]).
7
O leitor deve comparar este resultado com a desigualdade (5.1), valida no espaco de
Banach B((, IR); por vezes sao usadas para obter resultados analogos nos espacos de
atuacao respectivos.
8
Consulte [51, pagina 42, Exemplo 2] para uma prova deste resultado.
5.2. FUNC

OES TESTE E DISTRIBUIC

OES 59
5.2 Funcoes Teste e Distribuicoes
Seja um conjunto aberto em IR
m
. O espa co das fun coes teste T(), e
o conjunto c

0
() munido com a no cao de convergencia para sequencias
apresentada a seguir. Dada uma fun cao

0
() e dada tambem uma
sequencia
n
c

0
() diz-se que
n
converge, em T(), a

se e so
se as duas condi coes abaixo forem satisfeitas:
a) As fun coes
n
, para todo n, e

tem suporte contido num mesmo com-


pacto.
b) A sequencia
n
e as sequencias das derivadas parciais (de todas as or-
dens) convergem uniformemente, ou seja, para todo (
1
, . . . ,
m
) (Z
+
)
m
,

1
+m

n
x

1
1
x
m
m
unif

1
+m

1
1
x
m
m
, (5.4)
quando n .
(Note que (
1
, . . . ,
m
) pode ser (0, . . . , 0) e, neste caso (5.4) corresponde
`a convergencia uniforme de
n
a

.)
A convergencia de
n
a

em T() e denotada por:

n
D

, quando n .
Alem disso, ao nos referirmos a T() escrevemos, por vezes, T.
Um funcional linear T denido em T e uma fun cao linear com valores em
IR e domnio T, T : TIR. Denotaremos por T, ) o valor de T calculado
em . Diz-se que T e contnuo, sendo entao chamado de distribui c ao se, para
toda a sequencia
n
convergindo a

em T() tivermos que


T,
n
) T,

) , quando n .
(A convergencia na formula acima e em IR). O conjunto das distribui coes
(ou das fun c oes generalizadas) em e denotado por T

().

E facil mostrar que um funcional linear T e contnuo se e so se,


T,
n
)0, quando n ,
para toda a sequencia
n
indo a zero em T(). Verique.
Dada uma distribui cao T em diz-se que T se anula no subconjunto
aberto A de se T, ) = 0 para toda a fun cao teste em c

0
(A).
9
Seja
9
Cometeu-se aqui um ligeiro abuso de notacao. Estritamente falando, nao podemos
avaliar T em (

0
(A) pois nao e um elemento de (

0
(). No entanto, para a
extensao (

0
() de , denida por (x) = (x) se x A e (x) = 0 se x \A
podemos calcular T, ).

E esta quantidade que, por abuso, denotamos por T, ).
60 CAP

ITULO 5. DISTRIBUIC

OES
a uniao de todos os subconjuntos abertos de nos quais T se anula; este
e o maior subconjunto aberto no qual T se anula. Dene-se o suporte de T
como sendo o complementar de , isto e, supp T = .
Veremos alguns exemplos de distribui coes e determinaremos seus supor-
tes.
Exemplo 40 (Fun coes contnuas) Dada f em c
0
(), dene-se o funcional
i
f
pela formula abaixo
i
f
, ) =
_

f(x) (x) dx, c

0
(). (5.5)
Mostraremos que i
f
e contnuo.
Demonstra cao Dada sequencia

n
D
0
seja K um compacto tal que supp
n
K, para todo n. Entao,

f(x)
n
(x) dx

_
K
f(x)
n
(x) dx

[[
n
[[

_
K
[f(x)[ dx.
Ja que o valor da integral de uma fun cao contnua num compacto e -
nito, e desde que
n
converge a zero uniformemente, o lado esquerdo da
desigualdade acima converge a zero quando n. Conclumos que i
f
e
contnuo.
Observa cao: Na demonstra cao acima usamos apenas que
n
unif
0, nao
tendo sido necessario usar que as suas derivadas tambem convergem unifor-
memente a zero.
Fica como exerccio vericar que supp i
f
= supp f, onde supp f denota o
suporte da fun cao contnua f. (Recordamos que o suporte de uma fun cao
contnua e o fecho do conjunto onde a fun cao e nao nula).
Exerccio 41 Dadas f e g contnuas, use lema 34 para mostrar que se
i
f
= i
g
entao f(x) = g(x) para todo x.
O exerccio anterior permite-nos considerar as fun coes contnuas como
um subconjunto das distribui coes, pois a aplica cao
i : c
0
() T

()
f i
f
e injetiva.
5.2. FUNC

OES TESTE E DISTRIBUIC

OES 61
Exemplo 42 (Distribui cao de Heaviside) A fun cao de Heaviside dada por
H(x) =
_
1, se x 0
0, se x < 0
e descontnua. O funcional linear conhecido por distribui c ao de Heaviside e
dado por
H, )
_
+

H(x) (x) dx =
_
+
0
(x) dx, c

0
(IR).
Seu suporte e o intervalo [0, ).
A distribui cao de Heaviside e um exemplo de uma classe mais ampla de
distribui coes. Diz-se que f e uma fun cao localmente integr avel, se
_
K
[f(x)[ dx <
para todo o compacto K contido em . (O conjunto das fun coes local-
mente integraveis em e denotado por L
1
loc
()). Os mesmos argumentos
usados para fun coes contnuas permitem denir a distribui cao i
f
atraves
da formula 5.5, mesmo quando f e apenas localmente integravel. O re-
sultado, correspondente ao Lema 34 para fun coes localmente integraveis, e
de demonstra cao bem mais difcil. (Veja, por exemplo, [27, pagina 45]).
Com este resultado podemos garantir que a aplica cao L
1
loc
f i
f
T

e injetora, o que permite considerar as distribui coes como fun coes genera-
lizadas, (justicando assim esta denomina cao alternativa). Para simplicar
a nota cao denotaremos, `as vezes, i
f
por f.
(Exerccio: Determine os valores de IR para os quais a fun cao f(x) =
[x[

perten ca a L
1
loc
() onde, = IR, IR
2
, ou IR
3
. Dica: em IR
2
use
coordenadas polares e, em IR
3
, coordenadas esfericas.)
Exemplo 43 (Distribui cao delta de Dirac) A famosa distribui cao de Di-
rac, introduzida pelo fsico teorico P. M. Dirac no incio da decada de 30, e
dada por
, ) = (0), c

0
(IR
m
), (5.6)
e conhecida pelos Fsicos e Engenheiros por fun cao de Dirac.
10
Para veri-
car que (5.6) dene, de fato, uma distribui cao basta notar que a sequencia

n
tender a zero uniformemente, implica, em particular, que
n
(0) 0.
10
O leitor encontrara em Braun [9, pags. 241-244] uma proveitosa discussao sobre o
emprego da distribuicao de Dirac no estudo de forcas impulsivas, elucidando o papel fsico
fundamental desta distribuicao.
62 CAP

ITULO 5. DISTRIBUIC

OES
Figura 5.2: a) Distribui cao de Dirac: O suporte e a origem. Nesta repre-
senta cao da distribui cao temos a indica cao de onde ela esta concentrada,
(seu suporte). b) Distribui cao de Dirac ao longo do eixo x
1
em IR
2
.
Aqui cabe um comentario. Ha distribui coes que sao denidas atraves de
integra cao contra uma fun cao, isto e, distribui coes da forma J = i
f
para
alguma fun cao f L
1
loc
. Neste sentido dizemos que a distribui cao J esta
naturalmente associada `a fun cao f. A chamada fun c ao de Dirac nao esta
associada a uma fun cao. Contudo, Fsicos e Engenheiros gostam de pensar
que ela e uma fun cao que e zero em todo o IR
m
menos na origem onde vale
innito. Alem disso, esse innito seria um innito especial de tal forma que
a integral da fun cao fosse um. Esta concep cao e usualmente esquema-
tizada como na Figura 5.2a. Prosseguiremos um pouco mais nessa maneira
pouco formalizada de pensar na distribui cao de Dirac. Dada uma fun cao
nao negativa, denida em IR
m
, interpretamo-la como a uma densidade de
massa. Assim ao integrarmos dita fun cao numa regiao limitada do espa co
obtemos um n umero que corresponderia `a massa contida nessa regiao do
espa co. No contexto de densidades e de massas, a distribuicao de Dirac des-
creveria uma situa cao limite em que toda a massa estivesse concentrada num
ponto; teria densidade innita na origem, correspondente ao caso de uma
partcula pontual de massa um. A formaliza cao matematica destas ideias
intuitivas foge aos objetivos destas notas, no entanto algo da situa cao limite
aludida acima estara presente no Captulo 7. Foi o matematico frances Lau-
rent Schwartz quem deniu a no cao de distribui coes. Esta se vericou uma
no cao profunda e a Teoria das Distribui coes conseguiu incorporar a apa-
rentemente contraditoria fun cao delta de Dirac (anal uma fun cao que e
zero em todos os pontos menos na origem tem integral nula, nao importa
qual o valor que assuma na origem), desta vez como um funcional linear,
permitindo realizar, em bases matematicas corretas, os calculos que Dirac
fazia com sua fun cao, bem como tambem formalizava o chamado Calculo
5.2. FUNC

OES TESTE E DISTRIBUIC

OES 63
Figura 5.3: Distribui cao uniforme no crculo unitario em IR
2
: Esta distri-
bui cao esta concentrada no crculo.
de Heaviside, introduzido por Heaviside.
Os funcionais lineares denidos nos dois exemplos a seguir de certa forma
generalizam a distribui cao delta. Estes funcionais est ao concentrados em
outros conjuntos que nao a origem. Fica como exerccio vericar que, de
fato, sao distribui coes.
Exemplo 44 (Distribui cao ao longo de uma reta) A distribui cao L dada
pela formula abaixo, tem suporte na reta x
1
em IR
2
, suppL = IR0. Veja
Figura 5.2b.
L, ) =
_
+

(x
1
, 0) dx
1
, c

0
(IR
2
)
Exemplo 45 (Distribui cao uniforme no crculo unitario) A distribui cao a-
baixo tem suporte no crculo unitario em IR
2
, (veja Figura 5.3), supp C = o
1
,
onde o
1
= (x
1
, x
2
) IR
2
, x
2
1
+x
2
2
= 1.
C, ) =
_
2
0
(cos , sen) d, c

0
(IR
2
)
Exemplo 46 (Fun coes em L
2
) Dada uma fun cao f em L
2
, o funcional li-
near
i
f
, ) =
_

f(x)(x) dx
64 CAP

ITULO 5. DISTRIBUIC

OES
e contnuo.
Demonstra cao Seja
n
uma sequencia convergente em T() e

seu limite. Entao, pela Desigualdade de Cauchy-Schwarz,


[ i
f
,
n
) i
f
,

) [ =

f(x) (
n
(x)

(x)) dx

[[f[[
2
[[
n

[[
2
.
Como
n
e

tem suporte no mesmo compacto, pelo Lema 39 segue-se


a continuidade de i
f
.
Na verdade uma fun cao f em L
2
() pertence tambem a L
1
loc
(). Use
a Desigualdade de Cauchy-Schwarz com as fun coes f e 1 para demonstrar
isto. Assim, o exemplo acima e redundante ja que e um caso particular do
caso mais geral: L
1
loc
() T

().
Dene-se L
2
loc
(), o conjunto das fun coes com quadrado localmente in-
tegravel, isto e, fun coes tais que
_
K
[f(x)[
2
dx <
para todo o compacto K .
(Exerccio: Verique que se f L
2
loc
entao f e f
2
estao em L
1
loc
e,
portanto, denem as distribui coes i
f
e i
f
2).
A no cao de convergencia em T e extremamente exigente, tendo como
consequencia a exgua quantidade de sequencias convergentes. Assim, sera
relativamente pouco o que devera ser satisfeito, para um funcional linear
ser contnuo. Consequentemente, o espa co T

tera uma quantidade enorme


de elementos; entre estes, havera os que possibilitem a descri cao de uma
situa cao fsica complexa. Por isto, procuraremos solu coes para as equa coes
diferenciais no conjunto T

. Havera mais probabilidade de existir solu cao, de-


vido `a propria imensidao de T

, contudo nem sempre e garantida a existencia


de solu coes. (E bom frisar que, em certos problemas, algumas das solu coes
em T

podem nao ser de interesse algum).


5.3 Derivacao
Iremos considerar neste captulo, em se coes mais adiante, equa coes diferen-
ciais em T

. Isto nos solicita a introdu cao da deni cao de derivada de uma


distribui cao. Com este intuito, vejamos inicialmente como se relacionam
as distribui coes i
f
e i
f/x
j
, associadas a uma fun cao derivavel f e `a sua
derivada partial f/x
j
.
5.3. DERIVAC

AO 65
Para c

0
() e f c
1
() escrevemos a formula de deriva cao por
partes:

x
j
(f) =
_
f
x
j
_
+f

x
j
.
Notamos que o lado esquerdo da identidade acima e o divergente do campo
de vetores w = fe
j
, (veja Exerccio 15). Integramos a identidade acima
na regiao . Pelo Teorema da Divergencia e como f se anula na fronteira,
devido `a compacidade do suporte de f, temos que:
11
_

_
f
x
j
_
dx =
_

f

x
j
dx . (5.7)
Da, segue-se:
_
i
f
x
j
,
_
=
_
i
f
,

x
j
_
, c

0
. (5.8)

E natural entao a deni cao de derivada em rela cao a x


j
de uma distri-
bui cao T.
Deni cao 47 (Derivada) Para T T

a distribui c ao T/x
j
denida por
_
T
x
j
,
_
=
_
T,

x
j
_
, c

0
e a derivada parcial de T em rela cao a x
j
.
Fica como exerccio vericar que T/x
j
denido acima e, de fato, uma
distribui cao. Conven ca-se tambem que (5.8) signica que

x
j
i
f
= i
f
x
j
, se f c
1
().
Aplicando sucessivas vezes a deni cao, denem-se as derivadas parciais
de qualquer ordem de uma distribui cao. Como caso particular seja f uma
fun cao localmente integravel; podemos calcular suas derivadas de qualquer
11
Alternativamente, desconhecendo-se o Teorema da Divergencia para IR
m
com m > 3,
pode-se utilizar o argumento mais elementar esbocado a seguir. Dena
(f)(x) =
_
f(x)(x) , x supp
0 , caso contrario
,
em um retangulo contendo o suporte de , use o Teorema Fundamental do Calculo na
integral em relacao a xj e, obtenha (5.7). Verique os detalhes.
66 CAP

ITULO 5. DISTRIBUIC

OES
ordem no sentido das distribui coes. Para isto, toma-se a distribui cao i
f
e
deriva-se i
f
como distribui cao. Assim, a fun cao de Heaviside e derivavel no
sentido das distribui coes.
Os exemplos a seguir serao deixados como exerccio.
Exemplo 48 a) Em T

(IR) temos:
dH
dx
= .
Use x = 0 como ponto para quebrar determinada integral em duas.
b) Dene-se a fun cao de Heaviside no plano,
H(x
1
, x
2
) =
_
1, se x
2
0
0, caso contrario
.
A distribui cao H/x
2
e igual `a distribui cao L denida no exemplo 44.
Exemplo 49 (O laplaciano) a) [unidimensional] Considere a fun cao cont-
nua F(x) =
1
2
[x[. E facil mostrar que:
dF
dx
= H
1
2
, e
F =
d
2
F
dx
2
=
d
dx
_
dF
dx
_
= .
b) [bidimensional] Considere a distribui cao em IR
2
,
F, ) =
_
IR
2
F(x)(x) dx,
onde
F(x) =
1
2
log [x[.
5.4. C

ALCULO VETORIAL 67

E possvel mostrar-se que


12
F

2
F
x
2
1
+

2
F
x
2
2
= .
Podemos considerar tambem o laplaciano tridimensional, veja Exerc-
cio 53.
Por m, mostramos como traduzir a no cao de solu cao fraca do PVI
apresentada no captulo anterior, para a linguagem das distribui coes. Seja
u c
0
(IR [0, )); entao
u
t
+
u
x
no sentido das distribui coes e o funcional linear J denido por:
J, ) =
_
+
0
_
+

(
t
+
x
) u(x, t) dxdt.
Notamos que u C
0
(IR [0, )) e solu cao fraca do PVI do captulo ante-
rior (veja deni cao 30) se e so se (4.2) e satisfeito e se
u
t
+
u
x
= 0
como distribui coes, ou seja, quando as derivadas acima s ao interpretadas no
sentido das distribui coes.
5.4 Calculo Vetorial
Distribui coes Vetoriais
A descri cao de uma ampla gama de fenomenos fsicos requer a utiliza cao
de fun coes vetoriais. Nesta subse cao denimos fun coes vetoriais genera-
lizadas, ou distribui coes vetoriais. Os operadores diferenciais classicos, o
12
Esta armacao e bem mais difcil de justicar do que a anterior; consulte o excelente
texto de Gustafson [26], ou algum outro livro de equacoes diferenciais parciais. Antes veja
Exemplo 54. Os pontos cruciais aqui sao que: a) Em IR
2
\|0, temos que: .log [x[ = 0
classicamente. b) O campo de vetores log [x[ esta denido classicamente em IR
2
\|0
e, seu uxo atraves do crculo de raio R centrado na origem, (veja denicao de uxo no
Exemplo 54), e independente de R. Isto e, a integral
_
|x|=R
n log [x[ dl ,
nao depende de R. Aqui n = x/[x[, para x ,= 0 e o vetor unitario normal ao crculo,
apontando para fora.
68 CAP

ITULO 5. DISTRIBUIC

OES
gradiente, o rotacional, o divergente e o laplaciano, atuando em fun coes
vetoriais generalizadas, sao apresentados.
Denimos T(, IR
k
) = [T()]
k
= (
1
, . . . ,
k
)
t
,
i
T(); os ele-
mentos de T(, IR
k
), sao entao naturalmente identicados com fun coes no
conjunto c

0
(, IR
k
). Uma sequencia
n
converge a

em T(, IR
k
)
quando n, (denotado por

n
D

,
quando n ), se e so se, convergir coordenada a coordenada, isto e, se
(
i
)
n
D
(
i
)

, quando n , i = 1, . . . , k.
O conjunto [T

()]
k
, chamado de Espa co das Distribuic oes Vetoriais, e
denotado por T

(, IR
k
). Por deni cao T = (T
1
, . . . , T
k
)
t
e um elemento de
T

(, IR
k
), se e so se T
j
, j = 1, . . . , k, as componentes de T, pertencem
a T

(). Cada T T

(, IR
k
) dene naturalmente um funcional linear
contnuo em T(, IR
k
), atraves da formula:
T, ) =
k

j=1
T
j
,
j
) , T(, IR
k
).
O suporte de T e, por deni cao, a uniao dos suportes de suas componentes,
supp T =
k
j=i
supp T
j
.
Uma classe de distribui coes vetoriais e dada pelo conjunto das fun coes
vetoriais cujas componentes estao em L
1
loc
,
L
1
loc
(, IR
k
) = [L
1
loc
()]
k
=
_
(f
1
, , f
k
)
t
, f
j
L
1
loc
()
_
.
Assim, dado f em L
1
loc
(, IR
k
), denimos i
f
em T

(, IR
k
) pela formula
i
f
, ) =
k

j=1
_
i
f
j
,
j
_
, c

0
(, IR
k
).
Por simplicidade, denotamos i
f
por f. Denimos tambem,
L
2
loc
(, IR
k
) = [L
2
loc
()]
k
=
_
(f
1
, , f
k
)
t
, f
j
L
2
loc
()
_
,
sendo imediato vericar que
L
2
loc
(, IR
k
) L
1
loc
(, IR
k
) .
5.4. C

ALCULO VETORIAL 69
Os operadores diferenciais cl assicos, , rot , div , atuam nas distribui-
coes da maneira natural. Dados T T

(, IR), e v T

(, IR
3
), (onde e
um aberto em IR
3
), temos:
a) O gradiente de T:
T
_
T
x
1
,
T
x
2
,
T
x
3
_
t
T

(, IR
3
).
b) O rotacional de v:
rot v ((rot v)
1
, (rot v)
2
, (rot v)
3
)
t
T

(, IR
3
),
onde
(rot v)
i
=
3

j=1
3

k=1

ijk
v
k
x
j
T

(, IR)
com
ijk
denido na se cao 1.3.
c) O divergente de v:
div v =
3

i=1
v
i
x
i
T

(, IR).
d) O laplaciano de T:
T =
3

i=1

2
T
x
2
i
T

(, IR).
Exerccio 50 Sejam T T

(, IR) e, v T

(, IR
3
). Verique as identida-
des abaixo:
a)T, ) = T, div ) , c

0
(, IR
3
)
b) rot v, ) = v, rot ) c

0
(, IR
3
) . (O sinal nao esta errado).
c) div v, ) = v, ) , c

0
(, IR)
d) rot T = 0
e) div T = T
f) div rot v = 0
70 CAP

ITULO 5. DISTRIBUIC

OES
Vejamos um exemplo: Dizemos que u L
2
loc
(, IR
3
) e incompressvel no
sentido das distribui coes se u e solu cao da equa cao diferencial partial (EDP)
div u = 0 ,
em palavras, se as distribui coes do lado esquerdo e direito da equa cao acima
forem iguais. Usando o Exerccio 50c, conclumos que u sera incompressvel
no sentido das distribui coes se e somente se:
u, ) = 0, c

0
().
Dada uma fun cao a c

() e uma distribui cao T T

() denimos a
distribui cao produto, denotada por aT, pela formula:
aT, ) = T, a) , c

0
().
Fica como exerccio vericar que aT e, de fato, uma distribui cao.
Exerccio 51 Seja d L
1
loc
(IR
2
), a fun cao caracterstica do complementar
do disco unitario aberto em IR
2
,
d(x) =
_
0 , se x
2
1
+x
2
2
< 1
1 , caso contrario
Calcule a distribui cao
_
x
1

x
1
+x
2

x
2
_
i
d
,
determine seu suporte e relacione-a com a distribui cao denida no exer-
ccio 45.
Exerccios e Exemplo
Exerccio 52 Calcule o divergente e o rotacional, no sentido das distribui-
coes, dos campos de vetores dados abaixo. (

E conveniente que se desenhem


os campos de vetores). Calcule tambem o suporte das distribui coes resul-
tantes.
a) (Folha unidimensional de vorticidade) Para o campo de velocidades dado
abaixo, o eixo x
1
e chamado de folha de vorticidade, ele e o suporte da
distribui cao rot v, (veja Figura 5.4):
v(x
1
, x
2
) = (H(x
1
, x
2
) + 1, 0)
t
5.4. C

ALCULO VETORIAL 71
Figura 5.4: Folha de vorticidade. O eixo x
1
e uma folha unidimensional de
vorticidade, pois ha a concentrado uma tendencia de rota cao; colocando-
se um peda co de madeira p no uido, este tendera a girar uma vez que, acom-
panhando o uxo, sua parte superior percorrera, de incio, uma distancia
maior que a parte inferior.
Observa cao: lembramos que o rotacional de um campo de vetores em IR
2
e
o escalar rot v =
x
1
v
2

x
2
v
1
.
b) (Folha de vorticidade) Seja H a fun cao descontnua denida em IR
3
da
seguinte forma: H(x) = 1 se x
2
0 e, H(x) = 0 se x
2
< 0. Mais apropria-
damente do que no item a, o plano x
1
x
3
e denominado folha de vorticidade
do campo de velocidades
v(x) = (H(x
1
, x
2
) + 1, 0, 0)
t
.
c) (Vortice pontual) O campo de velocidades abaixo e incompressvel no
sentido das distribui coes. Sua vorticidade justica ser denominado de v ortice
pontual. Temos
v(x
1
, x
2
) =
_
x
2
x
2
1
+x
2
2
,
x
1
x
2
1
+x
2
2
_
t
e
rot v = 2 em T

(IR
2
) .
72 CAP

ITULO 5. DISTRIBUIC

OES
(Dica: Compare com Exemplo 54 e use as ideias la apresentadas).
d) (Filamento de vorticidade) Comentarios analogos aos feitos no item c
caberiam aqui, para o campo de velocidades
v(x) =
_
x
2
x
2
1
+x
2
2
,
x
1
x
2
1
+x
2
2
, 0
_
t
.
Exerccio 53 Sejam F e u, respectivamente, a fun cao e o campo de vetores
denidos em IR
3
0 dados por:
F(x) =
1
(x
2
1
+x
2
2
+x
2
3
)
1/2
, u(x) =
x
[x[
3
.
a) Mostre que F L
1
loc
(IR
3
) e, portanto, i
F
T

().
b) Mostre que u e localmente integravel em IR
3
, u L
1
loc
(IR
3
, IR
3
), denindo
a distribui cao i
u
em T

(IR
3
, IR
3
).
c) Mostre que o uxo de u atraves da esfera de raio R (que e a fronteira da
bola de raio R), dado pela integral
_
B
0
(R)
u ndS
e independente de R. Aqui, n e o vetor unitario normal `a superfcie B
0
(R)
apontando para fora.
d) Mostre que
i
F
= i
u
.
e) Mostre que div i
v
= 4. (Consulte [26, se cao 1.6.1]).
f) Um conjunto K IR
3
e um cone (centrado na origem) se, para todo
elemento a em K e t 0, tambem ta esta em K. Um cone suave e um
cone cuja interse cao com a esfera unitaria tem fronteira suave, (a fronteira
e uma curva de classe c
1
, veja Figura 5.5a). O angulo s olido determinado
pelo cone suave K e, por deni cao, a area da superfcie de interse cao do
cone K com a esfera unitaria. Seja M uma superfcie com bordo e assuma
que os raios partindo da origem interceptem M em no maximo um ponto.
Dena K, o cone formado pelos raios que interceptam M, como mostrado
na Figura 5.5b. Assuma que K e um cone suave. Mostre que
angulo solido de K =
_
KB
0
(1)
u ndS
e que tambem e igual a:
_
M
u ndS.
5.4. C

ALCULO VETORIAL 73
Figura 5.5: (a) Cone suave: O

Angulo solido e a area da interse cao do cone
com a esfera unitaria. (b) Cone K determinado por superfcie M.
(Dica: Use o Teorema da Divergencia). Compare este resultado com o caso
particular apresentado no item c.
Exemplo 54 (Dois vortices pontuais em rota coes contrarias) Apenas esbo-
caremos as ideias principais. Os detalhes, por vezes nao muito faceis, cam
a cargo do leitor. Este exemplo e o caso bidimensional do qual o exerccio a
seguir e o caso tridimensional.
Preliminares Geometricos: Dados um campo de vetores u diferenciavel,
denido em um aberto A (em IR
3
), uma curva orientada e sem autointerse cao
C, e uma superfcie H, fechadas e suaves, denimos:
Circula cao de u em C:
C
=
_
C
u t dl (5.9)
Fluxo de u atraves de H:
H
=
_
H
u ndS (5.10)
onde n e o vetor unitario normal a H, t e um vetor unitario e tangente a
C (compatvel com a orienta cao de C), e ainda, dS e o elemento de area da
superfcie, e dl e o elemento de comprimento da curva.
Duas curvas C
0
e C
1
sao homot opicas em A se uma puder ser transfor-
74 CAP

ITULO 5. DISTRIBUIC

OES
Figura 5.6: Deforma cao contnua de curvas e superfcies. a) Curvas ho-
motopicas b) Superfcies homotopicas.
mada na outra atraves de uma deforma cao contnua em tempo nito.
13
A no cao de homotopia dene uma rela cao de equivalencia no conjunto das
curvas fechadas em A.
Assuma que u e um campo de vetores irrotacional em A, isto e, rot u = 0
classicamente em A. Use o Teorema de Stokes para mostrar que as cir-
cula coes de u em duas curvas homotopicas sao iguais. (Veja Figura 5.6a).
Analogamente, diz-se que as superfcies H
0
e H
1
sao homot opicas em
A se uma puder ser levada na outra atraves de um movimento contnuo
em tempo nito.
14
(Veja Figura 5.6b). Use o Teorema da Divergencia para
mostrar que dado u, um campo de vetores incompressvel (classicamente),
seu uxo atraves de uma superfcie e uma constante em cada classe de ho-
motopia de superfcies em A, (uma classe de homotopia e um conjunto de
superfcies homotopicas entre si).
Para campos de vetores denidos em subconjuntos abertos de IR
2
, seme-
lhante desenvolvimento e possvel, mas como desta vez nao ha superfcies,
apenas curvas, uxos serao atraves de curvas, isto e, dados C e u, respecti-
13
Exemplo: O crculo de raio 1 centrado em (0, 0), e o de raio 2 centrado em (5, 0),
nao sao homotopicos nem em IR
2
\|0, nem em IR
3
\|x [ x1 = 0, x2 = 0, mas o sao em
IR
3
\|x [ x
2
1
+ x
2
2
= 4, x3 = 0.
14
Por exemplo, as esferas de raio 1 com centro em (0, 0, 0) e em (5, 0, 0), nao sao
homotopicas em IR
3
\|0 nem em IR
3
\|(2, x2, x3) [ x2 IR, x3 IR mas o sao em
IR
3
\|(2, 0, 0) e em IR
3
\|(2, 0, x3), x3 IR.
5.4. C

ALCULO VETORIAL 75
Figura 5.7: Dois vortices em rota coes contrarias. (a) A fun cao . (b) Curvas
de nvel de . (c) O campo de velocidades v =
1
2
e perpendicular `as
curvas de nvel de . (d) A curva C

.
vamente uma curva fechada e um campo de vetores em A IR
2
, dene-se o
uxo de u atraves de C, pela formula:

C
=
_
C
u ndl ,
onde n denota o vetor unitario normal exterior a C.
Deni c ao do campo de vetores do exemplo: Dado um ponto (x
1
, x
2
) em
IR
2
([1, 1] 0), seja (x
1
, x
2
) o angulo do setor circular formado pelas
semi-retas que passam pelos pontos (x
1
, x
2
) e (1, 0), e pelos pontos (x
1
, x
2
)
e (1, 0), como mostrado na Figura 5.7a. (Convencionamos que o angulo sera
positivo se x
2
< 0. Seja ainda G(x) = log [x[ e dena u = G = x/[x[
2
.
Use o Teorema da Divergencia em IR
2
para mostrar que
(x) =
_
|yx|=1
u(y x) n(y) dl
y
(5.11)
=
_
1
1
x
2
(y
1
x
1
)
2
+ (x
2
)
2
dy
1
. (5.12)
(A integral acima pode ser resolvida explicitamente).
76 CAP

ITULO 5. DISTRIBUIC

OES
A fun cao e diferenciavel em IR
2
([1, 1] 0). Ademais, tem uma
descontinuidade de salto em [1, 1] 0, isto e, (veja Figura 5.7b)
(p

+
) (p

) 2, 0, (5.13)
onde p

+
e p

sao sequencias de pontos em IR


2
que se aproximam de um
mesmo ponto p
0
em (1, 1) 0, respectivamente, com valores positivos e
negativos da segunda coordenada. O campo de vetores v =
1
2
(onde o
gradiente e calculado classicamente) tem uma extensao diferenciavel (ainda
denotada por v) denida em IR
2
(1, 0), (1, 0). (Veja Figura 5.7c. Os
pontos (1, 0) e (1, 0) sao chamados de singularidades do campo v). Mais
ainda, v e um elemento de L
2
loc
(IR
2
, IR
2
).
(Exerccio: Obtenha, explicitamente, o campo de velocidades v, calcu-
lando primeiro a integral em (5.12). Compare-o com o item c do Exerc-
cio 52.)
Enunciado do Exemplo: No sentido das distribui coes, valem as seguintes
identidades:
rot v =
(1,0)
+
(1,0)
(5.14)
div v = 0 (5.15)
onde
a
, denota a transla cao da distribui cao pelo vetor a, isto e,

a
, ) = , ( +a)) = (a), c

0
.
Fatos cruciais: Equa cao 5.14 e consequencia de:
rot v = 0, classicamente em IR
2
(1, 0), (1, 0) (5.16)
A circula cao em torno de C,
C
= 1, 1, ou 0, (5.17)
conforme a curva C de uma volta (no sentido anti-horario) (a) em torno
apenas da singularidade (1, 0), (b) apenas em torno de (1, 0) ou (c) exclua
ambas as singularidades. Verique (5.16).
Esbo co da demonstra c ao de 5.17: Seja C uma curva que da uma volta
em torno de (1, 0). Sejam C

, p

+
e p

, como mostrados na Figura 5.7d,


entao, usando (5.13), temos:

C
=
_
C
v t dl
= lim
0
_
C
v t dl
= lim
0

1
2
[(p

+
) (p

)] = 1.
5.4. C

ALCULO VETORIAL 77
Figura 5.8: K

= K(L

+
L

). O campo de vetores e tangente ao bordo


de L

+
e de L

.
De forma analoga faramos os outros calculos.
Esbo co da demonstra c ao de 5.14: Dena um conjunto L

+
como mostra-
do na Figura 5.8, gozando das seguintes propriedades: L

+
e um subconjunto
de B
(1,0)
(), e o campo de vetores v e tangente `a fronteira de L

+
. Analo-
gamente dene-se L

, desta vez contendo (1, 0). Sejam uma fun cao


teste, K um compacto, com fronteira suave, contendo o suporte de , e
K

= K(L

+
L

), (veja Figura 5.8). Em K

, o campo de vetores v e
diferenciavel e podemos aplicar a regra de Leibnitz,
rot (v) = ()

v +rot v, em K

,
onde u

= (u
2
, u
1
)
t
; segue-se da identidade acima e de (5.16) que:
rot (v) = ()

v, em K

. (5.18)
Usando a deni cao do rotacional (no sentido das distribui coes), o Teorema
da Divergencia, o da Convergencia Dominada (veja se cao 3.3) e equa cao 5.18,
segue-se que:
rot v, ) = v
2
,
x
1
) +v
1
,
x
2
)
=
_
K

v dx
= lim
0

_
K

v dx
= lim
0
_
K
rot (v) dx
78 CAP

ITULO 5. DISTRIBUIC

OES
= lim
0
_
K
div (v

) dx
= lim
0
_
K
v

ndl
= lim
0
_
_
L

+
v

ndl +
_
L

ndl
_
= lim
0

_
_
L

+
v t dl +
_
L

v t dl
_
. (5.19)
Pela deni cao de L

+
e de L

, tem-se que v t nao muda de sinal em cada


uma das fronteiras destes conjuntos (sendo nao-negativa na fronteira de L

+
e nao-positiva na de L

), donde:

_
L

+
v t dl (1, 0)

(5.20)
=

_
L

+
((x) (1, 0))v t dl

sup
_
[(x) (1, 0)[, x L

+
_

_
L

+
v t dl

(5.21)
Como e contnua e a fronteira L

+
esta contida em B
(1,0)
(), segue-se
de 5.17 e 5.21 que:
lim
0
_
L

+
v t dl =
(1,0)
.
Com argumentos analogos para a outra singularidade e aplicando este re-
sultado a (5.19), obtemos, por m, que:
rot v, ) = (1, 0) +(1, 0) .
Coment arios sobre 5.15: Equa cao 5.15 e consequencia de (a) div v = 0
classicamente em IR
2
(1, 0), (1, 0) e (b) o uxo atraves de qualquer curva
(incluindo ou nao as singularidades de v), e nulo.
Condi cao b e facil vericar para as curvas em torno de uma singularidade
cujas tangentes sao paralelas ao campo v. Para as restantes e consequencia
da invariancia do uxo (de um campo incompressvel) atraves de curvas
homotopicas. Os detalhes cam por conta do leitor.
Exerccio 55 (Filamento circular de vorticidade)
15
Seja (x) o angulo
solido do cone (denotado por K
x
) formado pelas semi-retas partindo de x e
15
Compare este exerccio com Exerccios 5.31, 5.32, 5.33 de [56], que tratam do n umero
de ligacao entre duas curvas.
5.4. C

ALCULO VETORIAL 79
interceptando o disco unit ario
D
0
(1) = x[ x
2
1
+x
2
2
1, x
3
= 0,
veja Figura 5.9a. Considere as fun coes F(x) = 1/[x[ e u = F denidas
em IR
3
0.
(a) Mostre que
(x) =
_
Bx(1)Kx
u(y x) n(y) dS(y)
=
_
D
0
(1)
u(y x) e
2
dS(y)
e, obtenha uma formula mais explcita para a integral acima substituindo u
por sua expressao analtica.
(b) Mostre que
lim
0
[(p

+
) (p

)] = 4
onde p

+
e p

sao pontos se aproximando de p


0
(que pertence ao disco D =
x[ x
2
1
+ x
2
2
< 1, x
3
= 0), com as terceiras coordenadas, respectivamente,
positiva e negativa, (veja Figura 5.9).
(c) Considere o campo de vetores
v =
1
4
,
denido classicamente em IR
3
o
1
onde aqui, o
1
= x[ x
2
1
+x
2
2
= 1, x
3
= 0.
Seja c uma curva que intercepte o disco D uma unica vez orientada de tal
forma que o seu vetor tangente tenha terceira componente negativa quando
a curva interceptar o disco D, como mostrado na Figura 5.10a. Use (b) para
mostrar que circula cao do campo v em c e um.
(d) Tomando como base como foram escolhidas as regioes L

+
e L

no
Exerccio 54, e possvel escolher-se uma regiao R

com fronteira suave, con-


tendo os pontos de singularidade do campo v, (isto e, contendo o
1
), tal que
o campo de vetores v seja tangente `a fronteira de R

. (Veja Figura 5.10b).


Mostre que o uxo de v atraves da fronteira de R

e nula. Mais ainda, mostre


que se R e uma regiao qualquer cuja fronteira e uma superfcie suave, con-
tento em seu interior o
1
, entao o uxo de v atraves da fronteira de R e
nulo.
(e) Considere a distribui cao C em T

(IR
3
, IR) denida pela formula:
16
C, ) =
_
+

(cos , sen , 0) d .
16
Compare esta distribuicao com aquela denida no Exemplo 45.
80 CAP

ITULO 5. DISTRIBUIC

OES
Figura 5.9: (a) A fun cao . (b) Esbo co das superfcies de nvel de . (c)
Esbo co do campo de vetores v =
1
4
.
Dena a distribui cao vetorial em T

(IR
3
, IR
3
), o anel ou lamento circular
de vorticidade, pela formula:
A = (x
2
, x
1
, 0)
t
C .
Calcule o suporte de A. (Veja Figura 5.10c).
(f) Mostre que v satisfaz o seguinte sistema de equa coes diferenciais parciais
em T

:
_
rot v = A
div v = 0
Distribuicoes Tensoriais
A dedu cao das equa coes de Navier-Stokes na Se cao 1.1 e tambem o Exerc-
cio 7 exibiu a participa cao, na formula cao da dinamica dos uidos, de fun coes
denidas no espa co tempo cujos valores sao matrizes quadradas. Por isto,
nesta subse cao incorporamos `a nossa linguagem a no cao de distribui c oes
matriciais ou tensoriais.
5.4. C

ALCULO VETORIAL 81
Figura 5.10: (a) Duas curvas com n umero de liga cao nao nulo. (b) Regiao
tipo toro em torno das singularidades do campo v: R

(c) Anel de vortici-


dade.
O produto tensorial uv entre dois vetores u, v em IR
k
, e a matriz cujas
entradas sao: (u v)
ij
= u
i
v
j
, para 1 i, j k. O produto tensorial
17
de
IR
k
com IR
k
, denotado por IR
k
IR
k
, e denido como sendo o conjunto das
matrizes quadradas k k obtidas a partir de combina coes lineares nitas de
produtos tensoriais de vetores em IR
k
, isto e,
IR
k
IR
k
=
_
_
_
l

i=1
l

j=1
a
ij
u
i
v
j
, [ a
ij
IR, u
i
, v
j
IR
k
, 1 i, j k
_
_
_
.
Os elementos de IR
m
IR
m
sao chamados de tensores.

E claro que dada uma
matriz arbitraria A em M(k) (onde M(k) denota o conjunto das matrizes
quadradas k k), nem sempre e possvel determinarmos u, v em IR
k
tais
que A = u v. No entanto, e facil ver que IR
k
IR
k
coincide com M(k),
(basta notar que e
i
e
j
, 1 i, j k formam uma base para M(k)). Em
M(k) denimos o produto interno dado por:
A : B =
k

i=1
k

j=1
A
ij
B
ij
.
No conjunto das fun c oes teste matriciais,
T(, IR
k
IR
k
) = A : M(k), A
ij
c

0
() ,
dizemos que uma sequencia converge se e so se convergir coordenada a coor-
denada em T(). Denotamos por T

(, IR
k
IR
k
) o conjunto das matrizes
17

E possvel denir-se o produto tensorial entre dois espacos vetoriais de uma maneira
mais intrnseca sem o relacionarmos diretamente com matrizes, veja [63].
82 CAP

ITULO 5. DISTRIBUIC

OES
quadradas k k cujas entradas sao distribui coes, ou seja, a matriz T e um
elemento de T

(, IR
k
IR
k
) se e so se T
ij
, 1 i, j k, as entradas de T,
sao elementos de T

(). Dados T T

(, IR
k
IR
k
) e, T(, IR
k
IR
k
)
denimos o funcional linear em T(, IR
k
IR
k
) pela formula
T, ) =
k

i,j=1
T
ij
,
ij
) .
O conjunto T

(, IR
k
IR
k
) e chamado de espa co das distribui coes tensoriais.
Denimos o divergente de uma distribui cao tensorial T,
Div T =
_
_
_
div T
1
div T
2
div T
3
_
_
_ T

(, IR
3
) ,
onde T
i
denota a distribui cao vetorial dada pela i-esima linha de T.
(Exerccio: Mostre que
Div T, ) = T, ) , c

0
(, IR
k
) (5.22)
onde e a matriz das derivadas parciais de 1
a
de , ()
ij
=
i
/x
j
).
5.5 A Equacao de Burgers
Veremos nesta se cao como usar a linguagem das distribui coes no estudo
de equa coes diferenciais nao-lineares. Em geral, nao e possvel denir-se o
produto de duas distribui coes. Isto poderia ser um empecilho ao uso de
distribui coes no estudo das equa coes nao-lineares. No entanto, se nos res-
tringirmos a certas classes de equa coes nao-lineares e a certos subconjuntos
das distribui coes ainda poderemos usar a no cao de derivada no sentido das
distribui coes para denir solu cao fraca de equa coes diferenciais nao-lineares.
Ilustraremos o procedimento atraves de um exemplo.
A equa cao diferencial nao-linear
u
t
+uu
x
= 0, (5.23)
pode ser reescrita como:

t
(u) +

x
_
u
2
2
_
= 0. (5.24)
5.5. A EQUAC

AO DE BURGERS 83
Diz-se que (5.24) esta escrita na Forma de Divergencia.
18
Equa cao (5.23)
e conhecida como equa cao de Burgers sem viscosidade
19
.
Deni cao 56 Uma fun c ao u L
2
loc
(IR IR
+
) e uma solu cao fraca da
equa c ao de Burgers sem viscosidade se a equa c ao 5.24 for satisfeita no sen-
tido das distribui c oes, isto e, se (5.24) for uma identidade em T

.
Lembramos aqui que u e u
2
sao elementos de T

(IRIR
+
) uma vez que
u L
2
loc
(IR IR
+
). Alem disso, equa cao 5.24 e satisfeita no sentido das
distribui coes, se e somente se
_
+
0
_
+

u
t
+
u
2
2

x
dxdt = 0
para todo c

0
(IR IR
+
, IR).
E mais ou menos claro como estender a no cao de solu cao fraca a outras
EDPs nao lineares que possam ser escritas em Forma de Divergencia. Nao
o faremos, (no entanto veja o proximo captulo).
Ha vezes em que esta no cao de solu cao fraca e abrangente demais, no
sentido que admite para solu cao fun coes que, por algum motivo externo
ou nao `a EDP, nao consideramos razoavel aceita-las como suas solu coes.
Por exemplo, podemos estar interessados em algum PVI, e a questao de
existencia de solu cao unica pode nos levar a aceitar por solu coes do PVI,
apenas aquelas solu coes fracas que satisfa cam algum outro requisito. O
leitor interessado e referido a [36, 13, 35] onde estes assuntos sao tratados
no contexto de problemas hiperbolicos
20
, (como e o caso do PVI para a
equa cao de Burgers sem viscosidade).
18
Associada a certas equacoes diferenciais, ha uma forma de divergencia, que no entanto
nao e unica. Multiplicando-se equacao (5.23) por u, obtemos a equacao na forma de di-
vergencia

t
_
u
2
2
_
+

x
_
u
3
3
_
= 0. Os resultados que podem ser obtidos variam con-
soante a forma de divergencia empregada. Consideracoes fsicas sao por vezes uteis na
determinacao de qual forma de divergencia deve ser escolhida. (Veja [64]).
19
A equacao de Burgers ut + uux = uxx e um modelo unidimensional simples para
a equacao de Navier-Stokes. Foi estudada por Burgers [10] em 1948 com este proposito,
(posto que incorpora um termo nao linear e um termo difusivo tpicos).
20
Na situacao analisada em [13, 35, 36], os candidatos a solucao fraca tem que, adicio-
nalmente, satisfazer condi coes de entropia para serem considerados solucoes sicamente
relevantes.
84 CAP

ITULO 5. DISTRIBUIC

OES
Exerccio 57 (choques)
21
Considere a fun cao descontnua u dada por:
u(x, t) =
_
u
e
, se x < c(t)
u
d
, se x c(t)
(5.25)
onde c = c(t) e uma fun cao diferenciavel e u
e
, u
d
sao constantes. Mostre
que u sera solu cao fraca da equa cao de Burgers sem viscosidade na Forma
de Divergencia (5.24) se e so se c(t) satisfaz a rela cao de Rankine-Hugoniot:
[[u][
dc
dt
=

_
u
2
2
_

. (5.26)
Aqui [[f(u)][ denota o salto da quantidade f(u) quando se cruza a linha
(c(t), t) da esquerda para a direita, isto e, [[f(u)][ = f(u
d
) f(u
e
).
22
(Dica: Divida o IR
2
pela linha (c(t), t). Use deriva cao por partes e o
Teorema da Divergencia).
Mais geral, e ate preferivelmente, por tornar a nota cao um pouco mais
limpa, mostre a rela cao de Rankine-Hugoniot,
[[u][
dc
dt
= [[f(u)][ ,
para a solu cao (5.25) da equa cao

t
(u) +

x
(f(u)) = 0.
Exerccio 58 Seja u(x, t) uma solu cao positiva (u(x, t) > 0) de classe c
2
da equa cao do calor unidimensional,
u
t
= u
xx
para t > 0.
Verique que se u(x, 0) = f(x) > 0, para x em IR, entao u(x, t) dado
por (B.1) e uma solu cao positiva. Mostre que a transforma cao de Cole-
Hopf u = 2u
x
/u leva solu coes positivas da equa cao do calor, em
solu coes da equa cao de Burgers com viscosidade, isto e, satisfaz:

t
+
x
=
xx
para t > 0 .
21
O objetivo deste exerccio e deduzir a relacao de Rankine-Hugoniot (5.26). Notamos
que qualquer constante satisfaz a equacao de Burgers sem (ou com) viscosidade. To-
mando uma atitude simplista, podemos perguntar se sera possvel obter-se solucao que
seja constante em cada uma das, digamos, duas regioes em que tenhamos subdividido o
espaco-tempo. A resposta e que e possvel obter-se solucao fraca desde que a relacao de
Rankine-Hugoniot seja satisfeita na interface de separacao das duas regioes.
22
O PVI para a equacao de Burgers (ou para outra lei de conservacao hiperbolica) com
condicao inicial u(x, 0) = ue, se x < 0 e u(x, 0) = u
d
de x 0 e conhecido como problema
de Riemann. A relacao de entropia para este problema se traduz na relacao: ue > u
d
.
(Veja [13]).
5.6. COMENT

ARIOS 85
5.6 Comentarios
Teorias fsicas consistem em geral de uma tantas vari veis independentes (des-
crevendo o domnio, tipicamente o espa co-tempo), variaveis dependentes
(que sao as fun coes da teoria, como por exemplo a densidade de massa,
de carga eletrica, o campo de velocidades, ou o campo eletromagnetico),
e equa coes (em geral integro-diferenciais, expressando leis de conserva cao,
como por exemplo, as leis de conserva cao da massa, da carga, a equa cao de
Navier-Stokes, ou as Equa coes de Maxwell), que as variaveis dependentes
devem satisfazer.
23
Pelo que foi apresentado nos captulos anteriores e repetido no paragrafo
anterior, ca claro que para a descri cao de fenomenos fsicos, em particular
em teorias de meios contnuos, utilizam-se fun coes: fun coes escalares (ou
seja, fun coes com valores em IR), fun coes vetoriais, fun coes matriciais ou
tensoriais, alem de, conforme forem necessarias, fun coes com valores em
outros conjuntos. Nestas notas ja vimos exemplos de fun c oes de cada um
destes tipos. Assim, , a densidade de massa e uma fun cao escalar, o campo
de velocidades v, e uma fun cao vetorial e digamos, T, a parte simetrica de
v, que desempenha um papel na dinamica da vorticidade (veja Captulo 2),
e uma fun cao tensorial.
Por outro lado, neste captulo incorporamos `a nossa linguagem a no cao
de Fun coes Generalizadas (ou Distribui coes) que podem igualmente ser esca-
lares, vetoriais ou matriciais, dentre outros tipos. O espa co das distribui coes
e bastante amplo e permite retratar situa coes mais complexas do que aquelas
permitidas por fun coes.
Ampliar o modelo ou teoria fsica de tal forma a que distribui coes possam
se candidatar a representantes de situa coes fsicas, implica, em particular,
em reinterpretar a no cao de solu cao das equa coes da teoria. E bastante
difundido o uso de distribui coes em teorias fsicas que envolvam equa coes
diferenciais lineares. Nos captulos que se seguem discutiremos um pouco
mais o papel das fun c oes generalizadas em modelos fsicos nao-lineares. A
aceita cao de uma nova formula cao de uma teoria fsica requer, contudo,
que decidamos se as novas solu coes tem conte udo fsico ou se sao meros
subprodutos da matematica. Esta decisao e uma tarefa difcil que envolve
desde compara coes com experimentos, passando por simula coes numericas,
e indo ate `a determina cao do apuro dos teoremas matematicos resultantes,
conforme a pratica cientca atual. E claro, no entanto, que distribui coes
23
Feynman em [19] apresenta uma excelente discussao nao tecnica de algumas ideias
fundamentais da Fsica.
86 CAP

ITULO 5. DISTRIBUIC

OES
fazem parte do arsenal de Fsicos (lembre-se da fun cao de Dirac!) e de
Matematicos (lembre-se da distribui cao de Dirac!). Geralmente, Fsicos
nao explicitam se utilizam fun coes ou fun coes generalizadas. Alem disso,
denominam algumas dessas fun coes de campos escalares, vetoriais, tensoriais,
e assim por diante.
Captulo 6
Forma Fraca de Euler e
Navier-Stokes
O objetivo deste captulo e obter uma formula cao fraca para as equa coes
de Euler e de Navier-Stokes.

E conveniente comparar o desenvolvimento
analogo, mais simples, do Captulo 4 com o deste. Ha no entanto diferen ca
crucial: naquele estudava-se um PVI, ao passo que neste, apenas solubili-
dade local sera considerada. Isto e uma simplica cao pois o problema fsico
completo e global, carecendo de condi cao inicial e ate mesmo de condi cao de
fronteira. Contudo o estudo das peculiaridades locais e um passo decisivo
na dire cao de estudar o problema completo. Sem haver sido levantada a
questao, esta simplica cao (de esquecer os aspectos globais, e se concentrar
nos aspectos locais), ja havia sido efetuada na pen ultima se cao do captulo
anterior. Ha outra diferen ca que queremos salientar. Caracterizar o que e fe-
nomenologicamente correto foi facil para a equa cao de onda mais simples; ja
para a equa cao de Navier-Stokes, tal nao e possvel devido `a multiplicidade
e complexidade de fenomenos regidos por esta.
Seja aberto em IR
3
e t
0
(0, +]. Come camos por recordar
1
que as
equa coes de movimento para um uido incompressvel viscoso em Forma de
Divergencia sao:
_
(v)
t
+ Div (v v) = p +v
div v = 0
em (0, t
0
) . (6.1)
Fazendo o produto escalar dos dois membros da equa cao (6.1) por uma
fun cao teste c

0
( (0, t
0
), IR
3
), e integrando por partes obtem-se a
1
Veja equacao (1.23) no Exerccio 7.
87
88 CAP

ITULO 6. FORMA FRACA DE EULER E NAVIER-STOKES


identidade:
_
t
0
0
_

t
v + : v v + v + div p dxdt = 0, (6.2)
para toda a fun cao teste c

0
((0, t
0
), IR
3
). Os detalhes cam para o
exerccio a seguir.
Exerccio 59 a) Mostre que valem as regras de Leibnitz :
i)

t
( u) =
t
u + u
t
ii) div (fu) = f u +f div u
iii) div (f) div (f) = f f
iv) div (A) = Div A
t
+A : ()
t
onde A e uma fun cao matricial.
b) Use o Teorema da Divergencia para mostrar que:
i)
_
t
0
0
_

t
(v ) dxdt = 0
ii)
_
t
0
0
_

div (v v ) dxdt = 0
iii)
_
t
0
0
_

div (p) dxdt = 0


iv)
_
t
0
0
_

div (v) div (v) dxdt = 0


se c

0
( (0, t
0
), IR
3
).
c) Mostre que, se v e solu cao classica de (6.1), entao a equa cao (6.2) e
satisfeita para toda a fun cao c

0
.
De forma analoga, a condi cao de incompressibilidade implica que
_
v dx = 0, c

0
(6.3)
Usando o Lema 34, e facil resolver o exerccio a seguir.
Exerccio 60 Sejam v em c
2
_
(0, t
0
), IR
3
_
e p em c
1
( (0, t
0
), IR) .
Mostre que o par (v, p) satisfaz (6.1) se e so se satisfaz (6.2) e (6.3).
2
A formula cao fraca da equa cao de Navier-Stokes excluira a pressao. O
proximo exerccio, que mostra uma propriedade de ortogonalidade para cam-
pos de vetores, e um passo nesta dire cao.
2
Compare com a Proposicao 33.
89
Exerccio 61 Sejam f em C
1
(, IR) e em c
1
(, IR
3
), com div = 0.
Dena o campo gradiente u = f. Mostre que o campo gradiente u e o
campo incompressvel (que, deixe-nos enfatizar, se anula na fronteira de
) sao ortogonais, isto e,
_

u dx = 0
O exerccio anterior e apenas a condi cao necessaria de um caso particular
do seguinte resultado.
Proposi cao 62 Seja um aberto em IR
m
e u T

(, IR
k
). Para que
exista f T

(, IR) resolvendo o sistema de EDPs de 1


a
ordem,
f = u , (6.4)
e necess ario e suciente que seja satisfeita a condi c ao
u, ) = 0, c

0
, com div = 0. (6.5)
A soluc ao e unica a menos de uma constante aditiva, isto e, se g e outra
soluc ao de (6.4), ent ao existir a uma constante c em IR, tal que g = f + c.
Ademais, valem os seguintes resultados de regularidade: (a) Se u est a em
L
2
loc
(, IR
3
), ent ao f pertence a L
2
loc
(). (b) Se u est a em c
0
(, IR
3
), ent ao
f pertence a c
1
().
3
Exerccio 63 Mostre que (6.5) e condi cao necessaria para (6.4)
Deni cao 64 Uma fun c ao v L
2
loc
((0, t
0
), IR
3
), e solu cao fraca (de Le-
ray-Hopf) da equac ao de Navier-Stokes para um uido incompressvel (6.1)
se:
a) E satisfeita a lei fraca de conserva cao do momento:
_
t
0
0
_

t
v + : v v + v dxdt = 0
para toda a fun c ao teste c

0
( (0, t
0
), IR
3
) com div = 0.
b) E satisfeita a condi cao de incompressibilidade:
_
t
0
0
_

v dxdt = 0, c

0
( (0, t
0
), IR).
3
Para a suciencia consulte [60] Proposicao 1.1, pagina 14, e para a unicidade e o pri-
meiro resultado de regularidade consulte Proposicao 1.2, da citada referencia. O segundo
resultado de regularidade segue-se do primeiro e da demonstracao da Proposicao 2.2.1,
pagina 22 de [27].
90 CAP

ITULO 6. FORMA FRACA DE EULER E NAVIER-STOKES


A deni cao de solu cao fraca da equa cao de Euler e obtida da deni cao
acima colocando-se = 0. Em particular v, solu cao fraca da equa cao de
Euler, satisfaz a lei fraca de conserva c ao do momento,
_
t
0
0
_

t
v + : v v dxdt = 0, (6.6)
para toda a fun cao teste c

0
com div = 0.
Faremos alguns comentarios acerca destas deni coes. Usando a Desi-
gualdade de Cauchy-Schwarz e facil vericar que
i
v
T

( (0, t
0
), IR
3
), e
i
vv
T

( (0, t
0
), IR
3
IR
3
) ,
onde i
v
como denido no Captulo 5 e i
vv
sendo a distribui cao dada pela
formula:
i
vv
, ) =
3

j,l=1
v
j
v
l
,
jl
) .
Por simplicidade de nota cao denotaremos i
vv
por v v apenas, analoga-
mente ao que fazemos com v.
Alem disso, dizer que v satisfaz item a da deni cao, equivale a armar
que a distribui cao
J = (v)
t
+ Div (v v) v,
satisfaz
J, ) = 0, c

0
, com div = 0.
Entao, pela Proposi cao 62, existira p T

(, IR) tal que J = p. Se v e de


classe c
2
, entao e facil ver que J c
0
, pois as derivadas ate 2
a
ordem de v
i
e
de v
i
v
j
, 1 i, j 3 no sentido das distribui coes, coincidem com as derivadas
classicas.
4
Assim, pela Proposi cao 62, existira p c
1
tal que J = p
classicamente. Nestas circuntancias, mesmo admitindo-se a existencia de
alguma outra distribui cao p tal que p = J, porque J pertence a L
2
loc
, a
solu cao da equa cao p = J e unica a menos de uma constante aditiva,
(veja Proposi cao 62). A mesma linha de raciocnio pode ser empregue para
as solu coes fracas da equa cao de Euler que satisfa cam uma condi cao de
regularidade apropriada; neste caso se v for de classe c
1
, obtemos resultados
analogos. Resumiremos o resultado desta discussao, especializando para a
equa cao de Euler, na Proposi cao a seguir.
4
Veja paragrafo seguinte `a Denicao 47.
91
Proposi cao 65 Seja um subconjunto aberto em IR
3
. Seja v c
1
(
(0, t
0
), IR
3
) uma solu c ao fraca (Leray-Hopf ) da equa c ao de Euler para um
uido incompressvel. Ent ao existir a uma fun c ao p c
1
( (0, t
0
), IR
3
),
a pressao, unica a menos de uma constante aditiva, tal que o par (v, p) e
soluc ao cl assica da equa c ao de Euler.
5
Exerccio 66 Seja um aberto limitado. a) Assuma que u
n
e uma se-
quencia em c
0
() convergindo uniformemente para u

c
0
(). Seja ainda
c

0
(). Mostre que
u
n

unif
u

u
2
n
unif
u
2

_
_
_
, quando n .
(Dica) Para a convergencia do quadrado use que a
2
b
2
= (ab)(a+b),
e [a +b[ [a[ +[b[, para a, b IR.
b)(Estabilidade-I) Seja u
n
em c
1
(IR [0, )) uma sequencia de solu coes
classicas do PVI da equa cao de onda (4.1, 4.2), convergindo uniformemente
a u

c
0
(IR [0, ), IR). Mostre que u

e solu cao fraca deste PVI com


condi cao inicial igual a u

(x, 0). De um exemplo em que o limite u

e
contnuo mas nao e diferenciavel.
c)(Estabilidade-II) Considere uma sequencia (v
n
, p
n
) de solu coes classicas
de classe c
1
da equa cao de Euler, convergindo uniformemente a (v

, p

),
(que podem ser apenas contnuas). Mostre que este limite e uma solu cao
fraca da equa cao de Euler.
Exerccio 67 Sejam , um aberto simplesmente conexo, e u, uma distri-
bui cao vetorial em T

(, IR
3
). Mostre que o sistema de equa coes diferenciais
parciais de 1
a
ordem
f = u
tem solu cao no sentido das distribui coes, se e somente se
rot u = 0 em T

.
(Dica: Use Proposi cao 62 e o Exerccio 50 alneas b e f).
5
Compare com Proposicao 33.
92 CAP

ITULO 6. FORMA FRACA DE EULER E NAVIER-STOKES


Captulo 7
Convergencia em T
/
A no cao de convergencia fraca em T

e diversos exemplos ilustrando com-


portamentos fsicos basicos, sao apresentados neste captulo. Sao tambem
ilustrados aspectos da falta de continuidade de funcionais nao lineares com
respeito `a convergencia fraca.
1
Usaremos estes conceitos, nos Captulos 8
e 9, no estudo de sequencias de solu coes das equa coes de movimento de um
uido incompressvel, e na deni cao de solu cao de DiPerna-Majda.
Sejam T
n
uma sequencia de elementos em T

(), e T

().
Deni cao 68 A sequencia T
n
converge fracamente a T

quando n ,
e denota-se tal fato por
T
n
D

quando n
se
T
n
, ) T

, ) quando n c

0
.
A segunda seta acima indica convergencia de n umeros reais; T
n
, )
IR. Note que convergencia em T

e uma no cao de convergencia pontual das


fun coes T
n
, onde cada elemento T e pensado como um ponto.
A no cao de convergencia fraca acima e claramente estensvel a T

(, IR
k
)
e a T

(, IR
k
IR
k
); sequencias nestes espa cos convergirao fracamente se
convergirem fracamente, coordenada a coordenada, em T

().
Para os exemplos considerados abaixo os elementos de cada sequencia
serao distribui coes naturalmente associadas a fun coes em L
1
loc
. Nao obs-
tante a distribui cao limite nem sempre sera representada por uma fun cao.
1
Esta armacao tem que ser qualicada, pois em geral, nao e possvel falar-se do
produto de distribuicoes.
93
94 CAP

ITULO 7. CONVERG

ENCIA EM T

Este sera o caso das sequencias que convergem para a distribui cao de
Dirac. Para manter alguma intui cao sera conveniente pensar cada elemento
da sequencia de fun coes representando alguma quantidade fsica denida em
, tipo densidade de massa, densidade de energia cinetica, campo eletrico
ou algum outro campo. O processo limite, o que acontece quando n,
pode ser imaginado como sendo a evolu cao dessa quantidade fsica (com n
sendo pensado como tempo); veja Figuras 7.1, 7.2 e, 7.4.
Por vezes o parametro da sequencia nao varia em IN, mas sim em (0,
0
],
em [0, +), ou algum outro conjunto com um m escolhido, (+ em IN
e em [0, +), e 0 em (0,
0
]). Ilustramos, considerando que o parametro
esta em (0,
0
], como adaptar a Deni cao 68 de convergencia fraca a estas
situa coes. Dizemos que

converge a
0
, quando 0, se

, )
_

0
,
_
, quando 0, c

0
. (7.1)
Aqui pensamos como sendo o tempo que falta para terminar um pro-
cesso fsico qualquer e, = 0, o instante (talvez crtico) em que ele termina.
Alternativamente, poderia ser algum parametro fsico, por exemplo a vis-
cosidade, e quando estudamos a convergencia de

estamos investigando
o efeito da viscosidade ir a zero.
Iremos estudar exemplos de tres processos basicos, representando (a)
transla cao, (b) oscila c ao e (c) concentra cao, ilustrados por:
a)
t
(x) = (x t), t [0, ) (7.2)
b) p

(x) = p(
x

), (0, 1], (7.3)


c)

(x) =
1

(
x

), (0, 1], (7.4)


onde, C
0
0
(IR), e uma fun cao contnua de suporte compacto e p e sao
fun coes contnuas denidas em IR, sendo p periodica de perodo l, p(x+l) =
p(x) para todo x IR, e uma fun cao nao negativa com
_
dx = 1. Estas
sao sequencias de fun coes contnuas. Cada um destes exemplos sao obtidos
atraves da aplica cao de transforma coes geometricas simples (transla coes e
homotetias) a fun coes xas. Procuraremos caricaturar verbalmente estas
sequencias. Assim (a) (veja Figura 7.1) corresponderia a uma quantidade
fsica que escapa de qualquer regiao limitada num tempo nito: e obtida pela
transla cao de uma fun cao com suporte compacto. Em (b) (veja Figura 7.2),
pelo reescalamento de uma fun cao periodica, detectamos que mais e mais
oscila coes do campo
2
preenchem o espa co quando vai a zero. Ha uma per-
sistencia, e de fato, uma intensica cao das oscila coes no limite. O processo
2
Utilizaremos a expressao campo no lugar de funcao ou distribuicao mesmo quando
7.1. O PROCESSO DE TRANSLAC

AO 95
no item c se desenvolve atraves de uma concentra cao do campo em torno
da origem; numa pequena regiao do espa co o campo vai cando intenso,
ao passo que numa grande extensao do espa co o campo vai enfraquecendo
(Figura 7.4). Este processo produz uma separa cao do domnio de deni cao
do campo em duas regioes vagamente complementares, (nao precisamente
delimitadas, cuja uniao e o espa co todo, mas com uma pequena interse cao,
como cara claro quando as denirmos, na proxima senten ca). A primeira
regiao, a regi ao de campo forte, corresponde `a pequena por cao do espa co
onde o campo e intenso. A segunda, a regi ao de campo fraco, e a regiao
onde o campo e pouco intenso, ocupando a maior parte do espa co. Neste
cenario, dizemos que ha uma dicotomia campo fortecampo fraco, que se
desenvolve atraves de uma concentra cao do campo em torno da origem. Este
processo corresponde `a genesis da de Dirac.
Pense como generalizar estes processos para IR
m
, e tambem como com-
bina-los para obter processos mais complexos.
3
7.1 O Processo de Translacao
Para
t
dado em (7.2) tem-se que

t
D

0, quando t (7.5)
ou seja,
lim
t
_
+

t
(x)(x) dx =
_
+

0 (x) dx = 0, c

0
A demonstra cao de (7.5) e bem simples e pode ser entendida facilmente
se examinarmos a Figura 7.1b. Fixada , depois de um certo tempo t
s
,
t
ja tera deixado para tras o suporte da fun cao teste . Assim sendo, para
t > t
s
_
+

t
dx = 0,
donde (7.5) se segue. Detalhes sao deixados a cargo do leitor.
usualmente um Fsico nao considera-la um campo fsico. Fazemos isto para simplicar a
linguagem porque, os fenomenos que tratamos, que tem fortes aspectos geometricos, ocor-
rem tambem para a energia cinetica e para a densidade de massa que nao sao considerados
campos.
3
Tome, por exemplo,
t
(x) = 1(x t) + 2(x 2t). Processos de oscilacao podem,
por exemplo, ocorrer em uma porcao limitada do espaco. O desenvolvimento de uma
concentracao pode se dar em torno de outros subconjuntos que nao apenas um ponto.
96 CAP

ITULO 7. CONVERG

ENCIA EM T

Figura 7.1: Processo de transla cao: A fun cao


t
, para cada t xo, pode
ser pensada como a densidade de massa de um objeto (unidimensional) no
instante t. Se o objeto translada para a direita com velocidade igual a 1, e
se representa a densidade no instante t = 0, entao
t
(x) = (x t). No
instante t = 110 o objeto ja deixou para tras a fun cao teste .
7.2 O Processo de Oscilacao
Seja p uma fun cao contnua e periodica, com perodo l. A media de p no
perodo e o n umero real
p =
1
l
_
l
0
p(x) dx.
Para p

, o reescalamento da fun cao periodica p, denido em (7.3) (veja


Figura 7.2), temos que:
p

p, quando 0
ou seja
lim
0
_
+

(x) (x) dx = p
_
+

(x) dx c

0
. (7.6)
Em particular quando p(x) = sen (x), selecionando os valores de da
forma 1/n, com n IN, temos em (7.6) nada mais do que o Lema de
Riemann-Lebesgue classico
4
, qual seja,
lim
n
_
+

sen(nx) (x) dx = 0,
4
Teorema 1.1, pagina 303 de [29]
7.2. O PROCESSO DE OSCILAC

AO 97
Figura 7.2: Processo de oscila cao a) Fun cao periodica p: Aqui l e o perodo
(ou comprimento de onda) e, M e a norma do sup (ou amplitude); o pe-
rodo l dene uma escala natural para a fun cao p. b) Reescalamento de
fun cao periodica: a amplitude nao e alterada mas a escala natural de
p

e l. No limite 0 aumenta-se o n umero de oscila coes por unidade


de comprimento. Um processo de oscila cao ocorre quando, numa regiao de
volume nito (e xo) do espa co, mais e mais oscila coes do campo estao
presentes.
uma vez que a media do seno no perodo e zero.
Seja p = p(x, z) c
0
(IR
m
IR), onde p e uma fun cao periodica com
respeito `a segunda coordenada z, com perodo l, isto e, p(x, z +l) = p(x, z)
para todo x, z. Denote por p = p(x) c
0
(IR
m
) a fun cao media dada pela
formula
p(x) =
1
l
_
l
0
p(x, z) dz.
Mais geral que (7.6), o seguinte resultado e valido:
Teorema 69 (Lema de Riemann-Lebesgue) Considere a sequencia de fun-
c oes
p

(x) = p
_
x,
x
1

_
ent ao,
p

p, quando 0
98 CAP

ITULO 7. CONVERG

ENCIA EM T

ou, mais concretamente,


lim
0
_
IR
m
p

(x) (x) dx =
_
IR
m
p(x)(x) dx, c

0
(IR
m
)
Esbo co da demonstra cao de (7.6): Recordamos a deni cao de fun cao
caracterstica do intervalo [a, b]:

[a,b]
(x) =
_
1 se x [a, b]
0 caso contrario.
Come caremos por mostrar que (7.6) e valida se no lugar de colocarmos

[a,b]
, isto e,
lim
0
_
+

(x)
[a,b]
(x) dx = p
_
+

[a,b]
(x) dx
= p (b a), c

0
(IR). (7.7)
Evidentemente
[a,b]
nao esta em c

0
(IR), de qualquer forma este sera um
primeiro passo em dire cao ao resultado (7.6).
Dado , o perodo de p

e l. Seja n = n() o n umero de perodos de p

contidos no intervalo [a, b], isto e, o inteiro para o qual,


nl b a < (n + 1) l. (7.8)
Por periodicidade, e atraves de uma mudan ca de variavel tem-se que:
_
+

(x)
[a,b]
(x) dx =
_
b
a
p

(x) dx
=
_
a+nl
a
p

(x) dx +
_
b
a+nl
p

(x) dx
= n
_
a+l
a
p

(x) dx +
_
b
a+nl
p

(x) dx
= n
_
l
0
p

(x) dx +
_
b
a+nl
p

(x) dx
= n
_
l
0
p(x) dx +
_
b
a+nl
p

(x) dx
= nl p +
_
b
a+nl
p

(x) dx (7.9)
7.3. O PROCESSO DE CONCENTRAC

AO 99
Seja M um majorante para p, isto e, M tal que [p(x)[ M, x. Entao,

_
b
a+nl
p

(x) dx

_
b
a+nl
[p

(x)[ dx

_
b
bl
M dx = Ml (7.10)
o que imediatamente resulta:
lim
0
_
b
a+nl
p

(x) dx = 0.
Alem disso por (7.8) e claro que
lim
0
[(b a) n() l] = 0,
o que juntamente com (7.9) e (7.10) implica (7.7).
Tome agora uma fun c ao escada, uma combina cao linear nita de fun coes
caractersticas (Figura 7.3),
g(x) =
n

k=1
a
k

I
k
(x),
onde cada I
k
e um intervalo fechado. Por (7.7),
lim
0
_
+

(x) g(x) dx = p
n

k=1
a
k
m(I
k
)
= p
_
+

g(x) dx. (7.11)


Aqui, m(I
k
) denota o comprimento do intervalo I
k
.
O resultado geral (7.6) segue-se de (7.11) porque toda fun cao contnua
com suporte compacto pode ser uniformemente aproximada por uma fun cao
escada [52].
7.3 O Processo de Concentracao
Sequencias de Dirac, massa total nita
Demonstraremos nesta subse cao que (com a nota cao usada em (7.4), veja
tambem Figura 7.4),

, quando 0
100 CAP

ITULO 7. CONVERG

ENCIA EM T

Figura 7.3: Aproxima cao de fun cao contnua por fun c ao escada
isto e,

, ) (0), quando 0, c

0
(IR
m
).
Deni cao 70 Uma sequencia de fun c oes

c
0
(IR
m
) e chamada de
sequencia de Dirac se as condi c oes abaixo forem satisfeitas:
a) Positividade:

(x) 0, x, .
b) Massa total um:
_
IR
m

(x) dx = 1
c) Concentra c ao da massa em torno da origem: > 0, > 0,
1
> 0
tal que , 0 <
1
,
_
IR
m
\B
0
()

(x) dx .
Intuitivamente o signicado desta deni cao e o seguinte: pensa-se em
como o tempo que falta ate o instante crtico 0; a quantidade de massa
fora de uma pequena vizinhan ca escolhida e tao pequena quanto se deseje
desde que o tempo que falte ate o instante crtico seja sucientemente pe-
queno. Resumindo, a massa se concentra em torno da origem. Sempre que a
quantidade de massa e nita e se localiza em uma regiao cada vez menor,
dizemos que ocorre um processo de concentra c ao de massa.
Exemplo 71 Cosideremos uma fun cao c
0
(IR
m
), com 0 e
_
IR
m
dx = 1.
7.3. O PROCESSO DE CONCENTRAC

AO 101
Figura 7.4: Processo de concentra cao a) A fun cao e nao negativa e tem
integral igual a 1. Sua escala natural, digamos, e o n umero > 0 tal que
_
+

(x) dx = 0, 99. b) A fun c ao

(x) =
1

_
1

_
tambem e nao negativa
e tem integral 1. Sua escala natural e . Quando 0, a massa se
concentra em uma vizinhan ca da origem.
102 CAP

ITULO 7. CONVERG

ENCIA EM T

Entao

(x) =
1

m

_
x

_
e uma sequencia de Dirac
5
.
Demonstra cao Vericaremos as tres condi coes; a) e trivial.
b) Atraves da troca de variaveis y = x/, vericamos que:
_
IR
m

(x) dx =
_
IR
m
1

m

_
x

_
dx
=
_
IR
m
(y) dy = 1.
c) Quaisquer que sejam > 0 e > 0, fazendo uma troca de variaveis,
obtemos:
_
IR
m
\B
0
()

(x) dx =
_
IR
m
\B
0
()
1

m

_
x

_
dx
=
_
IR
m
\B
0
(/)
(y) dy.
Como a integral de e um, dado > 0, existe R
0
tal que
_
IR
m
\B
0
(R
0
)
(y) dy <
0
.
Vemos entao que, dados e arbitrarios, escolhendo-se
1
tal que /
1
= R
0
,
a condi cao c ca assegurada.
Teorema 72 Sequencias de Dirac convergem em T

, para a distribui c ao
de Dirac. Melhor dizendo, quando

e uma sequencia de Dirac,


lim
0
_
IR
m

(x)(x) dx = (0), c

0
(IR
m
). (7.12)
Demonstra cao Exploraremos a condi cao c. Numa pequena por cao do
espa co em torno de zero a massa e quase 1 e numa grande extensao do espa co
a massa e quase zero. Usando-se (b) obtemos a equa cao
_
IR
m
(0)

(x) dx = (0)
5
O reescalamento da variavel independente provoca uma concentracao geometrica; o
da variavel dependente e posteriormente escolhido de tal forma que a massa total,
_

,
seja 1.
7.3. O PROCESSO DE CONCENTRAC

AO 103
seguindo-se que e suciente mostrar que
lim
0
_
IR
m

(x)[(x) (0)] dx = 0.
Iremos mostrar que ambos os termos do lado direito da desigualdade abaixo
sao arbitrariamente pequenos para sucientemente pequeno e > 0 a ser
escolhido depois.

_
IR
m

(x)[(x) (0)] dx

_
IR
m
\B
0
()

(x)[(x) (0)] dx

+
+

_
B
0
()

(x)[(x) (0)] dx

.
O primeiro termo e pequeno porque ha pouca massa fora da origem, e o
segundo termo e pequeno porque sendo contnua e pequeno, (x)(0)
sera pequeno para [x[ < . Mais detalhes seguem. Seja M um majorante de
. Pela continuidade de , dado > 0, existe > 0 tal que [(x) (0)[ <
/2, para todo x, tal que [x[ < . Como

e uma sequencia de Dirac,


usando a condi cao c para /4M e o escolhido acima, concluimos que existe

1
> 0 tal que, para todo
1
,
_
IR
m
\B
0
()

(x) dx

4M
.
Alem disso, [(x) (0)[ 2M, para todo x. Entao para o > 0 arbitrario
dado acima e para o e o
1
escolhidos acima, e para
1
vale:

_
IR
m

(x)[(x) (0)] dx

2M
_
IR
m
\B
0
()

(x) dx +

2
_
B
0
()

(x) dx


2
+

2
= .
Isto completa a demonstra cao de (7.12).
Outro Processo de Concentracao, massa innita
Teorema 73 Seja W c
1
([0, )) tal que:
a) [W(r)[ Kr
2
, para algum K > 0 e para todo [r[ 1.
104 CAP

ITULO 7. CONVERG

ENCIA EM T

b) lim
r
W(r) = 1/2 ,= 0
c)
_
+
0
[ ln sW

(s)[ ds = < .
6
Dena
7
(x) =
1
[x[
2
W ([x[) e, (7.13)

(x) =
_
ln
1

_
1

_
x

_
. (7.14)
Ent ao

, quando 0. (7.15)
Observa cao: Pela condi cao b imposta a W e por (7.13), conclumos que
decai a zero lentamente quando [x[ de tal forma que
_
IR
2
dx = +.
Por esta razao o reescalamento usual,
2
(x/), apresentado na subse cao
anterior, nao funciona (no sentido que a sequencia resultante nao converge
em T

), tendo que ser substitudo pelo apresentado em (7.14). Estes dois


reescalamentos sao analogos geometricamente porquanto ambos envolvem
homotetias parecidas, tanto nos domnios (as mesmas inclusive) quanto nos
contradomnios de fun coes xas. Repetindo, por enfase, note que o processo
de concentra cao apresentado no Teorema 73, nao e um processo de concen-
tra cao do tipo caracterizado pela no cao de sequencia de Dirac (da subse cao
anterior), ja que a massa total neste exemplo e innita. No entanto, se-
melhante ao que ocorre com sequencias de Dirac, o cenario correspondente
a esta sequencia, e o de uma dicotomia campo fortecampo fraco.
Demonstra cao (do Teorema) Dada c

0
(IR
2
), denimos

(r) =
1
2
_
2
0
(r cos , r sen ) d. (7.16)
Usando (7.13), mudan ca de coordenadas cartesianas para polares em IR
2
e
integra cao por partes obtemos:
_
IR
2
(x)

(x) dx =
= lim
0
_
IR
2
(x)
_
ln
1

_
1
1
r
2
W
_
r

_
dx
= lim
0
_

0
2

(r)
_
ln
1

_
1
1
r
W
_
r

_
dr (7.17)
6
Uma funcao W (
1
([0, )) com W

(r)r
1+
limitada em [1, +) satisfaz condicao c.
7
Condicao a e equivalente a ser limitada numa vizinhanca de r = 0.
7.3. O PROCESSO DE CONCENTRAC

AO 105
= lim
0
A

+B

+C

, onde, (7.18)
A

= 2

(r)
_
ln
1

_
1
ln r W
_
r

0
, (7.19)
B

=
_

0
2

(r)
_
ln
1

_
1
ln r W
_
r

_
dr , e,
C

=
_

0
2

(r)
1

_
ln
1

_
1
ln r W

_
r

_
dr . (7.20)
Passamos imediatamente ao calculo dos limites, quando 0, de A

, B

e C

.
Mostramos primeiramente que A

, que e dado pela diferen ca de dois termos


(obtidos avaliando uma fun cao em + e em 0, veja (7.19)), e nulo. A
fun cao

, que tem suporte compacto, se anula para r sucientemente grande
e entao, o termo de A

correspondente `a avalia cao em +, e igual a zero.


Igualmente, aquele termo da avalia cao em r = 0 e nulo, como veremos em
seguida. Porque e contnua, segue-se:
lim
r0

(r) = (0) . (7.21)


A condi cao a, para xo, implica
lim
r0

ln rW
_
r

= 0 .
Do que cou dito resulta que
A

= 0 e lim
0
A

= 0. (7.22)
Em seguida mostramos que
lim
0
B

= 0. (7.23)
Dado que W e contnua e tem limite nito no innito, conclui-se que e
limitada em [0, ). Seja um majorante de W. Seja ainda R, o raio de um
disco que contem o suporte de

, e seja L, um majorante de

. Segue-se
que

_

0
2

(r)
_
ln
1

_
1
ln r W
_
r

_
dr

2
_
ln
1

_
1
_
R
0

(r) ln r W
_
r

dr
2L
_
ln
1

_
1
_
R
0
[ln r[ dr.
106 CAP

ITULO 7. CONVERG

ENCIA EM T

Como lim

(ln(1/))
1
= 0, passando ao limite, quando 0, na expressao
acima, concluimos (7.23).
Finalmente consideramos o termo C

, para o qual vale o limite:


lim
0
C

= (0). (7.24)
Fazendo a mudan ca de variavel l = r/ na integral em C

, e usando ln(l) =
ln +ln l, obtemos que C

e igual `a soma de dois termos. O limite do primeiro


deles e:
lim
0
_

0
2

(l)
_
ln
1

_
1
ln W

(l) dl =
=
_

0
2

(0) W

(l) dl (7.25)
= 2

(0) lim
l
(W(l) W(0))
= (0). (7.26)
Seja M um majorante de

. Usando condi cao c, concluimos que o limite do
segundo termo e zero, uma vez que:

_

0
2

(l)
_
ln
1

_
1
ln l W

(l) dl

_

0

(l)
_
ln
1

_
1
ln l W

(l)

dl
2 M
_
ln
1

_
1
. (7.27)
De (7.26) e de (7.27) segue-se (7.24).
Arrematando, de (7.18), (7.22), (7.23), e (7.24), concluimos (7.15), isto
e,
lim
0
_
IR
2

(x) (x) dx = (0) ,


para toda a fun cao c

0
(IR
2
).
7.4 Questoes de Continuidade
Consideraremos dois exemplos de sequencias de campos vetoriais em IR nos
quais ha uma perda de energia cinetica no processo de limite. Estes exemplos
nao sao exemplos de solu coes da equa cao de Navier-Stokes (nem tao pouco
7.4. QUEST

OES DE CONTINUIDADE 107


da de Euler), sao dados aqui como uma caricatura do tipo de fenomenos
que ocorrem com sequencias de solu coes das equa coes de Euler. No proximo
captulo veremos exemplos de sequencias de solu coes das equa coes de Euler
que exibem comportamento semelhante.
Denotamos por
E(, u) =
_

u
2
2
dx,
a energia cinetica asssociada ao campo de vetores u na regiao espacial ;
onde u
2
(x)/2 e a densidade de energia cinetica. (Veja nota de rodape ` a
pagina 7).
Veremos nos exemplos seguintes, peculiaridades do comportamento da
energia cinetica ao longo de uma sequencia, fracamente convergente em T

,
para cujos elementos e possvel fazer sentido o que seja a energia cinetica.
Exemplo 74 Seja u

(x) = sen (x/). Entao pelo Teorema (Riemann-Le-


besgue) 69,
u

0, quando 0.
No entanto,
E([, ], u

) =

2
_
+

sen
2
_
x

_
dx,
e, de novo, pelo Teorema 69,
lim
0
E([, ], u

) =

4
.
Constatamos que:
0 = E ([, +], 0) = E
_
[, +], lim
0
u

_
,= lim
0
E ([, +], u

) =

4
.
Uma vez que a energia cinetica do limite (lado esquerdo da equa cao acima), e
menor do que o limite da energia cinetica (lado direito da equa cao), dizemos
que ha uma perda de energia cinetica no limite. Isto, e claro, signica que
a fun cao nao linear E e descontnua com respeito `a convergencia fraca.
Exemplo 75 (Concentra cao da energia cinetica num ponto) Seja dada u-
ma fun cao u em c
0
(IR), com u(x) 0,
_
+

u(x) dx < , e
_
+

u
2
(x) dx = 1.
108 CAP

ITULO 7. CONVERG

ENCIA EM T

(Exerccio: Certique-se que e possvel construir-se uma fun cao u com estas
caractersticas). Considere a sequencia
u

(x) =
1

u
_
x

_
.
Mostraremos que
u

0, (7.28)
ao passo que

2
(u

)
2
D


2
. (7.29)
Demonstra cao Seja c

0
e M um seu majorante, entao

_
IR
u

(x)(x) dx

M
_
IR
u

(x) dx = M
_
IR
u(y) dy.
Quando 0, o lado direito da desigualdade acima vai a zero e, portanto
temos (7.28). A convergencia em (7.29) e consequencia direta de (7.12).
A energia cinetica do campo de vetores limite e zero. Apesar disto,
E (IR, u

) = /2, para todo . Dado que


0 = E(IR, 0) = E
_
IR, lim
0
u

_
,= lim
0
E (IR, u

) =

2
ha, novamente, uma perda da energia cinetica no limite. Com respeito `a
convergencia fraca, a fun cao nao linear E e descontnua.
O leitor ha de ter notado que nao mencionamos o processo de transla cao
nesta se cao. Neste exemplo, nao ha perda da energia cinetica no limite, como
e facil vericar. O leitor deve procurar entender intuitivamente porque isto
acontece.
Captulo 8
Novos Fenomenos
8.1 Consideracoes Preliminares
Serao apresentadas neste captulo duas classes de sequencias de solu coes
diferenciaveis da equa cao de Euler, que motivam a introdu cao da no cao
(a ser discutida no proximo captulo) de solu cao generalizada de DiPerna-
Majda da equa cao de Euler.
Sequencias de solu coes, numa das classes, exibem desenvolvimento de
concentra coes (quando o parametro da sequencia se aproxima de zero), en-
quanto que na outra classe, sequencias exibem persistencia de oscila coes.
Sequencias de fun coes exibindo estes tipos de comportamento foram con-
siderados nos exemplos 74 e 75 do captulo anterior. Uma caracterstica
comum aos exemplos deste e aos, acima citados, do captulo anterior, e a
perda de energia cinetica no limite, isto e, a energia cinetica do limite e
menor do que o limite da energia cinetica.
Discorremos, a seguir, sobre as caractersticas comuns `as classes de se-
quencias de solu coes da equa cao de Euler a serem apresentadas neste cap-
tulo, primeiramente explicitando a caracterstica comum fundamental para,
em seguida, considerar suas consequencias no que diz respeito `a equa cao de
Euler.
A caracterstica comum fundamental a estes exemplos e a limita cao local
uniforme (em ) da energia cinetica; dados R > 0 e t
1
< t
2
, existe C =
C(R, t
1
, t
2
) < , independente de , tal que
_
t
2
t
1
_
B
0
(R)

2
[v

(x, t)[
2
dx < C(R, t
1
, t
2
), (8.1)
E facil ver, xado , o signicado fsico da condi cao (8.1). Ela impede que,
para uma solu cao das equa coes de movimento de um uido, corresponda
109
110 CAP

ITULO 8. NOVOS FEN

OMENOS
uma quantidade innita de energia cinetica numa regiao limitada do espa co-
tempo. Nao impede, e ainda bem, que uma diminuta por cao do espa co
contenha uma quantidade nita de energia cinetica; em verdade, xado um
valor nito para a energia cinetica, pode-se pensa-lo contido numa regiao do
espa co tao pequena quanto se queira. Este corresponderia aproximadamente
ao cenario do escoamento da agua em uma pia (intensa concentra cao da
energia cinetica num redemoinho, ocupando pouco volume, por cima do
ralo).
Alem do mais, condi cao 8.1, se satisfeita por uma sequencia arbitraria
de fun c oes vetoriais, se constitue numa restri cao forte do ponto de vista
matematico. Foge aos objetivos destas notas expor, na generalidade, as
propriedades matematicas de que gozam sequencias de funcoes que satis-
fazem (8.1).
1
De qualquer forma, uma sequencia v

que satisfa ca (8.1),


tera sempre uma subsequencia convergindo fracamente emT

(IR
3
IR
+
, IR
3
)
para uma fun cao v
0
. Veremos isto nos exemplos.
Apesar de convergirem fracamente, veremos atraves de um dos exem-
plos, que o limite, mesmo sendo diferenciavel, nem sempre sera solu cao da
equa cao de Euler (nem mesmo no sentido de Leray-Hopf). O intrigante e
que, ate quando o limite e solu cao, como e o caso do exemplo que exibe
desenvolvimento de concentra coes, pode haver perda de energia cinetica no
limite, o que de fato ocorre, no exemplo citado.
Sequencias satisfazendo (8.1) induzem a uma nova forma de expressar
a lei de conserva cao do momento. Discutiremos, neste captulo, esta nova
forma.
8.2 Persistencia de Oscilacoes
A sequencia de solu coes considerada nesta se cao exibe varia coes bem a-
centuadas do campo de velocidades tanto espacial quanto temporalmente,
(compare com Exemplo 74).
2
Sequencia de solu coes
Seja v = v(x
2
, z) fun cao diferenciavel e periodica (de perodo 1) em z, e com
media zero (tambem em z),
_
1
0
v(x
2
, z) dz = 0.
1
Veja Teorema 1 (Generalized Young Measure) em DiPerna-Majda [15].
2
Persistencia de oscilacoes em sequencias de solucoes ocorrem em outras equacoes da
Fsica-Matematica, veja, por exemplo, [54, 48].
8.2. PERSIST

ENCIA DE OSCILAC

OES 111
Pelos Exemplo 3 e Exerccio 9 sabemos que a sequencia de uxos de cisal-
hamento
v

=
_
v
_
x
2
,
x
2

_
, 0
_
t
(8.2)
e uma famlia de solu coes estacionarias da equa cao de Euler em duas di-
mensoes. Podemos construir, a partir de (8.2), solu coes v

= (v

1
, v

2
, v

3
)
t
da
equa cao de Euler em tres dimensoes (veja Exerccio 9). Estas serao inde-
pendentes de x
3
. Denindo-se (v

1
, v

2
)
t
= v

, v

3
devera satisfazer uma EDP
linear de 1
a
ordem com coecientes obtidos a partir de (8.2).
Escolhemos a condi cao inicial v

3
(x
1
, x
2
, 0) = w(x
1
, x
2
, x
2
/) onde w =
w(x
1
, x
2
, z) e uma fun cao diferenciavel e periodica, de perodo 1 em z. O
PVI para v

3
e:
v

3
t
+v
_
x
2
,
x
2

_
v

3
x
1
= 0
v

3
(x
1
, x
2
, 0) = w
_
x
1
, x
2
,
x
2

_
.
Este PVI e resolvido pelo metodo das caractersticas (Apendice A). As
curvas caractersticas sao retas:
x
1
= c
1
(t) = v
_
x
2
,
x
2

_
t +x
0
1
x
2
= c
2
(t) = x
0
2
.
Aqui, t e o parametro da curva, devendo-se pensar que x
0
1
, x
0
2
e x
2
sao
constantes. As curvas caractersticas interceptam o plano t = 0 no ponto
(x
0
1
, x
0
2
). Fixado t determina-se (x
0
1
, x
0
2
) em fun cao de (x
1
, x
2
). A fun cao v

3
e constante ao longo das caractersticas, donde
v

3
(x
1
, x
2
, t) = v

3
(x
0
1
, x
0
2
, 0)
= w
_
x
0
1
, x
0
2
,
x
0
2

_
= w
_
x
1
v
_
x
2
,
x
2

_
t, x
2
,
x
2

_
.
Finalmente,
v

=
_
_
_
v
_
x
2
,
x
2

_
0
w
_
x
1
v
_
x
2
,
x
2

_
t, x
2
,
x
2

_
_
_
_ (8.3)
e uma sequencia de solu coes da equa cao de Euler em tres dimensoes.
112 CAP

ITULO 8. NOVOS FEN

OMENOS
Limite de Quantidades Fsicas
Observamos que a estrutura de v

e a de um reescalamento de uma fun cao


periodica, v

(x, t) = v(x, x
2
/, t) onde, x = (x
1
, x
2
) e,
v(x, z, t) = (v (x
2
, z) , 0, w(x
1
v (x
2
, z) t, x
2
, z))
t
(8.4)
e uma fun cao periodica em z (com perodo 1). Pelo Teorema 69 (Riemann-
Lebesgue) aplicado, coordenada a coordenada, `a sequencia de campos de
velocidade (8.3) obtemos o limite
v

v
0
quando 0,
onde v
0
e a media de v, dada pela formula que se segue:
v
0
(x, t) =
_
1
0
v(x, z, t) dz (8.5)
=
__
1
0
v (x
2
, z) , 0,
_
1
0
w(x
1
v (x
2
, z) t, x
2
, z) dz
_
t
=
_
0, 0,
_
1
0
w(x
1
v (x
2
, z) t, x
2
, z) dz
_
t
(8.6)
Para o campo de velocidades v

, o tensor da for ca inercial e v

.
Como este desempenha um papel fundamental na lei fraca de conserva cao
do momento e depende nao linearmente da velocidade, calcularemos o li-
mite fraco de v

. Utilizamos o Teorema 69 coordenada a coordenada e


obtemos:
v

T
onde o tensor simetrico T = T(x, t) e:
_
_
_
_
_
_
_
_
1
0
v
2
(x
2
, z) dz 0
_
1
0
w(x
1
v (x
2
, z) t, x
2
, z) v(x
2
, z) dz
0 0

_
1
0
w
2
(x
1
v (x
2
, z) t, x
2
, z) dz
_
_
_
_
_
_
_
. (8.7)
Anotaremos o comportamento limite da densidade de energia cinetica,
1
2
[v

[
2
, claramente igual a

2
tra co (v

). Usamos (8.7) para concluir que

2
[v

[
2
D


2
e
0
, quando 0,
8.2. PERSIST

ENCIA DE OSCILAC

OES 113
onde e
0
e dado pela equa cao
e
0
= e
0
(x, t)
=
_
1
0
v
2
(x
2
, z) dz +
_
1
0
w
2
(x
1
v (x
2
, z) t, x
2
, z) dz . (8.8)
Em seguida, mostramos que existe uma perda de energia cinetica no
processo limite, isto e, a energia cinetica do limite e menor do que o limite
da energia cinetica. Da desigualdade de Cauchy-Schwarz segue-se:
__
1
0
wdz
_
2

_
1
0
w
2
dz.
Usando (8.6), e a desigualdade acima, e desde que v seja nao nula, temos
que:

2
[v
0
[
2
<

2
e
0
.
Esta desigualdade implicara, depois de integrada, a dita perda.
Limite de Solucoes nao e Solucao
A fun cao v
0
denida em (8.5) e diferenciavel e, pelo Exerccio 9, sera solu cao
da equa cao de Euler se e so se, v
0
3
for solu cao da equa cao de convec cao
v
0
3
t
= 0.
Examinando-se v
0
3
verica-se que isto ocorrera se e so se,
_
1
0
w
x
1
(x
1
v (x
2
, z) t, x
2
, z) v(x
2
, z) dz = 0,
O que nao e verdade, a menos em certos casos especiais como, por exemplo,
se v 0 ou se w for independente de x
1
(isto e, w
x
1
= 0). Em geral, no
entanto, a integral sera nao nula. Neste caso, apesar de v
0
ser diferenciavel
e limite fraco de solu coes isto nao e o bastante para garantir que v
0
seja
solu cao classica da equa cao de Euler.

E importante reconhecer o que causa este fenomeno. Para equa coes


lineares, o limite fraco de solu c oes e solu cao fraca.

E a nao-linearidade da
equa cao diferencial (veja a lei de conserva cao do momento (6.6)) que permite
ao limite fraco v
0
nao ser solu cao. E o que vemos em seguida, com detalhes.
114 CAP

ITULO 8. NOVOS FEN

OMENOS
A Lei Generalizada de Conservacao do Momento
Acabamos de vericar que o limite fraco de v

nao e solu cao classica. Por ser


de classe c
1
, v
0
tampouco sera solu cao fraca, (veja Proposi cao 65). Apesar
disto, a lei de conserva cao do momento pode ser estendida de uma maneira
natural, de tal forma a ser satisfeita pelo limite v
0
. Esta e a ideia que
tentamos transmitir nesta subse cao.
A lei fraca de conserva cao do momento (6.6) pode ser reescrita na forma:
p,
t
) = T
in
, ) (8.9)
para toda c

0
( (0, t
0
), IR
3
), com div = 0 e onde p T

(
(0, t
0
), IR
3
) e a densidade de momento e T
in
T

( (0, t
0
), IR
3
IR
3
) e o
tensor da for ca inercial. Aceitamos agora, no entanto, que p = v, e que
T
in
= T, (onde e uma constante), sejam distribui coes mais complexas,
nem sempre dadas por fun coes e, em particular, nao exigimos que T
in
=
v v. (Alias, dada a distribui cao v =
1
p, em geral sequer podemos
fazer sentido da expressao nao-linear v v). Dizemos que a lei generalizada
de conserva cao do momento e satisfeita pelo par (p, T
in
) quando (8.9) o for.
Para obter (6.6), dado v, um campo de velocidades, basta tomar em (8.9),
p = v e T
in
= v v.
Dado que v

e solu cao classica denida em IR


3
(0, ), e claro entao que
a lei (8.9) e valida, tomando, para cada > 0, p = v

e T
in
= v

,
_
+
0
_
IR
3
v


t
dxdt =
_
+
0
_
IR
3
v

: dxdt (8.10)
para toda c

0
com div = 0, e para todo . Da propria deni cao de
convergencia fraca e de (8.10), segue-se que (8.9) sera valida com p igual ao
limite fraco de v

e T
in
igual ao limite fraco de v

, isto e:
_
+
0
_

v
0

t
dxdt =
_
+
0
_

T : dxdt (8.11)
para toda c

0
com div = 0, com v
0
dado em (8.6), e T dado em (8.7).
3
(Esta arma cao pode ser tambem demonstrada diretamente, usando que v
0
e T sao diferenciaveis e satisfazem
v
0
t
+ Div T = 0,
3
Neste exemplo, notamos que T ,= v
0
v
0
. Isto so e possvel porque a funcao IR
3

v v v IR
3
IR
3
e descontnua com relacao `a convergencia fraca. Um exemplo mais
simples deste mesmo fenomeno pode ser visto na secao 7.4 do captulo anterior.
8.3. DESENVOLVIMENTO DE CONCENTRAC

OES 115
no sentido classico. Verique isto).
Agora a novidade. A no cao de solu cao de DiPerna-Majda, que sera a-
presentada no Captulo 9, aceita o campo de velocidades v
0
como solu cao
da equa cao de Euler. Isto deve ser mais bem compreendido, e adiamos a
discussao ate o proximo captulo.
8.3 Desenvolvimento de Concentracoes
A Concentra cao da Energia Cinetica
Estudaremos o fenomeno de concentra cao da energia cinetica em um ponto
no processo limite de uma sequencia de solu coes da equa cao de Euler bidi-
mensional, (compare com Exemplo 75).
4
Pela equa cao (3.22) da Se cao 3.2 sabemos que
v(x) =
_
x
2
x
1
_
1
r
2
_
r
0
s(s) ds (8.12)
e uma solu cao estacionaria da equa cao de Euler em 2D; (veja Figura 8.1
para um possvel comportamento de v.)
Reescalando-se v (consulte Exerccio 8) construmos uma sequencia de
solu coes da equa cao de Euler:
v

(x) =
_
ln
1

_
(
1
2
)

1
v
_
x

_
. (8.13)
Pondo
W(r) =
__
r
0
s(s) ds
_
2
, (8.14)
temos que
[v(x)[
2
=
1
r
2
W (r) . (8.15)
Alem disso,
[v

(x)[
2
=
_
ln
1

_
1

v
_
r

2
.
Proposi cao 76 Seja c
1
([0, )) tal que:
a) lim
r
W(r) = /2 ,= 0 com W denido em (8.14).
4
Desenvolvimento de concentracoes em outras equacoes nao-lineares da Fsica-Mate-
matica, sao tratados, atraves de metodos formais da Teoria da Perturbacao Singular, por
exemplo em [47, 44].
116 CAP

ITULO 8. NOVOS FEN

OMENOS
Figura 8.1: Campo de velocidades: A vorticidade de v(x) e fun cao do raio
apenas. O quadrado da velocidade decai com 1/r
2
, [v(x)[
2
/2r
2
, r.
b)
_
+
0
[s(s)[ ds = <
c)
_
+
0
[s(s) ln s[ ds = <
Nestas condi c oes, a sequencia de soluc oes da equa c ao de Euler dada em
(8.13), (8.12) satisfaz,
v

0,
e a sequencia correspondente da energia cinetica satisfaz
1
2
[v

[
2
D


2
, quando 0. (8.16)
Observa cao:

E facil vericar que a circula cao
5
do campo de velocidades
v em (8.12), num crculo de raio r em torno da origem, e

r
= 2
_
r
0
s(s) ds ,
e que portanto a circula cao no innito, dada por =

, e nao nula.
Demonstra cao (da Proposi cao) Vericamos que o limite fraco de v

e
5
Veja a denicao de circulacao de um campo de vetores no Exemplo 54.
8.3. DESENVOLVIMENTO DE CONCENTRAC

OES 117
zero. De (8.12), (8.13) e (8.14) escreve-se que
v

(x) =
_
ln
1

1
2
_
x
2
x
1
_
1
r
2
W
_
r

_1
2
.
Sejam c

0
(IR
2
, IR
2
), R o raio de um disco que contenha o suporte de
e L um majorante para [[. Entao, pela desigualdade de Cauchy-Schwarz
em IR
2
e, integrando em coordenadas polares, mostramos que

_
IR
2
v

dx

_
B
0
(R)
[[ [v

[ dx
2L
_
ln
1

1
2
_
R
0
W
_
r

_
dr . (8.17)
Como lim
0
(ln(1/))
1
= 0 e dado que W 0 e limitada por
2
, segue-se
de (8.17) que:
lim
0
_
IR
2
v

dx = 0, c

0
(IR
2
, IR
2
). (8.18)
Agora estudamos a convergencia da sequencia de densidades de energia
cinetica. Pela Formula de Taylor, e desde que
W

(r) = 2
__
r
0
s(s) ds
_
r(r)
e que W e de classe c
2
, existe uma constante K tal que
[W(h)[ Kh
2
, [h[ 1 .
Alem disso,

_

0
W

(l) ln l dl

2
_

0

_
l
0
s(s) ds

[l(l) ln l[ dl
2
_

0
[s(s)[ ds
_

0
[l(l) ln l[ dl
2 .
Do que cou dito e da hipotese a, segue-se que W/, com W denido
em (8.14), satisfaz as condi coes do Teorema 73, donde concluimos (8.16).
No processo limite ha uma perda de energia cinetica pois,

2
[v

[
2
D


2

118 CAP

ITULO 8. NOVOS FEN

OMENOS
ao passo que
v

0,
quando 0. Isto implica que a energia cinetica do limite (que e zero) e
menor do que o limite das energias cineticas (que e /2). Da, a perda.
O Tensor da Forca Inercial
Para o tensor da for ca inercial temos:
Proposi cao 77 Assumindo as mesmas hip oteses da proposi c ao da subse c ao
anterior, obtemos a seguinte convergencia para o tensor v

,
_
_
_
(v

1
)
2
v

1
v

2
v

2
v

1
(v

2
)
2
_
_
_
D


2
I , (8.19)
onde I denota a matriz identidade. Ou seja
lim
0
_
IR
2
v

: dx =

2
(
11
(0) +
22
(0)) , (8.20)
para todo c

0
(IR
2
, IR
2
IR
2
).
Demonstra cao Da deni cao de produto tensorial (veja Captulo 5)
vem imediatamente que,
v

=
v

[v

[

v

[v

[
[v

[
2
nos pontos x IR
2
onde [v

[
2
(x) ,= 0. Usando
v

[v

[
=
_
x
2
x
1
_
1
r
e a deni cao de temos:
v

=
_
_
_
_
x
2
2
r
2
x
1
x
2
r
2
x
1
x
2
r
2
x
2
1
r
2
_
_
_
_
[v

[
2
, se x ,= 0,
e, v

= 0, se x = 0.
8.3. DESENVOLVIMENTO DE CONCENTRAC

OES 119
A matriz que aparece do lado direito da igualdade acima e denida no
crculo unitario o
1
. Denote-a por g
H
. Entao g
H
c
0
(o
1
, IR
2
IR
2
) e,
g
H
(cos , sen ) =
_
_
_
cos
2
sen cos
sen cos sen
2

_
_
_.
Seja uma fun cao teste em c

0
(IR
2
, IR
2
IR
2
). Entao, usando (8.13),
vem:
_
IR
2
v

: dx = (8.21)
=
_
IR
2
[v

(x)[
2
g
H
_
x
[x[
_
: (x) dx
=
_
+
0
_
2
0
_
ln
1

_
1
1
r
2
W
_
r

_
g
H
_
x
[x[
_
: (r, ) r drd
=
_
+
0
2
_
ln
1

_
1
1
r
W
_
r

_
g
H
: (r) dr (8.22)
onde, g
H
: denota a media em , como denido em (7.16):
g
H
: (r) =
=
1
2
_
2
0
g
H
(cos , sen ) : (r cos , r sen ) d.
Notamos que a integral cujo limite e para ser calculado e analoga `a que
aparece em (7.17), onde, no lugar de (r) aparece g
H
: (r), (com a ressalva
que agora, g
H
: e, em geral, descontnua em x = 0, o que no entanto nao
afeta o desenvolvimento apresentado). E

facil vericar que


lim
r0
g
H
: (r) = (8.23)
=
1
2
_
_
2
0
_
cos
2
sen cos
sen cos sen
2

_
d
_
: (0)
=
1
2
I : (0) . (8.24)
Usando a demonstra cao do Teorema 73, (compare com (7.25) e use (8.24)),
conclumos que o limite quando 0 de (8.21) e g
H
: (0) o que e o
mesmo que:

2
(
11
(0) +
22
(0)).
120 CAP

ITULO 8. NOVOS FEN

OMENOS
Conservacao do Momento
Comentarios semelhantes aos da ultima subse cao da se cao anterior cabem
aqui. Apesar do limite fraco da sequencia v

ser nulo, e neste caso ser uma


solu cao,
6
nao e o que gostaramos de ver como situa cao limite, pois nem
v

, nem

2
[v

[
2
, tendem a zero, veja equa coes 8.19 e 8.16.
A lei generalizada de conserva cao do momento, como expressa em (8.9),
e valida, para cada > 0, para p = v

e T
in
= v

. Consequen-
temente, passando ao limite, vale tambem para p = v
0
= 0 e T
in
= T
(com T dado no lado direito de (8.19)). Isto e consequencia da deni cao de
convergencia fraca, mas e tambem facil vericar diretamente:
T
in
, ) =
_

2
I ,
_
=

2
_

1
x
1
(0) +

2
x
2
(0)
_
=

2
div (0) = 0.
A continuidade (em = 0) da conserva cao do momento como expressa
no paragrafo acima, e mais natural do ponto de vista fsico, e e gozada
pelas solu coes generalizadas cuja deni cao sera dada no proximo captulo.
Esta e uma no cao que retratara mais detalhalhadamente as situa coes limi-
tes, refutando, por exemplo, que a solu cao nula seja um modelo completo
para a situa cao limite do aparecimento de concentra cao desta se cao.
Exerccio 78 (Vortices fantasmas) Dada uma fun cao diferenciavel de
suporte compacto, c
1
0
([0, )), tal que
_

0
s(s) ds = 0, dena v pela
equa cao 8.12. Assuma que supp [0, R
0
]. Note que o campo de velocidades
e nulo para [x[ R
0
e as circula coes no crculo de raio R
0
e no innito sao
nulas. Considere a sequencia de solu coes da equa cao de Euler bidimensional,
v

(x) =
1
v
_
x

_
,
cujo suporte esta contido em B
0
(R
0
).
Mostre que
v

v
0
= 0 e,
v

T = cI ,
6
Este fenomeno e chamado de cancelamento de concentra cao (veja [14]).
8.3. DESENVOLVIMENTO DE CONCENTRAC

OES 121
onde
c =
_

0
1
r
__
r
0
s(s) ds
_
2
dr .
(Dica: Veja a observa cao apos o enunciado do Teorema 76 e a deni cao de
sequencia de Dirac no Captulo 7).
Alem disso, verique que v
0
e solu cao classica da equa cao de Euler, ao
passo que o par (v
0
, T) satisfaz a lei generalizada de conserva cao do
momento (8.9).
122 CAP

ITULO 8. NOVOS FEN

OMENOS
Captulo 9
Solucoes de DiPerna-Majda
Neste captulo nao demonstraremos a maioria dos resultados enunciados. Na
terceira se cao, denimos solu cao generalizada de DiPerna-Majda da equa cao
de Euler para um uido incompressvel. Expomos ainda a estrutura mais
na das solu coes generalizadas e, em particular, obtemo-la para os exem-
plos de persistencia de oscila coes e de desenvolvimento de concentra coes do
captulo anterior. Para o detalhamento da estrutura, no coes de Medida e
Integra c ao sao necessarias; uma muito breve introdu cao a estes assuntos sera
feita na segunda se cao. Na primeira se cao discutimos no coes de Perturba coes
Singulares, o cenario do qual emerge a no cao de solu cao de DiPerna-Majda.
9.1 Perturbacoes Singulares
Indicaremos por L

um problema que possivelmente (mas nao necessaria-


mente) depende de . Aqui, > 0. A cada seja u

uma solu cao de L

. Isto
e denotado por
L

(u

) = 0.
O problema L

podera ser uma equa cao algebrica, uma equa cao diferencial
ordinaria, um PVI para uma EDP, ou algum outro problema. O problema L

e regularmente perturbado (quando 0), se toda a sequencia de solu coes


u

convergir uniformente quando 0. Caso contrario, se existir alguma


sequencia de solu coes u

que nao convirja uniformemente quando 0,


123
124 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
o problema e chamado singularmente perturbado.
1
A maneira menos epica de descrever a pratica de um especialista em
Teoria da Perturba cao Singular e a seguinte: depois de isolar uma classe
u

de solu coes sicamente relevantes (parametrizada por ), o objetivo


e a obten cao do limite u

da sequencia u

e a obten cao do problema


limite, denotado por L

, que u

satisfaz, L

(u

) = 0. Deixemos tudo assim


muito vago.
A face computacional desta losoa tinha, antes do advento dos compu-
tadores digitais, um papel preponderante nos calculos cientcos.
Por outro lado, seu papel em modelagem cientca, ja claramente sali-
entado por Friedrichs em [23], nao para de se desenvolver. As referencias
[62], [54], [6], [45], [7], [31], [46], [64], contem parte desse desenvolvimento.
As tecnicas, e mais, as pre-tecnicas da Teoria da Perturba cao Singular per-
meiam parte expressiva dos artigos, com enfase teorica, de Fsica e de En-
genharia. Mais recentemente, tecnicas provenientes de Analise Real e de
Analise Funcional, come caram a interagir com a losoa da Teoria da Per-
turba cao Singular com o intuito de estudar problemas nao-lineares da Fsica-
Matematica [15, 54, 18].

E um pouco destas ideias, aplicadas `a equa cao de Euler, o que discutire-


mos no restante destas notas. Dentro do esprito de selecionar as sequencias
de solu coes fsicamente relevantes, fazemos a exigencia em (8.1).
DiPerna-Majda [15] introduziram a no cao de solu cao generalizada da
equa cao de Euler de tal forma que o limite v

, de sequencias de solu coes


da equa cao de Euler, satisfazendo a condi cao sicamente natural (8.1), fosse
solu cao generalizada da equa cao limite. De quebra, e possvel mostrar-
se que se v

e uma sequencia de solu coes da equa cao de Navier-Stokes


(com viscosidade = ), ainda compatvel com (8.1), entao o limite v

sera solu cao generalizada da equa cao de Euler, (veja [15]). De fato, mais e
conhecido: DiPerna-Majda mostraram em [16] que se v

e uma sequencia
obtida a partir de uma aproxima cao da equa cao de Euler bidimensional
atraves de metodos computacionais de vortices, entao o limite v

, obtido
quando o parametro da discretiza cao numerica vai a zero, sera solu cao
generalizada de DiPerna-Majda da equa cao de Euler. (Veja [15, 16, 14] para
outros resultados).
1
Os exemplos a seguir ilustram, atraves de equacoes polinomiais simples, a diferenca
basica entre problemas (a) regularmente perturbados, e (b) singularmente perturbados:
a) x
2
x + (1 ) = 0
b) x
2
x(
2
1) = 0
O leitor deve trabalhar nestes exemplos.
9.2. NOC

OES DE MEDIDA E INTEGRAC

AO 125
Figura 9.1: (a) Soma de Riemann: O domnio e subdividido em intervalos
cada vez menores. (b) Soma de Lebesgue: O contradomnio e subdividido
em intervalos cada vez menores, induzindo uma parti cao do domnio em
subconjuntos nao necessariamente pequenos, cada peda co da parti cao
corresponde a pontos que tem aproximadamente o mesmo valor pela fun cao.
9.2 Nocoes de Medida e Integracao
Introdu cao
Como visto no Captulo 5, existem distribui coes que sao dadas por integra cao
contra uma fun cao, ou seja, sao distribui coes da forma J = i
f
para alguma
fun cao f em L
1
loc
,
J, ) =
_

f(x)(x) dx, c

0
(). (9.1)
Uma generaliza cao desta classe de exemplos e obtida usando-se medidas
diferentes da que, apesar de nao mencionada explicitamente, estar sendo
utilizada na formula 9.1 acima. As do tipo Dirac, tambem apresentadas no
Captulo 5, sao exemplos desta nova classe. Desenvolveremos este assunto
ao longo da se cao.
Compara cao entre as Integrais de Riemann e de Lebesgue
Recordamos a deni cao de integral de Riemann. (Veja Figura 9.1a). Seja
f 0 uma fun cao contnua denida em [0, 1]. Subdivide-se o domnio [0, 1]
126 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
em n intervalos de tamanho 1/n e, dene-se a soma
SR
n
(f) =
n

i=1
1
n
f(x
i
) (9.2)
onde, x
i
e um ponto em [i1/n, i/n] e f(x
i
) = minf(x), x [i1/n, i/n).
Entao, a integral de Riemann de f e:
_
1
0
f(x) dx = lim
n
SR
n
(f) .
Damos a seguir um esbo co da deni cao da integral de Lebesgue da fun cao
f. (Veja Figura 9.1b). Para cada n subdivide-se o contradomnio [0, ) em
intervalos de tamanho 1/n,
[0, ) =

m=0
_
m
n
,
m+ 1
n
_
e dene-se
E
m
n
= f
1
__
m
n
,
m+ 1
n
__
.
E claro que
m
n
min f(x), x E
m
n
<
m+ 1
n
.
Considere a seguinte soma,
SL
n
(f) =

m=0
m
n
m(E
m
n
) (9.3)
onde m(A) denota o tamanho do conjunto A IR; dene-se a integral
de Lebesgue de f por
_
1
0
f(x) dx = lim
n
SL
n
(f) .
Uma diferen ca crucial entre as duas deni coes de integral e que, enquanto
que para a integral de Riemann subdivide-se o domnio em intervalos cada
vez menores, para a integral de Lebesgue e o contradomnio que e subdivi-
dido. As duas deni c oes dao o mesmo valor para
_
1
0
f(x) dx,
no entanto, a classe das fun coes que podemos calcular a integral de
Lebesgue e maior.
Vemos que na deni cao da integral de Lebesgue, ha necessidade de se
considerar o tamanho de conjuntos que nao sao intervalos. No exemplo da
9.2. NOC

OES DE MEDIDA E INTEGRAC

AO 127
Figura 9.1b, a imagem inversa representada, consiste de dois intervalos e,
nao havera diculdade de se denir seu tamanho, mas em geral, as imagens
inversas podem ser bem complicadas. Da, a necessidade de se considerar
mais detalhadamente a no cao de tamanho de conjunto, no cao esta conhe-
cida por medida.
Nao ha possibilidade de se denir uma no cao de medida de conjuntos
que possa ser calculada para todos os subconjuntos de IR
m
, digamos, em
IR
3
, que coincida com a no cao de volume para conjuntos tipo o cubo, alem
de ser invariante por rota coes e transla coes, (Paradoxo de Banach-Tarski).
Teremos que nos restringir a uma certa classe de subconjuntos. A classe a
que iremos nos restringir e a dos conjuntos de Borel, que deniremos adiante.
Alem disso, imagens inversas de intervalos, como as consideradas no lado
direito de (9.3), sao os conjuntos que estamos interessados em computar a
medida. Como estes tem que ser medidos pela medida, terao que pertencer
`a classe dos conjuntos de Borel. Esta condi cao acaba se traduzindo numa
restri cao ao tipo de fun cao que pode ser integrada.
Medida
Uma exposi cao mais sistematica bem como as demonstra coes dos resultados
desta subse cao, podem ser encontrados em [22].
Um conjunto E IR
m
e de Borel (ou boreliano), se pode ser obtido, par-
tindo dos abertos, por um n umero enumeravel de aplica coes das opera coes
de uniao, de interse cao, e de tomar o complementar. Denote por B(IR
m
), a
cole c ao de todos os conjuntos de Borel em IR
m
e, dado B(IR
m
), dena
B() = E B(IR
m
); E , o conjunto dos borelianos em .
O conjunto B = B() satisfaz as seguintes propriedades:
(a) Se E B, entao o complementar de E em esta em B, E
c
= E B.
(b) Se E
i
B, i IN, entao

i=1
E
i
B .
(c) B.
Estas propriedades mostram que B() e uma algebra. Os elementos
de B() sao chamados de conjuntos mensur aveis.
(Exerccio: (a) Mostre que E = EF + E F e se E, F B, entao
EF B e E F B. (b) Sejam E
i
B para i IN. Mostre que

i=1
E
i

B.)
128 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
Uma medida positiva em e uma aplica cao
2
: B()[0, ]
com as seguintes propriedades:
3
(a) () = 0 onde denota o conjunto vazio.
(b) (-aditiva) (

i=1
E
i
) =

i=1
(E
i
) se E
i
E
j
= , para i, j IN.
(Exerccio: Mostre que e mon otona no sentido que E F implica
(E) (F), em particular, (E) () e, se () for nito, a medida de
qualquer conjunto tambem o sera).
Exemplo 79 (a) A medida delta de Dirac e dada por:
(E) =
_
1 se 0 E
0 caso contrario.
(b) Considere a seguinte medida na reta:
e(E) =
_
E n
2
; n Z
+

_
onde (A) e o n umero de elementos de A se, A tem um n umero nito de
elementos, e caso contrario.
4
Exemplo 80 (Medida de Lebesgue) Construimos a seguir a medida de Le-
besgue em IR
m
, que denotaremos por m. Quando m = 1, 2 ou 3, a medida
m correspondera `as no coes usuais de comprimento, area e volume. Um m-
ret angulo em IR
m
(ou simplesmente um ret angulo) e um conjunto da forma
R = (a
1
, b
1
) (a
m
, b
m
), a
i
, b
i
(, +) .
2
Devemos operar com da seguinte maneira natural:
a = a =
_
, a (0, )
0, a = 0
e,
a + = + a = , a [0, )
.
3
Na verdade, nao ha necessidade do domnio de uma medida ser B(), basta que seja
uma -algebra. Mas nao precisamos aqui desta generalidade. O crucial e que a extensao
acima referida da nocao de volume, dada pela medida de Lebesgue pode ser denida em
B().
4
Claramente, as medidas denidas neste exemplo dao uma nocao de tamanho de
conjuntos mas, evidentemente, nao coincidem com a nocao usual de volume em IR
m
;
esta extensao e realisada pela medida de Lebesgue.
9.2. NOC

OES DE MEDIDA E INTEGRAC

AO 129
Para estes, denimos
m(R) =
m

i=1
(b
i
a
i
) .
Se E =

j=1
R
j
onde cada R
j
e um retangulo e R
j
R
l
= , se j ,= l, entao
denimos
m(E) =

j=1
m(R
j
) .
Denotaremos por 1a famlia das uniao enumeraveis de retangulos disjuntos.
Finalmente, se F e um conjunto qualquer em B(IR
m
), denimos:
m(F) = infm(E); E F, E 1 .
Uma medida positiva em e externamente regular em E se
(E) = inf(A); A E, A aberto ,
e internamente regular em E se
(E) = sup(K); K E, K compacto
e, e regular em E se for externa e internamente regular em E. Se e regular
em todos os conjuntos de Borel em , entao e chamada de regular.
(Exerccio: Mostre que se e regular em E, entao dado > 0 arbitrario,
existem um compacto K e um aberto A tais que K E A e (A)
(E) (K) +).
Deni cao 81 Uma medida positiva e uma medida de Radon positiva se e
regular e nita nos conjuntos compactos. Ser a medida de Radon positiva
nita se, adicionalmente, for nita para todos os conjuntos de Borel.
Exemplo 79a e uma medida de Radon positiva nita e as do item b e do
Exemplo 80 sao apenas medidas de Radon positivas. Seja B(IR
m
) um
conjunto limitado. Como B() B(IR
m
) podemos considerar a medida de
Lebesgue restrita a B(). Esta sera uma medida de Radon positiva nita.
Denotaremos por M
+
() o conjunto das medidas de Radon positivas
nitas em , por Prob() = M
+
(); () = 1, o conjunto das
medidas de probabilidade e por M() = =
1

2
;
1
,
2
M
+
(), o
conjunto das medidas de Radon (com sinal).
Uma medida de Radon e nula em N B()
se (F) = 0, para todo F B(), com F N. Duas medidas de Radon

1
e
2
sao mutuamente singulares (ou
1
e singular com respeito a
2
, ou
130 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
vice-versa), se existem conjuntos N
1
, N
2
B(), complementares em ,
tais que
1
se anula em N
1
e
2
se anula em N
2
. Expressamos esta rela cao
por
1

2
.
Teorema 82 Se e uma medida de Radon (com sinal), ent ao existe um
unico par (
+
,

) de medidas de Radon positivas, mutuamente singulares,


decompondo no sentido que
=
+

. (9.4)
As medidas
+
e

sao denominadas as variac oes positiva e negativa


de e, equa cao 9.4 da a Decomposi c ao de Jordan de .
5
A variac ao total
de , e a medida positiva [[ dada por [[ =
+
+

.
Seja um aberto. Dada M
+
(), denote por A, a uniao de todos
os abertos onde e nula e, dena o suporte de , supp = A. Dada
M(), o suporte de e a uniao do suporte de suas varia coes positiva e
negativa, ou seja, supp = supp
+
supp

.
Exerccio 83 Mostre que se as medidas
1
e
2
tem suportes disjuntos,
supp
1
supp
2
= ,
entao
1

2
. Mostre que o recproco nao e verdadeiro, isto e, exiba
1
e
2
tais que,
1

2
mas
supp
1
supp
2
,= .
Integracao
Uma fun cao real f denida em e mensur avel em B() se os conjuntos da
forma f
1
([a, b)), com a e b arbitrarios, forem conjuntos mensuraveis, isto e,
perten cam a B(). E facil ver que toda fun cao contnua e mensuravel. Se f
e mensuravel, o mesmo vale para f
+
e f

, as partes positiva e negativa da


fun cao f, (veja deni cao na nota de rodape `a pagina 130). Sejam E
i
, 1
i n subconjuntos mensuraveis. Uma fun cao da forma
s(x) =
n

i=1
c
i

E
i
(x)
onde c
i
sao constantes e
E
i
e a fun cao caracterstica de E
i
, e chamada de
fun c ao simples. Estas sao mensuraveis. E possvel mostrar que, dada uma
5
Esta decomposicao e analoga `a decomposicao de uma funcao f em suas partes positiva
e negativa, f(x) = f
+
(x) f

(x) onde f
+
(x) = max|f(x), 0 e f

(x) = min|f(x), 0.
De fato, veja Exemplo 84.
9.2. NOC

OES DE MEDIDA E INTEGRAC

AO 131
fun cao f denida em , mensuravel e nao-negativa, existe uma sequencia
de fun coes simples, tal que: f
n
(x) f(x), para todo x e,
f
n
(x) f(x) quando n ,
onde denota convergencia em IR, para cada x , (convergencia pon-
tual).
Seja uma medida positiva regular. Dadas s, uma fun cao simples, e E,
um subconjunto de , dene-se
I
E
(s) =
n

i=1
c
i
(E E
i
) .
Dada f, uma fun cao mensuravel nao negativa, dene-se a integral de f com
respeito ` a medida no conjunto E B(), pela expressao do lado direito
da formula abaixo:
_
E
f(x) d(x) = supI
E
(s); s simples com 0 s f .
Observe que o lado direito da expressao acima pode ser innito. (O lado es-
querdo e apenas nota cao, em particular, d nao tem signicado. No entanto,
sua presen ca indica que a medida sendo usada e ). Se e m, a medida de
Lebesgue, a integral acima e a integral de Lebesgue da fun cao f em E. Se
f for, por exemplo, uma fun cao contnua de suporte compacto, as integrais
de Riemann e de Lebesgue coincidem. O leitor deve se convencer de que,
intuitivamente, a deni cao dada na subse cao anterior coincide com esta.
Sejam f, uma fun cao mensuravel qualquer, e , uma medida de Radon
em M(). Diz-se que f e integr avel com respeito ` a medida , se,
_

[f(x)[ d[[(x) <


e, denota-se, f L
1
(, ). Neste caso, dene-se a integral de f com respeito
a no conjunto E:
_
E
f(x) d(x) =
_
E
f
+
(x) d
+
(x) +
_
E
f

(x) d

(x)

_
E
f
+
(x) d

(x)
_
E
f

(x) d
+
(x).
Notamos que cada uma das quatro integrais do lado direito da expressao
acima fazem sentido, pois envolvem integrais de fun coes positivas com re-
la cao a medidas positivas e, cada uma delas e nita pois limitadas por
_

[f(x)[ d[[(x), donde o lado direito esta bem denido.


132 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
(Exerccio: Mostre que:

_
E
f d

[[f[[

__
E
d[[
_
, E, f Bc() ).
Dadas M() e f L
1
(, ), dene-se uma nova medida de Radon
(verique), aqui denotada por f, (por vezes, denotada por f d), dada por:
f(A) =
_
A
f(x) d(x) .
Exemplo 84 Dada g L
1
(IR
m
, m) uma fun cao integravel com respeito `a
medida de Lebesgue, dena
g
, uma medida de Radon, pela formula:

g
(E) =
_
E
g(x) dm(x) ,
isto e,
g
= gm. Dada f c
0
0
(IR
m
), e facil vericar que

f
+
f
e
f
=
f
+
f

donde (
f
+,
f
) e o par correspondente `a medida
f
, denido pelo Teo-
rema 82. Alem disso, [
f
[ =
|f|
.
Enunciado do Teorema da Representacao de Riesz-Markov e
Exemplos
Seja um subconjunto de IR
m
. Diz-se que uma fun cao f se anula no innito
se, dado > 0 arbitrario, existir um compacto C tal que [f(x)[ < ,
para todo x em C. Denimos c
0

(), o conjunto das fun coes contnuas


que se anulam no innito; c
0

() munido com a norma do sup e um espa co


de Banach.
Exerccio 85 (a) Mostre que c
0

((0, 1)) c
0

([0, 1]), isto e, dado g em


c
0

((0, 1)) mostre que existe uma extensao de g, denotada por g, tal que
ge um elemento de c
0

([0, 1]) e, que a aplica cao g g e injetora. Por


outro lado, exiba f em c
0

([0, 1]) tal que sua restri cao a (0, 1) nao pertence
a c
0

((0, 1)).
(b) Dado um compacto K, verique que
c
0

(K) = c
0
0
(K) = Bc(K) = c
0
(K) .
(c) Dado um aberto , mostre que
c
0

() c
0
0
() Bc() c
0
() .
De fun coes denidas em = (0, 1) mostrando que as inclusoes acima sao
estritas.
9.2. NOC

OES DE MEDIDA E INTEGRAC

AO 133
O dual de c
0

(), denotado por [c


0

()]

e o conjunto dos funcionais


lineares contnuos em c
0

(), ou seja, [c
0

()]

se e so se,
, f
n
) , f

) , quando n
para toda a sequencia f
n
e f

em c
0

() tais que f
n
unif
f

. Aqui, como
no caso de distribui coes, , f) denota o valor do funcional em f. Devido
`a linearidade, para a verica cao da continuidade de , bastam as sequencias
em c
0

() convergindo uniformemente a zero.


Seja um conjunto aberto ou fechado em IR
m
. Pode-se mostrar que
M() [c
0

()]

no seguinte sentido: dada uma medida de Radon M(), denimos um


funcional linear, ainda denotado por , em c
0

() pela formula abaixo


, g) =
_

g(y) d(y) , g c
0

().
Usando as propriedades da integral, nao e difcil mostrar que este funcional
linear e contnuo.
(Como exemplo, se for igual a , a medida de Dirac, o funcional linear
associado sera c
0

(IR
3
) g g(0) IR.)
Reciprocamente, dado um funcional linear contnuo l [c
0

()]

, e
possvel mostrar que existe uma unica medida de Radon M() tal que
l, g) =
_

g(x) d(x), g .
Resumimos este resultado, que e conhecido como Teorema da Representa cao
de Riesz-Markov, abaixo:
Teorema 86 (Riesz-Markov)
6
Dado , um subconjunto aberto ou fechado
de IR
m
, temos que: M() = [c
0

()]

.
Usando este Teorema, notamos que e possvel denir-se uma medida a-
traves de sua atua cao em c
0

, isto e, dando-se um funcional linear contnuo


em c
0

. Faremos uso deste fato.


Exerccio 87 Dados , um aberto em IR
m
e g, uma fun cao em c
0

(),
mostre que a extensao de g dada por
g(x) =
_
g(x) se x
0 se x IR
m

6
Consulte [22, 51].
134 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
pertence a c
0

(IR
m
). A aplica cao
i : c
0

() c
0

(IR
m
)
g i
g
= g
e injetora e portanto, c
0

() pode ser considerado um subconjunto de


c
0

(IR
m
). Assim dado em M(IR
m
) restringindo-se sua atua cao a c
0

(),
dene-se a um funcional linear; denote-o ainda por e mostre que
M(). Resulta que M(IR
m
) M().
Exemplo 88 O leitor deve vericar que os funcionais lineares apresentados
a seguir sao contnuos em c
0

; pelo Teorema de Riesz-Markov, de novo,


denem medidas de Radon. Alem disso, generalizam a medida de Dirac.
Sao singulares com respeito `a medida de Lebesgue.
(a) (Dimensao zero) Medida nao uniforme sobre os pontos h
1
, . . . , h
N
:
A, g) =
N

j=1
a
j
g(h
j
) , g c
0

(IR
3
) .
Os n umeros reais a
1
, . . . , a
N
, nao todos iguais, sao os pesos.
(b) (Dimensao um) Medida uniforme sobre uma curva: seja c : [0, 1]IR
3
uma fun cao injetora e diferenciavel e, denote por C, a curva determinada
pela imagem de c, (C = c([0, 1])). Dena a medida:
K, g) =
_
C
g[
C
dl
=
_
1
0
g(c(s))

dc
ds
(s)

ds, g c
0

(IR
3
),
onde f[
A
denota a restri cao da fun cao f ao conjunto A e dl denota o elemento
de comprimento da curva.
(c) (Dimensao um) Medida nao uniforme sobre uma curva: seja a uma
fun cao nao constante em c
0
([0, 1]); dene-se a medida
N, g) =
_
C
g[
C
a dl
=
_
1
0
g(c(s))a(s)

dc
ds
(s)

ds, g c
0

(IR
3
).
Observa cao: Assuma que [c(s)[ = 1 para todo s em [0, 1]. Entao pode-
mos, analogamente, denir uma medida em o
2
= x IR
3
[ [[x[[ = 1,
N, g) =
_
1
0
g(c(s))a(s)

dc
ds
(s)

ds, g c
0

(o
2
) = c
0
(o
2
).
9.2. NOC

OES DE MEDIDA E INTEGRAC

AO 135
(d) (Dimensao dois) Medida nao uniforme sobre uma superfcie: seja u uma
fun cao injetora em c
1
([0, 1] [0, 1], IR
3
), cuja imagem dene uma superfcie
M e seja a uma fun cao peso em c
0
([0, 1] [0, 1]). Dene-se uma medida
em IR
3
atraves da formula:
K, g) =
_
M
g[
M
dS
=
_
1
0
_
1
0
g(u(s
1
, s
2
))a(s
1
, s
2
)

u
s
1

u
s
2

ds
1
ds
2
,
onde dS denota o elemento de area da superfcie.
(e) (Dimensao dois) A medida uniforme sobre a esfera unitaria e dada por:
U, g) =
_
S
2
g[
S
2
dS
=
_

0
_

g(cos sen , sen sen , cos ) send d


onde e sao, respectivamente, os angulos de longitude e de latitude da
esfera.
Observa cao: E claro que a medida U pode ser denida em c
0
(o
2
). Alem
disso, pode se construir uma medida nao uniforme a partir de U, para tanto
basta multiplicar o integrando na integral acima por uma fun cao peso nao
constante.
Exerccio 89 (Medidas s ao Distribuic oes)
7
Dados um aberto em IR
m
e
uma medida em M(), dena o funcional i

em c

0
() pela formula
i

, ) =
_

(y) d(y), c

0
(). (9.5)
Mostre que i

e uma distribui cao pertencente a T

(). Mostre ainda que a


aplica cao
i : M() T

()
i

,
com i

denido em (9.5), e injetora e, portanto, podemos considerar M()


como um subconjunto de T

().
8
Denotaremos a distribui cao i

por
apenas.
7
Compare com o primeiro paragrafo desta secao.
8
Pode assumir que (

0
() e denso em (
0

(), isto e, dado (


0

(), existe
sequencia |n tal que,
n
unif
, quando n .
Use o Teorema de Riesz-Markov.
136 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
A este respeito vale comparar as no coes de mutuamente singulares e de
distribui coes com suportes disjuntos. Especicamente, verique o seguinte
resultado: Dadas , M() mostre que se suppi

suppi

= , entao .
(Dica: Use Exerccio 83, Teorema de Riesz-Markov e densidade de c

0
em
c
0

.)
9.3 Solucoes Generalizadas
Seja um aberto limitado em IR
3
(0, +). Dada uma sequencia de fun coes
v

satisfazendo a condi cao 8.1, e possvel mostrar-se (mas nao o faremos


aqui) que existem uma subsequencia de v

(ainda denotada por v

), uma
fun cao v
0
em L
2
loc
, e uma distribui cao T T

tais que
9
v

v
0
e, (9.6)
v

T , (9.7)
ou seja,
v

, )
_
v
0
,
_
c

0
(, IR
3
) e
v

, ) T, ) c

0
(, IR
3
IR
3
) .
Deni cao 90 Considere uma sequencia de fun c oes v

satisfazendo con-
dic ao 8.1. A fun c ao v
0
denida a partir da sequencia v

como em (9.6) e
solu cao generalizada de DiPerna-Majda da equa c ao de Euler para um uido
incompressvel se satisfaz a lei generalizada de conserva cao do momento,
isto e, se
_
v
0
,
t
_
+T, ) = 0 c

0
(, IR
3
) com div = 0 , (9.8)
onde T e denido em (9.7), e se v for incompressvel no sentido das dis-
tribui c oes.
Temos entao o seguinte resultado:
Proposi cao 91 Seja v

sequencia de soluc oes fracas de Leray-Hopf da


equa c ao de Euler para um uido incompressvel satisfazendo adicionalmen-
te (8.1). Ent ao o campo de velocidades v
0
dado em (9.6) e soluc ao genera-
lizada de DiPerna-Majda da equa c ao de Euler.
9
Isto decorre dos Teoremas de Banach-Alaoglu, de Riesz, e de Riesz-Markov que sao
expostos em, por exemplo, [51].
9.3. SOLUC

OES GENERALIZADAS 137
Demonstra cao A lei generalizada de conserva cao do momento e satis-
feita e a verica cao e imediata a partir de (9.6) e de (9.7), uma vez que v

e solu cao fraca da equa cao de Euler. Alem disso, e facil mostrar que (9.7)
implica
div v

div v
0
.
Da convergencia acima e da incompressibilidade de v

, segue-se a de v
0
.
Como casos particulares em que esta Proposi cao se aplica, temos as
sequencias de solu coes exibindo persistencia de oscila coes e desenvolvimento
de concentra coes, do captulo anterior. Um exemplo mais simples e fornecido
por uma sequencia constante v

= v onde v e uma solu cao fraca de Leray-


Hopf. Neste caso, v
0
= v e T = v v, e conclui-se da Proposi cao que
v e uma solu cao generalizada de DiPerna-Majda. Ha aqui uma quebra
com a tradi cao. Nao mais e verdade que um campo de velocidades em
L
2
loc
sera solu cao generalizada se e somente se for solu cao fraca, uma vez
que, o campo de vetores limite do exemplo de persistencia de oscila coes do
captulo anterior, e diferenciavel e e soluc ao generalizada mas nao e soluc ao
fraca (nem classica).
Estrutura das Solucoes Generalizadas
Dada uma sequencia satisfazendo (8.1) e ainda verdade que existe uma sub-
sequencia que, alem de satisfazer (9.6) e (9.7), satisfaz
[v

[
2
D


onde pertence a M
+
().
Mais vale. Seja H c
0
(o
2
, IR
3
IR
3
),
H(v) =
v
[v[

v
[v[
.
(E claro que sao desnecessarios os denominadores [v[ na expressao acima
uma vez que [v[ = 1 para v emo
2
). Se e uma medida em M(o
2
), denota-se
por , H) a matriz
, H) =
_
S
2
H(v) d(v) .
Entao, existe uma famlia de medidas de probabilidade denidas em o
2
, pa-
rametrizada pelos pontos do espa co-tempo, (veja Figura 9.2), representando
138 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
Figura 9.2: Fibrado trivial de esferas.
T no seguinte sentido
10
: Para cada (x, t) existe
(x,t)
Prob(o
2
) tal
que
T =
_

(,)
, H
_
d
isto e,
T, ) =
_

(x,t)
, H
_
: (x, t) d(x, t)
=
_

__
S
2
H(v) d
(x,t)
(v)
_
: (x, t) d(x, t) .
Fixe (x, t). Em linguagem de probabilidade,
_

(x,t)
, H
_
, dada pela inte-
gral entre parentesis acima, e o valor esperado da variavel aleatoria (matri-
cial) H, para a medida de probabilidade
(x,t)
Prob(o
2
), no ponto (x, t)
do espa co-tempo. Denote a famlia
(x,t)
, com (x, t) por .
Finalmente, usando Proposi cao 62, concluimos que v
0
e solu cao de Di-
Perna-Majda da equa cao de Euler se, no sentido das distribui coes,


t
v
0
+Div (, H) d) +p = 0, div v
0
10
Este resultado e provado em [15]; e uma generalizacao do Teorema da Medida Pa-
rametrizada de Young. O Teorema de Young trata da representacao do limite fraco da
sequencia de funcoes obtida da composicao de uma funcao nao-linear com uma sequencia
de funcoes limitadas na norma do sup. A generalizacao considera sequencias obtidas da
composicao de funcoes nao lineares com sequencias de funcoes limitadas em /
2
.
9.3. SOLUC

OES GENERALIZADAS 139
para alguma distribui cao p.
Na proxima subse cao escrevemos as triplas (v
0
, , ) correspondentes `as
sequencias de solu coes da equa c ao de Euler do captulo anterior.
Exemplos
E facil vericar que a estrutura detalhada das solu coes de Leray-Hopf e
como a seguir,
v
0
= v, d(x, t) = [v(x, t)[
2
dxdt e
(x,t)
=
(v(x,t)/|v(x,t)|)
onde
h
, com h em o
2
, denota a medida de Dirac em h, a medida de
probabilidade para a qual h ocorre com probabilidade 1, isto e,

h
, g
_
= g(h) g c
0
(o
2
) .
Em situa coes mais complexas, o tensor da for ca inercial, que e propor-
cional a T, (de fato igual a T), tem tambem estrutura mais complexa.
Vejamos isto no exemplo de intensica cao de oscila coes no limite, do captulo
anterior. Nesta situa cao o campo de velocidades limite v
0
foi dado em (8.6)
e temos que,
d = e
0
(x, t) dxdt
onde e
0
foi obtido em (8.8). Fixado (x, t) , a medida de probabilidade

(x,t)
e analoga `a do Exemplo 88c, onde, desta vez, a curva u e o peso a,
parametrizados por z [0, 1], sao dados, respectivamente, por
u(x, z) =
v(x, t, z)
[v(x, t, z)[
e,
a(x, t, z) =
[v(x, t, z)[
2
[u
z
(x, t, z)[ e
0
com v denido em (8.4) e, tem-se que
_
S
2
f(v) d
(
x, t)(v) =
_
1
0
f(u(x, t, z))a(x, t, z)

u
z
(x, t, z)

dz.
Notamos neste exemplo a indeni cao da dire cao do vetor velocidade limite,
no que diz respeito `a sua inuencia sobre a for ca inercial, uma vez que
(x,t)
nao e mais a distribui cao de Dirac num ponto.
O aparecimento de concentra cao num ponto, presente no exemplo do
captulo anterior, exibe um comportamento semelhante no que diz respeito `a
140 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
dispersao da probabilidade na esfera unitaria. Tratando-se de um exemplo
bidimensional, a esfera aqui se trata do crculo unitario. A distribui cao
limite da velocidade e v
0
= 0, e a de [v

[
2
e =
0
. Temos ainda que
x
e a
medida de probabilidade uniformemente distribuida no crculo unitario o
1
;
seja c() = (cos , sen ), entao,
_
S
1
f(v) d
x
(v) =
_

f(cos , sen )
d
2
,
ou seja, d
x
= d/2.
9.4

Ultima Secao
Abrimos aqui um parentese para contar uma anedota: Quando Einstein
morreu e foi para o Paraso, ele perguntou ao Artce acerca da Teoria da
Grande Unica cao (GUT). O Grande Equacionista desvendou uma bela teo-
ria e rapidamente a sala de seminarios celestial estava repleta de formulas
harmoniosas. Encorajado por aquela resposta divina, Einstein entao pergun-
tou acerca da Teoria da Turbulencia. Repentinamente, a sala de seminarios
escureceu e uma voz trovejante ordenou a alma impudente a se retirar ime-
diatamente.
O estudo de fenomenos de Turbulencia em Fluidos e em outras partes
da Fsica, e uma area de pesquisa onde tem havido intensa atividade ao
longo das ultimas decadas, (veja [17]), tendo motivado desenvolvimentos
em outras areas. Em particular, a motiva cao inicial para a introdu cao da
equa cao de Burgers e da equa cao de Lorenz, exemplos muito estudados, res-
pectivamente, nas areas de Sistemas de Leis de Conserva cao Hiperbolica,
(veja [35]), e Sistemas Dinamicos (veja [49]), foi a possibilidade de conside-
rar modelos mais simples que ainda exibissem comportamento complexo e
algumas das propriedades da Turbulencia em Fluidos. Alias, estas equa coes
sao simplica coes, (respectivamente dimensional, e espectral), das equa coes
de Navier-Stokes.
A complexidade do movimento de uidos, em especial, os desdobramen-
tos de situa coes instaveis,
11
exibindo varia coes repentinas da velocidade no
tempo e no espa co, deixa antever as diculdades de entendimento teorico a
da obten cao de solu coes numericas, com boa precisao, em tais casos.
Estes Cen arios Turbulentos sao bastante comuns em uxos reais. Se-
gundo Lugt [40, pag. 120], as caractersticas fundamentais de Turbulencia
sao:
11
Veja, por exemplo, [61], [40], [11] e [34].
9.4.

ULTIMA SEC

AO 141
(a) Turbulencia e um movimento irregular de um uido no qual quantidades
fsicas como a velocidade e a pressao oscilam no espa co e no tempo.
(b) Turbulencia e um processo de troca, o qual e muitas vezes mais rapido
do que a difusao da vorticidade num uxo laminar.
(c) Energia e transportada, em geral, de grandes redemoinhos para peque-
nos.
(d) Turbulencia nao e um processo puramente estatstico, uma vez que
estruturas coerentes de vorticidade, de longa dura cao, existem dentro
dela.
Antecedendo uma resolu cao turbulenta de um uxo ha usualmente pre-
sente uma discrepancia nas intensidades das varias for cas presentes, (for cas
de viscosidade, de pressao, externa e for ca inercial), criando uma situa cao
instavel. (Consulte [40]). A harmoniza cao de tal situa cao conitante se
da, entao, atraves do surgimento de Turbulencia.
Cre-se que a harmoniza cao propiciada pela Turbulencia seja um pro-
cesso no qual as leis fundamentais de conserva cao para o movimento de
uidos nao sejam violadas.
A no cao de solu cao Diperna-Majda da Equa cao de Euler incompressvel
foi introduzida com o intuito de dar conta da complexidade de fenomenos
exibidos por sequencias de solu coes da Equa cao de Euler e para, possivel-
mente, abranger fenomenos turbulentos. Ja mencionamos anteriormente e
repetimos por enfase, que esta no cao aceita como solu cao da Equa cao de Eu-
ler, limites de regulariza c oes desta mesma equa cao. (Como, por exemplo, a
regulariza cao dada pela Equa cao de Navier-Stokes quando a viscosidade vai
a zero, ou uma regulariza cao por discretiza cao numerica quando o parametro
de discretiza cao vai a zero). Alem disto, esta no cao de solu cao e centrada
na ideia de manter v alida uma Lei apropriada de Conserva c ao do Momento
e a continuidade das variaveis fsicas, em particular da energia cinetica e do
momento, no limite.
142 CAP

ITULO 9. SOLUC

OES DE DIPERNA-MAJDA
Apendice A
EDPs lineares de 1
a
ordem
Consideramos neste Apendice o problema de Cauchy para uma equa cao di-
ferencial parcial linear de primeira ordem:
_
a(x, y)u
x
+ b(x, y)u
y
= c(x, y)u + d(x, y)
u((s)) = u
0
(s) .
(A.1)
Sao dadas as fun coes reais derivaveis a, b, c e d, denidas em IR
2
, ou em
um aberto de IR
2
; uma curva derivavel (s) = (
1
(s),
2
(s)); e uma fun cao
real derivavel u
0
(s), o parametro s variando em um intervalo, limitado ou
ilimitado. Uma solu cao de (A.1) e uma fun cao derivavel u que satisfa ca
a equa cao diferencial e assuma o valor prescrito u
0
(s) sobre a curva dada
(s). Como caso particular, quando y = t denota o tempo e a curva inicial
(s) = (s, 0) e o eixo dos x, temos um problema de valor inicial.
Suponha que exista uma solu cao u(x, y) de (A.1). Pode-se obter in-
forma coes muito uteis a respeito de u atraves do estudo das curvas integrais
do campo vetorial (a(x, y), b(x, y)), ou seja, das curvas (x(), y()) que sa-
tisfazem o sistema de equa coes diferenciais ordinarias
_
x

= a(x, y)
y

= b(x, y) .
Tais curvas sao denominadas curvas caractersticas da equa cao diferencial
parcial em (A.1).
Dadas uma solu cao u(x, y) e uma curva caracterstica (x(), y()), cal-
culemos a derivada em rela cao a da fun cao composta u(x(), y()), usando
a regra da cadeia:
d
d
u(x(), y()) = x

()u
x
(x(), y()) + y

()u
y
(x(), y()) .
143
144 AP

ENDICE A. EDPS LINEARES DE 1


A
ORDEM
Figura A.1: Curva inicial e curvas caractersticas
Como (x(), y()) e uma curva caracterstica, o lado direito da equa cao
anterior e igual a
a(x(), y())u
x
(x(), y()) + b(x(), y())u
y
(x(), y()) ,
que e igual, devido ao fato de u ser solu cao da EDP em (A.1), a
c(x(), y())u(x(), y()) + d(x(), y()) . (A.2)
Vemos entao que u

() = u(x(), y()) satisfaz a equa cao diferencial or-


dinaria
du

d
= g() , (A.3)
onde g() denota a fun cao dada em (A.2). Isto implica que o valor de u
ca determinado ao longo de toda uma curva caracterstica, desde que se
conhe ca o valor de u em apenas um ponto da curva. Para tanto, basta se
resolver um problema de valor inicial para a equa cao diferencial ordinaria
em (A.3).
Podemos levar esta ideia mais adiante e obter um metodo que nos per-
mitira obter explicitamente a solu cao u. Suponhamos que a curva inicial seja
cortada nao-tangencialmente em todos seus pontos por curvas caractersticas
(veja a Figura A.1). Esta hipotese e expressa pela inequa cao:

1
(s)b(
1
(s),
2
(s)) ,=

2
(s)a(
1
(s),
2
(s)) , para todo s . (A.4)
De fato, (A.4) signica que o vetor tangente `a curva inicial e nao-paralelo
ao campo vetorial (a, b) em todos os pontos da curva (s).
145
As curvas caractersticas que cortam podem ser obtidas resolvendo-se
a famlia de problemas de valor inicial abaixo (com condi cao inicial depen-
dendo do paramentro s):
_
x

= a(x, y) x(0, s) =
1
(s)
y

= b(x, y) y(0, s) =
2
(s)
(A.5)
O valor de u(, s) = u(x(, s), y(, s)) e entao obtido resolvendo-se a famlia
de problemas de valor inicial
_
u

(, s) = c(x(, s), y(, s))u + d(x(, s), y(, s))


u(0, s) = u
0
(s)
, (A.6)
onde u

(, s) denota a derivada em rela cao a de u(, s), para cada s xo.


Invertendo a aplica cao
(, s) (x(, s), y(, s)) , (A.7)
obtemos (, s) como fun cao de (x, y). Substituindo esta fun cao na solu cao
u(, s) de (A.6), obtemos entao a solu cao de (A.1) dada por
u(x, y) = u((x, y), s(x, y)) (A.8)
Que a aplica cao em (A.7) pode, de fato, ser invertida, e consequencia de
(A.4) e do Teorema da Fun cao Inversa.
Note que os argumentos que usamos ate agora pressupoem a existencia da
solu cao de (A.1), que entao, sob a hipotese (A.4), deve necessariamente ser
dada por (A.8). Reciprocamente, sabe-se da teoria das equa coes diferenciais
ordinarias [55] que as solu coes de uma famlia de problemas de valor ini-
cial, dependendo diferenciavelmente de um parametro, denem uma fun cao
derivavel tambem em rela cao ao parametro. Este resultado, aplicado ao sis-
tema formado por (A.5) e (A.6), permite demonstrar tambem a existencia
da solu cao de (A.1), dada por (A.8). O leitor interessado nos detalhes deve
consultar [30] ou [57].
Exemplo 92 Resolvamos o problema de valor inicial
_
u
t
+ x
2
u
x
= 0
u(x, 0) = u
0
(x) .
Aqui a curva inicial e dada por (s) = (s, 0) e o campo caracterstico
por (x
2
, 1). A condi cao (A.4) e entao satisfeita. As curvas caractersticas
sao obtidas resolvendo-se o sistema
_
x

= x
2
x(0, s) = s
t

= 1 t(0, s) = 0 ,
146 AP

ENDICE A. EDPS LINEARES DE 1


A
ORDEM
o que da:
x(, s) =
s
s + 1
t(, s) = .
Note que as curvas caractersticas neste exemplo sao hiperboles (desenhe
gura). Podemos obter explicitamente e s em fun cao de x e t, dando:
= t s =
x
tx + 1
. (A.9)
A equa cao (A.6) para este exemplo resume-se a
du
d
= 0 u(0, s) = u
0
(s) ,
que e resolvida por
u(, s) = u
0
(s) . (A.10)
Substituindo (A.9) em (A.10), obtemos:
u(x, t) = u
0
_

x
xt + 1
_
.
(Verique diretamente por substitui cao que a expressao acima dene, de
fato, uma solu cao do problema.)
Exemplo 93 Dada uma fun cao homogenea de grau n, isto e, uma fun cao
u satisfazendo a equa cao
u(tx, ty) = t
n
u(x, y) , para todo x, y, t,
e facil ver que ela satisfaz a equa cao diferencial parcial em (A.11), conhe-
cida como a equa c ao de Euler para fun c oes homogeneas. Resolvendo um
problema de Cauchy com dado inicial sobre um crculo centrado na origem,
vericaremos que toda fun cao que satisfaz a equa cao de Euler e necessaria-
mente homogenea.
Consideremos o problema
_
xu
x
+ yu
y
= nu
u(cos s, sen s) = u
0
(s) ,
(A.11)
onde u
0
e periodica de perodo 2. Os vetores caractersticos (x, y) sao per-
pendiculares `a curva inicial para cada s. As curvas caractersticas podem ser
obtidas resolvendo-se o sistema
_
x

= x x(0, s) = cos s
y

= y y(0, s) = sen s ,
147
de onde obtemos
x(, s) = cos s e

y(, s) = sen s e

. (A.12)
Observe que as curvas caractersticas aqui sao semi-retas radiais, para cada
valor de s.
A equa cao para u ca
du
d
= nu u(0, s) = u
0
(s) ,
cuja solu cao e:
u(, s) = u
0
(s)e
n
.
De (A.12), conclumos que s e igual ao angulo das coordenadas polares do
ponto (x, y) e que e

=
_
x
2
+y
2
= r. A solu cao de (A.11) e mais facilmente
descrita, entao, em coordenadas polares:
u(r, ) = u
0
()r
n
,
que e claramente uma fun cao homogenea, como queramos.
Maior n umero de variaveis independentes
Os argumentos que utilizamos para resolver o problema (A.1) tambem se
aplicam a equa coes em IR
n
, do tipo
n

i=1
a
i
(x)u
x
i
= b(x)u + c(x) ,
as curvas caractersticas sendo as solu coes de
x

i
= a
i
(x) , i = 1, , n .
O problema de Cauchy e posto prescrevendo-se o valor de u sobre uma
hipersuperfcie (superfcie parametrizada por n 1 parametros).
A condi cao analoga a (A.4) e o vetor caracterstico (a
1
, , a
n
) ser nao-
tangente `a superfcie inicial em cada ponto. Por exemplo, o problema de
valor inicial
_
u
t
+a(x, y, t)u
x
+b(x, y, t)u
y
= c(x, y, t)u +d(x, y, t)
u(x, y, 0) = u
0
(x, y)
148 AP

ENDICE A. EDPS LINEARES DE 1


A
ORDEM
satisfaz esta condi cao, pois o vetor caracterstico (a, b, 1) nunca e tangente `a
hipersuperfcie inicial que e o plano t = 0 (parametrizado por (s, r, 0)). As
curvas caractersticas sao dadas pelas solu coes de
_

_
x

= a(x, y, t) x(0, s, r) = s
y

= b(x, y, t) y(0, s, r) = r
t

= 1 t(0, s, r) = 0 ,
e a equa cao para u se escreve como
u

= c(x, y, t)u +d(x, y, t) u(0, s, r) = u


0
(s, r) .
Apendice B
A Equacao do Calor
Iremos delinear as etapas que devem ser levadas a cabo na verica cao que a
fun cao u denida por u(x, 0) = f(x), para x IR
m
e,
u(x, t) = (4t)

m
2
_
IR
m
e

_
|xy|
2
4t
_
f(y) dy, t > 0, x IR
m
, (B.1)
e solu cao classica do PVI para a equa cao do calor em IR
m
:
_
u
t
= u em IR
m
(0, )
u(x, 0) = f(x) em IR
m
(B.2)
onde f pertence a Bc(IR
m
).
Deni cao 94 Uma fun c ao u e soluc ao cl assica do PVI para a equa c ao do
calor se satisfaz a condi cao de regularidade,
u Bc(IR
m
[0, ))

c
2
(IR
m
(0, )),
e satisfaz (B.2) pontualmente.
1
Denimos o n ucleo do calor em IR
m
:
K
m
(x, t) =
1
(4t)
m/2
e

|x|
2
4t
.
1
Notamos que se v(x, t) = 0 para todo t > 0 e v(x, 0) = f(x) entao v satisfaz o
PVI (B.2). Nao e contudo solucao classica pois a condicao de regularidade nao e satisfeita,
o que e afortunado, uma vez que v nao reete o comportamento fsico da conducao do
calor.
149
150 AP

ENDICE B. A EQUAC

AO DO CALOR
Repare que, para t > 0, podemos escrever u denido em (B.1), fazendo a
convolu c ao do n ucleo do calor com a condi cao inicial f,
u(x, t) =
_
IR
m
K
m
(x y, t)f(y) dy . (B.3)
Evidentemente, as tres condi coes necessarias para que u seja solu cao
classica do PVI sao que u satisfa ca (a) a equa cao de evolu cao, (b) a condi cao
inicial e (c) a condi cao de regularidade. Verica cao da condi cao a e proposta
no proximo exerccio.
Exerccio 95 Mostre que
_

t

_
K
m
(x, t) = 0 em IR
m
(0, ).
e use este resultado para mostrar que u denido em (B.2) satisfaz a equa cao
de evolu cao do calor
2
.
E imediatamente vericado que condi cao b e satisfeita. A no cao de
sequencia de Dirac, desenvolvida no Captulo 7, e util na verica cao que
u c
0
(IR
m
[0, )),
que e parte da condi cao de regularidade. Veja os exerccios subsequentes.
Exerccio 96 Mostre que o n ucleo do calor e uma sequencia de Dirac (em
t), isto e,
3
K
m
(, t)
D

, t0.
2
Veja nota de rodape `a pagina 26.
3
Dica: Use Exemplo 71 mas primeiramente verique que:
_
IR
m
e
|x|
2
dx =
m/2
.
Para demonstrar este fato em geral note que :
_
IR
m
e
|x|
2
dx =
__
+

e
|x
1
|
2
dx1
_

__
+

e
|xm|
2
dxm
_
=
__
+

e
|z|
2
dz
_
m
. (B.4)
Alem disso, lado esquerdo de (B.4) e facil de calcular se n = 2 desde que usemos coorde-
nadas polares em IR
2
.
151
Exerccio 97 Mostre que
lim
t0
u(x, t) = f(x) (B.5)
onde u e dado em (B.1). Esta e uma condi cao necessaria porem nao suciente
para u ser contnua em IR
m
[0, ). De um contra-exemplo.
(Dica: fun cao zero + transla cao).
Exerccio 98 Seja v = v(x, t) c
0
(IR
m
(0, )) e assuma que
v(, t)
unif
g(), quando t0
onde g c
0
(IR
m
). Mostre que a fun cao
w(x, t) =
_
v(x, t), t > 0
g(x), t = 0
e contnua.
Se a convergencia em (B.5) for uniforme, entao por este ultimo exerccio,
termina-se a demonstra cao que u, dado em (B.1), e solu cao de (B.2). A-
nalisando-se, com cuidado, a prova do Teorema 72, e possvel adapta-la ao
limite em (B.5), para concluir que a convergencia em (B.5) e uniforme. Fa ca
isto. (Pode, ao inves, consultar [21]).
Finalmente observamos que, xada a condi cao inicial f, a fun cao u dada
pela formula B.1 e a unica solu c ao no sentido da Deni cao 94 do PVI para
a equa cao do calor. (Consulte [30, Captulo 7]).
Exerccio 99 Mostre que se f for uma fun cao limitada, entao u(x, t) dada
por (B.3) tende a zero quando t+, uniformemente em x.
152 AP

ENDICE B. A EQUAC

AO DO CALOR
Referencias Bibliogracas
[1] Arfken, G (1970) - Mathematical Methods for Physicists, 2nd. edi-
tion, Academic Press.
[2]

Avila, G. (1990) - Variaveis Complexas e Aplica coes, LTC Editora.
[3] Bartle, R. (1976) - The Elements of Real Analysis, 2nd. edition, John
Willey & Sons.
[4] Bartle, R. (1966) - The Elements of Integraton, John Wiley & Sons.
[5] Beale, J. & Majda, A. (1982) - Vortex methods I: convergence in
three dimensions, Math. Comp. 39 (29-44).
[6] Bender, C. & Orszag S. (1978) - Advanced Mathematical Methods
for Scientists and Engineers, McGraw-Hill Book Company.
[7] Bensoussan, A. & Lions, J.L. & Papanicolau, G. (1978) - Asym-
ptotic Analysis for Periodic Structures, North-Holland, Amsterdam.
[8] Boldrini, Costa, Figueiredo & Wetzler (1984) -

Algebra Linear,
Harbra.
[9] Braun, M. (1983) - Dierential Equations and Their Applications, 3
rd
edition, Spriger-Verlag.
[10] Burgers, J. (1948) - A mathematical model ilustrating the theory of
turbulence, Adv. Appl. Mech. 1, (171-199).
[11] Chorin, A. (1982) - The evolution of a turbulent vortex, Comm. Math.
Phys. 83, (517-535).
[12] Chorin, A. (1982) - Estimates of intermittency, spectra and blow-up
in developed turbulence, Comm. Pure Appl. Math. 34 (853-866).
153
154 REFER

ENCIAS BIBLIOGR

AFICAS
[13] Chorin, A. & Marsden, J. (1979) - A Mathematical Introduction to
Fluid Mechanics, Springer-Verlag.
[14] DiPerna, R. & Majda, A. (1988) - Reduced Hausdor dimension and
concentration cancellation for two-dimensional incompressible ow, J.
Amer. Math. Soc. 1, 59-95.
[15] DiPerna, R. & Majda, A. (1987) - Oscillations and concentrations
in weak solutions of incompressible uid equations, Comm. Math. Phys.
108, 667-689.
[16] DiPerna, R. & Majda, A. (1987) - Concentrations in regularizations
for 2-D incompressible ow, Comm. Pure Appl. Math. 40, 301-345.
[17] Doolen, Ecke, Holm & Steinberg, ed. (1989) - Advances in Fluid
Turbulence (Proceedings), Physica D 37, 1-3, North Holland.
[18] Evans, L.C. (1990) - Weak Convergence Methods for Nonlinear Par-
tial Dierential Equations, Conference Board of Mathematical Sciences,
AMS, Providence, Rhode Island.
[19] Feynman, R. (1965) - The Character of Physical Law, M.I.T. Press.
[20] Fox, R. & McDonald, A. (1988) - Uma Introdu cao `a Mecanica dos
Fluidos, Editora Guanabara.
[21] Figueiredo, D.G. (1977) - Analise de Fourier e Equa coes Diferenciais
Parciais, IMPA (Projeto Euclides).
[22] Folland, G. (1985) - Introduction to Real Analysis, John Wiley &
Sons.
[23] Friedrichs, K.O. (1955) - Asymptotic phenomena in mathematical-
physics, Bull. Amer. Math. Soc. vol 61, 6 (485-504).
[24] Guidorizzi, H. (1988) - Um Curso de Calculo, LTC Editora.
[25] Gurtin, M. & Martins L. (1976) - Cauchys theorem in classical
physics, Arch. Rat. Mech. Anal. 60 (305-324).
[26] Gustafson, K. (1987) - Introduction to Partial Dierential Equations
and Hilbert Space Methods, 2
nd
, edition, John Wiley and Sons.
[27] Hounie, J. (1979) - Teoria Elementar das Distribui coes, 12
o
Coloquio
Brasileiro de Matematica, CNPq.
REFER

ENCIAS BIBLIOGR

AFICAS 155
[28] Hughes, T. & Marsden, J. (1976) - A Short Course in Fluid Mecha-
nics, Publish or Perish.
[29] I orio Jr., R & I orio, V. (1988) - Equa coes Diferenciais Parciais:
uma Introdu cao, IMPA (Projeto Euclides).
[30] John, F. (1982) - Partial Dierential Equations, Springer-Verlag.
[31] Kevorkian, J. & Cole, J. (1981) - Perturbation Methods in Applied
Mathematics, Springer-Verlag.
[32] Kreiss, H. & Lorenz, J. (1989) - Initial-Boundary Value Problems
and the Navier-Stokes Equations, Academic-Press.
[33] Ladyzhenskaya, O. (1969) - The Mathematical Theory of Viscous
Incompressible Flow, Gordan and Breach.
[34] Landau, L. & Lifshitz, E. (1959)- Fluid Mechanics, Pergamon Press.
[35] Lax, P. (1971) - Hyperbolic Systems of Conservation Laws and the
Mathematical Theory of Shock Waves, SIAM.
[36] Lax, P. (1972) - The formation and decay of shock waves, Am. Math.
Monthly, March, (227-241).
[37] Leonard, A. (1985) - Ann. Rev. Fluid Mech. 17 (529-559).
[38] Leonard, A. (1980) - J. Comput. Phys. 37 (289-335).
[39] Lima, E.L. (1970) - Analise no Espa co IR
n
, Edgard Bl ucher.
[40] Lugt, H.J. (1983) - Vortex Flow in Nature and Technology, John
Wiley & Sons.
[41] Majda, A. (1986) - Vorticity and the mathematical theory of incom-
pressible uid ow, Comm. Pure Appl. Math. 39 (S187-S220).
[42] Majda, A. (1987) - Vortex Dynamics: Numerical Analysis, Scientic
Computing, and Mathematical Theory, Proceedings of the rst interna-
tional conference on industrial and applied mathematics (I.C.I.A.M.).
[43] Meyer (1982) - Introduction to Mathematical Fluid Dynamics, Dover
Publications.
[44] Moura Neto, F. (1990) - Defect dynamics in a dissipative system, a
aparecer no SIAM, J. Applied Math.
156 REFER

ENCIAS BIBLIOGR

AFICAS
[45] Nayfeh, A. (1973) - Perturbation Methods, John Wiley & Sons, Inc.
[46] Neu, J.C. (1984) - The dynamics of stretched vortices, J. Fluid Mech.
143 (253-276).
[47] Neu, J.C. (1990) - Vortex dynamics of the nonlinear wave equation,
Physica D 43 (407-420).
[48] Neu, J.C. (1990) - Kinks and the minimal surface equation in Min-
kowski space, Physica D 43 (421-434).
[49] Palis, J. (1989) - Sistemas ca oticos ou turbulentos: atratores e bi-
furca c oes homoclnicas, Matematica Universitaria, 9/10, SBM.
[50] Pati no, J. (1987) - Introdu cao `a Teoria da Elasticidade, 16
o
Coloquio
Brasileiro de Matematica, CNPq.
[51] Reed, M. & Simon, B. (1975) - Methods of Modern Mathematical-
Physics, vol 1, Academic-Press.
[52] Rudin, W. (1976) - Principles of Mathematical Analysis, third edition,
McGraw-Hill.
[53] Saldanha, N. & Tomei, C. (1989) - Problema 25, Matematica Uni-
versitaria 9/10, SBM.
[54] Sanchez-Palencia, E. (1980) - Nonhomogeneous Media and Vibra-
tion Theory, Lecture Notes in Physics, 127 Springer-Verlag, Berlin.
[55] Sotomayor, J. (1979) - Li coes de Equa coes Diferenciais Ordinarias,
IMPA (Projeto Euclides).
[56] Spivak, M. (1968) - Calculus on Manifolds, The Benjamin/Cummings
Publishing Company.
[57] Spivak, M. (1979) - A Comprehensive Introduction to Dierential Geo-
metry, vol 5, Publish or Perish.
[58] Stein, E. (1970) - Singular Integrals and the Dierentiability Proper-
ties of Functions, Princeton Univ. Press.
[59] Tartar, L. (1983) - The compensated compactness method applied to
systems of conservation laws, Systems of Nonlinear PDE (J. Ball, ed.),
Reidel, Dordrecht.
REFER

ENCIAS BIBLIOGR

AFICAS 157
[60] Temam, R. (1978) - Navier-Stokes Equation, North-Holland, Amster-
dam.
[61] Van Dyke, M. (1982) - An Album of Fluid Motion, The Parabolic
Press, Stanford, California.
[62] Van Dyke, M. (1964) - Perturbation Methods in Fluid Mechanics,
Academic Press, New York.
[63] Warner, F. (1983) - Foundations of Dierential Manifolds and Lie
Groups, Springer-Verlag.
[64] Whitham, G (1974) - Linear and Nonlinear Waves, John Wiley &
Sons.