Sie sind auf Seite 1von 23

Mtodos_Numricos

A.H.Encinas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
M MM M todosNum todosNum todosNum todosNum ricos ricos ricos ricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Trabajaremos habitualmente sobre los nmeros reales y
en ocasiones sobre los complejos .
Valor absoluto. Distancia
Recordemos la definicin de valor absoluto de un nmero real:
Cunto vale ?
2
a
La existencia de valor absoluto nos permite definir una
estructura mtrica sobre a partir de la distancia:
{ }
0
max , .
0
x si x
x x x x x
x si x

= = =

<

( , ) d x y x y =
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Propiedades bsicas de la distancia:
La estructura mtrica nos permite introducir la definicin
de lmite y a partir de ah las nociones de continuidad,
derivada, etc.
Valor absoluto. Distancia
( , ) 0; ( , ) 0 d x y d x y x y = =
( , ) ( , ) d x y d y x =
( , ) ( , ) ( , ) d x y d y z d x z +
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Producto escalar
Una generalizacin de la situacin anterior la constituyen los
espacios eucldeos.
T
2
:ExE
(u,v)T
2
(u,v)=uv
La existencia del producto escalar:
permite definir el mdulo de un vector por la expresin
con las propiedades del valor absoluto y una distancia
. u uu =
( , ) d u v u v =
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Espacio normado
Sea X un espacio dotado con una norma, es decir un espacio
normado (X,|| ||). La norma definida en X permite definir una
distancia con las propiedades habituales
De manera anloga se extiende la nocin de lmite
Se dice que un espacio normado (X,|| ||) es un espacio de
Banach, si es completo para la norma, es decir, si toda sucesin
de Cauchy es convergente en X.
es un espacio de Banach. Siempre que no se diga otra cosa
trabajaremos con espacios de Banach y la norma eucldea
( , ) d x y x y =
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Mtodos Numricos
Objetivo:
Solucin
Realizacin:
Discretizacin
Ordenador
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Tipos de errores
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Tipos de errores
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
x* = valor exacto
x = valor aproximado
e = x* - x = error cometido
0
0
>
<
Error por exceso
Error por defecto
|e| = error absoluto
e
x
= error relativo
e
x
= error porcentual
100
|e| < c
Tipos de errores
{
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Tipos de errores
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Tipos de errores
1. Errores en los datos
2. Errores de almacenamiento
3. Errores al aplicar el algoritmo
2
0.25
8
=
11
2.2
5
=
2
0.66 o 0.66666
3
=
3.14159... =
Nde Avogadro: 602213670000000000000000
Masa del protn: 0.000000000000000000000000001672631
= 6.023x10
23
=1.672631x10
-27
mantisa exponente
1. Errores en los datos
2. Errores de almacenamiento (redondeo)
3. Errores al aplicar el algoritmo
Departamento de Matemtica Aplicada Mtodos Numricos
Errores de almacenamiento
(redondeo)
1.0 x 10
0
= 1
1.1 x 10
0
= 1.1
1.2 x 10
0
= 1.2
1.3 x 10
0
= 1.3
1.4 x 10
0
= 1.4
= 1.4 x 10
0
, error del 1%.
15
2
34

=
4.73 + 0.00009 =
1.5 x 10
0
= 1.5
1.6 x 10
0
= 1.6
1.7 x 10
0
= 1.7
1.8 x 10
0
= 1.8
1.9 x 10
0
= 1.9
2.0 x 10
0
= 2
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
[1, 2] mantisa de dos nmeros
2
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Errores al aplicar el algoritmo
(truncamiento)
a x
2
+ b x + c
a) a = 1.0, b = -5.0, c = 6.0
b) a = 1.0, b = 1234567890, c = 92
Elegiremos el mtodo que, dando errores dentro de unos lmites
predeterminados, necesite menos trabajo
a x
2
+ b x + c = a (x x
1
)(x x
2
) = a (x x
3
)(x x
4
)
2
1
4
2
b b ac
x
a
+
=
2
2
4
2
b b ac
x
a

=
3
2
2
4
c
x
b b ac
=

