Action principles explained

Action principles lie at the heart of fundamental physics, from classical mechanics through quantum mechanics, particle physics, and general relativity.[1] Action principles start with an energy function called a Lagrangian describing the physical system. The accumulated value of this energy function between two states of the system is called the action. Action principles apply the calculus of variation to the action. The action depends on the energy function, and the energy function depends on the position, motion, and interactions in the system: variation of the action allows the derivation of the equations of motion without vector or forces.

Several distinct action principles differ in the constraints on their initial and final conditions.The names of action principles have evolved over time and differ in details of the endpoints of the paths and the nature of the variation. Quantum action principles generalize and justify the older classical principles. Action principles are the basis for Feynman's version of quantum mechanics, general relativity and quantum field theory.

The action principles have applications as broad as physics, including many problems in classical mechanics but especially in modern problems of quantum mechanics and general relativity. These applications built up over two centuries as the power of the method and its further mathematical development rose.

This article introduces the action principle concepts and summarizes other articles with more details on concepts and specific principles.

Common concepts

Action principles are "integral" approaches rather than the "differential" approach of Newtonian mechanics.[2] The core ideas are based on energy, paths, an energy function called the Lagrangian along paths, and selection of a path according to the "action", a continuous sum or integral of the Lagrangian along the path.

Energy, not force

Introductory study of mechanics, the science of interacting objects, typically begins with Newton's laws based on the concept of force, defined by the acceleration it causes when applied to mass:

F=ma.

This approach to mechanics focuses on a single point in space and time, attempting to answer the question: "What happens next?".[3] Mechanics based on action principles begin with the concept of action, an energy tradeoff between kinetic energy and potential energy, defined by the physics of the problem. These approaches answer questions relating starting and ending points: Which trajectory will place a basketball in the hoop? If we launch a rocket to the Moon today, how can it land there in 5 days?[3] The Newtonian and action-principle forms are equivalent, and either one can solve the same problems, but selecting the appropriate form will make solutions much easier.

The energy function in the action principles is not the total energy (conserved in an isolated system), but the Lagrangian, the difference between kinetic and potential energy. The kinetic energy combines the energy of motion for all the objects in the system; the potential energy depends upon the instantaneous position of the objects and drives the motion of the objects. The motion of the objects places them in new positions with new potential energy values, giving a new value for the Lagrangian.[4]

Using energy rather than force gives immediate advantages as a basis for mechanics. Force mechanics involves 3-dimensional vector calculus, with 3 space and 3 momentum coordinates for each object in the scenario; energy is a scalar magnitude combining information from all objects, giving an immediate simplification in many cases. The components of force vary with coordinate systems; the energy value is the same in all coordinate systems. Force requires an inertial frame of reference;[5] once velocities approach the speed of light, special relativity profoundly affects mechanics based on forces. In action principles, relativity merely requires a different Lagrangian: the principle itself is independent of coordinate systems.[6]

Paths, not points

The explanatory diagrams in force-based mechanics usually focus on a single point, like the center of momentum, and show vectors of forces and velocities. The explanatory diagrams of action-based mechanics have two points with actual and possible paths connecting them. These diagrammatic conventions reiterate the different strong points of each method.

Depending on the action principle, the two points connected by paths in a diagram may represent two particle positions at different times, or the two points may represent values in a configuration space or in a phase space. The mathematical technology and terminology of action principles can be learned by thinking in terms of physical space, then applied in the more powerful and general abstract spaces.

Action along a path

Action principles assign a number—the action—to each possible path between two points. This number is computed by adding an energy value for each small section of the path multiplied by the time spent in that section:[7]

action

S=

t2
\int
t1

(KE(t)-PE(t))dt,

where the form of the kinetic (

KE

) and potential (

PE

) energy expressions depend upon the physics problem, and their value at each point on the path depends upon relative coordinates corresponding to that point. The energy function is called a Lagrangian; in simple problems it is the kinetic energy minus the potential energy of the system.

Path variation

A system moving between two points takes one particular path; other similar paths are not taken. Each path corresponds to a value of the action. An action principle predicts or explains that the particular path taken has a stationary value for the system's action: similar paths near the one taken have very similar action value. This variation in the action value is key to the action principles.

The symbol

\delta

is used to indicate the path variations so an action principle appears mathematically as

(\deltaA)C=0,

meaning that at the stationary point, the variation of the action

A

with some fixed constraints

C

