Action (physics)

History

Pierre Louis Maupertuis and Leonhard Euler working in the 1740s developed early versions of the action principle. Joseph Louis Lagrange clarified the mathematics when he invented the calculus of variations. William Rowan Hamilton made the next big breakthrough, formulating Hamilton's principle in 1853. Hamilton's principle became the cornerstone for classical work with different forms of action until Richard Feynman and Julian Schwinger developed quantum action principles.

Definitions

Expressed in mathematical language, using the calculus of variations, the evolution of a physical system (that is, how the system actually progresses from one state to another) corresponds to a stationary point (usually, a minimum) of the action. Action has the dimensions of [energy] × [time], and its SI unit is joule-second, which is identical to the unit of angular momentum.

Several different definitions of "the action" are in common use in physics. The action is usually an integral over time. However, when the action pertains to fields, it may be integrated over spatial variables as well. In some cases, the action is integrated along the path followed by the physical system.

The action is typically represented as an integral over time, taken along the path of the system between the initial time and the final time of the development of the system: $${\displaystyle \mathcal{S}={\int }_{t_1}^{t_2}Ldt,}$$ where the integrand L is called the Lagrangian. For the action integral to be well-defined, the trajectory has to be bounded in time and space.

Action (functional)

Most commonly, the term is used for a functional 𝒮 which takes a function of time and (for fields) space as input and returns a scalar. In classical mechanics, the input function is the evolution q(t) of the system between times t₁ and t₂, where q represents the generalized coordinates. The action 𝒮[q(t)] is defined as the integral of the Lagrangian L for an input evolution between the two times: $${\displaystyle \mathcal{S}[\mathbf{q}(t)]={\int }_{t_1}^{t_2}L(\mathbf{q}(t),\dot{\mathbf{q}}(t),t)dt,}$$ where the endpoints of the evolution are fixed and defined as q₁ = q(t₁) and q₂ = q(t₂). According to Hamilton's principle, the true evolution q_true(t) is an evolution for which the action 𝒮[q(t)] is stationary (a minimum, maximum, or a saddle point). This principle results in the equations of motion in Lagrangian mechanics.

Abbreviated action (functional)

In addition to the action functional, there is another functional called the abbreviated action. In the abbreviated action, the input function is the path followed by the physical system without regard to its parameterization by time. For example, the path of a planetary orbit is an ellipse, and the path of a particle in a uniform gravitational field is a parabola; in both cases, the path does not depend on how fast the particle traverses the path.

The abbreviated action 𝒮₀ (sometimes written as W) is defined as the integral of the generalized momenta, $${\displaystyle p_i=\frac{\mathrm{\partial }L(q,t)}{\mathrm{\partial }{\dot{q}}_i},}$$ for a system Lagrangian L along a path in the generalized coordinates q_i: $${\displaystyle {\mathcal{S}}_0={\int }_{q_1}^{q_2}\mathbf{p}\cdot d\mathbf{q}={\int }_{q_1}^{q_2}\sum _i{p}_{i}d{q}_i.}$$ where q₁ and q₂ are the starting and ending coordinates. According to Maupertuis's principle, the true path of the system is a path for which the abbreviated action is stationary.

Hamilton's characteristic function

When the total energy E is conserved, the Hamilton–Jacobi equation can be solved with the additive separation of variables: $${\displaystyle S(q_1,\dots ,q_N,t)=W(q_1,\dots ,q_N)-E\cdot t,}$$ where the time-independent function W(q₁,q₂,…,q_N) is called Hamilton's characteristic function. The physical significance of this function is understood by taking its total time derivative

$${\displaystyle \frac{dW}{dt}=\frac{\mathrm{\partial }W}{\mathrm{\partial }{q}_i}{\dot{q}}_i=p_i{\dot{q}}_i.}$$

This can be integrated to give

$${\displaystyle W(q_1,\dots ,q_N)=\int p_i{\dot{q}}_{i}dt=\int p_{i}d{q}_i,}$$

which is just the abbreviated action.

Action of a generalized coordinate

A variable J_k in the action-angle coordinates, called the "action" of the generalized coordinate q_k, is defined by integrating a single generalized momentum around a closed path in phase space, corresponding to rotating or oscillating motion:

$${\displaystyle J_k=\oint p_{k}d{q}_k}$$

The corresponding canonical variable conjugate to J_k is its "angle" w_k, for reasons described more fully under action-angle coordinates. The integration is only over a single variable q_k and, therefore, unlike the integrated dot product in the abbreviated action integral above. The J_k variable equals the change in S_k(q_k) as q_k is varied around the closed path. For several physical systems of interest, J_k is either a constant or varies very slowly; hence, the variable J_k is often used in perturbation calculations and in determining adiabatic invariants. For example, they are used in the calculation of planetary and satellite orbits.

