Fenómeno de Runge

Fenmeno de Runge
Interpolacin Polinomial y el Fenmeno de Runge

Hans Muller Santa Cruz
cm@fcyt.umss.edu.bo
Carreras de Matematica Universidad Mayor de San Simon
Fenomeno de Runge.17 de noviembre de 2011 p.1/31
Introduccin
Introduccin
En Anlisis Numrico, uno de los problemas bsicos consiste en:
Introduccin
En Anlisis Numrico, uno de los problemas bsicos consiste en: Evaluar una funcin f : [a, b] R dada.
Introduccin
En Anlisis Numrico, uno de los problemas bsicos consiste en: Evaluar una funcin f : [a, b] R dada. Ahora bien, las computadoras en principio, slo realizan operaciones elementales:
Introduccin
En Anlisis Numrico, uno de los problemas bsicos consiste en: Evaluar una funcin f : [a, b] R dada. Ahora bien, las computadoras en principio, slo realizan operaciones elementales: La adicin +, la sustraccin , la multiplicacin , la divisin / y el cambio de signo ()
Introduccin
En Anlisis Numrico, uno de los problemas bsicos consiste en: Evaluar una funcin f : [a, b] R dada. Ahora bien, las computadoras en principio, slo realizan operaciones elementales: La adicin +, la sustraccin , la multiplicacin , la divisin / y el cambio de signo () Por lo que, las nicas funciones que pueden ser evaluadas, mediante operaciones elementales son funciones polinomiales y racionales
Introduccin
Introduccin
Problema que se lo resuelve, determinando
Introduccin
Problema que se lo resuelve, determinando una sucesin {fn }n1 de funciones fn : [a, b] R
Introduccin
Problema que se lo resuelve, determinando una sucesin {fn }n1 de funciones fn : [a, b] R fcilmente evaluables, tales que:
Introduccin
Problema que se lo resuelve, determinando una sucesin {fn }n1 de funciones fn : [a, b] R fcilmente evaluables, tales que: fn f cuando n +
Introduccin
Problema que se lo resuelve, determinando una sucesin {fn }n1 de funciones fn : [a, b] R fcilmente evaluables, tales que: fn f cuando n + siendo la convergencia puntual, uniforme, en medida o una norma dada
Introduccin
Introduccin
En esta exposicin se ilustrar con un ejemplo
Introduccin
En esta exposicin se ilustrar con un ejemplo el fenmeno de Runge, consistente
Introduccin
En esta exposicin se ilustrar con un ejemplo el fenmeno de Runge, consistente en que una sucesin de polinomios puede converger a una buena funcin en un subconjunto denso,
Introduccin
En esta exposicin se ilustrar con un ejemplo el fenmeno de Runge, consistente en que una sucesin de polinomios puede converger a una buena funcin en un subconjunto denso, pero no ser convergente
Historia
Historia
Carl Runge
Historia
Carl Runge (30 de agosto de 1856 3 de enero de 1927) fue un matemtico, fsico y espectroscopista alemn. Fue codesarrollador del mtodo de Runge-Kutta en el campo conocido actualmente como anlisis numrico de ecuaciones diferenciales.
Carl Runge
Historia
Carl Runge pas sus primeros aos en La Habana, donde su padre Julius Runge ejerca como cnsul dans. La familia se traslad ms adelante a Bremen. En 1880 Carl recibi su doctorado en matemtica en Berln, donde haba estudiado con Karl Weierstrass. En 1886 lleg a ser profesor en Hanver. En 1904 fue a Gotinga, por iniciativa de Felix Klein donde permaneci hasta su retiro en 1925.
Carl Runge
Historia
Sus intereses incluan la matemtica, la espectroscopa, la geodesia y la astrofsica. Adems de en matemtica pura, realiz una gran cantidad de trabajo experimental estudiando las lneas espectrales de varios elementos, y estuvo muy interesado en la aplicacin de su trabajo a la espectroscopia astronmica.
Carl Runge
Elementos Tericos
Elementos Tericos
Teorema.- Sean g : I R una funcin continua sobre un intervalo I,
Elementos Tericos
Teorema.- Sean g : I R una funcin continua sobre un intervalo I, {En I}n1 una familia de subconjuntos de I, tales que En En+1 para todo n 1,
E=
n=1
En es un subconjunto denso de I.
Elementos Tericos
E=
n=1
{fn : I R}n1 una sucesin de funciones tales que g|En = fn |En para todo n 1.
Elementos Tericos
E=
n=1
{fn : I R}n1 una sucesin de funciones tales que g|En = fn |En para todo n 1. Si fn f puntualmente cuando n + y f es continua, entonces
Elementos Tericos
E=
n=1
{fn : I R}n1 una sucesin de funciones tales que g|En = fn |En para todo n 1. Si fn f puntualmente cuando n + y f es continua, entonces f = g.
Elementos Tericos
Elementos Tericos
Demostracin.- Si mostramos que f |E = g|E , E es denso en I, f y g son continuas, se tiene f = g en todo I.
Elementos Tericos
Demostracin.- Si mostramos que f |E = g|E , E es denso en I, f y g son continuas, se tiene f = g en todo I. Sea x E, existe N N tal que x EN , como la sucesin de subconjuntos {En }n1 es encajonada, se tiene tambin que x En para n N .
Elementos Tericos
Demostracin.- Si mostramos que f |E = g|E , E es denso en I, f y g son continuas, se tiene f = g en todo I. Sea x E, existe N N tal que x EN , como la sucesin de subconjuntos {En }n1 es encajonada, se tiene tambin que x En para n N . Asimismo fn (x) = g(x) para n N , de donde
n+
l m fn (x) = g(x) = f (x).
Planteamiento del Problema

