Sharp maximal inequalities and its application to some bilinear estimates (Q532493)

In a study of Euler and Navier-Stokes equations \textit{H. Kozono} and \textit{Y. Taniuchi} [Math. Z. 235, No.1, 173--194 (2000; Zbl 0970.35099)] showed the following bilinear inequality: \[ \|f \nabla g\|_{L^p} \leq C (\|f \|_{L^p}\|\nabla g\|_{\text{BMO}}+\|\nabla f \|_{\text{BMO}}\|g\|_{L^p} ) \quad (1<p<\infty). \] The author considers similar estimates on Herz spaces and Morrey spaces. Some of his results are the following: \[ \|f g\|_{M^p_q} \leq C (\|f\|_{M^p_q}\|g\|_{\text{BMO}} +\|f \|_{\text{BMO}}\|g \|_{M^p_q} ) \] and \[ \|f \nabla^m g\|_{M^p_q} \leq C (\|f\|_{M^p_q}\|\nabla^m g\|_{\text{BMO}} + \|\nabla^m f\|_{\text{BMO}}\|g\|_{HM^p_q} ), \] where \(0<q \leq p <\infty\) and \[ \|f \|_{M^p_q} := \sup_{Q} \frac{1}{|Q|^{1/q - 1/p}} \Big( \int_Q|f|^q \,dy \Big)^{1/q}, \] and \(HM^p_q\) is the Morrey-type Hardy space introduced by \textit{Y. Sawano} [Acta Math. Sin., Engl. Ser. 25, No. 8, 1223--1242 (2009; Zbl 1172.42007)]. For the proof he establishes the sharp maximal inequalities for Herz spaces and Morrey spaces. This proof is different from the one by Kozono and Taniuchi. Let \[ f^{\sharp (r), \Omega}_{N}(x) := \sup_{x \in Q \subset \Omega} \inf_{P \in P_N} \Big( \frac{1}{|Q|}\int_Q|f - P|^r \,dy \Big)^{1/r}, \] where \(P_N\) is the space of polynomials of degree at most \(N\). He proves the following: \[ \|f\|_{M^p_q} \leq C \sup_{Q} \frac{1}{|Q|^{1/q - 1/p}} \Big( \int_Q f^{\sharp (r), Q}_{N}(y)^q \,dy \Big)^{1/q}, \] when \(f\) satisfies appropriate conditions.