Consider some number of charged particles on a closed interval, each with possibly different amounts of charge. Assuming some kind of 'friction' to dampen their motion, they will eventually find a stationary equilibrium, where the repelling force from all the other charges is balanced (except in the case of the particles on the end points, which are also acted on by the 'walls'). It seems intuitively clear that this equilibrium depends only on the final ordering of the particles, but how does one show this? What is it about the interaction potential $\frac{q\_aq\_b}{d}$ that makes this this solution unique?


I actually care about a slightly more complicated situation, which the previous example was meant to be a simplification of. Consider some number of charged particles on the unit circle in $\mathbb{R}^2$, each with possibly different amounts of charge. However, the force between them behaves a little weird:


* The repelling force between two particles is not constrained to the unit circle, it cuts across the circle along a chord and tries to push the particle along the straight-line connecting the two points. However, because the particles are constrained to the circle, the effective force is the projection of this vector to the tangent space to the circle.
* The repelling force is proportional to the inverse of the distance between two particles (along the chord), not the inverse squared. Therefore, the potential is of the form $q\_aq\_b\ln(d)$.


It is then not hard to show the force exerted on particle $b$ by particle $a$ is proportional to $\cot\left(\frac{\theta\_b-\theta\_a}{2}\right)$, and the potential is proportional to $\ln\left(\sin\left(\frac{\theta\_b-\theta\_a}{2}\right)\right)$.


Again, it seems intuitively clear that, for a fixed cyclic ordering of the particles, there should be a unique equilibrium solution with all forces balanced (modulo rotation of the entire picture). However, how would one show this?


It seems like there should be well known tricks for how to do this, but I don't know much about this kind of stuff.



Uniqueness of Force Balancing Solutions
Monotonicity is too weak a thing for uniqueness, but strict convexity is enough. If $U(X)$ is your potential on the configuration $X$ and you know that $U(tX+(1-t)Y)<tU(X)+(1-t)U(Y)$ for $0<t<1$ and $X\ne Y$, then there exists a unique stationary point, which is the global minimum. Note that $1/x$ is strictly convex on $x>0$ and so is -$\log \sin x$ on $(0,\pi)$, so this trick takes care of both your questions.


