Laplaces equation is:
The statement of the theorem goes: A scalar field
obeying the Laplace equation does not have any local maxima or minima;
all its stationary points are saddle points. So, it is impossible
to keep a charged particle or body in stable static equilibrium by
means of electrostatic forces alone. How to distinguish between minimum,
maximum or saddle point? Use the matrix of second derivatives:
This has to be evaluated at the stationary point (first derivative
zero). Being a symmetric matrix we have three real eigenvalues
,
and
. If all of them are positive, we have a minimum.
If all are negative, we have a maximum. If there is a mixture of signs,
we have a saddle point. Now the laplacian is just the sum of the diagonal
elements of the matrix:
Since trace does not change due to similarity transformations, after
diagonalisation the sum of the eigenvalues will be equal to the trace.
Now this zero sum rules out all three eigenvalues being positive or
negative at the same time. So there cannot be maximum or minimum anywhere.
In the special case where the matrix is zero, all three eigenvalues
vanish. In that case the distinction between maximum, minimum and
saddle point follows from higher derivatives. They form a tensor which
has highly restricted form due to the requirement of Laplace's equation
being satisfied. There also, the same result holds.
Stirling Engine
2020-01-02