Sobre diadas y afinores

1.Diadas
Una diada es un objeto formado con dos vectores en cierta ordenacin. Para los vectores a y b, una diada es ab. Donde a es el vector antecedente de la diada y b es el vector consecuente. La notacin ms extendida para las diadas es la super-flecha de dos puntas: ab . Para las diadas se puede definir una operacin de suma (+) con la que el conjunto de todas las diadas de pares ordenados de vectores de cierto espacio vectorial V, D(V) forma un grupo abeliano. El producto de una diada por un escalar del cuerpo K es otra diada. Adems D(V) es un espacio vectorial sobre K. (A que me parezco a J de Burgos?) El producto de una diada por un vector es no conmutativo y da como resultado un vector. As el producto de una diada ab por el postfactor c, es: abc=a(bc). Y el producto por el prefactor c, es: cab=b(ac). El doble producto de diadas es el escalar: ab:cd=cabd=(ac)(bd).

2.Afinores
Un afinor es una combinacin lineal de diadas: 1 ab + 2 cd + 3 ef +.... Toda diada se puede escribir en forma afinorial. Con los vectores unitarios cartesianos i, j, k la diada se puede expresar en la forma nonion (de nueve trminos):

A = Axx ii + Axy ij + Axz ik + Ayx ji + Ayy jj + Ayz jk + Azx ki + Azy kj + Azz kk

Estos coeficientes de la representacin nonion se comportan como un tensor de 2 orden ante las transformaciones ortogonales de coordenadas.

3.Representaciones de diadas y afinores. Componentes

A partir de las componentes cartesianas de los vectores a(ai) y b(bi) se pueden hallar las componentes de la diada ab(abij) como las componentes del tensor producto didico de vectores: (ab)ij=[ab]ij=[aibj]ij. Y la diada ab se escribe ab. Se puede trabajar en forma matricial con las componentes de vectores y diadas. Con una representacin en componentes segn los ejes ortogonales: i=(1,0,0), j=(0,1,0), k=(0,0,1), las diadas de la forma nonion son: 1 0 0 i i = 0 0 0 0 0 0 0 0 0 j i = 1 0 0 0 0 0 0 0 0 k i = 0 0 0 1 0 0 0 1 0 i j = 0 0 0 0 0 0 0 0 0 j j = 0 1 0 0 0 0 0 0 0 k j = 0 0 0 0 1 0 0 0 1 i k = 0 0 0 0 0 0 0 0 0 j k = 0 0 1 0 0 0 0 0 0 k k = 0 0 0 0 0 1

1 0 0 Con lo que tenemos el afinor unidad: 1 = i i + j j + k k = 0 1 0 . 0 0 1 Y el producto didico de los vectores: a(ax, ay, az) y b(bx, by, bz) se define como el producto matricial del antecedente como vector columna por el consecuente como vector fila, que da como resultado la representacin matricial de un tensor cartesiano.

ax a b = a y bx a z

by

a x bx bz = a y bx a z bx

a x by a y by a z by

a x bz a y bz a z bz

El producto escalar de vectores a y b se puede escribir como un producto matricial de a como vector fila y b como vector columna, o bien como producto de b como vector fila y a como vector columna: ab = a x

ay

bx a z b y = a x bx + a y b y + a z bz b z

De esta manera, las reglas de producto de diada por un vector se pueden escribir en componentes, considerando al prefactor como un vector fila, y al postfactor como un vector columna: abc=abc=a(bc), como: a x bx a y bx a z bx cab=cab=b(ac), como: a x by a yby a z by a x bz c x a x a y bz c y = a y bx c x + b y c y + bz c z a z bz cz az

(c x

cy

a x bx c z a y bx a z bx

a x by a y by a z by

a x bz a y bz = bx a z bz

by

bz a x c x + a y c y + a z c z

){

4.Las diadas como operadores vectoriales*

En el estudio de las coordenadas curvilneas ortogonales se introducen los factores de escala hi, de la coordenada curvilnea i-sima respecto de las coordenadas cartesianas (x, y, z)**. Se puede definir una

diada A como el conjunto de nueve componentes {Aij}, que se transforman bajo un cambio de coordenadas xi(xi) de la forma: hi h j m h n x m x n (Aij ) = h Amn = h h x x h h
m ,n i j i j m ,n

x i x j Amn = m n x m x n

h
m ,n

hihn xi x n Amn = m h j x m x j

m ,n

im jn Amn

hm x m h xi es el coseno director del eje xi respecto del eje xm. As la diada A = i hi x i hm x m tendr, en el sistema de coordenadas {xi}: Un tensor asociado 2-contravariante de componentes A a mn = mn , un tensor asociado 2-covariante de componentes a mn = hm hn Amn , y un tensor 2-mixto hm hn Donde im =

contravariante-covariante: a m n =

hn Amn . hm

De la ley de operacin sobre un vector se deduce que una diada se comporta como un operador vectorial, transforma un vector en un vector. As una rotacin rgida (la que preserva los ngulos relativos) de un sistema de vectores puede representarse mediante la operacin de una diada unitaria sobre el sistema. Una diada unitaria es aquella cuyas componentes Aij verifican la relacin i AijAik=jk. Los productos de diadas unitarias son tambin diadas unitarias. Para ver la potencia del clculo con diadas, y un desarrollo ms coherente del tema, junto con la relacin de las componentes de una diada con las componentes covariantes y contravariantes del tensor asociado, sin limitarnos como aqu a los tensores cartesianos, vase P.M. Morse & H. Feshback op. cit.
*

Si hasta ahora hemos seguido el desarrollo sencillo de H. Goldstein Mecnica Clsica 2 edicin, captulo 5, ahora vamos a internarnos en el ms interesante captulo 1 de los monumentales Methods of Theoretical Physics, de P.M Morse y H. Feshback. ** No es este el lugar donde explicar coordenadas curvilneas, vase p. ej. el captulo 7 de Anlisis Vectorial, de M. Spiegel ed. McGraw-Hill, serie Schaum.

5.Representaciones afinoriales en fsica

Las operaciones con afinores, tal como los hemos visto, no son otra cosa que operaciones con las componentes de tensores cartesianos de 2 orden. Se encuentran en la literatura no especializada como maneras sencillas de indicar tensores y contracciones de ndices. Las representaciones afinoriales son particularmente ubicuas en los tratados de dinmica del slido rgido, pues el tensor de inercia encuentra una representacin afinorial conveniente: Para un sistema discreto de i-masas, con posiciones ri y velocidades vi , el momento de inercia es: I = i mi (ri2 1 ri ri), Y el momento angular es: L= i mi (ri vi) = I = i mi (ri2 ri (ri)).

Con las reglas que relacionan afinores y vectores se prosigue as el tratamiento del tema en H. Goldstein op. cit., a quien por cierto hemos seguido casi literalmente. Por otra parte, esto es todo lo necesario para no sorprenderse por la notacin (expresin de la parte espacial de la densidad de momento angular) de los ya populares Apuntes de Electrodinmica Clsica.

Manolo Sobrino 2003 masoro@alumni.uv.es