Apliquemos el Teorema a nuestro problema de aproximacin de funciones, para tal efecto:

Apliquemos el Teorema a nuestro problema de aproximacin de funciones, para tal efecto: Elegimos una funcin buena denida en el intervalo I = [1, 1], como

Apliquemos el Teorema a nuestro problema de aproximacin de funciones, para tal efecto: Elegimos una funcin buena denida en el intervalo I = [1, 1], como 1 . g(x) = 2 1 + 25x

Apliquemos el Teorema a nuestro problema de aproximacin de funciones, para tal efecto: Elegimos una funcin buena denida en el intervalo I = [1, 1], como 1 . g(x) = 2 1 + 25x g(x) es indenidamente derivable sobre I, incluso sobre R, es acotada, positiva y su mximo valor es 1 en x = 0.
1 Grca de 1 + 25x2

Elegimos una sucesin de En de subdvisiones encajonadas de [1, 1], como

Elegimos una sucesin de En de subdvisiones encajonadas de [1, 1], como 2i En = {1 + n |i = 0, 1, . . . , 2n } 2 n1

Los En son divisines uniformes o equidistantes de [1, 1]

Los En son divisines uniformes o equidistantes de [1, 1] Asi por ejemplo: E1 = {1, 0, 1}, 1 1 E2 = {1, , 0, , 1}, 2 2 1 1 3 3 1 1 E3 = {1, , , , 0, , , , 1}, . . . . 4 2 4 4 2 4

Finalmente elegimos como sucesin de funciones, los polinomios de interpolacin pn (x), que satisfacen:

Finalmente elegimos como sucesin de funciones, los polinomios de interpolacin pn (x), que satisfacen: pn (xi ) = g(xi ), 2i xi = 1 + n , 2 i = 0, 1, . . . , 2n .

Fciles de calcular, utilizando la frmula de Newton:

Fciles de calcular, utilizando la frmula de Newton:

2n k1
pn (x) =
k=0
y[x0 , . . . , xk ]
i=0
(x xi ).
Conjetura del Problema

La funcin g(x) =
1 1+25x2
es una funcin continua

La funcin g(x) =
+ 1 1+25x2
E=
n=1
En es denso en [1, 1]

La funcin g(x) =
+ 1 1+25x2
E=
n=1
Los polinomios de interpolacin pn (x) conciden con g(x) en los puntos de En

La funcin g(x) =
+ 1 1+25x2
E=
n=1
Los polinomios de interpolacin pn (x) conciden con g(x) en los puntos de En Es de esperar que la sucesin de polinomios sea convergente y converga hacia g(x), cuando n +
La Realidad del Problema

Veamos que sucede con el problema,

Veamos que sucede con el problema, comencemos con n = 1

Veamos que sucede con el problema, comencemos con n = 1

con n = 2

con n = 2

con n = 3

con n = 3

con n = 4

con n = 4

todo junto

todo junto

Haciendo un Zoom

Haciendo un Zoom

Haciendo un Zoom
La sucesin de polinomios converge para |x| 0, 7.

Haciendo un Zoom
La sucesin de polinomios converge para |x| 0, 7. La sucesin de polinomios diverge para |x| > 0, 8.
Explicacin del Fenmeno de Runge

