You are on page 1of 122

Captulo 34

El espacio eucldeo
34.1.

El espacio eucldeo n-dimensional

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

Solucin: La desigualdad de Cauchy-Schwarz dice que


2 X
X
X
wi2
yi2 .
wi yi

Aplicando esta desigualdad a los numeros wi = xi zi e yi se obtiene


2 X
X
X
(xi zi )2
yi2 .
xi yi zi

Aplicndolo de nuevo a x2i y zi2 se sigue que


X
X 1/2 X 1/2
2 X
X
X

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

Elevando al cuadrado ambos miembros obtenemos el resultado. (Hemos utilizado


el hecho de que si a, b 0, entonces a b si y slo si a2 b2 ).
Ejercicio 223 (Mtrica lexicogrfica) Sea M el conjunto de todas las palabras, cada una de las cuales consiste en un octeto ordenado de ceros y unos:
w = (w1 , w2 , w3 , w4 , w5 , w6 , w7 , w8 )

donde cada bit cumple wk = 0 1.

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

Los autores, 2002; Edicions UPC, 2002.

848

CAPTULO 34. EL ESPACIO EUCLDEO

1.

Est claro que d(v, w) 0 para todo v, w M .

2.

Por definicin de d, est claro que d(v, w) = 0 si y slo si v = w, puesto


que d(v, w) = 0 quiere decir que v y w no difieren en ningn lugar.

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.

Para probar la desigualdad triangular, usaremos la siguiente expresin:


d(v, w) =

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

= d(v, u) + d(u, w).

8
X

k=1

|vk uk | +

8
X

k=1

|uk wk | =

Ejercicio 224 (Mtrica acotada) Si d es una mtrica sobre un conjunto M


y (x, y) se define mediante
(x, y) =

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.

Como d(x, y) 0 para todo x, y M (por ser d una mtrica), entonces


tambin (x, y) 0 para todo x, y M .

2.

(x, y) = 0

3.

(x, y) =

4.

Para probar la desigualdad triangular, consideremos la funcin

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

Es una funcin creciente, y como d(x, y) d(x, z) + d(z, y), entonces


tenemos:
(x, y) =

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)

Los autores, 2002; Edicions UPC, 2002.

34.1. EL ESPACIO EUCLDEO N -DIMENSIONAL

849

Ejercicio 225 (Norma del taxi) Demostrar que


k(x, y)k1 = |x| + |y|
es una norma en R2 . El nombre proviene de la distancia asociada: si P = (x, y)
y Q = (a, b), entonces
d1 (P, Q) = kP Qk1 = |x a| + |y b| .
o sea, la suma de las separaciones vertical y horizontal. sta es la distancia que
se debe recorrer para llegar de P a Q si siempre se viaja paralelamente a los
ejes (que es lo que hace un taxi al recorrer las calles).
Solucin: Veamos que se cumplen las propiedades de las normas:
1.

Est claro que k(x, y)k 0 para todo (x, y) R2 .

2.

k(x, y)k = 0 |x| + |y| = 0 |x| = 0, |y| = 0 x = 0, y =


0 (x, y) = (0, 0).

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

Ejercicio 226 (Funciones continuas) Sea C([0, 1]) el espacio vectorial de


todas las funciones reales continuas sobre el intervalo [0, 1]. Demostrar que
Z 1
hf, gi =
f (x) g(x) dx.
0

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

para toda f C([0, 1]).

2.
hf, f i = 0

1
0

f 2 (x) dx = 0 f 2 (x) = 0

para toda x [0, 1] f = 0.

Los autores, 2002; Edicions UPC, 2002.

850

CAPTULO 34. EL ESPACIO EUCLDEO

3.
Z

hf, gi =

1
0

(f )(x) g(x) dx =

f (x) g(x) dx =

f (x) g(x) dx = hf, gi.

4.
hf, g + hi =
=

f (x) (g + h)(x) dx =

f (x) (g(x) + h(x)) dx =

f (x) g(x) + f (x) h(x) dx =

f (x) g(x) dx +

= hf, gi + hf, hi.


5.
hf, gi =

34.2.

f (x) g(x) dx =

f (x) h(x) dx =

g(x) f (x) dx = hg, f i

La topologa del espacio eucldeo

Ejercicio 227 Sea M un conjunto arbitrario y definamos la mtrica discreta


d0 en M mediante

0 si x = y
d0 (x, y) =
.
1 si x 6= y

Demostrar que todo conjunto A M es abierto.


Solucin: Dado x A, D(x, 1/2) = {x} A; por definicin, esto implica
que A es abierto.

Ejercicio 228 Sean (M, d) un espacio mtrico y A M un conjunto finito.


Sea
B = {x M | d(x, y) 1 para algn y A}.

Demostrar que B es cerrado.


Solucin: Veremos que M \B es abierto. Sea z M \B, de modo que
d(z, y) > 1 para todo y A. Sean y1 , . . . , yN los puntos de A; entonces,
d(z, yi ) > 1 para i = 1, . . . , N . Sea
= mn{d(z, y1 ) 1, . . . , d(z, yN ) 1}
Sabemos que > 0. Si d(x, z) < /2,la desigualdad triangular muestra que
d(x, yi ) + d(x, z) d(yi , z)

d(x, yi ) d(yi , z) /2,

lo cual, por la construccin de , es estrictamente mayor que 1. As, D(z, )


M \B, luego M \B es abierto y B es cerrado.

Los autores, 2002; Edicions UPC, 2002.

34.2. LA TOPOLOGA DEL ESPACIO EUCLDEO

851

Ejercicio 229 Es cierto en un espacio mtrico general (M, d) que


int {y M | d(y, x0 ) r} = {y M | d(y, x0 ) < r}
dados x0 M y r > 0?
Solucin: No. Por ejemplo, consideremos un conjunto M con la mtrica
discreta, x0 M y r = 1. Entonces {y M | d(y, x0 ) 1} = M , por lo que
su interior es todo M . Por otro lado, {y | d(y, x0 ) < 1} = {x0 }, que no es M si
ste tiene ms de un punto.
Ejercicio 230 Demostrar que una sucesin acotada xn de puntos distintos en
R tiene un punto de acumulacin; es decir, el conjunto {x1 , x2 , ...} tiene un
punto de acumulacin.
Solucin: Sabemos que para toda sucesin xn , existe una subsucesin (que
denotamos xnk ) de xn que converge: xnk x. Entonces, x es un punto de acumulacin, puesto que para cada > 0, D(x, ) contiene a xnk con nk suficiente
grande (por definicin de convergencia) y al menos uno de los trminos xnk es
distinto de x, ya que los xnk son todos distintos.
Ejercicio 231 Dado un subconjunto A de un espacio mtrico, demostrar que
x cl(A) si y slo si inf{d(x, y) | y A} = 0.
Solucin: En primer lugar, sean x cl(A) y = inf{d(x, y) | y A}.
Si x A, entonces tomamos x = y y obtenemos = 0. Si x es un punto de
acumulacin de A, entonces para cada > 0 existe y A tal que d(x, y) < .
As, de nuevo, = 0. Recprocamente, si = 0 y x
/ A, entonces para cada
> 0 existe y A tal que d(x, y) < (por las propiedades del nfimo), de modo
que x es un punto de acumulacin de A y entonces x cl(A).
Ejercicio 232 Sea S = {(x1 , x2 ) R2 | |x1 | 1, |x2 | < 1}. Es S abierto,
cerrado o ninguna de las dos cosas? Cul es el interior de S?
Solucin: S no es abierto, pues no existe ningn entorno con centro en los
puntos de S con x1 = 1 que est totalmente contenido en S. Por otro lado, S
no es cerrado, pues
R2 \S = {(x1 , x2 ) R2 | |x1 | > 1 |x2 | 1}
y no existe ningn entorno centrado en un punto de R2 \S con x2 = 1 que est
contenido en R2 \S.

Los autores, 2002; Edicions UPC, 2002.

852

CAPTULO 34. EL ESPACIO EUCLDEO

Tambin podemos ver que S no es cerrado si observamos que la sucesin


(0, 1 1/n), contenida en S, converge al punto (0, 1), que no est en S.
Afirmamos que int(S) = {(x1 , x2 ) R2 | |x1 | < 1, |x2 | < 1}, lo que verificamos mostrando que los elementos de este conjunto son los puntos interiores
de S : Si |x1 | < 1 y |x2 | < 1, entonces el disco con centro en (x1 , x2 ) y radio
r = mn{1 |x1 |, 1 |x2 |} est en S. Como ya hemos visto, los dems puntos
de S no son puntos interiores.
Ejercicio 233 Demostrar que si x es un punto de acumulacin de un conjunto
S Rn , entonces todo conjunto abierto que contenga a x contiene a su vez
infinitos puntos de S.
Solucin: Usaremos el mtodo de reduccin al absurdo. Supongamos que
existe un conjunto abierto U que contiene a x pero solamente un nmero finito
de puntos de S. Sean x1 , x2 , . . . , xm los puntos de S contenidos en U distintos
de x. Sea el mnimo de los nmeros d(x, x1 ), d(x, x2 ), . . . , d(x, xm ), de modo
que > 0. Entonces D(x, ) no contiene puntos de S distintos de x, lo que
contradice el hecho de que x es un punto de acumulacin de S.
Ejercicio 234 Sea (E, d) un espacio mtrico y A, B dos subconjuntos cualesquiera de E. Estudiar si se verifican las siguientes relaciones, probndolas
en el caso de que sean ciertas y poniendo un contraejemplo en el caso de que
sean falsas.
1.

cl(A B) cl(A) cl(B)

2.

cl(A) cl(B) cl(A B)

3.

A cl(B) cl(A B)

4.

A cl(B) = cl(A) B

5.

A cl(B) cl(A B).


Solucin:

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) cl(B) = {1}.

cl(A B) = .

Por otro lado,


AB =
3.

Es cierto:
A A B cl(A B)
B A B cl(B) cl(A B)

Los autores, 2002; Edicions UPC, 2002.

A 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 235 Probar que toda sucesin convergente de un espacio mtrico es


acotada.
Solucin: Sea (an ) una sucesin convergente a l en un espacio mtrico
(M, d). Dado > 0, existe un nmero natural n0 tal que si n > n0 , entonces
d(an , l) < . Por lo tanto, fuera del disco D(l, ), se encuentran un nmero finito
de trminos a1 , a2 , . . . , an0 . As pues, toda la sucesin est contenida en el disco
D(l, r), donde r es la mayor de las distancias de l a los trminos a1 , a2 , . . . , an0 .

Ejercicio 236 Sea (xn ) una sucesin en un espacio mtrico (M, d) convergente
a x. Demostrar:
1.

Toda subsucesin de (xn ) converge a x.

2.

Si (yn ) es otra sucesin de M tal que d(xn , yn ) <


verge a x.

3.

(xn ) converge a un nico punto de acumulacin que forzosamente ha de


ser x.

1
n,

entonces (yn ) con-

Solucin:
1.

Sea (xnk ) una subsucesin de (xn ) y > 0. Como lm xn = x, dado > 0


existe n0 N tal que si n > n0 , se tiene d(xn , x) < . Por lo tanto, si
nk > n0 , se tiene d(xnk , x) < .

Los autores, 2002; Edicions UPC, 2002.

854

CAPTULO 34. EL ESPACIO EUCLDEO

2.

Sea > 0. Como (xn ) converge a x, dado /2 existe n0 N tal que si


n > n0 , se tiene d(x, xn ) < /2. Como d(xn , yn ) < 1/n y (1/n) converge
a 0, dado /2 existe n1 N tal que si n > n1 , se tiene
1

< .
n
2
Entonces para todo n > max{n0 , n1 } se tiene
d(xn , yn ) <

d(yn , x) d(yn , xn ) + d(xn , x) < .


3.

Si (xn ) tuviera otro punto de acumulacin y 6= x, y sera lmite de una


subsucesin de (xn ), lo que contradice el apartado a, luego x = y.

Ejercicio 237 Razonar que la sucesin de trminos reales


1
1 1
1 1
1 1
1, , 1 , , 1 , , 1 , , . . .
2
3 4
5 6
7 8
no es convergente.
Solucin: La subsucesin
1 1 1 1
, , , ,...
2 4 6 8
converge a 0. La subsucesin
1
1
1 ,1 ,1
3
5
converge a 1. Por tanto, la sucesin no tiene
subsucesiones tendran que converger a l.

1
,...
7
lmite, pues si existiera, todas las

Ejercicio 238 Sea la sucesin de elementos de M = C[0, 1]

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.

Probar que (fn ) no tiene lmite en (M, d1 ).

2.

Probar que (fn ) tiene lmite f (x) = 0 en (M, d2 ).


Solucin:

1.

La sucesin converge puntualmente a la funcin

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.

Los autores, 2002; Edicions UPC, 2002.

34.4. COMPLETITUD
2.

855

La sucesin converge a f (x) = 0, ya que

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

Por tanto, (a2n ) es una sucesin de Cauchy en E. Sin embargo, (a2n ) no es


convergente: si b = ap fuera el lmite de (a2n ), la sucesin de las distancias
d(b, a2n ) tendra que converger a 0 y converge a p1 :

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!

es de Cauchy, pero no es convergente y como consecuencia (Q, d) no es completo.


1
1
1
1
, entonces
Solucin: Si xn = 0!
+ 1!
+ 2!
+ + n!
n+p
X 1
1
1
1
|xn xn+p | = xn =
,
+
+ +
<
(n + 1)! (n + 2)!
(n + p)! i=n+1 2i

Los autores, 2002; Edicions UPC, 2002.

856

CAPTULO 34. EL ESPACIO EUCLDEO

que tiende a 0 cuando n y p tienden a . Por tanto, (xn ) es de Cauchy. Pero


no es convergente en Q: recordamos que la serie de Taylor de f (t) = et es
et =

n
X
t
n!
n=0

e=

X
1
n!
n=0

y la sucesin asociada a la serie tiene por trmino general


xn =

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

Ejercicio 242 Demostrar, usando la definicin, que los siguientes conjuntos


no son compactos:
1.

El conjunto R de los nmeros reales.

2.

Un intervalo abierto (a, b) R.

3.

El disco abierto D(0, r) Rn .

Solucin: Deberemos encontrar un recubrimiento abierto de cada uno de


los conjuntos del cual no se pueda extraer un subrecubrimiento finito.

Los autores, 2002; Edicions UPC, 2002.

34.5. CONJUNTOS COMPACTOS

857

1.

Para ver que R no es compacto, consideremos la familia U de intervalos


abiertos {(z 1, z + 1)}, z Z, que es un recubrimiento abierto de R. Si
se suprimiese algn intervalo, por ejemplo (z0 1, z0 + 1), quedara sin
recubrir z0 , por lo que U no admite ningn subrecubrimiento, finito o no.
Por tanto, R no es compacto.

2.

Para ver que (a, b) R no es compacto, consideremos la familia de intervalos abiertos


U = {(a +

ba
ba
,b
)},
n
n

n 2.

U es un recubrimiento abierto de (a, b), ya que si x0 (a, b), basta tomar


