Sharp Bilinear Decomposition for Products of Both Anisotropic Hardy Spaces and Their Dual Spaces with Its Applications to Endpoint Boundedness of Commutators
Jun Liu,Dachun Yang,Mingdong Zhang
DOI: https://doi.org/10.1007/s11425-023-2153-y
2024-01-01
Abstract:Let a⃗: = (a_1, … ,a_n) ∈[1,∞ )^n, p ∈ (0,1) , and α := 1/ p − 1. For any x ∈ ℝ n and t ∈ [0, ∞), let Φ _p(x,t): = {t 1 + (t[x]_a⃗^ν )^1 - p if να∉ℕ,t 1 + (t[x]_a⃗^ν )^1 - p[log (e + |x|_a⃗)]^p if να∈ℕ,. where [ · ]_a⃗: = 1 + | ·|_a⃗, | ·|_a⃗ denotes the anisotropic quasi-homogeneous norm with respect to a⃗ , and ν := a 1 +...+ a n . Let H_a⃗^p(ℝ^n) , L_α ^a⃗(ℝ^n) , and H_a⃗^Φ _p(ℝ^n) be, respectively, the anisotropic Hardy space, the anisotropic Campanato space, and the anisotropic Musielak-Orlicz Hardy space associated with Φ p on ℝ n . In this article, via first establishing the wavelet characterization of anisotropic Campanato spaces, we prove that for any f ∈ H_a⃗^p(ℝ^n) and g ∈ L_α ^a⃗(ℝ^n) , the product of f and g can be decomposed into S ( f, g ) + T ( f, g ) in the sense of tempered distributions, where S is a bilinear operator bounded from H_a⃗^p(ℝ^n) × L_α ^a⃗(ℝ^n) to L 1 (ℝ n ) and T is a bilinear operator bounded from H_a⃗^p(ℝ^n) × L_α ^a⃗(ℝ^n) to H_a⃗^Φ _p(ℝ^n) . Moreover, this bilinear decomposition is sharp in the dual sense that any Y⊂ H_a⃗^Φ _p(ℝ^n) that fits into the above bilinear decomposition should satisfy (L^1(ℝ^n) + Y)^ * = (L^1(ℝ^n) + H_a⃗^Φ _p(ℝ^n))^ * . As applications, for any non-constant b ∈ L_α ^a⃗(ℝ^n) and any sublinear operator T satisfying some mild bounded assumptions, we find the largest subspace of H_a⃗^p(ℝ^n) , denoted by H_a⃗,b^p(ℝ^n) , such that the commutator [ b, T ] is bounded from H_a⃗,b^p(ℝ^n) to L 1 (ℝ n ). In addition, when T is an anisotropic Calderón-Zygmund operator, the boundedness of [ b, T ] from H_a⃗,b^p(ℝ^n) to L 1 (ℝ n )(or to H_a⃗^1(ℝ^n) ) is also presented. The key of their proofs is the wavelet characterization of function spaces under consideration.