Calculo Avanzado

z
z
an
an
CM211-A- Prof: Angelo M. Clase 1 15/08/2016
av
av
c
1. Funciones Vectoriales de una Variable Real.
i-f
1.1. Definicion. Rango y Traza.
lo
un
Definicion. 1. Sea A R. Una funcion : A Rn se denomina funcion vectorial. El conjunto imagen
(A) = {(t) : t A} se denomina rango de y su lugar geometrico en Rn se llama traza de .
lcu
Observacion. 1. A tener en cuenta:
o-
1. Se debe distinguir entre el concepto de funcion vectorial y el concepto de traza (que es un subconjunto
de Rn ).
ca
d
2. La variable t se denomina parametro de la funcion vectorial .
za
za
3. Cuando n = 2 en la definicion 1 se suele denotar (t) = (x(t), y(t)) mientras que en el caso n = 3 se
suele denotar (t) = (x(t), y(t), z(t)). En el caso general se suele escribir (t) = (1 (t), 2 (t), , n (t)),
o simplemente = (1 , 2 , , n ), donde cada i : A R es una funcion real que sera llamada i-esima
an
an
coordenada (o componente) de .
4. En la definicion anterior, cuando A sea un intervalo no vaco (osea cualquiera de los siguientes: [a, b],
]a, b[, ]a, b], [a, b[, ], b[, ], b], ]a, [, [a, [, R =], [.), entonces diremos que es un camino
av
av
en Rn .
c
i-f
Ejemplo. 1. Dados dos puntos p, q Rm , la funcion vectorial : [0, 1] Rm dada por
(t) = p + t(q p) (1)
lo
un
cumple (0) = p, (1) = q, y su imagen es el segmento rectilneo que une a p y q.

Ejemplo. 2. La funcion vectorial : [0, 1] R2 dada por lcu
o-
(t) = t(1, 2) + (1 t)(4, 8) (2)

ca
tiene como traza a un segmento rectilneo que une a los puntos (1, 2) y (4, 8).
d
Ejemplo. 3. Sea : R R3 dado por (t) = (a cos(t), a sen(t), bt), donde a, b R son positivos. Claramente
za
za
es un camino cuya traza es la helice de paso 2b sobre el cilindro x2 + y 2 = a2 . Graficar!
Ejercicio. 1. Trace la grafica de la imagen de las siguientes funciones cuyo domino es R.
an
1. f (t) = (t, t2 ).
2. f (t) = (2 cos(t), sen(t)).
an
av
av
3. f (t) = (r cos(t), r sen(t), t).
c
4. f (t) = (2t 1, 4t + 3, t 1).

i-f
5. f (t) = (cosh(t), 0, sinh(t)).

lo
Ejercicio. 2. Dos partculas se mueven de acuerdo a los vectores posicion f (t) = (1 + t, 2 + t, 3t) y g(t) =
un
(1 t, 3 t3 ) respectivamente, donde t es el parametro del tiempo partiendo de t = 0. Indique si las partculas

lcu
colisionan entre s, en caso afirmativo especifique el punto en el que chocan.

Ejercicio. 3. Demuestre que la curva descrita por el camino : R R3 , (t) = (a1 t2 + b1 t + c1 , a2 t2 + b2 t +
o-
c2 , a3 t2 + b3 t + c3 ) es una curva plana. Halle la ecuacion del plano que la contiene.

ca
Ejercicio. 4. Halle el punto p imagen del camino : R R3 , (t) = (a cos(t), a sen(t), bt) que esta mas
d
cerca del orgen.

za
za
2016
c Propiedad de A. Morante. Todos los derechos reservados. Prohibida su reproduccion parcial o total.
an
an
1
av
av
-fc
z
z
an
an
De la misma forma en que se definen las operaciones entre vectores del espacio euclidiano Rn se puede
av
av
definir las operaciones entre funciones vectoriales.
c
Definicion. 2. Sean = (1 , , n ), = (1 , , n ) : A R Rn funciones vectoriales y c : A R
i-f
un funcion real, definimos las funciones + , c : A Rn , h, i : A R, denominadas respectivamente
suma de y , multiplicacion por una funcion real c, producto interno de y cuyas reglas de
lo
correspondencia estan dadas por
un
1. ( + )(t) = (t) + (t) = (1 (t) + 2 (t), , n (t) + n (t)).
lcu
2. (c)(t) = c(t)(t) = (c(t)1 (t), , c(t)n (t)).
o-
n
X
3. h, i (t) = h(t), (t)i = i (t)i (t).
ca
d
i=1
Ademas en el caso n = 3, definimos el producto vectorial : A R3 como

za
za
4. ( )(t) = (t) (t) = (2 (t)3 (t) 3 (t)2 (t), 3 (t)1 (t) 1 (t)3 (t), 1 (t)2 (t) 2 (t)1 (t)).
an
an
1.2. Lmites y Continuidad
Para esta seccion sera importante recordar la norma euclidiana en Rn , la cual asocia para cada x =
av
av
(x1 , x2 , , xn ) Rn el numero real no negativo kxk definido por
c
i-f
q
kxk = x21 + x22 + + x2n (3)
lo
Ademas sera importante recordar sus propiedades:
un
i) kxk = 0 x = (0, 0, , 0) Rn .
ii) kx + yk kxk + kyk, x, y Rn .(Desigualdad Triangular).

lcu
o-
iii) ktxk = |t|kxk, t R, x Rn .

ca
iv) Si x = (x1 , x2 , , xn ) Rn entonces |xi | kxk, i = 1, 2, , n.
d
Ejemplo. 4. Si x = (x1 , x2 , , xn ) Rn entonces podemos escribir

za
za
x = x1 e1 + x2 e2 + + xn en (4)
an
donde ei es el iesimo vector de la base canonica (ortonormal) de Rn , el cual tiene todas sus componentes
nulas excepto la iesima, la cual es igual a 1. Entonces por la desigualdad triangular se tiene:
n
X n
X
an
av
av
kxk = kx1 e1 + x2 e2 + + xn en k kxi ei k = |xi |. (5)
c
i=1 i=1
i-f
Ejemplo. 5. Sea : R R dado por (t) = t2 . La condicion |t + 1| < 1 implica que |(t) 2| < 2.
lo
Para probar esta afirmacion notemos que se cumple la siguiente cadena de implicaciones:
un
|t + 1| < 1 1 < t + 1 < 1 2 < t < 0 0 < t2 < 4 2 < t2 2 < 2 |t2 2| < 2 |(t) 2| < 2.
lcu
as, por transitividad:

o-
|t + 1| |(t) 2| < 2. (6)

ca
que es lo que queramos probar.

d
2016
za
za
an
an
2
av
av
-fc
c
d
z
an
za
Ejemplo. 6. Sea : R R2 dado por (t) = (t, t). La condicion |t 1| < 3 implica que k(t) (1, 2)k < 5.
an
av
En efecto, primero notemos que
av
s 2
3 1
i-f
p p
(t 1)2 + (t 2)2 = 2t2 6t + 5 =
o
k(t) (1, 2)k = k(t, t) (1, 2)k = 2 t + (7)

2 2
un
Por otro lado, se cumple la siguiente cadena de implicaciones
lo
2 2
7 3 5 3 49 3 1
|t 1| < 3 3 < t 1 < 3 <t < 0 t < 2 t + < 25
lcu
2 2 2 2 4 2 2
- s
do
2
3 1
2 t + < 5 k(t) (1, 2)k < 5.
2 2
ca
do
Por lo tanto
za
|t 1| < 3 k(t) (1, 2)k < 5.

an
za
a
Ejemplo. 7. Sea a > 0 y : R R2 dado por (t) = (t, t2 + 1). Las condiciones |t| < y |t| < 1 implican
2
que k(t) (0, 1)k < a.
an
av
La prueba de esta afirmacion es como en el ejemplo anterior. Notemos primero que

c
av
p p
k(t) (0, 1)k = k(t, t2 + 1) (0, 1)k = t4 + t2 = |t| t2 + 1 (8)
i-f
o
luego,
a a
|t| < |t| <
un
a

2 2

lo
p
|t| t2 + 1 < 2 < a k(t) (0, 1)k < a. (9)
2
|t| < 1 t2 + 1 < 2

lcu
-
lo cual muestra lo afirmado.

do
na o a
Ejemplo. 8. Si tomamos b = mn , 1 en el ejemplo anterior entonces b y b 1, luego por las
2 2
ca
implicaciones en la expresion 9 tenemos
do
za
a
|t| <
2

|t| < b k(t) (0, 1)k < a. (10)
an
es decir
|t| < 1

za
an
av
|t| < b k(t) (0, 1)k < a. (11)

-fc
Observacion. 2. Las implicaciones en los ejemplos 5, 6, 7 y 8 tienen la forma

av
o
|t t0 | < b k(t) Lk < a (12)

i
y son sencillamente demostrables pues siendo el valor de b ya dado (en terminos de a), es claro que debemos
un
partir de la desigualdad |t t0 | < b para, mediante algunas manipulaciones (por ejemplo elevando al cuadrado,
lo
sumando, multiplicando, etc), llegar a la desigualdad k(t) Lk < a. Una tarea un poco mas sofisticada sera:
a partir de un numero real positivo a dado, encontrar (algun) b > 0 (en terminos de a) tal que se cumpla la
lcu
-
implicacion 12. Los siguientes 3 ejemplos muestran como podramos hallar tal b.
do
ca
do
2016
c
za
Propiedad de A. Morante. Todos los derechos reservados. Prohibida su reproduccion parcial o total.
3
an
za
an
av
fc
z
z
an
an
av
av
c
Ejemplo. 9. Sea a > 0 y : [0, [ R2 dado por (t) = (t, t + 2) . Encuentre b > 0 tal que la condicion
|t 1| < b implique que k(t) (1, 3)k < a.
i-f
Para encontrar tal b notemos en primer lugar que
lo

un
k(t) (1, 3)k = k(t, t + 2) (1, 3)k = 2|t 1|. (13)
lcu
a
De ah que podramos tomar b = y se cumplira que
2
o-
a
|t 1| < b |t 1| < 2|t 1| < a k(t) (2, 3)k < a. (14)
ca
2
d
que es lo que se pide.
za
za

2 2 2t
Ejemplo. 10. Sea a > 0 y :] 1, [ R dado por (t) = , . Encuentre b > 0 tal que la
t+1 t+1
condicion |t 1| < b implique que k(t) (1, 1)k < a.
an
an
Para encontrar tal b notemos en primer lugar que
1 t t 1 |t 1|

2 2t
av
av

k(t) (1, 1)k =
, (1, 1) =
, = 2 . (15)
c
t+1 t+1 t+1 t+1 |t + 1|
i-f
|t 1|
As, k(t) (1, 1)k < a SI 2 < a. Entonces todo se reduce a encontrar b > 0 tal que
|t + 1|
lo
|t 1|
un
|t 1| < b 2 < a. (16)

|t + 1|
Asumamos ahora como regla practica acotar todo lo que
!
lcu
acompane a |t 1| en la desigualdad del
o-
2 1
lado derecho de la expresion 16 que en este caso es , probando con la condicion |t 1| < .
|t + 1| 2
ca
Veamos:
d
1 1 1 1 2
|t 1| < < t 1 < < t + 1 < 2 2. (17)
|t + 1|
za
za
2 2 2 2

2
Con esto habramos acotado el termino y a su vez, la expresion 17 nos permite concluir que una eleccion
|t + 1|
an
correcta para b sera b = mn

a 1
,
2 2 2
a
pues
a
an
av
av
|t 1| < |t 1| <
c
2 2

2 2 |t 1|
|t 1| < b 2 < a k(t) (0, 1)k < a. (18)
i-f
1 2 |t + 1|
|t 1| < <2 2
2 |t + 1|
lo
tal como se quera.

un
lcu

a 1
o-
1. En el ejemplo anterior pudimos haber escogido otro valor de b, por ejemplo b = mn , y tambien
2 2
se cumplira (verificar!) la implicacion
ca
d
|t 1| < b k(t) (0, 1)k < a. (19)

za
za
2016
an
an
4
av
av
-fc
z
z
an
an
2. El procedimiento descrito en el ejemplo 10 sera de gran utilidad mas adelante cuando tengamos que
av
av
demostrar la existencia de algun lmite por definicion.
c

t1
i-f
Ejemplo. 11. Sea a > 0 y :] 1, [ R2 dado por (t) = , t . Encuentre b > 0 tal que la
t+1
condicion |t| < b implique que k(t) (1, 0)k < a.
lo
un
El proceso de hallazgo de b seguira el mismo camino que el ejemplo anterior. El primer paso es
lcu

t1 2 2t 2
|t| 2
k(t) (1, 0)k = , t (1, 0) = , t 2 + |t| = |t| + 1 . (20)
t+1 t+1 |t + 1| |t + 1|
o-
La desigualdad de la expresion 20 es gracias a la desigualdad 5 probada en el ejemplo 4. Ahora de-
ca
bemos acotar todo lo que acompane a |t| en la desigualdad del lado derecho de la expresion 20
d

2 1
que en este caso es + 1 , probando con la condicion |t| < . Veamos:
za
za
|t + 1| 2
1 1 1 1 2
|t| <
<t< <t+1 +1<5 (21)
2 2 2 2 |t + 1|
an
an

a 1
esto nos permite concluir que una eleccion correcta para b sera b = mn , pues
5 2
av
av
c
a a
|t| < |t| <
5 5
i-f

2
|t| < b |t| +1 < a k(t) (1, 0)k < a. (22)
1 2 |t + 1|
|t| <
+1<5
lo

2 |t + 1|
un
tal como se quera.

lcu
Antes de pasar a la definicion de lmite, la cual es la protagonista de esta seccion, recordemos la definicion
de punto de acumulacion de un conjunto A R:
o-
Definicion. 3. Decimos que un punto t0 R es un punto de acumulacion de A R si para todo b > 0, se

ca
cumple que A (]t0 b, t0 + b[ {t0 }) 6= .
d

za
za
1. Notar que la definicion no exige que t0 A, es decir t0 podra ser un punto de acumulacion de A sin
importar si t0 pertenece o no a A.
an
2. En palabras simples, un numero real t0 es un punto de acumulacion de A R si todo intervalo abierto

centrado en t0 intersecta a A en mas de un punto. an
av
av
3. Un numero real t0 no es un punto de acumulacion de A R si existe un intervalo abierto
c
centrado en t0 que no intersecta a A en mas de un punto. (osea dicha interseccion es vaca o tiene a
lo mas un elemento, que justamente es t0 ). Por ejemplo 2 no es un punto de acumulacion del conjunto
i-f
{2} .
lo
4. Un numero real t pertenece al conjunto ]t0 b, t0 + b[ {t0 } si y solo si 0 < |t t0 | < b. Luego, decir que
un
t0 es un punto de acumulacion de A es equivalente a decir que para cada b > 0 existe un numero real t
lcu
que cumple la condicion

t A 0 < |t t0 | < b, (23)
o-
lo cual, en palabras simples equivale a decir que siempre existen puntos t pertenecientes a A que son tan
proximos como se quiera a t0 , pero distintos a t0 . La existencia de tales puntos t sera muy importante
ca
cuando definamos el lmite de una funcion vectorial.

d
2016
za
za
an
an
5
av
av
-fc
z
z
an
an
Ejemplo. 12. 2 es un punto de acumulacion del intervalo I =]2, 3] pues para cualquier b > 0, el intervalo
av
av
]2 b, 2 + b[ intersecta a I en mas de un punto. En realidad cualquier punto t0 [2, 3] es un punto de
c
acumulacion de I.
i-f

1 3
Ejemplo. 13. 1 no es un punto de acumulacion de I =]2, 3] pues existe un intervalo por ejemplo ,
2 2
lo
centrado en 1 pero que no intersecta a I.
un
Definicion. 4. (Lmite) Sea : A R Rn una funcion vectorial y t0 un punto de acumulacion de A.
lcu
Decimos que el vector L Rn es el lmite de cuando t tiende a t0 , lo cual denotamos por
o-
lm (t) = L (24)
tt0
ca
cuando para cada numero positivo se puede encontrar otro numero positivo tal que la condicion 0 < |tt0 | <
d
t A implique que k(t) Lk < .
za
za
Observacion. 5. Es importante tener en cuenta que:
1. La definicion de lmite exige que t0 sea un punto de acumulacion del dominio A de .
an
an
2. En terminos de logica proposicional, la definicion de lmite se escribe (intimidantemente) as:
lm (t) = L > 0 > 0 : t A 0 < |t t0 | < k(t) Lk < . (25)

av
av
tt0
c
3. Para demostrar que lm (t) = L basta con empezar fijando un numero arbitrario > 0 y probar la
i-f
tt0
existencia de encontrando un valor apropiado para este (en terminos de y t0 ) que haga que se cumpla
la implicacion
lo
t A 0 < |t t0 | < k(t) Lk < . (26)
un
El proceso de hallazgo de es igual al que se ha realizado en los ejemplos 9, 10 y 11 (cambiando a y b

por y respectivamente).
lcu
o-
4. Como k(t) Lk es la ditancia de (t) a L y |t t0 | es la distancia de t a t0 , entonces, decir que

lm (t) = L significa que (t) se acerca tanto como queramos a L para valores de t pertenecientes a A
ca
tt0
muy proximos a t0 (pero diferentes de t0 ). Por eso es importante que t0 sea punto de acumulacion de
d
A, pues en ese caso sabemos que existiran tales puntos t.

