1 Classical mechanics

In classical mechanics, the Lagrangian is a function that encodes the state of a physical system and how it evolves over time. It is usually written in terms of generalized coordinates and their time derivatives, making it especially useful for systems with many degrees of freedom. Unlike force-based descriptions, the Lagrangian approach focuses on energy differences and variational principles, which often simplify the analysis of motion.

1.1 Definition of the Lagrangian

For many mechanical systems, the Lagrangian is defined as

L = T - V

where T is the kinetic energy and V is the potential energy. This form applies most directly to conservative systems, especially those in which the potential depends only on position and time. More generally, a Lagrangian may include additional terms, provided it produces the correct equations of motion through the principle of least action.

1.2 Kinetic and potential energy

The kinetic energy measures the energy of motion, while the potential energy represents stored energy associated with position or configuration. Their difference is central because it captures how a system trades motion for position-dependent effects. In many familiar systems, such as particles in gravitational or spring-like potentials, the Lagrangian provides a compact expression that fully determines the dynamics.

1.3 Principle of least action

The principle of least action states that the actual path taken by a system between two states makes the action stationary. This does not always mean the action is literally minimal; rather, small variations around the physical path produce no first-order change. This idea is one of the most important unifying principles in theoretical physics.

1.3.1 Action functional

The action is a functional, meaning it assigns a number to an entire path rather than to a single point. It is typically defined as the time integral of the Lagrangian:

S = ∫ L dt

The physical trajectory is the one for which the action is stationary under admissible variations of the path. This formulation is powerful because it reduces dynamics to a variational problem.

1.3.2 Euler–Lagrange equations

Applying the condition that the action be stationary leads to the Euler–Lagrange equations. For a coordinate q, the equation has the form

d/dt (∂L/∂q̇) - ∂L/∂q = 0

These differential equations determine the motion of the system. They are equivalent to Newton’s laws in many standard cases, but they are often easier to use when coordinates are not Cartesian or when constraints are present.

1.4 Generalized coordinates

Generalized coordinates are variables chosen to describe a system in the most convenient way possible. They may include angles, lengths, or other parameters instead of ordinary position components. This flexibility allows the Lagrangian method to handle constrained and complex systems efficiently, often with fewer variables than a force-based description.

1.5 Conserved quantities

A major advantage of the Lagrangian formalism is that it reveals conserved quantities through symmetries. If the Lagrangian does not depend explicitly on a coordinate or on time, corresponding physical quantities are often conserved. This makes it easier to identify invariants such as momentum, energy, and angular momentum.

1.5.1 Cyclic coordinates

A coordinate is cyclic if the Lagrangian does not depend on it explicitly. When this happens, the conjugate momentum associated with that coordinate is conserved. Cyclic coordinates often appear in systems with translational or rotational symmetry, and they provide a direct route to first integrals of motion.

1.5.2 Noether’s theorem

Noether’s theorem states that every continuous symmetry of the action corresponds to a conservation law. Time-translation symmetry leads to energy conservation, spatial translation symmetry to momentum conservation, and rotational symmetry to angular momentum conservation. This result connects symmetry and dynamics in a profound and general way.

2 Analytical mechanics

Analytical mechanics is the branch of mechanics that uses variational methods and generalized coordinates to study physical systems. It includes the Lagrangian framework as a central tool and extends naturally to constrained motion, oscillations, and systems with many interacting parts. Its methods are especially effective for deriving equations of motion in a systematic way.

2.1 Comparison with Newtonian mechanics

Newtonian mechanics describes motion in terms of forces and accelerations. The Lagrangian approach instead uses energy functions and variational principles. While both formulations are equivalent for many systems, the Lagrangian method is often more convenient when coordinates are curvilinear, when constraints must be handled carefully, or when symmetries play an important role.

2.2 Lagrange’s equations

Lagrange’s equations are the equations of motion obtained from the Lagrangian formalism. They have the same basic form as the Euler–Lagrange equations and apply to each generalized coordinate of the system. In practice, they provide a systematic way to derive dynamics without resolving every force into components.

2.3 Constraints

Constraints limit the allowed motions of a system. They may arise from rigid connections, rolling conditions, or geometric relations among coordinates. The Lagrangian framework handles constraints elegantly, often reducing the number of independent variables needed to describe the system.

2.3.1 Holonomic constraints

Holonomic constraints can be written as equations involving coordinates and time, such as f(q, t) = 0. These constraints reduce the accessible configuration space and can usually be incorporated by choosing suitable generalized coordinates. Many common mechanical restrictions fall into this category.

2.3.2 Nonholonomic constraints

Nonholonomic constraints involve velocities and cannot generally be integrated into equations depending only on coordinates and time. They often appear in rolling or slipping systems. Such constraints require more careful treatment, since they may not correspond to simple reductions in configuration space.

2.4 Lagrange multipliers in mechanics

Lagrange multipliers are auxiliary variables used to impose constraints while preserving the variational formulation. By adding multiplier terms to the Lagrangian, one can enforce relations among coordinates without solving the constraints in advance. This method is widely used in mechanics because it preserves a unified approach to dynamics and restriction conditions.

2.5 Small oscillations and normal modes

Near equilibrium, many systems can be approximated by linearized equations describing small oscillations. The Lagrangian method makes this analysis particularly clean, since the kinetic and potential energies can often be expanded to quadratic order. The resulting normal modes represent independent patterns of vibration, each with its own frequency.

