Potential and discrepancy estimates for weighted extremal points (Q1584548)

Given a simply connected domain \(X\subset \mathbb{C}\), a compact Jordan arc (or curve) \(L\subset X\), and a Hölder continuous function \(f\) on \(L\), let \(\mu_f\) be the corresponding equilibrium measure on \(L\), i.e., the one minimizing the energy functional \[ I_f(\mu)= \iint k(x,y) d\mu(x) d\mu(y)- 2\int f d\mu \] over all unit Borel measures \(\mu\) on \(L\). Here \(k(x,y)\) is the Green function on \(X\) or, if \(X= \mathbb{C}\), \(k(x,y)= \log|x-y|^{-1}\). The authors consider the problem of approximation of \(\mu_f\) by discrete measures \(\mu_{F_n}\) (equidistributed at points \(x^{(n)}_1,\dots, x^{(n)}_n\)) with minimal discrete energy; in the case \(X= \mathbb{C}\), \(\{x^{(n)}_i\}^n_{i= 1}\) are just the weighted Fekete points. It is known that \(\mu_{F_n}\to \mu_f\) in the weak-\(*\) topology and the potentials \(k_{\mu_{F_n}}\) converge to \(k_{\mu_f}\) locally uniformly on \(X\setminus L\). In this paper, the rate of convergence of the potentials is studied, the key step being a separation property for \(\{x^{(n)}_i\}\). In addition, when \(L\) is quasiconformal, the discrepancy between \(\mu_f\) and \(\mu_{F_n}\) is estimated.