Está en la página 1de 9

Clase 3

Algunas demostraciones vectoriales mediante el uso de la delta de Kronecker o el símbolo de Levi-


Civita
⇝ Partiendo de ei × ej = ∑k ijkek muestre que
3

ei ∑ ijkej
=1

ek
3

1
= 𝜖 ×
jk 2
, =1

Como es cierto que:


ei ej
× = ∑k ijkek
3

=1
𝜖

una permutación cíclica será válida, por lo tanto:

ek ei× = ∑j ijkej
3

∑i ijkei
=1

ej ek
3

× = 𝜖
=1

usaremos esta última y cambiaremos el índice del suma i → l.


ej ek× = ∑l ljkel
=1
3

Ahora, evaluemos
1

2
∑ ijkej
3

jk
𝜖 × ek =
1

2
∑ ijk∑l ljkel
jk
3

𝜖
3

∑ ijk ljkel
, =1 , =1 =1

1
= 𝜖 𝜖
2
ljk
ei Por qu
, , =1

= , ¿ é?
é?

⇝ A partir del hecho de que: A ×( B C × ) = ( A C B- A B C


· ) ( · ) , demuestre que:

∑k ijk lmk
3

=1
𝜖 𝜖 = 𝛿 𝛿 il jm - im jl 𝛿 𝛿

Consideremos A = ∑j Ajej , B ∑l Blel , C ∑


3

=1 m
=Cmem . Sustituyendo en la identidad
3

=1
=
3

=1

vectorial dada, tenemos:


jlm
Aj Bl Cm ej
, ,
×( el em× ) = ∑ AjCmej em∑l Blel
jm
,
3

=1
·
3

=1
- ∑ Aj Bl ej el ∑ Cm em
3 3

·
jl m
∑ AjBlCmej ∑r lmrer l j∑m AjCmBl jmel
, =1 =1

3 3 3

× 𝜖 = 𝛿
jml
- ∑ AjBlCm jl em
, , =1 =1 , , =1

𝛿
mjl , , =1

En donde el em ∑ lmr er , jm ej em , j m ej em , jl ej el . Por lo tanto:


3

× = 𝜖 𝛿 = · 𝛿 = · 𝛿 = ·
r
,

∑ AjBlCm lmr ej er ∑ AjCmBl jmel - ∑ AjBlCm jl em


=1

𝜖 × = 𝛿 𝛿
rjlm
, , , =1 ljm ljm , , , ,

Sí ej × er = ∑s jrses , entonces:
3

=1
𝜖


srjlm
3

AjBlCm lmr sjres ∑ AjCmBl jm lses


sljm
𝜖 𝜖 =
3

𝛿 𝛿

- ∑ AjBlCm jl mses
, , , , =1 , , , =1

𝛿 𝛿
sljm , , , =1

y de esta manera:

∑ ∑ lmr sjr
sjlm r
3

, , , =1
3

=1
𝜖 𝜖 +𝛿 jl ms - jm ls Aj Bl Cm es
𝛿 𝛿 𝛿 = 0

Como los es son vectores L. I. entonces los coeficientes deben ser "cero" y por lo tanto:

∑r lmr sjr
3

=1
𝜖 𝜖 = 𝛿 jm ls - jl ms
𝛿 𝛿 𝛿

Como los índices son mudos, llamaremos: l → , i m j r k s l j m . Así pues:


→ , → , → , →

∑k ijk lmk
3

𝜖 𝜖 = 𝛿 mj il - mi jl
𝛿 𝛿 𝛿

il jm - im jl
=1

= 𝛿 𝛿 𝛿 𝛿

=
𝛿 il im 𝛿

𝛿 jl jm 𝛿

⇝ Pruebe que: A B C
·( × ) = B C A ·( × ) = C A B ·( × )
Nuevamente: A = ∑i Aiei , B ∑j Bjej , C ∑k Ckek
3

=1
=
3

=1
=
3

=1

Partimos de A ·( B C
× )

A B C
·( × ) = ∑i Aiei ∑j Bjej ∑k Ckek
=1
3

