No label defined (Q4032430)

Let \(U^ n\) be the unit polydisc and \(T^ n\) the torus and \(\rho\) a positive \(\sigma\) finite measure with \(\rho(T^ n)=1\). For \(0<p<\infty\), let \(H^ p\) consist of the class of all complex valued functions \(f\) holomorphic in the unit polydisc \(U^ n\) for which \[ \| f\|_ p=\sup_{0<r<1}M_ p(r,f)<\infty\text{ where } M_ p(r,f)=\left(\int_{T^ n}| f(rs)|^ pd\rho(s)\right)^{1/p}. \] If \(f,g\) are holomorphic in \(U^ n\), \(f*g\) is defined by \[ (f*g)(r^ 2z)=\int_{T^ n}f(rs)g(rz\overline s)d\rho(s)\;(z\in U^ n). \] The authors prove that for \(1\leq p\leq s\leq q\), \(f\in H^ p\), \(g\in H^ q\) \[ \| f*g\|_ s\leq\| f\|_ p\| g\|_ q. \] Further it is also proved that if \[ \tilde H^ p=\{\tilde f(z)=f(z)+te(z),\;f\in H^ p,\;t\in\mathbb{C}\} \] where \(e(z)=\sum_ \beta z^ \beta\) then \(\tilde H^ p\) is a commutative Banach algebra with unit element \(e\) and \(H^ p\) is a maximal ideal there.