1.

Teorema de Stoke

Hasta ahora, los únicos tipos de integrales de línea que hemos discutido son aquellos a lo
largo de las curvas en R2. Pero las definiciones y propiedades que se cubren en las secciones
4,1 y 4,2 se pueden ampliar fácilmente para incluir funciones de tres variables, por lo que
ahora podemos discutir las integrales de línea a lo largo de las curvas en R3 .

Definición 4.5 Para una función de valor real f (x, y, z) y una curva C en R3, parame-
trizada por x = x (t), y = y (t), z = z (t), a ≤ t ≤ b, la integral de línea de f (x,y,z) en
C con respecto a la longitud de arco s es

Z Z b q
f (x, y, z)ds = f (x(t), y(t), z(t)) x0 (t)2 + y 0 (t)2 + z 0 (t)2 dt (1)
C a

La integral de línea de f(x,y,z) a lo largo de C con respecto a x es

Z Z b
f (x, y, z)ds = f (x(t), y(t), z(t))x0 (t)dt (2)
C a

La integral de línea de f(x,y,z) a lo largo de C con respecto a y es

Z Z b
f (x, y, z)ds = f (x(t), y(t), z(t))y 0 (t)dt (3)
C a

La integral de línea de f(x,y,z) a lo largo de C con respecto a z es

Z Z b
f (x, y, z)ds = f (x(t), y(t), z(t))z 0 (t)dt (4)
C a

Similar al caso de dos variables, si f (x, y, z) ≥ 0 entonces la integral de línea C f (x, y, z)ds
R

se puede pensar como el área total de la "valla de piquete"de altura f (x, y, z) en cada punto
a lo largo de la curva C en R3 . Los campos vectoriales en R3 se definen de manera similar a
los de R2 , lo que nos permite definir la integral de línea de un campo vectorial a lo largo de
una curva en R3 .

Definición 4.6 Para un campo vectorial f (x, y, z) = P (x, y, z)i + Q (x, y, z)j + R (x,
y, z)k y una curva C en R3 con una parametrización suave x = x (t), y = y (t), z = z (t),
a ≤ t ≤ b, la integral de línea de f a lo largo de C is

Z Z Z Z
f · dr = P (x, y, z)dx + Q(x, y, z)dy + R(x, y, z)dz (5)
C C C C

1
 Z Z b
= f (x, y, z)ds = f (x(t), y(t), z(t))r0 (t)dt, (6)
C a

donde r(t) = x (t)i + y(t)j + z(t)k es el vector de posición para los puntos en C.

Similar al caso de dos variables, si f (x, y, z) Rrepresenta la fuerza aplicada a un objeto en

un punto (x, y, z) entonces la integral de línea C f · dr representa el trabajo realizado por
esa fuerza en mover el objeto a lo largo de la curva C en R3 .
Algunos de los resultados más importantes que necesitaremos para las integrales de línea en
R3 se indican a continuación sin prueba (las pruebas son similares a sus equivalentes de dos
variables).

Teorema 4.10. Para un campo vectorial f (x, y, z) = P (x, y, z)i + Q (x, y, z)j + R (x,
y, z)k y una curva C en R3 con una parametrización suave x = x (t), y = y (t), z = z (t),
a ≤ t ≤ b y vector posición r(t) = x (t)i + y(t)j + z(t)k
Z Z
f · dr = f · Tdr (7)
C C
r0 (t)
donde T(t) = ||r0 (t)||
es el vector tangente unitario de C para (x(t), y(t), z(t)).

Teorema 4.11. (Regla de cadena) Si w = f (x, y, z) es una función diferenciable continua

de x, y y z, y x = x (t), y = y (t) y z = z (t) son funciones diferenciables de t, entonces w
es una función diferenciable de t, y
! ! !
dw ∂w ∂x ∂w ∂y ∂w ∂z
= + + (8)
dt ∂x ∂t ∂y ∂t ∂z ∂t

También, sí x = x(t1 , t2 ), y = y(t1 , t2 ) y z = x(t1 , t2 ) son una función diferenciable

