DEFINICIONES DE ERROR

Los errores numricos se generan con el uso de

aproximaciones para representar las operaciones y
cantidades matemticas
Estos incluyen:
Errores de redondeo: se producen cuando los nmeros tienen
un limite de cifras significativas que se usan para representar
nmeros exactos
Errores de truncamiento: que resultan de representar
aproximadamente un procedimiento matemtico exacto
DEFINICIONES DE ERROR
Error verdadero
Un defecto de esta definicin es que no toma en cuenta el orden de magnitud
del valor que se esta probando
Error relativo porcentual
Error aproximado
Los signos de las ecuaciones pueden ser positivos o negativos
No importa el signo, sino que su valor absoluto sea menor que una tolerancia
prefijada
s
n aproximaci - adero valor verd =
t
E
% 100
adero valor verd
=
t
t
E

% 100
aproximado valor
aproximado Error
=
a

% 100
actual n Aproximaci
anterior n Aproximaci - actual n Aproximaci
=
a

s a
<
DEFINICIONES DE ERROR
Estos errores pueden ser relacionados con el nmero de
cifras significativas en la aproximacin
Puede tenerse la seguridad de que el resultado es
correcto en al menos n cifras significativas, si
De esta forma se debe especificar el valor del error
esperado
( )% 10 5 . 0
2 n
s

