ALGEBRA Y ANALISIS TENSORIAL

Por Javier de Montoliu Siscar, Dr. Ing. Ind. 5 Edicin. Octubre 2004.

PROLOGO
Este ensayo tiene por finalidad facilitar los clculos propios del Algebra Lineal, en especial los que se refieren a los distintos temas propios de las ciencias fsica y geomtrica en su relacin con un espacio puntual afn siempre propiamente euclidiano, a base de considerar la tridimensionalidad como un caso particular de la n-dimensionalidad con n finito. No se desarrrollan pues de momento, sus aplicaciones a la fsica relativista ni cuntica. posibles

Esta Algebra y Clculo Tensorial es especialmente til, pues no opera solamente con magnitudes tensoriales propiamente dichas (que incluyen vectores y escalares), sino que permite considerar como tales en el clculo, a los operadores lineales multilineales, facilitando as la formulacin de las imgenes que determinan. Entre los operadores expresables tensorialmente se incluyen derivadas, derivadas direccionales parciales, as como magnitudes integrales. El simbolismo elegido para los tensores es intrnseco, y se ha limitado la utilizacin y descripcin de sus componentes caractersticos y de las bases vectoriales adoptadas, a los casos en que ha sido necesario conveniente para una definicin una demostracin. En cuanto a la expresin de sus componentes caractersticos en cifras, se hace excepcionalmente a ttulo de ejemplo caso particular. El lgebra que se utiliza, se halla definida en el segundo captulo del texto, y en el resto del texto, se hace la aplicacin del lgebra a un estudio parcial detallado de diversos tensores y sus relaciones. En la primera parte se dedica una atencin especial a los tensores de segundo orden y a su relacin con las matrices cuadradas. En la segunda parte ponemos el acento sobre las aplicaciones del lgebra a la expresin tensorial de las magnitudes diferenciables integrables as como de las derivadas espaciales y diferenciales y a la expresin intrnseca de las frmulas de Stokes y Ostrogradski. Barcelona 10 de febrero de 2002.

TABLA DE CONTENIDO
PROLOGO TABLA DE CONTENIDO ALGEBRA TENSORIAL A.- GENERALIDADES. B.- FUNDAMENTOS DEL ALGEBRA TENSORIAL INTRINSECA A DESARROLAR 1.- Algunos aspectos del espacio vectorial E propiamen-te euclidiano y de dimension finita y de los espacios vectoriales Es (n finito) construdo sobre E, con cuyos elementos opera el lgebra. 2. Estructura y propiedades principales del lgebra. 3.- Tensores y aplicaciones lineales. 4.- Operacin contraccin de tensores. 5.- Observaciones. C.- TENSORES EN GENERAL. 1.- Norma, mdulo, ncleos e imgenes de un tensor. 2.- Simetras y antisimetras en los tensores. 3.- Simetra y antisimetra m,p 4.- Simetra y antisimetra 1,2. 5.- Tensores totalmente antisimtricos 6.- Tensores totalmente simtricos y h-simtricos. 7.- Tensores istropos. 8.- Particularidades del espacio tridimensional. 9.- Particularidades del espacio bidimensional. 10.- Polinomios tensoriales. D.- TENSORES E2 DE 2 ORDEN 1.- Generalidades. 2.- Matrices de coeficientes tensoriales. 3.- Producto matricial de tensores de 2orden. 4.- Tensor fundamental. 5.-Tensores istropos. 6.- Invariantes de un tensor.Traza. 7.- Determinante de un tensor. 8.- Valores y vectores propios de un tensor. 9.- Grupos de tensores. Potencias matriciales. 10.- Tensores ortogonales. 11.- Tensores semejantes. 12.- Tensores simtricos definidos positivos. 13.- Tensores simtricos semidefinidos positivos. ANALISIS TENSORIAL A.- ESPACIOS PUNTUALES. DERIVADAS. 1.- Espacios puntuales afines. 2.- Utilizacin del vector . i I 1 1 3

3 4 7 8 9 11 11 16 18 20 22 38 42 44 48 50 55 55 57 62 66 69 71 73 75 80 89 90 91 93 95

95 95 104 I

3.- Derivacin de expresiones tensoriales. 106 5.- Integrabilidad espacial. 112 6.- Funciones de funcin de x. 115 7.- Campos vectoriales particulares en un espacio puntual afn n-dimensional. 117 B. VARIEDADES. INTEGRACION. 1.- Variedades y cuerpos. 2.- Politopos y tensores totalmente antisimtricos. 3.- Magnitudes de volumen. 4.- Frmulas de Stokes y de Ostrogradski. 5.- Integraciones en general. C.- INTEGRALES Y CAMPOS PARTICULARES. 1.- Integrales de volumen relativas a rr-n. 2.- Valor de D para cualquier cuerpo. 3.- Campos solenoidales. 4.- Campos irrotacionales, 5.- Campos armnicos. D.- ECUACIONES DIFERENCIALES 1.- Ejemplos de ecuaciones diferenciales. E.- SERIES POLINOMICAS. APENDICE INDICE DE EQUACIONES 119 119 120 126 127 131 135 135 143 145 152 156 159 159 163 169 171

II

ALGEBRA TENSORIAL

A.- GENERALIDADES. 1.- Este texto tiene por objeto el estudio de un lgebra propia del conjunto de tensores afines construdos sobre un espacio vectorial E propiamente euclidiano n-dimensional, considerados intrnsecamente y tomando escalares y vectores como tensores de orden 0 y 1 respectivamente. 2.- Supondremos familiarizado el lector elementos de lgebra lineal y en particular con vectoriales, tensores, matrices y determinantes. con los espacios

3.- En general, expresaremos los escalares por letras griegas minsculas: ,,, etc., los vectores por letras normales minsculas con flecha en la parte superior: v, w, etc., y los tensores por letras griegas minsculas con flecha en la parte superior: , , etc. Si (vw) son escalares complejos, sus w conjugados se representarn por y (v ) * y (vw)*. Normalmente, cuando un escalar es un coeficiente de un vector tal como v, lo representaremos con la misma letra v sin flecha y con un subndice o suprandice, por ejemplo: v2, vi, v3,etc. Si es un coeficiente de un tensor , se representar por la letra normal minscula t correspondiente, seguida de los subndices y suprandices, necesarios para su identificacin, 1 escritos uno a continuacin del otro. Ejemplo: t12 4 Una matriz se expresar con una letra mayscula como un conjunto j de elementos. Sea por ejemplo la matriz A = {j}. La i expresin i significar un elemento de la matriz, cuya identificacin depender de la convencin adoptada. Hache convendremos que el suprandice indica la fila, en este caso j, y que el subndice indica la columna, en este caso i. De esta manera, 3 no representa a la matriz A, sino a un elemento 2 determinado de ella, el de fila 3 y columna 2.
n Sea un sumatorio k=m k. Lo representaremos por n k si a m a no hay duda sobre la magnitud que toma valores y si tampoco hay duda respecto a los valores lmites, por kak o simplemente por . ak

4.- Se adopta el convenio de Einstein: Siempre que en un monomio figure dos veces el mismo ndice, una vez como superior y otra como inferior, se debe, salvo aviso en contra, sumar los monomios obtenidos dando a este ndice todos los valores posibles. 1

Si esto ocurre con ms de un ndice, habr que sumar los monomios obtenidos dando a estos ndices todos los valores posibles. vivi = v1v1 + v2v2 + ..... + vnvn aijbji = a11b11+a12b21+..+a21b12+a22b22+....+an1b1n+an2b2n+..

B.- FUNDAMENTOS DEL ALGEBRA TENSORIAL INTRINSECA A DESARROLAR 1.- Algunos aspectos del espacio vectorial E propiamentes euclidiano y de dimension finita y de los espacios vectoriales E (n finito) construdo sobre E, con cuyos elementos opera el lgebra. 1.01.- Bases duales. Por ser E propiamente euclidiano tenemos E* = E, o sea que E es dual de s mismo en el sentido siguiente: A toda base de E corresponde una base dual tambin de. E, que slo coincide con la primera cuando sta es ortonormal. Por otra parte, consideraremos a los vectores de E como tensores de orden uno y representaremos como base principal de E a {ei} y como base dual a {ej}, sabiendo que verifican eiej = ejei = j (smbolo de Kronecker). i Por consiguiente podemos tomar como bases de Es, las siguientes: {eiej..es}, {eiej..es}, {eiej..es}, etc.

1.02.- Expresiones de un tensor. a) Todo tensor de Es puede expresarse por una combinacin lineal de productos tensoriales elementales, es s decir, correspondientes a elementos de E :
r =

(a b .. p )
i i i i

b) Teniendo en cuenta que cada r factores tensoriales simples se pueden representar por un tensor de orden r, todo tensor de orden mayor que uno, se puede representar tambin en forma einsteniana de la siguiente manera: = i i c) La notacin ordinaria einsteniana de un tensor en funcin de bases duales, es: = tij..s(e e ..e ) = ti ..s(e ej..e ) = ..... i j s j i s Si no se indica lo contrario tomaremos {ei} como base principal y en consecuencia los coeficientes escalares se denominan: Contravariantes: tij..s 3

Covariantes: Mixtos:

tij..s tij..s, etc.

Si y slo si la base es ortonormal, se verifica: tij..s = tij..s = tij..s = .... 2. Estructura y propiedades principales del lgebra. 2.01.- Operaciones fundamentales. El conjunto E toma la estructura de un lgebra estableciendo las siguientes operaciones fundamentales entre sus elementos: 1.- Multiplicacin tensorial. 2.- Multiplicacin contracta. que pasamos a precisar. 2.02.- Multiplicacin tensorial. Definimos como producto tensorial de un tensor Es de E(s+m) de las por un tensor Em a un tensor caractersticas propias de la estructura tensorial que suponemos conocida. Nos limitaremos ahora a recordar las siguientes: 1.- No conmutatividad: En general .

2.- Asociatividad: ()=() = 3.- Distributividad a derecha e izquierda: (=+; =+): = + + + 2.03.- Multiplicacin contracta. Entre los posibles, definimos como producto contracto normal de dos tensores y y lo expresamos sin signo especial, a un tensor , que tiene por orden el mdulo de la diferencia de rdenes de los factores, sujeto a las siguientes leyes: 1.- Conmutatividad: =

2.- Distributividad a derecha e izquierda: (=+; =+): = + + + 3.- El producto contracto entre vectores de E coincide con el producto escalar en E. 4

4.- El producto contracto de dos productos tensoriales elementales, se verifica ordenadamente del modo siguiente: (a1a2...amam+1...an)(b1b2...bm) = = (a1b1)(a2b2)...(ambm) [am+1...an] Cada parntesis () indica un producto escalar cuyos factores son los pares de vectores situados en el mismo orden de colocacin de derecha a izquierda de los tensores factores, hasta agotar los vectores del tensor de menor orden. con Puede verse fcilmente que esta operacin es compatible las propias de los espacios vectoriales de tensores. 2.04.- Notaciones einstenianas normales. Ejemplos. Sean los tensores =tijk(eiejek); =slm(elem) 1. = = [t k(eieje )] [slm(e e )] = ij k l m = tijkslm(eiejekelem) pijklm = tijkslm 2. = = [t k(eieje )][slm(e e )] = ij k l m = tijkslm(eiel)(ejem)ek =tijksijek rk = tijksij Para este producto, las bases utilizadas para el primer factor deben ser duales de las utilizadas para el segundo factor. 2.05.- Teoremas fundamentales de esta lgebra. Teorema 1.- Dados tres tensores , y construidos sobre E, tales que el orden de es igual o mayor que el de , se verifica: () = () Dada la distributividad de productos tensoriales y contractos, bastar demostrarlo para el caso de que los tres tensores sean productos tensoriales simples. Efectivamente, para = a a ...a = b 1b 2...b rb ...b r s = c1 c2 ....c r+1 1 2 t tendremos: = (a b )(a b )...(a b )[b ...b ] 1 1 2 2 r r r+1 s = a a ...a c c ...c
1 2 r 1 2 t

y por consiguiente: () = (a1b1)(a2b2)...(arbr)[br+1...bs][c1c2....ct] )= (a b )(a b )...(a b )[c c ....c ][b ...b ] (

1 1 2 2 r r 1 2 t r+1 s

Teorema 2.- Dados tres tensores , y construidos sobre E, tales que el orden de es inferior al de , se verifica: () = () Bastar demostrarlo para los mismos tensores de la demostracin anterior, con lo que tomar el valor all expresado. Tendremos adems: = b b ...b b ...b c c ....c 1 2 r r+1 s 1 2 t y por consiguiente: = (a b )(a b )...(a b )[b ...b c c ....c ] ) = (a1b1)(a2b2)...(arbr)[br+1...bsc1c2....ct]
1 1 2 2 r r r+1 s 1 2 t

Teorema 3.- Sean 4 tensores , , y construidos sobre E, tales que y son de igual orden. se verifica: ()() = ()() Pues = es un escalar, y podremos escribir: ()() = [()] y por el teorema 1: ()() = [()] = ( )() 2.06.- Un coeficiente escalar de un tensor de orden s, relativo a una base tensorial compuesta por vectores de un par de bases duales de E, es igual al producto contracto de por un producto tensorial de dichos vectores base con ndices en igual posicin y orden. Podemos demostrarlo, por ejemplo para tijk: (eieje ) = [ti'j' (e e ek')](eieje ) = k i' j' k k' = ti'j'k'(ei'ei)(ej'ej)(ek'ek) = tijk

y evidentemente la demostracin es anloga para cualquier otro coeficiente. 2.07.- Cambio de coordenadas de un tensor al pasar de una base {ei} de E y su dual, a una nueva base {fj} y su dual, relacionadas con las anteriores por: i k i k fj = jei; fk = mem; ji = k = smbolo de Kronecker j Sea por ejemplo = tirst(eiereset)= tvwgh(fvfwfgfh) 6

 v w s t tvwgh= (fvfwfgfh) = ([iei][rer][ges][het])=

v w s t v w s t = irgh (eiereset) = irghtirst v w s t Como i,r,g y h corresponden a matrices de cambio de bases, que son regulares, las nuevas coordenadas son funcin regular de las anteriores. Para todo tensor, se obtienen anlogamente las coordenadas nuevas de cualquier tipo a partir de las antiguas del mismo o distinto tipo.

2.08.- Se demuestra que un conjunto de escalares funcin de una base de E, define a un tensor de E, si y slo si, con un cambio de bases, los escalares varan como si fueran los elementos de un conjunto de coeficientes tensoriales de un mismo tipo determinado. Entonces el conjunto de escalares coincide con el conjunto de coeficientes del mismo tipo correspondientes a algn tensor. Tambin se demuestra que un conjunto de escalares, funcin de una base de E, define a un tensor , o sea que es el conjunto de coeficientes de , de algn tipo, cuando al operar como si as fuera para hallar los coeficientes de de , un tensor cualquiera, hallamos un conjunto de escalares siendo que define a un tensor. 2.09.- Para E propiamente euclidiano, el producto contracto aqu definido, induce en todos los espacios vectoriales E de tensores afines a E, un producto escalar que tambin los hace propiamente euclidianos. 3.- Tensores y aplicaciones lineales. 3.01.- (s+m) productos contractos de un tensor Los determinado de E por los distintos vectores de Es, son vectores de Em que varan linealmente con ellos. Por lo tanto dichos productos son las imgenes de una aplicacin lineal de Es en Em representada por el tensor . El tensor de E(s+m) correspondiente a la aplicacin lineal por la que una base {gi} de j Es tiene por imagen {fi), j vamos a ver que es (g fj) siendo {g } la base dual de {gj}. En efecto: (gjfj)gi = (gjgi)fj = fi 3.02.- De acuerdo con el prrafo anterior, la aplicacin lineal idntica vendr representada por el tensor i i g gi = gig referido a cualquier par de bases duales, pues por el teorema 1 y '2.06, tenemos: (gigi)a = (gia)gi = aigi = a 7

Para los vectores de E, la aplicacin lineal idntica vendr representada por un tensor de 2 orden: I = eiei = eiei con {ei} y {ei} bases duales de E. El producto contracto de I por un producto tensorial (ab) cualquiera de dos vectores de E, es el producto escalar de ambos. Pues tenemos: I(ab) = (Ia)b = ab 3.03.- Coeficientes de I. Los coeficientes tensoriales de I contravariantes constituyen las matrices de cambio de base de una base a su dual y los coeficientes covariantes de I forman las matrices del cambio inverso. Los coeficientes mixtos forman la matriz unidad. Pues podemos escribir: ij i I ij ei ei ei = gijej = g (eiej) = ig ej = ie i j j e ) = e g e = e e = g ej I= g (e e
ij ij i i ij

i j k I e = g j(eie ) = kek j i I= gi (e ej) = eke

g j = j (smbolo de Kronecker) gij = ij (smbolo de Kronecker)

i i

Por clculo vectorial sabemos que las matrices de cambio inverso son inversas. Tambin se verifica que las matrices covariante y contravariante de I son las fundamentales para las bases duales fundamentales
ij g ei = gije i =

ej = ej =

e j(eiei) = (e je i)ei (e ei) = (e e )ei ej i i j

gij = e ie j gij = e ie j

4.- Operacin contraccin de tensores. La definiremos como un modelo. Sea un producto tensorial nico = abcd..m La contraccin de los factores 2,4 es el tensor = (bd)(ac..m) Si el tensor viene dado en forma normal en funcin de bases duales, tal como = tijk (e e e el..em) l..m i j k la contraccin 2,4 ser: 8

 = tijk (e el)(e e ..em) = (j=l): tijk m l..m j i k l..m (e iek..e ) Deducimos de aqu, que para efectuar esta ltima operacin, hay que expresar previamente os dos factores tensoriales a suprimir, en sendas bases duales. 5.- Observaciones. Las magnitudes que se consideran en muchas partes de la Fsica no relativista, son asimilables a espacios vectoriales de tensores de orden 0, 1 mayor, isomorfos a los de E, y sus relaciones mutuas, en muchos casos, se pueden expresar sin adoptar unidades de medida, sea intrnsecamente, a travs de los conceptos y mtodos algebraicos aqu establecidos, y de otros complementarios deducidos de ellos. Estimamos que esta lgebra tensorial puede facilitar considerablemente el estudio intrnseco de las relaciones entre magnitudes fsicas y para su desarrollo, resulta indispensable el dominio en la aplicabilidad de los tres teoremas fundamentales aqu enunciados. De entre los productos contractos entre tensores que se pueden definir y que se usan, se ha elegido como normal el de aplicacin ms general, y que estimamos suficiente para nuestros fines. Una vez halladas las expresiones ms sencillas convenientes, el clculo numrico exige adoptar unidades de cada magnitud y por tanto la adopcin de bases vectoriales que se correspondan debidamente entre ellas y entonces tambin tienen plena aplicacin la expresin de tensores por coeficientes de notacin einsteniana, expresin que en los casos sencillos se presta a la aplicacin del clculo matricial. Las matrices, tambin se pueden considerar como tensores, por lo general de orden uno y dos, y por tanto, sus relaciones intrnsecas tambin quedarn reflejadas en desarrollos diversos del lgebra tensorial aqu presentada. El lgebra que aqu se va a desarrollar, est dedicada especialmente a los tensores afines a E expresados en forma intrnseca, incluyendo entre ellos a vectores y escalares. En cuanto a bases y coeficientes, en general intervienen solamente para completar el estudio de los problemas o para aclarar o confirmar resultados, de acuerdo con el objeto del texto, que es nicamente intentar hacer ver las ventajas del mtodo intrnseco de clculo tensorial aqu desarrollado. Esta lgebra no se ha ampliado a los elementos de espacios construdos sobre espacios vectoriales hermticos, por la dificultad derivada de que, ya en los casos ms sencillos, el producto hermtico de vectores no es en ellos conmutativo. 9

El mtodo aqu utilizado para definir el lgebra y otras propiedades de los elementos de E (tensores construdos sobre E) al ser E propiamente euclidiano, tambien es utilizable cuando E slo es euclidiano (no propiamente), si se tiene en cuenta que entonces en E no pueden existir bases ortonormales.

10

C.- TENSORES EN GENERAL. 1.- Norma, mdulo, ncleos e imgenes de un tensor. 1.01.- Definicin. Llamaremos aqu norma de un tensor , al escalar y mdulo de un tensor a la raz cuadrada positiva de su norma. Consecuencias. a) Si =tij..p(eiej..ep) es la representacin einsteniana del tensor en base del espacio fundamental, su norma valdr:
ij..p = tij..p(e e ..e )t i' j' p' tij..p i j p i'j'..p'(e e ..e )= t

Como adoptando una base ortonormal se tiene tij..p = tij..p, resulta que la norma se puede expresar siempre por una suma de cuadrados y por tanto es positiva, salvo el caso del tensor nulo, en el que ser nula. b) Si el tensor = (12..m) est expresado por un producto tensorial de tensores, su norma es el producto de las normas de los factores. Aplicando las leyes del producto contracto, tendremos: = ( .. )( .. ) = ( )( )...( ) 1 2 m 1 2 m 1 1 2 2 m m c) La norma del tensor =i cuando {i} es un conjunto de tensores de igual orden ortogonales dos a dos, es la suma de las normas de los sumandos: (l + 2 +...+ 2m)(l + 2 +...+ 2m) = 11 + 22 + .. + mm puesto que los productos con subndices distintos son nulos por ortogonalidad. 1.02.- Como la norma definida para un tensor coincide evidentemente con la norma del mismo tensor considerado un vector del espacio vectorial de los tensores de su orden, podemos aplicar a este espacio vectorial las desigualdades de Schwartz obtenidas para espacios vectoriales en general. La 1 desigualdad, para dos tensores cualquiera y supuestos no nulos y del mismo orden, es: [()][()] ()[()()]

y transformando el 1 miembro por el teorema 1 fundamental, y el segundo miembro por el teorema 3, queda as: [()][()] ()()()

Sustituyendo por de igual orden, se verificar tambin la siguiente desigualdad: 11

 [()()][()()] ()()[()()] que por ser el corchete positivo podemos simplificar as: [()()] ()() Esta expresin generaliza la 1 desigualdad de Schwartz al producto contracto de tensores cualesquiera. 1.03.- La anterior desigualdad nos permite definir el coseno del ngulo formado por dos tensores y no nulos cualesquiera, de mdulos y .
1
rr rr r r ()() (,) = rr r r ; cos ( )()
2

rr r r cos ,) = (

Este coseno sera de naturaleza vectorial, y no escalar, cuando y fueran de distinto orden. Tendra entonces un mdulo inferior o igual a uno. Slo sera nulo para y ortogonales. Sera uno si se puede expresar as: (): = = () = ; =

como puede verse fcilmente sustituyendo estos valores en la expresin de cos2(,). 1.04.- Sea el producto contracto de un tensor de orden s por otro cualquiera de un orden r igual o inferior a s. El tensor resultante, de orden s-r, vara linealmente con el factor de orden r elegido, y por tanto, se puede considerar a como un tensor representativo de una aplicacin lineal del espacio de los tensores de orden r en el espacio de los de orden s-r y por analoga procederemos a las siguientes definiciones: 1. Para de orden s, llamamos ncleo de de orden r, y lo expresamos por Nucr, al conjunto de tensores de orden r, tales que: = 0 Nuc r 2. Para de orden s, llamamos imagen de de orden r, y lo expresamos por Imr, al conjunto de tensores de orden r que resultan de la multiplicacin contracta de por cualquier tensor de orden s-r: = Im r ncleos e imgenes.

1.05.- Caractersticas de

a) Nucr y Imr son subespacios vectoriales de tensores de orden r correspondientes a la aplicacin . b) Nucr y Imr por ser subespacios vectoriales de tensores de orden r tienen por dimensin mxima nr. que es la dimensin 12

del total espacio de tensores de orden r. c) Como para toda aplicacin lineal, cuando los productos contractos de por los tensores de un conjunto {i} son un }. conjunto independiente, tambin lo es {i d) La suma de dimensiones de Nucr y Ims-r cada uno en su subespacio es nr. Efectivamente: Si dim Nucr = nr, o sea todo el espacio, ser nulo , as como la dimensin de su imagen. Si dim Nucr = p<nr, adoptando una base {i} de algn , y por tanto de dimensin subespacio suplementario de Nucr q=nr-p, siempre se verificar: (q=nr-p): (11+...+qq) = 11+...+qq Como ningn i pertenece al ncleo, el miembro primero de la ecuacin solo puede anularse cuando todos los sean nulos, y por lo tanto el 2 miembro se anular si y slo si todos los son nulos. Ello conlleva que el conjunto {i} es independiente, y , ser adems una base. como sea que ya es un generador de Ims-r La dimensin de Ims-r es pues q=nr-p. 1.06.- Tensor expresado como producto ii Siempre es posible expresar por ii un tensor de orden s2, ya que estos tensores se pueden considerar como sumatorios de productos tensoriales de vectores y stos a su vez pueden resumirse as. Vamos a exponer distintas caractersticas que se deducen dei esta formulacin de un tensor, suponiendo de orden s, los { } de orden r<s y, por tanto los {i} de orden s-r. 1.07.- El subespacio A generado por los {i} contiene . al subespacio N suplementario ortogonal de Nucr Sea en el espacio vectorial de los tensores de orden r, el subespacio A' ortogonal (y por tanto suplementario) del subespacio A engendrado por los {i}. Como por hiptesis todo tensor de A es ortogonal a v todo tensor de A, y es de orden r, utilizando el 1 teorema fundamental, podremos escribir: v = (i )v = (i) v i i Ims-r. = 0 Nuc ANuc AN v r r

1.08.- El subespacio B generado por {i} contiene a Pues los tensores de Ims-r son los productos de con 13

 cualquier tensor de orden r y siempre pueden expresarse como funcin lineal i de los {i}, ya que siendo escalares las ) se verifica: expresiones ( = (i ) = (i) (1) i i 1.09.- Evidentemente, si los 'i no son independientes podemos ponerlos en funcin de los tensores de una base {i}, y de orden s por: entonces siempre podremos expresar (2) = i i

adoptando una base {i} cualquiera del espacio vectorial de los tensores de orden r. 1.10.- Sea de {i}, se verifica tenemos: expresado por (2). Si { } es la base dual i = , pues por el 11 teorema fundamental i i

= (j ) = (j ) = i i j i i j y sustituyendo en (2) tenemos otra expresin de : (3) = i i

de utilizacin general cuando {i} y {i} son bases duales. 1.11.- El tensor de orden s representa lineal que hace corresponder a los tensores base que figuran en (3), los tensores i de orden s-r, tensores base, el tensor nulo. Pues acabamos de ver que i = i. Si los tensores son productos tensoriales de un tipo determinado, es fcil ver que representa asimismo la aplicacin multilineal que hace corresponder, a cada conjunto ordenado de tensores factores, un tensor de orden s-r determinado. Hallar la imagen de un tensor con toda aplicacin lineal, se reduce siempre a practicar un producto contracto entre este tensor y el que representa la aplicacin. El primero ser un producto tensorial para una aplicacin mltiple. 1.12.- El nico tensor, tal que su producto contracto es nulo, con cualquier tensor de un espacio vectorial de tensores de un mismo orden cualquiera, es el tensor nulo. Se deduce fcilmente del examen de las ecuaciones (1) y (3) segn que el orden del tensor nico sea superior o inferior al del espacio de tensores considerado. 1.13.- Eleccin de bases para que la expresin de que estamos estudiando tenga el mnimo de sumandos. Habremos de tomar como base del espacio vectorial de 14 la aplicacin de orden r i y al resto de

los tensores de orden r, la reunin de una base del subespacio N ortogonal a Nucr y de una base de Nucr. Efectivamente: Atendiendo a la ecuacin (3), y considerando los tensores {i} de orden r, si dim Nucr = p, los p sumandos correspondientes a los i de la base de Nucr sern nulos por serlo los segundos factores, y quedarn nr-p sumandos no nulos correspondientes a la base del subespacio ortogonal a Nucr. Como por '1.08 sabemos que el subespacio generado por {i} ha de contener a Ims-r, cuya dimensin segn '1.05 es nr-p, el nmero de sumandos no nulos es irreducible. 1.14.- Siempre que la expresin = ii est escrita con un mnimo de sumandos para el orden r elegido para los tensores tal como se acaba de indicar, tendremos en consecuen cia: {i} = Base subespacio ortogonal a Nucr {i} = Base Ims-r. 1.15.- Se deduce fcilmente de '1.11 que el producto contracto de un tensor de orden s por un tensor de orden r es siempre un tensor. El orden del mismo es el mdulo de s-r, y el tensor puede ser nulo. La admisin del orden tensorial uno para los vectores y el orden cero para los escalares generaliza esta proposicin a todos los casos posibles.

15

2.- Simetras y antisimetras en los tensores. 2.01.- Transposicin. Sea un tensor producto tensorial cualquiera de s vectores y un tensor producto tensorial de los mismos s vectores que antes pero en un orden distinto, que solamente difiere del anterior en que se hallan permutados los factores de lugares de orden m y p. Diremos que y son tensores transpuestos m,p. Para tensores en general, diremos que un tensor es el tensor transpuesto m,p de y lo designaremos ~(m,p), cuando se verifique: ~(m,p) = (): para cualquier par y de productos tensoriales transpuestos m,p. Por lo tanto dos tensores transpuestos m,p son del mismo orden, y ste es mayor igual que m y que p. Dada una descomposicin de en suma de productos tensoriales de vectores esta condicin la cumple evidentemente un tensor suma de productos tensoriales de vectores que sean transpuestos m,p de los primeros. Ejemplo de tensores transpuestos 2,4: = [i(aibicidiei)] ~(2,4) = [ (a d c b e )] i i i i i i Para cualesquiera vectores h,u,v,w,q se tiene; [(iaibicidiei)](huvwq)=[i(aih)(biu)(civ)(diw)(eiq)] [(iaidicibiei)](hwvuq)=[i(aih)(diw)(civ)(biu)(eiq)] y ambos productos son efectivamente iguales. Solo hay un tensor que cumpla con las condiciones exigidas al transpuesto. Si hubiera dos, tales como 1 y 2, se tendra: (): 1 = 2 (1 - 2) = 0 y por tanto, como cualquier tensor de orden s>1 puede descom ponerse en suma de productos tensoriales de vectores, se tendra tambin: (): 2.02. (1 - 2) = 0 no hay duda = 1 2 sobre la clase de 16

Cuando

transposicin efectuada sobre un tensor , al tensor transpuesto lo designaremos simplemente por ~ bien ~. 2.03.transpuesto: Consecuencias de la definicin de tensor

1.- Si con la misma transposicin se convierte en ~ , en ~ , siendo y tensores en los que es posible la y transposicin en cuestin, se verifica: ~~ =

2.- El mdulo de un tensor no vara cuando efectuamos en l cualquier transposicin. 3.- Con la transposicin de un tensor, los ndices de sus coeficientes experimentan el mismo tipo de transposicin. Para una transposicin (2,4), representando con apstrofe los coeficientes del tensor transpuesto, tendremos por ejemplo: tijklm=tilkjm; tijklm=tilkjm; etc.

17

3.- Simetra y antisimetra m,p 3.01.- Definicin. Decimos que un tensor tiene simetra m,p cuando es igual a su transpuesto m,p y que tiene antisimetra m,p cuando es opuesto. Por consiguiente, dado un tensor por una suma de productos tensoriales de vectores, diremos que tiene simetra m,p si y slo si es igual al tensor expresable por una suma de productos tensoriales de vectores, que difieren de los anteriores por la permutacin de los factores de lugares m y p. Diremos que tiene antisimetra m,p si y slo si resulta ser opuesto. 3.02.- Si un tensor tiene simetra m,p, un coeficiente tensorial cualquiera es igual al coeficiente que corresponde a la permutacin de los ndices de lugares m y p. Para un tensor antisimtrico m,p, estos coeficientes son opuestos. Ejemplos: Simetra 2,4: Antisimetra 2,4: tijkmq= timkjq; tijkmq=-timkjq; tijkmq= timkjq; etc. tijkmq=-timkjq; etc.

Por tanto, en este ltimo caso, para m=j y para todos los tipos de coeficiente en que ambos estn a un mismo nivel, los coeficientes son nulos (p.e.: tijkjq = 0). 3.03.- Evidentemente, para que un tensor de orden r dado por sus coeficientes en alguna base, sea simtrico o antisimtrico m,p, es necesario y suficiente que la propiedad anterior de los coeficientes de ndices permutados, la verifiquen la totalidad nr de coeficientes de un nico tipo cualquiera. 3.04.- Es fcil deducir que el conjunto de los tensores simtricos m,p de un mismo orden r constituye un subespacio vectorial del espacio vectorial de los tensores de orden r y que lo mismo ocurre con los antisimtricos m,p. Estos subespacios son disjuntos, pues son ortogonales entre s como vamos a ver. Efectivamente, si tenemos cualquier tensor con simetra m,p, y otro tensor cualquiera del mismo orden con antisimetra m,p, y consideramos los tensores ~ y ~ respectivamente transpuestos m,p de los anteriores, tendremos por '2.03: = ~~ y como adems se verifica: ~ = ; al multiplicar resulta: estas ltimas ~ = - igualdades miembro a miembro

18

 = -

= 0

3.05.- La dimensin del subespacio de los tensores de simetra m,p, puede verse que es: n +1 r-2 2 n siendo n la dimensin del espacio vectorial fundamental y r el orden de los tensores considerados. El primer factor es el nmero posible de combinaciones de orden 2 con repeticin que pueden formarse con n elementos tomados dos a dos en cada una. El segundo factor es el nmero posible de variaciones con repeticin de orden r-2 que pueden formarse con n elementos tomados r-2 a r-2 en cada una. 3.06.- La dimensin del subespacio de los tensores de orden r con antisimetra m,p puede verse que es:

n r-2 n 2
siendo n la dimensin del espacio fundamental. El primer factor es el nmero posible de combinaciones de orden 2 sin repeticin que pueden formarse con n elementos tomados dos a dos en cada una. El segundo factor es el mismo que en '3.05. Este subespacio es suplementarior del anterior, pues la suma de sus dimensiones es la dimensin n .

19

4.- Simetra y antisimetra 1,2. 4.01.- Sea un tensor de simetra 1,2 expresado por:

= v siendo v un vector y un tensor de cualquier orden.

Para algn tensor de orden inferior en una unidad al se verificar: de ():

= vv

Efectivamente. Si la expresin de como suma de productos tensoriales vector-tensor con un mnimo de sumandos, es la siguiente:

= w i i
tendremos

= v w i i

Por la simetra 1,2 de se verifica: (vwii)(ab)=(vwii)(ba) (va)(bwi)i=(vb)(awi)i [(va)(bwi) - (vb)(awi)]i = 0 y por ser linealmente independientes los tensores i: (i): 0 = (va)(bwi) - (vb)(awi) = [(va)wi - (awi)v]b y por ser b un vector cualquiera: (i):

(va)wi = (awi)v

Por ser linealmente independientes los i es necesario w que su conjunto conste de un vector nico v, que utilizado en la ltima ecuacin, la verifica. Por otra parte, la condicin es suficiente para que la nueva expresin de sea la de un tensor con simetra 1,2. Tendremos por lo tanto que el tensor es igual al nico tensor i. 4.02.- La propiedad anterior relativa a la simetra 1,2 puede extenderse a otras simetras por el mtodo que se desarrolla a continuacin. Sea el tensor simtrico 2,4 expresado por: = (r vh u ) i i i Tendremos anlogamente: 20

 = (r vh v) i i
puesto que por transposiciones sucesivas tenemos: ~ = (vu r h ) i i i con simetra 1,2 y por tanto:

~ = (vvr h ) i i
y por transposiciones inversas obtenemos el anterior resultado. 4.03.- As pues, podemos decir en general: Si un tensor expresado como producto tensorial tiene un nico factor vectorial v en el lugar m y tiene simetra m,p, se puede expresar tambin como producto tensorial con el mismo factor vectorial v nico no slo en el lugar m sino en el p. 4.04.- Sea un tensor expresado como producto tensorial que tiene un nico factor vectorial en el lugar m. Este tensor no puede ser antisimtrico m,p. Para demostrarlo bastar comprobar que el tensor =v no puede ser antisimtrico m,p. Pues si as fuera, procediendo hallaramos que debera verificarse como en '4.03,

(va)wi =

-(awi)v

y tendramos por una parte, que por ser linealmente independientes los i sera necesario que su conjunto constara de w un solo vector v y por otra parte, sustituyendo este valor en la igualdad final, tendramos tambin:

(va)v = - (av)v lo que es imposible al ser a cualquier vector.

4.05.- Se deduce inmediatamente de la propiedad anterior que un tensor expresable por un nico producto tensorial de vectores, no puede tener ninguna antisimetra.

21

5.- Tensores totalmente antisimtricos 5.01.- Definicin y propiedades generales. Un tensor es totalmente antisimtrico, cuando antisimtrico respecto a cualquier par de posiciones. es

En consecuencia de la definicin y de lo dicho en prrafos anteriores podemos establecer para los tensores totalmente antisimtricos las siguientes caractersticas: 1.- Un tensor totalmente antisimtrico expresado como un sumatorio de productos tensoriales de vectores, lo que en todo tensor es posible, no vara si efectuamos una misma permutacin par entre los factores de cada sumando, y se transforma en su opuesto con una misma permutacin impar cualquiera. Entendemos por permutacin par el resultado de dos o de un nmero par de permutaciones sucesivas entre cualesquiera pares de posiciones, y por permutacin impar el resultado de una sola o un nmero impar de permutaciones sucesivas. Si P es el conjunto de permutaciones pares pP y I el conjunto de permutaciones impares pI, podremos escribir: = (a b ..r )= [p (a b ..r )]= - (p (a b ..r )] i i i i i P i i i i I i i i 2.- Dado un tensor totalmente antisimtrico de orden q y otro tensor cualquiera de los que se puedan determinar los transpuestos (m,p) expresados respectivamente por ~ y ~, de acuerdo con '2.03 1, tendremos

= ~~ = -~
Ejemplo para q>2; m=1; p=2: (abc..r) = - (bac..r) lo que implica:

(a)(bc..r) = -(b)(ac..r)
3.- Por consiguiente el producto contracto de tal tensor totalmente antisimtrico de orden q, por cualquier tensor que presente alguna simetra entre dos de sus primeras q posiciones, es nulo, o sea que ambos tensores sern ortogonales. 5.02.- Sea la expresin general de un tensor (4)

= tij..r(e e ..e ) = ti ..r(e ej..e ) = ..... i j r j i r

antisimtrico, se

Si el tensor es totalmente verificarn las siguientes propiedades:

1.- Los coeficientes tensoriales de un mismo tipo se 22

transforman en sus opuestos con una permutacin impar de sus ndices y no varan con una permutacin par. Ejemplo: (5) tijk = -tjik = -tkji = -tikj = tkij = tjki

y para igual valor de dos subndices o bien de dos suprandices, el coeficiente es nulo. 2.- Si consideramos un solo tipo de coeficientes de un tensor totalmente antisimtrico de orden q construido sobre un espacio euclidiano de n dimensiones, deducimos: a) No existen tensores totalmente antisimtricos no nulos de orden superior a n. Puesto que todos los coeficientes tendran a la fuerza un ndice repetido y por tanto seran nulos. b) Los coeficientes no nulos pueden agruparse en tantos grupos como combinaciones sin repeticin de n elementos tomados de q en q, de manera que a cada grupo correspondan q! coeficientes de igual valor absoluto (q! son las permutaciones de q elementos). n El nmero de grupos es pues q c) Si consideramos un orden preestablecido (p. Ej. creciente) para los valores numricos de los ndices, en cada grupo habr un slo coeficiente dispuesto con arreglo a este orden, al que llamaremos coeficiente estricto y expresaremos por t(ij..r). d) Si en la expresin general de sacamos factor comn los coeficientes estrictos, tendremos otra expresin de : (6)