Comenzamos indicando que g(z) = 1 1 + 25z 2

es una funcin holomorfa, excepto para z = 1 i y z = 1i 5 5

es una funcin holomorfa, excepto para z = 1 i y z = 1i 5 5 que son polos simples.

Comenzamos indicando que g(z) = 1 1 + 25z 2 Tomando un contorno simple en cuyo interior se encuentre el intervalo [1, 1] y los polos de g(z) se encuentren fuera del contorno.


1 5i
C 1
1 5i


1 5i
C 1
1 5i
La frmula integral de Cauchy da 1 g(x) = 2i Z

C
g() d, x
x [1, 1].
Explicacin del Fenmeno

Para la divisin En = {xi
(n) (n)
= 1 +
(n)
2i 2n |i
= 0, 1, . . . , 2n }, planteamos
2n (n)
n (z) = (z x0 )(z x1 ) (z x2n ) =

k=0
(z xk ).
(n)
polinomio de grado 2n + 1 en z.

(n) (n)
= 1 +
(n)
2i 2n |i
= 0, 1, . . . , 2n }, planteamos
2n (n)
n (z) = (z x0 )(z x1 ) (z x2n ) =

k=0
(z xk ).
(n)
polinomio de grado 2n + 1 en z. La expresin n (z) n (x) es un polinomio de grado 2n + 1 en x y (z x) divide este polinomio, por consiguiente Fn (x) = n (z) n (x) es un polinomio de grado 2n . zx

(n) (n)
= 1 +
(n)
2i 2n |i
= 0, 1, . . . , 2n }, planteamos
2n (n)
n (z) = (z x0 )(z x1 ) (z x2n ) =

k=0
(z xk ).
(n)
polinomio de grado 2n + 1 en z. La expresin n (z) n (x) es un polinomio de grado 2n + 1 en x y (z x) divide este polinomio, por consiguiente Fn (x) = n (z) n (x) es un polinomio de grado 2n . zx g(z) n (z) n (x) dz es un polinomio (z x) n (z)
C (n) (n)
1 Planteando qn (x) = 2i
de grado 2n , que satisface qn (xi ) = g(xi ) para i = 1, 2, . . . , 2n .

Por lo tanto, qn (x) = pn (x) el polinomio de interpolacin.

Por lo tanto, qn (x) = pn (x) el polinomio de interpolacin. El error de interpolacin est dado por
g(x) pn (x) =
1 2i
C
g(z) n (x) dz. (z x) n (z)

g(x) pn (x) =
Y por lo tanto,
1 2i
C
g(z) n (x) dz. (z x) n (z)
1 |g(x) pn (x)| 2
C
|g(z)| |n (x)| |dz|. |(z x)| |n (z)|

g(x) pn (x) =
Y por lo tanto,
1 2i
C
g(z) n (x) dz. (z x) n (z)
1 |g(x) pn (x)| 2
C
|g(z)| |n (x)| |dz|. |(z x)| |n (z)|
El error de interpolacin tiende a 0, cuando n +, si |n (x)| = 0, n+ |n (z)| l m z C.

Planteando
G(z) = l m (|n (z)|)

n+
1/2n

Planteando
G(z) = l m (|n (z)|)

n+
1/2n
Se tiene
G(x) |n (x)| = 0 < 1. l m n+ |n (z)| G(z)

Planteando
G(z) = l m (|n (z)|)

n+
1/2n
Se tiene
G(x) |n (x)| = 0 < 1. l m n+ |n (z)| G(z)

Trabajando con el logaritmo, se obtiene log(|n (z)|) = 1 2n
2n
log(|z xk |) =
k=0 2n
(n)
1 2
2n
(log(z xk ))
k=0
(n)
2 2n
1 2
log(z
k=0
(n) 2 xk ) n 2

Pasando al lmite, tenemos una suma de Riemann, 1 log G(z) = 2
1
log(z x) dx .
1

Pasando al lmite, tenemos una suma de Riemann, 1 log G(z) = 2 Integrando, obtenemos 1 log G(z) = ((z + 1) log(z + 1) + (1 z) log(z 1)) 1 2
1
log(z x) dx .
1

Pasando al lmite, tenemos una suma de Riemann, 1 log G(z) = 2 Integrando, obtenemos 1 log G(z) = ((z + 1) log(z + 1) + (1 z) log(z 1)) 1 2 Elevando a la exponencial G(z) = exp 1 ((z + 1) log(z + 1) + (1 z) log(z 1)) 1 2
1
log(z x) dx .
1

