Notas Curso 2014

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 80

Notas de Calculo 3

2014

Ana Gonzalez
2
Indice general

1. Curvas parametricas 5
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1. Velocidad y aceleracion . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Longitud de arco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1. Teora local de curvas . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Triedro de Frenet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2. Integrales de lnea 13
2.1. Integrales de lnea de campos escalares . . . . . . . . . . . . . . . . . . . . . 13
2.2. Integrales de lnea de campos vectoriales . . . . . . . . . . . . . . . . . . . . 14
2.2.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

3. Campos de gradientes 19
3.1. Integral de lnea de un gradiente . . . . . . . . . . . . . . . . . . . . . . . . 19

4. Teorema de Green 23

5. Rotor y divergencia 31
5.1. Rotor y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.2. Divergencia y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

6. Superficies 37
6.1. Superficies parametrizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
6.2. Superficies regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.3. Plano tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
6.3.1. Calculo del plano tangente y de la recta normal . . . . . . . . . . . . 43
6.3.2. Primera forma fundamental . . . . . . . . . . . . . . . . . . . . . . . 45

3
4 INDICE GENERAL

7. Integrales de superficies 49

8. Teorema de Stokes y de Gauss 57


8.1. Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
8.1.1. Extensiones del teorema de Stokes . . . . . . . . . . . . . . . . . . . 62
8.2. Reconstruccion de un campo vectorial a partir de su rotor . . . . . . . . . . 65
8.3. Teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.3.1. Interpretacion intrnseca de la divergencia . . . . . . . . . . . . . . . 71
8.3.2. Ley de Gauss del electromagnetismo . . . . . . . . . . . . . . . . . . 72

9. Formas diferenciales 75
9.1. Derivada exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Captulo 1

Curvas parametricas

1.1. Introduccion

Definicion 1.1.1. Una curva parametrica es la imagen de una funcion : I R3


continua. La funcion se llama parametrizacion de la curva.

Ejemplo 1.1.1. 1. Sea (t) = (a cos t, a sin t), t R. La curva es la circunferen-


cia de radio a ycentro (0, 0). Otra parametrizacion de la misma curva es (t) =
a cos 2t, a sin 2t , t R. La diferencias entre estas dos parametrizaciones es la ve-
locidad con la cual la recorren.

2. Helice: (t) = a cos t, a sin t, bt , t R.

1.1.1. Velocidad y aceleracion



Sea una curva diferenciable dada por (t) = x(t), y(t), z(t) . La velocidad de la
curva en un punto t es

(t) = x(t), y(t), z(t)

Observacion 1.1.2. Si existe el vector velocidad y es no nulo entonces es tangente a la


curva con sentido que indica la orientacion para t creciente.
 
Ejemplo 1.1.2. (t) = r cos t, r sin t 0 t 2. Entonces (t) = r sin t, r cos t
en t = 0 tenemos (0) = (r, 0) y (0) = (0, r).

(0)

(0)

5
6 1.2. Longitud de arco



Definicion 1.1.3. El versor tangente t es el versor tangente a la curva (si existe) con
sentido que indica la orientacion de la curva. Si existe (t) y es 6= 0, entonces


(t)
t =
(t) .

La aceleracion de la curva en un punto t es



(t) = x(t), y(t), z(t)

Ejemplo 1.1.3. Para el crculo tenemos que

a(t) = (t) = r2 cos t, sin t = 2 (t).




1.2. Longitud de arco


Considerar una trayectoria dada
(t). Podemos pensar (t) como la trayectoria de
una partcula con rapidez s(t) = 0 (t) , esta trayectoria traza una curva en el espacio.
Cual es la longitud de esta curva conforme t vara de, digamos, a a b? Intuitivamente,
Zb
esto debiera ser precisamente el total de la distancia recorrida, esto es S(t)dt. Esto nos
a
conduce a lo siguiente.

Definicion 1.2.1. Sea : [a, b] Rn una trayectoria de clase C1 . La longitud de


esta definida como Zb

l() = (t) dt.
a

Para curvas en R3 Si notamos a la curva (t) = x(t), y(t), z(t) , la formula es




Zb q
 2  2  2
l() = x 0 (t) + y 0 (t) + z 0 (t) dt,
a

y para curvas en R2 , (t) = x(t), y(t) , la formula es




Zb q
 2  2
l() = x 0 (t) + y 0 (t) dt.
a

Ejemplo 1.2.1. La longitud de arco de la curva (t) = r cos t, r sin t , para O t 2,
es Z 2 q
2 2
l= r sin t + r cos t dt = 2r,
0

lo cual no es mas que la circunferencia de un crculo de radio r. Si permitimos que O t


4, hubieramos obtenido 4r, pues la trayectoria recorrera dos veces el mismo crculo.
1. Curvas parametricas 7

 la longitud de arco de la helice definida por : [0, 4] R ,


Ejemplo 1.2.2. Hallar 3

t 7 cos 2t, sin 2t, 5t .



El vector velocidad es (t) = 2 sin 2t, 2 cos 2t, 5 que tiene modulo
q
(t) = 4(sin 2t)2 + 4(cos 2t)2 + 5 = 9 = 3.

Entonces la longitud de arco de es


Z 4 Z 4


l() = (t) dt =
3dt = 12.
0 0

Definicion 1.2.2. Sea (t) una curva regular. Definimos la funcion de longitud de
arco s(t) como
Zt

s(t) = () d.
a

La funcion s(t) nos da la longitud del arco recorrido entre los tiempos a y t. Observar
que s es una funcion continua, con derivada

s(t) = (t)

continua y positiva. Entonces, por el teorema de la funcion inversa, existe una funcion t(s)
diferenciable con derivada
dt 1 1
t(s) = = = .
ds s

Consideremos la reparametrizacion de la curva por (s) = t(s) , donde el nuevo
parametro es la longitud de arco. Aplicando la regla de la cadena tenemos que
d
0 (s) = 0 (s) = 1, s.

= (t)t(s) =
ds

Parametrizar una curva por longitud de arco equivale a recorrer la curva con velocidad
de modulo constante igual a 1.

Ejemplo 1.2.3. Consideremos la helice (t) = a cos t, a sin t, bt . Hallar la parametri-
zacion por longitud de arco de esta curva.
p
(t) = a sin t, a cos t, b (t) = a2 + b2 .


Entonces Zt p p s
s(t) = a2 + b2 d = a2 + b2 t t(s) = .
0 a + b2
2

La parametrizacion de la helice por longitud de arco es


 s s s
(0) = a cos , a sin ,b ,
c c c

donde c = a2 + b2 .
8 1.2. Longitud de arco

1.2.1. Teora local de curvas


Estudio desde el punto de vista geometrico. Queremos definir parametros locales que
describan propiedades geometricas de las curvas.
Vamos a considerar curvas parametrizadas por longitud de arco.

Lema 1.2.3. Sea : I R3 diferenciable tal que (s) = c para todo s I. Entonces

0 (s) (s) para todo s I.

Definicion 1.2.4. (s) = c (s) (s) = c2 . Derivando obtenemos que


0 (s) (s) + (s) 0 (s) = 0 0 (s) (s) = 0 0 (s) (s) s I.




Definicion 1.2.5. Sea parametrizada por longitud de
arco. El versor t (s) = 0 (s) se
llama versor tangente a la curva. El numero k(s) = 00 (s) se llama curvatura de

en s.

Observacion 1.2.6. Veamos que k(s) nos da una idea de la rapidez con que la curva
cambia su direccion. Sean s0 , s I y (s) el angulo que  forman t(s) y t(s0 ). Como
t(s) = t(s0 ) = 1 tenemos que t(s) t(s0 ) = 2 sin (s) .

2
Si tomamos el lmite cuando s s0 tenemos que (s) 0 y t(s) t(s0 ) (s) =

(s) (s0 ). Entonces



(s0 ) = lm t(s) t(s0 ) = lm (s) (s0 ) = 0 (s0 ).
00
ss0 s s0 ss0 s s0

Entonces k(s0 ) = 0 (s0 ) mide la rapidez con que cambia el angulo de la tangente en el
punto s0 .

Teorema 1.2.7. Sea : I R3 diferenciable tal que 0 (s) = 1 para todo s I.


Entonces
k(s) = 0 en I (I) esta contenida en una recta.

Demostracion. () 00 (s) = 0 en I entonces integrando 0 (s) = cte = v en I (s) =


vs + u, con u, v constantes. Las ecuaciones (s) = vs + u, s R definen una recta en el
espacio.
() (I) contenido en una recta, puedo escoger dos versores u, v perpendiculares a la
recta y entre s. Se cumple

(s) (s0 ) u = 0

(s) (s0 ) v = 0
Derivando, obtenemos que 0 (s) u = 0, 0 (s) v = 0. Entonces 0 (s) u, 0 (s) v
0 (s) es colineal con u v

0 (s) = (s) u v , R.

1. Curvas parametricas 9

Como 0 (s) = (s) = 1 entonces (s) = 1 para todo s I. Como (s) es continua solo

se puede tomar uno de los dos valores, entonces (s) es constante. Por lo tanto 0 (s) = 0
para todo s I. Entonces
00 (s) = 0 (s) u v = 0 k(s) = 0.



Ejemplo 1.2.4. Sea (t) = R cos t, R sin t la circunferencia de centro (0, 0) y radio R.
La parametrizacion por longitud de arco es
 s  s 
(s) = R cos , R sin
R R
Entonces
1 s  s  1
00 (s) = cos , sin k(s) = .
R R R R
Cuanto mayor es el radio de la circunferencia mas lentamente se curva y menor es la
curvatura.
Definicion 1.2.8. Sea parametrizada por longitud de arco, k(s) 6= 0. El numero
1
(s) = se llama radio de curvatura.
k(s)
00 (s)
Definicion 1.2.9. Sea parametrizada por longitud de arco, k(s) 6= 0. El versor
n (s) =
k(s)
se llama versor normal a la curva.


Observacion 1.2.10. Como t (s) = 0 (s) tiene modulo constante deducimos que 0


00 . Entonces t (s)
n (s). El vector tangente a la curva y el normal son ortogonales.
Ejemplo 1.2.5. Consideremos la curva (s) = R cos Rs , R sin Rs . Entonces
 

1 s  s 
00 (s) = cos , sin ,
R R R
entonces k(s) = R1 y
n (s) = cos Rs , sin Rs .
 



Definicion 1.2.11. El plano que pasa por (s) determinado por los vectores t y n se


llama plano osculador. Al punto Q = (s) + (s) n (s) se llama centro de curvatura.
La circunferencia en plano osculador de centro Q y radio (s) se llama circunferencia
osculatriz.

1.3. Triedro de Frenet





Definicion 1.3.1. Dada una curva tal que k(s) 6= 0 definimos b (s) = t (s)
n (s)
que completa una terna ortonormal. A este vector se lo llama binormal y al conjunto



t ,
n , b se lo llama triedro de Frenet de la curva en s.


El plano por (s) con vectores b y
n se llama plano normal a la curva y el plano por



(s) con vectores t y b se llama plano rectificante.
10 1.3. Triedro de Frenet

Proposicion 1.3.2. Sea tal que 0 (s) = 1 y k(s) 6= 0 para todo s. Entonces el vector

b 0 (s) es colineal con n(s).

Demostracion. Como b(s) = 1 tenemos que b 0 b. Ademas b = t n, entonces


b 0 = t 0 n + t n 0 = kn n + t n 0 = t n 0 por lo tanto b 0 t. de estas dos propiedades


concluimos que b 0 es colineal con n.

Definicion 1.3.3. Como b 0 (s) es colineal con n(s) existe (s) escalar tal que
b 0 (s) = (s)n(s),
(s) se llama torsion de en s.

Observar que la variacion de b con s corresponde a la variacion del plano osculador


(perpendicular a b). Por lo tanto (s) mide la rapidez con la cual la curva (s) se sale
de un plano.
Teorema 1.3.4. Sea : I R3 tal que 0 (s) = 1, k(s) 6= 0 para todo s. Entonces

(s) = 0 en I (I) esta contenida en un plano.

Demostracion. () = 0 entonces b 0 (s) = 0 entonces b(s) = b0 constante. Consideremos


0
(s) b0 = 0 (s) b0 + (s) b00 = 0 (s) b0 = t b0 = 0.
Entonces (s) b0 = d (constante), de lo cual deducimos que (s) b0 (s0 ) b0 = 0
(s) (s0 ) b0 = 0 para todo s I. Entonces (s) esta en el plano ortogonal a b0
pasando por (s0 ).
() Supongamos (s) pertenece a un plano para todo s I. Sea u un versor normal
al plano . Entonces (s) (s0 ) u para todo s I. Por lo tanto (s) (s0 ) u = 0,
para todo s I.
Derivando esta igualdad obtenemos que 0 (s) u = 0 t(s) u = 0 (t u). Derivando
nuevamente obtenemos que nu = 0 por lo cual n u. De estas dos condiciones deducimos
que u es colineal con b(s) para todo s I. Entonces b(s) = u para todo s I. Como b(s)
es continua tenemos que b(s) es constante y por lo tanto b 0 (s) = 0, de lo cual deducimos
que (s) = 0 para todo s I.

Formulas de Frenet: Las siguientes formulas nos dan las derivadas de los versores del
triedro de Frenet
0 0
t = kn

t 0 k 0 t
n 0 = kt + b o tambien n 0 = k 0 n .
0
b = n b0 0 0 b
La primera formula es la definicion de n (t 0 = 00 ) la ultima es la definicion de . Veamos
como deducir la segunda formula.
Recordemos que n = b t, si derivamos esta ecuacion obtenemos que
n 0 = b 0 t + b t 0 = n t + b kn = t n k n b = b kt.
   
1. Curvas parametricas 11

Calculo explcito de la torsion:

0 (s), 00 (s), 000 (s)



(s) = .
k(s)2

Recordar que (u, v, w) = (u v) w.


Para probar esto usaremos la segunda formula de Frenet:

b n 0 = b (kt + b) = kb t + b b = .

00
   000  0

  00  0 0 00 k
(s) = b n0 = tn k = +
k  k   k2
00 000 00 k0
  
= 0 0 00
k  k k k2
00 000
0 00 000


= 0 =
k  k k2
0 00
, , 000
= .
k2
Ejemplo 1.3.1. Consideremos la helice parametrizada por longitud de arco
 s s s
(s) = a cos , a sin ,b ,
c c c

donde c = a2 + b2 .
 
0 a s a s b
t(s) = (s) = sin , cos , ,
c c c c c

a  s s  a a
00 (s) =
2
cos , sin , 0 k(s) = 2 = 2 .
c c c c a + b2
 s s 
n(s) = cos , sin ,0 paralelo al plano xy,
c c

a i s  a j s  kb
 s a
b s b
b(s) = t(s) n(s) = c sin c c cos c  c = sin
, cos , ,
cos s s c c c c c
c sin c 0

b  s s  b
b 0 (s) = 2
cos , sin , 0 = 2 n(s),
c c c c
Entonces
b b
(s) = 2
= 2 .
c a + b2
En este ejemplo tanto la torsion como la curvatura son constantes.
12 1.3. Triedro de Frenet

