Sei sulla pagina 1di 177

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


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

3
4
7
8
9

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.

11
11
16
18
20
22
38
42
44
48
50

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.

55
55
57
62
66
69
71
73
75
80
89
90
91
93

ANALISIS TENSORIAL

95

A.- ESPACIOS PUNTUALES. DERIVADAS.


1.- Espacios puntuales afines.
2.- Utilizacin del vector .
I

95
95
104

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.

119
119
120
126
127
131

C.- INTEGRALES Y CAMPOS PARTICULARES.


r-n.
1.- Integrales de volumen relativas a r
2.- Valor de D para cualquier cuerpo.
3.- Campos solenoidales.
4.- Campos irrotacionales,
5.- Campos armnicos.

135
135
143
145
152
156

D.- ECUACIONES DIFERENCIALES


1.- Ejemplos de ecuaciones diferenciales.

159
159

E.- SERIES POLINOMICAS.

163

APENDICE

169

INDICE DE EQUACIONES

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
, w
, etc., y los
minsculas con flecha en la parte superior: v
tensores por letras griegas minsculas con flecha en la parte
w
) son escalares complejos, sus
superior:
,
, etc. Si (v

) * y (v
w
)*.

conjugados se representarn por


y (v
w
Normalmente, cuando un escalar es un coeficiente de un
, lo representaremos con la misma letra v sin
vector tal como v
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,
escritos uno a continuacin del otro. Ejemplo: t1214
Una matriz se expresar con una letra mayscula como
un conjunto jde elementos. Sea por ejemplo la matriz A = {ji}. La
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, 32 no representa a la matriz A, sino a un elemento
determinado de ella, el de fila 3 y columna 2.
Sea un sumatorio nk=m
ak. Lo representaremos por nm
ak si
no hay duda sobre la magnitud que toma valores y si tampoco hay
o simplemente por
duda respecto a los valores lmites, por ka
k

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.
= v 1v
+ v2v
+ ..... + vnv

viv
i
1
2
n
aijbji = a11b11+a12b21+..+a21b12+a22b22+....+an1b1n+an2b2n+..

B.- FUNDAMENTOS DEL ALGEBRA TENSORIAL INTRINSECA A


DESARROLLAR
1.- Algunos aspectos del espacio vectorial E
propiamen-te euclidianos 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
} y como base dual a {e
j}, sabiendo que verifican
a {e
i
e
j = e
je
= j (smbolo de Kronecker).
e
i
i
i
Por consiguiente podemos tomar como bases de Es, las
siguientes:
e
..e
},
{e
i
j
s

ie
..e
}, {e
e
j..e
s}, etc.
{e
j
s
i

1.02.- Expresiones de un tensor.


a) Todo tensor de Es puede expresarse por una
combinacin lineal de productos tensoriales
elementales, es
decir, correspondientes a elementos de Es:
r
=

(a b .. p )
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
e
j..e
) = .....
i
j
s
j
i
s
} como base
Si no se indica lo contrario tomaremos {e
i
principal y en consecuencia los coeficientes escalares se
denominan:
Contravariantes: tij..s
3

Covariantes:

tij..s

Mixtos:

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.
Es
Definimos como
producto tensorial de un tensor
m
(s+m)

de E
por un tensor E a un tensor
de las
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


4

el producto escalar en E.
4.- El producto contracto de dos productos tensoriales
elementales, se verifica ordenadamente del modo siguiente:

a
...a
a
...a
)(b
(a
1
2
m
m+1
n
1b 2...b m) =

= (a
1 1)(a 2b 2)...(a mb m) [a m+1...a n]
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.
ie
je
);
e
)
Sean los tensores =tijk(e
=slm(e
k
l
m

= [t k(e
ie
je
)] [slm(e
e
)] =
=
ij
k
l
m

1.-

ie
je
e
e
)
= tijkslm(e
k
l
m
pijklm = tijkslm

ie
je
)][slm(e
e
)] =
=
= [tijk(e
k
l
m

2.-

ie
)(e
je
)e
=t ksije

= tijkslm(e
l
m
k
ij
k
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

1
2
r
r+1
s

= c1c2....ct
tendremos:

= (a
1 1)(a 2b 2)...(a rb r)[b r+1...b s]

= a
a
...a
c
c
...c

y por consiguiente:

= (a
b
)...(a
b
....c
]
(
)
1 1)(a 2b
2
r r)[b r+1...b s][c 1c

2
t

()= (a b )(a b )...(a b )[c c ....c ][b ...b ]


1

r+1

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

1b2...brbr+1...b sc1c 2....c t


y por consiguiente:

b
)...(a
b

= (a
1 1)(a 2b
2
r r)[b
r+1...b
1c 2....c t]

sc

)
= (a
b )(a
b )...(a
b )[b ...b

]
c c ....c
1

r+1

Teorema 3.- Sean 4 tensores , ,


y
construidos

sobre E, tales que y son de igual orden. se verifica:


)(

)(

)
(
) = (

es un escalar, y podremos escribir:


Pues =
)(

)
]

(
) = [(
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:
je
) = [ti'j' (e
e
e
k')](e
ie
je
) =
(e
ie
k
k'
i'
j'
k
e
i)(e
e
j)(e
k'e
) =
= ti'j'k'(e
i'
j'
k

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:

;
m;
fj = jie
fk = mke
jiik = kj = smbolo de Kronecker
i
6

g h
e
e
se
t)= tvw (f
Sea por ejemplo = tirst(e
i
r
gh
vf wf f )

t
i][we
r][se

tvwgh= (fvfwfgfh) = ([ive


r
g s][he t])=
ie
re
e
) = vwsttir
= ivrwgsht (e
s
t
i r g h
st
Como iv,rw,gs y ht 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

siendo un tensor cualquiera, hallamos un conjunto de escalares


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)
Los productos contractos de un tensor

s
determinado dem E
por los distintos vectores de E , son
vectores de E que varan linealmente con ellos. Por lo tantos
dichos
productos son las imgenes de una aplicacin lineal de E
m
en E representada por el tensor
.
El tensor de E(s+m) correspondiente
a la aplicacin

} de Es tiene por imagen {f


lineal por la que unaj
base {g
),
i
j
} la base dual de {g
}. iEn
f ) siendo {g
vamos a ver que es (g
j
j
efecto:

jf
j
(g
j)g i = (g g i)f j = f i
3.02.- De acuerdo con el prrafo anterior, la
aplicacin lineal idntica vendr representada por el tensor
ig
= g
g
i
g
i
i
referido a cualquier par de bases duales, pues por el teorema 1 y
'2.06, tenemos:
7

ig
)a
= (g
ia
)g
= aig
= a

(g
i
i
i
Para los vectores de E, la aplicacin lineal idntica
vendr representada por un tensor de 2 orden:

e
i = e
ie

I = e
i
i
i} y {e
} bases duales de E.
con {e
i

El producto contracto de I por un producto tensorial


b
) cualquiera de dos vectores de E, es el producto escalar de
(a
ambos. Pues tenemos:

b
I(a
b) = (Ia
)b = a

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:

e
) =
i
i = gije

I= gij(e
eiigijejj =
eiie

e
i
j

i
j

jj
I= g (e e ) = e g e = e e

e = g e
ij

ij

i j
k
I= g jj(eiie ) =
eke

e
) =
k
I= gi (e
eke
j

ij

g jj = jj (smbolo de Kronecker)
gi = i (smbolo de Kronecker)
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
gijeii =
gije =

ej =
ej =

ie
) = (ejei)e

ej(e
i
i

ii
e j(eie ) = (e ie j)e

gij = eiej
gij = eiej

4.- Operacin contraccin de tensores.


La definiremos como un modelo.
Sea un producto tensorial nico

= a
b

cd..m
La contraccin de los factores 2,4 es el tensor

= (b
)
d)(ac..m
Si el tensor viene dado en forma normal en funcin de
bases duales, tal como
e
e
e
l..e
m)
= tijk (e
l..m
i
j
k
8

la contraccin 2,4 ser:


= tijk (e
e
l)(e
e
..e
m) = (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.
e
..e
)
a)
Si =tij..p(e
es
la
representacin
i
j
p
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.

..
) est expresado por un
b) Si el tensor = (
1
2
m
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
cuando {
} es un conjunto
c) La norma del tensor =
i
i
de tensores de igual orden ortogonales dos a dos, es la suma de
las normas de los sumandos:
+ +...+ )(
+ +...+ ) = + + .. +
(
l
2
2m
l
2
2m
1 1
2 2
m m
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
()()
cos (,) = rr r r ;
()()
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
Nucr
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:

Imr

1.05.- Caractersticas de

ncleos e imgenes.

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
} son un
contractos de por los tensores de un conjunto {
i

conjunto independiente, tambin lo es {i}.


d) La sumar de dimensiones de Nucr y Ims-r cada uno en su
subespacio es n . Efectivamente:
Si dim Nucr = nr, o sea todo el espacio, ser nulo ,
as como la dimensin de su imagen.
} de algn
Si dim Nucr = p<nr, adoptando una base {
i

subespacio
suplementario de Nucr, y por tanto de dimensin
r
q=n -p, siempre se verificar:
(q=nr-p): (1
1+...+q
q) = 1
1+...+q
q
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

como sea que ya es un generador de Ims-r, ser adems una base.


La dimensin de Ims-r es pues q=nr-p.

1.06.- Tensor expresado como producto


i
i
un tensor de
Siempre es posible expresar por
i
i
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
} de orden r<s y, por tanto los {
} de orden s-r.
s, los {
i
i} contiene
1.07.- El subespacio A generado por los {
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
i}.
subespacio A engendrado por los {
Como por hiptesis todo tensor
v de A es ortogonal a
todo tensor de A, y es de orden r, utilizando el 1 teorema
fundamental, podremos escribir:

i
)v
= (
i

v = (
v)
i
i
Ims-r.

= 0

vNucr ANucr AN

} contiene a
1.08.- El subespacio B generado por {
i

Pues los tensores de Ims-r son los productos de con


13


cualquier tensor de orden r y siempre pueden expresarse como
}, ya que siendo escalares las
funcin lineal i de los {
i

expresiones ( ) se verifica:

= (
i
)
i)

(1)
= (
i
i
1.09.- Evidentemente, si los
'i no son independientes
i}, y
podemos ponerlos en funcin de los tensores de una base {
entonces siempre podremos expresar de orden s por:
=

i
i

(2)

i} cualquiera del espacio vectorial de los