·
3

=1
×
3

=1

= ∑ Ai Bj Ck ei ej ek
3

ijk
, , =1
·( × )

Pero como identificamos que ej × ek = ∑l jklel


3

=1
𝜖

A B C
·( × ) = ∑ AiBjCk jklei el
3

ijkl
𝜖 ·

∑ AiBjCk jkl il
, , , =1

= 𝜖 𝛿
ijkl

, , , =1

AiBjCk jki
3

= 𝜖
ijk
∑ AiBjCk ijk
, , =1

= 𝜖
ijk
, , =1

De igual manera, calculamos ahora

B C A
·( × ) = ∑j Bjej ∑k Ckek ∑i Aiei
3

·
3

×
3

∑ Ai Bj Ck ej ek ei
=1 =1 =1

= ·( × )
ijk
, , =1

De la misma manera: ek × ei = ∑l kilel


3

=1
𝜖

B C A
·( × ) = ∑ AiBjCk kilej el
3

ijkl
𝜖 ·


, , , =1

AiBjCk kil jl
3

= 𝜖 𝛿
ijkl
∑ AiBjCk kij
, , , =1

= 𝜖
ijk
, , =1
Pero como: kij𝜖 = - ikj
𝜖 = 𝜖 ijk , entonces:
B C A
·( × ) = ∑ AiBjCk ijk
ijk
3

, , =1
𝜖

Luego
A B C B C A
·( × ) = ·( × )

Ejercicio: Probar la igualdad faltante.


El vector posición que se utiliza en física estará proyectando las componentes del vector
cartesiano en la base de vectores unitarios localizados en la cabeza de dicho vector. Por lo tanto:

r xi yj zk
= + +

Como ei r , entonces:
hi ui
1 ∂
=

x x x
h u h u h u e
1 ∂ 1 ∂ 1 ∂

i 1

y

y
1

y
2 ∂ 2 3 ∂ 3

j u h u h u ee
1

=
h
1 ∂ 1 ∂ 1 ∂
(1)
k
2

z z z
1 ∂ 1 2 ∂ 2 3 ∂ 3

h u h u h u
1 ∂ 1 ∂ 1 ∂ 3

1 ∂ 1 2 ∂ 2 3 ∂ 3

De esta expresión matricial, tenemos:

i = ∑i hi uxi ei
3


∑i hi uyi ei
=1

j
3

1 ∂
=

∑i hi uzi ei
=1

k
3

1 ∂
=

=1

Luego

r x∑ hi uxi ei y∑ hi uyi ei z∑ hi uzi ei


3 3 3

1 ∂ 1 ∂ 1 ∂
= + +
i i ∂
i ∂ ∂

∑i hi x uxi y uyi z uzi ei


=1 =1 =1

=
1 ∂


+


+


(2)
=1

De esta manera la representación del vector r en cilíndricas será: h = 1 ,h = 𝜌 , hz =1,


x ,y ,z
𝜌 𝜃

= 𝜌 cos 𝜃 = 𝜌 sin 𝜃
r = xx yy zz xx yy zz

∂𝜌
+

∂𝜌
+

∂𝜌
𝜌+

∂𝜃
+

∂𝜃
+

∂𝜃
1

𝜌
𝜃

+ x xz y yz z zz k


+


+

=
2
zk
𝜌 cos 𝜃 + sin 𝜃 𝜌 + 0𝜃 +
2

Por lo tanto r = 𝜌𝜌 + zk
Ejercicio: Probar que en coordenadas esféricas
r rr
=

Teorema de Clairaut - Schwartz


Sea f x y una función derivable y continua en todos los puntos del dominio. Es estas
condiciones fxy fyx .
( , )

Demostración:
Sean
fx x y f x x y -f x y
x
( +𝛥 , ) ( , )
( , ) =
x
lim

f x y y -f x y
𝛥 →0 𝛥

fy x y
( , ) =
y
lim
𝛥 →0
(

y
, +𝛥 )

𝛥
( , )

Así pues:

fxy =
y xf x y

2

