1 Campos conservativos

Un campo F se dice conservativo si es un gradiente. Esto es, si existe una función f (potencial )
tal que F = rf: Por lo tanto, si F es un campo conservarivo de clase C 1 ; él es irrotacional.
Esto es, r F = 0: (Ya sabemos que el rotor del gradiente de una función de clase C 2 es cero).
También sabemos que las integales de línea de campos conservativos no dependen del camino:
Si dos curvas C1 y C2 parten ambas de un punto a y llegan al mismo punto b;
Z Z
F ds = F ds;
C1 C2

siempre que F sea conservativo. En efecto, si f es un potencial para F; ambas integrales

R igualan
a f (b) f (a) : El mismo argumento asegura que si C es una curva cerrada entonces C F ds = 0:
Los dos argumentos precedentes se ven sugestivamente entrelazados por el teorema de Stokes,
que identi…ca el ‡ujo del rotor de un campo a través de una super…cie con su circulación a lo
largo de su borde, que es una curva cerrada.
Teorema. Sea F = P i + Qj + Rk un campo de clase C 1 en R3 salvo tal vez en un número
…nito de puntos. Entonces son equivalentes las siguientes proposiciones:
R
1. F ds = 0 para toda curva simple cerrada C:
C
R R R
2. C F ds no depende del camino. Esto es, C1 F ds = C2 F ds para dos curvas con iguales
puntos iniciales y …nales.

3. F es conservativo.

4. F es irrotacional.

Demostración. El plan de la demostración es 1: ) 2: ) 3: ) 4: ) 1:

1: ) 2: Si la diferencia C1 C2 es simple,
Z Z Z
0= F ds = F ds F ds
C1 C2 C1 C2

demuestra la a…rmación. Si no, siempre se puede poner como una suma de curvas simples
(más, eventualmente, curvas recorridas de ida y vuelta).

2: ) 3: Hay que elegir un punto …jo. Por ejemplo el origen, si él no es de los puntos excep-
cionales, y de…nir f (p) como la integral del campo desde ese punto hasta p; ya que dicha
integral no depende del camino. Para probar que rf = F; se elige un camino adecuado
para cada derivada parcial. Haremos la prueba de que @=@z F = R: Sea p = (x; y; z) y
tomemos la curva C = C1 + C2 ; donde C1 es cualquier curva que une 0 con (x; y; 0) y C2
es el segmento que va de (x; y; 0) a (x; y; z) : Entonces
Z Z
f (x; y; z) = F ds + F ds:
C1 C2

1
Cálculo II - 2016

Pero la primera integral no depende de z; de modo que es sólo una función C (x; y) : En
cuanto a la segunda, parametrizando el segmento C2 por (x; y; t) ; 0 t z;
Z Z z
F ds = R (x; y; t) dt
C2 0

ya que x e y son constantes (respecto de t ) y por lo tanto dx = dy = 0: Por lo tanto,

Z z
@ d d d
f (p) = f (x; y; z) = C (x; y) + R (x; y; t) dt =
@z dz dz dz 0
= 0 + R (x; y; z) = R (p) ;

por aplicación del teorema fundamental del Cálculo.

3: ) 4: Es ya conocido.

4: ) 1: Si la curva cerrada simple C sobre la que hay que probar que la circulación es nula es
la frontera orientada de una super…cie S y vale para ellas el teorema de Stokes, puesto
que r F = 0; la a…rmación 1: queda probada:
Z Z Z
F ds = r F dS = 0:
C S

La prueba de que una curva simple cerrada siempre es la frontera de una super…cie, apela
a una Matemática totalmente ajena a la que manejamos en este curso. Sin embargo,
es bueno tener algún argumento convincente: Identi…quemos la curva con un alambre
y metámoslo en una solución jabonosa. Saldrá con una película que representa a la
super…cie buscada. Si la película pasa por alguno de los puntos excepcionales (en cuanto
a la regularidad de F), soplando un poco tendremos otra super…cie que lo elude.

Los resultados son válidos en R2 ; sumergiendo el plano en R3 y considerando al campo

P i + Qj como P i + Qj + 0k: Pero los puntos excepcionales de regularidad para el campo original
se convierten en rectas excepcionales para el campo extendido. Y una recta no se puede eludir
soplando. Por eso el resultado en R2 no admite puntos excepcionales. Contraejemplos para el
caso en que éstos existan se encuentran en la guía de ejercitación.

2 El lenguaje de las formas diferenciales

