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

T' =

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

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

ww

w.

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

at

se transforma en

em

at

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

ic a1

.c om

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: Notacin matricial: v = (v x , v y , v z ) = (vi, V2> V3)

v=
Agregaremos otra, denominada "notacin tensorial", en la que el vector se denota con ayuda de un subndice que representa cualquiera de sus tres componentes: Notacin tensorial o de ndices:

em

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 le siguen a los vectores los tensores de segundo orden. Un complejida 2 tensor de segundo orden se co tensor de segundo orden se compone 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

ww

v'i = 2>imV m

w.

at

Las tres notaciones anteriores son muy tiles. La ley de transformacin de los vectores es la ecuacin (3-28): o bien V'=Av

at
(i = 1,2, 3)

ic

a1

.c o

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

T 13
T

T=
31

22

23

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

(3)

b = Ta

ww

obien (4)
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.

w.

El tensor T ( Ty) es un mquina cuya materia prima es un vector a, y cuyo producto es 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 matemtica:

*m

at

obien

em

at

ic
Fig. 2

a1

.c o

Tensor T

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

at

El vector u puede ponerse como la suma de dos componentes vectoriales: una en el plano n (igual a v) y la otra perpendicular a este plano, o sea en la direccin de n (Fig. 4), u = v + (u n) n Despejando v, (un)n v = u - (u n) n Saquemos componentes en ambos lados de esta relacin, suponiendo una base cartesiana,

un

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

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

ww

w.

em

Fig. 3

at

ic

a1

.c o