adoptando una base {
tensores de orden r.
1.10.- Sea
i}, se verifica
de {
tenemos:

expresado por (2). Si {


} es la base dual
i

i = i, pues por el 11 teorema fundamental

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

=
i
i

i} y {
} son bases duales.
de utilizacin general cuando {
i
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.

la aplicacin

i de orden r
y al resto de

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

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
} de orden r, si dim Nuc = p, los p sumandos
tensores {
i
r
sern nulos por
correspondientes a los
i de la base de Nuc
r
r
serlo los segundos factores, y quedarn n -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.
est escrita
1.14.- Siempre que la expresin =
i
i
con un mnimo de sumandos para el orden r elegido para los
tensores
tal como se acaba de indicar, tendremos en consecuencia:
i} = Base subespacio ortogonal a Nuc
{
r
} = Base Im .
{
i
s-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:

b
= [i(a
i
ic id iei)]

~(2,4) = [ (a
d
i
i
ic ib ie i)]

Para cualesquiera vectores h,u
,v,w,q se tiene;


b

[(ia
i
icid ie i)](h u v w q )=[i(a ih )(b iu )(c iv )(d iw )(e iq )]


d

[(ia
i
icib ie i)](h w v u q )=[i(a ih )(d iw )(c iv )(b iu )(e iq )]
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 (
= 0
1
2
y por tanto, como cualquier tensor
de orden s>1 puede descomponerse en suma de productos tensoriales de vectores, se tendra
tambin:
):
(
2.02.-

- )
= 0
(
1
2

Cuando

no

hay
16

duda

=
1
2
sobre

la

clase

de

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

~
y en , siendo y
tensores en los que es posible la
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;

17

etc.

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:

tijkmq= timkjq;

tijkmq= timkjq; etc.

Antisimetra 2,4:

tijkmq=-timkjq;

ijkmq

imkjq

=-t

; 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 losr coeficientes de ndices permutados, la verifiquen
la totalidad n 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

18

miembro

miembro

= -

= 0

3.05.- La dimensin del subespacio de los tensores de


simetra m,p, puede verse que es:
n +1 r-2

n
2
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 suplementario del anterior, pues la
suma de sus dimensiones es la dimensin nr.

19

4.- Simetra y antisimetra 1,2.


4.01.- Sea un tensor de simetra 1,2 expresado por:
= v

un vector y
siendo v
un tensor de cualquier orden.
Para algn tensor
de orden inferior en una unidad al

de se verificar:
):
(

= v
v

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


i
= w
i
tendremos

i
= v
w

Por la simetra 1,2 de se verifica:


i i
w

i)(a
b
w

i)(b
a
)(b
(v
)=(v
a) (v
wi) =(vb)(awi)
i
i

i
a
)(b
b
[(v
wi) - (v
)(awi)] = 0
y por ser linealmente independientes los tensores
i:

a
)(b
b
a
)w
- (a
w
)v
]b
(i):
0 = (v
wi) - (v
)(awi) = [(v
i
i

y por ser b un vector cualquiera:


(i):

a
)w
= (a
w
)v

(v
i
i

Por ser linealmente independientes los


wi es necesario
, que utilizado
que su conjunto conste de un vector nico v
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
i

nico tensor .
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
v
h
i
iu i)
Tendremos anlogamente:
20


= (r
v
h
)
iv
i
puesto que por transposiciones sucesivas tenemos:

~ = (v
u
r
h
i
i
i)
con simetra 1,2 y por tanto:

~ = (v
v
r
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
en el lugar m y tiene simetra m,p, se
nico factor vectorial v
puede expresar tambin como producto tensorial con el mismo
nico no slo en el lugar m sino en el p.
factor vectorial v
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
a
)w
=
(v
i

como

en

'4.03,

w
)v

-(a
i

y tendramos por una parte, que por ser linealmente


independientes los
wi sera necesario que su conjunto constara de
y por
un solo vector v
otra parte, sustituyendo este valor en la
igualdad final, tendramos tambin:
a
)v
= - (a
v
)v

(v
cualquier vector.
lo que es imposible al ser a
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

i
i
i..r i)= i[pP(a ib i..r i)]= -i(pI(a ibi..r 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:




(a
b
) = - (b
)
c..r
ac..r
lo que implica:


a
)(b
) = -(
b
)
(
c..r
)(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
e
j..e
) = .....
i
j
r
j
i
r

Si el tensor es totalmente
verificarn las siguientes propiedades:

antisimtrico,

se

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.
i
de con un mnimo de
Puesto que la expresin =
1
sumandos, sabemos por '1.14 que implica:
i} = Base subespacio ortogonal a Nuc .
{
r

{1} = Base de Ims-r.



i
Y con totalmente antisimtrico tendremos =
i
tambin con un mnimo de sumandos, y por tanto:
} = Base subespacio ortogonal a Nuc
{
s-r
ii} = Base de Im
{
r
5.05.- Producto exterior.
,b
,...r
y
Llamamos producto exterior de los vectores a

lo expresamos por ab..r, al siguiente tensor:

b
= p(a
b
) - p(a
b
)
(8)
a
..r
..r
..r
p P
pI
que es evidentemente un tensor totalmente antisimtrico.
5.06.- Ejemplo de producto exterior:




b
b
a
b
c
b
b
a
c = a
c + bc
a + c
- a
- ba
c - c
a
5.07.- Empleando productos exteriores
(6) y (7) quedan de la siguiente manera:

las ecuaciones

e
..e
) = 1 tij..r(e
e
..e
)
= t(ij..r)(e
i
j
r
i
j
r
q!
e
..e
) por
Si en la primera ecuacin sustituimos (e
i
j
r

[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:
(ij..r)
(ij..r)e

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

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

= simbolo de Kronecker

t(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 E n-dimensional:
de orden qn, en funcin de una base {e
i
=mie
;..s
=ske
):
(m
i
k

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

= m
(ij..r)

se verifica:

mi ni .. si
(ij..r)

mj nj .. sj
.

. ..

= Det {V m

Vn .. Vs}

mr nr .. sr
siendo las Vi las matrices columna ( bien fila)
,e ,..e
}.
coeficientes de los factores respecto a {e
i
j
r

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

} y {e
i} duales, es
La expresin de en bases {e
i
= tij..r(e
e
..e
) = t(ij..r)e

i
j
r
(ij..r)
= t (e
ie
j..e
r) = 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:
(ij..r)
= tij..rt
t(ij..r)
ij..r = q! t

(10)
y por lo tanto:
(11)

(ij..r) = q!
e
(ij..r)e
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
,b
,..,r
, con qs.
cualquiera de orden s, y sean q vectores a
De acuerdo con (8) y '5.01-2, se verifica:
(12)

) = 1
b
) - p(a
b
)]=
(ab..r
[pPp(a
..r
..r
pI
q!
q!

b
)
=
(a
..r

} una base de
5.11.- Sea {e
i } tales que v
=
conjunto de n vectores {v
j
i
6 habr un nico componente y podremos
(13)

E n-dimensional, y el

ei. En virtud de '5.08escribir:

v
..v
= e

e
..
e
= (Det{t i})e

= v
1
2
n
1
2
n
j
(12..n)

Si el conjunto hubiera sido de solamente q<n vectores,


} y por {e
},
y no coincidieran los subespacios generados por {v
i
i
habra ms componentes. Para cada uno, y segn '5.08-6,i p(..)
sera igual al determinante de la matriz extrada de {tj } para
los q valores ,,..,y de i as como de j, y tendramos:

v
..v
= e

e
..
e
= (Det {t i}

j
(..))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:

v
..v
= (v
v
..v
)
Escalar polar de v
1
2
n
1
2
n
y a la ecuacin
escalares:
(14)

(13)

entre

tensores,

corresponder

entre

v
..v
) = (Det {V V .. V })(e
e
..e
)
(v
1
2
n
1
2
n
1
2
n
5.13.- Producto de dos escalares polares.

} y al
Si relacionamos el primero con una base {e
i
26

i) podremos escribir:
segundo con la base dual {e
v
..v
) = (Det {V V .. V })(e
e
..e
)
(v
1
2
n
1
2
n
1
2
n
W1 ~
2
W ~ r1 r 2
rn
r
r
1 r2
n
(w w .. w )' = Det
(e e .. e )'
..
n
W ~
Pero tenemos:

W1 ~

2
~

[Det
][Det{V1 V2 ..Vn}] = Det
..

W ~

W1 ~
2
W ~

{V1 V2 ..Vn
..

n
W ~

} =

~jV } = Det {w
jv
}
= Det{W
i
i
y por lo tanto, el producto contracto miembro a miembro resulta:

v
..v
)(w
1w
2..w
n) = [Det{w
jv
}](e
..e
)(e
i..e
n)
((v
1
2
n
i
i
n
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} sea la base {v
i} dual de
5.15.- En el
caso de que {w
j

{vi}, tendremos Det{w vi} = 1, y la ltima ecuacin queda as:


v
..v
)(v
1v
2..v
n) = (e
..e
)(e
i..e
n)
(v
1
2
n
i
n
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)

v
..v
)(w
1w
2..w
n) = Det{w
jv
}
(v
1
2
n
i
5.17.- Tensor de Ricci.
Sean las ecuaciones (12) y (14) antes deducidas:

v
..v

e
..e
)
v
= (Det {V1 V2 .. Vn})(e
1
2
n
1
2

n)
(v1v2..vn) = (Det {V1 V2 .. Vn})(e1e2..e
n
}
en las que {v
i
fundamental.

} son bases cualesquiera del espacio


(e
j

Dividiendo miembro a miembro estas dos ecuaciones, y


expresando por el tensor cociente, tendremos:
r r
r
r r
r
r
e1 e2 .. en
v v .. vn
= r1 r2
=
r r .. r )
(v1 v2.. vr n) (e
en
1 e2
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
1 f 2 .. f 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
e
..e
.
de orden s no superior al de , tal como
=e
1
2
s
Por (12) siempre tendremos:
(16)

(e
e
..e
) = 1 (e
e
..e
)
1
2
s
1
2
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


} del
independiente, completaremos a partir de ellos una base {e
i

espacio. Utilizando la base dual para expresar tendremos:

(e
e
..e
) =
1
2
s

r r
r
e1 e2 .. en
)
(e1e2..e
s
r
r
1 r2
n
(e e .. e )

Como el numerador de la fraccin es un sumatorio de


productos tensoriales y debe multiplicarse por el producto
e
..e
, podemos suprimir todos aquellos
tensorial
= e
1
2
s
sumandos cuyos productos con
se anulen y el producto contracto
quedar de la siguiente forma:

1e
2..e
n)(e
e
..e
)=
(e
1
2
s
(17) 1 2
e
..e
s)(e
s+1e
s+2..e
n)](e
e
..e
) = e
s+1e
s+2..e
n
[(e
1
2
s

e
..e
)
El denominador es el inverso de (e
1
2
n
Sustituyendo estos resultados tendremos finalmente:

(e
e
..e
) = (e
s+1e
s+2..e
n)(e
e
..e
)
1
2
s
1
2
n
y teniendo en cuenta (16)
(18)

(e ..e
)=(e
s+1e
s+2..e
n)(e
e
..e
)= 1 (e
..e
)
1
s
1
2
n
1
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
n
1
2
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)

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

=(e e ..e )(e e ..e )


1

5.22.- La ecuacin anterior relaciona


e
..e
parcial,
de un producto exterior e
1
2
s
(escalar) polar de un producto exterior
completo.

el tensor polar
con el tensor
e
..e
..e

e
1
2
s
n

Vamos a obtener ahora la relacin entre el tensor polar


del mismo producto exterior parcial anterior y el tensor polar
e
..e
..e
con s+r n.
de un producto exterior intermedio e
1
2
s
s+r
Por lo dicho en el prrafo anterior, tenemos:

e
..e
..e
) = (e
s+r+1..e
n)(e
e
..e
)
(e
1
2
s
s+r
1
2
n
El primer factor del 2 miembro podemos expresarlo as:

s+r+1..e
n=[(e
s+1..e
s+r)(e
s+r+1..e
n)](e
..e
)
e
s+1
s+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..e
n=(e
s+1..e
s+re
s+r+1..e
n)(e
..e
)=
e
s+1
s+r
Sustituyendo tenemos:

e
..e
)=(e
s+1..e
n)(e
..e
)(e
e
..e
)=
(e
1
2
s+r
s+1
s+r
1
2
n
y teniendo en cuenta (20):
(21)

e
..e
)=(e
e
..e
)(e
..e
)
(e
1
2
s+r
1
2
s
s+1
s+r

Finalmente, como para cada uno de los r! sumandos


..e
el resultado de
productos tensoriales que constituyen e
s+1
s+r

su producto contracto por (e1e2..es) es el mismo, tambin


tendremos:

e
..e
) = 1 (e
e
..e
)(e
..e
)
(e
1
2
s+r
1
2
s
s+1
s+r
r!
5.23.- Casos particulares.
1.- s+r = n.
30

La ltima ecuacin podremos escribirla as:

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

e
..e
)=(e
e
..e
)e

(e
1
2
n
1
2
n-1
n
e
..e
) es el que con
de donde deducimos que el vector (e
1
2
n-1

cualquier vector a verifica:


e
..e
)a
=(e
e
..e
a
)
(e
1
2
n-1
1
2
n-1
,e
,.., y a e
, ya que el que a

y es por tanto ortogonal a e


1
2
n-1
coincida con uno de estos vectores o sea funcin lineal de los
mismos, es suficiente para anular el segundo 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
) =
y recordaremos que para bases duales
se verifica (
1 2

n) = 1
(e1e2..en)(e e ..e
La ecuacin (20) dice as:

e
..e
) = (e
s+1e
s+2..e
n)(e
e
..e
)
(e
1
2
s
1
2
n
que tambin podemos aplicar con bases duales, resultando:

s+1e
s+2..e
n) = (e
e
..e
)(e
s+1..e
ne
1..e
s)
(e
1
2
s
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).

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

s+1e
s+2..e
n)(e
e
..e )
() = (e
1
2
n
s+1e
s+2..e
n) calculado en dicho
Pero el valor de (e
ltimo prrafo es:
e
..e
)(e
s+1..e
ne
1..e
s) = (e
s+1..e
ne
1..e
s)
(e
1
2
s
y sustituyendo:

s+1..e
ne
1..e
s)(e
e
..e )] =
() = [(e
1
2
n
1e
2..e
n)](e
e
..e
) =
= [(e
1
2
n
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.

polar de un tensor de orden n-1, y


Sea el vector s
1

.
{si} una base del espacio vectorial que incluye a s
1
Podremos escribir de acuerdo con (20)

) = (s
2s
3..s
n)(s
s
..s
)
= () = (s
1
1
2
n
2,s
3,..,s
n del producto exterior son
y como todos los factores s
tendremos tambin;
ortogonales a s
1

s
= 0
1
5.25.- Componente totalmente antisimtrica de un tensor
cualquiera.
Recordemos la ecuacin (12)

b
) = 1
b
)
(a
..r
(a
..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

b..
r de orden q sobre el subespacio vectorial de los tensores
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
e
..e
)
(ei ej .. er)= t(ij..r)(e
t
a =
i
j
r
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)]

..r
) resulta para
y haciendo i=
(a
la siguiente expresin:
i
i
rr
=

[ (p ..t )]
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

,a
} y en general
a1, por A2 el subespacio bidimensional de base {a
1
2

por Ai el espacio i-dimensional de base {a1,a2,..,a


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.

puede descomponerse en forma


Para i2, cada vector a
i
nica en dos sumandos: uno de Hi y el otro de Ai-1:

A ):
= h

(hiHi; m
a
i
i-1
i
i + mi
no es independiente de {a
,a
,..,a
}, podemos
y dado que m
i
1
2
i-1

sustituir en el producto exterior, los vectores ai por los hi, sin


alterar el valor del producto, y as obtendremos:

= a
a
..a
= a
h
1
2
n
1
2h 3..h n

forman un sistema
Los vectores hi junto con el a
1

ortogonal. Si hi es el mdulo de hi y ei es el vector que verifica


=h e

} resulta ser una base ortonormal del


h
el conjunto {e
i
i i,
i
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
a
..a
) = a h h ..h (e
e
..e
) = a h h ..h = V
(a
1
2
n
1 2 3
n
1
2
n
1 2 3
n

e
..e
) vale 1 -1
pues por '5.16 sabemos que el escalar (e
1
2
n
segn que la base sea positiva o negativa.
Como el escalar a1h2h3..hn es igual al volumen V del
,..,a
,
paraleleppedo determinado por el origen y los puntos
a1,a
2
i

al que llamaremos paraleleppedo generado por {ai}, por (22)


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

a
..a
) = V
(a
1
2
n

Siendo t(ij..r) raz cuadrada de la expresin de (n!)-1 en


base ortonormal ('5.09),
la frmula
general para cualquier base y

(ij,,r), ser pues:


su dual, con =t(ij..r)e
=t
e
(ij..r)
(ij..r)
(23)

= (a
a
..a
) = V = ( (ij..r))(
t
t(ij..r))
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
a
..a
.
exteriores de orden q<n, tales como q = a
1
2
q
Siguiendo los mismos razonamientos y limitndonos a
}, podemos definir como
considerar el subespacio generado por {a
i
volumen del tensor, y tambin como volumen del paraleleppedo
}, al escalar V que para cualquier base
generado por {a
i
q
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 (1,2,..,q)
a la del subespacio
}. Entonces V coincide con t
generado por {a
.
i
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
= s(ij..r)(e
e
..e
)
= a
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
=e
k es el vector base omitido en el ndice (ij..r) podremos
e
k
escribir tambin:
S =

(s )
k

de un tensor
5.31.- Definimos como vector superficie s

totalmente antisimtrico de orden n-1, que expresado en una


base cualquiera es:

b
..m
= s(ij..r)(e
e
..e
)
= a
i
j
r
a su vector polar
.
Por tanto, si ek corresponde al vector base omitido en
e
..e
e
), por (20) tendremos:
(ij..r), haciendo Vk=(e
i
j
r
k

=
e
..e
) = s(ij..r)e
k(e
e
..e
e
) =
s
= s(ij..r)(e
i
j
r
i
j
r
k
k
= s(ij..r)Vke
e
..e
) tendremos:
y para V=(e
1
2
n
(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:


i
=aie
;b
=mie

a
=b ei;...;m
i
i
consideremos ahora el determinante simblico:

a1

a2 ...

an

b1

b2 ...

bn

. ...

. ...

m1 m2 ... mn
r1 V r 2 ... V r n
Ve
e
e
Podremos comprobar que los menores que resultan de
desarrollar el determinante por la ltima fila son los
es el
coeficientes estrictos, segn vimos en '5.08-6. Si e
k
vector base omitido en (ij..r) tendremos para el menor
36

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

k = s
;
= MkVke

sk = MkVk

Si tomamos como base una


ortonormal que incluya la
base
,b
} es fcil comprobar que el
del subespacio generado por {a
,..,m
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.

} de un espacio vectorial n-dimensional


Sea una base {e
i
cuyos vectores determinan un paraleleppedo de volumen
e
..e
).
V =(e
1
2
n
i} dual
Vamos a demostrar que los vectores de la base {e
de la anterior, pueden expresarse del modo siguiente:
(n):
(=n):

= - 1 (e
e
..e
e
e
..e
)
e
-1
+1
1
2
n
n-1
V
n = 1 (e
e
..e
)
e
1
2
n-1
V

Puesto que la primera ecuacin por (20) se puede


expresar as:
(n):

= - 1 e
(e
e
..e
e
e
..e
e
)
e
-1
+1

1
2
n
n-1
V

y por ser el parntesis una permutacin impar del orden natural


correspondiente a V:
(n):

= - 1 e
[-(e
e
..e
)] = - 1 e
(-V) = e

e
1
2
n
V
V
Respecto a la segunda ecuacin tenemos anlogamente:

(=n):

n =
e

1 n
e
) = 1 e
nV = e
n
e (e1e2..e
n-1
n
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

a
c..r
y designemos con una letra p distinta a cada una de las q!
permutaciones de sus factores.

b
)
p(a
c..r
Si P es el conjunto de permutaciones posibles, y
tenemos cualquier tensor totalmente simtrico de orden q o
mayor, se verificar:
(pP):

b
) = [p(a
b
)] = 1 r [p(a
b
)]
(a
..r
..r
..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:


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

= (a
i
i..r i)
Es completamente simtrico si y slo si con la misma
permutacin cualquiera de factores en cada sumando, no vara el
tensor:

(p; pP): (a
i
i..r i) = i[p(a ib i..r i)]
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:
tijk = 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.

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

= (a
i
i
i..ri);

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
i
i..m i)(p i..t i)]
en que se han sealado los primeros s factores vectoriales.
Su producto contracto por
ser:

= [{
(a
i
i..m i)}pi..t i]
y si el producto contracto del 21 miembro es el escalar i, queda:
)]
..t

