No history yet

Lagrangian and Hamiltonian Dynamics

The Principle of Stationary Action

Classical mechanics can be reformulated from Newton's vector-based laws into a more powerful and elegant framework rooted in a single scalar quantity: action. Instead of forces, we consider the path a system takes through its configuration space. The principle of stationary action posits that the actual path taken by a system between two points in time, t1t_1 and t2t_2, is one for which the action is stationary (a minimum, maximum, or saddle point).

The action, denoted by SS, is defined as the time integral of the Lagrangian, LL. The Lagrangian itself is a scalar function that encapsulates the dynamics of the system, typically defined as the difference between the kinetic energy (TT) and the potential energy (VV).

S[q(t)]=t1t2L(q,q˙,t)dtS[q(t)] = \int_{t_1}^{t_2} L(q, \dot{q}, t) \, dt

To find the path that makes the action stationary, we employ the calculus of variations. We consider an arbitrary small perturbation, δq(t)\delta q(t), to the true path q(t)q(t), such that the endpoints remain fixed ({δq(t1)=δq(t2)=0}\{\delta q(t_1) = \delta q(t_2) = 0\}). The principle demands that the first-order change in the action, δS\delta S, must be zero for any such perturbation. This condition leads directly to the equations of motion.

The Euler-Lagrange Equation

The mathematical consequence of setting δS=0\delta S = 0 is a set of differential equations known as the Euler-Lagrange equations. For a system described by a set of generalized coordinates qiq_i, there is one Euler-Lagrange equation for each coordinate. This scalar approach is remarkably efficient, often yielding the equations of motion far more easily than a Newtonian force analysis, especially for complex systems with constraints.

ddt(Lq˙i)Lqi=0\frac{d}{dt} \left( \frac{\partial L}{\partial \dot{q}_i} \right) - \frac{\partial L}{\partial q_i} = 0

While Lagrangian mechanics is a complete formulation, it yields second-order differential equations in time. The Hamiltonian formulation provides an alternative perspective that uses first-order equations and a different set of variables. The bridge between these two formalisms is the , which allows us to switch from a description based on positions and velocities (q,q˙)(q, \dot{q}) to one based on positions and momenta (q,p)(q, p).

Hamiltonian Phase Space Dynamics

The Hamiltonian, HH, is constructed from the Lagrangian via the Legendre transformation. We first define the generalized (or canonical) momentum pip_i as the partial derivative of the Lagrangian with respect to the generalized velocity q˙i\dot{q}_i.

piLq˙ip_i \equiv \frac{\partial L}{\partial \dot{q}_i}

With this, the Hamiltonian is defined as:

H(q,p,t)=ipiq˙iL(q,q˙,t)H(q, p, t) = \sum_i p_i \dot{q}_i - L(q, \dot{q}, t)

The dynamics are then governed by Hamilton's equations, a set of 2n first-order differential equations for a system with n degrees of freedom. These equations describe the evolution of a system's state, represented as a point in , a 2n-dimensional space whose axes are the generalized coordinates qiq_i and canonical momenta pip_i. The Hamiltonian acts as the generator of time evolution in this space.

q˙i=Hpip˙i=Hqi\begin{aligned} \dot{q}_i &= \frac{\partial H}{\partial p_i} \\ \dot{p}_i &= -\frac{\partial H}{\partial q_i} \end{aligned}

Poisson Brackets

A more abstract and powerful way to express Hamiltonian dynamics is through Poisson brackets. For any two functions f(q,p,t)f(q, p, t) and g(q,p,t)g(q, p, t) on phase space, their Poisson bracket is defined as:

{f,g}=i(fqigpifpigqi)\{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)

Using this notation, the time evolution of any function A(q,p,t)A(q, p, t) can be written compactly. If a quantity has a zero Poisson bracket with the Hamiltonian, it is a constant of motion, or a conserved quantity. This provides a direct test for conservation laws. Furthermore, the fundamental commutation relations in quantum mechanics are a direct analogue of the classical Poisson brackets, making this formalism an essential stepping stone to quantum theory.

dAdt={A,H}+At\frac{dA}{dt} = \{A, H\} + \frac{\partial A}{\partial t}

The coordinates and momenta have a fundamental Poisson bracket relationship: {qi,pj}=δij\{q_i, p_j\} = \delta_{ij}. This is the classical analogue of the quantum mechanical commutation relation [x^,p^]=i[\hat{x}, \hat{p}] = i\hbar.

This framework moves beyond simple problem-solving and provides a deep, structural understanding of classical mechanics. The principles of stationary action, the symmetries revealed by the Lagrangian, and the geometric nature of Hamiltonian phase space form the language used throughout modern theoretical physics.