Hamilton's Principle and Analytical Mechanics

Why is the Principle of Least Action so Important?

In the 17th century, Newton described mechanics through forces: F = ma. This worked, but required explicit accounting for all forces, including reaction forces of constraints. In the 18th century, Lagrange showed: all mechanics can be expressed through a single variational principle—the principle of least action. This radically simplifies calculations (reaction forces are unnecessary!), moreover—the principle generalizes to electromagnetism, quantum mechanics, general relativity. All fundamental equations of physics are derived from action.

Principle of Least Action (Hamilton's Principle)

Action: the functional $S[q] = \int_{t_0}^{t_1} L(t, q, \dot{q}) dt$, where $L = T - U$ is the Lagrangian (kinetic − potential energy), $q = (q_1,...,q_n)$ are generalized coordinates.

Hamilton's principle: the physical trajectory between $q(t_0)$ and $q(t_1)$ is the extremal of the functional $S$.

Lagrange equations (from Euler-Lagrange for S): $\frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}_i}\right) - \frac{\partial L}{\partial q_i} = 0$, $i=1,...,n$

These are $n$ second-order ODEs—a full description of motion.

Generalized Coordinates: Elegance of the Method

The main advantage: $q$ can be any coordinates convenient for describing the system. Lagrange's equations are invariant under coordinate transformation—this is a consequence of the variational nature of the principle.

Example: double pendulum. Cartesian coordinates: 4 variables ($x_1, y_1, x_2, y_2$) plus 2 constraints. Using Newton's equations with reaction forces is cumbersome. Lagrangian approach: generalized coordinates $\theta_1, \theta_2$ (two angles)—2 variables, 0 constraints.

$T = \frac{(m_1 + m_2)l_1^2\dot{\theta}_1^2}{2} + \frac{m_2l_2^2\dot{\theta}_2^2}{2} + m_2l_1l_2\dot{\theta}_1\dot{\theta}_2 \cos(\theta_1 - \theta_2)$

$U = -(m_1 + m_2)g l_1 \cos \theta_1 - m_2 g l_2 \cos \theta_2$

Two Lagrange equations give the complete equations of motion. Without reaction forces from the strings!

Hamiltonian Formalism

Generalized momentum: $p_i = \frac{\partial L}{\partial \dot{q}_i}$ (conjugate to $q_i$)

Hamiltonian: $H = \sum_i p_i\dot{q}_i - L$ (Legendre transformation)

Canonical Hamilton equations: $\dot{q}_i = \frac{\partial H}{\partial p_i}$, $\dot{p}_i = -\frac{\partial H}{\partial q_i}$

Instead of $n$ second-order ODEs—$2n$ first-order ODEs. Symmetry between $q$ and $p$!

Physical meaning: for conservative systems $H = T + U$ is the total energy. Conservation of $H \leftrightarrow$ does not explicitly depend on time: $\frac{\partial H}{\partial t} = 0$.

Poisson Brackets and Conservation Laws

Poisson bracket: ${f, g} = \sum_i \left( \frac{\partial f}{\partial q_i} \frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q_i} \right)$

Equation of motion for any function $f(q, p, t)$: $\dot{f} = {f, H} + \frac{\partial f}{\partial t}$

Integral of motion: ${f, H} = 0 \to f = \text{const}$ along the trajectory.

Noether’s theorem (mechanical version): each continuous symmetry of the action corresponds to a conservation law:

• Invariance under time shift $t \to t+\varepsilon$: $H$ (energy) is conserved
• Invariance under translation $q \to q+\varepsilon$: $p$ (momentum) is conserved
• Invariance under rotation: $L = q \times p$ (angular momentum) is conserved

Complete Analysis: CO₂ Molecule Oscillations

Model: three masses $m_1$, $m_2$, $m_1$ (O−C−O) on springs with stiffness $k$.

Generalized coordinates: $x_1, x_2, x_3$—displacements from equilibrium.

$L = \frac{m_1(\dot{x}_1^2 + \dot{x}_3^2)}{2} + \frac{m_2 \dot{x}_2^2}{2} - \frac{k[(x_2-x_1)^2 + (x_3-x_2)^2]}{2}$

Lagrange’s equations—3 equations. From the symmetry of the problem, we seek normal modes:

Mode 1 (symmetric): $x_1 = -x_3$, $x_2 = 0$. Both O atoms move in antiphase, C is stationary. $\omega_1 = \sqrt{2k/m_1}$.

Mode 2 (asymmetric): $x_1 = x_3$, $x_2 = -2m_1x_1/m_2$. $\omega_2 = \sqrt{k (2m_1 + m_2)/(m_1 m_2)}$.

Mode 3 (translation): $x_1 = x_2 = x_3 = \text{const}$. $\omega_3 = 0$—center-of-mass transfer.

Without the Lagrange method, analysis of normal modes for a three-particle system would be much more difficult.

Extension to Field Theory

For a field $\varphi(x, t)$ the Lagrangian becomes a volume integral: $L = \int \mathcal{L}(\varphi, \partial_\mu \varphi) d^3x$. Hamilton’s principle $\to$ Euler-Lagrange equation for $\mathcal{L}$: $\partial_\mu \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \varphi)} \right) - \frac{\partial \mathcal{L}}{\partial \varphi} = 0$.

Examples: Klein-Gordon equation, Maxwell equations, Einstein equations. The entire Standard fundamental law of physics is the principle of least action with a specific $\mathcal{L}$.

Principle of Least Action in Physics

Hamilton’s principle states: the real trajectory of a physical system between two moments $t_1$ and $t_2$ minimizes (or, more precisely, makes stationary) the action functional $S = \int_{t_1}^{t_2} L(q, \dot{q}, t) dt$, where $L = T - U$ is the Lagrangian (kinetic minus potential energy). This principle unifies all classical mechanics into a single compact statement and generalizes to electrodynamics (field Lagrangian), general relativity (Hilbert-Einstein action), and quantum theory (Feynman path integrals).

Symmetries and Integrability

Hamiltonian mechanics is closely tied to Noether’s theorem: every continuous symmetry of the Lagrangian generates a conservation law. Time translation $\to$ conservation of energy $H$. Space translation $\to$ conservation of momentum $p$. Rotation $\to$ conservation of angular momentum $L$. When the system has $n$ independent conserved quantities ($n$—number of degrees of freedom), it is called Liouville integrable—its dynamics can be explicitly described in action-angle variables. Most real systems are non-integrable (KAM theorem), but their motion can be studied as perturbations of integrable systems.

Applications in Engineering

Hamiltonian formalism is used in spacecraft control (calculation of orbits through canonical transformations), in molecular dynamics (symplectic integrators—leapfrog, Verlet—preserve phase space volume and energy over long intervals), in robotics (manipulator dynamics through Lagrange equations).