Cálculo Vetorial: Identidades

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:
( +) =
)
=
) +
)
=

= +

(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
)
= ( ) ( )

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

= ( )( ) ( )( )
= |

|

(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:
( ) ( ) = |

|
( ) ( ) = |

|

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


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.


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:
=


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
=


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.


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)


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


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
.


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


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

Cálculo Vetorial: Identidades

Încărcat de

Informații document

Descriere originală:

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Cálculo Vetorial: Identidades

Încărcat de

Drepturi de autor:

Formate disponibile

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

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

a mtrica e sua inversa, respectivamente. Sabendo que:

invariante com a posio do ponto de referncia

que representa um vetor que liga dois

e dentro do plano de angulao.

S-ar putea să vă placă și