Examen Final de Junio de Clculo.

Primer Curso de Ingenieros Industriales.

9 de Julio de 2009.
Soluciones.
1
Ejercicio 1. Halla el polinomio de Maclaurin de grado 2 de la funcin f (x) = q
as
(1 x)5

como una expresin del resto. Aproxima el valor de (1.1)5/2 usando el polinomio anterior y
estima el error cometido.
-Solucin-

Obtendremos el polinomio deseado de dos formas diferentes.

Primera forma.
Para obtener el polinomio de Maclaurin de grado 2 de f (x) haremos uso de la propiedad
de composicin de funciones. Observemos que f (x) puede expresarse como la composicin de
1
h(x) = q
y g(x) = x (es decir, f = h g). Sea p(x) es el polinomio de Maclaurin de
5
(1 + x)
grado 2 de f (x).
Notemos que h(x) puede expresarsecomo
x)5/2 y sabemos que el polinomio
h(x)
= (1+

2
+
x+
x.
de Maclaurin de grado dos (1 + x) es
0
1
2

5/2
5/2
5/2 2
Por tanto, el polinomio de grado 2 de h(x) es q(x) =
+
x+
x.
0
1
2

( 1)( 2)...( k + 1)
Teniendo en cuenta que
, llegamos a que
=
k!
k
35
5
q(x) = 1 x + x2 .
2
8
Entonces, el polinomio de Maclaurin de f (x) es
35
5
p(x) = q(x) = 1 + x + x2
2
8

La funcin f (x) es de clase C para x 6= 1, luego podemos usar la frmula de Lagrange para
describir el error cometido. As, segn visto en clase, el error es

5/2
105
(1 c)11/2 x3 ,
(1 c)11/2 (x)3 =
r2 (x) =
16
3
donde c es un nmero entre 0 y x (o bien entre x y 0, si x < 0).
Segunda forma.
Podemos construir el polinomio de Maclaurin directamente a travs de la definicin
del
f 00 (0) 2
0
polinomio de Taylor dada en teora, es decir, a partir de p2 (x) = f (0) + f (0)x + 2! x . Por

tanto, basta obtener las dos primeras derivadas de f y evaluarlas en x = 0:

f 0 (x) = 52 (1 x)7/2 , luego, f 0 (0) = 52
f 00 (x) = 35
(1 x)9/2 , luego, f 00 (0) = 35
4
4
La funcin f (x) es de clase C para x 6= 1, luego podemos usar la frmula de Lagrange para
describir el error cometido. As, segn el teorema de Taylor, y teniendo en cuenta que a = 0,
el error es
x3
f 000 (c) 3 315
105
r2 (x) =
x =
(1 c)11/2 =
(1 c)11/2 x3 ,
3!
8
6
16
donde c es un nmero entre 0 y x (o bien entre x y 0, si x < 0).
Para encontrar la aproximacin de (1.1)5/2 tendremos en cuenta que (1.1)5/2 = f (0.1).
Basta entonces sustituir x = 0.1 en el polinomio de Maclaurin obtenido:
35
5
p2 (0.1) = 1 + (0.1) + (0.1)2 ' 0.7937.
2
8
Para la estimacin del error evaluamos la frmula del error en x = 0.1, obteniendo:
|r2 (x)| = |
Puesto que

105
105
(1 c)11/2 (0.1)3 |
|(1 c)|11/2 |(0.1)3 |.
16
16

1
es creciente en c, toma su mximo valor en c = 0, con lo cual,
|(1 c)|11/2
|r2 (x)|

105
(0.1)3 = 0.00656
16

1
Ejercicio 2. Considera la regin encerrada por la grfica de la funcin f (x) =
en
4
2+3
x
x

1, 3 . Calcula el volumen del slido generado al girar alrededor del eje OX la regin anterior.
Aproxima luego el valor del volumen que se obtiene al girar la misma regin alrededor de OY
usando Simpson con una parbola.
-Solucin
La funcin f (x) es continua en el intervalo 1, 3 , as que el volumen del slido generado
al girar alrededor del eje OX la regin encerrada por su grfica en dicho intervalo se calcula
como
Z 3
Z 3
dx
2

volOX =
f (x) dx =
2
x2 + 3
1
1 x
Para resolver dicha integral hemos estudiado dos posibles cambios de variable.
Primera forma.

3
El cambio trigonomtrico x = 3 tan t, con dx =
dt, nos transforma la integral en
cos2 t

/4

Z
Z /4
2t
1
1
2
/4 cos t
cos
dt =
dt =
1 ,
=
volOX =
2
3 /6 sen2 t
3 sen t /6
3
3
2
/6 sen t
3 2
cos t cos t

3
ya que x2 + 3 =
y
cos t
1

si x = 1 entonces tan t = luego t =

6
3

si x =
3 entonces tan t = 1 luego t = .
4
Segunda forma.

El cambio hiperblico x = 3 senh t, con dx = 3 cosh t dt, nos transforma la primitiva en

Z
Z
Z
1
dx
3 cosh t
1
1

=
dt =
2 dt = cotanh t
2
2
2
3
3
senh t
x x +3
3 senh t 3 cosh t

2
1 x +3
1 cosh t
=
+ cte,
=
3 senh t
3
x
r
p
1
x2
= x2 + 3. En el clculo de la
donde hemos usado que cosh t = 1 + senh2 t = 1 +
3
3
primitiva hemos usado la derivada de la funcin cotangente hiperblica, la cual es similar a
la de la cotangente trigonomtrica. En caso de no reconocer dicha primitiva se debe hacer un
nuevo cambio como funcin racional hiperblica par en senh y cosh, esto es u = tanh t. Por
todo ello, es ms recomendable en este caso la primera forma explicada. Obtenemos entonces
que
"
#3

2
x +3
1

2
volOX =
1 .
=
3
x
3
2
1
3

Ahora aproximamos el valor del volumen generado por la misma regin al girar alrededor
del eje OY . En este caso, la integral que nos da el valor exacto de dicho volumen es
volOY = 2

xf (x) dx = 2
1

3
1

dx

.
4
x2 + 3

Aproximaremos el valor de la integral

Simpson
con una parbola. Tomamos una par!
mediante

3+1
31
, 3 , cuya paso es h =
. Si denotamos
ticin del intervalo con tres puntos 1,
2
2
1
por g (x) =
entonces
4
x2 + 3
#
"

!
Z 3

dx
3+1
h

3 = 0.4928210203.
g (1) + 4g
+g
4
3
2
x2 + 3
1
Por lo tanto
volOY = 2

3
1

dx

3.096485794.
4
x2 + 3

Ejercicio 3. Enuncia el criterio de comparacin por paso al lmite para integrales impropias.
Estudia segn los valores de R la convergencia de la integral
Z
log (1 + x)

dx.
sen x
0
-SolucinCriterio de comparacin por paso al lmite para integrales impropias.
Sea f 0 continua en un intervalo de la forma [a, b) donde b puede ser infinito. Se verifican
las siguientes afirmaciones:
1. Si existe una funcin g 0 en [a, b) con
f (x)
= L 6= 0, +,
xb g (x)
Z b
Z b
f (x) dx converge si, y slo si,
g (x) dx converge.
entonces
lim

2. Si existe una funcin g 0 en [a, b) con

lim

xb

g (x) dx converge entonces

a

f (x)
=0
g (x)

f (x) dx es convergente.
a

3. Si existe una funcin g 0 en [a, b) con

lim

xb

g (x) dx diverge entonces

a

f (x)
= +,
g (x)

f (x) dx es divergente.
a

(Todos los lmites anteriores se resuelven con x + en el caso de que b = +)

Igualmente se puede enunciar un teorema similar para un intervalo de la forma(a, b] .
Observamos que la integral que nos piden estudiar presenta impropiedades en ambos extremos del intervalo por lo que primero hacemos es separarla en dos
Z
Z /2
Z
log (1 + x)
log (1 + x)
log (1 + x)

dx =
dx +
dx.
sen x
sen x
sen x
0
0
/2
El integrando de ambas integrales es no negativo por lo que es posible aplicar el criterio anteriormente enunciado.
La Zsegunda de las integrales tiene una impropiedad en x = . Usaremos una integral de la

dx
forma
p para comparar, las cual es convergente si p < 1 y en otro caso divergente.
/2 ( x)
5

Buscamos el primer polinomio de Taylor de h1 (x) = sen x centrado en no nulo. Como

h1 () = 0, h01 (x) = cos x y h01 () = 1, obtenemos que sen x (x ) = x. Luego

sen x ( x)1/2 .

Estudiamos el lmite

log (1 + x)

sen x
= log (1 + ) 6= 0, +
lim
1
x
( x)1/2

dx

, la cual es convergente.
( x)1/2
La primera tiene una impropiedad en 0 que se debe a que se anula el seno del denominador
pero tambin a que se puede (dependiendo de ) anular el logaritmo. Buscamos comparar en
Z /2
dx
este caso con integrales de la forma
la cual es convergente si p < 1 y divergente en otro
xp
0
caso. Sabemos que sen x x y que log (1 + x) x teniendo en cuenta sus primeros polinomios
de Maclaurin no nulos. Luego

sen x x1/2 y log (1 + x) x .

Luego la segunda integral tiene el mismo carcter que

/2

As, el lmite de la comparacin es

log (1 + x)

xp x
sen x
lim+
= lim+ 1/2
1
x0
x0 x
p
x

p= 12

1 6= 0, +.

Por lo tanto la primera integral converge slo cuando lo hace

/2

dx
1

x 2

y esto es

1
1
< 1 > .
2
2
En resumen la integral del enunciado converge cuando ambas integrales estudiadas son
1
convergentes y diverge en otro caso, por lo que es convergente slo cuando > .
2

Ejercicio 4. Esboza la grfica de la curva dada en polares por

1 + cos , [0, 2/3] [4/3, 2]

r () =
cos ,
[2/3, 4/3] ,
estudiando su dominio, simetras y tangentes horizontales y verticales.
-SolucinLlamemos C la curva que queremos representar en coordenadas polares. Observamos que
dicha curva viene dada por dos expresiones distintas. En ese caso vamos a estudiar cada
una de las expresiones por serparado y luego uniremos ambas grficas en los valores de
correspondientes. Comenzamos con la curva dada por r1 = 1 + cos , lo que correspondera
a una cardiode. Vemos que r1 () est bien definida para cualquier valor de , el dominio de
definicin de esta curva vendr dado entonces por aquellos valores de para los cuales r1 0.
Ahora bien, como cos 1 siempre, deducimos que la cardiode dada por la expresin r1 est
4
2
definida en todo [0, 2] y, en particular en [0, ] [ , 2]. Como adems la funcin coseno es
3
3
una funcin par tenemos que presenta simetra con respecto al eje OX, es decir, r() = r () .
No presenta ni simetra con respecto al eje OY ni con respecto al origen de coordenadas pues
cos ( ) = cos( + ) = cos () . En definitiva slo hay simetra respecto al eje OX, as que
2
la representaremos en [0, ] y la extenderemos por simetra al resto.
3
La ecuacin de la pendiente m de la recta tangente a una curva en coordenadas polares
viene dada, para cada punto , por la siguiente expresin
m() =

r0 () sen + r() cos

.
r0 () cos r() sen

En nuestro caso r10 () = sen , as que si sustituimos en la expresin anterior tenemos

m() =

sen2 + cos + cos2

.
2 cos sen sen

Calculemos entonces las tangentes pedidas.

Tangente horizontal: Para tener una tangente horizontal la pendiente tiene que ser
m() = 0, luego
sen2 + cos + cos2 = 0
2 cos sen sen 6= 0

Por tanto sen2 + cos + cos2 = 0, es decir, 1 + cos + 2 cos2 = 0. De dicha ecuacin
2
1
deducimos que cos = 1, , es decir, tenemos = /3, ... y, como [0, ], nos queda que
2
3
en = /3, la curva presenta una tangente horizontal, puesto que para dicho valor del ngulo
no se anula el denominador.
Tangente vertical: En una tangente vertical la pendiente es m() = , luego
7

2 cos sen sen = 0

sen2 + cos + cos2 6= 0

Por tanto, o bien sen = 0, o bien 1 + cos = 0. De la primera ecuacin deducimos que
2
= 0, ..., pero slo 0 [0, ], y de la segunda ecuacin que cos = 1/2, lo cual se verifica
3
2
para = 2/3 [0, ] donde se anula el denominador y no se anula el numerador en la
3
ecuacin de la pendiente, es decir, para los valores del ngulo = 0, 2/3, la curva presenta
tangentes verticales.
Para realizar un esbozo de la misma vamos previamente a calcular el valor de r1 en aquellos
valores de ms representativos, entre los cuales los que presentan una tangente horizontal o
vertical. Tenemos, utilizando la simetra respecto del eje 0X, que
r(0) = 2,

r(/3) = r(5/3) = 3/2,

r(/2) = r(3/2) = 1

r(2/3) = r(4/3) = 1/2.

Un esbozo de la porcin de cardiode dada por la expresin r1 junto con sus tangentes horizontales y verticales quedara de la forma

= /3

= 2 / 3
=0

Analizamos ahora la expresin r2 () = cos que corresponde a una circunferencia. Vemos

que dicha expresin est bien definida para cualquier valor de , el dominio de definicin de
esta curva vendr dado entonces por aquellos valores de para los cuales r2 0. Ahora bien,
3
como cos 0 en [ , ], deducimos que la curva dada por la expresin r2 est bien definida
2 2
2 4
3
en todo [ , ] [ , ]. Como adems la funcin coseno es una funcin par tenemos que
3 3
2 2
presenta simetra con respecto al eje OX, es decir, r() = r () . Al igual que ocurra con
r1 (), no presenta ni simetra con respecto al eje OY ni con respecto al origen de coordenadas
pues cos ( ) = cos( + ) = cos () . En definitiva slo hay simetra respecto al eje OX,
2
as que la representaremos en [ , ] y la extenderemos por simetra al resto.
3
8

Recordamos nuevamente que la ecuacin de la pendiente m de la recta tangente a una curva

en coordenadas polares viene dada, para cada punto , por la expresin
m() =

r0 () sen + r() cos

.
r0 () cos r() sen

En nuestro caso r20 () = sen , as que si sustituimos en la expresin anterior tenemos

m() =

sen2 cos2
.
2 cos sen

Calculemos entonces las tangentes pedidas.

Tangente horizontal: Para tener una tangente horizontal la pendiente tiene que ser
m() = 0, luego
sen2 cos2 = 0
2 cos sen 6= 0

Por tanto cos2 sen2 = 0, es decir, cos (2) = 0. De dicha ecuacin deducimos que 2 =
3 5
3 5
2
, , , es decir, tenemos = , , ... y, como [ , ], nos queda que en = 3/4,
2 2 2
4 4 4
3
la curva presenta una tangente horizontal, puesto que para dicho valor del ngulo no se anula
el denominador.
Tangente vertical: En una tangente vertical la pendiente es m() = , luego
2 cos sen = 0
sen2 cos2 6= 0

Por tanto, o bien sen = 0 o bien cos = 0. De la primera ecuacin deducimos que = 0, ...,
3
2
2

/ [ , ]. En = se anula el
pero slo [ , ], y de la segunda ecuacin que = ,
3
2 2
3
denominador y no se anula el numerador en la ecuacin de la pendiente, es decir, para dicho
valor del ngulo la curva presenta una tangente vertical.
Para realizar un esbozo de la misma de nuevo calcularemos el valor de r2 en los valores de
en los que hay una tangente horizontal o vertical. Tenemos, utilizando la simetra respecto
del eje 0X, que

r() = 1.
r(2/3) = r(4/3) = 1/2,
r(3/4) = r(5/4) = 2/2,
Un esbozo de la porcin de circunferencia dada por la expresin r2 , junto con sus tangentes
horizontales y verticales quedara de la forma

 = 3 / 4

Para esbozar la curva C unimos los trazados de las curvas dadas por las dos expresiones
1
y que lo mismo ocurre en el punto
anteriores. Observamos que r1 (2/3) = r2 (2/3) =
2
4
. Para dichos valores del ngulo la curva C presenta un pico por lo que en dichos
=
3
valores la curva no tiene recta tangente (tendra una tangente vertical en la direccin de la
curva dada por r1 y una tangente oblcua en la direccin que marca la curva dada por la
expresin r2 ). Dichos puntos se llamaran puntos singulares para la curva C.

= /3

= 3 / 4

=0

10

Problema 1. Sea la serie de potencias

X
1 n2 1
(x 1)n .
n
3
n
n=1
a) Determina su intervalo de convergencia, indicando adems centro y radio.
b) Halla su funcin suma.
c) Suma la serie numrica