= t(ij..r)[ p(e e ..e ) - p(e e ..e )] p P i j r pI i j r

que debe entenderse como sumatorio de tantos tensores como coeficientes estrictos. e) De la expresin anterior, se deduce esta otra: (7)

= 1 tij..r[ p(e e ..e ) - p(e e ..e )] pP i j r pI i j r q!

al considerar que cada coeficiente estricto corresponde a tantos coeficientes ordinarios como permutaciones q! de q elementos. 5.03.- Con un espacio vectorial fundamental de n dimensiones, el conjunto de tensores distintos totalmente antisimtricos de orden q, constituye un subespacio vectorial de los tensores de orden q. Por lo que antecede, vemos que su dimensin coincide con el nmero de componentes estrictas, o sea de grupos, correspondientes a n y a q. Para n=q es uno, con una sola componente estricta y un slo grupo. En general es:

23

n Dimensin = q
5.04.- Cuando un tensor de orden s es totalmente antisimtrico, Nucr y Imr son ortogonales suplementarios. Puesto que la expresin =i1 de con un mnimo de sumandos, sabemos por '1.14 que implica:

{i} = Base subespacio ortogonal a Nucr. } = Base de Im . {1 s-r

Y con totalmente antisimtrico tendremos =ii tambin con un mnimo de sumandos, y por tanto:

{i} = Base subespacio ortogonal a Nucs-r {i} = Base de Imr

5.05.- Producto exterior.

Llamamos producto exterior de los vectores a,b,...r y b..r, al siguiente tensor: lo expresamos por a (8) ab..r = pPp(ab..r) - pIp(ab..r)
que es evidentemente un tensor totalmente antisimtrico. 5.06.- Ejemplo de producto exterior: a b c = a b c + b c a + c a b - a c b - b a c - c b a 5.07.- Empleando productos exteriores (6) y (7) quedan de la siguiente manera: las ecuaciones

= t(ij..r)(e e ..e ) = 1 tij..r(e e ..e ) i j r i j r q! Si en la primera ecuacin sustituimos (eiej..er) por [e(ij..r)], tendremos:
(9)

= t(ij..r)e (ij..r)

y de esta manera, se puede aplicar el convenio de Einstein a los ndices considerados en bloque. Tambin se tendr:

e(ij..r)e(i'j'..r') = (ij..r) (i'j'..r')

t
(ij..r)

= simbolo de Kronecker t(ij..r) = e(ij..r)

= e(ij..r);

5.08.- En lgebra exterior se estudian las propiedades de este producto y aqu nos limitaremos a enunciar algunas. 1 La multiplicacin exterior es asociativa y distributiva. Para multiplicar por un escalar basta multiplicar un factor. 24

2 Una permutacin par de factores vectoriales no altera el producto exterior y una permutacin impar lo convierte en su opuesto. 3 Un producto exterior nulo corresponde a un conjunto de factores no independiente y recprocamente. 4 Si n es la dimensin del espacio vectorial de los factores, un producto de ms de n factores es nulo. 5 Todo tensor totalmente antisimtrico de orden n, por ser uno la dimensin de su subespacio, puede expresarse siempre con un nico producto exterior de n vectores. 6 En la expresin general de un tensor producto exterior de orden qn, en funcin de una base {ei} de E n-dimensional:

(m=miei;..s=skek):
se verifica:

= mn..s = p(ij..r)e (ij..r)

mi ni .. si p
(ij..r)

mj nj .. sj . . .. . mr nr .. sr

= Det {V m

Vn .. Vs}

siendo las Vi las matrices columna ( bien fila) coeficientes de los factores respecto a {ei,ej,..er}.

de

los

7 No todos los tensores totalmente antisimtricos pueden representarse por un producto exterior para dimensin E n>3. 5.09.- Norma de un tensor totalmente antisimtrico no nulo de orden q (q igual o menor que la dimensin n del espacio E fundamental).

La expresin de en bases {ei} y {ei} duales, es = tij..r(e e ..e ) = t(ij..r)e i j r (ij..r) = t (eiej..er) = t (ij..r) ij..r (ij..r)e
Teniendo en cuenta lo dicho en '1.01, y que hay q! productos iguales tij..rtij..r para cada coeficiente estricto, se verificar: (10) y por lo tanto: (11)
(ij..r) = tij..rt t(ij..r) ij..r = q! t

e(ij..r)e(ij..r) = q!
En los textos de lgebra exterior se define en general 25

como norma especial para estos tensores, el valor t(ij..r)t(ij..r) mientras que aqu hemos conservado el concepto general. 5.10.- Sea un tensor totalmente antisimtrico cualquiera de orden s, y sean q vectores a,b,..,r, con qs. De acuerdo con (8) y '5.01-2, se verifica: (12)

1 1 (ab..r) = [pPp(ab..r) - pIp(ab..r)]= q! q! = (ab..r)

E n-dimensional, y el . En virtud de '5.08ei escribir:

5.11.- Sea {ei} una base de conjunto de n vectores {vj} tales que vi= 6 habr un nico componente y podremos
(13)

= v v ..v = e e ..e = (Det{t i})e 1 2 n 1 2 n j (12..n)

Si el conjunto hubiera sido de solamente q<n vectores, y no coincidieran los subespacios generados por {vi} y por {ei}, habra ms componentes. Para cada uno, y segn '5.08-6, p(..) sera igual al determinante de la matriz extrada de {tji} para los q valores ,,..,y de i as como de j, y tendramos:

vv..v = ee..e = (Det {tji}(..))e(..)

En este caso, habr que tener tambin en cuenta que ahora no queda determinado por solo q<n vectores v. 5.12.- Escalares polares. Si el espacio fundamental es n-dimensional, los tensores totalmente antisimtricos de orden n, vemos por '5.03 que constituyen un subespacio vectorial unidimensional de los tensores de orden n, y por lo tanto podremos hacer que a cada tensor totalmente antisimtrico corresponda un escalar, de tal modo que a suma de tensores corresponda suma de escalares y que a producto de escalar por tensor corresponda el producto de este escalar por el escalar correspondiente al tensor. Al escalar correspondiente a cada tensor le denominaremos escalar polar de este tensor y lo expresaremos as:

Escalar polar de v1v2..vn = (v1v2..vn)

y a la ecuacin escalares: (14) (13) entre tensores, corresponder entre

(v1v2..vn) = (Det {V1 V2 .. Vn})(e1e2..en)

5.13.- Producto de dos escalares polares.

Si relacionamos el primero con una base {ei} y al

26

 segundo con la base dual {ei) podremos escribir: (v1v2..vn) = (Det {V1 V2 .. Vn})(e1e2..en) W1 ~ 2 r 1 r 2 .. r n) = Det W ~ r1 r 2.. r n) ( (w w e' w' e e .. n W ~ Pero tenemos: W1 ~ 2 ~ W [Det { ][Det V1 V2 ..Vn}] = Det .. n W ~ W1 ~ 2 W ~ {V1 V2 ..Vn .. n W ~ } =

~ = Det{WjVi} = Det {wjvi} y por lo tanto, el producto contracto miembro a miembro resulta:

((v1v2..vn)(w1w2..wn) = [Det{wjvi}](ei..en)(ei..en)
5.14.- Si un producto exterior de q vectores no es nulo, tiene por factores q vectores independientes, segn se dijo en '5.08-3. Por consiguiente, cuando n es la dimensin del espacio vectorial fundamental, si un producto exterior de n vectores no es nulo, podemos considerar que estos vectores constituyen una base del espacio fundamental.

i i 5.15.- En el caso de que {w } sea la base {v } dual de }, tendremos Det{wjv } = 1, y la ltima ecuacin queda as: {vi i (v1v2..vn)(v1v2..vn) = (ei..en)(ei..en)
As pues, los productos de los escalares polares correspondientes a bases duales, coinciden para todos los pares de bases duales. Esto ocurrir tambin con un par de bases duales ortonormales, que son coincidentes, y por tanto este producto constante ser igual al cuadrado del escalar polar correspondiente a cualquier base ortonormal. Conviniendo que este cuadrado sea la unidad, tendremos que el producto de los escalares polares correspondientes a cualquier par de bases duales es siempre uno. 5.16.- En virtud de esta convencin, el escalar polar correspondiente a cualquier base ortonormal ser uno o menos uno. Si para un orden determinado de los vectores de una base ortonormal asignamos el valor uno, con una permutacin impar de este orden resultar el valor menos uno. 27

Tendremos pues dos tipos de bases: las positivas y las negativas y tambin obtenemos la siguiente expresin intrnseca: (15)

(v1v2..vn)(w1w2..wn) = Det{wjvi}
5.17.- Tensor de Ricci. Sean las ecuaciones (12) y (14) antes deducidas:

v1v2..vn = (Det {V V .. V })(e e ..e ) v ..v ) = (Det {V1 V2 .. Vn})(e1e2..en) (v1 2 n 1 2 n 1 2 n en las que {vi} fundamental.
y

(ej} son bases cualesquiera del espacio

Dividiendo miembro a miembro estas dos ecuaciones, y expresando por el tensor cociente, tendremos: r r r r r r r e e .. en v v .. vn = r1 r2 = r1 r2 r r (v1 v2.. vn) (e1 e2 .. en) El tensor se llama tensor de Ricci y tenemos que en la forma indicada, su expresin no vara con la base del espacio fundamental utilizada. Si adoptamos una base ortonormal cualquiera de orden vectorial positivo, su expresin se simplifica as: = f f .. f 1 2 n y de esta ltima expresin se deduce inmediatamente que su escalar polar es +1. Como el tensor de Ricci es un tensor totalmente antisimtrico de orden n igual a la dimensin del espacio vectorial fundamental, tiene un solo coeficiente estricto que vale +1 y su norma es n! de acuerdo con '5.09. 5.18.- Otras propiedades generales del tensor de Ricci. 1.- Producto contracto de con un producto tensorial de orden s no superior al de , tal como =e1e2..es. Por (12) siempre tendremos: (16)

(e e ..e ) = 1 (e e ..e ) 1 2 1 2 s s s!

y se pueden presentar dos casos. a) Si los s factores no forman un sistema linealmente independiente, el producto es nulo pues lo es el producto exterior del segundo miembro. 28

b) Si los s factores forman un sistema linealmente independiente, completaremos a partir de ellos una base {ei} del tendremos: espacio. Utilizando la base dual para expresar

(e e ..e ) = 1 2 s

r r r e1 e2.. en r1 r 2.. r n) (e1e2..es) (e e e

Como el numerador de la fraccin es un sumatorio de productos tensoriales y debe multiplicarse por el producto tensorial = e1e2..es, podemos suprimir todos aquellos sumandos cuyos productos con se anulen y el producto contracto quedar de la siguiente forma:

(e1e2..en)(e1e2..es)=
(17) 1 2 [(e e ..es)(es+1es+2..en)](e1e2..es) = es+1es+2..en

El denominador es el inverso de (e1e2..en)

Sustituyendo estos resultados tendremos finalmente:

(e e ..e ) = (es+1es+2..en)(e e ..e ) 1 2 s 1 2 n

y teniendo en cuenta (16) (18)

(e ..e )=(es+1es+2..en)(e e ..e )= 1 (e ..e ) 1 1 s 1 2 n s s!

5.19.- En el caso particular de que s=n, sea de un producto tensorial de n factores tendremos:

(e e ..e ) = 1 (e e ..e ) = (e e ..e ) 1 2 1 2 n n 1 2 n n!

y los dos ltimos miembros nos indican una utilizacin del tensor para la obtencin del escalar polar de un producto exterior de orden n. 5.20.- Tensores adjuntos o polares. Llamamos tensor adjunto de un tensor de orden sn totalmente antisimtrico, al tensor de orden n-s siguiente: (19)

= 1 s!

Por lo visto en '5.11, es totalmente antisimtrico, y consideraremos tambin as a vectores y escalares. Observaremos que la frmula obtenida en el prrafo anterior, en relacin con el escalar polar de un producto exterior de orden n, se ajusta a la frmula general que acabamos 29

de obtener. 5.21.- Si es un producto exterior, aplicando sucesivamente la frmula general, la (16) y despus (18), tendremos:

(20)

1 (e1e2..es) = (e1e2..es) = (e1e2..es) = s! =(es+1es+2..en)(e e ..e )

1 2 n

5.22.- La ecuacin anterior relaciona de un producto exterior e1e2..es parcial, (escalar) polar de un producto exterior completo.

el tensor polar con el tensor e1e2..es..en

Vamos a obtener ahora la relacin entre el tensor polar del mismo producto exterior parcial anterior y el tensor polar de un producto exterior intermedio e1e2..es..es+r con s+r n. Por lo dicho en el prrafo anterior, tenemos:

(e1e2..es..es+r) = (es+r+1..en)(e1e2..en)
El primer factor del 2 miembro podemos expresarlo as:

es+r+1..en=[(es+1..es+r)(es+r+1..en)](es+1..es+r)
y anlogamente a lo visto para los dos primeros miembros de (17), pero partiendo esta vez del factor s+r+1 en lugar del factor 1, podemos transformarlo de nuevo de esta manera:

s+r+1..en=(es+1..es+res+r+1..en)(e ..e )= e s+1 s+r

Sustituyendo tenemos:

(e1e2..es+r)=(es+1..en)(es+1..es+r)(e1e2..en)=
y teniendo en cuenta (20): (21)

(e1e2..es+r)=(e1e2..es)(es+1..es+r)

Finalmente, como para cada uno de los r! sumandos productos tensoriales que constituyen es+1..es+r el resultado de e ..e ) es el mismo, tambin su producto contracto por (e1 2 s tendremos:

1 (e1e2..es)(es+1..es+r) (e1e2..es+r) = r!
5.23.- Casos particulares. 1.- s+r = n. 30

La ltima ecuacin podremos escribirla as:

(e1e2..es)(es+1es+2..en) = (n-s)! (e1e2..en)

2.- s = n-1. Es un subcaso del anterior para r=1. Aplicando (21) tenemos

(e1e2..en)=(e1e2..en-1)en de donde deducimos que el vector (e1e2..en-1) es el que con verifica: cualquier vector a (e1e2..en-1)a =(e1e2..en-1a) y es por por es equivalente 2,.., y a e por la proyeccin El productotantoa ortogonal a e1,eal producto n-1, ya que el que a coincida con uno de estos vectores o sea funcin lineal de los ortogonal es suficiente para anular1 , e2segundo n-1 mismos, de a sobre la normal a e el ,.., y e miembro.
5.24.- Algunas propiedades de los tensores polares. Para su estudio consideraremos que los escalares que multiplican a los tensores son coeficientes y no tensores y que se verifica () = y recordaremos que para bases duales e ..e )(e1e2..en) = 1 (e1 2 n La ecuacin (20) dice as:

(e1e2..es) = (es+1es+2..en)(e1e2..en)
que tambin podemos aplicar con bases duales, resultando:

(es+1es+2..en) = (e1e2..es)(es+1..ene1..es)
Los tensores polares (escalares) que figuran en la segundos miembros de ambas ecuaciones tienen valores inversos y el que tengan el mismo signo u opuesto slo depender de si n y s son impares pares. Sealaremos las siguientes propiedades: 1.- Sean y tensores totalmente antisimtricos del mismo orden s, y y escalares. Se verifica que la determinacin del tensor polar es una aplicacin lineal:

1 1 rr 1 rr (+) = (+) = + = + s! s! s!
2.- El tensor polar del tensor polar de un tensor totalmente antisimtrico, es este mismo tensor (salvo el signo).

Cuando = e1e2..es es un producto exterior, en el prrafo anterior se ha calculado y por tanto: () = [(es+1es+2..en)(e1e2..en)]
31

 () = (es+1es+2..en)(e1e2..en) Pero el valor de (es+1es+2..en) calculado en dicho ltimo prrafo es: (e1e2..es)(es+1..ene1..es) = (es+1..ene1..es)
y sustituyendo:

() = [(es+1..ene1..es)(e1e2..en)] = = [(e1e2..en)](e1e2..en) =
Finalmente, teniendo en cuenta la propiedad 1 antes examinada y que todo tensor totalmente antisimtrico es un sumatorio de productos exteriores resulta que la ltima igualdad es vlida para todo tensor totalmente antisimtrico, con un signo que depende del orden impar o par del tensor. 3.- Consecuencia de la propiedad anterior, es que si dos tensores totalmente antisimtricos (includos vectores y escalares) tienen igual tensor polar, son iguales. 4.- De la ecuacin (20) se deduce que, excepto para los tensores totalmente antisimtricos de orden 0 n, un tensor totalmente antisimtrico es ortogonal a su tensor polar. 5.- Todo tensor completamente antisimtrico de orden n-1 construido sobre un espacio vectorial n-dimensional, se puede igualar a algn producto exterior.

Sea el vector s polar de un tensor de orden n-1, y } una base del espacio 1vectorial que incluye a s . {si 1
Podremos escribir de acuerdo con (20)

= () = (s1) = (s2s3..sn)(s1s2..sn) y como todos los factores s2,s3,..,sn del producto exterior son tendremos tambin; ortogonales a s1 s = 0 1
5.25.- Componente totalmente antisimtrica de un tensor cualquiera. Recordemos la ecuacin (12)

(ab..r) = 1 (ab..r) q!

en que es un tensor totalmente antisimtrico de orden s no inferior al orden q del producto exterior siguiente.
32

Como el producto contracto de un tensor totalmente antisimtrico, por un tensor de orden no superior que presenta alguna simetra, es nulo, tendremos que el tensor

1 (ab..r) q!
que es totalmente antisimtrico, es la proyeccin ortogonal de a .. de orden q sobre el subespacio vectorial de los tensores b r totalmente antisimtricos de orden q. Por consiguiente, la proyeccin ortogonal o componente totalmente antisimtrica de un tensor cualquiera de orden q

= tij..r(e e ..e ) i j r
ser

1 ij..r r r r r (ei ej .. er)= t(ij..r)(eiej..er) t a = q!

y se verificar:

= a
Los coeficientes estrictos de a son:

t(ij..r) =

1 ( p P tp(ij..r) - p I tp(ij..r) ) q!

Si en vez de usar un tensor totalmente antisimtrico cualquiera utilizamos el tensor de Ricci se verificar: rr r r 1 r r r = a = q! a = q! a ; q! r a = r rr 1 ) ( q!(n - q)!

5.26.- Producto contracto. El producto contracto de cualquier tensor totalmente antisimtrico de orden q por un tensor cualquiera de orden s con s q, si no es un escalar ni un vector, es un tensor totalmente antisimtrico. Expresemos por un sumatorio de productos tensoriales y distingamos los s primeros factores. Tendremos:

r r r r r r = i ai bi ..ri) (pi ..ti)] [(

y haciendo i=(ai..ri) resulta para la siguiente expresin:

rr =

[ (p ..t )]
i i i i

de un tensor totalmente antisimtrico, por serlo tambin .

33

5.27.- Volmenes. Sea un tensor totalmente antisimtrico de orden n, y como tal, expresable por un nico producto exterior.

= a a ..a 1 2 n
Designemos por A1 el subespacio unidimensional de base , por A el subespacio bidimensional de base {a ,a } y en general a1 2 2 ,a ,..,a }. 1 por Ai el espacio i-dimensional de base {a1 2 i Adems, expresemos por H2 al subespacio de A2 ortogonal al A1, por H3 al subespacio de A3 ortogonal al A2, y en general por Hi al subespacio de Ai ortogonal al Ai-1, siendo unidimensionales todos los H.

Para i2, cada vector ai puede descomponerse en forma nica en dos sumandos: uno de Hi y el otro de Ai-1: (hiHi; miAi-1): ai = hi + mi y dado que mi no es independiente de {a1,a2,..,ai-1}, podemos por los , sin sustituir en el producto exterior, los vectores ai hi alterar el valor del producto, y as obtendremos: = a a ..a = a h h ..h 1 2 n 1 2 3 n Los vectores hi junto con el a1 forman un sistema es el vector que verifica ortogonal. Si hi es el mdulo de hi y ei hi=hiei, el conjunto {ei} resulta ser una base ortonormal del espacio fundamental y podremos escribir:
(22)

= a a ..a = a h h ..h (e e ..e ) 1 2 n 1 2 3 n 1 2 n (a1a2..an) = a1h2h3..hn (e1e2..en) = a1h2h3..hn = V

pues por '5.16 sabemos que el escalar (e1e2..en) vale 1 -1 segn que la base sea positiva o negativa.
Como el escalar a1h2h3..hn es igual al volumen V del paraleleppedo determinado por el origen y los puntos 1,a2,..,ai, a }, por (22) al que llamaremos paraleleppedo generado por {ai deducimos que el nico coeficiente estricto de , es V con la base utilizada. As pues, y considerando volmenes positivos y negativos, podemos escribir con toda base ortonormal:

= (a a ..a ) = V = t(ij..r) 1 2 n

(a1a2..an) = V

(ij..r) raz cuadrada de la expresin de (n!)-1 en Siendo t base ortonormal ('5.09), la frmula general para cualquier base y su dual, con =t(ij..r)e(ij..r)=t(ij..r)e(ij,,r), ser pues:

(23)

= (a a ..a ) = V = ( (ij..r) )(t(ij..r) ) t 1 2 n

34

y siempre V es el tensor (escalar) polar de . Bajo el punto de vista de determinar un volumen, a todo tensor producto exterior de orden n, tambin le llamaremos tensor volumen, expresado por V. Su tensor polar es el escalar V. 5.28.- Vamos a aplicar lo dicho en estos prrafos anteriores sobre productos exteriores de orden n, a productos exteriores de orden q<n, tales como q = a1a2..aq. Siguiendo los mismos razonamientos y limitndonos a considerar el subespacio generado por {ai}, podemos definir como volumen del tensor, y tambin como volumen del paraleleppedo generado por {ai}, al escalar Vq que para cualquier base ortonormal del subespacio verifica:

= (a a ..a ) = V (e e ..e ) q 1 2 q q 1 2 q
Esta misma expresin es vlida, al considerar todo el espacio E con una base ortonormal que incluya a la del subespacio generado por {ai}. Entonces Vq coincide con t(1,2,..,q). Finalmente, para cualquier base de E tendremos: Vq = (t(ij..r) t(ij..r) )( )

Al mismo tensor q le llamaremos tensor volumen Vq del paraleleppedo generado.

Cuando un tensor totalmente antisimtrico de orden q, puede expresarse con un solo producto exterior, podremos hablar de volumen del mismo con el significado que hemos visto. Si no puede expresarse as, siempre existir para l un invariante V escalar, que se podr calcular con la ltima frmula obtenida para Vq, al que llamaremos volumen del tensor. 5.30.- Superficies. Sea un tensor completamente antisimtrico de orden n-1 construido sobre un espacio vectorial n-dimensional. Sabemos por '5.24-5 que lo podemos expresar como un producto exterior:

= a a ..a = s(ij..r)(e e ..e ) 1 2 n-1 i j r

Al volumen S de este tensor lo llamaremos superficie del tensor y segn lo que acabamos de ver, si expresamos en una base ortonormal cualquiera, se verifica:
S =

[t

(ij..r) 2

En este caso, a los coeficientes estrictos los llamaremos ahora proyecciones ortogonales de S sobre los subespacios engendrados por los vectores base correspondientes y 35

traducida a este lxico, la ltima expresin nos dice que el cuadrado de la superficie de un tensor es igual a la suma de cuadrados de sus proyecciones ortogonales. Si a estas proyecciones las designamos por sk cuando ek=ek es el vector base omitido en el ndice (ij..r) podremos escribir tambin:
S =

(s )
k

5.31.- Definimos como vector superficie s de un tensor totalmente antisimtrico de orden n-1, que expresado en una base cualquiera es: = ab..m = s(ij..r)(e e ..e ) i j r
a su vector polar . Por tanto, si ek corresponde al vector base omitido en (ij..r), haciendo Vk=(eiej..erek), por (20) tendremos:

s = = s(ij..r)(eiej..er) = s(ij..r)ek(eiej..erek) = = s(ij..r)Vkek y para V=(e1e2..en) tendremos:

(n (n (n (n par; k par; k impar; impar: lugar par): lugar impar): k lugar par): k lugar impar): Vk= V Vk=-V Vk=-V Vk= V

Recordando que se verifica: a=aiei;b=biei;...;m=miei consideremos ahora el determinante simblico:

a1 b1 = . .

a2 ... b2 ... . ... . ...

an bn . .

m1 m2 ... mn r r r V e1 V e2 ... Ven

Podremos comprobar que los menores que resultan de desarrollar el determinante por la ltima fila son los coeficientes estrictos, segn vimos en '5.08-6. Si ek es el vector base omitido en (ij..r) tendremos para el menor 36

 correpondiente a Vek:
Mk = s(ij..r) y teniendo en cuenta el anlisis anterior podemos ver que se verifica:

= MkVkek = s;

sk = MkVk

Si tomamos como base una base ortonormal que incluya la del subespacio generado por {a,b,..,m} es fcil comprobar que el es la superficie de . mdulo de s Adoptando cualquier base ortonormal, se puede ver que en el espacio geomtrico afn, las sk coinciden con las reas de las proyecciones ortogonales de la superficie S sobre los planos coordenados. 5.32.- Producto exterior y bases duales.

Sea una base {ei} de un espacio vectorial n-dimensional cuyos vectores determinan un paraleleppedo de volumen V =(e1e2..en). Vamos a demostrar que los vectores de la base {ei} dual de la anterior, pueden expresarse del modo siguiente:
(n): (=n):

1 e = - (e1e2..e-1ene+1..en-1) V 1 en = (e1e2..en-1) V

Puesto que la primera ecuacin por (20) se puede expresar as: (n):

1 e = - e(e1e2..e-1ene+1..en-1e) V

y por ser el parntesis una permutacin impar del orden natural correspondiente a V: (n):

1 1 e = - e[-(e1e2..en)] = - e(-V) = e V V
Respecto a la segunda ecuacin tenemos anlogamente:

(=n):

en =

1 n 1 n e (e1e2..en-1en) = e V = en V V

37

6.- Tensores totalmente simtricos y h-simtricos. 6.01.- Definicin. Decimos que un tensor es completamente simtrico cuando es simtrico respecto a cualquier par de posiciones. 6.02.- Consecuencias de la definicin. a) Sea un producto tensorial de q factores vectoriales tal como

abc..r
y designemos con una letra p distinta a cada una de las q! permutaciones de sus factores. p(abc..r) Si P es el conjunto de permutaciones posibles, y tenemos cualquier tensor totalmente simtrico de orden q o mayor, se verificar: (pP):

(ab..r) = [p(ab..r)] = 1 r [p(ab..r)] p P q!

b) En virtud de las consecuencias anteriores, si es un tensor totalmente simtrico de orden q, su producto contracto con un producto tensorial de s factores con sq, ser: (abc..r) = (b)(ac..r) = [(bc)](a..r) ...

c) Sea un tensor expresado por un sumatorio de productos tensoriales de q vectores = (a b ..r ) i i i

Es completamente simtrico si y slo si con la misma permutacin cualquiera de factores en cada sumando, no vara el tensor: (p; pP): (aibi..ri) = i[p(aibi..ri)] d) Refirindonos a la representacin general de los tensores, deducimos fcilmente que en cada tipo de coeficientes tensoriales, los coeficientes no varan de valor con las permutaciones de sus ndices. Ejemplo: t
ij k