ba
n > max{ xba
, ba } para que x0 (a + ba
n , b n ). Por otra parte, si
0 a bx0
existiese un subrecubrimiento finito, sera de la forma
{(a +

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.

Para ver que D(0, r) Rn no es compacto, consideremos la familia de


discos abiertos
r
U = {D(0, r )}, n > 1.
n
Esta familia es un recubrimiento abierto de D(0, r), ya que si x D(0, r),
r
entonces x D(0, r
entonces d(0, x) < r; por lo tanto, para n > rd(0,x)
r
).
Como
en
el
caso
b,
si
existiese
un
subrecubrimiento
finito, habra un
n
disco D(0, r nr0 ) que contendra a las dems y los puntos de D(0, r) no
pertenecientes a D(0, r nr0 ) quedaran sin recubrir. Por tanto, D(0, r)
Rn no es compacto.

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.

Los autores, 2002; Edicions UPC, 2002.

858

CAPTULO 34. EL ESPACIO EUCLDEO

Ejercicio 244 Sea M = C[0, 1] con la norma del mximo:


kf k = m
ax{|f (x)| : x [0, 1]}.
Demostrar que el subespacio de los polinomio no es compacto.
Solucin: La sucesin de polinomios {Pn (x)} definida por
Pn (x) = 1

x2 x3
xn
x

+
+ + (1)n
1!
2!
3!
n!

converge a la funcin f (x) = ex , ya que se trata de su sucesin de polinomios


de Taylor en x = 0 y se cumple
f (x) =

(1)n

n=0

xn
n!

para todo x [0, 1].

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.

Probar que si E es compacto, entonces es finito.


Solucin: Si E fuese infinito, no podra ser compacto, ya que del recubrimiento por discos abiertos
1
{D(x, ) : x E}
2
no podemos suprimir ninguno, porque qudara sin recubrir su centro (ya que
cada disco slo contiene su centro).

34.6.

Conjuntos conexos

Ejercicio 246 Estudiar si una parte de R distinta de un intervalo es conexa.


Solucin: Si una parte A de R no es un intervalo, existen dos puntos distintos x, y A tales que el segmento [x, y] no est contenido en A. Sea z [x, y],
tal que z
/ A. Los conjuntos (, z) y (z, ) son abiertos, y forman una
separacin de A:
A (, z) y A (z, ) son disjuntos, ya que (, z) y (z, ) lo son.
A (, z) y A (z, ) son no vacos: por ejemplo, x A (, z)
e y A (z, ).
A (, z) (z, ), ya que z
/ A.
Por lo tanto, A no es conexo.

Los autores, 2002; Edicions UPC, 2002.

34.6. CONJUNTOS CONEXOS

859

Ejercicio 247 Es conexo el conjunto H = { n1 : n N}?


Solucin: El conjunto H = { n1 : n N} no es conexo, ya que los conjuntos
U
V

1
= D(1, )
8
3
= D(0, )
4

forman una separacin de H:


U y V son abiertos.
H U y H V son disjuntos, ya que U y V lo son.
H U y H V son no vacos: por ejemplo, 1 H U y
H U V, ya que 1 U y H\{1} V

Los autores, 2002; Edicions UPC, 2002.

1
2

H V.

860

CAPTULO 34. EL ESPACIO EUCLDEO

Los autores, 2002; Edicions UPC, 2002.

Captulo 35

Funciones continuas
35.1.

Propiedades locales de las funciones continuas

Ejercicio 248 Sea D(f ) = R y sea f la funcin cuadrtica definida como


f (x) = x2 , x R. Demostrar que f es continua en todo punto de R.
Solucin: Sean a un elemento de R y > 0; entonces,

|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

() =

Supongamos ahora que a 6= 0, y encontraremos una cota para |x + a| en un


entorno de a. Por ejemplo, si |x a| < |a|, entonces 0 < |x| < 2 |a| y
|x + a| |x| + |a| < 2 |a| + |a| < 3 |a| .
De aqu se obtiene
|f (x) f (a)| 3 |a| |x a| ,

}, entonces
siempre que |x a| < |a|. Por tanto, si se define () = inf{|a| , 3|a|
cuando |x a| < (), se cumple:

|f (x) f (a)| 3 |a| |x a| < 3 |a|

= .
3 |a|

Ejercicio 249 Sea D(f ) = {x R : x 6= 0} y definimos f como f (x) =


para toda x D(f ). Demostrar que f es continua en su dominio.
Solucin: Si x D(f ), entonces

1
1 |x a|

|f (x) f (a)| = =
.
|ax|
x a
861

Los autores, 2002; Edicions UPC, 2002.

1
x,

862

CAPTULO 35. FUNCIONES CONTINUAS

Observamos que si |x a| <


|f (x) f (a)| =

1
2

|a|, entonces

1
2

|a| < |x| y se tiene

1 |x a|
2 |x a|
2

=
= 2 |x a| .
|x|
|a|
|a|
|a|
|a|
2

Por tanto, basta tomar () = inf{ 12 |a| , |a|2 }.


Ejercicio 250 Sea D(f ) = {x R : x > 0}. Definimos la siguiente funcin en
D(f ):

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

Por tanto, f es continua en el nmero irracional a.


En conclusin, f es continua precisamente en los puntos irracionales de su
dominio.
Ejercicio 251 Sea D(f ) = R2 y definimos f de la forma
f (x, y) = (x2 + y 2 , 2xy)
Demostrar que f es continua en todo punto (a, b) R2 .
Solucin: Sea (a, b) un punto de R2 . Entonces

kf (x, y) f (a, b)k = (x2 + y 2 , 2xy) (a2 + b2 , 2ab) =

= (x2 + y 2 a2 b2 , 2xy 2ab) =


p
(x2 + y 2 a2 b2 )2 + (2xy 2ab)2 .
=

Examinaremos por separado los dos trminos de la derecha de dentro la raz.


Por la desigualdad triangular, se tiene

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

Los autores, 2002; Edicions UPC, 2002.

35.1. PROPIEDADES LOCALES DE LAS FUNCIONES CONTINUAS 863


y tambin |y| |b| + 1, de manera que
|y + b| |y| + |b| 2 |b| + 1.
Por lo tanto, se tiene
2

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 .

De manera anloga se tiene


|2xy 2ab| =

2 |xy xb + xb ab| 2(|xy xb| + |xb ab|)


2 |x| |y b| + 2 |b| |x a|
2 |x| k(x, y) (a, b)k + 2 |b| k(x, y) (a, b)k
2(|a| + 1) k(x, y) (a, b)k + 2 |b| k(x, y) (a, b)k
2(|a| + |b| + 1) k(x, y) (a, b)k .

As pues, si k(x, y) (a, b)k < 1, entonces

p
(x2 + y 2 a2 b2 )2 + (2xy 2ab)2

2 sup x2 + y 2 a2 b2 , |2xy 2ab|

2 2(|a| + |b| + 1) k(x, y) (a, b)k

kf (x, y) f (a, b)k

Por lo tanto, basta establecer

;
() = 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.

Los autores, 2002; Edicions UPC, 2002.

864

35.2.

CAPTULO 35. FUNCIONES CONTINUAS

Funciones lineales

Ejercicio 253 Una aplicacin multilineal L de Rn1 Rn2 Rnk


es una transformacin tal que para cada r, 1 r k, cumple

a Rm

L(a1 , a2 , . . . , ar +br , . . . , ak ) = L(a1 , a2 , . . . , ar , . . . , ak )+L(a1 , a2 , . . . , br , . . . , ak ),


donde ai Rni , br Rr y R. Demostrar que una aplicacin multilineal
es continua.
n
n
Solucin: Sea eP
1 , . . . , en la base cannica de R y, para cada x R , sea
n
1
n
i
m
x = (x , . . . , x ) = i=1 x ei . Definimos los elementos de R i1 ,...,ik para los
enteros ij tales que 1 ij nj , j = 1, . . . , k como i1 ,...,ik = L(ei1 , . . . , eik ).
Afirmamos que
L(x1 , . . . , xk ) =

n1
X

i1 =1

nk
X

ik =1

i1 ,...,ik xi11 xikk ,

que es el anlogo a la expresin de una funcin lineal en trminos de una matriz.


En efecto, por la multilinealidad,
n
!
n1
1
X
X
j1
x1 ei1 , x2 , . . . , xk =
xj11 L(ei1 , x2 , . . . , xk ).
L(x1 , . . . , xk ) = L
i1 =1

i1 =1

El resultado se obtiene al repetir la operacin k veces.


Esta frmula muestra claramente que L es continua, puesto que las funciones
xi11 a xikk son productos de funciones continuas y son, por tanto, continuas, y L
es una suma de estas funciones.

35.3.

Propiedades globales de las funciones continuas

Ejercicio 254 Sea f : R2 R continua y sea A = {f (x) : kxk = 1}.


Demostrar que A es un intervalo cerrado, es decir, un conjunto de la forma
[a, b].
Solucin: Est claro que A = f (S), donde S = {x R2 : kxk = 1} es la
circunferencia unidad. Como S es conexo y compacto, por el teorema de conservacin de conexidad y compacidad, sabemos que A es conexo y compacto.
En la unidad El espacio euclideo n-dimensional vimos que los nicos subconjuntos conexos de R son los intervalos, y los nicos intervalos compactos son los
cerrados. As pues, A tiene que ser de la forma [a, b].
Ejercicio 255 Sea f : [1, 2] [0, 3] una funcin continua que satisface f (1) =
0 y f (2) = 3. Demostrar que f tiene un punto fijo. Es decir, demostrar que
existe un punto x0 [1, 2] tal que f (x0 ) = x0 .
Solucin: Sea g(x) = f (x) x. Entonces g es continua, y cumple:
g(1) = f (1) 1 = 0 1 = 1
g(2) = f (2) 2 = 3 2 = 1
Por lo tanto, por el teorema del valor intermedio de Bolzano, g debe anularse
en algn x0 [1, 2] y este x0 es un punto fijo de f .

Los autores, 2002; Edicions UPC, 2002.

35.4. CONTINUIDAD UNIFORME Y PUNTOS FIJOS

865

Ejercicio 256 Sea f : A M N continua. Si K A es un conjunto


conexo, demostrar que la grfica de f , {(x, f (x)) : x K}, es conexa en M N .
Solucin: Consideremos la siguiente funcin:
g :K M M N
g(x) 7 (x, f (x))
Por el ejercicio 5 de la seccin Propiedades locales de las funciones continuas,
sabemos que g es continua porque cada una de sus componentes lo es. Pero
g(K) = {(x, f (x)) : x K},
y la imagen de un conjunto conexo es conexa, por el teorema de conservacin
de conexidad.

35.4.

Continuidad uniforme y puntos fijos

Ejercicio 257 Dada la funcin f (x, y) = x2 + y 2 ,


1.

Probar que f es uniformemente continua en cualquier rectngulo abierto


(a, b) (c, d).

2.

Probar, utilizando sucesiones, que f no es uniformemente continua en todo


R2 .
Solucin:

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.

Los autores, 2002; Edicions UPC, 2002.

866

CAPTULO 35. FUNCIONES CONTINUAS

Ejercicio 258 Estudiar si las siguientes funciones son contractivas y calcular


sus puntos fijos:
1.

f : (0, 1) (0, 1) definida por f (x) =

3x
4 .

2.

f : (0, 1) (0, 1) definida por f (x) =

3x2
4 .

3.

f : R R definida por f (x) = x2 1.


Solucin:

1.

La funcin f es contractiva, ya que

3x 3y 3

|x y| .

4
4 4
El punto fijo sera solucin de la ecuacin
3
x=x
4

x=0

pero 0 no pertenece al intervalo abierto (0, 1), luego f no tiene puntos


fijos.
2.

La funcin f es de Lipschitz pero no contractiva:

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

Pero ninguno de los dos puntos pertenece a (0, 2).


3.

La funcin f no es de Lipschitz:

2
x 1 (y 2 1) = x2 y 2 = |x + y| |x y| ,

y el trmino |x + y| no est acotado en R. Veamos si tiene algn punto


fijo:
(

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.

Los autores, 2002; Edicions UPC, 2002.

35.5. TEOREMAS DE APROXIMACIN

35.5.

867

Teoremas de aproximacin

Ejercicio 259 (Lema de Dini) Sea A Rn compacto y fk una sucesin de


funciones continuas fk : a R tales que fk (x) 0 para x A, fk 0
puntualmente y fk (x) fl (x) si k l. Demostrar que fk 0 uniformemente.
Solucin: Dado > 0, queremos encontrar N tal que |fk (x)| < para todo
k N y x A. Para cada x A, encontramos Nx tal que |fk (x)| < 2 si
k Nx , ya que fk 0 puntualmente. Escribiremos Nx para enfatizar que
este nmero depende de x. Por la continuidad de fk (x), existe un entorno Ux,k
de x tal que |fk (y) fk (x)| < 2 para y Ux,k . Los entornos Ux,Nx forman un
recubrimiento de A. Dado que A es compacto, existe un subrecubrimiento finito,
digamos, centrado en x1 , . . . , xM . Sea N = max{Nx1 , . . . , NxM }, y sean x A
y k N . Entonces x Ux,l para algn l, de modo que |fN1 (x) fNl (x)| < 2 .
As pues, usando las hiptesis,
0 fk (x) fN (x) fNl (x) = fNl (xl ) + (fNl (x) fNl (xl )) <


+ = .
2 2

Por lo tanto, |fk (x)| < para todo k N y todo x A, y as tenemos la


convergencia uniforme.

35.6.

Lmites de funciones

Ejercicio 260 Considerando subconjuntos apropiados, demostrar que no existe


el lmite de f en (0, 0) en los casos siguientes:
1.

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

si (x, y) 6= (0, 0).


si (x, y) 6= (0, 0).
si y 6= x.

si (x, y) 6= (0, 0).

Solucin:
1.

Tomamos lmites direccionales segn la familia de rectas y = mx:


lm

(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

Para cada recta tiene un valor distinto, ya que depende de m. As pues,


el lmite no existe.
2.

Tomamos lmites a travs de la familia de parbolas y = mx2 :


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

A travs de cada parbola el lmite tiene un valor diferente. Por tanto, el


lmite no existe.

Los autores, 2002; Edicions UPC, 2002.

868

CAPTULO 35. FUNCIONES CONTINUAS

3.

Tomamos lmites a travs de la familia de rectas y = mx, salvo m = 1 en


donde f no est definida:
lm

(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

El lmite depende de m, luego no existe.


4.

Tomamos lmites a travs de la familia de cbicas x = my 3 :


lm

(x,y) (0,0)

m
my 6
.
=
y 0 y 6 (1 + m2 )
1 + m2

f (x, y) = lm

El lmite depende de m, luego no existe.

Ejercicio 261 Determinar el lmite en (0, 0) de las siguientes funciones:


1.

1
f (x, y) = x2 sin x2 +y
2 si (x, y) 6= (0, 0).

2.

f (x, y) = log(x2 + y 2 ) si (x, y) 6= (0, 0).


( 2
x sin(x2 +y2 )
si (x, y) 6= (0, 0)
x2 +y 2
f (x, y) =
0
si (x, y) = (0, 0)

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

Como lmt 0 log t = , est claro que


lm

(x,y) (0,0)

f (x, y) = .

Los autores, 2002; Edicions UPC, 2002.

35.6. LMITES DE FUNCIONES


3.

869

Consideramos coordenadas polares:

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

Consideramos coordenadas polares:

x = cos
y = sin
Entonces obtenemos:
lm

(x,y) (0,0)

f (x, y) = lm cos
0


1
.

No existe lmite, ya que si consideramos las sucesiones n =


1
2n+ , obtenemos dos resultados distintos:

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

Ejercicio 262 Sea f : R2 R definida por


( 3 3
x y
si xy 6= 0
xy
f (x, y) =
.
0
si xy = 0
Probar que el conjunto de puntos de discontinuidad es cerrado.
Solucin: Para los puntos (x, y) tales que x 6= 0 e y 6= 0, existe un entorno en el que la funcin es un cociente de dos funciones polinmicas cuyo
denominador no se anula. Por tanto, f es continua.
En los puntos de la forma (a, 0), a 6= 0, no existe el lmite de f , ya que si
calculamos el lmite direccional segn la recta x = a, obtenemos
lm
f (x, y) = lm f (a, y) = lm
y=0
y0
(x, y) (a, 0)
x=a

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.

Los autores, 2002; Edicions UPC, 2002.

870

CAPTULO 35. FUNCIONES CONTINUAS

La funcin tampoco es continua en (0, 0), ya que no posee lmite en ese


punto. En efecto: si tomamos lmites segn la familia de parbolas y = x2 ,
6= 0, obtenemos:
lm
f (x, y) = lm
x0
(x, y) (0, 0)
2
y = x

1
x3 + 3 x6
1 3 x3
= lm
= ,
3
x0
x

que depende de la parbola tomada.


As pues, el conjunto de puntos de discontinuidad est formado por las rectas
x = 0 e y = 0. Cada recta es cerrada en R2 por ser la antiimagen de un cerrado
por una aplicacin continua (por ejemplo, la recta x = 0 es g 1 (0), donde g es
la aplicacin de R2 en R definida por g(x, y) = x).

35.7.

Otros resultados

Ejercicio 263 Demostrar que el conjunto de los polinomios de [a, b] es denso


en C([a, b], R).
Solucin: Usaremos el teorema de Stone-Weierstrass, tomando K = [a, b] y
A = {q C([a, b] R) : q es un polinomio}. Entonces A satisface las hiptesis
del teorema de Stone-Weierstrass:
1.

La funcin constante, e(x) 1 es un polinomio.

2.

Si p, q son dos polinomios, entonces p + q es tambin un polinomio para


cualquier , R.

3.

Si p, q son dos polinomios, entonces p q tambin lo es.

4.

Consideremos, por ejemplo, el polinomio p(t) = t. Entonces si x 6= y,


tambin p(x) 6= p(y).
As pues, por el teorema de Stone-Weierstrass, A es denso en C([a, b], R).

Los autores, 2002; Edicions UPC, 2002.

Captulo 36

Funciones diferenciables
36.1.

Funciones diferenciables. Propiedades

Ejercicio 1:Sea f la funcin de R2 en R definida por


f (x, y) =

xy

q
3

1+xy
x3 +y3

si x 6= y
si x = y

a. Calcular D1 f (0, 0) y D2 f (0, 0).


b. Utilizar la definicin para probar que f no es diferenciable en (0, 0).
c. Determinar Du f (0, 0), donde u = (a, b), a 6= b. Probar que la aplicacin
w Dw f (0, 0) no es lineal y comprobar que f no cumple la siguiente
condicin necesaria de diferenciabilidad en (0, 0): Du f (0, 0) = f (0, 0) u.
Solucin:

a. Calculamos la derivadas parciales:


f (t, 0) f (0, 0)
00
= lm
=0
t0
t
t
f (0, t) f (0, 0)
00
D2 f (0, 0) = lm
= lm
=0
t0
t0
t
t

D1 f (0, 0) =

lm

t0

b. Si f fuera diferenciable, su matriz sera la matriz jacobiana:


df(0,0) (u) = f (0, 0) u = (D1 f (0, 0), D2 f (0, 0)) u = (0, 0) u.
Veamos si la aplicacin de matriz (0, 0) cumple la definicin de diferencial:
lm

(h,k) (0,0)

f (h, k) f (0, 0) (0, 0) (h, k)

=
h2 + k 2
871

Los autores, 2002; Edicions UPC, 2002.

872

CAPTULO 36. FUNCIONES DIFERENCIABLES

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

El lmite no existe, ya que depende de . Por tanto, f no es diferenciable


en (0, 0).
c. Sea u = (a, b) 6= (0, 0) y v = (c, d) 6= (0, 0).
f (ta, tb) f (0, 0)
t
s
"
#
1
1 + t2 ab
3
2
= lm t ab
t0 t
t3 (a3 + b3 )
r
1
.
= ab 3 3
a + b3

Du f (0, 0) =

lm

t0

La aplicacin w Dw f (0, 0) no es lineal, ya que


s
3

Du+v f (0, 0) = (a + c)(b + d)

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

y no se cumplira la condicin necesaria de diferenciabilidad.

Ejercicio 2:Consideramos la siguiente funcin definida por


(
q
2 +y 2
|x| xy2 x
si y 2 x2 6= 0
2
f (x, y) =
0
si x2 + y 2 = 0
Qu derivadas direccionales existen en (0, 1)?

Los autores, 2002; Edicions UPC, 2002.

36.2. CONDICIONES DE DIFERENCIABILIDAD

873

Solucin: Sea v = (a, b) un vector cualquiera. Entonces


s
|at|
|at|
f (at, 1 + bt) f (0, 1)
(at)2 + (1 + bt)2

= 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

Ejercicio 3:Por el teorema 3, sabemos que la derivada direccional de una


funcin f en un punto es mxima en la direccin del vector gradiente f (x, y, z).
As pues, la tasa de variacin de crecimiento de la funcin es mxima en la
direccin y sentido del vector f (x, y, z) y mnima en la del vector f (x, y, z).
f (x, y, z) = (2xz 3y 2 + 4z 2 y, 6xy + 4z 2 x, x2 + 8zxy)
f (1, 1, 1) = (1, 2, 7)
f (1, 1, 1) = (1, 2, 7).
Por lo tanto, la mosca deber moverse en la direccin del vector (1, 2, 7).
Ejercicio 4:Sean las funciones f : R2 R3 , g : R3 R2 , h : R2 R3 y
F : R2 R3 dadas por
f (x, y)
g(x, y, z)
h(x, y)
F (x, y)

=
=
=
=

(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

Los autores, 2002; Edicions UPC, 2002.

874

CAPTULO 36. FUNCIONES DIFERENCIABLES

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

As pues, la diferencial de F en (1, 0) es la aplicacin lineal de R2 en R3


determinada por la matriz cero, es decir,
dF(1,0) = 0.

Ejercicio 5:Sea A = {(x, y) R2 : xy > 1} y f la funcin de A en R2


definida por

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:

a. Calculamos las derivadas parciales de las dos componentes:


D1 f1 (x, y) =
D2 f1 (x, y) =
D1 f2 (x, y) =
D2 f2 (x, y) =

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

Por tanto, la matriz jacobiana es

f 0 (x, y) =

y
2(1+xy)
2
3x (1+xy)x3 y
(1+xy)2

Los autores, 2002; Edicions UPC, 2002.

x
2(1+xy)
x4
(1+xy)2

36.3. DERIVADAS DE ORDEN SUPERIOR

875

b. Como xy > 1, las derivadas parciales son continuas en cualquier punto de


A, porque son cocientes de funciones continuas, y los denominadores no
se anulan. Por tanto, se cumple en todos los puntos la condicin suficiente
de diferenciabilidad.
c. Como f1 y f2 son diferenciables en (1, 0), resulta:
1
D(3,2) f1 (1, 0) = f1 (1, 0) (3, 2) = (0, ) (3, 2) = 1
2
D(3,2) f2 (1, 0) = f2 (1, 0) (3, 2) = (3, 1) (3, 2) = 7.

36.3.

Derivadas de orden superior

Ejercicio 6:Puede ser g(x, y) = (x2 y, y 2 x) gradiente de una alguna funcin


f ? (Aplicar el teorema de Schwarz).
Solucin: Si g es gradiente

de alguna funcin f (es decir, si existe alguna


f f
funcin f tal que g = x , y ), entonces f es de clase C , ya que las componentes de g son polinomios, y f debe cumplir el teorema de Schwarz. Sin
embargo,
2 f (x, y)
xy
2
f (x, y)
yx
Como

=
=

g1 (x, y)
= x2
y
g2 (x, y)
= y2
x

2 f (x, y)
2 f (x, y)
6=
,
xy
yx

no se verifica el teorema de Schwarz, luego g no puede ser gradiente de ninguna


funcin.
Ejercicio 7:Se llama ecuacin de Laplace en tres dimensiones a la ecuacin
en derivadas parciales
2f
2f
2f
+
+
= 0.
x2
y 2
z 2
Una funcin se llama armnica si satisface la ecuacin de Laplace. Probar que
f (x, y, z) =

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

Los autores, 2002; Edicions UPC, 2002.

876

CAPTULO 36. FUNCIONES DIFERENCIABLES

calculamos las derivadas segundas:


f
x
=
k(x, y, z)k3
x

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

Veamos ahora que f satisface la ecuacin de Laplace:


2f
2f
2f
+
+
x2
y 2
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

=
+
=
=
=

Como f satisface la ecuacin de Laplace, f es armnica.

Los autores, 2002; Edicions UPC, 2002.

Captulo 37

Funciones continuas y
diferenciables
37.1.

Frmula de Taylor

Ejercicio 264 Determinar el polinomio de Taylor de tercer grado y el resto de


orden 4 de la funcin
f (x, y, z) = xy 4 + z 2 x 3xyz + y 2 z 4 2
en el origen.
Solucin: Como f es una funcin polinmica, el polinomio de Taylor de
tercer grado de f en (0, 0, 0) lo forman los trminos de f de grado menor o
igual que 3:
P3 (x, y, z) = z 2 x 3xyz 2.
Por el teorema de Taylor, sabemos que el resto de orden 4 es de la forma
R4 (x, y, z) =

1 4
D f () (x, y, z)4 ,
4!

donde = ( 1 , 2 , 3 ) es un punto del segmento comprendido entre los puntos


(0, 0, 0) y (x, y, z). Como f es polinmica, todas sus derivadas de orden 4 son
nulas excepto las que corresponden a los trminos de grado mayor o igual que 4
(es decir, xy 4 + y 2 z 4 ):
D1222 f ()
D2222 f ()
D2233 f ()
D2333 f ()
D3333 f ()

=
=
=
=
=

24 2
24 1
24 23
48 2 3
24 22

Por lo tanto, el resto de orden 4 es

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

Los autores, 2002; Edicions UPC, 2002.

878

CAPTULO 37. FUNCIONES CONTINUAS Y DIFERENCIABLES

Ejercicio 265 Sea f (x, y) = sin(ax+by), donde a y b son dos constantes reales.
1.

Determinar la serie de Taylor de f en el punto (0, 0).

2.

Determinar las expresiones de los restos de orden par e impar.

3.

Probar que f es analtica en cualquier disco abierto de centro (0, 0), y


deducir que es analtica en todo R2 .
Solucin:

1.

La serie de Taylor asociada a f en (0, 0) es de la forma


S(x, y) = f (0, 0) +

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)!

Sabemos que el resto de orden m es de la forma


1 m
D f () (x a)m ,
m!
Por lo tanto, el resto de orden 2m + 1 viene dado por
Rm (x) =

R2m+1 (x, y) = (1)m

1
(ax + by)2m+1 cos(a 1 + b 2 ),
(2m + 1)!

y el resto de orden 2m es de la forma


R2n (x, y) = (1)n
3.

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)!

Los autores, 2002; Edicions UPC, 2002.

37.2. TEOREMA DE LA FUNCIN INVERSA

879

Por lo tanto,
|f (x, y) P2n+1 (x, y)| = |R2n+2 (x, y)|

(rk)2n+2
(2n + 2)!

Tomando lmites cuando n , obtenemos:

(rk)2n+2

f (x, y) lm P2n+1 (x, y) lm


n
n (2n + 2)!

|f (x, y) S(x, y)| = 0

f (x, y) = S(x, y).

As pues, la serie converge uniformemente a la funcin en D((0, 0), r),


para toda r > 0. Como cualquier punto tiene un entorno contenido en un
disco de centro (0, 0), la serie converge en dicho entorno a la funcin f ,
luego es analtica en todo R2 .

37.2.

Teorema de la funcin inversa

Ejercicio 266 Sea f (x, y) = (x3 y 3 , x2 y 2 ).


1.

Encontrar el subconjunto de R2 en el que el teorema de la funcin inversa


asegura que existe f 1 en un entorno de cada punto.

2.

Estudiar si f es un cambio de variable en el abierto


A = {(x, y) R2 : x < 0, y > 0}.

3.

Razonar que f no es un cambio de variable en el abierto


B = {(x, y) R2 : x > 0, y > 0}.

4.

Determinar la imagen del abierto A mediante el cambio f .


Solucin:

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

f tiene inversa en todos los puntos de R2 salvo en los de las rectas x = 0,


y = 0, y = x.
2.

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

Los autores, 2002; Edicions UPC, 2002.

880

CAPTULO 37. FUNCIONES CONTINUAS Y DIFERENCIABLES


En A se cumple: x + x0 < 0, y + y 0 > 0. Si suponemos que f no es
inyectiva, es decir, x 6= x0 , y 6= y 0 (no puede darse el caso x = x0 , y 6= y 0
o bien x 6= x0 , y = y 0 porque entonces no se cumplira x3 y 3 = x03
y 03 ), multiplicando las ecuaciones miembro a miembro y simplificando,
obtenemos:
(x + x0 )(y 2 + yy 0 + y 02 ) = (y + y 0 )(x2 + xx0 + x02 ).
Como x + x0 < 0, y > 0, y 0 > 0, el primer miembro es siempre negativo,
mientras que el segundo es positivo, ya que y + y 0 > 0, x > 0, x0 > 0, y se
llega a una contradiccin. Por lo tanto, f es inyectiva en A, con lo cual
es un cambio de variable.

3.

f no es un cambio de variable en B, ya que no es inyectiva: para x > 0 y


> 0 suficientemente pequeo, se tiene
f (x + , x + ) = f (x , x ) = (0, 0).
Adems, esto implica que f no tiene funcin inversa en ningn entorno
de los puntos (x, x).

4.

Sean u = x3 y 3 , v = x2 y 2 las ecuaciones del cambio. La imagen de


la semirrecta y = 0, x < 0 es la curva v = u2/3 , u < 0, v > 0. La imagen
de la semirrecta x = 0, y > 0 es la curva v = u2/3 , u < 0, v < 0. Por lo
tanto, como f es continua y transforma conexos en conexos, se tiene
f (A) = {(u, v) R2 : u2/3 < v < u2/3 , u < 0}.

Ejercicio 267 Sea f : R3 R3 la aplicacin dada por

f (x, y, z) = (x y 3 , y z 3 , z x3 ).

1.

Probar que f posee funcin inversa en un entorno de cualquier punto de


M = {(x, y, z) R3 : 27x2 y 2 z 2 6= 1}, y sin embargo, f no es un cambio
de variable en M .

2.

Determinar (f 1 )0 (1, 1, 0) en los casos siguientes: f (1, 0, 1) = (1, 1, 0)


y f (0, 1, 0) = (1, 1, 0). Por qu son diferentes?

3.

Razonar que f es un cambio de variable en el abierto


A = {(x, y, z) R3 : x > 1, y > 1, z > 1}.
Solucin:

1.

f es de clase C (M ) y su jacobiano no se anula en ningn punto de M :

1
3y 2
0

1
3z 2 = 1 27x2 y 2 z 2 .
det f 0 (x, y, z) = 0
3x2
0
1

El teorema de la funcin inversa asegura que f posee funcin inversa en


un entorno de cada punto (x, y, z) M . Sin embargo, f no es inyectiva
en M , ya que por ejemplo,
f (1, 0, 1) = f (0, 1, 0) = (1, 1, 0).

Los autores, 2002; Edicions UPC, 2002.

37.3. TEOREMA DE LA FUNCIN IMPLCITA


2.

881

Si se considera (1, 1, 0) como imagen de (1, 0, 1), se tiene


1

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.

Veamos que f es inyectiva en A:


x y 3 = x0 y 03
y z 3 = y 0 z 03
z x3 = z 0 x03

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 )

Supongamos que f no es inyectiva en A. Teniendo en cuenta las ecuaciones, necesariamente ha de cumplirse


x 6= x0 ,

y 6= y 0 ,

z 6= z 0 .

Multiplicando las ecuaciones miembro a miembro y simplificando, resulta


1 = (y 2 + yy 0 + y 02 )(z 2 + zz 0 + z 02 )(x2 + xx0 + x02 ),
lo cual no es posible, ya que x > 1, y > 1, z > 1, x0 > 1, y 0 > 1, z 0 > 1 y el
valor de cada parntesis es mayor que 3. Por tanto, f es inyectiva en A,
luego es un cambio de variable en A.

37.3.

Teorema de la funcin implcita

Ejercicio 268 Sea f (x, y) = xy + 2 ln x + 3 ln y 1. Probar que f define a


y como funcin implcita de x en un entorno de (1, 1) (es decir, y = g(x)), y
calcular g 0 (1) y g 00 (1).
Solucin: En un entorno de (1, 1), la funcin f es de clase C y cumple:
f (1, 1) = 0

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

Los autores, 2002; Edicions UPC, 2002.

882

CAPTULO 37. FUNCIONES CONTINUAS Y DIFERENCIABLES

obtenemos
g(x) + xg 0 (x) +

2 3g 0 (x)
+
= 0.
x
g(x)

Particularizando para x = 1, y = g(1), obtenemos:


3
g 0 (1) = .
4
Derivando otra vez,
2g 0 (x) + xg 00 (x)

g(x)g 00 (x) g 0 (x)2


2
+3
=0
2
x
g(x)2

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.

Derivando implcitamente respecto de x en la ecuacin F (x, y, f (x, y)) = 0


obtenemos:
D1 F
f
df
D1 F + D3 F
=0
=
x
dx
D3 F
Anlogamente, derivando F (x, h(z, x), z) = 0 respecto de z, resulta:
D3 F + D2 F

h
=0
z

D3 F
h
=
z
D2 F

Finalmente, derivando F (g(y, z), y, z) = 0 respecto de y, obtenemos:


D1 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

Los autores, 2002; Edicions UPC, 2002.

37.4. TEOREMAS DE PARAMETRIZACIN Y DEL RANGO

37.4.

883

Teoremas de parametrizacin y del rango

Ejercicio 270 Sea f : R3 R definida por f (x, y, z) = (yz cos x, yz sin x, y 3 z 3 ).


Determinar el mayor abierto A R3 en el que el rango de f 0 (x, y, z) es constante.
Solucin: La matriz jacobiana de f en un punto arbitrario (x, y, z) R3 es

yz sin x z cos x y cos x


f 0 (x, y, z) = yz cos x z sin x y sin x .
0
3y 2 z 3
3y 3 z 2

Si z = y = 0, entonces r(f 0 (x, y, z)) = 0.


Si z = 0, y 6= 0 o bien z 6= 0, y = 0, entonces r(f 0 (x, y, z)) = 1.
Si z 6= 0, y 6= 0, entonces r(f 0 (x, y, z)) = 2, ya que det(f 0 (x, y, z)) = 0 para
todo (x, y, z) R3 , pero

yz sin x z cos x

yz cos x z sin x = yz 6= 0.

El subconjunto A = {(x, y, z) R3 : z 6= 0, y 6= 0} de R3 es abierto, pues


A = g 1 ((, 0) (0, +)), donde g : R3 R es la aplicacin continua
g(x, y, z) = yz, y la antiimagen de todo abierto mediante una funcin continua
es tambin un abierto.

Los autores, 2002; Edicions UPC, 2002.

884

CAPTULO 37. FUNCIONES CONTINUAS Y DIFERENCIABLES

Los autores, 2002; Edicions UPC, 2002.

Captulo 38

Problemas sobre extremos


38.1.

Extremos relativos

Ejercicio 271 Sea f : Rn R y sea g : R R una funcin estrictamente


creciente.
1.

Si F = g f , demostrar que f posee un mnimo (mximo relativo) en


a Rn si y slo si lo posee F .

2.

Calcular los extremos relativos de F (x, y) = e2x

+y 2 +x2 y

Solucin:
1.

) Veamos que todo mnimo relativo de f es tambin mnimo de F :


supongamos que a Rn es un mnimo relativo de f . Entonces existe un
entorno V de a tal que
f (x) > f (a)

para todo x V.

Como g es estrictamente creciente,


F (x) = g(f (x)) > g(f (a)) = F (a)

para todo x V.

Por lo tanto, a es tambin un mnimo relativo de F .


) Veamos ahora que todo mnimo relativo de F es tambin mnimo de
f : si a Rn es un mnimo relativo de F , existe un entorno U de a tal que
F (x) = g(f (x)) > g(f (a)) = F (a)

para todo x U.

Como g es estrictamente creciente, necesariamente f (x) > f (a) para todo


x U. Por lo tanto, a es mnimo relativo de f .
Si a es un mximo, se razona de manera anloga.
2.

F es la composicin de las funciones


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

g(t) = et .

885

Los autores, 2002; Edicions UPC, 2002.

886

CAPTULO 38. PROBLEMAS SOBRE EXTREMOS


Como g es estrictamente creciente, F alcanza extremos relativos en los
mismos puntos que f . Por tanto, basta encontrar los extremos de f . Empezamos calculando sus puntos crticos, igualando las primeras derivadas
a 0:

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)

Para decidir si son mximos o mnimos, calculamos las derivadas segundas:


D11 f (x, y) = 4 + 2y
D12 f (x, y) = 2x
D22 f (x, y) = 2
Para el punto P1 = (0, 0) tenemos:
(0, 0) = D11 f (0, 0) D22 f (0, 0) (D12 f (0, 0))2 = 4 2 02 = 8
Como (0, 0) > 0 y D11 f (0, 0) > 0, P1 = (0, 0) es un mnimo relativo.
Para el punto P2 = (2, 2) tenemos:
(2, 2) = D11 f (2, 2) D22 f (2, 2) (D12 f (2, 2))2 = 0 2 42 = 16
Como (2, 2) < 0, P2 = (2, 2) no es un extremo, sino un punto de
ensilladura.
Para el punto P3 = (2, 2) tenemos:
(2, 2) = D11 f (2, 2)D22 f (2, 2)(D12 f (2, 2))2 = 02(4)2 = 16
Como (2, 2) < 0, P3 = (2, 2) no es un extremo, sino un punto de
ensilladura.

Ejercicio 272 Calcular los extremos absolutos de la funcin


f (x, y) = sin(x + y) cos(x + y)
en el compacto [0, ] [0, ].
Solucin: La funcin f alcanza necesariamente sus extremos absolutos en
el interior o en la frontera del rectngulo. Si lo hace en el interior, se trata de
puntos crticos de f :

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 =

Los autores, 2002; Edicions UPC, 2002.

7
4

38.1. EXTREMOS RELATIVOS

887

Por lo tanto, los segmentos abiertos de las rectas x + y = 3/4 y x + y = 7/4


contenidos en el rectngulo [0, ][0, ] son puntos crticos. En ellos, la funcin
toma los siguientes valores:
3
3
cos
= 2
4
4

7
7
cos
f (x, y) = sin
= 2
4
4
f (x, y) = sin

Estudiemos ahora la funcin en la frontera. Consideramos los segmentos de


la frontera abiertos, sin los extremos. Cuando f se restringe a ellos, es una
funcin de una variable, y si alcanza sus extremos absolutos en ellos, entonces
los puntos tienen que ser crticos.
Consideramos el segmento x = 0, 0 < y < :
f (0, y) = sin ycos y

f 0 (0, y) = cos y+sin y

cos y = sin y

y=

Consideramos el segmento x = , 0 < y < :


f (, y) = sin( + y) cos( + y)

f 0 (, y) = cos( + y) + sin( + y)

cos( + y) = sin( + y)

y=

3
4

Consideramos el segmento y = 0, 0 < x < :


f (x, 0) = sin x cos x

f 0 (x, 0) = cos x + sin x

cos x = sin x

x=

3
4

Consideramos el segmento y = , 0 < x < :


f (x, ) = sin(x + ) cos(x + )

f 0 (x, ) = cos(x + ) + sin(x + )

cos(x + ) = sin(x + )

x=

Los valores de f en estos puntos son:

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

Los autores, 2002; Edicions UPC, 2002.

3
.
4

888

CAPTULO 38. PROBLEMAS SOBRE EXTREMOS

Solucin: Veamos si (0, 0) es un punto crtico de f :


D1 f (x, y) = 4(x + y)3 + 3(x y)2
D2 f (x, y) = 4(x + y)3 3(x y)2

D1 f (0, 0) = 0
D2 f (0, 0) = 0

Por tanto, (0, 0) es un punto crtico de f . Como


D11 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.

Problemas de extremos con restricciones

Ejercicio 274 Determinar los extremos absolutos de la funcin


f (x, y, z) = xyz
en el conjunto
M = {(x, y, z) R3 : x + y + z = 5, xy + zx + yz = 8}.
Solucin: Observemos en primer lugar que por ser f una funcin continua
y M un conjunto compacto (es cerrado y acotado), f alcanza en al menos un
punto de M su mximo y en al menos un punto de M su mnimo.
Sean
g1 (x, y, z) = x + y + z 5,

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)

tiene rango 2 (excepto en los puntos de la recta x = y = z, que no pertenecen a


M ), los extremos de f sobre M estn entre las soluciones del sistema

D1 f (x, y, z) = 1 D1 g1 (x, y, z) + 2 D1 g2 (x, y, z)

D2 f (x, y, z) = 1 D2 g1 (x, y, z) + 2 D2 g2 (x, y, z)

D3 f (x, y, z) = 1 D3 g1 (x, y, z) + 2 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

Los autores, 2002; Edicions UPC, 2002.

38.2. PROBLEMAS DE EXTREMOS CON RESTRICCIONES

889

Restando las dos primeras ecuaciones, obtenemos:


z(y x) = 2 (y x)

(y x)(z 2 ) = 0

Restando la primera y la tercera ecuacin, obtenemos:


y(z x) = 2 (z x)

(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: En este caso, el sistema que resulta es

y=x

z=x
x+y+z5=0

xy + xz + yz 8 = 0

que es incompatible.
2.

y = x, y = 2 : En este caso, el sistema que resulta es

y=x

x+y+z5=0

xy + xz + yz 8 = 0

cuyas soluciones son (2, 2, 1) y ( 43 , 43 , 73 ).


3.

z = 2 , z = x: En este caso, el sistema que resulta es

z=x

x+y+z5=0

xy + xz + yz 8 = 0

cuyas soluciones son (2, 1, 2) y ( 43 , 73 , 43 ).


4.

z = 2 , y = 2 : En este caso, el sistema que resulta es

z=y

x+y+z5=0

xy + xz + yz 8 = 0
cuyas soluciones son (1, 2, 2) y ( 73 , 43 , 43 ).

Los autores, 2002; Edicions UPC, 2002.

890

CAPTULO 38. PROBLEMAS SOBRE EXTREMOS

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).

Ejercicio 275 Determinar las dimensiones de un paraleleppedo rectangular de


volumen V de manera que el rea sea mnima.
Solucin: Si x > 0, y > 0, z > 0 son las dimensiones del paraleleppedo, su
volumen es V = xyz y su rea es 2(xy + xz + yz). Por lo tanto, se trata de
hallar el mnimo de
f (x, y, z) = xy + xz + yz
sujeto a la restriccin
g(x, y, z) = xyz V = 0.
Dado que el punto deseado tendr coordenadas estrictamente positivas, aplicando
la primera observacin al teorema de Lagrange, obtenemos el sistema

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

Como yz 6= 0, xz 6= 0, xy 6= 0, despejando de cada una de las ecuaciones,


obtenemos:
y+z
x+z
x+y
=
=
=
,
yz
xz
xy
de donde x = y = z. La solucin del sistema es

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.

Para ello, es suficiente demostrar que la nica solucin de la ecuacin

V
V
3
+ 3 V2 =0
x
y

en el cuadrante x > 0, y > 0 es x = 3 V , y = 3 V . Supongamos que x = a, y =


b es otra solucin, con a > 0, b > 0, y lleguemos a una contradiccin. Para
xy +

Los autores, 2002; Edicions UPC, 2002.

38.2. PROBLEMAS DE EXTREMOS CON RESTRICCIONES


a

3
V

simplificar los clculos, denotemos c =


positivos, distintos de 1 y se verifica
ab +

V
V
3
+ 3 V2 =0
a
b

,d=

cd +

3
V

891

, de manera que c y d son

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

1 6c + 9c2 < 1 6c + 9c2 4c3

0 < 4c3

c < 0.

Ejercicio 276 Determinar el valor mximo de la funcin f (x, y, z) = (x2 +


4y 2 + z 2 1)2 sobre la esfera maciza M = {(x, y, z) R3 : x2 + y 2 + z 2 9},
as como el punto o puntos en que se alcanza.
Solucin: La funcin f es continua en todo R2 y el conjunto M es compacto,
con lo cual sabemos que f alcanza un valor mximo sobre M . El valor mximo
puede alcanzarse en el interior de M o en su frontera. Hallaremos primero
los candidatos a mximo relativo en el interior de M y despus hallaremos los
candidatos a mximo relativo condicionado de f sobre la superficie esfrica S
que es frontera de M , para lo cual resolveremos un problema de extremos con
restricciones.
1.

Candidatos a mximo relativo de f en


int(M ) = {(x, y, z) R3 : x2 + y 2 + z 2 < 9}.
Hallamos primero los puntos crticos de f :
D1 f (x, y, z) = 4x(x2 + 4y 2 + z 2 1) = 0
D2 f (x, y, z) = 16y(x2 + 4y 2 + z 2 1) = 0
D3 f (x, y, z) = 4z(x2 + 4y 2 + z 2 1) = 0
y obtenemos el punto (0, 0, 0) y los del elipsoide x2 + 4y 2 + z 2 = 1. En
cualquiera de los infinitos puntos del elipsoide la funcin vale 0, mientras
que f (0, 0, 0) = 1.

2.

Candidatos a mximo relativo sujeto a la restriccin g(x, y, z) = x2 + y 2 +


z 2 9 = 0. Debemos resolver el sistema

D1 f (x, y, z) = D1 g(x, y, z)
4x3 + 16xy 2 + 4xz 2 4x = (2x)

64y 3 + 16yx2 + 16yx2 16y = (2y)


D2 f (x, y, z) = D2 g(x, y, z)

4z 3 + 16y 2 z + 4zx2 4z = (2z)


D3 f (x, y, z) = D3 g(x, y, z)

2
2
2
x2 + y 2 + z 2 9 = 0
x +y +z 9=0

Los autores, 2002; Edicions UPC, 2002.

892

CAPTULO 38. PROBLEMAS SOBRE EXTREMOS


De la primera y la ltima ecuaciones resulta
x=0

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)

Si se cumple y = 0 en (38.2), entonces para = 16 se obtienen infinitos


puntos: todos los de la forma (3 cos , 0, 3 sin ) con [0, 2). Para todos
estos puntos se cumple f (3 cos , 0, 3 sin ) = 82 = 64.
Si 24y 2 = 64 en (38.2),entonces necesariamente x = 0 en (38.1) y
z = 0 en (38.3). Entonces, por (38.4) se obtienen (0, 3, 0), (0, 3, 0), =
280, siendo f (0, 3, 0) = f (0, 3, 0) = 352 = 1225.
Por tanto, el valor mximo de f sobre la esfera maciza M es 1225 y se
alcanza en los puntos (0, 3, 0) y (0, 3, 0).
Observamos que no es necesario averiguar si los puntos crticos (condicionados o no) son de mximo relativo. Como sabemos que existe el mximo absoluto
sobre M , ste debe alcanzarse en alguno de los puntos candidatos a mximo
relativo (condicionados o no).

Los autores, 2002; Edicions UPC, 2002.

Captulo 39

Integracin en Rn
39.1.

Integral de Riemann

Ejercicio 277 Sea U = [a, b] [c, d] un rectngulo de R2 y f una funcin


continua de U en R. Probar que f es integrable en A.
Solucin: Sea > 0 arbitrario, por ser f uniformente continua en U ya
que f es continua en un compacto por qu?, existe > 0 tal que si se cumple
k(x, y) (x0 , y 0 )k0 = m
ax{|x x0 | , |y y 0 |} <
entonces
|f (x, y) f (x0 , y 0 )| <

a(U )

Sea P una particin de U tal que todos sus subrectngulos


Uij = [xi1 , xi ] [yj1 , yj ]
son tales que
|xi xi1 | <

|yj yj1 | <

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 )

