Counterexample to a question on commutators
Counterexample to a question on commutators
复制标题
关于换向器问题的反例
DOI:
10.1090/s0002-9939-1971-0276798-4
复制
发表时间:
1971
期刊:
影响因子:
--
通讯作者:
A. Mcintosh
中科院分区:
文献类型:
--
作者:
A. Mcintosh
We show that it is possible for two selfadjoint opera- tors A and B in a Hilbert space H with bounded commutator AB—BA to have the property that |.4|.B — B\A\ is unbounded (where | A \ denotes the positive square root of A2). The proof re- duces to showing that for all natural numbers n, there exist a bounded positive operator U and a bounded operator V satisfying \\UV-VU\\^n\\UV+VU\\. Introduction. Interest in the above question arises from the fact that if H = L2( — oo, oo), Au =iu' and Bu = bu (where & is an a.e. differ- entiable function), then |^4JP —P|^4| is bounded whenever A B—BA is bounded (i.e. whenever b' is essentially bounded). Note that |^4|P—P|^4| is the singular integral operator (| AIE — P| ^41 )f(x) = 7T_1 p.v. f(x—y)~2(b(x)—b(y))f(y)dy. This is the one-dimensional L2 case of a more general theorem of Calderon (l). It was asked by T. Kato whether this case at least could be proved in an abstract setting, and in particular, whether |.4|P—P|^4| is bounded whenever AB—BA is bounded. Although we present two operators with AB—BA bounded and |j4|5— B\A\ unbounded, the question remains as to whether an abstract proof of Calderon's result can be found. In particular it is clear that in the special case (A =d/dx, B = b), AB — BA commutes with B. So it would be interesting to know the answer to the following question: If AB—BA is bounded and commutes with B, is | A \ B — B\A\ necessarily bounded? We comment further on this question at the end of the paper. Terminology. If A is a linear operator in a Hilbert space H, then D(A) denotes the domain of A. A linear manifold XED(A) is called a core oi A iiX is dense in D(A) under the norm ||«||;t = ||ii||24-||;lw||2. Throughout this paper the scalar field is assumed to be the field of complex numbers C. The result. (I) There exist two linear operators A and B in a