Does $\lVert B^TA^{-1}B\rVert_2<1$ imply that $\left\lVert\begin{bmatrix}0&-A^{-1}B\\0&-B^TA^{-1}B\end{bmatrix}\right\rVert_2<1$?

64 Views Asked by At

Does $\left\lVert B^{\operatorname{T}}A^{-1}B\right\rVert_2<1$ imply that $\left\lVert\begin{bmatrix}0&-A^{-1}B\\0&-B^{\operatorname{T}}A^{-1}B\end{bmatrix}\right\rVert_2<1$, for $A,B\in\mathbb{R}^{N\times N}$ and $A=A^{\operatorname{T}}>0$?

Or, at least, does $\left\lVert B^{\operatorname{T}}A^{-1}B\right\rVert_2<1$ imply that $\rho\left(\begin{bmatrix}0&-A^{-1}B\\0&-B^{\operatorname{T}}A^{-1}B\end{bmatrix}\right)<1$, where $\rho(A)$ is the spectral radius of $A$?

I'm trying to solve a task where the first implication seems to me to be the sufficient condition for the thesis of the task to hold while the second implication seems to me to be equivalent (sufficient and necessary) to the thesis of the task.

I can't say much about the spectral radius... but while I can't prove it, to my intuition the implication that $\left\lVert B^{\operatorname{T}}A^{-1}B\right\rVert_2<1\implies\left\lVert\begin{bmatrix}0&-A^{-1}B\\0&-B^{\operatorname{T}}A^{-1}B\end{bmatrix}\right\rVert_2<1$ is actually false. This perplexes me.

Does $\left\lVert B^{\operatorname{T}}A^{-1}B\right\rVert_2<1$ imply any of the above conditions?

1

There are 1 best solutions below

0
On BEST ANSWER

The answer to your first question is no. The answer to your second question is yes.

If $N=1$ then this is equivalent to asking whether $b^2/a<1$ implies $$\left\|\begin{bmatrix}0&-b/a\\0&-b^2/a\end{bmatrix}\right\|_2<1,$$ where $b\in\mathbb{R}$ and $a\in(0,\infty)$.

But this seems false. Take $a=1/2$ and $b=2/3$. Then $b^2/a=8/9<1$, however $$\left\|\begin{bmatrix}0&-b/a\\0&-b^2/a\end{bmatrix}\right\|_2=\left\|\begin{bmatrix}0&-4/3\\0&-8/9\end{bmatrix}\right\|_2=\frac{4\sqrt{13}}{9}>1.$$

Probably this counterexample can be extended to all $N\in\mathbb{N}$ by letting $A=\frac{1}{2}I_N$ and $B=\frac{2}{3}I_N$.

On the other hand, for $N=1$ the above matrix will always have spectrum $\{-b^2/a,0\}$. So the spectral radius will be $b^2/a<1$.

The case for $N>1$ requires the block matrix property of determinants: $$\text{det}\begin{pmatrix}A&B\\0&D\end{pmatrix}=\text{det}(A)\text{det}(D).$$ Observe that the eigenvalues to your matrix are the solutions to $$0=\text{det}\begin{pmatrix}-\lambda&-A^{-1}B\\0&-B^TA^{-1}B-\lambda\end{pmatrix}=\text{det}(-\lambda)\text{det}(-B^TA^{-1}B-\lambda)$$ which is true precisely when $\text{det}(-\lambda)=0$ or else $\text{det}(-B^TA^{-1}B-\lambda)=0$. The former implies $\lambda=0$, while the latter gives the negative eigenvalues to $B^TA^{-1}B$. It is well-known that the spectral radius is bounded above by the 2-norm. Hence $$\rho\begin{pmatrix}0&-A^{-1}B\\0&-B^TA^{-1}B\end{pmatrix}=\rho(B^TA^{-1}B)\leq\|B^TA^{-1}B\|_2<1.$$