Vous êtes sur la page 1sur 14

BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 1/14


1. Verifiqueasseguintesidentidades:
(a) ( ) = 0e ( ) = 0
(b) ( +) = +
(c) ( +) = +
(d) ( ) ( +) =
2

2
, = , =
(e) ( ) ( +) = 2
(f) ( ) + ( ) + ( ) =
(g) ( ) ( ) = |


|
(h) Ocasoparticulardoitem(g)quando = e = .
(i) ( ) ( ) = [ ( )] [ ( )] = [ ( )] [ ( )]
(j) ( ) ( ) +( ) ( ) +( ) ( ) = 0

Tomaremos as seguintes expanses em uma base retangular:
= (
1
,
2
,
3
)
= (
1
,
2
,
3
)
= (
1
,
2
,
3
)
= (
1
,
2
,
3
)
Assim:
(a) Pela regra do produto misto, temos a seguinte matriz com duas linhas iguais (determinante nula):
( ) = |

3
| =
1

3
+
2

1
+
3

1
= 0
Ou, pela definio de produto vetorial, como = um vetor perpendicular a ambos os vetores
argumentos da operao ( e ), temos que = 0, pois, por definio, = cos(, ) =
cos( 2 ) = 0.
Analogamente, ( ) = 0.
(b) Pela distributividade, bastaria que ( +) = + . Ou seja:
( +) = (
1
,
2
,
3
) [(
1
,
2
,
3
) +(
1
,
2
,
3
)]
= (
1
,
2
,
3
) (
1
+
1
,
2
+
2
,
3
+
3
)
= (
1

1
+
1

1
,
2

2
+
2

2
,
3

3
+
3

3
)
= (
1

1
,
2

2
,
3

3
) +(
1

1
,
2

2
,
3

3
)
= (
1
,
2
,
3
) (
1
,
2
,
3
) +(
1
,
2
,
3
) (
1
,
2
,
3
)
= +
ou, pela notao de Einstein:
( +) =

)
=

) +

)
=


= +
BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 2/14
(c) Pela distributividade, bastaria que ( +) = + . Por outro lado, utilizando uma
abordagem mais sistemtica, temos que:
( +) = (
1
,
2
,
3
) [(
1
,
2
,
3
) +(
1
,
2
,
3
)]
= (
1
,
2
,
3
) (
1
+
1
,
2
+
2
,
3
+
3
)
= (
2

3
+
2

2
,
3

1
+
3

3
,
1

2
+
1

1
)
= (
2

2
,
3

3
,
1

1
) +(
2

2
,
3

3
,
1

1
)
= (
1
,
2
,
3
) (
1
,
2
,
3
) +(
1
,
2
,
3
) (
1
,
2
,
3
)
= +
(d) Pela regra da associatividade provada no item (b), temos:
( ) ( +) = + =
2

2

(e) Pela regra da associatividade provada no item (c), temos:
( ) ( +) = + = 2
(f) Sendo:
= (
2

2
,
3

3
,
1

1
)
e:
= ( )
temos que:

1
=
2
(
1

1
)
3
(
3

3
)
=
2

1
+
3

3

=
1
(
2

2
+
3

3
)
1
(
2

2
+
3

3
)
=
1
(
1

1
+
2

2
+
3

3
)
1
(
1

1
+
2

2
+
3

3
) +
1

1

=
1
( )
1
( )

2
=
3
(
2

2
)
1
(
1

1
)
=
3

2
+
1

1

=
2
(
3

3
+
1

1
)
2
(
3

3
+
1

1
)
=
2
(
1

1
+
2

2
+
3

3
)
2
(
1

1
+
2

2
+
3

3
) +
2

2

=
2
( )
2
( )

3
=
1
(
3

3
)
2
(
2

2
)
=
1

3
+
2

2

=
3
(
1

1
+
2

2
)
3
(
1

1
+
2

2
)
=
3
(
1

1
+
2

2
+
3

3
)
3
(
1

1
+
2

2
+
3

3
) +
3

3

=
3
( )
3
( )
Portanto:
( ) = (
1
( )
1
( ),
2
( )
2
( ),
3
( )
3
( ))
= (
1
( ),
2
( ),
3
( )) (
1
( ),
2
( ),
3
( ))
= ( )(
1
,
2
,
3
) ( )(
1
,
2
,
3
)
= ( ) ( )
BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 3/14
Ou seja, o produto vetorial triplo ( ) retorna um vetor que uma soma vetorial de e :
( ) = +
onde = ( ) e = ( ).
Utilizando, ento, a antissimtria do produto vetorial e trocando os vetores e , temos que:
( ) = ( ) = ( ) +( )
( ) = ( ) = ( ) +( )
Logo:
( ) + ( ) + ( )
= ( ) ( ) ( ) +( ) ( ) +( )
= ( ) +( ) +( )
=
(g) Seja:
= ( ) = (
2

2
,
3

3
,
1

1
) = (
1
,
2
,
3
)
e:
= ( ) = (
2

2
,
3

3
,
1

1
) = (
1
,
2
,
3
)
temos que:
=
1