X
n2 1
n=1

2n n

-Solucin

X
X
1 n2 1
n
a) La serie
(x 1) es una serie de potencias del tipo
cn (x a)n donde
n
3
n
n=1
n=0

1 n2 1
el centro es a = 0 y donde los coeficientes son cn = n
, c0 = 0. El teorema de Cauchy3
n
Hadamard asegura que la serie converge absolutamente en un intervalo de la forma (aR, a+R)
y diverge fuera de l, siendo R el radio de convergencia de la serie. Procederemos a calcular
dicho radio de convergencia R mediante la frmula del cociente.

1 n2 1
|cn |
3 (n + 1) (n2 1)
3n
n

! = lim
R = lim
= lim
= 3.
n |cn+1 |
n
n
n(n2 + 2n)
1
(n + 1)2 1
3n+1

(n + 1)

Podemos asegurar entonces que para valores x (1 3, 1 + 3) = (2, 4), se tiene que la serie
es convergente y para valores x (, 2) (4, +) la serie no converge. Slo nos queda
averiguar qu ocurre en los extremos x = 2 y x = 4.

X
1 n2 1
Para x = 2, la serie es
(1)n y para x = 4, tenemos la serie numrica
n
3
n
n=1
2

X
1 n 1
. En ninguno de los dos extremos se cumple la condicin necesaria de conver3n
n
n=1
gencia para series numricas, es decir, en ninguna de las dos series anteriores el trmino general
tiende a cero, por lo que en ambos extremos la serie de potencias es divergente. As pues, el
intervalo de convergencia de la serie objeto de nuestro estudio es (2, 4) .
b) Slo resta calcular su suma. Notemos que

