Riesz external field problems on the hypersphere and optimal point separation

We consider the minimal energy problem on the unit sphere $\mathbb{S}^d$ in the Euclidean space $\mathbb{R}^{d+1}$ in the presence of an external field $Q$, where the energy arises from the Riesz potential $1/r^s$ (where $r$ is the Euclidean distance and $s$ is the Riesz parameter) or the logarithmic potential $\log(1/r)$. Characterization theorems of Frostman-type for the associated extremal measure, previously obtained by the last two authors, are extended to the range $d-2 \leq s < d - 1.$ The proof uses a maximum principle for measures supported on $\mathbb{S}^d$. When $Q$ is the Riesz $s$-potential of a signed measure and $d-2 \leq s <d$, our results lead to explicit point-separation estimates for $(Q,s)$-Fekete points, which are $n$-point configurations minimizing the Riesz $s$-energy on $\mathbb{S}^d$ with external field $Q$. In the hyper-singular case $s > d$, the short-range pair-interaction enforces well-separation even in the presence of more general external fields. As a further application, we determine the extremal and signed equilibria when the external field is due to a negative point charge outside a positively charged isolated sphere. Moreover, we provide a rigorous analysis of the three point external field problem and numerical results for the four point problem.Comment: 35 pages, 4 figure

An Electrostatics Problem on the Sphere Arising from a Nearby Point Charge

For a positively charged insulated d-dimensional sphere we investigate how the distribution of this charge is affected by proximity to a nearby positive or negative point charge when the system is governed by a Riesz s-potential 1/r^s, s>0, where r denotes Euclidean distance between point charges. Of particular interest are those distances from the point charge to the sphere for which the equilibrium charge distribution is no longer supported on the whole of the sphere (i.e. spherical caps of negative charge appear). Arising from this problem attributed to A. A. Gonchar are sequences of polynomials of a complex variable that have some fascinating properties regarding their zeros.Comment: 44 pages, 9 figure