FACULTAD DE CIENCIAS FSICAS Y MATEMTICAS

ESCUELA ACADMICO PROFESIONAL DE MATEMTICAS

Demostraciones de Teoremas
Alumno: Marav Alvarado Marlon

Profesor: Amado Mndez

Ciclo

Curso

:V

: Anlisis Numrico I

X ( 0) Rn , la sucesin

Teorema 7.19 Para cualquier

{ X ( k ) }k =0

definida

por
( k)

X =T X

( k1 )

+ c , para cada

converge a la solucin nica de

X =TX+ c

k 1 ,

si y solo si

( T ) <1 .

Demostracin:
Supongamos que

( T ) <1 , luego aplicamos la definicin de

( k)

de

manera iterativa,
X ( k )=T X (k1 )+ c
T ( X (k2) +c ) +c
2

T X

( k2)

+ (T +I ) c

T k X ( 0) + ( T k1+ +T + I ) c
Ya que tenemos que
equivalente a que

( T ) <1 , por un teorema sabemos que esto es

es convergente y tambin tenemos que:

lim T k X ( 0)=0

Y por un lema obtenemos,

k

( k)

(0 )

lim X =lim T X +

i.e. la sucesin
que

X =TX+ c .

( )

T j c=0+ ( I T )1 c= ( I T )1 c

j=0

{ X ( k) }

converge al vector

X =( I T )1 c

lo que implica

zR

Para el reciproco, mostraremos que para cada

k

lim T z=0

lo que es equivalente a

Ahora bien, sea

{ X ( k) }

Entonces

converge a

, tenemos

( T ) <1 .

un vector arbitrario y

X =TX+ c . Ahora definimos

la nica solucin de

X ( 0)= Xz , y tambin

X ( k )=T X (k1 )+ c , k 1 .

X . A eso le sumamos que:

X X ( k )=( TX +c )T X ( k1 )+ c=T ( XX (k1) ) ,

As hacemos esto muchas veces hasta obtener:
X X ( k )=T ( X X (k1) ) =T 2 ( X X ( k2) )==T k ( X X (0 )) =T k z
Luego llevando al lmite
lim T k z=lim T k ( X X (0 )) =lim T k ( XX (k ) ) =0

Y como

lo tomamos arbitrario, esto implica que

convergente y por un teorema eso es equivalente a

es una matriz

( T ) <1 .

Teorema 7.21: Si A es estrictamente diagonal dominante, entonces con

cualquier eleccin de

X ( 0) , tanto el mtodo de Jacobi como el de

Gauss-Seidel dan sucesiones

{ X ( k ) }k =0

que convergen a la solucin nica

AX =b .

Demostracin:
Para el mtodo de Jacobi solo tendramos que mostrar que
donde

T =D 1 ( L+U ) ,

T =( t ik )

tiene las entradas:

T <1 ,

0, i k , 1 i n , 1 k n
t ik = aik
,i k ,1 i n ,1 k n
aii

Puesto que
n

T =max
1 i n k=1
ki

es estrictamente diagonal dominante,

||

aik
<1
aii

En el caso del mtodo de Gauss-Seidel, la matriz que define la iteracin

es
T =( DL )1 U . Sea
asociado tal que

|x i| 1, i k

un valor propio de

vector propio

X <1 . De la definicin de la norma se deduce que

k

existe un ndice

x k 1

tal que

. Consecuentemente se tiene

( DL ) X =UX

Si se selecciona la k-sima componente de los vectores de esta igualdad

se obtiene
a kk x k a ki x i = aki x i

i<k

i >k

De esto se deduce

|a ki||x i|

i>k

|a ki|

i >k

|akk||x k| |a ki||xi| |a kk| |a ki|

i <k

i <k

Finalmente de la definicin de matriz estrictamente diagonal dominante

se deduce que

||<1
Lo que prueba que

( T ) <1

y por lo tanto

T <1 .

Lo que implica que el mtodo de Gauss-Seidel da una sucesin

que converge a la solucin nica

{ X ( k ) }k =0

AX =b .

Teorema 7.24 (Kahan)

aii 0, i=1,n

Si

, entonces

( T ) |1|

de SOR puede converger slo si

. Ello significa que el mtodo

0< <2 .

Demostracin:
Sean

1 , , n

los valores propios de

i=det T =det ( ( DL )1 [ ( 1 ) D ]+U )

i=1

det ( DL )1 det ( [ ( 1 ) D ]+ U )
det ( D1 ) det ( ( 1 ) D )

1
(( 1 )n a11 a 22 ann )
( a 11 a22 ann )

( 1 )n
Por tanto,
( T ) =max | i||1|
1 i n

|1|<1 si y slo si 0< <2

. Entonces