3
$\begingroup$

So it states in Guillemin and Pollack:

Let $x_1, \ldots x_4$ be points in general position $R^3$ (that is they all don't lie in a plane.) Let $q_1, \ldots, q_4$ be electric charges placed at these points. The potential function of the resulting electric field is: $$V_q = \frac{q_1}{r_1} + \ldots + \frac{q_4}{r_4}$$ where $r_i = |x - x_i|$. The critical points of $V_q$ are called the equilibrium points of the electric field, and an equilibrium point is non-degenerate if the critical point is. Prove that for "almost every" $q$ the equilibrium points of $V_q$ are non-degenerate and finite in number.

They provide the hint to show that "the map: $R^3 - \{x_1, x_2, x_3, x_4\} \to R^4$ with coordinates $r_1$, $r_2$, $r_3$, r_4". I am somewhat sure that this means:

\begin{align} r_1 &= \frac{q_1}{|x - x_1|} \\ r_2 &= \frac{q_2}{|x - x_2|} \\ r_3 &= \frac{q_3}{|x - x_3|} \\ r_4 &= \frac{q_4}{|x - x_4|} \end{align}

Calculating $dV(q)_x$ gives (let $b(x,y,z) = (x-x_1)^2 + (y-x_2)^2 + (z-z_2)^2$):

$$ \begin{bmatrix} q_1(x_1 - x) & q_1(x_1 - y) & q_1(x_1 - z) \\ q_2(x_2 - x) & q_2(x_2 - y) & q_2(x_3 - z) \\ q_3(x_3 - x) & q_3(x_3 - y) & q_3(x_3 - z) \\ q_4(x_4 - x) & q_4(x_4 - y) & q_4(x_4 - z) \end{bmatrix} b(x,y,z)^{-3/2} $$

The matrix is non-zero everywhere (well, on the weird domain) so $dV(q)_x$ must be injective and therefore the map is an immersion. They then say to use Exercise 21, the results of which is:

Let $\phi : X \to R^N$ be an immersion. Then for almost every $a_1, \ldots a_N$, $a_1\phi_1 + \ldots + a_N\phi_N$ is a Morse function.

Using this result we see that $V_q$ is an immersion so almost every point must be $q$ that is in the equilibrium must also be non-degenerate as a property of Morse functions. Any hints, or reasons why is it finite?

$\endgroup$

1 Answer 1

1
$\begingroup$

I'm going to take a stab (there might still be a problem, if there is please leave a comment and I will try to amend it.)

I was given a hint. Imagine these points are in an infinitely large sphere. For a sufficiently large "zoom out" away from the four points, the charge becomes virtually identical to 1 charge. Clearly, 1 charge is never stable, so we need only consider a "large enough" sphere. Now our parent manifold is compact. Which is great.

The non-degenerate critical points are isolated, combine this with the fact that we are dealing ourselves with a compact set, we can only have finite number of critical points, otherwise such a sequence of points we could choose points infinitely close so that they are not isolated.

Therefore, there cannot exist an infinite number, only a finite.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .