arXiv reader

Update to: Spectral sets: Numerical range and beyond

Michel Crouzeix and Anne Greenbaum

arXiv
2609.22460v2 · PDF · 23 September 2026
Categories
math.NA, cs.NA
Licence
CC BY 4.0 The site shows the text.

Abstract

We use the results of Lorist and Schwenninger, A solution to Crouzeix’s conjecture, arXiv:2608.03841v2, https://arxiv.org/abs/2608.03841, to update the 2019 paper of Crouzeix and Greenbaum, Spectral sets: Numerical range and beyond, SIAM J. Matrix Anal. Appl., 40(3):1087-1101. For all regions considered in the 2019 paper, we are able to show that the region is a K-spectral set with a bound on K that is smaller than that established in the 2019 paper. In particular, we show that various annular regions are 2-spectral sets and that a more general convex region with a circular hole or cutout is a 4-spectral set.

Items 3

Theorem

Theorem 1

VTEO

Assume that Sp(A)\subset\Omega and there exists a bounded measurable real valued function \lambda on \partial \omega such that

N(s):=\mu (\sigma (s),A){-}\lambda (s)\,I \quad\textrm{is positive semi-definite for almost all }s\in\partial \omega,

then \overline{\Omega} is a K-spectral set for the operator A with a constant

K=\max\big(\rho ,1{+}\sqrt{\rho/2} \big)\quad \textrm{where }\rho =\Big\|\int_{\partial \omega} N(s)\,ds\Big\|=2-\int_{\partial \omega}\lambda (s)\,ds.
Lemma

Lemma 2

JKMB

  1. If W(A) \subset \Pi_0, then \lambda_{min} ( s_0 ) \geq 0, with equality if \sigma_0 \in \partial W(A).

  2. Assume | \sigma_0 - \xi | = R and \{ z \in \mathbb C : | z - \xi | \leq R \} \subset \Pi_0. If \| A - \xi I \| \leq R, then \lambda_{min} ( s_0 ) \geq \frac{1}{2 \pi R}.

  3. If, for some \xi \in \mathbb C \backslash Sp(A), \sigma_0 - \xi = i r_1 \sigma_0', where 0 < r_1 \leq 1 / \| (A- \xi I )^{-1} \|, then \lambda_{min} ( s_0 ) \geq - \frac{1}{2 \pi r_1}.

  4. If, for some \xi \in \mathbb C \backslash Sp(A), \sigma_0 - \xi = i r_2 \sigma_0', where 0 < r_2 \leq 1/ w (( A - \xi I )^{-1} ), then \lambda_{min} ( s_0 ) \geq - \frac{1}{ \pi r_2}.

Theorem

Theorem 3

XG5X

Let \Omega = D_1 \cap D_2 with D_1 = \{ z \in \mathbb C : | z - \omega_1 | < R_1 \}, D_2 = \{ z \in \mathbb C : |z - \omega_2 | > 1/ R_2 \}. If A satisfies \| A - \omega_1 I \| \leq R_1 and \| ( A - \omega_2 I )^{-1} \| \leq R_2, then \Omega is a 2-spectral set for A.

Source and licence

The text on this page is from arXiv:2609.22460v2 by Michel Crouzeix and Anne Greenbaum, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2609/2609.22460.jsonl.