Casa abierta al tiempo

91

[Ejemplo l.[ Dado el tensor de tercer orden Tyk, forman las 9 cantidades T3jk un tensor de
segundo orden?
El tensor dado se transforma segn la ecuacin 30,

* ijk ^ %ni ^nj &pk * mnp

Saquemos de aqu las componentes de la forma T3jk poniendo i = 3,

a
T nj apk =

En virtud de que T3jk * anj apk T'3np, las cantidades T3jk no forman un tensor.

Ejemplo 2.| Forman las cantidades Sy un tensor?

Hemos definido anteriormente la delta de Kronecker como un smbolo completa-
mente desligado de cualquier sistema de coordenadas: 8y = 1 si i = j y Sy = 0 si i & j .
Pero tambin podemos ver las cantidades 8y como un operador que, actuando sobre
un vector a, produce el mismo vector a:

(rl) ai = 5jj aj

Con este enfoque, la Sy ser un tensor si en otro sistema X'Y'Z' su transformada "S'g"
efecta la misma operacin, es decir, si

(t) afi = 5'ya'j

donde a'i y a j son los transformados de ai y aj, respectivamente.

De ser la Sy un tensor, sus componentes en X'Y'Z' se transformaran conforme a

ij ^

Aplicando la delta al factor ajn tenemos 8'y = aim ajm, y luego por (3-9) resulta

(32) S'ij-Sy

Por (32) es cierta la relacin a'i = 8'y a'j, puesto que equivale a a'i = 8y a'j = a'i, y de aqu

DERECHOS RESERVADOS 2004, Universidad Autnoma Metropolitana (Mxico). Prohibida la reproduccin de esta obra as como la distribucin y venta fuera del mbito de la UAM. E-libro Bibliomedia Bibliomedia@mail.com
 Casa abierta al tiempo

92

se sigue que la delta de Kronecker es un tensor. Este tensor tiene la notable propiedad de
que sus componentes se obtienen segn la misma regla en todo sistema de coordenadas.
Cabe una aclaracin. Los elementos de la matriz de transformacin A, es decir las
ay's, no forman un tensor. La ecuacin (3-9), a saber, aim aj m = 8y, no es una relacin
tensorial; en ella se usa el smbolo 8y solamente como una abreviatura para la regla "igual
a 0 si i ^ j e igual a 1 si i = j " . Es fcil averiguar del contexto cundo entra la delta como
tensor o como "abreviatura" en una expresin. As por ejemplo, si Ry es un tensor, entonces
la delta aparece en calidad de tensor en la relacin Ry Ry = 8^.
Finalmente, debemos referirnos a un uso "indebido" de la delta de Kronecker.
Para comprender mejor lo que deseamos explicar, introduzcamos el siguiente
smbolo:

(33)

Podemos usarlo para representar los vectores bsicos cartesianos de un sistema especfico
XYZ:

(34) (i)i = componente "i" del vector i = 8[

Anlogamente, ( & = [ 2) y (k)i= 8[ 3)

Est claro que el smbolo 8 ' tiene la misma propiedad de seleccin de ndice que
tiene la delta de Kronecker 8^. As como por ejemplo T-&m = Tnk, tambin tenemos

Tik8 n) = Tlk8(2n) + T 2 k 8 f +T3k6<n) =

Si deseamos las componentes de k relativas a otro sistema X'Y'Z', transformamos la 8[

como vector:

(35) 5;(3)

Efectivamente, las componentes de k en X'Y'Z' son (ai3, a23, a33).

Hemos demostrado que para convertir una ecuacin vectorial de la notacin
simblica a la tensorial podemos sustituir i por [l\ j por 8p^ y k por d\3\ El uso
indebido mencionado arriba estriba en escribir estos smbolos en la forma 8n, 8& y 813, cosa
que sugiere una relacin con la delta de Kronecker, lo cual no es el caso.

DERECHOS RESERVADOS 2004, Universidad Autnoma Metropolitana (Mxico). Prohibida la reproduccin de esta obra as como la distribucin y venta fuera del mbito de la UAM. E-libro Bibliomedia Bibliomedia@mail.com
 Casa abierta al tiempo

93

Ejemplo 3J Ilustraremos el uso del smbolo definido en el ejemplo precedente,

demostrando que el tensor de proyeccin sobre el plano XY es

Py = 5J - 5[3)5<j3) ( 53) representa al vector unitario k)

Al proyectar el vector U = (ux, u y , Uz) sobre el plano XY se debe obtener el vector

V = (ux, Uy, 0). Apliquemos el tensor dado al vector Ui,

Vi = Py Uj = (5ij - 8P>6f>)Uj = Sy Uj - 8{3)8f>Uj

Uj si 1= 1

U 2 si i = 2 QED.
O si i = 3

[Ejemplo 4[ Demuestre que la contraccin del tensor Bijkm en sus ndices j y k es un tensor
de segundo orden.
La contraccin es Byjm. Para demostrar su carcter tensorial, partamos de la ley de
transformacin del tensor

B ijkm = aip ajq a kr a ms

Pongamos k = j ,

= aip ajq a jr a m s

Usando la relacin

^ ^qr

obtenemos

a
i p Sqr a m s Bpqrs = a
ip a m s

Definiendo b^ s Bijjm, la relacin anterior se vuelve

= a
" im ip a ms *^ps

que es la ley de transformacin de los tensores de segundo orden.

DERECHOS RESERVADOS 2004, Universidad Autnoma Metropolitana (Mxico). Prohibida la reproduccin de esta obra as como la distribucin y venta fuera del mbito de la UAM. E-libro Bibliomedia Bibliomedia@mail.com
 Casa abierta al tiempo

94

Problemas
1. Evaluar la suma

2. Cul es el coeficiente de X1X2 en la expresin f = ApqrxpXqXr? En general, cul es el

coeficiente de XXJ?

3. Simplificar la expresin

S 5
is im
5 5 *ijk
js jm

4. Dado Tjjkm = Aip Bjpqk C qm , escribir la expresin que corresponde a Tpijq.

5. Pasar a notacin de matrices las expresiones

E = Bij aj bi gik = bi s Cj S dj m e mp fk p

6. Pasar a notacin tensorial las expresiones

(a) vV - K(A B)(C D)K (b) [(L - AM) Q]AB - (u s)P

(c) M = QPCR (d) N3 = l

7. Pasar a notacin simblica las expresiones

(a) ambicmdi (b) PiqrtszsWi

(c) figmhm - M^i+ apbpcidqeq (d) ai = bmdmci - bmcmdi

8. Evaluar la derivada

d2
(QpqrX p X q X r )

9. Los vectores unitarios de la base cartesiana en XYZ son 5(n^, con n = 1, 2 y 3 para i, j y
k, respectivamente. Aplicando la ley de transformacin de vectores, demostrar que las
componentes de i, j y k en el sistema X'Y'Z' son 5j ( n ) = a^. Note que esta delta prima ya
no posee la propiedad de seleccin de ndice.

DERECHOS RESERVADOS 2004, Universidad Autnoma Metropolitana (Mxico). Prohibida la reproduccin de esta obra as como la distribucin y venta fuera del mbito de la UAM. E-libro Bibliomedia Bibliomedia@mail.com
 Casa abierta al tiempo

95

10. Para el tensor de proyeccin sobre un plano, Py = 8y - ninj, demuestre e interprete las
relaciones

(a) Pij nj = 0 (b) Pjj Pjk = 5ik (c) Py mj = mi si m ^ = 0

11. Demuestre que el ngulo entre un vector u y su proyeccin vectorial sobre un plano es

P U U
a = eos -lf t- i J ~

l,det(P)V

donde Py es el tensor de proyeccin

12. Sea ei un vector unitario. Qu hace el tensor Qy s eiej?

13. Si ai y bi son vectores, demuestre que a^j es un tensor de segundo orden.

14. Demuestre la covariancia de la ecuacin (entre puros tensores)

15. Demuestre que la expresin

E* A, Vijkmn A-ij

es un escalar.

16. Si Uj, Vi y w son vectores y la expresin

es un escalar, demuestre que necesariamente Ayk es un tensor.

17. Cmo se transforma la expresin XXJ? (X = {x, y, z})

DERECHOS RESERVADOS 2004, Universidad Autnoma Metropolitana (Mxico). Prohibida la reproduccin de esta obra as como la distribucin y venta fuera del mbito de la UAM. E-libro Bibliomedia Bibliomedia@mail.com