Professional Documents
Culture Documents
Presentado a:
Presentado por:
Octubre 19 de 2016
ndice
Introduccin ---------------------------------------------------------------------
Objetivos especficos--------------------------------------------------------------
Desarrollo ----------------------------------------------------------------------------------
Conclusin---------------------------------------------------------------------------------
Bibliografa --------------------------------------------------------------------------------
Introduccin
En numerosos procesos fsicos y tcnicos debe trabajarse con funciones de las que tan
soporte- pero de las que es desconocida la expresin a la que responden. Una de las
maneras ms extendidas para operar con dichas funciones consiste en aproximarlas por
Una de las formas en que se puede buscar esta funcin aproximada consiste en obligar
a que la funcin aproximadora (o sus derivadas) tome en los puntos del soporte los
mismos valores que la funcin que se quiere aproximar. En tal caso se dice que se ha
que se relacionan dos o ms variables e involucran valores de una funcin y/o de sus
derivadas. El objetivo sera determinar una funcin que verifique estos datos y que
adems sea fcil de construir y manipular. Por su sencillez y operatividad los polinomios
problemas, los cuales deben ser analizados desde el enfoque que los mtodos numricos
trato
Objetivo General
una funcin y desarrollando los ejercicios propuestos con base a las formulas de la
Interpolacin de Hermite, para ello se considera una seleccin de los temas bsicos del
mismos, siendo esto un mtodo interactivo que al estudiar los problemas de interpolacin
consiste en determinar un polinomio pn(x), de grado menor o igual que n, que en los
puntos de un soporte de (n+1) puntos tome los valores de la funcin f(x) que se interpola.
Nada obliga a que los valores de las derivadas de f(x) en los puntos del soporte coincidan
con los de las derivadas del polinomio interpolador. Es por ello que el problema de
Dados (n+1) puntos distintos {x0, x1,..., xi,..., xn} y (n+1) valores enteros no
Encontrar un polinomio pm(x), de grado menor o igual que m, verificando las (m+1)
igualdades:
Si los valores se consideran como el valor de la k-sima derivada de una cierta funcin
... , xi ,... , xn} para los enteros {0, 1, ..., i, ..., n} y para los valores
Cuando est claro el soporte sobre el que se trabaja y los enteros que se utilizan,
f(x).
Ejemplos:
1) El polinomio es el polinomio
Enteros {1, 0, 1}. En efecto, es un polinomio de grado menor o igual que 4 verificando:
igualdades que proporcionan los valores que debe tomar el polinomio interpolador y sus
Si, como se ha supuesto, los puntos del soporte son distintos entre s, la matriz del
sistema anterior es una matriz regular y por tanto el sistema anterior admite una nica23
solucin (es decir que el polinomio buscado queda definido de forma nica a travs de
Ejemplo:
y debe verificar:
Por tanto:
La figura siguiente recoge las grficas de f(x) y de p4(x) en el intervalo [-1, 4] pudiendo
de un soporte formado por (n+1) puntos distintos {x0, x1,..., xn} verifique las (2n+2)
condiciones siguientes
tienen superndice (0 se corresponden con los valores de una cierta funcin f(x) en los
puntos del soporte y los que tienen superndice (1 son los valores de la primera derivada
de esta funcin, f(x), en los puntos del soporte). El problema anterior se denomina
primera derivada tome valores predeterminados en los puntos del soporte. Este problema
admite una solucin nica, hecho este que, junto a una forma de determinar el polinomio
Teorema 5
Siendo {x0, x1, ... , xi, ..., xn} un soporte formado por (n+1) puntos distintos y dados
Hermite:
Para ello, en primer lugar, observemos que puesto que los polinomios de base de
Lagrange, Li(x), son polinomios de grado n, los polinomios de base de Hermite, H0,i(x) y
H1,i(x), son todos ellos polinomios de grado (2n+1). Por tanto el polinomio p2n+1(x)
dado por la expresin (2) es un polinomio de grado menor o igual que (2n+1) ya que es
Hermite.
de Hermite.
Este polinomio ser de grado menor o igual a (2n+1) ya que es la diferencia de dos
polinomios de grado menor o igual a (2n+1). Adems este polinomio verificar que:
lo que nos indica que cada punto del soporte es una raz, al menos de multiplicidad doble,
del polinomio r(x). Contando cada raz tantas veces como su multiplicidad, lo anterior nos
indica que r(x) tiene, al menos, (2n+2) races. Pero el nico polinomio de grado menor o
igual a (2n+1) que posee ms de (2n+1) races es el polinomio idnticamente nulo. Ello
En contra de la suposicin inicial de que eran dos polinomios distintos. Por tanto es
que:
En primer lugar se tiene que los polinomios de base de Lagrange sobre el soporte {0, 1,
2} son:
Con estos valores podemos calcular los polinomios de base de Hermite como sigue:
Las figuras siguientes recogen los grficos de estos polinomios de base de Hermite.
Con estos polinomios de base de Hermite se tiene finalmente que el polinomio
Una funcin f(x) para la que se toman los valores de los que se ha partido en este ejercicio
es la funcin f(x) = x3/2 .La figura siguiente recoge esta funcin f(x) junto al polinomio
interpolador p5(x).
Demostremos algunas propiedades del los polinomios de base de Hermite
Propiedad 1
El polinomio de base H0,i(x) definido sobre el soporte {x0, ..., xi, ... ,xn} es el nico
El polinomio de base H1,i(x) definido sobre el soporte {x0, ..., xi, ... ,xn} es el nico
Demostracin:
Es una consecuencia inmediata del teorema anterior, pues slo habr un polinomio
interpolador de Hermite (H0, i(x)) de grado menor o igual a (2n+1) que en el soporte
Propiedad 2
que m < (2n+1), el polinomio interpolador de Hermite p2n+1(x) de la funcin p(x) sobre
cualquier soporte formado por (n+1) puntos distintos es la propia funcin p(x).
Demostracin:
El grado del polinomio interpolador de Hermite sobre un soporte formado por (n+1) puntos
debe ser menor o igual que (2n+1). La funcin p(x) se ha supuesto que es un polinomio
de grado m < (2n+1) por lo que verifica la condicin sobre el grado exigido al polinomio
interpolador de Hermite. Puesto que obviamente el valor de la funcin p(x) en los puntos
del soporte coincide con el valor p(xi) y el valor de la primera derivada p(x) en los puntos
del soporte tambin coincide con p(xi) se puede concluir que p(x) es el polinomio
Dado el soporte {x0, x1,..., xi,..., xn}, los polinomios de base de Hermite asociados a dicho
soporte:
Demostracin:
Sea f(x) la funcin unidad: f 1. Obviamente en los puntos de cualquier soporte se verifica
de grado menor o igual que (2n+1) sea cual sea n) se verifica que el polinomio
cada punto xi del soporte l y sus i primeras derivadas tomen valores predeterminados.
Teorema 6
Existe un nico polinomio de grado menor o igual que m verificando las (m+1) igualdades:
Demostracin:
Para ello, en primer lugar observemos que, para 0 < i < n, el polinomio hk,i(x) es un
que todos los polinomios hk,i(x) son de grado menor o igual que m. Ms concretamente:
Ello, a su vez implica que, para 0 < i < n, los polinomios = i i H (x) h (x) sean ,i ,i de
igual que m pues son una combinacin lineal del polinomio (cuyo grado es m-1)
Tienen grado menor o igual que m pues son una combinacin lineal del polinomio h (x)
(cuyo grado es m-2), del polinomio i 2,i H (x) (cuyo grado es i 1,i menor o igual que
Razonando de forma recursiva se concluye que todos los polinomios H (x) , k,i con 0 < k
Y puesto que pm(x) es a su vez una combinacin lineal de los polinomios H (x) k,i puede
Supongamos que hubiera dos polinomios distintos, pm(x) y qm(x), de grado menor o igual
que m y verificando:
Denotando por r(x) al polinomio definido mediante: r(x) = pm(x) qm(x) se tiene que r(x)
es otro polinomio de grado menor o igual que m para el que se verifica que:
En otros trminos cada punto xi del soporte es una raz de multiplicidad (i +1) de r(x).
Ello implica que, contando cada raz tantas veces como su multiplicidad, el polinomio r(x)
tiene, al menos, (m+1) races. Puesto que el nico polinomio de grado menor o igual que
0. De ello se infiere que p(x) q(x) en contra de lo inicialmente supuesto. Por tanto es
Ejemplo:
Ello se puede comprobar en las tablas siguientes que recogen los valores de las
funciones Hk,i(x) y de sus tres primeras derivadas en los puntos del soporte. En ella los
valores que se muestran resaltados se corresponden con aquellos que permiten verificar
[-11, 11]:
Por ltimo, con los polinomios de base de Hermite y los valores de la funcin f(x) y sus
Hermite mediante:
La figura siguiente recoge, en el intervalo [-11, 11] el grafo de la funcin de Runge (en
trazo discontinuo) y del polinomio interpolador de Hermite hallado (en trazo continuo).
Como puede apreciarse, despus de los largos clculos anteriores, existe una buena
los puntos del soporte no sucediendo lo mismo en puntos alejados de los del soporte. Y
al estar los puntos del soporte alejados entre s se aprecian zonas en las que la precisin
Definicin
Siendo pm(x) el polinomio interpolador de Hermite de la funcin f(x) sobre el soporte {x0,
x1,...., xn} y para los enteros {0, 1,..., n}, se denomina error de interpolacin (de
Hermite) a la funcin E(x) que a todo punto x le asocia el valor E(x) = f(x) pm(x).
En general, si sobre la funcin f(x) que se est interpolando slo se conocen los valores
de ella y algunas de sus derivadas en los puntos del soporte, poco se puede decir sobre
el error de interpolacin (salvo que ser nulo en los puntos del soporte). Pero si se admite
funcin f(x) como sus primeras derivadas son continuas y acotadas, es posible obtener
Teorema 7
Dados el soporte de (n+1) puntos distintos {x0, x1, ...., xn} de un intervalo (a, b) y los
polinomio interpolador de Hermite, sobre el soporte considerado y para los enteros dados,
de una funcin f(x) de clase C(m+1)((a, b)), para todo punto x*(a, b) se puede encontrar
algn punto *(a, b), dependiente del punto x* que se escoja, verificando que el error
Si el punto x* coincidiera con alguno de los puntos del soporte la igualdad anterior es
evidente pues el error sera nulo y el productorio que aparece en la expresin del error
tambin se anulara.
Consideremos pues que x* {x0, x1,..., xn}. En ese caso se puede definir el polinomio:
El polinomio q(x) es un polinomio de grado menor o igual que (m+1), pues es la suma de
un polinomio de grado menor o igual que m (pm(x)) ms otro polinomio de grado (m+1)
(el
formado por los (n+2) puntos: {x0, x1,..., xn, x*} y para los enteros {0, 1, ..., n, 0}.
Definimos entonces la funcin F(x) = f(x) q(x). Esta funcin es continua y ser de clase
funcin F(x) admite a cada punto del soporte xi como una raz de multiplicidad, al menos,
i y al punto x* como una raz, al menos, simple. Es decir que, contando cada raz tantas
veces como su multiplicidad indique, la funcin F(x) admite en (a, b), al menos, (m+2)
admitir, al menos, (m+1) races en (a, b), F(x) admitir, al menos, m races en (a, b),
F(x) admitir, al menos, (m-1) races en (a, b), ...... y F(m+1(x) admitir, al menos, una
raz en (a, b). Denotemos por *a alguna de dichas races de F(m+1(x) en (a, b). Se tiene
entonces que:
inmediata es que si f(x) es una funcin polinmica de grado menor o igual que m, el error
que se comete al interpolarla es nulo (pues la derivada de orden (m+1) de un polinomio
En la prctica el teorema anterior se utiliza para obtener cotas del error de interpolacin.
valor:
Si se denota por h a la longitud del intervalo (a, b) es evidente que, para todo punto x
interior a dicho intervalo se verificar que: |x-xi| < h. Ello nos permite expresar la cota de
error en la forma:
Las desigualdades anteriores recogen cotas superiores del mximo del valor absoluto de
Alcanzadas o no por la funcin de error (siendo frecuente que el error real de interpolacin
sea ostensiblemente menor que la cota as calculada). Por ello el inters de estas
ese caso se pueden asegurar errores de interpolacin pequeos. Cuando la cota tiene
que aborda por primera vez el estudio de la interpolacin de Hermite a sacar conclusiones
derivadas de f(x) y del polinomio interpolador que se hacen coincidir en cada punto del
pues, aunque es cierto que el factorial (m+1)! acaba creciendo con m ms rpidamente
Independiente de m. Por otra parte el incremento del nmero de puntos del soporte puede
pronunciadas lo cual no siempre ser acorde con la naturaleza de la funcin f(x) que se
interpole.
Ejemplo:
funcin f(x) es 1.
Planteamiento
base de Hermite) no son los nicos caminos posibles. En efecto, la frmula de Newton
subapartado.
En todo cuanto sigue se considerar que se trabaja en un soporte formado por (n+1)
puntos distintos {x0, x1, .., xn} y que en cada punto xi se conoce el valor de una cierta
funcin f(x) as como el de sus i primeras derivadas. A tales valores, se les denotar
grado del polinomio interpolador de Hermite de f(x) sobre el soporte {x0, x1, .., xn} y para
interpolador. Antes de continuar con este proceso, ilustremos lo anterior con dos sencillos
ejemplos en los que se esboza el proceso de clculo de los coeficientes del polinomio.
Ejemplos:
2 puntos {x0, x1} y para los enteros {1, 1}. La frmula de Newton consistira bsicamente
organizan en una tabla como la que a continuacin se detalla. En ella, los valores
resaltados en letra negrita se corresponden con los coeficientes y los valores que se
soporte de 2 puntos {x0, x1} y para los enteros {2, 1}. La frmula de Newton consistira
puede realizarse de forma simple si se organizan en una tabla como la que a continuacin
se detalla. En ella, los valores resaltados en letra negrita se corresponden con los
coeficientes y los valores que se proporcionan en cursiva se corresponden con datos del
problema. El resto se calcula de forma similar a como se detall para las diferencias
divididas
Las tablas de los ejemplos anteriores permiten vislumbrar la simplicidad del proceso de
con modificar las primeras columnas de la tabla para ir calculando los coeficientes del
Pero en los ejemplos anteriores han aparecido diferencias divididas en las que aparecen
nmero de veces que se repite un mismo punto en una diferencia dividida en adelante
indicaremos dicho nmero escribindolo entre parntesis a continuacin del punto. As,
por ejemplo escribiremos f[x0(2), x1(3), x2(1)] en lugar de f[x0, x0, x1, x1, x1, x2].
El uso del teorema 10 del subapartado anterior as como el uso reiterado de las
Hermite de una funcin f(x) sobre el soporte {x0, x1, x2, ..., xn} para los enteros {012 n
, , ,..., } en la forma:
La frmula anterior puede escribirse ms abreviadamente como:
que se conoce con el nombre de frmula de Newton para el clculo del polinomio
En ella puede apreciarse que los nicos valores de la tabla de diferencias divididas que
intervienen son los ubicados en el extremo derecho de cada fila. Los restantes valores
de la tabla slo son utilizados para calcular los que intervienen en esta frmula
Ejemplo:
/2, 0, /2} para los enteros { 3, 0, 2}. Para ello podemos calcular los valores:
La figura siguiente muestra el grafo de sen(x) y de p7(x) observndose en ella la buena
Para poder apreciar mejor la diferencia (sen(x) p7(x)) se recoge en la figura siguiente
una funcin, este mtodo al igual que los otros que hemos desarrollado en el curso de
conjunto de nodos, que se supone dada en forma implcita por un sistema de ecuaciones
en este problema. En la segunda mitad del trabajo se obtienen los valores con el remplazo
de una funcin por un polinomio. Es decir, dado cierto nmero de puntos obtenidos por
todos los puntos que se presenta analiza mtodos espectrales basados en funciones de
lineal de las funciones de base, que en este trabajo son las funciones de Hermite.
BIBLIOGRAFA SOBRE EL TEMA
[1] Burden, R.L. y Fiares, J.D. (1998). Anlisis Numrico. Ed. International Thomsom
Editores
[2] Crouzeix, M. et Mignot, A.L. (1983) Analyse numrique des quations differentielles.
Ed. Masson.
[3] Gasca, M. (1995) Clculo Numrico I. Ed. Universidad Nacional de Educacin a
Distancia (UNED).
Madrid.
[6] Shampine, L.F., Allen Jr., R.C. and Pruess, S. (1997) Fundamentals of numerical
[7] Stoer, J. and Bulirsch, R. (1993) Introduction to numerical analysis (2nd edition).
Ed. Springer