Principle of least action








This article discusses the history of the principle of least action. For the application, please refer to action (physics).

The principle of least action – or, more accurately, the principle of stationary action – is a variational principle that, when applied to the action of a mechanical system, can be used to obtain the equations of motion for that system. In relativity, a different action must be minimized or maximized. The principle can be used to derive Newtonian, Lagrangian and Hamiltonian equations of motion, and even general relativity (see Einstein–Hilbert action). The physicist Paul Dirac[1], and after him Julian Schwinger and Richard Feynman, demonstrated how this principle can also be used in quantum calculations.[2][3]
It was historically called "least" because its solution requires finding the path that has the least value.[4] Its classical mechanics and electromagnetic expressions are a consequence of quantum mechanics, but the stationary action method helped in the development of quantum mechanics.[5]


The principle remains central in modern physics and mathematics, being applied in thermodynamics,[6]fluid mechanics,[7] the theory of relativity, quantum mechanics,[8]particle physics, and string theory[9] 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.[citation needed]Hero of Alexandria later showed that this path was the shortest length and least time.[10]


Scholars often credit Pierre Louis Maupertuis for formulating the principle of least action because he wrote about it in 1744[11] and 1746.[12] However, Leonhard Euler discussed the principle in 1744,[13] and evidence shows that Gottfried Leibniz preceded both by 39 years.[14][15][16]


In 1933, Paul Dirac discerned the quantum mechanical underpinning of the principle in the quantum interference of amplitudes.[17]




Contents





  • 1 General statement


  • 2 Origins, statements, and controversy

    • 2.1 Fermat


    • 2.2 Maupertuis


    • 2.3 Euler


    • 2.4 Disputed priority



  • 3 Further development

    • 3.1 Lagrange and Hamilton


    • 3.2 Jacobi and Morse


    • 3.3 Gauss and Hertz



  • 4 Disputes about possible teleological aspects


  • 5 See also


  • 6 Notes and references


  • 7 External links




General statement




As the system evolves, q traces a path through configuration space (only some are shown). The path taken by the system (red) has a stationary action (δS = 0) under small changes in the configuration of the system (δq).[18]


The starting point is the action, denoted Sdisplaystyle mathcal Smathcal S (calligraphic S), of a physical system. It is defined as the integral of the Lagrangian L between two instants of time t1 and t2 - technically a functional of the N generalized coordinates q = (q1, q2, ... , qN) which define the configuration of the system:


q:R→RNdisplaystyle mathbf q :mathbf R to mathbf R ^Ndisplaystyle mathbf q :mathbf R to mathbf R ^N

S[q,t1,t2]=∫t1t2L(q(t),q˙(t),t)dtdisplaystyle mathcal S[mathbf q ,t_1,t_2]=int _t_1^t_2L(mathbf q (t),mathbf dot q (t),t)dtdisplaystyle mathcal S[mathbf q ,t_1,t_2]=int _t_1^t_2L(mathbf q (t),mathbf dot q (t),t)dt

where the dot denotes the time derivative, and t is time.


Mathematically the principle is[19][20][21]


δS=0,displaystyle delta mathcal S=0,displaystyle delta mathcal S=0,

where δ (lowercase Greek delta) means a small change. In words this reads:[18]


The path taken by the system between times t1 and t2 and configurations q1 and q2 is the one for which the action is stationary (no change) to first order.

In applications the statement and definition of action are taken together:[22]


