Main Page | Report this Page
 
   
Science Forum Index  »  Math - Numerical Analysis Forum  »  Reusing pseudoinverse and projector
Page 1 of 1    
Author Message
Guest
Posted: Tue Mar 20, 2007 7:53 pm
I have an undetermined linear system A x = b where A
is m x n with m < n. A is real and has full rank m.
The well known general solution is

x = Y b + Z q (*) where

Y n x m Penrose pseudoinverse of A,
Z n x (n-m) basis for null space (kernel) of A,
q an array of n-m undetermined coefficients.
Y and Z are computed and saved while processing (*).

Suppose later I have to solve the overdetermined dual system
A' y = c where A' is the transpose of A. Can Y and Z be
of use here?

The scenario arises in the guidance and trajectory control
simulation of a discrete dynamical model. Typically
m = 10K to 1M, n approx 2m to 3m, but A is very sparse.
Carl Barron
Posted: Tue Mar 20, 2007 9:08 pm
Guest
In article <1174438438.819699.201960@l75g2000hse.googlegroups.com>,
<carlos@colorado.edu> wrote:

Quote:
I have an undetermined linear system A x = b where A
is m x n with m < n. A is real and has full rank m.
The well known general solution is

x = Y b + Z q (*) where

Y n x m Penrose pseudoinverse of A,
Z n x (n-m) basis for null space (kernel) of A,
q an array of n-m undetermined coefficients.
Y and Z are computed and saved while processing (*).

Suppose later I have to solve the overdetermined dual system
A' y = c where A' is the transpose of A. Can Y and Z be
of use here?

The scenario arises in the guidance and trajectory control
simulation of a discrete dynamical model. Typically
m = 10K to 1M, n approx 2m to 3m, but A is very sparse.

P_inverse(A^T) = p_inverse(A)^T. so you need to compute

the right and left nullspaces of A, so you have x = Y b + Zq
and y = Y^T c + W^T w where W is a basis of the left null space of
A ( {x | xA = 0}) if I read this correctly. I don't know of any
relationships between Y,Z and W and not A [or a decomposition of A]
Guest
Posted: Tue Mar 20, 2007 11:30 pm
On Mar 20, 8:08 pm, Carl Barron <cbarron...@adelphia.net> wrote:
Quote:
In article <1174438438.819699.201...@l75g2000hse.googlegroups.com>,



car...@colorado.edu> wrote:
I have an undetermined linear system A x = b where A
is m x n with m < n. A is real and has full rank m.
The well known general solution is

x = Y b + Z q (*) where

Y n x m Penrose pseudoinverse of A,
Z n x (n-m) basis for null space (kernel) of A,
q an array of n-m undetermined coefficients.
Y and Z are computed and saved while processing (*).

Suppose later I have to solve the overdetermined dual system
A' y = c where A' is the transpose of A. Can Y and Z be
of use here?

The scenario arises in the guidance and trajectory control
simulation of a discrete dynamical model. Typically
m = 10K to 1M, n approx 2m to 3m, but A is very sparse.

P_inverse(A^T) = p_inverse(A)^T. so you need to compute
the right and left nullspaces of A, so you have x = Y b + Zq
and y = Y^T c + W^T w where W is a basis of the left null space of
A ( {x | xA = 0}) if I read this correctly. I don't know of any
relationships between Y,Z and W and not A [or a decomposition of A]

So Y can be reused as Y' for the minimum norm solution of A' y = c.
That saves some work.

Thanks.
~Glynne
Posted: Thu Mar 22, 2007 11:19 am
Guest
On Mar 20, 5:53 pm, car...@colorado.edu wrote:
Quote:
I have an undetermined linear system A x = b where A
is m x n with m < n. A is real and has full rank m.
The well known general solution is

x = Y b + Z q (*) where

Y n x m Penrose pseudoinverse of A,
Z n x (n-m) basis for null space (kernel) of A,
q an array of n-m undetermined coefficients.
Y and Z are computed and saved while processing (*).

Suppose later I have to solve the overdetermined dual system
A' y = c where A' is the transpose of A. Can Y and Z be
of use here?

The scenario arises in the guidance and trajectory control
simulation of a discrete dynamical model. Typically
m = 10K to 1M, n approx 2m to 3m, but A is very sparse.


Given the 2 equations:
(1) A .x = b
(2) A'.y = c


Letting P = pseudoinverse of A, the general solutions are:
(1) x = P .b + (I-P.A).q
(2) y = P'.c + (I-A.P).r

where q,r are undetermined vectors


So what you've named Z isn't reusable, but P certainly is.

~Glynne
 
Page 1 of 1       All times are GMT - 5 Hours
The time now is Mon Dec 01, 2008 9:21 am