Professional Documents
Culture Documents
TESIS DOCTORAL
Universidad de La Rioja
Servicio de Publicaciones
2012
Esta tesis doctoral, dirigida por el doctor D. Jos Antonio Ezquerro Fernndez, fue leda el 20 de abril de
2012, y obtuvo la calificacin de Sobresaliente Cum Laude.
2007/05 y 2009/04
01952/M T M y EGI11/56 del
LABORA
Universidad de La Rioja.
M T M 2008
A Tomasa, mi madre
Agradecimientos
Tras estos aos como doctorando me siento obligado a mencionar en
esta memoria a diferentes personas e instituciones que sin su apoyo, hubiera
sido imposible el desarrollo de esta tesis. Por ello:
Agradezco a mi director de tesis, Jos Antonio, todo el esfuerzo realizado y el haberme prestado toda su atencin. A Michel, quien ha estado
detrs de toda mi labor investigadora. A Guti, por iniciarme en mis estudios de tercer ciclo. A los dems miembros del grupo PRIENOL por la
conanza que me han prestado. A todos los componentes del Departamento
de Matemticas y Computacin por su apoyo.
Agradezco a mis compaeros y amigos de doctorado, de este departamento y de otros, as como de otras universidades, Claudia, Alberto, Mara,
Fran, Jnathan, Clara, Martn, Sara y Yolima nuestras reuniones cientcas o ldicas y nuestros ratos de caf, sin ellos hubiera sido ms difcil el
da a da.
vii
ndice
Introduccin
1. Preliminares
1.1.
Espacios de Banach . . . . . . . . . . . . . . . . . . . . . .
1.1.1.
1.1.2.
1.2.
9
10
. . . . . . . . . . . .
10
1.1.3.
Diferenciacin de operadores . . . . . . . . . . . . .
14
1.1.4.
Integral de Riemann
18
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
20
25
2.1.
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . .
25
2.2.
Planteamiento de partida . . . . . . . . . . . . . . . . . . .
27
2.2.1.
Resultados principales
27
2.2.2.
2.2.3.
Unicidad de solucin
2.2.4.
2.3.
. . . . . . . . . . . . . . . .
n-sima
. . . . . . .
37
. . . . . . . . . . . . . . . . .
44
. . . . . . . . . . . .
49
. . . . . . . . . . . . . . . .
49
2.3.1.
Resultados principales
2.3.2.
2.3.3.
Unicidad de solucin
2.3.4.
n-sima
. . . . . . .
57
. . . . . . . . . . . . . . . . .
59
. . . . . . . . . . . . . . . .
65
. . . . . . . . . . . . . . . . . . . . . . . . .
67
ix
ndice
2.3.6.
2.3.7.
70
. . . . . . . . . . . . . . . .
72
93
3.1.
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . .
93
3.2.
Convergencia semilocal . . . . . . . . . . . . . . . . . . . .
94
3.3.
3.2.1.
Unicidad de solucin
3.2.2.
102
. .
104
. . . . . . . . . . . . . . .
105
. . . . . . . . . . . . . . .
106
. . . . . . . . . . . . . . .
108
. . . . . . . . . . . . . . .
109
Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . .
111
3.4.1.
Aplicacin 1 . . . . . . . . . . . . . . . . . . . . . .
115
3.4.2.
Aplicacin 2 . . . . . . . . . . . . . . . . . . . . . .
116
Casos particulares . . . . . . . .
F 00 es Lipschitz-centrada
00
3.3.2. F es Hlder-centrada .
00
3.3.3. F es -centrada . . . .
3.3.1.
3.4.
. . . . . . . . . . . . . . . . .
121
4.1.
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . .
121
4.2.
Convergencia semilocal . . . . . . . . . . . . . . . . . . . .
124
4.3.
Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . .
134
4.3.1.
Aplicacin 1 . . . . . . . . . . . . . . . . . . . . . .
134
4.3.2.
Aplicacin 2 . . . . . . . . . . . . . . . . . . . . . .
139
143
Bibliografa
147
ndice de guras
2.1.
41
2.2.
42
2.3.
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
2.4.
59
2.5.
60
2.6.
2.7.
2.8.
2.9.
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
Grca de F (x) = x a . . . . . . . . . . . . . . . . . . .
61
73
xima
(t)
con
t0 = 0
65
77
. . . . .
91
. . . . . . . . . . . .
107
3.1.
3.2.
. . . . . . . . .
116
3.3.
119
4.1.
. . . . . . . .
138
4.2.
141
xi
ndice de Tablas
2.4.
3
2011, t = 0,012290 . . . y s = 0,015201 . . . . . . . . . . . .
Solucin numrica de (2.26) con a = 0, b = 1 y = 1 . . .
78
2.5.
79
2.6.
89
2.7.
. . . . . . . . . . . .
91
3.1.
. . . . . . . . . . . . . . . . .
116
3.2.
. . . . . . . . . . . . . . . . .
118
3.3.
119
3.4.
120
4.1.
137
4.2.
137
4.3.
139
4.4.
141
2.1.
2.2.
2.3.
. . . . . . . . . . . . . . . . .
43
59
67
xiii
Introduccin
El problema de resolver una ecuacin no lineal ha interesado a los
matemticos desde siempre. Generalmente no es posible determinar explcitamente las soluciones de estas ecuaciones. Basndonos en el trabajo
de Knill, [77], parece ser que ya las civilizaciones mesopotmicas, casi dos
mil aos antes de Cristo, conocan algoritmos, como la famosa frmula de
Hern, para aproximar la raz cuadrada de un nmero real positivo. Ms
de trescientos aos han pasado desde que un procedimiento para resolver
una ecuacin algebraica fue propuesto por Newton en 1669 y ms tarde
por Raphson en 1690 [26]. El mtodo es ahora llamado mtodo de Newton
o mtodo de Newton-Raphson, siendo una tcnica central hoy en da para
resolver ecuaciones no lineales. Esta segunda denominacin para el mtodo
de Newton es consecuencia de la contribucin de Joseph Raphson a la tcnica ya propuesta por Newton, aportando la idea de iteracin y simplicando
el aspecto operacional. Es por esta razn por la que muchos autores denominan el proceso dado por Newton como mtodo de Newton-Raphson, que
es actualmente el mtodo iterativo ms conocido y empleado para aproximar soluciones de ecuaciones no lineales. Es bien sabido que este mtodo
iterativo bautizado por Fourier ([55]) como
la mthode newtonniene
tiene
convergencia cuadrtica.
Con la notacin
f (x) = 0,
englobamos el problema de encontrar una incgnita
x,
nmero real o complejo, un vector, una funcin, etc., a partir de los datos
que nos proporciona la funcin
f,
Introduccin
x0 ,
xn+1 = G(xn )
{xn } de aproximaciones
lm xn = x , donde x es
n+
x0
o simplemente
{xn }
converge a
x ,
a veces, es relati-
es
f (x) = 0,
aproximacin inicial
x0
de
xn+1 = xn
f (xn )
,
f 0 (xn )
n 0.
[55]. En 1829,
Cauchy prob primero la convergencia del mtodo suponiendo la no existencia de ninguna solucin [34].
Introduccin
= 1)
en una nota
Kantorovich
x0
F (x) = 0,
donde
(1)
de Banach
Y,
dado
x0 ,
n 0,
0
siendo F (xn ) la derivada de Frchet del operador F (x) en el punto xn y
[F 0 (xn )]1 su operador inverso, tiene convergencia cuadrtica a la solucin.
La tcnica ms utilizada para abordar el estudio de la convergencia de
un proceso iterativo en espacios de Banach se basa en el conocido principio
de la mayorante (vanse [7, 8, 90, 131]), idea que surge a partir de la de
sucesin mayorizante introducida por Kantorovich ([69, 72, 75]) para demostrar la convergencia semilocal del mtodo de Newton en estos espacios.
Inicialmente, Kantorovich [70] public en 1939 un artculo sobre mtodos iterativos para ecuaciones funcionales en un espacio de tipo Banach y
aplic su teora desarrollada all para obtener un resultado de convergencia para el mtodo de Newton sobre la base del principio de asignacin
de contraccin de Banach. Ms tarde, en 1948, Kantorovich [72] estableci
un teorema de convergencia semilocal para el mtodo de Newton en un
espacio de Banach, el cual es ahora conocido como el teorema de Kantorovich o de Newton-Kantorovich. La demostracin de dicho resultado de
Kantorovich se basa en el estudio de sucesiones recurrentes. Tres aos despus, Kantorovich [73] introdujo el principio de la mayorante para dar una
1 Adems
nocido por sus trabajos sobre asignacin ptima de recursos escasos, por los cuales
fue galardonado con el Premio Nobel en Economa en 1975, compartido con Tjalling
Koopmans.
Introduccin
un teorema de punto de atraccin fue dado por Runge [112], el cual tambin recalc la convergencia cuadrtica. Independientemente, un resultado
para
m=2
m,
m=2
m = 3.
bock [109]. Luego Kantorovich [71, 72] dio su ahora famoso resultado de
convergencia semilocal para el mtodo de Newton en espacios de Banach.
Un ao despus Kantorovich [69] present una nueva demostracin usando
por primera vez el principio de la mayorante (ver tambin [73, 74] y [75]).
Esto llev a una nueva demostracin de la convergencia para el mtodo
de Newton por Ortega [93] y la teora general de convergencia para procesos relacionados con Newton por Rheinboldt [110]. Ambos resultados y
sus demostraciones se dan en espacios de Banach con operadores lineales
acotados denidos en todo el rango del espacio.
El mtodo de Newton ha sido aplicado en varias ecuaciones funcionales y es imposible dar una lista de publicaciones relevantes aqu. Para un
estudio de aplicaciones de ecuaciones integrales, ver Anselone [6] y, en particular, los artculos de Moore [89] y Noble [92]. Para problemas de dos
puntos con valores en la frontera, ver, por ejemplo, los libros de Henrici
[63], Keller [76], y Lee [80]. Para problemas de valor en la frontera de tipo
elptico, ver Bellman y Kalaba [23] y Collatz [35]. Observamos tambin
que el teorema de Newton-Kantorovich o resultados relacionados han sido frecuentemente usados como herramientas para obtener teoremas de
existencia; ver, por ejemplo, Moser [91] y Mamedov [84].
Una caracterstica destacable de los resultados de Kantorovich es que
Introduccin
Q-orden
y el
R-orden,
que
R-orden
Introduccin
torovich al operador
F,
dada por
kF 00 (x)k k,
donde
con
x ,
k 0,
(2)
X.
Esta condicin no
siempre se verica, como por ejemplo en las ecuaciones integrales no lineales de tipo Hammerstein mixto
x(s) = u(s) +
m Z
X
i=1 a
donde
s [a, b],
conocidas y
funciones
Tampoco
es sencillo localizar un dominio donde se cumple (2) y que adems contenga una solucin. Para solventar la dicultad anterior, una alternativa
es prelocalizar la solucin en algn dominio 0 y buscar en l una
00
cota superior para kF (x)k (vase [52]). Notemos que adems tendremos
que asegurar que existe una solucin en
0 .
la ecuacin de Bratu
x(s) =
s [a, b],
a
donde
G(s, t)
es la funcin de Green,
kF 00 (x)k (kxk),
donde
: R+ {0} R
x ,
(3)
Introduccin
operador
ve que la anterior, como puede verse en los trabajos [10, 11, 50, 51, 101,
110, 130], esta condicin suele llevar consigo una resolucin del dominio
de puntos de salida vlidos para el mtodo de Newton. En el captulo 3,
el principal objetivo no es exigir al operador
condiciones ms suaves
que (2), sino ms fuertes, que persiguen una modicacin, que no una restriccin, del dominio de puntos de salida para el mtodo de Newton, de
manera que podamos empezar el mtodo de Newton en puntos a partir de
los cuales el teorema de Newton-Kantorovich no puede asegurar la convergencia semilocal del mtodo de Newton, as como ofrecer una mejora de
los dominios de existencia y unicidad de solucin y de las cotas a priori
del error. Para ello exigiremos al operador
segunda derivada de
F.
x(s) = u(s) +
s [a, b],
R,
donde
el
Captulo 1
Preliminares
1.1.
Espacios de Banach
El origen de la teora de los espacios de Banach se encuentra en la publicacin en 1932 del clsico Thorie des oprateurs linaires [20] por parte
del matemtico polaco Stefan Banach (18921945). Desde su nacimiento,
esta teora estuvo relacionada con el resto de ramas del anlisis.
Tras unos aos de auge, la teora pareca condenada al ostracismo. Sin
embargo, durante los aos setenta y principios de los ochenta del siglo
XX, la teora tuvo un nuevo periodo de gran actividad, se resolvieron viejos problemas y lo que es ms importante, se plantearon otros nuevos y
se establecieron nuevas conexiones con otras ramas del anlisis, tales como anlisis armnico, funciones de variable compleja, series ortonormales,
teora de aproximacin o probabilidad. De la bibliografa acerca de los espacios de Banach podemos destacar los textos clsicos de Dunford-Schwarz
[48] y Day [42] donde se recogen los principales resultados de la poca comprendida entre los aos treinta y cincuenta. Resultados ms recientes se
pueden encontrar en Lindenstrauss-Tzafriri [81], [82] y Beauzamy [22].
Como dice Wojtaszczyk [120] en su introduccin, de los espacios de
Banach no podemos esperar que nos resuelvan los problemas que estemos
tratando, pero s que nos hagan ver dichos problemas con un nuevo enfoque
y nos permitan aislar sus caractersticas esenciales. Obtendremos as una
gran generalidad en los resultados que obtengamos. Adems en muchos
casos, el utilizar las tcnicas y los teoremas generales de los espacios de
Banach nos puede sugerir nuevos problemas.
Al trabajar con espacios de Banach abarcamos una gran amplitud de
situaciones, tales como ecuaciones en el campo real o complejo, sistemas
10
Captulo 1. Preliminares
kxk > 0
si
x 6= 0, k0k = 0,
kxk = ||kxk
para todo
K,
kx + yk kxk + kyk.
Adems,
0<a<b
a, b
tales que
para todo
x X.
Es conocido que en un espacio lineal de dimensin nita todas las normas son equivalentes [79].
X;
completitud.
11
Denicin 1
Denicin 2
aplica el espacio
De especial inters son aquellos operadores que conservan las operaciones algebraicas de los espacios donde estn denidos.
Denicin 3
L(x) = L(x).
Notar que a partir de ahora emplearemos indistintamente la notacin
L(x)
Lx
X,
y la derecha
12
Captulo 1. Preliminares
X e Y lo denotaremos L(X, Y ).
L(X). Es fcil ver que L(X, Y ) es
cuerpo K .
X = Y,
lineales
Si
mente
denotaremos simple-
x = 0,
Denicin 5
como
kT (x)k
kxk
es acotado, entonces
kT (x)k kT kkxk.
Otra frmula alternativa, cuando adems el operador T es lineal, para
la norma anterior es la siguiente:
kT k = sup kT (x)k.
(1.2)
xD(T )
kxk=1
Que estas frmulas son equivalentes y que todas ellas son en efecto normas puede verse en [79]. Adems, tambin se tiene que el espacio
con
L(X, Y )
Teorema 1.1.1
Denicin 6
lm xn = x se tiene que
lm T (xn ) = T (
x).
Teorema 1.1.2
Entonces,
13
Lx = y ,
donde
es un
operador lineal.
Denicin 7
un operador L
L1
en
X.
kLk k < 1.
Entonces el operador I L tiene inverso continuo y adems
k(I L)1 k
1k
Unas ligeras variantes del lema anterior son los siguientes dos lemas.
Lema 1.1.4
kI M Lk < 1.
En este caso,
L1 =
(I M L)n M
n=0
kL1 k
kM k
1 kI M Lk
14
Captulo 1. Preliminares
Lema 1.1.5
kM Lk <
En este caso,
L1 =
kM 1 k
(I M 1 L)n M 1
n=0
kL1 k
kM 1 k
kM 1 k
1 kI M 1 Lk
1 kM 1 kkM Lk
Denicin 8
(1.3)
entonces se dice que F es diferenciable Gateaux (o diferenciable dbilmente) en x0 . En esta situacin, el operador lineal L es la derivada de F en
x0 y lo denotaremos L = F 0 (x0 ).
Sin embargo, la derivada Gateaux no es una buena generalizacin del
concepto de derivada para funciones escalares, como pone de maniesto
la existencia de funciones derivables Gateaux y no continuas. Para estar
seguros de que las funciones diferenciables son continuas, introducimos a
continuacin un concepto de derivada ms fuerte.
15
Denicin 9
Si el lmite de la ecuacin (1.3) es uniforme en el conjunto {x X; kxk = 1}, entonces se dice que F es diferenciable Frchet o, simplemente, diferenciable en x0 . En este caso, el operador lineal
L = F 0 (x0 ) se llama derivada de F en x0 .
Equivalentemente, el concepto de diferenciabilidad se puede expresar
de
en
de manera que
entonces
es diferenciable Frchet en
denomina derivada de
en
x0
x0
y el operador
F 0 (x0 ) = L
se
[a, b]
entonces
(a, b).
x, y
une
[x, y]
x, y
el
Corolario 1.1.7
kF (x1 ) F (x0 ) F 0 (
x)(x1 x0 )k
sup
F 0 x0 + (x1 x0 ) F 0 (
x)
kx1 x0 k con x [x0 , x1 ].
0<<1
16
Captulo 1. Preliminares
que
de
con la norma
F 0 . El resultado
en
x0
y se denota
L(X, L(X, Y ))
vamos a introducir un
nuevo concepto.
Sea
de
(i)
un elemento
Para todo
de
Y,
x1 , x2
x1 , x01 , x2 , x02 X
y para todo
, R,
Existe
M >0
x1 , x2 X ,
El espacio
con el
B(X 2 , Y ).
17
tiene que estos dos espacios son linealmente isomtricos [75]. As, dado
B B(X 2 , Y ) y jado un elemento x1 X , podemos denir el operador
lineal
X e Y son de dimensin
B(X 2 , Y ) por una matriz.
Si
de
F , tenemos
00
que si F es diferenciable dos veces en un punto x0 X , entonces F (x0 )
2
B(X , Y ) y
F 0 (x0 + hx0 ) F 0 (x0 )
= F 00 (x0 )(x0 , ).
(1.4)
lm
h0
h
En consecuencia para todo x X tenemos
Volviendo al concepto de derivada segunda de un operador
h0
h
F 00 (x0 )(x0 , x) = lm
(1.5)
Notar que (1.4) y (1.5) no son equivalentes. Puede suceder que exista
B B(X 2 , Y ) tal que para todo x, x0 X se cumpla
un operador
B(x0 , x) = lm
00
y sin embargo no existir F (x0 ). La condicin necesaria y suciente para
00
0
que exista F (x0 ) es que, para cada x X , el lmite de la ecuacin (1.5)
sea uniforme para todo
xX
con
kxk = 1.
Teorema 1.1.8
18
Captulo 1. Preliminares
Denicin 10
F (k )(tk+1 tk )
k=0
F (t) dt.
Y . Una condicin
funcin F sea continua
[a, b].
Denicin 11
x1
T (x) dx =
x0
T = F 0 , donde
Teorema 1.1.9
19
En la situacin anterior
Z
x1
x0
Lema 1.1.10
[0, 1]
kx1 x0 k t1 t0 ,
entonces
x1
x0
Z
T (x) dx
t1
(t) dt.
t0
Corolario 1.1.11
Si se cumple la desigualdad
kT (x)k (t)
para x y t vericando
kx x0 k t t0 ,
entonces
x1
x0
T (x) dx
t1
(t) dt,
t0
Supongamos que F es un operador n veces diferenciable en la bola B(x0 , r), r > 0, y que F (n) es integrable en el segmento [x0 , x1 ] con x1 B(x0 , r). Entonces
F (x1 ) = F (x0 ) +
n1
X
1 (k)
F (x0 )(x1 x0 )k + Rn (x0 , x1 )
k=1 k!
20
Captulo 1. Preliminares
donde
Rn (x0 , x1 ) =
Z x1
1
F (n) (x)(x1 x)n1 dx
(n 1)! x0
Z 1
1
=
F (n) x0 + t(x1 x0 ) (x1 x0 )n (1 t)n1 dt.
(n 1)! 0
Notemos que tambin podemos considerar
Rn (x0 , x1 ) =
1.2.
Z x1
1
F (n1) (x) F (n1) (x0 ) (x1 x)n2 dx.
(n 1)! x0
Recogemos en esta seccin alguno de los principales resultados obtenidos por Kantorovich sobre la convergencia del mtodo de Newton en
espacios de Banach.
En 1948, Kantorovich [72] estableci, utilizando relaciones de recurrencia, un resultado conocido actualmente como Teorema de Kantorovich y
que resume los resultados bsicos referentes a convergencia del mtodo, estimacin del error y unicidad de soluciones (ver tambin [75], [94] y [96]).
Un ao ms tarde, utilizando sucesiones mayorizantes, el mismo Kantorovich [69], dio otra demostracin del mismo teorema.
La tcnica de Kantorovich no es la nica forma de abordar el estudio
del mtodo de Newton en espacios de Banach. Posteriormente, otros autores han estudiado dicho mtodo en distintos contextos. As, Rheinboldt
[110] obtiene resultados acerca de la convergencia del mtodo de Newton
como caso particular de unos resultados sobre ecuaciones en diferencias.
Destacamos tambin el estudio realizado por Ptk [104], [105] y en colaboracin con Potra [101], a partir del mtodo llamado induccin no discreta
o induccin continua. La aplicacin de este mtodo a los procesos iterativos [102] abri nuevas vas de estudio, sobre todo en lo relativo al anlisis
del error [7], [8], [90], [131]. Por ltimo, citamos tambin los trabajos de
Alefeld-Herzberger [2] y Moore [88], en los que se aplican las herramientas
del anlisis de intervalos para probar la convergencia de procesos iterativos
(mtodo de Newton y similares) para resolver sistemas de ecuaciones no
lineales.
En esta seccin nos ocuparemos del conocido teorema de NewtonKantorovich. Empezamos introduciendo el concepto de sucesin mayori-
21
Denicin 12
kxn+1 xn k tn+1 tn ,
n = 0, 1, 2, . . .
{tn }
kx xn k t tn ,
n = 0, 1, 2, . . .
La desigualdad anterior nos permite tambin obtener cotas del error para la
sucesin denida en espacios de Banach en trminos de su correspondiente
mayorizante.
Introducimos ahora la siguiente notacin que utilizaremos a lo largo de
toda la memoria:
B(x0 , r) = {x X; kx x0 k < r}
B(x0 , r) = {x X; kx x0 k r}.
0 = B(x0 , r0 ) X .
F (x) = 0
(1.6)
n 0.
(1.7)
(2)
Para ello, consideran una funcin real auxiliar f de clase C
([t0 , t0 ]) con
t0 t0 r0 , y prueban, bajo las hiptesis descritas a continuacin (que
llamaremos condiciones generales de Kantorovich), que la convergencia de
la sucesin de Newton est garantizada en el espacio de Banach
X.
22
Captulo 1. Preliminares
Teorema 1.2.1
Sea F : 0 X Y un operador dos veces continuamente diferenciable Frchet denido en el dominio 0 = B(x0 , r0 ) contenido en un espacio de Banach X y con valores en un espacio de Banach
Y . Sea f C (2) ([t0 , t0 ]) una funcin escalar. Supongamos que se cumplen
las siguientes condiciones:
f (t0 )
,
f 0 (t0 )
kx xn k t tn ,
n 0,
f (t) = 0
(1.8)
cumple ciertas
el
p(s) =
s s0
k
(s s0 )2
+ ,
2
23
(C1 ) k0 k ,
(C2 ) k0 F (x0 )k ,
(C3 ) kF 00 (x)k k , x ,
(C4 ) k
1
,
2
(C5 ) B(x0 , s s0 ) ,
siendo
s = s0 +
1 2k
,
k
y existe para
x0 .
Sea F :
X Y un operador dos veces continuamente diferenciable Frchet
denido en un dominio abierto convexo no vaco de un espacio de Banach X y con valores en un espacio de Banach Y . Supongamos que se
verican las condiciones (C1 )(C5 ). Entonces la ecuacin (1.6) tiene una
solucin x y la sucesin de Newton dada por (1.7) es convergente a esta
solucin x a partir de x0 , vericndose que xn , x B(x0 , s s0 ), para
1
todo n 0. Adems, si k < , x es la nica solucin de F (x) = 0 en
2
1 + 1 2k
1
B(x0 , s s0 ) con s = s0 +
; y si k = , entonces
k
2
x es nica en B(x0 , s s0 ).
La demostracin de los dos teoremas anteriores puede verse en [75].
Por otra parte, sabemos que las propiedades de convergencia dependen
de la eleccin de la distancia
k k,
donde z = l
m zn . Una medida muy utilizada habitualmente de la velon+
una sucesin
cidad de convergencia es el
R-orden
continuacin.
punto z X , un nmero 1 y
Sean
a un
en ( ) =
n
n
si
si
Banach
= 1,
> 1,
(X, k k)
n 0.
que converge
24
Captulo 1. Preliminares
(i)
Decimos que
existen dos
es un
si
kzn z k Bben ( ) .
(ii)
Decimos que
es el
existen constantes
si
n 0.
(ii)
es complicado, por
(i).
R-orden de convergencia de la sucesin
{zn }, entonces diremos que la sucesin {zn } tiene R-orden de convergencia
al menos . Este es el argumento utilizado habitualmente para estudiar el
eso normalmente solo se buscan acotaciones superiores como las de
Por tanto, si encontramos un
R-orden de convergencia, es conocido que el mtodo de Newton (1.7) tiene R-orden de convergencia al menos
Utilizando la denicin anterior de
dos ([75]).
Captulo 2
Generalizacin de las condiciones
clsicas de
Newton-Kantorovich
2.1.
Introduccin
(C3 )
kF 00 (x)k (kxk),
donde
: R+ {0} R+
x ,
(2.1)
(C3 )
Newton-Kantorovich.
A partir de las condiciones
(C1 )(C3 )
1
= ,
f 0 (s0 )
s0 , sn+1 = sn
f (sn )
,
f 0 (sn )
n 0,
f (s0 )
=
f 0 (s0 )
f 00 (s) = k,
s0 0, s0 R y s0 s0 s s0 , siendo s
pequea mayor que s0 de la ecuacin f (s) = 0.
donde
s [s0 , s0 ],
la solucin real ms
25
26
Newton-Kantorovich
(C3 ),
f,
p(s) =
s s0
k
(s s0 )2
+
2
(2.2)
{sn }, Kanto-
ad hoc,
que la
(C3 ).
(C1 ), (C2 )
resolviendo un problema
funciones escalares, a partir de las cuales se construyen las sucesiones mayorizantes para el mtodo de Newton, resolviendo problemas de valor inicial.
Analizaremos aqu dos situaciones. La primera que sale de forma natural,
seccin 2.2, y la segunda que se desarrolla para solventar el problema que
presenta la primera y que est relacionado con la independencia entre las
aproximaciones iniciales del mtodo de Newton en el espacio de Banach
es constante es precisamente la
27
2.2.
Planteamiento de partida
kxk t
por ser
no decreciente.
Teorema 2.2.1
1
,
f 0 (t0 )
f (t0 )
,
f 0 (t0 )
28
Newton-Kantorovich
Entonces la ecuacin F (x) = 0 tiene una solucin x y la sucesin de Newton (1.7) es convergente a esta solucin a partir de x0 . Adems, xn , x
B(x0 , t kx0 k) y
kx xn k t tn ,
donde tn = tn1
n 0,
f (tn1 )
, para todo n 1.
f 0 (tn1 )
t .
{tn }
es montona y acotada.
Es fcil probar por induccin que tn
para todo
f (t)
f (t)f 00 (t)
0
. Notemos que Nf (t) =
> 0 en [t0 , t ), puesto
f 0 (t)
f 0 (t)2
0
0
que f decrece en [t0 , t ) por ser f (t0 ) < 0 y f (t) < 0 en [t0 , t ), como
0
00
0
consecuencia de que f es creciente al ser f (t) 0 en [kx0 k, t ]. En con
Nf (t) = t
Como
j=1
que
n1 (tn1 , t ),
tn t .
tn tn1 =
ya que
f (t) > 0
f 0 (t) < 0
en
f (tn1 )
0,
f 0 (tn1 )
[t0 , t ).
Luego la sucesin
{tn }
es creciente.
En consecuencia,
tanto, existe
lmites en
nica raz
n+
es la
xn , para
x1 = x0 0 F (x0 )
todo
n.
Observamos que
x1
Como
kx1 x0 k = k0 F (x0 )k
f (t0 )
= t1 t0 t t0 t kx0 k,
f 0 (t0 )
es claro que
29
x1 B(x0 , t kx0 k) .
Z x
1 00
F (x) dx
kI 0 F (x1 )k k0 kkF (x1 ) F (x0 )k k0 k
x0
Z 1
k0 k
F 00 x0 + t(x1 x0 ) (x1 x0 ) dt
0
1 Z1
0
f 0 (t
f 00 t0 + t(t1 t0 ) (t1 t0 ) dt
0) 0
1 Z t1 00
1 0
0
f (t) dt = 0
f (t1 ) f 0 (t0 )
f (t0 ) t0
f (t0 )
0
f (t1 )
< 1,
= 1 0
f (t0 )
ya que
ser
por ser
f 00 (t) 0
en
[kx0 k, t0 ],
f 0 (t1 )
< 1,
f 0 (t0 )
0<
f 0 (t1 ) < 0,
kx1 x0 k t1 t0 .
Luego existe
si
kx0 k t0
por
(2.3)
f 0 (t1 0 )
k0 k
1
k1 k
f 0 (t1 ) = 0
0
1 kI 0 F (x1 )k
f
(t
1)
0
f (t )
0
x1
x0
Z 1
0
x1
x0
F 00 (x)(x1 x) dx
00
F (x)(x1 x)dx
F 00 x0 + t(x1 x0 ) (1 t)(x1 x0 )2 dt
kF (x1 )k =
00
F x0 + t(x1 x0 )
(1 t)kx1 x0 k2 dt
0
Z 1
Z t1
0
f 00 t0 + t(t1 t0 ) (1 t)(t1 t0 )2 dt =
= f (t1 ),
t0
f 00 (t)(t1 t) dt
30
Newton-Kantorovich
f (t1 )
0
= t2 t1 .
f (t1 )
Por tanto, kx2
t2 t0 t t0 t
x0 k kx2 x1 k + kx1 x0 k t2 t1 + t1 t0 =
kx0 k y x2 B(x0 , t kx0 k) .
kj k
1
f 0 (tj )
con
kF (xj )k f (tj ),
kxj+1 xj k tj+1 tj
Como
observamos que
ya que
f 0 (t1n1 )
kn1 k
1
f 0 (tn ) = 0
kn k
0
1 kI n1 F (xn )k
f (tn )
f 0 (t
)
n1
31
xn
xn1
1
xn
xn1
F 00 (x)(xn x) dx
F 00 (x)(xn x) dx
kF (xn )k =
00
F xn1 + t(xn xn1 )
(1 t)kxn xn1 k2 dt
tn
tn1
de manera que
f (tn )
= tn+1 tn .
f 0 (tn )
kF (x0 )k + max f 00 tn + (tn t0 ) (t t0 ),
0
0<<1
0.
Notemos que el anterior teorema general de convergencia (teorema
2.2.1) para el mtodo de Newton se diferencia del establecido por Kantorovich en la dependencia que presenta del valor
kx0 k,
t0
y su relacin con
32
Newton-Kantorovich
Una vez visto este teorema, vamos a obtener dos resultados de convergencia en funcin de las condiciones que elijamos para construir la funcin
f.
(kxk)
por
resultado.
Teorema 2.2.2
Entonces la ecuacin F (x) = 0 tiene una solucin x y la sucesin de Newton dada por (1.7) es convergente a esta solucin a partir de x0 . Adems,
xn , x B(x0 , 1 kx0 k) y
kx xn k 1 tn ,
donde tn = tn1
Demostracin.
n 0,
f (tn1 )
, para todo n 1.
f 0 (tn1 )
1
f 0 (t
0)
= ,
f (t0 )
=
f 0 (t0 )
f 00 (t) = k.
As,
f (t) =
33
k
t t0
(t t0 )2
+
2
denido en
[t0 , t0 ].
1
+
kt
+
1 2k
0
t0 1 =
.
k
Las condiciones
kF 00 (x)k f 00 (t) = k
Las condiciones
(K4 )
(K5 )
para
(K3 )
(K1 )
(K2 )
del
es trivial, ya que
kxk t [kx0 k, t0 ].
que
1 + kt0 + 1 2k
1 =
k
1 + kt0 1 2k
2 =
1
y t = 1 . Finalmente,
2
X,
x0 de la sucesin
kx0 k t0 .
y 00 (s) k = 0,
y(s0 ) = ,
1
y 0 (s0 ) =
y 0 (s0 ) =
1
,
1
y 0 (s) = k(s s0 ) ;
y(s0 ) = , se sigue
tenemos
niendo en cuenta
y(s) =
k
s s0
(s s0 )2
+
2
(2.5)
34
Newton-Kantorovich
(C1 ), (C2 )
kxk t
por ser
consideramos
kF 00 (x)k (t),
con
: [t0 , +) R
para
kxk t,
(t0 ) 0.
El
00
y (t) (t) = 0,
y(t0 ) = ,
(2.6)
1
y 0 (t0 ) =
Teorema 2.2.3
t0 t0
donde es la funcin que se dene a partir de (2.1).
0
(t)
es una funcin
t0 = s0 .
(A1 ) x0 ,
el operador
0 = [F 0 (x0 )]1
est denido y
k0 k ,
(A2 ) k0 F (x0 )k ,
(A3 ) kF 00 (x)k (kxk),
con
x ,
donde
: R+ {0} R
es una
(A4 ) f () 0,
donde
cin positiva de
de
(t),
f (t)
1
W (t) W (t0 ) = 0,
siendo
W (t)
es una solu-
una primitiva
35
donde
es la menor raz de
f (t) = 0
en
{sn }
t0
f (t) = 0
tn+1 = Nf (tn ) = tn
f (tn )
,
f 0 (tn )
n 0,
(2.8)
a partir de
condiciones
cesitamos
(A1 )(A5 ).
Comenzamos
Lema 2.2.4
(A3 ).
Demostracin.
a)
Como
f 0 () = W () W (t0 )
entonces
R+ ,
es un mnimo de
es el nico mnimo de
1
=0
f en R+ .
f en R+ .
f 00 (t) = (t) 0, t R+ ,
Adems, al ser
convexa en
36
Newton-Kantorovich
b)
Sabemos que
es convexa, luego
f 0 () = 0,
decrece en (t0 , ).
< 0
c)
Si
f () < 0,
entonces
como
f (t0 ) =
f0
t0 <
>0
(t0 , ). Luego f
es creciente. Como
y
f 0 (t) < 0
f () < 0,
en
f 0 (t0 ) =
entonces
tiene al
R+ por ser una funcin continua. Como f es de(t0 , ), entonces t es raz de f y t0 < t < . Si f () = 0,
es una raz doble de f y tomamos t = .
Enunciamos ahora el resultado de convergencia semilocal para la sucesin de Newton (1.7) en el espacio de Banach
X.
Teorema 2.2.5
kx xn k t tn ,
donde tn = tn1
n 0,
f (tn1 )
, para todo n 1, y f denida en (2.7).
f 0 (tn1 )
(K1 )
(K2 )
es obvio y el de
(K3 )
kxk t,
con
t [kx0 k, t0 ].
Nota 2.2.6
1
Notemos que si k = en el teorema 2.2.2 y f () = 0
2
en el teorema 2.2.5, entonces las respectivas funciones f tienen una raz
doble.
37
n-sima
a.
R, M R,
= 0, donde F : = (M, M )
N (n 2) y a R+ . En este
caso,
1
1
=
k0 k = 0
= ,
|F (x0 )|
n|x0 |n1
kF 00 (x)k = n(n 1)|x|n2 ,
F (x )
|xn0 a|
0
=
k0 F (x0 )k = 0
= ,
F (x0 ) n|x0 |n1
k = n(n 1)M n2
n 1 n2 |xn0 a|
|xn0 a|
n
1
k =
M
2n2
2n2
2
n
|x0 |
|x0 |
2(n 1)M n2
y que
|x0 | t0 .
(2.9)
x0 (M, n a),
Si
x0 ( n a, 0),
x0 (M, n a),
x0 (0,
n
a),
x0 ( n a, M ).
(2.10)
nx2n2
+ 2(n 1)M n2 xn0 2(n 1)M n2 a g(x0 , M ) > 0,
0
|xn0 a| = a xn0 . Pero la desigualdad anterior no se cumple
nunca porque g es creciente en (M, M ) para la primera variable por ser
xn2
+ M n2 0 y
0
puesto que
g(x0 , M )
= (xn2
+ M n2 )2n(n 1)xn1
0.
0
0
x0
Si ahora consideramos que
nx2n2
2(n 1)M n2 xn0 + 2(n 1)M n2 a h(x0 , M ) > 0,
0
|xn0 a| = xn0 a. Como xn2
M n2 0,
0
en (M, M ) para la primera variable puesto que
puesto que
creciente
entonces
h(x0 , M )
= (xn2
M n2 )2n(n 1)xn1
0,
0
0
x0
es
38
Newton-Kantorovich
de manera que
n
cumpla que h(x0 , M ) > 0, es necesario que x0 (s , a), puesto que
n
n
x0 < a y s (M, a).
Notemos ahora que si
Los otros tres casos se analizan de forma similar y se llega a las siguien-
es impar, entonces
a) ( a, s )
tes conclusiones. Si
x0 (r ,
x0 (r ,
donde
es tal que
a) ( a, M )
g(r , M ) = 0
si
si
tal que
2(1 n)a
,
2n
2(1 n)a
,
2n
h(s , M ) = 0.
Y si
es par,
vemos que
x0 (s , a) (r , a) ( a, s )
x0 (M, n a) (r , n a) ( n a, M )
x0 ( a, r )
si
si
s
si
v
u
u na 2n2
n
n2
t
4(n 1)a
donde
2(1 n)a
,
2n
2(1 n)a
,
2n
tales que
W (t) W (t0 )
de manera que
f (t) = t n
=
tn1
0
1
= ntn1 ntn1
n|x0 |n1 = 0,
0
n1
tn1
+ |x0 |n1 > 0.
0
n1
+ |x0 |
tn0
Adems, como
tn1
0
n1
+ |x0 |
t0 + |xn0 a|,
39
se sigue que
+ |x0 |n1
f () = (1 n) tn1
0
n
n1
|x0 | t0
f () < 0. Para ver esto, estudiamos, como en el caso anterior, las cuatro
n
n1
tn0 +n tn1
+|x0 |n1 t0 +|xn0 a| < 0 y t0 x0 = |x0 |.
0
Por el contrario, si n es par, se puede comprobar que si existe una
regin del plano x0 t0 cumpliendo f () < 0 y t0 x0 = |x0 |.
Denotando f () como
|x0 |n1
f1 (x0 , t0 ) = (1n)(tn1
xn1
)t0 +axn0 f (),
xn1
) n1 tn0 +n(tn1
0
0
0
0
es fcil comprobar que las curvas
en el punto
(x0 , x0 ),
f1 (x0 , t0 ) = 0
t0 = x0
se cortan
donde
x0 = n
a
< n a,
n
(1 n)2 n1 + 2n
n
Si x0 ( a, 0), razonando como en el caso anterior se observa que
f () < 0 y t0 |x0 | = x0 solo se cumplen a la vez si n es par. En
este caso, denotando f () como
puesto que
f2 (x0 , t0 ) = (1n)(tn1
xn1
) n1 tn0 +n(tn1
xn1
)t0 +xn0 a f (),
0
0
0
0
se comprueba que las curvas
el punto
(x0 , x0 ),
x0 = n
puesto que
regin del
|x0 |.
f2 (x0 , t0 ) = 0
t0 = x0
se cortan en
donde
a
> n a,
n
2n + (1 n)2 n1
n
40
Newton-Kantorovich
x0 > 0,
es par o
impar. En ambos casos se puede ver que existe una regin del plano
x0 t0
en la que
curvas
a), las
+xn1
)t0 +axn0 f (),
f3 (x0 , t0 ) = (1n)(tn1
+xn1
) n1 tn0 +n(tn1
0
0
0
0
y
t0 = x0
se cortan en el punto
v
u
x0 = u
n
t
Si
x0 ( n a, M ),
(x0 , x0 )
con
a
2(n 1) 2
1
n1
<
a.
f4 (x0 , t0 ) = 0,
donde
f4 (x0 , t0 ) = (1n)(tn1
+xn1
) n1 tn0 +n(tn1
+xn1
)t0 +xn0 a f (),
0
0
0
0
y
t0 = x0
x0 =
(x0 , x0 )
con
a
> n a.
n
2n + (1 n)2 n1
k0 k =
1
= ,
3x20
k0 F (x0 )k =
k = 12
Las condiciones
a
3
|x30 2| x40
8
1
2
|x30 2|
,
3x20
kF 00 (x)k = 6|x|,
(t) = 6t.
|x0 | t0
|x0 | t0 x0 [1,12085, 2)
x0 t 0 .
3
2 mediante el teorema 2.2.2. En la gura 2.1, podemos ver la
plano x0 t0 en la que se mueven estos puntos.
Newton a
regin del
41
t0
t0 = x0
x = 1,2599 . . .
-2
-1
x0
1,12085
-1
f () < 0
|x0 | t0
|x0 | t0 .
3
2
x0 t0
me-
x0 = 1,1,
t0
t0 = x0
42
Newton-Kantorovich
t0
10
1,79963 . . . 2
1,06475 . . .
3
0.8
1.0
1.2
1.4
1.6
1.8
t 0 = x0
x0
2 = 1,25992 . . .
1,06475 . . .
1,79963 . . .
3
2 de la ecuacin F (x) = x3 2 = 0 a partir del teorema
a la raz
2.2.5. Utilizando
iteraciones
x0
t0 .
x0 = 1,1,
t0
kx0 k t0
f () < 0,
tenemos que
t0 [1,1, 1,52065].
t0
t0
43
(1,12085, 1,89658)
(1,12085, 1,12085)
(1,06475, 1,06475)
x0
3
2
Notar que si
t0 = kx0 k,
n
0
1
2
3
4
t0 = 1,1
0,240911 . . .
0,056613 . . .
0,005420 . . .
0,000061 . . .
8,2137 109
t0 = 1,14
0,244798 . . .
0,060500 . . .
0,006510 . . .
0,000095 . . .
2,1525 108
t0 = 1,18
0,289031 . . .
0,079277 . . .
0,011080 . . .
0,000294 . . .
2,2151 107
|tn t |
Nota 2.2.7
t0
kx0 k,
t0 = 1,24
0,356191 . . .
0,110288 . . .
0,020927 . . .
0,001136 . . .
3,7695 106
a partir de diferentes
t0
44
Newton-Kantorovich
Teorema 2.2.8
en
B(x0 , t t0 ) .
0 = F (y ) F (x ) =
Como
F 0 (x)dx =
F 0 x + t(y x ) (y x )dt,
F x + t(y x ) dt
1
(2.11)
De hecho, de
I 0
Z
0
F x + t(y x ) dt = 0
Z
0
1
F 0 (x0 )dt
0
F x + t(y x ) dt
= 0
Z
0
Z
x +t(y x )
F 00 (z)dz dt.
x0
Z 1 Z x +t(y x )
Z 1
0
00
I 0
F x + t(y x ) dt k0 k
F (z)dzdt
0
0
x0
Z 1Z 1
00
F x0 + v (x x0 ) + t(y x )
0
45
(x x0 ) + t(y x )
dvdt
Z 1Z 1
00
F x0 + v (x x0 ) + t(y x )
k(x x0 ) + t(y x )k
00
F x0 + v (x x0 ) + t(y x )
dv dt
0
Z 1
Z
(1 t)kx x0 k + tky x0 k
0
1
x0 + v (x x0 ) + t(y x )
dv dt
0
Z 1
Z
(1 t)(t t0 ) + t(t t0 )
<
Z
0
Z
(1 t)(t t0 ) + t(t t0 )
kx0 k + v (x x0 ) + t(y + x0 x0 x ) dv dt
t0 + v (t t0 ) + t(t t )
Z t t0 Z t0 +u
(z) dz du
t t t t0
t0
= f (t ) f (t ) + 1 = 1,
dv dt
Sea ahora t = t
y supongamos que y es otra solucin de F (x) = 0
y xn+1 = n
como
Z
0
siendo
M=
Z
0
M
f 0 (tn )
obtenemos
ky xn k2 ,
tn + t(y tn ) (1 t) dt.
(2.12)
46
Newton-Kantorovich
f,
tenemos
1 Z 1 00
2
f
t
+
t(t
t
)
n
n (1 t)(t tn ) dt,
f 0 (tn ) 0
t tn+1 =
t tn+1 =
M
f 0 (t
n)
(t tn )2 .
(2.13)
se sigue que y = x .
2, tenemos
Si ahora aplicamos los teoremas 2.2.5 y 2.2.8 al clculo de
[0,7487 . . . , 1,4513 . . .]
x(s) = u(s) +
m Z
X
i=1 a
donde
s [a, b],
< a < b < +, Gi , Hi (i = 1, 2, . . . , m) y u son funciones cox es una funcin continua (solucin) a determinar. En particular,
nocidas y
x(s) = u(s) +
a
con
p [0, 1],
donde
1
G(s, t) x(t)2+p + x(t)2 dt,
2
s [a, b],
de Green
G(s, t) =
(b s)(t a)
, t s,
ba
(s a)(b t)
, s t.
ba
(2.14)
es la funcin
47
Ecuaciones integrales de este tipo son frecuentes en muchas aplicaciones del mundo real. Por ejemplo, en problemas de modelos dinmicos de
reactores qumicos [28], as como en problemas de la teora del trco vehicular, la biologa y la teora de colas [44]. Las ecuaciones de Hammerstein
aparecen en la dinmica de uidos electromagnticos, y en la reformulacin
de problemas de valores en la frontera de dos puntos con ciertas condiciones de contorno no lineales y anlogos multidimensionales que aparecen
como reformulaciones de una ecuacin en derivadas parciales elptica con
condiciones de contorno no lineales (vase [108] y las referencias que all
aparecen).
Resolver (2.14) es equivalente a resolver
G(s, t) x(t)
a
Teniendo en cuenta la expresin de
[F 0 (x)y](s) = y(s)
donde
F (x) = 0,
F,
2+p
1
+ x(t)2 dt,
2
p (0, 1].
obtenemos
[F 00 (x)(yz)](s) =
M = max
[a,b]
si
si
kM +
, con (M k, +) si M > k o (0, +)
M (2 + p)(1 + p)
M k , e y(t) = z(t) = 1, se sigue que
x(t) =
Z
b
h
i
p
k[F (x)(yz)](s)k =
G(s, t) (2 + p)(1 + p)x(t) + 1 dt
a
Z
k + b
=
G(s, t) dt
= k + > k.
M
a
00
(A3 )
48
Newton-Kantorovich
(A3 )
deducimos que
Adems, jado
(2.15)
tenemos
kI F 0 (x0 )k M (2 + p)kx1+p
0 k + kx0 k ,
y por el lema de Banach, obtenemos
k0 k
siempre que
= ,
1 M (2 + p)kx1+p
0 k + kx0 k
M (2 + p)kx1+p
0 k + kx0 k < 1.
kx0 uk + M
kx2+p
0 k
Adems, ya que
kF (x0 )k
1
kx20 k , se sigue que
2
1
2
kx0 uk + M kx2+p
0 k + 2 kx0 k
1 M (2 + p)kx1+p
0 k + kx0 k
y
= .
x(s) = 1 +
G(s, t) x(t)
5/2
1
+ x(t)2 dt,
2
s [0, 1].
u(s) = 1, p =
1
, podemos garantizar por el lema de Banach que
2
32
operador 0 existe y k0 k
(12 + 2), ya que
355
1
k[(I F 0 (x0 ))y](s)k (4 + 5 2)kyk y kI F 0 (x0 )k < 1.
64
1
, [a, b] =
2
Adems,
kF (x0 )k
1
(33 + 2)
64
= 1,2091 . . . ,
= 0,6501 . . . ,
1
z
(z) = +
8
32
Como
t0 kx0 k =
ecuacin
1
2
W (t) W (t0 )
t0 =
1
,
2
as que la
1
1
= (2t t + 12t 7 2 96) = 0,
96
= 5,1992 . . .
Si construimos la funcin
es t =
49
f (t)
solucin es:
1
C([0, 1]);
0,6943 . . . .
Adems, como
2
t0 = 8,5193 . . .,
de solucin es:
1
C([0, 1]);
< 8,5193 . . . .
2.3.
t0 = kx0 k.
kx0 k t0 ,
x0
t0 .
50
Newton-Kantorovich
su demostracin. Kantorovich se apoya en el mtodo de Newton modicado y utiliza el concepto de ecuacin mayorizante ([75]). En esencia, ambos
resultados y sus demostraciones dicen lo mismo.
Teorema 2.3.1 Sean el operador F denido en las condiciones habituales y f C (2) ([t0 , t0 ]) una funcin escalar. Si se verican las siguientes
condiciones:
g) x , existe el operador = [F 0 (x )]1 y k k
(K
1
0
0
0
0
g) k F (x )k
(K
2
0
0
1
f 0 (t0 )
f (t0 )
,
f 0 (t0 )
g) kF 00 (x)k f 00 (t) si kx x k t t ,
(K
3
0
0
g) f (t) = 0 tiene una nica raz t en [t , t0 ],
(K
4
0
g) B(x , t t ) ,
(K
5
0
0
kx xn k t tn ,
n 0,
Demostracin.
xn , para todo n. La
x1 = x0 0 F (x0 ) y 0 existe.
x1
Adems,
kx1 x0 k k0 F (x0 )k
Luego
x1 B(x0 , t t0 ) .
f (t0 )
= t1 t0 t t0 .
f 0 (t0 )
s [0, 1],
con
x [x0 , x1 ],
51
tenemos que
x = x0 + s(x1 x0 )
de manera que
con
(2.16)
x1
x0
F 00 (x) dx
Z 1
00
k0 k
F x0 + s(x1 x0 ) (x1 x0 ) ds
0
Z 1
00
F x0 + s(x1 x0 )
k(x1 x0 )k ds
k0 k
0
1 Z1
f 00 t0 + s(t1 t0 ) (t1 t0 ) ds
f 0 (t0 ) 0
f 0 (t1 )
1 Z t1 00
0
< 1,
f (t) dt = 1 0
f (t0 ) t0
f (t0 )
t , por ser f 00 ( )
f 0 (t0 ) < 0. Luego,
1
k0 k
0
0
1 kI 0 F (x1 )k
f (t1 )
k1 k
F (x1 ) =
x1
x0
F 00 (x)(x1 x) dx.
kF (x1 )k
Z x
1 00
=
F (x)(x1 x) dx
x0
Z 1
00
2
=
F x0 + s(x1 x0 ) (1 s)(x1 x0 ) ds
.
0
t [t0 , t1 ],
x [x0 , x1 ],
entonces
kx x0 k t t0 ,
kF (x1 )k =
=
t1
t0
f 00 t0 + s(t1 t0 ) (1 s)(t1 t0 )2 ds
f 00 (t)(t1 t) dt
= f (t1 ),
52
Newton-Kantorovich
Por lo tanto,
kj k
1
f 0 (tj )
f (t1 )
= t2 t1 .
f 0 (t1 )
kx1 x0 k t2 t1 + t1 t0 =
con
kF (xj )k f (tj ),
kxj+1 xj k tj+1 tj
As,
Z
xn
n1 F 00 (x) dx
kI n1 F 0 (xn )k =
xn1
Z 1
00
n1 F xn1 + t(xn xn1 ) (xn xn1 ) dt
0
Z 1
00
kn1 k
F xn1 + t(xn xn1 )
0
kxn xn1 k dt
Z 1
1
0
f 00 tn1 + s(tn tn1 ) (tn tn1 ) ds
f (tn1 ) 0
Z tn
f 0 (tn )
1
0
f 00 (t)dt = 1 0
< 1,
f (tn1 ) tn1
f (tn1 )
f 00 (t) 0 en [tn1 , t0 ] y f (tn1 ) 0, la funcin f no puede alcanzar
0
un mnimo a la izquierda de t , y como tn t y f (tn1 ) < 0, tenemos
f 0 (tn ) < 0. Entonces, por el lema de Banach sobre inversin de operadores,
existe n y
kn1 k
1
kn k
0
0
1 kI n1 F (xn )k
f (tn )
ya que
53
F (xn ) =
xn
xn1
F 00 (x)(xn x) dx.
kF (xn )k =
n1
t t0 ,
donde
t [tn1 , tn ],
kF (xn )k
=
Z
0
j = 1,
si
x [xn1 , xn ],
entonces
kx x0 k
tn
tn1
f 00 (t)(tn t) dt = f (tn ),
En consecuencia,
f (tn )
= tn+1 tn ,
f 0 (tn )
de manera que
xn+1 B(x0 , t t0 ) .
xn k t tn ,
n+
para todo
n.
(n = 0, 1, . . .).
(2.17)
nemos
(t t0 ) max0 {f 00 (t)},
[t0 ,t ]
54
Newton-Kantorovich
x0
= 0 para una
mayor simplicacin. Como aplicacin al teorema anterior vamos a considerar, como en la seccin anterior, dos situaciones: la correspondiente a
las condiciones clsicas de Kantorovich y, posteriormente, la generalizacin
dada por la condicin (2.1).
En el primer caso vemos el resultado que dio Kantorovich [75] para
demostrar la convergencia semilocal del mtodo de Newton a una solucin
de
F (x) = 0.
Teorema 2.3.2
Entonces la ecuacin F (x) = 0 tiene una solucin x y la sucesin de Newton dada por (1.7) es convergente a esta solucin a partir de x0 . Adems,
xn , x B(x0 , 1 t0 ) y
kx xn k 1 tn ,
donde tn = tn1
n 0,
f (tn1 )
, para todo n 1, y f denida en (2.4).
f 0 (tn1 )
Demostracin. La base de la demostracin est en la aplicacin del teorema 2.3.1. Luego para poder aplicar el teorema 2.3.1 tenemos que construir
la funcin
f.
de nuevo que
f C (2) ([t0 , t0 ])
g)
(K
4
siendo
t0 1 ,
g), (K
g)
(K
1
2
con
g)
(K
3
1 =
1 2k
.
k
1 =
1 2k
2 =
1+
1 2k
.
k
55
0
asegura que 1 y 2 son reales y que t = 1 [t0 , t ].
2
A las condiciones del teorema 2.3.2 las llamaremos a partir de ahora condiciones clsicas de Kantorovich (no confundir con las condiciones
generales de Kantorovich, que son las del teorema 2.3.1).
En el segundo caso, si queremos aplicar el teorema 2.3.2 suponiendo las
condiciones que hemos considerado como una generalizacin de las condiciones clsicas de Kantorovich, como hicimos en la seccin anterior, necesitamos de algunos resultados previos. En este caso, llamado normalizado,
por la forma de la condicin
g),
(K
3
consideramos
kxk kx0 k kx x0 k t t0
por ser
(2.18)
no decreciente. Por
kF 00 (x)k (t; t0 ),
con
: [t0 , +) R
para
kx x0 k t t0 ,
(t0 ; t0 ) 0.
El
00
y (t) (t; t0 ) = 0,
y(t0 ) = ,
(2.19)
1
y 0 (t0 ) =
Teorema 2.3.3
t0 t0
es una funcin
t0 = s0 .
56
Newton-Kantorovich
f ) x ,
(A
1
0
el operador
0 = [F 0 (x0 )]1
est denido y
k0 k ,
f ) k F (x )k ,
(A
2
0
0
f ) kF 00 (x)k (t; t ),
(A
3
0
para
kx x0 k t t0 , con : [t0 , +) R
(t0 ; t0 ) 0,
f ) fe()
e 0, donde fe es la funcin denida en (2.20) y
e es una solucin
(A
4
1
f (t) una primitiva de
f (t) W
f (t )
= 0, siendo W
positiva de W
0
(t; t0 ),
f ) B(x , t t ) , donde t
(A
5
0
0
Si
(t; t0 )
es la menor raz de
fe es
el
polinomio (2.5).
Enunciamos a continuacin un lema anlogo al lema 2.2.4.
Lema 2.3.4
f ).
dada en (A
3
f (t) W
f (t )
W
0
1
= 0,
Teorema 2.3.5
kx xn k t tn ,
n 0,
57
fe(tn1 )
, para todo n 1, y fe denida en (2.20).
donde tn = tn1 e
f 0 (tn1 )
Demostracin. La demostracin de este teorema es anloga a la del teorema 2.2.5, pero aplicando aqu el teorema 2.3.1, en vez del teorema 2.2.1,
puesto que la funcin
del teorema 2.3.1.
Nota 2.3.6
fe denida
1
e = 0 en
en el teorema 2.3.2 y fe()
2
el teorema 2.3.5, entonces las respectivas funciones f y fe tienen una raz
doble.
Notemos que si k =
n-sima de un n-
|x0 | t0 .
|x0 | t0 .
f (t) W
f (t )
W
0
n1
1
= n t t0 + |x0 |
n|x0 |n1 n|x0 |n1
n1
= n t + |x0 |
siempre que
t0 = 0.
(t; t0 ) =
2n|x0 |n1 .
t0 = 0,
puesto que no
supone ninguna restriccin en las condiciones del teorema 2.3.5. Por tanto,
e = 2 n1 1 |x0 | > 0.
Adems, si
n
fe(t) =
t t0 + |x0 |
t + |x0 |
n
t0 = 0,
como
tenemos que
58
Newton-Kantorovich
Para poder aplicar el teorema 2.3.5, hay que ver cundo se cumple
e < 0.
fe()
e <0
fe()
se cumple si
v
u
u
x0 t
n
a
2(n 1) 2
1
n1
es par, entonces
e <0
fe()
,
1
s
m = mn M,
y si
es impar,
n
a ( n a, m),
donde
a
n
2n + (1 n)2 n1
x0 (M, n a) ( n a, 0) u
n
t
a
2(n 1) 2 n1
, n a ( n a, m).
1
2.
t0 ,
podemos
e <0
fe()
se reduce ahora a
2,
t0 ,
podemos garantizar
x0 t0
que aparece
mediante el teorema 2.3.5, pero no mediante el teorema 2.3.2. As, podemos garantizar la convergencia del mtodo de Newton mediante el teorema
2.3.5, pero no mediante el teorema 2.3.2, siempre que
x0 [1,06475, 1,12085].
3
2 con 16 cifras signicativas despus de 5 iteraciones del mtodo de Newton.
59
t0
3.0
2.5
2.0
1.5
1.0
0.5
-2
)2
-1
x0
1,12085 . . .
x = 1,2599 . . .
Nota 2.3.7
x0 .
con las estimaciones del error cometido. Observar que, como es lgico,
cuanto ms prximo est el valor de
x0
3
2,
menor.
n
0
1
2
x0 = 1,1
0,019475 . . .
0,070668 . . .
0,076027 . . .
x0 = 1,2
0,009901 . . .
0,013668 . . .
0,013683 . . .
x0 = 1,3
0,005688 . . .
0,006937 . . .
0,006938 . . .
|x xn |
x0 = 1,5
0,001469 . . .
0,042198 . . .
0,044153 . . .
a partir de diferentes
x0
60
Newton-Kantorovich
t0
12
10
0.8
1.0
1.2
1,06475 . . .
1.4
1.6
0
1.8
1,7996 . . .
3
2
(0) > 0,
entonces
f0
f 0 (t) > 0
en (, +),
(, +). Lo anterior garantiza
r1 y r2 tales que t0 < r1 r2 .
funcin f tenga dos ceros reales
es creciente y
es estrictamente creciente en
que la funcin
En el caso en que
(0) = 0,
para que la
Teorema 2.3.8
P =
F 0 x + t(y x ) dt
0 = F (y ) F (x ) =
F (x) dx =
Z
0
F 0 x + t(y x ) (y x ) dt.
t0
61
3.0
2.5
2.0
1.5
1.0
0.5
1.02
1.04
1.06
1.08
1,06475 . . .
1.10
1.12
1.14
1,12058 . . .
x0
3
2
Z 1
Z 1 Z x + (y x )
0
00
I 0
F x + (y x ) d
=
0
F (z) dz d
0
0
x0
Z 1Z 1
F 00 x0 + s (x x0 ) + (y x )
=
0
0
0
(x x0 ) + (y x ) ds d
Z 1Z 1
00
k0 k
F x0 + s (x x0 ) + (y x )
0
kx x0 + (y x )k ds d
< k0 k
!
00
F x0 + s (x x0 ) + (y x )
ds
(1 )(t t0 ) + (t t0 ) d
k0 k
Z
(1 )(t t0 ) + (t t0 ) d
t + (t t )
t0
t0 + s (1 )(t t0 ) + (t t0 ) ; t0 ds
(z; t0 ) dz
Z t Z u
(z;
t
)
dz
du
0
t t t
t0
62
Newton-Kantorovich
Z t t0
u+t0
=
(z; t0 ) dz du
t t t t0
t0
= f (t ) f (t ) + 1 = 1.
Z
F x + t(y x ) dt
1
P 1 .
o equivalentemente,
y xn+1 = n
y como
ky xn+1 k
M
f 0 (t
n)
ky xn k2 ,
(2.21)
siendo
M =
Z
0
tn + t(y tn ) t0 + kx0 k (1 t) dt
tn + t(t tn ); t0 (1 t) dt.
t tn+1 =
1
0
f (tn )
Z
0
f,
tenemos
y por lo tanto,
t tn+1 =
M
f 0 (t
n)
(t tn )2 .
(2.22)
se sigue que y = x .
A continuacin, demostramos el resultado anterior utilizando otra tcnica.
63
Teorema 2.3.9
F (x) = 0
B(x0 , t t0 ) .
en
ky x0 k (t t0 )
Probaremos por induccin que
Entonces
(0, 1).
con
ky xk k 2 (t tk ), k 0.
Por
k = 0, 1, . . . , n.
y xn+1 = y xn + n F (xn )
= n
xn
1
= n
F 00 (z)(y z) dz
Por lo tanto,
ky xn+1 k kn k
Z
0
00
F xn + t(y xn )
(1 t)ky xn k2 dt.
ky xn k 2 (t tn ) < t tn ,
se sigue que
1 Z 1
t
+
t(t
t
)
t
+
kx
k
(1 t) dtky xn k2
n
0
0
0
0
f (tn ) 0
M
=
ky xn k2 ,
f 0 (tn )
ky xn+1 k
donde
M =
Z
0
tn + t(t tn ) t0 + kx0 k (1 t) dt
tn + t(t tn ); t0 (1 t) dt.
64
Newton-Kantorovich
t tn+1 = t tn +
=
=
=
=
=
f (tn )
1
0
=
f
(t
)
f
(t
)
f
(t
)(t
t
)
n
n
n
f 0 (tn )
f 0 (tn )
1 Z t 00
f (z)(t z) dz
f 0 (tn ) tn
1 Z 1 00
f
t
+
t(t
t
)
(1 t)(t tn )2 dt
n
n
f 0 (tn ) 0
1 Z 1
t
+
t(t
t
)
t
+
kx
k
(1 t) dt(t tn )2
n
n
0
0
0
f (tn ) 0
1 Z 1
t
+
t(t
t
);
t
(1 t) dt(t tn )2
n
n
0
f 0 (tn ) 0
M
(t tn )2 .
f 0 (tn )
En consecuencia,
M
t tn+1
2
ky
x
k
=
ky xn k2
n
0
2
f (tn )
(t tn )
2
t tn+1 2n
n+1
(t
t
)
= 2 (t tn+1 ),
n
2
(t tn )
ky xn+1 k
de manera que
y = x ,
puesto que
lm xn = x .
n+
Nota 2.3.10
Notemos que la funcin fe denida en (2.20) tiene la propiedad de que fe(t + t0 ) = g(t), donde
g(t) =
Z
0
Z
0
(; 0) d d
t
+
Por lo tanto, las sucesiones escalares del mtodo de Newton que se obtienen a partir de f y g se pueden obtener, una a partir de la otra, mediante traslacin. Luego los resultados anteriores son independientes del
valor de t0 . Por ello, habitualmente tomaremos t0 = 0, lo que simplica
considerablemente las expresiones utilizadas. Obsrvese que el polinomio
de Kantorovich (2.2) tambin tiene esta misma propiedad, de manera que
Kantorovich siempre considera s0 = 0 [75].
65
(C1 ), (C2 )
(C1 )(C3 )
de Newton-Kantorovich.
Consideramos la ecuacin F (x) = 0, donde
F (x) = x3 a, con a > 1. En este caso,
k0 k =
1
= ,
3x20
de manera que
k = 6a
k0 F (x0 )k =
F : = (0, a) R
|x30 a|
= ,
3x20
(teorema 1.2.2) y
kF 00 (x)k = 6|x|,
( a, a),
x0 (0,
a),
x0
x0 ( 3 a, a).
(
0
)
a
F (x) = x3 a
1
k
2
4a|x30 a| 3x40 ,
66
Newton-Kantorovich
a).
En segundo lugar, para aplicar el mtodo de Newton a partir del teorema 2.2.5, se tiene que cumplir que
f 0 (t) = 0,
f () 0
donde
es una solucin de
es decir,
tanto, x0 3
4( 2 1)
Por lo
3
2011. Si aplicamos el teorema 1.2.2, entonces
2011.
Considerando
x0 = 12,61
Para la funcin
las races reales
Obsrvese que los dominios de existencia y unicidad que se obtienen respectivamente a partir de los teoremas 2.2.5 y 2.3.9 son menor y mayor
que los dados por Kantorovich, as que se obtiene una mejora de ambos
dominios.
Adems, podemos ver en la siguiente tabla que tambin obtenemos mejores estimaciones a priori del error mediante la sucesin mayorizante
que se construye a partir de (2.8) con
{tn }
siendo el polinomio
67
que esta ltima sucesin la hemos denotado en la tabla 2.3 por {sn } y don
de s es la raz positiva ms pequea del polinomio (2.2); hemos tomado
x0 = 12,61
n
0
1
2
t0 = s0 = 0.
|x xn |
0,012266 . . .
0,000011 . . .
1,12905 1011
|t tn |
0,012290 . . .
0,000011 . . .
1,14214 1011
3
2011, t = 0,012290 . . . y s = 0,015201 . . .
|s sn |
0,015201 . . .
0,002922 . . .
0,000156 . . .
x =
{tn },
verica la condicin (2.1). Para ello, seguiremos las ideas dadas por Dennis
y Schnabel en [46].
Teorema 2.3.11
Sea el operador F : X Y dos veces continuamente diferenciable Frchet denido en un dominio abierto convexo no vaco
de un espacio de Banach X con valores en un espacio de Banach Y , y
sea x una solucin de F (x) = 0 tal que existe [F 0 (x )]1 , B(x , r)
y k[F 0 (x )]1 k con r, > 0. Supongamos que se cumple (2.1) y que
existe R > 0, la menor raz positiva de la ecuacin
2(kx k + t)t 1 = 0.
(2.23)
kx xn k <
1
kx xn1 k2 ,
2
n 1.
(2.24)
68
Newton-Kantorovich
Demostracin.
Sea
xe B(x , ),
para todo
que,
ello,
consideramos:
y como
1
< 1.
2
2 .
Tomando ahora
x1
x0 B(x , ),
existe
0 = [F 0 (x0 )]1
con
k0 k 2
x0
Z 1
0
F 00 (z)(x z) dz
de manera que
kx1 x k k0 k
k0 k
Z
0
00
F x0 + t(x x0 )
(1 t) dtkx x0 k2
1
k0 k(kx k + ) kx x0 k2
2
(kx k + R)kx x0 k2
< (kx k + R)Rkx x0 k
1
kx0 x k.
2
69
1
kxn x k < (kx k + R)kxn1 x k2 < kxn1 x k,
2
n 1.
kxn x k <
Por tanto,
1
kx0 x k,
2n
lm xn = x .
n+
n 1.
(kx k + R) =
1
,
2R
se sigue
Nota 2.3.12
1 1+2++2
1
2
kxn1 x k
kxn x k <
2
2
r 2n
2n 1
2
1
n
2 =
2.
<
2
2
n1
n
kx0 x k2
Nota 2.3.13
Ejemplo 2.3.14
1
0
0
0
F (x) = 0 2y + 1 0
z
0
0
e
F 0 (x ) = diag{1, 1, 1}.
70
Newton-Kantorovich
0 0 0 0 0 0 0 0 0
00
F (x) = 0 0 0 0 2 0 0 0 0 ,
0 0 0 0 0 0 0 0 ez
entonces kF 00 (x)k max{2, ekxk }.
As, se pueden dar dos situaciones. Una, si = B(x , r) con r < ln 2,
1
entonces kF 00 (x)k 2 y (t) = 2, de manera que R = . En consecuencia,
4
el mtodo de Newton
ser
convergente
si
tomamos
como
punto de salida
1
cualquier x B x , . Y dos, si = B(x , r) con r ln 2, entonces
4
kF 00 (x)k ekxk , (t) = et y la ecuacin (2.23) se reduce a 2et t 1 =
0, cuya nica solucin es R = 0,351734 . . . Por lo tanto, el mtodo de
Newton ser convergente si tomamos como punto de salida cualquier x
B(x , 0,351734 . . .).
Si comparamos los resultados que hemos obtenido con los de Dennis y
Schnabel, podemos destacar dos cosas. La primera, si r < ln 2, obtenemos
el mismo dominio de puntos de salida que Dennis y Schnabel. Y la segunda, si r ln 2, nuestro resultado presenta dos ventajas sobre el de Dennis
y Schnabel. La primera y ms importante es que nuestro resultado es independiente del valor r, mientras que el de Dennis y Schnabel no. Y la segunda es que ampliamos el dominio de puntos de salida que obtienen Dennis
1
1
= r < 0,351734 . . .
y Schnabel, puesto que, como k = er , entonces
2k
2e
para todo r ln 2.
tales que
t t , entonces
podemos escribir
g(t ) 6= 0
g(t ) 6= 0.
(2.25)
para que
tenga dos
71
Teorema 2.3.15
(t t )2
(t t )2
,
<
t
t
<
n
m1 2n
M1 2n
n 0,
t
t q
m
,
=
M1 , m1 = mn{H1 (t); t [0, t ]},
1
t
t
(t t)g 0 (t) g(t)
y siempre
M1 = max{H1 (t); t [0, t ]}, H1 (t) =
(t t)g 0 (t) g(t)
que < 1 y < 1.
donde =
(ii) Si t = t , entonces
mn2 t t tn M2n t ,
donde m2 = mn{H2 (t); t [0, t ]}, M2 = max{H2 (t); t [0, t ]},
(t t)g 0 (t) g(t)
H2 (t) =
y siempre que m2 < 1 y M2 < 1.
(t t)g 0 (t) 2g(t)
Demostracin.
t < t ,
tenemos
que
an = t tn
bn = t tn
para todo
n 0,
f (tn ) = an bn g(tn ),
an+1 = t tn+1
a2n
Como
entonces
y
an 2 bn g 0 (tn ) g(tn )
f (tn )
=
= t tn + 0
f (tn )
an bn g 0 (tn ) (an + bn )g(tn )
bn g (tn ) g(tn )
an+1
,
=
bn+1
bn 2 an g 0 (tn ) g(tn )
m1
a 2
n
bn
se sigue que
a 2
an+1
n
M1
,
bn+1
bn
y en consecuencia,
n+1
a 2
2n+1 1 a 2n+1
an+1
2
n
0
M1
M1 2
=
bn+1
bn
b0
M1
72
Newton-Kantorovich
y
n+1
a 2
2n+1 1 a 2n+1
an+1
2
n
0
2
m1
m1
=
bn+1
bn
b0
m1
Como
bn+1 = (t t ) + an+1 ,
obtenemos
n+1
n+1
(t t )2
(t t )2
<
t
t
<
n+1
m1 2n+1
M1 2n+1
Si
t = t ,
entonces
an = bn ,
y por tanto,
an+1 =
Por consiguiente,
an an g 0 (t) g(t)
an g 0 (t) 2g(tn )
m2 an an+1 M2 an
mn+1
t t tn+1 M2n+1 t .
2
Nota 2.3.16
f )(A
f)
(A
1
3
x(s) =
s [a, b],
(2.26)
a
donde
d x(t) + ex(t) = 0,
dt2
x(a) = x(b) = 0.
Es conocido que la ecuacin de Bratu tiene dos soluciones si
con
3,51375 . . .
1 =
b2
(0, 1 )
73
x
x
a=0
en ese intervalo. Las grcas de las soluciones son las que aparecen en la
gura 2.8.
Problemas de este tipo aparecen habitualmente en las ciencias y las
ingenieras para describir complicados modelos fsicos y qumicos (vase
[30] y las referencias que all aparecen).
Resolver la ecuacin (2.26) es equivalente a resolver F (x) = 0, donde
F : C([a, b]) C([a, b]) es un operador denido en un dominio abierto
convexo no vaco del espacio de las funciones continuas en [a, b] y con
valores en ese mismo espacio, de manera que
[F (x)](s) = x(s)
(2.27)
a
En esta seccin aproximaremos las soluciones de
F (x) = 0,
donde
F,
f)
(C
3
[F 0 (x)y](s) = y(s)
a
y
00
[F (x)yz](s) =
74
Newton-Kantorovich
sin tener
informacin de ella.
Una alternativa mejor y ms elegante que la prelocalizacin, consiste,
tal y como hemos indicado anteriormente, en suavizar la condicin anterior
(2.28)
75
no po-
f (t) dt '
m
X
a
donde los nodos
ti
i f (ti ),
i=1
y los pesos
estn determinados.
Si denotamos la aproximacin de
x(ti )
por
xi (i = 1, 2, . . . , m),
(2.26)
xi =
m
X
aij exj ,
i = 1, 2, . . . , m,
j=1
donde
aij = j G(ti , tj ) =
(b ti )(tj a)
, j i,
j
ba
(b tj )(ti a)
j
, j > i.
ba
con
A = (aij ),
o equivalentemente
F (x) = x Au(x) = 0,
donde
x1
x2
F (x) =
Pm
j=1
Pm
j=1
xm
.
.
.
Pm
j=1
(2.29)
a1j exj
a2j exj
amj exj
76
Newton-Kantorovich
En este caso
F 0 (x) = (ij ),
donde
a1m exm
a2m exm
x
1 a22 ex2
a21 e 1
(ij ) =
.
.
.
.
.
.
am1 ex1
am2 ex2
..
.
.
.
1 amm exm
Luego
F 0 (x) = I AD(x)
con
es
donde
y = (y1 , . . . , ym )T
z = (z1 , . . . , zm )T .
Luego
x Au(x),
F (x) =
1
= ,
1 kAkkD(x0 )k
(2.30)
siempre que
kAkkD(x0 )k < 1,
kx0 Au(x0 )k
= ,
1 kAkkD(x0 )k
(2.31)
donde
con
luego
kF 00 (x)yzk kAk
x1
y1 z1
.
.
.
xm
ym zm
. Adems,
77
k(ex1 y1 z1 , . . . , exm ym zm )T k =
1im
1im
1im
00
y vemos, evidentemente, que kF (x)k
kxk
es una funcin creciente. Luego, no
no est acotado, puesto que e
0
podemos aplicar el resultado de Kantorovich. Incluso aunque F fuera de
Luego
x Au(x ) = 0
y
kx k kAk ekx
La inecuacin anterior se verica si
0 < r1 < r2 ,
0.
donde
la ecuacin escalar
siendo
de
re-
r1
Figura 2.9:
r2
kx k [0, r1 ] [r2 , +)
x0
tal que
x0 B(0, ),
con
r1 < < r2 .
78
Newton-Kantorovich
= 0,138214 . . .
1
k = 0,390423 . . . <
2
s = 0,1882 . . . y vemos
T
solucin x , la dada por el vector x = (x1 , . . . , x8 ) en la tabla 2.4, despus de tres iteraciones.
xn
0,010934 . . .
0,051801 . . .
0,103646 . . .
0,139301 . . .
n
1
2
3
4
n
5
6
7
8
xn
0,139301 . . .
0,103646 . . .
0,051801 . . .
0,010934 . . .
a = 0, b = 1
=1
{sn }. Observa-
s0 .
s0 = 0 ,
construimos la sucesin
sn+1 = sn
que mayoriza a la sucesin
{xn },
p(sn )
,
p0 (sn )
n 0,
(2.32)
es decir
kxn+1 xn k sn+1 sn .
{sn }
converge a la raz
s =
1 2k
del polik
kx xn k
0,139301 . . .
0,001087 . . .
7,02 108
n
0
1
2
79
|s sn |
0,188285 . . .
0,050070 . . .
0,005808 . . .
comparamos en la tabla 2.5 las estimaciones a priori del error dadas por
la sucesin mayorizante y el error absoluto.
Nos quedara por localizar la otra solucin. No sabemos cmo elegir
otra bola en la que est dicha solucin, ya que, elegida al azar, la bola
podra no contener la solucin o cortarla. Por tanto no podemos aproxi
p(s).
ad hoc
f)
(A
1
f)
(A
2
es no decreciente, consideramos
para
kx x0 k t t0 ,
f (t) =
t0
t0
(; t0 ) dd
t t0
+
(2.33)
+ et0 (t0 1 t)
t t0
+
(2.34)
80
con
Newton-Kantorovich
A continuacin, damos las propiedades de la funcin (2.34) correspondientes al lema 2.3.4 anterior y que tienen un inters posterior.
Lema 2.3.17
t0
(2.35)
Entonces se verica:
(c) Si
Demostracin.
f 0 () = kAkekx0 kt0 (e et0 ) 1 = kAkekx0 kt0 + kAkekx0 k
1
= 0 y f 00 (t) = kAket+kx0 kt0 0, t [t0 , +), entonces es un
(a)
Como
(b)
Como
y
(c)
es convexa,
f 0 () = 0,
f0
entonces
t0 <
f 0 (t) < 0
en
f 0 (t0 ) =
1
<0
(t0 , ).
1 + t0 + + t0 kAkekx0 k
, como f (t0 ) =
, entonces f tiene
kx
k
0
1 + kAke
doble de f y tomamos t = .
Si
>
dado
{tn },
t0 ,
f (tn )
,
tn+1 = tn 0
f (tn )
n 0,
(2.36)
donde
81
sucesin.
Lema 2.3.18
1 + t0 + + t0 kAkekx0 k
,
1 + kAkekx0 k
(2.37)
Demostracin.
Como t1 t
Como
t1 t0 = > 0,
es claro que
t1 > t0 .
f (t)
0
y t0 t < 0, entonces t1 < t si N () > 0, lo que es cierto porque
f 0 (t)
f (t) > 0 ya que f (t0 ) > 0 y f convexa y adems f 00 (t) > 0 en (t0 , t ).
Suponemos entonces que t0
no
f (tn )
0
, f (tn ) > 0 porque tn (tn1 , t ) y f (tn ) < 0
f 0 (tn )
Como tn+1
por ser
tn =
N 0 (n )(tn1 t ) con
N 0 (n ) > 0, de manera
B(x0 , t t0 ) , la sucesin de
mayorizada por {tn }. Comenzaremos
y es
viendo que
n 1 y que
todo n 1.
la sucesin
{tn }
xn B(x0 , t t0 ),
para todo
{xn }
para
82
Newton-Kantorovich
Lema 2.3.19
kxn+1 xn k tn+1 tn ,
Demostracin.
(i)
existe
Para cada
n = [F 0 (xn )]1
n 1,
n 0.
probaremos lo siguiente:
kn k
1
f 0 (tn )
(i)
n = 1.
1
f 0 (t1 )
A partir de
Z
x1
kI 0 F 0 (x1 )k =
0 F 00 (x) dx
x0
Z 1
00
=
0 F x0 + (x1 x0 ) (x1 x0 ) d
0
Z 1
00
F x0 + (x1 x0 )
d kx1 x0 k
k0 k
0
Z 1
kx1 x0 k
kx1 x0 k
kAkekx0 + (x1 x0 )k d
kAkekx0 k+ kx1 x0 k d
f 0 (t) =
kAkekx0 k (ett0 1) 1
kI 0 F 0 (x1 )k 1
f 0 (t0 ) =
f 0 (t1 )
< 1.
f 0 (t0 )
1
,
se sigue que
83
y que
1
f 0 (t0 ) 1
=
f 0 (t1 ) f 0 (t0 )
f 0 (t1 )
(ii)
k0 k
1 kI 0 F 0 (x1 )k
x1
x0
F 00 (x)(x1 x) dx
F 00 x0 + (x1 x0 ) (1 + ) d (x1 x0 )2 .
kF (x1 )k
= kAkekx0 kt0
t1
(1 + t1 t0 )et0 .
t1
+ et0 (t0 1 t1 )
t1 t0
+
se sigue
t1 t0
+ = 0,
kF (x1 )k f (t1 ).
f (t1 )
= t2 t1 .
f 0 (t1 )
k = 1, 2, . . . , n 1.
Vemoslo para
k = n.
(i)(iv)
para
84
(i)
Newton-Kantorovich
kI n1 F 0 (xn )k =
(xn xn1 ) d
Z
0
00
F xn1 + (xn xn1 )
d
f 00 (t) dt
tn1
1 0
0
f
(t
)
f
(t
)
n
n1
f 0 (tn1 )
= 1
f (tn )
< 1,
f 0 (tn1 )
0
f (tn ) f (tn1 )
f (tn )
(ii)
kn1 k
1 kI n1 F 0 (xn )k
F (xn ) =
Z
0
kF (xn )k
Z
0
tn1
0
f 00 (t)(tn t) dt = f (tn1 )
85
f (tn )
= tn+1 tn .
f 0 (tn )
2.3.7.3. Convergencia semilocal del mtodo de Newton y dominios de existencia y unicidad de soluciones
Una vez vistas las propiedades anteriores, supondremos a partir de
ahora que se verican las siguientes condiciones:
(i) x0
0 = [F 0 (x0 )]1
k0 k ,
(ii) k0 F (x0 )k ,
(iii) kF 00 (x)k (t t0 + kx0 k) (t; t0 )
para
kx x0 k t t0 ,
(iv) B(x0 , t t0 ) .
(0) > 0, entonces f 0 es creciente y f 0 (t) > 0 en
(, +), y por tanto f es estrictamente creciente en (, +), lo que ga
{xn }.
Teorema 2.3.20
Demostracin.
verge a
Como
, entonces
n+
F , F (x ) = 0,
86
Newton-Kantorovich
lm kxn+1 xn k = 0.
n+
est acotada. Como
Veamos entonces
Z
xn
00
=
F (x)dx
x0
Z 1
00
F x0 + (xn x0 ) d
kxn x0 k
0
Z 1
kF (xn ) F (x0 )k
kAkekxk0 + (xn x0 ) d
kxn x0 k
kxn x0 kkAk
x , supondremos
B(x0 , r) . Como
F (x) = 0
0 = F (y ) F (x ) =
si el operador
x = y .
T =
Para ver
en
F (x)dx =
primero que
es otra
F 0 x + (y x ) d (y x ),
existe el operador
P = 0
As, si denotamos
I 0
Z
0
F x + (y x ) d
1
t t0 = R
t t0 = r,
F x + (y x ) d = 0
tenemos
Z
0
0
F 0 (x0 )
F x + (y x )
= 0
x + (y x )
F 00 (z) dz d,
x0
Z Z
Z 1
1 x + (y x )
0
00
I 0
F x + (y x ) d
k0 k
F (z) dz d
0 x0
0
Z 1Z 1
00
F x0 + s (x x0 ) + (y x )
0
87
kx x0 + (y x )k ds d
Z
0
00
F x0 + s (1 )(x x0 ) + (y x0 )
k(1 )(x x0 ) + (y x0 )k ds d
(1 )kx x0 k + ky x0 k
00
F x0 + s (1 )(x x0 ) + (y x0 )
ds d
0
Z 1
Z
(1 )kx x0 k + ky x0 k
<
kAke
0
1
(1 )kx x0 k + ky x0 k
kAke
ds d
ds d
<
"
R + (r R) kAkekx0 k
1 s R+ (rR)
e
ds d
0
1
= kAke
kx0 k
= kAkekx0 k
Z
R+ (rR)
e
0
r
dt 1
e eR
1 = f (t ) f (t ) + 1 = 1.
rR
!
y obte-
x(s) =
Z
0
s [0, 1],
(2.38)
88
Newton-Kantorovich
donde
=1
(2.38) y
F (x) = x Au(x),
obtenemos las expresiones de
kx k
, obteniendo los valores de r1 = 0,14248 . . . y
que kx k kAk e
r2 = 3,27839 . . . que nos permiten tomar una bola B(0, ) con (r1 , r2 )
00
tal que kF (x)k est acotada y contenga una solucin (gura 2.9). Eligiendo = 3, hemos obtenido
Como
t0 = 0,
obtenemos
kF 00 (x)k (0,123559)et+kx0 k ,
y por tanto
t
+ 0,121431,
1,13821
{u R8 ; kuk 0,188285 . . .}
89
Para la funcin
pequea de
{u R8 ; kuk 0,139652 . . .}
Vemos que estos dominios mejoran a los dados por el teorema 2.3.2 de
Kantorovich, puesto que el de existencia es menor y el de unicidad mayor.
Obsrvese adems que el dominio de existencia que obtenemos a partir del
teorema 2.3.20 es muy preciso, pues ja hasta tres decimales, y que el de
unicidad mejora considerablemente el que se obtendra por Kantorovich.
Una vez garantizada la convergencia del mtodo de Newton, aplicando
este proceso iterativo, hemos visto despus de tres iteraciones, obtenemos
t = 0
t = 1,
n
0
1
2
kx xn k
0,139301 . . .
0,001087 . . .
7,02 108
|t tn |
0,139651 . . .
0,001437 . . .
1,704 107
|s sn |
0,188285 . . .
0,050070 . . .
0,005808 . . .
90
Newton-Kantorovich
En este caso recordamos que no podemos aplicar el teorema 2.3.2 de Kantorovich puesto que como no sabemos donde puede estar la segunda solucin de (2.38), no podemos coger una bola que la contenga, lo que implica
00
que no podemos acotar kF (x)k. Si intentamos ahora aplicar el teorema
2.3.20, vemos que tampoco se verican las condiciones de convergencia para este punto de salida, ya que no se cumple la condicin (2.37) porque
= 0,61614 . . . <
1+
= 0,6798 . . . Sin embargo parece claro
1 + kAk ekx0 k
z0 =
0,206543 . . .
1,052503 . . .
2,411149 . . .
3,827142 . . .
,
3,827142 . . .
2,411149 . . .
1,052503 . . .
0,206543 . . .
= 3,26003 . . . ,
y
= 0,05264 . . . >
Si
t0 = 0,
= 0,00820 . . .
1+
= 0,051699 . . .
1 + kAk ekz0 k
t
+ 0,002515.
3,26003
raz positiva
unicidad son
respectivamente:
{u R8 ; ku z 0 k 0,00894 . . .}
{u R8 ; ku z 0 k 0,09571 . . .}
decimales.
91
z0,
vemos
y aproximamos la segunda
T
= (x
de 3 iteraciones, que est dada por el vector x
1 , x2 , . . . , x8 ) que
aparece en la tabla 2.7.
n
1
2
3
4
x
n
0,206096 . . .
1,050217 . . .
2,405892 . . .
3,818891 . . .
n
5
6
7
8
x
n
3,818891 . . .
2,405892 . . .
1,050217 . . .
0,206096 . . .
x
2
x
0.2
0.4
0.6
0.8
1.0
Captulo 3
Condiciones centradas para el
mtodo de Newton
3.1.
Introduccin
condicio-
F.
condiciones
93
94
3.2.
Convergencia semilocal
(A1 )
Existencia de
y
k0 F (x0 )k
f (t0 )
,
f 0 (t0 )
f C (2) ([t0 , t0 ])
con
0)
kx x0 k t t0 , x
kF 00 (x0 )k f 00 (t0 ).
1
f 0 (t
para
t0 , t0 R.
95
t0 ,
tn+1 = N (tn ) = tn
f (tn )
,
f 0 (tn )
n = 0, 1, 2, . . .
(3.1)
{xn }
{tn }.
{tn }
tomamos t = .
en
y
La convergencia de la sucesin
{tn }
guiente teorema.
Teorema 3.2.1
(2)
t1 t = N (t0 ) N (t ) = N 0 (0 )(t0 t )
y como
en
f (t)f 00 (t)
> 0 en [t0 , t ),
f 0 (t)2
N 0 (t) =
[t0 , t ),
se
tk < t ,
para
con
puesto que
para todo
0 (t0 , t ),
f (t) > 0
k = 1, 2, . . . , n 1.
con
n =
f 00 (t) > 0
Entonces,
n1 (tn1 , t ).
96
k = 1,
se sigue que
tn < t .
tn tn1 =
puesto que
f (t) > 0
f 0 (t) < 0
en
f (tn1 )
0,
f 0 (tn1 )
[t0 , t ).
Luego
{tn }
es no decreciente.
n+
{xn }
{tn }
y como
es la nica raz
en el espacio de Banach
X,
probamos un
kxn+1 xn k tn+1 tn ,
se verica:
kxn+1
Z
Z tn
xn
xn k =
LF (x) dx
Lf (t) dt = tn+1 tn .
xn1
tn1
LF .
Lema 3.2.2
kLF (x)k
f 00 (t)
kF (x)k para kx x0 k t t0 .
f 0 (t)2
(3.2)
x B(x0 , t0 ),
y que, para
t (t0 , )
kF 0 (x0 )k
f 0 (t0 )
,
f 0 (t)
con
kx x0 k t t0 ,
se
(3.3)
97
kk
1
f 0 (t)
(3.4)
F 00 (z) dz
x0
x
x0
x
F (x0 ) dz 0
x0
00
x0
= 0 F (x0 )(x x0 ) 0
F 00 (z) F 00 (x0 ) dz
x0
x0
F (z) F (x0 ) dz
00
00
00
f (t0 )
(t t0 )
f 0 (t0 )
Z
+k0 k
Para
t t0 ,
tenemos
kz x0 k = kx x0 k (t t0 ) = t0 + (t t0 ) t0 = u t0 ,
con
u = t0 + (t t0 ) [t0 , t],
(A2 )
se sigue que
f 00 (t0 )
(t t0 )
f 0 (t0 )
1 Z 1 00
00
0
f t0 + (t t0 ) f (t0 ) (t t0 ) d
f (t0 ) 0
f 00 (t0 )
1 Z t 00
= 0
(t t0 ) 0
f (u) f 00 (t0 ) du
f (t0 )
f (t0 ) t0
1
= 0
f 0 (t) f 0 (t0 )
f (t)
f 0 (t)
= 1 0
< 1,
f (t0 )
kI 0 F 0 (x)k
F 00 x0 + (x x0 ) F 00 (x0 ) (x x0 ) d .
98
t (t0 , ) y f 00 (t) 0
0
cumplirse (A2 ), de manera que f
puesto que
para
es
f 0 (t1 0 )
1
k0 k
f 0 (t) = 0 ,
kk k[0 F (x)] kkk
0
1 kI 0 F (x)k
f (t)
f 0 (t )
0
kF 0 (x0 )k
1
f 0 (t0 )
1 kI 0 F 0 (x)k
f 0 (t)
t t0 ,
tenemos que
X.
Lema 3.2.3
(in ) xn B(x0 , t t0 ),
(iin ) k0 F (xn )k
f (tn )
,
f 0 (t0 )
Demostracin. Probamos las tres relaciones (in )(iiin ) por induccin matemtica sobre
n.
x0 ,
es evidente que
x1
est bien
denido y que
kx1 x0 k = k0 F (x0 )k
Luego se cumplen
(i0 )(iii0 ).
1.
f (t0 )
= t1 t0 < t t0 .
f 0 (t0 )
99
Como
nido,
de-
xn B(x0 , t t0 )
y se cumple
A continuacin, consideramos
(in ).
de manera que
kLF (x)k
f 00 (t)
kF (x)k
f 0 (t)2
con
s [0, 1].
Adems,
f 00 (t) f 0 (t0 )
kLF (x)k 0
k0 F (x)k,
f (t) f 0 (t)
00
0
sin ms que escribir LF (x) = F (x)F (x0 )0 F (x) y aplicar (3.3) y (3.4).
Ahora, teniendo en cuenta la ltima desigualdad y el desarrollo en serie
de Taylor, podemos escribir
xn1
0 F 00 (z)(x z) dz
xn1
1
= (1 s)0 F (xn1 ) + 0 F 00 (x0 )(x xn1 )2
2
Z
x
xn1
0 F 00 (z) F 00 (x0 ) (x z) dz
1
= (1 s)0 F (xn1 ) + 0 F 00 (x0 )(x xn1 )2
2
Z
1
0
00
0 F 00 xn1 + (x xn1 )
F (x0 ) (x xn1 )2 (1 ) d.
100
para
z =
kz x0 k kxn1 x0 k + kx xn1 k
(tn1 t0 ) + s(tn tn1 ) = tn1 + (t tn1 ) t0 = u t0 ,
donde
u = tn1 + (t tn1 ).
1
k0 F (x)k (1 s)k0 F (xn1 )k + k0 kkF 00 (x0 )kkx xn1 k2
2
Z
1
+k0 k
00
F xn1 + (x xn1 )
F 00 (x0 )
kx xn1 k2 (1 ) d
(1 s)
f (tn1 ) 1 f 00 (t0 )
(t tn1 )2
f 0 (t0 )
2 f 0 (t0 )
1 Z 1 00
0
f tn1 + (t tn1 )
f (t0 ) 0
00
1
1 h
(1 s)f (tn1 ) + f 00 (t0 )(t tn1 )2
0
f (t0 )
2
Z
tn1
f 00 (u) f 00 (t0 ) (t u) du
"
Z t
1
= 0
(1 s)f (tn1 ) +
f 00 (u)(t u) du
f (t0 )
tn1
"
#
Z t
1
0
00
= 0
f (tn1 )(t tn ) +
f (u)(t u) du
f (t0 )
tn1
1 h
= 0
f (tn1 ) + f 0 (tn1 )(t tn1 )
f (t0 )
f 00 (u)(t u) du
tn1
=
Tomando
f (tn )
0
.
f (t0 )
s=1
f (t)
f 0 (t0 )
en lo anterior, obtenemos
Luego, se cumple
(iin ).
Adems,
x = xn , t = tn
k0 F (xn )k
kxn+1
101
(iiin ),
Z
xn
LF (x) dx
xn k =
xn1
Z 1
=
LF xn1 + (xn xn1 ) (xn xn1 ) d
0
Z 1
LF xn1 + (xn xn1 )
kxn xn1 k d
0
Z 1
tn
tn1
Lf (t) dt
= tn+1 tn ,
puesto que
con
[0, 1]
{tn }
mayoriza a la sucesin
{xn },
ya
{xn }
en el espacio de Banach
X.
Sean
F : X Y un operador dos veces diferenciable Frchet denido en
un dominio abierto convexo no vaco de un espacio de Banach X y con
valores en un espacio de Banach Y y f C (2) ([t0 , t0 ]) con t0 , t0 R. Supongamos que se verican las condiciones (A1 ) y (A2 ), que existe (t0 , t0 ),
tal que f 0 () = 0 y f () 0, y que B(x0 , t t0 ) . Entonces la sucesin de Newton dada por {xn } converge a una solucin x de la ecuacin
F (x) = 0, empezando en x0 , y adems xn , x B(x0 , t t0 ), para todo
n = 0, 1, 2, . . . Tambin tenemos que
kx xn k t tn
Demostracin.
para todo n = 0, 1, 2, . . .
{tn }
dada por (3.1) sea convergente, se sigue que la sucesin {xn } dada por
102
Por el apartado
para todo
cuando
Adems, para
kxn+j xn k
j > 0,
j
X
y pasando al lmite
tenemos que
kxn+i xn+i1 k
i=1
j
X
i=1
f (tn )
,
f 0 (t0 )
n = 0, 1, 2, . . .
j +,
kx xn k t tn ,
obtenemos que
t ,
t ,
t0 < t
tales que
solucin de la ecuacin
F (x) = 0.
Teorema 3.2.5
F (x) = 0
en
B(x0 , t t0 ) .
ky x0 k (t t0 )
Entonces,
con
k = 0, 1, 2, . . .
(0, 1).
k
ky xk k 2 (t tk ),
k = 0, 1, . . . , n.
En consecuencia se
sigue que
ky xn+1 k =
n F (y ) F (xn ) F 0 (xn )(y xn )
= n
Z
xn
F 00 (z) F 00 (x0 ) (y z) dz
103
1
+ F 00 (x0 )(y xn )2
2
Z
0
F 00 xn + (y xn )
F 00 (x0 ) (1 )(y xn )2 d
1
+ F 00 (x0 )(y xn )2
.
2
Como
kxn + (y xn ) x0 k tn + (t tn ) t0 ,
ky xn+1 k k0 k
entonces
Z 1
1 00
00
F xn + (y xn )
kF (x0 )k +
2
0
F 00 (x0 ) (1 ) d ky xn k2
Z 1
1
1 00
0
f 00 tn + (t tn )
f (t0 ) +
f (tn ) 2
0
00
f (t0 ) (1 ) d ky xn k2
ky xn k2 ,
0
f (tn )
Z 1
1 00
f 00 tn + (t tn ) f 00 (t0 ) (1 ) d .
= f (t0 ) +
2
0
donde
t tn+1 = t tn +
f (tn )
1
=
f (t ) f (tn )
f 0 (tn )
f 0 (tn )
f 0 (tn )(t tn )
Z t
1
00
00
f
(t)
f
(t
)
0 (t t) dt
f 0 (tn ) tn
1 00
2
+ f (t0 )(t tn )
2
Z 1
1
00
00
= 0
f tn + (t tn ) f (t0 ) (1 ) dt
f (tn ) 0
!
1 00
+ f (t0 ) (t tn )2 = 0
(t tn )2 .
2
f (tn )
Luego,
t tn+1
=
f 0 (tn )
(t tn )2
104
Por tanto,
ky xn+1 k =
2
t tn+1
t tn+1 2n
2
ky
x
k
(t
t
)
n
n
(t tn )2
(t tn )2
= 2
Consecuentemente,
n+1
(t tn+1 ).
y = x ,
puesto que
lm xn = x .
n+
En segundo lugar, si t
= t , la unicidad de solucin se sigue de forma
tales que
t t , entonces
podemos escribir
g(t ) 6= 0
g(t ) 6= 0.
Teorema 3.2.6
(t t )2
(t t )2
<
t
t
<
,
n
n
m1 2
M1 2n
n 0,
t
t q
donde = m1 , = M1 , m1 = mn{H1 (t); t [0, t ]},
t
t
(t t)g 0 (t) g(t)
105
(ii) Si t = t , entonces
mn2 t t tn M2n t ,
donde m2 = mn{H2 (t); t [0, t ]}, M2 = max{H2 (t); t [0, t ]},
(t t)g 0 (t) g(t)
H2 (t) =
y siempre que m2 < 1 y M2 < 1.
(t t)g 0 (t) 2g(t)
Nota 3.2.7
3.3.
Casos particulares
{tn },
en el espacio de Banach
X,
{xn }
p(s) =
s s0
k
(s s0 )2
+
2
(A1 )
(A2 ),
(3.5)
no podemos obtener
(A2 )
no permite determinar la
(A1 ).
00
p (s) = k,
p(s0 ) = ,
1
p0 (s0 ) =
p(s + s0 ) = p(s),
donde
p(s) =
k 2 s
s + .
2
s0 = 0,
s0 .
106
(A1 ) y (A2 ),
das. Veamos a continuacin tres casos distintos (ya conocidos) que se pueden ver como casos particulares de nuestro teorema general de convergencia
semilocal probado en la seccin anterior.
3.3.1. F 00 es Lipschitz-centrada
Supongamos en primer lugar que las condiciones
f ) k k , k F (x )k , kF 00 (x )k M ,
(A
1
0
0
0
0
f ) kF 00 (x) F 00 (x )k kkx x k
(A
2
0
0
con
x .
f ) implica la condicin (C )
(A
2
3
f)
(A
1
f ),
(A
2
00
(t) = M + k(t t0 ),
(t0 ) = ,
1
0 (t0 ) = ,
(t) =
M
t t0
k
(t t0 )3 + (t t0 )2
+
6
2
(t),
(3.6)
(t + t0 ) =
donde
(t) =
k 3 M 2 t
t + t +
6
2
(t)
t0 = 0.
X.
107
Teorema 3.3.1
Sea F : X Y un operador dos veces continuamente diferenciable Frchet denido en un dominio abierto convexo
no vaco de un espacio de Banach X y con valores en un espacio de
f ) y (A
f ). Sea (t) el polinoBanach Y que satisface las condiciones (A
1
2
mio denido en (3.6) con t0 = 0. Supongamos que () 0, donde
2
q
, y B(x0 , t ) , donde t es la raz positi=
2
M + (2k + M )
va ms pequea de (t) = 0 con t0 = 0. Entonces, la sucesin de Newton
dada por {xn } converge a una solucin x de F (x) = 0, empezando en x0 ,
y adems xn , x B(x0 , t ), para todo n = 0, 1, 2, . . .
Notemos que el polinomio (3.6) con
t=q=
t0 = 0
tiene un mximo en
2
M
M +
(M 2 + 2k)
<0
y un mnimo en
t==
(M 2 + 2k)
> 0.
= 0 verica () 0,
(t)
con
t0 = 0
108
f ) y (A
f ).
t = t , teniendo en cuenta que se satisfagan las condiciones (A
1
2
En [61] aparecen estos resultados que se deducen de nuestro resultado
general. Adems, recordamos que la condicin
() 0
se puede sustituir
3.3.2. F 00 es Hlder-centrada
En segundo lugar, suponemos que las condiciones
(A1 )
(A2 )
se redu-
cen respectivamente a:
(C3 )
(A2 ) implica
(A1 )
(A2 ),
basta resolver el
00
p
(t) = M + k(t t0 ) ,
(t0 ) = ,
1
0 (t0 ) = ,
(t) =
k
M
t t0
(t t0 )p+2 + (t t0 )2
+
(p + 1)(p + 2)
2
Obsrvese que si
p = 1,
(t) =
(3.7)
(t + t0 ) = (t),
k
M
t
tp+2 + t2 +
(p + 1)(p + 2)
2
(t)
t0 = 0.
X.
En particular, tenemos
109
Teorema 3.3.2
Sea F : X Y un operador dos veces continuamente diferenciable Frchet denido en un dominio abierto convexo no vaco
de un espacio de Banach X y con valores en un espacio de Banach Y que
satisface las condiciones (A1 ) y (A2 ). Sea (t) la funcin denida en (3.7).
Supongamos que existe una solucin > 0 de 0 (t) = 0, tal que () 0,
y B(x0 , t ) , donde t es la raz positiva ms pequea de (t) = 0 con
t0 = 0. Entonces la sucesin de Newton dada por {xn } converge a una
solucin x de F (x) = 0, empezando en x0 , y adems, xn , x B(x0 , t ),
para todo n = 0, 1, 2, . . .
0
Analizando las derivadas de (t) con t0 = 0, vemos que (t) es creciente
0
0
si t 0 y, como (0) < 0 y (t) > 0 para t sucientemente grande, la
0
ecuacin (t) = 0 tiene una nica raz positiva . Luego, es un mnimo
de
(t).
(t)
tenga races
positivas es que
(0) > 0
tales que
en
(A2 ),
(A1 ) y
t < t
3.3.3. F 00 es -centrada
En tercer lugar, suponemos que las condiciones
(A1 )
(A2 )
se reducen
respectivamente a:
c ) k k , k F (x )k , kF 00 (x )k M ,
(A
1
0
0
0
0
c ) kF 00 (x) F 00 (x )k (kx x k), para kx x k t t y donde
(A
2
0
0
0
0
: [0, +) R es una funcin continua no decreciente y tal que
(0) = 0.
El correspondiente problema de valor inicial a resolver en este caso es:
00
(t) = M + (t t0 ),
(t0 ) = ,
1
0 (t0 ) =
110
Teorema 3.3.3
(t) =
t0
t0
(z t0 ) dz ds +
Obsrvese que si
(z) = kz
M
t t0
(t t0 )2
+ ,
2
(z) = kz p ,
t0 0.
(3.8)
t0
{tn },
(t) = 0
tendr que
a partir de
la funcin
(t)
t0 .
Estudiamos entonces
dada en (3.8).
Teorema 3.3.4
c ).
nida en (A
2
t0
(z t0 ) dz + M (t t0 )
1
= 0,
(3.9)
Demostracin.
(a)
- Como
() =
t0
[t0 , +), entonces
1
=0
es un mnimo de
00 (t) = (t; t0 ) 0
en
[t0 , +).
en
Adems,
(; t0 ) d
en
3.4. Aplicaciones
(b)
- Si
111
() < 0,
- Si
(t0 ) =
(t0 , )
[t0 , ), entonces t
una raz
en
como
en
() = 0,
entonces
> 0,
entonces
es raz doble de
en
tiene al menos
es decreciente
(t0 , ).
y tomamos
t = .
Teniendo en cuenta las hiptesis del teorema anterior, la funcin
(t)
X . En particular,
Teorema 3.3.5
Sea F : X Y un operador dos veces continuamente diferenciable Frchet denido en un dominio abierto convexo no vaco
de un espacio de Banach X y con valores en un espacio de Banach Y
c ) y (A
c ). Sea (t) la funcin denida en
que satisface las condiciones (A
1
2
(3.8). Supongamos que () 0, donde es una raz de (3.9) tal que
> t0 , y B(x0 , t t0 ) . Entonces la sucesin de Newton dada por
{xn } converge a una solucin x de F (x) = 0, empezando en x0 , y adems,
xn , x B(x0 , t t0 ), para todo n = 0, 1, 2, . . .
Demostracin.
(A1 )
t .
(A2 )
(t)
(t) =
Z
0
(z) dz ds +
(t + t0 ) = (t),
M 2 t
t +
2
3.4.
t0 = 0.
Aplicaciones
(C3 )
al operador
y que
112
(C5 )
(C1 )
c)
(A
1
c)
(A
2
aqu presentadas.
x(s) = u(s) +
m Z
X
i=1 a
donde
s [a, b],
es una
x(s) = u(s) +
s [a, b],
(3.10)
continua en
[a, b]
y el ncleo
la ecuacin
, R.
[F 0 (x)y](s) = y(s)
En este caso,
[F 00 (x)(yz)](s) =
a
Obsrvese que la condicin (C3 ) del teorema de Newton-Kantorovich no
00
se cumple porque kF (x)k no est acotada en , y adems no tiene por qu
ser sencillo localizar un dominio donde lo est y que contenga alguna raz
f)
Obsrvese tambin que no se cumplen ni la condicin (A
2
00
ni la condicin (A2 ), puesto que F (x) no es Lipschitz continua ni Hlder
de
F (x) = 0.
continua en
3.4. Aplicaciones
113
h(t) dt '
a
donde los nodos
ti
$i h(ti ),
i=1
y los pesos
$i
estn determinados.
Si denotamos la aproximacin de
1, 2, . . . , m),
m
X
x(ti )
por
xi
y la de
u(ti )
por
ui (i =
no lineales:
xi = ui +
m
X
i = 1, 2, . . . , m,
j=1
donde
(b ti )(tj a)
$j
ba
bij = $j G(ti , tj ) =
(b tj )(ti a)
$j
ba
si
j i,
si
j > i.
(3.11)
donde
xe =
x1 u1
2+p
3
j=1 b1j xi + xi
Pm
P
x2 u2 m b2j x3 + x2+p
i
j=1
i
F (x) =
.
.
Pm
2+p
3
xm um
j=1 bmj
xi + xi
para todo
i = 1, 2, . . . , m}.
Entonces
114
donde
1+p
1+p
D2 (x) = diag{x1+p
1 , x2 , . . . , xm },
F 00 (x)yz = B
6xm + (2 + p)(1 +
donde
y = (y1 , y2 , . . . , ym )T
p)xpm
T
ym zm
z = (z1 , z2 , . . . , zm )T .
tenemos que
k0 k = k[F (x0 )]
1
k =
I B 3D1 (x0 ) + (2 + p) D2 (x0 )
1
= ,
xe0 = (
x31 , x32 , . . . , x3m )T
kF 00 (x)yzk
sup
con
2+p
xb0 = (
x2+p
2 ,...,
1 ,x
kyk=1,kzk=1
donde
v(x, y, z) =
p)xpm ym zm
T
.
kv(x, y, z)k =
max 6xi + (2 + p)(1 + p)xpi yi zi
1im
1im
1im
p)|||xpi |
kyk kzk
3.4. Aplicaciones
115
Luego,
3.4.1. Aplicacin 1
Para solventar la dicultad que presenta la aplicacin de las condiciones de Kantorovich, una alternativa comn es prelocalizar las soluciones
00
en algn dominio y buscar en l una cota superior para kF (x)k
([52]). En el siguiente ejemplo vemos que esta alternativa tampoco la podemos utilizar porque no podemos encontrar a priori un dominio
donde
x(s) = 1 +
Z
0
5
1
G(s, t) x(t) + x(t) 2
4
dt,
s [0, 1].
(3.12)
kx k 1 kBk
kx k3
5
1
2
+ kx k
0,
4
116
() = 0,0172 . . . 0.
T
aproximacin numrica de la solucin x = (x1 , x2 , . . . , x8 ) que aparece en
{l ; kl 1k 0,3596 . . .}
n
1
2
3
4
xn
1,021626 . . .
1,105232 . . .
1,218581 . . .
1,302053 . . .
n
5
6
7
8
en
s = 0
s = 1,
obtenemos la solucin
1.30
1.25
1.20
1.15
1.10
1.05
0.2
0.4
0.6
0.8
1.0
3.4.2. Aplicacin 2
Sea ahora la ecuacin del tipo (3.10) dada por
x(s) = 1 +
Z
0
5
1
G(s, t) x(t) + x(t) 2
5
dt,
s [0, 1].
(3.13)
3.4. Aplicaciones
117
m = 8,
la solucin
del
1,69922 . . .,
donde
cin escalar
r1
kx k r1 = 1,38003 . . .
r2 son
t 1 kBk
kx k r2 =
1 5
t + t2
5
3
= 0,
donde
kBk = 0,1235 . . .
No-
(C1 )(C5 )
[0, r1 ],
donde
kF 00 (x)k
= B(0, r) ,
con
r (r1 , r2 ),
do de Newton un punto
una bola en la que est x , ya que elegida al azar, la bola podra no conte00
ner la solucin o cortarla, en cuyo caso no podemos acotar kF (x)k . Veremos que utilizando las condiciones
c ) y (A
c ) y el teorema 3.3.5 podemos
(A
1
2
c)
(A
1
= 1,6854 . . . ,
= 0,2349 . . . ,
k = 1,2255 . . . ,
1
k = 0,4853 . . .
2
{l ; kl 1k 0,4013 . . .}
t0 = 0,
M = 0,8340 . . ., = 0,5479 . . .,
5
118
() = 0,0346 . . . 0,
y que t = 0,3119 . . . y t
= 0,7729 . . ., obtenemos que, bajo las condic
c
ciones (A1 ) y (A2 ), los dominios de existencia y unicidad de solucin son
respectivamente
{l ; kl 1k 0,3119 . . .}
T
la solucin x , la dada por el vector x = (x1 , x2 , . . . , x8 ) en la tabla 3.2.
Interpolando estos valores y teniendo en cuenta que las soluciones de (3.13)
valen
3.3.
n
1
2
3
4
xn
1,019929 . . .
1,096786 . . .
1,200456 . . .
1,276373 . . .
n
5
6
7
8
xn
1,276373 . . .
1,200456 . . .
1,096786 . . .
1,019929 . . .
3.4. Aplicaciones
119
2.2
2.0
1.8
e
e
x
1.6
1.4
xe
1.2
0.2
0.4
0.6
0.8
1.0
n
0
1
2
3
kx xn k
0,276373 . . .
0,041380 . . .
0,001366 . . .
1,6157 106
|t tn |
0,311999 . . .
0,077005 . . .
0,008614 . . .
0,000139 . . .
|s sn |
0,401357 . . .
0,166363 . . .
0,055542 . . .
0,011150 . . .
ya que
120
partir de
x0 = (3, 3, . . . , 3)T ,
obtenemos el vector
x3 =
1,077814 . . .
1,392262 . . .
1,866018 . . .
2,267211 . . .
2,267211 . . .
1,866018 . . .
1,392262 . . .
1,077814 . . .
que ya si cumple las condiciones del teorema 3.3.5, puesto que tomando
como nuevo punto de salida
e 0 = x3 ,
x
obtenemos
= 2,9176 . . ., =
0,0423 . . ., M = 1,8203 . . .,
5
e 0 k = 2,2672 . . .
e 0 verica que kx
x
> r2 = 1,6992 . . .
n
1
2
3
4
x
n
1,075236 . . .
1,379101 . . .
1,836355 . . .
2,222620 . . .
n
5
6
7
8
x
n
2,222620 . . .
1,836355 . . .
1,379101 . . .
1,075236 . . .
e
e
x
1 en s = 0 y s = 1, obtenemos
Captulo 4
Modicacin de las condiciones
clsicas de
Newton-Kantorovich
4.1.
Introduccin
La ecuacin integral
x(s) = u(s) +
s [a, b],
R,
(4.1)
donde
el
G(s, t)
121
122
Newton-Kantorovich
F (x) = 0,
donde
a
Adems,
[F 0 (x)y](s) = y(s)
a
00
[F (x)(yz)](s) =
sea una funcin polinmica de grado menor o igual que dos. En otro caso,
L = ku(s)k
N = max
[a,b]
(4.2)
bien, sabemos que puede ocurrir que la ecuacin (4.2), que debe vericar
x (s), se cumpliese en diferentes regiones del espacio, de manera que si
la ecuacin (4.1) tuviese ms de una solucin, solo podramos prelocalizar
4.1. Introduccin
123
i > 2.
i 2,
consiste en generalizar las hiptesis del teorema clsico 1.2.2 de NewtonKantorovich, fundamentalmente modicando las condiciones
(C1 )(C3 ) de
la siguiente forma:
(I ) existencia de
(II )
kF (m) (x)k M
para
x .
k 2 s
s + , para construir la sucesin mayorizante de la sucesin
2
de Newton en el espacio de Banach X , por un polinomio de grado m, y la
1
condicin k , que garantiza la existencia de races reales positivas del
2
polinomio de Kantorovich p, por la correspondiente condicin que garantice
la existencia de races reales positivas del polinomio de grado m.
p(s) =
124
Newton-Kantorovich
mtodo de Newton y damos un resultado general acerca de las estimaciones a priori del error que conduce a la convergencia cuadrtica del mtodo
de Newton.
Terminamos el captulo con la seccin 4.3 estudiando dos ecuaciones
particulares de (4.1), en las que se pone de maniesto la desventaja de las
condiciones del teorema de Newton-Kantorovich con respecto a las presentadas en este captulo. Adelantamos que Kantorovich necesita prelocalizar
la solucin de la ecuacin y elegir un buen punto de salida para poder
aplicar el mtodo de Newton, mientras que nosotros, bajo las nuevas condiciones, solo necesitamos elegir un buen punto de salida para obtener la
convergencia del mtodo de Newton.
4.2.
Convergencia semilocal
{tn }
{xn } en espacios
{tn } deniremos en
R, a partir de la
t0 ,
f (tn1 )
,
f 0 (tn1 )
tn = tn1
f (t),
n N.
(4.3)
k
s
p(s) = s2 + .
2
s0 = 0,
Resolvemos el problema de
F,
1
f 0 (t
0)
= ,
f (i) (t0 ) = bi ,
As, obtenemos que
f (t) =
f (t)
f (t)
f (t0 )
= ,
f 0 (t0 )
con
tal que
f (m) (t) = M,
i = 2, . . . , m 1.
es el polinomio de grado
dado por
M
bm1
b2
t t0
(tt0 )m +
(tt0 )m1 + + (tt0 )2
+
m!
(m 1)!
2!
(4.4)
125
Nota 4.2.1
Para seguir con el mismo hilo conductor que hemos marcado a lo largo de esta memoria, notemos que el polinomio f (t) de grado m
dado en (4.4) tambin se puede obtener de forma diferente, sin utilizar un
ajuste interpolatorio, sin ms que resolver el siguiente problema de valor
inicial de orden m:
y (m) (t) = M,
1
y 0 (t0 ) = ,
y(t0 ) = ,
00
menos una raz real t tal que t t0 y que la sucesin {tn } denida en
(4.3) converja a t de forma creciente. La convergencia de {tn } asegurar entonces la convergencia de la sucesin
Newton en el espacio de Banach
X.
{xn }
Teorema 4.2.2
1
< 0, f 00 (t) > 0 y f 0 (t) > 0 cuando
Demostracin.
Como
f 0 (t0 ) =
{tn }
verge a
Teorema 4.2.3
f (t)
= g(t), resulta evidente que g 0 (t) =
f 0 (t)
f (t0 )
f (t)f 00 (t)
>
0
en [t0 , t ]. Adems, como t1 t0 =
0, tenemos que
f 0 (t)2
f 0 (t0 )
t1 t0 . Por otra parte, como
Demostracin. Si denimos t
con
0 (t0 , t ),
126
Newton-Kantorovich
se sigue que
t1 t .
En consecuencia,
t0 t1 t .
f (l) = 0.
Por tanto,
{tn }
{xn }
f (l)
,
f 0 (l)
l = t .
en el espacio de Banach
X.
Lema 4.2.4
1
f 0 (tn )
n=1
n = 1, 2, . . . , k 1
n = k.
k = [F 0 (xk )]1 .
Para ello,
observamos que
I k1 F (xk ) = I k1
m1
X
i=1
1
F (i) (xk1 )(xk xk1 )i1
(i 1)!
Z xk
1
+
F (m) (z)(xk z)m2 dz ,
(m 2)! xk1
kI k1 F (xk )k kk1 k
m1
X
i=2
1
kF (i) (xk1 )kkxk xk1 ki1
(i 1)!
Z 1
1
(m)
+
F
xk1 + t(xk xk1 )
(m 2)! 0
127
(1 t)
m2
1
0
f (tk1 )
1
+
(m 2)!
1
= 0
f (tk1 )
kxk xk1 k
m1
X
i=2
1
Z
0
m1
dt
1
f (i) (tk1 )(tk tk1 )i1
(i 1)!
m1
X
i=2
1
f (i) (tk1 )(tk tk1 )i1
(i 1)!
!
Z tk
1
+
f (m) (z)(tk z)m2 dt
(m 2)! tk1
1 0
f 0 (tk )
0
= 0
f (tk ) f (tk1 ) = 1 0
< 1,
f (tk1 )
f (tk1 )
puesto que
f 0 (tk )
(0, 1) por ser tk1 < tk t
0
f (tk1 )
kk k
f 0 (t1k1 )
1 1
f 0 (tk )
f 0 (tk1 )
=
1
f 0 (tk )
i {2, 3, . . . , m 1}
y por el
mi
X
j=1
1
F (i+j1) (xk1 )(xk xk1 )j1
(j 1)!
Z xk
1
F (m) (z)(xk z)m1i dz.
(m 1 i)! xk1
kF (i) (xk )k =
mi
X
j=1
1
kF (j+i1) (xk1 )kkxk xk1 kj1
(j 1)!
128
Newton-Kantorovich
Z 1
1
(m)
+
F
xk1 + t(xk xk1 )
(m 1 i)! 0
(1 t)m2 kxk xk1 kmi dt
mi
X
j=1
1
f (j+i1) (tk1 )(tk tk1 )j1
(j 1)!
Z 1
1
f (m) tk1 + t(tk tk1 )
(m 1 i)! 0
(1 t)m2 (tk tk1 )mi dt
mi
X
j=1
1
f (i+j1) (tk1 )(tk tk1 )j1
(j 1)!
Z tk
1
f (m) (z)(tk z)mi1 dz = f (i) (tk ).
+
(m 1 i)! tk1
Para probar (iii), basta con aplicar de nuevo el desarrollo en serie de
Taylor:
F (xk ) =
ya que
m1
X
1 (i)
F (xk1 )(xk xk1 )i
i
i=0
Z xk
1
F (m) (z)(xk z)m1 dz
+
(m 1)! xk1
m1
X
1 (i)
F (xk1 )(xk xk1 )i
i!
i=2
Z 1
1
F (m) xk1 + t(xk xk1 )
+
(m 1)! 0
(1 t)m1 (xk xk1 )m dt,
kF (xk )k
m1
X
1 (i)
kF (xk1 )kkxk kk1 ki
i=2 i!
Z 1
1
(m)
+
xk1 + t(xk xk1 )
F
(m 1)! 0
(1 t)m1 kxk xk1 km dt
m1
X
1 (i)
f (tk1 )(tk tk1 )i
i=2 i!
Z 1
1
+
f (m) tk1 + t(tk tk1 )
(m 1)! 0
129
1 (i)
f (tk1 )(tk tk1 )i
i!
i=0
Z tk
1
f (m) (z)(tk z)m1 dz
+
(m 1)! tk1
= f (tk )
=
f (tk )
= tk+1 tk .
f 0 (tk )
Notemos que en los items (i), (ii) y (iv ) del lema anterior son triviales
para
n=0
k0 F (x0 )k .
teorema.
Teorema 4.2.5
Sea F : X Y un operador m (m > 2) veces continuamente diferenciable Frchet denido en un dominio abierto convexo no
vaco de un espacio de Banach X y con valores en un espacio de Banach
Y . Supongamos que se cumplen las condiciones (I ) y (II ). Si f (q) 0,
donde f (t) es el polinomio denido en (4.4) y q = mn{t > t0 |f 0 (t) 0}, y
B(x0 , t t0 ) , entonces la sucesin de Newton converge a una solucin
x de la ecuacin F (x) = 0, empezando en x0 , y xn , x B(x0 , t t0 ),
para todo n 0. Adems,
kx xn k t tn ,
n 0.
y que
kx1 x0 k = k0 F (x0 )k =
luego
x1 B(x0 , t t0 ) .
f (t0 )
= t1 t0 < t t0 ,
f 0 (t0 )
130
Newton-Kantorovich
Luego
f (tk )
= tk+1 tk .
f 0 (tk )
Finalmente, para
kxn+j xn k
j
X
j > 0,
tenemos que
kxn+i xn+i1 k
i=1
i=1
j
X
j +,
obtenemos que
kx xn k t tn ,
n 0.
Lema 4.2.6
, se verica
131
m1
X
1
F (i) (x0 )(x x0 )i2
(i
2)!
i=2
Z x
1
+
F (m) (z)(x z)m3 dz
(m 3)! x0
m1
X
1
F (i) (x0 )(x x0 )i2
i=2 (i 2)!
Z 1
1
+
F (m) x0 + t(x x0 ) (1 t)m3 (x x0 )m2 dt.
(m 3)! 0
kF 00 (x)k
kF (m) (x)k M ,
m1
X
1
kF (i) (x0 )kkx x0 ki2
(i
2)!
i=2
Z x
1
(m)
+
F
x0 + t(x x0 )
(m 3)! x0
(1 t)m3 kx x0 km2 dt
m1
X
1
f (i) (t0 )(t t0 )i2
(i
2)!
i=2
Z 1
1
f (m) t0 + t(t t0 ) (1 t)m3 (t t0 )m2 dt
+
(m 3)! 0
00
= f (t)
para
kx x0 k t t0 .
Teorema 4.2.7
F (x) = 0
en
B(x0 , t t0 ) .
ky x0 k (t t0 )
Probaremos por induccin que
Entonces,
con
(0, 1).
k
ky xk k 2 (t tk ), k 0.
Por
132
Newton-Kantorovich
para
k = 0, 1, . . . , n.
y xn+1 = y xn n F (xn )
= n
xn
Z 1
= n
F 00 (z)(y z) dz
Por tanto,
ky xn+1 k kn k
00
F xn + t(y xn )
(1 t)ky xn k2 dt.
Z
0
Z
00
F xn + t(y xn )
(1 t) dt
de manera que
ky xn+1 k
f 0 (t
f 00 tn + t(t tn ) (1 t) dt ,
n)
ky xn k2 .
t tn+1 = t tn +
f (tn )
f 0 (tn )
1
0
f
(t
)
f
(t
)
f
(t
)(t
t
)
n
n
n
f 0 (tn )
1 Z t 00
= 0
f (z)(t z) dz
f (tn ) tn
1 Z 1 00
= 0
f tn + t(t tn ) (1 t)(t tn )2 dt
f (tn ) 0
1
= 0
(t tn )2 .
f (tn )
En consecuencia,
t tn+1
2
ky
x
k
=
ky xn k2
n
f 0 (tn )
(t tn )2
2
t tn+1 2n
n+1
(t
t
)
= 2 (t tn+1 ).
n
2
(t tn )
ky xn+1 k
Por tanto,
y = x ,
puesto que
133
lm
xn = x .
n
t = t ,
la unicidad de solucin
induccin que ky xn k t
tn = t tn y teniendo en cuenta que
lm
tn = t .
n
Nota 4.2.8 Notemos que el polinomio f denido en (4.4) tiene la propiedad de que f (t + t0 ) = g(t), donde
g(t) =
bm1 m1
b2
t
M m
t +
t
+ + t2 +
m!
(m 1)!
2!
Por lo tanto, las sucesiones reales que se obtienen a partir del mtodo
de Newton con f y g se pueden obtener, una a partir de la otra, mediante
traslacin. Luego, los resultados anteriores son independientes del valor t0 .
Por ello, habitualmente tomaremos t0 = 0, lo que simplica considerablemente las expresiones utilizadas hasta ahora. Observamos que el polinomio
de Kantorovich tambin tiene esta propiedad, de manera que Kantorovich
siempre toma t0 = 0 [75].
Terminaremos esta seccin viendo que la convergencia del mtodo de
Newton es cuadrtica. Para ello, utilizamos la tcnica de Ostrowski a partir
de la cual obtenemos el siguiente resultado, cuya demostracin es totalmente anloga a la del teorema 2.3.15.
(t t )2
(t t )2
<
t
t
<
,
n
n
m1 2
M1 2n
n 0,
t
t q
donde = m1 , = M1 , m1 = mn{H1 (t); t [0, t ]},
t
t
(t t)g 0 (t) g(t)
134
Newton-Kantorovich
(ii) Si t = t , entonces
mn2 t t tn M2n t ,
donde m2 = mn{H2 (t); t [0, t ]}, M2 = max{H2 (t); t [0, t ]},
(t t)g 0 (t) g(t)
H2 (t) =
y siempre que m2 < 1 y M2 < 1.
(t t)g 0 (t) 2g(t)
Notemos que, a partir del teorema anterior, obtenemos que la converR-cuadrtica si t < t y R-lineal si
4.3.
Aplicaciones
4.3.1. Aplicacin 1
Consideramos
donde
1 Z1
G(s, t)x(t)3 dt,
x(s) = +
2
0
x C([0, 1]), t [0, 1] y el ncleo G es la funcin
(4.5)
de Green.
F (x) = 0,
donde
1 Z1
s [0, 1],
[F 0 (x)y](s) = y(s) 3
0
00
[F (x)(yz)](s) = 6
0
000
[F (x)(yzw)](s) = 6
Z
0
F :
4.3. Aplicaciones
Observamos que
135
kF 00 (x)k
F si que
m = 3.
pero el operador
ms que tomar
x (s)
de (4.5) en
C([0, 1])
debe
satisfacer:
1 1 3
kx k 0,
2 8
una solucin x (s) tal que kx k [0, 1 ], puesto que podemos conside00
rar = B(0, ), con (1 , 2 ), donde kF (x)k est acotada, y tomar
como punto de salida x0
e
en un dominio , ste no contendra la solucin x (s), y por tanto no
podramos aproximarla utilizando la teora de Kantorovich. Veremos que
con nuestras condiciones podemos considerar ambos casos y que adems
en el primero, que podemos aplicar las condiciones de Kantorovich y las
nuestras, mejoramos las estimaciones a priori del error que se obtienen a
partir de Kantorovich.
Comenzamos con el caso en que
mamos por ejemplo
= 2
= B(0, )
con
(1 , 2 ).
To-
3
1
0
como punto de salida. Vemos que kI F (x0 )k
< 1, de ma2
32
32
1
nera que 0 est denido, k0 k
= y k0 F (x0 )k
= . Adems,
29
58
3
24
1
kF 00 (x)k = k y k =
= 0,0285 . . . . Luego, podemos aplicar
2
841
2
3 2
el teorema de Newton-Kantorovich teniendo en cuenta que p(s) = s
4
29
1
s = 1,1908 . . .,
obtenemos que
1
l ;
l
0,0285 . . .
1
l ;
l
< 1,1908 . . . .
y
136
Newton-Kantorovich
t0 = 0,
obtenemos:
3
= b2
8
kF 00 (x0 )k
Por tanto,
f (t) =
0,
kF 000 (x)k
3
= M.
4
t3
3
29
1
+ t2 t + , q = 1,1329 . . . y f (q) = 0,5886 . . .
8
16
32
64
1
l ;
l
0,0173 . . .
1
l ;
l
< 2,0340 . . . .
Vemos que los dominios de existencia y unicidad que acabamos de calcular mejoran los dados por Kantorovich.
A continuacin, aproximamos mediante el mtodo de Newton una solucin con estas caractersticas. Para ello, realizaremos un proceso de discretizacin. Aproximamos entonces la integral que aparece en (4.5) mediante
una frmula de cuadratura de Gauss-Legendre:
(t) dt '
0
donde los nodos
tj
por
xi ,
xi =
(
aij =
son conocidos.
con
sistema no lineal:
donde
j (tj ),
j=1
y los pesos
x(ti )
Si denotamos
8
X
i = 1, 2, . . . , 8,
obtenemos el siguiente
8
1 X
+
aij x3j ,
2 j=1
j tj (1 ti )
j ti (1 tj )
si
si
j i,
j > i.
F (x) = x v Aw = 0,
donde
x = (x1 , x2 , . . . , x8 )
1 1
1
v=
, ,...,
2 2
2
T
,
A = (aij )8i,j=1
Adems
w =
4.3. Aplicaciones
137
1
, tomamos como vector inicial para aplicar
2
1
1 T
el mtodo de Newton x0 =
,...,
y, despus de 4 iteraciones, ob2
2
T
x0 (s) =
i
1
2
3
4
xi
0,501329 . . .
0,506285 . . .
0,512542 . . .
0,516824 . . .
i
5
6
7
8
xi
0,516824 . . .
0,512542 . . .
0,506285 . . .
0,501329 . . .
{sn } que se
p(s). Las estimaciones a priori del error y el error absoluto podemos verlos
en la tabla 4.2, donde hemos considerado como solucin real la solucin
dada en la tabla 4.1. Observamos en la tabla 4.2 la notable mejora de las
estimaciones a priori que obtenemos a partir de la sucesin mayorizante
aqu construida.
kx xn k
0,016824 . . .
0,000044 . . .
3,1150 . . . 1010
n
0
1
2
|t tn |
0,017304 . . .
0,000062 . . .
8,4667 . . . 1010
|s sn |
0,017494 . . .
0,000253 . . .
5,4655 . . . 108
xe
de la solucin numrica
1
x(0) = x(1) = , obtenemos la apro2
x que aparece en la tabla 4.1 y que
138
Newton-Kantorovich
3.0
2.5
2.0
e
e
x
1.5
1.0
xe
0.5
0.0
0.2
0.4
0.6
0.8
1.0
Hemos visto anteriormente que la ecuacin (4.5) puede tener una solux (s) tal que kx (s)k 2 = 2,5340 . . ., pero que por Kantorovich no
cin
x0 (s) = 4,
En un
z 0 = x4 =
0,643403 . . .
1,233188 . . .
2,182331 . . .
3,102723 . . .
3,102723 . . .
2,182331 . . .
1,233188 . . .
0,643403 . . .
4.3. Aplicaciones
139
ya se cumplen las condiciones del teorema 4.2.5 puesto que la correspondiente funcin real
f (t) =
f (t)
que se obtiene,
t3
+ (1,1635 . . .)t2 (0,3908 . . .)t + (0,0044 . . .),
8
verica que
{l R8 ; kl z 0 k 0,0117 . . .}
> 2 = 2,5340 . . .
Despus de
tabla 4.3, que es una solucin que est fuera del alcance de Kantorovich.
i
1
2
3
4
x
i
0,642778 . . .
1,229990 . . .
2,174987 . . .
3,091270 . . .
i
5
6
7
8
x
i
3,091270 . . .
2,174987 . . .
1,229990 . . .
0,642778 . . .
1
e
e de la
x (0) = x (1) = , obtenemos la aproximacin x
2
numrica x
que aparece en la tabla 4.3 y que representamos en
en cuenta que
solucin
la gura 4.1.
4.3.2. Aplicacin 2
Consideramos ahora la ecuacin integral
x(s) =
(4.6)
0
donde
y el ncleo
es la funcin de Green.
x (s)
140
Newton-Kantorovich
de (4.6) en
C([0, 1])
1
kx k(7 kx k2 ) 0,
8
de manera que
kx k
no podemos garantizar la convergencia del mtodo de Newton a una solucin de la ecuacin (4.6) distinta de la trivial, puesto que no podemos
prelocalizar una bola que contenga una solucin distinta de la trivial y en
00
la que kF (x)k est acotada. Sin embargo, vemos a continuacin que si lo
podemos hacer mediante el teorema 4.2.5.
Tomamos como punto inicial
3>
7.
x0 (s) = 3,
kx0 (s)k =
f (t)
x3 ,
x3 =
dado por
0,176919 . . .
0,905153 . . .
2,087105 . . .
3,279568 . . .
3,279568 . . .
2,087105 . . .
0,905153 . . .
0,176919 . . .
que si cumple las condiciones del teorema 4.2.5, de manera que lo podemos
considerar como nuevo vector inicial
z 0 = x3
f (t)
t3
f (t) = + (1,2298 . . .)t2 (0,3987 . . .)t + (0,0021 . . .),
8
f (q) = 0,0296 . . . 0, donde q = 0,1582 . . ., y tiene
T
despus de tres iteraciones ms, la solucin x = (x1 , x2 , . . . , x8 ) dada en
que verica que
la tabla 4.4.
4.3. Aplicaciones
141
i
1
2
3
4
xi
0,176647 . . .
0,903758 . . .
2,083876 . . .
3,274166 . . .
i
5
6
7
8
xi
3,274166 . . .
2,083876 . . .
0,903758 . . .
0,176647 . . .
{l R8 ; kl z 0 k 0,0054 . . .}
xb
2.0
1.5
1.0
0.5
0.2
0.4
0.6
0.8
1.0
ad hoc
143
144
-teora
introducida
por Smale en los aos 80 del siglo XX, tcnica que trata de precisar las
condiciones y dominios de convergencia para resolver una ecuacin usando
nicamente informacin sobre el punto inicial. Los primeros resultados con
esta tcnica sobre el anlisis de la convergencia de mtodo iterativos para
resolver ecuaciones no lineales estn asociados al mtodo de Newton ([115])
y sus variantes. Los principales resultados de la
-teora
consisten en en-
145
-teora.
Una idea tambin interesante que queda abierta para el futuro es combinar de cierta forma las condiciones impuestas al operador en los captulos
3 y 4, de manera que impongamos al operador implicado
una condicin
del tipo:
m 3,
: [0, +) R
m 3,
146
Bibliografa
[1] Alarcn, V., Amat, S., Busquier, S. y Manzano, F. High order iterative schemes for quadratic equations.
48,
Numerical Algorithms,
4 (2008), 373381.
tations.
[3] Amat, S. Bermdez, C., Busquier, S. y Plaza, S. On a thirdorder Newton-type method free of bilinear operators.
Numerical Li-
(2010), 639653.
1 (2009), 486493.
[5] Amat, S., Busquier, S. y Candela, V.
A class of quasi-
Journal
2 (2002), 397406.
(1988), 131
140.
[8] Argyros, I. K. Newton-like methods and non-discrete mathematical induction.
(1993),
417426.
[9] Argyros, I. K. On the convergence of Newton's method for polynomial equations and applications in radiative transfer.
fr Mathematik, 127,
Monatshefte
4 (1999), 265276.
147
148
Bibliografa
Numerical Functional
2 (2004), 315332.
[12] Argyros, I. K.
Newton methods.
343.
[13] Argyros, I. K. y Hilout, S. On a class of secant-like methods
for solving nonlinear equations.
4 (2010),
485501.
[14] Argyros, I. K. y Hilout, S.
Computing, 90,
Journal of the Korea Society of Mathematical Education. Series B, Pure and Applied
Mathematics, 17, 4 (2011), 307319.
Gauss-Newton method using recurrent functions.
Inequalities, 14,
1 (2011), 4759.
Journal
of the Korea Society of Mathematical Education. Series B, Pure and
Applied Mathematics, 18, 2 (2011), 97111.
method for singular systems with constant rank derivatives.
9 (2011), 29933005.
Analysis, 14
[20] Banach, S.
(1994), 461483.
Funduszu Kultury
Bibliografa
149
On
Mat-
(2006), 97104.
boundary-value problems.
theory.
Proceedings of
(1916), 592598.
International
(1979), 148152.
[27] Blutel, E. Sur lpplication de la mtode dpproximation de Newton la rsolution approche des quations plusieurs inconnues.
(1910), 1109
1112.
[28] Bruns, D. D. y Bailey, J. E. Nonlinear feedback control for opera-
Chemical
Engineering Science, 32
[29] Bussmann, K.
(1997), 257264.
Ph. D. Diss.
Germany, 1940.
[30] Caglar, H., Caglar, N., zer, M., Valaristos, A., Miliou,
A. N. y Anagnostopoulos, A. N. Dynamics of the solution of
Bratu's equation.
Nonlinear Analysis, 71
(2007), 672678.
Computing, 44,
2 (1990),
169184.
[32] Candela, V. y Marquina, A. Recurrence relations for rational
cubic methods. II. The Chebyshev method.
355367.
[33] Cartan, H.
Calcul direntiel.
Hermann, 1971.
150
Bibliografa
573609.
[35] Collatz,
L.
Modelling, 52,
dels.
1257.
[38] Cordero, A., Torregrosa, J. R. y Vassileva, M. P. Threestep iterative methods with optimal eighth-order convergence.
Jour-
10 (2011),
31893194.
[39] Corduneanu, C.
Cambridge
applied mathematics.
[41] Davis, H. T.
tions.
[42] Day, M. M.
Berlin, 2006.
[44] Deimling, K.
Springer-Verlag, Ber-
lin, 1985.
[45] Dennis, J. E. On the Kantorovich hypothesis for Newton's method.
(1969), 493507.
Numerical methods for unconstrained optimization and nonlinear equations. Society for Industrial
Bibliografa
151
(1969), 2740.
theory.
Mathemati-
Computers and
11 (2010), 28992908.
Analysis, 22,
2 (2002), 187205.
BIT, 42,
-conditioned
second de-
3 (2002), 519530.
[52] Ezquerro, J. A. y Hernndez, M. A. Halley's method for operators with unbounded second derivative.
hematics, 57,
3 (2007), 345360.
[53] Faraci, F. y Moroz, V. Solutions of Hammerstein integral equations via a variational principle.
Applications, 15,
4 (2003), 385402.
pltes.
Proceedings of
(1916), 546552.
[56] Ganesh, M. y Joshi, M. C. Numerical solvability of Hammerstein integral equations of mixed type.
Analysis, 11
(1991), 2131.
11
(1974), 1013.
152
Bibliografa
Journal
6 (2011), 1739
1743.
[60] Grau-Snchez, M. y Gutirrez, J. M.
4 (2010), 818
833.
[61] Gutirrez, J. M. A new semilocal convergence theorem for Newton's method.
79
(1997), 131145.
2 (1997),
6365.
[63] Henrici, P.
tions.
La convexidad y con-
Computation, 103,
[67] Hirasawa, Y.
spaces.
1 (1999).
(1954).
Applied Analysis, 34
Steklov, 28
(1949).
(1989), 261266.
Bibliografa
153
Acta Mathematica, 71
(1939), 6397.
[72] Kantorovich, L. V.
tions.
6 (1948), 89185.
(1948), 12371240.
[74] Kantorovich, L. V.
principle (Russian).
(1951), 1720.
(1951), 849
852.
[75] Kantorovich, L. V. y Akilov, G. P.
Functional analysis.
Per-
blems.
matical Monthly, 99
American Mathe-
(1992), 734737.
Aequationes Mathematicae, 13
[79] Kreyszig, E.
Wiley,
(1975).
(1978).
[80] Lee, E.
Academic
Inverse Problems, 6
(1990), 205
154
Bibliografa
[84] Mamedov, A.
equations (Russian).
(1965), 4148.
(1979), 212215.
Mathematical Computation, 34
[87] Miel, G. J.
(1980), 185202.
Newton's method.
Computing, 27
(1981), 237244.
SIAM
(1979).
Newton's method and variations, in Nonlinear integral equations (P. Anselone, ed.). University of Wisconsin Press,
[89] Moore, R. H.
33
Computing,
(1984), 6573.
[91] Moser, J.
periore di Pisa, 20
[92] Noble, B.
hematical Monthly, 75
(1968).
hematici Helvetici, 9
[96] Ostrowski, A.
spaces.
American Mat-
Commentarii Mat-
(1936).
Bibliografa
155
[97] Ostrowski, A. M.
Serie A
(1971), 12511253.
[99] Polyanin, A. D. y Manzhirov, A. V.
tions.
[100] Potra, F. A.
method.
(1984), 125138.
Numerische Mathematik, 34
(1981), 6372.
processes.
[103] Proinov, P. D. New general convergence theory for iterative processes and its applications to Newton-Kantorovich type theorems.
1 (2010), 342.
(1975), 699705.
Mathematik, 25
[106] Rall, L. B.
Numerische
(1976), 279285.
Computation, 185
(2007), 147154.
156
Bibliografa
[110] Rheinboldt, W. C.
iterative processes.
(1968),
4263.
[111] Rudin, W.
Functional Analysis.
McCraw-Hill, 1974.
(1899), 405449.
(2010), 149154.
[114] Shub, M. y Smale, S. Complexity of Bzout theorem I: Geometric
aspects.
(1993), 459
501.
[115] Smale, S.
theory.
(1981),
135.
[116] Tapia, R. A. The Kantorovich theorem for Newton's method.
Ame-
(1971), 389392.
Proceedings
of the Smalefest (M. V. Hirsch, J. E. Mardsen y M. Shub editors),
Springer-Verlag, (1993), 456465.
[117] Wang, X.
60
(1995), 253269.
rens.
[120] Wojtaszczyk, P.
Cambridge Univer-
Journal of Complexity, 15
-theory
(1999), 239281.
3 (2000), 603638.
Bibliografa
157
[123] Yakoubshon, J. C.
[124] Yakoubshon, J. C.
Complexity, 21,
Journal of
5 (2005), 652690.
[125] Yamamoto, T. Error bounds for Newton's iterates derived from the
Kantorovich theorem.
[126] Yamamoto, T.
Numerische Mathematik, 48
Mathematics, 2
(1985), 258292.
[127] Yamamoto, T.
Newton's process.
tics, 12,
(1985), 9198.
13 (1985), 179191.
(1986), 3752.
[129] Yamamoto, T. A method for nding sharp error bounds for Newton's method under the Kantorovich assumption.
hematik, 49
Numerische Mat-
(1986), 203220.
Numerische Mathematik, 51
(1987), 545557.
30,
2 (2003), 133135,144.