1
+
2

2
+
3

3

onde:

1
= (
2

2
)(
2

2
)
=
2

3
+
3

2
= (
3

3
)(
3

3
)
=
3

1
+
1

3
= (
1

1
)(
1

1
)
=
1

2
+
2

2

Assim:
( ) ( ) =
2

3
+
3

3

+
3

1
+
1

3

+
1

2
+
2

2

= (
1

1
+
2

2
+
3

3
)(
1

1
+
2

2
+
3

3
)
1

3

(
1

1
+
2

2
+
3

3
)(
1

1
+
2

2
+
3

3
) +
1

1
+
2

2
+
3

3

= ( )( ) ( )( )
= |


|
BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 4/14
(h) De acordo com o resultado do item (g):
( ) ( ) = |


|
quando = e = , temos:
( ) ( ) = |


|
=
2

2
( )


como o resultado final o quadrado da norma do vetor , este deve ser maior ou igual a zero:
( ) ( ) =

0
Assim:

2
( )

2
( )


(i) Pela relao de

do item (f), tomando ( ) para a associao, sabemos que:


( ) ( ) = [( ) ] [( ) ]
Todavia, existe uma propriedade de invarincia por permutaes cclicas do produto misto:
[( ) ] = (
2

2
,
3

3
,
1

1
) (
1
,
2
,
3
)
=
2

1
+
3

2
+
1

3

=
1
(
2

2
) +
2
(
3

3
) +
3
(
1

1
)
= [ ( )]
= [ ( )]
Logo:
( ) ( ) = [ ( )] [ ( )]
O mesmo valido tomando ( ) para a associao, onde temos, analogamente, que:
( ) ( ) = ( ) ( )
= [ ( )] +[ ( )]
= [ ( )] [ ( )]
(j) Utilizando o resultado do item (g), temos que:
( ) ( ) = [ ( )]
= [( ) ( )]
= ( ) ( )
= ( )( ) ( )( )
= |


|
Analogamente:
( ) ( ) = |


|
( ) ( ) = |


|
BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 5/14
Perceba que o termo da diagonal principal de ( ) ( ), ( )( ), se repete na diagonal
inversa de ( ) ( ). Logo, se somarmos ambos os resultados, esses termos se anulam. Isso acaba
se repetindo para todos termos das operaes, ou seja:
( ) ( ) +( ) ( ) +( ) ( ) =
= ( )( ) ( )( )
( )( ) +( )( )
+ ( )( ) ( )( )
= 0


BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 6/14
2. Seja{
1
,
2
,
3
}umabaseortonormalorientadasegundaaregradamodireita.Considereosvetores
=
1
+2
2
+3
3
, = 4
1
+5
2
, = 3
1
+2
2
+
3

(a) Verifiquequeformamumabase.
(b) Qualovolumedoparaleleppedogeradopor, e?
(c) Qualaorientaodessabase?

(a) Para verificar que uma tripla de vetores formam uma base em um espao
3
, basta verificar que eles so
linearmente independentes entre si, ou seja:
+ + = 0 = = = 0
Para satisfazer tal igualdade, vlido verificar que o produto misto entre os mesmos retorna um valor no
nulo, o que implica que a disposio entre eles gera um slido com volume igual ao mdulo desse produto.
Assim:
( ) = |
1 2 3
4 5 0
3 2 1
| = 9 0
(b) O valor do volume do paraleleppedo dado pelo mdulo do resultado do item (a), que igual a 9.
(c) Como o valor do produto misto negativo, essa base orientada segunda a regra da mo esquerda.

BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 7/14
3. Expresseoprodutoescalarentredoisvetoresemtermosdesuascomponentescovariantesecontravariantes.

As componentes contravariantes e covariantes de um vetor so aquelas que representam, respectivamente,
os coeficientes da expanso do vetor uma base especfica e na base dual (recproca) dessa base especfica.
Ou seja, adotando as operaes com o vetor expandido em uma base retangular (ortonormal):
= (
1
,
2
,
3
)
{
1
,
2
,
3
}

para sua expanso na base :
= (
1
,
2
,
3
)


e na base dual

:
= (
1
,
2
,
3
)


