MTODO do PONTO FIXO

Vamos introduzir um mtodo fundamental, importante para resolver qualquer equao. A ideia consiste em estabelecer uma equivalncia: f(x) = 0 <=> x = g(x) A partir deste ponto, o mtodo consiste em Escolher uma iterada inicial x0 Iterar xn+1 = g(xn) Considerando g contnua, se o mtodo convergir, converge para um certo z (a que chamamos ponto fixo de g) tal que: z = g(z) este ponto z, pela equivalncia estabelecida, ser uma raiz da equao, ou seja f(z) = 0. Geometricamente, podemos ter as seguintes situaes:

Definio: Uma funo g contnua em [a, b] diz-se Lipschitziana se existir um L > 0 tal que : | g(x) - g(y) | < L | x - y | , para quaisquer x, y em [a, b] Se L < 1 a funo diz-se Contractiva.

Proposio: Se g uma funo diferencivel em [a, b], e temos |g'(x)| < L < 1, para x em [a, b], ento a funo g contractiva nesse intervalo. dem: Usando o T. Lagrange, sabemos que, para quaisquer x, y em [a,b] | g(x) - g(y) | = |g'(c)| |x-y| , para um certo c em ]x, y[ C [a, b] concluimos, aplicando a hiptese.

Teorema (do PONTO FIXO em R): Seja g uma funo contnua em [a, b]. Se g fr contractiva em [a, b], e se g([a, b]) C [a, b] , ento g tem um e um s ponto fixo z em [a,b] A sucesso xn+1 = g(xn) converge para esse ponto fixo z, dado qualquer x0 em [a, b]. demonstrao: Existncia (de ponto fixo) Consideramos uma funo auxiliar h(x) = g(x) - x , contnua, como g([a, b]) C [a, b] temos g(a) > a, g(b)< b assim h(a) h(b) < 0, logo pelo Teor. Valor Intermdio, existe um z : h(z) = 0, ou seja g(z)=z. Unicidade (do ponto fixo) Supondo que g contractiva e z e w so pontos fixos de g em [a,b] , temos: | z - w | = | g(z) - g(w) | < L |z - w|, logo (1 - L) | z - w | < 0 e como L < 1 podemos concluir que | z - w |=0, ou seja, z=w. Convergncia fcil ver por induo que se x0 pertence a [a,b], qualquer xn tambm pertence. Basta reparar que xn+1= g(xn) e que g([a, b]) C [a, b] . Por outro lado, temos | z - xn+1 | = | g(z) - g(xn) |< L | z - xn | Logo | z - xn+1 | < Ln+1 | z - x0 | > 0, pois L < 1 e temos | z - x0 | < | a - b |

Corolrio: Seja g uma funo C1( [a, b] ). Se g([a, b]) C [a, b] , L = max[a,b] | g'(x) | < 1 ento as condies do T. Pto. Fixo so verificadas e temos: g tem um e um s ponto fixo z em [a,b] A sucesso xn+1 = g(xn) converge para esse ponto fixo z, dado qualquer x0 em [a, b].

Corolrio: Verificadas as condies do Teorema do Ponto Fixo, temos ainda as seguintes majoraes de erro: | z - xn | < Ln | z - x0 | | z - xn | < 1/(1- L) | xn+1 - xn | | z - xn | < Ln/(1- L) | x1 - x0 |

Para alm disto, nas condies do Teorema do Ponto Fixo, temos : Se 0 < g'(x) < 1 ento a convergncia montona (ou seja, as iteraes ficam todas direita [ esquerda] da raiz, se a iterada inicial estiver direita [ esquerda] da raiz). Se -1 < g'(x) < 0 ento a convergncia alternada (ou seja, as iteraes vo ficar alternadamente esquerda e direita da raiz) Portanto, no caso de asseguramos convergncia alternada, sabemos que a raiz ir sempre pertencer a intervalos em que os extremos so xn e xn+1.

Teorema (Divergncia): Seja g uma funo diferencivel tal que | g'(x) | > 1 em [a,b]. Neste caso, a sucesso xn+1=g(xn) no pode convergir para um ponto fixo z de g situado nesse intervalo (a nica excepo ser se, numa certa iterada, obtivermos "acidentalmente" o ponto fixo z ).

Teorema (Convergncia Local): Seja z um ponto fixo de g, funo diferencivel numa vizinhana de z, tal que |g'(z)|<1, ento a sucesso xn+1=g(xn) converge para z, desde que x0 esteja suficientemente prximo de z.

Definio (Ordem de Convergncia): Consideremos uma sucesso (xn) convergente para z. Ao valor p tal que:

chamamos Ordem de Convergncia, e ao valor Koo chamamos coeficiente assimpttico de convergncia. Se p=1 a convergncia diz-se Linear. Se p=2 a convergncia diz-se Quadrtica. De um modo geral, se p>1 a convergncia diz-se Supra-linear.

Proposio : Nas condies do teorema do ponto fixo, a convergncia linear se g'(z)=/=0 e o coeficiente assimpttico de convergncia |g'(z)|.

dem: Usando o Teorema de Lagrange, sabemos que | xm+1 - z | = | g(xm) - g(z) | = | g'(cm) | | xm - z | com cm num intervalo aberto cujos extremos so xm e z. Logo, dividindo e passando ao limite, temos:

pois cm tende para z, j que o extremo xm do intervalo tende para z. Como suposemos que g'(z)=/=0, concluimos o teorema. Podemos agora perguntar qual ser a ordem de convergncia quando g'(z)=0. O teorema seguinte d-nos a resposta: Teorema (Convergncia Supra-Linear): Seja g uma funo C p( I ), onde I um intervalo que uma vizinhana de z, ponto fixo de g, com p > 2. Se g'(z) = ... = g(p-1)(z) = 0 com g(p)(z)=/=0, ento:

ou seja, o mtodo do ponto fixo tem convergncia de ordem p.