CHAPTER VII: REMOVAL OF CERTAIN LIMITATIONS THAT HAVE BEEN MADE. INTEGRATION OF THE DIFFERENTIAL EQUATION
FOR THE PROBLEMS OF CHAPTER I.
- 96 Instead of a sing-le regular trace, the curve may consist of a finite number of such traces.
- 97 The first derivatives of
with respect to
and
vary in a continuous manner for the curve
, even if there are sudden changes in the direction of this curve.
- 98 Explanation of the result given in the preceding article.
- 99 Summary.
- 100 Solution of the differential equation for Problem I of Chapter I.
- 101,102 The discontinuous solution.
- 103 The equation
solved for Problem II, Article 9.
- 104 The two fixed points must lie on the same loop of the cycloid.
- 105 Through two points may be drawn one and only one cycloidal-loop, which does not include a cusp.
- 106 Problem III. Problem of the shortest line on a surface.
- 107 The same result derived in a different manner.
- 108 Problem IV. Surface of rotation which offers the least resistance.
- 109,110 Solution of the equation
for Problem IV of Chapter I.
Article 96.
In the derivation of the formulae of Chapter V, it was presupposed that the portion of curve under consideration changed its direction in a continuous manner throughout its whole trace ; that is,
,
varied in a continuous manner. We shall now assume only that the curve is composed of regular portions of curve ; so that, therefore, the tangent need not vary continuously at every point of the curve. Then it may be shown as follows that each portion of curve must satisfy the differential equation
. For if the curve consists of two regular portions
and
, then among all possible variations of
there exist those in which
remains unchanged and only
is subjected to variation.
As above, we conclude that this portion of curve must satisfy the differential equation
. The same is true of
.
We may now do away with the restriction that the curve consists of one regular trace, and assume that it consists of a finite number of regular traces.
Article 97.
Suppose that the function
does not contain explicitly the variable
, and consequently
. Instead of the equation
, let us take
, or
.
It follows that
,
the constant being independent of
; a priori, however, we do not know that
does not undergo a sudden change at points of discontinuity of
and
. Consequently, the more important is the following theorem for the integration of the differential equation
:
Even if
,
, and thereby also the direction of the curve, suffer at certain points sudden changes, nevertheless, the quantities
,
vary in a continuous manner throughout the whole curve for which
.
If
is a point of discontinuity in the curve, then on both sides of
we take the points
and
in such a manner that within the portions
and
there is no other discontinuity in the direction of the curve. Then a possible variation of the curve is also the one by which
and
remain unaltered and
b only the portion
is varied. Here the points
and
are supposed to remain fixed, while
is subjected to any kind of sliding.
The variation of the integral
,
then depends only upon the variations of the sum of the integrals
.
Since the first variation of this expression must vanish, we necessarily have (Art. 79)
.
Since
along the whole curve, it follows that
.
The quantities
and
are both zero at the fixed points
and
; and, if we denote the values that may belong to the quantity
, according as we approach the point
from the points
or
by
and
,
the above expression becomes
,
where
and
are the values of
and
at the point
. Since the quantities
and
are quite arbitrary, it follows that their coefficients in the above expression must respectively vanish, so that
and
;
that is, the quantities
and
vary in a continuous manner by the transition from one regular part of the curve to the other, even if
and
at this point suffer sudden changes.
This is a new necessary condition for the existence of a maximum or a minimum of the integral
, which does not depend upon the nature of the differential equation
.
Article 98.
The question naturally arises: How is it possible that the functions
,
, which depend upon
and
, vary in a continuous manner, even when
and
experience discontinuities? To answer this question we may say that the composition of these functions is of a peculiar nature, viz., the terms which contain
,
are multiplied by functions which vanish at the points considered. This is illustrated more clearly in the example treated in Art. 100. The theorem is of the greatest importance in the determination of the constant. In the special dp case of the preceding article, where
constant it is clear that this constant must have the same value for all points of the curve. The theorem may also be used in many cases to prove that the direction of the curve nowhere changes in a discontinuous manner, and consequently does not consist of several regular portions but of one single regular trace. This is also illustrated in the examples which follow (Arts. 100 et seq.).
Article 99.
We may give here a summary of what has been obtained through the vanishing of the first variation as necessary conditions for the existence of a maximum or a minimum of the integral
:
1) The curve offering the maximum or minimum must satisfy the differential equation
,
or, what is the same thing, the two equations
,
;
2) The two derivatives of the function
with respect to
and
must vary in a continuous m,anner even at the points where the direction of the curve does not vary continuously.
In order to establish the criteria by means of which it may be ascertained whether the curve determined through the equation
offers a maximum or a minimum, we must investigate the terms of the second dimension in
of Chapter V. First, however, to make clear what has already been written, we may apply our deductions to some of the problems already proposed.
\begin{center}SOLUTION OF THE DIFFERENTIAL EQUATION G=0 FOR THE PROBLEMS OF CHAPTER I.\end{center}
Article 100.
Let us consider Problem I of Art. 7. The integral which we have to minimize is
. ![{\displaystyle \qquad {\text{[1]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/003eed0c973b85596a64bb4e5d9734f2c2fc8350)
Hence
, ![{\displaystyle \qquad {\text{[2]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df7aa510da01ce0211e73901588fc73ad3e25c16)
and consequently
;
. ![{\displaystyle \qquad {\text{[3]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f61e5d8649964c55dfa2e0796c9d628fd3f176e)
From this it is seen that
and
are proportional to the direction cosines of the tangent to the curve at any point
,
; and, since
and
must vary everywhere in a continuous manner, it follows also that the direction of the curve varies everywhere in a continuous manner except for the case where
. But the quantity
varies in a discontinuous manner if
and
are discontinuous; at the same time, however,
is equal to zero, as is more clearly seen in the figure below.
Since
does not contain
explicitly, we may use the equation
, or
, ![{\displaystyle \qquad {\text{[4]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd8a7658c47a27cccb1415bdcbf70acbfd7dd9b8)
where
is the constant of integration. Hence
. ![{\displaystyle \qquad {\text{[5]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0196c8b891ab87d7f54d182078421ca80dfa51b8)
The solution of this equation is the catenary:
,
![{\displaystyle \qquad {\text{[6]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a2c550975cc4ab8462417d8c5f425cb5ad3433e)
where
is a second arbitrary constant.
Article 101.
A discontinuous solution. If we take the arc
as independent variable instead of the variable
, the differential equation of the curve is
.
Suppose that
, which value it must retain within the whole interval
. Further, since
at the point
. it dx follows that
(where
is the angle which the tanas gent makes with the
-axis), and that
must remain zero until
; that is the point which describes the curve must move along the ordinate
to the point
. At this point
cannot, and must not, equal zero if the point is to move to
. Hence, at
there is a sudden change in the direction of the curve, as there is again at the point
. The curve giving the minimum surface of revolution is consequently, in this case, offered by the irregular trace
. The case where
may be regarded as an exceptional case. The unconstrained lines
and
, i.e.,
and
satisfy the condition
, since
, and for these values
; also for these lines,
. But
for the restricted portion
and is, in fact, equal to 1.
Article 102.
We may prove as follows that the two ordinates and the section of the
-axis give a minimum. This is seen at once when we have shown that the first variation for all allowable deformations is positive. The problem is a particular case of Art. 79.
The first variation may be decomposed into several parts (cf. Arts. 79 and 81):
.
Now all the boundary terms are zero, since
,
,
and therefore both are zero at the points
and
, while
and
are zero at
and
. In the first and third integrals
; in the second this function equals unity, and if we reverse the limits,
is positive, as is also
. Hence the first variation
is always positive.
When the arbitrary constant
, the curve consists of one regular trace that lies wholly above the
-axis. Further investigation is necessary to determine when this curve offers in reality a minimum.
Article 103.
In the second problem (Art. 9) we have for the time of falling the integral
. ![{\displaystyle \qquad {\text{[1]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/003eed0c973b85596a64bb4e5d9734f2c2fc8350)
That this expression may, in reality, express the time of falling (the time and, therefore, also the increment
being essentially a positive quantity), the two roots that appear under the integral sign must always have the same sign. Since
can always be chosen positive, it follows that
must be positive within the interval
.
It might happen, however, if we express
and
in terms of
, that
and
might both vanish for a value of
within the interval
. In this case the curve has at the point
,
, which belongs to this value of
, a singular point, at which the velocity of the moving point is zero.
Suppose that this is the case for
, and that the corresponding point is
,
so that we have
,
,
where
, and at least one of the two quantities
and
is different from zero.
Then is
,
and
.
Here we may suppose
positive.
If now
is odd, then for small values of
, the expression on the right is positive, and hence
always has a positive sign.
If on the contrary
is even, equal to 2, say, then the curve has at the point
,
a cusp, since here
has a positive or a negative value according as
or
.
If therefore the above integral is to express the time,
cannot always be put equal to the same series of
, but must after passing the cusp be put equal to the opposite value of the series. We therefore limit ourselves to the consideration of a portion of the curve which is free from singular points.
Such limitations must often be made in problems, since otherwise the integrals have no definite meaning. Hence with this supposition
will never equal zero.
We may then write:
, ![{\displaystyle \qquad {\text{[2]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df7aa510da01ce0211e73901588fc73ad3e25c16)
and consequently
,
. ![{\displaystyle \qquad {\text{[3]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f61e5d8649964c55dfa2e0796c9d628fd3f176e)
From this we may conclude, in a similar manner as in the first example, that
,
are proportional to the direction cosines of the tangent of the curve at the point
,
. Since now
,
vary in a continuous manner along the whole curve, and since, further,
has a definite value which is different from zero, it follows also that the direction of the required curve varies in a continuous manner, or the curve must consist of one single trace.
Also here
is independent of
, and consequently we employ the differential equation
, from which we have
, ![{\displaystyle \qquad {\text{[4]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd8a7658c47a27cccb1415bdcbf70acbfd7dd9b8)
where
is an arbitrary constant.
If
is equal to zero, then in the whole extent of the curve
must equal zero; and consequently, since
is neither 0 nor
,
must always equal zero; that is, the curve must be a vertical line. Neglecting this self-evident case,
must have a definite value which is always the same for the whole curve and different from zero.
From [4], it follows that
,
or, if we absorb
in the arbitrary constant and write
, and
,
we have
;
whence
. ![{\displaystyle \qquad {\text{[5]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0196c8b891ab87d7f54d182078421ca80dfa51b8)
In order to perform this last integration, write
; ![{\displaystyle \qquad {\text{[6]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a2c550975cc4ab8462417d8c5f425cb5ad3433e)
therefore
. ![{\displaystyle \qquad [5^{\text{a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8316b1f878cf1f7e2662beac418b6a059b8f503)
In the expression for
, write
. ![{\displaystyle \qquad [7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7a76b74167cf784fb8ea94a80925fa8e30f6c6d)
Then is
, ![{\displaystyle \qquad [8]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2409f65d77283ea98f0ecb79a5a6455b7531813)
and
. ![{\displaystyle \qquad [9]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb5d3946d4cecfe2ebc3a8444f5dc7ba9adbefb1)
Therefore
, ![{\displaystyle \qquad [10]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14c913f5e542d1f928c5e824b8eadfc8e2e929cd)
and hence
. ![{\displaystyle \qquad [11]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc2aeb4e6f12d05d34d893e304b8bfc8ee23be34)
Here the constant of integration may be omitted, since
itself is fully arbitrary.
Hence,
, and, from [
],
; ![{\displaystyle \qquad [12]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/062121e770d7e2f486fd8b5bd56f3c28189ced41)

equations, which represent a cycloid.
The constants of integration
,
are determined from the condition that the curve is to go through the two points
and
. Now develop
and
in powers of
: then in
the lowest power is
, and in
it is
; so that the curve has in reality a cusp for
, and this is repeated for
.
and
must lie between two consecutive cusps (Art. 104).
The curve may be constructed, if we draw a horizontal line through the point
,
, and construct on the under side of this line a circle with radius
, which touches the horizontal line at the point
,
. Let this circle roll in the positive
-direction on the horizontal line, then the original point of contact describes a cycloid which goes through
and B and which satisfies the differential equation.
Article 104.
That the points
and
cannot lie upon different loops of a cycloid may be seen as follows: For simplicity, let the initial velocity
be zero and shift the origin of coordinates so as to get rid of the constants.
The equation of the cycloid is then
,
,
where we have written
in the place of
.
The cycloidal arc is seen from the accompanying figure. Take j two points lying upon different loops very near and symmetrically situated with respect to an apex, and let us compare the time it would take to travel from one of these points to the other by the way of the apex with the time taken over a straight line joining them. The parameters of the two points may be expressed by
,
.
The time required to go by the way of the apex is
.
Now
,
and
,
so that
,
and consequently

.
The component of velocity across the horizontal line from
to
is
or, since
and
, this component is equal to
.
The length of the line to be traversed from
to
is
.
Hence, the time required is
,
and consequently
.
Hence,
,
or
.
It follows, therefore, for small values of
that
.
From this it is evident that a path of the particle including an apex cannot give a minimum.
Article 105.
Corresponding to the two constants that are contained in the general solution of the differential equation
of Art. 103, it is seen that we have all the curves of the family
, if we vary
and slide the cycloid along the
-axis.
We shall now show that only one of these cycloids can contain the two points
and
on the same loop. Suppose that the ordinates of the points
and
to be such that
, and consider any other cycloid with the same parameter
described about the horizontal
-axis with the origin at
. Through
draw a chord parallel to
and move this chord through parallel positions until it leaves the curve. We note that in these positions the ordinate
increases continuously, since it can never reach the lowest point of the cycloid, and that the arc
continuously diminishes. Consequently the ratio
continuously diminishes. When
coincides with the origin this ratio is infinite, and is zero when the chord becomes tangent to the curve.
Then for some one position we must have
.
Since the points
and
are fixed, the length
and the direction
are both determined.
If
, then
, and a cycloid can be drawn through
and
as required. But if
, then our cycloid does not fulfill the required conditions.
Next choose a quantity
such that
.
With
as the center of similitude increase the coordinates of our cycloid parameters in the ratio
. These coordinates then become
,
,
which are the coordinates of a new cycloid.
The latter cycloid is similar to the first, since the transformation moves the ordinate
and the chord
parallel to themselves. Their transformed lengths are respectively
and
,
giving us a cycloid with the requisite lengths for the ordinate
and the chord
.
Further, there is but one cycloid which answers the required conditions. For, if we already had
and
, the only value of
which could then make
is
. Hence through the two points
and
there can be constructed one and only one cycloid-loop with respect to the
-axis.[1]
Article 106.
Problem III. Problem of the shortest line on a surface. This problem cannot in general be solved, since the variables in the differential equation cannot be separated and the integration cannot be performed. Only in a few instances has one succeeded in carrying out the integration and thus represented the curve which satisfies the differential equation.
This, for example, has been done in the case of the plane, the sphere and all the other surfaces of the second degree.
As a simple example, we will take the problem of the shortest line between two points on the surface of a sphere. The radius of the sphere is put equal to 1, and the equation of the sphere is given in the form
.
Now writing:
,
,
, ![{\displaystyle \qquad [1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9844ea2f4fc15e13afd45b24fb41f6aaf744dbb7)
then
constant and
constant are the equations of the parallel circles and of the meridians respectively.
The element of arc is
, ![{\displaystyle \qquad [2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e8f4f1dd2ae6b9aa3bfdc6b1bb102e63b266f67)
and consequently the integral which is to be made a minimum is
; ![{\displaystyle \qquad [3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d30ee95572bf3617b4f921cc67d7a0cb5a5dddc2)
so that here we have

and
,
. ![{\displaystyle \qquad [5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd4a7683798777cff440a306b1f4f16a1188272f)
Since
does not contain the quantity
, we will use the equation
, and have:
,
where
is an arbitrary constant, which has the same value along the whole curve.
If for the initial point
of the curve
, and consequently, therefore not the north pole of the sphere, then
will be everywhere equal to zero, only if
. We must therefore have
constant. It follows as a solution of the problem that
and
must lie on the same meridian.
If this is not the case, then always
. It is easy to see that
; we may therefore write
instead of
, and have
, ![{\displaystyle \qquad [6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f5cc94e473f6aeba5103d6c87b25484f65c7b9e)
or
. ![{\displaystyle \qquad [7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7a76b74167cf784fb8ea94a80925fa8e30f6c6d)
If we write
, ![{\displaystyle \qquad [8]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2409f65d77283ea98f0ecb79a5a6455b7531813)
then is
;
since 1 may be replaced by
, we have
.
Therefore
,
where
represents an arbitrary constant.
It follows that
. ![{\displaystyle \qquad [9]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb5d3946d4cecfe2ebc3a8444f5dc7ba9adbefb1)
Eliminating
by means of [8], we have
. ![{\displaystyle \qquad [10]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14c913f5e542d1f928c5e824b8eadfc8e2e929cd)
This is the equation of the curve which we are seeking, expressed in the spherical coordinates
,
.
In order to study their meaning more closely, we may express
,
separately through the arc
, where
is measured from the intersection of the zero meridian with the shortest line.
Through [7] the expression [2] goes into
,
and this, owing to the substitution [8], becomes
,
and, therefore, if
is a new constant,
. ![{\displaystyle \qquad [11]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc2aeb4e6f12d05d34d893e304b8bfc8ee23be34)
Hence, from equations [8] and [9] we have the following equations:
,
. ![{\displaystyle \qquad [12]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/062121e770d7e2f486fd8b5bd56f3c28189ced41)
But these are relations which exist among the sides and the angles of a right-angled spherical triangle.
If we consider the meridian drawn from the north pole which cuts at right angles the curve we are seeking, then this meridian forms with the curve, and any other meridian, a triangle to which the above relations may be applied.
Therefore, the curve which satisfies the differential equation must itself be the arc of a great circle. The constants of integration
,
,
are determined from the conditions that the curve is to pass through the two points
and
.
The geometrical interpretation is: that
is the length of the geodetic normal from the point
to the shortest line;
, the arc from the foot of this normal to any point of the curve, that is, the difference of length between the end-points of this arc; and
, the angle opposite this arc.
If we therefore assume that the zero meridian passes through
, then
is the length of arc of the shortest line from
to the normal, and
the geographical longitude of the foot of this normal.
Article 107.
We may derive the same results by considering the differential equation
.
Since
,
we have
.
This value, substituted in
,
causes this expression to become
,
or
.
In this equation write
,
and we have
,
or
.
Integrating the last equation, it follows that
,
and consequently
.
Suppose that
is the north pole of the sphere,
the angular distance measured from
along the arc of a great circle, and
the angle which the plane of this great circle makes with the plane of a great circle through the point
.
Hence for all curves of the family
that pass through
, we must have
, since
for
. It follows also that
, and consequently,
,
or
constant.
Hence, as above,
and
must lie on the arc of a great circle. Next, if
is not taken as the pole, then always
, and is less than unity. It follows then at once from equations 1) and 3) that
,
or
, (where we have written
for
),
and
.
Writing
, these two equations when integrated become, as in the last article,
,
.
Article 108.
Problem IV. Surface of rotation which offers the least resistance. To solve this problem we saw (Art 12) that the integral

must be a minimum.
We have here

and we see that
is a rational function of the arguments
and
. For such functions Weierstrass has shown that there can never be a maximum or a minimum value of the integral. But leaving the general problem for a later discussion (Art. 173), we shall confine our attention to the problem before us.
We may determine the function
from the relation
.
It is seen that
.
We may take
positive, and also confine our attention to a portion of curve along which
increases with
, so that
is also positive.
Consequently
has the same sign as
, or of
, where
is the angle that the tangent to the curve at the point in question makes with the
-axis.
is therefore positive, if
, and is negative, if
, for the portion of curve considered.
We shall see later (Art. 117) that
must have a positive sign in order that the integral be a minimum. Hence, for the present problem,
must be greater than
for the portion of curve considered; and as this must be true for all points of the curve at which
has a positive sign, the tangent at any of these points cannot make an angle greater than
with the
-axis (see Todhunter, Researches in the Calculus of Variations p. 168).
Article 109.
We shall next consider the difEerential equation
of the problem.
Since
does not contain explicitly the variable
, we may best employ the equation
.
We have at once
constant,
or
.
Now, if there is any portion of the surface offering resistance, which lies indefinitely near the axis of rotation, then the constant must be zero, since
makes
.
If
, we have
,
and consequently
or
.
From this we derive
constant or
constant.
In the first case, the surface would be a cylinder of indefinite length, with the
-axis as the axis of rotation, and with an indefinitely small radius (since by hypothesis a portion of the surface lies indefinitely near the
-axis); in the second case, the resistingsurface would be a disc of indefinitely large diameter. These solutions being without significance may be neglected, and we may therefore, suppose that the surface offering resistance has no points in the neighborhood of the
-axis. This disproves the notion once held that the body was egg-shaped.
Article 110.
We consider next the differential equation
,
where
is different from zero. We may take
positive, and as the constant
must always retain the same sign (Art. 97), it follows that the product
cannot change sign.
Instead of retaining the variable
, let us write
,
and
.
The differential equation is then
.
That we may write
in the place of
, is seen from the fact that
cannot change sign, and consequently either
is continuously increasing with increasing
, or is continuously decreasing when
is increased. Hence, corresponding to a given value of
there is one value of
.
We have then
,
and
,
or
;
consequently
.
The equations
,
,
determine a family of curves, one of which is the arc, which generates the surface of revolution that gives a minimum value, if such a minimum exists. For such a curve we have all the real points if we give to
all real values from 0 to
. Among these values is
, and as we saw above, it is necessary that
continuously,
or
continuously.
In other words, if the acute angle which the tangent at any point of the arc makes with the
-axis is less than
, it must continue less than
for the other points of the arc, and if it is greater than
for any point of the arc it must remain greater than
for all points of the arc. Hence, if
is the point at which the inclination of the tangent with the
-axis is
, we shall have on one side of
that portion of curve for which the inclination is less than
, and on the other side the portion of curve for which the inclination is greater than
. The arc in question must belong entirely to one of the two portions.
- ↑ This proof is due to Prof. Schwarz.