= tikj = tjik = tjki = tkij = tkji

e) Los tensores totalmente simtricos pueden ser de cualquier orden no inferior a dos. 6.03.- Subespacio vectorial de los tensores totalmente 38

simtricos de orden q sobre un espacio vectorial n-dimensional. Estos tensores forman evidentemente un subespacio del espacio vectorial de los tensores de orden q. Su dimensin es el nmero de coeficientes tensoriales en principio distintos:

n + q 1 q
o sea el nmero posible de combinaciones de orden q con repeticin, que pueden formarse con n elementos tomados de q en q 6.04.- Proyeccin ortogonal de un tensor cualquiera sobre el subespacio vectorial de los tensores totalmente simtricos de su orden. De completamente contracto por continuacin, '6.02 a) se deduce que para cualquier tensor simtrico de orden s, el resultado de su producto los dos tensores de orden qs que se expresan a es el mismo.

= (a b ..r ); i i i i

1 r r r r [p( s = i{ pP ai bi..ri)]} q!

Ahora bien, la segunda expresin es de un tensor totalmente simtrico y por lo tanto ste ser la proyeccin ortogonal de sobre el subespacio vectorial de los tensores totalmente simtricos de orden q componente totalmente simtrica de . 6.05.- El producto de un tensor completamente simtrico de orden q por cualquier tensor de orden sq, si no es un escalar ni un vector, es un tensor totalmente simtrico. Sea un tensor completamente simtrico expresado por: = [(a b ..m )(p ..t )] i i i i i en que se han sealado los primeros s factores vectoriales. Su producto contracto por ser: = [{(a b ..m )}p ..t ] i i i i i y si el producto contracto del 21 miembro es el escalar i, queda: = [ (p ..t )]
i i i

y el resultado es evidentemente la expresin de un tensor totalmente simtrico, por serlo . 6.06.- Un tensor completamente simtrico de orden 39

q 2, puede expresarse siempre como una funcin lineal de productos tensoriales de q vectores iguales:

= [ (a a ..a )] i i i i
Sea el subespacio vectorial A de los tensores completamente simtricos de orden q generados por el conjunto de productos tensoriales de q vectores iguales y el subespacio B total de los tensores completamente simtricos de orden q. Si A y B no coinciden, A ser de dimensin menor que B, y habr al menos dos tensores 1 y 2 de B que no pertenecern a A y que tendrn igual proyeccin ortogonal sobre A y por tanto se verificar: (; A): 1 = 2 Pero como en '10.10 veremos que se demuestra que la igualdad anterior slo puede verificarse para 1=2, los referidos subespacios A y B son coincidentes. 6.07.- Cuando un tensor es totalmente simtrico, el subespacio ortogonal suplementario de Nucr es Imr. La demostracin es igual que en '5.04. 6.08.- Un tensor totalmente simtrico, expresable por un sumatorio de productos tensoriales de vectores, tales que todos ellos poseen un factor vectorial comn y en la misma posicin, el tensor es un mltiplo de una potencia tensorial de dicho vector comn. Es una consecuencia de '4.03. 6.09.- Tensores h-simtricos. Definicin. Diremos de un tensor no nulo de orden m+h que es h-simtrico, cuando es totalmente simtrico respecto a las m primeras posiciones y convendremos que esto ocurre siempre para m=0 y m=1. Por lo tanto, los tensores 0-simtricos son todos los escalares, todos los vectores y todos los tensores completamente simtricos. Los tensores h-simtricos de orden s constituyen evidentemente un subespacio vectorial del espacio vectorial de los tensores de orden s. 6.10.- Componente h-simtrica de un tensor. Sea cualquier tensor h-simtrico de orden s=m+h, y los dos tensores siguientes de orden s y com el conjunto ri,..,ti que consta de h vectores.

=(a b ..q )(r ..t ); i i i i i

40

r hs =

(s-h)![

1
i

pP

r r r r r [p(ai bi ..qi)]ri ..ti

Para ambos tensores, el producto contracto por cualquier tensor h-simtrico de orden igual superior, es el mismo, y como el 2 tensor es evidentemente h-simtrico, y siendo as que estos tensores son los nicos que no anulan el producto contracto con un tensor h-simtrico de orden igual superior, este 2 tensor es la proyeccin ortogonal del primero sobre el subespacio de los tensores h-simtricos de su orden, llamado tambin componente h-simtrico del primero. 6.11.- Sea el tensor de orden m+h con m>1 que sabemos expresar as:

= i i
siendo los i de orden h y los i de orden m con m>1 Si las i son las componentes completamente simtricas , la componente h-simtrica de se expresar por: de la i

= i hs i
6.12.- De las ltimas expresiones y de '6.06, deducimos que siendo h-simtrico de orden m+h=s , los siguientes productos por potencias tensoriales de x, son iguales:

(x):

xm = xm hs

41

7.- Tensores istropos. 7.01.- Definicin. Son los tensores cuyo conjunto de coeficientes, referidos a una determinada base ortonormal del espacio n-dimensional sobre el que estn construidos, coincide con el de los referidos a otra base ortonormal cualquiera. Recordaremos la obtencin de un coeficiente de un tensor tal como t1124 segn vimos en B'2.05: t1124 = (e1e1e2e4) y las propiedades del tensor I mencionadas en B'2.10: I = eiei; Iv = v; I(ab) = ab Sea un tensor istropo. Como para hallar un coeficiente de en una base ortonormal, debemos multiplicar este tensor por un producto tensorial de vectores de tal base, ningn vector base puede figurar en nmero impar pues de lo contrario, al cambiar tal vector base por el opuesto, el producto tensorial sera opuesto y el coeficiente correspondiente tambin sera el opuesto. Esto es imposible para un tensor istropo dada su definicin. Por consiguiente los vectores base que existan, han de estar en nmero par, y en consecuencia el nmero de factores vectoriales del producto tensorial factor debe de ser par. Esto es lo mismo que decir que slo pueden existir tensores istropos de orden par. 7.02.- Expresin de los tensores istropos. Para el orden 2, el nico tensor istropo posible es, con sus mltiplos, el tensor I que acabamos de examinar, ya que, con base {ei} ortonormal, slo podemos considerar como factores productos tensoriales posibles, a los del tipo (ekek), y entonces se tiene: (k): 1 = ekek = (Iek)ek = I(ekek) Siendo as, no es difcil comprobar que son tensores istropos los tensores de orden par expresados no slo por: II..I o lo que es igual:

i j k e eif fj...g gk (en cuya expresin {ei},{fi},...,(gi} son k bases cualesquiera del i},{fj},...,{g } sus bases duales) espacio n-dimensional, y (e
42

sino por todos los tensores distintos que resultan de cada permutacin de sus factores vectoriales, y adems por todos los tensores del espacio vectorial generado por dichos tensores distintos. Hay que tener en cuenta que la permutacin entre un factor y su dual no origina un tensor distinto, y que tampoco lo origina el considerar bases distintas para cada par de factores vectoriales duales.

43

8.- Particularidades del espacio tridimensional. 8.01.- Producto vectorial. Cuando los tensores estn construdos sobre un espacio vectorial tridimensional, es til considerar la multiplicacin vectorial de dos vectores. Definicin.- Refirindonos a un espacio vectorial tridimensional, llamamos multiplicacin vectorial de un vector a por otro vector b y la expresamos con el signo , a la operacin por la que se obtiene un tercer vector llamado producto vectorial de a por b y expresado por a b que coincide con el vector polar de ab, con sentido positivo para {a,b,(ab)}.

Por tanto, si es el ngulo a,b, se verifica: (24) ab = (ab) ab ortogonal a a y b; |ab|=ab (sen )
y teniendo en cuenta (12) y (19) y con =tensor de Ricci, resultan otras expresiones: (25)

ab =

1 (ab) = (ab) 2

Como consecuencia de ello, y de acuerdo con '5.23-2, para a,b y c vectores cualesquiera, se verifica: (26) a b = -ba; aa = 0; (abc)= (ab)c= (bc)a= (ca)b 8.02.- Producto vectorial de dos vectores de una base.

Consideremos cualquier base positiva {e1,e2,e3}. En este ,e ,e } {e ,e ,e }. caso tambin lo son {e2 3 1 3 1 2
Atendiendo a la ecuacin (20) podremos escribir: (27)

e1e2 = (e1e2) = et(e1e2et) = e3(e1e2e3)

puesto que aqu slo es posible t=3, y anlogamente tendramos:

r e e1e2 = et(e1e2et)= e3(e1e2e3) = r r 3 r (e1 e2 e3)

8.03.- Doble producto vectorial. Para a,b y c vectores cualesquiera, se verifica la siguiente propiedad: (28) (ab)c = (ca)b - (cb)a Adoptando una base positiva cualquiera {e1,e2,e3} partiremos de la siguiente expresin: tal como 44

 (e1e2)c en que c es un vector cualquiera.

Podemos sustituir el parntesis por el valor antes hallado y en cuanto al vector c, siendo I=enen y {en} la base adoptada, podemos sustituirlo de la siguiente manera: c = Ic = (enen)c = (cen)en resultando as:

(e1e2)c = [e3(e1e2e3)][(cen)en] = = (e1e2e3) (e3en)(cen) =

y sustituyendo por (27) el ltimo producto vectorial:

= (e1e2e3) (e3enet)et(cen) =
Permutando los factores del 2 tensor polar sin alterar su valor, tendremos:

= (e1e2e3) (enete3)et(cen)
Ahora bien, para que el resultado no sea nulo, t y n deben ser distintos de 3 y distintos entre s, y as slo se puede considerar n=1;t=2 o bien n=2;t=1, con lo que tendremos (e1e2) c = (ce1)e2 - (ce2)e1 = (e1 e2) c y como la igualdad tambin se verificara verificar para tres vectores cualesquiera.

para e1=e2, se

8.04.- Tensor (a). Llamamos tensor (a) al tensor de 2 orden que con cualquier vector b verifica: (a)b = ab
Es completamente antisimtrico, puesto que es otra expresin de a tensor polar del vector a. Efectivamente:

ab = (a)b = (ab) = ab
8.05.- Una consecuencia del prrafo anterior y de '5.24-2, es que todo tensor antisimtrico de 2 orden puede expresarse en la forma () siendo su vector polar. Por consiguiente para ab podremos escribir: ab = (ab) = (ab) =

Recordaremos que segn '5.28, '5.29 y '5.30, es 45

tambin el vector superficie del tensor y que su mdulo es el rea del paralelogramo generado por a y b, o mdulo de . a b

8.06.- Con cualquier vector a, se verifica: 1 a = (a) 2

Puesto que tenemos:

1 1 a = (a) = (a) = (a) 2 2 8.07.- Coeficientes del vector polar del componente de un tensor de segundo orden. completamente antisimtrico a Sea, en su expresin normal, = tij(eiej).
Sabemos antisimtrica es: por '5.25 que su componente totalmente

= 1 tij(e e ) a i j 2
y por el prrafo anterior tendremos:

= 1 tij[(e e )] a i j 2

1 ij = t (eiej) 2 (e1e2e3),
los

Llamando V al volumen positivo coeficientes covariantes de sern:

1 ij s = e s = t (eiej)es 2
y por (26):

1 ij t (eiejes) 2 El coeficiente para s=3 ser:

s =

3 =
y tendr dos trminos:

1 ij t (eieje3) 2

1 12 1 12 t (e1e2e3) = t V 2 2 1 21 1 (i=2;j=1): t (e2e1e3) = - t21V 2 2 1 12 21 3 = (t -t )V 2

(i=1;j=2): y anlogamente 46

1 23 32 (t -t )V 2 1 31 13 2 = (t -t )V 2

1 =

Para una base ortonormal, V=1 y los covariantes son iguales a los contravariantes.

coeficientes

8.08.- Consecuencia de los prrafos anteriores es otra expresin del volumen V generado por tres vectores a, b, y c: V = (abc) = (ab)c = (ab)c = (bc)a = (ca)b 8.09.- Espacio geomtrico ordinario. Para el clculo de productos vectoriales en el espacio geomtrico ordinario, deberemos tener en cuenta que respecto a las direcciones y sentidos positivos de las aristas de un triedro, se ha convenido como sucesin positiva, la de los siguientes dedos de la mano derecha: {Pulgar, ndice, medio}

8.10.- El comprobar que el escalar (a b)c es igual al escalar volumen del paraleleppedo generado por los vectores a, b, c con origen comn, y el que (ab) es igual al vector superficie del paralelogramo definido por b, que es su a, = ), avalan a la definicin elegida para el base, ((a b) (a b) operador .
8.11.- Por todo lo dicho anteriormente en un espacio n-dimensional podemos expresar el volumen V generado por n vectores a, b,...,r y s as: V = (a b ... r s) = (a b ... r) s
El primer miembro y el segundo representan un escalar volumen n-dimensional y el primer factor del tercero representa el vector superficie correspondiente al tensor superficie (n-1) dimensional. a b ... r . Sea una superficie compuesta de segmentos a la que corresponder un tensor suma de los tensores de los segmentos y un vector suma de sus vectores polares y polar de la suma de tensores.Cuando la superficie sea envolvente y cerrada tanto vector total como tensor total sern nulos.

47

9.- Particularidades del espacio bidimensional.

9.01.- Si {e1,e2) es una base ortonormal positiva, el tensor de Ricci tendr ahora por expresin = e1e2. El tensor polar de cualquier vector a ser ahora otro ' y tendremos por definicin a = a. vector a
9.02.verifica: Para dos vectores

cualesquiera

se

ab = - ba b Ya que el producto contracto del tensor (ba)+(a), antisimtrico debe ser evidentemente simtrico, con el tensor nulo y por tanto podemos escribir: 0 = [(b a)+(ab)] = (b a) + (ab) = = (b)a + (a)b = ba + ab
9.03.- El volumen V (rea en este caso) paralelogramo generado por dos vectores a y b (orden positivo) es ab. Pues tenemos: del a,b

1 1 V = (ab) = (ab) = [(ab)-(b a)] = 2 2 1 1 1 = [(ab) - (b a)] = [(a)b - (b)a] = (ab-ba) 2 2 2

y por el prrafo anterior: V =

1 (a'b + ab) = ab = (a)b 2

9.04.- El tensor de Ricci corresponde a la aplicacin lineal que con base {e1,e2} ortonormal positiva hace corresponder el vector base e . al vector base e1 2 Puesto que se verifica:

(e1) = e1 = (e1e2)e1 = [(e1e2)-(e2e1)]e1 = (e1e2)e1 - (e2e1)e1 = (e1e1)e2 - (e2e1)e1 = e2

9.05.- En consecuencia, el tensor de Ricci, en un espacio bidimensional geomtrico es el tensor de giro positivo de 90 grados correspondiente a la matriz:

48

0 - 1 {} = 0 1
9.06,- Sea una base {a1,a2} positiva con V=(a1a2)
Aplicando obtenemos: las frmulas de la base dual ('5,31)

1 r 1 r r r a2 a1 = a2 = V V 1 r 1 r r r a1 a2 = a1 = V V

49

10.- Polinomios tensoriales. 10.01.- Monomio. Definiciones.

Llamamos monomio en x de grado p y orden m, al tensor que tiene por expresin: (xx..x) = xp = xp en que xp representa el producto tensorial de p factores vectoriales x y un tensor de orden p+m. Como el monomio es el producto contracto de ambos, resulta ser un tensor de orden m. Cuando no cabe confusin, escribimos xp en lugar de p. escribir x
Grado del monomio es el exponente tensorial de y se x conviene que x0 es siempre uno cualquiera que sea x. Por este motivo, los monomios que no vienen afectados por ningn factor x los consideraremos monomios de grado 0, y en general no escribiremos el factor x0. Normalmente expresaremos el orden de los coeficientes tensoriales cuando es superior a uno y as por ejemplo

xp p+m representar un monomio en x de grado p y orden m. Tngase en cuenta que esta notacin no indicar un sumatorio einsteniano.
Dos monomios son equivalentes corresponden al mismo tensor. iguales cuando

El coeficiente tensorial define una aplicacin lineal p de los tensores x y otra no lineal de los vectores x, en el espacio vectorial de los tensores de orden m. 10.02.- Polinomio. Definiciones. Llamamos polinomio de orden m en al tensor suma de un x nmero finito de monomios en de cualquier grado, pero todos del x mismo orden m, y definimos como grado de un polinomio el grado del monomio de mayor grado. Decimos que un polinomio est reducido, cuando solo hay un monomio por grado, lo que siempre es posible, pues si hay varios, se pueden reducir a uno efectuando sumas sucesivas:

xp + xp = ( + )xp
A los polinomios de orden m y grado p en , reducidos, x los expresaremos as: (i de 0 a p):

A = m+ixi
50

Dos polinomios o monomios decimos que son equivalentes iguales, cuando corresponden al mismo tensor. La diferencia entre dos polinomios equivalentes es el tensor nulo. 10.03.- Propiedades. A continuacin sealamos algunas.

10.04.- Si un polinomio reducido, en x, es igual al tensor nulo, todos sus monomios son nulos.
Vemoslo, por ejemplo, con el polinomio siguiente: (x): m + m+1x + m+2x2 + .. + m+pxp = 0

Efectivamente, si en el polinomio sustituimos x por el siendo un escalar, e igualamos al tensor nulo, vector x obtenemos la siguiente ecuacin: (x)(): m + m+1x + 2m+2x2 + .. + pm+pxp = 0
Para =0 la ecuacin implica m=0, sea la nulidad del primer monomio, y por tanto podemos transformarla as: (x)(); (m+1x + m+2x2 + .. + p-1m+pxp) = 0 x + x2 + .. + n-1 xp = 0 (x)() m+1 m+p m+2 Para =0 la ltima expresin de la ecuacin implica x=0, sea la nulidad del 2 monomio primitivo. m+1 Por recurrencia vemos que sucesivamente deben ser nulos todos los monomios, como queramos demostrar. 10.05.- Como consecuencia del ltimo prrafo, tenemos que dos polinomios reducidos son equivalentes si y slo si sus monomios de igual grado son equivalentes dos a dos. 10.06.- Respecto a la relacin existente entre la nulidad de los monomios de un polinomio y la nulidad de sus coeficientes tensoriales, observaremos lo siguiente: a) Monomio de grado 0. Es evidente que su nulidad coincide con la nulidad del coeficiente tensorial.

b) Monomio de grado uno. Su expresin es x y de . acuerdo con '1.12, su nulidad exige la de

c) Monomio de grado i superior a uno. Para que sea nulo, no es necesario que el coeficiente tensorial sea nulo, pues evidentemente basta que sea antisimtrico para cualquier par de posiciones entre las i primeras, para que su producto contracto i con x sea nulo. 10.07.- Cuando en un monomio cualquiera de grado mayor 51

que dos, sustituimos el coeficiente tensorial por su componente m-simtrico, resulta un monomio equivalente:

xp = ( ) xp p+m p+m ms
tal como se vio en '6.11. Si convenimos que todos los tensores de orden m y m+1 son m-simtricos cualquiera que sea m, en lo que no hay dificultad, resulta que podemos generalizar la afirmacin ltima a cualquier monomio, sea cual sea su grado. 10.08.- En consecuencia, si hacemos la sustitucin mencionada en cada monomio de un polinomio, lo que siempre es posible, obtenemos un polinomio equivalente que tiene todos sus coeficientes tensoriales m-simtricos.

10.09.- Si un monomio en x, de orden m, y con coeficiente tensorial m-simtrico, es igual al tensor nulo, dicho coeficiente es tambin nulo.
Sea al monomio nulo:

(x):

xr = 0

en cuya ecuacin, para simplificar, hemos expresado por un tensor de orden m+r m-simtrico. As como en '10.06 hemos sustituido el vector variable x por el vector x, vamos a sustituirlo ahora por el vector suma +x, con lo que la ecuacin dada pasa a ser: de vectores z (z+x)r = 0 (x): Al desarrollar la potencia tensorial del binomio, tendremos ahora en cuenta que es un tensor de orden m+r y que es m-simtrico y por lo tanto que en su producto contracto con un producto tensorial de vectores, no influye el orden de colocacin de los vectores. Podremos escribir por tanto:

(x)(z):

[zr + r(zr-1x) + 1 r(r-1)(zr-2x2) + .. + xr]= 0 2

Efectuando el producto contracto y ordenando trminos, la ecuacin queda as:

1 r(r-1)(zr-2x2) + .. + xr = 0 (x)(z): zr + r(zr-1x) + 2

tambin:

1 (x)(z): zr + (rzr-1)x + [ r(r-1)zr-2]x2. + .. + xr = 0 2

52

 Aplicando a este polinomio nulo en x la propiedad deducida en '10.06, tendremos que todos sus monomios deben ser nulos.
El nico monomio cuya nulidad tiene inters para nuestra demostracin, es la del segundo. Deducimos de ella, que el parntesis es nulo, y que por tanto debe verificarse xr-1 = 0 sea la nulidad de un monomio igual al inicial pero con un grado menos. Por recurrencia, al seguir igual camino, iremos obteniendo monomios nulos con igual coeficiente tensorial pero de grados decrecientes, hasta llegar al resultado final: = 0 que queramos demostrar. 10.10.- Consecuencia del prrafo anterior, es que si dos monomios de grado i y orden m son equivalentes, los componentes m-simtricos de los coeficientes tensoriales son iguales. Por componente m-simtrico de un tensor de orden m m+1 consideraremos el mismo tensor. 10.11.- Otra consecuencia es la expresada en '6.06 de que todo tensor totalmente simtrico de orden q2 puede expresarse siempre como una funcin lineal de productos tensoriales de q vectores iguales.

53

D.- TENSORES E2 DE 2 ORDEN 1.- Generalidades. Todo lo dicho en los captulos anteriores sobre tensores en general, es naturalmente vlido para el estudio, en particular, de los tensores de segundo orden, tambin construidos sobre un espacio vectorial E, n-dimensional y propiamente euclidiano. Vamos a examinar ahora, en primer lugar, algunas particularidades de los tensores de 2 orden, de aplicacin ms general en lo sucesivo. 1.01.- Ncleos e imgenes. (Ver C'1.05). Para de 2orden, de los ncleos e imgenes de un tensor estudiados en el captulo C, slo tienen inters Nuc1 y Im1, que expresaremos por Nuc y Im , suprimiendo el subndice. Resulta que ahora son subespacios vectoriales de E, y que sus vectores vienen definidos por las siguientes condiciones: v = 0 v Nuc

s Im

(w):

w = s

La suma de dimensiones de Im y Nuc corresponder ahora a la dimensin n de E. 1.02.- Simetras y antisimetras. En los cuatro primeros prrafos prximos se concreta el captulo C para tensores de segundo orden. En los siguientes se trata de otras propiedades elementales. 1.03.- Solamente hay una transposicin posible (1,2) y por tanto un solo tipo de simetra y un solo tipo de antisimetra forzosamente totales, por cuya razn no especificaremos (1,2) y suprimiremos el adjetivo "total". (Ver C'2 y C'3).

1.04.- Al nico tensor transpuesto de lo expresamos ~ ~, y por tanto el tensor transpuesto de ~ es por
1.05.- Los subespacios vectoriales de los tensores antisimtricos y simtricos tendrn respectivamente por dimensin: n +1 n y 2 2
2 y son ortogonales. Como la suma de sus dimensiones es n sea la dimensin del espacio vectorial de los tensores de orden 2, tambin son suplementarios.(Ver C'3.05)

55

1.06.- La expresin del componente antisimtrico de = tij(e e ), (ver C'5,25), ser: i j

= 1 tij(e e ) =t (ij)(e e )= t ij(e e ) a i j a i j a i j 2

con los siguientes coeficientes; ta(ij)=

1 ij ji (t -t ) 2 ~ (+) y el

1.07.- El componente simtrico de es s = antisimtrico es a = 2(-~). Pues se verifica:

a) s es simtrico, por ser igual a su transpuesto: ~ = 1 (+~)~ = 1 (~+) = 1 (+~) = s s 2 2 2 b) a es antisimtrico, por ser opuesto a su transpuesto: ~ = 1 (-~)~ = 1 (~-) = - 1 (-~) = - a s 2 2 2 c) La suma de los dos es :

+ = 1 +~)+ 1 (-~) = 1+ 1~+ 1- 1~ = s a 2 2 2 2 2 2

1.08.- Aplicando la propiedad general (ver C'2.01), se verifica:

(vw) = ~(wv);
1.09.- Se verifica:

(v)w = (~w)v

Im ~ = Subespacio ortogonal a Nuc

Nuc ~ = Subespacio ortogonal a Im Puesto que por el prrafo anterior tenemos: (w): w(v)=0 (w): (~w)v = 0

vNuc

y ~w es cualquier vector de Im ~. Y tambin tenemos por dicho prrafo anterior: (w): w(~v)=0 (w): (w)v = 0 56

vNuc ~

y w es cualquier vector de Im 1.10.- Llamando rango de un tensor de segundo orden, a la dimensin de su imagen, tendremos que y ~ tienen el mismo rango.

Acabamos de ver que Im ~ es el subespacio ortogonal a , y por tanto podemos escribir: Nuc
Dim Im ~ + Dim Nuc = dim E y por '1.01: Dim Im + Dim Nuc = dim E y por tanto Im y Im ~ tienen igual dimensin

1.11.- Para antisimtrico simtrico, como ~= y por ~ = Im , y por '1.09 sabemos que Im ~ es ortogonal a Nuc tanto Im , tendremos que Im tambin ser ortogonal a Nuc . Como tambin, segn '1.01, la suma de sus dimensiones es n, Im y Nuc son suplementarios. 1.12.- Siempre que un tensor =eifi est expresado con un mnimo de sumandos, tendremos segn C'1.14 que se verificar:
{ei} = Base subespacio ortogonal a Nuc {fi} = Base Im Tambin tendremos que si {ei} es la base dual de {ei} se verificar: i i {f } = {e }
1.13.- Tensor producto exterior de 2 vectores. Por definicin (C '5.05), se verifica: a b = a b - b a 2.- Matrices de coeficientes tensoriales. Sabemos que existe una isomorfa entre un espacio vectorial E n-dimensional cualquiera y un conjunto S de coeficientes einstenianos vectoriales ordenados, correspondientes a un mismo tipo de coeficientes y a una misma base, as como entre E y S. Tambin existe una isomorfa entre E y el conjunto L de 2 matrices lnea (sucesin de coeficientes vectoriales) y entre E y el conjunto M de matrices cuadradas correspondientes en ambos casos a un mismo tipo de coeficientes y a una misma base, tensorial Estas isomorfas son estables para las multiplicaciones y contracta de tensores (includos vectores y 57

escalares), con notaciones coherentes. 2.01.- Sea la representacin siguiente, habitual para vectores y tensores:

v = viei = vjej;

= t j(eie ) = tk (e em) i j m k
elegida la para el espacio

en que {ei} es ila base principal vectorial E, y {e } es su base dual.

Adoptemos, siguiente: por ejemplo,

notacin

matricial

{v} = {v1 v2 .. vn}

(matriz fila)

v1 2 v r r {v} = ..; {} = .. n v (m.columna)

t11 t21 .. tn1 t11 t12 .. t1n 2 t12 t22 .. tn2 t 1 t22 .. t2n r . . .. . . .. .; {} = . . .. . . .. . . . n n n n n n t 1 t 2 .. t n t1 t2 .. tn (matrices cuadradas)

2.02.- De acuerdo con dicha notacin se tiene: a) b) c) d) e)

vw = {v}{w} = viwi w = {w}{v} = w vi v i w = v = v w w=(v) w=(v)

{}{v} }{} {v

wj = tijvi wj = vitij wj = sijtkivk wj = vktkisij

{w}= {}{}{v} }= {w}{}{} {w

{vw} = {w}{v} {vw} = {v}{w}

(vw)ij = wjvi (vw)ij = viwj

2.03.- Entre las matrices de tensores transpuestos, observamos que se tiene: tij = tji

{~} = {};

{~} = {}

y por tanto, para cualquier base se verifica: Tensores simtricos: Tensores antisimtricos:

{} = {}
{} = -{}

2.04.- Con base ortonormal es indiferente la altura de los ndices y se verifica: tij = tij 58

vi = vi tij= tij Con verifica: tensores

{v} = {v}~;

{}'={}~; {}=[{}]~ transpuestos y base ortonormal, se

{~} = [{}]~ = {};

{~} = {}~ = {}

Si la base es ortonormal,tambin se verifica: Con tensores simtricos: {}={}~ (matriz simtrica)

Con tensores antisimtricos: {} = -{}~ (matriz antisimtrica) 2.05.- Rango de un tensor. Es el de la matriz de sus coeficientes, cualquiera que sea su tipo. Efectivamente, tenemos: {tij} = {(eiej)} = {(ei)ej} y en la matriz cuadrada correspondiente habr el conjunto de matrices columna o fila correspondiente al conjunto de vectores {ei} que es un generador de Im . Dada la isomorfa entre vectores y matrices lnea, ambos conjuntos tendrn la misma dimensin y por lo tanto los rangos de matriz y tensor son iguales. 2.06.- Vamos a ver como el convenio de Einstein para expresiones tensoriales, se adapta al clculo de matrices cuadradas. Al individualizar los elementos de una matriz A normal, j hemos convenido en expresarlos por ai indicando su fila con un suprandice j y su columna con un subndice i y es fcil comprobar que en el producto AB = P de dos matrices A y B, la expresin de un elemento cualquiera de P en funcin de los elementos de los factores es una expresin einsteniana cuando se sealan correctamente los coeficientes: P = AB eligiendo una matriz cualquiera,

pj = aj bi k i k

{pj} = {aj}{bi} k i k

Si uno de los factores matriciales T corresponde a un i k tipo de coeficiente tensorial mixto tal como tj t m, es fcil comprobar que con las alturas de ndices ocurre lo mismo que con una matriz normal. En cuanto al orden, el ndice que se conserve mantendr su posicin original. S=AT S=TA

i ajtkk = skj ii tk aj = sji

bien bien

ajtik = sjk i k tikaj = sij 59

Cuando uno de los factores es una matriz T de coeficientes tensoriales covariantes o contravariantes ya no suceder siempre lo de los casos anteriores. En primer lugar ser necesaria una convencin para individualizar los elementos de estas matrices, y sta consistir, por ejemplo, que el primer ndice seala la fila, y el segundo la columna. Entonces, para los dos casos siguientes tendremos: T = {tij}; S = AT T = {tij}; S = TA

aktij = skj i tijaj = sik k

Pero en los dos casos que quedan no hay concordancia entre operacin matricial y expresin einsteniana: Para T={tij}; S=AT se verifica Para T={tij}; S=TA se verifica

iaktij = skj (no einsteniano) i

jtijaj = sik (no einsteniano) k En ambos casos, sustituyendo A por ~ o sea ak por ai, s A i k que obtenemos una concordancia: ~ T={t }; S=AT ait = s
ij ij k ij kj

~ T={t }; S=TA

t a = sik

ij

k j

2.07.- Variacin de los coeficientes con un cambio de base.

m a) Sea la matriz {tk } referida a la base {ej} y a su j dual. Llamando {ti } a la nueva matriz de coeficientes referida a la base {fi} y su dual, y procediendo como en B'4.06, tendremos: fi = j ej; fj = jem; ji = j = Smbolo de Kronecker i m i m m

y por lo tanto:

tij= (fifj)= (kekj em)= k(ekem)j= ktkmj i m i m i m

Escribiendo las matrices de cambio de base en lenguaje matricial, al convenir que en cada elemento el suprandice expresa la fila y el subndice la columna, tendremos:

1 1 .. 1 1 2 n 2 1 2 . . 2 2 n A = . . .. . . . .. . n n .. n n 1 2

1 1 .. 1 1 2 n 2 2 . . 2 n 1 2 -1 A = . . .. . . . .. . n n 1 2 .. n n
60

{k} = A; {j} = A-1; i m

AA-1 = I

Ahora bien, de acuerdo con lo visto en el prrafo anterior, tendremos la siguiente igualdad: {tij} = {j}{tkm}{k} = A-1{tkm}A m i que podremos comprobar operando de esta manera:

t1 t1 .. t 1 1 2 n t 2 t 2 .. t 2 1 2 n . . .. . = . .. . . n n n 1 2 n t t .. t

1 1 .. 1 t11 t21 1 2 n 2 2 2 2 .. 2 t1 t2 1 2 n . . .. . . . . . .. . . . n n n n 1 2 .. n t1 t2 n

.. tn1 .. tn2 .. . .. . .. tnn

1 1 .. 1 1 2 n 2 1 2 .. 2 2 n . . .. . . . .. . n n .. n n 1 2

b) Coeficientes tkm. Llamando {tij} a la nueva matriz de coeficientes, resultante del mismo cambio de bases supuesto anteriormente, y por un proceso anlogo, hallaremos que se verifica: tij =(fifj)= (k ekm em)= m (ekem)k= m tkmk i j j i j i Para representar las operaciones indicadas por la ltima expresin con las de un producto matricial, y de acuerdo con '2.06, deberemos escribir: ~ {t } = A{t }A
ij km

que comprobaremos as:

t 11 21 t . . t n1

t .. t 12 1n t .. t 22 2n . .. . = . .. . t .. t n2 nn

2 n 1 1 .. 1 t11 t12 1 n 1 2 .. 2 t21 t22 2 2 . . .. . . . . . .. . . . 1 2 .. n t t n n1 n2 n n

.. t1n .. t2n .. . .. . .. tnn