continua en (t1 , t2 ), entonces
! ! !
dw ∂w ∂x ∂w ∂y ∂w ∂z
= + + (9)
dt1 ∂x ∂t1 ∂y ∂t1 ∂z ∂t1
y ! ! !
dw ∂w ∂x ∂w ∂y ∂w ∂z
= + + (10)
dt2 ∂x ∂t2 ∂y ∂t2 ∂z ∂t2

Teorema 4.12. Si f (x, y, z) = P (x, y, z)i + Q (x, y, z)j + R (x, y, z)k es un campo
vectorial en algunos sólidos S, con P, Q y R funciones derivables continuas en S. Si C es una
curva suave en S parametrizada porx = x (t), y = y (t), z = z (t), a ≤ t ≤ b. Supongamos
que hay una función de valor real F (x, y, z) tal que 5F = f en S. Entonces
Z
f · dr = F (B) − F (A), (11)
C

donde A= (x(a), y(a), z(a)) y B = (x(b), y(b), z(b)) son los puntos finales de C.

2
Corolario 4.13. Si un campo vectorial f tiene un potencialH en un sólido S, entonces
C f · dr = 0 para cualquier curva de cerrada C en S(i.e C 5F · dr = 0 para cualquier
H

función de valor real F (x,y,z)).

Ejemplo 4.12. Para f (x,y,z) = z y con C siendo una curva en R3 parametrizado por:

x = tsent, y = tcost, z = t, 0 ≤ t ≤ 8π (12)

R
Evalua C f (x, y, z)ds. (Nota: C es una hélice cónica. Mira la figura 4.5.1). Solución: Tenemos
que x(t) = sent + tcost, y(t) = cost − tsent, yz(t) = 1, tenemos

x0 (t)2 +y 0 (t)2 +z 0 (t)2 = (sen2 t+2tsentcost+t2 cos2 t)+(cos2 t−2tsentcost+t2 sen2 t)+1 (13)

=t2 (sen2 t + cos2 t) + sen2 t + cos2 t + 1

= t2 + 2,

así tenemos f (x(t),y(t),z(t)) = z(t) = t a lo largo de la curva C,entonces

Z Z 8π q
= f (x, y, z)ds = f (x(t), y(t), z(t)) x0 (t)2 + y 0 (t)2 + z 0 (t)2 dt, (14)
C 0
Z 8π √
= t t2 + 2dt (15)
0

1 2 8π 1

√
= ( (t + 2) ) = ( (64π 2 + 2)3/2 − 2 2)
3/2 
(16)
3 0 3

conica.png conica.png

Figura 1: Figura 4.5.1 Hélice Cónica

3
Ejemplo 4.13. Tenemos f(x,y,z) = xi + yj + 2zk un campo vectorial en R3 . Usando la
misma curva C del ejemplo 4.12, evalua C f · dr
R

x2 y2
Solución : Es fácil de ver que F(x,y,z) = 2
+ 2
+ z 2 es un potencial para f (x,y,z)(i.e
5F = f )
Por el Teorema 4.12 sabemos que
Z
f · dr = F (B) − F (A), donde, A = (x(0), y(0), z(0))yB = (x(8π), y(8π), z(8π)), entonces
C
(17)
= F (8πsen8π, 8πcos8π, 8π) − F (0sen0, 0cos0, 0) (18)
= F (0, 8π, 8π) − F (0, 0, 0) (19)
(8π)2
=0+ + (8π)2 − (0 + 0 + 0) = 96π 2 (20)
2

Ahora discutiremos una generalización del teorema de Green en R2 para superficies orien-
tables en R3 , llamado Teorema de Stokes. Una superficie Σ en R3 es orientable si hay un cam-
po vectorial continuo N en R3 tal que N es distinto de cero y normal a Σ (es decir, perpendicu-
lar al plano tangente) en cada punto de Σ. Decimos que tal N es un campo vectorial normal.

Por ejemplo, la esfera unidad x2 + y 2 + z 2 = 1 es orientable,

