Professional Documents
Culture Documents
Carlos Martnez Y.
10 de septiembre de 2015
2
ndice general
I Clculo diferencial 7
1. Espacios euclidianos 9
1.1. Espacios vectoriales de dimensin nita . . . . . . . . . . . . . . 9
1.2. Norma y distancia . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Producto interior y ortogonalidad . . . . . . . . . . . . . . . . . . 13
1.4. La desigualdad de Cauchy-Schwarz . . . . . . . . . . . . . . . . . 18
1.5. Propiedades de la norma . . . . . . . . . . . . . . . . . . . . . . . 20
1.6. El producto vectorial . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3. Elementos de topologa 49
3.1. Vecindades y conjuntos abiertos . . . . . . . . . . . . . . . . . . . 49
3.2. Puntos de acumulacin y conjuntos cerrados . . . . . . . . . . . . 52
3.3. Regiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.4. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4. Lmites y continuidad 65
4.1. Nociones bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.2. Una condicin necesaria . . . . . . . . . . . . . . . . . . . . . . . 71
4.3. Algebra de lmites . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.4. Lmites iterados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.5. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3
4 NDICE GENERAL
5. Derivadas parciales 91
5.1. Nociones bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.2. Interpretacin geomtrica . . . . . . . . . . . . . . . . . . . . . . 92
5.3. Derivadas parciales de orden superior . . . . . . . . . . . . . . . . 93
5.4. Frmula de Taylor en varias variables . . . . . . . . . . . . . . . 97
5.5. Mximos y Mnimos . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.6. Criterio del hessiano . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.7. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
6. Diferenciabilidad 115
6.1. Derivada, diferencial y diferenciabilidad . . . . . . . . . . . . . . 115
6.2. Interpretaciones geomtricas . . . . . . . . . . . . . . . . . . . . . 118
6.2.1. De la diferencial . . . . . . . . . . . . . . . . . . . . . . . 118
6.2.2. De la diferenciabilidad . . . . . . . . . . . . . . . . . . . . 119
6.3. Diferenciabilidad y continuidad . . . . . . . . . . . . . . . . . . . 121
6.4. Funciones vectoriales diferenciables . . . . . . . . . . . . . . . . . 123
6.5. Funciones clase C n (G) . . . . . . . . . . . . . . . . . . . . . . . . 125
6.6. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
13.Certmenes 261
13.1. Ejemplos de Certmenes . . . . . . . . . . . . . . . . . . . . . . . 261
13.2. Ejemplos de Problemas de Certmenes . . . . . . . . . . . . . . . 264
13.2.1. Miscelnea . . . . . . . . . . . . . . . . . . . . . . . . . . 264
13.2.2. Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
13.2.3. Derivadas y planos tangentes . . . . . . . . . . . . . . . . 271
13.2.4. Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
13.2.5. Funciones Implcitas . . . . . . . . . . . . . . . . . . . . . 285
13.2.6. Mximos y Mnimos . . . . . . . . . . . . . . . . . . . . . 287
13.2.7. Integracin mltiple . . . . . . . . . . . . . . . . . . . . . 295
13.2.8. Integrales de lnea y supercies . . . . . . . . . . . . . . . 306
Prefacio
Clculo diferencial
7
Captulo 1
Espacios euclidianos
x = (x1 ; x2 ; x3 ; : : : ; xn ) :
(x1 ; x2 ; : : : ; xn ) = ( x1 ; x2 ; : : : ; xn ) ; 2 R;
9
10 CAPTULO 1. ESPACIOS EUCLIDIANOS
(a + b) + c = a + (b + c) Asociatividad de la suma
(9 0 2 Rn )(8x 2 Rn )(x + 0 = x) Existencia de la Identidad
(8 x 2 Rn )(9 x 2 Rn )(x + ( x) = 0) Existencia de Inversos
(8 x 2 Rn )(8 y 2 Rn )(x + y = y + x) Conmutatividad
+:V V ! V y : R V ! V;
valor que corresponde a la distancia medida desde el origen del sistema hasta el
punto cuyas coordenadas son (x1 ; x2 ; : : : ; xn ). Dicho de otro modo: corresponde
a la longitud del vector x.
Diremos que la distancia euclidiana entre los vectores x e y 2 Rn dados por:
x = (x1 ; x2 ; x3 ; : : : ; xn )
y = (y1 ; y2 ; y3 ; : : : ; yn );
es el valor d(x; y) denido por:
p
d(x; y) = kx yk = (x1 y1 )2 + (x2 y2 )2 + ::: + (xn yn )2 .
Observacin 2
a) Observe que hemos hablado del vector x = (x1 ; x2 ; : : : ; xn ) perteneciente
al espacio vectorial Rn y del punto (x1 ; x2 ; : : : ; xn ) del espacio cartesiano
Rn . A pesar que estos dos objetos se describen del mismo modo, vale de-
cir por el n-arreglo (x1 ; x2 ; : : : ; xn ) ellos representan objetos conceptual-
mente distintos: en el primer caso, el vector (x1 ; x2 ; : : : ; xn ) es un objeto
matemtico que puede ser representado por medio de una echa libre en
el espacio cartesiano Rn (recuerde la expresin vectores libres).
Por ejemplo el vector (4; 7; 3) puede ser representado por medio de una
echa que parte (por ejemplo) del punto P = (5; 3; 4) y termina en el
punto Q = (9; 4; 1), pero del mismo modo tambin puede ser representa-
do por la echa que parte del punto R = (3 8; 1) y termina en el punto
S = (7; 1; 4): Este vector (4; 7; 3) usualmente lo representaremos medi-
ante una letra en negritao a travs de un medio ms descriptivo como
!
echas. Por ejemplo escribiremos x = (4; 7; 3) P Q = (4; 7; 3) tambin
!
RS = (4; 7; 3): Cualquiera de estas notaciones representa el mismo vector.
En cambio, cuando hablemos del punto (4; 7; 3) este tro ordenado tendr
una nica interpretacin como las coordenadas de un lugar o punto
en el espacio tridimensional, o sistema cartesiano, en donde x = 4, y = 7 y
z = 3, y hablaremos simplemente del punto P = (4; 7; 3) y en estos casos
usaremos letras maysculas y normales para su denominacin.
b) Observe que si tenemos dos puntos en el espacio R3 , por ejemplo P1 =
(x1 ; y1 ; z1 ) y P2 = (x2 ; y2 ; z2 ), entonces cualquier otro punto sobre el seg-
mento lineal que une ambos puntos extremos tiene las siguientes compo-
nentes:
x = (1 t)x1 + tx2 ; y = (1 t)y1 + ty2 ; z = (1 t)z1 + tz2
en donde t es un nmero real (parmetro) que vara en el intervalo [0; 1].
Por ejemplo, si t = 0, se obtiene (x; y; z) = (x1 ; y1 ; z1 ); es decir, el punto
inicial P1 y si t = 1, se obtiene (x; y; z) = (x2 ; y2 ; z2 ); es decir, el punto
nal P2 . Si t = 1=2, se obtiene justamente las coordenadas del punto medio
del segmento que une los puntos anteriores. Para entender mejor esta idea,
el lector puede ver la Denicin 88 en la pgina 56.
12 CAPTULO 1. ESPACIOS EUCLIDIANOS
Solucin. Si (x; y) 2 A; debe cumplirse que d((x; y); (0; 0)) = 4, lo cual es
equivalente a:
p
d((x; y); (0; 0)) = (x 0)2 + (y 0)2 = 4:
se tiene que:
(x 4)2 + (y + 2)2 = 36;
lo que claramente corresponde a la ecuacin de la circunferencia de radio 6
centrada en el punto (4; 2).
d1 (f; g) 1;
signica que estamos exigiendo que, para cada valor de x 2 [0; ], la diferencia
entre f (x) y g(x) vare slo entre -1 y +1. En cambio, si escribimos que:
d1 (f; g) 1;
estamos exigiendo que el rea total entre las grcas de f y g sea menor que la
unidad.
Finalmente, si escribimos:
d2 (f; g) 1;
estamos exigiendo que el promedio radical cuadrtico del rea entre las grcas
de f y g sea menor que la unidad.
Uno de los objetivos que se tiene en mente cuando se usa una mtrica de-
terminada tiene que ver con el tipo de soluciones que se desea hallar para un
problema determinado. As, una solucin aproximada, que est a una unidad
de distancia de la solucin exacta de algn problema, tendr, en general, una
estructura diferente dependiendo de la mtrica que se us para resolver el pro-
blema.
Por otra parte lo que hace verdaderamente til el concepto de mtrica o
distancia reside en que cumplen con todas aquellas propiedades que uno espera
en forma natural que ellas cumplan y que estn listadas en el Problema 1 en
pgina 22. Sin embargo demostrar que cada una de estas deniciones cumplen
con estas propiedades resulta, en el mejor de los casos, un trabajo engorroso
y por lo dems tedioso. Una buena solucin para este problema es restringirse
(en lo posible) a distancias denidas en base a normas, pues en estos casos
las propiedades de la mtrica se deducen de las correspondientes propiedades
de la norma, listadas en la Proposicin 18. Pero, como podr darse cuenta el
estudiante perspicaz, esto es equivalente a trasladar el problema de la mtrica
a la norma. Una solucin a este problema consiste en usar normas que a su
vez estn denidas en base a lo que se denomina producto interior. Este ltimo
concepto, adems nos permite hablar de ngulos entre vectores. Comencemos
1.3. PRODUCTO INTERIOR Y ORTOGONALIDAD 15
en donde es el ngulo formado por los vectores x e y cuando estos vectores son
representados como echas que parten del origen del sistema de coordenadas.
Observacin 8
h x+ y; zi = hx; zi + hy; zi
hx; y+ zi = hx; yi + hx; zi ;
nx = hx; ni n;
x?y , x1 x2 + y1 y2 + z1 z2 = 0.
hx; yi = x1 y1 + x2 y2 + x3 y3 + + xn yn :
hx; yi = x1 y1 + x2 y2 + x3 y3 + + xn yn ;
Demostracin. Ejercicio.
1.4. LA DESIGUALDAD DE CAUCHY-SCHWARZ 19
x2 A 2xB + C 0;
2 2
en donde A = kxk ; B = hx; yi y C = kyk . Esto signica que el grco de la
curva:
y = x2 A 2xB + C;
B2 AC:
1.7. Problemas
1. Verique que la distancia euclidiana dada en Denicin 1, cumple las sigu-
ientes propiedades:
a) d (x; y) = 0; 8x; y 2 Rn .
b) d (x; y) = 0 , x = y.
c) d (x; y) = d (y; x) ; 8x; y 2 Rn .
d ) d (x; z) d (x; y) + d (y; z) ; 8x; y; z 2 Rn .
4. Halle las coordenadas del punto medio del segmento lineal que une los dos
puntos del problema anterior.
5. Halle las coordenadas de un punto R sobre el segmento que une los puntos
P = (2; 3; 5) y Q = ( 2; 5; 4), de tal modo que la distancia desde R al
punto P sea el doble de la distancia de R al punto Q.
7. Demuestre que la recta que pasa por los puntos (1; 2; 9) y (5; 3; 14), es
ortogonal a la recta que pasa por los puntos (1; 2; 3) y ( 3; 8; 5).
14. Demuestre que el producto interior dado en Denicin 15 cumple con las
propiedades de la Proposicin 16.
AxT K kxk ;
x1 x2 x3
V = j(x y z)j = jx (y z)j = y1 y2 y3
z1 z2 z3
Los nmeros cos ; cos y cos se denominan cosenos directores del vector
r.
32. Sean x; y; z tres vectores en Rn y suponga que es un nmero real arbi-
trario. Demuestre que,
a) x y = x y = (x y) b) x (y + z) = x y + x z
c) x y = x y = (x y) d) x (y + z) = x y + x z
x (y z) = (x z)y (x y) z:
(u v) w + (v w) u + (w u) v = 0:
Captulo 2
Funciones de dos o ms
variables
F :A R ! R;
Clasicacin de funciones
Tipo de funcin: Clase de funcin: Ejemplos simples:
F :A R !R Func. real de var. real F (x) = x + cos x
F : A R ! Rn Func. vect. de var. real F(x) = (x; cos x)
F : A Rn ! R Func. real de varias var. F (x; y) = 3xy + xy 7
F : A Rn ! Rm Func. vect. de varias var. F(x; y) = (xy; xy 2 ; 5x)
27
28 CAPTULO 2. FUNCIONES DE DOS O MS VARIABLES
F (x; y) = (x + y; x y; 2x) ,
entonces si escribimos:
se tendr que:
F (x; y) = (f1 (x; y) ; f2 (x; y) ; f3 (x; y)) ,
en donde f1 ; f2 ; y f3 obviamente son funciones reales de dos variables y se
denominan funciones componentes de F.
x+y
Ejemplo 26 Halle el dominio de la funcin F (x; y) = .
x2 + y2 4
Solucin. F es una funcin real de dos variables cuyo dominio, de acuerdo
a la convencin usual sobre dominios de funciones, es el mayor subconjunto del
plano cartesiano en donde la frmula dada para F tiene sentido. En este caso
el dominio de F es el conjunto:
(x; y) : x2 + y 2 4 6= 0 ;
Ejemplo 27 Sea
sin xy p
F(x; y) = ; 3x + 5y 9; ln x2 =4 + y 2 =9 1 :
x y
Halle el dominio de F:
sin xy p x2 y2
; 3x + 5y 9; ln + 1
x y 4 9
esto es:
K = (x; y) 2 R2 : 0 x 1; 0 y 1 ;
bajo la funcin:
F (x; y) = (u; v) = xy; x2 y2 :
Para hallar la grca, observe que (u; v) = (y; 1 y 2 ). Esto signica que:
v=1 y2 = 1 u2 :
0.5
-0.5
-1
x = x0 ^ y = y0 ^ z 2 R.
!
Por otro lado, el vector QR es justamente la proyeccin del vector
!
QP = i 3j 5k
32 CAPTULO 2. FUNCIONES DE DOS O MS VARIABLES
! 2 ! 2 D ! E2 2 5
2
P R =35 n QP =35 QP ; n =35 2+ =34:
3 3
p
En consecuencia la distancia buscada es de 34 unidades.
0 = (x x0 ) a + (y y0 ) b + (z z0 ) c
= ax + by + cz (ax0 + by0 + cz0 ) ,
lo que demuestra la proposicin.
Ejemplo 34 Halle la ecuacin del plano que pasa por el punto medio del seg-
mento que une los puntos P = (2; 4; 3) y Q = (8; 10; 5) y que es perpendicular
a dicho segmento.
Solucin. El punto medio M del segmento que une P y Q se obtiene suman-
do las coordenadas respectivas y dividiendo por dos. Esto es
M = (5; 3; 1).
Por otra parte, un vector normal al plano buscado es, por ejemplo
!
P Q = 6i 14j + 8k = 2(3i 7j + 4k)
34 CAPTULO 2. FUNCIONES DE DOS O MS VARIABLES
o equivalentemente 3x 7y + 4z 40 = 0.
(x x0 )2 + (y y0 )2 = R2 :
(x 1)2 + (y + 2)2 = 9;
(x x0 )2 (y y0 )2
+ = 1: (2.1)
a2 b2
En el caso en que a = b = R, se obtiene la ecuacin de una circunferencia. La
frmula dada en la ecuacin 2.1 se conoce como la forma estndar de la elipse.
La forma estndar de la elipse 9x2 36x + 4y 2 8y + 4 = 0, es:
(x 2)2 (y 1)2
+ = 1.
22 32
2.4. GRFICAS EN EL PLANO 35
1
x
-2 -1 1 2 3 4
0
-1
-2
y
-3
-4
-5
0 1 2 3 4
X
-1
-2
(x 2)2 (y 1)2
Figura 2.3: 22 + 32 =1
y = k(x x0 )2 + y0 :
40
Y
20
-2 0 2 X 4 6
2
y
-6 -5 -4 -3 -2 -1 0 1 2 3 4
x
-1
(x + 1)2
Figura 2.5: (y 1)2 = 1:
4
y con ramas que se abren en la direccin del eje x, est dada por:
(x x0 )2 (y y0 )2
= 1.
a2 b2
Es fcil ver que esta hiprbola es asinttica al par de rectas que se cruzan
en el punto (x0 ; y0 ) y cuyas pendientes son b=a y b=a respectivamente. Por
ejemplo, la ecuacin
(x + 1)2
(y 1)2 = 1;
4
corresponde a la hiprbola centrada en ( 1; 1) y que pasa por los puntos ( 3; 1)
y (1; 1). y es asinttica a las rectas y = x=2 + 3=2 e y = x=2 + 1=2, rectas que
obviamente se cruzan en el punto ( 1; 1). Su grca puede verse en la Figura
2.5.
2.5. Supercies
Para representar grcamente una funcin f : A R2 ! R, generalmente
se usan dos mtodos. Uno de ellos consiste en representarla por medio de una
supercie en el espacio usual y la metodologa para construir este grco consiste
en asociar al tro (x; y; f (x; y)) un punto en R3 . El conjunto de todos estos puntos
es el grco de la funcin. Ahora, si la funcin tiene buen comportamiento
este conjunto de puntos generalmente consistir de una supercie en el espacio.
Veamos algunos ejemplos:
x2 y2 z2
Figura 2.7: a2 + b2 + c2 =1
x2 y2 z2
+ = 1:
4 9 16
-5
-5 0
Eje X
5 5
-5
x2 y2 z2
Figura 2.8: 4 + 9 16 = 1:
EjeX
Figura 2.9: x2 y2 z 2 = 1:
p
Ejemplo 48 La grca de la funcin z = 9 x2 + y 2 , representa un cono
recto con su vrtice apuntando hacia arriba y ubicado en el punto (0; 0; 9).
0
2 Eje x
p
Figura 2.12: z = sin2 x cosh2 y + cos2 x sinh2 y.
Eje x
p
Figura 2.13: Cono z = x2 + y 2 :
15
15
Eje x
-2 -1 0 1 2 3
Eje x
-2
y= 1;5 + 4;
z = 25 x2 + y 2 :
-6 -4 -2 0 2 4 6
-2
-4
-6
7
6
5
4
3
2
1 1
0 0y
-1 -0.5
x0 0.5 1 -1
p
origen y de radios 25 c. En la Figura 2.18 se pueden ver con radio creciente,
las curvas de nivel correspondiente a c = 24, c = 16, c = 0, y c = 24.
f (x; y)=ex+y :
Solucin. Note que ex+y > 0, para todo x e y, de manera que la supercie
correspondiente a la funcin dada se encuentra en el semiespacio superior z > 0.
Para hallar la curva de nivel z = c hagamos ex+y = c. Entonces x + y = lg c.
Por lo tanto: y = lg c x. La Figura 2.19 representa la supercie determinada
por la funcin f y en la Figura 2.20 se muestran, de izquierda a derecha, las
curvas de nivel para los valores de c correspondientes a 1=e2 ; 1=e; 1; e; e2 . Se
puede observar que una vez que conocemos el patrn general de las curvas de
nivel, podemos tener una idea bastante aproximada acerca de la forma de la
supercie que representa la funcin.
44 CAPTULO 2. FUNCIONES DE DOS O MS VARIABLES
2
Eje y
1
-4 -2 0 2 4
Eje x
-1
-2
-3
5
4
3
2
1
0
-3 -3
-2 -2
-1 -1
y0 0x
1 1
2 2
3 3
correspondiente a C = 1; 2 y 3.
Solucin. El grco tridimensional est dado en la Figura 2.21.
Las curvas de nivel para los valores de C dados en el problema se pueden
ver en la Figura 2.22 Puede Ud determinar la correspondencia que hay entre
las curvas y los valores de C?
70
60
50
40
30
20
10
0
-5
y0
0x -2 -4
5 4 2
2.23, representan, de abajo hacia arriba, aquellas supercies del espacio en donde
la funcin f es constante para los valores de C = 1, C = 9, y C = 18
respectivamente.
z 2 = x2 + y 2 ;
2.9. Problemas
1. Halle el dominio A de f : A R2 ! R denida por f (x; y) = ln(1 x2
y 2 ):
10. Determine las coordenadas del punto de interseccin del plano z = 0 con
la recta:
2x + 5 = 7y 3 = z 3:
11. Demuestre que la ecuacin del plano que pasa por los puntos (a1 ; a2 ; a3 ),
(b1 ; b2 ; b3 ) y (c1 ; c2 ; c3 ) est dado por la expresin:
2 3
a1 x a2 y a3 z
det 4 b1 x b2 y b3 z 5 = 0
c1 x c2 y c3 z
a1 x + b1 y + c1 z = 0 y a2 x + b2 y + c2 z = 0,
a1 x + b1 y + c1 z = k1 y a2 x + b2 y + c2 z = k2 ,
contiene a la recta L.
19. Trace curvas de nivel para las funciones z = f (x; y):
a) 9x2 + 4y 2 b) x2 + y c) x2 y 2
2 2
d) x2 2y e) lg x2 + y 2 f) ex +y
K = (x; y) 2 R2 : 0 x 1; 0 y 1 ;
Elementos de topologa
Observacin 57
a) Es fcil darse cuenta que en R las vecindades (abiertas) son simplemente
intervalos abiertos. Por ejemplo V3 ( 1) =] 4; 2[.
b) En R2 las vecindades son crculos abiertos, es decir, crculos sin sus
puntos de la correspondiente circunferencia. Por ejemplo, si a = ( 2; 3),
entonces la vecindad de este punto, de radio 2, corresponde al subconjunto
del plano constituido por todos los pares ordenados (x; y) que satisfacen
la desigualdad:
2 2
(x + 2) + (y 3) < 4;
conjunto que obviamente representa un crculo sin su frontera centrado en
( 2; 3) y de radio 2.
49
50 CAPTULO 3. ELEMENTOS DE TOPOLOGA
Denicin 58
Observacin 59
G = (x; y) : x2 + y 2 9 R2 ,
G = [G
tambin es abierto.
Por otro lado, si G1 ; G2 ; : : : ; Gn es una coleccin nita de conjuntos abiertos,
entonces su interseccin:
G = \G ,
tambin es un conjunto abierto.
Demostracin. La demostracin correspondiente a la unin es trivial y se
deja de ejercicio. Para demostrar la segunda parte, supongamos que G1 ; G2 ; : : : ; Gn
es una coleccin nita de conjuntos abiertos y tomemos un punto p 2 G. Co-
mo p pertenece a la interseccin de los conjuntos, entonces debe pertenecer
a cada uno de ellos. Como cada conjunto Gk es abierto, entonces, para cada
k = 1; 2; : : : n, existe un rk > 0 tal que Vrk (p) Gk .
52 CAPTULO 3. ELEMENTOS DE TOPOLOGA
Si ahora elegimos
r = m n fr1 ; r2 ; : : : ; rn g ,
se tendr que r > 0 y adems,
Vr (p) \G .
Esto termina la demostracin.
Observacin 70
a) Es importante notar que si un conjunto A es abierto en un espacio Rn ,
entonces su complemento es cerrado en Rn y viceversa. Sin embargo
no hay que cometer el error muy comn por lo dems de concluir que
si un conjunto no es abierto, entonces tiene que ser cerrado o si no es
cerrado, entonces tiene que ser abierto. Estas dos conclusiones son falsas:
un conjunto no tiene que ser ni lo uno ni lo otro. Por ejemplo el conjunto
]0; 1] no es abierto en R, pero tampoco es cerrado.
b) A diferencia de lo que sucede con los conjuntos abierto, si un conjunto F
es cerrado en algn Rn , entonces tambin es cerrado en todo espacio Rm ,
con m > n. La demostracin de este aserto se plantea como problema al
nal de la seccin.
0. 5
0 0. 2 0. 4 0. 6 0. 8 1
x
-0. 5
-1
Ejemplo 78 De manera similar al ejemplo anterior es fcil ver que todo punto
(x; y) del plano cartesiano es punto de acumulacin del conjunto Q Q. As se
concluye que:
0
( Q Q) = R2 .
A0 = A [ (0; y) 2 R2 : y 2 [ 1; 1] :
3.2. PUNTOS DE ACUMULACIN Y CONJUNTOS CERRADOS 55
Denicin 85
A [ R; R] [ R; R] :
F es un conjunto cerrado () F0 F:
3.3. Regiones
Denicin 88
1. Sean p y q dos puntos en el espacio Rn . Entonces al conjunto de todos los
puntos x en Rn de la forma
x = (1 t) p + tq, con 0 t 1;
lo llamaremos el segmento lineal que une el punto p con el punto q y lo
denotaremos:
Seg [p; q] :
Figura 3.3: Conjunto A = (x; y) : jyj < x2 . No es una regin pues no es polig-
onalmente conexo.
Ejemplo 90 El conjunto:
representado por la Figura 3.3 no es una regin, ya que es imposible unir me-
diante una poligonal el punto ( 1; 0) con el punto (1; 0).
3.4. Sucesiones
Denicin 93
Ejemplo 95 Las sucesiones pueden ser descritas de varias maneras. Por ejem-
plo, consideremos la sucesin fan g = n2 + 2n . Esta sucesin tambin podra
haber sido descrita en cualesquiera de las siguientes cuatro formas:
1. an = n2 + 2n, en donde n = 1; 2; 3; : : :
2. a1 ;a2 ;a3 ; : : :, en donde an = n2 + 2n y n 2 N.
3. 3; 8; 15; 24; 35; : : : ; n2 + 2n; : : :
4. (n 4)2 + 2(n 4), en donde n = 5; 6; 7; : : :
3.5. Problemas
1. Considere los conjuntos
( )
2
2 2 1
An = (x; y) : x + y 4 :
n
4. Determine el rea del tringulo cuyos vrtices son (1; 2; 3); (2; 3; 5);
(2; 5; 3).
5. Graque los siguientes subconjuntos del plano:
a) f(x; y) : jxj + jyj < 4g b) f(x; y) : max fjxj ; jyjg < 4g
c) f(x; y) : jxyj < 4g d) (x; y) : jyj < x2
e) f(x; y) : jyj < jxjg f) f(x; y) : jx + yj < 4g :
15. Determine
Fr(Q Q), Int(Q Q), Fr(Z Z), Int(Z Z), Fr(N Q ), Int(R Q):
A = A [ A0 ,
A [ B = A [ B; A\B A \ B:
19. Halle la clausura de todos los conjuntos que aparecen en los problemas
anteriores.
20. Suponga que fan g es una sucesin de Cauchy y que fa'(n) g es una sub-
sucesin de fan g convergente al nmero L. Demuestre que fan g tambin
converge al mismo nmero L.
kx yk
d (x; y) =
1 + kx yk
3.5. PROBLEMAS 63
es una mtrica en Rn , esto es, satisface todas las propiedades del Proble-
ma 1 de la pgina 22. Demuestre adems que un conjunto U Rn es
abierto segn la Denicin 58 si y slo si es abierto usando la mtrica d .
Observe que con esta mtrica todos los subconjuntos de Rn , sin importar
su tamao, son acotados. Este resultado debera dejar bien en claro que
en la Denicin 85 se debe usar la distancia usual para denir el conjunto
VR (0).
27. Demuestre que no es cierto que para todo cubrimiento abierto de ]0; 1[
exista un subrecubrimiento nito.
64 CAPTULO 3. ELEMENTOS DE TOPOLOGA
Lmites y continuidad
l m F(x) = L.
x!p
tiene lmite:
L = (L1 ; L2 ; : : : ; Lm ) 2 Rm
si y slo si
l m fi (x) = Li
x!p
para cada una de sus funciones componentes. Adems en tal caso, se tiene que:
65
66 CAPTULO 4. LMITES Y CONTINUIDAD
Observacin 102
Supongamos que para " > 0 hemos encontrado el nmero positivo que cumple
con la implicacin. Veamos cuanto debera valer. Como el par ordenado (x; y)
cumple con:
0 < (x 3)2 + (y 5)2 < 2 ; (4.1)
se deduce que (x 3)2 < 2 y tambin que (y 5)2 < 2
. Tomando races
cuadradas, se obtienen las siguientes desigualdades:
jx 3j < ; jy 5j < :
j7x 4y 1j = j7x 21 + 21 4y + 20 20 1j
= j7 (x 3) + 21 4 (y 5) 20 1j
= j7 (x 3) 4 (y 5)j
j7 (x 3)j + j4 (y 5)j (4.2)
7 + 4 = 11 . (4.3)
Para concluir con el problema nos falta hallar > 0 y demostrar que para
cualquier par (x; y) que satisfaga la inecuacin 4.1, debe cumplir con:
j 7x 4y 1j < 11 = 11 = :
11
Esto termina con el ejemplo.
Solucin. Hay que demostrar que dado > 0, es posible hallar > 0, tal
que la siguiente implicacin sea verdadera
2 2
0 < (x + 2)2 + (y 7)2 + (z 4) < =) jf (x; y; z) 69j < :
jf (x; y; z) 69j = 4x + y 2 + 3z + z 2 69
2
= 4x + 8 + y 49 + 3z + z 2 28
= j4(x + 2) + (y 7)(y + 7) + (z 4)(z + 7)j
4 jx + 2j + j(y 7)(y + 7)j + j(z 4)(z + 7)j
Por lo tanto, nuestro debe ser elegido como cualquier nmero real tal que:
x2 y 2
f (x; y) = .
x2 + y 2
x2 y 2 x2 + y 2 x2 + y 2
jf (x; y) 0j = = x2 + y 2
x2 + y 2 x2 + y 2
p
se tendr que basta tomar: = ", puesto que si (x; y) es un par ordenado
tal que 0 < x2 + y 2 < 2 , entonces se tendr que (x; y) 6= (0; 0) y tambin que
x2 + y 2 < 2 = ". De manera que:
1 1 x2 y2
jxyj +
2 sin x + sin y sin x + sin2 y
2 2 2
2 1 1
jxyj 1 x2 + y 2
< 4 jxyj 4
4 2
p ! 1
< 4 .
2
x2 x2 2
sin x + sin2 y
2
sin2 y 4
en donde:
G = (x; y) 2 R2 : jyj < x2
x = r cos ; y = r sin :
Entonces
xy r2 cos sin
f (x; y) = = = sin cos .
x2 + y 2 r2 cos2 + r2 sin2
Ahora, como el par (x; y) debe mantenerse dentro del dominio G, se deduce que:
De modo que:
xy
lm f (x; y) = lm = l m sin cos
(x;y)!(0;0) (x;y)!(0;0) x2
+ y2 r!0 !0
= l m sin cos = 0.
!0
x = r cos ; y = r sin :
(x; y) ! (0; 0) () r ! 0:
P
(t) ! a (t ! 0+ )
72 CAPTULO 4. LMITES Y CONTINUIDAD
(t) 6= a:
Entonces:
l m f ( (t)) = L;
t!0+
p
para toda curva : [0; 1] ! G tal que (t) ! a (t ! 0+ ).
Demostracin. Sea " > 0. Como l m f (x) = L se tendr que existe > 0
x!a
tal que:
x 2 V (a) \ G ) jf (x) Lj < ": (4.4)
p
Ahora como (t) ! a; cuando t ! 0+ , se tendr que existe > 0 tal que:
Observacin 111
l m f (x) = L:
x!a
La Proposicin 110 solo nos dice que si para dos curvas 1 y 2 obte-
nemos distintos valores para L, entonces el lmite l m f (x) no existe.
x!a
Como ilustracin de esta idea vea el Ejemplo 112.
x4 y
f (x; y) = :
x6 + y 3
mt5 mt2
l m f ( (t)) = l m = l m = 0.
t!0 t!0 t6 + m3 t3 t!0 t3 + m3
74 CAPTULO 4. LMITES Y CONTINUIDAD
20
10
-4 -2 0 2 4
x
-10
-20
Este resultado podra sugerirnos que el lmite existe y vale cero. Sin embargo
si nos aproximamos a lo largo de la parbola y = mx2 , con m 6= 1, cuya
representacin usando coordenadas parametrizadas es (t) = t; mt2 , entonces
obtenemos:
mt6 m
l m f ( (t)) = l m 6 3 6
= :
t!0 t!0 t + m t 1 + m3
Nuevamente, en vista de la Proposicin 110 se deduce que en (0; 0) no hay lmite.
La Figura 4.1 muestra el dominio de f , seis rectas de la familia y = mx y
una parbolas de la familia y = mx2 .
l m f (x) = L y l m g (x) = M:
x!a x!a
Entonces:
sin (xy)
Ejemplo 115 Demuestre que lm = 1.
x!0 y!0 sin x sin y
x y sin (xy)
= lm lm lm
x!0 sin x x!0 sin y x!0 xy
y!0 y!0 y!0
= 1 1 1 = 1:
6 (1 cos xy)
Ejemplo 116 Calcule lm .
x!0 y!0 x2 y sin 2y
Solucin. Usando la misma idea que en el ejemplo anterior, se tiene:
1 cos xy
= lm 2 1 3
x!0 (xy)
y!0
1 cos2 xy
= 3l m 2
x!0 (xy) (1 + cos xy)
y!0
2
sin xy 1 3
= 3l m 2 lm = :
x!0
y!0 (xy) x!0 1 y!0
+ cos xy 2
1 1 x2 y2
jxyj +
2 sin x + sin y sin x + sin2 y
2 2 2
1 1 x2 y2
jxyj +
2 sin x sin2 y
2
76 CAPTULO 4. LMITES Y CONTINUIDAD
1 1 x2 y2
lm jxyj + =0
(x;y)!(0;0) 2 sin2 x sin2 y
x2 y2 1
ya que el factor + tiende a 2, pero el factor jxyj tiende a cero
sin x sin2 y
2
l m f (x; y).
y!b
lm l m (x; y) ;
x!a y!b
Note que para que estos lmites iterados tengan sentido, la variable vectorial
(x; y) debiera mantenerse en todo este proceso dentro del dominio de la funcin.
Por ejemplo, si el dominio es el conjunto:
(ver Figura 3.3, Pgina 57), entonces de los dos lmites iterados en (0; 0) slo
existe l m l m (x; y) .
x!0 y!0
Una segunda aplicacin de los lmites iterados consiste en que bajo ciertas
condiciones podemos concluir la no existencia del lmite l m f (x; y).
x!0; y!0
4.5. CONTINUIDAD 77
lm f (x; y) = L
(x;y)!(a;b)
lm l m f (x; y) = L.
x!a y!b
no existe.
3x
lm l m f (x; y) = lm =3
x!0 y!0 x!0 sin x
y
y
lm l m f (x; y) = l m = 1:
y!0 x!0 x!0 sin y
Por lo tanto, de acuerdo al Corolario 119 se deduce que
lm f (x; y) ;
(x;y)!(a;b)
no existe.
4.5. Continuidad
Las funciones continuas son, entre todas las posibles funciones que pueden
denirse en un cierto dominio, aquellas que son ms ampliamente usadas en
matemtica. Esta realidad es debido a varias razones: son sumamente tiles
para modelar procesos que trascurren o suceden de modo no abrupto ya que
cualquier cambio de posicin, velocidad, forma, temperatura, etc. de un cuer-
po, requiere, por motivos inerciales y energticos, de un cierto lapso de tiempo
78 CAPTULO 4. LMITES Y CONTINUIDAD
y sucede, en todo caso, de modo gradual. Por otro lado tienen una serie de
ventajas operativas sobre funciones ms arbitrarias. Algunos ejemplos: es posi-
ble integrarlas; pueden ser aproximadas tanto como uno lo desee por medio
de funciones innitamente diferenciables (mediante un proceso conocido como
regularizacin); transforman conjuntos compactos (cerrados y acotados) en
conjuntos compactos; intervalos en intervalos y conexos en conexos. Finalmente,
adems de todas estas ventajas, es muy fcil construir una gran cantidad de ellas
por medio de sumas, restas, productos, cuocientes y composiciones de funciones
continuas ms simples. Comencemos por lo tanto con la denicin:
l m F(x) = F(a).
x!a
o equivalentemente:
(8" > 0)(9 > 0)(8x 2 G)(kx ak < ) kF(x) F(a)k < ):
Por otro lado, si usamos la proposicin anterior junto con la Proposicin 101
de la seccin anterior, se tiene el siguiente resultado:
y por lo tanto:
kF(x)k < kF(a)k + :
Esto dice que F es acotada en V (a) \ G.
(8" > 0)(9 > 0)(8x 2 Rn )(kx ak < ) kF(x) F(a)k < ):
n o
Entonces, si > 0, basta tomar = m n r; . Esto termina la demostracin.
K
Ejemplo 128 Sea F : Rn ! Rm una transformacin lineal, esto es, una fun-
cin vectorial denida por una expresin del tipo:
F(x) = xAT
80 CAPTULO 4. LMITES Y CONTINUIDAD
kF(x) F(y)k K kx yk :
Ahora, de acuerdo al Problema 17, pgina 24, existe K > 0 tal que:
T
kF (x) F (y)k K (x y) = K kx yk :
f : G ! R.
Como la funcin f es continua en punto a (ver Denicin 121), dado > 0, debe
existir > 0, tal que,
Ahora bien, ya que > 0, dado que xn ! a, se tiene que debe existir un N 2 N,
tal que:
n N =) jxn aj < :
Por lo tanto, de acuerdo a la Ecuacin 4.9, se tiene que:
j (x) =xj
para todo x 2 Rn , es continua en Rn .
Solucin. Sea a = (a1 ; a2 ; : : : an ) un punto arbitrario de Rn . Demostraremos
que g es continua en a. Esto signica que hay que demostrar que:
(8" > 0)(9 > 0)(8x 2 Rn ) (x 2 V (a) ) j (x) 2V ( j (a))) .
f (x; y; z) = x2 y + z 2
es continua en R3 .
es continua en todo R3 .
es continua en R3 .
Solucin. La funcin,
h(x; y; z) = jyj ,
tambin lo ser.
4.8. PROBLEMAS 85
4.8. Problemas
1. Calcule, en el caso que existan, los siguientes lmites:
jxyj x2 y 2
a) < 10 6 b) jxyj < 10 6
: c) < 10 6
jxj + jyj x2 + y 2
jxyj sin x sin y
d) < 10 6 : e) x + jyj < 10 6
f) < 10 6
x + y2
2 jxj + jyj
jsin xyj j1 cos xyj
g) < 10 6 h) x2 + y 2 < 10 6
i) < 10 6
jxj + jyj x2 + y 2
x2 + y 2 xy
a) lm =0 b) lm =0
(x;y)!(0;0) jxj + jyj (x;y)!(0;0) jxj + jyj
2
x y sin(xy)
c) lm =0 d) lm =0
(x;y)!(0;0) x + y 2
2 (x;y)!(0;0) jxj + jyj
3 3
x sin x
e) lm =0 f) lm =0
(x;y)!(0;0) x + y 2
2 (x;y)!(0;0) x2 + y 2
lm f (x; y) = 0;
(x;y)!(a;b)
86 CAPTULO 4. LMITES Y CONTINUIDAD
x(y + 1) (x 1)(y + 1)
a) p ; (0; 1) b) p ; (1; 1)
x2 + (1 + y)2 (1 x)2 + (1 + y)2
(x 1)y (x )(y 2)
c) p ; (1; 0) d) p ; (1; 2)
(1 x)2 + y 2 (1 x)4 + jy 2j
3=2
(x 1)y jx 1j (y + )
e) p ; (1; 0) f) p ; (1; 2)
(1 x)2 + y 4 (1 x)2 + (y 2)4
7. Considere la funcin,
( xy
Si (x; y) 6= (0; 0)
f (x; y) = x2 + jyj
0 Si (x; y) = (0; 0)
8. Considere la funcin,
8
>
> (1 x2 y 2 ) Si x2 + y 2 1
< p 2
x + y2 1 Si 1 < x2 + y 2 4
f (x; y) =
>
> sin(x2 + y 2 4)
: Si 4 < x2 + y 2
x2 + y 2 4
Demuestre que f es continua en (0; 0). Encuentre todos los puntos del
plano en donde f es discontinua.
10. Demuestre la Proposicin 101. Indicacin: Para demostrar que los lmites
escalares existen, use la desigualdad jai bi j ka bk. Para demostrar
que el lmite vectorial existe, use la desigualdad ka bk ja1 b1 j +
ja2 b2 j + : : : + jam bm j.
f : G ! R,
es una funcin continua. Demuestre que, para cada una de las siguientes
interrogantes, la respuesta es negativa.
K1 = fx 2 R : 9y 2 R, (x; y) 2 Kg
K2 = fy 2 R : 9x 2 R, (x; y) 2 Kg ;
f (x) = nf fkx yk : y 2 Ag ;
r : B ! A;
4.8. PROBLEMAS 89
fx 2 Rn : kxk 1g ,
F:C!C
Derivadas parciales
@f
Observacin 139 Es importante destacar que (a) es la derivada usual
@xk
(derivada ordinaria) de la funcin de una variable xk denida por:
g (xk ) = f (a1 ; a2 ; ::::; ak 1 ; xk ; ak+1 ; ak+2 ; : : : ; an )
91
92 CAPTULO 5. DERIVADAS PARCIALES
@f @f @f
Ejemplo 140 Hallar , y para la funcin f (x; y; z) = sin xy + y xz :
@x @y @z
Solucin.
@f @f @f
= y cos xy + y xz z ln y; = x cos xy + xzy xz 1
; = y xz x ln y
@x @y @z
@f
Anlogamente (a; b) = D2 f (a; b) = m2 es justamente la pendiente de la
@y
recta tangente a la curva que se obtiene al cortar la supercie z = f (x; y) por
el plano x = a en el punto (a; b; f (a; b)). Estas rectas tangentes pueden verse
en la Figura 5.1.
Demuestre que sus derivadas parciales mixtas de segundo orden existen en (0; 0)
pero no son iguales.
Solucin. Si x 2 R, se tiene:
@f f (x; k) f (x; 0) x2 k 2
(x; 0) = l m = l mx 2 = x.
@y k!0 k k!0 x + k 2
@f f (h; y) f (0; y) h2 y 2
(0; y) = l m = l my 2 = y:
@x h!0 h h!0 h + y 2
Por lo tanto:
@f @f
@2f (0; k) (0; 0) k 0
(0; 0) = l m @x @x = lm = 1:
@x@y k!0 k k!0 k
Anlogamente:
@f @f
2 (h; 0) (0; 0)
@ f @y @y h 0
(0; 0) = l m = lm = 1:
@y@x h!0 h h!0 h
@2f @2f
En consecuencia (0; 0) 6= (0; 0).
@x@y @y@x
Por consiguiente, en vista de la Proposicin 250 de la pgina 193, al menos
una de las derivadas mixtas no es continua en (0; 0).
@2 @2
52 = r r = +
@x2 @y 2
En consecuencia:
@2f @2f
+ = 0:
@x2 @y 2
La demostracin de que la funcin g tambin es armnica se hace en forma
similar.
Un corolario que se deduce inmediatamente de la Proposicin 250 es el si-
guiente:
en donde Rn (x) es una expresin conocida como RESTO y est dada por:
f (n+1) ( )
Rn (x) = (x c)n+1 ;
(n + 1)!
en donde es un valor que se encuentra en el intervalo que une x con c. El
polinomio,
f 0 (c) f 00 (c) f (n) (c)
Pn (x) = f (c) + (x c) + (x c)2 + + (x c)n
1! 2! n!
se lo conoce como polinomio de Taylor de grado n.
Para el caso particular en que c = 0, la frmula de Taylor queda:
f 0 (0) f 00 (0) 2 f (n) (0) n f (n+1) ( ) n+1
f (x) = f (0) + x+ x + + x + x ;
1! 2! n! (n + 1)!
expresin en donde se incluy en forma explcita el RESTO.
Teorema 147 Supongamos que f es una funcin denida en una regin con-
vexa del plano cartesiano conteniendo al punto (a; b) y tal que sus derivadas
parciales, de todos los rdenes son continuas en dicha regin. Entonces,
k=n
X Dk f
f (x; y) = (a; b) + Rn
k!
k=0
0
D f D1 f D2 f Dn f
= (a; b) + (a; b) + (a; b) + + (a; b) + Rn ;
0! 1! 2! n!
en donde el resto Rn y el operador Dk tienen la siguiente forma:
D(n+1) f
Rn = ( ; )
(n + 1)!
k Xk
@ @ k j k j @k
Dk = (x a) + (y b) = (x a) (y b)
@x @y j=0
j @xj @y k j
5.4. FRMULA DE TAYLOR EN VARIAS VARIABLES 99
y ( ; ) es un punto ubicado sobre el segmento lineal que une (a; b) con el punto
(x; y).
Si (a; b) = (0; 0), obtenemos el siguiente corolario:
Corolario 148 Supongamos que f es una funcin denida en una regin con-
vexa del plano cartesiano conteniendo al punto (0; 0) y tal que sus derivadas
parciales, de todos los rdenes son continuas en dicha regin. Entonces:
k=n
X Dk f
f (x; y) = (0; 0) + Rn
k!
k=0
0
D f D1 f D2 f Dn f
= (0; 0) + (0; 0) + (0; 0) + + (0; 0) + Rn ;
0! 1! 2! n!
en donde el resto Rn y el operador Dk tienen la siguiente forma:
D(n+1) f
Rn = ( ; )
(n + 1)!
k Xk
k @ @ k j k j @k
D = x +y = x y ;
@x @y j=0
j @xj @y k j
y ( ; ) es un punto ubicado sobre el segmento lineal que une (0; 0) con el punto
(x; y).
Si el resto Rn tiende a cero cuando n tiende a innito, entonces obtenemos
que,
1
X Dk f
f (x; y) = (a; b),
k!
k=0
y en este caso, la serie de la derecha recibe el nombre de serie de Taylor de la
funcin f . En el caso en que (a; b) = (0; 0) esta serie algunas veces recibe el
nombre de Mclaurin.
Ejemplo 149 Halle el trmino D3 f (0; 0), para la funcin f (x; y) = sin(x + y):
Solucin.
3
@ @
D3 f (0; 0) = x +y f (0; 0)
@x @y
@3f @3f @3f 3
3@ f
= x3 3 + 3x2 y 2 + 3xy 2 + y (0; 0)
@x @x @y @x@y 2 @y 3
= x3 + 3x2 y + 3xy 2 + y 3 .
@ 29
f (0; 0):
@x10 @y 19
f (x; y) = (x 1 + 1)2 (y 2 + 2)
= (x 1)2 + 2(x 1) + 1 (y 2) + 2(x 1)2 + 4(x 1) + 2
2
= 2 + 4(x 1) + (y 2) + 2(x 1) + 2(x 1)(y 2) + (x 1)2 (y 2).
2 2
y 3 1 1
f (x; y) = 2x2 + y 2 + xy x= x+ + y2 + x . (5.2)
2 4 2 4
5.6. CRITERIO DEL HESSIANO 103
Ahora, si jx 1=2j 1=2, se tendr que jxj 1, y por lo tanto, debido a que
se debe cumplir al menos una de las alternativas dadas en la ecuacin 5.1, se
deduce que jyj 10. Esto a su vez implica que,
y y y
x+ jxj 1 5 1 = 4:
2 2 2
Por lo tanto
y 2
x+ 16:
2
En resumen: al menos una de las siguientes dos alternativas debe cumplirse:
Por lo tanto, de acuerdo a la Identidad 5.2, se deduce que fuera del cuadrado
] 10; 10[ ] 10; 10[ la funcin es positiva.
Es conveniente hacer notar que la Proposicin 154 slo nos proporciona una
condicin necesaria. El siguiente ejemplo clsico demuestra que esta condicin
no es suciente para establecer con certeza si un punto crtico es un extremo
relativo de una funcin:
2x = 0; 2y = 0:
Este ltimo sistema tiene como nica solucin el punto (0; 0). Es este punto
un extremo relativo?
Mediante un simple anlisis de los valores de f alrededor de (0; 0) por ejem-
plo considerando puntos que se encuentren en los ejes coordenados, podemos
observar que este punto crtico no es un extremo relativo de la funcin. En con-
secuencia, dicha funcin no tiene mximos ni mnimos en el plano. La grca
de esta funcin corresponde a la Figura 2.11, pgina 39.
(n r)2 f ( )>0;
para todo en una vecindad U del punto a. De aqu se deduce que f (x) f (a)
es positiva para todo x 2 U fag. Esto signica que a es un mnimo relativo
de f .
La aplicacin de la Proposicin 160 se simplica bastante para el caso en
que f sea una funcin de slo dos variables:
En donde
f11 (a) f12 (a)
D(a) = det
f21 (a) f22 (a)
Adems las mismas conclusiones se obtienen si en 1. y 2. se reemplaza f11 por
f22.
(n r)2 f (a) = n21 f11 (a) + 2n1 n2 f12 (a) + n22 f22 (a)
2
f12 (a) f11 (a)f22 (a) f122 (a)
= f11 (a) n1 + n2 + n22
f11 (a) f11 (a)
2
f12 (a) D(a)
= f11 (a) n1 + n2 + n22 :
f11 (a) f11 (a)
De esta ltima igualdad se deduce que si D(a) > 0, entonces el signo de la forma
cuadrtica (n r)2 f (a) es el mismo que el de f11 (a) y en consecuencia:
Por lo tanto,
(n r)2 f = 2n21 6yn22 + 2n23 :
Evaluando ahora en los puntos crticos, se obtiene:
Como 2n21 +12n22 +2n23 > 0 para todo vector unitario n = (n1 ; n2 ; n3 ) se deduce,
de la Proposicin 160 que a2 es un mnimo local.
Por otro lado es fcil ver que el signo de (n r)2 f (a1 ) cambia con n. Por
ejemplo, si tomamos n = (1; 0; 0) entonces (n r)2 f (a1 ) = 2 > 0, en cambio
tomando n = (0; 1; 0) tendremos que (n r)2 f (a1 ) = 12 < 0; de modo que a1
es un punto de ensilladura.
3
y
2
-2 -1 0 1 2 3 4 5
x
-1
-2
f (x; y; z) = x2 + xy + y 2 + yz + z 2 + 5x 6z:
2x + y + 5 = 0; x + 2y + z = 0; y + 2z 6 = 0:
108 CAPTULO 5. DERIVADAS PARCIALES
10
5
-2 Eje
2Y 4 6
-2 0 2
4
6
-5
-10
-15
-20
(n r)2 f (P ) = n21 f11 + n22 f22 + n23 f33 + 2n1 n2 f12 + 2n1 n3 f13 + 2n2 n3 f23
= 2n21 + 2n22 + 2n23 + 2n1 n2 + 2n2 n3 (5.3)
2
= (n1 + n2 )2 + n21 + (n2 + n3 ) + n23 ; (5.4)
En donde,
2 3
f11 (a) f12 (a) f1k (a)
6 f21 (a) f22 (a) f2k (a) 7
Dk (a) = det 6
4
7
5
fk1 (a) fk2 (a) fkk (a)
Demostracin. Ver Teorema 10.19, pgina 413 del texto Applied Linear
Algebra de Ben Noble y James Daniel.
Como una aplicacin de este teorema, demostraremos que el punto crtico
9 1 13
P = 4; 2; 4 es un mnimo local de la funcin del Ejemplo 164. En este
ejemplo la forma cuadrtica es:
5.7. Problemas
1. Hallar las derivadas parciales de las siguientes funciones:
a) f (x; y) = sin (x sin y) b) f (x; y; z) = sin (x sin (y sin z))
x arctan x
c) f (x; y) = d) f (x; y) = x(x+y)
y+x
e) f (x; y) = logx xy: f) f (x; y; z) = z 4 :
@f
3. Calcule ( =4; 1) para las siguientes funciones:
@x
a) f (x; y) = arctan x arctan y xy+sin xy
b) f (x; y) = sin (xy cos (xy sin(x ln y))):
Indicacin. Observe que slo se est pidiendo la derivada parcial respecto
a x en un punto bien especco.
4. Demuestre que la funcin,
@f @f
5. Calcule, en caso de que existan, (0; 0) y (0; 0) para las funciones,
@x @y
p
a) f (x; y) = jxyj b) f (x; y) = jxyj
6. Resuelva los dos problemas anteriores pero ahora para los puntos,
a) (1; 1) b) ( 1; 1) c) (1; 1) d) ( 1; 1)
x2 + y 2 + z 2 = 9;
9. Se sabe que al trazar en un punto cualquiera (x; y; f (x; y)) de una super-
cie z = f (x; y) un par de rectas tangentes a tal supercie, una de ellas
contenida en el plano vertical x = c1 , y la otra en el plano y = c2 , en
donde c1 y c2 son constante, se obtiene que sus pendientes estn dadas
por las expresiones
f (x; y) = x2 + xy + y 2 3x 9y
f (x; y) = x2 + y 2 2y + x 18
f (x; y) = x2 + 12xy + y 2 x + :
14. Sea: (
sin (xy)
f (x; y) = si x 6= 0
x
y si x = 0
Respecto a esta funcin:
16. Halle un polinomio en las variables (x; y) tal que aproxime a la funcin,
f (x; y) = x2 + 2xy + 3y 2 + 9x 2y 7
f (x; y; z) = x2 + y 2 + z 2 + 2xy yz 4x 3y z + 4;
19. Desarrollar, por Mclaurin, hasta los trminos de 3er. orden inclusive, la
funcin,
f (x; y) = ex sin y:
20. Desarrollar en un entorno del punto (1; 1) hasta los trminos de 2do. orden
inclusive, la funcin f (x; y) = y x :
21. Desarrolle en un entorno del punto (1; 1) hasta los trminos de 3er. orden
inclusive, la funcin f (x; y) = ex+y :
@ 17 f
22. Sea, f (x; y) = exy cos(x + y): Calcule (0; 0):
@x10 @y 7
23. Halle el polinomio de Taylor de grado 6 y centrado en (0; 0) de la funcin
del problema anterior.
24. Cuantos trminos tiene el polinomio de Taylor de grado n = 20 y cen-
trado en el origen de la funcin ex+y ?
@ 17 f @ 18 f
25. Sea, f (x; y) = sin(2x y): Calcule: (0; 0) y (0; 0):
@x10 @y 7 @x10 @y 8
26. Para las siguiente funciones determine sus puntos crticos y estudie su
naturaleza:
a) f (x; y; z) = x2 + y 2 2z 2 + 3x + y z
b) f (x; y; u; v) = 8x2 6xy 6xu + 7y 2 + 4yu + 7u2 + 3v 2 :
27. Observe que las Proposiciones 160 al 166, dan solamente condiciones su-
cientes para determinar la naturaleza de los puntos crticos. Demuestre
que las funciones f (x; y) = x4 + y 4 y g(x; y) = x4 y 4 tienen al origen
como un mximo y un punto de ensilladura respectivamente y sin embargo
no cumplen con las condiciones de los teoremas mencionados.
114 CAPTULO 5. DERIVADAS PARCIALES
Captulo 6
Diferenciabilidad
115
116 CAPTULO 6. DIFERENCIABILIDAD
h7 !A h
df = f 0 (x)dx
@f
Ak = (x) :
@xk
@f @f @f
f 0 (x) = [A1 ; A2 ; : : : ; An ] = (x); (x); : : : ; (x)
@x1 @x2 @xn
es la derivada de f en x:
6.1. DERIVADA, DIFERENCIAL Y DIFERENCIABILIDAD 117
T
se denomina diferencial o diferencial total de f en x. Aqu la expresin f 0 (x)dx
es el producto matricial de la matriz f 0 (x) con la matriz dxT que corresponde
a la transpuesta de dx. Esto es:
2 3
dx1
@f @f @f 6 dx2 7
6 7
f 0 (x)dxT = (x); (x); : : : ; (x) 6 . 7
@x1 @x2 @xn 4 .. 5
dxn
@f @f @f
= (x)dx1 + (x)dx2 + : : : + (x)dxn :
@x1 @x2 @xn
Si el punto x no se especica, entonces la expresin:
@f @f @f
df = dx1 + dx2 + : : : + dxn :
@x1 @x2 @xn
representar la diferencial de f en cualquier punto x 2G.
@f @f
z c= (a)(x a) + (a)(y b):
@x @y
6.2.2. De la diferenciabilidad
En el apartado anterior hemos supuesto que si f : G R2 ! R es una
funcin diferenciable en (a; b) entonces existe un plano tangente a la super-
cie z = f (x; y) en el punto (a; b; f (a; b)): En este apartado justicaremos esta
suposicin.
Sea f : G R2 ! R; una funcin diferenciable en a = (a; b). Esto es,
supongamos que:
jf (a + dx) f (a) df j
lm = 0: (6.3)
dx!0 kdxk
en donde,
@f @f
dx = (dx; dy) y df = (a)dx + (a)dy:
@x @y
Ahora, la expresin f (a + dx) f (a) en la ecuacin 6.3 es la variacin que sufre
f cuando a se incrementa en el valor dx. Denotaremos esta diferencia con el
smbolo 4f , es decir,
4f = f (a + dx) f (a) (6.4)
En consecuencia, la ecuacin 6.3 simplemente nos dice que f es diferenciable en
a si se cumple que
j4f df j
lm = 0;
dx!0 kdxk
en otras palabras f es diferenciable en a si la diferencia 4f df tiende a cero
ms rpidamenteque dx (aqu el sentido de la expresin ms rpidamente
es justamente que el lmite del cuociente sea cero). Geomtricamente, esto sig-
nica que la supercie z = f (x; y) y el plano tangente a esta supercie en el
punto (a; f (a)) son efectivamente tangentesen el mismo sentido que lo es una
esfera y un plano que la toca en un nico punto y no en el sentido en que,
120 CAPTULO 6. DIFERENCIABILIDAD
4f df;
Esta expresin nos dice que el valor z = f (a + dx; b + dy) puede ser aproximado
por el correspondiente valor sobre el plano tangente a la supercie en a. En
otras palabras, podemos escribir:
@f @f
f (a + dx; b + dy) f (a) + (a)dx + (a)dy: (6.6)
@x @y
Para ejercitarse un poco con estos conceptos, veamos un ejemplo:
@f @f
z 18 = (x 2) (2; 3) + (y 3) (2; 3) = 5(x 2) + 7(y 3):
@x @y
18 = 5(x 2) + 7(y 3)
Para hallar el rea del tringulo descrito en el problema, debemos hallar las
intersecciones de la recta L con el ejes coordenados x e y.
1) Haciendo x = 0, obtenemos la coordenada en donde la recta intersecta al
eje y. Esto es:
18 = 10 + 7y 21 =) y = 13=7
2) Haciendo y = 0, obtenemos la coordenada en donde la recta intersecta al
eje x. Esto es:
18 = 5x 10 21 =) x = 13=5
Por lo tanto, el rea buscada es:
1 13 13 169 2
A= = [u] :
2 7 5 70
Ejemplo 176 Halle el volumen encerrado por los tres planos coordenados y el
plano tangente a la supercie en el punto (2; 3; 18).
para hallar el volumen encerrado por los cuatro planos indicados, hay que cono-
cer las coordenadas de aquellos puntos de los ejes x, y, y z en donde el plano
tangente corta a dichos ejes. Ahora bien, es claro que los interceptos con los ejes
x e y son los mismos que hallamos en el problema anterior. Por lo tanto slo
nos falta calcular el intercepto con el eje z. Para esto, hacemos x = y = 0 en la
ecuacin del plano tangente:
z 18 = 10 21 =) z= 13:
Esto signica que si > 0, entonces debe existir un > 0 tal que:
Pk=n
f (x) f (a) k=1 Dk f (a)(xk ak )
kx ak < =) < :
kx ak
Tomando = 1, se tendr entonces que existe > 0 tal que V (a) G y adems,
k=n
X
kx ak < =) f (x) f (a) Dk f (a)(xk ak ) < kx ak: (6.7)
k=1
P
k=n P
k=n
jf (x) f (a)j = f (x) f (a) Dk f (a)(xk ak ) + Dk f (a)(xk ak )
k=1 k=1
P
k=n P
k=n
f (x) f (a) Dk f (a)(xk ak ) + Dk f (a)(xk ak )
k=1 k=1
kx ak + Kkx ak = (K + 1)kx ak:
Es importante hacer notar que el Teorema 177 solo nos proporciona una
condicin necesaria para la diferenciabilidad. El siguiente ejemplo muestra que
una funcin puede ser continua sin ser diferenciable:
f (h; k) f (0; 0) h @f
@x (0; 0) k @f
@y (0; 0) jf (h; k)j
lm p = lm p
(h;k)!(0;0) h2 + k 2 (h;k)!(0;0) h2 + k 2
3=2
jhj jkj
= lm 3=2
:
(h;k)!(0;0) (h2 + k 2 )
Ahora es claro que este ltimo lmite no existe y por lo tanto la funcin no es
diferenciable en el origen.
kf (x) f (a)k = k(f1 (x) f1 (a);f2 (x) f2 (a); : : : ;fm (x) fm (a))k
jf1 (x) f1 (a)j + jf2 (x) f2 (a)j + + jfm (x) fm (a)j
mK kx ak :
@f @f @f
; ;:::;
@x1 @x2 @xn
existen y son continuas en un cierto punto a perteneciente a G. Entonces f es
diferenciable en a.
Ahora observe que las expresiones que se encuentran, dentro de los parntesis
de llave, corresponden a incrementos en solo una de las variables. En el primer
126 CAPTULO 6. DIFERENCIABILIDAD
jf (a+h) f (a) hf1 (a) kf2 (a)j h jf1 (a1 ) f1 (a)j + k jf2 (a2 ) f2 (a)j
p
h2 +k 2 fjf1 (a1 ) f1 (a)j+jf2 (a2 ) f2 (a)jg
Ejemplo 184 Demuestre que la funcin racional en dos variables denida por:
x+y
Q(x; y) = ;
x2 + 1
es diferenciable en R2 .
Solucin. Las derivadas parciales de Q, vale decir:
@Q 1 2xy x2 @Q 1
= 2 ; = 2 ;
@x (x2 + 1) @y x +1
Observacin 186 Los Teoremas 177 y 181 nos permiten hacer el siguiente
esquema de implicaciones:
f tiene derivadas
=) f diferenciable =) f continua.
parciales continuas
La siguiente nomenclatura es de uso comn:
@f @f 1
f (x; y) f (0; 0) x (0; 0) y (0; 0) (x2 + y 2 ) sin p
@x @y + y2 x2
p = p
x + y2
2 x2 + y 2
x2 + y 2 p
p = x2 + y 2 :
x2 + y 2
Por lo tanto, el lmite del lado izquierdo existe cuando (x; y) ! (0; 0) y obvia-
mente vale cero. Esto demuestra que f es diferenciable en el origen.
Para demostrar que las derivadas parciales no son continuas en (0; 0) tenemos
@f
que hallar (x; y) para (x; y) 6= (0; 0). Esto es fcil, ya que basta derivar
@x
1
parcialmente la expresin (x2 + y 2 ) sin p : Adems, por la simetra de
x2 + y 2
@f
la funcin, basta demostrar que no es continua en el origen. Ahora bien, si
@x
(x; y) 6= (0; 0), se tiene:
@f 1 x 1
(x; y) = 2x sin p p cos p :
@x x2 + y 2 x2 + y 2 x2 + y 2
6.6. Problemas
1. Demuestre, usando la denicin, que las siguientes funciones son dife-
renciables en (x; y) = (a; b).
a) f (x; y) = xy b) f (x; y) = x2 + y 2
c) f (x; y) = (x + y)2 d) f (x; y) = x + y
3. Sea (
sin(xy)
f (x; y) = si x 6= 0
x
y si x = 0
8. Calcule f 0 ; ; 1 para:
2 4
a) f (x; y; z) = x2 yz. b) f (x; y; z) = y sin x cos y:
9. Calcule f 0 (a; b) para a) f (x; y) = x + y 2 , b) f (x; y) = x sin y.
Z y sin x
10. Sean f (x; y) = y 1 + sin x: y g(x; y) = y cos x esin t dt. Encuentre
0
las siguientes derivadas en ( =6; 1):
0 0 0
a) (f + g) b) (f g) c) (f =g)
11. Demuestre que la normal a la esfera (x a)2 + (y b)2 + (z c)2 = R2
siempre pasa por el punto (a; b; c):
12. Encuentre la ecuacin del plano tangente a la supercie z = f (x; y) en el
punto que se indica.
a) z = x2 + y 2 ( 2; 1; 5)
b) z = xy ; ; 2
c) z = cos x + sin y (1; ; 1) :
2
x2 y z 2
13. Demuestre que el plano tangente en (a; b; c) al elipsoide A2 +B 2 + C2 = 1
ax by cz
est dado por la ecuacin 2 + 2 + 2 = 1:
A B C
14. Demuestre que la suma de los cuadrados de los interceptos de todo plano
tangente a la supercie x2=3 + y 2=3 + z 2=3 = a2=3 es constante. Encuentre
este valor.
15. Halle al ecuacin de la recta tangente a la curva determinada por la inter-
seccin de las dos supercies que se indican, en el punto dado:
a) z = x2 + y 2 z = 2x + 4y + 11 (1; 2; 5)
b) z = x2 z = 5 y2 (2; 1; 4) :
1=2
b) (3;01)2 + (1;98)4 + (6;02)2 + 5(1;97)2 :
p
18. El perodo de un pndulo est dado por T = 2 l=g, en donde l es el
largo del brazo del pndulo y g es la constante de aceleracin gravitacional
sobre la supercie de la tierra. Aproxime el error que se comete al calcular
T si se sabe que el largo del brazo del pndulo es 8 0;01 [cms] y que
g = 9;8 0;02 m=seg 2 :
@2u @2u
= : (6.11)
k @t2 @x2
Captulo 7
Algebra de derivadas
yex
f (x; y) = ;
ex + ey
133
134 CAPTULO 7. ALGEBRA DE DERIVADAS
Ejemplo 192 Sea f (x; y) = yex (ex + ey ). Calcule, de modo similar al proble-
ma anterior, la derivada de f en el punto (x; y).
Solucin. Usando la denicin, se obtiene:
@f @f
f 0 (x; y) = ; = 2ye2x + yex+y ; e2x + ex+y + yex+y
@x @y
Ahora, escribiendo x = (x; y) y usando la frmula del producto, tendremos que:
0
f 0 (x; y) = (gh) (x) = g 0 (x) h (x) + g (x) h0 (x)
= [yex ; ex ] (ex + ey ) + yex [ex ; ey ]
= 2ye2x + yex+y ; e2x + ex+y + yex+y :
son dos funciones tales que g(B) A. Suponga adems que g es diferenciable
en a y f es diferenciable en g(a). Entonces la funcin
f g:B R ! R,
es diferenciable en a y adems,
P
k=n
h(x) h(a) Ak (xk ak ) = h(x) h(a) AB(x a)T :
k=1
y1 = y1 (x1 ; x2 ; : : : ; xn )
y2 = y2 (x1 ; x2 ; : : : ; xn )
ym = ym (x1 ; x2 ; : : : ; xn );
7.2. LA REGLA DE LA CADENA 137
x = s2 t2 ; y = s2 + t2 ; z = s + t:
@w
Reemplazando en el punto dado, se obtiene que (1; 0) = 9e. Anlogamente:
@s
@w @w @x @w @y @w @z @x @y @z
= + + = 3x2 y + x3 + x3 y ez
@t @x @t @y @t @z @t @t @t @t
3 3
= 6t(s2 t2 )2 s2 + t2 + 2t s2 t2 + s2 t2 s2 + t2 es+t :
@w
De donde se obtiene (1; 0) = e:
@t
Ejemplo 197 Imaginen en un futuro cercano...Una nave de carga interplane-
taria se encuentra descargando millennium, a razn desconocida, pero constante
138 CAPTULO 7. ALGEBRA DE DERIVADAS
dV @V dr @V dh 2 dr dh 16 5 2 28
= + = rh + r2 = + = :
dt @r dt @h dt 3 dt 3 dt 3 100 100 75
Kg-m
P = 1;17 1011 :
Seg
7.3. Gradiente
Sea f : G Rn ! R una funcin cuyas n derivadas parciales de primer
orden existen en G;entonces, la funcin vectorial:
@f @f @f
rf : G Rn ! Rn dada por rf = ; ;:::; :
@x1 @x2 @xn
o en notacin clsica
Ahora, como la curva est sobre la supercie S, se tiene que, para todo t 2 (0; 1):
Por ltimo, debido a que es posible trazar una innidad de curvas C que pasen
por el punto (a; b; c) y que estn sobre la supercie S, se tendr que el vector v,
siendo tangente a la curva C puede tomar diferentes direcciones pero, como se
ve de la Ecuacin 7.9 el producto interior entre este vector tangente y el vector
rf (a; b; c) siempre es nulo y por consiguiente son perpendiculares entre s. Esto
es imposible a menos que rF (a; b; c) sea perpendicular a la supercie S: Vea
Figura 7.1.
Por lo tanto hemos demostrado la siguiente proposicin:
140 CAPTULO 7. ALGEBRA DE DERIVADAS
@F @F @F
(x a) + (y b) + (z c) = 0;
@x @y @z
@F @F @F
(x a) + (y b) + (z c) = 0:
@x @y @z
f (x; y; z) = x2 + y 2 + z 2 ;
7.5. DERIVADA DIRECCIONAL 141
f (x; y) = x2 + y 2 ;
f (a + hn) f (a)
lm
h!0 h
@f
existe, lo denotaremos por (a) y lo llamaremos derivada direccional de f en
@n
a en la direccin del vector n.
Note que esta denicin es una generalizacin directa de la nocin de deriva-
da parcial dada con anterioridad. Por ejemplo si, n = (1; 0; : : : ; 0)2Rm , se ob-
@f
tiene justamente : Anlogamente si tomamos, n = (0; 1; 0; : : : ; 0)2Rm , se
@x1
@f
obtiene y as sucesivamente.
@x2
x1 = a1 + sn1
x2 = a2 + sn2
=
xm = am + snm :
7.6. Problemas
1. Hallar la derivada direccional de la funcin z = x2 xy 2y 2 , en el punto
P = (1; 2) en la direccin que forma con el eje 0X un ngulo de 60 :
2. Hallar la derivada direccional de z = x3 2x2 y + xy 2 + 1, en el punto
P = (1; 2) en la direccin que va desde ste al punto Q = (4; 6):
3. Hallar la derivada direccional de u = x2 3yz +5, en el punto P = (2; 1; 3)
en la direccin que va de P a Q = (5; 5; 15):
4. Un punto en que la derivada direccional de una funcin es cero ( en todas
las direcciones ), se llama punto estacionario. Halle todos los puntos
estacionarios de las siguientes funciones:
a) z = x2 + xy + y 2 4x 2y
b) z = x3 y 3 3xy
c) u = 2y 2 + z 2 xy yz + zx
144 CAPTULO 7. ALGEBRA DE DERIVADAS
r(f g) = f rg + grf:
a) xyexyz
b) x ln y + xy + z y
c) e xy sin(x + 2y + z):
p
12. Sea w = f (r) en donde f es una funcin diferenciable y r = x2 + y 2 + z 2 :
Demuestre que:
2 2 2 2
dw @w @w @w
= + + :
dr @x @y @z
18. Sea f : R ! R una funcin con segunda derivada continua y c una cons-
tante. Demuestre que la funcin u(x; t) = f (x + ct) es una solucin de la
ecuacin de onda:
@2u 2
2@ u
= c :
@t2 @x2
19. Suponga que f : R2 ! R es una funcin diferenciable tal que, para todo
t 2 R y para todo (x; y) 2 R2 se cumple que f (tx; ty) = tm f (x; y) para
algn entero m 1: Demuestre la relacin de Euler:
@f @f
x +y = mf (x; y):
@x @y
Generalize a n variables.
21. Halle una curva que, en cada punto del plano sea ortogonal a alguna curva
del tipo y = cx2 para algn c 2 R, en otras palabras: halle una trayectoria
ortogonal a la familia de parbolas y = cx2 . Indicacin: Ud. busca elipses.
Vea Figura 7.2.
22. Suponga que ' y F son dos funciones con segundas derivadas continuas
denidas en R3 con valores en R y R3 respectivamente. Demuestre que:
r (r') = 0
r (r F) = 0:
146 CAPTULO 7. ALGEBRA DE DERIVADAS
Funciones implcitas e
inversas
147
148 CAPTULO 8. FUNCIONES IMPLCITAS E INVERSAS
-4 -2 0 2 4
-2
-4
una funcin diferenciable y = f (x) que satisfaga las siguientes tres condiciones:
x2 + (f (x))2 = 25; f (a) = b y que
el dominio de f sea un conjunto abierto U R y a 2 U:
En este punto podemos hacernos la siguiente pregunta:
Pregunta: Cmo es posible distinguir entre todos los puntos (a; b) pertene-
cientes al grco de una relacin,
F (x; y) = c;
aquellos para los cuales existe una funcin diferenciable y = f (x) que cumpla
con las condiciones:
F (x; f (x)) = c; f (a) = b;
El dominio de f es un conjunto abierto U R y a 2 U:
y aquellos puntos (a; b) pertenecientes al grco para los cuales no existe tal
funcin?
Respuesta: La distincin se realiza del siguiente modo:
@w
En nuestro ejemplo = 2y, por lo tanto esta condicin es equivalente a
@y
que 2b 6= 0, esto es, que b 6= 0.
Por consiguiente, dado cualquier punto (a; b) sobre la circunferencia, con
la excepcin de los puntos ( 5; 0) y (5; 0) siempre existe una funcin di-
ferenciable y = f (x) que cumple con las tres condiciones ya sealadas.
Teorema 208 Sea F (x; y) una funcin real, continuamente diferenciable de-
@F
nida en una vecindad de (a; b). Suponga que F (a; b) = c y que (a; b) 6= 0. En-
@y
tonces existe una vecindad V (a) del punto a y una nica funcin continuamente
diferenciable y = f (x) denida en V (a) satisfaciendo la igualdad f (a) = b y tal
que
F (x; f (x)) = c;
para todo x 2 V (a).
Observacin 209
1. Este teorema nos indica en forma precisa las condiciones bajo las cuales
es posible despejar una variable (digamos y) de una relacin arbitraria
(digamos x2 + yx + y 3 x = 8 de modo que la variable despejada sea una
funcin continuamente diferenciable de la otra. Note que el teorema de la
funcin implcita slo nos asegura este despeje en forma local, es decir, la
funcin y = f (x) usualmente tiene las propiedades indicadas slo en una
vecindad del punto x = a.
2. An cuando el teorema de la funcin implcita nos asegura que existe
una nica funcin y = f (x) que cumple con las condiciones sealadas,
en general no existe una frmula algebraica para poder expresarla. Sin
embargo, en muchas situaciones no es precisamente la funcin y = f (x) lo
que realmente interesa, sino slo su derivada dy=dx. Ms adelante veremos
algunos ejemplos.
3. Si F fuera una funcin de tres variables, digamos (x; y; z) y el punto (a; b; c)
satisface la relacin F (a; b; c) = d, entonces para poder armar que existe
una vecindad Vr (a; b) del punto (a; b) y una nica funcin continuamente
diferenciable z = f (x; y) denida en Vr (a; b) tal que, para todo (x; y) 2
Vr (a; b) se cumpla que:
Como las funciones del lado izquierdo son diferenciables, para hallar las
derivadas parciales de ambas funciones u y v, por ejemplo respecto a la
variable x, se derivan, usando la regla de la cadena, ambas ecuaciones
respecto a x. Esto es:
@F @F @u @F @v
+ + = 0
@x @u @x @v @x
@G @G @u @G @v
+ + = 0;
@x @u @x @v @x
@F @F @F @G @G @G
en donde las derivadas parciales , , , , y estn
@x @u @v @x @u @v
evaluadas en el punto (x; y; u(x; y); v(x; y)). Por consiguiente llegamos al
@u @v
siguiente sistema para las incgnitas y :
@x @x
@F @u @F @v @F
+ =
@u @x @v @x @x
@G @u @G @v @G
+ =
@u @x @v @x @x
Finalmente, de acuerdo a la regla de Cramer, se obtiene:
2 3
@F @F
6 @x @v 7
det 4 5 @(F; G)
@G @G
@u @(x; v)
= 2 @x @v 3 =
@x @F @F @(F; G)
6 @u @v 7 @(u; v)
det 4 5
@G @G
@u @v
Nuevamente, el alumno no debiera tener problemas para generalizar este
resultado a otros sistemas.
6. En general el despejar n variables, digamos las variables x1 ; x2 ; : : : xn
de un sistema de n ecuaciones con m, es decir de un sistema del tipo:
F1 (x1 ; x2 ; : : : ; xm ) = k1
F2 (x1 ; x2 ; : : : ; xm ) = k2
(8.3)
Fn (x1 ; x2 ; : : : ; xm ) = kn
152 CAPTULO 8. FUNCIONES IMPLCITAS E INVERSAS
x1 = x1 (xn+1 ; xn+2 ; : : : xm )
x2 = x2 (xn+1 ; xn+2 ; : : : xm )
xn = xn (xn+1 ; xn+2 ; : : : xm )
satisface el sistema 8.3 y que adems se cumplen las siguientes dos condi-
ciones:
@(F1 ; F2 ; : : : ; Fn )
(P ) 6= 0,
@(x1 ; x2 ; : : : ; xn )
es decir:
2 @F @F1 @F1 3
1
6 @x1 @x2 @xn 7
6 7
6 @F2 @F2 @F2 7
6 7
det 6
6 @x. 1 @x2 @xn 7 6= 0,
7
6 . .. .. .. 7
6 . . . . 7
4 @F @Fn @Fn 5
n
@x1 @x2 @xn
entonces las funcione despejadas x1 ; x2 ; : : : ; xn sern funciones con-
tinuamente diferenciables de las variables xn+1 ; xn+2 ; : : : ; xm en una
vecindad del punto (xn+1 ; : : : ; xm ) = (an+1 ; : : : ; am ) y satisfarn el
sistema 8.3. Adems se tendr:
@(F1 ; F2 ; : : : ; Fi 1 ; Fi ; Fi+1 ; : : : ; Fn )
@xi @(x1 ; x2 ; : : : ; xi 1 ; xj ; ; xi+1 ; : : : ; xn )
= :
@xj @(F1 ; F2 ; : : : ; Fi 1 ; Fi ; Fi+1 ; : : : ; Fn )
@(x1 ; x2 ; : : : ; xi 1 ; xi ; ; xi+1 ; : : : ; xn )
para i = 1; 2; : : : ; n y j = n + 1; n + 2; : : : m.
8.1. FUNCIONES IMPLCITAS 153
@z @z
Ejemplo 211 Calcule y para z = z(x; y) dada en el ejemplo anterior.
@x @y
Solucin: Como z = f (x; y) cumple con la ecuacin original, se tiene que:
F (x; y; z(x; y)) = 0; (8.4)
en donde F (x; y; z) = z 3 + z 2y 7x2 y 2 z + 2.
Por otro lado, esta funcin z = f (x; y) es diferenciable, por lo tanto el lado
izquierdo de la Ecuacin 8.4 es una funcin diferenciable de (x; y). Diferenciando
entonces respecto a estas variables, se tiene:
@F @F @z
+ = 0
@x @z @x
@F @F @z
+ = 0:
@y @z @y
Por lo tanto:
@F @F
@z @x ; @z @y
= =
@x @F @y @F
@z @z
@F @F
Ahora como = 3z 2 + 2yz 2y 1
7x2 y 2 y = 14xy 2 z, se obtiene:
@z @x
@z 14xy 2 z
= 2
@x 3z + 2yz 2y 1 7x2 y 2
expresin vlida en alguna vecindad de (x; y) = (1; 1). Anlogamente se puede
@z
calcular .
@y
154 CAPTULO 8. FUNCIONES IMPLCITAS E INVERSAS
3
2
1
x
-5 -4 -3 -2 -1 1 2 3
0
-1
-2
y
-3
-4
-5
@x 8
Por consiguiente, es posible despejar x en funcin p
de y en forma local en torno a
3
todo punto a 2 R con la excepcin de a = 0 y a =p 16,
p valores que corresponden
a las abscisas de los puntos (a; b) = (0; 0) y ( 16; 3 32) ' (2: 519 8; 3: 174 8),
3
en donde las derivadas parciales estn evaluadas en el punto (a; b; c). Por otro
lado, si fuese posible despejar la variable z en funcin de x e y de la ecuacin
F (x; y; z) = d tendramos una ecuacin explcita para la supercie, esto es z =
f (x; y). En este caso, de acuerdo a la Proposicin 173 de la pgina 119 la
ecuacin del plano tangente estara dada por:
@f @f
z c = (x a) + (y b) ; (8.6)
@x @y
@f @f
z c = (x a) (a; b) + (y b) (a; b):
@x @y
@F
@F @F @f @f
+ = 0; de donde = @x :
@x @z @x @x @F
@z
Anlogamente, derivando respecto a y obtenemos:
@F
@F @F @f @f @y
+ = 0; de donde =
@y @z @y @y @F
@z
Luego, la ecuacin del plano tangente es:
@F @F
@y
z c = (x a) @x + (y b)
@F @F
@z @z
156 CAPTULO 8. FUNCIONES IMPLCITAS E INVERSAS
@F
Multiplicando por , nalmente se obtiene:
@z
@F @F @F
(x a) + (y b) + (z c) = 0;
@x @y @z
en donde, como siempre las derivadas parciales deben ser evaluadas en el punto
(a; b; c).
F:G Rn ! Rn :
y1 = y1 (x1 ; x2 ; : : : ; xn ) (8.8)
y2 = y2 (x1 ; x2 ; : : : ; xn )
..
.
yn = yn (x1 ; x2 ; : : : ; xn ):
y1 = y1 (x1 ; x2 ; : : : ; xn ) (8.9)
y2 = y2 (x1 ; x2 ; : : : ; xn )
..
.
yn = yn (x1 ; x2 ; : : : ; xn )
x1 = x1 (y1 ; y2 ; : : : ; yn )
x2 = x2 (y1 ; y2 ; : : : ; yn )
..
.
xn = xn (y1 ; y2 ; : : : ; yn )
o en trminos de matrices:
2 3 2 3 1
@x1 @x1 @x1 @y1 @y1 @y1
6 @y1 @y2 @yn 7 6 @x1 @x2 @xn 7
6 @x @x2 @x2 7 6 @y2 @y2 @y2 7
6 2 7 6 7
6 7 6 7
6 @y1 @y2 @yn 7=6 @x1 @x2 @xn 7 (8.12)
6 . .. .. .. 7 6 .. .. .. .. 7
6 .. . . . 7 6 . . . . 7
6 7 6 7
4 @xn @xn @xn 5 4 @yn @yn @yn 5
@y1 @y2 @yn @x1 @x2 @xn
Demostracin. El sistema 8.9 puede ser escrito de la siguiente manera:
y1 (x1 ; x2 ; : : : ; xn ) y1 = 0
y2 (x1 ; x2 ; : : : ; xn ) y2 = 0 (8.13)
= 0
yn (x1 ; x2 ; : : : ; xn ) yn = 0; (8.14)
158 CAPTULO 8. FUNCIONES IMPLCITAS E INVERSAS
es decir:
F1 (x1 ; x2 ; : : : ; xn ; y1 ; y2 ; : : : ; yn ) = 0
F2 (x1 ; x2 ; : : : ; xn ; y1 ; y2 ; : : : ; yn ) = 0 (8.15)
= 0
Fn (x1 ; x2 ; : : : ; xn ; y1 ; y2 ; : : : ; yn ) = 0; (8.16)
en donde,
Fk (x1 ; x2 ; : : : ; xn ; y1 ; y2 ; : : : ; yn ) = yk (x1 ; x2 ; : : : ; xn ) yk ;
para k = 1; 2; : : : ; n.
Ahora bien, de acuerdo al teorema de la funcin implcita (ver Observacin
209 (6) y ecuacin 8.3) es posible despejar las variables xk del sistema 8.15
en funcin de las variables yj de manera continuamente diferenciable en una
vecindad del punto Q, si se cumple que:
@(F1 ; F2 ; : : : ; Fn )
(P) 6= 0;
@(x1 ; x2 ; : : : ; xn )
Observacin 216
@yi
1. Observe que si se cumple 8.10, entonces la matriz cuadrada es
@xj
invertible pues esta condicin dice simplemente que el determinante de la
matriz es distinto de cero. Luego el lado derecho de las igualdades 8.11 y
8.12 tiene sentido.
2. Aplicando determinantes a la igualdad 8.12 y recordando que el determi-
nante de la inversa de una matriz es el recproco de su correspondiente
determinante, se obtiene:
@(x1 ; x2 ; : : : ; xn ) 1
=
@(y1 ; y2 ; : : : ; yn ) @(y 1 2 ; : : : ; yn )
; y
@(x1 ; x2 ; : : : ; xn )
o equivalentemente:
@(x1 ; x2 ; : : : ; xn ) @(y1 ; y2 ; : : : ; yn )
= 1: (8.17)
@(y1 ; y2 ; : : : ; yn ) @(x1 ; x2 ; : : : ; xn )
Esta identidad es de gran utilidad en aplicaciones, especialmente cuando
se realizan cambios de variables en integrales mltiples.
3. La identidad dada en 8.17 puede ser usada para calcular las derivadas
parciales de las funciones xi respecto a las variables yj sin tener necesaria-
mente que despejar dichas variables del sistema 8.9 en forma explcita. El
siguiente ejemplo ilustra esta situacin en un caso relativamente sencillo:
@r @r @ @
Ejemplo 218 Calcule ; ; ; usando directamente las ecuaciones 8.18.
@x @y @x @y
Solucin. Suponiendo que r y son funciones de x e y podemos derivar
8.18 respecto a x; nos queda:
@r @ @r @
cos r sin = 1; sin + r cos = 0:
@x @x @x @x
Usando la regla de Cramer obtenemos
1 r sin
@r 0 r cos r cos
= = = cos :
@x cos r sin r
sin r cos
8.3. MULTIPLICADORES DE LAGRANGE 161
y
cos 1
@ sin 0 sin
= = :
@x cos r sin r
sin r cos
@r @
Anlogamente se posible calcular y :
@y @y
g(x; y) = 0 (8.22)
-0. 5 0 0. 5 1 1. 5 2 2. 5
x
Figura 8.3: Curvas de nivel, con C1 < C2 < C3 < C4 < C5 y la curva de
restriccin g(x; y) = 0:
rf (P ) = rg(P ):
rf (P ) = rg(P ); g(x; y) = 0:
g1 (P ) = 0; g2 (P ) = 0; ; gk (P ) = 0; (8.23)
Observacin 221
Esto es: 9 9
2x + 12y = 2x = x + 6y = x =
12x + 2y = 2y () 6x + y = y
; ;
x2 + y 2 4 = 0 x2 + y 2 4 = 0
Sistema cuyas soluciones son:
p p p p
P1 = (p2; p2) P3 = ( p2; p
2)
P2 = ( 2; 2) P4 = ( 2; 2);
d2 h @2f @ 2 f dy @2f @ 2 f dy dy @f d2 y
= + + + 2 +
dx2 @x2 @x@y dx @y@x @y dx dx @y dx2
2
@2f @ 2 f dy @2f dy @f d2 y
= + 2 + + : (8.25)
@x2 @x@y dx @y 2 dx @y dx2
d2 h
Ahora, es fcil ver que el signo de es negativo para los puntos P1 y P4 .
dx2
Esto implica que estos puntos corresponden a mximos locales. Adems
2x + 12y = 0 x + 6y = 0
()
12x + 2y = 0 6x + y = 0;
sistema que nos da al origen (0; 0) como nico punto crtico. Como este es un
problema de frontera libre, podemos usar la Proposicin 160 de la pgina 104.
Calculando el hessiano de f en (0; 0) obtenemos:
2
D = f11 f22 f12 =2 2 144 < 0:
y
1
-2 -1 0 1 2
x
-1
-2
Por otro lado, el Teorema 131 nos asegura que la funcin f tiene que te-
ner un mximo y un mnimo absoluto en el crculo cerrado y por consiguiente,
considerando que en el crculo abierto no hay mximos ni mnimos, estos deben
encontrarse en la frontera del disco. Esto constituye un problema con restric-
ciones y es justamente el que resolvimos en el Ejemplo anterior, en donde se
demostr que la funcin toma su valor mximo en los puntos P1 y P4 y toma su
valor mnimo en los puntos P2 y P3 . En la Figura 8.4 se representan las curvas
de nivel f (x; y) = C, de la funcin f (x; y) = x2 + 12xy + y 2 , en donde las cur-
vas en lnea punteada corresponden a valores negativos de la constante C y las
curvas continuas representan los valores positivos de C. Las curvas ms alejadas
corresponden a las curvas de nivel en donde se encontraron los puntos extremos
de f . La curva punteada ms alejada corresponde a C = 20 y la continua ms
alejada a C = 28:
Ejemplo 224 Halle el valor mximo de f (x1 ; x2 ; : : : ; xn ) = x21 x22 x23 x2n sobre
la esfera n-dimensional de radio r > 0, cuya ecuacin es:
Por lo tanto:
r2
x21 x22 x23 : x2n =
n
Reemplazando el lado izquierdo de esta expresin en cada una de las primeras
n ecuaciones del sistema, se obtiene, para todo k = 1; 2; : : : ; n :
r2
x2k = :
n
Note que para todo k = 1; 2; : : : ; n se debe cumplir que xk =
6 0, puesto que de
otra manera el sistema 8.27 no tendra sentido puesto que = 6 0.
Por lo tanto todos los puntos de la forma:
r r r
P = p ; p ; ; p
n n n
son puntos crticos de la funcin f . Finalmente un simple anlisis usando la
compacidad de la esfera unitaria (hueca) y la continuidad de la funcin f , nos
permite asegurar que el valor mximo que asume la funcin en esta esfera es:
n
r2
f (P ) = :
n
Observacin 225
Considerando que el valor f (P ) = (r2 =n)n encontrado en el Ejemplo anterior
es el mximo de la funcin f sobre la esfera x21 + x22 + : : : + x2n = r2 , podemos
escribir que:
n
r2
x21 + x22 + : : : + x2n = r2 =) f (x1 ; x2 ; : : : ; xn ) :
n
Como r > 0 es arbitrario, podemos escribir entonces que:
n
x21 + x22 + + x2n
x21 x22 x23 x2n
n
168 CAPTULO 8. FUNCIONES IMPLCITAS E INVERSAS
a1 + a2 + + an
(a1 a2 an )1=n
n
que establece que el promedio geomtrico de n cantidades positivas es menor o
igual a su promedio aritmtico.
Ejemplo 226 Determine la ecuacin del plano que, pasando por el punto (1; 2; 3)
forme con los planos coordenados x = 0; y = 0; z = 0 el cuerpo de menor volu-
men posible.
Solucin. Sea ux + vy + wz = 1 el plano buscado. Por la naturaleza del
problema u; v y w deben ser distintos de cero.
Los interceptos con los ejes coordenados son 1=u; 1=v; 1=w por lo que el
problema se reduce a minimizar la funcin:
1
V (u; v; w) =
6uvw
sujeto a la condicin u+2v +3w = 1. Aplicando el mtodo de los multiplicadores
de Lagrange, obtenemos:
@V 1 @V 1 @V 1
= 2
= ; = =2 ; = =3
@u 6u vw @v 6uv 2 w @w 6uvw2
1 = u + 2v + 3w
= u + 2v + 3w
8.4. Problemas
1. Considere la funcin F (x; y) = x2 y 2 + 4x + 2y + 3. Respecto a esta
funcin:
4. En los siguientes problemas demuestre que existe una vecindad del punto
(a; b; c) indicado en donde todos los puntos que satisfacen el sistema
F (x; y; z) = 0; G(x; y; z) = 0
y = f (x); z = g(x)
F (x; y; z) = 2x + 4y z
a) (a; b; c) = (2; 1; 0)
G(x; y; z) = x + 2y + z
F (x; y; z) = x2 + 2y 2 z 2 2
b) (a; b; c) = (2; 1; 2)
G(x; y; z) = 2x y + z 1
F (x; y; z) = x3 + y 3 + z 3 3xyz 14
c) (a; b; c) = (2; 1; 1)
G(x; y; z) = x2 + y 2 + z 2 6
8.4. PROBLEMAS 171
5. Demuestre que existe una vecindad alrededor del punto (a; b; c) excepto
para (2; 3; 6) y para ( 10; 15; 30) en donde es posible despejar y = f (x),
z = g(x) de la relacin
2z 2 9x2 4y 2 = 0
x+y+z 5 = 0
Resuelva explcitamente.
F (x; y; u; v) = 0; G(x; y; u; v) = 0
@u @y @v @y
+ =0
@x @u @x @v
d2 y
Demuestre que = 0: Explique el resultado obtenido.
dx2
8. Halle dy=dx, d2 y=dx2 si y = x + ln y:
x2 + y 2 z2 xy = 0
@x @y @z
= 1
@y @z @x
x2 + y 2 + z 2 = (ax + by + cz)
@z @z
(cz by) + (az cx) = bx ay
@x @y
u = x2 + y 2 ; v = 2xy:
u = x + x2 + y; v = x2 + y 2
@y
Halle, en el caso que exista (3; 2)
@u
14. Dada la transformacin:
encuentre
@(x; y)
a)
@(u; v)
b) La transformacin inversa
c) Las imgenes de las rectas u = 0; 1=4; 1=2; 3=4; 1; v = 0; 1=4; 1=2;
3=4; 1
d ) La imagen del cuadrado 1=2 u 3=4; 1=4 v 1=2
u = ex cos y; v = ex sin y:
Demuestre que:
@(u; v)
a) >0; 8(x; y) 2 R2 :
@(x; y)
b) Determine la imagen en el plano (u; v) de los puntos (x; y) = (1; 0) y
(x; y) = (1; 2 ): Su resultado entra en contradiccin con el teorema
de la funcin inversa?
8.4. PROBLEMAS 173
2
0
-2
5
-5
0
0
5 -5
@(u; v)
16. En los siguientes ejercicios halle y la transformacin inversa. En
@(x; y)
el plano (u; v) dibuje las imgenes de las rectas x = 1=4; 1=2; 3=4; 1 e
y = 1=2; 1=4; 0; 1=4; 1=2 para las siguientes funciones:
a) u=x v = y + x2
b) u = 2x 3y v = x + 2y
x y
c) u= v= (x + y> 1)
1+x+y 1+x+y
y y
d) u = x cos( ) v = x sin( ) (x>0; 1<y<1)
2 2
a) f (x; y) = x2 + 2y 2 4x + 4y 3
b) f (x; y) = 3x2 y + x2 6x 3y 2
c) f (x; y) = sin x + sin y + sin(x + y)
d) f (x; y) = e x sin2 y
z 2 = (x 2)2 + (y 5)2
20. Halle las dimensiones del mayor paraleleppedo rectangular de aristas pa-
ralelas a los ejes coordenados que puede ser inscrita en el elipsoide
x 2 y 2 z 2
+ + =1
3 4 5
174 CAPTULO 8. FUNCIONES IMPLCITAS E INVERSAS
x + 2y + z = 1; 2x y 3z = 4:
28. Demuestre que para todo (x; y; z) sobre la esfera unitaria, esto es x2 +y 2 +
z 2 = 1, se cumple que:
p p
2 x+z 2.
1
0 0 1
30. Demuestre que todo punto (x; y; z) sobre la interseccin del cilindro x2 +
y 2 = 2 y el plano x + z = 1, cumple con:
p p
1 2 x + y + z 1 + 2:
a) x 0 y 0 x+y 1
b) x 0 y 0 x y 1
33. Determine los valores extremos que puede alcanzar la funcin f (x; y) = xy
en el disco unitario.
34. Determine mximos y mnimos de z = x2 + y 3 3xy en la regin:
R = f(x; y) : 0 x 2; 1 y 2g :
x = 0; y = 0; x y + 1 = 0;
37. Hallar el tringulo de permetro 2p, que al girar alrededor de uno de sus
lados engendre el cuerpo de mayor volumen.
38. En qu puntos de la elipse:
x 2 y 2
+ = 1;
a b
la tangente a sta forma con los ejes coordenados el tringulo de menor
rea posible?
39. En una esfera de radio R hallar las dimensiones del cilindro inscrito de
mayor rea total posible.
40. En una esfera de radio R hallar las dimensiones del cilindro inscrito de
mayor volumen posible.
Captulo 9
Clculo de variaciones
Por otro lado, si llamamos s a la longitud del segmento de arco de la curva que
177
178 CAPTULO 9. CLCULO DE VARIACIONES
-1 1 2 3 4 5
0
-0.5
-1
-1.5
-2
Por lo tanto, comparando las ecuaciones 9.1 y 9.2 y recordando que v = ds=dt =
(ds=dx) (dx=dt), se obtiene:
p p dx
2gy = 1 + (y 0 (x))2
dt
de donde concluimos que:
s
1 + (y 0 (x))2
dt = dx:
2gy(x)
Por lo tanto el tiempo necesario para moverse desde el punto A = (0; 0) hasta
el punto B = (a; b) siguiendo la trayectoria y = y(x) a lo largo de un camino
sin friccin est dado por:
Z as
1 + (y 0 (x))2
t= dx
0 2gy(x)
Existencia. Estamos seguros que realmente existe un recorrido a travs del cual el
cuerpo que se desliza ocupar el mnimo tiempo posible? Al igual que en
los problemas ya tratados sobre encontrar mximos y mnimos, primero
debemos demostrar que realmente existe una solucin a nuestro problema.
En general este es un problema que tiene que ver, tanto con el tipo de
estructura matemtica con la cual estamos trabajando, como tambin con
el tipo de funcin que se quiere maximizar. Para explicar esta situacin
con un ejemplo sumamente sencillo imaginemos que se pide hallar el valor
mnimo que toma la funcin f (x) = 6 4x2 sobre el conjunto [0; 1]. La
respuesta, claro est es 2 y este valor lo toma cuando x = 1. Ahora bien
cul sera nuestra respuesta si el conjunto fuese el intervalo [0; 1[? Es
claro que en este caso no existe un valor mnimo para la funcin en dicho
intervalo, an cuando la funcin es acotada en el intervalo sealado, puesto
que el valor x = 1 no pertenece al conjunto [0; 1[. Como ya sabemos,
existen criterios bsicos a emplear para decidir acerca de la existencia de
soluciones en los reales o en Rn . Los ms usadas tienen que ver con la
compacidad del dominio y la continuidad de las funciones a optimizar.
Como se puede apreciar, la respuesta a nuestra pregunta inicial depende
tanto de la estructura del conjunto de todas las posibles trayectorias como
tambin del tipo de funcin a maximizar y su relacin con dicho conjunto
de trayectorias. Debido a que estos conjuntos ya no son subconjuntos del
plano o del espacio Rn , primero se debe estudiar la estructura matemtica
de estos conjuntos de funciones y denir en ellos conceptos similares a
los ya denidos en Rn y desarrollar criterios o teoremas similares al Teo-
rema 131. Este tema se enfoca en una rama de las matemticas conocida
como Anlisis Funcional. En el problema de la brachistocrona, nosotros so-
lamente asumiremos que existe una solucin. Nuestro problema solamente
ser hallarla.
en donde (0) = (a) = 0, de modo que y = y(x) cumple con las condiciones de
tener sus extremos jos. Denamos ahora
Z a
F( ) = f (x; y; y 0 )dx
0
0
Recordando ahora que F (0) = 0; se obtiene:
Z a Z a
(f2 f 03 )dx = (f2 f 03 ) dx = 0:
0 0
y 0 f3 (x; y; y 0 ) f (x; y; y 0 ) = C;
(y 0 f3 f )0 = y 00 f3 + y 0 f 03 f 0 = y 00 f3 + y 0 f 03 (f1 + f2 y 0 + f3 y 00 )
= y 0 (f2 f 03 ) f1 :
Por consiguiente hemos llegado a que y = y(x) debe cumplir con la ecuacin
diferencial siguiente:
y 1 + (y 0 )2 = 2C0 (9.5)
1
en donde C0 = .
4gC 2
Ya que la resolucin de ecuaciones diferenciales no est contemplada en este
texto, nosotros slo daremos la solucin de la Ecuacin 9.5. Usando coordenadas
parametrizadas dicha solucin es:
C = y 0 f3 f = y 0 2y 2 (1 y 0 )( 1) y 2 (1 y 0 )2
= (1 y 0 )(2y 2 y 0 + y 2 y 2 y 0 )
2 0
= y (y 1)(y 0 + 1) = y 2 (y 0 )2 1 :
ydy
Por lo tanto: p = dx:
C + y2
Integrando obtenemos la parbola y 2 = x2 + k1 x +pk2 : Reemplazando los
valores frontera se deduce que la curva buscada es y = x2 + 1;5x + 1;5.
Parte II
Clculo Integral
183
Captulo 10
La Integral mltiple de
Riemann
Denicin 232
1. Por un rectngulo R Rn entenderemos un conjunto cerrado de la forma:
R = [a1 ; b1 ] [a2 ; b2 ] [an ; bn ]
en donde aj < bj , para j = 1; : : : ; n.
2. Una particin P de un rectngulo R = [a1 ; b1 ] [a2 ; b2 ] [an ; bn ]
es una coleccin P = (P1 ; P2 ; : : : ; Pn ) en donde, para cada i, Pi es una
particin del intervalo [ai ; bi ].
3. Un subrectngulo del rectngulo R es un rectngulo del tipo
r = [a01 ; b01 ] [a02 ; b02 ] [a0n ; b0n ]
en donde el subintervalo [a0i ; b0i ] pertenece a la particin Pi . A estos sub-
rectngulos los denotaremos simplemente por una letra minscula, como
por ejemplo r. Adems, abusando de la notacin, diremos que r 2 P .
185
186 CAPTULO 10. LA INTEGRAL MLTIPLE DE RIEMANN
de la particin denamos:
Mr = supff (x) : x 2 rg
mr = nfff (x) : x 2 rg
v(r) = (b01 a01 )(b02 a02 ) (b0n a0n )
X
SP = Mr v(r)
r2P
X
SP = mr v(r)
r2P
Adems diremos que v(r) es el volumen del rectngulo r. Tambin diremos que
S P es la suma superior de f respecto a la particin P y que S P es la suma
inferior de f respecto a P .
SP SQ
supfS P g = nffS Q g
R
Este valor comn se lo designa por R f y se denomina la integral mltiple
de f sobre R. Tambin se utiliza la notacin
Z Z Z Z
f= ::: f (x1 ; x2 ; : : : ; xn )dx1 dx2 : : : dxn ;
R R
Observacin 237 Debera ser claro para el lector que todo este desarrollo no
es ms que una generalizacin directa de la integral de Riemann vista anterior-
mente en una variable. De manera que si R = [a; b] con a < b entonces (por
denicin)
Z Z Z b
f= f= f
R [a;b] a
1) A R1 [ R2 [ [ Rk [
2) v(R1 ) + v(R2 ) + + v(Rk ) + <"
A = fa1 ; a2 ; : : : ; ak ; : : :g :
Entonces, dado " > 0 se puede elegir, para cada ak un rectngulo Rk que lo
"
contenga y tal que v(Rk ) < k :
2
Evidentemente la coleccin R1 ; R2 ; : : : ; Rk ; : : : cumple con 1). Adems:
1
X "
v(R1 ) + v(R2 ) + < = ":
2k
k=1
A = A1 [ A2 [
Demostracin. Sea " > 0: Como Ai es de medida cero, existe una sucesin
de rectngulos Ri;1 ; Ri;2 ; : : : ; Ri;j ; : : : tales que:
S
1
1) Ai Ri;j
j=1
P
1 "
2) v(Ri;j ) <
j=1 2i
X 1
1 X X1
"
v(Ri;j ) < i
="
i=1 j=1 i=1
2
Observacin 243
1. Si G es acotada, entonces siempre es posible hallar un rectngulo R que
contiene a G.
2. Se puede demostrar que si fe es integrable para un cierto rectngulo R,
tambin Rlo ser para cualquier otro rectngulo que contenga a G y que el
valor de R fe es independiente de R:
3. Siguiendo el hilo de la Observacin 237 las integrales dobles y triples nos
permitenRRdenir rea y volmenes. Esto es, si G es un subconjunto del
plano, y G dxdy existe, entonces se dene:
ZZ
Area de G = dxdy:
G
RRR
Anlogamente, si G es un subconjunto de R3 y si G
dxdydz existe,
entonces se dene:
ZZZ
Volumen de G = dxdydz:
G
R = [a; b] [c; d] :
rij = ri rj :
Por lo tanto hemos demostrado que, para toda particin P = (P1 ; P2 ) del rec-
tngulo R, se tiene:
S P (f ) S P1 (g)
De manera anloga se demuestra que:
S P (f ) S P1 (g):
S P (f ) S P1 (g) S P1 (g) S P (f ):
192 CAPTULO 10. LA INTEGRAL MLTIPLE DE RIEMANN
Z Z Z1 Z2 Z2 Z1
x2 x2 x2
dxdy = dx dy = dy dx
R y y y
1 1 1 1
10.3. EL TEOREMA DE FUBINI EN RECTNGULOS 193
Z1 Z2 Z1 Z1
x2 2
dx dy = log yj21 x2 dx = (log 2) x2 dx = ln 2:
y 3
1 1 1 1
Z2 Z1 Z2 1 2
x2 1 x3 2 2
dy dx = dy = log y = ln 2:
y y 3 1 3 1 3
1 1 1
Observacin 249
(D1;2 f D2;1 f ) (P ) 6= 0:
0 1 2 3 4 5
x
Esto es D1;2 f (x; y) > D2;1 f (x; y) en todo el rectngulo R. Integrando esta
desigualdad sobre este rectngulo R, se obtiene:
Z Z Z Z
D1;2 f (x; y)dxdy > D2;1 f (x; y)dxdy
R R
Esto es:
Z b Z d
(D1 f (x; d) D1 f (x; c)) dx > (D2 f (b; y) D2 f (a; y)) dy:
a c
f (b; d) f (b; c) f (a; d) + f (a; c) > f (b; d) f (a; d) f (b; c) + f (a; c);
este rectngulo est dibujado con lnea punteada. Para determinar la forma
que adquieren las integrales iteradas en el teorema de Fubini, denamos, como
anteriormente,
f (x) si x 2 G
fe(x) =
0 si x 2 R G
Como la frontera de G est formada precisamente por un nmero nito de
curvas continuamente diferenciables y como toda curva continuamente diferen-
ciables tiene medida cero (ver Fulks, Teorema 12.4(b) y 8.9 (b) ) se tendr que
la frontera de G tiene medida cero y por consiguiente de acuerdo a la Proposi-
cin 244, la funcin f es Riemann integrable en G y adems, de acuerdo a la
Denicin 242 y al Teorema 246 de Fubini, se tiene que:
Z Z Z Z Z b Z d
f= fe = dx fe(x; y)dy (10.2)
G R a c
esto es, siempre que para cada x ja, la funcin fex (y) = fe(x; y) sea integrable en
[c; d], lo cual evidentemente es cierto, ya que los nicos puntos en donde fe puede
dejar de ser continua es en donde la recta vertical que pasa por x intersecta a
las curvas y = g1 (x) e y = g2 (x), pero este conjunto de dos puntos obviamente
tiene medida cero en [c; d].
Ahora, por la propiedad aditiva de la integral, para cada x jo podemos
escribir:
Z d Z g1 (x) Z g2 (x) Z d
e
f (x; y)dy = e
f (x; y)dy + e
f (x; y)dy + fe(x; y)dy:
c c g1 (x) g2 (x)
2 .5
1 .5
0 .5
0 0 .5 1 1 .5 2 2 .5 3 3 .5
x
cualquier orden que se desee, algunos son ms engorrosos que otros. Es posi-
ble incluso, que de escoger un cierto orden de integracin sea forzoso dividir
la regin en varias subregiones. En otros casos, como ya se mencion anterior-
mente un cierto orden de integracin lleva a complicaciones con la existencia
de primitivas expresables en trminos de funciones elementales. Usualmente, es
costumbre elegir sin embargo, dzdydx; o dzdxdy debido a que para regiones
encerradas entre una supercie superior y otra inferior, digamos:
g1 (x; y) z g2 (x; y); (10.3)
y una supercie o manto lateral cilndrico (no necesariamente circular), tpica-
mente denida por medio de una curva cerrada simple, dada implcitamente por
medio de una ecuacin del tipo:
h(x; y) = 0; (10.4)
no se hace, generalmente necesario, dividir la regin en subregiones. En otras
palabras, si, para cada x jo, la solucin para la variable y en la Ecuacin 10.4
consiste a lo ms de dos soluciones, digamos h1 (x) y h2 (x) o si para cada y jo
sucede los mismo con la variable x, entonces no es necesario dividir la regin en
subregiones. La lista siguiente muestra, slo a va de ejemplos, algunas regiones
de este tipo. La orientacin se indica respecto a su eje de simetra:
cilindros rectos vertical u horizontal
conos rectos vertical u horizontal
esferas cualquier eje.
sector cnico de una esfera vertical
cono truncado vertical.
Esquematizemos, por lo tanto, el procedimiento, para el orden de integracin
dzdydx; esto es, integrando primero respecto a z, luego respecto a y y nalmente
respecto a x.
Procedimiento para describir una regin G cuando la regin no
necesita subdividirse en subregiones, con el orden de integracin dzdydx,
bajo las condiciones dadas en 10.3 y 10.4:
1.- El rango de variacin de z se obtiene directamente de 10.3.
Esto es: g1 (x; y) z g2 (x; y):
2.- El rango de variacin de y se halla despejando y de 10.4.
Esto usualmente nos entrega un rango del tipo: h1 (x) y h2 (x):
3.- Finalmente, el rango de x corresponde a los valores mnimo
y mximo que alcanza dicha variable en la ecuacin g(x; y) = 0:
El procedimiento es similar si consideramos el orden dzdxdy.
Ejemplo 253 Suponga que a; b y c son tres nmeros positivos. Demuestre, us-
ando integracin mltiple, que el volumen encerrado por los tres planos coorde-
nados y el plano denido por:
bcx + acy + abz = abc;
198 CAPTULO 10. LA INTEGRAL MLTIPLE DE RIEMANN
eje z
eje x eje y
es V = abc=6:
Solucin. El volumen pedido es,
ZZZ
V = dxdydz;
R
3
2.5
2
1.5
1
0.5
-1 -0.5 0 0.5
x 1
Figura 10.5:
Por lo tanto:
p p p p
ZZZ Z2 Z2 x2 Z2 Z2 Z2 x2
Para la demostracin de este teorema ver Corolario 2.24, pgina 58 del texto
Clculo Integral y Series.
Trataremos de escribir esta frmula utilizando la nueva notacin. Para hacer
esto consideremos dos casos:
Caso 1.- Suponga que g es una funcin creciente. Entonces g([a; b]) =
[g(a); g(b)] y por lo tanto, la Ecuacin 10.6 queda transformada en:
Z Z
f (u)du = f (g(t)) g 0 (t)dt: (10.7)
g([a;b]) [a;b]
Caso 2.- Suponga ahora que g es una funcin decreciente. Entonces g([a; b]) =
[g(b); g(a)] y por lo tanto, la Ecuacin 10.6 queda transformada en:
Z Z
f (u)du = f (g(t)) g 0 (t)dt: (10.8)
g([a;b]) [a;b]
Las Frmulas 10.7 y 10.8 pueden ser escritas utilizando una sola frmula del
modo siguiente: Z Z
f (u)du = f (g(t)) g 0 (t)dt; (10.9)
g([a;b]) [a;b]
202 CAPTULO 10. LA INTEGRAL MLTIPLE DE RIEMANN
ZZZ ZZZ
@(x; y; z)
f (x; y; z)dxdydz = f (g( ; ; ) ) d d d :
H g 1 (H) @( ; ; )
(10.13)
@(x; y; z)
en donde el jacobiano est dado por:
@( ; ; )
2 3
@x @x @x
6 @ @ @ 7
@(x; y; z) 6 @y @y @y 7
6 7
= det 6 7
@( ; ; ) 6 @ @ @ 7
4 @z @z @z 5
@ @ @
2 3
sin cos sin sin cos cos
= det 4 sin sin sin cos cos sin 5
cos 0 sin
= 2
sin sin2 + cos2 cos2 + sin2
2
= sin :
10.12. Un mtodo cmodo para hacer esto, consiste en reemplazar las ecuaciones
10.12 en la ecuacin de la esfera. Esto es:
2
sin2 cos2 + 2
sin2 sin2 + 2
cos2 R2 :
Simplicando, obtenemos:
2
R2 :
0 R; 0 2 ; 0 :
ZZZ ZZZ
@(x; y; z)
dxdydz = f (g( ; ; ) ) d d d
H g 1 (H) @( ; ; )
ZZZ Z2 Z ZR
2 2
= jsin j d d d = d d sin d
g 1 (H)
0 0 0
3 Z
2 R 4 3
= sin d = R :
3 3
0
cos
Z2 Z=4 Z
sec Z2 Z=2 Z
sin2
2 2
V = d d sin d + d d sin d
0 0 0 0 =4 0
Z=4 Z=2
2 2 cos3
= sec3 sin d + sin d
3 3 sin6
0 =4
Z=4 Z=2
2 2 2 (1 sin2 ) cos
= tan sec d + d
3 3 sin5
0 =4
Z1 Z1
2 2 1 u2
V = udu + du
3 3 p
u5
0 2=2
4 2 1
2 u u
= + p
3 3 4 2 2=2
= + = :
3 6 2
Por lo tanto:
p
Z2 Z1 Z0 Z2 Z2 Z0
2 2
V = d d sin d + d d sin d
0 0 0 0 1 cos 1 (1= )
206 CAPTULO 10. LA INTEGRAL MLTIPLE DE RIEMANN
Z2 Z1 Z0 Z1 p !
1+4 2 1
2 2
V1 = d d sin d = 2 1 d
2
0 0 0 0
Z1 Z1 p
2 2
= 2 d ( 1+4 1)d
0 0
Z1 Z1 p Z1
2
= 2 d 1 + 4 2d + d
0 0 0
5 5p
= 5 :
4 12
Ahora el segundo sumando:
p p
Z2 Z2 Z0 Z2 p !
1 1+4 2 1
2 2
V2 = d d sin d = 2 d
2
0 1 cos 1 (1= ) 1
p p p p
Z2 Z2 p Z2 Z2 p
= 2 d ( 1+4 2 1)d = 3 d 1 + 4 2d
1 1 1 1
3 5p
= + 5 :
4 12
Finalmente, sumando V1 y V2 se obtiene:
5 5p 3 5p
V = 5 + 5 = :
4 12 4 12 2
@(x; y; z)
en donde el jacobiano est dado por:
@(r; ; z)
@x @x @x
@r @ @z cos r sin 0
@(x; y; z) @y @y @y
= = sin r cos 0
@(r; ; z) @r @ @z
@z @z @z 0 0 1
@r @ @z
= r cos2 + r sin2 = r:
Ejemplo 263 Resuelva (por cuarta y ltima vez) el problema del Ejemplo 259,
pero ahora usando el orden r; z; :
@(x; y)
en donde el jacobiano est dado por:
@(r; )
H = (x; y) : a2 x2 + y 2 b2 ^ jyj x :
10.6. CAMBIO DE VARIABLES 209
-2 0 2 4 6 8 10
-1
-2
-3
1
Figura 10.7: Regines g (H) y H respectivamente.
Z=4 Zb
= 2 d ln rdr = (r ln r r) jba
=4 a
bb
= ln +a b :
aa
Un clculo similar al hecho para el caso de las coordenadas esfricas nos muestra
que,
@(x; y; z)
= abc 2 sin :
@( ; ; )
Por lo tanto:
210 CAPTULO 10. LA INTEGRAL MLTIPLE DE RIEMANN
1
Figura 10.8: Regiones g (G) y G respectivamente.
ZZZ ZZZ
2
V = dxdydz = abc sin d d d
G g 1 G)
Z2 Z Z1
2 4
= d d abc sin d = abc:
3
0 0 0
x y = u; x + y = v:
Observacin 268
0 x a; 0 y b; 0 z c;
Zc Zb Za Zc Zb
a2
M = dz dy (x + y + z)dx = dz + ay + az dy
2
0 0 0 0 0
Zc
a2 b ab2 a2 bc ab2 c abc2
= + + abz dz = + + :
2 2 2 2 2
0
ZZZ p ZZZ ZL Z2 ZR
2
M = 2 2
x + y dxdydz = r drd dz = dz d r2 dr
G g 1 (G) 0 0 0
2
= LR3 :
3
Ejemplo 271 Calcular el centroide de una placa laminar de densidad homognea
descrita por las siguientes desigualdades:
x2 + y 2 R2 ; 0 x R; 0 y R: (10.22)
4R 4R
(x; y) = ; :
3 3
Ejemplo 272 Hallar las coordenadas del centro de masa del sector esfrico,
ubicado en el primer octante, determinado por una esfera de radio unitario
centrada en el origen del sistema de coordenadas y con funcin de densidad
puntual (x; y; z) = x2 + y 2 + z:
Solucin: Primero calculemos la masa M del cuerpo usando coordenadas
esfricas:
ZZZ
M = (x2 + y 2 + z)dxdydz
Sector
Z=2 Z=2 Z1
= d d ( 2
sin2 + cos ) 2
sin d
0 0 0
Z=2 Z1 Z=2
4 3 3 sin3 sin 2
= d ( sin + sin cos )d = ( + )d
2 2 5 8
0 0 0
31
= :
240
Ahora podemos calcular las componentes del centro de masa:
ZZZ
1
x = x(x2 + y 2 + z)dxdydz
31 =240 R
Z =2 Z =2 Z 1
240
= d d sin cos ( 2 sin2 + cos ) 2
sin d
31 0 0 0
Z =2 Z =2
240 sin4 cos sin2 cos cos
= d + d
31 0 0 6 5
Z =2
240 cos 3 cos 1
= + d
31 0 6 16 5 3
240 1
= + : 406 224
31 32 15
ZZZ Z2 ZR Zh
2 k hR4 M R2
I=k d dxdydz = k d dr r2 rdz = = :
R 2 2
0 0 0
Por lo tanto:
p p
ZR Z2 x2
R ZL ZR Z2 x2
R ZL
2 2
I = k dx dy (x + z )dz = 4k dx dy (x2 + z 2 )dz
p
R R2 x2 0 0 0 0
p
ZR Z2 x2
R
L3
= 4k dx x2 L + dy
3
0 0
ZR p L3 p 2
= 4k x2 L R2 x2 + R x2 dx
3
0
Por lo tanto:
ZR p L3 p 2
I = 4k x2 L R2 x2 + R x2 dx
3
0
Z=2 Z=2
4 2 2 4kL3
= 4k R L sin cos d + R2 cos2 d
3
0 0
kR4 L kR2 L3
= +
4 3
Dado que la masa del cilindro es M = R2 Lk, este resultado puede ser escrito
de la siguiente manera:
M R2 M L2
I= +
4 3
M L2
Note que si el cilindro es muy delgado, es decir si R L se tendr que I :
3
Ejemplo 275 Calcule el momento de inercia de una esfera de masa homognea
y de radio R con respecto a un dimetro.
Solucin. Se pide evaluar la integral,
ZZZ
(x2 + y 2 )dxdydz:
G
Observacin 277
R
Se puede demostrar que si G f existe, entonces tambin existir si, en
lugar de considerar una bola BR (0) en la denicin anterior consideramos, por
n
ejemplo un cubo [ R; R] y en tal caso el valor de la integral impropia no cambia
su valor. Recprocamente, si denimos desde un comienzo la integral impropia
usando cubos, entonces podemos hacer la misma armacin si usramos bolas.
ZZ Z=2 ZR ! R
r2
2 2 r2 e
exp x y dxdy = d re dr =
2 2
GR 0 0 0
= 1 exp R2 :
4
218 CAPTULO 10. LA INTEGRAL MLTIPLE DE RIEMANN
Por lo tanto:
ZZ
exp x2 y 2 dxdy = l m 1 exp R2 = :
R!1 4 4
G
2
Entonces IR es simplemente una integral iterada:
ZR ZR ZR ZR
2 2 2
IR = exp x dx exp( y )dy = dx exp( x2 y 2 )dy:
0 0 0 0
2
l m IR = :
R!1 4
Ahora, como la elevacin a potencia es un operacin continua tendremos que:
p
l m IR = ;
R!1 2
10.9. PROBLEMAS 219
10.9. Problemas
1. Evale la integral iterada dada y graque la regin de integracin:
p
18 2y 2
R4 R5 2 2
R
3 R
a) dy (x y + xy 3)dx d) dy xdx
1 2 3
p 2 18 2y
2 2
R4 Rx R2 R
2x
b) dx (x2 + 2xy 3y 2 )dy e) dx x cos ydy
p
1 x 0 x
p
R4 Ry R=4 Rx
cos
c) dy (x2 y + xy 2 )dx f) dx y sin xdy
1 1+y 0 0
4. Calcule
R
2 Ra R=2 R
3 cos
a) d rdr b) d r2 sin2 dr
0 a sin =2 0
5. Describir matemticamente
RR de dos maneras, la regin de integracin para
la integral doble f (x; y)dxdy para las regiones que se indican:
R
7. Demuestre que,
Z2 Zx Z4 Z2
x x 4( + 2)
dx sin dy + dx sin dy = 3
:
p
2y p
2y
1 y= x 2 y= x
RRR
10. Exprese la integral f (x; y; z)dxdydz; en donde S es la regin acotada
p S
por la supercie z = 16 x2 y 2 y los planos z = 0 y z = 2, en
coodenadas cartesianas y en coordenadas cilndricas.
RR
11. Demuestre que xydxdy = 1=15; donde G es la regin dada en coorde-
G
nadas polares r = sin 2 ; 0 2 .
10.9. PROBLEMAS 221
RRR x 2
12. Calcular x2 dxdydz;donde G es el elipsoide a + ( yb )2 + ( zc )2 1:
G
Clculo vectorial
223
Captulo 11
Integrales de lnea
225
226 CAPTULO 11. INTEGRALES DE LNEA
(! !
Xn
!! r (tj ) r (tj 1 ))
= F ( r ( j )) (tj tj 1)
j=1
tj tj 1
Denicin 280
!
y diremos que ella es la integral de lnea de F a lo largo de la curva C.
Observacin 281
Z Zb Zb
! ! !! !! d!r
F dr = F ( r (t)) d!
r = F ( r (t)) dt
C dt
a a
Zb
!!
= F ( r (t)) !
r 0 (t) dt:
a
11.1. CURVAS Y DEFINICIONES BSICAS 227
!
en donde F = f i + gj + hk y d! r = dxi + dyj + dzk: La expresin
f dx + gdy + hdz usualmente recibe el nombre de forma diferencial de
primer orden.
Entonces,
Z Z b
! ! dx dy dz
F dr = f dt + g dt + h dt (11.2)
C a dt dt dt
!
Ahora como F = (f; g; h) es continua y ! r = (x; y; z) es continuamente dife-
renciable, se deduce que el integrando del lado derecho de la Ecuacin 11.2 es
continuo y por lo tanto Riemann integrable. Esto termina la demostracin.
R !
Observacin 283 La notacin C F d! r nos recuerda que esta integral depende
de la curva C. Esto es claro, pero debemos enfatizar que debemos entender por
curva, la funcin ! r : [a; b] ! Rn y no el conjunto recorrido o rango de ! r:
En otras palabras la curva no es un lugar geomtrico sino que es justamente la
funcin que describe ese lugar geomtrico.
Por ejemplo, si el recorrido de la curva C es el conjunto
C = (x; y) : x2 + y 2 = 1
228 CAPTULO 11. INTEGRALES DE LNEA
Denicin 285
3. Diremos que una curva ! r : [a; b] ! R3 es una curva cerrada simple o una
curva de Jordan, si es inyectiva en [a; b[ y adems !
r (a) = !r (b):
r 1 : [a; b] ! R3 y !
! r 2 : [c; d] ! R3 ;
! Curva cerrada
C1 : r 1 (t) = (sin 2t; sin t=2; cos 3t) 0 t 2
simple en R3
! Figura en el
C2 : r 2 (t) = (4 + sin 2t; 0; cos 3t) 0 t 2
plano y = 0:
C3 : !
r 3 (t) = (8 + sin 5 t; cos 5 t; t) 0 t 1 Hlice en el
espacio R3 :
Ejemplo 288 Demuestre que las curvas C1 y C2 dadas en 11.3 son equivalentes.
230 CAPTULO 11. INTEGRALES DE LNEA
0.5
Eje Z 0
-0.5
-1
1
Eje Y 0
4 Eje X 6 8
-1 0 2
Proposicin 289 Suponga que las curvas C1 y C2 determinadas por las fun-
ciones !r1 y !r 2 respectivamente son equivalentes y que se cumplen todas las
condiciones de la Proposicin 282. Entonces:
Z Z
! ! ! !
F dr1= F d r 2:
C1 C2
Demostracin. Sean ! r1 y!
r 2 como en la Denicin 285. Entonces, como
! !
r 1 (t) = r 2 ('(t) se tiene:
Z Z b
! ! !!
F dr1= F ( r 1 (t)) !
r 01 (t) dt
C1 a
Z b
!!
= F ( r 2 ('(t)) !
r 02 ('(t))'0 (t) dt
a
Ahora, si escribimos u = '(t), tendremos que du = '0 (t) dt. Por lo tanto, usando
el teorema del cambio de variables y observando que '(a) = c y '(b) = d, se
tiene: Z Z d Z
! ! !! ! !
F dr = F ( r (u) !
1 r 0 (u)du = 2 F dr :2 2
C1 c C2
11.1. CURVAS Y DEFINICIONES BSICAS 231
!
Ejemplo 291 Calcule el trabajo hecho por una fuerza F al mover una partcu-
la, en el mismo sentido de los punteros del reloj y a lo largo de la semi-circun-
ferencia,
!r (t) = (cos t; sin t) en donde t 0: (11.4)
!
sabiendo que la magnitud de la fuerza F es directamente proporcional a la
distancia que separa la partcula del punto de llegada (1; 0) y que su direccin
siempre sigue la lnea que va desde la posicin de la partcula hasta (1; 0). Ver
Figura 11.2.
Observacin 295 Un problema con este criterio es que, para llegar a la con-
clusin de que la integral no depende del camino debemos demostrar la existencia
de una funcin potencial U . Si el campo en realidad es conservativo encontrar
tal funcin U en general no representa problema, pero si el campo en realidad no
es conservativo entonces deberamos demostrar que tal funcin no existe, lo cual
es algo ms complicado de hacer. Con el n de buscar un criterio ms prctico
para determinar independencia del camino, observe que segn el teorema ante-
rior, si el campo es conservativo, entonces debe existir una funcin potencial U
tal que
! @U @U @U
F = rU = ( ; ; )
@x @y @z
Entonces:
i j k
@ @ @
!
r F = @x @y @z
@U @U @U
@x @y @z
@2U @2U @2U @2U @2U @2U
= i j+ k
@y@z @z@y @x@z @z@x @x@y @y@x
!
= 0:
! !
Esto demuestra que si un campo es conservativo entonces r F = 0 . El
estudio de si esta condicin tambin es suciente para la independencia del
camino es una tarea bastante ms complicada. Para dar una respuesta completa
en el plano y en el espacio, necesitaremos respectivamente las frmulas de Green
(en el plano) y la frmula de Stokes (en el espacio). Comencemos por lo tanto
con:
Figura 11.3: Modelo de una regin que admite dos representaciones funcionales.
I ZZ
@Q @P
P dx + Qdy = dxdy
R @x @y
C
8 8
> Curva sup.: > Curva derecha
Primera > < Segunda > <
y = f2 (x) x = g2 (y)
descripcin y descripcin
> Curva inf. > Curva izquierda
a x b > : c y d > :
y = f1 (x) x = g1 (y)
! (t; f1 (t)) a t b
r (t) =
( t; f2 ( t)) b t a
Z Z b Z a
P dx = P (t; f1 (t))(+1)dt + P ( t; f2 ( t))( 1)dt
C a b
11.4. EL TEOREMA DE GREEN EN EL PLANO 235
RR @Q @P
La sumatoria de la derecha es igual a R @x @y dxdy. Ahora bien, observe
que cada segmento de curva que sirvi para dividir la regin R pertenece a
236 CAPTULO 11. INTEGRALES DE LNEA
0 1 2 3 4
X
0 1
X
se observa que para hallar el rea de la gura dada basta que la expresin
@Q @P
@x @y sea igual a la unidad, ya que entonces el lado izquierdo de esta frmula
es precisamente el rea de la regin R: Es claro que para lograr que @Q@x
@P
@y
sea igual a la unidad, hay varias posibilidades. La forma ms simple consiste en
hacer P = y y Q = 0; P = 0 y Q = x.
Con el n de practicar un poco integrales de lnea hagamos una eleccin algo
ms complicada: P = y y Q = x: En este caso, obtenemos que,
ZZ ZZ
@Q @P
dxdy = 2dxdy = 2 Area
R @x @y R
Denicin 299 Una regin D del plano cartesiano se dir que es simplemente
conexa si, dada cualquier curva cerrada simple en D, esta curva encierra sola-
mente puntos del dominio D:
@P @Q
= ;
@y @x
pero sin embargo la integral de lnea sobre una curva cerrada simple, en este
caso la circunferencia, no es nula.
Corolario 303 Suponga que F y G son dos funciones de clase C 2 en una regin
que contiene a la curva de Jordan C y a la regin R encerrada por ella, entonces:
Z ZZ
@F @G
G ds F ds = (G r2 F F r2 G)dxdy: (11.9)
C @n @n R
Teorema 306 Sea R una regin en el plano cartesiano limitada por n+1 curvas
de Jordan C0 ; C1 ; C1 ; : : : ; Cn ; que no se intersectan y tales que C1 ; C1 ; : : : ; Cn
estn en el interior de C0 : Entonces si P y Q son continuamente diferenciables
en un dominio que contiene a R, se tiene:
I ZZ n I
X
@Q @P
P dx + Qdy = dxdy + P dx + Qdy
@x @y j=1 C
C0 R j
Ejemplo 307 Encuentre todos los valores que puede tomar la integral,
I
ydx + xdy
;
x2 + y 2
C
@Q
Solucin. Ya que @P @y = @x entonces la integral es cero para toda curva de
Jordan que no encierre el origen. Ahora, suponga que C es una curva arbitraria
que encierra el origen. Sea r > 0 sucientemente pequeo para que la circun-
ferencia x2 + y 2 = r2 est contenida dentro de la regin de Jordan determinada
por C. Por lo tanto, de acuerdo al teorema anterior, se tiene:
I I
ydx + xdy ydx + xdy
= =2 :
x2 + y 2 x2 + y 2
C x2 +y 2 =r 2
con (x(t); y(t); z(t)) 2 G para todo t 2 [a; b] y que f : G R3 ! R es una fun-
Rb
cin real continua en la regin G. Entonces si la integral a f (!
r (t)) k!
r 0 (t)k dt
existe, diremos que ella es la integral de trayectoria de la funcin f a lo largo
de la curva C y anotaremos:
Z Z b
f ds = f (!
r (t)) k!
r 0 (t)k dt:
C a
Observacin 309
entonces,
ds = k!
r 0 (t)k dt;
11.10. Problemas
1. Suponga que la curva C est dada por ! r (u) = (x(u); y(u); z(u)) en donde
u 2 [a; b]. Se dene la longitud de la curva C por medio de la siguiente
integral:
s
Zb 2 2 2
dx dy dz
s= + + du:
du du du
a
en donde u 2 [0; 2 ]:
d!r (s)
a) es un vector unitario tangente a la curva C.
ds
b) La longitud total L de la curva es b a.
246 CAPTULO 11. INTEGRALES DE LNEA
3. Sea C una curva representada por ! r (t) = (x(t); y(t); z(t)) con t 2 [a; b].
Suponga que esta curva es continuamente diferenciable y es tal que (!
0
r (t)) (t) 6=
!
0 para todo t 2 [a; b]. Dena,
d!r
T= dt :
d!r
dt
Demuestre que:
dT
T = 0:
dt
R
4. Calcule la integral de lnea C x2 dx + xydy entre el origen y (2; 1) a lo
largo de las siguientes curvas:
a) (2t; t2 ) 0 t 1
b) (2 sin t; t) 0 t 1
2
c) (2t2 ; t) 0 t 1:
!
5. Calcule el trabajo realizado por la fuerza F = 2xyi + x2 j + yzk al mover
un cuerpo de masa unitaria desde el punto (0; 0; 1) hasta el punto (1; 1; 0)
a lo largo de la curva !
r (t) = (t; t2 ; 1 t) con 0 t 1:
10. Halle el peso de un alambre en forma de hlice: ! r (t) = (cos t; sin t; t) con
t 2 [0; 2 ] en donde la densidad por unidad de longitud en el punto (x; y; z)
es proporcional al cuadrado de su distancia al origen.
11.10. PROBLEMAS 247
Integrales de supercie
249
250 CAPTULO 12. INTEGRALES DE SUPERFICIE
en donde podemos suponer que (u; v) 2 [a; b] [c; d]. Supongamos que nuestra
supercie S est inmersa en un dominio D R3 , en donde a su vez, est
denida una funcin (vectorial o escalar ). Esta funcin, por lo tanto, estar
denida tambin sobre la supercie S. Para denir la integral usemos el ya
conocido mtodo de las particiones. Vea la Figura 12.2.Una particin de la
supercie S por medio de pequeos retculos Sij ; se logra considerando una
particin del rectngulo [a; b] [c; d]. Esto signica una particin P Q en
donde P = fu1 ; u2 ; un g y Q = fv1 ; v2 ; vm g son particiones de [a; b] y [c; d]
respectivamente. Esto genera un reticulado fSi;j g sobre la supercie, en donde
el retculo Si;j corresponde a la imagen bajo ! r del sub-rectngulo [ui ; ui+1 ]
[vj ; vj+1 ]. Observe que el rea de Si;j puede ser aproximada por el rea del
paralelgramo formado por los vectores ! r (ui ; vj+1 ) !r (ui ; vj ) y !
r (ui+1 ; vj )
!r (ui ; vj ). Llamando ui a la diferencia (ui+1 ui ) y vj a la diferencia (vj+1
vj ) podemos escribir:
Area(Si;j )
= k(!
r (ui+1 ; vj ) !r (ui ; vj )) (!r (ui ; vj+1 ) !r (ui ; vj ))k
!r (ui+1 ; vj ) !
r (ui ; vj ) ! !
r (ui ; vj+1 ) r (ui ; vj )
= ui vj ;
ui+1 ui vj+1 vj
@!
r @!
r
Area(Si;j ) = (ui ; vj ) (ui ; vj ) ui vj
@u @v
@!r @!
r
Por otro lado, como los vectores (ui ; vj ) y (ui ; vj ) son tangentes a la
@u @v
supercie en el punto (ui ; vj ), se deduce que el producto vectorial,
@!
r @!
r
(ui ; vj ) (ui ; vj );
@u @v
representa un vector perpendicular a la supercie en dicho punto y por ende
podemos escribir:
! @!r @!
r
n Area(Si;j ) = (ui ; vj ) (ui ; vj ) ui vj :
@u @v
P
y sumas de Riemann de tipo f ( i ; j ) Area(Sij ); en donde ( i ; j ) es un punto
!
arbitrario sobre el retculo Sij . Si la funcin es vectorial, digamos f , entonces es
!
usual considerar la componente de f en la direccin perpendicular a la super-
P!
cie, esto es considerar sumas de Riemann del tipo f ( i; j ) !
n Area(Sij ),
!
en donde n es un vector unitario perpendicular a la supercie S en el punto
( i ; j ). Como siempre, bajo condiciones apropiadas estas sumas de Riemann
convergern a sus respectivas integrales cuando las particiones se hagan cada
vez ms nas. Partamos por lo tanto buscando expresiones analticas para los
elementos Area(Sij ), y !
n Area(Sij ):
Denicin 313
Supongamos que S es una supercie en el espacio R3 ; representada por un
vector posicin ! r (u; v) = (x(u; v); y(u; v); z(u; v)), en donde (u; v) 2 [a; b]
[c; d]. Supongamos adems que nuestra supercie S est inmersa en un dominio
D R3 , en donde a su vez hay denida una funcin (vectorial o escalar).
Entonces:
1) Si la funcin es una funcin escalar, digamos f : D ! R, denimos
ZZ ZZ
@!
r @!r
f dS = f (x; y; z) dudv
S [a;b] [c;d] @u @v
!
2) Si la funcin es vectorial, digamos f : D ! R3 , denimos
ZZ ZZ
! ! ! @!
r @!
r
f dS = f (x; y; z) dudv:
S [a;b] [c;d] @u @v
@!
2
r
E= = x2u + yu2 + zu2
@u
@!
2
r
G= = x2v + yv2 + zv2
@v
@!
r @!
r
F = = xu xv + yu yv + zu zv ;
@u @v
se tiene:
@!
r @!
r p
= EG F 2:
@u @v
Demostracin. Si llamamos al ngulo que forman entre si los vectores
@!
r @!
r
y , se tendr que:
@u @v
@!r @!
r @!r @!
r p p
= sin = EG 1 cos2
@u @v @u @v
s
@! @!
2 2
r r
= EG cos2
@u @v
s
@!r @! p
2
r
= EG = EG F 2 :
@u @v
Ejemplo 315 Usando la frmula anterior, calcule el rea de una esfera de radio
R:
@!
2
r
E = = x2u + yu2 + zu2
@u
= ( R sin v sin u)2 + (R sin v cos u)2 = R2 sin2 v
12.1. DEFINICIONES BSICAS 253
Anlogamente,
@!
2
r
G = = x2v + yv2 + zv2
@v
= (R cos v cos u)2 + (R cos v sin u)2 + ( R sin v)2
= R2 cos2 v + R2 sin2 v = R2 :
@!
r @! r
F = = xu xv + yu yv + zu zv
@u @v
= R2 sin v sin u cos v cos u + R2 sin v cos u cos v sin u = 0:
Por lo tanto p p
EG F2 = R4 sin2 v = R2 jsin vj :
Luego:
Z Z 2 Z p
Area = dS = du EG F 2 dv
S 0 0
Z 2 Z
= du R2 jsin vj dv
0 0
Z
= 2 R2 sin vdv = 4 R2 :
0
@!
2
r
E = = x2u + yu2 + zu2 = cos2 v + sin2 v = 1
@u
@!
2
r
G = = x2v + yv2 + zv2 = u2 sin2 v + u2 cos2 v + 1 = u2 + 1
@v
@!
r @!
r
F = = xu xv + yu yv + zu zv = u cos v sin v + u sin v cos v = 0:
@u @v
Por lo tanto: p p
EG F2 = u2 + 1:
Luego el rea de la helicoide es:
ZZ p Z 2 Z 1 p
A = u2 + 1dudv = dv u2 + 1du
[0;1] [ ;5 ] 0 0
p 1 p p
= u (u2 + 1) + arcsinh u = 2 ln 2 1 :
0
Observacin 317
En el caso en que una supercie S est dada por una expresin funcional
z = f (x; y) podemos elegir las variables x e y como parmetros. En este caso,
la supercie puede ser descrita como:
!
r (x; y) = xi + yj + f (x; y)k:
@!
r @!
r @!r @!
r
= = (i + fx (x; y)k) (j + fy (x; y)k)
@u @v @x @y
2 3
i j k
= 4 1 0 fx 5 = fx (x; y)i fy (x; y)j + k:
0 1 fy
y por lo tanto,
q
@!
r @!
r 2 2
= (fx (x; y)) + (fx (x; y)) + 1: (12.1)
@x @y
Note ahora que la primera integral del lado derecho es cero y la segunda es
simplemente el volumen de la esfera, esto 4 =3:
12.5. Problemas
RR !
1. Calcule S F ! n dS directamente y usando el teorema de la divergencia,
en donde:
!
F = xyi + yzj + xyk;
!
y n es el vector unitario normal a la supercie S la que consiste de la
supercie total que encierra la semi-esfera unitaria x2 + y 2 + z 2 = 1; con
z 0:
2. Resuelva el problema anterior pero ahora S es la supercie total que en-
cierra al cono de helado dado por:
n p o
V = (x; y; z) : x2 + y 2 + z 2 1 ^ z x2 + y 2
RR !
3. Use el teorema de la divergencia para calcular S F ! n dS; en donde,
!
F = 2xi + y 2 j + z 2 k;
y!n es el vector unitario normal a la supercie de la esfera unitaria x2 +
y 2 + z 2 = 1.
RR !
4. Use el teorema de la divergencia para calcular S F ! n dS; en donde,
!
F = xy 2 i + x2 yj + xyk;
y!n es el vector unitario normal a la supercie del cilindro x2 + y 2 = 1,
supercie que incluye los correspondientes discos x2 + y 2 1 para z = 1
y z = 1.
12.5. PROBLEMAS 259
RR ! !
5. Calcule S
r F n dS sobre la supercie de la semiesfera x2 + y 2 +
z 2 = 1 con z 0 incluyendo la supercie x2 + y 2 1 para z = 0 y la
funcin vectorial:
!
F = y 2 i + (2xyez + 3) j + xy 3 cos z + z 4 k:
RR ! !
6. Use el teorema de la divergencia para calcular S
F n dS; para las
siguientes funciones:
!
a) F = xi + yj + zk
!
b) F = x2 i + y 2 j + z 2 k,
10. Hallar el rea de una supercie en forma de helicoide dada por medio
de la funcin: ! r (u; v) = (u cos v; u sin v; v) para (u; v) en el rectngulo
[0; 1] [0; 2 ] :
Certmenes
4. Considere la funcin:
( xy
(x; y) 6= (0; 0)
f (x; y) = x2 + y 2
A (x; y) = (0; 0)
261
262 CAPTULO 13. CERTMENES
@2f @2f
a) (0; 0), (0; 0)
@x@y @y@x
@2f @2f
b) (1; 2) (1; 2)
@x@y @y@x
a la hiprbola xy = 4:
4. Considere el siguiente sistema de ecuaciones:
F (x; y; u; v) = 0; G(x; y; u; v) = 0
@u @v
a) b)
@x @y
13.1. EJEMPLOS DE CERTMENES 263
5. (a) Evale la integral iterada. (b) Graque la regin de integracin. (c) Ex-
prese la integral doble correspondiente invirtiendo el orden de integracin:
Z 4 Z py
dy x2 y + xy 2 dx
1 1+y
3. Sea:
Z Z x+ Z 2 Z x+3
2
I= 2
(x y) sin (x+y)dydx + (x y)2 sin2 (x+y)dydx:
0 x+ x
4. Calcule:
Z ! !
x y 2 y 2
p + xe dx + p x2 ye y
dy;
C x2 + y 2 x2 + y 2
1. Son compactos.
5. Su complemento es regin.
Solucin.
Las siguientes dos guras representan los conjuntos B y A \ B respectiva-
mente.
1. son compactos: A; A \ B
5. su complemento es regin: A \ B
f (0; 2 + h) f (0; 2) @f
10. La expresin l m corresponde a (0; 2) :
h!0 h @y
Solucin.
1. (V ) El complemento es abierto .
2. (V ) El conjunto (x; y) : 1 < x2 + y 2 < 4 no tiene hoyos.
3. (V ) El conjunto Z esta formado por puntos aislados:
4. (V ) Todo par de puntos puede ser unido mediante una poligonal contenida
en el conjunto:
p
5. (V ) La funcin f (x; y) = jxyj es continua en todo el plano pues es
composicin de funciones continuas.
6. (V ) Dom(f ) = R2 se deduce por la denicin de continuidad.
7. (V ) El que ap + bq + cr = 0 equivale a que el producto interior de ambos
vectores sea cero.
8. (V ) El vector pi+qj+rk es perpendicular al plano px+qy+rz = pa+qb+rc:
9. (F ) La ecuacin representa un paraboloide de revolucin.
10. (V ) Es la denicin de derivada parcial. El nombre de la variable no tiene
importancia terica.
f (0; 2 + k) f (0; 2) @f
10. La expresin l m corresponde a (0; 2) :
k!0 k @x
Solucin.
(1) F; (2) F; (3) F; (4) F; (5) V; (6) F; (7) F; (8) V; (9) F; (10) F:
Solucin.
(1) F; (2) F; (3) F; (4) V; (5) F:; (6) V:
Se trata de una recta en el espacio que pasa por el punto (1; 2; 1) y que
tiene la misma direccin del vector 5i + 7j 2.k:
1 1 1
6. Representa un plano que corta a los ejes x; y; z, en los puntos ; ;
3 2 5
respectivamente.
Solucin.
(1) F; (2) F; (3) V; (4) F; (5) F:; (6) F:
Se trata de una recta en el espacio que pasa por el punto (1; 2; 1) y que
tiene la misma direccin dada por el vector 3i + 4j 5k.
4. Si el sistema,
F (x; y; u; v) = 0; G (x; y; u; v) = 0;
entonces w0 (0) = 7:
Solucin.
1. (V ) Resultado terico.
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 269
@f 1
= 3x2 + y cos xy i + (x cos xy) j x=2 p (i + j)
@n y=2 2
1 1
= ((12 + 2 ) i + 2j) p (i + j) = p (14 + 2 ) :
2 2
@ (F; G)
@u @ (v; y)
=
@v @ (F; G)
@ (u; y)
u = x; v = f (x; x):
Entonces:
dw @f @u @f @v @f @f @f @x @f @y
= + = + +
dx @u @x @v @x @u @v @x @x @y @x
@f @f @f @f
= + +
@u @v @x @y
@f @f @f @f
w0 (x) = (x; f (x; x)) + (x; f (x; x)) (x; x) + (x; x)
@u @v @x @y
Por lo tanto:
@f @f @f @f
w0 (0) = (0; f (0; 0)) + (0; f (0; 0)) + (0; 0)
@u @v @x @y
@f @f
= (0; 1) + (0; 1) f1 + 1g = 2 + 2 f1 + 1g = 6:
@u @v
270 CAPTULO 13. CERTMENES
13.2.2. Lmites
Problema 7.- Demuestre, usando la denicin que lm f (x; y) = 11,
(x;y)!(1;2)
en donde f (x; y) = x + 5y:
Solucin.
Hay que demostrar que:
2 2 2
(8" > 0) (9 > 0) 0 < (x 1) + (y 2) < =) jx + 5y 11j < " :
lm x2 y = 2:
(x;y)!(1;2)
Solucin.
Si > 0 tome = m n f1; =10g y use las siguientes desigualdades:
x2 y 2 = x2 (y 2 + 2) 2 x2 jy 2j + 2 jx + 1j jx 1j (13.1)
2
x + 2 jx + 1j
Anlogamente:
jx + 1j = jx 1 + 2j jx 1j + 2 < + 2 3:
x2 y 2 x2 + 2 jx + 1j < 4 + 6 :
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 271
o equivalentemente 8x + 2y + z = 5:
Ahora, usando esta ltima ecuacin se deduce que los interceptos con los
ejes x, y y z son 5=8, 5=2 y 5 respectivamente. Por lo tanto el volumen de la
pirmide es: V = 125=96:
(2 + 2 )x + (12 + )y z + ( 17 4 ) = 0:
8
< x2 y 2
(x; y) 6= (0; 0)
Problema 15.- Considere la funcin f (x; y) = x2 + y 2 Demuestre
:
0 (x; y) = (0; 0)
que f es diferenciable en (0; 0).
Solucin.
Calculemos primero las derivadas parciales de f en (0; 0):
@f f (h; 0) f (0; 0)
(0; 0) = l m = 0:
@x h!0 h
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 273
@f
Anlogamente (0; 0) = 0. Luego, para que f sea diferenciable en (0; 0) debe
@y
cumplirse que:
@f @f
f (h; k) f (0; 0) h (0; 0) k (0; 0)
@x @y
lm p = 0:
(h;k)!(0;0) h + y2
2
@f @f h2 k 2
f (h; k) f (0; 0) h (0; 0) k (0; 0)
@x @y h2 + k 2 :
lm p = lm p
(h;k)!(0;0) h + y2
2 (h;k)!(0;0) h2 + y 2
Pero:
h2 k 2
h2 + k 2 = h2 k 2 h2 + k 2h2 + k 2 p
p p p = h2 + y 2 :
h2 + y 2 (h2 + k 2 ) h2 + y 2 2 2 2
(h + k ) h + y 2
p
Luego, dado > 0, nos basta tomar = y tendremos que si 0 < h2 + y 2 < ,
entonces
@f @f
f (h; k) f (0; 0) h (0; 0) k (0; 0)
@x @y
p <
h + y2
2
Solucin.
@f @f
z 0 = (x 0) (0; 0) + (x 0) (0; 0) = 0
@x @x
es decir, su plano tangente es el plano cartesiano z = 0:
274 CAPTULO 13. CERTMENES
2. Como la funcin, en una vecindad del punto (x; y) = (1; 2) est dada por
x2 y 2
la expresin 2 , entonces para hallar el plano tangente en este caso,
x + y2
necesitaremos las derivadas parciales de esta expresin evaluadas en (1; 2).
Ahora:
@ x2 y 2 y4
= 2x 2
@x x2 + y 2 (x2 + y 2 )
y
@ x2 y 2 y
= 2x4 2
@y x2 + y 2 (x2 + y 2 )
Evaluando en (1; 2), obtenemos:
@ x2 y 2 32 @ x2 y 2 4
2 2
(1; 2) = ; 2 2
(0; 1) =
@x x + y 25 @y x + y 25
@f @f
1. Calcule (1; 1) y (1; 1)
@x @y
2. Es f diferenciable en (1; 1)?
@f @f
3. Calcule (0; 0) y (0; 0)
@x @y
4. Es f diferenciable en (0; 0)?
Solucin.
puede aplicar
@f xy y (x y) xy xy
= 2x sin + x2 + y 2 2 cos
@x x y (x y) x y
@f xy x (x y) + xy xy
= 2y sin + x2 + y 2 2 cos
@y x y (x y) x y
Por lo tanto
@f 1
(1; 1) = 2 sin (1=2) cos (1=2)
@x 2
@f 1
(1; 1) = 2 sin (1=2) + cos (1=2) :
@y 2
xy
2. Como f (x; y) = x2 + y 2 sin en una vecindad de (1; 1) y co-
x y
mo el concepto de diferenciabilidad es un concepto local, entonces f es
innitamente diferenciable. Luego es obviamente diferenciable.
hk
h2 + k 2 sin f (0; 0) 0h 0k
jhj + jkj
lm p =0
h;k!(0;0) h2 + k 2
es decir,
h2 + k 2 jhkj
lm p sin = 0:
(h;k)!(0;0) h2 + k 2 jhj + jkj
Pero,
h2 + k 2 jhkj p jhkj
p sin h2 + k 2 sin ;
2
h +k 2 jhj + jkj jhj + jkj
y por lo tanto como el lado derecho tiende a cero (ya que la funcin
jhkj
sin es acotada) se tiene que f es diferenciable en el origen.
jhj + jkj
!=f y x2 z; y 2 + x z; x y + z2 :
Demuestre que:
@! @! @!
+ + = 2 ( x; y; z) rf:
@x @y @z
Solucin.
Considere las siguientes variables auxiliares:
Entonces:
@! @f @u @f @v @f @s @f @f @f
= + + = 2x + + :
@x @u @x @v @x @s @x @u @v @s
Anlogamente:
@! @f @u @f @v @f @s @f @f @f
= + + = + 2y
@y @u @y @v @y @s @y @u @v @s
@! @f @u @f @v @f @s @f @f @f
= + + = + 2z :
@z @u @z @v @z @s @z @u @v @s
Por lo tanto, sumando estas tres derivadas parciales obtenemos:
@! @! @! @f @f @f
+ + = 2x +y +z = 2( x; y; z) rf:
@x @y @z @u @v @s
! = f (y x t; z y + t)
Demuestre que:
@! @! @! @!
+2 + + = 0:
@x @y @z @t
Solucin.
Denamos las siguientes variables auxiliares:
u=y x t; v=z y + t:
Entonces:
@! @f @u @f @v @f
= + =
@x @u @x @v @x @u
Anlogamente:
@! @f @f @! @f @! @f @f
= ; = ; = + :
@y @u @v @z @v @t @u @v
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 277
Por lo tanto:
@! @! @! @! @f @f @f @f @f @f
+2 + + = +2 + + = 0:
@x @y @z @t @u @u @v @v @v @u
x = et cos ; y = et sin :
Demuestre que:
@2w @2w @2w @2w
+ = e2t +
@t2 @ 2 @x2 @y 2
Solucin.
@w @w @w @w @w @w
= et cos + sin ; = et sin cos :
@t @x @y @ @x @y
Por lo tanto:
@2w @w @ 2 w @x @ 2 w @y
= et cos + + cos +
@t2 @x 2
@x @t @x@y @t
@w @ 2 w @x @ 2 w @y
+ sin + + sin
@y @y@x @t @y 2 @t
@w @2w @2w
= et cos + et 2
cos + sin cos +
@x @x @x@y
@w @2w @2w
+ sin + et cos + sin sin
@y @y@x @y 2
Anlogamente tenemos que:
@2w @w @ 2 w @x @ 2 w @y
= et cos + sin + +
@ 2 @x @x2 @ @x@y @
@w @ 2 w @x @ 2 w @y
+ sin cos +
@y @y@x @ @y 2 @
2
@w @ w @2w
= et cos + et sin sin + cos +
@x @x2 @x@y
@w @2w @2w
sin et cos sin + cos
@y @y@x @y 2
por lo tanto se obtiene:
Solucin.
De acuerdo a la regla de la cadena tenemos:
@z @u @x @u @y @u @u
= + = cos + sin
@r @x @r @y @r @x @y
@z @u @x @u @y @u @u
= + = r sin + r cos
@ @x @ @y @ @x @y
Por lo tanto:
2 2
@z 1 @z
+
@r r2 @
(
2 2
@u @u @u @u
= cos2 + sin2 + 2 sin cos +
@x @y @x @y
)
2 2
@u @u @u @u
+ sin2 + cos2 2 sin cos
@x @y @x @y
2 2
@u @u
= + :
@x @y
Solucin.
Observe que no se pide derivar respecto a la variable z: Por consiguiente
podemos reemplazar por z = 1 en la expresin de f . Por lo tanto:
@2f @2
(0; ; 1) = (cos (sin ( y x )))
@x@y @x@y x=0
y=
@2
= (cos (sin ( y x )))
@y@x
x=0
y=
@
= ( sin (sin ( y x )) cos ( y x ) y x ln y)
@y
x=0
y=
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 279
= 0;
puesto que sin(sin( )) = 0:
@2F
Problema 24.- Calcule (3; 2; 1) sabiendo que,
@x@y
F (x; y; z) = yz xy sin x + xz sin y + y x sin z:
Solucin.
No se pide derivar respecto a z. Luego podemos hacer z = 1 desde un
principio. Por lo tanto:
@2F @2
(3; 2; 1) = (y sin x + x sin y)
@x@y @x@y x=3
y=2
@
= (sin x + x cos y)
@x
x=3
y=2
@
= (sin x + x )
@x x=3
= cos x + = 0:
280 CAPTULO 13. CERTMENES
Problema 25.- La temperatura en una placa rectangular est dada por la frmula
T (x; y) = x2 y 2 + 10 (x e y estn en metros y la temperatura en grados
centgrados).
1. Si una hormiga est en el punto (4; 3) En que direccin (indicar vector
unitario) debe moverse si desea seguir un camino que maximice la tem-
peratura lo ms rpidamente posible?
2. El mismo problema anterior, pero ahora desea seguir un camino que mi-
nimice la temperatura.
3. Hallar la ecuacin del camino que seguira la hormiga, y = y (x), partiendo
del punto (4; 3) si desea mantener una temperatura constante de 17 :
4. Hallar la ecuacin del camino que seguira la hormiga partiendo del pun-
to (4; 3) si es que siempre est siguiendo una direccin que maximice la
temperatura lo ms rpidamente posible.
5. Si la rapidez de la hormiga es de 5 centmetros por segundo, determine el
tiempo mnimo que necesita, siguiendo la direccin de mayor crecimiento
de la temperatura, para ir desde el punto (4; 3) hasta algn punto en donde
la temperatura sea de 25 :
Solucin.
1. Debe seguir la direccin del gradiente de T . Esto es en la direccin del
vector unitario
rT 8i 6j 4 3
n= (4; 3) = p = i j:
krT k 64 + 36 5 5
4 3
2. Debe seguir la direccin del vector unitario n= i + j:
5 5
3. Debe seguir simplemente el camino determinado por la curva de nivel
x2 y 2 + 10 = 17: Esto es, el camino hiperblico x2 y 2 = 7:
4. La hormiga debe seguir un camino y = y(x) tal que la pendiente m(x) =
x
y 0 (x) sea igual , esto es, igual a la pendiente del vector rT (x; y). Esto
y
implica que la curva y = y(x) debe cumplir con la siguiente ecuacin
diferencial con valor inicial:
dy y
= ; y(4) = 3:
dx x
dy dx
Para resolver esta ecuacin escribmosla como = : Integrando
y x
obtenemos ln jyj = ln jxj + C. Esto es ln jxyj = C: Como la curva debe
ser continua y adems y(4) = 3, se llega a que el camino recorrido por la
hormiga debe ser xy = 12:
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 281
10
8
6
Y
4
2
-10 -5 0 5 10
Eje X
-2
-4
-6
-8
-10
Figura 13.1: Problema 25. Se indica, con trazo grueso, la curva xy = 12 y con
lnea na la isoterma x2 y 2 = 25:
13.2.4. Taylor
@ 13 xy
Problema 27.- Calcule f (0; 0), en donde f (x; y) = e sin x2 y :
@x8 @y 5
Solucin.
El desarrollo en serie de potencias de la funcin f es:
xy xy x2 y 2 x6 y 3
f (x; y) = e sin x2 y = 1 + ::: x2 y + :::
1! 2! 3!
Expandiendo el producto de los parntesis observamos que el coeciente que
acompaa a la potencia x8 y 5 es precisamente 1=(2!3!). Por otro lado, de acuer-
do al teorema de Taylor en varias variables, este coeciente tambin debe ser
1 13 @ 13
igual a 13! 8 @x8 @y 5 f (0; 0) : Igualando ambos valores, se obtiene:
1 13 @ 13 1
8 5
f (0; 0) =
13! 8 @x @y 2!3!
Por lo tanto:
@ 13 8!5!
f (0; 0) = = 403200
@x8 @y 5 12
xy 2 @ 15
Problema 28.- Si f (x; y) = e sin (xy) ; calcule f (0; 0).
@x6 @y 9
Solucin.
La serie de Taylor de f es:
xy 2 x2 y 4 x3 y 3 x5 y 5
f (x; y) = 1 + ::: xy + :::
1! 2! 3! 5!
El coeciente de la potencia x6 y 9 es 1=36. Por lo tanto:
1 15 @ 15 1
(0; 0) =
15! 6 @x6 @y 9 36
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 283
Luego:
@ 15 6!9!
6 9
(0; 0) = = 7: 257 6 106 :
@x @y 36
2 @ 24 f
Problema 29.- Si f (x; y) = exy sin yx2 ; Calcule (0; 0).
@x13 @y 11
13!11!
Solucin. = 345 226 033 152 000:
3!5!
Por lo tanto:
( )
3
2 (y 2)
P3 (x; y) = y 2 + 2 (x 1) (y 2) + (x 1) (y 2) cos 2 +
3!
( )
2
2 (y 2) 2
1 + 2(x 1) + (x 1) (x 1) (y 2) sin 2
2!
Solucin.
f (x; y) = x2 sin (y 1 + 1)
= x2 sin (y 1) cos 1 + x2 cos (y 1) sin 1
! !
3 2
2 (y 1) 2 (y 1)
= x cos 1 (y 1) + + x sin 1 1 + :::
3! 2!
Por lo tanto:
P3 (x; y) = x2 sin 1 + x2 (y 1) cos 1:
284 CAPTULO 13. CERTMENES
0.5
-2 0 2
Eje Y
-0.5
cuyo valor mximo se asume para y = 1 y es menor que 0;61. Por lo tanto,
Error 0;61x2
y tambin:
3 2
[(x; y 1) r] f = x3 fxxx +3x2 (y 1) fxxy +3x (y 1) fxyy +(y 1)3 fyyy
= 6x2 (y 1) cos 1:
@9
f (0; 0):
@x4 @y 5
Solucin. Usando los desarrollos de Taylor de la funcin exponencial y la funcin
seno, se tiene que:
x6 y 2 (x + y)3
f (x; y) = 1 + x3 y + + (x + y) +
2! 3!
1 9 1 5
C= +
9! 4 5! 1
1 9 1 5 1 9 @9
+ = f (0; 0)
9! 4 5! 1 9! 4 @x4 @y 5
de donde:
@9 4!5!
4 5
f (0; 0) = 1 + = 1 + 5! = 121:
@x @y 4!
F (x; y; u; v) = x + x2 + y u; G(x; y; u; v) = x2 + y 2 v:
286 CAPTULO 13. CERTMENES
F (x; y; u; v) = 0; G(x; y; u; v) = 0:
para todo (u; v) 2 V y que adems cumplan con x(3; 2) = 1 = y(3; 2) es su-
ciente que F y G sean funciones continuamente diferenciables y que adems:
@ (F; G)
(1; 1; 3; 2) 6= 0:
@ (x; y)
Ahora bien,
@F @F
@ (F; G) @x @y 1 + 2x 1
= =
@ (x; y) (1;1;3;2)
@G @G 2x 2y
x=1;y=1
@x @y (1;1;3;2)
3 1
= =6 2 = 4 6= 0:
2 2
F (x; y; u; v) = 0; G (x; y; u; v) = 0:
@ (F; G)
6= 0: (13.3)
@ (x; y)
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 287
se tendr que:
@ (F; G) @ (F; G)
@u @ (x; v) @v @ (u; y)
= ^ = :
@x @ (F; G) @y @ (F; G)
@ (u; v) @ (u; v)
rF 1r x2 + 4y 2 4 2 r(uv 4) = 0
2 2
x + 4y 4 = 0
uv 4 = 0:
Esto es:
2(x u) 2x 1 = 0 (13.4)
2(y v) 8y 1 = 0 (13.5)
2(x u) v 2 = 0 (13.6)
2(y v) u 2 = 0 (13.7)
x2 + 4y 2 4 = 0 (13.8)
uv 4 = 0 (13.9)
Sumando la Ecuacin 13.4 con la 13.6 y la Ecuacin 13.5 con la 13.7 se obtiene:
2x 1 +v 2 = 0 (13.10)
8y 1 + u 2 = 0 (13.11)
288 CAPTULO 13. CERTMENES
4y(x u) = x(y v)
xu 4yv = 0
3xy 4yu + xv = 0
x2 + 4y 2 = 4
uv = 4
2 2
r (p u) + (q v) 1r q p3 27 2r u2 + 4v 2 4 = 0
q p3 27 = 0
u2 + 4v 2 4 = 0
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 289
-4 -2 0 2 4
x
-2
-4
25
20
15
10
-3 -2 -1 0 1 2 3
Desarrollando:
2 (p u) + 3p2 1 = 0
2 (q v) 1 = 0
2 (p u) 2u 2 = 0
2 (q v) 8v 2 = 0
p3 + 27 q = 0
u2 + 4v 2 4 = 0
0 .2
0 -3 - 2 .8 - 2 .6 - 2 .4 - 2 .2 -2 - 1 .8 - 1 .6 - 1 .4 - 1 .2 -1
10
0 2
Eje Y
Eje X
2
f (x; y; z) = x2 + y 2 + z 2
r x2 + y 2 + z 2 = 1 r (x + 2y + z) + 2 r (2x y 3z)
x + 2y + z = 1
2x y 3z = 4:
292 CAPTULO 13. CERTMENES
2x = 1 +2 2
2y = 2 1 2
2z = 1 3 2
x + 2y + z = 1
2x y 3z = 4
2x 2y + 2z = 0
x + 2y + z = 1
2x y 3z = 4
16 1 11
cuya solucin es (x; y; z) = ; ; . Por lo tanto el valor mnimo de la
15 3 15
funcin a lo largo de recta es:
2 2 2
16 1 11 16 1 11 134
f ; ; = + + = :
15 3 15 15 3 15 75
Problema 41.- Dada la funcin f (x; y) = 2x2 + y 2 2x 2xy; halle todos sus
extremos (mximos y mnimos).
Solucin.
Puntos crticos:
9
@f >
=0 = 4x 2 2y = 0
@x () =) (x; y) = (1; 1)
@f > 2y 2x = 0
=0 ;
@y
Naturaleza del punto crtico:
@2f @2f
@x2 @x@y 4 2
D(x; y) = = =8 4=4>0
@2f @2f 2 2
@y@x @y 2
@2f
Por lo tanto, como D(1; 1) = 4 > 0 y (1; 1) = 4 > 0 se deduce que (1; 1)
@x2
es un mnimo local. La funcin, por ser innitamente diferenciable en todo el
plano, no puede tener otros mnimos ni mximos locales. Se deduce que no tiene
mximos y su mnimo absoluto es f (1; 1) = 1:
x2 + 2y 2 + z 2 = 16:
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 293
F (x; y; z) = x + 2y z y
G(x; y; z) = x2 + 2y 2 + z 2
rF = rG
G(x; y; z) = 16
1 = 2x
2 = 4y
1 = 2z
x + 2y + z 2 = 16
2 2
8 x + 2y z 8
f (x; y) = (3 x) (3 y) (x + y 3) ;
4
3 1
2
1
0
2 1
4 3
-1
-2
25
20
15
10
5
0
0
1
2
Eje X 4
3 2
4 0
10
0 1 2 3 4
x
10
0 1 2 3 4
Eje Y.
1. 5
0. 5
0 1 2 3 4
E je X
Solucin.
p p
1 x2 y 2
Z1 Z1 x2 Z
4
V = dx dy dz = :
p p 3
1 1 x2 1 x2 y 2
Solucin. p
Z2 Z1 Z1 r2
4
V = d dr rdz = :
p
3
0 0 1 r2
Solucin.
Z2 Z Z1
2 4
V = d d' sin 'd = :
3
0 0 0
Problema 48.- Exprese el volumen del cono de helado, regin encerrada por
las supercies:
Bajo de la 2
x2 + y 2 + (z 1) = 1
esfera
Sobre el p
z= x2 + y 2
cono
Solucin.
p Despejando z de la ecuacin de la circunferencia se obtiene que z =
1 + 1 x2 y 2 . Por lo tanto, el intervalo de variacin de z es:
hp p i
x2 + y 2 ; 1 + 1 x2 y2 :
V = d dr rdz = :
0 0 r
Problema 50.- Resuelva el problema anterior usando coordenadas esfricas e
integrando en el orden d d'd :
Solucin. Reemplazando las coordenadas esfricas en la ecuacin x2 + y 2 + (z
1)2 = 1; obtenemos 2 sin2 ' + ( cos ' 1)2 = 1; de donde 2 2 cos ' = 0:
Por lo tanto, vara en el intervalo [0; 2 cos ']. Luego:
Z=4 2Z
cos '
2
V = d' sin 'd = :
0 0
r = sec
Luego:
Z 2 Z =4 Z sec
V = d d r2 sin dr +
0 0 0
Z 2 Z =2 Z cot csc
+ d d r2 sin dr
0 =4 0
Z =4 Z =2
2 3 2
= sec sin d + cot3 csc3 sin d
3 0 3 =4
Z =4 Z =2
2 sin 2 cos3
= d + 5 d
3 0 cos3 3 =4 sin
Z =4 Z =2
2 sin 2 1 sin2
= d + cos d
3 0 cos3 3 =4 sin5
es decir:
C = f(r; ; ) : tan 1 ^ r R:g
300 CAPTULO 13. CERTMENES
Luego:
RRR R2 R =4 RR
zdV 0
d 0 d 0 r cos r2 sin dr
z = RRR = R2 R =4 RR
dV d d r2 sin dr
0 0 0
2 R4 R =4
0
cos sin d
= 4
2 R3 R =4
0
sin d
3
2 =4
3R sin 0 3 R
= = p :
8 ( cos ) =4 82 2
0
Problema 53.- Exprese sin calcular, la componente z del centroide del cuerpo
dado en el problema anterior mediante una integral iterada triple, usando:
a) Coordenadas cartesianas (x; y; z), integrando primero respecto a z, luego
respecto a y y nalmente respecto a x.
b) Coordenadas cilndricas ( ; ; z), en donde es la distancia medida desde
el origen al punto (x; y; 0), integrando primero respecto a z, luego respecto a
y nalmente respecto a :
Solucin.
a) De acuerdo a la denicin,
0
d 0
d dz
Z2 Z ZR
2
M= d d' k sin 'd = kR4 :
0 0 0
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 301
Solucin.-
La regin de integracin aparece oscurecida en al Figura 13.12.Para poder
integrar en el orden pedido, es necesario dividir la regin en las subregiones
mostradas en la Figura 13.12: una seccin ubicada debajo de la recta y = 2 y la
otra sobre dicha recta. Por lo tanto, la integral 13.12 es igual a:
2
Z2 Zy Z16 Z4
2 2
I = dy x + 2xy 3y dx + dy x2 + 2xy 3y 2 dx
p p
1 y 2 y
0 .8
0 .6
0 .4
0 .2
0 0 .5 1 1 .5 2 2 .5 3
x
p
en donde R es la regin limitada por las rectas y = x=3; y = 1 y la curva y = x:
Vea Figura 13.13.
Solucin.
ZZ Z1 Z3y
211
2
x y dxdy = dy x2 ydx = :
R 120
0 y2
1.5
0.5
Solucin.
p
ZZ p
x= x Z2 Zy p Z2 p p
y
e ex= y y p
x= y
dxdy = dy dx = e dy
R y2 y2 y2 1
1 1 1
Z2 1=2 2 2
3=2
p y p
= y (e e1= y
)dy = e + 2e1= y
1=2 1 1
1
p
2=2
p
= 2e 2e = 0;212
u = x + y; v = x y:
304 CAPTULO 13. CERTMENES
0 2 4 6 8 10 12
x
-2
-4
Por lo tanto:
ZZ
x2 + y 2 2xy sin (x + y) dxdy
D
ZZ ZZ
2 1
= (x y) sin (x + y) dxdy = v 2 sin ududv
2
D D
0 2 4 6 8
-1
Problema 63.- Halle la masa y el centro de masa de una lmina encerrada por
la curva x = y 2 ; y la recta 2y x + 3 = 0: La placa tiene una densidad dada
por (x; y) = x: Ver Figura 13.16.
En este caso conviene integrar primero respecto a la variable x:
Z3 Z
2y+3
544
M= dy xdx = :
15
1 y2
Z3 Z
2y+3
15 15 1184 555
x= dy x2 dx = = = 4;6639:
544 544 7 119
1 y2
Z3 Z
2y+3
15 15 160
y= dy xydx = = 1;4706:
544 544 3
1 y2
306 CAPTULO 13. CERTMENES
Solucin.
Sea C el segmento vertical que va desde el punto (3; 1) hasta el punto
(3; 1). Entonces la curva C = C +C es una curva cerrada y por ende podemos
aplicar el teorema de Green a la regin R encerrada por dicha curva C . Luego:
a) Sea
Z Z Z
xydx + x2 dy = xydx + x2 dy xydx + x2 dy
C C C
Z Z Z
@ 2 @
= x xy dxdy xydx + x2 dy
R @x @y C
Z Z Z
= xdxdy xydx + x2 dy:
R C
Luego:
Z
xydx + x2 dy = 18:
C
Z Z Z
ydx xdy = ydx xdy ydx xdy
C
ZC Z C
Z
@ @
= ( x) y dxdy ydx xdy
@x @y
ZR Z Z C
Solucin.
Sea C la curva cerrada, es decir la curva C unin el segmento lineal C
que va desde el punto (3; 1) hasta el punto (3; 1). Ahora,
a) Aplicando el teorema de Green a la curva C obtenemos:
Z ZZ
3 100 100
sin xdx + (x + y )dy = 100x99 dxdy = 0;
C R
R
Problema 66.- Calcule la integral de lnea C ydx + x2 dy, en donde C es la curva
determinada por la frontera de la regin encerrada por la parbola y = x2 y la
recta y = x, recorrida en sentido contrario a los punteros del reloj. Calcule el
valor anterior usando integrales dobles.
Solucin.
Si llamamos C1 a la curva determinada por la parbola y C2 a la recta y = x.
entonces una parametrizacin de la curva C = C 1 [ C2 ; recorrida en sentido
contrario a los punteros del reloj es:
! (t; t2 ) Curva C1
r (t) = ;0 t 1:
(1 t; 1 t) Curva C2
Por lo tanto:
Z Z Z
2 2
ydx + x dy = ydx + x dy + ydx + x2 dy
C C1 C2
Ahora bien,
Z Z1
2 5
ydx + x dy = t2 + 2t3 dt = :
C1 6
0
y
Z Z1
5
ydx + x2 dy = 1 t + (1 t)2 dt = :
C2 6
0
Por lo tanto, Z
ydx + x2 dy = 0:
C
en donde:
! @u @u
ru = F = (y cos xy; x cos xy) = ;
@x @y
Igualando la primera componente se obtiene:
u = sin xy + f (y) :
en donde C es la frontera del tringulo cuyos vrtices son los puntos (0; 0); (2; 0)
y (1; 1) y la curva est recorrida en sentido contrario a los punteros del reloj.
a) directamente y b) usando el teorema de Green.
Solucin.
Sea C1 el segmento que une el punto (0; 0) con el punto (2; 0); C2 el segmento
que une los puntos (2; 0) y (1; 1) y C3 el segmento que une el punto (1; 1) con
el origen.
Entonces, una parametrizacin de los segmentos C1 ; C2 y C3 , con 0 t 1;
es:
x = 2t 2 t 1 t
C1 : ; C2 : ; C3 :
y=0 t 1 t
a) directamente:
Clculo de la integral sobre la curva C1 :
Z
ex sin ydx + xydy = 0:
C1
310 CAPTULO 13. CERTMENES
Z Z1
x
e sin ydx + xydy = e2 t
sin t + (2 t) t dt
C2 0
Z1 Z1
2 t
= e e sin tdt + 2t t2 dt
0 0
= 1;1498
Por lo tanto:
Z
ex sin ydx + xydy = 0 1;1498 1;2427 = 2;3925:
C
Z ZZ Z1 Z y
2
x x
e sin ydx + xydy = (y e cos y) dxdy = dy (y ex cos y) dx
C R 0 y
1 1 2
= + e cos 1 e = 2: 392 5:
6 2
Problema 70.- Sea C la curva formada por los siguientes segmentos lineales:
Solucin. RR
Usando el teorema de Green, y observando que x Area= R xdxdy, se tiene:
Z ZZ ZZ
xydx + x2 dy = (2x x) dxdy = xdxdy = x Area = 6:
C R R
R1 R2y R2 x=2
R
1. dy f (x; y) dx = dx f (x; y) dy:
0 y 0 0
entonces Z
x3 dx + y 2 dy = :
C
entonces Z
ydx xdy = 0:
C
ZZ Z1 Z1
f (x) g (y) dxdy = f (x) dx g (y) dy:
R 1 1
2
5. La funcin f (x; y) = (x 2) y + y 2 y tiene un mnimo local en el punto
(2; 1=2) :
Solucin.
R1 R2y R1 Rx R2 R1
1. (F ) dy f (x; y) dx = dx f (x; y) dy + dx f (x; y) dy:
0 y 0 x=2 1 x=2
2. (F ) pues:
Z ZZ ZZ
@ y2 @ x3
x3 dx + y 2 dy = = 0dxdy = 0:
C R @x @y R
3. (F ) pues:
Z Z ZZ
@x @ ( y)
ydx xdy = xdy ydx = dxdy
R @x @y
C C
ZZ
= 2dxdy = 2 rea de elipse = 4 :
R
312 CAPTULO 13. CERTMENES
Solucin:
x = 1
Sea C 2 la curva 1 t 0. Entonces:
y = t
Z ZZ
1
x2 y dx + 3y 2 + x dy = (1 + 1) dxdy = + +1 2= + 3:
R 2 2
C2 [C
Por lo tanto:
Z Z
x2 y dx + 3y 2 + x dy = +3 x2 y dx + 3y 2 + x dy
C C2
Z 0
= +3 3t2 + 1 @t
1
0
= +3 t3 + t 1
= + 1:
Observe que:
2 3
i j k
! 5=!
rot F = det 4 @=@x @=@y @=@z 0:
yz 2 cos x + 2x z 2 sin x 2yz sin x
b)
Z1
1
W = t + 2t3 + t2 p dt = 7=5:
t
0
Solucin:
I ZZ ZZ
(ydx xdy) = ( 1 1) dxdy = 2 dxdy = 2 :
S
Solucin. I ZZ
9y 3 dx + 4x3 dy = 12x2 + 27y 2 dxdy
C2 R
x = 3r cos
y = 2r sin
314 CAPTULO 13. CERTMENES
@ (x; y)
es claro que el Jacobiano es = 6r: Por lo tanto:
@ (r; )
ZZ Z 2 Z 1
2
12x + 27y 2
dxdy = d 108r2 cos2 + 108r2 sin2 6rdr
R 0 0
Z 2 Z 1
= 108 d 6r3 dr = 324 :
0 0
Solucin.
De acuerdo al Teorema de Gauss, se tiene:
ZZ ZZZ
x3 i + y 3 j + z 3 k !
n dS = 3x2 + 3y 2 + 3z 2 dV
S V
Solucin.
Observe que el rotacional
!
r y 3 z 3 i + 2xyz 3 j + 3xy 2 z 2 k = 0 :
RRR
Problema 79.- Evaluar ydxdydz; en donde V es la regin encerrada por
V
los planos coordenados y el plano x + y + z = 10; a) directamente, b) usando
teorema de Gauss.
Solucin.
13.2. EJEMPLOS DE PROBLEMAS DE CERTMENES 315
a) directamente
ZZZ Z10 Z x
10 10Z x y
ydxdydz = dx dy ydz
V 0 0 0
Z10 Z x
10
= dx fy (10 x y)g dy
0 0
Z10
1 3 104
= (10 x) dx = :
6 24
0
!
b) usando teorema de Gauss. Considere F = xyi. Entonces, si llamamos 1 ; 2 ; 3
a los lados paralelos a los planos x = 0; y = 0 y z = 0 respectivamente y
al plano x + y + z = 10; se tiene,
ZZZ ZZ ZZ
! !
ydxdydz = F n dS = xyi (i + j + k) dxdy
V S
ZZ Z10 Z x
10
104
= xydxdy = dx xydy = :
24
0 0
Respuestas a Problemas
Seleccionados
por lo tanto:
!1=2 !1=2
P
m P
n P
n
AxT a2ij x2j = K kxk
i=1 j=1 j=1
R
19.- Use Cauchy-Schwarz en C [0; ] con el producto interior hf; gi = 0
f (x)g(x)dx.
Esto es:
Z 2 Z Z
2 2 2
ex sin xdx = jhex ; sin xij kex k ksin xk = e2x dx sin2 xdx;
0 0 0
317
318 CAPTULO 14. RESPUESTAS A PROBLEMAS SELECCIONADOS
R1
20.- Note que f (x)1=2 g(x)1=2 1, luego 0
f (x)1=2 g(x)1=2 dx 1, ahora, por
Cauchy-Schwarz se tiene
Z 1 1=2 Z 1 1=2
R1
1 0
f (x)1=2 g(x)1=2 dx f (x) dx g(x) dx ;
0 0
24.- Llame x e y a los vectores que forman la base del paraleleppedo. Entonces
el rea de la base es kx yk. Por otro lado si n = (x y) = kx yk, entonces
la altura del paraleleppedo es k n zk = jn zj. En consecuencia el volumen es:
j(x y) zj
V = kx yk jn zj = kx yk = j(x y z)j .
kx yk
1 x x2 1 x x2 1 x x2
1 y y2 = 0 y x y2 x 2
= (y x) (z x) 0 1 y + x
1 z z2 0 z x z2 x2 0 1 z+x
= (y x) (z x) (z y) 6= 0:
! ! ! ! ! !
27.- Observe que P Q = (AB + BC)=2 y SR = (CD + DA)=2. Por otro lado,
! ! ! !
es claro que AB + BC + CD + DA = 0.
29.- ' = arc cos(1=3) t 1;231.
36.- Use Problema 33.
Captulo 2, pgina 46.
1.- Dom(f ) = (x; y) : x2 + y 2 < 1 =Disco abierto de radio unitario.
2.- Dom(g) = (x; y; z) : x2 + y 2 < 1 =Cilindro abierto de radio unitario cuyo
eje central es el eje z. p
7.- (2; 2=3; 1=2); 8.- arc cos 23=3 61 ; El punto de interseccin es (1; 2; 3=2).
23
8.- ' = arc cos 3p 61
= 11o 10;800 (11 grados y 10.8 segundos). Pto intereseccin
(1; 2; 3=2).
9.- (3; 5; 4).
10.- (4; 0; 0).
11.- Sea x = (x; y; z) un punto arbitrario del plano, a = (a1 ; a2 ; a3 ), b =
(b1 ; b2 ; b3 ) y c = (c1 ; c2 ; c3 ). Entonces el vector a x es ortogonal al vector
319
0 = (a x) ((b x) (c x))
= ((a x) (b x) (c x))
2 3
a1 x a2 y a3 z
= det 4 b1 x b2 y b3 z 5 .
c1 x c2 y c3 z
13.- 8x 16y + 7 = 0.
16.- Note que un vector unitario ortogonal a ambas rectas es n = (v w)= kv wk
y por lo tanto la distancia entre las rectas es justamente k n (a b)k.
17.- Note la recta pasa por el origen y es paralela al vector (a1 ; b1 ; c1 ) (a2 ; b2 ; c2 ).
20.- Las imgenes corresponden respectivamente a las siguientes guras:
1 ! ! 1 p
A= AB AC = k(1; 5; 2) (1; 7; 6)k = 501:
2 2
7.- a) (1; 0), b) , c) (0; 0) y todos los puntos de la forma (0; 1=n) (1=n; 0), d)
.
8.- La frontera de a) y c) es el mismo conjunto unido con f(1; 0)g.en el caso de
a) y con f(0; 0)g en el caso de c). En los casos b) y d) son los mismos conjuntos.
12.- vaco en cada caso.
15.- R R, , Z Z, , N R, .
27.- La coleccin f]0; n=(n + 1[)g es un cubrimiento abierto de ]0; 1[ sin un sub-
recubrimiento nito.
Captulo 4, pgina 85.
1.- a) 0; 0; no existe, b) 1, no existe, 1, c) no existe, 0, 0, d) no existe, no existe,
0, e) 0, 0, no existe.
p
2.- a) 10 6 , b)
p 210 3 , c) no existe, d) no existe, e) (1=2)10 6 , f) 10 6 , g) 10 6 ,
h) 10 3 , i) ( 2=2)10 3 .
6.- No (demuestre que el lmite no existe tomando la recta y = mx).
320 CAPTULO 14. RESPUESTAS A PROBLEMAS SELECCIONADOS
3=2
9.- la funcin es discontinua en todos los puntos de la curva jyj = jxj con la
excepcin de (0; 0).
12.- Suponga que F es continua en Rn y G es abierto en Rm . Sea x 2 F 1 (G),
entonces F(x) 2 G. Como G es abierto existe > 0 tal que V (F(x)) G.
Por la continuidad de F en x existe > 0 tal que F(V (x)) V (F(x)). Luego
1
F(V (x)) G. Esto implica que V (x) F (G) y por lo tanto F 1 (G) es abier-
to. El recproco es casi inmediato.
18.- Como F es continua en a 2 D, entonces existe > 0 tal que F (V (a))
V (F (a)), en donde = F (a). Entonces si x 2 V (a), se tiene que jF (x) F (a)j <
F (a) y por lo tanto F (x) > 0.
Captulo 5, pgina 110.
2.- La existencia de las derivadas parciales estn garantizadas
R x por el Teorema
Fundamental del Clculo: si g es continua, entonces f (x) = c g(t)dt es diferen-
ciable, (a) @f =@x = (1+y)g(x+xy); @f =@y = xg(x+xy), d) Note que f (x; y) =
Z 1 Z 1
kxy puesto que g (t) dt es una constante. Luego @f =@x = y g (t) dt y
Z 1 0 0
R x+y
@f =@y = x g (t) dt, f) @f =@x = @f =@y = g b g (t) dt g(x + y).
0
3.- Error de impresin: la funcin (a) es f (x; y) = arctan x arctan y xy+sin xy
@f @f p
y ( =4; 1) = 1, b) ( =4; 1) = 2=2.
@x @x
5.- Ambas existen y valen 0.
6.- (b) Como ( 1; 1) pertenece al segundo cuadrante se tiene que f (x; y) =
jxyj = xy y por lo tanto @f =@x( 1; 1) = yjy=1 = 1; @f =@y( 1; 1) =
xjx= 1 = 1.
7.- x 2 = (1 z)=2; y = 2.
9.- z = x2 + xy + 2xy 2 + y sin x.
Captulo 6, pgina 129.
2.- (f) y (g) ambas funciones son diferenciables.
3.- d) fx y fy son continuas en todo el plano: fx (0; a) = 0 8a y para x 6= 0 se
tiene que fx (x; y) = (xy cos xy sin xy)=x2 . Note ahora que lm fx (x; y) =
(x;y)!(0;a)
0; anlogamente fy (0; a) = 1 8a y si x 6= 0 se tiene fy (x; y) = cos xy y
lm fy (x; y) = 1, e) f es diferenciable en todo el plano.
(x;y)!(0;a)
p
7.- a) df = 4dx + 9dy, p
c) df = ((8 + 2 + 48)dx + 16dy + 16dz) 2=32.
2
8.- a) 16 [4; 4; ], b) 82 [0; 4 ; 0].
1
p p R 1=2
10.- b) 8 4A + 3B; 6 3A + 3B en donde A = 0 esin t dt y B = esin(1=2) .
2
12.- b) z = x + y .
15.- b) x 2 =p (1 y)=2 = (z 4)=4.
18.- dT
p = ( = l g)(dl (l=g)dg), por lo tanto el error es aproximadamente
( = 0;08 9;8)(0;0001 + (0;08=9;8) 0;02) t 0;0009 segundos.
Captulo 7,p pgina 143.
1.- dz=dn = 9 3=2.
3.- du=dn = 60=13.
6.- x 2 = (y 1)=2 = (z 8)=20.
321
2.- c)
Z Z p Z p Z
2 y 2 2 p p
1 x 1 x 1
exp p dxdy = exp p dydx = e 2 + 2e 2 2
1 1 y2 y 1 x2 y2 y
p
3.- (a) 0; (b) 3 2 13 .
2
Z p Z Z Z p Z p Z
3 1 4 y2 p 3 4 z2 4 y2 p
2
p dz dy 2y xdx + dz p dy 2y 2 xdx+
3 1 z2 2 4 z2 z2
Z Z p Z
2 4 z2 4 y2 p
+ p dz p dy 2y 2 xdx
3 4 z2 z2
Z p Z Z Z p Z Z p
3 3 1 p 3 4 4 x p
2
p dz dx 2y xdy + dz dx p
2y 2 xdy+
3 z2 1 2 z2 4 x
Z p Z Z p Z Z Z p
3 4 4 x p 2 4 4 x p
2
+ p dz dx p
2y xdy + p dz dx p
2y 2 xdy:
3 3 4 x 3 z2 4 x
y
Z 2 Z p
16 z 2 Z p16 y2 z2
dz dy p f (x; y; z)dx
2 0 16 y 2 z 2
(ii) y cilndricas:
Z Z Z p Z Z p Z
2 4 16 r 2 2 12 2
d p dr f (r; ; z)rdz + d dr f (r; ; z)rdz:
0 12 0 0 0 0
Coordenadas cilndricas:
Z Z Z p
=2 a a2 r 2
2 3
a +4 d dr rdz
3 0 a sin 0
y esfricas:
Z =2 Z =2 Z a
2 3 2
a +4 sin d d d
3 0 (a sin )= sin
64
p p p
19.- Valor: 3 2 + 1024
3 arctan 2
704 1
3 arcsin 3 3. La expresin es en:
Cilndricas:
Z Z Z p
=4 4 16 r 2
V = 16 rdzdrd
0 2 sec 0
Esfricas:
Z =4 Z =2 Z 4
2
V = 16 sin d d d
0 arcsin((sec )=2) 2 csc sec
Captulo
p 11, pgina 245
1.- 2 2
4.-
R1 R1 t t t
a) 0 8t2 + 4t4 dt = 52=15; b) 0 4 sin2 cos + 2t sin dt = 8 2 + 3 = 3 2
2 2 2
R1
c) 16t5 + 2t3 dt = 19=6:
R1 0 3 11
5.- 0 2t + 2t3 (1 t)t2 dt = 12
R1
6.- 0 4t4 + t4 (1 t)t dt = 56
7.- Campo conservativo: funcin potencial (x; y) = ex cos 2y. Trabajo: e cos 2
1:
8.- Campo conservativo: funcin potencial (x:y) = ex + ey . Trabajo: e 1:
9.- Ecuacin de la proyeccin de la curva en el plano xy: 2x2 + y 2 = 2: Es-
p 2
x2 + y 2 = 2 = 1. Luego una parametrizacin de la curva es !
to es: p r (t) =
(cos t; 2 sin t; cos t) con t 2 [0; 2 ], por lo tanto el peso del alambre es:
Z 2 p p p
P = cos2 t + 2 jsin tj sin2 t + 2 cos2 t + sin2 tdt = 2 +8
0
R2 p p p
10.- P = 0 k(1 + t2 ) 2dt = 2 2 k + 83 2 3 k, en donde k es la constante de
proporcionalidad.
11.- (a): =4, (b): 1=2.
12.- Observe que x = r cos ; y = r sin implica que dx = cos dr r sin d y
dy = sin dr + r cos d . Luego:
!
5.- Recuerde que r r F = 0.
RRR ! RRR
6.- Usando Gauss. Caso (a): V
r F dV = 3dV = 3.
RRR ! RRR
Caso (b): VR
r F dV = 2 (x + y + z) dV = 0.
2 R1p 2 p p
10.- Solucin: 0 0 u + 1dudv: = 2 ln 2 1 .
R2 R1p p
2 2
11.- Solucin: 0 0 u + 1 u + 1dudv = 8 =3.
R2 R1 p p
12.- Solucin: 0 0 (ju cos vj + ju sin vj) u2 + 1dudv = 8=3 + 16 2=3:
R2 R
13.- Solucin: 0 0 k cos2 sin d d = 4 k=3.
15.- 3 =2.
ndice alfabtico
326
NDICE ALFABTICO 327
de acumulacin, 53 vecindad
de ensilladura, 39 abierta, 49
frontera, 61 agujereada o punteada, 49
interior, 50, 62 vectores
ortogonales, 17, 22
recta producto interior de, 18
ecuacin cartesiana de la, 30 producto triple, 21
ecuacin paramtrica de la, 31 producto vectorial de, 20, 21
ecuacin vectorial de una, 47 proyeccin ortogonal, 15
paralela a un plano, 32 volumen
perpendicular a un plano, 32 de la esfera, 203
regin, 56 de un elipsoide, 209
regla de la cadena, 135, 137 de un paraleleppedo, 25
segmento lineal, 56
sucesin
convergente, 58
de Cauchy, 58
denicin de, 58
lmite de una, 58
subsucesin de una, 58
supercie
rea de una, 251
de nivel, 45
integral de, 251
orientable, 249
plano tangente a una, 140
vector norma a una, 140
Taylor
frmula en una variable, 97
frmula en varias variables, 98
serie de, 99
Teorema
de Bernoull, 94
de Bolzano Weierstrass, 55, 60
de Brouwer, 89
de Enlace, 80
de Fubini, 190, 195
de Gauss, 255
de Green en el plano, 233, 242
de la divergencia, 255
de la funcin implcita, 149
de la funcin inversa, 156
de Stokes, 256
trayectorias ortogonales, 145