A refinement for rational functions of Pólya's method to construct Voronoi diagrams (Q2400657)

The authors prove the following result. Theorem. Let \(Q = R/P\) be a given rational function with \(P\) of degree \(d\) at least 2 and distinct zeroes \(z_1, \ldots, z_d\). Then (i) The zero-counting measures \(\mu_n\) of \(\left\{Q_n = Q^{(n)}\right\}_{n=1}^{\infty}\) converge to a probability measure \(\mu_S\); (ii) The logarithmic potential \(L_{\mu_n}(z)\) of \(\mu_n\) converges in \(L_{\mathrm{loc}}^1\) to the logarithmic potential of \(\mu_S\) which is equal to \[ \Psi(z) := (d - 1)^{-1} \left(\log |\tilde{P}| + \max\limits_{i=1,\ldots,d} \{\log |z - z_i|^{-1}\}\right), \] where \(\tilde{P}(z) = \prod_{i=1}^{d} (z - z_i)\). A similar result is obtained for rational function of several variables.