Infinite-dimensional features of matrices and pseudospectra

Abstract

Given a Hilbert space operator $T$, the level sets of function ${\Psi }_T(z)=\Vert (T-z{)}^{-1}{\Vert }^{-1}$ determine the so-called pseudospectra of $T$. We set ${\Psi }_T$ to be zero on the spectrum of $T$. After giving some elementary properties of ${\Psi }_T$ (which, as it seems, were not noticed before), we apply them to the study of the approximation. We prove that for any operator $T$, there is a sequence $\{T_n\}$ of finite matrices such that ${\Psi }_{T_n}(z)$ tends to ${\Psi }_T(z)$ uniformly on $\C$. In this proof, quasitriangular operators play a special role. This is merely an existence result, we do not give a concrete construction of this sequence of matrices. One of our main points is to show how to use infinite-dimensional operator models in order to produce examples and counterexamples in the set of finite matrices of large order. In particular, we get a result, which means, in a sense, that the pseudospectrum of a nilpotent matrix can be anything one can imagine. We also study the norms of the multipliers in the context of Cowen--Douglas class operators. We use these results to show that, to the opposite to the function ${\Psi }_S$, the function $\Vert \sqrt{S-z}\Vert$ for certain finite matrices $S$ may oscillate arbitrarily fast even far away from the spectrum.

arXiv comment19 pages, To appear, Journal of Mathematical Analysis and Applications, 2016

References in corpus (8)

• Undecidability of the Spectral Gap (short version)
• Computing Spectra -- On the Solvability Complexity Index Hierarchy and Towers of Algorithms
• Remarks on the convergence of pseudospectra
• The role of C*-algebras in infinite dimensional numerical linear algebra
• Eigenvalue estimates for the resolvent of a non-normal matrix
• Maximum of the resolvent over matrices with given spectrum
• Explicit upper bounds for the spectral distance of two trace class operators
• Level sets of the resolvent norm of a linear operator revisited