\(L^p\)-norms and Mahler's measure of polynomials on the \(n\)-dimensional torus (Q530577)

Let \(P\) be a polynomial on \({\mathbb C}^n\), \(M(P)\) its Mahler's measure, and \(\|P\|_{L^p({\mathbb T}^n)}\) its norm on the \(n\)-torus \({\mathbb T}^n\). The authors prove that for \(0<p<q<\infty\), with the constant \(C:=\sqrt{q/p}\), the inequality \(\|P\|_{L^q({\mathbb T}^n)} \leq C^{\deg P} \|P\|_{L^p({\mathbb T}^n)}\) holds and the constant \(C\) is best possible. Then, the inequality \(\|P\|_{L^p({\mathbb T}^n)} \leq K M(P)\) is obtained with the best possible constant \(K\). This generalizes a corresponding result of \textit{V.~V.~Arestov} [Mat. Zametki 27, 539--547 (1980; Zbl 0468.42001)] for polynomials in one variable. Finally, the following multidimensional analogue of Mahler's inequality \(M(P+Q) \leq {2m \choose m}^{n/2} (M(P)+M(Q))\) is derived for polynomials of degree \(m\) in \(n\) variables.