Numerical range

Template:Short description Template:Unsourced section In the mathematical field of linear algebra and convex analysis, the numerical range or field of values or Wertvorrat or Wertevorrat of a complex $n\times n$ matrix A is the set $$W(A)=\left\{\frac{{𝐱}^{\ast }A𝐱}{{𝐱}^{\ast }𝐱}\right|𝐱\in {ℂ}^n,𝐱\ne 0\}=\{⟨𝐱,A𝐱⟩|𝐱\in {ℂ}^n,\Vert 𝐱{\Vert }_2=1\}$$ where ${𝐱}^{\ast }$ denotes the conjugate transpose of the vector $𝐱$. The numerical range includes, in particular, the diagonal entries of the matrix (obtained by choosing x equal to the unit vectors along the coordinate axes) and the eigenvalues of the matrix (obtained by choosing x equal to the eigenvectors).

Equivalently, the elements of $W(A)$ are of the form $\mathrm{tr}(AP)$, where $P$ is a Hermitian projection operator from ${ℂ}^n$ to a one-dimensional subspace.

In engineering, numerical ranges are used as a rough estimate of eigenvalues of A. Recently, generalizations of the numerical range are used to study quantum computing.

A related concept is the numerical radius, which is the largest absolute value of the numbers in the numerical range, i.e. $$r(A)=sup\{|\lambda |:\lambda \in W(A)\}=\underset{\Vert x{\Vert }_2=1}{sup}|⟨𝐱,A𝐱⟩|.$$

Properties

Let sum of sets denote a sumset.

General properties

1. The numerical range is the range of the Rayleigh quotient.
2. (Hausdorff–Toeplitz theorem) The numerical range is convex and compact.
3. $W(\alpha A+\beta I)=\alpha W(A)+\{\beta \}$ for all square matrix $A$ and complex numbers $\alpha$ and $\beta$. Here $I$ is the identity matrix.
4. $W(A)$ is a subset of the closed right half-plane if and only if $A+A^{\ast }$ is positive semidefinite.
5. The numerical range $W(\cdot )$ is the only function on the set of square matrices that satisfies (2), (3) and (4).
6. $W(UA{U}^{\ast })=W(A)$ for any unitary $U$.
7. $W(A^{\ast })=W(A{)}^{\ast }$.
8. If $A$ is Hermitian, then $W(A)$ is on the real line. If $A$ is anti-Hermitian, then $W(A)$ is on the imaginary line.
9. $W(A)=\{z\}$ if and only if $A=zI$.
10. (Sub-additive) $W(A+B)\subseteq W(A)+W(B)$.
11. $W(A)$ contains all the eigenvalues of $A$.
12. The numerical range of a $2\times 2$ matrix is a filled ellipse.
13. $W(A)$ is a real line segment $[\alpha ,\beta ]$ if and only if $A$ is a Hermitian matrix with its smallest and the largest eigenvalues being $\alpha$ and $\beta$.

Normal matrices

1. If $A$ is normal, and $x\in \mathrm{span}(v_1,\dots ,v_k)$, where $v_1,\dots ,v_k$ are eigenvectors of $A$ corresponding to ${\lambda }_1,\dots ,{\lambda }_k$, respectively, then $⟨x,Ax⟩\in \mathrm{hull}({\lambda }_1,\dots ,{\lambda }_k)$.
2. If $A$ is a normal matrix, then $W(A)$ is the convex hull of its eigenvalues.
3. If $\alpha$ is a sharp point on the boundary of $W(A)$, then $\alpha$ is a normal eigenvalue of $A$.

Numerical radius

1. $r(\cdot )$ is a unitarily invariant norm on the space of $n\times n$ matrices.
2. $r(A)\le \Vert A{\Vert }_{\mathrm{op}}\le 2r(A)$, where $\Vert \cdot {\Vert }_{\mathrm{op}}$ denotes the operator norm.
3. $r(A)=\Vert A{\Vert }_{\mathrm{op}}$ if (but not only if) $A$ is normal.
4. $r(A^n)\le r(A{)}^n$.

Proofs

Most of the claims are obvious. Some are not.

General properties

Template:Math proofThe following proof is due toTemplate:Math proof

Generalisations

• C-numerical range
• Joint numerical range
• Product numerical range
• Polynomial numerical hull

Higher-rank numerical range

The numerical range is equivalent to the following definition: $$W(A)=\{\lambda \in ℂ:PMP=\lambda P\text{ for some Hermitian projector }P\text{ of rank }1\}.$$ This allows a generalization to higher-rank numerical ranges, one for each $k=1,2,3,\dots$: $$W_k(A)=\{\lambda \in ℂ:PMP=\lambda P\text{ for some Hermitian projector }P\text{ of rank }k\}.$$ $W_k(A)$ is always closed and convex, but it might be empty. It is guaranteed to be nonempty if $k<n/3+1$, and there exists some $A$ such that $W_k(A)$ is empty if $k\ge n/3+1$.

See also

• Spectral theory
• Rayleigh quotient
• Workshop on Numerical Ranges and Numerical Radii

Bibliography

Books

• Template:Citation
• Template:Citation
• Template:Citation.
• Template:Citation
• Template:Cite book
• Template:Cite book

Papers

• Template:Cite journal
• Template:Cite journal
• Template:Citation.
• Template:Citation
• Template:Citation.
• Template:Citation.
• Template:Cite journal