za
za
Ejemplo. 14. Sea : [0, [ R2 dado por (t) = (t, t + 2). Se cumple lm (t) = (1, 3).
t1

Para probar esta afirmacion tomemos > 0, basta tomar = , pues por el ejemplo 9 se cumple
an

2
t [0, [ 0 < |t 1| < |t 1| < k(t) (1, 3)k < .

2
an
(27)
av
av
c

2 2 2t
Ejemplo. 15. Sea :] 1, [ R dado por (t) = , . Se cumple lm (t) = (1, 1).
i-f
t+1 t+1 t1
Para probar
tal afirmacion, tomamos > 0, entonces (gracias al ejemplo 10), podemos tomar =
lo

1
mn , pues (por la expresion 18) tendramos:
un
2 2 2
lcu

|t 1| <
2 2

o-
t ] 1, [ 0 < |t 1| < k(t) (0, 1)k < . (28)

1

|t 1| <
ca
2
d
tal como se quera.

za
za
2016
an
an
6
av
av
-fc
c
d
z
an
za

2 t1
Ejemplo. 16. Sea :] 1, [ R dado por (t) = , t . Se cumple lm (t) = (1, 0).
an
av
t+1 t0
Para
probar esta afirmacion, notemos que si > 0 entonces (gracias al ejemplo 11) podemos tomar =
c

1
av
mn , pues (por la expresion 22):
i-f
5 2
o

|t| <
un
5

lo
t ] 1, [ 0 < |t| < k(t) (1, 0)k < . (29)
1
|t| <

2
lcu
-
Ejercicio. 5. Pruebe que lm (3t, t2 ) = (6, 4).
do
t2
Ejercicio. 6. Pruebe que lm (t3 t, t2 + 1) = (0, 2).
ca
t1
do
za
f (t) A
Ejercicio. 7. Sea la funcion vectorial f : [a, b] Rn . Si lm f (t) = A 6= 0, demostrar que lm = .
tt0 tt0 kf (t)k kAk
an
za
Teorema. 1. (Unicidad del Lmite). Sea : A R Rn y t0 un punto de acumulacion de A. Si L,
M Rn son tales que lm (t) = L y lm (t) = M entonces L = M .
tt0 tt0
an
av
Teorema. 2. Sean L = (L1 , , Ln ) Rn , = (1 , , n ) : A Rn una funcion vectorial y t0 un punto

de acumulacion de A. Entonces lm (t) = L si y solo si lm i (t) = Li , para cada i = 1, 2, , n.
c
tt0 tt0
av
i-f
o
Ejercicio. 8. Pruebe que lm (t) = 0 si y solo si lm k(t)k = 0.

tt0 tt0
n
Teorema. 3. Sean , : A R R funciones vectoriales c : A R una funcion real y t0 un punto de
un
acumulacion de A. Si L, M Rn y R son tales que lm (t) = L, lm (t) = M y lm c(t) = , entonces
1. lm ( + )(t) = L + M.
tt0
lott0 tt0
lcu
-
tt0
do
2. lm c(t)(t) = L.
tt0
3. lm h, i (t) = hL, M i .
ca
do
tt0
za
4. lm k(t)k = kLk.
tt0
an
Ademas en el caso n = 3:
5. lm ( )(t) = L M.
tt0
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
2016
c
za
7
an
za
an
av
fc
z
z
an
an
av
av
c
Ahora definiremos la nocion de continuidad de una funcion vectorial, la cual inituitivamente trata de describir
i-f
a una funcion vectorial que recorre su traza sin interrupciones.
Definicion. 5. (Continuidad). Sea : A R Rn una funcion vectorial y t0 A. Decimos que es
lo
continua en t0 si para cada > 0 existe un numero positivo tal que la condicion |t t0 | < t A implique
un
k(t) (t0 )k < . Decimos que es continua en A si es continua en cada punto t0 A.
lcu
Observacion. 6. Considerar lo siguiente:
o-
1. Cuando A sea un intervalo y sea continua diremos que es una curva.
2. A diferencia de la nocion de lmite, la definicion de continuidad exige que t0 sea un punto de A, es decir
ca
d
pertenezca al dominio de . Incluso t0 podra no ser un punto de acumulacion de A.
za
za
3. Si t0 (que pertenece a A) no fuera un punto de acumulacion de A, entonces por el tem 3 de la observacion
4 existira un intervalo abierto centrado en t0 que no intersecta a A en mas de un punto. Mejor dicho,
existe b > 0 tal que
]t0 b, t0 + b[A = {t0 }
an
an
(30)
Luego, gracias a 30 se cumplen las siguientes implicaciones:
t A |t t0 | < b t = t0 k(t) (t0 )k = 0. (31)

av
av
c
As, para cualquier > 0 basta tomar = b, y gracias a 31 se cumplira
i-f
t A |t t0 | < k(t) (t0 )k = 0 < . (32)
lo
Hemos probado que si t0 no es un punto de acumulacion de A entonces automaticamente
un
es continua en t0 .
lcu
Gracias a la observacion anterior, para probar que una funcion vectorial : A R Rn es continua en A,
solo basta probar la continuidad en los puntos de acumulacion de A que pertenezcan a A. El siguiente teorema
o-
se encarga de dar un criterio para facilitar esta tarea.

ca
Teorema. 4. Sea : A R Rn una funcion vectorial y sea t0 A un punto de acumulacion de A.
d
Entonces es continua en t0 si y solo si lm (t) = (t0 ).

tt0
za
za
Una consecuencia inmediata del teorema anterior es el siguiente
Teorema. 5. Sea = (1 , , n ) : A R Rn una funcion vectorial y sea t0 A. Entonces es continua
an
en t0 si y solo si i es continua en t0 para cada i = 1, , n.

Ejercicio. 9. Estudie la continuidad de las siguientes funciones vectoriales:
an
av
av
1. : R R dado por
c

i-f
arc sen(t) 1
4t4 + 5, , sen(t) sen si t 6= 0

(t) = t t (33)
(5, 0, 0) si t = 0.
lo

un
2. : [0, 2] R dado por

lcu
sen(2t)
2 arc sen(t)
, t sen , si t [0, 1[

o-

3t t t

(t) = (34)
2
, 0, 2 si t [1, 2].

ca

3

d
2016
za
za
an
an
8
av
av
-fc
c
d
z
an
za
t2 + 1 1/t t2 + 1

Ejercicio. 10. Si definimos (t) = ,e , 2 , tan(t) . Halle el dominio maximo de y sus puntos
an
av
3 t 1
de discontinuidad.
c
Ejercicio. 11. Encuentre una curva : R R2 tal que su traza sea
av
i-f
o
(x, y) R2 : |x| + |y| = 1 Graf(f )

(35)
un
donde f : R R esta dada por f (x) = x.
lo
Teorema. 6. Sean : A0 R A R una funcion real, : A Rn una funcion vectorial y s0 un punto
de acumulacion de A0 . Si t0 = lm (s) y es continua en t0 , entonces lm (s) = (t0 ).
lcu
- ss0 ss0
do
Observacion. 7. Segun el teorema anterior, se puede hacer lo siguiente

ca
lm (s) = lm (s) (36)
do
za
ss0 ss0
siempre que sea continua y exista el lmite lm (s).

ss0
an
za
Corolario. 1. Sean : A0 R A R una funcion real, : A Rn una funcion vectorial y s0 A0 . Si
es continua en s0 y es continua en en (s0 ) entonces es continua en s0 .
an
av
Ejercicio. 12. Sean : R R2 y : R R dados por

c

sen(t)
av
2
t, si t 6= 0 e1/s si s 6= 0

i-f
(t) = t (s) = (37)

o
s si s = 0
(0, 1) si t = 0

un
Pruebe que es continua en 0.
lo
Teorema. 7. Sean A R, t0 A, , : A Rn funciones vectoriales y c : A R una funcion real. Si
, , c son continuas en t0 entonces, + , c, h, i , kk son continuas en t0 y si n = 3 entonces
lcu
-
tambien lo es.
do
1.3. Diferenciabilidad
ca
do
Definicion. 6. (Derivada). Sea : A R Rn una funcion vectorial y sea t0 A un punto de acumulacion
za
de A. Se define la derivada de en el punto t0 , denotada por 0 (t0 ) como
(t) (t0 )
an
0 (t0 ) = lm
tt0 t t0
.
za
cuando tal lmite existe. En ese caso diremos que es diferenciable en t0 . Diremos que es diferenciable en
(38)
an
av
A cuando es diferenciable en cada punto de A.
Observacion. 8. El lmite en la expresion 38 tambien puede ser expresado como

-fc
av
(t0 + h) (t0 )
o
0 (t0 ) = lm (39)
h0 h
i
un
i (t) i (t0 )
Puesto que la derivada es un lmite, por el teorema 2, 0 (t0 ) existira si y solo si lm
lo
existe
t t0
tt0
para cada i = 1, , n, es decir, si cada coordenada i es diferenciable en t0 . Esto prueba el siguiente teorema:
lcu
-
Teorema. 8. Sea = (1 , , n ) : A R Rn una funcion vectorial y sea t0 A un punto de acumulacion

do
de A, entonces es diferenciable en el punto t0 si y solo si cada coordenada i lo es. En ese caso 0 (t0 ) =
(01 (t0 ), , 0n (t0 ))
ca
2016
c
do
za
9
an
za
an
av
fc
c
d
z
an
za
Ejercicio. 13. Sea la funcion vectorial : R R3 dada por
an
av

1/t2

t, 0, e si t > 0
c
2

(t) = t, e1/t
,0 si t < 0 (40)
av
i-f

o
(0, 0, 0) si t > 0

Analice la diferenciabilidad.
un
lo
1
Si dibujamos la traza de en el espacio, entonces notamos (ver figura 1) que ((t0 + h) (t0 )) es un
h
vector paralelo a la cuerda que une (t0 + h) con (t0 ) y conforme h se haga mas pequeno, tal vector se hace
lcu
-
tangente a la traza de en el punto (t0 ). Esto motiva la siguiente definicion.
do
ca
do
za
an
za
an
av
av
i-f
o
un
lo
lcu
-
do
Figura 1: Interpretacion Geometrica de la derivada

ca
do
za
Definicion. 7. Si es diferenciable en t0 y 0 (t0 ) 6= 0 entonces 0 (t0 ) sera denominado vector tangente a

en el punto (t0 ) y la recta
L = {(t0 ) + s0 (t0 ) : s R} (41)
an
za
sera llamada recta tangente a en el punto (t0 ). Cuando 0 (t) nunca se anula en algun valor de t decimos
que es regular.
an
av
Ejercicio. 14. Sea una funcion vectorial que cumple que (t) y 0 (t) son paralelos para cada t, y 0 (t) no
se anula nunca. Demostrar que todas las rectas tangentes a pasan por el orgen.
-fc
av
Observacion. 9. La derivada de en t0 se interpreta fsicamente como la velocidad de una partcula cuya

o
posicion en el espacio es descrita por la funcion en funcion del tiempo t en el instante t0 , por eso 0 (t0 )
recibe el nombre de velocidad de en el instante t0 y el modulo k0 (t0 )k se denomina rapidez de en el
i
un
instante t0 .
lo
lcu
-
do
ca
do
2016
c
za
10
an
za
an
av
fc
c
d
z
an
za
an
av
Cuando = (1 , , n ) es diferenciable en el punto t0 entonces cada i es diferenciable en t0 , luego es
continua en t0 ; de ah que por el teorema 5, es continua en t0 . As, se tiene el siguiente teorema:
av
i-f
Teorema. 9. Si A R, t0 A es un punto de acumulacion de A y : A Rn es diferenciable en t0 entonces
o
es continua en t0 .
un
El teorema anterior expresa que
lo
Diferenciabilidad Continuidad
lcu
-
sin embargo la implicacion recproca no es cierta, es decir
do
Continuidad ; Diferenciabilidad
ca
do
Ejercicio. 15. Pruebe que : R R dado por (t) = |t| es continua pero no es diferenciable.
za

1 3
Ejercicio. 16. Sea : R R2 dado por (t) = t+ , ln (et + |t|) . Hallar 0 si existe.
4 4
an
za
Teorema. 10. Sean A R, t0 un punto de acumulacion de A, , : A Rn funciones vectoriales y
c : A R una funcion real. Si , , c son diferenciables en t0 entonces, + , c, h, i son diferenciables en
an
av
t0 y si n = 3 entonces tambien lo es. Ademas:

1. ( + )0 (t0 ) = 0 (t0 ) + 0 (t0 ).
c
av
2. (c)0 (t0 ) = c0 (t0 )(t0 ) + c(t0 )0 (t0 )
i-f
o
0
3. h, i (t0 ) = h0 (t0 ), (t0 )i + h(t0 ), 0 (t0 )i .
un
4. ( )0 (t0 ) = 0 (t0 ) (t0 ) + (t0 ) 0 (t0 ).
lo
Ejercicio. 17. Sea I R un intervalo y : I Rn un camino diferenciable tal que kk es constante en todo
I. Pruebe que (t) 0 (t) t I.
lcu
-
do
Las propiedades mas interesantes de las funciones vectoriales son obtenidas cuando el dominio de estas es
un intervalo no degenerado (es decir, con mas de un elemento) pues entre otras cosas, en un intervalo de tal
tipo, todos sus puntos son puntos de acumulacion. Una de tales propiedades es el Teorema del Valor Medio:
ca
do
za
Teorema. 11. (Teorema del Valor Medio para caminos) Sea = (1 , , n ) : [a, b] Rn un camino
continuo en [a, b] y diferenciable en ]a, b[. Entonces existen c1 , c2 , , cn ]a, b[ tales que
an
(b) (a)
ba
= (01 (c1 ), , 0n (cn )) .
za (42)
an
av
Teorema. 12. Sea : [a, b] Rn un camino continuo en [a, b] y diferenciable en ]a, b[. Si k0 (t)k M t
]a, b[ entonces k(b) (a)k M (b a).
-fc
Ejercicio. 18. Sea : [a, b] Rn un camino continuo en [a, b] y diferenciable en ]a, b[ tal que (a) = (b).
av
Pruebe que existe t ]a, b[ tal que h(t), 0 (t)i = 0.

o
Ejercicio. 19. Sea v Rn {0} y : [a, b] Rn continuo en [a, b] y diferenciable en ]a, b[. Pruebe que existe
i
c ]a, b[ tal que h(b) (a), vi = (b a) h0 (c), vi.

un
lo
Corolario. 2. Si : [a, b] Rn es un camino continuo en [a, b] y 0 (t) = 0 t ]a, b[ entonces es un camino

constante.
lcu
-
Corolario. 3. Sean , : [a, b] Rn dos caminos continuos en [a, b] y diferenciables en ]a, b[. Si 0 (t) =
do
0 (t) t ]a, b[ entonces existe c Rn tal que (t) = (t) + c t [a, b].
ca
do
2016
c
za
11
an
za
an
av
fc
z
z
an
an
av
av
c
Teorema. 13. (Regla de la Cadena) Sean I, J R intervalos, : I J diferenciable en a I y
: J Rn diferenciable en b = (a) J. Entonces : I Rn es un camino diferenciable en a y
i-f
( )0 (a) = 0 (b)0 (a). (43)
lo
Cuando I es un intervalo y : I Rn es un camino diferenciable entonces podemos definir la funcion
un
derivada
lcu
0 :I Rn
(44)
o-
t 0 (t)
la cual tambien es un camino. Si 0 es continuo entonces decimos que es de clase C 1 en I. Si 0 es diferenciable
ca
en I entonces para cada t I existe el vector (0 )0 (t) Rn , luego podemos definir la funcion derivada de
d
segundo orden (o segunda derivada)
za
za
00 :I Rn
(45)
t 00 (t) = (0 )0 (t)
an
an
el cual tambien es un camino. Aqu diremos que es dos veces diferenciable en I. Si 00 es continuo en I
diremos que es de clase C 2 en I. Podemos continuar con este proceso, y decir que es k veces diferenciable
en I cuando su derivada de orden k 1 es diferenciable en I y denotar en general (k) la derivada de orden k
av
av
de . Cuando esta funcion (que como en los casos anteriores resulta ser un camino), es continua en I entonces
c
diremos que es de clase C k . Resulta claro que se cumplira el siguiente teorema:
i-f
Teorema. 14. El camino = (1 , , n ) : I Rn es de clase C k si y solo si cada i es de clase C k .
lo
1.4. Integracion de Caminos
un
Definicion. 8. (Integral de un camino). Sea = (1 , , n ) : [a, b] Rn un camino, definimos el vector

lcu
!
Z b
Z Zb b
o-
(t)dt = 1 (t)dt, , n (t)dt (46)

a a a
ca
que sera llamado integral de de a hasta b.
d
Z b Z b
za
za
Observacion. 10. Evidentemente (t)dt existira siempre que i (t)dt exista para cada i = 1, 2, , n.
a a
Algo que sucedera si (por ejemplo) es continuo.
an
Ejercicio. 20. Calcule las siguientes integrales:
1.
Z 2
0
(2 sen(t) cos(t), 1, 4 cos2 (t) sen(t))dt.
an
av
av
c
Z 2
2. (t, 2t, 3t, 4t)dt.
i-f
Como es de esperarse, la integral de un camino hereda las propiedades de la integral de las funciones reales
lo
de una sola variable vistas en los cursos de calculo elemental, principalmente, se cumpliran los dos Teoremas
un
Fundamentales del Calculo:

lcu
Teorema. 15. (Primer Teorema Fundamental del Calculo). Si I es un intervalo, t0 I y : I Rn

es un camino continuo entonces la funcion : I Rn dada por
o-
Z t
(t) = (s)ds (47)
ca
t0
d
0
es diferenciable en I y (t) = (t).
za
za
2016
an
an
12
av
av
-fc
z
z
an
an
Z (2t+1)/3
Ejercicio. 21. Sean , : [0, 1] R2 definidos por (t) = (t, t2 ) y (t) = (s)ds. Calcule 0 (t).
av
av
c
0
Teorema. 16. (Segundo Teorema Fundamental del Calculo). Si I es un intervalo y : I Rn es un
i-f
camino de clase C 1 entonces para cualesquiera a, b I se cumple
lo
Z b
0 (s)ds = (b) (a).
un
(48)
a
lcu
1.5. Curvas Rectificables y Longitud de Arco
o-
Sea : [a, b] Rn un camino y P = {a = t0 t1 t2 tm = b} una particion de [a, b]. Asociado a
esta particion definimos la suma
ca
m
d
X
L(, P ) = k(ti ) (ti1 )k (49)
i=1
za
za
que representa la longitud del camino poligonal que se muestra en la figura 2. Si vamos refinando la particion
an
an
av
av
c
i-f
lo
un
lcu
o-
Figura 2: L(, P ) es la longitud del camino poligonal.

ca
d
P (es decir si vamos aumentando puntos a P ) entonces la cantidad L(, P ) va aumentando pues como se ve
za
za
en la figura 3 el camino poligonal asociado se va pegando mas al camino , de manera que L(, P ) se acerca
mas al valor de la longitud de la traza de . Esto motiva la siguiente definicion:
an
an
av
av
c
i-f
lo
un
lcu
o-
Figura 3: Al aumentar puntos a la particion el camino poligonal se pega mas a .

ca
d
2016
za
za
an
an
13
av
av
-fc
c
d
z
an
za
Definicion. 9. Sea : [a, b] Rn un camino. Decimos que es rectificable si y solo si el conjunto
an
av
{L(, P ) : P es particion de [a, b]} esta acotado superiormente. En ese caso definimos la longitud de en
el intervalo [a, b] que denotamos por l()[a, b] como
av
l()[a, b] = sup {L(, P ) : P es particion de [a, b]} . (50)
i-f
o
El siguiente teorema muestra que la definicion que se ha dado de longitud es acorde con el sentido comun
pues en la vida real se sabe que si dividimos en dos partes un camino dado la longitud total debe ser igual a
un
la suma de las longitudes de cada una de las partes.
lo
Teorema. 17. Si : [a, b] Rn es un camino rectificable y c [a, b] entonces
lcu
-
l()[a, b] = l()[a, c] + l()[c, b]. (51)
do
En la practica sera muy complicado (pero no imposible) si aplicaramos directamente la formula 50 para
ca
calcular la longitud de un camino rectificable sobre un intervalo. Afortunadamente existe un criterio mas
do
za
sencillo al menos para el caso en que es de clase C 1 :
Teorema. 18. Si : [a, b] Rn es de clase C 1 entonces es rectificable y

an
za
Z b
l()[a, b] = k0 (t)kdt. (52)
a
an
av
Observacion. 11. Si n = 3 entonces (t) = (x(t), y(t), z(t)), luego la formula 52 se escribe como
c
Z b p
av
l()[a, b] = x0 (t)2 + y 0 (t)2 + z 0 (t)2 dt. (53)
i-f
o
Ejercicio. 22. Sea : [0, 2] R2 dado por (t) = (cos(t), sen(t)). Calcule la longitud de .
un
lo
lcu
-
do
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
2016
c
za
14
an
za
an
av
fc
z
z
an
an
av
av
c
1.6. Reparametrizacion de caminos. Parametrizacion por longitud de arco
i-f
En todos los ejemplos y ejercicios anteriores hemos sido provistos de la regla de correspondencia de una
curva y a partir de ello se ha calculado la derivada, integral o longitud. Sin embargo, en muchos problemas
lo
de la vida real el problema empieza en encontrar una expresion en forma de camino que describa un conjunto
un
dado de puntos en el espacio. El proceso de hallar tal expresion se denomina parametrizar.
lcu
Ejemplo. 17. La interseccion del cilindro x2 + z 2 = 1 y el plano x + y + z = 0 se puede parametrizar por la
curva : [0, 2] R3 dada por
o-
(t) = (cos(t), sen(t) cos(t), sen(t)). (54)
ca
d
Sin embargo no es la unica parametrizacion posible, pues pudimos haber tomado : [0, 1] : R3 con
za
za
(t) = (cos(2t), sen(2t) cos(2t), sen(2t)). (55)
El ejemplo muestra que dos caminos distintos pueden tener la misma traza pero recorrerla con velocidades
an
an
distintas. Esto origina el concepto de reparametrizacion que damos a continuacion.
Definicion. 10. (Reparametrizacion). Sea : [a, b] Rn un camino. Decimos que : [c, d] Rn es
una reparametrizacion de si y solo si existe una funcion : [a, b] [c, d] monotona y sobreyectiva tal que
av
av
= .
c
Observacion. 12. Notar que
i-f
1. La funcion puede ser entendida como un cambio de variable.
lo
t
un
2. En el ejemplo anterior si definimos : [0, 2] [0, 1] como (t) = entonces es monotona creciente,
2
sobreyectiva y ademas = , luego es una reparametrizacion de . lcu
3. Si : [a, b] [c, d] es monotona creciente entonces (a) = c y (b) = d, mientras que si es monotona
o-
decreciente entonces (a) = d y (b) = c.

ca
4. Se puede probar que si : [a, b] [c, d] es monotona creciente entonces es continua, luego si es
d
continuo entonces cualquier reparametrizacion de es tambien un camino continuo.

za
za
Los caminos y del ejemplo 17 recorren la misma traza con diferentes velocidades, pero tienen la misma
longitud (verificar!). De hecho, esto es ultimo es lo que sucede siempre y se enuncia en el siguiente teorema:
Teorema. 19. Si : [a, b] Rn es un camino y : [c, d] Rn es una reparametrizacion de entonces es
an
rectificable si y solo si lo es y en ese caso l()[a, b] = l()[c, d].

Existe un tipo de parametrizacion que hace que la longitud de un camino en un intervalo dado sea igual a
la longitud de tal intervalo. Se define como sigue:
an
av
av
c
Definicion. 11. (Parametrizacion por longitud de arco). Sea : [c, d] Rn un camino rectificable.
i-f
Decimos que esta parametrizado por longitud de arco si y solo si para cada s [c, d] se cumple
l()[c, s] = s c.
lo
(56)
un
Ejemplo. 18. El camino : [0, 2] R2 dado por (t) = (cos(t), sen(t)) esta parametrizado por longitud de
lcu
arco, pues para cada s [0, 2] se tiene

Z s Z s
o-
0
l()[0, s] = k (t)kdt = dt = s. (57)
0 0
ca
n
Ejercicio. 23. Pruebe que si : [c, d] R esta parametrizado por longitud de arco entonces l()[s, t] =
d
t s s, t [c, d] con s < t.

za
za
2016
an
an
15
av
av
-fc
c
d
z
an
za
Notar que la igualdad 57 es gracias a que k0 (t)k = 1 para cualquier t [0, 2] as, el que la derivada de
an
av
un camino tenga norma unitaria es claramente una condicion suficiente para que tal este parametrizado por
longitud de arco. El siguiente teorema muestra que tambien es una condicion necesaria cuando el camino es
de clase C 1 .
av
i-f
Teorema. 20. Sea : [c, d] Rn un camino de clase C 1 . Entonces esta parametrizado por longitud de arco
o
si y solo si k0 (s)k = 1 s [c, d].
un
El teorema anterior muestra que todo camino (de clase C 1 ) parametrizado por longitud de arco recorre
lo
su traza a una rapidez constante igual a 1. Con esta interpretacion fsica es natural pensar que al observar
visualmente la traza de un camino , si nos imaginamos a nosotros mismos como una partcula en el espacio,
lcu
podemos recorrer tal traza pero trotando a una rapidez constante unitaria. Esta idea nos hace pensar que
-
podramos reparametrizar para obtener otro camino que si este parametrizado por longitud de arco. Los dos
do
teoremas siguientes nos ayudan a probar tal afirmacion incluso para caminos que no necesariamente sean de
clase C 1 , bastara con que sean continuos y rectificables.
ca
do
za
Teorema. 21. Sea : [a, b] Rn un camino continuo y rectificable con longitud L = l()[a, b]. Entonces la
funcion
[a, b] [0, L]
(58)
an
za
t 7 (t) = l()[a, t]
es monotona creciente, sobreyectiva y continua.
an
av
Teorema. 22. Si : [a, b] Rn es un camino rectificable y con longitud L = l()[a, b] entonces existe un
unico camino : [0, L] Rn parametrizado por longitud de arco tal que es una reparametrizacion de . Tal
c
camino cumple = , donde es la misma funcion del teorema 21.
av
i-f
o
Observacion. 13. Notar que los teoremas 21 y 22 proveen un procedimiento para reparametrizar un camino
y obtener un camino parametrizado por longitud de arco, el cual, gracias al teorema 19 tendra la misma
un
longitud L. El procedimiento se realiza en tres pasos:

1. Hallar la regla de correspondencia de usando la expresion 58.
lo
lcu
-
2. Escribir s = (t) y despejar t como funcion de s.

do
3. Definir : [0, L] Rn como (s) = (t(s)).

Por esta razon la funcion s = (t) sera llamada parametro longitud de arco o tambien funcion longitu de arco
ca
do
za
del camino .
Ejemplo. 19. Para parametrizar con respecto a la longitud de arco la curva : [0, 2] R2 definida como
(t) = (a cos(t), a sen(t)) donde a > 0, hacemos:
an
1. (t) = l()[0, t] =
Z t
k0 (x)kdx = at. As L = l()[0, 2] = 2a.
za
an
av
0
s
2. Escribimos s(t) = at entonces t = .
a
-fc
av
s s
3. Definimos : [0, 2a] R2 como (s) = (t(s)) = a cos , a sen .
o
a a
i
El camino esta parametrizado por longitud de arco.

un
lo
Ejercicio. 24. Dada la parametrizacion de la cicloide : [0, 2] R2 , (t) = (a(t sen(t)), a(1 cos(t))).
Dar su parametrizacion por longitud de arco.
lcu
-
Ejercicio. 25. Pruebe que si : [a, b] Rn es un camino de clase C 1 y es la funcion longitud de arco de
do
entonces 0 (t) = k0 (t)k.

ca
do
2016
c
za
16
an
za
an
av
fc
c
d
z
an
za
an
av
Ejercicio. 26. Sea : [a, b] Rn un camino de clase C 1 de longitud

n
L y : [0, L] R su reparametrizacion
L
c
por longitud de arco. Si v > 0 pruebe que el camino : 0, Rn dado por (t) = (vt) es una
av
v
i-f
o
reparametrizacion de y tiene rapidez constante igual a v.

Ejercicio. 27. Una partcula se desplaza a lo largo de la curva (x) = (ex cos(x), ex sen(x), ex ), x [0, a] a
un
rapidez constante de 3 unidades por segundo. Dar una parametrizacion para la posicion de la particula en cada
lo
instante de tiempo.
lcu
1.7.
- Introduccion a la Geometra Diferencial de Curvas
do
A lo largo de toda esta seccion supondremos que la curva sobre la cual se haran todas las discusiones
tiene la clase de diferenciabilidad sudiciente como para que todas las derivadas que efectuemos tengan sentido.
ca
Asmismo la funcion longitud de arco de seguira siendo representada como .
do
za
1.7.1. Vectores Tangente, Normal y Binormal

an
za
Para cada t tal que 0 (t) 6= 0 tiene sentido definir el vector tangente unitario T (t) en el punto (t) como
0 (t)
T (t) = . (59)
an
av
k0 (t)k
Al ser kT k constante (igual a 1) entonces por el ejercicio 17 se debe cumplir hT 0 , T i = 0, es decir T 0 es

c
ortogonal a T .
av
i-f
o
Cuando una recta que pasa por (t) es ortogonal a T (t) recibe el nombre de recta normal a en (t).
Si la direccion de esta recta es la misma que la de T 0 (t) entonces la llamamos recta normal principal a en
un
(t). Adicionalmente, si es dos veces diferenciable y T 0 (t) 6= 0 entonces podemos definir el vector unitario
lo
normal principal (a veces simplemente llamado normal) a en el punto (t) denotado por N (t), como
lcu
T 0 (t)
-
N (t) = . (60)
kT 0 (t)k
do
Ejercicio. 28. Determine los vectores unitarios tangente T (t0 ) y normal N (t0 ) a las curvas siguientes defi-
ca
nidas en R:
do
za

1. (t) = (2 sen(t), 3 cos(t)), t0 = .
4
an
2
t
2. (t) = t, , t2 , t0 = 1.
2
za
Notar que las definiciones de T y N dadas son independientes de la dimension n del espacio de llegada de
an
av
. Si n = 2 entonces es un camino en R2 y siendo T (t) y N (t) vectores ortogonales unitarios, formaran una
base ortonormal de R2 , mas si n > 2 los vectores T (t) y N (t) aplicados sobre (t) (es decir imaginados como
-fc
flechas que parten desde el punto (t)) generan un plano que pasa por (t). Tal plano recibe el nombre de
av
plano osculador de en (t). Cuando n = 3 el producto vectorial T (t) N (t) recibe el nombre de vector
o
binormal y es un vector unitario normal al plano osculador. Luego, la ecuacion del plano osculador de en
i
el punto (t) esta dada por

un
h(x, y, z) (t), B(t)i = 0. (61)

lo
Ademas del plano osculador podemos definir el plano normal de en el punto (t) como el plano que
pasa por (t) y es ortogonal a T (t) cuya ecuacion sera:
lcu
-
do
h(x, y, z) (t), T (t)i = 0 (62)

2016
ca
do
za
17
an
za
an
av
fc
c
d
z
an
za
Tambien definimos el plano rectificante de en el punto (t) como el plano que pasa por (t) y es ortogonal
an
av
a N (t), el cual esta dado por la ecuacion:
h(x, y, z) (t), N (t)i = 0 (63)
av
i-f
El trio de vectores T, N y B, en adelante sera llamado triedro de Frenet, o triedro movil (ver figura 4)
o
pues vara en cada punto (t). Ellos forman una base ortonormal de R3 y ademas en ese orden tienen una
orientacion positiva, esto quiere decir que se cumple la regla de la mano derecha para ese sistema de tres
un
vectores. Esto es justamente lo que se pide probar en el siguiente ejercicio:
lo
lcu
-
do
ca
do
za
an
za
an
av
av
i-f
o
Figura 4: Planos osculador, normal y rectificante

un
Ejercicio. 29. Pruebe que

lo
lcu
-
N =BT y T = N B. (64)
do
Ejercicio. 30. Pruebe que si una curva se encuentra en el plano P entonces el plano osculador en cualquier
punto (t) es P.
ca
do
za
Ejercicio. 31. Pruebe que si B es diferenciable en t entonces B 0 (t) es paralelo a N (t).

De las formulas 61, 62 y 63 dadas anteriormente, se puede decir que la expresion 62 es la mas simple
an
de usar puesto que el calculo de B(t) y N (t) es mas largo que el de T (t). Para simplificar esta tarea se
demostrara algunas formulas mas sencillas para N y B.
za
an
Empecemos notando que gracias a la expresion 59 y al ejercicio 25 podemos escribir
av
0 (t) = 0 (t)T (t). (65)

-fc
av
Ahora derivamos la expresion 65 respecto a t y se obtiene gracias a 60 que

o
00 (t) = 00 (t)T (t) + 0 (t)kT 0 (t)kN (t), (66)

i
un
luego, al efectuar el producto vectorial de las expresiones 65 y 66 tenemos

lo
0 (t) 00 (t) = 0 (t)2 kT 0 (t)kB(t) (67)

lcu
-
y como B(t) es un vector unitario entonces se tendra

do
0 (t) 00 (t)
= B(t). (68)
k0 (t) 00 (t)k
ca
do
2016
c
za
18
an
za
an
av
fc
c
d
z
an
za
an
av
Ahora, gracias el ejercicio 29 se tiene que :
(0 (t) 00 (t)) 0 (t)
c
N (t) = B(t) T (t) = . (69)
av
k(0 (t) 00 (t)) 0 (t)k
i-f
o
Con las formulas dadas en 68 y 69 podremos resolver facilmente el siguiente ejercicio:
un
Ejercicio. 32. Determinar T (t0 ), N (t0 ), B(t0 ) y la ecuacion de los planos osculador, normal y rectificante
lo
de en el punto (t0 ) cuando:
1. : R R3 esta dado por (t) = (t, t2 , t3 ) y t0 = 1.
lcu
-
2. : R R3 esta dado por (t) = (t2 , cos(t), sen(t)) y t0 = .
do
Ejercicio. 33. Use la expresion 66 para probar que
ca
do
za
h0 (t), 00 (t)i
00 (t) = (70)
k0 (t)k
an
za
Notar que esta formula vale en cualquier dimension n.
Ejercicio. 34. Use la expresion 67 para probar (cuando n = 3) que
an
av
k0 (t) 00 (t)k
kT 0 (t)k = (71)
k0 (t)k2
c
av
Todo el desarrollo de esta seccion ha sido dado para un camino que no necesariamente esta parametrizado
i-f
o
por longitud de arco. Las formulas para este caso son muy sencillas de deducir y quedan como ejercicio.
Ejercicio. 35. Escriba las formulas para T, N y B para el caso en que esta parametrizado por longitud de
un
arco.
1.7.2. Curvatura y Torsion lo

lcu
-
Cuando es un camino regular en Rn (n = 2 o 3) entonces en cada punto de la traza de se puede ubicar

do
una cirunferencia tangente a (ver figura 5). Mientras mayor sea el radio de tal circunferencia, menor sera la
tendencia de a curvarse en el punto de tangencia.
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
Figura 5: Circunferencias tangentes a

lcu
-
do
2016
ca
do
za
19
an
za
an
av
fc
c
d
z
an
za
an
av
av
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
Figura 6: Radio de curvatura r
an
av
Para calcular el radio r de la circunferencia tangente a en el punto (t0 ) notemos que para valores de t
c
cercanos a t0 se da la situacion mostrada en la figura 6 donde la longitud de arco recorrida por en el intervalo
av
[t0 , t] puede ser aproximada a la longitud del arco de circunferencia de angulo central . Esto quiere decir que
i-f
o
r l()[t0 , t] = (t) (t0 ). (72)

un
Entonces
r
(t) (t0 ) (t) (t0 ) t t0 lo
2 sen

2
lcu
= (73)
-
t t0 kT (t) T (t0 )k
do
Como 0 cuando t t0 y 0 (t0 ) = k0 (t0 )k tomamos lmite a la expresion 73 cuando t t0 y obtenemos

la igualdad
k0 (t0 )k
ca
r= (74)
do
za
kT 0 (t0 )k
que llamaremos radio de curvatura de en el punto (t0 ). Al inverso de este numero se le denota por (t0 ),
es decir
an
(t0 ) =
kT 0 (t0 )k
k0 (t0 )k za (75)
an
y se le denomina curvatura de en el punto (t0 ). Notar que expresa la razon de cambio del vector tangente
av
unitario respecto a la longitud de arco. Gracias al ejercicio 34, cuando n = 3 tenemos la formula:
-fc
k0 (t) 00 (t)k
av
(t) = (76)
k0 (t)k3
o
Ejercicio. 36. Escriba la formula de cuando esta parametrizado por longitud de arco.
i
un

lo
T 0 = 0 N. (77)
Cuando es una curva plana en R3 el plano osculador y por lo tanto el vector binormal se mantienen
lcu
-
constantes (ejercicio 30), mientras que si no es una curva plana, el plano osculador de vara con el parametro
do
B0
t entonces el vector 0 representa la variacion del vector binormal con respecto a la longitud de arco de .

ca
do
2016
c
za
20
an
za
an
av
fc
c
d
z
an
za
Por el ejercicio 31 B 0 (t) es paralelo a N (t), luego existe un numero real (t) que llamaremos torsion de en
an
av
el punto (t) que cumple
B 0 (t) = (t)0 (t)N (t). (78)
av
i-f
N 0 = 0 T + 0 B. (79)
o
las formulas 77, 78 y 79 son conocidas como Formulas de Frenet. En forma matricial dichas formulas
un
pueden ser escritas como
lo
0
T 0 0 T
N 0 = 0 0 N (80)
lcu
B0 0 0 B
-
do
000 = 000 2 03 T + (30 00 + 0 02 )N + 03 B

(81)
ca
do
za
Usando el ejercicio anterior se puede probar que
h0 (t) 00 (t), 000 (t)i

an
za
(t) = . (82)
k0 (t) 00 (t)k2
1.7.3. Una aplicacion a la Mecanica
an
av
En Fsica la variable t suele ser usada para denotar al tiempo, luego, sobre las expresiones 65 y 66 podemos
comentar lo siguiente:
c
av
i-f
1. La expresion 65 ya era muy bien conocida en Mecanica como:

o
v = vT (83)
un
lo
donde v = 0 es el vector velocidad de una partcula que se mueve de acuerdo a la ecuacion de movimiento
dada por y v = 0 = k0 k representa a la magnitud de tal velocidad, es decir la rapidez.
lcu
-
2. Lo mismo pasa con la expresion 66 que en Mecanica es conocida como

do
a = at T + an N (84)
ca
donde a = 00 es el vector aceleracion de la partcula descrita en el tem anterior, luego los numeros
do
za
at = 00 = v 0 y an = 02 kT 0 k = v 2 /r son las componentes tangencial y normal de dicha aceleracion (r es

el radio de curvatura). Gracias a los ejercicios 33 y 34 se tiene:
an
at =
hv, ai
v
an =
kv ak
v za (85)
an
av
Ejercicio. 40. La posicion de una partcula en el espacio esta modelada en funcion del tiempo por el camino
: R R3 dado por (t) = (sen(t), cos(t), t). Determine las aceleraciones normal y tangencial de dicha
-fc
partcula y el radio de curvatura de su trayectoria cuando t = .

av
o
i
un
lo
lcu
-
do
ca
do
za
21
an
za
an
av
fc
z
z
an
an
av
av
c
2. Funciones Reales de Varias Variables.
i-f
2.1. Definicion. Grafico y Conjuntos de Nivel. Operaciones
lo
un
Definicion. 12. Sea m N. Una funcion f : A R cuyo dominio A es un subconjunto de Rm es llamada
funcion real de varias variables. El rango de f es un subconjunto de R denotado por Rang(f ) y definido como:
lcu
Rang(f ) = {f (x) : x A} . (86)
o-
Ejemplo. 20. Las funciones : R R, f : R2 R, g : R3 R y h : R4 R dadas por las siguientes reglas
ca
de correspondencia:
d
(x) = sen(x), f (x, y) = yex , g(x, y, z) = x y 2 + z, h(x, y, z, w) = 1 (87)
za
za
son ejemplos de funciones reales de varias variables.
an
an
Ejercicio. 41. Dada la regla de correspondencia de la funcion f : A R2 R en cada tem. Determine y
grafique el dominio maximo de definicion A.

1. f (x, y) = x x + y.
av
av
c
p
2. f (x, y) = 2 (x 1)2 y 2 .
i-f
p
3. f (x, y) = y 2 x2 2x + 3.

4. f (x, y) = ln (x 2)2 (y 1)2 .
lo
un
2
x 2 2 2 1 p
5. f (x, y) = ln + y 1 + ln (|x| 1) + (y 3) + 16 x2 y 2 .
3
2
x

4 lcu
o-
p
6. f (x, y) = ln + y 2 1 + 16 x2 y 2 .
4
ca

7. f (x, y) = ln emax{x,y} 1 .
d
Definicion. 13. Sea f : A Rm R una funcion de varias variables. El grafico de f es un subconjunto de

za
za
A R Rm+1 denotado por Graf(f ) y definido como:
Graf(f ) = {(x, f (x)) : x A} . (88)

an
A su vez, definimos el conjunto de nivel de f asociado al nivel k R denotado por Nk como:
Nk = {x A : f (x) = k} .
an
(89)
av
av
c

i-f
1. Cuando m = 1, el grafico de f es un subconjunto de R2 y el conjunto de nivel Nk es un subconjunto de

R. Por ejemplo el grafico de la funcion f : [1, 1] R dada por f (x) = x2 es una parabola:
lo
un
Y
lcu
o-
ca
d
X
za
za
2016
an
an
22
av
av
-fc
z
z
an
an
ademas N0 = {0}, N1 = {1, 1} y N4 = .
av
av
c
2. Cuando m = 2, el grafico de f es un subconjunto de R3 y el conjunto de nivel Nk es un subconjunto de R2
que sera llamado en general curva de nivel. Por ejemplo el grafico de la funcion f : [0, 1] [0, 1] R
i-f
dada por f (x, y) = x2 + y 2 es un paraboloide:
lo
un
lcu
o-
ca
d
za
za

ademas N1 = (x, y) R2 : x2 + y 2 = 1 es decir la circunferencia unitaria.
an
an
3. Cuando m = 3, el conjunto de nivel sera llamado en general superficie de nivel. Por ejemplo,
para la funcion f : R3 R dada por f (x, y, z) = x2 + y 2 + z 2 , la superficie de nivel N1 =
av
av

(x, y, z) R3 : x2 + y 2 + z 2 = 1 es la esfera unitaria. Notar que en este caso solo es posible dibujar la
c
superficie de nivel, mas no el grafico de f pues este es un subconjunto de R4 .
i-f
Ejemplo. 21. Las curvas de nivel de f : R2 R dada por f (x, y) = x y 2 para los niveles k = 2, 1, 0, 1, 2
las podemos dibujar as:
lo
un
Y
k = 2
k = 1

2
lcu k=0
k=1
o-
1 k=2
ca
2 1 1 2
d
X
za
za
1

2
an
El uso de curvas de nivel tambien puede ser muy productivo cuando intentamos dibujar los graficos de
an
av
av
funciones de varias variables.
c
Ejercicio. 42. Use las curvas de nivel de la funcion del ejemplo anterior para esbozar el grafico de dicha
i-f
funcion.
lo
Ejercicio. 43. Dibujar algunas curvas de nivel y deducir la grafica de la siguiente funcion:
un
p
x2 + y 2 si x 0
lcu
f (x, y) = (90)
|y| si x < 0
o-
Ejercicio. 44. Grafique las curvas de nivel de las siguientes funciones cuyo dominio es R2 y uselas para
esbozar el grafico.
ca
d
1. f (x, y) = 1 x2 y 2 .
za
za
2016
c Todos los derechos reservados. Prohibida su reproduccion parcial o total.
an
an
23
av
av
-fc
c
d
z
an
za
2. f (x, y) = |x| + |y|.
an
av
3. f (x, y) = mn {|x|, |y|}.
c
Ejercicio. 45. De ejemplos de funciones f : R2 R tales que
av
i-f
o
1. N0 es el cuadrado de vertices (1, 1), (1, 1), (1, 1) y (1, 1).

2. N0 es la union de los ejes X e Y .
un
lo
Ejercicio. 46. Grafique las superficies de nivel de las siguientes funciones cuyo dominio es R3 .
1. f (x, y, z) = 1 x2 y 2 z 2 .
lcu
-
2. f (x, y, z) = x2 + y 2 .
do
Definicion. 14. Operaciones. Sean A Rm , f, g : A R funciones de varias variables. Se definen las
f
ca
funciones f + g, f g, (cuando g nunca se anula): A R denominadas respectivamente suma, producto y
do
za
g
cociente de f y g cuyas reglas de correspondencia estan dadas por
1. (f + g)(x) = f (x) + g(x).
an
za
2. (f g)(x) = f (x)g(x).

f f (x)
an
av
3. (x) = .
g g(x)
c
2.2. Superficies de Revolucion, Cilndricas, Cuadricas y Regladas.
av
i-f
o
2.2.1. Superficies de Revolucion

Una Superficie de Revolucion es un conjunto de puntos que resulta de rotar una curva plana alrededor
un
de algun eje (recta) que esta en el plano que contiene a la curva. Los ejemplos mas comunes de superficies de
lo
este tipo resultan cuando el eje de rotacion es alguno de los ejes coordenados.
lcu
Ejercicio. 47. Use un argumento grafico para concluir que si tomamos como eje de rotacion el eje Z y
-
hacemos rotar la curva que esta sobre el plano XZ de ecuacion z = f (x) (donde f es biyectiva y x 0), se
do
obtiene el conjunto de puntos (x, y, z) R3 tales que

p
ca
z=f x2 + y 2 (91)
do
za
Ejercicio. 48. Use un argumento grafico para concluir que si tomamos como eje de rotacion el eje X y
hacemos rotar la curva que esta sobre el plano XZ de ecuacion z = f (x) (donde f es biyectiva y x 0), se
an
obtiene el conjunto de puntos (x, y, z) R3 tales que
f (x)2 = x2 + y 2 .
za (92)
an
av
Ejercicio. 49. Encuentre la ecuacion de la superficie obtenida al rotar la recta y = 2x alrededor del eje X.
-fc
av
2.2.2. Superficies Cilndricas

o
Dada una recta L en el espacio tridimensional y una curva plana C. Una Superficie Cilndrica de
i
generatriz L y directriz C es el conjunto de puntos que se obtiene al desplazar la recta L manteniendo la

un
misma direccion paralela a si misma a lo largo de C.

lo
Ejemplo. 22. Cuando se desplaza una recta paralela al eje Z tomando como directriz al conjunto de puntos
(curva) de ecuacion f (x, y) = k, (donde k R es una constante) se obtiene una superficie de ecuacion
lcu
-
f (x, y) = k. Por ejemplo cuando la directriz es la circunferencia unitaria x2 + y 2 = 1. Se obtiene el cilindro:

do
(dibujar!!!!)
Ejemplo. 23. Cuando la directriz es una parabola, la superficie resultante se denomina cilindro parabolico.
ca
El grafico de la funcion del ejemplo 21 el cual se realizo en el ejercicio 42 es un cilindro parabolico.

do
za
24
an
za
an
av
fc
c
d
z
an
za
2.2.3. Superficies Cuadricas
an
av
Una superficie cuadrica en el espacio tridimensional R3 es un conjunto de puntos (x, y, z) R3 que
satisfacen una ecuacion del tipo
av
Ax2 + By 2 + Cz 2 + Dxy + Exz + F yz + Gx + Hy + Iz + J = 0. (93)
i-f
o
donde A, B, C, D, E, F, G, H, I, J R.
un
Las formas canonicas de las cuadricas es la simplificacion al maximo de la ecuacion 93 usando rotaciones
lo
y traslaciones apropiadas que transforman dicha ecuacion en alguna de los siguientes tipos:
1. Paraboloide Eltpico. Definido por la ecuacion:
lcu
-
z x2 y2
do
= 2 + 2. (94)
c a b
ca
do
za
an
za
an
av
2. Paraboloide Hiperbolico. Definido por la ecuacion:

x2 y2
c
z
= 2 2. (95)
av
c a b
i-f
o
un
lo
lcu
-
do
ca
do
za
usualmente llamado silla de montar.

3. Hiperboloide Elptico de un solo manto. Definido por la ecuacion:
an
x2
a2
+
y2
b2

z2
c2
= 1. za (96)
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
25
an
za
an
av
fc
c
d
z
an
za
Usualmente llamado Hiperboloide de una sola hoja.
an
av
4. Hiperboloide Elptico de un dos mantos. Definido por la ecuacion:
x2 y2 z2
c
+ 2 2 = 1. (97)
av
a2 b c
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
an
av
Usualmente llamado Hiperboloide de dos hojas.

5. Elipsoide. Definido por la ecuacion:
c
x2 y2 z2
av
+ + = 1. (98)
a2 b2 c2
i-f
o
un
lo
lcu
-
do
ca
do
za
6. Cono. Definido por la ecuacion:

z2 x2 y2
an
c2
=
a2
+
b2
.
za
(99)
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
26
an
za
an
av
fc
z
z
an
an
av
av
c
2.2.4. Superficies Regladas
i-f
Sean I, J R intervalos y sean , : I R3 dos curvas en el espacio. El conjunto
lo
{(t) + s(t) : t I, s J} (100)
un
se denomina superficie reglada. La curva se denomina curva directriz o curva base. Notar que para cada
lcu
t0 I, el conjunto definido en 100 contiene a segmento rectilneo
o-
{(t0 ) + s(t0 ) : s J} (101)
ca
el cual podra ser una recta si J = R.
d
Ejemplo. 24. La Helicoide
za
za
an
an
av
av
c
i-f
lo
un
Puede ser descrita como lcu

(s cos(t), s sen(t), t) = (0, 0, t) + s(cos(t), sen(t), 0), t 0, s [0, 1]. (102)
o-
luego, es una superficie reglada.

ca
d
p
Ejercicio. 50. Pruebe que la parte del cono de ecuacion z = x2 + y 2 con 0 z 3 es una superficie
reglada.
za
za
2.3. Lmites
an
Para el estudio de lmites y continuidad de funciones de varias variables necesitaremos definir algunos
conceptos topologicos sobre el espacio Rm .
Definicion. 15. Bolas abiertas y cerradas. Sean r > 0 y x0 Rm . La bola abierta de centro x0 y radio r
an
av
av
denotada por Br (x0 ) se define como el conjunto:
c
i-f
Br (x0 ) = {x Rm : kx x0 k < r} . (103)
Tambien definimos la bola cerrada de centro x0 y radio r como el conjunto

lo
un
Br [x0 ] = {x Rm : kx x0 k r} . (104)
lcu
Ejemplo. 25. Se ve facilmente que:

o-
1. Cuando m = 1, Br (x0 ) =]x0 r, x0 + r[ y Br [x0 ] = [x0 r, x0 + r].

2. Cuando m = 2, podemos escribr x0 = (a0 , b0 ) y Br (x0 ) = (x, y) R2 : (x a0 )2 + (y b0 )2 < r2 .
ca
d
Osea
Br (x0 ) es el interior del circulo de
radio r centrado en x0 = (a0 , b0 ). Por otro lado, Br [x0 ] =
(x, y) R2 : (x a0 )2 + (y b0 )2 r2 . Osea Br [x0 ] es el disco compacto de radio r centrado en
za
za
x0 = (a0 , b0 ).
an
an
27
av
av
-fc
z
z
an
an
3. Cuando m = 3 es analogo.
av
av
c
Ejercicio. 51. Pruebe la siguiente afirmacion:
i-f
x Br (x0 ), > 0/B (x) Br (x0 ). (105)
lo
Definicion. 16. Punto de acumulacion. Sea A Rm y x0 Rm . Decimos que x0 es un punto de
un
acumulacion de A si toda bola abierta centrada en x0 intersecta a A en al menos un punto distinto de x0 . Es
decir:
lcu
> 0, (B (x0 ) {x0 }) A 6= . (106)
o-
Observacion. 15. Notar que esta definicion es la misma que dimos en la definicion 3 para el caso en que
m = 1, as que valen las mismas aclaraciones hechas en la observacion 4 adaptadas a este caso en el que se
ca
usa la norma en Rm en lugar del valor absoluto. Tal como en ese caso, x0 podra ser un punto de acumulacion
d
de A sin importar si x0 pertenece o no a A.
za
za
Definicion. 17. Lmite. Sean A Rm , x0 un punto de acumulacion de A y f : A R. Decimos que L R
es el lmite de f cuando x tiende a x0 , lo cual denotamos por
an
an
lm f (x) = L (107)
xx0
cuando para cada nmero positivo se puede encontrar otro numero positivo tal que la condicion x A 0 <
kx x0 k < implique que |f (x) L| < .
av
av
c
Observacion. 16. En terminos de logica proposicional la defincion de lmite se escribe como
i-f
lm f (x) = L > 0 > 0 : x A 0 < kx x0 k < |f (x) L| < . (108)

xx0
lo
o usando la notacion de bolas, podemos escribir
un
xx0 lcu
lm f (x) = L > 0 > 0 : x A (B (x0 ) {x0 }) f (x) B (L). (109)
o-
Ejemplo. 26. Probaremos que lm x + y = 0.

(x,y)(0,0)
2
Sea > 0. Notar que si (x, y) R entonces gracias a la propiedad iv) enunciada en la pagina 2,
ca
d
|x| k(x, y)k, |y| k(x, y)k (110)

za
za

ademas por la desigualdad triangular |x + y| < |x| + |y|. Luego, podemos tomar = y tendremos la siguiente
2
cadena de implicaciones
an
0 < k(x, y) (0, 0)k <

|x| <
|y| <
|x| + |y| < 2 = |(x + y) 0| < |x| + |y| < an
(111)
av
av
Esto muestra lo que queramos.
c
xyz
Ejercicio. 52. Pruebe que lm = 0.
i-f
(x,y,z)(0,0,0) x2 + y2 + z2
El siguiente teorema nos da un criterio que sera de gran utilidad mayormente para probar que ciertos
lo
lmites no existen.
un
Teorema. 23. Sean x0 Rm , L R y f : Rm R una funcion real de varias variables. Entonces lm f (x) =
lcu
xx0
L si y solo si lm f ((t)) = L para todo camino : I Rm tal que lm (t) = x0 , donde I R es un intervalo
tt0 tt0
o-
y t0 I.
xy
ca
Ejercicio. 53. Determine si existe el lmite lm .

(x,y)(0,0) x2 + y 2
d
Propiedades similares a las enunciadas para lmites de funciones vectoriales se cumplen para las funciones
za
za
reales de varias variables.

an
an
28
av
av
-fc
z
z
an
an
Teorema. 24. (Unicidad del Lmite). Sea f : A Rm R y x0 un punto de acumulacion de A. Si L,
av
av
M R son tales que lm f (x) = L y lm f (x) = M entonces L = M .
c
xx0 xx0
i-f
Teorema. 25. Sean f : A Rm B R una funcion de varias variables, x0 Rm un punto de acumulacion
de A tal que lm f (x) = w B y g : B R una funcion real de una sola variable continua en w. Se cumple
xx0
lo
que
un
lm g(f (x)) = g(w). (112)
xx0
lcu
Ejercicio. 54. Sean A Rm , x0 un punto de acumulacion de A y f : Rm R una funcion real de varias
variables. Pruebe que lm f (x) = 0 si y solo si lm |f (x)| = 0.
o-
xx0 xx0
Teorema. 26. Sean x0 un punto de acumulacion de A Rm y f, g : A R funciones de varias variables.
ca
Si lm f (x) = L y lm g(x) = M entonces
d
xx0 xx0
za
za
1. lm (f + g)(x) = L + M.
xx0
2. lm (f g)(x) = LM.
xx0
an
an

f L
3. lm (x) = siempre que M 6= 0.
xx0 g M
av
av
4. lm |f (x)| = |L|.
c
xx0
i-f
5. Si f (x) g(x) x A entonces L M .

Ejercicio. 55. Pruebe el Teorema del Sandwich: Sean x0 un punto de acumulacion de A y f, g, h : A
lo
Rm R tales que
un
f (x) g(x) h(x), x A. (113)
xx0 xx0
lcu
Si existen lm f (x) y lm h(x) y son iguales a L R entonces existe lmxx0 g(x) y es igual a L.
o-
El hecho de trabajar con funciones de varias variables da lugar al concepto de lmites iterados que
definiremos ahora para el caso R2 pues para el caso general es similar.
ca
d
Sean (x0 , y0 ) un punto de acumulacion de A R2 y f : A R. Los lmites iterados de f en (x0 , y0 ) se

definen como
za
za

lm lm f (x, y) , lm lm f (x, y) . (114)
xx0 yy0 yy0 xx0
an
que se calculan (tomando la otra variable como una constante), cuando estos existen se podra evaluar el
an
Los parentesis se han colocado con la finalidad de hacer entender que los lmites dentro de ellos son los primeros
siguiente lmite, es decir el que esta fuera del parentesis. De ahora en adelante se sobreentendera esto y no se
colocaran los parentesis. Evidentemente no siempre existiran dichos lmites.
av
av
c
Ejemplo. 27. El lmite iterado

1
i-f
lm lm x sen (115)
y0 x0 y
lo
existe y es igual a cero. Por otro lado

un

1
lm lm x sen (116)
x0 y0 y
lcu
no existe. Notar que en este caso

x
o-
lm x sen = 0. (117)
(x,y)(0,0) y
ca
d
za
za
an
an
29
av
av
-fc
c
d
z
an
za
Ejemplo. 28. Se cumple
an
av
x3 + 3x + y 3 + 2y
lm lm =2 (118)
y0 x0 x+y
c
x3 + 3x + y 3 + 2y
av
lm lm = 3, (119)
i-f
x+y
o
x0 y0
Por otro lado, no existe

x3 + 3x + y 3 + 2y
un lm (120)
lo
(x,y)(0,0) x+y
Ejemplo. 29. Un calculo sencillo muestra que:
lcu
-
xy xy
do
lm lm = 0 = lm lm 2 (121)
y0 x0 x2 + y 2 x0 y0 x + y 2
pese a que no existe el lmite
ca
xy
do
za
lm . (122)
(x,y)(0,0) x2 + y 2
Algo que podemos aprender de los ejemplos anteriores es:
an
za
1. Ejemplo 27: A pesar de existir lm f (x, y) puede darse el caso que alguno de los lmites iterados
(x,y)(x0 ,y0 )
no exista.
an
av
2. Ejemplo 28: A pesar de existir los dos lmites iterados , puede darse el caso que lm f (x, y) no
(x,y)(x0 ,y0 )
c
exista.
av
i-f
o
3. Ejemplo 29: A pesar de existir los dos lmites iterados y ser iguales, puede darse el caso que
lm f (x, y) no exista.
(x,y)(x0 ,y0 )
un
lo
El siguiente teorema muestra la relacion que existe entre los lmites iterados y el lmite de una funcion en un
punto dado.
lcu
-
Teorema. 27. Sea f : A R2 R y (x0 , y0 ) un punto de acumulacion de A. Si existe el lmi-

do
te lm f (x, y) = L y para cada x existe el lmite lm f (x, y) entonces existe el lmite iterado
(x,y)(x0 ,y0 ) yy0
lm lm f (x, y), el cual es igual a L.
xx0 yy0
ca
do
za
Ejercicio. 56. Lmite infinito Sean f : A Rm R y x0 Rm un punto de acumulacion de A. Decimos

que f (x) tiende al infinito cuando x tiende a x0 , lo cual denotamos por
an
cuando
lm =
xx0
za (123)
an
av
M > 0, > 0/x A 0 < kx x0 k < f (x) > M. (124)

Pruebe que
-fc
av
1
1. lm =
o
(x,y)(0,0,) x2 + y 2
i
1
un
2. lm =
lo
(x,y)(0,0,) x4 + y 2
lcu
-
do
ca
do
za
30
an
za
an
av
fc
c
d
z
an
za
2.4. Continuidad
an
av
Definicion. 18. Sean f : A Rm R y x0 A, decimos que f es continua en x0 cuando
c
> 0, > 0/x A kx x0 k < |f (x) f (x0 )| < . (125)
av
i-f
o
Cuando f es continua en cada punto de su dominio diremos simplemente que f es continua.

Similar al caso de funciones vectoriales de variable real tenemos lo siguiente:
un
lo
1. Si x0 no es un punto de acumulacion de A entonces f sera continua en x0 .
lcu
2. Si x0 es un punto de acumulacion de A entonces f sera continua en x0 si y solo si
-
do
lm f (x) = f (x0 ). (126)
xx0
ca
Teorema. 28. Sean x0 A Rm y f, g : A R funciones de varias variables continuas en x0 . Se cumple
do
za
que
1. f + g es continua en x0 .
an
za
2. f g es continua en x0 .
f
an
av
3. es continua en x0 . siempre que g(x0 ) 6= 0.

g
4. |f | es continua en x0 .
c
av
i-f
Para enunciar las principales propiedades de la continuidad de funciones de varias variables necesitaremos de
o
algunos conceptos topologicos adicionales.

un
Definicion. 19. Conjunto abierto Decimos que un conjunto U Rm es abierto cuando para todo punto
x U existe una bola abierta centrada en x contenida en U . mejor dicho:
x U, > 0/B (x) U. lo

lcu
(127)
-
do
Ejemplo. 30. Sean r > 0 y p Rm , la bola abierta Br (p) es un conjunto abierto. Para probar esta firmacion
basta probar que para cada x Br (p) se tiene que B (x) Br (p) si tomamos 0 < < r kx pk.
ca
do
Ejercicio. 57. Pruebe que los conjuntos
za
H+ = (x, y) R2 : y > 0

(128)
H = (x, y) R2 : y < 0

an
son ambos abiertos. za

an
av
Definicion. 20. Conjunto Conexo Un conjunto D Rm es llamado conexo si no existen dos conjuntos A,
B abiertos no vacos y disjuntos tales que
-fc
D = A B. (129)
av
o
Informalmante hablando, la conexidad es un adjetivo atribuido a un conjunto que esta hecho de una
sola pieza.
i
un
Ejemplo. 31. Toda bola abierta o cerrada es un conjunto conexo. Todo intervalo de R abierto, semiabierto o
lo
cerrado es un conjunto conexo.

Ejemplo. 32. El conjunto H+ H no es un conjunto conexo.
lcu
-
do
ca
do
za
31
an
za
an
av
fc
z
z
an
an
av
av
c
Ejemplo. 33. Para cualesquiera I, J R intervalos, el producto cartesiano I J R2 es un conjunto conexo.
i-f
Teorema. 29. Si D Rm es un conjunto conexo y f : D R es una funcion continua entonces la imagen
f (D) de f es un conjunto conexo.
lo
un
Observacion. 17. Se puede probar que los unicos conjuntos conexos en R son los intervalos. As, por el
teorema anterior se tendra que el conjunto f (D) sera un intervalo siempre que D sea conexo y f : D R sea
lcu
continua.
Teorema. 30. Teorema del Valor Intermedio. Sea D Rm un conjunto conexo y f : D R una funcion
o-
continua. Si x0 , x1 D son tales que f (x0 ) < f (x1 ) entonces para cada t [f (x0 ), f (x1 )] existe x D tal
ca
que f (x) = t.
d
Ejercicio. 58. Pruebe que si f : D = [0, 1] [0, 1] R es tal que f (0, 0) = y f (0, 1) = 1 entonces existe
za
za
(x0 , y0 ) D tal que f (x0 , y0 ) = 0.
Definicion. 21. Conjunto Cerrado. Decimos que un conjunto F Rm es cerrado cuando su complemento
Rm F es abierto.
an
an
Ejemplo. 34. Si x0 Rm y r > 0 entonces el conjunto F = {x Rm : kx x0 k r} es cerrado pues su
complemento es la bola abierta Br (x0 ) que es un conjunto abierto. Por otro lado, la bola cerrada Br [x0 ] si es
un conjunto cerrado, pues su complemento {x Rm : kx x0 k > r} es un conjunto abierto.
av
av
c
Ejercicio. 59. Pruebe que los siguientes conjuntos son cerrados.
i-f

1. (x, y) R2 : y = 2 .
lo

2. (x, y, z) R3 : x 0 .
un
3. [2, [
Ejercicio. 60. Pruebe que Rm es un conjunto cerrado y abierto.
lcu
o-
Definicion. 22. Punto Frontera. Sea A Rm , decimos que x0 Rm es un punto frontera de A si toda
bola abierta centrada en x0 contiene puntos de A y de Rm A. Es decir:
ca
d
> 0, B (x0 ) A 6= B (x0 ) (Rm A) 6= . (130)

za
za
La frontera de A, denotada por F r(A) es el conjunto de todos los puntos frontera de A.
Observacion. 18. Notar que
an
an
1. x0 podra ser un punto frontera de A sin importar si pertenece o no a A. (Algo similar al caso de los
puntos de acumulacion).
av
av
2. Intuitivamente un punto frontera es aquel que se encuentra en el borde del conjunto, es decir aquel que
c
limita con el conjunto y con su complemento. Por ejemplo, la frontera de la bola abierta Br (x0 ) es el
conjunto {x Rm : kx x0 k = r}.
i-f
Definicion. 23. Conjunto Acotado. Decimos que un conjunto A Rm es acotado cuando existe M R
lo
tal que kxk M, x A.

un
Observacion. 19. La definicion anterior explica que un conjunto es acotado si y solo si esta incluido en
lcu
alguna bola cerrada centrada en el orgen.

o-
Ejemplo. 35. Toda bola (abierta o cerrada) es acotada.

Definicion. 24. Decimos que un conjunto K Rm es compacto cuando es cerrado y acotado.
ca
d
Ejemplo. 36. Todos los intervalos de la forma [a, b] son compactos.

za
za
La importancia de los conjuntos compactos la demuestra el siguiente teorema:

an
an
32
av
av
-fc
z
z
an
an
Teorema. 31. Teorema de Weierstrass. Toda funcion continua f : K Rm R definida sobre un
av
av
compacto K admite un maximo y un mnimo absoluto, es decir, existen x0 , x1 K tales que
c
f (x0 ) f (x), x K.
i-f
(131)
f (x1 ) f (x), x K.
lo

1
un
Ejercicio. 61. Sea : [0, 1] R3 dado por (t) = sen(ln(1 + et )), , cos(t) . Pruebe que existe un
t+1
lcu
punto en la traza de que es el mas cercano al orgen.
o-
2.5. Derivadas Direccionales
En todo lo que queda de este captulo, la letra U denotara a un conjunto abierto de Rm , a menos que se
ca
d
indique lo contrario.
za
za
Sea x0 U y f : U R. Para cada vector no nulo v Rm definimos la derivada direccional de f en la
f
direccion v en el punto x0 denotada por (x0 ) como
v
an
an
f f (x0 + tv) f (x0 )
(x0 ) = lm (132)
v t,0 t
siempre que este lmite exista.
av
av
c
i-f
lo
un
lcu
o-
ca
d
za
za
an
an
av
av
c
Geometricamente la derivada direccional es la pendiente de la recta tangente a la curva que resulta de

i-f
intersectar el grafico de f con el plano vertical que pasa por la recta con punto de paso x0 en la direccion v.
Ejercicio. 62. Consideremos la funcion f : R2 R definida por
lo
xy
un
(
si (x, y) 6= (0, 0)
f (x, y) = x + y2
2 (133)
lcu
0 si (x, y) = (0, 0)
f
o-
Halle el conjunto de vectores v para los cuales existe la derivada direccional (0, 0).
v
ca
Ahora introucimos una notacion para entender el siguiente teorema. Denotamos por [a, a + v] al segmento
d
rectilneo que une los puntos a y a + v, es decir

za
za
[a, a + v] = {a + tv : t [0, 1]} (134)

an
an
33
av
av
-fc
c
d
z
an
za
anlogamente definimos
an
av
]a, a + v[= {a + tv : t ]0, 1[} . (135)
Teorema. 32. Teorema del Valor Medio. Sean f : U Rm R, a U y v Rm {0} tales que
c
f
av
[a, a + v] U .Si f es continua en cada punto de [a, a + v] y existe la derivada direccional (x) para cada x
i-f
v
o
f
en ]a, a + v[ entonces existe ]0, 1[ tal que f (a + v) f (a) = (a + v).
v
un
lo
f
Corolario. 4. Sea U Rm es conexo (y abierto). Si (x) = 0 en cada punto x U y para cada v Rm {0}
v
entonces f es constante.
lcu
-
En el caso en que v sea alguno de los vectores de la base canonica {e1 , e2 , , em } de Rm , la derivada
do
direccional recibe una notacion especial.
f f
(x0 ) = (x0 ) (136)
ca
ei xi
do
za
Para ser mas explcitos, sabiendo que e1 = (1, 0, , 0), e2 = (0, 1, 0, , 0), , em = (0, 0, , 0, 1) y
escribiendo x = (x1 , x2 , xm ) entonces
an
za
f f (x1 , , xi + t, , xm ) f (x1 , , xm )
(x) = lm (137)
xi t,0 t
an
av
a este ultimo valor se le denomina derivada parcial de f respecto a la variable xi .

f
c
Ejercicio. 63. Siendo f (x, y) = xy, escriba la formula para la derivada direccional (x, y), donde v = (a, b).
v
av
Tambien escriba la formula de las derivadas parciales respecto a todas las variables.
i-f
o
Puesto que el lmite descrito en la expresion 137 deja constante todas las variables excepto xi , cada vez
que se quiera calcular la derivada parcial respecto a una variable procedemos a derivar considerando al resto
un
de variables como constantes.
Ejemplo. 37. Se verifica facilmente que: lo

lcu
-
(x3 + 4xy 2 )
do
= 3x2 + 4y 2
x
(138)
(x3 + 4xy 2 )
ca
= 8xy
do
y
za
Ejercicio. 64. Analice la continuidad de las derivadas parciales de f : R2 R dada por

an
f (x, y) =
3
x y3

x2 + y 2
0
6 (0, 0)
si (x, y) =
si (x, y) = (0, 0)
za (139)
an
av
Cuando existan las derivadas parciales de f en un punto dado x, podemos formar el vector cuyas coorde-
nadas son justamente todas las derivadas parciales de f en x. A tal vector se le denomina gradiente de f en
-fc
av
x denotado por f (x). Entonces:

o

f f f
f (x) = (x), (x), , (x) Rm (140)
i
x1 x2 xm
un
lo
Ejemplo. 38. Siendo f (x, y) = x3 + 4xy 2 , se tiene que

lcu
f (x, y) = (3x2 + 4y 2 , 8xy) (141)

-
do
ca
do
za
34
an
za
an
av
fc
c
d
z
an
za
2.6. Diferenciablidad
an
av
Nos toca ahora generalizar la definicion de diferenciabilidad que hasta el momento ha sido estudiada solo
para funciones vectoriales de una sola variable. Esta nocion de diferenciabilidad estudiada solo se resume a la
c
existencia del lmite
av
f (t0 + h) f (t0 )
i-f
o
lm (142)
h0 h
cuando f : A R Rn . Nos gustara decir que una generalizacion de diferenciabilidad para el tipo de
un
funciones de este captulo es que existan las derivadas direccionales, o que simplemente existan las deriva-
lo
das parciales. El problema de estos candidatos a definicion de diferenciabilidad es que no implican la
continuidad. Eso lo podemos probar resolviendo el siguiente ejercicio
lcu
-
Ejercicio. 65. Sea f : R2 R definida por
do

x3 y
si (x, y) 6= (0, 0)
f (x, y) = x6 + y 2 (143)
ca
0 si (x, y) = (0, 0)

do
za
Pruebe que f admite todas sus derivadas direccionales en el orgen, pero no es continua en ese punto.
As, debemos imponer otra definicion de diferenciabilidad que haga que se sigan cumpliendo las principales
an
za
propiedades que este concepto deberia implicar tales como la ya mencionada continuidad, ademas la regla de
la cadena y sin ser muy pretensiosos, la linealidad de la derivada direccional, es decir:
f f f f f
an
av
(x) = (x), (x) = (x) + (x). (144)

(v) v (v + w) v w
Es as como el esfuerzo de grandes matematicos por conseguir lo mencionado anteriormente ha dado a luz a
c
av
la definicion que ahora presentamos:
i-f
o
Definicion. 25. Decimos que una funcion f : U R es diferenciable en el punto x U si existe v Rm y

: Rm R tal que
un
f (x + h) = f (x) + v h + (h) (145)

donde
(h)
lm = 0. lo (146)
lcu
h0 ||h||
-
El vector v recibe el nombre de derivada de f en el punto x y se denota por f 0 (x). Cuando f es diferenciable
do
en cada punto de su dominio (U ), decimos simplemente que f es diferenciable (en U ) .

ca
do
za
Observacion. 20. Para probar que una funcion f : U R es diferenciable en el punto x U basta con
proporcionar el valor de v y luego de esto definir la regla de correspondencia de como
(h) = f (x + h) f (x) v h (147)
an
para con esta regla probar el lmite 146.

za
Ejemplo. 39. La derivada de una funcion constante es el vector nulo 0, puesto que podemos tomar v = 0 y
an
av
definir = 0 la funcion nula.

Ejemplo. 40. La funcion definida por f (x, y) = x2 +y 2 es diferenciable. Para probar esta afirmacion tomemos
-fc
(x, y) R2 y h = (h1 , h2 ) R2 , entonces tenemos

av
o
f ((x, y) + (h1 , h2 )) = f (x + h1 , y + h2 ) = (x + h1 )2 + (y + h2 )2 = x2 + y 2 + 2xh1 + 2yh2 + h21 + h22

i
= f (x, y) + (2x, 2y) (h1 , h2 ) + h21 + h22

un
(148)
lo
Luego, podemos tomar v = (2x, 2y) y (h1 , h2 ) = h21 + h22 . Se cumple

lcu
h2 + h2
-
(h)
lm = lm p 1 2 2 2 = 0. (149)
do
h0 ||h|| h0 h1 + h2
As, f es diferenciable en (x, y) con derivada f 0 (x, y) = (2x, 2y).
ca
do
za
35
an
za
an
av
fc
z
z
an
an
av
av
c
f f
Notar que con la funcion f del ejemplo 40 se cumple (x, y) = 2x, y = 2y, luego, coincidentemente
i-f
x y

0 f f
lo
f (x, y) = (x, y), (x, y) = f (x, y). (150)
x y
un
Veremos que en realidad esto no es una coincidencia.
lcu
Teorema. 33. Si f : U R es diferenciable en x U entonces existen las derivadas parciales de f en el
o-
punto x. Ademas se tiene f 0 (x) = f (x).
ca
El teorema anterior dice que
d
Diferenciabilidad Existencia del gradiente.
za
za
pero lamentablemente
Existencia del gradiente. ; Diferenciabilidad

an
an
es decir la existencia del gradiente de f en x no asegura la diferenciabilidad de f en x. Mas bien hara falta
un condicion adicional para que esto suceda. Eso es lo que se menciona en el siguiente teorema.
av
av
c
Teorema. 34. (Condicion equivalente a diferenciabilidad) Sea f : U R y x U . f es diferenciable
i-f
en el punto x. si y solo si admite derivadas parciales en el punto x (o lo que es igual, f (x) existe) y ademas
f (x + h) f (x) f (x) h
lo
lm = 0. (151)
||h||
un
h0
lcu
Ejemplo. 41. Use el Teorema 34 para demostrar que la funcion del Ejemplo 40 es diferenciable en R2 .
Ejemplo. 42. Use el Teorema 34 para demostrar que la funcion f : R2 R con regla de correspondencia
o-
x2 y

ca

p 2 si (x, y) 6= 0
x + y 2
d
f (x, y) =

za
za
0 si (x, y) = 0

es diferenciable en el origen.
an
Ejemplo. 43. Use el Teorema 34 para demostrar que la funcion f : R2 R con regla de correspondencia

p 2

xy
x + y2
si (x, y) 6= 0
an
av
av
f (x, y) =
c

0 si (x, y) = 0
i-f
tiene derivadas parciales en el origen pero no es diferenciable en ese punto.

lo
Existe otra condicion que aumentada al hecho de poseer gradiente, asegura la diferenciabilidad de una
un
funcion en un punto dado.

lcu
Teorema. 35. (Condicion suficiente para la diferenciabilidad) Sea f : U R y x U . Si f admite derivadas

o-
parciales en todos los puntos de U y estas son continuas en el punto x entonces f es diferenciable en
x.
ca
d
Aquellas funciones cuyas derivadas parciales son continuas son llamadas funciones C 1 .
za
za
Ejemplo. 44. Pruebe que la funcion del Ejemplo 43 no es C 1 .

an
an
36
av
av
-fc
z
z
an
an
Ejemplo. 45. Pruebe que la funcion del Ejemplo 42 es C 1 .
av
av
c
El teorema siguiente muestra justamente que la definicion de diferenciabilidad dada ha valido la pena.
i-f
Teorema. 36. Si f : U R es diferenciable en x U entonces f es continua en x.
lo
Entonces, como siempre se ha tenido hasta ahora, se cumple que
un
Diferenciabilidad. Continuidad
lcu
Los ejercicios siguientes muestran que como siempre, no se cumple la implicacion recproca.
o-
p
Ejercicio. 66. Pruebe que f : R2 R dada por f (x, y) = x2 + y 2 es continua pero no es diferenciable.
ca
Ejercicio. 67. Pruebe que f : R2 R dada por
d

1
6 0
za
za
x sen si y =

f (x, y) = y (152)
0 si y = 0

an
an
es continua en el origen pero no es diferenciable en ese punto.
Evidentemente las reglas de derivacion usuales del algebra de derivadas tambien se seguiran cumpliendo.
av
av
Teorema. 37. (Algebra de derivadas) Sean f, g : U R diferenciables en x U . Se cumple
c
1. f + g es diferenciable en x y (f + g)0 (x) = f 0 (x) + g 0 (x).
i-f
2. f g es diferenciable en x y (f g)0 (x) = g(x)f 0 (x) + f (x)g 0 (x).
lo
0
f f 1
un
3. Si g(x) 6= 0 entonces es diferenciable en x y (x) = 2 [g(x)f 0 (x) f (x)g 0 (x)]

g g g (x)
4. Si c R entonces cf es diferenciable en x y (cf )0 (x) = cf 0 (x).
lcu
o-
Las reglas del algebra de derivadas mencionadas anteriormente no contemplan la operacion tpica de las
funciones que es la composicion. La importancia de esta operacion es tal que se aborda por separado en una
ca
sola seccion, pues por si misma trae consecuencias ,muy profundas.
d
za
za
2.7. La regla de la cadena y sus consecuencias.
Teorema. 38. (Regla de la Cadena). Sean U Rm y V Rn abiertos y f = (f1 , , fn ) : U Rn ,
g : V R funciones tales que fj : U R son diferenciables en x (1 j n) y g diferenciable y = f (x).
an
Entonces g f : U R es diferenciable en x y se cumple
(g f )
(x) =
n
X g
(y)
fj
(x).
an
(153)
av
av
xi yj xi
c
j=1
i-f
h h
Ejercicio. 68. Halle las expresiones para y . Siendo h(r, ) = g(x(r, ), y(r, ), z(r, )), g(x, y, z) = xyz,
r
x = rsen, x = rcos y z = .
lo
un
Se puede reconocer dos casos particulares del teorema 38: El caso en el que n = 1 y V es un intervalo,
lcu
abordado en el teorema 39 y el caso en el que m = 1 abordado en el teorema 40

Teorema. 39. Sea f : U R diferenciable en x U . Sean g : R R diferenciable en f (x), entonces
o-
g f : U R es diferenciable en x y se cumple
ca
g f f
(x0 ) = g 0 (f (x)) (x). (154)
d
xi xi
za
za
La relevancia de este caso queda mostrada en el siguiente ejemplo.

an
an
37
av
av
-fc
c
d
z
an
za
Ejercicio. 69. Use el Teorema 39 para calcular las derivadas parciales de las funciones con las siguientes
an
av
reglas de correspondencias
senxy
1. f (x, y) = x2 + y 2
av
2. f (x, y) = (x + y)x+y
i-f
o
Teorema. 40. Sea f : U R diferenciable en x U . Sean I R un intervalo abierto, t I y =

(1 , m ) : I U un camino diferenciable en t tal que (t) = x. Entonces h = f : I R es diferenciable
un
lo
en t y se cumple
dh f d1 f dm
(t) = (x) (t) + + (x) (t). (155)
dt x1 dt xm dt
lcu
-
Esto es
do
dh
= f ((t)) 0 (t). (156)
dt
ca
Ejercicio. 70. Suponer que la temperatura en un punto dado (x, y, z) del espacio es T (x, y, z) = x2 + y 2 + z 2 .
do
za
sea una partcula que viaja por la helice (t) = (cos(t), sen(t), t) y sea T (t) su temperatura en el tiempo t.
Halle la expresion de T 0 (t).
an
za
Ejercicio. 71. Suponer que f es una funcion
diferenciable de una variable y que una funcion u = g(x, y)
x+y
esta definida por u = g(x, y) = xyf . Mostrar que existe una funcion G(x, y) tal que
xy
an
av
u u
x2 y2 = G(x, y)u
c
x y
av
i-f
Ejercicio. 72. Considere la funcion f : R2 R definida por

o

xy 2
si (x, y) 6= (0, 0)
un

2
x + y2
f (x, y) =

0 si (x, y) = (0, 0)
lo
lcu
-
Probar que
do
f f
1. Existen (0, 0) y (0, 0).
x y
ca
do
za
ab2
2. Si g(t) = (at, bt) para constantes a y b no nulas, entonces f g es diferenciable y (f g)0 (0) =
a2 + b2
pero f (0, 0).g 0 (0) = 0.
an
za
Dados x, y Rm , el segmento rectilneo de extremos x e y sabemos que se denota por [x, y]. Si retiramos
los extremos x e y entonces el conjunto resultante es ]x, y[. (Ver las expresiones 134 y 135).
an
av
Teorema. 41. (Teorema del Valor Medio). Sean x U y u Rm tales que [x, x + u] U . Si f : U R es
continua en [x, y] y diferenciable en ]x, x + u[ entonces existe t ]0, 1[ tal que
-fc
av
f (x + u) f (x) = f (x + t u) u.
o
Corolario. 5. Si U es una bola abierta en Rm y f 0 (x) = 0 x U entonces f es constante.

i
un
lo
Ejemplo. 46. Se dice que U es convexo si [x, y] U x, y U . use el Teorema del Valor medio para probar
que si U es convexo y f es diferenciable en U con f 0 (x) = 0 x U entonces f es constante.
lcu
-
Teorema. 42. (Relacion entre gradiente y derivada direccional de una funcion diferenciable). Si
f : U R es diferenciable en x U , entonces para cada u Rm existe la derivada direccional respecto u y
do
f
(x) = f 0 (x) u = f (x) u
u
ca
do
za
38
an
za
an
av
fc
c
d
z
an
za
A menudo es interesante analizar el crecimiento de una funcion f dada a lo largo de una direccion u. De
an
av
f
hecho este es el sigificado geometrico de la derivada direccional . Puesto que la direccion de u y u es la
u
f f
c
misma para cualquier > 0, y por el teorema anterior (x) = f (x) (u) = f (x) u = (x),
av
(u) u
i-f
entonces para hacer una buena comparacion podemos requerir que el vector u sea de longitud unitaria. Luego
o
de entre todos los vectores unitarios u Rm nos interesa saber en cual de todos ellos se la direccion en la
f
cual crece mas rapido la funcion f en un punto x dado, es decir el maximo valor de (x). La respuesta la
un u
lo
da el siguiente teorema.
lcu
-
Teorema. 43. (Direccion de cambio maximo). Sea f : U R diferenciable en x U y tal que f (x) 6= 0,
do
entonces f (x) apunta en la direccion a lo largo de la cual f crece mas rapido.
f
Prueba. Para un vector unitario u Rm , la razon de cambio en esta direccion es (x) = f (x) u =
ca
u
do
za
||f (x)|| cos(), donde es el angulo entre f (x) y u. El valor de cos() es maximo cuando = 0, es decir
f (x)
cuando u = .
||f (x)||
an
za
Ejercicio. 73. En que direccion crece mas rapido la funcion f (x, y) = x2 + y 2 desde el punto (1, 2)?.
Ejercicio. 74.! Calcule la tasa de cambio de f (x, y, z) = xyz en la direccion del vector unitario
an
av

2 1 1
, , en el punto (1, 0, 1).
3 6 6
c
av
i-f
Ahora usamos el Teorema 40 para relacionar el gradiente de una funcion y sus superficies de nivel. Como
o
se sabe, la direccion en la cual la funcion f tiene una razon de cambio mayor es la del gradiente, por otro lado
las superficies de nivel determinadas por f son los lugares geometricos en los que f no vara, en particular no
un
crece. Es de esperarse entonces que exista una relacion entre ellos.
lo
Teorema. 44. Sea f : R3 R, una funcion C 1 y S la superficie de nivel definida por la ecuacion f (x, y, z) = k
lcu
-
(k constante). Sea I R un intervalo abierto, t0 I y : I S una curva diferenciable en t0 , ademas

do
denotemos (x0 , y0 , z0 ) = (t0 ). Entonces
f (x0 , y0 , z0 ) 0 (t0 ) = 0.
ca
(157)
do
za
Prueba. Desde que (t) S, t I se tiene f ((t)) = k t I luego, derivando respecto a t y aplicando la
regla de la cadena en t0 se tiene
an
f ((t0 )) 0 (t0 ) = 0.
za (158)
an
av
En el teorema anterior, recordar de la teora de curvas desarrollada al comienzo del curso que 0 (t0 ) es un
vector tangente a la curva en el punto (t0 ). Como la (traza de la) curva esta en la superficie de nivel S,
podemos pensar en 0 (t0 ) como un vector tangente a S en (t0 ). El conjunto de todos estos tales vectores
-fc
av
forman un plano en el espacio el cual sera tangente a S en (t0 ). Lo que el teorema nos quiere decir es que
o
f ((t0 )) es normal (perpendicular) a dicho plano. Por supuesto, tenemos que dar una definicion correcta
del mismo.
i
un
lo
Definicion. 26. (Plano tangente). Con las mismas notaciones del teorema anterior, si f (x0 , y0 , z0 ) 6= 0.
definimos el plano tangente a S en (x0 , y0 , z0 ) S como el conjunto de todos los puntos (x, y, z) R3 que
lcu
-
satisfacen la ecuacion
do
f (x0 , y0 , z0 ) (x x0 , y y0 , z z0 ) = 0. (159)
ca
do
za
39
an
za
an
av
fc
z
z
an
an
CM211A- Prof: Angelo Morante. Clase 13 12/09/2016
av
av
c
Cuando el dominio de una funcion g es R2 , el grafico de g:
i-f
graf(g) = {(x, y, z) : z = g(x, y)} (160)
lo
define una superficie. De hecho, si definimos la funcion f como f (x, y, z) = g(x, y) z, entonces graf(f ) es una
un
superficie de nivel de f definida por la ecuacion f (x, y, z) = 0. De ah que, si tomamos (x0 , y0 , z0 ) graf(g)
lcu
g g
entonces z0 = f (x0 , y0 ) y f (x0 , y0 , z0 ) = (x0 , y0 ), (x0 , y0 ), 1 . As, el plano tangente a graf(g) en el
x y
3
punto (x0 , y0 , z0 ) es el conjunto de puntos (x, y, z) R que satisfacen la ecuacion:
o-

g g
ca
(x0 , y0 ), (x0 , y0 ), 1 (x x0 , y y0 , z z0 ) = 0. (161)
d
x y
za
za
o lo que es igual,
g g
z= (x0 , y0 )(x x0 ) + (x0 , y0 )(y y0 ) + z0 . (162)
x y
an
an
donde z0 = f (x0 , y0 ).
Ejercicio. 75. Calcular la ecuacion del plano tangente a la grafica de z = x2 + y 2 en el punto (3, 4, 25).
Asimismo escriba la ecuacion de la recta normal a dicho plano que pasa por el mismo punto.
av
av
c
2 2 2
Ejercicio.
76. Calcular
la ecuacion del plano tangente a la superficie definida por x + y + z = 4 en el
2 2 2
i-f
punto , , . Asimismo escriba la ecuacion de la recta normal a dicho plano que pasa por el mismo
3 3 3
punto.
lo
un
2.8. Teorema de la Funcion Implcita

lcu
Notar que la diferencia entre las funciones de los ejercicios 75 y 76 es que en el primer caso ya tenemos
definida la regla de correspondencia explcita de la funcion, la cual es z(x, y) = x2 + y 2 , y podemos calcular
o-
f f
las derivadas parciales , mientras que en el segundo caso hara falta despejar z en terminos de x e y,
px x
ca
quedando z(x, y) = 4 x2 y 2 . Esta ultima expresion obviamente no define a una z como una funcion
d
de x e y y peor aun no permite el calculo de las derivadas parciales. El proposito de esta seccion es estudiar
za
za
bajo que condiciones podemos realizar dichos calculos.
Definicion. 27. Dada f : U R2 R, decimos que la ecuacion f (x, y) = c define implcitamente a y como
funcion de x cuando existe una funcion : I R definida en un intervalo I R talque f (x, y) = c y = (x).
an
Con los mismos terminos de la definicon que acabamos de dar, notemos en primer lugar que la ecuacion
f (x, y) = c define a una curva de nivel C en el plano, luego se dan las siguientes equivalencias obvias.
an
av
av
c
(x, y) C f (x, y) = c y = (x), x I (163)

i-f
Esto significa que

C = {(x, (x)) : x I} . (164)
lo
es decir, la curva de nivel es el grafico de la funcion sobre su dominio I. Luego, podemos decir que la
un
ecuacion f (x, y) = c define a y implcitamente en funcion de x si al graficar dicha curva de nivel se obtiene el
lcu
grafico de una funcion.

o-
Evidentemente la definicion es analoga para una ecuacion que define implcitamente a x en funcion de y.

3 y
ca
Ejercicio. 77. En la ecuacion = 1, identifique la funcion f , el numero real c y el conjunto U R2

x+1
d
como en la Definicion 27. Demuestre que esta ecuacion define implcitamente a y como funcion de x y halle
za
za
la funcion , y el intervalo I como en la Definicion 27.

an
an
40
av
av
-fc
c
d
z
an
za
Ejercicio. 78. Demuestre que la ecuacion del ejemplo anterior define implcitamente a x en funcion de y.
an
av
Ejercicio. 79. En la ecuacion x2 +y 2 = 1, identifique la funcion f , el numero real c y el conjunto U R2 como
en la Definicion 27. Demuestre que esta ecuacion no define implcitamente a y como funcion de x. Identifique
av
un subdomino U0 U de manera que considerando la restriccion de f a U0 la ecuacion en mencion si defina
i-f
implcitamente a y en funcion de x. Haga lo analogo para tratar de definir x implcitamente en funcion de y.
o
Naturalmente, la Definicion 27 puede ser generalizada a R3 .
un
lo
Definicion. 28. Dada f : U R3 R, decimos que la ecuacion f (x, y, z) = c define implcitamente a
z como funcion de x e y cuando existe una funcion : V R definida en algun dominio V R2 talque
f (x, y, z) = c z = (x, y).
lcu
-
do
Sea S la superficie de nivel definida por la ecuacion f (x, y, z) = c, se dan las siguientes equivalencias obvias:
(x, y, z) S f (x, y, z) = c z = (x, y), (x, y) V (165)
ca
do
za
Esto significa que

S = {(x, (x, y)) : (x, y) V } . (166)
an
za
es decir, la superficie de nivel es el grafico de la funcion sobre su dominio V . Luego, podemos decir que la
ecuacion f (x, y, z) = c define a z implcitamente en funcion de x e y si al graficar dicha superficie de nivel se
obtiene el grafico de una funcion.
an
av
Evidentemente la definicion es analoga para una ecuacion que define implcitamente a x en funcion de z e
y, lo mismo para y en funcion de x y z.
c
av
Ejercicio. 80. Dada f : R2 ]0, [ R, con regla de correspondencia f (x, y, z) = x2 + y 2 z 2 . Demuestre
i-f
o
que la ecuacion f (x, y, z) = 0 define implcitamente a z como funcion de x e y.

Ejercicio. 81. Usando la superficie de nivel del Ejemplo 76, identifique la funcion f , el conjunto U R3
un
lo
como en la Definicion 29. Demuestre que esta ecuacion no define implcitamente a z en funcion de x e y.
Identifique un subdomino U0 U de manera que considerando la restriccion de f a U0 la ecuacion en mencion
si defina implcitamente a z en funcion de x e y. Haga lo analogo para tratar de definir x implcitamente en
lcu
-
funcion de z e y.
do
Como era de esperarse, se da la definicion general a m dimensiones.

ca
Definicion. 29. Dada f : U Rm+1 R, decimos que la ecuacion f (x1 , xm , xm+1 ) = c define implcita-
do
za
mente a xm+1 como funcion de x1 , , xm cuando existe una funcion : V R definida en algun dominio
V Rm talque f (x1 , , xm , (x1 , , xm )) = c xm+1 = (x1 , , xm ).
an
za
Para este caso es mejor cambiar un poco la notacion y denotar x = (x1 , x2 , xm ) y z = xm+1 , luego,
f (x, z) = c z = (x).
an
av
En todos los ejemplos anteriores pudimos darnos una idea geometrica de la curva de nivel o superficie de
nivel sobre la cual estabamos trabajando, esto nos ayudo a probar lo que se nos peda. Pero hay ocasiones en
-fc
las que una ecuacion dada tiene una formulacion tan complicada que es difcil imaginarsela geometricamente.
av
Por otro lado en los Ejemplos 79 y 81 al menos se poda encontrar un subdominio mas pequeno en el que
o
la ecuacion dada si defina implcitamente alguna de las variables en terminos de las restantes. En este caso
decimos que la ecuacion define implcitamente de manera local a tal variable como funcion de las otras .
i
El teorema siguiente da condiciones suficientes para que esto suceda sin darnos siquiera idea de la forma
un
lo
geometrica de la curva o superficie de nivel en cuestion.

lcu
-
do
ca
do
za
41
an
za
an
av
fc
z
z
an
an
av
av
c
Teorema. 45. Teorema de la Funcion Implcita. Seaf : U Rm+1 R de clase C 1 . Sea (x0 , z0 ) U
que cumple
i-f
f
f (x0 , z0 ) = 0 y (x0 , z0 ) 6= 0 (167)
z
lo
entonces existe un conjunto abierto V0 Rm que contiene a x0 , una vecindad W0 R de z0 tal que U0 =
un
V0 W0 U y una unica funcion : V0 W0 de clase C 1 tal que x V0 se cumple f (x, z) = 0 z = (x).
lcu
Ademas:
f
(x, (x))
xi
o-
(x) = (168)
xi f
(x, (x))
ca
z
d
En pocas palabras el Teorema de la Funcion Implcita asegura que si se da la condicion (167) entonces la
ecuacion f (x, z) = 0 define implcitamente a z como funcion de x (de manera local) en un subdominio U0 U.
za
za
que contiene a (xo , z0 ), ademas la da una formula para calcular la derivada de z respecto a x.
Ejercicio. 82. Cerca de que puntos es posible representar la superficie
an
an
x3 + 3y 2 + 8xz 2 3z 3 y = 1 (169)
z z
como la grafica de una funcion diferenciable z = (x, y)?. Calcule y en esos puntos.
x y
av
av
c
Ejercicio. 83. Use la regla de la cadena para, a partir de la expresion F (x, (x)) = 0 obtener la ecuacion
i-f
(168).
y3
Ejercicio. 84. Suponiendo que la ecuacion x + z 2 y + y 2 z +
lo
= 0 define implcitamente a y en terminos de
3
un
y y
x y z, hallar y .
x z
2.9. Derivadas parciales de Orden Superior, Teorema de Schwartz

lcu
o-
f
. Dada f : U R diferenciable, entonces se sabe que existen las derivadas parciales : U R
ca
xi
d
f
para cada i = 1, m. Supongamos que tambien existen las derivadas parciales , que por
xi xj
za
za
2f
notacion escribiremos en adelante y llamaremos derivadas parciales de segundo orden. En el caso
xi xj
2f
an
que i = j se usa la notacion

de segundo orden,
notacion
f
=
x2i
2estas reciben el
3f
. Los casos i = k y j = i se denotan por
3f
y
3f
an
. En caso que existan las derivadas parciales de las derivadas parciales
nombre de derivadas parciales de tercer orden y convenimos en usar la
respec-
av
av
xk xi xj xk xi xj x2i xj xk x2i
c
3
f
tivamente, mientras que si i = j = k escribimos . este proceso puede ser continuado cuantas veces se quiera.
i-f
x3i
Por otr lado, cabe preguntarse si se da la igualdad
lo
2f 2f
un
= .
xi xj xj xi
lcu
Veamos un ejemplo.
o-
Ejemplo. 47. Definamos f : R2 R con regla de correspondencia

ca

x2 y 2
xy 2 si (x, y) 6= 0

d

f (x, y) = x + y2 (170)
za
za

0 si (x, y) = 0

an
an
42
av
av
-fc
z
z
an
an
f f
Se puede demostrar que las derivadas parciales , : R2 R tienen las reglas de correspondencia siguien-
av
av
x y
c
tes:
y(x4 + 4x2 y 2 y 4 )

i-f
si (x, y) 6= 0

f
(x2 + y 2 )2
(x, y) = (171)
x
lo

0 si (x, y) = 0

un
x(x4 4x2 y 2 y 4 )

lcu
si (x, y) 6= 0

f
(x2 + y 2 )2
(x, y) = (172)
y
o-

0 si (x, y) = 0

ca
Como se ve, existen las derivadas parciales en todo el espacio R . Se puede demostrar que cada una de ellas
d
es continua en todo R2 . Luego f es C 1 . Por otro lado
za
za
6
x + 9x4 y 2 9x2 y 4 y 6
si (x, y) 6= 0

2

f
(x2 + y 2 )3
(x, y) = (173)
xy
an
an

1 si (x, y) = 0

6
x + 9x4 y 2 9x2 y 4 y 6
si (x, y) 6= 0

f
(x2 + y 2 )3
av
av
(x, y) = (174)
yx
c

1 si (x, y) = 0

i-f
2f 2f
es decir (0, 0) 6= (0, 0).
xy yx
lo
un
Para formular un resultado que asegure la igualdad deseada formulamos primero la siguiente definicion:
lcu
Definicion. 30. Sea f : U R y x U . Decimos que f es dos veces diferenciable en x U si:
i) f es diferenciable en U .
o-
f
ca
ii) Todas las derivadas parciales : U R son diferenciables en x.
xi
d
Por el Teorema (35) si las derivadas parciales de segundo orden son continuas entonces f sera dos veces
za
za
diferenciable. Aquellas funciones con derivadas parciales de segundo orden continuas son llamadas funciones
de clase C 2 . De la misma manera se definen las funciones de clase C 3 , C 4 y as cuanto queramos.
an
Teorema. 46. (Teorema de Schwartz) Sea f : U R dos veces diferenciable en x U . Entonces
2f
xi xj
(x) =
2f
xj xi
x.
an
av
av
c
Resulta obvio que si f es de clase C k (k 1), se cumplira el Teorema de Schwartz y podemos calcular
i-f
las derivadas parciales de un determinado orden sin importar respecto a cual de las variables empezamos a
derivar.
lo
Ejercicio. 85. Calcule las segundas derivadas parciales de f (x, y) = senxsen2 y

un
lcu
2.10. Teorema de Taylor. Aproximaciones

Para una funcion f : U R diferenciable en x U , las expresiones (145) y (146) dadas en la Definicion 25
o-
nos dicen que podemos aproximar el valor f (x + h) como f (x) + v h, donde ahora ya sabemos que v = f (x).

ca
Ejercicio. 86. Calcule el valor aproximado de 81,5 144,5.

d
Las expresiones (145) y (146) dadas en la Definicion 25 tienen tanta importancia que se establecen en el
za
za
siguiente teorema.
an
an
43
av
av
-fc
c
d
z
an
za
Teorema. 47. (Formula de Taylor de primer orden). Para f : U R diferenciable en x U podemos
an
av
escribir
m
X f
f (x + h) = f (x) + (x)hi + R(h). (175)
c
xi
av
i=1
i-f
o
cumpliendo
R(h)
lm = 0. (176)
h0 ||h||
un
lo
Resulta claro que este teorema es solamente la repeticion de la Definicion 25 pero ahora usando el Teorema
33. El decir que es de primer orden hace alusion al exponente de ||h|| en el lmite de (176). Entonces decimos
m
lcu
f
- X
que el valor f (x) + (x)hi es una aproximacion de orden uno al valor de f (x + h).
x
do
i=1 i
Ejemplo.
48. El valor hallado en el Ejercicio 86 es una aproximacion de primer orden al valor de
ca
81,5 144,5.
do
za
El siguiente teorema nace del intento de hacer una aproximacion mas precisa al valor f (x + h). A diferencia
del teorema anterior, su demostracion no es tan obvia.
an
za
Teorema. 48. (Formula de Taylor de segundo orden). Para f : U R dos veces diferenciable en x U
podemos escribir
m m
1 X 2f
an
f
av
X
f (x + h) = f (x) + (x)hi + (x)hi hj + R(h). (177)
i=1
xi 2 i,j=1 xi xj
c
cumpliendo
av
i-f
R(h)
o
lm = 0. (178)
h0 ||h||2

un
Ejercicio. 87. Haga la aproximacion de segundo orden al valor de 81,5 144,5.
lo
Ejercicio. 88. Escriba la formula de Taylor de segundo orden para f (x, y) = ex cosy alrededor del punto x = 0.
lcu
Notar que el tercer sumando al lado derecho de la igualdad en la expresion (177) es un polinomio cuadratico
-
de las variables h1 , h2 , hm . Como tal, puede ser representado en la forma ht Hh, donde H = H(x) es la ma-
do
2f
triz cuadrada m m cuya entrada i, j es (x)(x) y estamos considerando a h como una matriz columna.
xi xj
ca
Esta matriz recibe el nombre de matriz Hessiana. Por el Teorema de Schwartz, la matriz Hessiana es simetrica.
do
za
Finalmente se tiene
an
Teorema. 49. (Formula de Taylor de tercer orden). Para f : U R tres veces diferenciable en x U
podemos escribir za
an
m m m
av
X f 1 X 2f 1 X 3f
f (x + h) = f (x) + (x)hi + (x)hi hj + (x)(x)hi hj hk + R(h). (179)
i=1
xi 2 i,j=1 xi xj 3! xi xj xk
i,j,k=1
-fc
av
cumpliendo
o
R(h)
lm = 0. (180)
||h||3
i
h0
un
lo
lcu
-
do
ca
do
za
44
an
za
an
av
fc
z
z
an
an
av
av
c
2.11. Optimizacion de funciones reales de varias variables.
i-f
Empezamos con una definicion.
lo
Definicion. 31. Sea f : U R (no necesariamente diferenciable).
un
i) Decimos que x0 U es un maximo local cuando existe r > 0 tal que f (x) f (x0 ) siempre que x
lcu
Br (x0 ).
o-
ii) Decimos que x0 U es un mnimo local cuando existe r > 0 tal que f (x) f (x0 ) siempre que x Br (x0 ).
iii) Decimos que x0 U es un maximo absoluto cuando f (x) f (x0 ) para todo x U .
ca
d
iv) Decimos que x0 U es un mnimo absoluto cuando f (x) f (x0 ) para todo x U .
za
za
Un punto x0 cumpliendo alguna de las condiciones mencionadas arriba es un extremo relativo o absoluto,
dependiendo del caso respectivo.
an
an
Ejercicio. 89. Halle un mnimo absoluto de f (x, y) = x2 4xy + 4y 2 .
Evidentemente todo maximo absoluto es un maximo local, pero no todo maximo local es un maximo
absoluto; lo mismo para mnimos. Los ejemplos de estos casos abundan y se han visto para funciones de una
av
av
sola variable en otro curso.
c
Observacion. 21. Al negar la definicion de extremo relativo podemos decir que un punto x0 U no
i-f
es un extremo realtivo de f cuando para cualquier r > 0 existen xr , yr en Br (x0 ) tales que
f (xr ) < f (x0 ) < f (yr )
lo
un
Ejercicio. 90. Pruebe que (0, 0) no es un extremo relativo de f (x, y) = x2 y 2 .

lcu
Cuando se trabajaba con funciones reales de una sola variable se saba que la derivada de una funcion
diferenciable en un punto extremo relativo tena que ser nula. El siguiente teorema muestra que esa propiedad
o-
se cumple todava en funciones de varias variables, antes de formularlo necesitamos de una definicion previa:
ca
Definicion. 32. Sea f : U R diferenciable y x U , decimos que x es un punto crtico de f si f no es
d
diferenciable en x o si cuando lo es, se tiene que f (x) = 0. Se dice que un punto crtico x es no degenerado
cuando detH(x) 6= 0.
za
za
Teorema. 50. Si f : U R es diferenciable y tiene un extremo relativo en un punto x U entonces x es un
punto crtico.
an
El teorema anterior nos dice que si queremos buscar los extremos relativos de una funcion diferenciable
definida en un abierto entonces hay que buscarlo entre el conjunto de los puntos crticos de dicha funcion. an
Ejemplo. 49. Los puntos crticos de la funcion f (x, y) = x4 + y 4 2x2 y 2 + y 2 x2 2xy + 1 son (0, 0), (1, 1) y
av
av
c
(1, 1). El (0, 0) no

res run
extremo
r relativo de f por
rquer toda bola abierta
r Brr(0,
0) centrada en (0, 0) contiene
r
puntos de la forma , y , y ademas f , < f (0, 0) < ,
i-f
2 2 2 2 2 2 2 2
El teorema anterior da las condiciones necesarias para que un punto determinado sea un extremo relativo,
lo
pero como casi siempre sucede en Matematicas, esta no es una condicion suficiente. Como se ve en el ejemplo
un
49, el (0, 0) es un punto crtico pero no es un extremo relativo. Esto motiva la siguiente definicion.
lcu
Definicion. 33. Sea f : U R2 R diferenciable en el punto x U , decimos que x es un punto de

ensilladura de f si es un punto crtico que no es un extremo relativo.
o-
El ejemplo 49 muestra que necesitamos un criterio mas exhaustivo para determinar si un punto crtico es
ca
un extremo relativo o no. Esto es lo que nos dice el siguiente teorema.

d
Teorema. 51. (Criterio de la Segunda derivada-caso R2 ). Sean f : U R de clase C 2 y x U un

za
za
punto crtico de f . Se cumple que:

an
an
45
av
av
-fc
z
z
an
an
i) Si detH(x) > 0 entonces
av
av
c
2f
. Si (x) > 0 entonces x es un mnimo relativo.
x2
i-f
2f
. Si (x) < 0 entonces x es un maximo relativo.
x2
lo
un
ii) Si detH(x) < 0 entonces x es un punto de ensilladura.
lcu
Intepretamos el criterio de la segunda derivada de la siguiente manera:
i) Si detH(x) > 0 es positivo, entonces la superficie se curva de la misma forma en todas las direcciones:
o-
2f
ca
. Hacia arriba si (x) > 0, lo que da lugar a un mnimo relativo.
x2
d
2f
. Hacia abajo si (x) < 0, lo que da lugar a un maximo relativo;
za
za
x2
ii) Si detH(x) < 0 es negativo, entonces la superficie se curva hacia arriba en algunas direcciones y hacia
abajo en otras, de modo que tenemos un punto de silla en x.
an
an
Ejercicio. 91. Calcule los extremos relativos de la funcion del ejemplo 49.
Naturalmente, se puede generalizar el teorema 51 al caso R3 , primero convenimos en denotar por H1 (x), H2 (x)
av
av
y H3 (x) las submatrices superiores izquierdas de H(x) de ordenes 1, 2 y 3 respectivamente
c
Teorema. 52. (Criterio de la segunda derivada-caso R3 ). Sean f : U R3 R una funcion de clase
i-f
C 2 y x U un punto crtico de f , se cumple:
lo
i) Si detH1 (x) > 0, detH2 (x) > 0 y detH3 (x) > 0 entonces x es un mnimo relativo de f .
un
ii) Si detH1 (x) < 0, detH2 (x) > 0 y detH3 (x) < 0 entonces x es un maximo relativo de f .
iii) Si detH1 (x) 6= 0, detH2 (x) =
lcu
6 0 y detH3 (x) 6= 0 y no se cumplen los dos casos anteriores entonces x es
un punto de ensilladura de f .
o-
En cualquier otro caso, el criterio no se puede asegurar nada.

