PA=LU decomposition (w/ Partial Pivoting)

sid9221
Messages
110
Reaction score
0
I'm have a little trouble understanding PA=LU, I have no problems with A=LU but can't seem to figure out the Permutation matrix.

So I have summarised the process I am using let me know where it can be improved.

Step 1: Using Gaussian Elimination with partial pivoting reduce A to form a matrix U.

Step 2: The matrix L is formed by the "negative of the row reduction multiples" eg: R2=R2-(3/4)R3 then -(3/4) is an element in the the matrix L.

Now here is the first problem, as with the A=LU decomposition do these multiples remain fixed in place or do they also permute around depending on row interchanges ?

eg: say R2=R2-(3/4)R3 is the first operation than (-3/4) should go in the position of Row 2, Column 1. But, later if I need to interchange R2 with say R4 (for partial pivoting) will this effect the position of (-3/4) in the matrix L ?

Step 3: Now that you have matrix L and U, form the matrix P with the row interchanges during the process of pivoting.

For example: If during pivoting R1<->R4 and R4<->R3 than

\begin{bmatrix}<br /> 1 &amp; 0 &amp; 0 &amp; 0\\ <br /> 0 &amp; 1 &amp; 0 &amp; 0\\ <br /> 0 &amp; 0 &amp; 1 &amp; 0\\ <br /> 0 &amp; 0 &amp; 0 &amp; 1<br /> \end{bmatrix}

becomes(R1<->R4)

\begin{bmatrix}<br /> 0&amp; 0 &amp; 0 &amp; 1\\ <br /> 0 &amp; 1 &amp; 0 &amp; 0\\ <br /> 0 &amp; 0 &amp; 1 &amp; 0\\ <br /> 1 &amp; 0 &amp; 0 &amp; 0<br /> \end{bmatrix}

and finally (R4<->R3)

\begin{bmatrix}<br /> 0&amp; 0 &amp; 0 &amp; 1\\ <br /> 0 &amp; 1 &amp; 0 &amp; 0\\ <br /> 1 &amp; 0 &amp; 0 &amp; 0\\ <br /> 0 &amp; 0 &amp; 1 &amp; 0<br /> \end{bmatrix}

The lecture notes I have are extremely complicated and involve L inverse theory which makes my head hurt and I can't find any useful resources online.
 
Physics news on Phys.org
Conceptually this is straighforward. You decide how to permute all the rows of the matrix somehow, then you do the row interchanges to form P and the matrix product PA, then you factorize PA.

In practice, you don't do it like that. You start by selecting the first row of the permuted matrix PA, then you do the first step of the LU decomposition to "eliminate" the first variable.

That gives you the first column of L, the first row of U, and a matrix A' of size n-1 that contains the "partly processed" numbers from A.

Next, you select the second row to process, based on the numbers in A'. You interchange the rows of A', and you also retrospectively interchange the same rows in the first column of L. You don't do anything to the first row of U.

You then eliminate the second variable, giving the first 2 columns of L, the first 2 rows of U, and a matrix A''of size n-2.

Then you select the third row, and retrospectively permute the first 2 columns of L, and so on.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Back
Top