Bernstein-Remez inequality for Nash functions: A complex analytic approach
Consider an open, bounded set $Ω\subset \mathbb{C}$, a positive integer $k$ and a compact $\mathcal{K}\subset Ω$ of cardinality strictly greater than $k$. We prove that, for any function $f$ which is holomorphic in $\overline Ω$, and whose graph satisfies $S(z,f(z))=0$ for some polynomial $S\in\mathbb{C}[z,w]$ of degree at most $k$ (hence $f$ is an algebraic function), the quantity $\max_{\overlineΩ}|f|/\max_{\mathcal{K}}|f|$ is bounded by a constant that only depends on $k$, $Ω$, $\mathcal{K}$ but not on $f$ (estimates of this kind are called Bernstein-Remez inequalities). This result has been demonstrated by Roytwarf and Yomdin in case $\mathcal{K}$ is a real interval, and later by Yomdin for a discrete set $\mathcal{K}$ of sufficiently high cardinality, by using arguments of real-algebraic and analytic geometry. Here we present and extend a proof due to Nekhoroshev on the existence of a uniform Bernstein-Remez inequality for algebraic functions, which relies on classical theorems of complex analysis. Nekhoroshev's work remained unstudied despite its important consequences in Hamiltonian dynamics and is here presented and extended in a self-contained and pedagogical way, while the original reasonings were rather sketchy.