ca
Ejercicio. 92. Encuentre y clasifique los puntos crticos de f (x, y, z) = x2 + y 2 + 7z 2 xy 3yz.
d
Los Teoremas 51 y 52 son en realidad un caso particular del siguiente teorema que enunciaremos, pero
za
za
antes de ello necesitamos una definicion previa.
Definicion. 34. Para una matriz cuadrada A = (aij )mm y un vector h = (h1 , , hm ) cualquiera convenimos
an
en escribir
A h2 = h1 h2 hn

a11 a12 a1m
a21

h
a2 a2m

.
.
1
h2
=
X m
aij hi hj .
an(181)
av
av

.

i,j=1
c
am1 am2 amm hn

i-f
Notar que en la definicion anterior A h2 es un numero real.

lo
Definicion. 35. Decimos que una matriz cuadrada simetrica A de orden m es

un
a) Definida positiva si A h2 > 0 para todo h 6= 0 Rm .

lcu
b) Definida negativa si A h2 < 0 para todo h 6= 0 Rm .

o-
c) Indefinida cuando existen vectores h1 y h2 en Rm tales que A h21 < 0 y A h22 > 0.

ca
2 1 1
Ejemplo. 50. Para h = (h1 , h2 , h3 ) R3 y A = 1 2 1 se tiene que Ah2 = h21 +h22 +(h1 +h2 +h3 )2 > 0
d
1 1 1
za
za
siempre que h 6= 0.. Luego A es definida positiva.

