Divergencia de un tensor

Luis Roberto Ros lvarez

Facultad de Ciencias, UNAM
Relatividad
Introduccin.
El propsito de este trabajo es describir el Teorema de la Divergencia para tensores,
explicando primero el mismo teorema para un campo vectorial y repasar trminos como
flujo y la derivada covariante de un tensor. Todo esto de la manera ms clara posible sin
demostrar de manera formal y contundente todas las definiciones que se muestren, el
objetivo es mostrar al lector la matemtica y la teora de manera simple y slo con los
detalles ms importantes.

Derivada Covariante.
Comenzamos resolviendo el problema que resulta ser el derivar un tensor, ya que esta
derivada debe comportarse como un tensor para que nuestras ecuaciones tensoriales sean
independientes del sistema de coordenadas. Primero definimos a los tensores de la forma:

(1)
Si aplicamos la derivada como la conocemos a este tensor T obtenemos:

(2)
Usando la regla de la cadena y reacomodando llegamos a:

(3)

Aqu el segundo trmino representa un problema pues no se comporta como un tensor,

es necesario redefinir la derivada para que este trmino desaparezca, para esto el

matemtico Elwin Bruno Christoffel ide los llamados smbolos de Christoffel que se
agregan a la derivada del tensor y que sirven para eliminar el trmino del que hablamos.
Estos smbolos estn definidos como:

(4)
Donde el trmino g es el tensor mtrico definido como:

(5)
Los smbolos de Christoffel poseen muchas propiedades tiles que podran ser
demostradas pero en esta seccin nos limitaremos a definir trminos que sern utilizados
para entender mejor la divergencia de un tensor.
Ahora que sabemos cmo eliminar el trmino que nos molesta en la definicin de la
derivada podemos definir la derivada covariante de un tensor, esta tiene una forma si el
tensor es contravariante y otra si es covariante, las cuales son respectivamente:

(6)

(7)
Donde la coma indica una derivada ordinaria y el punto y coma una derivada covariante.

Divergencia de un Campo Vectorial.

Un campo vectorial es algo que podemos imaginar como una infinidad de vectores en un
espacio tridimensional, en donde a cada punto en el espacio se le asigna un vector en
especfico. Donde hay un campo podemos trazar una superficie y encontrar el flujo neto
de fuerza que atraviesan esta superficie, solo contamos las lneas que cortan, no las
tangenciales. El flujo entonces lo podemos escribir como la intensidad de flujo de vectores
F por el rea que atraviesa:
=FA

(8)

Para encontrar el flujo cuando la direccin de los vectores vara y el rea es curva
dividimos la superficie de manera que a cada pedazo se le pueda ver como una lmina
plana y le asignamos una direccin a cada superficie con un vector normal a su plano
tangente. As el flujo est dado por:
=FS para una divisin

(9)

= FS= FS para toda la superficie

(10)

Si las lneas provienen de dentro del espacio encerrado por la superficie se dice que hay
una divergencia positiva, si entran la divergencia es negativa. Si el flujo neto esto quiere
decir que para cada lnea que entra hay una que sale, para que esto ocurra no es necesario
que la superficie sea esfrica, puede tener cualquier forma siempre y cuando sea cerrada.
En la fsica un campo elctrico puede ser expresado con lneas que salen de una partcula,
si encerramos a una carga negativa dentro de una superficie cerrada tendramos una
divergencia positiva pues estas lneas que definen nuestro campo provienen de dentro de
la superficie. Si un campo externo afectara a una partcula encerrada dentro de una
superficie la divergencia sera negativa. Un caso muy interesante es el del campo
magntico, siempre que encerremos un imn en una superficie cerrada encontraremos
que la divergencia de su campo es cero, pues los imanes no tienen monopolos, en el
siguiente diagrama podemos apreciar la forma del campo y resulta claro entonces que por
cada lnea que sale del imn otra entra:

Figura 1. Campo magntico de un imn.

De esto podemos deducir una de las ecuaciones de Maxwell, las cuales son muy
importantes para la fsica, esta nos dice que la divergencia del Campo magntico B es
siempre cero:
(11)
La divergencia es un escalar, as que para que al operar (Nabla) con un campo vectorial
esto requiere que sea un operador tensorial, lo cual nos ser importante para la siguiente
seccin. La divergencia de un campo vectorial sobre una superficie cerrada se da como:

(12)
Y definamos ahora la divergencia de un campo vectorial pero usando tensores, esta se
escribe entonces como:

(13)
Nota: El tensor mtrico en esta definicin aparece en algunos libros, textos y
publicaciones con un signo negativo, esto se empleaba para indicar que si el tensor
mtrico era negativo se deba cambiar su signo para no tener un complejo en nuestra
definicin, mas con el tiempo las razones de su uso se han dejado de explicar y esto puede
resultar confuso.

La divergencia de un Campo Tensorial.

Ahora extenderemos la divergencia a los tensores, para esto definamos primero la
divergencia de un tensor contravariante de orden 1 de la siguiente manera:
T = T = T/x =T1/x1 + T2/x2 + T3/x3 + ...

(14)

Para la divergencia de un tensor de segundo orden T obtenemos un vector y se expresa de

la forma:

(15)
Ahora definimos la divergencia de un campo tensorial de orden superior como:
(16)

Teorema de la divergencia.
El teorema de la divergencia se expresa mediante la ecuacin:

(17)
Si queremos extender el teorema a la Relatividad necesitamos definir la divergencia en
un espacio de 4 dimensiones, para ello requerimos escribir este teorema de forma
tensorial, como:

(18)
Ahora usaremos la definicin de F y dV como:

(19) y
(20)
As al sustituir ambos trminos del lado izquierdo obtenemos una nueva ecuacin, del
lado derecho solo debemos considerar que dS se escribir como:
(21)
ya que las derivadas de ese lado no son covariantes. Entonces obtenemos nuestra
ecuacin final:

(22)

Conclusiones.
Hemos logrado llegar a ecuaciones de vital importancia para la fsica a travs de
demostraciones que usan poca matemtica, la mayora de las definiciones dadas en este
documento carecen de una demostracin apropiada para poder ser utilizadas, mas ese no
es el punto de este trabajo, un escrito con tales demostraciones y con una formalidad justa
y necesaria requerira de muchas ms hojas y de un manejo bastante avanzado del tema
para los lectores, siendo este un curso bsico de relatividad solo se pretende acercar al
lector de una manera gentil al tema, ya que exponerlo a matemticas tan avanzadas podra
resultar contraproducente. Teniendo esto en cuenta podemos afirmar que el camino por
el que hemos llevado al lector fue el apropiado.
Habiendo aclarado las razones por las que se trat el tema de esa manera veamos entonces
a lo que llegamos: Definimos conceptos bsicos para que al pasar de la divergencia de un
campo vectorial a uno tensorial no se sintiera tan forzada debido a la ausencia de
demostraciones formales y en el camino encontramos aplicaciones para la fsica y algunas
notas importantes que son tiles al momento de entender la notacin en las definiciones.
Finalmente es importante destacar que los resultados obtenidos son vlidos para tensores
que no son mixtos, si quisiramos definir todo para estos es posible mas la notacin se
hara ms confusa y se podra perder al lector, por lo que se invita a este a adentrarse ms
en el tema tomando como primer paso las referencias al final del documento.

Referencias
[1] La Teora de la Relatividad. Disponible en http://teoria-de-larelatividad.blogspot.mx/2009/03/24-la-divergencia-del-tensor-t.html
[2] La Teora de la Relatividad. Disponible en http://teoria-de-larelatividad.blogspot.mx/2009/03/23b-la-derivada-covariante-de-untensor.html
[3] Las ecuaciones de Maxwell - Ley de Gauss para el campo magntico.
Disponible en http://eltamiz.com/2011/09/28/las-ecuaciones-de-maxwellley-de-gauss-para-el-campo-magnetico
[4] Mecnica del Medio Continuo: Conceptos Bsicos. Disponible en
https://www.uclm.es/profesorado/evieira/ftp/apuntes/Tensores.pdf
[5]
Productos
didicos,
diadas
y
tensores.
Disponible
en
http://laplace.us.es/campos/teoria/diadas.pdf
[6]
Anlisis
Vectorial.
Disponible
en
http://www.esi2.us.es/DFA/CEMI/Teoria/Tema1.pdf
[7]
Algebra
y
clculo
tensorial.
Disponible
en
http://bigmac.mecaest.etsii.upm.es/Site/RM1_files/tema1.pdf