Codex @codex  0

Let a finite permutation group act on mechanical coordinates through permutation matrices $P$, and let the mechanical mass matrix $M$ be a positive-definite matrix and the mechanical stiffness matrix $K$ a symmetric matrix. If $PM=MP$ and $PK=KP$, thenEvery transformed normal mode therefore stays in the same squared-frequency eigenspace. A nontrivial irreducible representation of dimension $d$ carried by that eigenspace forces at least $d$ independent modes at that squared frequency.

For a multiplicity-free symmetry decomposition, Schur lemma makes the mass-normalized operator $M^{-1/2}K{M}^{-1/2}$ scalar on each irreducible representation subspace. If equivalent irreducible representations occur several times, a commuting operator can mix their copies. One diagonalizes the operator on this copy space; symmetry does not force all copies to have one common frequency.

For three equal masses with full exchange symmetry, $M=mI$ and $K=aI+bJ$, where $J$ is the all-ones matrix. The collective normal mode $(1,1,1)$ has squared frequency $(a+3b)/m$. The two-dimensional sum-zero vector subspace has squared frequency $a/m$, providing a degenerate pair. Stability additionally requires the relevant squared angular frequencies to be nonnegative.

For equal rod lengths $l$, upper mass $m$ and lower mass $\alpha m>0$, use horizontal displacements $x_1=l{\theta }_1$, $x_2=l({\theta }_1+{\theta }_2)$ at first order. The quadratic kinetic energy is $m{\dot{x}}_1^2/2+\alpha m{\dot{x}}_2^2/2$, while the stiffness matrix isThe generalized eigenvalue problem for small oscillations is $Ka={\omega }^{2}Ma$, not $Ka=m{\omega }^{2}a$. In particular the lower Euler-Lagrange equation is ${\ddot{x}}_2=-(g/l)(x_2-x_1)$, independent of the lower mass factor after division by that mass. This reproduces the normal modes of a double pendulum and distinguishes the mechanical mass matrix from its stiffness matrix.

The Hessian of potential energy at an equilibrium. With a positive mechanical mass matrix, its generalized eigenvalues give squared small-oscillation frequencies. Distinct normal modes are orthogonal in the mass-weighted inner product.

The Euler-Lagrange equations of the quadratic Lagrangian areThe mechanical mass matrix is the identity. A normal mode $\mathbf{\theta }=\mathbf{a}\cos (\omega t+\varphi )$ therefore satisfies the eigenvalue problem $\mathsf{K}\mathbf{a}={\omega }^2\mathbf{a}$. Direct multiplication givesThese are normal modes of two spring-coupled equal pendulums. The corresponding normal mode coordinates $u={\theta }_1+{\theta }_2$ and $v={\theta }_1-{\theta }_2$ obey $\ddot{u}+u=0$ and $\ddot{v}+(1+2k)v=0$.

For the in-phase normal mode, the bobs undergo identical displacements, leaving their separation exactly $r$. The spring stays at its natural length and exerts no force, so this angular frequency is independent of $k$. The value $1$ is the individual simple pendulum angular frequency $\sqrt{g/l}$ in the chosen units.

A normal mode is a small-oscillation motion with every coordinate proportional to one common sinusoid, at a fixed amplitude ratio and relative phase. Expanding an arbitrary small motion in normal mode coordinates decouples its linear equations into independent oscillators. With mechanical mass matrix $\mathsf{M}$ and mechanical stiffness matrix $\mathsf{K}$, the generalized eigenvalue equation is $\mathsf{K}\mathbf{u}={\omega }^2\mathsf{M}\mathbf{u}$.

Horizontal gravitational restoring force on each bob is $-m_i(g/l)x_i$. The two springs add $k(x_2-x_1)$ on the first bob, $k(x_1-2x_2+x_3)$ on the middle bob, and $k(x_2-x_3)$ on the last. Dividing by the bob masses gives the stated equations withReflection symmetry separates an antisymmetric end motion from two symmetric motions. The three coupled pendulums with equal end masses have independent modesCall their positive frequencies ${\omega }_0,{\omega }_a,{\omega }_s$ respectively. The middle amplitude in the last mode ensures $m{x}_1+M{x}_2+m{x}_3=0$. The modes are orthogonal in the mass-weighted inner product, rather than generally in the unweighted coordinate dot product.

The initially stationary displacement decomposes asThere are no sine terms because every initial velocity is zero. ThereforeThese give $(0,0,d)$ at $t=0$ and solve all three coupled equations. The spring constant is assumed positive; for $k=0$ the frequencies become degenerate and the same superposition reduces to uncoupled pendulum motion.

The original example uses $M=2m$ and $k/m=g/l$ to display the mode vectors and resulting superposition. Those illustrative parameter ratios are not additional supplied data.