( , )

fxy
∂ ∂

y x
∂ ∂ ( , )
=
∂ ∂

fx x y y - fx x y
( , +𝛥 ) ( , )
=
y
lim
𝛥 →0 y 𝛥

f x x y y -f x y y - f x x y -f x y
x x
( +𝛥 , +𝛥 ) ( , +𝛥 ) ( +𝛥 , ) ( , )

x
lim
𝛥
x
lim
𝛥

y
𝛥 →0 𝛥 →0

=
y
lim
𝛥 →0 𝛥

f x x y y -f x y y -f x x y f x y
x y
( +𝛥 , +𝛥 ) ( , +𝛥 ) ( +𝛥 , )+ ( , )
=
𝛥y
lim
→0 x lim
𝛥 →0 𝛥 𝛥

f x x y y -f x x y - f x y y -f x y
y y
( +𝛥 , +𝛥 ) ( +𝛥 , ) ( , +𝛥 ) ( , )

y lim
y 𝛥
lim
𝛥

x
𝛥 →0 𝛥 →0

=
𝛥x
lim
→0 𝛥

fy x x y - fy x y
( +𝛥 , ) ( , )
=
x
lim
x
fyx x y
𝛥 →0 𝛥

= ( , )

Derivadas de vectores unitarios (coordenadas curvilíneas ortogonales)


Partimos del hecho que ei ej . Por lo tanto ⟂
ei ej r r
hi hj ui uj
1 1 ∂ ∂
· = 0 ⇒ · = 0
∂ ∂

En general: ur ur

·

. Ahora si i
= 0 ≠ j, podemos derivar este producto con respecto a la
i j
∂ ∂

tercera coordenada. Así pues:

r r r r 2
r r 2

u u u u u u u u u
∂ ∂ ∂ ∂ ∂ ∂ ∂
0 = · = · + ·
∂ 3
∂ 1
∂ 2
∂ 3
∂ 1
∂ 2
∂ 1
∂ 3
∂ 2

r r r r 2
r r 2

(3)
u u u u u u u u u
∂ ∂ ∂ ∂ ∂ ∂ ∂
0 = · = · + ·
∂ 2
∂ 1
∂ 3
∂ 2
∂ 1
∂ 3
∂ 1
∂ 2
∂ 3

r r r r 2
r r 2

u u u u u u u u u
∂ ∂ ∂ ∂ ∂ ∂ ∂
0 = · = · + ·
∂ 1
∂ 2
∂ 3
∂ 1
∂ 2
∂ 3
∂ 2
∂ 1
∂ 3

Si sumo dos de ellas y resto la tercera obtengo:


r r 2
r r 2

y ur u ru 2

u u u u u u
∂ ∂ ∂ ∂ ∂ ∂
· = 0, · = 0 · = 0
∂ 1
∂ 2
∂ 3
∂ 2
∂ 1
∂ 3
∂ 3
∂ 1
∂ 2

De ahí concluimos:
r e 2
r e y r e
2 2

u u u u u u
∂ ∂ ∂
⟂ , ⟂ ⟂
1 2 3
∂ 2
∂ 3
∂ 1
∂ 3
∂ 1
∂ 2

Otro elemento a tener en cuenta es que:

uj ei ei i j

{ · } = 0, ≠

ei ueij ueij ei
·


+


· = 0

ei ueij ·


= 0, ei ⟂


ei
uj
Utilizando estos dos resultados, calculamos explícitamente las segundas derivadas

r r r
u he u he
2

u u u u u u
∂ ∂ ∂ ∂ ∂ ∂ ∂
= = ( 3
) = = ( 2
)
3 2
∂ 2
∂ 3
∂ 2
∂ 3
∂ 2
∂ 3
∂ 2
∂ 3

Por lo tanto:
u he u he Ecuaci n e
∂ ∂
( 3
) = ( 2
) ( ó ⟂ )
3 2 1
∂ 2
∂ 3

De esto

h ue e hu h ue e hu 3


3
+
3


3
= 2


2
+
2


2

