MHB Why do we need to convert to a diagonal matrix?

matqkks
Messages
280
Reaction score
5
Apart from simplifying matrix powers, why do we want to diagonalize a matrix? Do they have any appealing application which can be used to motivate to study diagonal matrices.
Thanks for any answers.
 
Physics news on Phys.org
Simplifying matrix powers IS the main application for diagonalization. Why? Because of the very general ODE $\dot{\mathbf{x}}=A\mathbf{x}$ for constant $A$. If $A$ is diagonalizable, then the solution $\mathbf{x}=e^{At}\mathbf{x}_{0}$ makes sense only if you can exponentiate the $At$. To do that, you can form the Taylor series using matrices. Then, to compute that Taylor series, the computations are much more tractable with a diagonal matrix.
 
multiplying (square) matrices is complicated, we have n2 inner products of rows and columns to consider, which is:

n3 + n arithmetical operations in all (n products in each inner product, plus a summation, times n2).

multiplying diagonal matrices is much simpler, the resulting product is ALSO diagonal, and requires only n operations:

diag{a1,...,an}*diag{b1,...,bn} = diag{a1b1,...,anbn}

even when n is small (like say n = 4), this is a tremendous savings of calculational effort (we only have 4 steps of arithmetic, rather than 68).

it also making calculating the determinant MUCH more tractable: the determinant is invariant under a similarity transform. for an nxn matrix, normally calculating it requires computing n! n-fold products and then summing these, whereas computing the determinant of a diagonal matrix requires just computing ONE n-fold product.

for example, computing a 5x5 determinant requires 121 arithmetical operations (even determining which 120 5-fold products to compute is tedious), whereas computing a 5x5 diagonal matrix's determinant can often be done in your head.

morevoer, if A is diagonalizable, diagonalizing A illustrates a deep connection between the diagonalized matrix and the eigenvalues of A, and the diagonalizing matrix P and the eigenvectors of A (and since P is invertible, that the eigenvectors form an eigenbasis).

the "catch" here is that not all matrices ARE diagonalizable. it turns out, however, that we can at least "semi-diagonalize" A into the sum:

D + N, where D is diagonal, and N is nilpotent.

this shows how important understanding nilpotent linear transformations is to "getting a good picture of bad matrices" (the diagonalizable ones being "good matrices").

if a matrix function can be represented as a power series (such as in the exponential example Ackbach gives), then computing the matrix function becomes a LOT easier if our matrix is diagonalizable.

unfortunately, the set of diagonalizable matrices isn't closed under matrix addition, which is a darn shame.
 
##\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...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
Back
Top