International Journal of Mathematics and Mathematical Sciences
Volume 2020 (2020), Article ID 9695053, 6 pages
https://doi.org/10.1155/2020/9695053

Research Article

The English Galileo and His Vision of Projectile Motion under Air Resistance

Robert Kantrowitz¹ and Michael M. Neumann²

¹Mathematics and Statistics Department, Hamilton College, 198 College Hill Road, Clinton, NY 13323, USA
²Department of Mathematics and Statistics, Mississippi State University, Mississippi State, MS 39762, USA

Correspondence should be addressed to Robert Kantrowitz; rkantrow@hamilton.edu

Received 12 January 2020; Accepted 20 April 2020; Published 26 May 2020

Academic Editor: Hans Engler

Copyright © 2020 Robert Kantrowitz and Michael M. Neumann. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This article presents a detailed discussion of the shape of the trajectory traced by a projectile under the forces of gravity and air resistance. In particular, our results confirm the insight of the English scientist Thomas Harriot into the motion of a projectile before the development of Newtonian classical mechanics. Our approach is based on the fact that the flight path of a resisted projectile is implemented by a strictly concave function for which the derivative is also strictly concave.

1. Historical Background and the English Galileo

The remarkable similarities between the scientific pursuits of Galileo Galilei (1564–1642) and his English contemporary, the mathematician and philosopher Thomas Harriot (1560–1621), led to the latter being dubbed “the English Galileo.” Indeed, on the opening page of his monograph of that title, Schemmel [1] writes:

Harriot and Galileo were in fact occupied with very similar problems concerning astronomy, mechanics, optics, hydrodynamics, magnetism, and other fields of natural philosophy.

Though Galileo documented his work prolifically, Harriot published none of his results except for a small book on “the new found land of Virginia.” Thus, while Galileo occupies a central position in the history of scientific developments, the name and the accomplishments of Harriot are far less established, and a systematic investigation of his nachlass comprising thousands of folio sheets has come into focus only recently. In addition to the extensive account [1] of Harriot and his work on projectile motion, the articles [2, 3] also fill this historical gap by shedding light on the discoveries of the English Galileo.

Notable among their many and varied common undertakings is Galileo’s and Harriot’s study of an airborne projectile. In remarkable contrast to Galileo’s idealized version in which gravity is the only active force, Harriot followed the practitioners’ knowledge on projectile trajectories and tried to develop models that account for the effect of air resistance. Based on the practical experience of engineers and gunners at his time, Harriot envisioned that all realistic trajectories share an asymmetry that results from the air’s influence, as depicted in Figure 1.

Figure 1: Flight trajectories under air resistance.

The curves shown in Figure 1 are based on the numerical solution of the differential equations resulting from Newton’s law for projectile motion under air resistance quadratic in speed, as will be detailed in the last section. Although the modern approach is certainly far beyond the theoretical and computational tools available to preclassical mechanics, in his more advanced models, Harriot was able to construct ballistic trajectories that are astonishingly similar to those shown in Figure 1, see the folios shown in Figures 8 and 9 of [2], Figure 58 of [1], and Figures 4 and 5 of [3]. One of the specific aspects of the practitioners’ knowledge that Harriot tried to address in his models was the asymmetry of the trajectory in the following form.

The projectile’s path from the muzzle of the gun to the culmination point of the trajectory is longer and flatter than the path from the culmination point down to the ground ([1], page 28).

The goal of this article is to confirm this observation by itemizing several comparisons between the ascending and the descending segments of a projectile’s resisted flight trajectory. With this, we continue the line of inquiry that was recently developed in [4] for the special case of air resistance that is linear in speed. In this particular case, explicit formulas for the solutions of the relevant differential equations are available which allow the use of basic calculus to settle the issues at hand. Moreover, while no explicit solution formulas are known for the classical case of drag that is quadratic in speed, Hayen [5] was able to find a representation of the solutions in terms of certain quadratures that allowed him to obtain information about slope and arc length exactly as specified in assertions (i) and (vi) of our main result. We are indebted to one of the referees for providing us with reference [5].

There are, however, many other possibilities for air resistance, for instance, drag that is proportional to some power of the speed or drag that is dependent on the altitude of the projectile during flight. This means that a new approach is needed to handle the case of arbitrary air resistance.

In the next section, we frame the problem in an abstract, yet elementary setting that is quite apart from any specific application. It turns out that the strict concavity of a real-valued function together with that of its derivative determines certain geometric and analytic aspects of the graph of the function that are at the core of Harriot’s vision.

