View source for Newton's minimal resistance problem

'''Newton's minimal resistance problem''' is a problem of finding a [[Solid of revolution|solid of revolution]] which experiences a minimum resistance when it moves through a homogeneous fluid with constant velocity in the direction of the axis of revolution, named after [[Biography:Isaac Newton|Isaac Newton]], who studied the problem in 1685 and published it in 1687 in his [[Physics:Philosophiæ Naturalis Principia Mathematica|Principia Mathematica]].<ref>Newton, Isaac. "Philosophiæ Naturalis Principia Mathematica (Mathematical Principles of Natural Philosophy)." London (1687) (1987).</ref>{{page needed|date=November 2020}} This is the first example of a problem solved in what is now called the [[Calculus of variations|calculus of variations]], appearing a decade before the [[Physics:Brachistochrone curve|brachistochrone problem]].<ref>Goldstine, Herman Heine. A History of the Calculus of Variations from the 17th through the 19th Century. Vol. 5. Springer Science & Business Media, 2012.</ref> Newton published the solution in [[Physics:Philosophiæ Naturalis Principia Mathematica|Principia Mathematica]] without his derivation and David Gregory was the first person who approached Newton and persuaded him to write an analysis for him. Then the derivation was shared with his students and peers by Gregory.<ref>Newton, I. " Philosophiæ Naturalis Principia Mathematica, translation" by A. Motte (1729), revised by F. Cajori (1934)." Berkeley, CA: University of California Press 140: 175.</ref>
According to I Bernard Cohen, in his Guide to Newton’s Principia, "The key to Newton’s reasoning was found in the 1880s, when the earl of Portsmouth gave his family’s vast collection of Newton’s scientific and mathematical papers to Cambridge University. Among Newton’s manuscripts they found the draft text of a letter, … in which Newton elaborated his mathematical argument. [This]
was never fully understood, however, until the publication of the major manuscript documents by D. T. Whiteside [1974], whose analytical and historical commentary has enabled students of Newton not only to follow fully Newton’s path to discovery and proof, but also Newton’s later (1694) recomputation of the surface of least resistance".<ref>{{cite book|last1=Cohen|first1=I. Bernard|last2=Whitman|first2=Anne|title=Principia, A New Translation|date=1999|publisher=University of California Press|pages=182}}</ref><ref>{{cite book|last1=Whiteside|first1=D. T.|title=The Mathematical Papers of Isaac Newton, Vol 6|date=1974|publisher={{wipe|Cambridge University Press}}|pages=456, 470–480}}</ref>

Even though Newton's model for the fluid was wrong as per our current understanding, the fluid he had considered finds its application in hypersonic flow theory as a limiting case.<ref>Hayes, W. D., & Probstein, R. F. (1967). Hypersonic flow theory: Inviscid flows. Academic Press.</ref>

==Definition==

In Proposition 34 of Book 2 of the Principia, Newton wrote, "If in a rare medium, consisting of equal particles freely disposed at equal distances from each other, a globe and a cylinder described on equal diameter move with equal velocities in the direction of the axis of the cylinder, the resistance of the globe will be but half as great as that of the cylinder."

Following this proposition is a scholium containing the famous condition that the curve which, when rotated about its axis, generates the solid that experiences less resistance than any other solid having a fixed length, and width.

In modern form, Newton's problem is to minimize the following integral:<ref>Chandrasekhar, Subrahmanyan. Newton's Principia for the common reader. Oxford University Press, 1995.</ref><ref>Davis, Harold Thayer. Introduction to nonlinear differential and integral equations. Courier Corporation, 1962.</ref>

: <math> I = \int \frac{y \dot{y}^3}{1 + \dot{y}^2} dx </math>

where <math>y(x)</math> represents the curve which generates a solid when it is rotated about the x-axis and <math>\dot{y}=dy/dx</math>.

I is the reduction in resistance caused by the particles impinging upon the sloping surface DNG, formed by rotating the curve, instead of perpendicularly upon the horizontal projection of DNG on the rear disc DA from the direction of motion, in Fig. 1. Note that the front of the solid is the disc BG, the triangles GBC and GBR are not part of it, but are used below by Newton to express the minimum condition.

This integral is related to the total resistance experienced by the body by the following relation: <math> \rho = \frac{H^2}{2} + \int \frac{y \dot{y}^3}{1 + \dot{y}^2} dx </math>

The problem is to find the curve that generates the solid that experiences less resistance than any other solid having a fixed axial length = L, and a fixed width, H.

Since the solid must taper in the direction of motion, H is the radius of the disc forming the rear surface of the curve rotated about the x-axis. The units are chosen so that the constant of proportionality is unity. Also, note that <math> \dot{y} < 0 </math>, and the integral, which is evaluated between x = 0 and x = L is negative. Let y = h when x = L.

