Teoremas de Interpolación

Transparencias de clase
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin
Introduccin
Errores
Interpolacin
Separacin de races
Teorema de Bolzano. Si f es una funcin continua en [a,b] y
Teorema de Rolle. Si f C([a,b]) y es tal que f(a)=f(b),
tal que sign(f(a)) sign(f(b)), entonces existe al menos un
entonces existe al menos un punto c (a,b) tal que f (c)=0.
punto c (a,b) tal que f(c)=0
Departamento de Matemtica Aplicada
Introduccin
Errores
Interpolacin
Clculo Numrico
Separacin de races
Teorema separacin de races. Si f C([a,b]) es tal que
Introduccin
Errores
Interpolacin
Clculo Numrico
Separacin de races
Teorema. Si f C([a,b]) es tal que sign(f (a))sign(f (b)) y f
sign(f (a))sign(f (b)) y f posee signo constante en (a,b),
slo se anula en n puntos del intervalo (a,b), entonces f
entonces f(x) = 0 posee una nica raiz c (a,b).
tendr a lo sumo n+1 races.
Introduccin
Errores
Interpolacin
Clculo Numrico
Separacin de races
Introduccin
Errores
Interpolacin
Clculo Numrico
Clculo de las races
Teorema. Si f C([a,b]) y es tal que f tiene signo constante
Una vez aisladas las races de f(x) = 0 aplicaremos uno
en [a,b], entonces f tiene, a lo sumo, dos races reales en [a,b].
de los siguientes mtodos para calcularlas

- Mtodo
de la Biseccin.
- Mtodo de Newton-Raphson.
- Mtodo del Punto Fijo
Clculo Numrico
A.H.Encinas & Araceli Queiruga Dios
Clculo Numrico
Introduccin
Errores
Interpolacin
Clculo de las races

Biseccin
Introduccin
Errores
Interpolacin
Clculo de las races

Biseccin
1. Se calcula el punto medio del intervalo [a,b]: c=((a+b)/2)

Se estudia el valor de dicho punto medio
- Si f (c)=0 entonces hemos acabado.
- Si f (c)0 elegimos de entre [a,c] y [c,b] el intervalo en el
que se satisfaga el Teorema de Bolzano y lo denotamos
por [a1,b1].
2. Se calcula el punto medio del intervalo [a1,b1]:
c1=((a1+b1)/2).Se estudia el valor de dicho punto medio:
- Si f (c1)=0 entonces hemos acabado.
- Si f (c1)0 elegimos de entre [a1,c1] y [c1,b1] el intervalo
en el que se satisfaga el Teorema de Bolzano y lo
denotamos por [a2,b2].
Introduccin
Errores
Interpolacin
Clculo Numrico
Clculo Numrico
Introduccin
Errores
Interpolacin
Clculo de las races

Biseccin
3. Se calcula el punto medio del intervalo [a1,b1]:

c2=((a2+b2)/2).Se estudia el valor de dicho punto medio:
- Si f (c2)=0 entonces hemos acabado.
- Si f (c2)0 elegimos de entre [a2,c2] y [c2,b2] el intervalo
en el que se satisfaga el Teorema de Bolzano y lo
denotamos por [a3,b3].
4
Clculo de las races

Biseccin
Si queremos que el error cometido en el clculo de la raz

sea inferior entonces el nmero mnimo de iteraciones n
que hemos de hacer del anterior algoritmo debe satisfacer
la siguiente desigualdad:
error <
ba
<
2 n+1
Teorema: Si [a, b], [a1, b1], ..., [an, bn], denotan los intervalos
Obtenemos as una sucesin de intervalos que contienen la

raz y cuya longitud tiende a cero.
bn an =
ba
2n
Introduccin
Errores
Interpolacin
cn
bn an
2
ba
2n+1
Clculo Numrico
Clculo de las races

Newton-Raphson o Tangente
del mtodo de la biseccin, entonces
lim an = lim bn =
n
Introduccin
Errores
Interpolacin
lim cn =
n
cn
ba
2n+1
Clculo Numrico
Clculo de las races

Teorema. Sea y = f(x) una funcin tal que f C([a,b]), y