y, por tanto, resulta que


U (f, P ) L(f, P ) =

n X
m
X

(Mij
i=1 j=1
m
n X
X
a(U )

mij ) a(Uij )

a(Uij ) =

i=1 j=1

y, en consecuencia, se cumple la condicin de integrabilidad de Riemann.


Ejercicio 278 Probar que la funcin lineal f (x, y) = x + y es integrable en
U = [0, 1] [0, 1] y que su integral vale 1.
893

Los autores, 2002; Edicions UPC, 2002.

CAPTULO 39. INTEGRACIN EN RN

894

Solucin: Por el ejercicio anterior f es integrable en U . Sea Pn la particin


de U que determina n2 subrectngulos iguales. En un subrectngulo cualquiera de
vrtices (xi1 , yj1 ), (xi , yj1 ), (xi1 , yj ) y (xi , yj ), el mximo de f se alcanza
en el vrtice (xi , yi ) y el mnimo mij , en el vrtice (xi1 , yj1 ); es evidente que
Mij = xi + yj

mij = xi1 + yj1

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

Ejercicio 279 Sea U = [0, 1] [0, 1] y la funcin f (x, y) = ex+y definida en U .


(a) Probar que, fijado > 0, existe una particin P de U tal que
U (f, P ) L(f, P ) <
(b) Calcular la integral de f en U .
Solucin: (a) Consideremos la siguiente particin Pn de [0, 1]
1 2
n1
P = {0, , , ...,
, 1}
n n
n
Entonces P = Pn Pn es una particin de U en n2 subrectngulos. Sea
Uij = [

i1 i
j1 j
, ][
, ]
n n
n n

