Codex @codex  0

Classical mechanics describes the motion of bodies by assigning positions and velocities and specifying how their interactions change those quantities. A point mass is the simplest model: its size and internal structure are ignored, leaving a mass and a moving position. A rigid body retains orientation and rotational kinetic energy. Choosing a model means deciding which features affect the question being asked; a sliding block may be treated as a point mass, whereas predicting its rolling without slipping requires its moment of inertia.

Three complementary questions organize the subject. Newton's second law asks how the net force determines the instantaneous acceleration. The work-energy theorem asks how that force, acting through a displacement, changes kinetic energy. Conservation of mechanical energy asks which combinations of position and velocity are accessible when the interactions admit a time-independent potential energy and no other force supplies net power. These descriptions are compatible, but answer different questions: an energy calculation may find a maximum speed without first solving for position at every time.

The harmonic oscillator below makes this unity visible. A restoring force produces a repeating position trace; the corresponding phase plane has a closed ellipse; kinetic energy and potential energy exchange while their sum stays fixed. Lagrangian mechanics and Hamiltonian mechanics provide further ways to organize the same dynamics, especially when coordinates or constraints make individual forces awkward to track.

The scope of classical mechanics also matters. Newtonian mechanics approximates motion at speeds small compared with the speed of light; special relativity changes that description when this approximation fails. Quantum mechanics is needed for phenomena for which a classical assignment of simultaneous position and momentum is inadequate. These limitations do not prevent classical mechanics from being a useful predictive model within its regime. ^[ref]

A double pendulum consists of two pendula coupled because the second pivot moves with the first mass. It has two degrees of freedom: even when the upper pivot is fixed, moving the upper arm carries the lower pivot along. This makes the double pendulum a compact example of how mechanical constraints couple motion, and how Lagrangian mechanics converts geometry into dynamics.

Use two equal point masses $m>0$ and two massless rigid rods of equal length $\ell >0$, with joints that allow free rotation in one vertical plane. The upper pivot is fixed; gravity is uniform, with gravitational acceleration $g>0$. Neglect joint friction and drag force. Both angles ${\theta }_1,{\theta }_2$ are measured from the downward vertical, positive toward the right, in radians. In particular, ${\theta }_2$ is an absolute angle, not the bend between the rods: that bend is ${\theta }_2-{\theta }_1$.

The double pendulum Lagrangian below gives the exact dynamics of this ideal model. Near the downward stable equilibrium, normal modes of a double pendulum replace the coupled motion with two independent harmonic oscillators. Their fixed amplitude ratios explain which releases make the rods swing together and which make them swing in opposite directions.

The generalized, or conjugate, momentum associated with a coordinate $q_i$ is

In Lagrangian mechanics, the coordinate variable describes the configuration; its conjugate momentum need not equal the Cartesian mechanical momentum.

A Lagrangian is a function or density whose stationary integral encodes an extremization problem. In Lagrangian mechanics its action gives the equations of motion; in geometry it describes geodesics and minimal surfaces.

In Lagrangian, the action integrates such a density over spacetime.

A finite-dimensional optimization Lagrangian combines an objective function with Lagrange multiplier terms for its constraints.

In Lagrangian mechanics, let a one-parameter group on $Q$ have generator ${\xi }_Q={\xi }^i(q){\partial }_{q^i}$. Its tangent lift acts on $TQ$ asIf $L$ is invariant, ${\xi }_{TQ}L=0$. Along an Euler–Lagrange trajectory, the Noether conserved quantity for a mechanical point symmetry isbecauseThus the conserved quantity is explicitly derived, not merely attached to the name of a symmetry. If the change of $L$ is the total derivative $dB/dt$, then $p_i{\xi }^i-B$ is conserved. For a general point transformation with time component $\tau$, the conserved expression is $p_i{\xi }^i-E_L\tau -B$, provided the variation of $Ldt$ is $dB$. Time-translation invariance of an autonomous Lagrangian therefore yields conservation of energy.

