Professional Documents
Culture Documents
El espacio eucldeo
34.1.
Ejercicio 222 Para los nmeros x1 , x2 , ..., xn , y1 , y2 , ..., yn y z1 , z2 , ..., zn , probar que
!4 n
! n
!2 n
!
n
X
X
X
X
4
2
4
xi yi zi
xi
yi
zi
i=1
i=1
i=1
i=1
x2i zi2
x4i
zi4 es decir,
x4i
zi4
(xi zi )2
Por tanto,
xi yi zi
x4i
1/2 X 1/2 X
zi4
yi2
Sea d(v, w) el nmero de lugares en los que v y w son diferentes. Por ejemplo,
si v = 01100011 y w = 00110101, entonces d(v, w) = 4, porque v y w difieren
en los bits segundo, cuarto, sexto y sptimo. Demostrar que d es una mtrica
en M .
Solucin: Veamos que se cumplen las propiedades de las mtricas:
847
848
1.
2.
3.
Est claro que d(v, w) = d(w, v), ya que el nmero de lugares en que v es
distinto de w es igual al nmero de lugares en que w es distinto de v.
4.
8
X
k=1
|vk wk |
As pues,
d(v, w) =
8
X
k=1
8
X
|vk wk | =
8
X
k=1
|vk uk + uk wk |
(|vk uk | + |uk wk |) =
k=1
8
X
k=1
|vk uk | +
8
X
k=1
|uk wk | =
d(x, y)
,
1 + d(x, y)
demostrar que tambin es una mtrica sobre M . Esta nueva mtrica tiene la
propiedad de que (x, y) < 1 para todo x, y M ; es decir, est acotada por 1.
Solucin: Veamos que se cumplen las propiedades de las mtricas:
1.
2.
(x, y) = 0
3.
(x, y) =
4.
d(x,y)
1+d(x,y)
d(x,y)
1+d(x,y)
= 0 d(x, y) = 0 x = y.
d(y,x)
1+d(y,x)
= (y, x).
f : [0, ) R
x
x
1+x
d(x, y)
d(x, z) + d(z, y)
1 + d(x, y)
1 + d(x, z) + d(z, y)
d(x, z)
d(z, y)
+
= (x, z) + (z, y).
1 + d(x, z) 1 + d(z, y)
849
2.
3.
k(x, y)k = k(x, y)k = |x| + |y| = || |x| + || |y| = ||(|x| + |y|) =
|| k(x, y)k .
4.
k(x1 , y1 ) + (x2 , y2 )k =
=
=
=
k(x1 + x2 , y1 + y2 )k =
|x1 + x2 | + |y1 + y2 |
|x1 | + |x2 | + |y1 | + |y2 | =
(|x1 | + |y1 |) + (|x2 | + |y2 |) =
k(x1 , y1 )k + k(x2 , y2 )k
es un producto interno.
Solucin: Debemos demostrar que se cumplen las propiedades de los productos internos:
1.
hf, f i =
f (x) f (x) dx =
f 2 (x) dx 0
2.
hf, f i = 0
1
0
f 2 (x) dx = 0 f 2 (x) = 0
850
3.
Z
hf, gi =
1
0
(f )(x) g(x) dx =
f (x) g(x) dx =
4.
hf, g + hi =
=
f (x) (g + h)(x) dx =
f (x) g(x) dx +
34.2.
f (x) g(x) dx =
f (x) h(x) dx =
0 si x = y
d0 (x, y) =
.
1 si x 6= y
851
852
2.
3.
A cl(B) cl(A B)
4.
A cl(B) = cl(A) B
5.
1.
Es cierto:
AB A
AB B
2.
cl(A B) cl(A)
cl(A B) cl(B)
cl(AB) cl(A)cl(B).
Es falso: si tomamos
A = (0, 1) R,
B = (1, 2) R
Entonces
cl(A) = [0, 1]
cl(B) = [1, 2]
cl(A B) = .
Es cierto:
A A B cl(A B)
B A B cl(B) cl(A B)
34.3. SUCESIONES
4.
853
Es falso: si tomamos
A = (0, 1] R,
B = (1, 2) R
Entonces
A cl(B) = (0, 1] [1, 2] = {1}.
Por otro lado,
cl(A) B = [0, 1] (1, 2) = .
5.
Es falso: si tomamos
A = [0, 1] R,
B = (1, 2) R
Entonces
A cl(B) = [0, 1] [1, 2] = {1}.
Por otro lado,
cl(A B) = cl([0, 1] (1, 2)) = cl() = .
34.3.
Sucesiones
Ejercicio 236 Sea (xn ) una sucesin en un espacio mtrico (M, d) convergente
a x. Demostrar:
1.
2.
3.
1
n,
Solucin:
1.
854
2.
< .
n
2
Entonces para todo n > max{n0 , n1 } se tiene
d(xn , yn ) <
1
,...
7
lmite, pues si existiera, todas las
1 nx si x n1
.
fn (x) =
0
si x n1
Se consideran en M las distancias:
d1 (f, g) = m
ax{|f (x) g(x)| : x [0, 1]}
1/2
Z 1
(f (x) g(x))2
d2 (f, g) =
0
1.
2.
1.
0 si x 6= 0
f (x) =
1 si x = 0
que no es continua en x = 0. Por tanto, f no es un elemento de C[0, 1] y
(fn ) no es convergente.
Observar que la convergencia en (M, d1 ) es equivalente a la convergencia
uniforme.
34.4. COMPLETITUD
2.
855
d2 (fn , f ) =
1/2 "Z
(fn (x) f (x)) dx
=
2
"Z
1/n
2 2
#1/2
(1 2nx + n x ) dx
1/n
2
#1/2
(1 nx) dx
1
=
3n
Por lo tanto,
lm d2 (fn , f ) = 0
34.4.
Completitud
Ejercicio 239 Sea (an ) una sucesin de nmeros reales y E = {an : n N}.
Estudiar la completitud del espacio mtrico (E, d), siendo
(
1 1
p + q si p 6= q
.
d(ap , aq ) =
0
si p = q
Solucin: El espacio no es completo. Consideremos una sucesin de E que
sea una subsucesin de (an ), por ejemplo (a2n ). Dado > 0, para cualquier
n0 > 1 se cumple
n, m > n0
1
1
d(a2n , a2m ) =
< + = .
+
2n 2m 2 2
1
1 1
> .
d(b, a2n ) = +
p 2n p
Ejercicio 240 Sea (Q, d) el espacio de los nmeros racionales con la distancia
usual. Probar que la sucesin de trmino general
xn =
1
1
1
1
+ + + +
0! 1! 2!
n!
856
n
X
t
n!
n=0
e=
X
1
n!
n=0
1
1
1
1
+ + + + .
0! 1! 2!
n!
/ Q.
Por tanto, lmn xn = e
Ejercicio 241 En el espacio de los polinomios definidos en el intervalo [1, 1]
con la distancia del supremo, encontrar una sucesin de Cauchy no convergente.
Qu se deduce de ello?
Solucin: Consideremos la sucesin de polinomios
p0 (x) = 1
x
1!
x
x2
p2 (x) = 1 + +
1!
2!
..
.
p1 (x) = 1 +
pn (x) = 1 +
x
x2
xn
+
+ +
1!
2!
n!
..
.
Es convergente a la funcin f (x) = ex es el espacio C[1, 1], pues se trata de la
sucesin de polinomios de Taylor de f . Por tanto, es una sucesin de Cauchy
en C[1, 1] y por lo tanto, en cualquier subespacio que la contenga, en particular
es de Cauchy en el espacio de los polinomios. Sin embargo, su lmite no es un
polinomio, por lo que no es convergente en el espacio de los polinomios, y ste
no es completo.
34.5.
Conjuntos compactos
2.
3.
857
1.
2.
ba
ba
,b
)},
n
n
n 2.
ba
ba
,b
)},
nj
nj
j = 1, . . . , p.
ba
ax{nj : j = 1, . . . , p},
El intervalo (a + ba
n0 , b n0 ), en donde n0 = m
contiene a todos los dems y es obvio que los puntos comprendidos entre
ba
a y a + ba
n0 y los puntos entre b y b n0 no son recubiertos. Por tanto,
(a, b) R no es compacto.
3.
Ejercicio 243 Sea (E, d) un espacio mtrico. Probar que una sucesin convergente (xn ) y su lmite l es un conjunto compacto en E.
Solucin: Sea U = {Ui }iI un recubrimiento abierto cualquiera de
M = {xn : n N} {l}.
Existe Ui0 U tal que l Ui0 . Como Ui0 es abierto, es un entorno de l. Puesto
que
lm xn = l,
n
dado Ui0 existe n0 N tal que para todo n > n0 se cumple xn Ui0 . Como
fuera de Ui0 quedan como mucho los n0 primeros trminos de la sucesin, sea
x1 Ui1 , x2 Ui2 , . . . , xn0 Uin0 ,
con lo que {Ui1 , Ui2 , . . . , Uin0 , Ui0 } es un subrecubrimiento finito de U.
858
x2 x3
xn
x
+
+ + (1)n
1!
2!
3!
n!
(1)n
n=0
xn
n!
Por lo tanto, cualquier subsucesin de {Pn (x)} converge tambin a f (x), que
no es polinmica. Por tanto, el espacio de los polinomios no es cerrado, y por
el teorema de Heine-Borel, podemos concluir que no es compacto.
Ejercicio 245 Sea (E, d) un espacio mtrico con la mtrica discreta:
d(x, y) = 0
si x = y
d(x, y) = 1
si x 6= y.
34.6.
Conjuntos conexos
859
1
= D(1, )
8
3
= D(0, )
4
1
2
H V.
860
Captulo 35
Funciones continuas
35.1.
|f (x) f (a)| = x2 a2 = |x a| |x + a| .
Se quiere hacer esta ltima expresin menor que haciendo |x a| lo suficientemente pequeo. Si a = 0, se elige
() =
}, entonces
siempre que |x a| < |a|. Por tanto, si se define () = inf{|a| , 3|a|
cuando |x a| < (), se cumple:
= .
3 |a|
1
1 |x a|
|f (x) f (a)| = =
.
|ax|
x a
861
1
x,
862
1
2
|a|, entonces
1
2
1 |x a|
2 |x a|
2
=
= 2 |x a| .
|x|
|a|
|a|
|a|
|a|
2
0
si x es un nmero irracional positivo
f (x) =
1
m
si
x
=
n
n , donde m y n no tienen divisores en comn
Demostrar que f es continua en todo nmero irracional de D(f ) y discontinua
en todo nmero racional de D(f ).
Solucin: Veamos primero que f es discontinua en todo nmero racional de
n
D(f ): sea x = m
un nmero racional cualquiera de D(f ) y consideramos una
sucesin (xn ) de nmeros irracionales que converjan a x. Entonces la sucesin
de las imgenes, (f (xn )), es la sucesin (0), que no converge a f (x) = n1 . Por
el criterio de discontinuidad, f no es continua en x.
Por otro lado, dados un nmero irracional a y > 0, entonces existe un
nmero natural n tal que n1 < . Se puede escoger tan pequea que el intervalo
(a , a + ) no contenga ningn nmero racional con denominador menor que
n. Entonces, para toda x en este intervalo, se tiene:
|f (x) f (a)| = |f (x) 0| = |f (x)|
1
< .
n
2
x + y 2 a2 b2 x2 a2 + y 2 b2 .
Si el punto (x, y) est dentro de una distancia de 1 de (a, b), entonces |x|
|a| + 1, por lo que
|x + a| |x| + |a| 2 |a| + 1
x + y 2 a2 b2
x a2 + y 2 b2 = |x a| |x + a| + |y b| |y + b|
|x a| (2 |a| + 1) + |y b| (2 |b| + 1)
k(x, y) (a, b)k (2 |a| + 1) + k(x, y) (a, b)k (2 |b| + 1)
2(|a| + |b| + 1) k(x, y) (a, b)k .
p
(x2 + y 2 a2 b2 )2 + (2xy 2ab)2
;
() = inf 1,
2 2(|a| + |b| + 1)
Si k(x, y) (a, b)k < (), entonces
kf (x, y) f (a, b)k < ,
con lo cual tenemos que f es continua en el punto (a, b).
Ejercicio 252 Sea f : A Rm dada por
f (x) = (f1 (x), . . . , fm (x)).
Demostrar que f es continua si y slo si cada componente fi es continua, i =
1, . . . , m.
Solucin: Sea f continua. Si xk x en A, debemos probar que fi (xk )
fi (x) para cada i. Pero esto es consecuencia del hecho de que f (xk ) f (x), y
una sucesin en Rm (en este caso, f (xk )) converge si y slo si sus sucesiones
componentes convergen.
El mismo razonamiento demuestra el recproco.
864
35.2.
Funciones lineales
a Rm
n1
X
i1 =1
nk
X
ik =1
i1 =1
35.3.
865
35.4.
2.
1.
La funcin f es continua en la claususra [a, b] [c, d] de cualquier rectngulo abierto. Es decir, f es continua en un compacto, por lo tanto es
uniformemente continua en l y en cualquiera de sus subconjuntos, en
particular en (a, b) (c, d).
2.
Sean
an = (n, n),
bn =
1
1
.
n+ ,n +
n
n
Entonces se cumple:
1
1
1
1
lm kan bn k = lm k(n, n)(n+ , n+ )k = lm k( , )k = lm
n
n
n
n
n
n
n n
1
1
+
= 0.
n2 n2
Sin embargo,
2
2 !
1
1
2
n+
lm kf (an ) f (bn )k = lm n + n2
+ n+
=
n
n
n
n
2
1
2
2
2
= lm 2n 2 n +
= lm 2n 2n 4 + 2 = lm 4 + 2 = 4 6= 0.
n
n
n n
n
n
Esto demuestra que f no es uniformemente continua en todo R.
866
3x
4 .
2.
3x2
4 .
3.
1.
3x 3y 3
|x y| .
4
4 4
El punto fijo sera solucin de la ecuacin
3
x=x
4
x=0
2
3
3x
3y 2 3 2
3
3
=
x y 2 = |x + y| |x y| 2 |x y| = |x y| .
4
4
4
4
4
2
Si tiene algn punto fijo ha de ser solucin de la ecuacin
3 2
x =x
4
3x2 4x = 0
x = 0, x =
4
.
3
La funcin f no es de Lipschitz:
2
x 1 (y 2 1) = x2 y 2 = |x + y| |x y| ,
x1 = 1+2 5
2
2
x x1 =0
x 1=x
x2 = 12 5
Por tanto, f tiene dos puntos fijos, x1 y x2 .
Observamos que f no cumple las condiciones del teorema del punto fijo
para contracciones y sin embargo tiene puntos fijos, porque el teorema es
una condicin suficiente pero no necesaria.
35.5.
867
Teoremas de aproximacin
+ = .
2 2
35.6.
Lmites de funciones
f (x, y) =
y3 x2
x2 +y2
2.
f (x, y) =
y2 x4
x4 +y2
3.
f (x, y) =
y+x2 +x
yx
4.
f (x, y) =
xy 3
x2 +y6
Solucin:
1.
(x,y) (0,0)
1
m3 x3 x2
x2 (m3 x 1)
= lm 2
.
=
2
2
2
x0 x + m x
x 0 x (1 + m2 )
1 + m2
f (x, y) = lm
(x,y) (0,0)
m2 1
m2 x4 x4
x4 (m2 1)
=
l
m
.
=
x 0 x4 + m2 x4
x 0 x4 (1 + m2 )
1 + m2
f (x, y) = lm
868
3.
(x,y) (0,0)
mx + x2 + x
x(m + x + 1)
m+1
= lm
=
.
x0
x0
mx x
x(m 1)
m1
f (x, y) = lm
(x,y) (0,0)
m
my 6
.
=
y 0 y 6 (1 + m2 )
1 + m2
f (x, y) = lm
1
f (x, y) = x2 sin x2 +y
2 si (x, y) 6= (0, 0).
2.
si (x, y) 6= (0, 0)
cos 21 2
x +y
f (x, y) =
0
si (x, y) = (0, 0)
3.
4.
Solucin:
1.
Se cumple:
|x2 |
0 x sin
2
2
x +y
1
ya que sin x2 +y
1.
2
Tomando lmite en
la desigualdad
cuando (x, y) (0, 0), obtenemos:
1
0 lm(x,y) (0,0) x sin x2 +y2 lm(x,y) (0,0) |x2 | = 0.
As pues,
lm
(x,y) (0,0)
y por tanto,
2
x sin
lm
(x,y) (0,0)
2.
x2 sin
1
=0
2
2
x +y
1
x2 + y 2
=0
(x,y) (0,0)
f (x, y) = .
869
x = cos
y = sin
Entonces obtenemos:
lm
(x,y) (0,0)
4.
2 cos2 sin(2 )
= lm cos2 sin(2 ) = 0.
0
0
2
f (x, y) = lm
x = cos
y = sin
Entonces obtenemos:
lm
(x,y) (0,0)
f (x, y) = lm cos
0
1
.
1
2n
y 0n =
lm cos
lm cos
1
1
2n
1
1/(2n + 2 )
= lm cos 2n = lm 1 = 1
n
= lm cos 2n +
= lm 0 = 0.
n
n
2
a3 y 3
= .
ay
Como f no tiene lmite en (a, 0), no es continua en los puntos de esta forma. Anlogamente se prueba que f no es continua en los puntos de la forma
(0, b), b 6= 0.
870
1
x3 + 3 x6
1 3 x3
= lm
= ,
3
x0
x
35.7.
Otros resultados
2.
3.
4.
Captulo 36
Funciones diferenciables
36.1.
xy
q
3
1+xy
x3 +y3
si x 6= y
si x = y
D1 f (0, 0) =
lm
t0
(h,k) (0,0)
=
h2 + k 2
871
872
hk 3 1 + hk
=
lm
(h,k) (0,0)
h2 + k 2 3 h3 + k3
p
2 cos sin 3 1 + 2 cos sin
p
= lm
3
0
2 cos3 + sin3
cos sin
= p
3
cos3 + sin3
Du f (0, 0) =
lm
t0
Du f (0, 0) + Dv f (0, 0) = ab
r
3
(a +
c)3
1
+ (b + d)3
1
+ cd
3
a + b3
r
3
c3
1
.
+ d3
Por lo tanto,
Du+v f (0, 0) 6= Du f (0, 0) + Dv f (0, 0),
con lo cual f no puede ser diferenciable en (0, 0).
Tambin se puede razonar que f no es diferenciable en (0, 0) de la forma
siguiente: si f fuese diferenciable en (0, 0), entoncesdf (0, 0) sera la apli-
cacin
lineal
determinada por las derivadas parciales D1 f (0, 0) D2 f (0, 0) =
0 0 , pero
f (0, 0) u =
0 0
a
b
= 0 6= ab
r
3
a3
1
= Du f (0, 0),
+ b3
873
= lm
= lm
.
Dv f (0, 1) = lm
2
2
t0
t
0
t
0
t
t
(1 + bt) (at)
t
Si a 6= 0, el lmite por la derecha vale |a|, y el lmite por la izquierda vale |a|.
Como los lmites laterales son distintos, no existe la derivada direccional.
Si a = 0, entonces Dv f (0, 1) = 0.
Por tanto, slo existe la derivada direccional en la direccin del eje de las y.
36.2.
Condiciones de diferenciabilidad
=
=
=
=
(xey + cos y, x, x + ey )
(x + z cos y, y + x sin z)
(xyexy , y sin x, xy 2 )
h (g f )(x, y)
Determinar dF(1,0) .
Solucin: Por la regla de la cadena, sabemos que
dF(1,0) = dhg(f (1,0)) dgf (1,0) df(1,0) .
Por el teorema 2, sabemos que la matriz de la diferencial es la matriz jacobiana,
con lo cual basta calcular la matriz jacobiana de cada una de las funciones y
multiplicarlas para obtener la matriz de DF(1,0) :
e xey sin y
1 1
f 0 (1, 0) = 1 0
0
f 0 (x, y) = 1
y
1 1
1
e
1
z sin y
cos y
g 0 (x, y, z) =
sin z
1
x cos z
1 0 1
0
0
g (f (1, 0)) = g (2, 1, 2) =
0 1 2
874
xexy + x2 yexy
sin x
2xy
1 0
h0 (g(f (1, 0))) = h0 (0, 1) = 1 0
1 0
yexy + xy 2 exy
0
y cos x
h (x, y) =
y 2
Por tanto,
0 0
1 1
1 0
1 0 1
1 0 = 0 0
F 0 (1, 0) = 1 0
0 1 2
0 0
1 1
1 0
p
x3
.
f (x, y) = log 1 + xy,
1 + xy
a. Determinar la matriz jacobiana de f en un punto genrico.
b. Razonar que f es diferenciable en cualquier punto de A.
c. Calcular D(3,2) f1 (1, 0) y D(3,2) f2 (1, 0).
Solucin:
1
y
y
=
2(1 + xy)
1 + xy 2 1 + xy
1
x
x
=
2(1 + xy)
1 + xy 2 1 + xy
3x2 (1 + xy) x3 y
(1 + xy)2
x4
(1 + xy)2
f 0 (x, y) =
y
2(1+xy)
2
3x (1+xy)x3 y
(1+xy)2
x
2(1+xy)
x4
(1+xy)2
875
36.3.
=
=
g1 (x, y)
= x2
y
g2 (x, y)
= y2
x
2 f (x, y)
2 f (x, y)
6=
,
xy
yx
1
k(x, y, z)k
es armnica.
Solucin: Teniendo en cuenta que
f (x, y, z) =
1
1
=p
,
2
k(x, y, z)k
x + y2 + z2
876
3x2
2f
1
=
+
2
3
k(x, y, z)k
k(x, y, z)k5
x
f
y
=
k(x, y, z)k3
y
3y 2
2f
1
=
+
k(x, y, z)k3
k(x, y, z)k5
y 2
f
z
=
k(x, y, z)k3
z
3z 2
2f
1
=
+
k(x, y, z)k3
k(x, y, z)k5
z 2
3x2
1
1
+
+
k(x, y, z)k3 k(x, y, z)k5 k(x, y, z)k3
1
3z 2
3y 2
+
k(x, y, z)k5 k(x, y, z)k3
k(x, y, z)k5
2
2
3(x + y + z 2 )
3
+
k(x, y, z)k3
k(x, y, z)k5
3k(x, y, z)k2
3
+
k(x, y, z)k3
k(x, y, z)k5
3
3
+
=0
k(x, y, z)k3 k(x, y, z)k3
=
+
=
=
=
Captulo 37
Funciones continuas y
diferenciables
37.1.
Frmula de Taylor
1 4
D f () (x, y, z)4 ,
4!
=
=
=
=
=
24 2
24 1
24 23
48 2 3
24 22
1
4xy 3 (24 2 ) + y 4 (24 1 ) + 6y 2 z 2 (24 23 ) + 4yz 3 (48 2 3 ) + z 4 (24 22 ) =
R4 (x, y, z) =
4!
= 4xy 3 2 + y 4 1 + 6y 2 z 2 23 + 8yz 3 1 2 + z 4 22 .
877
878
Ejercicio 265 Sea f (x, y) = sin(ax+by), donde a y b son dos constantes reales.
1.
2.
3.
1.
X
1 m
D f (0, 0) (x, y)m .
m!
m=1
Ahora bien, todas las derivadas de orden par de f valen 0 en (0, 0):
2n
f (x, y)
= (1)n ap bq sin(ax + by)(0,0) = (1)n ap bq 0 = 0.
xp y q
(0,0)
Las derivadas de orden senar son
2n+1
f (x, y)
= (1)n ap bq ,
xp y q
(0,0)
donde p + q = 2n + 1.
As pues, la serie de Taylor slo est formada por los trminos correspondientes a las derivadas de orden senar, y vale
S(x, y) =
(1)m
m=1
2.
1
(ax + by)2m+1 .
(2m + 1)!
1
(ax + by)2m+1 cos(a 1 + b 2 ),
(2m + 1)!
1
(ax + by)2n sin(a 1 + b 2 ).
(2n)!
Sea D((0, 0), r) un disco de centro (0, 0) y radio r > 0. Como |x| < r,
|y| < r, si definimos k = |a| + |b|, entonces
1
n+2
2n+2
|R2n+2 | = (1)
sin(a 1 + b 2 )
(ax + by)
(2n + 2)!
1
(|ax| + |by|)2n+2
(2n + 2)!
1
[r(|a| + |b|)]2n+2
(2n + 2)!
1
r2n+2 k2n+2 .
(2n + 2)!
879
Por lo tanto,
|f (x, y) P2n+1 (x, y)| = |R2n+2 (x, y)|
(rk)2n+2
(2n + 2)!
(rk)2n+2
37.2.
2.
3.
4.
1.
f es de clase C (R2 ). El teorema de la funcin inversa asegura la existencia de f 1 en un entorno de cada punto que no anule el jacobiano.
Como
3x2 3y 2
0
= 6xy(y x),
det f (x, y) =
2x 2y
Por el apartado (a), sabemos que det f 0 (x, y) 6= 0 en todos los puntos de
A. Veamos ahora si f es inyectiva en A:
x2 y 2 = x02 y 02
x3 + y 3 = x03 y 03
(x x0 )(x + x0 ) = (y y 0 )(y + y 0 )
(x x )(x2 + xx0 + x02 ) = (y y 0 )(y 2 + yy 0 + y 02 )
0
880
3.
4.
f (x, y, z) = (x y 3 , y z 3 , z x3 ).
1.
2.
3.
1.
1
3y 2
0
1
3z 2 = 1 27x2 y 2 z 2 .
det f 0 (x, y, z) = 0
3x2
0
1
881
1 0 0
1 0 0
(f 1 )0 (1, 1, 0) = (f 0 (1, 0, 1))1 = 0 1 3 = 9 3 1 .
3 0 1
3 0 1
Si se considera (1, 1, 0) como imagen de (0, 1, 0), se tiene
1
1 3 0
1 3 0
(f 1 )0 (1, 1, 0) = (f 0 (0, 1, 0))1 = 0 1 0 = 0 1 0 .
0 0 1
0 0 1
Las derivadas son diferentes porque la funcin inversa de f en un entorno
de (1, 0, 1) es diferente de la funcin inversa de f en un entorno de
(0, 1, 0).
3.
x x0 = (y y 0 )(y 2 + yy 0 + y 02 )
y y 0 = (z z 0 )(z 2 + zz 0 + z 02 )
z z 0 = (x x0 )(x2 + xx0 + x02 )
y 6= y 0 ,
z 6= z 0 .
37.3.
f 0 (1, 1) = y + x2 x + y3 (1,1) = 3 4
Como 4 6= 0, por el teorema de la funcin implcita, sabemos que y se puede expresar como funcin implcita de x en un entorno de (1, 1): y = g(x). Derivando
respecto a x en la ecuacin
xg(x) + 2 ln x + 3 ln g(x) 1 = 0
882
obtenemos
g(x) + xg 0 (x) +
2 3g 0 (x)
+
= 0.
x
g(x)
Sustituyendo x = 1, tenemos
6
9
00
00
=0
+ g (1) 2 + 3 g (1)
4
16
Por tanto,
g 00 (1) =
83
64
Ejercicio 269 Supongamos que F (x, y, z) cumple las hiptesis del teorema de la
funcin implcita y define en un entorno de (x, y, z) las funciones z = f (z, y), x =
g(y, z), y = h(z, x). Probar que
f g h
= 1.
x y z
Solucin: Puesto que F satisface las condiciones del teorema de la funcin
implcita al considerar tanto z en funcin de x, y como y en funcin de z, x
como x en funcin de y, z, se tiene:
D1 F 6= 0,
D2 F 6= 0,
D3 F 6= 0.
h
=0
z
D3 F
h
=
z
D2 F
g
+ D2 F = 0
y
D2 F
g
=
y
D1 F
Por tanto,
D1 F D3 F D2 F
f g h
=
= 1.
x y z
D3 F
D2 F
D1 F
37.4.
883
yz sin x z cos x
yz cos x z sin x = yz 6= 0.
884
Captulo 38
Extremos relativos
2.
+y 2 +x2 y
Solucin:
1.
para todo x V.
para todo x V.
para todo x U.
g(t) = et .
885
886
D1 f (x, y) = 4x + 2xy = 0
D2 f (x, y) = 2y + x2 = 0
Las soluciones son los puntos
P1 = (0, 0),
P2 = (2, 2),
P3 = (2, 2)
D1 f (x, y) = 0
cos(x + y) + sin(x + y) = 0
D2 f (x, y) = 0
cos(x + y) + sin(x + y) = 0
cos(x, y) = sin(x + y)
x+y =
3
4
o bien
x+y =
7
4
887
7
7
cos
f (x, y) = sin
= 2
4
4
f (x, y) = sin
cos y = sin y
y=
f 0 (, y) = cos( + y) + sin( + y)
cos( + y) = sin( + y)
y=
3
4
cos x = sin x
x=
3
4
cos(x + ) = sin(x + )
x=
3
3
3
= 2, f ,
= 2, f
f 0,
, 0 = 2,
4
4
4
3
.
4
3
,
4
= 2.
Por ltimo, slo falta considerar los vrtices del cuadrado. En ellos, el valor
de la funcin es
f (0, 0) = 1,
f (0, ) = 1,
f (, 0) = 1,
f (, ) = 1.
Por tanto, f alcanza su mximo absoluto en todos los puntos del segmento
(incluidos los extremos) de la recta x + y = 3
4 y su mnimo absoluto en los de
la recta x + y = 7
4 .
Ejercicio 273 Estudiar si (0, 0) es un punto de extremo relativo de la funcin
f (x, y) = (x + y)4 + (x y)3
3
.
4
888
D1 f (0, 0) = 0
D2 f (0, 0) = 0
D12 f (0, 0) = 0,
D22 f (0, 0) = 0,
el hessiano no aporta ninguna informacin, por lo que debemos estudiar la funcin en un entorno de (0, 0). Para > 0 tan pequeo como queramos,
f (, ) = (2)3 > 0
f (, ) = (2)3 < 0,
luego (0, 0) no es extremo relativo.
38.2.
g2 (x, y, z) = xy + xz + yz 8.
Como la matriz
1 y+z
D1 g1 (x, y, z) D1 g2 (x, y, z)
D2 g1 (x, y, z) D2 g2 (x, y, z) = 1 x + z
1 x+y
D3 g1 (x, y, z) D3 g2 (x, y, z)
x+y+z5=0
xy + xz + yz 8 = 0
yz = 1 + 2 (y + z)
xz = 1 + 2 (x + z)
xy = 1 + 2 (x + y)
x+y+z5=0
xy + xz + yz 8 = 0
889
(y x)(z 2 ) = 0
(z x)(y 2 ) = 0
Estas dos ltimas ecuaciones se verifican en cada uno de los cuatro casos siguientes:
1.
y = x, z = x
2.
y = x, y = 2
3.
z = 2 , z = x
4.
z = 2 , y = 2
Estudiemos cada caso por separado:
1.
y=x
z=x
x+y+z5=0
xy + xz + yz 8 = 0
que es incompatible.
2.
y=x
x+y+z5=0
xy + xz + yz 8 = 0
z=x
x+y+z5=0
xy + xz + yz 8 = 0
z=y
x+y+z5=0
xy + xz + yz 8 = 0
cuyas soluciones son (1, 2, 2) y ( 73 , 43 , 43 ).
890
Finalmente, como
f (2, 2, 1) = f (2, 1, 2) = f (1, 2, 2) = 4
y
f
4 4 7
, ,
3 3 3
=f
4 7 4
, ,
3 3 3
=f
7 4 4
, ,
3 3 3
112
,
27
4 4 7
4 7 4
7 4 4
el mximo de f sobre M es 112
27 y se alcanza en los puntos ( 3 , 3 , 3 ), ( 3 , 3 , 3 ), ( 3 , 3 , 3 ),
y el mnimo es 4 y se alcanza en los puntos (2, 2, 1), (2, 1, 2) y (1, 2, 2).
D1 f (x, y, z) = D1 g(x, y, z)
y + z = yz
D2 f (x, y, z) = D2 g(x, y, z)
x + z = xz
D3 f (x, y, z) = D3 g(x, y, z)
x + y = xy
xyz V = 0
xyz V = 0
3
V
x =
3
y =
V
3
z =
V
Por consiguiente, el rea mnima de la caja es
3
6( V )2 .
Para comprobar que este punto es de mnimo absoluto, basta probar que
xy +
V
V
3
3 V2
+
x
y
para x, y > 0.
V
V
3
+ 3 V2 =0
x
y
3
V
V
V
3
+ 3 V2 =0
a
b
,d=
cd +
3
V
891
1 1
+ 3=0
c d
c2 d2 + d + c 3cd = 0 c2 d2 + (1 3c)d + c = 0
p
1 + 3c + (1 4c)(c 1)2
1 + 3c + 1 6c + 9c2 4c3
=
0<d=
2c2
2c2
p
1 4c 0, 1 + 3c + 1 6c + 9c2 4c3 > 0
p
1
1
c < , 1 3c < 1 6c + 9c2 4c3
4
3
p
0 < 1 3c < 1 6c + 9c2 4c3
0 < 4c3
c < 0.
2.
D1 f (x, y, z) = D1 g(x, y, z)
4x3 + 16xy 2 + 4xz 2 4x = (2x)
2
2
2
x2 + y 2 + z 2 9 = 0
x +y +z 9=0
892
6y 2 + 16 = 0
(38.1)
24y 2 + 64 = 0
(38.2)
6y 2 + 16 = 0
(38.3)
De la segunda y la ltima:
y=0
De la tercera y la ltima:
z=0
Y la ltima:
x2 + y 2 + z 2 = 9
(38.4)
Captulo 39
Integracin en Rn
39.1.
Integral de Riemann
a(U )
Entonces, si Mij y mij son el mximo y el mnimo de f en Uij que existen por
ser f continua en un compacto, se tiene
Mij mij <
a(U )
n X
m
X
(Mij
i=1 j=1
m
n X
X
a(U )
mij ) a(Uij )
a(Uij ) =
i=1 j=1
894
Entonces, se cumple
n
n X
X
U (f, Pn ) =
Mij a(Uij )
i=1 j=1
n
n X
X
(xi + yj )
i=1 j=1
n
X
1
n2
j=1
1
n2
1
2
n
+ + + + nyj )
n n
n
n
X
1
(1 + 2 + + n + n
yj )
n2
j=1
2
(1 + 2 + + n)
n2
2 (1 + n)n
=
n2
2
1
= 1+
n
Por tanto,
f = lm(1 +
U
1
)=1
n
i1 i
j1 j
, ][
, ]
n n
n n
895
en+n
i,j
=
=
=
=
1
n2
X
i
1 X j
en
en
n2 j
i
X
j
1
e1
en
n2 j
1 e1/n
X j
e1
en
2
1/n
n (1 e
) j
(e 1)2
e1/n )2
n2 (1
P
ya que i ei/n es la suma de los trminos de una progresin geomtrica de razn
e1/n y, por tanto
X
ei/n =
e1
ee1/n e1/n
=
e1/n 1
1 e1/n
mij a(Uij )
i,j
i,j
=
=
=
1
n2
X j1
e n
j1
i1
n + n
1 X i1
e n
n2 j
1 X i1
e1/n (e 1)
n
e
n2 j
1 e1/n
e2/n (e 1)2
n2 (1 e1/n )2
Si demostramos que
lm [U (f, P ) L(f, P )] = 0
(e 1)2 (1 e2/n )
n2 (1 e1/n )2
896
y entonces
lm
(e 1)2 (1 e2/n )
n2 (1 e1/n )2
(e 1)2 2/n
n2 (1/n)2
2(e 1)2
= lm
n
= 0
= lm
ya que
1 e2/n
(1 e1/n )2
=1
= lm
2/n
(1/n)2
lm
y en consecuencia
ex+y
(e 1)2
e1/n )2
(e 1)2
= lm 2
n (1/n)2
= lm
n2 (1
= (e 1)2
k=1
1
1
1X
p
=
2
2
n
n +k
1 + (k/n)2
k=1
k=1
1
f (x) =
1 + x2
en el intervalo [0, 1] respecto a una particin de n subintervalos iguales. Por lo
tanto, al ser f integrable en [0, 1], se cumple
n
X
lm
2
n
n + k2
k=1
dx
1 + x2
0
i1
h
p
= ln(x + 1 + x2
0
= ln(1 + 2)
=
39.2.
897
Ejercicio 281 (a) Probar que el conjunto de los nmeros racionales del intervalo [0, 1] tiene medida cero, pero no tiene contenido cero. (b) Si A Rn tiene
contenido cero, probar que su frontera tiene contenido cero. (c) Poner un ejemplo de un conjunto acotado A de Rn de medida cero tal que su frontera no tenga
medida cero.
Solucin: (a) El conjunto A de los nmeros racionales de [0, 1] es numerable. Cada punto tiene medida cero y, como consecuencia, A tiene medida cero
ya que es unin numerable de conjuntos de medida cero por qu? Supongamos
ahora que A tuviera contenido cero, entonces dado cualquier > 0 existira una
familia finita de intervalos cerrados [a1 , b1 ], ..., [am , bm ] que recubriran A y se
cumplira que
m
X
v([ai , bi ]) <
i=1
m
[
[ai , bi ]
i=1
es decir,
v([0, 1]) = 1 <
lo que no es posible. Por lo tanto, A no tiene contenido cero.
(b) Dado > 0 arbitrariamente, puesto que A tiene contenido cero existe
una familia finita de rectngulos cerrados U1 , ..., Um tales que
A
m
[
Ui
m
X
i=1
v(Ui ) <
i=1
Ui
i=1
es cerrado, resulta
f r (A) A
m
[
Ui
i=1
898
,
]
2n 2n+1 2n 2n+1
39.3.
2.
1 si x 6= n1 , n N
/ Q, n N
0 si x = n1 y y
f (x, y) =
1 si x = n1 y y Q, n N
1
, 0 y 1, n N}
n
899
39.4.
Integral iterada
Ejercicio 285 Por integracin iterada, calcular la integral de f sobre el rectngulo U en los siguientes casos:
p
1 x2 dy dx
0
1
#2
Z 1 " 2
2
y
1
dx
=
2
0
1
Z 1
2
3 1x
=
dx
2
0
"
#1
3 x 1 x2
arcsin x
=
+
2
2
2
p
1 x2 dx dy
3
8
(2) Se cumple
Z
x2 sin z sin y dx dy
=
=
=
0
Z
0
Z0
Z0
x sin z sin y dz
0
x sin y cos z 0 dy
2x2 sin y dy dx
2x2 cos y 0 dx
4x2 dx
4 3
3
dy
dx
dx
900
Ejercicio 286 Escribir las ecuaciones de las curvas que limitan los recintos a
que se extienden las integrales que se indican:
R 2y
R2
1. 6 dy y2
f (x, y) dx
4
2.
R3
1
dx
R x+9
f (x, y) dy
x2
x 0, y 0, x + y 1
2.
x2 + y 2 x
Solucin: (1) Se cumple
Z
Z
f (x, y) dx dy =
A
1x
f (x, y) dy
0
dx
xx2
1y
dx
0
12x
f (x, y) dy =
3x2
(2) Se cumple
Z 1y
Z
1
dy
f (x, y) dx =
1y 2
dx
48
dy
0
1x2
Z y/3
f (x, y) dx
y/12
Z
f (x, y) dy+
dx
1x
f (x, y) dy
Captulo 40
Clculo de integrales
mltiples
40.1.
Recintos de integracin
902
2xx2
2xx2
1
2
4zz 2
2x
x2
2x
f (x, y, z) dz
x2 +y2
Z 2
zy
4zz 2
12
f (x, y, z) dx
z
2
zx2
zx2
dy
f (x, y, z) dy
dz
dy
dx
dz
dx
Ejercicio 290 Estudiar si los siguientes subconjuntos son recintos de integracin y, en caso afirmativo, decir si son o no proyectables y hacer una representacin grfica
1.
A1 = {(x, y) R2 : 0 y 4, x2 y 2x2 }
2.
A2 = {(x, y) R2 : x2 + y 2 4, y 2 x y 2 1}
3.
A3 = {(x, y, z) R3 : x2 + y 2 z 4 x2 y 2 }
4.
A4 = {(x, y, z) R3 : x2 + y 2 + z 2 1, x4 +
y2
3
z2
9
= 1}
Solucin:
1.
903
2.
3.
904
905
p
A1 = {(x, y) R2 : 2 y 1, 2 y x y}
p
p
A2 = {(x, y) R2 : 1 y 2, 2 y x 2 y}
1
2
2y
Z
f (x, y) dx dy +
2y
2y
f (x, y) dx
dy
1
2
2
4 (x +y )
906
Solucin: El recinto es
A = {(x, y, z) R3 : 0 x 4, 0 y
p
1
16 x2 , (x2 + y 2 ) z 4}
4
A = {(x, y, z) R3 : 0 z 4, 0 x 2 z, 0 y 4z x2 }
p
A = {(x, y, z) R3 : 0 y 4, 0 z 2 y, 0 x 4z y 2 }
Por lo tanto,
I=
I=
40.2.
4
0
Z
Z
2 z
0
2 y
4zx2
f (x, y, z) dy
0
Z
4zy2
!
!
f (x, y, z) dx
dz
dy
dx
dz
[f ()]2 d
907
Aplicar este resultado para calcular el rea de los siguientes recintos: (b) recinto
limitado por un bucle de la lemniscata r2 = a2 cos 2, y (c) recinto limitado por
la cardioide r = a(1 + cos ).
Solucin: (a) Sabemos que el siguiente recinto
B = {(, r) R2 : , 0 r f ()}
es medible-Jordan, pues se trata de un recinto de ordenadas en el plano r.
Adems, si g(, r) = (r cos , r sin ), entonces A = g(B). Se cumple que g es
pues si (1 , r1 ), (2 , r2 ) B
entonces |2 1 | < 2,
inyectiva en B,
y, por tanto, la condicin g(1 , r1 ) = g(2 , r2 ) implica que r1 = r2 y 1 = 2 .
Por tanto,
Tambin es evidente que Jg (, r) = r > 0 para todo (, r) B.
aplicando el teorema del cambio de variables se obtiene
v(A) =
dx dy =
r dr d
1
2
f ()
r dr
[f ()]2 d
a2 cos 2 d =
1 2
a
2
La cardioide es una curva cerrada que se recorre de una sola vez cuando recorre
el intervalo [0, 2].
908
a2 (1 + cos )2 d =
3 2
a
2
2y
0
2e2z
2x 2e
0
2e2z = 4e2z (e2x + e2y ) < 0
Jg (x, y, z) = 2e
1
1
0
909
es decir,
Z
v(g(A)) =
5 1
= e2 + + e4
2 2
Ejercicio
295Probar que el conjunto A = {(x, y, z) R3 : x 0, y 0, z
B = {(x, y) R2 : x 0, y 0, x + y 1}
(1 x y)2 dx dy
=
B
910
Es claro que
Az = {(x, y) R2 : x 0, y 0, x + y }
donde = (1
2
z) , siendo 0 z 1. As tenemos
v(Az ) =
=
=
( x)2 dx
1 2
1
(1 z)4
6
Por tanto,
v(A) =
1
1
(1 z)4 dz =
6
90
v(A) =
(1 x y)2 dx dy
ZB
(1 x y)2 dx dy
=
g(C)
Z
8r3 (1 r)2 cos3 sin3 dr d
=
C
Z Z
1
/2
40.3.
911
dr
1
90
u = y 2 x2
v = xy
912
2x 2y
= 2(x2 + y 2 ) < 0
Jh (x, y) =
y
x
aplicando el teorema de la funcin inversa, existe un conjunto abierto V U
y un conjunto abierto W h(U ) tales que h : V W tiene inversa continua
g : W V que es diferenciable, con g(u, v) = (x, y), y se cumple
Jg (u, v) =
1
1
=
2
Jh (x, y)
2(x + y 2 )
Z Z 1
1 b
v
=
u du dv
2 a
0
Z b
1
1
=
dv
2 a v+1
1
b+1
=
ln
2
a+1
(x2 + y 2 )3/2 dx dy
donde
A = {(x, y) R2 : x y, x + y 1, x2 + y 2 1}
Solucin: El integrando sugiere naturalmente el cambio a polares:
x = r cos
y = r sin
Para ello es preciso describir el conjunto A en estas coordenadas, es decir, obtener B R2 tal que A = g(B), donde g(r, ) = (x, y).
913
1
r 1, }
cos + sin
4
2
/2
/4
= 1
40.4.
dr
1
cos +sin
/4
(cos + sin 1) d
x2 dx dy dz
donde
914
Figura 40.1:
queda en el semiespacio x 0. La superficie 4z 2 = 3(x2 + y 2 ) es un cono de
revolucin de eje z que, cuando corta al plano yz da como interseccin
dos
de sus generatrices,
que
son
las
rectas
que
tienen
por
ecuaciones
2z
=
3y y
2t
,0 r , }
7
2
2
3
p
6
t 2, 0 r 2t t2 , }
7
2
2
B2
Ahora bien,
Z
B1
r cos dr d dt =
6/7
5
2
6
=
7
45
2t
r cos dr
dt
r cos dr d dt =
B2
6/7
2tt2
3
r cos dr
5
664
2
7
15
915
dt
z 2 dx dy dz
donde
A = {(x, y, z) R3 : x2 + y 2 + z 2 R2 , x2 + y 2 + z 2 2Rz}
Solucin: El conjunto A est limitado por dos esferas de radio R,
x2 + y 2 + z 2 = R2
x + y 2 + (z R)2 = R2
2
, 0 r 2R cos }
3
2
y A2 como
B2 = {(r, , ) R3 : 0 2, 0
, 0 r R}
3
916
Sea g(r, , ) = (x, y, z), donde x = r cos sin , y = r sin cos y z = r cos , y
1 B
2 . Esta aplicacin satisface las condiciones del teorema del cambio de
C=B
variables sobre el conjunto C. Aunque la imagen de C por g excluye el conjunto
de puntos sobre el eje x con x 0 y el conjunto de puntos sobre la circunferencia
interseccin de las dos esferas dadas, estos son conjuntos de medida cero y, por
tanto, no contribuyen al valor de la integral. Por tanto, aplicando el teorema del
cambio de variables tenemos
Z
Z
z 2 dx dy dz =
z 2 dx dy dz
A
g(C)
Z
=
r2 cos2 r2 sin dr d d
Z
ZC
r4 cos2 sin dr d d +
r4 cos2 sin dr d d
=
1
B
2
B
Ahora bien,
Z
r cos sin dr d d =
1
B
2R cos
4
r cos sin dr
1 5
R
160
y
Z
r4 cos2 sin dr d d =
2
B
2
0
7 5
R
60
r4 cos2 sin dr
Por lo tanto,
Z
40.5.
z 2 dx dy dz =
1 5
7
59 5
R + R5 =
R
160
60
480
Aplicaciones geomtricas
x = r cos
y = r sin
z=z
917
16
64
=
3
9
Como el rea S de la superficie dada se proyecta sobre el plano xy en la circunferencia C de ecuacin (x 1)2 + y 2 = 1, por simetra tenemos
1/2
Z
x2
y2
1+
+
dx dy
S = 4
4 x2 y 2
4 x2 y 2
C
Z
1
p
= 8
dx dy
4 x2 y 2
C
!
Z 2 Z 2 cos
1
r dr d
= 8
4 r2
0
0
= 8 16
918
Si efectuamos el cambio
x2 = uy
y 2 = vx
Jg (u, v) =
2 1/3 1/3
v
3u
1 2/3 2/3
u
v
3
1 2/3 2/3
v
3u
2 1/3 1/3
u
v
3
1
= =
36 0
Z 1 Z 2
2
(u2 v)1/3 dv du
=
3 1/2 1
3
3
3
=
(9 2 4 2 4)
40
Captulo 41
Curvas en el espacio
eucldeo
41.1.
El concepto de curva
t [0, 2],
1.
2.
3.
4.
Solucin:
919
920
1.
En este caso,
Z
Z tp
3 t
|sin 2| d =
9 cos4 sin2 + 9 sin4 cos2 d =
s(t) =
2 0
0
3
=
(1 cos 2t)
si t [0, ]
4
2
Z
3 t
3
+
|sin 2| d = (3 + cos 2t)
si t [ , ]
s(t) = s
2
2 /2
4
2
Z t
3
3
3
|sin 2| d = (5 cos 2t)
si t [,
]
s(t) = s () +
2
4
2
Z
3 t
3
3
3
+
|sin 2| d = (7 + cos 2t)
s(t) = s
si t [ , 2]
2
2 3/2
4
2
3.
Su longitud total es
L(0, 2) = s(2) = 6.
4.
1
3 4s
arc cos
2
3
6
s [0, ],
4
3 4s
3 1
arc cos
x = cos
2
3
3 4s
1
,
y = sin3
arc cos
2
3
donde s [0, 64 ], que son las ecuaciones pedidas del arco de curva correspondiente a [0, 2 ]. Para los otros tres arcos, se determina de forma
anloga.
921
2.
1.
k0 (t)k =
Por tanto,
s(t) =
2.
t
0
k (t)kdt =
(3t2 + 2t + 1)dt = t3 + t2 + t
41.2.
2.
3.
1.
t = 1.
1 1
0 (1)
1
2
t=
=q
(1, 1, 2) = 2 , 2 , 2 .
k0 (1)k
12 + (1)2 + ( 2)2
922
2.
Por tanto,
00 (t) = (6t + 2, 2, 2)
0 (1) = (1, 1, 2)
00 (1) = (4, 2, 2)
0 (1) 00 (1) = ( 2, 3 2, 2)
Un vector de la misma direccin y sentido que n viene dado por
1
v
(8, 0, 4 2) =
=
2
kvk
8 + 16 2
2
1
2
(8, 0, 4 2) = , 0,
.
4 6
6
6
1
1
b = t n = (1, 1, 2) (2, 0, 2) =
2
6
!
2
1
3
, ,
.
2 3 2 3 2 3
2.
3.
1.
En el ejercicio 1 vimos que t(1) = 12 , 12 , 22 . Entonces, la ecuacin
de la recta tangente en (1) = 0, 0, 22 es:
!
!
2
2
1 1
x = (1) + t (x, y, z) = 0, 0,
+
, ,
.
2
2 2
2
Y la ecuacin del plano normal en (1) = 0, 0, 22 es:
(x (1)) t = 0
!
!
1 1
2
2
, ,
=0
x, y, z
2
2 2
2
2
1
1
2
x y
z+ =0
2
2
2
4
xy
2z + 1 = 0.
923
En el ejercicio 1 vimos que n(1) = 26 , 0, 26 . Entonces, la ecuacin
de la recta normal en (1) = 0, 0, 22 es:
x = (1) + n
(x, y, z) =
!
!
2
2
2
0, 0,
.
+ , 0,
2
6
6
Y la ecuacin del plano rectificante en (1) = 0, 0, 22 es:
(x (1)) n = 0
3.
!
!
2
2
2
, 0,
=0
x, y, z
2
6
6
2
1
2
x z + = 0
6
6
6
x = (1)+b
(x, y, z) =
2x +
2z 1 = 0.
1
3
2
.
,
,
2 3 2 3 2 3
= 0, 0, 22 es:
Entonces, la
!
!
3
2
2
1
0, 0,
.
+ , ,
2
2 3 2 3 2 3
Y la ecuacin del plano osculador en (1) = 0, 0, 22 es:
(x (1)) b = 0
!
!
3
1
2
2
, ,
=0
x, y, z
2
2 3 2 3 2 3
2
3
1
1
x+ y z+ =0
2 3
2 3
2 3
2 3
x + 3y
2z + 1 = 0.
2.
3.
1.
k0 (t) 00 (t)k
k0 (t)k3
924
En el ejercicio
1 vimos que 0 (t) = (3t2 + 2t, 2t + 1, 2t)
00 (t) =
0 (1) 00 (1) = (1, 1, 2) (4, 2, 2) = ( 2, 3 2, 2)
q
Por lo tanto,
2 6
2 6
6
=
=
3
2
8
4
6
= 6.
3
1
k(1) =
k(0) =
1
1
= ,
k(0)
6
1 1
(a, b, c) = (0, 0, 0)+ (2, 0, 2) =
6 6
01 (0)
02 (0)
03 (0) = 0
001 (0)
002 (0)
003 (0) 2
y
1
2
z
0
2
2
2
x 13 + y 2 + z 62 =
2x 2z = 0
1
6
!
1
2
, 0,
.
3
6
3.
2x2z = 0.
925
Como
0 (0) = (0, 1, 0)
00 (0) = (2, 2, 2)
000 (0) = (6, 0, 0)
0 (0) 00 (0) = ( 2, 0, 2)
k0 (0) 00 (0)k = 6
6 2
=
= 2.
6
a > 0, t R,
2.
3.
1.
y = a sin t
x2 + y 2 = a2
z = ct
x = a cos
z
c
z = ct
y = a sin
z
c
Un vector tangente es
r0 (t) = (a sin t, a cos t, c).
Como P es la imagen de t = 0, tenemos:
r0 (0) = (0, a, c).
926
= 0
(x a) 0 + (y 0) a + (z 0) c = 0
ay + cz = 0.
3.
r00 (t) = (a cos t, a sin t, 0)
i
j
k
r0 (t) r00 (t) = a sin t a cos t c = (ac sin t)i (ca cos t)j + (a2 )k.
a cos t a sin t 0
q
p
kr0 (t) r00 (t)k = (ac)2 (sin2 t + cos2 t) + a4 = a a2 + c2
p
kr0 (t)k = a2 + c2 .
Captulo 42
Superficies en el espacio
eucldeo
42.1.
El concepto de superficie
2.
a sin
b cos
0
a sin 0
0
1
0
1
1
b cos
1
1
928
2.
1.
Los puntos (0, 0, 0) y (2, 0, 2) son las imgenes por r de (0, 0) y (1, 1),
respectivamente. Tenemos:
ru (u, v) = (1, 1, 2u) ru (0, 0) = (1, 1, 0), ru (1, 1) = (1, 1, 2)
rv (u, v) = (1, 1, 2v) rv (0, 0) = (1, 1, 0), rv (1, 1) = (1, 1, 2)
El vector
i
j k
i
j k
x=0
y=0
z = 2t
La recta normal a S en el punto (2, 0, 2) tiene la direccin del vector
(4, 0, 2) y pasa por (2, 0, 2). Sus ecuaciones paramtricas son
x = 2 + 4t
y=0
z = 2 2t
929
2.
1.
x = 1 + 2t
y=0
z = 2t
2.
x=2
y = 1 2t
z = 2 + 2t
2 (x 1) + 0 (y 0) 2 (z 0) = 0
x z = 1,
42.2.
y + z = 1.
donde b = a 2 y a > 0.
1.
930
2.
Solucin:
1.
Tenemos que
= (a sin , b cos , 0)
t = (0, 1, 1)
Por tanto,
E = h , i = a2 sin2 + b2 cos2
F = h , t i = b cos
G = ht , t i = 2
Por tanto, la matriz de la primera forma fundamental de en el punto
(, t) y en la base { , t } es
2 2
E F
a sin + b2 cos2 b cos
I(,t) =
=
.
F G
b cos
2
2.
=
2
1 E + 2 1(b/2 cos 0 )F + (b/2 cos 0 )2 G 02 E + 2 1 0 F + 12 G
=
=
F b/2 cos 0 G
p
E b cos 0 F + b2 /4 cos2 0 G G
b cos 0 b/2 cos 0 2
p
=0
E b cos 0 F + b2 /4 cos2 0 G G
2.
931
3.
4.
5.
1.
i
j
k
sin v
1 = (u cos v, u sin v, u).
ru rv = cos v
u sin v u cos v 0
2.
E = ru ru = cos2 v + sin2 v + 1 = 2
F = ru rv = u cos v sin v + u cos v sin v = 0
G = rv rv = u2 sin2 v + u2 cos2 v = u2
Sustituyendo para u = 1, v =
E=2
3.
2,
obtenemos
F =0
G = 1.
h = 2, k = 3
Por tanto, w = (2, 3) respecto de la base {ru , rv } de T (P ).
4.
Por un lado,
IP (w) = IP (2, 3) = E 22 + 2F 2 3 + G 32 = 17.
Por otro lado,
kwk2 = (3)2 + 22 + 22 = 17.
932
5.
4
E 2 1 + F (2 0 + 3 1) + G 3 0
p
p
=
17 2
IP (w) IP (ru )
' 0, 8148rad.
Comprobar que se trata de una semicircunferencia contenida en la superficie S del ejercicio anterior.
2.
1.
2
p
1 t2 = 1.
2.
2
p
1 t2 = 12
1>0
p
1 t2 > 0
x2 + y 2 = z 2
z>0
y > 0.
F = 0,
G = u2 .
Sea = (u(t), v(t)) la curva del plano tangente cuya imagen por r es (t),
es decir, (t) = r((t)). La curva : [1, 1] R2 est definida por
1 = u(t)
Entonces,
1
= 0,
1 t2
0
F = 0,
G=1
933
luego
L() =
Z
q
0
Ir( (t)) ( (t))dt =
1 t2
1
,
1 t2
1
dt = ,
1 t2
42.3.
x = (2 + sin u) cos v
y = (2 + sin u) sin v
z = cos u
En conclusin:
Si 0 < u < , entonces r(u, v) es elptico
Si < u < 2, entonces r(u, v) es hiperblico
Si u = 0 u = , entonces r(u, v) es parbolico.
3v sin u v + 3 sin u
,
, cos u ,
r(u, v) =
2
2
934
1
3
tales de S en el punto P 2 , 2 , 0 .
2.
en el punto t =
1
3
sin t,
sin t, cos t
2
2
2.
3.
Calcular,
usando la definicin, la curvatura normal de en el punto
1
3
,
,
0
S.
2 2
4.
Calcular,
1
3
2 , 2 , 0 S.
5.
1
3
,
,
0
.
2 2
Solucin:
1.
Operando, resulta
3
1
ru =
cos u,
cos u, sin u
2
2
1
3
sin u, cos u
ruu = sin u,
2
2
!
3 1
rv =
, ,0
2 2
rvv = (0, 0, 0)
ruv = (0, 0, 0).
El punto P
1
3
2, 2 , 0
es la imagen de u =
2,v
= 0 por r, y sustituyendo
935
obtenemos
ru = (0, 0, 1)
1
3
ruu = ,
,0
2
2
!
3 1
rv =
, ,0
2 2
rvv = (0, 0, 0)
ruv = (0, 0, 0)
ru rv = 0
3
2
kru rv k = 1
ru rv
n=
=
kru rv k
j
0
1
2
k
1
0
1
3
=
,
,0
2 2
1
3
,
,0
2 2
2.
1
3
0
0
(t) =
cos t,
cos t, sin t
= (0, 0, 1)
2
2
2
00
(t) =
1
3
sin t,
sin t, cos t
2
2
00
1
3
,
,0 .
2
2
1
3
00
= ,
K=
,0 ,
2
2
2
mientras que la curvatura es
k = 00
= 1.
2
936
3.
4.
3
1
2, 2 , 0
!
!
1
3
3
1
,
,0
,
, 0 = 1.
2
2
2 2
IIP 0 (/2)
II (1, 0)
L
1
0
= P
kn =
=
=
= 1.
IP (1, 0)
E
1
IP (/2)
5.
1
F G
M N
=0
3
1
,
,
0
2 2
es
1
0 1 = 0.
1 0 0
1
0
1
0
h2
1
0
=0
hk = 0
h = 0 k = 0.
Por lo tanto, las direcciones principales son las correspondientes a los vectores (1, 0) y (0, 1) del espacio tangente.
Las curvaturas normales en estas direcciones (curvaturas principales) son
IIP (1, 0)
L
=
= 1
IP (1, 0)
E
IIP (0, 1)
N
0
k2 =
=
= = 0.
IP (0, 1)
G
1
k1 =
x = (2 + sin u) cos v
y = (2 + sin u) sin v
z = cos u
937
LN M 2
sin u(2 + sin u)
sin u
=
=
.
2
2
EG F
(2 + sin u)
2 + sin u
EN + GL 2F M
sin u(2 + sin u) (2 + sin u)2
1 + sin u
=
=
.
2(EG F 2 )
2(2 + sin u)2
2 + sin u
938
2 sin u| sin u|
N = n rvv = q
cos2 u + (1 + 3 sin2 v) sin2 u
cos2 u(1 + 3 cos2 v) + 4 sin2 u 2 sin u | sin u|2 = sin2 u(1+3 sin2 v)2 sin u
Como sin u cos u sin v cos v = 0 (porque F = 0), resulta que cos u = cos v = 0.
Recprocamente, si cos u = cos v = 0, entonces
E = 4
F = 0
G = 4
L = sin u
M =0
N = sin u
939
udu vdv = 0.
Resolviendo estas dos ecuaciones diferenciales se obtienen tres familias de curvas integrales:
u2 + v 2 = A2
u2 v 2 = B 2
v 2 u2 = C 2
940
Sus imgenes mediante r son las lneas asintticas. Parametrizamos cada curva
integral mediante
u = A cos t
u = B cosh t
u = C sinh t
v = A sin t
v = B sinh t
v = C cosh t
Finalmente, las lneas asintticas son las curvas
A (t) = (A cos t, A sin t, A4 cos 2t), A R
B (t) = (B cosh t, B sinh t, B 4 cosh 2t), B R
C (t) = (C sinh t, C cosh t, C 4 cosh 2t), C R,
donde hemos utilizado
u4 v 4 = (u2 + v 2 )(u2 v 2 )
cos2 t sin2 t = cos 2t
cosh2 t + sinh2 t = cosh 2t.
42.4.
2.
1.
x(u, ) = u +
y(u, ) = u2
z(u, ) = u3 + 2
2y + z = 0.
para todo R.
941
2y + z = 0.
x = cos
y = sin
.
z = c
1.
2.
Estudiar si es desarrollable.
3.
determinando
4.
1.
x = cos 0
y = sin 0
z = c0
que est contenida en la superficie. Como esta recta pasa por cada punto
(x0 , y0 , z0 ) de la superficie correspondiente a los valores (0 , 0 ) de los
parmetros, la superficie es reglada.
2.
0
0
c
942
3.
i
j
k
sin
0 = c sin ic cos j+ k.
w(0, ) = r (, )r (, ) = cos
sin cos c
Para el punto r 2 , 1 = 0, 1, c
el vector es w 2 , 1 = (c, 0, 1) y la
2
ecuacin del plano tangente es
c
= 0 2cz + 2z = c.
c(x 0) + 0(y 1) + 1 z
2
Para el punto r 2 , 0 = 0, 0, c
el vector es w 2 , 0 = (c, 0, 0) y la
2
ecuacin del plano tangente es
x = 0.
Los planos tangentes son diferentes en dos puntos de la generatriz x =
0, y = , z = c
2 , por lo que la superficie no es desarollable.
4.
Ejercicio 321 Determinar la ecuacin de la superficie de revolucin engendrada por la curva x = t, y = t2 , z = t3 al girar alrededor de la recta x = y = z.
Solucin: El punto a = (0, 0, 0) y el vector v = (1, 1, 1) determinan el eje.
Sea (t) = (t, t2 , t3 ). Tenemos:
2
kr ak = k(t) ak
x + y 2 + z 2 = t2 + t4 + t6
(r (t)) v = 0
x + y + z = t + t2 + t3
Para eliminar t, consideramos la ecuacin
(x + y + z)2 = (t + t2 + t3 )2 ,
de donde obtenemos
(x + y + z)2
(x + y + z)2
= t2 + t4 + t6 + 2t2 (t + t2 + t3 )
= x2 + y 2 + z 2 + 2t2 (x + y + z).
Por lo tanto,
t2 =
(x + y + z)2 x2 y 2 z 2
xy + xz + yz
=
,
2(x + y + z)
x+y+z
x + y + z 6= 0.
xy + xz + yz
xy + xz + yz
xy + xz + yz
2
2
2
+
.
x +y +z =
+
x+y+z
x+y+z
x+y+z
943
=
=
1
[0 (u) v(u) + v0 (u) v(u)] v0 (u) =
kru (u, ) r (u, )k
1
[0 (u), v(u), v0 (u)] ,
kru (u, ) r (u, )k
944
Captulo 43
Integrales curvilneas y de
superficie
43.1.
La integral curvilnea
Ejercicio
R 323 Sea g un campo escalar y C una curva. Determinar la integral
de lnea C g d en los siguientes casos:
1.
g(x, y) = xy
2.
3.
1+y 2
y C es la elipse de ecuacin x2 + 2y 2 = 2.
Solucin:
1.
x = 2 cos t
0 t 2.
y = sin t
Teniendo en cuenta que
2 sin t cos t
,
g ((t)) = p
1 + sin2 t
resulta
I
=
=
g d =
g((t)) k0 (t)k dt =
0
C Z 2
2
sin 2t dt = 0.
2 0
2 sin t cos t dt =
945
946
2.
I=
d =
2 dt = 2 2.
C
3.
Z 2
Z
i2 2
p
2h
2t
2t 3/2
4 3/2 4 2
2t
(1 + e )
g d =
2e
1 + e dt =
= (1+e )
I=
.
3
3
3
0
0
C
x = a cos t
t [0, ].
y = b sin t
x2
a2
Dado que se recorre desde (a, 0) hasta (a, 0), el sentido va de a 0. Teniendo
en cuenta que
dx = a sin t
dy = b cos t,
resulta
I
2
a3 cos2 t sin t + b3 sin2 t cos t dt = a3 .
3
C1 =
(x, y, z) R3 : x2 + y 2 + z 2 = a2 , y = 0, x 0, z 0
(x, y, z) R3 : x2 + y 2 + z 2 = a2 , x2 + y 2 ax = 0, y 0, x 0, z 0 .
C2 =
947
x = a2 z 2
z [0, a],
y=0
z=z
a 2
a 2
x
+ y2 =
2
2
y resulta
x = a cos2 t
y = a cos t sin t
z = a sin t
h i
t 0,
,
2
a t = 0.
F IG.pag278problemes
I=
f d =
C1
f d1 +
C1
f d1 =
C2
f d2 .
p
z
2
2
(0, z a z , 0)
, 0, 1 dz = 0.
a2 z 2
2
(2yz 2 , xz 2 , 3xyz) = 2a3 cos t sin3 t, a3 cos2 t sin2 t, 3a3 cos3 t sin2 t ,
su producto escalar es
=
=
=
=
=
5a4 cos2 t sin4 t + 4a4 cos4 t sin2 t = a4 cos2 t sin2 t(5 sin2 t + 4 cos2 t) =
a4
9
cos2 2t (9 sin2 t + 4) = a4 cos2 2t a4 cos2 2t sin2 t =
4
4
9
1
+
cos
4t
1
cos
2t
a4 cos2 2t
=
a4
2
4
2
9
9
1 + cos 4t
1 + cos 4t
a4
a4
+ a4 cos3 2t =
2
8
2
8
9
1 4 1 + cos 4t
+ a4 cos3 2t =
a
8
2
8
1
9
1
a4 a4 cos 4t + a4 (1 sin2 2t) cos 2t.
16
16
8
948
I2
=
=
C2
Z 0
f d =
9 4
1 4
1 4
9 4 2
a a cos 4t + a cos 2t a sin 2t cos 2t dt =
16
16
8
8
/2
a4
.
32
f (x, y) =
(y 1)
x
, 2
2
2
x + (y 1) x + (y 1)2
1.
2.
1.
(y + 1)2 x2
.
[x2 + (y 1)2 ]2
x = 3 cos t
t [0, 2].
y = 1 + 2 sin t
Teniendo en cuenta que dx = 3 sin t dt, dy = 2 cos t dt, resulta
Z
2 sin t
3 cos t
,
(3 sin t, 2 cos t) dt =
9 cos2 t + 4 sin2 t 9 cos2 t + 4 sin2 t
0
Z 2
Z 2
6
6
=
dt
=
dt =
2t+4
2 t + 4 sin2 t
5
cos
9
cos
0
0
/2
Z /2
2 tan t
6
= 2.
dt
=
4
arctan
= 4
5 cos2 t + 4
3
0
0
f d =
949
Z
1 4
1
x y y 3 dy,
x2 y 4 x dx +
4
4
C
donde C es la elipse 2x2 + y 2 = 1 orientada positivamente.
Solucin:
1.
Sean
x = cos
y = sin
0 2
las ecuaciones paramtricas de la circunferencia y M el crculo que determina. Aplicando el teorema de Green
Z
Z Z
P (x, y) dx + Q(x, y) dy =
[D1 Q(x, y) D2 P (x, y)] dx dy
C
resulta
I
= 3
(x3 y 3 ) dx + (x3 + y 3 ) dy =
2
2.
3 d d =
3
.
2
Z Z
(3x2 + 3y 2 ) dx dy =
M
Z Z
Z
1 4
1 4
2
3
x y x dx +
dy =
(x3 y + y 3 x) dx dy.
x yy
4
4
C
M
Utilizando coordenadas polares x = cos , y = sin , y teniendo en cuenta que
2x2 + y 2 = 1
2 (2 cos2 + sin2 ) = 1
1
=
1 + cos2
resulta
I
=
=
=
2
0
2
1/ 1+cos2
5 cos sin d d =
0
1
cos sin (1 + cos2 )3 d d =
6
0
2
1 (1 + cos2 )2
1 2
=
(2 22 ) = 0.
12
2
24
0
950
x = t(t 1)
t [0, 1].
y = t(t3 1)
t [0, 1]
y
dx = 2t 1
dy = 4t3 1,
el valor del rea viene dado por
Z
1 1
t(t3 1)(2t 1) + t(t 1)(4t3 1) dt =
A =
2 0
Z
1 1 5
1
=
(2t 3t4 + t2 ) dt =
.
2 0
30
Ejercicio 329 Determinar el trabajo realizado por el campo
a lo largo de la curva x2 + y 2 + 2z 2 = 4, z + x + 2y = 0.
Solucin: El campo f es un gradiente en todo R2 ya que R2 es un conjunto
estrellado y se cumple la condicin de igualdad de las derivadas cruzadas:
D2 f1 (x, y, z) = D1 f2 (x, y, z) = 4x
D3 f1 (x, y, z) = D1 f3 (x, y, z) = 6x2 z
D3 f2 (x, y, z) = D2 f3 (x, y, z) = 0.
t [0, 1].
951
Entonces,
F (x, y, z) =
2 2
= 2x2 y x3 z 2 + x + 2y z 3 + k.
El trabajo realizado es
2
10
2
F (1, 1, 1) = + 5.
T = F , 0,
3
3
9 3
43.2.
La integral de superficie
x=
x
x [0, 1], z R.
y = 2x x2
z=z
i
j
k
1x
1x
0 =
N(x, y) = 1 2xx
ij
2
2
2x
x
0
0
1
1/2
2
(1 x)
1
kN(x, y)k =
+1
=
.
2
2x x
2x x2
A=2
dx dz,
2x x2
M
donde
M = {(x, z) R2 : 0 x 2, 0 z 2x}.
Observamos
que para cada x fijo, la coordenada z de los puntos del cilindro vara
entre 0 y 2x. Tenemos:
Z 2x
Z 2
Z 2
1
x
dx
dz = 2
dx =
A = 2
2x x2
2x x2
0
0
0
Z 2
2
1
= 2 2
dx = 2 2 2 2 x 0 = 8.
2x
0
952
A=
donde
q
1 + zx2 + zy2 dx dy,
M = {(x, y) R2 : x2 + y 2 2x 0}.
x = cos
y = sin
p
1 2 ,
= {(, ) R2 : 0 , 0 cos }
zy = z y + z y
zx = z x + z x
p
Como = x2 + y 2 , = arctan xy , resulta
x
x
x = p
=
x2 + y 2
y
y
y = p
=
x2 + y 2
y
y
1
y
x =
= 2
y 2 2 = 2
2
x
x +y
1+ x
x
1
x
1
= 2
y =
= 2
y 2
2
x
x
+
y
1+ x
z = p
1 2
Entonces,
1 + zx2 + zy2
Por lo tanto,
Z
z = 0
2
2
x2
y2
+
=
1 2 2
1 2 2
2
1
2
x2 + y 2
=1+
=
= 1+
2
2
1
1 2
1 2
= 1+
h p
icos
p
1 2
d = 2
d =
0
1 2
0
0
0
Z h p
Z
i
1 cos2 + 1 d = 2
= 2
(1 sin ) d = 2( 2).
A = 2
cos
953
2
2
Ejercicio 332 Sea M
1}. Determinar la
R = {(x, y) : x > 0, y > 0, x + y < xyz
integral de superficie S F dS del campo escalar F (x, y, z) = x+y , donde S es la
superficie z 2 = 2xy definida en M .
Solucin: La integral de superficie viene dada por
Z
Z
I=
F dS =
F (x, y, z)kN(x, y)k dx dy.
S
y
x
N(x, y) = (zx , zy , 1) =
,
,1 .
2xy
2xy
Por lo tanto,
1/2
x+y
x2
y2
,
=
+
+1
kN(x, y)k =
2xy 2xy
2xy
y tenemos
I=
F dS =
xyz x + y
dx dy =
x + y 2xy
xy dx dy.
/2
1
8
3 cos sin d d =
0
/2
sin 2 d =
1
.
8
1
4
/2
cos sin d =
i
j
k
x=x
y=y
z =1xy
El vector normal
i j k
N(x, y) = 1 0 1
0 1 1
(x, y) R2 .
=i+j+k
954
S
Z
Z
0, 0, 3(x2 + y 2 ) (1, 1, 1) dx dy =
=
3(x2 + y 2 ) dx dy,
M
donde
M = {(x, y) R2 : x2 + y 2 1}.
Utilizando el cambio a polares x = cos , y = sin , J = , obtenemos
Z 2 Z 1
3
I =3
3 d d =
.
2
0
0
Ntese que es la frontera de la posicin de plano que determina el cilindro.
Ejercicio 334 Aplicar el teorema de Stokes para calcular la integral curvilnea
Z
(y 2 z 2 ) dx + (z 2 x2 ) dy + (x2 y 2 ) dz,
C
p
(basta realizar las operaciones y tener en cuenta que x = x, y = y, z = 4x x2 y 2 )
Z
Z
1
2(y + z, x + z, x + y) (x 2, y, z) dx dy =
I =
rot f n dS =
z
S
M
Z
1
(xy xz yz + y + z) dx dy,
= 4
z
M
donde
M = {(x, y) R2 : (x 1)2 + y 2 1}.
Podemos escribir la integral como
Z
Z
x z 1
I =4
y
(1 x) dx dy.
dx dy + 4
z
M
M
955
La primera integral es nula porque M es simtrico respecto al eje Ox y el integrando es una funcin impar respecto a y. Ntese que z(x, y) = z(x, y).
Calculamos la segunda integral utilizando coordenadas polares:
x 1 = cos
J = .
y = sin
Entonces,
I =4
(1 x) dx dy = 4
2 cos d d = 0.
1 4
3
3
x , xy , xz ,
f=
4
respecto a la esfera de centro (0, 0) y radio 1.
R
R Solucin: Calculemos el valor de las integrales I1 = S f n dS e I2 =
div f dx dy dz y veamos que son iguales.
M
La
integral
I1 es la suma de la integral respecto a la semiesfera superior z1 =
p
1 x2 y 2 , que designamos por S1 ,py la integral respecto a la semiesfera
inferior z2 = (M IRAR SIGN E!!!!!) 1 x2 y 2 , que designamos por S2 .
Las familias N(x, y) de vectores salientes son
!
x
y
1
N(x, y) = p
,p
, 1 = (x, y, z1 ) para S1
z1
1 x2 y 2
1 x2 y 2
!
x
y
1
N(x, y) = p
,p
, 1 = (x, y, z2 ) para S2
2
2
2
2
z
2
1x y
1x y
I1
f n dS1 +
f n dS2 =
S2
Z
1 1 5
1 1 5
4
4
4
4
=
x + xy + xz1 dS1
x + xy + xz2 dS2 =
4
4
S1 z1
S2 z2
Z
Z
1 1 5
1 1 5
4
4
4
4
=
x + xy + xz1 dx dy
x + xy + xz2 dx dy
4
4
M z1
M z2
S1
Z
Z
1 1 5
x 1 4
4
5
4
5
dx dy = 2
dx dy,
I1 = 2
x + xy + xz
x +y +z
4
4
M z
M z
donde
M = {(x, y) R2 : x2 + y 2 1}.
Teniendo en cuenta que M es simtrico respecto al eje Oy y que la funcin
integrando es impar respecto a x, la integral I1 = 0. Ntese que z(x, y) =
956
x = cos sin
y = sin sin
z = cos
obtenemos
I2
=
=
=
=
2
0
2
0
3
2
3
2
1
0
35 cos sin2 d d d =
0
2
J = 2 sin
0
1
35 cos
1 cos 2
d d d =
2
5 cos d d =
1
cos d = 0.
6
Captulo 44
i23 1
b)
d) ei 3 1 (1 + i)3
e)
(1 +
7
3i)
c)
(1+i)100
(1+ 3i)50
3
i
i23 1 = i3 1
= 1 i
(b) Calculando el mdulo y el argumento de z = 1 +
|z| = 2
3, obtenemos
arg z = arctan 3 =
3
Entonces
z7
7
7
+ i sin )
3
3
= 64 + 64 3i
= 27 (cos
z1100
( 2)100
100 50
100 50
=
(cos(
) + i sin(
))
z250
250
4
3
4
3
25
25
= cos + i sin
3
3
957
3i,
958
ei 3
sin
3
3
1
3
i
2
2
= cos
=
Por tanto,
i
3
!
1
3
i (3 2i)
2
2
!
3
3 3
3
=
+1 i
2
2
1 (1 + i)3 =
+ i sin
2
2
/2 + 2k
/2 + 2k
3
i = cos
+ sin
(k = 0, 1, 2)
3
3
i = cos
es decir,
Luego,
i
cos 6 + i sin 6 = 23 +
2
3
5
5
3
i=
cos 6 + i sin 6 = 2 + 12 i
cos 9
9
6 + i sin 6 = i
1 23 + 12 i = 22 3 12 i
3
3
1
1 i=
1
+
i
= 2+2 3 12 i
2
2
1i
Ejercicio 337 Hallar el lugar geomtrico descrito por el afijo M de z que satisface la siguiente relacin
z2
=0
Re
z+4
Solucin: Supongamos que
z = x + yi
Entonces
z2
z+4
=
=
=
=
x 2 + yi
x + 4 + yi
x 2 + yi x + 4 yi
x + 4 + yi x + 4 yi
x2 + y 2 + 2x 8 + 6yi
(x + 4)2 + y 2
2
x + y 2 + 2x 8
6y
+
i
(x + 4)2 + y 2
(x + 4)2 + y 2
z2
z+4
959
x2 + y 2 + 2x 8
(x + 4)2 + y 2
1
z
=
=
=
1
z
1
x + iy
x
y
+
i
x2 + y 2 x2 + y 2
x
x2 + y 2
v=
y
x2 + y 2
Por tanto, su imagen por dicha transformacin viene dada por la ecuacin
v=
1
4
7
x2 +y2
=0
Luego, tenemos
2u 3v 7(u2 + v 2 ) = 0
ya que
u2 + v 2 =
1
x2 + y 2
960
=
=
=
2 + bi
1 + di
2 + bi 1 di
1 + di 1 di
2 + bd b 2d
+
i
1 + d2 1 + d2
entonces
2 + bd = 0
y, de
b+d=2
2 + bd = 0
se deduce
d2 2d 2 = 0
z1 = 2 + (1
3)i
z2 = 1 + (1 + 3)i
z2 = 1 + (1 3)i
2 + (1 + 3)i
(u + iv)2 = x + iy
u v 2 + 2uvi = x + iy
2
Por tanto,
x = u2 v 2
y = 2uv
x=1
x = 1
y=1
y = 1
x2 + y 2 = 1
=
=
=
=
=
u2 v 2 = 1
u2 v 2 = 1
2uv = 1
2uv = 1
u2 + v 2 = 1
961
962
Ejercicio 341 Hallar el lugar geomtrico del afijo de z = x + iy, sabiendo que
los afijos de los nmeros complejos 1, z, 1 + z 2 estn alineados.
Solucin: El afijo de 1, es A = (1, 0), el de z, B = (x, y) y como
1 + z2
= 1 + (x + iy)2
= 1 + x2 y 2 + 2xyi
x2 y 2
2xy
=
=k
x1
y
(x2 y 2 )y
(x2 + y 2 2x)y
= (x 1)2xy
= 0
963
= z + w1
= z + w2
= z + w3
= z + w4
=3i
= 4 + 2i
= 1 + 3i
=0
Ejercicio 343 Probar que si los vrtices de un tringulo equilatero son los afijos
de los nmeros complejos z1 , z2 y z3 , entonces se cumple
z12 + z22 + z32 = z1 z2 + z1 z3 + z2 z3
964
o sea,
w6 + 6w5 + 15w4 + 20w3 + 15w2 + 6w = 0
44.2.
965
(c) z1
(a) |z 5i| = 8
(b) |z 2| = |1 2z|
z+1 1
Solucin: (a) Se trata de la circunferencia de centro (0, 5) y radio 8.
(b) Se trata de la circunferencia de centro el origen y radio 1.
(c) Se trata del semiplano cerrado x 0.
1
n
+ i(1 + n2 )
(b) zn =
n
2n+1
n2 i
2n2 +3
(c) zn =
in
n2
2
1
+ i lm 1 +
= lm 1
n
n
= 1+i
lm zn
(b) Se cumple
n
2n + 1
1 1
+ i
2 2
= lm
lm zn
+ i lm
n2
2
2n + 3
i
1
i 1 i
1
i
, 2 , 2 , 2 , 2 , 2 , 2 , ...)
2
1
2
3 4 5
6
7
Por tanto,
un = (
y
i
(1)n+1
i i
i
,
,
,
,
...,
, ...)
12 32 52
72
(2n 1)2
vn = (
1 1
1
(1)n
,
,
,
...,
, ...)
22 42 62
(2n)n
son dos parciales que convergen hacia 0. Adems, la sucesin dada converge
tambin hacia 0, pues
i
0 = 1
n2
n2
n0
X cos n
3
2n
n0
966
sin n
1
n
n
3
lm
lm
2n n+
n+
2n
1
<1
2
sin n
n
3
lm
n+
2n
r
n
lm
n+
1
2n
1
<1
2
X cos n
3
2n
b=
n0
X sin n
3
2n
n0
Entonces,
a + ib =
lm
n+
n
X
cos k
3
k=0
2k
+i
n
X
sin k
3
k=0
2k
n
k
X
cos k
3 + i cos 3
=
lm
n+
2k
k=0
n
X
ei 3
n+
2k
k=0
n i k
X
e 3
=
lm
n+
2
k=0
i n+1
1 e 23
=
lm
i
n+
1 e 23
1
=
i
1 e 23
3
= 1+
i
3
=
Por tanto,
lm
X cos n
3
=1
2n
n0
X sin n
3
3
=
2n
3
n0
Ejercicio 348 Decir si converge cada una de las siguientes series, y tambin
si converge absolutamente:
967
X (1 + i)n
n!
n1
2.
X in
n
n1
3.
X ln n
(1 + in )
n
n2
(1 + i)n ( 2)n
=
n!
n!
y la serie
X ( 2)n
n!
n1
es convergente como puede comprobarse enseguida aplicando el criterio del cociente o de la raz, la serie dada es absolutamente convergente y, por tanto,
convergente.
(2) La serie no es absolutamente convergente ya que la serie
X in X 1
=
n
n
n1
n1
es divergente. Sin embargo, la serie dada converge, ya que los trminos reales
forman la serie
X (1)n
1 1 1 1
+ + =
2 4 6 8
2n
n1
X (1)n+1
1 1 1
+ + =
3 5 7
2n 1
n1
968