Endpoint for the div-curl lemma in Hardy spaces (Q987145): Difference between revisions

Let \(\omega\) be a closed differential \(l\)-form on \(\mathbb{R}^n\) whose coefficients \(\{\omega^I; I:= \{i_1,\dots, i_l\}\subset\{l,\dots, n\}\}\) are tempered distributions. The Hardy \(p\)-space of such forms denoted by \(H^p(\mathbb{R}^n,n^l)\) is defined by the (quasi-)norm \[ \|\omega\|:= \sum_I \|\omega_I\|_{H^p(\mathbb{R}^n)}. \] Let further \(\text{BMO}_d(\mathbb{R}^n,n^l)\) be the space of such forms with the \(H^p(\mathbb{R}^n)\)-norm replaced by \[ \| f\|_{\text{BMO}(\mathbb{R}^n)}:= \sup_{|B|\leq 1} {1\over |B|}\int_B |f- f_B|\,dx+ \sup_{|B|\leq 1} {1\over |B|} \int_B|f|\,dx, \] where \(B\) runs over all balls of \(\mathbb{R}^n\) and \(f_B\) stands for the integral mean of \(f\) on \(B\). The main result asserts: Let \(\omega\in H^1_d(\mathbb{R}^n, \Lambda^l)\) and let \(\widetilde\omega\in \text{BMO}_d(\mathbb{R}^n,\Lambda^{n-l})\). Then the wedge-product \(\omega\wedge\widetilde\omega\) regarded as a function belongs to the Hardy space over the Orlicz space \(L^N(\mu dx)\), where \(N(t):= {t\over\log(t+ l)}\), \(t> 0\), and \(\mu(x):= (\log(\| x\|+l))^{-1}\). Moreover, the norm of \(\omega\wedge\widetilde\omega\) in this space is bounded by \[ C\|\omega\|_{H^1_d(\mathbb{R}^n; \Lambda^l)}\|\widetilde\omega\|_{\text{BMO}_d(\mathbb{R}^n, \Lambda^l)} \] with \(C> 0\) independent of \(\omega\), \(\widetilde\omega\).