Paraproducts and products of functions in \(BMO(\mathbb R^n)\) and \(\mathcal H^1(\mathbb R^n)\) through wavelets (Q764911)

Products of functions in the Hardy space \(H^1(\mathbb R^n)\) and \(BMO(\mathbb R^n)\), understood in the sense of distributions, have been considered by \textit{A. Bonami}, \textit{T. Iwaniec}, \textit{P. Jones} and \textit{M. Zinsmeister} [``On the product of functions in BMO and H\(^1\)'', Ann. Inst. Fourier 57, No.~5, 1405--1439 (2007; Zbl 1132.42010)] and can be written as the sum of an integrable function and a function in a weighted Hardy-Orlicz space related to the Orlicz function \(\Phi(t)= \frac{t}{\log(e+t)} \) and the weight \(w(x)=(\log(e+ |x|))^{-1}\). In the present paper, the authors improve this result in two different directions. First, they are able to replace the weighted Hardy-Orlicz space by the space \(H^{log}(\mathbb R^n)\) of tempered distributions such that the grand maximal function belongs to the Musielak-Orlicz space \(L^{log}(\mathbb R^n)\) defined by the condition \(\int (\log(e+ |x|)+ \log(e+ |f(x)|)^{-1}|f(x)|\,dx<\infty\). Secondly, they show that there exist two continuous bilinear operators on the product space \(H^1(\mathbb R^n)\times BMO(\mathbb R^n)\) denoted \(S:H^1(\mathbb R^n)\times BMO(\mathbb R^n)\to L^1(\mathbb R^n)\) and \(T:H^1(\mathbb R^n)\times BMO(\mathbb R^n)\to H^{log}(\mathbb R^n)\) such that \(fg= S(f,g)+T(f,g)\). The proof uses ideas from the similar approach used by \textit{R. R. Coifman, S. Dobyinski} and \textit{Y. Meyer} [``Bilinear operators and renormalization'', Princeton Math. Ser. 42, 146--161 (1995; Zbl 0842.42011)] and needs a generalized Hölder inequality adapted to the space \(L^{log}\).