3 Lagrangian formulations in physics

Beyond particle mechanics, Lagrangian ideas extend to fields, relativity, and quantum theory. In these settings, the basic object is often a Lagrangian density rather than a simple Lagrangian function. The formalism remains variational, but the variables now describe continuous distributions across space and time.

3.1 Lagrangian density

A Lagrangian density is a quantity whose integral over space gives the Lagrangian of a field system. It depends on fields, their derivatives, and spacetime coordinates. This object is central in modern physics because it provides a local description of interactions and supports relativistic and quantum formulations.

3.2 Field theory

In field theory, the dynamical variables are fields defined at each point in spacetime. The action is built from the Lagrangian density, and variation of the action yields field equations. This approach unifies the treatment of electromagnetic, scalar, and many other fields.

3.2.1 Scalar fields

A scalar field assigns a single value to each point in spacetime. Its Lagrangian density often includes kinetic terms, mass terms, and potential terms. Scalar field models are important in many areas of physics because they provide simple settings in which to study waves, interactions, and symmetry breaking.

3.2.2 Electromagnetic field

The electromagnetic field can be described by a Lagrangian density built from the electromagnetic potentials or field strengths. This formulation leads naturally to Maxwell’s equations. It also makes gauge symmetry explicit, showing how the same physical field can be represented by different potentials.

3.3 Relativistic mechanics

In relativistic mechanics, the Lagrangian must respect the structure of spacetime and the invariance principles of special relativity. The action is usually written in a form that does not depend on a particular inertial frame. This covariant structure is essential for describing high-speed particles and fundamental interactions.

3.4 Gauge symmetries

Gauge symmetries are transformations that change mathematical variables without altering observable physics. In the Lagrangian formalism, these symmetries strongly constrain the allowed terms in a theory. They play a central role in modern particle physics, where they help determine interaction laws and conservation relations.

3.5 Path integral formulation

The path integral formulation of quantum theory builds on the action principle by summing over all possible paths. Each path contributes with a phase determined by the action. The Lagrangian is therefore fundamental not only in classical physics but also in the quantum description of particles and fields.

4 Applications in mathematics

The Lagrangian method is also a major tool in mathematics, especially in areas that involve optimization, variational problems, and constrained systems. It provides a unifying language for finding extrema and for analyzing functionals defined over curves, surfaces, or more abstract spaces.

4.1 Calculus of variations

The calculus of variations studies functionals and seeks functions that make them stationary. The Lagrangian is the integrand of the functional being optimized. Problems in this area include shortest paths, minimal surfaces, and extremal surfaces in geometry and physics.

4.2 Optimization and constrained extrema

In optimization, a Lagrangian combines an objective function with constraint terms. This technique allows one to search for maxima or minima while respecting conditions that the variables must satisfy. It is widely used in mathematics, economics, engineering, and data science.

4.3 Lagrangian duality

Lagrangian duality is a framework in optimization that relates a difficult problem to a dual problem, which may be easier to analyze or solve. The Lagrangian encodes the original objective and constraints in a modified expression. Duality often provides bounds, optimality criteria, and theoretical insight into the structure of solutions.

4.4 Hamiltonian mechanics connection

The Lagrangian formalism is closely related to Hamiltonian mechanics. The transformation between the two is typically achieved through conjugate momenta and a Legendre transform. This connection is important because Hamiltonian methods emphasize phase space and symplectic structure, while Lagrangian methods emphasize coordinates and variational principles.

4.5 Geometric interpretation

Geometrically, the Lagrangian can be viewed as defining a structure on configuration space or on a larger space of paths and velocities. Its stationary points correspond to geodesic-like trajectories in an appropriate variational setting. This perspective helps link mechanics with differential geometry and global analysis.

The notion of a Lagrangian has many extensions beyond its simplest form. These include transformations to other dynamical descriptions, adaptations to systems with dissipation, numerical approximations, and applications in continuum media. The common theme is the use of structured variational methods to represent complex behavior.

5.1 Hamiltonian as a Legendre transform

The Hamiltonian is often obtained from the Lagrangian by a Legendre transform with respect to the velocities. This change of variables replaces generalized velocities with conjugate momenta. The result is a reformulation that is especially useful for phase-space methods and certain types of quantization.

5.2 Lagrangian and symplectic structure

Although the Lagrangian formalism is based on configuration space, it is deeply connected to symplectic geometry through the Hamiltonian reformulation. The passage from Lagrangian to Hamiltonian variables reveals a natural geometric structure on phase space. This structure underlies many important results in modern mechanics and mathematical physics.

5.3 Dissipative systems

Standard Lagrangian mechanics is best suited to conservative systems, but extensions exist for dissipative processes. Such systems lose energy through friction, drag, or other nonconservative effects. Modified variational approaches can sometimes incorporate these phenomena, though they may require auxiliary variables or generalized formulations.

5.4 Discrete and numerical Lagrangians

Discrete Lagrangians are used in numerical methods that approximate continuous dynamics by stepwise evolution. These methods are designed to preserve key geometric features of the original system, such as symmetries or conservation laws. They are valuable in computational physics and long-time simulations.

5.5 Lagrangian in fluid dynamics

In fluid dynamics, a Lagrangian description follows individual fluid parcels as they move through space and time. This is different from the Eulerian viewpoint, which examines fields at fixed spatial points. The Lagrangian perspective is useful for tracking transport, deformation, and material motion in fluids.