adems:
1. sign (f (a)) sign (f (b)).
2. sign (f (x)) es constante para todo x [a,b].
Entonces, si x0 [a,b] es un punto cualquiera en el que se
verifica que f (x0)f (x0)>0, la sucesin definida por:
f ( xn 1 )
f '( xn 1 )
converge a un punto c [a,b] tal que f (c)=0.
xn = xn 1
Clculo Numrico
Clculo Numrico
Introduccin
Errores
Interpolacin
Clculo de las races

Introduccin
Errores
Interpolacin
Clculo de las races

1. Se demuestra que el signo de f (x) es constante en [a,b].

Adems, en estas condiciones, existen dos constantes m y M
2. Se busca un x0 [a,b] tal que f(x0) f (x0)>0.
tales que x [a,b], se verifica:

m | f (x)| y M | f (x) |
de tal forma que sendas cotas del error cometido al considerar a
3. Se calcula la constante m tal que m |f (x)| para todo x[a,b].

f ( xn 1 )
4. Se van calculando los trminos xn dados por xn = xn 1
f '( xn 1 )
mientras que no se satisfaga la cota del error definida en
xn como solucin de la ecuacin f (x)=0 son, respectivamente
f ( xn )
m
Introduccin
Errores
Interpolacin
Clculo Numrico
Clculo de las races

Rapidez en la convergencia del mtodo de Newton-Raphson.

f ''( n ) 2
en +1 Cen2
en+1 =
en
2 f '( xn )
Teorema: Sea f continua y sea un cero simple de f.
Existe un entorno de y una constante C tales que si se
inicia el mtodo de Newton-Raphson en dicho entorno, la
sucesin xn es convergente a y:
|xn+1 - | C |xn - |
Teorema: Si f es de clase C, creciente, convexa y tiene un
cero, entonces el cero es nico y el mtodo de NewtonRaphson es convergente a partir de cualquier punto inicial.
Introduccin
Errores
Interpolacin
M
( xn xn 1 )2
2m
Clculo Numrico
Clculo de las races

Mtodo del Punto Fijo
El mtodo del punto fijo

Sea f(x)=0 una ecuacin tal que posee una nica raiz
[a,b]. Este mtodo se basa en encontrar una funcin
y=F(x) tal que, entre otras condiciones de carcter tcnico,
verifique que:
f() = 0 F() =
f ( xn )
m
Introduccin
Errores
Interpolacin
Clculo Numrico
Clculo de las races

Resumiendo el mtodo de Newton-Raphson:

No siempre converge a un cero de f y acaso lo haga pero
no al cero que buscbamos. Su xito est slo garantizado
partiendo de una aproximacin inicial cercana al cero
buscado.
Cuando converge, lo hace mucho ms rpidamente que el
mtodo de la biseccin (convergencia cuadrtica).
Requiere que la funcin f sea de clase C2.
Requiere valores de la derivada.
Introduccin
Errores
Interpolacin
Clculo Numrico
Clculo de las races

Definicin: Se dice que x0 es un punto fijo de la funcin

y=F(x) si F(x0)=x0.
Definicin: Una iteracin funcional es el algoritmo
definido por la expresin xn+1 = F(xn) para una cierta
funcin F(xn)
Definicin: Una aplicacin F: [a, b] R se llama contractiva
si existe un kR con 0<k<1, de modo que
|| F(x) - F(y) || k|| x y ||
A la constante k se la denomina constante de contractividad.
Clculo Numrico
Clculo Numrico
Introduccin
Errores
Interpolacin
Clculo de las races

Proposicin. Si F es una funcin derivable en (a,b) y existe

k R, con 0<k<1 tal que || F(x)|| k para todo x [a,b],
entonces F es contractiva en [a,b].
Lema de la contraccin
Si (X, || ||) es un espacio de Banach con la norma eucldea y
F es una funcin continua contractiva de X en X, existe un
nico punto fijo de F.
Qu relacin existe entre continuidad y contractividad?
Errores en el proceso de iteracin funcional.
en +1 1 q
e
1
= F ( n )
lim n +1 = F q ( ) 0
x e q
enq
q!
q!
n
Introduccin
Errores
Interpolacin
Clculo Numrico
Introduccin
Errores
Interpolacin
Clculo de las races

Teorema del punto fijo de Banach.

