9.

Polinomio de Taylor en varias variables1

Derivadas de orden superior
Sea U Rn un abierto y supongamos que f : U R admite las n derivadas parciales
en todos los puntos de U , es decir, que las funciones Di f : U R estan definidas en U .
Estas funciones pueden admitir, a su vez, derivadas parciales en a, que se denominaran
derivadas parciales segundas de f en a y se denotan por
Dij f (a) = Dj (Di f )(a),

1 i, j n.

Si f esta definida explcitamente (x1 , . . . , xn ) 7 f (x1 , . . . , xn ), se utilizan tambien las

notaciones
fxj xi (a) = (fxj )xi (a),
1 i, j n,
o, mas tradicionalmente,

2f
(a) =
xi xj
xi

f
xj


(a) si i 6= j ;

2f

(a) =
2
xi
xi

f
xi


(a).

De manera analoga, se definen las derivadas parciales terceras, cuartas, etc.

Sean U Rn un abierto y k 0 un entero. La clase C 0 (U ) = C(U ) esta formada por las
funciones continuas en U ; para k 1, la clase C k (U ) esta formada por todas las funciones
que tienen derivadas parciales hasta el orden k y estas derivadas parciales son continuas
en U . La clase C (U ) esta formada por las funciones que pertenecen a C k (U ) para todo
entero no negativo k, es decir, por las funciones que tienen derivadas parciales continuas
de todos los ordenes. Las expresion f es de clase C k en U se utiliza con el significado
de que f es de la clase C k (U ), y analogamente para C . Frecuentemente, se alude a la
regularidad de una funcion f como sinonimo de que f sea de clase C k para alg
un k.
Enunciamos el teorema de Schwarz en una version que no es la mas general pero suficiente
para nuestros propositos en este texto.
Teorema de Schwarz. Si f es una funcion de n variables de clase C 2 (U ), entonces, para
todo a U y 1 i < j n, se cumple Dij f (a) = Dji f (a).
Observese que si, por ejemplo, n 3 y f es una funcion de clase C 3 (U ), teniendo en cuenta
que las derivadas terceras son derivadas segundas de las derivadas primeras, el teorema
anterior implica que, para 1 i < j < k n,
Dijk f (a) = Dikj f (a) = Djik f (a) = Djki f (a) = Dkij f (a) = Dkji f (a),
y, para 1 i, j n, i 6= j,
Diij f (a) = Diji f (a) = Djii f (a).
Pueden hacerse observaciones analogas para las derivadas cuartas si f es de la clase C 4 ,
etc.
1

Extracto del libro C

alculo para Ingeniera informatica, por Jose A. Lubary y Josep M. Brunat,
Edicions UPC Temes Clau 08, 2008

El polinomio de Taylor
Sea f una funcion real de n variables de la clase C k (U ) y sea a U . Definimos el polinomio
de Taylor de grado k de f en a como el polinomio
Pk (f, a, x) =

n
n
X
1 X 2f
f
(a)(xi ai ) +
(a)(xi ai )(xj aj )
f (a) +
xi
2! i,j=1 xi xj
i=1

+
n
X
1
+
k! i ,i ,...,i
1 2

kf
(a)(xi1 ai1 )(xi2 ai2 ) (xik aik ).
xi1 xi2 . . . xik
=1

Como en el caso de una variable, definimos el resto k-esimo de Taylor por la igualdad
Rk (f, a, x) = f (x) Pk (f, a, x), y se tiene que
Rk (f, a, x)
= 0,
xa kx akk
lm

lo que significa que la similitud entre la funcion y su polinomio de Taylor en a es mejor

cuanto mas cerca de a y cuanto mayor sea el grado.
Si f es de la clase C k+1 (U ) y Br (a) es una bola contenida en U , entonces, para todo
x Br (a) el resto k-esimo puede expresarse en la forma
n
X
1
Rk (f, a, x) =
(k + 1)! i ,...,i
1

k+1

k+1 f
(c)(xi1 ai1 ) (xik+1 aik+1 ),
xi1 . . . xik+1
=1

donde c es un punto del segmento de extremos a y x, es decir, c = ta + (1 t)x para

cierto real t (0, 1).
Tanto en la expresion del resto como en la del polinomio se ha de tener en cuenta que
algunas de las derivadas que aparecen son iguales, debido al teorema de Schwarz.
Puesto que en este curso muchos de los problemas tratan sobre funciones de dos variables,
escribimos el polinomio de Taylor de grado n en (a, b) y el resto enesimo para este caso,
agrupando las derivadas que coinciden:
f
f
(a, b)(x a) +
(a, b)(y b)
Pn (f, (a, b), (x, y)) = f (a, b) +
x
y


1 2f
2f
2f
2
+
(a, b)(x a) + 2
(a, b)(x a)(y b) + 2 (a, b)(y b)
2! x2
xy
y
+
n  
1 X n
nf
+
(a, b)(x a)nk (y b)k .
n! k=0 k xnk y k

n+1 
X
1
n+1
n+1 f
Rn (f, (a, b), (x, y)) =
(a0 , b0 )(x a)n+1k (y b)k .
(n + 1)! k=0
k
xn+1k y k
donde (a0 , b0 ) es un punto del segmento de extremos (a, b) y (x, y).
2