Caso en que el parametro no es la longitud de arco Sea (t) una curva cualquiera,
el camino para hallar t, n, b, k, sera reparametrizar la curva por longitud de arco y luego
aplicar las formulas anteriores. Es mas comodo, sin embargo, tener formulas explcitas.






t = , b = , n = b t = ,



...
, ,
k = 3 , = .
2

Veamos
como deducir estas formulas: (t) = (s(t)) donde s es la longitud de arco
(s(t) = (t) ). Derivando, usando la regla de la cadena, tenemos que




= 0 s = t t =
.

Derivando nuevamente tenemos que


2
= 00 s2 + 0 s = k
n + t s

2 
= t k
3 3
n + t s = k t n = k b



= k 3
b =


y

Entonces


k = 3 ,

3 4 4
= k b t = k b t = k n






n = = k 4 .

y


...
Para deducir la formula de hay que calcular , , en funcion de 0 , 00 , 000 .

Captulo 2

Integrales de lnea

2.1. Integrales de lnea de campos escalares

Definicion 2.1.1. Sea f : U R3 R un campo escalar continuo, : [a, b] U un


camino regular a trozos y sea C = Im() la curva descrita por . La integral de lnea
de f a lo largo de C se representa Z
fds
C
y se define por
Z Zb
f (t) 0 (t) dt.

fds =
C a

Si el Hcamino a esRcerrado se suele indicar esta circunstancia con la utilizacion del


smbolo C en vez de C .

Interpretacion geometrica: Si f(x, y) 0 sobre los puntos de C, entonces la integral


se puede interpretar como el area lateral de la porcion de superficie que tiene como base
en z = 0 la curva C y como altura z = f(x, y) para los (x, y) C, como se muestra en la
figura
z

z=f(x,y)

A C
x B

13
14 2.2. Integrales de lnea de campos vectoriales

Propiedades

1. Linealidad: Para cualesquiera escalares , ,


Z Z Z

f + g ds = fds + gds.
C C C

2. Aditividad: Si C1 , C2 son tales que C = C1 C2 , entonces


Z Z Z
fds = fds + fds
C C1 C2
 
3. Independencia de la parametrizacion: Sean , [a, b] y , [c, d] dos parame-
trizaciones equivalentes de la misma curva C y f : U R campo escalar continuo,
entonces Zb Zd
f (t) (t) dt = f (t) 0 (t) dt.
 0 

a c

= x2 + y2 + z2 definido

Ejemplo 2.1.1. Consideremos el campo escalar f x, y, z R en todo
3

R y la curva helicoidal dada por (t) = cos t, sin t, t con 0 t 4. Hallar C fds.

f (t) = cos2 t + sin2 t + t2 = 1 + t2




y
p
0 (t) = sin t, cos t, 1 0 (t) = sin2 t + cos2 t + 1 = 2.


Por lo tanto
Z Z 4 Z 4
t3 4
   
2
 2 16 2
fds = 2 1 + t dt = 2 1 + t dt = 2 t + = 4 2 1 + .
C 0 0 3 0 3

2.2. Integrales de lnea de campos vectoriales




Definicion 2.2.1. Sea X : U R3 un campo vectorial continuo en un conjunto U R3
y C una curva regular a trozos contenida en U (con parametrizacion : [a, b] U).


Definimos la integral de lnea de X a lo largo de C como
Z Zb



X (t) 0 (t)dt.

X ds =
C a

Ejemplo 2.2.1. Consideremos el campo vectorial en R3 definido por X(x, y, z) = (x, y, z)


y el camino helicoidal
x = cos t, y = sin t, z = t (0 t 4).


Tenemos entonces que X (t) 0 (t) = cos t, sin t, t sin t, cos t, 1 = t. Por lo cual
  

Z Z 4

1 4
X ds = tdt = t2 = 82 .
C 0 2 0
2. Integrales de lnea 15



Notacion clasica: Sea X = (P, Q, R) un campo vectorial en el espacio  continuo sobre
una curva regular a trozos C, parametrizada por (t) = x(t), y(t), z(t) con a t b.
Se tiene por definicion:
Z Zb


P x(t), y(t), z(t) x 0 (t) + Q x(t), y(t), z(t) y 0 (t) + R x(t), y(t), z(t) z 0 (t) dt.
    
X ds =
C a

lo que explica que frecuentemente se use la notacion:


Z Z Z


X ds = P(x, y, z)dx + Q(x, y, z)dy + R(x, y, z)dz = Pdx + Qdy + Rdz.
C C C

Las expresiones = Pdx + QdyRdz se denominan 1-formas diferenciales o formas


diferenciales de grado 1.
Z
Ejemplo 2.2.2. Consideremos la integral de lnea x2 dx + xydy + dz donde C tiene por
C
ecuaciones x = t, y = t2 , z = 1, 0 t 1. Entonces X(x, y, z) = x2 , xy, 1 y


Z Z1
1 1 1 1 2 11
x2 dx + xydy + dz = t2 + 2t4 dt = t3 + 2t5 = + = .
C 0 3 5 0 3 5 15

Independencia de la parametrizacion:
 
Definicion 2.2.2. Dos parametrizaciones , [a, b] y , [c, d] de la misma curva C
son equivalentes si : [a, b] [c, d] de clase C1 sobreyectiva con 0 (t) > 0 para todo
t [a, b] y tal que (t) = (t) para todo t [a, b].

C s
d

(t)=((t)) (t)
c

a t b t

 
Proposicion 2.2.3. Sean , [a, b] y , [c, d] dos parametrizaciones equivalentes de la


misma curva C y X : U R3 campo vectorial continuo, entonces
Zb Zd

 0

X (t) 0 (t)dt.

X (t) (t)dt =
a c

Demostracion. Como y son


1
 equivalentes : [a, b] [c, d] biyectiva creciente de
clase C tal que (t) = (t) , entonces


 0
X (t) 0 (t) = X (t) (t) = X (t) 0 (t) 0 (t).
   
16 2.2. Integrales de lnea de campos vectoriales

Entonces Zb Zb



X (t) 0 (t)dt = X (t) 0 (t) 0 (t)dt
  
a a
Haciendo el cambio de variable u = (t) (du = 0 (t)dt) tenemos que
Zb Zd

 0

X (u) 0 (u)du.

X (t) (t)dt =
a c

2.2.1. Propiedades

Sea C la curva en R3 descrita por un camino regular a trozos definido sobre [a, b], y


sean X , Y campos vectoriales definidos y acotados sobre C. Se verifica:

(i) (Linealidad respecto del integrando) Para cualesquiera escalares , ,


Z Z Z





X + Y ds = X ds + X ds.
C C C

(ii) (Aditividad respecto al camino de integracion) Si C1 , C2 son tales que C =


C1 C2 (si (t) parametrizacion de C entonces al variar t en [a, c] tenemos una
parametrizacion de C1 y al variar t en [c, b] tenemos una parametrizacion de C2 , con
a < c < b), entonces
Z Z Z




X ds = X ds + X ds
C C1 C2
Z



(iii) (Continuidad) X ds Ml(C). Donde M = max |X(p)| : p C y l(C) es la


C
longitud de arco de la curva C.
Z Z b Zb


= X((t)) 0 (t)dt X((t)) 0 (t) dt

X ds
C a a
Zb Zb
X((t)) 0 (t) dt M 0 (t) dt = Ml(C).


a a
Z Z



(iv) (Cambio de orientacion) X ds = X ds, donde C es la misma curva
C C
pero recorrida en sentido contrario.
Sea : [a, b] R3 parametrizacion de C, entonces consideremos : [b, a] R3
dada por (t) = (t) esta es una parametrizacion de C. Entonces
Z Z a Z a

 0
X (t) 0 (t)dt

X ds = X (t) (t)dt =
C b b
Za Zb Z
 0
 0

= X (u) (u)du = X (u) (u)du = X ds.
b a C
2. Integrales de lnea 17


y, x3 + y , (x, y) R2 ,

Ejemplo 2.2.3. Consideremos el campo vectorial X(x, y) =
y 0. calcular la integral de lnea de X desde (0, 0) hasta (1, 1) a lo largo de las siguientes
curvas:

(a) La recta x(t) = t, y(t) = t con 0 t 1. 3 


Parametrizacion (t) = (t, t) 0 (t) = (1, 1) y X (t) 0 (t) =

t, t +t (1, 1) =

t + t3 + t. Entonces
Z Z1

2 1 1 1 17
X ds = t + t3 + tdt = t3/2 + t4 + t2 = .
C 0 3 4 2 0 12

1. El camino x(t) = t2 , y(t) = t3 ,0 t 1.


Parametrizacion (t) = t2 , t3 0 (t) = 2t, 3t2 y X (t) 0 (t) = t3/2 , t6 +
 

t3 (2t, 3t2 ) = 2t5/2 + 3t8 + 3t5 . Entonces




Z Z1

59
X ds = 2t5/2 + 3t8 + 3t5 dt = .
C 0 42
18 2.2. Integrales de lnea de campos vectoriales
Captulo 3

Campos de gradientes

3.1. Integral de lnea de un gradiente


El siguiente resultado puede entenderse como una version de la Regla de Barrow para
integrales de lnea, o como una version vectorial de dicha regla.
Definicion 3.1.1. Sea f : R3 R un campo escalar de clase C1 en un abierto
R3 . Elgradiente de f en p es el vector
 
f f f
p f = (p), (p), (p) .
x y z
f : R3 definido por (f)(p) = p f es un campo vectorial.


Definicion 3.1.2. Un X : R3 R3 campo vectorial continuo es un campo de


gradientes si existe f : R de clase C1 tal que X = f en . Se dice que f es el


potencial escalar de X .
Observacion 3.1.3. Si es conexo entonces dos potenciales de un campo de gradientes
difieren en una constante:



X = f y X = g en entonces f g = 0 en , entonces f g = cte y por lo tanto
f = g + cte.
Ejemplo 3.1.1 (Campo electrico de una carga puntual). El campo electrico generado por
una carga puntual en el origen esta dado por
q
E(x, y, z) = k 3/2 (x, y, z).
x 2 + y2 + z2
De forma sencilla se deduce que la funcion
q
f(x, y, z) = k 1/2
x 2 + y2 + z2
verifica que f = E de donde resulta que E es de gradientes.
El potencial electrico es la funcion V que verifica E = V y V() = 0, con lo cual
q
V(x, y, z) = k 1/2 .
x2 + y2 + z2

19
20 3.1. Integral de lnea de un gradiente

Teorema 3.1.4 (Regla de Barrow para integrales de lneas). Sea f : R3 R un




potencial escalar de un campo X clase C1 en un abierto R3 y C una curva contenida
en de origen A y extremo B. Entonces:
Z


X ds = f(B) f(A).
C

En particular, si el camino C es cerrado, se tendra:


I


X ds = 0.
C

Demostracion. Sea (t) = x(t), y(t), z(t) , a t b una parametrizacion de C. La


integral de lnea de X entre a y b a lo largo de viene dada por
Z Z Zb Zb

 0  0
X ds = f ds = f (t) (t)dt = f (t) dt
C C a a

 b  
= f (t) = f (b) f (a) = f(B) f(A).
a
En particular, si C es cerrada concluimos que
I


X ds = f(B) f(A) = 0.
C



Teorema 3.1.5. Sea X : R3 R3 continuo en . Son equivalentes


1. Existe f : R de clase C1 tal que f = X . ( X es de gradientes).
I


2. X ds = 0 para toda curva cerrada simple regular a trozos en .
C
Z Z



3. X ds =
X ds para todo par de curvas C1 y C2 con el mismo origen y el
C1 C2


mismo extremo. ( X es conservativo).

Demostracion. (1) (2) Sea C curva cerrada simple regular a trozos y : [a, b]


parametrizacion. Como X es de gradientes tenemos que
I

 
X ds = f (b) f (a) = 0.
C

(2) (3) Sean C1 y C2 dos curvas con el mismo origen y el mismo extremo. Entonces
consideremos la curva cerrada C = C1 C2 , y por la afirmacion (2) tenemos que
I Z Z Z Z






0= X ds = X ds X ds X ds = X ds.
C C1 C2 C1 C2
3. Campos de gradientes 21

(3) (1) Sea p0 fijo. definimos le campo escalar f : R por


Z


f(x, y, z) = X ds,
C

donde C es una curva cualquiera simple con origen p0 y extremo p = (x, y, z) contenida
en . (Dicha curva existe porque es abierto y conexo).


Tenemos que probar que f = X de lo cual deducimos en particular que f es C1 en .
Sea q = (x + h, y, z), con h suficientemente pequeno para garantizar que el segmento
pq .

C
C p q

p0


Tomemos la curva C 0 con parametrizacion (t) = (x + th, y, z), si X = (P, Q, R) se tiene
que
Z Z Z Z1





X (t) 0 (t)dt

f(x + h, y, z) f(x, y, z) = X ds X ds = X ds =
CC 0 C C0 0
Z1
 
=h P x + th, y, z dt = hP x + h, y, z , para algun (0, 1).
0
El valor existe por el teorema de valor medio para integrales.
f(x + h, y, z) f(x, y, z) f
Entonces lm = P(x, y, z). de donde se deduce que = P en .
h0 h x
f f
De forma analoga se prueba que =Qy = R en .
y z
I



Observacion 3.1.6. Si X ds 6= 0 para alguna curva cerrada, entonces X no es de
C
gradientes.
I


Por otra parte, no es suficiente que X ds = 0 para infinitas curvas para concluir
C
que el campo es de gradientes como veremos en el siguiente ejemplo.


Ejemplo 3.1.2. Sea X (x, y) = (x, xy) y Cr la circunferencia de centro (0, 0) y radio r
parametrizada por r (t) = (r cos t, r sin t), 0 t 2. Entonces
I Z 2 Z 2


r cos t, r2 sin t cos t r sin t, r cos t dt = r2 cos t sin t+r3 sin t cos2 t dt
  
X ds =
Cr 0 0
Z 2 Z 2
r2 r2 2 r3 2
= sin 2tdt + r3 sin t cos2 tdt = cos 2t cos3 t 0 = 0.

2 0 0 4 0 3
22 3.1. Integral de lnea de un gradiente

xy x
Sin embargo = y 6= 0 = , que es una condicion necesaria para que sea de gradientes
x y
(como veremos en el siguiente teorema).


Teorema 3.1.7. Sea R3 un abierto y X = (P, Q, R) un campo vectorial de clase C1


en . Si X es de gradientes en entonces
R Q P Q P R
= , = , = .
y z y x z x


Demostracion. Como X = (P, Q, R), campo vectorial de clase C1 , es de gradientes existe


f : R de clase C2 tal que f = X . Entonces
f f f
P= , Q= , R= .
x y z
De lo cual se deduce que
R f 2 f 2 f f Q
= = = = = .
y y z yz zy z y z
Para garantizar que las derivadas segundas cruzadas de f coinciden estamos usando que f
es de clase C2 y el teorema de Schwartz. De igual forma se deducen las otras dos igualdades.

El siguiente ejemplo muestra que las condiciones del teorema previo no siempre son
suficientes para que un campo vectorial sea de gradientes.
Ejemplo 3.1.3. Sea S = R2 {(0, 0)} y X : S R2 el campo vectorial dado por
 
