Write . Since , the total torque simplifies to
Taking the dot product of the equation of motion with gives : both torque terms are perpendicular to , as are the other terms on the left. Hence
Taking the dot product of with the fixed vector gives
These are conservation of the axial spin and of the vertical component of angular momentum.
For energy, the kinetic energy and potential energy are
Dot the equation of motion, with , with . The cross product identity gives
It follows that
so
The applied force is conservative even if is negative: its potential energy is . This is a symmetric top with a quadratic alignment potential.
Put . The spring exerts the force by Hooke's law, while Coulomb's law gives the attractive force . Newton's second law therefore gives the equation of motion
For , the derivative is . Thus increases up to and decreases thereafter. Also at both ends of the positive half-axis. Its unique maximum is
There are therefore two equilibrium points precisely when
Writing them , the linearization has exponentially growing solutions at and oscillatory solutions at . Equivalently, the potential energy has a strict local maximum at and a strict local minimum at . Hence the smaller equilibrium point is an unstable equilibrium; the larger is a stable equilibrium, with no damping to make it attracting.
At equality there is one degenerate equilibrium point ; it is unstable, since a displacement to its left gives a leftward force. For there are no equilibrium points.
The oscillatory numerator has amplitude . Therefore the reciprocal radius stays bounded away from zero exactly when
In this case the radial bounds are
For completeness, the potential energy per unit mass is , and conservation of mechanical energy gives
This effective potential diverges positively at zero, has one minimum at , and tends to zero from below at infinity. Since the initial radial velocity is negative, the particle first reaches an inner turning point. If , the subsequent outward motion has no finite outer turning point and escapes. At equality the escape speed tends to zero, but the radius is still unbounded; infinity is approached only as time tends to infinity. Hence
The minimum of permits a circular orbit for other initial data, but the nonzero initial radial velocity here excludes that exceptional solution.
Each component depends only on its own coordinate, so all cross partial derivatives vanish. Therefore the curl is
This also follows from the identity that the curl of a gradient vanishes for a twice continuously differentiable potential energy.
Differentiate the sum of kinetic energy and potential energy using the dot product product rule:
The equations of motion make the bracket zero. Hence the mechanical energy is constant in time. The central restoring force can exchange kinetic and potential energy but supplies no change in their sum.
General definitions. The Euler-Lagrange equation gives . Write and . A normal mode has fixed displacement pattern and common time factor, ; its normal frequency satisfies
Here is angular frequency. A normal coordinate is the coefficient of one pattern in a complete modal expansion, so these coordinates decouple the equations. Since is positive definite, the change turns the mode equation into the ordinary symmetric eigenvalue problem for .
Three-mass equations. Let be horizontal displacements from the unstretched equilibrium, ordered left to right. The kinetic energy and potential energy are
Differentiating the potential energy gives
Thus and
Frequencies and patterns. Put . Expansion of the generalized eigenvalue problem for small oscillations gives
Solving at each root gives
The zero normal mode is uniform translation. In the lower nonzero mode, the central mass stays fixed, the two end masses move oppositely, and their unequal displacements balance both the end-mass momenta and the forces on the central mass. In the upper mode the end masses move together and the centre oppositely. Both vibrating modes leave the centre of mass fixed.
Orthogonality. Because is symmetric, two mode equations imply
Distinct eigenvalues therefore give the mass-matrix orthogonality of normal modes:
The Euclidean dot product need not vanish for unequal masses; for example , while . The modal squared norms are .
Figure 1.
The three normal modes of the unequal free mass chain
. Masses from left to right are m, 2m and 3m, joined by springs k and 3k. Arrow lengths show the modal amplitude ratios (1,1,1), (-3,0,1), and (1,-2,1). Details.
Normal coordinates. Expand . Project using the mass-weighted inner product and divide by each modal norm to obtain
For example, the inverse equations are , , . They reduce the energies to
and hence
The first coordinate is the centre of mass and has free linear motion. Multiplying by respectively gives mass-normalized normal coordinates if desired.
Use the equilibrium coordinates specified in the paper; their distances from the origin are one and their mutual separation is . Let be the small displacements. Each initially unstretched spring has, to first order, extension equal to the relative displacement projected along its original bond. Choose the three oriented extensions
The kinetic energy is exact in these displacement coordinates, while the potential energy needed for small oscillations is its quadratic part:
The factor in the equilibrium bond length cancels when forming the unit bond directions. Applying the Euler-Lagrange equation, or differentiating for the force on each mass, gives
The total force vanishes componentwise, as expected for three masses coupled only by internal spring forces.
A normal mode has all coordinates following one fixed displacement pattern with a common time factor. Its normal frequency is that factor's oscillation frequency; normal mode coordinates are amplitudes in a basis of such patterns, making the linear equations independent. A zero-frequency mode can instead have constant velocity along a symmetry direction.
For the unit circle, each angular displacement equals its corresponding arc displacement. The kinetic energy and change in potential energy are
Any common spring prestress changes only the constant , because the sum of the three arc lengths is fixed. The Euler-Lagrange equations give
These are the normal modes of three beads connected by springs on a circular hoop, with third mass . For , their three mode vectors and squared angular frequencies are
The zero mode rotates the entire configuration without stretching a spring. The antisymmetric mode moves the equal masses oppositely while leaving the third fixed. In the symmetric mode the equal masses move together against the third, with zero total angular momentum. These vectors are orthogonal in the mass inner product with matrix .
Writing gives independent equations , , . In particular , retaining possible slow common rotation. For , the two positive frequencies coincide at ; their two-dimensional space is all patterns with .
Figure 1.
Rigid rotation and the two oscillatory patterns of three spring-coupled beads
. Original illustrations for the example . Arrows are tangent displacements at the equilibrium positions; spring extensions depend on differences of neighboring angular displacements. Details.
With downward position as the vertical coordinate, the full potential energy is
The equilibrium tensions are , and . On expanding, these relations cancel every term linear in the displacements, leaving . Newton's second law therefore gives
For a normal mode , set . The generalized eigenvalue problem is
Its determinant is , so the angular frequencies and mode directions are
The square roots of these positive values give the requested frequencies. Only the lowest mode has all components of the same sign, so all three particles oscillate in phase at the lowest frequency. The mode shapes are shown below.
Figure 1.
The three relative displacement patterns of the unequal-mass chain, from lowest to highest frequency
. Details.
For release from rest with remaining at equilibrium, choose
This excites only the middle-frequency mode, so for all time. It is a stationary middle mass in a three-mass spring chain: the equal and opposite adjacent spring forces cancel on .
The quadratic Lagrangian gives and . Thus the Euler-Lagrange equations are
A nonzero mode vector has a common harmonic time factor and satisfies the generalized eigenvalue problem for small oscillations ; is its normal frequency. A zero-frequency mode instead admits a constant or linear time factor.
Measure the three coordinates as displacements from a configuration with both springs unstretched. The kinetic energy is , and the potential energy is . Expansion gives
For , direct substitution yields the three normal modes:
The three vectors are independent and orthogonal in the mass inner product , so they exhaust the motion. Their squared mass norms are ; division by the corresponding square roots gives normalized modes. This is the unit-spring, unit-outer-mass case of the normal modes of three masses connected by two equal springs.
As , the central displacement in the symmetric oscillatory mode tends to zero and both nonzero frequencies tend to one. The two limiting shapes and span independent motions of the outer masses against an effectively fixed centre; each unit mass has its own unit spring frequency. The translational mode remains at zero frequency. Under a bounded kinetic-energy condition its common velocity tends to zero as , while a static common displacement is still an equilibrium shift. One must specify that energy condition before concluding that an arbitrary freely translating heavy mass remains stationary.
Figure 1.
Mode shapes of a free three-mass chain, including the zero-frequency translation
. Details.
Translate the generalized coordinates so that the equilibrium is at zero. Its potential gradient vanishes, and its quadratic potential energy is , where is the symmetric Hessian matrix. The Euler-Lagrange equations for small motion are
A normal mode has fixed component ratios, , with
The angular frequency is its eigenfrequency. A zero mode instead admits a constant or linear time factor. For modes , symmetry gives
Hence mass-matrix orthogonality of normal modes is
Within a degenerate eigenspace, a basis can be chosen orthogonal in this positive weighted inner product.
For three masses connected pairwise, the exact energies are
A fixed common translation preserves all differences and velocities. A fixed rigid rotation preserves their Euclidean norms. Thus both energies have these symmetries. Here the transformation is fixed in time; a moving reference frame would change the kinetic energy. Every equilateral configuration of side has zero spring extensions, hence zero force and minimum potential, proving that it is an equilibrium.
For the specified displacement coordinates, write
The exact potential is . For an equilibrium edge vector and small perturbation ,
Thus only each first-order extension is needed for the quadratic potential. These extensions, with an immaterial sign choice for the horizontal edge, are
Consequently , with remainder . If , then . Expanding the squares gives
The small-oscillation mass and stiffness matrices are and the displayed . Hence
The two common translations give zero-mode vectors
An infinitesimal counterclockwise rotation sends each equilibrium vertex to , where . Therefore a third zero-mode vector is
Each vector makes all three vanish, so lies in the kernel of a linear map and therefore in the kernel of . The rows of are independent: the and entries first force the coefficients of its last two rows to vanish, then the first coefficient vanishes. Thus , and the rank-nullity theorem proves that these are exactly the three zero modes.
For radial motion take
so that to first order. The force on mass is , since . Newton's equation therefore gives . Equivalently . Hence the breathing normal mode has
All three masses move radially outward together, then inward together, preserving the triangular shape. The remaining two normal modes of an equilateral spring triangle are shear deformations with squared frequency ; together with the breathing mode and three rigid zero modes they account for all six degrees of freedom.
Figure 1.
Two translations, an infinitesimal rotation and the radial breathing mode of the equilateral spring triangle
. Details.
The Lagrangian is , and the Euler-Lagrange equations are
At a rest equilibrium , for all three coordinates. The Taylor expansion therefore starts as
The symmetric Hessian matrix is the matrix of the quadratic potential energy. If a quadratic coefficient vanishes along a direction, higher-order terms can be the first nonconstant terms there; equilibrium by itself does not imply strict stability.
Write . Terms involving the variation of are cubic in small displacements and velocities, so the quadratic small oscillation Lagrangian is
A normal mode has fixed displacement ratios, . Its angular frequency is an eigenfrequency, or normal frequency, and satisfies the generalized eigenvalue problem for small oscillations
Here is positive definite for independent physical coordinates and positive masses. A stable quadratic minimum makes ; a negative value would describe exponential instability rather than oscillation.
For the suspended bar, let and denote the actual incremental spring constants of the upper and each lower spring. The physical displacement of the bar is , while the lower spring extensions change by and . Consequently
The linear gravitational and elastic terms cancel at the loaded equilibrium. Expanding the remaining squares gives the small-oscillation mass and stiffness matrices
Thus
Source convention: the printed matrix is obtained by setting and . Although the PDF prose calls spring constants, that matrix treats them as elastic parameters whose ratios to the stated lengths are the incremental stiffnesses. If they are read literally as Hooke-law spring constants, the divisions by should instead be omitted. The numerical case has , so this discrepancy does not affect its results.
With the numerical parameters, and
Use the exchange symmetry of the lower masses to find the vertical modes of a horizontally constrained suspended bar. The antisymmetric vector obeys , giving . In the symmetric sector put and . The two independent equations are
Their determinant gives , so . Taking , the full set is
In the lowest normal mode, all three masses move in phase, with the lower masses moving about times as far as the bar. In the antisymmetric normal mode, the bar stays still and the lower masses move equally in opposite directions; their changing forces on the bar cancel. In the highest normal mode, the lower masses move together against the bar, with magnitude about of its displacement. Any small motion is a superposition of these three modes.
Figure 1.
Relative vertical displacements in the three normal modes, with the bar constrained to remain horizontal
. Details.
Put , with . Direct integration confirms the normalization:
The kinetic energy and potential energy terms in the dimensionless Rayleigh quotient are
Thus . Differentiating with respect to gives , so the unique minimizing width is . The two energy contributions are equal there, and the compact parabolic trial bound for the quantum harmonic oscillator is
The trial is continuous and zero at , so its weak first derivative is inside and zero outside. The jumps of that derivative do not add delta terms to the first derivative, and its squared norm is finite. The energy-form calculation is therefore valid even though the trial does not belong to the operator domain of the harmonic oscillator. Applying the second-derivative operator naively and omitting its endpoint distributions would be incorrect.
The kinetic energy is . Differentiating the quadratic potential energy gives the equations for small oscillations,
Put and . The eigenvalue problem is . Its characteristic polynomial is
Thus a convenient set of normal modes is
Each shape can be multiplied by an arbitrary sinusoidal time amplitude. In the lowest mode all beads move in phase. In the middle mode the central bead is fixed and the outer beads move oppositely. In the highest mode the two outer beads move together against the centre. These vectors are mutually orthogonal and span the three displacement coordinates.
Figure 1.
The three transverse string modes; the dashed line is equilibrium and bead displacements share one arbitrary scale
. Details.
These are the three-mass case of the normal modes of a uniformly loaded finite string, with discrete sine shapes . The sketches use straight string segments between masses and fixed zero displacements at the walls. The small-slope and constant-tension assumptions justify the quadratic energy and linear equations.
For a zero-natural-length spring, extension is the full distance between its endpoints, so the squared spring lengths are quadratic functions of the Cartesian coordinates. The Lagrangian is
The gravitational potential energy has positive derivative in the upward coordinate, giving downward forces. Applying the Euler-Lagrange equations to all four coordinates gives
The two spring forces are equal and opposite on the two masses for the connecting spring, as required by Newton's third law.
Choose generalized coordinates measured from a static equilibrium point, and assume a conservative system with no velocity-dependent forces. Keeping terms of degree two in displacements and velocities gives the small oscillation Lagrangian
Here is the positive-definite symmetric mass matrix evaluated at equilibrium, and is the symmetric Hessian matrix of the potential energy there. The linear potential term is zero by equilibrium, and an additive constant has been dropped. Coordinate-dependent corrections to the kinetic matrix contribute only at higher order.
The Euler-Lagrange equations are . For a normal mode , they give the generalized eigenvalue problem . A nonzero mode shape exists exactly when
This is a degree- polynomial in . At a stable equilibrium its roots are nonnegative; zero roots correspond to zero modes.
Choose positive so the bob is displaced to the right relative to the cart. Its Cartesian coordinates are
Differentiation gives . Thus the exact kinetic energy and potential energy are
Retain quadratic terms, using in the kinetic cross term and in the potential. The Lagrangian is
Its Euler-Lagrange equations give
The kinetic cross term is essential: acceleration of the support couples the pendulum and cart. These equations define the normal modes of a spring-mounted pendulum cart.
For an ordinary conservative mechanical system, choose generalized coordinates measured from a static equilibrium point. Assume the kinetic energy is quadratic in velocities and there are no velocity-dependent forces. Expanding about equilibrium, the linear term in the potential energy vanishes. Retaining only terms of total degree two gives the small oscillation Lagrangian
An irrelevant constant has been dropped. Coordinate dependence of contributes only terms of third or higher total degree. The matrices are symmetric, is positive definite for independent coordinates, and is positive semidefinite at a stable equilibrium. The Euler-Lagrange equations are
A normal mode has a fixed mode shape and one time factor: . Its angular frequency solves the generalized eigenvalue problem , with . Thus is the normal angular frequency, and the frequency in cycles per unit time is . A zero mode satisfies ; its time dependence is , describing an unopposed displacement or uniform drift rather than a restoring oscillation.
Label the equilibrium vertices in the order , and write their displacements as . Their eighteen Cartesian components are generalized coordinates. Linearize the axial Hookean springs about the unstressed equilibrium. For an edge with unit direction , its first-order extension is , so the quadratic potential energy is
Three zero modes are translations: for each Cartesian unit vector , take at every vertex. Three more are infinitesimal rotations . Explicitly, in the stated vertex order, their displacement vectors are
Translations leave each displacement difference zero. For rotations,
because the equilibrium edge vector is parallel to . Hence every spring has zero first-order extension in all six patterns, and the stiffness matrix annihilates them.
The translations have nonzero summed displacement, while all the rotations have zero sum. The three rotational patterns are themselves independent because the vertices do not lie on a single line. Thus
These are the rigid-motion zero modes of a spring framework. The rotational displacements describe infinitesimal rigid rotations; an arbitrary finite rotation would require its nonlinear displacement field.