is zero.[8] For action principles, the stationary point may be a minimum or a saddle point, but not a maximum.[9] Elliptical planetary orbits provide a simple example of two paths with equal action one in each direction around the orbit; neither can be the minimum or "least action".[2] The path variation implied by

\delta

is not the same as a differential like

dt

. The action integral depends on the coordinates of the objects, and these coordinates depend upon the path taken. Thus the action integral is a functional, a function of a function.

Conservation principles

See main article: Noether's theorem. An important result from geometry known as Noether's theorem states that any conserved quantities in a Lagrangian imply a continuous symmetry and conversely.[10] For examples, a Lagrangian independent of time corresponds to a system with conserved energy; spatial translation independence implies momentum conservation; angular rotation invariance implies angular momentum conservation.[11] These examples are global symmetries, where the independence is itself independent of space or time; more general local symmetries having a functional dependence on space or time lead to gauge theory.[12] The observed conservation of isospin was used by Chen Ning Yang and Robert Mills in 1953 to construct a gauge theory for mesons, leading some decades later to modern particle physics theory.[13]

Distinct principles

Action principles apply to a wide variety of physical problems, including all of fundamental physics. The only major exceptions are cases involving friction or when only the initial position and velocities are given.[3] Different action principles have different meaning for the variations; each specific application of an action principle requires a specific Lagrangian describing the physics. A common name for any or all of these principles is "the principle of least action". For a discussion of the names and historical origin of these principles see action principle names.

Fixed endpoints with conserved energy

See main article: Maupertuis's principle. When total energy and the endpoints are fixed, Maupertuis's least action principle applies. For example, to score points in basketball the ball must leave the shooters hand and go through the hoop, but the time of the flight is not constrained.[3] Maupertuis's least action principle is written mathematically as the stationary condition (\delta W)_E = 0on the abbreviated action W[\mathbf{q}]\ \stackrel\ \int_^ \mathbf \cdot \mathbf,(sometimes written

S0

), where

p=(p1,p2,\ldots,pN)

are the particle momenta or the conjugate momenta of generalized coordinates, defined by the equation p_k\ \stackrel\ \frac,where

L(q,

q

,t)

is the Lagrangian. Some textbooks write[14] [8]

(\deltaW)E=0

as

\DeltaS0

, to emphasize that the variation used in this form of the action principle differs from Hamilton's variation. Here the total energy

E

is fixed during the variation, but not the time, the reverse of the constraints on Hamilton's principle.[15] Consequently, the same path and end points take different times and energies in the two forms. The solutions in the case of this form of Maupertuis's principle are orbits: functions relating coordinates to each other in which time is simply an index or a parameter.[15]

Time-independent potentials; no forces

See main article: Fermat's principle. For time-invariant system, the action

S

relates simply to the abbreviated action

W

on the stationary path as[8] \Delta S = \Delta W - E\Delta tfor energy

E

and time difference

\Deltat=t2-t1

. For a rigid body with no net force, the actions are identical, and the variational principles become equivalent to Fermat's principle of least time:[8] \delta(t_2 - t_1) = 0.

Fixed events

See main article: Hamilton's principle. When the physics problem gives the two endpoints as a position and a time, that is as events, Hamilton's action principle applies. For example, imagine planning a trip to the Moon. During your voyage the Moon will continue its orbit around the Earth: it's a moving target. Hamilton's principle for objects at positions

q(t)

is written mathematically as (\delta \mathcal)_ = 0,\ \mathrm\ \mathcal[\mathbf{q}]\ \stackrel\ \int_^ L(\mathbf(t), \dot(t), t) \,dt.The constraint

\Deltat=t2-t1

means that we only consider paths taking the same time, as well as connecting the same two points

q(t1)

and

q(t2)

. The Lagrangian

L=T-V

is the difference between kinetic energy and potential energy at each point on the path.[16] Solution of the resulting equations gives the world line

q(t)

.[3] Starting with Hamilton's principle, the local differential Euler–Lagrange equation can be derived for systems of fixed energy. The action

S

in Hamilton's principle is the Legendre transformation of the action in Maupertuis' principle.[17]

Classical field theory

See main article: Lagrangian (field theory). The concepts and many of the methods useful for particle mechanics also apply to continuous fields. The action integral runs over a Lagrangian density, but the concepts are so close that the density is often simply called the Lagrangian.[18]

Quantum action principles

For quantum mechanics, the action principles have significant advantages: only one mechanical postulate is needed, if a covariant Lagrangian is used in the action, the result is relativistically correct, and they transition clearly to classical equivalents.[2]