In the final section, we return to the motivating ballistic application by describing a general framework for projectile motion in a plane under the influence of gravity and an opposing force of air resistance. Our comprehensive approach includes the cases of linear and quadratic drag, among many other models.

2. Concave Functions and Main Result

We recall that a real-valued function on an interval is said to be strictly concave provided that the estimate

holds for all distinct points and all . It is well known that a differentiable function on is strictly concave precisely when is strictly decreasing on , see, for instance, Theorem B of Section 1.12 of [6]. In particular, if is twice differentiable on and satisfies for all , then is strictly concave.

Throughout this section, we consider a continuously differentiable function on a closed bounded interval for which and suppose that both and are strictly concave. By the extreme value theorem, attains its maximum at some point , and the strict concavity of guarantees that this maximum point is unique and satisfies and . Moreover, by the standard characterization of strict concavity mentioned above, is strictly decreasing on . Since Fermat’s theorem ensures that , we conclude that on and on . In particular, is strictly increasing on and strictly decreasing on . Consequently, for each , there exist unique points and for which , namely, and , where and denote the restrictions of to and , respectively.

As will be seen in the last section, for an arbitrary projectile that is shot from the ground level to the ground level and is subject to gravity and any kind of air resistance, the trajectory is implemented by a function for which both and are strictly concave. The concavity of this function and its derivative, together with the theorem proved in this section, implies that Figure 2 displays the typical shape of the trajectory traced by a projectile under air resistance and illustrates Harriot’s vision.

Figure 2: A strictly concave function with strictly concave derivative.

We will verify, for instance, that the ascending branch is indeed strictly longer than the descending branch by establishing the inequality

In the same vein, the area of the region under the ascending branch will be shown to be strictly larger than the corresponding area under the descending branch. As for flatness, we will establish Harriot’s vision in a macroscopic or global sense by proving that the average value of the slope on the ascending branch is strictly smaller than the average value of on the descending branch. Moreover, we will address a microscopic or pointwise version of Harriot’s observation by showing that, in the setting of Figure 2, we have whenever and . All this is contained in the following main result of this article.

Theorem 1. Suppose that both and are strictly concave on , and consider the setting of Figure 2. Then, for arbitrary points and for which and for some , the following assertions hold:

(i) and, in particular, ;(ii) and, in particular, ;(iii)The average slopes satisfy

(iv)The -coordinate of the point of intersection of the tangent lines to at the points and satisfies ;(v)The areas are related by

 in particular, we have

(vi)The arc lengths satisfy the estimates

 in particular, we have

Proof.

(i)By the strict concavity of , we have

 for all and therefore

 On the left-hand side, it is trivial to perform the integration, while the integral on the right-hand side may be handled with the substitution . It follows that

 Hence, the condition entails the desired estimate .(ii)We know that the two restrictions and are injective with range . Moreover, we have on and on . This ensures that the inverses of and are differentiable on and satisfy

 for all . Since assertion guarantees that , we obtain

 and therefore for all . Now, given arbitrary points and with , integration leads to

 and hence . This shows that the function is strictly increasing on and, since this function is continuous, also on . In particular, we obtain whenever . The choice then yields , the desired estimate.(iii)Because , the stipulated estimate for the average values is equivalent to

 But this means precisely that which was established in part .(iv)Since is strictly concave, we know that is strictly decreasing. Thus, and therefore . This ensures that the two tangent lines in question have a unique point of intersection. Indeed, since these lines are given by the formulas

 for all , the equation has the unique solution:

 Simple algebra then reveals that the inequality may be rewritten in the following form:

 and thus holds by the strict concavity of , as shown in the proof of assertion . Note that the condition is not essential here and that the preceding estimate for arbitrary distinct points in actually characterizes the strict concavity of on , see Corollary 1 of [7].(v)To establish the first inequality, we recall from the proof of part that

 Hence, the substitutions and lead to

 which settles the first claim. For the proof of the second inequality, we observe that, for arbitrary , the estimate from the proof of assertion may be rewritten in the form . Switching to integration with horizontal cross-sections, we then obtain

 as desired. Moreover, since we know from part that and hence , we also arrive at the estimate

 The final claim is immediate from this and the first inequality. Alternatively, the final claim follows from the second inequality in the special case .(vi)To establish the first claim, we define the function by , where, as above, and stand for the restrictions of to and , respectively. Obviously, , , and maps onto . Moreover, because on the interval , the chain rule confirms that is differentiable on . Noting that , we arrive at and therefore