= [ (p
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
,..,t
los dos tensores siguientes de orden s y com el conjunto r
i
i
que consta de h vectores.

..q
)(r
..t
=(ab
i
i
i
i
i);
40

r
hs =

(s-h)![

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

pP

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

de la i, la componente h-simtrica de se expresar por:

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

):
(x

x
m = x
m
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:

e
e
e
)
t1124 = (e
1
1
2
4

y las propiedades del tensor I mencionadas en B'2.10:

ie
;
;
b
I = e
Iv
= v
I(a
b ) = a
i
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,
} ortonormal, slo podemos considerar como factores
con base {e
i
e
), y
productos tensoriales posibles, a los del tipo (e
k
k
entonces se tiene:


e

(k):
1 = e
= I(e
k k = (I e k)e k
ke k)
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:

j
ie
f
kg

e
fj...g
i
k

},{f },...,(g

(en cuya expresin {e


i
i i
j i} sonk bases cualesquiera del

espacio n-dimensional, y (e },{f },...,{g } sus bases duales)


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
por b y expresado por a
b
de a
que coincide
con el vector polar
b
, con sentido positivo para {a
,b
de a
,(ab)}.

,b
Por tanto, si es el ngulo a
, se verifica:

b
b
) a
b
y b
b
(24) a
= (a
ortogonal a a
; |a
|=ab (sen )
y teniendo en cuenta (12) y (19) y con =tensor de Ricci,
resultan otras expresiones:
(25)

b
=
a

b
(ab) = (a
)
2

Como consecuencia de ello, y de acuerdo con '5.23-2,


,b
y c
vectores cualesquiera, se verifica:
para a

b
a
= 0; (a
b
b
a
)b
(26) a
= -ba
; a
)c= (bc
)a= (c
c)= (a
8.02.- Producto vectorial de dos vectores de una base.

,e
,e
}. En este
Consideremos cualquier base positiva {e
1
2
3

caso tambin lo son {e2,e3,e1} {e3,e1,e2}.


Atendiendo a la ecuacin (20) podremos escribir:
(27)

e
= (e
e
) = e
t(e
e
e
) = e
3(e
e
e
)
e
1
2
1
2
1
2
t
1
2
3

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

r
e3
1e
2 = e
(e
1e
2e
t)= e
(e
1e
2e
3) =
e
t
3
r r r )
(e
1 e2 e3
8.03.- Doble producto vectorial.

,b
vectores cualesquiera, se verifica la
Para a
y c
siguiente propiedad:


b
a
)b
b
(28)
(a
)c = (c
- (c
)a
Adoptando una base positiva cualquiera
,e
,e
} partiremos de la siguiente expresin:
{e
1
2
3
44

tal

como

e
)c

(e
1
2
es un vector cualquiera.
en que c
Podemos sustituir el parntesis por n el valor antes
, siendo I=e
e
y {e
} la base
hallado y en cuanto al vector c
n
n
adoptada, podemos sustituirlo de la siguiente manera:

= I
= (c
e
)e
n
c
c = (enen)c
n
resultando as:

e
) c
= [e
3(e
e
e
)][(c
e
)e
n] =
(e
1
2
1
2
3
n
e
e
) (e
3e
n)(c
e
) =
= (e
1
2
3
n
y sustituyendo por (27) el ltimo producto vectorial:

e
e
) (e
3e
ne
t)e
(c
e
) =
= (e
1
2
3
t
n
Permutando los factores del 2 tensor polar sin alterar
su valor, tendremos:

e
e
) (e
ne
te
3)e
(c
e
)
= (e
1
2
3
t
n
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

e
) c
= (c
e
)e
- (c
e
)e
= (e
e
)c

(e
1
2
1
2
2
1
1
2
y como la igualdad tambin se verificara
verificar para tres vectores cualesquiera.

=e
, se
para e
1
2

).
8.04.- Tensor (a

Llamamos
tensor (a) al tensor de 2 orden que con
cualquier vector b verifica:

)b
b
(a
= a
Es completamente antisimtrico, puesto que es otra
tensor polar del vector a
. Efectivamente:
expresin de a

b
= (a
)b
= (a
b
) = a
b

a
8.05.- Una consecuencia del prrafo anterior y de
'5.24-2, es que todo tensor antisimtrico de 2 orden puede
) siendo
su vector polar.
expresarse en la forma (

b
Por consiguiente para a
podremos escribir:

b
b
b
a
= (a
) = (a
) =

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

tambin el vector superficie del tensor y que su mdulo es el


y b, o mdulo de a
b.
rea del paralelogramo generado por a

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

= (a
) = 1(a
) = 1(a
)
a
2
2
polar del componente
8.07.- Coeficientes del vector

completamente antisimtrico a de un tensor de segundo orden.


e
).
Sea, en su expresin normal, = tij(e
i
j
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 tij(e
e
)

i
j
2

Llamando V al volumen positivo


sern:
coeficientes covariantes de

e
e
),
(e
1
2
3

e
= 1 tij(e
e
)e

s =
s
i
j
s
2
y por (26):

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

3 =

1 ij
t (eieje3)
2

y tendr dos trminos:

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

y anlogamente
46

los

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
, b
:
, y c
expresin del volumen V generado por tres vectores a



b
b
b
a
)b
V = (a
)c = (a
)c = (bc
)a = (c
c) = (a
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}


b
8.10.- El comprobar que el escalar (a
)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 a, b, que es su base,

((ab)=(ab)), avalan a la definicin elegida


para
el
operador .
8.11.- Por todo lo dicho anteriormente en un espacio ndimensional
podemos expresar el volumen V generado por n vectores

, b
y s
as:
a
,..., r

b
s
) = (a
b
) s

V = (a
...r
...r
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)

b
.
dimensional a
...r
8.12.- 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.

,e
) es una base ortonormal positiva, el
9.01.- Si {e
1
2
e
.
tensor de Ricci tendr ahora por expresin = e
1
2
ser ahora otro
El tensor polar de cualquier vector a

vector a' y tendremos por definicin a = a.


9.02.-

Para

dos

vectores

cualesquiera

se

verifica:


b
a
= - ba
a
)+(a

Ya que el producto contracto del tensor (b


b),

evidentemente simtrico, con el tensor antisimtrico debe ser


nulo y por tanto podemos escribir:

b
b
0 = [(b a
)+(a
)] = (b a
) + (a
) =

)b
b
= (b)a
+ (a
= ba
+ a
9.03.- El volumen V (rea en este
caso)
y b
paralelogramo generado
por
dos
vectores
a
(orden

b
positivo) es a
.

del

,b
a

Pues tenemos:

1
1


b
b
V = (a
) = (a
)-(b a
)] =
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 =

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

9.04.- El tensor de Ricci corresponde a la aplicacin


,e
} ortonormal positiva hace corresponder
lineal que con base {e
1
2

.
al vector base e1 el vector base e
2
Puesto que se verifica:

) = e
= (e
e
)e
= [(e
e
)-(e
e
)]e
=
(e
1
1
1
2
1
1
2
2
1
1
e
)e
- (e
e
)e
= (e
e

(e
1
2
1
2
1
1
1 1)e 2 - (e 2e 1)e 1 = e 2
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
,a
} positiva con V=(a
a
)
9.06,- Sea una base {a
1
2
1
2
Aplicando

las

frmulas

de

la

obtenemos:

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

49

base

dual

('5,31)

10.- Polinomios tensoriales.


10.01.- Monomio. Definiciones.

de grado p y orden m, al tensor


Llamamos monomio en x
que tiene por expresin:
(x
x
..x
) = x
p = x
p
p representa el producto tensorial de p factores
en que x
y un tensor de orden p+m. Como el monomio es el
vectoriales x
producto contracto de ambos, resulta ser un tensor de orden m.
p en lugar de
Cuando
no cabe confusin, escribimos x
p
.
escribir x
y se
Grado0 del monomio es el exponente tensorial de x

conviene que x 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
0.
escribiremos el factor x
Normalmente expresaremos el orden de los coeficientes
tensoriales cuando es superior a uno y as por ejemplo

x
p
p+m
de grado p y orden m. Tngase en
representar un monomio en x
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 y otra no lineal de los vectores x
, en el
de los tensores x
espacio vectorial de los tensores de orden m.
10.02.- Polinomio. Definiciones.
Llamamos polinomio de orden m en
x al tensor suma de un
nmero finito de monomios en
x de cualquier grado, pero todos del
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:

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

x
i
A =
m+i

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.

, es igual al
10.04.- Si un polinomio reducido, en x
tensor nulo, todos sus monomios son nulos.
Vemoslo, por ejemplo, con el polinomio siguiente:

): + x
+ x
2 + .. + x
p = 0
(x
m
m+1
m+2
m+p

por el
Efectivamente, si en el polinomio sustituimos x

vector x siendo un escalar, e igualamos al tensor nulo,


obtenemos la siguiente ecuacin:

)(): +
x
+ 2 x
2 + .. + p x
p = 0
(x
m
m+1
m+2
m+p
Para =0 la ecuacin implica m=0, sea la nulidad del
primer monomio, y por tanto podemos transformarla as:

)();
+ x
2 + .. + p-1 x

( x
(m+1x
m+2
m+p p) = 0

)()
x
+ x
2 + .. + n-1 x

( x
m+1
m+2
m+p p = 0
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.

y de
b) Monomio de grado uno. Su expresin es x

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 sea nulo.
con x
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:

x
p = ( ) x
p
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.

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

):
(x

x
r = 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
por el vector x
, vamos a sustituirlo ahora por el vector suma
x

de vectores z+x, con lo que la ecuacin dada pasa a ser:

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

)(z
):
(x

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

Efectuando el producto contracto y ordenando trminos,


la ecuacin queda as:

)(z
): z
r + r(z
r-1x
) + 1 r(r-1)(z
r-2x
2) + .. + x
r = 0
( x
2
tambin:

)(z
): z
r + (rz
r-1)x
+ [ 1 r(r-1)z
r-2]x
2. + .. + x
r = 0
( x
2
52

la propiedad
Aplicando a este polinomio nulo en x
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:

Nuc
v
= 0
v

Im
s

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

por ~, y por tanto el tensor transpuesto de ~ es


1.05.- Los subespacios vectoriales de los tensores
antisimtricos
y
simtricos
tendrn
respectivamente
por
dimensin:
n +1
n

y
2
2
y son ortogonales. Como la suma de sus dimensiones es n2 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

1.07.- El componente simtrico de es s =


antisimtrico es a = 2(-~).

(+~) y el

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:

(v
w
) = ~(w
v
);

)w
= (~w
)v

(v

1.09.- Se verifica:
Im ~ = Subespacio ortogonal a Nuc
Nuc ~ = Subespacio ortogonal a Im

Nuc
v

Puesto que por el prrafo anterior tenemos:

): w
(v
)=0
): (~w
)v
= 0

( w
( w

es cualquier vector de Im ~.
y ~w

Nuc ~
v

Y tambin tenemos por dicho prrafo anterior:

): w
(~v
)=0
): (w
)v
= 0

( w
( w
56

es cualquier vector de Im
y w
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

Nuc , y por tanto podemos escribir:


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
~
tanto Im = Im , y por '1.09 sabemos que Im ~ es ortogonal a Nuc
, 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.
i

1.12.- Siempre que un tensor =e
est expresado con
i f
un mnimo de sumandos, tendremos segn C'1.14 que se verificar:

} = Base subespacio ortogonal a Nuc


{e
i
i
{f } = Base Im
i} es la base dual de {e
} se
Tambin tendremos que si {e
i
verificar:

{fi} = {ei}
1.13.- Tensor producto exterior de 2 vectores.
Por definicin (C '5.05), se verifica:


b
b
a
= a
- 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
matrices lnea (sucesin de coeficientes vectoriales) y entre E2
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:

= vie
= ve
j;
v
i
j

= t j(e
ie
) = tk (e
e
m)
i
j
m
k

} es la base principal
en que {e
i
i} es su base dual.
vectorial E, y {e
Adoptemos,
siguiente:

por

ejemplo,

} = {v v .. v }
{v
1
2
n
v1
2
v
r
r
{v} = ..; {} =

..
n
v
(m.columna)

elegida
la

para

el

notacin

espacio

matricial

(matriz fila)

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)

w
= {v
}{w
} = v wi
v
w
= {w
}{v
} = wivi
v
i

b)

= v

w = v

c)

=
)
w
(v

)
w=(v

d)

w
} = {w
}{v
}
{v

w
) j = wjv
(v
i
i

e)

w
}
{v

w
)i = viw
(v
j
j

}
{}{v

{v}{}

wj = tijvii
wj = vit j

}= {
}
{w
}{}{v

{w}= {w}{}{
}

}{w
}
= {v

wj = si tkk vik
wj = vkt is j

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

tensores

} = {v
}~;
{v

{}'={}~; {}=[{}]~
transpuestos

base

ortonormal,

se

verifica:
{~} = [{}]~ = {};

{~} = {}~ = {}

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,

eligiendo

una

matriz

cualquiera,

tenemos:

ie
j)} = {(e
i)e
j}
{tij} = {(e
y en la matriz cuadrada correspondiente habr el conjunto de
matrices
columna o fila correspondiente al conjunto de vectores
i} que es un generador de Im .
{e
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,
hemos convenido en expresarlos por aji 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

pjk = aji bik

{pjk} = {aji}{bik}

Si uno de los factores matriciales T corresponde a un


tipo de coeficiente tensorial mixto tal como tji tkm, 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
ajit
= skji
i kk
tk aj = sj
59

bien
bien

ajiitikk = sjik
t kaj = s j

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

akitij = skj

T = {tij}; S = TA

tijajk = sik

Pero en los dos casos que quedan no hay concordancia


entre operacin matricial y expresin einsteniana:
Para T={tij}; S=AT se verifica

iakitij = skj (no einsteniano)

jtijajk = sik (no einsteniano)


En ambos casos, sustituyendo A por ~
A o sea aki por aik, s
que obtenemos una concordancia:
~T
T={t }; S=A

ait = s
Para T={tij}; S=TA se verifica

ij

~
T={t }; S=TA

ij

ij

ij

kj

k
j

t a = sik

2.07.- Variacin de los coeficientes con un cambio de


base.

} y a su
a) Sea la
matriz {tkm} referida a la base {e
j
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:

;
m; ji = j = Smbolo de Kronecker
fi = ji e
fj = jme
j
i m
m
y por lo tanto:


j e
m)= k(e
e
m)j= kt mj
tij= (fifj)= (kie
k
m
i
k
m
i k
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:

11 12 .. 1n

2 2 . . 2
n

1 2
-1
=
A
. . .. .

. . .. .

n n
1 2 .. nn

11 12 .. 1n

12 22 . . 2n

A = . . .. .

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

{ki} = A; {jm} = A-1;

AA-1 = I

Ahora bien, de acuerdo con lo visto en el prrafo


anterior, tendremos la siguiente igualdad:
{tij} = {jm}{tkm}{ki} = A-1{tkm}A
que podremos comprobar operando de esta manera:

t11 t21 .. tn1

t12 t22 .. tn2

.
. ..
. =

. ..
.
.
n
n
n
t1 t2 .. tn

11 12 .. 1n t11 t21

2 2 .. 2 t12 t 2
2
n

1 2
. . .. . . .

. . .. . . .
n
n n
n
1 2 .. nn t1 t2

.. tn1

.. tn2

.. .

.. .

.. tnn

11 12 .. 1n

12 22 .. 2n

. . .. .

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

m e
)= m (e
e
)k= m t k
tij =(fifj)= (ki e
k
j
m
j
k
m
i
j
km 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:

t11

t21

.
tn1

t12 .. t1n

t22 .. t2n

. ..
. =

. ..
.
tn2 .. tnn

11 12 .. 1n t11 t12

12 22 .. 2n t21 t22

. . .. . . .

. . .. . . .
1 2 .. n t t
n n1 n2
n n

.. t1n

.. t2n

.. .

.. .
.. tnn

11 12 .. 1n

12 22 .. 2n

. . .. .

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

km
c) Coeficientes t .

