Sharp \(L_p\) estimates for paraproducts on general measure spaces (Q2071779)

Let \(\mathcal{D}\) denote the class of all dyadic intervals contained in \(\mathbb{R}\) and, for each integer \(n\), let \({\mathcal{D}}^{(n)}\) stand for the collection of all elements of \(\mathcal{D}\) whose length is equal to \(2^{-n}\). Let \(f\) be a locally integrable function on \(\mathbb{R}\) and \(Q\in\mathcal{D}\), the associated average is denoted by \[\langle{f}\rangle_{Q}=\frac1{|Q|}\int_Qfdx. \] For each \(n\in\mathbb{Z}\), the expectation operator \(\mathbb{E}_n\) and the difference operator \(\Delta_n\) are given by \[{\mathbb{E}}_nf=\sum_{Q\in{\mathcal{D}}^{(n)}}\langle{f}\rangle_{Q}\chi_Q \quad \text{and}\quad \Delta_n f={\mathbb{E}}_nf - {\mathbb{E}}_{n-1}f. \] Given two locally integrable functions \(f\) and \(b\) on \(\mathbb{R}\), the corresponding dyadic paraproduct \(\pi_bf\) is defined as the following bilinear form \[\pi_bf = \sum_{n\in\mathbb{Z}}{\mathbb{E}}_{n-1}f\cdot \Delta_n b. \] The aim of this paper is to consider the sharp \(L_p\) estimates for the paraproduct. Exploiting the Bellman function method, the author proves that if \(1<p\le 2\) then \[\|\pi_bf\|_{L_p} \le \frac{p}{p-1}\|b\|_{\mathrm{BMO}}\|f\|_{L_p}, \] for any \(b\in\mathrm{BMO}\) and \(f\in{L_p}\). Furthermore, the author also shows that the constant \(\frac{p}{p-1}\) is the best possible for any \(p\).