Professional Documents
Culture Documents
Vamos considerar o conjunto C (a) das todas funes cujo domnio inclui o
ponto a Rn . Portanto, para f, g C (a) e a Rn possvel denir funes
(f, g) f + g
(1)
(f, g) f g
(2)
(, f ) f
(3)
n
P
i=1
xj x=a
i=1
(4)
n
X
i=1
xj
(5)
(6)
(7)
(8)
i,j=1
d
f (a + t(x + a))dt
dt
f (x) = f (a) +
0
(9)
d
Para calcular a derivada dt
f (a + t(x + a)) usamos a formula (1.1.5) onde (t) =
a + t(x a). Substitumos o resulatdo na formula (1.2.19) e obtemos
f (x) = f (a) +
n
X
i=1
f
dt (xi ai )
xj a+t(xa)
(10)
li (x) =
0
f
dt
xj a+t(xa)
(11)
Para ests funes podemo usar formulas analogas a formula (1.2.19), i.e.
li (x) = li (a) +
0
d
li (a + t(x + a))dt
dt
n 1
1X
li (x) = li (a) +
0
i=1
d
dt li (a
(12)
li
dt
xj a+t(xa)
(13)
lij (x) =
0
li
dt
xj a+t(xa)
(14)
n
n
X
X
li (a)(xi ai ) +
lij (x)(xi ai )(xj aj )
i=1
i,j=1
(15)
(16)
(17)
(18)
(19)
n
X
i i
(21)
i=1
(22)
Portanto,
D(xi ) =
n
X
i i = i
(23)
i=1
n
X
i=1
i i (f )
(24)
f
i x
i e Y f =
i=1
n
P
f
n
i x
i em U R .
i=1
n
X
j i
i,j=1
X (Y (f )) =
n
X
j i
i,j=1
n
X
i f
f
+
j j i
j
i
x x
x x
i,j=1
(26)
n
X
f
j f
+
i i
j
i
x x
x xj
i,j=1
(27)
n
n
X
X
i=1
i
i
j
xj
xj
j=1
j
f
xj
(28)
Para ser explcitos nas varias utilizaes que podem ser feitas com o commutador:
onde [X, Y ]p (f ) = Xp (Y f ) Yp (Xf ) ou seja explicitamente
[X, Y ]p (f ) =
n
X
(p)
i,j=1
j
xi
p
f
xj
n
X
(p)
i,j=1
i
xj
p
f
xi
(29)
Sejam X = 2x e Y =
+ 2yx
dois campos vetoriais denidos sobre
x
x
y
R2 X, Y X(R2 ) . Vamos agora calcular [X, Y ] X(R2 )
!
f
f
2f
f
2f
X(Y f ) = 2x
+ 2yx
= 2x 2 + 2y
+ 4yx2
x x
y
x
y
xy
!
(30)
2
f
f
f
2f
2
Y (Xf ) =
+ 2yx
2x
=2
+ 2x 2 + 4yx
x
y
x
x
x
xy
Portanto no nal
X(Y f ) Y (Xf ) = 2y
f
f
2
= [X, Y ]f
y
x
n
P
f
i x
i e Y f =
i=1
n
P
f
n
i x
i em U R .
i=1
Bilinearidade
n
X
i,j=1
1i
2i
(31)
n
i
i
X
j
j 1 + 2
= [X1 , Y ] + [X2 , Y ]
xi xj i,j=1
xj
xi
(32)
Anticomutatividade
Idendidade de Jacobi
(33)
(34)
(35)
(36)