Classical Mechanics: Constraints and Generalized Coordinates

Classical mechanics can be reformulated as finding stationary points of the action functional S = ∫L dt, where L is the Lagrangian (typically kinetic minus potential energy). This is Hamilton's Principle. The Lagrangian formulation offers significant advantages over Newtonian mechanics: it provides coordinate-independent equations of motion that remain valid in any coordinate system, simplifies problems with constraints, and naturally incorporates symmetries. The Euler-Lagrange equations applied to the Lagrangian yield the equations of motion without needing to project vector equations onto specific coordinate axes.

This comprehensive section presents the Lagrangian formulation of classical mechanics. The configuration of a mechanical system is characterized using generalized coordinates (q1, q2, ..., qn), each with associated time derivatives. The Lagrangian function L = T - V (kinetic minus potential energy) depends on these coordinates, their time derivatives, and time. The action integral S = ∫L dt is the functional whose stationarity determines the system's motion. The equations of Lagrange (d/dt(∂L/∂q̇i) - ∂L/∂qi = 0) are derived by requiring the action to be stationary. This formulation recovers Newton's second law for conservative forces and provides a unified framework for solving mechanical problems regardless of the coordinate system used.

The Lagrangian L = T - V is constructed with kinetic energy T = (1/2)mṙ² + (1/2)mr²θ̇² and potential energy V = mgr cos θ (with gravitational reference at the sphere's center). Applying the Euler-Lagrange equation to each coordinate yields two equations: for radial motion, m(rθ̇² - g cos θ) + λ = 0; for angular motion, mgR sin θ - mR²θ̈ - 2mRṙθ̇ = 0. The Lagrange multiplier λ represents the normal contact force that constrains the particle to the sphere's surface.

Lagrangian mechanics provides an alternative approach to classical mechanics by defining the Lagrangian as the difference between kinetic energy (T) and potential energy (U), and finding the path that minimizes the action (the integral of the Lagrangian over time) using the Euler-Lagrange equation; this method is particularly powerful for systems with constraints and generalized coordinates, as it eliminates the need to explicitly calculate constraint forces and allows the use of any convenient coordinate system to describe the system's configuration.

The Lagrangian formulation offers significant advantages over Newtonian mechanics: (1) It works in arbitrary generalized coordinates and non-inertial reference frames with identical equation form. (2) Pseudo-forces like centrifugal force emerge naturally from the mathematics rather than being artificially added. (3) The Lagrangian is a scalar quantity, simplifying equations compared to vector-based Newtonian formulations. (4) Symmetries and constraints are implemented automatically through proper coordinate choice. (5) It generalizes naturally to special relativity and electromagnetism. (6) It reveals deep connections between classical and quantum mechanics. These advantages make Lagrangian mechanics essential for complex systems where Newtonian approaches become unwieldy.

The Euler-Lagrange equations are fundamental equations in calculus of variations that serve as the analog of f'(x) = 0 used to find stationary points in regular calculus. These equations are used to find stationary functions of a particular functional. However, similar to how f'(x) = 0 identifies stationary points without determining whether they are minima or maxima, the Euler-Lagrange equations only identify that a function makes a functional stationary—they do not determine whether the stationary function minimizes, maximizes, or simply makes the functional stationary.

This segment completes the Lagrangian mechanics solution: (1) The Euler-Lagrange equations for coordinates R and θ are derived: for R: mR̈ - mRθ̇² + mgcos(θ) = 0; for θ: 2mRθ̇ + mṘθ̇ - mgsin(θ) = 0; (2) Setting θ = 0 (the case from item A) simplifies the equations; (3) The R-equation becomes mg = 2mR̈, yielding R̈ = g/2; (4) This matches the Newtonian result, demonstrating that Lagrangian mechanics reproduces the same physical predictions; (5) The video concludes by encouraging viewers to attempt the problem themselves and engage with the content through comments and shares.

The Euler-Lagrange equations provide the mathematical recipe for finding equations of motion: d/dt(∂L/∂v̇) - ∂L/∂x = 0. For a free particle (L = ½mv²), this yields d/dt(mv) = 0, demonstrating conservation of momentum without invoking Newton's laws. This shows how the Lagrangian formalism naturally produces conservation laws when appropriate symmetries exist in the system's description.

The Euler-Lagrange equations are derived by computing the functional derivative of the action. By expressing Lagrangian differences as partial derivatives times increments, integrating by parts, and collecting terms, we obtain d/dt(∂L/∂q̇) - ∂L/∂q = 0. These second-order differential equations determine system evolution. For n degrees of freedom, n equations are obtained, requiring 2n initial conditions for unique solutions. An extremal curve satisfies δS/δγ = 0 for all admissible variations, meaning the first-order change vanishes. This condition identifies physically realized paths, analogous to stationary points in ordinary calculus. The equations represent the core of Lagrangian mechanics, from which Newton's laws emerge as special cases.

The principle of least action can be converted into differential equations called Euler-Lagrange equations. For classical mechanics, these reduce to Newton's second law. For electrodynamics, they yield Maxwell's equations. For general relativity, they produce Einstein's field equations. These differential formulations eliminate the apparent future dependence because they describe local conditions (current state and derivatives) rather than global optimization over all possible paths. This mathematical equivalence shows that optimization principles and differential equations are two ways of expressing the same physical laws.

Generalized momentum p_k is defined as the partial derivative of the Lagrangian L with respect to the generalized velocity q̇_k (p_k = ∂L/∂q̇_k), representing the canonical or conjugate momentum associated with each generalized coordinate. A cyclic coordinate (or ignorable coordinate) is a generalized coordinate that does not appear explicitly in the Lagrangian, resulting in its corresponding generalized momentum being a constant of motion (conserved quantity) because the time derivative of this momentum equals zero. This principle demonstrates how symmetries in the Lagrangian lead to conservation laws, as seen in central force motion where the angular coordinate θ is cyclic and its corresponding angular momentum is conserved.

In classical mechanics, generalized momentum is defined as the partial derivative of the Lagrangian with respect to generalized velocity (p = ∂L/∂q̇), and when a coordinate is cyclic (meaning the Lagrangian does not depend on that coordinate but only on its velocity), the corresponding generalized momentum is conserved.

Generalized momentum p_i = ∂L/∂q̇_i connects Lagrangian mechanics to classical momentum concepts. For example, in polar coordinates: p_r = ∂L/∂ṙ (linear momentum), p_θ = ∂L/∂θ̇ = mr²θ̇ (angular momentum). A cyclic coordinate is absent from the Lagrangian (though its time derivative may appear). If q is cyclic (∂L/∂q = 0), then from Lagrange's equation d/dt(∂L/∂q̇) = 0, so ∂L/∂q̇ = constant—a conserved quantity. For example, if φ is cyclic, p_φ = mr²sin²θφ̇ = constant. This provides a powerful method for finding conserved quantities based on system symmetries.

This section covers generalized momentum defined as p = ∂L/∂q̇, and the concept of cyclic or ignorable coordinates that do not appear explicitly in the Lagrangian. When a coordinate is cyclic, its corresponding generalized momentum is conserved. The section includes worked examples demonstrating how to identify cyclic coordinates and calculate their associated conserved momenta.

In classical mechanics, the generalized momentum (or canonical momentum) is defined as the partial derivative of the Lagrangian with respect to the generalized velocity (∂L/∂q̇_k = p_k), representing the conjugate momentum associated with each generalized coordinate; when a coordinate is cyclic or ignorable (i.e., the Lagrangian does not explicitly depend on that coordinate), its corresponding generalized momentum becomes a constant of motion, demonstrating how symmetries in the Lagrangian lead to conserved quantities.

William Rowan Hamilton's formulation of mechanics in the 1830s introduced the principle of least (or stationary) action as the fundamental principle underlying all dynamics. According to this principle, the actual path taken by a physical system between two states is the one that minimizes (or makes stationary) a quantity called 'action.' Remarkably, this single principle can derive all aspects of classical mechanics, electrodynamics, and even quantum mechanics. The action itself has properties analogous to waves—it can cancel and enhance different paths, suggesting it might be a real physical entity distributed throughout space and time.

Hamilton's principle states that the motion of a mechanical system between two points in configuration space follows a path that makes the action integral (the integral of the Lagrangian function over time) extremal, leading to the Euler-Lagrange equations that govern the system's dynamics; this variational principle also yields conservation laws for energy (from time homogeneity), linear momentum (from space homogeneity), and angular momentum (from space isotropy) when the Lagrangian is invariant under corresponding transformations.

Hamilton's Principle states that physical systems evolve along paths minimizing a quantity called 'action.' The Lagrangian (L = T - V) represents the difference between kinetic and potential energy, and action is its time integral. This principle provides an alternative to Newton's laws, focusing on energy rather than forces. The actual trajectory is found by minimizing action, revealing how systems evolve from initial to final states. This formulation extends beyond classical mechanics into quantum physics, demonstrating its fundamental importance in physics.

In the 1740s, Pierre-Louis Maupertuis proposed that nature minimizes a quantity called 'action,' defined as mass multiplied by velocity multiplied by distance. He argued this principle was more fundamental than Fermat's Principle of Least Time because it could explain not just light but also particle motion. Euler recognized Maupertuis's Principle was fundamentally correct but mathematically imprecise. He replaced summation with integration to handle continuous changes in velocity and direction. Euler discovered the Principle only works when total energy is conserved and identical for all paths considered. Joseph-Louis Lagrange further developed Euler's work, providing a general mathematical framework. William Rowan Hamilton reformulated the principle in 1834, expressing action as an integral of the Lagrangian (L = T - V) over time. Hamilton's Principle requires both initial and final positions and times, while Maupertuis's Principle requires only positions but allows time to vary.

Hamilton's principle states that the actual path taken by a physical system between two points in spacetime is the one for which the action S is an extremum (minimum or maximum). The action S is defined as the time integral of the Lagrangian L along the path, where L = T - V (kinetic energy minus potential energy). This principle can derive Newton's laws, Einstein's general relativity, and optics. A functional depends on entire functions rather than individual values, requiring calculus of variations to optimize over paths.