jueves, 23 de abril de 2015

Serie de Taylor



¿Qué es una serie de Taylor y como se define?
A medida que aumenta el grado del polinomio de Mac Laurin, se aproxima a la función. Se ilustran las aproximaciones de MacLaurin a sen(x), centradas en 0, de grados 1, 3, 5, 7, 9, 11 y 13.
La gráfica de la función exponencial (en azul), y la suma de los primeros n+1 términos de su serie de Taylor en torno a cero (en rojo).
En matemáticas, una serie de Taylor es una aproximación de funciones mediante una serie de potencias o suma de potencias enteras de polinomios como ( x-a )^n llamados términos de la serie, dicha suma se calcula a partir de las derivadas de la función para un determinado valor o punto a suficientemente derivable sobre la función y un entorno sobre el cual converja la serie. Si esta serie está centrada sobre el punto cero, a=0, se le denomina serie de McLaurin.
Definición
La serie de Taylor de una función f real o compleja ƒ(x) infinitamente diferenciable en el entorno de un número real o complejo a es la siguiente serie de potencias:
f(a)+\frac{f'(a)}{1!}(x-a)+\frac{f''(a)}{2!}(x-a)^2+\frac{f^{(3)}(a)}{3!}(x-a)^3+\cdots
Que puede ser escrito de una manera más compacta como la siguiente suma:
\sum_{n=0}^{\infin} \frac{f^{(n)}(a)}{n!} (x-a)^{n}\,,

Donde:
n! es el factorial de n
f (n)(a) denota la n-ésima derivada de f para el valor a de la variable respecto de la cual se deriva.
La derivada de orden cero de f es definida como la propia f y tanto (x − a)0 como 0! son ambos definidos como 1 (0! = 1). En caso de ser a = 0, como ya se mencionó, la serie se denomina también de MacLaurin.

Cabe destacar que en una serie de Taylor de potencias centrada en a de la forma \sum^{}_{}a_n(x-
a)^n siempre se puede hacer el cambio de variable z=x-a (con lo que x=z+a en la función a desarrollar original) para expresarla como \sum^{}_{}a_nz^n centrada en 0. Luego hay que deshacer el cambio de variable. Por ejemplo, si se quiere desarrollar la función f(x)=x\ln x alrededor de a = 1 se puede tomar z=x-1, de manera que se desarrollaría f(z+1)=(z+1)\ln(z+1) centrada en 0.
El filósofo eleata Zenón de Elea consideró el problema de sumar una serie infinita para lograr un resultado finito, pero lo descartó por considerarlo imposible: el resultado fueron las paradojas de Zenón. Posteriormente, Aristóteles propuso una resolución filosófica a la paradoja, pero el contenido matemático de esta no quedó resuelto hasta que lo retomaron Demócrito y después Arquímedes. Fue a través del método exhaustivo de Arquímedes que un número infinito de subdivisiones geométricas progresivas podían alcanzar un resultado trigonométrico finito.1 Independientemente, Liu Hui utilizó un método similar cientos de años después.2

En el siglo XIV, los primeros ejemplos del uso de series de Taylor y métodos similares fueron dados por Madhava de Sangamagrama.3 A pesar de que hoy en día ningún registro de su trabajo ha sobrevivido a los años, escritos de matemáticos hindúes posteriores sugieren que él encontró un número de casos especiales de la serie de Taylor, incluidos aquellos para las funciones trigonométricas del seno, coseno, tangente y arco tangente.

En el siglo XVII, James Gregory también trabajó en esta área y publicó varias series de Maclaurin. Pero en 1715 se presentó una forma general para construir estas series para todas las funciones para las que existe y fue presentado por Brook Taylor, de quién recibe su nombre.
Las series de Maclaurin fueron nombradas así por Colin Maclaurin, un profesor de Edinburgo, quién publicó el caso especial de las series de Taylor en el siglo XVIII.

Función analítica
Si una serie de Taylor converge para todo x perteneciente al intervalo (a-r, a+r) y la suma es igual a f(x), entonces la función f(x) se llama analítica. Para comprobar si la serie converge a f(x), se suele utilizar una estimación del resto del teorema de Taylor.
Una función es analítica si y solo si se puede representar con una serie de potencias; los coeficientes de esa serie son necesariamente los determinados en la fórmula de la serie de Taylor.
Se suele aproximar una función mediante un número finito de términos de su serie de Taylor. El Teorema de Taylor facilita la estimación cuantitativa del error de dicha aproximación. Se denomina polinomio de Taylor al número finito de los términos iniciales de la serie de Taylor de una función. La serie de Taylor de una función es, en caso de existir, el límite del polinomio de Taylor de esa función. Una función puede no ser igual a la serie de Taylor ni siquiera convergiendo tal serie para cada punto. Una función igual a su serie de Taylor en un intervalo abierto (o un disco en el plano complejo) se denomina función analítica..

Series de Maclaurin (Taylor alrededor del número 0) notables
La función coseno.
Una aproximación de octavo orden de la función coseno en el plano de los complejos.
Las dos imágenes superiores unidas.
A continuación se enumeran algunas series de Taylor de funciones básicas. Todos los desarrollos son también válidos para valores complejos de x.



¿Cómo funciona para un truncamiento?
La serie de Taylor provee un medio para predecir el valor de una función en un punto en términos del valor de la función y sus derivadas en otro punto.
Teorema de Taylor: Si la función f y sus primeras n+1 derivadas son continuas en un intervalo que contiene a a y a x, entonces el valor de la función en un punto x está dado por:
f(x) = f(a) + f'(a)(x - a) + {{f''(a)} \over {2!}}(x - a)^2 + {{f'''(a)} \over {3!}}(x - a)^3 + ... + {{f^n (a)} \over {n!}}(x - a)^n - R_n
R_n = \int_a^x {{{(x - t)^n } \over {n!}}} f^{n + 1} (t)dt
La expansión en series de Taylor de n-ésimo orden debe ser exacta para un polinomio de n-ésimo orden.
Para otras funciones continuas diferenciables, como las exponenciales o sinusoidales, no se obtiene una estimación exacta mediante un número finito de términos.
El valor práctico de las series de Taylor radica en el uso de un número finito de términos que darán una aproximación lo suficientemente cercana a la solución verdadera para propósitos prácticos.
¿Cuántos términos se requieren para obtener una “aproximación razonable”?
La ecuación para el término residual se puede expresar como:
R_n = O(h^{n + 1} )
Significa que el error de truncamiento es de orden hn+1. El error es proporcional al tamaño del paso h elevado a la (n+1)-ésima potencia.
Ejemplo: Si el error es O(h) y se reduce a la mitad del paso, entonces el error se reduce a la mitad. Si el error esO(h2) el error se reducirá a la cuarta parte.
Error de Propagación:
Supóngase que se tiene una función f(u). Considere que ũ es una aproximación de u (ũ = u+h, con h tamaño de paso). Por lo tanto, se podría evaluar el efecto de la discrepancia entre u y ũ en el valor de la función.
\Delta f(\tilde u) = |f(u) - f(\tilde u)|
Si u es cercana a ũ y f(u) es continua y diferenciable:
{f(u) = f(\tilde u) + f'(\tilde u)(u - \tilde u) + {{f''(u)} \over {2!}}(u - \tilde u)^2 + \ldots \cr f(u) - f(\tilde u) \simeq f'(\tilde u)(u - \tilde u) \cr \Delta f(\tilde u) = |f'(\tilde u)|(u - \tilde u) \cr}
Estabilidad y Condición:
La condición de un problema matemático relaciona a su sensibilidad los cambios en los datos de entrada.
Un cálculo es numéricamente inestable si la incertidumbre de los valores de entrada aumentan considerablemente por el método numérico.
Usando la serie de Taylor de primer orden:
f(x) = f(\tilde x) + f'(\tilde x)(x - \tilde x)
Estimando el error relativo de f(x) como en:
{{f(x) - f(\tilde x)} \over {f(x)}} \simeq {{f'(\tilde x)(x - \tilde x)} \over {f(\tilde x)}}
El error relativo de x está dado por:
{{x - \tilde x} \over x}
Un número condicionado puede definirse como la razón de estos errores relativos:
Número Condicionado:
{{\tilde xf'(\tilde x)} \over {f(\tilde x)}}
El número condicionado proporciona una medida de hasta qué punto la incertidumbre de x es aumentada por f(x):
  • Un valor de 1 nos indica que el error relativo de la función es idéntico al valor relativo de x.
  • Un valor mayor que 1 nos indica que el error relativo es amplificado.
  • Un valor menor que 1 nos indica que el error relativo está disminuyendo.
Funciones con valores muy grandes nos dicen que están mal condicionados.
El error numérico total es la suma de los errores numéricos de truncamiento y redondeo. Un camino para minimizar los errores de redondeo es incrementar el número de cifras significativas de la computadora.
El error de truncamiento puede reducirse con un tamaño de paso más pequeño. Los errores de truncamiento pueden ser disminuidos cuando los de redondeo aumentan.
No hay forma sistemática y general para evaluar el error numérico para todos los problemas. La estimación se basa en la experiencia y buen juicio del ingeniero.
  • Evitar la resta de dos números casi iguales reordenando o reformulando el problema.
  • Aritmética de precisión extendida.
  • Clasificarlos y trabajar primero con los números más pequeños.
Para predecir el error numérico un buen camino es emplear la Serie de Taylor.
Por último, se deben repetir los experimentos numéricos modificando el tamaño de paso y comparando los resultados.

Objetivo

Aplicar el método de Taylor para resolver ecuaciones diferenciales, que como se verá es la misma solución que proporciona la solución en series de potencias (o de coeficientes indeterminados).

Esto es, si la solución en series de potencias arroja la solución en una formula cerrada, se tendrá entonces que la solución dada por los polinomios de Taylor también entregará dicha so-lución en forma cerrada.

Por lo tanto, en el caso de solución en puntos ordinarios, debería de enseñarse el método de desarrollo de Taylor, pues viene a ser mucho más cómodo para un estudiante de ecuaciones diferenciales, pues cuando se trabaja con solución mediante series de potencias, el acomodo de los índices de la sumatoria siempre es un poco confuso para ellos.

Sin embargo ambos métodos son en esencia los mismos.
Veamos en que consiste cada método.
Ya que no hay funciones elementales para calcular la integral anterior, por lo tanto no se podría escribir la solución en forma cerrada y por consiguiente tendríamos que conformarnos con alguna aproximación numérica.
Apliquemos inicialmente el método de Taylor.
Monografias.com



Cuadro de ventajas y desventajas de su uso.

Esta aproximación tiene tres ventajas importantes:

La derivación e integración de una de estas series se puede realizar término a término, que resultan operaciones triviales; se puede utilizar para calcular valores aproximados de funciones; es posible calcular la optimidad de la aproximación.
Algunas funciones no se pueden escribir como serie de Taylor porque tienen alguna singularidad. En estos casos normalmente se puede conseguir un desarrollo en serie utilizando potencias negativas de x (véase Serie de Laurent).
Por ejemplo f(x) = exp(−1/x²) se puede desarrollar como serie de Laurent.


http://upload.wikimedia.org/math/e/a/9/ea9507eed929c3ce4028f6e11d589fb6.png¿Qué tipo de funciones se aplican a este método?

Ejemplos.
Monografias.com








Monografias.com






Reemplazando (1.4) y (1.5) en (1.1), encontramos

Según el autor, debe ser obvio que es más fácil obtener valores adicionales de los coeficientes de la serie utilizando el método de los coeficientes indetermina-dos, que utilizando el método de las series de Taylor. En consecuencia, dice el autor, usualmente se empleará el método de los coeficientes indeterminados, descartando entonces el método de las series de Taylor.
Pero si seguimos trabajando un poco en el ejemplo anterior, por el método de series de Taylor, tenemos
http://www.monografias.com/trabajos91/metodo-series-taylor-resolver-ecuaciones/m1.jpg
Se observa la siguiente ley de formación:
Monografias.com
Nuevamente se obtiene la solución encontrada por series de potencias:
Monografias.com

En conclusión, el ejemplo para mostrar que el método de la series de Taylor no produce la misma calidad de las soluciones, no es válido. Es más, el autor dice que el método de Taylor se adapta fácilmente a problemas de valor inicial, lo cual, como veremos más adelante, el método funciona si lo que se quiere resolver es una ecuación diferencial sin condiciones iniciales, con la misma calidad de las soluciones que el método de las series de potencias.

Solución en series de Taylor alrededor de un punto ordinario

Las ecuaciones diferenciales homogéneas lineales de segundo orden de la forma
Monografias.com
La solución de esas ecuaciones, en general, no pueden expresarse en términos de funciones elementales familiares. Por lo cual utilizaremos los polinomios de Taylor.
Definición (punto ordinario)
Monografias.com
Necesitaremos el próximo teorema.

Teorema (existencia de soluciones en series de Taylor)

Monografias.com

Incluso la ecuación de Legendre (2) , la ecuación de Ayry (3), la ecuación de Chebyshev (3), y la ecuación de Hermite (5 ).
En el ejemplo siguiente se dará la solución en series de Taylor para la ecuación (6), la cual la haremos, sin pérdida de generalidad para el caso
Monografias.com
El ejemplo resultará ilustrativo, ya que mostrará como trabajar en todos los casos.
Ejemplo 2. Encuentre la serie de potencias en x para la solución general de
Monografias.com
Solución:
Buscamos la solución general de la forma
Monografias.com
Al derivar la ecuación (2.1) implícitamente con respecto a x, se obtiene:


Monografias.com
Luego se encuentra que
Monografias.com





Ejemplo 3. Encuentre la serie en series de potencias en x para la solución general de
Monografias.com
Solución:
Monografias.com




Ahora determinemos los coeficientes de las potencias impares de x:
Monografias.com
Monografias.com
A partir de (8) y (9) vemos que

El siguiente ejemplo muestra que, en muchos casos hay que conformarnos con encontrar un número finito de términos, ya que no se tiene una formula cerrada para los coeficientes
de las soluciones en series de potencia.


MÉTODOS DE INTERPOLACIÓN


I.1. INTRODUCCIÓN
Es frecuente la necesidad de buscar funciones apropiadas a partir de datos que proceden de una población en la que se ha realizado un registro de informaciones o estudio estadístico, para que cumplan determinadas condiciones que nos interesen, como que sean continuas, derivables, etc. Con este objetivo trataremos de plantear distintos procedimientos para realizar la búsqueda de estas funciones, bien buscando una función que pase exactamente por una serie de puntos (función de interpolación) o bien que esa función elegida por nosotros se adapte lo mejor posible a una serie o a una nube de puntos (función de ajuste o regresión).
La finalidad del cálculo de las funciones de interpolación se centra en la necesidad de obtener valores intermedios (INTERPOLACIÓN) o de valores fuera del intervalo para el que se dispone de datos (EXTRAPOLACIÓN).
I.2. MÉTODOS DE INTERPOLACIÓN
Un problema clásico de la matemática, se plantea al querer calcular el valor de una función en un punto cuando no se conoce la función o incluso cuando la función no existe, conociéndose únicamente una serie de puntos. La resolución aproximada del problema consiste en encontrar una función fácil de construir y de evaluar, que coincide con la función objeto del problema con los datos de que se dispone. Se dice que la función así construida interpola a la función dada con respecto a los datos. 
Se trata de determinar fundamentalmente dos cosas: 
1. Los datos  que se desea que sean comunes a la función desconocida y a la función interpoladora
2. Que tipo de función se va a utilizar como función interpoladora o función de interpolación
I.2.1. Interpolación polinómica.
Se puede plantear como ejemplo lo siguiente: Sea f una función de una variable cuyo valor se conoce en n + 1 puntos: http://www.ucm.es/info/sevipres/img/P3/image018.gif, llamaremos:
http://www.ucm.es/info/sevipres/img/P3/image020.gif
y se desea calcular su valor aproximado para una valor cualquiera de x.
La literatura matemática clásica, utiliza una función interpoladora de tipo polinómico de grado no mayor que n, siendo n el número de puntos conocidos menos uno.
http://www.ucm.es/info/sevipres/img/P3/image022.gif
I.2.1.1. Método matricial
Así, dada una función http://www.ucm.es/info/sevipres/img/P3/image024.gif , de la que se conocen en n+1 puntos  http://www.ucm.es/info/sevipres/img/P3/image026.gif . Se trata de buscar un polinomio http://www.ucm.es/info/sevipres/img/P3/image028.gif de grado n que pase por los puntos http://www.ucm.es/info/sevipres/img/P3/image030.gif de forma que:
http://www.ucm.es/info/sevipres/img/P3/image032.gif
las condiciones impuestas determinan que los coeficientes deben verificar: 

http://www.ucm.es/info/sevipres/img/P3/image034.gif
para i = 0,1,....., n
la existencia y unicidad del sistema depende del determinante de Vandermonde siguiente:
http://www.ucm.es/info/sevipres/img/P3/image036.gif
que desarrollándolo, obtenemos: 
http://www.ucm.es/info/sevipres/img/P3/image038.gif
si los http://www.ucm.es/info/sevipres/img/P3/image040.gif son distintos, se tendrá http://www.ucm.es/info/sevipres/img/P3/image042.gif  con lo que el sistema tendrá solución única. 
Expresándolo en forma matricial: 
http://www.ucm.es/info/sevipres/img/P3/image044.gif  e     http://www.ucm.es/info/sevipres/img/P3/image046.gif
http://www.ucm.es/info/sevipres/img/P3/image048.gif , por tanto, despejando http://www.ucm.es/info/sevipres/img/P3/image050.gif
Ejemplo: 
Construir el polinomio interpolador que pase por los puntos:  
http://www.ucm.es/info/sevipres/img/P3/image052.gif
construyendo la matriz: 
http://www.ucm.es/info/sevipres/img/P3/image054.gif
y el vector de ordenadas:   
http://www.ucm.es/info/sevipres/img/P3/image056.gif
 se comprueba que:
http://www.ucm.es/info/sevipres/img/P3/image058.gif
siendo su inversa:
http://www.ucm.es/info/sevipres/img/P3/image060.gif
Por tanto:
http://www.ucm.es/info/sevipres/img/P3/image062.gif
http://www.ucm.es/info/sevipres/img/P3/image064.gif
  obteniéndose el polinomio interpolador: 
http://www.ucm.es/info/sevipres/img/P3/image066.gif
Ahora bien, para obtener los polinomios de interpolación existen otros métodos, como los siguientes:
- Polinomios de Lagrange
- Polinomios de Interpolación parabólica progresiva.
- Polinomios de Newton.
- Polinomios de Gauss.
I.2.1.2. Métodos de Interpolación parabólica progresiva: 
El método de Interpolación parabólica progresiva es recurrente y se basa en la idea de utilizar la interpolación introduciendo progresivamente dos, tres, cuatro puntos, etc. Esto es: 
http://www.ucm.es/info/sevipres/img/P3/image068.gif
donde:
http://www.ucm.es/info/sevipres/img/P3/image070.gif
Ejemplo:
Construir el polinomio interpolador por el método de Interpolación parabólica progresiva, que pase por los puntos:  
http://www.ucm.es/info/sevipres/img/P3/image052.gif
Se construyen los polinomios introduciendo progresivamente los puntos, de la siguiente manera:
  -  En primer lugar se calcula la recta que pasa por los puntos:
http://www.ucm.es/info/sevipres/img/P3/image072.gif
http://www.ucm.es/info/sevipres/img/P3/image074.gif
http://www.ucm.es/info/sevipres/img/P3/image076.gif
http://www.ucm.es/info/sevipres/img/P3/image078.gif
- A continuación se construye una parábola cuadrática que pase por los puntos: 
http://www.ucm.es/info/sevipres/img/P3/image080.gif
http://www.ucm.es/info/sevipres/img/P3/image082.gif
siendo:
http://www.ucm.es/info/sevipres/img/P3/image084.gif
y sustituyendo:
 http://www.ucm.es/info/sevipres/img/P3/image086.gif
http://www.ucm.es/info/sevipres/img/P3/image088.gif
- Y finalmente la parábola cúbica que pasa por los cuatro puntos:
http://www.ucm.es/info/sevipres/img/P3/image090.gif
http://www.ucm.es/info/sevipres/img/P3/image092.gif
siendo:
http://www.ucm.es/info/sevipres/img/P3/image094.gif 
sustituyendo: 
http://www.ucm.es/info/sevipres/img/P3/image096.gif
obteniéndose el polinomio interpolador para los cuatro puntos: 
http://www.ucm.es/info/sevipres/img/P3/image098.gif
I.2.1.3. Polinomios de Lagrange.
Se trata de construir un polinomio de grado n, que se anule en los puntos (que pase por los puntos): http://www.ucm.es/info/sevipres/img/P3/image100.gif  salvo en uno http://www.ucm.es/info/sevipres/img/P3/image102.gif  en el que valdrá 1. 
Dicho polinomio será de la forma: http://www.ucm.es/info/sevipres/img/P3/image104.gif  siendo “a” un número real cualquiera.
Para http://www.ucm.es/info/sevipres/img/P3/image106.gif  se tendrá http://www.ucm.es/info/sevipres/img/P3/image108.gif , lo que determina el valor de “a”, por tanto: 
http://www.ucm.es/info/sevipres/img/P3/image110.gif
Así, el polinomio que buscamos será de la forma: 
http://www.ucm.es/info/sevipres/img/P3/image112.gif
y para que el polinomio interpolador de grado n, que buscamos, tome los valores y0, y1, ... , yn en los puntos x0,x1, ... , xn, es suficiente con que se verifique:
http://www.ucm.es/info/sevipres/img/P3/image118.gif
si los valores Yk proceden de una función f, en los puntos Xk, se tendrá: 
http://www.ucm.es/info/sevipres/img/P3/image124.gif
llamándose dicha expresión fórmula de Lagrange del polinomio de interpolación y a los lk polinomios de Lagrange.
Ejemplo
Construir el polinomio interpolador por el método de Lagrange, que pase por los puntos:
http://www.ucm.es/info/sevipres/img/P3/image052.gif
siendo el polinomio interpolador: 
http://www.ucm.es/info/sevipres/img/P3/image128.gif
Así mismo:
http://www.ucm.es/info/sevipres/img/P3/image130.gif
y
http://www.ucm.es/info/sevipres/img/P3/image132.gif
por tanto:
http://www.ucm.es/info/sevipres/img/P3/image134.gif
Por ello, introduciendo los datos:
http://www.ucm.es/info/sevipres/img/P3/image136.gif
http://www.ucm.es/info/sevipres/img/P3/image138.gif
http://www.ucm.es/info/sevipres/img/P3/image140.gif
http://www.ucm.es/info/sevipres/img/P3/image142.gif 
Se obtienen finalmente el polinomio interpolador: 
http://www.ucm.es/info/sevipres/img/P3/image144.gif
http://www.ucm.es/info/sevipres/img/P3/image200.gif
I.2.1.4. Fórmula de Newton para el polinomio de interpolación
Sea http://www.ucm.es/info/sevipres/img/P3/image028.gif  el polinomio que interpola a f(x) en los puntos http://www.ucm.es/info/sevipres/img/P3/image116.gif , y http://www.ucm.es/info/sevipres/img/P3/image150.gif  el polinomio que interpola a  f(x)  en http://www.ucm.es/info/sevipres/img/P3/image152.gif . La diferencia entre ambos es un polinomio de grado no mayor que n, que se anula para http://www.ucm.es/info/sevipres/img/P3/image154.gif , ya que en dichos puntos http://www.ucm.es/info/sevipres/img/P3/image156.gif , y en consecuencia: 
http://www.ucm.es/info/sevipres/img/P3/image158.gif
obteniéndose:
http://www.ucm.es/info/sevipres/img/P3/image160.gif  
dando a  x  el valor http://www.ucm.es/info/sevipres/img/P3/image162.gif , por ser http://www.ucm.es/info/sevipres/img/P3/image164.gif , se tiene: 
http://www.ucm.es/info/sevipres/img/P3/image166.gif   
como http://www.ucm.es/info/sevipres/img/P3/image168.gif se puede llamar http://www.ucm.es/info/sevipres/img/P3/image170.gif , construyéndose a partir de la fórmula anterior http://www.ucm.es/info/sevipres/img/P3/image172.gif . Obtenemos, por tanto, la expresión del polinomio de interpolación siguiente: 
http://www.ucm.es/info/sevipres/img/P3/image174.gif  
Por convenio se llama diferencia dividida a la expresión: 
http://www.ucm.es/info/sevipres/img/P3/image176.gif
siendo:
http://www.ucm.es/info/sevipres/img/P3/image178.gif
http://www.ucm.es/info/sevipres/img/P3/image178.gif
La Fórmula de Newton, por tanto, sería:
http://www.ucm.es/info/sevipres/img/P3/image182.gif
que recibe el nombre de fórmula de Newton del polinomio de interpolación.
El cálculo de las diferencias divididas se realizaría así: 
http://www.ucm.es/info/sevipres/img/P3/image184.gif
por simetría:
http://www.ucm.es/info/sevipres/img/P3/image186.gif
Por tanto, tendríamos las diferencias divididas siguientes:
http://www.ucm.es/info/sevipres/img/P3/image188.gif
Ejemplo:
 Construir el polinomio interpolador por el método de Newton, que pase por los puntos:  
http://www.ucm.es/info/sevipres/img/P3/image052.gif  
siendo el polinomio interpolador:
http://www.ucm.es/info/sevipres/img/P3/image190.gif
que en nuestro caso será: 
http://www.ucm.es/info/sevipres/img/P3/image192.gif
Obtenemos las diferencias divididas http://www.ucm.es/info/sevipres/img/P3/image194.gif 
http://www.ucm.es/info/sevipres/img/P3/image196.gif
Por tanto, el polinomio interpolador sería: 
http://www.ucm.es/info/sevipres/img/P3/image198.gif 
Finalmente: 
http://www.ucm.es/info/sevipres/img/P3/image200.gif
I.2.1.5. Fórmula de Gauss para el polinomio de interpolación usando diferencias finitas:
Para definir las diferencias finitas, consideramos una función f(x) de una sucesión de valores de x equidistantes entre sí, esto es: http://www.ucm.es/info/sevipres/img/P3/image116.gifdonde http://www.ucm.es/info/sevipres/img/P3/image202.gif 
siendo:
http://www.ucm.es/info/sevipres/img/P3/image204.gif
Se llama diferencia progresiva de f(x) en http://www.ucm.es/info/sevipres/img/P3/image122.gifa: 
http://www.ucm.es/info/sevipres/img/P3/image207.gif  
la segunda diferencia progresiva, será: 
http://www.ucm.es/info/sevipres/img/P3/image209.gif 
en general:
http://www.ucm.es/info/sevipres/img/P3/image211.gif
que se llama diferencia progresiva de orden n 
Así, se puede construir una tabla con las diferencias progresivas de órdenes sucesivos de la forma siguiente:
http://www.ucm.es/info/sevipres/img/P3/image213.gif
El polinomio de interpolación usando diferencias finitas sería: 
http://www.ucm.es/info/sevipres/img/P3/image215.gif
que reciben el nombre de fórmulas de Newton progresivas. 
Ejemplo: 
Construir el polinomio interpolador por el método de Newton con diferencias progresivas de f(x), que pase por los puntos:http://www.ucm.es/info/sevipres/img/P3/image052.gifsiendo el polinomio interpolador:
http://www.ucm.es/info/sevipres/img/P3/image215.gif
en el problema, http://www.ucm.es/info/sevipres/img/P3/image220.gif siendo el  polinomio de interpolación:  
http://www.ucm.es/info/sevipres/img/P3/image222.gif
Calculando las diferencias progresivas:
http://www.ucm.es/info/sevipres/img/P3/image224.gif
sustituyendo tenemos: 
http://www.ucm.es/info/sevipres/img/P3/image226.gif
y operando se obtiene el polinomio: 
http://www.ucm.es/info/sevipres/img/P3/image098.gif


SOFTWARE