124
124
Ax = λx. (5.1)
Además cualquier x ∈ Cn con x 6= 0n×1 que satisface (5.1) es llamado vector propio
(también llamado vector característico, eigenvector, etc.) de A asociado a λ.
Di = {z ∈ C /|z − aii | ≤ ri } , i = 1, 2, . . . , n.
40
METODOS NUMERICOS MA195 G, K
entonces
r1 = |2| + |1| = 3,
r2 = |0| + |−1| = 1,
r3 = |1| + |−2| = 3,
D1 = {z ∈ C /|z − (−1)| ≤ 3} ,
D2 = {z ∈ C /|z − 1| ≤ 1} ,
D3 = {z ∈ C /|z − 0| ≤ 3} ,
-4 -2 0 2 4
-1
-2
-3
es decir, λ1 es el valor propio de A de mayor módulo (el valor propio de mayor módulo
es llamado valor propio dominante). El método de iteración directa o método de las
potencias nos permite determinar generalmente, el valor propio dominante de A así
como su vector propio asociado.
Algoritmo 5.1. Para la determinación del valor propio dominante de una matriz
A ∈ Cn×n y su correspondiente vector propio.
Datos de Entrada: A ∈ Cn×n y x(0) ∈ Cn aproximación inicial al vector propio
asociado al valor propio dominante.
Para k = 1, 2, 3, . . . , hacer pasos 1 al 3
k = 2:
⎛ ⎞
−3.666667
x̃(2) = Ax(1) = ⎝ −1.666667 ⎠ ,
−3.333333
λ(2) = −3.666667,
⎛ ⎞
1
1
x(2) = (2) x̃(2) = ⎝ 0.454545 ⎠ ,
λ 0.909091
¯ ¯
¯ (2) ¯
¯λ − λ(1) ¯ = 2.333333
° (2) °
°x − x(1) ° = 2.213988
2
k = 3:
⎛ ⎞
−6.363636
x̃(3) = Ax(2) = ⎝ 3.272727 ⎠ ,
4.636364
λ(3) = −6.363636,
⎛ ⎞
1
1
x(3) = (3) x̃(3) = ⎝ −0.514286 ⎠ ,
λ −0.728571
¯ ¯
¯ (3) ¯
¯λ − λ(2) ¯ = 2.696970
° (3) °
°x − x(2) ° = 1.902780
2
..
.
..
.
k = 53:
⎛ ⎞
−4.954979
x̃(53) = Ax(52) = ⎝ 0.680420 ⎠ ,
0.451991
λ(53) = −4.954979,
⎛ ⎞
1
1
x(53) = (53)
x̃(53) = ⎝ −0.137321 ⎠ ,
λ −0.091220
¯ ¯
¯ (53) ¯
¯λ − λ(52) ¯ = 0.000120
° (53) °
°x − x(52) °2 = 0.000081
k = 54:
⎛ ⎞
−4.954881
x̃(54) = Ax(53) = ⎝ 0.680240 ⎠ ,
0.451700
λ(54) = −4.954881,
⎛ ⎞
1
1
x(54) = (54)
x̃(54) = ⎝ −0.137287 ⎠ ,
λ −0.091163
¯ ¯
¯ (54) ¯
¯λ − λ(53) ¯ = 0.000098
° (54) °
°x − x(53) °2 = 0.000066
(54)
Luego el valor propio de mayor
⎛ módulo de⎞A es λ ≈ λ = −4.954881 y su vector
1
propio asociado es x ≈ x(54) = ⎝ −0.137287 ⎠ .
−0.091163
y se cumple que
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
¯1¯ ¯ 1 ¯ ¯ 1 ¯ ¯ ¯
¯ ¯>¯ ¯≥¯ ¯ ≥ · · · ≥ ¯ 1 ¯ > 0,
¯ λn ¯ ¯ λn−1 ¯ ¯ λn−2 ¯ ¯ λ1 ¯
es decir, 1/λn es el valor propio dominante de A−1 . Este hecho nos sugiere que el
recíproco del eigenvalor más pequeño en módulo de A puede ser hallado aplicando el
método de iteración directa a la A−1 .
Algoritmo 5.2. Para la determinación del valor propio más pequeño en módulo de
una matriz no singular A ∈ Cn×n y su correspondiente vector propio.
Paso 2: Tomar el recíproco del valor propio obtenido en el paso 1 (el vector propio
obtenido en el paso 1 es el vector propio asociado al valor propio más pequeño en
módulo de A).
determinar el valor propio de menor módulo de A con un error menor que 10−4 usando
1. de la observación anterior y la norma k.k2 .
k = 2:
⎛ ⎞
−5.833333
x̃(2) = A−1 x(1) = ⎝ −10.833333 ⎠ ,
8.833333
λ(2) = −10.833333,
⎛ ⎞
0.538462
1
x(2) = (2) x̃(2) = ⎝ 1 ⎠,
λ −0.815385
¯ ¯
¯ (2) ¯
¯λ − λ(1) ¯ = 7.833333
° (2) °
°x − x(1) ° = 0.224765
2
k = 3:
⎛ ⎞
−5.400000
x̃(3) = A−1 x(2) = ⎝ −10.030769 ⎠ ,
8.215385
λ(3) = −10.030769,
⎛ ⎞
0.538344
1
x(3) = (3) x̃(3) = ⎝ 1 ⎠,
λ −0.819018
¯ ¯
¯ (3) ¯
¯λ − λ(2) ¯ = 0.802564
° (3) °
°x − x(2) ° = 0.003636
2
k = 4:
⎛ ⎞
−5.407209
x̃(4) = A−1 x(3) = ⎝ −10.045245 ⎠ ,
8.226227
λ(4) = −10.045245,
⎛ ⎞
0.538285
1
x(4) = (4) x̃(4) = ⎝ 1 ⎠,
λ −0.818917
¯ ¯
¯ (4) ¯
¯λ − λ(3) ¯ = 0.014476
° (4) °
°x − x(3) ° = 0.000117
2
k = 5:
⎛ ⎞
−5.406978
x̃(5) = A−1 x(4) = ⎝ −10.044813 ⎠ ,
8.225895
λ(5) = −10.044813,
⎛ ⎞
0.538286
1
x(5) = (5) x̃(5) = ⎝ 1 ⎠,
λ −0.818920
¯ ¯
¯ (5) ¯
¯λ − λ(4) ¯ = 0.000433
° (5) °
°x − x(4) ° = 0.000002
2
k = 6:
⎛ ⎞
−5.406982
x̃(6) = A−1 x(5) = ⎝ −10.044822 ⎠ ,
8.225902
λ(6) = −10.044822,
⎛ ⎞
0.538286
1
x(6) = (6) x̃(6) = ⎝ 1 ⎠,
λ −0.818920
¯ ¯
¯ (6) ¯
¯λ − λ(5) ¯ = 0.000009 < 10−4 ,
° (6) °
°x − x(5) ° = 0.000000 < 10−4 .
2
1
Luego el valor propio más pequeño en módulo de A es λ ≈ (6) = −0.099554 y su
⎛ ⎞ λ
0.538286
vector propio asociado es x ≈ x(6) = ⎝ 1 ⎠.
−0.818920
Ax = λx
entonces
(A − µIn ) x = (λ − µ) x,
1
Para un µ escogido adecuadamente, se tiene que λ̃ = y x pueden ser obtenidos
λ−µ
1
aplicando el método de iteración directa a (A − µIn )−1 , luego λ = + µ.
λ̃
Algoritmo 5.3. Para la determinación del valor propio λ ∈ C de A ∈ Cn×n y su
correspondiente vector propio x ∈ Cn .
determinar un valor propio con un error menor que 10−4 usando 1. de la observación
anterior y la norma k.k2 .
k = 2:
⎛ ⎞
−0.419319
x̃(2) = (A − µI3 )−1 x(1) = ⎝ 1.675018 ⎠ ,
2.758168
λ(2) = 2.758168,
⎛ ⎞
−0.152028
1 (2)
x(2) = x̃ = ⎝ 0.607294 ⎠ ,
λ(2) 1
¯ ¯
¯ (2) (1) ¯
¯ λ − λ ¯ = 1.152787
° (2) °
°x − x(1) ° = 0.052691
2
k = 3:
⎛ ⎞
−0.436072
x̃(3) = (A − µI3 )−1 x(2) = ⎝ 1.707346 ⎠ ,
2.826600
λ(3) = 2.826600,
⎛ ⎞
−0.154274
1 (3)
x(3) = x̃ = ⎝ 0.604028 ⎠ ,
λ(3) 1
¯ ¯
¯ (3) (2) ¯
¯ λ − λ ¯ = 0.068432
° (3) °
°x − x(2) ° = 0.003964
2
k = 4:
⎛ ⎞
−0.434741
x̃(4) = (A − µI3 )−1 x(3) = ⎝ 1.704559 ⎠ ,
2.820539
λ(4) = 2.820539,
⎛ ⎞
−0.154134
1 (4)
x(4) = x̃ = ⎝ 0.604338 ⎠ ,
λ(4) 1
¯ ¯
¯ (4) (3) ¯
¯ λ − λ ¯ = 0.006060
° (4) °
°x − x(3) ° = 0.000340
2
k = 5:
⎛ ⎞
−0.434854
x̃(5) = (A − µI3 )−1 x(4) = ⎝ 1.704807 ⎠ ,
2.821085
λ(5) = 2.821085,
⎛ ⎞
−0.154144
1 (5)
x(5) = x̃ = ⎝ 0.604309 ⎠ ,
λ(5) 1
¯ ¯
¯ (5) ¯
¯λ − λ(4) ¯ = 0.000546
° (5) °
°x − x(4) ° = 0.000031
2
k = 6:
⎛ ⎞
−0.434844
x̃(6) = (A − µI3 )−1 x(5) = ⎝ 1.704784 ⎠ ,
2.821035
λ(6) = 2.821035,
⎛ ⎞
−0.154143
1 (6)
x(6) = x̃ = ⎝ 0.604312 ⎠ ,
λ(6) 1
¯ ¯
¯ (6) ¯
¯λ − λ(5) ¯ = 0.000050 < 10−4 ,
° (6) °
°x − x(5) ° = 0.000003 < 10−4 .
2
AX = λBX. (5.2)
El sistema (5.3) tiene los mismos valores propios que el sistema (5.2) y los vectores
propios están relacionados por X = P Z.
Los métodos de transformación usan el siguiente algoritmo:
donde
Luego, si b1 , b2 , . . . , bn son distintos de cero, entonces los valores propios de (1) son:
ai
λi = , para i = 1, 2, . . . , n, (5.8)
bi
y
e = P1 P2 . . . Pk diag(b−1/2
X 1
−1/2
, b2 , . . . , b−1/2
n ),
AX = λX,
³ ´
(k)
donde A ∈ Rn×n es simétrica. Denotemos por A(k) = aij ∈ Rn×n para k =
0, 1, 2, . . . .
Inicialmente hacemos A(0) = A.
Paso k-ésimo: A(k) = PkT A(k−1) Pk , para k = 1, 2, 3, . . . , donde Pk es una matriz
ortogonal, denominada de rotación plana, siendo el objetivo del paso k-ésimo hacer
(k) (k)
cero el coeficiente aij = aji (estos coeficientes son iguales ya que A(k) es simétrica
para todo k ∈ N ∪ {0}). Además Pk ∈ Rn×n viene dada por:
⎛ ⎞
1
⎜ ... ⎟
⎜ ⎟
⎜ ⎟
⎜ 1 ⎟
⎜ ⎟
⎜ cos (θ) − sen (θ) ⎟ → fila i
⎜ ⎟
⎜ 1 ⎟
⎜ . ⎟
Pk = ⎜⎜ . . ⎟
⎟
⎜ 1 ⎟
⎜ ⎟
⎜ sen (θ) cos (θ) ⎟ → fila j
⎜ ⎟
⎜ 1 ⎟
⎜ ⎟
⎜ ... ⎟
⎝ ⎠
1
↓ ↓
columna i columna j
(k−1)
2aij h π πi
(k−1) (k−1)
(a) Si aii 6= ajj , entonces tg (2θ) = ³ ´ , con θ ∈ − , .
(k−1)
aii
(k−1)
− ajj 4 4
(k−1) (k−1) π
(b) Si aii = ajj , entonces θ = .
4
(k−1)
2. Si aij = 0, hacemos θ = 0.
7 1 9 7
⎛ 0 0 0 1 ⎞
3.0889 −0.5529 0 5.1937
⎜ −0.5529 8.8284 5.7409 3.6027 ⎟
A(2) = P2T A(1) P2 = ⎜
⎝
⎟,
0 5.7409 12.0827 9.5418 ⎠
⎛ 5.1937 3.6027 9.5418 ⎞ 7
0.9196 0.3827 0.0886 0
⎜ −0.3809 0.9239 −0.0367 0 ⎟
P1 P2 = ⎜⎝ −0.0959
⎟,
0 0.9954 0 ⎠
0 0 0 1
Paso k = 3:
i = 1, j = 4:
) = 0.8223, sen(θ3 ) = −0.5690,
cos(θ3⎛ ⎞
0.8223 0 0 0.5690
⎜ 0 1 0 0 ⎟
P3 = ⎜⎝
⎟,
0 0 1 0 ⎠
⎛ −0.5690 0 0 0.8223 ⎞
−0.5052 −2.5047 −5.4297 0
⎜ −2.5047 8.8284 5.7409 2.6479 ⎟
A(3) = P3T A(2) P3 = ⎜
⎝ −5.4297
⎟,
5.7409 12.0827 7.8463 ⎠
⎛ 0 2.6479 7.8463 10.5941⎞
0.7562 0.3827 0.0886 0.5233
⎜ −0.3132 0.9239 −0.0367 −0.2168 ⎟
P1 P2 P3 = ⎜
⎝ −0.0788
⎟,
0 0.9954 −0.0546 ⎠
−0.5690 0 0 0.8223
Paso k = 4:
i = 2, j = 3:
⎛0 0 0 1 ⎞
−0.5052 1.2763 −5.8418 0
⎜ 1.2763 4.4885 0 −2.6194 ⎟
A(4) = P4T A(3) P4 = ⎜
⎝ −5.8418
⎟,
0 16.4226 7.8559 ⎠
⎛ 0 −2.6194 7.8559 10.5941⎞
0.7562 0.2519 0.3014 0.5233
⎜ −0.3132 0.7591 0.5279 −0.2168 ⎟
P1 P2 P3 P4 = ⎜
⎝ −0.0788 −0.6003 0.7940 −0.0546 ⎠,
⎟
−0.5690 0 0 0.8223
Paso k = 5:
i = 2, j = 4:
cos(θ5⎛
) = 0.9378, sen(θ5 ) = 0.3472,
⎞
1 0 0 0
⎜ 0 0.9378 0 −0.3472 ⎟
P5 = ⎜⎝ 0
⎟,
0 1 0 ⎠
⎛ 0 0.3472 0 0.9378 ⎞
−0.5052 1.1969 −5.8418 −0.4431
⎜ 1.1969 3.5188 2.7275 0 ⎟
A(5) = P5T A(4) P5 = ⎜⎝ −5.8418 2.7275 16.4226
⎟,
7.3672 ⎠
⎛ −0.4431 0 7.3672 11.5638 ⎞
0.7562 0.4179 0.3014 0.4033
⎜ −0.3132 0.6366 0.5279 −0.4668 ⎟
P1 P2 P3 P4 P5 = ⎜
⎝ −0.0788 −0.5819 0.7940
⎟,
0.1572 ⎠
−0.5690 0.2855 0 0.7712
Paso k = 6:
i = 3, j = 4:
cos(θ6⎛
) = 0.8103, sen(θ6 ) = 0.5860,
⎞
1 0 0 0
⎜ 0 1 0 0 ⎟
P6 = ⎜⎝ 0 0 0.8103 −0.5860 ⎠,
⎟
⎛ 0 0 0.5860 0.8103 ⎞
−0.5052 1.1969 −4.9933 3.0643
⎜ 1.1969 3.5188 2.2101 −1.5983 ⎟
A(6) = P6T A(5) P6 = ⎜⎝ −4.9933
⎟,
2.2101 21.7506 0 ⎠
⎛ 3.0643 −1.5983 0 6.2358⎞
0.7562 0.4179 0.4806 0.1502
⎜ −0.3132 0.6366 0.1542 −0.6876 ⎟
P1 P2 P3 P4 P5 P6 = ⎜
⎝ −0.0788 −0.5819 0.7356 −0.3379 ⎠,
⎟
Ciclo 2:
Paso k = 7:
i = 1, j = 2:
cos(θ7⎛
) = 0.9642, sen(θ7 ) = −0.2651,
⎞
0.9642 0.2651 0 0
⎜ −0.2651 0.9642 0 0 ⎟
P7 = ⎜⎝
⎟,
0 0 1 0 ⎠
⎛ 0 0 0 1 ⎞
−0.8343 0 −5.4005 3.3784
⎜ 0 3.8479 0.8072 −0.7287 ⎟
A(7) = P7T A(6) P7 = ⎜ ⎝ −5.4005
⎟,
0.8072 21.7506 0 ⎠
⎛ 3.3784 −0.7287 0 6.2358⎞
0.6184 0.6034 0.4806 0.1502
⎜ −0.4708 0.5308 0.1542 −0.6876 ⎟
P1 P2 . . . P7 = ⎜
⎝ 0.0783
⎟,
−0.5819 0.7356 −0.3379 ⎠
−0.6244 0.1244 0.4519 0.6249
..
.
Paso k = 12:
i = 3, j = 4:
) = 0.9989, sen(θ12 ) = −0.0463,
cos(θ12⎛ ⎞
1 0 0 0
⎜ 0 1 0 0 ⎟
P12 = ⎜⎝ 0 0
⎟,
0.9989 0.0463 ⎠
⎛ 0 0 −0.0463 0.9989 ⎞
−3.2086 0.3929 0.2654 −0.0520
⎜ 0.3929 3.7175 −0.1178 −0.0055 ⎟
A(12) A P12 = ⎜
T (11)
= P12 ⎝ 0.2654 −0.1178 23.0413
⎟,
0 ⎠
⎛ −0.0520 −0.0055 0 7.4498⎞
0.6203 0.6421 0.3433 0.2916
⎜ −0.1748 0.3857 0.3157 −0.8491 ⎟
P1 P2 . . . P12 = ⎜
⎝ 0.3370 −0.6410 0.6812 −0.1073 ⎠,
⎟
Ciclo 3:
Paso k = 13:
i = 1, j = 2:
cos(θ13⎛
) = 0.9984, sen(θ13 ) = −0.0565,
⎞
0.9984 0.0565 0 0
⎜ −0.0565 0.9984 0 0 ⎟
P13 = ⎜⎝
⎟,
0 0 1 0 ⎠
⎛ 0 0 0 1 ⎞
−3.2308 0 0.2716 −0.0516
⎜ 0 3.7397 −0.1026 −0.0084 ⎟
A(13) A P13 = ⎜
T (12)
= P13 ⎝ 0.2716
⎟,
−0.1026 23.0413 0 ⎠
−0.0516 −0.0084 0 7.4498
⎛ ⎞
0.5831 0.6761 0.3433 0.2916
⎜ −0.1963 0.3752 0.3157 −0.8491 ⎟
P1 P2 . . . P13 =⎜ ⎟
⎝ 0.3726 −0.6209 0.6812 −0.1073 ⎠,
−0.6947 0.1284 0.5643 0.4272
..
.
Paso k = 18:
i = 3, j = 4:
) = 1.0000, sen(θ18 ) = −0.0000,
cos(θ18⎛ ⎞
1 0 0 0
⎜ 0 1 0 0 ⎟
P18 = ⎜⎝ 0 0
⎟,
1.0000 0.0000 ⎠
⎛ 0 0 −0.0000 1.0000 ⎞
−3.2339 0.0010 −0.0000 −0.0000
⎜ 0.0010 3.7391 −0.0000 −0.0000 ⎟
A(18) = P18 A P18 = ⎜
T (17)
⎝ −0.0000 −0.0000 23.0447
⎟,
0 ⎠
⎛ −0.0000 −0.0000 0 7.4501⎞
0.5809 0.6786 0.3457 0.2873
⎜ −0.2037 0.3750 0.3117 −0.8490 ⎟
P1 P2 . . . P18 = ⎜
⎝ 0.3651 −0.6175 0.6884 −0.1076 ⎠,
⎟
−0.6984
⎛ ⎞
0.6786
⎜ 0.3750 ⎟
λ2 ≈ 3.7391, x2 ≈ ⎜ ⎝ −0.6175 ⎠ ,
⎟
0.1323
⎛ ⎞
0.3457
⎜ 0.3117 ⎟
λ3 ≈ 23.0447, x3 ≈ ⎜ ⎝ 0.6884 ⎠ ,
⎟
0.5564
⎛ ⎞
0.2873
⎜ −0.8490 ⎟
λ4 ≈ 7.4501, x4 ≈ ⎜ ⎝ −0.1076 ⎠ .
⎟
0.4303