an
an
46
av
av
-fc
z
z
an
an
Ejemplo. 51. Las matrices
av
av
c

2 0 0 2 0 0 1 0 0
0 1 0 , 0 3 0 , 0 2 0 (182)
i-f
0 0 3 0 0 4 0 0 5
lo
son definida positiva, definida negativa e indefinida respectivamente.
un
Desde un primer curso de calculo de funciones de una sola variable, se sabe si la segunda derivada
lcu
de una funcion (de una sola variable) evaluada en algun punto crtico es negativa el punto corresponde a un
maximo y si dicha segunda derivada es positiva, entonces el punto corresponde a un mnimo. La generalizacion
o-
de este teorema y que tambien generaliza los Teoremas 51 y 52 es:
ca
Teorema. 53. Sean f : U R de clase C 2 y x U un punto crtico de f entonces
d
i) Si H(x) es definida positiva entonces x es un punto de mnimo local no degenerado.
za
za
ii) Si H(x) es definida negativa entonces x es un punto de maximo local no degenerado.
ii) Si H(x) es indefinida entonces x no es un punto de mnimo local ni de maximo local para f .
an
an
A simple vista no se ve que el teorema anterior generalice a los casos particulares en R2 y R3 establecidos en
los Teoremas 51 y 52. Sin embargo, el siguiente Teorema que es un resultado de Algebra lineal nos da una
idea del porque las condiciones en dicho teoremas son en realidad las mismas que las del Teorema 53. Antes
av
av
de enunciarlo recordemos tambien que los autovalores de una matriz cuadrada simetrica son todos numeros
c
reales.
i-f
Teorema. 54. (Valores Propios) Una matriz cuadrada simetrica es definida positiva si y solo si todos
sus autovalores son positivos, es definida negativa cuando todos sus autovalores son negativos y es indefinida
lo
cuando tiene algun autovalor positivo y algun autovalor negativo.
un
2.12. Optimizacion de funciones reales-Caso restringido. lcu

o-
Hemos hallado anteriormente una manera de hallar los maximos y mnimos de funciones reales de varias
variables definidas en conjuntos abiertos. Esta manera es buscar entre los puntos crticos de la funcion en
ca
cuestion. Sin embargo, en muchos problemas (de la vida real), no todos los problemas a optimizar son tratables
d
sobre conjuntos abiertos. Antes de formular algunos ejemplos necesitamos una definicion previa.
za
za
Definicion. 36. Sea f : U R (no necesariamente diferenciable) y sea M U . Denotamos por f|M : M
U R la restricccion de f al conjunto M .
i) Decimos que x0 M es un maximo local de f|M cuando existe r > 0 tal que f (x) f (x0 ) siempre que
an
x Br (x0 ) M .
an
ii) Decimos que x0 M es un mnimo local de f|M cuando existe r > 0 tal que f (x) f (x0 ) siempre que
x Br (x0 ) M .
av
av
c
iii) Decimos que x0 M es un maximo absoluto de f|M cuando f (x) f (x0 ) para todo x M .
i-f
iv) Decimos que x0 M es un mnimo absoluto de f|M cuando f (x) f (x0 ) para todo x M .
lo
Un punto x0 cumpliendo alguna de las condiciones mencionadas arriba es un extremo relativo o absoluto de
un
f|M , dependiendo del caso respectivo.

lcu
Ejemplo. 52. Sea f : R2 R2 con regla de correspondencia dada por f (x, y) = y y sea
o-
M = (x, y) R2 : x2 + y 2 = 1 .

ca
Empezar a probar con los puntos crticos de f para hallar los extremos relativos de f restringida a M no tiene
d
sentido puesto que f (x, y) = (0, 1) 6= 0 (x, y) R2 . Sin embargo, una vista geometrica del problema nos dice
que los puntos (0, 1) y (0, 1) son los puntos maximo y mnimo de la funcion f respectivamente, restringida
za
za
a (la superficie de nivel) M .

an
an
47
av
av
-fc
c
d
z
an
za
Como se dijo en clase sobre el Teorema de la Funcion Implcita, no siempre podremos echar un vistazo
an
av
a la geometra del problema para intentar hallar una solucion. Es momento entonces de formular un metodo
analtico que sirva para resolver el problema anterior.
c
Teorema. 55. (Multiplicador de Lagrange.) Sean f : U Rm R una funcion de clase C k , (k 1) y
av
i-f
o
M = {x Rm : (x) = 0} ,
una superficie de nivel contenida en U definida por la funcion de clase C k . Si x0 M es un extremo relativo
un
de f|M y (x0 ) 6= 0, entonces existe un numero real tal que
lo
f (x0 ) = (x0 ). (183)
lcu
-
Definicion. 37 (Lagrangiano y Multiplicador de Lagrange.). Al numero real del teorema anterior se
do
le denomina multiplicador de Lagrange. Por otro lado, la funcion L(x, ) = f (x) (x) recibe el nombre de
Lagrangiano.
ca
El teorema anterior nos dice que los extremos relativos de f|M deben ser buscados entre los puntos crticos
do
za
del lagrangiano. Ya se sabe por el Teorema de Wierstrass que cuando M es un conjunto compacto entonces f
de hecho admite un maximo absoluto y un mnimo absoluto, por lo tanto, si encontramos al resolver la ecuacion
183 dos puntos solucion, entonces uno de ellos sera evidentemente el maximo y el otro sera el mnimo.
an
za
Ejercicio. 93. Resuelva el ejemplo del problema (52) ahora usando multiplicadores de Lagrange.
Cuando no estemos ante una situacion similar a la descrita anteriormente y queramos determinar a que tipo
an
av
de valor extremo corresponde el punto crtico hallado, entonces aplicamos el teorema que enunciamos despues
de la siguiente definicion:
c
av
Definicion. 38 (Hessiano Orlado.). La matriz Hessiana del lagrangiano tiene la forma
i-f
o

