The purpose of this paper is to present a formula for the product of two Wick operators, defined in terms of different pairs of windows φ1, φ2. In principle, Wick operators can be converted to Weyl operators, and hence one may apply to them the standard symbolic calculus [14, 21]. It is natural, however, to consider the product in the Wick form, and try to compute directly the symbol in terms of the symbols of the factors; see in this direction [3, 5, 15, 16, 19]. Recently Ando and Morimoto [1] have given a full expansion for the Wick symbol of the product in the case when all the windows coincide with the Gaussian function. We propose here a general formula. The expression is somewhat non-standard, because we write the product as a sum of anti-Wick operators corresponding to a sequence of different pairs of windows, with decreasing order. This seems to us the only possible expression of reasonable simplicity in the generic case. In the remaining part of this Introduction we recall the definition of Wick operators and state the composition result. In Section 2 we summarize some concepts of time-frequency methods used in the proof. In Section 3 we introduce the classes of symbols we are arguing on. They are, essentially, those of Shubin [18], as generalized in [3]. Let us emphasize that other classes of symbols, under weaker assumptions on derivative estimates, would work as well. In Section 4 we prove the result. In Section 5 we give a composition formula for the particular case of Gaussian functions as a pair of windows and we recapture the results of Lerner [15, 16], Ando and Morimoto [1]. Section 6 is devoted to miscellaneous comments. Namely we show how to pass from a pair of windows to another and, finally, we construct a parametrix for the elliptic Wick operators by using our formula; a natural application, which we hope to detail in future papers, concerns regularity results in the frame of the modulation spaces [9, 12]. Before stating the precise definition, let us observe that Wick operators have been considered in the past under rather different points of view, and different names. They were introduced by Berezin [2] as a quantization procedure, and as an approximation of pseudodifferential operators (“wave packets”) by Cordoba and Fefferman [7, 11]. From the point of view of the time-frequency analysis, which we shall adopt in the following, they have been studied by Daubechies [8] and
Read full abstract