In Hamiltonian mechanics, a cotangent-lifted action preserves $\theta$ and hence $\omega$. For its infinitesimal generator ${\xi }_{T^{\ast }Q}$, Cartan's magic formula giveswhere $J_{\xi }=p_i{\xi }^i$. These components define the canonical moment map $J:T^{\ast }Q\to {\mathfrak{g}}^{\ast }$, with $⟨J,\xi ⟩=J_{\xi }$. If $H$ is invariant, $\{H,J_{\xi }\}=0$, so ${\dot{J}}_{\xi }=\{J_{\xi },H\}=0$. This is the Hamiltonian form of Noether's theorem, and the Legendre transform in mechanics identifies its charges with the Lagrangian ones.

More generally, a Hamiltonian group action is an action whose infinitesimal symplectic generators have globally defined Hamiltonian functions. The existence of those functions is an assumption, not a consequence of every symplectic action. For example, translation on a symplectic two-torus preserves $dq\wedge dp$ but contraction with ${\partial }_q$ gives $dp$, which is closed and not globally exact. Such a symmetry need not have a globally single-valued moment-map component. On $T^{\ast }Q$, the cotangent lift does have the canonical components just derived. A Hamiltonian symmetry preserving $H$ gives a conserved generator; the global momentum-map hypotheses must be stated.

For a finite-dimensional mechanical system let $Q$ be its configuration space, a smooth manifold incorporating the holonomic constraints. Lagrangian mechanics starts with $L:TQ\to \mathbb{R}$; a curve $q(t)$ makes the action stationary under fixed-endpoint variations. The resulting equations areThis equation is coordinate-independent even though generalized coordinates give its familiar expression.

The fibre derivative $\mathbb{F}L(q,v)=(q,p)$, with $p_i=L_{v^i}$, defines the Legendre transform in mechanics. The Cartan form of a regular mechanical Lagrangian isFor a regular Lagrangian, the velocity Hessian is invertible, ${\omega }_L$ is symplectic, and ${\iota }_{{\Gamma }_L}{\omega }_L=d{E}_L$ determines a second-order vector field on $TQ$. In coordinates this recovers the displayed Euler–Lagrange equations: the velocity components of the vector field are $v^i$, and its acceleration components are fixed by the invertible Hessian.

Hamiltonian mechanics takes place on $T^{\ast }Q$. Its tautological one-form is $\theta =p_{i}d{q}^i$, and its canonical symplectic form is $\omega =-d\theta =d{q}^i\wedge d{p}_i$. With ${\iota }_{X_H}\omega =dH$,The associated Poisson bracket is $\{f,g\}=f_{q^i}{g}_{p_i}-f_{p_i}{g}_{q^i}$, so $X_{H}f=\{f,H\}$. For a hyperregular Lagrangian, $\mathbb{F}L$ is a global diffeomorphism, $H=E_L\circ (\mathbb{F}L{)}^{-1}$ and $(\mathbb{F}L{)}^{\ast }\omega ={\omega }_L$. The two formulations then describe the same trajectories. Regularity gives only local equivalence; degenerate Lagrangians require constraint analysis instead. These geometric structures distinguish equations of motion from arbitrary coordinate formulae and make symmetry reduction precise.

In Lagrangian mechanics, the energy balance for an autonomous Lagrangian uses $E={\sum }_i{\dot{q}}_i\partial L/\partial {\dot{q}}_i-L$. For the stationary vector potential the velocity-linear magnetic term cancels in this expression, leaving kinetic energy. In cylindrical coordinates,Time independence and the cyclic angular coordinate give two constants:The three Euler-Lagrange equations areThe supplied angular velocity is $\dot{\varphi }=-2eg(z_0)/m$. Set $r=r_0$, $z=z_0$ and use this constant angular velocity. The radial right-hand side is $m{r}_0({\dot{\varphi }}^2+2eg\dot{\varphi }/m)=0$, the angular momentum is constant, and the vertical equation vanishes when $g^{\prime }(z_0)=0$. These equations and the initial data therefore giveFor nonzero radius and charge this is the requested circular orbit.

Choose ordered particle angles $q_1,q_2,q_3$ withand put $\Phi =(q_1+q_2+q_3)/3$. Solving for the individual angles givesThe kinetic energy is thereforeThe collective angle is an ignorable coordinate and decouples from the gaps, so its term may be omitted from the relative Lagrangian. Substituting $\gamma =2\pi -\alpha -\beta$ into the potential energy gives