δ∫t1t2L(q,q˙,t)dt=0.displaystyle delta int _t_1^t_2L(mathbf q ,mathbf dot q ,t)dt=0.displaystyle delta int _t_1^t_2L(mathbf q ,mathbf dot q ,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 q(t), 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.[21]



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:


.mw-parser-output .templatequoteoverflow:hidden;margin:1em 0;padding:0 40px.mw-parser-output .templatequote .templatequoteciteline-height:1.5em;text-align:left;padding-left:1.6em;margin-top:0

The laws of movement and of rest deduced from this principle being precisely the same as those observed in nature, we can admire the application of it to all phenomena. The movement of animals, the vegetative growth of plants ... are only its consequences; and the spectacle of the universe becomes so much the grander, so much more beautiful, the worthier of its Author, when one knows that a small number of laws, most wisely established, suffice for all movements.


— Pierre Louis Maupertuis[23]


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",



Maupertuis' principle

δ∫2T(t)dt=0displaystyle delta int 2T(t)dt=0delta int 2T(t)dt=0


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, ∫Mvds is the integral of the momentum over distance travelled, which, in modern notation, equals the abbreviated or reduced action



Euler's principle

δ∫pdq=0displaystyle delta int p,dq=0delta int p,dq=0


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,[14] and even the King of Prussia entered the debate, defending Maupertuis (the head of his Academy), while Voltaire defended König.[citation needed]


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.[14] The claims of forgery were re-examined 150 years later, and archival work by C.I. Gerhardt in 1898[15] and W. Kabitz in 1913[16] 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 Reflexions sur quelques loix generales de la nature (1748), he called the quantity "effort". His expression corresponds to what we would now call potential energy, so that his statement of least action in statics is equivalent to the principle that a system of bodies at rest will adopt a configuration that minimizes total potential energy.



Lagrange and Hamilton



Much of the calculus of variations was stated by Joseph-Louis Lagrange in 1760[25][26] and he proceeded to apply this to problems in dynamics. In Méchanique Analytique (1788) Lagrange derived the general equations of motion of a mechanical body.[27]William Rowan Hamilton in 1834 and 1835[28] applied the variational principle to the classical Lagrangian function


L=T−Vdisplaystyle L=T-VL=T-V

to obtain the Euler–Lagrange equations in their present form.



Jacobi and Morse


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.[29] The first clear general statements were given by Marston Morse in the 1920s and 1930s,[30] 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.



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


F=madisplaystyle mathbf F =mmathbf a mathbf F =mmathbf a

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.,


Given that the particle begins at position x1 at time t1 and ends at position x2 at time t2, the physical trajectory that connects these two endpoints is an extremum of the action integral.

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[31] 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, in which stationary paths are obtained as a result of interference of amplitudes along all possible paths.[4]


The short story Story of Your Life by the speculative fiction writer Ted Chiang contains visual depictions of Fermat's Principle along with a discussion of its teleological dimension. Keith Devlin's The Math Instinct contains a chapter, "Elvis the Welsh Corgi Who Can Do Calculus" that discusses the calculus "embedded" in some animals as they solve the "least time" problem in actual situations.



See also



  • Action (physics)

  • Path integral formulation

  • Schwinger's quantum action principle

  • Path of least resistance

  • Analytical mechanics

  • Calculus of variations

  • Hamiltonian mechanics

  • Lagrangian mechanics

  • Occam's razor



Notes and references




  1. ^ P.A.M. Dirac, Physikalische Zeitschrift der Sowjetunion, Band 3, Heft 1, 64
    (1933). A translated version can be found in; Julian S. Schwinger, Selected Papers on Electrodynamics, Dover Publications Inc.(1958), pp. 312..mw-parser-output cite.citationfont-style:inherit.mw-parser-output qquotes:"""""""'""'".mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em
    ISBN 9780883076484



  2. ^ R. Feynman, Quantum Mechanics, And Path Integrals, McGraw-Hill Companies (1965),
    ISBN 0070206503



  3. ^ R. J. S. Schwinger, Quantum Kinematics and Dynamics, W. A. Benjamin Publishers (1970),
    ISBN 0738203033



  4. ^ ab Chapter 19 of Volume II, Feynman R, Leighton R, and Sands M. The Feynman Lectures on Physics . 3 volumes 1964, 1966. Library of Congress Catalog Card No. 63-20717.
    ISBN 0-201-02115-3 (1970 paperback three-volume set);
    ISBN 0-201-50064-7 (1989 commemorative hardcover three-volume set);
    ISBN 0-8053-9045-6 (2006 the definitive edition (2nd printing); hardcover)



  5. ^ Richard Feynman, The Character of Physical Law.


  6. ^ García-Morales, Vladimir; Pellicer, Julio; Manzanares, José A. (2008). "Thermodynamics based on the principle of least abbreviated action: Entropy production in a network of coupled oscillators". Annals of Physics. 323 (8): 1844–58. arXiv:cond-mat/0602186. Bibcode:2008AnPhy.323.1844G. doi:10.1016/j.aop.2008.04.007.


  7. ^ http://www.scholarpedia.org/article/Principle_of_least_action


  8. ^ Feynman, Richard Phillips (1942). "The Principle of Least Action in Quantum Mechanics". Bibcode:1942PhDT.........5F.


  9. ^ Principle of Least Action - damtp


  10. ^ Kline, Morris (1972). Mathematical Thought from Ancient to Modern Times. New York: Oxford University Press. pp. 167–68. ISBN 0-19-501496-0.


  11. ^ P.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)


  12. ^ 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)


  13. ^ ab 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.


  14. ^ abc J J O'Connor and E F Robertson, "The Berlin Academy and forgery", (2003), at The MacTutor History of Mathematics archive.


  15. ^ ab 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.


  16. ^ ab 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.


  17. ^ Dirac, Paul A. M. (1933). "The Lagrangian in Quantum Mechanics" (PDF). Physikalische Zeitschrift der Sowjetunion. 3: 64–72.


  18. ^ ab R. Penrose (2007). The Road to Reality. Vintage books. p. 474. ISBN 0-679-77631-1.


  19. ^ Encyclopaedia of Physics (2nd Edition), R.G. Lerner, G.L. Trigg, VHC publishers, 1991, ISBN (Verlagsgesellschaft) 3-527-26954-1, ISBN (VHC Inc.) 0-89573-752-3


  20. ^ McGraw Hill Encyclopaedia of Physics (2nd Edition), C.B. Parker, 1994,
    ISBN 0-07-051400-3



  21. ^ ab Analytical Mechanics, L.N. Hand, J.D. Finch, Cambridge University Press, 2008,
    ISBN 978-0-521-57572-0



  22. ^ Classical Mechanics, T.W.B. Kibble, European Physics Series, McGraw-Hill (UK), 1973,
    ISBN 0-07-084018-0



  23. ^ Chris Davis. Idle theory Archived 2006-06-15 at the Wayback Machine. (1998)


  24. ^ Euler, Additamentum II (external link), ibid. ([English translation])


  25. ^ D. J. Struik, ed. (1969). A Source Book in Mathematics, 1200-1800. Cambridge, Mass: MIT Press. pp. 406-413


  26. ^ Kline, Morris (1972). Mathematical Thought from Ancient to Modern Times. New York: Oxford University Press. ISBN 0-19-501496-0. pp. 582-589


  27. ^ Lagrange, Joseph-Louis (1788). Mécanique Analytique. p. 226


  28. ^ W. R. Hamilton, "On a General Method in Dynamics", Philosophical Transactions of the Royal Society Part I (1834) p.247-308; Part II (1835) p. 95-144. (From the collection Sir William Rowan Hamilton (1805-1865): Mathematical Papers edited by David R. Wilkins, School of Mathematics, Trinity College, Dublin 2, Ireland. (2000); also reviewed as On a General Method in Dynamics)


  29. ^ G.C.J. Jacobi, Vorlesungen über Dynamik, gehalten an der Universität Königsberg im Wintersemester 1842-1843. A. Clebsch (ed.) (1866); Reimer; Berlin. 290 pages, available online Œuvres complètes volume 8 at Gallica-Math from the Gallica Bibliothèque nationale de France.


  30. ^ Marston Morse (1934). "The Calculus of Variations in the Large", American Mathematical Society Colloquium Publication 18; New York.


  31. ^ Stöltzner, Michael (1994). Inside Versus Outside: Action Principles and Teleology. Springer. pp. 33–62. doi:10.1007/978-3-642-48647-0_3. ISBN 978-3-642-48649-4.



External links




  • Interactive explanation of the principle of least action

  • Interactive applet to construct trajectories using principle of least action


  • Georgiev, Georgi Yordanov (2012). "A Quantitative Measure, Mechanism and Attractor for Self-Organization in Networked Complex Systems". Self-Organizing Systems. Lecture Notes in Computer Science. 7166. pp. 90–5. doi:10.1007/978-3-642-28583-7_9. ISBN 978-3-642-28582-0.


  • Georgiev, Georgi; Georgiev, Iskren (2002). "The Least Action and the Metric of an Organized System". Open Systems and Information Dynamics. 9 (4): 371–380. arXiv:1004.3518. doi:10.1023/a:1021858318296.


  • Terekhovich, Vladislav (2015). "Metaphysics of the Principle of Least Action". arXiv:1511.03429 [physics.hist-ph].


這個網誌中的熱門文章

How to read a connectionString WITH PROVIDER in .NET Core?

Node.js Script on GitHub Pages or Amazon S3

Museum of Modern and Contemporary Art of Trento and Rovereto