0
x y
un
2L 2L
lo (184)

x x2 xy

2L 2
L
lcu
y xy 2y
-
do
El determinante de esta ultima matriz es llamado hesssiano orlado y es deonotado por (x, y, ).
Teorema. 56 (Criterio de la Segunda Derivada.). Sea (0 , x0 , y0 ) un punto crtico del Lagrangiano
ca
asociado al problema de optimizar f : U R2 R restringido a (x, y) = 0, luego:
do
za
1) Si (0 , x0 , y0 ) > 0, entonces (x0 , y0 ) es un maximo relativo de f sujeto a la restriccion = 0.

2) Si (0 , x0 , y0 ) < 0, entonces (x0 , y0 ) es un mnimo relativo de f sujeto a la restriccion = 0.
an
Ejercicio. 94. Maximizar

f (x, y) = ln(x) + ln(y) sujeto a px x + py y = M
za (185)
an
av
con 0 < < 1, 0 < < 1, px , py , M constantes positivas.

-fc
El Teorema 55 se puede generalizar tambien para un numero mayor de restricciones, es decir cuando el
av
conjunto M esta definido por:

o
1 (x) = 0, 2 (x) = 0, k (x) = 0 (186)

i
un
Entonces si f|M tiene un maximo o un mnimo en x0 se cumplira

lo
f (x) = 1 1 (x) + + k k (x) (187)

lcu
-
Ejercicio. 95. Hallar los puntos extremos de f (x, y, z) = x + y + z sujeto a las condiciones
do
x2 + y 2 = 2
(188)
x+z =1
ca
do
za
48
an
za
an
av
fc
z
z
an
an
av
av
c
3. Funciones Vectoriales de Variable Vectorial
i-f
En este captulo estudiaremos la generalizacion de los conceptos vistos hasta ahora para funciones cuyo
lo
conjunto de llegada es un subconjunto del espacio Rn .
un
lcu
3.1. Definiciones Basicas.
Definicion. 39. Sea A Rm . Una funcion f : A Rn es llamada funcion vectorial de variable vectorial, o
o-
simplemente funcion vectorial.
ca
Ejemplo. 53. Algunos casos particulares:
d
. Cuando m = n = 1, f recibe el nombre de funcion real de variable real y es el tipo de funciones que se
za
za
ha visto en detalle durante el curso de Calculo Diferencial del primer ciclo.
. Cuando m = 1, f recibe el nombre de camino, y es el tipo de funciones tratadas en el primer captulo

an
an
de este curso.
. Cuando n = 1, f recibe el nombre de funcion real de variable vectorial. Acabamos de tratar con funciones
de este tipo en el captulo anterior.
av
av
c
Definicion. 40. Con los mismos terminos de la definicion anterior, para cada x A, f (x) Rn , luego,
podemos escribir f (x) = (f1 (x), f( x), , fn (x)), o simplemente f = (f1 , f2 , , fn ) donde cada fi , i =
i-f
1, 2, n es una funcion real de variable vectorial y es llamado i-esima componente de f.
lo
Ejemplo. 54. Una funcion vectorial T : Rm Rn que cumple la condicion T (x + y) = T (x) + T (y)
un
para cuaquier par de puntos x, y en Rm y todos los numeros reales y se denomina transformacion lineal.
Por convencion denotamos T x = T (x) para toda transformacion lineal T .
lcu
Ejercicio. 96. Pruebe que la funcion vectorial T : R4 R2 dada por la regla de correspondencia
o-
T (u, v, w, x, y) = (u v + w, x y) es una transformacion lineal.