ya que el campo vectorial continuo N(x,y,z) = xi + y j + z k
es distinto de cero y normal a la esfera en cada punto. De hecho,
−N (x, y, z) es otro campo vectorial normal (ver figura 4.5.2).
Vemos en este caso que N (x, y, z) es lo que hemos llamado un
vector normal exterior, y −N (x,y,z) es un vector normal hacia
dentro. Estos campos vectoriales normales .externos.einternos.en la
esfera corresponden a un lado .externo.einterno", respectivamente,
de la esfera. Es decir, decimos que la esfera es una superficie de
dos lados. Más o menos, .a dos caras"significa .orientable". Otros
ejemplos de superficies de dos lados, y por tanto orientables, son
cilindros, paraboloides, elipsoides y planos.

Es posible que se pregunten qué tipo de superficie no tendría dos lados. Un ejemplo es
la tira de Möbius, que se construye tomando un rectángulo delgado y conectando sus
extremos en las esquinas opuestas, resultando en una tira retorcida"(ver Figura 4.5.3).

Imagina que estas caminando a lo largo de una línea por el centro de la tira de Möbius,
como en la figura 4.5.3 (b), entonces llegas al mismo lugar desde el que empezaste, ¡ pero
boca abajo!. Es decir, su orientación cambió a pesar de que su movimiento fue continuo a lo
largo de esa línea central. Informalmente, pensando en su dirección vertical como un campo
vectorial normal a lo largo de la tira, hay una discontinuidad en su punto de partida (y, de

4
 Figura 2: Figura 4.5.3 Tira de Möbius

hecho, en cada punto) ya que su dirección vertical toma dos valores diferentes allí. La tira
de Möbius tiene un solo lado, y por lo tanto no es orientable.7

Para una superficie orientable Σ que tiene una curva de contorno C, escoja un vector
normal de unidad n tal que si camina a lo largo de C con la cabeza apuntando en la dirección
de n, entonces la superficie estaría a su izquierda. Decimos en esta situación que n es un
vector normal de unidad positiva y que C se atraviesa n-positivamente. Ahora podemos
afirmar el teorema de Stokes:

Teorema 4.14(Teorema de Stoke). Si Σ es una superficie orientable en R3 cuyo límite

es una curva cerrada simple C, y con f (x,y z) = P (x,y,z)i + Q (x,y,z)j + R (x,y,z)k siendo
un campo vectorial suave definido en algún subconjunto de R3 que contiene Σ. Entonces:

Z "
f · dr = (curlf ) · ndσ, (21)
C Σ

donde

∂R ∂Q ∂P ∂R ∂Q ∂P
curlf = ( − )i + ( − )j + ( − )k (22)
∂y ∂z ∂z ∂x ∂x ∂y

n es un vector normal de unidad positiva sobre Σ, y C se atraviesa n-positivamente.

Prueba: como el caso general está más allá del alcance de este texto, probaremos el
teorema sólo para el caso especial donde Σ es la gráfica de z = z(x,y) para alguna función
de valor real suave z(x,y), con (x,y) variando sobre una región D en R2 .

Proyectando Σ en el plano XY, vemos que la curva cerrada C (la curva límite de Σ) pro-
yecta una curva cerrada CD que es la curva de contorno de D (ver Figura 4.5.4). Suponiendo
que C tiene una parametrización suave, su CD de proyección en el plano XY también tiene
una parametrización suave, digamos

5
 CD = x = x(t), y = y(t), a ≤ t ≤ b, (23)

entonces C puede ser parametrizada (en R3 ) como

C : x = x(t), y = y(t), z = z(x(t), y(t)), a ≤ t ≤ b (24)

ya que la curva C es parte de la superficie z = z(x, y).

Ahora, por regla de la cadena (Teorema 4.4 en la sección 4.2),
para z = z(x(t), y(t)) como una función de t, sabemos que

∂z 0 ∂z 0
z 0 (t) = x (t) + y (t), (25)
∂x ∂y

Por lo tanto

