75

CAPTULO 4 TENSORES

4.1 INTRODUCCIN
Los vectores, formados por 3 componentes, son un caso especial de un gnero de
cantidades denominadas tensores". El tensor es un objeto matemtico cuya completa
caracterizacin numrica puede requerir ms de tres componentes. En trminos generales,
el tensor de orden "n" es un conjunto de 3 n componentes que obedecen una regla de
transformacin especfica ante un movimiento rgido del sistema de coordenadas.
Enunciaremos la regla de transformacin general en el apartado 4.4. Hablaremos ahora de
unos tensores que ya conocemos con otros nombres.
Un tensor de orden cero tiene solamente una componente (n = 0, 3 = 1) , la cual se
transforma en s misma frente a una traslacin y rotacin del sistema de coordenadas:

m
(1) T' =

o
.c
a1
Un ejemplo simple es el producto escalar de dos vectores separacin o desplazamiento.
ic
Dado que las longitudes y los ngulos son cantidades geomtricas que no se alteran frente a
movimientos rgidos del sistema de coordenadas, el producto
at
em

T = A B = AXBX + AyBy + AZBZ = AB eos 0

se transforma en
at

T' = A'XB'X + A'yB'y + A' z B f z = A'Bf eos 0' = AB eos 0 - A . B = T

M
w.
ww

Tales cantidades, cuyo valor es el mismo no importa el sistema de coordenadas que

se escoja para expresarlas, reciben tambin el nombre de invariantes o escalares. A esta
especie pertenecen cantidades fsicas especificadas por un slo valor numrico, como la
masa, la temperatura, la energa, etc.
Muchos escalares son funciones de la
J
Z * Z1 posicin, en cuyo caso son funciones (o
campos) escalares. La distribucin de tempe-
raturas en un slido es un ejemplo tpico. Se
Y define la temperatura en un punto P como la
propia de un pequeo elemento de volumen
localizado all (Fig. 1). Sea T(x, y, z) la
temperatura en el punto general P(x, y, z),
referida a un sistema cartesiano XYZ. Si se
adopta otro sistema cartesiano X'Y'Z', la
temperatura se describir mediante otra
Fig. 1
76

funcin distinta T\ sta se obtiene sustituyendo x, y, z en la funcin T por sus expresiones

en trminos de x', y' y z', dadas por la ley de transformacin de coordenadas (Ec. 3-22):