Both Richard Feynman and Julian Schwinger developed quantum action principles based on early work by Paul Dirac. Feynman's integral method was not a variational principle but reduces to the classical least action principle; it led to his Feynman diagrams. Schwinger's differential approach relates infinitesimal amplitude changes to infinitesimal action changes.[2]

Feynman's action principle

See main article: Path integral formulation. When quantum effects are important, new action principles are needed. Instead of a particle following a path, quantum mechanics defines a probability amplitude

\psi(xk,t)

at one point

xk

and time

t

related to a probability amplitude at a different point later in time:\psi(x_, t + \varepsilon) = \frac \int e^ \psi(x_k, t) \,dx_k,where

S(xk+1,xk)

is the classical action.[19] Instead of single path with stationary action, all possible paths add (the integral over

xk

), weighted by a complex probability amplitude

eiS/\hbar

. The phase of the amplitude is given by the action divided by the Planck constant or quantum of action:

S/\hbar

. When the action of a particle is much larger than

\hbar

,

S/\hbar\gg1

, the phase changes rapidly along the path: the amplitude averages to a small number.[7] Thus the Planck constant sets the boundary between classical and quantum mechanics.[20]

All of the paths contribute in the quantum action principle. At the end point, where the paths meet, the paths with similar phases add, and those with phases differing by

\pi

subtract. Close to the path expected from classical physics, phases tend to align; the tendency is stronger for more massive objects that have larger values of action. In the classical limit, one path dominates the path of stationary action.[21]

Schwinger's action principle

See main article: Schwinger's quantum action principle. Schwinger's approach relates variations in the transition amplitudes

(qf|qi)

to variations in an action matrix element:
\delta(q
rf
|q
ri

)=

i(q
rf

|\delta

S|q
ri

),

where the action operator is

S=

tf
\int
ti

Ldt.

The Schwinger form makes analysis of variation of the Lagrangian itself, for example, variation in potential source strength, especially transparent.[2]

The optico-mechanical analogy

See main article: Hamilton's optico-mechanical analogy. For every path, the action integral builds in value from zero at the starting point to it final value at the end. Any nearby path has similar values at similar distances from the starting point. Lines or surfaces of constant partial action value can be drawn across the paths, creating a wave-like view of the action. Analysis like this connects particle-like rays of geometrical optics with the wavefronts of Huygens–Fresnel principle.

Applications

Action principles are applied to derive differential equations like the Euler–Lagrange equations[8] or as direct applications to physical problems.

Classical mechanics

Action principles can be directly applied to many problems in classical mechanics, e.g. the shape of elastic rods under load,[22] the shape of a liquid between two vertical plates (a capillary),[22] or the motion of a pendulum when its support is in motion.[22]

Chemistry

Quantum action principles are used in the quantum theory of atoms in molecules (QTAIM), a way of decomposing the computed electron density of molecules in to atoms as a way of gaining insight into chemical bonding.[23]

General relativity

Inspired by Einstein's work on general relativity, the renowned mathematician David Hilbert applied the principle of least action to derive the field equations of general relativity.[24] His action, now know as the Einstein–Hilbert action,

S=

1
2\kappa

\intR\sqrt{-g}d4x,

contained a relativistically invariant volume element

\sqrt{-g}d4x

and the Ricci scalar curvature

R

. The scale factor

\kappa

is the Einstein gravitational constant.

Other applications

The action principle is so central in modern physics and mathematics that it is widely applied including in thermodynamics,[25] [26] [27] fluid mechanics,[28] the theory of relativity, quantum mechanics,[29] particle physics, and string theory.[30]

History

See main article: History of variational principles in physics. The action principle is preceded by earlier ideas in optics. In ancient Greece, Euclid wrote in his Catoptrica that, for the path of light reflecting from a mirror, the angle of incidence equals the angle of reflection.[31] Hero of Alexandria later showed that this path has the shortest length and least time.[32]

Building on the early work of Pierre Louis Maupertuis, Leonhard Euler, and Joseph Louis Lagrange defining versions of principle of least action,[33] William Rowan Hamilton and in tandem Carl Gustav Jacobi developed a variational form for classical mechanics known as the Hamilton–Jacobi equation.[34]

In 1915, David Hilbert applied the variational principle to derive Albert Einstein's equations of general relativity.[35]

In 1933, the physicist Paul Dirac demonstrated how this principle can be used in quantum calculations by discerning the quantum mechanical underpinning of the principle in the quantum interference of amplitudes.[36] Subsequently Julian Schwinger and Richard Feynman independently applied this principle in quantum electrodynamics.[37] [38]

