Está en la página 1de 5

Observaciones sobre los desarrollos limitados 1

Los conceptos de desarrollo limitado (DL) y desarrollo de Taylor (DT) están muy relacionados y aunque tienen sus
diferencias, es un error extendido el confundirlos como se puede apreciar en diversas páginas de internet.2

Definición:3

Una función f definida en un vecindario abierto V de un punto a se dice que admite un desarrollo limitado
de orden n 0 alrededor de a, si existen constantes a0 , a1 , . . . , an , tales que:

f (x) = a0 + a1 (x a) + · · · + an (x a)n + (x a)n o(1) , cuando x ! a. (1)

La notación con o pequeña de Landau: (x a)n o(1) = o(x a)n corresponde a una función llamada resto
R(x) = (x a)n o(1) = f (x) a0 + a1 (x a) + · · · + an (x a)n (2)
R(x)
que aunque desconocida cumple que lı́m = lı́m o(1) = 0.
x!a (x a)n x!a

La definición en (1) parece coincidir con el desarrollo de Taylor de f (x). ¿Entonces en qué se diferencia de este?

Antes de responder esta pregunta observemos algunos ejemplos de desarrollos limitados:

Ejemplo 1:

El desarrollo limitado de orden 9 de f1 (x) = sen x, alrededor de x = 0, es


1 3 1 1 7 1
x + x5
sen x = x x + x9 + x9 o(1)
3! 5! 7! 9!
Tanto sen x como sus derivadas son funciones continuas en R y por lo tanto en cualquier intervalo abierto que
contenga a x = 0.

Ejemplo 2:
sen x
El desarrollo limitado de orden 8, de f2 (x) = , alrededor de x = 0, es
x
sen x 1 2 1 1 6 1
=1 x + x4 x + x8 + x8 o(1)
x 3! 5! 7! 9!
sen x
y sus derivadas son funciones continuas en R {0}. Observe que ni f (x) ni sus derivadas existen en x = 0.
x

Ejemplo 3:
(
sen x , si x 2 Q {0}
El desarrollo limitado de orden 3, de f3 (x) = alrededor de x = 0, es
x 16 x3 , si x 2 I
1 3
f3 (x) = x x + x3 o(1)
6
1 prof. Miguel Alpízar, Agosto 2016
2 Una definición correcta se pueden encontrar en algunas páginas en francés, como en la página Développement limité — Wikipédia en
el enlace:
http://fr.wikipedia.org/wiki/D%C3%A9veloppement_limit%C3%A9
así como en los libros “Cálculo N-2. Serie: CABÉCAR”, de Jorge Poltronieri, Editorial de la UCR, 1998, pág. 5, e “Introducción Al Análisis
Real en Una Variable”, de Eduardo Piza, Editorial de la UCR, 2003, pág. 26. Este último se puede observar en el enlace directo:
http://books.google.es/books?id=ihMpM-cwFjQC&printsec=frontcover&hl=es
3 pág. 26 del libro de Piza

1
f3 posee un desarrollo limitado de orden 3 alrededor de x = 0 aunque es discontinua en cada valor de su dominio
R {0}.

Aunque las funciones de los tres ejemplos anteriores poseen desarrollos limitados en x = 0, solo la primera tiene
desarrollo de Taylor en ese punto pues solo f1 (x) = sen x existe y tiene derivadas en x = 0.

Condiciones sobre los coeficientes en los desarrollos de Taylor y desarrollos limitados

Un desarrollo de Taylor de orden n de una función f alrededor de un punto x = a requiere que la n-ésima
derivada de la función exista y sea continua en algún intervalo abierto I que contenga al punto de desarrollo x = a.
n
Esto en notación matemática se escribe como f 2 C (I). Dado que f (0) = f (la derivada cero es la función sin
0
derivar), la notación f 2 C (I) = C(I) indicaría simplemente que f es continua en I.

Un resultado muy conocido de cálculo es el que si una función es derivable en un intervalo entonces también es continua
k
en ese intervalo. De esta manera si para algún k 2 N, f (k) existe y es continua en I f 2 C (I) , como existe y es
k k 1
la derivada de f (k 1)
entonces f (k 1)
también existe y es continua en I, es decir f 2 C (I) ) f 2 C (I).
n
Por lo tanto, si f posee un desarrollo de Taylor de orden n alrededor de x = a, entonces f 2 C (I) ) f (k) existe
y es continua 8 k = 1, . . . , n. Esto es necesario porque en el desarrollo de Taylor de orden n los coeficientes están
f (k) (a)
definidos mediante la fórmula ak := , para k = 0, 1, . . . , n.
k!

En caso de que todas las derivadas de f existan y sean continuas en I, se escribe f 2 C 1 (I) lo que significa que
f (k) existe y es continua 8 k 2 N.

Por otra parte, un desarrollo de limitado de orden n de una función f alrededor de x = a requiere que existan
los coeficientes ak que cumplan la condición de la fórmula (1) de la definición.