2
X
X
1 n2 1
n 1
x1
n
(x 1) =
.
3n
n
n
3
n=1
n=1

11


2
X
n 1
x1
, el problema se reduce a hallar la suma de la serie
yn
Por tanto, tomando y =
3
n
n=1
para y (1, 1) . Si descomponemos los coeficientes en fracciones ms simples, tenemos lo siguiente.
n2 1
1
=n .
n
n
As,

X
X
X
1 n
n 1
n
n
ny
y =
y .
n
n
n=1
n=1
n=1
En primer lugar hallaremos la suma de

X
n=1

geomtrica

X
n=0

ny n para y (1, 1) . Partimos de la serie

1
para y (1, 1) .
1y

yn = 1 + y + y2 + =

derivamos respecto la variable y, obteniendo

X
n=1

ny n1 = 1 + 2y + 3y 2 + =

1
para y (1, 1) .
(1 y)2

Multiplicamos por y para conseguir la serie

X
n=1

ny n = y + 2y 2 + 3y 3 + =

En segundo lugar, hallaremos la suma de

X
1
n=1

geomtrica

X
n=1

y
para y (1, 1) .
(1 y)2

tn1 = 1 + t + t2 + =

y n para y (1, 1) . Partimos de la serie

1
para t (1, 1) .
1t