Z Z
f · dr = P (x, y, z)dx + Q(x, y, z)dy + R(x, y, z)dz (26)
C C

Z b
∂z 0 ∂z 0
= (P x0 (t) + Qy 0 (t) + R( x (t) + y (t)))dt (27)
a ∂x ∂y
Z b
∂z 0 ∂z
= ((P + R )x (t) + (Q + R )y 0 (t))dt (28)
a ∂x ∂y
Z
= Pe (x, y)dx + Q(x,
e y)dy, (29)
CD

donde
∂z
Pe (x, y) = P (x, y, z(x, y)) + R(x, y, z(x, y)) (x, y), Y (30)
∂x
∂z
Q(x,
e y) = Q(x, y, z(x, y)) + R(x, y, z(x, y)) (x, y), Y (31)
∂y
Para (x,y) en D.Por lo tanto, por el teorema de Green aplicado a la región D, tenemos:
"
I
∂Q
e ∂ Pe
f · dr = ( − )dA. (32)
C D ∂x ∂y
Por lo tanto,

∂Q
e ∂ ∂z
= (Q(x, y, z(x, y)) + R(x, y, z(x, y)) (x, y)), (33)
∂x ∂x ∂y
entonces por Regla de la cadena tenemos que

6
 ∂ ∂ ∂z ∂ ∂z
= (Q(x, y, z(x, y)) + ( R(x, y, z(x, y))) (x, y) + R(x, y, z(x, y))) ( (x, y)) (34)
∂x ∂x ∂y ∂x ∂y

Ahora, por la formula (9) en el Teorema 4.11, obtenemos:

! ! !
∂ ∂Q ∂x ∂Q ∂y ∂Q ∂z
(Q(x, y, z(x, y))) = + + (35)
∂x ∂x ∂x ∂y ∂x ∂z ∂x
!
∂Q ∂Q ∂Q ∂z
= (1) + (0) + (36)
∂x ∂y ∂z ∂x
!
∂Q ∂Q ∂z
= + (37)
∂x ∂z ∂x
Similarmente:
!
∂ ∂R ∂R ∂z
(R(x, y, z(x, y))) = + (38)
∂x ∂x ∂z ∂x
Por lo tanto
! !!
∂Q
e ∂Q ∂Q ∂z ∂R ∂R ∂z ∂z ∂ 2z
= + + + + R(x, y, z(x, y)) (39)
∂x ∂x ∂z ∂x ∂x ∂z ∂x ∂y ∂x∂y
!
∂Q ∂Q ∂z ∂R ∂z ∂R ∂z ∂z ∂ 2z
= + + + +R (40)
∂x ∂z ∂x ∂x ∂y ∂z ∂x ∂y ∂x∂y
De manera similar, podemos calcular

∂ Pe ∂P ∂P ∂z ∂R ∂z ∂R ∂z ∂z ∂ 2z
= + + + +R (41)
∂y ∂y ∂z ∂y ∂y ∂x ∂z ∂y ∂x ∂y∂x
Por lo que restando da
! ! !
∂Q
e ∂ Pe ∂Q ∂R ∂z ∂R ∂P ∂z ∂Q ∂P
− = − + − + − (42)
∂x ∂y ∂z ∂y ∂x ∂x ∂z ∂y ∂x ∂y
∂2z ∂2z
ya que ∂x∂y
= ∂y∂x
por la homogeneidad de z = z (x, y). Por lo tanto, por la ecuación
(32),

" ! ! !!
I
∂R ∂Q ∂z ∂P ∂R ∂z ∂Q ∂P
f · dr = − − − − + − dA (43)
C D ∂y ∂z ∂x ∂z ∂x ∂y ∂x ∂y

después de factorizar un −1 fuera de los términos de los dos primeros productos en la

∂z ∂z
ecuación (42). Ahora, recuerde de la sección 2,3 (Página 76) que el vector N = − ∂x i− ∂y j+k
es normal a el plano tangente de la superficie z = z(x,y) en cada punto de Σ. Así

7
 ∂z ∂z
