Escolar Documentos
Profissional Documentos
Cultura Documentos
uma estrutura diferenciavel de dimensao n + nk . A saber, sejam U uma
vizinhanca coordenada em M e (x1 , .., xn ) seu
Para
sistema de coordenadas.
(p), ..,
(p) de vetores
cada p U consideremos em Tp (M ) a base
x1
xn
tangentes coordenados e seja : Tk (M ) M a projecao canonica de
[
Tk (M ), isto e, (v) = p, sev k (Tp M ). Entao
k (Tp M ) sera uma
pU
ai1 i2 ..ik
(p) ..
(p) 7 (x1 (p), ..., xn (p), a12...k , .., a(nk+1)...n ).
xi1
xik
X
1i1 <..<ik n
..
)(p).
xi1
xik
23
(p), ..,
(p) forem uma base positiva
vetores tangentes coordenados
x1
xn
de Tp M .
[
Analogamente, para E k (M ) :=
k ((Tp M ) ) podemos induzir nap M
turalmente uma estrutura diferenciavel que sera chamado de k-fibrado cotangente de M . Chamaremos de k-forma diferenciavel a toda aplicacao suave da
forma : M T k (M ) tal que (p) k ((Tp M ) ). Localmente, no sistema
(p), ..,
(p) escreveremos uma k{dx1 (p), .., dxn (p)} a base dual de
x1
xn
forma diferenciavel como
p =
1i1 <..<ik n
onde o produto esta implcito na igualdade acima, isto e, (dxi1 dxi2 ..dxik )p :=
(dxi1 dxi2 .. dxik )p . O espaco das k-formas diferenciaveis em M sera
denotado por E k (M ).
Seja (x1 , .., xn ) qualquer sistema de coordenandas em M . Para cada
f : M R suave definimos o diferencial de f como a 1-forma df que tem
representacao local
n
X
f
df =
dxi .
x
i
i=1
X
Em geral, para cada k-forma , localmente =
fi1 ..ik dxi1 ..dxik ,
1i1 <..<ik n
24
Defini
c
ao 3.1 A aplicac
ao bilinear
: Ei (M ) Ej (M ) Ei+j (M )
(X, Y ) 7 X Y, (X Y )(p) = X(p) Y (p)
e chamado de produto exterior de k-campos. A algebra dos k-campos vetoriais
para todo k ser
a denotada por E(M ). Analogamente, podemos definir o produto
exterior de k-formas diferenci
aveis
Seja g a metrica riemanniana em M . A metrica restrita a Tp M sera identificada
por gp . A extensao de gp a (Tp M ) tambem sera denotada por gp . Sejam X
e Y k-campos vetoriais em M . Definiremos a funcao g(X, Y )
p M
(3-1)
Defini
c
ao 3.2 Seja X Ek (M ). A k-forma j(X) definida por j(X)(p) =
j(X(p)) sera chamada de k-forma associada a X. A (n k)-forma j(X) sera
chamada a (n k)-forma associada a X. Em particular se f 0 (M ) =
C (M ) ent
ao j(f ) = f .
Seja N o n-campo unitario que define a orientacao. Chamaremos a j(N )
a forma de volume em M a qual sera denotada por vol. Definamos para
cada X Ek (M ) a (n k)-forma iX vol tal que para todo p M temos
(iX vol)p = iX(p) volp e notemos por (2-22) que
iX vol = j(X),
X Ek (M ).
(3-2)
k
..
)k2 = det[g(
,
)]. Ent
ao
xi
xn
xi xj
..
=
gN
x1
xn
vol =
gdx1 dx2 ..dxn
(3-3)
(3-4)
25
..
)(p) = f (p)N (p).
x1
xn
..
)(p)) = f (p). Sendo {
, ..,
}
Como N = 1 entao ((
x1
xn
x1
xn
= g. Por tanto f = g, mostrando
(
..
)=
..
x1
x1
xn
xn
assim (3-3).
Por outro lado, sendo volp base de n ((Tp M ) ) temos que
Prova : Sendo N (p) base de n (Tp M ) entao (
entao
..
(p)
x1
xn
= (dx1 ..dxn )p (
..
)
g x1
xn
1
= .
g
Por tanto, vol =
g dx1 .. dxn .
2.
(3-5)
Proposic
ao 3.6 Sejam f 0 (M ) = C (M ), X Ek (M ) e Y E(M )
26
ent
ao
(f ) = grad(f )
(3-6)
dj(X) = j(X).
(3-7)
(X Y ) = (X) Y + (1)k X (Y )
(3-8)
( definicao de )
= j 1 ( d(j(X) j(Y )) )
= j 1 ( dj(X) j(Y ) + (1)k j(X) dj(Y ) )
= j 1 (dj(X)) j 1 (j(Y )) + (1)k j 1 (j(X)) j 1 (dj(Y ))
Diante disto e por definicao de temos que
(X Y ) = (X) Y + (1)k X (Y ). 2
3.2
Os operadores rot e div sobre E(M )
Sejam M n variedade riemanniana orientada, com metrica g.
Defini
c
ao 3.7 Sejam s e k inteiros positivos tal que s + k + 1 = n. Definamos
os operadores
rot : Ek ()
X
div : Ek ()
X
Enk1 ()
rot(X) = (1)s(k+1) (X).
Ek1 ()
div(X) = (1)s(k+1) (X).
27
U Ek (M ), V Es (M )
(3-9)
Agora, mostraremos um resultado que relaciona as formas associadas a kcampos com os operadores definidos acima.
Proposic
ao 3.8 Seja X Ek (M ). Entao
dj(X) = idiv(X) vol.
(3-10)
(3-11)
Proposic
ao 3.9 Sejam X um k-campo sobre M e f C . Entao
div(f X) = f div(X) + (1)s(k+1) (f ) X.
(3-12)
Em particular, se k = 1 ent
ao
div(f X) = f div(X) + g((f ), X).
(3-13)
28
Proposic
ao 3.10 Seja (x1 , x2 , .., xn ) sistema de coordenadas coerentes com a
2
orientacao de M . Definamos g := k
..
k = det[g(
,
)]. Entao
x1
xn
xi xj
1 g
div(
) =
(3-14)
xi
g xi
X
d
div(
..
) = (1)k
(1)j div(
)
..
..
xi1
xik
xij xi1
xij
xik
j
(3-15)
, ..,
} e que
x1
xn
1
dx1 .. dxn = vol. Seja N o n-campo unitario que define a orientacao de
g
M . Entao, por (2-20) e (2-21) temos que
div(
) =
x1
x1
= j 1 d(j
)
x1
= j 1 d( gdx2 ..dxn )
1 g
= j (
dx1 dx2 ..dxn )
x1
1 1 g
= j (
vol)
g x1
1 g
1 g
N =
.
=
g x1
g x1
29
Tambem
div(
..
) = (1)(k+1)(nk1) (
..
)
x1
xk
x1
xk
= (1)(k+1)(nk1) j 1 d(j (
..
))
x1
xk
k
X
g
(k+1)(nk1)
1
= (1)
j (
dx1 dxk+1 ..dxn )
xi
i=1
k
X
d
ki 1 g
=
(1)
..
..
g xi x1
x1
xk
i=1
k
= (1)
k
X
(1)i div(
i=1
)
..
..
xi x1
x1
xk
Exemplo 3.11
Sejam a n-variedade Rn , a base canonica {e1 , .., en } e {dx1 , .., dxn } a base
dual. Suponha que N = e1 e2 e3 e4 en define a orientacao de . Notemos
que
ei = j 1 dj(ei ) = j 1 ddxi = j 1 d2 xi = 0, i.
Seja X =
n
X
fi ei entao
i=1
a) X
=
=
n
X
i=1
n
X
(fi ei )
(fi ) ei
i=1
n X
n
X
fi
ej ] ei
=
[
xj
i=1 j=1
X fj
fi
=
[
]ei ej
x
x
i
j
1i<jn
}ei ej )
xi xi
1i<jn
X
fj
fj
=
(1)i+j1 {
}e1 ..b
ei ..b
ej .. en
x
x
i
i
1i<jn
c) div (X) =
n
X
30
div(fi ei )
i=1
n
X
[(fi ) ei + fi div(ei )]
=
i=1
n X
n
X
fi
=
[
ej ] ei
xj
i=1 j=1
n
X
fi
2
=
xi
i=1
Observa
c
ao 3.12 Se X e um campo vetorial em M ent
ao div(X) e a
3
divergencia usual em M . Se M R entao div(X) e rot(X) s
ao a divergencia
3
e o rotacional usual em R .
n
X
{g(vi , U ) g(ui , V )}
xi
i=1
(3-16)
g(f, V )
= (h U )
(f V )
xj
xi
xj
xi
(3-17)
Prova:
Primeiro, provaremos para U = f x i e V = h x j , i < j. Entao por (3-12),
31
)
xi xj
f hdiv(
) + (1)(n3)3 (f h) (
)
xi xj
xi xj
f hdiv(
)
+ f hdiv(
)
)
xi xj
xj xi
)
+ ((f h).
)
((f h).
xi xj
xj xi
f div(
)V + hdiv(
)U (f
)V (h U )
xi
xj
xi
xj
+(f V )
+ (h
)U
xi
xj
f div(
)V + hdiv(
)U (f
)V (h).U
+
xi
xj
xi
xj
+(f.V )
+ (h.
)U
xi
xj
(f div
+ f
)V + (hdiv
+ h.
)U
xi
xi
xj
xj
(h).U
+ (f.V )
xj
xi
div(U )V + div(V )U [U, V ].
div(U V ) = div(f h
=
=
fi
div(U V ) =
X
X
X
=
Ui e V =
hj
=
Vj
xi
x
j
i
j
j
div(Ui Vj )
i,j
X
{div(Ui )Vj + div(Vj )Ui [Ui , Vj ]}
i,j
X
X
X
X
X
X
= div(
Ui )(
Vj ) + div(
Vj )(
Ui ) [
Ui ,
Vj ]
i
Corol
ario 3.14 Seja V = V 1 V 2 .. V k tal que V i E1 (M ), i. Entao
k
X
ci .. V k +
div(V ) = (1)
(1)i div(V i ) V 1 ..V
k
i=1
k
(1)
1i<jk
ci ..Vcj .. V k . (3-18)
(1)i+j [V i , V j ] V 1 ..V
32
Prova:
Procedendo como na demonstracao do teorema anterior. 2
Observa
c
ao 3.15 Sejam V i , i = 1, .., k campos vetoriais em M tal que
div(V i ) = 0 e [V i , V j ] = 0 para todo i, j. Entao, pelo corol
ario anterior
div(V 1 .. V k ) = 0
(3-19)
(3-20)
n
n
X
X
fi
(f fi )
3.11 temos div(U ) =
, logo div(f U ) =
, onde f e uma funcao
xi
xi
i=1
i=1
P
suave de M . Em geral, sejam os campos U i = nj=1 fji ej , i = 1, .., k, em E1 (M )
entao por (3-12) e (3-20)
X
div(U 1 .. U k ) = div(
i1 , ..ik = 1n fi11 ..fikk ei1 .. eik )
=
n
X
i1 ,..ik =1
Logo, por (3-8), (2-25) e pelo valor da divergencia para 1-campos temos
n
n
X
X
fi11 ..f k ik
div(U .. U ) =
ei (ei1 .. eik )
x
i
i1 ,..ik =1 i=1
1 k
n
k
X
X
fi1 ..f ik
nk
j
ei eij ei1 ..c
eij .. eik
=
(1)
(1)
x
i
i1 ,..ik =1
j=1
1 k
k
n
X
X
fi1 ..f ik
nk
j
= (1)
(1)
ei1 ..c
eij .. eik
xij
j=1
i ,..i =1
1
nk
= (1)
k
X
(1)
j=1
n
X
j
k j
div(fi11 ..fc
eij .. eik .2
ij ..fik V )ei1 ..c
i1 ,..ibj ..ik =1
(3-21)
Portanto, V (x, y) =
33
1<i1 <..<ik n
(3-22)
k,n,n,..,n
X
f 1 c
r
k
r
(1) divy
u ..ur ..u V
ej ej1 ..c
ejr .. ejk .
yj j1 jr jk
r,j,j1 ,..jbr ..,jk
(3-23)
2 f (x y)
2 f (x y)
=
, i, j. Disso, por (3-17),
xi xj
yi yj
notando que V independe dos xi , por definicao de laplaciano e por definicao
do colchete de lie temos que
Prova:
Notemos que
n
X
f
= (4x (f ))V
x (
) V ei
xi
i=1
n
X
f
) V ei
= (4y (f ))V
(
y
i
i=1
Agora por (3-12) temos que
n
X
f
f
V)
div(V )}ei
divx ((x f (x y)) V (y)) = (4y (f ))V
{div
yi
yi
i=1
n
X
f
= (4y (f ))V
div
V ei + (div(V ))y f.
yi
i=1
Mostrando assim (3-22). Agora mostraremos (3-23): Seja U = U 1 .. U k
ci .. U k . Por (3-17), definicao de
Ek (M ) e os (k 1)-campos Ai = U 1 ..U
2 f (x y)
2 f (x y)
laplaciano e notando que U independe dos xi e que
=
xi xj
yi yj
34
temos que
divx (x (f ) U ) = (1)k (4x (f ))U (1)k
k
X
(1)i [x f, U i ]x Ai
i=1
k
X
f
i
= (1) (4x (f ))U (1)
(1) {
x (
) U ej } Ai
xj
i=1
j=1
k
!
n
X
X
f
= (1)k (4y (f ))U + (1)k
ej
(1)i1 y (
) U i Ai .
y
j
j=1
i=1
k
n
X
n(k1)
n
X
ej y (
j=1
n
X
j=1
f
) U que
yj
f
f
A =
ej div(
U)
div(U )
yj
yj
j=1
n,k
n
X
X
f 1 c
nk
r
k
r
div
= (1)
(1)
uj1 ..urjr ..ujk V
ej ej1 ..c
ejr .. ejk
y
j
j,r=1
n
X
ej y (
f
) U.
yj
j1 ,..jbr ..,jk
(y f ) div(U ).
Isto mostra (3-23).