Abstract:In numerical analysis it is often necessary to estimate the condition number $CN(T)=||T||_{} \cdot||T^{-1}||_{}$ and the norm of the resolvent $||(\zeta-T)^{-1}||_{}$ of a given $n\times n$ matrix $T$. We derive new spectral estimates for these quantities and compute explicit matrices that achieve our bounds. We recover the well-known fact that the supremum of $CN(T)$ over all matrices with $||T||_{} \leq1$ and minimal absolute eigenvalue $r=\min_{i=1,...,n}|\lambda_{i}|>0$ is the Kronecker bound $\frac{1}{r^{n}}$. This result is subsequently generalized by computing the corresponding supremum of $||(\zeta-T)^{-1}||_{}$ for any $|\zeta| \leq1$. We find that the supremum is attained by a triangular Toeplitz matrix. This provides a simple class of structured matrices on which condition numbers and resolvent norm bounds can be studied numerically. The occuring Toeplitz matrices are so-called model matrices, i.e. matrix representations of the compressed backward shift operator on the Hardy space $H_2$ to a finite-dimensional invariant subspace.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the optimal estimation problem regarding the matrix condition number and the norm of the resolvent operator. Specifically, the author aims to provide new spectral estimates for the condition number \(CN(T)=\|T\|\cdot\|T^{-1}\|\) of a given \(n\times n\) matrix \(T\) and the norm of the resolvent operator \(\|(\zeta - T)^{-1}\|\), and calculate the specific matrices that achieve these estimates.
### Detailed Explanation:
1. **Background and Motivation**:
- In numerical analysis, it is often necessary to estimate the condition number \(CN(T)=\|T\|\cdot\|T^{-1}\|\) of a matrix \(T\) and the norm of the resolvent operator \((\zeta - T)^{-1}\).
- These estimates are very important for understanding the stability of matrices and error analysis in solving linear equations.
2. **Main Contributions**:
- **New Spectral Estimates**: The author has derived new spectral estimation methods, which can provide more accurate upper bounds for the condition number and the norm of the resolvent operator.
- **Optimal Matrices**: The author not only provides theoretical estimates but also finds specific matrices that can achieve these estimates, especially the so - called analytic Toeplitz matrices.
3. **Specific Problems**:
- **Condition Number Estimation**: For all matrices \(T\) satisfying \(\|T\|\leq1\) and the minimum absolute eigenvalue \(r = \min_{i = 1,\dots,n}|\lambda_i|>0\), Kronecker has given the upper bound of the condition number as \(\frac{1}{r^n}\).
- **Resolvent Operator Norm Estimation**: For any \(|\zeta|\leq1\), the author generalizes the above results, gives the upper bound of \(\|(\zeta - T)^{-1}\|\), and points out that this upper bound can be achieved by a specific triangular Toeplitz matrix.
4. **Methods and Tools**:
- Use the pseudo - hyperbolic distance \(p(z, w)=\left|\frac{z - w}{1 - zw}\right|\) to measure the separation between \(\zeta\) and the spectrum \(\sigma\).
- Introduce the model matrix (model matrix), that is, the matrix representation in the finite - dimensional invariant subspace of the compressed backward shift operator on the Hardy space \(H^2\).
5. **Conclusion**:
- For \(\zeta = 0\), the result of Kronecker regarding the condition number is recovered, and it is proved that the analytic Toeplitz matrix is the extreme matrix that achieves this estimate.
- For \(|\zeta| = 1\), the results of Davies and Simon are improved, and estimates in more general cases are given.
Through these works, the author not only provides new theoretical insights but also provides practical tools and methods for the research of numerical analysis and matrix theory.