Matemáticas III (GIC y GITI, curso 2015–2016)

LECCIÓN 8. LOS TEOREMAS INTEGRALES

1. EL TEOREMA DE GREEN

El denominador común de los teoremas integrales que trataremos en esta lección es que establecen
la igualdad, bajo ciertas condiciones, entre la integral de una función en una región y la integral
de otra función relacionada con la anterior en el borde de dicha región. En cierto modo, son
extensiones de la regla de Barrow que, al fin y al cabo, nos dice que podemos calcular la integral de
una función en un intervalo [a, b] evaluando una primitiva en la frontera del intervalo: los extremos
a y b. Veremos tres teoremas integrales, según que la región sea plana (el teorema de Green), una
superficie en el espacio (el teorema de Stokes) o un sólido en el espacio (el teorema de la divergencia
de Gauss-Ostrogradski).
Estos teoremas son muy importantes en las aplicaciones de las matemáticas a diversas áreas de la
ingenierı́a como irás viendo. En esta lección, veremos cómo se usan estos teoremas para determinar
condiciones bajo las que un campo irrotacional es conservativo en un dominio que no sea convexo.
Esta primera sección la dedicamos al teorema de Green, el cual establece que, bajo ciertas condi-
ciones, se da la siguiente igualdad entre una integral doble y una integral de lı́nea en el plano
∮ ∫∫ ( )
∂Q ∂P
P dx + Q dy = − dx dy,
C D ∂x ∂y
donde D es una región acotada del plano y C es la curva cerrada que forma su frontera.

Definiciones y comentarios. Para la validez de la igualdad se necesitan dos tipos de hipótesis.

En primer lugar, hipótesis sobre P y Q que garanticen la existencia de las integrales que aparecen.
Habitualmente se considera que P y Q son de clase C 1 . En segundo lugar hay que imponer condi-
ciones de tipo geométrico sobre el recinto D y su curva frontera C, concretamente supondremos
que C es una curva de Jordan (o sea, cerrada y simple) regular a trozos. Puede demostrarse (y
no es nada elemental aunque sea intuitivamente muy claro) que toda curva de Jordan regular a
trozos descompone el plano en dos conjuntos conexos y disjuntos que tienen a la curva C como
frontera común. Uno de dichos conjuntos no es acotado y se llama región exterior a C. El otro
sı́ es acotado y se llama región interior a C, esta región interior junto con su frontera C será la
región acotada cuya frontera es C y que representaremos por D.

Curva de Jordan C recorrida positivamente,

su región interior D y su región exterior E.

Finalmente, hay otro detalle que debemos tener en cuenta en el enunciado del teorema de Green, la
orientación de la curva C debe ser la orientación positiva; es decir, C debe ser recorrida en sentido
contrario a las agujas del reloj, como viste en la asignatura de “Matemáticas II”. Esto quiere decir
que la parametrización considerada debe recorrer la curva dejando a la izquierda la región interior.
103
104 Matemáticas III (GIC y GITI, 2015–2016)

Teorema de Green para regiones limitadas por curvas de Jordan. Sea C una curva de
⃗ es un campo vectorial de clase C 1 en
Jordan regular a trozos recorrida en sentido positivo. Si F
la región acotada D cuya frontera es C, entonces
∮ ∫∫
⃗ · d⃗r =
F ⃗ dA.
rot(F)
C D

⃗ son campos escalares de clase C 1 (D), entonces

En otros términos, si P y Q (las componentes de F)
∮ ∫∫ ( )
∂Q ∂P
P dx + Q dy = − dx dy.
C D ∂x ∂y

⃗
Si aplicamos el teorema de Green al campo dado por F(x, y) = (−y, x), obtenemos una fórmula
para hallar el área de la región D.

Cálculo del área como una integral de lı́nea. Sea C una curva de Jordan regular a trozos y
sea D la región acotada cuya frontera es C. Entonces se tiene que
∮
1 ( )
área(D) = x dy − y dx .
2 C