1 1 .. 1 1 2 n 2 1 2 .. 2 2 n . . .. . . . .. . n n .. n n 1 2

c) Coeficientes tkm. Si {tij} es la nueva matriz de coeficientes con el mismo cambio de bases anterior, siguiendo el mismo proceso, encontraremos: tij = i tmkj m k as como {tij} = A-1{tmk}[A-1]~ 61

2.08.- En el apartado a) del prrafo anterior, hemos visto que para los coeficientes mixtos de existe la relacin: {tij} = A-1{tkm}A entre sus valores para bases distintas, con A matriz de cambio de bases. Teniendo en cuenta que A y A-1 son matrices inversas, esta relacin implica la siguiente entre determinantes: Det {tij} = (Det A-1)(Det{tkm})(Det A) = Det{tkm} De esta relacin y de que en base ortonormal las matrices mixtas de un tensor y de su transpuesto son transpuestas, se deduce inmediatamente que: Para todas las matrices mixtas de un tensor y de su transpuesto, los determinantes coinciden. 3.- Producto matricial de tensores de 2orden. Definicin.- Definimos como producto matricial de dos tensores y de 2 orden y lo expresamos por al tensor de verifica: 2 orden que para cualquier vector v

v = (v) = ()v
y que evidentemente es tambin de 2 orden y nico. Es fcil ver que esta multiplicacin es asociativa, es distributiva a derecha e izquierda y no es por lo general conmutativa. 3.01.- Cuando los factores son productos tensoriales tenemos:

(ab)(cd) = (ad)(cb) Efectivamente. Por definicin se verifica para todo v: [(ab)(cd)]v = (ab)[(cd)v]
y como desarrollando el 2 miembro se tiene: = (ab)[(cv)d]= [(ab)d](cv)= [(ad)b](cv) = (ad)[(cv)b] = (ad)[(cb)v] = [(ad)(cb)]v queda:

[(ab)(cd)]v = [(ad)(cb)]v y como v es cualquier vector, es cierta la igualdad que se 62

pretenda demostrar.

3.02.- Cuando los factores son tensores cualesquiera, , que siempre se pueden expresar en la forma a bi y c dj y i j respectivamente, tendremos: = (a bi)(c dj) = (a dj)(c bi) i j i j
como se deduce directamente del prrafo anterior. Con la notacin ordinaria, resulta:

= [rij(e e )][s (enem)]= rijs (e em)(ene )= rijs (ene ) i j nm nm i j ni j

3.03.- Coeficientes de =. De la ltima expresin y sus anlogas, se obtienen los siguientes valores: tnj = rijsni = rijsni tnj = rijsni = rijsni tnj = rijsni = rijsni tnj = rijsni = rijsni En forma matricial tenemos por '2.02: {} = {}{}; 3.04.- Potencia matricial. En caso de m factores iguales escribiremos: {} = {}{}

... = m
bien m si no pueden originarse confusiones. 3.05.- Es interesante la lectura inversa de la frmula del producto matricial de dos productos tensoriales:

(ad)(cb) = (ab)(cd)
3.06.- Transpuesto de un producto matricial . Es el tensor producto matricial transpuestos tomados en orden inverso: []~ = ~ ~ Bastar demostrarlo para la multiplicacin matricial de dos productos tensoriales. Efectivamente: [(ab)(cd)]~ = (ad)[cb]~ = (ad)(bc)= (dc)(ba) 3.07.- Simetras y antisimetrias. 63 de los factores

1.- Producto matricial de dos tensores ambos simtricos ambos antisimtricos. a) Es simtrico si y slo si se verifica = . b) Es antisimtrico si y slo si se verifica = -. Efectivamente:

=[]~ = -[]~

= ~ = ~ = -~ = - ~

2.- Producto matricial de dos tensores, uno de ellos simtrico y el otro antisimtrico. a) Es simtrico si y slo si se verifica = -. b) Es antisimtrico si y slo si se verifica = . Pues tenemos:

=[]~ = -[]~
3.transpuesto. Producto

= ~ = - ~ = -~ = ~
de un tensor por su

matricial ~

Siempre es un tensor simtrico cuyo ncleo es igual al de ~ y su imagen igual a la de . Es simtrico, pues se verifica: ~ ~ ~ []~ = (~)~ = Por otra parte, de las definiciones de matricial, de ncleo y de imagen resulta evidente: Nuc () ~ ) Im ( ~ producto

Nuc Im

y si existiera algn vector v tal que vNuc();vNuc ~, al ~ tener en cuenta '1.01, se verificara a un mismo tiempo:
r r r r ~r ~r ortogonal a Im ~ *~)v = 0 ( r r r v~ Nuc v subesp r r r v 0 ~v 0 ~v 0
y esto es imposible, pues ~ no nulo no puede pertenecer a la vez v a un subespacio Im ~ -como indica su escritura-, y a otro subespacio ortogonal a Im ~, cuando ambos subespacios pertenecen a un espacio vectorial eucldeo. As pues, Nuc() = Nuc ~. ~ 64

En cuanto a Im() = Im , se deduce de la igualdad ~ anterior, pues es la expresin de igualdad de los subespacios ortogonales a dos subespacios iguales. 3.08.- Anillo de los tensores de 2 orden En el conjunto de los tensores de segundo orden correspondientes a un determinado espacio vectorial de n dimensiones, las operaciones suma y producto matricial definen una estructura de anillo de la misma manera que las operaciones anlogas definen un anillo en el conjunto de matrices cuadradas de lado n. Ello se deduce inmediatamente de la isomorfa que evidentemente existe entre ambos conjuntos.

65

4.- Tensor fundamental.

Definicin. Llamamos tensor unidad o fundamental al tensor I que corresponde a la aplicacin lineal idntica: (v): Iv = v
De este tensor ya se ha escrito en B'2.10, tambin se ha dicho en C'7.01/02 que es el tensor istropo de 21 orden y aadiremos ahora que se trata de un tensor simtrico puesto que se verifica: (w)(v): I(wv) = (Iw)v = wv = w(Iv) = I(vw) 4.01.- El tensor fundamental puede expresarse por: I = eiei = ejej

siendo {ei} una base cualquiera de E y {ei} su base dual, ya que se verifica: (v): (v): (eiei)v = (e1v)ei = viei = v (ejej)v = (ejv)ej = vjej = v

4.02.- Con estas mismas bases, sus coeficientes son: gji = gij = I(eiej) = (Iei)ej = eiej gji = gij = I(eiej) = (Iei)ej = eiej i i gj = gij = I(eiej) = (Iei)ej = eiej = j gji = gij = I(eiej) = (Iei)ej = eiej = i j (i = Smbolo de Kronecker) j Las matrices mixtas coincidirn en la siguiente:

1 0 0 : 0

0 0 .. 0 1 0 .. 0 0 1 .. 0 : : :: : 0 0 .. 1

4.03.- Se verifica II = I puesto que tenemos:

(v):

(II)v = I(Iv) = Iv
66

 4.04.- La matriz {gij} covariante de I, llamada matriz mtrica, es la matriz del cambio de la base {ej} a su dual {ei} y }. La matriz tambin la matrizijfundamental de E para la base (ei contravariante {g } es la matriz para el cambio inverso. (I=ejej): I = gij(eiej) = gijei ej ej = gijei (I=ejej): I= gij(eiej) = gijei ej ej = gijei (II= I) {gim}{gki} = {gkm} (Smbolo de Kronecker)
Estas dos matrices, ya sabamos por clculo vectorial, que son inversas una de otra. 4.05.- Sea V el volumen del paraleleppedo generado por los vectores de la base {ei} y denominemos g al determinante de la matriz mtrica. En virtud de la ecuacin (15) y de B'5.27 tendremos, siendo t(ij..r) y t(ij..r) los coeficientes estrictos de e ..e en cualquier par de bases duales: 1 e 2 n

g = Det {gij} = Det {eiej} = [(e1e2..en)]2 = V2 = t(ij..r)t(ij..r)

Como consecuencia de '4.02 tenemos tambin:
ij Det {g } =

1 1 = 2; g V

Det {gij} = Det {gij} = 1

4.06.- El conocimiento de la matriz mtrica nos permite utilizar exclusivamente los coeficientes contravariantes de vectores y tensores en los clculos. Ejemplos de sustitucin:
i i a) vj = (v ei)ej = v gij

b) tkm = [tij(eiej)](ekem) = tij(eiek)(ejem) = tijgkigjm c) tkm = [tij(eiej)](ekem) = tij(eiek)(ejem) = tkjgjm d) tkm = [tij(eiej)](ekem) = tij(eiek)(ejem) = timgki
4.07.- El procedimiento que acabamos de indicar, es general para utilizar suprandices en lugar de subndices en cualquier expresin einsteniana de coeficientes. Por ejemplo: timkl = gjmtijkl 4.08.- Si quisiramos expresar las ecuaciones con subndices en lugar de suprandices procediramos anlogamente, solo que ijcambiando los papeles entre la matriz mtrica y la matriz {g }. 4.09.- Relacin entre los determinantes de matrices mixtas tensoriales. De las expresiones de '4.06 deducimos: 67

{tkm} = {gjm}{tij}(gki} {tkm} = {gjm}{tkj} {tkm} = {tim}{gki} y por lo tanto: Det {tkm} = Det {tkm} =

Det {tkm} = g2 Det {tij} Det {tkm} = g Det {tkm} = g Det {tkj} Det {tim}

g Det {tkj}

1 Det {tkm} g

As pues, tenemos que: a) Los determinantes de todas las matrices mixtas de un tensor y de su transpuesto, son iguales. b) Los determinantes de la matriz covariante y de la matriz contravariante, son el resultado de dividir o multiplicar por g, respectivamente, el valor comn de los determinantes de las matrices mixtas. 4.10.El tensor I fundamental multiplicado matricialmente con un tensor cualquiera, no lo altera, tanto si acta como factor a la derecha o como factor a la izquierda. Efectivamente. Cualquier tensor se puede representar, segn '1.12, en la forma siguiente:

= (e fi) i e siendo {ei} alguna base de E, {ei} su base dual y {fj} = {j} otra base de E.
Por consiguiente, se verifica: j i j i I = (fjf )(eif ) = (fjf )(eif ) = I = (e fi)(e ej) = (e ej)(e fi) = i j i j

eifi = eifi =

4.11.- Para una dimensin n del espacio se verifica: II = n puesto que tenemos: II = I(eiei) = (Iei)ei = eiei = n

68

5.-Tensores istropos. El nico tensor istropo de segundo orden es, como se indic en C'7, el tensor unidad fundamental I que acabamos de estudiar. Aunque no sean de segundo orden, aqu vamos a examinar los tensores istropos de cuarto orden, dado que son los tensores de Eq istropos que corresponden a isomorfismos del espacio vectorial de los tensores de segundo orden. Vamos a simplificar aqu la notacin de los productos tensoriales de vectores de una base {ei} y de su dual, de la siguiente manera, que explicaremos con unos ejemplos:

eijij = eiejeiej eijji = eiejejei eiijj = eieiejej

5.01.- De acuerdo con lo indicado en C'7, podemos comprobar que los tres tensores anteriores son los nicos productos tensoriales de cuarto orden que constituyen tensores istropos distintos, que todo tensor istropo de cuarto orden es funcin lineal de estos tres, y que por lo tanto se podr expresar de esta manera:

= eij + eij + ei j ij ji i j
El primer tensor es el de la aplicacin idntica. Para demostrarlo bastar ver que su producto contracto con un producto tensorial ab cualquiera, no lo modifica: (ab) = eij (ab) = aibje = aie bje = ab 1 ij ij i j El segundo tensor transforma un tensor en el tensor transpuesto. Pues se verifica: (ab) = eij (ab) = aibje = bje aie = ba 2 ji j i ji El tercer factor transforma el tensor en un mltiplo de I tensor escalar: = ei j = (II) = (I)I = (Traza de )I 3 i j 5.02.- Vamos a examinar algunos tensores istropos de inters (Ver tambin '6.04).

a) Tensor (1+2). Transforma componente simtrico, como vamos a ver:

un

tensor

en

su

1 1 1 ~ (1+2) = (1 + 2) = (+) 2 2 2
69

b) Tensor (1-2). componente antisimtrico:

Transforma

un

tensor

en

su

1 1 1 ~ (1-2) = (1 - 2) = (-) 2 2 2
5.03.- La expresin general de los tensores istropos de segundo orden, al ponerlos en funcin de los ltimos tensores, es fcil ver que toma la siguiente forma:

= (+) 1 ( + ) + (-) 1 ( - ) + 1 2 1 2 3 2 2
Por otra parte, si tenemos un tensor cualquiera de 2 orden expresado como suma de sus tres sumandos ortogonales: os simtrico de traza nula, a antisimtrico y e escalar, estudiados en '6.04, sea:

= + + os a e
es fcil comprobar que si n es la dimensin de E, se verifica:

= (+) + (-) + ( + + n) os a e
Esta propiedad es de inters en los estudios sobre elasticidad de cuerpos istropos.

70

6.- Invariantes de un tensor.Traza. Sea cualquier tensor de 2 orden construdo sobre un espacio vectorial n-dimensional de base {ei} y de base dual {ei} Vamos a referirnos a los escalares q definidos por la siguiente expresin: (29)

q =

rr 1 rr rr r r rr (ij..r) (ei ej.. er) ei j (ij..r) ( e .. e ) q!

en la que qn representa el orden de los dos productos tensoriales de los parntesis, los ndices distintos indican vectores base distintos, y figuran en orden numrico creciente en todos los parntesis correspondindose los vectores de una base con los de la dual. La operacin indicada es un sumatorio de productos contractos uno para cada conjunto distinto de ndices. La expresin de los escalares q como sumatorios de determinantes puede deducirse de '8.02. Tales escalares son invariantes por coincidir con los coeficientes de la ecuacin caracterstica de que estudiaremos en '8.02. 6.01.- Para q = 1 el escalar 1 recibe el nombre de traza del tensor y la ecuacin (29) adopta la siguiente forma:

1 = (ei)ei
y por lo tanto:

1 = (ei ei) = I
Por consiguiente, la traza de un tensor se puede definir tambin como su producto contracto con I. 6.02.- Caractersticas de la traza de un tensor. Mencionaremos las siguientes: 1.- Traza de aibi = I(aibi) = (Iai)bi) = aibi 2.- Traza de ab = I(ab) = (Ia)b = ab 3.- Traza de I = II = (eiei)(ejej) = (eiej)(eiej) = n 4.- La traza de un tensor antisimtrico es nula, pues su producto contracto con I simtrico debe ser nulo. 6.03.- Formulaciones einstenianas de la traza. I = (emem)tij(eiej) = tij(emei)(emej) = tmm 71

 I = (emem)tij(eiej) = tij(emei)(emej) = tmm I = (emem)tij(eiej) = tij(emei)(emej) = tijgij I = (emem)tij(eiej) = tij(emei)(emej) = tijgji

Observamos que la traza de un tensor es igual a la traza de cualquiera de sus matrices mixtas, referidas a cualquier base. 6.04.- Hemos visto en '1.07c), que todo tensor se puede expresar como la suma de un tensor simtrico y de otro antisimtrico, ambos nicos y ortogonales entre s. Vamos a ver ahora que todo tensor simtrico, a su vez, se puede descomponer, en forma nica, en la suma de un tensor simtrico de traza nula deformador y un tensor escalar o dilatador, definidos por las siguientes expresiones relativas a E n-dimensional y al tensor simtrico : rr I r Tensor componente escalar: I n r r r - I I Tensor componente deformador: n El componente deformador as definido siempre tiene la traza nula:

rr rr rr rr rr rr rr I r r I r r I r - n II = I - n (II) = I - n n = I - I = 0
Son siempre ortogonales entre s. En efecto:

rr rr rr rr rr rr rr rr rr rr I r r I r (I)(I) (I)(I) r r (I)(I) (I)(I) n =0 (II) = n I - n I = n n n2 n2 r r r r + Los tensores istropos 3; 1 2 - 3 transforman a un 2 n n tensor en su componente escalar y deformador respectivamente.
6.05.- La traza de una suma de tensores evidentemente la suma de las trazas de los sumandos. es

Por consiguiente, la traza de un tensor coincide con la de su componente simtrico que, a su vez, coincide con la del componente escalar.

6.06.- La traza de es ~

Pues expresando por aibi y por cjdj se tiene: I() =I[(aibi)(cjdj)] =I[(aidj)(cjbi) =(aidj)(cjbi) ~ = (a bi)(djc ) = (a dj)(bic ) i j i j
72

7.- Determinante de un tensor.

Llamamos determinante de un tensor siendo {ei} una base cualquiera del espacio vectorial E, al escalar n que acabamos de definir en '6:
rr r r 1 rr rr r Det = n = (e1 e2 .. en)(e1 e2 .. en) n!
Pero utilizando el tensor de Ricci, por C'5.17 podemos sustituir los dos parntesis del 21 miembro, con lo que tendremos:

rr r rr 1 r rr rr r Det = [ e1 e2 .. en) e1 e2 .. en) ( ][ ( ] n!

Sustituyendo ahora por su valor n!, se tiene:

rr rr rr = (e e ..e )(e1e2..en) =(e1 e2 .. en) Det 1 n 2 r r r (e1 e2 .. en)

Este escalar es un invariante, puesto que si {vj} es otra base cualquiera de E, como se tiene (vje ) = ~(e vj) i i

(~ei)vj = ei(vj}

por la ecuacin (15) se verificar:

(~e1~e2..~en)(v1v2..vn)=(v1v2..vn)(e1e2..en)
Teniendo en cuenta que, por '4.09, los determinantes de cualquier matriz mixta de un tensor coinciden, aplicando la ecuacin (13), obtenemos: ~e ~e ..~e 1 2 n y por consiguiente: = e1e2..en

(e1e2..en)(v1v2..vn)=(v1v2..vn)(e1e2..en)
rr rr rr rr rr rr ( e1 e2 .. en) ( v1 v2 .. vn) = Det = r r r r r r (e1 e2 .. en) (v1 v2 .. vn)
Por todo ello, el determinante de un tensor de segundo orden es el determinante de cualquier matriz mixta de referida a cualquier base. 7.01.- De la definicin de determinante de un tensor se deduce inmediatamente: a) Un determinante es nulo si y slo si el tensor es de rango inferior a la dimensin del espacio, o sea que su ncleo 73

tiene una dimensin mayor que 0 (tensor irregular). b) El determinante de un producto matricial de tensores es el producto de los determinantes de los factores.

74

8.- Valores y vectores propios de un tensor. Supondremos un espacio vectorial E n-dimensional.

Definicin. Decimos que un vector v no nulo es un de segundo orden y que es el valor vector propio de un tensor propio correspondiente, cuando se verifica: v = v (-I)v= 0 v Nc (-I)
8.01.- Por consiguiente, los valores propios que corresponden a vectores propios, son los valores de que hacen de -I un tensor irregular, o sea las soluciones de cualquiera de estas ecuaciones: Det (-I) = 0

tij-gij=0

tij-gij=0

tij-gij=0

tij-gij=0

El conjunto de vectores propios correspondientes a un valor propio i es, por definicin, el ncleo de un tensor irregular (-iI), y por lo tanto formar un subespacio vectorial de dimensin mnima uno. 8.02.- Para el clculo de los valores propios se acostumbra a partir de la primera ecuacin relativa a los coeficientes mixtos del tensor, que desarrollada, si la dimensin de E es n, toma la siguiente forma: A(x) = xn - 1xn-1 + 2xn-2 - .. n = 0

y recibe el nombre de ecuacin caracterstica de .

El clculo matricial nos demuestra que los coeficientes q son los escalares invariantes de de que hemos hablado en '6. Por lo tanto 1 es la traza de , n es el determinante y en general, es la suma de los determinantes de las de q matrices de qxq elementos que se pueden extraer de {tij}, cuya diagonal principal est extrada de la diagonal principal de {tij}. Si es de rango r, tendremos q=0 para q>r. 8.03.- Propiedades generales. En este prrafo, y en el siguiente, sealaremos las proposiciones sin demostrarlas, pues las demostraciones seran anlogas a las del clculo matricial, que supondremos conocidas.

a) Si A(x)=0 es la ecuacin caracterstica de un tensor , se verifica tambin A()=0, sea: n - (n-1) + (n-2) - .. I = 0 1 2 n
b) La suma de los subespacios vectoriales propios de un 75

tensor, es el espacio total si, y slo si, sus matrices mixtas son diagonalizables, es decir, que para alguna base hay una matriz mixta de coeficientes que es diagonal. Esta condicin, si hay m valores propios distintos y {i} es su conjunto, equivale a que se verifique: (-1I) (-2I) .. (-mI) = 0 Para m=n valores propios distintos se verifica siempre, pues la ecuacin se transforma en A()=0.

c) Si A() es un polinomio ( serie polinmica convergente) de potencias matriciales de un tensor , se verifica que todo vector propio v del tensor con valor propio es tambin un vector propio de A() pero con valor propio A().
d) Los valores propios no reales de un tensor, son siempre pares de complejos conjugados. e) Los vectores propios reales de un tensor , corresponden siempre a valores propios reales. Al valor propio 0 corresponden como vectores propios todos los de Nuc . f) Dos tensores transpuestos uno del otro, tienen la misma ecuacin caracterstica y por tanto, iguales valores propios. 8.04.- Cuando es un tensor simtrico se verificar: a) Todos los valores propios son reales nulos. b) Los subespacios propios son ortogonales entre s y su suma es el espacio vectorial total (suma directa). En consecuencia, los subespacios propios de un tensor simtrico tienen la dimensin mxima, sea que para cada uno es igual a la multiplicidad de la solucin correspondiente de la ecuacin caracterstica. c) Existe por lo menos una base ortonormal de versores propios del tensor para el espacio vectorial E.

En consecuencia, siendo {ei} una base ortonormal de E formada por vectores propios de , si {i} es el conjunto de valores propios correspondientes, podremos representar siempre a todo tensor simtrico , con tantos sumandos no nulos como indique el rango de , en la forma siguiente: = [ (e e )] i i i
La matriz de en esta base ortonormal, ser diagonal:

tij=(eiej)=(ei)ej=ieiej tii=i; (ij): tij = 0

76

8.05.- Tensores antisimtricos. a) Todos los valores propios reales son nulos, y el ncleo es el nico subespacio propio.

Pues para v vector propio de correspondiente a un valor propio real no nulo, tendramos: v = v

v(v) = vv

(vv) = vv

lo que es imposible, pues (vv) es forzosamente nulo por ser v no es nulo pues es real y no nulo un tensor antisimtrico y v v por corresponder a un valor propio real no nulo ('8.03f). b) Para antisimtrico, 2 es simtrico ('3.07-1a) y por tanto de valores propios reales nulos ('8.04a). Como estos valores sabemos por '8.03c que deben ser los cuadrados de los valores propios correspondientes a , estos ltimos, segn a), deben ser nulos complejos y en el segundo caso, por '8.03d, debern ser pares de complejos conjugados, que en este caso habrn de tener la forma: -1 con real no nulo, pues su cuadrado ha de ser un nmero real no nulo. Este nmero real, ahora tendr que ser negativo. c) De lo dicho hasta ahora deducimos: 1. Los valores propios de un tensor antisimtrico no nulo son pares de complejos conjugados del tipo -1 , ceros.

2 2. Los valores propios de , que siempre es simtrico, son pares de nmeros negativos iguales, bien ceros.
3. Los subespacios propios de 2 son de dimensin igual a la multiplicidad de los valores propios correspondientes y la suma de todos los subespacios propios es directa, o sea E. 4. Los subespacios imagen, tanto de como de 2, que segn sabemos por '1.11 son ortogonales y suplementarios a sus respectivos ncleos, tienen dimensin par.

d) Todo vector v es ortogonal a su imagen. Pues tenemos v(v) = (vv) = 0

ya que el producto contracto de un tensor antisimtrico por otro tensor que es simtrico, resulta nulo.

e) Si a es vector propio de 2 con valor propio -2, a tambin lo es con igual valor propio y mdulo a.
Ya que siendo antisimtrico se verifica:

(a) = 2a = -2a

[(a)] = 2(a) =-2a

77

 (a)(a) =[a(a)] =-[(a)a] =-a(-2a) =(a)(a) f) Si a es vector propio de 2 con valor propio -2, a y a y determinan un subespacio bidimensional que es invariante para se halla includo 2 en el subespacio propio de 2 correspondiente al valor propio - .
Pues se verifica:

[a+(a)] = a+ (a) = a - 2a [(a+a)]= (a) -2(a)= -2a -2a= -2(a+a) g) Sea a un vector propio de 2 con valor propio -2. Si un es ortogonal a a y a a, sea a un espacio invariante vector b bidimensional, lo mismo suceder con b: (b)a = (ba) = -(ab) = -(a)b = 0 (b)(a) = [b(a)] = -[(a)b] = -[(a)]b = 2ab = 0
h) Un subespacio propio de 22 de dimensin 2m correspondiente a un valor propio real - no nulo, es la suma directa de los m subespacios bidimensionales invariantes de , ortogonales entre s, que corresponden al mismo par de valores propios races cuadradas de -2. Es a su vez un espacio invariante de . Sea F el subespacio propio de 2 de dimensin 2m, correspondiente al valor propio -2 y A un subespacio invariante de generado por a y a, tal que AF. Si m=1, el subespacio F queda completo, pero si m es mayor que uno podremos hallar un vector b perteneciente a F y no perteneciente a A y que sea ortogonal a y a . Por lo visto en a a f) y g), los vectores b y b determinan un nuevo subespacio invariante B tambin includo en F y ortogonal a A. Por recurrencia quedar demostrada la proposicin. i) Siendo los subespacios propios de 2 ortogonales entre s, por tratarse de un tensor simtrico, y por lo que acabamos de ver, resulta que todo tensor antisimtrico permite dividir E en una suma directa de subespacios ortogonales entre s, cuyos sumandos son Nuc y los subespacios bidimensionales invariantes de . j) Teniendo en cuenta la anterior divisin de E en subespacios ortogonales y que un subespacio bidimensional a invariante viene generado por dos vectores tales como y , que a por d) sabemos que son ortogonales, podemos obtener as una base ortogonal de E.

k) Si un vector 2 v pertenece al subespacio propio de 2 correspondiente a - , el mdulo de v, que pertenece por 78

definicin al mismo subespacio invariante de , es v.

(v)(v) = [v(v)] = -[(v)v] = -[(v)]v = 2vv = (v)2 l) Como por d) sabemos que a y a pertenecen a un mismo subespacio invariante, podremos elegir en cada sumando invariante de E segn i) un versor propio ei. En este mismo sumando, teniendo presente k), podemos tomar otro versor propio 1 rr ei i La reunin de los conjuntos de estos dos tipos de versores propios es fcil ver que formar una base ortonormal de E y por consiguiente, de acuerdo con la ecuacin (3) de C'1.10, podremos escribir: r 1 rr r r r rr [( = ei ei) + 2( ei *2ei)] i pero como se verifica: 1 r*2 r 1 r r = 2(-i2ei) = -ei 2 ei i i
podemos sustituir, y queda:

= [(e e )-(e e )] = (e e ) i i i i i i
As pues, todo tensor antisimtrico puede representarse en esta forma. En el caso de un espacio E tridimensional, la expresin de tendr un solo trmino.

79

9.- Grupos de tensores. Potencias matriciales. 9.01.- Dado un subespacio vectorial A de E euclidiano y n-dimensional, examinemos el conjunto T de todos los tensores que verifican las siguientes condiciones: 1. Im = A 2. Nuc =Subespacio A ortogonal suplementario de A. Los tensores de T tendrn por tanto el subespacio ortogonal a Nuc igual al subespacio Im . 9.02.- Particularidades de la expresin = eifi de un tensor de T, con un mnimo de sumandos, respecto a lo visto en '1.12.

subespacio A, lo mismo que i {ei} ser ahora una base i del i lo es {f } y seguiremos teniendo f = e al ser {ei} la base dual }. de {ei Ello nos permite que para {ei} podamos considerar, en lugar de una base de A, una base de E tal, que incluya una base de A as como una base de A.
Esta nueva base da lugar a la misma expresin de los tensores de T con un mnimo de sumandos, ya ique en los sumandos aadidos ei pertenece a A as como su dual e , y el factor i es e nulo. 9.03.- El conjunto T evidentemente no es cerrado para la suma de tensores, aunque verifica:

(T)(T):
(T)(T):

Im (+) A Nuc (+) A

El conjunto T es cerrado para la transposicin, dado que el transpuesto de un tensor , tiene su imagen ortogonal a Nuc y su ncleo ortogonal a Im . 9.04.- Vamos a ver ahora, que el conjunto T toma la estructura de grupo mediante la multiplicacin matricial. En efecto: a) El tensor producto matricial de dos tensores de T pertenece a T, o sea:

(T)(T):
Nuc () Nuc ;

Pues evidentemente se verifica: Im () Im

Ahora bien, si un vector de Nuc () no perteneciera tambin a v 80

Nuc , tendramos:

r r r r * )v =r 0 ( r rv 0

r r rr v)= r0 ( r rv 0

rr r v r Nuc r r v 0

y esto es imposible dado que pertenece por hiptesis a Im , y v que Im y Nuc son ortogonales. Por consiguiente: Nc () = Nuc = Nuc

Dim Im () = Dim Im

y como siempre se verifica Im () Im , tendremos: Im () = Im = Im b) Como ya hemos visto que existe la asociatividad para el producto matricial de tensores en general, tambin existe entre los tensores de T. c) Existe en T un tensor unidad que es simtrico y representaremos por o, siendo cualquier tensor de T. Vamos a suponer, que por analoga con lo estudiado respecto al tensor I fundamental, o puede representarse as: o = e ei = fjf i j siendo {e i} y {fj} bases cualesquiera de A, y {ei} y {fj} sus . respectivas bases duales respecto al subespacio A = Im Las expresiones mencionadas son equivalentes, pues vamos a ver que son las del tensor correspondiente a la aplicacin tal, que es idntica para los vectores de A y es de anulacin para los vectores de A. Efectivamente, con una cualquiera de ellas suceder lo siguiente:

i Si aA podremos expresarlo por a=aie y se verificar: oa = (e ei)a = (ae )ei = a ei = i i i a Si aA', tendremos eia=0 y por tanto: oa = (e ei)a = (ae )ei = 0 i i
Este tensor o es el elemento unidad del conjunto T, pues para cualquier otro elemento = eifi de T se tiene: o=(e fi)(e ej)=(e ej)(e fi)= e fi = i j i j i o=(f fi)(e fj)=(f fj)(e fi)= e fi = i j i j i Para dos tensores y cualquiera de T, tendremos evidentemente: 81

o = o
d) Los elementos de T admiten inverso. El inverso de = eifi es -1 = fiei, cuyos factores pertenecen a las bases duales de las consideradas para , como vamos a comprobar a continuacin: -1=(e fi)(f ej)=(e ej)(f fi)= f fi = o i j i j i -1=(f ej)(e fi)=(f fi)(e ej)= e ei = o j i j i i e) De acuerdo con las propiedades generales de los conjuntos, tendremos: 1) El elemento neutro de T para la ley es nico. 2) El elemento inverso de un tensor de T, por tener una ley asociativa para , es nico. 9.05.- Por ser T un grupo, se tiene: a) Existe una ley de simplificacin a derecha e izquierda:

= =

= =

b) Las ecuaciones = en y = en , admiten, cada una, solucin nica.

= =

= -1 = -1

9.06.- Otros datos sobre o. 1.Matriz cannica o reducida del tensor o.

Si tomamos como base del espacio vectorial E n-dimensional, la reunin de dos bases cualquiera, una de A = Im y otra de A = Nuc , es fcil ver que a cada o base as compuesta corresponde una nica matriz mixta de , en cuya diagonal principal hay tantos +1 como indique el rango de , y siendo nulos los dems elementos de la matriz. 2.- La traza de o es igual al rango y el determinante es +1 para un tensor regular y 0 para uno irregular.

o 3.- Los subespacios propios de son el ncleo y la imagen, con valores propios 0 y +1 respectivamente.
As pues, todo vector propio de o con valor propio , es vector propio de o con valor propio .

4.- Sea un vector v de E descompuesto en sus proyecciones 82

 y ortogonales vi o vn sobre Im y Nuc respectivamente. Dada la definicin de , podremos escribir: ov = o(v +v ) = ov + ov = v + 0 i n i n i

O sea, que o es el tensor de la aplicacin ortogonal de un vector de E sobre A = Im . De la misma manera podemos escribir: (I-o)v = Iv - ov = v - vi = vn

y I-o es el tensor de la aplicacin proyeccin ortogonal de un vector sobre Nuc .

5.- Para dos tensores y de grupos distintos, tales que es ortogonal y suplementario de Im , se tendr: Im o + o = I 9.07.- Otros datos de -1. Un vector propio del tensor -1 con valor propio 0, v , es vector propio de -1 con valor propio :

-1=o

-1(v)=ov

-1(v)=v

-1v=-1v

9.08.- Potencias matriciales de elementos de T. Son evidentemente elementos de T, las potencias de exponente entero positivo de un tensor de T, as como las de exponente cero o menos uno que hemos definido anteriormente. Podemos definir tambin y sin inconveniente, una potencia matricial entero negativa de un tensor de de la siguiente manera:

-m = (-1)m
y es fcil ver que con exponentes enteros de cualquier signo o nulos se verifica:

= +
Siendo as, podremos considerar elementos de T formados por polinomios matriciales con sumandos de tipo s con escalar y exponentes s enteros de cualquier signo, o nulos, e incluso series polinmicas convergentes de cualquier tensor de T. Para estos casos recordaremos '8.03c, en que se deca que si A() es la expresin de un tensor de este tipo, y v es un con valor propio , v tambin ser vector vector propio de propio de A() con valor propio A(). 9.09.- Observaciones. 83

En todo lo que acabamos de decir relativo a potencias negativas o nulas de un tensor , se presupone que el tensor las admite tal como se han definido, y es evidente que esto ocurre si y slo si Im y Nuc son ortogonales y suplementarios ya que esta es la nica condicin exigida para que pueda formar parte de algn grupo del tipo estudiado. Un grupo que presenta especial inters es el grupo de los tensores regulares, que tienen el subespacio ncleo reducido al vector nulo y para el que o= I y -1= I. Es de notar que todos los tensores simtricos as como los antisimtricos, admiten exponentes nulos y negativos del modo aqu definido, ya que por '1.11 sabemos que tienen el ncleo ortogonal y suplementario de su imagen. Se puede ver fcilmente que si un tensor de orden r tiene ortogonales imagen y ncleo, sus matrices respecto a una base reunin de dos bases cualesquiera, una del subespacio imagen y otra del subespacio ncleo, con la conveniente ordenacin de los vectores base, presenta la siguiente estructura:

A 0

0 0

en que A es una matriz regular de rxr elementos y en que son nulos todos los elementos exteriores a A.

9.10.- Cuando dado un tensor cuyo rango es r, existen los tensores o y -1, sea que Nc es el subespacio ortogonal y por tanto suplementario de Im , podemos calcularlos conociendo la ecuacin A() caracterstica de .
Suprimiendo en lo sucesivo el signo en los exponentes, y para E n-dimensional, por '8.03a tenemos: n-r] = 0 = P()= n - 1n-1 + 2n-2- ... [r-1n-r+1 - r = n-r(r - 1r-1 + ... [r-1 - ro]) y existiendo o, se demuestra que esto exige:

r - r-1 + ... [ - o] = 0 1 r-1 r

De esta ltima igualdad de potencias matriciales de . se puede obtener o en funcin

Tal ecuacin se puede poner tambin en otra forma: 84

 (r-1 - r-2 + ... [ 0 - -1]) = 0 1 r-1 r

que exige:

r-1 - r-2 + ... [ 0 - -1] = 0 1 r-1 r

y de esta ltima expresin se puede obtener -1. 9.11.- En las mismas condiciones sealadas en '9.10, vamos a ver otras formas de clculo para diversos rangos r de , con E n-dimensional. a) r=n (tensor regular).

Tendremos evidentemente o=I, y en cuanto a -1 lo podremos obtener a travs de su matriz mixta {-1} por un conocido mtodo de clculo matricial.
Recordando del clculo matricial que la matriz A+ adjunta de la matriz A es la traspuesta de la matriz obtenida reemplazando en A cada trmino por su cofactor y que se verifica: AA+ = A+A = I (det A) al llamar el tensor tal que {}=A+, tendremos:

= I(det )
b) r<n.

= -1(det ) r -1 =

r r det

Adoptaremos una base de E que sea una reunin de cualquier base de Im y de cualquier base de Nuc , y as, con la debida ordenacin de los vectores base, la matriz {} presenta la forma explicada en '9.09. Sustituyendo la matriz A, -que de esta manera resultar regular-, por la matriz A-1, una matriz unidad, se obtienen las matrices {-1} {o} respectivamente. c) r=n-1. Si cumple las condiciones de la hiptesis, podremos adoptar para E una base ortonormal uno de cuyos versores pertenezca a Nuc . Expresando {} en esta base, su matriz adjunta tendr un nico elemento no nulo situado en la diagonal principal, y resulta Im unidimensional, igual a Nuc y ortogonal a Nuc . La ecuacin caracterstica de solo tendr un coeficiente no nulo, y ste ser la traza, que como evidentemente ha de ser igual a la suma de los menores de la traza de , coincidir con el coeficiente n-1 de la ecuacin caracterstica de . La ecuacin ser pues:

85

n-1 Pero como el subespacio imagen de es ortogonal y suplementario del de , tendremos:

r r r0 + 0 = I
d) r=1.

r r r r P() = - n-10 = 0

r 0 =

r r r0 = I - n-1

Si es el valor propio no nulo de , es tambin su traza y tendremos:

r r - r0 = 0 r r0 = r r r0 r-1 = r-1 = = 2

86

9.12.- Potencias y races de tensores simtricos. Si tenemos un tensor simtrico , hemos visto em '8.04c que siempre existe para E una base ortonormal de versores propios {ei} de . Si los conocemos, y tambin conocemos los valores propios {i} correspondientes, y el rango r, es fcil ver que podremos expresar a y a sus potencias matriciales enteras del siguiente modo:

r 1

[i(eiei)];

q =

r 1

[(i)q(eiei)]

Sabemos por '8.03c que los vectores propios de q son los mismos de y que sus valores propios son {q}. 9.13.- Races. Se puede emplear la expresin de la potencia q de , para definir la raz m de si se utiliza un valor fraccionario 1/m para q, pues es evidente que su potencia m reproduce el tensor . A continuacin expondremos algunas observaciones sobre la radicacin de tensores simtricos, con algunos ejemplos de races cuadradas. a) Raz cuadrada de un tensor con valores propios distintos y rango r.

Al tensor =i(eiei) correspondern diversos tensores raz cuadrada: r r r r r r r ( ) = + 1(e1 e1) + 2 e2e2) + 3 e3e3) ... ( ( + 1 r r r r r r r ( ) = - 1(e1 e1) + 2 e2e2) + 3 e3e3) ... ( ( + 2 etc.
r Habr 2 soluciones simtricas distintas cuyo cuadrado reproduce , sea tantas como variaciones de orden r con repeticin se pueden formar con dos elementos.

Las races slo son reales en el caso de que todos los valores propios son positivos. b) Raz mltiples. cuadrada de de rango r y valores propios

Habr infinidad de soluciones, pues si por ejemplo hay un valor propio doble, habr un subespacio propio bidimensional en el que podremos elegir entre infinidad de pares de vectores ortogonales propios para formar parte de la base en que se exprese el tensor. Que se elija uno u otro par no altera al tensor representado, pero s cambian las races cuadradas obtenidas eligiendo races cuadradas opuestas para cada versor del par. 87

c) Al operar con races, debe cuidarse de no cometer errores anlogos al que se cometera si siendo +1 y -1 races cuadradas de +1 escribiramos (-1)(+1) = +1. d) La frmula aqu empleada solo permite obtener races simtricas y es evidente que pueden existir races cuadradas de otros tipos. Por ejemplo, si es antisimtrico, hemos visto por '8.05b que 2 es simtrico, y por tanto una de las races cuadradas de este ltimo es , que es antisimtrico.

88

10.- Tensores ortogonales. Definiciones: 1. Reciben el nombre de tensores ortogonales los tensores tales que su inverso es igual a su transpuesto:

~ -1 = 2. Son los tensores que conservan el producto

escalar:

(v)(w):

vw = (v)(w)

Puesto que esta ecuacin equivale a:

(v)(w):

~ ~ vw = (v w) = (w v) = [()w]v

y esto ocurre si y solo si: ~ = I

~ = -1

3. Son los tensores que conservan la norma de todo vector tal como u+v siendo u y v vectores cualquiera. O sea:

(v+w)2 = [(v+w)]2 = (v+w)2

y esto equivale a:

v2 + w2 + 2vw = (v)2 + (w)2 + 2(v)(w)

que a su vez equivale a:

vw = (v)(w)
10-01.- Propiedades: a) Es fcil ver que los tensores ortogonales son regulares y forman un subgrupo del grupo de los tensores regulares. b) De la primera definicin se deduce inmediatamente que el determinante de un tensor ortogonal es +1 bien -1. Los tensores ortogonales de determinante +1, conservan la orientacin de una base y constituyen un subgrupo del subgrupo de tensores ortogonales, el de los tensores llamados rotaciones.

89

11.- Tensores semejantes. Definicin.- Diremos aqu que dos tensores y son semejantes cuando para algun tensor ortogonal se verifica:

= ~
y entonces tambin tendremos recprocamente:

~ -1-1 =

~ =

y por consiguiente, un tensor y sus semejantes constituyen una clase de equivalencia. 11.01.- Las ecuaciones caractersticas de dos tensores semejantes son coincidentes.

Efectivamente. Si la ecuacin caracterstica de es -I) = 0, podremos escribir: Det( ~ ~ ~ ~ (-I) = - (I) = - I ~ ~ Det(-I) = 0 Det[(-I)]= 0 Det[ - I] = 0
Por consiguiente sern comunes los valores propios y los invariantes q. 11.02.- Si es semejante a y la semejanza viene dada , se verifica que al vector propio v de con valor propio por v de con la misma norma que , corresponde el vector propio v e igual valor propio :

~ ~ ()v = ()v = ()v = (v) = (v) En cuanto a las normas de v y v son las mismas por segn sabemos por '10-3. ser ortogonal el tensor 11.03.- Si un tensor se expresai por =aibi su semejante = se podr expresar por = a b , ya que de un modo ms ~ i general, podemos escribir: ~ ~ ~ [(aibi)]v = [(aibi)(v)] = {[(v)ai]bi} =
~ = {[(vai)]bi} = [(aiv)]bi = [(ai)v]bi = (aibi)v y por lo tanto:

(a bi)~ = a bi i i

90

12.- Tensores simtricos definidos positivos. 12.01.- Definicin. Decimos que un tensor simtrico es definido positivo y escribimos >0, cuando se verifica:

(v; v0):

(vv) > 0

y esto ocurre, como vamos a ver, si y slo si todos los valores propios de (que son reales por ser simtrico por hiptesis) son positivos. Pues en este caso podremos adoptar una base ortonormal {ei} de vectores propios de y para cualquier vector v=viei se verificar:

(vv) =(vie vje ) =vi(e )vje = ( vie )(vje )= (vi)2 > 0 i i j j i i j i

12.02.- Si simtrico es definido positivo, es fcil ver que corresponde a una funcin bilineal simtrica de EE y que sta define un nuevo producto escalar entre dos vectores cualesquiera v y w calculable por la frmula:

v w = (vw)
Este producto escalar, que es distinto al admitido previamente para E y que lo hace propiamente euclidiano (pues slo coincide en el caso =I), da lugar a una nueva estructura de espacio propiamente euclidiano y en consecuencia sern aplicables para ella las propiedades generales correspondientes. 12.03.- Tendremos pues las modalidades siguientes: 1. Las nuevas matrices fundamentales de bases son de determinante positivo, y por tanto sern aplicables las desigualdades de Schwartz, por ejemplo:

2 (vw) (vv)(ww)

[(vw)][(vw)] [(vv)][(ww)]

2. La nueva ortogonalidad viene dada por

(vw) = 0 y diremos que v y w son conjugados respecto a .

Existir siempre una base de vectores conjugados dos a dos.

3. La matriz fundamental correspondiente a una base {ei} es (e e ) = t . {tij} pues se verifica i j ij

4. Un cambio de bases dado por la matriz A cambia a la matriz fundamental en la forma siguiente: ~ {t } = A{t }A
ij ij

12.04.- Por ser simtrico y por '8.04-c), sabemos que 91

siempre existen bases ortogonales de vectores propios de , que una de ellas es ortonormal, y que, respecto a ella, las matrices de coinciden en una nica matriz diagonal. Estas bases estn formadas por conjuntos de vectores conjugados dos a dos.

En efecto. Con la base {ei} correspondiente a los valores propios {i} podremos escribir:
(ij):

(e e ) = (e )e ) = e e = 0 i j i j i i j

12.05.- Sea un tensor simtrico . Con una base ortonormal cualquiera, la matriz {tij} coincidir con la matriz {tij}. pero slo sern una matriz diagonal en el caso de que los elementos de la base ortonormal sean vectores propios de . Las ecuaciones correspondientes al cambio entre estas dos bases ortonormales son, segun vimos en '2.07/8 las siguientes: ~ {tij} = A {tij}A, {tij} = A-1{tij}A

Pero ahora tenemos tij=tij y -1 ij=tij y por lo tanto, para t ~ este cambio de bases ser preciso A = A, es decir. que A sea una matriz ortogonal. Puede comprobarse que A es entonces la matriz cuyas columnas estn formadas por los coeficientes de los vectores propios normalizados, expresados en la base ortonormal original. Evidentemente, las operaciones anteriores son aplicables en clculo matricial a la diagonalizacin de una matriz simtrica. Para ello hallaremos el polinomio caracterstico de la matriz, y sus vectores (matrices lnea) propios de los que deduciremos los vectores propios ortonormales. Con estos ltimos podremos formar la matriz A ortogonal a utilizar para obtener la matriz diagonal buscada.

92

13.- Tensores simtricos semidefinidos positivos. 13.01.- Definicin. Decimos que un tensor es escribimos 0 cuando se verifica: semidefinido positivo y

(v):

(vv)

Esto ocurre si y slo si todos los valores propios {i} de son positivos o nulos, lo que se demuestra como en '12.01. 13.02.- Si es semidefinido positivo, tambin corresponde a una funcin bilineal simtrica de EE, que define para E un producto calculable por la frmula:

v w = (vw)
que da lugar en E a una nueva estructura, esta vez de espacio semidefinido positivo. 13.03.- Las nuevas matrices fundamentales de bases son de determinante positivo o nulo y son aplicables como en '12.03 las desigualdades de Schwartz. Las dems propiedades mencionadas en '12.03/4/5 para los espacios definidos positivos, resultan tambin aplicables a los espacios semidefinidos positivos.

93

ANALISIS TENSORIAL
A.- ESPACIOS PUNTUALES. DERIVADAS. 1.- Espacios puntuales afines. 1.01.- Definicin.- Son los espacios E que generalizan las propiedades del espacio puntual de la geometra ordinaria a cualquier dimensin. Sus elementos se denominan puntos, sabemos distinguir cada uno de ellos de los dems y tienen las siguientes propiedades: a) A cualquier elemento ordenado de puntos (A,B) del corresponder un vector, designado E de n dimensiones, y esta siguientes propiedades: de {EE}, sea a cualquier par conjunto E, se puede hacer por , de un espacio vectorial AB correspondencia verifica las

AB = - BA AB = AC + CB En geometra ordinaria, E es el espacio vectorial de los vectores libres. b) A cada par formado por un vector de E y un punto O a de E, corresponde un nico punto A de E tal que verifica: OA = a En geometra ordinaria es el OA que est ligado al punto 0. vector equipolente a a

1.02.- Segn sea el espacio vectorial E que corresponda al espacio puntual afn, este ltimo recibir un nombre. As un espacio puntual afn n-dimensional es el que corresponde a E de n dimensiones, un espacio puntual afn real es el que corresponde a E real, y un espacio puntual afn propiamente euclidiano, el que corresponde a E propiamente euclidiano. En lo sucesivo y de no indicar lo contrario, nos referiremos siempre a espacios puntuales afines reales y propiamente euclidianos. En virtud de la correspondencia mencionada, llamaremos vectores a los elementos (A,B). Por otra parte, diremos en relacin con un vector AB que A es su origen y B su extremo. 1.03.- Sea E un espacio puntual afn, correspondiente el espacio vectorial E.

95

Para su estudio elegiremos un punto O cualquiera de referencia, y consideraremos al conjunto OE de los pares de puntos de E que tienen en comn el primer punto O, como un espacio vectorial EO constitudo por los vectores de E ligados al punto O. Este ltimo conjunto, de acuerdo con '1.02b, vemos que corresponde a E, verificndose OO = 0. Eligiendo a otro punto O distinto, podremos considerar anlogamente otro espacio vectorial EO' de los vectores (O,E) ligados al punto O. A un mismo punto A del espacio puntual afn corresponden, en EO y EO' respectivamente, los vectores OA=a y =a' que evidentemente verificarn la siguiente relacin: OA a = a + OO que explicita la aplicacin de EO' sobre EO por la que OA es la . imagen de OA La eleccin de un punto de referencia y por tanto de un espacio vectorial EO de referencia, nos permite determinar unvocamente cada punto de E mediante cada vector de EO. A estos vectores les denominaremos vectores de posicin. Su valor para un mismo punto variar con el punto de referencia elegido. 1.04.- Del punto arbitrario O decimos que es un origen punto de referencia de E, que junto con EO define unvocamente al espacio puntual afn. El cambio de origen de O a O equivale a cambiar EO' por EO de acuerdo con lo dicho en el prrafo anterior. 1.05.- En un espacio puntual afn las referencias para el clculo en cada caso particular no solo consistirn en la base que se haya adoptado para E, sino tambin en el mismo espacio vectorial EO escogido, lo que al efecto es equivalente, el punto origen elegido. La referencia de E total para el clculo ser pues: (O, base de E) Un cambio de referencias har para el clculo. Para ste ya suponemos cambio de base en un espacio vectorial, ahora el efecto de un cambio de origen de los vectores ligados al origen. variar las cifras usadas conocido el efecto de un y acabamos de considerar en el espacio vectorial

Es fcil ver que el orden de sucesin con que se calculen los dos tipos de variacin es indiferente. 1.06.- Advertencia. Tendremos en cuenta, que el objeto de este ensayo es solamente, estudiar la aplicabilidad en Anlisis tensorial del 96

mtodo de representacin tensorial intrnseca utilizado en el Algebra tensorial, partiendo de las bases matemticas conocidas. 1.07.- Aplicaciones de E en G. Campos. Si tenemos una aplicacin definida en un dominio de E sobre un espacio G cualquiera, tal que para los puntos A del dominio se tiene (A)=mA, diremos que es una aplicacin de E en G, cuya imagen en A es mA. Decimos tambin entonces, que en tal dominio de E hay un campo de la variable m, con valores mA, mB, etc. en sus puntos A,B, etc. respectivamente. Si los valores de m son los mismos en todos los puntos de un dominio de E decimos que en el campo de m es uniforme. A las aplicaciones de E en G las denominaremos tambin aplicaciones puntuales. En este texto y salvo indicacin expresa, nos limitaremos a considerar solamente las aplicaciones puntuales de E en un espacio vectorial euclidiano F, cuyas imgenes por tanto se puedan representar por tensores de un mismo orden, incluyendo entre los tensores a escalares y vectores. A este tipo de aplicacin, corresponder el campo de una variable que expresa tensorialmente a una magnitud llamada puntual, y que tomar un valor particular en cada punto. 1.08.- De acuerdo con el prrafo anterior, aqu tambin podremos considerar aplicaciones de E sobre el espacio vectorial L de las aplicaciones lineales de E en F, puesto que segn vimos en Algebra tensorial, sus imgenes son representables por tensores. 1,09.- Frecuentemente se define una aplicacin puntual de E en F, a travs de una aplicacin f de E en F referida a un punto dado O, y establecemos entonces que la imagen en un punto A cualquiera es f(OA). De este modo, de una aplicacin f nica de E en F pueden derivarse tantas aplicaciones puntuales, como puntos de referencia se pueden elegir. Eligiendo un punto distinto O, resulta que la nueva imagen en A es f(OA). Diremos que las imgenes tensoriales en cualquier punto dado de todas estas aplicaciones puntuales, son expresiones de una misma magnitud, tal como , y las designaremos por:

, , ... OA OA
1.10.- Aplicaciones continuas de E en F. Una aplicacin f de E en F es contnua en un punto X, si y slo si siendo X otro punto, con cualquier referencia O se 97

verifica: (1)

(O)(X;XX0):

lim [OX-OX] = 0

y entonces decimos tambin que la magnitud es contnua en X. Si y slo si f es continua en todo punto de un dominio de E, diremos que f es continua para . 1.11.- Aplicaciones diferenciables de E en F. Una aplicacin f de E en F es diferenciable en X, si y slo si existe una aplicacin lineal L de E sobre F, propia del punto X y de f, e independiente del origen, tal que si X' es otro punto de E y llamamos dx al vector XX, se verifica: (2)

(O)(X; XX 0):

r [r -r ] - L(dx) lim OX OX = 0 dx

y entonces decimos tambin que la magnitud es diferenciable en X. Si y slo si f es diferenciable en todo punto de un dominio de E, diremos que f es diferenciable sobre . 1.12.- Dentro de distinguiremos dos clases: hiptesis: 1.- La aplicacin es biunvoca. 2.- Para todo X la aplicacin L tambin es biunvoca. b) Clase H2.- Son las aplicaciones de la clase H1 que adems son dos veces continuamente diferenciables sobre . 1.13.diferenciables. verifica: Todas las aplicaciones lineales son las aplicaciones diferenciables,

a) Clase H1.- Son las que verifican las siguientes

Pues si f es lineal, para cualquier origen O se

- = f(OX)-f(OX)= f(OX-OX)=f(XX)= f(dx) OX OX

y por tanto L=f uniforme satisface la ecuacin (2) en todo punto. Mencionaremos en particular la aplicacin idntica, que ser diferenciable por ser lineal. Su consideracin como aplicacin diferenciable es coherente con las propiedades conocidas de la magnitud vector de posicin. As pues, aplicando la ltima ecuacin utilizada, podemos escribir:

98

(O):

rX - rX = f(dx) = dx = XX

1.14.- Sea una aplicacin contnua y diferenciable en un dominio de E y dos puntos dados del mismo tales como A y N. Si la magnitud correspondiente es se verifica: (O)(O):

- = - ON OA ON OA

Efectivamente. Podemos suponer una lnea del dominio que une los puntos A y N con puntos intermedios B,C,..,M y por tanto tendremos: AN = AB + BC + ... + MN Esto suceder sea cual sea el nmero de puntos intermedios elegidos, y tambin por lo tanto, cuando este nmero crezca indefinidamente y la longitud dx de los segmentos tienda a cero. En estas condiciones tambin tender a cero la relacin por cociente entre numerador y denominador de la fraccin indicada por la ecuacin (2) para cada sumando. De ello se deduce que tambin tiende a cero la relacin por cociente entre la suma de numeradores y la suma de denominadores. Pero como la suma de denominadores es siempre la longitud de la lnea, longitud que supondremos finita, resulta que, en el lmite, la suma de numeradores ser nula, y por tanto podremos escribir:

N r r lim [ OX OX ] A

r L (dx)
X A

=0

Efectuando el primer sumatorio, y sustituyendo el smbolo LX por el factor contracto tensorial X equivalente, se tiene:

r r ON OA = lim

r (dx)
X A

Como el 2 miembro no vara al sustituir un origen por otro, lo mismo suceder con el primer miembro, como queramos demostrar. Esta ltima igualdad, para contnuo y diferenciable, suele escribirse omitiendo el origen, y aplicando la convencin que utiliza el signo , en lugar del signo habitual y de la indicacin de lmite, cuando este lmite se refiere a un nmero de puntos intermedios que creciendo indefinidamente en una lnea de unin entre dos puntos fijos, guardan distancias sucesivas que tienden a cero. Quedar as:

99

(3)

r r N - A =

r r dx

y el sumatorio del 2 miembro se lee: integral de desde A a N.

1.15.diferenciables. Otras observaciones sobre las aplicaciones

a) El campo de O y el campo de O' difieren en un campo uniforme, pues tenemos:

- = - = - OA OA OB OB OO OO = Cte. y esta constante, en el caso de tener OO=0, valdr OO.

b) Hemos hablado de campos y variables magnitudes en '1.07. Conviene sealar que, cuando existe una aplicacin contnua y diferenciable de E en F de imgenes , existen tantos campos de como puntos origen es posible adoptar, pero se conviene que la magnitud es comn y una sola. En cuanto al campo L determinado por f, hemos visto que es uno slo, el mismo con cualquier origen que se considere, y por lo tanto con cualquier campo de . Finalmente acabamos de ver que la diferencia entre dos campos de es un campo uniforme. 1.16.- Diferenciales. Previamente haremos observar, que en el lenguaje habitual, llamamos x y x+dx a los vectores OX y OX=OX+XX respectivamente, sin expresar el origen O adoptado. Nos referiremos ahora a una aplicacin f de E en F diferenciable y continua en un punto X, as como a la aplicacin lineal L que f determina en el punto X, segn se ha visto en '1.l1, y al factor tensorial contracto equivalente a L. Designaremos por la magnitud tensorial correspondiente a f. Utilizando otro punto X cualquiera de E, definiremos como diferencial de x en X, al vector variable XX de EX, designado habitualmente por dx, y que tomar un valor determinado para cada punto X que se elija. Definiremos como diferencial de en X a la siguiente variable tensorial: designaremos por d (4) d = LX(dx) = Xdx y lo

- = - OA OB OA OB

cuyo valor depende no solamente de f y de X, por sucederle esto a L, sino tambin de la eleccin de X, de la que depende dx. Por otra parte, no se altera con un cambio de origen en la identificacin de X. El orden tensorial de d coincide con el de . Podremos escribir: 100

r r N - A =

r d

manteniendo el significado de (3), es decir, que el sumatorio lmite indicado por el signo integral, se refiere a sumandos cuyo nmero crece indefinidamente y a segmentos con dx0. 1.17.- Integrales y derivadas (espaciales). De lo visto hasta ahora deducimos, que la existencia de un campo contnuo y diferenciable de orden tensorial m, implica la existencia correspondiente de otro campo , distinto, de orden tensorial m+1, ambos relacionados por la igualdad (3). De cualquier campo de integral de y del campo de que simplemente derivada de cuando

decimos que es un campo es la derivada espacial de , no puede haber confusin.

La implicacin recproca a la mencionada no es cierta, pues aunque siempre podemos admitir la existencia de un campo cualquiera, de ello no podemos deducir, en general, la existencia de un campo correspondiente y que sea contnuo y diferenciable. Por ello, entre las magnitudes puntuales arbitrarias , habremos de distinguir entre las integrables y las que no son integrables. Cuando no es integrable, es decir, que no corresponde al campo de las aplicaciones lineales L propio de una aplicacin contnua y diferenciable de E en F, las ecuaciones (3) y (4) no tienen el significado original. En consecuencia, y para evitar errores, en estos casos procuraremos no usar la expresin AN dx, ni escribir d ms que para referirnos a un diferencial. Advertimos que, evidentemente, la ecuacin (3) slo tiene sentido cuando es integrable. Si no es integrable el valor de la integral podr variar con la lnea de unin de las puntos sealados y tendr aplicacin en otras frmulas si se indica la lnea a considerar, por ejemplo de la siguiente manera:

r r dx

cuando se refiera una lnea l determinada y que leeremos a integral lineal de en l. Por otra parte, en lo que respecta a nombres, as como hemos llamado derivada de al tensor , llamaremos derivada direccional de respecto respecto a la direccin de un vector base cualquiera de E tal como ei, al tensor:

101

rr r ei = r ei
Estos nombres generalizan conceptos conocidos del Anlisis escalar, a los espacios n-dimensionales y a las variables tensoriales. Los conceptos originales siguen vlidos, pero ahora se refieren a casos particulares del concepto general.

El diferencial d podremos expresarlo en funcin de las derivadas direccionales si sustitumos en i (4) dx por su expresin } cualquiera su dual {e }: en una base {ei d = dxiei = dxiei
(5) que expresa parciales. d como

r r r i d = dx r = dxi r i ei e
suma de diferenciales direccionales

1.18.- Vector . Sea un campo contnuo y diferenciable en un punto X dado, al que nos referiremos. Por tanto X no es un punto singular del campo , y para l existe un diferencial d. Sabemos, por definicin, que en tal punto el valor d depende no slo del valor del campo y por tanto del campo sino que adems vara linealmente con el vector dx, que . independiente de de , es

Si la relacin de d con fuera lineal, hubisemos podido escribir para algn campo vectorial (de orden tensorial 1, como el de dx), la siguiente igualdad: (6)

d = (dx )

en la que no slo se mantiene la igualdad de orden tensorial entre y d, sino tambin la linealidad de d con dx y .

Pero an existiendo d, no siendo en general lineal la y d, no habr ningn vector posible. relacin entre
Al existir d no lineal con , vamos a ver qu condiciones debera reunir un ente , para que en general, y concretamente en la ecuacin (6), pudiera utilizarse con carcter vectorial, en lo que afecta a las operaciones propias del algebra tensorial intrnseca. Para hallarlas operaremos normalmente con como vector, y en primer lugar vamos a sustituir en la ecuacin (6), y dx por sus expresiones en cualquier base. Llamando i a iun supuesto coeficiente de en base {ei} y i en la base dual {e }, 102

tendremos: (7)

= eii = eii dx = dxiei = dxiei

d = (dxii) = dxi(i); d = (dxii) = dxi(i)

En segundo lugar, sustituiremos dx tambin en la , y tendremos: ecuacin (4) definitoria de d d = (dxiei) = (ei)dxi; d = (dxiei) = (el)dxi
De la comparacin entre esta ltima ecuacin y la obtenida anteriormente, resulta la condicin buscada: i = ei; i = ei que consiste en considerar que todo coeficiente de calculado como vector, difiere de un coeficiente vectorial normal en que no es un factor escalar, sino un operador de derivacin direccional sobre el mismo objetivo. El ndice de coincide con el de e en la derivada direccional correspondiente. 1.19.- El vector que cumple la condicin anterior, y al que denominamos nabla, es pues un vector simblico y nico, con el que se puede operar como con cualquier otro vector, excepto en el paso a valores numricos. Entonces sus coeficientes no actan como factores numricos sino como operadores de derivacin direccional de esta manera:

rr r i = ei =

r r ; ei

rr r i = ei =

r r ei

La ecuacin (6) que ha servido para definir a , se podr escribir ahora en la siguiente forma: (8) d = (dx) = ()dx = dx que permite utilizar no slo para definir un diferencial con contnuo y diferenciable, sino que tambin para definir una derivada y una integral: (9) Derivada de = = (10) Campo integral de = Campo + Campo uniforme k Es fcil ver que el vector (que se escribe sin flecha), se puede considerar nico y de campo uniforme, sea cual sea la magnitud sobre la que acte, y el punto de referencia adoptado.

103

2.- Utilizacin del vector . 2.01.- Bases de utilizacin. a) En el uso del vector no debe quedar duda de cul es la variable vectorial independiente, vector de posicin, sobre la que se ha definido tanto , como las aplicaciones contnuas y diferenciables que son su fundamento. Esta variable independiente se acostumbra a representar por x r. b) Al operar con sobre un tensor expresado como funcin de r y aplicado a un punto A, el sentido positivo para r debe ser el de OA, por lo que si ya se hubiera definido el contrario, deberemos cambiar el signo del tensor y utilizar r=-r, con lo que no vara su valor. El tensor que resulte, se considerar tambin afecto a A.

c) En un punto dado, las expresiones y (dx) coinciden respectivamente con las de los tensores derivada de y diferencial de , siempre que existan, es decir, cuando es una magnitud contnua y diferenciable en tal punto.
2.02.- Accin de sobre una suma =1+2. Sea = escalar y y escalares tales que =+. Por clculo diferencial escalar sabemos que, para cualquier coeficiente de , y =(+) escalares, se verifica:

(+) = +
Por consiguiente, para cualquier tensores, expresada por tendremos: (11) operacin entre

(1+2) = 1 + 2

En el caso particular de que uno de los trminos tensoriales p.e. 2 sea uniforme, se tendr: (12)

(1 + 2) = 1
2.03.- Accin de sobre un producto =().

Por clculo diferencial escalar sabemos que, para cualquier coeficiente de , y =() escalares, se verifica:

() = () + ()
De aqu puede deducirse, que dadas dos operaciones producto entre tensores de expresin y , tales que cada coeficiente del tensor producto de dos tensores es una suma finita de productos de un coeficiente de un factor por un coeficiente de otro factor, se verifica anlogamente: (13) 104

() = () + ()

En el caso particular de que uno de los tensores factores es uniforme tendremos: (14) (15) ( uniforme): ( uniforme):

() = () () = ()

2.04.- Sealizacin de tensores afectados por un vector determinado.. 1.- Si hay posibles dudas sobre en qu variables acta como operador de derivacin, habr que indicarlo expresamente, por ejemplo con un subrayado, tal como se ha hecho en el 2 miembro de la ecuacin (13).

As pues para la expresin (ab), en la que debe y b como operador de derivacin, y en virtud de actuar sobre a los prrafos anteriores, podremos escribir: (ab) = (ab) + (ab) = b(a) + (a)b
En el primer paso, nos hemos atenido exclusivamente a la ley de derivacion dada por (13), que consiste en separar variables y en el segundo a operar algebraicamente, y es fcil ver que hubiramos llegado al mismo resultado si primero operamos algebraicamente y despus separando variables. En la prctica, y a ser posible, se suele indicar el tensor afectado por escribindolo, en cada trmino, despus del signo , con lo que, en general, no hace falta signo especial. De esta manera y en el ejemplo que hemos puesto, el ltimo miembro quedara as: = b(a) + (a)b La sealizacin se hace indispensable cuando en las ecuaciones figura el vector nabla en mltiples posiciones y afectando en cada una a un tensor distinto. 2.05.- Vamos a poner un ejemplo en relacin con las consideraciones de simetra antisimetra de tensores. La expresin de un tensor por: ()() con y escalares, no ser la de un tensor 0-simtrico si el primer vector afecta slo a y el segundo slo a . Con esta expresin del tensor y segn la convencin ordinaria, el primer factor afecta slo al escalar y el segundo slo a . Si no fuera as, la expresin habra de estar claramente sealizada o transformada para que no hubiera dudas. Normalmente, para expresar que los dos afectan por 105