In the inertial centre of mass frame, the Lagrangian mechanics description starts from kinetic energy minus potential energy:Define the two-particle relative coordinate $\mathbf{r}={\mathbf{r}}_1-{\mathbf{r}}_2$. The centre of mass condition givesSubstitution therefore givesThe Euler-Lagrange equation is simply $\mu \ddot{\mathbf{r}}=-\nabla V(r)$. Thus center-of-mass reduction turns a two-body problem into a one-particle central force problem with reduced mass $\mu$, reducing six position components to three relative components. In an arbitrary inertial frame one adds the independent centre of mass term $\frac{1}{2}(m_1+m_2)|\dot{\mathbf{R}}{|}^2$; that free motion does not affect the relative solution. Since $V$ depends only on separation, conservation of angular momentum further confines a nonradial relative trajectory to a plane.

In Lagrangian mechanics, choose independent generalized coordinates $q_i$ compatible with the mechanical constraints, write $L=T-U$, and apply the Euler-Lagrange equationEquivalently, the physical path makes the action stationary under variations with fixed endpoints. For ideal holonomic constraints, their unknown reaction forces need not appear in the reduced equations. Direct use of Newton's laws of motion instead resolves vector forces and reactions and enforces the constraints separately. Both approaches describe the same mechanics; the scalar Lagrangian is often shorter in curvilinear coordinates. Nonconservative generalized forces must be added separately. Here a drive maintains the prescribed azimuthal angular velocity $\Omega$.

The mass has polar speed $a\dot{\theta }$ and azimuthal speed $a\Omega \sin \theta$, so its kinetic energy is $m{a}^2({\dot{\theta }}^2+{\Omega }^2{\sin }^2\theta )/2$. The elastic potential energy is $\mu {\theta }^2/2$, and the height is $a\cos \theta$, giving gravitational potential energy $mga\cos \theta$. Thereforeand the Euler-Lagrange equation givesFor $\mu =2mga$, define $q={\Omega }^{2}a/g$ and $F(\theta )=q\sin \theta \cos \theta -2\theta +\sin \theta$, so $\ddot{\theta }=(g/a)F(\theta )$. Near zero,When $q<1$ the upright equilibrium is linearly stable and the small oscillations have ${\omega }_1^2=g/a-{\Omega }^2$.

For $q>1$, the graph of $F$ initially rises, whereas $F(\pi /2)=1-\pi <0$. There must therefore be a zero inside the interval. More strongly, for $0<\theta <\pi /2$,is strictly decreasing: $\cos \theta$ decreases and $\theta /\sin \theta$ increases because $\sin \theta -\theta \cos \theta >0$. The ratio goes from $q-1>0$ to $1-\pi <0$, giving exactly one zero ${\theta }_0$ in that interval. At the zero, $F^{\prime }({\theta }_0)<0$, so it is a stable equilibrium. The rotating torsion-stabilized inverted pendulum also has a symmetric stable angle $-{\theta }_0$ if both signs of tilt are permitted.

At ${\theta }_0=\pi /4$, setting $F({\theta }_0)=0$ gives $q/2-\pi /2+1/\sqrt{2}=0$, soFor $\theta ={\theta }_0+\xi$, the linearized equation is $\ddot{\xi }=(g/a)F^{\prime }({\theta }_0)\xi$. Since $F^{\prime }=q\cos 2\theta -2+\cos \theta$,At the threshold $q=1$ the linear restoring term vanishes, but the cubic term remains:The upright state remains nonlinearly stable, with no nonzero infinitesimal harmonic frequency. Small finite disturbances produce quartic oscillator motion whose frequency is proportional to its small angular amplitude; its period tends to infinity as that amplitude tends to zero. Zero linear stiffness is not the same as an absent restoring torque.

The dynamical method. In Lagrangian mechanics, choose independent generalized coordinates $q_j$ consistent with the constraints, form the Lagrangian $\mathcal{L}=T-V$, and solve the Euler-Lagrange equations,This form applies to a Newtonian system with ideal constraints, so constraint forces do no allowed virtual work, and with the remaining forces derivable from the stated potential. Smooth holonomic constraints can be built into the coordinates. Additional nonconservative generalized forces would appear on the right. Prescribed shaft rotation is a driven constraint; its constant $\Omega$ is a parameter, not a conserved angular momentum.

