Degenerate normal modes from permutation symmetry Created 2026-09-24 Updated 2026-09-24
If the mass and stiffness matrices commute with a permutation representation, each symmetry subspace is invariant under the generalized eigenvalue problem for small oscillations. On an irreducible subspace, Schur lemma forces a commuting operator to be scalar, producing a degenerate normal mode multiplet.
The kinetic energy of the three unit masses is . Expanding the potential gives
Thus the small-oscillation mass and stiffness matrices are
where is the all-ones matrix.
The vector is an eigenvector of the stiffness matrix with eigenvalue . Every vector orthogonal to it has coordinate sum zero and is an eigenvector with eigenvalue . Since , the generalized eigenvalue problem for small oscillations gives equal to these eigenvalues. One orthonormal choice of normal modes is
The last two may be replaced by any orthonormal basis of the sum-zero plane because the frequency is degenerate. Hence the normal frequencies are .
The Euler--Lagrange equations for the quadratic Lagrangian are
For a normal mode , they become the generalized eigenvalue problem for small oscillations
Put . With the stated spring constants,
The final matrix has characteristic polynomial
so its eigenvalue are . Hence
The two angular frequencies therefore satisfy
This is the spectrum recorded by normal modes of two equal masses between three springs.
Taking downward distance as positive, the Lagrangian is
At equilibrium the lower spring supports only the lower mass, while the upper spring supports both masses:
Hence
Let . The linear terms cancel by the equilibrium equations, and the quadratic Lagrangian is
with the small-oscillation mass and stiffness matrices
The generalized eigenvalue problem for small oscillations is
Its characteristic equation is
so
Corresponding displacement eigenvectors are
They are not orthogonal in the ordinary Euclidean inner product. They are orthogonal in the kinetic-energy, or mass-matrix, inner product:
This is mass-matrix orthogonality of normal modes.