Obsérvese que la igualdad de la fórmula debe darse “cuando x ! a”. Esto no obliga a que la igualdad se cumpla en
x = a, por lo que no es necesario que a0 = f (a), ni siquiera que f (a) exista, tampoco que f sea una función continua
cuando x ! a.

Al calcular el límite a ambos lados de (1) se observa que es necesario que a0 = lı́m f (x).
x!a

Restando a0 y dividiendo ambos lados de (1) por x a se obtiene


f (x) a0
= a1 + a2 (x a) + · · · + an (x a)n 1
+ (x a)n 1
o(1) , cuando x ! a (3)
x a
f (x) a0
y calculando el límite a ambos lados se obtiene que a1 = lı́m .
x!a x a

Análogamente, restando a0 + a1 (x a) y dividiendo ambos lados de (1) por (x a)2 se obtiene


f (x) a0 a1 (x a)
= a2 + a3 (x a) + · · · + an (x a)n 2
+ (x a)n 2
o(1) , cuando x ! a (4)
(x a)2
f (x) a0 a1 (x a)
y calculando el límite a ambos lados se obtiene que a2 = lı́m .
x!a (x a)2

Continuando así sucesivamente, se llega hasta el n-ésimo coeficiente


f (x) a0 a1 (x a) · · · an 1 (x a)n 1
= an + o(1) , cuando x ! a (5)
(x a)n
f (x) a0 a1 (x a) · · · an 1 (x a)n 1
por lo que an = lı́m .
x!a (x a)n

2
Es decir, los coeficientes de un desarrollo limitado se pueden calcular mediante los límites

f (x) a0 a1 (x a) · · · ak 1 (x a)k 1
ak = lı́m
x!a (x a)k

para k = 0, 1, . . . , n. Parece que de aquí es donde toma el nombre de desarrollo limitado (definido mediante límites).

Así, es erróneo pensar que “limitado” se refiere a un número finito de términos, pues en ese caso se trataría de un
polinomio (como los polinomios de Taylor), no de un desarrollo; como también es erróneo pensar que “desarrollo
limitado” se refiere a su utilización para el cálculo de límites, pues los desarrollos de Taylor con resto de Young se
siguen llamando desarrollos de Taylor, o desarrollos en serie de potencias, ya sea que se utilicen para resolver límites
o no.

Sobre la expresión del resto en el desarrollo de Taylor

La notación o pequeña de Landau que se utiliza para expresar el resto en un desarrollo limitado también se utiliza
en desarrollos de Taylor. Cuando el resto de Taylor de orden n alrededor de x = a se expresa mediante la notación
o se le llama resto de Young:

Rn (x) = (x a)n o(1) resto de Young


(n+1)
f (✓)
= (x a)n+1 resto de Lagrange
(n + 1)!
ˆ x (n+1)
f (t)
= (x t)n dt forma integral del resto
a n!

Todas estas formas expresan la misma función Rn (x), aunque cada una es útil de manera diferente.

Todo desarrollo de Taylor es un desarrollo limitado

Vimos que si una función f admite un desarrollo de Taylor de orden n alrededor de x = a entonces para k = 1, . . . , n
f (k) (a)
9 f (k) (a) y los coeficientes del desarrollo son de la forma . Si esto es así, entonces también los coeficientes del
k!
desarrollo limitado no solo existen sino que además coinciden con los coeficientes del desarrollo de Taylor pues

a0 = lı́m f (x) = f (a) dado que f es continua en x = a


x!a

f (x) a0 f (x) f (a)


a1 = lı́m = lı́m =: f 0 (a) dado que 9 f 0 (a)
x!a x a x!a x a
y en general si para algún k los coeficientes aj del desarrollo limitado coinciden con los de Taylor para j = 1, . . . , k 1

entonces usando el desarrollo de Taylor de orden n de f (x) con resto de Young:


f (x) a0 a1 (x a) · · · ak 1 (x a)k 1
ak = lı́m
x!a (x a)k
1 (k) 1
f (a)(x a)k + f (k+1) (a)(x a)k+1 + · · · + 1 f (n) (a)(x a)n + (x a)n o(1)
k! (k + 1)! n!
= lı́m
x!a (x a)k
h i
1 (k) 1
= lı́m f (a) + f (k+1) (a)(x a) + · · · + 1 f (n) (a)(x a)n k
+ (x a)n k
o(1) = 1 f (k) (a)
x!a k! (k + 1)! n! k!

es decir, como todos los coeficientes hasta el k 1 coinciden, entonces también coincide el siguiente coeficiente ak .
Así, por el principio de inducción (inducción fuerte) hemos probado que cuando una función admite un desarrollo de
Taylor de algún orden, también admite un desarrollo limitado del mismo orden y este coincide con el desarrollo de
Taylor. Con esto hemos llegado al siguiente resultado:

3
Teorema: Todo desarrollo de Taylor es un desarrollo limitado.

Dado que la función del ejemplo 1 admite desarrollo de Taylor (de cualquier orden), todo desarrollo limitado de sen x
es un desarrollo de Taylor .

