Anlisis Tensorial
Introduccin y definicin
Definicin de tensor
Hay varias maneras de definir un tensor, que resultan en enfoques equivalentes:
la manera clsica, forma usual en fsica de definir los tensores, en trminos de
objetos cuyos componentes se transforman bajo cambios de coordenadas segn
ciertas reglas, introduciendo la idea de transformaciones covariantes o
contravariantes.
la manera usual de la matemtica, que implica definir ciertos espacios vectoriales
definidos a partir de un espacio vectorial dado, sin fijar cualesquiera conjuntos de
coordenadas hasta que las bases se introduzcan por necesidad. Existen dos
definiciones de este tipo:
La de tensores como aplicaciones multilineales, que nos obliga a usar el dual de
un espacio vectorial.
La que usa una operacin definida axiomticamente llamada producto tensorial
de espacios vectoriales.
Definicin clsica
Los fsicos e ingenieros, especialmente en tratamientos informales de los tensores,
consideran que un tensor es simplemente una magnitud fsica multi-ndice dada por
un conjunto de nmeros reales o "componentes" del tensor que se transforman de
"manera adecuada". Es decir, si en un determinado sistema de referencia una
.. .
magnitud tensorial est dada por un conjunto de componentes T al cambiar
1
a un sistema de referencia diferente tendr componentes con valores numricos
.. .
diferentes T
siendo la relacin entre las componentes de la magnitud en uno
1
y otro sistema de referencia la siguiente:
.. .
T =T
1
... n
m
T 1
1
T n
n
A A
donde en la ltima expresin se ha usado el convenio de sumacin de Einstein y
adems:
es la matriz del cambio de base de coordenadas
es la matriz del cambio de base inverso, que es la matriz traspuesta de la
anterior.
Las magnitudes escalares de la fsica en general son tensores de orden cero, y varios
de los tensores fsicos importantes (inercia, tensor, etc.) son tensores de segundo
orden.
Como aplicacin multilineal
Dado un espacio vectorial
de dimensin
sobre un cuerpo
, recordemos que su
espacio dual
es el conjunto de todas las aplicaciones lineales
. El
espacio dual es un espacio vectorial de la misma dimensin que . Nos referiremos
normalmente a los elementos de
y de
como vectores y covectores,
respectivamente.
Un tensor es una aplicacin multilineal, es decir, una aplicacin lineal en cada uno de
sus argumentos, de la forma:
De este modo, un tensor
asocia cada
vectores
, un escalar
Llamamos tipo del tensor al par
covectores
Usando producto tensorial de espacios vectoriales
En el enfoque ms matemtico del clculo tensorial se considera un espacio
vectorial V y se considera su espacio dual V*. Si
es una base del espacio
vectorial V y
la correspondiente base dual de V*, se construye el espacio
vectorial producto de r copias de V ys copias de V*, es decir,
o producto tensorial de espacios vectoriales. Un tensor es un elemento de dicho
espacio vectorial:
Las propiedades de transformacin de los tensores se siguen de las propiedades de
transformacin de los vectores de la base de manera trivial.
Los tensores son importantes en muchas reas de la Fsica, incluyendo relatividad y
electrodinmica. Escalares y vectores son casos especiales de tensores. Como ya
vimos, una cantidad que no cambia bajo rotaciones del sistema de coordenadas en
un espacio tridimensional, un invariante, fue etiquetado como un escalar. Un escalar
es especificado por un nmero real y es un tensor de rango cero. Una cantidad cuyas
componentes transforman bajo rotaciones como las de la distancia de un punto a un
origen elegido, fue llamado un vector. La transformacin de las componentes del
vector bajo una rotacin de las coordenadas preserva el vector como una entidad
geomtrica (tal como una flecha en el espacio), independiente de la orientacin del
sistema de referencia. En un espacio tridimensional, un vector es especificado por 3
= 31 nmeros reales, por ejemplo, sus componentes, y es un tensor de rango uno. En
un espacio N dimensional un tensor de rango n tiene Nn componentes, las cuales
transforman de una manera definida.
Pseudotensor
En la fsica y las matemticas , un pseudotensor suele ser una cantidad que se
transforma como un tensor bajo una orientacin de preservacin de la
transformacin de coordenadas ( por ejemplo , una rotacin adecuada ), pero,
adems, cambia de signo bajo una orientacin revertir la transformacin de
coordenadas ( por ejemplo , un giro incorrecto , lo que es una transformacin que
puede ser expresado como una rotacin adecuada seguido por reflexin ).
Hay un segundo significado para pseudotensor , restringido a la relatividad
general ; tensores obedecen las leyes de transformacin estrictas, mientras
pseudotensors no estn tan limitados. En consecuencia, la forma de una
pseudotensor ser, en general, como cambiar el marco de referencia se altera. Una
ecuacin que tiene en un marco que contiene pseudotensors no dar
necesariamente en un marco diferente; esto hace pseudotensors de relevancia
limitada debido a las ecuaciones en las que aparecen no son invariantes en forma.
Definicin
Dos objetos matemticos muy diferentes se llaman un pseudotensor en diferentes
contextos.
El primer contexto es esencialmente un tensor multiplicado por un factor de seal
extra, de tal manera que los cambios pseudotensor signo bajo reflexiones cuando
un tensor normal, no lo hace. Segn una definicin, un pseudotensor P del tipo
( p , q ) es un objeto geomtrico cuya componentes en forma arbitraria se
enumeran por ( p + q ) los ndices y obedecer la regla de transformacin
en virtud de un cambio de base.
Aqu
son los componentes de la pseudotensor en las nuevas y viejas
bases, respectivamente,
es la matriz de transicin para
los contravariantes ndices,
es la matriz de transicin para
loscovariantes ndices, y
. Esta regla de
transformacin difiere de la regla para un tensor ordinario en eltratamiento
intermedio slo por la presencia del factor (-1)A .
El segundo contexto en el que se utiliza la palabra "pseudotensor" es la relatividad
general . En esa teora, no se puede describir la energa y el impulso del campo
gravitatorio por un tensor de energa-momento. En lugar de ello, se introduce objetos
que se comportan como tensores slo con respecto a restringido transformaciones
de coordenadas.Estrictamente hablando, estos objetos no son tensores en
absoluto. Un ejemplo famoso de una pseudotensor tal es la de Landau-Lifshitz
pseudotensor .
Pseudo tensores
Ahora consideramos el efecto de reflexiones o inversiones. Si tenemos coeficientes
de
Transformaciones
ij= i
, entonces por la ecuacin
x i=x i
la cual es una inversin o transformacin de paridad. Notemos que esta
transformacin cambia
nuestro sistema de coordenadas inicialmente diestro a un sistema de coordenadas
siniestro.
Nuestro vector prototipo
vector
con componentes ( x 1 , x 2 , x 3 ) se transforma en el
r =( x 1 , x 2 , x 3 ) =(x 1 ,x 2, x 3) . Este nuevo vector
tiene componentes
negativas, relativas al nuevo conjunto de ejes transformados. Como se muestra en la
figura siguiente, invirtiendo las direcciones de los ejes de coordenadas y cambiando
los signos de las componentes da r = r . El vector (una flecha en el espacio)
permanece exactamente como estaba antes de que la transformacin se llevara a
cabo. El vector posicin r y todos los otros vectores cuyas componentes se
comporten de esta manera (cambiando el signo con una inversin de los ejes de
coordenadas) son llamados vectores polares y tienen paridad impar.
Inversin de coordenadas cartesianas, vector polar.
Una diferencia fundamental aparece cuando encontramos un vector definido
como el producto
cruz de dos vectores polares. Sea C = A B , donde A como B son vectores
polares. Las componentes de C estn dadas por:
C1 =A 2 B3 A 3 B2
as sucesivamente. Ahora cuando los ejes de coordenadas son invertidos,
,
de su definicin
esto es, nuestro producto cruz