Los autores, 2002; Edicions UPC, 2002.

39.1. INTEGRAL DE RIEMANN

895

y designemos por Mij el supremo de f en Uij y por mij el nfimo de f . Entonces


X
Mij a(Uij )
U (f, P ) =
i,j

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

Del mismo modo tenemos


L(f, P ) =

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

entonces f cumplir la condicin de integrabilidad de Riemann y, por tanto, la


condicin del enunciado. En efecto, en tal caso, fijado > 0, existe n0 N tal
que si n > n0 se cumple
U (f, P ) L(f, P ) <
Por lo tanto, basta tomar cualquier particin P con n > n0 . Segn los resultados
obtenidos anteriormente tenemos
U (f, P ) L(f, P ) =

(e 1)2 (1 e2/n )
n2 (1 e1/n )2

Los autores, 2002; Edicions UPC, 2002.

CAPTULO 39. INTEGRACIN EN RN

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

(b) Por el apartado anterior sabemos que f es integrable en U . Entonces, se


cumple
Z
ex+y = lm U (f, P ) = lm L(f, P )
U

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

Ejercicio 280 Calcular mediante una integral el valor del lmite


n
X
(n2 + k 2 )1/2
lm

k=1

Solucin: Dividiendo el numerador y denominador por n, resulta


n
X

1
1
1X

p
=
2
2
n
n +k
1 + (k/n)2
k=1
k=1

que es una suma de Riemann de la funcin

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)
=

Los autores, 2002; Edicions UPC, 2002.

39.2. MEDIDA CERO Y CONTENIDO CERO

39.2.

897

Medida cero y contenido cero

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

Ahora bien, la unin finita de cerrados es cerrado y, por tanto, se cumplira


