Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoremas de Taylor
Una vez más nos disponemos a extender a las funciones de varias variables
resultados ya conocidos para funciones de una variable, los teoremas de
aproximación de Taylor. Comenzaremos con la extensión del concepto de
polinomio de Taylor y, más generalmente, del concepto de polinomio al
marco de los espacios normados.
Definiciones
r
X 1 k
Pr f (a)x = f (a) + D f (a)xk ,
k!
k=1
k
donde con Dk f (a)xk denotamos abreviadamente a Dk f (a)(x, .c
. ., x).
En dimensión finita, es decir si E = Rn , teniendo en cuenta la fórmula
que relaciona la diferencial de orden k de una función con sus derivadas
111
112 Teoremas de Taylor 11.1
∂5f
(a)
∂x21 ∂x37
es decir a las permutaciones con repetición de cinco elementos con dos y tres
repetidos, por tanto 5!/2!3!. Luego, una vez agrupados todos estos términos,
nos quedará un término en x21 x37 , cuyo coeficiente será:
1 5! ∂5f 1 ∂5f
2 3 (a) = (a).
5! 2!3! ∂x1 ∂x7 2!3! ∂x21 ∂x37
a0 + a1 x + a2 x2 + . . . + ar xr ,
Los teoremas
Nuestro objetivo en esta sección será obtener teoremas de aproximación de
funciones diferenciables mediante polinomios. Dada una función f , se dirá
11.3 Teoremas de Taylor 113
O sea que
(11.1)
¡ ¢
r f (b) − Pr f (a)(b − a) (ξ1 − a)r−1
¡ ¡ f r (a) ¢¢
= (b − a)r f 0 (ξ1 ) − f 0 (a) + f 00 (a)(ξ1 − a) + . . . + (ξ1 − a)(r−1) .
(r − 1)!
La expresión entre corchetes es f 0 (ξ1 ) − Pr−1 f 0 (a)(ξ1 − a), por lo que apli-
cando la hipótesis de inducción a f 0 en el intervalo [a, ξ1 ], podemos escribir
µ ¶
0 0 (ξ1 − a)r−1 f r−1 (ξ) − f r−1 (a) r
f (ξ1 ) − Pr−1 f (a)(ξ1 − a) = − f (a) ,
(r − 1)! ξ−a
donde a < ξ < ξ1 .
De esto se deduce, teniendo en cuenta 11.1 que
¡ ¢
r f (b) − Pr f (a)(b − a) (ξ1 − a)r−1
r−1
µ r−1 ¶
r (ξ1 − a) f (ξ) − f r−1 (a) r
= (b − a) − f (a) ,
(r − 1)! ξ−a
luego
µ ¶
(b − a)r f r−1 (ξ) − f r−1 (a) r
f (b) − Pr f (a)(b − a) = − f (a) .
r! ξ−a
f (a + h) − Pr f (a)(a + h)
µ ¶
1 Dr−1 f (a
+ θh)hr−1 − Dr−1 f (a)hr−1
= − Dr f (a)hr
r! θ
1 Dr−1 f (a + θh) − Dr−1 f (a) − Dr f (a)(θh) r−1
= h .
r! θ
116 Teoremas de Taylor 11.4
Por tanto
1
kf (a + h) − Pr f (a)hk ≤ εkhkr .
r!
Luego
F (k) (t) = (F (k−1) )0 (t) = D(F (k−1) (t)1 = D(g ◦ λ)(t)1 = Dg(a + th)h.
Dk−1 f φ
x −−−−→ Dk−1 f (x) −−−−→ Dk−1 f (x)hk−1
11.7 Teoremas de Taylor 117
11.6 Según el teorema local de Taylor, una condición suficiente para que
una función pueda aproximarse hasta el orden r mediante un polinomio,
en un entorno de un punto, es que sea r-veces diferenciable en ese punto.
Esta condición no es, sin embargo, necesaria (para un teorema recı́proco
del teorema de Taylor, ver Avez [2, §4.5]). En efecto, consideremos, por
ejemplo, la función
1
f (x) = x3 sen .
x
El polinomio 0 aproxima hasta el orden 2 a la función f en un entorno de
0, pues
f (x) 1
lim = lim x sen = 0.
x→0 x2 x→0 x
En cambio, f no es 2-veces derivable en 0.
Se trata de ver, por tanto, que el único polinomio que tiene la propiedad
anterior es el idénticamente nulo, o sea que ck = 0 para todo k.
Procederemos por inducción. Trivialmente c0 = 0. Supongamos que
cj = 0 si j < k y veamos que también ck = 0 :
Observemos en primer lugar que la condición
c0 + c1 x + . . . + cr xr
lim =0
x→0 kxkr
implica que
c0 + c1 x + . . . + cr xr
lim = 0 , ∀k ≤ r.
x→0 kxkk
Se tiene entonces
µ
ck xk + . . . + cr xr ¡ x x ¢
0 = lim k
= lim ck ,...,
x→0 kxk x→0 kxk kxk
¡ x x ¢
+ ck+1 ,..., ,x + ...
kxk kxk
¶
¡ x x ¢
+ cr ,..., , x, . . . , x
kxk kxk
¡ x x ¢
= lim ck ,..., ,
x→0 kxk kxk
donde la segunda igualdad se obtiene gracias a que
° °
° ¡ x x ¢°
°cj °
° kxk , . . . , kxk , x, . . . , x ° ≤ kcj k · 1 · . . . · 1 · kxk . . . kxk
¡ x x ¢
⇒ lim cj ,..., , x, . . . , x = 0 , ∀j > k.
x→0 kxk kxk
Hemos obtenido pues que
ck xk
lim= 0.
x→0 kxkk
Nota. El teorema global de Taylor anterior (sólo válido en esta forma para
funciones escalares), es para el caso r = 1 el teorema del valor medio para
funciones escalares (ver Teorema 8.9): Si f : A ⊂ Rn → R es una función
continua en el segmento [a, b] ⊂ A y derivable en (a, b), entonces existe un
punto ξ ∈ (a, b) tal que
X ∂f
f (b) − f (a) = Df (ξ)(b − a) = (ξ)(bj − aj ).
∂xj
Ejercicios
11A Obtener el coeficiente del término en x4 yz 2 del desarrollo de Taylor en el
origen de una función de las variables x, y, z.
11F Sea f (x, y) = 3x2 y 2 +x4 +y 4 +sen3 xy. Demostrar que el polinomio de Taylor
de orden 5 para la función f en (0,0) es igual a 3x2 y 2 + x4 + y 4 .
f (x, y, z) − (2x − yz 2 + x2 yz + z 3 x2 )
lim = 0.
(x,y,z)→(0,0,0) (x2 + y 2 + z 2 )3
11H Demostrar, sin tener que hacer el cálculo, que todas las derivadas parciales de
orden ≤ 8 de la función f (x, y) = sen(x9 + y 9 ) son nulas en (0,0). Probar asimismo
que igual sucede con las de orden ≤ 5 para la función g(x, y, z) = cos xyz.
11J Sean f, g funciones escalares de varias variables y de clase C ∞ tales que f (0) =
g(0) = 0, y para las que el cociente f (x)/g(x) está definido en todo punto x 6= 0 de
algún entorno de 0 (para concretar se puede suponer por tanto que g(x) ≥ 0 en ese
entorno).
(a) Para cada x denotemos por r(x) y s(x), respectivamente, a los números natu-
rales más pequeños (o infinito) tales que Dr(x) f (0)xr(x) 6= 0, Ds(x) g(0)xs(x) 6=
0. Demostrar que si existe limx→0 f (x)/g(x) = l (l finito), entonces:
i) r(x) ≥ s(x) para todo x;
ii) si para algún x, r(x) > s(x), l = 0;
iii) si para algún x, r(x) = s(x) < ∞, l 6= 0.
(b) Sea r = min{r(x) : x ∈ Rn } , s = min{s(x) : x ∈ Rn } y supongamos que
r y s son finitos, es decir Dr f (0) 6= 0, Ds g(0) 6= 0, y éstas son las primeras
derivadas de f y g que no se anulan en 0. Se tiene entonces:
11L Teoremas de Taylor 121
f (t) − Pn f (0)t
g(t) = ; g(0) = 0
tn−k
es k-veces diferenciable en 0.
Indicación: Razonar por inducción sobre k.
(b) Deducir de (a) que si f es n-veces diferenciable en 0 (n ≥ 2), entonces la
función
f (t) − f (0)
h(t) = ; h(0) = f 0 (0)
t
es (n − 1)-veces diferenciable en 0, siendo
11N Sea f : R2 → R.
(a) Probar que si f es una aplicación de clase C r , entonces la aplicación g(x, y) =
xf (x, y) es (r + 1)-veces diferenciable en (0,0).
(b) Demostrar que Pr+1 g(0, 0)(x, y) = xPr f (0, 0)(x, y).