Notes and References

  1. Thomas A. Moore "Least-Action Principle" in Macmillan Encyclopedia of Physics, John Rigden, editor, Simon & Schuster Macmillan, 1996, volume 2, page 840.
  2. Book: Yourgrau . Wolfgang . Variational principles in dynamics and quantum theory . Mandelstam . Stanley . 1979 . Dover Publ . 978-0-486-63773-0 . Republ. of the 3rd ed., publ. in 1968 . Dover books on physics and chemistry . New York, NY.
  3. Hanc . Jozef . Taylor . Edwin F. . Tuleja . Slavomir . 2005-07-01 . Variational mechanics in one and two dimensions . American Journal of Physics . en . 73 . 7 . 603–610 . 10.1119/1.1848516 . 2005AmJPh..73..603H . 0002-9505.
  4. Book: Coopersmith, Jennifer . The lazy universe : an introduction to the principle of least action . 2017 . Oxford; New York, NY : Oxford University Press . 978-0-19-874304-0.
  5. Book: Kleppner . Daniel . Kolenkow . Robert J. . An Introduction to Mechanics. 2014. Cambridge University Press . Cambridge . 978-0521198110 . 2nd . Chapter 3: Forces and equations of motion . https://archive.org/details/KleppnerD.KolenkowR.J.IntroductionToMechanics2014/page/n102.
  6. Moore . Thomas A. . 2004-04-01 . Getting the most action out of least action: A proposal . American Journal of Physics . en . 72 . 4 . 522–527 . 10.1119/1.1646133 . 2004AmJPh..72..522M . 0002-9505.
  7. Book: The Feynman Lectures on Physics . II . Ch. 19: The Principle of Least Action . 2023-11-03.
  8. Book: Goldstein . Herbert . Classical mechanics . Poole . Charles P. . Safko . John L. . 2008 . Addison Wesley . 978-0-201-65702-9 . 3rd ed., [Nachdr.] . San Francisco, Munich.
  9. Gray . C. G. . Taylor . Edwin F. . May 2007 . When action is not least . American Journal of Physics . en . 75 . 5 . 434–458 . 10.1119/1.2710480 . 2007AmJPh..75..434G . 0002-9505.
  10. Hill . E. L. . 1951-07-01 . Hamilton's Principle and the Conservation Theorems of Mathematical Physics . Reviews of Modern Physics . en . 23 . 3 . 253–260 . 10.1103/RevModPhys.23.253 . 1951RvMP...23..253H . 0034-6861.
  11. Book: Penrose, Roger . The road to reality: a complete guide to the laws of the universe . 2005 . Alfred A. Knopf . 978-0-679-45443-4 . New York.
  12. Brading . Katherine . 1941 . Which Symmetry? Noether, Weyl, and Conservation of Electric Charge . Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics . 33 . 1 . 3–22 . 10.1016/S1355-2198(01)00033-8 . 2002SHPMP..33....3B .
  13. Book: Baggott, J. E. . The quantum story: a history in 40 moments . 2013 . Oxford Univ. Press . 978-0-19-956684-6 . Impression: 3 . Oxford.
  14. Book: Hand . Louis N. . Analytical mechanics . Finch . Janet D. . 2008 . Cambridge Univ. Press . 978-0-521-57572-0 . 7. print . Cambridge.
  15. Gray . Chris G. . 2009-12-09 . Principle of least action . Scholarpedia . 4 . 12 . 8291 . en . 10.4249/scholarpedia.8291 . free . 2009SchpJ...4.8291G .
  16. Book: Kibble . T. W. B. . Berkshire . F. H. . Classical Mechanics . 5th . 2004 . 9781860944352 . Imperial College Press.
  17. Gray . C. G. . Karl . G. . Novikov . V. A. . 2004-02-01 . Progress in classical and quantum variational principles . Reports on Progress in Physics . 67 . 2 . 159–208 . 10.1088/0034-4885/67/2/R02 . 0034-4885 . physics/0312071 . 2004RPPh...67..159G .
  18. Book: Peskin, Michael E. . An Introduction To Quantum Field Theory . 2018-01-31 . CRC Press . 978-0-429-50355-9 . Boca Raton . 10.1201/9780429503559.
  19. Feynman . R. P. . 1948-04-01 . Space-Time Approach to Non-Relativistic Quantum Mechanics . Reviews of Modern Physics . en . 20 . 2 . 367–387 . 10.1103/RevModPhys.20.367 . 1948RvMP...20..367F . 0034-6861.
  20. Curtis . Lorenzo J. . 2011-09-01 . A 21st century perspective as a primer to introductory physics . European Journal of Physics . 32 . 5 . 1259–1274 . 10.1088/0143-0807/32/5/014 . 2011EJPh...32.1259C . 0143-0807.
  21. Ogborn . Jon . Taylor . Edwin F. . 2004-12-24 . Quantum physics explains Newton's laws of motion . Physics Education . 40 . 1 . 26–34 . 10.1088/0031-9120/40/1/001 . 0031-9120.
  22. Book: Dittrich, Walter . The Development of the Action Principle: A Didactic History from Euler-Lagrange to Schwinger . 2021 . Springer International Publishing . 978-3-030-69104-2 . SpringerBriefs in Physics . Cham . en . 10.1007/978-3-030-69105-9.
  23. Bader . Richard F. W. . June 2005 . The Quantum Mechanical Basis of Conceptual Chemistry . Monatshefte für Chemie – Chemical Monthly . en . 136 . 6 . 819–854 . 10.1007/s00706-005-0307-x . 0026-9247.
  24. Book: The Principle of Least Action: History and Physics . Relativity and Least Action . 2018 . Cambridge University Press . 978-0-521-86902-7 . Rojo . Alberto . Cambridge . 162–188 . 10.1017/9781139021029.007 . Bloch . Anthony.
  25. 10.1016/j.aop.2008.04.007 . Thermodynamics based on the principle of least abbreviated action: Entropy production in a network of coupled oscillators . Annals of Physics . 323 . 8 . 1844–1858 . 2008 . García-Morales . Vladimir . Pellicer . Julio . Manzanares . José A. . 2008AnPhy.323.1844G . cond-mat/0602186 . 118464686 .
  26. Gay-Balmaz . François . Yoshimura . Hiroaki . 2018 . From Lagrangian Mechanics to Nonequilibrium Thermodynamics: A Variational Perspective . Entropy . en . 21 . 1 . 8 . 10.3390/e21010008 . 33266724 . 7514189 . 1904.03738 . 2018Entrp..21....8G . 1099-4300 . free .
  27. Biot . Maurice Anthony . 1975 . A virtual dissipation principle and Lagrangian equations in non-linear irreversible thermodynamics . Bulletin de la Classe des sciences . 61 . 1 . 6–30 . 10.3406/barb.1975.57878 . 0001-4141.
  28. 10.4249/scholarpedia.8291 . Principle of least action . 2009 . Gray . Chris . Scholarpedia . 4 . 12 . 8291 . 2009SchpJ...4.8291G . free.
  29. .
  30. Web site: Principle of Least Action – damtp . 2016-07-18 . https://web.archive.org/web/20151010195059/http://www.damtp.cam.ac.uk/user/db275/LeastAction.pdf . 2015-10-10 .
  31. 1966 . Optics from Euclid to Huygens . Applied Optics . 5 . 9 . 1383–1893 . 1966ApOpt...5.1383H . 10.1364/AO.5.001383 . 20057555 . In Catoptrics the law of reflection is stated, namely that incoming and outgoing rays form the same angle with the surface normal. . Helzberger . Max.
  32. Book: Kline, Morris . Mathematical Thought from Ancient to Modern Times . 1972 . Oxford University Press . 0-19-501496-0 . New York . 167–168 . registration.
  33. Book: Kline, Morris . Mathematical Thought from Ancient to Modern Times . registration . Oxford University Press . New York . 1972 . 167–168 . 0-19-501496-0.
  34. Nakane, Michiyo, and Craig G. Fraser. "The Early History of Hamilton-Jacobi Dynamics 1834–1837." Centaurus 44.3-4 (2002): 161–227.
  35. Book: Mehra, Jagdish . Einstein, Hilbert, and the Theory of Gravitation . Mehra . Jagdish . The physicist's conception of nature . 1987 . Reidel . 978-90-277-2536-3 . Reprint . Dordrecht.
  36. Dirac . Paul A. M. . Paul Dirac . 1933 . The Lagrangian in Quantum Mechanics . Physikalische Zeitschrift der Sowjetunion . 3 . 1 . 64–72.
  37. R. Feynman, Quantum Mechanics and Path Integrals, McGraw-Hill (1965), .
  38. J. S. Schwinger, Quantum Kinematics and Dynamics, W. A. Benjamin (1970), .