4
2
2
4
c
x
b b ac
=
+
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Evaluacin de polinomios
Grado 1: P
1
(x
0
) = a
0
+ a
1
x
0
1 0
0 1 0
a x
a a x +
1 producto
1 suma
Grado 2: P
2
(x
0
) = a
0
+ a
1
x
0
+ a
2
x
0
2
2 2
0 1 0 2 0
2
0 1 0 2 0
, , x a x a x
a a x a x + +
3 productos
2 sumas
Grado 3: P
3
(x
0
) = a
0
+ a
1
x
0
+ a
2
x
0
2
+ a
3
x
0
3
2 3 2 3
0 0 1 0 2 0 3 0
2 3
0 1 0 2 0 3 0
, , , , x x a x a x a x
a a x a x a x + + +
5 productos
3 sumas
Grado n: P
n
(x
0
) = a
0
+ a
1
x
0
+ + a
n
x
0
n
2n - 1 productos
n sumas
{
{
{
{
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Mtodo de Horner para evaluar polinomios.
P
4
(x
0
) =
4 productos
4 sumas
{
q
N-1
= a
N
q
N-i-1
= q
N-i
x
0
+ a
N-i
i = 1, 2, ..., N
P
N
(x
0
) = q
-1
a
N
a
N-1
a
N-2
... a
1
a
0
x
0
q
N-1
x
0
q
N-2
x
0
... q
1
x
0
q
0
x
0
q
N-1
q
N-2
q
N-3
... q
0
q
-1
P
4
(x
0
) = a
0
+ a
1
x
0
+ a
2
x
0
2
+ a
3
x
0
3
+ a
4
x
0
4
7 productos
4 sumas
{
[ ]
0 0 1 0 2 0 3 0 4
a x a x a x a x a + + + +

Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Inestabilidad numrica
De manera informal se dice que un mtodo es inestable
cuando los pequeos errores que se producen en alguna de
sus etapas se agrandan en etapas posteriores y degradan
seriamente la exactitud del clculo en su conjunto
Ejemplo: 1 2
2 1
1
1,
3
13 4
1
3 3
n n n
x x
x x x n
+ +

= =

x11.;x21.3;
Forn 1,n 50,n,
Printn2,xn2 13.3 xn14.3 xn,1.3^n1
(Id con x
1
=1 x
2
=4)
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Inestabilidad numrica
{3, 0.111111, 0.111111}
{4, 0.037037, 0.037037}
{5, 0.0123457, 0.0123457}
{6, 0.00411523, 0.00411523}

({12, 5.64497734430494910^-6, 5.64502926947676110^-6})


({13, 1.881468722471661310^-6, 1.881676423158920410^-6})
({14, 6.26394671637267210^-7, 6.27225474386306710^-7})
({15, 2.057519471326094310^-7, 2.090751581287689210^-7})
({16, 5.6398875391617910^-8, 6.9691719376256310^-8})
({17, (-2.99408028131350210^-8), 2.323057312541876710^-8})
({18, (-2.04941979379075610^-7), 7.74352437513958810^-9})

({50, (-3.92335505594199310^12), 4.1788667072956110^-24})


({51, (-1.569342022376797310^13), 1.392955569098536810^-24})
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Inestabilidad numrica
Id con x
1
= 1 x
2
= 4
{3, 16., 16.} {4, 64., 64.} {5, 256., 256.} {6, 1024., 1024.}
{7, 4096., 4096.} {8, 16384., 16384.} {9, 65536., 65536.}
{10, 262144., 262144.}
({11, 1.048575999999999510^6, 1.04857610^6})
({12, 4.19430399999999810^6, 4.19430410^6})
({13, 1.677721599999999310^7, 1.677721610^7})

({50, 3.16912650057057210^29, 3.169126500570573510^29})


({51, 1.267650600228228810^30, 1.267650600228229410^30})
x11.;x24.;
Forn 1,n 50,n,
Printn2,xn2 13.3 xn14.3 xn,4.^n1
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Condicionamiento
Las palabras condicin y condicionamiento se usan
para indicar cun sensible es la solucin de un problema
respecto a pequeos cambios relativos en los datos de
entrada.
Ejemplo: Resolved el siguiente sistema:
r1 10
-8
x + 0 y = 1
r2 0 x + 10
-9
y = 1
Ejemplo: Resolved el siguiente sistema:
x + y = - 3
x + 1.02 y = 5
Ejemplo: Resolved el siguiente sistema:
x + y = - 3
x + 1.016 y = 5
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Condicionamiento
Ejemplo: Considrense las siguientes rectas:
r1 x + y = 100
r2 x + 0.9 y = 100
r3 0.9 x + y = 100
Estudiad el sistema r1_r2, el sistema r1_r3 y el
sistema r2_r3
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Ecuaciones algebraicas
0 = x - 3,
0 = x - 2x + 1,
0 = x
101
x
51
+ x
25
x
12
+ x
3
x + 2.
Ecuaciones trascendentes
0 = e
x
- 2, 0 = e
x
+ x, 0 = sen(x) - 1, 0 = sen(x) + x - 1.
Consideremos la ecuacin f(x) = x - 2 = 0 y supongamos que
no disponemos de algoritmos para resolverla.
Resolucin
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin
Teorema de Bolzano. Si f es una funcin continua en [a,b] y
tal que sign(f(a)) sign(f(b)), entonces existe al menos un
punto c (a,b) tal que f(c)=0
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Separacin de races
Teorema de Rolle. Si f C([a,b]) y es tal que f(a)=f(b),
entonces existe al menos un punto c (a,b) tal que f (c)=0.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Teorema separacin de races. Si f C([a,b]) es tal que
sign(f (a))sign(f (b)) y f posee signo constante en (a,b),
entonces f(x) = 0 posee una nica raiz c (a,b).
Separacin de races
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Teorema. Si f C([a,b]) es tal que sign(f (a))sign(f (b)) y f
slo se anula en n puntos del intervalo (a,b), entonces f
tendr a lo sumo n+1 races.
Separacin de races
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Teorema. Si f C([a,b]) y es tal que f tiene signo constante
en [a,b], entonces f tiene, a lo sumo, dos races reales en [a,b].
Separacin de races
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Ejemplo. Comprobad que f (x) = e
-x
x = 0 posee una
nica raiz en el intervalo [0,1].
Ejemplo. Separad las races que la ecuacin f (x) = x-x=0
posee en el intervalo [-2,2].
Separacin de races
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Ejemplo: Resolved el siguiente sistema:
x + 3y z = 2
2x y + 4z = 1
x/2 + y/3 + z/2 = 1/2
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
- Mtodo de la Biseccin.
- Mtodo de Newton-Raphson.
- Mtodo del Punto Fijo
Una vez aisladas las races de f(x) = 0 aplicaremos uno
de los siguientes mtodos para calcularlas
- Mtodo de la Biseccin.
- Mtodo de Newton-Raphson.
- Mtodo del Punto Fijo
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Biseccin
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
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 [a
1
,b
1
].
2. Se calcula el punto medio del intervalo [a
1
,b
1
]:
c
1
=((a
1
+b
1
)/2).Se estudia el valor de dicho punto medio:
- Si f (c
1
)=0 entonces hemos acabado.
- Si f (c
1
)0 elegimos de entre [a
1
,c
1
] y [c
1
,b
1
] el intervalo
en el que se satisfaga el Teorema de Bolzano y lo
denotamos por [a
2
,b
2
].
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Biseccin
3. Se calcula el punto medio del intervalo [a
1
,b
1
]:
c
2
=((a
2
+b
2
)/2).Se estudia el valor de dicho punto medio:
- Si f (c
2
)=0 entonces hemos acabado.
- Si f (c
2
)0 elegimos de entre [a
2
,c
2
] y [c
2
,b
2
] el intervalo
en el que se satisfaga el Teorema de Bolzano y lo
denotamos por [a
3
,b
3
].
4
Obtenemos as una sucesin de intervalos que contienen la
raz y cuya longitud tiende a cero.
2
n n n
b a
b a

=
1
2 2
n n
n n
b a b a
c
+


Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
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:
1
error
2
n
b a

< <
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Biseccin
Teorema: Si [a, b], [a
1
, b
1
], ..., [a
n
, b
n
], denotan los intervalos
del mtodo de la biseccin, entonces
Ejemplo. Calculad la raz de f(x)=e
-x
x = 0 en el intervalo [0,1],
con un error inferior a 10
-
.
Ejemplo. Calculad la raz negativa de f (x)=x
4
x 10 = 0 con
una precisin de dos cifras decimales exactas (<05x10
-(m+1)
).
lim lim
n n
n n
a b

= = lim
n
n
c

=
1
2
n n
b a
c
+


Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Newton-Raphson o Tangente
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 x
0
[a,b] es un punto cualquiera en el que se
verifica que f (x
0
)f (x
0
)>0, la sucesin definida por:
converge a un punto c [a,b] tal que f (c)=0.
1
1
1
( )
'( )
n
n n
n
f x
x x
f x

=
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Newton-Raphson o Tangente
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Newton-Raphson o Tangente
Adems, en estas condiciones, existen dos constantes m y M
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
x
n
como solucin de la ecuacin f (x)=0 son, respectivamente

2
1
( )
2
n n
M
x x
m

( )
n
f x
m

Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Newton-Raphson o Tangente
1. Se demuestra que el signo de f (x) es constante en [a,b].
2. Se busca un x
0
[a,b] tal que f(x
0
) f (x
0
)>0.
3. Se calcula la constante m tal que m |f (x)| para todo x[a,b].
4. Se van calculando los trminos x
n
dados por
mientras que no se satisfaga la cota del error definida en
1
1
1
( )
'( )
n
n n
n
f x
x x
f x

=
( )
n
f x
m

Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Newton-Raphson o Tangente
Ejemplo: Calculad la raz real de x
5
+5x+8=0 aplicando el
mtodo de Newton-Raphson con un error inferior a 10
-
.
Ejemplo: Calculad 1+3 con un error inferior a 10
-4
.
Ejemplo: Demostrad que la ecuacin e
x
log(x) + x - 2=0
tiene una nica raz positiva. Determinad dicha raz con
un error inferior a 10
-4
.
Ejemplo: Resolved la ecuacin x -2=0 sin utilizar el
algoritmo de la raz cuadrada.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Newton-Raphson o Tangente
Rapidez en la convergencia del mtodo de Newton-Raphson.
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 x
n
es convergente a y:
|x
n+1
- | C |x
n
- |
Teorema: Si f es de clase C, creciente, convexa y tiene un
cero, entonces el cero es nico y el mtodo de Newton-
Raphson es convergente a partir de cualquier punto inicial.
2
1
''( )
2 '( )
n
n n
n
f
e e
f x

+
=
2
n
Ce
1 n
e
+

Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Newton-Raphson o Tangente
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 C
2
.
Requiere valores de la derivada.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
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() =
El mtodo del punto fijo
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Mtodo del Punto Fijo
Definicin: Se dice que x
0
es un punto fijo de la funcin
y=F(x) si F(x
0
)=x
0
.
Definicin: Una iteracin funcional es el algoritmo
definido por la expresin x
n+1
= F(x
n
) para una cierta
funcin F(x
n
)
Ejemplo: Determinad la sucesin que definen la funcin
F(x)=((x+3)/(x+1)) y el punto x
0
=7. Calculad los puntos fijos
de F(x), si tiene.
Ejemplo: Dada la ecuacin f(x)=x+4x-10=0, determinad
distintas funciones F(x) que tengan como punto fijo las
soluciones de la misma.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Definicin: Una aplicacin F: [a, b] R se llama contractiva
si existe un kR con 0<k<1, de modo que
Clculo de las races
Mtodo del Punto Fijo
|| F(x) - F(y) || k|| x y ||
A la constante k se la denomina constante de contractividad.
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].
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Mtodo del Punto Fijo
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.
Localmente lipstchiziana
Continuidad y contractividad
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Mtodo del Punto Fijo
Influencia de la derivada en la convergencia
Resolved la siguiente ecuacin:
1. x x = 0
2. x x 1 = 0
Errores en el proceso de iteracin funcional.
1
1
( )
!
q n
n q
n
e
F
e q

+
=
1
1
lim ( )
!
q n
q
n
e
F
e q

+
= 0
1
1
lim ( )
!
q n
q
x
n
e
F
e q

+

=
x
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Mtodo del Punto Fijo
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
x
n
[a,b], x
n
arbitrario, x
n
= F(x
n-1
), {n N}
y se tiene la siguiente estimacin del error:
1 0
,
1
n
k
x x
k

1
,
1
n n
k
x x
k

n n
e x c = n N n N
n n
e x c =
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Mtodo del Punto Fijo
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 x
0
[a,b] y se calcula x
1
= F(x
0
).
3. A partir de la cota del error dada por
se calcula el nmero de iteraciones n necesarias.
4. Se calcula F(x
0
)c.
1 0
1
n
k
x x
k

n
e
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Clculo de las races
Mtodo del Punto Fijo
Ejemplo: Calculad 5 con un error inferior a 10
-

Ejemplo: Dos partculas


1
y
2
se mueven recorriendo las
trayectorias respectivas
y
1
(x) = x - 1, x>0, y
2
(x) = sen(x), x>0.
1.- Encontrad un intervalo de longitud 1 que contenga al
punto c en el que ambas partculas se cortan.
2.- Encontrad una funcin que permita determinar c por el
mtodo iterativo del punto fijo.
3.- Determinad una cota del error cometido al tomar como
valor de c el nmero obtenido en la cuarta iteracin del
apartado anterior.
Ejemplo: Calculad las races de la ecuacin e
-x
x = 0 con
un error inferior a 10
-
.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Dada una tabla de datos, se ha de encontrar una funcin
que tome los valores requeridos en los puntos dados; en el
caso que nos ocupa, la funcin buscada ser de carcter
polinmico.
Teorema: El polinomio de interpolacin, si existe, es
nico.
Interpolacin
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Para calcular el polinomio de interpolacin asociado a una
serie de nodos utilizaremos distintos mtodos:
1. Coeficientes indeterminados
2. Polinomio de Lagrange
3. Polinomio de Newton
4. Interpolacin a trozos
5. Splines cbicos
6. Hermite
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Polinomio de Lagrange
y
n
y
1
y
0
y
x
n
x
1
x
0
x
Consideremos una tabla de n+1 puntos distintos (nodos):
Entonces existe un nico polinomio de grado n, denominado
polinomio de Lagrange, y = P
n
(x), tal que P
n
(x
i
)=y
i
para todo
i=0,1,,n.
La expresin explcita de dicho polinomio es la siguiente:
0 1 1 1
0 1 1 1
( )( )...( )( )...( )
( )
( )( )...( )( )...( )
i i n
i
i i i i i i i n
x x x x x x x x x x
L x
x x x x x x x x x x
+
+

=

j
i j
x x
x x

Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
n
P (x) =

i i
y L (x)

j
i j
x x
x x

i
y
( )
j
x x


i = 0, n
i = 0, n i = 0, n j = 0, n
j i
j = 0, n
j i
j = 0, n
j i
i
i j
y
x x

j = 0, n
j i
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Ejemplo: Calculad el polinomio de interpolacin de Lagrange
que pasa por los siguientes puntos:
4 0 -2 -2 y
2 1 0 -1 x
Ejemplo: Dada la funcin f(x) = cos(x), hallad el polinomio
que interpola a f en los puntos {0,0.5,1}.
Construccin del polinomio de interpolacin
Polinomio de Lagrange
4 2 1 3 y
4 3 2 -1 x
Ejemplo: Dada la funcin f(x) = cos(x), hallad el polinomio
que interpola a f en los puntos {0,0.5,1,1.5}.
Ejemplo: Calculad el polinomio de interpolacin de Lagrange
que pasa por los siguientes puntos:
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Polinomio de Newton
La frmula de interpolacin de Newton proporciona una
manera de calcular el polinomio P
n+1
a partir del polinomio
P
n
aadiendo un trmino nuevo.
Lema: Sea P
n
(x) el polinomio de interpolacin asociado a
los puntos x
0
, x
1
, ..., x
n
y los valores y
0
, y
1
, ..., y
n
, y sea
P
n+1
(x) el polinomio de interpolacin asociado a los puntos
x
0
, x
1
, ..., x
n
, x
n+1
y los valores y
0
, y
1
, ..., y
n
, y
n+1
. Existe una
constante c
n+1
tal que:
P
n+1
(x) = P
n
(x) + c
n+1
(x x
0
)...(x - x
n
)
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Polinomio de Newton
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Polinomio de Newton
Teorema (Mtodo de Newton): En las condiciones
anteriores
( ) ( )
0 1
...
k k
c x x x x


k
c
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
(P
n+1
(x) = P
n
(x) + c
n+1
(x x
0
)...(x - x
n
))
0 0
( ) ( )
n
P x f x = +
( )
( )
j
j i
f x
x x
=
k = 1, n
j = 0, k

ij
i=0
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
y
n
y
1
y
0
y
x
n
x
1
x
0
x
Consideremos una tabla de n+1 puntos distintos (nodos):
f [x
0
] = coeficiente de x
0
en P
0
(x)
f [x
0
] = f (x
0
) = y
0
f [x
0
, x
1
] = coeficiente de x
1
en P
1
(x)
1 0
0 1
1 0
( ) ( )
[ , ]
f x f x
f x x
x x

Departamento de Matemtica Aplicada Mtodos Numricos


Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
[ ]
1 2 0 1
0 1 2
2 0
[ , ] ,
[ , , ]
f x x f x x
f x x x
x x

1 0 1
0
0
[ ,..., ] [ ,..., ]
[ ,..., ]
n n
n
n
f x x f x x
f x x
x x

Teorema: El coeficiente del trmino n-simo es:


Considerando x
0
,...,x
n
como variables independientes,
tenemos que:
1 1
1
[ ,..., ] [ ,..., ]
[ , ..., ]
i i j i i j
i i i j
i j i
f x x f x x
f x x x
x x
+ + +
+ +
+

Departamento de Matemtica Aplicada Mtodos Numricos


Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
As podremos escribir la tabla:
0
x
2
x
1
x
3
x
0
[ ] f x
1
[ ] f x
2
[ ] f x
3
[ ] f x
1 2
[ , ] f x x
0 1
[ , ] f x x
0 1 2
[ , , ] f x x x
2 3
[ , ] f x x
1 2 3
[ , , ] f x x x
0 1 2 3
[ , , , ] f x x x x

Departamento de Matemtica Aplicada Mtodos Numricos


Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Ejemplo: Calculad el polinomio de interpolacin de Newton
de:
4 2 -3 1 f(x)
6 5 1 3 x
4 -2 2 f(x)
2 1 -1 x
5 4 -2 2 f(x)
4 2 1 -1 x
f(x)
x
2
-1
-2
1
4
2
5
4
7
3
4 0 -2 -2 2 y
2 1 0 -1 -2 x
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Se denominan diferencias divididas de primer orden a los
cocientes:
Diferencias divididas de orden k
[ ] [ ]
1
, 1 1 1
1
, ,
i i
i i i i i i
i i
y y
y f x x x x
x x
+
+ + +
+

= = =

Se llaman diferencias divididas de segundo orden a:


[ ] [ ]
1, 2 , 1
, 1, 2 1 2 1 2
2
, , , ,
i i i i
i i i i i i i i i
i i
y y
y f x x x x x x
x x
+ + +
+ + + + + +
+

= = =

0 i n - 1
0 i n - 2
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Se llaman diferencias divididas de orden k a:
[ ] [ ]
1,..., ,..., 1
, 1,..., 1 1
, ,... , ,...,
i i k i i k
i i i k i i i k i i i k
i k i
y y
y f x x x x x x
x x
+ + +
+ + + + + +
+

= = =

0
[ ] f x
1
[ ] f x
2
[ ] f x
3
[ ] f x
1 2
[ , ] f x x
0 1
[ , ] f x x
0 1 2
[ , , ] f x x x
2 3
[ , ] f x x
1 2 3
[ , , ] f x x x
0 1 2 3
[ , , , ] f x x x x

0 i n - k
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
El polinomio de Newton se puede redefinir de manera explcita:
P
n
(x) = y
0
+ y
01
(x-x
0
) + y
012
(x-x
0
)(x-x
1
)++y
01n
(x-x
0
)(x-x
1
)(x-x
n-1
P
n+1
(x) = P
n
(x) + y
012n+1
(x - x
0
)(x - x
n
)
Observaciones:
1.- De acuerdo con las definiciones y dada la unicidad del
polinomio de interpolacin, si z
0
,z
1
,,z
n
es una permutacin de
los puntos x
0
, x
1
,,x
n
se tiene que: f [z
0
,z
1
,,z
n
] = f [x
0
,x
1
,,x
n
]
2.- Se verifica que
0 1 1
( )
( )...( )( )...( )
i
i i i i i i n
f x
x x x x x x x x
+

0,1,...n
y =
i = 0, n
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Comparando mtodos
1.- El costo de escribir el polinomio de interpolacin es mximo
en el mtodo de los coeficientes indeterminados, donde se
requiere resolver un sistema lineal de n+1 ecuaciones y n+1
incgnitas. Ese costo es nulo para la forma de Lagrange e
intermedio para la forma de Newton, donde hay que construir la
tabla de diferencias divididas.
2.- En cuanto al costo de evaluar el polinomio en un punto, es
evidente que la forma de Lagrange es la ms complicada.
Departamento de Matemtica Aplicada Mtodos Numricos
Construccin del polinomio de interpolacin
Diferencias divididas
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
3.- Si una vez calculado P
n
(x) se desea construir P
n+1
(x)
que interpola en un nodo ms, basta aadir un trmino al
polinomio calculado si se utiliza el mtodo de Newton y el
coeficiente correspondiente en la tabla de diferencias
divididas. En las formas de coeficientes indeterminados y
de Lagrange no es inmediatamente posible utilizar los
clculos de la etapa anterior.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
4.- En la forma de Newton, cada sumando de los que
componen el polinomio tiene un significado. Son los trminos
que hay que aadir a un polinomio interpolador de cierto grado
para transformarlo en el de un grado ms que interpola en un
punto ms. Por eso, al ir sumando sucesivamente, es posible
observar los efectos de pasar de la interpolacin lineal a la
cuadrtica, de sta a la cbica, etc. En las otras dos formas,
los sumandos individuales carecen de significado
aprovechable.
5.- En conclusin, podemos decir que la forma de Newton es la
ms aconsejable. Es la que emplea Mathematica, aunque la
forma de Lagrange tambin se emplea.
Construccin del polinomio de interpolacin
Diferencias divididas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Error en el polinomio de interpolacin
Error en el polinomio de interpolacin
Teorema. Sea f : [a,b] R una funcin (n+1) veces derivable en
(a,b) y sea y = P
n
(x) el polinomio interpolador en los puntos:
f (x
n
) f (x
1
) f (x
0
) y
x
n
=b x
1
a=x
0
x
( )
i
x x
( ) ( )
n
f x P x
Entonces para todo x [a,b], existe un punto c(a,b) tal que
Adems, si |f (+1)(x)| M para todo x (a,b), se tiene la siguiente
cota para el error:
1
( )
( ) ( )
( 1)!
n
n
f c
f x P x
n
+
=
+

i = 0, n

( 1)!
M
n +

i = 0, n
| (x x
i
)|
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Error en el polinomio de interpolacin
1.- En las condiciones del enunciado, el teorema de Rolle
garantiza que entre dos races de una funcin existe al
menos una raz de la funcin derivada.
2.- La frmula del error de interpolacin para un punto
xx
0
,...,x
n
puede escribirse como:
Observaciones:
1
0
( )
[ ,..., , ]
( 1)!
n
n
f
f x x x
n

+
=
+
3.- Si f es derivable con continuidad en [a,b] hasta el orden
n+1 y x
0
, ..., x
n
, x
n+1
son puntos distintos de [a,b], existe
(a,b) tal que
0
[ ,..., , ]
n
f x x x ( )
i
x x ( ) ( )
n
f x P x =
i = 0, n
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Error en el polinomio de interpolacin
Comentario:
Dada una funcin continua f sobre un intervalo [a,b], si se
construyen polinomios de interpolacin asociados a la funcin f
con nodos equiespaciados y de grados cada vez mayores,
podramos esperar que la sucesin de polinomios (P
n
)
convergiera (uniformemente) a la funcin f en el intervalo [a,b].
Ello no sucede en general.
Los teoremas involucrados en este sentido quedan fuera de
este nivel. Basta ilustrar la situacin con un ejemplo debido a
Runge en 1900.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Error en el polinomio de interpolacin
Si se interpola la funcin f (x)=(1/(1+x)) (que es
diferenciable) sobre el intervalo [-5,5] en n+1 puntos
equiespaciados se obtiene que P
n
(x) no converge al valor
de f(x) si |x|>3.6. En el Notebook de Mathematica puede
observarse los grandes errores a que da origen P
14
. Esto,
por supuesto, no demuestra la divergencia de la sucesin
P
n
(x).
Es decir, en general no es cierto que al aumentar el
nmero de puntos sobre los que se construye el polinomio
interpolador, n, el error disminuya. Existen funciones para
las cuales el error aumenta al aumentar n.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Error en el polinomio de interpolacin
Ejemplo. Qu ocurre para funciones del tipo f(x) = sen(x)
f(x) = e
x
?
Ejemplo. Calcular una cota del error que se comete al
aproximar en el intervalo [-1,1] la funcin f(x)=e
x
por el
polinomio interpolador en los puntos -1,0,1.
Ejemplo. Calcular una cota del error que se comete al
interpolar la funcin y = 1/x en los puntos x
0
= 2, x
1
= 3 y
x
2
=4.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Interpolacin a trozos
La naturaleza oscilatoria de los polinomios de grado alto y
su alta sensibilidad a pequeas modificaciones limita su
utilizacin.
Adems hay que resolver el problema de la convergencia
cuando el nmero de nodos es grande, la solucin ms
frecuente es la interpolacin polinmica a trozos.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Interpolacin lineal a trozos
( ) s x =
, 1
( ) [ ] [ ]( )
i i i i i
s x f x f x x x
+
= +
[ ]
[ ]
[ ]
0 0 1
1 1 2
1 1
( ) ,
( ) ,
( ) ,
n n n
s x si x x x
s x si x x x
s x si x x x

Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
LIneal
Sea M
0
(P) el conjunto de las funciones continuas en [a,b]
que restringidas a cada subintervalo [x
i
, x
i+1
] de la particin
coincide con un polinomio de grado 1.
M
0
(P) es un espacio vectorial con las operaciones
habituales.
Si s M
0
(P) decimos que es una funcin lineal a trozos
en la particin P.
Sea L
i
(x) la funcin lineal a trozos de M
0
(P) que vale 1
en el nodo x
i
y cero en los restantes
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Lineal
( )
i
L x =
( )
( )
1
1 1
1
1
1
1
0
1
[ , ]
1
1 [ , ]
0
i
i i i
i i
i i i
i i
i
x x
x x x x x
x x
x x x x x
x x
x x

+
+
+
<

>
1
0
( ) M P
n+1
s (s(x
0
), , s(x
n
))
{
{
1 x = x
i
0 x x
i

Departamento de Matemtica Aplicada Mtodos Numricos


Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Lineal
Ejemplo: Calcular la funcin de interpolacin lineal a trozos
de la siguiente tabla de valores:
4 2 1 -3 f (x)
6 5 3 1 x
Ejemplo: Obtener la funcin asociada a la interpolacin
lineal a trozos en el intervalo [-,] correspondientes a la
funcin y = cos(x).
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Lineal
1
( )
( ) ( )
( 1)!
n
f x
f x P x
n
+
=
+
Error en la Interpolacin lineal a trozos.
( )
2
2
1
6
i i
K
x x
+

2
[ , ]
| ''( ) |
x a b
K mx f x

=
1. Convergencia cuadrtica:
2. No es diferenciable en los extremos de los intervalos (x
i
)
( ) ( ) f x s x

i = 0, n
|x x
i
|
( ) ( ) f x s x

2 2
6
K
h

lim ( ) ( )
n
s x f x =
n
1
[ , ]
i i
x x
+

x
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Lineal
Comparacin con el polinomio de interpolacin de grado n:
1. Si n es grande, el costo de evaluar el polinomio P
n
es grande.
Sin embargo, el coste de evaluar la funcin s de interpolacin
lineal a trozos no crece con n.
2. No est garantizada la convergencia de P
n
a f, ni an
suponiendo que f sea indefinidamente derivable. Sin embargo con
slo suponer que f tiene derivada segunda acotada, al refinar la
particin sabemos que los interpolantes lineas a trozos convergen
(cuadrticamente) a f.
3. El polinomio de interpolacin P
n
es indefinidamente derivable,
mientras que la funcin s de interpolacin lineal a trozos no es
derivable, en general, en los nodos. Esta falta de regularidad
hace que, a veces, no se pueda aplicar esta interpolacin.
Departamento de Matemtica Aplicada Mtodos Numricos Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Cuadrtica
Interpolacin por polinomios a trozos de grado 2.
M
0
(P) el conjunto de todas las funciones continuas en [a,b]
que restringidas a cada subintervalo [x
i
, x
i+1
] de la particin P
coinciden con polinomios de grado 2.
Si sM
0
(P) decimos que s (interpolante cuadrtico a trozos)
es una funcin cuadrtica a trozos en la particin P. En los
puntos x
i
P las funciones sM
0
(P) presentan saltos en las
derivadas primera y segunda.
( ) s x =
* 1
2
i i
i
x x
x
+
+
=
* *
1 1
( ) ( )
( ) ( )
( ) ( )
i i
i i
i i
s x f x
s x f x
s x f x
+ +
=
=
=
{
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Cuadrtica
i
x x
Error en la Interpolacin cuadrtica a trozos.
3
3
3
216
K h
3
[ , ]
| '''( ) |
x a b
K mx f x

=
1
[ , ]
i i
x x
+
1. Convergencia cbica
lim ( ) ( )
n
s x f x =
2. No es diferenciable en los extremos de los intervalos (x
i
)
1
( )
( ) ( )
( 1)!
n
f x
f x P x
n
+
=
+

i = 0, n
( ) ( ) f x s x
x
n

Departamento de Matemtica Aplicada Mtodos Numricos


Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Cbica: Spline
Interpolacin cbica a trozos. Interpolacin SPLINE
1. Polinomio de grado 3 en cada subintervalo.
2. De clase C
2
en el intervalo [a, b].
3. Interpolatorio.
4. Condiciones frontera:
1. Libre: s(x
0
) = s(x
n
)=0
2. Fija: s(x
0
) = f (x
0
) y s(x
n
) = f (x
n
)
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Construccin del polinomio de interpolacin
Interpolacin a trozos
Cbica: Spline
2 3
1
,
i i i i i i i i
a a b h c h d h
+
= + + +
0,1,..., 2 i n =
2
1
2 3 ,
i i i i i i
b b c h d h
+
= + +
1
3 ,
i i i i
c c d h
+
= +
,
i i
a y =
0
0, c =
1 1 1
2 6 0,
n n n
c d h

+ =
0,1,..., 2 i n =
0,1,..., 2 i n =
0,1, ..., 1 i n =
Departamento de Matemtica Aplicada
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
( )
( )
0 0 1 1
1 1 2 2
2 2 1 1
1 0 0 0
2 0
0 2
0
2( )
0 0 0 1
n n n n
h h h h
h h h h
h h h h

+
+
+
=
( )
( )
( )
2 1 1 0
1 0
2 1 2 1
2 1
1 1 2
1 2
0
3 3
( )
3 3
( )
3 3
( )
0
n n n n
n n
a a a a
h h
a a a a
h h
a a a a
h h





Construccin del polinomio de interpolacin
Interpolacin a trozos
Cbica: Spline
( )
)
.
.
.
.
.
.
.
.
.
.
.
.
. . .
. . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
(
)
)
0
1
2
n
c
c
c
c
(
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
1 0.5 0 1 y
3 2 1 0 x
Construccin del polinomio de interpolacin
Interpolacin a trozos
Cbica: Spline
Ejemplo: Determinad el espln cbico que interpola los valores
siguientes:
2.- f (0)=0; f (1)=1; f (2)=2
3.- Calculad un polinomio de 2 grado que verifique lo
siguiente: p(0) = 0, p(1) = 1, p(1/2) = 2
Calculad S(05), S(15), S(3)
1.-
Departamento de Matemtica Aplicada Mtodos Numricos Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Hermite
Interpolacin de Hermite
El trmino interpolacin de Hermite se refiere a la
interpolacin de una funcin y de alguna de sus derivadas
en un conjunto de nodos. La interpolacin que hemos
estudiado hasta ahora se llama, por diferencia de esta,
interpolacin de Lagrange.
0 0
0 0
( ) ( )
'( ) '( )
...
( ) '( )
'( ) '( )
n n
n n
P x f x
P x f x
P x f x
P x f x
=
=
=
=
1 2
( ) 2 6
'( ) 3 7
'' 8
x
f x
f x
f x
1 2
( ) 2 6
'( ) 3
'' 8
x
f x
f x
f x
{
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Hermite
Teorema: Existe un nico polinomio P(x) de grado m que
satisface las condiciones de interpolacin de Hermite:
( )
( ) ,
j
i ij
P x c =
Ejemplo: Calculad el polinomio de interpolacin de Hermite
asociado a las condiciones:
f (1) = 2, f (1) = 3, f (2) = 6, f (2) = 7, f (2) = 8
Ejemplo: Obtened la funcin correspondiente a la
interpolacin de Hermite en el intervalo [-,]
correspondientes a la funcin y = cos(x)
j k
i
1, 0 i n
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Hermite
Interpolacin cbica de Hermite a trozos
Dada una funcin derivable f : [a, b]R y n+1 puntos
x
0
=a < x
1
< < x
n-1
< x
n
= b, existe una nica funcin
derivable g:[a,b]R, de modo que en cada intervalo
[x
i
,x
i+1
], y = g(x) est definida por un polinomio de
tercer grado, y = P
i
(x), tal que:
1 1
'
( ) '( )
'
( ) '( )
i i i
i i i
P x f x
P x f x
+ +
=
=
Con
( ) g x =
1 1
( ) ( )
( ) ( )
i i i
i i i
P x f x
P x f x
+ +
=
=
[ ]
[ ]
0 0 1
1 1
( ) ,
...
( ) ,
n n n
P x si x x x
P x si x x x

0 i n-1
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Construccin del polinomio de interpolacin
Interpolacin a trozos
Hermite
Ejemplo: Obtener la funcin correspondiente a la
interpolacin cbica de Hermite a trozos en el intervalo
[-/2,] correspondientes a la funcin y = sen(x).
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Una ecuacin diferencial ordinaria de orden k es una
relacin entre la variable independiente x, la variable
dependiente y(x), y las sucesivas derivadas de esta ltima
hasta el orden k, y(x),y(x),,y
k
(x).
Se puede escribir :
(
( , ( ), '( ),..., ( )) 0
k
F x y x y x y x =
( ( 1
( , ( ), '( ),..., ( ))
k k
y f x y x y x y x

=
Una ecuacin en derivadas parciales es una relacin del
tipo:
( , )
dy
f x y
dx
=
Ecuaciones diferenciales ordinarias: EDOs
o bien
' ( , ) y f x y =
F =( ) = 0
2
, ( ), ( , ), , , ...
u u u
x y x u x y
x y x y


Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Definicin: Se denomina solucin de una EDO de primer
orden, y = f (x,y), a toda funcin y = s(x) tal que satisface la
siguiente igualdad: ' ( , ( )) y f x s x =
Definicin: Se denomina solucin general de una EDO
de primer orden, y = f (x,y), a toda funcin y=s(x,C), donde
C, tal que satisface la siguiente igualdad: f (x,s(x,C))=y
Para cada valor concreto de la constante C se obtendr
una solucin particular de la EDO.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Definicin: Se denomina sistema de ecuaciones
diferenciales ordinarias de primer orden a una relacin
del tipo:
'
1 1 1 2
'
2 2 1 2
'
1 2
( , , ,..., )
( , , ,..., )
...
( , , ,..., )
m
m
m m m
y f x y y y
y f x y y y
y f x y y y
=
=
=
1 2
1 2
1 2
' ( ' , ' ,..., ' )
( , ,..., )
( R , ,... ) : R ,
m
m
m
m
y y y y
y y y y
f f f x f
=
=
=
1 2
1 1 2 2 1 2 1 2
' ( , ) ( ' , ' ,..., ' )
( ( , , ,..., ), ( , , ,..., ),... ( , , ,..., )
m
m m m m
y f x y y y y
f x y y y f x y y y f x y y y
= =
=
R
m

Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Definicin: Se llama problema de Cauchy problema del
valor inicial (PVI) al conjunto formado por una EDO y una
condicin inicial:
0 0
' ( , ), [ , ]
( )
y f x y x a b
y y x
=
=
Mtodos de paso simple o unipaso: Se calcula y(x
i+1
) a
partir de la informacin proporcionada por y(x
i
).
Mtodos de paso mltiple o multipaso: Se calcula y(x
i+1
) a
partir de la informacin proporcionada por los valores
y(x
i
), , y(x
i-p
), y del teorema fundamental del clculo,
segn el cual:
( ) ( ) ( , )
i j
y x y x f x y dx = +

xi
xj
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Notacin
0
;
i
x x hi
b a
h
n
= +

=
Error global: en el paso i-simo viene dado por E
i
= y(x
i
) - y
i
.
Error local: en el paso i-simo es e
i
= (x
i
) y
i
, donde (x
i
) es
la solucin exacta del siguiente PVI:
(El error cometido en cada paso)
1 1
' ( , )
( )
i i
y f x y
y y x

=
=

y(x
i
) = valor exacto
y
i
= valor aproximado
0 i n
{
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Sistemas acoplados
Definicin: Se dice que un sistema est acoplado cuando
las funciones f
i
= y
i
dependen de todas las variables. En
otro caso se dice que el sistema est desacoplado.
Ejemplo:
' 1
1 2
' 2
2
1
( 1)
y
y y x
x
x y
y
y
= +

=
Definicin: Se llama solucin del sistema acoplado a una
lista de funciones tales que al sustituirlas en el sistema se
obtenga una identidad.
Ejemplo:
1 2
1
1
2 1 2
cos( )
( )
x C x C
y
C
y sen C x C
+
=
= +
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Definicin: Dado un sistema de ecuaciones, si todas las
condiciones impuestas se refieren al mismo punto
tendremos un problema de valor inicial o problema de
Cauchy:
1 1
( )
...
( )
m m
y a
y a

=
=
Definicin: Si las condiciones impuestas se refieren a
diferentes puntos el problema se llama problema de
contorno.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Ecuaciones diferenciales de orden superior
En general una ecuacin diferencial de orden superior se
transforma en un sistema de ecuaciones de primer orden.
Ejemplo: y + x
2
y- y cos x + 12 y = 0
Ejemplo: Dado el siguiente sistema de dos ecuaciones
acopladas de primer orden, transformarlo en una ecuacin
'
1 1 2
2
'
2 1 2
2 4 4 1
3
2
y y y x
x
y y y
= + +
= +
Ejemplo: Resolver de forma exacta la ecuacin diferencial
de primer orden y = y/x. y(1) = 5 y(0) = 0
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Teorema de existencia y unicidad de Picard
Enunciado: Sea U un abierto de y f : (a,b)
una aplicacin diferenciable.
Dado un punto y
0
U, para cada x
0
(a,b) y para todo >0,
suficientemente pequeo, existe una nica funcin
h : [x
0
-, x
0
+]B(y
0
,r) = {t R/ d(t,y
0
) r} solucin del
problema de valor inicial (P.V.I.) cuyo sistema es:
0 0
' ( , )
( )
y f x y
y x y
=
=
Es decir:
0 0
'( ) ( , ( ))
( )
h x f x h x
h x y
=
=
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos numricos
0 0
' ( , ), [ , ]
( )
y f x y x a b
y y x
=
=
i
x a ih = +

0
1
...
n
x a
x a h
x a nh
=
= +
= +

{
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Definicin: Un mtodo numrico es una ecuacin en
diferencias que contiene un cierto nmero de
aproximaciones sucesivas y consecutivas y
n+j
que permiten
calcular secuencialmente la sucesin y
n
.
Clasificacin: Si llamamos f
n
= f (x
n
, y
n
) y tenemos y
n
, y
n+1
,
y
n+2
, ..., y
n+k
, llamamos k al nmero de paso del mtodo
numrico.
Si k=1, es un mtodo de paso simple o unipaso. Si k>1,
se llama mtodo de paso mltiple o multipaso
Si se puede calcular explcitamente el trmino ms alto
Mtodo explcito, sino Mtodo implcito.
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Ejemplo:
( )
2 1 2 1
2 8 3
4
n n n n n n
h
y y y f f f
+ + + +
+ = + +
( )
2 1 1
3 2
3
n n n n
h
y y f f
+ + +
=
( )
3 2 1 2
1 1 3
19 5
2 2 4 8
n n n n n n
h
y y y y f f
+ + + +
+ = +
( )
( )
*
2 2 2
*
2 1 1
( , )
3 2 3
2
n n n n n
n n n n n
y y h f x y f
h
y y y f f
+ + +
+ + +
= +
= +
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
( )
1 1 3
1
2 1
3 2
3
4
)
) ,
3 3
2 2
) ,
3 3
n n
n
n n
n n
h
y y k k
a k f
h h
b k f x y k
h h
c k f x y k
+
= +
=
= + +
= + +
( )
1 1 2
1
2 1 1 2
2
)
) ,
2 2
n n
n
n n
h
y y k k
a k f
h h
b k f x y k k
+
+
= +
=
= + +
(
(
)
)
) (
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Definicin: Un mtodo numrico se dice que es lineal
cuando aparecen nicamente combinaciones lineales de
y
i
, los coeficientes de stas son nmeros y no funciones
( )
1
, ,..., , ,
j n j f n k n k n n
y h y y y x h
+ + +
=
( ) ( )
* * *
1 1
*
1. Si 0 0.
2. , ,..., , , , ,..., , ,
f
f n k n k n n f n k n k n n
n j n j
f
y y y x h y y y x h
M y y


+ + + +
+ +
=

j = 0, k


j = 0, k

Departamento de Matemtica Aplicada Mtodos Numricos


Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Teorema de DAHLQUIST (1956): La condicin necesaria y
suficiente para que un mtodo numrico sea convergente es
que sea consistente y sea cero-estable.
Definicin: Un mtodo numrico es cero-estable (estable)
cuando pequeas perturbaciones de las condiciones iniciales
del problema, producen pequeas perturbaciones de la
solucin.
y
n
y (x
n
)

h 0
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Cero-estabilidad
Definicin: Se llama polinomio caracterstico del mtodo
numrico al polinomio cuyos coeficientes son los
j
:
( )
j
j
p x x =
Definicin: La ecuacin caracterstica del mtodo ser:
( )
1
, ,..., , ,
j n j f n k n k n n
y h y y y x h
+ + +
=

j = 0, k

j = 0, k
( ) 0
j
j
p x x = =
j = 0, k
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Teorema: La condicin necesaria y suficiente para que un
mtodo numrico sea cero-estable es que todas las races
del polinomio caracterstico sean de mdulo que 1, y las
de mdulo 1 deben ser simples (i.e., no pueden ser races
de la derivada).
Ejemplo: ( )
1 1
, ,..., , ,
n n f n k n k n n
y y h y y y x h
+ + +
=
( )
2 1 1
2 , ,..., , ,
n n n f n k n k n n
y y y h y y y x h
+ + + +
=
( )
1 1
2 , ,..., , ,
n n f n k n k n n
y y h y y y x h
+ + +
=
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Consistencia
Definicin: Un mtodo numrico es consistente si:
( )
1
( ) ( ), ( ),..., ( ), ,
j n j f n k n k n n
y x h y x y x y x x h
+ + +

n k
R
+
=
Error de truncamiento local
0
lim 0
n k
h
R
h
+

=
(1) 0
( ( ), ( ),... ( ), , 0)
'( )
'(1)
f n n n n
n
p
y x y x y x x
y x
p

=
=
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs

j = 0, k
( )
1
, ,..., , ,
j n j f n k n k n n
y h y y y x h
+ + +
= y
n
y (x
n
)

h 0

j = 0, k
{

j = 0, k
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
( )
2 1 2 1
2 8 3
4
n n n n n n
h
y y y f f f
+ + + +
+ = + +
Ejemplo: Estudiad la consistencia del siguiente mtodo
Resumen.
Un mtodo es convergente si:
1. Todas las races del polinomio caracterstico son
de mdulo que 1, y las de mdulo 1 son simples.
2. (1) 0
( ( ), ( ),... ( ), , 0)
3. '( )
'(1)
f n n n n
n
p
y x y x y x x
y x
p

=
=
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Ejemplo: Estudiad la convergencia del mtodo de Euler:
1 n n n
y y hf
+
= +
Ejemplo: Resolved por un mtodo numrico la siguiente
ecuacin:
'
(0) 0
y x
y
=
=
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Con el siguiente mtodo numrico: y
n+1
y
n
= h x
n
Calculad la solucin exacta y comparadla con los mtodos
anteriores.
Con h=0.5, en el intervalo [0,5]
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Se calcula y(x
i+1
) a partir de la informacin proporcionada
por y(x
i
).
Mtodos de Taylor
Mtodos de paso simple
Mtodos de Runge-Kutta
Ejercicio: Escribid el mtodo de Taylor de orden 1
Ejercicio: Escribid el desarrollo de Taylor de y (x) en el punto x
i
para obtener y(x
i+1
) en el intervalo [x
i
, x
i+1
]
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple: M. Taylor
1
( , )
i i i i
y y hf x y
+
= + Mtodo de Euler:
Cota del error local:
( )
( )
1
2
,
; sup ''
2
i i
i
x x
h M
e M y

=
Ejemplo: Usad el mtodo de Euler, con h = 0.25, para
aproximar la solucin del siguiente PVI:
4
'
(0) 1
x
y xy
y
y
= +
=
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs

0 x 1

Departamento de Matemtica Aplicada Mtodos Numricos


Resolucin Numrica de EDOs
Mtodos de paso simple: M. Taylor
Ejemplo: Usad el mtodo de Taylor de orden 2, con
h=0.1, para aproximar la solucin del siguiente PVI:
' 1 ( ) 0 0.5
(0) 0
y xsen xy x
y
= +
=
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs

Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Definicin: Se define el mtodo general de Runge-Kutta
de s etapas para el problema de valor inicial
0 0
' ( , )
( )
y f x y
y x y
=
=
1 n n i i
y y h b k
+
= +
,
i n i n ij j
k f x c h y h a k = + +
por la expresin:
donde
Llamamos
i ij
c a =
1,..., i s =
1,..., i s =
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
:
m
f RxR
}

i = 1, s

j = 1, s

j = 1, s
( )
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Diagrama o Esquema de Butcher
1 11 12 1
2 21 22 2
1 2
1 2
...
...
... ... ... ... ...
...
...
s
s
s s s ss
s
c a a a
c a a a
c a a a
b b b
2 21
1 2
1 2
0 0 0 ... 0
0 ... 0
... ... ... ... ...
... 0
...
s s s
s
c a
c a a
b b b
mtodos explcitos o clsicos de Runge Kutta.
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Teorema. La condicin necesaria y suficiente para que un
mtodo de Runge-Kutta de s etapas sea convergente es
que b
0
+ b
1
+ ... + b
s
=1
Definicin: Se llama error de truncamiento local, y se
representa por T
n+1
a la siguiente expresin:
T
n+1
= y (x
n+1
) - y
n+1
, suponiendo que y
n
= y(x
n
), es decir
que es exacto en la etapa anterior.
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Mtodos de Runge Kutta de 1 etapa: (s = 1)
1 n n
y y hf
+
= +
Mtodos de Runge Kutta de 2 etapas: (s = 2)
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
1 2
2 2
1
1
2
b b
b c
+ =
=
Mtodo general de Runge-Kutta
b
1
= 1
,
i n i n ij j
k f x c h y h a k = + +
j = 1, s
( )
y
n+1
= y
n
+ h b
i
k
i

j = 1, s
( )
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
0 0 0
1 1 0
1 1
2 2
1 2 n n
y y hk
+
= +
0 0 0
1 1
0
2 2
0 1
Mtodos de Runge Kutta de 2 etapas:
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Mtodo modificado de Euler
Mtodo mejorado de Euler
( )
1 1 2
2
n n
h
y y k k
+
= + +
{
( )
1
2 1
( , )
,
n n
n n
k f x y
k f x h y hk
=
= + +
{
1
2 1
( , )
,
2 2
n n
n n
k f x y
h h
k f x y k
=
= + +
(
)
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Ejercicio: Dado el PVI
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
cuya solucin exacta es y(x)= -1/x, usad un mtodo de
Runge-Kutta de orden 2 con h=0.1 para aproximar la
solucin y comparadla con los valores reales de y.
2
2
1
' ,
(1) 1
y
y y
x x
y
=
=
1 x 2
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Mtodos de Runge Kutta de 3 etapas:
1 2 3
2 2 3 3
2 2
2 2 3 3
32 3 2
1
1
2
1
3
1
6
b b b
b c b c
b c b c
a b c
+ + =
+ =
+ =
=
0 0 0 0
1 1
0 0
3 3
2 2
0 0
3 3
1 3
0
4 4
Mtodo de Heun de tercer orden
0 0 0 0
1 1
0 0
2 2
1 1 2 0
1 2 1
6 3 6

Mtodo de Kutta de tercer orden


Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Ejercicio: Resolved mediante un mtodo de Runge Kutta
de orden 3, el siguiente P.V.I, comparando el resultado
con los obtenidos antes:
2
2
1
'
(1) 1
y
y y
x x
y
=
=
1 x 2
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Mtodos de Runge Kutta de orden 4:
1 1 2 3 4
( 2 2 )
6
n n
h
y y k k k k
+
= + + + + 0 1 i n
( )
1
2 1
3 2
4 3
( , )
,
2 2
,
2 2
,
n n
n n
n n
n n
k f x y
h h
k f x y k
h h
k f x y k
k f x h y hk
=
= + +
= + +
= + +
0 0
1 1
0
2 2
1 1
0 0
2 2
1 0 0 1 0
1 1 1 1
6 3 3 6
)
)
(
(
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos de paso simple: Runge-Kutta
Ejemplo: Resolved mediante un mtodo de Runge Kutta
de orden 4 con h=0.1, el siguiente P.V.I.:
2
' 3 ,
(0) 1
y x y
y
=
=
0 x 0.4
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos multipaso
Mtodos de paso simple o unipaso: Se calcula y(x
i+1
) a
partir de la informacin proporcionada por y(x
i
).
( ) ( ) ( , )
i j
y x y x f x y dx = +
1
[ , ]
p k p
x x
+
Mtodos de paso mltiple o multipaso: Se calcula y(x
i+1
)
a partir de la informacin proporcionada por los valores
y(x
i
), , y(x
i-p
), y del teorema fundamental del clculo,
segn el cual:
1
( ) ( ) ( , )
p p k
y x y x f x y dx
+
= +
Se sustituye f (x, y) por un polinomio de interpolacin.

xi
xj

xp-k
xp+1
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos multipaso: Adams-Bashford
Mtodos de Adams-Bashford
Corresponden al caso en el que k = 0
1
( ) ( ) ( )
p p q
y x y x P x dx
+
= +
1. Orden 2: q = 1
1. Orden 4: q = 3
( )
1 1
3
2
p p p p
h
y y f f
+
= +
( )
1 1 2 3
55 59 37 9
24
p p p p p p
h
y y f f f f
+
= + +
1 0 1 1
( ) ( ) ( ... )
p p p p q p q
y x y x h A f A f A f
+
= + + +

xp
xp+1
0 p n-1
1 1
( ) ( ) ( )
p p
y x y x P x dx
+
= +
xp
xp+1
1 3
( ) ( ) ( )
p p
y x y x P x dx
+
= +
xp
xp+1
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Ejemplo: Resolved mediante el mtodo de Adams-Bashford
de orden 2 el siguiente P.V.I., con h = 0.1
2
'( ) 3 ;
(0) 1
y x x y
y
=
=
Ejemplo: Calculad y(1), siendo y(x) la solucin del P.V.I
2
'( ) 2 ;
(0) 1
y x xy
y
=
=
1.- Usando el mtodo de Runge-Kutta de orden 4 con h=0.2
2.- Usando un mtodo de Adams-Bashford de orden 4 con
h=0.2, inicindolo con los primeros valores del apartado
anterior
3.-Obtener la solucin exacta y comparar los resultados.
Resolucin Numrica de EDOs
Mtodos multipaso: Adams-Bashford
0 x 1
0 x 0.4
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Mtodos multipaso
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Mtodos de prediccin-correccin
Utilizan de modo combinado dos mtodos multipaso.
Es un mtodo implcito, se necesita f
p+1
= f (x
p+1
,y
p+1
) para
calcular y
p+1
.
1
( ) ( ) ( , )
p p k
y x y x f x y dx
+
= +

xp-k
xp+1
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos multipaso
Mtodos de prediccin-correccin
Este obstculo se salva de la siguiente manera:
1. Se calcula por algn mtodo explcito una primera
estimacin
p+1
de y
p+1
, (valor predicho de y
p+1
). La frmula
que lo proporciona se denomina frmula predictora.
2. Dada una estimacin
p+1
, se calcula
p+1
= f (x
p+1
,
p+1
), y
una nueva estimacin para
p+1
. La frmula que lo
proporciona se denomina frmula correctora
y
y
y
f
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos multipaso: Prediccin-Correccin
Mtodo de prediccin-correccin de orden 2.
En este mtodo la frmula predictora que se utiliza es la
frmula de Adams-Bashford de orden 2:
( )
1 1
3
2
p p p p
h
y y f f
+
= +
La frmula correctora que se usa viene dada por la siguiente
expresin:
( )
1 1
2
p p p p
h
y y f f
+ +
= +
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Ejemplo: Resolver mediante un mtodo de prediccin-
correccin de orden 2 el siguiente PVI, con h=0.1:
'( ) ( ) ;
(0) 0
y x sen y x
y
= +
=
Resolucin Numrica de EDOs
Mtodos multipaso: Prediccin-Correccin
0 x 1
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Mtodos de Adams- Moulton de orden 4:
La frmula predictora es la de Adams-Bashford de orden 4
( )
1 1 2 3
55 59 37 9
24
p p p p p p
h
y y f f f f
+
= + +
La frmula correctora es:
( )
1 1 1 2
9 19 5
24
p p p p p p
h
y y f f f f
+ +
= + + +
Resolucin Numrica de EDOs
Mtodos multipaso: Prediccin-Correccin
1
( , )
p p
y y f x y dx

= +

xp-1
xp
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Ejemplo: Resolver mediante el mtodo de Adams-Moulton
de orden 4 el siguiente PVI, con h=0.1:
4 2
'( ) ;
3
(1) 1
xy
y x
y x
y
=

=
Resolucin Numrica de EDOs
Mtodos multipaso: Prediccin-Correccin
1 x 2
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Mtodos de Milne de orden 4
La frmula predictora es la dada por un mtodo multipaso
de orden 4 con p=3
( )
1 3 1 2
4
2 27
3
p p p p p
h
y y f f f
+
= + +
La frmula correctora utiliza un mtodo multipaso con p=1
y r = 2:
( )
1 1 1 1
4
3
p p p p p
h
y y f f f
+ +
= + + +
Resolucin Numrica de EDOs
Mtodos multipaso: Prediccin-Correccin
Departamento de Matemtica Aplicada Mtodos Numricos
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Ejemplo: Resolver mediante el mtodo de Milne de orden
4 el siguiente PVI, con h=0.1:
4 2
'( ) ;
3
(1) 1
xy
y x
y x
y
=

=
Resolucin Numrica de EDOs
Mtodos multipaso: Prediccin-Correccin
1 x 2
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Resolucin Numrica de EDOs
Mtodos multipaso:Prediccin-Coreccin
Observaciones:
1. Existen otros mtodos multipaso derivados de la integracin
numrica:
Mtodo de Nystrm
Mtodo de Milne-Simpson generalizado
2. Existen mtodos multipaso sustituyendo f (x, y) por otro tipo
de polinomios, especialmente para enfrentarse a
ecuaciones diferenciales cuya solucin tiene componentes
altamente oscilatorios, como polinomios trigonomtricos, es
decir, aproximando f(x,y(t)) por funciones exponenciales
convenientes
Mtodos_Numricos
A.H.Encinas
Departamento de Matemtica Aplicada Mtodos Numricos
Resolucin Numrica de EDOs
Introduccin
Errores
Aproximacin de races
Interpolacin
Resolucin Numrica de EDOs
Observaciones:
1. Existen tambin mtodos basados en derivacin numrica,
sustituyendo y(x) por un polinomio de interpolacin y
derivndolo en y(x) = f (x, y(x))

Das könnte Ihnen auch gefallen