Siempre que es correctamente definida, una composicin de funciones continuas tambin

es continua. El nico requisito es que cada funcin sea continua donde se aplica. La demos-
tracin, que aqu se omite, es similar a la de funciones de una sola variable (teorema 9 en la
seccin 2.5).
14.2 Lmites y continuidad en dimensiones superiores 761
Continuidad de composiciones
Si f es continua en (x
0
, y
0
) y g es una funcin de una variable continua en f (x
0
, y
0
),
entonces la composicin definida por h(x, y) 5 g( f (x, y)) es continua en
(x
0
, y
0
).
h = g f
Por ejemplo, las composiciones
son continuas en todo punto (x, y).
Funciones de ms de dos variables
Las definiciones de lmite y continuidad para funciones de dos variables as como las conclu-
siones acerca de los lmites y continuidad son extensivas para sumas, productos, cocientes, po-
tencias y composiciones para funciones de tres o ms variables. Funciones como
son continuas a travs de sus dominios; y lmites como
donde P representa el punto (x, y, z), se pueden obtener por sustitucin directa.
Valores extremos de funciones continuas en conjuntos cerrados y acotados
El teorema de los valores extremos (teorema 1, seccin 4.1) establece que la funcin de una
variable que es continua a travs de un intervalo cerrado, acotado [a, b], asume un valor m-
ximo absoluto y un valor mnimo absoluto por lo menos una vez en [a, b]. Esto tambin es
cierto para una funcin z 5 f (x, y) que es continua en un conjunto R cerrado y acotado en el
plano (como un segmento de recta, un disco o un tringulo slido). La funcin toma un valor
mximo absoluto en algn punto de R y un valor mnimo absoluto en algn punto de R.
Teoremas similares se obtienen para funciones de tres o ms variables. Una funcin conti-
nua w 5 f (x, y, z), por ejemplo, debe asumir valores mximo y mnimo absolutos en cualquier
conjunto cerrado y acotado (esfera o cubo slido, cascarn esfrico, slido rectangular) donde
est definida. Aprenderemos cmo obtener estos valores extremos en la seccin 14.7.
lm
P:s1,0,-1d

e
x+z
z
2
+ cos 2xy
=
e
1-1
s -1d
2
+ cos 0
=
1
2
,
ln sx + y + zd y
y sen z
x - 1
e
x-y
, cos
xy
x
2
+ 1
, ln s1 + x
2
y
2
d
Ejercicios 14.2
Lmites con dos variables
Obtenga los lmites en los ejercicios 1 a 12.
1. 2. lm
sx, yd :s0,4d

x
2y
lm
sx, yd :s0,0d

3x
2
- y
2
+ 5
x
2
+ y
2
+ 2
3. 4.
5. 6. lm
sx, yd :s0,0d
cos
x
2
+ y
3
x + y + 1
lm
sx, yd :s0,p>4d
sec x tan y
lm
sx, yd :s2, -3d
a
1
x
+
1
y
b
2
lm
sx, yd :s3,4d
2x
2
+ y
2
- 1
7. 8.
9. 10.
11. 12.
Lmites de cocientes
Calcule los lmites en los ejercicios 13 a 24 replanteando primero las
fracciones.
13. 14.
15.
16.
17.
18. 19.
20.
21. 22.
23. 24.
Lmites con tres variables
Determine los lmites en los ejercicios 25 a 30.
25. 26.
27.
28. 29.
30.
Continuidad en el plano
En cules puntos (x, y) del plano, las funciones de los ejercicios 31 a 34
son continuas?
31. a. b.
32. a. b.
33. a. b.
34. a. b. gsx, yd =
1
x
2
- y
gsx, yd =
x
2
+ y
2
x
2
- 3x + 2
gsx, yd =
x + y
2 + cos x
gsx, yd = sen
1
xy
sx, yd =
y
x
2
+ 1
sx, yd =
x + y
x - y
sx, yd = ln sx
2
+ y
2
d sx, yd = sen sx + yd
lm
P:s2, -3,6d
ln2x
2
+ y
2
+ z
2
lm
P:sp,0,3d
ze
-2y
cos 2x lm
P:s-1>4,p>2,2d
tan
-1
xyz
lm
P:sp,p,0d
ssen
2
x + cos
2
y + sec
2
zd
lm
P:s1,-1,-1d

2xy + yz
x
2
+ z
2
lm
P:s1,3,4d
a
1
x
+
1
y
+
1
z
b
lm
sx, yd :s2,2d

x - y
x
4
- y
4
lm
sx, yd :s1,-1d

x
3
+ y
3
x + y
lm
sx, yd :s0,0d

1 - cos sxyd
xy
lm
sx, yd :s0,0d

sen sx
2
+ y
2
d
x
2
+ y
2
lm
sx, yd :s4,3d

2x - 2y + 1
x - y - 1
lm
sx, yd :s2,0d

22x - y - 2
2x - y - 4
lm
sx, yd :s2,2d

x + y - 4
2x + y - 2
lm
sx, yd :s0,0d

x - y + 22x - 22y
2x - 2y
lm
sx, yd :s2, -4d

y + 4
x
2
y - xy + 4x
2
- 4x
lm
sx, yd :s1,1d

xy - y - 2x + 2
x - 1
lm
sx, yd :s1,1d

x
2
- y
2
x - y
lm
sx, yd :s1,1d

x
2
- 2xy + y
2
x - y
lm
sx, yd :sp>2,0d

cos y + 1
y - sen x
lm
sx, yd :s1, p>6d

x sen y
x
2
+ 1
lm
sx, yd :s1>27, p
3
d
cos2
3
xy lm
sx, yd :s0,0d

e
y
sen x
x
lm
sx, yd :s1,1d
ln 1 + x
2
y
2
lm
sx, yd :s0,ln 2d
e
x-y
762 Captulo 14: Derivadas parciales
Continuidad en el espacio
En cules puntos (x, y, z) del espacio son continuas las funciones de los
ejercicios 35 a 40?
35. a.
b.
36. a. b.
37. a. b.
38. a. b.
39. a.
b.
40. a.
b.
Inexistencia del lmite en un punto
Considerando diferentes trayectorias de aproximacin, demuestre que las
funciones en los ejercicios 41 a 48 no tienen lmite cuando (x, y) :(0,0).
41. 42.
43. 44.
45. 46.
47. 48.
Teora y problemas
En los ejercicios 49 y 50, demuestre que los lmites no existen.
49. 50.
51. Sea
Obtenga cada uno de los siguientes lmites o explique por qu el lmite
no existe.
a.
b.
c. lm
(x, y):(0,0)
sx, yd
lm
(x, y):(2,3)
sx, yd
lm
(x, y):(0,1)
sx, yd
sx, yd =
1, y x
4
1, y 0
0, de otra forma.
lm
(x, y):(1, -1)

xy + 1
x
2
- y
2
lm
(x, y):(1,1)

xy
2
- 1
y - 1
hsx, yd =
x
2
y
x
4
+ y
2
hsx, yd =
x
2
+ y
y
gsx, yd =
x
2
- y
x - y
gsx, yd =
x - y
x + y
sx, yd =
xy
xy
sx, yd =
x
4
- y
2
x
4
+ y
2
z
y
x
z
y
x
sx, yd =
x
4
x
4
+ y
2
sx, yd = -
x
2x
2
+ y
2
hsx, y, zd =
1
4 - 2x
2
+ y
2
+ z
2
- 9
hsx, y, zd = 24 - x
2
- y
2
- z
2
hsx, y, zd =
1
z - 2x
2
+ y
2
hsx, y, zd = ln sz - x
2
- y
2
- 1d
hsx, y, zd =
1
xy + z
hsx, y, zd =
1
y + z
hsx, y, zd =
1
x
2
+ z
2
- 1
hsx, y, zd = xy sen
1
z
sx, y, zd = e
x+y
cos z sx, y, zd = ln xyz
sx, y, zd = 2x
2
+ y
2
- 1
sx, y, zd = x
2
+ y
2
- 2z
2
xZy
xZy
xZy
xZ1
yZ-4, xZx
2
x+yZ4 2x-yZ4
xZy+1
52. Sea
Obtenga los siguientes lmites.
a.
b.
c.
53. Demuestre que la funcin del ejemplo 6 tiene lmite 0 a lo largo de
todas las lneas rectas que tienden a (0, 0).
54. Si (x
0
, y
0
) 5 3, qu puede decir de
si f es continua en (x
0
, y
0
)? Si f no es continua en (x
0
, y
0
)? Justifi-
que sus respuestas.
El teorema de la compresin para funciones de dos variables establece
que si g(x, y) # f (x, y) # h(x, y) para toda (x, y) Z (x
0
, y
0
) en un disco con
centro en (x
0
, y
0
), y si g y h tienen el mismo lmite finito L cuando (x, y) :
(x
0
, y
0
), entonces
Con base en este resultado, fundamente sus respuestas a las preguntas de
los ejercicios 55 a 58.
55. El hecho de saber que
le dice algo acerca de
Justifique su respuesta.
56. El hecho de saber que
le dice algo acerca de
Justifique su respuesta.
57. El hecho de saber que usen (1yx)u # 1 le dice algo acerca de
Justifique su respuesta.
58. El hecho de saber que ucos (1yy)u # 1 le dice algo acerca de
Justifique su respuesta.
lm
sx, yd :s0,0d
x cos
1
y
?
lm
sx, yd :s0,0d
y sen
1
x
?
lm
sx, yd :s0,0d

