En cálculo, el teorema
de Taylor, recibe su nombre del matemático británico Brook Taylor, quien lo
enunció con mayor generalidad en1712, aunque
previamente James Gregory lo había descubierto en 1671. Este teorema
permite obtener aproximaciones polinómicas de una función en un entorno de
cierto punto en que la función sea diferenciable. Además el teorema permite acotar
el error obtenido
mediante dicha estimación
Este teorema permite aproximar una función derivable en el entorno reducido alrededor de un punto a: Є (a, d) mediante un polinomio cuyos coeficientes dependen de las derivadas de la función en ese punto. Más formalmente, si n ≥ 0 es un entero y f una función que es derivable n veces en el intervalo cerrado [a, x] y n+1 veces en el intervalo abierto (a, x), entonces se cumple que:
Donde k denota el factorial de k, y Rn es el resto, término que depende de a y es pequeño si a está próximo al punto a. Existen dos
expresiones para a que se mencionan a continuación:
fdonde a y x, pertenecen a
los números reales, n a los enteros y epsilon es un número real entre a y x:[2]
Si Rn (f) es expresado de la primera forma, se
lo denomina Término complementario de Lagrange, dado
que el Teorema de Taylor se expone como una generalización del Teorema
del valor medio o Teorema
de Lagrange, mientras que la segunda expresión de R muestra al teorema como una
generalización del Teorema fundamental del cálculo
integral.
Para algunas funciones f(x), se puede probar
que el resto, Rn (f), se aproxima a
cero cuando n se acerca al ∞; dichas funciones
pueden ser expresadas como series de Taylor en un entorno reducido alrededor de
un punto a y son denominadas funciones analíticas.
El teorema de Taylor con Rn(f) expresado de la segunda forma es
también válido si la función F tiene números complejos o valores vectoriales. Además existe
una variación del teorema de Taylor para funciones con múltiples variables.
Caso de varias variables
El teorema de Taylor anterior (1) puede
generalizarse al caso de varias variables como se explica a continuación. Sea B una bola en RN centrada en el punto a,
y f una
función real definida sobre la clausura, cuyas derivadas parciales de orden n+1
son todas continuas en cada punto de la bola. El teorema de Taylor establece
que para cualquier x Ƹ B
Donde la suma se extiende sobre los multi-índices α (esta fórmula
usa la notación multi-índice). El resto satisface la desigualdad:
para todo α con |α|=n+1. Tal como sucede en el
caso de una variable, el resto puede expresarse explícitamente en términos de
derivadas superiores (véase la demostración para los detalles).