ca
Ejemplo. 55. Una funcion vectorial S : Rm Rn recibe el nombre de Transformacion Afn si existe una
d
transformacion lineal T : Rm Rn y b Rn tal que S(x) = T x + b para todo x Rm . Tal como en el caso
de una transformacion lineal denotamos Sx = S(x).
za
za
Ejercicio. 97. Pruebe que la funcion vectorial S : R4 R2 dada por la regla de correspondencia
T (u, v, w, x, y) = (1 + u 2v + w, 3 x y w) es una transformacion afn..
an
an
Ejercicio. 98. Pruebe que S : Rm Rn es una transformacion afn si y solo si la funcion vectorial T : Rm
Rn definida por T (x) = Sx S0 es una transformacion lineal.
av
av
3.2. Transformaciones en el plano y en el espacio.
c
De ahora en adelante el termino transformacion sera reservado para referirnos a funciones vectoriales
i-f
f : A Rm Rn donde m = n.
lo
Definicion. 41. (Coordenadas Polares.) La funcion : [0, [[0, 2[ R2 con regla de correspondencia
un
(x, y) = (r, ) = (rcos, rsen) (189)

lcu
se denomina transformacion a coordenadas polares. Los numeros r, se denominan coordenadas polares del
o-
punto (x, y). El valor recibe el nombre de argumento.

ca
d
za
za
an
an
49
av
av
-fc
z
z
an
an
Y
av
av
c
i-f
(x, y)
lo
r
un
lcu

o-
X
ca
d
p
Ejercicio. 99. Pruebe que si r y son las coordenadas polares del punto (x, y) entonces r = x2 + y 2 .
y
Ademas pruebe que tan = cuando x 6= 0.
za
za
x
Ejercicio. 100. Encuentre las coordenadas polares de los puntos (3, 4), (2, 2) y (2, 2).
an
an
Para ver como es que la transformacion a coordenadas polares lleva el conjunto [0, [[0, 2[ a todo el
plano R2 , notemos que para cada r0 0 fijado, la linea vertical Xr0 = {(r0 , ) : [0, 2[} es llevada por
dicha transformacion al conjunto (Xr0 ) = {(r0 cos, r0 sen) : [0, 2[}, osea la circunferencia de radio r0 y
centro en el orgen, tal como se muestra en la figura.
av
av
c
Y
i-f
lo

un
Xr0
lcu
o-
2 r0
r0 X
ca
(Xr0 )
d
za
za
r0 r
an
En pocas palabras, cada lnea vertical es estirada por y enrollada en una circunferencia. Mientras mas
a la derecha sea tomada la lnea vertical Xr0 en el plano r, mas grande sera la circunferencia en la que
sera transformada en el plano XY .
an
av
av
c
Ejemplo. 56. Sea 0 [0, 2[, la semirecta horizontal Y0 ={(r, 0 ) : r 0} es llevada por a una semirecta
i-f
3
con extremo en el orgen, la cual es vertical si 0 , , y es oblicua de pendiente tan0 en otro caso.
2 2
lo
Ejercicio. 101. Halle la imagen del rectangulo [0, 1] [0, 2[ a traves de .

un
Ejercicio. 102. Halle la imagen del rectangulo [1, 4] [0, 2[ a traves de .

lcu
Ejercicio. 103. Considere la transformacion T : R2 R2 con regla de correspondencia T (r, ) =

o-
(rcos,
rsen). Mostrar que T no es uno a uno. Asimismo halle un conjunto R tal que T (R) = D, donde
D = (x, y) R2 : 4 x2 + y 2 25, y + x 0
ca
d
Ejercicio.
104. Halle una funcion T : R2 R2 que lleve el rectangulo [2, 4] [5, 7] al conjunto A =
(x, y) R : 4 x2 + y 2 16, y 0 .
2
za
za
an
an
50
av
av
-fc
z
z
an
an
Definicion. 42. (Coordenadas Cilndricas.) La funcion : [0, [[0, 2[R R3 con regla de corres-
av
av
pondencia
c
(x, y, z) = (r, , z) = (rcos, rsen, z) (190)
i-f
se denomina transformacion a coordenadas cilndricas. Los numeros r, , z se denominan coordenadas cilndri-
cas del punto (x, y, z).
lo
un
El analisis para ver como es que la funcion transforma [0, [[0, 2[R en todo el espacio R3 es similar
al caso de las coordenadas polares. Sea r0 0 y sea la banda vertical Xr0 = {(r0 , , z) : [0, 2[, z R},
lcu
entonces (Xr0 ) = {(r0 cos, r0 sen, z) : [0, 2[, z R}, el cual es el cilindro x2 + y 2 = r02 . Graficar!.
o-
Ejercicio. 105. Dar un esbozo en el espacio XY Z del solido cuyas coordenadas cilndricas estan determinadas

por 0 r 2, 0, 0 z 1.
2
ca
d
Definicion. 43. (Coordenadas Esfericas.) La funcion : [0, [[0, 2[[0, ] R3 con regla de corres-
pondencia
za
za
(x, y, z) = (, , ) = (sencos, sensen, cos) (191)
se denomina transformacion a coordenadas esfericas. Los numeros , , se denominan coordenadas esfericas
an
an
del punto (x, y, z).
Sea 0 0, y el cuadrado X0 = {(0 , , ) : [0, 2[, [0, ]}, entonces (X0 ) es la esfera
av
av
{(0 sen, cos, cos) : [0, 2[, [0, ]} ,
c
cuyo radio es igual a 0 . Graficar!
i-f
Ejercicio. 106. Dar un esbozo en el espacio XY Z del solido cuyas coordenadas esfericas estan determinadas

lo
por 0 2, 0 , 0 .
2 2
un
Ahora veremos como algunas regiones del plano y del espacio son transformadas por medio de ciertas
transformaciones lineales. empezamos enunciando un teorema simple: lcu
o-
Teorema. 57. Sea f : Rn Rn una transformacion lineal. La imagen f (L) de una recta L Rn es una
recta en Rn o un punto.
ca
Ejercicio. 107. Halle el valor de a para que la imagen de la recta de ecuacion y = ax + 1 a traves de la
d
funcion f : R2 R2 con regla de correspondencia f (x, y) = (2x + y, x y) sea una recta vertical.
za
za
Nos gustara decir que toda toda transformacion lineal (al menos de R2 en R2 o de R3 en R3 ) lleva planos
en planos, sin embargo esto no es cierto en general. El siguiente ejemplo lo demuestra.
an
Encuentre algun plano cuya imagen a traves de f no sea un plano.

Para ver condiciones bajo las cuales una transformacion lineal lleve planos en planos o cubos en cubos,
an
Ejercicio. 108. Sea f : R3 R3 con regla de correspondencia f (x, y) = (2x + y + z, 4x + 2y + 2z, x y z).
av
av
primero hacemos la siguiente definicion:
c
Definicion. 44. (Isomorfismo). Una transformacion lineal f : Rn Rn biyectiva se denomina isomorfis-

i-f
mo.
lo
Teorema. 58. Sea f : Rn Rn una transformacion lineal y T su matriz de representacion en la base

un
canonica. Las siguientes afirmaciones son equivalentes:

lcu
a) f es un isomorfismo.
o-
b) f tiene determinante no nulo.

c) La matriz de representacion de f en cualquier base de Rn tiene determinante no nulo.
ca
d
d) Las columnas de la matriz T son vectores linealmente independientes en Rn .

za
za
e) Las filas de la matriz T son vectores linealmente independientes en Rn .

an
an
51
av
av
-fc
c
d
z
an
za
f ) f lleva conjuntos L.I en conjuntos L.I.
an
av
Por otro lado, verificar que una transformacion lineal es un isomorfismo en el caso n = 2 y n = 3 es una
tarea sencilla.
av

x+y xy
i-f
2 2
Ejercicio. 109. Pruebe que la transformacion lineal f : R R dada por f (x, y) = , es un
o
2 2
isomorfismo.
un R3 R3 dada por f (x, y, z)
lo
Ejercicio. 110. Verifique si la transformacion lineal f : =
(x + y z, 2x y z, x + z) es o no un isomorfismo.
lcu
Definicion. 45. (Paraleleppedo.) Sean u1 , u2 , , un vectores linealmente independientes en Rn . Se define
-
el paraleleppedo con aristas u1 , u2 , , un y origen en el punto p0 como el conjunto
do
P = {p0 + t1 u1 + t2 u2 + tn un : 0 ti 1 i = 1, 2, , n} (192)
ca
do
za
Los puntos en los que los coeficientes ti son 1 o 0 son llamados vertices del paraleleppedo P.
Recordemos que dos vectores cualesquiera u y v en Rn , son linealmente independientes si y solo si ninguno
an
de los vectores es multiplo del otro.
za
Aunque se ha dado la definicion en general para cualquier valor de n. Aqu solo se abordara el estudio
an
av
para los casos n = 2 y n = 3. As por ejemplo en el caso particular en el que n = 2 un paraleleppedo es un

paralelogramo.
c
Ejercicio. 111. Grafique el paralelogramo de aristas (1, 2) y (1, 0) con orgen (2, 2).
av
i-f
o
El siguiente teorema proporciona justamente la condicion necesitada para que una transformacion lineal
lleve paraleleppedos en paraleleppedos.
un
Teorema. 59. Si f : Rn Rn es un isomorfismo y P es un paraleleppedo entonces

a) f (P) es un paraleleppedo.
lo
lcu
-
b) Los vertices de f (P) son las imagenes de los vertices de P.

do
Ejercicio. 112. Sea P R2 el cuadrado de centro en el orgen de lado 2 y con aristas paralelos a los ejes
coordenados. Halle la imagen f (P), donde f es la funcion definida en el ejercicio 109.
ca
do
za
Ejercicio. 113. Sea f definida en el ejercicio 109 y D el cuadrado cuyos vertices son (1, 0), (0, 1), (1, 0) y
(0, 1). Hallar un conjunto D0 tal que f (D0 ) = D.
an
2
1
y = x y y = x + 4. Hallar f : R2 R2 tal que f (D1 ) = D.
2
za
Ejercicio. 114. Sea D = [0, 1] [0, 1] R2 y D1 el paralelogramo acotado por las rectas y = 3x 4, y = 3x,
1
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
52
an
za
an
av
fc
z
z
an
an
av
av
c
3.3. Lmites y Continuidad
i-f
Definicion. 46. Dado A Rm , decimos que x0 Rm es un punto de acumulacion de A si para cada > 0
se tiene (B (x0 ) {x0 }) A 6= .
lo
un
Recordar que B (x0 ) es la bola abierta de radio y centro en x0 , deinida como
lcu
B (x0 ) = {x Rm : ||x x0 || < } (193)
o-
Notar que en la definicion de punto de acumulacion no necesitamos que x0 pertenezca al conjunto A. Despues
de todo, lo que se quiere es tener puntos de A cercanos a x0 pero diferentes a este. Por lo tanto x0 podra ser
ca
un punto de acumulacion de A incluso si x0 no pertenece al conjunto A.
d
Definicion. 47. (Lmite). Sean f : A Rm Rn una funcion vectorial, x0 Rm un punto de acumulacion
za
za
de A y L Rn . Decimos que f (x) tiende a L conforme x tiende a x0 , lo cual denotamos por lm f (x) = L,
xx0
cuando
an
an
> 0, > 0 : x A 0 < kx x0 k < kf (x) Lk < (194)
Teorema. 60. (Unicidad del Lmite). Sean A Rm y x0 Rm un punto de acumulacion de A, si

lm f (x) = L1 y lm f (x) = L2 entonces L1 = L2 .
xx0 xx0
av
av
c
Teorema. 61. (Algebra de lmites) Sean A Rm , x0 Rm un punto de acumulacion de A, f, g : A Rn
i-f
y c R, entonces se cumple lo siguiente.

a) Si lm f (x) = L entonces lm cf (x) = L.
lo
xx0 xx0
un
b) Si lm f (x) = L y lm f (x) = M entonces lm f (x) + g(x) = L + M.

xx0 xx0 xx0
c) Si n = 1, lm f (x) = L y lm f (x) = M entonces lm f (x)g(x) = LM.

xx0 xx0 xx0
lcu
o-
d) Si n = 1, lm f (x) = L 6= 0 y f (x) 6= 0 para todo x A entonces lm 1/f (x) = 1/L.

xx0 xx0
ca
d
e) Si f (x) = (f1 (x), , fn (x)) donde fi : A R, i = 1, , n son las funciones componentes de f

entonces lm f (x) = L = (L1 , , Ln ) si y solo si lm fi (x) = Li para cada i = 1, , n.
za
za
xx0 xx0
2 2
Ejercicio. 115. Dada f : R R con regla de correspondencia
an
f (x, y) =

xsen

1

, 2
x3 y
|x| + |y| x + y 2

si (x, y) 6= 0
an
av
av
(0, 0) si (x, y) = 0

c
Calcule lm f (x, y).

i-f
(x,y)(0,0)
Ejercicio. 116. Sean A Rm , x0 Rm un punto de acumulacion de A y f : A Rn tal que lm f (x) 6= 0.

lo
xx0
Pruebe que existe > 0 tal que x A 0 < ||x x0 || < f (x) 6= 0.
un
lcu
Una nocion mas restrictiva que la existencia del lmite es la de continuidad, que definimos a continuacion.
Definicion. 48 (Continuidad. ). Sea f : A Rm Rn y x0 A decimos que f es continua en x0 si para
o-
cada numero positivo se puede encontrar > 0 tal que

ca
x A ||x x0 || < ||f (x) f (x0 )|| < .

d
Cuando f es continua en cada punto de su dominio decimos simplemente que f es continua.

za
za
an
an
53
av
av
-fc
c
d
z
an
za
Notar la diferencia entre la definicion de lmite y la definicion de continuidad.Mientras para la primera se
an
av
exige que x0 sea un punto de acumulacion del domino A,en la segunda se exige que x0 pertenezca a A.
El siguiente teorema nos da las herramientas necesarias para analizar la continuidad de una funcion en un
c
punto dado,.
av
i-f
Teorema. 62. Sea A Rm y f : A Rn . Vale lo siguiente:
o
a) Si x0 A no es un punto de acumulacion de A entonces f es continua en x0 .
un
lo
b) Si x0 A es un punto de acumulacion de A entonces f es continua en x0 si y solo si lm f (x) = f (x0 ).
xx0
lm f (x) = f (x0 ).
lcu
- x0
do
Ejercicio. 117. Use el teorema anterior para probar que la funcion del Ejemplo 115 es continua en el origen.
Teorema. 63. Sean f : A Rm Rn y g : B Rn Rp tales que f (A) B. Si f y g son continuas en
ca
do
x0 A y en y0 = f (x0 ) respectivamente entonces g f es continua en x0 .
za
Se cumple un analogo del Teorema 61 para funciones continuas:

an
za
Teorema. 64. (Algebra de funciones continuas) Sean A Rm , x0 A, f, g : A Rn continuas en x0
y c R, entonces se cumple lo siguiente.
a) cf es continua en x0
an
av
b) f + g es continua en x0
c
av
c) La funcion producto interno f g es continua en x0 .
i-f
o
1
d) Si f (x0 ) 6= 0 entonces la funcion es continua en x0 .
f
un
lo
e) Si f (x) = (f1 (x), , fn (x)) donde fi : A R, i = 1, , n son las funciones componentes de f
entonces f es continua en x0 si y solo si cada fi lo es, para i = 1, , n.
lcu
-
Consecuencias de los dos teoremas anteriores son los siguientes ejemplos:

do
Ejemplo. 57. Cualquier polinomio en varias variables es una funcion continua en todo el espacio.
Ejemplo. 58. La funcion f : R2 R con regla de correspondencia f (x) = ||x|| es continua.
ca
do
za
Ejemplo. 59. La funcion f : R2 {(0, 0)} con regla de correspondencia f (x, y) = ln(x2 + y 2 ) es continua.
Ejemplo. 60. La funcion del Ejemplo 115 es continua.

an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
54
an
za
an
av
fc
z
z
an
an
av
av
c
3.4. Diferenciabilidad.
i-f
Ahora veremos un concepto mas fuerte que el de continuidad y que generaliza los conceptos de diferencia-
bilidad dados para los tipo s de funciones vistos hasta el momento en el curso.
lo
un
Definicion. 49. Diferenciabilidad. Sea U Rm y f : U Rn . Decimos que f es diferenciable en x0 U
si y solo si exite una tansformacion lineal T : Rm Rn y una funcion : Rm Rn tal que podemos escribir
lcu
f (x + h) = f (x) + T h + (h) (195)
o-
donde
ca
||(h)||
lm = 0. (196)
d
h0 ||h||
za
za
La transformacion lineal T recibe el nombre de derivada de f en el punto x y se denota por f 0 (x). Cuando f
es diferenciable en cada punto de su dominio (U ), decimos simplemente que f es diferenciable (en U ) .
an
an
Ejemplo. 61. La derivada de una funcion constante es el vector nulo 0, puesto que podemos tomar T = 0 y
definir = 0 la funcion nula.
av
av
Observacion. 22. A considerar:
c
1. Cuando A Rmn es una matriz cuyas filas son A1 , A2 , , An , podemos definir una transformacion
i-f
lineal T de Rm en Rn cuya matriz de representacion en las bases canonicas sea precisamente A, tal
transformacion lineal tiene la regla de correspondencia T x = A[x], donde [x] es la matriz columna cuyas
lo
componentes son las componentes de x. As es valido abusar de la notacion y entender a una matriz
un
como una transformacion lineal o viceversa. Por eso, para cualquier vector h = (h1 , , hm ) Rm ,
podemos entender a T h convenientemente como vector o como matriz columna, es decir entenderemos
que
A1

h1

lcu
A1 h

o-
A2 h2 A2 h
Th = .. = , (197)

.. ..
ca
. . .
d
An hm An h
o que
za
za
T h = (A1 h, A2 h, , An h), (198)
sin que haya lugar a confusion.
an
an
2. Si T y son como en la ecuacion 195 y A es como en el tem anterior (la matriz de T en las bases can
onicas) entonces las ecuaciones 195 y 196 se pueden escribir como
av
av
fi (x + h) = fi (x) + Ai h + i (h) (199)
c
donde
i-f
i (h)
lm = 0. (200)
h0 ||h||
lo
Resultando as que f es diferenciable si y solo si cada fi : U R es diferenciable con la definicion

un
vista en el captulo anterior. Mas aun, la formula 199 demuestra que Ai = fi (x), luego, obtenemos la
lcu
forma explcita que debe tener la matriz [f 0 (x)] de representacion de la de derivada f 0 (x) en las bases
canonicas, esta es la matriz cuyas filas son los gradientes de las componentes respectivas de f :
o-
f1 f1 f1

f1 (x) (x) (x) (x)
ca
f2 (x) x1 x2 xm
. . .
d
0
[f (x)] =

.. = .. .. .. (201)
.

f f f
n n n
za
za
fn (x) (x) (x) (x)

x1 x2 xm
an
an
55
av
av
-fc
z
z
an
an
fi
Es decir [f 0 (x)] = [tij ]nm , donde tij = (x), para cada i = 1, , n, j = 1, , m.
av
av
xj
c
en particular, para cada h = (h1 , , hm ) Rm :
i-f

f1 (x) h1 f1 (x) h
f2 (x) h2 f2 (x) h
lo

f 0 (x)h = .. = (202)

.. ..
un
. . .
fn (x) hm fn (x) h
lcu
3. A la matriz de la expresion 207 se le denomina matriz jacobiana de f en el punto x y tambien se le
o-
denota como Jf (x). Cuando m = n, la matriz jacobiana es cuadrada a su determinante se le denomina
jacobiano de f en x.
ca
d
Con la observacion anterior es facil probar el siguiente teorema:
za
za
Teorema. 65. (Condicion equivalente a diferenciabilidad) Sea f = (f1 , f2 , , fn ) : U Rm Rn ,
tal que cada fi posee gradiente en x U . Sea T la matriz cuyas filas son los gradientes fi (x) en el orden
respectivo. Se cumple que f diferenciable en x U si y solo si
an
an
f (x + h) f (x) T h
lm = 0. (203)
h0 ||h||
av
av
Ejercicio. 118. Probar que la funcion f : R2 R2 con regla de correspondencia f (x, y) = (x3 + y, y 2 ) es
c
diferenciable.
i-f
Tal como en el caso de las funciones reales de variable vectorial, se definen las derivadas parciales de
f : U Rm Rn en el punto x U como
lo
un
f f (x + tej ) f (x)
(x) = lm para cada j = 1, , m (204)
xj t0 t
lcu
cuando tal lmite exista. Asimimismo, si v Rm {0} se define tambien la derivada direccional de f en la
o-
direccion v en el punto x como

f f (x + tv) f (x)
(x) = lm
ca
v t0 t
d
cuando tal lmite exista.

za
za
Si f = (f1 , f2 , , fn ), donde cada fi : U R, i = 1, , n es la componente respectiva de f entonces por
el tem e) del Teorema 61 se tiene que
an
f
xj
(x) =

f1
xj
(x),
f2
xj
(x), ,
fn
xj

m
(x) R ,
f
v
(x) =

f1
v
(x),
f2
v
(x), ,
fn
v

an
(x) Rm (205)
av
av
As, cuando f sea diferenciable (o equivalentemente, cada fi sea diferenciable) en x se tendra que:
c
f1

i-f
(x)
f1 (x) v1 f1 (x) v v
f2
f2 (x) v2 f2 (x) v (x)
lo
0 v
f (x)v = .. = = , (206)

.. .. .
un
. . .
..

fn (x) vm fn (x) v
fn

lcu
(x)
v
o-
f
luego, (x) = f 0 (x)v = Jf (x)v Adicionalmente, tambien se tendra que las derivadas parciales de f en x
v
ca
forman las columnas de la matriz jacobiana de f en x, es decir:

d

f f f
Jf (x) = (x) (x) (x) (207)
za
za
x1 x2 xm
an
an
56
av
av
-fc
c
d
z
an
za
Observacion. 23. Otra notacion para la matriz jacobiana de f = (f1 , , fn ) en x es
an
av
(f1 , , fn )
(x). (208)
(x1 , xm )
av
Ejemplo. 62. Si f : Rm Rn una transformacion lineal entonces f es diferenciable y su derivada en
i-f
o
cualquier punto es f . La matriz jacobiana de f en cualquier punto es la matriz de representacion de f en la

f
base canonica, osea la matriz cuyas columnas son los vectores f (e1 ), , f (em ). Ademas = f (ej ).
un xj
lo
Ejercicio. 119. Use el ejemplo anterior para probar que la funcion f : R3 R3 con regla de correspondencia
f (u, v, w) = (4u + 4v + 8w, 2u + 7v + 4w, u + 4v + 3w) es diferenciable y halle su matriz derivada en cada
lcu
-
punto de R2 .
do
Ejercicio. 120. Calcule la matriz jacobiana de la funcion f con regla de correspondencia f (x, y, z) = (xy 2
z 3 , ln(x2 + y 2 + z 2 + 1)).
ca
do
za
Como era de esperarse se cumple el siguiente teorema:

Teorema. 66. Si f : U Rm Rn es diferenciable en x U entonces f es continua en x.
an
za
Teorema. 67. (Condicion Suficiente para la diferenciabilidad) Si f : U Rm Rn admite derivadas
parciales en todos los puntos de U y estas son continuas en el punto x U entonces f es diferenciable en x.
an
av
Aquellas funciones cuyas derivadas parciales son continuas en todo su dominio son llamadas funciones de
clase C 1 .
c
av
Tal como en el caso de funciones reales de variable vectorial se cumple:
i-f
o
Teorema. 68. (Algebra de derivadas) Sean f, g : U Rm Rn diferenciables en x U . Se cumple

1. f + g es diferenciable en x y (f + g)0 (x) = f 0 (x) + g 0 (x).
un
lo 0
2. Si m = n entonces el producto interno f g es diferenciable en x y hf, gi (x) = hf, gi (x) = g(x)f 0 (x) +
f (x)g 0 (x).
lcu
-
3. Si : U R es diferenciable en x entonces f es diferenciable en x y (f )0 (x) = f (x)T (x) +

do
(x)f 0 (x).
4. Si c R entonces cf es diferenciable en x y (cf )0 (x) = cf 0 (x).
ca
do
za
Ahora que ya estamos en el caso mas general de funciones vectoriales, la formulacion de la derivada de una
composicion de funciones (regla de la cadena) toma una forma mas concreta:
an
Teorema. 69. (Regla de la cadena.) Sean U Rm y V Rn conjuntos abiertos. Sean f : U Rn ,

za
g : V Rp funciones tales que f (U ) V . Si f es diferenciable en x y g es diferenciable en y = f (x) entonces
g f : U Rp es diferenciable en x y
an
av
(g f )0 (x) = g 0 (f (x))f 0 (x). (209)

-fc
Recordar que si A = [aij ]pn Rpn y B = [bij ]nm Rnm entonces la matriz producto C = AB =
av
n
o
X
[cij ]pm sec define como cij = aik bkj .
i
k=1
un
Ejercicio. 121. Use la definicion del producto matricial para demostrar que si f = (f1 , fn ) y g = (g1 , gp )
lo
son como en el Teorema 69 entonces

g f g fk
lcu
-
(x) = (y) (x). (210)

xj yk xj
do
Ejercicio. 122. Sean f : R3 R4 y g : R3 R3 dadas por f (x, y, z) = (x2 yz, y 2 z 2 , z 3 , xyz) y g(u, v, w) =
(u2 v, uv 2 w, euw ). Hallar (f g)0 (1, 1, 0).
ca
do
za
57
an
za
an
av
fc
z
z
an
an
av
av
c
3.5. Los Teoremas de la Funcion Inversa y de la Funcion Implcita.
i-f
Ya se sabe, desde calculo diferencial de funciones reales de una sola variable que si f (x) es una funcion con
derivada no nula en un punto x0 , es decir f 0 (x0 ) 6= 0, entonces f admite una inversa local, es decir, la ecuacion
lo
y = f (x) puede ser resuelta de manera local x = f 1 (y) en una vecindad del punto x0 y ademas (f 1 )0 (y) =
un
1/f 0 (x) para todos los puntos x de dicha vecindad. El objetivo de esta seccion es generalizar tal resultado a
lcu
funciones vectoriales de variable vectorial, es decir, dada f (x1 , x2 , , xn ), una funcion vectorial de Rn hacia
Rn , queremos estudiar condiciones bajo las cuales podemos resolver al menos de manera local la ecuacion
o-
(y1 , y2 , , yn ) = f (x1 , x2 , , xn ) y escribir (x1 , x2 , , xn ) = f 1 (y1 , y2 , , yn )? Tales condiciones son
dadas en el siguiente teorema:
ca
Teorema. 70. (Teorema de la Funcion Inversa.) Sea f : U Rn Rn de clase C 1 . Si x0 U y
d
f 0 (x0 ) es un isomorfismo ( osea la matriz de representacion de f 0 (x) tiene determinante no nulo), entonces
za
za
existen V U vecindad de x0 y W Rn , vecindad de f (x0 ) tales que f : V W es biyectiva, su inversa
0 1
f 1 : W U es de clase C 1 y f 1 (y) = [f 0 (x)] , donde y = f (x).
Ejercicio. 123. Analizar si el sistema
an
an
u(x, y, z) = x + xyz
v(x, y, z) = y + xy (211)
av
av
w(x, y, z) = z + 2x + 3z 2
c
i-f
se puede resolver para x, y, z en terminos de u, v, w cerca de (x, y, z) = (0, 0, 0).

Las condiciones del teorema de la funcion inversa dan lugar a la definicion siguiente:
lo
Definicion. 50. (Difeomorfismo). Sean U, V Rm abiertos y f : U V . Diremos que f es un difeomor-
un
fismo si es una biyeccion de U sobre V , es diferenciable y su inversa f 1 : V U tambien lo es. Por otro
lcu
lado, diremos que f es un difeomorfismo local si para cada x0 U existen vecindades U0 de x0 y V0 de f (x0 )
tales que la restriccion f : U0 V0 es un difeomorfismo de U0 sobre V0 .
o-
El teorema de la funcion implcita asegura entonces que si el determinante jacobiano de una funcion de
clase C 1 es no nulo en cada punto de su dominio, entonces dicha funcion es un difeomorfismo local de clase C 1
ca
d
y su inversa local tambien. Desafortunadamente no podemos concluir del teorema de la funcion implcita que
todo difeomorfismo local sea un difeomorfismo sobre todo su domino.
za
za
Ejercicio. 124. Sea f : R2 R2 dada por f (r, ) = (er cos, er sen). Pruebe que f es un difeomorfismo local,
pero no es un difeomorfismo de R2 sobre R2 .
an
El problema de hallar una inversa (local) de una funcion, es el mismo que resolver n ecuaciones con n
incognitas, o mejor dicho, despejar n variables en terminos de otras n. Sin embargo uno tambien puede
encontrarse con problemas donde se tiene que despejar n variables en terminos de otras m y donde m y n no
an
av
av
necesariamente son iguales. Un caso particular de esto fue visto en el captulo pasado: recordemos que por
c
f
el teorema de la funcion implcita, si f es una funcion real de varias variables de clase C 1 y si (x0 ) 6= 0
xi
i-f
entonces a partir de la ecuacion f (x1 , x2 , , xn ) = 0, podemos despejar xi en terminos de las otras variables
al menos de manera local cerca de x0 . Ahora enunciaremos el Teorema de la Funcion Implcita en su fro-
lo
ma mas general, pero antes establecemos algunas notaciones para hacer mas simple la formulacion del teorema.
un
En primer lugar, si (x1 , , xm , y1 , , yn ) Rm+n , convenimos en escribir x = (x1 , , xm ), y =

lcu
(y1 , , yn ) y (x1 , , xm , y1 , , yn ) = (x, y). Por otro lado, para una funcion diferenciable f = (f1 , , fn ) :
U Rm+n Rn podemos escribir
o-

(f1 , , fn ) (f1 , , fn )
Jf (x, y) = (x, y) (x, y) (212)
ca
(x1 , , xm ) (y1 , , yn )
d
es decir considerar la matriz jacobiana de f formada por 2 submatrices, una formada por las derivadas de f
za
za
respecto a las variables x1 , , xm y la otra formada por las derivadas de f respecto a las variables y1 , , yn .
an
an
58
av
av
-fc
c
d
z
an
za
Ejercicio. 125. Sea f = (f1 , f2 ) : R5 R2 con regla de correspondencia
an
av
f (x, y, z, u, v) = (xy 2 xyu + yv 2 3, x3 yz + 2vx u2 v 2 2) (213)
c
(f1 , f2 )
av
calcule .
i-f
o
(u, v)
Ejercicio. 126. Sea f = (f1 , f2 , f3 ) : R5 R3 con regla de correspondencia
un
lo
f (u, v, x, y, z) = (xy 2 + zu + v 2 3, x3 z + 2y uv 2, xu + yv xyz 1) (214)
(f1 , f2 , f3 )
lcu
calcule
- .
(x, y, z)
do
Teorema. 71. (Teorema de la Funcion Implcita.) Sea f = (f1 , , fn ) : U Rm+n Rn de clase
(f1 , , fn )
ca
C 1 . Si (x0 , y0 ) U es tal que f (x0 , y0 ) = 0 y (x0 , y0 ) tiene determinante no nulo, entonces
do
(y1 , , yn )
za
podemos resolver localmente las variables y1 , yn en terminos de las variables x1 , xm . Es decir, existe
una vecindad V0 de x0 , donde y = y(x) y f (x, y(x)) = 0. Ademas podemos calcular la matriz jacobiana
(y1 , yn )
an
za
y 0 (x) = (x) mediante la formula:
(x1 , , xm )
1
(y1 , yn ) (f1 , , fn ) (f1 , , fn )
an
av
(x) = (x, y) (x, y) (215)

(x1 , , xm ) (y1 , , yn ) (x1 , , xm )
c
Ejercicio. 127. Muestre que el sistema de ecuaciones
av
i-f
o
xy 2 + zu + v 2 = 3
x3 z + 2y uv = 2
un
xu + yv xyz = 1
lo
permite despejar a x, y, z en terminos de u, v en una vecindad del punto (1, 1, 1, 1, 1). Halle las derivadas
lcu
-
(x, y, z)
parciales (1, 1).
do
(u, v)
Ejercicio. 128. Sea g : R R una funcion continua tal que g(0) = 1. Considere la funcion f : R2 R2 dad
ca
por
do
za
Z y Z y2 !
f (x, y) = g(t) dt, g(t) dt (216)
x y
an
demuestre que esta

0 funcion tiene una inversa definida en una bola B alrededor del origen de coordenadas.
Determine f 1 (0, 0). za
an
av
Ejercicio. 129. Exprese las derivadas de x, y respecto de z, w
x2 + y 2 + z 2 + w 2 u = 1
-fc
(217)
av
x + 2y + 3z + 4w = 2
o
i
un
lo
lcu
-
do
ca
do
za
59
an
za
an
av
fc
c
d
z
an
za
an
av
4. Integrales Multiples.
av
i-f
De nuestro conocimiento sobre funciones reales de una sola variable, sabemos que la integral de una funcion
o
tal sobre un intervalo representa el area bajo la grafica de dicha funcion. Ahora que queremos generalizar esta
nocion de integral para funciones reales de variable vectorial, lo mas logico es que la definicion de integral
un
que establezcamos para este caso tambien represente la idea de area y volumen. De ahora en adelante las
lo
definiciones que demos para Rm seran pensadas unicamente para el caso m = 2 o m = 3, pues el caso m = 1
ya ha sido tratado en calculo diferencial y el caso m > 3 no sera estudiado en este curso.
lcu
-
Definicion. 51. Decimos que B Rm es un bloque m-dimensional (o mbloque) si B es el producto carte-
do
siano de m intervalos.
m
Y
B = I1 I2 Im = Ij (218)
ca
do
j=1
za
Si todos los intervalos son abiertos (respectivamente cerrados, acotados, etc.), entonces decimos que B es
abierto (respectivamente cerrados, acotado, Q etc.). Diremos que un 2-bloque es un rectangulo. Se define la
m
medida m-dimensional de B como (B) = j=1 l(Ij ), donde l(Ij ) es la longitud del intervalo Ij . Cuando
an
za
m = 2, esta medida se denomina area de B, denotada por A(B) y cuando m = 3, se denomina volumen de
B, denotado por V (B).
an
av
Recordemos que una particion de un intervalo [a, b] es un subconjunto P = {t0 , t1 , , tn } [a, b] donde
a = t0 t1 , , tn = b. La norma de P se define como ||P || = max {ti ti1 : i = 1, 2, , n}. Si Q es otra
particion de [a, b] tal que P Q, entonces diremos que Q es un refinamiento de P .
c
av
Definicion. 52. (Particion). Sea B Rm un m-bloque cerrado acotado, dado por la ecuacion 218. Una
i-f
o
particion P de B es un producto cartesiano P = P1 Pm donde cada Pj es una particion de Ij .

Denotaremos por P(B) al conjunto de particiones del m-bloque B. La norma de P se define como ||P || =
un
max {||Pj || : j = 1, , n}. Decimos que Q = Q1 Qm P(B) es un refinamiento de P si cada Qj es un

refinamiento de Pj , es decir si Pj Qj , j.
lo
Definicion. 53. (Sub-bloque.) Sea B Rm un m-bloque y P = P1 Pm P(B). Un sub-bloque de
lcu
-
B determinado por P es un m-bloque donde cada intervalo componente del producto cartesiano que lo define
do
tiene como extremos dos puntos consecutivos de Pj para cada j.

1 3
Ejemplo. 63. Al graficar la particion P = 0, , 1, , 3 {0, 1, 2}, notamos que tiene 8 sub-bloques.
ca
2 2
do
za

1 1
Ejemplo. 64. Las particiones P = {0, 1} 0, , 1 y Q = 0, , 1 {0, 1} de [0, 1] [0, 1] son tales que
2 2
P Q no es una particion de [0, 1] [0, 1].
an
za
Ejercicio. 130. Sean P = P1 Pm y Q = Q1 Qm son particiones de un bloque B ,denotamos
P + Q = (P1 Q1 ) (Pm Qm ). Pruebe que P + Q es un refinamiento de P y de Q.
an
av
A veces, en lugar de expresar la particion P como producto cartesiano de particiones, es mas X conve-
niente expresarlo como P = {Bk }, la coleccion de sus sub-bloques. Obiviamente se cumplira (B) = (Bk ).
-fc
k
av
o
Definicion. 54. Sea B Rm un m-bloque y f : B R una funcion acotada, denotamos

i
m(f ) = inf {f (x) : x B} M (f ) = sup {f (x) : x B} (219)

un
lo
Si P = {Bk } es una particion de B entonces para cada k se define

mk (f ) = inf {f (x) : x Bk } Mk (f ) = sup {f (x) : x Bk } (220)
lcu
-
ademas definimos
do
X X
L(f, P ) = mk (f )(Bk ) U (f, P ) = Mk (f )(Bk ). (221)
ca
k k
do
za
60
an
za
an
av
fc
z
z
an
an
av
av
c

3
Ejercicio. 131. Si f (x, y) = x + 2y sobre B = [0, 2] [0, 1], hallar L(f, P ) y U (f, P ) si P = 0, 1, , 2
i-f
2
1
0, , 1 .
lo
2
un
Ejercicio. 132. Bajo los terminos de la definicion 54, pruebe las siguientes desigualdades:
lcu
m(f ) mk (f ) f (x) Mk (f ) M (f ), x Bk
(222)
m(f )(B) L(f, P ) U (f, P ) M (f )(B).
o-
Teorema. 72. Sea B un mbloque cerrado y acotado y sea f : B R acotada. Si P, Q P(B) y Q es un
ca
refinamiento de P entonces
d
L(f, P ) L(f, Q) U (f, Q) U (f, P ) (223)
za
za
Corolario. 6. Sea B un mbloque cerrado y acotado y sea f : B R acotada. Se cumple que
L(f, P ) U (f, Q) P, Q P(B). (224)

an
an
Por lo tanto
sup {L(f, P ) : P P(B)} inf {U (f, Q) : Q P(B)} (225)
av
av
Denotamos:
c
Z Z
f = inf {U (f, Q) : Q P(B)} , f = sup {L(f, P ) : P P(B)}
i-f
B B
lo
y las llamaremos integral superior e integral inferior de f sobre B respectivamente.
un
Definicion. 55. (Integrabilidad). Sea B Rm un m-bloque y f : B R una funcion acotada. Decimos

lcu
que f es integrable si y solo si se cumple la igualdad en la expresion 225. En ese caso la integral de f sobre B
se denota y define como:
o-
Z Z Z
f= f= f (226)
B B B
ca
Teorema. 73. Sean f, g : B R integrables sobre un mbloque B Rm . Entonces:
d
Z Z Z
za
za
a) La funcion f + g es integrable y f +g = f + g.
B B B
Z Z
b) Para cualquier c R, la funcion cf es integrable y cf = c f.
an
c) Si f (x) 0 para todo x B entonces

Z
B
B B
f 0. Equivalentemente si f (x) g(x) para todo x B

an
av
av
Z Z
c
entonces f g.
B B
i-f
Z Z

d) La funcion |f (x)| es integrable y f |f |. En particular cuando f (x) K para todo x B.
lo
Z B B
un

Entonces se tiene f K(B).
B
lcu
Z
e) Si f es continua entonces existe c B tal que f = f (c)(B). (Al valor f (c) se le denomina valor
o-
B
promedio de f en B.)
ca
Un criterio facil de comprobar para demostrar la integrabilidad de una funcion acotada es la continuidad.
d
Teorema. 74. Sea B un m-bloque cerrado y acotado. Sea f : B R acotada. Si f es continua entonces es
za
za
integrable.
an
an
61
av
av
-fc
c
d
z
an
za
Ejercicio. 133. Sea B Rm unZ m-bloque cerrado y acotado. Si f : B R es dada por f (x) = 1, x B
an
av
pruebe que f es integrable y que f = (B).
B
c
Ejercicio. 134. Sea f : [0, 1] [0, 1] R definida por
av
i-f
o

0 si x Q
f (x, y) = (227)
1 si x I
un
lo
Pruebe que f no es integrable.
El siguiente resultado nos ayudara a demostrar la integrabilidad de algunas funciones.
lcu
-
Teorema. 75. Sea B Rm un m-bloque y f : B R una funcion acotada, entonces f es integrable si y solo
do
si para cada > 0 existe P P(B) tal que U (f, P ) L(f, P ) < .
ca
Ejercicio. 135. Pruebe que la funcion f : [0, 1] [0, 1] R dada por:
do
za

0 si 0 x < 1

f (x, y) = 2 (228)
1
an
za
1 si
x 1,
2
Z
1
an
av
es integrable y que f= .
[0,1][0,1] 2
c
Z
Terminamos esta seccion mencionando que f (x)dx es otra manera de denotar la integral de
av
i-f
B
o
ZZ Z
una funcion acotada f sobre un mbloque, lo mismo para las expresiones f, f (x, y)dxdy,
ZZ ZZ ZZZ Z B B ZZZ
un
f dA, f (x, y)dxdy, en el caso m = 2 y las expresiones f, f (x, y, z)dxdydz f dV ,

Z ZBZ B B
lo B B
f (x, y, z)dxdydz en el caso m = 3. Dichas expresiones son llamadas integrales doble y triple respectiva-
lcu
B
-
mente.
do
4.1. La integral como lmite de sumas de Riemann.

ca
do
Definicion. 56. Sea B Rm un m-bloque. Una particion puntillada es un par P = (P, {k }), donde
za
P = {Bk } P(B) y k Bk k. Dada f : B R acotada, la suma de Riemann de f asociada a P ,

denotada por (f, P ) se define como
an
(f, P ) =
X
f (k )(Bk ).
k za
(229)
an
av
Se denota por P (B) el conjunto de particiones puntilladas de B.

Ejercicio. 136. Sean B Rm un m-bloque, f : B R una funcion aotada y P = {Bk } P(B), entonces
-fc
av
para cualquier eleccion de puntos k Bk , se cumple

o
L(f, P ) (f, P ) U (f, P ) (230)

i
un
donde P = (P, {k }).

lo
Ejercicio.137. Sea B = [0, 1] [0, 1] [0, 1] y f : B R dada y, z) = xy 2xz 1. Sea n N

por f (x,
lcu
i j k i j k
-
y Pn = , , : i, j, k = 0, , n P(B), tome ijk = , , , i, j, k = 0, , n 1 y Pn =

n n n n n n
do
(Pn , {ijk }). Calcule la suma de Riemann (f, Pn ).

ca
do
za
62
an
za
an
av
fc
c
d
z
an
za
an
av
138. Sea B = [1, 1] [0,
Ejercicio.
1] y f : B R dada
por f (x, y) = 4x y. Sea n N y P =
i j i j
c
, : i = n, , n; j = 1, , n P(B), tome ij = , , i = n, , n 1, j = 0, , n 1
av
n n n n
i-f
y P = (P, {ij }). Calcule la suma de Riemann (f, Pn ).
o
Definicion. 57. Decimos que I R es el lmite de las sumas de Riemann (f, P ), lo cual denotamos por
un lm (f, P ) = I
lo
(231)
||P ||0
cuando para cada > 0 existe > 0 tal que la condicion P = (P, {k }) P (B) ||P || < implica que
lcu
-
|I (f, P )| < .
do
Notar que la definicion anterior de lmite solo exige que la norma de la particion sea pequena, mas no impone
condiciones sobre la eleccion de los puntos k .
ca
do
za
El siguiente teorema nos facilita la tarea de calcular la integral de una funcion acotada sobre un bloque.
Teorema. 76. Sea B Rm un m-bloque cerrado y acotado y sea f : B R una funcion acotada. f es
an
integrable sobre B si y solo si existe el lmite lm (f, P ), en ese caso:
za
||P ||0
Z
lm (f, P ) = f. (232)
an
av
||P ||0 B
Z
c
Ejercicio. 139. Calcule f para la funcion del ejemplo 137.
av
B
i-f
o
Z
Ejercicio. 140. Calcule f para la funcion del ejemplo 138.
B
un
4.2. Integrales sobre conjuntos acotados.

lo
Definicion. 58. Sea D un subconjunto de Rm . Se define la funcion caracterstica asociada a D como D :
lcu
-
Rm R con regla de correspondencia

do

0 si x /D
D (x) =
1 si x D,
ca
do
za
Si f : D R, definimos fD : Rm R como

0 si x/D
fD (x) =
f (x) si x D,
an
za
Si f es acotada y D es acotado, decimos que f es integrable sobre D cuando existe un m-bloque B cerrado
y acotado que contiens a D tal que fD es integrable sobre B, en ese caso definimos la integral de f sobre D
an
av
como Z Z
f= fD (233)
-fc
D B
av
Se puede probar que la definicion de integral dada por la ecuacion 233 no depende de la eleccion del bloque
o
B, pues tambien se puede probar que fD es integrable sobre cualquier m-bloque cerrado y acotado que contiene
a D si y solo si esto ocurre para algun m-bloque B.
i
un
Ejercicio. 141. Bajo los mismos terminos de la definicion 58, pruebe que fD = fD D .
lo
Z
Definicion. 59. Si D Rm es acotado y D es integrable sobre D entonces al numero real D le llama-
lcu
D
-
remos m-volumen de D y diremos que D es J-medible, o lo que es igual, que D tiene m-volumen. En el caso
do
m = 2 el m-volumen sera llamado area de D, denotado por A(D) y en el caso m = 3 sera llamado volumen
de D, denotado por V (B).
ca
Ejercicio. 142. Pruebe que el conjunto D = {(x, y) [0, 1] [0, 1] : x I} no tiene area.
do
za
63
an
za
an
av
fc
c
d
z
an
za
4.3. Integrales iteradas
an
av
En esta seccion abordaremos una manera mas directa de calcular integrales multiples, empezamos con una
reflexion que nos ayudara a establecer una convencion: Si B = [a1 , b1 ] [a2 , b2 ], y f : B R es acotada, tiene
c
sentido por lo menos intentar calcular la expresion
av
i-f
o
Z "Z #
b1 b2
f (x, y)dy dx, (234)
a1 a2
un
lo
la cual cobrara sentido si en primer lugar existe la integral dentro de los corchetes, es decir, si para cada
x [a1 , b1 ] fijado, la funcion y f (x, y) es una funcion
"Z (real de una # sola variable) integrable sobre [a2 , b2 ] y
lcu
- b2
en segundo lugar si, en en ese caso, la funcion x f (x, y)dy dx es integrable sobre [a1 , b1 ].
do
a2
Z 1 Z 1
ca
Ejemplo. 65. Calcule, si es que existe, el valor de 4x y dy dx
do
za
1 0
La misma reflexion se puede hacer sobre la expresion

an
za
Z "Z b2 b1
#
f (x, y)dx dy, (235)
a2 a1
an
av
Z 1 Z 1
Ejemplo. 66. Calcule, si es que existe, el valor de 4x y dx dy
c
0 1
av
i-f
Z b1 Z b2
o
Para evitar el uso de los corchetes denotaremos simplemente f (x, y)dydx, la integral de 234 y
a1 a2
Z b2 Z b1
un
f (x, y)dxdy, la integral de 235. Se entendera lo analogo para las expresiones

a2
Z b1
a1
Z b2 Z b3 Z b2 Z b1 Z b3 lo
Z b3 Z b1 Z b2
lcu
-
f (x, y, z)dzdydx, f (x, y, z)dzdxdy, f (x, y, z)dydxdz, etc. (236)

do
a1 a2 a3 a2 a1 a3 a3 a1 a2
Z 1 Z 1 Z 1 Z 1 Z 1 Z 1
Ejemplo. 67. Calcule xy xz 1 dzdydx y xy xz 1 dxdzdy.
ca
do
0 0 0 0 0 0
za
Los valores de las integrales halladas en el ejemplo 67 coinciden, al igual que la integrales de los ejemplos
65 y 66. Nuestro proximo resultado explicara por que esto no es una coincidencia.
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
64
an
za
an
av
fc
c
d
z
an
za
an
av
Las integrales de las expresiones 234 y 235 reciben el nombre de integrales iteradas. Como se ha visto ante-
riormente al efectuar el calculo de las integrales del ejemplo 67, el orden de integracion no altera el resultado
av
final que incluso es igual a la integral sobre todo el m-bloque, (que se ha calculado por medio de una suma
i-f
o
de Riemann en el Ejemplo 140). Antes de explicar la razon por la que esto sucede en ese caso particular,
mostramos un ejemplo donde ni siquiera existe la integral iterada.
un
Ejercicio. 143. Sea f : [0, 2] [0, 1] R dada por
lo

1 si x Q
f (x, y) = (237)
y3 si x I,
lcu
-
do
Z 2 Z 1 Z 1 Z 2
Pruebe que no existe la integral iterada f (x, y)dydx. Existe la integral iterada f (x, y)dxdy?.
0 0 0 0
ca
Ahora establecemos una notacion previa para entender la formulacion del siguiente Teorema. Si B 1 Rm
do
za
y B 2 Rn son bloques cerrados acotados, entonces es claro que el producto cartesiano B 1 B 2 Rm+n es
un m + n-bloque. Denotamos por (x, y) los elementos de B 1 B 2 , donde x B 1 , y B 2 . Por otro lado, si
P1 P(B 1 ), P2 P(B 2 ) entonces P1 P2 P(B 1 B 2 ). Sea f : B 1 B 2 R una funcion cualquiera. Para
an
za
cada x B 1 fijo, la correspondencia y f (x, y), y B 2 define una funcion sobre B 2 que denotaremos fx .
As se tiene fx (y) = f (x, y). Analogamente para cada y B 2 se define fy : B 1 R como fy (x) = f (x, y).
Entonces se tiene:
an
av
Z Z Z Z
fx (y)dy = f (x, y)dy fy (x)dx = f (x, y)dx (238)
c
B2 B2 B1 B1
av
i-f
La primera integral en la expresion 238 es una funcion que depende de x B 1 y la segunda es una funcion
o
que depende de y B 2 .
Teorema. 77. Sea f : B 1 B 2 R integrable sobre el producto cartesiano de los bloques B 1 Rm y
un
B 2 Rn . Para cada x B 1 definimos , : B 1 R por

Z Z
lo
lcu
(x) = fx (y)dy (x) = fx (y)dy (239)
-
B2 B2
do
Entonces y son integrables, con

ca
Z Z Z
do
za
(x)dx = (x)dx = f (x, y)dxdy (240)

B1 B1 B 1 B 2
o, equivalentemente
an
B 1 B 2
f (x, y)dxdy =
Z
B1
Z
B2

f (x, y)dy dx =
Z
B1
Z
B2

za
f (x, y)dy dx (241)
an
av

Prueba. (De lectura opcional). Sean P1 = Bi1 y P2 = Bj2 particiones de B 1 y B 2 respectivamente,
entonces P = P1 P2 = {Bij } es una particion de B 1 B 2 , donde Bij = Bi1 Bj2 , as, (Bij ) = (Bi1 )(Bj2 ).
-fc
av
Entonces podemos escribir:

o

X X X
mij (f )(Bi1 )(Bj2 ) = mij (f )(Bj2 ) (Bi1 )
i
L(f, P ) = (242)
un
i,j i j
lo
Por otro lado, si x Bi1 , se tiene mij (f ) f (x, y) = fx (y) y Bj2 , luego mij (f ) mj (fx ), de ah que
lcu
sumando sobre j tenemos

-
do
X X Z
mij (f )(Bj2 ) mj (fx )(Bj2 ) = L(fx , P2 ) fx (y)dy = (x) (243)
j j B2
ca
do
za
No confundir fx y fy con las derivadas parciales de f .
65
an
za
an
av
fc
z
z
an
an
como esta ecuacion es valida para cualquier x Bi1 se tiene
av
av
c
X
mij (f )(Bj2 ) mi (). (244)
i-f
j
Luego, multiplicando 244 por (Bi1 ) y sumando sobre i se tendra, gracias a 242 lo siguiente
lo
un
X
L(f, P ) mi ()(Bi1 ) = L(, P1 ) (245)
lcu
i
Analogamente se obtiene U (, P1 ) U (f, P ). Y as:

o-
L(f, P ) L(, P1 ) U (, P1 ) U (f, P ) (246)
ca
d
para cualquier particion P = P1 P2 . Como f es integrable entonces 246 implica que es integrable tambien,
con
za
za
Z Z
(x)dx = f (x, y)dxdy (247)
B1 B 1 B 2
an
an
Similarmente se demuestra la igualdad que falta para completar la expresion 240.
Corolario. Si f : B 1 B 2 R es integrable entonces

av
av
Z Z Z Z Z
c
f (x, y)dxdy = f (x, y)dy dx = f (x, y)dx dy (248)
B 1 B 2 B1 B2 B2 B1
i-f
(y lo mismo para todas las combinaciones posibles de integrales inferiores y superiores y el orden de
integracion). En particular si f es continua se cumplira
lo
un
Z Z Z Z Z
f (x, y)dxdy = f (x, y)dydx = f (x, y)dxdy (249)
B 1 B 2
Z
B1 B2 B2 lcu
B1
o-
Ejercicio. 144. Calcule (x2 + y 3 )dxdy.

[0,1][0,1]
ca
notar que en la ecuacion 249 si B 1 es un intervaloZ compacto y B 2 es un rectangulo cerrado, entonces aplicando
d
nuevamente el Teorema 77 (o su corolario) a f (x, y)dy, esta ultima integral puede ser calculada por
za
za
B2
iteracion, donde en cada iteracion se calcula una integral simple de una funcion real de una sola variable. Este
proceso se aplica en general cuando f esta definida en un m-bloque, para cualquier valor natural de m, el
resultado es m iteraciones donde en cada iteracion se calcula una integral simple de una funcion real de una
an
sola variable. Es decir, si B =

Ym
[ai , bi ], entonces
i=1
an
av
av
Z Z b1 Z b2 Z bm
c
f= f (x1 , , xm )dxm dx1 (250)

B a1 a2 am
i-f
donde incluso el orden de integracion puede ser cambiado a conveniencia.

lo
Z
un
Ejercicio. 145. Calcule (xyz)dxdydz.

[0,1][0,1][0,1]
lcu
Notar que el Teorema 77 se aplica a funciones definidas a m-bloques. Para aplicar tal resultado al calculo
de una funcion f sobre subconjuntos D de Rm como los definidos en la seccion 4.2, recordamos simplemente
o-
que tales integrales han sido definidas como integrales sobre algun m-bloque acotado y cerrado que contenga
a D siempre y cuando la funcion fD sea integrable sobre tal bloque.
ca
d
En adelante para todas la integrales de funciones que intentemos calcular sobre algun suconjunto de Rm
za
za
seran supuestas integrables sobre tal subconjunto, donde este ultimo sera supuesto J-medible.
an
an
66
av
av
-fc
c
d
z
an
za
Ejercicio. 146. Use una integral doble para calcular el area de la region acotada del plano limitada por el eje
an
av
X y la parabola de ecuacion y = 4 x2 .
Ejercicio. 147. Use una integral triple para calcular el volumen del solido limitado superiormente por la
c
superficie de ecuacion y 2 + z = 4, inferiormente por el plano z = 2 y y lateralmente por los planos x =
av
i-f
0, x = 2.
o
ZZ
2
x+y
Ejercicio. 148. Sea D = (x, y) R : |x| + |y| 1 y f (x, y) = e . Calcule f.
un D
lo
Ejercicio. 149. Halle el volumen del tetraedro acotado por los planos y = 0, z = 0, x = 0, y x + z = 1.
lcu
-
do
ca
do
za
an
za
an
av
av
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
67
an
za
an
av
fc
z
z
an
an
av
av
c
4.4. Calculo de integrales sobre conjuntos acotados.
i-f
Esta seccion esta destinada al calculo de integrales definidas sobre un conjunto J-medible. Para empezar
enunciamos sin demostracion las siguientes propiedades de las integrales sobretales conjuntos:
lo
un
Teorema. 78. Sean f, g : D R funciones integrables sobre un conjunto J-medible D Rm y c R.
lcu
entonces:
i) Las funciones cf , f + g son integrables sobre D con
o-
Z Z Z Z Z
f +g = f+ g cf = c f (251)
ca
D D D D D
d
ii) Si f (x) g(x) x D entonces
za
za
Z Z
f g (252)
D D
an
an
iii) La funcion |f | es integrable sobre D y Z Z

f |f | (253)

D D
av
av
c
Teorema. 79. Sean D1 , D2 conjuntos J-medibles. Una funcion f : D1 D2 R es integrable si y solo si las
restricciones de f a D1 y de f a D2 son integrables. En ese caso:
i-f
Z Z Z Z
f+ f= f+ f (254)
lo
D1 D2 D1 D2 D1 D2
un
Las propiedades mencionadas anteriormente seran aprovechadas para el calculo de las integrales sobre
lcu
ciertas regiones (y sus combinaciones mediante uniones, intersecciones, diferencias, etc) que consideraremos a
continuacion. Empezamos con el caso R2 .
o-
1) Region de tipo 1 . Sean 1 , 2 : [a, b] R dos funciones continuas que satisfacen 1 (x) 2 (x) x
ca
[a, b]. Decimos que la region
d
D = (x, y) R2 : x [a, b], 1 (x) y 2 (x) .

(255)
za
za
es una region del tipo 1. En este caso la integral de una funcion f sobre D se calcula como;
b 2 (x)
an
D
f=
Z
a
Z
1 (x)
f (x, y)dydx.
Ejercicio. 150. Calcule la integral de f (x, y) = x sobre la region acotada por las curvas y = x, y =
an
(256)
av
av
4x x2 e y = 0.
c
Ejercicio. 151. Calcule la integral de f (x, y) = (x + y 1)2 sobre el triangulo de vertices (0, 0), (0, 4)
i-f
y (8, 0).
lo
2) Region de tipo 2 . Sean 1 , 2 : [c, d] R dos funciones continuas que satisfacen 1 (y) 2 (y) y
un
[c, d]. Decimos que la region

lcu
D = (x, y) R2 : y [c, d], 1 (y) x 2 (y) .

(257)
o-
es una region del tipo 2. En este caso la integral de una funcion f sobre D se calcula como;
ca
Z Z d Z 2 (y)
d
f= f (x, y)dxdy. (258)

D c 1 (y)
za
za
an
an
68
av
av
-fc
c
d
z
an
za
Ejercicio. 152. Calcule la integral de f (x, y) = x sobre la region encerrada por las curvas de ecuaciones
an
av
x = 6 y 2 , x = |y| y x = y 2 12.
3) Region de tipo 3 . Es una region que es del tipo 1 y 2 al mismo tiempo, por lo tanto la integral de una
av
funcion f sobre D se calcula mediante cualquiera de las dos formas anteriores.
i-f
o
Z 1Z 2
2
Ejercicio. 153. Calcule ia integral ey dydx invirtiendo el orden de integracion.
0 2x
un
lo
2 4

Z Z
Ejercicio. 154. Invierta el orden de integracion para calcular ycosydydx.
0 x2
lcu
-
Recordar que la definicion de integral que dimos haba sido pensada de manera que cuando m = 2, la integral
do
(doble) de una funcion (no negativa) definida sobre un m-bloque sea precisamente el volumen del solido bajo
la grafica de f , osea la superficie de ecuacion z = f (x, y). Entonces ahora que ya sabemos como calcular
ca
integrales dobles de funciones, podemos aplicar lo aprendido para tal fin.
do
za
Ejercicio. 155. Halle el volumen del solido limitado por el primer octante y el plano de ecuacion x+2y +3z =
6.
an
za
Ahora veremos el caso R3 .
1) Solido de tipo I . Sean z1 , z2 : D R2 R dos funciones continuas que satisfacen z1 (x, y)
an
av
z2 (x, y) (x, y) D. Decimos que el cnojunto
S = (x, y, z) R3 : (x, y) D, z1 (x, y) z z2 (x, y) .

(259)
c
av
es un solido del tipo I. En este caso la integral de una funcion f sobre S se calcula como;
i-f
o
ZZZ Z Z Z z2 (x,y)
f= f (x, y, z)dzdydx. (260)
un
S D z1 (x,y)
lo
Debido a que D R2 es una region en el plano, puede ser del tipo 1 como en la expresion 255 y la
integral 260 sera calculada como
lcu
-
Z b Z 2 (x) Z z2 (x,y)
do
ZZZ
f= f (x, y, z)dzdydx. (261)
S a 1 (x) z1 (x,y)
ca
mientras que si D fuera una region del tipo 2, como en la expresion (257), la integral (260) sera calculada
do
za
como: ZZZ Z Z d
Z 2 (y) z2 (x,y)
f= f (x, y, z)dzdxdy. (262)
an
S c 1 (y) z1 (x,y)
Ejercicio. 156. Halle el volumen del solido limitado superiormente por la superficie z = 4 y 2 e
inferiormente por la superficie z = x2 + 3y 2 .
za
an
av
Ejercicio. 157. Calcule la integral de f (x, y, z) = xyz sobre el solido acotado por las superficies decua-
ciones z = 4 y 2 , y = 2x, z = 0, x = 0.
-fc
av
2) Solido de tipo II . Sean x1 , x2 : D R2 R dos funciones continuas que satisfacen x1 (y, z)

o
x2 (y, z) (y, z) D. Decimos que el conjunto

i
un
S = (x, y, z) R3 : (y, z) D, x1 (y, z) x x2 (y, z) .

(263)
lo
es un solido del tipo II. En este caso la integral de una funcion f sobre S se calcula como;
lcu
-
ZZZ Z Z Z x2 (y,z)
f= f (x, y, z)dxdydz. (264)
do
S D x1 (y,z)
Dependiendo de la forma de la region, la integral (264) puede cacularse de manera similar a (261) y
ca
do
(262).
za
69
an
za
an
av
fc
c
d
z
an
za
ZZZ
Ejercicio. 158. Calcule la integral ydV , donde S es el solido limitado por los planos de ecuaciones
an
av
S
x = 0, y = 0, z = 0 y x + 2y + 3z = 4.
c
3) Solido de tipo III . Sean y1 , y2 : D R2 R dos funciones continuas que satisfacen y1 (x, z)
av
i-f
y2 (x, z) (x, z) D. Decimos que el conjunto
o
S = (x, y, z) R3 : (x, z) D, y1 (x, z) y y2 (y, z) .

(265)
un
lo
es un solido del tipo III. En este caso la integral de una funcion f sobre S se calcula como;
y2 (x,z)
lcu
ZZZ ZZ Z
- f= f (x, y, z)dydxdz. (266)
do
S D y1 (x,z)
Dependiendo de la forma de la region, la integral (266) puede cacularse de manera similar a (261) y
ca
(262).
do
za
Ejercicio. 159. Calcule la integral del ejemplo 158 expresando S como un solido del tipo III.
an
za
4) Solido del tipo IV. Es un subconjunto de R3 que es un solido del tipo I, II y III a la vez. Un ejemplo es
la esfera.
Ejercicio. 160. Calcule el volumen de la bola unitaria en R3 .
an
av
av
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
70
an
za
an
av
fc
c
d
z
an
za
an
av
4.5. Cambio de variable en integrales multiples.
av
En el calculo de funciones reales de variable real se estudio la formula del cambio de variable
i-f
o
Z (b) Z b
f (y)dy = f ((x))0 (x)dx (267)
un
(a) a
lo
en muchos casos serva para calcular de una manera mas sencilla los valores de ciertas integrales complicadas.
Ahora es momento de enunciar la forma mas general de este teorema.
lcu
-
Teorema. 80. (Formula General del Cambio de Variable.) Sean : U V una funcion biyectiva
do
de clase C 1 con inversa de clase C 1 entre abiertos U, V Rm (o mejor dicho un cambio de coordenadas),
D U un conjunto con area (o volumen) cerrado y acotado y f : (D) R una funcion integrable. Entonces
ca
f : D R es integrable y
do
za
Z Z
f (y)dy = f ((x))|det 0 (x)|dx (268)
(D) D
an
za
La demostracion del teorema anterior involucra conceptos y teoremas que escapan del alcance de este curso,
aqu solo se usaran los casos particulares en que m = 2 o 3, cuando D o su transformado (D) sea alguna de
las regiones de tipo 1, 2 o 3 vistas en el caso R2 o solidos de tipo I, II, III y IV en R3 (estas regiones o solidos
an
av
seran llamados elementales) y cuando sea alguna de las transformaciones vistas anteriormente(coordenadas
polares, esfericas, isomorfismos, etc.). As, la formula 268 en el caso m = 2 es escrita
c
ZZ ZZ
av
f (x, y)dxdy = f ((u, v))|det 0 (u, v)|dudv (269)
i-f
o
(D) D
por ejemplo cuando usamos coordenadas polares x = rcos y y = rsen, es decir (r, ) = (rcos, rsen)
un
tenemos
0
det (r, ) = det

cos rsen
sen rcos

=r
lo (270)
lcu
-
luego, la formula 269 queda como

do
ZZ ZZ
f (x, y)dxdy = f (rcos, rsen)rdrd. (271)
(D) D
ca
do
za
Ejercicio. 161. Halle el valor de la integral

Z 2a Z 2axx2
an
(x2 + y 2 )dxdy
Ejercicio. 162. Halle el valor de la integral

0 0
za
(272)
an
av
ZZ
x2 + y dA (273)
-fc
R
av

donde R = (x, y) R2 : x2 + y 2 1
o
Ejercicio. 163. Calcular ZZ

un
cos (2x y)2 + 2(x + y)2 dA,

(274)
lo
E

donde E = (x, y) R2 : 2x2 + y 2 4, x 0, y 0
lcu
-
Por otro lado, en el caso m = 3, la formula 268 es escrita como

do
ZZZ ZZZ
f (x, y, z)dxdydz = f ((u, v, w))|det 0 (u, v, w)|dudvdw (275)
ca
(D) D
do
za
71
an
za
an
av
fc
c
d
z
an
za
por ejemplo si usamos coordenadas cilndricas (x, y, z) = (rcos, rsen, z), es decir (r, , z) = (rcos, rsen, z)
an
av
tenemos
cos rsen 0
det 0 (r, , z) = det sen rcos 0 = r (276)
av
0 0 1
i-f
o

ZZZ ZZZ
un f (x, y, z)dxdydz = f (rcos, rsen, z)rdrddz. (277)
lo
(D) D
Ejercicio. 164. Calcule la integral
lcu
-
Z 4R2 x2 y2
do
Z 2R Z 2Rxx2
dzdydx. (278)
0 0 0
ca
do
za
Finalmente, si usamos coordenadas esfericas (x, y, z) = (sencos, sensen, cos), es decir
(, , ) = (sencos, sensen, cos) (279)

an
za
tenemos
sencos sensen coscos
det 0 (r, , ) = det sensen sencos cossen = 2 sen. (280)
an
av
cos 0 sen
c
av
ZZZ ZZZ
i-f
f (sencos, sensen, cos)2 sendrddz.

o
f (x, y, z)dxdydz = (281)

(D) D
un
Ejercicio. 165. Evalue
lo
ZZZ
2 3/2
+y 2 +z 2 )
e(x dV , (282)
B
lcu
-

donde B es la bola unitaria B = (x, y, z) R3 : x2 + y 2 + z 2 1 .
do

Ejercicio. 166. Hallar el volumen del solido comun a las esferas = 2, = 2 2cos.
ca
2
Ejercicio. 167. Hallar el volumen del solido que esta
limitado a la derecha por la esfera de ecuacion x +
do
za
2 2 2 2 2
(y a) + z = a y a la izquierda por el cono y = x + z .
No solo se puede hacer un cambio de variable en coordenadas polares, esfericas o cilndricas, recordar que
an
el teorema 80 se cumple para cualquier cambio de coordenadas (difeomorfismo) y las transformaciones lineales
biyectivas (isomorfismos) tambien lo son.
za
Ejercicio. 168. Halle una transformacion que lleve el paralelogramo con vertice en el orgen y aristas (2, 3)
an
av
y (4, 5) en el cuadrado unitario [0, 1] [0, 1].

-fc
Ejercicio. 169. Calcule

av
ZZ
3x2 2y 2 dA (283)
o
P
i
donde P es el paralelogramo de aristas (1, 3) y (2, 1) con orgen (0, 0).

un
lo
Ejercicio. 170. Calcule la integral ZZ

(2x + y)exy dxdy (284)
lcu
R
-
donde R es el paralelogramo determinado, por los vectores (1, 1) y (1, 2) con uno de sus vertices en el orgen.
do
ca
do
za
72
an
za
an
av
fc
c
d
z
an
za
an
av
4.6. Aplicaciones de las Integrales Multiples.
av
4.6.1. Valor Promedio.
i-f
o
Para una funcion f : D Rm R integrable sobre un conjunto J-medible D con m-volumen no nulo, se
define el valor promedio de f en D, denotado por [f ]prom , como:
un
lo
Z
f
[f ]prom = ZD (285)
lcu
- 1
do
D
Ejercicio. 171. Calcule el valor promedio de f (x, y, z) = x + y + z sobre D =
ca

(x, y, z) R3 : x2 + y 2 + z 2 1 .
do
za
4.6.2. Centro de masa

an
Dado un cuerpo que ocupa en Rm (m = 2 o 3) un conjunto de puntos D, de manera que su masa se
za
distribuye de manera no necesariamente uniforme sobre ella y tal distribucion es descrita por la expresion
(x1 , , xm ) (densidad de masa), entonces la masa total m se calcula como
an
av
Z
m= (286)
D
c
av
ademas las coordenadas xi del centro de masa (x1 , , xm ) de la lamina se calculan como
i-f
o
Z
xi (x)dx
un
D
xi = (287)
m
lo
Ejercicio. 172. Determine la masa y el centro de masa de una lamina rectangular con vertices (0, 0), (1, 0)
lcu
-
y (0, 2) si su densidad de masa es dada por (x, y) = 1 + 3x + y.

do
4.6.3. Momento de Inercia

ca
Dado un cuerpo en R3 que ocupa un conjunto de puntos D de manera que su masa se distribuye de manera
do
za
no necesariamente uniforme sobre ella y tal distribucion es descrita por la expresion (x, y, z), el momento de
inercia respecto a una recta L arbitraria es definida como
an
L=
ZZZ
D
d2 (x, y, z)(x, y, z)dV
za (288)
an
av
donde (x, y, z) es la densidad de masa y d(x, y, z) es la distancia del punto (x, y, z) a la recta L. Cuando L
es el eje X, Y o Z, denotamos LX , LY o LZ respectivamente.
-fc
Ejercicio. 173. Calcule el momento de inercia de la region limitada por x2 + y 2 = 1, y = 0, x = 0 respecto

av
de la recta x + y = 2 si la densidad superficial de masa es (x, y) = x + y.

o
i
un
lo
lcu
-
do
ca
do
za
73
an
za
an
av
fc
z
z
an
an
av
av
c
5. Integrales de Lnea.
i-f
En el captulo de Integrales Multiples, se extendio la nocion de integral sobre un intervalo a integral sobre
lo
bloques en el espacio Rm , en este captulo, extendemos de otra manera la nocion de integral sobre un intervalo:
un
la integral sobre un camino.
lcu
Definicion. 60. Sea I = [a, b] R un intervalo cerrado y acotado de R. Una funcion continua : I Rn
definida en I se llama camino continuo. Decimos que es regular si es de clase C 1 en el intervalo abierto
o-
]a, b[. Decimos que es regular a trozos si I puede descomponerse en un numero finito de subintervalo es en
cada uno de los cuales es regular.
ca
Establecemos ahora como convencion el denominar campo escalar a una funcion real de variable vectorial
d
y campo vectorial a una funcion vectorial de variable vectorial.
za
za
Definicion. 61. (Integral de lnea de un campo escalar). Sea U Rm y f : U R un campo escalar
continuo. Sea : [a, b] U un camino regular a trozos. La integral de lnea de f a lo largo de se define
como
an
an
Z Z b
f ds = f ((t)) ||0 (t)| |dt. (289)
a
En realidad hay una clase mas general de funciones (que contiene a la clase las funciones continuas)
av
av
sobre las cuales la integral 289 existe para cualquier camino regular a trozos, pero en este curso solo se
c
considerara los casos en que f sea continua, Con esta hiotesis se puede asegurar que tal integral existe y la
i-f
definicion tiene sentido. Tambien se suele denominar a esta, integral de lnea de primer tipo o integral de
lnea de la funcion f respecto de la longitud de arco a lo largo de la curva ..
lo
Al ser : [a, b] U un camino regular a trozos, existe una particion a = t0 t1 t2 , , tn = b tal
un
que :]ti , ti+1 [ R es de clase C 1 , luego la integral 289 se puede calcular como
Z
f ds =
n1
X Z ti+1
f ((t)) ||0 (t)| |dt.
lcu (290)
o-
i=0 ti
ca
Para el caso m = 2, podemos escribir (t) = (x(t), y(t)) y la formula 289 como
d
Z Z b p
f ds = f (x(t), y(t)) x0 (t)2 + y 0 (t)2 dt. (291)
za
za
a
mientras que para el caso m = 3, (t) = (x(t), y(t), z(t)) y:

an
Z
f ds =

Z b
a
p
f (x(t), y(t), z(t)) x0 (t)2 + y 0 (t)2 + z 0 (t)2 dt.
Ejercicio. 174. Sea f : R2 R Zel campo escalar definido por f (x, y) = 2x y : [0, 1] R3 el camino
an (292)
av
av
definido por (t) = (1, t2 ). Calcule
c
f ds.

i-f
3
Ejercicio. 175. Sea f : R R el campo escalar Z definido por f (x) = ||x| |2 y : [0, 2] R3 el camino
definido por (t) = (cos(t), sen(t), t). Calcule f ds.
lo

un
Z
Ejercicio. 176. Calcule xyds, donde es una curva que describe le rombo |x| + |y| = 1.
lcu

Aunque en este ultimo ejemplo, se pudo haber escogido dos curvas distintas y quizas obtener resultados
o-
distintos, mas adelante se vera condiciones que probaran que en cierto sentido ese valor no vara.
ca
Z
Notar que si f es una funcion positiva y (t) = (x(t), y(t)) es un curva plana entonces la integral f ds
d

representa el area de una banda vertical cuya base es la imagen de la curva (traza) en el plano y altura es el
za
za
valor f (x(t), y(t)). (En un sentido mas estricto, esto es lo que sucedera si recorre su traza una sola vez).
an
an
74
av
av
-fc
c
d
z
an
za
Ejercicio. 177. Calcule el area lateral de la porcion de cilindro parabolico de ecuacion y = x2 limitado por
an
av
los planos z = 3x, z = 0, y = 1.
Otra de las aplicaciones de las integrales de lnea es a la determinacion de centros de masa y momentos
av
de inercia de objetos curvilneos. Concretamente, si tenemos un alambre cuya ubicacion en el espacio esta
i-f
descrita por la ecuacion de una curva (t) = (x(t), y(t), z(t)) y su masa se distribuye de acuerdo a la regla
o
(x, y, z) (densidad de masa) entonces la masa total m del alambre se calcula como
un
Z
lo
m= ds (293)

lcu
a su vez, centroide del alambre se define como un punto (x, y, z), donde
-
do
Z
1
x= xds
m
ca
Z
1
do
y= yds (294)
za
m
Z
1
z= zds
m
an
za
Si L es una recta dada en el espacio, entonces el momento de inercia del alambre alrededor de dicha recta es
an
av
Z
IL = d2 ds (295)

c
donde d(x, y, z) es la distancia del punto (x, y, z) del alambre a la recta L.
av
i-f
o
Ejercicio. 178. Sea k > 0. Encuentre el centroide de un alambre que tiene una densidad (x, y, z) = kz y
forma de helice con parametrizacion
un
x = 3 cos(t), y = 3 sen(t),
lo
z = 4t, 0 t . (296)
lcu
-
do
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
75
an
za
an
av
fc
z
z
an
an
av
av
c
Definicion. 62. (Integral de lnea de un campo vectorial). Sea U Rm y F : U Rm un campo
vectorial continuo. Sea : [a, b] U un camino regular a trozos. La integral de lnea de f a lo largo de se
i-f
define como
Z Z b
lo
F d = F ((t)) 0 (t)dt. (297)
un
a
Notar que en la ecuacion 297 el integrando es el producto interno de los vectores F ((t)) y 0 (t). Esta integral
lcu
tambien se conoce como integral de lnea de segundo tipo.
o-
En los casos m = 2 o m = 3 tambien se usara una notacion que es muy comun en la mayora de textos de
calculo. El campo vectorial definido como
ca
d
F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z)). (298)
za
za
tambien se escribira como