Single relativistic particle

When relativistic effects are significant, the action of a point particle of mass m travelling a world line C parametrized by the proper time τ is $${\displaystyle S=-m{c}^2{\int }_{C}d\tau .}$$

If instead, the particle is parametrized by the coordinate time t of the particle and the coordinate time ranges from t₁ to t₂, then the action becomes $${\displaystyle S={\int }_{t1}^{t2}Ldt,}$$ where the Lagrangian is $${\displaystyle L=-m{c}^2\sqrt{-c^{-2}{g}_{\mu \nu }\frac{d{x}^{\mu }}{dt}\frac{d{x}^{\nu }}{dt}}\approx -m{c}^2\sqrt{1-\frac{v^2}{c^2}},}$$

where g_μν is the metric tensor ≈ (−c²,1,1,1).

Action principles and related ideas

Physical laws are frequently expressed as differential equations, which describe how physical quantities such as position and momentum change continuously with time, space or a generalization thereof. Given the initial and boundary conditions for the situation, the "solution" to these empirical equations is one or more functions that describe the behavior of the system and are called equations of motion.

Action is a part of an alternative approach to finding such equations of motion. Classical mechanics postulates that the path actually followed by a physical system is that for which the action is minimized, or more generally, is stationary. In other words, the action satisfies a variational principle: the principle of stationary action (see also below). The action is defined by an integral, and the classical equations of motion of a system can be derived by minimizing the value of that integral.

The action principle provides deep insights into physics, and is an important concept in modern theoretical physics. Various action principles and related concepts are summarized below.

Maupertuis's principle

In classical mechanics, Maupertuis's principle (named after Pierre Louis Maupertuis) states that the path followed by a physical system is the one of least length (with a suitable interpretation of path and length). Maupertuis's principle uses the abbreviated action between two generalized points on a path.

Hamilton's principal function

Hamilton's principle states that the differential equations of motion for any physical system can be re-formulated as an equivalent integral equation. Thus, there are two distinct approaches for formulating dynamical models.

Hamilton's principle applies not only to the classical mechanics of a single particle, but also to classical fields such as the electromagnetic and gravitational fields. Hamilton's principle has also been extended to quantum mechanics and quantum field theory—in particular the path integral formulation of quantum mechanics makes use of the concept—where a physical system explores all possible paths, with the phase of the probability amplitude for each path being determined by the action for the path; the final probability amplitude adds all paths using their complex amplitude and phase.

Hamilton–Jacobi equation

Hamilton's principal function S = S(q,t;q₀,t₀) is obtained from the action functional 𝒮 by fixing the initial time t₀ and the initial endpoint q₀, while allowing the upper time limit t and the second endpoint q to vary. The Hamilton's principal function satisfies the Hamilton–Jacobi equation, a formulation of classical mechanics. Due to a similarity with the Schrödinger equation, the Hamilton–Jacobi equation provides, arguably, the most direct link with quantum mechanics.

Euler–Lagrange equations

In Lagrangian mechanics, the requirement that the action integral be stationary under small perturbations is equivalent to a set of differential equations (called the Euler–Lagrange equations) that may be obtained using the calculus of variations.

Classical fields

The action principle can be extended to obtain the equations of motion for fields, such as the electromagnetic field or gravitational field. Maxwell's equations can be derived as conditions of stationary action.

The Einstein equation utilizes the Einstein–Hilbert action as constrained by a variational principle. The trajectory (path in spacetime) of a body in a gravitational field can be found using the action principle. For a free falling body, this trajectory is a geodesic.

Conservation laws

Implications of symmetries in a physical situation can be found with the action principle, together with the Euler–Lagrange equations, which are derived from the action principle. An example is Noether's theorem, which states that to every continuous symmetry in a physical situation there corresponds a conservation law (and conversely). This deep connection requires that the action principle be assumed.

Path integral formulation of quantum field theory

In quantum mechanics, the system does not follow a single path whose action is stationary, but the behavior of the system depends on all permitted paths and the value of their action. The action corresponding to the various paths is used to calculate the path integral, which gives the probability amplitudes of the various outcomes.

Although equivalent in classical mechanics with Newton's laws, the action principle is better suited for generalizations and plays an important role in modern physics. Indeed, this principle is one of the great generalizations in physical science. It is best understood within quantum mechanics, particularly in Richard Feynman's path integral formulation, where it arises out of destructive interference of quantum amplitudes.

Modern extensions

The action principle can be generalized still further. For example, the action need not be an integral, because nonlocal actions are possible. The configuration space need not even be a functional space, given certain features such as noncommutative geometry. However, a physical basis for these mathematical extensions remains to be established experimentally.