M = [0, 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

Sabemos que A = A f r(A) es el mnimo cerrado que contiene a A y como


m
[

Ui

i=1

es cerrado, resulta
f r (A) A

m
[

Ui

i=1

Por tanto, f r (A) tiene contenido cero.


(c) El conjunto de los nmeros racionales del intervalo [0, 1] tiene medida
cero como hemos visto en el primer apartado, y su frontera es [0, 1] que tiene
medida uno.
Ejercicio 282 (a) Probar que un conjunto no acotado no puede tener contenido
cero. (b) Poner un ejemplo de un conjunto de medida cero que no tenga contenido cero. (c) Probar que el conjunto
A = {x Rn : kxk 1}
donde kxk denota la norma eucldea de x, no tiene contenido cero.

Los autores, 2002; Edicions UPC, 2002.

CAPTULO 39. INTEGRACIN EN RN

898

Solucin: (a) Si un conjunto A tiene contenido cero, entonces para cualquier


> 0 existe un nmero finito de rectngulos cerrados cuya unin contiene a A.
Como que esta unin es un conjunto acotado, entonces A es acotado.
(b) En R2 el eje x, es decir, {(x, 0) : x R}, no es acotado y, por tanto,
no tiene contenido cero. Sin embargo, tiene medida cero ya que para cualquier
> 0 la familia (Un ) de rectngulos cerrados cuyos vrtices son de la forma
Un = [n, n] [

,
]
2n 2n+1 2n 2n+1

constituyen un recubrimiento numerable de {(x, 0) : x R} y se cumple


X
X
v(Un ) =
2n
n 2n+1
n1
n1
X
=
2n
n1

(c) El rectngulo cerrado ndimensional de centro el origen de coordenadas


y lado 1/2 est contenido en A y su volumen es 1/2n . Por tanto, M no puede
tener contenido cero.

39.3.

Integracin sobre conjuntos acotados

Ejercicio 283 Estudiar si son o no medibles-Jordan los siguientes conjuntos:


1.

M = {(x, y) [0, 1] [0, 1] : x, y Q}

2.

f (I), donde I = (0, 1) y f : R R es una funcin definida por f (x) =


1/x
Solucin: (1) Es claro que
f r M = [0, 1] [0, 1]

cuyo contenido es igual a 1. Por lo tanto, M no es medible-Jordan.


(2) Es claro que
f (I) = (1, +)
que es un intervalo no acotado y, por tanto, no tiene contenido cero. En consecuencia, M no es medible-Jordan en R.
Ejercicio 284 Sea U = [0, 1] [0, 1] y consideremos la funcin f : U R
definida por

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

Probar que f es integrable en U y calcular la integral de f sobre U .


Solucin: Es claro que la funcin es discontinua en los puntos de cada
segmento de la forma
An = {(x, y) R2 : x =

1
, 0 y 1, n N}
n

Los autores, 2002; Edicions UPC, 2002.

39.4. INTEGRAL ITERADA

899

Como un segmento tiene medida cero en R2 y la unin numerable de conjuntos


de medida cero es un conjunto de medida cero, f es integrable en U por el
teorema de Lebesgue por qu?. Se cumple, adems, que
Z
f = inf{U (f, P ) : P es una particin de A} = 1
U

ya que todas las sumas superiores valen 1.

39.4.

Integral iterada

Ejercicio 285 Por integracin iterada, calcular la integral de f sobre el rectngulo U en los siguientes casos:

1. U = [0, 1] [1, 2] y f (x, y) = y 1 x2


2.

U = [0, ] [0, ] [0, ] y f (x, y, z) = x2 sin z sin y


Solucin: (1) Se cumple
Z

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

Los autores, 2002; Edicions UPC, 2002.

dy

dx

dx

CAPTULO 39. INTEGRACIN EN RN

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

Solucin: (1) Es claro que y4 1 x 2 y para 6 y 2. Por tanto,


el recinto est determinado por la parbola y 2 = 4(x + 1) y la recta y = x + 2.
(2) Es claro que x2 y x + 9 para 1 x 3. Por tanto, el recinto est
determinado por la parbola y = x2 y la recta y = x + 9.
Ejercicio 287 Colocar los lmites de integracin en la integral
Z
f
A

si el recinto A est determinado por las desigualdades siguientes:


1.

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

(2) El recinto est determinado por una circunferencia de centro (1/2, 0) y


radio 1/2,
1
1
(x )2 + y 2 =
2
4
Por tanto, tenemos
!
Z
Z 1 Z xx2
f (x, y) dx dy =
f (x, y) dy dx

xx2

Ejercicio 288 Invertir el orden de integracin en las siguientes integrales:


R4
R 12x
1. 0 dx 3x2 f (x, y) dy
R1
R 1y
2. 0 dy 2 f (x, y) dx

1y

Solucin: (1) Se cumple


Z

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+

Los autores, 2002; Edicions UPC, 2002.

dx

1x

f (x, y) dy

Captulo 40

Clculo de integrales
mltiples
40.1.

Recintos de integracin

Ejercicio 289 Sea A = {(x, y, z) R3 : x2 + y 2 z 2x}, (a) justificar que A


es un recinto de integracin y (b) si f es una funcin integrable en A, escribir las
integrales iteradas de f sobre A, considerando el recinto proyeccin sobre cada
uno de los planos coordenados. Representar grficamente dichas proyecciones.
Solucin: (a) Es claro que B = {(x, y) R2 : x2 + y 2 2x} es un conjunto
acotado medible-Jordan y que A est delimitado por las grficas de dos funciones
integrables en B,
G1 = {(x, y, z) R3 : (x, y) B, z = x2 + y 2 }
G2 = {(x, y, z) R3 : (x, y) B, z = 2x}
que son conjuntos de medida cero, luego la frontera de A tiene medida cero y,
por tanto, A es medible-Jordan.

(b) Como se muestra en la siguiente figura, se trata de un recinto proyectable


sobre cada uno de los planos coordenados.
901

Los autores, 2002; Edicions UPC, 2002.

902

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

Las integrales iteradas son en cada caso:


Z

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.

El conjunto A1 es la regin del plano limitada por las parbolas y = x2 ,


y = 2x2 y por la recta y = 4.

Los autores, 2002; Edicions UPC, 2002.

40.1. RECINTOS DE INTEGRACIN

903

Es un recinto de integracin pues su frontera tiene medida cero ya que est


formada por grficas de funciones integrables. Es proyectable sobre el eje
x, pero no lo es sobre el eje y.

2.

El conjunto A2 es la regin del plano limitada por la circunferencia x2 +


y 2 = 4 y las parbolas x = y 2 y y 2 = x + 1.

Su frontera est formada por grficas de funciones integrables, que tienen


medida cero. Por consiguiente, es un recinto de integracin. Adems, es
proyectable sobre el eje y pero no sobre el eje x.

3.

El conjunto A3 es la regin del espacio limitada por los paraboloides z =


x2 + y 2 y z = 4 x2 y 2 .

Los autores, 2002; Edicions UPC, 2002.

904

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

Como su frontera est formado por grficas de funciones integrables, que


tienen medida cero, se trata de un recinto de integracin. Es proyectable
sobre cualquiera de los tres planos coordenados.
4.

El conjunto A4 es la regin del espacio delimitada entre la esfera x2 + y 2 +


z 2 = 1 y el elipsoide
y2 z 2
x2
+
+
=1
4
3
9

Los autores, 2002; Edicions UPC, 2002.

40.1. RECINTOS DE INTEGRACIN

905

Como su frontera est formada por grficas de funciones integrables, que


son conjuntos que tienen medida cero, se trata de un recinto de integracin.
Adems, no es proyectable sobre ninguno de los planos coordenados.

Ejercicio 291 La integral doble de una funcin f es igual a la integral iterada


siguiente
!
Z 1 Z x2 +2
I=
f (x, y) dy dx
2

Determinar el recinto de integracin e invertir el orden de las integrales iteradas.


Solucin: Es claro que el recinto A viene dado por
A = {(x, y) R2 : 2 x 1, x y x2 + 2}

Observemos que A = A1 A2 , donde

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}

y, por tanto, tenemos


I=

1
2

2y

Z
f (x, y) dx dy +

2y

2y

f (x, y) dx

dy

Ejercicio 292 La integral triple de una funcin f es igual a la siguiente integral


iterada
! !
Z 4 Z 16x2 Z 4
I=
f (x, y, z) dz dy dx
0

1
2
2
4 (x +y )

Determinar el recinto de integracin y escribir I mediante integrales iteradas en


el orden dz dx dy y dy dz dx.

Los autores, 2002; Edicions UPC, 2002.

906

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

Solucin: El recinto es
A = {(x, y, z) R3 : 0 x 4, 0 y

p
1
16 x2 , (x2 + y 2 ) z 4}
4

Obsrvese que A es proyectable sobre cualquier plano coordenado y se tiene,


p

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

Transformacin de conjuntos e integrales

Ejercicio 293 Sea f : [, ] [0, +) una funcin acotada e integrable, con


2. Sea
A = {(r cos , r sin ) : , 0 r f ()}
es decir, A es la regin del plano limitada por la curva cuya ecuacin en coordenadas polares es r = f () y los dos radios vectores en sus extremos. (a) Probar
que A es medible-Jordan y que su contenido o volumen viene dado por
1
v(A) =
2

[f ()]2 d

Los autores, 2002; Edicions UPC, 2002.

40.2. TRANSFORMACIN DE CONJUNTOS E INTEGRALES

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

y, como consecuencia, A es medible-Jordan. Por el teorema de Fubini, obtenemos


v(A) =

1
2

f ()

r dr

[f ()]2 d

(b) Haciendo un esquema de la representacin grfica de la lemniscata se


observa que
cuando vara en el intervalo [/4, /4], el punto de coordenadas
polares (a cos 2, ) recorre un bucle de la misma.

Su rea ser entonces


1
2

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].

Los autores, 2002; Edicions UPC, 2002.

908

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

Entonces su rea viene dada por


1
2

a2 (1 + cos )2 d =

3 2
a
2

Ejercicio 294 Sea A R3 el conjunto acotado limitado por los planos x = 0,


y = 0, z = 0, y = 1 y x + z = 1. Calcular el volumen o contenido de g(A),
donde
g(x, y, z) = (e2z + e2y , e2x e2z , x y)
Solucin: Es fcil comprobar que g es inyectiva, pues si g(x, y, z) = g(u, v, w)
entonces
e2z + e2y = e2w + e2v
e2x e2z = e2u e2w
xy =uv
Sumando miembro a miembro las dos primeras igualdades se obtiene,
e2x + e2y = e2u + e2v
de donde
e2y (1 + e2(xy) ) = e2v (1 + e2(uv) )
y, teniendo en cuenta la tercera igualdad anterior, se sigue que y = v y, por
tanto, x = u y w = z. Adems se cumple

2y
0
2e2z
2x 2e
0
2e2z = 4e2z (e2x + e2y ) < 0
Jg (x, y, z) = 2e
1

1
0

Por tanto, aplicando el teorema del cambio de variables, se tiene


Z
1
v(g(A)) =
g(A)
Z
=
(1 g) |Jg |
ZA
|Jg |
=
A

Los autores, 2002; Edicions UPC, 2002.

40.2. TRANSFORMACIN DE CONJUNTOS E INTEGRALES

909

es decir,
Z

4e2z (e2x + e2y ) dx dy dz



Z 1 Z 1 Z 1x
2z 2x
2y
e (e + e ) dz dy dx
= 4

v(g(A)) =

5 1
= e2 + + e4
2 2

Ejercicio
295Probar que el conjunto A = {(x, y, z) R3 : x 0, y 0, z

0, x + y + z 1} es medible-Jordan y calcular su volumen.


Solucin: La proyeccin de A sobre el plano xy es el conjunto

B = {(x, y) R2 : x 0, y 0, x + y 1}

Sea f (x) = (1 x)2 , entonces es claro que


B = {(x, y) R2 : 0 x 1, 0 y f (x)}
que se trata de un recinto de ordenadas de f en [0, 1], pues f es no negativa y
continua. Por tanto, es un conjunto medible-Jordan de R2 . Ahora observamos
que
A = {(x, y, z) R3 : (x, y) B, 0 z g(x, y)}

es otro recinto de ordenadas, donde g(x, y) = (1 x y)2 y, en consecuencia,
A es un conjunto medible-Jordan y, adems, se cumple
Z
v(A) =
g(x, y) dx dy
ZB

(1 x y)2 dx dy
=
B

Calcularemos esta integral por dos procedimientos: mtodos de las secciones y


cambio de variables. En el primer caso tenemos
Az = {(x, y) R2 : (x, y, z) A}

Los autores, 2002; Edicions UPC, 2002.

910

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

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

Por cambio de variables, su clculo se efecta de la siguiente manera: es natural


hacer el cambio siguiente
x = r2 cos4
y = r2 sin4

Observamos que la transformacin g(r, ) = (x, y) es inyectiva en C = (0, 1)


(0, /2) y que
Jg (r, ) = 8r3 cos3 sin3
no se anula. 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 el eje y con y 0, estos son
conjuntos de medida cero y, por tanto, no contribuyen al valor de la integral.

Los autores, 2002; Edicions UPC, 2002.

40.3. CAMBIO DE VARIABLES EN INTEGRALES DOBLES


Aplicando el teorema del cambio de variables, se obtiene
Z

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.

8r3 (1 r)2 cos3 sin3 d

911

dr

1
90

Cambio de variables en integrales dobles

Ejercicio 296 Probar que el conjunto


A = {(x, y) R2 : x > 0, y > 0, a xy b, y 2 x2 1, x y}
donde 0 < a b, es medible-Jordan. Calcular mediante un cambio de variables
apropiado la integral siguiente
Z
I = (y 2 x2 )xy (x2 + y 2 ) dx dy
A

Solucin: Es claro que el recinto que determina A es como se ilustra en la


figura siguiente

Observamos que la frontera de A se compone de cuatro trozos, cada uno de los


cuales es la grfica de una funcin continua y, en consecuencia, tiene medida
nula. Por tanto, A es medible-Jordan. El integrando, as como las desigualdades
que definen A, sugieren el siguiente cambio de variables:

u = y 2 x2
v = xy

Los autores, 2002; Edicions UPC, 2002.

912

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

Este cambio facilitar tanto la funcin a integrar como el recinto de integracin.


En el abierto U = {(x, y) R2 : x > 0, y > 0} que contiene a A, consideremos
la aplicacin h : U R2 definida por h(x, y) = (u, v), donde u, v vienen dados
por las relaciones anteriores. Es claro que h es diferenciable con continuidad en
U y

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 )

Por otra parte, es evidente que


B = h(A) = {(u, v) R2 : 0 u 1, a v b}
Entonces, por el teorema del cambio de variables se obtiene
Z
I =
(y 2 x2 )xy (x2 + y 2 ) dx dy
A
Z
1
uv du dv
=
2 B

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

Ejercicio 297 Calcular


Z

(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).

Los autores, 2002; Edicions UPC, 2002.

40.4. CAMBIO DE VARIABLES EN INTEGRALES TRIPLES

913

Segn se ilustra en la figura, obsrvese que para /4 /2 los radios


vectores van de la recta x + y = 1 a la circunferencia x2 + y 2 = 1, es decir, de
1
r1
cos + sin
Por tanto, tenemos que
B = {(r, ) R2 :

1
r 1, }
cos + sin
4
2

y, como consecuencia, obtenemos


Z
Z
2
2 3/2
(x + y )
dx dy =
r3 r dr d
A
B
Z
Z
/2

/2

/4

= 1

40.4.

dr

1
cos +sin

/4

(cos + sin 1) d

Cambio de variables en integrales triples

Ejercicio 298 Calcular

x2 dx dy dz

donde

A = {(x, y, z) R3 : x 0, x2 + y 2 + (z 1)2 1, 4z 2 3(x2 + y 2 )}


Solucin: La representacin grfica del recinto de integracin se ilustra en
la siguiente figuraEs la parte del conjunto limitada por el cono y la esfera que

Los autores, 2002; Edicions UPC, 2002.

914

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

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

2z = 3y. La esfera x2 + y 2 + (z 1)2 = 1 y el cono se cortan segn una


circunferencia situada en el plano z = 6/7.
Para calcular haremos un cambio a coordenadas cilndricas. La forma ms
sencilla de describir A en estas coordenadas es haciendo secciones de A mediante
planos de la forma z = t, donde t [0, 2]. Cuando 0
t 6/7, las secciones
se producen sobre el cono y son semicrculos de radio 2t/ 3, mientras que para
6/7
t 2, las secciones son sobre la esfera y son semicrculos de radio
2t t2 . De este modo, si hacemos
B1 = {(r, , t) R3 : 0 t
B2 = {(r, , t) R3 :

2t
,0 r , }
7
2
2
3

p
6

t 2, 0 r 2t t2 , }
7
2
2

entonces se tiene que g(B) = A, donde B = B1 B2 y g(r, , t) = (x, y, z), con


x = r cos , y = r sin y z = t. Puesto que B1 B2 es un conjunto de medida
cero, se tiene
Z
Z
2
x dx dy dz =
r2 cos2 r dr d dt
A
B
Z
Z
r3 cos2 dr d dt +
r3 cos2 dr d dt
=
B1

B2

Ahora bien,
Z

B1

r cos dr d dt =

6/7

5
2
6
=
7
45

2t

Los autores, 2002; Edicions UPC, 2002.

r cos dr

dt

40.4. CAMBIO DE VARIABLES EN INTEGRALES TRIPLES


Z

r cos dr d dt =

B2

6/7

Ejercicio 299 Calcular

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

que se cortan a lo largo de una circunferencia situada en el plano z = R/2.

Calcularemos la integral efectuando un cambio a coordenadas esfricas. Para


ello, debemos describir en estas coordenadas el conjunto A. Observemos primero
que A puede descomponerse en la forma A = A1 A2 , donde A1 es el casquete
inferior y A2 es el casquete superior. Es fcil comprobar a partir de la figura
que A1 puede describirse en coordenadas esfricas como sigue
B1 = {(r, , ) R3 : 0 2,

, 0 r 2R cos }
3
2

y A2 como
B2 = {(r, , ) R3 : 0 2, 0

, 0 r R}
3

Los autores, 2002; Edicions UPC, 2002.

916

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

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

Ejercicio 300 Calcular el volumen comprendido entre la esfera de centro el


origen y radio 2 y el cilindro de base (x 1)2 + y 2 = 1. Determinar el rea de
la porcin de esfera del volumen anterior.
Solucin: Efectuamos el cambio a coordenadas cilndricas

x = r cos
y = r sin

z=z

La ecuacin de la esfera x2 + y 2 + z 2 = 4 en coordenadas cilndricas es


p
z = 4 r2

Los autores, 2002; Edicions UPC, 2002.

40.5. APLICACIONES GEOMTRICAS

917

y la ecuacin del cilindro es


r = 2 cos

Como el volumen es simtrico respecto a los planos y = 0 y z = 0, tenemos


! !
Z 2 Z 2 cos Z 4r2
V = 4
r dz dr d
0

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

Ejercicio 301 Sea A el recinto limitado por las cuatro parbolas y = x2 , y =


2x2 , y 2 = x y y 2 = 2x. Calcular el volumen del cuerpo de revolucin engendrado
por la rotacin de A alrededor del eje y.
Solucin: Sabemos que el volumen pedido viene dado por
Z
V = 2
x dx dy
A

Aunque la funcin que se integra es muy simple, el clculo de la integral en


coordenadas cartesianas exigir descomponer A en varios recintos, lo que comportar realizar bastantes clculos. Dar mejor resultado simplificar el clculo

Los autores, 2002; Edicions UPC, 2002.

918

CAPTULO 40. CLCULO DE INTEGRALES MLTIPLES

de la integral mediante un cambio de variables, de manera que el nuevo recinto


de integracin sea ms simple.

Si efectuamos el cambio
x2 = uy
y 2 = vx

entonces A se describe como u = 1/2, u = 1, v = 2 y v = 1, es decir, se


transforma en un rectngulo B en el plano uv. Consideremos entonces la transformacin g(u, v) = (x, y), donde
x = (u2 v)1/3
y = (uv 2 )1/3
Se cumple

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

y se comprueba enseguida que g es inyectiva sobre el abierto U = {(u, v) R2 :


u > 0, v > 0}. Puesto que g(B) = A y B U , se puede aplicar el teorema del
cambio de variables y obtenemos
Z
V = 2
x dx dy
A
Z
1
= 2 (u2 v)1/3 du dv
3
B

Z 1 Z 2
2
(u2 v)1/3 dv du
=
3 1/2 1

3
3
3
=
(9 2 4 2 4)
40

Los autores, 2002; Edicions UPC, 2002.

Captulo 41

Curvas en el espacio
eucldeo
41.1.

El concepto de curva

Ejercicio 302 Dada la astroide de ecuaciones


x = cos3 t
y = sin3 t

t [0, 2],

1.

Determinar de qu clase de curva se trata, y calcular los puntos singulares


de la parametrizacin.

2.

Calcular el parmetro arco de origen t = 0.

3.

Determinar la longitud de la curva.

4.

Encontrar la parametrizacin por el arco de la astroide.

Solucin:
919

Los autores, 2002; Edicions UPC, 2002.

920

CAPTULO 41. CURVAS EN EL ESPACIO EUCLDEO

1.

La aplicacin = (cos3 t, sin3 t), t (0, 2) es inyectiva y bicontinua entre


(0, 2) y (0, 2), luego se trata de una curva simple, cerrada, infinitamente derivable. Como
x0 (t) = 3 cos2 t sin t,

y 0 (t) = 3 sin2 t cos t

slo se anulan para los valores 0, 2 , , 3


2 , 2 los puntos singulares son
(1, 0), (0, 1), (1, 0), (0, 1).
2.

La astroide es una curva regular a trozos. Los intervalos donde es regular


3
son (0, 2 ), ( 2 , ), (, 3
2 ), ( 2 , 2). Por lo tanto, el parmetro arco viene
definido de la forma siguiente:
Z tp
x0 ()2 + y 0 ()2 d,
t (a, b).
s(t) = s(a) +
a

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.

s es un homeomorfismo entre [0, 2] y [0, 6]. Su aplicacin inversa viene


definida entre [0, 64 ] y [0, 2 ] por
t=

1
3 4s
arc cos
2
3

6
s [0, ],
4

con lo que sustituyendo en las ecuaciones se tiene

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.

Los autores, 2002; Edicions UPC, 2002.

41.2. ESTUDIO LOCAL DE UNA CURVA

921

Ejercicio 303 Consideramos la curva (t) = t3 + t2 , t2 + t, 22 t2 , t R.


