The Thomson problem in $D$ dimensions is stated as
Find a set of $N$ points $r_1,\ldots, r_N$ on a $(D-1)$-sphere that minimizes the electrostatic potential of the configuration, i.e.,
$$\min_{\|r_n\|=1,\ \forall n} \sum_{n\ne m}\frac{1}{\left\|r_n-r_m\right\|}$$
The problem is open, and for $D\ge 3$, global minima are known only for very few specific values of the number of points $N$.
For $D=2$ dimensions (points on a circumference), intuition strongly suggests that the global minimum is achieved by the vertices of the regular $N$-gon, i.e.,
$$r_n=\left(\cos \frac{2\pi n}{N}, \sin \frac{2\pi n}{N}\right)$$
However, even for this seemingly simple case I have not been able to formally prove that this is a global minimum. It is clearly a local minimum (the gradient is $0$), and I cannot think of any other configurations that make the gradient $0$, but "I cannot think" is not a proof.
Has this been proved and is there a good reference for this? Or can someone come up with a proof?
Best Answer
The 2D Thomson problem has been solved by Harvey Cohn in 1960 using the then recent Morse theory. For equal charges the only stable solution is indeed the regular polygon. In the introduction to Global Equilibrium Theory of Charges on a Circle he writes the following: