8.

TEOREMAS INTEGRALES DEL

CALCULO
VECTORIAL
En este captulo se tratan los grandes Teoremas Integrales del Calculo Vectorial. Estos teoremas constituyen la piedra angular de las aplicaciones del calculo
en ciencias e ingeniera. En realidad, son todos los teoremas de este captulo son
versiones de la forma moderna del Teorema de Stokes, para cuyo tratamiento
se necesita de formas diferenciales, y que constituye una generalizacion a varias
dimensiones del Teorema Fundamental del Calculo.

8.1. Superficies parametrizadas

Trataremos ahora objetos bidimensionales con el objetivo de desarrollar conceptos similares a los de integrales de lnea pero para superficies. Sea I una cierta
regi
on en R2 (por ejemplo, el cuadrado unitario) y c :I R3 . Si llamamos (u, v)
a las coordenadas en R2 , entonces la aplicacion esta descripta por tres funciones:
x = G1 (u, v)
y = G2 (u, v)
z = G3 (u, v)
Consideraremos solamente parametrizaciones de clase C 1 al menos.
Entonces, consideremos los vectores
a(u, v)

b(u, v)

G1
(u, v)i +
u
G1
(u, v)i +
v

G2
(u, v)j +
u
G2
(u, v)j +
v

G3
(u, v)k,
u
G3
(u, v)k
v

Definici
on. La parametrizaci
on de la superficie es regular sii el producto cruz
satisface
a(u, v) b(u, v) 6= 0
para todo (u, v) I. En este caso, a(u, v), b(u, v) generan el plano tangente a la
superficie en el punto c(u, v) y
n(u, v) =

a(u, v) b(u, v)
| a(u, v) b(u, v) |

es el vector normal a la superficie en el punto.

Ejemplos pr
acticos son:

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Ejemplo. Si p0 = (x0 , y0 , z0 ), p1 = (x1 , y1 , z1 ) y p2 = (x2 , y2 , z2 ) son tres

puntos en R3 no colineales (no est
an en una misma recta), los puntos determinan
un tri
angulo T en R3 .
Construiremos una parametrizacion del triangulo usando el triangulo modelo
2
TM
en R2 que ya definimos en el captulo V. Consideremos los vectores
a = p1 p0 ;

b = p2 p0

2
Entonces : TM
R3 definida por

(u, v) = p0 + ua + vb
es claramente una parametrizacion regular de T . La normal es, en todos los puntos
de la superficie, igual a
1
ab
|a b|
Ejemplo. Sea p0 = (x0 , y0 , z0 ) en R3 , r > 0 un escalar y S(p0 , r) una esfera
de radio r centrada en p0 .
La simetra del la superficie sugiere la parametrizacion con coordenadas esfericas. En lo u
nico que debemos tener cuidado es que el centro para las coordenadas es
ahora el punto p0 (esto es, situar el origen en p0 ). Entonces : [0, 2][0, ] R3
definida por
x = x0 + r cos() sin()
y = y0 + r sin() sin()
z = z0 + r cos()
es una parametrizaci
on regular de S(p0 , r), salvo en los extremos del intervalo
[0, ] . Las variables de son claramente , pues es constante e igual a r.
Primero,
a(, )

y
z
x
(, )i +
(, )j +
(, )k

= r sin() sin()i + r sin() cos()j

=

Por otra parte

b(, )

x
y
z
(, )i +
(, )j +
(, )k

= r cos() cos()i + r sin() cos()j r sin()k

=

Asi que


i
j
k

 r sin() sin() r sin() cos()
0

 r cos() cos() r sin() cos() r sin()

es igual a
(r2 sin2 () cos())i r2 sin2 () sin()j r2 cos() sin()k
o sea,
r sin()[(x x0 )i + (y y0 )j + (z z0 )k] = r sin()(x p0 )
2

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

8.1.1.

Area de superficies

Recordando las propiedades de area del producto cruz, es natural interpretar

a | a(u, v) b(u, v) | dudv como la medida de area infinitesimal de la superficie en
el punto c(u, v). En consecuencia:
Definici
on. El
area de la superficie parametrizada c :I R3 es
Z
| a(u, v) b(u, v) | dudv
I

la medida de
area infinitesimal | a(u, v) b(u, v) | dudv se denota dS.

8.1.2.

Integral de flujo

Ahora, si se dispone de una medida de area sobre la superficie es natural

integra funciones escalares definidas sobre esta. En particular, una funcion que
ser
a importante en el futuro y tiene claramente muchas aplicaciones fsicas. Sea
F = (f1 , f2 , f3 ) un campo vectorial definido en una region que contiene a una
superficie regular. Consideremos el problema de medir la cantidad de flujo que
pasa de un lado a otro de la superficie. La cantidad de flujo que pasa por el
punto c(u, v) (por unidad de tiempo) es la componente de F en la direccion
normal a la superficie porque la componente tangencial no tiene influencia (ver
figura 8-1). Esto es,
F(u, v) n(u, v)

Entonces, la cantidad total de flujo que pasa por la superficie es la integral de

superficie de esta cantidad.
Definici
on. La integral de flujo del campo F sobre la superficie es


Z
Z
a(u, v) b(u, v)
F(u, v) n(u, v) dS =
F(u, v)
| a(u, v) b(u, v) | dudv
| a(u, v) b(u, v) |
I
ZI
=
F(u, v) (a(u, v) b(u, v)) dudv
I

R
R
La integral I F(u, v) n(u, v) dS, que suele denotarse tambien c F dS, es la
cantidad neta de fludo que fluye a traves de la superficie c por unidad de tiempo,
esto es, la raz
on de flujo. En fsica, la Ley de Faraday relaciona una integral de
flujo con la circulaci
on (corriente) en una curva circundante. El principio correspondiente en mec
anica de fludos se llama teorema de circulacion de Kelvin. Por
su parte, la Ley de Gauss relaciona una integral del flujo de un campo electrico E
sobre una superficie cerrada con la carga encerrada por la superficie.Estas son las
bases fsicas que dieron origen al Teorema de Stokes que veremos mas adelante.
SUPERFICIES PARAMETRIZADAS

Figura 8-1
8.1.3.

Flujo en un punto de la superficie

Cambio de parametrizacion

Al calcular
areas de la superficies medimos areas en valor absoluto, el teorema
de cambio de variables en integracion permite mostrar que el area de la superficie
no depende de la parametrizacion. Esto es porque la modificacion que ejerce el
Jacobiano del cambio de variables se considera en valor absoluto. En cambio, en
integrales de flujo esto no es as. Estas integrales tienen las mismas propiedades
que la integral de lnea con respecto al cambio de orientacion. Explicitemos mejor
esto: Sea : J I una transformacion regular de una region J R2 sobre la
regi
on I. La composicion (c = c) : J R3 es otra parametrizacion diferente
de la misma superficie. Pueden ocurrir dos posibilidades:
D > 0 en todo punto. Esto es, la orientacion en el plano no se cambia, en
cuyo caso:
Z
Z
F n dS = F n dS
J

La integral de flujo tambien es invariante en este caso.

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

D < 0 en todo punto. En este caso, la orientacion en el plano se cambia y:

Z

Z
F n dS =

F n dS
I

Lo mismo vale para la integral de flujo. Al cambiar la orientacion, la normal

de la superficie apuntara para el lado contrario.1

Ejemplo. Sea I la bola unitaria en R2 y c :I R3 definida por

x = u
y = v
z = u2 + v 2
la superficie es simplemente la gr
afica de la funci
on u2 + v 2 .
Calculemos como ejemplo la normal en el punto (0, 0, 0). Resulta a(0, 0) =
(1, 0, 0) y b(0, 0) = (0, 1, 0), de donde tenemos
a(0, 0) b(0, 0) = (0, 0, 1)

Consideremos ahora la transformacion : I I definida por u = u, v = v.

Entonces, D 1 y es claro que cambia la orientacion. La parametrizacion
c resulta
x = u
y = v
z = u2 + (v)2
y ahora a(0, 0) = (1, 0, 0) , b(0, 0) = (0, 1, 0) y
a(0, 0) b(0, 0) = (0, 0, 1)
resulta evidente que la integral de flujo de cualquier campo vectorial cambia de
signo en estas dos parametrizaciones.
Puede resultar difcil encontrar para ciertas superficies una parametrizacion
totalmente regular. Pero podemos considerar superficies que estan formadas por
pedazos con parametrizaciones regulares correctamente pegados. Esta idea es similar a la de curvas diferenciables a trozos.
Por ejemplo, el borde de un cubo con lados paralelos a los ejes esta formado
por 6 caras que pueden ser regularmente parametrizadas. No daremos aqu una
definici
on rigurosa de lo que se entiende por pedazos correctamente pegados cuando
hay partes no lisas de la superficie, aristas, como en el caso del cubo, donde se
pegan los pedazos. Recurriremos siempre a la intuicion teniendo el ejemplo del
cubo como gua.
1 Este tipo de resultados son similares al cambio de variables en integraci
on. La diferencia es
que en integraci
on tomabamos en cuenta solamente los cambios en
areas, y ahora las
areas son
con signo, dependiendo de que cambie la orientaci
on o no.

SUPERFICIES PARAMETRIZADAS

8.1.4.

Superficies orientables

En las curvas siempre tenemos dos orientaciones, o sentido de recorrido, distintos. Ya sabemos la importancia que tiene en integrales de lnea tomar en cuenta la
orientaci
on de la parametrizacion: por ejemplo, hemos utilizado frecuentemente la
idea de la anulaci
on de un pedazo de la integral de lnea porque la curva es recorrida una vez en un sentido y otra vez en el otro. Con las integrales de superficies
ocurre lo mismo y es por esto que las orientaciones deben ser elegidas consistentemente. Los teoremas integrales que pretendemos establecer no funcionan bien si
la orientaci
on es inconsistente.
Definici
on. Una superficie orientada o orientable es una superficie donde se
pueden distinguir dos lados. En cada punto hay dos vectores normales n y n.
Cada una de estas normales se puede asociar a un lado de la superficie.

Una superficie dada por una paramatrizacion regular es orientable.

Cuando la superficie se define por varias parametrizaciones regulares cuyas
imagen se intersecan, es posible elegir estas parametrizaciones de manera
que en un punto donde coinciden dos parametrizaciones, las normales son
las mismas.
En una superficie que se obtiene uniendo en una curva (arista) dos pedazos
de superficie regulares parametrizadas, hay que elegir la orientacion en cada
pedazo consistentemente. Esto quiere decir lo siguiente: tomemos un punto
a un costado de la arista, los vectores a, b y a b determinan un sentido de
giro sobre la cara correspondiente y, en particular, un sentido sobre la arista.
Si tomamos ahora otro punto sobre el otro lado de la arista, la orientacion
es compatible si el sentido de recorrido inducido en la arista es exactamente
el inverso del anterior.2
Esta u
ltima observacion quedara bien ilustrada en los grandes teoremas integrales del c
alculo vectorial que comenzaremos a discutir en la proxima seccion.
A
un si en la pr
actica, ingenieros o fsicos no suelen encontrar superficies no orientables, es u
til anotar que realmente existen. La figura 8-2 muestra la cinta de
Moebius. La figura 8-3 muestra una version cerrada de la cinta de Moebius que se
llama botella de Klein.

8.2. El teorema de la divergencia en geometras simples

Sea I un cubo en el espacio con aristas paralelas a los ejes. Para simplificar,
supongamos que I = [0, 1] [0, 1] [0, 1], y sea I la superficie borde de I union
2 Este u
ltimo punto es muy importante porque ciertas integrales de lnea que intervienen en
el c
alculo se anulan al tomarlas una vez en un sentido y otra vez en el otro. En esto radica
la importancia de la orientaci
on. En particular, esto implica que en un cubo en el espacio, las
normales deben estar todas apuntando para adentro o todas apuntando para afuera.

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Figura 8-2

La cinta de Moebius

de las seis caras de I: S1 , ..., S6 . Ademas, sea F un campo vectorial definido en

una regi
on que contiene al cubo.
Suponemos parametrizaciones regulares de S1 , ..., S6 tal que las normales correspondientes apuntan para afuera. Podemos entonces definir la integral de flujo
en I :
Z
Z
Z
F n dS =
F n dS + ... +
F n dS
I

S1

S6

Teorema.
Z
F n dS =
I

Z1 Z1 Z1 

Z Z Z
div(F) dxdydz =

f2
f3
f1
+
+
x
y
z


dxdydz

P. Separemos la suma en la derecha en tres integrales y analizemos cada una

por separado, por ejemplo
EL TEOREMA DE LA DIVERGENCIA EN GEOMETRAS SIMPLES

Figura 8-3
Z1 Z1 Z1
0

La botella de Klein
Z1 Z1

f1
dxdydz =
x

Z1

f1
dx dydz
x

Luego, por el teorema Fundamental del Calculo,

Z1 Z1 Z1
0

f1
dxdydz =
x

Z1 Z1

Z1 Z1
f1 (1, y, z) dydz

f1 (0, y, z) dydz
0

Sea S1 = {1} [0, 1] [0, 1]. La parametrizacion es en consecuencia la natural

(y, z) (1, y, z) con vector normal constante (1, 0, 0) y sobre esta cara vale F
n =f1 . Asi que
Z1 Z1

Z
F n dS =
S1

f1 (1, y, z) dydz
0

Sobre la cara opuesta S2 = {0}[0, 1][0, 1] en cambio, para que la parametrizacion

tenga normal apuntando hacia afuera hay que cambiar la orientacion natural, por
lo que resulta
Z1 Z1

Z
F n dS =
S2

f1 (0, y, z) dydz
0

Hemos obtenido en consecuencia

8

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Z1 Z1 Z1
0

f1
dxdydz =
x

Z
F n dS +

S1

F n dS
S2

Con las otras dos integrales se procede de la misma forma y se obtiene el

teorema.

Por supuesto, el mismo teorema vale en dimension dos. En este caso la diferencial de superficie es claramente la diferencial de longitud de curvas dl.
Con un poco m
as de trabajo se puede obtener el teorema siguiente que no
mostraremos aqu (ver [M-T]).

Teorema. Sea T un tri

angulo en dimensi
on 2 o un tetrahedro en dimensi
on 3 y
F un campo vectorial. Entonces
Z

Z
(F n) dS

div(F) =
T

En el plano, un triangulo esta determinado por tres puntos no colineales: los

tres puntos no est
an en una misma recta. En el espacio, un tetrahedo esta determinado por cuatro punto no colineales: los cuatro puntos no estan en un mismo
plano. Por cada triupla de puntos del tetrahedo existe un plano en el espacio determinado por esos puntos y, en ese plano, los tres puntos determinan un triangulo
que es una cara del tetrahedro.

8.3. El teorema de la divergencia en geometras complicadas

Ciertamente, las geometras de las regiones que hemos considerado son muy
simples. C
omo se pasa de las simples a regiones m
as complejas?
En los los libros de Calculo Vectorial se suele encontrar muchos metodos ingeniosos para probar el teorema de la divergencia en geometras complicadas y diversas. No haremos esto aqu. En cambio, mostraremos un acercamiento al problema
que es m
as bien de tipo ingenieril, propio de la resolucion numerica de Ecuaciones
en Derivadas Parciales por Elementos Finitos.3
3 Las variedades utilizadas en la demostraci
on moderna del Teorema de Stokes son, en cierto
modo, descompuestas en modelos simples que se pegan va el argumento standard de partici
on
de la unidad.

EL TEOREMA DE LA DIVERGENCIA EN GEOMETRAS COMPLICADAS

8.3.1.

Aproximaci
on de las regiones por triangulaciones o tetrahedralizaciones

Condici
on. Propiedad EF.Sea M una regi
on del plano o del espacio y M la
frontera de M , esto es, el borde. Suponemos que:
Si M R2 , M est
a formado por la uni
on disjunta de un n
umero finito de
curvas diferenciales a trozos.
Si M R3 , M est
a formado por la uni
on disjunta de un n
umero finito de
superficies orientables como hemos definido arriba.
Entonces la regi
on M puede ser tan bien aproximada como uno quiere por
regiones MT que son uniones de triangulos (en R2 ) o tetrahedros (en R3 ) correctamente pegados. Las figuras 8-4, 8-5, 8-6 y 8-7 ilustran este esquema y muestran
cu
an complicadas pueden ser las regiones.
Definici
on. Llamaremos genericamente a los tri
angulos o tetrahedros elementos. Los elementos son tri
angulos si n = 2 y tetrahedros si n = 3.
Aproximaci
on de M quiere decir que la union de los elementos no es exactamente M pero aproxima a M tanto como se quiera con tal de hacer el
di
ametro de los elementos tan chico como sea necesario. .
El concepto de que los elementos estan bien pegados se muestra en las figuras
8-4, 8-5, 8-6 y 8-7. Las figuras muestran ejemplos simples de la complejidad
de dise
no que se alcanza en los problemas de ingeniera.
La idea ahora es que si el teorema de la divergencia vale para la region aproximada MT , entonces tambien vale para M , y el teorema de la divergencia en
regiones simples se puede usar ahora para probarlo en estas regiones complicadas.
Teorema. Sea M una regi
on del plano o del espacio que satisface la propiedad
EF y F un campo vectorial. Entonces
Z

Z
(F n) dS

div(F) =
M

P. Como ya dijimos, basta con probar el teorema para regiones bien particionadas por un n
umero finito de elementos
MT = ki=1 Ti
donde los elementos Ti estan bien pegados entre s.
Condici
on. Bien mirado, esto quiere decir que si el interior de una cara de un
elemento se corta con otro elemento, en consecuencia este corte no es otra cosa
que pegar la cara de un elemento con la cara correspondiente del otro elemento.
Esto ocurre en las caras internas de la regi
on.
10

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Figura 8-4

Malla EF de triangulos 1

Figura 8-5

Malla EF de triangulos 2

EL TEOREMA DE LA DIVERGENCIA EN GEOMETRAS COMPLICADAS

11

12

Figura 8-6

Malla EF de tetrahedros 1

Figura 8-7

Malla EF tridimensional 2

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Entonces
Z
div(F)

k Z
X

MT

div(F)

Ti

i=1

k Z
X

(F n) dS

Ti

i=1

Ahora, la condici
on de estar bien pegados y las propiedades de cambio de signo de
las integrales de lnea o superficie cuando tenemos una orientacion compatibles,
implica que en la suma
k Z
X
(F n) dS
i=1

Ti

solamente quedan las caras que corresponden al borde de la region. Las demas se
anulan mutuamente y se tiene
k Z
X
i=1

Z
(F n) dS =

Ti

(F n) dS
MT


Este tratamiento del teorema de la divergencia pone en evidencia la necesidad
de tratar con objetos orientables y como pasar de lo local a lo global. Hay sin
embargo aqu varios problemas que hemos pasado por alto y que merecen ser
especificados:
Hay que convencerse que las regiones de interes pueden ser realmente aproximadas de esta forma. Este problema, el de construir mallas de elementos
finitos es un campo de gran desarrollo e interes en Matematica Aplicada,
Ingeniera y Computacion Grafica. Es com
un observar en animaciones computarizadas el mallado como estructura sobre el cual despues se pinta (rendering).
En una lectura matematica sutil aparece el problema de que en las regiones
EF la normal es efectivamente discontinua y no estamos seguros que esta
normal aproxime realmente a la normal de la superficie que es aproximada.
De lo que si podemos estar seguros es que la integral
Z
(F n) dS
MT

aproxima a la integral
Z
(F n) dS
M

y esto resuelve el problema. Pensemos por ejemplo en la definicion de integral

de una funci
on continua como aproximacion de sumas que, bien miradas, son
integrales de funciones discontinuas.

EL TEOREMA DE LA DIVERGENCIA EN GEOMETRAS COMPLICADAS

13

8.4. El teorema de Green

Sean = P dx + Q dy una 1-forma diferencial en una region U R2 y
M U una regi
on que satisface la propiedad EF, esto es, donde vale el teorema
de la divergencia.
Como hacemos siempre, vamos a considerar para simplificar las situacion mas
simple: el borde M esta formado por una u
nica curva diferenciable r (puede ser
a trozos) que encierra la region M . La parametrizacion de la curva esta elegida
consistentemente de manera que, si (r0 1 (t), r0 2 (t)) es la derivada en un punto de
la curva, entonces la normal a la curva que apunta hacia afuera es

n(r(t)) =

1
| r0 (t) |

(r0 2 (t), r0 1 (t))

Esta orientaci
on se llama en general positiva. Aplicaremos el teorema de la divergencia para el campo vectorial F = (Q, P ). Entonces
Z

Z
(Qx Py ) dxdy

div(F) dxdy
ZM
(F n) dl

=

ZM
=
Z
=


1
0
0
(r 2 (t), r 1 (t)) | r0 (t) | dt
F(r(t)) 0
| r (t) |

(P (r(t)) r0 1 (t) + Q(r(t)) r0 2 (t)) dt

Z
P dx + Q dy
r

En definitiva, hemos probado el teorema de Green.

Teorema. Sean = P dx + Q dy una 1-forma diferencial en una regi

on U R2
y M U una regi
on que satisface la propiedad EF. Suponemos que el borde
M est
a formado por una uni
on finita de curvas diferenciables y parametrizadas
consistentemente, esto es, si (r0 1 (t), r0 2 (t)) es la derivada en un punto de la curva,
entonces la normal a la curva que apunta hacia afuera es

n(r(t)) =

1
| r0 (t) |

(r0 2 (t), r0 1 (t))

Entonces
Z

Z
(Qx Py ) dxdy =

P dx + Q dy
M

La integral de la derecha es por supuesto una integral de lnea.

14

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

8.5. El teorema de Stokes

El teorema de Stokes relaciona la integral de lnea de un campo vectorial en
una curva cerrada simple (que no se corta) C con la integral de flujo del rotacional
del campo sobre una superficie S de la cual C es la frontera o borde. Solamente
veremos el teorema de Stokes para superficies regulares. El contexto:

M U R2 es una region que satisface la propiedad EF. Suponemos que