Si {tij} es la nueva matriz de coeficientes con el


mismo cambio de bases anterior, siguiendo el mismo proceso,
encontraremos:
tij = im tmkjk
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
al tensor de
tensores
y
de 2 orden y lo expresamos por

2 orden que para cualquier vector v verifica:

=
) = (

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:


b
d
d
(a
)(c
) = (a
)(cb)
:
Efectivamente. Por definicin se verifica para todo v


b
d
b
d
[(a
)(c
)]v = (a
)[(c
)v]
y como desarrollando el 2 miembro se tiene:



b
v
)d
b
d
= (a
)[(c
]= [(a
)d](cv)= [(a
)b](cv) =



d
v
)b
d
)[(c
b
d
(a
)[(c
] = (a
)v] = [(a
)(cb)]v
queda:



b
d
d
[(a
)(c
)]v = [(a
)(cb)]v
es cualquier vector, es cierta la igualdad que se
y como v
62

pretenda demostrar.

3.02.- Cuando los factores son tensores cualesquiera,


i
j

y , que siempre se pueden expresar en la forma aib y cjd


respectivamente, tendremos:
i
j
j i
b
d
d

= (a

)(c
) = (a
)(cjb )
i
j
i
como se deduce directamente del prrafo anterior.
Con la notacin ordinaria, resulta:

e
)][s (e
ne
m)]= rijs (e
e
m)(e
ne
)= rijs (e
ne
)

= [rij(e

i
j
nm
nm
i
j
ni
j
. De la ltima expresin y
3.03.- Coeficientes de =

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:

d
)(c
b
) = (a
b
)(c
d
)
(a
.
3.06.- Transpuesto de un producto matricial

Es el tensor producto matricial


transpuestos tomados en orden inverso:

de

los

factores

~
]~ = ~
[

Bastar demostrarlo para la multiplicacin matricial


de dos productos tensoriales. Efectivamente:





b
d
d
d
[(a
)(c
)]~ = (a
)[cb]~ = (a
)(bc)= (dc
)(ba
)
3.07.- Simetras y antisimetrias.
63

de dos tensores ambos


1.- Producto matricial

simtricos ambos antisimtricos.


=
.
a) Es simtrico si y slo si se verifica

= -
.
b) Es antisimtrico si y slo si se verifica

Efectivamente:

=[
]~

= -[
]~

~ =

= ~

~ = -

= -~

de dos tensores, uno de


2.- Producto matricial

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

~ = -

= ~

~ =

= -~

~
matricial

de

un

tensor

por

su

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 (

Nuc
Im

producto

tal que v
Nuc(
~);vNuc ~, al
y si existiera algn vector v
tener en cuenta '1.01, se verificara a un mismo tiempo:

r
r
r
r
r
~
~vr subesp ortogonal a Im ~
v Nuc

(*~
)v =r 0

r
r
r
~

r
~v
~vr 0
0
v 0

y esto es imposible, pues ~


v no nulo no puede pertenecer a la vez
a un subespacio Im ~ -como indica su escritura-, y a otro
subespacio ortogonal a Im ~, cuando ambos subespacios pertenecen
a un espacio vectorial eucldeo.
~) = Nuc ~.
As pues, Nuc(
64

~) = Im , se deduce de la igualdad
En cuanto a Im(
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:


)(v
): I
v
= w
(I
w )
( w
(wv) = (Iw
)v = w
v) = I(v
4.01.- El tensor fundamental puede expresarse por:

e
i = e
je

I = e
i
j

} una base cualquiera de E y {e


i} su base dual, ya que
siendo {e
i
se verifica:
):
( v

e
i)v
= (e
v
i = v e
i = v

(e
i
1 )e
i

):
(v

je
)v
= (e
jv
)e
= vje
= v

(e
j
j
j

4.02.- Con estas mismas bases, sus coeficientes son:


i j
i j
ie
j
gji = gij = I(e
e ) = (Ie
)e = e

gji = gij = I(e


ie j) = (I ei)e j = e ie j
i
i
ie
= i
gji = gij = I(e
ej) = (Ie
)ej = e
j
j
j
j
j
i
j
j
e
=
g i = gi = I(eie ) = (Iei)e = e
i
j
(ij = Smbolo de Kronecker)
Las matrices mixtas coincidirn en la siguiente:

:
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
} a su dual {e
i} y
mtrica, es la matriz del cambio de la base {e
j
}. La matriz
tambin la matrizijfundamental de E para la base (e
i
contravariante {g } es la matriz para el cambio inverso.
j

ie
j) = g e
i e
j e
= g e
i
(I=e
I = gij(e
je ):
ij
j
ij
j j

e
) = gije
e
e
j = gije

(I=e
e ): I= gij(e
i
j
i
j
i

im
m
(II= I)
{g }{gki} = {gk } (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
} y denominemos g al determinante de
los vectores de la base {e
i
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

1e2..e n en cualquier par de bases duales:


2
2
(ij..r)
e

g = Det {gij} = Det {e


= V = t(ij..r)t
i j} = [(e 1e 2..e n)]

Como consecuencia de '4.02 tenemos tambin:


Det {gij} =

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:

)e
= vig
a) vj = (vie
i
j
ij
ij
ij
ij

b) tkm = [t (e
ie j)](e ke m) = t (e ie k)(eje m) = t gkigjm
kj
e
)](e
ke
) = tij(e
e
k)(e
e

c) tkm = [tij(e
i
j
m
i
j m) = t gjm
im
e
)](e
e
m) = tij(e
e

m
d) tkm = [tij(e
i
j
k
i k)(eje ) = t gki

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}

Det {tkm} = g2 Det {tij}

{tkm} = {gjm}{tkj}

Det {tkm} = g

Det {tkj}

{tkm} = {tim}{gki}

Det {tkm} = g

Det {tim}

y por lo tanto:
Det {tkm}

Det {tkm}

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
f
i)
i
j
} alguna base de E, {e
i} su base dual y {f
siendo {e
} = {
ej} otra
i
base de E.
Por consiguiente, se verifica:

j
f
f
I = (fjfj)(e
) = (fjfi)(e
) =
i
i

i
i
I
f
e
j) = (e
e
j)(e
f
= (e
)(e
) =
i
j
i
j

i
f
e
=
i
i
f
e
=
i

4.11.- Para una dimensin n del espacio se verifica:

II = n
puesto que tenemos:

i
i
e
i = n
II = I(e
= e
ie ) = (I ei)e
i

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
} y de su dual, de la
tensoriales de vectores de una base {e
i
siguiente manera, que explicaremos con unos ejemplos:

ij = e
ie
je
e

e
ij
i
j
ij = e
ie
je
e

e
ji
j
i
i j = e
ie
e
je

e
i j
i
j
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:

= e
ij + e
ij + e
i 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
b
cualquiera, no lo modifica:
tensorial a

(a
b
ij (a
b
= aie
bje
= a
b
) = e
) = aibje
1
ij
ij
i
j
El segundo tensor transforma un tensor en el tensor
transpuesto. Pues se verifica:


(a
b
ij (a
b
= bje
a
ie
= b
) = e
) = aibje
a
2
ji
ji
j
i
El tercer factor transforma el tensor en un mltiplo de

I tensor escalar:


i j


3 = e i j = (I I) = ( I)I = (Traza de )I
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

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

tensor

en

su

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
de
Por otra parte, si tenemos un tensor cualquiera
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:

= (+)
os + (-)
a + ( + + n)
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
} y de base dual {e
i}
espacio vectorial n-dimensional de base {e
i
Vamos a referirnos a los escalares q definidos por la
siguiente expresin:
(29)

q =

rr
1 rr rr
r r
r
(ei ej.. er)(ij..r) (ei ej.. er)(ij..r)
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:

)e
i
1 = (e
i
y por lo tanto:

e
i) = I
1 = (e
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:
i
i
i
b
i
1.- Traza de a
= I(a
i
ib ) = (I ai)b ) = a ib

b
b
b) = (Ia
2.- Traza de a
= I(a
)b
= a

e
i)(e
je
) = (e
ej)(e
ie
) = n
3.- Traza de I = II = (e
i
j
i
j
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.

e
m)t j(e
ie
) = t j(e
e
i)(e
me
) = tm
I = (e
m
i
j
i
m
j
m
71


me
)ti (e
e
j) = ti (e
me
)(e
e
j) = tm
I = (e
m
j
i
j
i
m
m

ij
me
)tij(e
e
) = tij(e
me
)(e
e

I = (e
m
i
j
i
m j) = t gij

me
)t (e
ie
j) = t (e
me
i)(e
e
j) = t gji
I = (e
m
ij
ij
m
ij
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
rr
I r

Tensor componente deformador:


I
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
=

I
I = 0
(
I
I
)
=
I
I
I
=
I

n
n
n

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)
(II) =
n =0
n I - n I =
n
n
n2
n2

r
r r r

+
Los tensores istropos 3; 1 2 - 3 transforman a un
n
2
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 ~

b
i y
d
j se tiene:
Pues expresando por a
por c
i
j

i
j i
j
j i
I(
) =I[(a
ib )(c jd )] =I [(a id )(c jb ) =(a id )(c jb )
i j
j i
~
b
d
= (a
)(d cj) = (a
)(b cj)
i
i
72

7.- Determinante de un tensor.

} una
Llamamos determinante de un tensor siendo {e
i
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
(e1 e2 .. en)
1 2
n

Det = (e1e2..en)(e e ..e ) = r r


r
(e1 e2 .. en)
j} es
Este escalar es un invariante, puesto que si {v
otra base cualquiera de E, como se tiene
(v
je
) = ~(e
v
j)
i
i

)v
j = e
(v
j}
(~e
i
i

por la ecuacin (15) se verificar:

~e
..~e
)(v
1v
2..v
n)=(v
1v
2..v
n)(e
e
..e
)
(~e
1
2
n
1
2
n
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

e
..e

= e
1
2
n

y por consiguiente:

e
..e
)(v
1v
2..vn)=(v
1v
2..v
n)(e
e
..e
)
(e
1
2
n
1
2
n

rr rr
rr
r
r
r
( e1 e2 .. en) ( vr 1 vr 2 .. vr n)

=
r r
r
r 1 r 2 .. r n) = Det
(e1 e2 .. en)
(v
v
v
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.

no nulo es un
Definicin. Decimos que un vector v

vector propio de un tensor de segundo orden y que es el valor


propio correspondiente, cuando se verifica:

v
= v

Nc (-I

(-I)v
= 0

v
)
8.01.- Por consiguiente, los valores propios que
corresponden a vectores propios, son los valores de que hacen
un tensor irregular, o sea las soluciones de cualquiera
de -I
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

de y en general, q es la suma de los determinantesj de las


matrices de qxq elementos que se pueden extraer de {ti }, 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
del tensor con valor propio es tambin un
vector propio v
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.

} una base ortonormal de E


En consecuencia, siendo {e
i
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:

e
)=(e )e
= e

tij=(e
i
j
i
j
i ie j
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.

vector propio de correspondiente a un valor


Pues para v
propio real no nulo, tendramos:
v
= v

(v
) = v
v

(v
v
) = v
v

v
) es forzosamente nulo por ser
lo que es imposible, pues (v

un tensor antisimtrico y vv no es nulo pues


v es real y no nulo
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. Los valores propios de 2, 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.

es ortogonal a su imagen. Pues tenemos


d) Todo vector v
(v
) = (v
v
) = 0
v
ya que el producto contracto de un tensor antisimtrico por otro
tensor que es simtrico, resulta nulo.

es vector propio de 2 con valor propio -2, a

e) Si 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
(-2a
) =(a
)(a
)
(a
es vector propio de 2 con valor propio -2, a
y a

f) Si a

determinan un subespacio bidimensional que es invariante


para y
se halla includo 2en el subespacio propio de 2 correspondiente
al valor propio - .
Pues se verifica:

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

[(a
+
a
)]=
(a
) -
2(a
)= -2a
-2
a
= -2(a
+
a
)
un vector propio de 2 con valor propio -2. Si un
g) Sea a
es ortogonal a a
y a a
, sea a un espacio invariante
vector b

bidimensional, lo mismo suceder con b:



b
)b
(b)a
= (ba
) = -(a
) = -(a
= 0

)(a
) = [b
)b
)]b
b
(b
(a)] = -[(a
] = -[(a
= 2a
= 0
h)
Un
subespacio
propio
de 2
de
dimensin
2m
correspondiente a un valor propio real -2 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,
2
correspondiente al valor propio - y A un subespacio invariante
y a
, tal que AF.
de generado por a
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
a y a
a. Por lo visto en

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
invariante viene generado por dos vectores tales como
a y
a, que
por d) sabemos que son ortogonales, podemos obtener as una base
ortogonal de E.

pertenece al subespacio propio de 2


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

definicin al mismo subespacio invariante de , es v.

)(v
) = [v
(v
)] = -[(v
)v
] = -[(v
)]v
= 2v
v
= (v)2
(v
y a
pertenecen a un mismo
l) Como por d) sabemos que a
subespacio invariante, podremos elegir en cada sumando invariante
. En este mismo sumando,
de E segn i) un versor propio e
i
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 .
i

9.02.- Particularidades de la expresin = e
de un
i f
tensor de T, con un mnimo de sumandos, respecto a lo visto en
'1.12.