for all . Since assertion ensures that , we conclude that for all . We now employ the substitution to obtain

where we again used the fact that . Because for all , we arrive at

which establishes the first claim. Taking the limit as approaches , both and tend to , which results in

Since this holds for an arbitrary base interval , it also holds for every subinterval for which . Hence,

Together with (24) we obtain, in fact, the strict inequality:

Here, again, we may replace the interval by any subinterval for which . This establishes the remaining claim.

3. Connection to Ballistics

In this section, we consider the typical motion of a projectile in the -plane. We suppose that the projectile is launched at time from the origin with muzzle speed and angle of inclination relative to the positive -axis. The position vector of the projectile at time is denoted by .

As usual, we suppose that the motion of the projectile is governed by two forces. One of these forces is gravity in the direction of the negative -axis which results in acceleration of a given magnitude . The other force is air resistance whose direction is opposite to the velocity vector of the projectile and whose magnitude is proportional to the mass of the projectile. Specifically, as in [7], the retarding force is supposed to be represented by

where is a given non-negative continuous function of five variables, defined on a suitable domain in . In addition to the case of no air resistance, this model covers the important case where the drag is proportional to some power of the speed

of the projectile, see Chapter 3 of [8].

By Newton’s law, the projectile motion is now described by the initial value problem:

As in [7], we assume that the drag function is admissible in the sense that, for every choice of and , the initial value problem (30) has a unique solution that is defined for all . In practice, admissibility is guaranteed by existence and uniqueness results of the Picard–Lindelöf type under mild Lipschitz conditions on the function with respect to the last four variables, see, for instance, [9].

The graphics in Figure 1 displays the numerical solution of (30) generated by the NDSOLVE command of Mathematica for the particular choices

and the five canonical values of the launch angle .

In general, explicit formulas for the solution of (30) are not available. In fact, even in the special case of drag quadratic in speed, no such formulas are known, see [8, 10], and [11]. Nevertheless, as shown in Section 4 of [7], it is possible to obtain geometric insight into the shape of the trajectory traced by the projectile. First, it turns out that the function is strictly increasing on and that its range is an interval of the form where . Furthermore, by Theorem 12 of [7], we have

Theorem 2. Suppose that is a strictly positive admissible drag function, and let for denote the solution of the corresponding initial value problem (30). Then, this solution is implemented by the function on the range of in the sense that for all . Moreover, is three times differentiable, and both and are strictly concave on .

Indeed, the elementary proof boils down to the fact that

for all . Harriot’s vision is now established in remarkable generality by Theorems 1 and 2.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

M. Schemmel, The English Galileo: Thomas Harriot’s Work on Motion as an Example of Preclassical Mechanics, Springer, Berlin, Germany, 2008.

M. Schemmel, “The English Galileo: Thomas Harriot and the force of shared knowledge in early modern mechanics,” Physics in Perspective, vol. 8, no. 4, pp. 360–380, 2006.

R. Smith, “Shining a light on Harriot and Galileo: on the mechanics of reflection and projectile motion,” History of Science, vol. 53, no. 3, pp. 296–319, 2015.

C. W. Groetsch, “Harriot’s observation of resisted trajectories,” The Citadel, Charleston, SC, USA, 2018.

J. C. Hayen, “Projectile motion in a resistant medium (part I: exact solution and properties),” International Journal of Non-Linear Mechanics, vol. 38, no. 3, pp. 357–369, 2003.

A. W. Roberts and D. E. Varberg, Convex Functions, Academic Press, New York, NY, USA, 1973.

R. Kantrowitz and M. M. Neumann, “Parabolic sandwiches for functions on a compact interval and an application to projectile motion,” International Journal of Mathematics and Mathematical Sciences, vol. 2019, Article ID 4868106, 7 pages, 2019.

N. de Mestre, The Mathematics of Projectiles in Sport, Cambridge University Press, Cambridge, UK, 1990.

E. A. Coddington and N. Levinson, Theory of Ordinary Differential Equations, McGraw-Hill, New York, NY, USA, 1955.

W. W. Hackborn, “Motion through air: what a drag,” Canadian Applied Mathematics Quarterly, vol. 14, pp. 285–298, 2006.

W. W. Hackborn, “Projectile motion: resistance is fertile,” The American Mathematical Monthly, vol. 115, no. 9, pp. 813–819, 2008.