el borde M esta formado por una u
nica curva diferenciable r (puede ser a
trozos) que encierra la region M con orientacion positiva.
: U R3 es una parametrizacion regular de la superficie, S = (M ) y
C = (M ).
V R3 es una region donde esta definido un campo vectorial F y S V.
Supongamos primero que hemos aproximado la superficie S Ti de manera que los tri
angulos Ti estan bien pegados en el sentido que hemos especificado
anteriormente. Suponemos tambien que la superficie de los triangulos es suficientemente chica (necesitamos esto porque haremos un tpico razonamiento infinitesimal!), (xi , yi , zi ) el centro del triangulo, y sea ni la normal al triangulo Ti (en la
misma direcci
on que la normal de la superficie S. De acuerdo con la definicion de
circulaci
on direccional, tenemos
R
(rot(F)(xi , yi , zi )) ni =circni F((xi , yi , zi ))

Ti

F dl

A(Ti )

o, escrito de otra forma

Z
((rot(F)(xi , yi , zi )) ni ) A(Ti )

F dl
Ti

por lo que se puede poner

Z
(rot(F) n) dS '
S

X
i

((rot(F)(xi , yi , zi )) ni ) A(Ti ) '

XZ
i

F dl

Ti

Por el mismo razonamiento que hemos usado ya varias veces, las integrales de lnea
en los lados interiores se anulan mutuamente y solo quedan las del borde. Este es
el razonamiento que explica el teorema de Stokes y es la u
nica justificacion que
daremos aqu.4
4 Las versiones cl
asicas de los teoremas de la divergencia, de Green y de Stokes que hemos
expuesto se deducen todas de la versi
on moderna del teorema de Stokes. La demostraci
on del
teorema de Stokes moderno es desde el punto de vista matem
atico muy f
acil, pero el precio que
hay que pagar es la introducci
on de nuevos conceptos, definiciones y resultados de la teora de
formas diferenciales que pueden originar alguna dificultad inicial. Es por esto que en los cursos
b
asicos se evita la introducci
on de formas y se mantiene la confusi
on, tal vez un poco anacr
onica,
entre formas y campos vectoriales.

EL TEOREMA DE STOKES

15

Teorema. Bajo las hip

otesis enunciadas arriba, se verifica
Z

Z
(rot(F) n) dS =

F dl
C

Ya hemos visto en el captulo de integrales de lnea el problema de determinar

si un campo vectorial es el gradiente de una funcion escalar. Dos cuestiones son
sumamente importantes en este problema:
Condici
on necesaria: el campo debe ser cerrado (esta es la condicion de
las derivadas cruzadas iguales).
Condici
on suficiente: la integral de lnea del campo sobre toda curva cerrada es igual a cero.
Con el rotacional, existe un problema analogo: hay una condicion necesaria
y, para la condici
on suficiente, el rol de las curvas cerradas es desempe
nado por
superficies cerradas.

8.5.1.

Un problema geometrico para el rotacional

Sabemos que la divergencia del rotacional de un campo es cero. Esto es,

div(rot(F)) = 0
Esta es una condici
on necesaria que debe cumplir un campo para ser un rotacional
de otro. El recproco es un problema interesante (ver [Fe], p. 2-15): saber si un
campo G con divergencia igual a cero es el rotacional de otro campo. Mas formalmente, sea G un campo vectorial tal que div(G) = 0. Existe un campo vectorial
F tal que
rot(F) = G?

Del mismo modo que con potenciales, la respuesta a veces puede ser no. El
problema puede ser la naturaleza del dominio donde esta definido el campo G.
La idea es la misma que en campos conservativos, pero reemplazando las curvas
cerradas por superficies cerradas que tomaremos, para simplificar, como esferas (la
frontera de bolas):
E(x0 , ) = {x R3 : | x x0 | = }
Para no complicar la escritura, denotaremos simplemente la esfera E sin preocuparnos por el centro y el radio. El equivalente de circulacion cero para campos
conservativos es el resultado que vamos a ver ahora.

16

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Teorema. Sea E cualquier esfera en el dominio de un campo vectorial F. Entonces

Z
rot(F) n dS = 0
E

P. Si el interior B de la esfera esta contenido en el dominio de F esto resulta

por el teorema de la divergencia pues
Z
Z
rot(F) n dS =
div(rot(F)) dx = 0
E

Pero el interior de E puede contener singularidades de F, as que trataremos de

evitar este problema usando el teorema de Stokes en una construccion artificial.
Primero, anotemos algo que vamos a necesitar despues: como E esta en el
dominio de F, existe una constante C > 0 tal que
| F(x) | C
Ahora, sea y un punto cualquiera de E y  > 0 un n
umero suficientemente
chico de manera que
E := E B(y, )
es una superficie con borde o frontera E que es un crculo.
Por el teorema de Stokes se obtiene
Z
Z
rot(F) n dS =
E

F dl

E

Esto vale cualquiera sea  con tal que sea suficientemente chico.
Ahora podemos estimar el valor absoluto de la integral de lnea de la derecha
en la forma
Z
|
F dl | C longitud(E )
E

En el lmite
Z

Z
rot(F) n dS =

lm

0

E

rot(F) n dS
E

y
Z
lm |

0

F dl | C lm (longitud(E )) = 0
0

E


Este resultado implica, en relacion al problema que nos ocupa, que basta con
encontrar una esfera E dentro del dominio de G tal que
Z
G n dS 6= 0
E

para asegurar que G no puede ser el rotacional de un campo.

Hay campos con esta propiedad?:
Si, la Ley de Gauss que expondremos mas adelante, proporciona un ejemplo
claro de esta situaci
on.

EL TEOREMA DE STOKES

17

Ejemplo. Consideremos el campo

G(x) =

1
x
r3

Este campo est

a definido en R3 {0} y es el gradiente de la funci
on arm
onica
V (x) = 1/r.
Ya que V es arm
onica se garantiza
div(G) = div(V ) = V = 0
Por otra parte, la Ley de Gauss asegura que sobre cualquier esfera E que contenga
al origen 0 vale
Z
G n dS 6= 0
E

por lo que G no puede ser el rotacional de un campo vectorial.

8.6. El teorema de la divergencia y el Laplaciano

En el caso particular de campos gradientes, el teorema de la divergencia proporciona cierta igualdades que son basicas en muchas aplicaciones y, en particular,
en el estudio de ecuaciones en derivadas parciales elpticas como el Laplaciano. El
contexto es:
Condici
on. M Rn es una regi
on con frontera M orientada positivamente
donde podemos aplicar el teorema de la divergencia. La dimensi
on n puede ser
cualquiera porque en realidad el teorema de la divergencia es v
alido en cualquier
dimensi
on, aunque aqu hemos considerado n igual a 2 o 3.
Comenzaremos con una igualdad basica que puede ser considerada como una
f
ormula de integraci
on por partes. Sea i cualquiera entre 1 y n, w y v dos funciones escalares, y consideremos el campo vectorial definido colocando el producto
wv como componente i-esima y cero en todas las otras componentes:
F(x) =(0, ..., 0, wv, 0, ..., 0)
Tenemos
div(F) =

(wv)
w
v
=
v+w
xi
xi
xi

y, por otra parte, para puntos en el borde M se cumple

F(x) n(x) =(wv(x)) ni (x)
donde ni (x) es la componente i-esima del vector n(x). Claramente esto es as porque
18

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

todas las otras componentes de F son nulas.

Aplicando el teorema de la divergencia a este campo se verifica
Z
M

w
v
v+w
xi
xi

Z
dx =

wv ni dS
M

Aqu hemos puesto dx en general que, en nuestro caso, significa dxdy o dxdydz.
La u
ltima igualdad puede ser escrita en una forma similar a la de integracion
por partes.
Teorema. Sea M una regi
on que satisface la condici
on enunciada arriba, y w, v
dos funciones escalares de clase C 2 definidas en en una regi
on que contiene a M .
Entonces
Z
Z
Z
v
w
v dx =
dx+
w
wv ni dS
xi
M
M
M xi

Supongamos ahora que w es la derivada parcial i-esima de otra funcion escalar

u, esto es, w = u/xi . Aplicando en esta situacion la u
ltima igualdad, tenemos
2u
v dx =
x2i

Z
M

Z
M

u v
dx+
xi xi

Z
M

u
v ni dS
xi

Si ahora sumamos sobre i se obtiene

n
X
2u
i=1

x2i

n
X
u v
x
i xi
i=1
n
X
u
ni
x
i
i=1

= u v
= u n

La expresi
on u n es la derivada direccional de u en la direccion n y es com
un
denotarla

u
n .

Sumando dentro de las integrales se obtiene otro famoso teorema

integral.
Teorema. Identidad de Green . Sea M una regi
on que satisface la condici
on
enunciada arriba, y w, v dos funciones escalares de clase C 2 definidas en en una
regi
on que contiene a M . Entonces
Z

Z
u v dx =

Z
u v dx+

u
v dS
n

En particular, si v = 1, tenemos
Z

Z
u dx =

u
dS
n

EL TEOREMA DE LA DIVERGENCIA Y EL LAPLACIANO

19

8.7. La Ley de Gauss

Usaremos la identidad de Green para mostrar un resultado importante que
en fsica llaman Ley de Gauss. No nos preocuparemos aqu por la interpretacion
fsica de esta ley. Los lectores interesados pueden referirse, por ejemplo, a [M-T],
p. 514. Desde el punto de vista puramente matematico, es una piedra angular en
la fundamentaci
on de la Teora del Potencial. Consideraremos el campo vectorial
singular en R3 :
F(x) =
donde, como siempre, r =

1
x
r3

p
x2 + y 2 + z 2 .

Teorema. Ley de Gauss. Sea M una regi

on que satisface la condici
on enunciada arriba de validez del teorema de la divergencia. Supongamos tambien que
0
/ M . Esto es, el origen no est
a en la frontera de M . Entonces
Z
M

1
x n dS =
r3

si 0 M
si 0
/M

4
0

P. Es importante tener en cuenta que F es el gradiente de la funcion potencial

radial V (x) =1/r, que V es armonica en R3 {0}, esto es V = 0 en R3 {0},
y que (1/r3 )x n = V /n.
Caso: 0
/ M . Esta parte es la mas facil porque el campo no es singular en M
y, por la identidad de Green, se obtiene
Z
0=

Z
V dx =

V
dS =
n

Z
M

1
x n dS
r3

Caso: 0 M . En estas condiciones no podemos aplicar Green por la singularidad del campo dentro de M . Lo que haremos es sacarle a M una bola para evitar
la singularidad y poder aplicar Green. Sea > 0 suficientemente peque
no para
que B(0,) M .
La regi
on
M = M B(0,)
tiene como frontera dos pedazos que no se cortan: M y S = B(0,). Esto
es, S es la frontera de la bola B(0,). Consideramos M orientada para poder
aplicar Green. Esto significa que, para ser compatible, debemos orientar S con
la normal apuntando hacia afuera del dominio M , o mas simplemente, la normal
en S apunta hacia el origen en R3 .
Por ser V arm
onica en M se obtiene otra vez
Z
0=

Z
V dx =

V
dS
n

Ahora, observemos que M es la union disjunta de M y S , asi que

20

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

V
dS +
n

0=
M

Z
S

V
dS
n

V
dS
n

Si cambiamos la orientacion de S , se obtiene

V
dS
n

0=
M

o, escrito de una forma mas u

til

Z
M

V
dS =
n

V
dS
n

Todo se ha reducido ahora a calcular la integral de la derecha que podemos

escribir en la forma
Z

1
x n dS
r3

Hay que observar ahora algunas cuestiones. Sobre la cascara de la bola vale:

r es una constante igual a .

Por haber cambiado la orientacion original, ahora n(x) = | x1 | x. Asi que, en

S tenemos
2

1 (x x)
1 |x|
1
1
xn= 3
= 3
= 2
r3
r |x|
r |x|

Luego, se tiene
Z

La integral

1
1
x n dS = 2
r3

dS es el area de la cascara S

dS
que es igual a 4 2 , asi que

finalmente, simplificando los 2 , se tiene

Z

1
x n dS = 4
r3

LA LEY DE GAUSS

21

8.8. Ecuaciones de balance y Teorema de la Divergencia

As como el C
alculo en una variable nacio de la mano del desarrollo de la
Mec
anica, el C
alculo Vectorial esta profundamente entrelazado con el desarrollo
de la fsica contemporanea: la evolucion del electromagnetismo por la mano de
Maxwell y otros fue posible porque estas personas participaron activamente en el
desarrollo del instrumento tan poderoso como es el Calculo Vectorial, que permiti
o otorgar sentido a la conceptualizacion de la fsica del siglo XIX. Sin embargo, en
un curso reducido como este no podemos desarrollar plenamente las innumerables
aplicaciones de estos teoremas integrales en la practica de otras ciencias. Daremos
u
nicamente un ejemplo simple del modo de pensamiento asociado a los teoremas
integrales y las leyes de conservacion, con el permiso razonable de utilizar tal vez
expresiones un tanto vagas de la fsica

8.8.1.

La ecuaci
on del calor

Sea U una regi

on del espacio donde fluye calor, y u(x, y, z, t) la temperatura
en el tiempo t en el punto (x, y, z) U . Asumimos que la region es homogenea
y caracterizada por un calor especfico constante c una densidad constante .
Consideremos ahora una esfera cualquiera B contenida en U . El principio del
balance de energa en B requiere que la velocidad de cambio de la cantidad de la
energa del calor en B debe ser igual a la velocidad con que el calor fluye hacia B
a traves de la frontera de B mas la velocidad con la cual el calor es generado en
B por una fuente adicional de energa en B. La cantidad de calor en un elemento
peque
no de volumen dxdydz es cu dxdydz, as que la cantidad de calor en B
est
a dado por la integral
Z
cu dxdydz
B

Asumimos que la fuente adicional de energa esta dada por una funcion escalar
f (x, y, z, t) de manera que la cantidad de energa injectada por esta fuente es
Z
f dxdydz
B

Ahora introducimos el campo vectorial de flujo de calor F = F(x, y, z, t); la

direcci
on del vector F(x, y, z, t) corresponde a la direccion del flujo de calor en el
punto (x, y, z) en el instante t. La velocidad con que el calor fluye a traves de la
frontera de B, B esta dada por la integral de superficie
Z
(F n) dS
B

La ley de conservacion, o la ley del balance de energa, en B se expresa

22

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

d
dt

Z

cu dxdydz
B

(F n) dS +

f dxdydz

El signo menos en la integral de flujo aparece porque si el campo F apunta

hacia afuera de B, la integral es positiva, y la energa en la parte izquierda de la
ecuaci
on de balance disminuye, lo cual es correcto. El teorema de la divergencia
dice entonces que
d
dt

Z


cu dxdydz

Z
=

Z
div(F) dxdydz +

f dxdydz
B

En condiciones normales se tiene

d
dt

Z


cu dxdydz

Z
=

cut dxdydz
B

asi que
Z

Z
cut dxdydz =

Z
div(F) dxdydz +

f dxdydz
B

o, escrito de otra forma

Z
(cut + div(F)f ) dxdydz = 0
B

Como esta ecuaci

on vale para toda esfera B, esto implica la forma diferencial de
la ley de balance en U :
cut + div(F) = f

Esta ecuaci
on tiene dos incognitas: la temperatura escalar u y el flujo de
calor F. Los fsicos suelen conectar estas dos incognitas por medio de relaciones
constitutivas. Una de ellas por ejemplo, es la ley de conduccion del calor de Fourier,
que establece:
F = K u = K (ux , uy , uz )
donde la constante de proporcionalidad K es la conductividad termica. Observese
que el gradiente es considerado respecto de las variables espaciales solamente y no
la temporal. Esta relacion conduce a la ecuacion en derivadas parciales (llamada
del calor):
cut = K div(u) + f
o
cut = K (uxx + uyy + uzz ) + f

No nos interesa aqu entrar en la discusion de esta ecuacion diferencial. Nuestro

u
nico objetivo fue ilustrar el camino de pensamiento que relaciono a las ciencias
y a diversas ramas de la matematica en el notable desarrollo de los u
ltimos dos
siglos.

ECUACIONES DE BALANCE Y TEOREMA DE LA DIVERGENCIA

23

8.8.2.

Leyes de Conservacion

Lo que hicimos arriba es un ejemplo simple de las llamadas Leyes de Conservaci

on en fsica. En mecanica de fludos expresaran la conservacion de la masa; en
teora electromagnetica, la conservacion de la carga, etc. Los interesados pueden
consultar [M-T], p. 518, para una exposicion mas detallada de estos temas.

8.9. Stokes y electromagnetismo

Supongamos que C es un cable conductor como se muestra en la figura 8-8.
Podemos producir corriente en C variando el campo magnetico B(t).
El flujo
Z
B n dS

=
S

que cambia con el tiempo, crea un campo electrico E . El trabajo de E es (Ley

de Faraday):
Z

trabajo =
E dl =
t
C
Esto es fsica y no nos concierne aqu. Pero el teorema de Stokes dice que
Z
Z
E dl =
rot(E).n dS
C

Por otra parte,

=
t

Z
S

B
n dS
t

Asi que
Z

Z
rot(E).n dS =

B
n dS
t

Esto es as para toda superficie S. Entonces se obtiene una de las ecuaciones de

Maxwell:
B
rot(E) =
t

8.10. Otra visita a campos conservativos y rotacionales

Vale la pena retomar los problemas de campos conservativos y rotacionales a
la luz de los teoremas integrales con que disponemos ahora. Las hipotesis con las
que trabajaremos son:

24

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Figura 8-8

Stokes y Maxwell

U es una regi
on de Rn donde n puede ser 2 o 3.
F = (f1 , .., fn ):U Rn
condici
on

es un campo vectorial cerrado, esto es, vale la

fi
fj
=
,
xj
xi

i 6= j

En particular, esta condicion es

f1
f2
=
x2
x1
si n = 2, y
rot(F) = 0
si n = 3.

Sabemos que un campo cerrado es un gradiente si

Z
F dl = 0
c

para toda curva cerrada c. Asumiremos: que no es necesario saber la condicion

OTRA VISITA A CAMPOS CONSERVATIVOS Y ROTACIONALES

25

de circulaci
on nula sobre todas las curvas cerradas sino solamente sobre las curvas
diferenciables cerradas y simples5 . Esto quiere decir:

Si n = 2, la curva no se corta a si misma. Estas curvas encierran una region en

R2 donde eventualmente puede aplicarse el teorema
R Rde Green. Cuando Green
puede ser aplicado, la circulacion es cero por ser
(Qx Py )dxdy = 0.
Si n = 3, la curva es la frontera de una superficie donde es posible aplicar el
teorema de Stokes. Cuando Stokes puede ser aplicado, la circulacion es cero
porque vale
Z
Z
F dl = (rot(F) n) dS = 0
C

Si n = 2, cualquier curva cerrada simple encierra una region donde es posible

aplicar Green, si se puede. No se puede cuando la region tiene alg
un punto de
singularidad de F. En el ejemplo tratado en el captulo anterior

F(x, y) =

x
y
i+ 2
j
2
+y
x + y2

x2

y c(t) = (cos(t), sin(t)), 0 t 2. La curva encierra una buena region para

Green, pero no puede ser aplicado porque F tiene una singularidad dentro de la
regi
on. Esto es, el dominio de F tiene un agujero. De hecho, ya sabemos que
F no puede ser gradiente.6 Debemos poner en mejores terminos el concepto de
tener agujeros. Para esto es u
til pensar en las curvas como elasticos que pueden
deformarse, siempre sin salirse del dominio.
Definici
on. Una regi
on U Rn es simplemente conexa cuando toda curva
cerrada puede deformarse, sin salirse de U y sin romperse, a un punto del dominio.
Ejemplo. La regi
on U = R2 {(0, 0)} claramente no es simplemente conexa.
Cualquier curva que rodee el origen no puede ser deformada a un punto en la
regi
on sin pasar por el origen.
Ejemplo. La regi
on U = R3 {(0, 0, 0)} es simplemente conexa porque cualquier
curva cerrada en U se puede deformar a un punto evitando el origen. En cambio,
R3 {eje x} no es simplemente conexa porque cualquier curva que rodee al eje x
no puede ser deformada a un punto sin pasar por el eje.
5 Que basta saber la circulaci
on para este tipo de curvas y no todas es una cuesti
on matem
atica
m
as complicada que merecera demostraci
on y requiere cierto trabajo.
6 Lo dicho arriba no quiere decir que siempre que el dominio tenga un agujero el campo no
puede ser gradiente. El campo

F(x, y) =

x
y
i+ 2
j
x2 + y 2
x + y2

es un gradiente y el dominio tiene un agujero. Lo que si queremos decir es que en un dominio

con agujeros siempre es posible construir un campo cerrado que no es gradiente.

26

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL

Este es el concepto fundamental en la teora de campos cerrados y conservativos. De hecho vale el siguiente resultado que no demostraremos.

Teorema. Sea F un campo vectorial cerrado definido en una regi

on simplemente
conexa U Rn . Entonces, F es un gradiente. Si U no es simplemente conexo
siempre existe alg
un campo cerrado en U que no es gradiente.
En U = R3 {(0, 0, 0)} por ejemplo, cualquier buena curva en el sentido
explicitado arriba es la frontera de una superficie que evita el origen y entonces
es posible aplicar Stokes. Por esto, la circulacion del campo en cualquier curva
cerrada es cero.7
Para el problema del rotacional valen consideraciones geometricas semejantes
a las del problema de campos conservativos:
Consideremos en este caso las superficies cerradas como elasticas. Si se puede
deformar cualquier superficie cerrada a un punto sin salirse del dominio de G
(claramente esto no vale en el ejemplo anterior), entonces la respuesta es afirmativa, esto es, existe un campo F tal que rot(F) = G. El concepto de agujero es
diferente en cada caso. El dominio R3 {eje x} es un problema para campos conservativos, pero no es un problema para rotacionales, ya que no podemos rodear
nunca el eje con una superficie cerrada sin cortar al eje.

8.11. Factor integrante

Consideremos el campo vectorial F(x, y) = (2y, x) en la region del plano
{x >}. Se verifica
Qx = 1;

Py = 2

y F no puede ser en consecuencia el gradiente de una funcion. Sin embargo, si

multiplicamos F por la funcion g(x, y) = x se obtiene
xF(x, y) = (2xy, x2 ) = (x2 y)
Este ejemplo simple conduce a:

Definici
on. Una funci
on g(x) es un factor integrante del campo vectorial F(x)
sii: g(x) 6= 0 para todo x y gF = f para alguna funci
on escalar f .
En Termodin
amica es usual el uso del concepto de factor integrante (ver por
ejemplo [Ke] y no podamos dejar de mencionarlo aqu. En algunos casos, el factor integrante se encuentra por simple inspeccion e ingenio. No podemos en este
curso tratar la teora de factores integrantes sin caer en dificultades extremas. Por
7 En el Ap
endice F se define m
as formalmente el concepto de deformaci
on de curvas y se
muestra un ejemplo interesante de la ventaja de la introducci
on de las formas diferenciales.

FACTOR INTEGRANTE

27

ejemplo, para que g sea factor integrante de F = (f1 , ..., fn ) se debe cumplir la
condici
on de las derivadas parciales cruzadas de gF :
(gfi )
xj

=
=

g
fi
fi + g
xj
xj
(gfj )
g
fj
=
fj + g
xi
xi
xi

y esto conduce a sistemas de ecuaciones en derivadas parciales para determinar g.

28

TEOREMAS INTEGRALES DEL CALCULO

VECTORIAL