Integramos entre 0 e y, obteniendo

X
yn
n=1

y2 y3
=y+
+
+ =
n
2
3

Zy

1
dt = log |1 y| para y (1, 1) .
1t

Finalmente,

2
X
n 1
n=1

X
n=1

ny

X
1
n=1

yn

y
+ log |1 y| con y (1, 1) .
(1 y)2

12

Deshaciendo el cambio y =

x1
llegamos a que
3

x1

4 x
x 1 3 (x 1)
1 n2 1
n
3

(x 1) =
2 + log 1
= (4 x)2 + log 3 ,
n
3
n
3
x

1
n=1
1
3
con x (2, 4) .
c) Debemos obtener el valor de la serie numrica
corresponde a la serie de potencias

2
X
n 1
n=1

X
n2 1
n=1

2n n

y n evaluada en el punto y =

tal caso sustituyendo en la suma de dicha serie de potencias y =

X
n2 1
n=1

2n n

. Observamos que esta serie

1
obtenemos que
2

1/2
+ log |1 1/2| = 2 log 2.
(1 1/2)2

13

1
(1, 1) . En
2

Ejercicio 5. Prueba que si f (x, y) es un campo escalar diferenciable en (x0 , y0 ) entonces todas
las rectas tangentes a f en (x0 , y0 ) segn cualquier direccin u estn contenidas en el plano
tangente a f en (x0 , y0 ). Halla la recta tangente a f (x, y) = x2 ex y en (0, 2) segn la direccin
1
u = (1, 1) .
2
-SolucinSi f (x, y) es un campo escalar diferenciable en (x0 , y0 ) entonces se sabe que existen las
derivadas direccionales del campo en dicho punto para toda direccin unitaria u. Adems, en
ese caso se tiene que
Du f (x0 , y0 ) = Df (x0 , y0 ) u.
Sea u = (u1 , u2 ) una direccin unitaria cualquiera. La recta tangente a f en (x0 , y0 ) segn
u es aquella recta en el espacio que pasa por el punto (x0 , y0 , f (x0 , y0 )) y que tiene de direccin (u1 , u2 , Du f (x0 , y0 )) . Por otro lado, el plano tangente a f en (x0 , y0 ) es aquel que
pasa por el mismo punto (x0 , y0 , f (x0 , y0 )) y que contiene las direcciones (1, 0, fx (x0 , y0 )) y
(0, 1, fy (x0 , y0 )) . Para probar que la recta est contenida en el plano basta con ver que la
direccin de la recta es combinacin lineal de las dos direcciones del plano. As,
(u1 , u2 , Du f (x0 , y0 )) = (u1 , u2 , Df (x0 , y0 ) u) = (u1 , u2 , fx (x0 , y0 ) u1 + fy (x0 , y0 ) u2 )
= u1 (1, 0, fx (x0 , y0 )) + u2 (1, 0, fy (x0 , y0 )) .
La recta que nos piden,
anteriormente, es aquella que pasa por (0, 2, f (0, 2))
segn lo comentado
1 1
y tiene por direccin , , Du f (0, 2) . Hallamos la imagen del punto, f (0, 2) = 2. El
2 2
campo f (x, y) = x2 ex y es diferenciable en todo el plano. El gradiente de f es Df (x, y) =
(2x ex y, ex ) , por lo que Df (0, 2) = (2, 1) . Ahora determinamos la derivada direccional
mediante la frmula dada,
1
1
Du f (0, 2) = Df (0, 2) u = (2, 1) (1, 1) = .
2
2
1
La recta pasa por (0, 2, 2) y tiene como direccin (1, 1, 1) . Finalmente la ecuacin
2
continua de la recta buscada es
x = y 2 = z + 2.

