Escolar Documentos
Profissional Documentos
Cultura Documentos
Apuntes de Clase
Segunda Edicin
ndice general
Prlogo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Cambios de Notacin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.0. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sucesiones en Rn . . . . . . . . . . . . . . . . . . . . . . .
13
18
6.3.
23
6.4. Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
1.
1.
29
2.
32
3.
Regla de la Cadena . . . . . . . . . . . . . . . . . . . . . .
33
4.
35
37
1.
Funciones de Clase C k . . . . . . . . . . . . . . . . . . . .
40
2.
40
3.
Desarrollo de Taylor . . . . . . . . . . . . . . . . . . . . .
41
6.6. Extremos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
1.
46
2.
Extremos Absolutos . . . . . . . . . . . . . . . . . . . . .
52
NDICE GENERAL
6.7. Funciones Implcitas y Aplicaciones . . . . . . . . . . . . . . . .
53
1.
59
2.
63
6.8. Funciones de Rn en Rm . . . . . . . . . . . . . . . . . . . . . . . .
67
1.
Continuidad
. . . . . . . . . . . . . . . . . . . . . . . . .
67
2.
Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . .
68
3.
72
7. INTEGRALES MLTIPLES
77
77
1.
Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . .
77
2.
Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
3.
Integrales Iteradas . . . . . . . . . . . . . . . . . . . . . .
81
83
89
1.
Interpretacin Geomtrica . . . . . . . . . . . . . . . . . .
92
2.
94
98
102
7.6.
. . . . . . . . . . . . .
106
7.7.
111
ndice de Smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
118
ndice de Nombres . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
119
NDICE GENERAL
2012. Hemos seguido fielmente las notas de F. Pagannini, salvo por algunas modificaciones de notacin que listamos en Cambios de notacin. En algunos casos hemos
dado demostraciones alternativas, sacado algn ejemplo y agregado otros, pero siempre
intentando mantener el estilo conciso y directo del texto original. Con el fin de mantener cierta compatibilidad en las referencias, hemos mantenido la numeracin original
de las definiciones, teoremas, proposiciones, etc. y adems hemos incluido notas en los
mrgenes indicando la pgina correspondiente del libro de F. Pagannini.
La idea es que para una prxima edicin, se deje de mantener esta estricta regla de
compatibilidad.
Como extra al texto original, hemos incluido hiperlinks a lo largo y ancho del texto, as como un ndice alfabtico con los conceptos y smbolos definidos. Un debe son
alguna de las figuras que por problemas de tiempo no hemos podido incluir.
Eduardo Canale
Asuncin enero de 2013.
Cambios de notacin
En lugar de la notacin E(a, r) usaremos la notacin B(a; r). En concordancia usaremos ms el trmino bola que el de entorno.
En lugar de denotar Ac al exterior de A, lo denotaremos Aext .
En lugar de denotar las sucesiones de vectores como (x(k) )kN escribiremos simplemente (xk )kN . A su vez, la coordenada i-sima de la sucesin
(k)
NDICE GENERAL
Captulo 6
6.0.
Introduccin
En diversas aplicaciones tiene inters estudiar funciones de varias variables, es decir con dominio en Rn . Para poner un ejemplo tomado de la fsica, si
se quiere describir la temperatura del aire en una regin del espacio, se est ante una funcin del tipo T (x, y, z) donde (x, y, z) son las coordenadas del punto
(vector de R3 ) y T es un nmero real. Se est ante una funcin de R3 en R. Si
ahora queremos describir la velocidad de cada partcula de aire, tenemos una
funcin V (x, y, z) donde V es un vector de R3 . Es decir, tenemos una funcin
de R3 en R3 .
Qu se quiere estudiar de estas funciones? En principio, se pretende extender, en la medida de lo posible, toda la teora disponible para funciones de una
variable: continuidad, derivadas, integracin, etc. A lo largo de este captulo y
el siguiente se ver que es posible, con algunas limitaciones, esta extensin. En
el Captulo 6 trataremos el clculo diferencial de varias variables y en el Captulo 7 la integracin. El planteo ms general es estudiar las funciones de Rn
en Rm , es decir con n variables y tomando valores en Rm . Por simplicidad, se
7
difiere sto para el final del captulo y se empieza por el caso m = 1; funciones
reales de varias variables. Los principales conceptos aparecen en este caso y no
es difcil extenderlos.
p190 de [5]
6.1.
Propiedades Topolgicas de Rn
Propiedades
a) kxk 0 y kxk = 0 x = 0,
b) kxk || kxk, para todo R,
c) kx + yk kxk + kyk
(desigualdad triangular).
x+
Propiedades
a) d(x, y) 0 y d(x, y) = 0 x = y,
Observacin:
p191 de [5]
10
1.0.5.
Notacin
A = { puntos interiores a A}
Aext = { puntos exteriores a A}
A = { puntos frontera de A}
A = A A se llama conjunto clausura de A.
1.0.6.
Ejemplos
x
0
sea, si A = A .
p193 de [5]
1.0.7.
Ejemplos
11
Para demostrarlo, sea x B(a; r). Debemos ver que x es interior, o sea que
existe > 0 tal que E(x, ) B(a; r).
Como x B(a; r) entonces d(x, a) < r de donde r d(x, a) > 0. Definamos = r d(x, a). Por
12
Ejemplo
1.0.8.
Observacin:
A es cerrado sii A A.
Definicin 7. Sea A Rn , x Rn entonces, diremos que x es un punto de acumulacin de A sii todo entorno reducido de x interseca a A. Al conjunto de puntos de
acumulacin de A se lo denota A0 .
1.0.10.
Ejemplos
Observacin:
13
Ejemplos
1.
Sucesiones en Rn
Extendemos el concepto de sucesin real a sucesin en Rn . De hecho, es-
1.1.1.
Notacin:
Si el nombre de la funcin es x, es decir x : N Rn , entonces para cada natural k, x(k) Rn , es decir x(k) ser un vector x(k) = (x(k)1 , x(k)2 , . . . , x(k)n ).
Para alivianar la escritura, escribiremos xk en lugar de x(k) y xk i , en lugar de
x(k)i . Dependiendo del contexto la notacin xk puede significar tanto la sucesin (es decir toda la funcin) como el trmino k-simo. Para desambiguar sto
ltimo, si queremos referirnos a la sucesin escribiremos (xk ) o (xk )kN .
Observemos que una sucesin en Rn equivale a n sucesiones reales. Por
ejemplo, ((1/k, 0, (1)k ))kN es una sucesin en R3 formada por las tres sucesiones reales: (1/k)kN , (0)kN y ((1)k )kN .
Definicin 11. Diremos que una sucesin (xk )kN converge a un p Rn y escribiremos xk p o tambin,
lm xk = p,
k+
sii
d(xk , p) 0.
k+
14
1.1.1.
Observacin:
escribir cuando k +.
2) Es fcil ver que xk p
sii
Bp , k0 / k k0 , xk Bp .
sii
|xk i pi |2
|xk 1 p1 |2 + + |xk n pn |2 =
kxk pk = d(xk , p) 0
por lo tanto |xk i pi | 0 por lo tanto xk i pi .
()
d(xk , p) = kxk pk =
|xk 1 p1 |2 + + |xk n pn |2 0,
15
Ejemplo
p197 de [5]
xk a, yk b, k , entonces
1) xk + yk a + b;
2) k xk a;
3) kxk k kak.
p198 de [5]
16
(xknm 1 , xknm 2 )
ser una sucesin convergente de R2 . Por induccin podemos seguir el proceso
y construir una sucesin convergente de Rn que sea subsucesin de la original.
Corolario 6.5. Si (xk ) K compacto, entonces existe p K y una subsucesin
17
18
6.2.
Lmites y Continuidad
Observacin:
ciones
BL Bp / x Bp D, f (x) BL ;
> 0, > 0 / f (B (p; ) D) B(L; )
BL Bp / f (Bp D) BL .
Notemos que B(L; ) no esDms que el intervalo abierto (L ; L + ) R.
D
p
Rn
19
lm f (x) = f (p).
xp
p202 de [5]
20
2.0.6.
Ejemplos
lm
k+
xk yk
.
x2k + yk2
con xk 0 y yk 0, que no podemos determinar sin conocer la forma explcita de (xk ), (yk ). Una forma de proceder es la siguiente: Si xk = yk , entonces
xk yk
x2k
1
1
=
= .
x2k + yk2
2x2k
2
2
Pero si xk = 0, yk = 1/k, una cuenta similar nos da lmite 0. Al tener lmites
distintos segn la sucesin que tomemos, concluimos que el lmite no existe.
Otra forma ms general sera restringir f a la recta y = mx, entonces
f (x, mx) =
m
,
1 + m2
21
f (x, mx) =
m 2 x3
0,
x2 + m2 x4 x0
para todo m
Podramos pensar en este caso que existe el lmite de f y vale 0, ya que por
todas las rectas se llega al mismo lmite. Sin embargo, si nos restringimos a
p204 de [5]
4) f (x, y) =
Observacin:
22
6.3.
23
lm
x0
f (x + x) f (x)
,
x
p207 de [5]
24
lm
x0
f (x + x, y) f (x, y)
,
x
fy (x, y) =
f
(x, y). Anlogamente,
x
f
f (x, y + y) f (x, y)
(x, y) = lm
,
y0
y
y
si existe.
De hecho, si fijamos y = y0 y escribimos g(x) = f (x, y0 ), funcin de x, se
tiene que:
fx (x, y0 ) = g 0 (x).
Esto nos permite calcular derivadas parciales siguiendo las formulas usuales
de derivacin, considerando a la otra variable como un parmetro.
p208 de [5]
3.0.7.
Ejemplo::
Interpretacin geomtrica:
~ =
~ = (V1 , V2 ), (x, y) D. Llamamos
Definicin 18. Sea V
6 0 vector de R2 , V
~ en el punto (x, y) a
derivada direccional de f respecto a V
f
f (x + hV1 , y + hV2 ) f (x, y)
(x, y) = lm
,
~
h0
h
V
25
si existe.
~ , definir
Esto equivale a restringir f a la recta por p = (x, y) con direccin V
~ ) = f (x + hV1 , y + hV2 ), y calcular 0 (0).
(h) = f (p + hV
~,
El mtodo anterior con la funcin (h) da una forma de calcular f / V
p209 de [5]
(x1 , . . . , xn ) = lm
h0
26
3.0.9.
Ejemplo:
6.4.
fx
2xzeyz ,
fy
x2 z 2 eyz ,
fz
x2 (1 + zy)eyz .
Diferenciabilidad
x0
f (x + x) f (x)
,
x
donde
r(x)
0.
x x0
4.0.10.
f (x0 + x, y0 + y) f (x0 , y0 ) Ax By
= 0,
k(x, y)k
Observacin:
con
lm
(x,y)0
r(x, y)
= 0.
k(x, y)k
6.4. DIFERENCIABILIDAD
27
p211 de [5]
funcin lineal de los incrementos de las variables tal que el error cometido
r(x, y) tiende a 0 con mayor orden que k(x, y)k.
Esto admite una interpretacin geomtrica: Si x = x0 + x , y = y0 + y, la
frmula anterior es equivalente a :
f (x, y) = f (x0 , y0 ) + A(x x0 ) + B(y y0 ) + r(x, y).
La ecuacin z = f (x0 , y0 ) + A(x x0 ) + B(y y0 ) representa un plano, que
aproxima a la superficie z = f (x, y) con error r(x, y).
Puede decirse que la superficie es aproximable por un plano, que ser el
plano tangente en el punto (x0 , y0 , f (x0 , x0 )). Esto es anlogo al caso de una
variable, en que la funcin se aproxima por la recta tangente, y nos da idea que
la definicin dada es una adecuada generalizacin.
Es claro adems, que para funciones de una variable la derivabilidad y la
diferenciabilidad son conceptos equivalentes.
La versin geomtrica descripta nos da ms garantas de regularidad. Intuitivamente, algo, que est cerca de un plano no puede ser muy irregular.
Veremos en el siguiente teorema que ahora s tenemos garantizada la continuidad, adems de la existencia de derivadas parciales y direccionales. Adems veremos que las constantes A y B son justamente las derivadas parciales.
p212 de [5]
Entonces
1. f continua en p = (x0 , y0 ),
28
f
(p) = B.
y
De donde
1)
lm
(x,y)0
lm
(x,y)0
con
lm
(x,y)0
r(x, y)
= 0.
k(x, y)k
lm
f (x, y) =
(x,y)0
(x,y)p
de entonces f es continua en p.
2) Tomando y = 0, se tiene
f (x0 + x, y0 ) f (p)
r(x, 0)
=A+
x
x
()
Como
r(x, 0) r(x, 0)
=
0.
x k(x, 0)k
x0
Por lo tanto el lmite cuando x 0 del cociente de la izquierda en () existe y
es igual a A. Como dicho lmite cuando existe es igual a fx (p), entonces fx (p) =
A.
Anlogamente para fy (p).
p213 de [5]
6.4. DIFERENCIABILIDAD
29
como
r(hV , hV )
r(hV1 , hV2 )
1
2
~
=
0,
V
. k(hV1 , hV2 )k
h0
h
~ )(p) = AV1 + BV2 .
tenemos (f / V
El teorema anterior nos di, para una funcin diferenciable, una expresin
para la derivada direccional:
f
~
V
~.
(p) = fx (p).V1 + fy (p).V2 = (fx (p), fy (p)) V
Definicin 20. Al vector (fx (p), fy (p)) se le llama vector gradiente de la funcin f y
se lo denota f (p).
Tenemos entonces que si f es diferenciable, entonces
f
~
(p) = f (p) V
~
V
y
~ ) f (p) = f (p) V
~ + r(V
~ ),
f (p + V
con
~)
r(V
0
~
kV k V~ 0
~ de norma 1 (kV
~k=
En la expresin anterior, si nos restringimos a vectores V
f
1), vemos que el mximo de
(p) se obtiene en la direccin de f (p): el
~
V
gradiente nos da la direccin de mayor crecimiento de f .
La anterior definicin se extiende para f de n variables, f (x1 , . . . , xn ). En
este caso
f (p) = (fx1 (p), . . . , fxn (p)).
p214 de [5]
1.
para funciones diferenciables. Ahora bien, cmo saber si una funcin es diferenciable? Se puede, por supuesto, recurrir a la definicin, pero existen criterios
30
()
r(v)
0.
kvk v0
y
y0 + y
v
y0
p
x
x0
x0 + x
()
6.4. DIFERENCIABILIDAD
31
mientras que en el segundo incremento es la variable y que permanece constante (igual a y0 ). Como las derivadas parciales existen, podemos aplicar el
teorema de Lagrange a (y) = f (x0 + x, y) en [y0 , y0 + y] ya que 0 (y) =
fy (x0 + x, y). Su aplicacin nos dar un (0; 1) tal que (y0 + y) (y0 ) =
0 (y0 + y)y, de donde
f (x0 + x, y0 + y) f (x0 + x, y0 ) = fy (x0 + x, y0 + y)y.
()
r(v)
De donde
f (x0 + x, y0 ) f (p)
x
y
r(v)
=
fx (p)
+ [fy (x0 + x, y0 + y) fy (p)]
kvk
x
kvk |
{z
} kvk
|{z}
|
{z
} |{z}
(II)
(I)
(i)
(ii)
Haciendo v 0 tenemos que (I) 0 por existir fx (p), (II) 0 por ser fy
continua en p, (i) y (ii) acotados entre -1 y 1, de donde toda la expresin tiende
a cero.
4.1.0.
Ejemplo:
p216 de [5]
32
2.
con
r(x, y)
0.
k(x, y)k (x,y)(0,0)
El incremento f de la funcin depende de los incrementos x, y y puede ser aproximado cerca de p, despreciando el resto, por la funcin lineal df
p217 de [5]
4.2.0.
Observacin:
obtener entonces
df |p ( dx, dy) = fx (p) dx + fy (p) dy.
6.4. DIFERENCIABILIDAD
3.
33
Regla de la Cadena
Se llama habitualmente regla de la cadena a la regla de diferenciacin de
funciones compuestas. Para funciones de un variable, la regla es la siguiente si g(y), f (x) son derivables la funcin compuesta g(f (x)) es derivable y
(g(f (x)))0 = g 0 (f (x)) f 0 (x).
Veremos como extender esta regla a funciones de varias variables.
Consideramos en primera instancia la funcin compuesta g(t) = f (x(t), y(t))
compuesta de f (x, y) con la funcin vectorial de una variable2 (x(t), y(t)), que
supondremos derivable. Nos preguntamos que hiptesis pedirle a f (x, y) para
asegura que g(t) sea derivable. Las consideraciones anteriores hacen pensar en
la diferenciabilidad. Efectivamente:
Teorema 6.14 (Regla de la cadena ). Sean f : D( R2 ) R diferenciable en
p = (x0 , y0 ) D,
: I( R) D,
z }| {
f ((t0 + h)) f ((t0 ))
f (p + ) f (p)
g(t0 + h) g(t0 )
=
=
,
h
h
h
donde = (t0 + h) (t0 ). Como f es diferenciable en p entonces
f (p + p) = f (p) + f (p) p + r(p),
2 tambin
llamada curva.
con
r(p)
0
kpk p0
p218 de [5]
34
Por lo tanto
f (p + ) f (p)
r()
= f (p)
+
.
h
h
h
Como /h 0 (p) cuando h 0, basta demostrar que r()/h 0. Para
p219 de [5]
ello vemos que, por un lado, si = 0, entonces r() = 0. Por otro lado si
6= 0, entonces kk =
6 0y
r() kk
r()
=
.
h
kk | {z
h }
| {z }
(I)
(II)
Una generalizacin de lo anterior consiste en componer f (x, y) con una funcin vectorial (x(u, v), y(u, v)) de dos variables, obteniendo g(u, v) = f (x(u, v), y(u, v)).
Teorema 6.15. Sea f (x, y) diferenciable en p = (x0 , y0 ),
x(u, v) tiene derivadas parciales en (u0 , v0 ) y x(u0 , v0 ) = x0 ,
y(u, v) tiene derivadas parciales en (u0 , v0 ) y y(u0 , v0 ) = y0 ,
entonces, g(u, v) = f (x(u, v), y(u, v)) tiene derivadas parciales en (u0 , v0 ) y valen:
(1)
(2)
g
u
g
v
=
=
f
x
f
x
x f y
+
u y u
x f y
,
v
y v
6.4. DIFERENCIABILIDAD
35
sis. (1) es entonces una consecuencia inmediata del Teorema 6.14, y se procede
anlogamente para (2).
4.3.0.
Observaciones:
a) Si se pide adems que las funciones x(u, v), y(u, v) sean diferenciables,
puede demostrarse que g lo es rehaciendo una demostracin como la del
Teorema 6.14.
b) Sin embargo, ser suficiente en general que f (x, y), x(u, v), y(u, v) tengan
derivadas parciales continuas. En ese caso, g(u, v) tambin las tiene, como
surge inmediatamente del Teorema 6.15 y por lo tanto es diferenciable.
4.3.1.
Ejemplo:
g
(2)
(1)
f
f
cos +
sen ,
x
y
f
f
=
sen +
cos .
x
y
=
p221 de [5]
4.
las curvas de nivel, es decir los conjuntos f 1 (k) = {(x, y) / f (x, y) = k} donde
la funcin toma el nivel k.
Pensando en la representacin espacial, esto equivale a cortar la superficie
z = f (x, y) con el plano z = k.
Un ejemplo tpico son los mapas de relieve, en que se da la altura en funcin
de dos coordenadas geogrficas.
36
p
f =2
f =1
f =0
tiva la siguiente:
Proposicin 6.16. Sea p = (x0 , y0 ), f diferenciable, f (p) 6= 0, (t) curva diferenciable tal que t I, (t) {(x, y) / f (x, y) = k}, entonces 0 (t0 ) f (p).
p222 de [5]
Observacin:
37
Ejemplo:
6.5.
Supongamos que f (x, y) tiene derivadas parciales en todos los puntos interiores a D. Tenemos definidas, entonces, dos funciones de dos variables, fx (x, y)
y fy (x, y). Si stas a su vez tienen derivadas parciales, obtenemos las derivadas
segundas:
p223 de [5]
fxx
fyx
2 fx
fx
=
,
x
x2
fy
2f
=
,
x
xy
fx
2f
=
,
y
yx
fy
2f
=
=
.
y
y 2
fxy =
fyy
Anlogamente, pueden definirse derivadas terceras fxxx , fxyx , etc., si las funciones anteriores tienen derivadas parciales.
38
5.0.3.
Ejemplo
fx
(6.1)
fxx
(6.2)
fxy
(6.3)
Se observa en el ejemplo que las derivadas cruzadas fxy , fyx , son iguales.
Para funciones con suficiente regularidad este hecho es general.
Teorema 6.17. Si fxy , fyx existen en un Bp , y son continuas en p, entonces fxy (p) =
fyx (p).
p224 de [5]
y0 + h
v
+
y0
p
x
x0
x0 + h
(1)
(h)
(2)
(h)
39
(0; 1),
(0; 1).
, 0 (0; 1).
(h)
= fxy (x0 + h, y0 + 0 h) fxy (p) por ser fxy continua en
h0
h2
p. El razonamiento anterior puede repetirse en forma anloga partiendo de la
(h)
forma (2). En ese caso se llega a 2 fyx (p).
h0
h
De donde,
5.0.3.
Notas:
para verificar las hiptesis hace falta conocer las derivadas segundas para saber
si son continuas. Sin embargo, en muchos casos usuales se sabe de antemano
que existen derivadas parciales continuas de todos los rdenes, salvo a lo sumo
en algn punto. Por ejemplo, para f (x, y) = x2 esen y /(x2 + y 2 ) se sabe que
fxy (x, y) = fyx (x, y) (x, y) 6= (0, 0).
Existen, por otra parte, versiones, del teorema anterior con hiptesis ms
dbiles: Basta pedir que, adems de fx , fy , exista y sea continua fxy para que exista
tambin fyx , y fxy = fyx . Ver [1].
Por ltimo, se pueden dar ejemplos en que no se cumple fxy = fyx , aunque
p225 de [5]
40
2
2
xy(x y )
x2 + y 2
1)f (x, y) =
(x, y) 6= (0, 0)
(x, y) = (0, 0).
xy
2)f (x, y) = xy
si x2 < y 2 ,
si x2 > y 2 ,
si x2 = y 2 .
1.
Funciones de Clase C k
2.
p227 de [5]
d2 f |p (x, y)=
d3 f |p (x, y) =
dk f |p (x, y) =
41
kvk
= dk f |p (u)
con u =
v
.
kvk
3.
k
x
+ y
f
x
y
k
ki i
con
.
xki y i
xki y i
Desarrollo de Taylor
Recordamos brevemente el desarrollo de una funcin de una variable en un
f 00 (p)
f (k) (p)
x2 + +
xk +rk (x),
2
k!
lm
x0
rk (x)
= 0.
(x)k
rk (x) =
f (k+1) (a + x)(x)k+1
,
(k + 1)!
con (0; 1)
(resto de Lagrange.)
Para funciones de dos variables, hay resultados anlogos. En este caso los polinomios son de dos variables x, y, y el trmino di f |p , (x, y) juega el papel
del trmino f (i) (p)x.
5.3.0.
Nota:
1
1
f (p + p) = f (p) + df |p (p) + d2 f |p (p) + + dk f |p (p) + rk (p),
2
k!
42
p0
rk (p)
k
kpk
= 0.
rk (p) =
1
dk+1 f |p+p (p),
(k + 1)!
0 < < 1.
Nos limitamos aqu a demostrar (B), que puede deducirse fcilmente del caso
de una variable, y cubre los casos usuales. Para (A), ver [4].
Teorema 6.18. Sea f de clase C k+1 en B(p; ), v B(0; ). Entonces existe
(0; 1) tal que
1
1
f (p + v) = f (p) + df |p (v) + d2 f |p (v) + + dk f |p (v) + rk (v),
2
k!
1
dk+1 f |p+v (v).
(k + 1)!
rk (v)
De lo anterior se deduce que lm
= 0.
v0 kvkk
donde rk (v) =
donde v = (x, y). Entonces g(0) = f (p), q(1) = f (p + v). Derivamos g(t)
p229 de [5]
g 00 (t)
1 g 00 (0)
g (k) (0) g (k+1) ()
+ +
+
,
2 2
k!
(k + 1)!
0 < < 1.
43
kvk
= kvk
dk+1 f |p+v
kvk
k+1
con u =
v
B(0; 1).
kvk
5.3.1.
Ejemplo:
Se obtiene:
1
2
1
f (2+x, 1+y) = log 5+ x+ y (x2 +4xy +4y 2 )+r(x, y)
5
5
50
con
lm
r(x, y)
= 0.
x2 + y 2
En funciones de ms de dos variables, el desarrollo es vlido
(x,y)(0,0)
5.3.2.
Nota:
d f (x1 , . . . , xn ) =
x1
+ x2
+ + xn
x1
x2
xn
p
f,
44
la expresin anterior.
p231 de [5]
6.6.
Extremos
relativo si Bp B / v Bp , f (v)
f (p).
mnimo
n
o
n
o
mximo
absoluto si v D, f (v)
f (p).
mnimo
Notar que con la definicin anterior un extremo absoluto (mximo o mnimo) puede no ser extremo relativo, porque puede no darse en un punto interior3 . Por ejemplo, para la funcin f : [0, 1] R, f (x) = x2 , el mximo absoluto
ocurre en la frontera de [0, 1]. Esta distincin ser cmoda para dar condiciones
en trminos de derivadas. Para la funcin f anterior, la derivada (lateral) en el
extremo absoluto no se anula (vale f 0 (1) = 2), pero en un extremo relativo, si
hay derivada, esta se anula. Desarrollamos ahora el caso de varias variables.
Proposicin 6.19 (Condicin Necesaria de Extremo Relativo ).
f tiene mximo relativo en p
p232 de [5]
Demostracin. Sea p = (x0 , y0 ) y supongamos, por ejemplo, que f tiene un mximo relativo en p. Entonces existe Bp tal que v Bp , f (v) f (p). Por lo tanto
(x, y0 ) Bp , f (x, y0 ) f (x0 , y0 ), o sea que la funcin g(x) = f (x, y0 ) posee
3 Esta
6.6. EXTREMOS
45
Ejemplo:
f (x, y) = x2 + y 2 ,
D = {(x, y) / x2 + x2 1} f tiene un
mnimo relativo (que adems es absoluto) en (0, 0), y f = (2x, 2y) se anula
en (0, 0).
En este caso el mximo absoluto de f ocurre en la frontera de D (D =
{(x, y) / x2 + x2 = 1}), por lo que no es un mximo relativo, y no hay all
anulacin de f .
Definicin 24. p es punto crtico de f sii f es diferenciable en p y f (p) = 0.
6.0.4.
Observacin:
Por la Proposicin 6.19, los extremos relativos son puntos crticos. Sin embargo, no todos los puntos crticos son extremos relativos.
6.0.5.
Ejemplo:
si x 6= 0
Notas:
p233 de [5]
46
1.
1 2
d f |p (v) + r(v),
2
con
r(v)
2
v0
kvk
0.
= v H vt ,
= (x, y)
y
fxy (p) fyy (p)
donde v es el vector fila (x, y), v t su transpuesta, y H es llamada matriz
Hessiana de f en p, denotada a veces f 00 (p).
bles con un mnimo relativo no absoluto y un solo punto crtico (obviamente en el mnimo relativo).
Tales ejemplos no existen en funciones de R a R, por la existencia de un orden total en R
6.6. EXTREMOS
47
v 6= 0,
3. Semidefinida
sii v, (v)
0, u 6= 0 : (u) = 0.
negativa
6.1.1.
Ejemplos
1 1
1 1
es semidefinida positiva: (x, y) 0, (1, 1) = 0 con (1, 1) 6= 0.
1 1/2
2
2
2) (x, y) = x + xy + y ,
H=
.
1/2 1
Para estudiar el signo, nos restringimos a la recta y = mx. Sustituyendo
tenemos:
(x, mx) = x2 (m2 + m + 1).
Como m, m2 + m + 1 > 0 (ya que el discriminante es 3 < 0, por lo que no
tiene races reales), (x, mx) 0 y vale 0 slo en el origen (0, 0).
Esto es vlido para cualquier m, por lo tanto para cualquier recta por el
origen. (para la recta x = 0, que faltara, = y 2 y tambin es cierto).
(x, y) 0, (x, y) = 0 solo en (0, 0) es definida positiva.
3) (x, y) = x2 +4xy+y 2 (1, 1) = 6 > 0, (1, 1) = 2 < 0
indefinida.
Veremos a continuacin un mtodo general para clasificar formas cuadrticas de R2 , que surge de extender el procedimiento del Ejemplo 2).
Proposicin 6.20. Sea
(x, y) = x2 + 2xy + y 2 ,
p236 de [5]
48
forma cuadrtica de R2 . Entonces, si H =
,
n
o
n
o
>0
positiva
1. Si det H > 0 y
, entonces es definida
.
<0
negativa
2. Si det H < 0, entonces es indefinida.
3. Si det H = 0, entonces es semidefinida.
Demostracin. Restringimos la forma a las rectas por el origen y = mx y
x = 0:
(x, mx) =
x2 ( + 2m + m2 ), y = mx
y 2
x = 0.
(x, y) =
x2 (m m0 )2
si y = mx,
y 2
si x = 0.
Expresin que es o bien nula o bien tiene el mismo signo que . Adems (1, m0 ) =
0, siendo (1, m0 ) 6= (0, 0). Por lo tanto es semidefinida.
6.1.1.
Observacin:
6.6. EXTREMOS
49
f (p + v) f (p) = kvk
1
(v) + r(v),
2
con (v) =
r(v)
2
v0
kvk
0,
!
1
1 (v)
2
+
(v)
=
kvk
(u)
+
(v)
2 kvk2
2
()
v0
B0 , ( 21 (u) + (v))
p239 de [5]
50
f (p + tu1 ) f (p) = t
1
(u1 ) + (tu1 )
2
forma que el segundo factor es positivo, por lo tanto, para 0 6= |t| < 1 , f (p +
tu1 ) > f (p).
En forma anloga, existe 2 > 0 tal que para 0 6= |t| < 2 , f (p + tu2 ) <
f (p) en todo entorno de p, hay puntos donde f toma valores mayores y
menores que en p, por lo tanto f no tiene un extremo relativo en p.
6.1.3.
Notas
6.6. EXTREMOS
51
H=
6.1.4.
..
.
fx1 xn (p)
..
.
fxn xn (p)
fx1 x1 (p)
..
.
fx1 x2 (p)
..
.
Ejemplos
fx = 3x2 9y,
fy = 3y 2 9x.
Resolviendo f = 0 se obtienen los puntos crticos (0, 0) y (3, 3).
Para clasificarlos, obtendremos la matriz H en cada caso.
H=
0
9
9
0
=H=
6x
9
9
6y
.
18
9
9
18
det H > 0
En el punto (3, 3), H =
= 18 > 0
definida positiva (3, 3) es un mnimo relativo.
)
d2 f |(3,3)
p241 de [5]
3
fy = 6xy (0, 0) es
52
2 + y 2 6(x + 1)2
2y3(x + 1)2
2y3(x + 1)2
2(x + 1)3
H(0, 0) =
2
0
0
2
.
2.
Extremos Absolutos
Ya se dio la definicin anteriormente (Definicin 23). Un caso particular en
Ejemplo:
Sea f (x, y) = x2 + y 2 xy x y y
D = {(x, y)/x 0, y 0, x + y 3}
El dominio es el tringulo de vrtices
) O = (0, 0), A = (3, 0) y B = (0, 3).
Puntos crticos fx = 2x y 1 = 0
punto crtico (1, 1) interior a D. Adefy = 2y x 1 = 0
p242 de [5]
ms f(1,1) = -1 .
Frontera Segmento OA. y = 0, 0 x 3, f (x, 0) = x2 x, (f (x, 0))0 = 2x1,
f (0) = 0, f (1/2) = 1/4, f (3) = 6:
Mximo de f en OA es 6 en A = (3, 0)
Mnimo de f en OA es 1/4 en (1/2, 0)
53
Segmento OB (anlogo)
Mximo de f en OB es 6 en B = (0, 3)
Mnimo de f en OB es 1/4 en (0, 1/2)
Segmento AB. y = 3 x, 0 x 3,
d
dx
f (x, 3x) = 3(x2 3x+2)
3(2x3), f (0, 3) = 6 = f (3, 0), f ( 32 , 23 ) = 3/4.
Mximo de f en AB es 6 en A y B
Mnimo de f en AB es 3/4 en (3/2, 3/2)
Se sabe que f tiene mximo y mnimo absoluto en D. Luego debe ser alguno
de los puntos encontrados. Comparando, se deduce:
Mximo absoluto de f en D: 6 en los puntos A = (3, 0) y B = (0, 3),
Mnimo absoluto de f en D: -1 en el punto (1, 1). (es adems mnimo relativo)
p243 de [5]
6.7.
54
En un punto p de la interseccin, supongamos que existe el plano tangente. Si este plano no es horizontal, cortar al plano z = 0 en una recta, donde
siempre puede despejarse y en funcin de x o viceversa. Es natural que para la
curva f (x, y) = 0 ocurra lo mismo.
Veremos a continuacin un teorema que asegura que si f es suficientemente
regular, y el plano tangente no es horizontal en cierto punto p, se puede escribir
en la forma deseada.
Teorema 6.22 (Teorema de la funcin implcita ). Sea f : U ( R2 ) R de clase
C 1 en U tal que f (x0 , y0 ) = 0 con (x0 , y0 ) U y fy (x0 , y0 ) 6= 0. Entonces:
existe un rectngulo abierto I J U de centro (x0 , y0 ) y una funcin : I J de
clase C 1 tal que:
fx (x, (x))
.
fy (x, (x))
55
()
f (x, y0 + ) > 0,
x I = (x0 ; x0 + ).
Resulta entonces que, para cada x I, la funcin F (y) = f (x, y) es estric y continua en l. De () sabemos que F (y0 ) < 0 y
tamente creciente en J,
F (y0 +) > 0, de donde se deduce, por Bolzano, que para cada x I, la funcin
Es decir, para cada x I
F (y), tiene una nica raz, que llamaremos (x), en J.
F (y) = 0 y = (x) o sea para cada x I, f (x, y) = 0 y = (x).
f (x, y) = 0 y = (x).
(B)
Afirmo que tanto (A) como (B) con nulos. Efectivamente por () sabemos
que (B) es nulo. Respecto de (A), por la definicin de k tenemos (x) + k =
(x + h), por lo tanto, nuevamente por () tenemos (A) nulo. En definitiva
fx (
p).h + fy (
p).k = 0, de donde podemos despejar k y obtener
()
k = h
fx (
p)
fy (
p)
56
0 (x) =
fx (x, (x))
.
fy (x, (x))
Nos falta ver que 0 es continua. Primero observemos que es continua pues
p246 de [5]
Observacin:
2) Si la funcin dada f es de clase C k entonces se concluye fcilmente que tambin es C k . En ese caso, para hallar las derivadas sucesivas de se pueden
aplicar las reglas de derivacin, y la regla de la cadena en la formula de 0 o
usar el siguiente argumento:
Sabemos que F (x) = f (x, (x)) = 0, x I
57
,
=
xi
fy (p)
donde p = (x1 , . . . , xn , (x1 , . . . , xn )).
7.0.2.
p248 de [5]
Ejemplos:
fx (1/ 2, 1/ 2)
2(1/ 2)
=
= 1
(1/ 2) =
fy (1/ 2, 1/ 2)
2(1/ 2)
0
58
2
2
2
+ 2( 2)0 ( 2) = 0 + 0 ( 2) = 0 0 ( 2) = 1.
2
2
2
En importante observar que en la ltima ecuacin es posible despe
2. Dada la elipse
fx (x0 , y0 )
2x0 /a2
=
=
fy (x0 , y0 )
2y0 /b2
2
b
x0
.
a
y0
fx (x, y)
1
1
=
= 0
.
fy (x, y)
F 0 (y)
F ((x))
59
1.
n
o
7.1.0.
Ejemplo:
p249 de [5]
de condicionado a x + y 1 = 0.
En los puntos de x + y 1 = 0, y = 1 x. Escribimos entonces
f (x, 1 x) = x log x + (1 x) log(1 x) = z(x).
Estudiamos el crecimiento de z(x) en (0, 1). Hallamos z 0 (x) = log(x/(1 x))
de donde el signo de z 0 es 1 si x < 1 x sii x < 1/2 y positivo si x > 1/2. de
donde el mnimo (absoluto) de z(x) es f (1/2, 1/2) = log 2.
7.1.1.
Observacin:
podido despejar y = (x) de la ecuacin g(x, y) = 0, y as reducir el problema a un estudio de extremos sin condicionar de una funcin de una variable.
No siempre ser fcil, o posible, despejar en forma explcita y = (x), pero el
teorema de la funcin implcita nos permitir eludir la dificultad. Esto origina
el siguiente mtodo del multiplicador de Lagrange.
Para
tener
una
idea
geomtrica
del
resultado
que
sigue,
p250 de [5]
60
f=
a continuacin.
g
f
g
g=
Teorema 6.23 (Mtodo del mutiplicador de Lagrange). Sean f, g de clase C 1 tales que g(p) = 0, g(p) 6= 0
y f presenta en p una extremo relativo condicionado a
g = 0. Entonces R : f (p) + g(p) = 0. (
es llamado multiplicador de Lagrange)
g(p) 0 (0) = 0.
Por otro lado, si h(t) = f ((t)), por definicin h tendr un extremo relativo en
0, por lo tanto h0 (0) = 0, pero h0 (t) = f ((t)) 0 (t). Por lo tanto f ((0))
0 (0) = 0 es decir
()
f (p) 0 (0) = 0.
p251 de [5]
7.1.2.
Aplicacin:
61
fx (x0 , y0 ) + gx (x0 , y0 ) = 0,
fy (x0 , y0 ) + gx (x0 , y0 ) = 0,
g(x , y ) = 0.
0 0
Si podemos resolver el sistema anterior de tres ecuaciones en las incgnitas
x0 , y0 , tendremos los puntos (x0 , y0 ) donde puede ocurrir un extremo condicionado, (adems del multiplicador que en general no nos interesa).
La condicin anterior no es suficiente. Harn falta otros argumentos para
decidir si los candidatos (x0 , y0 ) obtenidos de las ecuaciones corresponden a
extremos.
Una forma habitual de sintetizar las ecuaciones anteriores es escribir
e imponer = 0.
Recalcamos que para que lo anterior valga, hace falta g 6= 0. Puntos con
g = 0 deben considerarse aparte.
7.1.3.
Ejemplos:
y 2 = 1.
Como f es continua y el conjunto C : {((x, y)/x2 + y 2 = 1} es compacto,
se sabe que deben existir el mximo y el mnimo absolutos (que son adems
relativos).
Buscamos entonces por el procedimiento del Teorema 23 los candidatos posibles, y comparando valores obtenemos mximo y mnimo. g = (2x, 2y) no
p252 de [5]
se anula en
(x, y, ) = xy + (x2 + y 2 1).
De donde = (y + 2x, x + 2y, x2 + y 2 1). Haciendo = (0, 0, 0),
62
y + 2x = 0,
(1)
x + 2y = 0,
(2)
x2 + y 2 1 = 0. (3)
De despejando x de (1) y sustituyendo en (2) se obtiene y(1 42 ) = 0 o y = 0
o = 1/2. Si ocurriera lo primero, entonces de (2) obtenemos x = 0, pero
y = x = 0 no verifica (3). Por lo tanto se cumple lo segundo ( = 1/2).
Si = 1/2, tenemos
x + y = 0
p1 =
p2 =
x2 + y 2 = 1
2 2
,
,
2
2
2
2
2 , 2 .
Si = 1/2, tenemos
x y = 0
x 2 + y 2 = 1
p3 =
p4 =
2
2
,
2
2 ,
2 2
,
.
2
2
Condiciones 2y 2y = 0,
(2)
(x 1)3 y 2 = 0.
(3)
63
(3)
g(x, y) = 0
figura.
2.
Ejemplo:
p254 de [5]
64
Condiciones
yz + (y + z) = 0,
(1)
xz + (x + z) = 0,
(2)
xy + (x + y) = 0,
(3)
xy + yz + xz = k.
(4)
(4)
de donde x = y = z =
yz
xz
yx
=
=
,
y+z
x+z
y+x
mostrar que es el mximo, hace falta algn argumento adicional. Una forma
de hacerlo es demostrar que el mximo debe existir, considerando la funcin
continua V = x.y.z y el conjunto compacto {(x, y, z) : x 0, y 0, z
0, xy + yz + xz = k}.
2) Ms de dos variables, ms de una condicin.
Se buscan extremos de f (x1 , . . . , xn ) condicionado a las ligaduras
g1 (x1 , . . . , xn ) = 0,
..
.
gh (x1 , . . . , xn ) = 0.
h < n,
Para hallar una condicin necesaria en este caso hace falta una generalizacin el
Teorema 6.22 de la funcin implcita que permite despejar, en el sistema anterior, n h variables en funcin de las restantes h. Esta versin (Teorema 6.29)
se ver ms adelante, pero enunciamos aqu la condicin necesaria de extremos
condicionados, que se deduce en forma similar al Teorema 6.23.
p255 de [5]
Si en p = (x10 , ..., xn0 ) hay extremo condicionado, y g1 (p), ..., gh (p) son li-
65
(1 )
Por otro lado, sustituyendo y(x), z(x) en las condiciones y derivando tenemos
(2 )
(3 )
Las ecuaciones (1 ), (2 ),y (3 ), nos dice que los gradientes f (p), g1 (p) y
g2 (p) son perpendiculares al vector (1, yx (x0 ), zx (x0 )) (no nulo), por lo tanto
pertenecern al plano perpendicular l. En el caso de que g1 (p) y g2 (p) sean
L.I., todos los vectores del plano se podrn expresar como combinacin lineal
de ellos, en particular f (p). De dicha combinacin surgen 1 y 2 .
66
7.2.1.
Ejemplo:
Hallar puntos de
x2 + y 2 + z 2 = 1,
C=
x + y + 2z = 0,
x2 + y 2 + z 2 = 1,
x + y + 2z = 0,
x=y= ,
2
es incompatible, de modo que sobre C, g1 y g2 son linealmente independiente.
Tomamos f (x, y, z) = z (altura) y = f +1 g1 +2 g2 . Imponiendo = 0,
se obtiene
21 x + 2 = 0,
(1)
21 y + 2 = 0,
(2)
1 + 21 z + 22 = 0,
(3)
x2 + y 2 + z 2 = 1,
(4)
x + y + 2z = 0
(5).
6.8. FUNCIONES DE RN EN RM
6.8.
67
Funciones de Rn en Rm
Ejemplo:
GM my
GM mz
GM mx
,
,
(x2 + y 2 + z 2 )3/2 (x2 + y 2 + z 2 )3/2 (x2 + y 2 + z 2 )3/2
t
.
1.
Continuidad
p257 de [5]
68
f = (f1 , f2 , . . . , fm )t , entonces
Demostracin. () Supongamos xk p,
f (xk ) f (p).
Como la convergencia de una sucesin en Rm equivale a la de sus coordenadas (Proposicin 6.2), fi (xk ) fi (p), i = 1, . . . , m.
Entonces fi continua en p para i = 1, . . . , m.
El recproco es anlogo.
8.1.0.
Ejemplo:
2.
Diferenciabilidad
Como se vio, una funcin con recorrido en R es diferenciable en p D si
r(v) 0
v0
(vector nulo de Rm )
fx (p)x + fy (p)y.
para n=2
6.8. FUNCIONES DE RN EN RM
df |p (v) = df |p (v)
69
(homogeneidad),
(aditividad)
v0
f (p + v) f (p) T v
= 0.
kvk
f1
(p)
x1
..
.
...
..
Jf p =
.
fm
(p) . . .
x1
f1
(p)
xn
..
.
f1
(p)
xn
Demostracin. 1) Si f es diferenciable en p,
con T lineal y
r(v)
0.
kvk v0
70
con Ti lineal y
ri (v)
0. ()
kvk v0
fi
fi
(p), . . . ,
(p) .
x1
xn
fi
(p), donde ei t es el vector coordenado
xj
i-simo (que tiene un 1 en el lugar i-simo y el resto ceros)
Para el caso particular m = n, la matriz Jf p es cuadrada. Podemos calcular su determinante det(Jf p), que se llama Jacobiano de f en p y se denota
(f1 , . . . , fn )
(p).
(x1 , . . . , xn )
p261 de [5]
6.8. FUNCIONES DE RN EN RM
71
(producto de matrices).
f (p + v) = f (p) + Jf pv + rf (v)
rf (v)
0
kvk v0
}|
{
z
g f (p + v) = g q + Jf p.v + rf (v)
= g(q) + Jg q.w + rg (w),
rg (w)
0
kwk w0
de donde
g f (p + v) = g(q) + (Jg q).(Jf p).v + Jg q.rf (v) + rg (w) .
{z
}
|
=r(v)
rf (v) rg (w)
r(v)
= Jg q
+
kvk
kvk
kvk
| {z }
0
El primer trmino tiende a 0 por ser el resto de f . Respecto al segundo, procedemos como en el Teorema 6.14, si w = 0, entonces rg (w) = 0. Si w 6= 0,
entonces, recordando que w = Jf p.v + rf (v),
rg (w)
rg (w) kJf p.v + rf (v)k
rg (w)
v
rf (v)
=
=
+
Jf p.
.
kvk
kwk
kvk
kwk
kvk
kvk
| {z }
|{z} | {z }
0
0
acotado
|
{z
}
acotado
{z
72
8.2.0.
Nota:
En ese caso, se tena f (x(u, v), y(u, v)) = g(u, v) , que puede interpretarse
como la composicin de dos funciones f (x, y) de R2 en R y h(u, v) = (x(u, v), y(u, v))
de R2 en R2 . Las ecuaciones (1) y (2) dadas all pueden reescribirse en forma
matricial:
x
g g
f f u
,
=
,
u v
x y y
u
x
v
t
v
o sea (f h) = f.Jh ;
3.
sabemos (ver Captulo 3 de [5]) que existe una funcin inversa x = f 1 (y) definida en un entorno y0 = f (x0 ). Adems, f 1 es derivable en y0 y (f 1 )0 (y0 ) =
1/f 0 (x0 ).
Generalizamos lo anterior para f de Rn en Rm , diferenciable en p. La condicin f 0 (x0 ) 6= 0 anterior equivale a pedir que f 0 (x0 ) tenga inverso o que df |x0
sea una transformacin lineal inversible.
p263 de [5]
Parece natural exigir ahora que Jf p sea una matriz n n inversible, lo que
equivale a decir que df |p es inversible. Tenemos el siguiente:
Teorema 6.28 (de la funcin inversa ). f : D( Rn ) Rn de clase C k , p interior
a D, Jf p inversible. Entonces existen abiertos U, V tales que p U, V = f (U ), f es
inyectiva en U y su inversa f 1 : V U , (f f 1 = idV , f 1 f = idU ) es de
clase C k . Adems,
Jf (p) f 1 = (Jf p)1 .
Demostracin. No probaremos este teorema, ya que la demostracin supera los
6.8. FUNCIONES DE RN EN RM
73
Ejemplo:
Jf (x, y) =
ex cos y
ex sen y
ex sen y
ex cos y
J(0,0) f =
10
.
01
f1 (x1 , . . . , xn , y1 , . . . , ym ) = 0,
..
.
fm (x1 , . . . , xn , y1 , . . . , ym ) = 0,
m ecuaciones en las n + m variables x1 , . . . , xn , y1 , . . . , ym .
Por comodidad, sea X = (x1 , . . . , xn )t , Y = (y1 , . . . , ym )t , f = (f1 , . . . , fm )t ,
p264 de [5]
74
tenemos F (X t , Y t ) = 0.
p265 de [5]
Observacin 6.8.1. A partir de ahora dejaremos a cargo del lector el uso de la transposicin, ya que la notacin recarga mucho la escritura. As, por ejemplo en el caso
anterior, escribiremos F (X, Y ) = 0, en lugar de F (X t , Y t ) = 0.
f1
x1
..
.
donde Jf p =
fm
x1
...
..
...
X
= J1 X + J2 Y,
Y
f1
xn
..
.
f1
y1
..
.
fm
xn
fm
y1
...
..
...
f1
ym
..
.
fm
ym
6.8. FUNCIONES DE RN EN RM
75
f1
y1
..
.
det
fm
y1
...
..
...
f1
ym
..
.
fm
ym
6= 0
Entonces, existen W1 Rn , W2 Rm , abiertos que contienen a X0 y Y0 respectivamente, y : W1 W2 de clase C k tal que (X, Y ) W1 W2
f (X, Y ) = 0 Y = (X).
J1 J2
Representamos la situacin en el siguiente diagrama donde hemos identificado (X, Y ), F (X, Y ) con puntos de R2 , para poder tener una idea grfica.
p267 de [5]
76
Z
U
Y0
F 1
X
X0
p268 de [5]
V
p
X0
o tambin
Z = f (X, Y ) Y = g(X, Z).
Tomando Z = 0, y definiendo (X) = g(X, 0), se tiene para (X, Y ) W1
W2 , f (X, Y ) = 0 sii Y = (X).
8.3.3.
Notas:
- De imponer f (X, (X)) 0, puede deducirse por diferenciacin, frmulas para las derivadas de .
- Como aplicacin del teorema anterior puede deducirse, en forma similar
el Teorema 6.23, el mtodo de multiplicadores de Lagrange para extremos con
varias ligaduras.
p269 de [5]
Captulo 7
INTEGRALES MLTIPLES
7.1.
f (x, y) dy,
c
en las que la funcin f (x, y) se integra respecto de una variable y la otra variable permanece constante, comportndose como un parmetro. Los extremos
de integracin pueden depender tambin del parmetro, en este caso x.
1.
Continuidad
Sea en primera instancia f (x, y) definida en el rectngulo [a, b] [c, d].
Rd
c
f (x, y) dy es con-
78
.
dc
dc
Rd
|F (x + h, y) F (x, y)| < c dc dy = .
Permitiremos ahora que los extremos de integracin dependan del parmetro, es decir c = c(x), d = d(x).
Por simplicidad, supondremos f defenida en un rectngulo [a, b][c, d], con
c(x), d(x) [a, b] x.
Lema 7.2. f continua en [a, b] [c, d]. Para x [a, b], u, v [c, d], definimos
Z
(u, v, x) =
f (x, y) dy
u
f (x, y) dy .
f (x, y) dy
{z
} |c
{z
}
(v,x)
(u,x)
(II)
Por el teorema del valor medio para integrales (I) = f (x0 + k, v0 + h)h para
p271 de [5]
79
cierto (0; 1). Como f es acotada en [a, b] [c, d] por ser continua, entonces
(I) tiende a cero si h 0. Por otro lado, por el Teorema 7.1, (II) es continua
como funcin de k, por lo tanto (k) (0) = 0 cuando k 0.
Teorema 7.3. Si f es continua en [a, b][c, d] y c(x), d(x) : [a, b] [c, d] continuas.
Entonces,
d(x)
Z
F (x) =
f (x, y) dy
c(x)
1.1.1.
Ejemplos
1
1
y x+1
1) 0 y dy =
=
para x > 1.
x + 1 0
x+1
Rx
xx+1
2) Para x 0, 0 y x dy =
.
x+1
R 1 xy
3) F (x) = 0 e dy = (ex 1)/x si x 6= 0 y 1 si x = 0. Est claro que F es
R1
continua en 0.
p272 de [5]
2.
Derivadas
Estudiaremos ahora la existencia de derivadas respecto del parmetro x.
fx (x, y) dy.
c
80
Demostracin.
1
[F (x + h) F (x)] =
h
f (x + h, y) f (x, y)
dy =
h
fx (x+h, y) dy
0 < < 1,
h
c
|c
{z
}
(I)
Rd
c
fx (x, y) dy.
c
El teorema anterior nos dice que puede cambiarse el orden de la derivacin respecto de x y de la integracin respecto de y, siempre que fx (x, y) sea
continua.
p273 de [5]
1.2.0.
Ejemplo:
3) F (x) =
R1
0
y sen(xy) dy F 0 (x) =
R1
0
y 2 cos(xy) dy.
d(x)
F (x) =
con como en el Lema 7.2. Para derivar F (x), se utilizar la regla de la cadena.
Teorema 7.5. f , fx continuas en [a, b] [c, d], c(x), d(x) derivables en (a, b), con
valores en [c, d]. Entonces
Z
d(x)
F (x) =
f (x, y) dy
c(x)
81
d(x)
F (x) =
c(x)
Rv
f (x, y) dy.
x (u, v, x) =
fx (x, y) dy
u
continua por Lema 7.2. Entonces tiene derivadas parciales continuas y podemos aplicar la regla de la cadena para obtener
F 0 (x) = u (c(x), d(x), x).c0 (x) + v (c(x), d(x), ).d0 (x) + x (c(x), d(x), x).
1.2.1.
3.
Ejemplo:
4) F (x) =
Rx
0
sen(xy) dy F 0 (x) =
Rx
0
y cos(xy) dy+sen x2 .
Integrales Iteradas
Sea f continua en [a, b] [c, d].
Rd
Como F (x) = c f (x, y) dy es continua en [a, b], podemos calcular la inte-
gral
Z
Z
F (x) dx =
Z
dx
f (x, y) dy,
c
p274 de [5]
82
otro orden
Z
Z
dy
f (x, y) dx.
d(x)
f (x, y) dy.
dx
c(x)
b(y)
dy
f (x, y) dx.
1.3.0.
p275 de [5]
a(y)
Ejemplo:
y 1, y x 1}.
Sea f (x, y) = y. Calculemos las integrales iteradas
Z
Z
dx
Z
dy
dx
Z
dy y(1 y) =
y dx =
y
Z
y dy =
y2
2
x
x2
1
dx = .
2
6
y2
y3
2
3
=
0
y y 2 dy =
1
=
0
1 1
1
= .
2 3
6
En el ejemplo, las dos integrales iteradas obtenidas a partir del mismo dominio
D coincidieron (con el volumen de una pirmide de base 1/2 y altura 1).
Estamos entonces ante un nmero que depende exclusivamente de la funcin f (x, y) y del dominio D. Esto nos lleva a pensar en una construccin ms
simtrica, en que las variables x e y jueguen un papel equivalente entre si.
83
7.2.
Nos proponemos a continuacin, una extensin ms completa de la integracin a funciones de dos variables.
Para funciones de una variable, la idea consista en considerar sumas de
P
la forma
f (
xi )xi , donde x
i era un punto del intervalo [xi , xi+1 ] y xi su
longitud.
En funciones de dos variables, consideraremos en forma anloga sumas
P
f (
xi , yi ) A(Ri ), donde (
xi , yi ) es un punto de la regin Ri y A(Ri ) su rea.
En el Captulo 4 de [5], se d una definicin de rea para conjuntos parti-
En la primer figura, A+
0 (S) = 9 y A0 (S) = 1.
84
i i+1
j j+1
,
,
2n 2n
2n 2n
X
n S6=
i,jRi,j
1
,
22n
A
n (S) =
X
n S
i,j/Ri,j
1
.
22n
2n
n
2n
n
{(i, j) : Ri,j
S}.
{(i, j) : Ri,j
S 6= } y A
Est claro que A+
n (S) = 2
n (S) = 2
Proposicin 7.6. Se cumple:
+
1) A
n (S) An (S).
+
+
2) Si S T , A
n (S) An (T ); An (S) An (T ).
3) A
n (S) % esto es An (S) An (S) n 0.
+
+
4) A+
n (S) & esto es An (S) An (S) n 0.
85
tanto, A
n no puede decrecer.
n
Para 4), si un cuadrado Ri,j
no corta a S, tampoco lo hacen los cuadrados re-
A (S) = lm A
n (S)
p278 de [5]
A+ (S) = lm A+
n (S).
Observacin:
2.0.2.
Ejemplo:
a<
,
n
2
2n
+1
b<
,
n
2
2n
+1
c<
,
n
2
2n
+1
d< n .
n
2
2
Entonces,
( 1) ( 1)
=
ba
2n
2n
( + 1) ( + 1)
+
An (s) =
ba+
2n
2n
A
n (s)
2
dc
2n
2
dc+
2n
2
,
2n
2
.
2n
p279 de [5]
86
2) A
n (S T ) A(S) + A(T )
n
n
Los Ri,j
contenidos en S o en T , estn contenidos en S T . Adems, un Ri,j
Lema 7.8. Sea S R2 acotado, tal que > 0, existen R , T medibles Jordan con
R S T , A(T ) A(R ) < . Entonces, S es medible Jordan.
87
+
+
+
A
n (R ) An (S) A (S) An (T ) An (S) An (S) An (T ) An (T ).
0 A+
n (S) An (S) < .
Z
A(S) =
f (x) dx
a
p281 de [5]
Demostracin. Dado > 0, considero una particin P = {x0 , . . . , xn } del intervalo [a, b] tal que S(f, P ) s(f, P ) < .
s(f, P ) =
m1
X
mi xi
S(f, P ) =
i=0
m1
X
Mi xi .
i=0
Sea R = m1
i=0 [xi , xi1 ] [0, mi ],
m1
T = i=0
[xi , xi1 ] [0, Mi ].
Aplicando el Teorema 7.7 y el Ejemplo 7.2, tanto R como T , que son uniones de rectngulos, son medibles Jordan y sus reas valen
A(R ) = s(f, P ),
A(T ) = S(f, P ).
Estamos por tanto en las hiptesis del Lema 7.8 y por lo tanto S es medible
88
Como
Z
s(f, P )
a
Z b
f (x) dx < .
f (x) dx S(f, P ) A(S)
a
p282 de [5]
Nuestra nueva nocin de rea coincide entonces con la dada anteriormente para conjuntos como en el teorema anterior, pero permite, adems, incluir
muchos ms conjuntos.
Una caracterizacin til es que un conjunto es medible segn Jordan si y solo si
A(S) = 0, siendo S la frontera de S. Esto resulta de probar que
+
A+
n (S) An (S) An (S) 9 An (S) An (S) ,
cosa que no veremos aqu (ver [1]).
La caracterizacin anterior permite probar que una regin cuya frontera es la
unin de un conjunto finito de curvas y = f (x) o x = f (y), es medible Jordan.
Adems, se prueba que si S y T son medibles Jordan, tambin lo son S T ,
S T, S \ T.
Por lo tanto, la clase de conjuntos medibles Jordan es lo suficientemente
amplia para incluir la mayor parte de los conjuntos habituales del plano. Por
un estudio ms completo, ver [1]. Se puede mejorar la teora de conjuntos medibles Jordan considerando los conjuntos medibles Lebesgue. Si bien dicha teora excede los lmites del presente curso, es interesante notar que los conjuntos
medibles Lebesgue son aproximables tanto como se quiera por conjuntos medibles Jordan.
89
observar que n, A+
n (S) = 1, An (S) = 0. Observar que S = [0, 1] [0, 1] no
tiene rea 0.
Otro ejemplo no trivial es el siguiente: Considere una sucesin an de trmiP
nos positivos cuya suma an sea menor que 1. Luego considere la sucesin de
puntos con coordenadas racionales qn [0, 1]2 incluidos en [0, 1]2 . El conjunto
(B(qn ; an ) [0, 1]2 ) no es medible Jordan, es medible Lebesgue, y su medida
es positiva.
7.3.
Integrales Dobles
Ejemplo: 8):
d(S) =
p
(c a)2 + (d b)2
90
|P | = max d(Si ).
i=1,...,n
s(f, P ) =
n1
X
mi A(Si ),
S(f, P ) =
i=0
n1
X
Mi A(Si ).
i=0
con mi = nf (x,y)Si f (x, y), Mi = sup(x,y)Si f (x) les llamamos sumas inferior y
superior, respectivamente de f respecto a la particin P.
Proposicin 7.10. a) Si Q es un refinamiento de P , entonces s(f, P ) s(f, Q) y
S(f, P ) S(f, Q).
b) s(f, P ) S(f, Q) para cualesquiera particiones P , Q.
Demostracin. La prueba es muy similar a la utilizada en la Proposicin 1 del
Captulo 4 de [5], las ligeras modificaciones se deben a que aqu le llamaremos
elemento de la particin Di a un conjunto, mientras que en una variable utilizbamos los extremos de los intervalos. Esta distincin no es para nada esencial
y no afectar los resultados. Veamos los detalles.
91
(a)
De b) deducimos que
sup s(f, P ) nf S(f, P ).
P
La integral doble podr definirse en el caso de igualdad. Para funciones continuas en dominios compactos, el siguiente lema (anlogo al Lema 3, captulo 4
de [5]) permite hacerlo.
Lema 7.11. f continua en D compacto. Dado > 0, > 0, /|P | < implica
p285 de [5]
92
.
A(D)
S(f, P ) s(f, P ) =
n
X
(Mi mi )A(Di ) <
i=1
A(D)
X
A(Di ) = .
A(D) i=1
p286 de [5]
ZZ
f (x, y) dx dy
1.
I=
f.
D
Interpretacin Geomtrica
Si f (x, y) 0 representa una superficie en el espacio, las sumas superiores
93
n
X
f (
xi , yi )A(Di ),
i=1
p287 de [5]
ZZ
SR(f, Pm , Xm )
m
f (x, y) dx dy.
D
94
2.
ZZ
ZZ
f + g =
f +
g.
ZZ
ZZ
f=
CC 0
p288 de [5]
3) f 0 en D
RR
f+
C
f.
C0
f 0.
RR
f D g.
D
RR
4) f g en D
RR RR
5) D f D |f |.
Las demostraciones se deducen del Corolario 7.14 en forma similar al captulo 4 de [5] y quedan como ejercicio. Para 2), observar que si D y D0 no se
solapan, se obtiene una particin de D D0 uniendo particiones de D y D0 .
La integral doble introducida hasta aqu es una extensin bastante natural
de la realizada en la Seccin 4.1 de [5].
Una vez ms, es posible definir la integral doble para funciones ms generales que las continuas, llamando integrables a aquellas funciones tales que
Se puede ver, por ejemplo, que son integrables las funciones acotadas cuyos
puntos de discontinuidad formen un conjunto de rea nula. Se puede demostrar
que las funciones integrables son exactamente aquellas funciones acotadas tales que
para cualquier > 0 sus puntos de discontinuidad se pueden cubrir con una cantidad
numerable de conjuntos cuyas reas forman una serie con suma menor que .
95
Un caso particular es
S (x, y) =
1, (x, y) S,
0, (x, y) 6 S,
RR
D S.
Los puntos de discontinuidad de S son los puntos de S y forman un
conjunto de rea nula.
Nos limitaremos en lo que sigue a funciones continuas. Por una teora ms
general de las funciones integrables ver [3]. Para continuar, precisamos mtodos prcticos que nos permitan calcular integrales dobles sin tener que recurrir
p289 de [5]
a lmites de sumas.
En integrales simples, ese papel lo jugaba el clculo de primitivas.
Aqu, veremos que es posible reducir el problema de clculo a integrales
iteradas, introducidas en la Seccin 7.1, que son de hecho integrales simples.
En efecto, la integral doble en un determinado dominio D = {(x, y)/a
Rb
R d(x)
x b, c(x) y d(x)}, es igual a la integral iterada a dx c(x) f (x, y) dy, si f
es continua. Esto, se ver a continuacin.
Teorema 7.15 (Fubini). f continua en D = [a, b] [c, d] = D. Entonces,
ZZ
(1)
f (x, y) dx dy =
D
Z
dx
Z
f (x, y) dy =
Z
dy
f (x, y) dx.
a
96
s(f, P )
n1
X n1
X
mij xi yj =
n1
X
i=0 j=0
xi
i=0
n1
X
mij yj
j=0
donde mij = mn{f (x, y) : x [xi , xi+1 ], y [yj , yj+1 ]}, xi = xi+1 xi y
yj = yj+1 yj .
Observemos que si x0 [xi , xi+1 ] y g(y) = f (x0 , y) entonces
mij mn{g(y) : y [yj , yj+1 ]}
de donde, si (x) =
Rd
c
j=0
mij yj
j=0
p291 de [5]
s(f, P )
n1
X
xi
i=0
mn
(x).
x[xi ,xi+1 ]
mn
x[xi ,xi+1 ]
(x) = s(, P1 ).
(n)
de [a, b] y P2
de [c, d]
(n)
(n)
(n)
Z
f (x, y) dx dy =
(x) dx.
c
97
Z
f (x, y) dx dy =
dx
a
d(x)
f (x, y) dy.
c(x)
d(x)
c(x)
a
de hacerse, por ejemplo, aproximando la regin D por una unin finita de rectngulos, aplicando el teorema anterior a cada uno y acotando la diferencia con
la integral en D.
Si D puede adems ponerse en la forma
D = {(x, y)/c y d, a(y) x b(y)}.
f (x, y) dx dy =
c
3.2.0.
Ejemplo:
b(x)
dx
f (x, y) dx.
a(x)
RR
D
f (x, y) dx dy = 1/6,
Ejemplo:
ZZ
Z
cos(x + y) dx dy =
Z
dx
Z
cos(x + y) dy dx =
dx sen(x + y)|0 =
p292 de [5]
98
(sen( + x) sen x) dx =
=
0
p293 de [5]
7.4.
A la herramienta bsica de clculo de integrales doble (reduccin a integrales iteradas) agregamos ahora el cambio de variables, que permite pasar de una
integral doble a otra ms conveniente.
RR
Si queremos calcular D f (x, y) dx dy, un cambio de variable es una funcin (x, y) = g(u, v), g : U V , tal que V contiene al dominio de integracin.
Exigiremos adems que g sea biyectiva y cumpla condiciones tcnicas.
Definicin 37. U , V , abiertos en el plano, g : U V es un cambio de variable
(difeomorfismo) de U a V sii g es biyectiva, diferenciable y det Jg a 6= 0, a U .
Donde Jg a es la jacobiana de g en a.
Del Teorema de la Funcin Inversa (Cap. 6, Teorema 6.28) deducimos que
existe una funcin inversa g 1 : V U , que es tambin diferenciable y de
Jacobiano no nulo.
p294 de [5]
v
v2
g
R
v1
M
u1
P0
N
u2 u
Q0
g(R)
N0
M0
99
de donde
A(g(R)) = |(u, u) (u, v)| = |( )|uv = | det T |uv.
siendo u = u2 u1 , v = v2 v1 .
En resumen, A(g(R)) = | det T |A(R), es decir que las reas en un cambio
lineal se transforman multiplicando por el valor absoluto del determinante de
T , siendo T la matriz de la transformacin lineal (lo anterior lo muestra para
rectngulos, pero por aditividad y paso al lmite se extiende en forma sencilla para todo
R medible Jordan).
RR
Para calcular D f (x, y) dx dy, consideramos una particin
P = {D1 , . . . , Dn } de D y formamos una suma de Riemann
X
f (
xi , yi )A(Di ) =
f (g(
ui , vi ))| det T |A(g 1 (Di ))
donde (
ui , vi ) = g 1 (
xi , x
i ).
g 1 (P ) = {g 1 (Di ), Di P } es una particin de g 1 (D), como surge de
la continuidad de g, g 1 . Por lo tanto, el segundo miembro es una suma de
p295 de [5]
100
ZZ
f (g(u, v))| det T |du dv
f (x, y) dx dy =
g 1 (D)
f (
xi , yi )A(Di )
f (g(
xi , yi ))| det(Jg (
ui , vi ))|A(g 1 (Di )).
ZZ
f (x, y) dx dy =
101
ZZ
f (x, y) dx dy =
(x, y)
du dv,
f (g(u, v))
(u, v)
g 1 (D)
frmula que sugiere que los dudv se van con los (u, v) del jacobiano para
dejarnos los dxdy.
Ejemplos: 11) D = {(x, y) : x 0, y 0, x + y 1}
RR
Calculamos D exp (x y)/(x + y) dx dy.
4.0.2.
ZZ
exp
xy
x+y
ZZ
u
1
1
exp
du dv =
2
v
2
dx dy =
g 1(D)
1
2
dv[veu/v ]vv
1
=
2
(e e1 )v dv =
dv
0
p297 de [5]
v
u/v
du =
1
1
(e e1 ) = senh 1.
4
2
Ejemplo:
(x2 + y 2 ) dx dy
102
ZZ
(x + y ) dx dy =
(2 ) d d
g 1
(x2 + y 2 ) dx dy =
Z
d
2 d =
Z
d
4
= 2
4
34
24
4
4
.
y
S
7.5.
La extensin de lo anterior para funciones de ms de dos variables es totalmente directa y no ofrece nuevas dificultades. Nos limitaremos a enunciar en
forma resumida los resultados y a resolver algunos ejemplos.
El primer paso es definir la nocin de medida de Jordan (o volumen) en
el espacio n-dimensional. Para ello se consideran los cubos de dimensin n,
determinados por los puntos de coordenadas mltiplo de 1/2k . Un tal n-cubo
103
es de la forma
Rik1 ,...,in
i1 i1 + 1
i2 i2 + 1
in in + 1
= k,
k,
... k,
2
2k
2
2k
2
2k
con i1 , i2 , . . . , in enteros.
Dado S Rn , se considera
Vk+ (S)
1 ,...,in
S6=
1
2n
k
volmen de los n-cubos que cortan a S y Vk (S), volumen de los n-cubos que
estn contenidos en S.
Una vez ms, S ser medible Jordan sii
lm Vk (S) = lm Vk+ (S) = V (S)
k
s(f, P ) =
n
X
S(f, P ) =
nf f (x).V (Di ),
xDi
i=1
n
X
i=1 xDi
SR(f, P, XP ) =
n
X
i=1
f (
xi )V (Di ), con XP = {
x1 , . . . , x
n } tal que x
i Di .
104
ZZ
f
La herramienta bsica de clculo aqu tambin es la reduccin a integrales iteradas. Si D = [a1 , b1 ] [a2 , b2 ] . . . [an , bn ], se obtiene para f continua
ZZ
b1
a1
b2
dx1
bn
dx2 . . .
a2
f (x1 , x2 , . . . , xn ) dxn .
an
p300 de [5]
z = 1 (x, y)
y
a
b
2 (x)
1 (x)
x
Se tiene:
ZZ
Z
f (x, y, z) dx dy dz =
2 (x)
dx
a
2 (x,y)
dy
1 (x)
f (x, y, z) dz
1 (x,y)
105
funcin de x, y, etc.
5.0.4.
RRR
13) Calcular
Ejemplo:
x y 2 z 3 dx dy dz, siendo
D = {(x, y, z) R3 / 0 x 1, 0 y x, 0 z xy}
z
(1, 1, 1)
y
(1, 0, 0)
(1, 1, 0)
y=x
x
p301 de [5]
Se tiene:
ZZZ
Z
Z
x y z dx dy dz =
0
1 Z
xy
0
2x
4 4
xy
x y z dx dy dx =
2
y
dy
4
Z
dx =
0
x5 x7
1
dx =
.
4 7
364
Z
...
D
ZZ
f (x1 , . . . , xn ) dx1 . . . dxn =
Z
...
(x1 , . . . , xn )
du1 . . . dun .
f (g(x1 , . . . , xn ))
(u1 , . . . , un )
g 1 (D)
106
5.0.5.
Z
I=
Z
d
Z
d
/2
cos sen d =
| {z } | {z }
z
Z
d
r
3
/2
d
0
sen cos d = (2)
| det Jg |
7.6.
1) reas En el Capitulo 4 de [5], se calcularon reas para regiones particulares por medio de integrales simples.
Para S medible Jordan cualquiera,
ZZ
A(S) =
1 dx dy
S
r4
4
1
.
2
107
Ejemplo:
ZZ
Z
1 dx dy =
Z
d
d = (2)
r2
= r2 .
2
RR
E
1 dx dy.
ZZ
A(E) =
ab du dv = a.b..
u2 +v 2 1
1 dx dy dz.
S
f (x, y) dx dy
D
6.0.7.
Ejemplos:
(S). En
Z
1 dx dy dz =
0
Z
d
Z
2 sen d =
0
Z
d
Z
sen d
= 2.2.
2 d
R3
4
= R3 .
3
3
108
Ejercicio:
Z
d
6.0.8.
1 dx dy dz =
f (z)
dz
a
r dr = 2
0
f 2 (z)
dz.
2
V (S ) = 2
rf (r) dr.
a
3) Masa de un cuerpo
En Fsica, se asocia una magnitud llamada masa (m) a un porcin de materia que ocupa una regin S del espacio. Se denomina densidad media () de la
sustancia al cociente entre la masa y el volumen V (S). (m = V )
Esta densidad media es suficiente en la medida en que la sustancia sea homognea, es decir que los volmenes iguales tengan la misma masa.
Una situacin mas general es considerar un particin {S1 , . . . , Sn } de S,
donde cada Si tiene asociada una densidad i y la masa total se calcula como
p306 de [5]
m=
n
X
i V (Si ).
i=a
(x, y, z) dx dy dz.
Por lo tanto, cualquier integral triple puede considerarse como una masa, en la
que la funcin integrando se toma como la densidad (x, y, z) (Sin embargo, es
109
()
(x0 , y0 , z0 ) =
m(S)
,
d(S)0 V (S)
lm
donde S son regiones del espacio que contienen (x0 , y0 , z0 ) y cuyo dimetro
d(S) tiende a 0.
En efecto,
m(S)
1
mn (x, y, z)
=
V (S)
V (S)
(x,y,z)S
ZZZ
(x, y, z) dx dy dz =
max
(x, y, z)
(x,y,z)S
S
G=
m1
m2
P1 +
P2 .
m1 + m2
m1 + m2
mi Pi
.
mi
p307 de [5]
110
P
mi yi
yG = P
,
mi
P
mi zi
zG = P
.
mi
Para el caso de una masa distribuida en una regin S del espacio, con densidad
(x, y, z), es natural definir G como el punto G = (xG , yG , zG ), con
RRR
x (x, y, z) dx dy dz
xG = RRRS
,
(x, y, z) dx dy dz
S
RRR
y (x, y, z) dx dy dz
yG = RRRS
,
(x, y, z) dx dy dz
S
RRR
z (x, y, z) dx dy dz
zG = RRRS
.
(x, y, z) dx dy dz
S
Ejemplo:
p308 de [5]
homognea:
S = {(x, y, z)/z 0, x2 + y 2 + z 2 r2 }
4
4r
2 4
3r
3
r.
8
111
IOx =
mi (yi2 + zi2 ),
IOy =
mi (x2i + zi2 ),
IOz =
mi (yi2 + x2i ).
Para el caso de una masa distribuida en una regin S del espacio, con den-
p309 de [5]
IOx =
S
ZZZ
IOy =
Z Z ZS
IOz =
6.0.10.
Ejemplo:
(x2 y 2 ) dx dy dz = 0
Z
d
Z
dz
(r2 )rdr = 0 2h
0 hR4
R4
=
4
2
I=
M R2
.
2
p310 de [5]
7.7.
112
en que D no sea compacto. Esto incluye dos casos particulares importantes: (a)
el de dominios que no son acotados, como por ejemplo D = {(x, y)/x 0, y
0} y (b) el de puntos de discontinuidad infinita, en que la funcin es continua
en todo un compacto salvo en un punto, como por ejemplo D = {(x, y)/x2 +
y 2 1} \ {(0, 0)}.
Ambos corresponden a las integrales de 1era. y 2da. especie, ya encontradas
en el caso de una variable.
La idea es aqu, como en una variable, integrar sobre dominios compactos
Dn que crezcan a Dn cuando n +. Sin embargo, no aparece aqu, como
en el caso de una variable, una forma natural de elegir los Dn . Por ejemplo,
en el caso en que D sea primer cuadrante, podemos tomar D= [0, n] [0, n] o
Dn0 = {(x, y)/x, y 0, x2 + y 2 n2 .
No parece haber motivos para preferir una u otra eleccin o incluso otras
imaginables. Sin embargo, como veremos a continuacin, la eleccin puede no
ser indiferente.
7.0.11.
Ejemplo:
p311 de [5]
ZZ
sen(x2 + y 2 ) dx dy.
Z
dx
RR
Dn
Z
Z
sen u2 du
Rn
0
sen u2 du y
Rn
0
cos u2 du .
+
2
sen u du
0
cos u2 du.
RR
0
Dn
sen(x2 +
113
/2
n
. cos 2 0 = (1 cos n2 ).
2
4
sen 2 d =
d
0
Pero In0 no posee lmite. Por lo tanto, para definir una integral impropia en el
caso de varias variables seremos algo ms exigentes que en una variable.
p312 de [5]
Definicin 38. Sea f : D( Rk ) R, continua; D tal que existe una sucesin (Dn )
de conjuntos compactos tales que Dn Dn+1 , D = n Dn y todo conjunto compacto
de D est contenido en algn Dn .
Decimos que
ZZ
Z
...
Z
...
Dn
RR
...
R
Dn
p313 de [5]
114
In0 =
RR
...
0
Dn
f.
Sea m fijo. Como Dn0 es compacto, existe (Def. 38) un primer n = n(m) tal
0
0
que Dn0 D, entonces Im
In I. Por lo tanto Im
Im y como In0 es
0
creciente, se deduce que Im
I 0 I. Cambiando los papeles de Dn y Dn0 ,
7.0.12.
Ejemplo:
+y 2 )
(x2 +y 2 )
Z
dx dy =
Dn
"
ZZ
e(x
e
d = 2
2
+y 2 )
#n
2
= (1en )
n+
dx dy .
R2
Si ahora tomo Dn0 = [n, n] [n, n], el Teorema 7.17 nos dice que
p314 de [5]
ZZ
e(x
lm
n
+y 2 )
dx dy = .
0
Dn
Pero
ZZ
e
(x2 +y 2 )
Z
dx dy =
Rn
n
dx
n
0
Dn
Como
x2 y 2
dy =
x2
Z
dx
2
Z
2
ex dx =
ex dx =
y2
Z
dy =
e
n
x2
2
dx
115
Ejemplo:
ZZ
1
p
Tomamos Dn = {(x, y) :
ZZ
Dn
x2 + y 2
+ y2
dx dy.
x2 + y 2 1};
Z
1
p
1
n
x2
dx dy =
d
0
1/n
1
d
2
n
p315 de [5]
1
1
d.
1
p
7.0.14.
x2 + y 2
Ejercicio:
ZZ
1
p
x2
+ y2
RR
...
R
D
f converge sii
RR
...
R
D
|f |
converge.
Omitimos la demostracin, que puede verse en [3].
En el caso de una variable, la integral impropia podr converger pero no
hacerlo absolutamente. Aqu, sin embargo, la convergencia equivale a la convergencia absoluta.
116
p316 de [5]
gencia. Al exigir que el lmite sea el mismo para cualquier eleccin de los Dn0 ,
permitimos que las integrales de las partes positivas y negativas de f sean sumadas en cualquier orden y, aparece aqu un efecto similar al que apareca en
la reordenacin de series, que no alteraba la suma, solo en el caso de convergencia absoluta.
Los dos teoremas nos dan entonces el procedimiento para estudiar las integrales impropias con signo cualquiera:
En 1er lugar, estudiar la convergencia de
RR
...
R
D
cesin particular Dn .
En el caso de convergencia, si se quiere hallar la integral, hacer lmn
para esa sucesin Dn o cualquier otra.
RR
...
R
Dn
Bibliografa
[1] Courant, R. y John, F. Introduccin al Clculo y al Anlisis Matemtico. Vol. 1
7a edicin, Limusa. 1988
[2] Do Carmo, M. Differential Geometry of Curves and Surfaces. Prentice-Hall.
[3] Kudriavtsev, L.D. Curso de Anlisis Matemtico. Mir. 1994
[4] Lages Lima, E. Curso de Analise. Projeto Euclides. 1991
[5] F. Pagannini, Anlisis Matemtico 1. 1991-1992. Oficina de Publicaciones del
Centro de Estudiantes de Ingeniera.
[6] Rudin, W. Principios de Anlisis Matemtico. McGraw-Hill. 1967.
117
118
BIBLIOGRAFA
ndice de Smbolos
kxk , 8
d(x, y), 8
A , 10
[p, p + v], 44
(f1 ,...,fn )
(x1 ,...,xn ) (p),
f
~
V
f
~
V
73
, 25
df , 33
(x1 , . . . , xn ), 26
df |p , 72
f
xi (x1 , . . . , xn ),
26
f
(x, y), 24
x
10
A,
RR
, 96
D
E(p; r), 9
f (p), 29
fx (x, y), 24
A, 10
A0 , 12
ei , 73
f 00 (p), 48
Jf p, 72
n
Ri,j
, 88
A(S), 89
A+ (S), 89
S(f, P ), 95
A+
n (S), 88
s(f, P ), 95
A (S), 89
A
n (S), 88
Ac , 9
Aext , 10
B(p; r), 9
B (p; r), 9
Bp , 9
Bp (r), 9
Cik , 41
xk , 13
xk i , 13
NDICE DE NOMBRES
119
ndice de Nombres
n-cubo, 107
rea, 87, 89
espacios mtricos, 11
derivada, 71
direccional, 25
parcial, 24
desigualdad
triangular, 8
bola
abierta, 9
dimetro, 94
reducida, 9
difeomorfismo, 102
Bolzano-Weierstrass, 17
cambio de variable, 102
centro, 9
clausura, 10
coeficiente binomial, 41
complemento, 9
completo, 18
conjunto
abierto, 10
acotado, 12
diferenciabilidad
Condicin suficiente de, 30
diferencial, 33, 71
de orden k, 41
distancia, 8
dominio, 18
entorno
abierto, 9
reducido, 9
extremo, 54
cerrado, 12
absoluto, 45
compacto, 13
relativo, 45
medible Lebesgue, 93
continua, 19
uniformemente, 22
cubos de dimensin n, 107
curva, 34
curvas de nivel, 36
de la funcin inversa, 75
Extremo Relativo
Condicin Necesaria de, 46
forma cuadrtica, 48
definida
negativa, 48
positiva, 48
indefinida, 48
120
BIBLIOGRAFA
semidefinida
negativa, 48
mximo
absoluto, 45, 54
positiva, 48
funcin
condicionado, 61
relativo, 45
continua
en un punto, 19, 70
de clase C k , 41, 73
condicionado, 61
mnimo
absoluto, 54
de clase C , 41
diferenciable, 27
condicionado, 61
relativo, 45
en un punto, 71
condicionado, 61
holomorfa, 24
mapas de relieve, 36
integrable, 99
matriz
funciones coordenadas, 69
integral doble, 96
integral impropia convergente, 118
isotermas, 37
Jacobiana
matriz, 72
Jacobiano, 73
k-veces diferenciable, 42
Hessiana, 48
matriz Jacobiana, 72
medible segn Jordan, 89
medida de Jordan, 89
norma, 8
paraboloide hiperblico, 46
particin, 94
norma de una, 94
punto
lmite, 18
crtico, 46
de f en p, 18
de acumulacin, 12
de una sucesin, 14
exterior, 10
Lagrange
Mtodo del mutiplicador de, 62
frontera, 10
interior, 10
multiplicador de, 62
punto de silla, 50
multiplicadores de, 67
punto silla, 52
NDICE DE NOMBRES
radio, 9
refinamiento, 94
Regla de la cadena, 34
resto, 27, 72
resto de Lagrange, 42
silla de montar, 46
solapar, 90
subsucesin, 15
sucesin, 13
convergente, 14
de Cauchy, 18
parcial, 15
suma
de Riemann, 97
inferior, 95
superior, 95
Teorema
de Cantor, 23
de la funcin implcita, 56, 76,
77
tiende a, 18
vector
gradiente, 29
coordenado i-simo, 73
versor, 51
Weierstrass, 23
121