[Paper Review] An equilibrium problem on the sphere with two equal charges

Juan G. Criado del Rey, Arno B. J. Kuijlaars|arXiv (Cornell University)|Jul 10, 2019

Stochastic processes and statistical mechanics19 references4 citations

TL;DR

This paper studies the equilibrium measure on the 2-sphere under the influence of two equal point charges, proving that for large charge strengths, the droplet (support of the equilibrium measure) becomes simply connected and its boundary maps to an ellipse under stereographic projection. A mother body for the droplet is explicitly constructed via a related equilibrium problem on the real line.

ABSTRACT

We study the equilibrium measure on the two dimensional sphere in the presence of an external field generated by two equal point charges. The support of the equilibrium measure is known as the droplet. Brauchart et al. showed that the complement of the droplet consists of two spherical caps when the charges are small. When the charges are bigger the droplet becomes simply connected and we prove that the boundary of the droplet is mapped by stereographic projection to an ellipse in the plane. Moreover, we compute a mother body for the droplet that we derive from an equilibrium problem with a weakly admissible external field on the real line.

Motivation & Objective

• To determine the equilibrium measure on the 2-sphere under the influence of two equal point charges.
• To analyze the topological structure of the droplet (support of the equilibrium measure) as the charge strength increases.
• To establish a geometric characterization of the droplet boundary via stereographic projection.
• To construct a mother body for the droplet using a related equilibrium problem on the real line.
• To extend previous results on small-charge regimes (disjoint spherical caps) to the large-charge, overlapping regime.

Proposed method

• Uses the logarithmic energy minimization framework on the 2-sphere with an external field generated by two equal point charges.
• Applies variational conditions (Frostman-type) to characterize the equilibrium measure as constant density on its support (the droplet).
• Employs stereographic projection to map the droplet boundary on the sphere to a curve in the complex plane.
• Shows that for large charge strength, the projected boundary becomes an ellipse by relating the problem to a 1D equilibrium problem with a weakly admissible external field.
• Derives a mother body for the droplet by connecting the 3D spherical problem to a 1D balayage problem on the real line.
• Uses potential-theoretic techniques, including superharmonic functions and the minimum principle, to prove inequalities involving logarithmic potentials.

Experimental results

Research questions

• RQ1 How does the topology of the droplet change as the charge strength increases from small to large values?
• RQ2 What geometric shape does the boundary of the droplet take under stereographic projection when the charges are large?
• RQ3 Can a mother body for the droplet be explicitly constructed from a related 1D equilibrium problem?
• RQ4 Under what conditions does the droplet remain simply connected rather than consisting of multiple disjoint components?
• RQ5 How does the equilibrium measure behave when the spherical caps corresponding to the point charges begin to overlap?

Key findings

• For large charge strength, the droplet becomes simply connected, in contrast to the small-charge regime where it is the complement of two disjoint spherical caps.
• The boundary of the droplet maps to an ellipse in the complex plane under stereographic projection.
• A mother body for the droplet is derived from an equilibrium problem with a weakly admissible external field on the real line.
• The equilibrium measure has constant density with respect to surface measure on the droplet, and the droplet's area is given by $ \lambda(D) = \frac{1}{1 + 2a} $, where $ a $ is the charge strength.
• The logarithmic potential of the equilibrium measure satisfies a specific inequality that ensures the variational conditions are met, proven via superharmonicity and the minimum principle.
• The construction relies on a continuous deformation of the droplet from a limiting strip shape to the final droplet, with the potential behavior analyzed through integration over time.