14

Ejercicio 6. Expresa la ecuacin xzxy + yzyy = 0 en las varibles u, v mediante el cambio

x=u
y = uv.
-SolucinPara realizar el cambio de variables en la expresin requerida tenemos varias opciones segn
usemos el cambio inverso o no. En este caso, al ser el cambio tan sencillo, lo mejor es usar el
cambio inverso. As que expresaremos las parciales deseadas en funcin de las variables u, v.
El cambio inverso es

u=x
x=u
.

v = y/x
y = uv

Usando la regla de la cadena, vamos a obtener las parciales zxy , zyy . La nica parcial de primer
orden que necesitamos es
1
zy = zu uy + zv vy = zv
x
puesto que uy = 0 y vy = 1/x. Aplicamos ahora la regla de la cadena para hallar las dos
parciales de zy . Supondremos que z es de clase C 2 y por lo tanto las parciales cruzadas son
iguales. Usando que ux = 1, vx = y/x2 , tenemos
1
1
zv + [zvu ux + zvv vx ]
2
x
x
yi
1
1h
=
zuv zvv 2
zv +
x2
x
x
1
1
y
=
zv + zuv 3 zvv
x2
x
x

zxy = zyx =

Adems,

1
1
[zvu uy + zvv vy ] = 2 zvv .
x
x
La expresin que queremos transformar es

1
1
1
y
xzxy + yzyy = x 2 zv + zuv 3 zvv + y 2 zvv
x
x
x
x
1
y
y
=
zv + zuv 2 zvv + 2 zvv
x
x
x
1
zv + zuv .
=
x
zyy =

Como x = u entonces nos queda, igualando a cero,

uzuv = zv .

15

Ejercicio 7. Encuentra los extremos absolutos del campo f (x, y, z) = x2 + 2y 2 + 3z 2 en el

conjunto acotado

V = (x, y, z) R3 : x2 + y 2 4, z 2 x .
-Solucin-

En primer lugar, justificaremos la existencia de extremos. El campo escalar f es continuo

en el conjunto cerrado y acotado V . De acuerdo con el teorema de Weierstrass, f alcanza su
mximo absoluto y su mnimo absoluto en el conjunto V . Estos puntos deben ser un punto
crtico del interior o de la frontera. Veamos en primer lugar los posibles candidatos en el interior
del conjunto V , es decir, el conjunto V1 formado por los puntos crticos de f que verifican
x2 + y 2 < 4 y z 2 < x. Como la funcin f es de clase C 1 en todo R3 (se trata de un polinomio
en tres variables) podemos aplicar la condicin necesaria de extremo: Df (x, y, z) = (0, 0, 0),
resultando el sistema:

fx = 2x = 0
fy = 4y = 0

fz = 6x = 0.

La nica solucin posible es (0, 0, 0) pero no est en V1 . Para encontrar los candidatos a
extremos absolutos en la frontera dividimos sta en tres partes:
V2 = {(x, y, z) R3 : x2 + y 2 = 4, z 2 < x}. Para hallar la lista de candidatos a extremos
en V2 utilizamos el teorema de los multiplicadores de Lagrange para una ecuacin en el
espacio: Sea f : U R3 R de clase C 1 en U y g(x, y, z) = 0 una superficie dada
implcitamente de clase C 1 en U.
Si (x0 , y0 , z0 ) U es un punto de la superficie que verifica Dg(x0 , y0 , z0 ) 6= (0, 0, 0) y si
f alcanza un extremo relativo condicionado a g(x, y, z) = 0 en (x0 , y0 , z0 ) entonces existe
R tal que Df (x0 , y0 , z0 ) = Dg(x0 , y0 , z0 ).
En nuestro caso, g(x, y, z) = x2 + y 2 4 que es de clase C 1 en todo R3 y cumple que
Dg = (2x, 2y, 0) 6= (0, 0, 0) para todo (x, y, z) V2 . Por el teorema anterior, los posibles
candidatos a extremos son los puntos que satisfacen el siguiente sistema:

o, equivalentemente:

2x
4y
6z

2
x + y2 4

x(1 )
y(2 )
z

2
x + y2 4

=
=
=
=

=
=
=
=

2x
2y
0
0,

0
0
0
0.

De la primera ecuacin obtenemos que, o bien x = 0, o bien = 1. Si x = 0, entonces,

por la cuarta ecuacin se deducen los puntos P = (0, 2, 0) y Q = (0, 2, 0). Pero P y Q
no verifican la condicin z 2 < x. Si x 6= 0, = 1 y de las dems ecuaciones se deducen el
punto P1 = (2, 0, 0) y el punto Q = (2, 0, 0), que no verifica que z 2 < x.
16

 V3 = {(x, y, z) R3 : x2 + y 2 < 4, z 2 = x}.

