What is the Spectral Radius of Partitioned Matrices M1 and M2?

  • Thread starter Thread starter ali987
  • Start date Start date
  • Tags Tags
    Radius
ali987
Messages
9
Reaction score
0
Hi everyone,

consider two following partitioned matrices:

\begin{array}{l}<br /> {M_1} = \left[ {\begin{array}{*{20}{c}}<br /> { - \frac{1}{2}{X_1}} &amp; {{X_2}} \\<br /> {{X_3}} &amp; { - \frac{1}{2}{X_4}} \\<br /> \end{array}} \right] \\ <br /> {M_2} = \left[ {\begin{array}{*{20}{c}}<br /> {\begin{array}{*{20}{c}}<br /> {{X_1}} &amp; { - I} \\<br /> I &amp; 0 \\<br /> \end{array}} &amp; {\begin{array}{*{20}{c}}<br /> 0 &amp; 0 \\<br /> 0 &amp; 0 \\<br /> \end{array}} \\<br /> {\begin{array}{*{20}{c}}<br /> 0 &amp; 0 \\<br /> 0 &amp; 0 \\<br /> \end{array}} &amp; {\begin{array}{*{20}{c}}<br /> {{X_4}} &amp; { - I} \\<br /> I &amp; 0 \\<br /> \end{array}} \\<br /> \end{array}} \right] \\ <br /> \end{array}

I want to show that spectral radius (maximum absolute value of eigenvalues) of M1 and M2 are equal, but I don't know how!

this is general form of my problem the real one is somewhat easier (or maybe more complex)!
 
Physics news on Phys.org
you need more constraints on the problem, one can find counterexamples such that this is not true.
 
\begin{array}{l}<br /> {X_1} = A_2^{ - 1}{B_2} \\ <br /> {X_2} = \Delta A_2^{ - 1}L \\ <br /> {X_3} = \Delta A_1^{ - 1}{L^T} \\ <br /> {X_4} = A_1^{ - 1}{B_1} \\ <br /> \end{array}

In which

\begin{array}{l}<br /> {A_1} = G + \frac{{{\Delta ^2}}}{4}{L^T}{C^{ - 1}}L \\ <br /> {A_2} = C + \frac{{{\Delta ^2}}}{4}L{G^{ - 1}}{L^T} \\ <br /> {B_1} = 2\left( {\frac{{{\Delta ^2}}}{4}{L^T}{C^{ - 1}}L - G} \right) \\ <br /> {B_2} = 2\left( {\frac{{{\Delta ^2}}}{4}L{G^{ - 1}}{L^T} - C} \right) \\ <br /> \end{array}

where

\Delta = positive constant coefficient

C and G are symmetric and positive definite.
 
##\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

Replies
2
Views
1K
Replies
7
Views
2K
Replies
7
Views
1K
Replies
2
Views
3K
Replies
3
Views
1K
Replies
4
Views
2K
Replies
2
Views
1K
Replies
2
Views
971
Back
Top