The abdus salam international centre for theoretical physics singular and marcinkiewicz integrals with h1 kernels on product spaces
Jiecheng Chen,Meng Wang
2008-01-01
Abstract:In this paper we shall prove that for Ω ∈ H1(Sn−1 × Sm−1), which satisfies the cancellation condition ∫ Sn−1 Ω(x ′, y′)dx′ = ∫ Sm−1 Ω(x ′, y′)dy′ = 0 (∀(x′, y′) ∈ Sn−1 × Sm−1), the CalderónZygmund singular integral operator TΩ, its maximal operator T ∗ Ω and the Marcinkiewicz integral operator μΩ are bounded on L p(Rn ×Rm) for 1 < p <∞. MIRAMARE – TRIESTE August 2008 Let Rl (l ≥ 2) be the l-dimensional Euclidean space and Sl−1 be the unit sphere in Rl. For nonzero point z ∈ Rl, we denote z′ = z/ |z|. The Calderón-Zygmund singular integral operator and its maximal operator, with a homogeneous kernel on the product space Rn×Rm, are defined by TΩ(f)(x, y) = p.v. ∫∫ Rn×Rm K(u, v)f(x− u, y − v)dudv T ∗ Ω(f)(x, y) = sup ǫ>0,ǫ>0 ∣∣ ∫∫ |u|>ǫ,|v|>ǫ K(u, v)f(x− u, y − v)dudv ∣∣ K(u, v) = Ω(u′, v′) |u| |v| (1) where Ω ∈ L1(Sn−1 × Sm−1) and satisfies the following cancellation condition ∫ Sn−1 Ω(x ′, y′)dx′ = ∫ Sm−1 Ω(x ′, y′)dy′ = 0(∀(x′, y′) ∈ Sn−1 × Sm−1). (2) The Marcinkiewicz integral operator on the product space Rn ×Rm is defined by μΩ(f)(x, y) def = (∫∫ (R+) 2 ∣∣ψΩ t,s ∗ f(x, y) ∣∣ 2 dtds ts )1/2 (3) where Ω ∈ L1(Sn−1 × Sm−1) and satisfies (2), ψΩ t,s(x, y) = t sψ(xt , y s ) and ψ(x, y) = Ω(x, y) |x| |y| χ|x|≤1(x)χ|y|≤1(y). (4) The Lp-boundedness (1 < p < ∞) of TΩ, T ∗ Ω and μΩ has been studied extensively in both product and non-product cases. One important issue, among many others, is to find some size conditions on Ω as weak as possible to ensure the Lp-boundedness of the above mentioned operators. The readers can see [2], [4], [5], [7]-[9], [12]-[15], [17], [18], [20], [21], [23], [24], [26]-[30], [32], [33], etc. for various conditions on Ω and some interesting developments. More specifically, the largest function class, so far, containing Ω to ensure the Lp-boundedness (for all p ∈ (1,∞)) of TΩ and T ∗ Ω in the non-product case is the Hardy space H 1(Sn−1). This fact was discovered in 1978 by Connett [12] and by Ricci and Weiss [24]. See also [17] for the similar theorem on a more general operator. On the product case, however, the largest function class (that was found so far) containing Ω to ensure the Lp-boundedness (for all p ∈ (1,∞)) is the L(ln +L)2(Sn−1×Sm−1) space. As L(ln +L)2(Sn−1×Sm−1) is a proper subspace of H1(Sn−1×Sm−1), comparing the result in the non-product case, one naturally asks the following question: Are operators TΩ, T ∗ Ω bounded on Lp(Rn ×Rm) if Ω ∈ H1(Sn−1 × Sm−1) ? This problem is an extension from non-product to the product case. But it is not a trivial one. Unlike the non-product case, a famous counterexample of Carleson tells us that there is no standard atomic decomposition on the product space. While the proofs for theorems on nonproduct spaces [12], [14], [17] heavily depend on the atomic characterization of H1(Sn−1). Thus, to solve the above question, it is expected to find a non-atomic characterization of the Hardy space H1 on the product space Sn−1 × Sm−1 which may allow us to execute proofs throughout the product space. We note that Ricci and Weiss did use the non-atomic characterization of H1