4 - 4 cos 2 xy
xy
?
2 xy -
x
2
y
2
6
6 4 - 4 cos 2 xy 6 2 xy
lm
sx, yd :s0,0d

tan
-1
xy
xy
?
1 -
x
2
y
2
3
6
tan
-1
xy
xy
6 1
lm
sx, yd :sx0 , y0d
sx, yd = L.
lm
sx, yd :sx0 , y0d
sx, yd
lm
(x, y):(0, 0)
sx, yd
lm
(x, y):(-2, 1)
sx, yd
lm
(x, y):(3, -2)
sx, yd
sx, yd = e
x
2
, x 0
x
3
, x 6 0
.
14.2 Lmites y continuidad en dimensiones superiores 763
59. (Continuacin del ejemplo 5).
a. Revise el ejemplo 5. Luego sustituya m 5 tan u en la frmula
y simplifique el resultado para mostrar cmo vara el valor de f
con el ngulo de inclinacin de la recta.
b. Utilice la frmula que obtuvo en el inciso (a) para demostrar que
el lmite de f cuando (x, y) :(0, 0) a lo largo de la recta y 5 mx
vara de 21 a 1 dependiendo del ngulo de aproximacin.
60. Extensin continua Defina f (0, 0) de manera que su extensin
sea continua en el origen.
Cambio a coordenadas polares Si no puede obtener lm
(x, y):(0, 0)
f (x, y)
en coordenadas rectangulares, trate de cambiar a coordenadas polares.
Sustituya x 5 r cos u, y 5 r sen u, e investigue el lmite de la funcin re-
sultante cuando r : 0. En otras palabras, trate de determinar si existe
un nmero L que satisfaga el siguiente criterio:
Dado P . 0, existe una d . 0, tal que para todas las r y u,
(1)
Si tal L existe, entonces
Por ejemplo,
Para verificar la ltima de estas igualdades, necesitamos demostrar que la
ecuacin (1) se satisface cuando f (r, u) 5 r cos
3
u y L 5 0. Es decir, ne-
cesitamos demostrar que, dado cualquier P . 0, existe d . 0, tal que
para toda r y u,
Puesto que
la implicacin es vlida para toda r y u si tomamos d 5 P.
En contraste,
asume todos los valores de 0 a 1, sin importar qu tan pequeo sea u ru,
de manera que lm
(x, y):(0, 0)
x
2
y(x
2
1 y
2
) no existe.
En cada uno de estos ejemplos, la existencia o no existencia del l-
mite cuando r :0 es bastante clara. Sin embargo, el cambio a coordena-
das polares no siempre ayuda e inclusive podra llevarnos a falsear conclu-
siones. Por ejemplo, el lmite puede existir a lo largo de toda lnea recta
(o rayo) u 5 constante, y no existir en sentido estricto. El ejemplo 5 ilus-
tra este punto. En coordenadas polares, f (x, y) 5 (2x
2
y)y(x
4
1 y
2
) se con-
vierte en
sr cos u, r sen ud =
r cos u sen 2u
r
2
cos
4
u + sen
2
u
x
2
x
2
+ y
2
=
r
2
cos
2
u
r
2
= cos
2
u
r cos
3
u = r cos
3
u r
#
1 = r ,
r 6 d Q r cos
3
u - 0 6 P.
lm
sx, yd :s0,0d

x
3
x
2
+ y
2
= lm
r:0

