Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cálculo. Problemas Resueltos - M.R.E.carbonell
Cálculo. Problemas Resueltos - M.R.E.carbonell
Sa Seoane, Joel
variables.
Clculo
Este libro de la coleccin Prentice Prctica forma parte, junto con un libro
en moodle.
Este texto presenta una coleccin de problemas resueltos propuestos en
distintos exmenes a los estudiantes de la Escuela Tcnica Superior de
Clculo
Problemas resueltos
PRENTICE PRCTICA
PRENTICE PRCTICA
www.pearsoneducacion.com
PRENTICE PRCTICA
CLCULO
Ejercicios resueltos
i
i
Pginas: 193
DERECHOS RESERVADOS
c 2008, PEARSON EDUCACIN S.A.
Ribera del Loira, 28
28042 Madrid (Espaa)
ISBN: 9788483224816
Deposito Legal: M.
PRENTICE HALL es un sello editorial autorizado de PEARSON EDUCACIN S.A.
Equipo editorial:
Editor: Miguel Martn-Romo
Tcnico editorial: Marta Caicoya
Equipo de produccin:
Director: Jos A. Clares
Tcnico: Jos A. Hernn
Diseo de cubierta: Equipo de diseo de Pearson Educacin S.A.
Impreso por:
Nota sobre enlaces a pginas web ajenas: Este libro puede incluir enlaces a sitios web gestionados por terceros y ajenos a PEARSON EDUCACIN S.A. que se incluyen solo con finalidad informativa. PEARSON EDUCACIN S.A. no asume ningn tipo
de responsabilidad por los daos y perjuicios derivados del uso de los datos personales que pueda hacer un tercero encargado del
mantenimiento de las pginas web ajenas a PEARSON EDUCACIN S. A y del funcionamiento, accesibilidad o mantenimiento de los sitios web no gestionados por PEARSON EDUCACIN S.A. Las referencias se proporcionan en el estado en que se
encuentran en el momento de publicacin sin garantas, expresas o implcitas, sobre la informacin que se proporcione en ellas.
i
i
NDICE GENERAL
PRLOGO
CAPTULO 1. CONJUNTOS NUMRICOS Y TOPOLOGA
VII
19
37
73
131
147
171
BIBLIOGRAFA
185
i
i
PRLOGO
El presente libro de problemas resueltos forma parte, junto con un libro de teora y un curso de clculo
interactivo sobre la plataforma Moodle, de un conjunto dedicado a la enseanza de la asignatura de
Clculo del primer ciclo de titulaciones cientfico-tcnicas de grado superior. Aunque independientes,
las tres obras son complementarias y se han diseado con una metodologa acorde a las directrices del
Espacio Europeo de Educacin Superior.
El libro presenta un conjunto de problemas que las autoras han propuesto a lo largo de la ltima
dcada en los exmenes de las titulaciones de Ingeniera de Caminos Canales y Puertos e Ingeniera
Geolgica impartidas en la Escola Tcnica Superior dEnginyers de Camins Canals i Ports de la Universitat Politcnica de Catalunya.
El temario propuesto est pensado para iniciar al estudiante en un proceso de formacin en fundamentos matemticos cuyo objetivo final es el dominio de las herramientas de clculo que va a necesitar
a lo largo de la carrera y de su vida profesional. A diferencia de otros textos dedicados a la resolucin
de problemas, ste no contiene resmenes de teora ya que sta se puede consultar extensamente en el
correspondiente libro de teora (M.R. Estela y J. Sa, Pearson Educacin, S.A.) que incluye los enunciados de los problemas aqu propuestos. De esta manera el estudiante tiene la posibilidad de intentar
la resolucin de los problemas con los teoremas a la vista pero sin las soluciones. El valor de estos dos
libros se ve potenciado por la tercera va educativa, es decir la plataforma Moodle en la que, de forma
interactiva, se pueden visualizar los conceptos y reforzar su aprendizaje.
En este texto se presenta bsicamente el clculo diferencial e integral para funciones de una y varias
variables. En el primer captulo se introducen los nmeros reales y complejos y nociones de topologa.
En el Captulo 2 se estudian las sucesiones numricas y las series numricas destacando el concepto de
lmite. En el Captulo 3, los ejercicios tratan conceptos fundamentales de las funciones reales; continuidad, derivabilidad y teoremas relacionados. En el Captulo 4, el estudio corresponde a las funciones
de varias variables, resaltando el clculo de lmites, continuidad, diferenciabilidad y los teoremas de la
funcin inversa e implcita. Los ltimos ejercicios del captulo corresponden a desarrollos en serie de
Taylor y problemas de extremos, libres y condicionados. Los Captulos 5 y 6 estudian la integrabilidad
de Riemann para funciones de una y varias variables respectivamente. El libro termina con un captulo
dedicado al estudio de sucesiones y series de funciones, con ejemplos de un caso particular; series de
Fourier. Hemos dividido este texto en captulos que se ajustan a la organizacin docente de la asignatura
de Clculo que impartimos y somos conscientes de que el orden de estos podra ser distinto, por ejemplo,
se puede permutar el captulo de la integral de Riemann por el de funciones de varias variables.
El conjunto de enunciados, anotaciones y esquemas de resolucin no se habra convertido en el
libro que ahora tiene el lector en sus manos sin el apoyo de nuestra Escuela y sin la dedicacin de
nuestros colaboradores. Por ello, queremos expresar nuestro ms sincero agradecimiento a las personas
que nos han ayudado en la elaboracin del texto. Agradecemos a lEscola Tcnica Superior dEnginyers
de Camins, Canals i Ports de Barcelona la concesin de la ayuda de la Convocatria dAjuts a Projectes
dInnovaci Educativa i Elaboraci de Material Docent 2007". Ral Cano Garca, Joel Sa Seoane y
Marta Martn Escudero han colaborado con nosotras en la edicin del texto en Latex, realizando grficos
y/o revisando los problemas. Muchas gracias, Ral, Joel y Marta por todas las horas que habis dedicado
a este libro, trabajando con mucha profesionalidad y siempre con la mejor disposicin. Los grficos que
contiene el libro se han realizado con tecnologa WIRIS, producto de Maths for More. Agradecemos a
Maths for More su colaboracin, especialmente a Ramon Eixarch.
i
i
VIII
Agradecemos tambin a los profesores Eusebi Jarauta y Xavier Gisbert sus opiniones, pues con ellos
compartimos la docencia de la asignatura de Clculo en la Escuela y en general a los dems profesores
de nuestro Departamento (Matemtica Aplicada III) con los que siempre es grato intercambiar ideas.
Especial mencin merecen nuestros estudiantes por su inters por la asignatura ya que, con su actitud
colaboradora y entusiasta, nos motivan a escribir libros. As pues, agradecemos a los estudiantes que
hayis escogido este libro para el estudio del Clculo. Esperamos que disfrutis aprendiendo Clculo
al mismo tiempo que adquirs una base matemtica fuerte que os permita asimilar los conceptos de la
titulacin en la que habis puesto vuestra ilusin de futuro.
No podemos finalizar este prlogo sin pedir disculpas por las erratas que sin duda se nos han escapado. Cualquier alerta en este sentido as como comentarios y sugerencias por parte del lector sern bien
venidos y, por supuesto, muy apreciados.
Barcelona
Marzo del 2008
i
i
CAPTULO
V (i )
i =1
[n]
2. Antisimtrica: x, y x y y y x x = y
3. Transitiva: x y y y z x z, x, y, z
luego,
2x 6 2 2x 4 x 2 (, 2]
{x R : 2 |2x 6|} = (, 2] [4, +)
b) Para resolver el sistema analticamente debemos considerar cuatro intervalos que se obtienen de
resolver las ecuaciones:
|x + 1| = 0 x = 1
|x 2| = 0 x = 2
|x + 1| = |x 2| x = 1/2
i
i
x < 1
x+1 < 0
x2 < 0
x+1 0
x2 < 0
1
2
<x2
x+1 0
x2 0
x 1 > x + 2 1 > 2
x + 1 > x + 2 2x > 1
x + 1 > x 2 1 > 2
1
1
, 2 [2, ) =
,
2
2
(x > 2)
x + 1 > x 2 1 > 2
x+1 < 0
x2 > 0
x+1 > 0
x2 < 0
(1 < x < 2)
1
x + 1 > x + 2 x >
2
1
siempre cierto en el intervalo
,2 .
2
x+1 < 0
(x < 1)
x2 < 0
que nunca es cierto.
x 1 > x + 2 1 > 2
3 3
> , nunca es cierto
2 2
x = 1 0 > 3, nunca es cierto
x = 1/2
i
i
1 < |x + 1| |x 1| < 1
Si (a > 0) y (b > 0) entonces x > 1 de forma que obtenemos 1 < x + 1 x + 1 < 1 y, por tanto,
encontramos 1 < 2 < 1 que podemos ver que es falso. Luego debe cumplirse x < 1.
Si (a > 0) y (b < 0) entonces 1 < x < 1 y los puntos del conjunto A son los que cumplen,
1 < x + 1 + x 1 < 1
1
1
es decir, 1 < 2x < 1 y, por tanto < x < .
2
2
Si (a < 0) y (b < 0) entonces x < 1 y el conjunto queda expresado como
1 < x 1 + x 1 < 1
es decir, 1 < 2 < 1 que tambin es falso. Por tanto podemos decir que los nicos valores
posibles son
1
1
<x<
2
2
4. Expresar en forma de intervalo el siguiente conjunto de nmeros reales
2
x + 6x 1
xR:
<1
(x + 3)2
x < 3 5
x > 3 + 5
x2 + 6x 1 < x2 + 6x + 9
En este caso la desigualdad es cierta siempre, y, por tanto, el intervalo de puntos en el que se cumplen
ambas condiciones es:
, (3 5) (3 + 5),
i
i
p
x2 + y2
4x2 < x2 + y2
3x2 < y2
3x < |y|
Para representar
el lugar geomtrico, estudiamos los puntos de la frontera, es decir, las rectas y =
y = 3x.
3x y
Figura 1.1
Si x < 0 la desigualdad 2x < |z| siempre es cierta. Luego el lugar geomtrico de os puntos z C tales
que z + z < |z| corresponde a los puntos del plano sombreados en la Figura 1.1.
6. Determinar el lugar geomtrico de los puntos del plano z C tales que la razn de distancias de z a los
puntos 1 y 1 tiene valor constante 2.
Solucin: Sea z = x + iy y las distancias
d(z, 1) = |z 1|
d(z, 1) = |z + 1|
Imponemos que la razn de distancias sea 2.
|z 1|
= 2 |z 1| = 2|z + 1|
|z + 1|
q
q
(x 1)2 + y2 = 2 (x + 1)2 + y2
de donde se deduce,
(x 1)2 + y2 = 4(x + 1)2 + 4y2
x2 2x + 1 + y2 = 4(x2 + 2x + 1) + 4y2
i
i
x2 2x + 1 + y2 = 4x2 + 8x + 4 + 4y2
3x2 + 3y2 + 10x + 3 = 0
10
x+1 = 0
3
este lugar geomtrico corresponde a los puntos de una circunferencia, que puede reescribirse como
x2 + y2 +
5 2
16
x+
+ y2 =
3
9
Figura 1.2
Luego, el lugar geomtrico de los puntos del plano z C tales que la razn de distancias
de z a los puntos
1 y 1 tiene valor constante 2 corresponde a una circunferencia de centro 53 , 0 y radio 43 .
z = 2 cos + i sen
6
6
Aplicando la frmula de Moivre para el clculo de potencias de nmeros complejos, obtenemos
h
in
n
n
( 3 + i)n = 2(cos + i sen ) = 2n cos
+ i sen
6
6
6
6
n
n
n
2n cos
+ i sen
R sen
=0
6
6
6
n
n
sen
=0
= k , k Z n = 6k
6
6
De donde
Si k es un nmero par cos k > 0 y si k es un nmero impar cos k < 0, por lo tanto z = ( 3 + i)n es un
nmero real positivo si k es par, es decir, n es mltiplo de 12.
1
8. Calcular (8) 3 en el conjunto de los nmeros complejos C y expresar el resultado en forma binmica.
Solucin: Para calcular en C las races cbicas de z = 8 expresamos ste nmero en forma exponencial,
z = 8 = 8ei .
3
Las races cbicas de z, 8ei son
zk =
2
3
8ei( 3 +k 3 ) , k = 0, 1, 2
i
i
3 z son
z1 = 3 8ei( 3 ) = 2( 12 + i 23 ) = 1 + i 3
2
z2 = 3 8ei( 3 + 3 ) = 2(1 + 0i)
= 2
3
i( 3 + 43 )
1
3
= 2( 2 + i 2 ) = 1 + i 3
z3 = 8e
24 + 23i 1
+ i. Calcular z2/3 .
10 5i
5
Solucin: Para el clculo de potencias y races de nmeros complejos es preferible tener la expresin
trigonomtrica del nmero complejo, luego
z=
con = arctan
3
1
24 + 23i 1
(24 + 23i)(10 + 5i) 1
+ i=
+ i = 1 + 3i = 10ei
10 5i
5
125
5
, luego se deduce,
z2 = 10ei2
2
z0 = 3 10ei 3
2 2
z1 = 3 10ei( 3 + 3 )
2 4
z2 = 3 10ei( 3 + 3 )
Figura 1.3
6
2i 6
Solucin: Para el clculo de races de nmeros complejos es preferible tener la expresin del
nmero
complejo en coordenadas polares, luego en primer lugar, se expresa el nmero complejo z = 2 i 6
en forma exponencial z = rei , siendo
q
r = ( 2)2 + ( 6)2 = 8
= arctan
= arctan( 3) =
3
2
i
i
As pues,
i
8e 3
p
6
A continuacin se calculan las races sextas de z,
8ei 3
2
zk = 6 re( 6 +k 6 ) , k = 0, 1, 2, 3, 4, 5
z=
y obtenemos
z0 =
z1 =
z2 =
z3 =
z4 =
z5 =
i
8e 18
5
i( + )
12
8e 18 3 = 12 8ei 18
i( + 2 )
11
12
8e 18 3 = 12 8ei 18
17
12
8ei( 18 + ) = 12 8ei 18
4
13
12
8ei( 18 + 3 ) = 12 8ei 18
i( + 5 )
7
12
8e 18 3 = 12 8ei 18
12
En la siguiente representacin grfica, Figura 1.4, observamos que estas soluciones son puntos que pertenecen a una misma circunferencia.
Figura 1.4
11. Sean z1 yz2 las soluciones de la ecuacin z2 2z + 5 = 0 en el cuerpo de los nmeros complejos.
Calcular 3 z1 + z2 .
Solucin: La solucin de la ecuacin z2 2z + 5 = 0 es
2 4 20 2 4i
z=
=
2
2
Luego existen dos soluciones,
z1 = 1 + 2i
z2 = 1 2i
De donde se deduce,
3
3
z1 + z2 = 2
Debemos pues, calcular las races cbicas de z = 2 que expresado en forma polar es z = 2ei0 .
En este caso, las tres races complejas que obtenemos son:
z0 = 3 2
z1 =
z2 =
3
3
3
2 cos 23 + i sen 23 = 22 + i 22 3
3
3
3
2 cos 43 + i sen 43 = 22 i 22 3
En la siguiente representacin grfica, Figura 1.5, observamos que estas soluciones son puntos que pertenecen a una misma circunferencia.
i
i
Figura 1.5
12. Demostrar que, si z1 y z2 son las soluciones complejas de la ecuacin ax2 + bx + c = 0 (b2 < 4ac),
z1 z2
y
son nmeros complejos conjugados de mdulo 1.
entonces
z2 z1
Solucin: Se calculan las soluciones de la ecuacin
b b2 4ac
b
4ac b2
x=
= i
2a
2a
2a
b
4ac b2
Llamando =
y =
, las soluciones de la ecuacin se pueden expresar como
2a
2a
z1 = + i
z2 = i
y observamos que son nmeros complejos conjugados. Comprobamos que z1 y z2 tienen el mismo mdulo
q
p
|z1 | = 2 + 2 = 2 + ( )2 = |z2 |
Si r es el mdulo de estos nmeros complejos, y = arctan es el argumento, entonces se pueden
expresar como:
z1 = rei
z2 = rei
Se demuestra que
z1 z2
y
son complejos conjugados.
z2 z1
z1
rei
= i = ei2 = cos(2 ) + i sen(2 )
z2
re
z2
rei
= i = ei2 = cos(2 ) + i sen(2 ) = cos(2 ) i sen(2 )
z1
re
Tambin se puede comprobar en forma binmica
z1
( + i ) ( + i ) ( + i ) ( 2 2) + i2
=
=
=
z2
( i ) ( i ) ( + i )
2 + 2
z2
( i ) ( i ) ( i ) ( 2 2) i2
=
=
=
z1
( + i ) ( + i ) ( i )
2 + 2
z1 z2
y
tienen mdulo 1
Se demuestra que
z2 z1
q
z1
= cos2 (2 ) + sen2 (2 ) = 1
z2
i
i
Solucin:
a) El error del razonamiento est en la siguiente implicacin,
(x + y)(x y) = y(x y) x + y = y
porque al ser x = y estamos dividiendo por x y = 0.
b) Dado un conjunto, en nuestro caso R, las propiedades de distancia son,
a) d(x, y) 0 x, y R
b) d(x, y) = 0 x = y x, y R
c) d(x, y) = d(y, x) x, y R
Figura 1.6
i
i
10
De las definiciones de punto interior, frontera, adherente, acumulacin y aislado, se deduce que
A = A
A= 0/
A = A = A A es cerrado
Aisl A = 0/
El conjunto A no es compacto porque no est acotado.
14. Sea f una funcin estrictamente creciente de R en R. Demostrar que D(x, y) = | f (x) f (y)| es distancia
en R.
Solucin: La funcin D es distancia en R si cumple las propiedades siguientes:
1. D(x, y) 0, x, y R
AB AB
i
i
11
1
1
2k + 1
= 2
2
2
k
(k + 1)
k (k + 1)2
6k2 < 2
1
k2 >
3
que es cierto, ya que k N.
Alser kun nmero natural cualquiera, es cierto que si sobre un punto del conjunto A se considera la bola
B k12 , r con r < r2 , el nico punto de la bola que pertenece al conjunto A es k12 . Luego se cumple la
definicin de punto aislado para cualquier punto perteneciente al conjunto A.
17. Definimos
A= xR:
2x
x+2
+
3
x1 x+1
Una fraccin es positiva si simultneamente numerador y denominador son positivos o bien negativos,
luego
3x + 1 0
x>1
x2 1 > 0
o bien
De donde resulta
3x + 1 0
x2 1 < 0
1 < x 1/3
1
A = 1, (1, +)
3
1
1,
(1, +)
3
i
i
12
0<y1
Encontrar los puntos de acumulacin, aislados, puntos frontera e interiores de estos conjuntos. Estudiar
si A y B son conjuntos abiertos, cerrados y/o compactos.
A= 0/ A no es abierto
A = A {0} A no es cerrado A no es compacto.
Descripcin topolgica de B:
La representacin geomtrica del conjunto B corresponde al rectngulo que muestra la Figura 1.7.
Figura 1.7
B = (x, y) R2 : 3 x 3,
0y1 =B
Aisl B = 0/
B = (x, y) R2 : x = 3, 0 y 1 (x, y) R2 : 3 x 3, y = 1
(x, y) R2 : x = 3, 0 y 1 (x, y) R2 : 3 x 3, y = 0
Solucin:
A= (0, 1)
1
A = [0, 1] {2} 2 +
[3, 4]
n nN
i
i
13
1
[3, 4]
A = {0, 1} {2} 2 +
n nN
1
Aisl(A) = 2 +
n nN
A = [0, 1] {2} [3, 4]
1
A = (x, y) R2 : x2 + y2 = 2 , n N
n
1
2
1
A = (x, y) R2 : y =
2
El grfico 1.8 describe a los puntos del conjunto A.
i
i
14
Figura 1.8
Luego A corresponde al conjunto de puntos que pertenecen a una circunferencia de centro (1, 0)
y radio R = 1, tal como representa grficamente la Figura 1.9.
Figura 1.9
A = 0/
A=A
A = A
Aisl(A) = 0/
A = A
Como A no coincide con su interior, A no es abierto. El conjunto A coincide con su adherencia,
luego es un conjunto cerrado. A es cerrado y acotado, y, por lo tanto, compacto.
i
i
15
Solucin:
a) Sea z = x + iy, entonces
p
x2 + y2 < 1 x
Como el mdulo es siempre positivo, podemos afirmar que 1 x > 0 y, por lo tanto, que 1 > x.
Elevando al cuadrado la expresin
p
x2 + y2 < 1 x
obtenemos,
x2 + y2 < 1 2x + x2
y2 < 1 2x
Figura 1.10
A = {z C : |z| = 1 Re(z)}
de donde se deduce que la frontera del conjunto A es la recta x = 21 .
La adherencia, coincide con el conjunto de puntos de acumulacin,
A = {z C : |z| 1 Re(z)} = A
y es el semiplano, incluida la frontera.
Al ser A 6= A, el conjunto A no es cerrado. El conjunto A no es ni acotado ni compacto.
24. Dado el conjunto A = {z C : Re(2z) = I m(z 3)} estudiar si A es un conjunto abierto, cerrado,
acotado y/o compacto.
i
i
16
Figura 1.11
Para estudiar si el conjunto A es abierto, cerrado, acotado y/o compacto estudiaremos el interior y la
adherencia de este conjunto.
A = 0/
Por lo tanto como A no coincide con su interior, no es un conjunto abierto.
Observando la adherencia podemos ver que A = A por lo tanto, el conjunto A es cerrado.
El conjunto A no est acotado luego A no es compacto.
25. Interpretar geomtricamente y representar grficamente el conjunto de nmeros complejos que cumplen las dos condiciones siguientes:
3
3
3
Re
Im
2
Re(z)
z
z
4
Solucin: Si consideramos z = x + iy podemos escribir
3
3
3(x iy)
3
3x
=
= 2
Re
= 2
2
z
x + iy
x +y
z
x + y2
3
3(x + iy)
3
3y
3
=
= 2
I
m
= 2
z x iy
x + y2
z
x + y2
3 2
a2 + b2 = r 2 r =
4
Luego la desigualdad
3
3
Im
2
Re
z
z
i
i
3
3
4,4
y radio r =
17
3 2
4 .
3
3
x
4
4
A continuacin la Figura 1.12 representa el lugar geomtrico de los puntos del plano que cumplen las
condiciones del problema.
Figura 1.12
Solucin:
a) Si z = x + iy,
|z 3| =
de donde
z 3
z + 3 2 |z 3| 2|z + 3|
q
(x 3)2 + y2
|z + 3| =
q
(x + 3)2 + y2
(x 3)2 + y2 4 (x + 3)2 + y2 x2 6x + 9 + y2 4x2 + 24x + 36 + 4y2
x2 + y2 + 10x + 9 0 (x + 5)2 + y2 16
Por tanto, el lugar geomtrico, representado en la Figura 1.13, est formado por los puntos de la
circunferencia de centro (5, 0) y radio 4 y los puntos exteriores a ella.
i
i
18
Figura 1.13
b) De a) se deduce que
A = S {(x, 0) : x Q, 9 < x < 1}
i
i
CAPTULO
V (i )
i =1
[n]
1. Sea {an }nN una sucesin convergente de nmeros reales y {bn }nN una sucesin acotada. Estudiar si
son ciertas o falsas las siguientes afirmaciones, demostrando las verdaderas y dando un contraejemplo
en caso de falsedad.
a) La sucesin {an bn }nN est acotada.
an bn = (1)(1)n = (1)n
i
i
20
luego,
lm zn = 1ei = 1
Dado que ni el interior ni la adherencia coinciden con el conjunto, ste no es ni abierto ni cerrado.
Tampoco es compacto, por no ser cerrado.
Es acotado dado que la sucesin es convergente: fuera de cualquier entorno del lmite hay un
nmero finito de puntos. Un entorno de radio igual a la distancia al ms alejado del lmite contiene
todos los puntos de A.
3. Sea la sucesin {xn }nN definida por
2n(e1/n 1)
n = 3
xn =
cos n[ln(n2 n + 2)1/n] n =
6 3
(multiplo de 3)
ln(n2 n + 2)
A = {0, 2}
A = A {0, 2}
b) La sucesin es divergente por tener ms de un punto de acumulacin.
c) Considerando solo una de las dos subsucesiones que definen la principal, por ejemplo, a3 , a6 , a9 ...
a3n , conseguiremos una subsucesin convergente.
d) Si elegimos valores de las dos subsucesiones que forman la principal, por ejemplo, a3 , a5 , a7 ...
a2n+1 , conseguiremos una subsucesin divergente.
4. Sean dos sucesiones {xn }nN y {yn }nN de nmeros reales. Supongamos que {xn }nN es de Cauchy
y que lm d(xn , yn ) = 0. Demostrar que, en estas condiciones, {yn }nN tambin es una sucesin de
n
Cauchy.
i
i
21
+ + =
3 3 3
Luego
> 0, N0 N : n, m > N0 , |yn ym | <
quedando demostrado que en estas condiciones {yn }nN es una sucesin de Cauchy.
Nota: Si lm xn = x0 se cumple
n
+ < , n n0 N
2 2
Finalmente, de {yn }nN convergente se deduce que {yn }nN es una sucesin de Cauchy.
5. Calcular los siguientes lmites
a) lm (n + n) ln 1 +
n
b) lm
c) lm
1 + 3n2
3n2 2
3
2n 1
1+n2
ln(a + n)
ln n
n ln n
i
i
22
Solucin:
a) Al evaluar el lmite
lm (n + n) ln 1 +
3
2n 1
vemos que presenta una indeterminacin del tipo 0, que resolvemos de la siguiente forma.
lm (n + n) ln 1 +
3
2n 1
= lm
3
ln 1 + 2n1
1
(n+ n)
lm
3
2n1
=1
y obtenemos
= lm
3
ln 1 + 2n1
3
2n1
b) El lmite
lm
3
2n1
1
(n+ n)
3(n + n) 3
=
n 2n 1
2
= lm
1 + 3n2
3n2 2
1+2n2
presenta una indeterminacin del tipo 1 que podemos resolver utilizando la definicin
1
1 n
1+
n
n
e = lm
lm
lm
Luego,
1 + 3n2
3n2 2
1+2n2
2
lm 1+3n
1 (1+2n2 )
2
= en
3n 2
3
3 + 6n2
1 + 3n2
2
2
1
(1
+
2n
)
=
l
m
(1
+
2n
)
=
l
m
=2
n 3n2 2
n 3n2 2
3n2 2
lm
1 + 3n2
3n2 2
c) El lmite
lm
1+2n2
ln(a + n)
ln n
n ln n
ln n + ln na + 1
= lm
=
n
ln n
!
ln an + 1
1+
=1
ln n
ln n an + 1
ln(a + n)
lm
= lm
n
n
ln n
ln n
= lm
= e2
i
i
23
lm
Luego,
ln(a + n)
ln n
n ln n
=e
lm
ln(a+n)
ln n 1
n ln n
ln a+n
ln(a + n)
ln(a + n) lnn
n
1 n ln n = lm
n ln n = lm
n ln n =
n
n
ln n
ln n
ln n
na
a
a
+1
= ln ea = a
= lm ln
n
n
lm
ln(a + n)
ln n
n ln n
= ea
6. Estudiar la existencia del lmite y encontarlo, en caso de existir, de la sucesin de nmeros reales
{xn }nN definida por
sen( n)
xn =
1 + n
en funcin del parmetro R; > 0.
Solucin: Podemos reescribir la sucesin {xn }nN como
xn =
Calculamos el lmite
1
sen( n)
1 + n
1 <1
1
1
lm
=
=1
n 1 + n
2
0 >1
sen( n)
=0
n 1 + n
lm
7. Calcular
1
4
5
n+2
lm
2 ln + 3 ln + + n ln
n n
2
3
n
Solucin: Resolvemos el lmite aplicando el criterio de Stolz.
n ln n+2
n+2
2 n
n
lm
= lm n ln
= lm ln 1 +
=
n n (n 1)
n
n
n
n
Luego
n
2 22
= lm ln 1 +
= ln e2 = 2
n
n
4
5
n+2
1
2 ln + 3 ln + + n ln
=2
lm
n n
2
3
n
i
i
24
2n2
n N. Calcular los
n+1
a) lm (an+1 an )
n
b) lm
a1 + a2 + + an
n2
Solucin:
a) En primer lugar, para resolver el primer lmite calculamos la diferencia entre dos valores consecutivos de la sucesin {an }nN .
an+1 an =
2(n + 1)2
2n2
2(n + 1)2(n + 1) 2n2(n + 2) 2n2 + 6n + 2
=
= 2
n+2
n+1
(n + 1)(n + 2)
n + 3n + 2
Por tanto,
2n2 + 6n + 2
=2
n n2 + 3n + 2
lm (an+1 an ) = lm
2n2
n+1
2n 1
2n2
=1
n (n + 1)(2n 1)
= lm
Luego,
a1 + a2 + + an
=1
n
n2
lm
siendo k N.
Solucin: Utilizando el criterio de Stolz calculamos el siguiente lmite,
1k + 2k + + nk 1k + 2k + (n 1)k
nk
lm
=
l
m
=
n
n nk+1 (n 1)k+1
nk+1 + 1 ((n 1)k+1 + 1)
nk
n
k+1
k+1
nk+1 nk+1 +
nk +
nk1
1
2
= lm
nk
1
=
n (k + 1)nk
k+1
= lm
De donde se deduce,
1
1k + 2k + + nk
=
n
nk+1 + 1
k+1
lm
i
i
25
1
1
1
+
+ ...+
n+1 n+2
2n
1
2
a2 = 13 + 14 =
7
12
> a1
a3 = 14 + 15 + 16 =
39
60
> a2
y observamos que en caso de existir monotona, la sucesin ser montona creciente. Comprobamos que, efectivamente, es as:
1
1
1
1
an+1 an =
+ ...+
+ ...+
=
n+2
2(n + 1)
n+1
2n
1
1
1
1
1
1
=
+
=
>0
2n + 1 2n + 2 n + 1 2n + 1 2n + 2 2(n + 1)(2n + 1)
Por tanto, se cumple an+1 > an para todo n N como se quera probar.
1
1
1
1
1
1
n
+
+ ...+
+
+ ...+
=
<1
n+1 n+2
2n n + 1 n + 1
n+1 n+1
Como, por definicin, an 0 para todo n N, resulta finalmente que la sucesin es acotada y, se
cumple
0 an < 1, n N
c) La sucesin es convergente por ser montona y acotada.
d) Atendiendo que a1 =
afirmar,
y en definitiva se cumple
1
2
11. Consideramos {xn }nN una sucesin de nmeros reales que cumplen:
x1 =
1
2
7xn+1 = x3n + 6, n 1
Estudiar la convergencia de la sucesin {xn }nN y calcular su lmite.
i
i
26
Y, por tanto, obtenemos como resultados de la ecuacin los valores {1, 2, 3}, de los cuales solo pueden
ser lmites {1, 2}, ya que por construccin todos los valores que toma la sucesin son positivos.
Demostraremos que la sucesin {xn }nN es montona creciente, aplicando el mtodo de induccin:
1 1
49 1
+6 =
> = x1
x2 =
7 8
56 2
Supongamos, por hiptesis de induccin, xn+1 > xn . Debemos demostrar que xn+2 > xn+1 .
xn+2 =
x3n+1 + 6 x3n + 6
>
= xn+1
7
7
x3n + 6 1 + 6
<
=1
7
7
Solucin: Para estudiar la convergencia de la sucesin {xn }nN estudiaremos la monotona y si est
acotada.
Primero veamos que la sucesin est acotada superiormente aplicando el mtodo de induccin:
x1 = a x2 = 4 + 3a < 4 + 3 4 = 4
Supongamos por hiptesis de induccin que xn < 4
p
Por tanto podemos decir que la sucesin est acotada superiormente por 4.
Para ver si la sucesin es creciente tambin utilizamos el mtodo de induccin. Para el caso n = 1
tenemos:
i
i
27
4 + 3L L2 3L 4 = 0 L = 4
3 + 2an1, n 1
3 + 2L. La ecuacin tiene dos soluciones L = 1 y L = 3, pero dado que {an }nN es una sucesin de
valores positivos, el candidato a lmite es 3.
Si la sucesin es montona y acotada entonces es convergente y la unicidad del lmite nos permite afirmar
que lm an = 3.
n
Veamos primero que la sucesin {an }nN es montona decreciente aplicando el mtodo de induccin.
a0 = 11; a1 =
3 + 2 11 = 5 a0 > a1
p
p
3 + 2an1 3 + 2an an an+1
Demostraremos ahora, tambin por el mtodo de induccin, que la sucesin est acotada inferiormente
por 3.
a0 = 11 > 3
Si an > 3 (Hip. de induccin) queremos demostrar que an+1 > 3, n N.
an+1 =
2 + 2an > 3 + 2 3 = 3
Luego la sucesin {an }nN est acotada, porque al ser montona decreciente est acotada superiormente
por a0 .
14. Calcular, si es posible, la suma de las siguientes series numricas:
n
1
a)
n2 3
b)
2n
n=3
i
i
28
Solucin: Estas series son sumables porque son series geomtricas convergentes.
n
1
a) Podemos calcular la suma de la serie
porque se trata de una serie geomtrica de razn
n2 3
1
<1
3
n
1 2
1
1
3
1
3
3 = 1 1 = 92 = 9 2 = 6
n2
3
3
b) Para calcular la suma tendremos en cuenta la suma de las series geomtricas,
1 3
3
1 3
1
2
2n = 3 2n = 3 1 1 = 3 4 = 4
n=3
n=3
2
n0
1
10
n
1
< 1, por tanto, convergente y de suma
10
n
1
1
10
10 = 1 1 = 9
n0
10
As pues,
9.9 =
16. Sean
n
1
9
=
9
10n 10
n0
n0
1
9 10
n0
n
=9
10
= 10
9
n1
n1
( an + bn) es convergente.
n1
n1
al ser
lm Tn = T donde Tn = b1 + b2 + . . . + bn.
bn convergente, n
n1
De donde
lm ( Sn + Tn ) = S + T
Luego, la serie
( an + bn) es convergente.
n1
i
i
29
(1)
a)
n=1
b)
n=1
n
2n 1
1 1
n 5n
n
Solucin:
a) Estudiaremos el carcter de la serie de valores absolutos,
n
n
n
n
n
(1)
=
2n 1
2n 1 n=1
n=1
Al ser una serie de trminos positivos, podemos aplicar el criterio de la raz n-sima
lm
s
n
n
2n 1
n
= lm
n
1
= <1
2n 1 2
n1
La serie
1
1
.
n 5n
n1
Luego
n1
n1
1
1
n 5n
diverge.
nn
n!
n1
lm
an+1
an
(n + 1)n+1
n!(n + 1)n+1
(n + 1)!
= lm
= lm
=
n
n
n
n (n + 1)!nn
n!
(n + 1)n+1
(n + 1)n
1 n
= lm
= lm 1 +
=e>1
= lm
n
n
n (n + 1)nn
nn
n
por tanto la serie es divergente.
19. Estudiar el carcter de la siguiente serie dependiendo de los valores de , siendo > 0.
(n + )!
n
n0 !n!
i
i
30
(n + 1 + )! !n! n
n+1+
1
= lm
=
n !(n + 1)! n+1 (n + )!
n (n + 1)
= lm
Segn el criterio
si
si
si = 1,
(n + 1)!
= (n + 1) la serie diverge.
n
n0 1!n!1
n0
Luego, la serie
(n + )!
n
n0 !n!
tann
n1
2
+
5 n
n=1
2n
n3 + 1
2n2 1
1 n
kxk
n2 k=1
i
i
31
Pero la convergencia de {an }nN no implica la convergencia de {xn }nN . Veamos un contraejemplo.
La sucesin {xn } = {0, 1, 0, 1, 0, 1, . . .} es una sucesin divergente
2n
kxk = 2 + 4 + 6 + . . .+ 2n = 2(1 + 2 + 3 + . . .+ n) = 2
k=1
a2n =
n(n + 1)
2
1
n(n + 1)
(2 + 4 + 6 + . . .+ 2n) =
2
(2n)
4n2
1
4
Vemos que {xn }nN es divergente y sin embargo {an }nN es convergente.
lm an =
(n + 4)(n + 3)
n1
Solucin: Aplicando el criterio de Pringsheim podemos comprobar que la serie es convergente. Para
calcular su suma, descomponemos en suma de fracciones simples.
A
B
A(n + 3) + B(n + 4)
1
=
+
=
(n + 4)(n + 3) n + 4 n + 3
(n + 4)(n + 3)
Se deduce, A = 1 y B = 1, de donde,
1
1
1
=
(n + 4)(n + 3) n + 4 n + 3
Vemos que se trata de una serie telescpica que podemos reecribir como
1
1
n+3
n1 n + 4
Si an =
1
, al ser
n+3
lm
1
=0
n+3
1
4
n!(n + 2)
n0
i
i
32
(n + 2)!
n0
A + 2B = 1
B=1
A = 1
(n + 2)!
n0 n!(n + 2)
n0 (n + 1)!
considerando
an =
1
1
(n + 1)! (n + 2)!
bn =
1
(n + 1)!
1
1
lm
=1
1! n (n + 2)!
(n + 1)2
ln n(n + 2)
n1
Luego,
ln
(n + 1)2
(n + 1) (n + 1)
=
n(n + 2)
n
n+2
(n + 1)2
n+1
n+1
n+1
n+2
= ln
+ ln
= ln
ln
n(n + 2)
n
n+2
n
n+1
n+1
n+2
ln
ln
n
n+1
n1
la serie
n+1
=0
n
(n + 1)2
ln n(n + 2)
n1
i
i
33
ln n(n + 2) = ln
n1
25. Calcular
1+1
n+2
lm ln
= ln 2
n
1
n+1
+ sen
+ . . . + sen
lm
n
ln n
Con ayuda del lmite anterior, estudiar la convergencia de la serie
sen n
n1
sen
Solucin: Para el calculo del lmite utilizaremos el criterio de Stolz. Primero comprobaremos que se
cumplen las condiciones del criterio
yn+1 = ln(n + 1) > yn = ln n
lm yn = lm ln n =
sen 1 + sen 2 + . . . + sen
lm
n
ln(n + 1) lnn
sen n+1
/(n + 1) sen n+1
1/n
= lm
=
= lm
n ln(n + 1) lnn
n
1/n /(n + 1) ln(1 + 1n )
sen
+ sen
n+1
+ . . . + sen
sen n+1
n+1
y
lm
ln 1 + 1n
1
n
=1
=1
lm
+ sen
+ . . . + sen
ln n
sen
n1
n
= lm
sen
n
k=1
k
= lm Sn
n
sen
+ sen
+ . . . + sen
ln n
Sn
=
n ln n
= lm
Esto implica que Sn y ln n son infinitos del mismo ordren y, por lo tanto, lm Sn = . La serie
n
diverge.
sen
n1
n
i
i
34
Como mtodo de resolucin alternativo, podemos estudiar la convergencia de la serie utilizando el crite1
rio de comparacin por el cociente. Si comparamos con la serie divergente observamos que:
n1 n
lm
sen
1
n
sen
n1
n
tambin diverge.
4n2 + 8n + 3
n2
y por lo tanto
xn =
3
2n + 1
= (xn xn+1)
2
2n + 3
n2 4n + 8n + 3
n2 2n + 1
n2
Calcularemos la suma utilizando que se trata de una serie telescpica
6
lm xn+1 =
4n2 + 8n + 3 = (xn xn+1) = x2 n
5
n2
n2
4n 1
2n
n+
2n ,
an
n1
i
i
35
Solucin:
a) Planteamos la igualdad siguiente:
4n 1 (n 1) + n +
n 2 +
2 n 2 + 2 n
=
=
=
2n
2n1
2n
2n
2n
Igualando coeficientes, se obtiene
4=
1 = 2 +
de donde = 4 y = 7.
b) Del apartado a) se deduce que
4n 1
4n + 7
= (bn1 bn) con bn =
n
2
2n
n1
n1
an
n1
i
i
CAPTULO
V (i )
i =1
[n]
1. Calcular
lm
x0
x2
x2 + x 2
1+cot2 x
Solucin: Si calculamos el lmite directamente, nos queda una indeterminacin del tipo 1 .
Podemos reescribir el exponente como
1+
1
cos2 x
=
sen2 x sen2 x
1
=
1
x2 + x 2
x2 + x 2
x2 + x 2
luego, podemos expresar el lmite como
lm 1 +
x0
x2
x2 + x 2
1
sen2 x
= lm
1 +
x0
2. Calcular
x2 +x2
x +x2
x2
2
x2
x2
(x2 +x2) sen2 x
1
= e2
lm
x2
2 x2 1
1
2 x2 + 1
lm 2 x2 = 2+ = +
x2+
lm 2 x2 = 2 =
x2
1
=0
2+
Luego,
1
lm
x2+
2 x2 1
2
1
x2
+1
= lm
x2+
1
1+
2 x2
1
=1
1
2 x2
i
i
38
lm
2 x2 1
= 1
1
2 x2 + 1
Como los lmites laterales no coinciden, no existe el lmite
x2
lm
x2
2 x2 1
1
2 x2 + 1
lm f (x) = f (0)
x0
Pero
sen x
sen x
= lm
=1
x0 x
|x|
sen x
sen x
lm
= lm
= 1
x0 x
|x|
x0
lm
x0+
luego podemos afirmar que no existe lm f (x). Consecuentemente, f presenta una discontinuidad de
x0
Figura 3.1
sen(x + sen x)
sen x
Solucin: Como la funcin f es continua en el intervalo abierto, debemos encontrar el valor del lmite
en los extremos para poder extender de manera continua la funcin f al intervalo cerrado.
sen(x + sen x)
sen(x + senx) x + senx
sen(x + sen x) x
sen x
= lm
= lm
+
=2
x0
x0
x0
sen x
x + senx
sen x
x + sen x
sen x sen x
lm
Para calcular
lm
sen(x + sen x)
sen x
i
i
39
aplicamos la regla de lHpital ya que observamos que en este caso no podemos aplicar infinitsimos
equivalentes porque x no tiende a cero. As pues, de
lm
se deduce que
sen(x + sen x)
=0
sen x
sen(x + sen x)
f(x) =
sen x
x=0
0<x<
x=
5. Consideramos el conjunto
3
2
A = z C : Re
Im
3
z
z
Estudiar las condiciones que garantizan que una funcin f : A R2 R tiene sus extremos en puntos
de A.
Solucin: Sea z = x + iy y, por tanto, z = x iy
3 3z 3x 3iy
3
3x
=
= 2
Re
= 2
2
z
zz
x +y
z
x + y2
2 2z 2x + 2iy
2
2y
=
= 2
Im
= 2
z
zz
x + y2
z
x + y2
por tanto,
3x 2y
A = (x, y) R2 : 2
3
x + y2
3x 2y
2
3 3x 2y 3(x2 + y2 ) x2 + y2 x + y 0
2
2
x +y
3
Identificamos el lugar geomtrico con la ecuacin de la circunferencia,
(x a)2 + (y b)2 r2
siendo a = 21 , b = 13 , r2 =
13
36 .
A=
)
1 2
1 2 13
(x, y) R : x
+ y+
2
3
36
2
La adherencia del conjunto A, A, coincide con A (puesto que A incluye los puntos de la frontera) y,
aplicando la caracterizacin de conjuntos cerrados, podemos afirmar que A es un conjunto cerrado.
El conjunto A est acotado, est contenido, por ejemplo, en una bola de centro en el origen y radio 100,
A B((0, 0), 100)
i
i
40
Por tanto, podemos asegurar que A es un conjunto acotado. Por ser cerrado y acotado podemos garantizar
que el conjunto A tambin es compacto.
El teorema de Weierstrass nos garantiza que la funcin f : A R tiene sus extremos en puntos del
conjunto A por el hecho de ser f continua y A compacto.
6. Sea f : [a, b] R, una funcin continua en [a, b] y P = ( , 0) un punto del eje de abscisas. Demostrar
que existe un punto de la grfica y = f (x), con x [a, b], que es el ms cercano a P de entre todos los
puntos de la grfica.
Solucin: La distancia de P a los puntos de la grfica de f viene dada por la funcin
d : [a, b] R+
definida por
d(x) = d((x, f (x)), ( , 0)) =
q
(x )2 + f 2 (x)
La funcin d es continua en el compacto [a, b] por serlo f , luego estamos en condiciones de aplicar el
teorema de Weierstrass. ste nos confirma que la funcin d tiene un mnimo absoluto en [a, b].
7. Estudiar los siguientes apartados:
a) Sea f : R R una funcin continua. Estudiar las condiciones que debe cumplir la funcin f
para verificar:
a<b
1
1
<
f (a)
f (b)
c) Consideramos la funcin f : R R definida por f (x) = sen(x). Demostrar que f es uniformemente continua x R.
Solucin:
a) Las condiciones necesarias son:
a) f (x) 6= 0, x R
b) Si f es continua f (x) tendr siempre el mismo signo. Supongamos f (x) > 0 entonces
1
1
f (b)
<
b) La expresin lm f (x) requiere que cualquier entorno del punto p tenga elementos del dominio
xp
distintos de p, es decir, p debe ser punto de acumulacin. Por tanto, en ningn caso es cierto que
lm f (x) = f (p) si p es un punto aislado.
xp
c) Debemos encontrar una relacin entre y independiente del punto en la definicin de continuidad,
> 0 > 0 : | f (x) f (y)| < x, y R : |x y| <
i
i
41
La funcin f (x) = sen(x) es una funcin derivable en todo R por tanto podemos aplicar el teorema
del valor medio,
sen(x) sen(y) = cos( )(x y)
y como
| cos( )| 1
se cumple
Figura 3.2
i
i
42
x
. Dar un dominio
1+x
donde f sea uniformemente continua y un dominio donde no lo sea. Justificar la respuesta.
x
est definida en un conjunto compacto A (tal que A no contiene
1+x
al punto x = 1), ser uniformemente continua, ya que toda funcin continua definida en un conjunto
compacto es uniformemente continua.
Solucin: Si la funcin f (x) =
Un posible dominio para que la funcin no sea uniformemente continua sera (1, ], siendo R, >
1.
10. Sea f : [0, 2] R funcin continua tal que f (0) = f (2). Demostrar que existen x, y [0, 2] con
x y = 1 tales que f (x) = f (y).
Solucin.
Consideramos x = y + 1 y definimos la funcin g(y) = f (y + 1) f (y).
g(0) = f (1) f (0)
g(1) = f (2) f (1)
Si f (0) = f (1) tomamos y = 0 ( x = 1), si f (0) 6= f (1) fijmonos que g(0)g(1) < 0.
Com g es una funcin continua (por serlo f ) podemos aplicar el teorema de Bolzano en el intervalo [0,1]
y obtenemos
y (0, 1) : g(y) = 0
por tanto, existen x, y [0, 2] con x y = 1 tales que f (x) = f (y).
11. Encontrar un intervalo de la recta real donde la ecuacin,
1
e2t 4 = t 2
2
tenga al menos una raz real.
Solucin: Definimos la funcin real de variable real f (t) = e2t 4 12 t 2 . Se cumple,
f (0) = 1 4 = 3 < 0
f (1) = e2 4
1
9
= e2 > 0
2
2
i
i
43
Figura 3.3
Por tanto, f (0) = 0 y la funcin es derivable en x = 0. La Figura 3.3. muestra la representacin grfica
de la funcin f .
13. Consideremos la funcin f : A R R definida por
f (x) =
|x + 1||x 2|
(x + 1)(x + 2)
x2
x+2
x2
x+2
f (x) =
2x
x+2
x2
x+2
x < 2
2 < x < 1
1 < x < 2
2<x
x2
4
x2
=
= +
x + 2 ()0
x2
4
=
=
x + 2 (+)0
luego f tiene una discontinuidad asinttica en x = 2.
lm
x2+
lm
x1
x 2 3
=
= 3
x+2
1
2x 3
= =3
x+2 1
luego f tiene una discontinuidad de salto en x = 1.
La Figura 3.4 muestra la representacin grfica de la funcin f .
lm
x1+
i
i
44
Figura 3.4
x2
lm
2x
x+2
x2
x2+
x2
x+2
x2
1
4
1
4
x2
1
f (x) f (2)
=
x2
4
la funcin no es derivable en x = 2.
As pues, la funcin derivada de la funcin f es
(x
+
2)2
4
f (x) =
(x + 2)2
(x + 2)2
x < 1, x 6= 2
1 < x < 2
2<x
Estudiando el signo de la derivada, podemos observar que la funcin solo decrece en (1, 2) y
crece en (, 2) (2, 1) y en (2, +).
14. Estudiar para qu intervalo I R la implicacin siguiente es cierta.
x, y I, x < y |x3 | < |y3 |
Solucin: Sea la funcin f (x) = |x3 |. La afirmacin x < y f (x) < f (y) se cumple cuando la funcin
es creciente, por lo tanto, debemos comprobar para qu intervalos de R la funcin f es creciente.
3
x
0
f (x) =
x3
x3 > 0 (x > 0)
x=0
x3 < 0 (x < 0)
i
i
45
3x2 x > 0
f (x) =
0
x=0
3x2 x < 0
Por tanto, f es creciente en [0, ), y ser en ste intervalo donde la implicacin sea cierta.
15. Estudiar la continuidad y derivabilidad de la funcin
arctan(x 3) + arctan
f (x) =
1
x3
x 6= 3
x=3
x3+
lm f (x) =
x3
Vemos que no existe el lmite en x = 3 y, por tanto, la funcin no es continua en el punto, hecho
que implica que tampoco sea derivable.
Para calcular la derivada simplemente utilizamos las reglas de derivacin de la funcin en los
puntos del dominio donde sta es derivable, es decir, en R {3}
1
1
f (x) =
+
2
2
1 + (x 3)
1+ 1
x3
f (x) =
2,
1
(x 3)2
=0
x>3
, x < 3
2
Figura 3.5
i
i
46
1
x
xn sen
0
x 6= 0
x=0
f (x) =
El lmite
sen 1x
0
lm sen
x0
x 6= 0
x=0
1
x
lm xn sen
x0
1
=0
x
1
1
xn2 cos
x
x
xn sen 1x 0
f (0) = lm
x0
x0
Si n = 2, el lmite
no existe y si n > 2
1
1
lm 2x sen
cos
x0
x
x
1
1
n1
n2
x cos
=0
lm nx sen
x0
x
x
12
x
i
i
47
Solucin:
a) La funcin f est definida en R = R {0} y es continua por ser composicin de funciones
continuas. Su representacin grfica es la que se muestra en la Figura 3.6.
Figura 3.6
Para que exista una extensin continua F en R debe existir el lmite de f en el origen:
1
lm f (x) = lm e x2 = lm et = 0
x0
x0
1
=t
x2
de donde
x0t
f (x)
x 6= 0
x=0
1
F(x) F(0)
e x2
et
t2
lm
= lm
= lm 1 = lm t = 0
t e
t
x0
x0 x
x
1
t2
Por orden de infinitos t 2 << et , luego existe F (0) y vale 0, es decir, la funcin derivada es
2x3 e x2 x 6= 0
F (x) =
0
x=0
1
1
1
= 0 = < 0
2
2
2
1
1 1 1 2e
= e1 = =
<0
2
2 e 2
2e
1
1
1 2 e1/4
1
= e1/4 = 1/4 =
>0
2
2 e
2
2e1/4
i
i
48
Solucin:
a) Sea h(x) = f (x) g(x) funcin continua en [a, b].
Si f (a) = g(a) o bien f (b) = g(b) entonces x0 = a o bien x0 = b. En caso contrario, h(a)h(b) < 0,
el Teorema de Bolzano permite afirmar que x0 (a, b) : h(x0 ) = 0, por lo tanto x0 [a, b] :
f (x0 ) = g(x0 ).
1
1
+ 1 = 1 x = 1
/ [1, e2 ]
x
x
Del teorema de Rolle se deduce que f tendr como mucho una raz en el intervalo [1, e2 ].
f (1) = 3 < 0
f (e2 ) = e2 2 > 0
i
i
49
20. Sea f : [0, a] [0, a] con a > 1, f continua en [0, a] y derivable en (0, a).
a) Probar que x0 tal que f (x0 ) = 2x20 .
b) Estudiar la condicin que debe cumplir f (x) para que el punto x0 sea nico.
Solucin:
a) Definimos h(x) = f (x) 2x2 funcin continua en el intervalo [0, a] y derivable en (0, a). El teorema de Bolzano permite resolver el problema. Veamos si estamos en condiciones de aplicarlo.
Calculamos la imagen de la funcin h en los extremos del intervalo.
Como h(0) = f (0), si f (0) = 0 entonces x0 = 0.
Supongamos pues, f (0) > 0. Entonces,
h(a) = f (a) 2a2 a 2a2 = a(1 2a)
h(a) = a(1 2a) < 0 1 2a < 0
1
<a
2
Al ser a > 1 se cumple a > 21 . Estamos pues en condiciones de aplicar el teorema de Bolzano y
afirmar que
x0 [0, a) : h(x0 ) = 0
b) Del teorema de Rolle se deduce que si una funcin continua en un intervalo cerrado, derivable
en el abierto, no tiene races en la funcin derivada, entonces a lo sumo tiene una raz en dicho
intervalo. En nuestro caso particular,
h (x) = f (x) 4x
Luego
h (x) 6= 0 f (x) 6= 4x, x (0, a)
21. Sea f la funcin real definida por
f (x) = (x2 + 1) ln(x2 + 1) + x2
x [0, e]
Demostrar que la ecuacin f (x) = 5 tiene una nica raz real en el intervalo.
Solucin: Si definimos la funcin g(x) = f (x) 5 = (x2 + 1) ln(x2 + 1) + x2 5, debemos demostrar que
existe un nico punto x [0, e] tal que g(x) = 0.
La Figura 3.7 muestra la representacin grfica de la funcin f .
Figura 3.7
i
i
50
Aplicaremos el teorema de Bolzano y para ello debemos comprobar si se cumplen las hiptesis del
mismo. Observamos que g(x) es una funcin continua definida en un compacto y existen dos valores
g(a) y g(b) no nulos de signos opuestos.
g(0) = 5 < 0
x (0, 2) | g(x) = 0
g(2) = 5 ln 5 1 > 0
Por lo tanto, existe al menos un punto donde g(x) = 0.
La funcin g es derivable en (0, e) y su derivada es
g (x) = 2x ln(x2 + 1) + 4x = 2x ln(x2 + 1) + 2
En (0, e) g (x) > 0, por lo tanto, la funcin g(x) es estrictamente creciente. Se deduce que existe como
mximo un valor x (0, e) tal que g(x) = 0. De este modo, el valor x tal que g(x) = 0 es nico, y as, la
ecuacin f (x) = 5 tiene una nica raz real en el intervalo [0, e].
22. Estudiar el nmero de races de la ecuacin en el intervalo [0, +) de R
1
ln 2
= (x 3)3
x +1
Solucin: Sea la funcin
1
f (x) = ln 2
+ (x 3)3 = (x 3)3 + ln(x2 + 1)
x +1
Figura 3.8
2x
x2 + 1
> 0, x > 0
Si aplicamos el teorema de Bolzano en el intervalo [0, 3] vemos que se cumplen las hiptesis del teorema
porque f es continua en [0, 3], f (0) = 27 < 0 y f (3) = ln 10 > 0.
Luego, existe un valor c, tal que, 0 < c < 3 y f (c) = 0 es decir, hay al menos una solucin de la ecuacin
1
ln 2
= (x 3)3
x +1
Dado que la funcin es derivable en todo R y que f (x) > 0, x > 0 la funcin es estrictamente creciente
y por lo tanto la solucin de f (x) = 0 es nica.
i
i
51
1
x+1
2
f (x) es una funcin continua y derivable en su dominio [1, ). Calculamos su primera derivada
1
f (x) = ex 3x2 (x + 1)1/2
4
Todos los trminos de la expresin son negativos, por lo tanto, f (x) < 0 en todo el dominio, luego f es
una funcin montona decreciente.
Como la funcin f es continua, si encontramos dos puntos a, b, donde f (a) > 0 y f (b) < 0, entonces
por el teorema de Bolzano existir un punto c (a, b), donde f (c) = 0. As
f (0) = 1
f (1) = e1 13
1 1
=
2 2
1
1 + 1 = 1,34
2
Como no hay ningn punto donde f (x) = 0, el teorema de Rolle garantiza que no habr ningn otro
punto donde f (x) = 0.
24. Sea la funcin P(x) = Ax2 + Bx + C. Probar que para cualquier intervalo [a, b], el valor c (a, b) que
satisface el teorema del valor medio es el punto medio del intervalo.
Solucin: Calculamos la derivada de la funcin P,
P (x) = 2Ax + B
Aplicando el teorema del valor medio al intervalo [a, b] obtenemos:
P(b) P(a) = (2Ac + B)(b a)
Ab2 + Bb + C (Aa2 + Ba + C) = (2Ac + B)(b a)
A(b2 a2 ) + B(b a) = (2Ac + B)(b a)
A(a + b) + B = 2Ac + B
a + b = 2c
c=
a+b
2
lm ( f (2x) f (x)) = lm f ( )x = 0
ya que si x , .
i
i
52
26. Sea f : I R R derivable en I; [1, 2] I, f (1) = 2, f (2) 4 y f (x) > 0 x (1, 2). Demostrar
que en el intervalo [1, 2] la ecuacin ln x + f (x) = 0 tiene solucin nica.
Solucin: Sea g(x) = ln x + f (x) derivable en [1, 2] (por serlo f ). La derivada de la funcin g vale
g (x) =
1
+ f (x) > 0
x
x (1, 2)
Por el teorema de Rolle sabemos que si tiene raz sta ser nica.
g(1) = 0 2 = 2 < 0
g(2) > 0
Por el teorema de Bolzano podemos asegurar que la funcin g tiene raz en (1, 2) y, por tanto, la ecuacin
ln x + f (x) = 0 tiene solucin nica en [1, 2].
27. Sea f : [a, b] R una funcin continua en [a, b] y derivable en (a, b).
Demostrar que existe un valor t (a, b) tal que
1 a
b
= f (t) + t f (t)
a b f (b) f (a)
Solucin: Calculamos el determinante
1
(a f (a) b f (b)) = f (t) + t f (t)
ab
a f (a) b f (b) = ( f (t) + t f (t))(a b)
g(x) = x f (x)
Observamos que g es continua en [a, b] y derivable en (a, b), por serlo f .
Aplicando el teorema del valor medio a la funcin g, podemos asegurar que existe t (a, b) tal que
g(a) g(b) = g (t)(a b)
28. Demostrar que si f : R R es derivable x R y cumple que f (0) = 0 y | f (x)| < 1, x R, entonces
| f (x)| < |x|, x 6= 0.
Solucin: Aplicando el teorema del valor medio
| f (x)| = | f (x) f (0)| = | f ( )(x 0)| = | f ( )||x| < |x|
siendo un valor entre x y 0.
29. Sea una funcin f : A R A. Diremos que f es contraccin si (0, 1) tal que | f (x) f (y)|
|x y|, x, y A.
a) Demostrar que una contraccin es siempre uniformemente continua.
b) Demostrar que si f es derivable en A entonces es contraccin, si y solo si, k < 1 tal que | f (x)| <
k.
i
i
53
Solucin:
a) Utilizando la definicin de continuidad uniforme diremos que f es uniformemente continua en A,
si y solo si,
> 0, > 0 : x, y A : |x y| < | f (x) f (y)| <
| f (x) f (y)| |x y| < =
Luego fijado ,
>0
Para demostrar la implicacin en el otro sentido utilizamos el teorema del valor medio
| f (x) f (y)| = | f ( )||x y| < k|x y| donde k < 1
Luego, f es contraccin.
30. Estudiar la convergencia de la sucesin recurrente {xn }nN definida por
p
xn+1 = 4 + 3xn , x1 = a
Solucin: Este problema es el mismo enunciado que el nmero 12 del Captulo 2. A continuacin se
plantea una manera alternativa de resolucin del problema, considerando en este caso, la teoria de funciones reales de variable real.
Resolvemos el problema aplicando
el teorema del punto fijo para contracciones.
Consideramos la funcin f (x) = 4 + 3x definida en R+ . Si la funcin f es una contraccin, tiene un
nico punto fijo, que ser el lmite de la sucesin {xn }nN .
La funcin f es continua y derivable en todo su dominio, con derivada
3
3
3
f (x) =
< = <1
4
2 4 + 3x 2 4
Utilizando el teorema del valor medio
f (x) f (y) = f (c)(x y)
obtenemos
3
x, y R+
4
Con este resultado podemos afirmar que la funcin es contraccin y por lo tanto tiene un nico punto fijo
que es el lmite de la sucesin
p
xn+1 = 4 + 3xn
f (L) = L L = 4 + 3L L = 4
| f (x) f (y)| = | f (c)||x y| < |x y| =
i
i
54
Observemos que una ventaja de aplicar el teorema del punto fijo para resolver este tipo de problemas es
que no es condicin necesaria que la sucesin sea montona.
31. Sea la funcin f : R R+ definida por
f (x) =
1
1 + ex
Figura 3.9
ex
(1 + ex )2
f (x) =
y operando,
1 + ex = 2ex ex = 1 x = 0
Luego
| f (x)| | f (0)| =
1
1
= <1
(1 + 1)2 4
i
i
55
b) Por el teorema del punto fijo podemos afirmar que una contraccin tiene un nico punto fijo, por
lo tanto existe un nico valor x0 que cumple
f (x0 ) = x0
Una manera alternativa de resolver el problema es aplicar el teorema de Bolzano a la funcin
continua siguiente,
1
x
g(x) = f (x) x =
1 + ex
se cumple,
g(0) > 0
g(1) < 0
Luego existe c (0, 1) tal que g(c) = 0.
De
g (x) =
ex
1 < 0
(1 + ex)2
32. Demostrar que la funcin f (x) = x + ln x es contraccin en elcompacto A = [2, 4]. Probar que f es
creciente en A y que f (A) A y demostrar que la ecuacin x x ln x = 0 tiene una nica raz en A.
Solucin: La funcin f es derivable en A luego podemos utilizar el teorema del valor medio
| f (x) f (y)| = | f (x)||x y|
donde la derivada de la funcin en el compacto A es una funcin acotada
1
1
1
1
f (x) = + + < 0,86 < 1
2 x x 2 2 2
por tanto x, y [2, 4] (0, 1) = 0, 86 que cumple:
| f (x) f (y)| < 0, 86|x y|
Podemos asegurar entonces, que la funcin f es contraccin en este intervalo.
Estudiamos el signo de la derivada de f en el compacto
1
1
x+2
f (x) = + =
>0
2 x x
2x
luego la funcin f es creciente en [2, 4].
Demostramos ahora que f (A) A
f crece en [2, 4]
f (2) 2,107
luego f (A) A.
Utilizando el teorema del punto fijo, por ser f contraccin y R completo podemos asegurar que f tiene
un nico punto fijo en A, por tanto, existe un nico x0 tal que
x0 + ln x0 = x0
i
i
56
es decir, la ecuacin
x x ln x = 0
1
x2 + 1
1
1
f (0)x2 + f (0)x3 + ...
2
3!
2x
f (0) = 0
x2 + 1
2(x2 1)
f (0) = 2
(x2 + 1)2
Luego,
1
f (x) (2)x2 = x2
2
En la Figura 3.10 observamos la representacin grfica de la funcin y de g(x) = x2 .
Figura 3.10
i
i
57
b) Para encontrar los valores extremos de f debemos comprobar donde se anula la funcin f .
f (x) =
2(x2 1)
= 0 x = 1
(x2 + 1)2
4x(x2 + 1) 8x(x2 1)
(x2 + 1)3
As pues, los valores mximo y mnimo de la funcin derivada de f son, f (1) = 1 i f (1) = 1.
porque | f (x)| 1 x R.
e) Aplicamos el teorema del valor medio (fijmonos que f cumple las hiptesis) para comprobar si
la funcin f es una contraccin.
x, y R c (x, y) : f (x) f (y) = f (c)(x y)
De donde se deduce,
x, y R c (x, y) : | f (x) f (y)| = | f (c)||x y|
Del apartado b) se deduce que | f (x)| 1 x R, luego
x, y R | f (x) f (y)| |x y|
As pues, la funcin f no es contraccin porque no existe ningn valor (0, 1) tal que cumpla
la definicin de contraccin,
| f (x) f (y)| < |x y|
34. Considerar f : R R la funcin definida por
f (x) =
2x 1
x2 + 1
1
2
2x 1
es infinitsimo en un entorno de x = 12 :
x2 + 1
lm
x 12
2x 1
=0
x2 + 1
i
i
58
x 12
1
2
f (x)
2x 1
51
= lm 2
= 5 =1
4
1
P1 (x) x 2 (x + 1) 5 (2x 1) 4 4
35. Probar, con la ayuda de los correspondientes polinomios de Taylor, que las funciones f (x) = sen x y
f (x) = tan x son infinitsimos equivalentes en el entorno de x = 0.
Solucin: Para ver que son infinitsimos equivalentes lo primero que hacemos es calcular los polinomios
de Taylor de primer orden en el entorno de x = 0
sen(x) = x
x3
+ Rn (x, 0)
3!
tan(x) = x +
x3
+ Rn (x, 0)
3!
3!
3!
x x3! + Rn (x, 0)
1 x3! + Rn (x, 0)
sen(x)
= lm
= lm
=1
3
2
x0 tan(x)
x0 x + x + R (x, 0)
x0 1 + x + R (x, 0)
n
n
lm
Este resultado nos demuestra que las dos funciones son infinitsimos equivalentes en un entorno de x = 0.
36. Probar que la funcin f (x) = ex cos x y el polinomio P(x) = x + ax2 + bx3 son infinitsimos equivalentes en un entorno de x = 0 para todo valor de a y b R.
Encontrar los valores de a y b que corresponden al polinomio de Taylor de f en un entorno de x = 0.
Solucin: Calculamos el polinomio de Taylor de grado 3 de la funcin f en un entorno del punto x = 0.
P3 (x) = f (0) + f (0)x +
f (0) 2 f (0) 3
x +
x
2!
3!
Por lo tanto,
1
P3 (x) = x + x2 + x3
6
Para comprobar que son infinitsimos equivalentes calculamos el siguiente lmite:
x + x2 + 16 x3 + o(x3 )
ex cosx
=
l
m
=1
x0
x0 x + ax2 + bx3
x + ax2 + bx3
lm
i
i
59
Despus de calcular el polinomio P3 (x) podemos ver que los valores de a y b que corresponden al
polinomio de Taylor de f en un entorno de x = 0 son a = 1 y b = 16 .
37. Encontrar el primer trmino no nulo del desarrollo en serie de Taylor en el origen de la funcin f :
R R definida por f (x) = 2 ln(1 + x) cos2 (x) + 1 2x y aplicar el resultado al clculo de
2 ln(1 + x) cos2 (x) + 1 2x
x0
sen3 (x)
lm
Solucin: Calculamos la derivada de la funcin para encontrar los trminos del desarrollo en serie de
Taylor.
f (0) = 0
f (x) =
2
+ sen(2x) 2 f (0) = 0
1+x
f (x) =
2
+ 2 cos(2x) f (0) = 0
(1 + x)2
f (x) =
4
4 sen(2x) f (0) = 4
(1 + x)3
Luego el primer trmino no nulo es el tercero. Y podemos aproximar la funcin de la siguiente forma,
2 ln(1 + x) cos2 (x) + 1 2x =
f (0) 3
2
f (4) (t) 4
x + R 3 = x3 +
x
3!
3
4!
f (t) 4
2 3
2 ln(1 + x) cos2 (x) + 1 2x
3 x + 4! x
=
l
m
x0
x0
sen3 (x)
sen3 x
lm
f (4) (t) 4
2 3
3 x + 4! x
= lm
x0
x3
= lm
x0
2 f (4) (t)
+
x
3
4!
2
3
a) Encontrar una aproximacin polinmica de f en un entorno de x = 1 en cada uno de los siguientes casos:
i) Un polinomio de grado 1.
ii)Un polinomio de grado 2.
i
i
60
Figura 3.11
f (x) = arctan x
f (1) =
1
1 + x2
f (1) =
1
2
f (x) =
f (x) = 2
x
(1 + x2)2
f (1) = 21
Polinomio de grado 1:
P1 (x) = f (1) + f (1)(x 1) =
Polinomio de grado 2:
P2 (x) =
1
+ (x 1)
4 2
1
1
+ (x 1) (x 1)2
4 2
4
b) Calculamos el error en x0 :
1
| f (0) P1 (0)| = |0 ( )| = 0, 28
4 2
1 1
| f (0) P2(0)| = |0 ( )| = 0, 03
4 2 4
El error mximo calculado utilizando el resto de Lagrange es:
f (x) = f (1) + f (1)(x 1) +
Error =
1
f (c)(x 1)2
2
1
f (c)(0 1)2
2
1
(1 + x2) 4x2 = 0 3x2 = 1 x =
3
1
Como c (0, 1) la nica solucin es, x = .
3
9
Sustituyendo en f (x) tenemos f 13 =
8 3
Por tanto,
1
1
f (0) P1(0) f (0 1)2 = 0, 32
2
3
i
i
61
0, 282
c
1 1 1
0,282
0,282
0,282
e < c < 3 < < 1+
< 1+
< 1+
3 c
e
3
c
e
calculando las fracciones
ln 3 = 1 +
f (x) = ln(1 + x)
f (x) = (1 + x)2
Pn (x) =
(1)k1 k
1
1
(1)n1 n
x = x x2 + x3 ... +
x
k
2
3
n
k=1
xn+1
f (n+1) ( x) n+1 (1)n
x
=
,
(n + 1)!
n + 1 (1 + x)n+1
0< <1
As,
1
25 ,
1 n+1
1
1
1
1 1
25
Rn 1 = 1
<
n+1 =
n+1
1
25
n+1 1+
n + 1 25 (25 + )
n + 1 25n+1
25
|Rn (0, 04)| < 106
1
1
< 106 n 3
n + 1 52n+2
i
i
62
Y para n = 3 se verifica,
10
45 = 4
2
8
Por lo tanto,
8
=4
102 6 100 6
10 =
10 > 106
28
64
1
1
ln(1,04) x x2 + x3
2
3
|2x2 4|
x2 + 1
Figura 3.12
|2x2 4| = 0 x = 2
2x2 4
2(x 2)(x + 2) 4 2
lm
= l
m
=
+
+
2
3
(x 2)(x2 + 1)
x 2 (x 2)(x + 1)
x 2
2x2 4
4 2
lm
=
2
3
(x 2)(x + 1)
x 2
i
i
63
12 36x2
3
x=
<2
f (x) = 2
3
(x + 1)
3
se cumple
24
24
|x y| < < <
25
25
luego podemos afirmar que la relacin < es cierta en todo punto del dominio.
| f (x) f (y)| <
12x
(x2 + 1)2
12x
(x2 + 1)2
f (x) = |x|ex
en el intervalo [1, 1].
xex
=1
+
x
x0
lm
i
i
64
xex
= 1
x
x0
Al ser distintos, el lmite no existe, luego la funcin f no es derivable en el punto x = 0.
En los dems puntos del dominio, la funcin es derivable y la derivada vale
(
2
(1 2x2)ex , x (0, 1)
f (x) =
2
(2x2 1)ex , x (1, 0)
lm
1
1
<
e
2e
Figura 3.13
43. Encontrar, si existen, los extremos relativos y absolutos de la funcin f (x) = x2 + (x 1)3 definida en
el intervalo [1, 3].
Solucin: La funcin f es derivable en R, calculamos su derivada
f (x) = 2x + 3(x 1)2 = 3x2 4x + 3
Las races de la funcin derivada son nmeros complejos, entonces, f (x) 6= 0, x R.
Por lo tanto, no hay extremos relativos en el intervalo [1, 3].
La funcin f : [1, 3] R es continua y definida en un intervalo cerrado, luego por el teorema de
Weierstrass sabemos que f tiene extremos absolutos. Evaluamos la funcin en los puntos candidatos a
extremo y obtenemos
f (1) = 1
i
i
65
f (3) = 17
Luego, x0 = 1 da un mnimo absoluto y x1 = 3 da mximo absoluto, tal como se puede visualizar en la
Figura 3.14.
Figura 3.14
44. Consideramos f : R R la funcin definida por f (x) = |x4 5x2 + 4|. Calcular los extremos relativos
y absolutos de f en el intervalo [4, 3].
Solucin: Como f (x) 0 para cualquier valor x R, los mnimos absolutos de f (x) sern los puntos
tales que f (x) = 0.
5 25 16
4 x = 2
4
2
2
x 5x + 4 = 0 x =
=
1 x = 1
2
Buscamos los extremos relativos en el interior de [4, 3]
x4 5x2 + 4
4 x 2 o 1 x 1 o 2 x < 3
f (x) =
(x4 5x2 + 4) 2 < x < 1 o 1 < x < 2
(4x2 10)x 4 < x < 2 o 1 < x < 1 o 2 < x < 3
f (x) =
(4x2 10)x 2 < x < 1 o 1 < x < 2
12x2 10
4 < x < 2 o 1 < x < 1 o 2 < x < 3
f (x) =
(12x2 10) 2 < x < 1 o 1 < x < 2
Candidatos a extremos:
f (x) = 0
4x2 10 = 0 x =
x=0
5
2
f
=f
= 12 10 < 0
2
2
2
f (0) = 10 < 0
i
i
66
Figura 3.15
45. Buscar los extremos relativos y absolutos de la funcin f (x) = 2 + x2/3 en el intervalo [1, 2].
Solucin: Se calcula la derivada de la funcin f (x) = 2 + x2/3
2
f (x) = x1/3
3
expresin vlida para todo nmero real menos el cero.
En x = 0 estudiamos la derivabilidad aplicando la definicin
lm
x0
f (x) f (0)
(2 + x2/3) 2
= lm
= lm x1/3
x0
x0
x0
x
El lmite no existe porque los lmites laterales no coinciden. Por lo tanto, f (x) no es derivable en x = 0.
En los puntos donde la funcin es derivable no existen candidatos a extremos ya que f (x) nunca es cero.
En los puntos donde la funcin no es derivable, es decir, x = 0, estudiamos el comportamiento de f
alrededor del punto.
f (x) < 0, si x < 0
i
i
67
3
f (2) = 2 + 4 > 3
As en x = 2 la funcin f (x) tiene un mximo absoluto y en x = 1 un mximo relativo.
Figura 3.16
46. Estudiar los extremos relativos y absolutos de f (x) = ||x2 4| 5| en el intervalo 25 , 4 .
Solucin: Observando la funcin dada f (x) = ||x2 4| 5| con x [ 52 , 4] podemos ver que (x2 4) < 0
si [|x| < 2 2 < x < 2] por lo tanto la funcin queda definida de la manera siguiente
f (x) =
2
|x 9| = 9 x2
| 1 x2 | = 1 + x2
|x2 9| = 9 x2
|x2 9| = x2 9
x 25 , 2
x (2, 2]
x (2, 3]
x (3, 4]
i
i
68
Figura 3.17
x2+
lm f (x) = 5 = lm f (x)
x2
x2+
lm f (x) = 0 = lm f (x)
x3
x3+
Vemos que los lmites son iguales y coinciden con la imagen, por lo tanto que la funcin es continua en
todo su dominio.
Esta funcin no es derivable en x = 2, x = 2 ni en x = 3.
Calculamos la funcin derivada all donde existe,
2x
x 25 , 2
2x
x (2, 2)
f (x) =
2x
x (2, 3)
2x
x (3, 4)
i
i
69
5
11
=
f
2
4
f (4) = 7
Con esto podemos decir que en el punto x = 3 hay un mnimo absoluto y en x = 4 el mximo absoluto.
Estudiando el signo de la segunda derivada, o bien los diagramas de crecimiento y decrecimiento, podemos asegurar que en
x = 2
x=2
x=0
x = 52
47. Un terreno est delimitado en el sur por la parbola x2 = 4y y por el norte por la recta y = 6. Si hay un
pozo en el punto (0, 3), dar los puntos del permetro ms cercanos y los ms alejados del pozo.
(Indicacin: Se demuestra que si la funcin ( f (x))2 tiene un extremo en x = x0 , entonces la funcin
f (x) tambin tiene un extremo en x = x0 ).
Solucin: Estudiamos la funcin distancia al punto (0, 3).
f (x, y) = d ((x, y), (0, 3)) =
q
x2 + (y 3)2
Siguiendo la indicacin, buscamos los mximos y mnimos en la funcin f 2 (x) con las condiciones
x2
y=
y y = 6.
4
La Figura 3.18 muestra la representacin geomtrica del problema.
Figura 3.18
En la recta,
En la parbola,
f (x, 6) = x2 + 32 = x2 + 9 = g(x)
g (x) = 2x = 0 x = 0 (x, y) = (0, 6)
2
2
2
x
x
f x,
= x2 +
3 = h(x)
4
4
2
2
x
2x
x
x2
h (x) = 2x + 2
3
= 2x +
3 x = x 2+ 3 =
4
4
4
4
x2
1) = 0 [x = 0, x = 2]
4
Por lo tanto, los puntos (0, 0), (2, 1) y (2, 1) son posibles extremos.
= x(
i
i
70
d es una funcin continua definida sobre un conjunto compacto, por lo tanto, podemos aplicar el Teorema
de Weierstrass que asegura la existencia de mximos y mnimos absolutos. Estudiamos, por ltimo, los
puntos interseccin
2
y = x4
x2 = 24 x = 24 = 2 6 y = 6
y=6
Evaluamos la funcin en todos los puntos candidatos a extremo,
f (0, 6) = f (0, 0) = 9
f (2, 1) = f (2, 1) = 8
f (2 6, 6) = f (2 6, 2) = 33
Por
lo tanto, los puntos (2, 1) y (2, 1) son los puntos ms cercanos al pozo y los puntos (2 6, 2) y
(2 6, 2) los ms lejanos.
48. Una fbrica F est ubicada cerca de un ro que tiene una anchura de A metros. Al otro lado del rio, a
una distancia de D metros, hay un almacn M que hay que unir con la fbrica con cableado informtico.
El coste del cableado es de a euros/metro si va por tierra y de b euros/metro si va por agua (b > a). Se
pide:
a) Calcular cmo debe hacerse la instalacin del cableado de F a M para que el coste resulte el
ms econmico posible.
b) Calcular el coste para el siguiente caso: D = 500 metros, A = 90 metros, a = 400 euros/metro,
b = 500 euros/metro y la tasa de IVA que se aplica es de 16 %.
Solucin:
a) Se trata de calcular el punto P tal que la suma del coste del cableado
del trozo FP ms el del trozo
p
PM, sea mnima. Sea FP = x y PM = y, se cumple que y = A2 + (D x)2.
Con sta notacin, el coste del cableado se expresa como:
q
C(x) = ax + b A2 + (D x)2, 0 x D
Derivando se obtiene:
2(D x)
Dx
C (x) = a + b p
= abp
2
2
2
2 A + (D x)
A + (D x)2
Al ser derivable en todo su dominio, los posibles puntos extremos de la funcin, son los que
anulan la derivada.
Dx
b
C (x) = 0 a = b p
(D x) =
2
2
a
A + (D x)
q
A2 + (D x)2
b2
a
(D x)2 x = D
A
2
a2
b a2
Se tiene que verificar que el extremo es, efectivamente un mnimo. Para hacerlo, calculamos la
segunda derivada del coste
p
2(D x)(1)
(1) A2 + (D x)2 + (D x) 2 1
2 A +(Dx)2
=
C (x) = b
A2 + (D x)2
A2 + (D x)2 + (D x)2
A2 + 2(D x)2
=b
=
b
>0
3/2
3/2
(A2 + (D x)2)
(A2 + (D x)2)
Por lo tanto, el extremo es un mnimo en el intervalo [0, D].
A2 + (D x)2 =
i
i
71
y=0
y = mx + (1 3m)
0 = ma + (1 3m) a =
3m 1
m
y = 2x
y = mx + (1 3m)
3m 1
3m 1
h = 2x0 = 2
m2
m2
i
i
72
Figura 3.19
Observamos que m = 13 tambin anula la derivada. Pero S 13 = 0. Es decir, si el tercer lado tiene
pendiente m = 31 el rea del tringulo es cero. Esto sucede porque los tres lados coinciden en el origen
de coordenadas.
i
i
CAPTULO
V (i )
i =1
[n]
1. Calcular
a)
b)
c)
x3
(x,y)(0,0) x2 + y2
lm
lm
(x,y)(0,0)
lm
(x,y)(0,0)
7xy
p
x2 + y2
xy sen(xy)
x2 + y2
Solucin: Resolvemos los lmites aplicando la propiedad que afirma que el lmite del producto de una
funcin acotada por una que tiende a cero es cero.
a)
x3
x2
=
l
m
x
=0
(x,y)(0,0) x2 + y2
(x,y)(0,0) x2 + y2
lm
ya que
luego
2
x2
x2 + y2
= x
x2 + y2 x2 + y2 x2 + y2 = 1
f (x, y) =
x2
x2 + y2
7xy
y
p
= lm 7x p
=0
2
2
2
(x,y)(0,0)
(x,y)(0,0)
x +y
x + y2
lm
porque
luego
|y|
|y|
|y|
y
p =
= 1 (x, y) R2 {(0, 0)}
p
= p
x2 + y2 | x2 + y2 | | y2 | |y|
y
f (x, y) = p
2
x + y2
(x,y)(0,0)
xy
xy sen(xy)
= lm sen(xy) 2
=0
x2 + y2
x + y2
(x,y)(0,0)
i
i
74
ya que
0 (|x| |y|)2 = x2 + y2 2|x||y| 2|x||y| x2 + y2
|x||y|
1
x2 + y2 2
luego la funcin
f (x, y) =
est acotada ya que cumple | f (x, y)|
2. Calcular
1
2
xy
x2 + y2
x2 y
(x,y)(0,0) x4 + y2
lm
x2 ax
ax3
ax
=
l
m
= lm 2
=0
4
2
4
2
2
x0
x0
x + (ax)
x +a x
x + a2
x2 bx2
bx4
bx4
b
=
l
m
=
l
m
=
x4 + (bx2 )2 x0 x4 + b2x4 x0 (1 + b2)x4
1 + b2
El lmite buscado no existe dado que si existiera, su valor sera nico. En este caso, vemos que su valor
depende de la trayectoria.
Grfica de la funcin
f (x, y) =
x2 y
x4 + y2
Figura 4.1
xy3
2
6
f (x, y) =
x +y
0
(x, y) 6= (0, 0)
(x, y) = (0, 0)
i
i
75
xy3
ky6
k
=
l
m
=
x2 + y6 y0 k2 y6 + y6 k2 + 1
(x,y)(0,0)
f (x, y)
y esto implica que f no es continua en (0, 0), se trata entonces de una discontinuidad esencial.
La Figura 4.2 muestra la representacin grfica de la funcin f .
Figura 4.2
x2 y
2
(x, y) 6= (0, 0)
x + y2
f (x, y) =
0
(x, y) = (0, 0)
a) Estudiar la continuidad de f .
(x,y)(0,0)
f (x, y) =
lm
x2 y
(x,y)(0,0) x2 + y2
lm
x2
(x,y)(0,0) x2 + y2
= 0 = f (0, 0)
i
i
76
Figura 4.3
b) El conjunto M es cerrado y acotado, por tanto, compacto, luego f (M) tambin es un conjunto
compacto al ser f una funcin continua.
El teorema de Weierstrass permite afirmar que f tiene extremos absolutos sobre M, al ser f funcin continua y M un conjunto compacto.
5. Estudiar la continuidad de la funcin f : A R2 R en todos los puntos de su dominio, siendo
x(ey 1)
y>0
sen y
x3
f (x, y) =
y 0, (x, y) 6= (0, 0)
x + y2
0
(x, y) = (0, 0)
Solucin: Estudiamos la continuidad en los distintos puntos.
Si (x, y) A : y 6= 0 f es continua en (x, y).
Si (x, y) A : y = 0, x 6= 0 es decir, (x, y) = (a, 0) con a 6= 0, se cumple,
lm
(x,y) (a,0)
y>0
x(ey 1)
=
sen y
lm
(x,y) (a,0)
y>0
lm
(x,y) (a,0)
y0
x3
x2 + y2
x(ey 1) y
=a
y
sen y
=a
f (x, y) = f (a, 0) = a
Aplicando el teorema de descomposicin del dominio, existe
lm
(x,y)(a,0)
f (x, y) = a
i
i
77
Si (x, y) = (0, 0)
lm
(x,y) (0,0)
y>0
x(ey 1)
=0
sen y
x3
=0
x2 + y2
lm
(x,y) (0,0)
y0
f (x, y) = f (0, 0) = 0
Por lo tanto f es continua en (x, y) = (0, 0).
Concluimos que la funcin f (representada en la Figura 4.4) es continua en todo su dominio.
Figura 4.4
ln(1 + x2 y2 )
x2 + y2
Solucin:
a) Estudiamos el dominio de la funcin f .
Dom f = {(x, y) R2 : x2 y2 6= 0} = R2 {(x, y) R2 | x = y o x = y}
y ahora la continuidad en los distintos puntos del dominio.
Si (x, y) = (a, a)
lm
x+y
(x,y)(a,a) x2 y2
lm
(x,y)(a,a)
x+y
1
= lm
=
(x + y)(x y) (x,y)(a,a) x y
i
i
78
(x, y) = (a, a)
lm
(x,y)(a,a)
1
xy
1
Si a = 0 tenemos una discontinuidad esencial, y si a 6= 0 el lmite vale 2a
y se trata de una
discontinuidad evitable. As pues, la extensin continua fe : R2 R de la funcin f queda
definida por
x+y
x2 y2 6= 0
x2 y2
fe(x, y) =
y = x, x 6= 0
2x
ln(1 + x2y2 )
.
x2 + y2
ln(1 + x2y2 )
x2 + y2
(x,y)(0,0)
lm
lm
(x,y) (0,0)
x 6= 0
y 6= 0
En x = 0
ln(1 + x2y2 ) x2 y2
=0
x2 y2
x2 + y2
ln(1 + x2y2 )
ln(1)
= lm 2 = 0
2
2
y0 y
x +y
(x,y)(0,0)
lm
En y = 0
ln(1 + x2y2 )
ln(1)
= lm 2 = 0
2
2
x0
x +y
x
(x,y)(0,0)
lm
ln(1 + x2y2 )
(x, y) 6= (0, 0)
x2 + y2
ge(x, y) =
0
(x, y) = (0, 0)
7. Estudiar la continuidad de la funcin f : R2 R definida por
xy
e 1
|x| =
6 |y|
2
x y2
f (x) =
0
|x| = |y|
i
i
79
Solucin: Por ser composicin y operaciones algebraicas de funciones continuas, la funcin f es continua en todos los puntos del dominio, a excepcin de los puntos de las rectas y = x y y = x en los cuales
tendremos que estudiar la continuidad aplicando la definicin.
Los puntos de la recta y = x son de la forma (a, a). Calculamos el lmite
lm
(x,y) (a,a)
|x| =
6 |y|
exy 1
=
x2 y2
lm
(x,y) (a,a)
|x| =
6 |y|
exy 1 1
1
=
6= 0 = f (a, a)
x y x + y 2a
exy 1 e2a 1
=
=
x2 y2
0
Figura 4.5
exy 1
=
sen x
lm
(x,y) (0,a)
x 6= 0
exy 1 x
y=a
sen x xy
y ln |y| = a ln |a|
i
i
80
exy 1
=
sen x
lm
(x,y) (0,0)
xy 6= 0
exy 1
=
sen x
lm
(x,y) (0,0)
x 6= 0,y = 0
exy 1 xy
=0
xy sen x
lm
(x,y) (0,0)
x 6= 0,y = 0
0
=0
sen x
por lo tanto,
lm
f (x, y) = 0
(x,y) (0,0)
x 6= 0
Ahora el subdominio x = 0:
lm
(x,y) (0,0)
x=0
y ln |y| =
lm
ln
(x,y) (0,0)
x=0
1
y
1
|y|
=0
(x,y)(0,0)
f (x, y) = 0
Por lo tanto, teniendo en cuenta que la funcin no est definida en el origen, una extensin continua de
la funcin f debe tomar f (0, 0) = 0.
9. Estudiar la existencia del lmite en el punto (0, 0) y definir, si es posible, la extensin continua a todo
R2 de la funcin f : R2 {(0, 0)} R definida por
f (x, y) =
Solucin: De
lm
y0
x(1 cosy)
x2 + y2
1 cosy
y2
2
=1
se deduce,
lm
(x,y) (0,0)
y 6= 0
x(1 cosy)
y2
2
y2
2
x2 + y2
lm
(x,y) (0,0)
y 6= 0
lm
(x,y) (0,0)
y 6= 0
1 cosy
y2
2
xy2
2(x2 + y2 )
1 cosy 1
y2
x
=0
y2
2 x2 + y2
2
i
i
81
x(1 cosy)
=0
x2 + y2
(x,y)(0,0)
x(1 cosy)
=0
x2 + y2
x(1 cosy)
(x, y) 6= (0, 0)
fe(x, y) =
x2 + y2
0
(x, y) = (0, 0)
10. Sea la funcin
f (x, y) =
(x,y)(0,0)
f (x, y) = f (0, 0)
lm
(x,y) (a,a)
a 6= 0
f (x, y) = f (a, a)
Si (x, y) = (0, 0)
(x2 y2 ) sen(x2 + y2)
(x y)(x + y) sen(x2 + y2)
= lm
=
2
2
x+y
1)
(x2 + y2 )(ex+y 1)
(x,y)(0,0) (x + y )(e
(x,y)(0,0)
lm
lm
(x,y)(0,0)
(x y)
Donde se ha utilizado
(x + y) sen(x2 + y2 )
= lm (x y) = 0
(x2 + y2 )(ex+y 1) (x,y)(0,0)
e f (x) 1
= 1, si lm f (x) = 0
xa
xa
f (x)
lm
lm
xa
sen f (x)
= 1, si lm f (x) = 0
xa
f (x)
= (1) =
lm
(x,y) (a,a)
a 6= 0
(x y)(x + y) sen(x2 + y2 )
=
(x2 + y2 )(ex+y 1)
i
i
82
0
(x, y) = (0, 0)
sen(2x2 )
y = x, x 6= 0
f (x, y) =
x
(x2 + y2 )(ex+y 1)
f (x, y) =
sen(x2 y)
x2 + y2 xy
Estudiar la existencia del lmite de f en el punto (0, 0) y, si es posible, definir una extensin continua
de la funcin.
Solucin: Como el punto (x, y) = (0, 0) es punto de acumulacin del dominio, podemos calcular el lmite
de la funcin en este punto, y si existe, utilizar este valor para definir la extensin continua de la funcin
lm
(x,y) (0,0)
xy 6= 0
sen(x2 y)
=
x2 + y2 xy
=
lm
(x,y) (0,0)
xy 6= 0
lm
(x,y) (0,0)
xy 6= 0
lm
(x,y) (0,0)
xy = 0
sen(x2 y)
=
x2 + y2 xy
sen(x2 y)
x2 y
=
x2 y x2 + y2 xy
xy
=0
x2 + y2 xy
sen(0)
lm
x2 + y2 0
(x,y) (0,0)
xy = 0
=0
xy
est acotada. En efecto,
x2 + y2 xy
?
|x2 + y2 | 2|xy|
si xy > 0,
si xy < 0,
luego
sen(x2 y)
=0
(x,y)(0,0) x2 + y2 xy
lm
i
i
83
As tenemos que f : R2 {(0, 0)} R permite definir una extensin continua de la siguiente manera,
sen(x2 y)
(x, y) 6= (0, 0)
2
2
fe(x, y) =
x + y xy
0
(x, y) = (0, 0)
ln x2 y2 + 1
si x + y > 0
x+y
f (x, y) =
y sen(2x)
si x + y < 0
x
Solucin: Como el logaritmo solo est definido para nmeros positivos cuando x + y > 0 tambin tendremos que imponer x2 y2 + 1 > 0. Por otro lado cuando x + y < 0 tendremos que imponer x 6= 0. Con
esto la funcin nos queda definida de la siguiente manera:
ln x2 y2 + 1
si x + y > 0, x2 y2 + 1 > 0
x+y
f (x, y) =
y sen(2x)
si x + y < 0, x 6= 0
x
El dominio de la funcin es:
A = {(x, y) R2 | x + y > 0, x2 y2 + 1 > 0} {(x, y) R2 | x + y < 0, x 6= 0} = A1 A2
Los puntos que necesitan un estudio son los de la forma (a, a) (puntos de la recta x + y = 0) y los de la
forma (0, b) con b < 0 (parte negativa del eje OY)
lm
(x,y) (a,a)
(x,y) A1
ln(x2 y2 + 1)
=
x+y
lm
(x,y) (a,a)
(x,y) A2
lm
(x,y) (a,a)
(x,y) A1
ln(x2 y2 + 1)
(x y) = 2a
x2 y2
y sen(2x)
= sen(2a) 6= 2a si a 6= 0
x
lm
(x,y)(0,0)
f (x, y) = 0
y sen(2x)
=
x
lm
(2b)
(x,y) (0,b)
b<0
sen(2x)
= 2b
2x
f (0, y) = 2y
i
i
84
Figura 4.6
exy 1
sen x ln(1 + y)
(x, y) A
a) Encontrar el mayor conjunto A R2 en que est definida esta funcin, con la condicin 0 <
|x| < .
b) Estudiar la continuidad de f en A.
c) Estudiar la posibilidad de ampliar el conjunto A a un conjunto abierto B (manteniendo la condicin 0 < |x| < ) tal que f sea continua en B. Dar la expresin analtica de f en B.
Solucin:
a) Expresamos la funcin f con la siguiente expresin,
f (x, y) =
F(x, y)
(x) (y)
Luego el mayor conjunto A R2 con la restriccin 0 < |x| < , dnde est definida la funcin f
es:
A = (x, y) R2 : 0 < |x| < , y > 1, y 6= 0
i
i
85
(0, b) b > 1, b 6= 0
(0,0)
lm
f (x, y) =
(x,y) (a,0)
y 6= 0
(x,y) (a,0)
y 6= 0
exy 1
a
=
[sen x][ln(1 + y)] sen a
exy 1
b
=
[sen x][ln(1 + y)] ln(1 + b)
lm
f (x, y) =
(x,y) (0,b)
x 6= 0
xy
y se han aplicado infinitsimos equixy
(x,y) (0,b)
x 6= 0
Finalmente,
lm
lm
f (x, y) =
(x,y) (0,0)
xy 6= 0
(x,y) (0,0)
xy 6= 0
y
exy 1 x
=1
xy sen x ln(1 + y)
fe(x, y) =
f (x, y)
si (x, y) A
si (x, y) = (0, 0)
x
sen x
si y = 0, x 6= 0
y
ln(1 + y)
si x = 0, y 6= 0
xy
x2 + y2
0
(x, y) 6= (0, 0)
(x, y) = (0, 0)
i
i
86
xy
x2
=
l
m
=
x2 + y2 x0 (1 + )x2 1 +
Luego este lmite no existe y, consecuentemente, la funcin f no es contnua en (0, 0). Esto implica la
no diferenciabilidad de f en (0, 0).
Observemos sin embargo, que existen las derivadas parciales de f en (0,0).
f
f (h, 0) f (0, 0)
0
(0, 0) = lm
= lm = 0
h0
h0 h
x
h
f
f (0, k) f (0, 0)
0
(0, 0) = lm
= lm = 0
k0
k0 k
y
k
Si (x, y) 6= (0, 0),
f
y(x2 + y2 ) 2x2y
(x, y) =
x
(x2 + y2 )2
x(x2 + y2 ) 2xy2
f
(x, y) =
y
(x2 + y2 )2
Al ser continuas las derivadas parciales de la funcin f en los puntos (x, y) 6= (0, 0), podemos afirmar
que la funcin es diferenciable en R2 {(0, 0)}.
15. Sea la funcin
3x2 y 2x3
(x, y) 6= (0, 0)
x2 + y4
f (x, y) =
0
(x, y) = (0, 0)
Calcular el valor de la derivada direccional en el origen de coordenadas para una direccin cualquiera
y deducir si la funcin es diferenciable en (0, 0).
Solucin: Sea v = (vx , vy ) un vector unitario
3v2x t 2 vy t 2v3x t 3
3v2x vy 2v3x
=
= 3vy 2vx si vx 6= 0
t0 t(v2x t 2 + v4y t 4 )
v2x
Dv f (0, 0) = lm
0
=0
t0 t 5
D(0,1) f (0, 0) = lm
D(1,0) f (0, 0) = 2
2xy4 + 3x2 y)
p
(x,y)(0,0) (x2 + y4 ) x2 + y2
lm
Este lmite no existe, y para demostrarlo es suficiente considerar el lmite sobre las curvas x = ky.
i
i
87
e = A 3, 4,
4
1
12
1
12
0, 002
A
1
(x, y, ) = y sen
x
2
A
1
(x, y, ) = x sen
y
2
A
1
(x, y, ) = xy cos
2
vemos que todas ellas son contnuas para cualquier valor de las variables y, por tanto, la funcin A(x, y, )
es diferenciable.
1
1
1
A(x, y, ) =
y sen , x sen , xy cos
2
2
2
y evaluado en nuestro punto de estudio
3
A 3, 4,
=
2,
2, 3 2
4
4
por tanto, el error del clculo del rea vale
3
2,
2, 3 3
1
12
1
12
0, 002
2
2
=
+
+ 3 2(0, 002) = 0, 2147 cm2
12
16
i
i
88
(x, y) 6= (0, 0)
(x, y) = (0, 0)
f (h, 0) f (0, 0)
h
= lm = 1
h
h0 h
D2 f (0, 0) = lm
k
f (0, k) f (0, 0)
= lm = 1
k0 k
k
h0
k0
Por lo tanto,
D1 f (0, 0) = D2 f (0, 0) = 1
b) Calculamos la derivada de f en (0, 0) segn el vector v
t 3 v31 + t 3v32
t 2 v21 + t 2v22
v3 + v32
f (tv1 ,tv2 ) f (0, 0)
Dv f (0, 0) = lm
= lm
= 12
= v31 + v32
t0
t0
t
t
v1 + v22
Observemos que la ltima igualdad es cierta porque v = (v1 , v2 ) : ||v|| = 1
Hemos visto entonces, que la segunda afirmacin tambin es cierta.
c) Para estudiar la continuidad de D1 f (x, y) en (0, 0), primero calculamos la derivada respecto a la
variable x en el caso (x, y) 6= (0, 0).
D1 f (x, y) =
lm
(x,y)(0,0)
i
i
89
Figura 4.7
p
|xy|
f
f (h, 0) f (0, 0)
00
(0, 0) = lm
= lm
=0
h0
h0 h
x
h
f
f (0, k) f (0, 0)
00
(0, 0) = lm
= lm
=0
k0
k0 k
y
k
lm
= lm
2
2
2
(h,k)(0,0)
(h,k)(0,0) h + k2
h +k
Ahora tomando dos direcciones diferentes, obtenemos dos valores diferentes del lmite por lo
tanto concluimos que la funcin no es diferenciable en el origen:
p
|hk|
lm
=0
2
h + k2
(h,k) (0,0)
h=0
lm
(h,k) (0,0)
h k 0, h = k
hk
h2
1
= lm
= =
6 0
2
h2 + k2 h0 2h2
i
i
90
d) En un entorno del punto (1, 1), la funcin es diferenciable. El gradiente de la funcin f en (1,1)
es:
f
y
f
1
(x, y) =
(1, 1) =
x
2 xy
x
2
f
f
x
1
(x, y) =
(1, 1) =
y
2 xy
y
2
El gradiente indica la direccin perpendicular a la curva de nivel. Por lo tanto, la recta tangente a
la curva de nivel en el punto (1,1) viene dada por la expresin,
f
f
(1, 1)(x 1) +
(1, 1)(y 1) = 0 x + y = 2
x
y
La Figura 4.8 visualiza la superficie del problema.
Figura 4.8
3xy
2
f (x, y) =
x + y2
0
si (x, y) 6= (0, 0)
si (x, y) = (0, 0)
a) Estudiar la continuidad de f en R2 .
(x,y)(0,0)
3xy
x2 + y2
no existe.
Si tomamos la direccin y = x y nos acercamos por ella al origen, obtenemos:
i
i
lm
x0
91
3x2
3
=
2
2x
2
Si, por otro lado, nos acercamos segn la direccin marcada por la recta y = x, vemos que el
valor que toma ahora es,
3x2
3
=
x0 2x2
2
lm
Y como el lmite, si existe, es nico, en este caso, no existe. La funcin es, por lo tanto, discontinua
en el origen.
b) Al ser una funcin discontinua en (0, 0), no es diferenciable en este punto. Estudiamos sus derivadas parciales en los otros puntos del dominio.
f
3y(x2 + y2) + 6x2 y
(x, y) =
x
(x2 + y2)2
f
3x(x2 + y2) + 6xy2
(x, y) =
y
(x2 + y2)2
Estas derivadas parciales son continuas en el dominio R2 {(0, 0)}, por tanto la funcin es diferenciable en estos puntos.
c) Vemos que (0, 0), es un punto donde f no es ni continua ni diferenciable, pero existen las derivadas
parciales,
f
f (h, 0) f (0, 0)
00
(0, 0) = lm
= lm
=0
h0
h0 h
x
h
f (0, k) f (0, 0)
00
f
(0, 0) = lm
= lm
=0
k0
k0 k
y
k
En la Figura 4.9 visualizamos la superficie definida por la funcin f .
Grfica de la funcin
f (x, y) =
3xy
x2 +y2
si (x, y) 6= (0, 0)
si (x, y) = (0, 0)
Figura 4.9
i
i
92
2 2
x sen y x2y2
f (x, y) =
x2 + y2
3
x + y3 3xy
x<0
x0
a) Estudiar la continuidad de f .
Figura 4.10
lm
(x,y) (0,b)
x<0
x2 sen2 y x2 y2
=0
x2 + y2
(x,y)(0,b)
f (x, y)
i
i
93
Si (x, y) = (0, 0)
lm
(x,y) (0,0)
x0
x2 sen2 y x2y2
=
x2 + y2
lm
(x,y) (0,0)
x<0
lm
(x,y) (0,0)
x<0
x2 sen2 y
x2 y2
x2 + y2
x2 + y2
=0
El teorema de descomposicin del dominio permite afirmar que la funcin f es continua en (0, 0).
b) Sea A el conjunto donde f es discontinua, es decir, A = {(x, y) R2 : x = 0, y 6= 0}.
A= 0/ A no es abierto
A = {(x, y) R2 : x = 0}
A 6= A A no es cerrado
A no es acotado
A no es compacto
c) Calculamos en primer lugar, las derivadas parciales de f en (0,0).
3
lm h = 0
f
f (h, 0) f (0, 0) h0
+ h
(0, 0) = lm
=
h0
x
h
lm 0 = 0
h0 h
=0
f
f (0, k) f (0, 0)
k3
(0, 0) = lm
= lm
=0
y
k0
k
k0 k
lm
(h,k)(0,0)
h2 + k 2
h
k
h2 sen2 kh2 k2
2
2
h +k
2
h + k2
lm
(h,k) (0,0)
h0
lm
(h,k) (0,0)
h<0
h2 sen2 k h2k2
=0
(h2 + k2 ) h2 + k2
h3 + k3 3hk
=0
h2 + k 2
lm
(h,k)(0,0)
h2 + k 2
h
k
=0
i
i
94
d) La funcin f es diferenciable en los puntos de la forma (x, x2 ), x > 0 porque las derivadas parciales
son continuas en estos puntos, luego
Dv f (x, x2 ) = f (x, x2 )v
siendo v = (1, 2x). Normalizamos el vector v, y tenemos v =
,
2
1+4x
2x
1+4x2
f (x, x2 ) = (3x2 3x2, 3x4 3x) = 0, 3x(x3 1)
Luego,
1
3
2
= 6x2 x 1
Dv f (x, x2 ) = 0, 3x(x3 1) 1+4x
2x
1 + 4x2
1+4x2
1
1
la podemos escribir como una composicin de las funciones h(x) =
f (x)
x
g(x) = (h f )(x)
Sea f (a) = b. De la regla de la cadena se deduce que la funcin h(x) es diferenciable en R+ y dh(b) =
1
2.
b
La composicin de funciones diferenciables es diferenciable y la diferencial de la composicin es igual
al producto de las diferenciales de las funciones que componemos.
d
1
1
1
(a) = dg(a) = dh( f (a)) d f (a) = 2 d f (a) = 2 d f (a)
f
b
f (a)
Solucin: Las funciones f y g son diferenciables, luego podemos calcular sus diferenciales.
d f (x, y) = f (x, y) = (ex , ey )
i
i
dg(t) =
95
2t
dg(t)
1
dt
t
u(x, y) = (g f )(x, y) = g ( f (x, y)) = (ex + ey )2 , ln(ex + ey )
2t
x y
(e , e ) =
1
t
2tex
2tey
ex
t
ey
t
Si sustituimos t = ex + ey obtenemos
du(x, y) =
2(ex + ey )ex
2(ex + ey )ey
ex
x
e + ey
ey
x
e + ey
u1
= 2(ex + ey )ex
x
u1
= 2(ex + ey )ey
y
u2
ex
= x
x
e + ey
u2
ey
= x
y
e + ey
b) Sea v : R R la funcin definida por
2
2t
ey
x
t2
= 2te + = 2te + 1
1
t
t
2
i
i
96
El vector gradiente es normal a la superficie formada por los puntos de funcin constante y, por
lo tanto, es normal a z = 2y 2x. Por el mismo razonamiento el gradiente es el vector director del
plano tangente. Por lo tanto, la ecuacin de la recta normal queda,
rn :
xa yb zc
=
=
2a
2b
1
b) Para calcular el plano tangente, tal y como se ha indicado usamos el vector gradiente, ya que
sus coeficientes coinciden con los coeficientes de la ecuacin del plano en forma cannica, as
tenemos,
tg : 2ax + 2by z = D
Donde ahora solo debemos calcular los valores de la constante D. Imponemos, entonces, que el
plano pase por (a, b, c),
2a2 + 2b2 c = D
El plano tangente al paraboloide hiperblico en un punto (a, b, c) resulta ser,
tg : z = 0
rn : x = y = 0 (eje z)
d) Por el segundo apartado conocemos la ecuacin del plano tangente dado en un punto genrico
(a, b, c). Imponemos que sea el plano z = 2y 2x.
El plano tangente sabemos que es
i
i
97
Grfica de la funcin
z = y2 x2
y del plano tangente y la recta normal a la
superficie en (0, 0, 0)
Figura 4.11
Grfica de la funcin
z = y2 x2
y del plano tangente a la superficie en
(1, 1, 0)
Figura 4.12
24. Sea f : R2 R2 una funcin diferenciable, g, h : R R funciones derivables tales que g(x) > 0,
h(x) > 0 x R. Definimos F(x, y) = f (u(x, y), v(x, y)), donde u(x, y) = g(x)h(y) y v(x, y) = g(y)h(x) .
Calcular dF(x, y).
Solucin: Calculamos las derivadas parciales de la funcin F
F(x, y) = f (u(x, y), v(x, y))
de forma que las expresiones de las derivadas parciales de la funcin F son
F
f u f v
x = u x + v x
F
f u f v
=
+
y
u y v y
u
= h(y)g(x)h(y)1 g (x)
x
v
= g(y)h(x) h (x) ln g(y)
x
u
= g(x)h(y) h (y) ln g(x)
y
v
= h(x)g(y)h(x)1 g (y)
y
donde se ha utilizado
i
i
98
f
f
f
f
h(y)g(x)h(y)1 g (x) +
g(y)h(x) h (x) ln g(y),
g(x)h(y) h (y) ln g(x) +
h(x)g(y)h(x)1 g (y)
u
v
u
v
y el cambio inverso,
x = r cos
y = r sen
p
y
x2 + y2 , arctan
x
p
r = x2 + y2
= arctan xy
1 (x, y) =
Sea F = f ; f = F 1 = F(r(x, y), (x, y)). Derivamos la funcin f aplicando la regla de la cadena y obtenemos,
Dx f
(x, y)=
= Dr F(r, )Dx r(x, y) + D F(r, )Dx
x
x2
= Dr F(r, )
+ D F(r, ) 2 2 y2 =
= Dr F(r, )
x2 +y2
x
x2 +y2
x +y
y
D F(r, ) x2 +y
2
anlogamente,
Dy f = Dr F(r, ) p
y
x2 + y2
+ D F(r, )
x2 1
=
x2 + y2 x
y
x
= Dr F(r, ) p
+ D F(r, ) 2
2
2
x
+
y2
x +y
p
x
y
x + 2y x2 + y2
Dr F(r, ) p
D F(r, ) 2
2
2
x + y2
x +y
!
p
y
x
+ y 2x x2 + y2
Dr F(r, ) p
+ D F(r, ) 2
=
x + y2
x2 + y2
p
p
= x2 + y2 Dr F(r, ) 2 x2 + y2 D F(r, ) = 0 Dr F(r, ) 2D F(r, ) = 0
Dr F 2D F = 0
i
i
99
yx
zy
yv=
, calcular el valor de la expresin
xy
yz
x2 Dx F + y2 Dy F + z2 Dz F = 0
Solucin: Calculamos primero las derivadas parciales y, finalmente, el valor de la expresin propuesta.
Derivada respecto x:
Dx F = Du f (u, v)Dx u + Dv f (u, v)Dx v = Du f (u, v)
= Du f (u, v)
(1)xy (y x)y
+ Dv f (u, v) 0 =
x2 y2
1
x2
Derivada respecto y:
Dy F
Derivada respecto z:
Dz F = Du f (u, v)Dz u + Dv f (u, v)Dz v = Du f (u, v) 0 + Dv f (u, v)
1
yz (z y)y
= Dv f (u, v) 2
y2 z2
z
Finalmente resulta:
x2 Dx F + y2 Dy F + z2 Dz F = Du f (u, v) + (Du f (u, v) Dv f (u, v)) + Dv f (u, v) = 0
27. Sea f : R2 R definida por
f (x, y) =
xy2 sen 1y
0
y 6= 0
y=0
a) Calcular las derivadas parciales de f en (0, 0) y en los puntos de la forma (a, 0) con a 6= 0.
b) Estudiar la continuidad de
f
(x, y).
y
f
f (h, 0) f (0, 0)
00
(0, 0) = lm
= lm
=0
x
h0
h
h0 h
f (0, k) f (0, 0)
00
f
(0, 0) = lm
= lm
=0
k0
k0 k
y
h
i
i
100
f
f (a + h, 0) f (0, 0)
00
(a, 0) = lm
= lm
=0
h0
h0 h
x
h
ak2 sen 1k 0
f
f (0, a + k) f (0, 0)
(a, 0) = lm
= lm
=0
x0
k0
y
h
k
f
(x, y), distinguimos tres tipos de puntos. Los del tipo (x, y)
y
con y 6= 0, los de la forma (a, 0) con a 6= 0 y por ltimo el origen de coordenadas.
f
1
1
(x, y) = 2xy sen + cos
y
y
y
1
1
1
xy2 = 2xy sen x cos
y2
y
y
f
(x, y) es continua en (x, y) por ser composicin y operaciones algebraicas de
y
funciones continuas.
Observamos que
(a, 0) con a 6= 0
f
1
1
(x, y) = lm
2xy sen x cos
y
y
(x,y)(a,0) y
(x,y)(a,0)
lm
Vemos que este lmite no existe y, por tanto, la derivada parcial es discontinua en los puntos de
este tipo.
(0, 0)
1
1
f
lm
(x, y) = lm
2xy sen x cos
=0
y
y
(x,y)(0,0) y
(x,y)(0,0)
f
es continua en el origen de coordenadas.
y
c) Los puntos del conjunto A representan una elipse, que es un conjunto cerrado y acotado y, por
tanto, compacto. Por otro lado, observamos que la funcin f es continua en R2 , por tanto aplicando
el teorema de Weierstrass, podemos afirmar que f tiene extremos absolutos sobre el conjunto A.
Por tanto
d) Consideremos la funcin f (x, y, z) = xy2 sen 1y 4xz2 zy, y veamos si se cumplen las hiptesis
del teorema de la funcin implcita.
f C1
f (0, 1, 0) = 0
f
z (0, 1, 0) =
8xz y|(0,1,0) = 1 6= 0
Luego, al cumplirse todas la hiptesis podemos afirmar que existe z = z(x, y) en el entorno del
punto (0, 1, 0).
z
z
La direccin de mxima variacin es la direccin
(0, 1), (0, 1) .
x
y
f
y2 sen 1y 4z2
(0, 1, 0)
f f z
z
+
=0
(0, 1) = xf
=
= sen 1
x z x
x
1
(0, 1, 0)
z
f
f f z
z
1
1
y (0, 1, 0)
+
=0
(0, 1) = f
= 2xy sen x cos z = 0
y z y
y
y
y
(0, 1, 0)
z
i
i
101
F(1, 1, 0, 2) = (1, 0)
f1 f1
u
v
x cos u
=
vy
f
f
2
2
u
v (1,1,0,2)
1 1
1
6= 0
=
uy (1,1,0,2) 2 0
F(1, 1, 0, 2) = (1, 0)
f1 f1
x
y
sen u 1
= 1
uv
f
x
f2
2
x
y (1,1,0,2)
0 1
=
1 0
(1,1,0,2)
6= 0
por lo tanto, podemos escribir (x, y) = (u, v) en un entorno de (1, 1, 0, 2), con C 1
b) Del teorema de la funcin implcita se deduce la existencia de un entorno del punto (1,-1),
U(1, 1) R2 en el que se cumple,
H(x, y) = F(x, y, u(x, y), v(x, y)) (1, 0) x, y U(1, 1)
de donde se deduce, dH(x, y) = (0, 0). Derivando respecto las variables independientes, obtenemos,
Dx f 1 + Du f 1 Dx u + Dv f 1 Dx v = 0
Dy f 1 + Du f 1 Dy u + Dv f 1 Dy v = 0
Dx f 2 + Du f 2 Dx u + Dv f 2 Dx v = 0
Dy f 2 + Du f 2 Dy u + Dv f 2 Dy v = 0
i
i
102
y evaluando en (1,-1,0,2),
De donde se deduce,
Dx u + Dx v = 0
Dy u + Dyv = 1
2Dx u = 1
Dy u = 0
d(1, 1) =
El determinante
1
21
2
1
2
12
0
1
1
0
= 6= 0
1
2
Del teorema de la funcin inversa se deduce que la funcin tiene inversa local en un entorno
del punto (1, 1).
29. Consideremos la funcin g : R2 R, g C 2 (R2 ) tal que g(0, 0) = , 6= 0, y la superficie S definida
por la ecuacin xz3 + zg(x, y) = x2 + y2 + z2 .
a) Probar que esta ecuacin define implicitamente z = z(x, y) en un entorno del punto (0, 0, ), i
encontrar las condiciones que debe cumplir la diferencial de g en (0,0), dg(0, 0) para que z(x, y)
tenga un punto estacionario en (0, 0).
b) Considerar el caso particular g(x, y) = xy 2 x + y calcular el plano tangente a la superficie
S en el punto (0, 0, ). El resultado, es coherente con el aparatado anterior?
Solucin:
a) Primero comprobamos si se cumplen las hiptesis del teorema de la funcin implcita.
f (x, y, z) = xz3 + zg(x, y) x2 y2 z2 C 2 (R2 )
f (0, 0, ) = 0
f
(0, 0, ) = 3xz2 + g(x, y) 2z(0,0, ) = 2 = 6= 0
z
Vemos que se cumplen las hiptesis y por tanto es posible expresar z = z(x, y) en un entorno del
punto (0, 0, ).
La condicin necesaria para que la funcin z = z(x, y) tenga un punto estacionario en (0, 0) es
z
z
dz(0, 0) =
(0, 0), (0, 0) = (0, 0)
x
y
Derivamos f (x, y, z(x, y)) respecto x y respecto y y obtenemos
f
z3 + z gx 2x
f f z
z
+
=0
= xf = 2
x z x
x
3xz + g(x, y) 2z
z
f
z gy 2y
f f z
z
y
+
=0
=f = 2
y z y
y
3xz + g(x, y) 2z
z
g
3 + (0, 0)
z
g
g
x
(0, 0) =
(0, 0) = 2
= 0 2 + (0, 0) = 0
x
x
x
i
i
103
g
(0, 0)
z
g
y
(0, 0) =
(0, 0) = 0
=0
y
z3 + zy 2z 2x
zx 2y
(x, y, z )
=0
2
2
3xz + xy x + 2z (0,0, )
0
(x, y, z ) 0 = 0 (z ) = 0 z =
Luego, la ecuacin del plano tangente a S en el punto (0, 0, ), es z = , lo que indica que la
funcin implcita z = z(x, y) tiene un punto estacionario en (0,0).
30. Sea F : R2 R2 , definida por
F(x, y) = e(x1) cos y, e(x+2) sen y
i
i
104
b) Al ser inyectiva, la funcin F tiene inversa y se puede escribir el diferencial dF(x, y) de la funcin
como
(x1)
e
cos y e(x1) sen y
dF(x, y) =
e(x+2) sen y +e(x+2) cos y
Evaluando en el origen,
dF(0, 0) =
e1
0
0
e2
det JF (0, 0) = e 6= 0
1
e
1
, 0 = [dF(0, 0)] =
0
e
0
e2
F1
= e(x1) cos y
x
F1
= e(x1) sen y
y
2 F1
= e(x1) cos y
x2
2 F1
= e(x1) cos y
y2
2 F1
= e(x1) sen y
x y
Por tanto
F(1, 0) = (1, 0)
1 0
HF(1, 0) =
0 1
0
1
x1
y
1
1
= x + (x2 2x + 1 y2) = 1 + x2 y2
2
2
31. Sean f , dos funciones de R2 R, f , C 1 (R2 ). Sea u = (y, z). En estas condiciones la relacin
f (x, u) = 0 define implcitamente z = z(x, y).
Suponemos que para x = 0, y = 0 y z = 1, el gradiente de f es (2, 3) y el gradiente de es (1, 4).
Encontrar una aproximacin lineal de z = z(x, y) en un entorno de (0, 0).
Solucin: Podemos escribir
f (x, (y, z(x, y))) h(x, y) = 0
Por tanto,
h f f z
=
+
=0
x
x u z x
i
i
105
h f z
=
+
=0
y
u y
z y
de donde,
f
z
= x
f
x
u z
z
y
=
y
z
de donde podemos calcular
2
1
1 1
,
= ,
z =
34 4
6 4
f1 (x, y, z) = xy2 8y z + 1 = 0
f2 (x, y, z) = x2 + y2 + z 2 = 0
a) Demostrar que el sistema define dos funciones implcitas y = y(x), z = z(x) en un entorno del
punto P = (1, 0, 1).
b) Calcular las derivadas: y (1), z (1), y (1) y z (1).
c) Calcular la recta tangente y el plano normal a la curva definida por el sistema,
i) Utilizando la parametrizacin de la curva obtenida en el apartado a).
ii) Directamente a partir del sistema.
d) Calcular la derivada de la funcin f1 a lo largo de la curva en el punto P.
Solucin:
a) Debemos estudiar si las funciones que definen el sistema cumplen las condiciones del teorema de
la funcin implcita. En efecto:
f1 y f2 son funciones de tipo C 1 en R3
f1 (1, 0, 1) = 0
f2 (1, 0, 1) = 0
2xy 8 1
8 1
Dz f1
= 8 6= 0
=
=
Dz f2 P 2y
1 P 0
1
Por tanto, el sistema define dos funciones implcitas y = y(x) y z = z(x) en un entorno del
punto P.
i
i
106
b) Para calcular y (1), z (1), derivamos el sistema respecto de x, teniendo en cuenta el apartado
anterior. Entonces:
Dx f1 (x, y, z) = y2 + 2xyy 8y z = 0
Dx f2 (x, y, z) = 2x + 2yy + z = 0
evaluando en el punto P se obtiene
8y (1) z (1) = 0
2 + z (1) = 0
1
y z (1) = 2.
4
Para calcular las segundas derivadas, derivamos otra vez respecto de x,
Dxx f1 (x, y, z) = 2yy + 2yy + 2x(y )2 + 2xyy 8y z = 0
Dxx f2 (x, y, z) = 2 + 2(y)2 + 2yy + z = 0
de donde resulta y (1) =
evaluando en el punto P y teniendo en cuenta los valores obtenidos de las derivadas primeras, se
obtiene:
(
2
2 41 8y(1) z (1) = 0
2
2 + 2 14 + z (1) = 0
9
17
, z (1) = .
32
8
c)
i) La parametrizacin de la curva permite escribirla mediante
(x) = (x, y(x), z(x)) , x B(1; )
El vector tangente a la curva es la derivada de esta funcin
1
Se puede considerar como vector director de la recta tangente el vector ~u = (4, 1, 8), con
lo cual la ecuacin de la recta tangente a la curva ser
x1 y z1
= =
4
1
8
de donde se deduce la ecuacin del plano normal
4(x 1) + y 8(z 1) = 0 4x + y 8z + 4 = 0
ii) Calculamos los vectores normales (gradientes) a cada una de las superficies del sistema
(
n~1 = f1 (1, 0, 1) = y2 , 2xy 8, 1 (1,0,1) = (0, 8, 1)
n~2 = f2 (1, 0, 1) = (2x, 2y, 1)|(1,0,1) = (2, 0, 1)
El vector director de la recta tangente se obtiene calculando el producto vectorial de estos
dos vectores
i
i
107
4 1 8
, ,
9 9 9
4/9
8 8
D f1 (1, 0, 1) = (0 8 1) 1/9 =
+ =0
9
9
8/9
sen(x + y + z) = 0
2
ez+y = 1
a) Demostrar que el sistema define dos funciones implcitas x = x(y), z = z(y) en un entorno del
punto (0,1,-1).
b) Calcular x , z , x y z en un entorno del punto (0,1,-1).
c) Si C es la curva definida por r(t) = (x(t),t, z(t)) donde x y z son las funciones implcitas anteriores, calcular el vector tangente a la curva C en el punto (0,1,-1).
d) Si definimos la funcin F : R3 R3 como
2
F(0, 1, 1) = (0, 0)
f1
x
f
2
x
f1
z
f2
z
cos(x + y + z) cos(x + y + z)
=
2
0
ez+y
1 1
= 1 6= 0
=
0 1
(0,1,1)
Del teorema de la funcin implcita se deduce que x = x(y) y z = z(y) en un entorno del
punto (0, 1, 1).
b) Si tenemos
sen(x(y) + y + z(y)) = 0
2
ez(y)+y = 1
y derivamos respecto a y:
i
i
108
x (y) + 1 + z(y) = 0
z (y) + 2y = 0
x (y) + 1 + z(y) = 0
z (y) + 2y = 0
y obtenemos,
x (y) + z (y) = 0
z (y) + 2 = 0
z (1) = 2
x (1) = 2
d) Sea F(x, y, z) = (ex , ez+y , sen(x + y + z)), veamos que se cumplen las hiptesis del teorema de la
funcin inversa,
F
= ( f1 , f2 , f3 ), F C 1
f1 f1 f1
x
y
z
ex
0
0
f2 f2 f2
2
2
=
0
2yez+y
ez+y
x
y
z
cos(x + y + z) cos(x + y + z) cos(x + y + z)
f3 f3 f3
x
y
z
1
= 0
1
0
0
1
0
1
1
=
(0,0,0)
6= 0
Luego, del teorema de la funcin inversa se deduce que la funcin F tiene inversa C 1 en un
entorno de (0, 0, 0) y se cumple,
1
dF 1 (F(0, 0, 0)) = dF 1 (1, 0, 0) = 0
1
1
1
0 0
0 0
0 1 = 1 1 1
1 1
0
1 0
i
i
109
c) Encontrar el vector tangente a la curva definida por F(x, y, z) = (1, 1) en el punto (1, 1, 0).
Solucin:
a) Podemos ver que la funcin F es diferenciable en (1, 1, 0) comprobando que las derivadas parciales son continuas en este punto.
Calculamos la matriz asociada a la diferencial de la funcin F.
!
2x z
2ez
2yez x
dF(x, y, z) =
1
z
x(z 1) 1y xy
x y(z 1)
y2
(1,1,0)
2 2
0 1
3
0
x1
2 2 3
F(x, y, z) (1, 1) +
y + 1 = (2x + 2y 3z 1, y)
0 1 0
z
b) Para comprobar que F(x, y, z) = (1, 1) define implcitamente las funciones x(z) y y(z) en un
entorno del punto, solo queda ver que el determinante de la matriz
F
F
1
F
2
x
2
0
2 2
0 1
F2
y
2
=2
1
3
0
x (z)
y (z)
1
dx 3 dy
= y
= 0.
dz 2 dz
c) Podemos expresar la curva F(x, y, z) = (1, 1) parametrizada por (x(z), y(z), z), y por lo tanto,
el vector tangente a la curva es
x (z), y (z), 1
De donde se deduce
i
i
110
F1 (x, y, z, u, v) = x2 + xy + ez u3 e
F2 (x, y, z, u, v) = x y + uz + lnv 1
2x + y x
=
1
1
F2
y P
F1
y
= 0
1
P
0
=0
1
2x + y ez
0 e
=
=
1
u P
1 0
F2
z P
F1
z
= e 6= 0
Por tanto el sistema define x = x(y, u, v) en un entorno del punto P. Para encontrar una aproximacin lineal de x en un entorno del punto (0, 0, e) estudiamos el desarrollo de Taylor de primer
grado en un entorno del punto (0, 0, e).
x = 0+
Clculo de
x
x
x
(0, 0, e)(y 0) + (0, 0, e)(u 0) + (0, 0, e)(v e)
y
u
v
x
(0, 0, e)
y
x
x
z
2x + x + y + ez
=0
y
y
y
x 1+uz = 0
y
y
i
i
111
x
z
(2x + y) + ez
= x
y
y
de donde se obtiene:
Clculo de
x
(0, 0, e)
u
x +uz = 1
y
y
x ez
1
u
x
e
=
(0, 0, e) =
=1
z
y
2x + y e e
1
u
x
x
z z
2
2x u + y u + e u 3u = 0
x +z+uz = 0
u
u
z z
2
(2x + y) u + e u = 3u
x + u z = z
u
u
de donde
Clculo de
x
(0, 0, e)
v
3u2 ez
z u
x
e
(0, 0, e) =
z = e = 1
u
2x
+
y
e
1
u
z z
(2x + y) v + e v = 0
de donde
x +uz + 1 = 0
v
v v
0 ez
1
u
x
1
v
(0, 0, e) =
z = e
v
2x
+
y
e
1
u
1
x = y u (v e)
e
i
i
112
xu2 + yv2 + z = 5
xyz + uv = 0
a) Analizar si el sistema define en un entorno del punto (x, y, z, u, v) = (0, 1, 1, 0, 2) las variables y
y z como funciones implcitas de (x, u, v).
b) Probar que el sistema define la variable u como funcin de (x, y, z) en el entorno del punto y
dar una aproximacin lineal de u = u(x, y, z) en el entorno de (0, 1, 1).
c) Calcular
2u
(0, 1, 1) de la funcin u = u(x, y, z).
x2
Solucin:
a) Definimos la funcin f : R5 R2 tal que f = ( f1 , f2 ) siendo
f1 (x, y, z, u, v) = xu2 + yv2 + z 5
f2 (x, y, z, u, v) = xyz + uv
y estudiamos si se cumplen las hiptesis del teorema de la funcin implcita.
f C 1 porque las derivadas parciales de las funciones componentes son funciones continuas. Calculemos la matriz asociada a la diferencial de la funcin f .
2 2
u v
1 2xu 2yv
d f (x, y, z, u, v) =
yz xz xy
v
u
f (0, 1, 1, 0, 2) = 0
d f (0, 1, 1, 0, 2) =
0
1
4 1
0 0
0 4
2 0
4 1
=0
0 0
El determinante formado por las parciales de y y z en el punto es cero, por tanto no podemos
expresar y y z en funcin de x, u, v en un entorno del punto.
b) Por otro lado u y v s que estn definidas implcitamente en un entorno del punto porque
0 4
2 0 6= 0
Derivamos el sistema respecto x,
de donde se deduce
2ux u + 2yv v = u2
x
x
v u + u v = yz
x
x
u2
u yz
=
x
2ux
v
2ux
v v
=
x
2ux
v
2yv
u
2yv
u
u2
yz
2yv
u
u3 + 2y2vz
=
2u2 x 2yv2
2uxyz + u2v
=
2u2 x 2yv2
i
i
113
Por lo tanto,
u
1
(0, 1, 1) = ,
x
2
v
(0, 1, 1) = 0
x
De donde
u
v
2ux + 2yv
= v2
y
y
v u + u v = xz
y
y
v2 2yv
u xz u v2 u + 2yxvz
=
=
y
2u2x 2yv2
2ux 2yv
v
u
u
(0, 1, 1) = 0
y
De donde,
u
v
2ux + 2yv
= 1
z
z
v u + u v = xy
z
z
1 2yv
u xy u
u + 2y2xv
=
=
z
2u2 x 2yv2
2ux 2yv
v
u
u
(0, 1, 1) = 0
z
u
u
1
(0, 1, 1)(y 1) + (0, 1, 1)(z 1) = x
y
z
2
u
respecto a x se obtiene la derivada parcial segunda,
x
2 x 2yv2 ) 3u2 u + 2y2 z v (u3 + 2y2 vz) 2u2 + 4ux u 4yv v
(2u
2u
x
x
x
x
=
x2
(2u2 x 2yv2)2
c) Derivando
y evaluando en el punto,
2u
(0, 1, 1) = 0
x2
i
i
114
|x| + |y|, y x 6= 0
xy,
yx = 0
a) Estudiar la diferenciabilidad de f en los puntos (0, 0), (1, 1), (1, 1).
e) Demostrar que la ecuacin f (x, y) + ex+y + z2 z = 3 define implcitamente z = z(x, y) diferenciable en un entorno de (1, 1, 0), y comprobar si (1, 1) es un punto estacionario para esta
funcin implcita.
Solucin:
a) En primer lugar estudiamos la continuidad en los puntos y si sta existe, estudiamos la diferenciablidad en los mismos.
(x, y) = (0, 0)
lm
xy = 0
(x,y) (0,0)
x=y
lm
(x,y) (0,0)
x 6= y
(|x| + |y|) = 0
(x,y)(0,0)
f (x, y) = 0
xy = 1
(x,y) (1,1)
x=y
lm
(x,y) (1,1)
x 6= y
(|x| + |y|) = 2
De la no coincidencia del valor del lmite en los dos subdominios se deduce que la funcin
f no es continua en (1, 1) y, por tanto, tampoco es diferenciable en el punto (1, 1).
(x, y) = (1, 1)
lm
(x,y)(1,1)
f (x, y) =
lm
(x,y)(1,1)
(|x| + |y|) = 2
Este valor coincide con la imagen de la funcin en el punto y, por tanto, la funcin es
continua en el punto (1, 1).
Estudiamos ahora la diferenciabilidad de la funcin en el punto (1, 1).
f
f (1 + h, 1) f (1, 1)
|1 + h| + | 1| 2
(1, 1) = lm
= lm
=
x
h0
h
h0
h
i
i
115
1+h1
=1
h0
h
f
f (1, 1 + k) f (1, 1)
|1| + | 1 + k| 2
(1, 1) = lm
= lm
=
k0
k0
y
k
k
1k1
= 1
= lm
k0
k
h
f (1 + h, 1 + k) f (1, 1) (1, 1)
k
lm
=
(h,k)(0,0)
h2 + k 2
|1 + h| + | 1 + k| 2 h + k
= lm
=
(h,k)(0,0)
h2 + k 2
1+h+1k2h+k
= lm
=0
(h,k)(0,0)
h2 + k 2
= lm
Figura 4.13
La curva est definida por la parbola y = x2 , por tanto, el vector tangente a la curva en el punto
lo podemos encontrar como
y = 2x y (1) = 2 vt = (1, 2)
que normalizado da el vector
(1, 2)
T (t0 ) =
=
5
1 2
,
5 5
5
1
2
3
Dv f (1, 1) = (1, 1)
= + =
2
5
5
5
i
i
116
f
f
(1, 1)(x 1) +
(1, 1)(y + 1)
x
y
xyz= 0
d) Encontramos una aproximacin de primer orden utilizando la frmula de Taylor,
f (x, y) f (1, 1) +
f
f
(1, 1)(x 1) +
(1, 1)(y + 1) = 2 + x 1 y 1 = x y
x
y
F
(1, 1, 0) = 2z 1|(1,1,0) = 1 6= 0
z
Por tanto, el teorema afirma que podemos definir z = z(x, y) en un entorno del punto (1, 1, 0).
Para comprobar que (1, 1) es un punto estacionario calculemos las derivadas parciales de la
funcin F en un entorno de (1, 1).
F
f
z z
=
+ ex+y + 2z
=0
x
x
x x
F
f
z z
=
+ ex+y + 2z
=0
y
y
y y
Evaluando en el punto
z
z
=0
=2
x
x
z
z
1 + 1
=0
=0
y
y
1+1
3 y
y e 1+x
y
f (x, y) =
tg( 4 )
0
y 6= 0
y=0
i
i
117
Solucin:
a) Para estudiar la continuidad de f en el origen, tenemos que comprobar si
lm
(x,y)(0,0)
f (x, y) = f (0, 0) = 0
Calculamos el lmite
y
y
y 4 1
y3 e 1+x
=0
lm
lm y2 e 1+x
y =
tg( y4 ) 4
(x,y)(0,0) tg( 4 )
(x,y)(0,0)
1
. Queremos calcular el polinomio de Taylor de g(x) en1+x
Pn (x) =
g(n) (0) n
x
n!
n0
1
1
12
; g (x) =
; g (x) =
;
1+x
(1 + x)2
(1 + x)3
De forma que
g(n) (x) =
(1)n n!
(1 + x)n+1
Es decir,
g(n) (0) = (1)n n!
(1)nxn
n0
1
es la suma de una serie geomtrica de razn x, ya que |x| < 1 porque
1+x
estamos haciendo un anlisis entorno al cero y de forma local. Queremos decir,
rn = 1 r
n0
si |r| < 1
y 6= 0
i
i
118
Solucin: Para calcular el polinomio de Taylor de segundo grado de f en (1, 0) debemos conocer el valor
de las derivadas segundas de f en este punto.
1
1
D2 f (x, y) = 2x2 y sen x2 cos
y
y
D2 f (x, 0) = lm
k0
y 6= 0
f (x, k) f (x, 0)
1
= lm x2 k sen = 0
k0
k
k
2k sen 1k cos 1k
D2 (1, k) D2 f (1, 0)
= lm
=
k0
k0
k
k
1 1
1
= lm 2 sen cos
k0
k k
k
D22 f (1, 0) = lm
Este lmite no existe, y por lo tanto no existe el polinomio de Taylor de segundo grado de f en (1, 0).
40. Dividir un segmento de longitud m en tres partes, de manera que su producto sea mximo.
Solucin: Sean x, y y m x y las tres partes del segmento de longitud m. Queremos maximizar la
funcin
f (x, y) = xy(m x y) = mxy x2y y2 x
y para ello, calculamos las derivadas parciales de la funcin f , las igualamos a cero, y resolvemos el
sistema:
(x, y) = my 2xy y2 = 0
x
m
x=y=
(x, y) = mx 2xy x2 = 0
y
m
Luego, sabemos que hay un extremo en x = y = .
3
Debemos comprobar que efectivamente se trata de un mximo, luego debemos estudiar si la matriz
hessiana es definida negativa. Para ello aplicamos el criterio de los determinantes de Sylvester.
2m
3
m3
2y
m 2x 2y
H f (x, y) =
=
m 2x 2y
2x
m3 2m
3
|( m3 , m3 )
Observemos que el menor de orden 1 es negativo y calculamos el determinante de la matriz,
2m
m3 m2
3
m 2m = 3 > 0
3
3
As pues, podemos afirmar que la matriz es definida negativa, luego la funcin f tiene un mximo en
m
(x, y), siendo x = y = .
3
41. Determinar la variacin de la funcin f (x, y) = xy2 + x3 y en el punto (1, 2) y en la direccin de la
recta que mejor se ajuste (ajustar por mnimos cuadrados) al conjunto de puntos {(0, 0), (1, 2), (2, 3)}.
Solucin: Debemos ajustar los puntos {(0, 0), (1, 2), (2, 3)} por una recta de la forma y = mx + b, de
manera que el cuadrado de la distancia de la recta al punto sea mnima. Para ello definimos la siguiente
funcin,
3
i
i
Para x = 0 tenemos:
Para x = 1 tenemos:
Para x = 2 tenemos:
luego,
119
(m 0 + b 0)2 = b2
(m 1 + b 2)2 = b2 + m2 + 4 + 2mb 4m 4b
(m 2 + b 3)2 = b2 + 4m2 + 9 + 4mb 12m 6b
H(m, b) = 3b2 + 5m2 + 6mb 16m 10b + 13
Para encontrar los valores de m y b correspondientes a la recta que buscamos, debemos minimizar la
funcin H(m, b) y por ello planteamos el sistema de ecuaciones siguiente:
m (m, b) = 0
H (m, b) = 0
b
f (1, 2) = (2, 3)
Dv f (1, 2) = f (1, 2)
v
con v el vector unitario en la direccin de la recta
2
3
Dv f (1, 2) = (2, 3) ,
13 13
= 13
42.
a) Probar que si f : R R es una funcin derivable y estrictamente creciente y g : Rn R es
una funcin diferenciable, entonces los puntos estacionarios de ( f g) coinciden con los puntos
estacionarios de g.
b) Sea la funcin
f : R3 R
(x, y, z) 7 ax by cz
i
i
120
Solucin:
a) Si f es estrictamente creciente entonces f (x) > 0, x Dom f , y por definicin, los puntos estacionarios son aquellos que anulan la funcin diferencial de una funcin dada.
Dado que
d( f g)(x) = d f (g(x))dg(x)
los puntos que anulan d( f g)(x) son los que anulan dg(x).
b) Del apartado anterior se deduce que los extremos de la funcin
ln f (x, y, z) = x ln a + y lnb + z ln c
coinciden con los extremos de la funcin f , luego por motivos de clculo, calculamos los extremos
de la funcin:
ln f (x, y, z) = x ln a + y lnb + z ln c
con la restriccin,
x2 + y2 + z2 = r2
Aplicando el mtodo de los multiplicadores de Lagrange debemos resolver el siguiente sistema:
ln a + 2 x = 0
ln b + 2 y = 0
ln c + 2 z = 0
de donde obtenemos
Si definimos
x=
ln a
y,
ln b
z=
2
2
ln a
ln b
ln c
+
ln b
ln c
y
ln b
!
+ 1 y2 = r 2
r ln b
y = p
2
(ln a) + (ln b)2 + (ln c)2
h=
q
(ln a)2 + (ln b)2 + (ln c)2
r
y = ln b,
h
r
z = ln c
h
Dado que f es continua y los puntos de la esfera forman un conjunto compacto, podemos aplicar
el teorema de Weierstrass:
El punto mximo es (x, y, z) = hr (ln a, ln b, ln c)
El punto mnimo es (x, y, z) = hr (ln a, ln b, ln c)
Y, por tanto el valor mximo de la funcin es ehr y el valor mnimo ehr .
43. Estudiar los extremos absolutos de la funcin f (x, y) = x+ y considerando y 4, y x2 y demostrar
que 6 x + y 14 , (x, y) R2 : 4 y x2 .
i
i
121
Figura 4.14
Estudiaremos por separado el interior y la frontera del conjunto delimitado por las funciones.
En el interior:
(x, y) = 1 6= 0
(x, y) = 1 6= 0
y
1
1
h (x) = 0 x = , y =
2
4
1 1
Aparte de este punto
, , debemos estudiar los puntos de interseccin entre la recta y la parbola,
2 4
que encontramos resolviendo el sistema
y = x2
x2 = 4 x = 2 (2, 4) (2, 4)
y = 4
Como la funcin f es continua y estamos estudiando los extremos absolutos en un conjunto compacto,
podemos aplicar el teorema de Weierstrass, que nos asegura la existencia de extremos absolutos.
Por lo tanto, solo hay que evaluar las imgenes de los candidatos a extremos
f (2, 4) = 2 4 = 2
f (2, 4) = 2 4 = 6
1 1
1 1 1
f
,
= =
2 4
2 4 4
1 1
Vemos que el punto (2, 4) es el mnimo absoluto y el punto ( , ) el mximo absoluto.
2 4
i
i
122
1
en el recinto
4
2
4 y x y, por lo tanto, la funcin f (x, y) = x + y tendr sus valores entre estos extremos. As pues
se cumple
1
6 x + y (x, y) R2 : 4 y x2
4
Utilizando el apartado anterior vemos que el mnimo de la funcin es 6 y el mximo es
44. Sea A = {(x, y) R2 : x y, x2 + y2 1}. Calcular la distancia mxima y mnima del punto (2, 0) al
conjunto A.
Solucin: Consideramos la funcin
f (x, y) = (x 2)2 + y2
cuadrado de la distancia de un punto (x, y) al punto (2, 0). Al ser f una funcin continua, el teorema
de Weierstrass nos permite asegurar que existen extremos absolutos de f en A porque A es un conjunto
compacto. La Figura 4.15 nos muestra la representacin grfica de este conjunto.
Figura 4.15
En primer lugar estudiamos los extremos libres de la funcin en el interior del conjunto A.
f (x, y) = 2(x 2) = 0
f (x, y) = 2y = 0
x
!
2 2
2
2
Por lo tanto, los puntos de corte son
,
y
,
2 2
2
2
Buscamos ahora los posibles extremos a cada uno de los tramos que forman la frontera.
x=y
f (x, y) = g(x) = (x 2)2 + x2
g (x) = 2(x 2) + 2x = 4x 4 = 4(x 1) = 0 x = 1
El punto (1, 1) es pues un candidato inicial a extremo, pero (1, 1)
/ A, luego no existen extremos
sobre la recta x = y.
i
i
123
De donde se obtiene,
(x, y) = 2(x 2) + 2 x = 0
F
(x, y) = 2y + 2 y = 0
2
x + y2 = 1
y = 0 x = 1
luego los puntos (1, 0) y (1, 0) son candidatos a extremo. El punto (1, 0) no pertenece al conjunto, por tanto (1, 0) es el nico candidato a extremo sobre la circunferencia x2 + y2 = 1.
Calculamos las imagenes de la funcin f en los puntos candidatos.
f 22 , 22 = 5 8 4 2 = 5 2 2
f 22 , 22 = 24 + 4 2 2 + 4 + 24 = 5 + 2 2
f (1, 0) = (3)3 = 9
2 2
,
y vale 5 2 2.
se encuentra en el punto
2 2
45. Sea la elipse de ecuacin 2x2 + y2 = 18 y los puntos de la elipse A = (1, 4) y B = (3, 0). Determinar,
por el mtodo de los multiplicadores de Lagrange, el punto C sobre la elipse tal que el tringulo ABC
tenga el rea mxima.
Solucin: Observando la ecuacin de la elipse
x2 y2
+
=1
a2 b2
Si se considera el tringulo ABC, en el cual se conocen dos lados BA y BC, su rea es:
1
1
1
BC = (x, y) (3, 0) = (x 3, y)
i
i
124
luego,
A(x, y) = |y + 2(x 3)| = |2x + y 6|
Tenemos entonces dos casos:
a) Consideramos la funcin F(x, y) = (2x + y 6) + (2x2 + y2 18) y planteamos el sistema que
proporciona los candidatos a extremo.
Dx F = 2 + 4 x = 0
Dy F = 1 + 2 y = 0
2
2x + y2 18 = 0
De las dos primeras ecuaciones se deduce x = y y considerando la tercera, se obtiene
x=y= 6
Observamos que solamente tiene sentido la solucin positiva ya que 2x + y 6 debe ser positivo.
Evaluando obtenemos,
A( 6, 6) = 3 6 6
Dx F = 2 + 4 x = 0
Dy F = 1 + 2 y = 0
2
2x + y2 18 = 0
x=y= 6
A( 6, 6) = 3 6 + 6
Figura 4.16
i
i
125
46.
a) Si L(x, y) = f (x, y) + g(x, y) con f (x, y) = y + x2 , g(x, y) = |x| y. Podemos afirmar que (0,0)
es un extremo relativo de f con la condicin g(x, y) 0?
A = {(x, y) R2 : x + y 2, (x 1)2 + y2 1}
que estn a distancia mxima y mnima del origen.
Solucin:
a) S. El punto (0,0) es el mnimo absoluto de la funcin f (x, y) con la condicin g(x, y) 0, ya que,
f (0, 0) = L(0, 0) L(x, y) = f (x, y) + g(x, y) f (x, y)
(x, y) R2 : g(x, y) 0
Tambin se puede razonar viendo que,
g(x, y) = |x| y 0 |x| y y 0
Luego f (x, y) = y + x2 0 es decir, f (x, y) = 0 es un mnimo.
b) Trabajaremos con la funcin distancia al cuadrado, ya que mantiene los extremos relativos y
absolutos en los mismos puntos que la funcin distancia y se simplifican las operaciones al buscar
los extremos. La Figura 4.17 representa grficamente el conjunto A.
Figura 4.17
A: En el interior de la regin se estudia un problema de extremos libres. solo aparece como candidato a extremo el punto (0, 0) que a la vez, no es del interior de A. Por lo tanto, no hay ningn
candidato a extremo en el interior del dominio.
i
i
126
(x, y, ) = 2x + 2 x 2 = 0
L
(x, y, ) = 2y + 2 y = 0
y
L (x, y, ) = x2 2x + y2 = 0
Resolvemos el sistema y obtenemos los puntos (0, 0) y (2, 0). Por otro lado, si sustituimos directamente la restriccin dada por la recta x + y = 2 reescrita como y = 2 x obtenemos,
g(x) = x2 + (2 x)2
g (x) = 2x 2(2 x) = 0 4x 4 = 0 x = 1
De donde encontramos el punto candidato (1, 1). Finalmente, si estudiamos los puntos de corte de
las restricciones tendremos como candidatos directamente los puntos (1, 1) y (2, 0).
Entonces, evaluando la funcin distancia al cuadrado en estos puntos candidatos obtendremos los
extremos absolutos.
f (0, 0) = 0 mnimo absoluto
f (2, 0) = 4 mximo absoluto
f (1, 1) = 2
47. La energa de una partcula de masa m en una caja cilndrica viene dada por
h 2 (2,4)2 2
E=
+
2m
R2
H2
donde R es el radio y H la altura del cilindro; h es la constante de Planck. Encontrar la relacin entre R
y H que minimiza la energa para un volumen dado V.
Solucin: Debemos encontrar el extremo de la energa cuando las dos variables R y H estn ligadas por
la siguiente ecuacin:
R2 H = V
donde V es constante. Vemos que esta ecuacin define R como funcin de H y tambin H como funcin
de R. Por lo tanto, lo ms sencillo es sustituir R2 = VH en la funcin energa.
h 2
es una constante que multiplica toda la funcin, la localizacin de los puntos estacionarios de
2m
la misma es independiente de su valor. Por ello procedemos a sustituir R2 en la funcin
Como
E(r, H) =
(2,4)2 2
+ 2
R2
H
obteniendo una funcin de una variable cuya existencia de extremos estudiamos a continuacin.
f (H) =
f (H) =
2,42 H 2
+ 2
V
H
2,42 2 2
2 V
3 = 0 H3 =
V
H
2,42
6 2
>0
H4
i
i
127
2 V
2,42
2 2 R2 H
2R
H
=
H3 =
(2,4)2
2,4
A diferencia de otros problemas, en este caso la funcin solamente tiene un extremo. Esto no contradice
el teorema de Weierstrass porque el conjunto A = {(R, H) R2 : R2 H = V } dominio del problema, no
es un compacto al no estar acotado.
Veamos a continuacin otra manera de resolver el problema utilizando los multiplicadores de Lagrange.
Queremos minimizar la energa para un volumen dado, luego se trata de un problema de extremos condicionados. Consideramos la funcin de Lagrange asociada al problema,
h 2 (2,4)2 2
+ 2 + (V R2H)
F(R, H) =
2m
R2
H
y calculamos las derivadas parciales para encontrar los posibles extremos
F
h 2 (2,4)2
(R,
H)
=
2 R H = 0
R
m R3
F
h 2 2
(R, H) =
R2 = 0
3
H
m
H
V = R2 H
De la ltima ecuacin se deduce H =
V
,
R2
h 2 (2,4)2
2
h 2 (2,4)2
V
+ 2 R 2 = 0 = m R
3
m R
R
2V
+
m H3
2
h 2 (2,4)
2m R2
2V
R2 = 0
(2,4)2 R2
(2,4)2 1
=
=
3
2
H
2V R
2 R2 H
2,4
=
H
2R
2R
(2,4)H
H=
R=
2,4
2
i
i
128
Figura 4.18
F
(x, y, u, v, , ) = 2(x u) + = 0
x
F
(x, y, u, v, , ) = 2(y v) = 0
y
F
(x, y, u, v, , ) = 2(x u) 2 u = 0
u
F
(x, y, u, v, , ) = 2(y v) + = 0
v
F
(x, y, u, v, , ) = v u2 = 0
F
(x, y, u, v, , ) = x y 2 = 0
(u, v) =
1 1
,
,
2 4
(x, y) =
11 5
,
8
8
2
7 2
7
7 2
k (u x, v y) k=
+
=
8
8
8
49. Determinar el punto ms cercano y el punto ms alejado de la elipse de ecuacin x2 + 2y2 = 6 respecto
de la recta de ecuacin x + y = 5 y calcular el valor de estas distancias mnima y mxima.
i
i
129
Figura 4.19
Aplicaremos el mtodo de los multiplicadores de Lagrange para encontrar la distancia mnima y mxima
de un punto (x, y) de la recta x + y = 5 a un punto (a, b) de la elipse x2 + 2y2 = 6.
Definimos entonces la funcin
F(x, y, a, b, , ) = (x a)2 + (y b)2 + (x + y 5) + (a2 + 2b2 6)
de la que se deriva el sistema de ecuaciones:
(x, y, a, b, , ) = 2(x a) + = 0
(x, y, a, b, , ) = 2(y b) + = 0
F
(x, y, a, b, , ) = 2(x a) + 2 a = 0
a
(x, y, a, b, , ) = 2(y b) + 4 b = 0
x+y = 5
2
a + 2b2 = 6
De las dos primeras ecuaciones del sistema se deduce x a = y b y de la tercera y la cuarta tenemos
que a = 2b, y de a2 + 2b2 = 6 y a = 2b obtenemos los dos puntos (2,1) y (-2,-1).
Si (a, b) = (2, 1) los puntos (x, y) de la recta deben cumplir x 2 = y 1 y y = 5 x de donde se
deduce (x, y) = (3, 2).
Si (a, b) = (2, 1) los puntos (x, y) de la recta deben cumplir x + 2 = y + 1 y y = 5 x de donde
se deduce (x, y) = (2, 3).
Al ser la elipse un conjunto compacto y la distancia una funcin continua, podemos aplicar el teorema de
Weierstrass que permite calcular los extremos evaluando la funcin a extremar (en este caso la distancia)
entre los puntos candidatos a extremo.
Por tanto la distancia es mxima cuando el punto de la elipse es (-2,-1) y es mnima cuando el punto de
la elipse es (2,1).
i
i
CAPTULO
V (i )
i =1
INTEGRAL DE RIEMANN
[n]
1. Dar un ejemplo de una funcin real definida en [1, 1], no integrable y tal que f 2 sea integrable.
Solucin: Consideramos la funcin f : [1, 1] R definida por
1
xQ
f (x) =
1 x RQ
Para estudiar si la funcin f cumple la definicin de integral de Riemann, calculamos las sumas inferiores
y superiores.
Para cada particin P de [-1,1] tenemos mk ( f ) = 1 y Mk ( f ) = 1 ya que cada subintervalo contiene
tanto racionales como irracionales. Luego,
de donde se deduce
L( f , P) = 1 (1 (1)) = 2
U( f , P) = 1 (1 (1)) = 2
Z 1
f dx = 2 y
Z 1
f dx = 2
Al no coincidir las integrales inferior y superior, la funcin f no es integrable en [-1,1], sin embargo, la
funcin f 2 (x) = 1 es integrable en todo su intervalo de definicin, por ser continua.
Una manera alternativa al estudio de la integrabilidad de la funcin, es aplicar el criterio de RiemannLebesgue. En nuestro ejemplo, la funcin f no es integrable por ser discontinua en cada punto, es decir,
es discontinua en [-1,1], conjunto no numerable de puntos.
2. Dada la funcin real de variable real f definida por
1 x, 0 x 1
f (x) =
2 x, 1 < x 2
Encontrar la expresin analtica y estudiar la continuidad y derivabilidad de la funcin
F(x) =
Z x
0
f (t)dt
Z x
0
x
t2
x2
(1 t)dt = t
= x
2 0
2
i
i
132
1<x2
F(x) =
Z 1
0
(1 t)dt +
Z x
1
1
x
t2
t2
x2
+ 2t
= 2x 1
(2 t)dt = t
2 0
2 1
2
luego,
x x ,
0x1
22
F(x) =
2x x 1, 1 < x 2
2
cuya representacin grfica muestra la Figura 5.1.
Figura 5.1
Si x 6= 1 la funcin F est definida por funciones continuas, por ser polinomios, luego el nico punto
conflictivo en cuanto a la continuidad es x = 1. En este punto analizemos la continuidad aplicando la
definicin. Calculemos los lmites laterales,
1
x2
lm F(x) = lm 2x 1 =
2
2
x1+
x1+
x2
1
lm F(x) = lm x
=
2
2
x1
x1
1 1
=
2 2
Vemos que el lmite existe en el punto y su valor coincide con el valor de la funcin, luego F es continua
en x = 1 y en todo el dominio de definicin. Observemos que otra manera de demostrar que F es continua,
aplicando el teorema fundamental del clculo, es razonar que se trata de la integral de una funcin
integrable.
Para estudiar la derivabilidad realizaremos un razonamiento similar estudiando si se cumple la definicin
de derivabilidad. Si x 6= 1 la funcin F es derivable por tratarse de funciones polinmicas. Aplicamos la
definicin en el caso x = 1.
F(1) = 1
x2
1
2x 1
F(x) F(1)
2
2
lm
= lm
x1
x1
x1+
x1+
2x
=1
1
luego se puede aplicar la regla de LHpital y afirmar que
lm
x1+
lm
x1+
F(x) F(1)
=1
x1
1
2
x x2
F(x) F(1)
2
lm
= lm
x1
x1
x1
x1
i
i
5. Integral de Riemann
133
Derivando nuevamente,
1x
=0
1
y aplicando la regla de LHpital podemos afirmar que
lm
x1
lm
x1
F(x) F(1)
=0
x1
Z x2
0
x sen(t 2 )dt
Ry
0
sen(t 2 )dt donde y(x) 0.
Z x2
0
sen(t 2 )dt
Z x2
0
Z x2
sen(t 2 )dt + x
x sen(t 2 )dt
Z x2
0
d) La segunda derivada es
F (x) = 2x sen(x4 ) + 4x sen(x4 ) + 8x5 cos(x4 ) = 6x sen(x4 ) + 8x5 cos(x4 )
4. Calcular
Z
1
1+ 2
x
r
x2 1
dx
2x
i
i
134
4
1
t 2tdt = 4 t 3 + C =
3
3
Z 2x2
ln x
x2 1
2x
32
+C
et sentdt
Solucin: Para el calculo de la derivada estudiaremos las funciones que definen la funcin F.
2
Vemos que la funcin et sent es continua y que las funciones 2x2 y ln x son de clase C 1 (R+ ), por tanto,
podemos aplicar el Teorema Fundamental del Clculo y encontramos que la funcin derivada es
2 )2
F (x) = e(2x
1
x
Z t
ex sign(x)dx t [1, 1]
donde sign(x) indica la funcin signo de x, definida por sign(x) = 1 si x < 0 y sign(x) = 1 si x 0.
Solucin: La funcin G(t) es derivable en todo su dominio excepto en el punto t = 0 donde la funcin
integrando no es continua. Calculamos la funcin derivada,
(
2
et 1 t < 0
G (t) =
2
et
0<t 1
Entonces, en su dominio de definicin, G (t) 6= 0 t. As, los puntos en los que la funcin puede alcanzar
un extremo son los puntos de las fronteras del dominio y el punto donde G(t) no es derivable {1, 0, 1}.
Observamos entonces, que,
G(1) = 0
G(1) = 0
G(0) < 0
Como G es una funcin par y G (t) < 0 en (-1,0) y G (t) > 0 en (0,1), tenemos que G alcanza el mximo
absoluto en t = 1 y t = 1 y un mnimo absoluto en el punto t = 0.
7. Sea f : R R una funcin continua y derivable con f (0) = 0 y f (0) = 1. Demostrar que
F(x) =
Z 4x2 1
2x+1
f (t)dt
tiene un mnimo en x = 12 .
i
i
5. Integral de Riemann
135
1
2
es un mnimo de F.
8. Calcular
a) lm
x0
Z x
0
sent 3 dt
b)
x4
Z +
0
dx
x2 + a 2
con a > 0
Solucin:
a) Para calcular el lmite
lm
Z x
0
sent 3 dt
x4
aplicaremos la regla de lHpital y el teorema fundamental del clculo,
x0
sen x3
3x2
1
=
l
m
cos x3 =
3
2
x0 4x
x0 12x
4
lm
de donde se deduce,
lm
x0
Z x
0
sent 3 dt
=
x4
1
4
dx
= lm
x2 + a2 h
Z h
0
dx
1
x h
=
= lm
arctan
x2 + a2 h a
a 0 2a
Z 4
3
dx
x2 7x + 10
b)
Z 5
3
dx
x2 7x + 10
Solucin: Utilizando Ruffini, descomponemos el polinomio del denominador de la fraccin que queremos integrar,
x2 7x + 10 = (x 5)(x 2)
a) La integral
Z 4
3
dx
x2 7x + 10
i
i
136
dx
es impropia de segunda especie, es decir, la funcin no est acotada
x2 7x + 10
en el recinto de integracin.
b) La integral
lm
luego, como
Z 5
dx
3
x5
(x 5)
1
1
= lm
=
x5 (x 5)(x 2)
x5 (x 2)
3
= lm
es divergente,
Z 5
dx
tambin es divergente.
x2 7x + 10
10. Calcular
Z 4
0
dx
3
x1
1
4
dx
dx
dx
=
+
3
3
3
x1
x1
x1
0
0
1
Si hacemos el cambio de variable t = x 1 obtenemos
Z
Z
Z
dt
3
dx
dx
3
=
=
= t 2/3 = (x 1)2/3
3
1/3
1/3
2
2
(x 1)
t
x1
Y, por lo tanto
b
dx
3
3
3
3
2/3
2/3
2/3
= lm (x 1)
= lm (b 1) (1)
=
3
b1
2
2
2
x 1 b1 2
0
0
0
Z 4
Z 4
dx
3
3
3
3
dx
3
3
= lm
= lm (3)2/3 (a 1)2/3 =
32 =
9
3
3
2
2
2
x 1 a1 a
x 1 a1 2
1
De forma que el resultado final es
Z 4
dx
3
3
=
9
1
3
x1 2
0
Z 1
dx
= lm
3
x 1 b1
Z b
En este ejemplo se visualiza que no toda integral definida corresponde a un valor de rea. Si queremos
calcular el rea de la funcin
1
f (x) =
3
x1
entre 0 y 4, el valor del rea es
3
3
9+1
2
1
La Figura 5.2 visualiza la grfica de la funcin f (x) =
.
3
x1
Figura 5.2
i
i
5. Integral de Riemann
137
x0
f (x)
=1
axn
x9
dx
Solucin:
a) Aplicaremos el desarrollo de Taylor de f en un entorno de x = 0 para encontrar un infinitsimo
equivalente a f (x):
f (0) = f (0) = f (0) = f (0) = 0
f (4) (0) = 8
1
1 4
f (0)x4 = x4
4!
3
1
3
n=4
sen2 x sen x2
x9
con
1
x
h(x) =
Calculamo s el lmite,
Si =
1
2
sen2 x sen x2
13 x4
x9
lm
=
l
m
9
1
x0
x0 x( 2 )
x
dx
x2
Z 2
0
dx
|1 x2 |
Solucin: Utilizando la definicin del valor absoluto, podemos descomponer la integral en suma de dos,
Z 2
0
dx
=
|1 x2|
Z 1
0
dx
+
1 x2
Z 2
1
dx
x2 1
= I1 + I2
i
i
138
1 0
dx
1 x2
Para calcular la primitiva de esta integral racional, descomponemos es fracciones, estudiando las races
del polinomio que aparece en el denominador de la fraccin.
1
A
B
A(1 + x) + B(1 x)
1
=
+
=
A=B=
1 x2 1 x 1 + x
1 x2
2
Luego,
lm
1 0
1
1
dx
1+x
1+
=
l
m
ln
=
l
m
ln
=
1 x2 1 2
1 x 0 1 2
1
m
=
l
m
ln
=
2
1 x2 1
1 2
x+1
1 x 1
1
1
1
1
1
1
= lm
ln
ln
= ln
1 2
3
2
+1
2
3
Luego
Z 2
0
dx
|1 x2|
Z + x
e
cos x
dx
x+1
Solucin: Sea
( > 0)
e x cos x
f (x) =
x+1
una funcin definida x R+ . La funcin f es continua en todo su dominio, luego, integrable en todo
intervalo cerrado y acotado contenido en R+ .
e x cos x e x | cos x|
e x
=
x+1
x+1
Z +
0
dx = lm
Z b
b 0
b
e x
dx = lm
= lm
b
b
0
Luego la integral
Z +
0
e b 1
+
e x dx
dx
x+1
( > 0)
es absolutamente convergente.
i
i
5. Integral de Riemann
139
| sen x|
dx
x3
Solucin: Para estudiar la convergencia de la integral, separamos el dominio de integracin en dos subintervalos, de forma que reescribimos la integral como
Z 1r
Z + r
| sen x|
| sen x|
dx +
dx
3
x
x3
0
1
Estudiamos la convergencia de la primera de ellas aplicando el criterio de comparacin por paso al lmite,
conociendo la divergencia de la integral
Z 1
1
dx
0 x
Calculamos pues el siguiente lmite:
q
q
| sen x|
x3
1
x
lm
x0+
x
x3
1
x
= lm
x0+
=1
y al ser el lmite distinto de cero, podemos afirmar que ambas integrales tienen el mismo carcter y, por
tanto, la integral
Z 1r
| sen x|
dx
x3
0
diverge. Para el estudio de convergencia de la segunda integral utilizamos el criterio de comparacin por
desigualdades.
r
| sen x|
1
< 3/2
x3
x
Luego, al ser convergente la integral
Z +
1
dx
x3/2
1
podemos afirmar que la integral
Z + r
| sen x|
dx
x3
1
tambis es convergente.
Con los resultados obtenidos, la integral
Z + r
| sen x|
dx
x3
0
es divergente.
15. Estudiar la convergencia de la integral siguiente,en funcin del parmetro a R.
I=
Z
sen2 x
xa
dx
Z 1
sen2 x
0
xa
dx +
Z
sen2 x
1
xa
dx
i
i
140
xp
= lm
x0 xa2
En el caso p = a 2 el lmite es 1
Sabemos que
Z 1
1
0
xp
dx
1
sen2 x
< a
a
x
x
Y, por tanto, para que la segunda integral sea convergente necesitamos
a>1
En definitiva, para que I sea convergente lo han de ser a la vez I1 y I2 , o lo que es lo mismo
1<a<3
16. Si a, b R son nmeros reales positivos tales que a + b > 0, estudiar la convergencia de la integral
Z +
b
dx
(x + a) x b
dx
=
(x + a) x b
Z c
b
Z +
c
Resolvemos la integral
Z c
dx
+
(x + a) x b
dx
= lm
(x + a) x b b
Z c
dx
= lm
(x + a) x b +
Z
dx
=
(x + a) x b
dx
(x + a) x b
dx
(x + a) x b
Z
c
dx
(x + a) x b
dx
(x + a) x b
Z +
2
2dt
=
t2 + b + a a + b
dt
2
t
a+b
=
+1
i
i
5. Integral de Riemann
141
2
t
=
a + barctan
a+b
a+b
Aplicando el cambio de variable a la intergral definida obtenemos
Z +
Z +
i
dx
2dt
t
2 h
2
=
=
arctan(
)
=
0
t2 + b + a
(x + a) x b
a+b
a+b 0
a+b 2
b
0
Z +
b
dx
=
(x + a) x b
a+b
Z +
b
es convergente.
dx
(x + a) x b
Z 3x2
0
f
2
= (2y + 3)(6x)(3x2 + 1)e3x
x
f
=2
y
Z 3x2
0
3x2
2
(t + 1)et dt = 2 (t + 1)et et 0 = 6x2 e3x
vemos que las derivadas parciales son continuas y, por tanto, la funcin es diferenciable.
b) La direccin de mxima variacin es la del gradiente, por tanto
f f
~vmx variacin =
,
= 72e3, 6e3
x y (1,0)
18. Sea la funcin f : A R3 R donde A = {(x, y, z) R3 | z 1}
f (x, y, z) = x2 + y
Z z2
1 lnt
1
t2
dt
i
i
142
Solucin:
a) Calculamos las derivadas parciales de la funcin
f
(x, y, z) = 2x
x
Z z2
1 lnt
f
(x, y, z) =
dt
y
t2
1
2
1 lnz
f
(x, y, z) = y
2z
z
z4
Estas funciones son continuas en A, luego f es diferenciable (x, y, z) A.
b) Calculamos el valor de la funcin en el punto
f (1, 1, e) = 1 +
Z e2
1 lnt
1
t2
dt =
u = 1 lnt
dv = dt
t2
lnt
= 1+
t
e2
= 1+
2
e2
c) Nombramos k = f (1, 1, e), y estudiamos si f (x, y, z) = k define z = z(x, y) en un entorno de (1, 1, e),
comprobando si se cumplen las hiptesis del teorema de la funcin implcita.
1) f C 1
2
2) f (1, 1, e) = 1 + 2
e
f
1 lnz2
3)
= 2y
z
z3
(1,1,e)
=
(1,1,e)
1 lne2
2
2e = 3 6= 0
4
e
e
x1
y1
z
z
x1
= e+
(1, 1), (1, 1)
y1
x
y
z
z
(1, 1) y
(1, 1) para ello derivamos implcitamente
x
y
f (x, y, z(x, y)) k = 0
Derivando respecto x
f (1, 1, e)
f f z
z
2
+
=0
(1, 1) = f x
= 2 = e3
x z x
x
e3
z (1, 1, e)
Derivando respecto y
2
yf (1, 1, e)
f f z
z
e2
+
=0
(1, 1) = f
= 2
=e
y z y
y
e3
z (1, 1, e)
Luego,
z(x, y) = e + (e3 , e)
x1
y1
= e + e3(x 1) + e(y 1)
i
i
5. Integral de Riemann
Z x
0
dt +
2
t +3
143
y<0
y0
Z y
sh t
0
t4 + 1
dt
Solucin: Para estudiar la diferenciabilidad de la funcin f estudiaremos la de cada una de sus funciones
componentes.
a) Estudiamos primero la diferenciabilidad de la funcin f en los puntos del tipo (a, 0) porque en
(x, y) 6= (a, 0) la funcin f es diferenciable por definicin.
a 6= 0
Estudiamos en primer lugar, las derivadas parciales de f en estos puntos.
f
f (a + h, 0) f (a, 0)
11
(a, 0) = lm
= lm
=0
h0
h0 h
x
h
f
f (a, k) f (a, 0)
(a, 0) = lm
k0
y
k
Por la definicin de la funcin f el lmite correspondiente a
siderando lmites laterales
f
(a, 0) debe resolverse cony
eak 1
a=a
ak
k0+
2
1 a k 2 1 a2
k2
lm
= lm
=0
k
k0
k0 k
lm
y como los lmites laterales no coinciden, el lmite no existe y, por tanto, f no es diferenciable en los puntos del tipo (a, 0) con a 6= 0.
a=0
f
f (h, 0) f (0, 0)
11
(0, 0) = lm
= lm
=0
h0
h0 h
x
h
f
f (0, k) f (0, 0)
(0, 0) = lm
y
k0
k
k0+
vemos que en este caso, los lmites laterales coinciden, luego existe el lmite correspondiente
al valor de la derivada parcial, y
f
(0, 0) = 0
y
i
i
144
(h,k)(0,0)
h2 + k 2
h
k
lm
(h,k) (0,0)
k0
1 h2 k 2 1
=
h2 + k 2
ehk 1
=
h2 + k 2
lm
(h,k) (0,0)
k<0
lm
(h,k) (0,0)
k0
p
h2 + k 2 = 0
ehk 1
hk
=0
2
hk
h + k2
El teorema de descomposicin del dominio afirma que el lmite que estamos calculando vale 0 y,
por lo tanto, f es diferenciable en (0, 0).
Estudiamos ahora la diferenciabilidad de la funcin g, aplicando la condicin suficiente de diferenciabilidad
g
x
(x, y) = ex+y +
x
x2 + 3
g
sh y
(x, y) = ex+y + 4
y
y +1
Las derivadas parciales son funciones continuas (x, y) R2 y, por lo tanto, la funcin g es diferenciable en (x, y) R2 .
Resumiendo, F es diferenciable (x, y) R2 {(a, 0), a 6= 0}.
dF(x, y) =
g
(x, y)
x
(x, y)
yexy
y
x
=
ex+y +
g
2
x +3
(x, y)
y
xexy
sh y
ex+y + 4
y +1
e
e
sh 1
1
dF(1, 1) = 2
e2 +
e +
2
4
i
i
5. Integral de Riemann
e
1
dF(1, 1)dF(0, 0) = 2
e +
4
e
0 0
sh 1
=
e2 +
1 1
2
e
sh 1
e2 +
2
e
sh 1
e2 +
2
145
c) Comprobamos que se cumplen las hiptesis del teorema de la funcin implcita sobre la funcin
H(x, y) = g(x, y) 1 = 0
H C1
H(0, 0) = g(0, 0) 1
H
g
(0, 0) =
(0, 0) = 1 6= 0
y
y
Por tanto, se cumplen las condiciones necesarias y podemos expresar y = y(x) en un entorno del
punto (0, 0).
La recta tangente al punto (0, 0) ser de la forma
y 0 = y (0)(x 0) y = y (0)x
Si calculamos la derivada parcial de H respecto x, aplicando el Teorema Fundamental del Clculo
obtenemos
g
x
sh y
(x, y) = ex+y 1 + y(x) +
+ 4
y (x) = 0
2
x
x +3 y +1
Evaluando en x = 0 obtenemos
1 1 + y(0) = 0 1 + y(0) = 0 y (0) = 1
i
i
CAPTULO
V (i )
i =1
INTEGRACIN MLTIPLE
[n]
1. Sea f : I R es una funcin acotada en un intervalo compacto I R2 y (I) la medida del conjunto
I en R2 (es decir, el rea). En estas condiciones se cumple que, para cualquier conjunto medible C I,
Z
f (x, y) dx dy = (C)
f (x, y) dx dy = (C)
tambin se cumple para cualquier funcin f que tome otros valores en un conjunto de medida cero, por
ejemplo, si A I tal que (A) = 0,
f (x, y) =
1, (x, y)
/A
0, (x, y) A
lm
(x,y)(0,0)
y2 x2
(x2 + y2 )2
f (x, y)
4 x2
dx
(x2 + 4)2
Z 1 Z 1
Z
c) Calcular
f (x, y)dx dy (Indicacin:
b) Calcular
d) Calcular
Z 1 Z 1
0
Z
f (x, y)dy dx (Indicacin:
y2 x2
x
dx = 2
)
(x2 + y2)2
x + y2
y2 x2
y
dy = 2
)
(x2 + y2)2
x + y2
i
i
148
Solucin:
a) Para calcular el lmite
y2 x2
(x,y)(0,0) (x2 + y2 )2
lm
lm
(x,y) (0,0)
y = x2
y2 x2
x2 x2
0
= lm 2
= lm 4 = 0
2
2
2
x0 (x + x2 )2
x0 4x
(x + y )
y2 x2
x4 x2
x2 1
=
l
m
=
l
m
=
(x2 + y2 )2 x0 (x2 + x4 )2 x0 x2 (1 + x2)2
Podemos ver que este lmite depende de la direccin que consideremos, luego el lmite no existe.
b) Estudiando las races del polinomio que aparece en el denominador de la fraccin ((x2 + 4)2 ),
vemos que podemos resolver la primitiva utilizando el mtodo de Hermitte, pues se trata de un
polinomio con races complejas mltiples.
4 x2
Ax + B d Cx + D
= 2
+
=
(x2 + 4)2
x + 4 dx x2 + 4
=
4 = 4B + 4C
0 = 4A 2D
1 = B C
0=A
A = B = D = 0,
C=1
x
2
x +4
4 x2
dx =
(x2 + 4)2
d
dx
x
x
dx = 2
x2 + 4
x +4
i
i
6. Integracin mltiple
149
c) Para realizar este apartado utilizamos la indicacin del enunciado de forma que el clculo de la
integral doble queda de la siguiente forma,
Z 1
0
f (x, y)dx =
Z 1
0
Luego
Z 1 2
y x2
x
dx = 2
(x2 + y2 )2
x + y2
1
0
1
1 + y2
f (x, y)dx dy =
4
Z 1
1
0
Luego
f (x, y)dy =
1 + x2
y 1
1
dy
=
= 2
2
2
2
2
2
(x + y )
x +y 0
x +1
Z 1 2
y x2
0
f (x, y)dy dx =
e) Vemos que el valor de las integrales de los apartados c) y d) es diferente. Esto no contradice el
Teorema de Fubini porque no se cumplen las hiptesis del teorema ya que la funcin f no es
continua en el intervalo cerrado [0, 1] [0, 1], y por tanto, el resultado de las integrales de los
apartados c) y d) no tienen porqu coincidir.
3. Calcular la integral doble
Z p
1 + x2 dx dy
Figura 6.1
Los puntos
de interseccin entre la recta x = 1 y la hiprbola corresponden a los puntos (1, 2) y
i
i
150
Resolvemos esta integral en las mismas coordenadas cartesianas considerando los lmites de integracin correspondientes a la regin D. De esta forma sabemos que la frontera superior que vemos en la
representacin grfica viene dada por la curva,
p
y2 x2 = 1 y = 1 + x2
De esta forma podemos calcular la integral segn,
Z p
Z 1 Z 1+x2 p
Z 1
2 8
1 + x2 dx dy =
dx
1 + x2 dy =
2(1 + x2) dx = 2 + =
2
3
3
0
1+x
0
D
Figura 6.2
Vista la geometria del problema, creemos conveniente realizar un cambio a coordenadas polares para
resolver la integral
Z
dxdy
x = r cos
y = r sen
x2 + y2 = 2x r2 = 2r cos
x2 + y2 = 4x r2 = 4r cos
=r
r [2 cos , 4 cos ]
h i
0,
4
Aplicando el teorema del cambio de variable, la integral se calcula de la siguiente forma,
Z
dxdy =
=6
Z 4 cos
2 cos
rdrd =
cos d = 6
r2
2
4 cos
2 cos
(8 cos2 2 cos2 )d =
1 + cos2
sen 2 4
3 + 6
d = 6
+
=
2
2
4
4
0
i
i
6. Integracin mltiple
151
b) Deducir que
1
f (x, y)d(x, y) =
2
Z 4 Z 2
1
0
1
f
(v u), (u + v) du dv
2
2
Solucin:
a) Representamos las rectas y buscamos los puntos de corte entre ellas. Podemos ver que son paralelas dos a dos y, por lo tanto, los puntos que buscamos sern los vrtices de un paralelogramo.
y=x
2x = 4 (2, 2)
y = x + 4
y=x
y = x
y = x
y = x+2
y = x + 4
y = x+2
2x = 0 (0, 0)
2x = 2 (1, 1)
2x = 2 (1, 3)
Figura 6.3
x = 2 (v u)
y = 1 (v + u)
2
1
2
1
2
i
i
152
y=x
y = x+2
y = x
y = x + 4
u=0
u=2
v=0
v=4
Figura 6.4
1
1
f (x, y)d(x, y) =
f
(v u), (v + u) |J1 |d(u, v) =
2
2
1 (A)
Z 4 Z 2
1
1
1
=
f
(v u), (v + u) du dv
2 0
2
2
0
Z
6. Dada la integral
Z 2 cost
0
r dr dt
Solucin: Para realizar el cambio a coordenadas cartesianas primero hay que definir, en este caso, el
cambio de coordenadas polares a cartesianas.
p
x = r cost
r = x2 + y2
y = r sent
t = arctan yx
J(x, y) =
r
x (x, y)
t
x (x, y)
r
y (x, y)
t
y (x, y)
x2 +y2
y2
x
2
1+ yx
x2 +y2
1
x
1+( yx )
( )
x2 +y2
y
x2 +y
2
x2 +y2
x
x2 +y2
x2
3
(x2 + y2 ) 2
y2
3
(x2 + y2 ) 2
1
=p
2
x + y2
Podemos ver que la regin de integracin corresponde a una circunferencia de radio unitario y de centro
(1, 0). Se deduce,
r 2 cost r2 2r cost x2 + y2 2x (x 1)2 + y2 1
Si representamos ahora la regin de integracin en un sistema de ejes de coordenadas cartesianas observamos que el recinto de integracin tiene el aspecto que muestra la Figura 6.5.
i
i
6. Integracin mltiple
153
Figura 6.5
p
dx dy =
dx dy =
2
2
2
0 0
D
x +y
R
dx dy =
1 (x 1)2dx = | cos | cos d = cos2 d =
2
0
0 0
2
2
7. Calcular
Z p
x2 + y2 dxdy
x2 + y2dxdy =
Z
0
r3
d
3
Z Z 4 sen
0
4 sen
43
3
rrdrd =
Z
0
Z
0
Z 4 sen
0
(1 cos2 ) sen d =
r2 dr =
44
32
4 x2 y2 dxdy
i
i
154
Figura 6.6
4 x2 y2 dxdy =
1
3
"
1 (4 r2)3/2
2
3/2
#2 sen
0
Z 2 sen p
4 r2 drd =
1
d =
3
(4 r2)3/2
i2 sen
0
d =
Z
h
i
i
1 2 h 3/2
(4 4 sen2 )3/2 43/2 d =
4 (1 sen2 )3/2 43/2 d =
3 0
8 8
32 3
4 8 2
cos (1 sen2 )d =
3
3 0
0
/2
4 8
4 8 8 4 16
8 sen3
/2
=
[sen ]0 +
=
+ =
3
3
3
3
3
3 9
3
9
0
==
| cos |3 d =
9. Con un material de densidad variable, se fabrica una pieza de forma semiesfrica por la parte exterior
y cnica por la parte interior. La base del cono y de la semiesfera tienen el mismo radio R y la altura
del
p cono tambin vale R. En unos ejes de referencia, en los que la ecuacin de la semiesfera es z =
R2 x2 y2 , la densidad del material es (x, y, z) = x2 + y2 . Encontrar la masa de la pieza en funcin
del radio R.
Solucin: Las ecuaciones de la esfera y del cono en la base dada son las siguientes
p
ze = R2 x2 y2
p
zc = R2 x2 + y2
con estas ecuaciones el problema se limita a calcular la siguiente integral para enconcontrar la masa de
la pieza
M=
dV =
Z RZ
R2 x2
R2 x2 y2
R2 x2 R2
x2 +y2
(x2 + y2 )dxdydz
x = r cos
y = r sen
z=z
i
i
6. Integracin mltiple
155
El valor del jacobiano del cambio de variable es r y, por tanto, podemos reescribir la integral como
Z 2 Z R Z
0
R2 r2
r2 rdrd dz =
Rr
Z 2 Z R
0
r3
hp
i
R2 r2 (R r) drd =
Z R p
1
1 R
= 2 Rr4 + r5 + 2
r3 R2 r2 dr
4
5 0
0
Para el clculo de esta segunda integral realizamos el cambio de variable
r = R sen dr = R cos d
De esta forma obtenemos
Z R
0
r3
Z
p
R2 r2 dr =
sen3 cos2 d
sen cos d = R
=R
"
#
2 2 Z 2
1
2
4
3
cos sen d =
sen cos +
3
3 0
0
pi
2
2 5
2
1
5
sen cos d = R cos
= R5
3
5
15
0
3
M = 2 R5 + +
= R5
4 5 15
6
10. Se considera una esfera de radio R. Se pide:
a) El volumen V (R0 ) que se elimina de la esfera cuando se taladra con un agujero cilndrico de
radio R0 , 0 < R0 < R, de eje un dimetro de la esfera.
b) Calcular lm V (R0 ).
R0 R
c) Calcular el volumen del slido en forma de anillo que queda despus de haber hecho el agujero
cilndrico.
Solucin:
a) Consideramos un sistema de coordenadas con el origen de coordenadas en el centro de la esfera
y el eje del taladro coincidiendo con el eje OZ. Entonces, la ecuacin de la superficie de la esfera
es x2 + y2 + z2 = R2 y el recinto definido por el taladro en el plano horizontal es x2 + y2 R20 . La
Figura 6.7 representa grficamente el problema objeto de estudio.
i
i
156
Figura 6.7
Observando la simetra del problema, calcularemos mediante una integral el volumen en un octante.
Z
1
V (R0 ) =
8
z(x, y)dxdy =
S
Z p
S
R2 x2 y2 dxdy
Z /2
0
Z p
Z /2
Z R0 p
R2 r2 rdrd =
R 0
1
1 3
3
2
2 3/2
=
(R R0) + R =
R (R2 R20 )3/2
2
3
3
6
1
d (R2 r2 )3/2
3
De donde se deduce
V (R0 ) =
R2 r2 rdr =
4 3
R (R2 R20)3/2
3
R0 R
4 3
R
3
11. Calcular
4 3
4 2
R V (R0 ) =
(R R20)3/2
3
3
zy
con A = {(x, y, z)
R3
: 0z
x2 + y2 ,
p
x2 + y2 dxdydz
0y
2x x2 }
Solucin: La Figura 6.8 ilustra el conjunto A, recinto determinado por el paraboloide de revolucin
z = x2 + y2 sobre el semicrculo M = {(x, y) R2 : (x 1)2 + y2 1, y 0}
i
i
6. Integracin mltiple
157
Figura 6.8
12. Calcular
1
2
Z
2 cos
2 cos
zr3 sen dz dr d =
Z
1 2 (2 cos )8
16
r7 sen dr d =
sen d =
2 0
8
9
Z
yz
dxdydz
A x
Figura 6.9
i
i
158
x = r cos
y = r sen
z=z
de forma que la integral se transforma en,
yz
dxdydz =
A x
Z /2
sen
Z a cos
Z /2
sen
Z a cos
1
1 4
a
8
3a4
32
cos
cos
Z /2
0
rdr
a2 r2
zdz =
r(a2 r2 )dr =
13. Sea D = {(x, y) R2 : x 3 + y 3 a 3 } un dominio cerrado y acotado centrado en el origen de coordenadas. Calcular
Z
2
2
2
a 3 x 3 y 3 dxdy
D
se deduce
Luego
x 3 = r 3 cos2
2
2
y 3 = r 3 sen2
x3 + y3 = r 3 a3 r a
Z
D
Z
2
2
2
a 3 x 3 y 3 dxdy =
Z 2
1
a
2 Z a 2
0
2
a 3 r 3 3r cos2 sen2 drd =
Z
2
3 8
3 8 2
a 3 r2 r 3 cos2 sen2 d = a 3
cos2 sen2 d =
2
8
8
0
0
0
2
Z 2
Z
1
3 8 1 2 1 cos4
3 8
3 8
= a3
sen 2 d = a 3
d =
a3
8
2
8 4 0
2
32
0
=3
A = {(x, y, z) R3 : 0 z e(x
, x2 + y2 1 con x 0 o y 0}
i
i
6. Integracin mltiple
159
Figura 6.10
x = r cos
y = r sen
z=z
0r1
V=
Z 1
/2 0
er rdrd =
Z
1 2 1
1
1
er d =
e1 +
d =
2
2
2
/2
/2
0
1
1
1
1
3
1
=
1
=
1
+
=
1
2
e
2
e
2
4
e
/2
(x2 y2)e(xy) dx dy
i
i
160
Figura 6.11
x(u, v) =
y(u, v) =
(x, y)
=
(u, v)
1
2
1
2
u+v
2
uv
2
= 1
2
1
2
12
y con este cambio la nueva regin de integracin es la que ilustra la Figura 6.12
Figura 6.12
Entonces
(x2 y2)e(xy) dx dy =
2
1
uvev du dv
2
A
uvev
1
du dv =
2
Z 1
0
Z 3
vev dv
8+v2
u
du =
2
i
i
6. Integracin mltiple
1
2
Z 1
0
vev
=
1
4
161
3
Z
2
u2
1 1
dv
=
9 (8 + v2) vev dv =
2
4 0
8+v2
Z 1
0
vev dv
1
4
Z 1
0
v3 ev dv =
()
1
1 1 v2 1 1 1 2
2
1
1
e2
e
(v 1)ev
= (e 1) (0 + 1) =
4 2
4 2
8
8
8
0
0
Z
2
2
2
2
1
1
1
1 2
2vev dv = v2 ev ev
v3 ev dv = v2 ev
2
2
2
2
Tambin podemos pensar en un planteamiento alternativo,
n
o
p
A = 2 2 u 3; 0 v u2 8
()
u2 8
Z 3
1
2
1
1
2
du =
I=
uv ev du =
ev
u
2
2 2 2 2
2 2 0
0
3
Z
1 3 u2 8
1 1 u2 8 u2
e2
=
1 du =
e
=
u e
4 2 2
4 2
2 22
8
Z 3 Z
u2 8
f
f
+y
x
y
p
r(x, y) = x2 + y2
(x, y) = arctan xy
f
f r f
x = r x + x
f
f r f
=
+
y
r y y
i
i
162
Calculamos
r r
,
,
y
.
x y x y
r
x
=p
;
2
x
x + y2
y
= 2
;
x
x + y2
r
y
=p
2
y
x + y2
x
= 2
y
x + y2
y sustituyendo se deduce
x
f
f
f
+y
=r
x
y
r
b) Calculamos
Z x f +y f
x
y
x2 + y2
dx dy
Figura 6.13
Z x f +y f
x
y
A
x2 + y2
dx dy =
Z Z R
r rf
4
f
r
dr
d
=
dr d =
2
r
0
0 r
1
d
cos2
i
i
6. Integracin mltiple
163
sen2
x2 cos2 = 1 cos2
cos2
cos2 (x2 + 1) = 1
De donde se deduce,
1
cos =
2
x +1
x
sen =
2
x +1
La regin S es el rea delimitada por las dos elipses
x2 y2
+
1 y
a2 b2
x2 y2
+
1
b2 a2
Figura 6.14
Para calcular el rea de esta regin, calcularemos una integral doble y, observando la geometra del
problema, realizamos un cambio a coordenadas polares en la expresin
x2 y2
+
=1
a2 b2
obtenemos
r2 cos2 r2 sen2
+
=1
a2
b2
De donde podemos extraer el valor de r
r2 =
a2 b2
+ a2 sen2
b2 cos2
1
r = aq
2
cos2 + ab sen2
y, en estas condiciones, la integral que debemos calcular para obtener el valor del rea es
Z
dxdy =
rdrd
a
2
cos2 + a
sen2
b
( )
rdrd = 4
a2
cos2 +
a 2
2
b sen
d =
i
i
164
= 4a
"
1+
1
a 2
b
tan2
d
cos2
Z 1
0
1
b
a
a
dx = 4a2 arctan x = 4ab arctan
2
a
2
a
b
b
1+ b x
0
1
Observamos que si a = b en lugar de una elipse tenemos una circunferencia y las dos elipses se convierten
en una sola circunferencia de rea a2.
18. Sea f : R2 R, f C 2 (R2 ) y F : A R2 R la funcin definida por F(x, y) = f (x2 y2 , 2xy).
Sean u = x2 y2 y v = 2xy.
a) Calcular
F
F
2F
(x, y),
(x, y) y
(x, y).
x
y
x2
Solucin:
a) Observamos que F(x, y) = f (u, v) y as,
F
f
f
(x, y) = 2x (u, v) + 2y (u, v)
x
u
v
F
f
f
(x, y) = 2y (u, v) + 2x (u, v)
y
u
v
2
2F
f
2 f
2 f
f
2 f
(x, y) = 2
+ 2x
2x +
2y + 2y
2x + 2 2y =
x2
u
u2
v u
u v
v
4x2
2
2 f
2 f
f
2 f
+
8xy
+
4y
+2
u2
u v
v2
u
Figura 6.15
i
i
6. Integracin mltiple
165
Si se resuelve la integral
du dv =
(x2 + y2) dx dy
Z 2
1
4
(x2 + y2 ) dx dy =
du
Z 4
2
dv =
1
2
x dx dy dz
x dx dy dz =
Z 1 Z 1x
0
x dx dy dz =
Z 1
1x
x(x + y) dx dy =
Z 1
0
Z 1 Z 1x Z x+y
x3 x
+
2 2
dx =
y2
x xy +
2
x2 x4
4
8
1
0
dx =
1
8
Figura 6.16
20. Calcular el volumen del slido limitado superiormente por el paraboloide x2 + y2 + z = 10 e inferiormente por el plano 4x + 2y + z = 11.
Solucin: Para calcular el volumen del slido limitado superiormente por el paraboloide x2 + y2 + z = 10
e inferiormente por el plano 4x + 2y + z = 11, que ilustra la Figura 6.17,
i
i
166
Figura 6.17
x2 = u
y1 = v
u = r cos
v = r sen
Z 2
0
Z 2
0
2
r4
(4 r2)rdr = 2 2r2
= 2 (8 4) = 8
4 0
i
i
6. Integracin mltiple
167
Figura 6.18
=
=
1
2
(a2 r2 )
3
2
3
2
Z a cos
0
#a cos
0
p
(2r) a2 r2 dr d =
1
3
d =
h
i
3 a cos
(a2 r2 ) 2
d =
0
Z
h
i
3
3
a3 2
2
2
2
2 (a2 ) 2 d =
)
(a
a
cos
(|sin3 | 1) d =
3 2
2
3
4a3
a
() a 4
=
=
3 3
3
9
Debemos tener en cuenta que hemos utilizado,
1
3
"
1
2
()
=
=
Z 0
Z 0
| sen3 | d =
Z 0
sen3 d +
sen (1 cos2 ) d +
sen d +
Z 0
sen cos2 d +
cos3
= cos
3
22. Calcular la integral siguiente,
0
sen3 d =
sen (1 cos2 ) d =
sen d
sen cos2 d =
cos3 2
2 2 4
+ cos +
= + =
3
3 3 3
0
x2 cos z dx dy dz
i
i
168
Solucin: Teniendo en cuenta las restricciones del volumen V podemos realizar la integral de forma
directa, considerando,
Z
x2 cos z dz dy dx =
Z 1 Z 1x
Z 1 Z 1x Z
0
x2 cos z dx dy dz =
Z 1Z
x2 sen z 0 dx dy =
1x
0 dy dx = 0
Figura 6.19
23. Calcular
siendo
p
z x2 + y2 dxdydz
V = {(x, y, z) R3 : 0 x 2, 0 z 2, 0 y
p
2x x2}
x = r cos
y = r sen
z=r
Aplicamos el teorema del cambio de variable y recordamos que el jacobiano de este cambio es r.
Z
Z
p
z x2 + y2 dxdydz =
2 3 2 cos
[r ]0
d =
3
Z 2 cos Z 2
0
zr2 dzdrd =
16
16
cos3 d =
3
3
Z 2 cos
0
2r2 drd =
cos (1 sen2 )d =
16
1
32
3
2
2
=
[sen ]0 [sen ]0 =
3
3
9
24. Encontrar el volumen de la regin que queda por encima de la superficie x2 + y2 = z dentro de la esfera
x2 + y2 + z2 = 2z.
Solucin: Observemos que la esfera est centrada en (0, 0, 1) y que la interseccin de la esfera y el
paraboloide se produce en z = 1. El conjunto de puntos de interseccin forman una circunferencia
x2 + y2 = 1. Podemos visualizar la regin de integracin en la Figura 6.20.
i
i
6. Integracin mltiple
169
Figura 6.20
El volumen se calcula con la integral triple de la funcin unidad sobre la regin en cuestin. De esta
forma,
Z
dx dy dz
Subdividimos el recinto en dos volmenes, la parte delimitada por el paraboloide por debajo de la interseccin, a la que llamaremos V1 , y la parte restante que llamaremos V2 . Calculamos por separado ambos
volmenes. Para calcular el primer volumen realizaremos un cambio a coordenadas polares que nos facilita el clculo ya que la regin plana obtenida al proyectar el volumen es el disco de centro en el origen
y radio unidad. La coordenada z vara desde el paraboloide hasta el plano delimitado por la curva de
interseccin.
Z
Z 1
Z
V1 =
dx dy dz =
1 (x2 + y2 ) dx dy =
D(0,1) x2 +y2
Z 2 Z 1
0
D(0,1)
(r r ) dr = 2
1 1
2 4
El segundo volumen corresponde a la mitad del volumen de la esfera, y as obtenemos, sin necesidad de
integrar,
V2 =
4
3
3 r
2
3
2
7
+
=
2
3
6
25. Hallar el volumen de la regin slida limitada inferiormente por el interior de la hoja superior del cono
z2 = x2 + y2 y superiormente por la esfera x2 + y2 + z2 = 9.
Solucin: Resolvemos el problema utilizando un cambio a coordenadas esfricas definido por
(0, 2 ),
x = r cos sen
y = r sen sen
z = r cos
(0, ).
i
i
170
Figura 6.21
sen sen
r cos sen
r sen cos
cos
0
r sen
= r2 sen
3
(x2 + y2 ) + z2 = 2z2 = 9 z =
2
y de z = r cos , se deduce
3 1
= cos =
4
23
Con lo cual el volumen que se pide se calcula con la siguiente integral,
V=
dV =
=9
Z 2
0
Z 2 Z
0
Z 3
0
r2 sen dr d d =
[ cos ]0 d = 9
Z 2
0
Z 2 Z
0
9 sen d d =
2
1
d = 9 (2 2)
2
i
i
CAPTULO
V (i )
i =1
[n]
1. Estudiar la convergencia puntual y uniforme de la sucesin { fn }nN siendo { fn } las funciones reales
definidas por
h i
fn (x) = senn (x) x 0,
2
Solucin: En primer lugar estudiamos la convergencia puntual de la sucesin.
Si x = 0
lm fn (0) = lm senn (0) = lm 0 = 0
n+
Si x 0, 2
Si x =
n+
n+
n+
n+
= lm senn
lm fn
n+
n+
2
= lm 1 = 1
n+
Observamos que n N, fn es una funcin continua en 0, 2 y sin embargo f no es continua en 0, 2 ,
luego la convergencia no puede ser uniforme.
2. Sean fn , n N, las funciones reales definidas por
fn (x) =
ex
,
xn
x>0
b) en [1, +)
Solucin: Estudiamos la convergencia puntual de la sucesin { fn }nN .
Si x (0, 1)
ex
lm fn (x) = lm n =
n+
n+ x
Si x = 1
ex
=e
n+ xn
lm fn (x) = lm
n+
i
i
172
Si x (1, +)
ex
=0
n+ xn
lm fn (x) = lm
n+
a) La sucesin { fn }nN no converge puntualmente en (0,1), luego no converge ni puntual ni uniformemente en [0, +).
b) La sucesin { fn }nN converge puntualmente a f en [1, +), siendo
f (x) =
e
0
x=1
x (1, +)
Pero las funciones fn son continuas en [1, +) y sin embargo f no es continua en [1, +) (por no
serlo en x = 1), luego la convergencia no es uniforme.
3. Sean fn , n N, las funciones reales definidas por
sen nx
fn (x) =
n
Demostrar que la sucesin { fn }nN converge uniformemente en R pero la sucesin { fn }nN no converge nunca.
Solucin: Para estudiar la convergencia puntual, calculamos
lm
n+
sen nx
= 0 x R
n
n+ x(1,+)
sen nx
sen nx 1
n cos nx
De donde,
n cosnx
= lm n cos nx = + x R
n+
n+
n
lm
i
i
173
b) Calcular lm
Z 1
n+ 0
fn (x)dx
n+
Si x (0, 1)
n+
n+
n+
nx
=0
(1 x2)n
Si x = 1
lm fn (1) = 0
n+
nx(1 x2)n dx = n
Z 0
1
1
1 n
t n dt =
2
2 n+1
Luego
lm
Z 1
n+ 0
fn (x)dx = lm
n+
1 n
1
=
2 n+1 2
c) La sucesin { fn }nN no converge uniformemente porque en este caso no se cumple una de las
propiedades de la convergencia uniforme, ya que
lm
Z 1
n+ 0
1
fn (x)dx =
2
luego,
lm
Z 1
n+ 0
Z 1
lm fn (x)dx =
0 n+
fn (x)dx 6=
Z 1
Z 1
0
0dx = 0
lm fn (x)dx
0 n+
ex ex
2
ex + ex
= ch x
2
i
i
174
x3
x2n+1
+ +
3!
(2n + 1)!
x2n+1
(2n + 1)! = sh x
n0
L = lm
1
donde
L
= lm
(2n 1)!
1
= lm
=0
(2n + 1)! n (2n + 1)2n
eax 1
x0 sh x
aproximamos la funcin sh x por el primer trmino del desarrollo de Taylor, y obtenemos
lm
eax 1
eax 1 ax
eax 1 x
= lm
= lm
a=a
x0 sh x
x0 sh x ax
x0
ax sh x
lm
3n (x 2)n
n1
En nuestro caso,
L = lm
2
3n
R=
1/n
21/n 1
=
n 3
3
= lm
1
1
=
=3
L 1/3
n1
n1
i
i
para x = 5 tenemos
175
n1
n1
Luego, el dominio de convergencia de la serie es el intervalo (1, 5). Calculamos la suma de la serie
para x = 4,
n
2
2
n
(2)
=
2
3n
3
n1
n1
Podemos ver que se trata de una serie geomtrica, y por lo tanto la suma vale
n
2
2/3
=2
=4
2
1 2/3
n1 3
7. Calcular el radio de convergencia y el dominio de convergencia de la serie de potencias
1
en (x 1)n
Solucin: Para calcular el radio de convergencia podemos calcular uno de los dos lmites siguientes
s
1
1
1 n
= e1
lm n n = lm n
n
n
e
e
1
en+1
lm 1 = lm e1 = e1
n
n n
e
Luego el radio de convergencia es
R=
e1
=e
Entonces podemos garantizar que la serie converge para los valores de x R tales que
|x 1| < e 1 e < x < 1 + e
Estudiemos ahora la frontera del intervalo.
x1 = e
en en = 1 n
n=0
Al ser lmn
x 1 = e
1n
n=0
en (en ) = (1)n
n=0
n=0
1|
= e1 |x 1|
n
n
n e
e
o tambin
1 (x 1)n+1
en+1
= lm 1
= lm (x 1)e1 = e1 |x 1|
n
n
n
en (x 1)
i
i
176
Como hemos observado anteriormente si |x 1| = e la serie diverge, por tanto, el dominio de convergencia de la serie es (1 e, 1 + e).
8. Calcular el radio de convergencia y determinar el intervalo de convergencia de la serie de potencias
(x + 1)n
3n(n2 n)
n2
(n + 1)2 (n + 1)
=1
n
n2 n
lm
entonces
lm (n2 n) n = 1
de donde se deduce,
1
1
lm
=
n 2
3 n n 3
Por tanto, R = 3 y as, la serie converge para los valores x R tales que,
n
(1)n
(3)n
3n (n2 n) = n2 n
n1
n1
3n
1
3n (n2 n) = n2 n
n1
n1
la serie converge (por ejemplo, aplicar el criterio de comparacin por paso al lmite y comparar
1
con la serie 2 ).
n1 n
Luego, el dominio de convergencia de la serie es el intervalo [4, 2].
9. Calcular el radio de convergencia de la serie
n2 (x + 2)n
n!
n2
i
i
177
(n+1)2
(n+1)!
= lm
n2
n
n!
(n + 1)2n!
n+1
= lm 2 = 0
2
n (n + 1)!n
n n
= lm
(n 2)! = n! = e
n0
n2
n! = 2e 1
n2
g(x) =
g(n) (1)
(x 1)n
n!
n=0
1
g (1) = 1
x
g (x) =
1
g (1) = 1
x2
g (x) =
2
g (1) = 2
x3
6
g(4) (1) = 6
x4
En general, la derivada de orden n de la funcin g vale,
g(4) (x) =
(n 1)!
g(n) (1) = (1)n+1 (n 1)!
xn
i
i
178
g(x) = ln x =
(1)n+1
n=1
(x 1)n
n
1
L,
siendo
s
(1)n+1
=1
L = lm n
n
n
n=1
la serie es divergente.
Si x = 2
(1)n n
n=1
la serie es convergente (aplicamos, por ejemplo, el criterio de Leibniz para series alternadas).
Luego el dominio de convergencia de la serie de potencias asociada a la funcin g es el intervalo (0, 2].
11. Estudiar la convergencia en R de la serie
cos(2n x)
2n
n0
Solucin: Se cumple
n
cos(2n x)
1 = 1
2n 2n
2
La serie
1
2
x R
n
1
2
n1
n1
fn (x) = g(x)
n1
Rx
1
i
i
179
Solucin:
a) Calculamos el radio de convergencia de la serie
n (x 1)n
n1
El radio ser R =
1
siendo
L
1
L = lm n+1
n 1
n
=1
(1)n
n
n1
n1
es divergente.
Por tanto, el dominio de convergencia es el intervalo [0, 2).
b) Derivando fn obtenemos fn (x) = (x 1)n1. La serie
fn (x) = (x 1)n1
n1
n1
es una serie geomtrica de razn |x 1| < 1, luego converge y, la suma de la serie vale
1
1
=
= g(x)
1 (x 1) 2 x
c) Calculamos
Z x
1
por lo tanto,
1
1
dt = [ln(2 t)]x1 = ln
= f (x)
2t
2x
(1)n
1
= f (0) = ln = ln 2
n
2
n1
1, 2 x 1
1,
1 < x < 1
f (x) =
1,
1x2
f (x + 4) = f (x), x R
Solucin: La funcin f es una funcin peridica de periodo T = 4 y de semiperiodo l = T2 = 2. Observamos que cumple la propiedad f (x) = f (x), x R, es decir, la funcin es par, por lo tanto, su
desarrollo en serie de Fourier tendr solo valores en cosenos. Planteamos el cambio de variable,
t
x
2
= x= t t = x
2
i
i
180
1, x /2
1,
/2 < x < /2
(t) =
1,
/2 x
(t + 2 ) = (t), t R
y para obtener el desarrollo en serie de Fourier de esta funcin calculamos los coeficientes de la serie de
Fourier.
Trmino constante:
Z
1
(t)dt = 0
2
Coeficientes de los trminos en cosenos:
Z
1
an =
(t) cos(nt)dt =
Z /2
Z /2
Z
1
=
(1) cos(nt)dt +
(1) cos(nt)dt +
(1) cos(nt)dt =
/2
/2
a0 =
n
2
/2
/2
!
1
1
1
sen(nt)
+
sen(nt)
+ sen(nt)
=
n
n
n
/2
/2
41
sen n
n
2
= 0 si n es par y sen n2 = 1 si n es impar, resulta:
a2p = 0
4 (1) p
, p = 0, 1, 2...
a2p+1 =
2p + 1
(t) =
4 (1) p
(1) p
p=0
p=0
f (x)
n=1
n=2
n=4
i
i
n=8
Figura 7.1
181
n = 16
Solucin: Para obtener un desarrollo en serie de senos, debemos considerar la extensin impar de la
funcin f dada, es decir, definimos,
1 0<x1
g(x) =
1 1 x 0
Observamos que, g(x + 2) = g(x) es decir el periodo de los trminos de Fourier es P=2. Como g es una
funcin impar, los valores an sern nulos, n N. Calculamos los trminos bn que los obtenemos segn,
bn =
2
P
Z 1
g(x) sen(n x) dx = 2
Z 1
0
cos(n x)
=2
n
se cumple,
cos n =
Los trminos bn son,
bn =
g(x) sen(n x) dx = 2
1
0
Z 1
0
sen(n x) dx =
2
[1 cosn ]
n
1, si n impar
1, si n par
4
n ,
0,
si n impar
si n par
0<x6
i
i
182
f (x)
n=1
n=2
n=4
n=8
n = 16
Figura 7.2
Solucin:
a) Una funcin impar cumple f (x) = f (x) x Dom f . Definimos entonces, la extensin impar
de f en [-6,6] como g : [6, 6] R tal que
g(x) =
8 34 x
8 43 x
6 x 0
0<x6
Z 6
0
Z
4
2
1 6
4
16
8 x sen
nx dx =
8 x sen
nx dx =
3
12
3 0
3
6
n
n sen
n1
n
x
6
Si n es el nmero de trminos del desarrollo en serie de Fourier, la Figura 7.3 muestra el grfico
de la funcin f y del desarrollo de Fourier para distintos valores de n.
i
i
183
n=1
f (x)
n=2
n=4
n=8
Figura 7.3
n = 16
n sen
n1
n
16
n
sen
x=
6
n
2
n1
0, n = 2k
n
1, n = 1, 5, ...
sen
=
2
1, n = 3, 7, ...
n1
i
i
BIBLIOGRAFA
i
i