Professional Documents
Culture Documents
ndice general
1. Numeros reales y complejos, sucesiones y series de nmeros
1.1. El conjunto de los nmeros reales . . . . . . . . . . . . . . . . . .
1.2. El mtodo de induccin . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . .
1.4.1. Definiciones y notacin . . . . . . . . . . . . . . . . . . . .
1.4.2. Monotona . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.3. Acotacin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.4. Operaciones con sucesiones . . . . . . . . . . . . . . . . .
1.4.5. Lmite de una sucesin . . . . . . . . . . . . . . . . . . . .
1.5. Series de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . .
1.5.1. Definiciones y notacin . . . . . . . . . . . . . . . . . . . .
1.5.2. Algunas series notables . . . . . . . . . . . . . . . . . . . .
1.5.3. Resultados generales sobre convergencia . . . . . . . . . .
1.5.4. Series de trminos positivos . . . . . . . . . . . . . . . . .
1.5.5. Series de trminos cualesquiera . . . . . . . . . . . . . . .
1.5.6. Otros criterios de convergencia . . . . . . . . . . . . . . .
1.6. Anexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.1. La raz cuadrada en R . . . . . . . . . . . . . . . . . . . .
1.6.2. Producto cartesiano, aplicaciones . . . . . . . . . . . . . .
1.6.3. La frmula ciclotmica . . . . . . . . . . . . . . . . . . . .
1.6.4. El factorial y los nmeros combinatorios . . . . . . . . .
1.6.5. Algunas frmulas . . . . . . . . . . . . . . . . . . . . . . .
1.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8. Algunas soluciones e indicaciones . . . . . . . . . . . . . . . . . .
reales
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
1
1
9
9
12
12
13
14
15
17
30
30
31
32
34
35
35
37
37
37
38
38
39
41
47
2. Funciones de R en R
2.1. Funciones. Tipos de funciones
2.2. Operaciones con funciones . .
2.3. Lmite de una funcin . . . . .
2.4. Continuidad . . . . . . . . . . .
2.5. Anexo: Funciones usuales . . .
2.5.1. Funciones elementales .
.
.
.
.
.
.
51
51
53
56
66
71
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
III
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
78
81
87
87
87
88
93
95
97
98
98
101
102
104
106
106
113
115
117
121
125
Tema 1
Numeros reales y complejos, sucesiones y
series de numeros reales
Vamos a dedicar 10 horas de clase a este captulo. Debes resolver por tu cuenta los
ejercicios que no hayan sido resueltos en clase. No todos los ejercicios tienen la misma
dificultad. Para orientar tu trabajo, se han etiquetado Los ejercicios por niveles:
nivel 0: ejercicios de repaso de conceptos que se suponen conocidos,
niveles 1 a 3: grado de dificultad,
nivel extra: para ampliar conocimientos (no necesariamente son ms difciles).
Tambin es recomendable consultar [1], [2], [3].
a, b N,
a, b N.
a, b, c N,
a, b, c N.
a, b, c N.
a N0 .
a N.
a
a, b Z , b 0 } .
b
a
a
c
de nmeros enteros se denomina fraccin. Dos fracciones
y
se
b
b
d
2 10
dicen equivalentes si ad = bc. Por ejemplo y
son equivalentes porque 215 = 310.
3 15
Todas las fracciones equivalentes a una dada corresponden al mismo nmero racional.
a
De todas ellas, se llama representacin irreducible o cannica a aquella de la forma
b
que satisface mcd{a, b} = 1. En tal caso se dice que a y b son primos entre s.
Cada cociente
2 / Q, 2 / Q
Acabamos de ver que hay nmeros que no son racionales, entre ellos las soluciones de la
ecuacin x2 2 = 0 . A continuacin definimos un nuevo conjunto de nmeros entre los
que se encuentran las soluciones de esta ecuacin. Dicho conjunto no es una extensin
de Q, sino su complemento. Recordemos la propiedad 17 de los nmeros racionales,
que deca que todo nmero racional puede escribirse en forma decimal con un nmero
de dgitos finito o infinito peridico.
Definicin 1.1.11. El conjunto de los nmeros irracionales es
I = { nmeros que en su forma decimal tienen un nmero
infinito de cifras no peridicas } .
De la definicin se deduce la imposibilidad de escribir exactamente estos nmeros en
forma decimal. En la figura 1.1 mostramos algunos de ellos.
2I
1
1 n
(1 + ) e I
n
2 1.414 ,
3.14159265359 ,
e 2.718281828459045235360287471352662497757 .
En el primer caso, la aproximacin se ha hecho hasta las milsimas; en los otros dos
casos, se ha cometido un error bastante menor.
Semestre de primavera, curso 2014/2015
(1.1.a)
I R.
(1.1.b)
Los nmeros reales se representan en una recta, la recta real. Se fija un origen (elemento
neutro para la suma) y la unidad (elemento neutro para el producto), y a partir de ella
se sitan los naturales y los enteros.
0
...
-5
-4
-3
-2
-1
...
(a, +) = { x R a < x } ,
[a, b] = { x R a x b } ,
[a, +) = { x R a x } ,
(a, b] = { x R a < x b } ,
(, b] = { x R x b } ,
[a, b) = { x R a x < b } ,
(, b) = { x R x < b } .
5. Si x y = 0, entonces x = 0 y = 0
6. (1)x = x
7. (x + y) = x y
8. (x) = x
9. (1) (1) = 1
10. x (y) = (x) y = (x y)
11. (x) (y) = x y
12. Si x 0, entonces x 0, x1 0, (x)1 = x1 y (x1 )1 = x
13. x 0 si y slo si x 0
14. x2 0
15. 1 0
16. Entre dos nmeros racionales cualesquiera r1 y r2 existe siempre otro nmero
racional r3 .
17. Todo nmero racional puede escribirse en forma decimal con un nmero de dgitos
finito o infinito peridico.
18. Todo nmero decimal con un nmero de dgitos finito o infinito peridico, admite
p
una expresin de la forma con p, q Z y q 0, es decir, es un nmero racional.
q
Nota 1.1.28. En estos apuntes, si x > 0 e y R, definiremos xy = ey log x , donde log
representa el logaritmo neperiano.
Definicin 1.1.29. Dado x R, se define la parte entera de x como el mayor nmero
entero de entre los que son menores o iguales que x. Se denota [x].
Definicin 1.1.30. Dado x R, se define el valor absoluto de x como
x
x =
si
si
x0
x<0
2. x = 0 x = 0,
3. x + y x + y ,
4. xy = x y ,
5.
x2 = x .
10
x2 + y 2 .
11
12
r1 ei1 r1 i(1 2 )
= e
.
r2 ei2 r2
zk = z n eik
con
k =
Argz 2k
+
, k = 0, . . . , n 1.
n
n
a(n) = an .
13
3 2n
, n N;
n
bn =
1
2n
n N0 ;
1 n
cn = (1 + ) , n N .
n
x =4
0
,
13
1
(x
+
)
x
=
n1
n
2
xn1
y0 = 1
y
=
2
y
n+1
n
z0 = 1
z1 = 1
.
zn = zn2 + zn1
Cuando una sucesin viene dada por recurrencia, para obtener el trmino n-simo
previamente hay que obtener todos los anteriores.
La sucesin zn fue estudiada por primera vez por Fibonacci de Pisa (1170-1250). Como
ejercicio obtn los 5 primeros trminos de esta sucesin.
1.4.2. Monotona
Definicin 1.4.3. Una sucesin de nmeros reales (an )nN se dice
creciente si an an+1 n N .
decreciente si an an+1 n N .
estrictamente creciente si an < an+1 n N .
estrictamente decreciente si an > an+1 n N .
Definicin 1.4.4. Una sucesin de nmeros reales se llama montona si es creciente
o decreciente. Si la sucesin es estrictamente creciente o decreciente, diremos que la
sucesin es estrictamente montona.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
14
Para estudiar la monotona de una sucesin debemos comparar dos trminos consecutivos cualesquiera, por ejemplo an y an+1 .Si
an+1 an
Creciente
>0
Estrictamente creciente
Decreciente
<0
Estrictamente decreciente
Sii los trminos de la sucesin son estrictamente positivos, podemos estudiar el cociente
de dos trminos consecutivos. Si
an+1
an
Creciente
>1
Estrictamente creciente
Decreciente
<1
Estrictamente decreciente
3
(3 2(n + 1))n (3 2n)(n + 1)
=
< 0 , n N
n(n + 1)
n(n + 1)
y por tanto la sucesin (an )nN es estrctamente montona (decreciente). Para la sucesin yn observamos que todos los trminos son estrictamente positivos.
yn+1
= 2 > 1 , n N
yn
y por tanto la sucesin (yn )nN es estrctamente montona (creciente).
Ejercicio 1.4.6. Estudia la monotona del resto de sucesiones del ejemplo 1.4.2.
1.4.3. Acotacin
Definicin 1.4.7. Se dice que una sucesin de nmeros reales (an )nN est
acotada superiormente si
K R tal que an K
n N.
15
acotada inferiormente si
l R tal que l an
n N.
n N.
Proposicin 1.4.8. Una sucesin de nmeros reales (an )nN est acotada si y slo si
est acotada superior e inferiormente.
Ejemplo 1.4.9. Veamos que la sucesin (an )nN del ejemplo 1.4.2 est acotada. Segn
la proposicin anterior bastar con encontrar una cota superior y otra inferior. En el
ejemplo 1.4.5 hemos visto que esta sucesin es estrictamente decreciente, por tanto a1
es una cota superior (adems, la menor de todas). Veamos si l = 0 es una cota inferior :
0
3
3 2n
0 3 2n 2n 3 n .
n
2
La desigualdad n 3/2 no es vlida para todo nmero natural (de hecho slo se verifica
para n = 1), por tanto k2 = 0 no es una cota inferior. Probemos con un valor ms
pequeo, por ejemplo l = 5 :
5
3 2n
5n 3 2n 3n 3 n 1
n
16
Sucesin suma
s N R
n s n = an + b n
(1.2)
(El trmino general de la sucesin suma se obtiene sumando los trminos generales
de las sucesiones an y bn ).
Ejemplo 1.4.12.
1
n+1
1 1
{1, , , . . .}
2 3
bn = n + 1
{1, 2, 3, . . .}
5 10
{2, , , . . .}
2 3
an =
sn =
n2 + 2n + 2
1
+n+1=
n+1
n+1
Sucesin producto
p N R
n p n = an b n
(El trmino general de la sucesin producto se obtiene multiplicando los trminos
generales de las sucesiones an y bn ).
Ejemplo 1.4.13.
an =
1
n+1
bn = n + 1
1
sn =
(n + 1) = 1
n+1
1 1
{1, , , . . .}
2 3
{1, 2, 3, . . .}
{1, 1, 1, . . .}
17
Ejemplo 1.4.14.
an = n2 + 1
bn = 2n 6
{6, 4, 2, 0, 2, 4, . . .}
+1
2n 6
cn =
n2
1 1 5
17
, , , ? , , . . .}
6 2 2
2
lm an = l
n+
Nota 1.4.16. El nmero natural n0 depende de . Como an l < si y slo si l < an <
l + , de la definicin se deduce que a partir de an0 todos los trminos de la sucesin
estn en el intervalo (l , l + ).
l
l+
a
an0 n0 1
18
Por tanto para un > 0 arbitrario, el menor nmero natural que verifica (1.3) viene
dado por
1
n0 = [ ] + 1 .
an l =
3 2n
3
3
+ 2 = < n > .
n
n
3
n0 = [ ] + 1
2n 3
es 2.
n+1
Definicin 1.4.20. Se dice que una sucesin (an )nN tiende a + si para cualquier
nmero real M existe un trmino de la sucesin an0 de tal manera que a partir de l
todos los trminos de la sucesin son mayores que M .
Ejercicio 1.4.19. Probar que el lmite de la sucesin an =
M R n0 N tal que an M
n n0
n+
M
a3
a1
a2
...
an0
Se dice que la sucesin (an )nN tiende a si para cualquier nmero real l existe un
trmino de la sucesin an0 de tal manera que a partir de l todos los trminos de la
sucesin son menores que l.
l R n0 (M ) N tal que an M
n n0
n+
19
M
an0
...
a2
a1
a3
Divergente si lm an = +
n
Oscilante si / lm an
n
3 2n
es convergente pues su lmite es 2, como
Ejemplo 1.4.24. La sucesin an =
n
hemos visto en el ejemplo 1.4.18. La sucesin bn = 2n es divergente (a +) ya que su
lmite no es real. La sucesin cn = (1)n es oscilante puesto que no tiene lmite.
Proposicin 1.4.25. Si una sucesin es convergente, entonces est acotada.
(an )nN convergente
20
l2
l1
l2 +
)(
l1 +l2
2
Pero esto no puede ser puesto que los intervalos (l1 , l1 + ) y (l2 , l2 + ) son
disjuntos.
De manera anloga se demostraran el resto de casos.
Proposicin 1.4.27. Si una sucesin es montona y acotada, entonces es convergente.
lgebra de lmites
En esta seccin se pretende resolver el siguiente problema. Supongamos que tenemos
dos sucesiones (an )nN y (bn )nN con lmites conocidos l y l respectivamente. En la
seccin 1.4.4 hemos definido algunas operaciones con sucesiones. La cuestin es qu
se puede decir del lmite de la sucesin (cn )nN resultado de operar con (an )nN con
(bn )nN ? ser igual al resultado de operar l con l ?
(cn )nN = (an )nN (bn )nN
lm cn = l l ?
n
21
definida en (1.2)
1. Si
l, l R
2. Si
lR y
3. Si
lR y
4. Si
l = + y
5. Si
l = y
entonces
sn l + l R
l = +
entonces
sn +
l =
entonces
sn
l = +
entonces
sn +
l =
entonces
sn
Demostracin. Probaremos slo el primer caso, el resto se deja como ejercicio para el
alumno.
Sea > 0, tenemos que probar que existe n0 N de tal manera que para todo n n0 se
tiene an + bn (l + l ) < .
Como an l R, para /2 existe n1 N tal que para todo n n1 se tiene que
an l < /2 .
(1.4)
n+
2. Si lm an = +, entonces lm ean = +
n+
n+
3. Si lm an = , entonces lm ean = 0
n+
n+
22
an
bn
lR
l R
l + l
bn
an
lR
l>0
l R, l > 0
l l
l R, l < 0
lR
l<0
l l
l l
l l
an =/ 0
1/an
l R, l =/ 0
0
an > 0
1/an
an < 0
1/an
l R, l =/ 0
1/l
l R, l =/ 0
1/l
1/l
0
0
bn
an
lR
l>0
l R, l > 0
l/l
l R, l < 0
lR
l<0
l/l
l/l
l/l
23
24
an
bn
lR
l>0
l R, l > 0
l/l
l/l
lR
l<0
bn
an
lR
l>0
l R, l < 0
l/l
lR
l<0
l/l
an > 0
log an
l R, l > 0
log l
lR
0<<1
>1
an
lR
l>0
r>0
lr
r<0
lr
an
lR
0<l<1
lR
l>1
l R, l < 0
ll
ll
l R, l > 0
ll
ll
bn
25
26
1
1
, b n = n + 1 y an b n =
0.
2
(n + 1)
n+1
2. an =
1
, bn = (n + 1)2 y an bn = n + 1 + .
n+1
3. an =
1
, bn = (n + 1)2 y an bn = (n + 1) .
n+1
Ejercicio 1.4.33. Encotrar para cada caso dos sucesiones an 0 y bn 0 tales que
para la sucesin cociente se verifique
1. an /bn 1 .
2. an /bn + .
3. an /bn 0 .
4. / lm
an
.
bn
Clculo de lmites
No hay un procedimiento general para resolver los casos indeterminados vistos en la
seccin anterior. La forma de proceder depende de cada caso particular. A continuacin
damos una serie de criterios que pueden resultar tiles para resolver algunos casos de
indeterminacin.
Semestre de primavera, curso 2014/2015
27
1
1
+ ... +
.
n2 + n
n2 + n
(1.6)
n
=
n = 1 =
n2
1
1
+ ... + .
2
n
n2
(1.7)
an+1
= l lm n an = l
an
(l real o infinito) .
Ejemplo 1.4.38.
lm
n
1
1/n
n
n = lm n = lm e n log n
n
an+1
n+1
lm
= lm
= 1 lm n n = 1 .
n
n
n
an
n
Definicin 1.4.39. Dos sucesiones (an )nN y (bn )nN se dicen equivalentes si
lm
n
an
= 1.
bn
28
lm
n
Nota 1.4.41. Las equivalencias son de aplicacin directa al clculo de lmites en expresiones en las que intervengan productos. Supongamos, por ejemplo an bn , y tenemos
que calcular
lm an cn ,
n
an
bn cn = lm bn cn
n
bn
ya que
an
= 1.
bn
Esto ser de utilidad cuando la expresin bn cn sea ms sencilla (desde el punto de vista
del clculo de lmites) que an bn . De manera anloga se puede proceder en expresiones
en las que intervengan cocientes.
lm
n
y lm(bn + cn ) = 0.
n
an
= 0.
bn
Semestre de primavera, curso 2014/2015
29
an 0
1
(1 + an )
1 an
sen an an tg an arc sen an arctg an
1 cos(an )
(an )2
2
log(1 + an ) an
ean 1 an
Otras equivalencias
Si a0 0,
a0 nk + a1 nk1 + . . . + ak a0 nk
n! nn en 2n
(Stirling)
an
n + 50000
= lm
= 0.
n
bn
n2
Cuando el trmino general de una sucesin tiende a +, se suele decir que la sucesin es un
infinito.
30
lm
=
= I.
n
+
n
Para ello dividimos numerador y denominador por el infinito de mayor orden, obteniendo
log2 n
+ 1n
log2 n + 1
n
= lm
= 0,
lm
n
n
1
n
puesto que
log2 n n .
Sn = ak .
k=1
Definicin 1.5.2. Sea una sucesin de nmeros reales (an )nN , y sea (Sn )nN la sucesin
de sus sumas parciales, se llama serie nmeros reales y se denota
+
ak .
(1.8)
lm Sn ,
(1.9)
k=1
a
n
cuando exista.
Nota 1.5.3. Por extensin, la palabra "serie" y la expresin 1.8 tambin hacen referencia
a la sucesin de sumas parciales (Sn )nN .
Nota 1.5.4. Las expresiones "estudiar el carcter de una serie" o "estudiar la convergencia de una serie" quieren decir estudiar la existencia del lmite (1.9). La expresin
"sumar una serie" quiere decir calcular el lmite (1.9), cuando sea finito.
Ejemplo 1.5.5. Consideramos la serie
1
1 1 1
1
= 1 + + + + ... + n + ...
n
2 4 8
2
n=0 2
+
31
Definicin 1.5.6. Diremos que una serie de nmeros reales es convergente si la sucesin formada por las sumas parciales Sn es convergente. La serie se dice divergente si
la sucesin Sn es divergente. En otro caso diremos que la serie es oscilante.
Ejemplo 1.5.7.
1
es convergente y su suma es 2.
n
n=0 2
+
1. La serie
2. La serie 2n es divergente.
n=0
+
rn .
(1.10)
n=0
Sn = rk = 1 + r + r2 + . . . + rn
(1.11)
k=0
n
r Sn = rk+1 = r + r2 + . . . + rn + rn+1
k=0
con lo que
Sn r Sn = 1 rn+1 .
(1.12)
1 rn+1
.
1r
Calculamos el lmite de esta sucesin, en funcin de los valores de r .
Sn =
32
n+
1
R.
1r
1
n=1 n
(1.13)
1
r
n=1 n
+
an
n=1
an
n=n0
33
Nota 1.5.12. Teniendo en cuenta la proposicin 1.5.11, cuando slo nos interese el
carcter de una serie, escribiremos
an
en vez de
an
n=n0
+
n=0
1
1
es geomtrica de razn r = , luego convergente. Por
n
2
2
1
tanto, la serie n tambin es convergente. La suma de una y de la otra no coinciden,
n=3 2
ya que
+
7 1
1 + 1
n = n (a0 + a1 + a2 ) = 2 = .
4 4
n=3 2
n=0 2
+
an
con R {0} tienen el mismo carcter . Adems, en caso de que sean convergentes,
se tiene que
+
n=n0
n=n0
an = an .
n=n0
n=n0
n=n0
(an + bn ) = an + bn .
n=0
1
2n
n=0
1
son convergentes. Por tanto, la serie
3n
1
1
( n + n ) tambin es convergente y su suma es
3
n=0 2
n=0
1
1
1
1
3 7
+
)
=
+
=2+ = .
n
n
n
n
2
3
2 2
n=0 2
n=0 3
lm an = 0
n
34
2n
an converge bn converge.
con lo que
3
n+2
1
n
= 3 R (l 0) .
3
es divergente.
n+2
Semestre de primavera, curso 2014/2015
35
an = l, se tiene que
l > 1 an
no converge.
36
l > 1 an no converge.
l < 1 an
converge absolutamente.
Criterio de Raabe
entonces
an+1
),
an
1.6. Anexo
37
1.6. Anexo
1.6.1. La raz cuadrada en R
Definicin 1.6.1. Sea a R, a 0, se define la raz cuadrada de a, como el nmero
38
(1.14)
Esta frmula se obtiene sin ms que efectuar la divisin (an bn )/(ab) . A continuacin
mostramos la frmula (1.14) en los casos particulares n = 2 y n = 3 .
n=2
a2 b2 = (a b)(a + b) ,
n=3
a3 b3 = (a b)(a2 + ab + b2 ) .
Ejemplo 1.6.6.
3
lm ( n3 + an2 n) = + = I .
3
3 + an2 )2 + 3 n3 + an2 n + n2
(n
3
3
n3 + an2 n = ( n3 + an2 n)
3
3
(n3 + an2 )2 + n3 + an2 n + n2
n/ +an2 n/
a
n
.
3
3
(n3 + an2 )2 + n3 + an2 n + n2
3
(1.14)
1
n! =
n(n 1)!
si n = 0
si n 1.
1.6. Anexo
39
+
cos
,
2
2
+
+
cos
,
cos + cos = 2 cos
2
2
+
4.
2.
log x = log x ,
3.
log
( R),
1
= log x.
x
Otra notacin posible: ln x. Salvo expresa indicacin en contra, todos los logaritmos
sern neperianos.
Razones trigonomtricas hiperblicas
Definicin 1.6.10. Sea x R, se definen
seno hiperblico: Sh x =
ex ex
2
coseno hiperblico: Ch x =
ex + ex
2
40
1. Ch2 x senh2 x = 1
2. senh(x + y) = senh x Ch y + Ch x senh y
3. Ch(x + y) = Ch x Ch y + senh x senh y
1.7. Ejercicios
41
1.7. Ejercicios
El conjunto de los nmeros reales
1. (nivel 2) Demuestra la desigualdad triangular:
x + y x + y,
x, y R.
x2 = x
x+1=1
x2 1 = x 1
(x 1)(x + 1) = x 1
x = 0.
Por tanto, 1 = 0.
Encuentra el error (o errores) que cometi este estudiante.
4. (nivel 2) Resuelve las siguientes ecuaciones:
(a)
(b)
(c)
(d)
(e)
2x 3 = 5
2x 3 = x + 1
2x + 3 = x + 1
3 x x + 2 = 5
x 2 + x 1 = x 3
5 x1 < 1
x2 2 1
x < x2 12 < 4x
x 5 < x + 1
x2 7 x + 12 > x2 7 x + 12
Mtodo de induccin
6. (nivel 2) Demostrar por induccin:
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
42
n(n + 1)
2
(b) 1 + 3 + + (2n 1) = n2
(c) 12 + 22 + + n2 =
n(n + 1)(2n + 1)
6
(d) 2n > n
Nmeros complejos
7. (nivel 1) En cada caso, expresa nmero complejo z en la forma a + bi y calcula su
mdulo y su argumento principal
(a) z = (1 + i)2
(b) z = (1 + i)3
1+i
1i
3 + i
(d) z =
2 2i
(c) z =
(e) z = i5 + i16
1+i
(f) z =
2(1 + i8 )
(g) z = e 2 i
1 e2i
(h) z =
1 + e2i
(c) {z C ez = 1}
(b) {z C z + i = z i}
(d) {z C z < 2z + 1}
(e) (1)n
(f)
1
2n
3
an =
si n es impar
si n es par
10. (nivel 0) Calcular los lmites de las sucesiones cuyo trmino general es el siguiente:
(a)
5n3 + 2n 6
4n4 5n3 + 9
n2 1
(b)
n4 + 2n 1
1.7. Ejercicios
(c)
(d)
(e)
(f)
(g)
9n2 + 3n + 5
3n2 16n 13
2n 4
( n
)
e +4
3n + 2n
3n 2n
3n2 + 8n 10 8n+1
)
( 2
7n 10n + 2
3n + 2 2n 2
n
7n4 + 5n 1
(h) ( 4
)
2n 5n2 + 3n 2
(i) (n
43
n2 1)
n
(j)
n+ n+ n
(k)
3
3
n3 + an2 n3 an2
(m)
n+1
n1
4n2 1 (2n 1)
11. (nivel 2) Calcular los lmites de las sucesiones cuyo trmino general es el siguiente:
(a) (n log n)
1
1 2
n1 2
(b) ((a + ) + . . . + (a +
))
n
n
n
1 n
(c) (1 2 )
n
n2 + 2
n + 1 n 3
(d) (
)
n1
log nn
(e)
log n!
1
(f) (2n + 3n ) n
(g)
(np)
np
, pR
1
log (a + ) log a
n
, aR
(h)
1
n
n
n!
(i)
n
2 +10
5n4 3n + 1 5n
)
(j) (
5n4 + 8n
1
3
1 log
n
(k) ( )
n
2n (n!)2 n
(l)
(2n + 1)!
12. (nivel 3) Para cada una de las sucesiones, demostrar que tiene lmite y calcularlo.
(a)
(b)
u1 = 1,
un+1 = 2 + un .
v1 = 2,
v
2vn .
n+1 =
x1 = 4,
1
17
xn+1 = (xn + )
2
xn
44
n+
n+
a1 = 1,
an
an+1 = ,
n
(a) Demostrar que es convergente.
(b) Calcular su lmite.
(1)n
. Estimar el valor absoluto
n+1
n=1 n3
la diferencia entre esta suma y la suma de la serie.
+
17. (nivel 2) Determinar la convergencia de las siguientes series y sumar las tres
ltimas.
1
n
n=1 13
+
n
(a)
n+1
n=1
+
n+1
(b)
n+8
n=1
(d)
23n+4
2n+5
n=1 3
+
(e)
2n+1
n2
n=1 3
3
n=1 5 + 5n
(c)
(f)
+
n=1
n=1
n=1
18. (nivel 2) Dar un ejemplo de dos series an y bn tales que (an +bn ) converja,
+
n=1
n=1
1
= 1?
12
1
) diverge.
2n
Semestre de primavera, curso 2014/2015
1.7. Ejercicios
45
1
1
2
(b) n
4 3
cos(n)
(c)
3n 1
(1)n
(d) n
4 +1
(a)
(e)
3n
2n 1
.
n
n=1 5 + 1
+
3+n
(d)
4n
(e) en
(a)
n n
)
n+2
1
(g)
n
(f) (
(h)
(1)n
8n + 2
23. (nivel 2) Usando el criterio del cociente determinar si convergen las siguientes
series
+ 3 n
+
+
+
n3
3n
2n2 + n!
2 n
(b) 5
(c)
(d)
(a) n
n=1 n + 3n!
n=1 n!
n=1 2 n
n=1 3
24. (nivel 2) Utilizando el criterio de comparacin, determinar si convergen las series
de trmino general
(a)
cos n
n2
(b)
sen n
n3/2
(c)
n
+4
n2
(d)
n
+4
n3
25. (nivel 2) Utilizando el criterio de la raz, determinar el carcter de las series con
trmino general
(a)
3n
nn
(b)
nn
2n
(c)
2n
n3
(d)
n2
2n
46
sen4 n
n2
1
n 32
n2
2
(cos
)
n
n!
nn
nn
n!
n
cos2n (
)
2n + 4
n+1
(g) (
)
n
n3
(h)
(i)
(j)
(k)
(l)
(m)
1
n2
2
1 n n
(1 + ) e
n
1
1
sen cos
n
n
n
2
2 + 5n
3n
2
n +1
con a 0
nan
3
n
(n + 1) n
n
1
(n) ( )
n
1
n+ n
()
(o)
(p)
(q)
(r)
(s)
(t)
1
n(n + 1)(n + 2)
n2 n
a
n!
n+1
log(
)
n
(a + 1)(a + 2) . . . (a + n)
n!
2
1+n
n!
1 + sen3 n
nn
1
3
n( n + n n n)
+
n
2n + 3
(e)
n=1 (n + 1)(n + 2)(n + 3)
n=2 (n 1)n(n + 2)
+
n!
(d)
n=1 (n + 2)!
+
(c)
(a)
1
n=1 n(n + 1)(n + 2)
+
(b)
1
= 1.
n
n=1 2
(d) Con el criterio del cociente se determina la convergencia de cualquier serie.
+
(c)
k=1
k=1
a rn+1
.
1r
+
n=1
1
1
=
, entonces
=
.
4
4
90
1440
n=1 n
n=1 (2n)
+
(h) Si
+
1 2
1
2
=
,
se
tiene
que
=
.
2
2
6
8
n=1 n
n=1 (2n 1)
+
(i) Si
47
Mtodo de induccin
6.
Nmeros complejos
(e) 1 + i
7. (a) 2i
(b) 2 + 2i
(f)
(c) i
(g) i
(d) 1 2i
(h) i
1
4
+ 4i
1
2
(b)
(c)
(d)
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
48
0
e
1
3
1
(g)
p!
1
3
(h)
1
a
(i)
1
e
(j) 1
(k) e
(l) 0
12. (a) Observamos en primer lugar que un 0 para todo n. Despus se demuestra
por induccin que (un ) es creciente. Para hacer los clculos, observa que, al
ser un 0 la expresin un un+1 es equivalente a u2n u2n+1 . A continuacin,
se demuestra por induccin que 2 es una cota superior de (un ). Para hacer
los clculos, observa que, al ser un 0 la expresin un 2 es equivalente
a u2n 4. Con esto se demuestra
tomando
la existencia de lmite. Ahora,
lmites en la expresin un+1 = 2 + un se obtiene la igualdad l = 2 + l. Para
resolver esta ecuacin, la elevamos al cuadrado. Al hacer esto, hay que tener
en cuenta que podemos estar aadiendo soluciones espurias2 . La ecuacin
l2 l 2 = 0 tiene dos soluciones, la espuria l1 = 1 y la solucin del problema
l2 = 2. Con esto demostramos que el lmite de (un ) es 2.
(b)
13.
14.
2
espuria: http://lema.rae.es/drae/?val=espuria
1
12
128
(e) Converge, su suma es
243
(f) Converge, su suma es 36
18.
19.
1 n
20. (a) Converge, tomar bn = ( ) .
2
(b) Converge
(c) Converge
(d) Converge
(e) Diverge
(f) Diverge
(g) Diverge
21.
22. (a) Converge absolutamente, luego converge.
(b) Converge absolutamente, luego converge.
(c) Converge absolutamente, luego converge.
(d) Converge absolutamente, luego converge.
(e) Converge absolutamente, luego converge.
(f) No converge, luego no converge absolutamente.
(g) No converge, luego no converge absolutamente.
(h) Converge, no converge absolutamente.
23. (a) Converge.
(b) Diverge.
24. (a) Converge
(b) Converge
25. (a) Converge
(b) Diverge
(c) Converge.
(d) Diverge.
(c) Diverge
(d) Converge
(c) Diverge
(d) Converge
26.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
49
50
(h) Diverge
() Converge
(b) Diverge
(i)
(o)
(c)
(j)
(p)
(d) Converge
(k) Converge
(q)
(e)
(l)
(r) Converge
(f)
(m)
(s) Converge
(g)
(n)
(t)
27.
28. (a) Falsa
(b) Falsa
(c) Cierta
(d) Falsa
(e) Falsa
(f)
(g) Falsa
(h)
(i)
Tema 2
Funciones, lmites y continuidad en
Vamos a dedicar 5 horas de clase a este captulo. Debes resolver por tu cuenta los
ejercicios que no hayan sido resueltos en clase. No todos los ejercicios tienen la misma
dificultad. Para orientar tu trabajo, se ha etiquetado cada ejercicio en niveles, como en
el captulo anterior.
Tambin es recomendable consultar [1], [2], [3].
52
Funciones de R en R
x D .
Acotada inferiormente si
l R tal que f (x) l
x D .
Acotada si
C R tal que f (x) C
x D .
Proposicin 2.1.4. Una funcin f est acotada si y slo si est acotada superior e
inferiormente.
Definicin 2.1.5. Sea D R y sea f D R se dice que f es
creciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) f (x2 ),
estrictamente creciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) < f (x2 ),
decreciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) f (x2 ),
estrictamente decreciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) > f (x2 ) .
montona en D si es creciente o decreciente en D.
estrictamente montona en D si es estrictamente creciente o estrictamente decreciente en D.
Nota 2.1.6. Observa que las funciones crecientes mantienen el sentido de las desigualdades, mientras que las funciones decrecientes lo invierten. Observa tambin que las
funciones estrictamente montonas son inyectivas.
Semestre de primavera, curso 2014/2015
53
Definicin 2.1.7. Sea una funcin f A B con dominio A simtrico respecto del 0.
Se dice que f es par si para todo x A se tiene f (x) = f (x), y se dice que es impar
si para todo x A se tiene f (x) = f (x).
Ejemplo 2.1.8. La funcin del ejemplo 2.1.2, f (x) = x2 , es una funcin par. La funcin
f (x) = x3 es una funcin impar.
Nota 2.1.9. El grafo de una funcin par es simtrico respecto del eje vertical; el grafo
de una funcin impar es simtrica respecto del punto (0, 0).
Definicin 2.1.10. Sea una funcin f R R y sea p > 0. Se dice que f es una funcin
peridica de periodo p ( p-peridica) si f (x + p) = f (x) para todo x R.
Ejemplo 2.1.11. Las funciones seno y coseno son peridicas de periodo 2; la funcin
tangente es peridica de periodo (vase la seccin 2.5).
Nota 2.1.12. Para saber cmo es el grafo de una funcin peridica de periodo p basta
con conocerlo en un intervalo de longitud p.
f +g D R
x f (x) + g(x)
Producto de funciones.
f g D R
x f (x) g(x)
Producto de un escalar por una funcin.
f D R
x f (x)
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
54
Funciones de R en R
f D R
x f (x)
Ejemplo 2.2.2. Dadas las funciones f (x) = sen x y g(x) = cos x, la funcin suma
s = f + g viene dada por s(x) = sen x + cos x. El grafo de s se obtiene de forma muy
sencilla a partir de los grafos de las funciones f y g: en cada valor de la abscisa x, para
obtener s(x) basta con aadir a f (x) el valor de g(x). Vase la figura 2.1.
f +g
55
g C D
x g(x)
2.5
0.5
2
0.5
1.5
2.5
1.5
1
-0.5
0.5
-1
-1
Funcin cos x
-0.5
0.5
56
Funciones de R en R
xx0
si
0 < x x0 <
> 0 > 0 tal que si
xD
(Si x est "suficientemente cerca de x0 , se tiene que f (x) est tan cerca de `
como previamente habamos exigido).
Se dice que + es el lmite de f en x0 , y se escribe
lm f (x) = +
xx0
si
0 < x x0 <
M > 0 > 0 tal que si
xD
xx0
si
0 < x x0 <
M < 0 > 0 tal que si
xD
57
x+
si
(Si x es suficientemente grande, se tiene que f (x) est tan cerca de ` como
previamente habamos exigido).
Se dice que + es el lmite de f cuando x +, y se escribe
lm f (x) = + ,
x+
si
(Si x es suficientemente grande, se tiene que f (x) es mayor de lo que previamente habamos exigido).
Se dice que es el lmite de f cuando x +, y se escribe
lm f (x) = ,
x+
si
(Si x es suficientemente grande, se tiene que f (x) es menor de lo que previamente habamos exigido).
Se dice que ` es el lmite de f cuando x , y se escribe
lm f (x) = ` R ,
si
(Si x es suficientemente pequeo, se tiene que f (x) est tan cerca de ` como
previamente habamos exigido).
Se dice que + es el lmite de f cuando x , y se escribe
lm f (x) = + ,
si
(Si x es suficientemente pequeo, se tiene que f (x) es mayor de lo que previamente habamos exigido).
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
58
Funciones de R en R
si
M < 0 x1 < 0 tal que si x x1 , entonces f (x) < M . (Si x es suficientemente pequeo, se tiene que f (x) es menor de lo que previamente habamos exigido).
Nota 2.3.3. En la definicin 2.3.2, para definir los lmites cuando x + no es necesario
que el dominio de f sea R. Es suficiente que el dominio de f contenga un intervalo de la
forma (a, +). Anlogamente, para el caso de los lmites cuando x , es suficiente
que el dominio de f contenga un intervalo de la forma (, b).
Proposicin 2.3.4. Si una funcin tiene lmite en un punto x0 R, o en + o en
, el lmite es nico.
Definicin 2.3.5. Sean ` R, I un intervalo, x0 I tal que x0 no sea el extremo
derecho de I, y f I R, se dice que ` es el lmite por la derecha de f en x0 , y se
escribe
lm+ f (x) = ` ,
xx0
si
0 < x x0 <
> 0 > 0 tal que si
xI
Se pueden definir anlogamente (se propone como ejercicio) los dos lmites por la
derecha
lm+ f (x) = + ,
lm+ f (x) = ,
xx0
xx0
y, supuesto que x0 no sea el extremo izquierdo de I, los tres lmites por la izquierda
restantes
lm f (x) = ` ,
lm f (x) = + ,
lm f (x) = .
xx0
xx0
xx0
xx0
xx0
En este caso,
lm f (x) = lm+ f (x) = lm f (x) .
xx0
xx0
xx0
xx0
59
1
x sen
x
an =
1
,
2n
bn =
1
,
+ 2n
lgebra de lmites
Las tablas 2.1-2.10 son consecuencia inmediata de la proposicin 2.3.7 y las tablas
que tenamos para sucesiones. Tambin aqu, la letra "I" significa "interminacin", es
decir, con slo con saber los lmites de los operandos no sabemos cul es el lmite de
la operacin.
60
Funciones de R en R
`R
` R
` + `
`R
`>0
`=0
` R, ` > 0
` `
` = 0
` R, ` < 0
`R
`<0
` `
` `
` `
f =/ 0
` R, ` =/ 0
`=0
1/f
f >0
1/f
f <0
1/f
` R, ` =/ 0
1/`
` R, ` =/ 0
1/`
`=0
`=0
1/`
0
0
1
f
, f (x) 0 x D
`R
`>0
`=0
`R
`<0
` R, ` > 0
`/`
`/`
` = 0
` R, ` < 0
`/`
`/`
f
g
, g(x) 0 x D
61
62
Funciones de R en R
`R
`>0
`=0
` R, ` > 0
`/`
` = 0
`R
`<0
`/`
`=0
f
g
, g(x) > 0 x D
`R
`>0
`R
`<0
` R, ` < 0
`/`
`/`
` = 0
f >0
log f
` R, ` > 0
log `
`=0
f
g
, g(x) < 0 x D
`R
0<<1
>1
f
r
`R
`>0
r>0
`r
r<0
`r
`R
0<`<1
` R, ` < 0
``
` R, ` > 0
``
`R
`>1
``
``
63
64
Funciones de R en R
Clculo de lmites
Proposicin 2.3.11. (Regla del sndwich)
Dado un intervalo I, consideremos las funciones f, g, h I R. Sea x0 R{, +}.
Si
f (x) g(x) h(x) suficientemente cerca" de x0
y existe
lm f (x) = lm h(x) = `
xx0
xx0
con ` R {, +} ,
Nota 2.3.12. De la regla del sndwich, se deduce inmediatamente que el siguiente resultado.
Proposicin 2.3.13. Dado un intervalo I, consideremos las funciones f, g, I R.
Sea x0 R {, +}. Si lm = g(x) = 0 y f (x) est acotada suficientemente cerca"
xx0
de x0 , entonces
lm f (x)g(x) = 0.
xx0
lm f (x).h(x),
xx0
xx0
xx0
f (x)
g(x) h(x) = lm g(x).h(x)
xx0
g(x)
ya que
f (x)
= 1.
g(x)
Esto ser de utilidad cuando la expresin g(x).h(x) sea ms sencilla (desde el punto
de vista del clculo de lmites) que f (x).h(x). De manera anloga se puede proceder
en expresiones en las que intervengan cocientes.
lm
xx0
65
r 0
x0
1
1 r(x)
sen r(x)
1 + r(x)
r(x)
x0
x0
1 cos r(x)
er(x) 1
x0
x0
tg r(x)
x0
x0
arctg r(x)
(r(x))2
2
log(1 + r(x))
x0
x0
r(x)
r(x)
xx0
xx0
2
1
y g(x) =
. Tenemos que f g y, adems
2
0
x
1 cos x
1
lm(f (x) g(x)) = .
x0
6
xx
0
lm f (x) = + ,
xx+
0
lm f (x) = ,
xx
0
lm f (x) = .
xx+
0
66
Funciones de R en R
lm (f (x) y(x)) = 0 .
x+
x+
f (x)
.
x
2.4. Continuidad
Definicin 2.4.1. Sea D R y consideremos una funcin f D R. Sea x0 D D .
Se dice que f es continua en x0 si lm f (x) = f (x0 ).
xx0
2.4. Continuidad
67
En la definicin 2.2.1 vimos algunas operaciones con funciones. Si ambas funciones son
continuas, la nueva funcin tambin lo es.
Proposicin 2.4.3.
1. Sean f y g dos funciones continuas en x0 . Entonces, la funcin suma f + g y la
funcin producto f g son funciones continuas en x0 .
2. Sean f y g dos funciones continuas en x0 . Si g(x0 ) 0, entonces la funcin
f
cociente es continua en x0 .
g
3. Si f (x) > 0 x D y f y g son continuas en x0 , entonces f g es continua en x0 .
Veamos algunos ejemplos de funciones continuas
Ejemplo 2.4.4.
1. La funcin constante,
f RR
x k,
es continua en R.
2. La funcin identidad,
f RR
x x,
es continua en R.
3. Los polinomios son funciones continuas en R.
4. La funcin
f (0, +) R
x log x,
es continua en (0 + ).
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
68
Funciones de R en R
5. La funcin
f [0, +) R
x x,
es continua en [0, +).
Pueden obtenerse nuevas funciones continuas mediante la composicin de funciones
continuas.
Proposicin 2.4.5. Consideremos las funciones f I1 R y g I2 R, con I2 tal que
f (I1 ) I2 . Si f es continua en x0 y g es continua en f (x0 ), entonces la funcin g f
es continua en x0 .
Ejemplo 2.4.6. Sea I un intervalo, y sea f I R continua en I, entonces
si f (x) 0 x I, entonces las funcin
f es continua en I,
f (d) = mn f (x) .
x[a,b]
2.4. Continuidad
69
70
Funciones de R en R
xx0
o bien
x0 / D y existe lm f (x) R.
xx0
Si f tiene una discontinuidad evitable en x0 , entonces podemos definir otra funcin f cuyo dominio es D {x0 } de la siguiente manera
f (x) ,
f (x) =
lm f (x) ,
xx0
si x x0 ,
si x = x0 .
lm f (x) = ,
xx0
1/x
e , si x 0 ,
f (x) =
si x = 0 .
0,
tiene una discontinuidad no evitable de primera especie en x0 = 0.
2. La funcin
sen x , si x 0 ,
f (x) =
si x = 0 .
0,
tiene una discontinuidad no evitable de segunda especie en x0 = 0.
71
Funciones polinmicas
f R R
x a0 nk + a1 nk1 + + ak , a0 0
(a) f es continua en su dominio.
(b) Imagen de f :
si n es impar, f (R) = R,
si n es par
Si a0 > 0 f (R) es un intervalo de la forma [a, +),
Si a0 < 0 f (R) es un intervalo de la forma (, b],
En la grfica se muestran tres funciones polinmicas f , g y h de grados 2, 3 y 4,
respectivamente.
g
20
10
-3
-2
-1
-10
-20
Funcin seno1
f R R
x sen x.
-1
72
Funciones de R en R
Funcin coseno
f R R
x cos x
-1
Funcin tangente
Sea
D = R {x R cos x=0} = R {(2k + 1)
y
k Z} .
2
f D R
sen x
= tg x
cos x
x
(a) f es continua en D.
3
-
2
-
2
-5
-10
-15
73
Funcin arcoseno.
Esta funcin es la inversa de la restriccin de la funcin seno al intervalo [ 2 , 2 ].
f [1, 1] [ 2 , 2 ]
x y tal que sen y = x
(y = arc sen x)
-1
-0.5
0.5
-
2
Se puede obtener su grafo a partir del de la funcin funcin seno (pgina 55).
Funcin arcocoseno
Esta funcin es la inversa de la restriccin de la funcin coseno al intervalo [0, ]
f [1, 1] [0, ]
x y, tal que
cos y = x
(y = arc cos x)
-1
-0.5
0.5
74
Funciones de R en R
Funcin arcotangente
Esta funcin es la inversa de la restriccin de la funcin tangente al intervalo
( 2 , 2 )
f R ( 2 , 2 )
x y tal que tg y = x
(y = arctg x)
(a) f es continua en su dominio.
(b) f (R) = ( 2 , 2 ), luego f es una funcin acotada.
(c) Es impar.
(d) Es estrictamente creciente.
Se puede obtener su grafo a partir del de de la funcin tangente.
-5
-10
10
-
2
Funcin exponencial
f R R
x ex
(a) f es continua en su dominio.
(b) f (R) = (0, +), es decir, f (x) > 0 para todo x R.
(c) Es estrictamente creciente.
20
15
10
-3
-2
-1
75
Funcin logaritmo
Es la funcin inversa de la funcin exponencial.
f (0, +) R
x y tal que ey = x
(y = log x)
-1
-2
-3
-4
10
10
20
76
Funciones de R en R
Funcin coseno hiperblico
f R R
ex + ex
x
= Ch x
2
(a) f es continua en su dominio.
(b) f (R) = [1, +), luego f est acotada inferiormente.
(c) Es par.
La grfica correspondiente a esta funcin se llama catenaria.
http://www.fotomat.es/catenaria/
2
1.5
1
0.5
-1
-0.5
0.5
-6
-3
-1
77
Sh y = x
(y = ArgSh x)
Es la funcin inversa de la funcin seno hiperblico. Observa que est bien definida, ya que Sh x es biyectiva.
(a) f es continua en su dominio.
(b) f (R) = R.
(c) Es impar y estrictamente creciente.
3
2
1
-10
-5
10
-1
-2
-3
Ch y =x
(y = ArgCh x)
10
78
Funciones de R en R
Funcin argumento de la tangente hiperblica Es la funcin inversa de de la
funcin tangente hiperblica.
f (1, 1) R
x y tal que Th y =x
(y =ArgTh x)
-1
-0.5
0.5
-1
-2
-2
-1
-1
-2
x
x
x0
x<0
si
si
(a) Dominio: R .
(b) Es continua en su dominio
(c) f (R) = [0, +).
1.0
0.8
0.6
0.4
0.2
-1.0
-0.5
0.5
1.0
79
2.7. Ejercicios
81
2.7. Ejercicios
Conceptos bsicos
1. (nivel 2 los dominios y nivel 3 las imgenes) Calcula el dominio y la imagen de
las siguientes funciones
(a) f (x) = arctg(x x2 )
(b) f (x) = arc cos(x2 1)
3 +3x8)))
(h) f (x) =
2x 2+x
(i) f (x) = log
x2 + 1
x1
x2 2x
3 4x
x+1
x+2
(e) x2 + 2x + 3
x+2
(f) 4 2
x2
(b) e 2
(c)
3
x+1
(g) log
x
x+1
x1
x+1
(b) log(ex x)
(c)
(d)
x arctg x3
sen x cos x
(g) x3 + x2 + x + 1
x2 x
x3 x2
(h)
sen(x + 2)
x+2
82
Funciones de R en R
(b) Si f y g son crecientes, y g(x) 0 x, entonces f g es creciente.
(c) Si f es acotada superiormente, 1 + f 2 es acotada superior e inferiormente.
(d) Si f es peridica con periodo p, f (mx) es peridica con periodo p/m (m > 0).
(e) Si f y g son pares, entonces f g es par.
(f) Si f y g son impares, entonces f g es impar.
(g) Si f es par o impar, entonces f (0) = 0
Lmites
5. (nivel 0) Calcula
(a) lm x12
x0
x3 + 4x 2
x
x2 + 5
cos x x
(c) lm
x x +
x2 + 8x 20
(d) lm 2
x2 x x 2
(b) lm
1
(e) lm 2 x 2
x2
x3 + 1 x3 + 4x2 1
(f) lm
x+
x+1
x
2 2
(g) lm
x2
x
4 2x + 1 1
(h) lm 2
1
(x 1)2
x1
1
(i) lm log(1 + x)e x2
x0
6. (nivel 2) Calcula
ex 2x+1 1
(a) lm 3
x1 x 3x + 2
2
(b) lm
x2
cos(x 2) 1
(x 2) sen(2x 4)
(c) lm
1
(e) lm (1 x) 1 x
x1
log2 x
x1 x 1
(g) lm x x x
(f) lm
7. (nivel 3) Calcula
x+1
3x 1 x 1
(a) lm (
)
x1
x+1
(b) lm+ (
x3
1
)
x3
x2 x 6
2x2 4x 6
2.7. Ejercicios
log(1 + log(1 + ex ))
x+
cos x1 1
(c) lm
xa
log(1 + x)
2
x0 cos(ex 1) 1
(d) lm
(e) lm (
x2
x4
(f) lm
1
3x 3 sen(x 4)
)
x3
log x log a
xa
83
(a > 0)
1
(g) lm(x 2)8x 3 x 2
x2
x cos x x
(h) lm
x0
sen x2
x+
x
(b) lm 2
x1 x 1
1
2
sen
x
x 2
Continuidad
9. (nivel 3) Estudia si las siguientes afirmaciones son verdaderas o falsas
(a) Si f y g son discontinuas en un punto x0 , entonces f + g es discontinua en
x0 .
(b) Si f es continua en x0 , entonces f 5 es continua en x0 .
sen(b(x 2))
, x2
x2
a 1,
x=2
x2 1
, x 1
ax 2
b
x = 1
11. (nivel 2, salvo el apartado (f), que es de nivel 3) Halla los puntos de discontinuidad
de las siguientes funciones. Clasifica las discontinuidades
(a)
sen x2
x2
(b)
x2
x
1
84
Funciones de R en R
(c)
x+3
2
x 3x + 2
(d) log
(e)
2x
log x2 1
1, x Q
(f)
x, x R Q
x2 + 1
x1
12. (nivel 2) Halla las asntotas de los grafos de las siguientes funciones
(a)
x3 + 2x + 3
x2 + 4x 5
x2
(b) e 2
(e) log
(c)
x+3
x2
(f)
x2
x
+1
x1
x+1
(x2 1) arctg x
x+2
arctg x2
sen2 x + x2 cos x
2.7. Ejercicios
(a)
85
2
2
(c) e x
log(1 + sen4 x)
2 cos4 x + sen4 x
x
cos x
( 2x)
sen x
(e)
log (1 + arctg x)
(d) sen
(b)
x2 4
x3 + 2x2 7x 2
16. (nivel 2) Demuestra que si f [0, 1] [0, 1] es una funcin continua, entonces
existe c [0, 1] tal que f (c) = c.
17. (nivel 3) Sean f y g dos funciones continuas definidas en el intervalo [a, b] tales
que f (a) < g(a) y f (b) > g(b). Demuestra que f (x) = g(x) para algn x [a, b].
18. (nivel 3) Sea f [3, 5] R una funcin continua tal que f (x) 4 para todo
x [3, 5] y f (3) = 3, demuestra que f (5) < 4.
19. (nivel 2) Demuestra que si una funcin es continua y no tiene ceros en un intervalo
cerrado [a, b], entonces no cambia de signo en ese intervalo.
1
, halla sus puntos de discontinuidad y sus asntotas.
9
x
21. (nivel 2) Consideremos la funcin f (x) =
. Comprueba que f ( 3 ) > 0 y que
sen x
( 4 ) tal que f (c) = 0. Explica
f ( 4
3 ) < 0. Comprueba tambin que no existe c 3 , 3
por qu esto no contradice el teorema de Bolzano.
20. (nivel 1) Dada f (x) =
x2
(b) 2xy
x2
+ y 2
Tema 3
Calculo diferencial en
3.2. Introduccin
La recta tangente a una circunferencia en un punto P se puede obtener de forma
sencilla. Basta con trazar por P la recta perpendicular al radio que une el centro de
la circunferencia y el punto P . Este procedimiento es consecuencia de las propiedades
de la circunferencia. Cmo resolvemos el problema ms general de encontrar la recta
tangente para una curva cualquiera?
P
.
t?
88
Clculo diferencial en R
(3.1)
lm
existe y es real. En tal caso, dicho lmite se denota por f (x0 ) y se llama derivada de
f en el punto x0 , o simplemente derivada de f en x0 .
Qx
f (x)
f (x) f (x0 )
P
f (x0 )
x x0
x0
f (x0 ) = lm
(3.2)
f (1) = lm
89
Para calcular este lmite hemos tenido que resolver una indeterminacin del tipo 0/0.
No es de extraar, si tenemos en cuenta la definicin de derivada: tanto el numerador
(incremento de f ) como el denominador (incremento de x) tienden a cero.
Ejemplo 3.3.3. Vamos a hallar la derivada de la funcin seno en el punto x0 . Utilizamos la frmula (3.2) para escribir
sen x0 = lm
En la igualdad (*) hemos utilizado las propiedades de la funcin seno (vase la pgina
72) y la propiedad ya vista con las equivalencias:
sen h
= 1.
h0
h
lm
Adems, la funcin coseno es continua en todo punto, luego lmh0 cos (x0 + h/2) = 1.
De esta forma obtenemos que
sen x0 = cos x0 .
(3.3)
Ejercicio 3.3.4. Utilizando la definicin 3.3.1, demostrar que si una funcin f es
constante, es decir, f (x) = k para todo x R, entonces f (x0 ) = 0 para cualquier x0 .
Ejercicio 3.3.5. Utilizando la definicin 3.3.1, calcular:
1. f (2.5) para la funcin f (x) = 4x x2 .
2. f (a) para la funcin f (x) = xn .
90
Clculo diferencial en R
t
sx
Qx P
xa
Qx
sx t
xa
(3.4)
1
f (x
0)
(x x0 ) .
Ejemplo 3.3.6. Calculamos las ecuaciones de las rectas tangente y normal al grafo de
f (x) = x2 en el punto P de abscisa x = 1. En el ejemplo 3.3.2, hemos obtenido f (1) = 2.
Por tanto, la ecuacin de la recta tangente ser
y = f (1) + f (1) (x 1)
y = 1 + 2x ,
1
f (1)
(x 1)
y=
1
3
x+ .
2
2
91
Derivadas laterales
Definicin 3.3.8. Consideremos una funcin f I R, con I un intervalo. Sea x0 I
tal que f est definida en un intervalo a la derecha de x0 . Decimos que f es derivable
por la derecha en el punto x0 si el lmite
lm+
xx0
f (x) f (x0 )
x x0
(3.5)
existe y es real. En tal caso, dicho lmite se denota por f+ (x0 ) y se llama derivada de
f por la derecha de x0 . Anlogamente se define la derivada de f por la izquierda de x0 ,
f (x0 ) = lm
xx0
f (x) f (x0 )
.
x x0
(3.6)
f (x) f (0)
x
= lm+
= lm+ 1 = 1 ,
x0 x
x0
x0
f (0) = lm
x
f (x) f (0)
= lm
= lm (1) = 1 .
x0
x0
x0
x
x0
x0
Observemos que, si f es continua por la derecha en el punto x0 , entonces f+ (x0 ) representa la pendiente de la semirrecta tangente por la derecha al grafo de f por el
punto x0 . Anlogamente, si f es continua por la izquierda en x0 , f (x0 ) representa la
pendiente de la semirrecta tangente por la izquierda.
Del comentario anterior se puede deducir cmo es el grafo de una funcin f continua
en un punto a con derivadas laterales diferentes. Estos puntos suelen llamarse picos, o
puntos angulosos. Un ejemplo se muestra en la figura 3.3.
Ejercicio 3.3.11. Estudiar la derivabilidad de las siguientes funciones en los puntos
que se indican:
a) f (x) = x2 3x + 2, en x0 = 2 .
b) f (x) = x, en x0 Z .
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
92
Clculo diferencial en R
3
2
1
-1
f (1)
-1
-2
f+ (1)
-3
Continuidad y derivabilidad
Un resultado importante que relaciona los conceptos de continuidad y derivabilidad es
el siguiente.
Proposicin 3.3.12. Sea D R y consideremos una funcin f D R. Sea x0 D .
Si f es derivable en x0 , entonces f es continua en x0 .
f derivable en x0
f continua en x0
xx0
o, lo que es lo mismo,
lm (f (x) f (x0 )) = 0 .
xx0
xx0
f (x) f (x0 )
(x x0 )
xx0
x x0
lm
lm
xx0
f (x) f (x0 )
lm (x x0 ) = f (x0 ) 0 = 0 .
xx0
x x0
Como f es derivable en x0 , el primer lmite del producto existe y es real. En otro caso,
no podramos asegurar que el lmite del producto es cero (vase la tabla 2.2).
Nota 3.3.13. Segn la proposicin 3.3.12 la continuidad en un punto es condicin necesaria para que una funcin sea derivable en dicho punto. Dicha condicin no es
suficiente, es decir, en un punto una funcin puede ser continua y no derivable.
Semestre de primavera, curso 2014/2015
93
Ejemplo 3.3.14.
1. La funcin f de la figura 3.3 es continua en x0 = 1 y no es derivable en dicho
punto.
2. La funcin f (x) = x es continua en R y, por tanto, en x0 = 0, y no es derivable
en dicho punto.
3. Las siguientes funciones no son derivables en el origen:
5
1.5
1.5
0.5
0.5
2
-3
-2
-1
-0.5
-3
-2
-3
-2
-1
-1
-1
-1
-1.5
-1.5
-2
-2
-2
-1
f (0) f+ (0)
lmx0
f (x)f (0)
x
-0.5
= +
f no es continua en x = 0
b) f (x) = 3 x 1, en x0 = 1.
3
c) f (x) = x2 , en x0 = 0.
94
Clculo diferencial en R
En la seccin 2.2 tambin vimos las definiciones de funcin compuesta y funcin inversa.
Veamos qu ocurre con estas funciones respecto a la derivacin.
Proposicin 3.3.17. (Regla de la cadena)
Sean D1 , D2 R y consideremos las funciones f D1 R y g D2 R , con f (D1 )
D2 , tales que f es derivable en x0 , f (x0 ) D2 y g es derivable en f (x0 ). Entonces la
funcin h = g f es derivable en x0 . Adems,
h (x0 ) = g (f (x0 )) f (x0 )
(3.7)
Ejercicio 3.3.18. Obtener una expresin anloga a (3.7) para la composicin de tres
funciones.
Teorema 3.3.19. (Derivada de la funcin inversa)
Sea D R y consideremos una funcin inyectiva f D R. Sea x0 D y supongamos
que f es derivable en x0 , con f (x0 ) 0. Entonces la funcin inversa f 1 f (D) R
es derivable en f (x0 ). Adems,
(f 1 ) (f (x0 )) =
1
f (x0 )
(3.8)
95
n
x
en un punto x0 > 0. Para ello consideramos su inversa, la funcin f (y) = y n . Del ejercicio
3.3.5 tenemos que
f (y0 ) = n y0n1 .
Teniendo en cuenta que tambin g = f 1 ,
g (x0 ) =
1
f (g(x
0 ))
f (
1
1
1
=
=
.
n1
n1
n
n
x0 ) n( x0 )
n n x0
Ejercicio 3.3.21. Hallar las derivadas de las funciones arcoseno, arcocoseno, arcotangente y logaritmo a partir de las derivadas del seno, coseno, tangente y exponencial,
respectivamente. Comprobar que el resultado obtenido es el que aparece en la tabla
3.1.
f (x)
96
Clculo diferencial en R
Observemos que f est bien definida, puesto que f (x) R para todo x D.
Ejemplo 3.4.3.
1. La funcin f (x) = xn es derivable en R. En efecto, para cada punto x0 R la
aR
y = a xa1
y = ax
a>0
y = ax log a
y = ex
y = loga x
y = ex
x > 0, a > 0
y = log x
1
loga e
x
1
y =
x
y =
y = sen x
y = cos x
y = cos x
y = sen x
y = arc sen x
(x < 1)
y = arc cos x
(x < 1)
y = arctg x
1
cos2 x
1
y =
1 x2
1
y =
1 x2
1
y =
1 + x2
y =
y = tg x
97
y = ua
aR
y = a ua1 u
y = au
a>0
y = au log a u
y = eu
y = loga u
y = u eu
u > 0, a > 0
y = log u
u
loga e
u
u
y =
u
y =
y = sen u
y = u cos u
y = cos u
y = u sen u
y = tg u
y =
y = arc sen u
(u < 1)
y = arc cos u
(u < 1)
y = arctg u
u
cos2 u
u
y =
1 u2
u
y =
1 u2
u
y =
1 + u2
98
Clculo diferencial en R
-1
-0.5
0.5
1.5
-1
-1
-0.5
0.5
-1
f (x) = x3
f (x) = 3x2
1.5
-1
-0.5
0.5
1.5
-1
f (x) = 6x
De modo anlogo se pueden definir las derivadas tercera, cuarta, . . . En general, en los
puntos donde f (n1) sea derivable, la derivada n-sima f (n) se define como la derivada
de f (n1) , es decir, f (n) = (f (n1) ) .
tal que
f (x) f (x0 )
x (x0 , x0 + ) D .
tal que
f (x) f (x0 )
x (x0 , x0 + ) D, .
99
A veces, y por abuso de lenguaje, se suele decir que x0 es un mximo relativo, cuando
lo correcto es decir que x0 es un punto de mximo relativo de f en D. Precisamente,
si hay un mximo relativo de f en x0 , entonces f (x0 ) es ese valor mximo.
Ejemplo 3.5.2. La funcin de la figura siguiente presenta un mnimo relativo en el
punto b, y dos mximos relativos en los puntos a y c . Si el dominio de la funcin es
I = [d1 , d2 ], de acuerdo con la definicin 3.5.1, tambin hay dos mnimos relativos en
d1 y d2 .
f(c)
f(a)
f(b)
d1
d2
1.5
1
0.5
-1
-0.5
0.5
1.5
-0.5
-1
100
Clculo diferencial en R
(x 1) , si x < 1 ,
f (x) =
si x 1 ,
x 1,
no es derivable en x0 = 1 (vase el grafo de la izquierda en la figura 3.4). Sin
embargo, en ese punto, f tiene un extremo relativo.
4
3
2
2
-1
-1
-1
-2
(x 1) , si x < 1 ,
g(x) =
(x 1) , si x 1 ,
no es derivable en x0 = 1 (vase el grafo de la derecha). En ese punto, g no presenta un
extremo relativo.
En la prctica, para determinar los extremos relativos de una funcin, en primer lugar
obtendremos:
Los puntos crticos.
Los puntos en los que la funcin no es derivable.
Entre ellos haremos una seleccin, quedndonos con los que cumplen la definicin de
mximo o mnimo relativo.
Observemos que, si el intervalo I es de la forma [a, b], tambin debemos considerar los
puntos a y b. Si es de la forma (a, b] [a, b), debemos considerar, respectivamente, el
punto b y el punto a.
Semestre de primavera, curso 2014/2015
101
De momento, para estudiar si los puntos son mximos o mnimos relativos tenemos que
usar la definicin 3.5.1. Ms adelante, en la seccin 3.7, veremos un criterio sencillo
(teorema 3.7.5) para determinar si un punto crtico es mximo o mnimo relativo.
Ejercicio 3.5.7. Determinar los extremos relativos de las siguientes funciones:
a) f (x) = x e1/x ,
b) g(x) = x2/3 2x .
1/x
2/3
en el intervalo [1/e, 5] ,
2x en el intervalo [1, 1] .
102
Clculo diferencial en R
f (2) = 0
2.5
2
1.5
f (1) = f (3)
1
0.5
1
0.5
1.5
2.5
3.5
-0.5
-1
7.5
2.5
2.5
1.5
f (0) = f (2)
0.5
1.5
g(1) = g(3)
1
0.5
-2.5
-5
0.5
-7.5
-0.5
-10
-1
1.5
2.5
3.5
f (b) f (a)
(x a) .
ba
103
Obsrvese que el teorema del valor medio de Lagrange asegura la existencia de, al
menos, un punto en el que la derivada coincide con la pendiente de la recta secante
pasando por (a, f (a)) y (b, f (b)). Pero puede haber ms puntos en el intervalo [a, b]
con esa derivada. Por ejemplo, en la figura siguiente
x0
hay tres puntos en los que la recta tangente es paralela a la recta secante.
En trminos de espacio-tiempo, el teorema del valor medio de Lagrange tiene una
interpretacin bastante intuitiva. Si f (x) representa la posicin en el instante x de una
partcula que recorre el intervalo [f (a), f (b)], la funcin f (x) representa la velocidad
en el instante x. La velocidad media viene dada por
f (b) f (a)
.
ba
El teorema de valor medio de Lagrange asegura la existencia de, al menos, un momento
x en el que la velocidad instantnea coincide con la velocidad media.
En el ejercicio 3.3.4 vimos que, si una funcin f es constante, su derivada es cero.
Si el dominio de la funcin es un intervalo, entonces el recproco tambin es cierto.
Proposicin 3.6.3.
a) Sea f [a, b] R una funcin continua en [a, b] y derivable en (a, b), con
f (x) = 0 para todo x (a, b). Entonces f es constante en el intervalo [a, b] .
b) Sean f , g [a, b] R dos funciones continuas en [a, b] y derivables en (a, b), con
f (x) = g (x) para todo x (a, b). Entonces f y g difieren en una constante (vase
la figura siguiente).
6
f (x) = g (x)
c
f
g
-1
1
-2
-1
1
-2
f (x) g(x) = c
x (a, b)
104
Clculo diferencial en R
f (x) > 0
x (1, 5/2)
f (x) < 0
x (5/2, 9/2)
f (x) > 0
x (9/2, c)
f (x) > 0
x (c, +)
f (x) < 0
Semestre de primavera, curso 2014/2015
105
1
1
106
Clculo diferencial en R
f (x)
g(x) ,
xx0
f (x)
g(x)
(3.9)
xx0
f (x)
,
g (x)
(3.10)
xx0
f (x)
f (x)
= lm
.
g(x) xx0 g (x)
sen x
.
x
Como existe
cos x
= 1,
x0
1
aplicando la regla de LHpital obtenemos que
lm
lm
x0
sen x
cos x
= lm
= 1.
x0
x
1
107
di pn
(i)
(x0 ) = fx0 ,
i
dx
(n)
i = 0, . . . , n .
fx0 + fx 0
(n)
fx0
f x0
2
(x x0 ) + +
(x x0 )n ,
(x x0 ) +
2
n!
f = f (x0 ) ,
(n)
fx 0 = f (x0 ) ,
fx0 = f (x0 ) ,
... ,
f (n) (x0 )
f (x0 )
(x x0 )2 + +
(x x0 )n
2
n!
f (i) (x0 )
(x x0 )i .
i!
i=0
n
(3.11)
f (0) 2
f (n) (0) n
x ++
x .
2
n!
(3.12)
f (0) 2
f (5) (0) 5
x ++
x .
2
5!
108
Clculo diferencial en R
f (0) = 0
f (x) = cos x
f (0) = 1
f (x) = sen x
f (0) = 0
f (x) = cos x
f (0) = 1
f (4) (0) = 0
f (5) (0) = 1
1 3
1 5
x +
x .
6
120
1
1 1 1
1 1 1841
3
p5,0 ( ) =
+
=
=
0.47942708
.
2
2 6 23 120 25 3840
(3.13)
p5,0 (x)
1/2
f (x) = sen x
0
/2
Ejercicio 3.9.4. Calcular el polinomio de Taylor de orden 4 para la funcin f (x) = log x
en el punto x0 = 1 . Representar grficamente el logaritmo y su aproximacin polinmica
en un entorno de x0 = 1 .
Una vez obtenido el polinomio de Taylor para aproximar a una funcin, centraremos
nuestro inters en estudiar el error cometido en dicha aproximacin.
Semestre de primavera, curso 2014/2015
109
f (n+1) ()
(x x0 )n+1 ,
(n + 1)!
Rn,x0 (x)
= 0.
xx0 (x x0 )n
lm
Rn,x0 (x)
x0
(3.14)
En la figura 3.8 se muestran los polinomios de Taylor p1,0 , p3,0 , p5,0 y p7,0 para la funcin
f (x) = sen x en x0 = 0. Obsrvese que, conforme aumenta el grado del polinomio, la
aproximacin es mejor (vase la grfica de la izquierda). Adems, para cada polinomio
pn,0 , el error cometido es menor cuanto ms cerca estamos de x = 0 (vase la grfica de
la derecha).
En general, Rn,a (x), el error cometido mediante aproximaciones polinmicas no puede
calcularse de forma exacta. Aprenderemos a dar una estimacin de dicho error, es decir,
estudiaremos cmo acotar el resto n-simo.
Ejemplo 3.9.7. En el ejemplo 3.9.3 construimos el polinomio de MacLaurin de orden
5 para aproximar sen 0.5. Para estimar el error cometido al aproximar sen 0.5 mediante
p5,0 (0.5) debemos encontrar una cota superior razonable para R5,0 (x).
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
110
Clculo diferencial en R
p1,0 (x)
1
p5,0 (x)
p5,0 (x)
f (x) = sen x
Rn,0 (x)
p7,0 (x)
p3,0 (x)
f (6) () 6 sen 6
x =
x ,
6!
6!
con entre 0 y x .
sen
0.56 ,
6!
(0, 0.5) .
Tenemos que acotar superiormente el error cometido, es decir, el valor absoluto del
resto
1
sen
R5,0 (0.5) =
0.56 0.56 = 2.17 105 .
(3.15)
6!
6!
En el paso (), tenemos que encontrar una cota superior para la funcin sen x en el
intervalo (0, 0.5). Como sen x 1 para todo x R, en particular en el intervalo (0, 0.5)
tambin se puede tomar 1 como cota superior.
Si se procede de forma ms fina seguramente se podran encontrar cotas superiores
menores. Imaginemos que hemos sido capaces, despus de cierto esfuerzo, de ver que
sen x 0.8 en el intervalo (0, 0.5). Con esto, en lugar de obtener la estimacin del
error (3.15) hubisemos obtenido
R5,0 (0.5) =
sen
0.8 6
0.56
0.5 = 1.74 105 .
6!
6!
(3.16)
111
Tomando f (x) = tg x, todos los trminos pares se anulan puesto que la funcin es
impar. En consecuencia el polinomio ser de grado 3 y, como f (0) = 1 y f (0) = 2, el
polinomio resulta ser
1
p4,0 (x) = x + x3 .
3
Evaluando ahora en x = 0.25 obtenemos la aproximacin para tg 0.25
p4,0 (0.25) = 0.25 +
1
49
0.253 =
= 0.255208 tg 0.25 .
3
192
(3.17)
Utilizamos a continuacin el resto R4,0 (x) para dar una estimacin del error cometido
en la aproximacin anterior (3.17),
R4,0 (x) =
f (5) () 5
x ,
5!
con entre 0 y x .
f (5) ()
0.255 ,
5!
(0, 0.25).
R4,0 (0.25) =
f (5) ()
30 0.255
0.255
= 2.44 104 .
5!
5!
112
Clculo diferencial en R
error menor que 0.001. Como 4 e = e1/4 , elegimos la funcin f (x) = ex y buscamos una
aproximacin en x = 1/4 = 0.25. El punto x0 en el que centramos el polinomio debe ser
tal que sepamos calcular f (x0 ), f (x0 ), f (x0 ), . . . En este caso, una buena eleccin es
x0 = 0, que adems est prximo a x = 0.25 . En tal caso, el polinomio ser
pn,0 (x) = f (0) + f (0)x + +
f (n) (0) n
x .
n!
Como para todo k se tiene que f (k) (x) = f (x), para x = 0 obtenemos f (k) (0) = f (0) = 1.
As, el polinomio de Taylor de orden n es
pn,0 (x) = 1 + x +
x2
xn
++
.
2
n!
Para determinar n, tenemos que utilizar la frmula del error e imponer que ste sea
menor que 0.001
Rn,0,f (0.25) 0.001 .
Para ello escribimos el error
Rn,0,f (x) =
e
f (n+1) () n+1
x =
xn+1 ,
(n + 1)!
(n + 1)!
con entre 0 y x .
3
e
0.25n+1
0.25n+1 0.001 ,
(n + 1)!
(n + 1)!
(0, 0.25) .
3
2! 42
/ 0.001
n=2
3
3! 43
/ 0.001
n=3
3
4! 44
0.001
Luego basta con un polinomio de orden 3 para aproximar hasta las milsimas. El
polinomio es
x2 x 3
p3,0 (x) = 1 + x +
+ .
2 3!
Semestre de primavera, curso 2014/2015
113
4
e con la precisin requerida
1
493
1 1
+
+
=
= 1.28385416 1.284 .
4 32 348 384
4
e = 1.284025416687741, y comprobar que en efecto
pn,0 (0.25)
4
e = 0.17 103 .
Ejercicio 3.9.10. Obtener sucesivas aproximaciones de sen 0.5 con los polinomios de
MacLaurin de rdenes 1, 3, 5 y 7. En cada caso, estimar el error cometido en la
aproximacin. Observar cmo el error va disminuyendo segn aumenta el grado del
polinomio.
Ejercicio 3.9.11. Obtener sucesivas aproximaciones para los valores sen 0.5, sen 1 y
sen 1.5 mediante el polinomio de MacLaurin de orden 5. Observar cmo el error va
disminuyendo segn nos acercamos al punto x0 = 0.
Ejercicio 3.9.12. Aproximar con error menor que 0.01 el valor de log 1.3 .
.
x0
x3
6
lm
x3
+ R3,0 (x) .
6
,
lm
x0
x0
x0
x3
x3
6
6
3
114
Clculo diferencial en R
cos x
2 = 1,
1 x2
1
1x
b) lmx0
= 1,
d) lmx0
arctg x
= 1,
x
log(1 + x)
= 1.
x
lm
(1)k 2k+1
x
k=0 (2k + 1)!
p2n+1,0 = x
(1)k 2k
x
k=0 (2k)!
p2n,0 = 1
arctg x =
p2n+1,0 = x
1 k
x
k=0 k!
pn,0 = 1 + x +
pn,0 = (x 1)
sen x =
n
cos x =
(1)k 2k+1
x
k=0 2k + 1
n
ex =
(1)k+1
(x 1)k
k
k=1
n
log x =
x2 x4
(1)n 2n
+
+
x
2 24
(2n)!
++
(1)k+1 k
x
k
k=1
n
x3 x5
(1)n 2n+1
+
+
x
6 120
(2n + 1)!
x3 x5
(1)n 2n+1
+
+
x
3
5
2n + 1
x2 x3
1
+
+ + xn
2
6
n!
(x 1)2 (x 1)3
+
2
6
(1)n+1
(x 1)n
n
x2 x 3
(1)n+1 n
+
+
x
2
3
n
log(1 + x) =
pn,1 = x
n
1
= xn
1 x k=0
pn,0 = 1 + x + x2 + x3 + + xn
n
1
= (1 x)k
x k=0
115
c
sen =
,
r = a,
2 2r
de donde obtenemos la ecuacin no lineal
c
sen =
.
(3.18)
2 2a
En esta ecuacin no es posible obtener una expresin explcita para . En esta seccin
vamos a estudiar mtodos numricos para resolver ecuaciones no lineales.
Definicin 3.10.1. Consideremos una funcin f I R R. Los puntos s R tales
que
f (s) = 0 ,
se llaman ceros de la funcin f o races de la funcin f .
Para muchas funciones, por ejemplo, los polinomios de grado menor o igual que cuatro, existen frmulas para hallar todos sus ceros de forma exacta. Sin embargo, para
la mayora de las funciones tales frmulas no existen y tenemos que conformarnos con
aproximaciones de las races mediante algn mtodo numrico. En este tema estudiaremos mtodos numricos para calcular races de ecuaciones no lineales de la forma
f (x) = 0 .
Grficamente, para determinar los ceros de una funcin f , basta hallar la interseccin
entre la recta y = 0 y la curva y = f (x). En el siguiente grafo se muestra el cero de la
funcin f (x) = x ex .
1.5
1
0.5
0.5
1.5
-0.5
-1
116
Clculo diferencial en R
As como una funcin lineal f (x) = ax b, con a 0, tiene siempre una nica raz,
s = ab , las soluciones de ecuaciones no lineales pueden ser muy variadas. Por ejemplo,
la ecuacin x2 + 1 = 0 no tiene ninguna raz real, x ex = 0 tiene una nica raz,
x2 + 3x + 2 = 0 tiene dos races, mientras que cos x 12 = 0 tiene infinitas races.
Antes de plantear un mtodo de aproximacin de races, hemos de estudiar si el problema posee solucin nica. En el caso en que haya ms de una raz, tenemos que
limitar el intervalo de trabajo de tal forma que en ste la raz sea nica. En otro caso,
el mtodo de aproximacin utilizado puede proporcionar una solucin no deseada.
Los mtodos que vamos a usar para resolver numricamente ecuaciones no lineales
son mtodos iterativos. A partir de m valores iniciales x0 , . . . , xm1 construimos una
sucesin
xm , xm+1 , xm+2 , . . . , xk0 1 , xk0 , xk0 +1 , . . . ,
tal que xn s, cuando n , siendo s la raz de la ecuacin no lineal que deseamos
aproximar.
Con un ordenador no es posible calcular los infinitos trminos de la sucesin (xn )nN .
Por ello, con los mtodos iterativos generalmente no se obtiene la raz s, sino una
aproximacin de sta. En estos mtodos se van construyendo trminos de la sucesin
hasta que el proceso se detiene, por ejemplo, en el trmino k0 ,
RRR
x0 , x1 , x2 , x3 , x4 , x5 , . . . , xk0 1 , xk0 , RRRRR xk0 +1 , . . . ,
RRR
PARAR
y se toma xk0 como aproximacin del lmite, esto es, s xk0 . Para detener las iteraciones
se necesita algn criterio de parada. Los criterios ms usuales son
i) xn xn1 < TOL,
ii)
xn xn1
< TOL.
xn
1
< 103 ,
n10
para n 2 .
Semestre de primavera, curso 2014/2015
117
Con este criterio de parada y esta tolerancia daramos como buena la aproximacin
s x2 = 1.5, cometiendo un error absoluto muy grande, erra = 0.5. Sin embargo, el
criterio de parada ii) con TOL = 103 obliga a tomar n 1002. En este caso tomaramos
como aproximacin s x1002 = 1.0009980. El error absoluto que cometemos es erra =
9.98 104 .
118
Clculo diferencial en R
ba
,
2n
n 1.
2n
log (ba)
log 2
an
bn
xn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
0
0.50000000
0.50000000
0.50000000
0.56250000
0.56250000
0.56250000
0.56250000
0.56640625
0.56640625
0.56640625
0.56689453
0.56713867
0.56713867
1.0000000
1.0000000
0.75000000
0.62500000
0.62500000
0.59375000
0.57812500
0.57031250
0.57031250
0.56835938
0.56738281
0.56738281
0.56738281
0.56726074
0.50000000
0.75000000
0.62500000
0.56250000
0.59375000
0.57812500
0.57031250
0.56640625
0.56835938
0.56738281
0.56689453
0.56713867
0.56726074
0.56719971
119
Mtodo de Newton-Raphson
Deseamos hallar una raz s de f (x) = 0. Para ello vamos a considerar el siguiente
mtodo
x
dado ,
0
f (xn )
(3.20)
,
n 1.
xn+1 = xn
f (xn )
1
a
(xn + ) .
2
xn
120
Clculo diferencial en R
x0 = 4
x1 = 3.625
x2 = 3.605603448275862
x3 = 3.605551275463989293119221267470495946251
x4 = 3.605551275463989293119221267470495946251
Ejercicio 3.10.8. Utilizar el mtodo de Newton para aproximar la solucin de la
ecuacin x + log x = 3 .
Ejercicio 3.10.9. Utilizar el mtodo de Newton para aproximar la solucin de la
ecuacin
c
sen
= 0,
2 2a
con c = 40, a = 43 (vase la ecuacin (3.18)).
Mtodo de Newton con races mltiples
Como hemos sealado anteriormente, una de las condiciones para asegurar la convergencia del mtodo de Newton es que f no se anule cerca" de la raz de f . Para algunos
tipos de races esta condicin no se cumple.
Definicin 3.10.10. Dada una funcin f , se dice que s es un cero de multiplicidad
m si
f (s) = f (s) = = f (m1) (s) = 0 ,
f (m) (s) 0 .
As, si f (s) = 0, pero f (s) 0, el cero es simple; si f (s) = f (s) = 0, pero f (s) 0,
el cero es doble; si f (s) = f (s) = f (s) = 0, pero f (s) 0, el cero es triple, . . .
Ejemplo 3.10.11.
1. La funcin f (x) = ex x1 tiene un cero doble en s = 0 ya que f (0) = 0, f (0) = 0,
pero f (0) = 1.
2. La funcin f (x) = (x 1)2 (x 2) tiene un cero doble en s = 1 y un cero simple
en s = 2.
121
x2 + 1
.
x1
Dominio de f :
Como el numerador y denominador son funciones continuas en R, slo habr que
excluir las races del denominador. En este caso, f es continua en D = R/{1}.
Simetras y periodicidad:
Para el estudio de las simetras, calculamos f (x) = (x2 + 1)/(x + 1). Se tiene
que f (x) f (x), por lo que f no es par. Como f (x) f (x), f no es impar.
La funcin f no es peridica.
Cortes con los ejes:
El nico corte con el eje de ordenadas se corresponde con la imagen de x = 0,
esto es, el punto P = (0, f (0)). En este caso P = (0, 1). Los posibles cortes con
el eje de abscisas se corresponden con las antiimgenes de y = 0. Por lo tanto,
tenemos que resolver la ecuacin, posiblemente no lineal, f (x) = 0. En este caso,
dicha ecuacin no tiene soluciones, por lo que no hay cortes con el eje OX.
Estudio asinttico:
Estudiamos, en primer lugar, las asntotas verticales. De la definicin 2.3.19
de la pgina 65 se deduce que si la funcin f tiene una asntota vertical en
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
122
Clculo diferencial en R
x = x0 , entonces f no puede ser continua en ese punto. En este problema la
nica asntota posible es x = 1. Se tiene que
lm+
x1
x2 + 1
2
= + = + ,
x1
0
lm
x1
x2 + 1
2
= = .
x1
0
m = lm
b = lm (f (x) mx) .
x+
m = lm
h = lm (
x+
x2 + 1
1x) = 1 R ,
x1
lm (
x2 + 1
1 x) = 1 R ,
x1
x2 2x 1
.
(x 1)2
(3.21)
Resolviendo
f (x) = 0 obtenemos los puntos crticos de f , en este
la ecuacin
x (, 1 2)
f (x) > 0
f creciente
x (1 2, 1)
f (x) < 0
f decreciente
x (1, 1 + 2)
f (x) < 0
f decreciente
x (1 + 2, +)
f (x) > 0
f creciente
Por tanto,
f
alcanza
un
mximo
local
en
x
=
1
2,
y un mnimo
local en
puntos
correspondientes
son
M
=
(1
2,
f
(1
2)) y m =
x =
1 + 2. Los
(1 + 2, f (1 + 2)) .
Semestre de primavera, curso 2014/2015
123
Estudio de f :
Si todo el estudio anterior no ha aportado informacin suficiente sobre la grfica
de f , se puede hacer uso de la derivada segunda. De la misma forma que con f
estudiamos el crecimiento de una funcin, con la derivada segunda f estudiamos
el grado de curvatura de f .
f (x) 0
f (x) > 0
f (x) = 0
f (x) < 0
f (x) 0
4
.
(x 1)3
x (, 1)
f (x) < 0
cncava
x (1, +)
f (x) > 0
convexa
Puede resultar til resumir en una tabla los resultados obtenidos durante el desarrollo de los puntos anteriores, evaluando la funcin f en los puntos notables que vayan
apareciendo.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
124
Clculo diferencial en R
x
f (x)
1+
1 2
1+ 2
2 2 2 0.83
2 + 2 2 4.83
10
8
6
4
2
-2
-2
-4
-6
Tomar i = 1
Paso 2
Paso 3
Paso 4
Paso 5
Paso 6
Paso 7
Tomar p = (a + b)/2
Si f (p) = 0, (b a)/2 < T OL, entonces
SALIDA (p); PARAR
Tomar i = i + 1
Si f (a) f (p) > 0 tomar a = p
en otro caso tomar b = p
Tomar i = 1
Paso 2
Paso 3
Paso 4
Paso 5
Paso 6
Paso 7
125
Bibliografa
[1] R. A. Adams. Clculo. Editorial Addison Wesley, Madrid, 2009.
[2] A. Garca y otros. Clculo I. Teora y problemas de Anlisis Matemtico en
una variable. Editorial CLAGSA, Madrid, 1993.
[3] B. Garca, I. Higueras, T. Roldn. Anlisis matemtico y mtodos numricos. Universidad Pblica de Navarra (2 edicin revisada), 2007.
[4] J. L. Lpez. lgebra lineal. Universidad Pblica de Navarra, 2007.
127