En este caso tenemos ahora que g(x, y, z) = z 2 x, que es de clase C 1 en todo R3 y cumple
que Dg = (1, 0, 2z) 6= (0, 0, 0) siempre. Por el teorema anterior, los posibles candidatos
a extremos son los puntos que satisfacen el sistema siguiente:

2x
4y
6z

2
z x

o, equivalentemente:

x
y
z(3

z2 x

=
=
=
=

0
2z
0,

=
=
=
=

/2
0
0
0.

De la tercera ecuacin obtenemos que, o bien z = 0, o bien = 3. Si z = 0, entonces, por

las dems ecuaciones se deduce el punto P2 = (0, 0, 0) V3 . Si z 6= 0, = 3, entonces,
por la primera ecuacin obtenemos x = 3/2 que resulta ser incompatible con z 2 = x.
V4 = {(x, y, z) R3 : x2 + y 2 = 4, z 2 = x}. Para determinar los candidatos a extremos
en V2 utilizamos el teorema de los multiplicadores de Lagrange para dos ecuaciones en el
espacio:

g1 (x, y, z) = 0
3
1
Sea f : U R R de clase C en U y
una curva dada implcitamente
g2 (x, y, z) = 0
de manera que g1 y g2 son de clase C 1 en U.
Si (x0 , y0 , z0 ) U es un punto de la curva tal que Dg1 (x0 , y0 , z0 ) y Dg2 (x
0 , y0 , z0 ) son ling1 (x, y, z) = 0
ealmente independientes y si f alcanza un extremo relativo condicionado a
g2 (x, y, z) = 0
en (x0 , y0 , z0 ) entonces existen , R tales que Df (x0 , y0 , z0 ) = Dg1 (x0 , y0 , z0 ) +
Dg2 (x0 , y0 , z0 ).
En nuestro caso, g1 (x, y, z) = x2 + y 2 4 y g2 (x, y, z) = z 2 x que son de clase C 1 en
R3 y cumplen que Dg1 = (2x, 2y, 0) y Dg2 = (1, 0, 2z) son l.i. para todo (x, y, z) V4 .
Por el teorema anterior, los posibles candidatos a extremos son los puntos que satisfacen
el sistema siguiente:

o, equivalentemente:

2x
4y
6z
2
2
x +y 4
z2 x

17

=
=
=
=
=

2x
2y
2z
0
0,

2x(1 )
y(2 )
z(3 )
x2 + y 2 4
z2 x

=
=
=
=
=

0
0
0
0.

De la segunda ecuacin obtenemos que, o bien y = 0, o bien =

2. Si y = 0 entonces,

por la cuarta y quinta ecuacin, se deducen los puntos P3 = (2, 0, 2) y P4 = (2, 0, 2).
Si y 6= 0 entonces = 2, de la primera ecuacin tenemos que x = /2. Analicemos ahora
la tercera ecuacin. Si z = 0 de las dems ecuaciones se deducen los puntos
P5 = (0, 2, 0)
p

y P6 =
(0,
2,
0).
Si
z
=
6
0,

=
3,
obtenemos
los
puntos
P
=
(3/2,
7/2,
3/2), P8 =
7
p
p
p

(3/2, 7/2, 3/2), P9 = (3/2, 7/2, 3/2), P10 = (3/2, 7/2, 3/2).

Por ltimo, procedemos a evaluar los puntos candidatos a extremos, obtenindose los siguientes resultados:
f (P1 ) = 4
f (P2 ) = 0
f (P3 ) = f (P4 ) = 10
f (P5 ) = f (P6 ) = 8
f (P7 ) = f (P8 ) = f (P9 ) = f (P10 ) = 41/4.
Por tanto, el mnimo absoluto se alcanza en el punto P2 = (0, 0, 0) y los mximos absolutos
en los puntos P7 , P8 , P9 , P10 .

18

Ejercicio 8. Sea S la porcin de paraboloide z = x2 + y 2 del primer octante que verifica

2 x2 + y 2 6 y x 1 y x. Calcula
ZZ
2

x y 2 dS.
S

-SolucinLa porcin de paraboloide buscada en el primer octante es aquella cuya proyeccin sobre el
plano OXY es la regin D de la figura

y=x

x + y =6
2

x2 + y2 = 2

y = x 1

D
y

Una parametrizacin de S viene dada por S (x, y) = (x, y, x2 + y 2 ) con (x, y) D. El

producto vectorial fundamental es

i j k

Sx Sy = 1 0 2x = (2x, 2y, 1) ,
0 1 2y
p
cuyo mdulo es kSx Sy k = 1 + 4 (x2 + y 2 ). La integral de superficie sobre S del campo
escalar f (x, y, z) = x2 y 2 se calcula como
ZZ
ZZ
f (x, y, z) dS =
f (S (x, y)) kSx Sy k dxdy
S
ZZ D
2
p
=
1 + 4 (x2 + y 2 ) dxdy.
x y2
D

Para resolver esta integral doble haremos el siguiente cambio de variables

u = x2 + y 2
v =yx

que nos transforma la regin D en el rectngulo del plano UV dado por R = [2, 6] [1, 0] .
El jacobiano del cambio dado es

(u, v) 2x 2y
= 2 (x + y) .
=
(x, y) 1 1
19

Para aplicar la frmula de cambio de variables para integrales dobles necesitamos el jacobiano
del cambio inverso en valor absoluto,

(x, y)
1
1

(u, v) = 2 |x + y| = 2 (x + y) ,

puesto que estamos en el primer cuadrante. La integral queda entonces como

ZZ
ZZ
2

1
dudv
f (x, y, z) dS =
x y 2 1 + 4u
2 (x + y)
S
R
ZZ
ZZ

1
1
(x y) 1 + 4u dudv =
v 1 + 4u dudv
=
2
2
R
R
#
2 0 "
Z 6
Z 0
3/2 6

(1 + 4u)
1 v
1
v dv
1 + 4u du =
=
2 1
2 2 1
6
2
2

49
.
=
12

20

Problema 2. Considera el campo vectorial

F (x, y, z) = cos (x + y + z) , cos (x + y + z) + z 2 , cos (x + y + z) + 2yz .

a) Es F conservativo en R3 ? En caso afirmativo encuentra una funcin potencial suya. Dada