A, lo mismo que
i {ei} ser ahora una basei delsubespacio
i} la base dual
lo es {f } y seguiremos teniendo f = ei al ser {e
}.
de {e
i
} podamos considerar, en
Ello nos permite que para {e
i
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
pertenece a A as como su dual e
, y el factor
aadidos e
ei es
i
nulo.
9.03.- El conjunto T evidentemente no es cerrado para
la suma de tensores, aunque verifica:
(T)(
T):

Im (
+) A

(T)(
T):

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

Pues evidentemente se verifica:


Nuc (
) Nuc ;

Im (
) Im

Ahora bien, si un vector


v de Nuc (
) no perteneciera tambin a
80

Nuc , tendramos:

r r r r
(* )v =r 0
rvr 0

r
r rr
(v)= r0
rvr 0

rr
r

v r r Nuc
r
v 0

v pertenece por hiptesis a Im , y


y esto es imposible dado que

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:


j
o = e
e
i = f
f j
i

j
} y {f
i
siendo {e
i
j} bases cualesquiera de A, y {e } y {f } 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:

A podremos expresarlo por a


=a e
i y se verificar:
Si a
i
oa
= (e
e
i)a
= (a
e
)e
i = a e
i =
i
i
i

A', tendremos e
a

Si a
i =0 y por tanto:

oa
= (e
e
i)a
= (a
e
)e
i = 0
i
i
Este tensor o es el elemento unidad
del conjunto T,
i
f
pues para cualquier otro elemento = e
de
T
se tiene:
i
i
i
i
o=(e
f
e
j)=(e e
j)(e
f
f
)(e
)= e
=
i
j
i
j
i
i
j i
o=(f
j
i =
if )(e jf )=(fif )(e jf )= e if
Para dos tensores y
cualquiera de T, tendremos
evidentemente:
81

o =
o
d) Los elementos de T admiten inverso.
i
f
i es -1 = f
El inverso de = e
i
ie , cuyos factores
pertenecen a las bases duales de las consideradas para , como
vamos a comprobar a continuacin:
i
j
i
i
-1=(e
f
j)(f
)(fje
)=(eie
= o
i
jf )= f if
j
i j
-1=(f
i
i = o
je )(e if )=(fjf )(e ie )= e ie
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.
3.- Los subespacios propios de o son el ncleo y la imagen,
con valores propios 0 y +1 respectivamente.
As pues, todo
vector propio de o con valor propio , es
o

vector propio de con valor propio .

de E descompuesto en sus proyecciones


4.- Sea un vector v
82

y v
sobre Im y Nuc respectivamente. Dada la
ortogonales v
i o
n

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
= v
- v
= v

(I-o)v
v - ov
i
n

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

Im es ortogonal y suplementario de Im
, se tendr:

o + o = I
9.07.- Otros datos de -1.
Un vector propio
v del tensor , con valor propio 0,
-1

es vector propio de con valor propio -1:

-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
es un
que si A() es la expresin de un tensor de este tipo, y v

vector propio de con valor propio , v tambin ser vector


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
ncleo reducido
el subespacio

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:

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
-1
podremos obtener a travs de su matriz mixta { } 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 )

= -1(det ) -1 =

b) r<n.

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 -1matriz A, -que de esta manera resultar
regular-, por
la matriz A , 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

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

r
0 =

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

r0 + r 0 = Ir

r
r0 = Ir -

n-1

d) r=1.
Si es el valor propio no nulo de , es tambin su
traza y tendremos:

r
r
- r0 = 0

r
r0 =

86

r
r
r0
r-1 = r-1 = =

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
} de . Si los conocemos, y tambin conocemos los valores
{e
i
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

e
)];
[i(e
i
i

q =

r
1

e
)]
[(i)q(e
i
i

Sabemos por '8.03c que los vectores propios


de
q son
q
los mismos de y que sus valores propios son { }.
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.

e
) correspondern diversos tensores raz
Al tensor =i(e
i
i
cuadrada:
r
r r
r r
r r
( )1 = + 1(e1 e1) + 2(e2e2) + 3(e3e3)+...
r
r r
r r
r r
( )2 = - 1(e1 e1) + 2(e2e2) + 3(e3 e3)+...
etc.
Habr 2r 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

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
2

'8.05b que 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
tales que su inverso es igual a su transpuesto:
tensores

-1 =
~

que conservan el producto


2. Son los tensores
escalar:

)(w
):
(v

w
= (
v
)(
w
)
v

Puesto que esta ecuacin equivale a:

)(w
):
( v

w
=
(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


+v
siendo u
y v
vectores cualquiera. O sea:
vector tal como u

+w
)2 = [
(v
+w
)]2 = (
v
+
w
)2
(v
y esto equivale a:

w
= (
v
)2 + (
w
)2 + 2(
v
)(
w
)
v2 + w2 + 2v
que a su vez equivale a:

w
= (
v
)(
w
)
v
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
se verifica:
semejantes cuando para algun tensor ortogonal

~
=
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

Det(-I) = 0, podremos escribir:


~
~

(-I

~ -
( I

~ - I

) =
) =

(-I

~ - I
Det(-I) = 0 Det[
)]= 0 Det[
] = 0
Por consiguiente sern comunes los valores propios y
los invariantes q.
11.02.- Si
es semejante a y la semejanza viene dada

de con valor propio


por , se verifica que al vector propio v

, corresponde el vector propio v de con la misma norma que


v
e igual valor propio :

~)
v
= (

~
)v
= (
)v
=
(v
) = (
v
)
(
y
v
son las mismas por
En cuanto a las normas de v

ser ortogonal el tensor segn sabemos por '10-3.


i

11.03.- Si un tensor se expresa
por =a
su semejante
i b

~ se podr expresar por


a

b , ya que de un modo ms
=
=
i
general, podemos escribir:
i ~
i ~
~ i
b
b
(a
)]v =
[(a
)(v)] =
{[(v
)ai]b } =
[
i
i
~

i
i
i
=
{[(v
ai)]bi} = [(a
= [(a
= (a
iv )]b
i)v ]b
ib )v
y por lo tanto:

i ~
i

b
(a
) = a
i
ib

90

12.- Tensores simtricos definidos positivos.


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

; v
0):
( v

(v
v
) > 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
} de vectores propios de y para cualquier vector v
=vie
se
{e
i
i
verificar:

(v
v
) =(vie
vje
) =vi(e
)vje
= ( vie
)(vje
)= (vi)2 > 0
i
j
i
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
y w
calculable por la frmula:
cualesquiera v

w
= (v
w
)
v
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:

w
)2 (v
v
)(w
w
)
(v

w
)][(v
w
)] [(v
v
)][(w
w
)]
[(v

2. La nueva ortogonalidad viene dada por

(v
w
) = 0
y w
son conjugados respecto a .
y diremos que v
Existir siempre una base de vectores conjugados dos a dos.

} es
3. La matriz fundamental correspondiente a una base {e
i

{tij} pues se verifica (eiej) = tij.


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.

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

(e
e
) = (e
)e
) = e

i
j
i
j
i ie j = 0

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:
~
j
-1
j
{tij} = A
{tij}A,
{ti } = A {ti }A
j
Pero ahora tenemos tij=tij y -1
tij=t
y por lo tanto, para
i
~
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:

):
(v

(v
v
)

semidefinido

positivo

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:

w
= (v
w
)
v
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
A
B, de un espacio vectorial
correspondencia verifica las

= - B

A
B
A
= A
+ C

A
B
C
B
En geometra ordinaria, E es el espacio vectorial de
los vectores libres.
b) A cada par formado por un vector
a de E y un punto O
de E, corresponde un nico punto A de E tal que verifica:
= a

O
A
A es el
En geometra ordinaria
O
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
que A es su origen y B su extremo.
relacin con un vector A
B
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
con '1.02b, vemos que

acuerdo
corresponde a E, verificndose O
O
= 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
y
corresponden,
en EO y EO' respectivamente, los vectores O
A=a

A=a' que evidentemente verificarn la siguiente relacin:

= a
+ O
a
O

es la
que explicita
la aplicacin de EO' sobre EO por la que O
A

imagen de O

A.
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(O
A
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(O

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

0
(O)(X;X
X

):

(1)

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,
que si X' es otro
, se tal
al vector X
punto de E y llamamos dx
X

verifica:

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

0
(O)(X; X
X

):

(2)

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:

las

aplicaciones

diferenciables,

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


hiptesis:
1.- La aplicacin
biunvoca.
es
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.

Todas

las

aplicaciones

lineales

son

Pues si f es lineal, para cualquier origen O se


verifica:

)-f(O
)= f(O
-O
)=f(X
)= f(dx
- = f(O
)
X

X
X

X
X

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


- r
= f(dx
) = dx
= X
r
X

X
X

(O):

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:
= A
+ B
+ ... + M

A
N
B
C
N
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

=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

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

r
r
N - A =

(3)

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-
OB =
OA-
OB

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
lenguaje
yelO

+X

y x
+dx
a los vectores O
habitual, llamamos x
X
X

=O
X
X

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
de E ,
en X, al vector variable X
como diferencial de x
X

X
, y que tomar un valor determinado
designado habitualmente por dx
para cada punto X que se elija.
Definiremos
como diferencial de
en X

designaremos por d a la siguiente variable tensorial:


) =

(4)
d = LX(dx
Xdx

lo

cuyo valor depende no solamente de f y de X, por sucederle esto a


. Por
L, sino tambin de la eleccin de X, de la que depende dx
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 a una lnea l determinada y que leeremos


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
, al tensor:
base cualquiera de E tal como e
i

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
por su expresin
derivadas direccionales si sustitumos en i(4) dx

en una base {ei} cualquiera su dual {e }:

d = dxie
i = dxi e

r
r
r

i
d = dx r = dxi r i
ei
e

(5)
que expresa
parciales.

como

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
, que
sino que adems vara linealmente con el vector dx

independiente de .

de

,
es

Si la relacin de d con fuera lineal, hubisemos


podido escribir para algn campo vectorial (de orden tensorial
), la siguiente igualdad:
1, como el de dx
(6)

)
d = (dx

en la que no slo se mantiene la igualdad de orden tensorial


y .
entre y d, sino tambin la linealidad de d con dx
Pero an existiendo d, no siendo en general lineal la
relacin entre y d, no habr ningn vector posible.
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 ecuacini (6),
por sus expresiones en cualquier base. Llamando a un
y dx
} y en la base dual {e
i},
supuesto coeficiente de en base {e
i
i
102

tendremos:

i = e
i
= e
i
i

(7)

= dx e
i = dxie

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

d = (dxii) = dxi(i)

tambin en la
En segundo lugar, sustituiremos dx

ecuacin (4) definitoria de d, y tendremos:

i) = (
i)dx ;
) = (
)dxi
d = (dxie
e
d = (dxie
e
i
i
l
De la comparacin entre esta ltima ecuacin y la
obtenida anteriormente, resulta la condicin buscada:

i
i = e
i = e
i;
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
en
sobre el mismo objetivo. El ndice de coincide con el de e
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 =

rr
r
i = ei =

r
r ;
ei

r
r
ei

La ecuacin (6) que ha servido para definir a , se


podr escribir ahora en la siguiente forma:
) = ()dx
=

(8)
d = (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
r
.
independiente se acostumbra a representar por x
b) Al operar con sobre un tensor expresado como
y aplicado a un punto A, el sentido positivo para r

funcin de r

debe ser el de O
A, por lo que si ya se hubiera definido el
contrario, deberemos cambiar el signo del tensor y utilizar
=-r
, con lo que no vara su valor. El tensor que resulte, se
r
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)

( uniforme):

) = (
)
(

(15)

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

b
), en la que debe
As pues para la expresin (a

actuar sobre a y b como operador de derivacin, y en virtud de


los prrafos anteriores, podremos escribir:
b
) = (a
b
) + (a
b
) = b
(a
) + (a
)b

(a
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
= b(a
) + (a
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:

(d
x)

= Operador derivada espacial.


= Operador diferencial espacial.

de los que se deducen los siguientes operadores mltiples:

m m
= Operador derivada espacial emsima.
(d
x )(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 :
= (=)
= 2

1. Gradiente de Grad
2. Laplaciana de = ()

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

Div v

Divergencia de v

Tensor rotacional de v

(n=3) Tensor rotacional de v

(n=3) Vector rotacional de v Rot 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
r la variable independiente, n la dimensin de E, y

resulta:
I el tensor de la aplicacin idntica. Para =r

; r
=I
=n; r
=0
; ()r
=0
r
)=2r
; r=r-1r

(16)
r
; (r
Efectivamente:

= I
r
(r
I
= n
= I
) = I
Por AT D'6.02-2 y AT D'4.11:
r

- I
= 0
= r
- (r
)~ = I
Por AT D'1.13: r
107

Por (8):

= (r
)dr

dr

=unif. y sim)
(I

= 0
= (r
) = I
()r
r
r
) = 2(r
r
) = 2(r
)r
= 2I
= 2r

(r

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

r = (r
3.04.- Derivada de un monomio m+p
xp de orden m y grado p
(uniforme). Si denominamos al
con independiente de x

p=x
p y entonces:
componente m-simtrico de m+p tendremos m+px

p)
(m+px

p-1
= px

p es escalar y se verificar:
Pues para m=0, px
p)= [(x
x
..x
)]= p[(x
x
..x
)] =p[(x
p-1)x
]=
(px
= px
p-1)(x
) = p(x
p-1)I
p-1
= p(x
Y para m0, anlogamente se tiene:

p)= (xp) =(p)[(x


p-1)x
]
(m+px
Multiplicando los miembros extremos
, como v
es un escalar, se verificar:
vector v

por

cualquier

p)]v
= p(v
)[(x
p-1)x
] =p(x
p-1)[(v
)x
] =
[(m+px
v
p-1)[(x
)v
]= p(x
p-1)(I
)= p(x
p-1)v

= p(x
es cualquier vector, tendremos finalmente:
y como v
(17)

p) = px
p-1
(m+px

3.05.- Consecuencia de (17) es que la p-derivada del


monomio anterior es:
(18)

p) = p!
p (m+px

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:

1+s+p = (a
)[(
s)( a
p)] =
[(
sp+m)]a
sa
p+m
)(
s)]( a
p) + (
s)[(a
)( a
p)] =
= [(a
sa
sa
p+m
p+m
1+s+p + [
1+s+p
= [(
s)p+m]a
s(p+m)]a
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.
=r
.
3.07.- Ejemplos de utilizacin de la igualdad I

=
a) Otra demostracin de
r
siendo
un tensor
uniforme (Igualdad demostrada en '3.04).
el tensor idntico (tambin uniforme), para
Siendo I
podremos escribir:
cualquier vector a

=
)a
] =
)r
] = (a
)(
)=[(
)]a

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

) =
= (
r
es una integral de
y por lo tanto =
r
y
es la derivada

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

r
... r

1r
1
2
2
n
n
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:

r
...r

12..nr
1
2
n
como es fcil comprobar multiplicando por un producto tensorial
cualquiera de orden n.

k (k-derivadas de x
k respecto x
)
3.08.- Tensores kx
Para simplificar y por no ser necesario por ahora, no
escribimos un exponente .
Sabiendo que para los coeficientes de la igualdad
, se
= I
x
verifica:

jxi = ij

(smbolo de Kronecker)
109

k, cuya expresin es:


si examinamos los coeficientes de kx

ij...p(xqxr...xw) = ij..p(xqxr...xw)
qsea
la de k derivadas direccionales sucesivas del producto
, veremos que cuando
(x xr...xw) de coeficientes de la variable x
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)

k refirindolos a
Consideremos ahoraj los tensores kx

una base {ei} y a su dual {e }. Tendremos:


k = (xqxr..xw)(e
ij..pe
) =
k x
ij..p
qr..w

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

