principle of stationary action

The stationary-action principle – also known as the principle of least action – is a variational principle that, when applied to the ''action'' of a mechanical system, yields the equations of motion for that system. The principle states that the trajectories (i.e. the solutions of the equations of motion) are '' stationary points'' of the system's ''action functional''. The term "least action" is a historical misnomer since the principle has no minimality requirement: the value of the action functional need not be minimal (even locally) on the trajectories.The Feynman Lectures on Physics Vol. II Ch. 19: The Principle of Least Action
/ref>

The principle can be used to derive Newtonian, Lagrangian and Hamiltonian equations of motion, and even general relativity (see Einstein–Hilbert action). In relativity, a different action must be minimized or maximized.

The classical mechanics and electromagnetic expressions are a consequence of quantum mechanics. The stationary action method helped in the development of quantum mechanics. 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. Subsequently Julian Schwinger and Richard Feynman independently applied this principle in quantum electrodynamics.

The principle remains central in modern physics and mathematics, being applied in thermodynamics, fluid mechanics, the theory of relativity, quantum mechanics, particle physics, and string theory and is a focus of modern mathematical investigation in Morse theory. Maupertuis' principle and Hamilton's principle exemplify the principle of stationary action.

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. Hero of Alexandria later showed that this path was the shortest length and least time.

Scholars often credit Pierre Louis Maupertuis for formulating the principle of least action because he wrote about it in 1744P.L.M. de Maupertuis, '' Accord de différentes lois de la nature qui avaient jusqu'ici paru incompatibles.'' (1744) Mém. As. Sc. Paris p. 417. ( English translation) and 1746.P.L.M. de Maupertuis, '' Le lois de mouvement et du repos, déduites d'un principe de métaphysique.'' (1746) Mém. Ac. Berlin, p. 267.( English translation) However, Leonhard Euler discussed the principle in 1744,Leonhard Euler, ''Methodus Inveniendi Lineas Curvas Maximi Minive Proprietate Gaudentes.'' (1744) Bousquet, Lausanne & Geneva. 320 pages. Reprinted in ''Leonhardi Euleri Opera Omnia: Series I vol 24.'' (1952) C. Cartheodory (ed.) Orell Fuessli, Zurich
Scanned copy of complete text
at
The Euler Archive
', Dartmouth. and evidence shows that Gottfried Leibniz preceded both by 39 years.J J O'Connor and E F Robertson,
The Berlin Academy and forgery
, (2003), at
The MacTutor History of Mathematics archive
'.Gerhardt CI. (1898) "Über die vier Briefe von Leibniz, die Samuel König in dem Appel au public, Leide MDCCLIII, veröffentlicht hat", ''Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften'', I, 419–427.Kabitz W. (1913) "Über eine in Gotha aufgefundene Abschrift des von S. König in seinem Streite mit Maupertuis und der Akademie veröffentlichten, seinerzeit für unecht erklärten Leibnizbriefes", ''Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften'', II, 632–638.

General statement

The ''action'', denoted $\mathcal$, of a physical system is defined as the integral of the Lagrangian ''L'' between two instants of time and – technically a functional of the generalized coordinates which are functions of time and define the configuration of the system:

$\mathbf : \mathbf \to \mathbf^N$
\mathcal mathbf, t_1, t_2= \int_^ L(\mathbf(t),\mathbf(t), t) dt
where the dot denotes the time derivative, and is time.

Mathematically the principle isAnalytical Mechanics, L.N. Hand, J.D. Finch, Cambridge University Press, 2008,
$\delta \mathcal = 0 ,$
where ''δ'' (lowercase Greek delta) means a ''small'' change. In words this reads:

Stationary action is not always a minimum, despite the historical name of least action. It is a minimum principle for sufficiently short, finite segments in the path.

In applications the statement and definition of action are taken together:
$\delta \int_^ L(\mathbf, \mathbf,t) dt = 0 .$

The action and Lagrangian both contain the dynamics of the system for all times. The term "path" simply refers to a curve traced out by the system in terms of the coordinates in the configuration space, i.e. the curve , parameterized by time (see also parametric equation for this concept).

Origins, statements, and controversy

Fermat

In the 1600s, Pierre de Fermat postulated that "''light travels between two given points along the path of shortest time''," which is known as the principle of least time or Fermat's principle.

Maupertuis

Credit for the formulation of the principle of least action is commonly given to Pierre Louis Maupertuis, who felt that "Nature is thrifty in all its actions", and applied the principle broadly:

This notion of Maupertuis, although somewhat deterministic today, does capture much of the essence of mechanics.