r
3
cos
3
u
r
2
= lm
r:0
r cos
3
u = 0.
lm
sx, yd :s0,0d
sx, yd = lm
r:0
sr cos u, r sen ud = L.
r 6 d Q sr, ud - L 6 P.
sx, yd = xy
x
2
- y
2
x
2
+ y
2
sx, yd `
y=mx
=
2m
1 + m
2
para r Z 0. Si mantenemos a u constante y dejamos que r : 0, el l-
mite es 0. Sin embargo, en la trayectoria y 5 x
2
, tenemos que r sen u 5
r
2
cos
2
u y
En los ejercicios 61 a 66, determine el lmite de f cuando (x, y) :(0, 0)
o demuestre que el lmite no existe.
61. 62.
63. 64.
65.
66.
En los ejercicios 67 y 68, defina f (0, 0), de manera que la extensin de f
sea continua en el origen.
67.
68. sx, yd =
3x
2
y
x
2
+ y
2
sx, yd = ln a
3x
2
- x
2
y
2
+ 3y
2
x
2
+ y
2
b
sx, yd =
x
2
- y
2
x
2
+ y
2
sx, yd = tan
-1
a
x + y
x
2
+ y
2
b
sx, yd =
2x
x
2
+ x + y
2
sx, yd =
y
2
x
2
+ y
2
sx, yd = cos a
x
3
- y
3
x
2
+ y
2
b sx, yd =
x
3
- xy
2
x
2
+ y
2
=
2r cos
2
u sen u
2r
2
cos
4
u
=
r sen u
r
2
cos
2
u
= 1.
sr cos u, r sen ud =
r cos u sen 2u
r
2
cos
4
u + sr cos
2
ud
2
764 Captulo 14: Derivadas parciales
Uso de la definicin de lmite
Cada uno de los ejercicios 69 a 74 presenta una funcin f (x, y) y un
nmero positivo P. En cada ejercicio, demuestre que existe una d . 0
tal que para todas las (x, y),
69.
70.
71.
72.
73.
74.
Cada uno de los ejercicios 75 a 78 presenta una funcin f (x, y, z) y un
nmero positivo P. En cada ejercicio, demuestre que existe una d . 0,
tal que para toda (x, y, z),
75.
76.
77.
78.
79. Demuestre que f (x, y, z) 5 x 1 y 2 z es continua en todo punto
(x
0
, y
0
, z
0
).
80. Demuestre que f (x, y, z) 5x
2
1 y
2
1 z
2
es continua en el origen.
sx, y, zd = tan
2
x + tan
2
y + tan
2
z, P = 0.03
sx, y, zd =
x + y + z
x
2
+ y
2
+ z
2
+ 1
, P = 0.015
sx, y, zd = xyz, P = 0.008
sx, y, zd = x
2
+ y
2
+ z
2
, P = 0.015
2x
2
+ y
2
+ z
2
6 d Q sx, y, zd - s0, 0, 0d 6 P.
sx, yd =
x
3
+ y
4
x
2
+ y
2
y f (0, 0) = 0, P = 0.02
sx, yd =
xy
2
x
2
+ y
2
y f (0, 0) = 0, P = 0.04
sx, yd = sx + yd>s2 + cos xd, P = 0.02
sx, yd = sx + yd>sx
2
+ 1d, P = 0.01
sx, yd = y>sx
2
+ 1d, P = 0.05
sx, yd = x
2
+ y
2
, P = 0.01
2x
2
+ y
2
6 d Q sx, yd - s0, 0d 6 P.
14.3
Derivadas parciales
El clculo de varias variables es como el clculo de una variable aplicado a cada una de las
variables. Cuando mantenemos constantes todas las variables independientes de una funcin,
excepto una, y derivamos con respecto a esa variable, obtenemos una derivada parcial. Esta
seccin muestra cmo se definen e interpretan geomtricamente las derivadas parciales y cmo
calcularlas aplicando las reglas de derivacin para funciones de una sola variable. La idea de
derivabilidad de funciones de varias variables requiere algo ms que la existencia de las deri-
vadas parciales, pero veremos que las funciones derivables de varias variables se comportan del
mismo modo que las funciones derivables de una variable.
Derivadas parciales de una funcin de dos variables
Si (x
0
, y
0
) es un punto en el dominio de una funcin f (x, y), el plano vertical y 5 y
0
cortar
la superficie z 5 f (x, y) en la curva z 5 f (x, y
0
) (figura 14.15). Esta curva es la grfica de la
funcin z 5 f (x, y
0
) en el plano y 5 y
0
. La coordenada horizontal en este plano es x; la coor-
denada vertical es z. El valor de y se mantiene constante en y
0
, de manera que y no es una
variable.
Definimos la derivada parcial de f con respecto a x en el punto (x
0
, y
0
) como la derivada
ordinaria de f (x, y
0
) con respecto a x en el punto x 5 x
0
. Para distinguir las derivadas parcia-
les de las ordinarias usamos el smbolo 0 en vez de la d usada previamente. En la definicin,
h representa un nmero real, positivo o negativo.