Como ya vimos, de la de…nición de integral de línea de un campo bajo la parametrización
x = x (t) ; y = y (t) ; z = z (t):
Z Z b
F ds = P x0 + Qy 0 + Rz 0 dt
C a

surge la expresión, en principio apenas una abreviatura del segundo miembro,

Z Z
P dx + Qdy + Rdz = F ds:
C C

En principio, el miembro de la izquierda se de…ne "íntegro" por el de la derecha (que sí tiene

sentido) y sus elementos carecen de sentido por separado. Elaborar una teoría que dé sentido
a estos elementos es posible pero no vale la pena. Sin embargo, algunas de…niciones parciales
son útiles y se usan con éxito en la práctica.

2
Cálculo II - 2016

Dadas tres funciones P; Q; R de…nidas en R3 ; la expresión

! = P dx + Qdy + Rdz

es una forma diferencial de grado 1. Si f es una función, su diferencial es una 1-forma poniendo
@f @f @f
df = dx + dy + dz:
@x @y @z
Una forma tiene el grado de regularidad que tienen sus coe…cientes y con un grupo de
tres funciones tanto se puede armar una forma como un campo. Hay entonces una traducción
de los resultados acerca de campos a enunciados acerca de formas. Si F = P i + Qj + Rk y
! = P dx + Qdy + Rdz;

! es exacta si F es conservativo. La función f tal que F = rf y ! = df se llama potencial.

Si ! es C 1 se dice que es cerrada cuando F es irrotacional.

Toda forma C 1 exacta es cerrada, como todo campo conservativo es irrotacional.

Recíprocamente, si ! es de clase C 1 en todo R3 (salvo un conjunto …nito), cerrada implica

exacta.

En la demostración del teorema se vio cómo construir la función potencial de una forma
cerrada. Veamos con un ejemplo cómo se hace en la práctica. Supongamos que queremos hallar
f tal que df = yzdx + zxdy + xydz: Lo primero es veri…car si la condición necesaria (! cerrada)
se veri…ca:
@R @Q @P @R @Q @P
= = x; = = y; = = z:
@y @z @z @x @x @y
Cumplido ese paso, estaremos buscando una función f (x; y; z) tal que @f =@x = yz: Con-
siderando y; z …jos, deberá entonces ser f (x; y; z) = xyz a menos de una constante. Pero esa
constante para x sí depende de y y z que dejamos …jos. Entonces,

f (x; y; z) = xyz + C (y; z) :

Ahora, de @f =@y = zx aplicado en la última igualdad, sigue que xz + @C=@y = zx: De donde
se deduce que C = C (z) no depende de y:

f (x; y; z) = xyz + C (z) :

La última condición: @f =@z = xy se convierte entonces en xy + C 0 (z) = xy; y de allí surge que
C es constante.
El potencial general de ! es f (x; y; z) = xyz + C:

3 El teorema de la divergencia de Gauss

Una región simétrica elemental del espacio euclídeo es la versión tridimensional de lo que era
una región simple en el plano. Es una región que es a la vez x simple, y simple y z simple.
La frontera de una región simétrica elemental se puede ver como la unión de a lo sumo seis
super…cies (caras) que se intersecan unas a otras solamente en los bordes. Esa unión forma una
super…cie sobre la que se pueden calcular integrales y que limita a la región. Orientar la frontera
@W de una región simétrica elemental W "hacia afuera", signi…ca elegir en cada punto p el
vector normal N tal que, para " positivo chico, p + "N 2 W c : Hay descripciones más precisas,
pero no vale la pena.

3
Cálculo II - 2016

Teorema de la divergencia. Sea W una región simétrica elemental con frontera regular
@W orientada hacia afuera. F un campo de clase C 1 en W : Entonces
Z Z Z Z Z
F dS = r FdV: (1)
@W W

Demostración. Por la descomposición F = P i + Qj + Rk; la igualdad (1) se convierte en

Z Z Z Z Z Z
P i dS + Qj dS + Rk dS (2)
Z Z@W Z Z @W
Z Z Z@WZ Z
@P @Q @R
= dV + dV + dV
W @x W @y W @z

Esta igualdad queda su…cientemente probada si se establece la igualdad de cada sumando del
primer miembro con su homólogo del segundo. Y cada una de esas tres igualdades se prueba
usando que la región simétrica W es, respectivamente, x simple, y simple y z simple.
Como muestra probaremos la última.
Por ser z simple, W se describe por:

(x; y) 2 D; ' (x; y) z (x; y) ;

para ' y funciones de…nidas en D; una región elemental del plano x; y: @W consta de una
super…cie superior (S1 : z = (x; y)), una super…cie inferior (S2 : z = ' (x; y)) y una super…cie
lateral S3 , formada por a lo sumo cuatro caras, pero siempre "vertical". Esto signi…ca que en
la super…cie lateral la normal es horizontal, perpendicular a k: Esta a…rmación intuitivamente
evidente admite una prueba formal que el lector debería saber hacer.
Z Z Z Z Z Z
@ @
Rk dS = (0; 0; R (x; y; (x; y))) ; ; 1 dA = R (x; y; (x; y)) dA:
S1 D @x @y D

Un cálculo similar teniendo en cuenta la orientación hacia abajo de S2 ; mostrará que

Z Z Z Z
Rk dS = R (x; y; ' (x; y)) dA:
S2 D

Por último, como ya se dijo, en S3 la normal unitaria n es perpendicular a k: Por lo tanto,

Z Z Z Z
Rk dS = Rk ndS = 0:
S3 S3

En de…nitiva,
Z Z Z Z Z Z
Rk dS = R (x; y; (x; y)) dA R (x; y; ' (x; y)) dA:
@W D D

Ahora se debe calcular la integral de volumen:

Z Z Z Z Z Z !
(x;y)
@R @R
dA = (x; y; z) dz dA =
W @z D '(x;y) @z
Z Z Z Z
R (x; y; (x; y)) dA R (x; y; ' (x; y)) dA:
D D

Así como el teorema de Green, el teorema de la divergencia se aplica a regiones que sin ser
simétricas se pueden representar como una unión de ellas con fronteras comunes que se cancelan
de a pares.

4
Cálculo II - 2016

Teorema (Ley de Gauss). Sea M una región simétrica elemental en R3 : Entonces, si

02
= @M; 8
Z Z < 4 si 0 2 M
r
dS =
@M r
3 :
0 si 0 2
= M:
Demostración. Si 0 2
= M; como tampoco pertenece a @M; el campo es regular y
Z Z Z Z Z
r r
3
dS = r 3 dV = 0:
@M r M r

El cómputo que demuestra que r r=r3 = 0 queda a cargo del lector.

Si 0 2 M es un punto interior y existe una bola B (0; ") totalmente contenida en M:
Aplicaremos el teorema de Gauss a la región (no elemental) W = M B (0; ") ; cuya frontera
es @M S" ; siendo S" la cara exterior de la esfera de centro en 0 y radio ": Nótese que al tomar
S" estamos eligiendo la normal interior de la esfera, que es exterior para W: En W el campo
es regular y se aplica el teorema de Gauss. Como la integral de volumen es nula, igual que en
el caso anterior, Z Z Z Z Z Z
r r r
3
dS = 3
dS = 3
n dS:
@M r S" r S" r
Ahora bien, en S"
Z Z Z Z
r r 1
n = y r = "; luego 3
n dS = 2 dS = 4 :
r S" r " S"

El Teorema de Gauss permite obtener otra caracterización de la divergencia, tal como se

hizo con el rotor vía el teorema de Stokes. Situándonos en una bola B" de radio " con centro en
el punto p donde queremos caracterizar la divergencia, y llamando S" a la frontera de la bola
orientada hacia afuera, el teorema de Gauss asegura que
Z Z Z Z Z
r F dV = F dS:
B" S"

Si se divide miembro a miembro por el volumen jB" j de la bola y se toma límite para " ! 0;
Z Z Z Z Z
1 1
lim r F dV = lim F dS: (3)
"!0 jB" j B" "!0 jB" j S"

Ahora observamos que si r F es continua en p; entonces el primer miembro de la igualdad

tiende hacia r F (p) : En efecto,
Z Z Z Z Z Z Z Z Z
1 1 1
r F dV r F (p) = r F dV r F (p) dV
jB" j B" jB" j B" jB" j B"
Z Z Z Z Z Z
1 1
fr F (q) r F (p)g dV (q) jr F (q) r F (p)j dV (q)
jB" j B" jB" j B"
max jr F (q) r F (p)j ! 0 para " ! 0:
kq pk "

Entonces (3) da como resultado

Z Z
1
r F (p) = lim F dS;
"!0 jB" j S"

que expresa a la divergencia en el punto como la tasa de ‡ujo hacia el exterior por unidad de
volumen.