Beruflich Dokumente
Kultur Dokumente
Este libro de la coleccin Prentice Prctica forma parte, junto con un libro Otro libro de inters
de teora y un curso de Clculo con soporte interactivo en la plataforma Estela Carbonell, M. Rosa
Moodle, de un conjunto dedicado a la enseanza del Clculo de una y varias Sa Seoane, Joel
variables.
www.pearsoneducacion.com
i i
i i
i i
CLCULO
Ejercicios resueltos
i i
i i
i i
i i
CLCULO
Ejercicios resueltos
i i
i i
DERECHOS RESERVADOS
c 2008, PEARSON EDUCACIN S.A.
Ribera del Loira, 28
28042 Madrid (Espaa)
ISBN: 9788483224816
Deposito Legal: M.
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 PEAR-
SON 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 mantenimien-
to 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
i i
NDICE GENERAL
PRLOGO VII
BIBLIOGRAFA 185
i i
i i
i i
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 Univer-
sitat Politcnica de Catalunya.
El temario propuesto est pensado para iniciar al estudiante en un proceso de formacin en funda-
mentos 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 enun-
ciados 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; conti-
nuidad, 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
i i
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 esca-
pado. Cualquier alerta en este sentido as como comentarios y sugerencias por parte del lector sern bien
venidos y, por supuesto, muy apreciados.
i i
i i
N CAPTULO
V (i )
1
i =1
Solucin: Un conjunto ordenado M es aquel que cumple una relacin de ordren < definida por los
siguientes axiomas y con la notacin x > y equivale a y > x:
1. x, y M se cumple una y tan solo una de las siguientes relaciones x < y , x = y , y < x
2. z M si x < y entonces x + z < y + z
3. Si x > 0 e y > 0, entonces xy > 0
4. x < y e y < z, entonces x < z (transitiva)
Ejemplos: Los conjuntos de nmeros reales (N), enteros (Z), racionales (Q) y reales (R) son ordenados.
Alternativamente los axiomas de ordren se pueden describir con la relacin y las propiedades:
1. Reflexiva: x x x
2. Antisimtrica: x, y x y y y x x = y
3. Transitiva: x y y y z x z, x, y, z
a) {x R : 2 |2x 6|}
b) {x R : |x + 1| > |x 2|}
Solucin: Para resolver este apartado utilizaremos propiedades de la funcin valor absoluto.
a) Los puntos x R que cumplen 2 |2x 6| son
|2x 6| 2 [2x 6 2 o 2x 6 2]
2x 6 2 2x 8 x 4 [4, +)
2x 6 2 2x 4 x 2 (, 2]
luego,
{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
i i
x < 1
x+1 < 0
x 1 > x + 2 1 > 2
x2 < 0
luego, no se satisface nunca.
1 x 2
x+1 0
x + 1 > x + 2 2x > 1
x2 < 0
1
por tanto se satisface si 2 <x2
x2
x+1 0
x + 1 > x 2 1 > 2
x2 0
Se satisface siempre.
x+1 > 0
(x > 2)
x2 > 0
x + 1 > x 2 1 > 2
que siempre es cierto.
x+1 < 0
x2 > 0
que nunca es cierto.
x+1 > 0
(1 < x < 2)
x2 < 0
1
x + 1 > x + 2 x >
2
1
siempre cierto en el intervalo ,2 .
2
x+1 < 0
(x < 1)
x2 < 0
x 1 > x + 2 1 > 2
que nunca es cierto.
i i
i i
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
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
i i
4x2 < x2 + y2
3x2 < y2
3|x| < |y|
De donde se deduce que si x > 0
3x < |y|
Para representar
el lugar geomtrico, estudiamos los puntos de la frontera, es decir, las rectas y = 3x y
y = 3x.
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.
d(z, 1) = |z 1|
d(z, 1) = |z + 1|
Imponemos que la razn de distancias sea 2.
q q
|z 1|
= 2 |z 1| = 2|z + 1| (x 1)2 + y2 = 2 (x + 1)2 + y2
|z + 1|
de donde se deduce,
(x 1)2 + y2 = 4(x + 1)2 + 4y2
x2 2x + 1 + y2 = 4(x2 + 2x + 1) + 4y2
i i
i i
x2 2x + 1 + y2 = 4x2 + 8x + 4 + 4y2
3x2 + 3y2 + 10x + 3 = 0
10
x2 + y2 + x+1 = 0
3
este lugar geomtrico corresponde a los puntos de una circunferencia, que puede reescribirse como
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 .
7. Encontrar para qu valores de n N, z = ( 3 + i)n es un nmero real positivo.
Solucin: El nmero complejo z = 3 + i, tiene mdulo 2 y argumento 6 , luego podemos expresarlo en
forma trigonomtrica como
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
( 3 + i)n = 26k cos k
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
2
8ei( 3 +k 3 ) , k = 0, 1, 2
3
zk =
i i
i i
Luego las tres soluciones de 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
z3 = 8e = 2( 2 + i 2 ) = 1 + i 3
24 + 23i 1
9. Sea z C el punto del plano z = + 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
Figura 1.3
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
!
6
= arctan = arctan( 3) =
2 3
i i
i i
As pues, i
z= 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
y obtenemos i
12
z0 = 8e 18
i( + )
12
5
z1 = 8e 18 3 = 12 8ei 18
i( + 2 )
12
11
z2 = 8e 18 3 = 12 8ei 18
17
z3 = 12
8ei( 18 + ) = 12 8ei 18
4 13
z4 = 12
8ei( 18 + 3 ) = 12 8ei 18
i( + 5 )
12
7
z5 = 8e 18 3 = 12 8ei 18
En la siguiente representacin grfica, Figura 1.4, observamos que estas soluciones son puntos que per-
tenecen 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 .
i i
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
entonces y son nmeros complejos conjugados de mdulo 1.
z2 z1
z2 = i
y observamos que son nmeros complejos conjugados. Comprobamos que z1 y z2 tienen el mismo m-
dulo p q
|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
z1 z2
Se demuestra que 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
Se demuestra que y tienen mdulo 1
z2 z1
q
z1
= cos2 (2 ) + sen2 (2 ) = 1
z2
i i
i i
x2 = xy x2 y2 = xy y2 (x + y)(x y) = y(x y) x + y = y 2y = y 2 = 1
Solucin:
a) El error del razonamiento est en la siguiente implicacin,
(x + y)(x y) = y(x y) x + y = y
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
d) d(x, z) d(x, y) + d(y, z) x, y, z R
luego d no es distancia.
c) Es importante observar que an siendo A los puntos de una recta, se trata de un subconjunto del
plano, luego las bolas no son intervalos, sino crculos.
La Figura 1.6 representa los puntos del conjunto A.
Figura 1.6
i i
i i
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.
f (x) = f (y) x = y
ABAB
n o
16. Demostrar que todos los puntos del conjunto A = 1, 1/4, . . ., n12 , n N son aislados.
i i
i i
17. Definimos
2x x+2
A= xR: + 3
x1 x+1
Estudiar el interior y el conjunto de puntos de acumulacin del conjunto A. Estudiar si A es un conjunto
abierto, cerrado y/o compacto.
2x x+2
Solucin: Los nmeros x R tales que + 3 cumplen
x1 x+1
2x(x + 1) + (x + 2)(x 1) 3x + 1
3 0
x2 1 x2 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
3x + 1 0
1 < x 1/3
x2 1 < 0
De donde resulta
1
A = 1, (1, +)
3
El interior del conjunto A es
1
1, (1, +)
3
Al no coincidir con su interior, el conjunto A no es abierto. El conjunto de puntos de acumulacin de A
es
1
1, [1, +)
3
y coincide con el conjunto de puntos adherentes. El conjunto A no cumple la caracterizacin de conjunto
cerrado al no coincidir con su adherencia, luego A no es cerrado. Al no ser cerrado tampoco es un
conjunto compacto.
i i
i i
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}
Aisl A = A
A = A {0}
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
B= (x, y) R2 : 3 < x < 3, 0 < y < 1
El conjunto B no coincide con su interior, luego B no es un conjunto abierto. B no es cerrado porque no
coincide con su adherencia, y al no ser cerrado no puede ser compacto.
19. Calcular el interior, adherencia, frontera, conjunto de puntos aislados y de acumulacin del subconjunto
de R definido por:
1
A = (0, 1) 2 + (Q [3, 4])
n nN
Estudiar si A es un conjunto abierto y/o cerrado.
Solucin:
A= (0, 1)
1
A = [0, 1] {2} 2 + [3, 4]
n nN
i i
i i
1
A = {0, 1} {2} 2 + [3, 4]
n nN
1
Aisl(A) = 2 +
n nN
Como A6= A, A no es un conjunto abierto.
Como A 6= A, A no es un conjunto cerrado.
20. Consideramos
1
A = (x, y) R2 : x2 + y2 = 2 , n N
n
Razonar si (0,0) es un punto de acumulacin, interior y/o frontera del conjunto A.
Solucin: Observamos que los elementos del conjunto A son los puntos que pertenecen a las circunfe-
rencias de centro (0,0) y radios n1 , n N.
El punto (0,0) es un punto de acumulacin de A dado que
Observamos que en una bola B((0, 0), ) estn todos los puntos que cumplen x2 + y2 = n12 < 2 , es decir,
para todo n > 1 .
El punto (0, 0)
/ A, por tanto no puede ser un punto del interior de A. Observamos que el punto (0,0) no
pertenece a A porque no existe ningn valor de n N tal que 0 = n12 .
El punto (0, 0) pertenece a la frontera de A, ya que
A = {z C : z z = i}
1
z z = x + iy (x iy) = 2yi = i y =
2
1
A = (x, y) R2 : y =
2
i i
i i
Figura 1.8
A = 0/ A no es abierto; A = A A es cerrado. El conjunto A no es acotado, luego no es compacto.
z + z = |z|2 2x = x2 + y2
(x2 2x + 1) + y2 1 = 0
(x 1)2 + y2 = 1
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=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
i i
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
de donde se deduce 1 2x > 0 x < 21 .
La Figura 1.10 muestra la representacin grfica del conjunto A.
Figura 1.10
A = {z C : |z| = 1 Re(z)}
A = {z C : |z| 1 Re(z)} = A
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
i i
A = {(x, y) R2 : 2x = y}
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 cum-
plen las dos condiciones siguientes:
3 3 3
Re Im 2 Re(z)
z z 4
i i
i i
3 3 3 2
corresponde al interior de la circunferencia de centro 4,4 y radio r = 4 .
3 3
Re(z) 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
T = {(x, 0) R2 : x Q, 10 x 7}
Solucin:
a) Si z = x + iy,
z 3
z + 3 2 |z 3| 2|z + 3|
q q
|z 3| = (x 3)2 + y2 ; |z + 3| = (x + 3)2 + y2
de donde
(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
i i
Figura 1.13
b) De a) se deduce que
A = S {(x, 0) : x Q, 9 < x < 1}
A = {(x, y) R2 : (x + 5)2 + y2 > 16}
A = {(x, y) R2 : (x + 5)2 + y2 = 16} {(x, 0) R2 : 9 < x < 1}
A = {(x, y) R2 : (x + 5)2 + y2 16} {(x, 0) R2 : 9 < x < 1}
A = A
El conjunto A no tiene puntos aislados.
i i
i i
N CAPTULO
V (i )
2
i =1
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.
b) La sucesin {an bn }nN es convergente.
Solucin:
a) Utilizamos bsicamente la definicin de sucesin acotada.
zn = rn ein
Solucin:
a) Calculamos los lmites que corresponden a las sucesiones de mdulos y argumentos,
1
lm rn = lm n ln 1 + =1
n n n
lm n = lm n sen =
n n n
i i
i i
luego,
lm zn = 1ei = 1
n
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.
Solucin:
a) Para encontrar la adherencia y la acumulacin del rango de la sucesin calculamos el lmite de
sta
e1/n 1
lm 2n(e1/n 1) = lm 2 1
=2
n n
n
ln(n2 n + 2)
lm ln(n2 n + 2)1/n = lm = 0 lm cos n[ln(n2 n + 2)1/n] = 0
n n n n
A = {0, 2}
A = A {0, 2}
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
i i
> 0, N N : n, m > N, |xn xm | <
3
De lm d(xn , yn ) = 0 se deduce que > 0, n0 N : n n0 , |xn yn | < 3
n
Sea N0 = max{n0 , N}. Si n, m > N0 se cumple
|yn xn | + |xm ym | + |xn xm | < + + =
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
d(yn , x0 ) d(yn , xn ) + d(xn , x0 ) < + < , n n0 N
2 2
> 0, n0 N : n > n0 d(xn , x0 ) <
2
> 0, n1 N : n > n1 d(xn , yn ) <
2
As pues,
lm yn = x0
n
Finalmente, de {yn }nN convergente se deduce que {yn }nN es una sucesin de Cauchy.
i i
i i
Solucin:
a) Al evaluar el lmite
3
lm (n + n) ln 1 +
n 2n 1
vemos que presenta una indeterminacin del tipo 0, que resolvemos de la siguiente forma.
3
3 ln 1 + 2n1
lm (n + n) ln 1 + = lm 1
=
n 2n 1 n
(n+ n)
3
ln 1 + 2n1
lm 3
=1
n
2n1
y obtenemos
3
3
ln 1 + 2n1 2n1 3(n + n) 3
= lm 3 1
= lm =
n n 2n 1 2
2n1 (n+ n)
b) El lmite
1+2n2
1 + 3n2
lm
n 3n2 2
presenta una indeterminacin del tipo 1 que podemos resolver utilizando la definicin
1
1 n
e = lm 1+
n n
1+2n2
1 + 3n2 lm 1+3n
2
2
1 (1+2n2 )
lm = en 3n 2
n 3n2 2
1 + 3n2 2 3 2 3 + 6n2
lm 1 (1 + 2n ) = l
m (1 + 2n ) = l
m =2
n 3n2 2 n 3n2 2 n 3n2 2
Luego,
1+2n2
1 + 3n2
lm = e2
n 3n2 2
c) El lmite
n ln n
ln(a + n)
lm
n ln n
presenta una indeterminacin del tipo 1 ya que
ln(a + n) ln n an + 1 ln n + ln na + 1
lm = lm = lm =
n ln n n ln n n ln n
!
ln an + 1
= lm 1+ =1
n ln n
i i
i i
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.
1
xn = sen( n)
1 + n
Calculamos el lmite
1 1 <1
1
lm = =1
n 1 + n 2
0 >1
Por tanto, solo existe el lmite si > 1, y en este caso
sen( n)
lm =0
n 1 + n
7. Calcular
1 4 5 n+2
lm 2 ln + 3 ln + + n ln
n n 2 3 n
i i
i i
2n2
8. Se considera la sucesin de nmeros reales {an}nN definida por an = n N. Calcular los
n+1
siguientes lmites:
a) lm (an+1 an )
n
a1 + a2 + + an
b) lm
n n2
Solucin:
a) En primer lugar, para resolver el primer lmite calculamos la diferencia entre dos valores conse-
cutivos de la sucesin {an }nN .
2n2
n+1 2n2
= lm = lm =1
n 2n 1 n (n + 1)(2n 1)
Luego,
a1 + a2 + + an
lm =1
n n2
nk
= lm
n k+1 k+1
nk+1 nk+1 + nk + nk1
1 2
nk 1
= lm =
n (k + 1)nk k+1
De donde se deduce,
1k + 2k + + nk 1
lm =
n nk+1 + 1 k+1
i i
i i
1 1 1
an = + + ...+
n+1 n+2 2n
a) Estudiar la monotona de la sucesin.
b) Demostrar que la sucesin es acotada.
c) Deducir razonadamente de los apartados anteriores que la sucesin es convergente.
d) Dar un intervalo de amplitud menor que 1/2 dentro del cual se encuentre el lmite de la sucesin.
Solucin:
a) Calculamos los primeros valores de la sucesin,
1
a1 = 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. Comproba-
mos 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.
b) Para todo n N se cumple
1 1 1 1 1 1 n
an = + + ...+ + + ...+ = <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.
1
d) Atendiendo que a1 = 2 y que la sucesin es montona creciente, por el apartado b), podemos
afirmar,
1
an < 1, n 2
2
y en definitiva se cumple
1
lm an 1
2 n
11. Consideramos {xn }nN una sucesin de nmeros reales que cumplen:
1
x1 = 2
7xn+1 = x3n + 6, n 1
i i
i i
7L = L3 + 6
L3 7L + 6 = (L2 + 2L 3)(L 2)
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
x2 = +6 = > = x1
7 8 56 2
Supongamos, por hiptesis de induccin, xn+1 > xn . Debemos demostrar que xn+2 > xn+1 .
x3n+1 + 6 x3n + 6
xn+2 = > = xn+1
7 7
x3n + 6 1 + 6
xn+1 = < =1
7 7
Luego 1 es una cota superior de la sucesin {xn }nN .
Hemos demostrado que la sucesin {xn }nN es montona creciente y est acotada, luego la sucesin
{xn }nN converge y
lm xn = 1
n
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
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:
x2 = 4 + 3a > 4a > a = x1 x2 > x1
Por hiptesis de induccin suponemos xn > xn1 y demostramos que xn+1 > xn o de manera equivalente
que x2n+1 > x2n ya que xn > 0 n N.
i i
i i
?
4 + 3xn > 4 + 3xn1
a0 = 11
an = 3 + 2an1, n 1
Demostraremos ahora, tambin por el mtodo de induccin, que la sucesin est acotada inferiormente
por 3.
a0 = 11 > 3
Luego la sucesin {an }nN est acotada, porque al ser montona decreciente est acotada superiormente
por a0 .
3
b) 2n
n=3
i i
i i
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 = 1 1 = 92 = 9 2 = 6
3
n2 3 3
1 3
3 1 2 1 3
2n = 3 2n = 3 1 1 = 3 4 = 4
n=3 n=3 2
La serie n
1
10
n0
1
es una serie geomtrica de razn < 1, por tanto, convergente y de suma
10
n
1 1 10
10 = 1 1 = 9
n0 10
As pues,
n
1 10
9.9 = 9 10 =9 = 10
n0 9
i i
i i
1 1
b)
n 5n
n=1
Solucin:
a) Estudiaremos el carcter de la serie de valores absolutos,
n n
n n
(1)n = 2n 1
n=1 2n 1 n=1
Al ser una serie de trminos positivos, podemos aplicar el criterio de la raz n-sima
s n
n n 1
lm n
= lm = <1
n 2n 1 n 2n 1 2
1 1
b) Estudiamos ahora el carcter de la serie .
n1 n 5n
1 1 1
La serie n es divergente y 5n es convergente por ser una serie geomtrica de razn 5 < 1.
n1 n1
1 1
Luego diverge.
n1 n 5n
(n + 1)n+1
an+1 (n + 1)! n!(n + 1)n+1
lm = lm n = lm =
n an n n n (n + 1)!nn
n!
(n + 1)n+1 (n + 1)n 1 n
= lm = lm = lm 1 + =e>1
n (n + 1)nn n nn n n
por tanto la serie es divergente.
19. Estudiar el carcter de la siguiente serie dependiendo de los valores de , siendo > 0.
(n + )!
n0 !n!
n
i i
i i
Segn el criterio
1
si < 1 1 < , la serie es convergente.
1
si > 1 1 > , la serie es divergente.
(n + 1)!
si = 1, = (n + 1) la serie diverge.
n0 1!n!1
n
n0
Luego, la serie
(n + )!
n0 !n!
n
21. Razonar si las siguientes afirmaciones son ciertas o falsas, con demostraciones o contraejemplos segn
convenga.
a) La siguiente serie es convergente. s
2n n3 + 1
2n2 1
n=1
Solucin:
a) Calculamos el lmite de la sucesin que define la serie numrica,
s
3
2n n + 1
lm 6= 0
n 2n2 1
i i
i i
1 n(n + 1)
a2n = 2
(2 + 4 + 6 + . . .+ 2n) =
(2n) 4n2
1
lm an =
4
n
Vemos que {xn }nN es divergente y sin embargo {an }nN es convergente.
Solucin: Aplicando el criterio de Pringsheim podemos comprobar que la serie es convergente. Para
calcular su suma, descomponemos en suma de fracciones simples.
1 A B A(n + 3) + B(n + 4)
= + =
(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
n1 n + 4 n+3
1
Si an = , al ser
n+3
1
lm =0
n n+3
la serie es convergente y su suma es
1
S = lm an+1 a1 =
n 4
i i
i i
considerando
1 1
an =
(n + 1)! (n + 2)!
1
bn =
(n + 1)!
1 1
= lm =1
1! n (n + 2)!
i i
i i
25. Calcular
+ . . . + sen
sen 1 + sen 2 n
lm
n ln n
Con ayuda del lmite anterior, estudiar la convergencia de la serie
sen n
n1
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 =
n n
sen 1 + sen 2 sen 1 + sen 2 + . . . + sen
+ . . . + sen n+1
n
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 )
y
ln 1 + 1n
lm 1
=1
n
n
i i
i i
Como mtodo de resolucin alternativo, podemos estudiar la convergencia de la serie utilizando el crite-
1
rio de comparacin por el cociente. Si comparamos con la serie divergente observamos que:
n1 n
sen n
lm 1
=
n
n
Por tanto, ambas series tienen el mismo carcter y la serie sen tambin diverge.
n1 n
Solucin: Para demostrar que se trata de una serie telescpica, veremos que existe una sucesin {xn }nN
tal que
6
2
= xn xn+1
4n + 8n + 3
Factorizando el polinomio encontramos
2 1 3
4n + 8n + 3 = 4 n + n+ = (2n + 1)(2n + 3)
2 2
y por lo tanto
3
xn =
2n + 1
Entonces podemos escribir la serie de la forma siguiente
6 3 3
2 = = (xn xn+1)
n2 4n + 8n + 3 n2 2n + 1 2n + 3 n2
6 3
lm xn+1 =
4n2 + 8n + 3 = (xn xn+1) = x2 n
n2 n2 5
i i
i i
Solucin:
a) Planteamos la igualdad siguiente:
4n 1 (n 1) + n + 2 n 2 + 2 n n 2 +
= = =
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 =
n1 2 n
n1 2n
+
4n 1 +
lm bn = 7 0 = 7
n = (bn1 bn) = b0 n
n=1 2 n=1
i i
i i
i i
i i
N CAPTULO
V (i )
3
i =1
1. Calcular
1+cot2 x
x2
lm
x0 x2 + x 2
Solucin: Si calculamos el lmite directamente, nos queda una indeterminacin del tipo 1 .
Podemos reescribir el exponente como
cos2 x 1
1+ =
sen2 x sen2 x
y la base, la podemos reescribir como
x2 x2 x2
= 1 + 1 = 1
x2 + x 2 x2 + x 2 x2 + x 2
luego, podemos expresar el lmite como
x2 +x2 x2
1 x2 (x2 +x2) sen2 x
x2 sen2 x 1 1
lm 1 + = lm
1 +
= e2
x0 x2 + x 2 x0 x +x2
2
x2
2. Calcular
1
2 x2 1
lm 1
x2 2 x2 + 1
1 1
lm 2 x2 = 2 = =0
x2 2+
Luego,
1
1 1 1
2 x2 1 2 x2
lm 1
= lm 1
=1
x2+ 2 x2 +1 x2+ 1+ 1
2 x2
i i
i i
1
2 x2 1
lm 1 = 1
x2
2 x2 + 1
Como los lmites laterales no coinciden, no existe el lmite
1
2 x2 1
lm 1
x2 2 x2 + 1
sen x
Solucin: Si x 6= 0 la funcin f (x) = es continua, por estar definida como cociente de funciones
|x|
continuas. Para estudiar la continuidad en x = 0, aplicamos la definicin, es decir, comprobamos si
lm f (x) = f (0)
x0
Pero
sen x sen x
lm = lm =1
x0+ |x| x0 x
sen x sen x
lm = lm = 1
x0 |x| x0 x
luego podemos afirmar que no existe lm f (x). Consecuentemente, f presenta una discontinuidad de
x0
salto en x = 0 tal y como vemos en la Figura 3.1.
Figura 3.1
sen(x + sen x)
f (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.
i i
i i
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
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.
(x a)2 + (y b)2 r2
siendo a = 21 , b = 13 , r2 = 13
36 . Luego, podemos escribir
( )
2 1 2 1 2 13
A= (x, y) R : x + y+
2 3 36
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,
i i
i i
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.
d : [a, b] R+
definida por q
d(x) = d((x, f (x)), ( , 0)) = (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].
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)
< < 1 f (b) < f (a)
f (a) f (b) f (a)
Si f (x) < 0 entonces
1 1 f (b)
< > 1 f (b) < f (a)
f (a) f (b) f (a)
por lo tanto, si f (x) es continua debe ser estrictamente decreciente.
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 continui-
dad,
> 0 > 0 : | f (x) f (y)| < x, y R : |x y| <
i i
i i
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
| sen(x) sen(y)| |x y| < =
Luego f es uniformemente continua x R.
Solucin:
a) Si z = x + iy, de z + z = |z 1|2 se deduce,
2x = (x 1)2 + y2
(x 2)2 + y2 = 3
Figura 3.2
i i
i i
x
9. Analizar la continuidad uniforme de la funcin f : R R definida por f (x) = . Dar un dominio
1+x
donde f sea uniformemente continua y un dominio donde no lo sea. Justificar la respuesta.
x
Solucin: Si la funcin f (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.
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).
f (0) = 1 4 = 3 < 0
1 9
f (1) = e2 4 = e2 > 0
2 2
y al ser f : [0, 1] R continua, del teorema de Bolzano se deduce que t (0, 1) : f ( t ) = 0.
Solucin: Para estudiar la derivabilidad aplicamos la definicin de derivada de una funcin en un punto.
x3 sen 1x 1
lm = lm x2 sen =0
x0 x x0 x
i i
i i
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 .
|x + 1||x 2|
f (x) =
(x + 1)(x + 2)
Solucin:
a) El dominio de la funcin es Dom f = R {1, 2}. La funcin es continua en todos los puntos
del dominio.
Definiendo la funcin por tramos obtenemos
x2
x < 2
x+2
x2
2 < x < 1
x+2
f (x) =
2x
1 < x < 2
x+2
x2
2<x
x+2
Para estudiar la continuidad en x = 1, y x = 2 estudiamos los lmites laterales en estos puntos.
x2 4
lm = = +
x2 x + 2 ()0
x2 4
lm = =
x2+ x + 2 (+)0
luego f tiene una discontinuidad asinttica en x = 2.
x 2 3
lm = = 3
x1 x+2 1
2x 3
lm = =3
x1+ 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 .
i i
i i
Figura 3.4
f (x) f (2) 1
lm =
x2 x2 4
la funcin no es derivable en x = 2.
As pues, la funcin derivada de la funcin f es
4
x < 1, x 6= 2
(x + 2)2
4
f (x) = 1 < x < 2
(x + 2)2
4
2<x
(x + 2)2
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, +).
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 x3 > 0 (x > 0)
f (x) = 0 x=0
x3 x3 < 0 (x < 0)
i i
i i
Por tanto, f es creciente en [0, ), y ser en ste intervalo donde la implicacin sea cierta.
Solucin:
a) Calculamos los lmites laterales en el entorno del punto x = 3.
lm f (x) =
x3+ 2
lm f (x) =
x3 2
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 1
f (x) = 2
+ 2 =0
1 + (x 3) 1+ 1 (x 3)2
x3
Figura 3.5
i i
i i
f (0) = 0
12
f (x) = e x
i i
i i
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 t
1
Por orden de infinitos t 2 << et , luego existe F (0) y vale 0, es decir, la funcin derivada es
1
2x3 e x2 x 6= 0
F (x) =
0 x=0
i i
i i
18. Demostrar que si la funcin f : [a, b] R es continua en [a, b] y derivable en (a, b), entonces entre
dos races consecutivas de f existe como mximo una raz de f .
19. Sean f , g : [a, b] R dos funciones continuas tales que f (a) g(a) y f (b) g(b).
a) Demostrar que existe x0 [a, b] tal que f (x0 ) = g(x0 ).
b) Encontrar un intervalo que contenga una solucin de la ecuacin x2 1 = cos x.
c) Demostrar que ln x = x + 4 tiene una nica raz en [1, e2 ].
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 ).
b) Sea f (x) = x2 1 y g(x) = cos x
f (1) = 0 < g(1)
f >g =0
2 2
por lo tanto, aplicando el apartado a), el intervalo 1, 2 contiene una solucin de la ecuacin.
c) Sea f (x) = ln x + x 4 continua y derivable en [1, e2 ]. Calculamos la derivada de la funcin para
estudiar donde hay cambio de signo
1 1
f (x) = / [1, e2 ]
+ 1 = 1 x = 1
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
El teorema de Bolzano nos permite afirmar que x0 (1, e2 ) : f (x0 ) = 0.
De los teoremas de Rolle y Bolzano se deduce que la ecuacin ln x = x + 4 tiene una nica
solucin en el intervalo [1, e2 ].
i i
i i
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 teo-
rema 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,
1
h(a) = a(1 2a) < 0 1 2a < 0 <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)
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
i i
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
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].
Figura 3.8
2x
f (x) = 3(x 3)2 + > 0, x > 0
x2 + 1
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.
23. Probar que la ecuacin ex = x3 + 21 x + 1 tiene solucin nica.
i i
i i
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
1 1
f (0) = 1 =
2 2
1
f (1) = e1 13 1 + 1 = 1,34
2
Por lo tanto, existe c (0, 1) tal que f (0) = 0.
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.
P (x) = 2Ax + B
25. Sea f : R R derivable tal que lm x f (x) = 0. Demostrar que lm ( f (2x) f (x)) = 0.
x x
lm ( f (2x) f (x)) = lm f ( )x = 0
x x
ya que si x , .
i i
i i
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
1
g (x) = + f (x) > 0 x (1, 2)
x
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)
g(x) = x f (x)
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.
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
i i
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
cumple la definicin de continuidad uniforme.
b) Demostraremos primero que si f es contraccin, entonces k < 1 tal que | f (x)| < k.
Supongamos entonces que f es contraccin, es decir, (0, 1) tal que
Para demostrar la implicacin en el otro sentido utilizamos el teorema del valor medio
Luego, f es contraccin.
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 fun-
ciones 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
2 4 + 3x 2 4 4
obtenemos
3
| f (x) f (y)| = | f (c)||x y| < |x y| =
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
i i
i i
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.
Figura 3.9
ex
| f (x)| =
(1 + ex )2
donde
0<k<1
i i
i i
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
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
1 1 1 1
f (x) = + + < 0,86 < 1
2 x x 2 2 2
i i
i i
es decir, la ecuacin
x x ln x = 0
Solucin:
2x
f (x) = f (0) = 0
x2 + 1
2(x2 1)
f (x) = 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
i i
b) Para encontrar los valores extremos de f debemos comprobar donde se anula la funcin f .
2(x2 1)
f (x) = = 0 x = 1
(x2 + 1)2
4x(x2 + 1) 8x(x2 1)
f (x) =
(x2 + 1)3
De f (1) = 1 > 0 se deduce que x = 1 es un mnimo.
De f (1) = 1 < 0 se deduce que x = 1 es un mximo.
As pues, los valores mximo y mnimo de la funcin derivada de f son, f (1) = 1 i f (1) = 1.
c) f (x) > 0 si x < 0, luego f es estrictamente creciente en (, 0).
f (x) < 0 si x > 0, luego f es estrictamente decreciente en (0, +).
f (x) = 0 x = 0, luego f tiene un posible extremo en x = 0. Como f (0) = 2 la funcin tiene
un mximo en x = 0. Esta funcin no tiene mnimo.
d) Podemos demostrar la convergencia uniforme, aplicando el teorema del valor medio.
De donde se deduce,
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|
2x 1
Solucin: Vemos que f (x) = es infinitsimo en un entorno de x = 12 :
x2 + 1
2x 1
lm =0
x 12 x2 + 1
i i
i i
f (x) 2x 1 51
lm = lm 2 4
= 5 =1
x 12 P1 (x) x 2 (x + 1) 5 (2x 1) 4 4
1
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
x3 x3
sen(x) = x + Rn (x, 0) tan(x) = x + + Rn (x, 0)
3! 3!
Para ver la equivalencia calculamos el lmite siguiente
3 2
sen(x) x x3! + Rn (x, 0) 1 x3! + Rn (x, 0)
lm = lm 3 = lm 2 =1
x0 tan(x) x0 x + x + R (x, 0) x0 1 + x + R (x, 0)
3! n 3! n
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 equiva-
lentes 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.
ex cosx x + x2 + 16 x3 + o(x3 )
lm = l
m =1
x0 x + ax2 + bx3 x0 x + ax2 + bx3
i i
i i
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
Solucin: Calculamos la derivada de la funcin para encontrar los trminos del desarrollo en serie de
Taylor.
f (0) = 0
2
f (x) = + sen(2x) 2 f (0) = 0
1+x
2
f (x) = + 2 cos(2x) f (0) = 0
(1 + x)2
4
f (x) = 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,
f (t) 4 (4)
2 3
2 ln(1 + x) cos2 (x) + 1 2x 3 x + 4! x
lm = l
m
x0 sen3 (x) x0 sen3 x
Solucin:
i i
i i
Figura 3.11
f (x) = arctan x f (1) = 4
1 1
f (x) = f (1) = 2
1 + x2
x
f (x) = 2 f (1) = 21
(1 + x2)2
Polinomio de grado 1:
1
P1 (x) = f (1) + f (1)(x 1) = + (x 1)
4 2
Polinomio de grado 2:
1 1
P2 (x) = + (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:
1
f (x) = f (1) + f (1)(x 1) + f (c)(x 1)2
2
1
Error = f (c)(0 1)2
2
siendo c (0, 1).
Para tener una cota superior del error cometido, buscamos el mximo de la derivada segunda:
(1 + x2)2 4x2 (1 + x2)
f (x) = 2 =0
(1 + x2)4
Es decir,
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
i i
Solucin: Consideramos la funcin f (x) = ln(x) y aplicamos el teorema del valor medio en el intervalo
[e, 3]. Al ser f (x) = 1x tenemos,
1
ln 3 lne = (3 e), (e < c < 3)
c
por tanto,
0, 282
ln 3 = 1 +
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
Solucin: Consideramos la funcin real de variable real f (x) = ln(1 + x). Para encontrar el desarrollo de
la funcin en serie de Taylor en un entorno del origen, debemos conocer una expresin de las derivadas
sucesivas de la funcin f .
As,
1 1
|Rn (0, 04)| < 106 < 106 n 3
n + 1 52n+2
El planteamiento equivale a escribir,
(n + 1)52n+2 > 106
i i
i i
Y para n = 3 se verifica,
8
8 10 102 6 100 6
45 = 4 =4 10 = 10 > 106
2 28 64
Por lo tanto,
1 1
ln(1,04) x x2 + x3
2 3
con error inferior a 106. Finalmente, para x = 0,04,
1 1 0,000064
ln(1,04) = 0,04 (0,04)2 + (0,04)3 = 0,04 0,0008 + =
2 3 3
= 0,04 0,0008 + 0,000021 = 0,039221
Figura 3.12
i i
i i
se cumple
24 24
|x y| < < <
| f (x) f (y)| <
25 25
luego podemos afirmar que la relacin < es cierta en todo punto del dominio.
c) Hemos visto antes que
12x
2x2 4 > 0 f (x) =
(x2 + 1)2
12x
2x2 4 < 0 f (x) =
(x2 + 1)2
El punto donde se anula la derivada es x = 0 que pertenece al intervalo 2 < x < 2.
Como f (0) < 0, el punto x = 0 es un mximo.
i i
i i
2
xex
lm = 1
x0 x
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)
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].
i i
i i
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.
4 2 2 5 25 16 4 x = 2
x 5x + 4 = 0 x = =
2 1 x = 1
f (0) = 10 < 0
Por tanto, los tres candidatos son mximos relativos.
Estudiamos la frontera (x = 4):
i i
i i
f (0) = 4
Dado que f (x) es continua y creciente en un entorno de x = 3 y lm f (x) = 40, entonces f (3) es mximo
x3
relativo. As, f (4) = 180 es el mximo absoluto.
En la Figura 3.15 vemos la representacin grfica de la funcin f .
Figura 3.15
45. Buscar los extremos relativos y absolutos de la funcin f (x) = 2 + x2/3 en el intervalo [1, 2].
2
f (x) = x1/3
3
expresin vlida para todo nmero real menos el cero.
En x = 0 estudiamos la derivabilidad aplicando la definicin
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
i i
Como la funcin f es continua y est definida en un compacto sabemos, por el teorema de Weiers-
trass, que existen extremos absolutos. Evaluamos entonces, la funcin en los extremos del dominio de la
funcin:
f (1) = 2 + 1 = 3
3
f (2) = 2 + 4 > 3
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
2
|x 9| = 9 x2 x 25 , 2
| 1 x2 | = 1 + x2 x (2, 2]
f (x) =
|x2 9| = 9 x2 x (2, 3]
|x2 9| = x2 9 x (3, 4]
i i
i i
Figura 3.17
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)
f (2) = 5
f (2) = 5
f (3) = 0
Calculamos la imagen de la funcin en los puntos donde se anula la derivada, es decir, en x = 0
f (0) = 1
5
Y tambin en los extremos del dominio de la funcin x = , x = 4
2
i i
i i
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, pode-
mos asegurar que en
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 ).
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,
f (x, 6) = x2 + 32 = x2 + 9 = g(x)
g (x) = 2x = 0 x = 0 (x, y) = (0, 6)
En la parbola,
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
= x( 1) = 0 [x = 0, x = 2]
4
Por lo tanto, los puntos (0, 0), (2, 1) y (2, 1) son posibles extremos.
i i
i i
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
lo tanto, los puntos (2, 1) y (2, 1) son los puntos ms cercanos al pozo y los puntos (2 6, 2) y
Por
(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
p del trozo FP ms el del trozo
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 A + (D x)2 A + (D x)2
2
Al ser derivable en todo su dominio, los posibles puntos extremos de la funcin, son los que
anulan la derivada.
q
Dx b
C (x) = 0 a = b p (D x) = A2 + (D x)2
2
A + (D x)2 a
b2 a
A2 + (D x)2 = (D x)2 x = D A
a2 b a2
2
Se tiene que verificar que el extremo es, efectivamente un mnimo. Para hacerlo, calculamos la
segunda derivada del coste
p
(1) A2 + (D x)2 + (D x) 2 1 2(D x)(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 3/2
= b 3/2
>0
(A2 + (D x)2) (A2 + (D x)2)
Por lo tanto, el extremo es un mnimo en el intervalo [0, D].
i i
i i
400 4
x = 500 90 = 500 90 = 380
5002 4002 3
49. Un tringulo (OAB) tiene la base sobre el eje OX, un lado sobre la recta y = 2x y el tercer lado pasa
por el punto (3, 1). Calcular cules han de ser los vrtices del tringulo para que tenga rea mnima.
Solucin: El vrtice O est en el origen de coordenadas. El vrtice B tendr coordenadas del tipo (a, 0).
La recta y = mx+b que pasa por los vrtices A y B pasa por el punto (3, 1), es por tanto (y1) = m(x3),
es decir, y = mx + (1 3m).
Calculamos las coordenadas (a,0) de B intersecando las rectas
y=0
y = mx + (1 3m)
3m 1
0 = ma + (1 3m) a =
m
Intersecando ahora las rectas
y = 2x
y = mx + (1 3m)
3m 1 3m 1
2x = mx + (1 3m) x0 = h = 2x0 = 2
m2 m2
En rea del tringulo viene dada por la funcin
1 1 3m 1 3m 1 (3m 1)2
S(a, h) = ah S(m) = 2 =
2 2 m m2 m(m 2)
i i
i i
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
i i
N CAPTULO
V (i )
4
i =1
1. Calcular
x3
a) lm
(x,y)(0,0) x2 + y2
7xy
b) lm p
(x,y)(0,0) x2 + y2
xy sen(xy)
c) lm
(x,y)(0,0) 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
lm = l
m x =0
(x,y)(0,0) x2 + y2 (x,y)(0,0) x2 + y2
ya que
x2 2 x2 + y2
= x (x, y) R2 {(0, 0)}
x2 + y2 x2 + y2 x2 + y2 = 1
luego
x2
f (x, y) =
x2 + y2
es una funcin acotada.
b)
7xy y
lm p = lm 7x p =0
(x,y)(0,0) 2
x +y 2 (x,y)(0,0) x + y2
2
porque
y |y| |y| |y|
p = p p = = 1 (x, y) R2 {(0, 0)}
x2 + y2 | x2 + y2 | | y2 | |y|
luego
y
f (x, y) = p
x + y2
2
i i
i i
ya que
|x||y| 1
0 (|x| |y|)2 = x2 + y2 2|x||y| 2|x||y| x2 + y2
x2 + y2 2
luego la funcin
xy
f (x, y) =
x2 + y2
1
est acotada ya que cumple | f (x, y)| 2 (x, y) R2 {(0, 0)}.
2. Calcular
x2 y
lm
(x,y)(0,0) x4 + y2
x2 ax ax3 ax
lm 4 2
= l
m 4 2 2
= lm 2 =0
(x,y) (0,0) x + (ax) x0 x +a x x0 x + a2
y = ax
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
x2 y
f (x, y) =
x4 + y2
Figura 4.1
i i
i i
xy3 ky6 k
lm = l
m =
(x,y) (0,0) x2 + y6 y0 k2 y6 + y6 k2 + 1
x = ky3
lm f (x, y)
(x,y)(0,0)
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
Solucin:
a) Por definicin de la funcin, si (x, y) 6= (0, 0), f es continua en (x, y). Consideremos ahora el caso
particular, (x, y) = (0, 0).
x2 y x2
lm f (x, y) = lm = lm y = 0 = f (0, 0)
(x,y)(0,0) (x,y)(0,0) x2 + y2 (x,y)(0,0) x2 + y2
i i
i i
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 fun-
cin continua y M un conjunto compacto.
x(ey 1) x(ey 1) y
lm = lm =a
(x,y) (a,0) sen y (x,y) (a,0) y sen y
y>0 y>0
x3
lm =a
(x,y) (a,0) x2 + y2
y0
f (x, y) = f (a, 0) = a
Aplicando el teorema de descomposicin del dominio, existe
lm f (x, y) = a
(x,y)(a,0)
i i
i i
Si (x, y) = (0, 0)
x(ey 1)
lm =0
(x,y) (0,0) sen y
y>0
x3
lm =0
(x,y) (0,0) x2 + y2
y0
f (x, y) = f (0, 0) = 0
Por lo tanto f es continua en (x, y) = (0, 0).
Figura 4.4
Solucin:
a) Estudiamos el dominio de la funcin f .
Si (x, y) = (a, a)
x+y x+y 1
lm = lm = lm =
(x,y)(a,a) x2 y2 (x,y)(a,a) (x + y)(x y) (x,y)(a,a) x y
i i
i i
(x, y) = (a, a)
1
lm
(x,y)(a,a) 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) =
1
y = x, x 6= 0
2x
ln(1 + x2y2 )
b) Estudiamos ahora el dominio y continuidad de la funcin g(x, y) = .
x2 + y2
Para calcular
ln(1 + x2y2 )
lm
(x,y)(0,0) x2 + y2
utilizaremos el teorema de descomposicin del dominio.
x 6= 0, y 6= 0
ln(1 + x2y2 ) x2 y2
lm =0
(x,y) (0,0) x2 y2 x2 + y2
x 6= 0
y 6= 0
En x = 0
ln(1 + x2y2 ) ln(1)
lm 2 2
= lm 2 = 0
(x,y)(0,0) x +y y0 y
En y = 0
ln(1 + x2y2 ) ln(1)
lm 2 2
= lm 2 = 0
(x,y)(0,0) x +y x0 x
ln(1 + x2y2 )
lm =0
(x,y)(0,0) x2 + y2
i i
i i
Solucin: Por ser composicin y operaciones algebraicas de funciones continuas, la funcin f es conti-
nua 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
exy 1 exy 1 1 1
lm = lm = 6= 0 = f (a, a)
(x,y) (a,a) x2 y2 (x,y) (a,a) x y x + y 2a
|x| =
6 |y| |x| =
6 |y|
Figura 4.5
i i
i i
exy 1 exy 1 xy
lm = lm =0
(x,y) (0,0) sen x (x,y) (0,0) xy sen x
x 6= 0,y 6= 0 xy 6= 0
exy 1 0
lm = lm =0
(x,y) (0,0) sen x (x,y) (0,0) sen x
x 6= 0,y = 0 x 6= 0,y = 0
por lo tanto,
lm f (x, y) = 0
(x,y) (0,0)
x 6= 0
Ahora el subdominio x = 0:
1
ln |y|
lm y ln |y| = lm 1
=0
(x,y) (0,0) (x,y) (0,0) y
x=0 x=0
lm f (x, y) = 0
(x,y)(0,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
x(1 cosy)
f (x, y) =
x2 + y2
Solucin: De
1 cosy
lm =1
y0 y2
2
se deduce,
y2
x(1 cosy) 2 1 cosy xy2
lm = lm =
(x,y) (0,0) y2 x2 + y2 (x,y) (0,0) y2 2(x2 + y2 )
2 2
y 6= 0 y 6= 0
1 cosy 1 y2
= lm x =0
(x,y) (0,0) y2 2 x2 + y2
2
y 6= 0
i i
i i
Solucin: La funcin no est definida en los puntos donde el denominador se anula, es decir, en puntos
de la recta x = y, es decir, (0, 0) y (a, a) con a 6= 0. Por lo tanto, si queremos definir una extensin
continua en todo R2 , en estos casos debera cumplirse la definicin de continuidad,
lm f (x, y) = f (0, 0)
(x,y)(0,0)
lm f (x, y) = f (a, a)
(x,y) (a,a)
a 6= 0
Si (x, y) = (0, 0)
(x + y) sen(x2 + y2 )
= lm (x y) = lm (x y) = 0
(x,y)(0,0) (x2 + y2 )(ex+y 1) (x,y)(0,0)
Donde se ha utilizado
e f (x) 1
lm = 1, si lm f (x) = 0
xa f (x) xa
sen f (x)
lm = 1, si lm f (x) = 0
xa f (x) xa
i i
i i
sen(x2 y)
f (x, 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
sen(x2 y) sen(x2 y) x2 y
lm = lm =
(x,y) (0,0) x2 + y2 xy (x,y) (0,0) x2 y x2 + y2 xy
xy 6= 0 xy 6= 0
xy
= lm x =0
(x,y) (0,0) x2 + y2 xy
xy 6= 0
sen(x2 y) sen(0)
lm = lm =0
(x,y) (0,0) x2 + y2 xy (x,y) (0,0) x2 + y2 0
xy = 0 xy = 0
sen(x2 y)
lm =1
(x,y)(0,0) x2 y
xy
Veamos que la funcin est acotada. En efecto,
x2 + y2 xy
?
|x2 + y2 xy| |x2 + y2| |xy| |xy|
?
|x2 + y2 | 2|xy|
sen(x2 y)
lm =0
(x,y)(0,0) x2 + y2 xy
i i
i i
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)
fe(x, y) = 2 2
x + y xy
0 (x, y) = (0, 0)
Solucin: Como el logaritmo solo est definido para nmeros positivos cuando x + y > 0 tambin ten-
dremos 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:
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)
ln(x2 y2 + 1) ln(x2 y2 + 1)
lm = lm (x y) = 2a
(x,y) (a,a) x+y (x,y) (a,a) x2 y2
(x,y) A1 (x,y) A1
y sen(2x)
lm = sen(2a) 6= 2a si a 6= 0
(x,y) (a,a) x
(x,y) A2
a=0 y lm f (x, y) = 0
(x,y)(0,0)
A {(x, y) R2 | x = 0, y 0}
definiendo
f (0, 0) = 0 y f (0, y) = 2y
La Figura 4.6 muestra la grfica de la funcin.
i i
i i
Figura 4.6
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 condi-
cin 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)
De esta forma, considerando que:
El dominio de la funcin F esR2 .
El dominio de la funcin es R.
El dominio de la es (1, +)
Si imponemos la restriccin 0 < |x| < ,
(x) 6= 0 se cumple si 0 < |x| <
(y) 6= 0 se cumple si y 6= 0
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
b) La funcin f es continua en A, por ser cociente de funciones continuas. Tanto en el numerador
como en el denominador, se han aplicado las siguientes propiedades:
La composicin de funciones continuas es una funcin continua.
La suma y producto de funciones continuas es una funcin continua.
i i
i i
xy
Para obtener el lmite se ha multiplicado la funcin por y se han aplicado infinitsimos equi-
xy
valentes.
Por otro lado,
exy 1 b
lm f (x, y) = lm =
(x,y) (0,b) (x,y) (0,b) [sen x][ln(1 + y)] ln(1 + b)
x 6= 0 x 6= 0
Finalmente,
exy 1 x y
lm f (x, y) = lm =1
(x,y) (0,0) (x,y) (0,0) xy sen x ln(1 + y)
xy 6= 0 xy 6= 0
y definiendo la funcin,
f (x, y) si (x, y) A
1 si (x, y) = (0, 0)
fe(x, y) = x
si y = 0, x 6= 0
sen x
y
si x = 0, y 6= 0
ln(1 + y)
Solucin: En primer lugar estudiamos la continuidad de la funcin f en el punto (0, 0), y para ello
debemos calcular el siguiente lmite,
xy
lm
(x,y)(0,0) x2 + y2
i i
i i
xy x2
lm = l
m =
(x,y) (0,0) x2 + y2 x0 (1 + )x2 1 +
y = x
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
x h0 h h0 h
f f (0, k) f (0, 0) 0
(0, 0) = lm = lm = 0
y k0 k k0 k
f y(x2 + y2 ) 2x2y
(x, y) =
x (x2 + y2 )2
f x(x2 + y2 ) 2xy2
(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)}.
0
D(0,1) f (0, 0) = lm =0
t0 t 5
D(1,0) f (0, 0) = 2
Por lo tanto el candidato a diferencial es f (0, 0) = (2, 0).
Estudiamos ahora la diferenciabilidad de f en (0, 0) aplicando la definicin.
3x2 y2x3
x2 +y4
(2x) 3x2 y 2x3 (x2 + y4 )(2x)
lm p = lm p =
(x,y)(0,0) x + y2
2 (x,y)(0,0) (x2 + y4 ) x2 + y2
2xy4 + 3x2 y)
= lm p
(x,y)(0,0) (x2 + y4 ) x2 + y2
Este lmite no existe, y para demostrarlo es suficiente considerar el lmite sobre las curvas x = ky.
i i
i i
Dv f (0, 0) 6= f (0, 0) v v R2
16. Los lados de un tringulo miden 3 cm y 4 cm y el ngulo que forman es 4 . Si el error al medir la
1
longitud de los lados es de 12 cm y el error del ngulo es 0, 002 rad. Encontrar una estimacin del
error al calcular el rea del tringulo utilizando el concepto de aproximacin lineal de una funcin
diferenciable.
Solucin: Con los datos que tenemos nos es fcil escribir la funcin que da el rea del tringulo
1
A(x, y, ) = xy sen
2
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
i i
i i
Solucin:
a) Calculamos las derivadas parciales de f en (0, 0)
f (h, 0) f (0, 0) h
D1 f (0, 0) = lm = lm = 1
h0 h h0 h
f (0, k) f (0, 0) k
D2 f (0, 0) = lm = lm = 1
k0 k k0 k
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
f (tv1 ,tv2 ) f (0, 0) t 2 v21 + t 2v22 v3 + v32
Dv f (0, 0) = lm = lm = 12 = v31 + v32
t0 t t0 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).
3x2 (x2 + y2) (x3 + y3 )2x
D1 f (x, y) =
(x2 + y2 )2
Estudiamos el lmite en el punto (0, 0).
Si calculamos el lmite de la derivada en la direccin y = x
3x2 (x2 + y2 ) (x3 + y3 )2x 3x4 + 3 2x4 2x4 2 3x4 1 + 3 2 2 3
lm 2 2 2
= lm 2 2 2 2
=
(x,y) 6= (0,0) (x + y ) x0 (x + x ) (1 + 2)2
y = x
Vemos que no existe lm D1 f (x, y), por lo tanto, esta funcin no es continua en (0, 0).
(x,y)(0,0)
i i
i i
Figura 4.7
a) Estudiar la continuidad de f en R2 .
Solucin:
a) La funcin es continua por ser composicin de funciones continuas (raz cuadrada y valor abso-
luto).
b)
f f (h, 0) f (0, 0) 00
(0, 0) = lm = lm =0
x h0 h h0 h
f f (0, k) f (0, 0) 00
(0, 0) = lm = lm =0
y k0 k k0 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
(h,k) (0,0) h + k2
2
h=0
hk h2 1
lm = lm = = 6 0
(h,k) (0,0) h2 + k2 h0 2h2 2
h k 0, h = k
i i
i i
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 x f 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
a) Estudiar la continuidad de f en R2 .
b) Estudiar la diferenciabilidad de la funcin f en su dominio.
c) Calcular las derivadas parciales en (0,0)Qu conclusin podemos extraer de los resultados ob-
tenidos?
Solucin:
a) El nico punto de conflicto en la continuidad de la funcin es el origen ya que es el punto donde se
anula el denominador. Observamos que la funcin no es continua en este punto, porque el lmite
3xy
lm
(x,y)(0,0) x2 + y2
no existe.
Si tomamos la direccin y = x y nos acercamos por ella al origen, obtenemos:
i i
i i
3x2 3
lm 2
=
x0 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
lm =
x0 2x2 2
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 deri-
vadas parciales en los otros puntos del dominio.
Estas derivadas parciales son continuas en el dominio R2 {(0, 0)}, por tanto la funcin es dife-
renciable 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
x h0 h h0 h
f f (0, k) f (0, 0) 00
(0, 0) = lm = lm =0
y k0 k k0 k
Grfica de la funcin
(
3xy
x2 +y2
si (x, y) 6= (0, 0)
f (x, y) =
0 si (x, y) = (0, 0)
Figura 4.9
i i
i i
a) Estudiar la continuidad de f .
Figura 4.10
x2 sen2 y x2 y2
lm =0
(x,y) (0,b) x2 + y2
x<0
lm f (x, y)
(x,y)(0,b)
i i
i i
Si (x, y) = (0, 0)
A = {(x, y) R2 : x = 0}
A 6= A A no es cerrado
A no es acotado
A no es compacto
f f (0, k) f (0, 0) k3
(0, 0) = lm = lm =0
y k0 k k0 k
h3 + k3 3hk
lm =0
(h,k) (0,0) h2 + k 2
h0
i i
i i
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
1 2x
siendo v = (1, 2x). Normalizamos el vector v, y tenemos v =
2
,
1+4x 1+4x2
1 1
Solucin: La funcin g(x) = la podemos escribir como una composicin de las funciones h(x) =
f (x) x
y f,
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.
1 1 1
d (a) = dg(a) = dh( f (a)) d f (a) = 2 d f (a) = 2 d f (a)
f b f (a)
f (x, y) = ex + ey
g(t) = (t 2 , lnt)
Calcular la diferencial de la funcin composicin aplicando la regla de la cadena y comprobar el resul-
tado por el clculo directo del diferencial de la funcin resultante:
a) u(x, y) = (g f )(x, y) = g ( f (x, y))
b) v(t) = ( f g)(t) = f (g(t))
Solucin: Las funciones f y g son diferenciables, luego podemos calcular sus diferenciales.
i i
i i
2t
dg(t)
dg(t) = =
dt 1
t
a) Sea u : R2 R2 definida por
u(x, y) = (g f )(x, y) = g ( f (x, y)) = (ex + ey )2 , ln(ex + ey )
Si sustituimos t = ex + ey obtenemos
2(ex + ey )ex 2(ex + ey )ey
du(x, y) =
ex ey
e + ey
x e + ey
x
u1
= 2(ex + ey )ex
x
u1
= 2(ex + ey )ey
y
u2 ex
= x
x e + ey
u2 ey
= x
y e + ey
i i
i i
z = y2 x2
Solucin: Dado el paraboloide que ilustran las Figuras 4.11 y 4.12 resolvemos los siguientes apartados.
a) Para calcular la recta normal debemos calcular el vector gradiente de la siguiente funcin
f (x, y, z) = y2 x2 z
Gradiente:
f (x, y, z) = (2x, 2y, 1)|(a,b,c) = (2a, 2b, 1)
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,
xa yb zc
rn : = =
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,
c) Para encontrar las ecuaciones de la recta normal y el plano tangente a la superficie dada en el
punto (0, 0, 0) basta sustituir (a, b, c) por (0, 0, 0). As,
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
i i
Grfica de la funcin
z = y2 x2
Figura 4.11
Grfica de la funcin
z = y2 x2
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).
F f u f v
= +
y u y v y
Siendo las derivadas parciales de las funciones u y v,
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
q(t) = g(t)a q (t) = ag(t)a1 g (t)
p(t) = ah(t) p (t) = ah(t) h (t) ln a
i i
i i
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
Sea F = f ; f = F 1 = F(r(x, y), (x, y)). Derivamos la funcin f aplicando la regla de la cade-
na y obtenemos,
anlogamente,
y x2 1
Dy f = Dr F(r, ) p + D F(r, ) =
x2 + y2 x2 + y2 x
y x
= Dr F(r, ) p + D F(r, ) 2
2
x +y 2 x + y2
Por lo tanto, sustituyendo en la ecuacin resulta:
!
p x y
x + 2y x2 + y2 Dr F(r, ) p D F(r, ) 2 +
2
x +y 2 x + y2
!
p y x
+ y 2x x2 + y2 Dr F(r, ) p + D F(r, ) 2 =
x2 + y2 x + y2
p p
= x2 + y2 Dr F(r, ) 2 x2 + y2 D F(r, ) = 0 Dr F(r, ) 2D F(r, ) = 0
Luego la expresin de f en coordenadas polares (F) es,
Dr F 2D F = 0
i i
i i
yx zy
26. Si F(x, y, z) = f (u, v) siendo u = 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:
(1)xy (y x)y
Dx F = Du f (u, v)Dx u + Dv f (u, v)Dx v = Du f (u, v) + Dv f (u, v) 0 =
x2 y2
1
= Du f (u, v)
x2
Derivada respecto y:
yz (z y)y 1
Dz F = Du f (u, v)Dz u + Dv f (u, v)Dz v = Du f (u, v) 0 + Dv f (u, v) = Dv f (u, v) 2
y2 z2 z
Finalmente resulta:
d) Demostrar que la ecuacin xy2 sen 1y = 4xz2 + zy define z = z(x, y) en un entorno de (0, 1, 0) y
calcular la direccin de mxima variacin de z = z(x, y) en (0, 1).
Solucin:
a) Calculamos las derivadas parciales de la funcin f en (0,0), aplicando la definicin
f f (h, 0) f (0, 0) 00
(0, 0) = lm = lm =0
x h0 h h0 h
f f (0, k) f (0, 0) 00
(0, 0) = lm = lm =0
y k0 h k0 k
i i
i i
f f (a + h, 0) f (0, 0) 00
(a, 0) = lm = lm =0
x h0 h h0 h
f f z z
f
(0, 1, 0) y2 sen 1y 4z2
+ =0 (0, 1) = xf = = sen 1
x z x x (0, 1, 0) 1
z
f
f f z z y (0, 1, 0) 1 1
+ =0 (0, 1) = f = 2xy sen x cos z = 0
y z y y (0, 1, 0) y y
z
y en consecuencia, z(0, 1) = (sen 1, 0).
i i
i i
a) Demostrar que F(x, y, u, v) = (1, 0) define en un entorno de (1, 1, 0, 2) las funciones implcitas
(x, y) = (u, v) y (u, v) = (x, y).
b) Demostrar que es invertible en un entorno del punto (1, 1).
Solucin:
a) Definimos
f1 (x, y, u, v) = x sen u + v + y
F = ( f1 , f2 ) C 1
F(1, 1, 0, 2) = (1, 0)
f1 f1
u v x cos u
1 1 1
6= 0
= vy =
f uy (1,1,0,2) 2 0
2 f 2
u v (1,1,0,2)
F = ( f1 , f2 ) C 1
F(1, 1, 0, 2) = (1, 0)
f1 f1
x y sen u 1 0 1
= 1
= 6= 0
f 1 0
2 f2 x uv (1,1,0,2)
x y (1,1,0,2)
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,
de donde se deduce, dH(x, y) = (0, 0). Derivando respecto las variables independientes, obtene-
mos,
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
i i
y evaluando en (1,-1,0,2),
Dx u + Dx v = 0
Dy u + Dyv = 1
2Dx u = 1
Dy u = 0
De donde se deduce,
1
2 0
d(1, 1) =
12 1
El determinante 1
0 1
21 = 6= 0
1 2
2
Del teorema de la funcin inversa se deduce que la funcin tiene inversa local en un entorno
del punto (1, 1).
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
f
f f z z y z gy 2y
+ =0 =f = 2
y z y y 3xz + g(x, y) 2z
z
g
z 3 + (0, 0) g g
(0, 0) = x = 0 2 + (0, 0) = 0 (0, 0) = 2
x x x
i i
i i
g
(0, 0)
z y g
(0, 0) = =0 (0, 0) = 0
y y
Por tanto, si dg(0, 0) = ( 2 , 0), z(x, y) tiene un punto estacionario en (0,0).
b) Sea S la superficie definida por xz3 + z(xy 2x + ) = x2 + y2 + z2 .
El plano tangente a S en el punto (0, 0, ) se puede calcular como
z3 + zy 2z 2x
(x, y, z ) zx 2y =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).
Solucin:
a) Para que la funcin sea inyectiva debe cumplir
[ f (a) = f (b)] [a = b]
tan y1 = tan y2
y como la funcin tangente es inyectiva entre x y x + para cualquier valor de x, el dominio que
buscamos puede ser, por ejemplo,
D = R , = (x, y) R2 : x R, y ,
2 2 2 2
i i
i i
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,
e1 0
dF(0, 0) = det JF (0, 0) = e 6= 0
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
De donde podemos escribir el polinomio de Taylor como
1 1 0 x1
F(x, y) 1 + 1(x 1) + (x 1, y) =
2 0 1 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).
i i
i i
h f z
= + =0
y u y z y
de donde,
f
z
= x
x f
u z
z y
=
y
z
de donde podemos calcular
2 1 1 1
z = , = ,
34 4 6 4
Luego, la aproximacin lineal de z = z(x, y) en el entorno de (0, 0) es,
1 1
z(x, y) 1 x y
6 4
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:
Por tanto, el sistema define dos funciones implcitas y = y(x) y z = z(x) en un entorno del
punto P.
i i
i i
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
de donde resulta y (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
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
de donde resulta y (1) = , z (1) = .
32 8
c)
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)
i i
i i
f1 (1, 0, 1) = (0, 8, 1)
1 4 1 8
Tu (1, 0, 1) = (4, 1, 8) = , ,
16 + 1 + 64 9 9 9
Finalmente resulta:
4/9
8 8
D f1 (1, 0, 1) = (0 8 1) 1/9 = + =0
9 9
8/9
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 ante-
riores, 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(x, y, z) = (ex , ez+y 1, sen(x + y + z))
Solucin:
a) Sea F = ( f1 , f2 ), entonces se verifica,
F C1
F(0, 1, 1) = (0, 0)
f1 f1
x z cos(x + y + z) cos(x + y + z) 1 1
= 2
= = 1 6= 0
f f2 0 ez+y 0 1
2 (0,1,1)
x z
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
i i
cos(x(y) + y + z(y)) (x(y) + 1 + z(y)) = 0
2
(z (y) + 2y)ez(y)+y = 0
2
En el entorno de (0,1,-1), cos(x, y, z) 6= 0 y adems ez+y 6= 0, luego podemos escribir:
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
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) (0,0,0)
f3 f3 f3
x y z
1 0 0
= 0 0 1 6= 0
1 1 1
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
1 0 0 1 0 0
dF 1 (F(0, 0, 0)) = dF 1 (1, 0, 0) = 0 0 1 = 1 1 1
1 1 1 0 1 0
i i
i i
a) Probar que F es diferenciable en (1, 1, 0) y dar una aproximacin lineal de la funcin en este
punto.
b) Probar que F(x, y, z) = (1 1) define implcitamente x = x(z) y y = y(z) en un entorno de
(1, 1, 0) y calcular x (0) y y (0).
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 par-
ciales son continuas en este punto.
Calculamos la matriz asociada a la diferencial de la funcin F.
!
2x z 2ez 2yez x 2 2 3
dF(x, y, z) = 1 =
x y(z 1)
z
y2
x(z 1) 1y xy 0 1 0
(1,1,0)
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 1
x y
F F2
2
x y
evaluada en el punto (1, 1, 0) es distinto de 0.
En nuesto caso
2 2
=2
0 1
Para calcular x (0) y y (0)
x (z)
2 2 3 y (z)
(0, 0) =
0 1 0
1
dx 3 dy
De donde se deduce = 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
Evaluando en el punto (1, 1, 0) se obtiene el vector
3
, 0, 1
2
i i
i i
Solucin:
a) Sea F : R5 R2 F = (F1 , F2 ) la funcin definida por
F1 (x, y, z, u, v) = x2 + xy + ez u3 e
F2 (x, y, z, u, v) = x y + uz + lnv 1
Veamos si se cumplen las hiptesis del teorema de la funcin implcita.
F C1
F(0, 0, 1, 0, e) = (0, 0) (por hiptesis)
F1 F1
x y 2x + y x
= 0 0
= 1 =0
F
F2 1 1 P
1
2
x y P
Al no cumplirse la tercera hiptesis del teorema de la funcin implcita, el sistema no define
x = x(z, u, v), y = y(z, u, v) en un entorno del punto P.
b) Para ver si el sistema define x = x(y, u, v), z = z(y, u, v) estudiaremos si se cumple, en este caso, la
tercera hiptesis del teorema de la funcin implcita, dado que ya hemos visto en el apartado a)
que se cumplen las dos primeras.
F1 F1
x z 2x + y ez 0 e
= = = e 6= 0
F F2 1 u P 1 0
2
x z P
Por tanto el sistema define x = x(y, u, v) en un entorno del punto P. Para encontrar una aproxi-
macin 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 x x
x = 0+ (0, 0, e)(y 0) + (0, 0, e)(u 0) + (0, 0, e)(v e)
y u v
x
Clculo de (0, 0, e)
y
x x z
2x + x + y + ez =0
y y y
x 1+uz = 0
y y
i i
i i
x z
(2x + y) + ez = x
y y
x +uz = 1
y y
de donde se obtiene:
x ez
x 1 u e
(0, 0, e) = =
=1
2x + y e e
y z
1 u
x
Clculo de (0, 0, e)
u
x x z z 2
2x u + y u + e u 3u = 0
x +z+uz = 0
u u
x z z 2
(2x + y) u + e u = 3u
x + u z = z
u u
de donde
3u2 ez
x z u e
(0, 0, e) =
z = e = 1
u 2x + y e
1 u
x
Clculo de (0, 0, e)
v
x z z
(2x + y) v + e v = 0
x +uz + 1 = 0
v v v
de donde
0 ez
1
x u 1
v
(0, 0, e) =
z = e
v 2x + y e
1 u
1
x = y u (v e)
e
i i
i i
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
f C 1 porque las derivadas parciales de las funciones componentes son funciones conti-
nuas. 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
0 4 1 0 4 4 1
d f (0, 1, 1, 0, 2) = =0
1 0 0 2 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
i i
i i
Por lo tanto,
u 1 v
(0, 1, 1) = , (0, 1, 1) = 0
x 2 x
De donde
v2 2yv
u xz u v2 u + 2yxvz
= =
y
2ux 2yv 2u2x 2yv2
v u
u v
2ux + 2yv = 1
z z
v u + u v = xy
z z
De donde,
1 2yv
u xy u u + 2y2xv
= =
z
2ux 2yv 2u2 x 2yv2
v u
u u 1
u(x, y, z) u(0, 1, 1) + (0, 1, 1)x + (0, 1, 1)(y 1) + (0, 1, 1)(z 1) = x
y z 2
u
c) Derivando respecto a x se obtiene la derivada parcial segunda,
x
(2u 2 x 2yv2 ) 3u2 u + 2y2 z v (u3 + 2y2 vz) 2u2 + 4ux u 4yv v
2u x x x x
=
x2 (2u2 x 2yv2)2
y evaluando en el punto,
2u
(0, 1, 1) = 0
x2
i i
i i
a) Estudiar la diferenciabilidad de f en los puntos (0, 0), (1, 1), (1, 1).
b) Estudiar la variacin de f en el punto (1, 1) sobre y = x2 .
c) Calcular el plano tangente a z = f (x, y) en (1, 1, 2).
d) Encontrar una aproximacin de primer ordren de f (x, y) en el entorno de (1, 1).
e) Demostrar que la ecuacin f (x, y) + ex+y + z2 z = 3 define implcitamente z = z(x, y) diferen-
ciable 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 diferencia-
blidad en los mismos.
(x, y) = (0, 0)
lm xy = 0
(x,y) (0,0)
x=y
lm (|x| + |y|) = 0
(x,y) (0,0)
x 6= y
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 f (x, y) = lm (|x| + |y|) = 2
(x,y)(1,1) (x,y)(1,1)
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
i i
1+h1
= lm =1
h0 h
f f (1, 1 + k) f (1, 1) |1| + | 1 + k| 2
(1, 1) = lm = lm =
y k0 k k0 k
1k1
= lm = 1
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
Por tanto, podemos afirmar que la funcin f es diferenciable en (1, 1).
La Figura 4.13 muestra la representacin grfica de la superficie asociada a la funcin f .
Figura 4.13
i i
i i
f f
z2 = (1, 1)(x 1) + (1, 1)(y + 1)
x y
Del apartado anterior se deduce
z 2 = x 1 (y + 1)
Luego el plano tangente cumple la ecuacin
xyz= 0
f f
f (x, y) f (1, 1) + (1, 1)(x 1) + (1, 1)(y + 1) = 2 + x 1 y 1 = x y
x y
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
1+1 =0 =2
x x
z z
1 + 1 =0 =0
y y
Como z(1, 1) = (2, 0) podemos afirmar que (1, 1) no es punto estacionario.
i i
i i
Solucin:
a) Para estudiar la continuidad de f en el origen, tenemos que comprobar si
lm f (x, y) = f (0, 0) = 0
(x,y)(0,0)
Calculamos el lmite
y
y3 e 1+x y y 4 1
lm y = lm y2 e 1+x =0
(x,y)(0,0) tg( 4 ) (x,y)(0,0) tg( y4 ) 4
g(n) (0) n
Pn (x) = n!
x
n0
1 1 12
g(x) = ; g (x) = ; g (x) = ;
1+x (1 + x)2 (1 + x)3
De forma que
(1)n n!
g(n) (x) =
(1 + x)n+1
Es decir,
g(n) (0) = (1)n n!
por lo tanto, la serie de Taylor que buscamos es
(1)nxn
n0
1
c) Si nos fijamos bien, 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,
1
rn = 1 r si |r| < 1
n0
1
= (x)n = (1)n xn
1 + x n0 n0
f (x, y) = x2 y2 sen 1y y 6= 0
f (x, 0) = 0
i i
i i
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 6= 0
y y
f (x, k) f (x, 0) 1
D2 f (x, 0) = lm = lm x2 k sen = 0
k0 k k0 k
D2 (1, k) D2 f (1, 0) 2k sen 1k cos 1k
D22 f (1, 0) = lm = lm =
k0 k k0 k
1 1 1
= lm 2 sen cos
k0 k k k
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:
f
(x, y) = my 2xy y2 = 0
x m
x=y=
f
3
(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
2y m 2x 2y 3 m3
H f (x, y) = =
m 2x 2y 2x |( m3 , m3 ) m3 2m
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
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
H(m, b) = (mxi + b yi)2
i=1
i i
i i
Para x = 0 tenemos:
(m 0 + b 0)2 = b2
Para x = 1 tenemos:
(m 1 + b 2)2 = b2 + m2 + 4 + 2mb 4m 4b
Para x = 2 tenemos:
(m 2 + b 3)2 = b2 + 4m2 + 9 + 4mb 12m 6b
luego,
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:
H
m (m, b) = 0
H (m, b) = 0
b
de donde se deduce m = 23 , b = 16 . Por tanto, la ecuacin de la recta es
3 1
y = x+
2 6
3
El vector tangente a la recta es de la forma (1, m), en nuestro caso es el vector 1, .
2
Por otra parte calculamos f (x, y),
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
x2 + y2 + z2 = r2 .
i i
i i
Solucin:
a) Si f es estrictamente creciente entonces f (x) > 0, x Dom f , y por definicin, los puntos esta-
cionarios 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
r ln b
y = p
(ln a) + (ln b)2 + (ln c)2
2
Si definimos q
h= (ln a)2 + (ln b)2 + (ln c)2
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 .
i i
i i
Figura 4.14
Estudiaremos por separado el interior y la frontera del conjunto delimitado por las funciones.
En el interior:
f
(x, y) = 1 6= 0
x
f
(x, y) = 1 6= 0
y
De donde se deduce que no hay extremos en el interior. En la frontera:
Debemos estudiar los extremos de la funcin f sobre los puntos que cumplen las ecuaciones y = 4 y
y = x2 . Estudiamos primero la recta y = 4
f (x, y) = g(x) = x 4
g (x) = 1 6= 0
por tanto, tampoco hay extremos sobre la recta. En cuanto a la parbola y = x2
f (x, y) = h(x) = x x2
h (x) = 1 2x
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
i i
1
Utilizando el apartado anterior vemos que el mnimo de la funcin es 6 y el mximo es 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
44. Sea A = {(x, y) R2 : x y, x2 + y2 1}. Calcular la distancia mxima y mnima del punto (2, 0) al
conjunto A.
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
x
f (x, y) = 2y = 0
x
La nica solucin del sistema es el punto (2, 0).
Observamos que el punto (2, 0) no pertenece al interior del conjunto y, por tanto, los extremos absolutos
se encuentran en la frontera. Calculamos los puntos de corte de las dos condiciones
x2 + y2 = 1 1 1
2x2 = 1 x2 = x =
x=y 2 2
! !
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
i i
f (1, 0) = (3)3 = 9
Se deduce pues, que la distancia mxima se encuentra en el punto (1, 0) y vale 3 y la distancia mnima
! q
2 2
se encuentra en el punto , y vale 5 2 2.
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.
x2 y2
+ =1
a2 b2
podemos extraer los valores de a = 3 y b = 3 2.
Si se considera el tringulo ABC, en el cual se conocen dos lados BA y BC, su rea es:
1 1
1
A = |BA|h = |BA||BC| sen = |BA BC|
2 2 2
Por tanto, si C = (x, y) tendremos:
BA = (1, 4) (3, 0) = (2, 4)
BC = (x, y) (3, 0) = (x 3, y)
Calculamos ahora el producto vectorial
BA BC = (0, 0, 2y 4(x 3))
i i
i i
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
Observamos que solamente tiene sentido la solucin positiva ya que 2x + y 6 debe ser positivo.
Evaluando obtenemos,
A( 6, 6) = 3 6 6
Figura 4.16
i i
i i
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?
b) Estudiar los puntos del conjunto
A = {(x, y) R2 : x + y 2, (x 1)2 + y2 1}
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,
(x, y) R2 : g(x, y) 0
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
i i
i i
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
Como 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
(2,4)2 2
E(r, H) = + 2
R2 H
obteniendo una funcin de una variable cuya existencia de extremos estudiamos a continuacin.
2,42 H 2
f (H) = + 2
V H
2,42 2 2 2 V
f (H) = 3 = 0 H3 =
V H 2,42
Observamos que al ser
6 2
f (H) = >0
H4
i i
i i
h 2 (2,4)2
h 2 (2,4)2 V 2
3
+ 2 R 2 = 0 = m R
m R R 2V
Sustituyendo en la segunda ecuacin, se obtiene,
2
h 2 (2,4)
h 2 2 2m R2 (2,4)2 R2 (2,4)2 1
+ R2 = 0 = =
m H3 2V H 3 2V R 2 2 R2 H
De donde se deduce la relacin,
2,4
=
H 2R
O bien, las relaciones directas
2R (2,4)H
H= R=
2,4 2
Solucin: Sean (u, v) los puntos de la parbola, y sean (x, y) los puntos de la recta.
Buscamos, la pareja de puntos (u, v) y (x, y) que minimizan la funcin
f (x, y, u, v) = (x u)2 + (y v)2
y para ello aplicaremos el mtodo de los multiplicadores de Lagrange considerando la siguiente funcin:
F(x, y, u, v, , ) = (x u)2 + (y v)2 + (v u2) + (x y 2)
i i
i i
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
1 1 11 5
(u, v) = , , (x, y) = ,
2 4 8 8
s
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
i i
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
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.
d((2, 1), (3, 2)) = 2
d((2, 1), (2, 3)) = 4 2
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
i i
i i
i i
N CAPTULO
V (i )
5
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.
Z x x
t2 x2
F(x) = (1 t)dt = t = x
0 2 0 2
i i
i i
1<x2
Z 1 Z x 1 x
t2 t2 x2
F(x) = (1 t)dt + (2 t)dt = t + 2t = 2x 1
0 1 2 0 2 1 2
luego, 2
x x ,
0x1
F(x) = 22
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,
x2 1
lm F(x) = lm 2x 1 =
x1+ x1+ 2 2
x2 1
lm F(x) = lm x =
x1 x1 2 2
1 1
F(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.
x2 1
F(x) F(1) 2x 1
lm = lm 2 2
x1+ x1 x1+ x1
Derivando numerador y denominador,
2x
lm
=1
1 x1+
luego se puede aplicar la regla de LHpital y afirmar que
F(x) F(1)
lm =1
x1+ x1
2 1
F(x) F(1) x x2
lm = lm 2
x1 x1 x1 x1
i i
i i
Derivando nuevamente,
1x
=0
lm
1 x1
y aplicando la regla de LHpital podemos afirmar que
F(x) F(1)
lm =0
x1 x1
Lo que demuestra la no existencia de la derivada de F en el punto x = 1 y, por tanto, la funcin F
no es derivable en este punto. Tambin aqu podemos aplicar el teorema fundamental del clculo; F es
derivable en los puntos en los que f es continua.
Observemos que
1x 0 < x < 1
F (x) =
2x 1 < x < 2
Solucin:
a) Podemos escribir la funcin F como
Z x2
F(x) = x sen(t 2 )dt
0
Ry
Sea G(y) = 0 sen(t 2 )dt donde y(x) 0.
La funcin f (t) = sen(t 2 ) es integrable en R, por lo tanto, el dominio de G es R. Finalmente el
dominio de F es R. El teorema fundamental del clculo permite establecer que la funcin G es
continua, por tanto F es continua en R.
b) La funcin f (t) = sen(t 2 ) es continua en R, luego del Teorema Fundamental del Clculo se deduce
que la funcin G es derivable. La funcin F es derivable en R por ser producto de dos funciones
derivables.
c) Se cumple
Z x2 Z x2
! Z x2
F (x) = sen(t 2 )dt + x x sen(t 2 )dt = sen(t 2 )dt + 2x2 sen(x4 )
0 0 0
d) La segunda derivada es
4. Calcular r
Z
1 x2 1
1+ 2 dx
x 2x
i i
i i
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 2 1
F (x) = e(2x sen(2x2 )(4x) e ln x sen(ln x)
x
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
Z 4x2 1
F(x) = f (t)dt
2x+1
tiene un mnimo en x = 12 .
i i
i i
Por tanto, podemos asegurar que hay un extremo en este punto. solo debemos comprobar que sea un
mnimo
F (x) = f (4x2 1)(8x)(8x) + 8 f (4x2 1) f (2x + 1)(2)(2)
1 1
F = 64 4 > 0
2 4
1
Por tanto, el punto x = 2 es un mnimo de F.
8. Calcular Z x
sent 3 dt Z +
0 dx
a) lm b) con a > 0
x0 x4 0 x2 + a 2
Solucin:
a) Para calcular el lmite Z x
sent 3 dt
0
lm
x4 x0
sen x3 3x2 1
lm 3
= l
m 2
cos x3 =
x0 4x x0 12x 4
de donde se deduce, Z x
sent 3 dt
0 1
lm =
x0 x4 4
b) Para hacer el clculo de la integral impropia aplicamos la definicin:
Z + Z h
dx dx 1 x h
= lm = lm arctan =
0 x2 + a2 h 0 x2 + a2 h a a 0 2a
Solucin: Utilizando Ruffini, descomponemos el polinomio del denominador de la fraccin que quere-
mos integrar,
x2 7x + 10 = (x 5)(x 2)
Z 4
dx
a) La integral es convergente ya que el recinto de integracin es acotado y la funcin
3 x2 7x + 10
est acotada y es continua en [3,4].
i i
i i
Z 5
dx
b) La integral es impropia de segunda especie, es decir, la funcin no est acotada
3x2 7x + 10
en el recinto de integracin.
Para estudiar su convergencia, aplicamos el criterio de comparacin con paso al lmite,
1
(x5)(x2) (x 5) 1 1
lm 1
= lm = lm =
x5 x5 (x 5)(x 2) x5 (x 2) 3
(x5)
Z 5 Z 5
dx dx
luego, como es divergente, tambin es divergente.
3 x5 3 x2 7x + 10
10. Calcular Z 4
dx
3
0 x1
Figura 5.2
i i
i i
f (x)
lm =1
x0 axn
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
Por lo tanto, podemos aproximar la funcin por el polinomio,
1 4 1
f (x) f (0)x4 = x4
4! 3
De donde vemos que los valores que buscbamos son
1
a= n=4
3
b) Aplicamos los criterios de comparacin para integrales impropias y comparamos la funcin
sen2 x sen x2
g(x) =
x9
con
1
h(x) =
x
Calculamo s el lmite,
sen2 x sen x2
x9 13 x4
lm 1
= l
m 9
x0 x0 x( 2 )
x
1
Si = 2 el lmite es igual a 13 , y dado que la integral
Z 1
1
1 dx
0 x2
es convergente, entonces la integral propuesta tambin es convergente.
12. Calcular Z 2
dx
0 |1 x2 |
Solucin: Utilizando la definicin del valor absoluto, podemos descomponer la integral en suma de dos,
Z 2 Z 1 Z 2
dx dx dx
= + = I1 + I2
0 |1 x2| 0 1 x2 1 x2 1
i i
i i
1 A B A(1 + x) + B(1 x) 1
= + = A=B=
1 x2 1 x 1 + x 1 x2 2
Luego,
Z
dx 1 1+x 1 1+
lm = l
m ln = l
m ln =
1 0 1 x2 1 2 1 x 0 1 2 1
La segunda integral, I2 , tambin es impropia de segunda especie. La resolveremos de manera anloga a
I1 .
Z 2 Z 2
dx dx 1 x1 2
I2 = 2
= l
m = l
m ln =
1 x 1 1 x2 1 1 2 x+1
1 1 1 1 1 1
= lm ln ln = ln
1 2 3 2 +1 2 3
Luego
Z 2
dx
0 |1 x2|
es divergente, por ser suma de una integral convergente y otra divergente.
Solucin: Sea
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
b !
Z + Z b
x x e x e b 1 1
e dx = lm e dx = lm = lm + =
0 b 0 b b
0
Luego la integral Z +
e x dx
0
es convergente si > 0 y divergente si 0.
Aplicando el teorema de comparacin para integrales impropias obtenemos que la integral
Z + x
e cos x
dx ( > 0)
0 x+1
es absolutamente convergente.
i i
i i
Solucin: Para estudiar la convergencia de la integral, separamos el dominio de integracin en dos subin-
tervalos, de forma que reescribimos la integral como
Z 1r Z + r
| sen x| | sen x|
3
dx + dx
0 x 1 x3
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| x
x3 x3
lm 1
= lm 1
=1
x0+ x0+
x x
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
0 x3
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
1 x3/2
podemos afirmar que la integral
Z + r
| sen x|
dx
1 x3
tambis es convergente.
Con los resultados obtenidos, la integral
Z + r
| sen x|
dx
0 x3
es divergente.
i i
i i
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 +
dx
b (x + a) x b
i i
i i
2 t
= a + barctan
a+b a+b
Aplicando el cambio de variable a la intergral definida obtenemos
Z + Z +
dx 2dt 2 t 2 h i
= = arctan( ) = 0
b (x + a) x b 0 t2 + b + a a+b a+b 0 a+b 2
Z +
dx
=
b (x + a) x b a+b
Se deduce que la integral
Z +
dx
b (x + a) x b
es convergente.
Solucin:
a) La funcin f es continua por ser composicin de funciones contnuas. Para estudiar la diferencia-
bilidad calculamos las derivadas parciales aplicando el Teorema Fundamental del Clculo,
f 2
= (2y + 3)(6x)(3x2 + 1)e3x
x
Z 3x2 3x2
f 2
=2 (t + 1)et dt = 2 (t + 1)et et 0 = 6x2 e3x
y 0
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)
i i
i i
Solucin:
f
(x, y, z) = 2x
x Z z2
f 1 lnt
(x, y, z) = dt
y 1 t2
f 1 lnz 2
(x, y, z) = y 2z
z z4
Z e2 e2
1 lnt u = 1 lnt lnt 2
f (1, 1, e) = 1 + dt = = 1+ = 1+
1 t2 dv = dt
t2 t 1 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 1 lne2 2
3) = 2y = 2e = 3 6= 0
z (1,1,e) z3 (1,1,e) e 4 e
z z
Hemos de calcular entonces (1, 1) y (1, 1) para ello derivamos implcitamente
x y
Derivando respecto x
f f z z f (1, 1, e) 2
+ =0 (1, 1) = f x = 2 = e3
x z x x
z (1, 1, e) e3
Derivando respecto y
f f z z yf (1, 1, e) 2
e2
+ =0 (1, 1) = f = 2 =e
y z y y
z (1, 1, e) e3
Luego,
x1
z(x, y) = e + (e3 , e) = e + e3(x 1) + e(y 1)
y1
i i
i i
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
x h0 h h0 h
f f (a, k) f (a, 0)
(a, 0) = lm
y k0 k
f
Por la definicin de la funcin f el lmite correspondiente a (a, 0) debe resolverse con-
y
siderando lmites laterales
eak 1
lm a=a
k0+ ak
1 a k 2 1 a2
2 k2
lm = lm =0
k0 k k0 k
y como los lmites laterales no coinciden, el lmite no existe y, por tanto, f no es diferencia-
ble 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
x h0 h h0 h
f f (0, k) f (0, 0)
(0, 0) = lm
y k0 k
Este lmite tambin debe calcularse considerando lmites laterales.
11
lm =0
k0+ k
1 k2 1
lm =0
k0 k
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
i i
1 h2 k 2 1 p
lm = lm h2 + k 2 = 0
(h,k) (0,0) h2 + k 2 (h,k) (0,0)
k<0 k<0
ehk 1 ehk 1 hk
lm = lm =0
(h,k) (0,0) h2 + k 2 (h,k) (0,0) hk h + k2
2
k0 k0
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 dife-
renciabilidad
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 dife-
renciable en (x, y) R2 .
Resumiendo, F es diferenciable (x, y) R2 {(a, 0), a 6= 0}.
b) Como la funcin G = F F podemos ver fcilmente que
y, por tanto, como la funcin F es diferenciable en (1, 1) la funcin G lo ser en (0, 0).
Por ser F funcin diferenciable en (0, 0) y en (1, 1), podemos calcular la diferencial de G en (0, 0).
Aplicando la regla de la cadena,
i i
i i
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
Evaluando en x = 0 obtenemos
1 1 + y(0) = 0 1 + y(0) = 0 y (0) = 1
i i
i i
i i
i i
N CAPTULO
V (i )
6
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)
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,
1, (x, y)
/A
f (x, y) =
0, (x, y) A
y2 x2
f (x, y) =
(x2 + y2 )2
a) Calcular lm f (x, y)
(x,y)(0,0)
Z
4 x2
b) Calcular dx
(x2 + 4)2
Z 1 Z 1 Z
y2 x2 x
c) Calcular f (x, y)dx dy (Indicacin: dx = 2 )
0 0 (x2 + y2)2 x + y2
Z 1 Z 1 Z
y2 x2 y
d) Calcular f (x, y)dy dx (Indicacin: dy = 2 )
0 0 (x2 + y2)2 x + y2
i i
i i
Solucin:
y2 x2 x2 x2 0
lm 2 2 2
= lm 2 = lm 4 = 0
(x,y) (0,0) (x + y ) x0 (x + x2 )2 x0 4x
y=x
y2 x2 x4 x2 x2 1
lm = l
m = l
m =
(x,y) (0,0) (x2 + y2 )2 x0 (x2 + x4 )2 x0 x2 (1 + x2)2
y = x2
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
i i
i i
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 Z 1 2 1
y x2 x 1
f (x, y)dx = dx = 2 =
0 0 (x2 + y2 )2 x + y2 0 1 + y2
Z 1
1
dy = [arctan y]10 = arctan 1 arctan0 =
0 1 + y2 4
Luego
Z 1 Z 1
f (x, y)dx dy =
0 0 4
d) Para resolver este apartado tambin utilizaremos la indicacin y obtenemos,
Z 1 Z 1 2
y x2 y 1 1
f (x, y)dy = 2 2 2
dy = 2 2
= 2
0 0 (x + y ) x +y 0 x +1
Z 1
1
dx = [arctan x]10 = arctan 1 + arctan0 =
0 1 + x2 4
Luego
Z 1 Z 1
f (x, y)dy dx =
0 0 4
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.
Figura 6.1
Los puntos
de interseccin entre la recta x = 1 y la hiprbola corresponden a los puntos (1, 2) y
(1, 2) que obtenemos si igualamos las dos ecuaciones,
2
y x2 = 1
x=1
i i
i i
Resolvemos esta integral en las mismas coordenadas cartesianas considerando los lmites de integra-
cin 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
Solucin: La regin A limitada por las curvas dadas, es la que viene representada en la Figura 6.2.
Figura 6.2
Vista la geometria del problema, creemos conveniente realizar un cambio a coordenadas polares para
resolver la integral Z
dxdy
A
El cambio de coordenadas es:
x = r cos
y = r sen
y el determinante jacobiano del cambio de variable es
cos r sen
=r
sen r cos
Z Z
4 2 4 1 + cos2 sen 2 4 3 + 6
=6 cos d = 6 d = 6 + =
0 0 2 2 4 0 4
i i
i i
Solucin:
a) Representamos las rectas y buscamos los puntos de corte entre ellas. Podemos ver que son para-
lelas 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
2x = 0 (0, 0)
y = x
y = x
2x = 2 (1, 1)
y = x+2
y = x + 4
2x = 2 (1, 3)
y = x+2
Luego la regin A es la que viene representada en la Figura 6.3.
Figura 6.3
y = 1 (v + u)
2
El determinante jacobiano del cambio de variable es,
x x 1 1
u v 2 2
y y = 1 1
u v 2 2
i i
i i
y=x u=0
y = x+2 u=2
y = x v=0
y = x + 4 v=4
Figura 6.4
6. Dada la integral
Z Z 2 cost
2
r dr dt
0 0
Reescribirla en coordenadas cartesianas y calcularla.
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
De donde se deduce la matriz jacobiana,
! x y
x y !
r r x2 +y2 x2 +y2
x (x, y) y (x, y) x2 +y2 x2 +y2
J(x, y) = t t = y2 1 = y x
x (x, y) y (x, y) x2 +y
x x
2 2 2 x2 +y2
1+ yx
( ) 1+( yx )
Podemos ver que la regin de integracin corresponde a una circunferencia de radio unitario y de centro
(1, 0). Se deduce,
i i
i i
Figura 6.5
7. Calcular
Z p
x2 + y2 dxdy
R
x2 + y2 = 4y r2 = 4r sen
Luego,
Z p Z Z 4 sen Z Z 4 sen
x2 + y2dxdy = rrdrd = d r2 dr =
R 0 0 0 0
Z 4 sen Z
r3 43 44
= d = (1 cos2 ) sen d =
0 3 0 3 0 32
i i
i i
x2 + y2 = 2y r2 = 2r sen
Figura 6.6
Z
" #2 sen Z
2 1 (4 r2)3/2 1
2
h i2 sen
= d = (4 r2)3/2 d =
0 2 3/2 3 0 0
0
Z h i Z
1 2 h 3/2 i
1 2
= (4 4 sen2 )3/2 43/2 d = 4 (1 sen2 )3/2 43/2 d =
3 0 3 0
Z Z
8 8 4 8 2
2
== | cos |3 d =
cos (1 sen2 )d =
0 32 3 3 3 0
/2
4 8 /2 8 sen3 4 8 8 4 16
= [sen ]0 + = + =
3 3 3 3 0 3 3 9 3 9
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
Z Z RZ R2 x2 Z R2 x2 y2
M= dV = (x2 + y2 )dxdydz
R R2 x2 R2 x2 +y2
i i
i i
El valor del jacobiano del cambio de variable es r y, por tanto, podemos reescribir la integral como
Z 2 Z R Z
Z 2 Z R
R2 r2 hp i
r2 rdrd dz = r3 R2 r2 (R r) drd =
0 0 Rr 0 0
Z R p
1 1 R
= 2 Rr4 + r5 + 2 r3 R2 r2 dr
4 5 0 0
r = R sen dr = R cos d
Z R p Z Z
2 2
r3 R2 r2 dr = R3 sen3 R2 | cos | cos d = R5 sen3 cos2 d
0 0 0
Z
" #
5
2
3 2 5 1 2 3
2 2 Z 2 4
R sen cos d = R sen cos + cos sen d =
0 3 0 3 0
Z pi
5 2 3 22 5 1 5
2 2
=R sen cos d = R cos = R5
0 3 5 0 15
c) Calcular el volumen del slido en forma de anillo que queda despus de haber hecho el agujero
cilndrico.
Solucin:
i i
i i
Figura 6.7
Observando la simetra del problema, calcularemos mediante una integral el volumen en un oc-
tante.
Z Z p
1
V (R0 ) = z(x, y)dxdy = R2 x2 y2 dxdy
8 S S
Z /2 R 0 1
1 1 3 3
= d (R2 r2 )3/2 = 2 2 3/2
(R R0) + R = R (R2 R20 )3/2
0 3 0 2 3 3 6
De donde se deduce
4 3
V (R0 ) = R (R2 R20)3/2
3
4 3 4 2
V = R V (R0 ) = (R R20)3/2
3 3
11. Calcular Z p
zy x2 + y2 dxdydz
A
con A = {(x, y, z) R3 : 0z x2 + y2 , 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
i i
Figura 6.8
Z Z Z
1 2 2 cos 1 2 (2 cos )8 16
= r7 sen dr d = sen d =
2 0 0 2 0 8 9
12. Calcular Z
yz
dxdydz
A x
Figura 6.9
i i
i i
3a4
=
32
2 2 2
13. Sea D = {(x, y) R2 : x 3 + y 3 a 3 } un dominio cerrado y acotado centrado en el origen de coorde-
nadas. Calcular Z
2 2 2
a 3 x 3 y 3 dxdy
D
De ( 2 2
x 3 = r 3 cos2
2 2
y 3 = r 3 sen2
se deduce 2 2 2 2
x3 + y3 = r 3 a3 r a
Luego
Z Z 2 Z a 2
2 2 2 2
a 3 x 3 y 3 dxdy = a 3 r 3 3r cos2 sen2 drd =
D 0 0
Z 2 a Z
21 3 8 3 8 2
=3 a 3 r2 r 3 cos2 sen2 d = a 3 cos2 sen2 d =
0 2 8 0 8 0
Z 2 2 Z
3 8 1 3 8 1 2 1 cos4 3 8
= a3 sen 2 d = a 3 d = a3
8 0 2 8 4 0 2 32
i i
i i
Figura 6.10
x = r cos
y = r sen
z=z
0r1
Z Z 1 Z Z
2 1 2 1 1 1
V= er rdrd = er d = e1 + d =
/2 0 /2 2 0 /2 2 2
1 1 1 1 3 1
= 1 = 1 + = 1
2 e /2 2 e 2 4 e
i i
i i
Figura 6.11
de donde u+v
x(u, v) = 2
uv
y(u, v) = 2
El jacobiano del cambio es:
1 1
(x, y) 2 2
= 1
= 1
(u, v) 2 12 2
y con este cambio la nueva regin de integracin es la que ilustra la Figura 6.12
Figura 6.12
Entonces Z Z
2 2 1
(x2 y2)e(xy) dx dy = uvev du dv
A A 2
con A = {(u, v) R2 : 0 u 3, u2 v2 8, v 0}, por lo tanto
Z Z 1 Z 3
2 1 2 u
I= uvev du dv = vev dv du =
A 2 0 8+v2 2
i i
i i
Z 1 3 Z
1 2 u2 1 1 2
= vev dv = 9 (8 + v2) vev dv =
2 0 2 8+v2 4 0
Z 1 Z 1
1 2 1 2
= vev dv v3 ev dv = ()
4 0 4 0
1
1 1 v2 1 1 1 2 2 1 1 e2
= e (v 1)ev = (e 1) (0 + 1) =
4 2 0 4 2 0 8 8 8
Z Z
2 1 2 1 2 1 2 1 2
() v3 ev dv = v2 ev 2vev dv = v2 ev ev
2 2 2 2
Tambin podemos pensar en un planteamiento alternativo,
n p o
A = 2 2 u 3; 0 v u2 8
y de esta forma la integral queda como sigue,
Z 3 Z Z 3
u2 8
u2 8
1 2 1 1 2
I= uv ev du = u ev du =
2 2 0 2 2 2 2 2 0
Z 3
1 3 u2 8 1 1 u2 8 u2 e2
= u e 1 du = e =
4 2 2 4 2 2 22 8
obteniendo, evidentemente, el mismo resultado.
16. Sea f : A R2 R.
a) Encontrar la expresin de la siguiente ecuacin en coordenadas polares.
f f
x +y
x y
Solucin:
a) Consideramos el cambio a coordenadas polares
x(r, ) = r cos
y(r, ) = r sen
siendo p
r(x, y) = x2 + y2
(x, y) = arctan xy
De la regla de la cadena deducimos
f f r f
x = r x + x
f f r f
= +
y r y y
i i
i i
r r
Calculamos , , y .
x y x y
r x r y
=p ; =p
x x + y2
2 y x + y2
2
y x
= 2 ; = 2
x x + y2 y x + y2
y sustituyendo se deduce
f f f
x +y =r
x y r
b) Calculamos
Z x f +y f
x y
dx dy
A x2 + y2
aplicando el teorema del cambio de variable y considerando el cambio a coordenadas polares,
obtenemos la regin de integracin que muestra la Figura 6.13.
Figura 6.13
Z x f +y f Z Z Z R
x y r rf 4 f
dx dy = r dr d = dr d =
A x2 + y2 A r 2
0 0 r
17. Supongamos el cambio de variable x = tan . Dar la expresin de sen y cos en funcin de x y dar
dx en funcin de d . Calcular el rea de la regin
2 x2 y2 x2 y2
S = (x, y) R : 2 + 2 1 y + 1
a b b2 a2
i i
i i
sen2
x2 = 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 x2 y2
+ 1 y + 1
a2 b2 b2 a2
y viene representada en la Figura 6.14.
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
a2 b2
r2 =
b2 cos2 + a2 sen2
1
r = aq 2
cos2 + ab sen2
y, en estas condiciones, la integral que debemos calcular para obtener el valor del rea es
Z Z
dxdy = rdrd
S D
i i
i i
Z
" #
2 4 1 d
= 4a
a 2 cos2
0 1+ b tan2
aplicando el cambio de variable tan = x, se obtiene,
Z 1
1
1 b a a
= 4a2 2
dx = 4a2 arctan x = 4ab arctan
0 a
1+ b x 2 a b b
0
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.
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
2 f 2 f 2
2 f f
4x2 + 8xy + 4y +2
u2 u v v2 u
b) Observamos la regin de integracin en la Figura 6.15.
Figura 6.15
i i
i i
Solucin: Teniendo en cuenta las restricciones del volumen V podemos realizar la integral de forma
directa, considerando,
Z Z 1 Z 1x Z x+y
x dx dy dz = x dx dy dz =
V 0 0 0
Z 1 Z 1x Z 1 1x
y2
= x(x + y) dx dy = x xy + dx =
0 0 0 2 0
Z 1 1
x3 x x2 x4 1
= + dx = =
0 2 2 4 8 0 8
Podemos visualizar la regin de integracin, resaltada, en la Figura 6.16.
Figura 6.16
20. Calcular el volumen del slido limitado superiormente por el paraboloide x2 + y2 + z = 10 e inferior-
mente 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
i i
Figura 6.17
10 x2 y2 = 11 4x 2y x2 + y2 4x 2y + 1 = 0 (x 2)2 + (y 1)2 = 4
Z 2 Z 2 2
r4
V= d (4 r2)rdr = 2 2r2 = 2 (8 4) = 8
0 0 4 0
A = {(x, y, z) R3 : x2 + y2 + z2 a2 , x2 + y2 ax, z 0}
i i
i i
Figura 6.18
Z
" 3
#a cos Z
1
2 (a2 r2 ) 2 1
2
h i
3 a cos
= 3
d = (a2 r2 ) 2 d =
2 2 2
3 2 0
0
h Z i Z
1 2 2
2 2 3 3 a3 2
= (a a cos ) 2 (a2 ) 2 d = (|sin3 | 1) d =
2 3 3 2
3
() a 4 a 4a3
= =
3 3 3 9
Debemos tener en cuenta que hemos utilizado,
Z Z 0 Z
2 2
() | sen3 | d = sen3 d + sen3 d =
2 2 0
Z 0 Z
2
= sen (1 cos2 ) d + sen (1 cos2 ) d =
2 0
Z 0 Z 0 Z Z
2 2
= sen d + sen cos2 d + sen d sen cos2 d =
2 2 0 0
0
cos3 cos3 2 2 2 4
= cos + cos + = + =
3 2 3 0 3 3 3
i i
i i
Solucin: Teniendo en cuenta las restricciones del volumen V podemos realizar la integral de forma
directa, considerando,
Z Z 1 Z 1x Z
x2 cos z dz dy dx = x2 cos z dx dy dz =
V 0 0 0
Z 1 Z 1x Z 1Z 1x
= x2 sen z 0 dx dy = 0 dy dx = 0
0 0 0 0
Figura 6.19
23. Calcular Z p
z x2 + y2 dxdydz
V
siendo p
V = {(x, y, z) R3 : 0 x 2, 0 z 2, 0 y 2x x2}
Aplicamos el teorema del cambio de variable y recordamos que el jacobiano de este cambio es r.
Z p Z Z 2 cos Z 2 Z Z 2 cos
2 2
z x2 + y2 dxdydz = zr2 dzdrd = 2r2 drd =
V 0 0 0 0 0
Z Z Z
2 2 3 2 cos 2 16 16 2
= [r ]0 d = cos3 d = cos (1 sen2 )d =
0 3 0 3 3 0
16
2
1 3
2
32
= [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
i i
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
V
Subdividimos el recinto en dos volmenes, la parte delimitada por el paraboloide por debajo de la inter-
seccin, 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 fa-
cilita 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 D(0,1)
Z 2 Z 1
3 1 1
= (r r ) dr = 2 =
0 0 2 4 2
El segundo volumen corresponde a la mitad del volumen de la esfera, y as obtenemos, sin necesidad de
integrar,
4 3
3 r 2
V2 = =
2 3
Luego el volumen total de la regin es,
2 7
V = V1 + V2 = + =
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.
i i
i i
Figura 6.21
Z 2 Z 2 !
2
=9 [ cos ]0 d = 9
4
1 d = 9 (2 2)
0 0 2
i i
i i
N CAPTULO
V (i )
7
i =1
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
Si x = 1
ex
lm fn (x) = lm =e
n+ n+ xn
i i
i i
Si x (1, +)
ex
lm fn (x) = lm =0
n+ n+ xn
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.
Demostrar que la sucesin { fn }nN converge uniformemente en R pero la sucesin { fn }nN no con-
verge nunca.
sen nx sen nx 1
sup | fn (x) f (x)| = sup
0 = sup =
xR xR n xR n n
y
1
lm = 0
n+ n
i i
i i
a) Si x = 0
lm fn (0) = 0
n+
Si x (0, 1)
nx
lm fn (x) = lm nx(1 x2)n = lm =0
n+ n+ n+ (1 x2)n
Si x = 1
lm fn (1) = 0
n+
luego,
Z 1 Z 1
lm fn (x)dx 6= lm fn (x)dx
n+ 0 0 n+
ex ex
sh x =
2
y calcular el radio de convergencia de la serie. Si a R, calcular el lmite
eax 1
lm
x0 sh x
i i
i i
x3 x2n+1
T2n+1 (x) = 0 + x + 0 + + +
3! (2n + 1)!
y la serie de potencias asociada es
x2n+1
(2n + 1)! = sh x
n0
1
El radio de convergencia R de la serie es R = donde
L
1
(2n+1)! (2n 1)! 1
L = lm 1
= lm = lm =0
n
(2n1)!
n (2n + 1)! n (2n + 1)2n
Solucin: Para calcular el dominio de convergencia de la serie de potencias, en primer lugar calculamos
el radio de convergencia.
r
1 p n 2
R= siendo L = lm |an | = lm
n
(x 2)n
L n n 3n
En nuestro caso,
1/n
2 21/n 1
L = lm = lm =
n 3n n 3 3
Luego el radio de convergencia vale
1 1
R= = =3
L 1/3
La serie es convergente para los valores x R tales que
i i
i i
2
para x = 5 tenemos 3n (3)n = 2, serie divergente.
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 n 2
3n (2) = 2 3
n1 n1
Podemos ver que se trata de una serie geomtrica, y por lo tanto la suma vale
n
2 2/3
2 =2 =4
n1 3 1 2/3
Solucin: Para calcular el radio de convergencia podemos calcular uno de los dos lmites siguientes
s 1
1 1 n
lm n n = lm n = e1
n
e
n e
1
en+1
lm 1 = lm e1 = e1
n n n
e
o tambin
1 (x 1)n+1
en+1
= lm 1 = lm (x 1)e1 = e1 |x 1|
en (x 1)
n n n
i i
i i
(x + 1)n
3n(n2 n)
n2
Por tanto, R = 3 y as, la serie converge para los valores x R tales que,
|x + 1| < 3 3 < x + 1 < 3 4 < x < 2
Estudiemos ahora, la convergencia en los extremos del intervalo.
Si x = 4,
(3)n (1)n
3n (n2 n) = n2 n
n1 n1
la serie es convergente (aplicamos, por ejemplo, el criterio de Leibniz).
Si x = 2,
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
n2 (x + 2)n
n!
n2
i i
i i
(n+1)2
(n+1)! (n + 1)2n! n+1
L = lm = lm 2
= lm 2 = 0
n n2 n (n + 1)!n n n
n!
n A B A + B(n 1)
= + =
(n 1)! (n 1)! (n 2)! (n 1)!
1 1
(n 2)! = n! = e
n2 n0
n2
n! = 2e 1
n2
g(1) = ln(1) = 0
1
g (x) = g (1) = 1
x
1
g (x) = g (1) = 1
x2
2
g (x) = g (1) = 2
x3
6
g(4) (x) = g(4) (1) = 6
x4
En general, la derivada de orden n de la funcin g vale,
(n 1)!
g(n) (x) = (1)n+1 g(n) (1) = (1)n+1 (n 1)!
xn
i i
i i
cos(2n x)
2n
n0
Solucin: Se cumple n
cos(2n x)
1 = 1 x R
2n 2n 2
La serie n
1
2
n1
1
es convergente (serie geomtrica de razn 2 < 1). Luego el criterio de Weierstrass afirma que la serie
cos(2n x)
2n
n0
(1)n
n
n1
i i
i i
Solucin:
1
a) Calculamos el radio de convergencia de la serie n (x 1)n
n1
1
1
El radio ser R = siendo L = lm n+1 =1
L n 1
n
De donde se deduce que el radio de convergencia es R = 1 y el dominio de convergencia,
|x 1| < 1 x (0, 2)
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 1
dt = [ln(2 t)]x1 = ln = f (x)
1 2t 2x
por lo tanto,
(1)n 1
= f (0) = ln = ln 2
n1 n 2
f (x + 4) = f (x), x R
i i
i i
Z
1
(t)dt = 0
a0 =
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
/2 /2 !
1 1 1 1
= sen(nt) + sen(nt) + sen(nt) =
n n /2 n /2
41
= sen n
n 2
n
Dado que sen 2 = 0 si n es par y sen n2 = 1 si n es impar, resulta:
a2p = 0
4 (1) p
a2p+1 = , p = 0, 1, 2...
2p + 1
Luego, el desarrollo en serie de Fourier de la funcin (t) es:
4 (1) p 4 (1) p
(t) = 2p + 1 cos ((2p + 1)t) = 2p + 1 cos ((2p + 1)t)
p=0 p=0
Si n es el nmero de trminos del desarrollo en serie de Fourier, la Figura 7.1 muestra el grfico de la
funcin f y del desarrollo de Fourier para distintos valores de n.
f (x) n=1
n=2 n=4
i i
i i
n=8 n = 16
Figura 7.1
f (x) = 1, 0 < x 1
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,
Z 1 Z 1 Z 1
2
bn = g(x) sen(n x) dx = 2 g(x) sen(n x) dx = 2 sen(n x) dx =
P 1 0 0
1
cos(n x) 2
=2 = [1 cosn ]
n 0 n
se cumple,
1, si n impar
cos n =
1, si n par
Los trminos bn son, 4
n , si n impar
bn =
0, si n par
Luego, el desarrollo en serie de Fourier de la funcin f es,
4 1
(2k 1) sen((2k 1) x)
k1
Si n es el nmero de trminos del desarrollo en serie de Fourier, la Figura 7.2 muestra el grfico de la
funcin f y del desarrollo de Fourier para distintos valores de n.
(1)n+1
n1 2n 1
i i
i i
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
8 34 x 6 x 0
g(x) =
8 43 x 0<x6
4 4
g(a) = 8 (a) = 8 + a
3 3
4 4
g(a) = 8 a = 8 + a
3 3
b) Consideramos una extensin peridica de g, considerando g(x + 12) = g(x). Como la funcin g
es impar, an = 0 n N y por lo tanto, el desarrollo en serie de Fourier solo tendr trminos en
senos.
Z 6 Z
1 4 2 1 6 4 16
bn = 2 8 x sen nx dx = 8 x sen nx dx =
6 0 3 12 3 0 3 6 n
16 n
n sen 6
x
n1
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
i i
f (x) n=1
n=2 n=4
n=8 n = 16
Figura 7.3
16 n 16 n
n sen 6
x=
n
sen
2
n1 n1
0, n = 2k
n
sen = 1, n = 1, 5, ...
2
1, n = 3, 7, ...
(1)n+1
=
n1 2n 1 4
i i
i i
i i
i i
BIBLIOGRAFA
i i
i i
i i