Curvas, Supercies e Integrales

Gabriel Acosta y Noem Wolanski

Indice general
Preliminares 5
Captulo 1. Curvas 7
1. Parametrizaciones y suavidad 7
Ejercicios 12
2. Longitud de una curva 15
Ejercicios 21
3. Integral de longitud de arco 22
Ejercicios 24
4. Integrales curvilneas 25
Ejercicios 28
Captulo 2. Supercies 31
1. Parametrizaciones y suavidad 31
Ejercicios 36
2. Area de una supercie 37
3. Integral de supercie 38
4. Orientacion de supercies y ujo a traves de una supercie 41
Ejercicios 44
Bibliografa 47
3
Preliminares
En estas notas se presentan los temas de curvas, supercies e integrales sobre curvas y
supercies como se daran en un primer curso para alumnos de Analisis II / Matematica 3 en
la Facultad de Ciencias Exactas y Naturales de la UBA.
Se trata de presentar los temas sin un exagerado formalismo pero sin perder las ideas
geometricas subyacentes.
Por lo tanto, se trata de evitar identicar una curva o una supercie con una parametrizacion
de la misma. Del mismo modo, se busca que las deniciones de recta (resp. plano) tangente sean
intrnsecas a la curva (resp. supercie).
En el caso de curvas, siguiendo el libro de Apostol [1] se dene recticabilidad y longitud de
una curva en forma intrnsecas y se prueba la formula que permite calcular la longitud a partir
de una parametrizacion.
Con la misma logica, se dene la integral con respecto a longitud de arco de una funcion
contnua, y correspondientemente, la integral curvilnea de un campo en forma intrnseca a partir
de motivaciones fsicas sobre el interes de estos calculos. Las formulas para el calculo utilizando
parametrizaciones es una consecuencia inmediata de las deniciones y de las formulas para la
longitud.
En el caso de supercies, se dene el plano tangente en forma intrnseca y luego se obtiene
su ecuacion a partir de una parametrizacion. El calculo del area se sugiere hacerlo utilizando
una parametrizacion siguiendo, por ejemplo, el libro de Marsden y Tromba [3].
Como en el caso de curvas, una vez que se tiene una forma de calcular el area, las deniciones
de integral de supercie de una funcion continua y de ujo de un campo a traves de una supercie
se realizan a partir de aplicaciones fsicas y puede hacerse de manera bastante intrnseca.
Agregamos en cada captulo los ejercicios que se sugieren a los alumnos sobre estos temas.
El curso concluye con los Teoremas del Calculo Integral (Green, Stokes y Gauss) y aplica-
ciones al modelado de fenomenos de la fsica (Ley de conservacion de masa, Ecuacion del Calor,
Ecuaciones de Maxwell). No incluimos estos temas que estan muy bien expuestos en [3].
5
CAPTULO 1
Curvas
1. Parametrizaciones y suavidad
Definici on 1.1. Una curva ( R
3
es un conjunto de puntos en el espacio que puede
describirse mediante un parametro que vara en forma continua en un intervalo de la recta.
Mas precisamente, ( es una curva si existen funciones x(t), y(t), z(t) denidas en alg un
intervalo [a, b] tales que (x, y, z) ( si y solo si existe t [a, b] tal que
_

_
x = x(t),
y = y(t),
z = z(t)
Llamemos : [a, b] R
3
a la funcion (t) =
_
x(t), y(t), z(t)
_
. Entonces, ( es la imagen por
del intervalo [a, b]. se llama una parametrizacion de ( .
El ejemplo mas elemental de curva en el plano es el graco de una funcion continua f :
[a, b] R. El graco es una curva que admite la parametrizacion, con t [a, b],
_
x(t) = t
y(t) = f(t)
Pero, a un en el plano hay curvas que no son el graco de ninguna funcion. Por ejemplo, una
circunferencia. Para un ejemplo en el espacio ver la gura 1.
Uno de los conceptos importantes al tratar con curvas es el de recta tangente a la curva en
un punto P
0
(. Se trata de la recta por P
0
que mejor aproxima a ( en un entorno de P
0
.
Este concepto ya se vio en el caso en que ( R
2
es el graco de una funcion. Recordemos su
denicion que es valida para cualquier curva.
Definici on 1.2. Sea ( una curva, P
0
(. Una recta L por P
0
se llama tangente a ( en P
0
si es el lmite de las rectas secantes a ( por P
0
. Estas son las rectas que pasan por P y P
0
con
P (.
El lmite se entiende en el sentido de que el angulo (entre 0 y /2) entre L y la secante por
P
0
y P tiende a 0 cuando P se acerca a P
0
con P (.
En el caso de un graco de una funcion continua f : [a, b] R, en lugar de mirar al angulo
entre la secante y el candidato a recta tangente L, tomamos una recta horizontal por el punto
P
0
y vemos si los angulos entre la secante y la recta horizontal tienden al determinado por la
recta L y la horizontal cuando me acerco al punto P
0
. Esto es equivalente a que el angulo entre
la secante y L tienda a cero.
7
8 1. CURVAS
1
0.5
0
0.5
1
1
0.5
0
0.5
1
0
2
4
6
8
Figura 1. Una curva ( que admite una parametrizacion de la forma (t) =
(cos(3t), sen(3t), t), con : [0, 2] R
3
.
La forma de garantizar que el angulo de la secante con la horizontal tienda al angulo de L
con la horizontal es que la tangente (seno/coseno) del angulo entre la secante y la horizontal
converja a la tangente del angulo correspondiente entre L y la horizontal. A estos n umeros se
los conoce como pendiente de las rectas.
Sea t
0
[a, b] tal que P
0
= (t
0
, f(t
0
)). Analogamente, P = (t, f(t)) para un t [a, b].
Claramente, P P
0
implica que t t
0
.
La pendiente de la recta secante por P y P
0
es
m
P
=
f(t) f(t
0
)
t t
0
.
Esta cantidad tiene lmite cuando t t
0
si f es derivable en t
0
(es la denicion de derivada).
En ese caso, el lmite es f

(t
0
). (Y podemos admitir que el lmite sea innito. En ese caso, el
angulo lmite es /2 y la recta lmite resulta ser la vertical).
Cual es la direccion de una recta con pendiente f

(t
0
)? Sera la determinada por cualquier
vector (u, v) tal que v/u = f

(t
0
). Por ejemplo, el vector (1, f

(t
0
)). Observemos que ese es el
vector

(t
0
) para la parametrizacion (t) = (t, f(t)) que estamos considerando.
1. PARAMETRIZACIONES Y SUAVIDAD 9

v

u
tan = v / u
o
P
0

(u,v)
Cuando estamos en R
3
no es posible tomar una recta de referencia y por eso debemos mirar
al angulo comprendido.
Definici on 1.3. Una curva ( se dice simple, abierta si no se corta a si misma. Mas
precisamente, si admite una parametrizacion inyectiva.
Para curvas abiertas, simples tenemos el siguiente resultado
Proposici on 1.1. Si ( es una curva que admite una parametrizaci on : [a, b] R
3
con
C([a, b]), inyectiva, diferenciable en t
0
[a, b] y tal que

(t
0
) :=
_
x

(t
0
), y

(t
0
), z

(t
0
)
_
,=
(0, 0, 0), se sigue que ( tiene recta tangente en el punto P
0
= (t
0
) y esta recta tiene la direccion
del vector

(t
0
).
Demostraci on. Sea P
n
P
0
con P
n
( para todo n. Llamemos S
Pn,P
0
a la recta se-
cante por P
n
y P
0
. Tenemos que para cada n existe un unico t
n
[a, b] tal que P
n
= (t
n
).
Analogamente, t
0
[a, b] es el unico punto t [a, b] tal que P
0
= (t).
Armo que t
n
t
0
cuando n . Esto lo demostraremos en el lema siguiente.
Veamos que S
Pn,P
0
tiende a L
P
0
, la recta por P
0
con direccion

(t
0
). En efecto, S
Pn,P
0
tiene
la direccion del vector
(t
n
) (t
0
).
Tambien genera la misma recta el vector

n
:=
1
t
n
t
0
_
(t
n
) (t
0
)
_
que converge al vector

(t
0
).
10 1. CURVAS
2
0
2
0 0.2 0.4 0.6 0.8 1 1.2 1.4
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
P
0
Figura 2. Recta tangente por P
0
y algunas secantes por P
0
y distintos P. Los
diferentes P han sido tomados de un solo ladode P
0
solo por claridad graca.
Como

(t
0
) ,= 0, se tiene que

n
|
n
|

(t
0
)
|

(t
0
)|
con lo cual
(P
n
) := el angulo entre las rectas S
Pn,P
0
y L
P
0
0 (n ).

Lema 1.1. Sea ( una curva abierta, simple. Sea : [a, b] R

3
una parametrizacion inyectiva
de (. Entonces, P
n
= (t
n
) P
0
= (t
0
) si y solo si t
n
t
0
.
Demostraci on. Una implicacion es inmediata del hecho de que es una funcion continua.
Veamos la implicacion no trivial. Supongamos que P
n
P
0
pero que t
n
, t
0
. En este caso,
existe
0
> 0 y una subsucesion t
n
k
tales que
(1.1) [t
n
k
t
0
[ >
0
.
Veamos que llegamos a un absurdo. En efecto, como la sucesion t
n
k
esta acotada tiene
alg un punto de acumulacion. Es decir, existe t

[a, b] y una subsucesion t

n
k
j
tales que
t
n
k
j
t

(j ).
Como es continua se tiene que P
n
k
j
= (t
n
k
j
) (t

) cuando j . Pero entonces

(t

) = P
0
. Como t
0
era el unico punto del intervalo [a, b] cuya imagen por es P
0
se sigue que
t

= t
0
. Pero esto contradice (1.1).
1. PARAMETRIZACIONES Y SUAVIDAD 11
Observaci on 1.1. Observemos que si

(t
0
) es el vector nulo, no podemos armar nada.
Podra haber recta tangente o podra no haberla.
Por ejemplo, consideremos la curva parametrizada por (t) = (signo(t) t
2
, t
2
) con t [1, 1].
Tenemos que y(t) = x(t) si t [0, 1] y y(t) = x(t) si t [1, 0]. (La funcion signo esta denida
fuera del origen de la siguiente manera: signo(t) = 1 si t < 0, signo(t) = 1 si t > 0). El graco
de la curva es
Esta curva no tiene recta tangente en el origen.
Por otro lado, si (t) = (signo(t) t
2
, t
4
) con t [1, 1], tenemos y(t) = x
2
(t) si t [1, 1].
Por lo tanto, en este caso es la parametrizacion de una parabola que tiene por recta tangente
en el origen a la horizontal.
Observar que en ambos casos es continuamente difenrenciable en [1, 1] con

(0) = (0, 0).

Definici on 1.4. Una curva se dice suave si tiene recta tangente en todos sus puntos y
esta vara con continuidad en el sentido de que L
P
tiende a L
P
0
cuando P P
0
.
Mas precismante, llamamos L
P
a la tangente en el punto P (. Escribamos L
P
= P + L

P
donde L

P
es una recta por el origen. Decimos que L
P
tiende a L
P
0
cuando P P
0
si L

P
L

P
0
.
Proposici on 1.2. Si ( es una curva abierta, simple que admite una parametrizacion
: [a, b] R
3
inyectiva, de clase C
1
([a, b]) con

(t) ,= (0, 0, 0) para todo t [a, b] se sigue

que ( es suave.
Demostraci on. Por la Proposicion 1.1 sabemos que ( tiene recta tangente en todos sus
puntos y que si P = (t) la recta L
P
tangente a ( en P tiene la direccion del vector unitario
(P) :=

(t)/|

(t)|. Es decir, L
P
= P + (P) con R.
Sea P
n
P
0
y sea t
n
[a, b] tal que P
n
= (t
n
). Como se vio en el Lema 1.1 se tiene que
t
n
t
0
. Por lo tanto, (P
n
) (P
0
) cuando n y se tiene L
Pn
L
P
0
.
Definici on 1.5. Una parametrizacion : [a, b] R
3
de una curva abierta, simple, suave (
se dice regular si es una biyeccion entre [a, b] y (, C
1
([a, b]) y

(t) ,= (0, 0, 0) para todo

t [a, b].
Definici on 1.6. ( es una curva cerrada, simple si existe una parametrizacion : [a, b] R
3
que es inyectiva en [a, b), continua en [a, b], (a) = (b) y la imagen de es (.
Proposici on 1.3. Si ( es una curva cerrada, simple que admite una parametrizacion
: [a, b] R
3
que es inyectiva en [a, b) con imagen (, C
1
en [a, b], con (a) = (b) y

(a) =

(b) (derivadas laterales) y

(t
0
) ,= (0, 0, 0) para todo t
0
[a, b] se sigue que ( es
una curva suave.
12 1. CURVAS
Demostraci on. La demostracion sigue las lneas de las demostraciones de las Proposiciones
1.1 y 1.2. La unica diferencia es que en este caso, si t
0
= a puede ser t

= b y viceversa. En el
caso t
0
= a, por ejemplo, se tendra

(b) =

(a)
y se sigue que la recta por P
0
= (t
0
) generada por la direccion del vector unitario

(t
0
)/|

(t
0
)|
es la recta tangente a ( por P
0
. Como

es continua y

(a) =

(b), se sigue que la tangente

vara con continuidad. Por lo tanto ( es una curva suave.
Observaci on 1.2. Observar que la hipotesis

(a) =

(b) es necesaria para la existencia

de recta tangente a ( en P
0
= (a) = (b). En efecto, la direccion de la recta secante por
puntos cercanos a P
0
tiende al vector

(b) cuando nos acercamos por un lado y al vector

(a)
cuando nos acercamos por el otro. La unica forma de que la secante converja a una recta es que

(b) =

(a).
Definici on 1.7. Si C es una curva cerrada, simple, suave, una parametrizacion : [a, b]
R
3
se dice regular si es inyectiva en [a, b), la imagen de es (, C
1
([a, b]), (a) = (b),

(a) =

(b) y

(t) ,= (0, 0, 0) para todo t [a, b].

Definici on 1.8. Decimos que ( es una curva simple si es una curva abierta simple o una
curva cerrada simple.
Un caso particular muy importante de curva es la que describe la trayectoria de una partcula.
Si llamamos (t) a la posicion de la partcula en el instante t [t
0
, t
1
], resulta la parame-
trizacion de una curva (suponemos que la partcula no salta). En este caso, el vector

(t) da
la direccion y sentido de recorrido de la partcula al pasar por el punto (t) en el instante t,
y su magnitud da la rapidez con la que se mueve la partcula. (Mas sobre esto en la siguiente
seccion).
Al vector

(t) se lo denomina vector velocidad aunque la parametrizacion no corres-

ponda a la trayectoria de una partcula. Con esta misma analoga, al vector

(t) se lo denomina
vector aceleracion.
Ejercicios
Ejercicio 1.1.
1. Probar que
EJERCICIOS 13
_

_
x
1
(t) = r cos 2t
0 t 1
y
1
(t) = r sen 2t
_

_
x
2
(t) = r cos 4t
0 t 1
y
2
(t) = r sen 4t
son dos parametrizaciones C
1
de la circunferencia de centro (0, 0) y radio r.
2. Probar que la circunferencia es una curva cerrada, simple, suave.
3. Probar que
2
(t) =
_
x
2
(t), y
2
(t)
_
, t [0, 1] no es una parametrizacion regular.
Ejercicio 1.2. Considerar la curva ( formada por los segmentos que unen el (0, 1) con el
(0, 0) y el (0, 0) con el (1, 0).
(1,0)
(0,1)
C
Probar que
(t) :=
_
_
0, (1 t)
2
_
, si 0 t 1,
_
(t 1)
2
, 0
_
, si 1 t 2
es una parametrizacion C
1
de la curva (.
Observar que ( no tiene recta tangente en el (0, 0). Por que no hay contradiccion?
Ejercicio 1.3. Sea (t) = (t
3
, t
3
) con 1 t 1. Probar que es una parametrizacion C
1
del segmento y = x, 1 x 1 que es una curva suave.
Observar que

(0) = (0, 0).

Ejercicio 1.4. Sea ( el arco de parabola y = x
2
con 0 x 1.
1. Probar que ( es una curva abierta, simple, suave
14 1. CURVAS
2. Probar que (s) :=
_
x(s), y(s)
_
dada por
_

_
x(s) = e
s
1
0 s ln 2
y(s) = (e
s
1)
2
es una parametrizacon regular de (.
3. Observar que (t) := (t, t
2
) con t [0, 1] es otra parametrizacion regular.
4. Hallar una funcion g : [0, 1] [0, ln 2] tal que
_
g(t)
_
= (t) para todo t [0, 1].
Observar que g es biyectiva y C
1
.
Ejercicio 1.5. Sea ( una curva cerrada, simple, suave y : [a, b] R
3
una parametrizacion
regular de (. Sean a (a, b) y

b = a + b a. Consideremos la funcion : [ a,

b] R
3
denida
por
(s) =
_
(s) si s [ a, b],

_
a + (s b))
_
si s [b,

b]
Probar que es una parametrizacion regular de ( (que recorre la curva ( desde y hasta el
punto ( a)).
Observar que la parametrizacion regular se obtiene a partir de de la parametrizacion
regular por un cambio de parametro (una biyeccion entre los intervalos de los parametros
correspondientes a las dos parametrizaciones) que no es ni siquiera continuo. Esto no es posible
en el caso de curvas abiertas, simples, suaves.
Ejercicio 1.6. Sea ( una curva simple, suave. Sea : [a, b] R
3
una parametrizacion
regular de (. Sea [a
1
, b
1
] un intervalo arbitrario. Consideremos la funcion
1
: [a
1
, b
1
] R
3
denida por

1
(s) =
_
a +
b a
b
1
a
1
(s a
1
)
_
.
Probar que es una parametrizacion regular de (.
Esto muestra que se puede utilizar cualquier intervalo como intervalo de parametros. Solo
hay que ajustar la velocidad con la que se recorre la curva.
Ejercicio 1.7. Determinar los vectores velocidad y aceleracion, y la ecuacion de la recta
tangente para cada una de las curvas cuyas parametrizaciones se dan a continuacion, en el valor
especicado de t.
1. (t) = (6t, 3t
2
, t
3
), t = 0
2. (t) = (cos
2
t, 3t t
3
, t), t = 0
3. (t) = (sin 3t, cos 3t, 2t
3
2
), t = 1
4. (t) = (0, 0, t), t = 1
Ejercicio 1.8. Que fuerza act ua sobre una partcula de masa m en el instante t = 0 si
sigue la trayectoria dada por la funcion del Ejercicio 7.(1)?
2. LONGITUD DE UNA CURVA 15
Ejercicio 1.9. Suponer que una partcula sigue la trayectoria (t) = (e
t
, e
t
, cos t) hasta
que sale por una tangente en t = 1. Hallar la ubicacion de la partcula en t = 2. Suponer que
ninguna fuerza act ua sobre ella despues del tiempo t = 1.
2. Longitud de una curva
Sea ( una curva abierta, simple Cual es su longitud?
La idea para medir una curva va a ser aproximarla por poligonales con vertices sobre la
misma. Pero estos vertices tienen que tener un orden sobre la curva porque si no la poligonal
no se parecera en nada a la curva.
Para esto empecemos por el concepto de particion de la curva.
Sea : [a, b] R
3
una parametrizacion regular de (. Sea a = t
0
< t
1
< < t
n
= b una
particion de [a, b]. Esto induce una particion de la curva ( por los puntos P
n
= (t
n
). Puedo
pensar a los puntos P
n
como vertices de una poligonal. Cuantos mas puntos tenga, mas parecida
sera la poligonal a la curva (. La idea es que si podemos de alguna manera medir la longitud de
(, las longitudes de las poligonales tenderan a la longitud de (.
Cuando hablamos de una particion T de ( nos referiremos a un conjunto de puntos
P
1
, P
2
, , P
n
( ordenados en el sentido de que los parametros correspondientes estan
ordenados. Si P
i
= (t
i
) se tiene que t
i
esta entre t
i1
y t
i+1
. (Por lo tanto, la sucesion de
los parametros crece con i o decrece con i dependiendo posiblemente de la parametrizacion
utilizada).
Se puede ver que dadas dos parametrizaciones regulares de una curva simple, suave ( hay una
biyeccion continua entre los intervalos de los parametros. No lo haremos, pero la demostracion
de la existencia de la biyeccion es inmediata y para la continuidad se utiliza el Lemma 1.1.
Esta biyeccion, por ser continua, es necesariamente creciente o decreciente. Por lo tanto, si
los puntos P
1
, P
2
, , P
n
( satisfacen que P
i
= (t
i
) = (s
i
) y los parametros t
i
estan
ordenados, tambien estan ordenados los parametros s
i
. De modo que la nocion de particion de
la curva no depende de la parametrizacion regular utilizada.
Dada una particion T de (, denotaremos [(T)[ a la longitud de la poligonal que tiene como
vertices los puntos de T en el orden correspondiente. Es decir, la poligonal formada por los
segmentos que unen los puntos consecutivos P
i
y P
i+1
.
Si T

es una particion mas na, es decir, si todos los puntos de T estan contenidos en T

, la
longitud [(T

)[ sera mayor o igual a [(T)[. En efecto, si entre dos puntos consecutivos P

1
y
P
2
de la particion T tengo puntos S
1
, S
2
, , S
k
de la particion T

, la longitud del segmento de

extremos P
1
y P
2
es menor que
|P
1
S
1
| +|S
1
S
2
| + +|S
k
P
2
|
que es parte de la suma que da la longitud [(T

)[; y por lo tanto la longitud de la poligonal

correspondiente a T

es mayor.
16 1. CURVAS
1
0.5
0
0.5
1
0
0.2
0.4
0.6
0.8
1
0.2
0.4
0.6
0.8
1
1
0.5
0
0.5
1
0
0.2
0.4
0.6
0.8
1
0.2
0.4
0.6
0.8
1
1
0.5
0
0.5
1
0
0.2
0.4
0.6
0.8
1
0.2
0.4
0.6
0.8
1
1
0.5
0
0.5
1
0
0.2
0.4
0.6
0.8
1
0.2
0.4
0.6
0.8
1
Figura 3. Cuatro aproximaciones poligonales con diferentes particiones T. En
cada caso se tiene [(T)[ da respectivamente 2.02, 2.46, 2.50, 2.51. Como es
de esperar las longitudes de las poligonales parecen converger a medida que
aumentamos los segmentos de las poligonales.
Definici on 1.9. Si existe una cota superior para las longitudes de todas las poligonales con
vertices en una particion de la curva ( decimos que ( es recticable y denimos la longitud
de ( como la menor de esas cotas, es decir
Long (() := sup
_
[(T)[ ; T particion de (
_
.
Proposici on 1.4. Si ( admite una parametrizacion inyectiva C
1
([a, b], R
3
) se sigue que
( es recticable.
2. LONGITUD DE UNA CURVA 17
Demostraci on. Sea T una particion de (. Como es una biyeccion, existen unicos t
0
<
t
1
< < t
n
con t
i
[a, b] tales que que T = (t
0
), (t
1
), , (t
n
) (para claridad hemos
supuesto ordenados los puntos de manera que los parametros crezcan con i). Por lo tanto,
[(T)[ =
n

i=1
|(t
i
) (t
i1
| =
n

i=1
_
_
_
_
t
i
t
i1

(t) dt
_
_
_

i=1
_
t
i
t
i1
_
_

(t)
_
_
dt =
_
b
a
_
_

(t)
_
_
dt.
Aqu y en lo que sigue para una funcion vectorial F = (f
1
, f
2
, f
3
) llamamos
_
F(t) dt :=
_ _
f
1
(t) dt,
_
f
3
(t) dt,
_
f
3
(t) dt
_
. Y denotamos |F| a la norma eucldea del vector.
Es facil ver a partir de la denicion de la integral como lmite de sumas de Riemann que se
tiene
(1.2)
_
_
_
_
b
a
F(t) dt
_
_
_
_
b
a
|F(t)| dt.
En efecto, si F = (F
1
, F
2
, F
3
), se tiene para a = t
0
< t
1
< < t
n
= b con t
k+1
t
k
= (b a)/n,
_
b
a
F
i
(t) dt = lm
n
n1

k=0
(t
k+1
t
k
)F
i
(t

k
)
donde t

k
[t
k
, t
k+1
] es arbitrario y por consiguiente podemos tomar el mismo punto para cada
componente F
i
, i = 1, 2, 3.
Por lo tanto,
_
b
a
F(t) dt = lm
n
n1

k=0
(t
k+1
t
k
)F(t

k
).
Como para suma de vectores se tiene |

n1
k=0
F
k
|

n1
k=0
|F
k
| se tiene
(1.3)
_
_
_
n1

k=0
(t
k+1
t
k
)F(t

k
)
_
_
_
n1

k=0
(t
k+1
t
k
)
_
_
F(t

k
)
_
_
.
Observemos que el miembro derecho de (1.3) es una suma de Riemann para la funcion escalar
|F|. Pasando al lmite con n en (1.3) se sigue (1.2).
El objetivo es demostrar que en realidad
_
b
a
_
_

(t)
_
_
dt no es solo una cota de la longitud sino
que es la longitud de (. Para ello necesitamos algunas propiedades de la longitud de una curva
dada por una parametrizacion en funcion de ese parametro. Mas precisamente,
Proposici on 1.5. Dada una funcion C
1
e inyectiva , llamemos (a, b) a la longitud de la
curva ([a, b]). Entonces,
1. (a, b) > 0 si a < b.
2. Si a < c < b se tiene (a, b) = (a, c) + (c, b).
18 1. CURVAS
Demostraci on. (1) Es claro de la denicion.
(2) Veamos primero que (a, b) (a, c)+(c, b). En efecto, sea T
1
una particion de ([a, c])
y T
2
una particion de ([c, b]). Entonces, T = T
1
T
2
es una particion de ( = ([a, b]). Por lo
tanto,
[(T
1
)[ +[(T
2
)[ = [(T)[ (a, b).
Fijemos la particion T
1
y tomemos supremo sobre todas las posibles particiones de ([c, b]).
Tenemos,
[(T
1
)[ + (c, b) (a, b).
Finalmente, tomando supremo sobre todas las particiones de ([a, c]) se tiene la desigualdad
deseada.
Probemos ahora que (a, b) (a, c) +(c, b). En efecto, sea T una particion de ([a, b]). Si
(c) no es un punto de esta particion lo agregamos y llamamos T

a la nueva particion. Podemos

dividir a T

en dos subconjuntos. Uno que llamamos T

1
son los puntos de T

en el arco de curva
([a, c]). Y T
2
son los puntos de T

en el arco ([c, b]). El unico punto en com un es (c). Se

tiene,
[(T)[ [(T

)[ = [(T
1
[ +[(T
2
)[ (a, c) + (c, b).
Tomando supremo sobre todas las particiones de ([a, b]) se tiene la desigualdad buscada.
Corolario 1.1. La funci on t (a, t) de [a, b] en R es estrictamente creciente.
Demostraci on. Sea t

> t. Entonces, por la Proposicion 1.5,

(a, t

) = (a, t) + (t, t

) > (a, t).

Podemos ahora probar

Teorema 1.1. Sea ( una curva abierta, simple, suave y sea : [a, b] R
3
una parametri-
zacion regular de (. Entonces,
Long (() =
_
b
a
|

(t)| dt.
Demostraci on. Siguiendo la notacion de la Proposicion 1.5, queremos probar que (a, b) =
_
b
a
|

(t)| dt.
Sea h > 0. Por la Proposicion 1.5
(a, t + h) (a, t) = (t, t + h).
Por otro lado, como |(t + h) (t)| es la longitud de una poligonal de extremos (t) y
(t + h), aplicando la denicion de y la cota de la longitud probada en la Proposicion 1.6
tenemos
|(t + h) (t)| (t, t + h)
_
t+h
t
|

(s)| ds.
2. LONGITUD DE UNA CURVA 19
Por lo tanto, dividiendo por h > 0 tenemos
_
_
_
(t + h) (t)
h
_
_
_
(a, t + h) (a, t)
h

1
h
_
t+h
t
|

(s)| ds.
El primer y el ultimo miembro de esta serie de desigualdades tiende a |

(t)| cuando h 0
por ser

continua. Por lo tanto, existe el lmite del miembro del medio y coincide con |

(t)|.
Es decir,
lm
h0
+
(a, t + h) (a, t)
h
= |

(t)|.
Con un razonamiento analogo se prueba este lmite cuando h 0

. De aqu que la funcion

t (a, t) es una primitiva de |

(t)|. Como (a, a) = 0 (ya que lm

ta
(a, t) = 0),
(a, t) =
_
t
a
|

(s)| ds.
Esta igualdad es valida para todo t [a, b) y por lo tanto tambien vale para t = b.
Observaci on 1.3. Observemos que la variacion instantanea de la longitud del arco entre
(a) y (t) es |

(t)|. En el caso particular en que es la trayectoria de una partcula, se tiene

que la variacion instantanea de la distancia recorrida la rapidez de la partcula esta dada,
entonces, por |

(t)| lo que termina de justicar que llamenos vector velocidad a

(t).
Observaci on 1.4. A la funcion g(t) := (a, t) se la llama funcion de longitud de arco.
Por las propiedades demostradas se tiene que g es continuamente diferenciable y estrictamente
creciente. Si

(t) ,= (0, 0, 0) para todo t [a, b] se sigue que g

(t) ,= 0 para todo t [a, b]. Por lo

tanto, la inversa de g es una funcion continuamente diferenciable denida en el intervalo [0, ]
con = Long (()
_
( = ([a, b])
_
.
Llamemos s = g(t), la longitud del arco de la curva ( entre (a) y (t). Sea (s) =
_
g
1
(s)
_
para s [0, ]. Entonces es una parametrizacion regular de ( con la propiedad de que la longitud
del arco de ( entre (0) y (s) es s.
Decimos que ( esta parametrizada por longitud de arco. A s lo llamamos parametro de
longitud de arco.
Esto justica la notacion ds que se utiliza para el diferencial de longitud de arco. (Ver Seccion
1.2)
Observemos que |

(s)| = 1. En efecto, (g
1
)

(s) = 1/g

(t) si s = g(t). Por la regla de la

cadena,

(s) =

(t)(g
1
)

(s) =

(t)
g

(t)
.
Definici on 1.10. Sea ( una curva abierta, simple, suave. Sea : [a, b] R
3
una parame-
trizacion regular de (. Sea h : [a, b] [c, d] una biyeccion C
1
con h

(t) ,= 0 para todo t [a, b].

Sea : [c, d] R
3
dada por (r) =
_
h
1
(r)
_
. Entonces, es una parametrizacion regular de
(. Decimos que es una reparametrizacion de .
20 1. CURVAS
Al comienzo de esta seccion ya comentamos que dadas dos parametrizaciones regulares de
una curva abierta, simple y suave, se tiene una biyeccion continua entre los correspondientes
intervalos de parametros. Lo que vamos a ver a continuacion es que esa biyeccion puede tomarse
continuamente diferenciable.
Proposici on 1.6. Sean : [a, b] R
3
y : [c, d] R
3
dos parametrizaciones regulares de
una curva abierta, simple, suave (. Entonces, es una reparametrizacion de .
Demostraci on. Sea g(t) la longitud del arco de curva ( entre (a) y (t). Como vimos en
la Observacion 1.4, g es una biyeccion entre [a, b] y [0, ]] donde es la longitud de (. Ademas,
g es estrictamente creciente y C
1
con g

(t) ,= 0 para todo t [a, b].

Analogamente, supongamos por simplicidad que (a) = (c). Denimos f(r) para r [c, d]
como la longitud del arco de ( entre (c) y (r). Y se tiene que f es una biyeccion estrictamente
creciente y C
1
entre [c, d] y [0, ] con f

(r) ,= 0 para todo r [c, d].

(a)=(c)
(t)=(r)
g(t)=f(r)
t a b c r d
0 L
L = Long(C)
C
r=f
1
(g(t))
g f
Sea ahora h(t) = f
1
_
g(t)
_
. Se tiene que h es una biyeccion estrictamente creciente y C
1
entre [a, b] y [c, d] con h

(t) ,= 0 para todo t [a, b]. Ademas, dado t [a, b], sea r [c, d] tal que
(r) = (t). Entonces, g(t) = f(r). De donde, r = f
1
_
g(t)
_
. Por lo tanto,
_
h(t)
_
=
_
(r)
_
=
(t) lo que demuestra que es una reparametrizacion de .
Si se tuviera (a) = (d) tomamos como funcion f(r) la longitud del arco de curva ( entre
(d) y (r). En este caso, f es estrictamente decreciente. f(r) = la longitud del arco de (
entre (c) y (r). El resto de la demostracion sigue igual.
EJERCICIOS 21
Ejemplo 1.1. Hallar la longitud de la helice de parametrizacion (t) = (cos t, sen t, t) con
t [0, 4].
Tenemos

(t) = (-sen t, cos t, 1). Por lo tanto |

(t)| =

2. La longitud del arco de helice
entre (1, 0, 0) y (cos t, sen t, t) es
g(t) =
_
t
0

2 d =

2 t.
En particular, la longitud de la curva es

2 4.
Si queremos reparametrizar por longitud de arco tenemos que hallar g
1
(s).
Tenemos s = g(t) =

2 t. Por lo tanto, despejando t en funcion de s tenemos t = g
1
(s) =
1

2
s = 2
1/2
s.
Denimos (s) = (g
1
(s)) = (cos
_
2
1/2
s
_
, sen
_
2
1/2
s
_
, 2
1/2
s
_
, con s [0,

2 4]. Esto
nos parametriza la helice por longitud de arco.
Ejercicios
Ejercicio 1.10. Considerar una partcula que se mueve siguiendo la trayectoria (t) =
(t sen t, 1cos t). Hallar la velocidad, rapidez, y la longitud del arco descripto por la partcula
entre los puntos (0) y (1). Observar que describe la funcion de posicion de un punto en un
crculo de radio 1, que va rodando. La curva que describe se conoce como cicloide.
Ejercicio 1.11. En los siguientes casos, calcular la longitud de la curva, donde es una
parametrizacion de la misma sobre el intervalo [a, b], siendo:
1. (t) = (t, t
2
) a = 0, b = 1
2. (t)= (

t, t + 1, t) a = 10 b = 20
Ejercicio 1.12. Sea ( la curva dada por
_

_
x = a cos t
y = a sen t t > 0
z = b t
Parametrizar esta curva por longitud de arco.
22 1. CURVAS
3. Integral de longitud de arco
Supongamos que tenemos un alambre de un material homogeneo que ocupa una region del
espacio que podemos pensar como una curva ( suave. La masa del alambre podemos pensarla
como una proporcion de su longitud ya que estamos despreciando las otras dimensiones espaciales
del alambre. Llamamos densidad lineal de masa a esta proporcion.
Si el alambre esta formado por un material inhomogeneo, la densidad lineal de masa sera una
funcion continua denida sobre la curva (. Como calcular la masa total del alambre en este
caso?
Como la funcion (x, y, z) denida en ( es continua, podemos pensar que es casi constante
en pedacitos del alambre de longitud peque na. Partamos al alambre en n pedacitos de longitud
/n donde es la longitud de (. Para eso, sea : [a, b] R
3
una parametrizacion regular de
( de clase C
1
y g(t) la funcion de longitud de arco (g(t) =longitud del arco entre (a) y (t)).
Sabemos que g es estrictamente creciente. Tomemos sucesivamente puntos t
k
[a, b] tales que
g(t
k
) = k /n, para k = 0, 1, , n. Si P
k
= (t
k
) se tiene que la longitud del arco de curva (
entre P
k
y P
k+1
es /n. Por lo tanto, podemos aproximar a por un valor constante digamos
el valor que toma en un punto

P
k
= (

t
k
) con

t
k
[t
k
, t
k+1
]. De este modo, la masa del pedazo
de alambre entre los punto P
k
y P
k+1
sera aproximadamente (

P
k
)(t
k
, t
k+1
).
Sumando sobre todos los pedacitos y recordando que (t
k
, t
k+1
) =
_
t
k+1
t
k
|

(t)| dt tenemos
que la masa total sera aproximadamente
M
n1

k=0

_
(

t
k
)
_
_
t
k+1
t
k
|

(t)| dt.
Por otro lado, por una variante del teorema del valor medio integral (ver demostracion del
Teorema 1.2),
_
b
a

_
(t)
_
|

(t)| dt =
n1

k=0
_
t
k+1
t
k

_
(t)
_
|

(t)| dt =
n1

k=0

_
(t

k
)
_
_
t
k+1
t
k
|

(t)| dt
para un t

k
[t
k
, t
k+1
].
De aqu que (con = /n),
n1

k=0
(

P
k
)
_
b
a

_
(t)
_
|

(t)| dt cuando n
como veremos en el siguiente teorema.
Esta integral nos da entonces la masa total del alambre.
Siguiendo estas ideas probamos el siguiente teorema.
Teorema 1.2. Sea ( una curva abierta, simple, suave que admite una parametrizacion
regular : [a, b] R
3
. Sea f una funcion continua denida sobre (. Entonces, existe
lm
n
n1

k=0
f(

P
k
)
3. INTEGRAL DE LONGITUD DE ARCO 23
para cualquier eleccion de punto

P
k
en el arco de curva entre los puntos P
k
y P
k+1
de la particion
de ( en n arcos de longitud /n con = Long (. Este lmite coincide con
(1.4)
_
b
a
f
_
(t)
_
|

(t)| dt.
Observemos que, en particular, la integral (1.4) es independiente de la parametrizacion re-
gular elegida.
Demostraci on. Veamos que
(1.5)
_
b
a
f
_
(t)
_
|

(t)| dt =
n1

k=0
f
_
(t

k
)
_
_
t
k+1
t
k
|

(t)| dt
para un t

k
[t
k
, t
k+1
].
En efecto, sean M
k
= max
[t
k
,t
k+1
]
f
_
(t)
_
, m
k
= mn
[t
k
,t
k+1
]
f
_
(t)
_
. Como |

(t)| > 0 se
sigue que
m
k
_
t
k+1
t
k
|

(t)| dt
_
t
k+1
t
k
f
_
(t)
_
|

(t)| dt M
k
_
t
k+1
t
k
|

(t)| dt.
Por lo tanto,
_
t
k+1
t
k
f
_
(t)
_
|

(t)| dt
_
t
k+1
t
k
|

(t)| dt
[m
k
, M
k
].
Como la funcion f
_
(t)
_
es continua, existe t

k
[t
k
, t
k+1
] tal que
_
t
k+1
t
k
f
_
(t)
_
|

(t)| dt
_
t
k+1
t
k
|

(t)| dt
= f
_
(t

k
)
_
y, usando la aditividad de la integral, se sigue (1.5).
Por lo tanto, como
_
t
k+1
t
k
|

(t)| dt es la longitud del arco de curva entre (t

k
) y (t
k+1
) que
es /n se tiene
(1.6)

n1

k=0
f(

P
k
)
_
b
a
f
_
(t)
_
|

(t)| dt

n1

k=0
_
f(

P
k
) f
_
(t

k
)
_

n1

k=0

f(

P
k
) f(P

k
)

con P

k
= (t

k
).
Como la distancia entre dos puntos de ( es menor o igual que la longitud del arco de curva
( que los contiene, la distancia entre los puntos

P
k
y P

k
es a lo sumo /n.
Como f es continua, es uniformemente continua. Esto quiere decir que [f(P) f(Q)[ < si
|P Q| < independientemente de donde se encuentren los puntos P, Q (. Por lo tanto, si
n es sucientemente grande, (1.6) da

n1

k=0
f(

P
k
)
_
b
a
f
_
(t)
_
|

(t)| dt

< .
24 1. CURVAS
De modo que el teorema queda demostrado.
Definici on 1.11. Sea ( una curva abierta, simple, suave que admite una parametrizacion
regular. Sea f una funcion continua denida sobre ( llamamos integral de f en ( respecto de
longitud de arco al lmite
lm
n
n1

k=0
f(

P
k
)
para cualquier eleccion de punto

P
k
en el arco de curva entre los puntos P
k
y P
k+1
de la particion
de ( en n arcos de longitud /n con = Long (. A este lmite lo denotamos indistintamente
_
C
f d o
_
C
f ds.
La justicacion de la notacion ds para el diferencial de longitud de arco viene del hecho de que en
general llamamos s al parametro de longitud de arco y, por la denicion de integral de longitud
de arco,
_
C
ds es la longitud de (. (Ademas, recordemos que |

(s)| = 1 cuando parametrizamos

por longitud de arco).
Ejercicios
Ejercicio 1.13. Evaluar las integrales de longitud de arco
_
C
f(x, y, z) ds, donde es una
parametrizacion de (, en los casos siguientes
1. f(x, y, z) = x + y + z, (t) = (sent, cos t, t), t [0, 2]
2. f(x, y, z) = cos z, como en la parte 1.
3. f(x, y, z) = xcos z, (t) = (t, t
2
, 0), t [0, 1]
Ejercicio 1.14.
1. Mostrar que la integral de longitud de arco de f(x, y) a lo largo de una curva dada en
coordenadas polares por r = r(),
1

2
es
_

2

1
f(r cos , r sin )

r
2
+
_
dr
d
_
2
d.
2. Calcular la longitud de la curva r = 1 + cos , 0 2.
Ejercicio 1.15. Suponer que la semicircunferencia parametrizado por:
() = (0, a sen , a cos ), [0, ],
con a > 0, esta hecha de alambre con densidad uniforme de 2 gramos por unidad de longitud.
1. Cual es la masa total del alambre?
2. Donde esta el centro de masa de esta conguracion de alambre?
3. Si la temperatura ambiente es igual a x +y z en el punto (x, y, z), calcular la tempe-
ratura promedio sobre el alambre.
4. INTEGRALES CURVIL

INEAS 25
Ejercicio 1.16. Si f : [a, b] R es continuamente diferenciable a trozos, el graco de f en
[a, b] es una curva que se puede parametrizar como (t) = (t, f(t)) para t [a, b].
1. Mostrar que la longitud del graco de f en [a,b] es
_
b
a
_
1 + [f

(x)]
2
dx.
2. Hallar la longitud del graco de y = log x de x = 1 a x = 2.
Ejercicio 1.17. Se quiere pintar una cerca que se encuentra sobre un campo ondulado. La
cerca se encuentra a una distancia variable de una ruta recta que supondremos que ocupa el eje
y.
Pongamos el kilometro 0 de la ruta a la altura del comienzo de la cerca. Esta se encuentra
entre los kilometros 0 y 1, a una distancia variable igual a y(1y) +1 del kilometro y de la ruta
(calculada sobre el plano del nivel del mar).
Nuestra cerca tiene altura variable h =
1+y
750
a la altura del kilometro y de la ruta si 0 y
1/2 y h =
2y
750
si 1/2 y 1.
Si 1 litro de pintura rinde 4 m
2
Cuantos litros de pintura tengo que comprar?
Observar que la supercie de la cerca sera la integral de la altura h, con respecto a longitud
de arco, sobre la curva proyeccion de la base de la cerca sobre el plano del nivel del mar aunque
el campo sea ondulado.
4. Integrales curvilneas
Consideremos el siguiente problema: Dada una fuerza F que act ua sobre una partcula que
se desplaza siguiendo una trayectoria (t) entre dos puntos, cual es el trabajo que ejerce esta
fuerza?
Aqu (t) es la posicion de la partcula en el instante t. En el caso en que la partcula se
mueve sobre una recta, la fuerza es constante, solo tiene componente en la direccion de esa recta
y act ua en el sentido del recorrido, sabemos que el trabajo resultante es la magnitud de la fuerza
|F| por la distancia recorrida. Si act ua en sentido contrario, el trabajo sera la magnitud de
la fuerza: |F| por la distancia recorrida.
Consideremos ahora el caso en que la partcula se mueve en lnea recta, la fuerza es constante,
pero act ua en otra direccion. Observemos, para empezar, que la fuerza es suma de dos fuerzas.
Una act ua en la direccion del movimiento de la partcula y la otra en la direccion perpendicular.
Es decir, F = F

+ F

donde F

=
_
F
_
y F

. Donde es un vector unitario que

determina la direccion de la recta donde se mueve la partcula y da el sentido de recorrido de la
partcula.
26 1. CURVAS
C
F
F

Por lo tanto, en este caso, el trabajo ejercido por la fuerza es F por la distancia recorrida
por la partcula, ya que la fuerza que act ua perpendicularmente al movimiento no ejerce ning un
trabajo ya que no modica la trayectoria de la partcula.
Supongamos que la partcula recorrre una trayectoria de direccion variable una curva (
con velocidad no nula en todo momento y la fuerza es todava constante. Tendremos la siguiente
situacion:
F
F

C
Longitud de F

= F
Finalmente, supongamos que la partcula recorrre una trayectoria de direccion variable una
curva ( con velocidad no nula en todo momento, y la fuerza no es constante pero es continua.
Si la longitud del camino recorrido por la partcula es peque na podemos aproximar la fuerza por
una fuerza constante igual al valor que toma en cualquier punto de la curva, digamos P

.
Tambien podemos aproximar la curva por una de igual longitud pero direccion constante,
por ejemplo, (P

) =

(t

)/|

(t

)| que determina la direccion y sentido de recorrido de la

partcula al pasar por el punto P

= (t

).
4. INTEGRALES CURVIL

INEAS 27
Podemos aproximar entonces el trabajo realizado por la cantidad
_
F(P

) (P

)
_
por la
longitud de la curva (la distancia recorrida por la partcula).
Si la curva es larga, la dividimos en n arcos de curva de longitud /n donde es la longitud
de (. El trabajo realizado sera la suma de los trabajos realizados sobre la partcula al recorrer
esta cada uno de los arquitos. Utilizando la aproximacion que tenemos para el trabajo sobre
cada arquito tenemos la aproximacion
T
n1

k=0
_
F(P

k
) (P

k
)
_
/n.
donde el punto P

k
esta en el kesimo arquito.
Observemos que el miembro derecho tiende a
_
C
(F ) d
cuando n tiende a innito, ya que lo que tenemos es una suma para la integral de longitud de
arco de la funcion escalar f = F que es una funcion continua sobre (.
Recordemos que el vector tangente en el punto P ( podemos calcularlo por la relacion
(P) =

(t)/|

(t)| si P = (t). En particular, es una funcion vectorial continua sobre (.

De modo que el trabajo estara dado en terminos de la trayectoria por
_
b
a
F
_
(t)
_

(t)
|

(t)|
|

(t)| dt =
_
b
a
F
_
(t)
_

(t) dt.
Estas consideraciones inducen las siguientes deniciones
Definici on 1.12. Sea ( una curva abierta, simple, suave que admite una parametrizacion
regular. Sea un campo de vectores unitarios tangentes a ( continuo. Este campo determina
un sentido de recorrido sobre la curva (. Decimos que ( esta orientada por el campo .
Recordemos que el campo vendr a dado a partir de una parametrizacion regular : [a, b]
R
3
por la relacion (P) =

(t)/|

(t)| si P = (t). En este caso tambien decimos que (

esta orientada por la parametrizacion .
Definici on 1.13. Sea ( una curva abierta, simple, suave que admite una parametrizacion
regular : [a, b] R
3
que la orienta. Sea F un campo vectorial continuo denido sobre (.
Llamamos integral curvilnea del campo F sobre la curva orientada ( a
_
C
F ds :=
_
b
a
F((t))

(t) dt.
Definici on 1.14. Sea ( una curva abierta, simple, suave orientada por la parametrizacion
regular : [a, b] R
3
. Sea : [ a,

b] R
3
otra parametrizacion regular de (. Decimos que
preserva la orientacion de ( si para todo P (, se tiene
(P) =

(t)
|

(t)|
=

t)
|

t)|
si P = (t) = (

t) con t [a, b],

t [ a,

b].
28 1. CURVAS
Observemos que si no preserva la orientacion de ( se tiene

t)
|

t)|
= (P) para P = (

t) para todo

t [ a,

b].
Por lo tanto, si preserva la orientacion de ( se tiene
_
b
a
F( (

t))

t) d

t =
_
C
(F ) d =
_
C
F ds.
Y si si no preserva la orientacion de ( se tiene
_
b
a
F( (

t))

t) d

t =
_
C
(F ) d =
_
C
F ds.
Ejemplo 1.2. Sea ( la curva orientada dada por la parametrizacion (t) = (t, t
2
) con
t [0, 1]. Sea F(x, y) = (x, y) un campo de fuerzas (act ua en cada punto en direccion al
origen). Supongamos que una partcula se desplaza por la curva ( siguiendo la trayectoria (es
decir, la posicion de la partcula en el instante t es (t). Hallar el trabajo efectuado por la fuerza
sobre la partcula.
El trabajo es
_
C
F ds =
_
1
0
F((t))

(t) dt =
_
1
0
(t, t
2
) (1, 2t) dt =
_
1
0
[t +2t
3
] dt =
_
t
2
2
+
t
4
2
_
1
0
= 1.
Observaci on 1.5. Para la integral curvilinea de un campo F =
_
P(x, y, z), Q(x, y, z), R(x, y, z)
_
sobre una curva orientada ( se utiliza indistintamente las notaciones
(1.7)
_
C
F ds o
_
C
P dx + Qdy + Rdz.
La idea de esta ultima notacion es que si (t) =
_
x(t), y(t), z(t)
_
es una parametrizacion regular
de ( que preserva la orientacion de (,
_
C
F ds =
_
b
a
F((t))

(t) dt
=
_
b
a
_
P(x(t), y(t), z(t)) x

(t) + Q(x(t), y(t), z(t)) y

(t) + R(x(t), y(t), z(t)) z

(t)
_
dt
que es lo mismo que se obtiene si se escribe dx = x

(t) dt, dy = y

(t) dt, dz = z

(t) dt en el
miembro derecho de (1.7) y se evaluan las funciones P, Q y R en
_
x(t), y(t), z(t)
_
.
Ejercicios
Ejercicio 1.18. Sea F(x, y, z) = (x, y, z). Evaluar la integral curvilnea de F a lo largo de
las curvas orientadas ( dadas por las siguientes parametrizaciones:
1. (t) = (t, t, t), 0 t 1
2. (t) = (sin t, 0, cos t), 0 t 2
EJERCICIOS 29
Ejercicio 1.19. Para las curvas orientadas ( parametrizadas por las correspondientes fun-
ciones , evaluar las integrales siguientes:
1.
_
C
xdy y dx, (t) = (cos t, sin t), 0 t 2
2.
_
C
xdx + y dy, (t) = (cos(t), sin(t)), 0 t 2
Ejercicio 1.20. Considerar la fuerza F(x, y, z) = (x, y, z). Calcular el trabajo realizado al
mover una partcula a lo largo de la parabola y = x
2
, z = 0, de x = 1 a x = 2.
Ejercicio 1.21. Sea ( una curva orientada suave parametrizada por .
1. Suponer que F es perpendicular a

(t) en (t) para todo t. Mostrar que

_
C
F ds = 0.
2. Si F es paralelo a

(t) en (t) para todo t, mostrar que

_
C
F ds =
_
C
|F| ds.
(Aqu, por paralelo a

(t) se entiende que F

_
(t)
_
= (t)

(t), donde (t) > 0.)

Ejercicio 1.22. Cual es el valor de la integral curvilnea de un campo gradiente sobre una
curva cerrada C?
Ejercicio 1.23. Suponer que f(x, y, z) = (2xyze
x
2
, ze
x
2
, ye
x
2
). Si f(0, 0, 0) = 5, hallar
f(1, 1, 2).
Ejercicio 1.24. Considerar el campo de fuerza gravitacional (con G = m = M = 1) denido
(para (x, y, z) ,= (0, 0, 0)) por:
F(x, y, z) =
1
(x
2
+ y
2
+ z
2
)
3
2
(x, y, z).
Mostrar que el trabajo realizado por la fuerza gravitacional conforme una partcula se mueve
de (x
1
, y
1
, z
1
) a (x
2
, y
2
, z
2
), a lo largo de cualquier trayectoria, depende solo de los radios R
1
=
_
x
2
1
+ y
2
1
+ z
2
1
y R
2
=
_
x
2
2
+ y
2
2
+ z
2
2
.
Ejercicio 1.25. Sean f : R
3
R una funcion C
1
, G : R
3
R
3
un campo C
1
y F = f+G.
Sea ( una curva cerrada, simple, suave, orientada. Vericar que
_
C
F ds =
_
C
G ds.
Ejercicio 1.26. Sea ( una curva suave, : [a, b] R
3
una parametrizacion regular de (.
Sea g : [ a,

b] [a, b] una biyeccion C

1
con g

() ,= 0 para todo [a, b]. Sea : [ a,

b] R
3
dada por (s) =
_
g(s)
_
. Llamamos a una reparametrizacion de .
1. Probar que es una parametrizacion regular de (.
30 1. CURVAS
2. Sea f : R
3
R continua. Ver que el calculo de
_
C
f ds da el mismo resultado cuando
la integral se eval ua utilizando la parametrizacion o la parametrizacion .
3. Sea F : R
3
R
3
continua. Suponer que orientamos a ( con la orientacion dada por .
Ver que el calculo de
_
C
F ds utilizando la parametrizacion da el mismo resultado que
cuando se utiliza , si preserva la orientacion de (. Ver que si no es asi, los resultados
dieren solo en el signo.
Realizar este ejercicio utilizando solo la formula que da las integrales sin utilizar los resultados
teoricos, es decir, comparando integrales en interavalos de la recta.
CAPTULO 2
Supercies
1. Parametrizaciones y suavidad
Definici on 2.1. Una supercie parametrica (supercie a secas para nosotros) es un conjunto
de puntos del espacio que puede describirse por medio de dos parametros. Mas precisamente, o
es una supercie si existen funciones continuas x(u, v), y(u, v), z(u, v) denidas en un dominio
elemental D R
2
tales que (x, y, z) o si y solo si existe (u, v) D con x = x(u, v), y = y(u, v),
z = z(u, v).
En este caso, llamamos a T : D R
3
dada por T(u, v) =
_
x(u, v), y(u, v), z(u, v)
_
una
parametrizacion de o.
Definici on 2.2. Sea o una supercie, P
0
o y
0
un plano por P
0
. Sea
0
un vector de
longitud 1 perpendicular a
0
. Decimos que
0
es el plano tangente a o en P
0
si la recta por P y
P
0
con P o tiende a ser perpendicular a
0
a medida que P se acerca a P
0
. Mas precisamente,
si
P P
0
|P P
0
|

0
0 cuando P P
0
con P o.
Aqu v w denota el producto escalar de los vectores v y w. Recordemos que si v y w
tienen longitud 1, el producto escalar da el coseno del angulo determinado por los vectores. En
particular, los vectores son perpendiculares si y solo si su producto escalar es 0 y estan en la
misma recta si el producto escalar es 1 o 1.
Observaci on 2.1. Sea P
0
o y
0
un vector de norma 1. Sea
0
el plano perpendicular a

0
por P
0
. Entonces
0
es el plano tangente a o en P
0
si y solo si para todo > 0 existe > 0
tal que si P o y |P P
0
| < se sigue que
(2.8)

P P
0
|P P
0
|

0

< .
Como
P P
0
|P P
0
|

0
= cos (P)
donde (P) es el angulo entre el vector P P
0
y
0
, la condicion (2.8) dice que, en la bola
B

(P
0
), la supercie o queda fuera del cono de eje
0
y apertura [0, /2] donde cos = ,
ya que [ cos (P)[ < cos
_
= cos( )
_
implica que < (P) < .
31
32 2. SUPERFICIES
Como > 0 es arbitrario, la condicion geometrica que caracteriza al plano tangente en P
0
es que para todo cono con eje
0
, exista un entorno de P
0
tal que, en ese entorno, la supercie
o queda fuera del cono.
1
0.5
0
0.5
1
1
0.5
0
0.5
1
10
5
0
5
10

0
S
P
0
Figura 1. Un cono de apertura con eje
0
y vertice P
0
sobre la supercie o.
Teorema 2.1. Sea o una supercie. Si existe una parametrizacion T : D R
2
R
3
inyectiva, diferenciable en (u
0
, v
0
) D tal que los vectores derivados T
u
(u
0
, v
0
), T
v
(u
0
, v
0
) no
son paralelos y son no nulos, el plano
0
por P
0
= T(u
0
, v
0
) que determinan estos dos vectores
derivados es tangente a o en P
0
.
Observaci on 2.2. En este caso se puede tomar

0
=
T
u
(u
0
, v
0
) T
v
(u
0
, v
0
)
|T
u
(u
0
, v
0
) T
v
(u
0
, v
0
)|
donde v w denota el producto vectorial de v y w.
Si
0
= (a
0
, b
0
, c
0
), la ecuacion del plano tangente es (aqu P
0
= (x
0
, y
0
, z
0
)),

0
: a
0
(x x
0
) + b
0
(y y
0
) + c
0
(z z
0
) = 0.
Notemos que no es necesario tomar un versor
0
para encontrar la ecuacion de
0
. Es decir,
si
T
u
(u
0
, v
0
) T
v
(u
0
, v
0
) = (a, b, c),
se tiene

0
: a(x x
0
) + b(y y
0
) + c(z z
0
) = 0.
Demostraci on del Teorema 2.1. Sean T y (u
0
, v
0
) como en el enunciado. Queremos ver
que si N
0
= T
u
(u
0
, v
0
) T
v
(u
0
, v
0
) y
0
= N
0
/|N
0
|, se sigue que
(2.9)
T(u, v) T(u
0
, v
0
)
|T(u, v) T(u
0
, v
0
)|

0
0 cuando (u, v) (u
0
, v
0
).
En efecto, si P
n
o y P
n
P
0
existen unicos (u
n
, v
n
) D tales que P
n
= T(u
n
, v
n
). Como
se demostro en el caso de curvas, se puede ver que necesariamente (u
n
, v
n
) (u
0
, v
0
) ya que
(u
0
, v
0
) es el unico posible punto de acumulacion de la sucesion.
1. PARAMETRIZACIONES Y SUAVIDAD 33
Para probar (2.9), observemos primero que, por el desarrollo de Taylor,
T(u, v) T(u
0
, v
0
) = T
u
(u
0
, v
0
)(u u
0
) + T
v
(u
0
, v
0
)(v v
0
) + R(u, v; u
0
, v
0
).
El termino R(u, v; u
0
, v
0
) llamado Resto de Taylor tiende a 0 mas rapido que |(uu
0
, v
v
0
)|, cuando |(u u
0
, v v
0
)| 0. Es decir,
R(u, v; u
0
, v
0
)
|(u u
0
, v v
0
)|
0 cuando |(u u
0
, v v
0
)| 0.
Por lo tanto, dados > 0 y 0 < < 1 existe
0
tal que si |(uu
0
, v v
0
)| <
0
se sigue que
(2.10) |R(u, v; u
0
, v
0
)| <

2
|(u u
0
, v v
0
)|.
Por hipotesis, T
u
(u
0
, v
0
) y T
v
(u
0
, v
0
) son no nulos y el angulo entre ellos esta en (0, ). Por
otro lado,
_
_
T
u
(u
0
, v
0
)(u u
0
) + T
v
(u
0
, v
0
)(v v
0
)
_
_
2
=
_
_
T
u
(u
0
, v
0
)
_
_
2
(u u
0
)
2
+
_
_
T
v
(u
0
, v
0
)
_
_
2
(v v
0
)
2
+ 2
_
_
T
u
(u
0
, v
0
)
_
_
_
_
T
v
(u
0
, v
0
)
_
_
(u u
0
) (v v
0
) cos

_
1 [ cos [
___
_
T
u
(u
0
, v
0
)
_
_
2
(u u
0
)
2
+
_
_
T
v
(u
0
, v
0
)
_
_
2
(v v
0
)
2

+[ cos [
_
|T
u
(u
0
, v
0
)
_
_
[u u
0
[
_
_
T
v
(u
0
, v
0
)
_
_
[v v
0
[

_
1 [ cos [
_
_
_
_
T
u
(u
0
, v
0
)
_
_
2
(u u
0
)
2
+
_
_
T
v
(u
0
, v
0
)
_
_
2
(v v
0
)
2
_

2
_
(u u
0
)
2
+ (v v
0
)
2

con
2
> 0 igual a
_
1 [ cos [
_
por el mnimo entre
_
_
T
u
(u
0
, v
0
)
_
_
2
y
_
_
T
v
(u
0
, v
0
)
_
_
2
.
De aqu que
(2.11) |T(u, v) T(u
0
, v
0
)| |(u u
0
, v v
0
)| |R(u, v; u
0
, v
0
)|

2
|(u u
0
, v v
0
)|
si |(u u
0
, v v
0
)| <
0
.
Recordemos que
0
= N
0
/|N
0
|. Se tiene,
(P P
0
) N
0
=
_
T
u
(u
0
, v
0
)(u u
0
) + T
v
(u
0
, v
0
)(v v
0
) + R(u, v; u
0
, v
0
)
_

_
T
u
(u
0
, v
0
) T
v
(u
0
, v
0
)
_
=R(u, v; u
0
, v
0
)
_
T
u
(u
0
, v
0
) T
v
(u
0
, v
0
)
_
.
Usando las estimaciones (2.10) y (2.11) tenemos

P P
0
|P P
0
|

0

|R(u, v; u
0
, v
0
)|
|(u u
0
, v v
0
)|
<
si |(u u
0
, v v
0
)| <
0
.
Esto demuestra el teorema.
Definici on 2.3. Una supercie o es suave si tiene plano tangente en todos sus puntos y la
recta L(P) perpendicular al plano tangente en P o vara continuamente con P.
34 2. SUPERFICIES
Proposici on 2.1. Si o es una supercie que tiene una parametrizacion T : D R
2
R
3
inyectiva, C
1
, con T
u
T
v
,= 0 para todo (u, v) D, se tiene que o es suave.
Demostraci on. Sea (P) =
Tu(u,v)Tv(u,v)
Tu(u,v)Tv(u,v)
para (u, v) el unico par tal que P = T(u, v).
Como T es inyectiva y continua, P P
0
= T(u
0
, v
0
) si y solo si (u, v) (u
0
, v
0
) y como
T
u
T
v
,= 0 para todo (u, v), se sigue que (P) (P
0
) cuando P P
0
.
Esto demuestra que el plano tangente vara con continuidad. Luego, la supercie es suave.
Definici on 2.4. A una parametrizacion T con las propiedades de la Proposicion 2.1 la
llamamos regular.
Proposici on 2.2. Sea o el graco de una funcion C
1
, f : D R con D R
2
un dominio
elemental. Entonces o es una supercie suave y la ecuacion del plano tangente en el punto
(x
0
, y
0
, f(x
0
, y
0
)) es
(2.12) z = f(x
0
, y
0
) + f
x
(x
0
, y
0
)(x x
0
) + f
y
(x
0
, y
0
)(y y
0
).
Demostraci on. Una parametrizacion de o es T(x, y) =
_
x, y, f(x, y)
_
. Se tiene
T
x
= (1, 0, f
x
) T
y
= (0, 1, f
y
) T
x
T
y
= (f
x
, f
y
, 1) ,= (0, 0, 0).
Por lo tanto, o es suave y la ecuacion del plano tangente en el punto
_
x
0
, y
0
, f(x
0
, y
0
)
_
es
(2.12).
Proposici on 2.3. Sea o una supercie dada en forma implcita por
o : F(x, y, z) = 0
donde F : R
3
R es de clase C
1
y F(x, y, z) ,= (0, 0, 0) para todo (x, y, z).
Entonces, o es una supercie suave y la ecuacion del plano tangente en el punto (x
0
, y
0
, z
0
)
o es
(2.13) F
x
(x
0
, y
0
, z
0
)(x x
0
) + F
y
(x
0
, y
0
, z
0
)(y y
0
) + F
z
(x
0
, y
0
, z
0
)(z z
0
) = 0.
Demostraci on. Como F(x
0
, y
0
, z
0
) ,= (0, 0, 0) alguna de las coordenadas es no nula.
Supongamos que F
z
(x
0
, y
0
, z
0
) ,= 0. Por el Teorema de la Funcion Implcita exite un entorno |
de (x
0
, y
0
, z
0
) y una funcion f(x, y) denida en un entorno D del punto (x
0
, y
0
) tal que los puntos
(x, y, z) o | son de la forma (x, y, f(x, y)) para un unico punto (x, y) D y z
0
= f(x
0
, y
0
).
Por la Proposicion 2.2 sabemos que o | es una supercie suave y que la ecuacion del plano
tangente a o en el punto (x
0
, y
0
, z
0
)
_
z
0
= f(x
0
, y
0
)
_
esta dada por (2.12).
Por otro lado, el Teorema de la Funcion Implcita da que
f
x
(x
0
, y
0
) =
F
x
(x
0
, y
0
, z
0
)
F
z
(x
0
, y
0
, z
0
)
f
y
(x
0
, y
0
) =
F
y
(x
0
, y
0
, z
0
)
F
z
(x
0
, y
0
, z
0
)
.
Reemplazando en (2.12) y multiplicando por F
z
(x
0
, y
0
, z
0
) obtenemos (2.13).
Como z era cualquiera de las variables, llegamos a la misma ecuacion en todos los casos.
1. PARAMETRIZACIONES Y SUAVIDAD 35
Ejemplo 2.1. Sea T(, ) = ( cos , sen ,
2
) para 0 1 y 0 2. T es la
parametrizacion de una supercie y es C
1
. Pero T no es inyectiva ya que el punto (0, 0, 0) es
imagen de cualquier punto (0, ). Ademas,
T

= (cos , sen , 2) T

= ( sen , cos , 0) T

= (2
2
cos , 2
2
sen , )
que se anula para = 0. Pero no se anula si ,= 0.
Como saber si la supercie tiene plano tangente en el (0, 0, 0)? Una posibilidad es mirar a
las rectas normales en puntos cercanos. Si estas rectas se acercan a alguna en particular, esta
sera candidata a ser recta normal en el origen. Calculemos:
(P) =
T

(, ) T

(, )
_
_
T

(, ) T

(, )
_
_
=
1
_
1 + 8
2
(2 cos , 2 sen , 1) para (0, 0, 0) ,= P = T(, ).
(Observemos que obtenemos los mismos versores normales cuando utilizamos = 0 y =
2).
Vemos que existe el lmite de (P) cuando P (0, 0, 0)
_
obtenemos el (0, 0, 1)
_
. Nuestra
candidata a recta normal sera el eje z.
Observemos que obtendramos la misma conclusion si en alg un caso el lmite es (0, 0, 1) y en
otro es (0, 0, 1) ya que lo que tenemos que vericar es que se llega a generadores de la misma
recta.
Veamos que efectivamente el eje z es normal a la supercie en el origen (y por lo tanto, el
plano z = 0 es el plano tangente en el origen).
Sea P = ( cos , sen ,
2
) con chico para que P este cerca del origen. Tenemos,

P
|P|
(0, 0, 1)

=

2

_
1 +
2
0 cuando 0.
Ademas, por lo que hemos visto, la normal es continua. Por lo tanto, la supercie es suave.
(En los otros puntos la existencia de plano tangente y la continuidad del mismo se deducen
directamente de la regularidad de la parametrizacion).
Observen que se trata del paraboloide z = x
2
+ y
2
, 0 z 1.
Ejemplo 2.2. Sea T(, ) = ( cos , sen , ) para 0 1 y 0 2.
Como en el ejemplo anterior, T es la parametrizacion de una supercie, T C
1
y T no es
inyectiva.
Observemos que T es una parametrizacion del cono z
2
= x
2
+ y
2
, 0 z 1 que no es
una supercie suave. Como lo vemos con esta parametrizacion? Como en el ejemplo anterior,
calculamos el versor normal a la supercie para P ,= (0, 0, 0) utilizando la parametrizacion dada.
Obtenemos en este caso
(P) =
T

(, ) T

(, )
_
_
T

(, ) T

(, )
_
_
=
1

2
(cos , sen , 1).
Este vector es independiente de y es diferente para distintos valores de . Por lo tanto,
no existe el lmite de (P) cuando P (0, 0, 0). Esto indica que la supercie no es suave en el
origen. (No prueba que no hay plano tangente en el origen, pero eso se puede probar tambien).
36 2. SUPERFICIES
Definici on 2.5. Sea o una supercie suave y T : D R
2
R
3
una parametrizacion
regular de o. Sea D
1
R
2
un dominio elemental y G : D
1
D una biyeccion, C
1
con
Jacobiano no nulo. (Es decir, [DG(u, v)[ , = 0 para todo (u, v) D
1
). Sea T
1
: D
1
R
3
dada por
T
1
(u, v) = T
_
G(u, v)
_
. Llamamos a T
1
una reparametrizacion de T.
Proposici on 2.4. Sean o, T y T
1
como en la Denicion 2.5. Entonces, T
1
es una para-
metrizacion regular de o. Mas a un, T
1u
(u, v) T
1v
(u, v) =
_
T
u
(G(u, v)) T
v
(G(u, v))
_

G
(u, v)
donde
G
es el determinante de la matriz asociada al diferencial de G.
Demostraci on. El resultado se deja como ejercicio. Solo se tienen que calcular los vectores
T
1u
(u, v) y T
1v
(u, v) usando regla de la cadena. Al calcular T
1u
(u, v) T
1v
(u, v) se utiliza el
hecho de que T
u
T
u
= T
v
T
v
= 0 y T
u
T
v
= T
v
T
u
.
Ejercicios
Ejercicio 2.1. Dadas las siguientes supercies en coordenadas esfericas, determinar su
correspondiente ecuacion en coordenadas cartesianas y gracar
1. r = k (k = cte).
2. = k, k (0, /2] constante.
En cada uno de los casos anteriores de un versor normal en cada punto.
Ejercicio 2.2.
1. Mostrar que
1
: R
2
R
3
y
2
: R
0
[0, 2) R
3
dadas por

1
(u, v) = (u, v,
u
2
a
2
+
v
2
b
2
) (a, b no nulos)

2
(u, v) = (au cos(v), bu sin(v), u
2
)
son dos parametrizaciones del paraboloide elptico.
2. Mostrar que
(u, v) =
_
(a + b cos(u)) sin(v), (a + b cos(u)) cos(v), b sin(u)
_
0 < b < a, y u, v [0, 2], es una parametrizacion del toro es decir, de una supercie
que se obtiene al girar alrededor del eje z una circunferencia en el plano y, z de radio
menor a la distancia de su centro al eje z (dibuje).
Ejercicio 2.3. Sea ( la curva en el plano xy dada en polares por:
r = 2 cos para

3


3
Sea S la supercie que se obtiene por revolucion de esta curva alrededor del eje y.
1. Dar una parametrizacion de S.
2. Es suave esta supercie?
2. AREA DE UNA SUPERFICIE 37
Ejercicio 2.4. Hallar la ecuacion del plano tangente a la esfera de radio a y centro en el
origen en un punto (x
0
, y
0
, z
0
) generico de la esfera.
Ejercicio 2.5. Encontrar una ecuacion para el plano tangente en el punto (0,1,1) a la
supercie dada por la parametrizacion
x = 2u, y = u
2
+ v, z = v
2
.
Ejercicio 2.6. Probar la Porposicion 2.4
2. Area de una supercie
Sea o una supercie suave. Queremos encontrar una forma de denir el area de o que vuelva
a darnos lo que tomamos como denicion en el caso de supercies planas. Para ello, supongamos
que tenemos una supercie o contenida en el plano z = 0. Una parametrizacion de esta
supercie tendra necesariamente la forma
T(u, v) = (x(u, v), y(u, v), 0), (u, v) D.
Sea G : D R
2
dada por G(u, v) = (x(u, v), y(u, v)).
Calculemos T
u
T
v
. Tenemos,
T
u
= (x
u
, y
u
, 0) T
v
= (x
v
, y
v
, 0) T
u
T
v
=
_
0, 0,
J(x, y)
J(u, v)
_
.
Por lo tanto, |T
u
T
v
| = [DG[.
Observemos que lo que hemos hecho no es otra cosa que representar la region plana o
contenida en el plano (x, y) por medio de un cambio de coordenadas dado por G. El Teorema
de cambio de variables nos da un calculo del area de o en terminos de una integral sobre D. A
saber,
(2.14) Area (o) =
__
D
[DG(u, v)[ dudv.
A esta formula se llegaba de la siguiente manera: Elegimos un rectangulo [a, b] [c, d] que
contenga a D y lo partimos de manera uniforme en rectangulitos R
ij
= [u
i1
, u
i
] [v
j1
, v
j
] con
u
i
u
i1
=
ba
n
, v
j
v
j1
=
dc
n
, i, j = 1, n.
Consideramos solo los rectangulos contenidos en D. Aquellos que cortan el borde de D suman
un area que tiende a 0 cuando n tiende a innito y por lo tanto se desprecian. De modo que
(2.15) Area (o)

i,j / R
ij
D
Area (S
ij
).
Aqu llamamos S
ij
= G(R
ij
). Si n es grande, vemos que la region S
ij
es muy parecida
al paralelogramo determinado por los vectores G
u
(u
i1
, v
j1
)u y G
v
(u
i1
, v
j1
)v que son
linealmente independientes por la hipotesis de que [DG(u
i1
, v
j1
)[ , = 0.
Esta area esta dada por [DG(u
i1
, v
j1
)[ uv, y eso es lo que da nalmente en el lmite
para n tendiendo a innito la relacion (2.14).
38 2. SUPERFICIES
Queremos hacer algo similar con una supercie no plana. Como antes, consideramos los
rectangulos R
ij
despreciando aquellos que no estan contenidos en D y aproximamos aquello que
queremos denir como el area de o por (2.15) con S
ij
= T(R
ij
).
Para cada peque na supercie S
ij
, aproximamos lo que queremos que sea su area por la del
paralelogramo determinado por los vectores T
u
(u
i1
, v
j1
) u y T
v
(u
i1
, v
j1
) v que es igual
a |(T
u
T
v
)(u
i1
, v
j1
)| uv.
En efecto, si V
1
, V
2
R
3
son dos vectores no alineados, la norma del producto vectorial
|V
1
V
2
| da el area del paralelogramo que determinan.
V
2

V
1


h
El area del paralelogramo es la longitud de la base por la altura. Por lo tanto, coincide con
|V
1
| h = |V
1
| |V
2
| sen = |V
1
V
2
|.
Por lo tanto, si existe el lmite cuando n tiende a innito de

i,j / R
ij
D
|(T
u
T
v
)(u
i1
, v
j1
)| uv,
se tiene que esa es una buena denicion para el area de o.
Pero ese lmite existe y coincide con
__
D
|T
u
T
v
| dudv.
Tomamos por lo tanto esta integral como denicion de Area (o). Despues veremos que no
depende de la parametrizacion utilizada para su caculo, lo que es esencial para que resulte una
buena denicion.
Observemos que en el caso en que o z = 0, volvemos a obtener la formula (2.14).
3. Integral de supercie
A continuacion vamos a denir lo que entenderemos por integral de supercie de una funcion
continua. Para motivarlo consideremos el siguiente problema: Hallar la masa total de una mem-
brana que ocupa una region del espacio que podemos considerar una supercie o despreciando
una dimension.
Si la membrana es de un material homogeneo, su masa sera una proporcion del area de o.
Llamamos a esa proporcion densidad supercial de masa:
0
. Por lo tanto,
Masa total =
0
Area (o).
3. INTEGRAL DE SUPERFICIE 39
Si la membrana esta formada por parches o
k
de materiales homogeneos de densidad super-
cial de masa
k
,
Masa total =

k
Area (o
k
).
Si ahora la membrana esta formada por un material inhomogeneo con densidad supercial
de masa (x, y, z) continua, podemos aproximarla por
_
i,j / R
ij
D
S
ij
ya que la supercie que estamos despreciando tiene area que tiende a 0 y por lo tanto tendra masa
que tiende a 0 cuando n tiende a innito. Ademas, podemos pensar que cada S
ij
esta formado
por un material homogeneo de densidad supercial de masa igual a (P
ij
) donde P
ij
S
ij
es
arbitrario, ya que vara muy poco sobre S
ij
.
Por lo tanto,
Masa total

i,j / R
ij
D
(P
j
) Area (S
ij
).
Sabemos que Area (S
ij
) =
__
R
ij
|T
u
T
v
| dudv.
Por el Teorema del valor medio integral, existe un punto (u
ij
, v
ij
) R
ij
tal que esta ultima
integral coincide con |(T
u
T
v
)(u
ij
, v
ij
)| uv.
Como el punto P
ij
en R
ij
era arbitrario, podemos elegirlo como P
ij
= T(u
ij
, v
ij
) y tenemos
Masa total

i,j / R
ij
D

_
T(u
ij
, v
ij
)
_
|(T
u
T
v
)(u
ij
, v
ij
)| uv.
Tomando lmite cuando n tiende a innito tenemos
Masa total =
__
D

_
T(u, v)
_
|(T
u
T
v
)(u, v)| dudv.
Estas consideraciones y otras aplicaciones llevan a la siguiente denicion
Definici on 2.6. Sea o una supercie suave que admite una parametrizacion regular
T : D R
2
R
3
. Sea f : o R una funcion continua. Llamamos integral de supercie
de f en o a
__
S
f dS :=
__
D
f
_
T(u, v)
_
|(T
u
T
v
)(u, v)| dudv.
Para ver que esta es una buena denicion debemos ver que no depende de la parametrizacion
regular utilizada ya que pretendemos que sea algo que solo depende de o y de f. Esto se va a
deducir del siguiente resultado.
Teorema 2.2. Sea o una supercie suave que admite dos parametrizaciones regulares
T : D R
2
R
3
y T
1
: D
1
R
2
R
3
. Entonces, T
1
es una reparametrizacion de T. Es
decir, existe una biyeccion G : D
1
D, G C
1
con Jacobiano no nulo en todos los puntos tal
que T
1
(u, v) = T(G(u, v)) para todo (u, v) D
1
.
40 2. SUPERFICIES
Demostraci on. Solo se dara la idea. Como T
1
y T son biyecciones a o, dado (u, v) D
1
,
existe un unico (r, t) D tal que T
1
(u, v) = T(r, t).
Llamemos G(u, v) := (r, t). Claramente, G es una biyeccion entre D
1
y D.
Se puede probar (no lo haremos) que G es continuamente diferenciable. Por lo tanto, por la
Proposicion 2.4 se tiene que
T
1u
(u, v) T
1v
(u, v) =
_
T
r
(G(u, v)) T
t
(G(u, v))
_

G
(u, v)
donde
G
es el determinante de la matriz asociada al diferencial de la transformacion G. (El
Jacobiano es el modulo de este determinante).
Como T
1u
(u, v) T
1v
(u, v) ,= 0, se sigue que
G
,= 0.
Obtenemos enseguida el resultado buscado
Teorema 2.3. Sea o una supercie suave que admite dos parametrizaciones regulares
T : D R
2
R
3
y T
1
: D
1
R
2
R
3
. Sea f : o R una funcion continua. Entonces,
__
D
f
_
T(r, t)
_
|T
r
T
t
| dr dt =
__
D
1
f
_
T
1
(u, v)
_
|(T
1
)
u
(T
1
)
v
| dudv.
Demostraci on. Por el Teorema 2.2 sabemos que existe una biyeccion G : D
1
D, G C
1
con Jacobiano no nulo en todos los puntos tal que T
1
(u, v) = T(G(u, v)) para todo (u, v) D
1
.
Ademas, |(T
1
)
u
(u, v) (T
1
)
v
(u, v)| =
_
_
_T
r
(G(u, v)) T
t
(G(u, v))
_
_
_ [DG(u, v)[. Por lo tanto,
__
D
1
f
_
T
1
(u, v)
_
|(T
1
)
u
(u, v) (T
1
)
v
(u, v)| dudv
=
__
D
1
f
_
T(G(u, v))
_
_
_
_
_
T
r
(G(u, v)) T
t
(G(u, v))
_
_
_
_ [DG(u, v)[ dudv
=
__
D
f
_
T(r, t)
_
|T
r
(r, t) T
t
(r, t)| dr dt.
En la ultima igualdad hemos aplicado el Teorema de cambio de variables en integrales
dobles.
Teorema 2.4 (Teorema del valor medio). Sea o una supercie suave que admite una para-
metrizacion regular y f : o R una funcion continua. Existe un punto P
0
o tal que
__
S
f dS = f(P
0
) Area (o).
Demostraci on. La demostracion es similar a los otros teoremas del valor medio. Solo hay
que observar que de la denicion de integral de supercie se deduce que
mn
S
f
1
Area (o)
__
S
f dS max
S
f
y usar la continuidad de f para deducir que el promedio de f en o es f(P
0
) para alg un P
0
o.
4. ORIENTACI

ON DE SUPERFICIES Y FLUJO A TRAV

ES DE UNA SUPERFICIE 41
4. Orientacion de supercies y ujo a traves de una supercie
Para motivar la denicion consideremos el siguiente problema: Sea V el campo de velocidades
de un uido. Supongamos por un momento que V es constante. Si una partcula esta en un punto
P
0
en el instante t
0
estara en el punto P
0
+V en el instante t
0
+ 1.
Supongamos que tenemos una supercie plana o contenida en el plano perpendicular a un
vector unitario . Queremos saber cuanto uido atraviesa la supercie o en una unidad de
tiempo en el sentido dado por el vector .
Las partculas que estaban sobre o se movieron hasta una supercie que es la translacion de
o por el vector V. El uido que estaba al otro lado del plano y atraveso la supercie o en ese
intervalo de tiempo lleno una region cilndrica (ver gura).
h

V
S tiempo t
0

tiempo t
0
+1
Por lo tanto, el volumen que atraveso o en una unidad de tiempo es el volumen de esta
region que es igual a la supercie de la base o por la altura h = [V [.
Observemos que V es positivo si apuntan para el mismo lado del plano y negativo si no.
Podemos tomar la convencion de que la cantidad total que uye a traves de o por unidad de
tiempo en el sentido dado por tenga signo, y que ese signo identique si el ujo se da en el
sentido del vector (en ese caso lo tomamos como positivo), o en el sentido opuesto (en ese
caso lo tomamos como negativo). Como V tiene el signo que corresponde a esta convencion,
decimos que la cantidad de uido que atraviesa la supercie o en el sentido dado por el vector
es (V ) Area (o).
Si o no es plana, pero es suave, la partimos en pedazos chicos que resultan casi planos:
o = S
k
. En cada S
k
elijo un punto P
k
y tomo un versor
k
normal a o en P
k
. Aproximo a S
k
por una supercie plana de igual area contenida en el plano perpendicular a
k
.
Hay dos elecciones posibles de versor
k
normal al plano tangente a o en P
k
. Necesito que
haya una eleccion de vector normal unitario (P) en cada punto P o que vare con continuidad
al moverme sobre o para que al reemplazar (P) por (P
k
) para P S
k
no haya variado mucho.
42 2. SUPERFICIES
Esta eleccion (P) continua debemos poder hacerla sobre toda la supercie o porque este
es un proceso de aproximacion y los pedazos S
k
van cambiando paso a paso haciendose mas
peque nos. En este proceso, si (P) no es continua globalmente, podra resultar discontinua en
uno de los pedacitos de supercie que aproximamos por supercies planas y esto no tendra
sentido.
Observemos que la eleccion de vector normal unitario (P) nos esta dando el sentido (la
orientacion) en que quiero medir cuanto uido atraviesa o por el punto P. No tendra sentido
que esa eleccion no fuera continua porque al tener (P) norma 1, la discontinuidad indicara un
salto brusco de orientacion.
Vamos a ver despues que esto no necesariamente puede hacerse en toda supercie suave. Lo
que lleva a la Denicion 2.7 de orientabilidad que daremos mas adelante.
Siguiendo con nuestro calculo de la cantidad de udo que atraviesa una supercie orienta-
da por unidad de tiempo, hemos dividido a o en pedazos S
k
peque nos y reemplazado cada uno
de estos pedazos por una supercie plana de la misma area contenida en el plano perpendicular a
(P
k
) donde P
k
S
k
se elige arbitrariamente por la poca variacion que los versores (P) tienen
sobre S
k
. Ahora, observamos que tambien podramos admitir que el campo de velocidades V no
fuera constante. Pero necesitamos que sea continuo sobre o para que vare poco sobre cada S
k
.
En ese caso, lo reemplazamos en S
k
por V(P
k
). De modo que la cantidad de udo que atraviesa
S
k
por unidad de tiempo sera aproximadamente (V )(P
k
) Area (S
k
).
Finalmente, la cantidad total de udo que atraviesa o en el sentido dado por la eleccion
(P), P o sera aproximadamente

k
(V )(P
k
) Area (S
k
).
Esta suma aproxima, cuando las areas de los S
k
tienden a 0 a la integral de supercie de la
funcion escalar continua (V ). A saber,
__
S
(V ) dS.
Con esta motivacion consideramos las siguientes deniciones.
Definici on 2.7. Decimos que una supercie suave o es orientable si hay una forma de elegir
en cada punto P de o un unico versor normal (P) de modo que la funcion vectorial que esta
eleccion dene sobre o resulte continua.
Por ejemplo, si o es un graco, o : z = f(x, y), se puede elegir en todos los puntos un
versor normal que apunte hacia arriba (es decir, con componente z positiva). Esta eleccion es
continua en o.
Si o es el borde de una region R
3
de tipos I, II o III, se puede elegir como (P) la
normal que apunta hacia afuera de .
En general, si o es una supercie que admite una parametrizacion regular en el sentido de
la Denicion 2.4, o resulta orientable (Proposicion 2.5). Pero si la parametrizacion T deja de
ser inyectiva, o podra ser no orientable aunque se tenga T C
1
y T
u
T
v
,= 0 en todos lados.
4. ORIENTACI

ON DE SUPERFICIES Y FLUJO A TRAV

ES DE UNA SUPERFICIE 43
Observar la diferencia entre orientabilidad y continuidad de la recta normal. Por ejemplo,
en la Cinta de Moebius la recta normal es continua pero la Cinta no es orientable.
Se puede ver una animacion de la Cinta de Moebius donde se observa la suavidad de la
misma y se ve que no se puede elegir un versor normal que se mueva continuamente sobre la
misma. En la animacion se mueve un versor normal y se ve que al volver al punto de partida se
llega con el versor normal opuesto al del comienzo.
http://mate.dm.uba.ar/
~
wolanski/unmoebius.zip
Proposici on 2.5. Sea o una supercie suave que admite una parametrizacion regular T :
D R
2
R
3
. Para cada P o, sea
(P) =
T
u
(u, v) T
v
(u, v)
|T
u
(u, v) T
v
(u, v)|
, donde (u, v) es tal que P = T(u, v).
Entonces, esta eleccion de versor normal resulta continua y por lo tanto da una orientacion a
la supercie o. En este caso, decimos que o esta orientada por la parametrizacion T.
Definici on 2.8. Sea o una supercie orientada por el campo continuo de versores normales
(P). Sea F un campo vectorial continuo sobre o. Llamamos ujo de F a traves de o a la
integral
__
S
(F ) dS.
Como calcular el ujo de F a traves de una supercie orientada o si esta admite una
parametrizacion regular?
Sea (P) el campo continuo de versores normales que da la orientacion de o. Sea T : D R
3
una parametrizacion regular de o. Como vimos en la proposicion 2.5 la eleccion
(2.16)
T
(P) =
T
u
(u, v) T
v
(u, v)
|T
u
(u, v) T
v
(u, v)|
, donde (u, v) es tal que P = T(u, v)
determina un campo continuo de versores normales sobre o.
Hay solo dos posibilidades

T
(P) = (P) para todo P o,
o bien

T
(P) = (P) para todo P o.
En el primer caso decimos que T preserva la orientacion de o. En el otro caso, que la invierte.
Si T preserva la orientacion de o, la usamos para calcular la integral. Tenemos,
__
S
(F ) dS =
__
D
(F )
_
T(u, v)
_
|(T
u
T
v
)(u, v)| dudv.
Usando que (P) =
T
(P), la expresion de
T
en (2.16) y simplicando las |(T
u
T
v
)(u, v)|
se llega a
(2.17)
__
S
(F ) dS =
__
D
F
_
T(u, v)
_

_
T
u
T
v
)(u, v) dudv.
44 2. SUPERFICIES
Esto motiva la siguiente notacion para el ujo de F a traves de la supercie orientada o:
__
S
F dS.
Observemos que esta notacion requiere indicar previamente cual es la orientacion de o.
Finalmente, supongamos que la parametrizacion regular T invierte la orientacion. De todos
modos podemos usarla para el calculo del ujo. En efecto, en este caso
__
S
F dS =
__
S
(F ) dS
=
__
D
(F )
_
T(u, v)
_
|(T
u
T
v
)(u, v)| dudv
=
__
D
(F
T
)
_
T(u, v)
_
|(T
u
T
v
)(u, v)| dudv
=
__
D
F
_
T(u, v)
_

_
T
u
T
v
)(u, v) dudv.
Ejercicios
Ejercicio 2.7. Sea (r, ) : [0, 1] [0, 2] R
3
dada por
x = r cos() y = r sen() z =
la parametrizacion de una supercie o. Gracar o, hallar un vector normal en cada punto y
hallar su area.
Ejercicio 2.8. Sea (u, v) : D R
3
(D el disco unitario centrado en el origen)
(u, v) = (u v, u + v, uv)
la parametrizacion de una supercie. Calcular su area.
Ejercicio 2.9. Calcular el area de la supercie x
2
+ y
2
+ z
2
= R
2
con (x R/2)
2
+ y
2

(R/2)
2
. (boveda de Viviani).
Ejercicio 2.10. Sea la curva z = f(x) x [, ] con f y positivos, girada alrededor del
eje z. Mostrar que el area de la supercie barrida es
A = 2
_

x
_
1 + (f

(x))
2
dx
Aplicar a la supercie dada en el Ejercicio 2.2 item (a) para calcular el area del paraboloide
elptico con 1 z 2, y a = b = 1.
EJERCICIOS 45
Ejercicio 2.11. Sea ( la curva
_
x = cos
3

y = sen
3

con 0 2 en el plano xy. Sea S la supercie que se obtiene al girar la curva ( alrededor
del eje x
1. Hallar una parametrizacion de S.
2. Hallar el area de S.
Ejercicio 2.12. Calcular
_
S
xy dS donde S es el borde del tetraedro con lados z = 0, y = 0,
x + z = 1 y x = y.
Ejercicio 2.13. Calcular
_
S
(x +y +z) dS donde S es el borde de la bola unitaria, es decir
S = (x, y, z)/x
2
+ y
2
+ z
2
= 1
Ejercicio 2.14. Hallar la masa de una supercie esferica de radio r tal que en cada punto
(x, y, z) S la densidad de masa es igual a la distancia entre (x, y, z) y el punto (0, 0, r).
Ejercicio 2.15. Evaluar el ujo saliente del campo F(x, y, z) = (x, y, z) a traves de la
supercie del cubo [0, 1] [0, 1] [0, 1].
Ejercicio 2.16. Si la temperatura en un punto de R
3
esta dada por la funcion T(x, y, z) =
3x
2
+ 3z
2
, calcular el ujo de calor (es decir el ujo del campo T) a traves de la supercie
x
2
+ z
2
= 2, 0 y 2, orientada de forma que la normal en el punto (0, 0,

2) sea (0,0,1).
Ejercicio 2.17. Sea S la supercie de la esfera unitaria orientada seg un la normal exterior.
Sea F un campo vectorial y F
r
su componente radial. Probar que
_
S
F d S =
_
2
0
_

0
F
r
sen () dd
Ejercicio 2.18. Sea S la parte del cono z
2
= x
2
+ y
2
con z entre 1 y 2 orientada con la
normal apuntando hacia el exterior del cono. Calcular
_
S
F d S con F(x, y, z) = (x
2
, y
2
, z
2
).
Ejercicio 2.19. Sean S una supercie orientada y C una curva cerrada simple que es el
borde de S con alguna de sus dos posibles orientaciones. Vericar que si F es un campo gradiente
(F = f) entonces
__
S
_
F
_
d S =
_
C
F d s
Ejercicio 2.20. Sea F(x, y, z) = (x, x
2
, yx
2
) que representa el campo de velocidad de un
uido (velocidad medida en metros por segundo). Calcular cuantos metros c ubicos de uido por
segundo cruzan el plano xy a traves del cuadrado 0 x 1, 0 y 1.
Bibliografa
[1] T. Apostol, C alculus, Vol. I, Ed. Reverte, 1960.
[2] T. Apostol, C alculus, Vol. II, Ed. Reverte, 1960.
[3] J. Marsden, A. Tromba, Vector Calcus. Freeman and Company, New York 1988.
47