You are on page 1of 8

Captulo 2

Divergencia y ujo
Sea V = V
1
i + V
2
j + V
3
k = (V
1
, V
2
, V
3
) un campo vectorial en el espacio, por ejemplo
el campo de velocidades de un uido en un cierto instante de tiempo, en un sistema de
coordenadas cartesianas ortogonales {x
1
, x
2
, x
3
}. Tomamos un punto x
0
= (x
0
1
, x
0
2
, x
0
3
) en
el espacio dentro de la region en que V esta bien denido y es diferenciable. Sea R un
paraleleppedo con vertice en x
0
, dado por
R = [x
0
1
, x
0
1
+ h
1
] [x
0
2
, x
0
2
+ h
2
] [x
0
3
, x
0
3
+ h
3
]
=
_
(x
1
, x
2
, x
3
) : x
0
1
x
1
x
0
1
+ h
1
; x
0
2
x
2
x
0
2
+ h
2
; x
0
3
x
3
x
0
3
+ h
3
_
.
Sea S = R la frontera de R. La supercie S se descompone en seis caras planas C
i
,
i = 1, 2, . . . , 6.
C
1
C
2
C
3
C
4
C
5
C
6
(x
0
1
, x
0
2
, x
0
3
)
Como las aristas tienen area nula, tendremos que
__
S
V nd =
6

i=1
__
C
i
V nd,
todas las integrales son de supercie en los correspondientes dominios y n es la normal
exterior. Hagamos el calculo para las caras C
1
y C
2
. Puesto que sobre C
1
la normal
9
exterior es e
1
= i y sobre C
2
la normal exterior es e
1
= i, tenemos que
__
C
1
V nd =
__
C
1
V i d =
__
C
1
V
1
d =
_
x
0
2
+h
2
x
0
2
_
x
0
3
+h
2
x
0
3
V
1
(x
0
1
+ h
1
, x
2
, x
3
) dx
3
dx
2
,
__
C
2
V nd =
__
C
2
V (i) d =
__
C
2
V
1
d =
_
x
0
2
+h
2
x
0
2
_
x
0
3
+h
2
x
0
3
V
1
(x
0
1
, x
2
, x
3
) dx
3
dx
2
.
Denamos ahora Q
1
= [x
0
2
, x
0
2
+ h
2
] [x
0
3
, x
0
3
+ h
3
] R
2
(la proyeccion de R sobre el
plano x
2
x
3
). Dividiendo por vol(R) = h
1
h
2
h
3
, tenemos que
1
vol(R)
__
C
1
C
2
V nd =
1
h
2
h
3
__
Q
1
V
1
(x
0
1
+ h
1
, x
2
, x
3
) V
1
(x
0
1
, x
2
, x
3
)
h
1
dx
2
dx
3
.
C
1
C
2
C
3
C
4
C
5
C
6
(x
0
1
, x
0
2
, x
0
3
)
Q
1
Q
2
Q
3
Si denimos Q
2
= [x
0
1
, x
0
1
+h
1
] [x
0
3
, x
0
3
+h
3
] R
2
y Q
3
= [x
0
1
, x
0
1
+h
1
] [x
0
2
, x
0
2
+h
2
]
R
2
, haciendo cuentas analogas obtenemos
1
vol(R)
__
S
V nd =
1
h
2
h
3
__
Q
1
V
1
(x
0
1
+ h
1
, x
2
, x
3
) V
1
(x
0
1
, x
2
, x
3
)
h
1
dx
2
dx
3
+
1
h
1
h
3
__
Q
2
V
2
(x
1
, x
0
2
+ h
2
, x
3
) V
2
(x
1
, x
0
2
, x
3
)
h
2
dx
1
dx
3
+
1
h
1
h
2
__
Q
3
V
3
(x
1
, x
2
, x
0
3
+ h
3
) V
3
(x
1
, x
2
, x
0
3
)
h
3
dx
1
dx
2
.
Tomando ahora lmite cuando (h
1
, h
2
, h
3
) (0, 0, 0) obtenemos que
lm
__
R
V nd
vol(R)
=
V
1
x
1
(x
0
1
, x
0
2
, x
0
3
) +
V
2
x
2
(x
0
1
, x
0
2
, x
0
3
) +
V
3
x
3
(x
0
1
, x
0
2
, x
0
3
)
= V (x
0
1
, x
0
2
, x
0
3
) = divergencia de V en x
0
.
10
En palabras, podemos decir que
Si V es el campo de velocidades de un uido, la divergencia de V en x
0
es el ujo
saliente de V por unidad de volumen.
De un modo similar se obtiene que si es un campo escalar, entonces
gradiente de = (x
0
) = lm
__
R
nd
vol(R)
,
donde estamos integrando un campo vectorial n, y entendemos que
__
R
nd =
__
R
(n
1
e
1
+ n
2
e
2
+ n
3
e
3
) d
=
___
R
n
1
d
_
e
1
+
___
R
n
2
d
_
e
2
+
___
R
n
3
d
_
e
3
.
Tambien se puede demostrar que
rotor de V = V (x
0
) = lm
__
R
n V d
vol(R)
.
En todos los casos mencionados, el lmite se toma cuando (h
1
, h
2
, h
3
) (0, 0, 0).
La denicion de gradiente esta dada por
=
_