El recíproco es falso pues: No todo desarrollo limitado es un desarrollo de Taylor .

Las funciones de los ejemplos 2 y 3 admiten desarrollos limitados alrededor de x = 0, pero al no existir f (0) no
admiten ningún desarrollo de Taylor alrededor de x = 0.

Así, la gran diferencia de una función que admita un desarrollo limitado de orden n a una que admita un desarrollo
de Taylor de orden n, es que mientras que el desarrollo limitado no exige que exista f (k) (x), para k = 0, 1, . . . , n, ni
en x = a ni siquiera en un vecindario perforado I {a} de x = a, un desarrollo de Taylor si lo requiere.

La “contrapositiva” lógica de un teorema A)B es no B ) no A y también es un teorema. En este caso la


contrapositiva lógica de
DT ) DL
Si f tiene desarrollo de Taylor de orden n entonces f tiene desarrollo limitado de orden n.

es:
no DL ) no DT
Si f no tiene desarrollo limitado de orden n entonces f no tiene desarrollo de Taylor de orden n.

y el que no se cumpla el recíproco se puede escribir como

DL 6) DT
Si f tiene desarrollo limitado de orden n no necesariamente f tiene desarrollo de Taylor de orden n.

Este es el caso de las funciones de los ejemplos 2 y 3, las cuales tienen DL pero no DT alrededor de x = 0.

Las funciones como la del ejemplo 2, se dicen perforadas en el punto x = a dado que cumplen que 9 lı́m f (x) y
x!a
6 9 f (a) y por tanto tienen una discontinuidad evitable en ese punto. Algunas de ellas al redefinir f (a) := lı́m f (x) se
x!a
sen x
convierten en funciones derivables. Para ese tipo de funciones como f2 (x) = en x = 0, se aplica el siguiente
x
Teorema:

n
Si f 2 C (I {a}) admite el desarrollo limitado (1) en x = a, entonces
(
f (x), si x 6= a n
¯
f (x) := 2 C (I) (es decir f¯ tiene n-ésima derivada continua también en x = a)
lı́m f (x), si x = a
x!a
lı́m f (k) (x)
x!a
y f¯(k) (a) = k! ak = lı́m f (k) (x) = lı́m f¯(k) (x) para k = 0, 1, 2, . . . , n, de donde se sigue que ak =
x!a x!a k!

Desarrollos cuando hay división por cero en el punto de desarrollo


sen x
Ahora bien, el cálculo de los coeficientes del desarrollo limitado de una función como la del ejemplo 2: f2 (x) =
x
puede resultar muy laborioso.

Sin embargo esta función cumple otra característica importante que encontramos a menudo: f2 (x) no tiene desarrollo
de Taylor alrededor de x = 0 porque es un cociente cuyo denominador se hace cero en el punto, sin embargo tanto
el numerador como el denominador son funciones que si admiten desarrollos de Taylor en x = 0.

4
p(x)
Es conocido que si f (x) = y tanto f (x) como p(x) y q(x) admiten desarrollos de Taylor, entonces el desarrollo
q(x)
de Taylor de f (x) se puede obtener dividiendo el desarrollo de p(x) entre el desarrollo de q(x) por división polinómica.

Esto también se mantiene cierto en el caso de desarrollos limitados:

Teorema:

p(x)
Si p(x), q(x) y f (x) = admiten desarrollos limitados en x = a, entonces el desarrollo limitado de
q(x)
f (x) es igual al cociente de los desarrollos limitados (o de Taylor) de p(x) y q(x).

Esto amplía la posibilidad de dividir desarrollos como se puede apreciar para la función del ejemplo 2: el desarrollo
sen x
limitado de f2 (x) = es el cociente de los desarrollos de sen x y x
x
1 3
sen x x x + 1 x5 1 7
x + 1 x9 + x9 o(1) 1 2 1 1 6 1
3! 5! 7! 9!
= =1 x + x4 x + x8 + x8 o(1)
x x 3! 5! 7! 9!

Finalmente, este resultado se puede extender más incluyendo desarrollos generalizados (es decir, desarrollos que
también pueden incluir potencias negativas y racionales)

Teorema:

Si p(x), q(x) admiten desarrollos de Taylor en x = a y q(a) = 0, entonces el cociente de los desarrollos
de p(x) y q(x) es un desarrollo generalizado de f (x) en x = a.

Por ejemplo, el desarrollo (generalizado) de la función f (x) = csc x es


1 1 1 1 7 3 31 5 127 7
csc x = = 1 3
= + x+ x + x + x + x7 o(1)
sen x x x + 1 x5 1 7
x + 1 x9 + x9 o(1) x 6 360 15120 604800
3! 5! 7! 9!

y el de f (x) = cot x es

cos x 1 1 x2 + 1 x4 1 6
x + 1 x8 + x9 o(1) 1 1 1 3 2 5 1 7
2 24 720 40320
cot x = = 1 3 1 5 1 7 1 9
= x x x x + x8 o(1) .
sen x x x + x 9
x + x + x o(1) x 3 45 945 4725
3! 5! 7! 9!