ij..pe
)=
(e
qr..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:

k = x
kk
k x

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:

k) = (x
kk) = k(x
k) = k('x
k) = k!
(kx
en x
, para
4.- Clculo del valor de un polinomio P

x=a+b en funcin de b y del valor para x=a de las sucesivas


derivadas del polinomio.
de orden p y de coeficientes
4.01.- Sea un polinomio P
.
p-simtricos uniformes, as como las sucesivas derivadas de P

m
P
= +

x +

x2
+..... +
x
0

)
(P
2

( P)

=
=

+ 2
2x
2
2
110

+ .....+

m-1
m
mx

+ .....+

m-2
m(m-1)
mx

...
)
(mP

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


Los valores de
s la s-derivadas para x=a, divididos por
s! y multiplicados por b , resultan:
r
Par

= 0 +

r r
1
( P)ar b =
1!
1 2 r r2
( P)ar b =
2!

3 r r
m r r
2 r r
1 r r
+ ... + m am
+ 3a3
1a + 2a2
0
0
0
0
r
3 r r r
1 r r
2 r r r
m r r
1 b + 2(a b) + 3(a2 b) + ... + m(am-1 b)
1
1
1
1
3 r r
2 r r 2
m r m-2 r 2
+ r3(a b2) + . . . + r m(a
b )
2 b
2
2
2

......

...............

m r r m
mb
m

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

r r
1
1 2 r r2
1 m r rm
r
Par + ( P)ar b + ( P)ar b + ... + ( P)ar b =
1!
2!
m!
r
r
r r r
r r r
r r r
= 0 + 1(a+b) + 2(a+b)2 + ... + m(a+b)m = Par+br
Queda pues:

r r
1
1 2 r r2
1 m r rm
r
r
Par +br = Par + ( P)ar b + ( P)ar b + ... + ( P)ar b
1!
2!
m!

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

r = 1 ( sPr
)0
s

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

, si y
Esta magnitud ser integrable en un dominio de r
. Ya
slo si, en tal dominio puede expresarse en la forma
=

hemos visto que entonces la integral espacial de es ms


de integracin, y se verificar:
cualquier tensor uniforme
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

s>0,
es integrable en un dominio de r si y slo si, en el mismo,
es un tensor con simetra 1-2 ([s-1]-simtrico).

Efectivamente. Si y slo si es integrable,


podr

escribirse para algn , que =, y si y slo si es adems


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
, y expresando con v
el tensor transpuesto de
vector v
v, la
condicin de integrabilidad toma la siguiente forma:

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

el

=v

espacio

= 0
v
112

es

= 0

tridimensional,

la

es potencial
y cuando se cumple, decimos que el campo de v
irrotacional.
3.- Una variable tensorial
de orden s ser p veces
es un tensor (s-p)-simtrico.
integrable, si y slo si
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.

de cualquier tensor
50.- La derivada
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
siendo w
alguna
una derivada y se pueda expresar por
=w
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
v es el tensor transpuesto de
v, un tensor

se puede expresar por v + v si, y slo si, es un tensor


simtrico que cumple la condicin de St. Vnant.
b) Si
v es el tensor transpuesto de
v, un tensor

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
, radio vector, que
de referencia que ha sido llamada x
determina el punto mediante un espacio vectorial E y un origen
dados.
Si consideramos otra variable de referencia distinta de
, podr definir un vector nabla
la anterior que podemos llamar y

' 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

.
y siendo y una funcin de x
Tendremos:

:
y

x:

Derivacin respecto a
Derivacin respecto a

)dy

d = (

dy = ( y)dx

y por lo tanto:

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

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

= (v
)(y
)
v

b) es un escalar .

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

= {(y
)~}()
= {(y
c) es cualquiera. Si tenemos
verificar:

=kx
+v
con v
constante, se
y


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

d = (
= k(
)

= k

p =
+v
)p con
d) Aplicacin del caso anterior a =
y
(kx

m-simtrico de orden m+p.


115

= '(
p) = p
p-1

y
y
) = kp
+v
)p] = k(
+v
)p-1
[
(kx
(kx
y tambin tendremos:

+v
)p] = kpp!
m[
(kx

6.04.- En virtud de c) en el prrafo anterior, tenemos:

= x
+ v
(uniforme)
y

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.

no uniformes,
Llamamos as a los campos vectoriales v

que verifican v= 0, sea divergencia nula, en todos los puntos


no singulares.
7.02.- Campos irrotacionales potenciales.

no uniforme que verifica


Es todo campo vectorial w
w

=0 en todos sus puntos no singulares.


ser irrotacional
Vamos a ver que un campo vectorial w

si y slo si w es integrable, es decir, si existe un escalar


, sea, tal que w
=. Como la derivada de un
integral de w
escalar se denomina tambin gradiente del escalar, la ltima
es el gradiente de .
igualdad se puede expresar diciendo que w
es integrable si y slo si w
es
Pues sabemos que w

simtrico, sea si w=0.


Por consiguiente una propiedad caracterstica de los
es que para cualquier circuito cerrado
campos irrotacionales w
verifican:

wdl = 0
7.03.- Campos armnicos.

, cuando sea a la vez


Denominaremos armnico un campo v
irrotacional y solenoidal, sea, en el que el vector
v satisface
a la vez a las dos relaciones:

= 0;
= 0
v
v
, siempre existirn campos
Para un campo armnico v
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
que es armnico.
igualdad anterior, corresponder un campo =v
7.04.-

rs.
Campo vectorial r

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:

] = r
[rs] + rs[r
] = r
[srs-1(r)] + rsn =
[rsr
[srs-1r-1r
] + rsn = srs + rsn = rs(s+n)
= r
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)

r-n) = 0
(r

En consecuencia, el campo vectorial r-n


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

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

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
=0.
r
La propiedad (20), en un espacio tridimensional, se
podr expresar as:
r
r
3

= -

118

1
r

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
a A
puntos X de E tales que, llamando x
X, 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
0.
tangente lmite de los puntos D prximos, cuando D
D

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
referencia, consideremos en E los s vectores A
B,
,..., A
como
A
C
M
definidos por A y los dems puntos.
Estos vectores determinan un tensor
= A
A
... A

V
B
C
M
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.
es un invariante del conjunto, pues para
El tensor V
otro punto de referencia, por ejemplo el punto B, se verificar:

B
..B
= B
(B
+A
)..(B
+A
) = B
A
..A
= V

B
A
C
M
A
A
C
A
M
A
C
M
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:
= e
e
..e

(21)
V
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:

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

(23)

calculado para un espacio s dimensional.


Los centros de cara del (s+1)-topo sern:
(24)

(25)

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

Cara base:

r
r
ei
r
ri = r s

Caras laterales:

Esta ltima expresin corresponde a la cara lateral


".
"opuesta a e
i
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
}, se han elegido las siguientes
independientes ordenados (e
i
expresiones generales:

para i desde 1 a s-1:


Caras opuestas a e
i
121

r
i =

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

:
Cara opuesta a e
s
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 ... ei-1 es ei+1 .. es-1)
e
e
e
1
2
s
1

s-l
r
r
= - s - i
1

r
r
+ s +

(26)

s-1

ri

= 0

2.04.- TEOREMA 2. Para las caras laterales del politopo


anterior (s>1), se verifica:
1
2
s
;





e
= e
= ... = e
= sV
e
vi = sV
i v
2 v
s v
i
el tensor volumen del politopo, sea:
siendo V

r
sV =

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

Pues se verifica:
r
r
1 r r r
r
r
1
0
s-2
s-2

e
= e1
es e2 e3 ... es-1 = (1)(1) sV = (1) sV
1 v
(s-1)!
r
r
1 r r r
r
r
2
1
s-3
s-2

e
= e2
e1 es e3 ... es-1 = (1) (1) sV = (1) sV
2 v
(s-1)!

y as sucesivamente.

Por otra parte, una vez descompuesto sVen sumandos


son
productos tensoriales, tendremos que los que empiezan por e
1
1
2

los de e1v , los que empiezan por e2 son los de e2v , y as


sucesivamente. En cuanto al signo, tendrn el mismo que los
122

1
2


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



(e
v1) = e
vi = sV
1
i

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 }, y sea
dimensional, generado por s vectores independientes {e
r
i
dei
el vector de posicin
del
centro
de
la
cara
opuesta
a
e
esi el
tensor volumen
vi. En cuanto a la base supongamos que r
vector de posicin de su centro y
v su tensor volumen. Podremos
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 es nula.
puesto que la suma de tensores volumen
Pero
acabamos de ver que para cualquier valor de i,
i
y sustituyendo

e
v
=
sV
se tendr:
i

(27)
r
vi + r
v = V
i

Tomando en vez de O, otro punto O de referencia con


=a
los nuevos vectores de posicin de los centros seran:

O
O

' = r
+ a
;
r
i
i

' = r
+ a

y por lo tanto:

'
'
+a
)
+a
)
r
vi + r
v = (r
vi + (r
vi =
i
i

= r
vi + r
v + a
vi+
v] = r
vi + r
v
i
i
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
vj es el tensor volumen de una cara del
el vector de posicin del baricentro de esta cara y
poliedro,
r
j

de los (s+1)-topos
V es la suma de los tensores volumen V
j
considerados, se verifica:
r

= r

= V
vj
j

Puesto que por (27) tenemos:


r

ri

(r )
i

r r

(r )


y como por el prrafo anterior, (r
vi)j es nulo, queda:
i
=
V


= r
vj
j

no vara con el origen elegido, es


Como el valor de V
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.
del cuerpo
Tambin diremos que el tensor volumen V
geomtrico es el lmite del tensor volumen del poliedro, y su
valor ser:
r
V =

(rd)
s

se ha
expresin en la que el volumen de la cara situada en r

representado por dv, el signo integral manifiesta que el lmite


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
vector de posicin, y sea una variedad m-dimensional (mn)
de x
del mismo
la que pertenece un cuerpo geomtrico de tensor
, acontinuamente
volumen V
diferenciable y que suponemos divisible
indefinidamente en partes fracciones.

en un punto de una parte i del


Si i es el valor de

i
cuerpo
tensor volumen dV , se demuestra que el sumatorio
i, alcon
dV
aumentar
indefinidamente el nmero de
fracciones, y
i
i
disminuir
al
mismo
tiempo
el
valor
de
cada
dV
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:
= dV
i =
Q
i

r r
dV ;

= dV

dQ

en el
y diremos que el sumatorio es la integral
de volumen de

dominio y que define una magnitud Q de volumen m-dimensional.


este tipo de definicin, en vez de un tensor
Para
volumen V
m-dimensional,
tambin podramos haber utilizado su
el volumen
tensor polar V
escalar V. En el ltimo
caso, la
.
magnitud corresponde a la densidad puntual de Q
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.

que se refieren a
3.05.- Las magnitudes de volumen
las variedades (n-1)-dimensionales superficies, y a su vector
, se denominan, en general,
superficie (AT C'5.31)
= s
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
, y cuyas
dimensiones (0<s<n), que determina i un tensor volumen dV
caras tienen por tensor volumen d
v . Tomando por origen un punto
infinitamente prximo a las caras para el que el tensor es 0,
sea ri el centro de la cara d
vi en donde el tensor es i.

0
Para r
, podremos escribir:
i
i
d
]d
]d
= [0+()r
vi = 0d
vi + [()r
vi =
i v
i
i
= (dV
)
d
= ()(r
vi) = ()dV
i

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 id
vi en cada
una de las superficies cerradas de este conjunto. Esto nos
permite escribir:
r

r r

d = (dV ) = ( ) dV

(28)

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
vB=1 y
vA=-1:

- =
B
A

( )dr
A

4.02.- Casos particulares del espacio tridimensional.


escalar y la superficie cerrada
El tensor es un vector v

es unidimensional (dv = dI).


Como para un tringulo (Algebra C'8.05) se verificar:
= ds

dV

un vector normal al tringulo de mdulo igual al rea


siendo ds
del mismo, tendremos por consiguiente:
(29)

r r

vdl

(ds)v
S

(v)ds
S

127

(Rot v)ds
S

(29')

dl

(ds)

ds()
S

ds(Grad )
S

La igualdad (29) suele expresarse as:


"La circulacin de un vector
v a lo largo de una lnea
a travs del circuito".
cerrada es igual al flujo de Rot v
4.03.- Sea un (n+1)-topo de volumen escalar V en un
) con origen en un
espacio n-dimensional generado por una base (e
i
vrtice. Sea v el tensor volumen de su base
con
centro
r, y para
i

sus caras laterales de centros ri sean v los tensores volumen


correspondientes.
De acuerdo con '2.03 tendremos:
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):

(i de 1 a n-1):

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,


correspondientes son segn AT C'5.32:
los vectores polares s
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 =

nVer

son llamados vectores superficie. Son


Los vectores s
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:

s
i + r
s
= VI
(i de 1 a n):
r
i

el tensor unidad.
siendo I
Efectivamente, para i de 1 a n tenemos:

128

r
r r
r ei
ri + rr nV( ri)= V(r ri) = VIr
r ri + r
s = - r- nVe
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
i. Tomando como origen un punto infinitamente
superficie ds
el centro
prximo a las i caras para el que el tensor es 0, sea r
i

de la cara ds , en donde el tensor es i. Al tender a cero todos


, podremos escribir:
los vectores r
i

i = [ + (
]ds
i = (ds
i) + [(
i]ds
i =
ds
)r
)r
i
0
i
0
= (
ds
i) = (
)(r
)dV I
)dV
= (
i

se suman.
pues al agregarse superficies los ds
Procediendo anlogamente a la obtencin de la frmula
de Stokes, deducimos ahora:
(30)

r r

ds

()dV
V

(dV)
V

expresin que se denomina frmula de Ostrogradski o de Gauss.


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

r r

vds

(v)dV
V

En este caso la frmula suele expresarse as: "El flujo


a travs de una superficie cerrada es la integral
de un vector v
en el volumen que determina."
de la divergencia de v
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 d
vi y por centro r
i

es cualquier vector y es cualquier tensor,


a) Si v
ambos uniformes o sea de campo uniforme, por ser
v y
ri del mismo
orden tensorial, podremos escribir:
(v
)
r
)(d
d
) = V
) = (v
V
(32)
(v
vi) = (r
vi)(v
i
i
b) Si es un tensor uniforme del orden de dvi y es un
tensor uniforme cualquiera, tendremos anlogamente:
129

(33)

(
)
)(d
)(
(
r
vi) = (d
vir
) = V
) = (V

i
i

d
).
y el signo variar si (r
vi) es de signo opuesto a (d
vir
i
i
y no son uniformes pero
c) Si en el caso a) v

continuos, la frmula (32) solo sera vlida para los r