N − ∂x i− ∂y j + k
n= = s (44)
kNk 
∂z
2 
∂z
2
1+ ∂x + ∂y
es de hecho un vector normal de unidad positiva a Σ (ver figura 4.5.4). Por lo tanto,
usando la parametrización r(x,y)= xi + yj + z(x,y)k, para (x,ry) en D, de la superficie Σ,
 2  2
∂r ∂z ∂r ∂z ∂r ∂r ∂z ∂z
tenemos ∂x = i + ∂x k y ∂y = j + ∂y k, y también k ∂x × ∂y k = 1 + ∂x + ∂y
. Así que
vemos que el uso de la fórmula (22) para Curl f, tenemos
" "
∂r

∂r
(curlf ) · ndσ = (curlf ) · n

× dA (45)
Σ D
∂x ∂y
" ! ! ! ! !
∂R ∂Q ∂P ∂R ∂Q ∂P ∂z ∂z
− i+ − j+ − k · − i− j + k dA, (46)
D ∂y ∂z ∂z ∂x ∂x ∂y ∂x ∂y
" ! ! !!
∂R ∂Q ∂z ∂P ∂R ∂z ∂Q ∂P
− − − − + − dA, (47)
D ∂y ∂z ∂x ∂z ∂x ∂y ∂x ∂y
que, al compararse con la ecuación (43), demuestra el Teorema.
Nota: La condición en el teorema de Stoke que la superficie Σ tiene un vector normal de
unidad positiva (variando continuamente) n y una curva límite C atravesada n-positivamente
se puede expresar con más precisión de la siguiente manera: si r(t) es el vector de posición
para C y T(t) = r0 (t)/kr0 (t)k es la unidad de vector tangente en C, a continuación, los
vectores T, n, T x n forman un sistema de mano derecha. también, debe tenerse en cuenta
que el Teorema de Stoke se mantiene incluso cuando la curva de contorno C es de forma
gradual lisa.
Ejemplo 4.14. Verificar el teorema de Stokes para f(x,y,z) = zi + xj y k cuando Σ es el
paraboloide z = x2 + y 2 tal que z ≤ 1 (ver figura 4.5.5).
Solución: el vector normal unitario positivo a la superficie
z = z(x, y) = x2 + y 2 es

∂z ∂z
− ∂x i− ∂y j + k −2xi − 2yj + k
n= s = √ , (48)

∂z
2 
∂z
2
1 + 4x2 + 4y 2
1+ ∂x + ∂y

y curlf = (1 − 0)i + (1 − 0)j + (1 − 0)k = i + j + k ,

entonces
q
(curlf) · n = (−2x − 2y + 1)/ 1 + 4x2 + 4y 2 . (49)
Ya que Σ puede ser parametrizado como r(x, y) = xi +
yj + (x2 + y 2 )k para (x,y) en la región D = (x, y) : x2 + y 2 ≤ 1,
entonces

8
 " "
∂r

∂r
(curlf ) · ndσ = (curlf ) · n × dA (50)
Σ D
∂x ∂y
"
−2x − 2y + 1 q
= √ 1 + 4x2 + 4y 2 dA (51)
D 1 + 4x2 + 4y 2
"
= −2x − 2y + 1dA, (52)
D
así que cambiar a coordenadas polares da
Z 2π Z 1
= (−2rcosθ − 2rsenθ + 1)rdrdθ (53)
0 0
Z 2π Z 1
= (−2r2 cosθ − 2r2 senθ + r)drdθ (54)
0 0
 r=1 
Z 2π
−
2r3 2r3 r2 
= cosθ − senθ +   dθ (55)
0 3 3 2 r=0
Z 2π 
2 2 1

= − cosθ − senθ + dθ (56)
0 3 3 2
2 2 1 2π

= − senθ + cosθ + θ = π (57)
3 3 2 0
La curva de contorno C es el círculo unitario x2 + y 2 = 1 que se encuentra en el plano
z = 1 (véase figura 4.5.5), que se puede parametrizar como x = cost, y = sint, z = 1 para
0 ≤ t ≤ 2π. Así que
I Z 2π
f · dr = ((1)(−sent) + (cost)(cost) + (sent)(0))dt (58)
C 0
Z 2π 
1 + cos2t 1 + cos2t