la curva C1 parametrizada por

c (t) = et cos (t + ) , et1 sen ( t) , et

con t [0, ] halla

C1

F dC.

b) Sean ahora el campo G (x, y, z) = (z, z 2y, x2 ) y la curva C2 interseccin del paraboloide
z = x2 + y 2 con el plano z = 2y + 3 con orientacin positiva si se mira desde el origen. Calcula
Z
(F + G) dC.
C2

c) Determina la integral del apartado anterior usando el teorema de Stokes.

Solucin.
a) Tenemos que analizar si el campo F (x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z)), con
funciones componentes P = cos(x + y + z), Q = cos(x + y + z) + z 2 y R = cos(x + y + z) + 2yz,
es conservativo en R3 . Teniendo en cuenta que F es de clase C 1 en R3 y que R3 es un conjunto
abierto y convexo basta ver si el rotacional del campo F es el vector nulo en R3 , esto es,
Py = Qx , Pz = Rx y Qz = Ry en R3 . En nuestro caso
Py (x, y, z) = sen(x + y + z) = Qx (x, y, z),
Pz (x, y, z) = sen(x + y + z) = Rx (x, y, z),
Qz (x, y, z) = sen(x + y + z) + 2z = Ry (x, y, z),
para todo (x, y, z) R3 . Luego, podemos asegurar que el campo F es conservativo en R3 . En
particular, esto significa que F deriva de una funcin potencial, esto es, existe un campo escalar
f tal que Df = F en R3 . Para encontrar esta funcin potencial, debemos imponer que
fx (x, y, z) = P (x, y, z) = cos(x + y + z)
fy (x, y, z) = Q(x, y, z) = cos(x + y + z) + z 2
fz (x, y, z) = R(x, y, z) = cos(x + y + z) + 2yz.
Integrando respecto de x en la primera ecuacin deducimos que f es de la forma
f (x, y, z) = sen(x + y + z) + C(y, z).
Para que f quede perfectamente determinada necesitamos conocer C(y, z). Para ello, imponiendo la segunda ecuacin llegamos a que
cos(x + y + z) + z 2 = fy (x, y, z) = cos(x + y + z) + Cy (y, z),
21

esto es, Cy (y, z) = z 2 y, por tanto, C(y, z) = z 2 y + K(z). De esta manera, el campo escalar f
es de la forma
f (x, y, z) = sen(x + y + z) + z 2 y + K(z).
Queda por determinar K(z). Para ello, imponiendo la tercera ecuacin llegamos a que
cos(x + y + z) + 2yz = fz (x, y, z) = cos(x + y + z) + 2yz + K 0 (z),
esto es, K 0 (z) = 0 y, por tanto, K(z) = cte. As pues, existen infinitas funciones potenciales de
F, todas las de la forma
f (x, y, z) = sen(x + y + z) + z 2 y + cte, donde cte es cualquier constante.
Para hallar el valor de la integral

C1

F dC donde C(t) = (et cos(t + ), et1 sen(t ), et )

con t [0, ], haremos uso de la regla de Barrow para integrales de lnea puesto que F deriva
del potencial f. Dicha regla establece que
Z
Z
F dC = Df dC = f (C()) f (C(0)) = f (e , 0, e ) f (1, 0, 1) = sen(2e ).
C1

C1

b) Tenemos que considerar la curva C2 interseccin del paraboloide z = x2 + y 2 con el plano

z = 2y + 3 con orientacin positiva si se mira desde el origen (ver figura).

Y
X

Notemos
que esta curva es cerrada y que el campo F es conservativo en todo R3 , en consecuencia
Z
F dC = 0. De esta forma
C2

C2

(F + G) dC =

F dC +

C2

C2

22

G dC =

C2

G dC.

Para calcular esta integral de lnea de forma directa necesitamos conseguir una parametrizacin
de la curva C2 donde

2
z = x2 + y 2
2y + 3 = x2 + y 2
x + (y 1)2 = 4
.
C2

z = 2y + 3
z = 2y + 3
z = 2y + 3
Esto es, la curva C2 est formada por aquellos puntos (x, y, z) tales que z = 2y + 3 y tal que
su proyeccin en el plano XY es la circunferencia centrada en el punto (0, 1) y de radio 2, de
ecuacin x2 + (y 1)2 = 4. Luego, una parametrizacin es
C2 (t) = (2 cos t, 1 + 2 sen t, 5 + 4 sen t) con t [0, 2].
Con esta parametrizacin la curva se recorre empezando en C2 (0) = (2, 1, 5) , despus pasa
por C2 (/2) = (0, 3, 9) , posteriormente pasa por C2 () = (2, 1, 5) y finalmente termina en
C2 (2) = (2, 1, 5) , es decir, esta parametrizacin proporciona un sentido de recorrido contrario
al que queremos. De esta forma
Z

C2

(F + G) dC =

G dC =

=
=