i
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
v se reduce a una lnea dl.
= (S
), siendo S
el vector superficie
Tendremos V
correspondiente al contorno y las ecuaciones (32) y (33) cambian
as:
i
v
r
)( dl
)
(34)
(v
) = (S
i

(35)

i
v
)(v
dl
)
(
r
) = (S

4.08.- Sea una superficie cerrada (n-1)-dimensional de


escalar volumen V y cuyos n-topos elementales tienen por vector
i y por centro r
.
superficie ds
i
Si y
son
escalares, se verifica:
(36)

cualesquiera

tensores

uniformes

no

)(
i) = V
(r
ds

Pues si descomponemos ambos tensores en sumatorios de


productos tensoriales vector-tensor, podremos escribir:


= v

j;
= w
k
j
k
)(
i) = [(v

][(w

i] = (v
r

i jk =
(r
ds
j)r
k)ds
i
j
i
k
j i)(w kds )
jk

ds
i)(v
w
)]
= [(r
jk = [VI(v
=
i
j
k
jw k)]
w
jk = V(v


= V(v
j)(w
k) = V

j k)
j
k
Si algn tensor uniforme fuera de orden 0 (escalar),

por ejemplo =, el problema se solucionara sustituyendo por I


y multiplicando por , pues tendramos:

= r
= I
r
ri = (Ir
i
i
i)
Para y
variables continuas, solo ser vlida la
tiendan a cero.
frmula cuando todos los r
i

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:

r r

(=):

dV
131

r
= 0


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:

dV

(38)

r
= 0

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


de Ricci.

r
d
V
=

(39)

r
1r r
1r r

d
V
=

d
V
=
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:

(=):

r r
dV =

anterior

r r
dV

si

integramos

r r
dV

Designando
por flujo de a travs de V, a las

integrales VdV, podremos escribir:
132

(40)

r r
A = (A )dV = 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,
Recordaremos
r
escalar dV

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)

[]=):
=I
(

r r

ds

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
.

= corresponde siempre un
A todo tensor integrable

tensor =I(), siendo I el tensor idntico de 2 orden.

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 el caso de un campo tensorial que verifique
uniformemente
==0 en todos los puntos del interior de un
cuerpo, la ecuacin (41) se transforma en la siguiente:
133

v r

ds

r
= 0

En el supuesto de un campo as, sean 3 segmentos de


superficie contnua (n-1)-dimensional de elementos vectoriales
, que entre los tres, forman una superficie frontera de un
ds
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:

(=0):

r r
ds =

frmula,

r r
ds

si

integramos

r r
ds

Designando por flujo de a travs de s, a las


, podremos escribir:
integrales sds
(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.

r-n.
1.- Integrales de volumen relativas a r
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
, para el
referencia respectivamente adoptados como origen de r
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
, cuando ds
es
elemento de superficie de expresin vectorial ds
1

la proyeccin de ds sobre su vector r de posicin, es:

r
r-n = (ds
r
r-1)r-(n-1) = ds r-(n-1)
d = ds
1
y el ltimo miembro es la expresin habitual de d.
Para todo el segmento de superficie tendremos:

rr
dsrr n

r-n)=0 para todo punto


Habiendo visto en A'7.04, que (r

con r0, sabemos por Ostrogradski (41), que siempre que se


integre en una superficie
cerrada en cuyo interior no se halla el

=0
punto singular r
, 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.-

=S[ds

Integral

r-n]
r

en

una

superficie

esfrica.
Sea en un espacio puntual afn n-dimensional una
superficie esfrica (n-1)-dimensional de radio R, centro O y
la expresin del
escalar volumen S. Sea tambin el vector ds
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
O
A
O
A
= 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.

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

=A
= A
r
N

N
veremos que son semejantes los tringulos OAN y OAN, con lo que
son iguales los dos ngulos sealados con as como
los dos

al vector A

ngulos sealados
con

y
designando
por
c

O
y
por c

al vector A

O, tambin podremos escribir:

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 ] =

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

-(n-1)
-(n-1)
R
R

= [ds cos

Anlogamente tomando A' interior como origen resulta:

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

Pero por una propiedad elemental del producto escalar,


se verifica:
;

d
d
rds cos = r
s
r ds cos = r
s
y sustituyendo estos valores queda:

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

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

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;

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

y queda finalmente:
(43)
(44)

Punto interior:
Punto exterior:

= 0; -n
c
= Sc

1.05.- Integral D =

r-n] en una esfera.


[dVr

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

r-n = d
dVr
137

r-n = d
ds r

y podremos despreciar el efecto de la esfera hueca superficial.


Caso 1.- Origen A exterior a la esfera.

= Vc
c-n = dV c
c-n;
c-n
dD = d Sc
D

.
=A
siendo c
O
Caso 2.- Origen A interior a la esfera.
El conjunto de esferas
huecas diferenciales que
nulo,
encierran al origen producen un D
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:

c-n
D = Vc
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
.
=A
siendo c

no depende del radio de la esfera sino


El valor de D
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

-n
l
1.06.- Tensor
= l(d
rr ).
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
d

Sea en la variedad bidimensional determinada por la


recta y el origen P exterior, A un punto cualquiera de la recta
=r
, y N el pi de la perpendicular por P a la recta, con
con P
A

no nulo.
P
N=a. Tendremos a

=l
=a
+l
al
Estableciendo
N
A
, tendremos r
y llamando m

l, podremos escribir:
versor de d
-n

-n
-n
+l
a
][dl r-n]
l
l
l
d
= d
)r = [d
(rr ) = d
[(a
a]r = [m
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 =
+

(45)

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

cos

n 2

nkn
:
2(n-1)kn-1

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

139

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


r r
2(mxa)
-2

= 2a (ma) =

a2

(46)

=N
1.08.- Lnea cualquiera con origen P exterior y a
P
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.
r-n)] en una lnea contnua

Por tanto el valor de l[d


l(r
cualquiera, tomando como origen un punto P infinitamente prximo,
infinitesimal, no vara al sustituir la lnea por
=P
sea con a
N
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
, y que slo vara el vector a

considerar comn un versor m


correspondiente, podemos escribir para cada una de ellas:

[ (dlr
r-n)] = 2 (m
a
)a-(n-1) = 2 m
-(n-1)]
= m
n
n [a a

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[
ds = m

r-ndl)]} = 2 m

a-(n-1))]
(r
(dsa
n [
S

140


y sustituyendo la integral del ltimo miembro por tal como
vimos en '1.05 2, quedar:

(47)
S = 2nm

De acuerdo con los valores de indicados en '1.03,


resulta finalmente:

(48)
a) Punto interior:
S = 0
(49)

S c
-(n-1)
S = 2nm
e c

b) Punto exterior:

el vector de posicin del centro de la esfera


siendo aqu c
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 =

[
sd = m

de
al
de
en

d = 2 m

r-ndldsd)]= 2 m

(r
n D 1
n

el valor en el origen del campo D


creado por las
siendo D
1
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)

Vc
c-(n-1)
V = 2nm

el vector de
siendo V el volumen escalar de toda la esfera, y c
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)

Vc
c-(n-1) = 2 m

V = 2nm
n (kn-1c )

siendo V el volumen escalar de la esfera (n-1)-dimensional en


el radio vector de
cuya superficie se halla el origen, c
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 =

r-ndldsd)
(r

Por (50) podremos escribir:

H
D
V = m
= 2nm
1

es una direccin cualquiera:


y como m

(54)
H = 2 D
n

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
=P
O es infinitesimal, seguir vlida la
adems se tiene que c
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

para cualquier cuerpo.


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

=-r
):
(r

r-n)d
(
r
= -

r-n)d
(
r

en que V es un cuerpo m-dimensional, d una funcin de dV


infinitesimal,
el valor de una magnitud
de punto determinada
, r
=-r
=A
'=N
.
correspondiente a un punto N de cada dV
N y r
A
(
,
, etc.), tambin en A,
Para calcular
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
. Por lo tanto, la derivada de
variables en forma contnua con r
esta integral es igual a la integral de las derivadas de cada
sumando. Para ella podremos escribir:
(55)

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

v1

escalar queda as:


que para
= - [ (rr -ndr)]

V1

r-ndV.
2.02.- Clculo de D=Vr
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

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:
= nk
D
2

Por lo tanto, considerando =0 en todos los puntos


exteriores a V, en cualquier caso se verificar:
= nk
D
n

y referidos al punto A.
para los valores de D
2.03.- Tambin hubisemos podido obtener este resultado
a partir de la frmula de '1.05 caso 2:
= k c

D
n

al multiplicar miembro a miembro por , y cambiando para ello c

por c=-c:

D = -knc
=n, al pasar nuevamente al origen A queda:
y como c
= k n
D
n
podemos
2.04.- En consecuencia
de lo visto sobre D

expresar el valor de D correspondiente a un punto A de la


siguiente manera:
= t
dV
=r
r-n):
(t
D
Ai

Ai

acta como t
pues el
teniendo en cuenta que en el sumatorio, t
Ai
i pues es

extremo de r est en dVi, pero respecto a acta


como
t
= k n.A
un vector localizado en A, y de esta manera D
A
A n

144

3.- Campos solenoidales.


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

es un campo solenoidal y por tanto v


=0, de
Cuando v
acuerdo
con
lo que vimos en B'5.06, la frmula (41) de
Ostrogradski queda reducida a la siguiente:

vds

(56)

= 0

3.02.- Lneas y tubos de campo.

a toda
Llamamos lnea de campo en un campo vectorial v

lnea del espacio tal que el valor de v en cada uno de sus puntos
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.

un tubo de campo de
Sea en un campo solenoidal S
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
S
ds = 0
y como en todos los puntos de la superficie tubular se verifica
por hiptesis:
s
= 0
Sd
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
_
cuando sus
solenoidal S
secciones planas (n-1)-dimensionales
d
s
son infinitesimales y por tanto su flujo caracterstico
Sd

s, que
designaremos por di, tambin es infinitesimal.
El tubo de campo corresponde
ahora a una lnea y
en cada punto
admitiremos que los vectores S
de una seccin
infinitesimal del tubo por un punto dado, son todos
iguales y con

la misma orientacin y sentido que el elemento


dl de la lnea, en
el punto correspondiente de ella.

, y
Tambin tendremos que en un punto con seccin ds
seccin recta escalar ds1, a una longitud dl de tubo
corresponder un segmento de tubo de volumen:

l
dV = d
d
s = dl.ds1

=kdl
Podemos escribir S
(k escalar) y por tanto:

d
= kd
l
di = S
s
d
s = kdV

k =

di
dV

r
di
S =
dl
dV

dV = di d
l
S

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

3.05.- Hiptesis de trabajo en un campo solenoidal.


no es
Sea en un campo solenoidal
S el dominio en que 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:

dV =
S

di

d
l

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.

integrable, tendremos que para cada tubo cerrado


Para

l, y por tanto, si son cerrados todos los tubos


es nulo ld
elementales, sern nulos los dos miembros de la ltima ecuacin.
de la
Por consiguiente, para igual al tensor I
aplicacin idntica, que es integrable, para el conjunto de tubos
elementales cerrados, y para un conjunto cualquiera de tubos
cerrados tendremos:

dV = 0
S

r-n.
3.07.- Ejemplo para = r
r-n es integrable y por tanto, al
Sabemos por (20) que r
integrar en cualquier lnea cerrada, se verificar:

rr

(60)

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:

2
1

r-n d
l
r
= -(n-2)-1

2
1

r-(n-2)dr

se verifica:

2
1

= r -(n-2) - r -(n-2) = 0
r-(n-2)dr
2
1

con lo que tambin tendremos:


147

2
1

r-ndl
r
= 0

Para cualquier tubo del campo de un vector solenoidal


y eligiendo
S
una lnea representativa que no contenga al
origen,las dos integraciones equivalentes que siguen son pues
siempre de valor nulo:

r
r-ndV
S

di

r-nd
l
r
= 0

3.08.- Campo tensorial .

, las dos integraciones


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

r
r-n)dV
(S

di

(dlrr
l

-n

A cada tubo elemental, de flujo di, corresponder un


valor:
(62)

d = di

-n
l
(d
r r )

que obtendremos considerando a di una constante del tubo e


integrando a lo largo de la lnea correspondiente al mismo.
di no nulos.
Bastar considerar los tubos con S
El tensor ser pues el sumatorio de los valores de

d, por cada tubo del conjunto de tubos elementales que forman


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

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

con los significados descritos en '1.07.


-n
l
3.10.- Otra expresin de [d
(rr )].

l
, por lgebra tensorial
Para un tubo elemental d
podemos escribir:
-n
-n

r-nd
r-n) - [(r
r-n)]d
l
l
l
l
l
[d
) = (d
rr ] = (d
rr ) - (r
)(r
148

pero se verifica:

r-n) = [(r
r-n)]d
l
l
(d
)(r

r-n)]d
l
[(r
= 0

(64)

Y al sustituir estos dos resultados, queda:


-n

-n
r-n)]d
l
l
l
[d
= [d
(rr )] = [(r
(rr )]

.
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

. Cada tubo elemental componente, de los


de y por tanto de
cuales ninguno contiene a A, genera una parte d de y tendremos
que 1=1d
El tubo 2, con A en su interior, dar lugar a un
+
=
. Siempre se
integral 2 tal que =1+2 y que
1
2
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.

tensor
podrn
sea lo
pueda

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:

d =

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

-n
l
(d
rr ) = di

-n
l
[(d
rr )] = di

r-n)d
l
[(r
]

r-n tiene integral, y sta es r


r-n, al
Como r
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:
r-n] - [r
r-n] ) = 0
d = di([r
2
1
y como es nulo el
verificar tambin:

resultado

para

149

cada

tubo

elemental,

se

=0.

1
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
uniforme:
longitud que tiende a 0 y que admitimos con S

= -

(S rr
V

(S rr

-n

)dV = -

-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

)d
s

-n

Sustituyendo el producto exterior:

=
2

(S rr
S

= -

)d
s

-n

(Sds)rr

-n

-n

S(rr

)d
=
]S
s

([rr

)
d
s

n-1

que el primer sumando es nulo


por serlo
s
) ya Observaremos
y
que en todo tubo de S, los vectores S
d
s son
(Sd

ortogonales, y que en cuanto al segundo, podemos sacar S


constante fuera del signo integral. Queda en conjunto:

= S

rr
S

= -S
(nk )
d
s
n

-n

puesto que en el segundo miembro, el factor de


S resulta ser, con
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:

= -nk S
(65)

el valor del campo en el


siendo S
consideraremos nulo en donde no exista.

origen

A,

Aplicacin a un espacio tridimensional.

n = 3; kn = 3 :
150

r
r
= -4S

campo

que

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,
la proyeccin ortogonal de A sobre el eje
y siendo el vector
A
O=c
del cilindro.
Habindose definido y
V por las ecuaciones (61) y
(50) respectivamente, vemos al examinar su aplicacin a un mismo
cuerpo desde
mismo origen, que slo
se diferencian en que (61)
dV un
l
utiliza S
donde (50) utiliza d
ds, entre cuyas cantidades
existir por tanto, la misma relacin que entre
V y .

dV = Sm
= S
dlds = S(d
l
S
ds)

V
Efectivamente, vanos a hallar partiendo de (56) que
es una ecuacin deducida de la (52).

= S = 2 m

V
n kn-1c = 2nkn-1(S c)
Multiplicando miembro a miembro por , y cambiando
por c
=-c
, escribiremos:
para ello c
c
= -2 k (S
)

n n-1
c
'):
Calcularemos (S
c
c
) = S
(c

) = (S
) - (c
S
) - (c
)S
(S

=I
=n:
y teniendo en cuenta que c
(tensor idntico) y que c
c
- nS
= -(n-1)S

) = S
(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-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
no uniforme que
campo irrotacional
a todo campo vectorial w

verifica w=0 ( sea w simtrico) en todos los puntos no


singulares.

ser irrotacional
Vamos a ver que un campo vectorial w

si y slo si w es integrable, es decir, si existe un escalar U


, sea tal que w
=U.
integral de w
es integrable si y slo
Pues por A'5.03 sabemos que w

si w es simtrico, sea w=0.


,
Por ser integrable cualquier campo irrotacional w
corresponder a la derivada de una aplicacin diferenciable, y
por consiguiente, siempre se verificar:

(66)

d
l
w
= 0

tambin lo ser
Recordaremos que si U es integral de w
U' si y slo si se diferencia de U en un escalar uniforme.
4.02.- Superficies equipotenciales.

irrotacional, llamamos superficie


En un campo w
equipotencial correspondiente a un punto A, al l.g. de los puntos
P equipotenciales a A , llamando as a los que verifican:

P
A

d
l
w

= 0

A cada elemento infinitesimal de una superficie


aplicado a
equipotencial, corresponder un vector superficie ds
cualquier punto del elemento. Este vector ser ortogonal a la
superficie y por tanto, de igual direccin y sentido que el
correspondiente al punto.
vector w
As pues, en cada punto representativo A, para algn
escalar k se verificar:
_
= kd
w
s
Slo en
el caso de que A pertenezca a un cuerpo n=0 en todos sus puntos el l.g. de los puntos
dimensional con w
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

d
l
w

= 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:

d
l = dU
w
habiendo llamado dU
diferencial
infinitamente pequea entre U2 y U1.

de

U,

la

diferencia

Una capa elemental equipotencial corresponde ahora a


una superficie (n-1)-dimensional y a un espesor infinitesimal
son iguales en todos
variable, y admitiremos que
los vectores w

los puntos del trayecto


dl y que lo mismo ocurre con los vectores
de superficie
infinitesimales d
s
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:

d
l
dV = d
s

parcial
volumen

De esta manera, para cada punto de _una superficie


de igual direccin que ds
y:
equipotencial, resulta w

dU = w
d
=kd
d
l
l
w
s
= k d
s

k =
(67)

dU
dV

dU r
r
w =
ds
dV

dV = dUd
w
s
153

y d
s
para cada punto tienen el versor m
comn,
Como w
si dl1 es all la distancia ortogonal entre superficies, tambin
se verifica en el punto:
dU = w
dl
m
1

(68)

4.06.- Hiptesis de trabajo en campo irrotacional.


Sea, en un campo irrotacional
w, el dominio en que
w no
es nulo.
Con el mtodo de clculo habitual consideraremos su
espacio como constitudo por un conjunto infinito de elementos
que
diferenciales dV (volumen escalar) con el vector w
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).

0
Para el dominio V en que w
, 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:

dV = dU
w

ds
= 0

y por tanto, para todo conjunto de capas cerradas, se verifica:

(69)

dV = 0
w

4.07.- Aplicacin a capas cerradas.


En general, si es un tensor cualquiera podremos
escribir:
(70)

w
dV =

dU

d
s

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)

w
dV = 0

De acuerdo con esto, es fcil ver que cuando es el

tensor I de la
aplicacin idntica, que es uniforme y por 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
=0,
puntos singulares en V, y por tanto por definicin verifica
se le puede aplicar la ecuacin (71).

r-n, sabemos que d


Cuando el vector solenoidal es =r
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:

w
dV = (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

r
r-n)dV
(w

dU

r
r-n)
(d
s

l
Anlogamente a '3.10, podemos sustituir d
por d
s
obteniendo:
_ -n
_ -n
[ds
(rr )] = [ds
(rr )]

en lugar de S
y operando con capas en lugar de tubos, y con w
llegamos al resultado:
= -nk w

n
que se verifica cualquiera que sea el punto del espacio donde se
el valor del campo en el
halle situado el origen, siendo w
origen.

155

5.- Campos armnicos.

que
5.01.- Llamamos armnico a todo campo vectorial v
sea a un tiempo irrotacional y solenoidal, sea que verifica
tanto la relacin caracterstica del uno, como la del otro:
= 0;
v

= 0
v

y tendr por tanto, a la vez, las propiedades de ambos campos.

irrotacional tendremos que ser la derivada


Por ser v
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
de Laplace, es diferenciable y regular,
aplicacin puntual v
decimos que en este dominio regin del espacio, U es una
=U es un campo armnico.
funcin armnica, y que v

, conservarn su
5.02.- En los campos armnicos v
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:

dV = di d
l
v
= dU d
s
que normalmente
a elementos de volumen rectangulares
se referirn
son vectores de igual direccin.
l
en los que d
, d
s y v

=0 en
5.03.- Vamos a ver en qu condiciones tendremos v
un campo armnico.
Como las ecuaciones (59) y (68) sern aplicables a un
campo armnico, de ellas deducimos fcilmente:
di = v ds;

v=

di dU
=
ds dl

dU = v 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.

en todo el dominio.
No sern nulos ambos valores ni v
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
= 0.
U = v
Por lo expuesto en el prrafo anterior no existe
ningn mximo ni mnimo en el interior del dominio til
=0 en la totalidad del mismo.
considerado bien se tiene v
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:

r-n;
r

-(n-2)-1r-(n-2)

que hemos estudiado en A'7.04.


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.

uno vectorial, ambos


Sea U un campo escalar y v
).
cualesquiera, y consideremos la integral de volumen de (Uv
Por Ostrogradski podremos escribir:

)]dV =
[(Uv
157

.
)d
(Uv
s

Esta expresin, cuando U es uniforme en la frontera y


v
es solenoidal, se anula por (56):

)]dV = U
[(Uv

= 0
d
v
s

Por otra parte, si U es una funcin armnica del campo


=U, y tenemos por tanto v
=0, podremos escribir:
armnico v

) = v
(U) + U(v
) = v
(U) = v2
(Uv

)]dV =
[(Uv

v2dV

De estas expresiones y de la anterior deducimos:

)]dV = 0 =
[(Uv

v2dV

=0, sea U uniforme.


y por tanto, en todo el volumen tendremos v

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

r
d
k1
dt

= k1

con

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

y = k, son de la forma:
Con 1=v
0

(n
) + .. + (
) + v
) + k
(
= 0
n
2
159

Ensayaremos una solucin de la forma


= ea x siendo

un tensor uniforme del orden de y a un vector uniforme. Se


obtiene:

eax
(ea x ) = a

y por lo tanto:
k


= kea x

) = v
(
(
[(eax)
(a

ea x ) = v
] = v
v
)ea x

(
)= [(
)]= (a

a

)ea x = 2(a
)ea x
2
2
2

. . . . . . . .

(n
) = (a
n
n)
)ea x = (na
ea x
n
n

Sustituyendo en la ecuacin resulta:

n + ... + (a
a
) + v
a
+ k]
[na
ea x = 0
2
Por lo tanto la solucin ensayada es vlida con
que anule el corchete, es decir, que sea
cualquier valor de a
solucin de la ecuacin:

a
n + ... + (a
a
) + v
a
+ 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.

(t) del
Sea en un espacio puntual afn una curva x
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
es funcin continua de t en dicho segmento y por tanto
slo x
=dx
/dt,
existe en cada uno de sus puntos una derivada escalar x
sino que esta derivada tambin es continua en dicho segmento.
Sea tambin una funcin f escalar de las tres
y x
'. Separando variables podremos escribir:
magnitudes t,x

+ f dx

df = ftdt + fxdx
x
160

en cuya expresin t es la nica variable independiente, ft es la

derivada parcial respecto t, fx la derivada parcial respecto a x

y fx la derivada parcial respecto x. Por razn de homogeneidad


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

,x
)dt
f(t,x

(t) entre A y
y veamos qu condiciones necesita reunir la curva x
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
+v
, con v
(t) una curva cualquiera tal que v
(a)=v
(b)=0
,
tipo x
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

+v
, x
+v
)dt
f(t, x

, obtenemos
Dando distintos valores a para un mismo v
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
determinado,
Obtendremos pues la condicin para un v
fijo,
derivando I respecto a para =0, considerando v
e
igualando a cero el resultado que se obtenga:
0 =

AB

(fxv
+ f
x )dt =

AB

fxv
dt +

AB


fxv
dt

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


v en A y en
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


que se anule en A y B, resulta
verificar para cualquier v
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
x, tal
que a=b, es decir,

=a
que para x
=b
que toma igual valor para x
.
Admitiremos
tambin que y varan en forma continua

hasta b
desde a
a
lo
largo del segmento rectilneo AB que

y b
determinan a
.
Vamos a demostrar que en estas condiciones, en AB
y distinto de A y
siempre existe un punto C correspondiente a
x=c
de B, para el que verifica:

()C(b-a
) = 0

[()(b-a
)]C = 0
Efectivamente, si pasamos de A a B por segmentos
, todos de igual direccin, se tendr:
diferenciales dr

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
, habr en el segmento
siempre nulos los incrementos d=()dr
algn punto C entre A y B en que los incrementos cambiarn de
signo y para l se verificar:

= 0
()Cdr
y como ACB es una recta, se verificar tambin:

()C(b-a
) = 0
1.02.- Frmula tensorial de Taylor.

, la
Para un tensor de cualquier orden, funcin de x

frmula tensorial de Taylor


expresa
B, es decir, el

el valor de
= b
+ (b
arbitrario,
valor de para x
= a
-a), siendo a
en
funcin:
=a
,
de A = valor de para x
=a

del valor de las sucesivas derivadas de para x

y de las potencias tensoriales de b-a.


La frmula es la siguiente:

r r
1
r r r
r = r + 1 ( r (b
)A -a) + (2 )A(b-a)2 + ....
B
A
1!
2!
163

.... +

1 m r r r m
r
( )A(b-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!

es un tensor arbitrario del mismo orden que


en cuya expresin,
y , y
v es cualquier tensor de orden m+1 que sea simtrico y
que verifique:

-a
)(m+1) 0
v(b
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:

) = 0
(73)
()C(b-a
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
((m+1) )C(b-a)(m+1)
(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) )C(b-a)(m+1)
(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) )C(b-a)(m+1)
(m +1)!

con lo que la ecuacin (74) se convierte en:

C
y supongamos que los factores son de segundo orden.

} del espacio n-dimensional E en


