Infinitsimos

e Infinitos
David Casado

Universidad Complutense de Madrid

Facultad de Ciencias Econmicas y Empresariales 14 Mayo 2015
Departamento de Estadstica e Investigacin Operativa II
David Casado de Lucas

Puedes no imprimir este archivo y consultarlo en formato digital, ahorrars papel y tinta. Si decides imprimirlo,
por favor hazlo en papel reciclado, a doble cara y con poca tinta. S ecolgico. Muchas gracias.
 ndice
Introduccin 25
Infinitsimos e infinitos equivalentes 2
rdenes 23
Aproximaciones 3
Polinomios y series de Taylor 34
Generalizaciones 5

Infinitsimos 57
Infinitsimos de primer orden 5
Infinitsimos de rdenes superiores 6
Infinitsimos basados en la composicin 67

Infinitos 7
Infinitos basados en infinitsimos 7
Infinitos polinomiales 7

Ejemplos 812
Sustitucin de un factor 89
Sustitucin de dos factores 912
Sustitucin de tres factores 12

Agradecimientos
This document has been created with Linux, LibreOffice, OpenOffice.Org, GIMP and R. I thank those who
make this software available for free. I donate funds to these kinds of project from time to time.

1 Infinitsimos e Infinitos
Introduccin
Infinitsimos e infinitos equivalentes
Una funcin f(x) es un infinitsimo o un infinito en el punto x0 si se cumple, respectivamente, que
lm x x f ( x )=0
o
lm x x f ( x )= .
o

(Cuando se sobreentiende quin es x0, no siempre se menciona.) Se dice que las funciones f(x) y h(x) son
infinitsimos o infinitos equivalentes en el punto x0 si se verifica que
f (x)
lm x x =1 , y entonces se escribe f(x) ~ h(x) h( x)0
o
h(x )
Equivalentemente, puede considerarse otra constante (no nula c 0) distinta de uno, c 1, ya que siempre
puede reescribirse como parte de f(x) o de h(x). Esto significa que el numerador y el denominador son
prcticamente iguales en el entorno del punto x0.
Como consecuencia de lo anterior, muchas operaciones locales quedan simplificadas cuando se sustituye
una funcin por otra. Concretamente, en este documento se estudia el caso en que estas sustituciones se
utilizan para resolver lmites. Dado que se pretende hacer

