Professional Documents
Culture Documents
where i and j are understood to range over all values except for k.
It is assumed that Ykk is not zero or the reduction fails.
Shipley's Partial Inverse
It is no longer necessary to assume that any current injections are
zero. Let
Substitute that into the other equations, but keep this one also:
2
Pinv ( A , k) := n ¬ rows ( A )
1
Ak ,k ¬
Ak , k
for i Î 1 .. n
A i , k ¬ A i , k × A k , k if i ¹ k
for j Î 1 .. n
if j ¹ k
for i Î 1 .. n
A i , j ¬ ( A i , j - A i , k × A k , j) if i ¹ k
A k , j ¬ -A k , j × A k , k
A
æ 19.56 -18.76 0 0 0 ö
ç -18.76 29.27 -4.00 -6.67 0
÷
ç ÷
Y := -j × ç 0 -4.00 7.78 -4.00 0 ÷
ç 0 -6.67 -4.00 23.01 -12.50 ÷
ç ÷
è 0 0 0 -12.50 13.30 ø
pivot on axis 5:
Y5 := Pinv ( Y , 5)
3
Y4 := Pinv ( Y5 , 4)
4
Inv( A ) := n ¬ rows ( A )
for k Î 1 .. n
A ¬ Pinv ( A , k)
A
Z := Inv( Y)
Example
æ 1 -1 ö -1 æ 3.000 2.000 ö
m := ç ÷ m = ç ÷
è -1 1.5 ø è 2.000 2.000 ø
5
æ 0.333 -0.667 ö
condi( m) = 12.500 Pinv ( m , 2) = ç ÷
è 0.667 0.667 ø
This example is OK, but the next one is ill conditioned or nearly
singular:
æ 1 -1 ö 4
mill := ç ÷ condi( mill) = 4.000 ´ 10
è -1 1.0001 ø
æ 1.000 ´ 10 4 1.000 ´ 10 4 ö
-1
mill = ç ÷
ç 1.000 ´ 10 4 1.000 ´ 10 4 ÷
è ø
æ 9.999 ´ 10 - 5 -1.000 ö
Pinv (mill, 2) = ç ÷
è 1.000 1.000 ø
The next one is actually singular:
æ 1 -1 ö
msing := ç ÷ rank( msing) = 1.000
è -1 1 ø
Will have an infinite condition number, since it is rank deficient
(i.e., singular). The inverse will not exist. This method (and all
others) will fail on the singular matrix.