x
1
i +

x
2
j +

x
3
k
_
=

x
1
i +

x
2
j +

x
3
k =
_

x
1
,

x
2
,

x
3
_
,
y la de rotor esta dada por
V =

i j k

x
1

x
2

x
3
V
1
V
2
V
3

=
_
V
3
x
2

V
2
x
3
_
i +
_
V
1
x
3

V
3
x
1
_
j +
_
V
2
x
1

V
1
x
2
_
k.
Notemos que entonces valen las siguientes relaciones:
V (x
0
) = lm
__
R
nV d
vol(R)
.
(x
0
) = lm
__
R
nd
vol(R)
,
V (x
0
) = lm
__
R
nV d
vol(R)
.
11
2.1. Teorema de Gauss
Hemos probado que
__
R
V nd
vol(R)
V (P),
si R es un paraleleppedo rectangular que converge a P (o se encoge a P). La forma
explcita de R para la validez de este resultado es irrelevante. Una demostracion del
teorema de la divergencia de Gauss puede hallarse en muchos libros (por ejemplo en el
Vol. II del Calculus de Apostol), pero una heurstica razonable puede obtenerse a partir
de esta identidad.
Sea un dominio de R
3
con frontera suave. Sea V un campo vectorial suave en
todo un entorno de = . Partimos el dominio en subdominios
i
muy peque nos
de modo que la aproximacion
1
vol(
i
)
__

i
V nd V (P
i
)
1
vol(
i
)
___

i
V dvol
sea buena (el punto P
i
esta en
i
), digamos con un error menor a .
P
i
P
j
Multiplicando por vol(
i
) y sumando para todos los ndices i = 1, 2 . . . , I tendremos
I

i=1
__

i
V nd
I

i=1
V (P
i
) vol(
i
)
___

V dvol,
(siguiendo ahora con un error menor a vol()). En el miembro izquierdo, todos los trozos
de
i
que son interiores a aparecen dos veces y con normales opuestas, no ocurre lo
mismo con los tramos de
i
que tambien son parte de la frontera de . Por consiguiente,
en la suma de la izquierda, todas las integrales de supercie calculadas sobre supercies
interiores a se cancelan mutuamente y entonces esa suma es
__

V nd. En el lmite
tenemos
__

V nd =
___

V dvol.
Si el miembro izquierdo se interpreta como el ujo de V saliente de por su frontera
, la imagen de un campo solenoidal o incompresible queda clara: si V = 0 entonces
12
el ujo total saliente/entrante a traves de de cada region es nulo. No nos dice que la
velocidad V sea nula, sino que el balance es nulo.
Observacion 2.1. La igualdad
__

V nd =
___

V dvol. (2.1)
se cumple siempre que V sea diferenciable y sus derivadas sean continuas en = .
Por ejemplo, si V es el campo de Newton
V (r) =
r
r
3
,
con r = (x
1
, x
2
, x
3
) y r =
_
x
2
1
+ x
2
2
+ x
2
3
, que es diferenciable en R
3
{0} (tiene una
singularidad en el origen), la igualdad (2.1) vale siempre que sea una region tal que
no toca al origen. Por ejemplo, la igualdad (2.1) vale en la esfera con centro en (1, 1, 1) y
radio 1, pero no vale en la esfera centrada en el origen con radio 1. Tampoco vale en la
esfera centrada en el (1, 0, 0) y radio 1, aunque s vale en la esfera ahuecada {(x
1
, x
2
, x
3
)
R
3
: 1 < x
2
1
+ x
2
2
+ x
2
3
< 4} = B
_
(0, 0, 0), 2
_
B
_
(0, 0, 0), 1
_
.
Ejemplo 2.2. Si V es un campo vectorial C
1
(R
3
) y V = 0 en R
3
, entonces
__

V nd =
___

V dvol = 0.
Es decir, para toda supercie cerrada que encierre una region de R
3
donde V tiene
divergencia nula, se cumple que el ujo de V neto a traves de es nulo.
2.2. Teorema de Stokes
Sea V un campo vectorial suave en el espacio R
3
. Sea C una curva cerrada simple en
el espacio R
3
. La circulacion de V a lo largo de C esta dada por
Circ(V , C) =
_
C
V dR =
_
C
V ds,
que es la integral de la componente de V tangencial a la curva C ( denota el vector
tangencial a C orientado en la direccion en que se recorre la curva C).
Por otro lado, el rotor de un campo vectorial diferenciable V se dene por
V =

i j k

z
V
1
V
2
V
3

=
_
V
3
y

V
2
z
_
i +
_
V
1
z

