Hardy Spaces H P over Non-Homogeneous Metric Measure Spaces and Their Applications
Xing Fu,HaiBo Lin,DaChun Yang,DongYong Yang
DOI: https://doi.org/10.1007/s11425-014-4956-2
2015-01-01
Science China Mathematics
Abstract:Let (X, d, ÎŒ) be a metric measure space satisfying both the geometrically doubling and the upper doubling conditions. Let Ï â (1, â), 0 < p â©œ 1 â©œ q â©œ â, p â q, Îł â [1, â) and Δ â (0, â). In this paper, the authors introduce the atomic Hardy space \(\tilde H_{atb,\rho }^{p,q,\gamma } (\mu )\) and the molecular Hardy space \(\tilde H_{mb,\rho }^{p,q,\gamma ,\varepsilon } (\mu )\) via the discrete coefficient \(\tilde K_{B,S}^{(\rho ),p}\), and prove that the CalderĂłn-Zygmund operator is bounded from \(\tilde H_{mb,\rho }^{p,q,\gamma ,\delta } (\mu )\) (or \(\tilde H_{atb,\rho }^{p,q,\gamma } (\mu )\)) into L p (ÎŒ), and from \(\tilde H_{atb,\rho (\rho + 1)}^{p,q,\gamma + 1} (\mu )\) into \(\tilde H_{mb,\rho }^{p,q,\gamma ,\tfrac{1}{2}(\delta - \tfrac{v}{p} + v)} (\mu )\). The boundedness of the generalized fractional integral T ÎČ (ÎČ â (0, 1)) from \(\tilde H_{mb,\rho }^{p_1 ,q,\gamma ,\theta } (\mu )\) (or \(\tilde H_{atb,\rho }^{p_1 ,q,\gamma } (\mu )\)) into \(L^{p_2 } (\mu )\) with 1/p 2 = 1/p 1âÎČ is also established. The authors also introduce the Ï-weakly doubling condition, with Ï â (1, â), of the measure ÎŒ and construct a non-doubling measure ÎŒ satisfying this condition. If ÎŒ is Ï-weakly doubling, the authors further introduce the Campanato space \(\mathcal{E}_{\rho ,\eta ,\gamma }^{\alpha ,q} (\mu )\) and show that \(\mathcal{E}_{\rho ,\eta ,\gamma }^{\alpha ,q} (\mu )\) is independent of the choices of Ï, η, Îł and q; the authors then introduce the atomic Hardy space \(\hat H_{atb,\rho }^{p,q,\gamma } (\mu )\) and the molecular Hardy space \(\hat H_{mb,\rho }^{p,q,\gamma ,\varepsilon } (\mu )\), which coincide with each other; the authors finally prove that \(\hat H_{atb,\rho }^{p,q,\gamma } (\mu )\) is the predual of \(\mathcal{E}_{\rho ,\rho ,1}^{1/p - 1,1} (\mu )\). Moreover, if ÎŒ is doubling, the authors show that \(\mathcal{E}_{\rho ,\eta ,\gamma }^{\alpha ,q} (\mu )\) and the Lipschitz space Lip α, q (ÎŒ) (q â [1, â)), or \(\hat H_{atb,\rho }^{p,q,\gamma } (\mu )\) and the atomic Hardy space H at p, q (ÎŒ) (q â (1, â]) of Coifman and Weiss coincide. Finally, if (X, d, ÎŒ) is an RD-spac (reverse doubling space) with ÎŒ(X) = â, the authors prove that \(\tilde H_{atb,\rho }^{p,q,\gamma } (\mu )\), \(\tilde H_{mb,\rho }^{p,q,\gamma ,\varepsilon } (\mu )\) and H at p, q (ÎŒ) coincide for any q â (1, 2]. In particular, when (X, d, ÎŒ):= (â D , |·|, dx) with dx being the D-dimensional Lebesgue measure, the authors show that spaces \(\tilde H_{atb,\rho }^{p,q,\gamma } (\mu )\), \(\tilde H_{mb,\rho }^{p,q,\gamma ,\varepsilon } (\mu )\), \(\hat H_{atb,\rho }^{p,q,\gamma } (\mu )\) and \(\hat H_{mb,\rho }^{p,q,\gamma ,\varepsilon } (\mu )\) all coincide with H p (â D ) for any q â (1, â).