Endpoint estimates for generalized commutators of Hardy operators on \(H^1\) space (Q352569)

Summary: We study the \(H^1\)-boundedness of the generalized commutators of Hardy operator with a homogeneous kernel as follows: \(\mathcal H^m_{\Omega, A, \beta} f(x) = (1/|x|^{n - \beta}) \int_{|y| < |x|} (\Omega(x - y)/|x - y|^{m -1})R_m(A; x, y)f(y)\, dy\), where \(R_m(A; x, y) = A(x) - \sum_{|\alpha| < m} (1/\alpha!)D^\alpha A(y)(x - y)^\alpha\) with \(m \in Z^+\), \(0 \leq \beta < n\) and \(\Omega \in \text{Lip}_1(S^{n - 1})\). We prove that, when \(m \geq 1\), \(\mathcal H^m_{\Omega, A, \beta}\) is not bounded from \(H^1\) to \(L^{n/(n - \beta)}\) unless \(\mathcal H^m_{\Omega, A, \beta} \equiv 0\). Finally, we prove that \(\mathcal H^m_{\Omega, A, \beta}\) is bounded from \(H^1\) to \(L^{n/(n - \beta), \infty}\) with \(m \geq 1\).