Dimension-free Markov--Bernstein inequalities for product measures

Abstract

For even integer exponents $p$, we obtain dimension-free Markov--Bernstein inequalities for polynomials with respect to product probability measures $μ=μ_1\otimes\cdots\otimesμ_n$. When the measures $μ_j$ have unimodal densities, we prove \[ \|\nabla f\|_{L^p(μ)} \le C(p) d^2 \|f\|_{L^p(μ)} \] for polynomials $f$ of degree at most $d$. The dependence on $d$ is optimal already for the uniform distribution on the unit cube. For products of one-dimensional Freud measures with densities proportional to $e^{-|t|^{2m}}$, the factor $d^2$ can be replaced by $d^{1-\frac{1}{2m}}$. In the Gaussian case, for all $p\ge4$, we prove that \[ \|\nabla f\|_{L^p(γ^n)} \le C(p)d^{\frac12+θ_p}\|f\|_{L^p(γ^n)} \] for every polynomial $f$ of degree at most $d$, where $θ_p\le \frac{2}{3p}$ and $θ_p=0$ whenever $p$ is an even integer. Thus, in the even-integer case, we establish the sharp dependence on the degree conjectured by Eskenazis--Ivanisvili. For general $p\ge4$, the estimate improves upon their dimension-free inequality.