scientific article; zbMATH DE number 1305306

From MaRDI portal
Publication:4252175





Mahler's measure of a complex polynomial \(f(x_1,\dots,x_n)\) is defined by \[ M(f)=\exp\int_{I^n}\log\biggl(|f(\exp(2\pi it_1),\dots,f(\exp(2\pi it_n)|)\biggr) dt_1\cdots dt_n, \] \(I\) being the interval \([0,1)\). For \(0<p\leq\infty\) the author defines Szegő's \(p\)-measure of \(f\) by \[ S_p(f)=\inf_{g, g(0)=1}\|fg\|_p, \] with \(\|\cdot\|_p\) being the \(L_p\)-norm. A theorem of \textit{G. Szegő} [Math. Ann. 76, 490-503 (1915; JFM 45.0518.02)] asserts that in the case \(n=1\) one has \(M(f)=S_2(f)\). The author gives first an example to show that already for \(n=2\) one may have \(M(f)<S_2(f)\) and then proves the following generalization of Szegő's theorem to several variables (Theorem 1): If \(E(f)\) denotes the absolute value of the lexicographically first non-zero coefficient of \(f\) and \(0<p\leq\infty\) then \[ M(f)=\inf_{E(g)=1}\|fg\|_p. \] Theorem 2 gives a necessary and sufficient condition (in terms of Fourier coefficients of \(f\)) for the equality \(M(f)=S_p(f)\) to hold. Finally a sufficient condition for this equality is given in terms of zeros of \(f\) and it is conjectured that this condition is also necess. For the entire collection see [Zbl 0911.00025].











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4252175)