Professional Documents
Culture Documents
This inequality generalises ( 6.101) for values of v belonging to ( 1/2, 1), and the rea-
soning that follows (6.101) is again applicable.
We present here a generalisation of Theorem 6.3 and of its consequences for powers
of the resolvent (T- A- iJ-L)- 1 . This has important applications in scattering theory,
as seen for example in Section 7.2. To obtain a bound on (J, (T - A - it-L)-Nf)
for suitable vectors f, one assumes that the multiple commutators (up to order N)
ofT with iA belong to B(H) (in the sense explained before Theorem 6.3). We set
Bk == [[ · · · [T, iA], iA], ... , iA] (k commutators). Observe that B 1 coincides with the
operator Bused in Section 6.2 and that each Bk is formally self-adjoint. We then have
the following generalisation of Theorem 6.3:
Theorem 6.18. LetT and A be se(f-adjoint operators with T E TJ(H), and let N E
{2, 3, ... }. Assume that each o.f the operators Bk, k - 1, ... , N + 1, belongs to
B(H) and that a strict Mourre inequality (6.34) is satisfied on so1ne open interval J.
Let Jo be a bounded closed subinterval of J and v > N- (1/2). Then the norm limits
u-linlp,-++O(I +I 1)-u(T- A iJ-L)-N (I+ IAI)-u exist uniformly in A E Jo, and
sup I (I+ IAI)-u (T- A it-L)-N (I+ IAI)-u II < oo. (6.1 03)
>..EJo.J1>0
PROOF. The proof follows the lines of that of Theorem 6.3. We just indicate the ad-
justments that are necessary. First the term II [B, A] II in the constant c 1 in (6.36) should
I:~= 2 + [ I:~= 1 IIBk II]
2
be replaced by IIBk I .
Hence GE- Gs(A + it-L) == [T A- it-L + z-(c)]- 1, withEE [0, 1]. The basic in-
equality (6.41) remains true, the only change in its verification occurs in the derivation
of (6.39) where ~icE must be replaced by _z±(c).
HIGHER ORDER RESOLVENT ESTIMATES 301
(only odd values of k contribute to the preceding sum, because the terms in z± (E)
containing even powers of E are self-adjoint and thus do not occur in ~Nt-). If N > 2
this leads to an additional term on the right-hand side of (6.43) of the form cs 3 ll9ll 2
for some constant c < c 1 . By absorbing this additional term in the left-hand side, it
follows that, for sufficiently small E, the inequality (6.43) remains true provided that
its left-hand side is replaced by (as+ M)llgll 2 /4. Then the bound on IIGc(A + iM)II in
(6.44) obtains an additional factor 2 (and this unimportant factor should be taken into
account whenever this bound is used further on). Also the value of Eo may be smaller
than in the earlier proof.
• Point (iv). This remains unchanged, in particular (6.45) holds.
• Point (v). This is handled somewhat differently. We set G~ ) == T-A-itt- isB 1
1
Now G~ ) is just the operator GE used in Section 6.2, so that by (6.48), (6.49) and
1
(6.1 05)
19
On the other hand, the analogue of Eq. (6.51) is here as follows:
N . k N k
i'L: (-~~) -iL (-~~)
.r-
G~ (>.. + i!J) = [Gc(>.. + i!J), A] - i (-;:( Gc:(A + i!J )BN +I Gc (>.. + ifJ). (6.107)
19 We observe that, as in §6.3.2, the operators Gs map V(A) into V(A).
302 THE CONJUGATE OPERATOR METHOD
We also need a formula for (d/ de) [Gc:]N. By the Leibniz rule this is as follows:
N-1
d~ (Gc)"'v = L (GEfc;(Gc)N-k-1
k=O
N-1 N-1
= L (Gc)k[Gc, A](Gc)N-k- 1- i (-;:( L (Gc)k+l BN+1(Gc)N-k
k=O k=O
N-1
== [(G )N A] -i(-ic)N "'(G )k+1B (G )N-k (6.108)
c ' N! ~ c N+1 c .
k=O
• Point (ii). We replace Xc: simply by I and set Z == (I+ IAI)- 1 . We deduce a
differential inequality for the B(H)-valued function E r---+ <Pc: :== zv (Gc: )Nzv. For this
we observe that
N-1
_zv[(G )N A]zu_i(-ic)N '"""'zu(G )k+1B (G )N-kzu (6.109)
c ' N! ~ c N+1 c .
k=O
Now, since IIAZII < 1:
IIZl/[(Gc:)N,A]Zl/11 < IIZU(Gc:)Nzu- 1 . AZII + IIAZ. zu- 1(Gc:)Nzull
< IIZu(Gc:)Nzu- 111 + llzu- 1(Gc:)Nzull· (6.110)
The norms on the last line are treated as follows by an interpolation argument. In
Example 6.33 set B == z- 1 andY == (Gc:)N. Then (6.134), for~== v, leads to the
following bound on the first norm in (6.11 0):
IIZU(Gc:)N zu-111 < IIZl/(Gc:)NZl/111-(1/v) 11Zl/(Gc:)NII1/u.
Now, by (6.105) and (6.44), we have for j > 1:
IIZl/ (Gc: )j II < IIZl/ Gc: IIIIGc: llj- 1 < CjE- 1/ 2 E-(j- 1) - Cj E-(j-( 1/ 2 )]
for some constant Cj. Consequently, taking j == N:
IIZu(Gc:)Nzu- 111 < CNE-(N-( 1/ 2 )]/ui1Zu(Gc:)Nzull 1-( 1/u)- CNE- 13 II<Pc:ll 8 ,
with j3 == [N- (1/2)]/v and 8 == 1 - (1/v); observe that /3,8 E (0, 1) because
v > N- (1/2). The same bound holds for the second norm on the last line of (6.110)
(use the same argument with Gc: replaced by G;).
We next estimate the last term in (6.109). Its norm is majorised by
N N-1
~! L IIZuCciiiiCcllkiiBN+1IIIICciiN-k- 1IICcZvll
k=O
HIGHER ORDER RESOLVENT ESTIMATES 303
for some constant c. Thus (6.109) leads to the following differential inequality:
(6.111)
for some constant c that is independent of A and p. As before, the preceding inequality
implies the existence of u -lim,u-t+O zv (T- A- ip,) -N zv, and one obtains a bound
of the form IIZv(T- A- i{l)-Nzvll <canst. for all A E J 0 and all p E [0, 1]. 0
Corollary 6.19. Under the hypothesis of Proposition 6.18 [in particular v > N -
(1/2)], the operator-valuedfunction A ~ (I+ !AI)-v(T- A- iO) 1 (I + IA!)-v
is N - 1 times continuously differentiable in nann on the interval ~l, and for k
1, 2, ... , N- 1 one has
Here (I+ IAI)-v(T- A- iO)-r;,(I + IAI)-v is aformal notation for the operator
u-limc:~+o(I + IAI) vcc:(A + iO)K,(I + IAI)-v, with Gc:(z) defined in the preceding
proof
By proceeding as in Section 6.4, one can extend the results of Theoretn 6.18 and
Corollary 6.19 to unbounded operators H satisfying p( H) n JR. -1 0. As in §6.4.2,
this is done by setting T == (Ao - H) - l , with Ao E p( H). One has to know that the
multiple commutators of (Ao- H)- 1 with A (up to order N + 1) belong to B(H). For
H of the form H 0 + V( Q), this is ensured by suitably generalising the condition (C)
of page 288. A convenient condition, sufficient for our applications in Chapter 7, is
to assume that vis of class cN+l and that Tk(akv;ark) belongs to L~(IRn) for
20
Interchange of limits with derivatives; see for example §9 in Chapter V of [L].
304 THE CONJUGATE OPERATOR METHOD
W(Ho- z)- 1 U* == W¢(Ho)(Ho- z)- 1 ¢(Ho)U* + W[I- ¢(Ho) 2 ](Ho- z)- 1 U*.
(6.113)
The second term on the right-hand side may be written as
Proposition 6.21 . Let k E N. Assume that V: JR.n --+ JR. satisfies condition (C) of
page 288 and may be written in the form V(x) == [v 1 (x) + v 2(x)](1 + jxj)-K with
VI E L
00
(JR.n ), v2 E Lq (JR.n) for some q satisfying q E ( n/2, oo) and q > 1, and with
f{; > k + 1. Let == Ho + V( Q) and let U, W: JR.n --+ C be as in Proposition
6.20. Then the operator-valuedfunction A~ W(Q)(H- A- i0)- 1 U(Q)* is k times
continuously differentiable in norm on (0, oo) \ O"p(H).
PROOF. The proof can be made inductively in k by using the result of the preceding
proposition. We discuss the cases k == 1 and k == 2. We put Rz == (H z)- 1 and
R~ == (Ho- z)- 1 .
(i) Let k - 1. By differentiating the second resolvent equation Rz == R~ - R~VRz
we get [' == d / dz]:
Thus (I+ R~V)R~ == R~'(I- VRz). Since (I- RzV)(I + R~V) ==I (by the
second resolvent equation), we then obtain
We choose f\;1 > 1/2, f\;2 > 3/2 with f\;1 + f\;2 - f{;, set v(x) == v1(i) + v 2 (x)
and factor the function V into V V 1V2, with V 1(x) == jv(x) j 1 12 (1 + lxi)-K: 1 and
V2(i) == jv(x)l 1 12 [signv(x)](1 + lxi)-K: 2 • Then we have by (6.114):
Let J be a bounded closed interval in (0, oo )\O"p (H) and let z == A+ ic in Eq. (6.115),
with A E J and c > 0. By taking into account Proposition 6.16(b) [for the operators
of the form X 1 (Q)R-\+ic:X2 (Q)] as well as Proposition 6.20 [for those of the form
X 1 ( Q)R~~ic: X 2( Q)], one sees that the right-hand-side of (6.115), for z == A+ is, is
norm convergent as c --+ +0, and that the convergence is uniform in A on J. So both
WR.A+ic:U* and its derivative with respect to A are convergent as c--+ +0, uniformly
in A E J. This implies that the limit WR.A+ioU* is differentiable in norm, and that its
derivative is given by the right-hand side of (6.115) with z - A+ iO (see for example
Theorem 12 in §9, Chapter V of [L]). So A ~ WR.A+ioU* is continuously norm
differentiable on J.
(ii) Let k - 2. By differentiating (6.115) one gets
WR"u*-
z WR z0 "u*- WR z0 "VR z u*- WR z0 'VR'u*
z
0 0 0
- WR'VR
z z 'U*- WR z VR z "U* WR'VR
z z 'VR z U*
+ WRz VR~"VRzU* + WRz VR~'VR~U*. (6.116)
Each operator V occurring on the right-hand side is factored into V1 V2, with V1 (x) and
v2 (x) of the same form as in (i) above but with the exponents f\;1 andf\;2 depending on
the position of V. If V stands next to an operator R~', we take f\; 1 == f\; 2 == f\;/2 > 3/2
306 THE CONJUGATE OPERATOR METHOD
(so that for example WR~'V1 and V2 R~U* converge as z ---+ J). If V stands on the left
of an operator RzO", we take ~1 > 1/2 and ~2 > 5/2 (so that for example V2RzO" U *
has boundary values on J), and if V stands on the right of an operator R~' ', we take
f1: 1 > 5/2 and ~ 2 > 1/2. Then, as in (i), the right-hand side of (6.116), for z == A+ ic,
is norm convergent as c ---+ +0, uniformly in A on each bounded closed subinterval J
of (0, oo )\o-P (H). Hence A ~ WR{+iO U* is differentiable in norm, and its derivative
is given by the right-hand side of (6.116) with z == A+ iO. So A ~ WR.A+iO U* is
twice continuously norm differentiable on each J. D
6. 7 Some commutators
Example 6 . 22. In various situations one can proceed by using scalar products with
vectors belonging to a suitable dense set V, chosen such that the commutator makes
sense on V, and then taking into account domain properties to transfer the operators
to the other argument in the scalar product. As a simple example, let us prove that
[P1 ~ <p(Q)] == -i(8.7<p)(Q) on V(P1 ) if <pis of class C 1 with <p and its first order
derivatives Oj4J bounded. Note that we must show in particular that iff E V(Pj ), then
<p( Q)f E D(P_7 ).
(i) We first let g, hE S(JRn ). Then
where the second equality is obtained upon integrating by parts. Since <p (Q) Pj g and
(8.7 <p) (Q)g belong to the Hilbert space, this implies that <p( Q)g E V(Pj) [remem-
ber that Pj is essentially self-adjoint on S(JRn)] and that Pj<p(Q)g == <p(Q)Pjg-
i(o1 <p)(Q)g.
(ii) Now let f E V(P1 ) and take V == S(JRn). ForgE S(JRn) we find by using the
final result of (i) (with <p in place of <p) that
(Pj g, 4J (Q) f) == (4J (Q) P.i g, f) == (Pj 4J (Q) g, f) - i ( (8j 4J) (Q) g, f)
== (g, <p(Q)Pj.f) i(g, (oj<p)(Q).f).
As in (i), this implies that <p(Q)f E V(Pj) and Pj<p(Q).f == <p(Q)Pjf- i(oj<p)(Q)f,
which completes the proof.
By setting f == (I + IPj I) - 1 h in the last relation above, one finds that the operator
P.7 <p (Q) (I + IP1 I) 1 belongs to B (H). In the same way as above one can obtain the