Green functions of the spectral ball and symmetrized polydisk (Q629221)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Green functions of the spectral ball and symmetrized polydisk |
scientific article |
Statements
Green functions of the spectral ball and symmetrized polydisk (English)
0 references
8 March 2011
0 references
Let \(\varOmega_n\) denote the \textit{spectral ball}, i.e.~the set of all \(n\times n\) complex matrices \(A\in\mathcal M_n\) for which \(\rho(A)<1\), where \(\rho(A)\) stands for the spectral radius, \(\rho(A)=\max\{|\lambda|: \lambda\in\text{sp}(A)\}\). The characteristic polynomial \(P_A(t):=\det(tI-A)\) of an \(A\in\mathcal M_n\) may be written in the form \(P_A(t)=t^n+\sum_{j=1}^n(-1)^j\sigma_j(A)t^{n-j}\). Let \(\sigma:=(\sigma_1,\dots,\sigma_N):\mathcal M_n\longrightarrow\mathbb C^n\). Then \(\sigma(\varOmega_n)=\mathbb G_n:=\) the \textit{symmetrized polydisk}. Let \(\mathcal C_n\) denote the set of all cyclic matrices \(A\in\mathcal M_n\). The main results of the paper are following. (a) If \(V\in\mathcal C_n\), then \(g_{\varOmega_n}(V,M)=g_{\mathbb G_n}(\sigma(V),\sigma(M))\), \(M\in\mathcal M_n\), where \(g_{\varOmega_n}\) (resp.~\(g_{\mathbb G_n}\)) denotes the Green function for \(\varOmega_n\) (resp.~\(\mathbb G_n\)). If \(V\notin\mathcal C_n\), then there exists an \(X\in\mathcal M_n\setminus\{0\}\) such that \(g_{\varOmega_n}(V,V+\zeta X)\geq m(\lambda)\log|\zeta|+O(1)\) while \(g_{\mathbb G_n}(\sigma(V), \sigma(V+\zeta X))\leq n(\lambda)\log|\zeta|+O(1)\), where \(m(\lambda)\) (resp.~\(n(\lambda)\)) denotes the multiplicity of the eigenvalue \(\lambda\) as a root of the minimal (resp.~characteristic) polynomial of \(V\). (b) For \(A, M\in\varOmega_n\) the following conditions are equivalent: (i) \(g_{\varOmega_n}(A,M)=g_{\mathbb G_n}(\sigma(A), \sigma(M))\), (ii) \(g_{\varOmega_n}\) is continuous at \((A,M)\), (iii) \(g_{\varOmega_n}(\cdot,M)\) is continuous at \(A\). (c) For \(n\geq3\) we have \(\gamma_{\mathbb G_n}(0;e_{n-1})<A_{\mathbb G_n}(0;e_{n-1})\), where \(\gamma_{\mathbb G_n}\) (resp.~\(A_{\mathbb G_n}\)) denotes the Carathéodory--Reiffen (rep.~Azukawa) metric for \(\mathbb G_n\).
0 references
spectral ball
0 references
symmetrized polydisk
0 references
pluricomplex Green function
0 references
invariant distances
0 references
0 references
0 references