=
ECUACIONES NO LINEALES
Objetivo: estudiar algunos mtodos numricos para
hallar races reales de una ecuacin no-lineal en una
variable.
Considerando, inicialmente, el problema de encontrar
una raz de una funcin no-lineal con dominio y valores
reales, es decir, resolveremos la ecuacin:
g(x) = 0
con g:[a,b!"
Suponiendo que g es continua, con una sola raz
[a,b, y que sta es simple (f cambia de signo en ese
lugar).
(3.1)
SOLUCIN DE ECUACIONES NO
LINEALES
Un sistema de ecuaciones lineales tiene solucin nica
si la matriz de coeficientes es no singular.
La existencia y unicidad de soluciones de ecuaciones
no-lineales es mucho ms complicado, difcil de
determinar y con una mayor variedad de
comportamientos.
Para un sistema de ecuaciones lineales existen tres
posibilidades: nica, infinitas o ninguna solucin.
Una ecuacin no-lineal puede tener cualquier nmero
de posibles soluciones.
4
Carlos A. lvarez H. I.C. M.Sc.
Una ecuacin no-lineal puede tener mltiples races, donde
tanto la funcin como su derivada son iguales a cero.
g(x) # 0 g$(x) # 0
En 1%, esta propiedad significa que la curva tiene una
tangente horizontal en el eje x.
Si g(x) # 0 y g$(x) & 0 , entonces se dice que se tiene una raz
simple.
El mismo concepto de condicionamiento visto en el captulo
anterior puede aplicarse.
SOLUCIN DE ECUACIONES NO
LINEALES
5
Carlos A. lvarez H. I.C. M.Sc.
(3.2)
Tazas de convergencia y mtodos iterativos
Muchas ecuaciones no-lineales no pueden resolverse an con
un nmero muy grande de iteraciones.
El costo total de resolver un problema no-lineal depende del
costo por iteracin y del nmero de iteraciones requeridas
para la convergencia.
Para comparar la efectividad de los mtodos iterativos se
necesita caracterizar su taza de convergencia.
error en la iteracin ':
e
'
# x
'
( x
)
* x
'
: es la solucin aproximada en la iteracin ' y x
)
es la
solucin verdadera.
6
Carlos A. lvarez H. I.C. M.Sc.
(3.3)
Un mtodo se dice que converge con taza de
convergencia r si:
C
e
e
r
k
k
k
=
+

1
lim
Tazas de convergencia y mtodos iterativos
Para alguna constante C 0
Si r = 1 y C < 1, la taza de convergencia es lineal.
Si r > 1, la taza de convergencia es sper lineal.
Si r = 2, la taza de convergencia es cuadrtica.
7
(3.4)
Mtodo de Biseccin
Sea g una funcin continua en un intervalo [a,b, y g(a) x
g(b) + 0. Por teorema del valor intermedio para funciones
continuas, existe al menos un (a,b), tal que g() = 0.
Este mtodo consiste en dividir sucesivamente el intervalo
[a,b], por la mitad, hasta que la longitud del subintervalo que
contiene a la raz sea menor que alguna tolerancia
especificada .
8
Mtodo de Biseccin
9
Ventajas:
Siempre converge.
til como aproximacin inicial de otros mtodos.
Desventajas:
No tiene en cuenta la magnitud de los valores de la funcin
en las aproximaciones calculadas x
n
, solo tiene en cuenta
el signo de g(x), lo que hace que una aproximacin
intermedia, mejor que la respuesta final, pase
desapercibida.
Convergencia lenta.
Mtodo linealmente convergente, r = 1, C = 0.5
Mtodo de Biseccin
10
Criterios de paro y estimacin del error:
Repetir el mtodo para obtener una aproximacin ms
exacta de la raz.
Finalizar el clculo cuando el error se encuentre por
debajo de algn nivel prefijado:
Tol
x
x x
i
r
i
r
i
r
a

% 100
1

i : iteracin actual, i 1, iteracin anterior.

Cada vez que se encuentra una aproximacin a la raz
cuando se usan bisecciones como:
( )
2
u l
r
x x
x

=
Mtodo de Biseccin
11
(3.)
(3.!)
La raz verdadera se halla en algn lugar dentro del
intervalo
( )
2 2
x x x
l u

=

La raz debe situarse en "x#2

Debido a que:
( )
2 2
1

i
r
i
r
x x x
La ecuacin (3.) proporciona un lmite superior exacto
sobre el error real.
Aunque este mtodo es el ms lento, la claridad en el
anlisis del error lo hace muy atractivo para aplicaciones en
ingeniera.
Mtodo de Biseccin
12
(3.$)
(3.%)
Otro beneficio del mtodo es que el nmero de iteraciones
requerido para obtener un cierto error absoluto se puede
calcular a priori, es decir, antes de empezar las
iteraciones.
Antes de empezar las iteraciones, el error absoluto es:
0 0 0 0
x x x E
l u a
= =
Despus de la primera iteracin, el error es:
2
0 1
x E
a
=
El error absoluto deseado, correspondiente a la ltima
iteracin es,
n
n
a&
x E 2
0
=
Mtodo de Biseccin
13
(3.')
(3.10)
(3.11)
Resolviendo para n (nmero de iteraciones)
( )
|
|

\
|

=
a&
a&
E
x E x
n
0
2
0
lo,
) 2 lo,(
- lo,
Mtodo de Biseccin
14
(3.12)
Regula falsi (falsa posicin)
Consideremos una funcin g continua en un intervalo
[a,b, y tal que g(a) x g(b) + 0.
Este mtodo es similar al mtodo de Biseccin en el
sentido de que se generan subintervalos [a
n
, b
n
, que
encierran a la raz , pero esta vez x
n
no es el punto
medio de [a
n
, b
n
, sino el punto de interseccin de la
recta que pasa por los puntos (a
n
,g(a
n
)), (b
n
,g(b
n
)), con el
eje x.
15
( )
( ) ( )
1
1
1
n n
n n n
n n
x x
x x g x
g x g x

Regula falsi (falsa posicin)

16
(3.13)
Punto Fijo
Dada una ecuacin g(x)#0, se puede transformar, en otra
equivalente del tipo x#g(x) para alguna funcin g. En este caso
se tiene que: es raz de g(x)#0 g()=0 #(() es
raz de x#((x).
Definicin: Un nmero tal que # (() se dice un punto
fijo de la funcin (.
Teorema de punto fijo: Si ( es una funcin continua en [a,b],
y ((x)[a,b] x[a,b], entonces ( tiene por lo menos un punto
fijo en [a,b]. Si adems, ((x) existe x(a,b), y |((x)|)<1
x(a,b), ) constante, entonces ( tiene un nico punto fijo
x[a,b], y la sucesin {x
n
}
n
definida mediante la frmula de
iteracin:
x
n
# ((x
n-1
), n # 1, 2, ., . . .
17
(3.14)
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Punto Fijo
(
2
*x+ # e
-x
(
1
*x+ # x
g*x+ # e
-x
,x
18
El comportamiento de los esquemas de punto fijo puede
variar ampliamente desde la divergencia, lenta
convergencia, a la rpida convergencia.
La va ms simple (aunque no ms general) de
caracterizar el comportamiento de la iteracin de punto
fijo es considerar la derivada de g en la solucin x
-
.
Si x
-
=((x
-
) y /($(x
)
)/+1, entonces el esquema es
localmente convergente. Es decir, existe un intervalo
conteniendo x
)
tal que el correspondiente esquema
iterativo es convergente si comienza dentro del intervalo.
Punto Fijo
19
Newton - Raphson
De la serie truncada de Taylor
g(x.() / g(x) . g0(x)(
Reemplazando la funcin no-lineal f con esta funcin lineal,
cuyo cero es fcilmente determinada para ser (= g(x)#g0(x),
asumiendo que g0(x)0.
Los de las dos funciones no son idnticos en general,
entonces se repite el proceso. Esto motiva al siguiente
esquema iterativo:
( )
( )
1
0
k
k k
k
g x
x x
g x
+
=
El mtodo de 12 puede interpretarse como la aproximacin
de la funcin cerca de x
k
por la recta tangente g(x
k
)
20
(3.1)
(3.1!)
Newton - Raphson
21
-2
-1
0
1
2
3
4
5
6
7
8
0,4 0,6 0,8 1 1,2 1,4 1,6
x
0
= x
i
x
i.1
Desventajas del mtodo de NR
Lenta convergencia debida a la naturaleza de una
funcin en particular.
Cuando un punto de inflexin, g00(x)=0, ocurre en la
vecindad de una raz.
No existe un criterio general de convergencia.
Tener un valor suficientemente cercano a la raz.
Apoyarse de herramientas grficas.
Conocimiento del problema fsico.
Evaluacin de la derivada
22
Mtodo de la Secante
Un problema potencial en el mtodo 12 es la evaluacin de
la derivada.
Aproximar la evaluacin de la derivada mediante una
diferencia dividida finita regresiva.
( )
( )
( ) ( )
1
1
1
i i
i i i
i i
x x
x x g x
g x g x

Requiere de dos puntos iniciales de x.

Matemticamente idntico al mtodo de la 2egula 3alsi, pero
conceptualmente diferente.
No se requiere que g(x) cambie de signo.
La diferencia est en la forma en que uno de los valores
iniciales es reemplazado por la nueva aproximacin.
23
(3.1$)
-2
-1
0
1
2
3
4
5
6
7
8
0,4 0,6 0,8 1 1,2 1,4 1,6
Mtodo de la Secante
24
x
0
=
x
i
x
i.1
x
1
= 1.3
En el mtodo de la 2egula 3alsi, la ltima aproximacin de
la raz reemplaza cualquiera de los valores dando una
funcin con el mismo signo. Las dos aproximaciones
siempre encierran la raz.
El mtodo 2egula 3alsi siempre converge, ya que la raz
se encuentra dentro del intervalo.
El mtodo de la 4e5ante reemplaza los valores en una
secuencia estricta.
El nuevo valor x
i11
reemplaza x
i
.
( x
i
reemplaza al valor x
i-1
.
Los dos valores pueden caer en un mismo lado de la raz,
ocasionando divergencia.
Mtodo de la Secante
25
Mtodos numricos
para la resolucin de
Sistemas de
Ecuaciones no
Lineales
Ejemplo
Sistema no lineal
Newton Raphson multivariado

= + +
= + + +
=

0 1 ) . - 10 ( 20
0 02 . 1 ) ( ) 1 . 0 ( 31
0 ) co4( .
.
.
2
2
2
1
2
1
. 2 1
2 1
x e
x sen x x
x x x
x x
Notacin
) ,..., ( ) ,..., (
:
0 ) ,..., , (
0 ) ,..., , (
0 ) ,..., , (
1 1
2 1
2 1 2
2 1 1
n i n
n
i
n n
n
n
x x g x x
2 6 2 6 g
x x x g
x x x g
x x x g

=
=
=
M

=
)) ( ),... ( ( ) ,..., (
:
0 ) (
1 1
x g x g x x x
2 6 2 6 7
x 7
n n
n n
Escalar
Vectorial
Resolucin iterativa
x
(0)
estimacin inicial de la solucin
Iteraciones: x
(1)
, x
(2)
, , x
(k)
Criterio de convergencia
| x
(k+1)
x
(k)
| < tol
Criterio de parada
k > maxiter
Mtodo de Newton
Sistema de ecuaciones
Aproximacin por el plano tangente
Paso de Newton

=
)) ( ),... ( ( ) ,..., (
:
0 ) (
1 1
x g x g x x x
2 6 2 6 7
x 7
n n
n n
) ( ) ( ) ( ) (
) 0 ( ) 0 ( ) 0 (
x x x 87 x 7 x 7 +
) ( ) (
) 0 ( 1 ) 0 ( ) 0 ( ) 1 (
x 7 x 87 x x =

1
2
2 2
1 1 2
2 2
2 1 2 1 2
1 1
1 2
2 2
1 2
1 2
1 2 1 2
# , ( ) 0
( ) 2 3 0
( ) 5 0
6 a c o 7 i a n o
( ) ( )
( ) #
( ) ( )
5 2
( ) #
2 2
x
x
g x x x
g x x x x x
g g
x x
x x
g g
x x
x x
x x
x x x x
(
=
(

= + =
= + =

(
(

(

(
(


(
(
+

x x
J x
J x
Mtodo de Newton
Mtodo de Newton. Ejemplo 2
Sistema
Estimacin inicial
Primera
iteracin
( )
x 8
x 8
9ol x 8
2 2
2 2
1
2
1
2
.
5
1 0
0
+ =
+ =

= = : ,
x 8
0 0
1 . = = ,
x
8
x
8
x 8
x 8
x 8
x 8
1
1
0
0
0 0
0 0
1
0
2
0
2
0
2
0
2
1
2
2 2
2 2
1
|
\

|
|
=
|
\

|
|

|
\

|
+
+
|
\

|
|
|

Resultados Newton Ejemplo 2

k x y
0 1 .
1 0.22500000000000 1.22500000000000
2 0.51250000000000 1.05.22:2.0;2:2.
3 0.5001525.:025.: 0.33103121:::2:1
4 0.50000002.2.05; 0.32215505220..2
5 0.50000000000000 0.32202551...;5;
6 0.50000000000000 0.32202550.;3555


|
|
|

\
|

+ =

20
) co4( ) 1 . 0 ( 122 2
) ( ) ( .
) (
2 1 2 1
1 2
. 2 1
. 2 2 . 2 .
x x x x
e x e x
x x x
x x sen x x x sen x
x 87
Mtodo de Newton. Ejemplo 3
Sistema no lineal
Jacobiana
. 0
31 01 102 0
20 10 . 1 0
1 2 .
1
2
1
2
2
2
.
.
1 2
x x x
x x x
e x
x x
=
+ + + =
+ + =

co4( )
( . ) 4en( .
-
Resultados Newton. Ejemplo 3
k x
1
x
2
x
3
0 0.10000000 0.10000000
0.10000000
1 0.5::32:2; 0.01:52235
0.5215205;
2 0.5000152. 0.00120;25
0.52.1.122
3 0.50000012
1.532:5E5 0.52.553;2
4 0.50000000
2.03:10E3 0.52.5:350
5 0.50000000
2.;:2E11 0.52.5:3;3
6 0.50000000
5.E15 0.52.5:3;3
Variantes de Newton
(Ejercicio...)
Actualizacin peridica del
Jacobiano
Aproximacin del Jacobiano por
diferencias divididas
Newton con desplazamiento
unidimensional
Mtodos casi-Newton
Idea de la secante
No usa las
derivadas
parciales
Convergencia
superlineal
Formulacin
matricial
1 0
1 1
1 0
(1)
(2) (1)
1
( ) ( )
0( )
( )
g x g x
g x a
x x
g x
x x
a

=
(1)
1
(2) (1) 1 (1)
1
( )
( )
83 x 9
x x 9 7 x

= +
SOLUCIN DE SISTEMAS DE ECUACIONES
LINEALES
Solucin de sistemas pequeos
La solucin de un sistema lineal de 2 ecuaciones puede obtenerse
fcilmente de forma grfica
a
11
x
1
+ a
12
x
2
= b
1
a
21
x
1
+ a
22
x
2
= b
2
Despejando x
2
y graficando
22
2
1
22
21
2
12
1
1
12
11
2
a
b
x
a
a
x
a
b
x
a
a
x
+
|
|

\
|
=
+
|
|

\
|
=
12
1
1
12
11
2
a
b
x
a
a
x +
|
|

\
|
=
22
2
1
22
21
2
a
b
x
a
a
x +
|
|

\
|
=
soluci
n
Tipos de soluciones
No hay solucin Infinidad de soluciones Sistema mal condicionado
Ejemplo
x
1
+ x
2
= 1
x
1
+ x
2
=
Ejemplo
x
1
+ x
2
= 1
x
1
+ 2x
2
= 1
Ejemplo
x
1
+ x
2
= 1
0.501x
1
+ x
2
=0.9
Definicin
Un sistema lineal es un sistema de la forma:
E
1
: a
11
x
1
+ a
12
x
2
+ a
13
x
3
+...+ a
1n
x
n
= b
1
E
2
: a
21
x
1
+ a
22
x
2
+ a
23
x
3
+...+ a
2n
x
n
= b
2
.
E
n
: a
n1
x
1
+ a
n2
x
2
+ a
n3
x
3
+...+ a
nn
x
n
= b
n
Donde x
1
, x
2
, x
3
.., x
n
son las incgnitas.
Introduccin
En notacin matriz vector, un sistema de ecuaciones algebraicas
lineal tiene la forma:
Ax = b
* A: Matriz [: x n]
* b: Vector [:]
* x : Es el vector de incgnitas a ser determinado [n]
Lo siguiente conduce a la pregunta Puede el vector b ser
expresado como una combinacin lineal de las columnas de la
matriz A?
Los coeficientes de esta combinacin lineal estn dados por las
componentes del vector solucin x.
Puede o no tener solucin.
Puede no ser nica.
2
Nos centraremos en sistemas cuadrados, es decir A
[:,n]
donde :=n,
entonces, A
[:,:]
= A
[n,n]
.
[ ]
(
(
(
(
(
(
(
(

=
:n n n n n
n
n
n
n
s;:
a a a a a
a a a a a
a a a a a
a a a a a
a a a a a
L
M O M M M M
L
L
L
L
5 . 2 1
5 55 .5 25 15
. .5 .. 2. 1.
2 25 2. 22 12
1 15 1. 12 11
A
Matriz simtrica, a
i<
= a
<i
[ ]
(
(
(
(
(
(
(
(

=
1 0 0 0 0
1 0
0 0 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
L
M M M M
O
L
L
L
6
A
Matriz identidad, a
i<
= 1, i = <
3
Tipos especiales de matrices cuadradas
[ ]
(
(
(
(
(
(
(
(

=
:n
&iag
a
a
a
a
a
0 0 0 0
0 0
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
55
..
22
11
L
O M M M
M
L
L
L
A
[ ]
(
(
(
(
(
(
(
(

:n n :
n :
ban&
a a
a
a
a a a
a a a
a a
1 ,
, 1
5.
.5 .. .2
2. 22 21
12 11
0 0 0 0
0 0 0
0 0
0 0
0 0
0 0 0
O M
M L O
L
L
L
A
Matriz diagonal, a
i<
0, i = < Matriz bandeada
Tipos especiales de matrices cuadradas
4
[ ]
(
(
(
(
(
(
(
(

=
:n
n
n
n
n
=
a
a a
a a a
a a a a
a a a a a
L
M O M M M M
L
L
L
L
0 0 0 0
0 0 0
0 0
0
5 55
. .5 ..
2 25 2. 22
1 15 1. 12 11
A
[ ]
(
(
(
(
(
(
(
(

=
:n : : : :
>
a a a a a
a a a a
a a a
a a
a
L
M O M M M M
L
L
L
L
5 . 2 1
55 5. 52 51
.. .2 .1
22 21
11
0
0 0
0 0 0
0 0 0 0
A
Matriz triangular superior
Matriz triangular inferior
Tipos especiales de matrices cuadradas
5
Singularidad y No Singularidad
Una matriz A
[n,n]
se dice que es singular si presenta una de las
siguientes propiedades:
( A No tiene inversa: No existe una matriz Mtal que AM= MA = I.
det(A) = 0
Rango(A) < n: El rango de una matriz es el mximo nmero de
filas o columnas linealmente independientes.
( Az = 0, para cualquier vector z 0.
La solubilidad de un sistema de ecuaciones lineales est determinado
si la matriz A es o no singular.
No singular Una solucin.
Singular
No tiene solucin
Tiene infinitas soluciones
6
Anlisis de Error y Condicin del Sistema
El concepto escalar de magnitud, mdulo o valor absoluto, puede
generalizarse al concepto de norma vectorial o matricial.
Norma: Funcin de valor real que proporciona una medida del
tamao o longitud de las entidades matemticas multicomponentes
tales como vectores y matrices.
Tipos de Normas ms utilizadas:
Euclidiana
Norma-1
Norma infinita
17
Tipos de Normas ms utilizadas
Euclidiana

=
= =
n
i
i
e
x
1
2
2
x x

= =
=
n
i
n
<
< i
e
a 9
1 1
2
,

=
=
n
i
i
x
1
1
x
i
n i
x

=
1
max x

=

=
n
i
< i
n < i
a
1
,
max A
Norma-1
Norma infinita
Norma-2 para una matriz?
La eleccin de cul norma utilizar depende de consideraciones
prcticas como, por ejemplo, de implementacin en un programa.
18
Nmero de condicin de una matriz
( )
1
= A A A Con&
Se puede demostrar que
( )
A
A
x
x

9 Con&
El error relativo en la norma de la solucin calculada puede ser tan
grande como el error relativo de la norma de los coeficientes de A
multiplicada por el nmero de condicin.
Ej: Si los coeficientes de A son conocidos con t dgitos de precisin
(errores de redondeo son del orden de 10
-t
) y Con&(A) # 10
c
, la solucin x
puede ser vlida slo para t(c dgitos (errores de redondeo ~ 10
c-t
)
19
(
(
(

=
: . 5
. 3 5
5 5 2
9
(
(
(

=
.5
25
.;
b
Nmero de condicin de una matriz
Este nmero mide la sensibilidad de la solucin de un sistema de
ecuaciones lineales a errores en los datos
Valores cercanos a 1 indican que el sistema est bien condicionado
Valores grandes indican que la matriz es casi singular
[ ]
1
= 9 9 9 5on&
Sistemas diagonal dominantes
El elemento diagonal debe ser mayor que el elemento fuera de la
diagonal para cada fila Generalizando para n ecuaciones

=
>
n
i <
<
i< ii
a a
1
Eliminacin Gaussiana
Eliminacin hacia atrs(ba5k,substitution): Reducir el sistema de
ecuaciones a un sistema triangular superior.
nn n n
a b x - =
1 , , 1 ,
1
L =
|
|

\
|

+ =
n i
a
x a b
x
ii
n
i <
< i< i
i
7
Operacin de conteo
El tiempo de ejecucin depende de la cantidad de operaciones de
punto flotante (flo?) involucradas en el algoritmo.
El tiempo consumido para ejecutar multiplicaciones y divisiones es
casi el mismo y es mayor en sumas y restas.
8
Desventajas de los mtodos de eliminacin
Divisin entre cero.
Error de redondeo.
Sistemas singulares.
Sistemas mal condicionados.
2 2 22 1 21
1 2 12 1 11
b x a x a
b x a x a
= +
= +
22
2
1
22
21
2
12
1
1
12
11
2
a
b
x
a
a
x
a
b
x
a
a
x
+ =
+ =
22
21
12
11
a
a
a
a

21 12 22 11
a a a a
0
21 12 22 11
a a a a
9
Desventajas del mtodo de eliminacin
de Gauss
4. Sistemas singulares
Son aquellos donde dos o ms ecuaciones son iguales
En el caso donde dos ecuaciones son iguales se pierde un grado de
libertad siendo imposible resolver el problema de n-1 ecuaciones con n
incgnitas
Tales casos podran no ser obvios cuando se trabaja con grandes
conjuntos de ecuaciones
Se hace necesario tener una forma que de manera automtica detecte
la singularidad del sistema
Esto se logra debido al hecho de que el determinante de un sistema
singular es cero
Durante el proceso de eliminacin se chequea si un elemento de la
diagonal es cero, al descubrir uno se puede terminar inmediatamente y
generar una excepcin o mensaje de error
Tcnicas para mejorar las soluciones del
mtodo de eliminacin de Gauss
1. Uso de ms cifras significativas
La solucin ms simple para el mal condicionamiento es usar ms
cifras significativas en los clculos
El uso de la precisin expandida tiene un precio que se eleva en
forma de tiempo de clculo y cantidad de memoria
2. Pivoteo
Ocurren problemas de divisin por cero cuando el coeficiente pivote
es cero
Cuando el coeficiente pivote es cercano a cero se pueden introducir
errores de redondeo, porque su magnitud puede ser muy pequea al
compararla con la de los dems coeficientes
Para evitar esto se utiliza el pivoteo parcial
Tcnicas para mejorar las soluciones del
mtodo de eliminacin de Gauss
Pivoteo parcial
Antes de normalizar cada fila, se determina el mayor coeficiente
pivote disponible en la columna que est por debajo del elemento
pivote
Las filas se intercambian de manera tal que el coeficiente ms
grande sea el pivote
Ventajas del pivoteo parcial
Evita la divisin entre cero
Minimiza el error de redondeo
Tcnicas para mejorar las soluciones del
mtodo de eliminacin de Gauss
Pivoteo parcial
Ejemplo
0000 . 1 0000 . 1 0000 . 1
0001 . 2 0000 . . 000. . 0
2 1
2 1
= +
= +
x x
x x
Problema original
a
11
es cercano a cero
( )
222; 0000 . 10
0001 . 2 0000 . . 000. . 0
000. . 0
1
2 1
2 1
= +
= +
x x
x x
Restando a la 2da ecuacin
0.3333886 =
|

\
|

= =
=
000. . 0
.
2
. 0001 . 2
<
.
2
2222 ::::
1 2
2
x x
x
0001 . 2 0000 . . 000. . 0
0000 . 1 0000 . 1 0000 . 1
2 1
2 1
= +
= +
x x
x x
Con pivoteo
( )
000. . 0 000. . 0 000. . 0
1
1
000. . 0
2 1
2 1
= +
= +
x x
x x
Restando a la 2da ecuacin
0.......5
1
.
2
1
<
.
2
:::3 . 1 :::; . 2
1 2
2
=
|

\
|

= =
=
x x
x
Se restan dos
nmeros casi iguales
Tcnicas para mejorar la solucin
Ms cifras significativas: Precisin doble o extendida.
Pivoteo: Determinar el coeficiente ms grande disponible en la
columna que est por debajo del elemento pivote. Intercambiar
renglones de manera tal que el elemento ms grande sea el pivote.
Evita divisin entre cero.
Minimiza error de redondeo.
Escalamiento:
Minimiza errores de redondeo.
Estandarizacin del valor determinante.
10
Descomposicin LU
El paso de la eliminacin que consume tiempo se puede reformular
de tal manera que involucre slo operaciones sobre los coeficientes
de [A].
Conveniente para situaciones donde se tienen que evaluar varias
veces el vector [b], para un mismo valor de [A].
El mtodo de eliminacin de Gauss se puede implementar como
una descomposicin LU.
* LU proporciona un medio eficiente para calcular la matriz inversa.
11
Revisin de descomposicin LU
0 b Ax b Ax = =

(
(
(

.
2
1
.
2
1
..
2. 22
1. 12 11
0 0
0
&
&
&
x
x
x
u
u u
u u u
0 d Ux =
(
(
(

=
1
0 1
0 0 1
.2 .1
21
l l
l L
( ) b Ax d Ux L =
A LU =
b Ld =
12
La anterior es una estrategia de dos pasos:
Descomposicin LU: A se factoriza o descompone en matrices
triangulares inferior, L, y superior, U.
Sustitucin: L y U se usan para determinar una solucin x para un
lado derecho b. Este a su vez se divide en dos.
( Ld # b, se usa para generar un vector intermedio d por
sustitucin hacia delante
El resultado es sustituido en Ux ( d # 0, que se resuelve por
sustitucin hacia atrs para x.
Revisin de descomposicin LU
13
A x # b
U L
L d # b
d
U x # d
x
Revisin de descomposicin LU
Descomposici
n
Sustitucin
Hacia
adelante
Hacia
atrs
14
Algoritmo de descomposicin LU
Factores generados durante la fase de eliminacin se guardan en la
parte inferior de la matriz.
El algoritmo mantiene el pivoteo al usar un vector de orden cero (0).
Las ecuaciones no estn escaladas.
La diagonal se monitorea durante la fase de pivoteo para detectar
ocurrencias cercanas a cero (0) con el fin de advertir sistemas
singulares.
15
Complejidad de resolver sistemas lineales
La eliminacin gaussiana para realizar la descomposicin LU
presenta un costo computacional del orden de n
.
-. flop.
Se puede resolver un sistema lineal explcitamente invirtiendo la
matriz, entonces la solucin es dada por: x # A
-1
b.
Calcular A
-1
es tan costoso como resolver el sistema mismo.
La inversin explcita es . veces ms costosa como la
descomposicin LU.
Produce prdida de precisin en la respuesta.
16
Matrices Especiales
Matriz Banda: Matriz cuadrada en la que todos sus elementos son
cero, con excepcin de una banda centrada sobre la diagonal
principal.
Estos sistemas ocurren tpicamente en la solucin de sistemas de
ecuaciones diferenciales.
Dimensiones de un sistema de banda: ancho de banda (@A, @an&
Ai&t() y el ancho de banda media (B@A, Balf @an& Ai&t().
@A = 2 x B@A . 1
Por lo general, un sistema banda es aquel para el cual:
a
i<
= 0 , si Ci,<C > B@A
20
Sistemas Tridiagonales
Evita guardar grandes nmeros de ceros que no se utilizan en la
matriz cuadrada de A. Requiere menos memoria de cmputo.

(
(
(
(
(
(
(
(
(
(
(

n
n
n
n
n n
n n n
n
r
r
r
r
r
x
x
x
x
x
f e
g f e
g
e
g f e
g f e
g f
1
.
2
1
1
.
2
1
1 1 1
2
5
. . .
2 2 2
1 1
M
M
M
M
M
M
O O
O O O
O O
21
Descomposicin LU e Inversin de
matrices
Descomposicin LU
El principal atractivo de este mtodo es que el paso de eliminacin,
que consume tiempo, se puede reformular de tal manera que
involucre slo operaciones sobre los elementos de la matriz de
coeficientes, A
De esta forma, es muy adecuado para aquellas situaciones donde
se debe evaluar muchos vectores {B}
El mtodo de eliminacin de Gauss puede implementarse como una
descomposicin LU
La descomposicin LU proporciona un medio eficaz para calcular la
matriz inversa, la cual a su vez permite evaluar la condicin de un
sistema
Descomposicin LU
Partiendo de un sistema de
ecuaciones lineales de la forma,
Este se puede ordenar como,
El primer paso de la eliminacin de
Gauss resulta en un sistema con una
matriz tringular superior
Que puede ser expresada como,
Ahora, suponga que existe una matriz
triangular inferior con nmeros 1 sobre
la diagonal
que tiene la siguiente propiedad
si esta propiedad se cumple, de las
reglas de multiplicacin de matrices se
obtiene,
[ ]{ } { } @ D 9 =
[ ]{ } { } 0 = @ D 9

(
(
(

.
2
1
.
2
1
..
2. 22
1. 12 11
0 0
0
&
&
&
x
x
x
u
u u
u u u
[ ]{ } { } 8 D = =
[ ]{ } { } 0 = 8 D =
[ ]
(
(
(

=
1
0 1
0 0 1
.2 .1
21
l l
l >
[ ] [ ]{ } { } ( ) [ ]{ } { } @ D 9 8 D = > =
[ ][ ] [ ]
[ ]{ } { } @ 8 >
9 = >
=
=
Descomposicin LU
Estrategia para resolver el sistema
1. Paso de descomposicin LU: la matriz [A], se factoriza o
descompone en matrices triangulares inferior [L] y superior [U]
2. Paso de sustitucin: [L] y [U] se usan par determinar una solucin
{X} para un vector {B}. Este paso consta de dos subpasos:
Se determina el vector intermedio {D} resolviendo [L]{D}={B} por
sustitucin hacia delante, debido a que [L] es una matriz triangular
inferior
Se determina {X} resolviendo [U]{X}={D} por sustitucin hacia atrs
Descomposicin LU
Descomposicin LU con base en la eliminacin de Gauss
Partiendo de una matriz de coeficientes, se llega a una matriz triangular
superior
Para llegar a esta matriz [U]
(
(
(

.. .2 .1
2. 22 21
1. 12 11
a a a
a a a
a a a
[ ]
(
(
(

=
0 0 0 0
0 0 0
..
2. 22
1. 12 11
a
a a
a a a
=
se multiplic la fila 1 por el factor f
21
= a
21
/a
11
y
restando el resultado a la fila 2 se elimin a
21
se multiplic la fila 1 por el factor f
31
= a
31
/a
11
y
restando el resultado a la fila 3 se elimin a
31
se multiplic la fila 2 por el factor f
32
= a
32
/a
22
y
restando el resultado a la fila 3 se elimin a
32

La matriz triangular
inferior que tiene la
propiedad requerida
para la descomposicin
LU es
[ ]
(
(
(

=
1
0 1
0 0 1
.2 .1
21
f f
f >
Ejemplo
Sea el sistema:
-6x1 + x2 + x3 = -37
4x1 + 3x2 + x3 = -25
5x1 - 3x2 + x3 = -34
(
(
(

=
1 . 5
1 . 5
1 1 2
9
(
(
(

=
.5
25
.;
b
La descomposicin LU nos da
(
(
(

=
1 5:0: . 3... .
0 1 222; .
0 0 1
>
(
(
(

=
3132 . 2 0 0
222; . 1 222; . . 0
1 1 2
=
(
(
(

=
(
(
(

(
(
(

=
130 . :5
22; . 5:
.;
3132 . 2 0 0
222; . 1 222; . . 0
1 1 2
.
2
1
x
x
x
=x
(
(
(

=
(
(
(

(
(
(

=
.5
25
.;
1 5:0: . 3... .
0 1 222; .
0 0 1
.
2
1
E
E
E
>;
z
1
= -37
-.6667z
1
+ z
2
= -25
-.8333z
1
- .5909z
2
+ z
3
= -34
2.8182x
3
= -94.180
3.6667x
1
+ 1.6667x
2
= -49.667
-6x
1
+ x
2
+ x
3
= -37
X
1
= 0.87097
X
2
= 1.64516
X
3
= -33.41935
Matrices
Es un arreglo rectangular de nmeros donde no slo de
valor de ste es importante, sino que tambin su
posicin
El tamao de una matriz se describe por la cantidad de
filas y columnas (n x m)
Cada fila o columna representa a un vector
11 12 1.
21 22 2.
.1 .2 ..
a a a
9 a a a
a a a
| |
|
=
|
|
\
Propiedades
Dos matrices del mismo tamao pueden
sumarse o restarse
La multiplicacin se define como sigue, cuando
A es n x m, y B es m x r. ABBA
8
i< i<
i< i< i<
9 a @ b
C 9 @ a b 5
( ( = =

( = + = + =

1

1, 2,.... , 1, 2,....
i< i< i<
:
i< ik k<
k
a b 5
5 a b i n < r
=
( ( ( =

= = =

Ejercicio
2 1 2 1 0
1 1 1 ) 0 1
5 0 . 0 1
| | | |
| |
=
| |
| |
\ \
2 .
1 0
5 .
| |
|
|
|
\
5 1 1 2
. 2 . .
| | | |
+ =
| |

\ \
2 .
0 1
| |
|
\
Si una matriz se multiplica por un escalar el resultado es
una nueva matriz con cada elemento multiplicado por
ste
Una matriz con una sola columna se le denomina vector
columna (n x 1), si es una fila se habla de vector regln
(m x 1)
Al multiplicar una vector regln con un vector columna
se obtiene el producto interior
Al multiplicar una vector columna con un vector regln
se obtiene el producto exterior
La divisin para matrices no est definida, an cuando
analizaremos la inversa de una matriz
Ciertas matrices cuadradas tiene propiedades especiales, como
por ejemplo:
Matriz diagonal: si todos los elementos sobre la diagonal
son distintos de 0
Matriz identidad (I), caso especial en donde la diagonal est
compuesta por unos y l resto por 0. AI = IA
Matriz de transposicin (P), formada al intercambiar 2
reglones o columnas de la matriz identidad. El producto de
varias matrice de trasposicin es una matriz de permutacin
Matriz transpuesta (A
T
), es la matriz que se obtiene al
intercambiar los reglones por columnas o viceversa
Cuando es matriz es cuadrada se define un cantidad
denominada Traza. Que es la suma de los elementos de la
diagonal. tr (A)= tr (A
T
)
Matriz triangular inferior, los elementos sobre la
diagonal son 0, de manera complementaria se
define la matriz triangular superior
Matriz tridiagonal, son aquellas con elementos
distintos de 0 en la diagonal y en las posiciones
adyacentes (importantes en ecuaciones
diferenciales). Esta matriz puede comprimirse a
una matriz de 3 columnas y n reglones
Determinante
El determinante de una matriz es un nmero
Para una matriz 2x2 se calcula restando el producto de los
elementos en la diagonal menor a la superior
Para una matriz mayor se aplica la regla de desarrollar en
trminos de los menores respecto a algn regln o columna. El
menor de cada trmino es la matriz de menor orden formada al
eliminar el regln o columna en cuestin. Se parte con signo
positivo si la suma del regln o columna es par y negativo en
caso contrario, de ah en adelante se alternan los signos
En el caso de una matriz triangular superior o inferior su
determinante es slo el producto de los elementos de la
diagonal
11 12
11 22 12 21
21 22
det(A)#
a a
9 a a a a
a a
| |
=
|
\
Ejercicio
. 0 1 2
5 1 . 2
0 2 1 .
1 0 1 5
det( ) 152
9
9

(
(

(
=
(
(

=
5 0 0
det 2 2 0 50
1 . 5
9
(
(
= =
(
(

Los determinantes pueden ocuparse
tambin para calcular el polinomio
caracterstico de la matriz, ya que :
( ) det( )
9
? 9 6 9 6 = =
2
1 .
5 5
(1 ) .
( ) det
5 (5 )
(1 )(5 ) 12 2 ;
9
9
? 9 6

| |
=
|
\

| |
= =
|

\
= =
Mtodo de eliminacin
Este mtodo busca cambiar la matriz de
coeficientes de modo que sea triangular
superior, se puede aumentar con un vector al
lado derecho
Una vez logrado esto se procede a realizar
sustitucin hacia atrs
Este tipo de mtodo emplea n(n+1)2
multiplicaciones /divisiones
Precaucin al encontrar 0 en la diagonal
Ejemplo
5 2 1 1 15
. 1 5 2 3
1 1 . . 1.
5 2 1 15
- . 1 5 3
1 1 . 1.
x
x
x
9 b

| || | | |
| | |
=
| | |
| | |

\ \ \

| |
|
=
|
|

\
2 1
. 1
5 .
5 1
2 2
2 2
+
+
5 2 1 15
0 10 1: ;;
0 0 ;2 212

| |
|

|
|

\
1 2
2 2
. .
x
x
x
| | | |
| |
=
| |
| |
\ \
2 .
2 10 2 2
Mtodo de eliminacin
Gaussiana
Dado que el anterior mtodo puede dar valores
muy grandes para las multiplicaciones a travs
de este nuevo mtodo se hace 1 el coeficiente
principal en la ecuacin que contiene ese
trmino
Se mantiene la precaucin de evitar los 0 en la
diagonal para lo cual se recurre a pivoteo si es
necesario
Se debe tener cuidado con el efecto de
redondeo
Ejemplo
5 2 1 1 15
. 1 5 2 3
1 1 . . 1.
5 2 1 15
- . 1 5 3
1 1 . 1.
x
x
x
9 b

| || | | |
| | |
=
| | |
| | |

\ \ \

| |
|
=
|
|

\
5 2 1 15
0 2.5 5.;5 1:.25
0 0.5 2.;5 :.25

| |
|

|
|

\
2 1
. 1
.- 5
1- 5
2 2
2 2
+
+
5 2 1 15
0 2.5 5.;5 1:.25
0 0 1.30 5.50

| |
|

|
|
\
2 .
( 0.5- 2.5)2 2 +
Mtodo de Gauss-Jordan
Se busca hacer 0 al mismo tiempo por arriba de
la diagonal y por abajo, creando ceros
Por lo general los elementos de la diagonal se
hacen 1 al mismo tiempo que se ejecuta la
reduccin, as la matriz de coeficientes se
transforma en la matriz de identidad
Una vez logrado lo anterior en la columna del
lado derecho se obtiene el vector solucin
Para preservar exactitud aritmtica se emplea el
pivoteo
Ejemplo
Intercambiar reglones 1 y 4,
dividir por 6 el primer regln y
reducir la primera columna
Intercambiar reglones 2 y 3,
dividir entre 3.6667 el segundo
regln y reducir la segunda
columna
El tercer regln se divide entre
6.8182 y los dems elementos
de la tercera columna se hacen
0
Ahora el cuarto regln se divide
entre 1.5599 y se crean los 0
por arriba de la diagonal en la
0 2 0 1 0
2 2 . 2 2
5 . 0 1 ;
2 1 2 5 2
| |
|

|
|
|

\
1 0.1222; 1 0.3...5 1
0 1.222; 5 ..222; 5
0 ..222; 5 5....5 11
0 2 0 1 0
1 0 1.5 1.2000 1.5000
0 1 2.:::: 2.2000 2.5000
0 0 15 12.500 1:.300
0 0 5.:::3 ..5000 5.3000
1 0 0.3132 0.2.25 0.5
0 1 1.0:0: 1.1313 .
0 0 2

| |
|

|
|
|
\

| |
|

|
|
|

\


.3132 5.2.25 :
0 0 2.1313 ...2.2 2
1 0 0 0 0.5::::
0 1 0 0 1.0001
0 0 1 0 0....22
0 0 0 1 1.::::
| |
|
|
|
|

\
| |
|
|
|
|

\
Ejercicio
Resuelva por el mtodo de Gauss-Jordan
el siguiente sistema de ecuaciones
2 5 1 2 1 10
5 0 2 1 2 ;
1 . 2 0 . .
. 2 0 5 5 2
x
x
x
x

| || | | |
| | |
| | |
=
| | |
| | |
\ \ \
Escalacin: Con frecuencia es necesario
escalar los reglones de la matriz de
coeficientes antes de realizar un pivoteo,
el efecto que se consigue es ajustar estos
coeficientes en un mismo orden de
magnitud. Disminuyendo el error por
redondeo
Lo normal es dividir cada regln entre la
magnitud del mayor trmino
Patologas en sistemas lineales
Determinar a priori si el sistema de ecuaciones
planteados tendr solucin
Errores por redondeo
Divisin de ceros
No hay solucin nica para el sistema, cantidad de
incgnitas mayor a la cantidad de ecuaciones que las
vinculan
Redundancia de ecuaciones
Si los sistemas n x n no tiene solucin nica entonces su
matriz de coeficientes se denomina singular. En caso
contrario se define una matriz no singular
Una solucin para determinar si existe redundancia o
hay inconsistencia es determinar el RANGO de la
matriz.
Si el valor es menor al nmero de ecuaciones, no
existe una solucin nica.
Si el valor es n hay una solucin nica
El rango se determina triangularizando por eliminacin
gaussiana y verificando si no aparecen 0 en la diagonal
Verificar dependencia de lineal determinando si existen
una combinacin de coeficientes escalares que al ser
evaluados con los coeficientes den 0
La matriz es singular
Un sistema de ecuaciones
con estos coeficientes no
tiene una solucin nica
La eliminacin gaussiana
no puede evitar un 0 en la
diagonal
El rango de la matriz es
menor que n
Los reglones o columnas
forman vectores
linealmente dependientes
La matriz no es singular
Un sistema de ecuaciones
con estos coeficientes
tiene una solucin nica
La eliminacin gaussiana
procede sin un 0 en la
diagonal
El rango de la matriz es
igual a n
Los reglones o columnas
forman vectores
linealmente dependientes
Inversin de matrices
La divisin de matrices no est definida, la
inversa proporciona un resultado equivalente
Si el producto entre 2 matrices cuadradas es la
matriz identidad se dice que las matrices son
inversas entre s. AB=I, si B=A
-1
No todas las matrices cuadradas tienen inversa
El mtodo de eliminacin gaussiana se prefiere
por ejemplo al de Gauss-Jordan