2
$\begingroup$

I have a matrix in the form :

$$M = \begin{pmatrix} A & 0 & 0 \\\ B & A & 0 \\\ C & D & A \end{pmatrix} $$

where $A,B,C,D$ are diagonalizable square matrices and I want to determine

$$M^{\infty}:=\lim_{n\rightarrow \infty} M^n$$

as a function of $A,B,C,D$.

Thank you for your help !

$\endgroup$
3
  • $\begingroup$ I guess you are dealing with matrices with real or complex entries. First, we need a condition on the eigenvalues of $A$ in order to ensure $\lim_{p\to\infty}A^p$ exists in $\mathcal M_n(\Bbb C)$, as $A^p$ will be in the top-left corner of $M^p$. $\endgroup$ Nov 8, 2012 at 16:05
  • $\begingroup$ Thank you for your answer ! The matrices have real entries. I know that $A$ has $1$ as eigenvalue and the others eigenvalues have a module strictly less than 1. $\endgroup$
    – Christophe
    Nov 8, 2012 at 16:10
  • 2
    $\begingroup$ You could include this in the OP. Do we have additional information, for example about the other matrices? $\endgroup$ Nov 8, 2012 at 16:24

1 Answer 1

1
$\begingroup$

In general the limit will not exist. For example, the $(2,1)$ block of $M^n$ is $B_n = \sum_{j=1}^n A^{j-1} B A^{n-j}$. By taking a suitable basis, we may assume $A$ is diagonal. Under the assumption Christophe gave in a comment, that $1$ is an eigenvalue of $A$ and the other eigenvalues have absolute value $<1$, we can write $A = \pmatrix{I & 0\cr 0 & E\cr}$ where $E^n \to 0$ as $n \to \infty$. If $B$ has the corresponding block structure $\pmatrix{\alpha & \beta \cr \gamma & \delta\cr}$, then a necessary and sufficient condition for $B_n$ to have a limit as $n \to \infty$ is $\alpha = 0$. The limit of $B_n$ is then $\pmatrix{0 & \beta (I - E)^{-1}\cr (I-E)^{-1} \gamma & 0\cr}$. Similarly for the $(3,2)$ block with $B$ replaced by $D$. The requirements for the $(3,3)$ block to have a limit seem to be more complicated.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.