igual a y a , la expresin ms utilizada sera: ()() 2.06.- Del examen de la estructura de las derivadas emsimas de un tensor se deduce inmediatamente que son todas ellas tensores como mnimo m-simtricos:

()()

Pues se porta estructuralmente como un vector, y un vector, cuando es un factor tensorial repetido, define una simetra entre las posiciones que ocupa. 2.07.- Operadores. El vector se puede considerar como formando parte de un operador. Ya hemos visto:

(dx)

= Operador derivada espacial. = Operador diferencial espacial.

de los que se deducen los siguientes operadores mltiples:

m m = Operador derivada espacial emsima. (dx )(m) = Operador diferencial espacial emsima.
De ahora en adelante, no utilizaremos la palabra espacial, ms que cuando sea preciso para evitar confusiones. Definicin de otros operadores caractersticos de uso corriente: a) Campo escalar : 1. Gradiente de Grad 2. Laplaciana de = () = (=) = 2

b) Campo vectorial v:
1. 2. 3. 4.

Divergencia de v Div v Tensor rotacional de v (n=3) Tensor rotacional de v Rot v (n=3) Vector rotacional de v

= = = =

v v [(v)] ) = v (v

2.08.- Advertencia. En este texto, al escribir q , consideraremos continuo y q veces diferenciable y que la operacin es vlida. En consecuencia tambin tendremos:

i(j) = j(i)

ij = ji

3.- Derivacin de expresiones tensoriales. 3.01.- Algunas reglas deducidas de los prrafos anteriores para la derivacin de expresiones tensoriales que por 106

hiptesis consideraremos derivables: a) Derivada de una suma.

(+) = +
b) Derivada de un producto de escalares .

() = () = () + ()
c) Derivada del producto contracto de un escalar por un tensor no escalar.

() = () + ()
d) Derivada del producto contracto de dos tensores y no escalares y de igual orden.

() = () + () = () + ()
y slo en el caso de = y = tendremos:

() = () + ()
3.02.- Sera fcil demostrar que las derivadas del escalar resultante de operaciones escalares entre variables escalares o bien de funciones escalares de variables escalares, se efectan como en clculo diferencial ordinario, con la salvedad de utilizar el signo en lugar del smbolo ordinario de derivacin. Ejemplos:

( + ) = + () = () + ()

) ) ( - ( = 2 (sen ) = (cos )()

3.03.- Algunas expresiones generales fundamentales. Sea la variable independiente, n dimensin el tensor der la aplicacin idntica. Para la resulta: de E, y =r I (16) r=I; r=n; r=0; ()r=0; (rr)=2r; r=r-1r Efectivamente: Por (8):

r = I Por AT D'6.02-2 y AT D'4.11: r = I(r) = II= n Por AT D'1.13: r = r - (r)~ = I- I = 0 dr = (r)dr

107

 (I=unif. y sim)

()r = (r) = I = 0 (rr) = 2(rr) = 2(r)r = 2Ir = 2r

r = (rr)2 = 2(rr)-2(rr) = 2r-1(2r) = r-1r

3.04.- Derivada de un monomio m+pp de orden m y grado p x con independiente de x (uniforme). Si denominamos al componente m-simtrico de m+p tendremos m+pxp=xp y entonces:

(m+pxp)

= pxp-1

Pues para m=0, pxp es escalar y se verificar:

(pxp)= [(xx..x)]= p[(xx..x)] =p[(xp-1)x]= = p(xp-1)(x) = p(xp-1)I = pxp-1

Y para m0, anlogamente se tiene:

(m+pxp)= (xp) =(p)[(xp-1)x]

Multiplicando los miembros extremos vector v, como v es un escalar, se verificar: por cualquier

[(m+pxp)]v= p(v)[(xp-1)x] =p(xp-1)[(v)x] = = p(xp-1)[(x)v]= p(xp-1)(Iv)= p(xp-1)v y como v es cualquier vector, tendremos finalmente:
(17)

(m+pxp) = pxp-1

3.05.- Consecuencia de (17) es que la p-derivada del monomio anterior es: (18)

p (m+pxp) = p!

como se puede comprobar fcilmente por derivaciones sucesivas. 3.06.- Sea un tensor s de orden s y un tensor p+m de orden p+m. Se verifica la siguiente ecuacin entre componentes msimtricos: [(sp+m)]m = [(s)p+m]m + [s(p+m)]m Puesto que tenemos:

[(sp+m)]a1+s+p = (a)[(sas)(p+map)] = = [(a)(sas)](p+map) + (sas)[(a)(p+map)] = = [(s)p+m]a1+s+p + [s(p+m)]a1+s+p

y como por AT A'10.10 sabemos que dos monomios de 108 orden m son

equivalentes si y slo si los coeficientes tensoriales tienen el mismo componente m-simtrico, ello implica lo que queramos demostrar. Recordaremos que segn se vi en AT A'6.08, para m=0, el componente 0-simtrico de un tensor coincide con el componente totalmente simtrico. 3.07.- Ejemplos de utilizacin de la igualdad I=r. a) Otra demostracin de r= siendo un tensor uniforme (Igualdad demostrada en '3.04). Siendo I el tensor idntico (tambin uniforme), para cualquier vector a podremos escribir: a = (Ia) = [(r)a] = [(a)r] = (a)(r)=[(r)]a

y como a es un vector cualquiera, se tendr: = (r) =

y por lo tanto =r es una integral de y es la derivada =r. de b) Otra representacin de tensores istropos. Sabemos por AT A'7.02 que la expresin general de los tensores istropos es I I...I, en cualquiera de sus permutaciones de factores vectoriales. Como ahora por (16) tambin tenemos I=r, otra expresin general ser:

1r12r2...nrn
en cualquiera de sus permutaciones. En esta ltima expresin, los subndices slo indican a qu factor se refiere cada como operador de derivacin. El tensor de aplicacin idntica para tensores de orden n es:

12..nr1r2...rn
como es fcil comprobar multiplicando por un producto tensorial cualquiera de orden n.

3.08.- Tensores kxk (k-derivadas de xk respecto x)

Para simplificar y por no ser necesario por ahora, no escribimos un exponente .

Sabiendo que para los coeficientes de la igualdad x = I, se verifica:

jxi = i j
(smbolo de Kronecker) 109

 si examinamos los coeficientes de kxk, cuya expresin es:

ij...p(xqxr...xw) = ij..p(xqxr...xw)
qsea la de k derivadas direccionales sucesivas del producto (x xr...xw) de coeficientes de la variable x, veremos que cuando el conjunto de valores (i,j,..,p) coincide con el de los valores (q,r,...,w), la expresin vale 1 y que en los dems casos se anula. Podemos convenir en representar estas expresiones por:

(qr..w) (ij..p)

(smbolo de Kronecker mltiple)

Consideremos ahora los tensores kxk refirindolos a } y a su dual {ej}. Tendremos: una base {ei kxk = ij..p(xqxr..xw)(eij..peqr..w) = ij..p e = e P ij..p
refirindose el sumatorio a todas las s! permutaciones de los s ndices i,j,..,p. 3.09.- De la estructura de estos tensores deducimos: a) Son istropos. b) Existe simetra total entra los k primeros ndices as como entre los k ltimos ndices. c) Existe la siguiente simetra:
(qr..w) (ij..p)

(eij..peqr..w)=

kxk = xkk d) Para k=1, obtenemos el tensor fundamental I. 3.10.- Los tensores kxk son los que multiplicados por cualquier tensor de orden k, lo convierten, salvo un factor k! en su componente 0-simtrico o sea completamente simtrico.
Pues si es el componente 0-simtrico del tensor de orden k, podremos escribir:

(kxk) = (xkk) = k(xk) = k('xk) = k! 4.- Clculo del valor de un polinomio P en x, para =a+b en funcin de b y del valor para x=a de las sucesivas x derivadas del polinomio. 4.01.- Sea un polinomio P de orden p y de coeficientes p-simtricos uniformes, as como las sucesivas derivadas de P. P = + + 2 x x +..... + xm
0 1 2 m

(P) 2 ( P )
110

= =

+ 22x 22

+ .....+ + .....+

mmxm-1 m(m-1)mxm-2

... (mP)

= =

............ m!m

Los valores de s la s-derivadas para x=a, divididos por s! y multiplicados por b , resultan: rr Pa = 0 +
3 r r 1 r r 2 r r m r r + ... + m am + 3a3 1a + 2a2 0 0 0 0 r 3 r r r m r r 2 r r r 1 r r ( ( 1 b + 2 a b) + 3 a2 b) + ... + m(am-1 b) 1 1 1 1 r 3 r r m r 2 r r 2 + r3 a b2) + . . . + r m(am-2 b2) 2 b ( 2 2 2
...............

r r 1 r ( P) b = a 1! 1 2 r r2 r ( P) b = a 2!
......

1 m r rm r ( P) b = a m!
y sumando miembro a miembro:

m r r m mb m

r r 1 1 2 r r2 1 m r rm rr r r r Pa + ( P) b + ( P) b + ... + ( P) b = a a a 2! m! 1! rr r r r r r r r r2 r r rm = 0 + 1 a+b) + 2 a+b) + ... + m a+b) = Pa+b ( ( (

Queda pues:

r r 1 1 2 r r2 1 m r rm rr r rr r r r Pa+b = Pa + ( P) b + ( P) b + ... + ( P) b a a a 1! 2! m! Para a=0 y para cualquier valor x de b, tenemos: r r r r r r r 1 1 1 r P = P0 + (1 P) x + (2P) x2 + ... + ( m P) xm 0 0 0 1! 2! m! y como esta expresin ha de ser igual a la de P original, comprobamos que se verifica: r = r; 0 P0 r r = 1 ( sP ) s 0 s!

111

5.- Integrabilidad espacial.

5.01.- Sea una magnitud tensorial de un orden s mayor que O (o sea una magnitud no escalar), dependiente del punto X y por consiguiente de una variable vectorial r.
Esta magnitud ser integrable en un dominio de , si y r slo si, en tal dominio puede expresarse en la forma = . Ya ms hemos visto que entonces la integral espacial de es cualquier tensor uniforme de integracin, y se verificar:

= ;

r r dr = +

Si no es integrable, la primera de estas expresiones no podr ser cierta para ningn tensor , y la segunda no tiene sentido como expresin de una integral espacial y encuentra su aplicacin solamente para una operacin llamada integral de lnea. En '1.17 vimos que para ser integrable , el valor de la integral de lnea entre dos puntos solamente ha de depender de los mismos y no de los sumandos. Esto significa que si y slo si para cualquier circuito cerrado se verifica: r r r dr = 0

es integrable. 5.02.- Teorema. Un tensor diferenciable, de orden si y slo si, en el mismo, s>0, es integrable en un dominio de r es un tensor con simetra 1-2 ([s-1]-simtrico). Efectivamente. Si y slo si es integrable, podr , que =, y si y slo si es adems escribirse para algn diferenciable existir el tensor:
y ste tiene simetra 1-2, sea entre 1 y 2 posicin. 5.03.- Consecuencias. 1.- Cuando la magnitud tensorial considerada sea un vector v, y expresando con v el tensor transpuesto de , la v condicin de integrabilidad toma la siguiente forma:

v es tensor simtrico
2.- Si adems condicin se reduce a el

v=v
es

v = 0
la

espacio

tridimensional,

v = 0
112

 y cuando se cumple, decimos que el campo de v es potencial irrotacional.

3.- Una variable tensorial de orden s ser p veces integrable, si y slo si es un tensor (s-p)-simtrico. Puesto que deber verificarse:

():

= (1+p)

4.- Si la magnitud considerada es de orden 0 (escalar), nunca es integrable en espacios de ms de una dimensin, pues si por ejemplo la magnitud es , no puede existir ningn tensor tal que verifique

=
ya que el primer miembro de esta igualdad es de orden 0 y el orden mnimo del segundo es uno.

50.- La derivada de cualquier tensor uniforme es nula por definicin y en consecuencia es un tensor simtrico. En virtud del ltimo teorema, tendremos pues que todo tensor uniforme es integrable.
Segn ya vimos en '3.07, su integral es:

r +
5.04.- Condicin de congruencia de St. Vnant. Aplicando la condicin general de integrabilidad a un tensor de segundo orden, tendremos que para que un tensor sea una derivada y se pueda expresar por =w siendo w alguna magnitud de punto vectorial ser posible si y slo si

tiene simetra 1,2.

Anlogamente, para que un tensor de 2 orden se pueda expresar como el transpuesto de una derivada, la condicin ser

= tensor con simetra 1,3

En el espacio tridimensional geomtrico, y siendo el tensor de Ricci, podemos expresar la primera condicin con notacin einsteniana de la siguiente manera:

ijk(ijs) = 0
y la segunda condicin por:

rst(rjs) = 0
A la vista de las condiciones anteriores resulta que la condicin necesaria y suficiente para que pueda ponerse como funcin lineal de las dos formas anteriores es: 113

ijkrst(irjs) = 0
condicin de congruencia de St. Vnant. 5.05.- Para tensores de 2 orden en un espacio tridimensional, es fcil deducir de lo que acabamos de decir, lo siguiente: a) Si es el tensor transpuesto de , un tensor v v se puede expresar por v + v si, y slo si, es un tensor simtrico que cumple la condicin de St. Vnant. b) Si es el tensor transpuesto de , un tensor v v se puede expresar por v = v - v si, y slo si, es un tensor antisimtrico que cumple la condicin de St. Vnant.

114

 6.- Funciones de funcin de x.

6.01.- Vectores distintos. Hemos visto que en la definicin del vector en un punto interviene la derivacin respecto a una variable vectorial de referencia que ha sido llamada x, radio vector, que determina el punto mediante un espacio vectorial E y un origen dados. Si consideramos otra variable de referencia distinta de la anterior que podemos llamar y, podr definir un vector nabla ' tambin distinto del que hemos visto, pero que respecto a y . representar lo mismo que respecto a x 6.02.- Sea una magnitud tensorial funcin del vector siendo y una funcin de x. y Tendremos: Derivacin respecto a Derivacin respecto a y por lo tanto:

y: : x

d = ()dy = ( y)dx dy

d = ()[(y)dx]
6.03.- Vamos a examinar algunos casos.

a) es un vector v. Como y y son de 2 orden, se verificar: dv = (v)[(y)dx]

b) es un escalar .

v = (v)(y)

d = ()[(y)dx] = (y)(dx ) = = {(y)~}( dx) = [{(y)~}()]dx = {(y)~}()

c) es cualquiera. Si tenemos verificar:

y=kx+v con v constante, se

y = k(x) = kI d = ()[(y)dx] = ()(kIdx) = k()dx = k() = k

d) Aplicacin del caso anterior a = yp = (kx+v)p con m-simtrico de orden m+p. 115

 = '(yp) = pyp-1 [(kx+v)p] = k() = kp(kx+v)p-1

y tambin tendremos:

m[(kx+v)p] = kpp!
6.04.- En virtud de c) en el prrafo anterior, tenemos:

y = x + v(uniforme)

Este resultado nos confirma que en un espacio puntual afn, si conservamos E, no vara con un cambio en la eleccin de punto origen.

116

7.- Campos vectoriales particulares en un espacio puntual afn n-dimensional. 7.01.- Campos solenoidales.

Llamamos as a los campos vectoriales v no uniformes, = 0, sea divergencia nula, en todos los puntos que verifican v no singulares.
7.02.- Campos irrotacionales potenciales.

Es todo campo vectorial w no uniforme que verifica w =0 en todos sus puntos no singulares. Vamos a ver que un campo vectorial w ser irrotacional es integrable, es decir, si existe un escalar si y slo si w integral de w, sea, tal que w=. Como la derivada de un escalar se denomina tambin gradiente del escalar, la ltima igualdad se puede expresar diciendo que w es el gradiente de . Pues sabemos que w es integrable si y slo si w es =0. simtrico, sea si w
Por consiguiente una propiedad caracterstica de los campos irrotacionales w es que para cualquier circuito cerrado verifican:

wdl = 0
7.03.- Campos armnicos.

Denominaremos armnico un campo v, cuando sea a la vez irrotacional y solenoidal, sea, en el que el vector satisface v a la vez a las dos relaciones: v = 0; v = 0 Para un campo armnico v, siempre existirn campos integrales que difieren en un escalar uniforme y que todos ellos verificarn: 0 = () = (laplaciana de )
ecuacin de Laplace. Recprocamente, a todo campo escalar que cumpla la igualdad anterior, corresponder un campo =v que es armnico. 7.04.-

Campo vectorial rrs.

Vamos a estudiar qu valores no nulos ha de tomar s, para que la divergencia de este vector sea uniforme, en todo punto no singular.

117

Para ello calcularemos la divergencia del vector, y teniendo en cuenta las ecuaciones (16) obtenemos:

[rsr] = r[rs] + rs[r] = r[srs-1(r)] + rsn = = r[srs-1r-1r] + rsn = srs + rsn = rs(s+n)
y a la vista del resultado, si no tenemos en cuenta el valor s=0, slo ser uniforme la divergencia cuando tengamos s=-n, y entonces la divergencia es nula y el vector buscado es r-nr, que verifica: (19)

(rr-n) = 0

En consecuencia, el campo vectorial r-n es solenoidal, r excepto para el origen de r por ser un punto singular. Tambin es irrotacional, sea que corresponde a un gradiente. Pues se verifica: (20)

r-nr = -(n-2)-1r-(n-2)

Efectivamente, teniendo en cuenta las ecuaciones (16), y lo que en '3.02 se dijo sobre operaciones entre escalares, para r0 resulta:

-(n-2)-1r-(n-2) = -(n-2)-1[-(n-2)]r-(n-1)r = r-nr

El campo estudiado, para s=-n, es pues tambin irrotacional y en consecuencia armnico, excepto para el punto r=0. La propiedad (20), en un espacio tridimensional, se podr expresar as:
r r
r
3

= -

1 r

118

B. VARIEDADES. INTEGRACION. 1.- Variedades y cuerpos. 1.01,- Definicin de variedad lineal. Sea E el espacio vectorial correspondiente a un espacio puntual afn E n-dimensional. Llamaremos variedad lineal de m dimensiones de E (mn) a toda parte Em de E tal, que para cualquier punto A de ella, el conjunto {A,Em} corresponde a todos los sentidos de un subespacio m-dimensional de E. 1.02.- Variedad lineal tangente a una parte E' de E, en uno de sus puntos A. Sea t un valor escalar determinado y E el conjunto de puntos X de E tales que, llamando x a AX, verifican x<t, y consideremos el conjunto de sentidos de los vectores (A,E ). Si al tender t a cero, este conjunto tiende coincidir con el conjunto total de sentidos de un subespacio Em m-dimensional de E, diremos que la tangente a E por A, es la variedad lineal que conteniendo a A, corresponde a Em. 1.03.- Variedad contnua en general. Para nm, llamaremos variedad continua m-dimensional de E n-dimensional, a toda parte Vm de E que tiene una tangente mdimensional en todos sus puntos. 1.04.- Segmentos de variedad contnua m-dimensional. Son partes de una variedad. Tendrn tangente en todos sus puntos, excepto en los puntos D de discontinuidad o frontera. No obstante, para estos puntos D, consideramos tangente la tangente lmite de los puntos D prximos, cuando DD0. 1.05.- Nombres particulares. Respecto a algunas variedades de un espacio afn ndimensional, usaremos algunos nombres que vamos a sealar. Superficies: Variedades de dimensin n-1. Lineas: Variedades unidimensionales. Planos: Variedades lineales de dimensin n-1. Rectas: Variedades lineales unidimensionales. El nombre de volumen se generaliza desde su origen tridimensional a cualquier dimensin. Llamaremos cuerpos m-dimensionales a los segmentos de variedad m-dimensional, simplemente cuerpos cuando m=n.

119

2.- Politopos y tensores totalmente antisimtricos. 2.01.- Sea el conjunto {A,B,C,..,M} de s+1 puntos de un espacio puntual s-dimensional, y tomando uno de ellos A cualquiera como referencia, consideremos en E los s vectores AB, AC,..., AM definidos por A y los dems puntos. Estos vectores determinan un tensor V = AB AC ... AM que es totalmente antisimtrico y al que, segn Algebra A'5.26 llamaremos tensor volumen de {A,B,C,..,M}. Por otra parte es evidente que tal conjunto basta para determinar un politopo, que tiene sus puntos por vrtices, o sea un (s+1)-topo. El tensor V es un invariante del conjunto, pues para otro punto de referencia, por ejemplo el punto B, se verificar:

BABC..BM = BA(BA+AC)..(BA+AM) = BAAC..AM = V

y los valores son iguales, salvo el signo en su caso. Por ser el citado tensor un invariante del conjunto, las magnitudes que derivan de l, como por ejemplo el escalar volumen del tensor que hemos estudiado en A'5.27, volumen del paraleleppedo determinado por el conjunto de puntos, dependern para su medida solamente de la unidad adoptada. Sealaremos aqu sin demostracin, extradas de la geometra ordinaria por extensin, las propiedades ms conocidas de los politopos pertenecientes a una variedad s-dimensional del espacio puntual n-dimensional (sn). 1.- Un (s+1)-topo es el politopo ms sencillo que se puede considerar en una variedad lineal s-dimensional. Viene determinado por s+1 puntos del espacio puntual afn. Para s=1, es un segmento (2 vrtices y 2 caras puntuales opuestas que coinciden con los vrtices). Para s=2, es un tringulo (tres vrtices y 3 caras opuestas segmentos). Para s=3, es un tetraedro (4 vrtices y 4 caras opuestas tringulos). Para s=4, es un 5-topo (5 vrtices y 5 caras opuestas tetraedros). Y as sucesivamente. En el caso general, para el valor s, es un (s+1)-topo, que tiene s+1 vrtices y s+1 caras opuestas. Cada cara se puede considerar un s-topo perteneciente a una variedad lineal de s-1 dimensiones. 2.- Un paraleleppedo, perteneciente a una variedad lineal s-dimensional, puede descomponerse en un conjunto de s! (s+1)-topos adyacentes todos de igual volumen, y uno de ellos 120

generado por los mismos vectores que el paraleleppedo. 3.- Un (s+1)-topo es el nico politopo que puede considerarse una pirmide teniendo el vrtice en cualquiera de sus vrtices. 4.- Correspondiendo al baricentro de la geometra ordinaria, llamamos centro de un (s+1)-topo al punto cuyo vector de posicin es la suma vectorial de los vectores de posicin de sus vrtices respecto a cualquier origen, dividida por s+1. 2.02.- Como consecuencia de los prrafos anteriores, y recordando Algebra A'5.26/8, si tenemos una variedad lineal sdimensional, y una base {ei} del subespacio correspondiente, al tomar por origen un punto de la variedad, sus vectores determinan en ella un paraleleppedo de tensor volumen: (21) V = e e ..e
s 1 2 s

y un (s+1)-topo de tensor volumen: (22)

r Vs = 1(r r ... r ) e1 e2 es s! s!
Por lo visto en PA A'5.28, el volumen escalar ser:

(23)

1 r r r (e1 e2 ... es) s!

calculado para un espacio s dimensional. Los centros de cara del (s+1)-topo sern: (24)

Cara base: Caras laterales :

r r r r e1+e2+ .. +es r = s r r ei r ri = r s

(25)

Esta ltima expresin corresponde a la cara lateral "opuesta a ei". 2.03.- TEOREMA 1. La suma de los tensores volumen de las caras frontera de un politopo es nula si se definen de manera correcta, es decir, cuando determinada una sucesin positiva de vectores base, quedan determinadas las sucesiones que deben considerarse, para los factores tensoriales correspondientes a cada cara. Aqu, para un (s+1)-topo de una variedad lineal sdimensional con s>1, que suponemos generado por s vectores independientes ordenados (ei}, se han elegido las siguientes expresiones generales:

Caras opuestas a ei para i desde 1 a s-1:

121

r i =

1 r r r r r e1 ... ei-1 es ei+1 ... es-1 (s-1)!

Cara opuesta a es:

1 r r r r e1 e2 ... es-1 s = (s-1)!

Base:
r =

1 r r r r r r (e1-es)(e2-es)...(es-1-es) (s-1)!

Y de las expresines anteriores, efectivamente se deduce:

r =

1 (s-1)!

s-1 r r r r r r r r ( e1 e2 .. es-1 - e1 ... ei-1 es ei+1 .. es-1) 1 s-l r r = - s - i 1

(26)

r r + s +

s-1

ri

= 0

2.04.- TEOREMA 2. Para las caras laterales del politopo anterior (s>1), se verifica:

v v v v ei1 = e22 = ... = ess = sV; eii = sV siendo V el tensor volumen del politopo, sea:
r sV =

1 r r r e1 e2 ... es (s-1)!

Pues se verifica:
r r 1 r r r r r 0 s-2 v e11 = e1 ( s-2 es e2 e3 ... es-1 = (1) 1) sV = (1) sV (s-1)! r r 1 r r r r r 1 s-2 v e22 = e2 ( s-3 e1 es e3 ... es-1 = (1) 1) sV = (1) sV (s-1)!

y as sucesivamente.

Por otra parte, una vez descompuesto sVen sumandos productos tensoriales, tendremos que los que empiezan por e1 son 1, los que empiezan por e son los de e 2, y as v los de e1 v 2 2 sucesivamente. En cuanto al signo, tendrn el mismo que los
122

 v v sumandos correspondientes de las expresiones ei1, e22, que hemos visto en el ltimo prrafo. Llegamos de esta manera al siguiente resultado:

v v (e11) = eii = sV

2.05.- TEOREMA 3. Dado el politopo anterior, sea para cada cara un producto tensorial, el primero de cuyos factores es el vector de posicin de su centro y el segundo su tensor volumen. El sumatorio de estos productos es igual al tensor volumen del politopo, y el resultado no vara con el origen adoptado para los vectores de posicin. Adoptando primeramente como origen un vrtice, consideremos a un (s+1)-topo de una variedad lineal s dimensional, generado por s vectores independientes {ei}, y sea i r el vector de posicin del centro de la cara opuesta a ei de tensor volumen i. En cuanto a la base supongamos que r es el v su tensor volumen. Podremos vector de posicin de su centro y v escribir:

r 1r r 1r r r ei ri r r r r r r ri r r ( ri +r = (r- ) +r = r + i) - (ei i) = - (ei i) s s s v puesto que la suma de tensores volumen es nula.

Pero acabamos de ver que para cualquier valor de i, v eii = sV y sustituyendo se tendr: v v (27) r i + r = V
i

Tomando en vez de O, otro punto O de referencia con OO=a los nuevos vectores de posicin de los centros seran:

r'i = ri + a;
y por lo tanto:

r' = r + a

v v v r'ii + r' = (ri+a)i + (r+a)i = v v v v v = rii + r + a[i+] = rii + r v v

y obtenemos el mismo resultado. 2.06.- Superficie polidrica cerrada. En un espacio puntual n-dimensional, denominaremos superficie polidrica cerrada de s dimensiones, para s<n, a toda reunin de (s+1)-topos disjuntos que se caracterizan porque toda cara es comn a dos (s+1)-topos y slo a dos. Este es el caso de la superficie de un poliedro 123

ordinario del espacio tridimensional, cuyas caras son tringulos polgonos compuestos de tringulos adyacentes y cuyas aristas son comunes a dos caras y solo a dos. 2.07.- Signos de los tensores-volumen de las caras. Hemos visto que el signo de un producto exterior no nulo, viene dado por el signo atribudo al orden de sucesin de sus vectores (que entonces son independientes), y por lo tanto lo mismo sucede con el signo de los tensores-volumen en general. Se demuestra que slo hay dos formas opuestas de asignacin correcta de signos de las caras de los politopos, tal que se verifique al mismo tiempo: a) Que el sumatorio para cada (s+1)-topo sea nulo, tal como ya hemos visto antes. b) Que para cada cara comn a dos politopos, el tensor volumen de esta cara sea de signo distinto segn se considere perteneciente a uno u otro politopo. c) Si un conjunto de signos asignados satisface condiciones anteriores, stas tambin son satisfechas si cambia el signo de todos y cada uno de los elementos conjunto, y con ello el sentido de la sucesin positiva de vectores. las se del los

2.08.- Sea un poliedro de un espacio s-dimensional. Consideremos el conjunto de (s+1)-topos con vrtice en un punto dado cualquiera y cuya base es cada cara (s-topo) del poliedro, y adoptemos este vrtice comn como origen. TEOREMA 4.- Si j es el tensor volumen de una cara del v poliedro, rj el vector de posicin del baricentro de esta cara y V es la suma de los tensores volumen Vj de los (s+1)-topos considerados, se verifica:

V
V
r

v = V = rjj

Puesto que por (27) tenemos:

j

(r )
i

ri

(r )

r r

v y como por el prrafo anterior, (rii)j es nulo, queda: V =

v = rjj

Como el valor de V no vara con el origen elegido, es un invariante de la superficie cerrada y del poliedro, al que denominaremos tensor volumen del poliedro.
El orden tensorial del tensor volumen del poliedro es 124

superior en una unidad al de los tensores volumen de sus caras y es el mismo que el de los tensores volumen de los (s+1)-topos que lo componen, pues es su suma. A la superficie cerrada tambin se la llama frontera del poliedro. 2.09.- Sea una superficie cerrada s-dimensional S cualquiera, que pueda ser considerada como lmite de una superficie polidrica cerrada s-dimensional inscrita, cuando al tender a cero el mdulo de sus caras aumenta sin lmite el nmero de las mismas. Diremos en este caso, que el cuerpo geomtrico del que es frontera tal superficie cerrada, es tambin el lmite del poliedro original. Tambin diremos que el tensor volumen V del cuerpo geomtrico es el lmite del tensor volumen del poliedro, y su valor ser:
r V =

(rd)
s

expresin en la que el volumen de la cara situada en r se ha , el signo integral manifiesta que el lmite representado por dv considerado es anlogo al de (3), as como el que el sumatorio se efecta para la superficie S.

125

3.- Magnitudes de volumen. 3.01.- Sea un espacio puntual n-dimensional con una magnitud de punto tensorial contnua e integrable, dependiente de x vector de posicin, y sea una variedad m-dimensional (mn) del mismo a la que pertenece un cuerpo geomtrico de tensor volumen V, continuamente diferenciable y que suponemos divisible indefinidamente en partes fracciones. Si i es el valor dei en un punto de una parte i del cuerpo con tensor volumen dV , se demuestra que el sumatorio dVi, al aumentar indefinidamente el nmero de fracciones, y i disminuir al mismo tiempo el valor de cada dVi tendiendo todos ellos a 0, tiende a su vez a un lmite, que es independiente de la posicin del punto escogido en cada fraccin. Escribiremos:

Q = idVi =

r r dV ;

dQ = dV

y diremos que el sumatorio es la integral de volumen de en el dominio y que define una magnitud Q de volumen m-dimensional. Para este tipo de definicin, en vez de un tensor volumen V m-dimensional, tambin podramos haber utilizado su tensor polar V el volumen escalar V. En el ltimo caso, la corresponde a la densidad puntual de Q. magnitud
3.02.- Si el cuerpo constituye la totalidad de una variedad m-dimensional en un espacio de dimensin n(m+1), como es el caso de una lnea cerrada, la superficie de una esfera, o la superficie frontera de cualquier otro cuerpo, sustituiremos las expresiones anteriores por

r r dV
que llamaremos integral circular y que representa una integracin en las condiciones mencionadas, para distinguirla de las dems integraciones que llamaremos abiertas.