lm x x
o
f (x)
g(x)
=lm x x
f ( x)h( x )
h ( x )g ( x )
o
=lm x x
f ( x)
h( x )
o
lm x x
h( x)
g ( x)
=lm x x
o
h( x)
g ( x) o { h(x )0
g (x )0
para resolver el ltimo lmite, ms sencillo, debe ser todo el numerador el que se sustituya por un infinitsimo
o infinito equivalente. (Lo mismo podra escribirse para el denominador.)
Como casos particulares, puede suceder que f(x) est compuesto de varios trminos que deben
caracterizarse con infinitsimos suficientemente precisos (hasta un orden suficiente); por otro lado, el
denominador puede ser igual a uno:
f ( x )h ( x ) f ( x)
Si h( x)0 entonces lm x x f ( x )=lm x x =lm x x lm x x h( x )=lm x x h( x ) .
o o
h( x) h(x)
o o o

Mis notas:

rdenes
Si el lmite de dos infinitsimos es cero, el numerador f(x) es un infinitsimo de orden superior a h(x): tiende a
cero ms rpido, es mejor infinitsimo, y se puede escribir

Si {lm x x f ( x )=0
o

lm x x h(x )=0
o
y lmx x o
f (x)
h( x )
=0 se escribe f = o(h).

Se pronuncia f es o pequea de h. Tambin se dice que el denominador h(x) es un infinitsimo de orden

superior. El anterior lmite tambin puede expresarse usando la notacin de los lmites: |f(x)| < M|h(x)| 0.
Es decir, h tiende a cero, pero f lo hace ms rpidamente. (Para esta definicin puede considerarse el cociente
inverso, h/g, y el en vez del 0.)
Para infinitos se aplica un criterio anlogo: si el lmite de dos infinitos es cero, el denominador h(x) es un
infinito de orden superior a f(x): tiende a infinito ms rpido, es mejor infinito:

Si { lm x x f (x )=
o

lm x x h(x )=
o
y lm x x
o
f (x)
h( x )
=0 se escribe f = O(h)

2 Infinitsimos e Infinitos
Se pronuncia f es o grande de h. Si el lmite es infinito, el numerador f(x) es un infinito de orden superior. El
anterior lmite tambin puede expresarse usando la notacin de los lmites: M|h(x)| > |f(x)| . Es decir, f
tiende a infinito, pero h lo hace ms rpidamente. (Tambin para esta definicin puede considerarse el
cociente inverso, h/g, y el en vez del 0.)
Las anteriores notaciones o() y O() son cmodas para suprimir algunos trminos de las expresiones e
indicar cmo se comporta esa parte omitida, lo que es suficiente para el propsito que se persiga.

Mis notas:

Aproximaciones
Una aproximacin entre funciones es vlida independientemente de la expresin en la que se utilice la funcin
f(x). Sin embargo, para que una nueva expresin despus de cada sustitucin siga siendo vlida y
equivalente a la anterior, es necesario que la aproximacin sea suficientemente buena: del orden necesario
para caracterizar las diferencias de f(x) entre los dems trminos de la expresion. En este punto es necesario
tener en cuenta dos reglas muy sencillas:
Cuando x tiende a cero, la velocidad de convergencia de una suma de monomios est determinada por
el de menor exponente, ya que es el trmino ms lento. Esto justifica que en el desarrollo de Taylor se
consideren los trminos de menor exponente, tantos como sea necesario.
Cuando x tiende a infinito, la velocidad de convergencia de una suma de monomios est determinada
por el de mayor exponente, ya que es el trmino ms rpido. Esto justifica que en los infinitos
polinomiales se consideren los trminos de mayor exponente, tantos como sea necesario.
Por tanto, en algunos casos hay que tener cuidado al hacer varias sustituciones a la vez. Cuando x0
el hecho de que se cumplan sen x x y tg x x implica la aproximacin sen xtg x0 , pero
esto no es lo que se obtendra despus de hacer las dos sustituciones, a saber, x x=0 , porque entonces se
estara sustituyendo algo que es aproximadamente cero por algo que es exactamente cero, lo que en algunos
casos puede introducir una falsedad. En este caso es necesario utilizar infinitsimos suficientemente precisos
para discriminar el comportamiento de estas dos funciones tan parecidas.

Mis notas:

Polinomios y series de Taylor

Se cumple que (tomado de Clculo infinitesimal. Michael Spivak. Revert. 1992, 2 edicin):

Teorema de Taylor
Supngase que f',...,f(n+1) estn definidas en [a,x], y que Rn,a(x) est definido por
f (n) (a)
f ( x) = f (a)+ f ' (a)( xa) + + (xa)n + Rn , a ( x)
n!
Entonces
(n+1)
f ( t)
(1) Rn , a (x) = ( x t)n ( xa) para algn t de (a,x).
n!

3 Infinitsimos e Infinitos
 (n+1)
f ( t)
(2) Rn , a (x) = ( x a)n+1 para algn t de (a,x).
(n+1) !
Adems, si f(n+1) es integrable sobre [a,x], entonces
f (n+1) ( t) n+1
(3) Rn , a (x) = (n+1) ! ( x a) para algn t de (a,x).
(Si x < a, entonces la hiptesis debera decir que f es derivable (n+1) veces sobre [x,a]; el
nmero t en (1) y (2) estar entonces en (x,a), mientras que en (3) seguir cumplindose tal como
est, siempre que f(n+1) sea integrable en [x,a].)

Se utiliza la notacin f ( x) = Pn (x )+ R n ,a (x ), donde el polinomio de Taylor de orden n en a se define como

f (n) ( a)
Pn (x) = f ( a)+ f '( a)( xa) + + (xa)n
n!
Si la funcin f(x) tiene infinitas derivadas, la serie de Taylor en a se define como
f (n ) (a) f (k) ( a)
( xa) + =k=0
n
f (a)+f ' (a)(xa) + + ( xa) k .
n! k!
Slo si se cumple que lim n R n ,a ( x )=0 se tiene que
f (k) ( a)
f ( x) = k=0 (xa)k .
k!
(Estas funciones se llaman analticas.) A la hora de calcular lmites, tanto el polinomio como la serie de Taylor
se puede utilizar para hacer sustituciones, siempre que la funcin admita suficientes derivadas. La definicin
anterior no implica que los infinitsimos deban ser los primeros trminos del polinomio o serie de Taylor,
aunque son los ms utilizados. Con estas sustituciones, las funciones quedan escritas en funcin de
polinomios, cuyos lmites son fciles de calcular.
En cualquier libro de anlisis pueden encontrarse los siguientes desarrollos:
x3 x5 x7 (1) k 2 k+1
Para f (x) = sen( x ) y a = 0, sen (x) = x + + =
3 ! 5! 7 !
k=0 (2 k + 1) ! x
x2 x4 x6 (1)k 2 k
Para f (x) = cos ( x) y a = 0, cos ( x) = 1 + + =
2! 4! 6!
k=0 (2 k )! x
x x2 x3
k=0 k1! x k

Para f (x) = e x y a = 0, e x = 1+ + + + =
1! 2! 3 !
x2 x 3 x 4 (1)k k+1
Para f (x) = log (1+x) y a = 0, log (x )= x + + =
2 3 4
k=0 k +1 x
x3 x5 x7 (1)k
Para f (x) = arctg ( x ) y a = 1, arctg (x) = x + + =
3 5 7
k=0 ( 2k + 1) x 2 k+ 1
En este mismo tipo de libros, el lector puede encontrar otros muchos desarrollos.

Mis notas:

4 Infinitsimos e Infinitos
Generalizaciones
En este documento, primero se presentan:
(1) Infinitsimos elementales, basados en el desarrollo de Taylor de primer orden (primer monomio cuyo
coeficiente es no nulo).
Despus se presentan formas de generalizarlos en varias direcciones:
(2) Aadiendo ms trminos del desarrollo de Taylor.
(3) Considerando la composicin de funciones f(g(x)). Como caso particular de especial inters,
considerando cambios de variable como xx0 o x0x, para considerar puntos distintos a x0.
Finalmente, se mencionan brevemente los infinitos basados en infinitsimos (una cantidad tiende a cero
si su inversa tiende a infinito, y viceversa) y los que tienen forma de polinomio.

Mis notas:

Infinitsimos
(1) Infinitsismos de primer orden
Cuando x0 , se tienen las siguientes aproximaciones:

(a) sen x x
2
x
(b) cos x 1
2
x
(c) e 1 x
(d) ln 1x x
(e) tg x x
(f) arcsen x x
(g) arctg x x
1x 1
(h)
x x
1
(i) 1x
1x

(j) a 2 xa 2ax , a> 0

(k) (1+ x )k 1+k x , k

(l) a k xk + ak 1 x (k1) ++a 0a k xk , k

Nota: Para ayudarnos a recordar estas equivalencias, puede utilizarse la regla de L'Hpital.

Mis notas:

5 Infinitsimos e Infinitos
(2) Infinitsimos de rdenes superiores
Cuando x0 y existe la frmula de Taylor de f t en t=0 , se pueden considerar ms trminos del
desarrollo, puesto que
f ' (0) f ' ' (0) 2
f (x )= f (0)+ x+ x +
1! 2!
luego
f ' ' 0 2
x
f x 2!
lm x 0 =1lm x 0 =1
f ' 0 f ' 0
f 0 x f 0 x
1! 1!
(Se ha supuesto que f (0)0 y f ' (0)0 , pero en otro caso se puede escribir un lmite parecido.) Es
decir, si se aaden ms trminos del desarrollo se obtienen otros infinitsimos equivalentes al de primer
orden. No obstante, estos infinitsimos equivalentes de f(x) no se comportan igual en todas las expresiones
donde se quieran sustituir, puesto que tienen distinta precisin. En cada caso hay que incluir el suficiente
nmero de trminos. Ya se ha mencionado que el exponente es indicativo de la velocidad de los monomios en
el entorno del cero y en el del infinito.
Cuando x0 , se tienen las siguientes aproximaciones:

x3
(a) sen( x) x +
3!
x2 x4
(b) cos ( x )1 +
2! 4 !
2
x x x
(c) e 1+ + +
1 ! 2!
x2
(d) ln(1+ x) x +
2
(e) ...

Mis notas:

(3) Infinitsimos basados en la composicin

f ' ( 0)
(3.1) Si f (t ) tiene desarrollo de Taylor en t0 , se tiene que f (t ) f (0)+ 1! t+
f ' (0)
(3.1.1) Si g x0 , puede considerarse f (g ( x)) f ( 0)+ 1 ! g ( x)+
f ' (0)
(3.1.2) Si g ( x)c , puede considerarse f (g ( x)c) f (0)+ 1! (g ( x)c)+

f ' (c)
(3.2) Si f (t ) tiene desarrollo de Taylor en tc , se tiene que f (t ) f (c )+ 1 ! (t c)+
f ' ( c)
(3.2.1) Si g ( x)0 , puede considerarse f ( g ( x)+c ) f (c)+ 1 ! g ( x)+

6 Infinitsimos e Infinitos
 f ' ( c)
(3.2.2) Si g ( x)c , puede considerarse f (g ( x)) f ( c)+ 1 ! ( g (x )c)+

Como casos particulares en los que g ( x)0 ,

g ( x)= xc0 , en el entorno del punto x0 = c
g ( x)=h( x)c0 , con h( x)c en el entorno de un punto cualquiera x0
g ( x)=h1 ( x )h2 ( x )0 , con h1 ( x)c y h 2 (x )c en el entorno de un punto cualquiera x0

Como casos particulares en los que g ( x)c ,

g ( x)= x+ cc , en el entorno del punto x0 = 0
g ( x)=h( x)+cc , con h( x)0 en el entorno de un punto cualquiera x0
g ( x)=h1 (x )+ h 2 (x)c , con h1 ( x)0 y h 2 ( x )c en el entorno de un punto cualquiera x0

Mis notas:

Infinitos
Infinitos basados en infinitsimos
Cuando x , se puede pensar en una variable y=x 1 , que cumplira y0 , por lo que todo lo dicho
1
para infinitsimos sera cierto al sustituir x por ; por ejemplo, esto llevara a las colecciones
x

sen ( 1x ) 1x
Del mismo modo, para una funcin g ( x) se tiene que
( 1x ) 1x
sen

sen ( f 1( x) ) f 1( x) (
sen
1
f (x)
)1
f (x)
Mis notas:

Infinitos polinomiales
Para polinomios, la sustitucin a k x k + ak 1 x k1++ a0 a k x k , k es muy utilizada. Al hacerlo, o
bien se alude a ella directamente o se repiten los siguientes clculos (para el lmite concreto que se est
calculando):

Mis notas:

7 Infinitsimos e Infinitos
Ejemplos
Sustitucin de un factores

ln( x)
Ejemplo 1: lm x 1
1x

En este caso, es til hacer un cambio de variable en el lmite: x1= y x= y +1

ln x ln 1 y y
lm x 1 =lm y 0 =lm y 0 =1
1x 1 y 1 y
Este lmite se resuelve tambin aplicando la regla de L'Hpital.

1 2
+ 1
x3 x2
Ejemplo 2: lm x 0
1 3
x
2
3
1 1 2
Dado que ()x
tiende a infinito ms rpidamente que ()x
,

1 2 1
3
2 1 3
x x x
lm x 0 =lm x 0 =2
1 1
2x3 2x 3
No obstante, quiz es ms fcil resolver este lmite sin utilizar infinitsimos, sino haciendo

lm x 0

1 2
3
x x
2 1
=lm x 0
1 2
x x
x 3 3 2 1
=lm x 0

12x x 3
=2
1 3 1 1
x
2x3 2x3 2

Ejemplo 3: lmx
sen
( x1 )2

3
2
x

lm x
sen

x
1
2
=lm x
1
x
2
=
1
3 3 3
2 2
x x
Este lmite se resuelve tambin aplicando la regla de L'Hpital.

8 Infinitsimos e Infinitos
 5 x 5+ 2 x 21
Ejemplo 4: lm x
3 x6
5 2 5
5x 2x 1 5x 5
lm x 6
=lm x 6
=lm x =0
3x 3x 3x
No obstante, quiz es ms fcil resolver este lmite sin utilizar infinitos:
1 5 2 1
5x 52x 21
5
5x 2x 1
2
x
6
x x4 x6
lm x 6
=lm x =lm x =0
3x 1 6 3
3x
x6
Por ltimo, este lmite se resuelve tambin aplicando la regla de L'Hpital cinco veces seguidas.

x 3 + 2 x 21
Ejemplo 5: lm x
2 x3

x 32x 21 x 3 1
lm x 3
=lm x 3
=
2x 2x 2
Otra formas formas de resolver este lmite consisten en dividir el numerador y el denominador por x3, o en
aplicarla regla de L'Hpital tres veces seguidas.

Mis notas:

Sustitucin de dos factores

sen (3 x) sen(5 x )
Ejemplo 6: lm x 0
( x x 3)2

sen (3 x) sen(5 x ) 3 x5 x 15 x 2 15
lm x 0 3 2
=lm x 0 3 2
=lm x 0 2 2 2
=lm x 0 =15
( x x ) ( xx ) x ( 1x ) (1x 2)2
Resolver este lmite por la regla de L'Hpital es muy tedioso, porque hay que derivar productos.

x
Ejemplo 7:
lm x 0
arcsen
( )
1x
2

ln(1x )

lm x 0
arcsen
x
2
x 0
x
1x =lm 1x 2 =lm
x 0
1
=1
ln 1x x 1x 2
Resolver este lmite por la regla de L'Hpital es tambin tedioso.

9 Infinitsimos e Infinitos
 x sen( 2 x)
Ejemplo 8: lm x 0
x + sen(3 x )

( kx)3
Dado que sen( kx )kx + se tiene que
3!

xsen 2x x2x x 1
lm x 0 =lm x 0 =lm x 0 =
xsen 3x x 3x 4x 4
Este lmite se resuelve fcilmente por la regla de L'Hpital.

cos (mx)cos (nx )

Ejemplo 9: lmx 0
x2
2 4
(kx) ( kx)
Dado que cos (kx )1 + se tiene que
2! 4!

mx2 nx 2
1 1
cos mxcos nx 2 2 m2 n2
lm x 0 =lm x 0 =
x2 x2 2 2
Ntese que la precisin entendida como el exponente del numerador debe al menos igualar la del
denominador. Este lmite se resuelve tambin aplicando la regla de L'Hpital dos veces seguidas.

3
1cos( x)
Ejemplo 10: lm x 0
sen ( x )2
3 3 2
x2 x4 x2
( ) ( )
3
3
Dado que cos (x) 1 + = 1
2! 4! 2!
+ y sen
2
( x) x
x
3!
2
+ =x + ( )
2 3 2 4 6
1(1 ) 1(13 +3 ) x2
x x x x
3 3
1cos ( x) 2 2 4 8 2 3
lm x 0 =lm x0 =lm =lm
x 0 x0 =
sen 2 ( x ) x2 x2 x2 2
Este lmite quiz se resuelve ms fcilmente por L'Hpital.

Ejemplo 11: lm x
ln ( x +1x )
1
3

ex

lm x
ln

x1
x
1
=lm x
ln 1
1
1
x
=lm x
1
x
=0
1
e x
3
e x
3
1 3
x
Este lmite se resuelve tambin aplicando la regla de L'Hpital.

10 Infinitsimos e Infinitos
 2

e x / 2cos( x)
Ejemplo 12: lm x 0
x 3 sen( x)
2 2 2
x x2 x 1 x
En un entorno del cero se cumple que e =1 , por lo que e x / 2=1 +
1 2
x

2 2 2
+. Por otro
2

( )
x2 x4
lado, cos ( x )1 + as que
2! 4 !
x2 x4 x2 x4 x4 x4
2
1 1
ex /2 cos x 2 8 2 24 8 24 1
lm x 0 =lm x 0 =lm x 0 =
x 3 sen x x3 x x4 12
Ntese que en el numerador se han incluido suficientes trminos como para caracterizar esa diferencia (los
dos primeros no lo hacan).

1
sen (x ) sen (2 x )
Ejemplo 13: 2
lm x 0 3
x

En el siguiente lmite aparecen problemas cuando se sustituyen dos infinitsimos de primer orden a la vez:
1 1
sen x sen 2x x 2x
2 2 x x No tiene sentido porque xx0
lm x 0 3
=lm x 0 3
=lm x 0 3
x x x
Una forma de resolver este lmite consiste en aadir ms precisin al numerador. Dado que es cierta la
( kx)3
siguiente sustitucin, sen( kx )kx + se tiene que
3!
3
x3 1 1 (2 x ) 1 8

lm x 0
1
sen ( x ) sen (2 x )
2
=lmx 0
x 2 x+
3! 2 2 3!
=lm x0
3 ! 2
1 x
3

=
1 ( )
3 3 3
x x x 2
Ntese que en el numerador se han incluido suficientes trminos como para caracterizar esa diferencia.
Otra forma de resolver este lmite es utilizar la frmula trigonomtrica del ngulo doble:
1 1
sen x sen 2x sen x 2sen x cos x
2 2 sen x 1cos x
lm x 0 3
=lm x 0 3
=lm x 0
x x x3

=lm x 0

x 11
3
x2
2 =
1
x 2
Finalmente, este lmite se resuelve tambin aplicando la regla de L'Hpital tres veces seguidas.
Nota: Si slo se aadiese ms precisin al segundo seno, la diferencia no se estara caracterizando bien y se llegara a un resultado
errneo:
3
1 1 1 (2 x ) 2 x3
sen ( x ) sen (2 x ) x 2 x +
2 2 2 3! 3 2
lmx 0 3
=lm x 0 3
=lm x0 3 =
x x x 3

11 Infinitsimos e Infinitos
 tg( x) x
Ejemplo 14: lm x 0
x sen( x)

En el siguiente lmite no se pueden utilizar infinitsimos de primer order, por lo que una opcin es utilizar ms
trminos en los infinitsimos de Taylor
x3
x x
tg x x 3
lm x 0 =lm x 0 3
=2
xsen x x
x x
3!
De nuevo, se han incluido suficientes trminos como para caracterizar esas diferencia. Este lmite tambin
puede resolverse fcilmente aplicando dos veces la regla de L'Hpital
2tg x 1tg x 2
tg x x 1tg x21
lm x 0 =lm x 0 =lm x 0 =2
xsen x 1cos x sen x

Mis notas:

Sustitucin de tres factores

( 1cos( x) ) sen( 4 x )
Ejemplo 15: lm x 0
x3 cos ( x )

lm x 0
1cos x sen 4x
3
=lm x 0
11
x2
2 4x
=lm x 0
2
=2
x2

2
x cos x 3 x
x 1 1
2 2
Resolver este lmite por la regla de L'Hpital es muy tedioso, porque hay que derivar productos.

Mis notas:

12 Infinitsimos e Infinitos