= −sent + dt, aquí usamos cos2 t = (59)
0 2 2
t sen2t 2π

= cost + + =π (60)
2 4 0
!
Así que vemos que C f · dr = Σ (curlf ) · ndσ, según lo previsto por el teorema de Stokes.
H

La integral de línea en el ejemplo anterior era mucho más simple de calcular que la
integral de superficie, pero esto no siempre será el caso.

Ejemplo 4.15. Sí Σ es Hel paraboloide elíptico z = x2 + y 2 para z ≤ 1, y que C sea su

contorno límite. Calcule C f · dr para f (x, y, z) = (9xz + 2y)i + (2x + y 2 )j + (−2y 2 + 2z)k,
donde C es atravesada en sentido contrario al reloj.

9
 Solución: La superficie es similar a la del ejemplo 4,14, excepto que ahora la curva de
contorno C es la elipse x2 + y 2 = 1 que se encuentra en el plano z = 1. En este caso, el uso
del Teorema de Stokes es más fácil que calcular directamente la integral de línea. Como en
el ejemplo 4,14, en cada punto (x,y,z(x,y)) en la superficie z = z(x, y) = x2 + y 2 el vector
∂z ∂z 2y
− ∂x i− ∂y j + k − x2 i − 9j+k ,
n= s 2 = r  2  2 (61)
2 x 4y

1+ +

∂z ∂z
1+ ∂x + ∂y 4 9

es un vector normal unitario positivo a Σ. Y calculando el curl de f da

curlf = (−4y − 0)i + (9x − 0)j + (2 − 2)k = −4yi + 9xj + 0k, (62)
entonces

(−4y)(− x2 ) + (9x)(− 2y
9
) + (0)(1) 2xy − 2xy + 0
(curlf) · n = r     = r     = 0, (63)
2
x 4y 2 x2 4y 2
1+ 4
+ 9
1+ 4
+ 9

y así por el teorema de Stokes

I " "
f · dr = (curlf ) · ndσ = 0dσ = 0. (64)
C Σ Σ

En aplicaciones físicas, para una simple curva cerrada C la línea integral C f · dr se lla-
H

ma a menudo la circulación de f alrededor de C. Por ejemplo, si E representa el campo

electrostático debido a una carga puntual, entonces resulta que curlE = 0, lo que significa
que la circulación C E · dr = 0 por el teorema de Stokes. Los campos vectoriales que tienen
H

curvatura cero a menudo se denominan campos irrotacionales. De hecho, el término Curl fue
creado por el físico escocés del siglo 19th James Clerk Maxwell en su estudio del electromag-
netismo, donde se utiliza extensamente. En física, el curl se interpreta como una medida de
la densidad de circulación. Esto se ve mejor mediante el uso de otra definición de curlf que
es equivalente a la definición dada por la fórmula (43). A saber, para un punto (x,y,z) en R3 .
1I
n · (curlf)(x, y, z) = lı́m f · dr, (65)
S→0 S C

donde S es el área superficial de una superficie Σ que contiene el punto (x,y,z) y con una
curva de contorno cerrado simple C y un vector normal unitario positivo n en (x,y,z). En el
límite, piense en la curva C que se encoge hasta el punto (x,y,z), lo que provoca que Σ, la
superficie que limita, tenga una superficie más pequeña y más pequeña. Esa proporción de
circulación a la superficie en el límite es lo que hace que el curl una medida aproximada de
la densidad de circulación (es decir, la circulación por unidad de área).

10
 Una idea de cómo el Curl de un campo vectorial está rela-