3.05.- Las magnitudes de volumen que se refieren a las variedades (n-1)-dimensionales superficies, y a su vector superficie (AT C'5.31) = s, se denominan, en general, magnitudes de superficie.
3.06.- Advertencia. En lo sucesivo trataremos de ecuaciones diferenciales del modo clsico conocido, es decir, refirindonos a valores llamados infinitesimales de los diferenciales tiles para la posterior integracin, que en principio consideraremos posible.

126

4.- Frmulas de Stokes y de Ostrogradski. 4.01.- Sea en el campo de un tensor variable de cualquier orden, una superficie cerrada infinitesimal de s dimensiones (0<s<n), que determina i un tensor volumen dV, y cuyas caras tienen por tensor volumen d . Tomando por origen un punto v infinitamente prximo a las caras para el que el tensor es 0, sea ri el centro de la cara di en donde el tensor es i. v Para ri 0, podremos escribir:

di = [ +()r ]di = di + [()r ]di = i v 0 i v 0 v i v = ()(ridi) = ()dV = (dV) v

El valor obtenido es independiente del origen de radios vectores adoptado. Si la superficie cerrada es finita el sumatorio para ella no vara si, en lugar de la superficie cerrada original, consideramos un conjunto infinito de superficies cerradas adyacentes infinitesimales, cuya frontera sea la superficie cerrada dada y sumamos los valores obtenidos para idi en cada v una de las superficies cerradas de este conjunto. Esto nos permite escribir: (28)

d = (dV ) = ( ) dV
V V

r r

expresin que se denomina frmula de Stokes. Esta expresin generaliza la de la integracin ordinaria, que resulta de Stokes para s=0 y volumen unidimensional (linea AB), si consideramos que su frontera de dos puntos A y B, es una superficie cerrada con valores B=1 y A=-1: v v

- = B A

( )dr
A

4.02.- Casos particulares del espacio tridimensional. El tensor es un vector v escalar y la superficie cerrada = dI). es unidimensional (dv Como para un tringulo (Algebra C'8.05) se verificar: dV = ds

siendo ds un vector normal al tringulo de mdulo igual al rea del mismo, tendremos por consiguiente:
(29)

vdl

r r

(ds)v
S

(v)ds
S

(Rot v)ds
S

127

(29')

dl

(ds)
S

ds()
S

ds(Grad )
S

La igualdad (29) suele expresarse as: "La circulacin de un vector a lo largo de una lnea v cerrada es igual al flujo de Rot v a travs del circuito". 4.03.- Sea un (n+1)-topo de volumen escalar V en un espacio n-dimensional generado por una base (ei) con origen en un vrtice. Sea v el tensor volumen de su base con centro , y para r sus caras laterales de centros ri sean vi los tensores volumen correspondientes. De acuerdo con '2.03 tendremos:
(i de 1 a n-1) : 1 r r r r r e1 .. ei-1 en ei+1 .. en-1 (n-1)! 1 r r r r e1 e2 ... en-1 n = (n-1)! r r = - i (i de 1 a n) : r i =

y teniendo en cuenta que:

V =

1 r r r (e1 e2 ... en) n!

y que el volumen escalar del prisma generado por la base es n!V, los vectores polares s correspondientes son segn AT C'5.32:
1 r r r r r r r (i de 1 a n-1) si = : (e1 .. ei-1 en ei+1 .. en-1)= -nVei (n-1)! 1 r r r r r (e1 e2 ... en-1) = -nVen sn = (n-1)! (i de 1 a n) r s = r nVe
i

Los vectores s son llamados vectores superficie. Son ortogonales a la cara y su mdulo es el rea (Algebra C'5.31).
4.04.- Teorema. En el (n+1)-topo anterior se verifica: (i de 1 a n): r si + rs = VI
i

siendo I el tensor unidad.

Efectivamente, para i de 1 a n tenemos:

128

r r r r r r r ri + rs = - r- ei nV ri + rnV( ri)= V(r ri) = VI e ei e ri s e n

y este valor es independiente del origen adoptado. 4.05.- Siguiendo anlogos razonamientos que para obtener la frmula de Stokes, sea en un campo tensorial una superficie cerrada infinitesimal (de n-1 dimensiones) que determina un volumen escalar dV y cuyas caras tienen vectores superficie dsi. Tomando como origen un punto infinitamente prximo a las i caras para el que el tensor es 0, sea ri el centro , en donde el tensor es . Al tender a cero todos de la cara ds i los vectores ri, podremos escribir:

dsi = [ + ()r ]dsi = (dsi) + [()ri]dsi = i 0 0 i = ()(r dsi) = ()dV I = ()dV

i

pues al agregarse superficies los ds se suman.

Procediendo anlogamente a la obtencin de la frmula de Stokes, deducimos ahora: (30)

ds

r r

()dV
V

(dV)
V

expresin que se denomina frmula de Ostrogradski o de Gauss. Obsrvese que las expresiones que siguen al signo integral, son las mismas slo que sustituyendo ds por dV. 4.06.- Caso particular del espacio tridimensional. El tensor es un vector v: (31)

vds

r r

(v)dV
V

En este caso la frmula suele expresarse as: "El flujo de un vector v a travs de una superficie cerrada es la integral de la divergencia de v en el volumen que determina." 4.07.- Sea una superficie cerrada s-dimensional que determina un volumen de tensor V, y cuyos (s+1)-topos infinitesimales tienen por tensor volumen a di y por centro ri. v

a) Si v es cualquier vector y es cualquier tensor, ambos uniformes o sea de campo uniforme, por ser y i del mismo v r orden tensorial, podremos escribir: v (32) (vri)(di) = (ridi)(v) = V(v) = (vV) v
b) Si es un tensor uniforme del orden de dvi y es un tensor uniforme cualquiera, tendremos anlogamente:

129

(33)

(ri)(di) = (diri)() = V() = (V ) v v

y el signo variar si (ridi) es de signo opuesto a (diri). v v c) Si en el caso a) v y no son uniformes pero continuos, la frmula (32) solo sera vlida para los ri tendiendo todos a 0. Lo mismo ocurrira con la frmula (33) si los tensores afectados fueran y .
d) Caso particular. El espacio es tridimensional y la superficie d se reduce a una lnea dl. v Tendremos V = (S), siendo S el vector superficie correspondiente al contorno y las ecuaciones (32) y (33) cambian as: (34) (vr )( dli) = (Sv)
i

(35)

(ri)(v dli) = (Sv)

4.08.- Sea una superficie cerrada (n-1)-dimensional de escalar volumen V y cuyos n-topos elementales tienen por vector superficie dsi y por centro ri. Si y son escalares, se verifica: (36) cualesquiera tensores uniformes no

(ri)(dsi) = V

Pues si descomponemos ambos tensores en sumatorios de productos tensoriales vector-tensor, podremos escribir: = v j; = w k j k k i i j (ri)(ds ) = [(vj )ri][(wk )ds ] = (vjri)(wkdsi)jk = = [(ridsi)(vjwk)]jk = [VI(vjwk)]jk = = V(vjwk)jk = V(vjj)(wkk) = V Si algn tensor uniforme fuera de orden 0 (escalar), por ejemplo =, el problema se solucionara sustituyendo por I y multiplicando por , pues tendramos: r = r = Ir = (Ir ) i i i i Para y variables continuas, solo ser vlida la frmula cuando todos los ri tiendan a cero.

130

5.- Integraciones en general. 5.01.- Cuerpos. Aunque, originalmente, un cuerpo es todo segmento de la variedad contnua n-dimensional que constituye la totalidad del espacio puntual afn objeto de nuestro estudio, aqu extendemos el concepto a todo segmento de variedad contnua m-dimensional (mn) y lo llamaremos cuerpo m-dimensional. Slo consideraremos cuerpos contnuos. 5.02.- Frmula de Stokes. Recordaremos que relaciona una integral abierta de r r volumen dV de un cuerpo m-dimensional (1<mn), con una V r r integral cerrada de volumen d correspondiente a su frontera (m-1)-dimensional, de esta manera: (37)

(=):

r r

r r dV

Sabemos que todo tensor contnuo y diferenciable en V, es aplicable al primer miembro, mientras que no es posible hacerlo con cualquier tensor en el 2 miembro, ms que en el caso de que se pueda expresar en V, por = para algn tensor , que entonces ser un tensor integral de . Dos tensores y son equivalentes a este efecto, sea que verifiquen == y que por tanto ambos sean integrales de , si y slo si su diferencia - es un tensor uniforme. Tambin sabemos por A'5.02 que un tensor diferenciable es integrable si y slo si es un tensor (m-1)simtrico. Sealaremos por fin, en general, que las operaciones indicadas para se supondrn siempre vlidas a no ser que exista imposibilidad de efectuarlas. 5.03.- Aplicacin de Stokes a una variedad contnua cerrada. Dado que una variedad cerrada se puede considerar como lmite de un segmento de variedad. cuando su frontera se reduce y tiende a anularse en un punto, si aplicamos a ella la frmula de Stokes el primer miembro se anula para cualquier y resulta la siguiente expresin:

(=):

dV

r r

r = 0
131

 sea que en un cuerpo cualquiera, la integral de un tensor , en su frontera, si es integrable, es siempre nula. Ejemplo 1.- = Tensor de la aplicacin idntica para tensores de orden m.
Hemos visto en A'3.07b que es un producto tensorial cuyo primer factor es y por tanto integrable. Como ahora =V, V se tendr: (38)

dV

r = 0

Ejemplo 2.- Sea V el tensor polar de V y el tensor

de Ricci. (39)

r dV =

r 1r r 1r r dV = dV = 0 m! m!

5.04.- Integracin. Sean en un espacio puntual afn ndimensional, tres segmentos de variedad contnua m-dimensional con n>m>1, de elementos de volumen dV, que entre los tres, forman una variedad cerrada frontera de un cuerpo (m+1)-dimensional.

2 2 1 A 1

Uno de los segmentos A, es tubular, limitado a la vez por dos variedades cerradas 1 y 2, (m-1)-dimensionales. De los otros dos, uno (el 1) est limitado por la variedad 1 y el otro por la variedad 2. En virtud del prrafo adecuadamente, se verificar: anterior y si integramos

(=):

r r dV =

r r dV

r r dV

Designando por flujo de a travs de V, a las integrales VdV, podremos escribir:

132

(40)

r r A = ( )dV = 2 - 1 = A

2 1

Podemos observar que la operacin que acabamos de describir, es anloga a la integracin ordinaria, aunque ahora los trminos no se refieren a aplicaciones puntuales sino a aplicaciones a variedades cerradas tal como 1 y 2, de dimensin inferior a la de V en una unidad. Aqu, el valor de cada trmino no vara si conservamos las fronteras 1 y 2 aunque cambien los segmentos. Pues cambiando, por ejemplo, el segmento 1 por otro 1 cualquiera pero con igual frontera, y sin cambiar los otros dos, tendremos:
0 = 2-1- A = 2- 1- A 1 = 1

Esta integracin, que para A corresponder a segmentos infinitesimales de tubo, slo se puede aplicar a cuerpos lineales (m=1), admitiendo que una lnea es un cuerpo, cuya frontera son dos puntos extremos y que los puntos son variedades cerradas de dimensin 0. Este caso lmite coincide entonces con la integracin ordinaria. 5.05.- Frmula de Ostrogradski, que relaciona una integral abierta de volumen de un cuerpo n-dimensional, con una v r r integral cerrada de vector superficie ds correspondiente a su frontera (n-1)-dimensional, de esta manera: (41) Recordaremos r escalar dV

(=I[]=):

ds

r r

r dV

Sabemos que todo tensor es aplicable al primer miembro, hacerlo con cualquier tensor en caso de que se pueda expresar en V

continuo y diferenciable en V mientras que no es posible el 2 miembro ms que en el por = para algn tensor . A todo (),tensor integrable = corresponde orden. el tensor idntico de 2 siempre un =I tensor siendo I

Si a un tensor determinado corresponde un tensor , evidentemente tambin corresponder otro tensor cualquiera mientras cumpla la condicin =, sea que verifique: (-) = 0 5.06,- En caso de un campo tensorial que verifique el uniformemente ==0 en todos los puntos del interior de un cuerpo, la ecuacin (41) se transforma en la siguiente:

133

 ds

v r

r = 0

En el supuesto de un campo as, sean 3 segmentos de superficie contnua (n-1)-dimensional de elementos vectoriales ds, que entre los tres, forman una superficie frontera de un cuerpo.

Uno de los segmentos A es tubular, limitado a la vez por dos variedades cerradas 1 y 2, (n-2)-dimensionales. De los otros el 1 est limitado por la variedad 1 y el otro por la variedad 2. En virtud de la ltima adecuadamente, se verificar: frmula, y si integramos

(=0):

r r ds =

r r ds

r r ds

Designando por flujo de a travs de s, a las integrales sds, podremos escribir: (42)

A =

r r ds = 2 - 1 = A

2 1

En la operacin de integracin que acabamos de describir, los trminos se refieren a variedades cerradas tales como 1 y 2. Pues cambiando, por ejemplo, el segmento 1 por otro 1 cualquiera pero con igual frontera, y sin cambiar los otros dos, tendremos:

0 = 2- 1- A = 2 - 1- A

1 = 1

Esta integracin para A, corresponder a segmentos infinitesimales de tubo.

134

C.- INTEGRALES Y CAMPOS PARTICULARES.

1.- Integrales de volumen relativas a rr-n.

1.01.- Generalidades. Salvo aviso en contra, nos referiremos siempre a un espacio puntual afn euclidiano n-dimensional. Para una magnitud determinada, consideraremos que el campo de los tensores integrales es el de los puntos de referencia respectivamente adoptados como origen de r, para el clculo de cada tensor integral. 1.02.- Angulos slidos. Sean un punto A que tomamos como origen, y un segmento de superficie (n-1)-dimensional dada. El ngulo slido d elemental con que desde A se ve un elemento de superficie de expresin vectorial ds, cuando ds1 es sobre su vector r de posicin, es: la proyeccin de ds

d = dsrr-n = (dsrr-1)r-(n-1) = ds1r-(n-1)

y el ltimo miembro es la expresin habitual de d. Para todo el segmento de superficie tendremos:

rr dsrr n

Habiendo visto en A'7.04, que (rr-n)=0 para todo punto 0, sabemos por Ostrogradski (41), que siempre que se con r integre en una superficie cerrada en cuyo interior no se halla el punto singular r=0, la integral es nula.
-1 -(n-1) = Vr-n, Denominando kn a la constante Sn r correspondiente a toda esfera, cualesquiera que sean su radio r, su superficie (n-1)-dimensional S y su volumen V, es fcil hallar el valor de al integrar en una superficie cerrada y (n-1)dimensional. El resultado es el siguiente:

a) Punto exterior: e = 0 b) Punto interior: i = nkn = Sr-(n-1) = nVr-n Para valores 3 y 2 de n, tendremos: 4 (n=3): ; i = 4 kn = 3 (n=2): kn = ; i = 2

135

1.03.esfrica.

Integral

=S[ds

rr-n]

en

una

superficie

Sea en un espacio puntual afn n-dimensional una superficie esfrica (n-1)-dimensional de radio R, centro O y escalar volumen S. Sea tambin el vector ds la expresin del elemento de superficie correspondiente al punto N. Dado un punto A cualquiera del espacio, queda determinado en la recta OA un segundo punto A, tal que se verifique OAOA = R2 Esta propiedad es recproca, y al punto A corresponde a su vez el punto A. Es fcil ver tambin que si uno de los puntos es exterior a la esfera, el otro es interior.

c c

Si nos referimos al plano bidimensional determinado por los puntos A,O,N y que por tanto tambin contiene a A, que hemos representado en la figura, y establecemos: r=AN; r= AN veremos que son semejantes los tringulos OAN y OAN, con lo que son iguales los dos ngulos sealados con as como los dos ngulos sealados con y designando por c al vector A y por c O , tambin podremos escribir: al vector AO

r c R c c = = ; r = r; r = r r R c R R
1.04.- Tanto si adoptamos un origen exterior a la esfera como un origen interior, el vector integral buscado, tendr, por razn de simetra, la direccin AAO. Por lo tanto, el mdulo del mismo no variar si sustitumos cada sumando elemental de su expresin por su proyeccin en tal direccin. 136

Sustituyendo adems los valores hallados para r r en el prrafo anterior, en caso de origen A exterior podremos escribir:

[ds rr

cos ] = [ds r (n 1)cos ] =

= [ds cos

c-(n-1) -(n-1) c-(n-1) r ] = -(n-1) [ds cos r -(n-1) ] R-(n-1) R

Anlogamente tomando A' interior como origen resulta:

c -(n-1) [ds cos r-(n-1) ] - 1) (nR

Pero por una propiedad elemental del producto escalar, se verifica: rds cos = rds; r ds cos = rds y sustituyendo estos valores queda:

r c-(n-1) [(rds)r -n] ; - 1) (nR

c -(n-1) r [(rds)r-n] - 1) (nR

Las dos integrales que aqu figuran, hemos visto en '1.01, que son las expresiones de los ngulos slidos con que se ve la superficie esfrica de volumen escalar S desde los puntos A' y A respectivamente. Sabemos tambin por '1.01, que el correspondiente al punto A exterior es nulo y que el correspondiente al punto A' interior es el cociente de S dividido por R(n-1). Resulta pues:

= 0;
y queda finalmente: (43) (44) Punto interior: Punto exterior:

c-(n-1) S = Sc-(n-1) - 1) (n-1) (nR R

= 0; -n = Scc

1.05.- Integral D =

[dVrr-n] en una esfera.

Consideremos una esfera de centro O y volumen V, como un conjunto de esferas huecas concntricas diferenciales de radio , superficie S, espesor d y volumen dV = Sd = dSds. Hay en los puntos de la esfera, un campo escalar uniforme. Cada esfera hueca contribuye a D con el valor:

dD =

dVrr-n = d

ds rr-n = d
137

y podremos despreciar el efecto de la esfera hueca superficial. Caso 1.- Origen A exterior a la esfera. dD = d Scc-n = dV cc-n; D = Vcc-n siendo c=AO. Caso 2.- Origen A interior a la esfera. El conjunto de esferas huecas diferenciales que encierran al origen producen un D nulo, ya que para cada una de ellas resulta =0. Slo habr que considerar pues, el conjunto de las que no encierran el origen y forman una esfera de radio R=c y volumen V, con el punto en su superficie. Tendremos: D = Vcc-n Como Vc-n es una constante escalar que solo depende de n, y que en '1.02 hemos representado por kn, la ecuacin final ser: (kn=Vc-n): D = knc siendo c=AO.

El valor de D no depende del radio de la esfera sino solamente de la posicin de su centro.

Siendo A un punto singular de la funcin integral que estudiamos, para el caso de que A sea el centro de la esfera, tomaremos como valor de D correspondiente a A, el valor lmite nulo de la expresin anterior al tender c a cero.

4 En un espacio tridimensional: k3= 3

138

 1.06.- Tensor = l(dlrr-n).

Vamos a ver a continuacin el valor que adquiere este tensor integral cuando la integracin se refiere a determinadas lneas y determinados puntos origen. 1.07.- Lnea recta ilimitada con origen exterior.

l
N A

dl

a
d

Sea en la variedad bidimensional determinada por la recta y el origen P exterior, A un punto cualquiera de la recta con PA=r, y N el pi de la perpendicular por P a la recta, con =a Tendremos a no nulo. PN . Estableciendo NA=l, tendremos r=a+l y llamando m al versor de dl, podremos escribir: d = dl(rr-n) = dl[(a+l)r-n = [dla]r-n = [ma][dl r-n] pero se verifica:

dl =

rd a ; r = cos cos

dl =

a d ; r-n = a-n cosn 2 cos

Sustituyendo, tendremos:
-n -(n-1) cos(n-2) d (dl r ) = a

con lo que al integrar para toda la recta resulta: (Ver Apndice)

n =

cosn-2d =
+

nkn : 2(n-1) n-1 k

(45)

r r = (m a)a n(1)

cos

n 2

r r d = (m a)a (n 1)2 n

139

En el caso de n=3 tenemos 3=1 y resultara: (46)

r r = 2a-2(ma) = 2(mxa) a2

1.08.- Lnea cualquiera con origen P exterior y a=NP infinitamente pequeo.

Si la lnea es recta, es aplicable la frmula (45). Pero ahora la integral que en ella figura, cuyos lmites para toda recta ilimitada corresponden a puntos del infinito, difiere infinitamente poco de la que se obtiene tomando como lmites los valores correspondientes a dos valores de l finitos y opuestos. As pues, a los efectos de aplicacin de la frmula (45), la totalidad de la lnea recta es equivalente a un segmento cualquiera de la misma que conteniendo a N sea de longitud finita tan pequea como se quiera. Por tanto el valor de l[dl(rr-n)] en una lnea contnua cualquiera, tomando como origen un punto P infinitamente prximo, sea con a=PN infinitesimal, no vara al sustituir la lnea por su tangente en N o bien por cualquier segmento finito de esta tangente que contenga a N. 1.09.- Integracin en superficie cilndrica. Consideraremos la interseccin de un cilindro recto con un plano variedad lineal (n-1)-dimensional, que sea ortogonal a su eje y que contenga al origen P, y nos limitaremos a estudiar el caso de que el cilindro sea de revolucin, es decir, que la interseccin mencionada sea una esfera (n-1)-dimensional con su centro O en la interseccin del plano con el eje del cilindro. La interseccin de la superficie cilndrica con tal plano es por tanto la superficie (n-2)-dimensional S de la esfera. Como para aplicar (45) a cada generatriz podemos considerar comn un versor m, y que slo vara el vector a correspondiente, podemos escribir para cada una de ellas:

= m[ (dlrr-n)] = 2 (ma)a-(n-1) = 2 m[aa-(n-1)] n n

l

El pi N de la normal desde el origen a cada generatriz de la superficie del cilindro, es un punto superficial de la esfera interseccin entre plano secante y cilindro y corresponde a un elemento diferencial ds de su superficie escalar Se. 1.10.- Teniendo en cuenta cada ds, e integrando en S para toda la superficie cilndrica, podremos escribir:

= S

ds = m{ ds[
S

(rr-ndl)]} = 2nm[ (dsaa-(n-1))]

S

140

 y sustituyendo la integral del ltimo miembro por tal como vimos en '1.05 2, quedar: = 2 m (47) S n De acuerdo con los valores de indicados en '1.03, resulta finalmente: = 0 (48) a) Punto interior: S
(49) b) Punto exterior:

= 2 mS cc-(n-1) S n e

siendo aqu c el vector de posicin del centro de la esfera respecto al origen.

Por consiguiente, en el caso de punto exterior a un cilindro de revolucin, el conjunto de generatrices con factor ds equivale a una sola lnea recta axial con un factor Se= ds . 1.11.- Integrales de volumen en un cilindro de seccin esfrica. En un espacio puntual n-dimensional, consideraremos un cilindro de revolucin, como un conjunto de tubos diferenciales de revolucin coaxiales, de radio , y espesor d. A este conjunto corresponde un conjunto intersecciones con un plano ortogonal al eje que contenga origen, que son las esferas huecas concntricas diferenciales centro O, con iguales radio y espesor d, consideradas '1.05, y por tanto podremos establecer: (50) V = de al de en

d = m[ s

(rr-ndldsd)]= 2nm d = 2nmD1

siendo D1 el valor en el origen del campo D creado por las esferas en el plano secante, y definido en '1.05, cuando =1.
Conforme a lo explicado en '1.05, y teniendo en cuenta que el plano es (n-1)-dimensional y que las superficies esfricas son (n-2)-dimensionales, tendremos ahora: a) Origen exterior al cilindro: (51)

= 2 mVcc-(n-1) V n

siendo V el volumen escalar de toda la esfera, y c el vector de posicin del centro de la esfera.
Por consiguiente, en este caso, el conjunto de tubos con factor Sed equivale a un cilindro con factor V= Sed. b) Origen interior al cilindro:

141

(52)

= 2 mVcc-(n-1) = 2 m(k c) V n n n-1

siendo V el volumen escalar de la esfera (n-1)-dimensional en cuya superficie se halla el origen, c el radio vector de posicin del centro de la esfera, y kn-1=V'c-(n-1) una constante escalar que slo depende de n. Del mismo modo que es nulo para los puntos interiores a una superficie, ahora es nulo v para los puntos interiores de un tubo. Por consiguiente un cilindro de revolucin de radio R, para el clculo de V en un punto de su interior a distancia r del eje, equivale a otro cilindro coaxial de revolucin con un radio r=c, siempre que se pueda despreciar el cilindro hueco correspondiente a su superficie. Para n=3 la dimensin de la esfera de interseccin es 2 y tenemos kn-1=. 1.12.- Representemos por H a la siguiente integral de volumen de un cilindro recto de revolucin: (53)

H =

(rr-ndldsd)

Por (50) podremos escribir: = mH = 2 mD V n 1

y como m es una direccin cualquiera: (54) H = 2 D

n 1

1.13.- Cuando no se trata de un cilindro recto, sino de un cuerpo filiforme de grueso infinitesimal variable no, y la seccin ortogonal por el origen P es esfrica de centro O, y adems se tiene que c=PO es infinitesimal, seguir vlida la ecuacin (52). A los efectos de integracin, la totalidad del cuerpo filiforme es ahora equivalente a un segmento finito del cuerpo tangente por 0 al dado, y que conteniendo a los puntos de tangencia, sea tan pequeo como se quiera. Por lo tanto, si se trata de determinar V en un punto del interior de un cuerpo filiforme de seccin esfrica infinitesimal y a una distancia r del eje, este cuerpo equivaldr a un cilindro recto tangente por el mismo punto de radio r.

142

 2.- Valor de D para cualquier cuerpo.

2.01.- Generalidades. Sea como ejemplo. un tensor aplicado al punto A, expresable por:

(r=-r):

(rr-n)d =

(rr-n)d

en que V es un cuerpo m-dimensional, d una funcin de dV infinitesimal, el valor de una magnitud de punto determinada correspondiente a un punto N de cada dV, r=AN y r'=NA=-r. Para calcular (, , etc.), tambin en A, tendremos en cuenta:
a) Lo dicho en '2.01 b) sobre el vector de posicin a que se ha de referir , y que ahora resulta ser r. b) Que y d no se hallan aplicados al punto A, y por tanto no se refiere a ni a d. Si el punto A eventualmente pertenece a V, consideraremos dos segmentos de V, V2 muy pequeo al que A pertenece y V1 resto de V al que no pertenece A (V=V1+V2), y, en vez de la integral dada, utilizaremos la suma de una integral correspondiente a V1 y otra eventual correspondiente a V2 que contiene al origen, supuesto nico punto singular. Ahora nos limitaremos a considerar la integral en V1, en el supuesto de que sea finita y con todos los sumandos variables en forma contnua con r. Por lo tanto, la derivada de esta integral es igual a la integral de las derivadas de cada sumando. Para ella podremos escribir: (55)

r rr = - [ {(rr-n)d}]
v1

que para escalar queda as:

