Existence Criterion for Estimates of Derivatives of Rational Functions

Suppose that K is a compact set in the open complex plane. In this paper, we prove an existence criterion for an estimate of Markov-Bernstein type for derivatives of a rational function R(z) at any fixed point z ₀ ∈ K. We prove that, for a fixed integer s, the estimate of the form |R ^(s) (z ₀)| ≤ C(K, z ₀, s)n‖R‖ _C(K), where R is an arbitrary rational function of degree n without poles on K and C is a bounded function depending on three arguments K, z ₀, and s, holds if and only if the supremum $$omega (K,z_0 ,s) = sup left{ {frac{{operatorname{dist} (z,K)}}{{left| {z - z_0 } right|^{s + 1} }}} right}$$ over z in the complement of K is finite. Under this assumption, C is less than or equal to const ·s!ω(K, z ₀, s).