G(C2 (t)) C20 (t)dt

C2

Z2

Z2
0
2
Z
0
2
Z
0
2
Z

5 + 4 sen t, 3, 4 cos2 t (2 sen t, 2 cos t, 4 cos t) dt

10 sen t 8 sen2 t + 6 cos t + 16 cos3 t dt

1 cos(2t)
2
10 sen t 8
+ 6 cos t + 16 cos t(1 sen t) dt
2

1 cos(2t)
2
=
+ 6 cos t + 16 cos t 16 cos t sen t dt
10 sen t 8
2
0

2
16 sen3 t
= 10 cos t 4t + 2 sen(2t) + 6 sen t + 16 sen t
= 8.
3
0
c) Al igual que antes, calcular

C2

(F + G) dC se reduce a calcular

el campo F es conservativo. El teorema de Stokes establece que

ZZ
Z
G dC =
rot(G) dS,
C2

C2

G dC puesto que

donde S es una superficie que tiene a la curva C2 como curva frontera y que tiene
orientacin

y, z), R(

compatible con la orientacin dada para C2 . Notemos que el campo G(x, y, z) = P (x, y, z), Q(x,
(z, z 2y, x2 ) tiene como rotacional

rot(G)(x, y, z) = Ry Qz , Pz Rx , Qx Py = (1, 1 2x, 0) .

23

La eleccin de la superficie S puede hacerse de diversas maneras. A continuacin presentamos

las dos que, en este caso, resultan ms sencillas.
Primera forma.
Podemos tomar como superficie S la porcin de plano z = 2y+3 que es interior al paraboloide
z = x2 + y 2 , esto es,

S = (x, y, z) : z = 2y + 3, z x2 + y 2 .
Para que la orientacin de S y la de C2 sean compatibles necesitamos que el vector normal a S
apunte hacia donde indica la figura.

Una parametrizacin para esta superficie es

S(u, v) = (u, v, 2v + 3)
donde los parmetros u y v verifican 2v + 3 u2 + v 2 , esto es, u2 + (v 1)2 4, es decir, (u, v)
se mueven en el crculo D centrado en (0, 1) y de radio 2 (la proyeccin de la superficie S en el
plano XY ).
Observemos que Su = (1, 0, 0) y que Sv = (0, 1, 2), por lo que el producto vectorial fundamental es el vector Su Sv = (0, 2, 1) que apunta hacia arriba y hacia la izquierda. De ah
que la orientacin que proporciona esta parametrizacin sobre S es la contraria a la deseada.
Por tanto,
Z
ZZ
ZZ
Z
(F + G) dC =
G dC =
rot(G) dS =
rot(G) (S(u, v)) (Su Sv ) dudv
C2

C2

ZZ

(1, 1 2u, 0) (0, 2, 1)dudv =

ZZ

(4u 2) dudv.

Para hacer esta integral doble sobre el recinto D = {(u, v) : u2 + (v 1)2 4} haremos un
cambio a coordenadas polares trasladadas u = r cos t, v = 1 + r sen t con r [0, 2] y t [0, 2].

24

Teniendo en cuenta que el jacobiano de este cambio vale r, tenemos que

Z2 Z2
Z
ZZ
(F + G) dC =
(4u 2) dudv = (4r cos t 2) rdt dr
C2

=
=

Z2
0
Z2
0

Z
Z2

t=2
2
2

4r cos t 2r dt dr =
4r sen t 2rt t=0 dr
0

r=2
4rdr = 2r2 r=0 = 8.

Segunda forma.
Podemos tomar como superficie S la porcin de paraboloide z = x2 + y 2 que queda por
debajo del plano z = 2y + 3, esto es,

S = (x, y, z) : z = x2 + y 2 , z 2y + 3 .
Para que la orientacin de S y la de C2 sean compatibles necesitamos que el vector normal a S
apunte hacia donde indica la figura.

Y
X

Una parametrizacin para esta superficie es

S(u, v) = (u, v, u2 + v2 )
donde los parmetros u y v verifican 2v + 3 u2 + v2 , esto es, (u, v) se mueven al igual que
antes en el recinto plano D dado por el crculo centrado en (0, 1) y de radio 2 (la proyeccin de
la superficie S en el plano XY ).
Observemos que Su = (1, 0, 2u) y que Sv = (0, 1, 2v), por lo que el producto vectorial
fundamental es el vector Su Sv = (2u, 2v, 1) que apunta hacia arriba. De ah que la
25

orientacin que proporciona esta parametrizacin sobre S es la contraria a la deseada. Por

tanto,
Z
ZZ
ZZ
Z
(F + G) dC =
G dC =
rot(G) dS =
rot(G) (S(u, v)) (Su Sv ) dudv
C2

C2

ZZ

(1, 1 2u, 0) (2u, 2v, 1)dudv =

ZZ

(2u + 4uv 2v) dudv.

Haciendo de nuevo un cambio a coordenadas polares trasladadas u = r cos t, v = 1 + r sen t con

r [0, 2] y t [0, 2] y teniendo en cuenta que el jacobiano de este cambio vale r, tenemos que
ZZ
Z
(F + G) dC =
(2u + 4uv 2v) dudv
C2

=
=
=
=

Z2
0
Z2
0
Z2

0
2
Z
0

Z
(2r cos t + 4r (1 + r sen t) cos t 2 (1 + r sen t)) rdt dr
0

2r cos t + 4r2 cos t + 4r3 sen t cos t 2r 2r2 sen t dt dr

0

t=2
2
2r sen t + 4r2 sen t + 2r3 sen 2 t 2rt + 2r2 cos t t=0 dr

r=2
4rdr = 2r2 r=0 = 8.

26