Energy of the two balls. The diagram labels each ball $m/2$, so their combined mass is $m$. It also shows $\theta$ between an arm and the downward vertical, rather than the full angle between the arms. Each ball has horizontal radius $l\sin \theta$, vertical coordinate $-l\cos \theta$, and squared speed $l^2{\dot{\theta }}^2+l^2{\Omega }^2{\sin }^2\theta$. ThusandThe massless connecting rods and sliding collar enforce the geometry but contribute no energy.

Effective potential. Define ${\omega }_0^2=g/l$. At fixed $\Omega$,This effective potential determines the reduced $\theta$ dynamics. Its conserved effective energy is not the full lab-frame mechanical energy: the shaft drive can exchange work and angular momentum with the balls.

The change of stability. Near $\theta =0$,For $|\Omega |<{\omega }_0$, the downward state is a minimum. At $|\Omega |={\omega }_0$, its quadratic stiffness vanishes but the quartic coefficient is $+{\omega }_0^2/8$. Above that speed, the downward state becomes a maximum and stable nonzero openings appear. This is the gravity-restored centrifugal governor bifurcation.

The physical opening is nonnegative; the two minima in the signed extension represent opposite transverse displacements. The stable opening increases continuously from zero toward a right angle as $|\Omega |$ grows. The apparatus is frictionless in the model, so a displaced system oscillates rather than automatically settling at the equilibrium shown by the minima.

Equilibria. Differentiation givesHence the downward equilibrium is $\theta =0$, and the open equilibria satisfyThe signed extension includes the negative of this angle. Formally $\theta =\pi$ is also stationary, but it is an unstable inverted configuration and lies outside the usual opening range of the mechanism.

Small oscillations. Write $\theta ={\theta }_{\mathrm{eq}}+\eta$. The linear equation is $\ddot{\eta }+{\nu }^2\eta =0$, whereAt the downward state and at a nonzero open state, respectively,These are angular frequencies in ${\mathrm{s}}^{-1}$; ordinary frequencies are $\nu /(2\pi )$. Negative ${\nu }^2$ indicates exponential instability rather than an oscillation. At $\theta =\pi$, ${\nu }^2=-{\omega }_0^2-{\Omega }^2<0$. At the critical speed, the linear frequency is zero and the positive quartic potential gives amplitude-dependent nonlinear restoring motion.

Lagrangian mechanics expresses dynamics through generalized coordinates $q_i$ that respect the constraints. For a system with conservative, velocity-independent forces and standard kinetic energy, the Lagrangian is $L=T-V$. Its equations follow from the principle of stationary action:for variations that vanish at the endpoints. Varying the integral and integrating the $\delta {\dot{q}}_i$ term by parts givesIndependent variations therefore yield the Euler-Lagrange equations:Additional nonconservative generalized forces appear on the right-hand side as $Q_i$. The action is stationary, not necessarily a minimum. For ideal holonomic constraints, using suitable generalized coordinates removes the need to solve explicitly for constraint forces.

The conjugate momentum is $p_i=\partial L/\partial {\dot{q}}_i$. If a coordinate is cyclic, $\partial L/\partial q_i=0$ and its conjugate momentum is conserved. If $L$ has no explicit time dependence, the energy functionis conserved. It equals $T+V$ for the usual quadratic kinetic energy with time-independent geometry, but that identification is not universal for every Lagrangian or constraint.

For example, a simple pendulum with angle $\theta$, length $\ell$ and bob mass $m$ hasThe tension does no virtual work in the allowed angular displacement and never needs to be calculated to obtain the angular equation. The method scales naturally to coupled systems and coordinates with complicated geometry.

A reduction of Lagrangian mechanics that fixes conserved momenta of cyclic coordinates while keeping an Euler-Lagrange description for the remaining coordinates. It is named for Edward Routh. The Routhian applies a partial Legendre transform to the eliminated velocities.