(2) T(x, y, z) = T(x(x', y', z'), y(x', y', z'), z(x', y', z')) = T'(x', y', z')

La relacin (2) significa que la temperatura en el punto P no va a cambiar por el

simple hecho de cambiar el sistema de coordenadas.
Los tensores de primer orden poseen 3 componentes (n = 1, 3 = 3) y constituyen lo
que conocemos ya con el nombre de vectores.
Para los vectores hemos usado dos notaciones:
Notacin simblica: v = (v x , v y , v z ) = (vi, V2> V3)
Notacin matricial:

v=

o m
.c
a1
Agregaremos otra, denominada "notacin tensorial", en la que el vector se denota con
ayuda de un subndice que representa cualquiera de sus tres componentes:
ic
at

Notacin tensorial
em

o de ndices: v (i = 1,2, 3)
Las tres notaciones anteriores son muy tiles.
at

La ley de transformacin de los vectores es la ecuacin (3-28):

M
w.

v'i = 2>imV m o bien V'=Av

ww

Una funcin vectorial de la posicin, o campo vectorial, se transforma segn

v;(x',y',z')= a i m v m (x,y,z)

donde ambas funciones v' y v m se evalan en un mismo punto espacial.

En orden de complejidad
complejida le siguen a los vectores los tensores de segundo orden. Un
2
tensor de
tensor de segundo
segundo orden
orden se
se compone
co de 3 = 9 componentes, las cuales se resumen en un
smbolo con dos ndices, como

La notacin matricial se presta ventajosamente para los clculos en los que figuran
 77

esta clase de tensores junto con escalares y vectores. Conviene disponer los 9 elementos de
un tensor de segundo orden en una matriz 3 x 3 ,

(T ii T12 T 13
T= T
22 T
23
L
31 32 133J

El manejo matemtico de los tensores de 2 orden es muy similar al de las matrices

3 x 3. El lgebra de matrices ser de gran ayuda en relacin con esta clase de tensores.
En la fsica es frecuente encontrar situaciones de correspondencia lineal y
homognea entre dos vectores. Digamos que a un vector a le corresponda otro vector b. El
ente matemtico que efecta tal correspondencia es un tensor de segundo orden (Fig. 2).

m
Tensor T

o
.c
a1
ic
at

Fig. 2
em

El tensor T ( Ty) es un mquina cuya materia prima es un vector a, y cuyo producto es

at

otro vector b. En general el vector producido b posee magnitud, direccin y dimensiones

fsicas distintas de las del vector operado a. La correspondencia tiene la siguiente forma
M

matemtica:
w.
ww

(3) b = Ta obien

obien

(4) *m
m=l

Tambin podemos imaginar el tensor de 2 orden como un operador que, aplicado

sobre un vector, produce otro vector. En la ecuaciones (3) y (4) se advierte que la accin
del operador se realiza a travs de un producto matricial.
Los tensores de orden tres o mayor no son tan comunes en los cursos introductorios
de fsica como los de segundo orden.
78

Antes de considerar tensores ms complejos, veremos a continuacin un ejemplo

muy simple de tensor geomtrico de segundo orden, con objeto de ilustrar las relaciones (3)
y (4). En este ejemplo podremos advertir otras caractersticas importantes de esta clase de
tensores.

4.2 TENSOR DE PROYECCIN SOBRE UN PLANO

Sea II un plano cuyo vector normal unitario es n (Fig. 3). A cada vector u
hagmosle corresponder el vector v que es la proyeccin del propio u sobre el plano II. A
continuacin hallaremos el tensor que efecta tal correspondencia.

4-Plano 11

o m
.c
a1
ic
at

Fig. 3
em

El vector u puede ponerse como la suma de dos componentes vectoriales: una en el

at

plano n (igual a v) y la otra perpendicular a este plano, o sea en la direccin de n (Fig. 4),
M

u = v + (u n) n
w.
ww

Despejando v,
un (un)n v = u - (u n) n
Saquemos componentes en ambos lados
de esta relacin, suponiendo una base
Fig. 4 cartesiana,

v x = (1 - n x 2 ) u x - nxny uy - nxnz u z

v y = -n y n x u x + (1 - n y 2 ) uy - n y n z u z

v z = -n z n x u x - n z n y u y + (1 - nz2) u z

Ahora escribiremos estas relaciones en el lenguaje de matrices, para lo cual

2 2 2 2 2
cambiamos x, y, z por xi, X2, X3 y ponemos 1 - n x = n y + n z = n2 + n3 , etc. Obtenemos
 79

(Ji.

(5) V
2
U
3

o bien, en forma compacta,

3
(6) V= P U o tambin Vi =
m=l

En (5) o (6) se ha logrado una separacin entre los tres elementos implicados en la
operacin: el vector a proyectar u, el vector proyeccin v, y la "accin de proyectar",
representada por la matriz 3 x 3 mostrada. Los elementos de esta matriz constituyen las
componentes de un tensor de segundo orden Pij denominado el tensor de proyeccin sobre
el plano n ,

o m
.c
a1
/ 2 2
-nin3
^+nf
-n2n3
ic
(7) +n 3
~n 1 n 2 _2 . ^2
at
em

El tensor Py (o la matriz P) encierra todas las propiedades de la operacin de

at

proyeccin sobre el plano II. Mencionemos las principales:

El tensor P mapea los vectores del espacio tridimensional a vectores contenidos en el
M

plano n . Este mapeo no es uno-a-uno, pues muchos vectores "u" distintos pueden
w.
ww

proyectarse al mismo vector * V . Esto se refleja en el hecho de que el determinante de

la matriz P es igual a cero,

(8) det(P) = 0

Un vector m paralelo al unitario n se proyecta a un punto sobre el plano TI, es decir,

(9) Pm = 0 si m = Xn

Por otra parte, un vector m perpendicular a n se proyecta en s mismo,

(10) Pm = m simn =0

Aunque todas las relaciones anteriores pueden demostrarse empleando el

formalismo de matrices, existe un formalismo ms general aplicable a tensores de cualquier
orden, el "lgebra tensorial".
80

4.3 NOTACIN Y NOMENCLATURA DE LOS TENSORES

Antes de dar la definicin formal de tensor conviene introducir unas reglas para
manejarlos simblicamente.
El tensor de orden "n" es un conjunto de 3 n nmeros reales o "componentes", las
cuales se resumen en un smbolo con "n" subndices, en la forma Tijk...r- Cada subndice
puede tomar los valores 1, 2 y 3, los cuales asociamos con los ejes de un sistema de
coordenadas cartesianas. El valor 1 se asocia con el eje X, el 2 con el eje Y y el 3 con el eje
Z, as que una componente como, digamos, T2132, podra escribirse tambin Tyxzy.
Para los tensores de orden cero, uno y dos, que son los de mayor aplicacin en los
cursos de fsica a nivel de licenciatura, existen notaciones optativas, que se renen en la
tabla siguiente.

Clase de tensor Smbolo general Nmero de Notacin Notacin

(Notacin tensoral) Componentes Simblica Matricial
De orden cero o T 3 =1 - -

m
escalar

o
.c
De primer orden o Ti T Matriz 3 x 1
a1
vector T
ic
De segundo orden Tij 32 = 9 - Matriz 3 x 3
T
at

3
De tercer orden 3 = 27 - -
em

Tijk
. *. .*< ... ...
3n - -
at

De orden "n" Tijk... r

(n ndices)
M
w.
ww

Convencin de suma de Einstein

Un ndice que ocurra dos veces dentro de un smbolo o trmino se denomina ndice
mudo, e indica implcitamente una suma sobre l desde 1 hasta 3.
Ejemplos:

k = Ai ik + A22k +

Brsxs = Br3x3

+ Ci2di2 + Ci3di3 4-
 81

No es vlido que un mismo ndice mudo aparezca ms de dos veces en el mismo

trmino:
NO! AikQonLk NO!

Tales expresiones invlidas sealan un error.

Todo ndice mudo puede cambiarse por otro ndice mudo que no aparezca ya en el
mismo smbolo o trmino. Ejemplos:

A - 2Bjj = ThnXiXm + M r A r -

NO! BmpqDpq = BmppDpp

mo
.c
Los ndices no repetidos dentro de un smbolo o trmino se llaman ndices libres.
a1
Un trmino con n ndices libres representa uno de 3n nmeros reales. En expresiones o
ic

ecuaciones, todos los trminos deben contener los mismos ndices libres. Ejemplos:
at

+ X Ciikm - 5 TmUk (libres: m, k, mudos: 1, i)

em

(dv- dvA
at

G: = ~p5:; + \i\ L + - (libres: i, j , mudos: ninguno)

M
w.

^ (dem)
ww

Se permite cambiar algunos o todos los ndices de una ecuacin, siempre que el
cambio se aplique a todos los trminos. Ejemplo:

es lo mismo que T'rs =

Qh - ^pqhBpq + X AiBiCh equivale a Qi - QimiBim + X

El smbolo No Z(i, j , . . . ) ! suspender momentneamente la convencin de suma en

lo que respecta a los ndices mudos i, j , . . . As, en el trmino

f N o 2(p)!

no debe sumarse sobre el ndice "p".

82

Relacin entre las notaciones matricial v tensorial

La notacin de ndices se utiliza ampliamente en el lgebra de matrices.
Que ay sean los elementos de la matriz A se denota con

A = (ay) o bien (A)J = ay

La matriz transpuesta de A = (ay) es

Para A = (ay), B = (by), C = (cy), etc. tenemos los productos

(AB)y = ai (ABC)y =

m
DED
) p q = d pm e mii d nq = d p m e m n d qn

o
.c
a1
Note cmo se encadenan los ndices mudos.
ic

Para la matriz columna v = (vi) tenemos

at
em

(\/A\ =
at

La delta de Kronecker
M

Ya hemos definido anteriormente la delta de Kronecker en la forma

w.

'1 0 (T
ww

0 1 0
[0
0 1

Las 5y's son los elementos de la matriz unidad I. Note que 8 = 5n + 622 + 833 = 3.
La delta de Kronecker posee esta propiedad muy til:

O sea que la delta "aplicada" sobre un smbolo (esto es, enlazada con l a travs de un
ndice mudo, como el ndice "k" que es comn a la 5& y al smbolo Afcmnp) produce en
dicho smbolo el cambio de tal ndice mudo por el ndice libre de la delta, la cual
desaparece. Otros ejemplos:

Sy5kmAjm = A& 5rs6rt = 5 st

 83

En el siguiente ejemplo la delta se puede aplicar ya sea sobre Tp o sobre Uq.

'(o p q T p )U q =T q U q

T p (8 M U q ) = T p U p

El resultado es el mismo puesto que TpUp = TqUq.

3x-
Consideremos la derivada - , en la que x\ representa a cualquiera de las variables
<2xk
de posicin x, y, z (o bien xi, X2, X3). En virtud de la independencia mutua de estas
variables tenemos que
dx_<5y_3x_3z_dy_dz ^* _ 3y _ d 2 _ 1

m
dy dx dz dx dz dy 8K dy dz

o
.c
a1
relaciones que podemos expresar sucintamente en la forma
ic
at
em
at

Usemos la relacin (11) para evaluar las derivadas con respecto a x, y, z de la forma
2 2 2
M

bilineal F = bnx + b^xy + b]jxz + b2iyx + b22y + b23yz + b3izx + b32zy + b33Z , la cual
podemos compactar en la forma F = by XjXj.
w.
ww

dF d
(b^Xpby X j+ b ijXi

= by 8jk XJ + by x 6jk

Pero by Sjk = by y by Ojjc = bit, de tal modo que

dF . .
= bkjx j + bikxj

(Advierta que conviene derivar con respecto a "x^", no con respecto a "X" o "XJ", puesto
que un trmino como (byXXj) no es vlido porque contiene tres veces el ndice "i").
84

Relacin entre la notacin simblica vectorial v la notacin tensorial

Un vector se denota en la notacin simblica con una literal puesta en negrita, por
ejemplo "T". En la notacin tensorial, este vector se denota con ayuda de un subndice en la
forma "Ti", que resume sus tres componentes (Ti, T2, T3) (Tx, Ty, Tz). En este texto se
ofrecer a menudo pasar de una notacin a otra, para lo cual introduciremos el siguiente
convenio notacional:

(12) (T) = T

Podemos leerlo as: la componente "i" del vector T es T|.

En cuanto al producto escalar de dos vectores, existe una correspondencia directa
entre ambas notaciones, de la forma

(13) a # b = akbk

m
(puesto que ak bk = ai bi + a21>2 + a3 b3 = ax bx + ay by + az b z = a b.)

o
.c
a1
El vector de posicin "r" es una excepcin a la regla (12). No se escribe en la forma
(r)i = ri sino, como lo hemos venido haciendo,
ic
at

(14) (r)i = X
em

A continuacin algunos ejemplos de la conversin de una notacin a otra. Se

at

acostumbra usar como ndice libre de vectores cualquiera de los ndices i, j , k, y como
ndices mudos m, n, p, q, r,... etc.
M

El vector (Q M)F se escribe en notacin tensorial as:

w.
ww

Tambin podramos escribirlo usando un ndice mudo distinto, como en QrMr

La componente "k" del vector (a b)(c d)e es

[(a bXc d)e] k = apbpcqdqek

Examine este caso donde aparece un vector separacin PQ:

Finalmente, advierta la siguiente conversin vlida:

 85

4.4 TENSORES DE ORDEN n

En la seccin 4.2 presentamos la matriz P que, aplicada sobre cualquier vector U,
genera su proyeccin vectorial V sobre un plano II dado:

(15) V= P U o bien vi = Py Uj

Mencionamos que las cantidades (P)ij s Py constituan las componentes de un tensor de

segundo orden, el tensor de proyeccin. Ello obviamente no significa que toda matriz 3 x 3
encierre las componentes de un tensor de segundo orden. El carcter tensorial del conjunto
de las Py's no tiene nada que ver con la manera como se arreglan, bien en una matriz bien
en un slo rengln {Py} = {Pn, Pi 2 , P13, P21, P22, P23, P31, P32> P33}, etc., sino que reside
en una caracterstica fundamental: la relacin entre los vectores u, v y el plano II es
puramente geomtrica, es decir, no depende del sistema de coordenadas empleado para
describirla. La matriz P depende solamente de la orientacin fija del plano II con respecto
al "marco de referencia", es decir, de la direccin n.

m
Ya con los parmetros {b, A} de transicin entre el sistema supuesto XYZ y otro

o
.c
sistema X'Y'Z' quedan determinados los elementos de la matriz P f (o sea las componentes
a1
del tensor de proyeccin Pfij) a la que incumbe en X'Y'Z' la misma accin de proyeccin
ic
que la de P en el sistema XYZ. En otras palabras, dado el movimiento rgido del sistema de
coordenadas, debe ser posible calcular la matriz P'.
at

Efectivamente, escribamos la relacin (15) con base en el sistema X'Y'Z',

em

(16) V = P ' U'

at
M

donde V y U' son los vectores transformados segn (3-27), o sea

w.
ww

(17) v' = A v u' = A u

Sustituyamos (17) en (16),

Av = P'Au

Multiplicando a la izquierda por la transpuesta de A y recordando que esta transpuesta es al

mismo tiempo la inversa,

Av = l V = V=P'Au

de donde

v = (P'A)u
86

Comparando con (15) se obtiene

(18) P=P'A Py = ami anj P ' ^

De aqu despejamos P' mediante pre- y posmultiplicacin por A y A , respectivamente,

(19) P'=AP P'ij^a

La ecuacin (19) no es otra cosa que la ley de transformacin de las componentes

del tensor de proyeccin. De la misma forma se transforma todo tensor de segundo orden.
Apliquemos nuestras facultades de conversin entre las notaciones simblica y
tensorial para arribar a una expresin explcita para las P'ij. Pasemos la relacin

v = u - (u n) n (Introducida en la seccin 4.2)

m
a la notacin tensorial,

o
.c
a1
ic
at

Para aislar a la derecha el vector uk, escribamos U en la forma Uj = 5& uk. Entonces
em

Vi = 5ik u k - u k n k n i = ( 5 ^ - ^ nk) u k
at

o sea
M w.

(20) vi^PikUjc
ww

donde

(21) P& = ft - ni n k o bien Py = y - ni nj

Usando (19) y (21) hallamos en el sistema primo

(22) P y = ajj- ajs P rs =: a^ ajS (o rs nrns) = 6j-s ajr ajs a^ aj % n s

= air ajr - air ajs nr n s = 5y - a^ ajs n r n s (Se us (3-9))

En vista de que n'j = a^ n r , la relacin (22) equivale a P'ij = $ij - n'i n'j, es decir, la matriz P '
es la misma que (7) con las ni cambiadas por las cantidades primas n'i. Como deba.
 87

Generalicemos los resultados encontrados.

Definicin. Un tensor de segundo orden es un conjunto de 9 componentes Ty las cuales,
frente a un movimiento rgido del sistema coordenado, descrito por los parmetros {b, A},
se transforman segn la regla

(23) T'ij = aim ajn T ^ o bien T' = A T

o equivalentemente segn la relacin recproca

(24) Ty^amianjT'mn obien T=T'A

Hay otra manera de definir esta clase de tensor.

Definicin alternativa.
Un tensor de segundo orden es un conjunto de 9 componentes Ty que a cada vector

m
o
U le asocian de forma lineal y homognea otro vector v,
.c
a1
(25) V = TJUJ obien V = Tu
ic
at

(Efectivamente, si consideramos la relacin v'i = T'ij u'j, vlida en otro sistema X'Y'Z', e
em

insertamos en ella las relaciones de transformacin v'i = aimVm y u'j = ajnun, encontraremos
que las Tg deben transformarse tal como dicta la ecuacin (23)).
at
M

Covariancia de las ecuaciones tensoriales

w.

La notacin simblica empleada para los vectores tiene la ventaja de exhibir expl-
ww

citamente la independencia de las relaciones vectoriales del sistema de coordenadas. As

por ejemplo, la segunda ley de Newton se enuncia convencionalmente en cualquier sistema
cartesiano en la forma vectorial

(26) F-ma

La justificacin viene del hecho de que todos los vectores se transforman de idntica
forma, lo cual conduce a expresiones del tipo

(27) Fi = mai Fi' = mai' Fi" = mai" etc.

en sistemas cartesianos distintos XYZ, X'Y'Z', X"Y"Z", etc.

De acuerdo con (27) tendremos que la relacin entre la fuerza, la masa y la
aceleracin es covariante, lo que quiere decir que tiene la misma forma en todo sistema de
coordenadas.
88

Todas las relaciones tensoriales son covariantes. Ilustrmoslo para una relacin
simple que en cierto sistema XYZ es, digamos

(28) Di = X A[ + JLX By Cj

donde Di, Ai y Cj son vectores, X y \i son escalares, y By es un tensor de segundo orden.

Tranformemos a otro sistema X'Y'Z', dejando X y ju. invariables puesto que son escalares,

Tomando en cuenta que anj arj = 5^, el ltimo trmino se simplifica a

Ahora podemos sacar de factor comn "a m i", obteniendo

om
.c
a1
ic

de donde
at
em

(29) D ^ U
at

Comparando (29) con (28) reconocemos que la relacin entre los diversos escalares,
vectores y tensores tiene la misma forma en el sistema X'Y'Z', o sea, es una relacin
M

covariante.
w.
ww

En particular, la propiedad de covariancia de expresiones tensoriales que no poseen

ndices libres significa simplemente que tales expresiones son escalares. Vamoslo para la
expresin E = X Ay Bi Cj, transformando el lado derecho a

El producto ami anj ari asj se simplifica a ( a ^ arj) (a^ asj) = 6mr ns> con lo que

Entonces E es un escalar, puesto que su valor en dos sistemas cartesianos cualesquiera es el

mismo.
Todas las leyes fsicas se expresan en trminos de tensores. Por lo mismo son
covariantes.
 89

Al analizar la cuestin de cmo deben transformarse las cantidades de orden n,

descritas por 3 n componentes, para que al combinarse con otras de rdenes cualesquiera se
satisfaga el requisito de covariancia, deducimos la condicin expresada en la siguiente
definicin:

Definicin. Un tensor de orden n es un conjunto de 3 n componentes Tj que, frente a

un movimiento rgido del sistema de coordenadas, descrito por los parmetros {b, A}, se
transforman segn la regla

o su recproca

om
.c
Para los primeros rdenes tenemos as
a1
ic

T' = T
at
em

(T'=AT)
at

(T' = AT)
M w.
ww

T =a
,
, 2 33 lJ i a 2J2 a 3J3 T JlJ2J

Etc.

Se sigue de estas reglas de transformacin que si las componentes de un tensor son

nulas en algn sistema de coordenadas, sern nulas tambin en cualquier otro sistema:

Tijk...s=o => rijk...s=o

Estos se denominan tensores nulos.

90

4.5 LGEBRA TENSORIAL

Un tensor es simtrico en dos de sus ndices, i y j , si

A......J... ~ 1...J......

Ejemplo. El tensor aibj + ajbi, donde ai y bi son vectores, es simtrico.

Un tensor es antisimtrico en i y j si

T = T

Ejemplo. El tensor aibj - ajb* es antisimtrico.

La suma o diferencia de dos tensores se define slo cuando ambos son del mismo
orden. Ejemplos:

Aijk + Byk Tyki - Bjjki N ^ - X M tsr

m
o
.c
a1
El producto externo de un tensor de orden n y otro de orden m es un tensor de orden
n + m, cuyas componentes son todas las combinaciones de productos de componentes del
ic

primer tensor por componentes del segundo. Ejemplos:

at
em

es un tensor de orden 5, producto externo de

los tensores Tjjk y Cmn.
at

G
ijk a p bm cq e s u n tensor de orden 6, producto externo de
M

cuatro tensores, de rdenes 3,1,1 y 1.

w.
ww

El producto interno de dos tensores es aquel donde los factores estn enlazados por
uno o ms ndices mudos. Ejemplos:

Mjk Qnk AjBi *ij u j CjkpmAiqnm

El orden del tensor producto es la cuenta de los ndices libres que aparecen en el producto.
Para los ejemplos dados, los rdenes son respectivamente 3, 0,1, y 4.
La contraccin de un tensor en un par de ndices es la operacin de igualar ambos
ndices, convirtindolos automticamente en mudos. Ejemplo: la contraccin del tensor
Tijkm en sus ndices j y m es el tensor Timkm (o lo que es lo mismo, Tijkj). Cada contraccin
disminuye en dos el orden del tensor.
La contraccin de un tensor de segundo orden Tjy, o sea T, se denomina la traza del
tensor, la cual es un tensor de orden cero o sea un invariante o escalar.
 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?

om
Hemos definido anteriormente la delta de Kronecker como un smbolo completa-
.c
a1
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
ic

un vector a, produce el mismo vector a:

at
em

(rl) ai = 5jj aj
at

Con este enfoque, la Sy ser un tensor si en otro sistema X'Y'Z' su transformada "S'g"
M

efecta la misma operacin, es decir, si

w.
ww

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

om
Podemos usarlo para representar los vectores bsicos cartesianos de un sistema especfico
.c
a1
XYZ:
ic

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

at

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

em
at

Est claro que el smbolo 8 ' tiene la misma propiedad de seleccin de ndice que
M

tiene la delta de Kronecker 8^. As como por ejemplo T-&m = Tnk, tambin tenemos
w.
ww

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.
 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

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

transformacin del tensor

em

B ijkm = aip ajq a kr a ms

at

Pongamos k = j ,
M
w.

= aip ajq a jr a m s
ww

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.

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

om
.c
E = Bij aj bi gik = bi s Cj S dj m e mp fk p
a1
ic
6. Pasar a notacin tensorial las expresiones
at

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

em

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

at
M

7. Pasar a notacin simblica las expresiones

w.
ww

(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.
 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?

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

o
.c
a1
14. Demuestre la covariancia de la ecuacin (entre puros tensores)
ic
at
em

15. Demuestre que la expresin

at

E* A, Vijkmn A-ij
Mw.

es un escalar.
ww

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})