y x
X(x, y) = , .
x2 + y2 x2 + y2
Veamos que las derivadas cruzadas coinciden pero sin embargo X no es de gradientes.
y P x2 + y2
P(x, y) = = 2
x2 + y2 y x2 + y2

x Q x2 + y2
Q(x, y) = = 2
x2 + y2 x x 2 + y2
P Q
Entonces = para todo (x, y) S.
y x
Para ver que X no es de gradientes en S calculemos la integral de lnea de X a lo largo
de la circunferencia unidad dada por (t) = (cos t, sin t), 0 t 2.
I Z 2 Z 2 Z 2


X (t) 0 (t)dt = sin2 t+cos2 t dt = 2 6= 0.
 
X ds = ( sin t, cos t)( sin t, cos t)dt =
C 0 0 0

Entonces X no es de gradientes.
Captulo 4

Teorema de Green

Teorema 4.0.8 (Teorema de Green). Sea C una curva cerrada simple regular a trozos
orientada en sentido antihorario en R2 y sea D la union de la region interior a C con la


curva C. Sea X = (P, Q) : U R2 R2 un campo vectorial de clase C1 definido en un
abierto que contenga a D.
I ZZ


X ds = Qx Py dxdy. (4.1)
C D

Demostracion.
U

D
C

Probar (9.1) es equivalente a probar las dos siguientes igualdades


I ZZ
P
Pdx = dxdy. (4.2)
C D y

I ZZ
Q
Qdy = dxdy. (4.3)
C D x

En efecto, si estas formulas son validas, obtenemos (9.1) sumandolas. Recprocamente,


si (9.1) es cierta podemos obtener (9.2) tomando Q = 0 en (9.1), y de forma analoga
obtenemos (4.3), tomando P = 0 en (9.1).
Veamos (9.2) para una clase especial de regiones D

D = (x, y) R2 : a x b, f(x) y g(x)

23
24

donde f y g son funciones reales de clase C1 a trozos.


g(x)

f(x)

a b

Esta region D esta limitada por una curva cerrada simple C = D regular a trozos que
puede expresarse como concatenacion de cuatro caminos regulares a trozos:
C = C1 + C2 C3 C4 ,
(como es costumbre, los signos negativos que preceden a un camino denotan que se recorre
el camino
 en sentido opuesto al especificado); aqu, C1 esta parametrizado por 1 (t) =
t, f(t) , a t b; C2 lo esta por 2 (t) = (b, t), con f(b) t g(b); C3 es 3 (t) =
t, g(t) , a t b; y C4 viene dado por 4 (t) = (a, t), f(a) t g(a). Notese que,
a lo largo de C2 y de C4 , x = x(t) es constante, luego dx = 0 sobre estos caminos, y las
correspondientes integrales de lnea se anularan, mientras que sobre los restantes caminos
es dx = 1. Entonces se tiene que
I Z Z Z Z
Pdx = Pdx + Pdx Pdx Pdx =
D C1 C2 C3 C4
Z Z Zb Zb
 
Pdx Pdx = P t, f(t) dt P t, g(t) dt,
C1 C3 a a
y por otra parte, aplicando el teorema de Fubini y el teorema fundamental del calculo,
ZZ Z b "Z g(x) # Zb
P P   
dxdy = dy dx = P x, g(x) P x, f(x)
D y a f(x) y a
Zb Zb
 
P t, f(t) dt P t, g(t) dt.
a a
Combinando estas igualdades se obtiene (9,2).
Ahora probaremos (4.3) para otra clase especial de region D, limitada por las graficas
de dos funciones x = (y), x = (y), con . Es decir, ahora tenemos que

D = (x, y) R2 : c y d, (y) x (y) ,

(y) D (y)
c
4. Teorema de Green 25

con , funciones reales de clase C1 a trozos. Como antes, D esta limitado por una curva
cerrada simple C = D regular a trozos que puede expresarse como concatenacion de
cuatro caminos regulares a trozos:

C = C1 + C2 + C3 C4 ,

donde C1 esta parametrizado por 1 (t) = (t),
 t , c t d; C2 es 2 (t) = (t, c),
con (c) t (c); C3 es 3 (t) = (t), t , c t d; y C4 es 4 (t) = (t, d), con
(d) t (d). A lo largo de C2 y de C4 , y = y(t) es constante, luego dy = 0 sobre
estos caminos, y las correspondientes integrales de lnea son cero; para C1 y C3 se tiene
dy = 1. Entonces,
I Z Z Z Z
Qdy = Qdy + Qdy + Qdy Qdy =
D C1 C2 C3 C4

Z Z Zd Zd
 
Qdy + Qdy = Q (t), t dt + Q (t), t dt,
C1 C3 c c

y por otro lado,


ZZ Z d "Z (y) # Zd
Q Q   
dxdy = dx dy = Q (y), y Q (y), y dy
D x c (y) x c

Zd Zd
 
= Q (t), t dt Q (t), t dt;
c c

luego, juntando estas igualdades, obtenemos (4.3).


Con lo probado en los pasos 1 y 2, la formula de Green es valida para toda region D
que sea a la vez de tipo I y de tipo II. Todos los crculos, los rectangulos y los triangulos
constituyen ejemplos de regiones que son de tipo I y II simultaneamente. Por tanto, el
teorema de Green es valido para todos estos tipos de curvas.


Corolario 4.0.9 (Calculo
ZZ ZZ de Areas). Si X = (P, Q) tales que Qx Py = 1 entonces

Qx Py dxdy = dxdy = A(D) y por lo tanto (aplicando Green)
D D
I


A(D) = X ds.
D

Podemos considerar cualquiera de los siguientes campos para hallar el area de D.




(i) X (x, y) = 0, x para todo (x, y) R2 .




(ii) X (x, y) = y, 0 para todo (x, y) R2 .



1
y, x para todo (x, y) R2 .

(iii) X (x, y) = 2
26

Entonces Z Z Z
1
A(D) = xdy = ydx = xdy ydx.
D D 2 D
2

2 x y2
Ejemplo 4.0.4. Hallar el area de la elipse D = (x, y) R : 2 + 2 = 1 , con a, b > 0.
a  b
Consideremos la siguiente parametrizacion (t) = a cos t, b sin t , 0 t 2.
I Z 2 Z 2
1 1 1
A(D) = xdy ydx = ab cos2 t + ab sin2 tdt = abdt = ab.
2 D 2 0 2 0

Definicion 4.0.10. Una curva es de Jordan si es plana, cerrada, simple y regular a


trozos.

Teorema 4.0.11 (Teorema de Green generalizado). Sean C1 , . . . , Cn n curvas de Jordan,


satisfaciendo:

(i) Dos curvas cualesquiera no se cortan.

(ii) Todas las curvas C2 , . . . , Cn estan en el interior de C1 .

(iii) Cada Ci esta en el exterior de Cj (i 6= j, i, j = 2, . . . , n).

S
C1
C2 Cn
R
C3

Sea R la union de C1 con la porcion interior a C1 que no esta dentro de ninguna Cj




(j = 2, . . . , n). Si X = (P, Q) es de clase C1 en un abierto S que contiene a R, se verifica:
ZZ I X n I



Qx Py dxdy = X ds X ds,
R C1 j=2 Cj

donde las curvas se consideran con orientacion antihoraria.

Demostracion. Se introducen cortes que transformen R en una reunion finita de regiones


simplemente conexas limitadas por curvas de Jordan, se aplica a cada una el teorema de
4. Teorema de Green 27

Green, y se suman miembro a miembro los resultados. Este procedimiento puede justifi-
carse facilmente para n = 2; el caso general sigue por induccion.

1 C1
R1 3
C2
2 4

R2 2
1

Sea C la curva dada por 1 + 2 + 3 + 4 y R1 la region limitada por C. Como R1 es


simplemente conexa podemos aplicar el teorema de Green y obtenemos
I ZZ


X ds = Qx Py dxdy
C R1

La integral del lado izquierdo se descompone en cuatro integrales, usando al parametriza-


cion de C:
I Z Z Z Z






X ds = X ds + X ds + X ds + X ds.
C 1 2 3 4

Sea C 0 la curva dad por 1 4 + 2 2 y R2 la region limitada por ella. Nuevamente,


aplicando Green tenemos que
I ZZ


X ds = Qx Py dxdy
C0 R2

La integral del lado izquierdo se descompone en cuatro integrales, usando al parametriza-


cion de C 0 :
I Z Z Z Z






X ds = X ds X ds + X ds X ds.
C0 1 4 2 2

Sumando ambas igualdades obtenemos que:


Z Z Z Z ZZ ZZ




 
X ds + X ds + X ds + X ds = Qx Py dxdy + Qx Py dxdy
1 1 3 2 R1 R2

Entonces I I ZZ


X ds = Qx Py dxdy.
C1 C2 R



Teorema 4.0.12. Sea X = (P, Q) de clase C1 en un abierto conexo S R2 , y supongamos


que rot X = 0 en S.
Sean C1 y C2 dos curvas de Jordan contenidas en S, satisfaciendo:
28

(i) C2 esta en el interior de C1 .


(ii) Los puntos interiores a C1 que son exteriores a C2 estan en S.

Si ambas curvas se recorren en el mismo sentido, entonces


I I



X ds = X ds.
C1 C2

Demostracion.
S

C1
C2
R

Basta aplicar el teorema de Green generalizado con n = 2 a la region R constituida por


los puntos situados entre C1 y C2 junto con las propias curvas:
I I ZZ ZZ


X ds = Qx Py dxdy = 0dxdy = 0
C1 C2 R R

Entonces I I



X ds = X ds.
C1 C2

Este resultado se puede expresar diciendo que si P/y = Q/x en S entonces el valor
de una integral de lnea a lo largo de una curva de Jordan contenida en S no vara cuando
esta se deforma en otra curva de Jordan en S de manera que todas las curvas intermedias
permanezcan dentro de S.
Ejemplo 4.0.5. Sean P, Q dos campos escalares de clase C1 que satisfacen P/y =
Q/x en todo el plano excepto en tres puntos. Sean C1 , C2 , C3 las tres circunferencias
centradas en dichos puntosH y C la curva que rodea a C1 y C3 que se muestran en la
siguiente figura, y sea Ik = Ck Pdx + Qdy (k = 1, 2, 3). Supongamos que I1 = 12, I2 = 10
e I3 = 15.

C2
C C

C3
C1
4. Teorema de Green 29

I
(i) Hallar Pdx + Qdy.
C
I
(ii) Dibujar una curva cerrada a lo largo de la cual Pdx + Qdy = 1.

(iii) ISi I1 = 12, I2 = 9 e I3 = 15, puede existir alguna curva cerrada tal que
Pdx + Qdy = 1?

I I I
(i) Pdx + Qdy = Pdx + Qdy Pdx + Qdy = I1 I3 = 12 15 = 3.
C C1 C3

(ii) Basta considerar como se muestra en la siguiente figura

C2

C3
C1

I
Pdx + Qdy = I2 + I3 I1 I1 = 10 + 15 12 12 = 1.

(iii) Si existe tal curva entonces deben existir a, b, c Z tales que aI1 + bI2 + cI3 =
12a + 9b + 15c = 1, entonces 4a + 3b + 5c = 13 , donde el primer termino esta en Z y
el segundo en Q Z lo cual no admite solucion. Entonces no existe una curva con
esa propiedad.
30
Captulo 5

Rotor y divergencia

5.1. Rotor y propiedades




Definicion 5.1.1. Sea X : U R3 R3 un campo vectorial de clase C1 . Definimos el



rotor de X como el campo vectorial rot X : U R3 dado por


 
R Q P R Q P
rot X = , ,
y z z x x y



si X = P, Q, R .

 Para recordar
 la formula usaremos la notacion de operador. Smbolo nabla: =

x , y , z . Utilizando este operador podemos considerar el siguiente producto vectorial


que coincide con el rotor de X


i j k


X = /x /y /z .
P Q R




Entonces rot X = X .




Ejemplo 5.1.1. Sea X (x, y, z) = (xz, y, z) definido en todo el espacio. Hallar rot X .


i j k


rot X = /x /y /z = (0, x, 0).
xz y z



Entonces rot X = (0, x, 0).

31
32 5.1. Rotor y propiedades

Observacion 5.1.2 (Interpretacion fsica del rotor).

B
y
r v
l Q
x

Consideremos un rgido B que gira alrededor del eje z. La rotacion se puede describir
mediante un vector
w a lo largo del eje de rotacion, la direccion se escoge de manera que
el cuerpo gire alrededor de
w como en la figura, con longitud = k wk, velocidad angular
del cuerpo B, esto es, la velocidad tangencial de cualquier punto en B dividida entre su
distancia al eje z de rotacion. Sea Q cualquier punto en B y sea l la distancia de Q a z

l =
r sin ,

donde r es el vector cuyo punto inicial es el origen y cuyo punto final es Q. La velocidad
tangencial
v de Q se dirige en sentido antihorario, a lo largo de la tangente a un crculo
paralelo al plano xy con radio l, con magnitud


w

v sin = l = r sin =

r sin

v =
w
r.





w =k,
Debido a la seleccion de ejes, podemos escribir r = x i + y j + z k , de modo
que




v =w r = y i + x j
y mas aun
i j k


v = /x /y /z = 2 k = 2
rot

w.
y x 0

Por lo tanto, para la rotacion de un cuerpo rgido, el rotacional del campo vectorial de
velocidad es un campo vectorial dirigido paralelo al eje de rotacion con magnitud igual al
doble de la velocidad angular.



Si un campo vectorial X representa el flujo de un fluido, entonces rot X = O en P
significa fsicamente que el fluido no tiene rotaciones o es irrotacional en P; esto es, no
tiene remolinos.



Definicion 5.1.3. Un campo vectorial X es irrotacional si rot X = O.
5. Rotor y divergencia 33

Propiedades





1. rot a X + b Y = a rot X + b rot Y , a, b R.




2. rot f X = f rot X + f X , f campo escalar.

3. rot f = 0 si f es de clase C2 .










Demostracion. 1. rot a X + b Y = a X + b Y = a X + b Y = a rot X +


b rot Y .

i j k 


fQ fP fR fQ

2. rot f X = f X = /x /y /z = fR fP
 
y z , z x , x y
fP fQ fR
 
Q Q
= fy R + f R P R
y fy P f z , fz P + f z fx R f x , fx Q + f x fy P f y
P
 
Q P R Q
= (fy R fz Q, fz P fx R, fx Q fy P) + f R y ,
z z ,
x x P
y



= f X + f rot X .

i j k  
2 f 2 f 2 f 2 f 2 f 2 f

3. rot f = f = /x /y /z = yz
zy , zx xz , xy yx
f/x f/y f/z
= (0, 0, 0) porque f es de clase C2 .



Corolario 5.1.4. Si X es de gradientes entonces es irrotacional.

El recproco no se cumple, basta considerar el siguiente ejemplo.



 

Ejemplo 5.1.2. Sea X (x, y) = x2y 2 , 2
+y x +y
x
2 . entonces rot X = Qx Py = 0 porque


Qx = Py . Entonces X es irrotacional. Pero ya vimos que este campo no es de gradientes.

Definicion 5.1.5. Una curva C cerrada (parametrizada por : [a, b] U) contenida en


