Document Type

Article

Department/Program

Mathematics

Journal Title

Studia Mathematica

Pub Date

2009

Volume

194

Issue

1

First Page

91

Abstract

Let W(A) and W(e)(A) be the joint numerical range and the joint essential numerical range of an m-tuple of self-adjoint operators A = (A(1),.., A(m)) acting on an infinite-dimensional Hilbert space. It is shown that W(e)(A) is always convex and admits many equivalent formulations. In particular, for any fixed i is an element of {1,..., m}, W(e) (A) can be obtained as the intersection of all sets of the form cl(W(A(1),..., A(i+1), A(i) + F, A(i+1),..., A(m))), where F = F* has finite rank. Moreover, the closure cl(W(A)) of W(A) is always star-shaped with the elements in W(e)(A) as star centers. Although cl(W(A)) is usually not convex, an analog of the separation theorem is obtained, namely, for any element d is not an element of cl(W(A)), there is a linear functional f such that f (d) > sup{f (a) : a is an element of cl(W((A) over tilde))}, where (A) over tilde is obtained from A by perturbing one of the components A(i) by a finite rank self-adjoint operator. Other results on W(A) and W(e)(A) extending those on a single operator axe obtained.

DOI

10.4064/sm194-1-6

Share

COinS