1.

Determinar el parmetro arco s(t) con origen en t = 0.

2.

Calcular la longitud del arco de curva de extremos correspondientes a t1 =


2 y t2 = 2.
Solucin:

1.

Calculamos el parmetro arco:

0 (t) = (3t2 + 2t, 2t + 1, 2t)

(3t2 + 2t)2 + (2t + 1)2 + ( 2t)2 =


p
9t4 + 12t3 + 10t2 + 4t + 1 =
=
p
=
(3t2 + 2t + 1)2 = 3t2 + 2t + 1

k0 (t)k =

Por tanto,
s(t) =

2.

t
0

k (t)kdt =

(3t2 + 2t + 1)dt = t3 + t2 + t

La longitud del arco de curva comprendido entre t1 = 2 y t2 = 2 viene


dado por
L = s(2) s(2) = 14 + 6 = 20

41.2.

Estudio local de una curva

Ejercicio 304 Consideramos la curva (t) = t3 + t2 , t2 + t, 22 t2 , t R.


1.

Calcular el vector (x0 (s), y 0 (s), z 0 (s)) en s = 1.

2.

Calcular el vector normal n en t = 1.

3.

Calcular el vector binormal b en t = 1.


Solucin:

1.

Por el segundo ejercicio de la seccin El concepto de curva, sabemos que


s(t) = t3 + t2 + t. As pues, el punto s = 1 corresponde a t = 1, ya que
t3 + t2 + t = 1

t = 1.

El vector (x0 (s), y 0 (s), z 0 (s)) en s = 1 es


el vector tangente unitario t en
t = 1. Como 0 (t) = (3t2 + 2t, 2t + 1, 2t), tenemos:

1 1
0 (1)
1
2
t=
=q
(1, 1, 2) = 2 , 2 , 2 .
k0 (1)k
12 + (1)2 + ( 2)2

Los autores, 2002; Edicions UPC, 2002.

922
2.

CAPTULO 41. CURVAS EN EL ESPACIO EUCLDEO

0 (t) = (3t2 + 2t, 2t + 1, 2t)

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

v = (0 (1) 00 (1)) 0 (1) = (8, 0, 4 2).


Por lo tanto,
n =
=
3.

1
v
(8, 0, 4 2) =
=
2
kvk
8 + 16 2

2
1
2
(8, 0, 4 2) = , 0,
.
4 6
6
6

Calculamos el vector binormal:

1
1
b = t n = (1, 1, 2) (2, 0, 2) =
2
6

!
2
1
3
, ,
.
2 3 2 3 2 3

Ejercicio 305 Consideramos la curva (t) = t3 + t2 , t2 + t, 22 t2 , t R,


del ejercicio 1.
1.

Calcular las ecuaciones de la recta tangente y del plano normal en t = 1.

2.

Calcular las ecuaciones de la recta normal y del plano rectificante en t =


1.

3.

Calcular las ecuaciones de la recta binomial y del plano osculador en t =


1.
Solucin:

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

Los autores, 2002; Edicions UPC, 2002.

2z + 1 = 0.

41.2. ESTUDIO LOCAL DE UNA CURVA


2.

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

En el ejercicio 1 vimos que b(1) =


ecuacin de la recta normal en (1)

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.

Ejercicio 306 Consideramos la curva (t) = t3 + t2 , t2 + t, 22 t2 , t R,


del ejercicio 1.
1.

En cul de los puntos (1) (0) tiene la curva mayor curvatura?

2.

Calcular la ecuacin de la circunferencia osculatriz en (0).

3.

Calcular la torsin en (0).


Solucin:

1.

La curvatura en el punto (t) viene dada por


k(t) =

k0 (t) 00 (t)k
k0 (t)k3

Los autores, 2002; Edicions UPC, 2002.

924

CAPTULO 41. CURVAS EN EL ESPACIO EUCLDEO

En el ejercicio
1 vimos que 0 (t) = (3t2 + 2t, 2t + 1, 2t)

(6t + 2, 2, 2). Entonces,

00 (t) =


0 (1) 00 (1) = (1, 1, 2) (4, 2, 2) = ( 2, 3 2, 2)
q

k0 (1) 00 (1)k = ( 2)2 + (3 2)2 + (2)2 = 2 6


q

k0 (1)k = 12 + (1)2 + ( 2)2 = 2

0 (0) 00 (0) = (0, 1, 0) (2, 2, 2) = ( 2, 0, 2)


q

k0 (0) 00 (0)k = ( 2)2 + (2)2 = 6


p
k0 (0)k = 0 + 12 + 0 = 1.

Por lo tanto,

2 6
2 6
6
=
=
3
2
8
4

6
= 6.
3
1

k(1) =
k(0) =

As pues, tiene mayor curvatura en (0).


2.

El radio de curvatura en (0) = (0, 0, 0) es


R=

1
1
= ,
k(0)
6

y el centro de curvatura = (a, b, c) se encuentra en la recta normal a


distancia R de (0) en el sentido del vector n(0) :
= (0)+Rn(0)

1 1
(a, b, c) = (0, 0, 0)+ (2, 0, 2) =
6 6

El crculo osculador es la interseccin de la


y el plano osculador, cuya ecuacin es

x 1 (0) y 2 (0) z 3 (0) x


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

La torsin en el punto (t) viene dada por


(t) =

!
1
2
, 0,
.
3
6

esfera de centro y radio R

Por tanto, la ecuacin del crculo osculador viene dada por

3.

[0 (t), 00 (t), 000 (t)]


k0 (t) 00 (t)k2

Los autores, 2002; Edicions UPC, 2002.

2x2z = 0.

41.2. ESTUDIO LOCAL DE UNA CURVA

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

[0 (0), 00 (0), 000 (0)] = ( 2, 0, 2) (6, 0, 0) = 6 2,


entonces
(0) =

[0 (0), 00 (0), 000 (0)]


k0 (0) 00 (0)k2

6 2
=
= 2.
6

Ejercicio 307 La curva representada por la funcin


r(t) = (a cos t, a sin t, ct),

a > 0, t R,

se llama hlice circular. Esta curva se encuentra en el cilindro de base la circunferencia x2 + y 2 = a2 .


1.

Determinar las ecuaciones de las curvas obtenidas al proyectar la hlice


en cada uno de los planos coordenados.

2.

Determinar las ecuaciones de la recta tangente y el plano normal en P =


(a, 0, 0).

3.

Estudiar si la hlice circular posee puntos de inflexin.


Solucin:

1.

Las proyecciones de la hlice en los planos coordenados se obtienen al


eliminar t entre cada dos ecuaciones:
Proyeccin sobre xy:
x = a cos t,

y = a sin t

x2 + y 2 = a2

Proyeccin sobre xz:


x = a cos t,

z = ct

x = a cos

z
c

z = ct

y = a sin

z
c

Proyeccin sobre yz:


y = a sin t,
2.

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).

Los autores, 2002; Edicions UPC, 2002.

926

CAPTULO 41. CURVAS EN EL ESPACIO EUCLDEO


Por tanto, la ecuacin de la recta tangente es
x = r(0) + r0 (0)

(x, y, z) = (a, 0, 0) + (0, a, c).

La ecuacin del plano normal es


(x r(0)) r0 (0)

= 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 .

Su curvatura en un punto genrico viene dada por

kr0 (t) r00 (t)k


a a2 + c2
a
=
k(t) =
3 = a2 + c2 6= 0.
3
0
kr (t)k
a2 + c2

Por tanto, en cualquier punto la curvatura es constante y distinta de cero,


por lo cual no existen puntos de inflexin.

Los autores, 2002; Edicions UPC, 2002.

Captulo 42

Superficies en el espacio
eucldeo
42.1.

El concepto de superficie

Ejercicio 308 Sea : (0, 2) R R3 la aplicacin


(, t) = (a cos , b sin , 0) + t(0, 1, 1)

donde b = a 2 y a > 0. Demostrar que es una superficie parametrizada


regular.
Solucin: Observamos que el conjunto sobre el cual est definida es un
abierto de R2 . Adems,
1.

es infinitamente derivable ya que viene dada por


(, t) = (a cos , b sin + t, t),
y las funciones a cos , b sin + t y t son infinitamente derivables respecto
de y de t.

2.

Las derivadas parciales de son


= (a sin , b cos , 0)
t = (0, 1, 1).
La matriz

a sin
b cos
0

tiene rango 2, porque los menores

a sin 0

0
1

0
1
1

b cos

1
1

no se anulan simultneamente, ya que el primero vale a sin que slo se


anula para = 0 = 2, que no pertenecen al intervalo de definicin
de , y para = . Pero cuando = , entonces el segundo menor vale
b 6= 0.
927

Los autores, 2002; Edicions UPC, 2002.

928

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO

Ejercicio 309 Consideramos la superficie S parametrizada por la aplicacin


r : R2 S dada por
r(u, v) = (u + v, u v, u2 + v 2 )
1.

Determinar las ecuaciones de los planos tangentes en los puntos (0, 0, 0)


y (2, 0, 2).

2.

Determinar las ecuaciones de la rectas normales en los puntos (0, 0, 0) y


(2, 0, 2).
Solucin:

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

ru (0, 0) rv (0, 0) = 1 1 0 = (0, 0, 2)


1 1 0

es normal a S en (0, 0, 0). Por lo tanto, el plano tangente a S en (0, 0, 0)


es
0 (x 0) + 0 (y 0) + 2 (z 0) = 0 z = 0.
Del mismo modo, el vector

i
j k

ru (1, 1) rv (1, 1) = 1 1 2 = (4, 0, 2)


1 1 2

es normal a S en (2, 0, 2). Por lo tanto, el plano tangente a S en (2, 0, 2)


es
4 (x 2) + 0 (y 0) 2 (z 2) = 0 2x z = 2.
2.

La recta normal a S en el punto (0, 0, 0) tiene la direccin del vector


(0, 0, 2) y pasa por (0, 0, 0). Sus ecuaciones paramtricas son

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

Los autores, 2002; Edicions UPC, 2002.

42.2. LA PRIMERA FORMA FUNDAMENTAL

929

Ejercicio 310 Consideramos la superficie S definida por la ecuacin


x2 + y 2 + 2z 2 2z(x + y) = 1.
1.

Determinar las ecuaciones de las rectas normales en los puntos (1, 0, 0) y


(2, 1, 2).

2.

Determinar las ecuaciones de los planos tangentes en los puntos (1, 0, 0)


y (2, 1, 2).
Solucin:

1.

Sabemos que el vector f (1, 0, 0) es normal a S en el punto (1, 0, 0), donde


f : R3 R es la aplicacin que define implcitamente a S:
f (x, y, z) = x2 + y 2 + 2z 2 2z(x + y) 1.
Operando, obtenemos:
f (x, y, z) = (2x 2z, 2y 2z, 4z 2x 2y).
Como f (1, 0, 0) = (2, 0, 2), las ecuaciones de la recta normal a S en
(1, 0, 0) son

x = 1 + 2t
y=0

z = 2t

2.

Anlogamente, f (2, 1, 2) = (0, 2, 2), luego la recta normal a S en (2, 1, 2)


viene dada por

x=2
y = 1 2t

z = 2 + 2t

El plano tangente a S en el punto (1, 0, 0) es

2 (x 1) + 0 (y 0) 2 (z 0) = 0

x z = 1,

mientras que el plano tangente a S en (2, 1, 2) es


0 (x 2) 2 (y 1) + 2 (z 2) = 0

42.2.

y + z = 1.

La primera forma fundamental

Ejercicio 311 Sea : (0, 2) R R3 la aplicacin


(, t) = (a cos , b sin , 0) + t (0, 1, 1),

donde b = a 2 y a > 0.
1.

Calcular la primera forma fundamental.

Los autores, 2002; Edicions UPC, 2002.

930
2.

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO

Calcular el ngulo con que la curva () = , 2b sin interseca las


curvas coordenadas =constante.

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.

Consideramos la curva () = , 2b sin y la curva coordenada =


0 constante, es decir, la curva definida por (0 , t). Utilizando la frmula
para el clculo del coseno del ngulo entre dos curvas en un punto de
coordenadas (0 , t), tenemos que
cos (0 ,t) =
1 0 E + (1 1 + (b/2 cos 0 )0) F + (b/2 cos 0 )1 G
p

=
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

Por tanto, en el punto (0 , t) las dos curvas forman un ngulo de 90o .

Ejercicio 312 Sea S la parte del cono x2 + y 2 = z 2 parametrizada por


r : R3 ,

r(u, v) = (u cos v, u sin v, u),

donde = {(u, v) R2 : u > 0, 0 < v < }.


1.

Determinar la direccin normal a S en el punto P (0, 1, 1). Comprobar que


se obtiene la misma direccin utilizando la expresin implcita de S.

2.

Determinar los coeficientes de la primera forma fundamental de S en P .

Los autores, 2002; Edicions UPC, 2002.

42.2. LA PRIMERA FORMA FUNDAMENTAL

931

3.

Comprobar que el vector w = (3, 2, 2) pertenece al espacio T (P ), y expresar w en la base {ru , rw } de T (P ).

4.

Calcular IP (w) y comprobar que coincide con kwk2 .

5.

Determinar el ngulo que forman w y ru en el punto P .


Solucin:

1.

En un punto genrico r(u, v) de S tenemos:


ru = (cos v, sin v, 1)
rv = (u sin v, u cos v, 0)

i
j
k

sin v
1 = (u cos v, u sin v, u).
ru rv = cos v
u sin v u cos v 0

Como P (0, 1, 1) = r 1, 2 , particularizando resulta



= (0, 1, 1),
(ru rv ) 1,
2
y la direccin de este vector es la normal a S en P . Utilizando la expresin
implcita F (x, y, z) = 0, donde F (x, y, z) = z 2 x2 y 2 , se obtiene como
direccin normal a S en P la del gradiente F (0, 1, 1). Esto es

2.

F (x, y, z) = (2x, 2y, 2z)


F (0, 1, 1) = (0, 2, 2) = 2(0, 1, 1),

por lo que (ru rv ) 1, 2 y F (0, 1, 1) tienen la misma direccin.

En un punto genrico r(u, v) se tiene

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.

Como (0, 1, 1) (3, 2, 2) = 0, entonces w T (P ). Por otra parte, si


(h, k) son las coordenadas de w respecto de la base {ru , rv } de T (P ),
entonces


+ k rv 1,
(3, 2, 2) = h (0, 1, 1) + k (1, 0, 0)
w = h ru 1,
2
2

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.

Por tanto, IP (w) = kwk2 .

Los autores, 2002; Edicions UPC, 2002.

932
5.

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO


Como w = (2, 3) y ru = (1, 0) respecto de la base {ru , rv }, entonces
cos =

4
E 2 1 + F (2 0 + 3 1) + G 3 0
p
p
=
17 2
IP (w) IP (ru )

' 0, 8148rad.

Ejercicio 313 Consideramos la curva : [1, 1] R3 definida por


p
(t) = (t, 1 t2 , 1).
1.

Comprobar que se trata de una semicircunferencia contenida en la superficie S del ejercicio anterior.

2.

Calcular la longitud de mediante los coeficientes de la primera forma


fundamental.
Solucin:

1.

Es evidente que se trata de una semicircunferencia de radio 1 contenida


en el plano z = 1, pues
t2 +

2
p
1 t2 = 1.

Adems, la curva est contenida en S, ya que S = {(x, y, z) R3 : x2 +


y 2 = z 2 , y > 0, z > 0}, y tenemos:
t2 +

2.

2
p
1 t2 = 12

1>0
p
1 t2 > 0

x2 + y 2 = z 2

z>0
y > 0.

En el ejercicio anterior, vimos que los coeficientes de la primera forma


fundamental en un punto genrico r(u, v) son
E = 2,

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

t= u(t) cos v(t)

(t) = (u(t), v(t)) = (1, arc cos t).


1 t2 = u(t) sin v(t)

1 = u(t)

Entonces,

1
= 0,
1 t2
0

y los coeficientes de la primera forma fundamental en el punto r((t)) son


E = 2,

F = 0,

G=1

Los autores, 2002; Edicions UPC, 2002.

42.3. LA SEGUNDA FORMA FUNDAMENTAL

933

puesto que u = 1, v = arc cos t. Por tanto,


1
Ir((t)) ( (t)) = E 0 + 2F 0
+G
1 t2
0

luego

L() =

Z
q
0
Ir( (t)) ( (t))dt =

1 t2

1
,
1 t2

1
dt = ,
1 t2

tal como esperbamos puesto que es una semicircunferencia de radio 1.

42.3.

La segunda forma fundamental

Ejercicio 314 Clasificar los puntos del toro de ecuaciones

x = (2 + sin u) cos v
y = (2 + sin u) sin v

z = cos u

Solucin: Calculamos los coeficientes de la segunda forma fundamental en