o conjunto {
1
,
2
,
3
} e {
1
,
2
,
3
} so denominados, respectivamente, por conjunto dos componentes
contravariantes e covariantes do vetor .
Para encontrar o conjunto dos componentes contravariantes do vetor dado, devemos seguir as definies da
base:
= {
1
,
2
,
3
}
e sua dual:

= {
1
,
2
,
3
}
e as seguintes regras de reciprocidade:

= {
1, se =
0, se
(1)
Assim, o produto escalar de dois vetores e , sendo:
= (
1
,
2
,
3
)

= (
1
,
2
,
3
)


= (
1
,
2
,
3
)

= (
1
,
2
,
3
)


pode ser expresso, seguindo a definio da equao 1, como:
= (
1

1
+
2

2
+
3

3
) (
1

1
+
2

2
+
3

3
) =
1

1
+
2

2
+
3

3
=


= (
1

1
+
2

2
+
3

3
) (
1

1
+
2

2
+
3

3
) =
1

1
+
2

2
+
3

3
=


Note que:
=

) =

) =


onde

a mtrica e sua inversa, respectivamente. Sabendo que:


temos:
=


BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 8/14
4. Determineoprodutovetorialentredoisvetoresnumsistemadecoordenadasoblquo.Determineascomponentes
covariantesecontravariantesdesseproduto.

A partir da definio dadas pela resoluo do exerccio 3 e da definio de ortogonalidade das bases com suas
permutaes cclicas:

1
= (
2

3
) e
1
=

(
2

3
)

2
= (
3

1
) e
2
=

(
3

1
)

3
= (
1

2
) e
3
=

(
1

2
)
verifica-se que os coeficientes das expanses podem ser expressos por:

3
=1
=

)
3
=1
=

3
=1
=

)
3
=1
=


e que os coeficientes de ortogonalidade so expressos por:
=
1

1
(
2

3
)
=
1

=
1

1
(
2

3
)
=
1


=
1

2
(
3

1
)
=
1

=
1

2
(
3

1
)
=
1


=
1

3
(
1

2
)
=
1

=
1

3
(
1

2
)
=
1


Assim, temos que:
= (
1
,
2
,
3
)

= (
1
,
2
,
3
)


= (
1
,
2
,
3
)

= (
1
,
2
,
3
)