Veamos las curvas de nivel de G(z).

Veamos las curvas de nivel de G(z).

La grca de G(x). en el intervalo [1, 1]

La grca de G(x). en el intervalo [1, 1]

La grca de G(iy). en el intervalo [0, 0,3]

La grca de G(iy). en el intervalo [0, 0,3]

Por ltimo

Por ltimo i calculamos x [0, 1] de manera que G(x) = G( 5 ), lo que da:

Por ltimo i calculamos x [0, 1] de manera que G(x) = G( 5 ), lo que da: x = 0, 7266768, i G(0, 7266768) = G( ) = 0, 4937581 5

Por ltimo i calculamos x [0, 1] de manera que G(x) = G( 5 ), lo que da: x = 0, 7266768, i G(0, 7266768) = G( ) = 0, 4937581 5
Por lo tanto convergencia para |x| < 0, 7266768, divergencia para |x| > 0, 7266768
Finalmente
Esta presentacin ha sido hecha con Prosper
Finalmente
Esta presentacin ha sido hecha con Prosper Los grcos con pgplot, f90 y xg
Finalmente
Muchas Gracias
Finalmente
Muchas Gracias
Alguna Pregunta

Fenómeno de Runge

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Fenómeno de Runge

Cargado por

Copyright:

Formatos disponibles

Fenmeno de Runge

Interpolacin Polinomial y el Fenmeno de Runge

Carreras de Matematica Universidad Mayor de San Simon

Fenomeno de Runge.17 de noviembre de 2011 p.1/31

Fenomeno de Runge.17 de noviembre de 2011 p.2/31

Fenomeno de Runge.17 de noviembre de 2011 p.2/31

Fenomeno de Runge.17 de noviembre de 2011 p.2/31

Fenomeno de Runge.17 de noviembre de 2011 p.2/31

Fenomeno de Runge.17 de noviembre de 2011 p.2/31

Fenomeno de Runge.17 de noviembre de 2011 p.2/31

Fenomeno de Runge.17 de noviembre de 2011 p.3/31

Fenomeno de Runge.17 de noviembre de 2011 p.3/31

Fenomeno de Runge.17 de noviembre de 2011 p.3/31

Fenomeno de Runge.17 de noviembre de 2011 p.3/31

Fenomeno de Runge.17 de noviembre de 2011 p.3/31

Fenomeno de Runge.17 de noviembre de 2011 p.3/31

Fenomeno de Runge.17 de noviembre de 2011 p.4/31

Fenomeno de Runge.17 de noviembre de 2011 p.4/31

Fenomeno de Runge.17 de noviembre de 2011 p.4/31

Fenomeno de Runge.17 de noviembre de 2011 p.4/31

Fenomeno de Runge.17 de noviembre de 2011 p.4/31

Fenomeno de Runge.17 de noviembre de 2011 p.5/31

Fenomeno de Runge.17 de noviembre de 2011 p.5/31

Fenomeno de Runge.17 de noviembre de 2011 p.5/31

Fenomeno de Runge.17 de noviembre de 2011 p.6/31

Fenomeno de Runge.17 de noviembre de 2011 p.7/31

Fenomeno de Runge.17 de noviembre de 2011 p.8/31

Fenomeno de Runge.17 de noviembre de 2011 p.8/31

Fenomeno de Runge.17 de noviembre de 2011 p.8/31

Fenomeno de Runge.17 de noviembre de 2011 p.8/31

Fenomeno de Runge.17 de noviembre de 2011 p.8/31

Fenomeno de Runge.17 de noviembre de 2011 p.8/31

Fenomeno de Runge.17 de noviembre de 2011 p.9/31

Fenomeno de Runge.17 de noviembre de 2011 p.9/31

Fenomeno de Runge.17 de noviembre de 2011 p.9/31

l m fn (x) = g(x) = f (x).

Fenomeno de Runge.17 de noviembre de 2011 p.9/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.10/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.10/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.10/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.10/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.10/31

Fenomeno de Runge.17 de noviembre de 2011 p.11/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.12/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.12/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.12/31

Planteamiento del Problema

Los En son divisines uniformes o equidistantes de [1, 1]

Fenomeno de Runge.17 de noviembre de 2011 p.12/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.12/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.13/31

Planteamiento del Problema

Fenomeno de Runge.17 de noviembre de 2011 p.13/31

Planteamiento del Problema