Professional Documents
Culture Documents
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:
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?
Ejemplo 1:
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.
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
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.
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:
Todas estas formas expresan la misma función Rn (x), aunque cada una es útil de manera diferente.
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
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 .
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.
es:
no DL ) no DT
Si f no tiene desarrollo limitado de orden n entonces f no tiene desarrollo de Taylor de orden n.
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!
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.
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.
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!