= (

2

3

3

1

1

2

= (

2

3

3

1

1

2


Logo, conclumos que:
=

) = (

= (

)
=

) = (

)
O mesmo igualmente verificado se expandirmos uma das somas para facilitar a visualizao:
=

(
1

1
+
2

2
+
3

3
)
=

1
+

2
+

3

= [
2

1
(
2

1
) +
3

1
(
3

1
)] +[
1

2
(
1

2
) +
3

2
(
3

2
)] +[
1

3
(
1

3
) +
2

3
(
2

3
)]
= (
2

3
+
3

2
) +(
1

1
) +(
1

2
+
2

1
)
= (
2

2
)
1
+(
3

3
)
2
+(
1

1
)
3

= (

; () em permutaes cclicas
=


BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 9/14
5. Use o resultado acima para demonstrar a validade de ( ) = ( ) ( ) num sistema de
coordenadasoblquo.

Utilizando a notao de Einstein e a permutao cclica dos componentes como definido no resultado do
exerccio 4, sabendo que:

= [
1
(
2

3
)]


= [(

2

3

) (
2

3
)]


= (
2

3
) (
2

3
)
= |

2

2

2

3

3

2

3

3
|
= |
1 0
0 1
|
= 1
temos que, para as componentes contravariantes dos vetores:
( ) = [

( )

( )


= [

)]


= (


= (

+(


= (


= ( ) ( )
Ou, de outra forma:
( ) =

) (

)
= [

)] (

)
= (

) (

)
= (

+(


= (


= ( ) ( )
Como o resultado obtido no depende de nenhuma peculiaridade da base adotada, o mesmo vlido para as
componentes contravariantes dos vetores.

BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 10/14
6. Dadaabase

1
= 4
1
+2
2
,
2
= 3
1
+3
2
,
3
= 2
3

emque{
1
,
2
,
3
}umabaseortonormal,encontreascomponentescovariantesecontravariantesdovetorque
ligaaorigemaoponto(1,1,1).

A partir da definio dadas pela resoluo dos exerccio 3 e 4, como o vetor que liga a origem do sistema ao
ponto dado pode ser expresso por:
= (1,1,1) (0,0,0) = (1,1,1)
onde percebe-se que:
(, , ) = + +
calculando os produtos:

1

2
= (4
1
+2
2
) (3
1
+3
2
) = 18
3


2

3
= (3
1
+3
2
) (2
3
) = 6
1
6
2


3

1
= (2
3
) (4
1
+2
2
) = 4
1
8
2

=
1
(
2

3
) = (4
1
+2
2
) (6
1
6
2
) = 36
e a base dual:

1
=

=
6
1
6
2
36
=
1
6

1
+
1
6

2


2
=

=
4
1
8
2
36
=
1
9

1
+
2
9

2


3
=

=
18
3
36
=
1
2

3

temos que suas componentes contravariantes e covariantes para a base dada e sua dual so dadas
respectivamente por:
= (
1
,
2
,
3
)

= (
1
,
2
,
3
)


= (
1
6
+
1
6
,
1
9
+
2
9
,
1
2
)

= (18, 6 6, 4 8)


= (0,
1
3
,
1
2
)

= (18, 0, 12)





BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 11/14
7. Mostreque
(a)

[ (

2
)] = (

3
)
(b)

2
=

+
(c)

= se

2
= ()

(a)

[ (

2
)] =

2
)

. 1
+

2
)
= (

2
+

3
)
= (

3
)
(b)

2
= (

2
)
=

)
=

+
(c)

) =

2

= ()
= () ( )
=
Logo

constante

BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 12/14
8. Otorquedeumaforacomrespeitoaumpontodadopelaexpresso
=
emqueovetordeposiodoinciodovetoremrelaoa.Aprojeodeemumeixopassandopor,
i.e.,aquantidade

= = ( )
emqueumvetorunitrionadireodoeixo,chamadadetorquedecomrelaoaoeixo.Proveque

independentedaposiodeem.

Adotando uma translao ao ponto , obtemos o novo vetor direo

dado por:

=
e sabendo que um vetor definido dentro do eixo , ou seja, possui mesma direo, tal que:
=
temos que a nova projeo obtida expressa por:

= (

)
= [( ) ]
= ( ) ( )
=


Ou seja, a projeo de em independente do ponto referencial adotado.

A figura acima ilustra a projeo

invariante com a posio do ponto de referncia

.

BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 13/14
9. Provequerotaesinfinitesimaissovetores.Dica:considereduasrotaessucessivas,porexemplo,deumngulo

1
aolongodoeixo,quelevaumponto
1
daesferaunitriaaoponto
2
;eemseguidaumarotaode
2
ao
longodoeixoquelevaoponto
2
noponto
3
naesfera.Useasrelaes
2

=
1

+(
1

1

)e
3

+(
2

2

).

Para que essas rotaes infinitesimais sejam consideradas vetores, alm de possurem magnitude e direo,
devem obedecer lei da linearidade. Ou seja, dadas duas rotaes infinitesimais com magnitude e direo, a
soma de ambas deve retornar uma outra rotao infinitesimal de magnitude e direo obedecendo construo
da mesma. Especificamente, podemos definir as rotaes infinitesimais como:

=
1

+
1

+(
1

) e
3

=
2

+
2

+(
2

2

)
que levam, respectivamente, do ponto
1
em uma esfera unitria ao ponto
2
atravs da rotao de um ngulo

1
e do ponto
2
ao ponto
3
atravs da rotao de um ngulo
2
. Para que sejam vetores, a seguinte igualdade
deve ser obtida:

+
3

1

+(
1
+
2
)
1


Perceba que as operaes de rotao so, por parte, dadas por produtos vetoriais de um vetor

que normal
ao plano de angulao (ou paralelo ao eixo de rotao) e outro vetor

que representa um vetor que liga dois


pontos ( e ). Esse produto retorna um vetor na direo ortogonal ao vetor

e dentro do plano de angulao.


Entretanto, esse movimentao resulta numa translao em si, e no em uma rotao, como ilustrado na
figura abaixo, onde
2

o resultado para uma operao com um ngulo maior. Logo, essa operao s vlida
para rotaes infinitesimais, onde o ponto
2
aproximadamente o ponto referente rotao, tal que, para um
ngulo
1
suficientemente pequeno:

1

1

=
1

sen(
1
,
1

)
1



BC1418: Clculo Vetorial e Tensorial UFABC Lista 01 (Rodrigo Fresneda) v266

Fernando Freitas Alves fernando.freitas@aluno.ufabc.edu.br 29/04/14 pg. 14/14
Unindo ambas as rotaes infinitesimais, temos a seguinte rotao final que leva o ponto
1
ao ponto
3
:

+
2

2


= (
1

+
1

1

) +
2
(
1

+
1

1

)
=
1

+
1

1

+
2

1

+
2
(
1

1

)

1

+(
1
+
2
)
1


0
para rotaes
infenitesimais