APROXIMACIN DE FUNCIONES.

La teoria de aproximacin considera el problema de aproximar una funcin dada f por una funcin g llamada "aproximante".En general g depende de un conjunto de parmetros a 1 , a 2 , a 3 , . . . , a n R que es necesario determinar de modo que se cumpla un criterio de proximidad. En la aproximacin lineal el aproximante g depende linealmente de los parmetros, es decir es una combinacin lineal de funciones g i esto es g

aigi.
i1

Hay que determinar previamente: a) Un criterio de proximidad b) El conjunto de funciones g i . El problema se plantea a continuacin en terminos de determinar un conjunto a i de modo que g est lo mas proxima a f segn el criterio establecido. La resolucin del problema debe involucrar los siguientes aspectos: a) Existencia de la solucin. b) Unicidad de la solucin. c) Propiedades y caracteristicas de la solucin. d) Calculo de la solucin. Entre los problemas de aproximacin lineal podemos hallar. 1) Problemas de interpolacin. Los cuales se plantean en terminos de determinar los parmetros a i de modo que para un conjunto dado de pares de nmeros reales o complejos x i , y i i 0, 1, 2, . . . , n con x i x j para i j se verifique que gx i y i , i 0, 1, 2, . . . , n Esta clase de problemas incluye: a) La interpolacin polinomial donde gx a 0 a 1 x a 2 x 2 . . . a n x n b) La interpolacin trigonomtrica donde gx a 0 a 1 e xi a 2 e 2xi . . . a n e nxi c) La interpolacin por funciones Splines. g C k1 g| x i ,x i1 p k polinomio de grado k. d) La interpolacin exponencial. gx a 0 a 1 e 0 x a 2 e 1 x . . . a n e n x Problemas de mejor aproximacin. Sea E un espacio vectorial normado, z E y sea V un subespacio vectorial de E con dimV n. Un elemento x V (si existe) se dir que es la mejor aproximacin de z en V. z x inf z x si y solo si
x V

Esta clase de problemas incluye: La aproximacin por minimos cuadrados que resuelve: inf f g 2
gV

La aproximacin por criterio de minimax que resuelve: inf f g

gV

La aproximacin de Tchebyshev. La aproximacin por funciones Splines.

Interpolacin polinomial.
Puntos arbitrariamente espaciados. Sean x 0 , x 1 , x 2 , . . . , x n nmeros distintos reales o complejos llamados nodos y sean y 0 , y 1 , y 2 , . . . , y n los respectivos valores funcionales fx j y j , j 0, 1, 2, 3, . . . , n se quiere hallar un polinomio px P n x que interpole la informacin dada,es decir que 1 px i y i , i 0, 1, 2, 3, . . . , n Escribiendo px a 0 a 1 x a 2 x 2 . . . a n x n para un polinomio de grado n vemos que hay n 1 parmetros independientes ( a i , 0, 1, 2, 3, . . . , n ). Como 1 impone n1 condiciones sobre px resulta un sistema de n 1 ecuaciones con n 1 incognitas. y 0 a 0 a 1 x 0 a 2 x 2 . . . a n x n 0 0 y 1 a 0 a 1 x 1 a 2 x 2 . . . a n x n 1 1 y 2 a 0 a 1 x 2 a 2 x 2 . . . a n x n 2 2 ................................... y n a 0 a 1 x n a 2 x 2 . . . a n x n n n En forma matricial se tiene X a y donde X es la matriz de Vandermonde , y y0, y1, y2, . . . , ynt y a a 0 , a 1 , a 2 , . . , a n t Nota. El determinante de la matriz de Vandermonde esta dado por detX x i x j
0jin

En este caso al ser todos los nodos distintos se tiene que detX 0 Teorema: Dados n 1 puntos distintos x 0 , x 1 , x 2 , . . . , x n y n 1 ordenadas y 0 , y 1 , y 2 , . . . , y n existe un nico polinomio px P n x que interpola y i en x i i 0, 1, 2, 3, . . . , n . Dem: detX 0 X a y tiene una nica solucin.

Polinomio de Lagrange.
Consideremos el siguiente problema de interpolacin Los nodos x i , i 0, 1, 2, 3, . . . , n para algun i 0, 1, 2, 3, . . . , n yi 1 yj 0 para j i queremos un polinomio l i x P n x tal que l i x i 1 y l i x j 0 , j i sabemos que este polinomio existe y es nico,procederemos a hallarlo. l i x kx x 0 x x 1 . . . x x i1 x x i1 . . . x x n k claramente l i x j 0 para j i adems luego l i x i 1 k l i x
1