U es homotopica a un punto P en U si existe H : [0, 1] [a, b] U continua tal que
H(s, a) = H(s, b) para todo s [0, 1], H(0, t) = (t) : [a, b] U y H(1, t) = P para todo
t [a, b].

Intuitivamente, esto quiere decir que C puede deformarse continuamente a un punto


P.

Ejemplo 5.1.3. 1. Si consideramos (t) = (cos t, sin t) la circunferencia de centro


(0, 0) y radio 1, veamos que es homotopicaa (0, 0). Definimos H : [0, 1][0, 2] R2
como H(s, t) = (1 s) cos t, (1 s) sin t , fijando s tenemos que H(s, 0) = (1
34 5.1. Rotor y propiedades


s), 0 = H(s, 2), ademas H(0, t) = (cos t, sin t) = (t) y H(1, t) = (0, 0). Entonces
H es una homotopa entre la cfa. unidad y el origen del plano.

(0,0)

2. Consideremos R3 (0, 0, 1) y sea (t) = (cos t, sin t, 1) curva que rodea a la singu-
laridad. definimos
 H : [0, 1] [0, 2] R3 (0, 0, 1) por H(s, t) = (1 s) cos t, (1

s) sin t, 1 s , es una funcion continua y verifica que H(s, 0) = 1 s, 0, 1 s =
H(s, 2), H(0, t) = (t) y H(1, t) = (0, 0, 0). entonces H es una homotopa entre la
circunferencia y el origen del espacio.


(0,0,1)

(0,0,0)

Definicion 5.1.6. Un conjunto U es simplemente conexo si es abierto, conexo y toda


curva cerrada contenida U es homotopica a un punto en U.

Ejemplo 5.1.4. 1. R2 es simplemente conexo. Basta generalizar la construccion que


vimos en el ejemplo anterior, para probar que toda curva cerrada del plano se puede
contraer a un punto.

2. R2 {P} no es simplemente conexo. Si tomamos una curva cerrada que encierre al


punto P no vamos a poder construir una homotopa que la lleve a un punto ya que
la singularidad nos obstruye el proceso.

3. R3 {P} es simplemente conexo. Al tener una dimension mas podemos evitar la sin-
gularidad y contraer cualquier curva cerrada a un punto, repitiendo el razonamiento
visto en el ejemplo anterior.


Teorema 5.1.7. Si X : U R3 R3 es un campo irrotacional y U es simplemente


conexo, entonces X es un campo de gradientes.
5. Rotor y divergencia 35



Demostracion. Veremos la demostracion para X = (P, Q) plano. Para ver que es de gra-
H
dientes vamos a probar que C X ds = 0 para toda curva cerrada simple regular a trozos
en U.
Sea D la union de C con la region interior a C. Como U es simplemente conexo resulta
que D U. Aplicando el teorema de Green tenemos que
I ZZ


X ds = Qx Py dxdy
C D




Como X es irrotacional tenemos que rot X = Qx Py k = 0 , entonces Qx Py = 0.
de lo cual deducimos que
ZZ I


Qx Py dxdy = 0

X ds = 0.
D C

5.2. Divergencia y propiedades




Definicion 5.2.1. Sea X : U R3 R3 un campo vectorial de clase C1 . Definimos la



divergencia de X como el campo escalar div X : U R dado por

P Q R

div X = + + ,
x y z


siendo X = P, Q, R .




Notacion: div X = X .

Propiedades





1. div a X + b Y = a div X + b div Y , a, b R.




2. div f X = f div X + f X , f campo escalar.



3. div rot X ) = 0 si X es de clase C2 .









Demostracion. 1. div a X + b Y = a X + b Y = a X + b Y = a div X +


b div Y .

Q
fR = fx P + f P R
  
2. div f X = x fP + y fQ + z x + fy Q + f y + fz R + f z =

Q Q



fx P + fy Q + fz R + f P

x + y + y = f X + f div X .
36 5.2. Divergencia y propiedades




Q
 
Q

3. div rot X ) = X = R P R P

x y z + y z x + z x y
2 R 2 Q 2 P 2 R 2 Q 2 P

= xy xz + yz yx + zx zy = 0, porque X es de clase C2 .



Definicion 5.2.2. Un campo vectorial X : U R3 R3 de clase C1 es solenoidal si


div X = 0.


Teorema 5.2.3. Sea X : U R3 R3 solenoidal de clase C2 en una buena region U.




Entonces existe Y : U R3 R3 tal que X = rot Y .
Captulo 6

Superficies

6.1. Superficies parametrizadas

Definicion 6.1.1. Sea U un conjunto conexo de R2 . Una parametrizacion es una funcion


continua
X:U R3
(u, x) 7 x(u, v), y(u, v), z(u, v)


0 su imagen ImX se llama superficie parametrizada (sin borde) en R3 .

X(U)
X
v

y
U

Definicion 6.1.2. Si el conjunto U tiene frontera (U) y X : U R3 es continua entonces


decimos que X(U) es una superficie parametrizada con frontera.

Ejemplo 6.1.1. Sea X : R2 R3 dada por X(u, v) = 4 + 3u v, 5 + 2u + 2v, u v ,




claramente es continua. Observar que



ImX = (x, y, z) R3 : x = 4 + 3u v, y = 5 + 2u + 2v, z = u v, para algun (u, v) R2

Entonces ImX es el plano por el punto (4, 5, 0) y con direccion (3, 2, 1) y (1, 2, 1).
Los planos son superficies (sin borde) parametrizadas.

37
38 6.1. Superficies parametrizadas

Ejemplo 6.1.2 (Cilindro). Consideremos el cilindro x2 + y2 = r2 , 0 < z < 1.

(0,0,1)

y
(0,r,0)
(r,0,0)

Sea X : [0, 2) [0, 1) R3 dada por



x = r cos u
(u, v) 7 y = r sin u

z = v

Entonces ImX = Cilindro. y X es continua, por l o cual concluimos que el cilindro es una
superficie parametrizada.

Ejemplo 6.1.3 (Esfera). Veamos que la esfera S2 : x2 + y2 + z2 = r2 es una superficie


parametrizada.
z

(0,0,r)

y
(0,r,0)
(r,0,0)

Consideremos la parametrizacion X : [0, 2) [0, ) R3 dada por



x = r cos u sin v
(u, v) 7 y = r sin u sin v

z = r cos v

ImX = S2 y X es continua.
6. Superficies 39

Ejemplo 6.1.4 (Toro T 2 ). Superficie generada al girar alrededor del eje Oz una circun-
ferencia de centro (a, 0, 0) y radio r < a.

r
u
(a,0,0) x

Parametrizamos primero la circunferencia: un punto generico de ella es de la forma a +


r cos u, 0, r sin u con u [0, 2). La matriz de giro de angulo v en torno al eje Oz es

cos v sin v 0
sin v cos v 0
0 0 1

Entonces al girar la circunferencia en torno al eje Oz tenemos



cos v sin v 0 a + r cos u a + r cos u  cos v
sin v cos v 0 0 = a + r cos u sin v
0 0 1 r sin u r sin u

Entonces una parametrizacion del toro es

X : [0, 2) [0, 2) R3
7
  
(u, v) a + r cos u cos v, a + r cos u sin v, r sin u

Observemos que ImX = T 2 Entonces T 2 es una superficie parametrizada.


40 6.2. Superficies regulares

6.2. Superficies regulares


Hay muchas superficies que no se pueden escribir como la imagen de una funcion
definida en un abierto de R2 . Por tal motivo damos la siguiente definicion.

Definicion 6.2.1. Una superficie (sin borde) es un conjunto S R3 tal que para todo
p S existe Up 3 p abierto de R3 tal que Up S es una superficie parametrizada (sin
borde). Es decir, p S Up R3 y X : Vp R2 R3 continua tal que ImX = Up S.

z
X S
Up
v
Up S
Vp
y
u

Esto quiere decir que una superficie sin borde es el solapamiento de varias superficies
parametrizadas.

Definicion 6.2.2. Una superficie es regular si cada parametrizacion es diferenciable con


inversa diferenciable.

Teorema 6.2.3. Sea U R2 abierto y f : U R una funcion diferenciable. Entonces su


grafico

S = (x, y, z) R3 : (x, y) U, z = f(x, y)
es una superficie regular.

Demostracion.

U
6. Superficies 41

Sea X : U R2 S R3 definida por X(u, v) = u, v, f(u, v) . X es diferenciable porque




f es diferenciable. Claramente es biyectiva, la inversa esta dada por

X1 : S R3 U R2 , (x, y, f(x, y)) 7 (x, y)

es diferenciable por ser la restriccion de la funcion proyeccion R3 R2 , (x, y, z) 7 (x, y)


que es diferenciable. Entonces el grafico de f es una superficie regular.

6.3. Plano tangente

Teorema 6.3.1. Sea U R2 abierto y X : U R2 R3 diferenciable e inyectivo. Sea


V = X(U), entonces X : U R2 V R3 es un difeomorfismo dq X : R2 R3 es
inyectivo q U.

Demostracion. Veamos solo el directo.


Sea X1 : V U la inversa de X entonces

V 9 R3
X X1
%
U R2 / U R2
Id

Aplicando el diferencial de X en q U tenemos que

3
>
R
dq X dX(q) X1

R2 / R2
Id

Entonces dX(q) X1 dq X = Id biyeccion. Entonces dX(q) X1 es sobreyectiva y dq X es


inyectiva.

Definicion 6.3.2. Sera S R3 una superficie regular y p S. Consideremos X : U


R2 S una parametrizacion tal que q U y p = X(q). Definimos el plano tangente en
p a S como
Tp S = Im dq X R3 .


Observacion 6.3.3. Como el diferencial es una transformacion lineal tenemos que Tp S


es un subespacio de R3 . Por lo visto en el teorema anterior sabemos que dq X es inyectivo,
entonces por el teorema de las dimensiones concluimos que dimTp S = 2, es decir, es un
plano en R3 .

Proposicion 6.3.4. La definicion del plano tangente no depende de la eleccion de la


parametrizacion.
42 6.3. Plano tangente

Demostracion. Supongamos que tenemos dos parametrizaciones de S por el punto p, X :


U R2 S tal que X(q) = p y Y : V R2 S tal que Y(r) = p difeomorfismos sobre
sus imagenes.

W
p

X
Y

V
U -1
q Y X r
Y -1 (W)
X -1 (W)

Sea W = X(U) Y(V) abierto de S. Consideremos las parametrizaciones restringidas a


X1 (W) e Y 1 (W) respectivamente.

p 6 w Rh 3
X Y

q X1 (W) R2 / r Y 1 (W) R2
Y 1 X

Aplicando el diferencial tenemos que el siguiente diagrama conmuta

