Beruflich Dokumente
Kultur Dokumente
I
(Introducci
on al c
alculo de una variable)
Universidad Polit
ecnica de Madrid
Escuela T
ecnica Superior de Ingenieros Industriales
Septiembre, 2015
INDICE
Los n
umeros reales. Aplicaciones: generalidades
Los n
umeros naturales, enteros, racionales y reales . . . . . . . .
La recta real: relacion de orden, desigualdades e intervalos . . .
El valor absoluto de un n
umero real . . . . . . . . . . . . . . . . . .
Conjuntos acotados: maximo, mnimo, supremo e nfimo . . . .
Propiedad arquimediana, parte entera de un n
umero real y
densidad de los racionales en los reales . . . . . . . . . . . . . . . .
1.6 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7 Aplicaciones: generalidades . . . . . . . . . . . . . . . . . . . . . . .
1.8 Operaciones elementales con funciones, composici
on de funciones y funcion inversa . . . . . . . . . . . . . . . . . . . . . . . . . .
6
7
9
10
1.1
1.2
1.3
1.4
1.5
4.2
4.3
4.4
4.5
20
24
25
28
29
30
33
35
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Derivaci
on
4.1
18
20
13
14
16
35
40
42
46
50
Definicion de derivada de una funcion en un punto e interpretacion geometrica de la derivada. Derivadas laterales . . . .
Continuidad y derivabilidad . . . . . . . . . . . . . . . . . . . . . . .
Derivadas sucesivas de una funcion . . . . . . . . . . . . . . . . . .
Reglas de derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Derivada de la composicion de funciones (regla de la cadena)
y derivada de la funcion inversa de una dada . . . . . . . . . . . .
50
55
58
59
62
.
.
.
.
.
.
.
.
.
.
65
66
70
71
73
76
propiedades ele. . . . . . . . . . . . 76
. . . . . . . . . . . . 79
. . . . . . . . . . . . 80
.
.
.
.
.
.
83
88
89
91
91
95
98
10
.
.
.
.
.
83
La integral de Riemann
8.1
8.2
8.3
.
.
.
.
.
F
ormula de Taylor
7.1
7.2
7.3
7.4
7.5
7.6
.
.
.
.
.
65
114
Funciones elementales
125
10.1 Introducci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
10.2 Funci
on logaritmo y funcion exponencial . . . . . . . . . . . . . . . 125
10.3 Funciones trigonom
etricas y sus inversas . . . . . . . . . . . . . . . 131
11
M
etodos de integraci
on
11.1
11.2
11.3
11.4
11.5
135
Bibliografa
.
.
.
.
.
.
.
.
135
135
137
138
141
141
144
145
149
N
umeros reales. Aplicaciones: generalidades
Los n
umeros reales. Aplicaciones: generalidades
1.1
Los n
umeros naturales, enteros, racionales y reales
El conjunto de los n
umeros naturales N = {0, 1, 2, ..., n, ...}.
N cumple dos principios importantes que ademas se puede demostrar que son equivalentes:
Principio de inducci
on. Sea una propiedad P . Si un n
umero natural n cumple
la propiedad P escribiremos P (n). El principio de induccion dice que si se cumplen
las dos siguientes condiciones:
1. P (0) (es decir, el 0 cumple la propiedad P )
2. Para cualquier natural k se tiene que P (k) P (k + 1) (es decir, el hecho de
que un n
umero natural k cumpla la propiedad significa que k + 1 tambien la
cumple)
entonces la propiedad P se cumple para todos los n
umeros naturales, n N, P (n).
Principio de buena ordenaci
on: si A N y A es no vaco entonces A tiene un
elemento mnimo. Este principio permite ordenar cualquier conjunto de n
umeros
naturales.
El principio de induccion se usa con mucha frecuencia en matematicas para demostrar
que determinadas afirmaciones son ciertas para todo n
umero natural n. Se comprueba
que el resultado es cierto para un cierto n
umero natural (normalmente el 0 o el 1), se
prueba que si es cierto para n N tambien lo es para n + 1 N y aplicando el principio
se obtiene que es cierto para todo n. Se dan algunos ejemplos en un apartado posterior.
El conjunto de los n
umeros enteros Z = {0, 1, 2, ..., n, ...}.
Existen problemas sencillos en los que los n
umeros naturales no son suficientes. Los
n
umeros enteros son una extension de los n
umeros naturales que permiten, por ejemplo,
dar sentido a ecuaciones del tipo a + x = b con a, b N fijos que no tienen solucion en N
cuando a > b.
El conjunto de los n
umeros racionales Q = {n
umeros de la forma p/q con p, q Z}.
Los n
umeros racionales se pueden representar en una recta horizontal de la siguiente
manera: se dibuja una recta horizontal y se eligen en ella dos puntos: el que esta mas a
la izquierda representa el n
umero 0 y el que esta mas a la derecha el n
umero 1. Una vez
que estan fijadas las posiciones del 0 y del 1 para representar el n
umero p/q se divide el
segmento (0, 1) en q partes y se lleva la longitud de una de las partes que resulta de la
division p veces hacia la derecha a partir del 0 (si p/q es positivo) o hacia la izquierda (si
p/q es negativo). El punto que resulta es la representacion grafica del n
umero racional
p/q. A la derecha del 0 se representan los n
umeros positivos y a la izquierda los negativos.
Si se escriben en forma decimal es facil ver que los n
umeros racionales tienen siempre una
cifra o un conjunto de cifras decimales que se repiten indefinidamente a partir de una cifra
b Para
en adelante. Por ejemplo, 4.3424242... que se escribe abreviadamente como 4.342.
N
umeros reales. Aplicaciones: generalidades
recuperar el n
umero pero escrito como cociente de dos enteros p/q basta tener en cuenta
b = 4342.42/1000
b
b = 43.42/10.
b
b 43.42
b = 4299 y si
que 4.342
y que 4.342
Ademas 4342.42
b
p/q = 4.342 se tiene por tanto que
p
p
p
p
4299
1433
1000 10 = 990 = 4299 de donde
=
=
q
q
q
q
990
330
Otra manera equivalente de hacer lo mismo es escribir
b
b
43.
42
43
0.
42
43
0.42
1
1
b =
4.342
=
+
=
+
1+
+
+ ...
10
10
10
10
10
100 10000
43 0.42
1
43 4.2
1433
=
+
=
+
=
10
10 1 1/100
10
99
330
teniendo en cuenta que la expresion entre parentesis es la suma de los infinitos terminos
de una progresion geometrica de razon 1/100.
El conjunto de los n
umeros reales R.
Es facil ver que hay n
umeros que no se pueden escribir en la forma p/q donde p y q son
dos n
umeros naturales. Estos n
umeros se llaman irracionales
y junto con los racionales
constituyen el conjunto de los n
umeros reales. Por ejemplo, 2, el n
umero e base de los
logaritmos
neperianos o son n
umeros irracionales. La demostracion de que, por ejemplo,
Si 2 se pudiera
umero racional entonces, simplificando la fraccion, se
escribir como un n
tienen mas divisores comunes que el 1, en otras
obtendra que 2 = p/q donde p y q no
palabras, la fraccion es irreducible. De 2 = p/q se obtiene que 2 = p2 /q 2 o bien que
p2 = 2q 2 y por tanto que p2 es par lo que significa que forzosamente p tambien es par.
Pero entonces p se puede escribir como p = 2k con k un n
umero natural y por tanto,
como p2 = 2q 2 , se tiene que 4k 2 = 2q 2 o, lo que es lo mismo, q 2 = 2k 2 . Pero eso significa
que q 2 es par y por tanto q tambien es par.
Se llega entonces a la conclusion de que tanto p como q son pares, en contradiccion con
la hipotesis de que el u
nico divisor com
un que tienen es el 1.
1.2
Los n
umeros racionales no llenan la recta horizontal sobre la que se han representado.
El procedimiento
grafico siguiente permite representar sobre dicha recta los n
umeros ir
(0,
1)
se
construye
un
cuadrado
racionales, 2 en este caso concreto: sobre el intervalo
de lado igual a 1 cuya diagonal tiene longitud igual a 2. Esta longitud se lleva con un
comp
as sobre la recta horizontal y el punto de interseccion es la representacion grafica de
2. A esta recta sobre la que se representan los n
umeros reales se le llama la recta real
R.
En la recta real se introduce una relaci
on de orden: dados dos puntos x e y se dice
que x es menor que y (o tambien que y es mayor que x) y se escribe x < y (y > x) si
x esta a la izquierda de y. Si de un punto x R se sabe que es menor o igual que otro
punto y se escribe x y (o bien y x). Esta relacion de orden permite introducir dos
nuevos puntos, mas y menos infinito que se representan + y (a veces en lugar de
N
umeros reales. Aplicaciones: generalidades
x y ax ay
x y ax ay
si
si
a R+
a R
(1.1)
(1.2)
(1.3)
N
umeros reales. Aplicaciones: generalidades
1.3
El valor absoluto de un n
umero real
Sea x un n
umero real cualquiera, x R. Se define |x|, el valor absoluto de x, como
x si x > 0
0 si x = 0
|x| =
x si x < 0
de modo que el valor absoluto de x es siempre un n
umero positivo o cero que coincide
con el n
umero si este es positivo y es el n
umero cambiado de signo cuando es negativo.
Independientemente de que a < b o de que b < a el valor absoluto permite definir la
distancia entre los puntos a y b como d(a, b) = |a b| que es una cantidad positiva o cero
y solo es cero cuando ambos puntos coinciden.
El valor absoluto de un n
umero tiene una serie de propiedades elementales que hay que
N
umeros reales. Aplicaciones: generalidades
10
1.4
Conjuntos acotados: m
aximo, mnimo, supremo e nfimo
N
umeros reales. Aplicaciones: generalidades
11
max(A) = min(A)
(1.4)
N
umeros reales. Aplicaciones: generalidades
12
Proposici
on 1.1 (Caracterizaci
on del supremo) Se dice que a R es el supremo de
A si y solo si se cumplen las dos siguientes condiciones:
1) a es cota superior de A.
2) > 0 existe un x A tal que se tiene que a < x a.
(1.5)
(1.6)
(1.7)
(1.8)
N
umeros reales. Aplicaciones: generalidades
13
Y de la misma manera:
Existencia del nfimo
Si A R es un conjunto de n
umeros reales no vaco y acotado inferiormente entonces
existe el inf(A)
1.5
Los resultados anteriores permiten obtener otros que se usan con frecuencia en todo tipo
de razonamientos en calculo. Se usan por ejemplo para demostrar un resultado, evidente
intuitivamente, pero que en un planteamiento riguroso es necesario demostrar y que se
conoce con el nombre de la propiedad arquimediana de los n
umeros reales:
Proposici
on 1.3 (Propiedad arquimediana de los reales) Para todo n
umero real x
existe un n
umero natural n tal que n es mayor que x.
Los resultados anteriores permiten a su vez demostrar la siguiente afirmacion:
Proposici
on 1.4 (Parte entera de un n
umero real) Dado un n
umero real x existe
siempre un u
nico n
umero entero n tal que n x < n + 1. Al n
umero entero n se le llama
parte entera del n
umero real x y se representa n = [x].
Tambien en muchas ocasiones se maneja en calculo el conjunto A R constituido por
los n
umeros racionales 1, 1/2, 1/3, ...., 1/n, .... es decir, A = {1/n con n N {0}} y el
hecho de que el nfimo de A es el 0, inf(A) = 0.
Esta u
ltima afirmacion es consecuencia de que claramente A es un conjunto no vaco y
acotado inferiormente y por tanto tiene nfimo y, por otro lado, tan cerca como se quiera
de 0 se pueden encontrar elementos de A de donde se deduce, aplicando la caracterizacion
expuesta mas arriba, que inf(A) = 0.
Por u
ltimo es posible demostrar otro resultado importante conocido como densidad de Q
en R:
Proposici
on 1.5 (Densidad de los n
umeros racionales en los reales) En todo intervalo (a, b) no degenerado existen infinitos puntos racionales (y de forma similar se
puede demostrar que existen tambien infinitos irracionales).
N
umeros reales. Aplicaciones: generalidades
1.6
14
Ejemplos
(1.9)
N
umeros reales. Aplicaciones: generalidades
15
(a + b)
n
X
n j nj
= (a + b) (a + b) = (a + b)
ab
j
j=0
n
n
X
n j+1 nj X n j n+1j
=
a b
+
ab
j
j
j=0
j=0
n+1
n
X
X
n
n j n+1j
q nq+1
=
ab
+
ab
q
1
j
q=1
j=0
n
(1.13)
donde la u
ltima igualdad se obtiene haciendo en el primer sumatorio el cambio de ndice
j + 1 = q (y por tanto cuando j vale 0 entonces q vale 1 y cuando j vale n, q vale n + 1).
En el primer sumatorio de (1.13) se escribe aparte el sumando q = n + 1 y en el segundo
sumatorio el sumando j = 0 de modo que resulta:
n
n
X
n n+1 0
n n+1 0 X
n
n j n+1j
n+1
q nq+1
(a + b)
=
a b +
b a +
ab
+
ab
n
0
q
1
j
q=1
j=1
n
n n+1 0 X
n
n
n n+1 0
=
a b +
b a +
+
aj bnj+1
n
0
j1
j
j=1
n
n n+1 0
n n+1 0 X n + 1 j nj+1
=
a b +
b a +
ab
n
0
j
j=1
donde se ha tenido en cuenta la propiedad (1.11). Como por otro lado, seg
un (1.12):
n
n
n+1
n+1
=
=
=
=1
n
0
n+1
0
se llega a que
(a + b)
n+1
n
n + 1 n+1 0
n + 1 n+1 0 X n + 1 j nj+1
=
a b +
b a +
ab
n+1
0
j
j=1
n+1
X n+1
=
aj bnj+1
j
j=0
que es la formula que se quera demostrar. Luego el principio de induccion permite afirmar
que la formula del binomio es cierta para todo n
umero natural n.
Ejemplo 1.3 Expresar en forma de intervalo o union de intervalos el conjunto de n
umeros
reales x que cumplen la desigualdad
|x 1| + |x + 1| > 2
|x 1| es la distancia de x a 1 y |x + 1| la de x a 1, de modo que |x 1| + |x + 1| > 2
es el conjunto de n
umeros x la suma de cuyas distancias a 1 y a 1 es mayor que 2.
Claramente si 1 x 1 la suma de las distancias de x a 1 y a 1 es igual a 2 de modo
N
umeros reales. Aplicaciones: generalidades
16
que los n
umeros entre 1 y 1 no cumplen la desigualdad. En cambio, si x > 1 o x < 1
es claro que la suma de las distancias es mayor que 2. De modo que el conjunto de x que
cumplen la desigualdad es:
x (, 1) (1, )
(1.14)
i
2
x + 12x + 35 1 x 6 2, 6 + 2
1.7
Aplicaciones: generalidades
N
umeros reales. Aplicaciones: generalidades
17
N
umeros reales. Aplicaciones: generalidades
18
Si f : (a, a) B cumple que x (a, a) se tiene que f (x) = f (x), se dice que
la funcion es una funci
on par. Si por el contrario se tiene que f (x) = f (x) se
dice que es una funci
on impar.
Una funcion f : R B se dice que es peri
odica si existe un n
umero real P 6= 0 tal
que x R se tiene que f (x) = f (x + P ). Si existe un P positivo mnimo con esta
propiedad, a ese valor de P se le llama el periodo de la funci
on. Una funcion
periodica de periodo P viene determinada especificando sus valores en el intervalo
[0, P ) y el resto de los valores de la funcion se obtienen a partir de estos.
1.8
Las operaciones elementales con funciones, suma, producto y cociente de dos funciones son
de sobra conocidas. Dadas f, g : A R R se definen las funciones suma, producto
y cociente respectivamente como las funciones de dominio A:
(f + g)(x) = f (x) + g(x), (f g)(x) = f (x)g(x), (f /g)(x) =
f (x)
g(x)
donde en el caso del cociente hay que exigir que g(x) 6= 0 para todo x A.
Una operacion que permite construir funciones complicadas a partir de otras mas sencillas
es la composici
on de funciones. Se define de la siguiente manera: sean las funciones
f : A R R y g : D R R donde para que sea posible la definicion hace falta que
f (A) D. Entonces se define la funcion h composicion de g y f (o g compuesta con f )
como una funcion h : A R tal que, para todo x A se tiene que:
h(x) = (g f )(x) = g(f (x))
Pese a que se escribe g f (es decir, primero la g y despues la f ), en la composicion de
dos funciones primero act
ua la funcion f sobre un elemento cualquiera de A y despues la
funcion g sobre f (x), la imagen de x mediante f . Por ello es necesario que f (A) D,
es decir, para poder definir la composicion la funcion g debe saber actuar (debe estar
definida) sobre cualquier elemento de la forma f (x) f (A). De forma mas grafica se
puede representar la funcion composicion como:
-f (A)
-g(D)
-f (x)
-g(f (x))
gf
?
gf
-
Resulta obvio que la composicion de dos funciones no es una operacion conmutativa. Por
ejemplo, si f (x) = x + 3 y g(x) = x2 , la funcion (g f )(x) = g(f (x)) = g(x + 3) = (x + 3)2
mientras que (f g)(x) = f (g(x)) = f (x2 ) = x2 + 3 que evidentemente es una funcion
distinta de la anterior. Otras veces no se pueden
componer dos funciones como por ejemplo
f (x) = x + 3 con dominio igual a R y g(x) = x. La funcion g f no existe porque el
recorrido de f es R, f (R) = R, y el dominio de g es R+ {0}, de modo que no se cumple
la condicion de que el recorrido de f este contenido en el dominio de g. Sin embargo s
N
umeros reales. Aplicaciones: generalidades
19
esta definida la funcion (f g)(x) = x + 3 que tiene como dominio R+ {0} y como
recorrido los reales mayores o iguales que 3.
Como ya se ha indicado la composicion de funciones permite construir nuevas funciones a
partir de otras ya conocidas. Se suponen conocidas las funciones elementales exp(x), ln x,
sen x, cos x, tan x,arctg x etc. y a partir de ellas, utilizando la composicion de funciones,
se pueden construir funciones como, por ejemplo, ln f (x), f (x)g(x) , cos f (x), .....
Sea f : A B una funcion biyectiva. Se puede entonces definir f 1 , la funci
on inversa
de f , como la funcion f 1 : B A que cumple que
x A se tiene que f 1 (f (x)) = x y y B se tiene que f (f 1 (y)) = y
o, dicho en otras palabras:
f f 1 = idB y f 1 f = idA
con idA la funcion identidad sobre el conjunto A e idB la funcion identidad sobre el
conjunto B.
Claramente si una funcion f : A B no es inyectiva no existe su funcion inversa porque
si f no es inyectiva entonces existen x, y A con x 6= y tales que f (x) = f (y) = z B y
la funcion inversa debera simultaneamente cumplir que f 1 (z) = x y f 1 (z) = y lo que
va en contra de la definicion de aplicacion.
Si f : A B no es suprayectiva tampoco existe funcion inversa f 1 : B A porque f 1
debe saber actuar sobre todos los elementos de su dominio B y, si f no es suprayectiva,
hay al menos un z B que no es imagen de ning
un x A de modo que no tiene sentido
hablar de f 1 (z) A. Ahora bien, como ya se ha visto, toda funcion f : A f (A) es
suprayectiva por definicion de modo que para que la funcion f : A f (A) tenga inversa
f 1 : f (A) A solo es necesario que f sea inyectiva porque entonces es automaticamente
biyectiva.
Muchas veces se consigue que una funcion sea inyectiva sin mas que restringir adecuadamente su dominio. Por ejemplo, f : R R+ {0} definida como f (x) = x2 no es
inyectiva porque f (x) = f (x) = x2 . Sin embargo si se restringe el dominio de la funcion
a R+ {0} entonces la funcion f : R+ {0} R+ {0} con
f (x) = x2 es suprayectiva
y por tanto tiene funcion inversa definida como f 1 (x) = + x. De manera analoga, la
funcion f :
R {0} R+ {0} con f (x) = x2 tiene como funcion inversa la funcion
1
f (x) = x.
Sucesiones
20
2.1
Definiciones de sucesi
on, subsucesi
on y lmite de una sucesi
on
Una sucesi
on (an )nN es una aplicacion de los n
umeros naturales N en
los reales R:
n N a(n) = an R
o, en terminos intuitivos, un conjunto ordenado de infinitos n
umeros reales a0 , a1 , ...., an , .....
Por ejemplo (an )nN = (n/(n + 1))nN que es la sucesion 0, 1/2, 2/3, 3/4, ..., n/(n + 1), ....
Otro ejemplo importante de sucesion es el de los infinitos terminos de una progresion
aritmetica en la que, a partir de un n
umero inicial, cada elemento se obtiene del anterior
sumandole un n
umero fijo. Por ejemplo, 3, 6, 9, 12, ...., n, n + 3, ....
En una sucesion (an )nN a an se le llama el t
ermino general de la sucesi
on.
Una sucesion se dice que es mon
otona creciente si n N se tiene que an an+1
Una sucesion se dice que es estrictamente creciente si n N se tiene que
an < an+1
Una sucesion se dice que es mon
otona decreciente si n N se tiene que an
an+1
Una sucesion se dice que es estrictamente decreciente si n N se tiene que
an > an+1
Una sucesion se dice que es constante si n N se tiene que an = an+1
Una sucesion se dice que es acotada superiormente si existe un M R tal que
n N se tiene que an M
Una sucesion se dice que es acotada inferiormente si existe un M R tal que
n N se tiene que an M
Una sucesion se dice que es acotada si existe un M R tal que n N se tiene
que |an | M
Una subsucesi
on (bn )nN de la sucesion (an )nN se construye con una aplicacion f
de N en N estrictamente creciente de tal manera que los elementos de la subsucesion
se obtienen como bn = af (n) . En terminos mas intuitivos, si se tienen los elementos de
la sucesion a0 , a1 , a2 ..., an , ...los bn de la subsucesion se obtienen eligiendo infinitos an
no obligatoriamente consecutivos (pero sin cambiarlos de orden ni repetir ninguno).
Por ejemplo, b0 = a3 , b1 = a7 , b2 = a16 , b3 = a17 , b4 = a20 , ... y as sucesivamente.
La siguiente definicion es fundamental:
Sucesiones
21
Definici
on 2.1 (Lmite de una sucesi
on) Una sucesion {an }nN
es convergente con lmite l R cuando:
Dado > 0, existe N0 N tal que n N0 se cumple que |an l| <
Definici
on 2.2 (Sucesiones con lmite ) Se dice que una sucesi
on
(an )nN tiene lmite si se cumple que
M > 0, N0 N tal que n N0 se cumple que an > M
Se dice que una sucesi
on (an )nN tiene lmite si se cumple que
M > 0, N0 N tal que n N0 se cumple que an < M
Cuando una sucesion tiene lmite los elementos de la sucesion son a partir de uno en
adelante mayores que un n
umero elegido de antemano que puede ser tan grande como se
quiera (menores que un n
umero elegido arbitrariamente en el caso del lmite ).
Sucesiones
22
Aunque esta terminologa a veces depende de los autores, se suelen llamar convergentes
a las sucesiones que tienen lmite l distinto de y no convergentes a todas las
demas. Dentro de las no convergentes estan las que tienen lmite (que se suelen
llamar divergentes) y las que no lo tienen. Por ejemplo, la sucesion 1, 2, 3, ..., n, ... es
divergente y tiene lmite mientras que la sucesion 1, 1, 1, 1, ...., (1)n ... no tiene
lmite, ni finito, ni , ni . A este tipo de sucesiones se les llama oscilantes.
Una primera propiedad basica sobre el lmite de una sucesion convergente:
Proposici
on 2.1 (Unicidad del lmite) El lmite de una sucesion convergente (an )nN
(o que tenga lmite ) es u
nico.
Demostracion:
La demostracion es inmediata. Si la sucesion tuviera dos lmites l1 y l2 con l1 6= l2 se
podra escoger un > 0 suficientemente peque
no como para que los intervalos [l1 , l1 +]
y [l2 , l2 + ] fueran disjuntos. Pero por la definicion de lmite, si ambos n
umeros son
lmite, a partir de un termino en adelante los terminos de la sucesion deberan estar
simultaneamente en ambos intervalos a la vez lo que es obviamente imposible. En el caso
de que uno de los dos lmites fuera se razonara de la misma manera.
Otra propiedad muy importante que se prueba a partir de la definicion de lmite y usando
el axioma del supremo (todo conjunto no vaco y acotado superiormente tiene supremo)
es:
Teorema 2.2 (Convergencia de las sucesiones mon
otonas acotadas) Toda sucesion de n
umeros reales (an )nN acotada superiormente por una cota M y creciente tiene
lmite l y l M . De hecho l = supnN (an ).
De la misma manera toda sucesion (an )nN acotada inferiormente por una cota m y decreciente tiene lmite l y l = inf nN (an ).
Demostracion:
En el caso de la sucesion acotada superiormente se razona de la siguiente manera: el
conjunto de los n
umeros an esta acotado superiormente por hipotesis y es no vaco de
donde se deduce, aplicando el axioma del supremo, que dicho conjunto tiene supremo que
llamamos s. Dado un > 0 la caracterizacion del supremo en el captulo anterior afirma
que existe alg
un elemento del conjunto a entre s y s, es decir, s < a s. Pero
como la sucesion es creciente todos los elementos posteriores a a son mayores o iguales
que a y ademas menores o iguales que s que es cota de todos ellos, y, por tanto, se cumple
que
s < a , a+1 , a+2 , . . . , a+n , . . . s
Esto significa que dado > 0 existe un ndice a partir del cual todos los elementos de
la sucesion estan a una distancia de s menor que . En otras palabras, s es el lmite de la
sucesion.
En el caso de que la sucesion sea decreciente y acotada inferiormente el razonamiento es
el mismo.
Otras propiedades que se prueban sin dificultad a partir de la definicion de lmite son:
Proposici
on 2.3
Sucesiones
23
1. El caracter de una sucesion (an )nN (convergente, con lmite igual a , sin lmite)
no cambia si se modifican o directamente se suprimen un n
umero finito de terminos.
En el caso de que tenga lmite el valor del lmite no vara despues de esta operacion.
2. Toda sucesion (an )nN convergente es una sucesion acotada.
3. Si se tienen dos sucesiones (an )nN y (bn )nN convergentes y para todo n
umero
natural n mayor o igual que un cierto N0 N se tiene que an bn entonces el
lmite de (an )nN es menor o igual que el de (bn )nN .
4. Si se tienen dos sucesiones (an )nN y (bn )nN tales que para todo n
umero natural
n mayor o igual que un cierto N0 N se tiene que an bn y limn an = ,
entonces limn bn = .
5. Si (an )nN cumple que limn an = l > 0 (incluido l = ) entonces todos los
terminos de la sucesion a partir de uno en adelante son estrictamente positivos.
Viceversa, si (an )nN es convergente y si todos los terminos de la sucesion a partir
de uno en adelante son estrictamente positivos entonces el lmite es positivo o cero.
6. Si (an )nN y (bn )nN son convergentes con el mismo lmite l y se tiene otra sucesi
on
(cn )nN tal que si n N0 se cumple que an cn bn , entonces (cn )nN es tambien
convergente con el mismo lmite.
7. Si (an )nN es convergente y limn an = l entonces cualquier subsucesion de (an )nN
es tambien convergente y tiene el mismo lmite. Viceversa, si (an )nN es convergente
y tiene una subsucesion cuyo lmite es l, entonces el lmite de la sucesion (an )nN
tambien es l.
Demostracion de 2:
Basta razonar de la siguiente manera: si la sucesion tiene lmite l R entonces hay
infinitos terminos de la sucesion en un cierto intervalo [l , l + ] y evidentemente se
pueden acotar tanto por arriba como por abajo (por ejemplo, por l + como cota superior
y l como cota inferior). Fuera de este intervalo solo queda un n
umero finito de terminos
y un conjunto finito de n
umeros reales siempre tiene cota tanto superior M como inferior
m. Luego todos los elementos de la sucesion estan acotados por arriba por el mayor entre
M y l + y por debajo por el menor entre m y l .
Demostracion de 6:
El resultado que se conoce con el nombre de teorema de la convergencia intermedia
resulta intuitivamente muy logico: si tanto los an como los bn se acercan tanto como uno
quiera a l entonces los cn , que estan metidos en una especie de sandwich entre los dos,
tienen forzosamente que hacer lo mismo. De forma mas rigurosa se tiene que, puesto que
tanto (an )nN como (bn )nN tienen lmite l, entonces
dado > 0, N00 N tal que n N00 , l < an < l +
dado > 0, N000 N tal que n N000 , l < bn < l +
Por otro lado, a partir de un N0 en adelante se sabe que an cn bn y por tanto
escogiendo M0 = max(N0 , N00 , N000 ) es claro que para todo n M0 se tiene que
l < an cn bn < l +
lo que demuestra el resultado.
Sucesiones
2.2
24
Definici
on 2.3 (Sucesi
on de Cauchy) Una sucesion de n
umeros reales
(an )nN es una sucesi
on de Cauchy si se cumple que
Dado > 0, N0 N tal que n, m N0 se cumple que |an am | <
o tambien, de forma totalmente equivalente:
Dado > 0, N0 N tal que n N0 y p N se tiene |an+p an | <
y como se acaba de decir mas arriba no es difcil comprobar que ambos enunciados son
equivalentes.
En principio la definicion de sucesion de Cauchy parece distinta de la de sucesion convergente. En terminos poco precisos se puede decir que una sucesion convergente es una
sucesion en la que sus terminos se acercan, tomando un valor del subndice suficientemente grande, tanto como una quiera a un n
umero real l al que se denomina lmite de la
sucesion. En una sucesion de Cauchy, para valores del subndice suficientemente grandes,
los terminos de la sucesion se acercan tanto como uno quiera entre s, sin que se haga
en la definicion mencion alguna a un punto lmite al que se aproximan los puntos de la
sucesion.
Es facil demostrar el siguiente resultado:
Proposici
on 2.4 Toda sucesion convergente es de Cauchy.
Demostracion:
Se parte de que una sucesion es convergente con lmite l y por tanto se tiene que
dado > 0, N0 N tal que n, m N0 se cumple que |an l| < y |am l| < .
Luego, teniendo en cuenta las propiedades del valor absoluto:
|an am | = |(an l) + (l am )| |an l| + |am l| < 2
lo que significa que a partir del termino aN0 en adelante dos terminos cualesquiera de
la sucesion estan tan cerca como se quiera uno de otro puesto que 2 se puede hacer
arbitrariamente peque
no.
En contra de lo que parece a primera vista, tambien la implicacion contraria es cierta lo
que significa que las definiciones de sucesion de n
umeros reales convergente y de sucesion
de n
umeros reales de Cauchy son totalmente equivalentes. De hecho se tiene el siguiente
resultado que se conoce con el nombre de completitud de R:
Teorema 2.5 (Completitud de los n
umeros reales) Toda sucesion de n
umeros reales
de Cauchy es convergente. Se dice que R es un espacio completo.
Sucesiones
25
Hay que hacer notar que la equivalencia entre sucesiones convergentes y sucesiones de
Cauchy es cierta cuando se habla de sucesiones de n
umeros reales (de ah el nombre de
completitud de los n
umeros reales) pero no lo es cuando se habla de sucesiones de n
umeros
racionales. Si se supone que solo se conocen los n
umeros racionales la definicion de sucesion
convergente tiene perfecto sentido siempre que el lmite sea un n
umero racional (porque
nos estamos moviendo en Q y no tiene sentido entonces hablar de n
umeros irracionales que
ni siquiera se han definido) y tampoco ofrece ninguna dificultad la definicion de sucesion
de Cauchy de n
umeros racionales.
El resultado de que si una sucesion es convergente entonces es de Cauchy sigue siendo
cierto cuando se trata de sucesiones de n
umeros racionales pero sin embargo la implicacion contraria ahora ya no es cierta. Una sucesion de Cauchy de n
umeros racionales no
tiene porque tener un lmite racional, puede perfectamente tener como lmite un n
umero
irracional, y por tanto no es cierto que en Q toda sucesion de Cauchy sea convergente.
En este sentido se dice que R es completo pero Q no lo es.
Por ejemplo, si uno calcula con el algoritmo habitual
la raiz cuadrada de un n
umero va
obteniendo cada vez mas cifras decimales, para la 3 son 1.73, 1.732, 1.7320, 1.73205, ...que
constituyen una sucesion de n
umeros racionales. Se puede comprobar que la sucesion es
de Cauchy (sus terminos se acercan
cada vez mas unos a otros) pero sin embargo su lmite
no es un n
umero racional, es 3.
En R la doble implicacion sucesion convergente sucesion de Cauchy significa que en
la practica a veces resulta provechoso demostrar que una sucesion es convergente comprobando que es de Cauchy, algo que en ocasiones resulta mas sencillo que aplicar la
definicion de sucesion convergente directamente (basicamente porque en la definicion de
sucesion de Cauchy no interviene el lmite l de la sucesion para nada mientras que s lo
hace en la definicion de sucesion convergente).
2.3
Entre dos sucesiones cualesquiera (an )nN y (bn )nN se pueden definir varias operaciones
elementales
1. Suma de dos sucesiones: la suma de (an )nN y (bn )nN es otra sucesion (cn )nN
cuyo termino general se define como cn = an + bn .
2. Producto de dos sucesiones: el producto de dos sucesiones (an )nN y (bn )nN es
otra sucesion (cn )nN cuyo termino general se define como cn = an bn .
3. Cociente de dos sucesiones: el cociente de dos sucesiones (an )nN y (bn )nN
siempre que n N se cumpla que bn 6= 0, es otra sucesion (cn )nN cuyo termino
general se define como cn = an /bn .
Notar que la operacion de sumar, multiplicar o dividir una sucesion por una constante
es un caso particular de lo anterior sumando, multiplicando o dividiendo la sucesion por
una sucesion constante.
Una vez definidas las operaciones elementales de mas arriba se comprueba que se comportan bien por lo que respecta a la operacion de tomar lmites. En efecto se tiene que:
Sucesiones
26
Proposici
on 2.6 Sean dos sucesiones convergentes (an )nN y (bn )nN con lmites l1 y l2
respectivamente. Entonces:
1. Existe lim (an + bn ) = lim an + lim bn = l1 + l2 .
n
lim an
an
l1
= n
= .
n bn
lim bn
l2
3. Si n, bn 6= 0 y l2 6= 0, existe lim
Una forma mas sintetica de escribir estos resultados y los correspondientes al producto es
escribirlos en forma de tabla. Para la suma y el producto de dos sucesiones:
bnan
l1
?
l2
l1 + l2
?
Lmite de la suma an + bn
bnan
0
?
l2
sgn (l2)
0
l1
? sgn (l1)
0
0
?
0
l1l2
sgn (l2)
? sgn (l1)
Sucesiones
27
tablas en los que aparece el signo de interrogacion) en los que no hay una regla general
para determinar el lmite de la suma que puede ser una cosa u otra dependiendo de
cada caso concreto. Lo mismo ocurre con el producto para determinadas combinaciones
como lim an = y lim bn = 0 o viceversa. Se dice en estos casos que el lmite de la
n
n
suma o del producto es indeterminado. Por ejemplo, si an = n y bn = n entonces
lim an = , lim bn = y lim (an + bn ) = 0. Sin embargo, si an = 2n y bn = n
n
bnan
?
0
o o @
l2
sgn (l2)
0
l1
0
0
?
? o o @ o o @
0
l1/l2
sgn (l2)
0
0
?
lmite del cociente an /bn . Si, en cambio, an = n, bn = 1/n, entonces lim an /bn = .
n
Sucesiones
2.4
28
Dada una sucesion (an )nN con an > 0 para todo n se puede definir otra sucesion (cn )nN
cuyo termino general sea el logaritmo de an , cn = ln an , de modo que an = exp(cn ). Con
respecto a la relacion entre los lmites de ambas sucesiones es inmediato comprobar las
equivalencias:
cn = ln an
lim an = l 6= 0 lim cn = ln l
lim an = 0 lim cn =
lim an = lim cn =
(2.1)
Dada las sucesiones (an )nN y (bn )nN con an > 0 para todo n, se define la sucesion de
termino general cn = anbn y de nuevo resulta u
til calcular el lmite de cn en funcion de
los de an y bn porque aparece con frecuencia en el calculo de lmites de sucesiones (casos
particulares de esta definicion son el de an constante y el de bn constante). En algunos
casos la mejor manera de relacionar los lmites de an , bn y cn es la de tomar logaritmos en
los dos miembros de cn = anbn con lo cual se tiene que ln cn = bn ln an . Usando entonces
esta igualdad (o bien directamente cn = abnn ), (2.1) y las tablas ya obtenidas para la suma,
el producto y el cociente, se llega a una tabla para el lmite de abnn :
?
0
l2 < 0
l1l2
1
l1l2
l2 = 0
?
1
1
1
l2 > 0
0
l1l2
1
l1l2
0
0
?
0
0
?
Lmite de abnn
Por ejemplo, si lim an = y lim bn = 0, entonces lim(ln cn ) = lim(bn ) lim(ln an ) =
n
n
0 que es una indeterminacion. Si lim an = l1 con 0 < l1 < 1 y lim bn = ,
n
Sucesiones
2.5
29
El n
umero e
n
1
Proposici
on 2.7 La sucesion (an )nN{0} de termino general an = 1 +
es monotona
n
creciente y esta acotada y, por tanto, tiene lmite. A ese lmite se le llama el n
umero e y
esta comprendido entre 2 y 3.
n
1
lim 1 +
=e
n
n
Demostracion:
La formula del binomio de Newton permite desarrollar (1 + 1/n)n :
n
n
n
n
X
X
X
1
n nj 1
1
1
n!
n!
1+
=
1
=
=1+1+
j
j
n
j
n
j!(n j)! n
j!(n j)! nj
j=0
j=0
j=2
n
X
n(n 1)(n 2) (n j + 1) 1
= 2+
j!
nj
j=2
n
X
1
2
j1
1
1
1
1
= 2+
j!
n
n
n
j=2
(2.2)
La misma expresion para el siguiente termino en la sucesion se obtiene sin mas que sustituir
en la que se acaba de obtener n por n + 1:
n+1
n+1
X
1
1
1
2
j1
1+
=2+
1
1
1
(2.3)
n+1
j!
n+1
n+1
n+1
j=2
y demostrar que la sucesion es creciente es demostrar que (2.2) es menor o igual que (2.3).
Para ello basta tener en cuenta que todos los sumandos tanto en (2.2) como en (2.3) son
positivos y ademas (2.3) tiene un sumando mas, el j = n + 1. Por u
ltimo, para cada valor
de j fijo entre 2 y n, el correspondiente sumando en (2.3) es mayor que el de (2.2):
2
j1
1
2
j1
1
1
1
< 1
1
1
1
n
n
n
n+1
n+1
n+1
porque ambos tienen j 1 factores todos ellos menores que 1 pero los del miembro de la
derecha estan mas proximos a 1 que los del miembro de la izquierda. Todo ello demuestra
que la sucesi
on es mon
otona creciente.
Para demostrar que la sucesion esta acotada hay que demostrar que (2.2) esta acotado
para todo n. Teniendo en cuenta que los factores (1 1/n), (1 2/n), ..., (1 (j 1)/n)
son todos ellos menores que 1, es claro que sustituyendolos por 1 se obtiene una expresion
mayor:
n
n
X
1
1
1+
2+
n
j!
j=2
y, por otro lado, con j 2, j! = 2 3 j > 2j1 y por tanto se tiene que
n
n
n
X
X
1
1
1
(1/2)n 1/2
1+
2+
2+
=
2
+
= 2 + 1 (1/2)n1
j1
n
j!
2
(1/2)
j=2
j=2
Sucesiones
30
donde en las u
ltimas igualdades se ha usado la formula de la suma de los terminos
de una progresion geometrica de razon 1/2. Para cualquier valor de n se tiene que
(1 (1/2)n1 ) < 1 y por tanto (1 + 1/n)n est
a acotado inferiormente por 2 y superiormente por 3. Del hecho de que los terminos de la sucesion sean crecientes y esten
acotados superiormente se deduce el que la sucesion tiene lmite (teorema 2.2) y las cotas
permiten afirmar que el lmite es mayor que 2 y menor que 3.
Como consecuencia de la definicion anterior se puede demostrar el siguiente corolario:
Proposici
on 2.8 Sea la sucesion de n
umeros reales (an )nN . Si (an )nN tiene lmite igual
a entonces
a
1 n
lim 1 +
=e
n
an
2.6
C
alculo de lmites de sucesiones
Probablemente uno de los casos que se presenta con mas frecuencia en el calculo de lmites
es el de lmites de expresiones del tipo Pp (n)/Qq (n) donde Pp (n) y Qq (n) son polinomios
en la variable n N con coeficientes reales. A este respecto se tiene el siguiente resultado:
Proposici
on 2.9 Si se tiene el cociente
a0 + a1 n + a2 n2 + . . . + ap np
Pp (n)
, a0 , . . . , ap , b0 , ...bq R, p, q N y ap , bq > 0
=
Qq (n)
b 0 + b1 n + b2 n 2 + . . . + bq n q
entonces se cumple que:
ap /bp
Pp (n)
0
=
n Qq (n)
+
lim
si p = q
si p < q
si p > q
y el caso en el que los coeficientes ap y bq no sean los dos positivos se reduce facilmente a
este.
Demostracion:
Para calcular el lmite basta dividir numerador y denominador en el cociente por nM
donde M = max(p, q) y se tiene entonces que
Pp (n)
a0 /nM + a1 /nM 1 + a2 /nM 2 + . . . + ap /nM p
= lim
n Qq (n)
n b0 /nM + b1 /nM 1 + b2 /nM 2 + . . . + bq /nM q
lim
Sucesiones
31
an+1
= l = lim n an = l
n
n an
lim
(2.4)
2n
an+1
= lim n+1 = 0
n par : lim
n 2
n an
n
1
1
n impar : lim an = lim
= ,
n
n n 2n
2
y s existe el lmite de n an .
n par : lim
n
n
1
an = lim
=
n n 2n
2
Dos sucesiones (an )nN y (bn )nN se dice que son equivalentes si se tiene que
an
= 1 y este hecho se suele representar: an bn
n bn
lim
como por ejemplo ocurre con an = n2 y bn = n2 + 3n. Cuando dos sucesiones son
equivalentes se pueden sustituir una por otra para calcular el lmite de expresiones mas
complicadas con solo productos y cocientes. Por ejemplo, si an bn y se sabe que existe
y se quiere calcular el lim cn an /dn , multiplicando y dividiendo por bn se tiene que
n
c n an
c n an b n
c n bn
an
c n bn
= lim
= lim
lim
= lim
n dn bn
n dn n bn
n dn
n dn
lim
de modo que en lugar de calcular lim cn an /dn se puede calcular lim cn bn /dn que vale lo
n
n
mismo. La ventaja es que hay ocasiones en las que resulta mas facil calcular este segundo
lmite que el primero. Naturalmente la sustitucion de an por bn no es lcita en otras
ocasiones, como por ejemplo cuando se trata de calcular lmites de sumas (en el ejemplo
anterior an an tiene lmite cero pero sin embargo bn an tiene lmite ), ni an bn
significa que los lmites de ambas sucesiones existan por separado (an = (1)n n, bn =
Sucesiones
32
(1)n n + 5) aunque, si existen, entonces coinciden (de hecho es facil probar que si existe
uno de los dos entonces existe el otro y ambos coinciden).
Se pueden demostrar las siguientes equivalencias que resultan u
tiles para calcular lmites:
an sen an arcsen an
an tan an arctg an
si lim an = 0 se tiene que:
an ln(1 + an )
n
a2n /2 1 cos an
y otras muchas, algunas de las cuales se pueden deducir de estas.
Sean (an )nN y (bn )nN dos sucesiones con limn an = y limn bn = . Se dice
que bn es un infinito de orden mayor o superior al de an cuando
an
= 0 y este hecho se suele representar: an bn
n bn
lim
con
a > 1, R+
Demostracion:
n! nn . Se tiene que
0
n!
n (n 1) 2 1
n1n2
21
1
=
=1
n
n
n nn
n
n
nn
n
puesto que los factores (n 1)/n, (n 2)/n... son todos ellos menores que 1. La
sucesion n!/nn tiene entonces como cota inferior la sucesion constante 0 cuyo lmite
es 0 y como cota superior la sucesion 1/n de lmite tambien 0. En virtud de la
propiedad 6 de la proposicion 2.3 se tiene entonces que lim n!/nn = 0.
n
an
a a
a
a
aa
a a
a
a
=
B B
n!
nn1
N0 N0 1
21
nn1
N0
n
donde B es el producto de los factores a, a/2, ..., a/(N0 1) y es una constante fija
y la u
ltima desigualdad es cierta porque los factores a/(n 1), ..., a/N0 son todos
ellos menores que 1. La sucesion an /n! queda as acotada por arriba y por debajo
respectivamente por aB/n y la sucesion constante 0, ambas con lmite igual a 0.
Luego por la propiedad 6 de la proposicion 2.3 se tiene entonces que lim an /n! = 0.
n
Sucesiones
33
BN0
=
n n1 n2
N0
aN0 1
aN0 1
nN0 +1
y como BN0 < 1 la sucesion BN
tiene lmite 0 cuando n tiende a y lo mismo
0
le ocurre a la sucesion constante de termino general 0. Como en los casos anteriores,
aplicando la propiedad 6 de la proposicion 2.3 se tiene entonces que lim n /an = 0.
n
2.7
Una sucesion se dice que esta definida recurrentemente cuando el termino n-esimo de la
sucesion se obtiene a partir de los terminos anteriores de la misma. Un caso particular
de sucesion recurrente (que es el u
nico que se va a estudiar a continuacion) es aquel en el
que cada termino se obtiene a partir del termino anterior, es decir, sucesiones que quedan
especificadas eligiendo un a0 inicial y una funcion f y generando el resto de los terminos
mediante la recurrencia an+1 = f (an ).
Definici
on 2.4 (Funciones contractivas) Se dice que la funcion f : [a, b] [a, b] es
contractiva si existe un c (0, 1) tal que
|f (x) f (y)| c |x y|
cualesquiera que sean x e y en [a, b].
Sucesiones
34
Proposici
on 2.12 Sea (an )n0 la sucesion engendrada recurrentemente por una funci
on
f contractiva en [a, b], es decir, a0 [a, b] y an+1 = f (an ). Entonces la sucesion (an )n0
es convergente.
Demostracion:
Como, cualquiera que sea n 1, se tiene que
|an+1 an | = |f (an ) f (an1 )| c |an an1 | ,
es facil obtener por induccion que |an+1 an | cn |a1 a0 | y entonces si m > n :
|am an | |am am1 |+ +|an+1 an | c
m1
+ + c
cn
|a1 a0 | <
|a1 a0 | ,
1c
35
3.1
Sea x0 R, una bola reducida B (x0 , R) y sea una funcion f : B (x0 , R) R (lo que
significa que la funcion esta definida en un entorno del punto x0 pero no necesariamente
en el propio x0 ). Como ya ocurra en el caso del lmite de una sucesion, la definicion que
sigue de lmite de una funcion en un punto es fundamental:
Definici
on 3.1 (Lmite de una funci
on en un punto) Se dice
que la funci
on f (x) tiene lmite l cuando x tiende a x0 y se escribe
entonces lim f (x) = l cuando:
xx0
Dado > 0 existe > 0 tal que siempre que 0 < |x x0 | < se
cumple que |f (x) l| <
36
f(x0)
l+
Figura 3.1
x0
Por ejemplo, en la figura 3.2 se representa la funcion sen x/x que en x = 0 no esta
definida (de hecho el programa de dibujo con el que se ha representado la funcion no
la esta dibujando en el 0 sino solo hasta puntos muy proximos por la derecha y por
la izquierda). Sin embargo de la figura resulta bastante evidente (y se demostrara mas
adelante) que al acercarse a x = 0 por la derecha y por la izquierda la funcion se acerca
tanto como uno quiera a 1, es decir, se tiene que limx0 sen x/x = 1.
1
0.8
0.6
sen(x)/x
0.4
0.2
0
0.2
0.4
30
20
10
Figura 3.2
10
20
30
37
(3.1)
y la idea es sencillamente demostrar que existe un > 0 tal que, por mucho que nos
aproximemos a x0 , siempre hay puntos x tales que la distancia de f (x) a l es mayor o
igual que .
Definiciones tambien importantes son las de lmites laterales, lmite de f (x) cuando x
tiende a x0 por la derecha y lmite de f (x) cuando x tiende a x0 por la izquierda.
Se dice que existe el lmite de f (x) cuando x tiende a x0 por la derecha y este lmite
vale l y se escribe limxx+0 f (x) = l si se cumple que:
Dado > 0, > 0 tal que siempre que 0 < (x x0 ) < se tiene que |f (x) l| <
Se dice que existe el lmite de f (x) cuando x tiende a x0 por la izquierda y este
lmite vale l0 y se escribe limxx0 f (x) = l0 si se cumple que:
Dado > 0, > 0 tal que siempre que 0 < (x0 x) < se tiene que |f (x) l0 | <
Las definiciones de lmite por la derecha y por la izquierda son identicas a las de lmite
salvo por el hecho importante de que para que exista el lmite por la derecha (por la
izquierda) basta que cuando los valores de x se acerquen a x0 por la derecha (por la
izquierda), los correspondientes valores de f (x) se acerquen a l (a l0 en el caso del lmite
por la izquierda). Los lmites por la derecha y por la izquierda pueden existir los dos o
ninguno de ellos, o existir uno y no el otro. Es inmediato comprobar de las definiciones
anteriores que solo cuando ambos lmites (por la derecha y por la izquierda)
existen y coinciden, l = l0 , entonces existe el lmite de la funci
on y su valor es
l. En la figura 3.3 en el punto x0 = 1 existe el lmite por la derecha y vale 1.7 y tambien
existe el lmite por la izquierda y vale 1 pero no existe el lmite porque no coinciden.
2.5
1.5
0.5
0.5
Figura 3.3
1.5
38
39
Proposici
on 3.2 (Caracterizaci
on del lmite por sucesiones)
Sea una funcion f definida en un entorno reducido del punto a, f : B (a, R) R. Una
condicion necesaria y suficiente para que exista el limxa f (x) = l es:
Para toda sucesion (xn )nN con xn B (a, R) que cumpla que limn xn = a debe
cumplirse que limn f (xn ) = l.
Demostracion:
Demostrar la condicion necesaria significa demostrar que, si se cumple que limxa f (x) =
l, entonces tambien se cumple la implicacion
lim xn = a lim f (xn ) = l
40
Proposici
on 3.3 Sean f, g, h : B (a, R) R con R > 0. Se tiene que:
1. Si limxa f (x) = l entonces existe un entorno reducido de a B (a, ) B (a, R)
tal que f esta acotada superior e inferiormente en B (a, ).
2. Si limxa f (x) = l > 0 (< 0) entonces existe un entorno reducido de a B (a, )
B (a, R) tal que f (x) > 0 (< 0) para todo x B (a, ).
3. Si limxa f (x) = l y limxa g(x) = l y la funcion h cumple que f (x) h(x) g(x)
entonces existe limxa h(x) = l.
3.2
Funciones continuas
Sea x0 R, sea B(x0 , R) una bola o entorno del punto x0 y sea una funcion f : B(x0 , R)
R.
Definici
on 3.2 (Funci
on continua en un punto) Se dice que f es continua en el punto x0 cuando cumple la siguiente propiedad:
Dado > 0, existe > 0 tal que para todo x que cumpla que
|x x0 | < se tiene que |f (x) f (x0 )| <
La definicion de continuidad en un punto x0 es similar a la de existencia de lmite de
una funcion en x0 . La diferencia entre ambas definiciones radica en que, como ya se ha
indicado en el apartado anterior, para que exista el limxx0 f (x) = l no es necesario que
la funcion este definida en el punto x0 y, si lo esta, no es necesario que f (x0 ) = l. En
cambio, para que la funcion sea continua en x0 hacen falta dos condiciones: primera, que
exista el limxx0 f (x) y segunda que este lmite coincida con el valor de la funcion en
x0 , es decir, aparte de existir el lmite, f debe estar definida en x0 y se debe cumplir
que limxx0 f (x) = f (x0 ). Una funcion que no es continua en un punto se dice que es
discontinua o que tiene una discontinuidad en dicho punto.
Cuando, de las dos condiciones que se acaban de dar se cumple la primera, la existencia del lmite, pero no la segunda, se dice que la funcion f tiene en el punto x0 una
discontinuidad evitable. Es el caso de, por ejemplo, la figura 3.1 en la que existe
limxx0 f (x) = l pero no coincide con el valor de f (x0 ). A este tipo de discontinuidad se
le llama evitable porque basta con definir una nueva funcion g(x) que coincida con f (x)
en todos los puntos excepto en x0 y tal que g(x0 ) = l. La funcion g(x) ya es continua en
x0 y conserva el resto de las propiedades que tuviera la funcion f (x) (en realidad g(x) y
f (x) son la misma funcion salvo por el hecho de que el valor de f (x0 ) estaba mal asignado
y en g(x) se ha corregido esta asignacion para conseguir que la funcion sea continua en
x0 ).
El mismo tipo de problema se plantea en el caso de la funcion ya mencionada f (x) =
sen x/x de la figura 3.2 que ni siquiera esta definida en x = 0 pero para la que existe el
limx0 sen x/x = 1. Si se quiere conseguir una funcion que esencialmente tenga sus mismas
propiedades pero que este definida y sea continua en x = 0 basta definir la funcion g(x)
de la siguiente manera: g(x) = sen x/x para todo x 6= 0 y g(0) = 1.
41
la que se tiene cuando existen los dos lmites laterales pero no coinciden. Esto
se traduce
en el hecho de que la funcion tiene un salto cuando pasa de valores a la izquierda de x = 1
a valores a la derecha de este punto. En este caso la discontinuidad no se puede corregir
redefiniendo el valor de la funcion en x = 1 porque tiene que ver con que el lmite no
existe.
Los ejemplos anteriores tienen que ver con discontinuidades evitables o de salto y en un
solo punto. Hay funciones que son discontinuas en todos los puntos en los que estan
definidas y ademas los lmites laterales en cualquier punto no existen (y por tanto la
discontinuidad no sera ni evitable ni de salto). Un ejemplo, la funcion f : R R que se
conoce con el nombre de funci
on de Dirichlet y que se define como:
1 si x es racional
f (x) =
0 si x es irracional
Esta funcion tiene discontinuidades en todos los puntos de la recta real porque, dado un a
cualquiera, no existe ni limxa+ f (x) ni limxa f (x). Sea por ejemplo un a determinado.
Seg
un la proposicion 1.5 si se elige un intervalo de la forma (a, a + 1), en el hay infinitos
n
umeros racionales z y n
umeros irracionales y. Se elige un racional cualquiera z1 de
entre ellos y un irracional cualquiera y1 . Se toma ahora un intervalo (a, a + 1/2) y por
la misma razon se eligen z2 racional e y2 irracional tales que z2 , y2 (a, a + 1/2) y as
sucesivamente. Procediendo de esta manera se obtiene una sucesion de n
umeros racionales
zn con zn (a, a + 1/n) y una sucesion de n
umeros irracionales yn con yn (a, a + 1/n).
Ello significa que limn zn = a y que limn yn = a. Pero, seg
un la definicion de
la funcion de Dirichlet, f (zn ) = 1 y f (yn ) = 0 para todo n N lo que significa que
limn f (zn ) = 1 y que limn f (yn ) = 0. Luego, seg
un los comentarios que se hacen
despues de la proposicion 3.2, no existe el limxa+ f (x). De manera analoga se razona
para demostrar que no existe el limxa f (x).
1
, que se representa en la figura 3.4 para valores
En el caso de la funcion f (x) = sen
x
de x > 0 proximos a x = 0 (f es par de modo que tiene la misma representacion para
x < 0), la funcion esta definida y es continua en toda la recta real excepto en x = 0 en
donde no esta definida.
42
sen(1/x)
0.5
0.5
10
10
Figura 3.4
No es una discontinuidad evitable porque no basta con definir el valor de la funcion
en x = 0
para transformarla en una funcion continua en el 0. De hecho no existe el
1
limx0 sen
porque en cualquier entorno (, ) arbitrariamente peque
no de x = 0 la
x
funcion toma todos los valores posibles entre 1 y 1. Ello es debido a que en cualquier
entorno del punto x = 0 f tiene oscilaciones. Dado cualquier n
umero l R siempre
se pueden encontrar puntos x arbitrariamente proximos
a
0
tales
que |f (x) l| > 1/2
1
lo que, seg
un (3.1), significa que no existe limx0 sen
= l (razonando de la misma
x
manera se demuestra que tampoco existen los lmites laterales).
3.3
C
alculo de lmites de funciones
Los resultados del lmite de una suma, producto y cociente de dos funciones son equivalentes a los que ya se vieron en el caso de sucesiones.
Proposici
on 3.4 (Algebra
de lmites) Sean dos funciones f, g : B (a, R) R con
R > 0 y tales que existen lim f (x) = l1 y lim g(x) = l2 . Entonces:
xa
xa
xa
xa
xa
xa
lim f (x)
xa
lim g(x)
xa
l1
.
l2
43
si p = q
ap /bq
p(x) +
si p < q y q p par
lim
=
no
existe
si
p < q y q p impar
x0 q(x)
0
si p > q
y el caso en el que los coeficientes ap y bq no sean los dos positivos se reduce facilmente a
este.
La demostracion es inmediata dividiendo numerador y denominador por xmin(p,q) y tomando
despues el lmite.
En el caso, tambien frecuente, de que se quiera calcular el
a0 + a1 x + . . . + ap x p
p(x)
= lim
,
lim
x b0 + b1 x + . . . + bq xq
x q(x)
el resultado es el de la proposicion 2.9 sin mas que sustituir la variable entera n que
aparece all por la variable real x.
Tambien es habitual que se den las situaciones enumeradas en la siguiente proposicion:
44
Proposici
on 3.6 Sean f, g : B (a, R) R con R > 0. Se tiene que:
Si limxa f (x) = l con l finito y no existe el limxa g(x) (ni finito ni ), entonces
no existe el limxa (f + g)(x).
Si limxa f (x) = y g(x) esta acotada, entonces limxa (f + g)(x) = .
Si limxa f (x) = 0 y g(x) esta acotada, entonces limxa (f g)(x) = 0.
Si limxa f (x) = y limxa g(x) = 0 y en cualquier entorno del punto x = a
hay puntos x tales que g(x) > 0 y puntos z con g(z) < 0, entonces no existe
limxa (f /g)(x).
Un concepto, que ya se ha estudiado en el caso de sucesiones y que se usa con frecuencia en el calculo de lmites de productos y cocientes de funciones, es el de infinitesimos
equivalentes. Si limxa f (x) = 0 se dice que f es un infinit
esimo en x = a. Si
limxa f (x) = 0 y limxa g(x) = 0 se acaba de decir que el lmite del cociente de ambas
funciones es una indeterminacion y depende de cuales sean las funciones. Se dice que f
y g son infinit
esimos equivalentes en x = a y se escribe f g en x = a cuando:
lim f (x) = 0,
xa
lim g(x) = 0,
xa
f (x)
=1
xa g(x)
lim
xa
s(x)f (x)g(x)
s(x)g(x)
f (x)
s(x)g(x)
f (x)s(x)
= lim
= lim
lim
= lim
xa
xa
xa
xa
h(x)
h(x)g(x)
h(x)
g(x)
h(x)
g(x)s(x)
f (x)s(x)
se puede calcular lim
que vale lo
xa
xa
h(x)
h(x)
mismo. La ventaja es que hay ocasiones en las que resulta mas facil calcular este segundo
lmite que el primero. La sustitucion de f por g no es lcita en otras ocasiones, como
cuando se trata de calcular lmites en los que aparecen sumas. Por ejemplo,
f (x) = x y
1
1
x0
arctg x
=1
x0
x
lim
45
2 2 cos x
=1
x0
x2
lim
lim
x0
ln(1 + x)
=1
x
1.2
1
0.8
tg x
0.6
0.4
sen x
0.2
x
0
O0
D
0.5
1.5
o bien
cos x
x
tan x
1
=
sen x
sen x
cos x
46
En el caso de funciones continuas el siguiente resultado es importante y se usa con frecuencia para estudiar la continuidad de funciones que son composicion de otras continuas
ya conocidas:
Proposici
on 3.7 (Composici
on de funciones continuas) Se tiene una funcion f :
B(x0 , R) R con R > 0 continua en x0 y una funcion g : B(f (x0 ), R0 ) R con R0 > 0
continua en f (x0 ). Entonces se tiene que la funcion g f : B(x0 , R) R es continua en
x0 . Ello significa que existe
lim (g f )(x) = (g f )(x0 ) = g(f (x0 ))
xx0
Como la continuidad de f significa que lim f (x) = f (x0 ), el resultado anterior se puede
xx0
escribir:
lim (g f )(x) = lim g(f (x)) = g( lim f (x)) = g(f (x0 ))
xx0
xx0
xx0
xa
lim g(x) ln f (x) y el lmite a calcular es el de un producto. Si se obtiene que lim g(x) ln f (x) =
xa
xa
3.4
xb
xa+
puesto que otra cosa no tendra sentido porque la f no tiene porque estar definida ni a la
derecha de b ni a la izquierda de a.
El primero de los resultados importantes es el teorema de Bolzano:
47
Teorema 3.8 (Teorema de Bolzano) Sea f una funcion continua en un intervalo compacto (cerrado y acotado) [a, b]:
f : [a, b] R
y tal que
es decir, la funcion toma valores de signo distintos en los puntos a y b. Entonces se tiene
que existe al menos un punto c (a, b) en el que la funcion toma el valor 0, f (c) = 0.
Demostracion:
El teorema tiene una demostracion sencilla que responde a la idea intuitiva de que una
funcion continua se puede representar sin levantar el lapiz del papel. Si en a toma un
valor negativo y en b positivo (o viceversa) entonces para pasar de a a b la grafica tiene
forzosamente que cortar al menos una vez el eje de abscisas y en el punto de corte la
funcion vale cero.
De forma mas rigurosa, sean a = a0 y b = b0 y supongase que f (a0 ) < 0 y f (b0 ) > 0. Se
toma el punto medio del intervalo [a, b] (a0 + b0 )/2 y se calcula el signo de f ((a0 + b0 )/2).
Si f ((a0 + b0 )/2) > 0 se define a1 = a0 y b1 = (a0 + b0 )/2 y si f ((a0 + b0 )/2) < 0 entonces
se hace a1 = (a0 + b0 )/2 y b1 = b0 . Es claro que en el nuevo intervalo [a1 , b1 ] que tiene
la mitad de la longitud de [a, b] ocurre lo mismo que en este: f (a1 ) < 0 y f (b1 ) > 0, es
decir, la funcion cambia de signo en los extremos del intervalo.
Se vuelve a repetir el proceso pero ahora con el intervalo [a1 , b1 ]: se elige su punto medio
(a1 + b1 )/2 y se estudia el signo de f ((a1 + b1 )/2). Si f ((a1 + b1 )/2) > 0 se hace a2 = a1 y
b2 = (a1 + b1 )/2 y si f ((a1 + b1 )/2) < 0 entonces se define a2 = (a1 + b1 )/2 y b2 = b1 . En
el nuevo intervalo [a2 , b2 ] de longitud [a, b]/4 se repite el proceso y as sucesivamente.
Si en alg
un momento la funcion f se anula en alg
un punto medio de la forma (an + bn )/2
ese punto es el que se esta buscando y la demostracion termina. Si no, se genera de esta
manera una sucesion {an } que por construccion es creciente y tal que f (an ) < 0 para todo
n y una sucesion {bn } que por construccion es decreciente y que cumple que f (bn ) > 0
para todo n. Como ambas sucesiones son acotadas y monotonas resulta que ambas tienen
lmite y como, por otro lado, la longitud del intervalo [an , bn ] es (b a) /2n , que tiende a
0 cuando n tiende a , forzosamente ambos lmites deben coincidir:
lim an = lim bn = c (a, b)
pero por otro lado, puesto que f (an ) < 0, limn f (an ) 0 y puesto que f (bn ) > 0,
limn f (bn ) 0 lo que deja como u
nica opcion posible que f (c) = 0.
Ejemplo 3.1 Demostrar que la ecuacion no lineal x = cos x tiene solucion en el intervalo
[0, 1] y calcular aproximadamente dicha solucion con un error menor que 1/10.
El teorema de Bolzano es el resultado teorico que permite afirmar que una ecuacion no
lineal como, por ejemplo, x = cos x, tiene solucion en el intervalo [0, 1]. En efecto el
problema es equivalente a demostrar que la funcion continua f (x) = x cos x se anula en
alg
un punto del intervalo [0, 1] lo cual es cierto porque f (0) = 1 < 0, f (1) = 1cos 1 > 0
y por tanto seg
un el teorema existe c [0, 1] tal que c cos c = 0. Este c es ademas
48
la u
nica solucion de la ecuacion porque en el intervalo en cuestion x es creciente y cos x
decreciente de modo que solo se pueden cortar una vez. Ademas el teorema da un metodo
constructivo para calcular aproximadamente la solucion procediendo como se procede en
la demostracion. En 1/2, punto medio de [0, 1], f (1/2) = 0.3776. La solucion esta
entonces en el intervalo [1/2, 1] puesto que en este intervalo f cambia de signo y por tanto
el teorema de Bolzano asegura que en este intervalo la ecuacion tiene una solucion. Se
calcula ahora el signo de f en 3/4 punto medio de [1/2, 1] y resulta que f (3/4) = 0.0183
y por tanto la solucion esta en el intervalo [1/2, 3/4] porque f cambia de signo entre
los extremos del intervalo. En el siguiente paso f (5/8) = 0.186 lo que significa que la
solucion esta en [5/8, 3/4] y en el punto medio del intervalo anterior 11/16 se cumple que
f (11/16) = 0.0853 y por tanto la solucion de la ecuacion esta en [11/16, 3/4] lo que
determina su valor aproximado con un error menor que 1/10.
Es claro que procediendo de esta manera se puede acotar el valor de la solucion con una
precision tan grande como se quiera, acotando por arriba y por abajo cada vez con mas
precision el punto c en donde f (c) = 0. Este metodo de ir dividiendo cada intervalo en
dos partes de igual longitud y quedandose con el subintervalo en donde la funcion cambia
de signo se llama el m
etodo de la bisecci
on.
Una generalizacion del teorema 3.8 es el siguiente, que responde a la misma idea intuitiva
que el anterior:
Teorema 3.9 (Teorema de los valores intermedios) Sea f una funcion continua en
un intervalo compacto (cerrado y acotado) [a, b], f : [a, b] R. Entonces se tiene que
(suponiendo que f (a) < f (b)):
y tal que f (a) y f (b) existe siempre al menos un c [a, b] tal que f (c) = y.
Es decir, f toma en [a, b] todos los valores intermedios entre f (a) y f (b) (suponiendo que
f (a) < f (b) y viceversa en caso contrario).
La idea que subyace a la demostracion es la misma que en el caso anterior: para pasar
de f (a) a f (b) de forma continua (sin dar saltos) hay que pasar por todos los valores
intermedios.
El siguiente resultado tiene que ver con los valores maximos y mnimos que toma una
funcion continua en su dominio.
Definici
on 3.3 (Extremos globales de una funci
on) Se dice que una funcion f de
A en R tiene su m
aximo global (mnimo global) en c A cuando se cumple que
x A se tiene que f (x) f (c) (f (x) f (c) en el caso del mnimo)
(3.2)
49
Derivacion
4
4.1
50
Derivaci
on
Definici
on de derivada de una funci
on en un punto e interpretaci
on geom
etrica de la derivada. Derivadas laterales
vm =
4t0
Derivacion
51
Definici
on 4.1 (Derivada de una funci
on) Se dice que una
funci
on f definida en un entorno de a, f : (a , a + ) R, es
derivable en a, si su cociente incremental tiene lmite finito cuando
x a y en ese caso su derivada f 0 (a) en el punto a se define como:
f (x) f (a)
(4.1)
xa
xa
En muchas ocasiones se usa para definir f 0 (a) la variable h = x a
en lugar de la propia variable x y entonces se escribe
f 0 (a) = lim
f (a + h) f (a)
h0
h
f 0 (a) = lim
(4.2)
Ejemplo 4.2 Comprobar que la funcion lineal f (x) = mx + n con m, n R tiene por
derivada x R, f 0 (x) = m.
El lmite del cociente incremental de f en a es
(mx + n) (ma + n)
f (x) f (a)
= lim
=m
xa
xa
xa
xa
f 0 (a) = lim
Ejemplo 4.3 Comprobar que la funcion potencial f (x) = xn con n N tiene por derivada
para todo x n
umero real f 0 (x) = nxn1 .
En efecto, calculando el cociente de polinomios (xn an ) / (x a) :
x n an
f (x) f (a)
= lim
= lim xn1 + axn2 + ... + an1 = nan1 = f 0 (a)
xa
xa x a
xa
xa
lim
La notacion f 0 (a) que se ha usado en la definicion para denotar la derivada de una funcion
f en un punto a no es la mas corriente, sobre todo en textos de fsica y de ingeniera.
En muchas ocasiones se usa una notacion que se conoce con el nombre de notaci
on de
Leibniz y que resalta aspectos importantes de la derivada, fundamentalmente el hecho
de que es el lmite de un cociente incremental.
La notacion tiene en cuenta que una funcion y = f (x) es una relacion de dependencia
entre dos variables, la variable independiente x y la variable dependiente y. A un incremento x = x a de la variable independiente alrededor del punto a le corresponde un
incremento y = f (x) f (a) de la variable dependiente y lo que significa la definicion
de derivada es que cuando x es peque
no se tiene que y f 0 (a)x.
Derivacion
52
P3
P2
P1
f(a)
Figura 4.1
Derivacion
53
La recta secante determinada por los puntos Q = (a, f (a)) y P = (t, f (t)) tiene por
ecuacion
f (t) f (a)
y = f (a) +
(x a)
ta
Cuando P se acerca a Q, o equivalentemente t tiende hacia a, se observa que las rectas
secantes se acercan cada vez mas a la recta tangente y consiguientemente lo mismo sucede
para las pendientes (en la figura 4.1 las rectas secantes que pasan por los puntos (a, f (a))
y P1 , P2 y P3 se van acercando a la recta tangente a la grafica de la funcion en el punto
(a, f (a))).
Por tanto la pendiente de la recta tangente a la gr
afica de f en (a, f (a)) es
f (x) f (a)
xa
xa
y la ecuaci
on de dicha recta tangente es
f 0 (a) = lim
f(a+h)
y(a+h)
(4.3)
f(a)
a+h
Figura 4.2
Derivacion
54
y lo que dice (4.4) es que la distancia entre las ordenadas de la recta tangente y la funcion
en el punto a + h (la longitud del segmento AB en la figura 4.2) tiende a 0 cuando h
tiende a 0 mas rapidamente de lo que tiende a 0 el propio valor de h (se dice el numerador
en (4.4) es un infinitesimo de orden superior al denominador).
Cualquier recta secante que corte la grafica de f en el punto (a, f (a)) y otro punto
cualquiera P tiene como ecuacion s (x) = f (a) + c(x a) con c una constante distinta de
f 0 (a). Para ella es cierto que la diferencia f (a + h) s(a + h) tiende a 0 cuando h tiende
a 0 pero solo en el caso de la recta tangente la diferencia tiende a 0 incluso cuando se la
divide por h. En este sentido se dice que la recta tangente es la recta que mejor aproxima
el valor de la funcion f en las proximidades de x = a.
Esta afirmacion geometrica permite ademas, en el caso de una funcion f , calcular de forma
aproximada los valores f (x) para distintos valores de la variable x evaluando exclusivamente la funcion en un solo punto x0 , siempre que los puntos x no esten muy alejados de
x0 . Cuando la funcion f es complicada la ventaja del procedimiento radica en que basta
evaluar la funcion en un solo punto x0 para obtener buenas aproximaciones del valor de
f en cualquier otro punto proximo. El siguiente ejemplo ilustra lo que se acaba de decir:
Ejemplo 4.4 Calcular los valores de la funcion f (x) =
Se escoge como punto x0 el valor x0 = 1000 que tiene ademas la ventaja de que el valor
f (1000) = 10 es inmediato. A partir de este valor, en cualquier otro punto x proximo a
1000 se tiene que
1
1
3
x ' f (1000) + f 0 (1000) (x 1000) = 10 +
(x 1000)
3
3 10002
1
= 10 +
(x 1000)
(4.5)
300
f (x) =
y si se comparar estos valores con las siguientes aproximaciones mas precisas obtenidas
con una calculadora
f (990) ' 9.966,
se comprueba que las aproximaciones obtenidas con (4.5) tienen en los tres casos errores
menores del 0.1%.
Para que exista cualquier lmite deben existir los lmites por la derecha y por la izquierda
y coincidir y lo mismo le ocurre al lmite del cociente incremental que define la derivada
de una funcion en un punto. En este sentido se tiene la siguiente definicion:
Definici
on 4.2 (Derivadas laterales) La derivada lateral derecha de f en a es:
f+0 (a) = lim+
xa
f (a + h) f (a)
f (x) f (a)
= lim+
h0
xa
h
Derivacion
55
f (x) f (a)
f (a + h) f (a)
= lim
h0
xa
h
x2
x
x0
x>0
x0
x>0
f (x) =
es derivable en R {0} .
Por tanto
f (x)
f (x)
= 0 y f0 (0) = lim
=1
x0
x0
x
x
y como las derivadas laterales existen pero son diferentes, la funcion no es derivable en el
origen.
Notar tambien que en cualquier otro punto x 6= 0 la funcion es derivable y se tiene que
2x x < 0
0
f (x) =
1
x>0
f+0 (0) = lim+
4.2
Continuidad y derivabilidad
Proposici
on 4.1 (Continuidad de las funciones derivables) Sea f una funcion definida
en un entorno del punto a. Si f es derivable en a entonces f es continua en a.
Demostracion:
f (x) f (a)
.
xa
Comprobemos la continuidad de f en a viendo que limxa f (x) = f (a).
Tomando lmites en los dos miembros de la igualdad (con x 6= a)
Por hipotesis, existe f 0 (a) = limxa
f (x) f (a) = (x a)
f (x) f (a)
xa
se tiene
f (x) f (a)
= 0 f 0 (a) = 0
xa
xa
xa
xa
Derivacion
56
Conviene se
nalar que un razonamiento en todo similar al que se acaba de hacer demuestra
que la existencia de derivadas laterales de una funcion en un punto garantiza la continuidad
en dicho punto, a
un en el caso de que las derivadas laterales no coincidan y por tanto
la funcion no sea derivable. En cambio, si las derivadas laterales en un punto no existen
entonces la continuidad no esta asegurada automaticamente y, dependiendo del ejemplo
de que se trate, la funcion puede ser o no continua en el punto. Los dos ejemplos que
siguen ilustran todo lo dicho.
Ejemplo 4.6 Demostrar que la funcion valor absoluto f (x) = |x| es continua en R pero
no es derivable en el origen.
Que la funcion es continua en todo R excepto quiza en el cero resulta evidente. Para
comprobar la continuidad y la no derivabilidad en el cero basta, seg
un lo anteriormente
expuesto, comprobar que las derivadas laterales existen pero no son iguales. Se tiene que:
f+0 (0) = lim+
x0
f0 (0) = lim
x0
|x|
x
f (x) f (0)
= lim+
= lim+ = 1
x0
x0 x
x
x
f (x) f (0)
|x|
x
= lim
= lim
= 1
x0
x0
x
x
x
x sen
x 6= 0
x
f (x) =
0
x=0
es continua en R pero no es derivable en el origen.
De nuevo por lo que respecta a la continuidad es claro que la funcion es continua en todo
R excepto quiza en el cero. Pero tambien es continua en el cero porque
lim x sen
x0
1
= 0 = f (0)
x
ya que la funcion es producto de una funcion que tiende a cero y una funcion acotada.
Sin embargo en este caso no existen las derivadas laterales porque el
1
0
1
x
= lim sen
x0
x0
x
x sen
lim
x0
no existe, ni cuando x tiende a cero por la derecha ni cuando tiende a cero por la izquierda.
En ocasiones se puede calcular la derivada de una funcion f (x) en un punto a calculando
los lmites laterales de la funcion derivada f 0 (x) cuando x a. El resultado preciso que
relaciona la derivabilidad de f en a con la existencia de los lmites laterales de f 0 en dicho
punto es la siguiente proposicion (cuya demostracion requiere resultados de captulos
posteriores):
Derivacion
57
Proposici
on 4.2 Sea f una funcion continua en a y derivable en todos los puntos del
entorno (a , a + ) salvo quiza en el propio punto a y sean los lmites laterales de f 0
en a:
lim f 0 (x) = f 0 a
lim+ f 0 (x) = f 0 a+ ,
xa
xa
x2 sen
x 6= 0
x
g(x) =
0
x=0
que es derivable en el origen pese a que el lmite lateral de la derivada
1
1
0
0
+
lim g (x) = g 0 = lim+ 2x sen cos
x0+
x0
x
x
obviamente no existe (y lo mismo ocurre con el otro lmite lateral). Sin embargo s existe
g 0 (0) porque
1
x2 sen 0
x
lim
= 0 = g 0 (0)
x0
x0
Derivacion
4.3
58
El objetivo de este apartado es definir las derivadas sucesivas (derivada segunda, tercera
y en general derivada de orden n) de una funcion f . Se tiene la siguiente definicion por
lo que respecta a la derivada segunda:
Definici
on 4.3 (Derivada segunda de una funci
on) Se tiene una funcion
f : (c1 , c2 ) R,
a (c1 , c2 )
y se supone que existe > 0 tal que para todo x (a , a + ) existe f 0 (x).
Bajo estas condiciones se dice que f es dos veces derivable en a o, lo que es equivalente,
que tiene derivada segunda en el punto a, si existe el lmite siguiente:
f 0 (x) f 0 (a)
= f 00 (a)
xa
xa
lim
y, caso de que exista, al valor del lmite se le llama derivada segunda de f en a y se denota
por f 00 (a).
En palabras, la derivada segunda de una funcion en un punto a es la derivada de su
funcion derivada primera en dicho punto a. Es conveniente tener en cuenta que, lo mismo
que para definir f 0 (a) es necesario que exista f (x) para todos los x en un entorno de a,
cuando se trata de definir la derivada segunda f 00 (a) es necesario que exista f 0 (x) para
todos los x en un entorno de a (lo que por otra parte queda claro de la definicion de
f 00 (a)).
La definicion anterior se generaliza al caso de derivadas de orden superior de una funcion
dada f . La notacion que se suele usar es la de designar la derivada de orden n de
f en a (derivada n-esima de f en a) con el smbolo f (n) (a), aunque en el caso de las
derivadas primera y segunda se suele en muchos casos mantener la notacion f 0 (a) y
f 00 (a) respectivamente. Se tiene as la definicion:
Definici
on 4.4 (Derivada de orden n de una funci
on) Se tiene una funcion
f : (c1 , c2 ) R,
a (c1 , c2 )
y se supone que existe > 0 tal que para todo x (a , a + ) existe f (n1) (x).
Bajo estas condiciones se dice que f es n veces derivable en a o, lo que es equivalente,
que tiene derivada n-esima en el punto a, si existe el lmite siguiente:
f (n1) (x) f (n1) (a)
= f (n) (a)
xa
xa
lim
Derivacion
59
m!
4.4
Reglas de derivaci
on
El proceso de calcular la derivada de una funcion puede parecer laborioso pues exige recurrir a la definicion de derivada y calcular el correspondiente lmite. Aunque en ocasiones
tal procedimiento es obligado, existen resultados que hacen posible calcular derivadas de
forma mecanica sin ni siquiera necesidad de recurrir a la definicion. Estos resultados
son los que permiten calcular las derivadas de sumas, multiplicaciones, divisiones y composicion de funciones a partir de las derivadas de las funciones que intervienen en cada
una de estas operaciones elementales.
Proposici
on 4.3 (Derivadas de f + g, f g, cf, 1/g y f /g en funci
on de las de f y g)
Sean f y g funciones derivables en el punto a. Entonces las funciones f + g, f g, cf, 1/g y
f /g son derivables en a (siempre que g (a) 6= 0 en los casos de 1/g y f /g) y se cumple:
(f + g)0 (a) = f 0 (a) + g 0 (a)
Derivacion
60
(a) = 2
g
g (a)
0
f 0 (a)g(a) f (a)g 0 (a)
f
(a) =
g
g 2 (a)
Demostracion:
En el caso del producto el cociente incremental de f g en a es:
f (x)g(x) f (a)g(a)
(f g)(x) (f g)(a)
=
xa
xa
=
= g(x)
f (x) f (a)
g(x) g(a)
+ f (a)
xa
xa
y pasando al lmite:
f (x) f (a)
g(x) g(a)
(f g)(x) (f g)(a)
= lim g(x) lim
+ f (a) lim
xa
xa
xa
xa
xa
xa
xa
lim
j6=k
Derivacion
61
Proposici
on 4.4 (Derivadas del seno y del coseno) Se tiene que:
( sen x)0 = cos x
(cos x)0 = sen x
Demostracion:
Para la funcion seno se tiene que:
lim
h0
sen (a + h) sen a
sen a cos h + cos a sen h sen a
= lim
h0
h
h
sen a (cos h 1) + cos a sen h
= lim
h0
h
2
2 sen a sen (h/2) + cos a sen h
= cos a
= lim
h0
h
teniendo en cuenta que limh0 ( sen h)/h = 1. En el caso del coseno se opera de forma
similar.
En ocasiones es necesario calcular la derivada n-esima del producto de dos funciones.
Existe una formula, debida a Leibniz, que facilita este calculo.
Proposici
on 4.5 (F
ormula de Leibniz: derivada n-
esima del producto) Sean f y
g dos funciones n veces derivables en un punto a. Entonces la derivada n-esima de la
funcion producto f g viene dada por:
n
X
n (nk)
(n)
(f g) (a) =
f
(a)g (k) (a)
k
k=0
conviniendo en que la derivada de orden cero de una funcion es la propia funcion.
x2
y g(x) = sen x. Calcular (f g)(31) (0).
2
Claramente se tiene que f (0) = 0 y f (n) (0) = 0 excepto para la derivada de orden 2, en
cuyo caso se tiene que f (2) (0) = 1.
En cuanto a la funcion g (x), g (0) = 0, las derivadas pares de g(x) en 0 valen todas ellas
0 y las impares van alternando su valor entre 1 y 1 puesto que g (2n+1) (x) = cos x si n es
par y g (2n+1) (x) = cos x si n es impar.
Aplicando la regla de Leibniz se tiene que:
(31)
(f g)
31
X
31 (k)
(0) =
f (0)g (31k) (0)
k
k=0
y el u
nico sumando distinto de cero es el correspondiente a k = 2. Por tanto:
31 (29)
31 30 (29)
(31)
g (0) = 465g (29) (0) = 465
(f g) (0) =
g (0) =
2
2
puesto que 29 = 2 14 + 1 y por tanto se tiene que g (29) (0) = 1.
Derivacion
4.5
62
Derivada de la composici
on de funciones (regla de la cadena)
y derivada de la funci
on inversa de una dada
h(x) h(a)
h0 (a) si x 6= a
(x) =
x
a
0
si x = a
que cumple que
h(x) h(a) = [h0 (a) + (x)] (x a)
y, puesto que h es derivable en a, se deduce que es continua en x = 0 porque
limxa (x) = 0 = (a).
Aplicando este resultado a la funcion g que es derivable en f (a) resulta que se puede
escribir:
g(y) g(f (a)) = [g 0 (f (a)) + (y)] (y f (a)) con funcion continua y nula en f (a).
Sustituyendo y por f (x) y dividiendo ambos miembros por x a, el cociente incremental
de g f en a es:
g(f (x)) g(f (a))
f (x) f (a)
= [g 0 (f (a)) + (f (x))]
xa
xa
Derivacion
63
1
f 0 (f 1 (b))
1
f 0 (a)
1
f 0 (a)
1
f 0 (f 1 (b))
Los dos teoremas anteriores permiten calcular derivadas de funciones mas complicadas
que las que se obtienen con las reglas de derivacion del apartado anterior. Como ejemplo
se tiene la siguiente proposicion:
Derivacion
64
Proposici
on 4.8 Se tiene la funcion f : R+ R+ definida como f (x) =
p
q, p N y q 6= 0. Entonces se cumple que f 0 (x) = x(p/q)1 .
q
q
xp con
Demostracion:
(g 1 )0
1
1
1 (1/q)1
1
= 1 0 1/q =
q1 = x
1/q
q
(g (x))
(g ) (x )
q (x )
1 p (1/q)1 p1 p (p/q)1
(x )
px
= x
q
q
1
f 0 (f 1 (0))
y por tanto hay que calcular el valor de f 1 (0) que viene dado por la u
nica solucion de la
2
2
ecuacion x 2x 3 = 0 en [1, ). La ecuacion x 2x 3 = 0 tiene como soluciones
x = 3 y x = 1 y por tanto f 1 (0) = 3 y:
0
f 1 (0) =
1
f 0 (3)
1
4
5
5.1
65
Definici
on 5.1 (Extremos locales de una funci
on) Sea una funcion f : (a, b) R
y sea x0 (a, b).
Se dice que f alcanza en x0 un m
aximo o un mnimo local si
f (x) f (x0 ) maximo local
> 0 tal que x (x0 , x0 + ) se cumple que
f (x) f (x0 ) mnimo local
(5.1)
Tanto si la funcion f tiene en x0 un maximo local como si tiene un mnimo local se dice
que tiene en x0 un extremo local.
Se dice que el m
aximo local es estricto cuando en la definicion anterior se puede
sustituir f (x) f (x0 ) por f (x) < f (x0 ) excepto para x = x0 y que el mnimo local es
estricto cuando se puede sustituir f (x) f (x0 ) por f (x) > f (x0 ) excepto para x = x0 .
Si la funcion f esta tambien definida en los extremos del intervalo f : [a, b] R se puede
tambien definir lo que significa que f alcance en a o en b un extremo local. Por ejemplo,
se dice que f alcanza en a un m
aximo o un mnimo local si
f (x) f (a) maximo local
> 0 tal que x [a, a + ) se cumple que
(5.2)
f (x) f (a) mnimo local
y la definicion en el caso de b es obvia.
Las definiciones anteriores deben compararse con las correspondientes de maximo y mnimo
global en la definicion (3.2). Es claro que cuando, por ejemplo, se dice que f en (a, b)
tiene un maximo global en x0 se exige que f (x0 ) sea mayor o igual que el valor de f en
cualquier otro punto del conjunto (a, b). En cambio para que f tenga un maximo local en
x0 basta que f (x0 ) sea mayor o igual que el valor de f en todos los puntos de un entorno
de x0 que ademas puede ser tan peque
no como uno quiera (al radio del entorno > 0 no
se le exige ning
un tama
no especial). Por tanto la definicion de extremo local es menos
restrictiva que la de extremo global, es decir:
f tiene un extremo global en x0 f tiene un extremo local en x0
y la implicacion contraria no es cierta en general.
En este captulo se estudian condiciones necesarias y suficientes para que una funcion f
tenga un extremo local en un cierto punto x0 . Como se vera a continuacion todas estas
condiciones pasan por estudiar el signo de las derivadas de f en el punto en cuestion x0 ,
razon por la cual solo sirven para detectar extremos locales y nunca extremos globales. No
hay que olvidar que las propiedades de f 0 (x0 ) dan informacion solo sobre lo que le ocurre
a la funcion en un entorno de x0 que es precisamente lo que se necesita para estudiar si
la funcion tiene o no un extremo local en x0 .
El primero de estos resultados es el siguiente teorema:
66
xx0
f (x) f (x0 )
f (x) f (x0 )
= lim
= f 0 (x0 )
x x0
x
x
xx0
0
Por otro lado, si la funcion tiene, por ejemplo, un maximo local en x0 debe cumplirse para
puntos x suficientemente proximos a x0 que f (x) f (x0 ). En el primero de los lmites
f (x) f (x0 )
se tiene que x > x0 y por tanto, como f (x) f (x0 ), el cociente
0 para
x x0
todos los x suficientemente proximos a x0 y a su derecha. En el segundo de los lmites
f (x) f (x0 )
x < x0 lo que, junto con f (x) f (x0 ), significa que
0 para todos los x
x x0
suficientemente proximos a x0 y a su izquierda. Como ambos lmites deben coincidir y
el primero solo puede ser negativo o cero y el segundo positivo o cero, la u
nica solucion
0
posible es que f (x0 ) = 0. En el caso de un mnimo local se razona de manera totalmente
analoga.
Los puntos x en los que f 0 (x) = 0 se llaman puntos estacionarios de la funci
on
f de modo que el teorema de Fermat lo que dice es que, si una funcion es derivable, los
puntos en los que f puede alcanzar un extremo local son puntos estacionarios de f (lo que
no significa que f tenga obligatoriamente que alcanzar extremo local en todos los puntos
estacionarios).
Hay que tener tambien en cuenta la hipotesis de derivabilidad del teorema. Nada impide
que la funcion f alcance un extremo local en un punto x0 en el que f no es derivable.
5.2
67
Entonces se cumple que existe al menos un punto x0 (a, b) en el que f 0 (x0 ) = 0 (en el
caso de que f (a) = f (b) = 0 el teorema afirma que entre cada dos ceros de la funcion al
menos hay un cero de la derivada).
Demostracion:
La demostracion hace uso del teorema 3.10 que afirma que una funcion continua en un
compacto [a, b] alcanza en [a, b] maximo y mnimo globales. Supongase que en nuestro
caso f alcanza el maximo M en el extremo inferior del intervalo a y el mnimo global
m en el extremo superior b (o viceversa). Como por hipotesis f (a) = f (b) resulta que
M = m y si el maximo y el mnimo valen lo mismo entonces la funcion es constante en
todo [a, b] y su derivada es nula en todos los puntos del intervalo con lo que el teorema
queda probado.
Otra posibilidad es que el maximo global o el mnimo global o ambos se alcancen en
el interior del intervalo. Supongamos por ejemplo que f alcanza el maximo global en
x0 (a, b) (el resto de posibilidades se razona igual). Entonces f alcanza tambien en x0
un maximo local y, por aplicacion del teorema de Fermat (teorema 5.1), se deduce que
f 0 (x0 ) = 0.
El siguiente teorema es una generalizacion del teorema de Rolle.
Teorema 5.3 (Teorema del valor medio) Sea una funcion f : [a, b] R que cumple
las siguientes propiedades:
f es continua en [a, b]
f es derivable en (a, b)
Entonces se cumple que existe al menos un punto x0 (a, b) en el que
f 0 (x0 ) =
f (b) f (a)
ba
Demostracion:
El teorema se demuestra definiendo una funcion
f (b) f (a)
g(x) = f (x) f (a) + (x a)
ba
que geometricamente es para cada valor de x fijo la distancia vertical entre la grafica de
f (x) y la recta que pasa por los puntos del plano (a, f (a)) y (b, f (b)). g(x) es obviamente
continua en [a, b] y derivable en (a, b) porque f (x) y la funcion x lo son y se cumple que
g(a) = g(b) = 0. El teorema de Rolle 5.2 aplicado a la funcion g asegura que existe al
menos un punto x0 (a, b) tal que g 0 (x0 ) = 0, de donde se deduce que
g 0 (x0 ) = f 0 (x0 )
f (b) f (a)
=0
ba
68
x0
69
Proposici
on 5.4
1. Sea una funcion f : [a, b] R continua en [a, b] y derivable en (a, b) y tal que
x (a, b) se cumple que f 0 (x) = 0. Entonces se tiene que f es constante en [a, b].
2. Sean dos funciones f, g : [a, b] R continuas en [a, b] y derivables en (a, b) y tales
que x (a, b) se cumple que f 0 (x) = g 0 (x). Entonces se tiene que x [a, b] se
cumple que f (x) = g(x) + K donde K es una constante real.
Demostracion:
El primero de los apartados se demuestra tomando dos puntos cualesquiera x0 y x1 del
intervalo [a, b]. El teorema del valor medio aplicado al intervalo [x0 , x1 ] asegura que existe
f (x1 ) f (x0 )
un punto z (x0 , x1 ) tal que f 0 (z) =
pero como la derivada de f se anula en
x1 x0
0
todos los puntos, se anula en particular en z y de f (z) = 0 se obtiene que f (x1 ) = f (x0 ).
Como esto es verdad para cualquier pareja de puntos, se deduce que f es constante en
[a, b].
Para el segundo apartado basta aplicar el teorema del valor medio a la funcion f g y se
llega a la conclusion de que f (x) g(x) es constante para todo x [a, b].
El siguiente resultado es otra consecuencia del teorema del valor medio que caracteriza
las funciones monotonas crecientes y decrecientes en terminos del signo de su derivada
primera.
Proposici
on 5.5 Sea una funcion f : [a, b] R continua en [a, b] y derivable en (a, b).
Se tiene que:
1. f monotona creciente en [a, b] x (a, b) , f 0 (x) 0.
2. f monotona decreciente en [a, b] x (a, b) , f 0 (x) 0.
Demostracion:
Se demuestra la primera de las afirmaciones porque la segunda se hace de forma totalmente
analoga. Para demostrar la implicacion de izquierda a derecha se tiene en cuenta que como
la funcion es derivable x (a, b) se cumple que
lim+
h0
f (x + h) f (x)
= f 0 (x)
h
Como por hipotesis se tiene que f es monotona creciente en [a, b], entonces f (x+h) f (x)
para todo h > 0 y por tanto v(h) = (f (x + h) f (x)) /h 0 de donde se deduce que
f 0 (x) 0 x (a, b) porque el lmite de la funcion no negativa v(h) no puede ser negativo.
Para la implicacion contraria (de derecha a izquierda) se toman dos puntos cualesquiera
x0 y x1 del intervalo [a, b] (que en particular pueden ser los puntos a y b). Sea x0 < x1 .
Por el teorema del valor medio aplicado al intervalo [x0 , x1 ] se tiene que existe un punto
f (x1 ) f (x0 )
z (x0 , x1 ) tal que se cumple que f 0 (z) =
y como por hipotesis se tiene
x1 x0
que f 0 (z) 0, se deduce que f (x1 ) f (x0 ) y por tanto la funcion es monotona creciente.
Notar que en la demostracion anterior solo es necesario el teorema del valor medio en el
caso de la implicacion de derecha a izquierda. En la implicacion de izquierda a derecha
70
solo se usa la definicion de derivada y el hecho de que si v(h) 0 con h > 0 entonces
forzosamente limh0+ v(h) 0. Precisamente porque las demostraciones de las dos implicaciones son sustancialmente distintas, solo la implicacion de derecha a izquierda en la
parte 1 de la proposicion 5.5 sigue siendo cierta cuando se cambia f monotona creciente
por f estrictamente creciente y se sustituye f 0 (x) 0 por f 0 (x) > 0 (y solo la implicacion
de derecha a izquierda sigue siendo cierta en la parte 2 cuando se cambia f monotona
decreciente por f estrictamente decreciente y se sustituye f 0 (x) 0 por f 0 (x) < 0). Es
decir, se tiene el resultado:
Proposici
on 5.6 Sea una funcion f : [a, b] R continua en [a, b] y derivable en (a, b).
Se tiene que:
1. x (a, b) , f 0 (x) > 0 f estrictamente creciente en [a, b].
2. x (a, b) , f 0 (x) < 0 f estrictamente decreciente en [a, b].
Demostracion:
La demostracion es identica a la de la proposicion anterior. En el caso de la parte 1 se
toman dos puntos cualesquiera x0 y x1 del intervalo [a, b] con x0 < x1 . Por el teorema
del valor medio aplicado al intervalo [x0 , x1 ] se tiene que existe un punto z (x0 , x1 ) tal
f (x1 ) f (x0 )
y como por hipotesis se tiene que f 0 (z) > 0, se
que se cumple que f 0 (z) =
x1 x0
deduce que f (x1 ) > f (x0 ) y por tanto la funcion es estrictamente creciente.
La implicacion contraria, como se acaba de decir, ahora no es cierta porque si se quisiera
repetir la demostracion de la proposicion 5.5 con desigualdades estrictas se tendra que,
con la v(h) definida en 5.5, si f es estrictamente creciente entonces v(h) > 0 con h > 0.
Pero de ah no se deduce que limh0+ v(h) > 0 sino solo que limh0+ v(h) 0. Por tanto
f estrictamente creciente en [a, b] solo garantiza que f 0 (x) 0 pero no que f 0 (x) > 0. Por
ejemplo, la funcion f (x) = x3 es estrictamente creciente en [0, 1] y sin embargo f 0 (0) = 0.
5.3
Otro de los resultados tpicos que se obtienen a partir del teorema del valor medio tiene
que ver con una condicion suficiente para la existencia local de la funcion inversa. En
primer lugar conviene recordar lo que ya se dijo sobre la existencia de la funcion inversa
de una funcion dada f . Si f es suprayectiva, lo que esta automaticamente asegurado si se
hace coincidir el espacio de llegada con el recorrido de la funcion, f tiene inversa si y solo
si es inyectiva. Como tambien se ha comentado en el captulo anterior, es relativamente
frecuente que una funcion f : A R no sea inyectiva sobre todo su dominio A pero s
71
Proposici
on 5.7 (Existencia de la funci
on inversa local) Sea una funcion f : (a, b)
R derivable en (a, b) y x0 (a, b). Sea f 0 (x0 ) 6= 0 y sea f 0 continua en x0 .
Entonces f admite inversa local en un entorno de x0 .
Demostracion:
Supongamos que f 0 (x0 ) > 0 (en el caso en que f 0 (x0 ) < 0 se razona de la misma manera).
Como f 0 es continua en x0 eso significa que existe un entorno de radio > 0 en donde la
funcion f 0 es distinta de 0 y tiene el mismo signo que en x0 :
Existe > 0 tal que para todo x (x0 , x0 + ) se tiene que f 0 (x) > 0
Por aplicacion del resultado 5.6 eso significa que f es estrictamente creciente en (x0 , x0 + )
y, por tanto, inyectiva en (x0 , x0 + ). Luego admite inversa local en dicho intervalo.
5.4
f (x) f (x0 )
x x0
72
xx0
f 0 (x0 ) f 0 (x)
= f 00 (x0 ) < 0
x0 x
Si el lmite de una funcion g (x) es estrictamente menor que 0, lim g(x) < 0, entonces
xx0
para valores de x suficientemente proximos a x0 por la izquierda se cumple que g(x) < 0.
Como x0 x > 0, en nuestro caso debe ocurrir que f 0 (x0 ) = 0 < f 0 (x) para todo
x (x0 , x0 ) y por el mismo tipo de razonamiento aplicado al otro lmite lateral se
llega a la conclusion de que f 0 (x0 ) = 0 > f 0 (x) para todo x (x0 , x0 + ). Aplicando
entonces la proposicion 5.6 se llega a la conclusion de que f es estrictamente creciente
en [x0 , x0 ] y estrictamente decreciente en [x0 , x0 + ] de donde se deduce que tiene un
maximo estricto en x0 .
5.5
73
El siguiente resultado vuelve al tema de las funciones contractivas y su relacion con las
sucesiones recurrentes que ya se ha tratado con anterioridad en la proposicion 2.12. Es
un resultado importante conocido con el nombre de teorema del punto fijo.
Teorema 5.10 (Teorema del punto fijo) Sea f : [a, b] [a, b] una funcion contractiva, es decir, tal que existe c (0, 1) tal que para todo x, y [a, b] se verifica que
|f (x) f (y)| c |x y| . Entonces f tiene un u
nico punto fijo x [a, b] y por tanto
f (x) = x.
Demostracion:
Comencemos por la unicidad. Supongamos que x e y son puntos fijos de f. Entonces se
tiene:
|x y| = |f (x) f (y)| c |x y| , 0 < c < 1
y de aqu resulta que (1 c) |x y| 0 con 0 < c < 1 lo cual solo puede ocurrir si x = y.
Por otra parte la contractividad de la funcion f implica su continuidad en [a, b] puesto
que, si x, y [a, b], se tiene que
|f (x) f (y)| c |x y| < |x y| ,
de manera que dado > 0, basta elegir = para que
|f (x) f (y)| < ,
si |x y| < .
74
Demostracion:
Aplicando el teorema del valor medio se tiene que, dados x, y [a, b] , existe x0 (x, y)
tal que
f (x) f (y)
= f 0 (x0 )
xy
de donde, tomando valores absolutos, se llega a que
|f (x) f (y)| = |x y| |f 0 (x0 )| c |x y|
con c < 1
f 0 (x) =
1
2x.
3
75
0.04
0.02
0.02
0.04
0.06
0.08
0.1
0.2
x0
0.1
x1
x2 x 0
3
0.1
6.1
76
Definici
on 6.1 (Funciones c
oncavas y convexas) Sea una funcion f : I R R.
Se dice que f es convexa en I si para todo intervalo [a, b] I y x [a, b] se cumple
que:
f (b) f (a)
f (b) f (a)
f (x) f (a) +
(x a) = f (b) +
(x b)
(6.1)
ba
ba
donde la verdadera definicion es la desigualdad y la igualdad no es mas que otra manera
de escribir el segundo miembro.
f es c
oncava en I si para todo intervalo [a, b] I y x [a, b] se cumple que:
f (x) f (a) +
f (b) f (a)
(x a)
ba
(6.2)
f (b) f (a)
(x a)
ba
es la ecuacion de la recta que pasa por los puntos del plano (a, f (a)) y (b, f (b)). Las
ecuaciones anteriores (6.1) y (6.2) se escriben como f (x) s(x) y f (x) s(x) y expresan
la propiedad geometrica de que la gr
afica de la funci
on f entre a y b queda por
debajo de la recta secante a la gr
afica en a y b en el caso de que f sea convexa
y por encima en el caso de que sea c
oncava (figura 6.1).
x0
x1 x2
x0
x1
x2
xa
ba
o bien como
f (b) f (x)
f (b) f (a)
bx
ba
(6.3)
77
y se consideran los tres puntos a < x < b. En primer lugar, teniendo en cuenta que el
cociente (f (b) f (a)) / (b a) es el mismo en ambas desigualdades, de ellas se deduce que
cualquier recta secante que pase por (a, f (a)) y por (x, f (x)) con a < x tiene pendiente
menor o igual que cualquier recta secante que pase por (b, f (b)) y por (x, f (x)) con x < b.
Si en la primera desigualdad en (6.3) se considera a fijo y x y b dos puntos a su derecha,
la desigualdad dice que las recta secante a f en a y un punto c a su derecha tiene una
pendiente que disminuye cuando c a+ .
Si en la segunda desigualdad en (6.3) se considera b fijo y x y a dos puntos a su izquierda,
la desigualdad dice que las recta secante a f en b y un punto c a su izquierda tiene una
pendiente que aumenta cuando c b .
De todo ello se deduce que si f es convexa y si x0 < x1 < x2 < xn , las rectas que
cortan la gr
afica de f en x = a fijo y x = xj tienen pendientes que aumentan
cuando el ndice j aumenta. Si f es c
oncava ocurre lo contrario (figura 6.1).
Es muy corriente usar en lugar de la variable x en (6.1) y (6.2) la variable t definida como
bx
xa
con t [0, 1] cuando x [a, b]. Entonces 1 t =
y x = a + t (b a) =
t=
ba
ba
(1 t) a + tb y las definiciones anteriores en funcion de t se transforman en:
f ((1 t) a + tb) (1 t) f (a) + tf (b)
f ((1 t) a + tb) (1 t) f (a) + tf (b)
funciones convexas
funciones concavas
(6.4)
(6.5)
xb
f (b) f (x)
f (b) f (a)
= f 0 (b)
bx
ba
(6.7)
En el caso de que f sea concava basta cambiar el menor o igual por mayor o igual y
viceversa. De (6.6) y (6.7) se obtiene facilmente que si f es convexa y derivable en
un punto x0 entonces la recta t(x) tangente a f en x0 est
a por debajo de la
gr
afica de f :
t(x) = f (x0 ) + f 0 (x0 ) (x x0 ) f (x)
Lo contrario ocurre si f es c
oncava.
78
x0
Figura 6.2
x1
Otras propiedad u
til de las funciones concavas y convexas es el siguiente resultado que
es una caracterizacion que permite comprobar en la practica si una funcion derivable es
concava o convexa:
Proposici
on 6.1 (Caracterizaci
on de las funciones c
oncavas y convexas) Sea una
funcion f : (a, b) R derivable en (a, b). Entonces se tiene que:
f convexa en (a, b) f 0 monotona creciente en (a, b)
f concava en (a, b) f 0 monotona decreciente en (a, b)
Como consecuencia de estas dobles implicaciones, si para todo x (a, b) existe f 00 (x), se
tiene que:
f convexa en (a, b) x (a, b) , f 00 (x) 0
f concava en (a, b) x (a, b) , f 00 (x) 0
Demostracion:
Se demuestra la doble implicacion para funciones convexas y la de las funciones concavas es
totalmente equivalente. Para la implicacion de izquierda a derecha se deduce directamente
de (6.6) y (6.7) que si a < b entonces f 0 (a) f 0 (b).
Para la implicacion contraria, sean tres puntos a < x < b. El teorema del valor medio
asegura que existen un (a, x) y un (x, b) tales que:
f (x) f (a)
= f 0 () ,
xa
f (b) f (x)
= f 0 ()
bx
79
f (x) f (a)
f (b) f (x)
c2 =
xa
bx
lo que significa que la recta que pasa por (a, f (a)) y por (x, f (x)) con a < x tiene
pendiente c1 menor que la pendiente c2 de la que pasa por (x, f (x)) y por (b, f (b)) con
x < b. Geometricamente la pendiente de la recta que pasa por (a, f (a)) y por (b, f (b))
tiene que ser mayor o igual que c1 y menor o igual que c2 y por tanto se tiene que
c1 =
f (b) f (a)
f (b) f (x)
f (x) f (a)
c2 =
xa
ba
bx
6.2
Puntos de inflexi
on
Definici
on 6.2 (Punto de inflexi
on de la gr
afica de una funci
on) Sea una funci
on
f : (a, b) R R y x0 (a, b). Se dice que f tiene un punto de inflexi
on en x0 si
existe > 0 tal que
f (x) es concava en (x0 , x0 ] y f (x) es convexa en [x0 , x0 + )
o bien se cumple (como en la figura 6.3) que
f (x) es convexa en (x0 , x0 ] y f (x) es concava en [x0 , x0 + )
punto de inflexin en x0
x0
Figura 6.3
80
En el caso de que la funcion f sea derivable en el punto x0 (como ocurre en la figura 6.3)
la recta tangente a la grafica de la funcion en el punto de inflexion x0 esta por debajo de
la grafica a la derecha de x0 y por encima a la izquierda o viceversa.
Proposici
on 6.2 (Condici
on necesaria de punto de inflexi
on) Se tiene una funci
on
f : (a, b) R, un punto x0 (a, b) y existe f 00 (x0 ). Si f tiene en x0 un punto de inflexi
on
entonces f 00 (x0 ) = 0.
Proposici
on 6.3 (Condici
on suficiente de punto de inflexi
on) Sea f : (a, b) R
00
000
y x0 (a, b) tal que f (x0 ) = 0 y existe f (x0 ) 6= 0. Entones f tiene en x0 un punto de
inflexion.
Ejemplo 6.1 Demostrar que la funcion f (x) = x3 x5 + x/2 tiene un punto de inflexi
on
en x = 0.
Como la funcion es un polinomio, es derivable en todo R. Se estudia el crecimiento o
decrecimiento de f 0 (x) en un entorno de x = 0. f 0 (x) = 3x2 5x4 + 1/2 y f 00 (x) =
6x 20x3 = 2x (3 10x2 ) de donde se deduce que en un entorno suficientemente peque
no
del cero se tiene que f 00 (x) > 0 para x > 0 y f 00 (x) < 0 para x < 0. Luego en un entorno
del cero se tiene que f 0 (x) es creciente para x > 0 y es decreciente para x < 0 y por tanto,
seg
un la proposicion 6.1, la funcion pasa en cero de ser concava a ser convexa y tiene en
el cero un punto de inflexion.
6.3
La regla de LH
opital
xx0
f (x)
f 0 (x0 )
= 0
g (x)
g (x0 )
Demostracion:
En primer lugar se tiene que al ser g (x0 ) = 0 y g 0 (x0 ) 6= 0, en un entorno de x0 (excluido
el propio x0 ) se tiene que g (x) 6= 0 y por tanto la funcion f (x) /g (x) esta bien definida
(excepto en x0 ). Por otro lado y puesto que f (x0 ) = g (x0 ) = 0 es claro que:
f (x)
(f (x) f (x0 )) / (x x0 )
=
g (x)
(g (x) g (x0 )) / (x x0 )
81
xx0
lim g (x) = 0,
xx0
existe > 0 tal que x (x0 , x0 + ) existen f 0 (x) y g 0 (x) excepto quiza en x0
(6.8)
Se cumple entonces que:
Si existe
lim
xx0
f (x)
f 0 (x)
=
l
existe
lim
=l
xx0 g (x)
g 0 (x)
(6.9)
xx0
lim g (x) = ,
xx0
existe > 0 tal que x (x0 , x0 + ) existen f 0 (x) y g 0 (x) excepto quiza en x0
Se cumple entonces que:
f (x)
f 0 (x)
= l existe lim
=l
Si existe lim 0
xx0 g (x)
xx0 g (x)
y todo lo dicho en el teorema anterior sobre los casos l = y x0 = es tambien
aplicable en este teorema.
82
f 0 (x)
2x sen (1/x) cos (1/x)
= lim
0
x0 g (x)
x0
1
pero no existe
lim
porque el primer sumando tiende a 0 pero no existe el lmite de cos (1/x) cuando x 0.
La regla se usa con frecuencia para calcular lmites indeterminados que no son de la forma
0/0 o / pero se pueden reducir a uno de estos dos casos. Ocurre esto en el siguiente
ejemplo:
Ejemplo 6.3 Sea f (x) = (x3 2x + 3)
1/x
lim x 2x + 3
1/x
= exp lim ln f (x) = 1
x
Formula de Taylor
7
7.1
83
F
ormula de Taylor
Polinomio de Taylor de orden n: definici
on y propiedades
xx0
f (x) f (x0 )
= f 0 (x0 )
x x0
xx0
(7.1)
(7.2)
Seg
un lo que se ha visto en el captulo de derivacion, y = P1,x0 (x, f ) no es mas que la
ecuacion de la recta tangente a f (x) en x0 y (7.3) tiene el significado intuitivo que ya
se comento all: cuando x x0 el denominador en (7.3) tiende a 0 y el hecho de que
el cociente tambien tienda a 0 significa que el numerador tiende a 0 mas rapidamente
que el denominador de modo que el lmite del cociente es 0. Cuando x esta en las
proximidades de x0 , P1,x0 (x, f ) es una buena aproximacion de f (x) no solo porque la
diferencia f (x) P1,x0 (x, f ) se hace peque
na sino porque incluso cuando se divide esta
diferencia por x x0 el cociente sigue siendo peque
no (de hecho sigue tendiendo a 0
cuando x x0 ). En general, para valores de x x0 grandes el cociente en (7.3) ya no
tiene porque estar proximo a 0 con lo cual para esos valores P1,x0 (x, f ) dejara de ser una
buena aproximacion de f (x).
En todo lo que viene a continuacion conviene usar una terminologa que simplifica mucho
la notacion. Si se tiene una cierta variable x y una funcion s (x), la idea de como
se comporta s (x) cuando x tiende a 0 se expresa bien utilizando un smbolo que se
conoce con el nombre de o peque
na de Landau y se define de la siguiente manera:
Se dice que s (x) es o peque
na cuando x 0 y se escribe s (x) = o (x) si se cumple
que lim0 s(x)/x = 0.
La definicion anterior se generaliza de la siguiente manera:
Formula de Taylor
84
Definici
on 7.1 Se dice que s (x) es o peque
na de (x) con 0 cuando x 0
y se escribe s (x) = o ((x) ) si se cumple que
s(x)
o((x) )
=
lim
=0
x0 (x)
x0 (x)
lim
con
Como caso particular, si s (x) es o((x)0 ) entonces se tiene que limx0 s (x) = 0.
La definicion y todas las propiedades que se dan a continuacion
son validas para 0
1/2
(por ejemplo, s (x) = o((x) ) significa que limx0 s (x) / x = 0) pero en todo
lo relacionado con el polinomio de Taylor aparecen y se usan siempre con un n
umero
natural.
Cuanto mayor sea mas rapidamente tiende a 0 s (x) cuando x 0 porque, para
que el cociente s (x) / (x) 0, s (x) debe tender a 0 mas rapidamente que (x)
y esta u
ltima tiende a 0 tanto mas deprisa cuanto mayor sea .
De todo lo anterior se deduce que la condicion s (x) = o ((x) ) es tanto mas fuerte
cuanto mayor sea el valor
de . De hecho, si > entonces se tiene que s ((x)) =
lim
=
0
o
(x)
x0 (x)
x0
cuando x 0
(7.4)
Definici
on 7.2 (Polinomio de Taylor de orden n)
1 00
f (x0 ) (x x0 )2 + . . .
2!
1
1
+
f (n1) (x0 ) (x x0 )n1 + f (n) (x0 ) (x x0 )n
(n 1)!
n!
n
X 1
=
f (k) (x0 ) (x x0 )k
(7.5)
k!
k=0
Formula de Taylor
85
donde se usa la notacion de que f (0) (x0 ) = f (x0 ) y efectivamente Pn,x0 (x, f ) es un
polinomio de grado a lo sumo n en la variable x (podra ser de grado menor que n,
por ejemplo n 1, si f (n) (x0 ) se anulara). Notar que la hipotesis de que la funcion f
tenga derivada de orden n en x0 significa que en un entorno de x0 existen las funciones
f (x) , f 0 (x) , f 00 (x) , . . . , f (n1) (x) y ademas f (n1) (x) es derivable en x0 .
A veces, cuando el punto x0 = 0, al polinomio de Taylor se le llama de Euler-Maclaurin.
Conviene recordar en todo lo que sigue que un polinomio cualquiera Qn (x) = q0 + q1 x +
. . . + qn xn se puede siempre escribir en potencias de x x0 = x con x0 R sin mas que
hacer el cambio de variable x = x0 + x y escribir Qn (x) en funcion de la variable x
ordenado los sumandos en potencias crecientes de x:
Qn (x0 + x) = q0 + q1 (x0 + x) + . . . + qn (x0 + x)n
= a0 + a1 x + a2 (x)2 + . . . + an (x)n
(7.6)
(j)
Notar tambien que, escrito de esta manera, es inmediato comprobar que aj = Qn (x0 ) /j!
de donde se deduce que, si Qn (x) es un polinomio cualquiera de grado n, su polinomio de
Taylor de orden n en torno a cualquier punto x0 coincide con el mismo: Pn,x0 (x, Qn ) =
Qn (x). No solo eso si no que tambien es cierto que Pq,x0 (x, Qn ) = Qn (x) siempre que
q n.
En ocasiones se sabe que un cierto polinomio de grado n, Qn (x) = q0 + q1 x + . . . + qn xn ,
es el polinomio de Taylor de orden n de una funcion f alrededor de un punto x0 , Qn (x) =
Pn,x0 (x, f ). Ello permite calcular las derivadas de la funcion f (x) en x0 a partir de los
coeficientes de Qn (x). Basta operar como se ha hecho en (7.6) y escribir Qn (x) en funcion
de la variable x = x x0 :
Qn (x0 + x) = a0 + a1 x + a2 (x)2 + . . . + an (x)n
y de aqu se obtiene sin mas que f (k) (x0 ) = k!ak con k = 0, 1, . . . n.
La propiedad fundamental que caracteriza al polinomio de Taylor de orden 1 es la dada
en (7.4) y ya hemos visto lo que significa: P1,x0 (x, f ) aproxima bien los valores de f en las
proximidades de x0 . Seg
un todo lo que se ha dicho sobre el smbolo o (x) intuitivamente
parece que la aproximacion sera mejor si, en lugar de o (x), en el segundo miembro
de (7.4) apareciera o ((x) ) con > 1 (aunque para justificar de forma rigurosa esta
afirmacion hara falta esperar al u
ltimo apartado de este tema).
El objetivo de obtener aproximaciones polinomicas o ((x) ) con > 1 se consigue con
los polinomios de Taylor de orden superior a 1 definidos en (7.5). El siguiente resultado
extiende la propiedad (7.4) y demuestra que cuanto mayor es el grado n de Pn,x0 (x, f )
mejor aproxima (en el sentido de que es mayor) Pn,x0 (x, f ) los valores de la funcion f
en un entorno del punto x0 . El precio que se paga es que para conseguir aproximaciones
cada vez mejores hay que manejar polinomios de grados cada vez mas grandes con los que
resulta mas engorroso operar.
Proposici
on 7.1 (F
ormula de Taylor con resto infinitesimal) Sea una funcion f :
(a, b) R que tiene n derivadas en x0 (a, b) y sea Pn,x0 (x, f ) el polinomio de Taylor
de orden n definido en (7.5). Entonces se cumple que:
lim
xx0
(7.7)
Formula de Taylor
86
cuando
x = (x x0 ) 0
(7.8)
y se dice que Pn,x0 (x, f ) es una aproximacion de orden n de la funcion f (x) en un entorno
de x0 .
Demostracion:
La demostracion se hace por induccion: se comprueba que el resultado es cierto para
n = 1 (afirmacion que ya esta demostrada en (7.4)) y se demuestra que si el resultado
es verdad para un ndice n entonces forzosamente tiene que ser verdad para el siguiente
n + 1. Para no complicar demasiado la notacion, aqu nos limitamos a demostrar que de
(7.4) (que es el resultado con n = 1) se deduce el resultado con n = 2. Lo que hay que
demostrar es (7.7) con n = 2. Entonces se tiene, aplicando la regla de LHopital:
lim
xx0
lim
lim
lim
f 0 (x) f 0 (x0 )
(1/2) f 00 (x0 ) = 0
2 (x x0 )
xx0
xx0
xx0
xx0
y seg
un hemos visto esto implica que
lim
xx0
Formula de Taylor
87
de donde se deduce por la misma razon que en el caso anterior que ahora a1 = f 0 (x0 ).
Procediendo de esta manera con valores de p cada vez mayores se va demostrando que
los coeficientes ak del polinomio Qn (x)
coinciden con los correspondientes de Pn,x0 (x, f )
hasta llegar a que an = f (n) (x0 )/n! . Luego ambos polinomios coinciden.
Ejemplo 7.1 En la figura se representa la funcion f (x) = e2x 10ex y sus polinomios
de Taylor de orden 1, 2 y 3 en torno al punto x = 2. Los polinomios aproximan tanto
mejor la funcion cuanto mayor es su grado y cuanto mas proximo esta el valor de x del
centro del desarrollo x = 2.
250
f(x)=e2x10ex
200
150
Pol. de Taylor
de orden 3
100
Pol. de Taylor
de orden 2
50
Pol. de Taylor de
orden 1
50
100
1.5
2.5
3.5
Formula de Taylor
7.2
88
Condici
on suficiente de extremo local y de punto de inflexi
on
y con
f (n) (x0 ) 6= 0
con
n2
f (x) f (x0 )
f (n) (x0 ) o ((x x0 )n )
=
+
(x x0 )n
n!
(x x0 )n
(7.9)
Sea por ejemplo, n par y f (n) (x0 ) < 0. Por definicion de o el segundo sumando del
segundo miembro tiende a 0 cuando x x0 lo que significa que existe > 0 tal que
n
n
x
(n) (x0 , x0 + ) se puede conseguir que |o ((x x0 ) ) / (x x0 ) | sea menor que
f (x0 ) y por tanto el segundo miembro de (7.9) sea estrictamente negativo. Luego el
primer miembro tambien es estrictamente negativo,
f (x) f (x0 )
<0
(x x0 )n
(7.10)
Formula de Taylor
89
y f (n) (x0 ) 6= 0 con n impar. Sea, por ejemplo, f (n) (x0 ) < 0. Haciendo exactamente
el mismo razonamiento que lleva a (7.10) pero teniendo en cuenta que ahora f 0 (x0 ) en
general es distinta de cero, se tiene que:
f (x) f (x0 ) f 0 (x0 ) (x x0 )
<0
(x x0 )n
(7.11)
(7.12)
7.3
f (x) = ex ,
Pn (x) =
f (x) = ln (1 + x) ,
n
P
Pn (x) =
k+1
(1)
k=1
f (x) = cos x,
P2n (x) =
n
P
(1)k
k=0
f (x) = sen x,
P2n+1 (x) =
n
P
k=0
n
xk
x2 x3
n+1 x
=x
+
. . . + (1)
k
2
3
n
x2k
x2 x4
x2n
=1
+
. . . + (1)n
(2k)!
2!
4!
(2n)!
(1)k
x2k+1
x3 x5
x2n+1
= x + . . . + (1)n
(2k + 1)!
3! 5!
(2n + 1)!
Formula de Taylor
90
x2k+1
x2n+1
x 3 x5
= x + . . . + (1)n
2k + 1
3
5
2n + 1
k=0
n
P
k
( 1) 2
x = 1 + x +
f (x) = (1 + x) con R, Pn (x) =
x + ...
2!
k=0 k
f (x) = arctan x,
P2n+1 (x) =
n
P
(1)k
( 1) ( n + 1) n
x
n!
( 1) ( k + 1)
=
con
=1
k
k!
0
Todos los polinomios anteriores excepto el del arctan x se calculan sin ninguna dificultad
calculando las derivadas de las correspondientes funciones que siguen una recurrencia
sencilla de obtener: en el caso de ex todas las derivadas en x0 valen ex0 y en el 0 todas
valen 1, la derivada n-esima de ln (1 + x) en 0 vale (1)n+1 (n 1)! Las derivadas de
ndice par del seno en x = 0 valen todas 0 y las de ndice impar (sen x)(2n+1) (0) = (1)n
y con el coseno ocurre lo contrario: las derivadas de ndice impar en x = 0 se anulan todas
y para las de ndice par (cos x)(2n) (0) = (1)n .
Sea f (x) una funcion par. Para una funcion par las derivadas de orden impar en x = 0
se anulan todas y eso se traduce en que el polinomio de Taylor de orden n en torno a
x = 0 de f solo tiene las potencias pares de x y es por tanto una funcion par (como es el
caso de f (x) = cos x). Ademas, como las potencias impares se anulan, para todo n N
P2n+1 (x, f ) = P2n (x, f ) (el polinomio de Taylor de orden impar 2n + 1 coincide con el de
orden par inmediatamente anterior 2n) y como seg
un (7.8) se tiene que
f (x) = P2n+1,0 (x, f ) + o x2n+1
cuando x 0
tambien se cumple que, si f es una funcion par:
f (x) = P2n,0 (x, f ) + o x2n+1
cuando x 0
Luego para funciones pares los polinomios de Taylor P2n,0 (x, f ) son una aproximacion de
orden 2n + 1 de la funcion f (x) (en contra de lo que ocurre en el caso general (7.8) en el
que el orden de la aproximacion coincide con el grado del polinomio).
Con un razonamiento en todo similar, para funciones g impares P2n+2 (x, g) = P2n+1 (x, g)
(el polinomio de Taylor de orden par 2n+2 coincide con el de orden impar inmediatamente
anterior 2n + 1) y por tanto, si g es una funcion impar se cumple que:
g(x) = P2n+1,0 (x, g) + o x2n+2
cuando x 0
Para funciones g impares, los polinomios de Taylor P2n+1,0 (x, g) son una aproximacion de
orden 2n+2 de la funcion g(x) (tambien ganando una unidad en el orden de aproximacion
con respecto al caso de una funcion sin paridad definida).
Todo lo anterior con respecto a las funciones pares e impares es cierto cuando el polinomio
de Taylor es alrededor del punto x0 = 0. Si se desarrolla alrededor de un x0 6= 0 entonces
ya no es verdad que, por ejemplo, las derivadas de orden par del sen x en x0 6= 0 o las
derivadas de orden impar del cos x sean 0.
Formula de Taylor
7.4
91
Propiedades b
asicas de la o ((x) ) cuando x 0
para todo 0 ,
f (x)
para todo 0
= o (x)
(x)
)
f (x) = o((x)
)
h(x) = f (x)g(x) = o (x)+ con 0 ,
g(x) = o (x)
f (x) = o ((x) )
f (x) = o((x)
)
g(x) = o (x)
min(,)
con 0 ,
y la demostracion de todas ellas es inmediata sin mas que tener en cuenta la definicion
(de hecho la primera ya se ha demostrado anteriormente). Por ejemplo, la que se refiere
al producto de las funciones f y g:
lim
x0
7.5
h(x)
+
(x)
= lim
x0
f (x)g(x)
+
(x)
f (x)
g(x)
=0
lim
x0 (x) x0 (x)
= lim
Junto con los polinomios de Taylor de algunas funciones elementales del apartado anterior, las siguientes proposiciones facilitan el calculo de otros polinomios de Taylor de
funciones que se obtienen como suma, producto, cociente y composicion de funciones
cuyos polinomios de Taylor son conocidos.
Proposici
on 7.4 (Polinomio de Taylor de una suma) Sean funciones f, g : (a, b)
R derivables n veces en x0 (a, b) y cuyos polinomios de Taylor son respectivamente
Pn,x0 (x, f ) y Pn,x0 (x, g) y sean dos constantes , R. Entonces se tiene que el polinomio de Taylor de orden n de la combinacion lineal f + g es:
Pn,x0 (x, f + g) = Pn,x0 (x, f ) + Pn,x0 (x, g)
Formula de Taylor
92
Proposici
on 7.5 (Polinomio de Taylor de un producto) Sean los polinomios de Taylor de orden n de f y g en torno a x0 :
Pn,x0 (x, f ) =
n
X
ak (x)
y Pn,x0 (x, g) =
k=0
n
X
bk (x)k
(7.13)
k=0
Proposici
on 7.6 (Polinomio de Taylor de un cociente) Se consideran dos funciones
f, g : (a, b) R derivables n veces en x0 (a, b) con g (x0 ) 6= 0 y cuyos polinomios de
Taylor son los de (7.13). El polinomio de Taylor del cociente f /g se obtiene en funcion de
n
P
ck (x)k donde los coeficientes ck se calculan
los de f y g escribiendo Pn,x0 (x, f /g) =
k=0
k=0
k=0
En esta ecuacion, se hace el producto del segundo miembro, se desprecian todos los sumandos de la forma K (x)j con j > n (todos esos terminos estan incluidos en el sumando
o ((x)n ) en (7.14)), se identifican los coeficientes de las potencias (x)j con j n en
ambos miembros y se despejan los ck en funcion de los ak y los bk conocidos.
Ejemplo 7.2 Calcular el polinomio de Taylor de orden 4 en torno a x = 0 de la funci
on
1 + x3 + x5
v(x) =
1 + x4
El polinomio de Taylor de orden 4 del polinomio 1 + x3 + x5 es 1 + x3 y el del polinomio
4
P
1 + x4 coincide con el. Si llamamos
ak xk al polinomio de Taylor del cociente que se
k=0
pide, seg
un (7.14) se tiene que:
1 + x 3 + o x 4 = a0 + a1 x + a2 x 2 + a3 x 3 + a4 x 4 1 + x 4
= a0 + a1 x + a2 x2 + a3 x3 + (a4 + a0 ) x4 + o x4
donde en el sumando o (x4 ) estan incluidas todas las potencias xj con j > 4 que se han
obtenido al operar en el segundo miembro. Identificando los coeficientes de x0 , x, x2 , x3 y
x4 en ambos miembros se tiene que:
a0 = 1, a1 = 0, a2 = 0, a3 = 1, (a4 + a0 ) = 0
y por tanto el polinomio de Taylor que se pide es:
P4,0 (x, v) = 1 + x3 x4
y por tanto las derivadas de la funcion v (x) en x = 0 son: v 0 (0) = v 00 (0) = 0, v (3) (0) =
6, v (4) (0) = 24. Notar que este es un procedimiento bastante mas rapido de calcular las
derivadas que el de derivar cuatro veces en la expresion de v (x).
Formula de Taylor
93
on
Ejemplo 7.3 Calcular el polinomio de Taylor de orden 3 en torno a x = de la funci
4
x
e
v(x) =
cos (x /4)
, conviene que
4
aparezca la variable (x /4) = x en lugar de la variable x y para ello se escribe
x = (x /4) + /4 y por tanto ex = e/4 e(x/4) = e/4 ex . El polinomio de Taylor que
se pide P3,/4 (x, v) cumple, seg
un (7.14):
P3,/4 (x, ex ) + o (x)3 = P3,/4 (x, v) P3,/4 (x, cos (x))
donde P3,/4 (x, ex ) y P3,/4 (x, cos (x)) son conocidos a partir de la lista anterior de
polinomios de Taylor de funciones elementales:
!
2
3
(x)
(x)
+
P3,/4 (x, ex ) = e/4 P3,/4 x, ex = e/4 1 + x +
2!
3!
(x)2
P3,/4 (x, cos (x)) = 1
2!
Luego el polinomio de Taylor que se pide es P3,/4 (x, v) = c0 + c1 x + c2 (x)2 + c3 (x)3
y cumple que:
!
2
3
(x)
(x)
+
e/4 1 + x +
+ o (x)3
2!
3!
!
2
(x)
= c0 + c1 x + c2 (x)2 + c3 (x)3 1
2!
En el primer miembro el coeficiente de (x)0 es e/4 y en el segundo c0 . Luego c0 = e/4 .
En el primer miembro el coeficiente de x es e/4 y en el segundo c1 . Luego c1 = e/4 . En el
primer miembro el coeficiente de (x)2 es e/4 /2 y en el segundo c0 /2!+c2 = e/4 /2+c2 .
Luego, como ambos deben ser iguales, e/4 /2 = e/4 /2 + c2 de donde se deduce que
c2 = e/4 . Por u
ltimo, en el primer miembro el coeficiente de (x)3 es e/4 /6 y en el
segundo es c1 /2 + c3 de donde se deduce que c3 = 2e/4 /3. Luego el polinomio que se
pide es:
2
3
2
/4
P3,/4 (x, v) = e
1 + x + (x) + (x)
3
de donde se deduce que las derivadas de la funcion v en /4 son: v 0 (/4) = e/4 , v 00 (/4) =
2e/4 y v (3) (/4) = 4e/4 .
Proposici
on 7.7 (Polinomio de Taylor de la composici
on de funciones) Sea una
funcion f derivable n veces en x0 y una funcion g derivable n veces en a0 = f (x0 ). Sean
los polinomios de Taylor de orden n de f en torno a x0 y de g en torno a a0 = f (x0 ):
Pn,x0 (x, f ) =
Pn,f (x0 ) (x, g) =
n
X
j=0
n
X
k=0
aj (x x0 )j = a0 +
n
X
j=1
bk (x a0 )k
aj (x x0 )j
Formula de Taylor
94
n
X
bk (Pn,x0 (x, f ) a0 )k
k=0
n
X
k=0
bk
n
X
!k
j
aj (x x0 )
(7.15)
j=1
donde al hacer la operacion del segundo miembro aparecen potencias desde (x x0 )0 hasta
2
(x x0 )n y para calcular Pn,x0 (x, g f ) basta considerar las (x x0 )p con p n. El
resto de las potencias, (x x0 )p con p > n, no hace falta calcularlas explcitamente y se
incluyen en el sumando o ((x x0 )n ) en el primer miembro de (7.15).
Una aplicacion trivial de la proposicion 7.7 es la obtencion del polinomio de Taylor de
orden n de h(x) = g(x x0 ) en torno a x0 , conocido el de g(x) en torno a cero. h es la
composicion de g y el polinomio x x0 y por tanto se tiene que:
Pn,x0 (x, h) = Pn,0 (x x0 , g)
Basta con sustituir en el polinomio de Taylor de g en torno al 0 la variable x por la
variable x x0 = x. Por ejemplo, el polinomio de orden 2 en torno a /4 de la funcion
cos (x /4) es 1 (x /4)2 /2!
Ejemplo 7.4 Calcular el polinomio de Taylor de orden 3 en el origen de la funci
on
v(x) = ln (cos x)
v (x) se puede escribir como v (x) = ln (1 + (cos x 1)) que es la composicion g f de
las funciones g (x) = ln (1 + x) y f (x) = cos x 1. En este caso la x0 de la proposicion
7.7 es 0 y f (x0 ) = y = cos 0 1 = 0. De la lista de polinomios de Taylor de funciones
elementales se tiene que:
x2
x2
1=
2!
2!
2
3
x
x
P3 (x, ln (1 + x)) = x
+
2
3
P3 (x, cos x 1) = 1
(x2 /2!)
(x2 /2!)
x2
x /2!
+
= + o x2
2
3
2
2
Formula de Taylor
95
1
y la funcion g (x) = arctan x, v = g f , la x0 de
1x
la proposicion 7.7 es x0 = 0 y f (x0 ) = 1. g (1) = /4 y las derivadas de g (x) = arctan x
en x = 1 son g 0 (1) = 1/2, g 00 (1) = 1/2 y g (3) (1) = 1/2. Por tanto se tiene que:
v (x) es la composicion de f (x) =
1
1
1
+ (x 1) (x 1)2 +
(x 1)3
4 2
4
12
(7.16)
2
3
1
1
x + x 2 + x3 +
x + x2 + x 3
4
12
1 3
1 2 1 3
x x + x + o x3
4
2
12
y por tanto
P3,1 (x, v (x)) =
7.6
1
1
1
+ x + x2 + x3
4 2
4
12
La razon de ser fundamental del polinomio de Taylor de orden n son las ecuaciones (7.7)
y (7.8) en la proposicion 7.1. En (7.8) no se especifica la forma funcional del sumando
o ((x)n ), u
nicamente se dice que su dependencia con x = x x0 es tal que tiende a 0
mas deprisa que (x)n . Sin embargo el siguiente teorema dice mas sobre este sumando y
permite obtener consecuencias significativas que sin el teorema no seran posibles:
Teorema 7.8 (Polinomio de Taylor de orden n con resto de Lagrange) Sea una
funcion f : (a, b) R, x0 (a, b) y sea f de clase C n+1 (I) donde I = (x0 , x0 + ) con
> 0 es un entorno de x0 . Entonces se cumple para todo x I que:
1
f (n+1) () (x x0 )n+1
(n + 1)!
(7.17)
donde es un punto que no se conoce y del que solo se sabe que esta entre x y x0 , es
decir, (x, x0 ) si x < x0 y (x0 , x) si x0 < x. Al segundo sumando del segundo
miembro se le llama resto de Lagrange.
Formula de Taylor
96
1
f (n+1) (x0 + x) (x)n+1
(n + 1)!
es el contenido de
es tanto mejor cuanto mas peque
na sea la diferencia x x0 . Este
(7.8). Es cierto que, cuanto mayor sea n, mas rapidamente tiende a 0 la diferencia
f (x) Pn,x0 (x, f ) cuando x x0 pero, para un valor de x fijo, (7.8) no permite decir
que valor de n hay que coger para que, por ejemplo, |Pn,x0 (x, f ) f (x)| sea menor que
una cantidad peque
na > 0 fijada de antemano. Saber que la diferencia es o ((x x0 )n ),
para un valor de x fijo puede no dar mucha informacion sobre el tama
no de esa diferencia.
103 x4 y x4 son ambas cantidades o (x3 ) pero para x = 1 la primera vale 103 y la segunda
vale 1. En otras palabras, (7.8) contiene informacion sobre lo que ocurre para cada valor
de n con el lim (Pn,x0 (x, f ) f (x)) pero no sobre lo que ocurre para un x fijo con el
xx0
Demostracion:
La demostracion es inmediata de (7.17) y de la acotacion de las derivadas en el enunciado
de la proposicion. Se tiene que:
(n+1)
1
f
() |x x0 |n+1
n (n + 1)!
1
lim
M n+1 |x x0 |n+1
n (n + 1)!
lim
Formula de Taylor
97
La integral de Riemann
8
8.1
98
La integral de Riemann
Sumas de Darboux. Definici
on de funci
on integrable Riemann
Se trata en este captulo de dar una definicion precisa de la integral de una funcion acotada en un intervalo cerrado y acotado [a, b] con a < b R . La integral de una funcion
formaliza el concepto intuitivo de area bajo una curva pero obviamente la nocion de integral no se corresponde u
nicamente con la nocion geometrica de area. La idea de integral
como suma de una cantidad infinita de sumandos infinitesimales aparece continuamente
en fsica, qumica e ingeniera, sin ir mas lejos, el trabajo de una fuerza a lo largo de una
trayectoria rectilnea.
Definici
on 8.1 (Partici
on de un intervalo) Dado un intervalo [a, b] , una partici
on
n
P = {xk }k=0 de [a, b] es un conjunto de puntos tales que:
a = x0 < x1 < x2 < < xn = b.
Una particion es por tanto un conjunto de puntos que divide el intervalo [a, b] en un cierto
n
umero n de subintervalos [xk1 , xk ] de longitud xk xk1 con 1 k n. Y resulta
obvio que, dado el intervalo [a, b], existen infinitas particiones del mismo dependiendo
del n
umero de puntos y de como se elijan estos puntos dentro del intervalo. Llamaremos
P ([a, b]) al conjunto de todas las particiones de un intervalo [a, b] de modo que si P y Q
son dos particiones de [a, b] se escribe P, Q P ([a, b]).
Notar que dado el intervalo [a, b] siempre es posible contruir una particion con n + 1
puntos tal que dos puntos consecutivos cualesquiera de la particion sean equidistantes.
Basta tomar los puntos de la forma:
P = {a = x0 < x1 < < xn = b} P ([a, b]) , con xk xk1 =
ba
,
n
n(b a)
k(b a)
, . . . . . . , xn = a +
= b.
n
n
Las siguientes definiciones son importantes y constituyen un paso previo para definir la
integral de Riemann.
x0 = a, . . . , xk = a +
Definici
on 8.2 Sean P, Q P ([a, b]) . Diremos que la particion Q es mas fina que la
particion P si todos los puntos de la particion P estan en la particion Q. Se escribe
P Q.
Definici
on 8.3 (Sumas de Darboux) Sea f : [a, b] R una funcion acotada y sea
P = {xk }nk=0 P ([a, b]) . Sean, para cada k con 0 k n:
mk = nf {f (t) : t [xk1 , xk ]}
n
X
k=1
mk (xk xk1 ) ,
Sf (P ) =
n
X
k=1
Mk (xk xk1 ) .
La integral de Riemann
99
(8.1)
(8.2)
De donde se deduce que el conjunto de las sumas inferiores esta acotado inferiormente por m(b a) y el conjunto de las sumas superiores por M (b a).
La integral de Riemann
100
Proposici
on 8.1 Sea f : [a, b] R una funcion acotada.
a) Sean P, Q P ([a, b]) tales que la particion Q es mas fina que la particion P (P Q).
Entonces se verifica:
If (P ) If (Q),
Sf (P ) Sf (Q)
(8.3)
es decir, cuanto mas fina es una particion mayor es su suma inferior y menor es su suma
superior.
b) Si P, Q P ([a, b]) son dos particiones cualesquiera de [a, b], entonces:
If (P ) Sf (Q).
(8.4)
Demostracion:
Para probar que If (P ) If (Q) se supone que Q tiene un punto mas que P , es decir,
Q = P {u}, con
P = {a = x0 < x1 < < xk1 < xk < < xn = b}
Q = {a = x0 < x1 < < xk1 < u < xk < < xn = b} .
Sean mk los nfimos correspondientes a la funcion f y la particion P y sean
0
La integral de Riemann
101
Figura 8.2
y de (8.2) se sabe que el conjunto de las sumas inferiores esta acotado superiormente y
el de las sumas superiores esta acotado inferiormente y por tanto se concluye, por las
propiedades del nfimo y del supremo, que tanto la integral inferior como la superior son
valores reales perfectamente definidos para una funcion acotada en un intervalo cerrado
y acotado.
Resulta tambien inmediato que para una funcion acotada f : [a, b] R se tiene que la
integral inferior es siempre menor o igual que la integral superior, es decir:
Z b
Z b
f
f
a
Definici
on 8.5 (Integral de Riemann) Sea f : [a, b] R una
funci
on acotada. Se dice que f es integrable Riemann en [a, b] o simplemente integrable en [a, b] si se cumple que
Z
Z
f=
f.
a
Cuando la funci
on es integrable, al valor com
un de las integrales superior e inferior se le llama la integral de Riemann de f en [a, b] y se
Rb
Rb
representa como a f o tambien por a f (x) dx.
A los n
umeros a y b se les llama respectivamente lmite inferior y
lmite superior de integraci
on y la funcion f es el integrando de la
integral.
Los siguientes ejemplos permiten manejar la definicion anterior en casos sencillos y muestran ademas que hay funciones que no son integrables.
La integral de Riemann
102
n
X
k=1
n
X
Mk (xk xk1 )
k=1
y por tanto
Z
Z
f=
c dx = c(b a).
f=
a
Z
f = 0 6=
f =1
a
La integral de Riemann
103
Demostracion:
Para demostrar la implicacion de izquierda a derecha se supone que f es integrable en
[a, b] , es decir, existe un n
umero real tal que
b
Z
f=
f = .
a
Recordando las definiciones de integral superior e inferior (8.5) y las caracterizaciones del
nfimo y del supremo de un conjunto dadas en (1.8) y (1.6) sabemos que, dado > 0,
existen dos particiones P1 , P2 P ([a, b]) tales que
Sf (P1 ) < + ,
2
< If (P2 ) .
2
Z
f = sup {If (Q) : Q P ([a, b])} If (P ) y
Z
f
f Sf (P ) If (P ) <
Z
f=
f.
a
Notar que el criterio de integrabilidad de Riemann lo que afirma es que, para una funcion
integrable, el valor de la integral es el u
nico n
umero real que es mayor o igual que cualquier
suma inferior y menor o igual que cualquier suma superior.
El criterio anterior permite estudiar la integrabilidad de cualquier funcion monotona (teorema 8.3) y calcular, como se hace en el ejemplo 8.3, el valor de la integral de la funcion
f (x) = x sobre un intervalo.
Teorema 8.3 (Integrabilidad de las funciones mon
otonas) Sea f : [a, b] R una
funcion monotona. Entonces f es integrable en [a, b] .
Demostracion:
Supongamos que f es creciente en [a, b] . Entonces f esta acotada inferiormente por f (a)
y superiormente por f (b).
La integral de Riemann
104
xk xk1 =
y por tanto
Sf (Pn ) If (Pn ) =
n
X
ba
k=1
(f (xk ) f (xk1 )) =
ba
(f (b) f (a)) .
n
n
X
n
2 X
b
n2
k=1
k=1
n
X
(k 1) =
k=1
n
X
(k 1) b b
k=1
b2
b2 n (n 1)
n2
2
2
n
b2
b2 X
b2 n(n + 1)
Sf (Pn ) =
xk (xk xk1 ) = 2
k= 2
n k=1
n
2
2
k=1
La integral de Riemann
105
Rb
a
c = 0.
Rb
Si c
/ [a, b] la funcion c es nula en el intervalo y se cumple que a f = 0.
Para probar la integrabilidad de c en el caso de que c (a, b), se utiliza el criterio de
integrabilidad de Riemann.
Con un > 0 se elige la particion de [a, b] P = {a, c , c, c + , b} y la sumas superior e
inferior de Darboux asociadas a P y a la funcion c cumplen obviamente que
Sc (P ) Ic (P ) = 2.
Por tanto, dado > 0, si se toma < /2 se tiene que Sc (P ) Ic (P ) < lo que, por el
criterio de integrabilidad de Riemann, prueba que c es integrable en [a, b].
Para llegar a la misma conclusion cuando c = a basta tomar la particion P = {a, a + , b}
y si c = b, la particion P = {a, b , b}.
Rb
La comprobacion de que a c = 0 es inmediata porque es claro que para cualquier
particion P P ([a, b]) , Ic (P ) = 0 y por tanto
Z
y por tanto
8.2
Rb
a
c =
Rb
a
c = 0.
Sumas de Riemann
A
un en el caso de que se utilice el criterio de integrabilidad de Riemann (teorema 8.2),
la comprobacion de cuando una funcion es integrable utilizando las sumas superior e
inferior de Darboux puede resultar complicada. En lo que sigue se define otro tipo de
sumas asociadas a una funcion en un intervalo, las sumas de Riemann, y se relacionan
con la idea de integral que se ha dado en el apartado anterior.
Definici
on 8.6 (Sumas de Riemann) Sea una funcion f definida en [a, b] y acotada,
una particion P = {a = x0 < < xk < < xn = b} de [a, b] y un conjunto de valores
k [xk1 , xk ] con k = 1, 2, . . . , n. Se define la suma de Riemann de f asociada a la
particion P y al conjunto de puntos = {1 , 2 , . . . , n } como:
Rf (P, ) =
n
X
k=1
f (k )(xk xk1 ).
(8.7)
La integral de Riemann
106
En la figura 8.3 se representa una suma de Riemann para una particion con 7 puntos xk
y en la que en cada subintervalo [xk1 , xk ] se elige un punto k para evaluar la suma. La
suma de Riemann es la suma de las areas sombreadas de los rectangulos que tienen como
bases los segmentos de longitudes xk xk1 y como alturas los valores f (k ).
Notar que ahora, a diferencia de lo que ocurra en el caso de las sumas superiores e
inferiores de Darboux, el valor de una suma de Riemann determinada puede ser mayor o
menor que el del area encerrada entre la grafica de la funcion y el eje de abscisas. Todo
depende de como se elijan los puntos k dentro de cada subintervalo.
(8.8)
Una pregunta que surge de manera natural es si las sumas superior e inferior correspondientes a una particion cualquiera P son casos particulares de sumas de
Riemann para esa particion P ; en otras palabras, si dado P existe siempre una
eleccion de puntos = {k }nk=1 tal que If (P ) = Rf (P, ) y una eleccion de puntos = {k }nk=1 tal que Sf (P ) = Rf (P, ). En general para una funcion f
cualquiera acotada estas afirmaciones no son ciertas. S lo son si la funcion f es
continua porque entonces en cada subintervalo de la forma [xk1 , xk ] la funcion f alcanza mnimo absoluto y maximo absoluto lo que significa que existen k [xk1 , xk ]
y k [xk1 , xk ] tales que mk = f (k ) y Mk = f (k ). De aqu se deduce que
If (P ) = Rf (P, ) y que Sf (P ) = Rf (P, ).
La integral de Riemann
107
Definici
on 8.7 (Malla de una partici
on) Dada una particion P del intervalo [a, b],
P = {xk }nk=0 P ([a, b]), se define la malla (o tambien la norma) P de la partici
on
como el n
umero real:
P = max {(xk xk1 ) : k = 1, 2, . . . , n} .
La definicion de malla de una particion permite comparar dos particiones P y Q sin que
necesariamente tenga que ocurrir que una de las dos sea mas fina que la otra. Enunciada
de forma poco precisa, la idea que subyace a la definicion es la de que cuanto mas peque
na
sea la malla de una particion, mejor aproximaran sus sumas de Darboux o de Riemann
el valor de la integral.
Definici
on 8.8 (Convergencia de las sumas de Riemann) Sea f una funcion acotada en el intervalo [a, b]. Se dice que las sumas de Riemann Rf (P, ) correspondientes a
f convergen al n
umero cuando la malla de la particion tiende a cero si:
Para cada > 0 existe un > 0 tal que para cualquier particion P del intervalo [a, b] de
malla P < y para cualquier eleccion de puntos = {1 , 2, . . . , n } en los subintervalos
de la particion, se cumple que
|Rf (P, ) | < .
Cuando las sumas de Riemann convergen a se escribe limP 0 Rf (P, ) = .
La misma definicion es aplicable a la convergencia de las sumas inferior y superior de
Darboux cuando la malla de la particion tiende a cero sin mas que eliminar en la definicion
anterior 8.8 la referencia a los conjuntos de puntos .
Las tres definiciones anteriores permiten obtener una serie de resultados importantes sobre
integrabilidad Riemann de funciones acotadas en terminos de sumas de Riemann en lugar
de las sumas superior e inferior de Darboux de teoremas anteriores.
Teorema 8.4 Sea f : [a, b] R una funcion acotada. Entonces se tiene que:
Z
Z
f,
lim Sf (P ) =
P 0
lim If (P ) =
P 0
(8.9)
Demostracion:
Se demuestra el primero de los resultados porque la demostracion del segundo es similar.
Sean KM y Km el supremo y el nfimo de los valores de la funcion en [a, b].
Sea una particion P = {xk }m
k=0 de malla P < y a la que corresponde una suma superior
de Sf (P ). Vamos a comparar esta suma superior con la de una particion P 0 que se obtiene
a
nadiendo a P un punto c (xk1 , xk ), P 0 = P {c}. La u
nica diferencia radica en que
en Sf (P ) se tiene un sumando Mk (xk xk1 ) mientras que en Sf (P 0 ) este sumando
se sustituye por Mk0 (c xk1 ) + Mk00 (xk c) donde Mk Mk0 y Mk Mk00 . Luego la
diferencia entre ambas sumas superiores se puede acotar por:
Sf (P ) Sf (P 0 ) = Mk (xk xk1 ) [Mk0 (c xk1 ) + Mk00 (xk c)]
= (Mk Mk0 ) (c xk1 ) + (Mk Mk00 ) (xk c)
2 (KM Km ) P 2 (KM Km )
La integral de Riemann
108
(8.10)
y cuya existencia esta asegurada por el criterio de caracterizacion del nfimo. Sea n el
n
umero de puntos de la particion Q (y notese que, elegido > 0, n es un n
umero fijo).
Siguiendo la notacion de lineas anteriores, sea P una particion cualquiera de norma P <
y P 0 la particion P 0 = P Q. P 0 tiene a lo sumo n 2 puntos mas que P (todos los de
Q menos el primero y el u
ltimo que son comunes a P y a Q) y por tanto, se tiene que:
Sf (P ) Sf (P 0 ) 2 (n 2) (KM Km ) .
(8.11)
Por u
ltimo notar que como P 0 es mas fina que Q se tiene que
Sf (Q) Sf (P 0 ) 0.
(8.12)
Con todo ello se puede escribir, teniendo en cuenta (8.10), (8.11) y (8.12):
Z
Sf (P )
Z
Sf (Q)
f
a
2 (n 2) (KM Km ) + .
(8.13)
Si se quiere que para todas las particiones P con P < el primer miembro de (8.13)
sea menor o igual que un cierto 0 > 0 basta coger en (8.10) = 0 /2. Esta eleccion fija
un cierto valor de n y basta coger entonces = 0 / (4 (n 2) (KM Km )). Para toda
Rb
particion P de malla menor que este se cumple que Sf (P ) a f < 0 que es lo que se
quera demostrar.
Una funcion f es integrable cuando sus integrales superior e inferior coinciden. Como
corolario inmediato del teorema 8.4 se tiene que una funcion es integrable si y solo si se
cumple que los dos lmites en (8.9) coinciden, es decir:
f integrable lim (Sf (P ) If (P )) = 0.
P 0
Rb
a
f.
La integral de Riemann
109
Demostracion:
La implicacion de izquierda a derecha es inmediata porque se sabe que (desigualdad (8.8)):
If (P ) Rf (P, ) Sf (P )
para cualquier particion P y para cualquier eleccion de puntos . Tomando en los tres
miembros de la desigualdad el lmite en el que la malla de la particion P tiende a cero,
como la funcion es integrable se tiene que
Z b
lim If (P ) = lim Sf (P ) =
f
P 0
P 0
y por tanto debe existir el limP 0 Rf (P, ) y ademas su valor coincide con el de
Rb
a
f.
(8.14)
En segundo lugar se comprueba sin demasiada dificultad que, dada una particion cualquiera
P = {xk }nk=0 , con una eleccion adecuada de puntos = {x1 , x2 , . . . , xn } en cada uno de
sus subintervalos, se consigue que la suma de Riemann correspondiente este tan cerca
como se quiera de la suma superior. En efecto, por el principio de caracterizacion del
supremo, si Mk es el supremo de los f (x) con x [xk1 , xk ],
dado > 0 siempre existe xk [xk1 , xk ] tal que |Mk f (xk )| .
Luego:
n
n
X
X
f (xk ) (xk xk1 )
|Sf (P ) Rf (P, )| =
Mk (xk xk1 )
k=1
n
X
k=1
k=1
n
X
(xk xk1 ) = (b a) .
(8.15)
k=1
El mismo razonamiento se puede hacer para la suma inferior y, con otra eleccion de puntos
adecuada = {x
1 , x2 , . . . , xn }, se tiene que dado > 0:
|If (P ) Rf (P, )| (b a) .
(8.16)
Por u
ltimo, de (8.14), (8.15) y (8.16) se deduce que dado > 0 existe una particion P tal
que:
|Sf (P ) If (P )| |Sf (P ) Rf (P, )| + |Rf (P, ) Rf (P, )| + |Rf (P, ) If (P )|
2 (b a) + 2
La integral de Riemann
110
f (x) dx.
lim Rf (Pn , n ) =
1 + 2 2 + + n n
lim
.
n
n2 n
Se tiene que
n
n
X
1 + 2 2 + + n n
1k k
1 X
= 2
k k=
nn n
n2 n
n n k=1
k=1
1
Z 1
1 + 2 2 + + n n
2 5/2
2
lim
=
x x dx = x
= .
2
n
5
5
n n
0
0
8.3
Propiedades de la integral
Rb
Hasta ahora solo se ha definido lo que se entiende por a f con a < b. Como extension
muy u
til en todo tipo de calculos se define que, si a < b y f es integrable en [a, b]:
b
Z
f =
Z
f,
f = 0.
Todas las propiedades que se enuncian a continuacion son ciertas tambien en el caso de
que el lmite superior de integracion sea menor o igual que el lmite inferior.
Proposici
on 8.6 (Linealidad de la integral) Sean f y g funciones integrables en [a, b]
y y dos n
umeros reales. Entonces f + g es integrable en [a, b] y
Z
Z
(f + g) =
Z
f +
g.
a
La integral de Riemann
111
Z
f=
g.
2
f (x)g(x) dx
Z
Z b
2
g (x) dx .
f (x) dx
2
Proposici
on 8.8 (Monotona de la integral) Sean f y g funciones integrables en [a, b]
Se tiene:
Si para cada x [a, b] se verifica que f (x) g(x), entonces
b
Z
f
g.
a
f 0.
a
La integral de Riemann
112
Z
m (b a)
f (x) dx M (b a) .
a
f (x) dx.
a
Proposici
on 8.9 Si f es una funcion integrable en [a, b] se cumple que
n
1X
lim
f
n n
k=0
Z b
k(b a)
1
a+
f (x) dx.
=
n
ba a
Demostracion:
Se considera la particion P = {a = x0 < x1 < < xn = b} P ([a, b]) definida como
xk = a +
k(b a)
y el conjunto de puntos = {1 , 2 , . . . , n } con k = xk , 1 k n.
n
La integral de Riemann
113
Proposici
on 8.11 (Aditividad con respecto al intervalo de integraci
on) Sea f una
funcion acotada en [a, b] y sea c (a, b) . Entonces se cumple que:
f es integrable en [a, b] f es integrable en [a, c] y f es integrable en [c, b]
y en ese caso se verifica que:
Z
Z
c
f.
f+
f=
Como generalizacion del resultado, sea f una funcion acotada en [a, b] y sean los puntos
a = c0 < c1 < < cn = b. Entonces
f es integrable en [a, b] f es integrable en [ck1 , ck ] con k = 1, 2, . . . , n
y en tal caso se cumple que
Z
f=
a
n Z
X
k=1
ck
ck1
f.
9
9.1
114
Proposici
on 9.2 (Integrabilidad de las funciones continuas a trozos) Si f es continua a trozos en [a, b] , entonces f es integrable en [a, b].
Demostracion:
Si f es continua a trozos y xk con 0 < k < n son los puntos en los que la funcion
tiene discontinuidades de salto, seg
un la definicion 9.1 para cada k existen los lmites
+
limxx+ f (x) = lk y limxx f (x) = lk .
k
k
En cada intervalo [xk1 , xk ] se define una funcion gk (x) como:
f (x) si x (xk1 , xk )
l+
si x = xk1
gk (x) =
k1
si x = xk
lk
gk (x) es continua y por tanto integrable en el intervalo [xk1 , xk ] y coincide con f en
(x
, xk ) Rluego, seg
un se ha visto en el ejemplo 8.6 f es integrable en [xk1 , xk ] y ademas
R xk1
xk
k
f = xk1 gk . Aplicando la proposicion 8.11 resulta que f es integrable en [a, b].
xk1
Seg
un se acaba de ver las funciones que tienen un n
umero finito de discontinuidades de
salto son integrables. Incluso en el caso de una funcion acotada con un n
umero finito
de discontinuidades, aunque en los puntos de discontinuidad xk no existan los lmites
laterales limxx+ f (x) y limxx f (x), se puede demostrar la integrabilidad. Se tiene as
k
k
la siguiente proposicion:
115
Proposici
on 9.3 Sea f : [a, b] R una funcion acotada en [a, b]. Si f es continua en
[a, b] salvo en un n
umero finito de puntos, entonces f es integrable en [a, b].
Demostracion:
Supongamos primero que a es la u
nica discontinuidad de f en [a, b] y que existe M R
tal que x [a, b] , |f (x)| M. Si tomamos un punto x1 tal que a < x1 < b, claramente f es integrable en [x1 , b], por ser continua en este intervalo. Por el criterio de
integrabilidad de Riemann podemos garantizar que para cada 1 existe una particion
Q = {x1 < x2 < < xn = b} P ([x1 , b]) tal que Sf (Q) If (Q) < 1 . Asociada a cada
particion Q se considera la particion P = {a < x1 < < xn = b} = {a} Q P ([a, b]).
La diferencia entre las sumas superiores e inferiores correspondientes a la particion P se
puede escribir como:
Sf (P ) If (P ) 2M (x1 a) + Sf (Q) If (Q) < 2M (x1 a) + 1 .
Si se quiere que Sf (P ) If (P ) sea menor que un > 0 dado basta elegir 1 = /2 y el
punto x1 de modo que (x1 a) < / (4(M + 1)). De esta manera:
Sf (P ) If (P ) <
+ = ,
2 2
116
f()
117
Demostracion:
La prueba de este resultado se apoya en el teorema del valor medio del calculo diferencial
5.3 as como en la condicion necesaria y suficiente de integrabilidad, teorema 8.5.
Sea Pn = {a = x0 < x1 < < xn = b} una particion cualquiera de [a, b]. g (b) g (a) se
puede escribir como
g(b) g(a) =
n
X
(g(xk ) g(xk1 )) =
k=1
n
X
g(xk ) g(xk1 )
k=1
xk xk1
(xk xk1 )
y aplicando el teorema del valor medio del calculo diferencial a cada uno de los intervalos
cerrados [g(xk ) g(xk1 )] y teniendo en cuenta que g 0 (x) = f (x), se tiene que existen
puntos k (xk xk1 ) tales que
g(b) g(a) =
=
n
X
g(xk ) g(xk1 )
k=1
n
X
xk xk1
(xk xk1 ) =
f (k )(xk xk1 ).
n
X
g 0 (k )(xk xk1 )
k=1
(9.1)
k=1
118
x 6= 0
x=0
Por tanto la funcion f (x) tiene primitiva, que es la funcion g (x), pero f (x) no es integrable en [1, 1] porque ni siquiera esta acotada en cualquier intervalo que contenga el
origen.
Si f es integrable y admite una primitiva g entonces la regla de Barrow se puede escribir
como
Z b
g 0 (x) dx = g(b) g(a)
a
Notese que en este ejemplo 9.1 lo que se afirma es que, aunque exista g 0 (x),
puede no existir y por tanto la igualdad anterior no tiene porque ser cierta.
Rb
a
g 0 (x) dx
Demostracion:
Notese que seg
un las hipotesis de la proposicion los productos uv 0 y u0 v son integrables
en [a, b]. Entonces tambien es integrable (uv)0 = u0 v + uv 0 y por la regla de Barrow
Z b
Z b
Z b
0
0
(uv) =
uv +
u0 v = [uv]ba ,
a
119
x sen x dx.
0
Se utiliza la formula de integracion por partes haciendo que en este caso las funciones u
y v 0 sean
u(x) = x,
v 0 (x) = sen x .
y entonces v(x) = cos x. Se tiene
Z
Z
y como
R
0
cos x dx
Proposici
on 9.7 (F
ormula de cambio de variable) Sea u una funcion derivable con
continuidad en un intervalo abierto J, u C 1 (J), y sea I un intervalo abierto tal que
u(J) j I. Sea f una funcion continua en I, entonces para cualesquiera a, b J se tiene
Z u(b)
Z b
0
f (t) dt.
f (u(x)) u (x) dx =
u(a)
Demostracion:
Sea F una primitiva de f en I. Entonces, aplicando la regla de la cadena:
(F u)0 (x) = F 0 (u(x)) u0 (x) = f (u(x)) u0 (x),
lo que significa que (F u) (x) es una primitiva de f (u(x)) u0 (x). Como f y (f u) u0
son integrables en intervalos cerrados y acotados (porque son continuas), por la regla de
Barrow resulta que
Z u(b)
Z b
f (t) dt = F (u(b)) F (u(a)) =
f (u(x)) u0 (x) dx.
u(a)
Una forma facil de recordar la formula del cambio de variable es sustituir en la integral
de partida la variable t por u (x), t = u (x), y entonces dt = u0 (x) dx.
Ejemplo 9.4 Calcular
Z
e
e2
log(log x)
dx.
x log(x)
1
Hacemos t = log x, de donde resulta dt = dx. Si x = e, t = 1 y si x = e2 , t = 2, y por
x
tanto:
2 2
Z e2
Z 2
log t
log (t)
log2 (2)
log(log x)
=
dx =
dt =
.
x log(x)
t
2
2
1
e
1
9.2
120
Definici
on 9.4 (Funci
on integral) Sea f : [a, b] R una funcion integrable en [a, b].
A partir de la integral de f se define una nueva funcion F : [a, b] R como
Z x
f (t) dt.
F (x) =
a
121
(9.2)
f (c) dt
c
(f (t) f (c)) dt
c
y por ser f continua en c se tiene que dado > 0, existe > 0 tal que si |t c| < , se
cumple que |f (t) f (c)| < .
Entonces, dado > 0 y para todo x > c que cumpla que |x c| < se tiene que
Z
Z
F (x) F (c)
1 x
1 x
f (c) =
[f (t) f (c)] dt <
dt =
xc
x c c
x c c
lo que significa que
F (x) F (c)
f (c) = 0
lim+
xc
xc
o bien,
de an`aloga manera si x < c, F0 (c) = f (c) , y por tanto F es derivable en c y F 0 (c) = f (c)
Si c = a o c = b se razona de la misma manera a partir de los lmites laterales.
122
f(c)
f(x)
entonces G esta bien definida y es continua en [a, b] y ademas si f es continua en c [a, b],
G es derivable en c y G0 (c) = f (c) (en el caso de que c coincida con a o con b la derivada
es una derivada lateral). El resultado es inmediato teniendo en cuenta que
Z b
Z b
Z x
G(x) =
f (t) dt =
f (t) dt
f (t) dt
x
123
Proposici
on 9.10 Sea f una funcion definida en un intervalo I, integrable en cualquier
intervalo cerrado y acotado contenido en I y sean g, h : J I derivables en c J. Sea
L : J R la funcion dada por
h(x)
f (t) dt.
L(x) =
g(x)
h(x)
h(x)
f (t) dt
f (t) dt =
L(x) =
f (t) dt.
a
g(x)
g(x)
f (t) dt,
F (x) =
a
Rx
a
124
Funciones elementales
10
125
Funciones elementales
10.1
Introducci
on
Este apartado esta destinado a estudiar la existencia y las propiedades basicas de algunas
funciones elementales. Estas funciones ya se han manejado en cursos anteriores y en otros
captulos de estas notas dando por supuesto que se conocen sus propiedades, pero, hasta
el momento, no se han construido de forma rigurosa. De hecho, la construccion de estas
funciones y la obtencion de sus propiedades basicas requieren de la idea de integral, razon
por la cual se estudian ahora despues de haber estado usandolas a lo largo de todo el
curso.
Recordemos en primer lugar que las potencias de exponente racional se definen en el
conjunto R+ de la manera siguiente:
1/n
n
n
Si n N, a R+ , an = a
| a{z a} y a = a es la funcion inversa de a . (10.1)
n veces
an+m = an am ,
am/n = a1/n
m
am/n =
1
am/n
y a0 = 1.
(10.2)
10.2
Funci
on logaritmo y funci
on exponencial
Definici
on 10.1 (Definici
on de la funci
on logaritmo) Para cada n
umero real x >
0, se define el logaritmo o logaritmo neperiano de x y se escribe log x, como
Z x
1
dt.
log x =
1 t
Proposici
on 10.1 La funcion logaritmo tiene las siguientes propiedades:
1. La funcion log x esta definida en (0, +) .
Funciones elementales
126
2. La funcion log x es continua y derivable en su dominio y para x > 0, (log)0 (x) = 1/x.
3. Si x (0, 1) , el log x es negativo y si x > 1, es positivo.
4. Para cada x > 0 se cumple que log x < x.
5. La funcion log x es estrictamente creciente (luego inyectiva) y suprayectiva.
6. La funcion log x es concava.
Demostracion:
Como consecuencia de la definicion y los teoremas fundamentales estudiados anteriormente las tres primeras propiedades son inmediatas. Por lo que respecta a la cuarta basta
tener en cuenta que para x (0, 1) se tiene que log x < 0 < x y si x > 1:
Z x
Z x
1
dt <
dt = x 1 < x.
log x =
1 t
1
Para demostrar la quinta propiedad se tiene en cuenta que, puesto que (log)0 (x) = 1/x
es estrictamente positiva, la funcion logaritmo es estrictamente creciente. Como es una
funcion continua, su imagen es un intervalo y como es creciente se tiene que este intervalo
es
log ((0, +)) = lim+ log(x), lim log(x) .
x0
x+
Para demostrar que la funcion es suprayectiva hay que demostrar que la imagen es todo
R o, lo que es lo mismo, que limx+ log(x) = y que limx0+ log(x) = . El primer
lmite se calcula comprobando que la funcion log no esta acotada superiormente. Para
ello basta tomar el n
umero x = 5n (1, +) y el cambio de variable t = un permite
escribir
Z 5 n1
Z 5
Z 5n
nu
1
1
n
dt =
du = n
du = n log(5)
log(5 ) =
n
t
u
1
1 u
1
que, junto con el hecho de que log 5 > 1, demuestra que tomando n suficientemente
grande log(5n ) se hace tan grande como se quiera. Por tanto la funcion no esta acotada
superiormente y, como es estrictamente creciente, se deduce que
lim log(x) = +.
x+
Para demostrar que limx0+ log(x) = se utiliza la propiedad log (1/x) = log x que
se prueba a continuacion y que permite determinar el comportamiento del logaritmo para
valores peque
nos:
1
= lim log(x) = .
lim+ log(x) = lim log
x+
x+
x0
x
Por u
ltimo, la funcion logaritmo es concava como consecuencia de que su derivada segunda,
(log)00 (x) = 1/x2 , es siempre negativa.
Con la informacion que se tiene hasta el momento se puede representar la grafica de la
funcion logaritmo en la forma que ya conocemos. Para un n
umero x > 1 el log x representa
el area limitada por la grafica de la funcion 1/t, el eje de abscisas y los dos segmentos
verticales de abscisas 1 y x (figura 10.1). Para un n
umero x < 1, el logaritmo de x es el
valor del area cambiado de signo.
Funciones elementales
127
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
f(x)=1/x
0.2
0.1
0
10
log
x
= log x log y.
y
Demostracion:
De la definicion de logaritmo y utilizando el cambio de variable u = t/x se tiene
Z xy
Z x
Z xy
Z y
1
1
1
x
log(xy) log x =
dt
dt =
dt =
du = log y
t
t
1
1 t
x
1 ux
y la expresion para el logaritmo de un cociente se obtiene sin mas de
x
x
log x = log
y = log + log y.
y
y
La siguiente proposicion calcula el valor de la funcion logaritmo en el punto x = e. Notar
que el resultado log e = 1 es una consecuencia inmediata de la definicion de logaritmo
neperiano de un n
umero si se define log x como el n
umero al que hay que elevar e para
obtener x. Sin embargo no es un resultado evidente si se define la funcion logaritmo a
partir de la definicion 10.1.
Funciones elementales
128
Proposici
on 10.3 Se tiene que
Z
log(e) =
1
1
dt = 1.
t
Demostracion:
Se ha definido el n
umero e como el lmite cuando n tiende a infinito de la sucesion (an )
con
n
1
, n1
an = 1 +
n
y tal lmite existe porque se ha demostrado que la sucesion (an ) es monotona creciente
y esta acotada superiormente con lo cual se puede asegurar que es convergente. Ademas
se ha comprobado que 2 < e < 3. Utilizando esta definicion de e y las propiedades del
logaritmo que se acaban de ver:
1
n
log 1 +
log 1
1
1
n
= n log 1 +
=
.
log
1+
n
n
1/n
Tomando el lmite n en ambos miembros de la ecuacion, en el primer miembro,
puesto que la funcion log es continua, se tiene que
n
n
1
1
lim log
1+
= log lim 1 +
= log e.
n
n
n
n
Puesto que la funcion log es derivable, tomando el lmite del segundo miembro:
1
log 1
log 1 +
n
= log0 (1) = 1.
lim
n
1/n
de donde se deduce el resultado de que log e = 1.
3
Funcin logaritmo de x
5
0
Funcin exponencial de x
10
0
2
Figura 10.2
La funcion log x que se acaba de definir y cuyas propiedades se han estudiado en las
proposiciones anteriores permite definir la funcion exponencial ex .
Funciones elementales
129
Definici
on 10.2 (Definici
on de la funci
on exponencial) La funcion exponencial se
define como la inversa de la funcion logaritmo:
exp : R (0, +),
exp(x) = (log)1 .
Por tanto se tiene que para todo x R se cumple que log (exp(x)) = x y para todo
x R+ se cumple que exp (log x) = x.
Proposici
on 10.4 La funcion exponencial tiene las siguientes propiedades:
1. Es una funcion positiva, creciente y convexa cuyo dominio es R y cuyo recorrido es
(0, +).
2. Tiene infinitas derivadas y para todo n N y para todo x R se cumple que
exp(n) (x) = exp (x).
3. Para cada x, y R se cumple que exp(x + y) = exp(x) exp(y).
4. Para todo entero positivo n se cumple que limx+ (xn / exp(x)) = 0.
Demostracion:
La primera de las propiedades se deduce sin mas de la definicion de funcion exponencial
como funcion inversa del logaritmo.
Para la segunda se tiene en cuenta que el logaritmo es derivable en (0, +) y por tanto,
aplicando el teorema de la funcion inversa, la exponencial es derivable x R y ademas:
0
exp0 (x) = log1 (x) =
1
1
= exp(x).
=
1/ exp(x)
(log) (exp(x))
0
Funciones elementales
130
exp (x) se toma como caso particular un valor de x racional (es decir, x = p/q con p, q
enteros y q distinto de 0) el valor exp (p/q) coincide con ep/q , exp (p/q) = ep/q . De hecho
en estas notas la afirmacion se ha probado solo en el caso p/q = 1 en la proposicion 10.3
porque si, como se prueba en la proposicion, log e = 1, como la funcion exponencial es la
inversa del logaritmo, se tiene que exp 1 = e.
La demostracion de que exp (p/q) = ep/q justifica la afirmacion de que la definicion 10.2
extiende la funcion ex , inicialmente solo definida cuando x es racional, a todos los n
umeros
reales. Precisamente por ello a la funcion inversa de la funcion logaritmo exp (x) se le
suele tambien llamar ex y por esta razon a partir de ahora y en todos los captulos
anteriores se han usado indistintamente las dos denominaciones para esta funcion inversa:
log1 (x) = exp (x) = ex y en cualquiera de los tres casos se trata de una funcion definida
para todo x real, sea o no racional.
Una vez que se han definido las funciones log (x) con x > 0 y exp (x) para cualquier
n
umero real x, es inmediato definir la funcion exponencial generalizada y las potencias y
logaritmos de base arbitraria.
Definici
on 10.3 Se tiene que:
Si a > 0, para cualquier n
umero real x se define ax , la funcion exponencial generalx
izada en base a, como a = ex log a .
Para cada x > 0 y un n
umero real arbitrario se define la potencia -esima de x
log x
como x = e
.
Si a es un n
umero real con 0 < a 6= 1, se define la funcion logaritmo en base a como
la inversa de la funcion exponencial de base a. Es decir, loga (x) = y ay = x.
A partir de las definiciones es sencillo demostrar propiedades bien conocidas como:
(ax )y = axy ,
ax ay = ax+y ,
ax bx = (ab)x
log x
log a
y como caso particular que aparece en ocasiones (sobre todo cuando en fsica se manejan
ordenes de magnitud y se expresan como potencias de 10):
log10 (x) =
log x
log x
'
log 10
2.30
y conviene advertir que aunque la notacion que se ha usado aqu es la habitual en libros
de matematicas, en muchos textos de fsica, qumica e ingeniera se utiliza una notacion
algo distinta, a saber, a lo que en estas notas se llama log x se le llama ln x (ln son las
iniciales de logaritmo neperiano) y a lo que aqu se ha llamado logaritmo en base 10 de
x, log10 x, se le llama simplemente log x.
Funciones elementales
10.3
131
Funciones trigonom
etricas y sus inversas
sen :
h i
h i
sen ,
= [1, 1]
,
2 2
2 2
1
0.6
Funcin seno de x
Funcin arcsen de x
0.5
0.2
0
0.2
0.5
0.6
1
1
/2
/2
/2
Figura 10.3
0.5
0.5
Funciones elementales
132
(10.3)
/2
Funcin tan(x)
Funcin arctg de x
1
0.5
0
0.5
1
/2
/2
2
20
/2
10
10
20
Figura 10.4
Las definiciones de las funciones arco seno, arco coseno y arco tangente como inversas de
las correspondientes funciones trigonometricas permiten demostrar el siguiente resultado
que da una representacion integral de estas funciones trigonometricas inversas:
Proposici
on 10.5 Se tiene que:
x
Z
x (1, 1) ,
arcsen x =
0
Z
x (1, 1) ,
arccos x =
1
Z
x R,
arctan x =
0
dt
.
1 t2
x
dt
.
1 t2
dt
.
1 + t2
(10.4)
Demostracion:
En el caso del arco seno se razona de la siguiente manera:
Dado que la derivada de la funcion seno es la funcion coseno, que no se anula en ningun
punto del intervalo (/2, /2), podemos garantizar por el teorema de derivacion de la
funcion inversa que la funcion arco seno es derivable en (1, 1) y que su derivada es
arcsen0 (x) =
1
sen0 (arcsen x)
1
.
cos(arcsen x)
Funciones elementales
133
1 x2 ,
arcsen0 x =
1
1 x2
dt
.
1 t2
La demostracion sigue las mismas lineas en el caso del arco coseno y del arco tangente.
Como ya se ha advertido, lo que se ha hecho hasta ahora es introducir las funciones
trigonometricas inversas a partir de las propiedades geometricas elementales que se conocen para el seno, el coseno y la tangente. Desde un punto de vista puramente analtico
el procedimiento puede no resultar muy satisfactorio en la medida en que se estan deduciendo propiedades puramente analticas, como la continuidad o la derivabilidad, a
partir de construcciones geometricas. A continuacion se esboza lo que sera una definicion
analtica de las funciones trigonometricas, tanto las directas como las inversas, sin recurrir
a la geometra.
Hay varios procedimientos posibles, cada uno de ellos con sus ventajas y sus inconvenientes. El que se esboza aqu parte de la definicion 10.4 de la funcion arco tangente para
construir el resto de las funciones. Notar que lo que es una definicion, que se toma como
punto de partida para construir el resto de las funciones en esta manera de proceder,
es un resultado (la tercera de las ecuaciones (10.4)), cuando se parte de la construccion
puramente geometrica del seno, coseno y tangente.
Definici
on 10.4 Se define la funcion arco tangente como
Z 1
Z x
1
1
dt para x R y con arctan 1 =
dt = .
arctan x =
2
2
4
0 1+t
0 1+t
(10.5)
La definicion anterior permite obtener las propiedades mas usuales del arco tangente
sin hacer uso para nada de una construccion geometrica, exclusivamente a partir de la
definicion analtica.
Proposici
on 10.6 La funcion arco tangente tiene las siguientes propiedades:
1. El arco tangente es una funcion inyectiva, continua y derivable en R . Es convexa
en (, 0) y es concava en (0 + ).
2. arctan (x) = arctan (x).
3. arctan (x)+ arctan (1/x) = /2 sgn(x) para x 6= 0.
4. limx+ arctan x = /2 y limx arctan x = /2.
Funciones elementales
134
Demostracion:
Por lo que respecta a la propiedad 1, la inyectividad se deduce del hecho de que, tal como
esta definida la funcion en la definicion 10.4, la funcion arco tangente es creciente porque
el integrando en la integral es positivo. La continuidad y derivabilidad se deducen de los
teoremas 9.8 y 9.9. La concavidad y la convexidad se obtienen derivando dos veces con
respecto a x en (10.5), de donde se obtiene que arctan00 (x) > 0 si x < 0 y arctan00 (x) < 0
si x > 0.
La propiedad 2 es inmediata a partir de la definicion ya que el integrando es una funcion
par y el cambio de variable u = x conduce al resultado.
Para demostrar 3 basta considerar la funcion H (x) = arctan (x)+ arctan (1/x) definida
en toda la recta real excepto en x = 0 y calcular su derivada:
H 0 (x) =
1
1
=0
1 + x2 (1 + (1/x2 )) x2
de donde se deduce que H (x) para x < 0 es una funcion constante y H (x) para x > 0
tambien (aunque en ambos casos la constante no tiene porque ser la misma). Considerando
que el arco tangente de 1 vale /4 y que es una funcion impar, se tiene que:
H(1) = 2 arctan 1 =
,
2
,
2
x+
x+
sen x =
,
cos
x
=
1 + tan2 x
1 + tan2 x
para todo x (/2, /2). No es difcil extender estas funciones a toda la recta real. Por
u
ltimo las funciones arco seno y arco coseno se definen a partir del seno y del coseno como
sus inversas, restringiendo adecuadamente sus dominios como se ha hecho al comenzar
esta seccion.
Metodos de integracion
11
135
M
etodos de integraci
on
11.1
11.2
Integraci
on por sustituci
on (cambios de variable)
Uno de los procedimientos habituales para calcular integrales, sean definidas o indefinidas,
es hacer en la integral lo que se suele llamar un cambio de variable, metodo que tambien
recibe el nombre de procedimiento de sustituci
on. Se tiene el siguiente resultado:
Proposici
on 11.1 (Cambio de variable I) Sean g : I g(I) y f : g(I) R funciones continuas en I y g(I) respectivamente y g derivable y con derivada continua en I.
Entonces se tiene que:
Z
Z
t g(I),
f (t) dt = F (t) + K x I,
f (g(x))g 0 (x) dx = F (g(x)) + K 0 (11.1)
donde K yK 0 son constantes reales cualesquiera.
Demostracion:
Claramente las integrales en los dos miembros de la Rimplicacion existen porque los integrandos son funciones continuas. Por otro lado T = f (t) dt = F (t) + K es equivalente
a que F 0 (t) = f (t) y por tanto
f (g(x))g 0 (x) = F 0 (g(x))g 0 (x) = (F g)0 (x)
luego
Z
f (g(x))g (x) dx =
Metodos de integracion
136
Proposici
on 11.2 (Cambio de variable II) Sean g : I g(I) y f : g(I) R funciones continuas en I y g(I) respectivamente y g derivable, con derivada continua en I y
ademas x I, g 0 (x) 6= 0. Entonces se tiene que:
Z
Z
t g(I),
f (t) dt = F (t) + K x I,
f (g(x))g 0 (x) dx = F (g(x)) + K 0 (11.2)
donde K y K 0 son constantes reales cualesquiera.
Demostracion:
Solo es necesario demostrar la implicacion de derecha a izquierda. Del miembro de la
derecha en (11.2) se tiene que f (g(x))g 0 (x) = F 0 (g(x))g 0 (x) y como x I, g 0 (x) 6= 0 se
puede dividir por g 0 (x) en ambos miembros y se obtiene f (g(x)) = F 0 (g(x)). Haciendo
t = g(x) se tiene que t g(I) se cumple que f (t) = F 0 (t) que es equivalente a la igualdad
a la izquierda de la implicacion en (11.2).
Habitualmente, en la practica (11.2) se aplica utilizando como funcion f una funcion
h(g 1 )0 donde h es una cierta funcion continua de g(I) en R y g es la funcion que aparece
en el enunciado. Puesto que g es continua e inyectiva entonces existe g 1 y es continua
y como g 0 (x) 6= 0 entonces existe (g 1 )0 para todo g(x) g(I). Se tiene ademas que
(g 1 )0 (g(x)) = 1/g 0 (x) y (g 1 )0 es continua y por tanto h(g 1 )0 : g(I) R es continua.
Haciendo en (11.2) la sustitucion f por h(g 1 )0 se tiene que t g(I) y x I:
Z
Z
1 0
h(t)(g ) (t) dt = F (t) + K h(g(x))(g 1 )0 (g(x))g 0 (x) dx
Z
= h(g(x)) dx = F (g(x)) + K 0
(11.3)
En el caso de que se trate de una integral definida el resultado es el mismo teniendo solo
en cuenta que el cambio de variable afecta tambien a los lmites de integracion, es decir:
Z g(b)
Z b
1 0
h(t)(g ) (t) dt =
h(g(x)) dx
g(a)
x3
2+x8
dx
Z
Z
Z
x3
1
1
1
1
2
t
dt
=
dx
=
dt
=
arctan
+K
2
2 + x8
4
2 + t2
8
8
2
1 + t/ 2
4
2
2x
=
arctan
+K
8
2
arcsin x
e
1x2
dx
Se hace el cambio de variable arcsin x = t con lo cual se tiene que dx/ 1 x2 = dt y por
tanto:
Z
Z
earcsin x
dx = et dt = et + K = earcsin x + K
1 x2
Metodos de integracion
11.3
137
Integraci
on por partes
x
arcsin x dx = x arcsin x
dx = x arcsin x + 1 x2 + K
1 x2
R
En x cos x dx se aplica la formula de integracion por partes con f 0 (x) = cos x y g(x) = x
con lo cual resulta:
Z
Z
x cos x dx = x sin x sin x dx = x sin x + cos x + K
x2 ex dx
Metodos de integracion
138
En este caso hay que aplicar la formula de integracion por partes dos veces consecutivas.
En la primera f 0 (x) = ex y g(x) = x2 con lo cual:
Z
Z
2 x
2 x
x e dx = x e 2 xex dx
y en la integral del segundo miembro se vuelve a aplicar la formula con f 0 (x) = ex y
g(x) = x:
Z
Z
x
x
xe dx = xe ex dx = xex ex + K
Entonces:
Z
Z
2 x
2 x
x e dx = x e 2 xex dx = x2 ex 2(xex ex ) = ex (x2 2x + 2) + K
11.4
Integraci
on de funciones racionales
(11.6)
donde P y Q son polinomios de coeficientes reales en la variable x de grados respectivamente p y n y donde se puede suponer que el grado de P es menor que el de Q (p < n)
porque de no ser as siempre se puede dividir el uno por el otro y se obtiene
P (x)
R(x)
= C(x) +
Q(x)
Q(x)
con C un polinomio y R el resto que se obtiene al efectuar la division, de grado menor que
el de Q. La integral del polinomio C(x) no tiene ning
un problema. Se supone tambien
que en Q el coeficiente del termino de mayor grado es 1, Q(x) = xn + an1 xn1 + + a0
(cuando esto ocurre se dice que Q es un polinomio monico) porque caso de no ocurrir as
siempre se pueden dividir numerador y denominador por este coeficiente y conseguir que
efectivamente el polinomio del denominador sea monico.
El procedimiento habitual para calcular (11.6) es el de descomponer el cociente
P (x)/Q(x) en suma de fracciones simples. Sean 1 , 2 , . . . , k las raices reales de Q
de multiplicidades r1 , r2 , . . . , rk y 1 i1 , 2 i2 , . . . , l il las raices complejas con
multiplicidades s1 , s2 , . . . , sl . (puesto que Q es un polinomio de coeficientes reales, si
tiene una raiz compleja 1 + i1 con una cierta multiplicidad, tiene tambien la compleja
conjugada 1 i1 con la misma multiplicidad). Q(x) se puede entonces escribir como:
Q(x) = (x 1 )r1 (x 2 )r2 (x k )rk
(x 1 i1 )s1 (x 1 + i1 )s1 (x l il )s1 (x l + il )sl
= (x 1 )r1 (x 2 )r2 (x k )rk ((x 1 )2 + 12 )s1 ((x l )2 + l2 )sl
Metodos de integracion
139
j = 2j
(11.7)
como:
Q(x) = (x 1 )r1 (x 2 )r2 (x k )rk (x2 + 1 x + 1 )s1 (x2 + l x + l )sl
(11.8)
((x )/)2 + 1
Z
Z
Z
C(t + ) + D
t
C + D
1
1
dt = C
dt +
dt
=
2
2
2
t +1
t +1
t +1
=
C + D
C 2
ln t + 1 +
arctan t + K
2
2+1
( x
)
(
)
+
1
Metodos de integracion
140
Jn =
dt
dt
=
(t2 + 1)n
(t2 + 1)n
(t2 + 1)n1
Z
= Jn1 Kn
con Kn =
t2
dt.
(t2 + 1)n
(t2
t
+ 1)n
y g(x) = t
y se obtiene:
n+1
Kn
t (t2 + 1)
=
2
1n
2(1 n)
n+1
t (t2 + 1)
=
2
1n
Z
(t2
t
dt
+ 1)n1
1
Jn1
2(1 n)
n
Metodos de integracion
141
6x2 +10x+12
x3 +x2 +x+1
dx
Es inmediato que x = 1 es una raiz del denominador y por tanto este se puede factorizar
como
x3 + x2 + x + 1 = (x + 1)(x2 + 1)
luego las raices son x = 1 y x = i. Seg
un (11.9) se escribe entonces la descomposicion
en suma de fracciones simples como
A
Bx + C
6x2 + 10x + 12
=
+ 2
3
2
x +x +x+1
x+1
x +1
de donde se obtiene que A + B = 6, A + C = 12 y B + C = 10. Resolviendo este sistema
se llega a que A = 4, C = 8 y B = 2 y por tanto:
Z
Z
Z
Z
4
2x
8
6x2 + 10x + 12
dx =
dx +
dx +
dx
3
2
2
2
x +x +x+1
x+1
x +1
x +1
= 4 ln |x + 1| + ln x2 + 1 + 8 arctan x + K
1
(x2 +2x+5)2
dx
11.5
Integraci
on de funciones trigonom
etricas
11.5.1
Integrales de la forma
R(sin x, cos x) dx
Metodos de integracion
142
donde R es una funcion racional de las variables sin x, cos x como por ejemplo (sin x cos x+
cos3 x)/(1 + cos x). Estas integrales se reducen a una integral racional en una nueva
variable t (que ya se han tratado con anterioridad) con el cambio de variable
t = tan
x
2
(11.11)
sin x =
1 cos2 x,
tan(x/2) =
(11.12)
2 tan(x/2)
2t
=
,
2
1 + tan (x/2)
1 + t2
cos x =
1 t2
1 tan2 (x/2)
=
1 + tan2 (x/2)
1 + t2
(11.13)
conveniente hacer otros cambios de variable en lugar del cambio general (11.11). Estos
son:
Cuando la funcion racional R es impar en el sin x, es decir, cuando se tiene que
R( sin x, cos x) = R(sin x, cos x) se hace el cambio
t = cos x
(11.14)
(11.15)
(11.16)
Con estos cambios la integral se reduce tambien (como con el cambio (11.11)) a una
integral con integrando racional pero normalmente la integral que se obtiene tras el cambio
resulta mas sencilla que la que se obtendra con el cambio general.
Ejemplo 11.7 Calcular la integral
(1/ sin x) dx
Metodos de integracion
143
R /2
0
cos x
3+sin2 x
dx
En este caso el integrando es impar en cos x de modo que se hace el cambio (11.15)
t = sin x y por tanto dt = cos x dx y cuando x = 0 t vale 0 y cuando x = /2 t = 1.
Luego:
Z
/2
cos x dt
=
3 + t2 cos x
1
dt
2
0
0 3+t
Z 3/3
Z
1
1
1 1
3
=
dt =
du
3 0 1 + (t/ 3)2
3 0
1 + u2
!
3
3
3
3
arctan
arctan 0 =
=
=
3
3
3 6
18
cos x
dx =
3 + sin2 x
R /3
1
/4 sin x cos3 x
dx
Ahora el integrando es par en sin x y cos x de modo que el cambio es t = tan x y por tanto
dt = (tan x)0 dx = dx/ cos2 x y sin2 x = t2 /(1 + t2 ) y cos2x = 1/(1 + t2 ). Ademas, cuando
x = /4 entonces t = 1 y cuando x = /3 entonces t = 3. Luego:
Z
/3
/4
1
dx =
sin x cos3 x
Z
1
cos2 x
dt =
sin x cos3 x
Z
1
1 + t2
dt
t
3
1 2
3 1
=
ln |t| + t
= ln 3 + = ln 3 + 1
2
2 2
1
R /2
0
1
sin x+cos x
dx
Metodos de integracion
144
Ninguno de los tres casos particulares es aplicable de modo que se hace el cambio general
(11.11) t = tan(x/2) y entonces 2dt = dx/ cos2 (x/2) = 2dx/(1 + cos x). Cuando x =
0, t = 0 y cuando x = /2, t = 1. Se tiene entonces, utilizando (11.13):
Z 1
Z 1
Z /2
1 + (cos x)(t)
1 + t2 + 1 t2
1
dx =
dt =
dt
sin x + cos x
2t + 1 t2
0 (sin x)(t) + (cos x)(t)
0
0
Z 1
Z 1
2
1
dt
=
dt
=
2
2
2)(t 1 + 2)
0 2t + 1 t
0 (t 1
Z 1
2
1
1
dt
=
2 0 t1+ 2 t1 2
1
2
=
ln t 1 + 2 ln t 1 2
2
0
2
2
2 2
=
ln
ln
2 1
2 1
2
2
2
ln
2
2+1
2
=
ln(3 + 2 2)
2
21
donde la u
ltima igualdad
se obtiene multiplicando dentro del logaritmo numerador y
denominador por 2 + 1.
11.5.2
F
ormulas de reducci
on para integrales trigonom
etricas
1
1
cos(n + p)x
cos(n p)x + K
2(n + p)
2(n p)
Metodos de integracion
145
sin4 x dx
+
+
dx
cos 2x dx =
=
4
4
4
4
4
4
2
=
11.5.3
x sin 2x x 1 sin 4x
3
sin 2x sin 4x
+ +
+K = x
+
+K
4
4
8 8 4
8
4
32
R(x,
ax2 + bx + c) dx
(11.17)
donde R es una funcion racional de sus argumentos. Integrales de este tipo pero cuando
el radicando es un polinomio de grado 3 o 4 en lugar de un polinomio de grado 2 como en
(11.17) son las llamadas integrales elpticas que en general no son resolubles en terminos
de funciones elementales. Existe mas de un metodo para resolver (11.17). Probablemente
el mas rapido sea el de reducir la integral a uno de los 3 siguientes tipos:
R
R(x, x2 + 1) dx
R
R(x, x2 1) dx
R
R(x, 1 x2 ) dx
y resolver cada una de estas integrales mediante adecuados cambios de variable. El que a
partir de (11.17) se obtenga una u otra de las 3 integrales de mas arriba depende de los
signos de a y de b2 4ac. Por ejemplo, supongase que a < 0. Entonces se escribe:
ax2 + bx + c = ( ax + u)2 + v
y se determinan los valores de las constantes u y v para que se cumpla la igualdad de mas
arriba. Se tiene que:
2u a = b, v u2 = c de donde
b
b2
b2
4ac b2
u = , u2 = , v = c
=
4a
4a
4a
2 a
(11.18)
Metodos de integracion
146
En el caso en que 4ac b2 < 0 se tiene que v > 0 y entonces la integral se puede escribir
como:
q
Z
Z
I =
R(x, ax2 + bx + c) dx = R x, ( ax + u)2 + v dx
Z
=
R x,
r
2
a
u
x+
+ 1 dx
v
v
s
v
r
r
Z
2
v
v
u
=
t
, v t + 1 dt
a
a
v
(11.19)
con el cambio
r
t=
u
a
x+ ,
v
v
r
v
u
t
,
x=
a
v
r
dx =
v
dt
a
1
dt
cos2 t
Z
Z
1 sin t
sin t
2
,
R(x, x 1) dx =
R
2
dt
cos t cos t
cos t
R(x,
1 + x2 ) dx =
sin t 1
,
cos t cos t
con x = tan t
con x =
1
(11.20)
cos t
2
R(x, 1 + x ) dx =
R (sinh t, cosh t) cosh t dt con x = sinh t
Z
R(x,
Z
x2
1) dx =
et + et
et et
, sinh t =
2
2
con x = cosh t
(11.21)
Metodos de integracion
147
y por tanto:
cosh2 t sinh2 t = 1, (cosh t)0 = sinh t, (sinh t)0 = cosh t
t = (sinh1 )(x) = ln x + x2 + 1
t = (cosh1 )(x) = ln x + x2 1
donde las funciones inversas hacen falta para deshacer el cambio de variable (la u
nica
salvedad es que el cosh no es inyectivo, cosh t = cosh(t), de modo que la funcion cosh1
definida mas arriba para todo x [1, ) es la inversa del cosh siempre que este
se defina
unicamente sobre R+ . Si se define sobre R entonces la inversa sera ln x x2 1
definida tambien para todo x [1, )).
Las integrales en los segundos miembros de (11.21) son funciones racionales de et y se
transforman en integrales del tipo (11.6) con el cambio de variable et = z, dt = dz/z que
permite aplicar la tecnica de descomposicion en fracciones simples.
Ejemplo 11.13 Calcular la integral
x
x2 1
dx
x2
dx =
x2 1
cosh2 t
1
sinh t dt =
sinh t
4
(e2t + e2t + 2) dt
1 2t 1 2t 1
e e + t+K
8
8
2
2 1
1
1
1
2
2
=
x+ x 1
+ ln x + x 1 + K
8
8 x + x2 1 2 2
2 1
2 1
1
2
2
2
x+ x 1
x x 1 + ln x + x 1 + K
=
8
8
2
1 2
1
x x 1 + ln x + x2 1 + K
=
2
2
sustituyendo t por el (cosh1 )(x) para deshacer el cambio de variable.
R 3/3
0
1
1+x2
dx
Z
0
3/3
dx =
1 + x2
(ln 3)/2
R 2
1
1
1
cosh t dt = ln 3
cosh t
2
1
x x2 1
dx
Metodos de integracion
148
Z
I =
1
dx =
x x2 1
ln(1+ 2)
Z
=
0
ln(1+ 2)
1
sinh t dt =
cosh t sinh t
ln(1+ 2)
1
dt
cosh t
2
dt =
t
e + et
ln(1+ 2)
2et
dt
e2t + 1
y haciendo en esta u
ltima integral el cambio z = et , dt = dz/z:
Z
I =
0
ln(1+ 2)
2et
dt =
e2t + 1
= 2 arctan z|11+
1+ 2
2z 1
dz
1 + z2 z
1
= 2 arctan(1 + 2)
2
1
x2 1x2
dx
Con
el cambio de variable x = sin t dado en (11.20) se tiene que dx = (cos t)dt y que
1 x2 = cos t y por tanto:
Z
Z
1
1 x2
1
1
dx =
+
K
=
+K
dt
=
tan t
x
sin2 t
x2 1 x2
donde la u
ltima expresion se obtiene deshaciendo el cambio: tan2 t = sin2 t/ cos2 t =
x2 /(1 x2 ).
Bibliografa
149
Bibliografa
[1] Riaza R. y Alvarez M. Calculo infinitesimal. Sociedad de Amigos de la E.T.S.I
.Industriales U.P.M.
[2] Courant R. y John F. Introduccion al Calculo y al Analisis Matematico. Ed. Limusa.
[3] Spivak M. Calculus. Ed. Reverte.
[4] Liashk
o I.I. et al. Matematica Superior. Problemas resueltos. Ed. URSS.
[5] Garca L
azaro, P, Riaza P
erez, R, Rinc
on Ortega, A y Tablada
Cruz, M. Problemas de Calculo Infinitesimal. Calculo I. Seccion de Publicaciones
E.T.S.I.Industriales U.P.M.
[6] Fern
andez de las Heras, L, Garca L
azaro, P, Rinc
on Ortega, A y
Tablada Cruz, M. Problemas de examen. Calculo I. Seccion de Publicaciones
E.T.S.I.Industriales U.P.M.