(Ji.

(5)

2
U

o bien, en forma compacta,

(6)

V= P U

o tambin

Vi =

m=l

/ 2

(7)

El tensor Py (o la matriz P) encierra todas las propiedades de la operacin de proyeccin sobre el plano II. Mencionemos las principales: El tensor P mapea los vectores del espacio tridimensional a vectores contenidos en el plano n . Este mapeo no es uno-a-uno, pues muchos vectores "u" distintos pueden proyectarse al mismo vector * V . Esto se refleja en el hecho de que el determinante de la matriz P es igual a cero, (8) (9) det(P) = 0 Un vector m paralelo al unitario n se proyecta a un punto sobre el plano TI, es decir, Pm = 0 si m = Xn

Por otra parte, un vector m perpendicular a n se proyecta en s mismo, Pm = m simn =0

(10)

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

ww

w.

at

em

at

^+nf ~n 1 n 2

+n 3

_2 . ^2

ic

-nin3 -n2n3

a1

.c o

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 ,

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 De orden cero o escalar De primer orden o vector De segundo orden De tercer orden . *. De orden "n" Nmero de Smbolo general (Notacin tensoral) Componentes T 3 =1 Notacin Simblica Notacin Matricial -

.c o

ic

at

Tij Tijk .*< Tijk... r

32 = 9
3

a1

Ti

T ... -

Matriz 3 x 1 T
Matriz 3 x 3

em

3 = 27

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 =

ww

w.

(n ndices)

+ Ci2di2 + Ci3di3 4-

at

3n

T ... -

Br3x3

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

G: = ~p5:; + \i\ L + -

at

(dv^

em

+ X Ciikm - 5 TmUk

at
dvA
2(p)!

ic

Los ndices no repetidos dentro de un smbolo o trmino se llaman ndices libres. Un trmino con n ndices libres representa uno de 3n nmeros reales. En expresiones o ecuaciones, todos los trminos deben contener los mismos ndices libres. Ejemplos:

w.

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
Qh - ^pqhBpq + X AiBiCh equivale a

ww

a1

(libres: m, k, mudos: 1, i)

(libres: i, j , mudos: ninguno) (dem)

.c o

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

no debe sumarse sobre el ndice "p".

m
T'rs =

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 =

em
w.

La delta de Kronecker Ya hemos definido anteriormente la delta de Kronecker en la forma '1 0 (T 0 1 0 0 1

[0

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

ww

at

at
(\/A\ =

Note cmo se encadenan los ndices mudos. Para la matriz columna v = (vi) tenemos

ic

a1

.c o

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

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. 3xConsideremos 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 dy dx dz dx dz dy 8K dy dz relaciones que podemos expresar sucintamente en la forma

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

dF

ww

w.

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

at

em
2

at

ic

a1

.c o

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

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

(14)

(r)i = X

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:

ww

w.

A continuacin algunos ejemplos de la conversin de una notacin a otra. Se acostumbra usar como ndice libre de vectores cualquiera de los ndices i, j , k, y como ndices mudos m, n, p, q, r,... etc. El vector (Q M)F se escribe en notacin tensorial as:

at

em

at

ic

(puesto que ak bk = ai bi + a21>2 + a3 b3 = ax bx + ay by + az b z = a b.) 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,

a1

.c o

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. Ya con los parmetros {b, A} de transicin entre el sistema supuesto XYZ y otro sistema X'Y'Z' quedan determinados los elementos de la matriz P f (o sea las componentes del tensor de proyeccin Pfij) a la que incumbe en X'Y'Z' la misma accin de proyeccin 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'. Efectivamente, escribamos la relacin (15) con base en el sistema X'Y'Z',

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

ww

w.

at

(16)

V = P ' 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

em

u' = A u

at

ic

a1

.c o

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 a la notacin tensorial, (Introducida en la seccin 4.2)

Para aislar a la derecha el vector uk, escribamos U en la forma Uj = 5& uk. Entonces Vi = 5ik u k - u k n k n i = ( 5 ^ - ^ nk) u k

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.

ww

(20)

vi^PikUjc

w.

o sea

at

em

at

ic

a1

.c o

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 U le asocian de forma lineal y homognea otro vector v,

Covariancia de las ecuaciones tensoriales La notacin simblica empleada para los vectores tiene la ventaja de exhibir explcitamente 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.

ww

w.

at

(Efectivamente, si consideramos la relacin v'i = T'ij u'j, vlida en otro sistema X'Y'Z', e 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)).

em

at

ic

(25)

V = TJUJ

obien

a1

V = Tu

.c o

Todas las relaciones tensoriales son covariantes. Ilustrmoslo para una relacin simple que en cierto sistema XYZ es, digamos (28) Di = X A[ +
JX By L

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

(29)

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

ww

w.

at

em

at

de donde

ic

a1

.c o

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

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

T' = T

em

at
(T'=AT)

at

ic
=a

a1
(T' = AT)
rijk...s=o

Para los primeros rdenes tenemos as

, 2 3 , 3

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 Estos se denominan tensores nulos. =>

ww

w.

lJ i a 2J2 a 3J3 T JlJ2J

.c o

4.5 LGEBRA TENSORIAL

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

Ejemplo. El tensor aibj + ajbi, donde ai y bi son vectores, es simtrico. Un tensor es antisimtrico en i y j si
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:

es un tensor de orden 5, producto externo de los tensores Tjjk y Cmn. ijk a p bm cq e s u n tensor de orden 6, producto externo de cuatro tensores, de rdenes 3,1,1 y 1. 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.

ww

w.

at

em

at

ic

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 primer tensor por componentes del segundo. Ejemplos:

a1

.c o

Aijk + Byk

Tyki - Bjjki

N ^ - X M tsr

[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,

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

(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

ww

w.

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

at

em

at

ic

a1

.c o

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:

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

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.

ww

w.

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

at

em

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

at

(34)

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

ic

a1

.c o

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
O si i = 3

QED.

B ijkm = aip ajq a kr a ms

Usando la relacin
^ ^qr

obtenemos
a

ww

= aip ajq a jr a m s

i p Sqr a m s Bpqrs =

w.

Pongamos k = j ,

at

em
a

Definiendo b^ s Bijjm, la relacin anterior se vuelve

ip a ms *^ps

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

at

[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

ic
ip a m s

a1

.c o

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

5 5

im
*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

6. Pasar a notacin tensorial las expresiones

em at

(a) (c)

vV - K(A B)(C D)K M = QPCR

7. Pasar a notacin simblica las expresiones (a) (c) ambicmdi

ww

w.

figmhm - M^i+ apbpcidqeq

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.

at
(b) (d) (b) (d)

ic
[(L - AM) Q]AB - (u s)P N3 = l PiqrtszsWi ai = bmdmci - bmcmdi

a1

E = Bij aj bi

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

.c o

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?

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

15. Demuestre que la expresin

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

ww

es un escalar.

w.

E* A, Vijkmn A-ij

at

em

at

ic

a1

.c o

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