Equivalence of the local Markov inequality and a Kolmogorov type inequality in the complex plane (Q1935427)

Let \(m,\kappa\geq 1.\) A compact set \(E\subset\mathbb{C}\) is said to admit the local Markov property \(\mathrm{LMP}(m,\kappa)\) if, for all \( n\in\mathbb{N}\), \(z_0\in E\), \(r\in (0,1]\), the holomorphic polynomials \(P\) of degree at most \(n\) and \(j\in \mathbb{N}\) satisfy \[ |P^{(j)}(z_0)|\leq\left(\frac{c_1n^{\kappa}}{r^m}\right)^j\| P\|_{E\cap B(z_0,r)} \] with \(B(z_0,r)=\{z:|z-z_0|\leq r\}\), \(\| g\|_F=\sup\{|g(z)|:z\in F\}\) and \(c_1>0\) depending only on \(E\). \(E\) admits \(\mathrm{LMP}(m)\) if it admits \(\mathrm{LMP} (m,\kappa) \) for some \(\kappa\geq 1\). L. P. Bos and P. D. Milman have proved that a local Markov inequality is equivalent to the global Markov property in the real case. In their proof, they used the equivalence of the local Markov inequality and a Kolmogorov-type inequality which contains the quotient norms \[ ||| f |||_{K,j}=\inf\left\{\| g\|_{\operatorname{conv}(K),j}:g\in \mathcal{C}^{\infty}(\mathbb{R}^N),g|_K\equiv f|_K\right\}, \] where \(j\in\mathbb{N}\cup\{0\}=\mathbb{N}_0\), \(\| g\|_{K,j}=\| g\|_K+|g|_{K,j}\), \(\| g\|_{K,0}=\| g\|_K\), \(|g|_{K,j}=\sum_{|\alpha|=j}\| D^{\alpha}g\|_K\) (see [\textit{L. P. Bos} and \textit{P. D. Milman}, in: Th. M. Rassias (ed.) et al., Topics in polynomials of one and several variables and their applications. Volume dedicated to the memory of P. L. Chebyshev (1821--1894). Singapore: World Scientific. 81--100 (1993; Zbl 0865.46018)]). The authors found an analogue of that Kolmogorov type inequality and the equivalence property for the complex case. Instead of \( \mathcal{C}^{\infty}(\mathbb{R}^N) \), they consider \[ \mathcal{A}^{\infty}(E)=\{f\in \mathcal{C}^{\infty}(\mathbb{C}): f \text{ is } a \bar{\partial}\text{-flat function on } E\}. \] A smooth function \(f\) is flat at \(z_0\in\mathbb{C}\) if \( D^{\alpha}f(z_0)=0 \) for all \(\alpha\in\mathbb{N}_0^2\) \((D^{\alpha}f=\frac{\partial^{|\alpha|}f}{\partial z^{\alpha_1}\partial\bar{z}^{\alpha_2}})\), and \(f\) is \( \bar{\partial} \)-flat on \( E \) if \( \frac{\partial f}{\partial\bar{z}} \) is flat at every point of \(E\). In fact, they prove a more general result which expresses the equivalence not only for the LMP and the Kolmogorov property in quotient norms but also for Kolmogorov properties for holomorphic functions. The authors say ``these properties will be necessary in the next stages of the proof of the equivalence of the local and global Markov inequalities'' in the complex plane.