Toeplitz operators on the polydisk
Toeplitz operators on the polydisk
复制标题
DOI:
10.1090/s0002-9939-96-03425-9
复制
发表时间:
1996
期刊:
影响因子:
--
通讯作者:
Sunhua Sun;Dechao Zheng
中科院分区:
文献类型:
--
作者:
Sunhua Sun;Dechao Zheng
In this paper it is shown that two analytic Toeplitz operators essentially doubly commute if and only if they doubly commute on the Bergman space of the polydisk. Let D be the open unit disk in C. Its boundary is the circle T. The polydisk Dn and the torus T' are the subsets of C' which are cartesian products of n copies D and T, respectively. Let dA(z) be the normalized volume measure on Dn. The Bergman space L 2(Din) is the subspace of L2(Dnn, dA) whose functions are holomorphic in Dn. There is an orthogonal projection P from L2 (D , dA) onto L2(Dn). The Toeplitz operator with symbol f in L'(D n) is defined by Tf(h) = P(f h), for all h E L 2(D n). Two analytic Toeplitz operators Tf and Tg are said to be essentially doubly commuting if TTg TgTf is compact. They are said to be doubly commuting if TTg TgT; = 0. The function theory on the polydisk Dn is quite different from the function theory on the unit disk [R]. One may expect that there should exist some differences in operator theory on the Bergman spaces between on the polydisk and on the disk. In this paper we will show that two analytic Toeplitz operators essentially doubly commute if and only if they doubly commute on the polydisk. But this is false on the disk [AG], [Z]. Observe that T' is only a small part of the boundary of DTn if n > 1. But it is an important part and is called the distinguished boundary of D n. Tn is also a compact group (with componentwise multiplication as group operation) and as such carries a Haar measure. Its dual group is Zn where Z is the integer group. As in [SW] we consider multiple Fourier series on the n-torus Tn. The multiple Fourier series on the n-torus Tn can be viewed as the Fourier transformation on L1 (Tn). For f in L1 (Tin) the Fourier transformation is given by f(m) = j f (x,... , Xn)e%(7 x) da(xi ) ... du(xn) Tn where m' = (ml,... , mn) E zn and (mf, x) = =l mixi and ui(xi) is the normalized Haar measure on T for i = 1,...,n. By Theorem 1.7 in [SW], the Fourier transformation is injective, i.e. if f E Ll(Tn) and f(m) = 0 for all m E Zn, then f 0_ . The main result in this paper is the following theorem. Received by the editors October 6, 1994 and, in revised form, April 21, 1995. 1991 Mathematics Subject Classification. Primary 47B35.