Beruflich Dokumente
Kultur Dokumente
Universidade de Coimbra
Preprint Number 0402
NUMERICAL RANGES OF UNBOUNDED OPERATORS
ARISING IN QUANTUM PHYSICS
N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
Abstract: Creation and annihilation operators are used in quantum physics as the
building blocks of linear operators acting on Hilbert spaces of many body systems.
In quantum physics, pairing operators are dened in terms of those operators. In
this paper, spectral properties of pairing operators are studied. The numerical
ranges of pairing operators are investigated. In the context of matrix theory, the
results give the numerical ranges of certain innite tridiagonal matrices.
Keywords: Numerical range, unbounded linear operator.
1. Creation and Annihilation Operators
In quantum mechanics, states of a particle are described by vectors be-
longing to a Hilbert space, the so called state space. For physical systems
composed of many identical particles, it is useful to dene operators that
create or annihilate a particle in a specied individual state. Operators of
physical interest can be expressed in terms of these creation and annihilation
operators [1, 2].
Only totally symmetric and anti-symmetric states are observed in nature
and particles occurring in these states are called bosons and fermions, respec-
tively. If V is the state space of one boson and m N, the mth completely
symmetric space over V , denoted by V
(m)
, is the appropriate state space to
describe a system with m bosons. By convention, V
(0)
= C.
Let V be an n-dimensional vector space with inner product (, ), and let
e
1
, . . . , e
n
be an orthonormal basis of V . The creation operator associated
with e
i
, i = 1, . . . , n, is the linear operator f
i
: V
(m1)
V
(m)
dened by
f
i
(x
1
x
m1
) = e
i
x
1
x
m1
, (1)
for x
1
x
m1
a decomposable tensor in V
(m1)
. The annihilation operator
is the adjoint operator of the creation operator f
i
, explicitly, it is the linear
Corresponding author: R. Lemos, Mathematics Department, University of Aveiro, P 3810-193
Aveiro, Portugal.
1
2 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
operator g
i
: V
(m)
V
(m1)
dened by
g
i
(x
1
x
m
) =
m
k=1
(e
i
, x
k
) x
1
x
k1
x
k+1
x
m
, (2)
for x
1
x
m
in V
(m)
. Denote by e
k
i
the symmetric tensor product e
i
e
i
with k factors. Clearly, f
i
(e
m1
i
) = e
m
i
and g
i
(e
m
i
) = me
m1
i
. These operators
can also be dened on the symmetric algebra over V :
+
m=0
V
(m)
. We
consider
dened by N
i
= f
i
g
i
, for i = 1, . . . , n. It will be shown that the nonnegative
integers are the eigenvalues of this operator. This is related to the physical
fact that an arbitrary number of bosons can occupy the same quantum state.
Let V be C
2
. For the symmetric algebra
over C
2
, the pairing operator
B :
Ax : x C
n
, x
Sx = 1.
This set is always a convex set [9]. If S is the n n identity matrix I
n
, then
V
+
S
(A) reduces to the classical numerical range of A M
n
. If S is a nonsin-
gular indenite selfadjoint matrix, some authors use W
+
S
(A) = V
+
S
(SA) as
the denition of a numerical range of a matrix A associated with the inde-
nite inner product x, y)
S
= y
i
= g
i
,
n+i
= f
i
, i = 1, . . . , n. (4)
The invertible linear operator that maps the vector into the vector with
components
i
= g
i
,
n+i
=
f
i
, i = 1, . . . , n, (5)
4 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
is called a canonical transformation if it preserves the canonical commutation
relations and it is usually called a Bogoliubov transformation.
We recall a useful characterization of a Bogoliubov transformation.
Proposition 2.1. [2] Let and be the column vectors with entries (4) and
(5), respectively. The following conditions are equivalent:
(i) The linear operator that maps the vector into the vector is a Bogo-
liubov transformation;
(ii) The matrix T such that = T, satises TLT
T
= L and T
T
LT = L,
where
L =
_
0 I
n
I
n
0
_
.
The linear operators g
i
are the adjoint operators of
f
i
if the matrix T
associated with the Bogoliubov transformation in Proposition 2.1 (ii) is a
block matrix of the form
T =
_
X Y
Y X
_
, X, Y M
n
. (6)
Let the linear operator
N
i
:
be dened by
N
i
=
f
i
g
i
, i = 1, . . . , n.
The following proposition is an easy consequence of the canonical commuta-
tion relations for the operators
f
i
and g
i
, i = 1, . . . , n.
Proposition 2.2. If the operators
f
i
and g
i
satisfy the canonical commuta-
tion relations, then
[
N
i
,
f
r
j
] = r
ij
f
r
i
and [
N
i
, g
r
j
] = r
ij
g
r
i
, i, j = 1, . . . , n, r N
0
.
Proof : Let r N
0
. By induction on k, we prove that
N
i
f
r
j
= k
ij
f
r
i
+
f
k
j
N
i
f
rk
j
, i, j = 1, . . . , n, k = 0, . . . , r. (7)
In fact, if k = 0, (7) is trivial. Suppose that (7) is true for k 1. Then we
successively have:
N
i
f
r
j
= (k 1)
ij
f
r
i
+
f
k1
j
N
i
f
rk+1
j
= (k 1)
ij
f
r
i
+
f
k1
j
f
i
(
ij
+
f
j
g
i
)
f
rk
j
(8)
= (k 1)
ij
f
r
i
+
f
k
j
(
ij
+
f
i
g
i
)
f
rk
j
(9)
= k
ij
f
r
i
+
f
k
j
N
i
f
rk
j
,
NUMERICAL RANGES OF UNBOUNDED OPERATORS 5
where (8) is a consequence of [ g
i
,
f
j
] =
ij
, and (9) follows from [
f
i
,
f
j
] = 0
and
f
i
ij
=
f
j
ij
. Hence, (7) holds for k = 0, . . . , r. The case k = r gives the
asserted set of relations on the left-hand side. By transconjugation of these
relations, the result follows.
3. Spectral Properties of Pairing Operators
The symmetric space C
2
(m)
is spanned by the vectors e
k
1
e
mk
2
, k = 0, . . . , m.
For q 0, denote by
(q)
the subspace of the symmetric algebra over C
2
spanned by the vectors e
n
1
e
n+q
2
, n N
0
, and, for q < 0, the subspace
spanned by the vectors e
nq
1
e
n
2
, n N
0
. It is clear that any two subspaces
(q)
are disjoint. It can be easily seen that the symmetric algebra
over C
2
is given by
+
q=
(q)
. The subspaces
(q)
, q Z, satisfy the following
property.
Proposition 3.1. For q Z, the subspace
(q)
is invariant under the pairing
operator B.
Proof : For q 0 and n N
0
, we have
B(e
n
1
e
n+q
2
) = (cn + d(n +q)) e
n
1
e
n+q
2
+
+ k e
n+1
1
e
n+1+q
2
+ l n(n +q)e
n1
1
e
n1+q
2
(q)
.
Analogously, for q < 0 and n N
0
, we nd
B(e
nq
1
e
n
2
) = (c(n q) +dn)) e
nq
1
e
n
2
+
+ k e
n+1q
1
e
n+1
2
+ln(n q) e
n1q
1
e
n1
2
(q)
.
Since B is a linear operator, it satises B(
(q)
)
(q)
, for any integer q.
Remark 3.1. The matrix representation, in the standard basis, of the pairing
operator B = c f
1
g
1
+ d f
2
g
2
+ k f
1
f
2
+ l g
1
g
2
restricted to
(q)
, q 0, is the
innite tridiagonal matrix T
q
c,d
given by
_
_
dq l
1 + q 0 0 . . .
k
1 + q c +d +dq l
_
2(2 +q) 0 . . .
0 k
_
2(2 +q) 2(c +d) +dq l
_
3(3 +q) . . .
0 0 k
_
3(3 +q) 3(c +d) + dq . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
, c, d, k, l C.
6 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
For q < 0, the matrix representation, in the standard basis, of the pairing
operator B = c f
1
g
1
+d f
2
g
2
+k f
1
f
2
+l g
1
g
2
restricted to
(q)
is the tridiagonal
matrix T
q
d,c
.
In the sequel, we adopt the following notation: D = z C : [z[ < 1 .
For z D, let
f
1
and
f
2
be the linear operators on
dened by
f
1
=
1
_
1 [z[
2
(f
1
zg
2
),
f
2
=
1
_
1 [z[
2
(f
2
zg
1
). (10)
Their adjoint operators are
g
1
=
1
_
1 [z[
2
(g
1
zf
2
), g
2
=
1
_
1 [z[
2
(g
2
zf
1
), (11)
respectively. The linear operator that maps the vector
T
= (g
1
, g
2
, f
1
, f
2
)
into the vector
T
= ( g
1
, g
2
,
f
1
,
f
2
) is a Bogoliubov transformation.
Proposition 3.2. The Bogoliubov transformation dened by (10) and (11)
takes the pairing operator B :
dened by B = c f
1
g
1
+ d f
2
g
2
+
k f
1
f
2
+ l g
1
g
2
, c, d, k, l C, into B =
0
+ c
f
1
g
1
+
d
f
2
g
2
+
k
f
1
f
2
+
l g
1
g
2
,
where denotes the identity map, z D, and
0
=
1
1 [z[
2
_
(c +d)[z[
2
+kz + lz
_
, (12)
c =
1
1 [z[
2
(c +d[z[
2
+kz +lz), (13)
d =
1
1 [z[
2
(c[z[
2
+d +kz +lz), (14)
k =
1
1 [z[
2
_
(c +d)z +k +lz
2
_
, (15)
l =
1
1 [z[
2
_
(c +d)z +kz
2
+ l
_
. (16)
Moreover,
c = c +
0
and
d = d +
0
. (17)
Proof : The Bogoliubov transformation dened by (10) and (11) is associated
with a matrix T of the form (6), where the submatrices X and Y are
X =
1
_
1 [z[
2
I
2
, Y =
1
_
1 [z[
2
_
0 z
z 0
_
.
NUMERICAL RANGES OF UNBOUNDED OPERATORS 7
Since = T
1
and
T
1
=
1
_
1 [z[
2
_
_
1 0 0 z
0 1 z 0
0 z 1 0
z 0 0 1
_
_
,
the following inverse relations hold:
f
1
=
1
_
1 [z[
2
(
f
1
+ z g
2
), f
2
=
1
_
1 [z[
2
(
f
2
+ z g
1
) (18)
and
g
1
=
1
_
1 [z[
2
( g
1
+z
f
2
), g
2
=
1
_
1 [z[
2
( g
2
+z
f
1
). (19)
Taking into account (18) and (19) in B = c f
1
g
1
+d f
2
g
2
+k f
1
f
2
+l g
1
g
2
, the
result easily follows.
The pairing operator B in (3) is a selfadjoint operator if and only if c, d R
and l =
k.
Proposition 3.3. The pairing operator B =
0
+ c
f
1
g
1
+
d
f
2
g
2
+
k
f
1
f
2
+
l g
1
g
2
is a selfadjoint operator if and only if
0
, c and
d are real numbers and
l =
k.
Proof : Trivial.
Throughout this section, let = (c + d)
2
4[k[
2
, for c, d R and k C.
Proposition 3.4. If B = c f
1
g
1
+ d f
2
g
2
+ k f
1
f
2
+
k g
1
g
2
, with c, d R
and k C, is a selfadjoint pairing operator and > 0, then B can be
reduced by a Bogoliubov transformation to the form B =
0
+ c
f
1
g
1
+
d
f
2
g
2
,
where denotes the identity map and
0
, c,
d are given by (12), (13), (14),
respectively. Moreover,
(i) If c +d > 0, then c +
d =
and
0
=
1
2
(c +d) +
1
2
;
(ii) If c +d < 0, then c +
d =
and
0
=
1
2
(c +d)
1
2
.
Proof : By Proposition 3.2, under a Bogoliubov transformation, we can take
the selfadjoint pairing operator B = c f
1
g
1
+ d f
2
g
2
+ k f
1
f
2
+
k g
1
g
2
, where
c, d R and k C, into the form B =
0
+ c
f
1
g
1
+
d
f
2
g
2
+
k
f
1
g
2
+
k
f
2
g
1
,
where
0
, c,
d and
k are given by (12), (13), (14) and (15), respectively. If
8 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
> 0, it is possible to nd z D such that
k = 0. In fact, we can choose a
solution z of the quadratic equation
kz
2
+ (c +d)z +k = 0, (20)
for which
k vanishes. The choice can be done as follows. For k = 0 and
c +d ,= 0, we take z = 0. For k ,= 0, we have
z =
(c +d)
_
(c +d)
2
4[k[
2
2
k
. (21)
The product of the roots of the quadratic equation in (20) is k/
k, a complex
of modulus 1. Therefore, one of these roots has modulus less than 1 and for
this root
k = 0. Thus, we may concentrate on B =
0
+ c
f
1
g
1
+
d
f
2
g
2
.
From (13) and (14), we nd
c +
d =
(c + d)
_
1 +[z[
2
_
+ 2k z + 2
kz
1 [z[
2
. (22)
From (21) and (22), we get c +
d =
k g
1
g
2
, with c, d R and
k C, be a selfadjoint pairing operator dened on the symmetric algebra
over C
2
. A complex z satises [B, g
1
zf
2
] =
1
2
(d c
)(g
1
zf
2
) and
[B, g
2
zf
1
] =
1
2
(c d
)(g
2
zf
1
) if and only if z is a root of (20).
Proof : () We have
[B, g
1
zf
2
] = (c +
kz)g
1
(k +dz)f
2
. (23)
It is not dicult to see that there exists w C such that
[B, g
1
zf
2
] = w(g
1
zf
2
). (24)
NUMERICAL RANGES OF UNBOUNDED OPERATORS 9
In fact, from (23) and (24), we obtain
_
c
k
k d
_ _
1
z
_
= w
_
1 0
0 1
_ _
1
z
_
. (25)
The solutions w of (25) are such that
det
_
c w
k
k d w
_
= 0,
that is, w =
1
2
(d c)
1
2
k.
() It is a straightforward computation.
Proposition 3.6. For z C, there exists a vector u in the Hilbert space
such that (g
1
zf
2
)u = 0 and (g
2
zf
1
)u = 0 if and only if [z[ < 1, and
u =
+
n=0
c
0
z
n
n!
f
n
1
f
n
2
(1), c
0
C.
Proof : () Consider an arbitrary element u =
+
n,m=0
c
nm
f
n
1
f
m
2
(1)
,
c
nm
C. Since we are assuming (g
1
zf
2
)u = 0, it follows that
+
n,m=0
(c
n+1m+1
(n + 1) c
nm
z) f
n
1
f
m+1
2
(1) = 0.
Hence,
c
n+1m+1
(n + 1) c
nm
z = 0. (26)
By the hypothesis (f
2
zg
1
)u = 0, and so we also have
c
n+1m+1
(m + 1) c
nm
z = 0. (27)
From (26) and (27) we get (n m)c
n+1m+1
= 0, that is, c
nm
= c
n
nm
. Thus,
u =
+
n=0
c
n
f
n
1
f
n
2
(1)
(0)
. From (27) it follows that c
n+1
(n+1) c
n
z = 0,
n N
0
. By induction on n, it can easily be proved that c
n
= c
0
z
n
/n!, c
0
C,
n N
0
. The vector u belongs to the Hilbert space
+
n=0
c
0
z
n
n!
f
n
1
f
n
2
(1)
(0)
satises
g
1
u = g
2
u = 0.
Proof : The Corollary is an obvious consequence of Proposition 3.6.
10 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
Proposition 3.7. Let B = c f
1
g
1
+d f
2
g
2
+k f
1
f
2
+
k g
1
g
2
, with c, d R and
k C, be a selfadjoint pairing operator dened on
.
Proof : (By contradiction.) Suppose that there exists in
an eigenvector u
of B associated with the eigenvalue R, that is, Bu = u. By Proposition
3.5, there exists z C such that [B, g
1
zf
2
] =
1
2
(d c + i
)(g
1
zf
2
)
and [B, g
2
zf
1
] =
1
2
(c d + i
)(g
2
zf
1
) if and only if z is a root of
(20). Easy computations yield
B(g
1
zf
2
)u = [B, g
1
zf
2
]u + (g
1
zf
2
)Bu
=
_
+
1
2
(c d + i
)
_
(g
1
zf
2
)u
and
B(g
2
zf
1
)u =
_
+
1
2
(c d +i
)
_
(g
2
zf
1
)u.
Then, either (g
1
zf
2
)u vanishes or it is an eigenvector of B corresponding to
the eigenvalue +
1
2
(dc+i
f
2
g
2
dened on
such that
N
1
u =
1
u and
N
2
u =
2
u.
Replacing u by g
1
u in
N
1
u and u by g
2
u in
N
2
u, we obtain
N
1
g
1
u = (
1
1) g
1
u and
N
2
g
2
u = (
2
1) g
2
u. (28)
From the left-hand side equation in (28), we conclude that either g
1
u = 0 or
g
1
u is an eigenvector of
N
1
associated with (
1
1). From the right-hand side
equation in (28), we conclude that either g
2
u = 0 or g
2
u is an eigenvector of
N
2
associated with (
2
1). If g
1
u = 0 and g
2
u = 0, by Proposition 3.6, u is of
the asserted form and
1
=
2
= 0. In this case, the result follows. If g
1
u ,= 0
or g
2
u ,= 0, we repeat the previous procedure. Indeed, there exist integers
NUMERICAL RANGES OF UNBOUNDED OPERATORS 11
k
1
, k
2
such that v = g
k
1
1
g
k
2
2
u ,= 0 and g
k
1
+1
1
g
k
2
2
u = g
k
1
1
g
k
2
+1
2
u = 0. Since
N
1
and
N
2
are positive semidenite operators, the eigenvalues
1
k
1
and
2
k
2
associated with the eigenvector v are nonnegative. The process stops when
1
k
1
=
2
k
2
= 0, and so
1
and
2
are nonnegative integers. Since
g
1
v = g
2
v = 0, we nd that (g
1
zf
2
)v = (g
2
zf
1
)v = 0. By Proposition
3.6, v = c
0
+
n=0
z
n
n!
f
n
1
f
n
2
(1)
(0)
, c
0
C. It can be easily veried that
v = g
k
1
1
g
k
2
2
u implies k
1
! k
2
! u =
f
k
1
1
f
k
2
2
v and the result follows.
In the following theorem, the eigenvalues and the eigenvectors of the self-
adjoint pairing operator B restricted to the subspace
(0)
are obtained.
Theorem 3.1. Let the selfadjoint pairing operator B = cf
1
g
1
+df
2
g
2
+kf
1
f
2
+
kg
1
g
2
, with c, d R and k C, be restricted to the subspace
(0)
, and let
> 0. The eigenvalues of B are
n
=
_
1
2
(c +d) +
2n+1
2
, if c +d > 0
1
2
(c +d)
2n+1
2
, if c +d < 0
, n N
0
.
The eigenvectors of B associated with the eigenvalue
n
are the vectors v
n
=
c
0
f
n
1
f
n
2
e
zf
1
f
2
(1), where c
0
is a non-zero complex number and z is the root of
(20) in D.
Proof : Consider the Bogoliubov transformation that maps the annihilation
operators g
i
and the creation operators f
i
into their adjoint operators g
i
and
f
i
, i = 1, 2, respectively. By Proposition 3.4, under this Bogoliubov
transformation, B can be taken in the form B =
0
+ c
f
1
g
1
+
d
f
1
g
1
, where
0
, c and
d are given by (12), (13) and (14), respectively.
It can be easily seen that the operators
N
1
N
2
and N
1
N
2
coincide in
,
and so the operators
N
1
and
N
2
are equal in
(0)
. Therefore, their eigenvalues
are the nonnegative integers. Since B
0
is a linear combination of the
commuting operators
N
1
and
N
2
, by Proposition 3.8, the eigenvalues of the
selfadjoint pairing operator B are
n
=
0
+( c+
d) n, n N
0
. If c+d > 0, then
c +
d and
0
are given by Proposition 3.4 (i). Thus,
n
=
c+d
2
+
2n+1
2
,
n N
0
. If c + d < 0, then c +
d and
0
are given by Proposition 3.4 (ii).
Thus,
n
=
c+d
2
2n+1
2
, n N
0
. The common eigenvectors of
N
1
and
N
2
are the eigenvectors of B and, by Proposition 3.8, the theorem follows.
Theorem 3.1 can be easily generalized as follows.
12 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
Theorem 3.2. Let the selfadjoint pairing operator B = cf
1
g
1
+df
2
g
2
+kf
1
f
2
+
kg
1
g
2
, with c, d R and k C, be dened on
n
1
n
2
=
_
1
2
(c d)(n
1
n
2
)
1
2
(c + d) +
n
1
+n
2
+1
2
, if c +d > 0
1
2
(c d)(n
1
n
2
)
1
2
(c + d)
n
1
+n
2
+1
2
, if c +d < 0
,
n
1
, n
2
N
0
. The eigenvectors of B associated with the eigenvalue
n
1
n
2
are
v
n
1
n
2
= c
0
f
n
1
1
f
n
2
2
e
zf
1
f
2
(1), where c
0
is a non-zero complex number and z is
the root of (20) in D.
Proof : The selfadjoint pairing operator B can be taken in the form B =
0
+ c
f
1
g
1
+
d
f
1
g
1
, where c = c +
0
and
d = d +
0
, according to (17) in
Proposition 3.2. By Proposition 3.8, the eigenvalues of the operator B are
n
1
n
2
=
0
+ c n
1
+
d n
2
, n
1
, n
2
N
0
. For n
1
, n
2
N
0
and c + d > 0,
0
is
given by Proposition 3.4 (i), and so
n
1
n
2
=
1
2
(c d)(n
1
n
2
)
1
2
(c +d) +
n
1
+n
2
+ 1
2
.
For n
1
, n
2
N
0
and c +d < 0,
0
is given by Proposition 3.4 (ii). Thus,
n
1
n
2
=
1
2
(c d)(n
1
n
2
)
1
2
(c + d)
n
1
+n
2
+ 1
2
.
The common eigenvectors of
N
1
and
N
2
corresponding to the eigenvalues n
1
and n
2
are eigenvectors of B and, by Proposition 3.8, the theorem follows.
4. The Numerical Range of Pairing Operators
The aim of this section is the characterization of the numerical range of
the pairing operator B restricted to
(q)
, q Z.
An inclusion relation for W(B[
(q) ), where
q
= qd, if q 0, and
q
= qc,
if q < 0.
NUMERICAL RANGES OF UNBOUNDED OPERATORS 13
Proof : Let q 0. For an arbitrary element
(q)
,
=
+
n=0
c
n
e
n
1
e
n+q
2
, c
n
C,
the following holds:
(, ) =
+
n=0
[c
n
[
2
n!(n +q)!,
(f
1
f
2
, ) =
+
n=0
c
n
c
n+1
(n + 1)!(n +q + 1)!,
(g
1
g
2
, ) =
+
n=0
c
n+1
c
n
(n + 1)!(n +q + 1)!,
(f
1
g
1
, ) =
+
n=0
n[c
n
[
2
n!(n +q)!,
(f
2
g
2
, ) =
+
n=0
(n +q) [c
n
[
2
n!(n + q)!.
If c
n
= z
n
/n!, z D, the above series converge. We have
(, ) =
+
n=0
q
j=1
(n + j) [z[
2n
= q!
1
(1 [z[
2
)
1+q
,
(f
1
f
2
, ) = z
+
n=0
1+q
j=1
(n +j) [z[
2n
= (1 + q)!
z
(1 [z[
2
)
2+q
,
(g
1
g
2
, ) = z
+
n=0
1+q
j=1
(n +j) [z[
2n
= (1 + q)!
z
(1 [z[
2
)
2+q
,
(f
1
g
1
, ) =
+
n=0
q
j=0
(n + j) [z[
2n
= (1 +q)!
[z[
2
(1 [z[
2
)
2+q
,
(f
2
g
2
, ) =
+
n=0
q
j=0
(n + j) [z[
2n
+ q
+
n=0
q
j=1
(n +j) [z[
2n
14 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
= (1 + q)!
[z[
2
(1 [z[
2
)
2+q
+ q q!
1
(1 [z[
2
)
1+q
.
Thus, for q 0, the complex numbers
(B, )
(, )
= (1 +q)
(c +d)[z[
2
+k z +l z
1 [z[
2
+qd, z D,
belong to W(B[
(q) ).
If q < 0, the proof is analogous.
Given a convex subset K of C, a point K is called a corner of K if K
is contained in an angle with vertex at , and magnitude less than .
The following result on the corners of the numerical range of unbounded
linear operators will be used in the proof of Theorem 4.2. The proof for
bounded operators in [3, Theorem 1.5-5] can be easily adapted to this case.
Theorem 4.1. [3] If W(T) is a corner of W(T), then is an eigenvalue
of the operator T.
We now characterize the numerical range of the selfadjoint pairing operator
B restricted to
(0)
.
Theorem 4.2. Let the selfadjoint pairing operator B = c f
1
g
1
+ d f
2
g
2
+
k f
1
f
2
+
k g
1
g
2
, with c, d R and k C, be restricted to the subspace
(0)
and = (c +d)
2
4[k[
2
. Then W(B[
(0) ) is:
(i) [
1
2
(c +d) +
1
2
_
, if > 0 and c +d < 0;
(iii)
_
1
2
(c +d), +
_
, if = 0 and c +d > 0;
(iv)
_
,
1
2
(c +d)
_
, if = 0 and c +d < 0;
(v) 0, if = c +d = 0;
(vi) the whole R, if < 0.
Proof : Since the pairing operator B is selfadjoint, c + d R and l =
k.
Obviously, W(B[
(0) ), by
Theorem 4.1 it is an eigenvalue of the operator.
(i) If > 0, then c+d ,= 0. Let c+d > 0. By Theorem 3.1, the minimum
eigenvalue of the selfadjoint pairing operator B[
(0) is
0
=
1
2
(c +d) +
1
2
and there does not exist a maximum eigenvalue. By Theorem 4.1, (i) follows.
NUMERICAL RANGES OF UNBOUNDED OPERATORS 15
(ii) If > 0 and c +d < 0, the proof follows analogously to (i).
(iii) If = 0 and c + d > 0, then c + d = 2[k[ and easy computations
show that B can be reduced to the form
B =
c d
2
(f
1
g
1
f
2
g
2
) +
c +d
2
(f
2
+ g
1
)
(f
2
+g
1
)
c + d
2
.
When B is restricted to
(0)
, the rst summand vanishes. Then B [
(0) is a
positive semidenite selfadjoint operator translated by
1
2
(c + d). We show
that the numerical range of (B +
1
2
(c + d)) [
(f
2
+ g
1
). Indeed, let w
N
=
N
n=1
u
n
n!
f
n
1
f
n
2
(1)
(0)
. Let u
0
= u
N+1
= 0. We have
(Cw
N
, w
N
)
(w
N
, w
N
)
=
N
n=0
(n + 1)[u
n
+u
n+1
[
2
N
n=1
[u
n
[
2
0
and 0 may be approached as closely as desired. In fact, if u
n
= (1)
n
(Nn),
n = 1, . . . , N,
lim
N
(Cw
N
, w
N
)
(w
N
w
N
)
= lim
N
1 + 2 + + (N + 1)
1 + 4 + + (N 1)
2
= 0.
Suppose that 0 W(C[
(0) ).
Thus, W(B[
(0) ) =
_
1
2
(c +d), +
_
.
(iv) If = 0 and c + d < 0, the proof follows analogously to (iii).
(v) If = c +d = 0, then k = 0 and B[
(0) ) R.
Considering r = (1 + [z[
2
)/(1 [z[
2
) and = arg z arg k, we easily verify
that
W =
_
c + d
2
(r 1) + [k[
_
r
2
1 cos : R, r 1
_
= R.
Therefore, W(B[
(0) ) = R.
16 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
Remark 4.1. Theorem 4.2 describes the numerical range of the following
innite tridiagonal selfadjoint matrix, which is the matrix representation, in
the standard basis, of the selfadjoint pairing operator B = c f
1
g
1
+ d f
2
g
2
+
k f
1
f
2
+
k g
1
g
2
restricted to the subspace
(0)
,
_
_
0
k 0 0 . . .
k c +d 2
k 0 . . .
0 2k 2(c +d) 3
k . . .
0 0 3k 3(c +d) . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
, c +d R, k C. (30)
For q Z, we have the following result.
Theorem 4.3. Let the selfadjoint pairing operator B = c f
1
g
1
+ d f
2
g
2
+
k f
1
f
2
+
k g
1
g
2
, c, d R and k C, be restricted to the subspace
(q)
, q Z.
Let = (c +d)
2
4[k[
2
and
=
_
1+q
2
(d c +
) d, if q 0
1q
2
(c d +
) c, if q < 0
, 1, 0, 1.
Then W(B[
(q) ) is:
(i) [
1
, +), if > 0 and c +d > 0;
(ii) (,
1
], if > 0 and c +d < 0;
(iii) (
0
, +), if = 0 and c + d > 0;
(iv) (,
0
), if = 0 and c +d < 0;
(v)
0
, if = c +d = 0;
(vi) the whole R, if < 0.
Proof : The proof follows similar steps to the proof of Theorem 4.2, using
Theorem 3.2 instead of Theorem 3.1.
Remark 4.2. If q 0, Theorem 4.3 describes the numerical range of the
tridiagonal selfadjoint matrix S
q
c,d
given by
_
_
dq
k
1 +q 0 0 . . .
k
1 + q c +d +dq
k
_
2(2 +q) 0 . . .
0 k
_
2(2 +q) 2(c +d) +dq
k
_
3(3 + q) . . .
0 0 k
_
3(3 +q) 3(c +d) + dq . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
, c, d R, k C.
If q < 0, Theorem 4.3 characterizes W(S
q
d,c
).
NUMERICAL RANGES OF UNBOUNDED OPERATORS 17
The Hyperbolical Range Theorem will be used in the proof of Theorem 4.5
and has the following statement:
Theorem 4.4 (Hyperbolical Range Theorem). [11] Let A = (a
ij
) M
2
and
J = diag(1, 1). Let
1
,
2
be the eigenvalues of JA, and let
M = [
1
[
2
+ [
2
[
2
Tr(A
JAJ), N = Tr(A
JAJ) 2 Re(
1
2
).
Denote by l
1
the line perpendicular to the line dened by
1
and
2
and
passing through =
1
2
Tr(JA). Denote by l
2
the line dened by a
11
and a
22
.
a) If M > 0 and N > 0, then V
+
J
(A) is bounded by a branch of the
hyperbola with
1
and
2
as foci, transverse and non-transverse axis
of length
N and
M, respectively.
b) If M > 0 and N = 0, then V
+
J
(A) is
i) the line l
1
, if [a
12
[ = [a
21
[;
ii) an open half-plane dened by the line l
1
, if [a
12
[ ,= [a
21
[.
c) If M > 0 and N < 0, then V
+
J
(A) is the whole complex plane.
d) If M = 0 and N > 0, then V
+
J
(A) is a closed half-line in l
2
with
endpoint
1
or
2
.
e) If M = N = 0, then V
+
J
(A) is
i) the singleton , if Tr(A) = 0;
ii) an open half-line in l
2
with endpoint , if Tr(A) ,= 0.
Next, we generalize Theorem 4.2 for non-selfadjoint pairing operators. We
will denote by Re(A) the selfadjoint operator
1
2
(A +A
).
Theorem 4.5. Let the pairing operator B = c f
1
g
1
+d f
2
g
2
+k f
1
f
2
+l g
1
g
2
,
c, d, k, l C, be restricted to
(0)
. Let = (c +d)
2
4kl, and let
M =
1
2
[[ +[k[
2
+[l[
2
1
2
[c +d[
2
, N =
1
2
[[ [k[
2
[l[
2
+
1
2
[c + d[
2
.
Denote by l
1
the line perpendicular to the line dened by
1
=
1
2
(c+d)+
1
2
and
2
=
1
2
(c +d)
1
2
N and
M, respectively.
b) If M > 0 and N = 0, then W(B[
(0) ) is
i) the line l
1
, if [k[ = [l[;
18 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
ii) an open half-plane dened by the line l
1
, if [k[ ,= [l[.
c) If M > 0 and N < 0, then W(B[
(0) ) is
i) the singleton 0, if c +d = 0;
ii) an open half-line in l
2
with endpoint
1
2
(c +d), if c + d ,= 0.
Proof : By Lemma 4.1, W is a subset of W(B[
2
of the matrix JA are
1
2
(c +d)
1
2
, and we have
M = [
1
[
2
+[
2
[
2
Tr(A
JAJ) =
1
2
([[ +P),
N = Tr(A
JAJ) 2 Re(
1
2
) =
1
2
([[ P).
It can be easily seen that M 0 and
[[
2
= [c +d[
4
+ 16[k[
2
[l[
2
8[k[[l[[c +d[
2
cos(2 2), (31)
where 2 = arg(kl) and = arg(c+d). By the Hyperbolical Range Theorem,
the subset W of W(B[
(0) ) = W. The
unit eigenvectors associated with an extremum eigenvalue of Re(e
i
B),
[0, 2), give rise to boundary points of the numerical range of B. The real part
of e
i
B is Re(e
i
B) = c
f
1
g
1
+d
f
2
g
2
+k
f
1
f
2
+
g
1
g
2
, where c
= Re(e
i
c),
d
= Re(e
i
d) and 2k
= (k +
l) cos + i (k
l) sin. Moreover, c
+ d
=
[c +d[ cos( +). Let
= (c
+d
)
2
4[k
[
2
. After some computations, we
get
=
1
2
[[ cos(2 + )
1
2
P, where tan = Im/Re. It follows that
M
> 0. If c
+d
> 0,
by Theorem 3.1, the minimum eigenvalue of the selfadjoint pairing operator
NUMERICAL RANGES OF UNBOUNDED OPERATORS 19
Re(e
i
B) is
0
=
1
2
(c
+d
)+
1
2
0
are
v
0
= c
0
e
z
f
1
f
2
(1), where c
0
is a non-zero complex number, z
= 0, if k
= 0,
and z
0
/
, if k
,= 0. Then z
0
, v
0
)
(v
0
, v
0
)
=
(c + d)[z
[
2
+k z
+l z
1 [z
[
2
.
This point belongs to the boundary of W(B [
(0) ) belong to W. If
c
+d
(0) ) = W
is bounded by a branch of the hyperbola with foci
1
and
2
, transverse axis
of length
M.
2.
nd
Case: M > 0 and N = 0. Since N = 0, we have M = [[ = P.
Therefore,
=
1
2
M(cos(2 + ) 1) and it can be easily seen that there
exists
and f(
and c
+d
vanish
only in the direction = (/2 ) mod . By Theorem 4.2 v), it follows
that W(B[
(0) ) = C.
4.
th
Case: M = 0 and N > 0. Since M = 0, we have N = [[ = P > 0.
In this case, there are innite supporting lines of the set W and the branch of
the hyperbola given by the Hyperbolical Range Theorem degenerates into a
closed half-line in the line dened by 0 and c+d, with endpoint either
1
or
2
.
For [0, 2),
=
1
2
N(cos(2 + ) + 1) 0. Using analogous arguments
to those in the proof of the 2.
nd
Case, we conclude that W(B[
(0) ) = W.
5.
th
Case: M = 0 and N = 0. It can be easily seen that N = = 0 and
straightforward computations yield [k[ = [l[ =
1
2
[c + d[. If k = 0, having in
mind Theorem 4.2 (v), we conclude that W(B) = 0. If k ,= 0, W is an
open half-line in the line dened by 0 and c +d and with endpoint
1
2
(c +d).
20 N. BEBIANO, R. LEMOS AND J. DA PROVID
ENCIA
In this case,
+d
2
) mod . By similar arguments to those used above, it can be
shown that W(B[
(0) ) = W.
6.
th
Case: M = 0 and N < 0. Under these hypothesis, it can easily be
seen that 0 = M
1
2
[c +d[
2
, N =
1
2
[[ [k[
2
[l[
2
+
1
2
[c + d[
2
.
Let 1, 0, 1 and
=
_
1+q
2
(d
c +
) d, if q 0
1q
2
(c
d +
) c, if q < 0
.
a) If M > 0 and N > 0, then W(B [
N and (1 + [q[)
M, respectively.
b) If M > 0 and N = 0, then W(B[
(q) ) is
i) the line l
1
, if [k[ = [l[;
ii) an open half-plane dened by the line l
1
, if [k[ ,= [l[.
c) If M > 0 and N < 0, then W(B[
(q)) is
i) the singleton
0
11
, if c + d = 0;
ii) an open half-line in l
2
with endpoint
0
11
, if c +d ,= 0.
Proof : We prove that
W(B[
(q) ) = (1 +[q[)W(B[
(0) ) +
q
, q Z, (32)
NUMERICAL RANGES OF UNBOUNDED OPERATORS 21
where
q
= qd, if q 0, and
q
= qc, if q < 0. By Lemma 4.1, W(B[
(q))
contains (1 +[q[)W +
q
, and by Theorem 4.5, we have that W = W(B[
(0) ).
Thus, (1 +[q[)W(B[
(0) ) +
q
W(B[
f
1
g
1
+ d
f
2
g
2
+ k
f
1
f
2
+
k
g
1
g
2
,
with c
= Re(e
i
c), d
= Re(e
i
d) and 2k
= (k +
l) cos + i (k
l) sin .
a) Let [0, 2) be such that
= (c
+d
)
2
4[k
[
2
> 0. If c
+d
> 0,
by Theorem 3.2, the minimum eigenvalue of the selfadjoint pairing operator
Re(e
i
B) restricted to
(q)
, q 0, is
0q
=
q
2
(d
)
1
2
(c
+ d
) +
1 +q
2
_
= (1 +q)
00
+qd
,
and the eigenvectors of Re(e
i
B) associated with the eigenvalue
0q
are the
vectors v
0q
= c
0
f
q
2
e
z
f
1
f
2
(1), where c
0
is a non-zero complex number, z
= 0,
if k
= 0, z
00
/
, if k
,= 0, and
f
2
=
1
1|z
|
2
(f
2
z
g
1
). Using analogous
arguments to those in the proof of Lemma 4.1, we nd
w
q
=
(Bv
0q
, v
0q
)
(v
0q
, v
0q
)
= (1 +q)
(c + d)[z
[
2
+k z
+l z
1 [z
[
2
+qd, (33)
which is a boundary point of W(B[
(q) ), q 0. If c
+d
q
of W(B [
0
of W(B [
(0)): w
q
=
(1+q)w
0
+qd. This means that the boundary generating curve of W(B[
(q) ),
q > 0, is obtained from the boundary generating curve of W(B [
(0) ) by
a dilation of ratio 1 + q and a translation associated with qd. Hence, the
equality in (32) holds for q 0. That is, W(B [
(q) ), q 0, is bounded
by a branch of the hyperbola with
1
11
and
1
11
as foci, and transverse and
non-transverse axis of length (1 +q)
N and (1 +q)
M, respectively.
b) If [k[ ,= [l[, then (1 +q) W +qd is an open half-plane dened by the line
l
1
. By similar arguments to those in the proof of Theorem 4.3 iii), it can be
shown that the boundary of this half-plane does not belong to W(B[
(q) ) and
so W(B[
= (c
+d
)
2
4[k
[
2
and c
+d
(q) ) = C.
d) In this case, the set (1 + q) W + qd degenerates into a closed half-line
in l
2
with endpoint
1
11
or
1
11
. Since
ENCIA
e) As in the proof of Theorem 4.5, we have [k[ = [l[ =
1
2
[c +d[. If k = 0, we
conclude that W(B[
(q)) = (1+q)W+qd.
If q < 0, the proof is similar.
Remark 4.3. The pairing operator B = c f
1
g
1
+d f
2
g
2
+k f
1
f
2
+l g
1
g
2
res-
tricted to
(q)
is represented by the tridiagonal matrix T
q
c,d
in Remark 3.1.
Thus, W(T
q
c,d
), q 0, is characterized by Theorem 4.6. For q < 0, the pairing
operator B = c f
1
g
1
+d f
2
g
2
+k f
1
f
2
+l g
1
g
2
restricted to
(q)
is represented
by the tridiagonal matrix T
q
d,c
, and so W(T
q
c,d
) is given by the same theorem,
replacing q, c and d by q, d and c, respectively.
References
[1] F. A. Berezin, The Method of Second Quantization, Academic Press, New York, 1966.
[2] J. P. Blaizot and G. Ripka, Quantum Theory of Finite Systems, The MIT Press, Cambridge,
1986.
[3] K. Gustafson and D. Rao, Numerical Range - The eld of values of linear operators and
matrices, Springer, New York, 1997.
[4] P. Halmos, A Hilbert Space Problem Book, Springer-Verlag, New York, 1982.
[5] E. Brown and I. Spitkovsky, On matrices with elliptical numerical ranges, Linear and Multi-
linear Algebra, in press.
[6] M. T. Chien, On the numerical range of tridiagonal operators, Linear Algebra Appl. 246
(1996), 203-214.
[7] M. T. Chien, L.Yeh and Y.-T. Yeh, On geometric properties of the numerical range, Linear
Algebra Appl. 274 (1998), 389-410.
[8] M. Eiermann, Fields of values and iterative methods, Linear Algebra Appl. 180 (1993), 167-
197.
[9] C.-K. Li, N. K. Tsing and F. Uhlig, Numerical ranges of an operator in an indenite inner
product space, Electr. J. Linear Algebra 1 (1996), 1-17.
[10] C.-K. Li and L. Rodman, Shapes and computer generation of numerical ranges of Krein space
operators, Electr. J. Linear Algebra 3 (1998), 31-47.
[11] N. Bebiano, R. Lemos, J. da Providencia and G. Soares, On generalized numerical ranges of
operators on an indenite inner product space, Linear and Multilinear Algebra, in press.
N. Bebiano
Mathematics Department, University of Coimbra, P 3001-454 Coimbra, PORTUGAL
E-mail address: bebiano@ci.uc.pt
R. Lemos
Mathematics Department, University of Aveiro, P 3810-193 Aveiro, PORTUGAL
E-mail address: rute@mat.ua.pt
J. da Providencia
Physics Department, University of Coimbra, P 3004-516 Coimbra, PORTUGAL
E-mail address: providencia@teor.fis.uc.pt