Multipliers in Hardy-Sobolev spaces (Q2501059)

Let \(1\leq p<\infty\) and \(s\in{\mathbb R}\), let \(H^p\) denote the Hardy space of holomorphic functions in the unit ball of \(\mathbb C^n\) and \(H^p_s\) the Hardy-Sobolev space of holomorphic functions such that \((I+R)^sf\in H^p\) where \(R\) is the radial derivative \(R=\sum_{j=1}^nz_j\frac{\partial }{\partial z_j}\). The space of pointwise multipliers \({\mathcal M}(H^p_s)\) is well-known for the case \(p=1\) and \(s\leq 0\) or \(s\geq n\) and also for the case \(1<p<\infty\) and \(s\leq 0\) or \(s>n/p\). The authors show that, for \(1<p<\infty\) and \(0\leq n-sp<1\), for a given function \(g\), the operator \(M_g(f)= g f\) maps continuously \(H^p_s\) into itself if and only if \(g\) is holomorphic and the multiplication operator \(M_g\) extends to a bounded operator from \(T^{p,2}_{s,m}\) to \(T^{p,2}_{s,k}\) for some values of \(m\) and \(k\) where the spaces \(T^{p,2}_{s,m}\) are defined using the norm in the tent spaces \(T^{p,2}\) of the function and several compositions between its complex and tangent complex gradients. Although the spaces become rather technical, they are also useful to characterize those Carleson measures \(\mu\) such that \(H^p_s\) embeds into \(T^{p,2}(\mu)\). It is shown, in the case \(0\leq n-sp<1\), this happens if and only if also the space \(T^{p,2}_{s,m}\) embeds into \(T^{p,2}(\mu)\) for any value \(m\geq 2n +2[s]+2\). Finally they use their previous results to solve a corona type problem for Hardy-Sobolev spaces, by proving that if \(1<p<\infty\) and either \(n-sp<1\) or \(s\leq 0\) then the multiplication operator given by a pair \((g_1,g_2)\) of functions \(M_{(g_1,g_2)}(f_1,f_2)=f_1g_1+f_2g_2\) is onto from \(H^{p}_s\times H^{p}_s \to H^{p}_s\) if and only if \(g_1, g_2\in {\mathcal M}(H^p_s)\) and \(\inf_{z\in B} \{| g_1(z)| ^2+| g_2| ^2\}>0\).