When the curve is the horizontal line, DK, so the solid is a cylinder, <math> y = H, \dot{y} = 0 </math>, the integral is zero and the resistance of the cylinder is: <math> \rho = \frac{H^2}{2} </math>, which explains the constant term.

[[File:Min Resistance Problem Diagram.png|Minimum resistance problem diagram]]

== Condition for a minimum resistance solid ==

The simplest way to apply the [[Euler–Lagrange equation]] to this problem is to rewrite the resistance as:

: <math> \rho = \frac{H^2}{2} + \int \frac{y}{1 + \dot{x}^2} dy </math> where <math> \dot{x}=dx/dy </math>, and the integral, which is evaluated between y = H and y = h < H, is negative.

Substituting the integrand <math> F(y,\dot{x}) = y/(1+\dot{x}^2) </math> into the Euler–Lagrange equation
:<math> \frac{d}{dy} \left(\frac{\partial F}{\partial \dot{x}}\right) = \frac{d}{dy} \left(\frac{-2\dot{x}y}{(1+\dot{x}^2)^2}\right) = \frac{\partial F}{\partial x} = 0 </math>, and it follows that <math> \frac{\dot{x}y}{(1+\dot{x}^2)^2}</math> is constant, and this can be written as

:<math> y = K_1\frac{(1+ p^2)^2}{p^3} </math>   (1)   where <math> p = -\dot{y} > 0 </math>, and where <math> K_1 > 0 </math> is a constant.

Although the curves that satisfy the minimum condition cannot be described by a simple function, y = f(x), they may be plotted using p as a parameter, to obtain the corresponding coordinates (x,y) of the curves. The equation of x as a function of p is obtained from the minimum condition (1), and an equivalent of it was first found by Newton.

Differentiating: <math> dy = - pdx = K_1(1 - \frac{2}{p^2} - \frac{3}{p^4})dp </math>, and integrating

:<math>x = K_2 - K_1 \left(\ln p + \frac{1}{p^2} + \frac{3}{4p^4}\right) </math>, where <math> K_2 > 0 </math> is a constant.

Since <math> y = H </math>, when <math> x = 0 </math>, and <math> y = h </math>, when <math> x = L </math>, the constants <math>K_1, \ K_2</math> can be determined in terms of H, h and L. Because y from equation (1) can never be zero or negative, the front surface of any solid satisfying the minimum condition must be a disc, GB.

As this was the first example of this type of problem, Newton had to invent a completely new method of solution. Also, he went much deeper in his analysis of the problem than simply finding the condition (1).

== Solid experiencing least resistance ==

While a solid of least resistance must satisfy (1), the converse is not true. Fig. 2 shows the family of curves that satisfy it for different values of <math> K_1 > 0 </math>. As <math> K_1 </math> increases the radius, Bg = h, of the disc at x = L decreases and the curve becomes steeper.

Directly before the minimum resistance problem, Newton stated that if on any elliptical or oval figure rotated about its axis, p becomes greater than unity, one with less resistance can be found. This is achieved by replacing the part of the solid that has p > 1 with the [[Frustum|frustum]] of a cone whose vertex angle is a right angle, as shown in Fig. 2 for curve <math> D\nu \phi \gamma B </math>. This has less resistance than <math> D\nu \phi \Gamma B </math>. Newton does not prove this, but adds that it might have applications in shipbuilding. Whiteside supplies a proof and contends that Newton would have used the same reasoning.

In Fig. 2, since the solid generated from the curve Dng satisfies the minimum condition and has p < 1 at g, it experiences less resistance than that from any other curve with the same end point g. However, for the curve DνΓ, with p > 1 at end point Γ, this is not the case for although the curve satisfies the minimum condition, the resistance experienced by φγ and γΓ together is less than that by φΓ.

Newton concluded that of all solids that satisfy the minimum resistance condition, the one experiencing the least resistance, DNG in Fig. 2, is the one that has p = 1 at G. This is shown schematically in Fig. 3 where the overall resistance of the solid varies against the radius of the front surface disc, the minimum occurring when h = BG, corresponding to p = 1 at G.

In the Principia, in Fig.  1 the condition for the minimum resistance solid is translated into a geometric form as follows: draw GR parallel to the tangent at N, so that <math> p = \frac{GB}{BR} </math>, and equation (1) becomes: <math> \frac{NM.GB^3}{ BR^3(1 + (GB/BR)^2)^2} = \frac{NM.BR.GB^3}{GR^4} = K_1 </math>

At G, <math> NM = BG </math>, <math> BR = BC = BG </math>, and <math> GR^2 = 2BG^2 </math>, so <math> \frac{NM.BR.GB^3}{GR^4} = \frac{GB}{4} = K_1 </math> which appears in the Principia in the form:

:<math> \frac{NM}{GR} = \frac{GR^3}{4BR.GB^2} </math>

