CHAPTER II: EXAMPLES OF SPECIAL VARIATIONS OF CURVES. APPLICATIONS TO THE CATENARY.
- 22 Total variation in the case of Problem I, Chapter I.
- 23 A bundle of neighboring curves.
- 24 The first variation.
- 25 The integral
- 26 The vanishing of the first variation.
- 27 Application to Problem I.
- 28 The differential equation of this problem.
- 29 The integral
- 30 Solution of the differential equation of Art. 26.
- 31 The notion of a region within which two neighboring curves do not intersect.
- 32 The catenary.
Let us consider again the integral of Art. 6,
Suppose that there is a minimum surface area that is generated by the rotation of a curve between the two fixed points and and let this curve be . Let be the distance between this curve and any neighboring curve measured on the -ordinate, and suppose that is a continuous function of subject to the conditions: that for , ; for , ; and for all other points , where may be as small as we choose.
The integral of any neighboring curve corresponding to  is
Hence the total variation caused in  when, instead , we take a neighboring curve, is
has always a positive sign, since the surface in question is a minimum.
Instead of the one neighboring curve, we may consider a whole bundle of such curves, if for we substitute , where is independent of and has any value between and . The expression  becomes then
and, developing by Taylor's Theorem,
There is no constant term in this last development, since when is made zero in  the first and second integrals cancel each other.
- is known as the first variation,
- is called the second variation, etc.
Instead of taking a very small quantity, we may take so small that is as small as we choose.
With Lagrange (Misc. Taur., tom. II, p. 174), writing , it is seen that the total change in is .
REMARK. The sign of differentiation and the sign of variation may be interchanged; for example, the 1st derivative of a variation is equal to the 1st variation of a derivative, as is seen by writing
- , then
Again ; change into , and consequently into . Hence is the first variation of , so that
and therefore from [i] and [ii]
It follows too that owing to the presupposed existence of , we must also assume the existence of the second differential coefficient of .
Returning to , write , . Then expanding the expression under the sign of integration
Hence, equating the coefficients of the 1st power of in  and in  we have
which is a homogeneous function of the first degree in and . The quantity cannot be indefinitely large, since then the development would not be necessarily convergent; but see Art. 116.
In a similar manner we may find a definite integral for the second variation, in which the integrand is an integral homogeneous function of the second degree in and ; similarly for the third variation, etc.
As a form of the integrals which were given in Problems I, II, III and IV of the preceding Chapter, consider the integral
where is a known function of , and , and where the limits of this integral, and , are fixed. Hence, as above,
This expression, when expanded by Taylor's Theorem, is
We also have, as in Art. 23,
and by comparing the coefficients of in these two expressions, it follows that
In the particular case given in Art. 22, . Hence
- and ;
and when these relations are substituted in (A) we have, as in Art. 24,
From the relation
it is seen that when is taken very small, is as near as we wish to zero; and consequently when is positive and indefinitely small, is positive. On the other hand, when is indefinitely small and negative, is negative.
Hence the total variation of the integral will be either positive or negative according as is positive or negative, so long as is different from zero; and consequently there can be neither a maximum nor a minimum value of the integral.
We know, however, if is a maximum is always negative, and if is a minimum is always positive; and consequently in order to have a maximum or a minimum value of the integral, must be zero.
Applying the above result to the example given in Art. 22 we have
Integrating by parts,
and since, by hypothesis (see Art. 22), at both of the fixed points and , we have
Hence  may be written
We assert that in the expression above
must always be zero between the limits and . For, assuming that the contrary is the case; then, since is arbitrary, we may, with Heine, write
where becomes zero for the valued and . Substituting this value of in , we have
an expression which is positive within the whole interval .
The integrand in  , looked upon as a sum of infinitely small elements, has all its elements of the same sign and positive; so that the only possible way for the right-hand member of  to be zero is that
We therefore have a differential equation of the second order for the determination of the unknown quantity .
This differential equation is a special case of the more general differential equation, which may be derived from the integral
whence, as before (Arts. 25 and 27),
As in Art. 27, we have
Hence from ,
where is the constant of integration.
The relation  exists only when the integrand of the given integral does not contain explicitly the variable ; otherwise the relation  would not be true, and then we could not deduce .
Applying this relation  to the special case above (Art. 28) where
being the constant of integration, a quantity which will be considered more in detail later.
The above expression may be written
From [I] it follows directly that
and [II], differentiated with respect to , is
Two solutions of this diflFerential equation are
- and ,
so that the general solution is
It appears that we have in this expression three arbitrary constants, , , and ; but from [II] we have, after substituting for and their values from [III],
Hence, writing in [III],
where is a constant, we have
The two constants and are determined from the two conditions that the curve is to pass through the two fixed points and .
From what was given in Art. 19 it would appear that two neighboring curves are distinct throughout at least certain portions of their extent. This implies the existence of a certain neighborhood about the curve that is supposed to offer a minimum, within which this curve is not intersected by a neighboring curve. Suppose that the curve is derived from the curve by the substitution for (cf. Art. 22). Consider the family of curves obtained by varying between and . For sufficiently small values of the curve will lie within the neighborhood presupposed to exist, and a portion of our family of curves will lie within this neighborhood. This is a necessary consequence of the supposed existence of a minimal surface of revolution. As a condition, however, it is not sufficient to assure the existence of a curve giving such a surface. The fact that the surfaces generated by the curves are all greater than that generated by the curve does not prevent the existence of a neighboring curve constructed after a manner other than that by which the curves are produced, which would generate a surface of revolution having less surface area than that due to the revolution of .
It is useful to determine for just what curve the above condition may be satisfied, and while this does not prove that the curve gives a minimal surface of revolution, it will at least limit the range of curves among which we may hope to find a generator of a minimal surface. Further investigation of this more limited range of curves may locate the curve or curves giving a minimal surface if such exists, and in the other case may prove their nonexistence. In the further investigation we shall derive the sufficient conditions to assure the existence of a maximum or a minimum.
The conclusions drawn from Art. 30 show that, if a curve exists which offers the required minimal surface, that curve must be a catenary. Since the catenary must pass through the two fixed points and , we may determine the constants and from the two relations (see formula [III'], Art. 30):
We shall see in the next Chapter that three cases arise according as the solution of the above equations furnish us with two catenaries, one catenary, or no catenary.
In the first place, it may be shown that the catenary nearest the -axis can never furnish a minimal surface. The second case arises from the coincidence of the two catenaries just mentioned, and it will be seen that an infinite number of curves may in this case be drawn between the two points, each of which gives rise to the same rotation-area. These results are due to Todhunter (see references at the beginning of the next Chapter).
- ↑ Heine, Crelle's Journal, bd. 54, p. 338.