Jump to content

Translation:Methodus inveniendi/Additamentum II

From Wikisource
Translation:Methodus inveniendi
by Leonhard Euler, translated from Latin by Wikisource
Additamentum II
50039Translation:Methodus inveniendi — Additamentum IIWikisourceLeonhard Euler

Appendix 2

Concerning the motion of particles in a non-resistant medium, determined by a method of maxima and minima

1. Since all natural phenomena obey a certain maximum or minimum law; there is no doubt that some property must be maximized or minimized in the trajectories of particles acted upon by external forces. However, it does not seem easy to determine which property is minimized from metaphysical principles known a priori. Yet if the trajectories can be determined by a direct method, the property being minimized or maximized by these trajectories can be determined, provided that sufficient care is taken. After considering the effects of external forces and the movements they generate, it seems most consistent with experience to assert that the integrated momentum (i.e., the sum of all momenta contained in the particle's movement) is the minimized quantity. This assertion is not sufficiently proven at present; however, if I can show it to be connected with some truth known a priori, it will carry such weight as to utterly vanquish every conceivable doubt. If indeed it's truth can be verified, this assertion will make it easier to investigate the deepest laws of Nature and their final causes, and also easier to identify a firmer rationale for this assertion.

2. Let the mass of a moving particle be , and let its speed be while being moved over an infinitesimal distance ds. The particle will have a momentum that, when multiplied by the distance ds, gives , the momentum of the particle integrated over the distance ds. Now I assert that the true trajectory of the moving particle is the trajectory to be described (from among all possible trajectories connecting the same endpoints) that minimizes or (since M is constant) . Since the speed resulting from the external forces can be calculated a posteriori from the trajectory itself, a method of maxima and minima should suffice to determine the trajectory a priori. The minimized integral can be expressed in terms of the momentum (as above), but also in terms of the kinetic energy. For, given an infinitesimal time during which the element is traversed, we have . Hence, is minimized, i.e., the true trajectory of a moving particle minimizes the integral over time of its instantaneous kinetic energies. Thus, this minimum principle should appeal both to those who favor momentum for mechanics calculations and to those who favor kinetic energy.

3. For our first example, consider a moving particle free of external forces, which has a constant speed, denoted . By our principle, such a particle describes a trajectory that minimizes or . Hence, the true path of a free particle has the minimum length of all paths connecting the same endpoints; this path is a straight line, just as the first principles of Mechanics postulate. I do not present this example as evidence for the general principle, since the integral of any function of the constant speed would, upon minimization, produce a straight line. I begin with this simple case merely to illustrate the reasoning.

Figure 26

4. Let us proceed to the case of uniform gravity or, more generally, to the case in which a moving particle is acted upon by a downwards force of constant acceleration . Let the trajectory of the particle under these conditions be AM (Figure 26), let Mm represent the infinitesimal distance , and let and represent the vertical coordinate along AP and the horizontal coordinate along the perpendicular axis PM, respectively. The external force produces an acceleration described by , which integrates to . Hence, we seek the trajectory that minimizes the integral . Defining , we have ; in other words, we seek the trajectory that minimizes . Comparing this expression with our general formula , we see that and, given that , we obtain and . Minimization requires that and, since in this case, and, thus, , where is a constant. Hence, we have the differential equation . This may be rearranged to and separated . Integration yields the trajectory solution .

5. This solution is obviously a parabola, but we should consider more carefully whether it agrees with experience. The initial tangent to the trajectory is clearly horizontal, i.e., at the point where . Since the origin (0,0) of the coordinate system may be chosen at will, we set it at that tangent point, (i.e., at the highest point of the trajectory), which is equivalent to setting . In this coordinate frame, the trajectory solution is , which is a parabola. Moreover, since the initial speed is evidently , the height CA from which the falling body acquires the same speed from the same force is , just as predicted by the direct methods of mechanics.

Figure 27

6. Now let the particle be acted upon by a downwards vertical force that depends on the height CP (Figure 27). We set equal to the vertical coordinate along CP, and let be a downwards vertical force that is a function of . Similarly, let the horizontal coordinate along PM be denoted as and let Mm represent the infinitesimal distance . Defining , we have and, thus, . Hence, we seek the trajectory that minimizes the integral . By arguments analogous to those used in paragraph 4, we obtain the trajectory equation or, equivalently, , which may be simplified to . The tangent will be horizontal whenever . These results agree with the trajectories predicted by direct methods of mechanics.

7. Now let the body be acted upon by two external forces, denoted as in the horizontal direction MP and in the vertical direction MQ (Figure 27). Let be a function of the horizontal distance PM = and be a function of the vertical height MQ = CP = . Defining as before, we have , which integrates to . Hence, we seek the trajectory that minimizes the integral . Differentiating the integrand yields

Setting , and , the minimal trajectory must satisfy , i.e.,

which may be written as

or, more simply,

This trajectory agrees with experience, as shown by replacing with ,

The instantaneous radius of curvature of the trajectory is defined , yielding the equation . Here, is the centripetal acceleration required to produce the trajectory's curvature, whereas is the force (perpendicular to the trajectory) that provides that centripetal acceleration. Their equality is evidence that our method agrees with experience.

8. The resulting equation is generally integrable. Multiplication by yields the equation

which may be integrated as

or, more simply,

Hence, , if we define . Then, since , we may separate the variables and

in the equation for the desired trajectory. Converting the constants and into their negatives, we obtain

Although the construction of the trajectory is relatively easy in principle, it may be difficult to express that trajectory in algebraic equations. For example, let and be proportional to the same power of and , respectively

If , this equation describes a parabola whereas, if , it describes an ellipse centered on C. (Even in this case, each integration requires trigonometric quadratures.) Similarly, in other cases, neither integration succeeded in producing trajectories described by algebraic functions. Nevertheless, this method for finding these trajectories is still desirable.

Figure 27

9. Now let the particle at M be acted upon by a central force, i.e., one that always lies along the direction MC and is a function only of the distance MC = (Figure 27). As before, let CP = , PM = , and ; thus, CM = . Let be resolved into perpendicular components along the lines MQ and MP; the force along MQ is , whereas the force along MP equals . These forces give rise to an acceleration (because ), from which we have . Thus, the expression to be minimized is the integral . Following our protocol, we must differentiate the integrand , yielding

Since , we may assign and ; using the general law for optimal curves , we obtain

which may be simplified to

10. Although this equation contains four separate variables ( and ), it can be integrated (with sufficient skill). For we know that ; thus, and . Substituting these values into the equation yields

which may be written as

Each of these two terms can be integrated using logarithms. Specifically, ; expanding in partial fractions, resolves into . Thus, we have . This equation states that the particle speed is inversely proportional to the component of the radius that is perpendicular to the trajectory, a handy property of these motions.

Figure 28

11. This same problem may be solved more conveniently by choosing different variables (Figure 28). The method described above does not require that the coordinates be orthogonal to each other, merely that they suffice to define the trajectory uniquely. For this reason, we cannot take as our two variables the radius CM and its component perpendicular to the trajectory, since some trajectories cannot be described using these variables. However, we can take as our coordinates the radius CM and the arc BP of a unit circle centered on C; these two coordinates suffice to determine every point exactly, just as for orthogonal coordinates. This ability to change variables extends the applicability of our Method more broadly than might be imagined otherwise.

12. Let the radius of the particle be CM = , and let the central force be some function of the radius . We take as our second variable , the arc-length BP of a unit circle centered on C; the infinitesimal arc corresponds to Pp in Figure 28. Defining , the applied force results in an acceleration , from which we obtain . The trajectory sweeps out an infinitesimal circular arc Mn of radius CM = about the center C, whereas mn represents the infinitesimal change in radius . From the geometrical similarity CP:Pp = CM:Mn follows the equation Mn = , and the infinitesimal distance Mm = . Thus, we seek the trajectory that minimizes the integral . From this, we may obtain the differential , which equals zero, following our general protocol. This yields the equation , or rather , from which follows

which may be written as

This same equation may also be derived using direct methods of mechanics.

13. In these examples, our principle agrees perfectly with experience; and the suspicion that it will fail in more complicated cases can likely be overcome. However, our principle should be studied carefully to determine the limits of its validity. To explain what I mean, all motion of particles can be divided into two classes, one in which position alone determines the speed and another in which it does not. In the first case, the particle always has the same speed when it reaches the same position; for example, the speed of a particle acted upon by one or more centers of force will be a function only of the distances to those center(s). In the second case, the speed is not determined solely by the position of the particle; for example, the centers of force themselves may be moving or the particle may be in a resistant medium. Our principle pertains only to the first class of motion; in particular, even when a particle is attracted to multiple fixed centers of force, its momentum integrated along its trajectory should be minimal.

Figure 27

14. Here is the essence of our hypothesis. We seek the trajectory between two specified endpoints that minimizes the integral where, by assumption, the speed of the particle at the endpoints does not depend on the path travelled. Even if there are many fixed centers of force, the speed can be expressed as a well-defined function of the variables CP = and PM = (Figure 27). Thus, the squared speed is also a function of and , and we may write , from which we may see that our principle agrees with the true trajectory of the particle. Since , the forces acting on the particle at a point M can be grouped into two forces, a force that acts along the direction and another force that acts in the direction. These forces can themselves be resolved into a tangential force along the trajectory , and a normal force perpendicular to the trajectory . The normal force provides the local centripetal acceleration , where is the local radius of curvature of the trajectory. Thus, our principle of deriving mechanics from a principle of maxima and minima conforms with experience.

15. We seek the trajectory that minimizes the integral ; therefore, by our established protocol, we must differentiate the quantity . Since , the differentiation yields

From our general law , we obtain the desired trajectory

which may be written as

The instantaneous radius of curvature of the trajectory at M equals , from which follows , just as predicted from the direct methods of mechanics. Thus, provided that the external forces can be resolved along the coordinate directions into two forces and that are functions of these variables and , then every trajectory will represent the minimum of the integrated momentum over the path.

16. Therefore, this principle is broadly applicable, except to the case of motion in a resistant medium. The reason for this exception is easy to see, because the speed of the particle at the endpoints will depend on the path taken. Hence, neglecting any resistance to the particle's motion, the momentum integrated along the path should be a minimum. Moreover, this minimum law is true not only for the motion of single particles, but also for systems of particles bound together. No matter what their reciprocal interactions are, the path integral of their momenta is always minimal. Compared to traditional mechanics methods, the motion may be more difficult to calculate using our new method; however, it seems easier to grasp from first principles. Because of their inertia, bodies are reluctant to move, and obey applied forces as though unwillingly; hence, external forces generate the smallest possible motion consistent with the endpoints. A rigorous proof for this principle is lacking, I realize. Nevertheless, it agrees with experiment and I do not doubt that it will be verified by stronger proofs that use the principles of a complete Metaphysics. But such proofs I leave to the professors of Metaphysics.

[edit]

This work is in the public domain worldwide because it has been so released by the copyright holder.

Public domainPublic domainfalsefalse