Maupertuis' principle

From Wikipedia, the free encyclopedia

In classical mechanics, Maupertuis' principle (named after Pierre Louis Maupertuis) is an integral equation that determines the path followed by a physical system without specifying the time parameterization of that path. It is a special case of the more generally stated principle of least action. More precisely, it is a formulation of the equations of motion for a physical system not as differential equations, but as an integral equation, using the calculus of variations.

1 Mathematical formulation
2 Jacobi's formulation
3 Comparison with Hamilton's principle
4 History
5 See also
6 References

[edit] Mathematical formulation

Maupertuis' principle states that the true path of a system described by $N$ generalized coordinates $\mathbf{q} = \left( q_{1}, q_{2}, \ldots, q_{N} \right)$ between two specified states $\mathbf{q}_{1}$ and $\mathbf{q}_{2}$ is an extremum (i.e., a stationary point, a minimum, maximum or saddle point) of the abbreviated action functional

$\mathcal{S}_{0}[\mathbf{q}(t)] \ \stackrel{\mathrm{def}}{=}\ \int \mathbf{p} \cdot d\mathbf{q}$

where $\mathbf{p} = \left( p_{1}, p_{2}, \ldots, p_{N} \right)$ are the conjugate momenta of the generalized coordinated, defined by the equation

$p_{k} \ \stackrel{\mathrm{def}}{=}\ \frac{\partial L}{\partial\dot{q}_{k}}$

where $L(\mathbf{q},\dot{\mathbf{q}},t)$ is the Lagrangian function for the system. In other words, any first-order perturbation of the path results in (at most) second-order changes in $\mathcal{S}_{0}$ . It should be noted that the abbreviated action $\mathcal{S}_{0}$ is not a function, but a functional, i.e., something that takes as its input a function (in this case, the path between the two specified states) and returns a single number, a scalar.

[edit] Jacobi's formulation

For many systems, the kinetic energy $T$ is quadratic in the generalized velocities $\dot\mathbf{q}$

$T = \frac{1}{2} \frac{d\mathbf{q}}{dt} \cdot \mathbf{M} \cdot \frac{d\mathbf{q}}{dt}$

although the mass tensor $\mathbf{M}$ may be a complicated function of the generalized coordinates $\mathbf{q}$ . For such systems, a simple relation relates the kinetic energy, the generalized momenta and the generalized velocities

$2 T = \mathbf{p} \cdot \dot\mathbf{q}$

provided that the potential energy $V(\mathbf{q})$ does not involve the generalized velocities. By defining a normalized distance or metric $d s$ in the space of generalized coordinates

$ds^{2} = d\mathbf{q} \cdot \mathbf{M} \cdot d\mathbf{q}$

one may immediately recognize the mass tensor as a metric tensor. The kinetic energy may be written in a massless form

$T = \frac{1}{2} \left( \frac{ds}{dt} \right)^{2}$

or, equivalently,

$2 T dt = \mathbf{p} \cdot d\mathbf{q} = \sqrt{2 T} \ ds$

Hence, the abbreviated action can be written

$\mathcal{S}_{0} \ \stackrel{\mathrm{def}}{=}\ \int \mathbf{p} \cdot d\mathbf{q} = \int ds \sqrt{2}\sqrt{E_{tot} - V(\mathbf{q})}$

since the kinetic energy $T = E_{tot} - V(\mathbf{q})$ equals the (constant) total energy $E t o t$ minus the potential energy $V(\mathbf{q})$ . In particular, if the potential energy is a constant, then Jacobi's principle reduces to minimizing the path length $s = \int ds$ in the space of the generalized coordinates, which is equivalent to Hertz's principle of least curvature.

[edit] Comparison with Hamilton's principle

Hamilton's principle and Maupertuis' principle are occasionally confused and both have been called (incorrectly) the principle of least action. They differ from each other in three important ways:

their definition of the action...

Hamilton's principle uses $\mathcal{S} \ \stackrel{\mathrm{def}}{=}\ \int L \, dt$ , the integral of the Lagrangian over time between two fixed endpoints

t 1

and

t 2

. By contrast, Maupertuis' principle uses the abbreviated action integral over the generalized coordinates along all paths ending at $\mathbf{q}_{1}$ and $\mathbf{q}_{2}$ .

the solution that they determine...

Hamilton's principle determines the trajectory $\mathbf{q}(t)$ as a function of time, whereas Maupertuis' principle determines only the shape of the trajectory in the generalized coordinates. For example, Maupertuis' principle determines the shape of the ellipse on which a particle moves under the influence of an inverse-square central force such as gravity, but does not describe per se how the particle moves along that trajectory. (However, this time parameterization may be determined from the trajectory itself in subsequent calculations using the conservation of energy.) By contrast, Hamilton's principle directly specifies the motion along the ellipse as a function of time.

...and the constraints on the variation.

Maupertuis' principle requires that the two endpoint states

q 1

and

q 2