V
3
x
_
j +
_
V
2
x

V
1
y
_
k.
El Teorema de Stokes arma que el rotor de V tambien mide la circulacion del uido
con velocidad V . Precisamente, si C es una curva suave en el espacio y S es una supercie
(cualquiera) suave cuyo contorno es C, ambas dentro del dominio de suavidad de V ,
entonces
13
__
S
(V ) nd =
_
C
V dR,
donde la normal a S y la direccion de recorrido de C en la parametrizacion se toman de
modo que se satisfaga la regla de la mano derecha.
S
C
n
La primera observacion que se puede hacer de la formula de Stokes, justica el nombre
de rotor o rotacional para el vector V , puesto que la anulacion del rotor implica la
anulacion de la circulacion sobre cualquier curva cerrada.
Las consecuencias mas profundas del teorema de Stokes se dan en la Teora de Poten-
cial.
Dado un campo vectorial V , se dice que el campo escalar es un potencial para V si
satisface
= V .
No es cierto que todo campo vectorial admita un potencial, por ejemplo, es facil ver
que el gradiente de cualquier potencial sucientemente suave es irrotacional. Es decir
= 0.
Esto nos dice que para que un campo vectorial admita un potencial, es necesario que
dicho campo vectorial sea irrotacional:
Si V admite un potencial (V = ) entonces V = 0.
Trabajo. Dado un campo vectorial F (pensamos ahora en un campo de fuerzas), se
dene el trabajo realizado por F sobre una partcula que se desplaza por una curva C
como
W
F
(C) =
_
C
F dR =
_
C
F ds
donde denota (como antes) el vector tangencial a la curva C y apunta en la direccion
que se recorre. Es decir, el trabajo de F sobre C es la integral a lo largo de C de la
componente tangencial a C de F. El signo dependera de la orientacion de la curva.
14
Campos Conservativos. Se dice que un campo vectorial F (pensamos en fuerzas) es
conservativo si el trabajo realizado por F al desplazar una partcula entre los puntos P
y Q solo depende de los puntos P y Q pero no de la particular trayectoria que los una,
mientras la misma no salga del dominio de suavidad de F. Equivalentemente un campo
es conservativo si el trabajo realizado por el mismo en cualquier circuito cerrado es nulo.
Observemos ahora que si F admite un potencial , y C es una curva (parametrizada
por : [0, 1] C que une P con Q ((0) = P, (1) = Q), entonces
W
F
(C) =
_
C
F ds
=
_
1
0
F((t)))

(t) dt
=
_
1
0
((t)))

(t) dt
=
_
1
0
d
dt
_
((t))
_
dt
= ((1)) ((0))
= (Q) (P).
Por lo tanto, si F admite un potencial, el trabajo depende solamente de los puntos inicial
y nal, y por lo tanto es conservativo.
Si F admite un potencial (F = ) entonces F es conservativo
Por otro lado, si F es un campo vectorial conservativo, entonces las integrales de
lnea nos permiten construir un potencial para F. Es decir, nos permiten construir una
(o muchas) funcion escalar tal que F = . Basta jar un punto O en el dominio de
F y denir (O) = 0. Luego, para cada P en el dominio de F (que estamos suponiendo
simplemente conexo) denir
(P) = (P) (O) =
_

OP
F dR,
Donde R es una parametrizacion de la curva suave (a trozos)
OP
que une O con P. Como
F es conservativo, el resultado da lo mismo a traves de cualquier curva
OP
que se elija.
De esta manera resulta = F. Veamos como ejemplo que

z
(x, y, z) = F
3
(x, y, z), el
resto de las igualdades se obtiene de manera analoga (utilizando otra curva C).
15
(0, 0, 0)
(x, 0, 0)
(x, y, 0)
(x, y, z)
C
1
C
2
C
3
Utilicemos como curva C la de la gura, entonces
(x, y, z) =
_
C
F ds
=
_
C
1
F i ds +
_
C
2
F j ds +
_
C
3
F k ds
=
_
C
1
F
1
ds +
_
C
2
F
2
ds +
_
C
3
F
3
ds
=
_
x
0
F
1
(s, 0, 0) ds +
_
y
0
F
2
(x, s, 0) ds +
_
z
0
F
3
(x, y, s) ds.
Luego,

z
(x, y, z) = F
3
(x, y, z).
En conclusion, en un dominio simplemente conexo:
Todo campo conservativo es el gradiente de alg un campo escalar.
Recordando ahora que el rotacional de un gradiente es siempre el vector nulo:
Todo campo conservativo es irrotacional.
El teorema de Stokes nos permite armar la recproca:
Todo campo irrotacional es conservativo, y por consiguiente tiene un potencial .
En efecto, si F es irrotacional, entonces F = 0 y de aqu que
_
F dR =
__
S
(F) nd = 0,
para toda curva cerrada simple en el dominio. Entonces F es conservativo y por consi-
guiente existe tal que F = . El campo escalar es un potencial para F.
16

You might also like