In application to physics, Maupertuis suggested that the quantity to be minimized was the product of the duration (time) of movement within a system by the " vis viva",

which is the integral of twice what we now call the kinetic energy ''T'' of the system.

Euler

Leonhard Euler gave a formulation of the action principle in 1744, in very recognizable terms, in the ''Additamentum 2'' to his ''Methodus Inveniendi Lineas Curvas Maximi Minive Proprietate Gaudentes''. Beginning with the second paragraph:

As Euler states, is the integral of the momentum over distance travelled, which, in modern notation, equals the abbreviated or reduced action

Thus, Euler made an equivalent and (apparently) independent statement of the variational principle in the same year as Maupertuis, albeit slightly later. Curiously, Euler did not claim any priority, as the following episode shows.

Disputed priority

Maupertuis' priority was disputed in 1751 by the mathematician Samuel König, who claimed that it had been invented by Gottfried Leibniz in 1707. Although similar to many of Leibniz's arguments, the principle itself has not been documented in Leibniz's works. König himself showed a ''copy'' of a 1707 letter from Leibniz to Jacob Hermann with the principle, but the ''original'' letter has been lost. In contentious proceedings, König was accused of forgery, and even the King of Prussia entered the debate, defending Maupertuis (the head of his Academy), while Voltaire defended König.

Euler, rather than claiming priority, was a staunch defender of Maupertuis, and Euler himself prosecuted König for forgery before the Berlin Academy on 13 April 1752. The claims of forgery were re-examined 150 years later, and archival work by C.I. Gerhardt in 1898 and W. Kabitz in 1913 uncovered other copies of the letter, and three others cited by König, in the Bernoulli archives.

Further development

Euler continued to write on the topic; in his ''Réflexions sur quelques loix générales de la nature'' (1748), he called action "effort". His expression corresponds to modern potential energy, and his statement of least action says that the total potential energy of a system of bodies at rest is minimized, a principle of modern statics.

Lagrange and Hamilton

Much of the calculus of variations was stated by Joseph-Louis Lagrange of a mechanical body. William Rowan Hamilton in 1834 and 1835 applied the variational principle to the classical Lagrangian function $L = T - V$ to obtain the Euler–Lagrange equations in their present form.

Jacobi, Morse and Caratheodory

In 1842, Carl Gustav Jacobi tackled the problem of whether the variational principle always found minima as opposed to other stationary points (maxima or stationary saddle points); most of his work focused on geodesics on two-dimensional surfaces. The first clear general statements were given by Marston Morse in the 1920s and 1930s,Marston Morse (1934). "The Calculus of Variations in the Large", ''American Mathematical Society Colloquium Publication'' 18; New York. leading to what is now known as Morse theory. For example, Morse showed that the number of conjugate points in a trajectory equalled the number of negative eigenvalues in the second variation of the Lagrangian. A particularly elegant derivation of the Euler-Lagrange equation was formulated by Constantin Caratheodory and published by him in 1935.

Gauss and Hertz

Other extremal principles of classical mechanics have been formulated, such as Gauss's principle of least constraint and its corollary, Hertz's principle of least curvature.

Disputes about possible teleological aspects

The mathematical equivalence of the differential equations of motion and their integral
counterpart has important philosophical implications. The differential equations are statements about quantities localized to a single point in space or single moment of time. For example, Newton's second law
$\mathbf = m\mathbf$
states that the ''instantaneous'' force F applied to a mass ''m'' produces an acceleration a at the same ''instant''. By contrast, the action principle is not localized to a point; rather, it involves integrals over an interval of time and (for fields) an extended region of space. Moreover, in the usual formulation of classical action principles, the initial and final states of the system are fixed, e.g.,

In particular, the fixing of the ''final'' state has been interpreted as giving the action principle a teleological character which has been controversial historically. However, according to W. Yourgrau and S. Mandelstam, ''the teleological approach... presupposes that the variational principles themselves have mathematical characteristics which they ''de facto'' do not possess'' In addition, some critics maintain this apparent teleology occurs because of the way in which the question was asked. By specifying some but not all aspects of both the initial and final conditions (the positions but not the velocities) we are making some inferences about the initial conditions from the final conditions, and it is this "backward" inference that can be seen as a teleological explanation. Teleology can also be overcome if we consider the classical description as a limiting case of the quantum formalism of path integration

HOME


Content is Copyleft
Website design, code, and AI is Copyrighted (c) 2014-2017 by Stephen Payne


Consider donating to Wikimedia



As an Amazon Associate I earn from qualifying purchases