cionado con la rotación se muestra en la Figura 4.5.6. Supon-
gamos que tenemos un campo vectorial f (x, y, z) que siempre
es paralelo al plano XY en cada punto (x,y,z) y que los vecto-
res crecen más cuanto más lejos esté el punto (x,y,z) del eje y.
Por ejemplo, f (x, y, z) = (1 + x2 )j. piense del campo vectorial
como que representa el flujo de agua, e imagine dejar caer dos
ruedas con paletas en ese flujo de agua, como en la figura 4.5.6.
Dado que el flujo es más fuerte (es decir, la magnitud de f es
mayor) a medida que se aleja del eje y, entonces dicha rueda
giraría en sentido contrario a las agujas del reloj si se dejaba
caer a la derecha del eje y, y giraría en el sentido de las agujas del reloj si se dejaba caer a
la izquierda del eje y. En ambos casos el curl sería distinto de cero(Curl f(x,y,z)= 2x k en
nuestro ejemplo) y obedecería la regla de la mano derecha, es decir, Curl f (x, y, z) apunta
en la dirección de su pulgar mientras que la Copa de su mano derecha en la dirección de la
rotación de la rueda. Así que los puntos de curvatura hacia afuera (en la dirección z positiva)
si x >0 y apunta hacia adentro (en la dirección z negativa) si x <0.En ambos casos el curl
sería distinto de cero (Curlf(x, y, z) = 2xk en nuestro ejemplo) y obedecería la regla de la
mano derecha, es decir, Curlf(x, y, z) apunta en la dirección de su pulgar mientras que la
copa de su mano derecha en la dirección de la rotación de la rueda. Así que los puntos de
curvatura hacia afuera (en la dirección z-positiva) si x >0 y apunta hacia adentro (en la
dirección z negativa) si x <0. Tenga en cuenta que si todos los vectores tenían la misma
dirección y la misma magnitud, entonces las ruedas no girarían y por lo tanto no habría
ningún curl(es por eso que estos campos se denominan irrotacionales, lo que significa que no
hay rotación).

Finalmente, por el teorema de Stokes, sabemos que si C es una curva cerrada simple en
alguna región sólida S en R3 y si f(x,y,z) es un campo vectorial liso tal que curl f = 0 en S,
entonces
I " " "
f · dr = (curlf ) · ndσ = 0 · ndσ = 0dσ = 0, (66)
C Σ Σ Σ

donde Σ es cualquier superficie orientable dentro de S cuyo límite es C (tal superficie

es algunas veces llamada una superficie de taponado para C). Tan similar al caso de dos
variables, tenemos una versión tridimensional de un resultado de la sección 4,3, para las
regiones sólidas en el R3 que están simplemente conectadas (es decir, las regiones que no
tienen agujeros):

Los siguientes enunciados son equivalentes para una región sólida simplemente conectada
S en R3 :

(a) f(x, y, z) = P (x, y, z)i + Q(x, y, z)j + R(x, y, z)k tiene un potencial suave F(x,y,z) en S.

f · dr es independiente de la ruta para cualquier curva C en S.

H
(b) C

11
 f · dr = 0 para cada curva simple cerrada C en S.
H
(c) C

∂R ∂Q ∂P ∂R ∂Q ∂P
(d) ∂y
= ,
∂z ∂z
= ∂x
y ∂x
= ∂y
en S (i.e curlf = 0 en S)

La parte (d) también es una forma de decir que la forma diferencial P dx + Qdy + Rdz
es exacta.

Ejemplo 4.16. Determine si el campo vectorial f (x, y, z) = xyzi + xzj + xyk tiene un
potencial en R3 .
Solución: desde R3 está simplemente conectado, sólo tenemos que comprobar si curlf = 0
en todo el R3, es decir,
∂R ∂Q ∂P ∂R ∂Q ∂P
= , = y = (67)
∂y ∂z ∂z ∂x ∂x ∂y
por todo R3 , donde P (x, y, z) = xyz, Q(x, y, z) = xz, y R(x, y, z) = xy. Pero vemos que
∂P ∂R ∂P ∂R
= xy, =y⇒ , para algunos (x,y,z) enR3 . (68)
∂z ∂x ∂z ∂x

Por lo tanto, f (x,y,z) no tiene un potencial en R3 .

12