x x j

j0, ji ,

,
n

x i x j

j0, ji ,

ji

x xj xi xj

i 0, 1, 2, 3, . . . , n

por lo tanto el polinomio px

i0 ji

x xj x i x j y i

resuelve el problema 1 y se llama el polinomio de Lagrange. Casos especiales: n1 Nodos x0, x1 polinomio lineal de Lagrange. x x p 1 x x 0 x 11 y 0 x 1 x 00 y 1 x x n2 nodos x0, x1, x2 polinomio cuadrtico de Lagrange. x x 1 x x 2 x x 0 x x 2 x x 0 x x 1 p 2 x y0 y1 y2 x 0 x 1 x 0 x 2 x 1 x 0 x 1 x 2 x 2 x 0 x 2 x 1 Ejemplo: Sea fx lnsinx dar puntos e interpolar. x 0 y 0 0. 693 15 6 y 1 0. 346 57 x1 4 y 2 0. 143 84 x2 3 x x 4 3 0. 693 15 . . p 2 x 4 6 3 6 x x 3 6 0. 346 57 . . 6 4 3 4 x x 4 6 0. 143 84 6 3 4 10. 357 3 p 2 x 2 x 2 8. 474 5 x 1. 817 9 Teorema: Sean x 0 , x 1 , x 2 , . . . , x n numeros reales distintos y sean y i fx i , i 0, 1, 2, 3, . . . , n donde f C n1 I t siendo I t el intervalo mas pequeo que contiene los puntos t, x 0 , x 1 , x 2 , . . . , x n . Entonces existe I t tal que t x 0 t x 1 . . . t x n n1 ft pt f , t It n 1! Dem: qx Sean Ex fx px ; Gx Ex Et x I t qt donde px polinomio de interpolacin de Lagrange qx x x 0 x x 1 . . . x x n . Entonces E, q, G C n1 I t . G tiene n 2 ceros distintos en I t a saber Gt 0 Gx i 0 G tiene n 2 1 ceros distintos ( Gx 1 Gx 2 G bx 1 x 2 implica que G b 0 La funcin derivada tiene una raiz menos. G n1 tiene entonces una sola raiz.Sea la raiz de G n1 x. E n1 x f n1 x q n1 x n 1! entonces G n1 x f n1 x n 1! Et qt hacemos x

se obtiene

Et

qt f n1 n 1! f n1 , t It

ft pt

qt n 1!

Ejemplo: Hallar el polinomio cuadrtico de Lagrange que interpola a e 5 en los nodos x 0 0. 3 ; x 1 0. 32 ; x 2 0. 35 0.34 usar el polinomio para hallar e 5 y hallar una cota para el error. x x 1 x x 2 x x 0 x x 2 x x 0 x x 1 p 2 x y0 y1 y2 x 0 x 1 x 0 x 2 x 1 x 0 x 1 x 2 x 2 x 0 x 2 x 1 x 0. 32x 0. 35 p 2 x 1. 0618 0. 3 0. 320. 3 0. 35 x 0. 3x 0. 35 1. 0661 0. 32 0. 30. 32 0. 35 x 0. 3x 0. 32 1. 0725 0. 35 0. 30. 35 0. 32 p 2 x 3. 333 3 10 2 x 2 0. 235 67x 0. 994 1 p 2 0. 34 1. 0704 Error |x 0. 3x 0. 32x 0. 35| 21 fx px f en 0. 3 , 0. 35 2 1! x x 0. 3x 0. 32x 0. 35 x 3 0. 97x 2 0. 313 x 0. 033 6 x 3 0. 97x 2 0. 313 x 0. 033 6 d x 3 0. 97x 2 0. 313 x 0. 033 6 3x 2 1. 94x 0. 313 dx 3x 2 1. 94x 0. 313 0, Solution is: x 0. 308 8, x 0. 337 86 0. 308 8 4. 0607 10 6 0. 33786 8. 2088 10 6 maximo x 1x 3 d 1 e 5 125 e 5 esta es creciente luego valor maximo en 0. 3 , 0. 35 dx 3
1 125

es

e 5 0.35 8. 580 1 10 3 6 fx px 8.208810 8. 580 1 10 3 1. 173 9 10 8 6 x 0. 3 , 0. 35 ; fx px 1. 173 9 10 8

1