Professional Documents
Culture Documents
etodos Matem
aticos 1
Campos y Operadores Diferenciales*
L. A. N
un
ez**
Centro de Fsica Fundamental,
Departamento de Fsica, Facultad de Ciencias,
Universidad de Los Andes, Merida 5101, Venezuela y
Centro Nacional de Calculo Cientfico, Universidad de Los Andes,
(CeCalCULA),
Corporacion Parque Tecnologico de Merida, Merida 5101, Venezuela
Enero 2005 Version 1.5
Indice
1. Campos Tensoriales y el Concepto de Campo
7
8
9
10
10
11
11
14
15
16
17
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
*
ADVERTENCIA: El presente documento constituye una gua para los estudiantes de M
etodos
Matem
aticos de la Fsica de la Universidad de Los Andes. Es, en el mejor de los casos, un FORMULARIO y de ninguna manera sustituye a los lbros de texto del curso. La bibliografa de la cual han
surgido estas notas se presenta al final de ellas y debe ser consultada por los estudiantes.
**
e-mail: nunez@ula.ve
Web: http://webdelprofesor.ula.ve/ciencias/nunez/
Formulario de M
etodos Matem
aticos 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
20
22
22
24
25
27
28
28
29
29
30
31
31
31
32
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
33
33
33
34
35
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
36
36
38
38
39
41
42
42
43
44
44
.
.
.
.
45
45
47
48
48
5.3.
5.4.
5.5.
5.6.
.
.
.
.
8. Teora de Potencial
8.1. Potenciales escalares . . . . . . .
8.2. Potenciales vectoriales y calibres
8.3. Teorema de Green y Potenciales
8.4. Teorema de Helmholtz . . . . . .
Luis A. N
un
ez
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Formulario de M
etodos Matem
aticos 1
1.
T , , , ,
, ,
hz l (n)|
mnl
= Tijk
(t)
(t)
mnl
(t) ti (1) uj (2) v k (m) |xm (1)i |yn (2)i |zl (n)i
Tijk
mnl
Tijk
i
t (1)
j
vk (m)
(2)
(t)
(t)
(t)
|
xm (1)i(t) |
yn (2)i(t) |
zl (n)i(t)
mnl
(2)(t) vk (m)
(t) ti (1)(t) u
Tijk
(t)
|
xm (1)i(t) |
yn (2)i(t) |
zl (n)i(t)
al igual que los vectores, la dependencia funcional de los tensores variara con la base en la cual se
exprese. As tendremos tensores cuyas componentes, en una determinada base, seran variables y en
otra no. Mientras que una de las bases sera variable y otra no.
Igualmente saltamos al cociente incremental para conocer la velocidad de variacion
lm
T [, , , ; , , , ](t+t) T [, , , ; , , , ](t)
t0
lm
t
m
T [, , , ; , , , ](t)
t
t0
m
d T [, , , ; , , , ](t)
dt
si la base es constante, entonces podemos, como en el caso de los vectores, la dependencia funcional
y su variacion (su derivada) recae sobre sus componentes. As podemos construir la derivada de las
Luis A. N
un
ez
Formulario de M
etodos Matem
aticos 1
componentes como
lm
mnl
Tijk
(t + t)
mnl
Tijk
(t)
t0
= lm
t0
mnl
Tijk
(t)
mnl (t)
d Tijk
dt
Siguiendo con el proceso de generalizacion podemos pensar en una dependencia funcional multilineal. Esto es que el argumento de la funcion tensorial otro tensor,
T [, , , ; , , , ] = T [, , , ; , , , ]G[,, ,;,, ,]
A ese objeto se le llama Campo Tensorial, pero vamos con calma. Analicemos lo casos mas simples los cuales son los verdaderamente u
tiles. Como era de esperarse, tendremos varios casos que
se pueden construir a partir de esta idea hemos visto funciones que ahora llamaremos campos
homogeneos
= (t)
funcion
|ri(t) ~r = ~r (t)
rk (t)
vector
T = T [, , , ; , , , ](t)
mnl (t)
Tijk
tensor
Campo Escalar
|ai(|ri) ~a = ~a (~r)
ak (~r)
T = T [, , , ; , , , ](|ri)
..
.
Luis A. N
un
ez
Campo Vectorial
mnl (~
Tijk
r)
Campo Tensorial
..
.
Formulario de M
etodos Matem
aticos 1
ak (~r (t) , t)
T = T [, , , ; , , , ](|ri)
..
.
mnl (~
r (t) , t)
Tijk
Campo Vectorial
Campo Tensorial
..
.
en ambos casos hemos supuesto que la base en la cual se expresan vectores y tensores es constante.
La idea de los campos escalares, vectoriales, tensoriales, con argumento vectorial, es asociar un
valor de la componente (escalar, vectorial o tensorial) a cada punto del espacio (si el vector est
a en
<3 ). Obviamente los campos escalares asocian un n
umero a cada posicion y los campos vectoriales,
ademas del n
umero (m
odulo) asocian una direccion y un sentido.
Los campos escalares ser
an las distribuciones de densidad (~r (t)) , presion P (~r (t)) y temperatura T (~r (t)) de la atm
osfera terrestre o la distribucion de intensidades del campo electrico en una
superficie. As al considerar el potencial electrico
q
q
(~r) = (x, y) = ln
(x + 1)2 + y 2 ln
(x 1)2 + y 2
La representaci
on del campo escalar sera
Luis A. N
un
ez
Formulario de M
etodos Matem
aticos 1
q
(x + 1) +
y2
q
2
2
ln
(x 1) + y
y la representaci
on de un campo vectorial sera
Campo vectorial
2.
Formulario de M
etodos Matem
aticos 1
3.
Formulario de M
etodos Matem
aticos 1
es una velocidad). Del mismo modo a aquellas lneas a las cuales los vectores son tangentes se
les dominan lneas de campo, curvas integrales o simplemente lneas de flujo o de corriente. A
las trayectorias ortogonales a estas lneas, vale decir a aquellas lneas cuyos vectores tangentes
sean ortogonales al campo, se les denominaran lneas equipotenciales. El ejemplo mas emblem
atico
~
lo constituye el gradiente de un campo escalar (x, y). Las lneas equipotenciales las define el
campo escalar mismo, (x, y) = z = cte (curva de nivel) y construimos un campo vectorial con
~ (x, y) . Como el gradiente es perpendicular a la curva de nivel tendremos que
su gradiente,
~ (x, y) ser
las curvas integrales, ( lneas de flujo o lneas de corriente) del campo vectorial
an
trayectorias ortogonales a las curvas equipotenciales.
3.1.
Supongamos el caso bidimensional1 en coordenadas cartesianas, y consideremos un desplazamiento diferencial d~r en la direcci
on del campo vectorial, es facil convencerse que
d~r ~a (x, y) = ax (x, y) + ay (x, y)
dx
dy
=
ax (x, y)
ay (x, y)
con lo cual encontramos las lneas de flujo o curvas integrales y (x) del campo ~a (x, y)
Z
ay (x, y)
ay (x, y)
dy
=
y (x) =
dx
dx
ax (x, y)
ax (x, y)
as dado un campo vectorial
~a = x + y
y
dy
=
dx
x
dy
=
y
dx
+C
x
y (x) =
1
C1
x
El caso tridimensional s
olo a
nade complicaciones tecnicas y no riqueza conceptual
Luis A. N
un
ez
Formulario de M
etodos Matem
aticos 1
k
0=
dx
dy
dz
ax (x (t) , y (t) , z (t) , t) ay (x (t) , y (t) , z (t) , t) az (x (t) , y (t) , z (t) , t)
por lo cual
(az (x (t) , y (t) , z (t) , t) dy ay (x (t) , y (t) , z (t) , t) dz)+
+ (ax (x (t) , y (t) , z (t) , t) dz az (x (t) , y (t) , z (t) , t) dx)
+
=0
+ (ay (x (t) , y (t) , z (t) , t) dx ax (x (t) , y (t) , z (t) , t) dy) k
y finalmente
dx
dy
dz
=
=
ax (x (t) , y (t) , z (t) , t)
ay (x (t) , y (t) , z (t) , t)
az (x (t) , y (t) , z (t) , t)
la integral de estas ecuaciones construira las lneas de flujo o curvas integrales.
3.2.
Para encontrar las trayectorias ortogonales al campo vectorial o las lneas equipotenciales construimos un campo vectorial ~a (x, y) que sea ortogonal en todo punto a ~a (x, y)
~a (x, y) ~a (x, y) = 0
ax (x, y) a
x (x, y) + ay (x, y) ay (x, y) = 0
a
ax (x, y)
y (x, y)
=
ay (x, y)
ax (x, y)
~a (x, y) = a
a
x (x, y)
y (x, y)
Luis A. N
un
ez
Formulario de M
etodos Matem
aticos 1
y ahora procedemos del mismo modo pero con el campo vectorial ~a (x, y, z)
a
dy
y (x, )
=
dx
ax (x, y)
y (x) =
a
y (x, y)
dx
ax (x, y)
~a = x + y
dy
y
=
dx
x
y (x) = xC1
seran rectas.
4.
Podemos tambi
flujo de campos vectoriales. Para ello, consideramos una superficie
en imaginar
~ =
dS
~
n
infinitesimal dS
s , con n
s el vector unitario normal esa superficie S. Entonces, la cantidad
~ = ~a n
df = ~a dS
s dS
ZZ
f=
~=
~a dS
ZZ
ZZ
~a n
s dS =
an dS
a
s
s
s
donde a1 , a2 , a3 son las componentes cartesianas del vector ~a. La idea que esta cantidad representa
flujo puede tenerse si pensamos en un fluido incompresible que fluye con un campo de velocidades
~v = ~v (~r) . El volumen que atraviesa una determinada superficie en un intervalo
de tiempo dt. As,
dS definira la base de un tubo de fluido y tendra como altura la k~v k cos n
d
v dt ya que la altura
s ~
no tiene por que ser perpendicular a la base2 . Por lo tanto la cantidad de fluido que atraviesa la
superficie por unidad de tiempo viene dada por
ZZ
ZZ
ZZ
~
~
df = k~v k cos n
d
~
v
dS
=
(~
v
dS)
=
~
v
d
S
f
=
~
v
d
S
=
~
v
dS
=
vn dS
s
s
s
s
5.
d
Si lo es cos n
~v = 1 porque la velocidad es paralela a la normal
Luis A. N
un
ez
10
Formulario de M
etodos Matem
aticos 1
r=
r (x, y, z) = d
r=
ds2 = dx2 + dy 2 + dz 2
5.1.
5.1.1.
r
x
|ri
|ri
hy =
y
= 1; hz =
z
= 1
dx +
r
dy +
dz = dx |ii + dy |ji + dz |ki
y
z
g11 = gxx = 1;
g22 = gyy = 1;
g22 = gzz = 1
Para analizar los cambios en los campos escalares requerimos comparar dos instantes de tiempo para ello, parametrizamos las componentes del vector tendremos que
z = (~r (t)) = g (x (t) , y (t))
d (x (t) , y (t))
(x (t) , y (t)) d x (t) (x (t) , y (t)) d y (t)
~ (x (t) , y (t)) d ~r (t)
=
+
=
dt
x
dt
y
dt
dt
donde hemos representado
~ (x (t) , y (t)) = (x, y) + (x, y)
= x (x, y) + y (x, y)
= i (x, y) |ei i = ,i (x, y) |ei i
x
y
y lo llamaremos el gradiente de la funcion. El gradiente de un campo escalar es uno de los objetos
mas u
tiles, el cual lo hemos utilizado de manera operacional y no nos hemos detenido a reflexionar
sobre sus propiedades.
Es claro que para una curva de nivel
g (x, y) = z = (~r (t)) = k = cte
d (x (t) , y (t))
dk
=
=0
dt
dt
d (x (t) , y (t))
~ (x (t) , y (t)) d ~r (t)
= 0 =
dt
dt
con lo cual dado que d d~r(t)
t es la tangente a la curva, el gradiente es perpendicular a la curva tal y
como muestra la figura (5.1.1).
Luis A. N
un
ez
11
Formulario de M
etodos Matem
aticos 1
Derivada Direccional
En una generalizaci
on de la idea que surge de parametizacion de la curva o de la derivada total
respecto al tiempo
d
~ (x (t) , y (t)) d ~r (t)
=
dt
dt
0
As es claro que, dados dos puntos M y M en el campo se puedes relacionar sera. Definiremos,
Luis A. N
un
ez
(x (t) , y (t) , t) ~
d ~r (t)
d
=
+ (x (t) , y (t) , t)
dt
t
dt
12
Formulario de M
etodos Matem
aticos 1
Direcci
on de maxima variacion en una funcion
En este punto, varias conclusiones se pueden derivar del concepto de derivada total. La primera
es que dado que, la norma de la derivada direccional a lo largo de |ui es
\
~
~
~ (x, y) , u
D|ui
=
(x,
y)
(x,
y)
cos
~ \
~ (x, y) y u
(donde hemos denotado por
(x, y) u
como el angulo que forman los vectores
), el
valor maximo del la norma de la derivada direccional sera
s
r
p
2
2
2
~
i
D|ui
= (x, y) = i
+
+
m
ax
xi xi
x1
x2
x3
es decir, cuando u
apunta en la direcci
on del gradiente, o lo que es lo mismo, direccion de la mayor
tasa de cambio la indica la direcci
on del gradiente. O dicho de otro modo, en un determinado punto
~ apunta en la direccion de la maxima tasa de cambio,
M de las superficie (x, y) = z el vector
tal y como podemos apreciar en la figura (5.1.1).
Luis A. N
un
ez
13
Formulario de M
etodos Matem
aticos 1
= grad = lm
(x, y, z) dS = lm
(x, y, z) n
s dS
V 0 V
V 0 V
s
s
Esto es, supongamos que construimos un campo vectorial de la forma siguiente
~a (x, y, z) = ~c (x, y, z)
con lo cual
ZZ
~=
~c (x, y, z) dS
f=
s
con ~c = cte
ZZ
~c (x, y, z) n
s dS
s
Luis A. N
un
ez
~x = (dy dz)
dS
~y = (dx dz)
dS
dy
dS
dy
~z = (dx dy) k
dS
dy
14
Formulario de M
etodos Matem
aticos 1
(x, y, z)
dx
x
(x, y, z)
dy
y
(x, y, z)
dz
z
con lo cual
df =
(x, y, z)
(x, y, z)
(x, y, z)
dx dy dz +
dy dx dz +
dz dx dy
x
y
z
df =
= df = lm f2 f1 = lm 1
V 0 V2 V1
V 0 V
dV
dV
dV df =
ZZ
1
~
(x, y, z) dS = lm
(x, y, z) n
dS
V 0 V
s
s
RR
~ Que quiere decir que
notese que hemos supuesto que V V2 V y que f2 = s (x, y, z) dS
tanto V1 0 y con lo cual el flujo a traves de un punto se anula, f1 0.
5.1.3.
ZZ
La generalizaci
on de la expresi
on del gradiente
en coordenadas curvilneas es inmediata a partir
1
2
3
de diferencial total de una funci
on q , q , q . Esto es
q1, q2, q3 = qj
Luis A. N
un
ez
d=
(x, y, z) j
~ q 1 , q 2 , q 3 d ~r
d q =
j
q
15
Formulario de M
etodos Matem
aticos 1
con
1
1
~ q 1 , q 2 , q 3 =
1
h
e2 | +
e3 |
|ri
q 1 e1 | +
|ri
q 2 h
|ri
q 3 h
q1
q2
q3
y
d ~r =
r 1
r 2
r 3
dq +
dq +
dq
1
2
q
q
q3
|ri
|ri
|ri
1
2
3
d ~r =
|
e1 i dq +
|
e2 i dq +
|
e3 i dq
q1
q2
q3
ya que
|
e1 i =
|ri
;
|ri q 1
1
q
|
e2 i =
|ri
;
|ri q 2
2
q
|
e3 i =
|ri
;
|ri q 3
3
q
e1 i +
|
e2 i +
|
e3 i
1
2
h1 x
h2 x
h3 x
3
= gii el factor de escala que acompa
na a la base |
ei i
Donde denotamos hi =
|ri
qi
5.2.
() = grad () =
+
|
e2 i +
=
h1 x
1
h2 x
2
h3 x
3
(h)i x
i
Donde hemos indicado por (h)i al factor de escala y no implica suma. La suma esta indicada entre
ei i} . Con esta inspiracion podemos construir
las componentes xi i y los elementos de la base {|
un operador vectorial
h
e1 |
h
e2 |
h
e3 |
+
+
H (h1 , h2 , h3 ) x
1 F (h1 , h2 , h3 ) x
2 G (h1 , h2 , h3 ) x
3
Luis A. N
un
ez
16
Formulario de M
etodos Matem
aticos 1
con lo cual, si cuidamos el orden de operacion, podremos realizar un producto escalar entre dos
vectores
a
h
e1 |
h
e2 |
h
e3 |
+
+
1
2
H (h1 , h2 , h3 ) x
F (h1 , h2 , h3 ) x
G (h1 , h2 , h3 ) x
3
a1 |
e1 i + a2 |
e2 i + a2 |
e3 i
a1 |
e1 i + a2 |
e2 i + a2 |
e3 i
h
e1 |
+
H (h1 , h2 , h3 )
x
1
a1 |
e1 i + a2 |
e2 i + a2 |
e3 i
a1 |
e1 i + a2 |
e2 i + a2 |
e3 i
h
e3 |
h
e2 |
+
+
F (h1 , h2 , h3 )
x
2
G (h1 , h2 , h3 )
x
3
i ai xj
+
+
i
x
x
y
z
5.2.1.
El significado fsico de la divergencia puede comprenderse si consideramos la definicion, independiente del sistema de coordenada
ZZ
ZZ
ZZ
1
1
1
df
~
= lm
~a dS lm
~a n
s dS = lm
an dS
div [~a] ~a =
V 0 V
V 0 V
V 0 V
dV
s
s
s
Es decir el flujo por unidad de volumen. Otra vez, para un sistema de coordenadas cartesianas
construimos un cubo diferencial con aristas que coincidan con los ejes coordenados. Entonces se
tiene que las caras del cubo ser
an con
~x+ = (dy dz) ;
dS
dx
~x = (dy dz)
dS
~y = (dx dz)
dS
dS
dy
~z = (dx dy) k
dS
Luis A. N
un
ez
17
Formulario de M
etodos Matem
aticos 1
con lo cual
df = ax (x + dx, y, z) dy dz ax (x, y, z) dy dz+
+ ay (x, y + dy, z) dx dz ay (x, y, z) dx dz+
+ az (x, y, z + dz) dx dy az (x, y, z) dx dy
df = (ax (x + dx, y, z) ax (x, y, z)) dy dz + (ay (x, y + dy, z) ay (x, y, z)) dx dz+
+ (az (x, y, z + dz) az (x, y, z)) dx dy
desarrollando por Taylor otra vez, tendremos
ax (x + dx, y, z) ax (x, y, z) +
ax (x, y, z)
dx
x
ay (x, y, z)
dy
y
az (x, y, z)
dz
z
obtendremos
df =
ay (x, y, z)
ax (x, y, z)
az (x, y, z)
dx dy dz +
dy dx dz +
dz dx dy
x
y
z
~=
df = ~a dS
dV
Consecuentemente
ZZ
ZZZ
ZZZ
ax (x, y, z) ay (x, y, z) az (x, y, z)
~
~a dV
+
+
dV
f=
~a dS =
x
y
z
S
V
V
La primera conclusi
on es que podemos convertir una integral de superficie cerrada de un campo
vectorial, en una integral de volumen encerrada por esa misma superficie.
Lo hemos demostrado
RR
~ es un escalar, esta
para el caso de coordenadas cartesianas, pero como el flujo f = S ~a dS
afirmacion vale para cualquier sistema de coordenadas. Esto se conoce como el Teorema de
la Divergencia el cual veremos m
as adelante (ver seccion 7.1 en la pagina 36). A partir de este
teorema tenemos que si la divergencia de un campo vectorial en positiva lo interpretaremos como
flujo hacia afuera (saliente) del volumen V encerrado por la superficie, S, y si la divergencia del
campo es negativa esa tendremos flujo entrante. Como ilustracion puede ver el ejemplo de la p
agina
21.
Luis A. N
un
ez
18
Formulario de M
etodos Matem
aticos 1
5.2.2.
dq 2
|
e2 i ;
~q2 = dsq3 dsq1 |
e2 i
dS
dq 3
|
e3 i ;
~q3 = dsq1 dsq2 |
e3 i ;
dS
Luis A. N
un
ez
19
Formulario de M
etodos Matem
aticos 1
q , q + dq , q
a
3 q 1 + dq 1 , q 2 , q
3
3
h2 h3 =
h3 h1 =
h1 h2 =
a
1 q 1 , q 2 , q
q ,q ,q
a
3 q 1 , q 2 , q
3
!
a
1 q 1 , q 2 , q 3 h2 h3
h2 h3 +
dq 1
q 1
!
a
2 q 1 , q 2 , q 3 h3 h1
2
h3 h1 +
dq
q 2
3
!
a
3 q 1 , q 2 , q 3 h1 h2
dq 3
h1 h2 +
q 3
Notese que el caso cartesiano no se hizo explcito este echo por cuanto h3 = h2 = h1 = cte = 1.
Entonces el flujo por las el caso de coordenadas curvilneas sera
a
1 q 1 , q 2 , q 3 h2 h3
a
2 q 1 , q 2 , q 3 h3 h1
1 2 3
df =
dq dq dq +
dq 2 dq 3 dq 1 +
q 1
q 2
a
3 q 1 , q 2 , q 3 h1 h2
+
dq 3 dq 1 dq 2
q 3
si recordamos que
dV = (ds1 ) (ds2 ) (ds3 ) =
p
p
p
g11 dq 1 g22 dq 2 g33 dq 3 = h1 h2 h3 dq 1 dq 2 dq 3
Un par de ejemplos
La ecuaci
on de continuidad El primero de los ejemplos que consideraremos es la ecuaci
on de
continuidad. Consideremos una superficie cerrada S que encierra un volumen V. Esta superficie
esta inmersa en un fluido, de densidad (~r, t) que fluye con un campo de velocidades ~v (~r, t) .
Supondremos adem
as que el volumen V que encierra la superficie S no cambia de posicion, con lo
cual, la variaci
on de masa del fluido contenido en este volumen es
Z Z Z
ZZZ
(~r, t)
(~r, t) dV =
dV
t
t
V
V
Luis A. N
un
ez
20
Formulario de M
etodos Matem
aticos 1
Entonces la variaci
on de la cantidad de fluido encerrada por la superficie S sera igual a la cantidad
de fluido que escapa (o ingresa) a traves de esa superficie. Esto es
ZZZ
ZZZ
ZZ
(~r, t)
~ (~v (~r, t) (~r, t)) dV
(~r, t) ~v (~r, t) n
s dS =
dV =
t
V
V
s
con lo cual
ZZZ
V
(~r, t) ~
+ (~v (~r, t) (~r, t)) dV = 0
t
(~r, t) ~
+ (~v (~r, t) (~r, t)) = 0
t
y esta u
ltima representa la ecuaci
on de continuidad en dinamica de fluidos.
Fuentes y sumideros El segundo ejemplo es un calculo explcito el cual ilustra la interpretaci
on
de la divergencia como medida de flujo de un campo vectorial. Consideremos un campo vectorial
de la forma
~r
q
~a (~r) = q 3 2 u
r
r
r
~ ~a =
1
hr h h
~ ~a =
1
2
r sen
(
ar (r, , ) h h ) (
a (r, , ) h hr ) (
a (r, , ) hr h )
+
+
r
q 2
r sen
r2
r
!
=0
Es decir, todo lo que entra sale. Sin embargo, si el volumen contiene al origen de coordenadas no
podemos decir nada por cuanto hay una indeterminacion en la expresion de la divergencia.
Consideremos con m
as cuidado este caso de la aplicacion del Teorema de la Divergencia, en el
cual la superficie S contenga el origen de coordenadas. Es claro que el volumen contenido entre
dos esferas de distintos radio r < r, centradas en el origen y con superficies S y S respectivamente
no contiene al origen y por lo tanto el flujo sera nulo
ZZZ
ZZ
ZZ
f=
~a dV = 0 =
~a n
s dS +
~a n
s dS
V
r , y n
s
ur , con lo cual
~a n
s dS =
u
(
u
)
d
S
=
ds ds
~a = 2 u
r
r
2
r
2
s
s r
s r
Luis A. N
un
ez
21
Formulario de M
etodos Matem
aticos 1
es decir,
ZZ
ZZ
~a n
s dS =
q
ds ds =
2
s r
ZZ
q 2
r sen d d = q
2
s r
d = 4q
sen d
0
5.3.
Del mismo modo como hemos venido procediendo, haremos otra operacion vectorial con el
Tendremos entonces el rotor o rotacional actuando u operando sobre un campo
operador nabla
a. En coordenadas cartesianas podremos expresar esta operacion como
vectorial ~
a = ijk j ak |ei i ijk ak |ei i = (2 a3 3 a2 ) |e1 i + (3 a1 1 a3 ) |e2 i + (1 a2 2 a1 ) |e3 i
~
xj
k
x y z
a = (y az z ay ) + (z ax x az )
~
+ (x ay y ax ) k
ax ay az
El rotor de un campo vectorial genera otro campo (pseudo)vectorial llamado campo rotor del campo
vectorial. Por razones que ser
an evidentes enseguida, las curvas integrales de este campo rotor se
denominan lneas de torbellino.
5.3.1.
Lneas de torbellino
x2 + y 2
x2 + y 2
con lo cual el campo rotor del campo vectorial ~a sera
z y
zx
x
p
+ p
=
z y
x2 + y 2
x2 + y 2
x2 +y2
!
~b =
~a (x, y, z) =
y
z
x
x2 +y 2
k
z
0
z
~b =
~a (x, y, z) = p x p y
+ p
k
2
2
2
2
2
x +y
x +y
x + y2
Luis A. N
un
ez
22
Formulario de M
etodos Matem
aticos 1
p
p
+ p
k
x2 + y 2
x2 + y 2
x2 + y 2
x2 + y 2
x2 + y 2
Tal y como se detall
o en la Secci
on 3 de la pagina 7 las lneas de flujo se construyen a partir de
un vector diferencial paralelo a campo vectorial en cada punto. Esto es si
k
~b =
~ ~a (x, y, z) = x y z = (y az z ay ) + (z ax x az )
+ (x ay y ax ) k
ax ay az
tendremos que
~ ~a (x, y, z)
d~r ~b =
dx
dy
dz
=
=
= d
bx (x, y, z)
by (x, y.z)
bz (x, y.z)
dx
dy
dz
=
=
= d
(y az z ay )
(z ax x az )
(x ay y ax )
donde hemos parametrizado la curva con .
Luis A. N
un
ez
23
Formulario de M
etodos Matem
aticos 1
por lo tanto
dx
dy
dz
=
=
= d
(y az z ay )
(z ax x az )
(x ay y ax )
p
p
p
x2 + y 2 dx
x2 + y 2 dy
x2 + y 2 dz
=
=
= d
x
y
z
las dos primeras ecuaciones proveen
dy
y
=
dx
x
con
C1 = cte;
y (x) = xC1
5.3.2.
dx
d
= x
2
= C1
x () = C1
dy
d
= y
2
= C2
y () = C2
1
= cte;
C1 = q
1 + (C1 )2
finalmente
p
x2 + y 2 dz
= d
z
con lo cual
x +y 2
x +y 2
C1
C2 = q
= C1 C1 = cte
2
1 + (C1 )
z
dz
z
z
z
q
= q
=p
=
=
2
2
d
x +y
x 1 + (C1 )2
C1 1 + (C1 )2
dz
z
=
d
z () =
1
C3
24
Formulario de M
etodos Matem
aticos 1
Circulaci
on de un campo vectorial
La idea (y el nombre de rotor ) surge de la idea de rotacion ( circulacion ? ) que este operador
descubre al ser aplicado a un campo vectorial. Como se muestra en la Figura 7, la idea intuitiva es
colocar un detector de rotaci
on inmerso en el campo. En este caso es un par de aspas e imaginamos
que el campo vectorial representa un campo de velocidades de un fluido. Si el fluido hace girar las
aspas en sentido horario (tirabuz
on o sacacorchos derecho hacia arriba) diremos que el campo tiene
una circulaci
on positiva y el rotor del campo siempre sera positivo en esa region. Si es inversa,
diremos que el campo tiene una circulacion negativa y el rotor tambien lo sera en esa regi
on.
Finalmente, si el par de aspas no rota, el campo tendra una circulacion nula o no tendra circulaci
on
y su rotor ser
a tambien nulo en esa region.
Para concretar esta intuici
on de forma matematica, procedemos de la siguiente forma. Suponga
una circunferencia con radio r = 2, la cual viene descrita parametricamente por el radio vector
~r (t) = 2 cos t + 2 sin t
d ~r = 2 ( sen + cos
) d
y nos planteamos hacer circular el campo a lo largo de la esa trayectoria. Esto es realizar la
siguiente integral
I
Z 2
= ~a d ~r =
z ( sen + cos
) 2 ( sen + cos
) d = 4z
0
s dS =
p
+ p
k
x2 + y 2
x2 + y 2
x2 + y 2
ZZ
ZZ
ZZ
Z 2
Z 2
dx dy
dr rd
~
p
=z
=z
dr
d = 4z
~a n
s dS = z
r
x2 + y 2
0
0
Esta coincidencia no es tal, corresponde a otro Teorema Integral para campos vectoriales, el
Teorema de Stokes (ver secci
on 7.2 en la pagina 42) mediante el cual se convierte una integral
Luis A. N
un
ez
25
Formulario de M
etodos Matem
aticos 1
cerrada de lnea de un campo vectorial en el flujo del campo de rotores. Este teorema lo estudiaremos
con detalle en la secci
on 7.2
La idea de circulaci
on se puede generalizar a un campo vectorial generico,
y suponiendo r 1 podemos desarrollar por Taylor las componentes del campo vectorial en al
plano x, y alrededor del origen de coordenadas rx,y 0. Esto es
ax
ax
ax
x
ax (x, y, 0) = ax |r=0 + x a
+
y
+
=
a
|
+
r
cos
+
r
sen
+
x r=0
x r=0
y
x r=0
y
r=0
ay (x, y, 0) = ay |r=0 + x
ay
x r=0
+y
ay
y r=0
r=0
+ = ay |r=0 + r cos
ay
x r=0
+ r sen
ay
y r=0
Z
~a d ~r =
0
ax
ax
+ r sin
r sin d+
ax |r=0 + r cos
x r=0
y r=0
Z 2
ay
ay
+
ay |r=0 + r cos
+ r sin
x
y
Luis A. N
un
ez
r=0
r cos d
r=0
26
Formulario de M
etodos Matem
aticos 1
I
=
~a d ~r = r
ay
ax
+ O r3
x r=0
y r=0
Finalmente vemos que la componente del rotor en el origen del plano x, y es igual al lmite de la
circulacion a lo largo de una curva cerrada, dividida entre el area de la superficie que encierra la
curva cerrada.
ay
ax
= lm 2
x r=0
y r=0 r0 r
5.3.4.
Considere un cuerpo rgido que gira alrededor de un eje con velocidad angular
~ . Entonces la
velocidad tangencial de un punto P, con una posicion ~r medida a un origen O situado en ese eje,
siempre es
(x y y x)
~v =
~ ~r = (y z z y) +
(z x x z) + k
y su rotor ser
a
k
~ ~v = (y vz z vy ) + (z vx x vz )
x y z
+ (x vy y vx ) k
vx vy vz
es decir, por ser un cuerpo rgido la velocidad angular
~ es independiente de ~r; o lo que es lo mismo,
todo el cuerpo rgido tiene la misma velocidad angular. Con ello tendremos que
j
i j
~v = ijk j vk |ei i = ijk j klm l rm |ei i = li m
m
l j l rm |ei i
j
i j
~v = li m
m
l l jm |ei i = 3 i i |ei i = 2 i |ei i = 2~
~ ~v
~ ~v
y
z
= (z vx x vz ) = z (y z z y) x (x y y x) = 2y
= (x vy y vx ) = x (z x x z) y (y z z y) = 2z
Otra vez, el rotor de una campo de velocidades de un cuerpo (que rota) detecta su velocidad
angular.
Luis A. N
un
ez
27
Formulario de M
etodos Matem
aticos 1
5.3.5.
Una vez m
as recurrimos a una definicion para el rotor independiente del sistemas de coordenada
ZZ
ZZ
1
1
~
~
~a = rot [~a] = lm
dS ~a = lm
n
s ~a dS
V 0 V
V 0 V
y del mismo modo que calculamos el flujo a traves de las distintas capas de un volumen
(no lo haremos y se lo dejaremos al lector) demostrar que
"
#
h1 |
e2 i h3 |
e3 i
e1 i h2 |
1
1
ak
ijk hk
~
|
ei i =
~a = rot [~a] =
1
q2
q3
hj hk
qj
h1 h2 h3 q
h1 a1
h2 a2
h3 a3
podremos
donde los ndices repetidos i, j, k indican suma; j y k no indican suma sino que replican los valores
de los ndices j, k.
Explcitamente
|
e
i
(h
a
)
|
e
i
(h
a
)
(h
a
)
(h
a
)
1
2
2
2
3
3
3
3
1
1
~ ~a = rot [~a] =
+
h2 h3
q2
q3
h1 h3
q3
q1
|
e3 i (h2 a2 ) (h1 a1 )
+
h1 h2
q1
q2
5.4.
~
Formulario del Operador nabla,
~ en las f
El operador nabla, ,
ormulas anteriores act
ua como un operador lineal. Esto es, dadas
(~r) , (~r) , (~r) funciones escalares de variable vectorial y ~a y ~b dos campos vectoriales cuales
quiera, se puede generar el siguiente formulario, el cual debera ser demostrado por el lector
~ ( + ) =
~ +
~ () =
~ +
~ +
~
~ ~a + ~b =
~ ~a +
~ ~b +
~ ~b
~ ~a + ~b =
~ ~a +
~ ~b =
~ ~a +
~ ~b +
~ ~b
~ ~a ~b = i ijk aj bk = ijk i aj bk + ijk i bk aj =
~ ~a ~b ~a
~ ~b
~ ~a ~b = ~b
~ ~a ~b
~ ~a + ~a
~ ~b ~a
~ ~b
Luis A. N
un
ez
28
Formulario de M
etodos Matem
aticos 1
es claro que
~ ~b 6= ~b
~ ~a
~a
aj i bi =
6 bi i aj
y ~a = ~a ( (~r)) .
~ ~a ( (~r)) =
~ d ~a ;
d ~a
~ ~a ( (~r)) =
~
~ ~a ( (~r)) =
~ d ~a , utilizamos la estrategia de Taylor y
Para demostrar, por ejemplo,
d
expandimos el campo vectorial alrededor de un determinado punto, digamos ~r = ~r0 arbitrario. Esto
es
d ~a
1 d2 ~a
~a = ~a (~r0 ) +
( (~r) (~r0 ))2 +
( (~r) (~r0 )) +
d ~r0
2 d2 M
aplicando la divergencia a ambos miembros queda como
"
#
2
d
~
a
1
~ ~a =
~ [~a (~r0 )] +
~
~ d ~a ( (~r) (~r0 ))2 +
( (~r) (~r0 )) +
d ~r0
2
d2 M
con lo cual
3 a
d ~a
d2 ~a
1
2 d ~
~
~
~
~ (~r) +
~a =
(~r) + ( (~r) (~r0 ))
(~r) + ( (~r) (~r0 ))
d ~r0
d2 ~r0
2
d3 ~r0
esta relacion vale para todo ~r, en particular para ~r = ~r0 . Con lo cual
d ~a
~ (~r0 )
~ ~a = d ~a
~ (~r)
~
=
~a =
d ~r0
d
~
r0
ya que ~r0 es arbitrario, con lo cual queda demostrado.
5.5.
5.5.1.
Luis A. N
un
ez
29
Formulario de M
etodos Matem
aticos 1
es
~
~ =
~ 2 = = i i
~
~ = ijk j k |ei i = 0
~
~ ~a = i j aj |ei i = j i aj |ei i
~
~ ~a =
~
~ ~a = 0
l m
i
j
j i
j
i j
~
~ ~a = ijk j klm l am |ei i = i m
5.5.2.
Mas alla de la gimnasia de ndices para determinar la expresion de la relacion vectorial, quiz
a la
mas importante de las aplicaciones es el Laplaciano, el cual en <3 y en coordenadas cartesianas
puede expresarse como:
~
~ =
~ 2 = = i i = xx + yy + zz
La importancia el Laplaciano reside en que la mayor parte (casi todas) las ecuaciones de la fsica
matematica son ecuaciones diferenciales (ordinarias y parciales) de segundo orden y el Laplaciano
las genera en el espacio. Adicionalmente la solucion a la ecuacion armonica
= i i = xx + yy + zz = 0
es de importancias en varias
areas de la fsica.
Se puede demostrar f
acilmente que el Laplaciano cumple con
( + C) = + C;
~
~
() = + + 2
e1 i +
|
e2 i +
|
e3 i
h1 q 1
h2 q 2
h3 q 3
y
1
~a =
h1 h2 h3
Luis A. N
un
ez
!
a
1 q 1 , q 2 , q 3 h2 h3
a
2 q 1 , q 2 , q 3 h3 h1
a
3 q 1 , q 2 , q 3 h1 h2
+
+
q 1
q 2
q 3
Universidad de Los Andes, Merida
30
Formulario de M
etodos Matem
aticos 1
respectivamente, es f
acil llegar a la expresion para el Laplaciano en coordenadas curvilneas
1
=
h1 h2 h3
2
5.5.3.
q1
h2 h3
h1 q 1
+
q2
h1 h3
h2 q 2
+
q3
h2 h1
h3 q 3
a
~a =
~
Desarrollando esta expresi
on en coordenadas cartesianas tendremos que
i j
~a = aj i j aj j j ai |ei i
= ~a = j j ai |ei i ai |ei i
Es decir, que el Laplaciano de un campo vectorial, expresado en coordenadas cartesianas,
es igual al vector cuyas componentes son los Laplacianos
de las componentes del campo original.
i
Es importante resaltar que la expresi
on ~a = a |ei i se
nicamente
cumple
u
en coordenadas
() ;
( ~a) =
~a ;
( ~a) = ~
a
=
5.6.
5.6.1.
Formalmente y como siempre la misma idea de derivada como cociente incremental. Dados dos
puntos P1 y P2 y un vector u
que los une (va de P1 P2 ), entonces por definicion
d ~a
~a (P2 ) ~a (P1 )
d ~a i
d ai
ai (P2 ) ai (P1 )
D|ui |ai
= lm
=
=
= lm
P2 P1
P2 P1
du
P2 P1
du
du
P2 P1
por consiguiente, si ~a,tiene por componentes cartesianas (en general cualquier
sistema de
coordenad ax d ay d az
das ortogonales) (ax , ay , az ) las componentes del vector derivado seran du , du , du . De modo
que inspirados en la derivada direccional de un campo escalar que presentamos en la seccion 5.1.1,
podemos construir la expresi
on para la derivada direccional de cada una de las componentes del
d ~a
vector du . Esto es
d
d ai
~ u
~ i = uj j ai = D|ui |ai d ~a = u
~ ~a
= D|ui =
= ui i =
=u
a
du
du
du
Otra vez, en coordenadas cartesianas se tiene que
d () ~
~ ~a = ui i aj |ej i
D|ui~a = u
= D|ui ()
= u
() ui i ()
du
Luis A. N
un
ez
31
Formulario de M
etodos Matem
aticos 1
5.6.2.
El ejemplo m
as est
andar es la descripcion del campo de aceleraciones de un fluido en movimiento. El campo de aceleraciones de un fluido, como de costumbre, es la variacion del campo de
velocidades respecto al tiempo. Esto es ~a = ddt~v . Para escribir la expresion de este campo de aceleraciones, supongamos que un fluido se mueve y registra un campo de velocidades ~v = ~v (~r, t) el cual,
en general, ser
a inhomogeneo y no estacionario. Identificamos una porcion del fluido (partcula)
cualquiera y observamos que en un intervalo de tiempo dt esa porcion identificada se mueve de
P1 P2 y registra un incremento en su velocidad de ~v en P1 a ~v + d~v en P2 :
~v (P1 ) ~v (~r, t)
Tal y como ejemplificamos en la Figura 8, este incremento proviene de dos contribuciones. Una,
llamada local, debido a el cambio en la variable temporal y otra, por la comparacion del vector
velocidad, ~v , en dos posiciones (traslacion espacial o contribucion convectiva).
d ~vt =
~v
dt
t
d ~v~u =
d ~v
du
du
du = k~v k dt
u
=
~v
k~v k
d ~v
1 ~
~v
=
~v ~v +
dt
k~v k
t
ai =
1 ~ i v i
~v v +
k~v k
t
donde hemos representado las componentes cartesianas de los vectores velocidad y aceleracion como
v i y ai , respectivamente.
Es importante hacer una reflexi
on un poco mas fsica de las contribuciones. La contribucion local
proviene de la variaci
on del vector (por la dependencia temporal) alrededor del punto, sin importar
la direccion que sigue al partcula y la contribucion convectiva proviene de la inhomogeneidad del
campo de velocidades. Esto es de la variacion del campo de velocidades seg
un la direccion que siga
la partcula.
Luis A. N
un
ez
32
Formulario de M
etodos Matem
aticos 1
6.
6.1.
6.1.1.
Resumiendo lo visto
Integrales de Campos
+ ~v0 = kgt
+ v0x +
0z
= ~a = g k = ~v = ~a dt = k g dt = kgt
v0y + kv
dt
Ahora bien, existen sutilezas en este caso que debemos tener en cuenta. Por ejemplo considere la
integral
Z
Z
Z
d2 ~a
d
d ~a
d ~a d ~a
d
d ~a
d ~a
dt ~a 2 = dt
~a
= dt
~a
= ~a
+ ~c
dt
dt
dt
dt
dt
dt
dt
dt
Pero en general los casos quedan resueltos integrando componente a componente con la ayuda de
la notacion de ndices
Z
Z
ijk
~
dt ~a b =
dt aj bk |ei i
Quiza uno de los problemas que ilustra mejor esta situacion es el movimiento bajo fuerzas centrales.
La Ley de Gravitaci
on de Newton nos dice que
X
Luis A. N
un
ez
F = m ~a = m
d ~v
M
=mG 2 u
r
dt
rmM
d ~v
M
=G 2 u
r
dt
rmM
33
Formulario de M
etodos Matem
aticos 1
Es costumbre definir la velocidad aerolar, ~vA , como el area barrida por el radio vector posici
on,
~r (t) que describe la trayectoria de la partcula
d ~r
du
r
d (r u
r )
dr
du
r
du
r
2~vA = ~r
=ru
r r
=ru
r
=ru
r
u
r + r
= r2 u
r
dt
dt
dt
dt
dt
dt
Notese que si ~c es un vector constante
d
du
r
du
r
u
r
= 0 = u
r
= ~c
dt
dt
dt
= 2~vA = r2 u
r
du
r
= const
dt
con lo cual
d ~v
M
MG
d
(~v ~vA ) =
~vA = G 2 u
r ~vA =
dt
dt
2
rmM
d
MG
(~v ~vA ) =
dt
2
du
r
u
r u
r
dt
du
r
du
r
MG d u
r
u
r
u
r (
ur u
r )
=
dt
dt
2 dt
integrando
MG
u
r + p~
2
donde p~ es un vector arbitrario de constante de integracion. Finalmente nos damos cuenta que
MG
MG
~r (~v ~vA ) = r u
r
u
r + p~ =
r + rp cos
2
2
~v ~vA =
2
~r (~v ~vA ) = ijk ri vj vAk ~vA (~r ~v ) = ~vA ~vA = vA
y entonces
2
vA
MG
=
r + rp cos
2
= r =
MG
2
2
vA
+ p cos
1+
2
2vA
MG
2p
M G cos
Integrales de lnea
Este tipo de objetos se conoce como integrales de lnea y requieren la especificacion de la curva, C,
(la trayectoria) a lo largo de la cual se lleva la integracion. Es clara la importancia de esa trayectoria
Luis A. N
un
ez
34
Formulario de M
etodos Matem
aticos 1
para la integraci
on de los campos por cuanto encontraran expresiones del campo vectorial que puebla
la region a traves de la cual se integra. Esas trayectorias seran abiertas o cerradas dependiendo de
la curva que se siga en el proceso de integracion.
As para integrar un campo escalar = (~r) en coordenadas cartesianas, tendremos que
Z
Z
(x, y, z) d ~r =
(x, y, z) d x +d y
+d z k
C
Z
=
Z
Z
(x (y) , y, z (y)) d y + k
(x (z) , y (z) , z) d z
tal y como indicamos arriba, las tres integrales se podran realizar si conocemos, en cada caso, la
expresion del integrando en termino de la variable de integracion. Esa es la razon por la cual hay
que especificar la curva C que define la trayectoria de integracion. Esta define esa funcionalidad.
6.1.3.
Integrales de Superficie
Otros objetos que ya nos hemos encontrado son las integrales de superficie y las hemos encontrado cuando evaluamos el flujo de un campo vectorial y lo relacionamos con la divergencia.
As interpretamos que objetos
ZZ
ZZ
ZZ
~
~a dS
~a n
s dS =
an dS
s
~ Es costumbre
representaban el flujo de las lneas de campo a traves del diferencial de superficie dS.
que se separen el m
odulo, dS, de la direccion y el sentido, n
s el cual es el vector normal (sentido
positivo) a la superficie. Otra vez, las superficies podran ser abiertas (cuando disponen de una curva
que limita sus fronteras) y cerradas cuando no. Un crculo sera una superficie abierta y una esfera
Luis A. N
un
ez
35
Formulario de M
etodos Matem
aticos 1
grad = lm
(x, y, z) dS = lm
(x, y, z) n
s dS
V 0 V
V 0 V
s
s
7.
~a div [~a] = lm 1
V 0 V
ZZ
~ ~a rot [~a] = lm 1
V 0 V
ZZ
~ lm 1
~a dS
V 0 V
s
ZZ
~ ~a = lm 1
dS
V 0 V
1
~a n
s dS = lm
V 0 V
s
ZZ
ZZ
an dS
s
n
s ~a dS
En esta secci
on presentaremos un conjunto de teoremas que relacionan las variaciones de un
campo vectorial con las fuentes que lo producen. En terminos tecnicos (matematicos) resultan
fundamentales cuando queremos convertir un tipo de integral (lnea, superficie o volumen) en otra.
El primer teorema, el Teorema de Gauss permite expresar el valor de una integral de volumen,
V, encerrado por una determinada superficie, S, (cerrada) en terminos de una integral sobre esa
superficie, S. El otro teorema importante es el Teorema de Stokes, el cual permite relacionar el
valor de una integral de superficie con la integral de lnea sobre la curva que delimita esa superficie.
7.1.
7.1.1.
Teorema de Gauss
Presentaci
on y demostraci
on
La primera relaci
on que presentaremos entre una integral de superficie de un campo vectorial,
~a,y una de superficie de su derivada es el Teorema de Gauss el cual se expresa de forma vectorial
como
ZZ
ZZ
Z
~
~a d V
~a d S
~a n
s dS =
~n
donde ~a = ~a (x, y, z) es el campo vectorial d S
s dS es el diferencial de area y d V el diferencial
de volumen.
~a es interpretado como el flujo del campo ~a
Tal y como vimos en su oportunidad el termino
por unidad de volumen, por lo tanto el lado derecho de la ecuacion es la tasa de flujo neto que sale
del volumen sobre el cual estamos integrando.
La demostraci
on del Teorema de Gauss es como sigue. supongamos un volumen encerrado por
una superficie convexa, S, como se muestra en la Figura 10 en los cuadrantes I, II y III. Supongamos
ademas que orientamos el sistema de coordenada de tal forma que una lnea paralela a uno de los
ejes toca la superficie en dos puntos (Figura 10, cuadrante I). De este modo podemos trazar una
Luis A. N
un
ez
36
Formulario de M
etodos Matem
aticos 1
superficie (perpendicular a esa lnea) tal que divida la superficie, S, en dos superficies, S1, y S2, cada
una de las cuales est
a bordeada por la curva, C, (Figura 10, cuadrante II).
Al evaluar la integral
Z
Z
Z
ZZ
~=
~+
~=
ax d S
ax d S
ax d S
[ax (x2 , y, z) ax (x1 , y, z)] d S 0
S
S1
s0
S2
ya que las componentes x de los vectores normales a las dos superficies que contribuyen (Figura
10, cuadrante III) tienen signos opuestos
~2 = d S
~1 = d S1x = d y d z = d S 0
d S2x = d S
Ahora bien, dado que
ax
ax (x2 , y, z) ax (x1 , y, z)
= lm
x2 x1
x
x2 x1
con lo cual
Z
S
~=
ax d S
Z Z Z
s0
x2
x1
x2
ax (x2 , y, z) ax (x1 , y, z) =
x1
ax
dx
x
Z
dydz=
V
ax
dx
x
ax
dV
x
obtendremos
y equivalentemente al hacerlo en las direcciones
y k,
Z
Z
Z
Z
ay
az
~
~
ay
d S =
dV
y
az k d S =
dV
y
S
V
S
V z
y finalmente hemos demostrado el Teorema de la divergencia o Teorema de Gauss
ZZ
ZZ
Z
Z
Z
ax ay
az
i
~
~a d V
~a d S
~a n
s dS =
+
+
dV =
i a d V =
x
y
z
s
s
V
V
V
Luis A. N
un
ez
37
Formulario de M
etodos Matem
aticos 1
7.1.2.
Si bien la expresi
on est
andar es la que hemos presentado, existen algunas variantes que se
derivan de ella. Por ejemplo si consideramos un campo escalar, (x, y, z) , el teorema de Gauss nos
conduce a
ZZ
ZZZ
ZZ
ZZZ
~
~
~
~
~ B
~ (x, y, z) d V
(x, y, z) d S =
(x, y, z) d V y
d S B (x, y, z) =
~=
~a d S
ZZZ
ZZ
~a d V
~ = ~c
(x, y, z) d S
~c
ZZZ
Z Z
~
(x, y, z) d S
0 = ~c
ZZZ
(x, y, z) d V
(x, y, z) d V
(x, y, z) d S =
s
Esa misma metodologa se puede aplicar para demostrar la segunda relacion si consideramos un
~ (x, y, z), con ~c vector constante y se procede de una manera
campo vectorial ~a (x, y, z) = ~c B
similar.
7.1.3.
La aplicaci
on m
as emblem
atica del Teorema de Gauss lo constituyen el calculo de la divergencia
~ y su relaci
del campo electrico E
on con las distribuciones de cargas existentes. Desde siempre
sabemos que el campo electrico producido por una carga Qi viene dado por
ZZ
1 Qi
~
~ = (~r)
~i d S
~ i = Qi
E
Ei (~r) =
u
ri ;
2
40 ri
0
0
Si
En definitiva la deducci
on de una de las ecuaciones de Maxwell. Si calculamos el flujo del campo
~ (~r) atraviesan el volumen: todas
electrico en una regi
on sin cargas todas las lneas del campo E
entran y todas salen. Sin embargo si tenemos un conjunto de cargas discretas distribuidas dentro
de la region encerrada por la superficie, S, (ver Figura 10, cuadrante IVa) podemos encerrar cada
una de las cargas con superficies esfericas Si . Por lo tanto
ZZ
Z
ZZ
X ZZ
X ZZ
~ d S
~+
~ d S
~i =
~ dV =0
~ d S
~=
~ d S
~i
E
E
E
E
E
Luis A. N
un
ez
Si
Si
38
Formulario de M
etodos Matem
aticos 1
Con lo cual hemos definido una superficie con huecos alrededor de cada una de las cargas y
llegamos a la conclusi
on que lo que entra sale. Por su parte, el campo electrico medido cada
superficie esferica interior, Si ser
a
~ = 1 Qi u
~0
E
r + E
40 ri2 i
Si
~ 0 es el campo de todas las otras cargas presentes en e volumen encerrado por S. Es claro
donde E
~ 0 tiene flujo cero neto sobre cada esfera de superficie Si . Por lo tanto
que este campo E
P
ZZ
X Z Z 1 Qi
X 1 Qi Z Z
Qi
Q
0
~
~
~
Ed S =
Si dSi =
u
ri + E n
dSi = i
=
2
2
40 ri
40 ri
0
0
S
Si
Si
i
E d Vi = 0 =
E
Si dSi ;
Vi
ZZ
u
ri n
Si = 1;
Si
Si
dSi = Si = 4ri2
Ed S =
=
(~r) d V
Ed S =
E d V =
(~r) d V
0
0 V
0 V
S
S
V
con lo cual
Z
V
7.1.4.
~ E
~ (~r)
0
dV
~ E
~ = (~r)
0
Normalmente, siempre consideramos que los campos vectoriales ~a = ~a (x, y, z) son campos continuos (y, m
as a
un, con todas sus derivadas continuas). Sin embargo, encontramos en la naturaleza
situaciones en la cuales el campo vara mucho en una distancia muy corta (infinitesimal). En estas
situaciones podemos simular esta r
apida variacion como una discontinuidad en el campo. Existe
formas de aplicar el Teorema de Gauss para algunas situaciones en las cuales tratamos con campos
discontinuos. La manera apropiada de tratar (derivadas e integrales de) funciones discontinuas es
considerandolas no funciones sino distribuciones. Este tipo de tratamiento esta fuera del alcance de
este formulario y ser
a considerado en otros cursos.
Supongamos el caso que ilustra la Figura 10, cuadrante IVb. Una region R delimitada por una
separa dos subregiones R y
superficie S, dentro de la cual, una superficie de discontinuidad, S,
1
R2 a traves de la cual un campo vectorial, ~a = ~a (x, y, z) , es discontinuo. Ahora bien, el campo
vectorial es continuo en las subregiones, por lo cual el flujo del campo atraviesa las superficies S1
y S que delimitan el volumen V1 de la region R1 . Entonces el Teorema de Gauss para cada regi
on
queda expresado como
Z
ZZ
ZZ
Z
ZZ
ZZ
~
~a d V =
~a d S +
~a+ n
S dS
y
~a d V =
~a d S
~a n
S dS
V1
Luis A. N
un
ez
S1
V2
S2
39
Formulario de M
etodos Matem
aticos 1
donde n
S es el vector normal a al superficie, S,de
separacion de las dos regiones. Adicionalmente
hemos denotado, ~a+ y ~a el campo ~a evaluado del lado de R1 y R2 , respectivamente. Si ahora
consideramos el teorema de Gauss en toda la region
Z
Z
Z
~a d V
~a d V +
~a d V
V1 +V2
V1
V2
~a d V =
~a d S
V1 +V2
por el contrario si el campo es discontinuo, entonces debe tomarse en cuenta la discontinuidad del
campo y la relaci
on que surge de sumar el flujo a traves de las dos regiones es
Z
ZZ
ZZ
~
~a d V =
~a d S
(~a2 ~a1 ) n
S dS
V1 +V2
con n
S el vector unitario, normal a la superficie S y que apunta de R1 R2 . Es claro que la
discontinuidad que cuenta es la de la componente del campo perpendicular a la superficie (ver
Figura 11).
Este tipo de discontinuidad en campos irrotacionales es generada por la presencia de fuentes las
cuales, en este caso son densidades superficiales de carga. Quiza el ejemplo tpico para la aplicaci
on
de las anteriores consideraciones es la aplicacion de las ecuaciones de Maxwell en el caso del vector
~ traves de una superficie, S,
que separa dos medios. Este caso se ilustra
desplazamiento electrico D,a
en la Figura 10, cuadrante IVc y en la Figura 11, solo que en este u
ltimo caso el vector normal
esta definido a la inversa: la regi
on 2 corresponde a la region 1 de la Figura 10, cuadrante IVc. La
ecuacion de Maxwell correspondiente sera
~ = (~r)
~ = (~r)
~2 D
~1 n
~ = 0 E
~
D
E
S =
con D
0
Luis A. N
un
ez
40
Formulario de M
etodos Matem
aticos 1
donde n
S es el vector normal a la superficie (ver Figura 10, cuadrante IVc) y es la densidad superficial de carga en la superficie, S. Para comprobar esta relacion construimos un volumen cilndrico
infinitesimal que encierra la superficie de discontinuidad, de tal forma que S2 corresponde con la
tapa del cilindro y S1 con su base (Figura 10 cuadrante IVc). Adicionalmente, como l 0
no solo podremos trabajar sin las integrales, el flujo a traves de las paredes del cilindro ser
a despreciable y S2 S1 , sino que ademas, al encerrar la discontinuidad no tomamos en cuenta la
en el cuadrante IVb de la Figura 10). As
contribucion de la superficie S3 (o S,
~2 D
~1 n
~ dV =D
~ 2 S
~2 D
~ 1 S
~1
D
S2 S2
(~r) (S2 l) = D
con lo cual
7.1.5.
~2 D
~1 n
(~r) l = D
S2
Teoremas de Green
Cuando consideramos campos vectoriales muy particulares el Teorema de Gauss nos lleva a un
par de identidades vectoriales conocidas como las Identidades o Teoremas de Green
Supongamos que tenemos dos campos escalares: (x, y, z) y (x, y, z) entonces y con ellos
construimos un campo vectorial
ZZ
ZZZ
~
~a d V
~a (x, y, z) = (x, y, z) (x, y, z)
~a d S =
ZZ
~=
(x, y, z) d S
(x, y, z)
ZZZ
(x, y, z)
(x, y, z) d V
con lo cual arribamos a primera identidad de Green, Primer Teorema de Green o, Teorema escalar
de Green:
ZZ
ZZZ h
i
~
(x, y, z) +
(x, y, z)
(x, y, z) d V
(x, y, z) (x, y, z) d S =
(x, y, z)
s
y
(x, y, z)
(x, y, z) =
(x, y, z)
(x, y, z) + (x, y, z)
(x, y, z)
(x, y, z) (x, y, z)
(x, y, z)
(x, y, z)
Luis A. N
un
ez
41
Formulario de M
etodos Matem
aticos 1
7.2.
7.2.1.
Teorema de Stokes
Presentaci
on y demostraci
on
S dS
S
Tal y como hemos mencionado antes la superficie la define su vector normal, y este lo define el
sentido de circulaci
on de la curva que bordea la superficie (ver Figura 12 cuadrantes I y III).
No haremos una demostraci
on formal del Teorema de Stokes como lo hicimos para el Gauss.
Nos convenceremos de que es correcta la relacion a partir de algunas situaciones sencillas. Cualquier
superficie la podremos dividir en peque
nas cuadrculas diferenciales, las cuales sumadas constituyen
Luis A. N
un
ez
42
Formulario de M
etodos Matem
aticos 1
la superficie (ver Figura 12 cuadrante II). Es facil convencerse que la circulacion3 por le borde de
una cuadrcula diferencial (por ejemplo en el plano x, y) nos lleva a
Z
Z
Z
Z
I
~a d ~r = ax (x, y) d x + ay (x, y) d y + ax (x, y) (d x) + ay (x, y) (d y)
1234 =
1
1234
donde hemos denotado la trayectoria a lo largo del permetro de la cuadrcula por 1234 De la Figura
13 podemos intuir
Z
Z
Z
Z
1234 = ax (x0 , y0 ) d x+ ay (x0 + d x, y0 ) d y + ax (x0 , y0 + d y) (d x)+ ay (x0 , y0 ) (d y)
y de all el desarrollo por Taylor que nos conduce a
#
#
Z
Z "
Z "
ay
ax
1234 = ax (x0 , y0 ) d x +
ay (x0 , y0 ) +
ax (x0 , y0 ) +
dx dy
dy dx
x x=x0
y y=y0
Z
+ ay (x0 , y0 ) d y
Z
1234 =
!
ZZ
ZZ
ay
ax
~
~ ~a d S
~
d
xd
y
=
~
a
d
S
z
x x=x0
y y=y0
z
S
S
pero esto vale para todos los puntos (x0 , y0 ) y se puede aplicar para las otras superficies con lo
cual es facil convercerse que esta tecnica se puede utilizar para cada cuadrcula en las cuales hemos
dividido la superficie (ver Figura 12 cuadrante II). Mas a
un las circulaciones a lo largo de los
permetros de las cuadrculas interiores se anulan (ver Figura 12 cuadrante III) y solo sobrevive la
circulacion a lo largo del permetro exterior de la superficie. Con ello
I
ZZ
X
X
~ ~a d S
~
~
~
~a d ~r
~a d S
~a d ~r =
S
cuadricula
7.2.2.
Del mismo modo que hicimos en la seccion 7.1.2 con el Teorema de Gauss, podemos hacerlo
para el Teorema de Stokes y tendremos
I
ZZ
I
ZZ
~
~
~
~
~ B
~ (x, y, z)
(x, y, z) d ~r =
d S (x, y, z) y
d ~r B (x, y, z) =
dS
S
Luis A. N
un
ez
43
Formulario de M
etodos Matem
aticos 1
7.2.3.
El teorema de Stokes nos permite identificas que campos vectoriales irrotacionales generan
integrales de lnea las cuales son independientes de la trayectoria. Esto es
I
ZZ
~
~
~
~
~a d S = ~a d ~r = 0
F (x, y, z) = 0
S
~a d ~r
~a d ~r +
~a d ~r = 0 =
C1
C2
P2
Z
~a d ~r
P1
curva C1
P2
~a d ~r
P1
curva C2
y lo que nos dice es que vamos de un punto (de corte de la curva cerrada) P1 a otro punto P2 por
dos trayectorias distintas y la integral de lnea es la misma. Mas adelante veremos que a los campos
vectoriales irrotacionales les est
a asociado un potencial tal que
~ F~ (x, y, z) = 0
7.2.4.
~ (x, y, z)
F~ (x, y, z)
Al igual que el Teorema de Gauss puede ser considerado para manejar funciones discontinuas, el
Teorema de Stokes tambien tiene una expresion cuando se consideran campos discontinuos (continuo
a trozos o continuos por segmentos)
Al igual que en el caso de Teorema de Gauss, consideremos el caso mas simple el de un campo
vectorial ~a (x, y, z) que es discontinuo sobre una superficie, S ,que divide R en dos subregiones R1
y R2 (ver otra vez 10, cuadrante IVb). En este caso la superficie S, sera abierta y estara delimitada
cual dividira a S en
por una curva C2 . La intersecci
on de las superficies S y S sera una curva C,la
Luis A. N
un
ez
44
Formulario de M
etodos Matem
aticos 1
dos superficies S1 y S2 (ver Figura 12 cuadrante IV). Entonces, aplicando el Teorema de Stokes a
la curva cerrada. Entonces
ZZ
Z P1
I
Z P2
~ ~a d S
~
~a d ~r =
~a d ~r +
~a d ~r =
S1
P2
curva C
P1
curva C1
C1 +C
y
I
P1
P2
curva C2
C2 +C
ZZ
S2
~ ~a d S
~
S2
P1
curva C
~a d ~r =
~a d ~r +
~a d ~r =
P2
P1
Z
~a d ~r +
P2
en S1
curva C
P2
~a d ~r
P1
en S2
curva C
ZZ
S
Z
~
~
~a d S
P2
P1
curva C
~a|S2 ~a|S1 d ~r
donde hemos denotado ~a|S2 como el campo vectorial evaluado sobre la curva C del lado de las
superficie S2 . Es importante se
nalar que el termino que incorpora la contribucion de la discontinuidad del campo s
olo encierra componentes tangenciales a la superficie. Esto es claro del producto
escalar con el vector, d ~r, tangente a la curva C (y tambien a la superficie S).
8.
8.1.
Teora de Potencial
Potenciales escalares
Si un campo vectorial F~ (x, y, z) en una determinada region R puede asociarse con un gradiente
de un potencial tendremos que
I
~
~
~
~
F (x, y, z) = (x, y, z) F (x, y, z) = 0
F~ (x, y, z) d ~r = 0
La ventaja que un campo derive de un potencial es, por un la lado la simplicidad y la cantidad de
informacion que sobre el campo teneos: describimos la interaccion por una funcion y no con tres (las
componentes del campo) y sabremos que el campo es irrotacional y conservativo. Pero adem
as la
funcion que describe el campo es escalar, con lo cual es independiente del sistema de coordenadas.
Cualquiera de las afirmaciones implica las otras dos, con o cual podremos elegir cualquier de
ellas para demostrar las otras dos. Veamos:
Luis A. N
un
ez
45
Formulario de M
etodos Matem
aticos 1
~ (x, y, z) = 0
~
~ (x, y, z)
F~ =
H
H ~
(x, y, z) d ~r = d = (x0 , y0 , z0 ) (x0 , y0 , z0 ) = 0
donde hemos utilizado la definici
on de diferencial total
d =
(x, y, z)
(x, y, z)
(x, y, z)
~ (x, y, z) d ~r
dx +
dy +
dz =
x
y
z
F~ (x, y, z) d ~r = 0
P2
P1
~ (x, y, z) d ~r
F~ (x, y, z) d ~r = d =
~ (x, y, z)
F~ (x, y, z) =
con lo cual hemos demostrado que el campo vectorial deriva de un potencial. El signo menos
() es una convenci
on tradicional del oficio de Fsico y proviene de nuestra intuicion de flujo
de los acontecimientos: El agua siempre fluye hacia abajo.
Ahora bien, utilizando el Teorema de Stokes tendremos:
I
ZZ
~
~
~
~ F~ d S
~=0
~ F~ (x, y, z) = 0
F (x, y, z) = (x, y, z) F d ~r =
S2
S2
~ (x, y, z)
F~ (x, y, z) =
46
Formulario de M
etodos Matem
aticos 1
8.2.
Claramente
~ F~ (x, y, z) = i F i = i ijk j Ak = 0
~ = A
~ (x, y, z) se conoce con el nombre de potencial vectorial del campo F~ .
El campo vectorial A
Ahora bien, el campo solenoidal, F~ , no queda unvocamente determinado a partir de su potencial
vectorial. Existe una arbitrariedad de un campo escalar, llamado de calibre, = (x, y, z) (gauge
en ingles) de forma tal que
~0 = A
~ +
~ (x, y, z) F~ =
~ A
~0 =
~ A
~ +
~
~ A
~+
~
~
~ A
~
A
=
=
~0 y A
~ generan el mismo campo vectorial F~ . Esta
de forma que varios potenciales vectoriales A
arbitrariedad nos permite particularizar el calibre seg
un nos convenga. Existen varios calibres en el
mercado, los cuales son utilizados seg
un el problema fsico al cual tratemos. Entre ellos podemos
mencionar un par de ellos:
El calibre de Lorentz :
Esta selecci
on proviene de requerir que el campo de calibre satisfaga la ecuacion una ecuaci
on
de onda
2
~ 2 (x, y, z, t) a (x, y, z, t) = 0
t2
donde a es una constante. N
otese que hemos supuesto que el campo de calibre puede depender
del tiempo. El calibre del Lorentz se escoje porque (entre otras cosas) permite que la soluci
on
a la ecuaci
on de onda para el potencial vectorial
2~
~ 2A
~ (x, y, z, t) a A (x, y, z, t) = 0
t2
47
Formulario de M
etodos Matem
aticos 1
8.3.
~ F~ =
~ G
~
~ ~
H =0
~ = F~ G
~
~ F~ =
~ G
~
~ H
~ =0
H
n
~
~ =0
n
S F~ = n
S G
S H
~ es irrotacional entonces
como H
~ H
~ =0
~ =
~ (x, y, z)
H
~ H
~ =
~
~ (x, y, z) = 0
dV
d S =
n
S dS =
+
S
con lo cual
ZZ
S
ZZ
ZZZ h
i
~ n
~ n
~ H
~ dV
S dS =
S dS =
H
H
S
~ =0
H
8.4.
Teorema de Helmholtz
El teorema de Helmholtz afirma que todo campo vectorial, F~ , continuo, y continuamente diferenciable (al menos a trozos) y, regular en infinito se puede expresar como una suma de dos
componentes, una longitudinal o irrotacional, F~l , y otra transversa o solenoidal, F~t . Esto es
~ F~l = 0
F~ = F~l + F~t con
~ ~
Ft = 0
En general dado que el campo, F~ , puede ser discontinuo, tendremos que suponer que
~ F~ =
~ F~l + F~t =
~ F~l = (~r)
~ F~ = (~r)
~ F~ = J~ (~r)
~ F~ =
~ F~l + F~t =
~ F~t = J~ (~r)
Luis A. N
un
ez
48
Formulario de M
etodos Matem
aticos 1
~ () y
~ () son lineales. Esta separacion del campo vectorial F~ = F~l + F~t es
dado que
completamente general y siempre puede hacerse para cualquier campo vectorial.
~ 2 (x, y, z) = (x, y, z) existe
Supondremos adem
as, que la soluci
on a la ecuacion de Poisson
4
y es u
nica .
Tendremos que
~ F~l = 0
~ (x, y, z)
F~l =
~ F~ =
~ F~l =
~ 2 (x, y, z) = (~r)
y la solucion existe y es u
nica. Es decir, podemos expresar de manera unvoca al campo vectorial,
F~ , (a traves de su componente longitudinal F~l ) en terminos de un campo escalar (a funci
on
potencial) (x, y, z) . Por otra parte
~ F~t = 0 F~t =
~ A
~
~ F~ =
~ F~t =
~
~ A
~ =
~ A
~
~
~ 2A
~ = J~ (~r)
~ A
~ = 0 se convierte en Es importante se
La cual al seleccionar el calibre de Coulomb
nalar que el
~=A
~ (x, y, z) , soluci
campo, A
on a la ecuacion
~ 2 Ax = Jx (~r)
2~
i
i
k
k
~
~
~
~
~
~
~ 2 Ay = Jy (~r)
A = A = i A = J (~r) i A = J (~r)
~ 2 Az = Jz (~r)
Una vez mas nos topamos con la soluci
on a la ecuacion de Poisson, esta vez para cada componente.
Esto se cumple siempre, porque hemos supuesto que la solucion para la ecuacion de Poisson existe
y es u
nica.
Un corolario del Teorema de Helmholtz que un campo vectorial queda unvocamente determinado si conocemos su rotor y su divergencia.
Referencias
[1] Apostol, T. M. (1972) Calculus Vol 2 (Reverte Madrid ) QA300 A66C3 1972
[2] Arfken, G. B.,Weber, H., Weber, H.J. (2000) Mathematical Methods for Physicists 5ta
Edicion (Academic Press, Nueva York)
[3] Borisenko, A.I, y Tarapov I.E. (1968) Vector and Tensor Analisys (Dover Publications Inc,
Nueva York)
[4] Dennery, P. y Krzywicki, A. (1995) Mathematics for Physicists (Dover Publications Inc,
Nueva York)
4
Esta suposici
on es indispensable pero es muy fuerte. Las condiciones sobre el potencial (x, y, z) que la implican
ser
an consideradas en otros cursos de Metodos Matem
aticos. En este curso, supondremos que existe y es u
nica
Luis A. N
un
ez
49
Formulario de M
etodos Matem
aticos 1
[5] Gelfand, I.M. (1961) Lectures on Linear .Algebra (John Wiley & Sons Interscience, Nueva
York ).
[6] Knisley, J. (2001) http://math.etsu.edu/MultiCalc/
[7] Lovelock, D, y Rund, H. (1975) Tensors, Differential Forms & Variational Principles
(John Wiley Interscience, Nueva York ).
[8] Santalo, L.A (1969) Vectores y Tensores (Editorial Universitaria, Buenos Aires)
[9] Schutz, B. (1980) Geometrical Methods in Mathematical Physics (Cambridge University
Press, Londres)
Luis A. N
un
ez
50