3
> `
R
dq X dr Y

R2  / R2
dq Y 1 X

Como Y 1 X es un difeomorfismo tenemos que dq Y 1



X es un isomorfismo. Ademas
dq X = dr Y dq Y 1 X : R2 R3 . Entonces Im dq X = Im dr Y .
 

Teorema 6.3.5. v Tp S existe : (, ) R S curva parametrizada tal que


(0) = p y 0 (0) = v.

Demostracion. () Sea X : U R2 S parametrizacion de S por p = X(q) con q U y


6. Superficies 43

sea v Tp S = Im dq X . Entonces existe w R2 tal que v = dq X(w).




v
p

)
0

(
X

( ) U
q w

Como U es un abierto de R2 existe > 0 tal que si < t < entonces q + tw U.


entonces consideremos la curva : (, ) U definida por (t) = q + tw, claramente
es diferenciable. Entonces, sea : (, ) S la composicion (t) = X((t)) para todo
t (, ). Evaluando en 0 obtenemos que (0) = X((0)) = X(q) = p. Aplicando la
regla de la cadena tenemos que 0 (0) = d(0) X( 0 (0)) = dq X(w) = v.
() Sea : (, ) R S diferenciable tal que (0) = p y 0 (0) = v. Consideremos
X : U R2 V S parametrizacion de S, y X1 : V U R2 su inversa (diferenciable).
Sea la curva : (, ) U la curva (t) = X1 ((t)). Por lo tanto = X y
0 (0) = dq X( 0 (0)). Entonces v = dq X( 0 (0)) y v Tp S.

6.3.1. Calculo del plano tangente y de la recta normal


Sea C una curva contenida en la superficie S, consideremos (t) = X u(t), v(t) una


parametrizacion de C, aplicando la regla de la cadena tenemos que

0 (t) = Xu u(t), v(t) u 0 (t) + Xv u(t), v(t) v 0 (t).


 

Evaluando en t = 0 tenemos que todo vector del plano tangente se puede escribir como
combinacion lineal de Xu (u, v) y Xv (u, v), donde Xu (u, v) = Xu (q) y Xv (u, v) = Xv (q),
siendo p = X(q). 
Si el punto p es regular los vectores Xu (u, v), Xv (u, v) son LI. Entonces la ecuacion del
plano tangente queda determinada por:

PX,

Xu (u, v), Xv (u, v) = 0

o equivalentemente
: X P Xu (u, v) Xv (u, v) = 0.
 

La recta normal a la superficie en el punto P es la recta ortogonal al plano tangente a S


en P, es decir, con vector direccion

u = Xu (u, v) Xv (u, v).


44 6.3. Plano tangente

Llamaremos vector normal unitario a la superficie S en el punto P al vector



Xu (u, v) Xv (u, v)
N X (u, v) = .
kXu (u, v) Xv (u, v)k
Observacion 6.3.6. p es un punto regular Xu (u, v) Xv (u, v) 6= 0.
Observacion 6.3.7. p es un punto regular dq X es inyectivo.
En particular, p es regular p X(U) X es un difeomorfismo. Esto quiere decir que S
es una superficie regular si y solo s todo punto de S es punto regular.
Ejemplo 6.3.1. Hallar la ecuacion del plano tangente a la superficie de ecuacion implcita
z = x2 y2 en el punto P = (1, 1, 0).
Parametrizacion X(u, v) = (u, v, u2 v2 ), entonces Xu (u, v) = (1, 0, 2u) y Xv (u, v) =
(0, 1, 2v).
Xu Xv = (2u, 2v, 1).
Evaluando en el punto P tenemos que el plano tangente es

(x, y, z) (1, 1, 0) (2, 2, 1) = 0
Entonces : 2x + 2y + z = 0.
Ejemplo 6.3.2 (Semiesfera). Consideremos la semiesfera superior de radio r y con centro
en el origen: x2 + y2 + z2 = r2 , z > 0 y tomemos las siguiente parametrizacion:
X : [0, 2) (0, /2) R3
(u, v) 7

r cos u sin v, r sin u sin v, r cos v
 
Xu (u, v) = r sin u sin v, r cos u sin v, r sin v y Xv (u, v) = r cos u cos v, r sin u cos v, r sin v .
Entonces
Xu (u, v) Xv (u, v) = r2 sin v cos u sin v, sin u sin v, cos v .



Xu (u, v) Xv (u, v) = 0 v = 0. Entonces la parametrizacion es regular, es decir Imdq X
es un plano.
Veamos cual es el versor normal a la esfera en un punto arbitrario: kXu (u, v)
Xv (u, v)k = r2 sin v. Entonces


N = cos u sin v, sin u sin v, cos v
Es un vector radial que apunta al centro de la esfera.
Ejemplo 6.3.3 (Cono). Consideremos el cono de ecuacion x2 + y2 z2 = 0, z 0.
Podemos considerar la siguiente parametrizacion
X : (0, 2) [0, ) R3
(u, v) 7 v cos u, v sin u, v

 
Xu (u, v) = v sin u, v cos u, 0 y Xv (u, v) = cos u, sin u, 1
Xu (u, v) Xv (u, v) = v cos u, sin u, 1 = 0 v = 0.


Entonces el punto P = (0, 0, 0) es un punto singular y no podemos definir el plano tangente


al cono en este punto.
6. Superficies 45

6.3.2. Primera forma fundamental


Definicion 6.3.8. Llamamos primera forma fundamental de S en p a la forma bilineal
definida positiva Ip asociada al producto escalar inducido en el plano tangente a S en p
por le producto interno usual en R3 .

Sea w Tp S entonces w = hXu + kXv , siendo h y k funciones diferenciales.


  
w1 w2 = h1 Xu + k1 Xv h2 Xu + k2 Xv = h1 h2 Xu Xu + h1 k2 + k1 h2 Xu Xv + k1 k2 Xu Xv
  
 E F h2
w1 w2 = h1 k1
F G k2
donde
E = Xu Xu = x2u + y2u + z2u > 0
F = Xu Xv = xu xv + yu yv + zu zv
G = Xv Xv = x2v + y2v + z2v > 0.
Entonces tenemos que:
Ip : Tp S Tp S  R  
E F h2
w1 , w2 7
 
h1 k1
F G k2
  
siendo h1 , k1 y h2 , k2 las coordenadas de w1 y w2 en la base Xu , Xv respectivamente.
E F
Como E > 0 y = EG F2 = kXu Xv k2 > 0. Entonces Ip es definida positiva.
F G

Calculo de la longitud de una curva contenida en la superficie


 
Vamos a calcular la distancia entre dos puntos P = X u0 , v0 y Q = X u1 , v1 de la
superficie. Consideremos una curva ne la superficie con parametrizacion
   
(t) = X u(t), v(t) = x u(t), v(t) , y u(t), v(t) , z u(t), v(t)

tal que en t0 estamos en P y en t1 estamos en Q.


  
P = t0  = X u t0 , v t0 
Q = t1 = X u t1 , v t1
Z t1
L = longitud de la curva entre los puntos P y Q. Se tiene que L = k 0 (t)kdt
t0
k 0 (t)k2 = Xu u 0 (t) + Xv v 0 (t) Xu u 0 (t) + Xv v 0 (t)
 

= E(u 0 (t))2 + 2Fu 0(t)v(t) + G(v 0 (t))2


= I(t) 0 (t), 0 (t)
Entonces Z t1
1/2
L= I(t) 0 (t), 0 (t) dt.
t0
46 6.3. Plano tangente

Calculo del angulo entre dos curvas

Sean C1 y C dos curvas contenidas en S y sean w1 vector tangente a C1 en P y w2 un


vector tangente a C2 en P. El angulo que forman las dos curvas es el angulo que forman
los respectivos vectores tangentes en P.

w1
p
w2

Por lo tanto 
w1 w2 IP w1 , w2
cos = = 1/2 1/2
kw1 kkw2 k Ip w1 , w1 IP w2 , w2
Las curvas C1 y C2 son ortogonales si = /2, esto es, si IP w1 , w2 = 0.


Calculo de area de una region de una superficie

Consideremos la region de la superficie limitada por las curvas coordenadas


   
X u0 , v , X u0 + u, v , X u, v0 , X u, v0 + v

v
v0 + v

v0

u0 u0 + u u
El incremento de area A de la region viene dada por el producto de las longitudes de
sus lados por el seno del angulo que forman, esto es
A = kXu (u, v)kkXv (u, v)k sin uv
kXu (u, v) Xv (u, v)kuv
=
= EG F2 uv
Entonces ZZ p
A= EG F2 dudv.

6. Superficies 47

Ejemplo 6.3.4. Consideremos la parametrizacion de la esfera de radio 1 y centro el origen:



X(u, v) = cos u cos v, cos u sin v, sin u , (u, v) (/2, /2) [0, 2).

Se pide

(a) Hallar la primera forma fundamental.



Xu (u, v) = sin u cos v, sin u sin v, cos u

Xv (u, v) = cos u sin v, cos u cos v, 0
Entonces
E(u, v) = sin2 u cos2 v + sin2 v + cos2 u = 1,


F(u, v) = sin u cos v cos u sin v sin u sin v cos u cos v = 0,


G(u, v) = cos2 u sin2 v + cos2 u cos2 v = cos2 u.

La matriz asociada a la primera forma fundamental en un punto arbitrario P =


X(u, v) es de la forma  
1 0
0 cos2 u
Como F = 0 las curvas coordenadas X(u0 , v) (paralelo) y X(u, v0 ) (meridiano) son
ortogonales entre s.

(b) Hallar la longitud de la curva X(u, v0 ).



(u) = X(u, v0 ) = cos u cos v0 , cos u sin v0 , sin u

0 (u) = Xu (u, v0 ) = 1 Xu (u, v0 ) + 0 Xv (u, v0 ).


Entonces coordB 0 (u) = (1, 0), siendo B = {Xu , Xv }.
Luego   
0 0
  1 0 1
I(u) (u), (u) = 1 0 = 1.
0 cos2 u 0
R/2
Entonces L = /2 1dt = .

(c) Hallar la longitud de la curva X(u0 , v).



(v) = X(u0 , v) = cos u0 cos v, cos u0 sin v, sin u0
0 (v) = Xv (u0 , v) = 0 Xu + 1 Xv .
Entonces
  
1 0 0
I(v) 0 (v), 0 (v) = = cos2 u0 .
 
0 1
0 cos2 u0 1
R2
Entonces L = 0 cos2 u0 dt = 2 cos2 u0 .
48 6.3. Plano tangente
Captulo 7

Integrales de superficies

Definicion 7.0.9. (Superficie parametrica simple) Se dice que una superficie S de R3 es


una superficie parametrica simple si existen un abierto acotado D de R2 cuya frontera
es una curva cerrada simple regular a trozos, y una aplicacion : D R3 inyectiva y
de clase C1 tal que su diferencial d(u, v) tiene rango 2 para todo (u, v) D, y ademas
S = (D).
De diremos que es una parametrizacion de S. Evidentemente una misma superficie
parametrica simple S puede tener varias parametrizaciones diferentes.
En el caso de que pueda extenderse (con las mismas propiedades) a un abierto mayor
A que contenga a la clausura de D, llamaremos borde de S, y denotaremos por S, a la
curva cerrada en R3 definida por (C), donde C = D. Esta curva se supondra siempre,
salvo que se diga explcitamente lo contrario, orientada en el mismo sentido que resulte
de componer
 con una parametrizacion de C recorrida en sentido positivo. Del compacto
S = D diremos que es una superficie parametrica simple compacta y con borde.
Conviene senalar que, aunque empleemos la misma notacion, el borde geometrico S
as definido de una tal superficie S no coincide con su frontera topologica.


Sea S una superficie parametrica simple y U, una parametrizacion de S


u v
N (u, v) =
ku v k

es un campo de vectores normales a S.

Definicion 7.0.10. Orientar una superficie S es elegir en cada punto regular p S uno


solo de los dos versores normales a S en p, N(p) de modo que vare continuamente con p.

Definicion 7.0.11. Una superficie es orientable si se puede orientar.


Una superficie S de R3 se dice que es orientable, si es posible determinar en ella dos
lados, el lado exterior (o positivo) y el lado interior (o negativo).

49
50

Ejemplo 7.0.5. La banda de Mobius es una superficie no orientable.

Definicion 7.0.12. Sea S una superficie parametrica simple, parametrizada por : D


S, y sea f : S R un campo escalar continuo definido sobre S. Definimos la integral de
f sobre S como
ZZ ZZ
f (u, v) u (u, v) v (u, v) dudv.

fdS =
S D



Por otra parte, si X : S R3 es un campo vectorial continuo definido sobre S,


definimos la integral de X sobre S por
ZZ ZZ



X (u, v) u (u, v) v (u, v) dudv
 
Xn =
S ZZD


= X (u, v) N (u, v)ku v kdudv,
D


es decir, la integral del producto escalar del campo normal a S con X , compuesto con .


Observese que la integral del campo vectorial X sobre S puede verse como la integral del


campo escalar X N sobre S, es decir, podemos denotar tambien
ZZ ZZ



X n = X NdS
S S

Las interpretaciones fsicas de estas integrales son variadas. Por ejemplo, un campo
escalar f : S R puede representar la densidad de masa por unidad de superficie de un
material
ZZ de grosor despreciable que esta distribuido sobre una superficie S, y entonces
fdS sera la masa total de dicho material.
S
Por su parte, la integral de un campo vectorial sobre una superficie S suele interpretarse
como el flujo de un fluido que pasa a traves de S. Puede imaginarse que S es una mem-


brana porosa y que el vector X x, y, z = (x, y, z)V(x, y, z), donde V(x, y, z) es el vector
velocidad del fluido y el numero (x, y, z) es su densidad de masa, es un vector que nos
dice cuanta masa de fluido circula por el punto (x, y, z) en la direccion en que se mueve el


fluido en ese punto, por unidad de area y de tiempo. Entonces el producto escalar X N


representa el componente del vector densidad de flujo en la ZZ direccion de N,ZZy la masa de



fluido que pasa a traves de toda S vendra determinada por X NdS = X n.
S S
Estudiemos ahora la invariancia de estas integrales respecto de la parametrizacion
escogida de S.
7. Integrales de superficies 51

Lema 7.0.13. Sean : U S y : V S dos parametrizaciones de una misma


superficie parametrica simple S, y sea h : V  U el difeomorfismo de clase C1 definido
por h = 1 . Denotemos h1 (x, y), h2 (x, y) = h(x, y). Entonces

 h1 , h2
x y = u v
(x, y)
(h1 ,h2 )
donde (x,y) denota el jacobiano de h.

Demostracion.

v y
U V

u x

Por la regla de la cadena tenemos

h1 h2
x = = +
x u x v x
y tambien
h1 h2
y = = + .
y u y v y
Multiplicando vectorialmente los miembros de la derecha de ambas igualdades, y uti-
lizando las propiedades del producto vectorial tenemos que

h1 h1 h1 h2 h2 h1 h2 h2
x y = + + +
u x u y u x v y v x u y v x v y
h1 h2 h2 h1
= +
u x
 v
 y v x u y
h1 h2 h1 h2
=
 u v  x y y x
h1 , h2
= .
u v (x, y)
52

Teorema 7.0.14. Sean : U S y : V S dos parametrizaciones de una misma


superficie parametrica simple S, y sea f : S R un campo escalar continuo. Entonces
ZZ ZZ
f (u, v) u (u, v) v (u, v) dudv = f (x, y) x (x, y) y (x, y) dxdy.
 

U V
ZZ
Es decir, la integral fdS no depende de la parametrizacion escogida.
S

Demostracion. Denotemos h1 , h2 = h(x, y) donde h = 1 . Se tiene que = h,




y aplicando el teorema del cambio de variables junto con el lema anterior obtenemos
ZZ
f (u, v) u (u, v) v (u, v) dudv =


ZZ U 
 h1 , h2
f h(x, y) u h(x, y) v h(x, y)
 
dxdy =
(x, y)
V ZZ
f (x, y) x (x, y) y (x, y) dxdy.

V

El resultado analogo para campos vectoriales depende del sentido en que apunte la
normal unitaria a S correspondiente a la parametrizacion en cuestion, como vemos a
continuacion.

Teorema 7.0.15. Sean : U S y : V S dos parametrizaciones de una misma


superficie parametrica simple S, denotemos

n = u v , n = x y

y sean
u v x y
N =
u v ,
N =
x y .

Entonces, o bien N (p) = N (p) para todo p S, o bien N (p) = N (p) para todo
p S. En el primer caso diremos que las parametrizaciones y inducen la misma
orientacion en S, y en el segundo caso diremos que inducen orientaciones opuestas.
Si y inducen la misma orientacion entonces, para todo campo vectorial continuo

X : S R3 se tendra que ZZ ZZ



X n = X n ,
S S

mientras que si y inducen orientaciones opuestas en S entonces sera


ZZ ZZ



X n = X n .
S S
7. Integrales de superficies 53

Demostracion. Como N (p) y N (p) son vectores perpendiculares a Tp S para cada p S,


definen la misma recta; como ademas ambos tienen norma uno, se tiene que N (p)
N (p) = 1 o bien N (p) N (p) = 1 para cada p S. Pero, como las funciones
N , N : S R3 son continuas y S es conexa, debe tenerse N (p) N (p) = 1 en toda S o
bien N (p) N (p) = 1 en toda S. En el primer caso se tiene que N (p) = N (p) para
todo p S, y en el segundo caso que N (p) = N (p) para todo p S.
Por otra parte, si recordamos que
ZZ ZZ



X n= X NdS,
S S

el enunciado sobre las integrales es consecuencia inmediata de esta propiedad y del Teorema
anterior.
p
Ejemplo 7.0.6. 1. Sea f(x, y, z) = x2 + y2 + 1 un campo escalar y

S = (x, y, z) : x = r cos , y = r sin , z = : 0 2, 0 r 1 .
ZZ
Hallar dS.
S
Consideremos la parametrizacion : U R3 dada por (r, ) = r cos , r sin , .


Entonces
 
r (r, ) = cos , sin , 0 , (r, ) = r sin , r cos , 1
p
r = sin , cos , r y r = 1 + r2 .


Por otro lado f (r, ) = 1 + r2 . Entonces
ZZ ZZ Z 2 Z 1
r3 1
   
1 8
f (r, ) r drd = 2
 
fdS = 1+r drd = 2 r + = 2 1 + = .
S U 0 0 3 0 3 3



2. Sean X : R3 R3 dado por X (x, y, z) = (0, 0, 1) y S = (x, y, z) : z = x2 + y2 es
una superficie parametrizable que admite la parametrizacion
: R2 S, dada por (u, v) = u, v, u2 + v2 .

ZZ


Calculemos X
n , siendo A = (x, y, z) S : 0 z 1 con la orientacion dada
A
por el vector normal saliente (exterior).

X z
v
A (0,0,1)

p
u
N(p)
y
X (p)

x
54



N(x, y, z) es colineal al vector (2x, 2y, 1) y 1 (A) = (u, v) R2 : u2 + v2 1 .


 (2u, 2v, 1)
X (u, v) = (0, 0, 1), N (u, v) = .
1 + 4u2 + 4v2


  1
Entonces X (u, v) N (u, v) = .
1 + 4u2 + 4v2 p
u = (1, 0, 2u), v = (0, 1, 2v), u v = (2u, 2v, 1) ku v k = 1 + 4u2 + 4v2
ZZ ZZ


Xn = 1dudv = area1 (A) = .
A 1 (A)



3. Flujo del campo electrico E (r) = k rq3
r a traves de la esfera de centro q, radio r0


con la normal N saliente.

q r0 r
N

En este caso

kq
E N= 2
r0
ZZ ZZ


E
kq kq q
n = 2 dS = 2 4r20 = 4kq = .
S r0 S r0 0
Ejemplo 7.0.7 (Aplicaciones fsicas: flujo de calor). Sea T (x, y, z) la temperatura en un
punto (x, y, z) W R3 . Si T es C1 entonces
 
T T t
T = , ,
x y z


es el gradiente de temperatura, y el calor fluye segun el campo vectorial F = kT donde
k es una constante positiva llamada conductividad. Notar que el flujo de calor, como
cabe esperar, se produce de las zonas calientes hacia las fras, pues T apunta en la
direccion donde T decrece.
La tasa total de flujo o flujo de calor a traves de la superficie S viene dada por
ZZ


F n.
S

Supongamos que una funcion de temperatura esta dada por T (x, y, z) = x2 + y2 + z2 .


Sea S la esfera unidad x2 + y2 + z2 = 1, orientada segun la normal exterior. Hallar el flujo
de calor a traves de S, si k = 1.


Se tiene que F (x, y, z) = T (x, y, z) = 2(x, y, z). Como n = r = (x, y, z) se sigue

2 2 2

que F n = 2 x + y + z = 2. Entonces
ZZ ZZ


F n = 2 dS = 8.
S S
7. Integrales de superficies 55

Proposicion 7.0.16 (Propiedades de las integrales de superficie). 1. Linealidad: Sea




S una superficie parametrica simple, f, g dos campos escalares y X , Y dos campos
vectoriales, todos ellos continuos en S, y , R. Se verifica entonces que
ZZ ZZ ZZ

f + g dS = fdS + gdS
ZZ S ZZS SZZ





X + Y N = X N + Y N
S S S

2. Continuidad: Sean S una superficie parametrica simple y f : S R un campo


escalar continuo. Tomemos una constante M > 0 de forma que f(x, y, z) M para
todo punto (x, y, z) S. Entonces
ZZ

fdS MArea(S).

S




Si ahora X es un campo vectorial continuo en S y k X (x, y, z)k K para todo
(x, y, z) S, usando la desigualdad de Cauchy-Schwartz se comprueba que
ZZ





X n KArea(S).
S
56
Captulo 8

Teorema de Stokes y de Gauss

8.1. Teorema de Stokes

El teorema de Stokes es una generalizacion del teorema de Green en cuanto que re-
laciona la integral de un campo vectorial sobre una curva cerrada que es borde de una
superficie global con la integral de su rotor en dicha superficie.

Definicion 8.1.1. S es una superficie global (sin borde) si para todo punto p S
existe un conjunto (abierto) Up R3 , p Up tal que S Up es una superficie parametri-
zada.

Una superficie parametrizable S R3 se dice que es orientada con borde si admite  una
parametrizacion : D R3 , D R2 , y se llama borde de S a la curva S = D .
Si la curva cerrada D R2 se orienta positivamente, y : [a, b] R2 es una parametri-
zacion con esa orientacion, entonces : [a, b] R3 es una parametrizacion del borde
S que le da una orientacion positiva o coherente con la de S (dada por el vector normal
asociado a ).
Si S es una superficie orientada con borde S, la orientacion del borde coherente con
la de la superficie se puede caracterizar informalmente como aquella en la que: Al andar
sobre el borde con el vector normal a la superficie apuntando a la cabeza, la superficie
queda a la izquierda.

Definicion 8.1.2. Consideremos S una superficie global (con borde) tal que es union
finita de parametrizaciones, S1 , . . . , Sn dos a dos disjuntas o tales que su interseccion es


union finita de curvas regulares a trozos. Entonces, si X : S R3 es un campo continuo
tenemos que
ZZ ZZ ZZ ZZ





X n= Xn+ X n + + X n.
S S1 S2 Sn

Ejemplo 8.1.1. Sea S la superficie que se 


 obtiene como S = S1 S2 S3 , donde
S1 =
(x, y, z) 3 x2 + y2 r2 , z = a , S = (x, y, z) R3 x2 + y2 r2 , z = 0 y S =
 R 2 3
(x, y, z) R3 : x2 + y2 = r2 , 0 z a con la orientacion dada por le vector normal

57
58 8.1. Teorema de Stokes

saliente.
z

S1 (0,0,a)

S3
y
S2 (0,r,0)
(r,0,0)

Veamos como parametrizar  a S de forma que seancompatibles  con al orientacion de la


superficie. Sean u1 , v1 = v1 sin u
 1 1, v cos u1 , a , u2 2 = v2 cos u2 , v2 sin u2 , 0
, v
y u3 , v3 = r cos u3 , r sin u3 , v3 , parametrizaciones de S1 , S2 y S3 respectivamente.
Veamos que los vectores normales son salientes.

v1 cos u1 , v1 sin u1 , 0 sin u1 , cos u1 , 0


  
0, 0, v1 
N =
v1 cos u1 , v1 sin u1 , 0 sin u1 , cos u1 , 0 =
  = 0, 0, 1 .
v1

v2 sin u2 , v2 cos u2 , 0 cos u2 , sin u2 , 0


  
0, 0, v2 
N =  = = 0, 0, 1 .
v2 sin u2 , v2 cos u2 , 0 cos u2 , sin u2 , 0

v2

r sin u3 , r cos u3 , 0 0, 0, 1
  
r cos u3 , r sin u3 , 0 
N =  =
r sin u3 , r cos u3 , 0 0, 0, 1
 = cos u 3 , sin u3 , 0 .
r

z
N

N
y

N
x
ZZ




Consideremos el campo X : R3 R3 dado por X (x, y, z) = (0, 0, z). Hallar X
n.
S
ZZ ZZ ZZ ZZ





X
n = X
n+ X
n+ X
n.
S S1 S2 S3
8. Teorema de Stokes y de Gauss 59

ZZ



Como X N tenemos que X
n = 0.
S3 ZZ



X

Por otro lado, si calculamos X (u, v) = (0, 0, 0), entonces n = 0. Por lo tanto
S2
ZZ ZZ



X
n = X
n.
S S1
ZZ ZZ



X X (u, v) u v dudv
 
n =
S1 ZZ
= (0, 0, a) (0, 0, v)dudv
Z r Z 2 Zr
= avdudv = 2a vdv = ar2 .
0 0 0

Teorema 8.1.3 (de Stokes). Sea S una superficie en R3 , regular, orientada segun el


vector normal unitario N, con borde una curva regular o regular a trozos, cerrada, simple,


orientada coherentemente con la orientacion de S (regla de la mano derecha). Si X es un
campo vectorial C2 en algun abierto que contiene a S S. Entonces
ZZ Z



rot X
n = X ds.
S S

Teorema 8.1.4 (de Stokes para superficies parametrizadas). Sea C es una curva plana,
regular a trozos, cerrada, simple, orientada en sentido antihorario y designamos por U
a la componente conexa acotada de R2 C. Supongamos que : V R2 R3 es una
parametrizacion en algun abierto V que contiene a U C y sea S = (U). Es claro que S
es una superficie parametrizable y que S = (C) es una curva regular a trozos, simple,
cerrada que llamamos el borde de S.

v S
C
U
u



La orientacion de S queda determinada por la de C va . Si X es un campo vectorial
C2 en algun abierto que contiene a S S. Entonces
ZZ Z



rot X n = X ds.
S S
60 8.1. Teorema de Stokes

 
Demostracion. Sea la parametrizacion de C dada por (t) = U(t), V(t) t [a, b] .


Si X = P, Q, R entonces


 
R Q P R Q P
rot X = X = , , .
y z z x x y

Por otra parte, si (u, v) = X(u, v), Y(u, v), Z(u, v) ((u, v) U) entonces
 
(Y, Z) (Z, X) (X, Y)
u v = , , .
(u, v) (u, v) (u, v)
Necesitamos probar
ZZ ZZ 

  
R Q P R Q P (Y, Z) (Z, X) (X, Y)
rot X
n = , , , , dudv
S Z U y z z x x y (u, v) (u, v) (u, v)
= Pdx + Qdy + Rdz.
S

y para esto basta demostrar las tres igualdades siguientes


ZZ   Z
P (Z, X) P (X, Y)
dudv = Pdx
U z (u, v) y (u, v) S
ZZ   Z
Q (X, Y) Q (Y, Z)
dudv = Qdy
U x (u, v) z (u, v) S
ZZ   Z
R (Y, Z) R (Z, X)
dudv = Rdz
U y (u, v) x (u, v) S
Probaremos solo la primera igualdad, ya que las dos restantes admiten un razonamiento
analogo.     
Como (t) = (t) = X U(t), V(t) , Y U(t), V(t) , Z U(t), V(t) t [a, b] , se tiene
Z Zb
P (t) , 0, 0 0 (t)dt
 
Pdx =
S Zab  
 X 0 X 0
= P (t) U (t) + V (t) dt
Zab  u  v Z  
 X X 0 X X
= p (t) , (t)dt = p du + dv ,
u v (t) u v

a C

siendo p = P .
Ahora aplicamos el teorema de Green:
Z   ZZ     
X X X X
p du + dv = p p dudv
C u v ZZU u v v u
2 X 2 X

p X p X
= +p p dudv
ZZU  u v uv vu v u
p X p X
= dudv
U u v v u
8. Teorema de Stokes y de Gauss 61

  
Recordando que p(u, v) = P X u, v , Y u, v , Z u, v tenemos que
ZZ  
p X p X
dudv =
U u v v u

ZZ     
P X P Y P Z X P X P Y P Z X
= + + + + dudv
U x u y u z u v x v y v z v u
ZZ  
P (Z, X) P (X, Y)
= dudv.
U z (u, v) y (u, v)

Ejemplo 8.1.2 (Ley de Faraday). Una ley basica de la teora electromagnetica es que
si E(t, x, y, z) y B(t, x, y, z) representan los campos electrico y magnetico en el tiempo t,
entonces
B
rot E =
t
donde rot E se calcula manteniendo t fija.
Usemos el teorema de Stokes para determinar lo que esto significa fsicamente. Supon-
gamos que S es una superficie a la que se aplica el teorema de Stokes. Entonces
Z ZZ ZZ




B
E ds = rot E
n = n
S S S t

ZZ
=

B
n.
t S

(La ultima igualdad se puede justificar si B es de clase C1 ). As, obtenemos


Z ZZ


E ds = B
n.
S t S

Z


Esta igualdad se conoce como ley de Faraday. La cantidad E ds representa el voltaje
S
alrededorZZ
de S, y si S fuera un alambre, una corriente fluira en proporcion a este voltaje.
Ademas, B
n se llama flujo de B, o flujo magnetico. Luego, la ley de Faraday dice que
S
el voltaje alrededor de un lazo es igual al negativo de la tasa de cambio del flujo magnetico
a traves del lazo.

Ejemplo 8.1.3. Calcular  la circulacion del campo de velocidades de un fluido F(x, y, z) =


tan1 x2 , 3x, e3z tan z a lo largo de la interseccion de la esfera x2 + y2 + z2 = 4 con el
62 8.1. Teorema de Stokes

cilindro x2 + y2 = 1, con z > 0.

y
1 2

Apliquemos el teorema de Stokes. Para ello veamos que da el rotor de F:




i j k

rot(F) =
/x  /y /z = 0, 0, 3 .

tan1 x2 3x e3z tan z

La superficie sobre la cual vamos a trabajar es el casquete que resulta de intersectar la


media esfera con el cilindro, que admite la siguiente parametrizacion:
p 
(r, ) = r cos , r sin , 4 r2 , 0 r 1, 0 2.

El vector normal a la superficie es



i j k 2 r2
 
r = cos = r

sin r/ 4 r2 cos , sin , r .
r sin r cos 0

4 r2 4 r2

Como la coordenada en z es positiva el vector normal es saliente a la superficie que es la


orientacion compatible con la orientacion dada en la curva.
Z ZZ ZZ Z 1 Z 2
rot F r drd =

F ds = rot F n = 3rdrd = 3.
C S D 0 0

8.1.1. Extensiones del teorema de Stokes

El teorema de Stokes puede extenderse a regiones regulares simples mas generales. Si


U es una region multiplemente conexa (con un numero finito de agujeros) y : U S es
8. Teorema de Stokes y de Gauss 63

una parametrizacion. Entonces S tendra la misma cantidad de agujeros.

C1
C2 C3
S
C

1 U
2 3

Siguiendo el mismo razonamiento utilizado para la demostracion vista del teorema de


Stokes pero aplicando el teorema d Green generalizado, en lugar de una integral de lnea
precisamos una suma de integrales de lnea, con los signos adecuados (dependiendo de la
orientacion de la superficie), tomadas sobre las imagenes de las curvas que forman parte
de la frontera de U. Por ejemplo, si U tiene frontera como se muestra en la figura y las
curvas se recorren en el sentido que se ilustra, y la parametrizacion es compatible con la
orientacion de S la identidad del teorema de Stokes toma la forma
ZZ Z Z Z Z






rot X n = X ds + X ds + X ds + X ds.
S C C1 C2 C3

El teorema de Stokes tambien puede generalizarse a superficies regulares no simples.


Veamos algunos ejemplos. Veamos algunos ejemplos.
Consideremos primero el cilindro dibujado en la siguiente figura.

,
C1


R1 R2 S1 S2 N2

N1 ,
1 2 C2

Es la reunion de dos superficies parametricas regulares simples S1 y S2 imagenes de dos


rectangulos adyacentes R1 y R2 a traves de las aplicaciones 1 y 2 , respectivamente.
Si 1 describe la frontera 1 positivamente orientada, de R1 y 2 la frontera 2 de R2
asimismo orientada positivamente, las funciones 1 y 2 definidas por
 
1 (t) = 1 1 (t) , 2 (t) = 2 2 (t)
64 8.1. Teorema de Stokes

describen las imagenes C1 y C2 , de 1 y 2 respectivamente. En este ejemplo las represen-


taciones 1 y 2 pueden elegirse de modo que esten de acuerdo en la interseccion 1 2 .
Si aplicamos el teorema de Stokes a cada parte S1 y S2 y sumamos las dos identidades,
obtenemos:
ZZ ZZ Z Z





rot X N1 dS + rot X N2 dS = X d1 + X d2 , (8.1)
S1 S2 C1 C2

donde N1 y N2 son los versores normales determinados por los productos vectoriales de
1 y 2 , respectivamente.
Representemos con la aplicacion de R1 R2 que coincide con 1 en R1 y con 2
en R2 , y sea N el correspondiente normal unitario determinado por el producto vectorial
fundamental de . Ya que las normales N1 y N2 coinciden en direccion en S1 S2 , N es
igual a N1 en S1 e igual a N2 en S2 . Por consiguiente, la suma de las integrales de superficie
del primer miembro de 8.1 es igual a
ZZ


rot X NdS.
S1 S2

En este ejemplo, las representaciones 1 y 2 pueden elegirse de modo que 1 y 2 de-


terminen direcciones opuestas en cada arco de la interseccion C1 C2 , como indican las
flechas en la figura. Las dos integrales de lnea del segundo miembro de 8.1 pueden reem-
plazarse por una suma de integrales de lnea a lo largo de las dos circunferencias C10 y C20
que forman el borde superior e inferior de S1 S2 , puesto que las integrales de lnea a lo
largo de cada arco de la interseccion C1 C2 se cancelan. Por lo tanto, la ecuacion 8.1
puede escribirse en la forma
ZZ Z Z




rot X NdS = X d1 + X d2 , (8.2)
S1 S2 C10 C20

donde las integrales de lnea se calculan en las direcciones deducidas de las de 1 y 2 .


Las dos circunferencias C10 y C20 forman la frontera completa de S1 S2 . La ecuacion 8.2


expresa la integral de superficie de rot X N sobre S1 S2 como una integral de lnea sobre
la frontera completa de S1 S2 . Esa ecuacion es la extension del teorema de Stokes a un
cilindro.
Otra superficie orientable es la esfera dibujada en la siguiente figura.

N1
S1

S2

N2
8. Teorema de Stokes y de Gauss 65

Es la union de dos superficies parametricas simples (hemisferios) S1 y S2 , que pueden


considerarse imagenes de un disco circular del plano xy a traves de las aplicaciones 1 y
2 , respectivamente. Damos a , 1 , 2 , C1 , C2 el mismo significado que en el ejemplo
anterior. En este caso las curvas Cl y C2 estan identificadas por la aplicacion (coinciden
a lo largo del ecuador), y la superficie S1 S2 se llama cerrada. Ademas, N1 y N2 pueden
elegirse de modo que las direcciones determinadas por 1 y 2 sean opuestas en Cl y C2 ,
como se indica con flechas en la figura. (Esto ocurre porque S1 S2 es orientable). Si
aplicamos el teorema de Stokes a cada hemisferio y sumamos los resultados obtenemos la
ecuacion 8.1, como antes. Las normales N1 y N2 coinciden en la interseccion C1 C2 , y
podemos reunir las integrales sobre S1 y S2 en una sobre toda la esfera.
Las dos integrales de lnea del segundo miembro de 8.1 se reducen, y nos queda la formula
ZZ


rot X NdS = 0.
S1 S2

Este resultado es valido para toda superficie cerrada orientable.

8.2. Reconstruccion de un campo vectorial a partir de su


rotor
Al estudiar el gradiente de un campo escalar vimos criterios que permiten determinar si
un campo vectorial es o no un gradiente. Consideramos ahora la pregunta analoga relativa
al rotor de un campo vectorial. Dado un campo vectorial Y, hay un campo X tal que
rot X = Y?  
Supongamos que Y = P, Q, R y X = L, M, N . Para resolver la ecuacion rot X = Y
tenemos que resolver el sistema de ecuaciones diferenciales en derivadas parciales

N M L N M L
= P, = Q, =R (8.3)
y z z x x y

en las que P, Q y R son conocidas y L, M, N son las funciones incognitas.


No siempre es posible resolver tal sistema. Por ejemplo, demostramos en la seccion 5.2
que la divergencia de un rotor es siempre cero. Por tanto, para que el sistema 8.3 tenga
solucion en un cierto conjunto abierto S es necesario que

P Q R
+ + =0 (8.4)
x y z

en todo S. Esta condicion es tambien suficiente si restringimos convenientemente el con-


junto S en el que se verifica 8.4.

Teorema 8.2.1. Si Y es un campo de clase C1 en un intervalo abierto S de R3 , entonces


existe un campo vectorial X tal que rot X = Y si y solo si div Y = O en todo S (es decir si
Y es solenoidal).
66 8.2. Reconstruccion de un campo vectorial a partir de su rotor

Demostracion. La necesidad de la condicion div Y = 0 ha sido ya establecida, puesto que la


divergencia de un rotor siempre es cero. Para probar la suficiencia tenemos que encontrar
tres funciones L, M y N que satisfagan las tres ecuaciones 8.3. Intentemos resolver el
problema tomando L = 0. Entonces la segunda y tercera ecuaciones 8.3 se transforman en
N M
= Q, = R.
x x
Entonces Zx
N(x, y, z) = Q(t, y, z)dt + f(y, z)
x0
y Zx
M(x, y, z) = R(t, y, z)dt + g(y, z)
x0

donde cada integracion se efectua a lo largo de un segmento rectilneo contenido en S y


las constantes de integracion f(y, z) y g(y, z) son independientes de x.
Para hallar una solucion supongamos f(y, z) = 0. La primera ecuacion de 8.3 exige

N M
=P (8.5)
y z
Segun la eleccion de M y N tenemos
Z Z
N M x x g
= Q(t, y, z)dt R(t, y, z)dt . (8.6)
y z y x0 z x0 z

Intercambiando los operaciones de derivacion parcial e integracion tenemos que


Z Zx
x
Q(t, y, z)dt = Q(t, y, z)dt
y x0 x0 y
Z Zx
x
R(t, y, z)dt = R(t, y, z)dt
z x0 x0 z
Con ello la ecuacion se convierte en
Zx  
N M g
= Q(t, y, z) R(t, y, z) dt .
y z x0 y z z

Como la divergencia es cero, tenemos que


Zx
N M g g
= P(t, y, z)dt = P(x, y, z) P(x0 , y, z) .
y z x0 x z z

g
Por consiguiente, 8.5 se verifica si elegimos g de modo que = P(x0 , y, z). As, por
z
ejemplo, podemos tomar Zz
g(y, z) = P(x0 , y, u)du.
z0
8. Teorema de Stokes y de Gauss 67


Este razonamiento nos lleva a considerar el campo vectorial X = L, M, N , donde L(x, y, z) =
0y

Zx Zz Zx
M(x, y, z) = R(t, y, z)dt P(x0 , y, u)du, N(x, y, z) = Q(t, y, z)dt
x0 z0 x0

Observar que la demostracion anterior no solo establece la existencia de un campo vec-


torial X cuyo rotor es Y, sino que tambien proporciona un metodo directo para determinar
X por medio de integrales calculadas con los componentes de Y.
Para una Y dada, el campo vectorial X que hemos construido no es la unica solucion
de la ecuacion rot X = Y. Si sumamos a X cualquier gradiente derivable con continuidad
f obtenemos otra solucion ya que

 
rot X + f = rot X + rot f = rot X = Y,

puesto que rot f = 0. Ademas, es facil demostrar que todas las soluciones de clase C2


deben ser de la forma X + f. En realidad, si Z es otra solucion, entonces rot Z = rot X,


de manera que rot Z X = 0. Entonces Z X = f para algun gradiente de clase C2 .
Luego Z = X + f, como se afirmo.

Un campo vectorial X para el que div X = O suele llamarse solenoidal. El teorema


anterior establece que un campo vectorial es solenoidal en un paraleleppedo rectangular
abierto S si y solo si, es el rotor de otro campo vectorial en S.
El ejemplo que sigue demuestra que esta afirmacion no es valida para conjuntos abiertos
cualesquiera.

Ejemplo 8.2.1 (Un campo vectorial solenoidal que no es un rotor). . Sea D la region de
R3 comprendida entre dos esferas concentricas de centro en el origen y radios a y b, siendo
1
0 < a < b. Sea V(x, y, z) = 3/2 (x, y, z). Es facil comprobar que div V = O
x2 + y2 + z2
en todo D.
Usaremos el teorema de Stokes para demostrar que V no es un rotacional en D (si bien lo es
en todo intervalo tridimensional abierto que no contenga el origen). Para ello supongamos
que existe un campo vectorial U tal que V = rot U en D y llegamos a una contradiccion.
Segun el teorema de Stokes podemos escribir

ZZ Z
rot U ndS = U ds,
S S
68 8.3. Teorema de Gauss

donde S Y C son la superficie y la curva dibujada en la figura anterior. Para construir


S, tomamos una superficie esferica de radio R concentrica con las fronteras de D, siendo
a < R < b, y quitamos un pequeno casquete polar como se indica en la figura. La parte
que queda es la superficie S. La curva C es el borde circular dibujado. Representemos con
N la normal unitaria exterior a S, de modo que N =
r /r. Puesto que rot U = V = r /r3 ,
tenemos

r r 1
rot U N = 3 = 2.
r r r
Sobre la superficie S este producto vectorial tiene el valor constante 1/R2 . Por lo tanto,
tenemos, ZZ ZZ
1 area de S
rot U NdS = 2 dS = .
S R S R2
Cuando el casquete polar degenera en un punto el area de S tiende a 4R2 (area de toda
la esfera) y por consiguiente, el valor de la integral de superficie tiende a 4.
Examinemos ahora la integral de lnea. Recordar que tenemos la siguiente propiedad
para toda integral de lnea.
Z

U ds M(longitud deC)

C

donde M es el maximo de kUk en C. Por consiguiente, al reducir el casquete polar a un


punto, la longitud de C y el valor de la integral de lnea tienden ambos a cero. Llegamos
as a una contradiccion; la integral de superficie tiende a 4, y la correspondiente integral
de lnea a la que es igual tiende a 0. Luego no puede existir en la region D una funcion U
cuyo rotor sea V.

8.3. Teorema de Gauss


El teorema de Stokes expresa una relacion entre una integral extendida a una superficie
y una integral de lnea tomada sobre la curva o curvas que constituyen la frontera de tal
superficie. El teorema de la divergencia expresa una relacion entre una integral triple
extendida a un solido y una integral de superficie tomada sobre la frontera de ese solido.
Este teorema asegura que el flujo de un campo vectorial hacia afuera de una superficie
8. Teorema de Stokes y de Gauss 69

cerrada es igual a la integral de la divergencia de ese campo vectorial sobre el volumen


encerrado por la superficie. Se trata de un resultado paralelo al teorema de Stokes y al
de Green, en el sentido de que relaciona una integral sobre un objeto geometrico cerrado
(curva o superficie) con una integral sobre una region contenida (superficie o volumen).

Teorema 8.3.1. Si V es un solido en R3 limitado por una superficie orientable S, si N


es la normal unitaria exterior a S.
N

V
S



Si X es un campo vectorial de clase C1 en un abierto que contiene a V S entonces
tenemos ZZZ ZZ



div X dV = X N. (8.7)
V S
 
Si expresamos X y N en funcion de sus componentes X = P, Q, R y N = cos , cos , cos ,
la ecuacion 8.7 puede entonces ponerse en la forma:
ZZZ   ZZ
P Q R 
+ + dxdydz = P cos + Q cos + R cos dS. (8.8)
V x y z S

Demostracion. Bastara establecer las tres ecuaciones


ZZZ ZZ
P
dxdydz = P cos dS,
V x S
ZZZ ZZ
Q
dxdydz = Q cos dS,
V y S
ZZZ ZZ
R
dxdydz = R cos dS.
V z S
y sumar los resultados para obtener 8.8. Comenzamos por la tercera de esas formulas y la
demostramos para solidos de tipo especial.
Supongamos que V es un conjunto de puntos (x, y, z) que satisfacen una relacion de la
forma
g(x, y) z f(x, y) para (x, y) en T,
siendo T una region conexa del plano xy, y f y g funciones continuas en T , con la condicion
g(x, y) f(x, y) para cada punto (x, y) en T . Geometricamente, esto significa que T es
la proyeccion de V en el plano xy. Toda recta paralela al eje z que atraviese T corta
al solido V a lo largo de un segmento rectilneo que une la superficie z = g(x, y) a la
70 8.3. Teorema de Gauss

z = f(x, y). La superficie frontera S consta de un casquete superior S1 , dado en la forma


explcita z = f(x, y), otro inferior S2 dado por z = g(x, y); y en algunos casos por una
porcion de cilindro S3 generado por una recta que se mueve a lo largo de la frontera de T
manteniendose paralela al eje z, La normal exterior a S tiene componente z no negativa
en S1 y no positiva en S2 y es paralela al plano xy en S3 . Los solidos de este tipo se llaman
proyectables-xy. (En la siguiente figura se muestra un ejemplo.)

z
N
S1

S3 N

S2
N
y

x T

En el se incluyen todos los solidos convexos (por ejemplo, esferas, elipsoides, cubos) y
otros muchos que no son convexos (por ejemplo, el toro con eje paralelo al z). La idea de
la demostracion es sencilla. Expresamos la integral triple como una doble extendida a la
proyeccion T . Entonces demostramos que esta integral doble tiene el mismo valor que la
integral de superficie citada en el enunciado. Comencemos con la formula
ZZZ ZZ "Z f(x,y) #
R R
dxdydz = dz dxdy.
V z T g(x,y) z

La integral unidimensional respecto a z puede calcularse mediante el segundo teorema


fundamental del calculo, dandonos
ZZZ ZZ
R   
dxdydz = R x, y, f(x, y) R x, y, g(x, y) dxdy.
V z T

Para la integral de superficie podemos escribir:


ZZ ZZ ZZ ZZ
R cos dS = R cos dS + R cos dS + R cos dS
S S1 S2 S3

Sobre S3 la normal N es paralela al plano xy, de modo que cos = 0 y la integral sobre
S3 es nula. Sobre la superficie S1 usamos la parametrizacion

(x, y) = x, y, f(x, y)
8. Teorema de Stokes y de Gauss 71

y sobre S2 
(x, y) = x, y, g(x, y) .
Entonces, como la normal a S1 tiene la misma direccion que el vector unitario definido por
la parametrizacion: ZZ ZZ
 
R cos dS = R x, y, f(x, y) dxdy
S1 T
Como en S2 la normal es opuesta a la direccion definida por la parametrizacion se tiene
que ZZ ZZ
 
R cos dS = R x, y, g(x, y) dxdy.
S2 T
Por lo tanto
ZZ ZZ
   
R cos dS = R x, y, f(x, y) R x, y, g(x, y) dxdy.
S T

Lo cual termina de demostrar que


ZZZ ZZ
R
dxdydz = R cos dS.
V z S

En la demostracion anterior la hipotesis de que V es proyectable-xy nos permite expre-


sar la integral triple extendida a V como una integral doble sobre su proyeccion T sobre
el plano xy. Es evidente que si V es proyectable-yz podemos razonar del mismo modo y
demostrar la identidad ZZZ ZZ
Q
dxdydz = Q cos dS,
V y S
y si V es proyectable-xz obtenemos
ZZZ ZZ
P
dxdydz = P cos dS.
V x S

As vemos que el teorema de la divergencia es valido para todos los solidos proyectables
sobre los tres planos coordenados; en particular, para todo solido convexo.


Ejemplo 8.3.1. Sea S = (x, y, z) R3 : x2 + y2 + z2 = 1 y X (x, y, z) = 2x, y2 , z2 . Se


tiene: ZZ ZZZ ZZZ




 8
XN= div X dV = 2 + 2y + 2z dV = .
S V V 3

8.3.1. Interpretacion intrnseca de la divergencia

Sea S(t) una esfera de radio t > O con centro en el punto a de R3 Y representemos
con V(t) el volumen delimitado por S(t). Consideremos X un campo vectorial de clase C1
en V(t). Entonces, si N es la normal unitaria exterior a S, tenemos
ZZ
1
div X(a) = lm  X NdS.
t0 vol V(t) S(t)
72 8.3. Teorema de Gauss

Veamos como se deduce esta igualdad.


Sea = div X. Si > 0 tenemos que encontrar un > 0 tal que
ZZ
1
(a) X NdS < si 0 < t < .


vol V(t) S(t)

Puesto que es continua en a dado existe una tres esfera B(a, ) tal que

|(x) (a)| <
2
para todo x B(a, ).
 
Por consiguiente, si escribimos (a) = (x) + (a) (x) e integramos ambos
miembros de esta ecuacion sobre la esfera V(t) de radio t < , encontramos
ZZZ ZZZ
 
(a) vol V(t) = (x)dxdydz + (a) (x) dxdydz.
V(t) V(t)

Si aplicamos el teorema de la divergencia a la primera integral triple del segundo miembro


y pasamos este termino al primer miembro, obtenemos la relacion,
ZZ ZZZ
(a) (x) dxdydz vol V(t) < vol V(t).

(a) vol V(t) X NdS

S(t) V(t) 2

Cuando dividimos esta desigualdad por vol V(t) vemos que la igualdad que queramos es
cierta.
En la demostracion anterior no hacemos uso especial del hecho de que V(t) fuese una
esfera. El mismo teorema subsiste si, en lugar de esferas, utilizamos cualquier conjunto de
solidos V(t) para los que el teorema de la divergencia es valido, con tal que esos solidos
contengan el punto a y tiendan hacia a cuando t 0. Por ejemplo, cada V(t) podra ser
un cubo inscrito en una esfera de radio t en torno de a; se aplicara exactamente la misma
demostracion.

Existe una formula analoga a la de la divergencia que a veces se usa como otra definicion
de rotacional. Dicha formula es:
Z
1
N rot X(a) = lm = X ds,
t0 Area S(t) C(t)

donde S(t) y C(t) tienen el significado analogo que en el caso de la divergencia.

8.3.2. Ley de Gauss del electromagnetismo


Recordemos que el campo electrico generado por una carga viene dado por
q
r 1 (x, y, z)
E(r) = 3
= q .
40 r 40 x2 + y2 + z2 3/2
8. Teorema de Stokes y de Gauss 73

La ley de Gauss afirma que el flujo de E a traves de cualquier superficie cerrada que
q
encierre a q es igual a .
0
Para probar esta afirmacion comencemos con probar que E es solenoidal (div E = 0)
en todo R3 {(0, 0, 0)}.

X 1/2
x2 + y2 + z2 x2 + y2 + z2 3x2

=
x
Y 1/2
x2 + y2 + z2 x2 + y2 + z2 3y2

=
y
Z 1/2
x2 + y2 + z2 x2 + y2 + z2 3z2

=
z
Entonces
X Y Z
div E = + +
x y z
2 2 2 1/2 2
x + y2 + z2 3x2 + x2 + y2 + z2 3y2 + x2 + y2 + z2 3z2 = 0
 
= x +y +z

Sean M y T como se muestra en la siguiente figura

N
N

N M
q M
T
T

RR RR
Queremos probar que M E n = T E n Sea la region entre M y T entonces
tiene frontera M T = S. Pero la orientacion en T inducida por la normal exterior


en es opuesta a la obtenida a partir de N. Entonces aplicando el teorema de Gauss
tenemos que ZZ ZZ ZZ ZZZ


E n

E n =

E n = div EdV = 0.
M T S
Entonces el flujo no depende de la superficie.
74 8.3. Teorema de Gauss
Captulo 9

Formas diferenciales


Si X = P1 , P2 , P3 entonces
Z Z
X ds = P1 dx1 + P2 dx2 + P3 dx3 .
C C

Veremos una nueva forma de hallar esta integral, para ello daremos una nueva interpreta-
cion al termino P1 dx1 + P2 dx2 + P3 dx3 .
Sea dxk : Rn R la proyeccion en la k-esima coordenada, es decir, si a = a1 , . . . , an


entonces dxk (a) = ak .



Ejemplo 9.0.2. Si a = 1, 1, 3 entonces dx1 (a) = 1, dx2 (a) = 1 y dx3 (a) = 3.

Si F1 , . . . , Fn son campos escalares definido en un abierto D Rn , para cada x D


podemos considerar la combinacion lineal

x = F1 (x)dx1 + + Fn (x)dxn

donde x esta definida por

x (a) = F1 (x)dx1 (a) + + Fn (x)dx1 (a) (9.1)

para todo a Rn .
Ejemplo 9.0.3. Si (x,y) = x2 dx + y2 dy en R2 entonces
(x,y) (a, b) = ax2 + by2 y (1,3) (a, b) = a + 9b.

Una funcion definida como en 9.1 se llama 1-forma diferencial o simplemente 1-


forma.
Ejemplo 9.0.4. Sea f : D R una funcion diferenciable.
 Entonces el diferencial de f en
x es una 1-forma en D ya que si a = a1 , a2 , a3 entonces
f f f
dx f(a) = (x)a1 + (x)a2 + (x)a3
x1 x2 x3
f f f
= (x)dx1 (a) + (x)dx2 (a) + (x)dx3 (a)
x1 x2 x3

75
76

f
Por lo tanto las funciones coeficientes Fk (x) tienen la forma xk (x). Sin embargo no toda
2f 2f
1-forma es el diferencial de una funcion escalar. Si f es de clase C2 entonces x1 x2
= x2 x 1
F1 F2
pero en general x2 6= x1 .

Ejemplo 9.0.5. Si x es la 1-forma definida en D R3 y C es una curva en D para-


metrizada por : [a, b] D, entonces en cada punto x = (t) podemos aplicar (t) al
vector 0 (t).

(t) 0 (t) = F1 (t)dx1 0 (t) + F2 (t) dx2 0 (t)  + F3 (t) dx3 0 (t)
      

= F1 (t) 10 (t) + F2 (t) 20 (t) + F3 (t) 30 (t)


= F (t) 0 (t)
Zb Zb Z
0 0

 
(t) (t) dt = F (t) (t)dt = F ds.
a a C

El ejemplo anterior sugiere un definicion natural de integral de una 1-forma a lo largo de


. Si x esta definida en D Rn y C es una curva en D parametrizada por : [a, b] D,
entonces Z Zb
x = F (t) 0 (t)dt

C a

donde el campo F = F1 , . . . , Fn esta formado por las funciones coeficiente de la 1-forma.

Definicion 9.0.2 (producto de 1-formas). Primero definamos el producto de 1-formas


basicas dx1 , dx2 , dx3 en R3 .
   
dx1 (a) dx1 (b) a1 b1
dx1 dx2 (a, b) = det = det = a1 b2 a2 b1 ,
dx2 (a) dx2 (b) a2 b2
 
donde a = a1 , a2 , a3 y b = b1 , b2 , b3 .
La definicion de todos los productos en cualquier orden es:
 
dxi (a) dxi (b)
dxi dxj (a, b) = det .
dxj (a) dxj (b)

Por propiedades del determinante tenemos las siguientes propiedades:

dxi dxj = dxj dxi ,

dxi dxi = 0,
dxi dxj (a, b) = dxi dxj (b, a).

Observemos que la combinacion lineal mas general de las funciones dxi dxj puede
ser expresada de la forma

c1 dx2 dx3 + c2 dx3 dx1 + c3 dx1 dx2 .


9. Formas diferenciales 77

Ademas, si F = F1 , F2 , F3 es un campo vectorial definido en D R3 , para cada x D




podemos definir la funcion

x = F1 (x)dx2 dx3 + F2 (x)dx3 dx1 + F3 (x)dx1 dx2

que tiene como dominio el conjunto de todos los pares (a, b) de R3 . La funcion x se llama
2-forma diferencial o simplemente 2-forma.

Ejemplo 9.0.6. La 2-forma = 2dx2 dx3 + dx3 dx1 + 5dx1 dx2 es la misma funcion
en cada punto de R3 ya que los coeficientes son constantes. Sea a = (1, 2, 3) y b = (0, 1, 1),
entonces
     
2 1 3 1 1 0
(a, b) = 2 det + det + 5 det = 2 1 + 5 = 2.
3 1 1 0 2 1

Podemos resumir lo visto hasta el momento notando que hemos definido una multipli-
cacion, llamada producto exterior de las 1-formas basicas dx1 , dx2 , etc. Los productos
resultantes denotados por dxi dxj son 2-formas basicas en el sentido de que toda 2-forma
es combinacion lineal de ellas.
En R2 hay una solo 2-forma basica dx1 dx2 , mientras que R3 hay tres dx1 dx2 , dx2 dx3 ,
dx3 dx1 . Observar que en R1 no hay 2-formas.
Podemos definir el producto exterior de dos 1-formas como la 2-forma obtenida multipli-
cando las 1-formas como si fueran polinomios en las variables dx1 , dx2 , etc.

Ejemplo 9.0.7. Sean dx, dy, dz las 1-formas basicas de R3 .

xdx + y2 dy dx + xdy = xdx dx + x2 dx dy + y2 dy dx + xy2 dy dy


 

= x2 y2 dx dy.

En tres variables:
dx + dy + dz xdx + zdy = xdx dx + zdx dy + xdy dx + zdy dyxdz dx + zdz dy
 

= z x dx dy + xdz dx + zdz dy.

Las 3-formas surgen cuando se trata de definir el producto de una 2-forma con una
1-forma.

a1 b1 c1
dx1 dx2 dx3 (a,b,c) = det a2 b2 c2
a3 b3 c3
  
donde a = a1 , a2 , a3 , b = b1 , b2 , b3 y c = c1 , c2 , c3 .
En general, si a = a1 , . . . , ap es una p-upla de vectores en Rn , donde p 1 definimos


dxk1 dxk2 dxkp a1 , . . . , ap = det dxki aj i = 1, . . . , p


 
j = 1, . . . , p

las p-formas basicas de Rn . Una p-forma es combinacion lineal de las p-formas basicas.
78 9.1. Derivada exterior

Sea p una p-forma en Rn , de igual forma que hicimos con 1-formas vamos a definir
la integral sobre una variedad de dimension p en Rn , dada por una parametrizacion :
U Rp Rn , supongamos que U es un rectangulo acotado en Rp . Podemos aplicar p

en el punto (u) a los vectores derivadas parciales (u), para k = 1, . . . , p.
uk
 

p(u) (u), . . . , (u) .
u1 up
Z Z  
p
= p
,..., dV.
S U u1 up
Ejemplo 9.0.8. Si 2x = F1 (x)dx2 dx3 +F2 (x)dx3 dx1 +F3 (x)dx1 dx2 tiene coeficientes
continuos en R3 y : R R2 R3 con funciones coordenadas 1 , 2 , 3 entonces
 
(2 , 3 ) (3 , 1 ) (1 , 2 )
, = F1 + F2 + F3
u1 u2 (u1 , u2 ) (u1 , u2 ) (u1 , u2 )
Z Z
= 2
F1 dx2 dx3 + F2 dx3 dx1 + F3 dx1 dx2
S ZS
(2 , 3 ) (3 , 1 ) (1 , 2 )
= F1 + F2 + F3 du1 du2 .
R (u1 , u2 ) (u1 , u2 ) (u1 , u2 )

9.1. Derivada exterior


df
El teorema fundamental del calculo dice que si dx es integrable en [a, b] entonces
Zb
df
dx = f(b) f(a).
a dx
Las formulas de Stokes y Gauss dicen que
Z Z
rot X dS = X ds
S S
Z Z
div XdV = X ndS
V V
son analogas, porque ellas expresan la integral de un tipo de derivada de una funcion en
terminos de la integral de la funcion en una region de dimension uno menos.
La operacion de derivacion exterior se define inductivamente para las formas dife-
renciales como sigue: Si f es un campo escalar de clase C1 en Rn
f f
df = dx1 + + dxn .
x1 xn
Definimos la derivada exterior de f como la 1-forma cuyo valor en cada punto del dominio
de f es lo que hemos llamado el diferencial de f en ese punto.
9. Formas diferenciales 79

Si 1 = f1 dx1 + + fn dxn es una 1-forma con coeficientes diferenciables, entonces


definimos su derivas exterior como

d1 = df1 dx1 + + dfn dxn


 

que resulta ser una 2-forma.


En general, si p es una p-forma, entonces dp es una (p+1)-forma obtenida reemplazan-
do cada una de las funciones coeficiente de p por la 1-forma que es su derivada exterior
y hacemos el producto exterior por la forma basica correspondiente.
Ejemplo 9.1.1. Sea f(x, y) = x2 + y3 entonces su derivada exterior df esta dada por

df = 2xdx + 3y2 dy.

Sea la 1- forma (x,y) = xydx + x2 + y2 dy, entonces su derivada exterior es




d(x,y) = ydx + xdy dx + 2xdx + 2ydy dy = xdx dy.


 

Consideremos la 2-forma 2(x,y,z) = xzdx dy + y2 zdx dz, la 3-forma derivada exterior


de es

d2(x,y,z) = zdx + xdz dx dy + 2yzdy + y2 dz dx dz = x 2yz dx dy dz.


  

Usando la derivada exterior podemos formular el teorema general de Stokes en la


formula: Z Z
p
d = p , (9.2)
B B
donde B es de dimension p + 1 y B es de dimension p.
Veamos como recuperamos los teorema de de Green, Stokes y Gauss a partir de este
resultado.

1. Sea 1 una 1-forma en R2 : Si la 1-forma esta dada por 1 = F1 dx1 + F2 dx2 entonces
   
F1 F1 F2 F2
d1 = dx1 + dx2 dx1 + dx1 + dx2 dx2
 x1 x
2 x1 x2
F2 F1
= dx1 dx2
x1 x2

Sustituyendo 1 y d1 en la formula 9.2 tenemos que


Z   Z
F2 F1
dx1 dx2 = F1 dx1 + F2 dx2 .
B x1 x2 B

2. Si 1 una 1-forma en R3 dada por 1 = F1 dx1 + F2 dx2 + F3 dx3 entonces, repitiendo


los calculos del caso anterior tenemos que
     
F3 F2 F1 F3 F2 F1
d =1
dx2 dx3 + dx3 dx1 + dx1 dx2 .
x2 x3 x3 x1 x1 x2
80 9.1. Derivada exterior

La 2-forma d1 tiene por funciones coordenadas las funciones coordenadas del rot F,
donde F = F1 , F2 , F3 . Luego si sustituimos en 9.2
Z      
F3 F2 F1 F3 F2 F1
dx2 dx3 + dx3 dx1 + dx1 dx2
B x2 x3 x3 x1 x1 x2
=
Z
F1 dx1 + F2 dx2 + F3 dx3 .
B

3. La formula de Gauss se obtiene considerando la 2-forma 2 = F1 dx2 dx3 + F2 dx3


dx1 + F3 dx1 dx2 . Entonces

d2 = dF1 dx2 dx3 + dF2 dx3 dx1 + dF3 dx1 dx2


F1 F2 F3
= dx1 dx2 dx3 + dx2 dx3 dx1 + dx3 dx1 dx2
x
 1  x 2 x 3
F1 F2 F3
= + + dx1 dx2 dx3 .
x1 x2 x3

por lo cual la formula 9.2 queda


Z   Z
F1 F2 F3
+ + dx1 dx2 dx3 = F1 dx2 dx3 +F2 dx3 dx1 +F3 dx1 dx2 .
B x1 x2 x3 B

La correspondencia entre campos vectoriales F = F1 , F2 , F3 en R3 y formas diferencia-




les puede resumirse de la siguiente manera: la forma diferencial tiene coeficientes F1 , F2 , F3 .


Entonces la relacion es:
2 F d2 div F,
1 F d1 rot F,
0 f d0 f.

También podría gustarte