New results on the equilibrium measure for logarithmic potentials in the presence of an external field

In this paper we use techniques from the theory of ODEs and also from inverse scattering theory to obtain a variety of results on the regularity and support properties of the equilibrium measure for logarithmic potentials on the finite interval [-1, 1], in the presence of an external field V. In particular, we show that if V is C-2, then the equilibrium measure is absolutely continuous with respect to Lebesgue measure, with a density which is Holder-1/2 on (-1, 1), and with at worst a square root singularity at tl. Moreover, if V is real analytic then the support of the equilibrium measure consists of a finite number of intervals. In the cases where V = tx(m), m = 1, 2, 3, or 4, the equilibrium measure is computed explicitly for all t is an element of R. For these cases the support of the equilibrium measure consists of 1, 2, or 3 intervals, depending on t and m. We also present detailed results for the general monomial case V = tx(m), for all m is an element of N. The regularity results for the equilibrium measure are obtained by careful analysis of the Fekete points associated to the weight e(MV(x)) dx. The results on the support of the: equilibrium measure are obtained using two different approaches: (i) an explicit formula of the kind derived by physicists for mean-field theory calculations: (ii) detailed perturbation theoretic results of the kind that are needed to analyze the zero dispersion limit of the Korteweg-de Vries equation in Lax-Levermore theory. The implications of the above results for a variety of related problems in approximation theory and the theory of orthogonal polynomials are also discussed. (C) 1998 Academic Press.