F (x, y, z) = F1 (x, y, z) i + F2 (x, y, z) j + F3 (x, y, z) k (299)
an
an

done i , j y k son los vectores unitarios canonicos de R3 , y el camino (t) a veces sera tomado como
r (t),
su traza sera denotada por C y las siguientes epxresiones tambien denotaran a la integral 297 sera escrita
como
av
av

Z Z Z Z

c
F dr, Fdr, F dr, F dr. (300)
C C
i-f
Por ultimo, si (t) = (x(t), y(t), z(t)) entonces la integral 297 se evalua como
lo
Z b Z b
0
F ((t)) (t)dt = [F1 ((t))x0 (t) + F2 ((t))y 0 (t) + F3 ((t))z 0 (t)] dt
un
(301)
a a
Por ese motivo, otra manera de escribir la integral 297 es lcu

o-
Z
F1 dx + F2 dy + F3 dz (302)
C
ca
d
La notacion es analoga para el caso R2 .

F : R3 R3 dado por F (x) = x y el camino helicoidal (t) =
za
za
Ejercicio. 179. Sea el campo vectorial Z
(cos(t), sen(t), t), 0 t . Calcule F d.

an
Ejercicio. 180. Evalue la integral de lnea

Z
ydx + zdy + xdz
an
(303)
av
av
C
c
donde C es la curva parametrica x = t, y = t2 , z = t3 , 0 t 1.

i-f
5.1. Propiedades fundamentales de las integrales de lnea

lo
Es de esperarse que las integrales de lnea hereden algunas propiedades de las integrales usuales.
un
Teorema. 81. Sean U Rm , f, g : U R campos escalares, F, G : U Rm campos vectoriales y : [a, b]

lcu
U un camino regular a trozos. Se cumple los siguiente:

o-
a) Linealidad sobre el integrando. Para cualesquiera , R :

Z Z Z
ca
i) (f + g)ds = f ds + gds
d
Z
Z
Z
za
za
ii) (F + G)d = F d + Gd

an
an
76
av
av
-fc
c
d
z
an
za
b) Aditividad respecto al caminio de integracion. Si c [a, b] y
an
av

1 (t) si t [a, c]
(t) = (304)
2 (t) si t [c, b]
av
i-f
entonces
o
Z Z Z
i) f ds = f ds + f ds

un1 2
lo
Z Z Z
ii) F d = F d + F d.
1 1 2
lcu
-
Z Z
do
c) ds = 1ds = l() longitud de .

d) Si |f ((t))| K t [a, b] entonces
ca
do
Z
za

f ds Kl(). (305)

e) Si |F ((t))| M t [a, b] entonces

an
za
Z Z

F d ||F ||ds M l(). (306)
an

av
La demostracion de cada una de las propiedades anteriores es consecuencia directa de la definicion.

c
av
i-f
Otra de las propiedades de las integrales de lnea es su buen comportamiento frente a un cambio de
o
parametro del camino sobre el cual se integra. Para precisar esto, tomemos : [a, b] Rm un caminio
continuo y sea : [c, d] R [a, b] una funcion derivable tal que su derivada 0 nunca es cero en [c, d] y
un
([c, d]) = [a, b] . El camino : [c, d] Rm dado por (t) = ((t)) es continuo y tiene la misma traza que
lo
. Los caminos y as relacionados se denominan equivalentes. Se dice tambien que son parametrizaciones
distintas de la misma curva y que la funcion es un cambio de parametro. De las propiedades de las funciones
lcu
reales derivables de una sola variable se sabe que al ser 0 no nula, entonces solo puede tener un solo signo en
-
todo el intervalo, por lo tanto es o bien creciente o decreciente (estrictamente), en el primer caso diremos que
do
y van en la misma direccion y que conserva la orientacion, mientras que en el segundo decimos que y
van en direcciones opuestas y que invierte la orientacion. El siguiente teorema muestra que las integrales
ca
de lnea tienen un buen comportamiento respecto a un cambio de parametro: mantiene el mismo valor si el
do
za
cambio de parametro conserva la orientacion y solo cambia de signo si el cambio de parametro invierte la
orientacion.
an
Teorema. 82. Comportamiento de una integral frente a un cambio de parametro. Si y son dos
caminos equivalentes regulares a trozos entonces se tiene za
an
Z Z
av
f d = f d (307)

-fc
en caso que y van en la misma direccion; y

av
o
Z Z
f d = f d (308)
i

un
lo
en caso que y van en direcciones opuestas.

Ejercicio. 181. Sea el campo vectorial F (x, y) = (x2 2xy) i + (y 2 2xy) j , calcule la integral de lnea de
lcu
-
dicho campo a lo largo de la parabola y = x2 desde (1, 1) hasta (1, 1).

do
ca
do
za
77
an
za
an
av
fc
z
z
an
an
5.2. El concepto de trabajo como integral de lnea.
av
av
c
Notar que el integrando de la integral en 297 tambien se puede escribir como
0 (t)
i-f
F ((t)) 0 (t) = F ((t)) ||0 (t)|| = F ((t)) T (t)||0 (t)|| (309)
||0 (t)||
lo
0 (t)
un
donde T (t) = es el vector tangente unitario a la curva en el punto t. Entonces el producto interno
||0 (t)||
lcu
F ((t)) T (t) representa a la componente de F ((t)) en la direccion tangente a en el punto (t). Luego
tenemos Z Z
o-
F d = F T ds (310)

Esto significa que toda integral de linea de un campo vectorial se puede expresar como una integral de lnea
ca
d
de un campo escalar.
za
za
Por otro lado, si t0 t1 , , tn = b es una particion P de [a, b], y escogemos ti [ti1 , ti ] podemos
escribir la suma de Riemann asociada a particion puntillada (P, {ti }) y a la integral 310 como
n
an
an
X
F (xi , yi , zi ) T (ti )||0 (ti )||ti (311)
i=1
donde Pi = (xi , yi , zi ) = (ti ).

av
av
c
i-f
lo
un
lcu
o-
ca
d
za
za
an
Cada sumando en la sumatoria 311 puede intepretarse como la componente tangencial del campo en la
an
direccion tangente a en el punto 0 (ti ) multiplicada por la distancia entre Pi y Pi1 . Si F fuera un campo de
av
av
fuerzas, cada sumando correspondera a una aproximacion al trabajo realizado por el campo sobre el pequeno
c
segmento rectilneo de extremos Pi y Pi1 . Luego la integral 311 representa el valor del trabajo total realizado
i-f
por un campo de fuerzas al llevar una partcula desde el punto (a) hasta (b).
Ejercicio. 182. Un campo de fuerzas en el espacio tridimensional viene dado por la formula F (x, y, z) =
lo

yz i + xz j + x(y + 1) k . Calcular el trabajo realizado por f al mover una partcula recorriendo una vez el
un
contorno del triangulo de vertices (0, 0, 0), (1, 1, 1) y (1, 1, 1) en ese orden.
lcu
5.3. Conjuntos Abiertos Conexos. Independencia del Camino.

o-
Hablaremos aqu de como las condiciones topologicas de un conjunto en el espacio pueden determinar
ca
ciertas propiedades de las integrales de lnea. Empezamos con la nocion de conexidad, la cual en realidad,
d
puede ser definida en un contexto mas general, pero que para esta parte del curso bastara interesarnos en la
conexidad de conjuntos abiertos.
za
za
an
an
78
av
av
-fc
c
d
z
an
za
Definicion. 63. Sea U Rm un conjunto abierto, decimos que U es conexo si todo par de puntos de U puede
an
av
unirse mediante un camino regular a trozos cuya traza esta incluida totalmente en U . Esto es, para cualquier
par de puntos p, q en U existe un intervalo [a, b] y un camino regular por trozos : [a, b] U tal que (a) = p
c
y (b) = q.
av
i-f
Cuando un conjunto abierto U Rm no es conexo, entonces es la union de dos o mas conjuntos abiertos
o
no vacos disjuntos.
un
Si F es un campo vectorial definido en un conjunto abierto conexo U . Fijemos p, q U , y consideremos
lo
la integral de lnea de F a lo largo de un camino regular a trozos que une p y q. El valor de una tal integral
depende obviamente del camino escogido. Sin embargo, hay campos vectoriales en los que la integral depende
lcu
-
solamente de los puntos extremos p y q y no del camino escogido. En ese caso decimos que la integral de lnea
do
de F es independiente del camino en U .
Para ver que campos vectoriales tienen integrales de lnea independientes del camino, primero el segundo
ca
do
teorema fundamental del calculo, el cual nos dice que
za
Z b
0 (t)dt = (b) (a) (312)
an
za
a
Para cualquier funcion continua en [a, b] con derivada continua en ]a, b[.
an
av
Ahora generalizamos este resultado a integrales de lnea:

c
Teorema. 83. Segundo Teorema Fundamental del calculo para integrales de lnea. Si f es un
av
campo escalar de clase C 1 con gradiente continuo f en un conjunto conexo abierto U Rm , entonces para
i-f
o
dos puntos cualesquiera p y q unidos en U por un camino regular a tozos se cumple

Z
un
f d = f (p) f (q). (313)

lo
En palabras sencillas, la integral de lnea de un campo vectorial es independiente del camino si dicho campo
lcu
es igual al gradiente de algun campo escalar de clase C 1 definido en algun conjunto conexo. A tales campos
-
vectoriales se les denomina campos gradientes.

do
Ejercicio. 183. Decimos que un camino : [a, b] Rm es cerrado si (a) = (b). Pruebe que la integral
ca
de lnea de un gradiente continuo en un abierto conexo U es cero a lo largo de todo camino cerrado regular a
do
za
trozos en U .
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
79
an
za
an
av
fc
z
z
an
an
av
av
c
5.4. Teorema de Green en el plano.
i-f
El segundo teorema fundamental del calculo para integrales de lnea expresa en resumen que para conocer
el valor de la integral de lnea de un gradiente sobre una curva, basta conocer los valores extremos de la funcion
lo
que origina a tal gradiente. Ahora veremos un teorema analogo que expresa una integral doble sobre cierta
un
region como una integral de lnea sobre la curva que constituye su frontera. Este teorema se conoce como el
lcu
Teorema de Green. Debido a la complejidad de la demostracion del caso general, enunciamos y demostramos
primero el caso particular mas sencillo.
o-
Teorema. 84. Teorema de Green en un rectangulo. Sea R = [a, b] [c, d] R2 un rectangulo en el
plano. Sean P, Q campos escalares de clase C 1 definidos sobre un conjunto abierto que contiene a R. Si es
ca
una curva cerrada que recorre la frontera de R en sentido antihorario entonces
d
ZZ Z
Q P
za
za
dxdy = P dx + Qdy. (314)
R x y
Estrictamente hablando hay cierta vaguedad e informalidad en decir que un camino recorra su traza en
an
an
sentido antihorario. Para el caso tratado en el teorema 84 resulta facil entender esta idea, lo mismo que para
todas las curvas que trataremos en este curso. Sin embargo la verdadera formulacion del teorema de Green
da una definicion formal de este hecho con ayuda un objeto matematico concreto: una forma diferencial. Por
av
av
supuesto, dados los objetivos del presente curso, tendremos solo que conformarnos con comprobar de manera
c
visual que eso es lo que sucede.
i-f
Para avanzar un paso mas en esta seccion y formular el Teorema de Green en un contexto menos sencillo
que el del Teorema 84, definimos lo que se entiende por curva de Jordan.
lo
Definicion. 64. Una curva cerrada : [a, b] Rm se denomina curva cerrada simple o curva de Jordan si
un
para cualquier par de puntos t1 6= t2 ]a, b] se tiene (t1 ) 6= (t2 ).

lcu
Una curva de Jordan con traza C en el plano descompone R2 en dos conjuntos abiertos conexos y disjuntos
o-
que tienen precisamente a la traza C como frontera comun. Una de estas regiones es acotada y se llama
interior a C. La otra es no acotada y se llama exterior a C. Nuevamente hay cierto grado de informalidad
ca
en lo que acabamos de enunciar, pero para las curvas con las que trabajaremos en este curso (por ejemplo
d
circunferencias, elipses, etc), resultara evidente cual es el interior de C y cual el exterior.

za
za
Ahora ya podemos enunciar el Teorema de Green en una forma algo mas general:
Teorema. 85. Teorema de Green para regiones planas limitadas por curvas de Jordan regulares
a trozos. Sean P, Q campos escalares de clase C 1 definidos en un conjunto abierto U R2 . Sea una
an
curva de Jordan regular regular a trozos y sea R la union de la traza C y de su interior. Supongamos que R
esta contenida en U . Entonces
ZZ
Q P
I
an
av
av
dxdy = P dx + Qdy. (315)
c
R x y C
i-f
I
Donde el smbolo denota en general a una integral de lnea sobre una curva cerrada que sera asumida en
lo
sentido antihorario a menos que se indique lo contrario.

un

Ejercicio. 184. Use el Teorema de Green para calcular el trabajo efectuado por el campo de fuerza F (x, y) =

lcu
(2x y) i + (x y) j al mover una partcula rodeando una vez la circunferencia de ecuacion x2 + y 2 = 4 en

sentido antihorario.
o-
Ejercicio. 185. Calcule la integral

ca
I
(5 xy y 2 )dx (2xy x2 )dy
d
(316)
C
za
za
donde C es la frontera del rectangulo [0, 1] [0, 1].

an
an
80
av
av
-fc
c
d
z
an
za
Ejercicio. 186. El area expresada como una integral de lnea. Pruebe que si C es una curva de Jordan simple
an
av
y R es la union de C con su interior entonces
I
1
c
A(R) = ydx + xdy. (317)
av
2 C
i-f
o
Se puede avanzar un poco mas incluso en la formulacion del teorema de Green en el plano. Para tal
formulacion hace falta la siguiente definicion.
un
lo
Definicion. 65. Conjunto plano simplemente conexo. Sea U conjunto abierto y conexo. Se dice que U
es simplemente conexo si para toda curva de Jordan C contenida en U , la region interior a C esta contenida
lcu
en U . Un conjunto que no es simplemente conexo se denomina multiplemente conexo.
-
do
Un anillo es un ejemplo de un conjunto que no es simplemente conexo. Otra manera (equivalente) de
definir la conexion simple es decir que un conjunto es simplemente conexo si su complemento (respecto a R2 )
es conexo. De manera practica, pero informal podemos decir que un conjunto es simplemente conexo cuando
ca
do
za
no tiene agujeros.
Teorema. 86. Teorema de Green para regiones multiplemente conexas. Sean C1 , C2 , , Cn , curvas
de Jordan regulares a trozos que tienen las propiedades siguientes:
an
za
a) Dos cualesquiera de esas curvas no se intersectan.
an
av
b) Todas las curvas C2 , C3 , Cn estan en el interior de C.
c) La curva Ci esta en el exterior de la curva Cj para cada i 6= j, i 2, j 2.

c
av
Designemos con R la region que consiste en la union de C1 con la porcion del interior de C1 que no esta dentro
i-f
o
de cualquiera de las curvas C2 , C3 , , Cn . Sean P, Q campos escalares de clase C 1 definidas sobre un conjunto
abierto que U que contiene a R. Entonces
un
n I
lo
ZZ I
Q P X
dxdy = P dx + Qdy (P dx + Qdy). (318)
R x y C1 Ck
k=2
lcu
-

Ejercicio. 187. Sea U = (x, y) R2 : x2 + y 2 > 0 , P, Q : U R campos escalares definidos como
do
y x
P (x, y) = , Q(x, y) = (319)
x2 + y 2 x2 + y 2
ca
do
za
para todo (x, y) U . Sea C una curva de IJordan regular a trozos contenida en U tal que (0, 0) esta en el
interior de C. Halle los posibles valores de P dx + Qdy.
an
El siguiente resultado es consecuencia directa del Teorema 86 za

an
av
Teorema. 87. (Invarianza de una integral de lnea al deformar el camino). Sean P, Q dos campos
P Q
escalares de clase C 1 sobre un conjunto abierto y conexo U del plano y que cumplen = sobre U . Sean
y x
-fc
C1 y C2 dos curvas de Jordan regulares a trozos en U que cumplen las siguientes condiciones:
av
o
a) C2 esta en el interior de C1 .
i
b) Los puntos interiores de C1 que son exteriores a C2 pertenecen a U .

un
lo
Entonces se cumple I I
P dx + Qdy = P dx + Qdy, (320)
lcu
-
C1 C2
do
donde ambas curvas se recorren en el mismo sentido.

ca
do
za
81
an
za
an
av
fc
z
z
an
an
av
av
c
5.5. El Primer Teorema Fundamental del calculo para Integrales de Lnea. Con-
i-f
diciones Necesarias y Suficientes para que un campo vectorial sea un campo
gradiente.
lo
un
En la seccion 5.3 vimos que la integral de un campo gradiente definido en un abierto conexo U es
independiente del camino, esto es , para cualquier par de puntos p y q en U , la integral de lnea es la
lcu
misma sobre cualquier camino regular a trozos que una a p y q. Esto lo demostramos con ayuda del Segundo
Teorema Fundamental del Calculo. Ahora extenderemos el Primer Teorema Fundamental del Calculo para
o-
integrales de lnea y as obtener condiciones equivalentes a la independencia del camino de una integral de lnea.
ca
En el caso de funciones reales de una sola variable, el Primer Teorema Fundamental del Calculo dice que
d
para una funcion continua f : [a, b] R, la funcion definida por
za
za
Z x
(x) = f (t)dt (321)
a
an
an
es derivable y 0 (x) = f (x). A fin de extender el Teorema, tomemos un campo vectorial continuo F : U
Rm Rm definido sobre un conjunto abierto conexo U sobre el cual fijamos un punto p. Para cualquier x U
se puede encontrar un camino : [a, b] U regular a trozos que una a a con x, luego podemos definir
av
av
Z x
c
Z
(x) = F d = F d (322)
i-f
donde la ultima igualdad es una notacion que estableceremos en adelante y representara la integral de lnea
lo
del campo vectorial F sobre un camino (regular a trozos) que una a p con x. Para que la expresion 323 defina
un
correctamente a como una funcion con domino U , el valor de la integral en esa expresion no debe cambiar
si se toma otro camino que une p con x, algo que se cumple cuando la integral es independiente del camino.
Con esto en mente formulamos el siguiente teorema:
lcu
o-
Teorema. 88. (Primer Teorema Fundamental del Calculo para Integrales de Lnea.) Sea F : U
Rm Rm un campo vectorial continuo definido en un conjunto abierto conexo U tal que la integral de lnea
ca
de F es independiente del camino en U y sea p U . Para cualquier x U definamos
d
Z x
za
za
(x) = F d (323)
p
donde es cualquier camino regular a trozos que une p con x. Entonces es de clase C 1 en U y = f .
an
Cuando un campo vectorial F es el gradiente de un campo escalar , decimos que es una funcion
potencial para F .
an
av
av
c
Los Teoremas Fundamentales del Calculo para Integrales de Lnea junto con el ejemplo 183 dan la demos-
tracion del siguiente Teorema:
i-f
Teorema. 89. (Condiciones Necesarias y Suficientes para que un campo vectorial sea un gra-
diente.) Si F es un campo vectorial continuo definido en un conjunto conexo abierto U Rm , entonces son
lo
equivalentes las siguientes tres afirmaciones:

un
lcu
a) F es el gradiente de cierta funcion potencial en U.