== Newton's derivation of the minimum resistance condition ==

Although this appears fairly simple, it has several subtleties that have caused much confusion.

In Fig 4, assume DNSG is the curve that when rotated about AB generates the solid whose resistance is less than any other such solid with the same heights, AD = H, BG = h and length, AB = L.

Fig. 5. shows the infinitesimal region of the curve about N and I in more detail. Although NI, Nj and NJ are really curved, they can be approximated by straight lines provided NH is sufficiently small.

[[File:Min Resistance Surface.png|Minimum resistance surface]]

Let HM = y, AM = x, NH = u, and HI = w = dx. Let the tangent at each point on the curve, <math> p = - \frac{dy}{dx} = \frac{u}{w} </math>. The reduction of the resistance of the sloping ring NI compared to the vertical ring NH rotated about AB is <math> r = \frac{yp^3}{1 + p^2}dx  = \frac{yu^3}{u^2 + w^2} </math>   (2)

Let the minimum resistance solid be replaced by an identical one, except that the arc between points I and K is shifted by a small distance to the right <math> IJ = KL = o > 0 </math>, or to the left <math> Ij = Kl = o < 0 </math>, as shown in more detail in Fig. 5. In either case, HI becomes <math> HJ,Hj = w + o </math>.

The resistance of the arcs of the curve DN and SG are unchanged. Also, the resistance of the arc IK is not changed by being shifted, since the slope remains the same along its length. The only change to the overall resistance of DNSG is due to the change to the gradient of arcs NI and KS. The 2 displacements have to be equal for the slope of the arc IK to be unaffected, and the new curve to end at G.

The new resistance due to particles impinging upon NJ or Nj, rather that NI is:

<math> r + \delta r = \frac {yu^3}{u^2 + (w + o)^2} = r - \frac {2ywu^3 o}{(u^2 + w^2)^2} </math> + w.(terms in ascending powers of <math> \frac{o}{w} </math>  starting with the 2nd).

The result is a change of resistance of: <math> - \frac {2NM.HI.HN^3 o}{NI^4} </math> + higher order terms, the resistance being  reduced if o > 0 (NJ less resisted than NI).

This is the original 1685 derivation where he obtains the above result using the series expansion in powers of o. In his 1694 revisit he differentiates (2) with respect to w. He sent details of his later approach to David Gregory, and these are included as an appendix in Motte’s translation of the Principia.

Similarly, the change in resistance due to particles impinging upon SL or Sl rather that SK is: <math> + \frac {2TS.OK.OS^3 o}{SK^4} </math> + higher order terms.

The overall change in the resistance of the complete solid, <math> \delta \rho = ( - \frac {2NM.HI.HN^3}{NI^4} + \frac {2TS.OK.OS^3}{SK^4})o </math> + w.(terms in ascending powers of <math> \frac{o}{w} </math>  starting with the 2nd).
 
Fig 6 represents the total resistance of DNJLSG, or DNjlSG as a function of o. Since the original curve DNIKSG has the least resistance, any change o of whatever sign, must result in an increase in the resistance. This is only possible if the coefficient of o in the expansion of <math> \rho (o) </math> is zero, so:

<math> \frac {NM.HI.HN^3}{NI^4} = \frac {TS.OK.OS^3}{SK^4} </math>  (2)

If this was not the case, it would be possible to choose a value of o with a sign that produced a curve DNJLSG, or DNjlSG with less resistance than the original curve, contrary to the initial assumption. The approximation of taking straight lines for the finite arcs, NI and KS becomes exact in the limit as HN and OS approach zero. Also, NM and HM can be taken as equal, as can OT and ST.

However, N and S on the original curve are arbitrary points, so for any 2 points anywhere on the curve the above equality must apply. This is only possible if in the limit of any infinitesimal arc HI, anywhere on the curve, the expression,

<math> \frac {NM.HI.HN^3}{NI^4} </math> is a constant. (3)

This has to be the case since, if <math> \frac {NM.HI.HN^3}{NI^4} </math> was to vary along the curve, it would be possible to find 2 infinitesimal arcs NI and KS such that (2) was false, and the coefficient of o in the expansion of <math> \delta \rho </math> would be non-zero. Then a solid with less resistance could be produced by choosing a suitable value of o.

This is the reason for the constant term in the minimum condition in (3). As noted above, Newton went further, and claimed that the resistance of the solid is less than that of any other with the same length and width, when the slope at G is equal to unity. Therefore, in this case, the constant in (3) is equal to one quarter of the radius of the front disc of the solid, <math> \frac{GB}{4} </math>.

==References==
{{Reflist}}

{{Isaac Newton}}

[[Category:Minimal surfaces]]
[[Category:Calculus of variations]]
[[Category:Mathematical problems]]

{{Sourceattribution|Newton's minimal resistance problem}}