Abstract
Newton's problem of finding the surface shape of a rotation body based on the condition of minimal resistance of the body when it moves in a rarefied medium is discussed. The problem is formulated in the form of a classical isoperimetric problem in calculus of variations. The exact solution is given in the class of piecewise differentiable functions. The numerical results of specific calculations of the functional for cone and hemisphere are presented. We prove that the optimization effect is significant by comparison of the results for cone and hemisphere with the value of the optimized functional for the optimal contour.
Keywords: Newton's aerodynamic problem, Isoperimetric variational problem, Solid of revolution, Parametric representation
1. Introduction
The problem of finding the resistance of an axisymmetric body moving in a rarefied medium was first analyzed by Sir Isaac Newton in his “Mathematical Principles of Natural Philosophy”. Newton published the solutions for specific calculations of the resistance of the axisymmetric bodies of a given shape. Also, Newton's minimal resistance problem, i.e., the problem of determining the shape of the surface of a 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, was studied in 1685 [1]. This is the first example of a problem solved in what is now called the calculus of variations, appearing a decade before the brachistochrone problem (see, for example, Ref. [2]).
Let us proceed to the mathematical formulation of the Newton's problem of a body of minimal aerodynamic resistance, or Newton's aerodynamic problem, in terms of the resistance to the movement of a body in an ideally elastic medium of particles of low density, that is
| (1) |
where the integrand in Eq. (1) is always positive; then the values of functional for arbitrary dependences y(x) for the specified boundary conditions at x = 0 and x = a. The profile is a surface of revolution of a curve y(x) which generates a solid body shape when it is rotated about the x-axis as it is shown by arrow in Fig. 1 in the case of a convex surface, i.e., under the additional conditions that the body is convex and rotationally symmetric.
Fig. 1.
Generation of a convex surface by the function y(x).
For an explicit expression of the function y(x) satisfying the boundary conditions in Eq. (1), one can consider
where n is an integer. One can note that and, thus, the functional reaches its smallest value on contours that are non-differentiable in the interval [0, a] (see, for example, Ref. [3]). Thereby, in order to regularize the solutions of variational problem in the formulation of Eq. (1), it was proposed to look for a solution in the class of monotone increasing dependences y(x), i.e., satisfying the condition . From physics perspective, if the space is filled with a uniformly distributed rarefied fluid, it is assumed that every molecule of the fluid hits the body only once; therefore, it is necessary to introduce a condition that the function y(x), whose graph generates the rotating body shape like in Fig. 1, is monotone increasing. As a result, we arrive at the formulation of the Newton's problem in the form
| (2) |
Eq. (2) includes unilateral constraints in the form of coupled differential equations, which make impossible to solve it by using classical algorithms for solving variational problems. A detailed analysis of the solution of problem in the formulation of Eq. (2) by transforming it to an optimal control problem and solving it by using methods for solving optimal control problems is given in Ref. [4], [page 43]. As a result of such analysis, it is shown that the solution of this variational problem is function y(x), which has one corner point at , wherein
One can note various methods of investigating the Newton's aerodynamic problem considering nonsymmetric cases within the framework of the Newtonian sine-squared pressure law [5], and an extension to the Newton solution on the shape of the profile of an axisymmetric rigid body which, under prescribed length and caliber, has the least aerodynamic resistance in the presence of friction [6], as well as the existence of a body of minimal resistance with prescribed volume was proved in the class of profiles which satisfy a two sided bound on the mean curvature [7]. Also, the Newton's problem was generalized to the bodies which are not rotating, to determine a convex body of the given length and of the given maximal cross section, which has the minimal resistance when moving in the rarefied medium [8]. The Newton's aerodynamic problem of finding the local properties of convex surfaces near ridge point was solved in the case of convex bodies [9], while giving insights into the structure of singular points of a solution to Newton's least resistance problem [10]. We also note Ref. [11] in which, from a unified point of view, the well-known classical solutions of the Newton's aerodynamic problem are discussed using the Legendre transform and Hessian measures.
We analyze in this paper the variational problem in the formulation of Eq. (2), which is transformed into an equivalent isoperimetric variational problem, and, in such a way, we arrive at the parametric representation for the Newton's aerodynamic problem for the solution of which classical methods for solving variational problems can already be applied. For convenience and completeness of the presentation in Section 2, a detailed transformation of the Newton's problem to an isoperimetric variational problem is given and the necessary conditions for an extremum are formulated. Parametric representation and solutions for the Newton's aerodynamic problem, including their asymptotic expressions are analyzed in Section 3. Based on these analytical results and numerical data obtained in Section 4, we formulate the main conclusions in Section 5.
2. Transformation of the Newton's problem to an isoperimetric variational problem
2.1. Formulation of the isoperimetric variational problem
To remove the unilateral constraints in Eq. (2), we introduce a real function u(x) according to the condition
| (3) |
and, thus, the unilateral constraints are satisfied for arbitrary dependencies u(x). After integrating Eq. (3) in the interval and considering the boundary condition , the function y(x) can be represented as
| (4) |
where , and the boundary condition at x = a can be expressed accordingly by the equation
| (5) |
Therefore, constant b is the upper limit of the function y(x) as defined by Eq. (1) and depicted in Fig. 1.
As a result, the variational problem (3) can be formulated with respect to the function u(x) as an isoperimetric variational problem, that is
| (6) |
Note that the functionals do not contain derivatives , which leads to significant simplification in analysis of the isoperimetric variational problem (6).
2.2. Necessary conditions for an extremum
Let us further use the method of indefinite Lagrange multipliers to obtain the necessary conditions for an extremum in the problem under discussion, according to which we introduce the extended Lagrange functional
where is Lagrange multiplier, and one can proceed to the mathematical formulation of the variational problem
| (7) |
For convenience of analysis, let us represent the Lagrange functional in the form
| (8) |
Using standard calculations in the expression for the first variation of functional (8), that is
we arrive at the necessary condition for an extremum, i.e., the variation term vanishes
Thus, the extremals of the variational problem (6) are given by function u(x) defined by the relations
| (9) |
First of all, we note that the implementation of each of the solutions (9) on the entire interval is not possible, which means that there are no solutions to the problem (6) in the class of continuous functions u(x) in the interval , and this, in turn, leads to the conclusion that the solutions y(x) in the interval are not smooth and necessarily have corner points. Indeed, we have in the case of and, thus, the isoperimetric condition is not satisfied. Therefore, the implementation of this solution on the entire interval is not possible.
Regarding the possibility of realizing the second solution in Eq. (9) on the entire interval , we note that it is necessary that the Lagrange multiplier be nonzero () and negative. Therefore, we introduce a positive constant according to the equality , and rewrite the second of the identities in Eq. (9) in the form
| (10) |
Integrating both parts of Eq. (10) in the interval and, taking into account the integral constraint in Eq. (6), we arrive at the equality
| (11) |
the fulfillment of which is not possible due to the divergence of the last integral in Eq. (11).
As a result, we conclude that the solution of variational problem (6) is given in the class of piecewise continuous functions, while on each of the continuity intervals for the solutions are described by relations represented in a convenient form for the subsequent analysis and which are equivalent to Eq. (9), that is
| (12) |
The structure of the Lagrange function in Eq. (7) and the necessary extremum conditions (12) allow us to draw an important conclusion about the properties of solutions for the variational problem described by Eqs. (6), (7).
2.3. Properties of solutions and relations between parameters
Let on a certain interval . Since has an even power in all relations (7)–(12), when is replaced on this interval by , then all Eqs. (7), (8), (9), (10), (11), (12), including the value of functional in Eq. (7), do not change. This property allows us to make significant simplifications in the subsequent analysis and representation of the variational problem solutions. Taking this remark into account, we solve the variational problem for the class of non-negative functions, i.e., , without of any loss of generality in the analysis, and thus one can further consider
| (13) |
Let us denote by the coordinate of discontinuity points of the function or one of the points in the case of the existence of several or even an infinite number of discontinuity points. Let us also introduce the notations for the left-hand and for the right-hand values of the solution at the discontinuity point (in this case ), and let us formulate the conjugation condition for solutions at the discontinuity point. For this purpose, we use the expression for the first variation of the extended functional, due to the variation of the discontinuity point . We have and, based on the condition that this variation vanishes, we obtain the conjugation condition for solutions at the discontinuity point , which takes the form
| (14) |
where the definition of in Eq. (8) is taking into account. Using standard calculations in Eq. (14) and considering the expressions and , one can write
| (15) |
Using Eq. (12) and taking into account Eq. (15) for and , we arrive at two additional relations for the parameters , , that is
| (16) |
Considering Eq. (16) and the fulfillment of condition (see Eq. (13)), after excluding parameters and , we arrive at the relation
| (17) |
In particular, if one of the parameters u+, u− vanishes, conjugation condition (15) takes the form
| (18) |
Also, considering expressions (16) and (18), and the properties of solutions (13), we arrive at the values
| (19) |
Thus, in the case and the solution parameters , and satisfy Eqs. (15), (16) at each discontinuity point of the solutions for the variational problem under discussion. When one of the parameters , vanishes, the corresponding values of parameters are given by Eq. (19) and, in accordance with Eq. (18), we arrive at an expression for the coordinate of the discontinuity point of the solution
| (20) |
One can note that, in accordance with Eq. (20) for the cases under consideration, there is a single discontinuity point of the solution with the coordinate determined by this expression. The only admissible solutions of the variational problem are characterized by the values of solutions at discontinuity points for which , and , (see Eq. (19)). However, for this class of solutions, the coordinates of the discontinuity points are determined by a single expression (20), and thus the solution of the variational problem (6) has only one discontinuity point.
Let us now analyze the possibility of obtaining the solution of variational problem with a discontinuity point at which . In this case, four parameters , and satisfy conditions defined by Eqs. (15), (16). For convenience of the subsequent analysis, we introduce notation and, taking into account Eq. (17), one can conclude that the following parametric representations for the values of can be further used in solving the problem
| (21) |
Let us analyze in more detail Eqs. (15), (16). We exclude the parameters and in these equations, and arrive at the relation
In addition, taking into account Eq. (21), the equation with respect to the parameter can be represented as or in its final form
| (22) |
A similar analysis of Eq. (15) and the second of relations in Eq. (16) also leads to Eq. (22) with respect to the parameter . Thus, the fulfillment of Eqs. (15), (16) is possible only if the value of parameter , i.e., for , which corresponds to the case of continuous solutions. Therefore, solutions of this variational problem with discontinuity points at which , , and cannot be obtained.
One can also note that the interval section for which the solution is adjacent to the left end of the interval . As a result, the solution of variational problem (15) is described by the relations
| (23) |
while and the parameter value is determined from the isoperimetric condition .
2.4. Second variation of the optimized functional
At the end of this section, let us proceed to the analysis of the extremum reached by the functional of the variational problem in the formulation of Eq. (8) on the given solutions. In this regard, we calculate the second variation of the optimized functional and represent it in the form
Considering the definition of in Eq. (8), the expression for the Lagrange multiplier in Eq. (9), and the representation of the optimal solution by Eq. (23), we arrive at a representation for the second variation in the form
In accordance with the above analysis for . For these values the expression , and, as a result, we conclude that . Thus, the optimized functional in the class of functions under consideration reaches its minimum on the obtained solution of the variational problem.
3. Parametric and asymptotic representations and analysis of solutions
First of all, we note that in the interval due to the solutions for the variational problem (3) and the representation (4) for . In order to obtain the solution on the interval , one can use Eq. (3) in the form , and the corresponding boundary condition defined by Eq. (5). Let us further consider the representation for solution in Eq. (12) as a parametric assignment of the coordinate (). Taking this into account, we obtain the expression for the differential , after the integration of which we arrive at the parametric definition of the desired contour , that is
| (24) |
where C is the integration constant. Note that the value corresponds to the value of parameter and, as a result, we have at . Indeed, at and for the interval we have . Therefore, as the parameter increases, the function monotone increases to its limiting value at . On the other hand, we have at , from which we arrive at the value of the integration constant and the representations
| (25) |
which are used to determine the values of and .
In particular, excluding the parameter from Eq. (25), we arrive at the equation
| (26) |
Eq. (26) determines the dependence , which can be also represented in the form
| (27) |
For the asymptotic values of the parameter, and , the solutions of Eq. (26) have the following asymptotic representations
| (28) |
The values of optimized functional for the variational problem in the formulation of Eq. (2) are obtained in accordance with the above parametric representations, i.e., Eq. (24), and Eq. (20), that is
| (29) |
where and the dependence is solution of Eq. (27).
4. Numerical results
This section presents the numerical results for dependences and . First of all, in order to estimate the efficiency of the asymptotic representations (28), we present the numerical solution of Eq. (26) for the parameter values of and , where the corresponding values obtained from asymptotic equation (28) are shown in parentheses. These values are as follows: 1.0960748 (1.1); 13.3853 ( 13.3333). The dependence determined by Eq. (26) in the interval of parameter change is shown in Fig. 2.
Fig. 2.
Parametric dependence determined by Eq. (26) in the interval of parameter variation . The change in asymptotic behavior, as described by Eq. (28), can be seen in the lower branch of the curve.
The value of the corner point of the optimal solution , in accordance with relations (20) and (25), is determined by the expression
and for the asymptotic values of the parameter, taking into account Eq. (28), it is described by the relations
| (30) |
Finally, Fig. 3 shows the shape of the optimal contour corresponding to the values . For these values we get 1.916801245641185, 0.3509425720484109, and .
Fig. 3.
Dependence determined by Eq. (24) for . The optimal contour corresponds to the values .
The asymptotic expressions for the values of optimized functional, that is Eq. (29), in the case of optimal contours corresponding to the asymptotic values of parameter, i.e., and , and the value in Eqs. (28), (30) take the form
| (31) |
It follows from the second expression in Eq. (31) that as the ratio increases, the value of optimized functional decreases and tends to zero. From a practical point of view, this means that an axisymmetric body with a blunt head-form moving in the rarefied medium experiences less resistance.
We also give the value of functional in the formulation of Eq. (2) corresponding to the optimal contour for , that is . To evaluate the efficiency of the obtained optimal solution, we note that the functional value is for the dependence , where , which corresponds to the generatrix of the lateral surface of a cone with the vertex placed at the origin of coordinates and the x-axis directed along the cone axis. We can also calculate the value of this functional for the contour determined by the relations , where and , so that in the considered interval of variation of the variable x we have and , which is describing a hemisphere during rotation around the x-axis, that is . One can note that and for both contours and , which corresponds to the value of . In passing, one should further note that the models for cone and convex hemisphere are important as these types of surfaces form the structural elements of the real flying objects (see, for example, Ref. [12]).
5. Conclusions
In this paper, we present the solution of the Newton's aerodynamic variational problem characterized by the presence of unilateral constraints in its mathematical formulation. This property does not allow the use of classical methods for solving variational problems, and, in connection with this, the methods of the optimal control theory have been recently applied to solve the Newton's aerodynamic problem. Transformation of the Newton's aerodynamic variational problem with unilateral constraints to the classical isoperimetric variational problem is given in this paper, followed by the exact solution of this problem. The obtained solution coincides with the solution given in Ref. [3] by transforming the variational problem in the formulation of Eq. (2) to the optimal control problem. Coincidence of these solutions confirms the correctness and efficiency of the method adopted in the article for solving this variational problem. The value of the optimized functional for the optimal contour is given. Using standard procedures of numerical computation, e.g., MATLAB (MathWorks) or Wolfram Mathematica, is extremely efficient in verifying numerical results, while analytical methods are desirable when it is possible to obtain exact formulas. Finally, to evaluate the efficiency of the optimal solution, the values of the functional for cone and hemisphere are also given. From the comparison of these numerical results with the optimal contour value it follows an increase of their resistance as the ratio tends to 1.33 for cone and 2.22 for hemisphere, i.e., the optimization effect is significant.
Author contribution statement
Alexandr A. Barsuk: Conceived and designed the experiments; Performed the experiments; Analyzed and interpreted the data; Wrote the paper.
Florentin Paladi: Conceived and designed the experiments; Performed the experiments; Analyzed and interpreted the data; Contributed reagents, materials, analysis tools or data; Wrote the paper.
Data availability statement
Data will be made available on request.
Declaration of competing interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Acknowledgements
Authors gratefully acknowledge support provided by the National Agency for Research and Development of the Republic of Moldova (Agenția Națională pentru Cercetare și Dezvoltare, Chișinău, Moldova) through the grant number 20.80009.7007.05. Thanks to the anonymous reviewers for constructive comments and suggestions.
References
- 1.Newton I. Philosophiæ Naturalis Principia Mathematica (Mathematical Principles of Natural Philosophy. 1987). London. 1687.
- 2.Barsuk A.A., Paladi F. On parametric representation of brachistochrone problem with Coulomb friction. Int. J. Non Lin. Mech. 2023;148 doi: 10.1016/j.ijnonlinmec.2022.104265. [DOI] [Google Scholar]
- 3.Alekseev V.M., Tikhomirov V.M., Fomin S.V. Springer; New York: 1987. Optimal Control. [Google Scholar]
- 4.Yang L. Saunders; London: 1969. Lectures on the Calculus of Variations and Optimal Control Theory. Translated under the title Lektsii po Variatsionnomu Ischisleniyu i Teorii Optimal'nogo Upravleniya. Moscow: Mir. 1974 (in Russian) [Google Scholar]
- 5.Buttazzo G., Kawohl B. On Newton's problem of minimal resistance. Math. Intel. 1993;15:7–12. doi: 10.1007/BF03024318. [DOI] [Google Scholar]
- 6.Horstmann D., Kawohl B., Villaggio P. Newton's aerodynamic problem in the presence of friction. NoDEA, Nonlinear Differ. Equ. Appl. 2002;9:295–307. doi: 10.1007/s00030-002-8129-6. [DOI] [Google Scholar]
- 7.Belloni M., Wagner A. Newton's problem of minimal resistance in the class of bodies with prescribed volume. J. Convex Anal. 2003;10:491–500. [Google Scholar]
- 8.Jankovic V. A new approach to Newton's aerodynamic problem. J. Convex Anal. 2009;16:601–604. [Google Scholar]
- 9.Plakhov A. On generalized Newton's aerodynamic problem. Trans. Moscow Math. Soc. 2021;82:183–191. doi: 10.1090/mosc/318. [DOI] [Google Scholar]
- 10.Plakhov A. On the structure of singular points of a solution to Newton's least resistance problem. J. Dyn. Control Syst. 2022 doi: 10.1007/s10883-022-09616-y. [DOI] [Google Scholar]
- 11.Lokutsievskiy L.V., Zelikin M.I. Hessian measures in the aerodynamic Newton problem. J. Dyn. Control Syst. 2018;24:475–495. doi: 10.1007/s10883-018-9395-x. [DOI] [Google Scholar]
- 12.Khoury G.A., editor. Airship Technology. Cambridge University Press; 2012. [Google Scholar]
Associated Data
This section collects any data citations, data availability statements, or supplementary materials included in this article.
Data Availability Statement
Data will be made available on request.



