Professional Documents
Culture Documents
Felipe ACKER
Departamento de Matemtica Aplicada
Instituto de Matemtica
Universidade Federal do Rio de Janeiro
Caixa Postal 68530
21945-970 Rio de Janeiro Brazil
email: acker@ufrj.br
6 de abril de 2009
2
Nuestro hermoso deber es imaginar que hay un laberinto y un
hilo. Nunca daremos con el hilo, acaso lo encontramos y lo perdemos en un acto de fe, en una cadencia, en el sueo, en las palabras que se llaman filosofa, o en la mera y sencilla felicidad.
Jorge Luis Borges
Sumrio
I
INTEGRAIS MLTIPLAS
1 INTRODUO
a
Sobre a definio . . . . .
b
Critrio de integrabilidade
c
Integrais iteradas . . . . .
d
Mudanas de variveis . .
e
Integral e convergncia . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
11
13
15
20
2 DEFINIO DE INTEGRAL
23
27
4 INTEGRAIS ITERADAS
33
35
6 MUDANAS DE VARIVEIS
45
7 INTEGRAIS IMPRPRIAS
57
8 EXERCCIOS E APLICAES
59
a
Integrais de Superfcie . . . . . . . . . . . . . . . . . . . . . . 59
b
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
9 INTEGRAIS E CONVERGNCIA
69
a
Convergncia Uniforme . . . . . . . . . . . . . . . . . . . . . . 69
b
Regularizao . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3
II
SUMRIO
79
10 INTRODUO
a
Campos Conservativos e Integrais de Linha . . . . . . . .
b
Integrais de Superfcie . . . . . . . . . . . . . . . . . . .
c
O Teorema de Kelvin . . . . . . . . . . . . . . . . . . . .
d
A variao de ngulo . . . . . . . . . . . . . . . . . . . .
e
O Teorema de Gauss-Ostrogradski . . . . . . . . . . . . .
f
O Campo . . . . . . . . . . . . . . . . . . . . . . . . .
g
Pausa para Reflexo : Ser que tudo um Teorema s ?
.
.
.
.
.
.
.
83
83
87
91
96
101
106
110
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
. 115
. 119
. 121
. 124
11 OS
a
b
c
d
12 OS
a
b
c
TEOREMAS
129
Kelvin-Green . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
Gauss-Ostrogradski . . . . . . . . . . . . . . . . . . . . . . . . 132
Um outro ponto de vista . . . . . . . . . . . . . . . . . . . . . 135
13 OS
a
b
c
d
INTEGRANDOS
Campos de vetores e 1-formas .
Formas Diferenciais . . . . . . .
A notao de formas diferenciais
Campos . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
137
. 137
. 143
. 148
. 153
14 A DERIVADA
a
A divergncia e a densidade de fluxo
b
O rotacional . . . . . . . . . . . . . .
c
Uma nova derivada . . . . . . . . . .
d
O Teorema do Valor Mdio . . . . . .
e
O Teorema de Green revisitado . . .
f
O Pullback . . . . . . . . . . . . . .
g
A Derivada Exterior . . . . . . . . .
h
Green, Kelvin, Ostrogradski e Gauss
i
A dualidade entre formas e cadeias .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
157
157
158
160
163
169
171
172
175
179
SUMRIO
j
15 APLICAES
a
ndice de uma Curva . . . . . . . . . . . . . .
b
Funes de Varivel Complexa . . . . . . . . .
c
O Teorema de Brouwer . . . . . . . . . . . . .
d
Algumas Questes Topolgicas . . . . . . . . .
e
Homologia Homotopia . . . . . . . . . . . .
f
O Operador de Laplace . . . . . . . . . . . . .
g
Difuso . . . . . . . . . . . . . . . . . . . . .
h
Funes Harmnicas e a Equao de Laplace .
i
O problema de Dirichlet na Bola . . . . . . . .
j
Mecnica dos Fluidos . . . . . . . . . . . . . .
k
O rotacional e as rotaes . . . . . . . . . . .
l
A decomposio de um campo de velocidades
m Sistemas Hamiltonianos . . . . . . . . . . . .
n
Equaes de Maxwell . . . . . . . . . . . . . .
III
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
FORMAS DIFERENCIAIS
16 INTRODUO
a
Cenas de Captulos Anteriores
b
Os Objetos e os Integrandos .
c
A Derivada Exterior . . . . .
d
O Teorema de Stokes . . . . .
.
.
.
.
.
.
.
.
187
. 187
. 189
. 195
. 198
. 204
. 212
. 217
. 220
. 225
. 233
. 236
. 237
. 238
. 243
251
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
253
. 253
. 254
. 259
. 262
17 O TEOREMA DA DIVERGNCIA
267
a
(N-1)-Formas em IRN . . . . . . . . . . . . . . . . . . . . . . 267
b
O Bordo do Cubo . . . . . . . . . . . . . . . . . . . . . . . . . 268
c
O Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
18 PEQUENA PAUSA PARA REFLEXO
273
19 O PULLBACK
275
20 O BORDO
277
SUMRIO
Parte I
INTEGRAIS MLTIPLAS
Captulo 1
INTRODUO
A funo destes captulos iniciais, dedicados integral de funes de IRN em
IR, tornar o texto auto-suficiente (se que isto pode existir), do ponto de
vista do Clculo Integral. Um resumo da histria apresentado nos pontos
a., b., c., d. e e. desta introduo . A construo da integral de Riemann
para funes de mais de uma varivel (que no traz grandes novidades do
ponto de vista terico para quem j lidou com o caso de uma varivel) ser
tratada no ponto a.. Nos pontos b., c. e d. comentaremos trs resultados
fundamentais, que sero desenvolvidos mais frente: o critrio de integrabilidade (de Riemann-Du Bois Reymond-Lebesgue-Vitalli), o teorema sobre
integrao iterada (princpio de Cavalieri, dito teorema de Fubini) e a frmula
de mudana de variveis (de Jacobi). No ponto e. discutimos a possibilidade
de "derivar dentro do sinal de integral"(regra de Leibniz).
Sobre a definio
10
CAPTULO 1. INTRODUO
1
9
2
4
3
6
7
5
() se i 6= j, ento i j vazio.
Podemos ento definir, associadas a cada subdiviso s de B, duas aproximaes para a integral de f sobre B:
U (f, s) =
sup f ()(),
L(f, s) =
inf f ()(),
B. CRITRIO DE INTEGRABILIDADE
11
Critrio de integrabilidade
12
CAPTULO 1. INTRODUO
b2
X
B
b1
a2
a1
Z
f=
f.
B
C. INTEGRAIS ITERADAS
13
n=1 n
P
() n=1 (n ) < .
O critrio de integrabilidade de Lebesgue, que demostraremos mais frente,
o seguinte: f integrvel se e somente se o conjunto D de seus pontos de
descontinuidade de medida nula.
Integrais iteradas
b1
f=
[a1 ,b1 ][a2 ,b2 ]
2
a1
Z
(
b2
a2
14
CAPTULO 1. INTRODUO
f (x1 , x2 )
R
[a1 ,b1 ][a2 ,b2 ]
Rb
2
a2
a1 a2
R
b1
a1
f =
f (x1 , x2 ) dx1 dx2
b2
x2
b1
x1
rea S(h)
V =
volume V
RH
0
S(h) dh
(X) =
s(t) dt ?
D. MUDANAS DE VARIVEIS
15
f
t0
t0 + t
x0
x0 + x
Mudanas de variveis
f (x) dx =
f ((t)) dt,
f ((t)) dt
aproximada por retngulos de base t e altura f ((t0 )), aos quais correspondem, em
16
CAPTULO 1. INTRODUO
f (x) dx,
a
(t0 + t) (t0 )
t,
t
obtemos
(t0 + t) (t0 )
t,
t
o que um razovel argumento a favor da frmula
f (x0 ) x = f ((t0 ))
f (x) dx =
a
f ((t)) 0 (t) dt
D. MUDANAS DE VARIVEIS
17
A
x
x + x
(x)
(x + x)
(x)
x
(Q)
= (x) + 0 (x)(Q)
()
c = (B)
18
CAPTULO 1. INTRODUO
()
x0
t0
limh0
(h)
= 0.
|h|
a
rea de ()
a
rea de
= lim0
,
a
rea de
a
rea de
onde o lado de .
Comparar as reas de () e no tarefa simples, j que nenhum dos dois
conjuntos est, em princpio, contido no outro. Comecemos notando que os
elementos das fronteiras respectivas so da forma
x0 + 0 (t0 )h, para ,
e
(t0 + h) = x0 + 0 (t0 )h + (h), para (),
D. MUDANAS DE VARIVEIS
19
2
1
(t0 )
t0
(t0 + )
t0 +
,
a
rea de
a
rea de
a
rea de
com
lim0
a
rea de 2
= 1,
a
rea de 1
o que justifica
3
20
CAPTULO 1. INTRODUO
lim0
a
rea de
a
rea de ()
= lim0
.
a
rea de
a
rea de
Tendo reduzido nosso problema ao caso linear, podemos concluir que o fator
de correo que procuramos o valor absoluto do determinante de 0 (t0 )
(conhecido como jacobiano de e notado J (t0 )). Ou seja,
Z
Z
f |J |.
f=
B
(B)
Integral e convergncia
Suponhamos dada
f : IR [a, b] IR
diferencivel e faamos, para x em IR,
Z
g(x) =
f (x, y)dy.
a
g (x) = lim
h0
f (x + h, y) f (x, y)
dy,
h
E. INTEGRAL E CONVERGNCIA
21
f (x + h, y) f (x, y)
dy =
h
a
Z b
Z b
f
f (x + h, y) f (x, y)
lim
dy =
(x, y)dy.
=
h
a x
a h0
Z
g (x) = lim
h0
f
(x, y).
h0
x
Assim, a questo que se nos coloca a seguinte: se h (y) (y) y
[a, b], podemos afirmar que
lim h (y) =
Z
h (y)dy
(y)dy?
a
22
CAPTULO 1. INTRODUO
Captulo 2
DEFINIO DE INTEGRAL
Um bloco N -dimensional um produto cartesiano de N intervalos fechados
no degenerados (N 1).
Se B = [a1 , b1 ] [aN , bN ] ento a medida de B (tambm chamada
volume, rea ou comprimento, em alguns casos) notada por (B) e
definida por
(B) = (b1 a1 )(b2 a2 ) (bN aN )
( claro que (B) = b1 a1 se N = 1).
Se B = [a, b], uma partio de B um subconjunto finito de [a, b] contendo
a e b, geralmente notado por {a0 , . . . , an }, sendo
a = a0 < < an = b
(os intervalos [ai1 , ai ] so chamados subintervalos da partio).
Se B = [a1 , b1 ] [aN , bN ] chamaremos de partio de B um produto
cartesiano P = P1 PN , onde cada Pi uma partio de [ai , bi ] (os
produtos cartesianos dos subintervalos das Pi sero chamados sub-blocos
de P ). Convencionemos ainda chamar de S(P ) o conjunto dos sub-blocos de
P e de p(B) o conjunto das parties de B.
Seja agora f : B IR limitada (onde B um bloco N -dimensional). Se P
uma partio de B definiremos a soma superior e a soma inferior de f
associadas a P por, respectivamente,
P
U (f, P ) = S(P ) sup f ()()
e
P
L(f, P ) = S(P ) inf f ()()
.
23
24
R
R
Quando B f = B f , este valor chamado integral de f sobre B, e f
dita integrvel Riemann.
Exerccio : Sejam B bloco em IRN e f : B IR limitada. Mostre que f
integrvel se e s se > 0 P p(B) | U (f, P ) L(f, P ) < .
Exerccio : Prove tudo que lhe parecer importante ou necessrio sobre integral.
Em particular, prove que o conjunto das funes Riemann-integrveis em B um
R
espao vetorial, digamos R(B), e que B : R(B) IR linear.
Definimos integral superior, integral inferior e, quando for o caso, integral de f sobre X por
Z
Z
Z
Z
Z
Z
f= f ,
f= f e
f=
f
X
Se X tal que
1 : X IR
x 7 1
integrvel, ento X dito Jordan-mensurvel (J-mensurvel). A medida de X definida por
Z
(X) =
1
X
25
Observao : A classe dos conjuntos J-mensurveis ainda insuficiente para
uma boa teoria da medida. No partiremos na direo de estender at
onde for possvel a classe dos conjuntos que podem ser medidos, mas consideraremos aqui um exemplo clssico. Seja X = Q
I [0, 1]. fcil provar
que X no J-mensurvel (se achar que no, faa-o). Por outro lado, sendo
X enumervel, podemos, qualquer que seja > 0, encontrar uma
S seqncia (n )nIN de intervalos fechados no degenerados com X nIN n e
P
nIN (n ) < . Isto nos indica que X poderia perfeitamente ser considerado como tendo medida igual a zero.
Exerccio :
x em B.
R
B
f > 0.
|P |0
sendo |P | a norma da partio P , definida como o maior dentre os comprimentos dos sub-intervalos das parties Pi , com P = P1 . . . PN . O limite
deve ser entendido no seguinte sentido:
Z
> 0 > 0 | |P | < |S(f, P, )
f | < .
B
26
Captulo 3
CONJUNTOS DE MEDIDA
NULA
Investiguemos agora o alcance e o limite da definio precedente, e
coloquemo-nos esta questo: em que casos uma funo suscetvel de
integrao ? em que casos no o ?
Bernhard Riemann
Exerccio : Seja B IRN um bloco e seja f : B IR contnua
(i) Prove que f integrvel
(ii) Sejam x0 B, c IR e f1 : B IR dada por
f (x) , x 6= x0
f1 (x) =
c , x = x0
R
R
Mostre que f1 integrvel e B f1 = B f .
,
R
B
g=
R
B
f.
(iv) Observe que (ii) e (iii) valem mesmo se f no contnua, mas apenas integrvel.
(v) Observe que todo conjunto finito J-mensurvel e tem medida igual a zero.
27
28
: [0, 1] IR
(x) =
dada
por
0, x irracional ou zero
p
1
q , x = q irredutivel , p, q IN
.
(B)
29
Se f no contnua, porm, no podemos tomar P tal que os sup f ()
inf f () sejam todos to pequenos quanto se queira. A soluo introduzir
uma medida de quo descontnua f : a oscilao de f a funo Of :
B IRN dada por
Of (x) = lim [sup f (B (x)) inf f (B (x))]
0+
Lema: Sejam B bloco em IRN e f : B IR limitada. Ento f Riemann integrvel se e somente se para todo positivo o conjunto X = {x
B, Of (x) } J-mensurvel e (X = 0.
Demonstrao :
(i) Se para algum > 0 X no for J-mensurvel com (X ) = 0, ento existe
> 0 tal que toda coleo finita {B1 , . . . , Bn } de blocos cobrindo X tal que
(B1 ) + + (Bn ) . Da segue U (f, P ) L(f, P ) para todo P em p(B),
e f no ser integrvel.
(ii) Suponhamos agora que para todo > 0 X J-mensurvel com (X ) = 0.
Observe que isto significa que para todo > 0 se podem tomar blocos B1 , . . . , Bn
Considere X 2(B)
= {x B, Of (x) 2(B)
}. Observe ento que para cada x em
existe um bloco Bx tal que x B x e sup f (Bx ) inf f (Bx ) < 2(B)
. Por
B\X 2(B)
30
Pm
< M. 2M
+
2(B) .(B)
O resultado acima devido a Du Bois-Reymond (seguindo a linha de investigao aberta por Riemann). Observemos agora o seguinte: se (Xn )nIN
uma famlia enumervel de subconjuntos de IRN , todos J-mensurveis e tais
que (Xn ) = 0 para todo n, ento, dado 0 qualquer, podemos achar,
para cada n em IN , uma coleo finita {Bn1 , . . . , Bnin } de blocos tal que
(i) Xn Bn1 Bnin
(ii) (Bn1 ) + + (Bnin ) <
2n+1
S
Da segue que se X= nIN Xn , ento existe uma famlia enumervel (Bn)nIN
tal que
S
(i) P
X nIN Bn
(ii)
n=1 (Bn ) < .
Definio : X IRN dito de medida nula se para todo > 0 existe uma
famlia enumervel (Bn )nIN de blocos tal que
S
(i) X
P nIN Bn
(ii)
n=1 (Bn ) <
Exerccio : Mostre que se (Xn )nIN uma famlia enumervel de conjuntos de
medida nula, ento X = nIN Xn de medida nula. Em particular, todo conjunto
enumervel de medida nula.
31
Observao : costume chamar os conjuntos J-mensurveis de medida
zero de conjuntos de contedo nulo. Os conjuntos de medida nula acima
definidos podem no ser J-mensurveis (so, na realidade, Lebesgue-mensurveis)
Observe agora o seguinte:
(i) Se f : BS IRN dada e pomos Xf = {x B, f descontnua em x},
ento Xf = nIN Xn , onde Xn = {x B, Of (x) n1 }
(ii) Para todo > 0 o conjunto X = {x B, Of (x) } fechado (e
portanto compacto).
(iii) Se X compacto e de medida nula, ento X J-mensurvel (e (X) =
0).
Da segue:
Teorema de Lebesgue:1 Se B um bloco N -dimensional e f : B IR
limitada, ento f Riemann-integrvel se e somente se o conjunto de seus
pontos de descontinuidade de medida nula.
Exerccio : Sejam X IRN e f : X IR limitados. Mostre que
(i) X J-mensurvel se e s se X (fronteira de X) tem medida nula.
(ii) Se X J-mensurvel
R
R e f integrvel, ento todo Y com X Y X Jmensurvel e Y f = X f (onde f uma extenso limitada qualquer de f| a
X
Y ).
(iii) Se X um bloco, f contnua e g : X IR limitada e tal que {x
X, f (x) 6= g(x)} tem medida nula, podemos ter g no integrvel.
(iv) Motre que se f integrvel e Y X J-mensurvel, ento f|Y integrvel.
Exerccio : Mostre que o conjunto de Cantor tem medida nula. Mostre, modificando adequadamente sua construo, que existem conjuntos compactos de interior
vazio e que no tm medida nula. Conclua que existem abertos limitados que no
so J-mensurveis.
Exerccio : Mostre que se M < N , A IRM e f : A IRN de classe C 1 , ento
f (A) tem medida nula.
Exerccio : Prove o que mais lhe parecer interessante ou necessrio.
1
32
Captulo 4
INTEGRAIS ITERADAS
Exerccio : Seja f : [0, 1] [0, 1] IR, f (x, y) = 0, se x 6 Q
I ou y 6 Q
I e
p
1
f (x, y) = q se x = q frao irredutvel e y Q.
I Mostre que f integrvel mas,
sendo x (y) = f (x, y), o conjunto dado por
{x [0, 1] | x : [0, 1] IR e integr
avel}
no J-mensurvel.
Melhor fazer:
TEOREMA (dito de Fubini1 : Sejam B1 IRM e B2 IRN dois blocos.
Seja f : B1 B2 IR integrvel. Seja, para cada x em B1 ,
x : B2 IR
y 7 f (x, y)
Seja : B1 IR definida por (x) = qualquer coisa entre
Ento integrvel e
1
R
B2
x e
R
B2
x .
33
34
Z
=
B1
f
B1 B2
Demonstrao :
R
R
x , 2 (x) =
Podemos considerar 1 , 2 : B1 IR, 1 (x) =
B2 x .
B2
R
R
R
R
Basta ento provar que B1 B2 f B1 2
1
f.
B1
B1 B2
Como a desigualdade
do Rmeio bvia e as outras duas so equivalentes, provaremos
R
apenas que B1 B2 f B1 2 .
Sejam P1 partio de B1 e P2 partio de B2 . Seja P = P1 P2 .
Observando que cada sub-bloco em S(P ) produto cartesiano de 1 S(P1 )
por 2 S(P2 ), temos
P
U (f, P ) = S(P ) sup f ()() =
P
P
sup
f
(
)(
)
(1 )
= 1 S(P1 )
1
2
2
2)
2 S(PP
P
1 S(P1 ) supx1 2 S(P2 ) sup f ({x} 2 )(2 ) (1 ) =
P
= 1 S(P1 ) supx1 U (x , P2 ) (1 )
R
P
1 S(P1 ) supx1 B2 x (1 ) =
R
= U (2 , P1 ) 1 2 .
O resultado segue imediatamente
Captulo 5
FORMAS ALTERNADAS E O
DETERMINANTE
O melhor que podemos fazer para evitar o vexame de cobrir A por retngulos imitar a demonstrao da Geometria (que um pouco menos simples
do que parece) ou usar os teoremas de Fubini e Fundamental do Clculo (e
considerar todos os casos possveis).
35
36
~u + ~v
u2 + v2
v2
~v
u2
~u
u1
v1
u1 + v1
(A)
(X)
37
T
T (A)
T e2
e2
T e1
e1
ek , k 6= i, j
ei , k = j
T ek =
,
ej , k = i
mostre que (T (A)) = (A) para todo A IRN J-mensurvel.
(iii) Se existem i e j tais que
ek , k 6= i
T ek =
,
ei + ej , k = i
38
39
azul
vermelho
zul
no tm a mesma orientao.
(iv) Mostre que as bases e de (ii) tm a mesma orientao se e somente se
existe uma aplicao contnua f : [0, 1] E tal que f (0) = u, f (1) = w e
(v1 , . . . , vi , f (t), vi+1 , . . . , vN ) linearmente independente para todo t em [0, 1].
40
Exerccio: Mostre que "ter a mesma orientao " uma relao de equivalncia no
conjunto das bases de E.
Exerccio: Seja m2 : IR2 IR2 IR como definida h pouco. Seja 2 : IR2 IR2
IR dada por 2 (u, v) = 0 se u e v so linearmente dependentes, 2 (u, v) = m2 (u, v)
se (u, v) tem a mesma orientao que (e1 , e2 ) e 2 (u, v) = m2 (u, v) se (u, v) no
tem a mesma orientao que (e1 , e2 ). Mostre que
(i) 2 (u, v) = 0 sss u e v sao linearmente dependentes
(ii) 2 (u, v) = 2 (v, u), u, v
(iii) 2 (u + w, v) = 2 (u, v) + 2 (w, v) , u, w, v
Definio : Seja E um espao vetorial sobre o corpo K. Uma forma plinear alternada (ou forma de medir coisas de dimenso p) em E uma
aplicao : E p K tal que:
(i) linear em cada coordenada e
(ii) (v1 , v2 , . . . , vp ) = 0
sempre que v1 , v2 , . . . , vp forem linearmente dependentes.
O espao das formas p-lineares alternadas em E denotado por Ap (E).
Exerccio: Seja : E p K p-linear alternada.
(i) Mostre que , de fato, alternada, isto :
(v1 , . . . , vi , . . . , vj , . . . , vp ) = (v1 , . . . , vj , . . . , vi , . . . , vp )
para quaisquer v1 , . . . , vp em E.
Exerccio: Suponha que K tal que 1 + 1 = 0. Mostre que possvel a existncia
de : E p K linear em cada coordenada e satisfazendo condio do exerccio
anterior, mas sem que (v1 , . . . , vp ) = 0 sempre que {v1 , . . . , vp } for linearmente
dependente.
Exerccio: Mostre que se dimE
=
N , ento o espao das formas p-lineares alterN
nadas de E tem dimenso
.
p
Exerccio: Mostre que toda forma p-linear definida em um espao de dimenso
finita sobre um subcorpo de CI contnua.
41
Exerccio: Sejam E um espao vetorial de dimenso k e uma forma k-linear
alternada em E. Mostre que so equivalentes:
a) identicamente nula;
b)existe base v1 , . . . , vk de E tal que (v1 , . . . , vk ) = 0;
c)para toda base v1 , . . . , vk de E se tem (v1 , . . . , vk ) = 0.
Exerccio: Sejam E um espao real de dimenso N +1 e uma forma (N +1)-linear
alternada em E. Suponha que no identicamente nula. Mostre que duas bases
ordenadas
(v1 , . . . , vi , u, vi+1 , . . . , vN ) e (v1 , . . . , vi , w, vi+1 , . . . , vN )
tm a mesma orientao se e somente se
(v1 , . . . , vi , u, vi+1 , . . . , vN ) e (v1 , . . . , vi , w, vi+1 , . . . , vN )
tm o mesmo sinal.
42
Note ainda que nossa construo do determinante no utiliza o fato de estarmos trabalhando com espaos vetoriais reais. Podemos, portanto consider-lo
43
definido em espaos vetoriais quaisquer de dimenso finita (inclusive sobre
C).
I
Recordamos que se E um espao (de dimenso finita) com produto interno
h, i e T : E E linear, a adjunta de T , T , definida por
hT u, vi = hu, T vi u, v E
Exerccio: Mostre que T est bem definida e linear. Mostre que (ST ) = T S
1
e que (T 1 ) = T . Mostre que (S + T ) = S + T .
Exerccio: Mostre que detT = detT (a barra indica conjugao complexa). Sugesto: escreva T como produto de transformaes lineares elementares.
Exerccio: Mostre que se U preserva produto interno ento | detU | = 1.
Ao leitor que s conhecia a tradicional definio de determinante para matrizes quadradas e que eventualmente esteja entusiasmado com a simplicidade
da definio que apresentamos, observamos que as dificuldades inerentes a
esta
escamoteadas sob forma de um inocente exerccio : dimAp (E) =
foram
N
, onde N a dimenso de E. Nosso objetivo aqui menos enfrentar
p
estas dificuldades, mas, principalmente, tirar o conceito de determinante de
um quadro puramente algbrico. Assim, do ponto de vista que adotamos,
a frmula det(AB) = detA.detB intuitivamente bvia (do ponto de vista
geomtrico). J a frmula detA = detA, intuitivamente bvia do ponto de
vista algbrico, deixou de s-lo ao adotarmos um ponto de vista geomtrico.
PROBLEMA: Encontre uma forma de tornar intuitivamente bvia, do ponto de
vista geomtrico, a frmula detA = detA.
44
Captulo 6
MUDANAS DE VARIVEIS
A esta altura j devemos estar convencidos dos seguintes fatos:
(i) Se T : IRN IRN linear e Q = [0, 1]N , ento T (Q) J-mensurvel e
(T (Q)) =| detT |.
(ii) Se T : IRN IRN linear e A IRN J-mensurvel, ento T (A)
J-mensurvel e (T (A)) =| detT | (A).
A partir da devemos ser capazes de concluir que se um difeomofismo
C 1 entre A e (A) e f : (A) IR integrvel, ento f : A IR
integrvel e
Z
Z
f | J |
f=
(A)
46
nao nos fornece a prova de que toda transformao linear de IRN em IRN
produto de transformaes de um dos seguintes tipos:
ei , i 6= j, k
ek , i = j ,
(i) T ei =
i = 1, . . . , N
ej , i = k
ei , i 6= j
(ii) T ei =
,
i = 1, . . . , N
ej , i = j
ei , i 6= j
(iii) T ei =
,
i = 1, . . . , N
ej + ek , i = j
Exerccio: Mostre que podemos fazer o mesmo com transformaes dos seguintes
tipos:
ei , i 6= 1, k
e , i = 1,
a) T ei =
,
k
e1 , i = k
e1 , i = 1
,
b) T ei =
ei ,
i 6= 1
ei ,
i 6= 1
,
c) T ei =
e1 + ej , i = 1
ou dos seguintes tipos:
PN
d) T ei =
j=1 j ej ,
ei ,
i=1
i 6= 1
a)
Examinando as transformaes dos tipos (i), (ii) e (iii) acima, vemos facilmente que, sendo Q = [0, 1]N , temos (T (Q)) = 1 se T do tipo (i) (e
detT = 1) e (T (Q)) =| | se T do tipo (ii) (e detT = ). Quanto
ao tipo (iii), podemos aplicar-lhe o Fubini e mostrar que (T (Q)) = 1 (e
detT = 1).
Assim, com uma tacada de lgebra Linear, conseguimos escapar das rotaes
e enunciar:
Lema 1: Se T : IRN IRN linear e A IRN J-mensurvel, ento T (A)
J-mensurvel e (T (A)) =| detT | (A).
Demonstrao :
47
Comecemos provando que basta demonstrar o Lema para Q = [0, 1]N .
Se T no sobrejetiva no h nada a demonstrar. Suponhamos ento que T um
isomorfismo e que (T (Q)) =| detT |.
Seja iA a funo caracterstica de A, dada por iA (x) = 1 se x A e iA (x) = 0
se x 6 A (escolha um bloco B contendo A para domnio de iA ). Da mesma forma,
considere iT (A) = iA T 1 .
A idia agora fazer um sanduche de iT (A) entre duas funes que sabemos integrar. Considere uma partio P de B tal que U (iA , P ) L(iA , P ) < . Sejam
S1 (P ) o conjunto dos sub-blocos de P que interceptam A e S2 (P ) o conjunto dos
que esto contidos em A. Sejam
X
X
f1 =
i ,
f2 =
i
S1 (P )
S2 (P )
Temos f1 iA f2 e
R
R
P
P
U (iA , P ) = f1 = S1 (P ) i = S1 (P ) () ,
R
R
P
P
L(iA , P ) = f2 = S2 (P ) i = S2 (P ) ()
Mas se (T (Q)) =| detT | (Q), imediato que a mesma relao vale para qualquer
bloco. Temos ento i T 1 integrvel qualquer que seja o bloco (aberto, semiaberto ou fechado) e, portanto, f1 T 1 e f2 T 1 integrveis, com
f1 T 1 iA T 1 = iT (A) f2 T 1
Mas
Z
f1 T 1 =
X Z
i T 1 =
S1 (P )
f2 T 1 =
S1 (P )
X Z
S2 (P )
i T 1 =| detT | L(iA , P )
48
(x0 )
x0
(x0 + )
x0 +
]0, 0 ] .
]0, 0 ]
Supondo verdadeiras as afirmaes acima, devemos ainda juntar pedacinhos, o que leva a crer que seja necessria alguma hiptese de compacidade.
Lema 2: Sejam A, B IRN abertos : A B um difeomorfismo de classe
C 1 . Se K A compacto, ento , para qualquer r1 ; r2 com 0 < r1 < 1 < r2 ,
existe 0 > 0 tal que, sendo x0 K E = [, ]N , 0 < 0 , temos
x0 + A e
(x0 ) + 0 (x0 )(r1 ) (x0 + ) (x0 ) + 0 (x0 )(r2 ) .
Demonstrao :
Sendo K compacto e A aberto, podemos garantir que existe 1 > 0 tal que x0 +
[, ]N A para todo x0 em K. Podemos tambm garantir que existe R > 0 tal
que
0 (x0 )([1, 1]N ) B R (0) x0 K
(vamos fixar desde j R = maxxK k 0 (x0 )1 k)1 ) .
49
0 (x0 ) [(r2 1), (r2 1)]N
(r2 1)R
x0 + [, ]N
x0
0
0 (x0 ) [, ]N
(x0 , 0) = 0
h
x0 K ,
temos, pela compacidade de K {0}, que, dado > 0 existe 2 > 0 (com 2 1 )
tal que
k
(x0 , h) k< h [2 , 2 ]N
h
Nestas condies, teremos, para h [, ]N , 0 < 2 ,
| (x0 , h) | | h |
50
0 (x0 )1 (x0 , h)
x0 + [r1 , r1 ]N
x0
x0 + [, ]N
h (x0 , h)
k . | h1 h2 |
(R j definido, 3 anegociar).
Podemos tomar 3 > 0 tal que R1 maxK[3 ,3 ]N k
tal que
h (x0 , h)
max
K[3 ,3
]N
(x0 , h) k< 1 r1
h
51
Segue ento, se k 0 (x0 )([r1 , r1 ]N ), que F uma contrao forte em [, ]N
(sempre que 0 < 3 ). Logo, existe
h [, ]N com (x0 + h) = (x0 ) + k
Teorema de Jacobi: Sejam A, B abertos IRN e : A B um difeomorfismo de classe C 1 (isto , uma bijeo de classe C 1 tal 0 (x)
isomorfismo, para todo x EM A). Se K A compacto e f : (K) IR
tal que f | J | integrvel, ento f integrvel e
Z
Z
f | J | .
f=
K
(K)
Demonstrao :
Considere r1 , r2 > 0 com r1 < 1 < r2 . Tome 0 > 0 tal que
(x0 ) + 0 (x0 )([r1 , r1 ]N ) (x0 +] , [N )
(x0 + [, ]N ) (x0 ) + 0 (x0 )([r2 , r2 ]N )
x0 K
52
R(Pn ) (sup
f ) | J (x ) | ()
(onde x o centro de ).
S
Seja n = supR(Pn ) sup || J | | J (x ) ||. Como R(Pn ) K1 , temos
que limn n = 0 (K1 compacto | J | uniformemente contnua). Segue
i
hP
R
N
f
r
sup(f
|
J
|)()
+
sup
|
f
|
(B)
=
n
2
R(Pn )
(K)
= r2N (U (f | J |, Pn ) + n sup | f | (B))
Fazendo n , temos
Z
f
(K)
r2N
Z
f | J |
K
r1N
r1N
P
R(Pn ) (inf
f ) | J (x ) | ()
inf
(f
|
J
(x
)
|)()
sup
|
f
|
(B)
,
n
R(Pn )
53
de onde conclumos, com n , que
Z
Z
N
f r1
f | J |
(K)
f (x)
=
f (x), f (x) 0
0,
f (x) > 0 ,
54
Os exerccios acima tapam os buracos da demonstrao e explicam as hipteses do Teorema. Passemos agora a outro tipo de comentrio. Nossa
demonstrao boa, por ser geomtrica, mas pode ser simplificada.
Simplificao :
Retome a demonstrao no final de (ii). Fazendo r2 1, temos
Z
Z
f
f | J |
(K)
(K)
(K)
55
Aproveitemos a linha de idias do Lema 2 e demonstremos a parte fcil (mas
ainda assim til) do Teorema de Sard.
Teorema de Sard (parte fcil): Sejam A aberto em IRN e : A IRM
de classe C 1 , N M . Seja D = {x A | 0 (x) no sobrejetiva }. Ento
(D) um conjunto de medida nula.
Demonstrao :
Observe, inicialmente, que a continuidade de 0 garante que D fechado em A.
Como A unio de uma famlia enumervel de compactos, basta provar que se
K D compacto, ento (K) de medida nula.
A demonstrao est baseada no seguinte fato: se X est contido em um subespao
de dimenso M 1 de IRM e seu dimetro menor ou igual a d, ento o conjunto
X = {y IRM , x X com | y x |< } est contido em um conjunto de
medida 2M (d + )M 1 (demonstrao: rode X at ficar contido em IRM 1 {0};
X cair dentro de um cubo de IRM 1 {0} de aresta 2d, X dentro de um bloco
da forma [a1 , a1 + 2d + ] [aM 1 , aM 1 + 2d + ] [, ], cuja medida
2M (d + )M 1 ).
A idia agora estender esta afirmativa local a conjuntos compactos.
Seja ento K D compacto. Escreva
(x + h) (x) 0 (x)h = (x, h)
Como h
(x, 0) = 0 para todo x em D, temos (K compacto) que dado > 0
existe > 0 tal que
| h | | (x, h) |< | h |
x K .
Podemos ento, dado > 0, cobrir K por uma coleo {C1 , . . . , Cn } de cubos de
mesmo dimetro (< ) e tal que (C1 ) + + (Cn ) V , onde V um nmero
fixo independente de (V pode ser a medida de um cubo contendo K), todos os
Ci dentro de K1 compacto, K1 A.
Da segue que se x Ci , temos x = xi + h (xi = centro de Ci ) com | h |< e,
portanto,
(x) = (xi + h) = (xi ) + 0 (xi )h + (xi , h)
Seja agora L = maxK1 | 0 |. Ento 0 (xi )h est em subconjunto de um espao de
dimenso M 1 e dimetro menor que L. Como | (xi , h) |< , temos que (Ci )
est contido em um conjunto de medida inferior a
2M (L + )M 1 = 2M (L + ) M .
56
c8
c12
c13
c9
c10
c11
K
c4
c5
c6
c7
c1
c2
c3
S
Como N M e podemos supor < 1, temos que (K) ni=1 (Ci ) e cada (Cn )
est contido
em um conjunto de medida inferior a 2M (L + ) N . Assim, como
P
V
(Ci ) n N , temos que (K) est contido em um conjunto de medida
inferior a 2M (L + )V . Como arbitrrio e V e L so fixos, (K) de medida
nula.
Problema: A concluso do teorema de Sard vale se N > M ?
Captulo 7
INTEGRAIS IMPRPRIAS
Nossa definio de integral excluiu liminarmente de considerao duas classes
de funes perfeitamente honradas: as ilimitadas e aquelas, limitadas ou no,
cujos domnios de definio no so limitados. Trataremos agora de eliminar
tais restries .
Exerccio : Sejam X IRN limitado e f : X IR limitada. Sejam f + ,
f : X IR dadas por
f (x), f (x) 0
f (x), f (x) 0
.
e
f (x) =
f + (x) =
0, f (x) > 0
0, f (x) < 0
Mostre que f integrvel se e somente se f + e f so integrveis.
[R,R]N
58
so integrveis). Definimos
Z
f=
X
f .
Captulo 8
EXERCCIOS E APLICAES
Os exerccios e aplicaes abaixo so qualitativamente diferentes, em sua
maioria, dos que foram includos nos pargrafos anteriores. Aqueles tinham
carter conceitual ou terico, principalmente; estes tm um aspecto mais
clculo e procuram estimular mais a criatividade do que o rigor lgico.
Integrais de Superfcie
No vamos definir aqui o que vem a ser uma superfcie. Intuitivamente, tratase de um subconjunto de IR3 que tem dimenso 2. Superfcies sem bicos
devem ter plano tangente em cada ponto. Superfcies regulares no devem
ter auto-intersees e os planos tangentes devem variar continuamente.
superfcie com
auto-intersees
59
superfcie regular
60
v0 + v
v0
y
u0
u0 + u
u
x
Seja, pois, S IR3 uma superfcie (seja l isso o que for) e suponhamos que
existem D IR2 e : D IR3 , injetiva e de classe C 1 , com (D) = S.
Se considerarmos em D um retngulo D de vrtices (u0 , v0 ), (u0 + u, v0 ),
(u0 + u, v0 + u), (u0 , v0 + u), sua imagem S ser aproximada pelo
paralelogramo formado, a partir de (u0 , v0 ), pelos vetores u
(u0 , v0 ) e
u
(u0 , v0 ) | 1 .
v
Desta forma, dada f : S IR, sua integral (se existir e seja l o que for)
deve ser calculada por
Z
Z
|
f dS =
f |
u
v
S
D
(neste sentido, chamamos |
| de jacobiano de ).
Com estas breves consideraes, podemos dar por entendido o que vem a ser
integral de superfcie. Uma discusso sobre o conceito de supercie fica
para mais tarde; para mais tarde ainda ficam definies rigorosas de superfcie
e integral de superfcie (observe que h dificuldades: se S uma esfera, por
exemplo, no h : D IR3 injetiva e de classe C 1 com (D) = S, D IR2 ,
a menos que 1 seja descontnua).
Exerccios
B. EXERCCIOS
61
2
5) Mostre que ex dx = .
Sugesto:
12
Z
Z
Z
y 2
x2
x2
e dy
e dx =
e dx
62
N
x
projecao
cilndrica
de x
B. EXERCCIOS
63
6=
(0, 0) s [a, b] e c(a)
= c(b)
| ds = 2.
a
Seja R > 0. Para cada s [a, b] trace um crculo de raio R e centro c(s). Seja
D a regio exterior a c coberta pelos crculos. Mostre que (D) = LR + R2 ,
onde L o comprimento de c. Mostre que o mesmo resultado vale se c
64
n(s)
c(s)
B = {x IRN , | x | 1}
B. EXERCCIOS
65
F =b
F =a
D
F
F
mostre que se N a rea de S N , ento vale a frmula
N =
2
N 2
N 1
N 1
.
N
66
onde xt o centride de St , n(t) o vetor unitrio normal a RSt (n(t) pode ser
(t, x) |
escolhido de forma que F (x).n(t) 0 x St ) e (St ) = S0 | det
x
dx.
Suponha agora que, para cada t o centride xt de St seja dado por xt =
(t, x0 ) e que F ((t, x0 )) seja normal a St . Conclua que o volume varrido
pelas St
Z
(St )dS ,
c
I=
X
B. EXERCCIOS
67
N
> 0 fixos, Sk,
= {x S N , | xi | , i = 1, . . . , k}. Mostre que
N
area00 de Sk,
=1
N
area00 de S N
lim
Seja B N = {x IRN , x21 + + x2N 1}. Seja, para k inteiro, > 0 e r entre
N
2
2
2
0 e 1 fixos, AN
r,k, = {x B , | xi | , i = 1, . . . , k, r < x1 + + xN }.
Mostre que
(AN
r,k, )
=1
lim
N (B N )
Interprete probabilisticamente os resutados acima.
Sugesto : Se a rea de S N 1 dada por N 1 , mostre que a rea de
N
S1,
dada por
Z
(1 r2 )
N 1
N 2
2
dr .
N = N 1
(cos)N 1 d .
|x|
..
1
(x, y, z)
x2 +y 2 +z 2
Seja S superfcie em IR3 {(0, 0, 0)} tal que |S seja injetiva. O ngulo
slido compreendido por S (vista da origem) a rea de (S). Suponha S
parametrizada por [a1 , b1 ] [a2 , b2 ] IR3 \ {0}, de classe C 1 . Mostre que
o ngulo slido compreendido por S dado pelo valor absoluto da integral
68
S2
(S)
b1
a1
b2
a2
(s,
t).
(s,
t)
(s, t)dt ds
|(s, t)|3
s
t
Captulo 9
INTEGRAIS E
CONVERGNCIA
Convergncia Uniforme
0, x > 1/n
. Observe que para todo
n, x 1/n
R1
x em ]0, 1] existe f (x) = limn fn (x) = 0, mas limn 0 fn (x) = 1 6= 0.
69
70
Demonstrao :
Observe inicialmente que no estamos supondo que f ou as fn sejam limitadas. De
qualquer forma, se Dn o conjunto dos pontos de descontinuidade de fn e D o dos
de f , ento D nIN Dn e os Dn so de medida nula. Logo, D de medida nula.
(i) Suponhamos inicialmente que f limitada (e, portanto, fn tambm o so para
n suficientemente grande). Ento, pelo Teorema de Lebesgue, f integrvel e, se
fn tal que | fn (x) f (x) |< para todo x em X, fcil ver que
Z
Z
|
fn (x)
f (x) |< (B)
X
X fn
+
f no limitada, observe que fn
forma fn+R fR+ e fnR fR
R
X
f.
e fn f uniformemente. Da
uniformemente (recorde que se g
f+
g(x), g(x) R
). Segue, se B um bloco contendo X e fn
R, g(x) > R
tal que | fn (x) f (x) |< para todo x em X, que
Z
Z
Z
Z
+
+
positiva, gR (x) =
A. CONVERGNCIA UNIFORME
71
| fn f | (B) | fn f | .
Logo
f+ e
d
f (x, y)dy =
f (x, y)dy .
dx
x
Embora as hipteses possam ser enfraquecidas, vamos ficar no nvel elemen
f contnuas.
tar: f e x
Proposio : Sejam A aberto em IRN , K compacto em IRM e f : AK IR
contnua. Seja F : A IR dada por
Z
F (x) =
f (x, y)dy .
K
f
x
0
F (x) =
f (x, y)dy
K x
R
(observe que K x
f (x, y)dy uma integral vetorial).
Se
Demonstrao :
Fixado x0 em A e dado > 0 tal que | h |< x + h A, temos
R
1
|h| | F (x0 + h) F (x0 ) K x f (x0 , y)dyh |
1
K |h|
| f (x0 + h, y) f (x0 , y)
R
K
supB (x0 ) k x
f (x, y)
x f (x0 , y)h
x f (x0 , y)kdy
x f (x, y)
| dy
x f (x0 , y)
k ,
72
x f
em B (x0 ) K.
Suponha que a norma de E dada por |u| = supK |u| + supK |u0 | e que X aberto
em E. Mostre que J contnuo.
(iii)Se supusermos que u minimiza J em X, natural considerar as derivadas
direcionais de J em u (que devero ser todas nulas). Dado h em E, calcule a
derivada direcional de J em u na direo h e mostre que dada por
J
(u) =
h
Z
K
f
f
0
0
0
(x, u(x), u (x))h(x) + 0 (x, u(x), u (x))h (x) dx.
y
y
(iv)Mais particularmente, suponha que A um aberto em IRN e considere trajetrias ligando os pontos P0 e P1 de A, minimizando um certo funcional de ao,
dado pelo lagrangeano L:
Z
J(x) =
onde L(t, y, y)
e x : [a, b] A so de classe C 2 (por razes tcnicas que aparecero
a seguir), com x(a) = P0 e x(b) = P1 . Neste caso o espao a considerar um
subespao afim de E, E0 , dado por E0 = {x E|x(a) = P0 , x(b) = P1 }. Uma
variao de x dada por x(t) + sh(t), onde h : [a, b] IRN de classe C 2 e tal
que h(a) = h(b) = 0. Mostre que, nestas condies , fixado x, x(t) + sh(t) est em
A para todo t em [a, b], se s suficientemente pequeno.
(v)Mostre que, neste caso, para que x minimize J, necessrio que
Z b
a
L
L
+
(t, x(t), x(t))
h(t) dt = 0.
y
y
B. REGULARIZAO
73
(vi)Integre por partes a segunda parcela, use o fato de que h(a) = h(b) = 0, observe
que a derivada direcional se anula em todas as direes e prove que, para que x
minimize J, necessrio que
L
d L
(t, x(t), x(t))
= 0.
y
dt y
Esta equao conhecida como equao de Euler, ou de Euler-Lagrange. O
funcional L costuma ser chamado de ao .
(vii)Calcule a equao de Euler-Lagrange no caso em que L dado por
1
2 U (y)
L(t, y, y)
= m|y|
2
(m a massa, de forma que o minuendo a energia cintica, e o subtraendo U a
energia potencial).
Regularizao
Exerccio: Seja f : IRN IR integrvel (f limitada). Dado > 0, seja, para cada
x = (x1 , . . . , xN ) IRN , c (x) = [x1 2 , x1 + 2 ] [xN 2 , xN + 2 ].
R
Seja f : IRN IR dada por f (x) = 1N c f . Mostre que f contnua e que
(x)
Exerccio:
R Seja como acima. Se f :RIR IR integrvel, defina f : IR IR por
f (x) = IR f (y)(x y)dy (suponha | f |< ).
1
74
0
(i) Mostre que f (x) =
IR f (x
y)(y)dy.
Sendo a =
R
IRN
, defina
n (x) =
nN
(nx), n = 1, 2, . . .
a
n = 1.
B. REGULARIZAO
75
f (y)n (x y)dy 2
fn (x) =
IRN
(suponha |
R
IRN
f |< ).
Ento :
(i) as fn so de classe C ;
(ii) se K IRN compacto e f contnua em K, temos fn f uniformemente em K;
(iii) se K IRN compacto e
uniformemente em K.
f
xi
contnua em K, ento
fn
xi
f
xi
Demonstrao :
Observe que a mudana de variveis y 7 (x y) mostra que
Z
fn (x) =
f (x y)n (y)dy .
IRN
Assim,
fn (x) f (x) =
IRN
IRN
[f (x y) f (x)] n (y)dy =
B 1 (0) [f (x
IRN
y) f (x)] n (y)dy
n (y)dy =
76
f (y)
IRN
Mas
1
|h|
n (x y + h) n (x y) 0n (x y)h
dy .
|h|
| n (x y + h) n (x y) 0n (x y)h |
sup|k||h| k 0n (x y + k) 0n (x y) k .
Z
=
IRN
f (y)0n (x y)dy .
B. REGULARIZAO
77
R
k
i C0 ()
xi
f
da seguinte forma :
(iii) Conclua que podemos, para f como em (i), pensar x
i
no sabemos quanto vale para cada x em , mas sabemos que se C0 (), ento
Z
Z
f
= f
xi
xi
T, i = hT,
i
h
xi
xi
3
f seria,
78
||
.
x1 1 xNN
Parte II
ANLISE VETORIAL
CLSSICA
79
81
TEOREMA DE STOKES
e
TEOREMA DE GAUSS
Embora o nome Teorema de Stokes esteja consagrado pelo uso, fato reconhecido
no meio matemtico que o resultado devido a Sir William Thomsom (Lord Kelvin) (vale
a pena dar uma olhada, tambm, nas contribuies de Ampre e de Green); vamos pois,
ao longo do texto, usar o nome Teorema de Kelvin, numa tentativa de fazer justia ao
verdadeiro pai da criana
5
comum que resultados atribudos no Ocidente a um ou outro autor tenham na Rssia
outros nomes; no presente caso o nome russo Teorema de Ostrogradski, o que talvez
esteja bem prximo da verdade; para evitar polmica e diante da fama de Gauss, vamos
cham-lo de Teorema de Gauss-Ostrogradski
82
Captulo 10
INTRODUO
Seja IRN um aberto e seja F : IRN um campo de vetores. Partiremos da seguinte questo: sob que condies podemos afirmar que existe
f : IR tal que F = f ?
Exemplo 1: Se N = 1 sabemos, pelo Teorema Fundamental do Clculo, que basta
exigir a continuidade de F .
Exerccio : Seja IR2 aberto. Seja F : IR2 de classe C 1 . Observe que
f
F1
2
se F = (F1 , F2 ) = ( x
, f ) ento F
x1 x2 0. Invente 53 exemplos de campos
1 x2
2
contnuos no conservativos em IR .
Definio : Um campo F : IRN , IRN aberto, dito conservativo se existe U : IR tal que F = U (o sinal uma homenagem aos
fsicos). U chamada uma energia potencial ou, mais carinhosamente, um
potencial para F .
Exerccio : Seja F = U : IRN . As linhas de fluxo de F so as curvas
:]a, b[ tais que (t)
83
84
p
fcil concluir que r(x, y) = x2 + y 2 , mas a obteno de (x, y) menos evidente.
Logo nos damos conta de que ser descontnua em ]0, [{0}2 . Na hora de
escrever a frmula para , surgem expresses do tipo
y
x
x
y
(x, y) = arctg , arccotg , arccos , arcsen ,
x
y
r
r
todas igualmente insatisfatrias. No entanto todas tm algo em comum: em qualquer caso, teremos
(x, y) =
1
(y, x) = F (x, y)
x2 + y 2
Nosso campo F tem tudo, portanto, para ser gradiente de uma funo . S h
um problema: F est definido em IR2 {0}, mas, por mais que nos esforcemos,
acaba sempre sendo descontnua em alguns pontos desta regio.
85
c
c(b)
c(a)
a
F (c(t))
B = c(b)
A = c(a)
0
c(t)
a
c (t)
Z
f (c(b)) f (c(a)) =
F (c(t)).c(t)dt
.
a
F (c(t)).c(t)dt
F (c(t)).c(t)dt
= f (B) f (A)
a
86
Z
F =
F (c(t)).c(t)dt.
|2 m | c(a)
|2 = F.
2
2
c
Exerccio : c : [a, b] dita C 1 por partes se c contnua e existe uma
partico P de [a, b] tal que c C 1 em cada subintervalo de P . Note que a definico
de integral de linha se estende ao caso em que c C 1 por partes.
(ii)
(iii)
a2
F (c(t)).c(t)dt
= 0.
a
Demonstrao : bvio que (i) (iii); (iii) (ii) um exerccio fcil. Limitemonos, pois, a provar que (ii) (i). Como unio disjunta de abertos conexos
por caminhos C 1 por partes, podemos nos restringir ao caso em que conexo
por caminhos C 1 por partes.
Fixemos A em e a em IR. Seja ento f : IR dada por
Z
f (B) = a + F,
c
B. INTEGRAIS DE SUPERFCIE
87
Integrais de Superfcie
Consideremos um campo de vetores F em IR3 (suposto de classe C 1 ). Consideremos em IR3 as linhas de fluxo de F , isto , as curvas x(t) satisfazendo
a
x(t)
= F (x(t))
Consideremos agora uma superfcie S (seja l o que for isso) em IR3 . Supondo
que as linhas de fluxo carregam alguma coisa (gua que escoa, por exemplo),
tentemos calcular o volume dessa alguma coisa que atravessa S por unidade
de tempo. Para isto preciso fixar uma direo positiva de escoamento,
atravs, por exemplo, da escolha de um campo contnuo de vetores normais
a S (definido apenas nos pontos de S, claro !). Considerando uma poro
infinitesimal de S, de rea dS e um intervalo de tempo dt,
o volume infinitesimal que atravessa o pedacinho de superfcie no tempo
dt o de um paraleleppedo infinitesimal cuja base tem rea dS, cuja altura
tem a direo de n(x) e cujo terceiro lado dtF (x), onde x um ponto do
pedacinho.
Volume Infinitesimal = dSdtF (x).n(x)
(com sinal)
88
n
F (x(t))
x(t)
n(x)
dtT (x)
dS
B. INTEGRAIS DE SUPERFCIE
89
x0
x(t)
R0
R(t)
Note que esta uma integral escalar e deve ser calculada, em princpio via
uma parametrizao de S.
Exerccio : Suponha que S uma superfcie fechada limitando uma regio R0 .
Defina R(t) como a regio constituda pelos
pontos que estavam em R0 , levados pelas linhas de fluxo, depois de um tempo t.
Seja V (t) o volume de R(t). Mostre (para si mesmo) que razovel concluir que
Z
0
V (0) =
F.ndS
(n = normal exterior) .
S
R
Para o clculo de S F.ndS, suponhamos que S a imagem de uma superfcie parametrizada (de classe C 1 ) : [a1 , b1 ] [a2 , b2 ] IR3 , (u, v) =
(x1 (u, v), x2 (u, v), x3 (u, v)).
A imagem do quadradinho de lados u e v ser aproximada pela diferencial de , obtendo-se um paralelogramo de lados (vetoriais)
(u0 , v0 )u e
u
uv
(u0 , v0 )
(u0 , v0 ) = det
u
v
e1
e2
e3
x1
u
x1
v
x2
u
x2
v
x3
u
x3
v
uv
90
v (u0 , v0 )
v0 + v
v0
u0
u0 + u
Assim, o vetor
(u0 , v0 )
(u0 , v0 ) normal a S em (u0 , v0 ) e tal que sua
u
v
norma espressa a relao entre o elemento de rea dS de S e o elemento
de rea dudv de [0, 1] [0, 1]. Desta forma, nosso fluxo de um campo F
atravs de S pode ser calculado por
Z
Z b1 Z b2
F.ndS =
F ((u, v)). (u, v)
(u, v)dudv
u
v
S
a1
a2
~ O integrando direita o
Observao : ndS costuma ser notado dS.
C. O TEOREMA DE KELVIN
91
.B
c0
A .
c1
s
b1 Z b2
det
=
a1
a2
F1 F 2 F 3
x1
u
x1
v
x2
u
x2
v
x3
u
x3
v
(u, v)dudv
onde (u, v) = R(x1 (u, v), x2 (u, v), x3 (u, v)). Usaremos tambm a notao
mais abreviada S F .
O Teorema de Kelvin
O termo entender tem, aqui, um sentido esttico, como em toda forma de conhecimento: dizemos que entendemos aquilo que nos parece harmonioso
92
c0
A .
s
c1
Note que
(s, 0) A, (s, 1) B.
Seja ento
Z
F ((s, t)).
I(s) =
(s, t)dt.
t
I 0 (s) =
(s, t)
t
+ F ((s, t))
2
(s, t)
st
dt.
(s, t) |t=1
t=0
s
R1
(s, t)
F 0 ((s, t))
s
(s, t)
t
R1 0
F ((s, t))
(s, t)
t
0
(s, t)
s
dt.
R1 0
F ((s, t))
(s, t)
s
0
R1
0
(s, 0)
s
0e
(s, 1)
s
0. Logo,
(s, t)dt,
t
dt =
C. O TEOREMA DE KELVIN
93
0
Z 1 F2 F1
x1 x2
0
F1
F3
x1 x3
F2
F1
x2 x1
F3
F1
x3 x1
F2
F3
x3 x2
F2
F3
x2 x3
((s, t))
0 c
c 0
b a
x1
s (s, t)
x2
s (s, t)
x3
s (s, t)
x1
t (s, t)
x2
t (s, t)
x3
t (s, t)
dt.
anti-simtrica
b
a
((s,
t))
(
x2
x3
s t
0
F1
x3
F2
x1
R1
0
F3
x1
F1
x2
((s, t))
((s, t))
x
x3
s t
1
x
x2
s t
F ((s, t))
x3 x1
s t
x2 x1
s t
(s, t)
s
x3 x2
s t
(s, t)
(s, t)
(s, t)]dt =
(s, t)dt
t
, ,
F=
x2 x1 x3 x1 x1 x2
ou, abusando um pouco mais,
F=det00
e1
e2
e3
x1
x2
x3
F1
F2
F3
94
(s, t)dsdt .
= 0 0 F ((s, t)). s (s, t)
t
Esta a forma paramtrica do Teorema de Kelvin.
Esclio: A concluso do Teorema continua vlida se substituirmos a hiptese
de que nossa curva se deforma, mantendo fixas as extremidades (cs (0) A,
cs (1) B) pela seguinte: nossa curva se mantm fechada, isto , cs (0) = cs (1)
para todo s. De fato, nossa hiptese s foi utilizada para eliminarmos os
termos que surgiram da integrao por partes, o que tambm obtido com
a hiptese alternativa.
Observao: Note que no h razes para trabalharmos com (s, t) [0, 1]
[0, 1]. O resultado vale, igualzinho, para : [a1 , b1 ] [a2 , b2 ] IR3 .
Voltemos a nosso Teorema. Se a imagem de uma superfcie S e entendemos
Z 1
Z 1
F (c0 (t)).c0 (t)dt
F (c1 (t)).c1 (t)dt
0
.
x1
x2
S
S
4
C. O TEOREMA DE KELVIN
95
c0
(Q)
0
s
c1
.
x1
x2
No caso geral, porm, no h razo para supor que nossa parametrize de
fato uma superfcie sem auto-intersees .
O Teorema de Green tem, claro, sua verso para as situaes em que
: [0, 1] [a, b] IR2 no to bem comportada. Neste caso, sendo nosso
campo F = (F1 , F2 ) definido apenas em IR2 , teremos:
Z
Z
Z 1Z b
F2 F1
F
F =
((s, t))J (s, t)dtds.
x
y
c1
c0
0
a
dF =
96
Q
c1
A variao de ngulo
D. A VARIAO DE NGULO
97
c1
c0
Assim
Z
Z
F (c1 (t)).c1 (t)dt =
Z 1Z
F (A).0dt +
de modo que
Z
F (c(t)).c(t)dt
= 2
98
p : CI CI .
x 7 ak z K + + a0
Podemos, sem perda de generalidade, supor ak = 1 e a0 6= 0. Vamos considerar p
como uma transformao de IR2 em IR2 e examinar a imagem por p dos crculos
de centro na origem. A idia da demonstrao linda. Para cada R em [0, [,
consideramos o crculo de raio R e centro na origem. Sua imagem por p ser uma
curva cR que podemos parametrizar por
cR : [0, 1] CI
.
t 7 p(Re2it )
Note que, quando R vai de 0 a , cR varre a imagem de p. Ora, quando R
bem pequeno, cR est muito perto de a0 e no pode, portanto, envolver a origem.
Desta forma, se notarmos por n(R) o nmero de voltas de cR em torno da origem
5 , teremos, para R pequeno, n(R) = 0. J quando R grande, os pontos de
cR sero imagens de nmeros complexos z para os quais z k muito maior do que
ak1 z k1 + . . . + a0 .
Podemos ento afirmar que, para R bem grande, cR est prxima da imagem por
f (z) = z k do crculo de centro na origem e raio R e, portanto, envolve forosamente
a origem. Ou seja, n(R) > 0 se R grande (na verdade teremos n(R) = k). Mas
se cR passa de uma situao em que no envolve a origem para outra em que a
envolve, somos forados a concluir que em algum momento cR passa pela origem
(e nesse instante achamos uma raiz de p).
Vamos agora cuidar dos detalhes burocrticos indispensveis.
5
D. A VARIAO DE NGULO
99
p
a0
cR
0
1
(y, x)
x2 +y 2
Temos
n(0) =
1
2
F (a0 ).0dt = 0 .
0
1Z 1
100
a0
0
0
Escrevendo p(z) = z k (1 +
ak1
z
+ +
a0
),
zk
temos
| p(z) |
h
|ak1 |
| z |k 1
|z| + +
|a0 |
|z|k
i
1
2
F (
cR (t)).cR (t)dt =
dF J = 0
Q
Mas
1
2
Z
0
F (
cR (t)).cR (t)dt = k,
E. O TEOREMA DE GAUSS-OSTROGRADSKI
101
O Teorema de Gauss-Ostrogradski
O Teorema de Kelvin nos indica que possvel iterar o processo que conduziu
a sua deduo. Se F um campo de vetores e
F3 F2 F1 F3 F2 F1
,
,
G=F =
x2
x3 x3
x1 x1
x2
ento, dada uma superfcie S, temos
Z
Z
Z
~
~
F.dS =
G.dS =
S2
102
S2
S1 = S2
n
S1
E. O TEOREMA DE GAUSS-OSTROGRADSKI
103
F (t (x))
t (x)
x
dada por
(i) (0, x) = x x IR3
(ii) t
(t, x) = F ((t, x)) (t, x) IR IR3
Exerccio : Entenda que (s, (t, x)) = (s + t, x) s, t IR, x IR3 , o que
equivale, j que t (x) = (t, x), a s (t (x)) = s+t (x), ou ainda, de forma mais
sucinta, a s t = s+t .
Temos assim, para cada t, uma aplicao t que nos diz onde vo parar os
pontos depois de um tempo t.
Consideremos agora uma regio R0 limitada por uma superfcie S0 e acompanhemos o que acontece com R0 (imagine uma bolha de tinta azul no meio
de gua que escoa). Um pouco menos informalmente, se R0 IR3 , R0 = S0 ,
sejam
Z
t
R(t) = (R0 ) , V (t) = volume de R(t) =
1 .
R(t)
104
F (x)
x
R0
t (R0 )
R(0)
R(h)
Exerccio : Deduza, de (t, (s, x)) = (t + s, x), que basta saber calcular V 0 (0).
Exerccio : Tome h pequeno, desenhe R(h), R(0) e conclua (com argumentos no
necessariamente rigorosos, do ponto de vista matemtico, mas bastante razoveis)
R
~ Comece observando que R(h) R(0) = volume do que sai
que V 0 (0) = S0 F.ds.
menos volume do que entra (atravs de S0 ) no tempo h.
E. O TEOREMA DE GAUSS-OSTROGRADSKI
105
Proseguindo, temos
V 0 (t) =
Mas
(t, x)
t
d
dt
det
R0
(t, x), x
(t, x), x
(t, x)
x1
2
3
dx =
det
R0
2
(t, x), x
(t, x), x
(t, x)
tx1
2
3
dx+
det
R0
(t, x), tx
(t, x), x
(t, x)
x1
2
3
dx+
det
R0
(t, x), x
(t, x), tx
(t, x)
x1
2
3
dx
V (t) =
R0
R0
R0
det
F ((t,x))
(t, x), x
(t, x), x
(t, x)
x1
2
3
dx+
det
dx+
det
(t, x), x
(t, x), F ((t,x))
(t, x)
x1
x3
2
dx
(0, x)
xi
= ei . Logo,
i
h
F (x)
F (x)
F (x)
=
V (0) = R0 det x1 , e2 , e3 + det e1 , x2 , e3 + det e1 , e2 , x3
0
R
R0
F1 (x)
x1
F2 (x)
x2
F3 (x)
x3
dx .
106
Escrevendo
.F (x) =
F1 (x)
F2 (x)
F3 (x)
x1
x2
x3
e igualando os dois valores obtidos para V 0 (0), deduzimos o Teorema de
Gauss-Ostrogradski:
Z
Z
~
F.ds =
.F
S0
R0
.F chamado de divergncia de F .
Observao : No termo esquerda a normal a S0 aponta para fora.
importante ainda salientar que a deduo
R acima no uma demonstrao:
0
0
calculamos V (0) e obtivemos V (0) = R0 .F ; mas a igualdade V 0 (0) =
R
R
~ resultou apenas do significado fsico de
~
F.
dS
F.dS.
S0
S0
O Campo
1
3
(x +y 2 +z 2 ) 2
~r
,
r3
onde
~r(x, y, z) = (x, y, z)
e
r =| ~r | .
(x, y, z) ,
F. O CAMPO
107
S2
(S)
onde a orientao de S tal que o vetor normal aponta sempre para longe de
(0, 0, 0).
Exerccio : Prove que .F = 0. Refaa o exerccio acima.
Exerccio :
Seja S IR3 {(0, 0, 0)} uma superfcie fechada. Mostre que
R
R
~ = 0 se (0, 0, 0) exterior a S e que
~
F.
dS
S
S F.dS = 4 se (0, 0, 0) interior
a S e se considera a orientao de S com normal exterior.
Exerccio : Prove que F = 0. Conclua que F conservativo (isto ,
existe f : IR3 {(0, 0, 0)} IR tal que F = f ). Mostre que F = f , onde
f (x, y, z) = 1r .
6
Esta , na realidade, uma definio provisria, a ser substituda pela que nos fornece
o exerccio seguinte
108
Exerccio : Calcule
R
S
Vamos agora a uma questo mais delicada: pode existir G tal que
F = G?
R
~ = 0, sempre que S for uma
Exerccio : Mostre que isto implica em S F.dS
superfcie fechada contida no domnio de G. Conclua que no existe G : IR3 \
{(0, 0, 0)} IR3 tal que F = G.
Exerccio : Seja s uma semi-reta partindo de (0, 0, 0). Seja S IR3 \ s uma
R
~ = 0.
superfcie fechada. Mostre que S F.dS
rea de (S) =
4
,
(x2 +y 2 +1)2
4
dxdy
p1 ((S)) (x2 +y 2 +1)2
x2
2y
2x
dx + 2
dy
2
+y +1
x + y2 + 1
F. O CAMPO
S2
109
(S)
p1 ((S))
Mostre que d(x, y) = (x2 +y42 +1)2 ( foi obtida por advinhao e tentativa). Conclua que se D IR2 limitada por uma curva fechada, ento
Z
Z
2y
2x
4
dxdy =
dx + 2
dy
2
2
2
2
2
x + y2 + 1
D x + y + 1
D (x + y + 1)
(ydx xdy)
2
2
2
c x + y + (1 z)
1
r(rz) (y, x, 0).
110
INTEGRANDO
RESULTADO DA
OPERAO
f (x)
ponto x
f : IR
curva c
F : IR3
superfcie S
F : IR3
regio R
f : IR
() O Rotacional
Seja agora F : IR3 de classe C 1 e consideremos a aplicao F que a
cada curva c em associa
Z
F(c) = F.
c
c0
() A Divergncia
Voltemos a considerar um campo F : IR3 de classe C 1 mas associemos
agora a F uma aplicao F que age sobre as superfcies em :
Z
F(S) =
F .
S
S0
112
S1
c0
R
c1
S0
(de dimenso
114
Captulo 11
OS OBJETOS: CURVAS,
SUPERFCIES E CADEIAS
Curvas e Superfcies
115
superfcie com
auto-intersees
superfcie regular
A. CURVAS E SUPERFCIES
117
(U )
S
Figura 11.1: U inclui pontos (x1 , x2 ) com x1 = 0. A imagem de U inclui pontos
de S que esto no bordo ( e correspondem aos pontos de U com x1 = 0) que no
so abertos de IR2 (o que permite parametrizar vizinhanas de pontos do bordo)
S
S
(i) curvas e superfcies podem ser definidas como subconjuntos de IR3
(ii) se S uma superfcie orientada (isto , para a qual se escolheu um campo
contnuo de vetores normais)2 , ento S uma curva para a qual se pode
escolher uma orientao compatvel com a de S (de maneira que o enunciado
da forma no paramtrica do Teorema de Kelvin esteja correto)
(iii) se F um campo de vetores C 1 em um aberto contendo uma superfcie
orientada S, o Teorema de Kelvin pode ser expresso por:
Z
F =
S
Z
.F
F =
S
119
(s, t)
(s, t)
F ((s, t)).
s
t
Z
F .
F =
Z bZ
[a,b][c,d]
d
F ((s, t)).
=
c
s
t
=
(s, t)
(s, t) dtds .
s
t
f J =
f=
Z bZ
Z
[a,b][c,d]
Z
F =
f.
C. CADEIAS
121
(0, 1)
c3
(1, 1)
c4
c2
(0, 0)
c1
(1, 0)
Exerccio :
(R).
Agora deveramos definir o bordo de como sendo uma curva C 1 por partes.
Mas no vamos.
Exerccio : Pense no cubo [0, 1] [0, 1] [0, 1] = Q. Pense : Q IRN de classe
C 1 . Pense o bordo de . Como voc definiria uma "superfcie parametrizada C 1
por partes"?
Cadeias
c1
ck
Do ponto de vista formal, no h impedimento para que se troque o anel dos inteiros
por qualquer outro; assim, podemos (e frequentemente vamos) supor que os ni esto em
IR ou C.
C. CADEIAS
123
Z
f + + nl
f = n1
c1
cl
Veremos mais frente uma definio mais geral de equivalncia entre cadeias
O bordo
D. O BORDO
125
= n1 1 + + nl l
Z
f=
Z
F =
definimos
c
n1 c1 + + nl cl
Resta-nos definir o bordo de uma 3-cadeia. claro que podemos nos restringir a c : B IRN , onde B um bloco em IR3 . Se
B = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ]
seu bordo deve ser composto pelas seis faces dadas por:
D. O BORDO
127
Calcule c.
Exerccio: Pense em como definir o bordo de uma k-cadeia, para k > 3.
Captulo 12
OS TEOREMAS
Podemos agora repassar nossos teoremas, aproveitando para esclarecer as
hipteses. J decidimos adiar a definio de integral de superfcie, no caso no
paramtrico. Assim, todos os objetos que consideraremos (curvas, superfcies
e mesmo slidos) sero parametrizados. De maneira geral, estaremos trabahando com cadeias de dimenso um, dois e trs (e - no h por que discriminlas - tambm de dimenso zero).
Se, por um lado, tal situao gera um certo desconforto (nas aplicaes ,
estaremos com freqncia nos referindo a integrais no paramtricas que,
rigorosamente, no foram definidas), por outro ganharemos a liberdade de
trabalhar com curvas superfcies e slidos com bicos e auto-intersees , o
que , em muitos casos, excelente.
Com relao s demonstraes propriamente ditas, tero tratamentos um
pouco diferentes, no que diz respeito maneira como eliminaremos a hiptese
de que as cadeias devam ser de classe C 2 e no C 1 . No Teorema de Kelvin
usaremos um truque elementar; j no de Gauss-Ostrogradski, recorreremos a
uma idia extremamente til, aproximando funes de classe C 1 por funes
C .
Kelvin-Green
130
c0
c1
uma posio inicial c0 at uma posio final c1 , mantidas fixas suas extremidades. Isto gerava uma superfcie , cujo bordo era, precisamente, c1 c0 .
Podemos observar, claro, que se deixarmos livres as extremidades da curva,
o bordo da superfcie que geraremos ters mais dois pedaos, alm de c0 e c1 .
Parece claro que possvel lidar com esta situao , o que deve alterar pouco
a demonstrao do Teorema.
Teorema: Sejam aberto em IR3 , F : IR3 um campo de vetores de
classe C 1 e : B = [a1 , b1 ] [a2 , b2 ] de classe C 1 . Ento
Z
Z
F.
F =
b2
F =
cs
(s, t)dt.
t
F ((s, t)).
a2
Derivando I, obtemos:
I 0 (s) =
b2
a2
F 0 ((s, t))
b2
F ((s, t)).
a2
2
(s, t)dt
st
R b2
a2
F 0 ((s, t))
s (s, t). t (s, t)dt
R b2
a2
F 0 ((s, t))
t (s, t). s (s, t)dt+
+F ((s, b2 )).
s (s, b2 ) F ((s, a2 )). s (s, a2 ).
A. KELVIN-GREEN
131
Integrando de a1 a b1 , obtemos
R
c b1
R
ca1
R b1 R b2
a1
a2
R b1
a1
F ((s, b2 )).
s (s, b2 )ds +
R b1
a1
F ((s, a2 )).
s (s, a2 )ds =
F
s
t
t
s
R
O primeiro termo exatamente F . O segundo, aps manipulaes (ver a InR
troduo ), F . Isto demonstra o Teorema, no caso em que de classe
C 2.
Vejamos agora o caso em que apenas C 1 . Note que, nestas condies , no
podemos calcular I 0 da mesma forma. Vamos trabalhar com a definio . Dado h,
temos:
I(s + h) I(s) =
R b2
R b2
a2
a2
t (s
+ h, t)
t (s, t)
dt.
F ((s, t)).
t (s
+ h, t)
t (s, t)
dt =
R b1
a1
F 0 ((s, t))
s . [(s + h, b1 ) (s, b1 )] .
Agora s escrever
I(s + h) I(s)
h0
h
e observar que as convergncias dos integrandos so uniformes. O resto igual.
I 0 (s) = lim
132
Z
F =
dF,
onde dF = F , se IR3 , ou dF =
F2
x1
F1
,
x2
se IR2 .
1
(y, x)
x2 + y 2
Gauss-Ostrogradski
Z
I(t1 ) =
F ((t1 , t2 , t3 ).
B1
(t1 , t2 , t3 )
(t1 , t2 , t3 ) dt2 dt3 ,
t2
t3
0
B1 F () t1 .
B1 F ().
2
t1 t2
t2
t3
t3
dt2 dt3 +
dt2 dt3 +
B1 F ().
t2
2
t1 t3
dt2 dt3 .
B. GAUSS-OSTROGRADSKI
133
I 0 (t1 ) =
0
B1 F () t1 .
0
B1 F () t2 .
B1 F ().
R b3
R b3
R b2
R b2
a3
a3
a2
a2
t1
t1
t2
t3
2
t2 t3
t3
dt2 dt3 +
0
B1 F () t3 .
dt2 dt3
dt2 dt3
F ((t1 , b2 , t3 ).
t1 (t1 , b2 , t3 )
F ((t1 , a2 , t3 ).
F ((t1 , t2 , b3 ).
F ((t1 , t2 , a3 ).
B1 F ().
t2
2
t3 t2
t3 (t1 , b2 , t3 )
t1 (t1 , a2 , t3 )
t3 (t1 , a2 , t3 )
t2 (t1 , t2 , b3 )
t1 (t1 , t2 , a3 )
t2 (t1 , t2 , a3 )
t1 (t1 , t2 , a3 )
t1
t1
dt2 dt3
dt2 dt3 +
dt3
dt3 +
dt2
dt2 .
Agora devemos:
1. notar que as parcelas com derivadas segundas se cancelam;
2. passar as parcelas com integrais simples para o lado esquerdo do sinal de
igual;
3. integrar tudo de t1 = a1 a t1 = b1 ;
4. observar que, esquerda do sinal de igual, teremos a integral de F sobre o
bordo de ;
5. reorganizar as parcelas direita do sinal de igual, obtendo:
o
R n 0
0 () + . F 0 ()
F
()
.
+
.
F
;
t1
t2
t3
t1
t2
t3
t1
t2
t3
B
6. notar que o integrando que obtivemos trilinear e alternado em
t1 , t2 , t3 ;
(t1 , t2 , t3 ), como t1 . t2 t3 = J ;
134
Z
F
Z
.F
F,
.F.
Z
F =
onde dF = .F .
dF,
c
135
Z
P dx + Qdy =
R
Q P
x
y
.
P
Sugesto : integre separadamente Q
x (primeiro em relao a x) e y (primeiro em
relao a y), e observe que pode aplicar o Teorema Fundamental do Clculo em
ambos os casos.
.
x
y
D
D
Sugesto : siga a mesma do primeiro exerccio. Para a orientao de D,
veja a figura.
136
D
D
x
Captulo 13
OS INTEGRANDOS
f
(x)hN
xN
= f (x).h .
137
138
= F1 (x(t))
Z b
a
dx1
dxN
F1 (x(t))
(t) + + FN (x(t))
dt ,
dt
dt
139
(c(t))c(t)dt
=
c
onde c(t)
= c0 (t)1 (lembre-se de que c0 (t) uma transformao linear de IR
em IRN ). c(t),
a integral de sobre c
Z
Z
Z
= n1
+ + nl
.
c
c1
cl
140
Exerccio: Seja c : [a1 , b1 ] IRN uma curva parametrizada C 1 por partes. Suponha
que exista : [a2 , b2 ] IR, C 1 por partes e tal que ([a2 , b2 ]) = [a1 , b1 ]. verdade
(ou sob que condies verdade) que para toda forma 1-forma em c([a1 , b1 ])
Z
Z
,
=
c
onde
c : [a2 , b2 ] IRN ?
t
7 c((t))
Z
=
c2
onde P o conjunto das parties do intervalo [a, b] e, para cada P P, dada por
P = {t0 , t1 , . . . , tn }, a = t0 < t1 < < tn = b,
S(c, P ) =
n
X
| c(ti ) c(ti1 ) |
i=1
Mostre que toda curva c : [a, b] IRN C 1 por partes retificvel e que
Z
| c(t)
| dt .
S(c) =
a
Exerccio: Seja c : [a, b] IRN curva parametrizada e seja 1-forma em c([a, b]).
Para cada partio P = {t0 , t1 , . . . , tn } de [a, b], defina
(c, P ) =
n
X
t=1
141
se existir,
1
1
(c(t)
2 + c(t)
2) 2
Exerccio: Suponha que c uma curva fechada simples (isto , c(a) = c(b) e c no
tem autointersees ). Ento c encerra um regio A do plano2 . Suponha que c est
2
142
n(t)
F (c(t))
c(t)
c(t)
F (x)
A
x
Imagine agora que a curva fechada c encerra uma bolha de tinta azul que
preenche a regio A. A bolha de tinta vai se deslocando segundo o fluxo do
campo F .
Exerccio: Defina S(t) como a rea da bolha no tempo t (em t = 0 a bolha ocupa
a regio A). Entenda que
B. FORMAS DIFERENCIAIS
143
F (c(t))
c(t)
c(t)
S 0 (0) =
Z
.
c
Z
A
F1 F2
+
x1
x2
.
Formas Diferenciais
Tentemos refletir sobre os integrandos com que temos estado tratando. Comecemos pelos campos de vetores. O primeiro aspecto a salientar que nossos
campos tm significados distintos, conforme estejamos lidando com integrais
de linha ou com integrais de superfcie.
R
Consideremos o campo F . Se c uma curva e queremos calcular c F , F nos
serve apenas para associar um nmero a cada vetor tangente a c:
J destacamos que F (x) pode ser pensado como uma 1forma.
R
~ F nos serve para
Se, por outro lado, S uma superfcie e queremos S F.dS,
associar um nmero a cada par de vetores tangentes a S.
Neste sentido, F (x) pode ser pensado como uma forma bilinear em v1 e v2 .
144
F (x)
v2
x
v1
w
v
volume = det(u, v, w)
u
Talvez valha a pena, neste ponto, colocar uma questo mais filosfica: quando
calculamos uma integral, qual o significado do integrando ?
Z b1 Z b2
Z b1 Z b2 Z b3
Z b
f (x)dx,
f (x, y)dxdy,
f (x, y, z)dxdydz
a
a1
a2
a1
a2
a3
Nos trs casos acima, podemos pensar que nosso conjunto de base tem uma
medida de comprimento, rea ou volume e que f representa uma densidade.
Ou, de maneira mais ousada, que f modifica nossa forma original de medir
comprimentos, reas ou volumes: a medida original dx, a nova f (x)dx.
Deixemos de lado, por ora, o caso de dimenso 1. Em dimenso 2 e dimenso
3, as formas de medir reas e volumes so dadas pelo determinante.
Mas o determinante, em IRN , pode ser pensado como a nica forma
Nlinear alternada que assume o valor 1 quando aplicada aos N vetores
da base cannica 3 .
3
B. FORMAS DIFERENCIAIS
u2
145
(u)
u2
e2
u
(u)
(u)
u1
e1
u1
(u)
(u) | du1 du2 .
|
u1
u2
U
Ora, o que representa o nmero |
(u)
u1
(u)
u2
|?
146
u1 (u)
u2 (u)
|?
(u) u
(u) | aparece para indicar a relao
integrao o parmetro u, | u
1
2
entre o elemento de rea da imagem por e o elemento de rea original
em U (sendo que o elemento de rea da imagem medido no sobre S, mas
sobre o plano tangente s sabemos medir coisas retas !).
Que significa ento
Z
Z
Z
~ = F ((u))
F dS
(u)
(u)du = det(F ((u)),
(u),
(u)) ?
u1
u2
u1
u2
S
U
U
Como toda integral sobre S deve ser transformada em uma integral sobre U ,
o procedimento o seguinte:
O elemento de rea (v1 , v2 ) transformado no elemento de rea dS = (0 (u)v1 ,
0 (u)v2 ). Isto significa que, para medir a rea de dS, substitumos a forma
de medir
det(v1 , v2 )
pela nova forma de medir (no plano tangente a S em (u))
det(0 (u)v1 , 0 (u)v2 )
B. FORMAS DIFERENCIAIS
147
0 (u)v2
v2
u
(u)
v1
0 (u)v1
Z
=
=
U
f
U
Uma aplicao que a cada ponto x de S associa uma forma bilinear alternada
definida no plano tangente a S em x chamada uma forma diferencialde grau 2, ou
2forma em S.
148
F dada por
F (u)(v1 , v2 ) = F ((u))(0 (u)v1 ), 0 (u)v2 ) =
= F ((u)).(0 (u)v1 0 (u)v2 ) = det(F ((u)), 0 (u)v1 , 0 (u)v2 ).
Temos F (u)(v1 , v2 ) = f (u)det(v1 , v2 ), onde f (u) pode ser calculado observando que det(e1 , e2 ) = 1:
f (u) = F (u)(e1 , e2 ) = det(F ((u)), 0 (u)e1 , 0 (u)e2 ) =
(u), u
(u))
= det(F ((u)), u
1
2
Assim,
Z
F =
det(F ((u)),
(u),
(u)) =
u1
u2
S
U
~
F.dS
F3 F2 F1 F3 F2 F1
x2
x3 x3
x1 x1
x2
(x) .
d .
S
1
(dx2 dx3 )(u, v) = det(e1 , u, v) = det u1
v1
0
(dx3 dx1 )(u, v) = det(e2 , u, v) = det u1
v1
0
(dx1 dx2 )(u, v) = det(e3 , u, v) = det u1
v1
0 0
u2 u3
u2 u3 = det
v2 v3
v2 v3
1 0
u3 u1
u2 u3 = det
v3 v1
v2 v3
0 1
u1 u2
u2 u3 = det
v1 v2
v2 v3
149
por
,
,
,
Observe que:
() (dxi dxj )(u, v) representa a rea da projeo do paralelogramo formado por
u e Rv no plano 0xi xj ;
() S F1 dx1 + F2 dx2 + F3 dx3 =
R 3 F2
F1
F3
F2
F1
dx
dx
+
dx
dx
+
= S F
2
3
3
1
x2
x3
x3
x1
x1
x2 dx1 dx2 .
Exerccio (Teorema de Gauss-Ostrogradski): Seja V um aberto de IR3 cujo bordo
uma superfcie S orientada com normal exterior a V . Seja F um campo de vetores
C 1 em V . Considere a 2-forma
(x) = F1 (x)dx2 dx3 + F2 (x)dx3 dx1 + F3 (x)dx1 dx2 .
Seja
f (x) = .F (x) =
F1 F2 F3
+
+
.
x1
x2
x3
Se dx1 dx2 dx3 definida por (dx1 dx2 dx3 )(u, v, w) = det(u, v, w), usa-se
escrever
d(F1 (x)dx2 dx3 + F2 (x)dx3 dx1 + F3 (x)dx1 dx2 ) =
=
F1
x1 (x)
F2
x2 (x)
F3
x3 (x)
150
(ii) Se a 2-forma dada por = F1 dx2 dx3 + F2 dx3 dx1 + F3 dx1 dx2 , ento
d = dF1 dx2 dx3 + dF2 dx3 dx1 + dF3 dx1 dx2
151
sempre que a integral direita exista (e1 , .., ek so os vetores da base cannica
de IRk ). Se c = n1 c1 + . . . + nl cl uma cadeia C 1 , definimos
Z
Z
Z
= n1
+ . . . + nl
.
c
c1
cl
No caso particular
R
R em que Rc : BR B c(t) = t t B, usaremos as
notaes B e B para c e c .
Exerccio: Note que as definies acima se generalizam imediatamente para dimenses maiores.
Exerccio: Seja uma k-forma em A. Mostre que
5
A forma serve para ser integrada, de maneira que deveremos acrescentar alguma
hiptese que garanta, conforme o caso, a existncia da integral de linha, de superfcie ou
volumtrica de ; a maneira mais simples, caso no se queira esquentar a cabea, supor a
continuidade de (note que Ak (IR3 ) espao vetorial de dimenso finita e que, portanto,
a continuidade de independe da norma escolhida)
152
Observe que:
(i) Se k = 1, (x)v = hF (x), vi v IR3 , x A
(ii) Se k = 2, (x)(u, v) = hF (x), u vi = det(F (x), u, v) u, v IR3 , x A
(iii) Se k = 3, (x)(u, v, w) = f (x)det(u, v, w) u, v, w IR3 , x A
As funes F1 (x), F2 (x), F3 (x), f (x) que aparecem em cada um dos casos
acima so chamadas de coeficientes de . Uma forma dita de classe C r
se seus coeficientes tm derivadas parciais contnuas at ordem r.
O Teorema de Kelvin, em sua forma no paramtrica, mostra que se uma
1-forma de classe C 1 no aberto A de IR3 , ento existe uma 2-forma d em A
de classe C 0 tal que
Z
Z
d =
,
S
D. CAMPOS
153
Como nossa teoria est toda construda com objetos parametrizados, a definio
acima fica mais precisa se, simplesmente, substitumos objeto orientado por
cadeia.
Observao : Guardamos para os prximos captulos a definio da derivada
exterior em um ponto, o que dever fazer a luz sobre a maneira algo misteriosa como foram obtidas as diversas verses de d, que ora aparece como
gradiente, ora como rotacional, ora como divergncia, tendo a unific-las
apenas uma certa magia algbrica.
Campos
Pelo que acabamos de ver, uma funo escalar f : IR define, simultaneamente, uma 0-forma e uma 3-forma (supondo IR3 ). Da mesma
154
2u
2u
2u
+
+
.
x1 2 x2 2 x3 2
D. CAMPOS
155
156
Captulo 14
A DERIVADA
a
158
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
111111111111111
000000000000000
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
111111111111111
000000000000000
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
111111111111111
000000000000000
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
111111111111111
000000000000000
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
01
1
01
0 1
01
0 1
01
01
0 1
0
Z
1
F,
.F (x) = lim
diam(B)0 (B) B
onde B um bloquinho contendo x. Suponhamos agora que B um bloco
fixo em IR3 . Se o dividirmos em sub-bloquinhos de uma partio P , teremos
Z
F =
X 1 Z
F =
F ().
()
XZ
O rotacional
B. O ROTACIONAL
159
c
S, passando por x e nela considerar uma vizinhana de x (em S), , que vai
encolher at x. Se F C 1 , podemos usar o Teorema de Kelvin e obter
1
lim
x area de
1
F = lim
x area de
Z
F.~ndS = F (x).~n(x),
n(x) =
1
v1 v2 .
|v1 v2 |
160
1
lim
t ()
1
F = lim
t ()
Z
F.~ndS = |v1 v2 | F (x).~n(x),
ou seja,
1
lim
t ()
Z
F = F (x).(v1 v2 ).
161
Z
1
L(B)
<K
d(x) < ,
L(B) < , x B,
l(B)
(B) B
onde B designa um bloco qualquer contido em A, L(B) designa o maior lado
de B e l(B) designa o menor.2
Exerccio: Mostre que, se I um intervalo da reta real, f : I IR derivvel em
x se e s se existe
1
(f (b) f (a)) ,
lim
a, b x b a
a 6= b
x [a, b]
ou seja:
> 0 > 0 tal que
!
Z
1
L([a, b]) < , x [a, b]
f f 0 (x) < .
([a, b]) [a,b]
Esta hiptese, aparentemente desnecessria ou, pelo menos, pouco natural, tem o seu
valor: graas a ela, poderemos mostrar que a diferenciabilidade de em x implica em sua
derivabilidade
2
Rigorosamente, d(x) uma forma bilinear alternada. Mas como o espao das formas bilineares alternadas em IR2 de dimenso 1, podemos ficar com esta definio
simplificada, entendido que o nmero real d(x) corresponde forma bilinear (u, v) 7
d(x)det(u, v)
162
interessante notar que a ferramenta bsica para a demonstrao do Teorema Fundamental do Clculo o Teorema do Valor Mdio 3 .
De fato, se P = {a0 , a1 , . . . , an } uma partio de [a, b], escrevemos
f (b) f (a) =
n
X
f (ai ) f (ai1 ) =
i=1
n
X
f 0 (i )(ai ai1 ) ,
i=1
Observe que esta uma situao em que o verdadeiro Teorema do Valor Mdio, sob
forma de igualdade utilizado
4
U (f 0 , P ) e L(f 0 , P ) designam, como de costume, as somas superior e inferior referentes
partio P
5
Neste caso, ficando implcito que d limitada
163
0 10 10 10
1
0000000000000000
1111111111111111
0
1
0
1
0
1
0
1
0
1
1010 1010 1010
0
1
1111111111111111
0000000000000000
0
1
1010 1010 1010
0
1
1111111111111111
0000000000000000
0
1
0
1
0
1
0
1
0
1
1010 1010 1010
1111111111111111
0000000000000000
0
1
0 10 10 10
1
Z
=
B
n Z
X
i=1
(quem no achar bvio que demonstre!). Tudo dar certo se pudermos garantir que no interior de cada i existe i tal que
Z
= (i )d(i ) .
i
164
Jean Dieudonn
Fundamentos da Anlise Moderna, 1960
O trecho acima, extrado de um livro bastante conhecido, expressa com fidelidade uma crena que se consolidou ao longo dos tempos. No entanto,
como veremos a seguir, h uma interessante generalizao , sob forma de
igualdade, que bastante reveladora no que diz respeito verdadeira natureza
do teorema. Aparentemente, as razes que podem ter encoberto uma idia
to simples so duas: 1o uma definio insatisfatria de derivada exterior; 2o a
demonstrao usual do Teorema do Valor Mdio to boa que deixa pouca
margem a que se procure pensar em outra.
Comecemos, pois , por dar ao Teorema do Valor Mdio clssico uma nova
demonstrao .
Lema: Se f : [a, b] IR contnua, ento existem a1 e b1 em ]a, b[ tais que
f (b) f (a)
f (a1 ) f (b1 )
=
,
b 1 a1
ba
com
(a1 b1 )
=ba .
3
Demonstrao :
Divida [a, b] em trs intervalos de mesmo comprimento atravs dos pontos 0 , 1 ,
2 e 3 . Como
165
f (b) f (a)
1 X f (i ) f (i1 )
,
=
ba
3
i i1
i=1
temos que ou bem as trs parcelas direita so todas iguais (e neste caso basta
fazer a1 = 1 , b1 = 2 ), ou bem se tem uma das parcelas superior e outra inferior
ao termo esquerda. Neste caso, sendo h = ba
3 , a funo contnua
m : [a, b h] IR
(x)
x
7 f (x+h)f
h
f (b)f (a)
ba
9 Z
X
i=1
F .
166
B
7
Observando que
(B) = 9(i ) , i = 1, . . . , 9,
vem
1
9
(B)
Z
F =
B
9
X
i=1
1
(i )
Z
F ,
i
ou, equivalentemente,
Z
Z
9
X
1
1
(
F
F) = 0 .
(
)
(B)
i
B
i
i=1
Sejam ento
h1 =
b 1 a1
b 2 a2
, h2 =
3
3
e
= [0, h1 ] [0, h2 ].
Consideremos a funo contnua
m : [a1 , b1 h1 ] [a2 , b2 h2 ] IR R
1
x 7 ()
F
(x+)
onde x + = {x + y, y }.
1
(B)
R
B
F ,
167
B1
x+
168
(x+)
1
1
(x1 2 +x2 2 ) 2
(0, 0) = 0 .
Mostre que no existe limx0 (x).
169
(x+)
contnua em {x B, (x + ) B} ;
() tem derivada exterior em todos os pontos de ]a1 , b1 []a2 , b2 [;
() d integrvel (e limitada) em B.
Ento
170
Z
=
d .
B
S(P )
com x em . Ento
Z
L(d, P )
U (d, P ) ,
B
F. O PULLBACK
171
0 (x)vk
vk
x
(x)
v1
0 (x)v1
O Pullback
Z
=
172
A Derivada Exterior
c=
c d.
B
c=
d(c ),
B
onde
1
d(c )(t) = lim
t ()
c .
G. A DERIVADA EXTERIOR
173
c d = d(c ).
Observao : Na realidade, devemos lembrar que tanto c d como d(c )
so 2-formas em B IR2 :
c d dada por c d(t)(v1 , v2 ) = d(c(t))(c0 (t)v1 , c0 (t)v2 );
d(c ) dada por d(c )(t)(v1 , v2 ) = (t)det(v1 , v2 ), onde (t) o
nmero real dado por
1
(t) = lim
t ()
c .
c det(v1 , v2 ).
Fazendo v1 = e1 e v2 = e2 , obtemos
1
d(c(t))(c (t)e1 , c (t)e2 ) = lim
t ()
0
1
c = lim
t ()
Z
.
c()
174
c
S
S
n0 =
1
u1 u2 .
|u1 u2 |
1
F = lim
t0 |u1 u2 |()
S
Z
F,
S
ou seja,
1
F (x0 ).(u1 u2 ) = lim
t0 ()
Z
F.
S
1
c = lim
t0 ()
Z
.
c()
R
c
175
L(B)
< K,
l(B)
ento
Z
1
d(x)(0 (t)e1 , . . . , 0 (t)ek+1 )
(B)
B
< ,
176
Ento
Z
Z
=
d.
c
177
1
(B)
R
B
= limBt
1
(B)
= limBt
1
(B)
F0 + limBt
1
(B)
.F0 + limBt
1
(B)
R
B
F1 + limBt
1
(B)
.F1 + limBt
1
(B)
R
B
1
(B)
R
B
E=
R
B
E=
E.
Resta provar que este ltimo limite zero. Examinemos, pois, para B prximo de
t, o tamanho de
Z
1
E.
(B) B
Fixemos > 0. Podemos, antes de mais nada, nos fixar em uma vizinhana de t
na qual ||0 || seja menor que um certo M . Como nossos blocos devem satisfazer
a L(B)/l(B) < K, para um certo K > 1, vamos querer, para s em B, que (s)
y0
caia em uma vizinhana de x tal que |e(y)| < /(6 3M 3 K 2 ). Como e(y) 0
e contnua, podemos encontrar uma vizinhana de t em que isto tambm
acontea. Para B na interseo das duas vizinhanas de t supracitadas, com t B
e L(B)/l(B) < K, teremos
1
(B)
R
B
1
6L(B)2 sup {|c(s)
l(B)2 L(B)
1
6L(B)2 M
l(B)2 L(B)
x||e(c(s)|, s B} M 2
3L(B) 63M 3 K 2 M 2 =
L(B)2
K 2 l(B)2
< .
178
0,
x1 x2
ento
Z
P dx1 + Qdx2 = 0
c
179
Agora podemos dizer que quase chegamos l. Temos uma boa definio
de derivada exterior, que claramente pode ser generalizada para dimenses
maiores, e um bom Teorema, que tambm se generaliza. Os ltimos resultados, que mostram que a diferenciabilidade implica na derivabilidade, porm,
parecem ainda depender de teoremas cuja generalizao menos evidente.
No entanto, j temos condies de pressentir que uma verso para dimenses
maiores est ao alcance da mo .
180
(c)
9
J. O LEMA DE VOLTERRA
181
Como as cadeias cujo bordo nulo so ditas fechadas, dizer que sempre vale
(c) = 0 significa que o bordo de uma cadeia , sempre, uma cadeia fechada.
Por analogia, chamamos de fechadas as formas que tm derivada exterior nula.
Assim, a derivada exterior de uma forma , sempre, uma forma fechada.
No difcil ver que, por outro lado, nem toda k-cadeia fechada bordo de alguma
(k + 1)-cadeia.
Exerccio: Entenda que isto est relacionado com a existncia de "buracos"em .
D exemplos de abertos em que toda cadeia fechada um bordo e de abertos em
que isto no acontece. Observe que, em geral, em um mesmo aberto podemos
ter que toda k-cadeia fechada um bordo, para certos valores de k, sem que isto
acontea para todos os valores de k. Considere, em particular, os casos IR3 menos
um ponto, IR3 menos uma reta e IR3 menos um plano.
De maneira anloga, nem toda k-forma fechada derivada exterior de alguma
(k 1)-forma.
Exerccio: Lembre-se da forma de variao de ngulo em IR2 \ {0} e da forma de
ngulo slido em IR3 \ {0}. Note que, em ambos os casos, tambm nos deparamos
com "buracos".
Uma k-forma dita exata se existe uma (k 1)-forma tal que d = .
Analogamente, se existe uma (k + 1)-cadeia b tal que b = c, c ser dita uma
cadeia exata. Do teorema de Kelvin e da caracterizao dos campos conservativos,
decorre o seguinte resultado:
Proposio : Se tal que toda cadeia fechada de C1 () exata, ento toda
forma fechada de A1 () exata.
O Lema de Volterra
A partir das observaes da seo anterior, seria razovel perguntarmos se verdade, para qualquer aberto e qualquer k, que, sendo exata toda cadeia fechada
de Ck (), ento ser tambm exata toda forma fechada de Ak ().
Se tentarmos imitar a demonstrao do caso k = 1, veremos que h uma alterao
no quadro. Dada a 1-forma , uma forma tal que d = associa nmeros a
182
c1
B
A
c0
hc
J. O LEMA DE VOLTERRA
183
hc
x0
hc
S
x0
Exerccio: D uma pensada e entenda por qu deve ser um homomorfismo em
C1 (), respeitando < c1 , >=< c2 , > sempre que c1 e c2 forem equivalentes.
Vejamos agora como deve ser d. Basicamente, se x um ponto de e S uma
superfcie passando por x, queremos ver no que d
Z
1
lim
.
Sx areadeS S
Exerccio: Suponha S dada por : B , B bloco em IR2 . Defina h : [0, 1]B
por h (s, t1 , t2 ) = h(s, (t1 , t2 )). Estude o bordo de h at se convencer de que
(usando o teorema da divergncia e o fato de que d = 0)
Z
Z
=
.
S
184
.
B
hB
hB
x0
hB
Resta, pois,
1
lim
B0 (B)
1
= lim
B0
(B)
B
1
= lim
B0
(B)
B
J. O LEMA DE VOLTERRA
185
Z
,
<c, >=
hc
1 Z b
<c, >=
0
h
h
(h(s, c(t)))( (s, c(t)),
(s, c(t))c(t))dt
ds.
s
x
h
h
(h(s, c(t)))( (s, c(t)),
(s, c(t))c(t))ds
dt.
s
x
(h(s, x))(
0
h
h
(s, x),
(s, x)v)ds.
s
x
186
Captulo 15
APLICAES
Um apanhado razoavelmente completo das aplicaes dos resultados que acabamos
de abordar deveria cobrir praticamente toda a Fsica do sculo XIX. Com efeito,
pouco ou nada se fez em matria de Fsica (e Matemtica) durante o sculo passado
que no girasse em torno do que hoje conhecido como Teorema de Stokes1 . Tratase de uma obra faranica: se considerarmos que sua formulao d seguimento ao
Clculo dos sculos XVII e XVIII, no exagero dizer que veio coroar dois sculos
de esforos, envolvendo praticamente todos os fsicos e matemticos da Europa.
Diante do tamanho da empreitada, faremos algumas escolhas. Destacaremos algumas importantes questes topolgicas que esto por trs de muitos acontecimentos;
as questes fsicas sero abordadas sob a forma de exerccios, sem qualquer pretenso de sermos completos ou sistemticos.
Tem estado presente em nossas consideraes , aqui e ali, o nmero de voltas que
uma curva plana c d em torno de um ponto P . Tal nmero, em matematiqus2 ,
chamado ndice da curva c em relao ao ponto P e notado n(c, P ). Para facilitar
um pouco a notao , lidaremos com o ndice em relao origem, estando claro
que o caso geral anlogo.
1
Veremos, mais frente, a forma geral deste resultado, que engloba os teoremas clssicos
de Newton, Leibniz, Euler, Green, Gauss, Ostrogradski e Kelvin.
2
Toda corporao cria seu jargo , que consiste em dar a coisas simples nomes incompreensveis para os demais
187
188
Exerccio: Sejam c : [a, b] IR2 \ {0, 0}, de classe C 1 , c(t) = (x(t), y(t)), e uma
1-forma em IR2 \ {0, 0} tal que d 0.
(i) Seja H : [0, 1] [a, b] IR2 dada por
1s
c(t).
H(s, t) = s +
| c(t) |
Mostre que H de classe C 1 , que H(s, t) 6= (0, 0)(s, t) [0, 1] [a, b], que
H(1, t) = c(t) e que H(0, t) = (1/ | c(t) |)c(t).
(ii) Seja c : [a, b] IRR2 \ {0,R0} dada por c(t) = (1/ | c(t) |)c(t). Mostre que,
se c(a) = c(b), ento c = c .
(iii) Seja c1 : [a, b] S 1 = {(, ) IR2 | 2 + 2 = 1} de classe C 1 . Use
a forma de variao de ngulo para mostrar que existe : [a, b] IR, de
classe C 1 , tal
R t que c1 (t) = (cos (t), sin (t)) t [a, b]. Sugesto : tente
com 0 adequadamente escolhido.
(t) = 0 + a (y x + xy),
(iv) Seja c1 como em (iii). Mostre que existe H : [0, 1] [a, b] S 1 , de classe
C 1 , tal que H(1, t) = c1 (t) t [a, b], H(s, a) = c1 (a) s [0, 1], H(s, b) =
c1 (b) s [0, 1] e H(0, t) = c0 (t), onde c0 (t) = (cos 0 (t), sin 0 (t)), sendo
0 : [a, b] IR dada por
0 (t) = (a) +
ta
((b) (a))
ba
n = Rc ,
u
u : [0, 2] IR2 dada por u(t) = (cos t, sin t).
189
y
x
dx + 2
dy.
x2 + y 2
x + y2
Z
0 .
c
1
1 + x2
1
1 + z2
190
i
onde z um nmero complexo, vemos que ser necessrio (se quisermos f (z) CI
e f contnua) excluir do domnio os pontos z = i e z = i.
claro tambm que, se | z |< 1, vale
1
= 1 z2 + z4 z6 +
1 + z2
(trata-se da soma de uma PG). Agora podemos entender por que, embora f no
tenha singularidades em IR, sua srie de potncias no tem raio de convergncia
infinito: existe um obstculo, no em IR, mas em C.
I
Exerccio : Considere f (x) definida por
f (x) =
an (x x0 )n
n=0
P
n
e suponha que existe R > 0 tal que
n=0 an R < . Mostre que f est bem
definida para x ]x0 R, x0 + R[. Mostre que, se definirmos f para z complexo
por
X
f (z) =
an (z x0 )n
,
n=0
191
f
v1
c2
z
f (c2 )
f 0 (z)v1
f (z)
v2
c1
f (c1 )
f 0 (z)v2
R = (lim | an | n )1 .
P
n
Mostre que se z0 CI ento
n=0 an (z z0 ) converge se | z z0 |< R e diverge
se | z z0 |> R. R chamado raio P
de convergncia da srie. Mostre que se
n
f : BR (z0 ) CI definida por f (z) =
n=0 an (z z0 ) , ento existe, para todo z
em BR (z0 ),
f (z + h) f (z)
f 0 (z) = lim
h0
h
P
n1
0
.
e que f (z) = n=0 n.an (z z0 )
Pelo acima exposto, as funes de varivel complexa que surgem como extenso
natural de funes de varivel real (polinmios, por exemplo, se quisermos ficar nos
casos mais simples) so diferenciveis no sentido complexo.
Definio : Seja CI aberto e seja f : C.
I f dita diferencivel no
sentido complexo em z se existe o limite
f 0 (z) = lim
h0
f (z + h) f (z)
h
Diz-se tambm analtica. O termo analtica corresponde possibilidade de desenvolver f em srie de potncias. Temos, como conseqncia do Teorema de Cauchy, que as
duas noes so equivalentes.
192
se cruzam em z.
(ii) Jf (z) 0.
(iii) Se f (z) = (f1 (z), f2 (z)) = f1 (z) + if2 (z), ento valem as
Equaes de CauchyRiemann:
f2
f1
(z) =
(z) ,
x1
x2
f1
f2
(z) =
(z) .
x2
x1
= g(B) g(A) =
Z
=
193
(Teorema de Cauchy-Goursat).
Exerccio : Considere a 1forma z1 dz. Mostre que
1
xdx + ydy
ydx + xdy
dz =
+i
2
2
z
x +y
x2 + y 2
e conclua que se c uma curva fechada de classe C 1 em CI \ {0}, ento
Z
1
1
dz = n(c)
2i c z
Mostre que, sendo z0 CI fixo,
1
2i
Z
c
1
dz = n(c, z0 )
z z0
194
c(t)
c0 (t)
z0
f (z)
Exerccio : Fixe z0 . Considere a 1forma zz
dz. Mostre que se c uma
0
curva fechada em \ {z0 } tal que existe uma homotopia de classe C 1 entre c e a
curva constante z0 , ento
Z
Z
f (z)
f (z)
dz =
dz ,
c z z0
c0 z z 0
X (z z0 )n
1
1
1
1
=
=
=
zz
z
( z0 ) (z z0 )
z0 1 z0
( z0 )n+1
n=0
0
C. O TEOREMA DE BROUWER
195
z0
C
e conclua que, para z BR (z0 ), vale
f (z) =
an (z z0 )n ,
onde
n=0
an =
1
2i
Z
c
f ()
dz
( z0 )n+1
Isto prova
Teorema de Cauchy : Se f : CI holomorfa , ento f analtica, isto ,
se escreve como soma de uma srie de potncias em torno de cada ponto de . Em
particular, f de classe C .
O Teorema de Brouwer
Vimos na Introduo uma demonstrao do Teorema Fundamental da lgebra baseada na forma d. Vamos aqui obter um resultado um pouco mais geral, que j
estava, essencialmente, contido naquela demonstrao.
196
(B)
(0, 0)
S
Consideremos B = {(x, y) IR2 , x2 + y 2 1}. B pode ser pensado como uma
unio de crculos concntricos de centro em (0, 0). Neste sentido, toda aplicao
contnua : B IR2 d origem a uma homotopia entre (0, 0) e (S), sendo
S = {(x, y) IR2 , x2 + y 2 = 1}.
razovel supor, portanto, que se (S) envolve um ponto P de IR2 , ento existe
Q em B tal que (Q) = P . Envolve, no caso, significa: se c : [0, 1] IR2 dada
por c(t) = (cos2t, sen2t), ento n(c, P ) 6= 0.
Exerccio: Seja : B IR2 de classe C 1 . Seja P IR2 \ (S). Seja c : [0, 1] IR2
dada por c(t) = (cos2t, sen2t). Mostre que se n(c, P ) 6= 0, ento existe Q B
tal que (Q) = B.
Exerccio: Exiba e P como acima de modo que n(c, P ) = 0 mas exista Q B
com (Q) = P . O que est acontecendo ? Entenda que se P
/ (S) ento devemos
esperar que 1 (P ) tenha, em geral, | n(c, P ) | pontos.
Exerccio: Prove o Teorema Fundamental da lgebra.
Esperemos que j esteja clara a idia bsica: no possvel deformar uma curva c0
em uma curva c1 , sem passar pelo ponto P , se n(c0 , P ) 6= n(c1 , P ), isto ,
se : [0, 1] [0, 1] IR2 de classe C 1 e definimos cs : [0, 1] IR2 por cs (t) =
(s, t), sendo que cs (0) = cs (1)s [0, 1], ento, se n(c0 , P ) 6= n(c1 , P ), existe
(s0 , t0 ) [0, 1] [0, 1] tal que (s0 , t0 ) = P .
Exerccio: Prove isto.
Exerccio: Seja : B S tal que (x) = x x S, de classe C 1 . Mostre que
no existe.
C. O TEOREMA DE BROUWER
197
c1
n(c0 , P ) = 1
c0
P
n(c1 , P ) = 1
198
J vimos que uma 1-forma (ou um campo de vetores) pode ser pensada como uma
aplicao que a cada curva associa um nmero. Tentemos ser um pouco mais
rigorosos. Para simplificar a vida, consideremos apenas curvas fechadas.
No vamos nos preocupar com demonstraes, por ora, mas evidente que f 0 est
diretamente relacionada com dF (o prprio processo que nos levou a inventar dF
consistia em derivar f ).
De fato, j que f (0) = 0, segue do Teorema de Green que, se dF 0, ento
f 0. Observe que a demonstrao disto consiste em considerar c E e fazer
uma deformao de c em 0. Ora, uma deformao (homotopia) de c em 0 nada
mais do que um caminho em E !
Considere agora = {c : [0, 1] IR2 {(0, 0)}}, c de classe C 2 e tal que c(0) =
c(1).
Exerccio: Mostre que um aberto em E (com qualquer uma das normas
definidas acima).
Coloquemo-nos agora a seguinte questo: conexo ? Embora estejamos em
condies de justificar rigorosamente nossa resposta usando o Teorema de Green e a
forma d, a explicao intuitiva parece suficientemente convincente: no conexo
199
sc
(0, 0)
200
i ,
i = {c , n(c, 0) = i}
iZ
Z
Entenda-se, aqui, conexa por conexa por caminhos: conseqentemente, dois elementos c1 e c2 de esto na mesma componente conexa (por caminhos) se existe uma
homotopia de caminhos fechados em entre c1 e c2
201
202
Exerccio: Mostre que E um espao vetorial normado, por exemplo com a norma
k k= maxxS 2 | (x) | + maxxS 2 | 0 (x) |.
Seja = { E, (x) 6= (0, 0, 0)x S 2 }
Exerccio: Mostre que aberto. Entenda que no conexo. Considere n :
S 2 IR3 dada para n Z , por
n
(
z
, h), se z 6= 0
(|z| |z|
n (x, y, h) =
(0, h), se z = 0 ,
onde estamos identificando (x, y) IR2 com z C.
Mostre que se n 6= m, ento n e m esto em componentes conexas distintas de
.
~
r
3
Exerccio: Seja
R F dado em IR \ {(0, 0, 0)} por F = r3 . Seja f : IR dada
por f () = F ( foi definida logo acima). Mostre que f (n ) = 4n, n
como definida no exerccio anterior. Compare com o que foi feito para 1-formas em
IR2 \ {(0, 0)}.
Mais Exerccio:
(i) Considere uma 1-forma em IR2 \ {(0, 0)} com d = 0. J
R
vimos que c deve ser constante em cada componente conexa de
= {c : [0, 1] IR2 \ {(0, 0)}, c(0) = c(1), c de classe C 1 }.
R
Na realidade, porm, c no pode tomar quaisquer valores. Mostre que se cn (t) =
R
R
x
(cos2nt, sen2nt), ento cn = n c1 . Considere d(x, y) = x2y
dx+ x2 +y
2 dy.
+y 2
R
R
R
1
Seja = 2 c1 . Mostre que c = c d c .
Conclua que existe f : IR2 \ {(0, 0)} IR tal que = d + df , onde df =
f
f
x dx + y dy.
(ii) Uma 1-forma dita exata se existir f tal que = df , fechada se d = 0.
Seja Z 1 (A)={1-formas fechadas de classe C 1 em A}, A aberto conexo de IR2 . Seja
B 1 (A) = { 1-formas exatas de classe C 1 em A}. Mostre que B 1 (A) um sub-espao
vetorial de Z 1 (A). Mostre que se A = IR2 , ento Z 1 (A) = B 1 (A). Como deve ser
A para que Z 1 (A) = B 1 (A)? Se Z 1 (A) = B 1 (A), diz-se que A simplesmente
conexo. Mostre que se A = IR2 \{(0, 0)}, ento Z 1 (A) 6= B 1 (A). De maneira geral,
dado A, seja H 1 (A) = Z 1 (A)/B 1 (A) (H 1 (A) o espao quociente de Z 1 (A) por
B 1 (A)). Observe que o exerccio (i) leva concluso seguinte: se A = IR2 \ {(0, 0)},
203
f (c)h =
0
1
F2 F1
x1
x2
(c(t)) h1 (t)c02 (t) h2 (t)c01 (t) dt
d
(f H)(s)ds
ds
Seja : [0, 1] [0, 1] A de classe C 1 , com (s, 0) (s, 1). Seja H : [0, 1]
dada por H(s)(t) = (s, t). Mostre que H uma homotopia de classe C 1 . Conclua
que vale o Teorema de Green:
Z
Z
=
d
Observe que o mesmo resultado, com a mesma demonstrao, vale em IR3 para o
Teorema de Kelvin.
204
lim
kc1 ck0 0
c1
F
c1
R
Mostre que c F constante em cada componente conexa por caminhos de 0 .
Observe que o mesmo pode ser feito em IR2 e conclua que faz sentido falar em
ndice de uma curva c em relao a um ponto mesmo quando c apenas contnua.
(v) Considere um aberto conexo A de IR2 . Seja E0 = {c : [0, 1] IR2 , c contnua,
c(0) = c(1)}, com a norma k k0 usual. Seja = {c E, c(t) A t}. Para cada
c em , sua componente conexa (por arcos) dada por c = {d , existe
homotopia entre c e d}. A dito simplesmente conexo se tem uma s componente conexa (isto , se quaisquer duas curvas fechadas em A so homotpicas).
Mostre que esta definio coincide com a do exerccio (ii) acima. verdade que
o nmero de componentes conexas de igual dimenso de H 1 (A) definida no
exerccio (ii)?
Homologia Homotopia
Continuemos trabalhando em um aberto A IR2 (ou IR3 ). Nas questes topolgicas que acabamos de discutir, a idia bsica era observar que o conjunto das curvas
fechadas em A dividido em componentes conexas (por arcos), chamadas classes
de homotopia.
E. HOMOLOGIA HOMOTOPIA
A1
205
A2
206
c
c1
c2
c1
d1
c2
d2
E. HOMOLOGIA HOMOTOPIA
207
Z
=
c1
c2
Z
=
208
c1
ck
definio anloga
R valendo para 2-cadeias e 2-formas (para quem gosta, vale a observao de que um homomorfismo de mdulos entre as 1-cadeias analogamente para 2-cadeias e IR).
Observe agora que se : [a1 , b1 ] [a2 , b2 ] A uma superfcie, ento seu bordo
a cadeia definida por
= 20 + 11 21 10
onde 20 (s) = (s, a2 ), 11 (t) = (b1 , t), 21 (s) = (s, b2 ), 10 (t) = (a1 , t)
Podemos ento, se = n1 1 + + nk k uma 2-cadeia, definir seu bordo por
= n1 1 + + nk k
Recordemos que, com as definies acima, o Teorema de Kelvin se estende a cadeias
com o seguinte enunciado:
Teorema de Kelvin: Seja A IR3 um aberto. Se uma 2-cadeia de classe C 1
em A e uma 1-forma de classe C 1 em A, ento
Z
Z
=
d
=
c
.
Definio : Duas 1- cadeias c e d de classe C r em A so ditas C r -homlogas em
A (quando no houver dvidas quanto a A diremos simplesmente homlogas) se
existe uma 2-cadeia em A de classe C r tal que c d = . Notao: c d.
Observao : Para efeitos de homologia, consideramos
R iguais
R duas cadeias equivalentes no sentido anteriormente definido (c1 c2 c1 = c2 contnua em
A)
E. HOMOLOGIA HOMOTOPIA
209
c1
c3
c2
c2
p1
p2
c1
i=n
i=n
i=n
Exerccio:
()Na figura abaixo, mostre que c (c1 + c2 ) no aberto constitudo pelo plano
menos os pontos P1 e P2 .
()E na figura seguinte?
210
c
c2
p1
p2
c1
onde n1 , . . . , nk Z, P1 , . . . , Pk A.
Observao: Recordemos que a multiplicao de n Z por P A formal, e
nada tem a ver com a do escalar n IR pelo vetor P . Como de hbito, se n = 0,
nP ser considerado nulo.
Se c : [a, b] A uma curva, seu bordo definido por
c = c(b) c(a)
Se c = n1 c1 + + nk ck 1-cadeia, seu bordo
c = n1 c1 + + nk ck
E. HOMOLOGIA HOMOTOPIA
211
Exerccio IMPORTANTE: Seja uma 2-cadeia. Mostre que seu bordo uma cadeia
fechada (observe que basta provar para uma superfcie). Entenda o seguinte : se
A IR2 no tem buracos, ento toda 1-cadeia fechada em A deve ser bordo de
uma 2-cadeia.
Definio : Uma 1-cadeia c dita exata (em A) se existe uma 2-cadeia em A
tal que = c.
Exerccio: Diga que um aberto A simplesmente conexo se toda 1-cadeia
fechada em A exata. Entenda que essa nova definio coincide com as anteriores.
Exerccio: Seja A um aberto conexo (em IR2 ou IR3 , mas podia ser em qualquer
lugar). Sejam Z1 (A) = {1 cadeias fechadas em A}, B1 (A) = {1 cadeias
exatas em A}. Mostre que B1 (A) um subgrupo de Z1 (A) e que o grupo quociente
Z1 (A)/B1 (A) formado pelas classes de equivalncia de Z1 (A) pela homologia.
H1 (A) = Z1 (A)/B1 (A) chamado primeiro grupo de homologia de A (para
quem gosta: o posto de H1 (A), isto , o nmero mnimo de geradores de H1 (A),
chamado primeiro nmero de Betti de A; mostre que se A IR2 , primeiro
nmero de Betti de A uma forma sofisticada de dizer nmero de buracos de
A).
Exerccio: S para ir pensando. Considere, dado um aberto A IR3 , os seguintes
conjuntos
Ark (A) = {k formas de classe C r em A, k = 0, 1, 2}
Ckr (A) = {k cadeias de classe C r em A, k = 0, 1, 2}
e as aplicaes
h , i : Ck1 (A) A0k (A) IR , k =
R 1, 2
(c, ) 7 hc, i = c ,
d : Ark (A) Ar1
k+1 (A) , k = 0, 1
7 d
r (A) , k = 1, 2
: Ckr (A) Ck1
c 7 c
212
(note que poderamos ter usado nmeros reais no lugar de inteiros na definio de
cadeia).
() Observe que o Teorema de Kelvin afirma que d e so duais:
hc, i = hc, dic C11 (A), A11 (A).
(note que tanto como d so homomorfismos).
() Observe as seqncias
d
O Operador de Laplace
F. O OPERADOR DE LAPLACE
213
x + r~n
S2
~n
x
0
1
4r2
Sr (x) udS
, r>0 ,
m(0) = u(x)
Para entender a diferena entre u(x) = m(0) e a mdia de u nos pontos vizinhos
a x, seria conveniente calcular m0 . Ora, lembrando que S 2 = {~n IR3 , | ~n |= 1},
temos a mudana de variveis
S 2 Sr (x)
~n 7 x + r~n .
214
Z
u(x + r~n) ~ndS .
S2
Ora, considerando que o que mais nos interessa, a princpio, o sinal de m0 (r), vale
a pena investigar o sinal de .(u).
Z
udS
Sr (x)
F. O OPERADOR DE LAPLACE
215
para todo x em A e todo r positivo com Br (x) A. Neste caso, u dita subharmnica.
(ii) Se u(y) 0 para todo y em A, vale
u(x)
1
4r2
Z
udS
Sr (x)
para todo x em A e todo r positivo com Br (x) A. Neste caso, u dita super
harmnica.
3
4r3
Z
u.
Br (x)
Observe que, sendo u de classe C 2 , claro que qualquer uma das duas identidades
acima, se vlida para todo x em A e todo r tal que Br (x) A equivale a u 0.
Neste caso u dita harmnica.
Exerccio: Use as idias acima e o Teorema de Green para demonstrar a propriedade
2
2
da mdia para u : A IR2 , A aberto em IR2 (neste caso u = xu2 + xu2 e a mdia
1
2
tomada sobre uma circunferncia).
Exerccio: Observe que o correspondente ao Laplaciano em dimenso 1 a segunda
derivada. Note que se u :]a, b[ IR tal que u00 (y) 0 y ]a, b[, ento u
convexa; se u00 0, ento u cncava; traduza geometricamente, neste caso, a
propriedade da mdia. No exagere nas analogias: se u1 , u2 , u3 : IR2 IR so
dadas por u1 (x, y) = x2 y 2 , u2 (x, y) = 2x2 y 2 , u3 (x, y) = x2 2y 2 , ento
u1 0, u2 > 0, u3 < 0, mas u1 no linear afim, u2 no convexa e u3 no
cncava.
Um corolrio importante da propriedade da mdia :
Princpio do Mximo: Sejam A IR3 um aberto conexo e u : A IR de classe
C2
216
G. DIFUSO
217
Exerccio: Considere (x, y, z) = (rsencos, rsensen, rcos) (coordenadas esfricas) e v(r, , ) = u(x, y, z) = u(rsencos, rsensen, rcos). Mostre que
2
1
v
1 v
u(x, y, z) = 2
(r sen ) +
(sen ) +
(
)
r sen r
r
sen
(se no conseguir, ou no tiver coragem, olhe no COURANT).
Veremos mais frente o aparecimento do operador de Laplace em equaes a
derivadas parciais. Nestas situaes torna-se importante estudar o comportamento
dos autovalores e autovetores de .
Exerccio: Seja A IR3 um aberto limitado cuja fronteira S uma superfcie boa
para a aplicao do Teorema da Divergncia.
R
2 com u v 0 em S. Mostre que
A
I
R
de
classe
C
(i)
Sejam
u,
v
:
A 4uv =
R
u4v.
Sugesto:
calcule
(f
F
),
onde
f
uma
funo
escalar
e
F
um
campo
A
de vetores, aplique a uv e a vu, use o Teorema da Divergncia, etc..
(ii) Mesmas hipteses sobre uRe v. Suponha que existem , IR com 4u = u,
4v = v, 6= . Mostre que A uv = 0.
(iii) Mostre que se u : A IR de classe C 2 , u 0 sobre S, u(x) 6= 0 para algum
x em A e 4u = u, IR, ento < 0.
(iv) Adapte este exerccio para dimenso 1 fazendo A =]0, [ e 4 = D2 (segunda
derivada) e veja que tudo funciona. Neste caso quem so os autovalores e autovetores ?
Difuso
Retomemos u : [0, [A IR, A aberto em IR3 , u(t, x) representando a temperatura de x no instante t. Consideremos uma poro de A dada por um aberto B de
bordo S bom para o Teorema da Divergncia. Se representa a massa especfica e
c o calor especfico (supostos constantes para simplificar), a energia interna de B,
no instante t, ser dada (no nosso caso melhor dizer definida) por
Z
E(t) =
cu(t, x)dV
B
218
0
E (t) =
ku dS
S
G. DIFUSO
219
u
u
(ii) Suponha que n
(t, x) = 0 (t,R x) [0, [S ( n
= u n, onde n a normal
2
exterior a S). Mostre que n2 (t) = A |u(t, x)| dV decrescente.
< v1 , v2 >=
A
(x) = (x) , x A
(x) = 0
, x S,
de modo que os autovalores sero todos negativos e autovetores associados a autovalores distintos sero ortogonais.
(iii) Suponha ainda que o conjunto {n }nIN dos autovetores seja enumervel e
que todo elemento
P de E0 se escreva como combinao linear infinita dos n . Faa
ento U (t) = nIN cn (t)n , com cn : [0, [ IR e conclua que cada cn satisfaz
equao ordinria cn (t) = Kn cn (t).
P
(iv) Suponha conhecido que U (0) = f . Temos, ento , f = nIN cn (0)n . Fixado
m IN , multiplique escalarmente dos dois lados por m e obtenha
R
f m
cm (0) = RA 2 .
A m
220
Exerccio:
Sejam A e B dois pontos do plano , k um real positivo e seja c =
P | P A = kP B . Mostre que c um crculo (dito crculo de Apolnio).
Mostre que, se trocarmos o plano por IRN , c ser uma esfera (N 1)-dimensional.
Sugesto para a primeira parte: chame de V1 e V2 os dois pontos de c situados na
reta AB; mostre que P c se e somente se as bissetrizes dos ngulos formados
pelas retas P A e P B passam por V1 e por V2 ; conclua que P c V\
1 P V2 reto.
Sugesto para a segunda parte: use a experincia adquirida na primeira parte e
mostre que P c |P C| = |V1 V2 |/2, onde C = (V1 + V2 )/2 . Mostre que
|A C||B C| = R2 , onde R o raio de c.
Exerccio: Sejam S uma esfera (de dimenso N 1) em IRN e P um ponto outro
que o centro de S. Mostre que existe um (nico) ponto P tal que S esfera de
Apolnio para P e P . Mostre que, neste caso, a razo k d/R, onde R o raio de
S e d a distncia de P ao centro de S.
Exerccio: Considere duas cargas puntiformes, q1 e q2 , situadas em dois pontos
distintos, x1 e x2 , de IR3 . Os correspondentes campos eltricos provm de potenciais
V1 e V2 dados por (a menos de multiplicao por constante)
V1 (y) = q1
1
,
|y x1 |
V2 (y) = q2
1
.
|y x2 |
1
.
|x|
221
Sabemos que V (x) = 0 x 6= 0. O que talvez seja menos evidente que podemos
dar um significado a V (0). Uma conta simples mostra que ,se B uma bolinha
de centro 0 e S seu bordo,
Z
V = 4,
S
o que aponta para V (0) = . Mais interessante ainda tentar olhar para o
laplaciano de V no sentido das distribuies (veja pgina 77). Se : IR3 IR
uma funo -teste C de suporte compacto, teremos, no sentido das distribuies
,
Z
Z
Z
< V, >=
V =
V = lim
V =
IR3
Z
= lim
Z
S
Z
V
V +
R B
B
0 B
R B
IR3
= 0 + 0 4(0),
R , B , S
(R > 0 tal que e todas suas derivadas se anulam para x R; B
representam, como de hbito, bolas e esferas, tendo os respectivos raios como subndices).
Exerccio: Confira as igualdades acima. Em particular, se ainda no o fez, note
que, para u e v duas vezes diferenciveis, vale .(uv) .(vu) = uv vu.
Exerccio: Conclua que, no sentido das distribuies , o laplaciano de (V /4)
a distribuio de Dirac. Isto (e, de maneira um pouco mais geral, sem supor
x = 0), se : IR3 IR C e de suporte compacto, ento
Z
1
(y)dy = (x).
4|x y|
IR3
Exerccio: Use os mesmos argumentos para provar que, se B IR3 uma regio
IR contnua em B
e C 2 em B, com u 0
limitada pela superfcie S e u : B
em B, ento , com normal exterior em S,
Z
Z
1
1
~
~y .
u(x) =
u(y)
dSy
u(y)dS
4|x y|
4|x y|
S
S
Exerccio: Suponha agora, nas condies do exerccio anterior, que B uma bola
de centro na origem e raio R e faa, para x em B, x 6= 0, x
= (R2 /|x|2 )x. Note
que
R
y
= 0 y B
4|x||y x
|
222
e que
R
1
= 0 y S.
4|x||y x
| 4|x y|
Conclua que, neste caso,
Z
u(y)
u(x) =
S
R
1
4|x||y x
| 4|x y|
~y .
dS
Z
S
u(y)
dSy
|x y|3
(note que, pela propriedade da mdia, esta frmula vale tambm para x = 0).
Problema: Suponhamos agora, sendo B a bola de raio R e centro (0, 0, 0) e S = B,
IR, harmnica em B, a partir de seu
que queiramos construir uma funo u : B
valor em S. Podemos concluir que, dada f : S IR contnua, ento u dada pela
frmula
Z
R2 |x|2
f (y)
u(x) =
dSy
3
4R
S |x y|
e harmnica em B, com u(x) = f (x) x S?
contnua em B
Comecemos por um exame mais detalhado da funo de Green, definida para x
e y em B, x 6= y, por
G(x, y) =
1
R
.
4|x||y x
| 4|x y|
1
G(x, y) =
4
R
(|x|2 |y|2 + R4 2R2 < x, y >)1/2
|x y|
!
= G(y, x),
223
B,
R2 |x|2
y.
4R2 |y x|3
Z
S
f (y)
dSy ,
|y x|3
R2 |x|2
.
4R|y x|3
R
e conclua que, para todo x em B,
Faa u 1 em B
S K(x, y)dSy = 1. Note,
ainda, que K(x, y) > 0 (x, y) B S. Assim, para cada x em B, K(x, y) nos d
uma densidade de probabilidades em S, de forma que u(x) uma mdia, ponderada
por K, dos valores de f em S (K chamada de ncleo de Poisson).
Exerccio: Para concluir, fixe y0 em S e > 0. Tome 1 > 0 tal que |y y0 | < 1
|f (y) f (y0 )| < /2. Se S0 = {y S| |y y0 | < 1 } e S1 = S \ S0 , escreva, para
x em B,
Z
Z
u(x) f (y0 ) =
K(x, y)f (y)dSy
K(x, y)f (y0 )dSy =
S
Z
K(x, y)(f (y) f (y0 ))dSy +
S0
224
0
y
x
bx
xa
u(a) +
u(b).
ba
ba
225
segundo seu elemento de ngulo slido, sendo que pontos opostos em relao a x
tm suas ponderaes distribudas de acordo com a condio acima. Mostre que,
sendo u(x) dada pela mdia dos valores de f em S segundo a ponderao assim
definida, u(x) ser dada pela frmula de Poisson.
O visvel aspecto probabilstico da frmula de Poisson no mera coincidncia,
claro. Dentro da rea de Probabilidades, h toda uma sub-rea dedicada Teoria
do Potencial, em que nossa frmula obtida com argumentos bastante diferentes.
x 6= y:
Voltemos funo de Green, definida para x e y em B,
G(x, y) =
R
1
.
4|x||y x
| 4|x y|
IR de classe C 1 em B
e
Exerccio: Note que j provamos que, sendo u : B
com u limitada e integrvel em B, ento vale a frmula de representao de
Green:
Z
u(x) =
Z
G(x, y)u(y)dy +
~y
u(y)y G(x, y).dS
~y .
G(x, y)u(y).dS
u(x) =
G(x, y)u(y)dy +
B
~y ,
u(y)y G(x, y).dS
o que mostra que u pode ser reconstruda a partir de seus valores em S e dos valores
de seu laplaciano em B. natural que nos coloquemos a seguinte conjectura: dadas
: B IR, limitada e integrvel, e f : S IR contnua, a funo u, definida em
B por
Z
Z
~y
u(x) =
G(x, y)(y)dy +
f (y)y G(x, y).dS
B
e satisfaz a u = em B?
e em S por u(x) = f (x), contnua em B
226
G(x, y)(y)dy, x B.
v(x) =
B
(note que a derivao dentro do sinal de integral, neste caso, exige uma justificao
delicada).
Para calcular v = .v, a tentativa de derivar pela segunda vez dentro do sinal
de integral
conduz a uma integral cujo resultado no , em geral, finito (algo da
R
forma B1 |z|3 dz, onde B1 uma bola de centro 0).
Exerccio: Confira (faa 1).
No entanto, podemos calcular a divergncia como derivada exterior, diretamente,
pela definio . Neste caso obtemos, de fato, .v = . A idia , essencialmente,
sendo uma bolinha contendo x, de bordo , calcular
Z
1
lim
v . d~s.
x ()
Se pudermos trocar a ordem das integraes (note que, neste caso, estamos lidando
com integrais imprprias e a situao menos elementar do que no caso de funes
limitadas), teremos
Z Z
Z
v.d~s =
(y)x G(x, y)dy
Z Z
. ds~x =
(y)x G(x, y) . ds~x dy.
Na verdade, u uma 3-forma, de modo que seu valor em x no importa, mas sim os
valores de suas integrais sobre 3-cadeias
Z
x G(y, x) . ds~x =
227
0,
y
/
(y), y
Z
v . d~s =
(y)dy
Para fazer tudo conforme o figurino, devemos justificar a troca de ordem nas integrais. Usaremos livremente, no Lema abaixo, a forma no paramtrica do Teorema
da Divergncia.
Lema 1: Seja : IR3 IR3 limitada e integrvel e seja E : IR3 IR3 dado por
Z
(y)
E(x) =
(x y)dy.
3
IR3 4|x y|
Ento , se B IR3 um aberto "bom para o Teorema da Divergncia", temos
Z
Z
E=
.
B
228
|(y)|
dy <
2
4|x y|
3 area de B
Z
A
e
Z
|(y)|dy < .
3
A
dy <
.
2
4|x
y|
3
area
de B
3
IR \C
Nosso campo E se escreve, ento , como soma de trs campos: E = E0 + EA + EC ,
com
Z
(y)
(x y)dy,
EA (x) =
3
A 4|x y|
Z
(y)
(x y)dy,
EC (x) =
3
IR3 \C 4|x y|
Z
(y)
E0 =
(x y)dy.
3
C\A 4|x y|
Temos, ento ,
Z
E=
EC +
Z
EA +
E0 .
B
2
3
R
R
+ B E0 B .
E0 =
B
C\A
!
(y)
~x .
(x y)dy . dS
4|x y|3
229
Z
Z
E0 =
C\A
(y)
~
(x y). dSx dy.
4|x y|3
Se y
/ B, temos, pelo Teorema da Divergncia,
Z
(y)
~x = 0.
(x y). dS
4|x y|3
Logo,
Z
B
Z
Z
E0 =
(y)
B\A
Z
1
~x dy =
(x
y).
d
S
(y)dy.
4|x y|3
B\A
Como esta ltima integral difere do que queremos de menos que /3. o Lema est
demonstrado.
Uma verso mais conforme a nossas definies , com superfcies parametrizadas,
embora um pouco mais sofisticada, se demonstra com as mesmas ferramentas usadas para provar o Lema 1.
Lema 2: Sejam : IR3 IR3 limitada e integrvel e E : IR3 IR3 dado por
Z
E(x) =
IR3
(y)
(x y)dy.
4|x y|3
230
dy <
.
2
4 area de c(B)
A 4|x y|
Podemos, tambm, tomar um bloco D, com A D e c(B) D, tal que
Z
|(y)|
dy <
.
2
4|x
y|
4
area
de B
3
IR \D
Nosso campo E se escreve, ento , como soma de trs campos: E = E0 + EA + ED ,
com
Z
(y)
(x y)dy,
EA (x) =
4|x
y|3
A
Z
(y)
ED (x) =
(x y)dy,
3
IR3 \D 4|x y|
Z
(y)
(x y)dy.
E0 =
4|x
y|3
D\A
Temos, ento ,
Z
Z
E=
Z
ED +
Z
EA +
E0 .
c
R
R
+ c E0 c .
E0 .
2
c
c
Z
231
X Z
E0 =
c
E0 .
s(P ) c
Agora, basta observar que s(P ) se divide em blocos que contm elementos de X,
com c() A e blocos para os quais c um difeomorfismo. Os do primeiro tipo
formam uma coleo s1 (P ) tal que:
i.
ii.
E0 = 0 s1 (P ),
R
s1 (P ) c
|| < 2 .
s2 (P ).
E0 =
c
R
(|x|2 |y|2 + R4 2R2 < x, y >)1/2
|x y|
Z
G(x, y)(y)dy +
~y ,
f (y)y G(x, y).dS
!
.
232
u(x) = (x), x
u(x) = f (x),
x
IR contnua em
e de classe C 2
Mais especificamente, suponhamos que u :
em ,e que u um ponto crtico (de mnimo, digamos) de J sobre
V = v C 2 (, IR) C 0 (, IR) | v(x) = f (x) x .
Ento , para qualquer h C 2 (, IR) C 0 (, IR), com h(x) = 0 x , temos
que t = 0 ponto crtico (de mnimo) de : IR IR dada por (t) = J(u + th).
Exerccio: Calcule 0 (0) e mostre que, qualquer que seja h C 2 (, IR), com
h(x) = 0 x , temos
0
(0) =
(u + )h.
Note que, aqui, u tomado no sentido "fsico", ou, mais rigorosamente, como a
funo que corresponde derivada exterior da 2-forma definida por u
233
x
j
Z
(t, x)dV =
(t, x)v(t, x) dS
S
= (v) = v + v
t
(supondo e v de classe C 1 ).
Considere agora as trajetrias ao longo do fluxo, isto , para cada x, (s, t, x) dada
por
t (s, t, x)
234
ts (x)
= (s, t, x)
(15.1)
(15.2)
um difeomorfismo.
Exerccio : Mostre que ss = identidade, ts sr = tr e que Jts > 0 s, t.
Exerccio : Mostre que
Z
(t, y)v(t, y)dv =
(t) =
ts (B)
A derivada em relao a t desta expresso, 0 (t), deve ser igual soma das foras
externas que atuam sobre B.
Exerccio: Mostre que
235
ts (x)
(s, t, B)
0
(t) =
Z
(
D
(v) + v v)dV
Dt
onde
D
f
f
f (t, (s, t, x)) = (f (t, (s, t, x)) =
(t, (s, t, x))+ (t, (s, t, x))v(t, (s, t, x)) ,
Dt
t
t
y
f
D
ou seja, Dt
f (t, y) = f
t (t, y) + y (t, y)v(t, y)
D
Dt f
chamada
236
D
Dt = 0
v = 0
O rotacional e as rotaes
Z
0
1
F (x + r(cos , sin ).( sin , cos )d =
2r2
Z
F.
D
(x).
r0
2 x1
x2
Suponhamos agora que as coisas se passam em dimenso trs. Nosso campo F
um campo C 1 de velocidades em IR3 e nosso disquinho D est espetado pelas
mos de um Deus tetradimensional em x, podendo rodar apenas em um plano
normal ao vetor unitrio n (o sentido de n e o sentido positivo de rotao tomados
compatveis). As mesmas contas nos daro , ento ,
1
lim = F (x).n.
2
r0
Exerccio: Cuide dos detalhes tcnicos. Observe que, se nosso disquinho tiver o
direito de escolher o plano em que a velocidade angular ser mxima, a escolha
tender, quando o raio tender a zero, para o plano normal a F (x).
237
Continuemos pensando nosso campo C 1 F : IR3 IR3 como um campo de velocidades e examinemos seu comportamento perto de x, aproximando-o pela derivada.
Teremos, ento , para h em IR3 , h pequeno,
F (x + h)
= F (x) + F 0 (x)h.
Escrevendo F 0 (x) como soma de uma transformao simtrica com uma antisimtrica, obtemos:
F 0 (x) + F 0 (x)
F 0 (x) F 0 (x)
F (x + h)
h+
h.
= F (x) +
2
2
Assim, podemos enxergar F , nas cercanias de x, como soma de trs campos: o
primeiro, constante, age de forma transladar os corpos com velocidade fixa F (x);
o segundo dado por uma transformao linear simtrica; o terceiro, por uma
transformao linear anti-simtrica.
Exerccio: Note que .F (x) o trao de (F 0 (x)+F 0 (x))/2 e que (F 0 (x)F 0 (x))h =
( F (x)) h h IR3 . Note que (F 0 (x) F 0 (x))( F (x)) = 0.
Exerccio: Seja T : IR3 IR3 linear simtrica. Considere o fluxo associado a
h = T h. Diagonalize T , resolva explicitamente a equao e mostre que a densidade
da taxa de expanso volumtrica dada pelo trao de T .
Exerccio: Seja T : IR3 IR3 linear anti-simtrica. Considere o fluxo associado a
h = T h. Diagonalize T , resolva explicitamente a equao e mostre que o fluxo consiste em rotao em torno do eixo dado pelo autovetor correspondente ao autovalor
nulo. Calcule o vetor velocidade angular.
Exerccio: Note que nem tudo so flores. O fluxo correspondente equao x = T x,
com T linear, dado por x(t) = exp(tT )x(0). No entanto, se T = A + B, no
vale exp(T ) = exp(A)exp(B), a menos que A e B comutem. Em particular, se
A = (T + T )/2 e B = (T T )/2, isto s acontece se T T = T T . Mostre que isto
acontece se T for a matriz jacobiana de f , com f holomorfa (interpretada como
funo de IR2 em IR2 .
238
Sistemas Hamiltonianos
M. SISTEMAS HAMILTONIANOS
239
(t,B)
onde G(t, x) =
G
x1 (t, x)
+ +
G
xM (t, x).
Conclua que no caso acima, em que G : IR6N IR6N dada por G(z) = G(x, y) =
(y, f (x)), o fluxo preserva o volume.
Voltando ao problema dos N corpos, notemos que a fora Fi atuando sobre a
i-sima partcula dada por
Fi (x1 , . . . , xN ) =
N
X
Gmi mj
(xj xi )
|xj xi |3
j=1
j6=i
qi
qi =
240
H(p, q) =
N
X
1
|pi |2 + V (q) .
2mi
i=1
p =
(p, q)
q
H
q =
(p, q) .
(p, q)
p =
q
H
()
(p, q) .
q =
Mostre que H(p(t), q(t)) constante e que o fluxo do sistema () preserva volume
(isto , se B A J-mensurvel e tal que todas as solues de () comeando
em qualquer ponto (p0 , q0 ) de B existem no tempo t - dadas por (t, p0 , q0 ) ento ((t, B)) = (B)). Mostre que se H depende tambm de t j no se tem
conservao da energia mas a preservao do volume se mantm.
Observao : Um sistema como () dito um sistema hamiltoniano; H
dito o hamiltoniano do sistema. Nos exerccios anteriores tomamos um atalho
para passar das equaes de Newton s de Hamilton. H que ressaltar que nosso
procedimento foi absolutamente desonesto e pode dar ao leitor a impresso de
que trata-se apenas de chamar x de q (posio) e trocar a varivel velocidade por
impulso. Na realidade a coisa bem mais profunda. Ver, por exemplo, Arnold,
Mtodos Matemticos da Mecnica Clssica.
Consideraremos agora, para simplificar, H : IR3 IR de classe C 2 (as variveis
so (p, q, t)).
As solues de
M. SISTEMAS HAMILTONIANOS
241
p =
(p, q)
q
H
q =
(p, q) .
podem ser representadas em IR3 pelas curvas (p(t), q(t), t), que so tambm solues do sistema autnomo
(p, q)
p
(p, q)
q =
()
p
t = 1 .
H
onde F = ( H
q , p , 1) = x(0, p, H) e M a superfcie obtida deformando c
em (s, c) atravs do fluxo associado a F . Como F obviamente tangente a M ,
temos
Z
Z
pdq Hdt = pdq Hdt .
(s,c)
242
t
F (p, q, t)
(sc)
(p, q, t)
q
p =
i
qi
qi =
H
pi
N
X
i=1
N. EQUAES DE MAXWELL
243
(s,c)
O exerccio acima deve ser difcil (ou ao menos trabalhoso - de certa forma implica
em refazer a demonstrao do Teorema de Kelvin).
Exerccio : Seja S uma superfcie (objeto de dimenso 2) contido em um subespao t = t0 de IR2N +1 . Suponha que o bordo de S seja uma curva fechada c.
Obtenha do resultado do exerccio anterior que
Z X
N
N
X
Z
pi dqi =
c i=1
pi dqi
(s,c) i=1
area de i (S) =
i=1
N
X
i=1
Equaes de Maxwell
As chamadas Equaes de Maxwell abarcam e enunciam de forma matematicamente sucinta uma srie de resultados obtidos, basicamente ao longo do sculo
XIX, sobre os fenmenos eltricos e magnticos. Consideraremos trs campos de
vetores, E para o campo eltrico, H para o campo magntico e i para a densidade
de corrente (definidos em IR IR3 ). Consideremos tambm uma funo escalar ,
densidade de carga (tambm definida em IR IR3 ), e uma constante c, velocidade
da luz no vcuo.
As equaes de Maxwell no vcuo so :
.E = 4
.H = 0
1 H
E =
c t
4
1 E
H =
i+
c
c t
(lei de Gauss)
(inexistencia de fontes magneticas)
(lei de Faraday)
(lei de Amp`ere)
244
Comecemos pela lei de Gauss. Da lei de Coulomb, temos que, em unidades adequadas, o campo eltrico devido a uma carga de intensidade q colocada no ponto
x (agindo sobre uma carga unitria positiva colocada em y)10 ser dado por:
E(y) = q
1
(y x).
|y x|3
Para uma distribuio de cargas dada por , podemos generalizar a lei de Coulomb,
desde que independa do tempo t:
Z
(x)
E(y) =
(y x)dx.
|y
x|3
3
IR
Exerccio: Mostre que a integral acima finita se limitada e integrvel em IR3 ,
com integral finita. Voc pode melhorar estas hipteses?
Exerccio: Pense a distribuio dada por como caso limite de um grande nmero
de pequenas cargas, distribudas por um grande nmero de pontos do espao. Note
que, neste caso, o campo E evidentemente conservativo (embora no definido nos
pontos ocupados pelas cargas). Note ainda que, neste caso, o fluxo de E atravs
de qualquer superfcie fechada S seria igual a 4 vezes a carga total encerrada por
S.
Seja agora B uma regio do espao limitada por uma superfcie S, boa para o
teorema da divergncia (B pode ser uma bola). O fluxo de E atravs de S ser
dado por
Z
Z Z
(x)
~
~y .
E.dS = (
(y x)dx).dS
3
|y
x|
3
S
S IR
Exerccio: Reflita sobre a possibilidade de se trocar a ordem das integraes no
membro direita, j que a integral imprpria. Que condies devemos exigir
sobre para que E seja C 1 ? Note que, se, no lugar de uma distribuio contnua
de cargas, com densidade , tivssemos uma quantidade finita (mesmo que enorme)
de (pequenas) cargas, tais questes nem se colocariam; porm, como j destacamos,
o campo E no estaria definido nos pontos em que houvesse carga.
Exerccio: Trocando a ordem das integraes , mostre que
Z
Z
Z
Z
1
~=
~y )dx = 4
(y
x).d
S
(x)dx.
E.dS
(x)(
3
B
S
IR3
S |y x|
Conclua que, nos pontos de continuidade de , temos .E = 4, pelo menos no
seguinte sentido:
10
Esta carga deve ser entendida como uma abstrao , chamada carga de teste
N. EQUAES DE MAXWELL
1
lim
Bx (B)
245
~ = (x),
E.dS
onde B x significa que B uma bola contendo x, com raio tendendo a zero.
Exerccio: Sob que hipteses sobre podemos dizer que E conservativo, com
potencial dado por
Z
(x)
U (y) =
dx?
IR3 |y x|
x|
|y
x|
|y
x|
S
V
Suponha que E limitado e que a integral sobre SR tende a zero quando R tende
a infinito. Fazendo R e 0, conclua que
11
Maxwell, referindo-se a Faraday, diz:Ele nunca considera corpos como existindo sem
nada entre eles a no ser sua distncia. Ele concebe o espao inteiro como um campo
de fora, as linhas de fora sendo em geral curvas, e aquelas devidas a cada corpo se
estendendo a partir dele para todos os lados, suas direes sendo modificadas pela presena
de outros corpos. Este trecho se encontra no ponto 529 do tratado de Maxwell, O mtodo
deste tratado fundado no de Faraday
246
Z
(x) =
IR3
(y)
dV.
|y x|
q
(x y).
|x y|3
N. EQUAES DE MAXWELL
247
Z
E =
S
1d
c dt
Z
H.
S
1 H
.
c t
de forma que
dQ
d
=
dt
dt
Z
.
B
Por outro lado, temos que a variao de Q pode ser medida pelo fluxo de i atravs
de B:
Z
Z
dQ
=
i=
. i.
dt
B
B
248
1 . E
1
E
=
= .
.
t
4 t
4
t
Isto sugere que a equao original,
. i =
4
i,
c
seja corrigida, sendo-lhe acrescentado o termo, devido a Maxwell (e chamado de
corrente de deslocamento),
H =
1 E
.
4 t
Ficamos, assim, com
H =
1 E
4
i+
.
c
c t
+ . i = 0.
t
A partir das equaes de Maxwell, podemos obter uma interessante relao entre
nossos campos E e H e a equao da onda12 .
Comecemos da equao mais simples, . H = 0.
Exerccio: Note que, como estamos em IR3 , que retrtil, podemos aplicar o Lema
de Volterra e concluir que existe A : IR IR3 IR3 tal que
H = A.
Exerccio: Note que nosso A no nico. Mostre que a diferena entre dois possveis
As dada por f , para alguma f : IR IR3 IR.
12
A equao da onda j fora bastante estudada antes de Maxwell, mas do ponto de vista
das vibraes mecnicas. Seu aparecimento no estudo dos fenmenos eletromagnticos
tem importantes interpretaes , do ponto de vista fsico
N. EQUAES DE MAXWELL
249
1 A
= ,
c t
1
.
c t
Suponha que obtivemos (como o Lema de Volterra nos permite construir), um certo
valor para A, que chamaremos de A0 . A partir da, temos uma correspondente 0 .
Podemos, ento , tentar determinar f de forma que, sendo A = A0 + f , A e a
correspondente satisfaam relao acima.
Exerccio: Substitua A = A0 + f , faa as contas e mostre que tudo estar bem se
f satisfizer equao :
1 2f
1 0
f =
+ . A0 .
2
2
c t
c t
Exerccio: Da lei de Gauss e das relaes
E+
1 A
c t
. A +
1
c t
= 0,
250
1 2
= 4.
c2 t2
Assim, podemos dizer que substitumos a determinao dos campos E e H, satisfazendo s equaes de Maxwell, pela determinao do campo A (que pode ser
chamado de potencial vetorial ) e da funo (que tambm aparece como um potencial), satisfazendo s equaes :
1 2A
A = 4
c i
c2 t2
1 2
= 4
c2 t2
. A + 1c
t = 0
As duas primeiras equaes so equaes da onda no homogneas. A terceira
chamada de condio de Lorenz.
Exerccio: Suponha dados o campo i e a funo , e que A e satisfazem s
equaes acima. Faa
1 A
H = A, E = +
.
c t
Mostre que , i, H e E satisfazem s equaes de Maxwell.
Parte III
FORMAS DIFERENCIAIS
251
Captulo 16
INTRODUO
a
A discusso que leva ao conceito de determinante pode ser resumida em trs pontos:
(i) Se admitirmos volumes negativos e procurarmos : (IRN )N IR,
(v1 , . . . , vn ) = volume (com sinal) do paralelotopo formado por v1 , . . . , vn , ento deve ser uma forma n-linear alternada1 .
(ii) O espao das FORMASk-LINEARES
ALTERNADAS em IRN , notado
N
.
por Ak (IRN ), tem dimenso
k
(iii) Cada transformao linear T : IRN IRN define uma aplicao linear de
Ak (IRN ) em si mesmo, dada por 7 T , T (v1 , . . . , vN ) = (T v1 , . . . , T vN ).
Segue de (ii) que, para cada T : IRN IRN linear, existe um nmero detT tal que
T = detT para toda em Ak (IRN ).
Exerccio : Prove os pontos (ii) e (iii) acima (e entenda (i)).
Exerccio : Prove que se (sendo 1 o elemento neutro de IK) 1 + 1 6= 0, ento
(v1 , . . . , vk ) = 0 sempre que k-linear alternada e v1 , . . . , vk so linearmente
1
Dado um espao vetorial E sobre um corpo IK, uma forma k-linear alternada (ou
anti-simtrica) em E uma aplicao : E k IK tal que :
(i) (u + w, v2 , . . . , vk ) = (u, v2 , . . . , vk ) + (w, v2 , . . . , vk ), quaisquer que sejam u, w
em E e em IK.
(ii) (v1 , . . . , vi , . . . , vj , . . . , vk ) = (v1 , . . . , vj , . . . , vi , . . . , vk ), 1 i < j k
253
254
(u,v,w)=det(u,v,w) 2
Desta maneira (vamos discutir isto em detalhe daqui a pouco), as clssicas integrais
de linha de um campo de vetores, integrais de superfcie (fluxo) de um campo de
vetores e integral volumtrica de uma funo escalar podem ser re-interpretadas
em termos de formas multilineares alternadas: um campo de vetores, do ponto
de vista das integrais de linha, uma aplicao que a cada ponto associa uma
forma linear (alternada); um campo de vetores, agora para efeito de clculos de
integrais de superfcie, uma aplicao que a cada ponto associa uma forma bilinear alternada; j uma funo escalar, entendida como um integrando, uma
aplicao que a cada ponto associa uma forma tri-linear alternada.
Os Objetos e os Integrandos
B. OS OBJETOS E OS INTEGRANDOS
255
256
c(x)
Exerccio : Seja E um subspao vetorial de IRN , de dimenso k. Seja {v1 , . . . , vk }
uma base ortonormal de E (para o produto vetorial de IRN ). Observe que existe
uma nica Ak (E) = {formas k-lineares alternadas em E} com (v1 , . . . , vk ) =
1. Observe que se {w1 , . . . , wk } outra base ortonormal de E e
Ak (E)
tal que
(w1 , . . . , wk ) = 1, ento
= ou
= (sugesto: a transformao
U : E E dada por U vi = wi unitria; a forma
U dada por
U (z1 , . . . , zk )
=
(U z1 , . . . , U zk ) , como j vimos, dada por
U = detU
; como detU = 1,
temos 1 =
(w1 , . . . , wk ) =
U (v1 , . . . , vk ) =
(v1 , . . . , vk ); por outro lado, ainda
porque dimAk (E) = 1, existe tal que
= ; como
(v1 , . . . , vk ) = 1, segue
= 1).
DEFINIO : SEJA E UM ESPAO VETORIAL DE DIMENSO k COM
PRODUTO INTERNO. UMA FORMA k-LINEAR ALTERNADA EM E VALENDO 1 EM ALGUMA BASE ORTONORMAL DE E SER DITA UMA FORMA
DE VOLUME EM E.
OBSERVAO : O exerccio acima mostra que:
(i) Se uma forma de volume em E e {w1 , . . . , wk } uma base ortonormal
qualquer de E, ento (w1 , . . . , wk ) = 1;
(ii) S existem duas formas de volume em um espao.
Como amos dizendo, seja c : B IRN de classe C 1 . Fixemos, para cada subespao
E de dimenso k em IRN uma forma de volume volE . Nossa experincia com
mudanas de variveis, comprimentos e reas nos permite dizer que a relao entre
o elemento de volume de nosso k-cubo nas cercanias de c(x) e o correspondente
elemento de volume nas cercanias de x dada por
B. OS OBJETOS E OS INTEGRANDOS
257
| volE (c0 (x)e1 , . . . , c0 (x)ek ) |, onde {e1 , . . . , ek } base cannica de IRk e E o espao
gerado por {c0 (x)e1 , . . . , c0 (x)ek } (se, por acaso, dimE < k, faremos volE 0).
Assim, se quisermos calcular o volume de nosso k-cubo, poremos
Z
VOLUME DE c =
Observando ainda o sinal de f (c(x)) pode ser mudado, podemos dizer que estaremos
calculando
Z
f (c(x))volE (c0 (x)e1 , . . . , c0 (x)ek )
onde (c(x)) uma forma k-linear alternada no espao gerado por {c0 (x)e1 , . . . , c0 (x)ek }}
(que bem pode ser chamado espao tangente A c EM c(x)).
A maneira mais simples de definir uma forma k-linear alternada no espao tangente
de cada ponto de c(B) a seguinte: suponha que c(B) A IRN , A aberto, e que
a cada ponto y de A associamos uma forma k-linear alternada (y) em IRN , isto
: A Ak (IRN ) est definida; ento, para cada x B temos a forma (c(x)),
que pode ser restrita ao espao tangente a c em c(x).
Juntando tudo:
258
DEFINIO : SEJA A UM ABERTO4 DE IRN . UMA FORMA DIFERENCIAL DE GRAU k E CLASSE C r EM A UMA APLICAO : A
Ak (IRN ) de classe C r .
OBSERVAO : Ak (IRN ) um espao vetorial de dimenso finita. Portanto, a
definio de diferenciabilidade independe da norma escolhida. ser dita tambm
uma k-forma C r , ou apenas uma k-forma. Mais adiante, quando generalizarmos
a idia de forma diferencial, usaremos, para os objetos que acabamos de definir, a
expresso forma diferencial clssica.
DEFINIO : SEJAM A UM ABERTO EM IRN , UMA k-FORMA C 0 EM
A E c UM k-CUBO SINGULAR DE CLASSE C 1 COM VALORES EM A. A
INTEGRAL DE SOBRE c DEFINIDA POR
Z
Z
=
(c(x))(c0 (x)e1 , . . . , c0 (x)ek )
c
R
OBSERVAO : Se f : B IR contnua podemos re-interpretar B f da
seguinte maneira: Seja I k : B IRk dada por I k (x) = x. Seja f a k-forma
definida por f (x)(v1 , . . . , vk ) = f (x)det(v1 , . . . , vk ). Ento teremos
Z
Z
f=
f
B
Ik
(Observe que f pode ser estendida continuamente por reflexo, por exemplo a
um aberto contendo B).
Exerccio : Sejam A um aberto em IR3 , F : A IR3 um campo de vetores
contnuo e c : B A de classe C 1 , B bloco em IR2 .
Seja F : A A2 (IR3 ) dada por
F (x)(u, v) = det(F (x), u, v).
R
R
c
c
Observe que c F = B F (c(x)). x
(x)
(x)
x2
1
onde indica produto vetorial.
Sejam agora A um aberto de IRN , F : A IRN de classe C 0 e c : B A de classe
C 1 , B bloco em IRN 1 . Seja F : A AN 1 (IRN ) dada por F (x)(v1 , . . . , vN 1 ) =
det(F (x), v1 , . . . , vN ).
A rigor, basta supor A IRN . Neste caso de classe C r significa que se estende a
uma forma k-forma C r em um aberto contendo A.
4
C. A DERIVADA EXTERIOR
259
Observe que
c
c
det F (x),
F =
(x), . . . ,
(x)
x1
xN 1
B
c
Z
A Derivada Exterior
max
| (v1 , . . . , vk ) |
260
c0
c1
C. A DERIVADA EXTERIOR
261
c0
.
c1
0 f (s)ds =
c1R
c
0
1R1
H
= 0 0 F (H(s, x)). H
s (s, x) x (s, x) dsdx
A observao crucial que H um 2-cubo e o termo direita representa a integral
sobre H da 2-forma d dada por d(y)(u, v) = F (y).(U v). Observando
ainda que c0 e c1 constituem, de alguma forma, o bordo de H, conclumos que
nosso porocedimento produz algo de novo enfim: se variamos um k-cubo de c0 a
c1 de maneira que c0 e c1 constituam o bordo de um (k + 1)-cubo H, ento existe
uma (k + 1)-forma d tal que
Z
Z
Z
=
d
c1
c0
262
c0
c1
funes de pontos e diferenciais relacionando valores de uma funo em pontos
distintos; para pensar em termos de formas e derivadas exteriores relacionando
objetos geomtricos e seus bordos.
O Teorema de Stokes
Comecemos observando que nosso interesse no so os pontos e as funes de pontos, mas objetos geomtricos tais como curvas, superfcies e seus anlogos de outras
dimenses; as funes que nos ocupam associam nmeros a objetos geomtricos.
Consideremos pois que nossos objetos geomtricos esto divididos em classes, segunda a dimenso. Os objetos geomtricos de dimenso k sero constitudos de kcubos (essencialmente, unies finitas de k-cubos). Vamos cham-los de k-cadeias.
O exemplo bsico de uma k-cadeia o bordo de um (k + 1)-cubo, que constitudo
de 2(k + 1) k-cubos.
Pensemos pois um k-cubo como um objeto geomtrico de dimenso k, dotado de
uma orientao (se k = 1, temos curvas com sentido de percurso definido; se k = 2,
temos superfcies com direo normal definida idias vlidas em IR3 claro). Um
0-cubo um ponto. Convencionaremos chamar de c o objeto c com a orientao
trocada, de nc o mesmo objeto contado n-vezes.
D. O TEOREMA DE STOKES
263
c1
c2
Vamos substituir a idia de homotopia pela de homologia. Basicamente, a diferena a seguinte: uma homotopia entre dois objetos de dimenso k uma deformao de um no outro; uma homologia a construo de um objeto de dimenso
k + 1 cujo bordo constitudo pelos objetos homlogos.
Vale observar que, em nossas homotopias, temos sempre includo hipteses que
fazem com que sejam, em verdade, homologias. Sejamos um pouco mais explcitos.
264
c0
c1
No entanto, nem todas as homotopias so boas:
Na realidade, so boas apenas as homotopias que fazem de c1 c0 o bordo de um
(k + 1)-cubo em A. Embora sem definir bordo e sem explicar por que c1 c0 e no
c1 + c0 , podemos entender que este o caminho para o que procuramos. A idia
de homotopia considerar os k-cubos como pontos em E; o fato de desconhecermos seu carter k-dimensional faz com que tenhamos que escolher quais as boas
homotopias.
HOMOLOGIA Consideremos o bordo de um (k + 1)-cubo; certamente um
objeto k-dimensional, mas no um k-cubo (, na verdade, composto de 2(k + 1)
k-cubos). Assim, se quisermos falar em bordo, somos forados a trabalhar com
objetos mais gerais do que simples k-cubos. Diremos que uma k-cadeia de classe
C r uma soma formal
c = n1 c1 + + nl cl
D. O TEOREMA DE STOKES
265
cl
c0
c1
ou, se preferirmos,
Z
Z
=
d
c
Neste sentido, as operaes d : Ak,1 (A) Ak+1,0 (A) e : C k+1,1 (A) C k,1 (A)
so duais, j que podemos re-enunciar o Teorema de Stokes como
h, ci = hd, ci
266
c0
c0
c1
c1
dualidade. Veremos depois que, com definies adequadas, possvel eliminar esta
discrepncia.
Captulo 17
O TEOREMA DA
DIVERGNCIA
O que at aqui foi dito, por enquanto, deixou apenas no ar a possibilidade de um
teorema bastante geral. Vamos agora pr os ps no cho e abordar um caso em
que as coisas devem ser relativamente simples.
(N-1)-Formas em IRN
267
268
O Bordo do Cubo
N
X
sk ek ).
k=1
k6=1
B. O BORDO DO CUBO
269
figura 8
N X
1
X
(1)i+j Fij .
i=1 j=0
Observao: A definio acima est formalmente correta, geometricamente motivada e coerente com nossa experincia em dimenses 2 e 3. Falta, porm, o
principal: por que esta e no outra, para qu ? J que no h pressa, podemos,
pelo menos por enquanto, consider-la apenas uma definio possvel. No precisamos definir agora o bordo de I N ; a boa definio deve surgir ao procurarmos
demonstrar nosso teorema no cubo.
270
O Teorema
=
Fij
R
i . . . dxN =
= Bi det(a(x1 , . . . , xi1 , j, xi+1 , . . . , xN ), e1 , . . . , ei , . . . , eN )dx1 . . . dx
R
i1
Agora basta observar que, para cada i, o integrando o mesmo tanto para j = 1
como para j = 0: ai calculado como xi = j. Quem j aprendeu o Teorema
Fundamental
do Clculo sabe o que isto significa. Para acertar o sinal, bastaria
R
que Fij fosse precedida da mesmo sinal que (1)i1 , se j = 1 e o contrrio se
j = 0. Uma boa escolha (1)i+j . J podemos ratificar a definio do bordo de
IN :
I
N X
1
X
(1)i+j Fij
i=1 j=0
S resta enunciar (a prova est feita) nossa primeira verso do Teorema de Stokes
em dimenso N qualquer (provavelmente j conhecida no sculo XVIII):
TEOREMA DA DIVERGNCIA2 : SEJA UMA (N 1)-FORMA EM UM
ABERTO A DE IRN , DADA POR (x)(v1 , . . . , vN 1 ) = det(a(x), v1 , . . . , vN 1 ).
SE a : A IRN DE CLASSE C 1 e B um bloco contido em A, ENTO
Z
Z
=
d ,
I N
a expresso
a1
x1
+ +
aN
xN
IN
C. O TEOREMA
271
a1
x1
+ +
aN
xN
(x)det(v1 , . . . , vN ) .
272
Captulo 18
PEQUENA PAUSA PARA
REFLEXO
J temos uma primeira verso do resultado que estamos buscando. Slida, bvia
e, principalmente, insatisfatria. Queremos um teorema relativo a integrais de
formas de grau k qualquer envolvendo objetos de dimenso (k + 1) e seus bordos
(de dimenso k).
Ora, se considerarmos um (k + 1)-cubo singular c : B IRN , razovel supormos
que seu bordo seja a imagem por c do bordo de I K+1 . Por outro lado, se A um
aberto de IRN contendo c(B) e : A Ak (IRN ) uma k-forma, todos os clculos
de integrais referentes a tero que ser feitos trazendo tudo de volta para IRk+1
(e depois, verdade, para IRk ).
Em termos geomtricos, a aplicao c leva B para IRN ; na hora das contas, porm,
c traz os clculos de IRN para B. essa a nossa chance, pois em B j temos o
teorema desejado. Procuraremos a seguir esclarecer esse leva e traz.
273
274
Captulo 19
O PULLBACK
=
c
Ora, se olharmos com cuidado, veremos que o termo direita representa a integral
sobre c de uma nova k-forma,
: A Ak (IRN )
x 7 (x) ,
(x)(v1 , . . . , vk ) = ((x))(0 (x)v1 , . . . , 0 (x)vk )
0 (x)v2
v2
(x)
0 (x)v1
v1
275
276
Captulo 20
O BORDO
J definimos o bordo do k-cubo singular I k : B IRk , I k (x) = x. Visto que
qualquer k-cubo c se escreve c = c(I k ), natural definirmos
c = c(I k )
Observemos que isto significa que, para cada i = 1, . . . , k, j = 0, 1, consideramos,
supondo dado c : B IRN ,
cij : Bi IRN
(x1 , . . . , x
i , . . . , xk ) 7 c(x1 , . . . , xi1 , j, xi+1 , . . . , xN )
e definimos
c =
k X
1
X
(1)i+j cij
i=1 j=0
277
278
= (0, 0, 1),
= (0, 0, 1),
= (sens, 0, coss)
= (sens, 0, coss)
279
onde estamos identificando IRN +1 com IRN IR. Observe que
S N +1 (x1 , . . . , xN +1 ) = (senxN +1 senx2 cos2x1 ,
senxN +1 senx2 sen2x1 ,
senxN +1 senx3 cos2x2 , . . . ,
senxN +1 senxi+1 cos2xi , . . . , cosxN +1 ),
(x1 , . . . , xN +1 ) [0, 1]N +1 .
2
Note ainda que se y12 + + yN
+1 = 1, ento existe um nico xN +1 [0, 1]
2
2 = sen2 x
com cosxN +1 = yN +1 e que y1 + + yN
N +1 (compreenda que isto
N
+1
N
+1
significa que a imagem de S
a esfera S
= {(y1 , . . . , yN +1 ) IRN +1 ,
2
2
y1 + + yN +1 = 1} coberta apenas uma vez).
N +1
Para mostrar que S N +1 = 0, observe que Sij
degenerado sempre que i > 1 e
N +1
N +1
que S10 = S11 .
280
Captulo 21
O TEOREMA DE STOKES E A
DERIVADA EXTERIOR,
VERSO CLSSICA
c(I k )
I k
=
c =
d(c ) .
c
I k
Ik
A
c
281
d(c )(x) =
onde
a1
ak
+ +
x1
xk
det ,
Pk a1
Resta calcular
i=1 xi (x). Basta observar que, dados uma forma l-linear e
l vetores v1 , . . . , vl , a expresso (v1 , . . . , vl ) (l + 1)-linear (em , v1 , . . . , vl ) e,
portanto, se deriva como um produto.
Vamos supor que c seja de classe C 2 e que seja de classe C 1 (isto significa que
se y A e h IRN , ento 0 (y)h uma (k + 1)-forma em IRN ). Mos obra:
ai
, . . . , c0 (x)ek )+
(x) = (1)i+1 0 (c(x))c0 (x)ei (c0 (x)e1 , . . . , c0 (x)e
i
xi
k
X
, . . . , c0 (x)ek )
+ (1)i+1
(c(x))(c0 (x)e1 , . . . , c00 (x)ei ej , . . . , c0 (x)e
i
j=1
j6=i
P
a
Observemos agora que cada termo j dentro do sinal
reaparece em xjj (x), s
que os sinais se cancelam. De fato, consideremos i e j distintos. Podemos supor
j < i. Os termos em questo so
1
283
, . . . , c0 (x)ek ) (em
(1)i+1 (c(x))(c0 (x)e1 , . . . , c00 (x)ei ej , . . . , c0 (x)e
i
, . . . , c00 (x)ej ei , . . . , c0 (x)ek ) (em
e (1)i+1 (c(x))(c0 (x)e1 , . . . , c0 (x)e
j
ai
xi (x))
aj
xj (x))
A nica diferena que (1)j+1 e que o j-simo vetor da primeira expresso saltou
(i 1 j) casas para virar o i 1-simo vetor na segunda expresso, o que faz
com que os dois termos se cancelem.
Temos, portanto,
k
k
X
X
ai
, . . . , c0 (x)ek ).
(x) =
(1)i+1 0 (c(x))c0 (x)ei (c0 (x)e1 , . . . , c0 (x)e
i
x1
i=1
i=1
Podemos, agora dar uma primeira definio de derivada exterior e uma primeira
verso do Teorema de Stokes.
Definio : Sejam A um aberto de IRN e : A Ak1 (IRN ) diferencivel em x.
A derivada exterior de em x a forma k-linear alternada d(x), dada por
d(x)(v1 , . . . , vk ) =
k
X
(1)i+1 0 (x)vi (v1 , . . . , vi , . . . , vk ).
i=1