Matrix exponential of these two particular non-commuting matrices

673 Views Asked by At

Consider the real square matrix $A \in\mathbb{R}^{2n,2n}$ of the form:

$$ A= \begin{bmatrix} 0_n & I_n \\ -P & 0_n \end{bmatrix}$$ where $P$ is a tridiagonal symmetric positive-definite matrix.

Then define $B=A-E_{2n,n-1}$ where $E_{2n,n-1}$ has all elements zero except $1$ at $(2n,n-1)$.

I am trying to express $e^{tB}$ as a function of $e^{tA}$ for $t\in\mathbb{R}$. Unfortunately, $A$ and $E_{2n,n-1}$ do not commute so the exponential of the sum is not the product of the exponential. $[A,E_{2n,n-1}]$ does not commute with $A$ so the Zassenhaus formula is not very helpful (cf Not commuting exponential matrices).

However, given the simple expressions of the matrices (especially $E_{2n,n-1}$), I still have hope that $e^{Bt}$ can be expressed in terms of $e^{At}$. If it helps, $P$ can be chosen as:

$$P=\begin{bmatrix} 2 & -1 & 0 \\ -1 & 2 & -1 \\ 0 & -1 & 1 \end{bmatrix}$$

So the question if there's an explicit relationship between $e^{At}$ and $e^{Bt}$. If you think there's none, I am also interested in understanding why.

1

There are 1 best solutions below

3
On BEST ANSWER

Do you mean $n=3$ and $$ A = \left[ \begin {array}{cccccc} 0&0&0&1&0&0\\ 0&0&0&0 &1&0\\ 0&0&0&0&0&1\\ -2&1&0&0&0&0 \\ 1&-2&1&0&0&0\\ 0&1&-1&0&0&0 \end {array} \right],\ B = \left[ \begin {array}{cccccc} 0&0&0&1&0&0\\ 0&0&0&0 &1&0\\ 0&0&0&0&0&1\\ -2&1&0&0&0&0 \\ 1&-2&1&0&0&0\\ 0&0&-1&0&0&0 \end {array} \right] ? $$ Since $B$'s characteristic polynomial factors as $(\lambda^2+3)(\lambda^2+1)^2$, its matrix exponential is rather simple in form, though moderately complicated to write out: each entry is a linear combination of $\cos(t)$, $t \cos(t)$, $\sin(t)$, $t \sin(t)$, $\cos(\sqrt{3}t)$ and $\sin(\sqrt{3}t)$.

On the other hand, $A$'s characteristic polynomial is $\lambda^6 + 5 \lambda^4 + 6 \lambda^2 + 1$ which is irreducible over the rationals. All eigenvalues are simple (and imaginary). The matrix elements of $\exp(At)$ are linear combinations of $\cos(\omega_i t)$ and $\sin(\omega_i t)$ where $-\omega_i^2$ are the roots of $x^3 + 5 x^2 + 6 x + 1$.

Now $\exp(Bt)$ can't be a continuous function of $\exp(At)$. $\exp(At)$ is bounded, and for any $\delta > 0$ there are arbitrarily large $t$ for which $\|\exp(At) - I\| < \delta$. On the other hand, because of the $t \cos(t)$ and $t \sin(t)$ terms, $\|\exp(Bt)\| \to \infty$ as $t \to \infty$.