Esta forma de calcular el área de una región a partir de los valores que toma el campo (−y, x) en
su frontera es la base teórica de los planı́metros que son aparatos que permiten calcular el área
de una región irregular dibujada en un mapa deslizando un puntero por su frontera (mira, por
ejemplo, http://www.youtube.com/watch?v=QA8mOW7fvio.)

Planı́metros: mecánico (izquierda) y digital (derecha)

El teorema de Green(y los campos conservativos

) bidimensionales. En la Lección 6 vimos
−y x
⃗
que el campo F(x, y) = , es irrotacional en su dominio (x, y) ̸= (0, 0), pero no es
x2 + y 2 x2 + y 2 ∮
conservativo porque su circulación a lo largo de la circunferencia unidad C1 vale ⃗ r = 2π ̸= 0.
F·d⃗
C1
Vamos a utilizar el teorema de Green para ver que la razón esencial de la existencia de éste y
otros ejemplos patológicos similares es, precisamente, que su dominio tiene un agujero (el origen).
Concretamente, veremos que si trabajamos en dominios sin agujeros, la irrotacionalidad de un
campo garantiza que es conservativo.
 8. Los teoremas integrales 105

Conjunto simplemente conexo. Se dice que un conjunto U ⊂ R2 es simplemente conexo si

para toda curva de Jordan C contenida en U , la región acotada D cuya frontera es C verifica
D ⊂ U . Gráficamente, un conjunto simplemente conexo es un conjunto que no tiene agujeros. Se
dice que un conjunto es múltiplemente conexo si es conexo pero no es simplemente conexo.

U es simplemente conexo. V es múltiplemente conexo.

Los campos irrotacionales son conservativos en conjuntos simplemente conexos. Sea

⃗ = (P, Q) un campo vectorial de clase C 1 en un conjunto simplemente conexo U ⊂ R2 . Se verifica
F
⃗ es conservativo en U si, y sólo si, se cumple ∂Q = ∂P en U .
que F
∂x ∂y

Como hemos visto, una región múltiplemente conexa es una región con agujeros. Si queremos
extender el teorema de Green para este tipo de regiones, a la integral de lı́nea sobre la frontera
exterior que aparece debemos añadir integrales a lo largo de curvas que aı́slen los agujeros. Por
simplicidad, enunciaremos el teorema para el caso particular de un recinto con dos agujeros (como
la región a la derecha en la figura anterior).

Teorema de Green para regiones múltiplemente conexas. Sea U ⊂ R2 un conjunto conexo

con dos agujeros cuya frontera exterior es una curva de Jordan regular a trozos C. Sean C1 y C2
dos curvas de Jordan, regulares a trozos, interiores a C y exteriores entre sı́ que rodean los agujeros
interiores de U . Sean P y Q dos campos escalares de clase C 1 en U . Sea D la región contenida en
U que es interior a C y exterior a C1 y a C2 (en color violeta en el dibujo).

Entonces se verifica
∫∫ ( ) ∮ ∮ ∮
∂Q ∂P
− dA = (P dx + Q dy) − (P dx + Q dy) − (P dx + Q dy).
D ∂x ∂y C C1 C2

donde las tres curvas C, C1 y C2 se recorren en sentido positivo.

106 Matemáticas III (GIC y GITI, 2015–2016)

Corolario. Sean P y Q dos campos escalares de clase C 1 en un conjunto conexo U ⊂ R2 tales

∂Q ∂P
que = en U . Sean C1 y C2 dos curvas de Jordan regulares a trozos, contenidas en U ,
∂x ∂y
que no se cortan, que se recorren en sentido positivo, y tales que C1 rodea completamente a C2 .
Supongamos que la región anular D (en color violeta en el dibujo) comprendida entre C1 y C2 se
queda contenida en U . Entonces se tiene
∮ ∮
P dx + Q dy = P dx + Q dy.
C1 C2

La igualdad anterior tiene una consecuencia interesante para campos irrotacionales

( que no son
)
⃗ −y x
conservativos. Veámosla para el caso del ejemplo patológico F(x, y) = , .
x2 + y 2 x2 + y 2
Supongamos que C es una curva cerrada en su dominio ∮ que no rodea
∫∫ al origen y sea D su región
interior. Entonces, por el teorema de Green, se tiene C F · d⃗r = D rot(F)
⃗ ⃗ dA = 0. Sin embargo,
si C es una curva cerrada en su dominio que sı́ rodea al origen y∮ llamamos ∮C1 a la circunferencia
unidad, entonces la igualdad del corolario anterior nos dice que C F ⃗ · d⃗r = ⃗ · d⃗r = 2π.
F
C1
⃗ sobre curvas cerradas contenidas en su dominio sólo pueden
En resumen, las integrales de lı́nea de F
tomar dos valores: valen 2π si la curva rodea al origen y 0 si no lo rodean.

EJERCICIOS DE LA SECCIÓN 1
⃗
Ejercicio 1. Comprueba el teorema de Green para la circunferencia unidad y F(x, y) = (x, 2x)

Ejercicio 2. Calcula la circulación del campo vectorial F(x, ⃗ y) = (x + 3y, x − y) alrededor del
triángulo de vértices (0, 0), (2, 0) y (1, 4) usando el teorema de Green.
⃗
Ejercicio 3. Sea C la elipse de ecuación (x/a)2 + (y/b)2 = 1. Sea F(x, y) = (−y, x). Comprueba,
⃗ la igualdad dada por el teorema de Green.
para la curva C y el campo F,

Ejercicio 4. Sea C la frontera del cuarto de anillo contenido en el primer cuadrante y comprendido
entre las circunferencias de centro el origen y radios 1 y 2, respectivamente. Comprueba, para la
⃗
curva C y el campo F(x, y) = (x2 + y 2 − y, 2xy), la igualdad que establece el teorema de Green.
∫ ( ) ( )
Ejercicio 5. Calcula C ex cos(y) + xy 2 dx − ex sen(y) + x2 y dy siendo C el arco de la lemnis-
cata dada por la ecuación polar r2 = a2 cos(2θ), con θ ∈ [0, π/4].

Ejercicio 6. Sea D el semianillo que está contenido en el semiplano superior entre la circunferencia
2 2 2 2
x
∮ +2 y = 1 y la circunferencia x + y = 4. Sea C la frontera del semianillo D. Calcula
C
y dx + 3xy dy donde C se recorre en sentido positivo.
 8. Los teoremas integrales 107

Ejercicio 7. Sea D la región limitada inferiormente por la circunferencia unidad y superiormente

por la elipse 4x2 + y 2 = 4 y C su frontera. Consideremos el campo vectorial
( 2 2 )
⃗
F(x, y) = cos(2xy) − 2xy sen(2xy) + 2xyex y , −2x2 sen(2xy) + x2 ex y .
⃗ conservativo en R2 ? En caso afirmativo, calcula una función potencial.
(1) ¿Es F
∮
⃗
(2) Dado G(x, ⃗ · d⃗r.
⃗ + G)
y) = (x2 + y 2 + 1, y), calcula directamente la integral C (F
(3) Comprueba el resultado del apartado anterior usando el teorema de Green.

Ejercicio 8. Comprueba la igualdad dada por el teorema de Green en los siguientes casos.
⃗
(1) F(x, y) = (x, 1), en el cuadrado de vértices (0, 0), (1, 0), (1, 1) y (0, 1).
⃗
(2) F(x, y) = (2xy − x2 , x + y 2 ), en el rectángulo de vértices (0, 0), (0, 2), (1, 2) y (1, 0).
⃗
(3) F(x, y) = (x2 + y 2 )−1 (−y, x), en el anillo 0 < a2 ≤ x2 + y 2 ≤ b2 .
( √ √ )
⃗ el campo dado para (x, y) ̸= (0, 0) por F(x,
Ejercicio 9. Sea F ⃗ y) = x/ x2 + y 2 , y/ x2 + y 2 .
(1) Prueba que rot(F)⃗ = 0 en su dominio de definición U . ¿Se puede deducir de este resultado
⃗ es conservativo en U ? Explica por qué.
que F
(2) Calcula una función potencial de F⃗ en U . ¿Se puede deducir de la existencia del potencial
⃗ es conservativo en U ? Explica por qué.
que F ∫
(3) Calcula ⃗ · d⃗r siendo C el segmento rectilı́neo que va desde A = (3, 4) hasta B = (0, 2).
F
C
Consideremos ahora el campo G ⃗ definido para (x, y) ̸= (0, 0) por G(x,
⃗ ⃗
y) = F(x, y) + (x, 2x) y sea
CR la circunferencia con centro el origen y radio R > 0.
∮
(4) Calcula ⃗ · d⃗r donde la circunferencia se recorre en sentido positivo.
G
CR
(5) Sea D el anillo comprendido
∫∫ entre dos circunferencias Cr y CR , definidas como antes, con
0 < r < R. Calcula ⃗ dxdy directamente y usando el teorema de Green.
rot(G)
D

Ejercicio 10. (1) Prueba que el campo F(x, ⃗ y) = (3x2 y + 3, x3 + 2y + 2) es conservativo en R2 y

halla una función potencial f tal que f (1, −1) = 3.
∫
(2) Calcula la integral de lı́nea ⃗ · d⃗r, siendo C1 el arco de la curva de ecuación y = x3
F
C1
recorrido desde el punto (0, 0) hasta el punto (1, 1).
( )
⃗
(3) Considera ahora el campo G(x, y) = y/[(x − 1)2 + y 2 ], (1 − x)/[(x − 1)2 + y 2 ] y calcula
⃗ + G.
el rotacional de F ⃗ ¿Puedes decir, a partir del valor del rotacional, si F
⃗ +G ⃗ un campo
conservativo en su dominio de definición?
(4) Sea C2 la∮ cardioide definida en coordenadas polares por r = 1 + cos(θ) para 0 ≤ θ ≤ 2π.
( )
Calcula ⃗ +G
F ⃗ · d⃗r cuando C2 se recorre en sentido positivo.
C2

( )
Ejercicio 11. Dado el campo vectorial F ⃗ = x/(4 − x2 − y 2 ), y/(4 − x2 − y 2 ) .
(1) Prueba que es irrotacional en su dominio de definición.
⃗ sobre la circunferencia Ca con centro el origen y radio a ̸= 2.
(2) Calcula la circulación de F
(3) ¿Cuáles son los dominios conexos más grandes en los que puedes garantizar que F ⃗ es
conservativo?
108 Matemáticas III (GIC y GITI, 2015–2016)

2. EL TEOREMA DE STOKES

El teorema de Stokes es, esencialmente una generalización del teorema de Green a superficies
regulares de R3 . En el teorema de Green la curva frontera ha de estar orientada positivamente.
Para poder establecer el teorema de Stokes necesitamos dar un convenio que determine cuál es el
sentido adecuado en el que debemos recorrer el borde de una superficie parametrizada.

Orientaciones compatibles. Sea D ⊂ R2 una región plana simplemente conexa limitada por
una curva de Jordan regular C ∗ . Sea S una superficie simple y regular parametrizada por una
función ⃗S de clase C 2 (D). Sea C el borde de S (la imagen por la parametrización de C ∗ ).

Orientación y vector normal.

Si recorremos la curva C ∗ en el sentido positivo, es decir, dejando la región D a su izquierda,

entonces puede comprobarse que, en la mayorı́a de los casos, la parametrización ⃗S aplicada a C ∗
induce sobre el borde C de la superficie S un sentido de recorrido que deja a su izquierda la cara
de S hacia la que apunta el vector normal correspondiente a la parametrización. Decimos en este
caso que la superficie S y su borde C tienen orientaciones compatibles.
A veces es difı́cil determinar cuál es la orientación inducida en el borde C de la superficie por la
composición de la parametrización de la superficie con una parametrización de orientación positiva
de la frontera C ∗ de la región D. Existe, sin embargo, una regla geométrica sencilla que permite
deducir la orientación inducida en C sin más que observar hacia dónde apunta el vector normal
unitario a la superficie. Esta regla se conoce como la regla de la mano derecha o bien la regla del
sacacorchos: si se recorre C con la mano derecha con los dedos extendidos hacia adelante en el
sentido de recorrido de la curva y el dedo pulgar apunta en el sentido del vector normal entonces las
orientaciones son compatibles; si el dedo pulgar y la normal apuntan en sentidos opuestos entonces
las orientaciones no son compatibles.
No obstante, existen superficies sobre las que no es posible hacer compatible la orientación de
su borde con el vector normal; se dice que estas superficies son no orientables. El ejemplo más
conocido de superficie no orientable es la llamada banda de Möbius.

Banda de Möbius.

Una parametrización de la banda de Möbius viene dada por

([ ] [ ] )
⃗S(u, v) = a − u sen(v/2) cos(v), a − u sen(v/2) sen(v), u cos(v/2)
con u ∈ [−b, b] y v ∈ [0, 2π]. Aquı́, b > 0 es la semianchura de la banda y a es el radio de la
circunferencia que se obtiene al cortar la banda por el plano XY (en rojo en la figura).
 8. Los teoremas integrales 109

Teorema de Stokes o del rotacional. Sea S una superficie orientable en R3 y F

⃗ un campo
1
vectorial de clase C en S. Entonces
∫∫ ∮
⃗ · d⃗S =
rot(F) ⃗ · d⃗r,
F
S C

donde la superficie S y su borde C tienen orientaciones compatibles.

Si escribimos el campo vectorial componente a componente F ⃗ = (P, Q, R) entonces el teorema de
Stokes se escribe en forma tradicional como
∫∫ ∮
(Ry − Qz ) dy ∧ dz + (Pz − Rx ) dz ∧ dx + (Qx − Py ) dx ∧ dy = P dx + Q dy + R dz.
S C

Teorema de Stokes para superficies cerradas. Si S es una superficie cerrada (que no tiene
borde), como una esfera o un cubo, entonces
∫∫
⃗ · d⃗S = 0.
rot(F)
S cerrada

Condiciones para que un campo irrotacional sea conservativo en el espacio. Hemos

visto como consecuencia del teorema de Green que, en el caso plano, un campo irrotacional en
un conjunto simplemente conexo — sin agujeros — es conservativo. Sin embargo, también hemos
visto que si el dominio es todo el plano excepto un punto, entonces esto ya no tiene por qué ser
cierto. En el caso del espacio la situación es, paradójicamente, más simple. Si tenemos un campo
irrotacional en un dominio que es todo el espacio tridimensional salvo un número finito de puntos,
o de burbujas, entonces dicho campo es conservativo.

Superficie que envuelve un número finito de burbujas.

Para ver esto, si tenemos una curva cerrada contenida en el dominio, entonces podemos construir
una superficie que se apoya en la curva y que no pasa por ninguno de esos puntos, o no corta a
ninguna de esas burbujas. El teorema de Stokes nos dice, entonces, que al ser el campo irrotacional,
su integral sobre la curva cerrada vale cero y, como la curva era arbitraria, el campo es conservativo,
según vimos en la Lección 6.
El ejemplo patológico del plano que vimos en la Lección 6 puede
( extenderse a dimensión 3 sin
) más
que añadir un cero en la coordenada z; o sea, F(x, y, z) = −y/(x + y ), x/(x + y ), 0 para
⃗ 2 2 2 2

(x, y) ̸= (0, 0). Ahora el dominio de F

⃗ es todo el espacio tridimensional menos el eje OZ. Es fácil
ver que F es irrotacional y que su circulación en la circunferencia unidad C1 es 2π ̸= 0, ası́ que F
⃗ ⃗
es irrotacional pero no es conservativo.
110 Matemáticas III (GIC y GITI, 2015–2016)

Análogamente a lo que ocurre en el caso del plano, veamos que las integrales de lı́nea de F ⃗ en
curvas cerradas contenidas en su dominio solo pueden tomar dos valores. Si tenemos una curva
cerrada C que no rodea el eje OZ entonces podemos ∮ construir ∫∫
una superficie S que se apoya en
dicha curva tal que S no corta a dicho eje. Entonces C F · d⃗r = S rot(F)
⃗ ⃗ · d⃗S = 0 por el teorema
de Stokes.

Superficies que rodean una recta.

Sin embargo, si tenemos una curva cerrada C que sı́ rodea el eje OZ entonces podemos construir
una superficie S que se apoya en dicha curva y en la circunferencia
∫∫ unidad C1 del plano XY y
⃗
que no corta al eje OZ. Como F es irrotacional, tenemos que S rot(F) ⃗ · d⃗S = 0 y puede verse
⃗ en C (recorrida en sentido positivo
fácilmente usando el teorema de Stokes, que la circulación de F
vista desde arriba) también vale 2π.
En general, el problema de dominios con agujeros en el plano se traslada a dominios en el espacio
que rodean una o más rectas, como el de la derecha de la figura. En estos casos, la irrotacionalidad
de un campo no siempre implica que sea conservativo.

EJERCICIOS DE LA SECCIÓN 2

Ejercicio 1. Sea C la curva intersección del elipsoide ∮de ecuación x2 + 21 y 2 + z 2 = 1 con el plano
√
y = − 2z. Aplica el teorema de Stokes para calcular (−y + cos(ex )) dx + y dy + z dz dando
C
previamente una orientación de C.

Ejercicio 2. Comprueba las siguientes igualdades usando el teorema de Stokes, explicando el

sentido de recorrido de C en cada caso.
∮
(1) C (y − z) dx + (z − y) dy + (x − y) dz = πa(a + 2b), donde C es la intersección del cilindro
∮de ecuación x2 + y 2 = a2 con el plano de ecuación bx + az = ab (siendo a, b > 0).
(2) C (y + z ) dx + (z 2 + x2 ) dy + (x2 + y 2 ) dz = 2πab2 , donde C es la intersección del
2 2

hemisferio
∮ norte de x2 + y 2 + z 2 = 2ax y el cilindro x2 + y 2 = 2bx, siendo 0 < b < a.
(3) C (y 2 − z 2 ) dx + (z 2 − x2 ) dy + (x2 − y 2 ) dz = 92 a3 , donde C es la intersección del plano
x + y + z = 3a/2 con el cubo de lado a en el octante positivo.

Ejercicio 3. Dados el campo vectorial F(x, ⃗ y, z) = (x2 + y − 4, 3xy, 2xz + z 2 ) y la superficie S

16, z ≥ 0 y tomando la orientación de la superficie dada por la normal
definida por x2 + y 2 + z 2 =∫∫
interior a la esfera, calcula S rot(F)⃗ · d⃗S.
( )
Ejercicio 4. Dados el campo F⃗ (x, y, z) = x − y, ey , 1 + x2 y la porción de superficie esférica
{ }
S = (x, y, z) ∈ R3 : x2 + y 2 + z 2 = 1, z ≥ 0 con vectores normales alejándose del origen, calcula
∫∫
la integral de superficie S rot(F) ⃗ · d⃗S directamente y usando el teorema de Stokes.
 8. Los teoremas integrales 111

Ejercicio 5. Sea C la curva intersección del cilindro de ecuación x2 +(y −1)2 = 1 con el hemisferio
dado por x2 + y 2 + z 2 = 4 y z ≥ 0. Sea F
⃗ el campo vectorial F(x,
⃗ y, z) = (xz 2 , x − 2y, x2 z).
(1) Halla una parametrización de C usando coordenadas cilı́ndricas con respecto al centro de
la base del cilindro en el plano XOY .
(2) Calcula, aplicando directamente la definición, la integral de lı́nea de F⃗ en C, indicando el
sentido de recorrido de la curva que tomes.
(3) Comprueba el resultado del apartado anterior usando el teorema de Stokes.
√
Ejercicio 6. Sea U el cono sólido definido por 2 x2 + y 2 ≤ z ≤ 4 y sea S la superficie exterior
de U (incluida la tapa). Sea C la curva cerrada que se obtiene al cortar S con el plano y = 1.
⃗
(1) Dado el campo F(x, ⃗ en C indicando el
y, z) = (x, y, z 2 ), calcula la integral de lı́nea de F
sentido de recorrido de la curva C que tomes.
(2) Comprueba el resultado aplicando el teorema de Stokes a una superficie adecuada.

Ejercicio 7. Sea V el sólido limitado inferiormente por el cono x2 + y 2 = z 2 y superiormente por

el cilindro x2 + z 2 = 4, con z ≥ 0 en ambos casos.
(1) Utiliza alguno de los programas que se recomiendan para dibujar V .
(2) Halla el área de la porción del cono que es frontera de V (indicación: usa coordenadas
cartesianas).
∫∫∫
(3) Calcula z dxdydz.
V ∮
(4) Sea C la curva intersección del cono y el cilindro con z ≥ 0. Calcula ⃗ · d⃗r, siendo
F
C
⃗ = (y, yx, z), cuando recorremos C en sentido positivo vista desde arriba.
F
( )
⃗
Ejercicio 8. Dado el campo vectorial F(x, y, z) = y sen(z), x sen(z), xy cos(z) se pide:

∫ si el campo F es conservativo en R y, en ese caso, calcula una función potencial.

(1) Determina ⃗ 3

(2) Calcula ⃗ · d⃗r donde C1 es el tramo de la hélice cónica parametrizada mediante

F
C1
( )
⃗r1 (t) = t cos(t), t sen(t), t con t ∈ [0, π/6].

( ∫)
(3) Calcula, usando el teorema de Stokes, ⃗ G
F+ ⃗ ·d⃗r siendo G
⃗ el campo vectorial definido
( C2 )
por G(x, y, z) = y, x sen(e ) + e , −x2 sen(ex ) + cos(y) y C2 la curva intersección de la
⃗ 2 x y

esfera x2 + y 2 + z 2 = 1 con el plano y = z recorrida en el sentido contrario a las agujas de

un reloj cuando se la mira desde arriba.

Ejercicio 9. Sea C la circunferencia que se obtiene al cortar la superficie esférica x2 + y 2 + z 2 = 4

con el plano ⃗ ⃗ 2
∮ z = y + 2. Sea F el campo vectorial definido por F(x, y, z) = (x , yz, x). Calcula la
integral F⃗ · d⃗r directamente y usando el teorema de Stokes, indicando la orientación en que se
C
recorre la curva.

Ejercicio 10. Utiliza alguno de los programas de ordenador que se recomiendan en la lección
anterior para dibujar la banda de Möbius.
112 Matemáticas III (GIC y GITI, 2015–2016)

3. EL TEOREMA DE LA DIVERGENCIA DE GAUSS-OSTROGRADSKI

El teorema que damos a continuación relaciona la integral triple de la divergencia de un campo

extendida a un sólido con la integral de superficie de dicho campo tomada sobre la superficie
frontera de ese sólido que es, precisamente, una superficie cerrada.

Teorema de Gauss-Ostrogradski o de la divergencia. Sea U ⊂ R3 un sólido limitado por

⃗ es un campo vectorial de clase C 1 en U entonces
una superficie cerrada S. Si F
∫∫∫ ∫∫
⃗
div(F) dV = ⃗ · d⃗S,
F
U S

donde la superficie cerrada S tiene orientación exterior.

⃗ = 0, entonces volvemos a obtener el teorema de Stokes para superficies
Si usamos que div(rot(F))
cerradas: ∫∫
⃗ · d⃗S = 0.
rot(F)
S cerrada

EJERCICIOS DE LA SECCIÓN 3
⃗
Ejercicio 1. Halla el flujo del campo vectorial F(x, y, z) = (x2 , y 2 , z 2 ) a través de la cara exterior
del cono sólido x + y ≤ z con 0 ≤ z ≤ 1. Comprueba el resultado usando el teorema de la
2 2 2

divergencia.

Ejercicio 2. Se corta la esfera x2 + y 2 + z 2 = 25 por el plano z = 3. La parte más pequeña es

un sólido∫∫V limitado por una superficie S constituida por dos partes, una esférica y otra plana.
Calcula S (xz, yz, 1) · d⃗S (tomando la normal exterior a S) y comprueba el resultado usando el
teorema de la divergencia.

Ejercicio 3. Sean S la superficie formada por las cinco caras superiores del cubo definido por
0 ≤ x ≤ 1, 0 ≤ y ≤ 1, 0 ≤ z ≤ 1 y F ⃗ el campo vectorial dado por F(x,
⃗ y, z) = (xy, 0, −z 2 ). Halla
∫∫
⃗ · d⃗S carrando el cubo y aplicando el teorema de la divergencia.
F
S

⃗
Ejercicio 4. Dados el campo vectorial F(x, y, z) = (x3 , y 3 , z) y la superficie S dada por x2 +y 2 = 1
∫∫
con 0 ≤ z ≤ x + 2, calcula S F
⃗ · d⃗S directamente y comprueba el resultado aplicando el teorema
de la divergencia.

⃗
Ejercicio 5. Sea F(x, y, z) = (1 − 2y, 2y 2 , 1 + x2 ) y sea S la superficie esférica de radio 2 en el
∫∫
semiespacio z ≥ 0. Calcula S rot(F)⃗ · d⃗S directamente, usando el teorema de Stokes y usando el
teorema de la divergencia.

Ejercicio 6. Sea S la superficie exterior de la pirámide formada por los planos coordenados y el
plano x + y + z = 1. Sea C la curva cerrada obtenida al cortar el plano x + y + z = 1 con los planos
⃗
coordenados. Sea F(x, y, z) = (xz, xy, yz).
∫∫
⃗ ⃗S, considerando
(1) Calcula, directamente y por el teorema de la divergencia, la integral S F·d
en S la orientación exterior. ∮
(2) Calcula, directamente y por el teorema de Stokes, C F ⃗ · d⃗r, estando C orientada posit-
ivamente si se observa desde el exterior de la pirámide.
 8. Los teoremas integrales 113

Ejercicio 7. Sea S el trozo de la superficie del paraboloide x2 + y 2 + z = 1 situado por encima

del plano XOY . Sea F ⃗ el campo vectorial F(x,
⃗ y, z) = (1 − y, 2y 2 , 1 + x2 ). Calcula la integral
∫∫
⃗ · d⃗S directamente, usando el teorema de Stokes y usando el teorema de la divergencia.
rot(F)
S
√
Ejercicio 8. Sea U el cuarto de cono definido por x2 + y 2 ≤ z ≤ 1 con x, y ≥ 0 y sea S la
superficie que lo envuelve. Sea G ⃗ el campo vectorial dado por G(x,⃗ y, z) = (x2 , y 2 , z 2 ). Calcula la
integral de superficie de G ⃗ en S en la dirección exterior a U directamente y aplicando el teorema
de la divergencia.
( )
Ejercicio 9. Sea S la superficie parametrizada por ⃗S(u, v) = u cos(v), (1 − u) cos(v), sen(v) , con
u ∈ [0, 1] y v ∈ [0, π/2].
(1) Calcula el área de S. √
(2) Determina el plano tangente a S en el punto P = (1/4, 1/4, 3/2).
( )
(3) Calcula el flujo del campo vectorial F(x,⃗ y, z) = x + y 2 , y + z 2 , z + x2 a través de la
superficie S (en la dirección de alejamiento del origen de coordenadas).
∫∫∫
(4) Sea V el sólido limitado por S y por los planos coordenados. Calcula div(F)⃗ dxdydz.
V

( )
Ejercicio 10. Sea F ⃗ (x, y, z) = x + z + y 3 − ayz, y + 3xy 2 + a2 xz + a3 , x − 2z + xy un campo
vectorial que depende de un parámetro a.
(1) Razona para qué valores de a el campo F ⃗ es conservativo en R3 . Para esos valores, calcula
∫
⃗ en R3 y úsalo para calcular la integral
un potencial de F ⃗ · dC donde C es un camino
F
C
cualquiera que comienza en el punto (1, 0, 1) y termina en el punto (3, 0, 0).
(2) Sea S la superficie que encierra el sólido V dado por
{ }
V = (x, y, z) ∈ R3 : x ≥ y, x2 − y 2 ≤ 1, x2 + y 2 ≥ 1, x2 + y 2 + z 2 ≤ 4, y, z ≥ 0

tomada con orientación exterior.∫∫Haciendo uso del teorema de la divergencia, calcula para
cualquier valor de a la integral S F⃗ · d⃗S.

Ejercicio 11. Para cada punto (x, y, z) ∈ √ R3 , sean ⃗r su vector de posición y r su distancia al
origen, o sea, ⃗r = x⃗i + y⃗j + z⃗k y r = ∥⃗r∥ = x2 + y 2 + z 2 . Calcula, según los valores del número
entero n, el flujo del campo vectorial rn ⃗r a través de la cara exterior de la superficie esférica
unidad.

Ejercicio 12. Sea V el sólido limitado por encima por el paraboloide z = 1 − 3(x2 + y 2 ) y por
debajo por el paraboloide z = x2 + y 2 .
(1) Calcula el volumen de V .
∫
(2) Calcula, directamente y usando el teorema de Stokes, C F·d⃗ ⃗ r donde F ⃗ es el campo vectorial
( )
⃗
F(x, y, z) = xy, xz, z y C es la curva intersección de los paraboloides que definen V
recorrida en el sentido contrario a las agujas de un reloj
( )cuando
( se la mira
) desde arriba.
⃗ ⃗ ⃗
(3) Sea G el campo vectorial definido por G(x, y, z) = rot F + x+1, y, 2z . Utiliza el teorema
∫∫
de la divergencia para calcular S G ⃗ · d⃗S, siendo S la superficie exterior de V .
√
Ejercicio 13. Sean V el tronco de cono sólido dado por z ≥ 2 x2 + y 2 con 2 ≤ z ≤ 4 y S
la superficie que lo envuelve. Sea G⃗ el campo vectorial dado por G(x,
⃗ y, z) = (x + y, y, z 2 + x).
∫∫
Calcula S G ⃗ · d⃗S directamente y usando el teorema de la divergencia, indicando la orientación
de S que tomes.
114 Matemáticas III (GIC y GITI, 2015–2016)

Algunas notas históricas. El teorema de Green se suele atribuir a George Green ya que puede deducirse de
otro resultado de su estudio de la teorı́a del potencial (1828), aunque, de hecho, habı́a aparecido ya en trabajos de
Carl F. Gauss y Joseph Louis Lagrange. La primera formulación tal y como se usa hoy en dı́a se debe a Augustin
L. Cauchy (1846) y la primera demostración rigurosa se debe a Bernhard Riemann (1851).
Uno de los ingrediente esenciales del teorema de Green es que toda curva de Jordan regular a trozos descompone el
plano en dos conjuntos conexos y disjuntos que tienen a la curva C como frontera común. Esto es intuitivamente
obvio para las curvas habituales, ası́ que no es extraño que nadie pusiera esto en duda hasta comienzos del siglo
xix, cuando se planteó a fondo el rigor de los resultados del cálculo infinitesimal. Fue Bernard Bolzano el primero
en conjeturar el resultado de manera precisa y en afirmar que no es evidente, sino que requiere una demostración.
La primera se debe a Camille Jordan en 1887, pero dicha demostración ha estado sujeta a controversias sobre su
completitud, aunque la idea central se considera correcta. Hoy en dı́a se acepta que la primera prueba completa fue
dada por Oswald Veblen en 1905.
La formulación del teorema de Stokes apareció por primera vez impresa como ejercicio de un examen para el Premio
Smith de Cambridge planteado por George G. Stokes en 1854, de ahı́ el nombre con el que se le conoce habitualmente;
sin embargo, el teorema se mencionaba ya en una carta de William Thompson (Lord Kelvin) a Stokes de 1851. La
primera demostración completa se debe a Hermann Hankel (1861).
Las primeras versiones del teorema de la divergencia, para casos especiales, se deben a Lagrange, en 1762, a Gauss,
en 1813, y a Green en 1825. Mijaı́l Ostrogradski dio la primera formulación del resultado en 1826, aunque no lo
publicó hasta 1831. James C. Maxwell hizo un uso extensivo de los teoremas de Stokes y de la divergencia en sus
estudios sobre el campo electromagnético. Finalmente, Vito Volterra generalizó el resultado a integrales de funciones
con un número arbitario de variables en 1889.

BIBLIOGRAFÍA

G.L. Bradley y K.J. Smith, Cálculo, vol. 2, Capı́tulo 14.

R.E. Larson, R.P. Hostetler y B.H. Edwards, Cálculo, vol. 2, Capı́tulo 14.
G.B. Thomas, Jr., Cálculo, varias variables, Secciones 16..4, 16.7 y 16.8.