Weak type estimates of intrinsic square functions on the weighted Hardy spaces (Q636740)

The purpose of this paper is to study some weighted weak type estimates for intrinsic square functions including the Lusin area function, Littlewood-Paley \(g\)-function and \(g_{\lambda}^{*}\)-function on weighted Hardy spaces. For \(0<\alpha \leq 1\), let \(\mathcal{C}_\alpha\) be the family of functions \(\varphi\) defined on \(\mathbb{R}^n\) such that \(\varphi\) has support contained in \(\{x\in\mathbb{R}^n: |x| \leq 1\}\), \(\int_{\mathbb{R}^n} \varphi(x)\,dx = 0\), and for all \(x\), \(x'\in \mathbb{R}^n\), \[ |\varphi(x) - \varphi(x')| \leq |x - x'|^{\alpha}. \] For \((y,t)\in \mathbb{R}_{+}^{n+1} = \mathbb{R}^n \times (0, \infty)\) and \(f\in L_{loc}^1(\mathbb{R}^n)\), set \[ A_{\alpha}(f)(y,t) = \sup_{\varphi \in \mathcal{C}_{\alpha}} |f\ast \varphi_t(y)|. \] Then the intrinsic square function of \(f\) (of order \(\alpha\)) is defined by the formula \[ S_\alpha(f)(x) = \Big (\iint_{\Gamma(x)}(A_{\alpha}(f)(y,t))^2\frac{dy\,dt}{t^{n+1}} \Big )^{1/2}, \] where \(\Gamma(x)\) denotes the usual cone of aperture one: \[ \Gamma(x) = \{(y,t) \in \mathbb{R}_{+}^{n+1}:|x-y|<t\}. \] A varying-aperture version of \(S_\alpha(f)\) is defined by the formula \[ S_{\alpha, \beta}(f)(x) = \Big (\iint_{\Gamma_{\beta}(x)}(A_{\alpha}(f)(y,t))^2\frac{dy\,dt}{t^{n+1}} \Big )^{1/2}, \] where \(\Gamma_\beta(x)\) is the usual cone of aperture \(\beta >0\): \[ \Gamma_{\beta}(x) = \{(y,t) \in \mathbb{R}_{+}^{n+1}:|x-y|<\beta t\}. \] The intrinsic Littlewood-Paley \(g\)-function (which could be viewed as a ``zero-aperture'' version of \(S_\alpha(f)\)) and the intrinsic \(g_\lambda^*\)-function (which could be viewed as an ``infinite aperture'' version of \(S_\alpha(f)\)) are defined, respectively, by \[ g_{\alpha}(f)(x) = \Big (\int_0^{\infty}(A_{\alpha}(f)(x,t))^2 \frac{dt}{t} \Big )^{1/2} \] and \[ g_{\lambda,\alpha}^*(f)(x) = \Big (\iint_{\mathbb{R}_{+}^{n+1}} \big (\frac{t}{t+|x-y|} \big )^{\lambda n}(A_{\alpha}(f)(y,t))^2 \frac{dy\,dt}{t^{n+1}} \Big )^{1/2}. \] Given a weight function \(\omega\) on \(\mathbb{R}^n\), for \(0<p<\infty\), denote by \(WL^p_\omega(\mathbb{R}^n)\) the weak weighted \(L^p\) space and by \(H^p_{\omega}(\mathbb{R}^n)\) the weighted Hardy space. The main results are as follows. Let \(0<\alpha < 1\), \(p = n/(n+\alpha)\), and let \(\omega\) belong to the Muckenhoupt weight \(A_1\). Then there exists a constant \(C>0\) independent of \(f\) such that \[ \|g_{\alpha}(f)\|_{WL^p_{\omega}} \leq C\|f\|_{H^p_{\omega}}. \] Let \(0<\alpha < 1\), \(p = n/(n+\alpha)\), \(\omega \in A_1\) and \(\lambda >3+(2 \alpha)/n\). Then there exists a constant \(C>0\) independent of \(f\) such that \[ \|g_{\lambda, \alpha}^*(f)\|_{WL^p_{\omega}} \leq C\|f\|_{H^p_{\omega}}. \]