Characterizations of operator-valued Hardy spaces and applications to harmonic analysis on quantum tori

Abstract

This paper studies the operator-valued Hardy spaces introduced and studied by Tao Mei. Our principal result shows that the Poisson kernel in Mei's definition of these spaces can be replaced by any reasonable test function. As an application, we get a general characterization of Hardy spaces on quantum tori. The latter characterization plays a key role in our recent study of Triebel-Lizorkin spaces on quantum tori. Introduction and main resultsThis paper is devoted to the study of operator-valued Hardy spaces introduced by Mei [14]. Motivated by the development of noncommutative martingale inequalities (see, for instance, [4,11,12,13,17,19,21,22]) and the Littlewood-Paley-Stein theory of quantum Markov semigroups (cf. [6, 7, 8]), Mei developed a remarkable theory of operator-valued Hardy spaces on R d . These spaces are shown to be very useful for many aspects of noncommutative harmonic analysis (cf. e.g. [9,10]). They are defined by the Littlewood-Paley g-function or Lusin area integral function associated to the Poisson kernel. However, it is a classical result in the scalar case that the Poisson kernel does not play any special role and can be replaced by any (reasonable) test function with mild conditions. This extension is not only interesting of its own right but also crucial for applications; for instance, it plays an important role in the part of harmonic analysis related to the Littlewood-Paley decomposition as well as in the applications of harmonic analysis to PDE.Recently, we were led to extending this classical result to the noncommutative setting in our study of Triebel-Lizorkin spaces on quantum tori in [29] (see also the announcement [28]). This noncommutative extension is a key ingredient for the part of [29] on Triebel-Lizorkin spaces. To our best knowledge, all existing proofs of this result use maximal functions in a crucial way. Because of the lack of the noncommutative analogue of the pointwise maximal function, they do not extend to the operator-valued setting. We will investigate the problem via duality as in Mei's work [14], combined with the operator-valued Calderón-Zygmund theory. We show that the main arguments of [14] can be adapted to general test functions in place of the Poisson kernel. This adaptation sometimes is quite straightforward, sometimes requires significantly extra efforts. One of the major differences is the lack of harmonicity of the convolution function by a general test kernel. This harmonicity is useful for some arguments in [14]; for example, it permits one to easily see the majoration of the Littlewood-Paley (radial) square function by the Lusin (conic) square function. In the general case, we have a variant of this result whose proof is, however, more elaborated. It should be also pointed out that both radial and conic square functions are important for the theory: the former is simpler and readily extends to the setting of semigroups; because of the non-tangential nature of the cone used, the latter controls other related functions and is required for the H 1 -BM...

Sobolev, Besov and Triebel-Lizorkin Spaces on Quantum Tori

“…It is much more substantial now. Instead, our development will rely heavily on the theory of Hardy spaces developed in [81] through a Fourier multiplier theorem that is proved in the first section. It is this multiplier theorem which clears the obstacles on our route.…”

Operator-Valued Triebel–Lizorkin Spaces

“…Theorem 2.1 is developed to deal with the multiplier problem of square functions, and also the multiplier problem of the Hardy spaces H c p (R d , M) by virtue of their characterizations (see [38]). In order to deal with the corresponding problems on the inhomogeneous versions of square functions or Hardy spaces, we need the following global version of Theorem 2.1.…”

“…The proof of this theorem is similar to but easier than that of [40,Theorem 4.20], since we assume k > 0 here; we omit the details. The key ingredient is the improvement of the characterization of Hardy spaces in terms of Poisson kernel given in [38,Theorem 1.5] Theorem 4.3. Let 1 ≤ p < ∞, α ∈ R, and k ∈ N such that k > max{α, 0}.…”

Mapping properties of operator-valued pseudo-differential operators

“…At that time, due to the fact that very little had been done about the analytic aspect, the work of Connes and his collaborators did not include L p -estimates for parametrices and error terms. Recently, inspired by the development on noncommutative harmonic analysis, a lot of progress has been made on Fourier multiplier theory and Calderón-Zygmund theory on noncommutative L p spaces, thanks the efforts of many researchers [33,40,39,7,18,30,61,63]. But so far, the mapping properties of pseudo-differential operators are rarely studied.…”