Adoptando una base i{e

ij), tensor base de su espacio


que trabajamos, para =(e e
vectorial, habr algn punto C para el que se verificar:
ie
j) = (e
ie
j)
(e
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
1
r r r
r = r + 1 ( r (b
)A -a) + (2 )A(b-a)2 + ....
B
A
1!
2!
1 m r r r m
.... + ( )A(b-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) )C(b-a)(m+1)
r r r r
(c; c[a,b]):
= 0
lim m =
(m +1)!
1.08.- Serie de Mac-Laurin.

=0
Es la serie de Taylor para el caso a
, o sea:

r 1
1
r r
r r
r = r + 1 ( r b
)0 + (2 )0 b2 + .. + ( m )0 b m + ..
B
0
1!
2!
m!
1.09.- Valor de la diferencia B - A
=dx
y indefinidamente diferenciable con
Para A
B
=a
, podremos escribir la frmula de Taylor
derivada finita para x
de esta manera:

1
r r m
r 1 2 r r 2
r - r = 1 ( r dx
+ ( )A d x + .. + ( m )A d x
+ ..
)A
B
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
). Como para el
en (73) obteniendo m+1 trminos de ()C(b-a
trmino m+1, aplicando los teoremas fundamentales de esta lgebra
se verifica:

r r
r
r r r
rr
{[( m )(b-x)m]} = [ m(b-x)m]()
el trmino m+1 en (73) puede representarse as:
166

r r
1
rr r r
{[ m(b-x)m]()}C(b-a)
m!

m+1 =

y con 0im, para el trmino general i+1 tendremos:

i+1 =

r r
r r
1
rr
{
[(b-a)][i(b-x)i]()}c
i!

Teniendo en cuenta que


eli factor , como operador de

derivacin, se refiere tanto a (b-x
) como a , consideraremos a
i+1 como suma de dos sumandos i+1 y i+1 i, el primero para como
) como tensor afectado.
tensor afectado y el segundo para (b-x
1.11.- Siempre aplicando los teoremas fundamentales,
para el valor en C del primer sumando tendremos:

r r
r r r
r r
r r r 1
1
r
r
i+1 = [i ]C [(b-c)i (b-a) ]= [i+1 ]c[(b-c)i (b-a) ]
i!
i!
Ahora bien, por tener igual direccin y sentido podemos
-c
por k(b
-a
) y tendremos:
sustituir b

i+1 =

r r
1 i+1 r i r r i+1 r
1
r
r
[ ]c[k (b-a) ] = [ (i+1 )cki(b-a)i+1]
i!
i!

Para el valor en C del segundo sumando se verifica:

i+1 =

r r
r r rr
1
{[i(b-x)i]}c(b-a)()C
i!

-x
)i] es la derivada de un monomio en (b
-x
)
Pero [i(b
i i-1
y sustituyendo por su valor -i (b-x)
dado por (17) y A'6.03c,
se tiene:
i+1 = -

r r
r r rr
1
i{[i(b-x)i-1](b-a)()}C =
i!

r r
r r
r r
r r r
i
1
rr
r
= - {i[(b-x)i-1 (b-a)]()}C = (i )C[(b-c)i-1 (b-a) ]
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
r r {[(b-x)m+1]}C r r
= () r r r m+1 (b-a)
(b-a)
167

y como por ser derivada de un monomio se verifica:

-x
)m+1]} = -(m+1)
-c
)m
{[
v(b
v(b
C
tendremos sustituyendo:
r r
r r
r r r
r r r
r r [(b-c)m (b-a)]
r r [(m +1)(b-c)m](b-a)
= -(m +1)()
= -()
r r r
r r r
(b-a)m+1
(b-a)m+1

Ahora bien, por tener igual direccin y sentido podemos


-c
= k(b
-a
) y sustituir, con lo que quedar:
escribir b
r r r
rr
r r m (b-a)m+1
= -(m +1)()k r r r m+1 = -(m +1)()km
(b-a)

-a
)} , son:
1.13.- Resumiendo, los trminos de {()(b
C
1
2
3
. .
m+1

=
=
=
.

1
2 1
3 2
. . . . .

r r
1
r
r
= m+1 - m = [ ( m+1 )C km(b-a)m+1] - m
m!
= - (m+1)(
)km.
Sumando miembro a miembro, queda:

r r
1
r
rr
r
0 = [ ( m+1 )C km(b-a)m+1] - (m +1)()km
m!
de donde se deduce:
rr
=

1
r r r
r
[( m+1 )C(b-a)m+1]
(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:

cos2p xdx =

expresiones

de

135(2p-1)
246( 2p) 2

cos2p+1 xdx =

246(2p)
135( 2p +1)

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 =

V2p+1 =

1 p 2p
r
p!

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 =

k2p+1 =

1 p

p!

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
2
k2p-1

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

2(2p)(2p-2)42
2(2p) + 2
k2p+1
=
=
cos2p-1xdx

0
2p
+
1
(2p
1)

1
2p
+
1
k2p

2(2p-1)(2p-3)31
2(2p-1) + 2
k2p
=
=
cos2p-2xdx

0
2p
(2p
2)

2
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
=
cos n-2 xdx

0
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 =

170

nkn
2(n-1)kn-1

INDICE DE EQUACIONES
AT( 1)......... 14
AT( 2)......... 14
AT( 3)......... 14
AT( 4)......... 22
AT( 5)......... 23
AT( 6)......... 23
AT( 7)......... 23
AT( 8)......... 24
AT( 9)......... 24
AT(10)......... 25
AT(11)......... 25
AT(12)......... 26
AT(13)......... 26
AT(14)......... 26
AT(15)......... 28
AT(16)......... 28
AT(17)......... 29
AT(18)......... 29
AT(19)......... 29
AT(20)......... 30
AT(21)......... 30
AT(22)......... 34
AT(23)......... 34
AT(24)......... 44
AT(25)......... 44
AT(26)......... 44
AT(27)......... 44
AT(28)......... 44
AT(29)......... 71
CT( 1)......... 98
CT( 2)......... 98
CT( 3)......... 99
CT( 4)........ 100
CT( 5)........ 102
CT( 6)........ 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) .......

171

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

Potrebbero piacerti anche