On the Characters and the Plancherel Formula of Nilpotent Groups ...

SCATTERING THEORY WITH TWO HILBERT SPACES 359
Next we shall show that J* is a (U, , &)-asymptotic left inverse to
J (see Definition 5.1). Since
II (1 - J*l) G4 4 II& = II ((1 - ~‘,lwa~,) %O> llsj,
by (9.4) and (9.5), it suffices to show that
= 11 %l(l -FlF‘2) &u I/B1
where ul(t) is as in (9.6). Thus it suffices to show that
But
and
(1 - F,F,) 6’ tBIQ1 -+ 0, t--t-&a. (9.16)
1 - F,F, = (1 - Fl) + Fl( 1 - F,)
(1 - FJ FitBIQl = SitE1(l -FJQ, = 0
because Qr < Fl. On the other hand, it is known that
(1 - Q2) e-itBIQI -+ 0 whenever C, exist (see, e.g., [I], p. 531.)
Since F, > Q2 , it follows that (1 - F,) e-itBIQr + 0 and (9.16) is
proved.
According to Theorem 6.3, the wave operators W,( U, , U,; J)
are semicomplete and partially isometric. Since the same is true of
w,tU, > Usi I*) by s Y mmetry, the assertions of Theorem 9.3 follow
from Theorem 6.3.
10. ANOTHER IDENTIFICATION FOR THE SAME PROBLEM
The existence and completeness of the wave operators
W,( U, , U,; J) proved in Theorem 9.3 depends on a fortunate
choice of the identification operator J. Mathematically it seems to be
the simplest one (Birman [2] uses the same J, rather implicitly). But
it is a different question whether it is a natural choice from the physical
point of view.
Physically it would seem more appropriate to identify {u, V} of .sj,
with the same pair of & (simple identification). But this is possible
only when [xJ(&)] = [a(&)]. We shall modify this identification
slightly to allow somewhat more general situations.