Teorema de Taylor y lı́mites indeterminados

Denotaremos por µ: x0 , x0+ , x0− , +∞ o −∞ y llamaremos entorno

reducido de µ, respectivamente, a Vδ∗ (x0 ), (x0 , x0 + δ), (x0 − δ, x0 ),
(a, +∞), (−∞, a), con a, δ ∈ R+ .

Definición
Sean f y g funciones cuyos dominios contienen un entorno reducido
de µ.
Decimos que f está dominada por g en µ o que es a lo sumo del
orden de g en µ, y lo denotamos f = O(g ) en µ, si existe algún
K ∈ R tal que |f (x)/g (x)| ≤ K en un entorno reducido de µ.
Decimos que f y g son equivalentes en µ, y lo denotamos f ∼ g
f
en µ, si lı́m = 1.
x→µ g
Decimos que f es despreciable frente a g en µ, y lo denotamos
f
f = o(g ) en µ, si lı́m = 0.
x→µ g
Propiedades básicas
En µ:
f = o(g ) ⇒ f = O(g ).
f = o(g ) ⇒ f + g ∼ g .
f ∼ g ⇒ f − g = o(g ).
f = o(g ) y g = O(h) ⇒ f = o(h).
f = O(g ) y g = O(h) ⇒ f = O(h).
f = O(h) y g = O(h) ⇒ f + g = O(h).

Dejamos su demostración como ejercicio.

Teorema
Sean n ∈ N, I un intervalo y f : I → R una función que tiene
derivada n-ésima en x0 ∈ I . Denotando por Pn,x0 (x) el polinomio de
Taylor de orden n de f en x0 , se cumple:

f (x) − Pn,x0 (x) = o((x − x0 )n ).

Demostración:
Si existe la derivada f (n) (x0 ) entonces f (n−1) está definida en un
entorno de x0 . Además, para todo k ∈ {0, . . . , n}:

f (k) (x0 ) = Pn,x

(k)
0
(x0 ).

Para calcular el siguiente lı́mite, aplicamos la regla de L’Hôpital a las

sucesivas formas indeterminadas tipo 0/0 que van resultando.
 f (x) − Pn,x0 (x) f 0 (x) − Pn,x
0
0
(x)
L = lı́m = lı́m = ...
x→x0 (x − x0 )n x→x0 n(x − x0 )n−1
(k) (n−1)
f (k) (x) − Pn,x0 (x) f (n−1) (x) − Pn,x0 (x)
= lı́m n! = . . . = lı́m n!
.
x→x0
(n−k)!
(x − x0 )n−k x→x0
1!
(x − x0 )

La derivada (n − 1)-ésima de

f 0 (x0 )
Pn,x0 (x) = f (x0 ) + (x − x0 ) + · · ·
1!
f (n−1) (x0 ) f (n) (x0 )
+ (x − x0 )n−1 + (x − x0 )n
(n − 1)! n!

(n−1) n! f (n) (x0 )

es Pn,x (x) = f (n−1) (x0 ) + (x − x0 ).
0
1! n!
El lı́mite es, pues,

f (n−1) (x) − f (n−1) (x0 ) − f (n) (x0 )(x − x0 )

L = lı́m
x→x0 n!(x − x0 )
 (n−1)
(x) − f (n−1) (x0 ) f (n) (x0 )

1 f
= lı́m − = 0.
n! x→x0 (x − x0 ) n!

Representando, como es habitual, por o((x − x0 )n ) cualquier función

que lo sea (en x0 ), podemos escribir, en las condiciones del teorema,
f (x) = Pn,x0 (x) + o((x − x0 )n ) y usar estas igualdades para calcular
lı́mites en x0 de la forma indeterminada (0/0). Utilizaremos también
algunas propiedades inmediatas, como:
Si m, n ∈ N y m > n, (x − x0 )m = o((x − x0 )n ),
Si m, n ∈ N, (x − x0 )m o((x − x0 )n ) = o((x − x0 )m+n ),
o((x − x0 )m )o((x − x0 )n ) = o((x − x0 )m+n ).
Ejemplo 1
cos x − 1
Calculemos L = lı́m .
x→0 ln(1 + x)
Aplicando el teorema anterior a las funciones coseno y logaritmo y
sus polinomios de Taylor de orden 1 en 0, tenemos:

cos x = 1 + o(x) y ln(1 + x) = x + o(x) en 0,

luego

o(x) o(x)/x 0
L = lı́m = lı́m = = 0.
x→0 x + o(x) x→0 1 + o(x)/x 1+0
Ejemplo 2
2
4x 2 e x − (3 + cos x) sen2 x
Hallemos ahora L = lı́m .
x→0 7x 3 (e x − 1)
Tenemos, en 0:
e x = 1 + x + o(x), luego 7x 3 (e x − 1) = 7x 4 + o(x 4 ).
2 2
e x = 1 + x 2 + o(x 3 ), luego 4x 2 e x = 4x 2 + 4x 4 + o(x 5 ).
2 x4
cos x = 1 − x2 + 24 + o(x 5 ).
x3 4
sen x = x − 6
+ o(x 4 ), de donde sen2 x = x 2 − x3 + o(x 5 ).
  
2 x2 x4 5 2 x4 5
(3 + cos x) sen x = 4 − 2 + 24 + o(x ) x − 3 + o(x )
= 4x 2 − 34 x 4 − 12 x 4 + o(x 5 ) = 4x 2 − 11 4
6
x + o(x 5 ).
2
4x 2 e x − (3 + cos x) sen2 x =
4x 2 + 4x 4 + o(x 5 ) − 4x 2 + 11
6
x 4 + o(x 5 ) = 35 4
6
x + o(x 4 ).
4)
35 4
6
x + o(x 4 ) 35
6
+ o(x
x4 5
Finalmente, L = lı́m = lı́m 4) = .
x→0 7x 4 + o(x 4 ) x→0 7 + o(x 6
x 4