b) La integral de lnea de F es independiente del camino en U .
o-
c) La integral de lnea de F alrededor de todo camino cerrado regular a trozos contenido en U es nula.
ca
Ejercicio. 188. Pruebe que para el campo vectorial F definido en R2 por F (x, y) = x i + xy j , la integral
de lnea es cero sobre cualquier circunferencia centrada en el orgen, pero este campo no es un gradiente.
za
za
an
an
82
av
av
-fc
c
d
z
an
za
5.6. Condiciones Necesarias para que un campo vectorial sea un campo gradien-
an
av
te.
El siguiente Teorema da un criterio facil para descartar que un campo vectorial dado es un campo gradiente.
av
Teorema. 90. Si F = (F1 , F2 , , Fm ) es un campo vectorial de clase C 1 sobre un conjunto abierto U Rm
i-f
o
y si F es un gradiente en U entonces las derivadas parciales de los componentes de F estan relacionadas por
las ecuaciones:
Fi Fj
un = (324)
lo
xj xi
en todos los puntos de U y para cualesquiera i, j = 1, 2, , m.
lcu
-
Ejercicio. 189. Pruebe que el campo definido por F (x, y) = (xy, 2xy) no es un campo gradiente.
do
Ejercicio. 190. Pruebe que el campo vectorial definido en el ejemplo 187 satisface las condiciones 327 del
Teorema 90 y sin embargo no es un campo gradiente.
ca
do
za
El ejemplo anterior muestra que la condicion 327 no es suficiente para que F sea un campo gradiente. En
realidad hara falta una condicion geometrica sobre el conjunto dominio.
an
za
Teorema. 91. Sea U R2 un subconjunto abierto simplemente conexo del plano y sena P, Q : U R campos
escalares de clase C 1 sobre U entonces el campo vectorial F = (P, Q) es un campo gradiente en U si y solo si
an
av
P Q
= (325)
y x
c
av
en todos los puntos de U .
i-f
o
Aunque solo se ha dado la definicion de conjunto simplemente conexo para conjuntos en el plano, tambien
se puede dar la definicion en dimensiones mayores y seguira cumpliendose el Teorema 91, sin embargo eso no
un
se hara en este curso pues tal definicion requiere desarrollar otras herramientas previas. En el fondo la nocion
lo
de conexidad simple siempre resume el hecho de decir informalmente que un conjunto no tenga agujeros.
Por otro lado, hay una definicion de un tipo de conjunto en cualquier dimension que lo convierte en un caso
lcu
particular de conjunto sin agujeros. Esta definicion es la de conjunto convexo.
-
do
Definicion. 66. Conjunto Convexo. Se dice que un conjunto K Rm es convexo cuando para cada par
de puntos p, q K, el segmento rectilneo que los une esta contenido en K, es decir
ca
do
{tq + (1 t)p : t [0, 1]} K.
za
(326)
Un conjunto K en el que existe un par de puntos p y q tales que el segmento rectilneo que los une no
esta totalmente contenido en K es no convexo. En el grafico, la figura (a) muestra un conjunto convexo,
an
mientras que la figura (b) un conjunto no convexo.

za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
83
an
za
an
av
fc
c
d
z
an
za
an
av
Puesto que un conjunto convexo es un caso particular de conjunto sin agujeros en cualquier dimension, entonces
es de esperase que se cumpla el siguiente Teorema, el cual como ya se ha mencionado debera formularse para
av
conjuntos simplemente conexos en cualquier dimension, pero por no poder dar la definicion correcta en este
i-f
o
curso, solo se da para conjuntos convexos, cuya definicion si se ha dado por ser mas sencilla de formular.
Teorema. 92. Sea F = (F1 , F2 , , Fm ) : U Rm Rm un campo vectorial de clase C 1 sobre un conjunto
un
abierto convexo U Rm . Entonces F es un gradiente en U si y solo si derivadas parciales de los componentes
lo
de F estan relacionadas por las ecuaciones:
Fi Fj
= (327)
lcu
xj xi
-
do
en todos los puntos de U y para cualesquiera i, j = 1, 2, , m. En ese caso, si fijamos p U , la funcion
: U R definida por Z
ca
(x) = F d (328)
do
za

es un potencial de F . Aqu representa al camino rectilneo que une a p con x.
an
za
La importancia del Teorema 92 radica no solo en que da una condicion equivalente a la existencia de un
potencial, sino que ademas nos dice como calcularlo pues si parametrizamos el camino usado en la integral
328 como
an
av
(t) = tx + (1 t)p = p + t(x p), t [0, 1] (329)

entonces (0) = p, (1) = x, 0 (t) = x p y dicha formula puede ser escrita de manera mas explcita como:
c
av
Z 1
i-f
(x) = F (p + t(x p)) (x p)dt. (330)

o
0
un
5.7. Algunos ejemplos para construir funciones potenciales.
lo
La formula 323 en el Primer Teorema Fundamental del Calculo para Integrales de Lnea nos proporciona
un metodo para construir funciones potenciales para campos vectoriales definidos sobre un abierto conexo
lcu
-
U cuyas integrales de lnea son independientes del camino. El metodo consiste en fijar un punto p U
do
cualquiera y luego para cada x U , evaluar la integral de lnea del campo sobre un camino regular a tro-
zos que une p y x. Evidentemente se escogera un camino sobre el cual la integral de lnea sea sencilla de calcular.
ca
do
za
El caso mas sencillo que ilustra esta situacion es el de un rectangulo.
(x0 , y) (x, y)
an

za
an
av
-fc

av
o
(x0 , y0 ) (x, y0 )
i
un
lo
Para integrar el campo F = (F1 , F2 ) desde p = (x0 , y0 ) hasta (x, y), podemos usar el camino
(

t i + y0 j , t [x0 , x]
lcu
(t) =

(331)
-
x i +tj , t [y0 , y]
do
En este caso: Z Z x Z y
ca
(x, y) = F d = F1 (t, y0 )dt + F2 (x, t)dt. (332)

do
za
x0 y0
84
an
za
an
av
fc
c
d
z
an
za
Mientras que si usamos el camino
an
av
(

x0 i + t j , t [y0 , y]
(t) =

(333)
c
t i +y j , t [x0 , x]
av
i-f
o
se tendra Z Z y Z x
(x, y) = F d = F2 (x0 , t)dt + F1 (t, y)dt. (334)
un
y0 x0
lo
Por la independencia del camino, las integrales en las expresiones 332 y 334 son iguales y esta bien definida.
Ejercicio. 191. Sea F : R2 R2 el campo vectorial definido por
lcu
-
do

1 xy
y 3 + y x2 y, x3 + x y 2 x .

F (x, y) = 2 cos 2 (335)
(x + y 2 + 1)2 x + y2 + 1
ca
do
Halle un potencial para F.
za
Otro caso que merece especial atencion es cuando el dominio es un conjunto abierto convexo que contiene
al orgen. En ese caso podemos hacer p = 0 en la ecuacion 330 y construir un potencial como
an
za
Z 1
(x) = F (tx) xdt. (336)
0
an
av
Ejercicio. 192. Use la formula 336 para calcular un potencial para el campo vectorial F (x, y) = (x+4y, 4x+y)
definido sobre R2 .
c
av
i-f
Para la funcion del ejemplo anterior, tambien pudimos haber calculado una funcion potencial realizando
o
el calculo de antiderivadas por medio del proceso inverso a la derivacion parcial. De hecho, este metodo es
usualmente el mas usado.
un
F (x, y) = (exy (1 + xy), x2 exy ). lo

Ejercicio. 193. Calcule una funcion potencial para el campo vectorial F definido en R2 por
(337)
lcu
-
do
Ejercicio. 194. Sea p R. Halle un potencial para el campo vectorial F : Rm {0} Rm definido por
p
F (x) = kxk x.
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
85
an
za
an
av
fc
c
d
z
an
za
an
av
6. Integrales de Superficie.
av
i-f
Tal como se extendio la nocion de integral de una funcion sobre un intervalo a la integral sobre un camino,
o
ahora podemos extenderla a la integral sobre una superficie. Hasta ahora hemos visto en los captulos anteriores
superfices definidas por la ecuacion F (x, y, z) = 0 o por la ecuacion z = f (x, y) , siendo esta ultima un caso
un
particular de la primera. Para el calculo de integrales sobre superficies necesitaremos expresar tales conjuntos
lo
de una manera particular que haga mas facil esta tarea.
lcu
-
6.1. Superficies Parametricas.
do
Decimos que un conjunto S R3 es una superficie si existe una funcion sobreyectiva r : D S definida
en un conjunto conexo D R2 . Una tal funcion r recibe el nombre de parametrizacion de S. As, podemos
ca
escribir un punto (x, y, z) S de alguna de las siguientes maneras:
do
za

(x, y, z) = r(u, v) = (x(u, v), y(u, v), z(u, v)) = x(u, v) i + y(u, v) j + z(u, v) k (338)
an
za
Si r es diferenciable o es de clase C 1 (lo cual equivale a decir que x(u, v), y(u, v) y z(u, v) son diferenciables o
de clase C 1 respectivamente), llamamos a S superficie diferenciable o de clase C 1 .
an
av
av
i-f
o
un
lo
lcu
-
do
ca
do
za
Ejercicio. 195. Exprese en forma parametrica una superficie de la forma z = f (x, y).
an
Ejercicio. 196. Parametrice la superfice de ecuacion z = 3x2 + 8xy.

Ejercicio. 197. Identifique y grafique la superficie con ecuacion
za
an
av
r(u, v) = (cos(u), sen(u), v) (339)

-fc
Ejercicio. 198. Exprese la esfera unitaria como una superficie parametrica.

av
o
Ejercicio. 199. Hallar la ecuacion implcita de la superficie con ecuacion parametrica

i
r(u, v) = (au cos(v), au sen(v), bu); v [0, 2], a > 0, b > 0. (340)
un
lo
Ejercicio. 200. Halle una parametrizacion para el hiperboloide
x2 y 2 + z 2 = 1.
lcu
(341)
-
do
Ejercicio. 201. Parametrice la superficie definida implcitamente como

x2 y2 z2
ca
+ + = 1. (342)
do
a2 b2 c2
za
86
an
za
an
av
fc
c
d
z
an
za
Ejercicio. 202. Parametrice la superficie de revolucion obtenida al hacer girar el grafico de la funcion y =
an
av
f (x), definida en el intervalo [a, b] alrededor del eje X.
Ahora definiremos el plano tangente a la superficie parametrizada S en el punto
av
P0 = r(u0 , v0 ) = (x0 , y0 , z0 ) S. (343)
i-f
o
Notar que si mantenemos a u constante en u0 y dejamos variar a v entonces la funcion r(u0 , v) es en realidad
un camino con parametro v cuya traza esta en S y pasa por P0 . El vector tangente a dicho camino en el punto
P0 es
un
lo
r x
y
z

rv (u0 , v0 ) = (u0 , v0 ) = (u0 , v0 ) i + (u0 , v0 ) j + (u0 , v0 ) k . (344)
v v v v
lcu
-
De la misma forma si mantenemos a v constante en v0 y dejamos variar a u definimos un camino r(u, v0 ) con
do
parametro u cuyo vector tangente en P0 es
r x
y
z

ru (u0 , v0 ) = (u0 , v0 ) = (u0 , v0 ) i + (u0 , v0 ) j + (u0 , v0 ) k . (345)
ca
u u u u
do
za
Se tendra entonces que cuando los vectores ru (u0 , v0 ) y rv (u0 , v0 ) son linealmente independientes (osea
an
za
an
av
av
i-f
o
un
lo
lcu
-
do
ca
do
za
ninguno de ellos es multiplo del otro), entonces dichos vectores generan un plano que que pasa por P0 y es
tangente a la superficie S en el punto P0 , luego, el producto vectorial ru (u0 , v0 ) rv (u0 , v0 ), el cual llamaremos
producto vectorial fundamental de la parametrizacion r, es un vector no nulo y normal a dicho plano.
an
Luego, la ecuacion del plano tangente a S en el punto P0 es:

(x x0 , y y0 , z z0 ) [ru (u0 , v0 ) rv (u0 , v0 )] = 0 za (346)
an
av
Ejercicio. 203. Halle la ecuacion del plano tangente a la superfice de ecuacion

x = u2 , y = v2 , z = u2 + v 2 (347)
-fc
av
en el punto correspondiente a u0 = 1, v0 = 1.
o
Ejercicio. 204. Use la parametrizacion del ejemplo 195 para obtener la ecuacion del plano tangente a una
i
superficie de la forma z = f (x, y).

un
lo
Ejercicio. 205. Halle la expresion para un vector unitario normal a la superficie

x = cos(v) sen(u), y = sen(v) sen(u), z = cos(u) (348)
lcu
-
para u [0, ], v [0, 2].

do
Cuando el producto vectorial fundamental sea no nulo en un punto de la superfice S, diremos que la
superficie (o mejor dicho su parametrizacion r) es suave en P0 y si esto sucede en todos los puntos P0 de S
ca
do
diremos que S es suave. a

za
87
an
za
an
av
fc
c
d
z
an
za
6.2. Area de una Superficie.
an
av
A partir de este punto en adelante consideraremos que las superficies a tratar seran uniones de superficies
Si parametrizadas por ri : Di Si tales que cada ri es inyectiva (excepto quizas en la frontera de Di )
av
y ademas que sean suaves excepto quizas en un numero finito de puntos. Con esto en mente ya sabremos
i-f
que una parametrizacion dada cubrira a la superficie una sola vez y la definicion de area que daremos ahora
o
tendra sentido.
un
Definicion. 67. Area de una Superficie. Para una superficie S parametrizada por r : D S definimos
lo
Z
A(S) = kru rv k dudv (349)
lcu
D
-
do
al cual llamaremos Area de S. Si S es union de superficies Si (con las condiciones enunciadas anteriormente)
entonces el area de S se calcula como la suma de las areas de los Si .
ca
do
Ejercicio. 206. Escoja una parametrizacion adecuada de la superficie del ejemplo 201 para determinar su
za
area.
Ejercicio. 207. Determine el area de la superficie de revolucion del ejmplo 202.
an
za
Ejercicio. 208. Se hace girar una circunferencia que esta contenida en el plano x = 0 de centro en (0, R, 0)
y radio r, donde 0 < r < R, alrededor del eje Z hasta completar una sola vuelta. Halle la parametrizacion de
an
av
la superficie obtenida y su area.

c
av
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
88
an
za
an
av
fc
z
z
an
an
CM211A- Prof: Angelo Morante. Clase 37 23/11/06/2016
av
av
c
6.3. Integral de Superficie de un Campo Escalar.
i-f
Dada una parametrizacion r : D S de una superficie suave S y f : S R una funcion continua. Se
define la integral de superficie del campo escalar f sobre la superficie S como
lo
un
ZZ ZZ ZZ
f ds = f ds = f (r(u, v)) kru rv k dudv (350)
lcu
S r S
las primeras igualdades son establecidas por notacion. Dicha integral tambien es conocida como integral de
o-
superficie de primer tipo.
ca
La expresion 350 da indicios que la definicion de la integral de superficie del campo escalar f sobre la
d
superficie S parece depender de la parametrizacion de la misma, sin embargo, se puede probar, (algo que no
za
za
sera detallado en el curso), que para el tipo de parametrizaciones suaves que estamos considerando la integral
en 350 es independiente de la parametrizacion. Luego, si r1 : D1 : S y r2 : D2 S son dos parametrizaciones
ZZ ZZ
an
an
f ds = f ds (351)
r1 r2
Ejercicio. 209. El cilindro x2 + y 2 = 2x recorta una porcion de superficie S en la hoja superior del cono
av
av
x2 + y 2 = z 2 . Calcular la integral de superficie
c
ZZ
i-f
(x4 y 4 + y 2 z 2 z 2 x2 + 1)ds. (352)

S
lo
un
ZZ
(x2 + y 2 )ds. (353)
S
donde S es la superficie del cono z 2 = 3(x2 + y 2 ) con 0 z 3.

lcu
o-
Ejercicio. 211. Si S es la esfera x2 + y 2 + z 2 = a2 y a > 0, evalue

ca
ZZ
d
(z 4 )ds. (354)
S
za
za
Notar que en el caso particular en que f es la funcion constante 1 entonces la integral de superficie de f
sobre S es el rea de S, es decir ZZ
an
6.3.1. Aplicaciones.
A(S) = 1ds.
S
an (355)
av
av
Supongamos que = (x, y, z) es la funcion de densidad de una lamina curvada S de grosor despreciable.
c
Entonces la masa m de dicha lamina se calcula como:

i-f
ZZ
lo
m= (x, y, z)ds. (356)

un
S
lcu
Si denotamos por (x, y, z) las coordenadas del centro de masa de S entonces

ZZ
1
o-
x= x(x, y, z)ds.
m S
ZZ
1
ca
y= y(x, y, z)ds. (357)

d
m
Z ZS
1
za
za
z= z(x, y, z)ds.
m S
an
an
89
av
av
-fc
c
d
z
an
za
Por otro lado, se define el momento de inercia de la lamina S alrededor de una recta L, denotado por IL como
an
av
ZZ
IL = d2 (x, y, z)(x, y, z)ds. (358)
c
S
av
i-f
donde d(x, y, z) es la distancia del punto (x, y, z) a la recta L.
o
Ejercicio. 212. Demostrar que el momento de inercia de un recipiente esferico alrededor de un diametro es
2
un
igual a ma2 , siendo m la masa del recipiente y a su radio.
lo
3
6.4. Integral de Superficie de un Campo Vectorial.
lcu
-
Sea r : D S una parametrizacion de una superficie suave S y F : S R3 una funcion continua, definimos
do
la integral de supeficie del campo vectorial F con respecto a la parametrizacion r mediante la igualdad:
ca
ZZ ZZ
do
za
F ds = hF (r(u, v)), ru rv i dudv. (359)

S D
Para expresar de forma mas explcita la integral en 359, notemos que si F = (P, Q, R) y r(u, v) =
an
za
(x(u, v), y(u, v), z(u, v)) entonces

P (r(u, v)) Q(r(u, v)) R(r(u, v))
an
av
x y z
hF (r(u, v)), ru rv i = det u (u, v) (u, v) (u, v)

x u u
y z
(360)
c
(u, v) (u, v) (u, v)
v v v
av
i-f

(y, z) (z, x) (x, y)
o
= P (r(u, v))det + Q(r(u, v))det + R(r(u, v))det

(u, v) (u, v) (u, v)
un
luego,
ZZ
F ds =
ZZ
P (r(u, v))det

(y, z)

+ Q(r(u, v))det

(z, x)
lo

+ R(r(u, v))det

(x, y)

dudv (361)
lcu
(u, v) (u, v) (u, v)
-
S D
do
motivo por el cual, dicha integral tambien se expresa (por notacion) como:
ZZ
ca
P (x, y, z)dydz + Q(x, y, z)dzdx + R(x, y, z)dxdy (362)
do
za
o simplemente: ZZ
an
S
P dydz + Qdzdx + Rdxdy.
za
Ejercicio. 213. Use la parametrizacion hallada en el ejemplo 195 de la superficie explcita z = f (x, y) para
(363)
an
av
escribir la formula 359 en este caso.

-fc
ZZ
av
xdydz + ydzdx + zdxdy. (364)

o
S
donde S es la esfera de radio 1 centrada en el orgen parametrizada en coordenadas esfericas.
i
un
lo
lcu
-
do
ca
do
za
90
an
za
an
av
fc
c
d
z
an
za
an
av
6.5. Superficies orientables.
av
A diferencia de la integral de superficie de un campo escalar, la integral de superfice de un campo vectorial
i-f
o
no es independiente de la parametrizacion, esto puede verse inmediatamente si en lugar de parametrizar

la superficie como r(u, v) la parametrizamos como r(v, u), es decir si solo cambiamos el orden de laas
variables en el dominio sin hacerlo en la regla de corrspondencia. Para ser mas explcitos, en el ejemplo
un
lo
364 usamos la parametrizacion r(, ) = (sen() cos(), sen() sen(), cos()) y obtuvimos como resultado
que el valor de la integral pedida es 4, sin embargo, el resultado es 4 si tomamos la parametrizacion
r(, ) = (sen() cos(), sen() sen(), cos()). La razon es porque en el segundo caso el producto vectorial
lcu
-
fundamental es justamente el negativo del producto vectorial fundamental del primer caso. Geometricamente
do
esto se aprecia observando que con la primera parametrizacion el vector normal dado apunta hacia el interior
de la esfera unitaria, mientras que en el segundo caso apunta hacia el exterior.
ca
do
za
El que podamos hablar de dos direcciones posibles para el vector normal en ciertas superficies da lugar a la
nocion de orientacion. Una orientacion de una superficie S se define como una funcion continua n : S R3
tal que para cada p S, n(p) es un vector normal unitario a la superficie S en el punto p. Diremos que S es
an
za
orientable cuando exista una tal orientacion. Obviamente n tambien define una orientacion de S.
Ejercicio. 215. Pruebe que una superficie dada en forma explcita z = f (x, y) es orientable. (Se supone que
f : U R2 R es de clase C 1 en el abierto U .)
an
av
Ejercicio. 216. Pruebe que toda superficie dada en forma implcita es orientable, es decir si g : U R3 R
es de clase C 1 sobre el abierto U y tal que g(x, y, z) 6= 0, entonces la superficie
c
av
i-f
S = {(x, y, z) U : g(x, y, z) = 0} . (365)

o
es orientable.
un
Ejercicio. 217. Obtenga una orientacion para la esfera de radio r > 0.
lo
En el caso general de una superficie S parametrizada por r : D S, un campo de vectores normales a
lcu
dicha superficie esta dado por
-
do
ru rv ru rv
r1 (x, y, z) .

n(x, y, z) = (u, v) = (366)
kru rv k kru rv k
ca
do
Notar que justamente esta formula es la que se ha aplicado en el ejmplo 215.
za
Las superficies sobre las cuales hagamos los calculos en este curso seran todas orientables y ademas
conexas (una sola pieza) as que en ellas solo habra la posibilidad de encontrar dos orientaciones. Mejor
an
za
dicho, si n : S R3 es una orientacion definida sobre la superficie S entonces n es la otra orientacion. Con
esto en mente ya estamos preparados para analizar la independencia de la parametrizacion para integrales
de superficie de campos vectoriales. Lo que se espera es ir en analoga a la integral de lnea de un campo
an
av
vectorial, salvo que en este caso se hablara de orientacion en lugar de direccion del recorrido.
-fc
Si r : D S es una parametrizacion de una superficie oritentable que determina una orientacion n la cual
av
como ya vimos esta dada por la expresion 366, entonces por la expresion 359 la integral de superficie de un
o
campo vectorial continuo F : S R3 usando la parametrizacion r se puede escribir como:

i
ZZ ZZ
un
F ds = hF (r(u, v)), ru rv i dudv

lo
S
Z ZD
= hF (r(u, v)), n(r(u, v))i kru rv k dudv
lcu
-
D
ZZ (367)
do
= f (r(u, v)) kru rv k dudv

Z ZD
ca
= f ds.
do
za
91
an
za
an
av
fc
c
d
z
an
za
donde f : S R es el campo escalar dado por f (x, y, z) = hF (x, y, z), n(x, y, z)i. Por este motivo se suele
an
av
denotar por ZZ ZZ
F n ds, o hF, ni ds (368)
c
S S
av
i-f
la integral de superficie del campo vectorial F sobre S con la orientacion n.
o
La expresion 367 dice que una integral de superficie de un campo vectorial sobre una superfice orientable
un
puede transformarse en una integral de superficie de un campo escalar. Bajo esta observacion se deduce
lo
entonces, por la independencia de la parametrizacion para integrales de superficie de campos escalares, que si
r1 : D1 S y r2 : D2 S son dos parametrizaciones de una superficie orientable S entonces
lcu
- ZZ ZZ
F ds = F ds (369)
do
r1 r2
cuando r1 y r2 determinan la misma orientacion y
ca
do
za
ZZ ZZ
F ds = F ds (370)
r1 r2
an
za
cuando r1 y r2 determinan orientaciones opuestas.
La notacion establecida en la expresion 368 propicia la siguiente interpetacion de la integral de superficie
an
av
de un campo vectorial F sobre una superficie con un campo de vectores normales n: El producto interno
F n representa la componente Fn de F en la direccion n normal a la superficie, luego, la integral en cuestion
c
representara la parte del campo F que atraviesa a la superfice S, algo que en adelante recibira el nombre de
av
flujo de F a traves de S.
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
Ejercicio. 218. Calcule el flujo del campo F (x, y, z) = (x, y, z) a traves de la porcion del plano x + y + z = 1
an
av
en el primer octante, con sus normales apuntando hacia el exterior (con la tercera coordenada positiva).
Ejercicio. 219. Calcule el flujo del campo F (x, y, z) = (0, xyz, x2 y 2 z 2 ) a traves de la porcion del plano yz
-fc
av
correspondiente a 1 y 1, 1 z 1 con sus normales apuntando en la direccion del vector (1, 0, 0).
o
Si S es una superficie cerrada orientable entonces de manera intuitiva y por inspeccion visual se puede
i
distinguir dos campos de vectores normales a S uno que apunta al exterior y otro que apunta hacia el interior
un
de S. Por costumbre, cuando se pida calcular la integral de un campo vectorial sobre una superficie cerrada
lo
orientable, se calculara usando el vector normal exterior, a menos que se indique lo contrario.
lcu
Ejercicio. 220. Calcular la integral de superficie

-
do
ZZ
(x + y)dydz + (y + z)dzdx + (x + z)dxdy (371)
S
ca
do
donde S es la superficie frontera del solido limitado por z = 4 x2 y 2 y z = 0.

za
92
an
za
an
av
fc
c
d
z
an
za
an
av
av
i-f
o
un
lo
Figura 7: Cinta de Moebius
lcu
-
do
Cabe mencionar, sin hacer hincapie en ello, la existencia de superficies no orientables. El ejemplo mas
ca
conocido de una tal superficie es la banda de Moebius que se muestra en la figura sobre la cual no es
do
za
posible definir un campo continuo de vectores, pues empezando por un punto y recorriendo toda la superficie
se regresa al mismo punto con una normal en sentido contrario. En terminos sencillos, una persona que camine
por tal superficie empezara su recorrido en un punto y cuando vuelva a pasar por segunda vez por el mismo
an
za
punto lo hara caminando cabeza abajo!.
an
av
av
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
93
an
za
an
av
fc
z
z
an
an
av
av
c
6.6. Los Teoremas de Stokes y de Gauss
i-f
En esta seccion haremos uso de los conceptos de divergencia y rotacional de un campo vectorial F =

lo
P i + Q j + R k , denotados por divF y rotF respectivamente y definidos como
un
P Q R
divF = + + . (372)
lcu
x y z
y
o-

R Q
P R Q P

rotF = i + j + k. (373)
y z z x x y
ca

d
Una manera practica de recordar el rotacional del campo F = P i + Q j + R k es escribirlo como un producto
vectorial de la siguiente manera
za
za

i j k
= R Q
P R Q P
an
an
rotF = det i + j + k. (374)
x y z y z z x x y
P Q R
con el determinante desarrollado en la primera fila. Por esta razon, se escribe

av
av
c
rotF = F (375)
i-f
donde se opera como si fuera un vector:
lo

un
= i + j + k. (376)
x y z
Por otro lado, esto permite expresar la divergencia de F como
lcu
o-
divF = F. (377)
ca
Teorema. 93. Teorema de Stokes. Sea S una superficie orientable con orientacion n, parametrizacion de
d
clase C 2 y frontera descrita por una curva cerrada, simple y regular a trozos. Si parametrizamos en un
za
za
sentido que cumpla la regla de la mano derecha con la normal n a S, entonces para todo campo vectorial F de
clase C 1 definido sobre un abierto que contenga a S se tiene
Z ZZ
an

F d = ( F ) n ds.
S
an
(378)
av
av
c
i-f
lo
un
lcu
o-
ca
Ejercicio. 221. Calcule la integral de lnea del campo F (x, y, z) = (z, x, y) sobre la curva C (sentido antiho-
d
rario) determinada por la interseccion del plano y + z = 2 y el cilindro x2 + y 2 = 1.

za
za
an
an
94
av
av
-fc
c
d
z
an
za
Teorema. 94. Teorema de la Divergencia. Sea V un solido limitado por una superficie orientable S con
an
av
orientacion n exterior. Sea F un campo vectorial de clase C 1 definido en un abierto que contenga V . Entonces:
ZZZ ZZ
c
F dxdydz = F n ds. (379)
av
V S
i-f
o
Ejercicio. 222. Sea S la superficie del cubo unitario [0, 1] [0, 1] [0, 1] y sea n la normal unitaria exterior

a S. Si F (x, y, z) = x2 i + y 2 j + z 2 k , calcule
un
lo
ZZ
F n ds. (380)
S
lcu
-
do
ca
do
za
an
za
an
av
av
i-f
o
un
lo
lcu
-
do
ca
do
za
an
za
an
av
-fc
av
o
i
un
lo
lcu
-
do
ca
do
za
95
an
za
an
av
fc

Calculo Avanzado

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Calculo Avanzado

Загружено:

Авторское право:

Доступные форматы

z

Ejemplo. 1. Dados dos puntos p, q Rm , la funcion vectorial : [0, 1] Rm dada por

(t) = p + t(q p) (1)

cumple (0) = p, (1) = q, y su imagen es el segmento rectilneo que une a p y q.

(t) = t(1, 2) + (1 t)(4, 8) (2)

4. f (t) = (2t 1, 4t + 3, t 1).

5. f (t) = (cosh(t), 0, sinh(t)).

(1 t, 3 t3 ) respectivamente, donde t es el parametro del tiempo partiendo de t = 0. Indique si las partculas

colisionan entre s, en caso afirmativo especifique el punto en el que chocan.

c2 , a3 t2 + b3 t + c3 ) es una curva plana. Halle la ecuacion del plano que la contiene.

cerca del orgen.

Ademas en el caso n = 3, definimos el producto vectorial : A R3 como

ii) kx + yk kxk + kyk, x, y Rn .(Desigualdad Triangular).

iii) ktxk = |t|kxk, t R, x Rn .

Ejemplo. 4. Si x = (x1 , x2 , , xn ) Rn entonces podemos escribir

as, por transitividad:

|t + 1| |(t) 2| < 2. (6)

que es lo que queramos probar.

k(t) (1, 2)k = k(t, t) (1, 2)k = 2 t + (7)

|t 1| < 3 k(t) (1, 2)k < 5.

La prueba de esta afirmacion es como en el ejemplo anterior. Notemos primero que

lo cual muestra lo afirmado.

implicaciones en la expresion 9 tenemos

|t| < b k(t) (0, 1)k < a. (11)

Observacion. 2. Las implicaciones en los ejemplos 5, 6, 7 y 8 tienen la forma

|t t0 | < b k(t) Lk < a (12)

|t 1| < b 2 < a. (16)

correcta para b sera b = mn

tal como se quera.

Observacion. 3. A tener en cuenta:

|t 1| < b k(t) (0, 1)k < a. (19)

La desigualdad de la expresion 20 es gracias a la desigualdad 5 probada en el ejemplo 4. Ahora de-

tal como se quera.

Definicion. 3. Decimos que un punto t0 R es un punto de acumulacion de A R si para todo b > 0, se

Observacion. 4. A tener en cuenta:

2. En palabras simples, un numero real t0 es un punto de acumulacion de A R si todo intervalo abierto

que cumple la condicion

cuando definamos el lmite de una funcion vectorial.

lm (t) = L  > 0 > 0 : t A 0 < |t t0 | < k(t) Lk < . (25)

El proceso de hallazgo de es igual al que se ha realizado en los ejemplos 9, 10 y 11 (cambiando a y b

4. Como k(t) Lk es la ditancia de (t) a L y |t t0 | es la distancia de t a t0 , entonces, decir que

A, pues en ese caso sabemos que existiran tales puntos t.

t [0, [ 0 < |t 1| < |t 1| < k(t) (1, 3)k < .

t ] 1, [ 0 < |t 1| < k(t) (0, 1)k < . (28)

tal como se quera.

Ejercicio. 6. Pruebe que lm (t3 t, t2 + 1) = (0, 2).

Teorema. 2. Sean L = (L1 , , Ln ) Rn , = (1 , , n ) : A Rn una funcion vectorial y t0 un punto

Ejercicio. 8. Pruebe que lm (t) = 0 si y solo si lm k(t)k = 0.

acumulacion de A. Si L, M Rn y R son tales que lm (t) = L, lm (t) = M y lm c(t) = , entonces

t A |t t0 | < b t = t0 k(t) (t0 )k = 0. (31)

t A |t t0 | < k(t) (t0 )k = 0 < . (32)

se encarga de dar un criterio para facilitar esta tarea.

Entonces es continua en t0 si y solo si lm (t) = (t0 ).

en t0 si y solo si i es continua en t0 para cada i = 1, , n.

2. : [0, 2] R dado por

(x, y) R2 : |x| + |y| = 1 Graf(f )

siempre que sea continua y exista el lmite lm (s).

Ejercicio. 12. Sean : R R2 y : R R dados por

(t) = t (s) = (37)

Pruebe que es continua en 0.

de A. Se define la derivada de en el punto t0 , denotada por 0 (t0 ) como

A cuando es diferenciable en cada punto de A.

Observacion. 8. El lmite en la expresion 38 tambien puede ser expresado como

lm (t) = L > 0 > 0 : t A 0 < |t t0 | < k(t) Lk < . (25)

t [0, [ 0 < |t 1| < |t 1| < k(t) (1, 3)k < .

t ] 1, [ 0 < |t 1| < k(t) (0, 1)k < . (28)

t A |t t0 | < k(t) (t0 )k = 0 < . (32)