Академический Документы
Профессиональный Документы
Культура Документы
Mtodos Numricos
para Sistemas de
Ecuaciones Lineales
Gonzalo Hernndez Oliva
Clculo Numrico MA-33A
Universidad de Chile
Departamento de Ingeniera Matemtica
GHO SEL - MA33A 2
MN para SEL: Temario
1) Motivacin Aplicaciones SEL:
a) Interpolacin Polinomial
b) Mnimos Cuadrados
c) Mtodo Simplex Optimizacin Lineal
2) Definiciones y Resultados Bsicos
3) Mtodos de Pivoteo (Directos) para SEL:
Gauss y Gauss-Jordan
4) Anlisis de Error del Mtodo de Gauss
GHO SEL - MA33A 3
5) Matriz Inversa y Determinante
6) Factorizacin de Matrices
7) Mtodos Iterativos para SEL
a) Mtodo de Jacobi y Gauss-Seidel
b) Mtodo de Relajacin SOR y Gradiente
Conjugado
c) Anlisis de Error de los Mtodos Iterativos
d) Mtodos para Vectores y Valores Propios
MN para SEL: Temario
GHO SEL - MA33A 4
MN para Sist. de Ecs. Lineales:
1) Motivacin 1: Interpolacin Polinomial
Dados (n+1) puntos
Encontrar un polinomio de
grado n tal que:
( ) 1,..., 1
i i
p x y i n = = +
x
i
y
i
p(x)
x
x
x
x
x
x
x
x
x
0
( )
n
k
i i k i
k
y p x a x
=
= =
( , )
i i
x y
GHO SEL - MA33A 5
1 x
1
x
1
2
x
1
n
1 x
2
x
2
2
x
2
n
1 x
3
x
3
2
x
3
n
1 x
n1
x
n1
2
x
n1
n
a
0
a
1
a
2
a
n
y
1
y
2
y
3
y
n1
0
( ) 1,..., ( 1)
( )
i i
n
k
i i k i
k
y p x i n
y p x a x
=
= = +
= =
0 1 k k
y x = +
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ +
+
+
+
+
MN para Sist. de Ecs. Lineales:
1) Motivacin 2: Mnimos Cuadrados
GHO SEL - MA33A 7
MN para Sist. de Ecs. Lineales:
1) Motivacin 2: Mnimos Cuadrados
GHO SEL - MA33A 8
c
o
e
f
i
c
i
e
n
t
e
s
Sea . Se quiere determinar un
polinomio de grado n segn MCC:
Ecuaciones Normales:
[ , ] f a b
( )
n
p x
[ ]
2
( )
min ( ) ( )
n
b
T n
p x
a
f x p x dx =
a
b
x
0
dx
a
b
x
1
dx
a
b
x
2
dx
a
b
x
n
dx
a
b
x
1
dx
a
b
x
2
dx
a
b
x
3
dx
a
b
x
n1
dx
a
b
x
n
dx
a
b
x
n1
dx
a
b
x
n2
dx
a
b
x
2n
dx
a
0
a
1
a
n
a
b
x
0
fxdx
a
b
x
1
fxdx
a
b
x
n
fxdx
1 1
1
i j i j
ij
b a
i j
+ + + +
=
+ +
Matriz tipo Hilbert !
MN para Sist. de Ecs. Lineales:
1) Motivacin 2: Mnimos Cuadrados
GHO SEL - MA33A 9
Sea . Determinemos
polinomio de grado 3 segn MC:
( ) sin( ) f x x =
3
( ) p x
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.2
0.4
0.6
0.8
1
x
sin(pi*x) v/s -1/20+103/25x-103/25x
2
s
i
n
(
p
i
*
x
)
v
/
s
p
3
(
x
)
1 1/2 1/3 1/4
1/2 1/3 1/4 1/5
1/3 1/4 1/5 1/6
1/4 1/5 1/6 1/7
a
0
a
1
a
2
a
3
2/
1/
2
4/
3
2
6/
3
2
3
( ) 4.12 4.12 0.05 p x x x = +
MN para Sist. de Ecs. Lineales:
1) Motivacin 2: Mnimos Cuadrados
GHO SEL - MA33A 10
( ) sin( ) f x x =
( ) sin( ) f x x =
5,6
0
( )
k
k i
k
p x a x
=
=
2
( )
1
x
f x
x
=
+
9
0
( )
k
k i
k
p x a x
=
=
Ejemplo 2:
-5 -4 -3 -2 -1 0 1 2 3 4 5
-0.5
-0.4
-0.3
-0.2
-0.1
0
0.1
0.2
0.3
0.4
0.5
y=x/(x
2
+1)
7th degree
9th degree
MN para Sist. de Ecs. Lineales:
1) Motivacin 2: Mnimos Cuadrados
GHO SEL - MA33A 12
Regin Factible
min
0
n
t
x
c x
Ax b
x
0
Ax b
x
1
n
T
k k
k
c x c x
=
=
x
2
x
1
z
Vrtices
MN para Sist. de Ecs. Lineales:
1) Motivacin 3: Programacin Lineal
GHO SEL - MA33A 13
Resolver un sistema de n ecuaciones lineales y
n incgnitas consiste en determinar los valores
de las variables: x
1
, x
2
, ... , x
n
tales que, dados:
A = (a
ij
) y b = (b
i
) (i =1,...,n ; j =1,...,n) se satisfagan
las ecuaciones: Ax = b
.
.
.
.
.
.
.
.
.
.
.
.
MN para Sist. de Ecs. Lineales:
2) Defs. y Resultados Bsicos 1
11 12 1 1 1
21 22 2 2 2
1 2
n
n
n n nn n n
a a a x b
a a a x b
a a a x b
=
= =
= = =
= =
MN para Sist. de Ecs. Lineales:
2) Defs. y Resultados Bsicos 3
1
( ) cond A A A
=
*Revisar clculo del cond(A) en Matlab
GHO SEL - MA33A 16
Veamos un ejemplo:
0.550 0.423 0.127 1
0.484 0.372 0.112 -1
0.550 0.423 0.127 -0.4536
0.48 3 0.372 0.112 0.89
Se tiene: cond(A) = 0.9737833.3 = 7621.8 !!!
El sistema es mejor condicionado si se tiene
que cond (A) esta cerca de 1 (Mat. de Hilbert)
A =
A+A =
b = x =
b =
x =
MN para Sist. de Ecs. Lineales:
2) Defs. y Resultados Bsicos 4
GHO SEL - MA33A 17
Sin Anulacin de Pivote:
Parte 1: Eliminacin de variables
bajo la diagonal en las ecuaciones mediante
operaciones elementales:
Multiplicar una ecuacin por un real
Sumar dos ecuaciones
Se entonces producen ceros bajo la diagonal.
Parte 2: Sustitucin backward de las variables
en las ecuaciones
MN para Sist. de Ecs. Lineales
3) Mtodo de Gauss 1
GHO SEL - MA33A 18
Sustitucin Backwards:
MN para Sist. de Ecs. Lineales
3) Mtodo de Gauss 2
( 1)
( 1)
1
1
( 1), ...,1
n n
n
nn
n
k k n kj j
j k
kk
u
x
u
x u u x k n
u
+
+
= +
=
= =
Veamos un ejemplo.
GHO SEL - MA33A 19
En la iteracin k de la primera etapa del
mtodo de Gauss es posible que el pivote
a
k
ii
(elementos de la diagonal de la ecuacin
i) se anule. En este caso se permuta la
ecuacin i con la ecuacin m de mayor
pivote en mdulo (pivoteo parcial):
| a
k
mi
| | a
k
ji
| para todo j = i+1,,n
Investigue la estrategia de pivoteo completo
.
.
.
MN para Sist. de Ecs. Lineales:
3) Mtodo de Gauss 3
Estrategias de Pivoteo
GHO SEL - MA33A 20
Una medida de la eficiencia de un algoritmo
es el tiempo que demora en ejecutarse, el
cual es proporcional al nmero de
operaciones aritmticas (ops)
Ops_Gauss(n) =
i=1
n-1
(n - i)(2n - 2i + 6)
MN para Sist. de Ecs. Lineales:
3) Mtodo de Gauss 4: # de Ops
, ,
Parte 1
O(n
3
)
i=1
(2i - 1)
n
+
Parte 2
O(n
2
)
GHO SEL - MA33A 21
El mtodo de Gauss Jordan consiste en
aplicar 2 veces la primera parte del mtodo
de Gauss, es decir: triangularizar superior e
inferiormente la matriz A
Ops_G-J(n) =
i=1
n-1
(n - i)(2n - 2i + 6)
MN para Sist. de Ecs. Lineales:
3) Mtodo de Gauss - Jordan:
, ,
i=1
4i + n
n-1
+
Parte 1
O(n
3
)
Parte 2
O(n
2
)
GHO SEL - MA33A 22
Es posible hacer un anlisis de propagacin
de errores, que se obtienen al realizar las
operaciones aritmticas de la primera y
segunda etapa del mtodo de Gauss o
Gauss Jordan
Se demuestra que esta propagacin de
errores disminuye si se utiliza alguna tcnica
de pivoteo (parcial o completo)
MN para Sist. de Ecs. Lineales:
4) Anlisis de Error del M. de Gauss:
GHO SEL - MA33A 23
Matriz inversa A: Se aplica el mtodo de
Gauss Jordan al SEL aumentado con las
columnas de la matriz identidad
MN para Sist. de Ecs. Lineales:
5) Matriz Inversa y Determinante 1:
a
11
a
12
a
1n
a
21
a
22
a
2n
a
n1
a
n2
a
nn
1 0 0
0 1 0
0 0 1
GHO SEL - MA33A 24
El det(A) se puede definir recursivamente
mediante la frmula de Laplace:
Frmula vlida
para cualquier
fila i o columna j
Matriz Cofactor ij de A
Se obtiene eliminando
fila i y columna j
1
det( ) ( 1) det( )
n
i j
ij ij
j
A a A
+
=
=
0
u
n-1n-1
u
2n-1
u
1n-1
0 0
u
nn
0 0
u
2n
u
22
0
u
1n
u
12
u
11
L U
A = LU
<
GHO SEL - MA33A 33
Teorema: A es definida positiva si y solo si
los determinantes de las matrices cofactores
principales son positivos: det(A
kk
) > 0 para
todo k=1,,n.
MN para Sist. de Ecs. Lineales:
6) Fact. de Matrices 6: Cholesky
a
kk
a
k1
a
1k
a
11
A
kk
=
Matriz cofactor
principal k
GHO SEL - MA33A 34
Teorema: A es definida positiva si y solo si
puede factorizarse como A = LL
T
donde L es
una matriz triangular inferior con l
ii
> 0 para
todo i=1,,n.
En este caso para resolver un SEL Ax = b
se debe aplicar la sustitucin forward -
backward
MN para Sist. de Ecs. Lineales:
6) Fact. de Matrices 7: Cholesky
GHO SEL - MA33A 35
MN para Sist. de Ecs. Lineales:
6) Fact. de Matrices 8: Met. Cholesky
Paso 1:
l
11
a
11
Paso 2: Para j=2,,n
Paso 3: Para i=2,,n-1
l
ii
a
ii
k1
i1
l
ik
2
1/2
Para j=(i+1),,n
l
ji
a
ji
k1
i1
l
jk
l
ik
l
ii
l
j1
a
j1
/l
11
Paso 4:
l
nn
a
nn
k1
n1
l
nk
2
1/2
GHO SEL - MA33A 36
Factorizacin QR:
A = QR
Q matriz ortogonal: Q
t
Q = I (Gram-Schmidt)
R = Q
t
A
Factorizacin SVD:
A
nxm
= USV
t
U
nxn
, V
mxm
matrices ortogonales
S
nxm
matriz valores singulares (raz v.p. A
t
*A)
MN para Sist. de Ecs. Lineales:
6) Fact. Matrices 9: Ortogonalizacin
GHO SEL - MA33A 37
Mtodos Iterativos:
x
(0)
n
x
(k+1)
= F(x
(k)
) k 0
Los mtodos para SEL son de la forma:
F(x
(k)
) = Bx
(k)
+ h
donde B
nn
, h
n
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 1:
GHO SEL - MA33A 38
En general se construyen B y h de la
siguiente forma:
Sean M y N
nn
tales que:
M es invertible y A = M N
Entonces:
Ax = b Mx = Nx + b x = M
-1
Nx + M
-1
b
Esto sugiere definir:
B = M
-1
N y h = M
-1
b
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 2:
GHO SEL - MA33A 39
Luego, si descomponemos A = (a
ij
) invertible
segn:
A = diag(A) + low(A) + up(A)
Donde diag(A) , low(A) , up(A)
nn
se
definen segn:
a
ij
si i = j
diag(A)
ij
=
0 si i j
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 3:
GHO SEL - MA33A 40
a
ij
si i > j
low(A)
ij
=
0 si i j
a
ij
si i < j
up(A)
ij
=
0 si i j
En base a estas definiciones se tienen los
mtodos de Jacobi y Gauss - Seidel
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 4:
GHO SEL - MA33A 41
Jacobi: define M y N segn:
M = diag(A)
N = -[low(A) + up(A)]
B = - diag(A)
-1
[low(A) + up(A)]
h = diag(A)
-1
b
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 5:
GHO SEL - MA33A 42
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 6:
Si x
(k)
= (x
i
(k)
) i = 1,,n es el vector de la
iteracin k del mtodo de Jacobi, entonces
satisface la siguiente frmula iterativa:
( 1)
1
( )
1 , 1, 2, 3...
n
k
ij j i
j
j i
k
i
ii
a x b
x i n k
a
+
= =
= = +
+
=
=
GHO SEL - MA33A 45
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 9:
Si x
(k)
= (x
i
(k)
) i = 1,,n es el vector de la
iteracin k del mtodo de SOR, satisface
la siguiente frmula iterativa:
1
( ) ( 1)
1 1
( ) ( 1)
(1 )
1 , 1, 2,3...
i n
k k
ij j ij j i
j j i
k k
i i
ii
a x a x b
x x
a
i n k
= = +
+
= +
=
GHO SEL - MA33A 46
Para matrices tridiagonales y definidas
positivas, el valor ptimo de est dado
por la frmula:
Donde:
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 10:
2
1 1T
1
1
[ ( )] ( ( ) ( ))
[ ( ) ( )] ( )
J
G
T Diag A Low A Up A
T Diag A Low A Up A
= +
= +
GHO SEL - MA33A 47
Si A es definida positiva, el mtodo del
gradiente conjugado est dado por:
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 11:
1
2
min ( )
n
t t
x
q x x Ax x b Ax b
= =
0 0 0 0 0
, ,
n
x g Ax b d g = =
1 k k k k
x x d
+
= +
Paso 0:
Paso 1:
Paso 2:
( )
( )
k t k
k
k t k
g d
d Ad
=
GHO SEL - MA33A 48
1
( )
( )
k t k
k
k t k
g Ad
d Ad
+
=
Mtodo del gradiente conjugado:
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 12:
Paso 4:
1 1 k k k k
d g d
+ +
= + Paso 5:
Si no hay errores de redondeo el mtodo
del gradiente conjugado converge en a lo
ms n iteraciones.
1 1 k k
g Ax b
+ +
= Paso 3:
GHO SEL - MA33A 49
Anlisis de Error de los Mtodos Iterativos
Es posible hacer un anlisis de propagacin
de errores que se obtienen al realizar las
operaciones aritmticas de las iteraciones del
mtodo de Jacobi y Gauss Seidel
Si x
(k)
es la iteracin k de J o G-S y Ax = b:
cond(A)
( ) ( )
1
k k
x x b Ax
A A
x b
b) (A) || A ||
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 15:
i=1,,n
GHO SEL - MA33A 52
La relacin entre mtodos iterativos para
SEL y valores propios la establece los
siguientes resultados:
Proposicin: Si x
k
es la iteracin k de un
mtodo iterativo para un SEL que tiene la
forma:
x
k+1
= Tx
k
+ c y Ax = b
Entonces:
|| x
k
x || (T)
k
|| x
0
x ||
Para k
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 16:
GHO SEL - MA33A 53
MN para Sist. de Ecs. Lineales:
7) Mtodos Iterativos para SEL 17:
Proposicin: Si x
k
es la iteracin k de un
mtodo iterativo para un SEL que tiene la
forma:
x
k+1
= Tx
k
+ c y Ax = b
Entonces: x
k
x ssi (T) < 1
Proposicin: Si los mtodos de Jacobi y
Gauss-Seidel convergen se tiene que:
0 (T
GS
) < (T
J
) < 1
GHO SEL - MA33A 54
Bibliografa
1) R. Burden & J. D. Faires, Anlisis
Numrico, Sptima Edicin, Thomson
Learning, 2002.
2) J. Stoer & R. Burlisch, Introduction to
Numerical Analysis, Second Edition,
Springer, 1992.
3) G. Hernndez O.: Apuntes de Clculo
Numrico 2007