r r = - rr-nd)] [ (
V1

-n 2.02.- Clculo de D=Vrr dV.

Efectuaremos el clculo suponiendo que es escalar, V un cuerpo n-dimensional cualquiera y d=dV. Por lo tanto. para V1 podremos escribir:
r r D1 = - dV rr-n) = 0 (
V1

y en consecuencia, si el punto es interior a V tendremos: 143

r r r D = D2 = - rr-ndV
V2

Podemos adoptar para V2, suficientemente pequeo para que en l uniforme y por tanto nos permita sacarlo Admitimos que a la integral que queda, puede de Ostrogradski, y al hacerlo as tenemos:

cualquier volumen se pueda considerar del signo integral. aplicarse el teorema

r r r r D = - ( rr-n])dV = - rr-n ds = rr-n ds [ V S S

2 2 2

El valor de la integral es independiente de la forma y posicin de V2 y coincide con el del ngulo slido correspondiente a una superficie cerrada desde un punto interior, cuyo valor sabemos que es nkn. Por consiguiente tendremos finalmente para V2, cuando existe: D = nk
2 n

Por lo tanto, considerando =0 en todos los puntos exteriores a V, en cualquier caso se verificar: D = nk
n

para los valores de D y referidos al punto A.

2.03.- Tambin hubisemos podido obtener este resultado a partir de la frmula de '1.05 caso 2: D = k c
n

al multiplicar miembro a miembro por , y cambiando para ello c =-c: por c D = -knc y como c=n, al pasar nuevamente al origen A queda: D = knn 2.04.- En consecuencia de lo visto sobre D podemos correspondiente a un punto A de la expresar el valor de D siguiente manera: (t =rr-n): D = t dV
Ai A V Ai i i

teniendo en cuenta que en el sumatorio, tAi acta como ti pues el est en dV , pero respecto a acta como t pues es extremo de r i = k n.A un vector localizado en A, y de esta manera DA A n

144

3.- Campos solenoidales. 3.01.Refirindonos a espacios puntuales ndimensionales, llamaremos campos solenoidales a los campos vectoriales v no uniformes que verifican v=0 en todos los puntos no singulares.

Cuando v es un campo solenoidal y por tanto v=0, de acuerdo con lo que vimos en B'5.06, la frmula (41) de Ostrogradski queda reducida a la siguiente:
(56)

vds

= 0

3.02.- Lneas y tubos de campo.

Llamamos lnea de campo en un campo vectorial v a toda en cada uno de sus puntos lnea del espacio tal que el valor de v es tangente a la lnea. Y llamamos tubo de campo a toda superficie tubular (n-1)-dimensional que contiene a las lneas de campo de cada uno de sus puntos.
3.03.- Tubos de campo.

Sea en un campo solenoidal S un tubo de campo de superficie (n-1)-dimensional y en cuyo interior no hay puntos singulares.
Considerando una superficie cerrada (n-1)-dimensional, compuesta por un segmento de tubo limitado por dos secciones transversales, que denominaremos 1 y 2, sabemos por (56) que se verifica:

r Sds = 0
y como en todos los puntos de la superficie tubular se verifica por hiptesis: Sds = 0 la ecuacin anterior implica para los lmites 1 y 2 la igualdad: (57)

r S ds =

r Sds

cualesquiera que sean las secciones del tubo elegidas como lmites, y siempre bajo el supuesto de realizar la integracin en el sentido adecuado. La ltima ecuacin se puede expresar as: i1 = i2 = i

y decimos que los flujos de un campo solenoidal S que atraviesan

145

dos secciones cualesquiera de un tubo de campo, son iguales. En cuanto al flujo que atraviesa la pared tubular, ya hemos dicho que es nulo. 3.04.- Tubo elemental. Llamaremos as a todo tubo de campo de un campo _ solenoidal S cuando sus secciones planas (n-1)-dimensionales ds son infinitesimales y por tanto su flujo caracterstico d, que Ss designaremos por di, tambin es infinitesimal. El tubo de campo corresponde ahora a una lnea y admitiremos que los vectores S en cada punto de una seccin infinitesimal del tubo por un punto dado, son todos iguales y con la misma orientacin y sentido que el elemento l de la lnea, en d el punto correspondiente de ella.

Tambin tendremos que en un punto con seccin ds, y seccin recta escalar ds1, a una longitud dl de tubo corresponder un segmento de tubo de volumen: dV = dlds = dl.ds1 Podemos escribir S=kdl (k escalar) y por tanto: di = Sds= kdlds = kdV
(58)

k =

di dV

_ y como S y dl tienen el versor m comn, si ds1 es el escalar de la seccin ortogonal, podremos escribir: (59) di m = Sds
1

r di S = dl dV SdV = di dl

3.05.- Hiptesis de trabajo en un campo solenoidal. Sea en un campo solenoidal el dominio en que no es S S nulo. Segn un mtodo de clculo habitual consideraremos su espacio como constitudo por un conjunto infinito de elementos diferenciales dV (volumen escalar), cada uno con el vector S correspondiente a su punto representativo. A partir de ahora y siempre que sea posible, tambin admitiremos el espacio del dominio en cuestin como constitudo por un conjunto infinito de tubos elementales, cada uno con un flujo di, y una lnea representativa correspondiente a cualquiera de sus puntos. La ecuacin (58) antes obtenida, se podr utilizar en 146

el clculo, en caso de variar el concepto de conjunto adoptado. Para el dominio en que di0, siempre podremos considerar que la distribucin del espacio en tubos elementales es tal, que un punto determinado del dominio, es exterior a todos los tubos excepto a un nico tubo en que est contenido. Adems, siempre podemos condicionar la distribucin de manera que el tubo en que est contenido el punto tenga una seccin ortogonal por el punto que sea una esfera. Llamaremos R a su radio y ds1 a su volumen escalar. 3.06.- Si es un tensor cualquiera, tendremos pues:

SdV =

di

dl

El primer miembro se refiere a un conjunto de elementos de volumen, y el segundo al conjunto de lneas correspondientes a cada tubo elemental de S de flujo di. Para integrable, tendremos que para cada tubo cerrado dl, y por tanto, si son cerrados todos los tubos es nulo l elementales, sern nulos los dos miembros de la ltima ecuacin. Por consiguiente, para igual al tensor I de la aplicacin idntica, que es integrable, para el conjunto de tubos elementales cerrados, y para un conjunto cualquiera de tubos cerrados tendremos:

SdV = 0

3.07.- Ejemplo para = rr-n.

Sabemos por (20) que rr-n es integrable y por tanto, al integrar en cualquier lnea cerrada, se verificar:
(60)

rr

dl = 0

Si la lnea no es cerrada sino abierta con uno dos puntos en el infinito, tambin ocurrir lo mismo, pues para sus extremos tendremos r1=r2= y como por (20) podremos escribir:

se verifica:

2 1

rr-n dl = -(n-2)-1

2 1

r-(n-2)dr

2 1

r-(n-2)dr = r2-(n-2) - r1-(n-2) = 0

con lo que tambin tendremos:

147

2 1

rr-ndl = 0

Para cualquier tubo del campo de un vector solenoidal S y eligiendo una lnea representativa que no contenga al origen,las dos integraciones equivalentes que siguen son pues siempre de valor nulo:

Srr-ndV

di

rr-ndl= 0

3.08.- Campo tensorial .

Para todo campo solenoidal S, las dos integraciones siguientes relativas a un tubo de su campo, en virtud de (58) son equivalentes:
(61)

(Srr-n)dV

di

(dlrr
l

-n

A cada tubo elemental, de flujo di, corresponder un valor: (62) d = di

(dlrr-n)

que obtendremos considerando a di una constante del tubo e integrando a lo largo de la lnea correspondiente al mismo. Bastar considerar los tubos con S di no nulos. El tensor ser pues el sumatorio de los valores de , por cada tubo del conjunto de tubos elementales que forman d el cuerpo considerado, que siempre ser un tubo de campo de S.

En general, tanto d como variarn segn el punto A elegido como origen de los vectores de posicin y definiremos su campo, asignando a cada punto del espacio los valores de d y de que resultan al tomarlo como origen.
3.09.- Cuando la lnea correspondiente a un tubo elemental sea una lnea recta y el origen A no est en el tubo, por (45) podremos tambin escribir: (63)

d = di 2n(ma) a-(n-1)

con los significados descritos en '1.07. 3.10.- Otra expresin de [dl(rr-n)]. Para un tubo elemental dl, por lgebra tensorial podemos escribir: [dlrr-n] = (dlrr-n) - (rr-ndl) = (dl)(rr-n) - [(rr-n)]dl

148

pero se verifica:

(dl)(rr-n) = [(rr-n)]dl [(rr-n)]dl = 0

Y al sustituir estos dos resultados, queda: [dl(rr-n)] = [(rr-n)]dl = [dl(rr-n)]

(64)

3.11.- Clculo de .
Sea un punto origen A y el total tiles ( sea con di no nulo), que dan considerar este total, como un conjunto de y 2, tales que el tubo 1 es exterior a A punto A en su interior. de tubos de campo de S lugar a , y vamos a dos tubos de campo 1 y el tubo 2 tiene al

El tubo 1, que no contiene a A, originar una parte 1 y por tanto de . Cada tubo elemental componente, de los de cuales ninguno contiene a A, genera una parte d de y tendremos = d que 1 1 El tubo 2, con A en su interior, dar lugar a un integral 2 tal que =1+2 y que 1+2=. Siempre se elegir 1 y 2 de manera que un tramo de 2 que contenga a A, suficientemente pequeo, para que, en sus puntos, se considerar una distribucin uniforme de S. 3.12.- a) Punto exterior a un tubo de campo. Pudiendo considerar 1d diferenciable, no hay inconveniente en operar directamente sobre cada d de la siguiente manera: tensor podrn sea lo pueda

d =
l

y teniendo en cuenta el vector r=-r de posicin adecuado a la utilizacin de ('2.01), usaremos, para cada tubo elemental, las ecuaciones (62) y (64): d = di

(dlrr-n) = di

[(dlrr-n)] = di

[(rr-n)dl]

Como rr-n tiene integral, y sta es rr-n, al integrar entre los extremos 1 y 2 de la lnea representativa, si sta es ilimitada, resulta que tanto si la lnea es cerrada (1 y 2 coincidentes), como si es abierta (r1=r2=), se verifica: d = di([rr-n]2 - [rr-n]1) = 0
y como es nulo el verificar tambin: resultado para cada tubo elemental, se

149

 1=0.
3.13.- b) Punto interior a un tubo de campo. Tendremos que para un nico tubo 2 de espesor despreciable, bastar considerar un tramo que contenga a A, de longitud que tiende a 0 y que admitimos con S uniforme:

2 = -

(S rr
V

-n

)dV = -

(S rr
2

-n

)dV

Aplicaremos Ostrogradski, para lo cual adems de cambiar la integracin de volumen por la de superficie, bastar _ sustituir (dV) por ds, obtenemos:

2 = -

(S rr
S

-n

)ds

Sustituyendo el producto exterior:

2 = -

(S rr
S S

-n

)ds
-n

+ +

([rr
S

-n

]S)ds =

= -

(Sds)rr

S(rr
S

n-1

ds)

Observaremos que el primer sumando es nulo por serlo (Sds) ya que en todo tubo de S, los vectores S y ds son ortogonales, y que en cuanto al segundo, podemos sacar S constante fuera del signo integral. Queda en conjunto:

= S

rr
S

-n

ds= -S(nkn)

puesto que en el segundo miembro, el factor de resulta ser, con S signo cambiado (pues se refiere a r), el ngulo slido desde el interior del tubo elemental que conocemos por '1,02. 3.14.- c) Resumen. De todo lo que acabamos de ver, resulta que cualquiera que sea el punto del espacio donde se halle situado el origen A, se verifica: (65) = -nk S
n

siendo S el valor del campo en el consideraremos nulo en donde no exista.

origen

A,

campo

que

Aplicacin a un espacio tridimensional.

4 n = 3; kn = 3 :
150

r r = -4S

3.15.- El resultado de (65), tambin podramos haberlo deducido de la frmula (52) relativa al valor V de un cilindro de revolucin infinitamente largo, tomando un origen interior A, y siendo el vector =c la proyeccin ortogonal de A sobre el eje AO del cilindro. Habindose definido y V por las ecuaciones (61) y (50) respectivamente, vemos al examinar su aplicacin a un mismo cuerpo desde un mismo origen, que slo se diferencian en que (61) utiliza SdV donde (50) utiliza dlds, entre cuyas cantidades existir por tanto, la misma relacin que entre V y . = S SdV = Smdlds = S(dlds) V Efectivamente, vanos a hallar partiendo de (56) que es una ecuacin deducida de la (52). = S = 2 mk c = 2 k (Sc) V n n-1 n n-1 Multiplicando miembro a miembro por , y cambiando para ello c por c=-c, escribiremos: = -2nkn-1(S c) Calcularemos (S c'): (S c) = (S c) - (c S) = S(c) - (c)S

y teniendo en cuenta que c=I (tensor idntico) y que c=n: (S c) = S - nS = -(n-1)S y sustituyendo en la anterior expresin de , despus de cambiar otra vez de signo con la referencia, queda finalmente: = -2 k (n-1)S
n n-1

y como se puede comprobar operando con las constantes: 2nkn-1(n-1) = nkn el resultado coincide con (65).

151

4.- Campos irrotacionales, 4.01.- En un espacio puntual n-dimensional, llamaremos campo irrotacional a todo campo vectorial w no uniforme que =0 ( sea w simtrico) en todos los puntos no verifica w singulares.

Vamos a ver que un campo vectorial w ser irrotacional es integrable, es decir, si existe un escalar U si y slo si w integral de w, sea tal que w=U. Pues por A'5.03 sabemos que w es integrable si y slo es simtrico, sea w=0. si w Por ser integrable cualquier campo irrotacional w, corresponder a la derivada de una aplicacin diferenciable, y por consiguiente, siempre se verificar:
(66)

wdl = 0

Recordaremos que si U es integral de w tambin lo ser U' si y slo si se diferencia de U en un escalar uniforme.
4.02.- Superficies equipotenciales.

En un campo w irrotacional, llamamos superficie equipotencial correspondiente a un punto A, al l.g. de los puntos P equipotenciales a A , llamando as a los que verifican:

P A

wdl

= 0

A cada elemento infinitesimal de una superficie equipotencial, corresponder un vector superficie ds aplicado a cualquier punto del elemento. Este vector ser ortogonal a la superficie y por tanto, de igual direccin y sentido que el vector w correspondiente al punto. As pues, en cada punto representativo A, para algn escalar k se verificar: _ w = kds Slo en caso de que A pertenezca a un cuerpo nel dimensional con w=0 en todos sus puntos el l.g. de los puntos equipotenciales con A no ser una superficie, sino que contendr a dicho cuerpo. 4.03.- Capas equipotenciales, Designaremos como capa equipotencial al espacio comprendido entre dos superficies equipotenciales, que por lo 152

tanto constituirn su frontera. 4.04.- Sea en una capa equipotencial un circuito lineal cerrado que conste de cuatro segmentos, uno en la superficie que sealaremos con 1, otro en la otra superficie sealada con 2, y los dos restantes que enlacen los extremos de los segmentos anteriores, y que por tanto enlazarn las superficies 1 y 2 una con otra. Teniendo en cuenta (66), y que en consecuencia las integrales parciales correspondientes a los trayectos sobre igual superficie equipotencial son nulas, para los trayectos entre las superficies 1 y 2, cualesquiera que stos sean, tendremos un solo valor:

2 1

wdl

= U2 - U1 = constante

4.05.- Capa elemental. Llamaremos capa elemental a la que tiene por frontera dos superficies equipotenciales infinitamente prximas entre s. Para esta capa, y para dos puntos infinitamente prximos uno de cada superficie la ecuacin anterior tomar la forma: wdl = dU habiendo llamado dU diferencial infinitamente pequea entre U2 y U1. de U, a la diferencia

Una capa elemental equipotencial corresponde ahora a una superficie (n-1)-dimensional y a un espesor infinitesimal variable, y admitiremos que los vectores w son iguales en todos los puntos del trayecto l y que lo mismo ocurre con los vectores d infinitesimales ds de superficie limitados por un mismo tubo de fuerza. Podremos considerar pues como elemento infinitesimal de volumen de la capa, a su vez de infinitesimal, en el entorno de un punto A a: dV = ds dl parcial volumen

De esta manera, para cada punto de _ una superficie equipotencial, resulta w de igual direccin que ds y: w=kds dU = wdl = k dsdl

k =
(67)

dU dV

dU r r w = ds dV

wdV = dUds
153

 Como w y ds para cada punto tienen el versor m comn, si dl1 es all la distancia ortogonal entre superficies, tambin se verifica en el punto:
(68)

mdU = wdl1
4.06.- Hiptesis de trabajo en campo irrotacional. Sea, en un campo irrotacional , el dominio en que no w w

es nulo. Con el mtodo de clculo habitual consideraremos su espacio como constitudo por un conjunto infinito de elementos diferenciales dV (volumen escalar) con el vector w que corresponde a su punto representativo. A partir de ahora, podremos admitir tambin, que el espacio del dominio en cuestin est constitudo por un conjunto infinito de capas elementales, caracterizadas cada una por una superficie (n-1)-dimensional representativa correspondiente a uno de sus puntos, y una diferencia dU. En caso de variar la hiptesis utilizada, utilizaremos como frmula de sustitucin, la (67). Para el dominio V en que w0, siempre podremos considerar que la distribucin del espacio en capas elementales es tal, que un punto determinado del dominio no pertenece ms que a una nica capa elemental. Integrando (67) para una sola capa elemental cerrada, tendremos:

wdV = dU

_ ds = 0

y por tanto, para todo conjunto de capas cerradas, se verifica: (69)

wdV = 0

4.07.- Aplicacin a capas cerradas.

En general, si es un tensor cualquiera podremos

escribir: (70)

wdV =

dU

ds

siempre que el campo de integracin se pueda considerar como un conjunto de capas elementales cerradas y sea por tanto a su vez una capa cerrada. 4.08.- Aplicando (70) con cualquier tensor que en V verifique uniformemente =0, la ltima integral resulta nula 154

para toda capa elemental cerrada, pues as se deduce de Ostrogradski. Por tanto en este caso, si todas las capas elementales son cerradas, los dos miembros de la ecuacin anterior sern tambin nulos y podremos escribir: (71)

wdV = 0

De acuerdo con ver que cuando de la aplicacin esto, es fcil es uniforme y por es el tensor I idntica, que tanto verifica I=0 y no tiene valores singulares, de esta ltima ecuacin podemos deducir la (69).
Tambin vemos que si es un vector solenoidal sin puntos singulares en V, y por tanto por definicin verifica =0, se le puede aplicar la ecuacin (71). Cuando el vector solenoidal es =rr-n, sabemos que d s es el ngulo slido con el que se ve la superficie equipotencial cerrada desde el origen. Como este ngulo es nkn si el origen est en el espacio interior a la superficie, y es 0 si est en el exterior, la ecuacin (70) podremos escribirla as:

wdV = (U -U )nk 2 1 n

siendo U1 y U2 los valores de U extremos del conjunto de capas elementales que contienen al origen. El valor de U en el infinito se acostumbra a considerar nulo.

4.08.- Campo tensorial . Valor de .

Sea el tensor

(wrr-n)dV

dU

(ds rr-n)

Anlogamente a '3.10, podemos sustituir dl por ds obteniendo: _ _ [ds(rr-n)] = [ds(rr-n)] y operando con capas en lugar de tubos, y con w en lugar de S llegamos al resultado: = -nknw
que se verifica cualquiera que sea el punto del espacio donde se halle situado el origen, siendo w el valor del campo en el origen.

155

5.- Campos armnicos.

5.01.- Llamamos armnico a todo campo vectorial v que sea a un tiempo irrotacional y solenoidal, sea que verifica tanto la relacin caracterstica del uno, como la del otro: v = 0; v = 0

y tendr por tanto, a la vez, las propiedades de ambos campos.

Por ser v irrotacional tendremos que ser la derivada U de una variable U escalar, y por ser tambin solenoidal, su producto contracto por habr de ser nulo. La condicin de armonicidad para la derivada de algn escalar U, es pues:
0 = (U) = ()U = U (laplaciana de U) ecuacin de Laplace. Los campos escalares U, que verifican la ecuacin de Laplace son las soluciones de la misma. Si en un dominio de U, solucin de Laplace, la aplicacin puntual v de Laplace, es diferenciable y regular, decimos que en este dominio regin del espacio, U es una funcin armnica, y que v=U es un campo armnico.

5.02.- En los campos armnicos v, conservarn su sentido los conceptos de tubo de campo y elemental y de flujo i di, as como los de capa equipotencial y elemental y de diferencia de potencial U2-U1 dU. En cuanto a los campos S y , w ambos coincidirn en un mismo campo vectorial v.
Ahora al espacio lo podremos integrar indistintamente tanto por tubos elementales como por capas elementales, de acuerdo con las ecuaciones (58) y (67) de equivalencia: vdV = di dl = dU ds que normalmente se referirn a elementos de volumen rectangulares en los que dl, ds y v son vectores de igual direccin.

5.03.- Vamos a ver en qu condiciones tendremos v=0 en un campo armnico.

Como las ecuaciones (59) y (68) sern aplicables a un campo armnico, de ellas deducimos fcilmente: di = v ds; dU = v dl

v=

di dU = ds dl

v2 =

di dU di dU = ds dl dV

y recordaremos que di no vara a lo largo de un tubo y que dU 156

tampoco vara en una capa equipotencial. a) En algn punto del campo til, di dU no es nulo.

No sern nulos ambos valores ni v en todo el dominio.

De la ecuacin ltima deducimos entonces, que al disminuir v, aumenta dV, y que si v tiende a cero, dV crece indefinidamente, y esto solo es posible cuando el punto se aleja indefinidamente. Por consiguiente, solamente podemos considerar nulo a v en puntos del campo en el infinito. b) En algn punto del campo til di dU son nulos. Lo sern ambos valores as como v en todo el dominio. 5.04.- Valores mximos y mnimos de U en su campo. Corresponden a los puntos de derivada nula de U, sea con U = v = 0. Por lo expuesto en el prrafo anterior no existe ningn mximo ni mnimo en el interior del dominio til considerado bien se tiene v=0 en la totalidad del mismo. En consecuencia, una funcin armnica U es uniforme en un volumen til determinado si lo es en su frontera. 5.05.- Un campo armnico notable y una funcin armnica notable son respectivamente:

rr-n;
que hemos estudiado en A'7.04.

-(n-2)-1r-(n-2)

Esta funcin armnica se denomina elemental, pues se puede demostrar que toda funcin armnica puede obtenerse como combinacin lineal de un nmero finito infinito de funciones armnicas elementales. 5.06.- Se demuestra que toda funcin armnica es analtica sea desarrollable en serie de Taylor, en el entorno de un punto cualquiera de su campo. 5.07.- Sea como ejemplo de demostracin por clculo tensorial, el clculo de la funcin armnica que corresponde a un dominio en cuya frontera U es uniforme.

Sea U un campo escalar y v uno vectorial, ambos cualesquiera, y consideremos la integral de volumen de (Uv). Por Ostrogradski podremos escribir:

[(Uv)]dV =

(Uv)ds.

157

Esta expresin, cuando U es uniforme en la frontera y v es solenoidal, se anula por (56):

[(Uv)]dV = U

vds = 0

Por otra parte, si U es una funcin armnica del campo armnico v=U, y tenemos por tanto v=0, podremos escribir:

(Uv) = v(U) + U(v) = v(U) = v2

[(Uv)]dV =

v2dV

De estas expresiones y de la anterior deducimos:

V

[(Uv)]dV = 0 =

v2dV

y por tanto, en todo el volumen tendremos v=0, sea U uniforme.

158

D.- ECUACIONES DIFERENCIALES

1.- Ejemplos de ecuaciones diferenciales. 1.01.- Primer ejemplo. Ecuaciones diferenciales lineales homogneas en de coeficientes constantes. Variable independiente t escalar. Son de la forma:

r r r r r r d dn d2 A = kn n +...+ k2 2 + k1 + k0 = 0 dt dt dt
Ensayando una solucin de la forma =et, constante y e nmero de Euler, se obtiene: r r = k0et k0
con

r d k1 dt

= k1

r d r t (e ) = k1et dt

r r r d d d r d2 = k2 (et) = k2et2 k2 2 = k2 dt dt dt dt
. . . . . . . . .

r r dn n kn n = kn et dt
Sustituyendo en la ecuacin, resulta: t e [knn + ... + k22 + k1 + k0] = 0 Sern vlidas las soluciones correspondientes a los valores de que anulan el corchete, es decir, las soluciones de la ecuacin: knn + ... + k22 + k1 + k0 = 0 1.02.- 2 ejemplo. Ecuaciones diferenciales lineales homogneas de un tensor con coeficientes n uniformes de orden n. Variable independiente vectorial x. Con 1=v y 0= k, son de la forma:

(n) + .. + () + v() + k = 0 n 2
159

 Ensayaremos una solucin de la forma = ea x siendo y a un vector uniforme. Se un tensor uniforme del orden de obtiene:
(ea x ) = aea x

y por lo tanto: k

= kea x

ax ax ax v() = v( e ) = v[(e ) ] = v(a )e

()= [()]= (a )ea x = (aa )ea x 2 2 2 2

. . . . . . . .
(n) = (an )ea x = ( an) ea x n n n

Sustituyendo en la ecuacin resulta: [nan + ... + 2(aa) + va + k] ea x = 0 Por lo tanto la solucin ensayada es vlida con cualquier valor de a que anule el corchete, es decir, que sea solucin de la ecuacin:

an + ... + (aa) + va + k = 0 n 2
llamada ecuacin caracterstica. 1.03.- Forma vectorial de la ecuacin de Euler del clculo de variaciones. Nos limitaremos a un desarrollo esquemtico.

Sea en un espacio puntual afn una curva x(t) del espacio y un segmento de la misma entre el punto A correspondiente al valor a de una variable independiente escalar t y el punto B correspondiente al valor b. Supondremos que no slo x es funcin continua de t en dicho segmento y por tanto existe en cada uno de sus puntos una derivada escalar x=dx/dt, sino que esta derivada tambin es continua en dicho segmento.
Sea tambin una funcin f escalar de las tres magnitudes t,x y x'. Separando variables podremos escribir:

df = ftdt + fxdx + fxdx

160

en cuya expresin t es la nica variable independiente, ft es la derivada parcial respecto t, fx la derivada parcial respecto a x . Por razn de homogeneidad y fx la derivada parcial respecto x estarn representadas por una magnitud escalar y dos vectoriales respectivamente. Escribiremos en consecuencia: df = ftdt + fxdx + fxdx Vamos a estudiar ahora la integral I =

AB

f(t,x,x)dt

y veamos qu condiciones necesita reunir la curva x(t) entre A y B para que esta integral sea extremal, es decir, para que toda variacin en la curva entre A y B cambie su valor en el mismo sentido, sea de aumentar o disminuir.
Para ello consideraremos una variante cualquiera del tipo x+v, con v(t) una curva cualquiera tal que v(a)=v(b)=0, y un parmetro escalar. Esta nueva curva evidentemente tambin contiene a los puntos A y B y para ella la integral I toma el valor siguiente: I =

AB

f(t, x+v, x+v)dt

Dando distintos valores a para un mismo v, obtenemos una familia de curvas que pasan por A y B, siendo la curva primitiva la que corresponde a =0. Si esta curva primitiva es extremal se habr de verificar: dI = 0 d =0 Obtendremos pues la condicin para un v determinado, derivando I respecto a para =0, considerando v fijo, e igualando a cero el resultado que se obtenga:
0 =

AB

(fxv + fxv)dt =

AB

fxvdt +

AB

fxvdt

pero se verifica:

AB

r r rr b fx v dt = [vfx ]
a

r r dfx AB v dt dt

Como el trmino integrado es nulo por serlo en A y en v B, al sustituir el primer miembro en la ecuacin anterior, se tendr: r r r r r dfx r r dfx 0 = fx v dt v dt = (fx )vdt AB AB AB dt dt 161

Como si la curva primitiva es extremal,esto se habr de verificar para cualquier v que se anule en A y B, resulta finalmente que es condicin necesaria para ello la siguiente:

r d fx - fx = 0 dt
aunque podramos ver que no es suficiente.

162

E.- SERIES POLINOMICAS. 1.01.- Teorema de Rolle. Vamos a generalizarlo para tensores. Sea una funcin escalar de , tal que a=b, es decir, x que toma igual valor para x=a que para x=b. Admitiremos tambin que y varan en forma continua desde a hasta a lo largo del segmento rectilneo AB que b determinan a y b. Vamos a demostrar que en estas condiciones, en AB siempre existe un punto C correspondiente a =c y distinto de A y x de B, para el que verifica: ()C(b-a) = 0 [()(b-a)]C = 0 Efectivamente, si pasamos de A a B por segmentos diferenciales dr, todos de igual direccin, se tendr:

B - A =

AB

()dr

Dado que por hiptesis se verifica A=B, el sumatorio integral del 21 miembro es nulo, por cuya razn, si no son siempre nulos los incrementos d=()dr, habr en el segmento algn punto C entre A y B en que los incrementos cambiarn de signo y para l se verificar: ()Cdr = 0 y como ACB es una recta, se verificar tambin: ()C(b-a) = 0 1.02.- Frmula tensorial de Taylor.

Para un tensor de cualquier orden, funcin de x, la , es decir, el frmula tensorial de Taylor expresa el valor de B valor de para x = b = a + (b-a), siendo a arbitrario, en funcin: de A = valor de para x=a, del valor de las sucesivas derivadas de para x=a -a. y de las potencias tensoriales de b
La frmula es la siguiente:

r r r r r = r + 1 ( r (b-a) + 1 ( 2 r (b-a 2 + .... ) ) ) B A A A 1! 2!

163

.... +

1 m r r r m r ( )(b-a) + A m!

En esta expresin, cuyos trminos son todos tensores del mismo orden que , es la diferencia entre B y el polinomio que precede a , y se denomina trmino complementario. 1.03.- Clculo de . Admitiremos para el clculo, que tanto como sus m+1 primeras derivadas son finitas y continuas en el segmento AB, y procederemos as:

Examinemos el siguiente escalar funcin de x:

(72)

1 1 r r r r r r r r = + ( )(b-x) + (2 )(b-x) 2 + ... 1! 2! r r r 1 m r r r m ( r b-x) (m+1) ....+ ( )(b-x) + r r r (m+1) b-a) m! (

en cuya expresin, es un tensor arbitrario del mismo orden que y , y es cualquier tensor de orden m+1 que sea simtrico y v que verifique: (b-a)(m+1) 0 v
Del examen de la expresin de se deduce fcilmente que verifica la siguiente relacin:

a = b = B
y que por tanto cumple la condicin exigida a la funcin que ha intervenido en la demostracin del teorema de Rolle. Por consiguiente podemos establecer que en algn punto del segmento AB, distinto de A y de B, se verifica: (73) ()C(b-a) = 0 C Sustituyendo en esta igualdad el valor dado a , y despus de diversas operaciones, se obtiene finalmente en '1.10/1.13, la siguiente ecuacin: (74)
rr = r r r r ((m+1) )(b-a) (m+1) C (m +1)!

1.04.- La expresin anterior, para el caso de que sea de orden 0 (escalar) el de que a todo corresponda el mismo punto C, se reduce a: (75)
r =

1 r r r ((m+1) )(b-a) (m+1) C (m +1)!

164

Si adems de ser escalar , tenemos que el espacio es unidimensional, esta expresin de queda reducida al conocido trmino complementario de Lagrange. En los dems casos si quisiramos determinar intrnsecamente, ello sera tericamente posible a partir de

considerar una base vectorial de los tensores de conocer los puntos C para cada vector base, y de resolver el sistema de ecuaciones que resultaran de aplicar sucesivamente cada tensor base a (74). 1.05.- En cuanto al modo de determinar los coeficientes de de cualquier tipo (covariantes, etc,), lo expondremos a travs de un ejemplo. Sea C el tensor siguiente:
r C =

1 r r r ((m+1) )(b-a) (m+1) C (m +1)!

con lo que la ecuacin (74) se convierte en:

= C
y supongamos que los factores son de segundo orden.

} Adoptando una base i{eij del espacio n-dimensional E en =(e e ), tensor base de su espacio que trabajamos, para vectorial, habr algn punto C para el que se verificar: (eiej) = (eiej)C
y por tanto habr la siguiente relacin de coeficientes:

ij = (rij)C
que determina el coeficiente ij de correspondiente al vector base elegido. Vemos as, hablando ya en general, que cada coeficiente de coincide con el mismo componente de C correspondiente a algn punto C intermedio entre A y B. Este punto podr ser distinto para cada componente. 1.06.- Serie de Taylor.

Sea un tensor , funcin de x.

El desarrollo de en serie de Taylor, es el visto anteriormente, o sea:

165

r r r r r = r + 1 ( r (b-a) + 1 ( 2 r (b-a 2 + .... ) ) ) B A A A 1! 2! 1 r r r .... + ( m )(b-a) m + ... A m!

Para que esta expresin sea vlida, se precisa:

a) Que sea diferenciable indefinidamente.

b) Que la serie sea convergente. 1.07.- Un criterio de convergencia deducido de los prrafos anteriores, es que se verifique: r r r ((m+1) )(b-a) (m+1) r r r r C (c; c a,b]) [ : = 0 lim m = (m +1)! 1.08.- Serie de Mac-Laurin.

Es la serie de Taylor para el caso a=0, o sea:

r r = r + 1 ( r b + 1 ( 2 r r 2 + .. + 1 ( m r r m + .. ) ) b ) b B 0 0 0 0 1! 2! m!
1.09.- Valor de la diferencia B - A Para AB=dx y indefinidamente diferenciable con derivada finita para x=a, podremos escribir la frmula de Taylor de esta manera:

r r - r = 1 ( r dx + 1 ( 2 r d r 2 + .. + 1 ( m r d r m + .. ) ) x ) x B A A A A 1! 2! m!
Es una consecuencia de los ltimos prrafos. 1.10.- A continuacin vamos a detallar las operaciones antes omitidas para obtener la ecuacin (74). Por no ser necesario y para simplificar, suprimiremos el signo en los exponentes. En primer lugar vamos a considerar por separado los trminos que resultan del producto por de cada trmino del corchete de (72) con la excepcin del ltimo y los sustituiremos en (73) obteniendo m+1 trminos de ()C(b-a). Como para el trmino m+1, aplicando los teoremas fundamentales de esta lgebra se verifica:

r r m rr r r r rm { m )(b-x) ]} = m(b-x)]() [( [
el trmino m+1 en (73) puede representarse as:

166

 m+1 =

r r m rr r r 1 { m(b-x) ]() C b-a) [ }( m!

y con 0im, para el trmino general i+1 tendremos:

i+1 =

r r r r 1 r { (b-a)][i(b-x)i](r)}c [ i!

Teniendo en cuenta que el factor , como operador de derivacin, se refiere tanto a (b-x)i como a , consideraremos a i+1 como suma de dos sumandos i+1 y i+1 i, el primero para como tensor afectado y el segundo para (b-x) como tensor afectado. 1.11.- Siempre aplicando los teoremas fundamentales, para el valor en C del primer sumando tendremos:

r ri r r r r ri r r r 1 1 r r +1 = [i ] [(b-c) b-a) ]= [i+1 ][(b-c) b-a) ] ( ( i C c i! i!

Ahora bien, por tener igual direccin y sentido podemos sustituir b-c por k(b-a) y tendremos:

+1 = i

r ri r 1 i+1 r i r r i+1 r 1 r [ ][k (b-a) ] = [ (i+1 ) ki b-a)+1] c c ( i! i!

Para el valor en C del segundo sumando se verifica:

+1 = i

r r i r r rr 1 { i b-x)] c b-a)() [ ( }( C i!

Pero [i(b-x)i] es la derivada de un monomio en (b-x) i i-1 y sustituyendo por su valor -i (b-x) dado por (17) y A'6.03c, se tiene: +1 = i

r ri r r rr 1 i{[i b-x)-1](b-a)() C = ( } i!

r ri r r r ri r r r i 1 rr r = - {i b-x)-1 b-a)]() C = [( ( (i )[(b-c)-1 b-a) ] ( } C i! (i-1)!

y por consiguiente:

i+1 = - i
1.12.- Clculo del ltimo trmino . Tendremos en cuenta que la fraccin que figura en la expresin de es de trminos escalares.
r r r m } [( r r { b-x) +1] C r r = () r r r m+1 (b-a) b-a) (

167

y como por ser derivada de un monomio se verifica: {[(b-x)m+1]}C = -(m+1)(b-c)m v v tendremos sustituyendo:
r r rm r r r r rm r r r r b-c) b-a)] r r [(m +1)(b-c) ](b-a) [( ( = - +1)() (m = - ) ( r r r m+1 r r r m+1 b-a) ( b-a) (

Ahora bien, por tener igual direccin y sentido podemos escribir b-c = k(b-a) y sustituir, con lo que quedar:
r r rm rr r r m b-a) +1 ( (m (m = - +1)() r r r m+1 = - +1)() m k k ( b-a)

1.13.- Resumiendo, los trminos de {()(b-a)}C, son: 1 2 3 . . m+1

= = = .

1 2 1 3 2 . . . . .

r rm r 1 r = m+1 - m = [ ( m+1 ) km(b-a) +1] - m C m! = - (m+1)()km.

Sumando miembro a miembro, queda:

r rm r 1 rr r 0 = [ ( m+1 ) km(b-a) +1] - (m +1)() m k C m!

de donde se deduce:
rr = 1 r r rm r [( m+1 )(b-a) +1] C (m +1)!

que es la ecuacin que buscbamos.

168

APENDICE
1.Clculo de n. Ampliacin de Anlisis T. C'1.07.

1.01.- Tomaremos p entero con valores 1,2,3.. y tendremos as que 2p representar cualquier entero par y 2p-1 2p+1 cualquier entero impar. 1.02.- Utilizaremos las siguientes integrales definidas que constan en el Htte: expresiones de

cos2p xdx =

1 3 2p-1) 5 ( 246 2p) 2 ( 2 4 2p) 6 ( 135 2p +1) (

cos2p+1 xdx =

1.03.- Utilizaremos del ensayo sobre cudricas los valores que nos da del volumen Vn de las esferas para valores de n tales como 2p y sus inmediatos inferior y superior, sea los impares 2p-1 y 2p+1.

V2p-1 =

2p p-1r2p-1 (2p-1)(2p-3) 531 V2p = 1 p 2p r p!

V2p+1 =

2.2p pr2p+1 (2p+1)(2p-1) 531

1.04.- Clculo de las constantes kn (Clculo T. C'1.02) para n igual a 2p-1, 2p y 2p+1.

k2p-1

2p p-1 (2p-1)(2p-3) 531 k2p = 1 p p!

k2p+1 =

2.2p p (2p+1)(2p-1) 531

1.05.- Relacin entre constantes k para valores de n 2p+1 y 2p y para valores 2p y 2p-1: 169

(2p)(2p-2) 42 2pp! k2p+1 = 2 = 2 (2p+1)(2p-1) 31 (2p+1)(2p-1) 31 k2p

(2p-1)(2p-3) 31 k2p = 2 p p! 2 k2p-1 2

(2p-1)(2p-3) 31 = 2 (2p)(2p-2) 4 2 2

Estas relaciones se pueden poner en funcin de cosenos de acuerdo con las frmulas vistas en '1.02 en la forma siguiente:
(2p 2(2p) -2) 42 2(2p) + 2 k2p+1 = = cos2p-1xdx 2p+1 (2p-1) 31 2p+1 0 k2p

(2p 2(2p-1) -3) 31 2(2p-1) + 2 k2p = = 0 cos2p-2xdx 2p (2p-2) 42 2 2p k2p-1

1.06.- Para un espacio de dimensin impar n=2p+1, la primera ecuacin queda en la forma:
2(n-1) + 2 kn = 0 cos n-2 xdx n kn-1

y si es de dimensin par n=2p la segunda ecuacin queda as:

2(n-1) + 2 kn = 0 cosn-2 xdx n kn-1

Por lo tanto, tanto si la dimensin n del espacio es par o impar, siempre se tiene:

cos n-2xdx = n =

nkn 2(n-1) n-1 k

170

INDICE DE EQUACIONES
AT( 1) AT( 2) AT( 3) AT( 4) AT( 5) AT( 6) AT( 7) AT( 8) AT( 9) AT(10) AT(11) AT(12) AT(13) AT(14) AT(15) AT(16) AT(17) AT(18) AT(19) AT(20) AT(21) AT(22) AT(23) AT(24) AT(25) AT(26) AT(27) AT(28) AT(29) CT( 1) CT( 2) CT( 3) CT( 4) CT( 5) CT( 6) 14 14 14 22 23 23 23 24 24 25 25 26 26 26 28 28 29 29 29 30 30 34 34 44 44 44 44 44 71 98 98 99 100 102 102 CT( 7) CT( 8) CT( 9) CT(10) CT(11) CT(12) CT(13) CT(14) CT(15) CT(16) CT(17) CT(18) CT(19) CT(20) CT(21) CT(22) CT(23) CT(24) CT(25) CT(26) CT(27) CT(28) CT(29) CT(29') CT(30) CT(31) CT(32) CT(33) CT(34) CT(35) CT(36) CT(37) CT(38) CT(39) CT(40) 102 103 103 103 104 104 104 104 105 107 108 108 118 118 121 121 121 121 121 122 123 127 127 128 129 129 129 130 130 130 130 131 132 132 133 CT(41) CT(42) CT(43) CT(44) CT(45) CT(46) CT(47) CT(48) CT(49) CT(50) CT(51) CT(52) CT(53) CT(54) CT(55) CT(56) CT(57) CT(58) CT(59) CT(60) CT(61) CT(62) CT(63) CT(64) CT(65) CT(66) CT(67) CT(68) CT(69) CT(70) CT(71) CT(72) CT(73) CT(74) CT(75) 133 134 137 137 139 140 141 141 141 141 141 142 142 142 143 145 145 146 146 147 148 148 148 149 150 152 153 154 154 154 155 164 164 164 164

171