Bernstein-Remez inequality for Nash functions: A complex analytic approach

arXiv2207.13922MaRDI QIDQ6406323FDOQ6406323

Authors: Santiago Barbieri, Laurent Niederman 

Publication date: 28 July 2022

Abstract: Consider an open, bounded set $OmegasubsetmathbbC$, a positive integer $k$ and a compact $mathcalKsubsetOmega$ of cardinality strictly greater than $k$. We prove that, for any function $f$ which is holomorphic in $overlineOmega$, and whose graph satisfies $S(z,f(z))=0$ for some polynomial $SinmathbbC[z,w]$ of degree at most $k$ (hence $f$ is an algebraic function), the quantity $ma{x}_{overlineOmega}|f|/ma{x}_{mathcalK}|f|$ is bounded by a constant that only depends on $k$, $Omega$, $mathcalK$ but not on $f$ (estimates of this kind are called Bernstein-Remez inequalities). This result has been demonstrated by Roytwarf and Yomdin in case $mathcalK$ is a real interval, and later by Yomdin for a discrete set $mathcalK$ 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.

This page was built for publication: Bernstein-Remez inequality for Nash functions: A complex analytic approach

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