un punto genrico r(u, v) :
ru = (cos u cos v, cos u sin v, sin u)
rv = (2 sin v sin v sin u, 2 cos v + cos v sin u, 0)
ru rv = (cos v sin u(2 + sin u), sin v sin u(2 + sin u), cos u(2 + sin u)) =
= (2 + sin u)(cos v sin u, sin v sin u, cos u)
kru rv k = 2 + sin u
ru rv
= (cos v sin u, sin v sin u, cos u)
n=
kru rv k
ruu = ( sin u cos v, sin u sin v, cos v)
ruv = ( cos u sin v, cos u cos v, 0)
rvv = ( sin u cos v 2 cos v, sin u sin v 2 sin v, 0)
L = n ruu = sin2 u cos2 v sin2 v sin2 u cos2 u = 1
M = n ruv = cos v sin u cos u sin v + sin v sin u cos u cos v = 0
N = n rvv = sin2 u cos2 v 2 cos2 v sin u sin2 u sin2 v 2 sin2 v sin u =
= sin2 u 2 sin u = sin u(2 + sin u)
Por tanto,
LN M 2 = sin u(2 + sin 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.

Ejercicio 315 Sea S la superficie parametrizada por la aplicacin r : R3


dada por
!

3v sin u v + 3 sin u
,
, cos u ,
r(u, v) =
2
2

Los autores, 2002; Edicions UPC, 2002.

934

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO

donde = {(u, v) R2 : 0 < u < }.


1.

Calcular los coeficientes de


y de la segunda formas fundamen laprimera

1
3
tales de S en el punto P 2 , 2 , 0 .

2.

Calcular la curvatura de la curva : (0, ) S definida por


(t) =

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,

usando el apartado 1, la curvatura normal de en el punto

1
3
2 , 2 , 0 S.

5.

Determinar las direcciones y curvaturas principales de S en el punto P

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

Los autores, 2002; Edicions UPC, 2002.

= 0 por r, y sustituyendo

42.3. LA SEGUNDA FORMA FUNDAMENTAL

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

Los coeficientes de la primera forma fundamental son


E = ru ru = 1
F = ru rv = 0
G = rv rv = 1
y los de la segunda forma son
L = n ruu = 1
M = n ruv = 0
N = n rvv = 0.

2.

Consideramos la curva : (0, ) S definida por (t) = 12 sin t, 23 sin t, cos t


y el punto t = 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

La curva est parametrizada por el arco, ya que k0 (t)k = 1 para todo


t (0, ). Por lo tanto, el vector curvatura para t = 2 es


1
3
00
= ,
K=
,0 ,
2
2
2
mientras que la curvatura es

k = 00
= 1.
2

Los autores, 2002; Edicions UPC, 2002.

936
3.

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO


La curvatura normal de sobre la superficie S en el punto P =

2 es
kn = K n =

4.

3
1
2, 2 , 0

!
!

1
3
3
1
,
,0
,
, 0 = 1.
2
2
2 2

Es claro que = r((t)), donde : (0, ) es la curva (t) = (t, 0).


Por lo tanto,

IIP 0 (/2)
II (1, 0)
L
1
0
= P
kn =
=
=
= 1.
IP (1, 0)
E
1
IP (/2)

5.

La ecuacin de las direcciones principales en el punto


2

1
F G
M N

=0

3
1
,
,
0
2 2

es

1
0 1 = 0.

1 0 0

Como h = k por definicin de , entonces


2
k
hk

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 =

Ejercicio 316 Consideramos el toro T de ecuaciones

x = (2 + sin u) cos v
y = (2 + sin u) sin v

z = cos u

Calcular la curvatura de Gauss y la curvatura media en cada uno de los puntos


del toro.
Solucin: Calculamos los coeficientes de las formas fundamentales en un

Los autores, 2002; Edicions UPC, 2002.

42.3. LA SEGUNDA FORMA FUNDAMENTAL

937

punto genrico r(u, v) :


ru = (cos u cos v, cos u sin v, sin u)
rv = (2 sin v sin v sin u, 2 cos v + cos v sin u, 0)
ru rv = (cos v sin u(2 + sin u), sin v sin u(2 + sin u), cos u(2 + sin u)) =
= (2 + sin u)(cos v sin u, sin v sin u, cos u)
kru rv k = 2 + sin u
ru rv
= (cos v sin u, sin v sin u, cos u)
n=
kru rv k
ruu = ( sin u cos v, sin u sin v, cos v)
ruv = ( cos u sin v, cos u cos v, 0)
rvv = ( sin u cos v 2 cos v, sin u sin v 2 sin v, 0)
E = ru ru = cos2 u cos2 v + cos2 u sin2 v + sin2 u = 1
F = ru rv = 2 sin v cos u cos v + 2 cos v sin v cos v = 0
G = rv rv = (2 sin v sin v sin u)2 + (2 cos v + cos v sin u)2 = (2 + sin u)2
L = n ruu = sin2 u cos2 v sin2 v sin2 u cos2 u = 1
M = n ruv = cos v sin u cos u sin v + sin v sin u cos u cos v = 0
N = n rvv = sin2 u cos2 v 2 cos2 v sin u sin2 u sin2 v 2 sin2 v sin u =
= sin2 u 2 sin u = sin u(2 + sin u)
Por lo tanto, la curvatura de Gauss en un punto genrico r(u, v) es
kt =

LN M 2
sin u(2 + sin u)
sin u
=
=
.
2
2
EG F
(2 + sin u)
2 + sin u

La curvatura media en un punto genrico r(u, v) es


km =

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

Ejercicio 317 Determinar los puntos umblicos del elipsoide x2 +4y 2 +z 2 = 4


y la indicatriz de Dupin en cada uno de ellos.
Solucin: Consideremos la aplicacin r : R2 R2 definida por
r(u, v) = (2 sin u cos v, sin u sin v, 2 cos u).
Est claro que para cada punto del elipsoide existe un abierto R2 tal que
(, r) parametriza el entorno de ese punto. Por lo tanto, podemos utilizar r para
calcular los coeficientes de las formas fundamentales.
ru = (2 cos u cos v, cos u sin v, 2 sin u)
rv = (2 sin u sin v, sin u cos v, 0)
ru rv = (2 sin2 u cos v, 4 sin2 u sin v, 2 sin u cos u)
q
kru rv k = 4 sin2 u cos2 u + 4 sin4 u(1 + 3 sin2 v)
n=

(2 sin2 u cos v, 4 sin2 u sin v, 2 sin u cos u)


ru rv
= q
kru rv k
4 sin2 u cos2 u + 4 sin4 u(1 + 3 sin2 v)

Los autores, 2002; Edicions UPC, 2002.

938

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO

De momento, consideramos nicamente los puntos distintos de (0, 0, 2), de


manera que sin u 6= 0.
ruu = (2 sin u cos v, 2 sin u sin v, 2 cos u)
ruv = (2 cos u sin v, cos u cos v, 0)
rvv = (2 sin u cos v, sin u sin v, 0)
E = ru ru = cos2 u(1 + 3 cos2 v) + 4 sin2 u
F = ru rv = 3 sin u cos u sin v cos v
G = rv rv = sin2 u(1 + 3 sin2 v)
2 sin u
q
L = n ruu =
| sin u| cos2 u + (1 + 3 sin2 v) sin2 u
M = n ruv = 0

2 sin u| sin u|
N = n rvv = q
cos2 u + (1 + 3 sin2 v) sin2 u

Para que los coeficientes E, F, G sean proporcionales a L, M, N es necesario que


F = 0. Asimismo, se debe verificar EN = GL. Por lo tanto,
2

cos u(1 + 3 cos2 v) + 4 sin2 u (2 sin u | sin u|)


sin2 u(1 + 3 sin2 v)(2 sin u)
q
q
=
| sin u| cos2 u + (1 + 3 sin2 v) sin2 u
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

cos u(1 + 3 cos v) + 4 sin u = 1 + 3 sin v

1 + cos2 u + 3 cos2 u cos2 v + 4 sin2 u = 3 sin2 v


2

sin u + 3 cos u cos v + 4 sin u = 3 sin v

cos2 u cos2 v + sin2 u = sin2 v.

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

y los coeficientes E, F, G son proporcionales a L, M, N . Por lo tanto, r(u, v) es


un punto umblico si y slo si cos u = cos v = 0, lo que significa que los nico
puntos umblicos del elipsoide son (0, 1, 0) y (0, 1, 0).
Los puntos (0, 0, 2) y (0, 0, 2) que habamos excluido del estudio porque en
ellos la parametrizacin r no era regular, no son umblicos. Para comprobarlo,
podemos utilizar la parametrizacin
r(u, v) = (2 cos u, sin u sin v, 2 sin u cos v)
de donde obtenemos coeficientes E, F, G, L, M, N idnticos a los del clculo anterior, slo que esta aplicacin es regular en (0, 0, 2) y (0, 0, 2) pero no en

Los autores, 2002; Edicions UPC, 2002.

42.3. LA SEGUNDA FORMA FUNDAMENTAL

939

(2, 0, 0) y (2, 0, 0).


Finalmente, la directriz de Dupin, tanto en (0, 1, 0) como en (0, 1, 0) es de
la forma
Lx2 + 2M xy + N y 2 = 1,
donde M = 0, L = N = 1, luego la indicatriz de Dupin es
x2 + y 2 = 1,
lo que equivale a la ecuacin de circunferencia
x2 + y 2 = 1.
En los puntos umblicos, que no sean planos, la indicatriz de Dupin es siempre
un circunferencia.
Ejercicio 318 Determinar las lneas asintticas de la superficie parametrizada
por la aplicacin r : R2 R3 definida por
r(u, v) = (u, v, u4 v 4 ).
Solucin: Para plantear la ecuacin de las lneas asintticas, Ldu2 +2M dudv+
N dv 2 = 0, debemos calcular antes los coeficientes de la segunda forma fundamental:
ru = (1, 0, 4u3 )
rv = (0, 1, 4v 3 )
ruu = (0, 0, 12u2 )
rvv = (0, 0, 12v 2 )
ruv = (0, 0, 0)
ru rv
(4u3 , 4v 3 , 1)
n=
=
kru rv k
16u6 + 16v 6 + 1
2
12u
L=
6
16u + 16v 6 + 1
M =0
12v 2
N =
16u6 + 16v 6 + 1
Por tanto, la ecuacin diferencial de las lneas asintticas es
u2 du2 v 2 dv 2 = 0,
que se descompone en
udu + vdv = 0

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

Los autores, 2002; Edicions UPC, 2002.

940

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO

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.

Las superficies regladas y de revolucin

Ejercicio 319 Sea C la curva de ecuaciones x = u, y = u2 , z = u3 , u R.


1.

Determinar la ecuacin de la superficie reglada cuya directriz es C y cuya


generatriz es la recta de vector caracterstico (1, 1, 2) y decir de qu clase
de superficie se trata.

2.

Determinar la ecuacin del plano tangente en el origen y comprobar que


es el plano tangente a la superficie en todos los puntos de la generatriz que
pasa por (0, 0, 0).
Solucin:

1.

Las ecuaciones paramtricas de la superficie son:

x(u, ) = u +
y(u, ) = u2

z(u, ) = u3 + 2

Como todas la rectas generatrices son paralelas se trata de una superficie


cilndrica.
2.

Un vector caracterstico del plano tangente en el origen es


r0u (0, 0) r0v (0, 0) = (1, 0, 0) (1, 1, 2) = (0, 2, 1)
y la ecuacin del plano,
0x 2y z = 0

2y + z = 0.

La generatriz x = , y = , z = 2 que pasa por el origen est contenida


en el plano tangente, ya que sustituyendo en la ecuacin del plano se tiene:
2() + 2 0

para todo R.

Los autores, 2002; Edicions UPC, 2002.

42.4. LAS SUPERFICIES REGLADAS Y DE REVOLUCIN

941

La ecuacin del plano tangente a la superficie en el punto genrico (0 , 0 , 20 )


de la recta, cuyo vector caracterstico es
r0u (0, 0 ) r0 (0, 0 ) = (1, 0, 0) (1, 1, 2) = (0, 2, 1)
viene dada por
0 (x 0 ) 2 (y + 0 ) (z 20 ) = 0

2y + z = 0.

Ejercicio 320 Consideramos el helicoide de ecuaciones

x = cos
y = sin
.

z = c
1.

Estudiar si es una superficie reglada.

2.

Estudiar si es desarrollable.

3.

Demostrar que la superficie no es desarrollable


los planos

determinando

tangentes en los puntos correspondientes a 2 , 1 , 2 , 0 de la generatriz


x = 0, y = , z = 2 c.

4.

Comprobar que la generatriz est contenida en el plano tangente a cada


uno de sus puntos.
Solucin:

1.

Para cada valor de = 0 se tiene la recta

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.

La condicin necesaria y suficiente para que la superficie reglada


r(, ) = () + v()
sea desarrollable es que [0 (), v(), v0 ()] = 0. En este caso,
() = (0, 0, c) 0 () = (0, 0, c)
v() = (cos , sin , 0) v0 () = ( sin , cos , 0)

0
0
c

[0 (), v(), v0 ()] = cos sin 0 = c 6= 0,


sin cos 0

luego la superficie no es desarrollable.

Los autores, 2002; Edicions UPC, 2002.

942
3.

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO


El vector caracterstico del plano tangente a la superficie en un punto
genrico viene dado por

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.

Para comprobar que una generatriz est contenida en el plano tangente


a la superficie en cualquiera de sus puntos es suficiente verificar que los
vectores caractersticos de la recta y el plano son ortogonales. Como el
vector caracterstico de la generatriz es v = (cos , sin , 0), tenemos:
v w = (cos , sin , 0) (c sin , c cos , ) = 0.

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.

Sustituyendo en la primera condicin, resulta


2
3

xy + xz + yz
xy + xz + yz
xy + xz + yz
2
2
2
+
.
x +y +z =
+
x+y+z
x+y+z
x+y+z

Los autores, 2002; Edicions UPC, 2002.

42.4. LAS SUPERFICIES REGLADAS Y DE REVOLUCIN

943

Ejercicio 322 Clasificar los puntos de una superficie reglada


r(u, ) = (u) + v(u).
Solucin: Calculamos los coeficientes de la segunda forma fundamental,
L, M y N :
r(u, ) = (u) + v(u)
ru (u, ) = 0 (u) + v0 (u)
r (u, ) = v(u)
ruu (u, ) = 00 (u) + v00 (u)
r (u, ) = 0
ru (u, ) = v0 (u)
(0 (u) + v0 (u)) v(u)
ru (u, ) r (u, )
=
n(u, ) =
kru (u, ) r (u, )k
kru (u, ) r (u, )k
L = n(u, ) ruu (u, )
M = n(u, ) ru (u, )
N = n(u, ) r (u, ) = 0
Por lo tanto,
LN M 2 = M 2 0
Teniendo en cuenta que
M

=
=

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

ya que [v0 (u), v(u), v0 (u)] = 0, si la superficie es desarrollable, es decir, si


[0 (u), v(u), v0 (u)] = 0 para todo u, entonces M = 0 y todos sus puntos son
parablicos ya que LN M 2 = 0; y recprocamente, si todos los puntos de una
superficie reglada son parablicos, entonces la superficie es desarrollable.
En caso de que para algn valor del parmetro u sea M 6= 0, la superficie
no es desarrollable y en esos puntos LN M 2 < 0, por consiguiente se trata de
puntos hiperblicos. En otras palabras, los puntos de una superficie reglada no
desarrollable son hiperblicos salvo aquellos en los que [0 (u), v(u), v0 (u)] = 0,
que son parablicos.

Los autores, 2002; Edicions UPC, 2002.

944

CAPTULO 42. SUPERFICIES EN EL ESPACIO EUCLDEO

Los autores, 2002; Edicions UPC, 2002.

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.

g(x, y) = 1 y C es el arco de hlice de ecuaciones (t) = (cos t, sin t), t


[0, 2].

3.

g(x, y, z) = 2x2 z 2 y C es la curva de ecuaciones (t) = (1, t, et ), t [0, 2].

1+y 2

y C es la elipse de ecuacin x2 + 2y 2 = 2.

Solucin:
1.

Unas ecuaciones paramtricas de la elipse x2 + 2y 2 = 2 son

x = 2 cos t
0 t 2.
y = sin t
Teniendo en cuenta que

0 (t) = ( 2 sin t, cos t)


p
p
k0 (t)k = 2 sin2 t + cos2 t = 1 + sin2 t

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

Los autores, 2002; Edicions UPC, 2002.

946
2.

CAPTULO 43. INTEGRALES CURVILNEAS Y DE SUPERFICIE


Teniendo en cuenta que
0 (t) = ( sin t, cos t, 1)
p

k0 (t)k = sin2 t + cos2 t + 1 = 2,

la longitud de la curva viene dada por


Z
Z 2

I=
d =
2 dt = 2 2.
C

3.

Teniendo en cuenta que


0 (t) = (0, 1, et )
p
k0 (t)k = 1 + e2t
g((t)) = 2e2t ,
la integral viene dada por

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

Ejercicio 324 Sean f (x, y) = (x2 , y 2 ) y C la mitad superior de la elipse


R
y2
b2 = 1. Calcular C f d, donde C se recorre desde (a, 0) hasta (a, 0).
Solucin: Las ecuaciones paramtricas de la semielipse son

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

a2 cos2 t (a sin t) + b2 sin2 t (b cos t) dt =

2
a3 cos2 t sin t + b3 sin2 t cos t dt = a3 .
3

Ejercicio 325 Calcular la integral curvilnea


Z
2yz 2 dx + xz 2 dy + 3xyz dz,
C

donde C es la curva orientada positivamente formada por los arcos

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 =

Los autores, 2002; Edicions UPC, 2002.

43.1. LA INTEGRAL CURVILNEA

947

Solucin: C1 es un cuarto de circunferencia situado en el cuadrante x


0, z 0 del plano xz. Unas ecuaciones paramtricas vienen dadas por

x = a2 z 2
z [0, a],
y=0

z=z

siendo el sentido positivo desde z0 = 0 a z1 = a.


C2 es el arco de la ventana de Viviani (interseccin de la esfera y el cilindro)
situado en el octante x 0, y 0, z 0. Una representacin paramtrica se
obtiene a partir de la circunferencia que define el cilindro

a 2
a 2
x
+ y2 =
2
2
y resulta

x = a cos2 t

y = a cos t sin t

z = a sin t

siendo en sentido positivo desde t =

h i
t 0,
,
2

a t = 0.

F IG.pag278problemes
I=

f d =

C1

f d1 +

Como 01 (z) = a2zz 2 , 0, 1 , resulta


I1 =
Como

C1

f d1 =

C2

f d2 .

p
z
2
2
(0, z a z , 0)
, 0, 1 dz = 0.
a2 z 2
2

02 (t) = 2a cos t sin t, a cos2 t a sin2 t, a cos t

(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

Los autores, 2002; Edicions UPC, 2002.

948

CAPTULO 43. INTEGRALES CURVILNEAS Y DE SUPERFICIE


=

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

Ejercicio 326 Sea

f (x, y) =

(y 1)
x
, 2
2
2
x + (y 1) x + (y 1)2

si (x, y) 6= (0, 1).

1.

Razonar si f es un gradiente en R2 {(0, 1)}.

2.

Calcular la integral de lnea de f a lo largo de la elipse 4x2 +9(y1)2 = 36,


en sentido positivo.
Solucin:

1.

Las derivadas cruzadas son iguales en todo R2 {(0, 1)}:


D1 f2 (x, y) = D2 f1 (x, y) =

(y + 1)2 x2
.
[x2 + (y 1)2 ]2

Por tanto, f cumple la condicin necesaria de gradiente, pero como R2


{(0, 1)} no es simplemente conexo, no se puede afirmar que f sea un gradiente. En el siguiente apartado probaremos que no lo es, dado que no
cumple el teorema de caracterizacin.
2.

Unas ecuaciones paramtricas de la elipse son

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 =

Observamos que la integral se ha resuelto haciendo el cambio u = tan t.


Como la integral de f a lo largo de un camino cerrado no es nula, f no es
un gradiente.

Los autores, 2002; Edicions UPC, 2002.

43.1. LA INTEGRAL CURVILNEA

949

Ejercicio 327 1. Aplicar el teorema de Green para determinar el valor de


la integral de lnea
Z
(x3 y 3 ) dx + (x3 + y 3 ) dy,
C

donde C es la circunferencia unidad orientada positivamente.


2.

Aplicar el teorema de Green para determinar el valor de la integral de lnea

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

Sea M el recinto acotado limitado por la elipse. Aplicando el teorema de


Green, tenemos

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

Los autores, 2002; Edicions UPC, 2002.

950

CAPTULO 43. INTEGRALES CURVILNEAS Y DE SUPERFICIE

Ejercicio 328 Calcular mediante una integral de lnea el rea de la regin


encerrada por la curva

x = t(t 1)
t [0, 1].
y = t(t3 1)

Solucin: Si aplicamos el teorema de Green al campo y2 , x2 , resulta


Z
1
y dx + x dy.
A=
2 C
Teniendo en cuenta que
x = t(t 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

f (x, y, z) = 4xy 3x2 z 2 + 1, 2(x2 + 1), 2x3 z 3z 2

para mover una partcula de masa m desde el punto (1, 1, 1) al punto 23 , 0, 23

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.

Por lo tanto, se trata de un campo de fuerzas conservativo, y el trabajo que


realiza para mover la partcula de un punto a otro es independiente del camino
seguido. Su valor es la diferencia de los valores de la funcin potencial en los
puntos.
Calculemos la funcin potencial F por integracin a lo largo de un segmento.
Sea (0, 0, 0) el punto fijo, la ecuacin del segmento que une (0, 0, 0) con un punto
genrico (x, y, z) viene dada por
= (tx, ty, tz)

t [0, 1].

Los autores, 2002; Edicions UPC, 2002.

43.2. LA INTEGRAL DE SUPERFICIE

951

Entonces,
F (x, y, z) =

f (tx, ty, tz) (x, y, z) dt =

(4t2 xy 3t4 x2 z 2 + 1, 2(t2 x2 + 1), (2t4 x3 z + 3t2 z 2 )) (x, y, z) dt =

2 2

4t x y 3t4 x3 z 2 + x + 2t2 x2 y + 2y 2t4 x3 z 2 3t2 z 3 dt =

= 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

Ejercicio 330 Determinar el rea de la porcin de la superficie cilndrica de


ecuacin x2 +y 2 2x = 0, que determina el cono de ecuacin z 2 = x2 +y 2 , z 0,
y el plano z = 0.
Solucin: Las ecuaciones paramtricas del cilindro x2 + y 2 2x = 0 en
coordenadas cartesianas son

x=
x

x [0, 1], z R.
y = 2x x2

z=z

Su vector normal viene dado por

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

Como la superficie es simtrica respecto al plano y = 0, el rea pedida A se


puede calcular mediante
Z
1

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

Los autores, 2002; Edicions UPC, 2002.

952

CAPTULO 43. INTEGRALES CURVILNEAS Y DE SUPERFICIE

Ejercicio 331 Calcular el rea de la porcin de esfera de centro el origen y


radio 2, que limita el cilindro de ecuacin (x 1)2 + y 2 = 1.
Solucin: Por simetra, el rea pedida es el doble del rea de la superficie
determinada por el cilindro en la semiesfera
p
z = 1 x2 y 2 ,
z 0.
Por lo tanto,

A=

donde

q
1 + zx2 + zy2 dx dy,

M = {(x, y) R2 : x2 + y 2 2x 0}.

Utilizando coordenadas cilndricas

x = cos
y = sin

cuyo jacobiano es J = , la ecuacin de la superficie esfrica es z =


y la del cilindro es = cos .

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

Por otra parte,

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

Los autores, 2002; Edicions UPC, 2002.

43.2. LA INTEGRAL DE SUPERFICIE

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

Como z = 2xy, resulta

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.

Utilizando coordenadas polares,


I

/2

1
8

3 cos sin d d =

0
/2

sin 2 d =

1
.
8

1
4

/2

cos sin d =

Ejercicio 333 Utilizar el teorema de Stokes para demostrar que


Z
3
y 3 dx + x3 dy z 3 dz =
,
2

donde es la interseccin del cilindro x2 + y 2 = 1 con el plano x + y + z = 1 y


se supone que est orientada positivamente.
Solucin: Sea f (x, y, z) = (y 3 , x3 , z 3 ). Su rotacional es

i
j
k

rot f = D1 D2 D3 = 3(x2 + y 2 )k.


y 3 x3 z 3
Las ecuaciones paramtricas del plano son

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

Los autores, 2002; Edicions UPC, 2002.

954

CAPTULO 43. INTEGRALES CURVILNEAS Y DE SUPERFICIE

induce en el borde de la superficie (es decir, en la curva ) la orientacin positiva


(se puede ver aplicando la regla del sacacorchos, por ejemplo).
De acuerdo con el teorema de Stokes, se cumple
Z
Z
y 3 dx + x3 dy z 3 dz =
I =
rot f N dS =

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

donde C es la interseccin de la semiesfera x2 + y 2 + z 2 = 4x, z > 0 y el cilindro


x2 + y 2 = 2x.
Solucin: La curva C es la frontera de la porcin de superficie esfrica que
determina el cilindro. Se trata de una bveda de Viviani. Sea
f (x, y, z) = (y 2 z 2 , z 2 x2 , x2 y 2 ).
De acuerdo con el teorema de Stokes,
Z
Z
f dC =
rot f n dS,
C

donde n es el vector normal unitario de S hacia el exterior de la esfera. Como


rot f (x, y, z) = 2(y + z, x + z, x + y)
1
N(x, y) = (x 2, y, z)
z

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

Los autores, 2002; Edicions UPC, 2002.

43.2. LA INTEGRAL DE SUPERFICIE

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.

Por lo tanto, la integral curvilnea es cero.


Ejercicio 335 Comprobar el teorema de la divergencia para el campo

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

Como z2 = z1 , si definimos z = z2 = z1 , resulta

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) =

Los autores, 2002; Edicions UPC, 2002.

956

CAPTULO 43. INTEGRALES CURVILNEAS Y DE SUPERFICIE

z(x, y). Tambin se puede comprobar el resultado calculando la integral mediante


un cambio a polares. Por otra parte,
Z
Z
I2 =
div f dx dy dz =
3x(x2 + y 2 + z 2 ) dx dy dz.
V

Utilizando coordenadas esfricas

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

La integral vale 0 porque la esfera V es simtrica respecto al plano yz y el


integrando 3x(x2 + y 2 + z 2 ) es una funcin impar respecto a x. Ntese que
z(x, y) = z(x, y).

Los autores, 2002; Edicions UPC, 2002.

Captulo 44

Los nmeros complejos


44.1.

El cuerpo de los nmeros complejos

Ejercicio 336 Calcular


a)

i23 1

b)