Sea F: [a,b]R una funcin contractiva de constante k(0,1),
tal que F([a,b]) [a,b]. Entonces F posee un nico punto fijo
en [a,b], esto es, existe un nico c [a,b] tal que F(c)=c.
Adems, se verifica que c es el lmite de la sucesin dada por
xn [a,b], xn arbitrario, xn = F(xn-1), {n N}
y se tiene la siguiente estimacin del error:
en = xn c
kn
x1 x0 , n N
1 k
en = xn c
k
xn xn 1 , n N
1 k
Clculo Numrico
Clculo de las races

El algoritmo del punto fijo para calcular la solucin de

f(x)=0 en [a,b] puede resumirse como sigue:
1. Se busca una funcin y=F(x) contractiva (|| F(x) || < 1)
con k<<1 y tal que F([a,b]) [a,b] de modo que calcular la
solucin de f(x)=0 sea equivalente a calcular el punto fijo de
y=F(x) en [a,b].
2. Se elige un x0[a,b] y se calcula x1 = F(x0).
3. A partir de la cota del error dada por en
kn
x1 x0
1 k
se calcula el nmero de iteraciones n necesarias.

4. Se calcula F(x0)c.
Clculo Numrico

Teoremas de Interpolación

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Teoremas de Interpolación

Загружено:

Авторское право:

Доступные форматы

Transparencias de clase

Teorema de Bolzano. Si f es una funcin continua en [a,b] y

Teorema de Rolle. Si f C([a,b]) y es tal que f(a)=f(b),

tal que sign(f(a)) sign(f(b)), entonces existe al menos un

entonces existe al menos un punto c (a,b) tal que f (c)=0.

punto c (a,b) tal que f(c)=0

Departamento de Matemtica Aplicada

Teorema separacin de races. Si f C([a,b]) es tal que

Departamento de Matemtica Aplicada

Teorema. Si f C([a,b]) es tal que sign(f (a))sign(f (b)) y f

sign(f (a))sign(f (b)) y f posee signo constante en (a,b),

slo se anula en n puntos del intervalo (a,b), entonces f

entonces f(x) = 0 posee una nica raiz c (a,b).

tendr a lo sumo n+1 races.

Departamento de Matemtica Aplicada

Departamento de Matemtica Aplicada

Clculo de las races

Teorema. Si f C([a,b]) y es tal que f tiene signo constante

Una vez aisladas las races de f(x) = 0 aplicaremos uno

en [a,b], entonces f tiene, a lo sumo, dos races reales en [a,b].

de los siguientes mtodos para calcularlas

Departamento de Matemtica Aplicada

A.H.Encinas & Araceli Queiruga Dios

Departamento de Matemtica Aplicada

Clculo de las races

Clculo de las races

1. Se calcula el punto medio del intervalo [a,b]: c=((a+b)/2)

Clculo de las races

3. Se calcula el punto medio del intervalo [a1,b1]:

Clculo de las races

Si queremos que el error cometido en el clculo de la raz

Obtenemos as una sucesin de intervalos que contienen la

Departamento de Matemtica Aplicada

Departamento de Matemtica Aplicada

Clculo de las races

del mtodo de la biseccin, entonces

Departamento de Matemtica Aplicada

Clculo de las races

Teorema. Sea y = f(x) una funcin tal que f C([a,b]), y

Departamento de Matemtica Aplicada

A.H.Encinas & Araceli Queiruga Dios

Departamento de Matemtica Aplicada

Clculo de las races

Clculo de las races

1. Se demuestra que el signo de f (x) es constante en [a,b].

tales que x [a,b], se verifica:

3. Se calcula la constante m tal que m |f (x)| para todo x[a,b].

xn como solucin de la ecuacin f (x)=0 son, respectivamente

Departamento de Matemtica Aplicada

Clculo de las races

Rapidez en la convergencia del mtodo de Newton-Raphson.

Clculo de las races

El mtodo del punto fijo

Departamento de Matemtica Aplicada

Clculo de las races

Resumiendo el mtodo de Newton-Raphson:

Clculo de las races

Definicin: Se dice que x0 es un punto fijo de la funcin

Departamento de Matemtica Aplicada

A.H.Encinas & Araceli Queiruga Dios

Departamento de Matemtica Aplicada

Clculo de las races

Proposicin. Si F es una funcin derivable en (a,b) y existe

Clculo de las races