e e , tiene que ir en dirección e , por lo tanto


2 2 3 3


Como ∂ u
3

3 2
2

h ue e hu 3

3
=
2
∂ 2

e e h
∂ 2 ∂ 3

∂ ∂

u h u
3 2 2
=
∂ 2 3 ∂ 3

De la misma ecuación:
e e h
∂ ∂

u h u
2 3 3
=
∂ ∂

r , r , para obtener que:


3 2 2

De manera análoga pueden analizarse


2 2

u u u u
∂ ∂

∂ 1
∂ 3
∂ 1
∂ 2

∂ e e ∂ h ∂ e e h

u h u u h u
1 2 2 2 1 1
= =

e e e e
∂ ∂ ∂ ∂

h h
2 1 1 1 2 2

∂ ∂ ∂ ∂

u h u u h u
1 3 3 3 1 1
= =
∂ 3 1 ∂ 1 ∂ 1 3 ∂ 3

De forma compacta, esto lo escribimos como:


∂ ei ej hj ∂
i j (4)
∂ uj hi ui=

, ≠

e
Ahora, para obtener ui , utilizaré el producto cruz con los otros dos vectores que definen la

i ∂

regla de la mano derecha. Observemos:


e e e e e
u e e
∂ ∂ ∂

u u u
1 ∂ 2 3
= ( × ) = × + ×
2 3 3 2
∂ 1 ∂ 1 ∂ 1 ∂ 1

del resultado para


ei con i j, se tiene:

uj

∂ e he e
1 ∂ he e 1 ∂

u h u h u
1 1 1
= × + ×
1 3 2 1
∂ 1 2
∂ 2 3
∂ 3
= - he hu - he hu
2

2


1

2
3

3


1

De manera análoga:
∂e -e h - e ∂ ∂ h
u h u h u
2 1 2 3 2
=

e -e h - e
∂ ∂ ∂

h
2 1 1 3 3

∂ ∂ ∂

u h u h u
3 1 3 2 3
=
∂ 3 1 ∂ 1 3 ∂ 2

de forma compacta será:

∂ ei - ∑ ej hi 3

(5)
∂ ui i j hj uj=

Ejemplos:
Ejemplos:
En coordenadas cilíndricas:

∂ e -e h ∂
- hezz hz ∂

h
𝜌 𝜃 𝜌 𝜌
= = 0

e e h
∂𝜌 𝜃
∂𝜃 ∂

h
𝜌
=
𝜃
∂ 𝜃
= e e 𝜃
·1 =
𝜃
= 𝜃

e ez hz
∂𝜃 𝜌
∂𝜌

∂ ∂

z h
𝜌
= = 0
∂ 𝜌
∂𝜌

∂ e
e h ∂

h
𝜃 𝜌 𝜌
= = 0

e - e h - ez h - e
∂𝜌 𝜃
∂𝜃

∂ ∂ ∂

h hz z
𝜃 𝜌 𝜃 𝜃
= =
𝜌

e ez hz
∂𝜃 𝜌
∂𝜌 ∂

∂ ∂

z h
𝜃
= = 0
∂ 𝜃
∂𝜃

∂ ez e h ∂

hz z
𝜌 𝜌
= = 0

ez e h
∂𝜌 ∂

∂ ∂

hz z
𝜃 𝜃
= = 0

ez - e hz - e hz
∂𝜃 ∂

∂ ∂ ∂

z h h
𝜌 𝜃
= = 0
∂ 𝜌
∂𝜌 𝜃
∂𝜃

Tarea:
Realice el mismo procedimiento para los vectores unitarios en coordenadas esféricas con respecto
a r
( , 𝜃, 𝜑) . Demuestre que:

∂er e e -e

𝜃
er e

=
𝜃 r = =
𝜑
sin 𝜃

e e e -e
∂𝜃 ∂𝜃 ∂𝜑

∂𝜑
𝜃
=
𝜑
cos 𝜃

∂𝜑
𝜑

r = sin 𝜃 -e 𝜃
cos 𝜃

Y las demás son nulas

También podría gustarte