be given and that energy be conserved along every trajectory. By contrast, Hamilton's principle does not require the conservation of energy, but does require that the endpoint times

t 1

and

t 2

be specified as well as the endpoint states

q 1

and

q 2

[edit] History

Maupertuis was the first to publish a principle of least action, where he defined action as $\int v \, ds$ , which was to be minimized over all paths connecting two specified points. However, Maupertuis applied the principle only to light, not matter (see the 1744 Maupertuis reference below). He arrived at the principle by considering Snell's law for the refraction of light, which Fermat had explained by Fermat's principle, that light follows the path of shortest time, not distance. This troubled Maupertuis, since he felt that time and distance should be on an equal footing: "why should light prefer the path of shortest time over that of distance?" Accordingly, Maupertuis asserts with no further justification the principle of least action as equivalent but more fundamental than Fermat's principle, and uses it to derive Snell's law. Maupertuis specifically states that light does not follow the same laws as material objects.

A few months later, well before Maupertuis' work appeared in print, Euler independently defined action in its modern abbreviated form $\mathcal{S}_{0} \ \stackrel{\mathrm{def}}{=}\ \int m v \, ds \ \stackrel{\mathrm{def}}{=}\ \int p \, dq$ and applied it to the motion of a particle, but not to light (see the 1744 Euler reference below). Euler also recognized that the principle only held when the speed was a function only of position, i.e., when the total energy was conserved. (The mass factor in the action and the requirement for energy conservation were not relevant to Maupertuis, who was concerned only with light.) Euler used this principle to derive the equations of motion of a particle in uniform motion, in a uniform and non-uniform force field, and in a central force field. Euler's approach is entirely consistent with the modern understanding of Maupertuis' principle described above, except that he insisted that the action should always be a minimum, rather than a stationary point.

Two years later, Maupertuis cites Euler's 1744 work as a "beautiful application of my principle to the motion of the planets" and goes on to apply the principle of least action to the lever problem in mechanical equilibrium and to perfectly elastic and perfectly inelastic collisions (see the 1746 publication below). Thus, Maupertuis takes credit for conceiving the principle of least action as a general principle applicable to all physical systems (not merely to light), whereas the historical evidence suggests that Euler was the one to make this intuitive leap. Remarkably, Maupertuis' definitions of the action and protocols for minimizing it in this paper are inconsistent with the modern approach described above. Thus, Maupertuis' published work does not contain a single example in which he used Maupertuis' principle (as presently understood).

In 1751, Maupertuis' priority for the principle of least action was challenged in print (Nova Acta Eruditorum of Leipzig) by an old acquaintance, Johann Samuel Koenig, who quoted a 1707 letter purportedly from Leibniz that described results similar to those derived by Euler in 1744. However, Maupertuis and others demanded that Koenig produce the original of the letter to authenticate its having been written by Leibniz. Koenig only had a copy and no clue as to the whereabouts of the original. Consequently, the Berlin Academy under Euler's direction declared the letter to be a forgery and that its President Maupertuis could continue to claim priority for having invented the principle. Koenig continued to fight for Leibniz's priority and soon luminaries such as Voltaire and the King of Prussia, Frederick II were engaged in the quarrel. However, no progress was made until the turn of the twentieth century, when other independent copies of Leibniz's letter were discovered. The present scholarly consensus seems to be that the quotations from Leibniz are indeed genuine, i.e., that he had invented Maupertuis' principle and applied it to several mechanical problems by 1707 (37 years before Maupertuis and Euler) but did not publish his findings.

[edit] See also

Hamilton's principle
Gauss' principle of least constraint (also describes Hertz's principle of least curvature)
Hamilton-Jacobi equations

[edit] References

Pierre Louis Maupertuis, Accord de différentes loix de la nature qui avoient jusqu'ici paru incompatibles (original 1744 French text); Accord between different laws of Nature that seemed incompatible (English translation)

Leonhard Euler, Methodus inveniendi/Additamentum II (original 1744 Latin text); Methodus inveniendi/Appendix 2 (English translation)

Pierre Louis Maupertuis, Les loix du mouvement et du repos déduites d'un principe metaphysique (original 1746 French text); Derivation of the laws of motion and equilibrium from a metaphysical principle (English translation)

Leonhard Euler, Exposé concernant l'examen de la lettre de M. de Leibnitz (original 1752 French text); Investigation of the letter of Leibniz (English translation)

König JS. "De universali principio aequilibrii et motus", Nova Acta Eruditorum, 1751, 125-135, 162-176.

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

C.I. Gerhardt, (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.

W. Kabitz, (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.

H. Goldstein, (1980) Classical Mechanics, 2nd ed., Addison Wesley, pp. 362-371. ISBN 0-201-02918-9

L.D. Landau and E.M. Lifshitz, (1976) Mechanics, 3rd. ed., Pergamon Press, pp.140-143. ISBN 0-08-021022-8 (hardcover) and ISBN 0-08-029141-4 (softcover)

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.