d) ei 3 1 (1 + i)3

e)

(1 +

7
3i)

c)

(1+i)100

(1+ 3i)50

3
i

Solucin: (a) Es claro que

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

(c) Calculando el mdulo y el argumento de z1 = 1 + i y z2 = 1 +


obtenemos

|z1 | = 2 y arg z = arctan 1 =


4
y

|z2 | = 2 y arg z = arctan 3 =


3
Entonces

z1100
( 2)100
100 50
100 50

=
(cos(
) + i sin(
))
z250
250
4
3
4
3
25
25
= cos + i sin
3
3
957

Los autores, 2002; Edicions UPC, 2002.

3i,

958

CAPTULO 44. LOS NMEROS COMPLEJOS

(d) Es claro que


1 (1 + i)3 = 3 2i

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 =

(e) Puesto que

+ 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

Los autores, 2002; Edicions UPC, 2002.

44.1. EL CUERPO DE LOS NMEROS COMPLEJOS


Por tanto
Re

z2
z+4

959

x2 + y 2 + 2x 8
(x + 4)2 + y 2

y, en consecuencia, el lugar geomtrico de M es la circunferencia


x2 + y 2 + 2x 8 = 0

Ejercicio 338 Dadas las curvas x2 + (y 2)2 = 4 y 2x + 3y 7 = 0. Calcular


sus imgenes mediante la siguiente transformacin
w=

1
z

Solucin: Si z = x + iy, entonces


w

=
=
=

1
z
1
x + iy
x
y
+
i
x2 + y 2 x2 + y 2

o sea, si w = u + iv, entonces


u=

x
x2 + y 2

v=

y
x2 + y 2

La circunferencia dada se expresa como


y
1
x2 + y 2 4y = 0 = x2 +y
2 = 4

Por tanto, su imagen por dicha transformacin viene dada por la ecuacin
v=

1
4

que es una recta. La recta dada se expresa como


y
x
2x + 3y 7 = 0 = 2 x2 +y
2 + 3 x2 +y 2

7
x2 +y2

=0

Luego, tenemos
2u 3v 7(u2 + v 2 ) = 0
ya que
u2 + v 2 =

1
x2 + y 2

Por consiguiente, la recta se transforma en la circunferencia de ecuacin


7u2 + 7v 2 2u + 3v = 0

Los autores, 2002; Edicions UPC, 2002.

960

CAPTULO 44. LOS NMEROS COMPLEJOS

Ejercicio 339 La suma de dos nmeros complejos es 3 + 2i, el cociente es


imaginario puro y la parte real de uno de ellos es 2. Hallar estos dos nmeros
complejos.
Solucin: Supongamos que z1 = a + bi y z2 = c + di. Entonces
z1 + z2 = (a + c) + (b + d)i = 3 + 2i
y, por tanto,
a+c=3
b+d=2

pero, como a = 2, entonces


c=1
Adems, Re(z1 /z2 ) = 0 y como se cumple
z1
z2

=
=
=

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

cuyas soluciones son d = 1 + 3 y d = 1 3. Por consiguiente, las soluciones


posibles son

z1 = 2 + (1
3)i
z2 = 1 + (1 + 3)i
z2 = 1 + (1 3)i
2 + (1 + 3)i

Ejercicio 340 Hallar


la imagen de la parte rayada del plano x, y, mediante la
transformacin w = z.

Los autores, 2002; Edicions UPC, 2002.

44.1. EL CUERPO DE LOS NMEROS COMPLEJOS

Solucin: Sean z = x + iy y w = u + iv, entonces

(u + iv)2 = x + iy
u v 2 + 2uvi = x + iy
2

Por tanto,

x = u2 v 2
y = 2uv

Teniendo en cuenta que

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

entonces, la imagen buscada sera la zona rayada

Los autores, 2002; Edicions UPC, 2002.

961

962

CAPTULO 44. LOS NMEROS COMPLEJOS

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

el afijo de 1 + z 2 es C = (1 + x2 y 2 , 2xy). Si los puntos A, B y C estn


alineados, los vectores AC y AB son linealmente dependientes. Por tanto,


(x2 y 2 , 2xy) = k(x 1, y)
siendo k R, es decir,
Luego, el lugar pedido es

x2 y 2
2xy
=
=k
x1
y

(x2 y 2 )y
(x2 + y 2 2x)y

= (x 1)2xy
= 0

que se compone de la recta y = 0 y de la circunferencia x2 + y 2 2x = 0.


Ejercicio 342 Dados los nmeros complejos z = 2 + i y z1 = 3 i, determinar
tres nmeros complejos z2 , z3 , z4 tales que los afijos de z1 , z2 , z3 y z4 formen un
cuadrado de centro el afijo de z.

Los autores, 2002; Edicions UPC, 2002.

44.1. EL CUERPO DE LOS NMEROS COMPLEJOS

963

Solucin: Puesto que los afijos de z1 z, z2 z, z3 z y z4 z forman


un cuadrado, constituyen las races cuartas de un cierto nmero complejo w.
Adems,
z1 z = (3 i) (2 + i) = 1 2i
es una de sus races. Las otras se obtendrn multiplicando este nmero complejo
por las races cuartas de las unidad, que son u1 = 1, u2 = i, u3 = 1 y u4 = i.
Por tanto,
w1 = 1 2i
w2 = (1 2i)i = 2 + i
w3 = (1 2i)(1) = 1 + 2i
w4 = (1 2i)(i) = 2 i
y, en consecuencia,
z1
z2
z3
z4

= 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

Solucin: Si A, B y C son los afijos de z1 , z2 y z3 , entonces AC = z3 z1 ,

AB = z2 z1 y BC = z3 z2 . Por ser el tringulo equilatero, se cumple


|z3 z1 | = |z2 z1 | = |z3 z2 |
arg(z3 z1 ) arg(z2 z1 ) = 3
arg(z1 z2 ) arg(z3 z2 ) = 3
Por tanto, se cumple
z1 z2
z3 z1
=
z2 z1
z3 z2
De aqu, obtenemos
z32 + z12 + z22 z3 z2 z1 z3 z1 z2 = 0
Obsrvese que el recproco tambin se cumple.
Ejercicio 344 Hallar una ecuacin de sexto grado de coeficientes reales cuyas
races representadas en el plano complejo sean los vrtices de un exgono regular
de lado 1, uno de cuyos vrtices coincide con el origen. Encontrar todas las
soluciones.
Solucin: Una ecuacin con coeficientes reales si tiene una raz compleja
tiene tambin su conjugada. Esto, junto con el hecho de que uno de los vrtices
del exgono se encuentre en el origen nos permite dibujarlo.

Los autores, 2002; Edicions UPC, 2002.

964

CAPTULO 44. LOS NMEROS COMPLEJOS

Este exgono lo podemos obtener haciendo una traslacin de vector u = (1, 0) al


exgono cuyos vrtices son los afijos de las races sextas de la unidad, es decir,
las soluciones de la ecuacin
z6 = 1
Esta traslacin puede expresarse como la siguiente transformacin del plano
complejo
w = z + 1 = z = w 1
Por tanto,
(w 1)6 = 1
w6 6w5 + 15w4 20w3 + 15w2 6w + 1 = 1
o sea,
w6 6w5 + 15w4 20w3 + 15w2 6w = 0
Si en lugar de trasladar el exgono correspondiente a
z6 = 1
segn el vector u = (1, 0), lo hacemos segn el vector v = (1, 0), obtendremos
otra solucin del problema, siendo en este caso
w = z 1 = z = w + 1
y, por tanto,
(w + 1)6 = 1
w + 6w + 15w + 20w + 15w + 6w + 1 = 1
6

o sea,
w6 + 6w5 + 15w4 + 20w3 + 15w2 + 6w = 0

Los autores, 2002; Edicions UPC, 2002.

44.2. TOPOLOGA DEL PLANO COMPLEJO

44.2.

965

Topologa del plano complejo

Ejercicio 345 Encontrar el conjunto de puntos que determinan en el plano


complejo las siguientes condiciones:

(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.

Ejercicio 346 Calcular los lmites de las siguientes sucesiones:


(a) zn = 2

1
n

+ i(1 + n2 )

(b) zn =

n
2n+1

n2 i
2n2 +3

(c) zn =

in
n2

Solucin: (a) Se cumple

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

(c) Observamos que


zn = (

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

puede hacerse tan pequeo como se quiera a partir de un lugar suficientemente


avanzado.
Ejercicio 347 Sumar las siguientes series de nmeros reales
X sin n
3
2n

n0

X cos n
3
2n

n0

Los autores, 2002; Edicions UPC, 2002.

966

CAPTULO 44. LOS NMEROS COMPLEJOS

Solucin: Ambas series son absolutamente convergentes, como se puede ver


enseguida aplicando el criterio de la raz
s
r

sin n

1
n
n
3
lm
lm
2n n+
n+
2n
1
<1
2

y, del mismo modo,


s

sin n

n
3

lm

n+
2n

r
n

lm

n+

1
2n

1
<1
2

Por tanto, ambas son convergentes. Supongamos que


a=

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:

Los autores, 2002; Edicions UPC, 2002.

44.2. TOPOLOGA DEL PLANO COMPLEJO


1.

967

X (1 + i)n
n!

n1

2.

X in
n

n1

3.

X ln n
(1 + in )
n

n2

Solucin: (1) Puesto que

(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

y los trminos imaginarios forman la serie


1

X (1)n+1
1 1 1
+ + =
3 5 7
2n 1
n1

y ambas son convergentes por el criterio de Leibniz.


(3) Diverge, ya que los trminos reales forman la serie
ln 4 ln 5 ln 7
ln 8 ln 9
ln 3
+2
+
+
+2
+
+
3
4
5
7
8
9

Los autores, 2002; Edicions UPC, 2002.

968

CAPTULO 44. LOS NMEROS COMPLEJOS

Los autores, 2002; Edicions UPC, 2002.