Calculus of Variations/CHAPTER IV
CHAPTER IV: PROPERTIES OF THE FUNCTION .
- 62 The function defined as a function of its arguments.
- 63,64,65,66,67 Necessary conditions and sufficient conditions.
- 68 The function must be homogeneous of the first degree in and .
- 69 Integrability of the function .
- 70 The integral , when and are one-valued functions of each other.
- 71 Introduction of the variable or .
- 72 Analytical condition for the function .
- 73 Introduction of the function .
Consider the general integral of Art. 13:
where is a given function of the four arguments, , , , , the quantities and being written for and ; further we must regard as a one-valued regular function of these four arguments, one-valued not in the analytical sense, but only for real values of the arguments; and are defined for the whole plane or for a connected portion of it, while and are to be considered as variables that are not limited, since they determine the direction of the tangent, and it is supposed that we may go in any direction from the point , . In our problem new assumptions are made regarding and , but not regarding and  We further assume that the functions , , and , are capable of being differentiated, and that the curve is regular throughout its whole extent, or is composed of regular portions. Consequently and considered as functions of and written , are one-valued regular functions of throughout its whole extent or throughout the regular portions; in the latter case we shall limit ourselves to one regular portion. If we did not make this assumption, the curve could not be the subject of mathematical investigation, since there is no method of treating irregular curves in their generality; and, if we wish the rules of the differential and integral calculus to be sufficient, then we must first apply our investigation to such functions, to which the rules are applicable without any limitation; that is, to functions having the above properties.
If we find a curve which is regular and which satisfies the conditions of the problem, then it still remains as a supplement to prove that it is the only curve which satisfies the conditions of the problem.
For example, it is found that of all regular closed curves of given perimeter the circle is the one which encloses the greatest surface area; a priori, however, it is not known that a regular curve satisfies the problem. We know that of all polygons with a given number of sides and having a given perimeter the regular polygon has the greatest surface area, and we thus come to the conclusion that the circle, to which the polygon approaches when the number of sides is increased, will have the greatest surface area of all the closed curves ; however, no one will recognize in this a rigorous proof, and in fact there still remains a peculiar artifice to prove this property of the circle.
The chief difficulty in all analysis consists in giving a strenuous proof that the necessary conditions, that have been found for the existence of a certain property, are also sufficient. In analytical researches we make conclusions in the following manner : If the analytical quantities exist, which are required through the problems that have been set, then they must have certain properties ; this gives the necessary conditions for the sought functions. It remains yet reciprocally to prove : If the conditions for an analytical object (curve, surface, etc. ) are fulfilled, then the analytical object satisfies the conditions of the problem.
We therefore presuppose in our investigations, that the required functions are regular in their whole extent, and we seek the necessary conditions for the function which are given from the problems. Finally we will free ourselves from the limitations as far as it is possible, and see whether also the functions which have been found correspond to the conditions of the problem.
The development of a mathematical idea is, as a rule, first suggested by a concrete instance. We assume, for example, the existence in nature of something which we call the area of a limited plane. This area we express by a mathematical formula. We extend our formula and talk of the area of a curved surface. The mathematical formula exists. That to which it corresponds in nature may or may not have an objective existence. The word "area," however, is defined for us, and is limited by the mathematical formula. When the formula ceases to be intelligible, ceases to have a meaning and to give a value, then also does the idea "area" cease to exist for us. We must always presuppose those limitations to be involved in our symbols which permit of the formula having a meaning.
Only for regular curves do we compare our integrals; for such curves alone have they a meaning. Among this class of curves we seek one which gives a maximum or a minimum value of our integral. And when we put our theory into practice we assume the non-existence of quantites other than those which our theory has actually compared. Here we run a risk.
It may be that in some particular problem we have assigned a certain role; it may be also that, as far as our theory goes, we are correct in assuming the possibility of the existence of all the regular curves that are compared with one another and that their roles relative to one another has not been misstated. But it may be that there exists in nature the possibility of quantities other than those defined by our definite integrals along regular curves, and these quantities may have the same essential properties relative to the problem in question as our various definite integrals. It may be also that to one of these quantities nature has assigned that very role which we have been seeking among our definite integrals.
When we apply any mathematical theory to objective reality, we make assumptions in the way of continuity, differentiation, etc., regarding the possibilities which are permitted in nature. The question arises, do our hypotheses include all possibilities?
We may emphasize the fact that in the development of a general theory, as a rule its scope is not determined beforehand. The quantities and functions to which we must apply the operations involved are named a priori, but formulas are developed on the supposition that the operations involved are feasible and have a meaning. The scope of the formulae is afterwards defined by the territory in which all the steps involved have some signification, or by the exclusion of any realm in which they would be incapable of interpretation.
We will now prove some important properties of the function (Art. 62). In the problems which we have discussed the following is to be observed : the value of the integral, which is to be a minimum, depends in all cases only upon the form of the curve which is to be determined, not upon the manner in which , are represented as functions of a quantity .
For example, if in the first problem we write the integral in the form
then is exactly equal to , and it is clear that the value of this integral is the same as it was for the previous form (Art. 7).
If we write for any function of another quantity of such a nature that to the values and of the values and of correspond, and that the curve with increasing will be traversed in the same direction as in the first case with increasing , then the integral must remain unaltered, if it is to be independent of the manner in which , are represented as functions of the quantity ; that is, we must have as the integral of Art. 62
The simplest function of this kind that we can write for , is , where represents any arbitrary but positive quantity. Hence considering , as functions of in the left-hand side of 1), we have
Since this equation must be true for any arbitrary positive vakie of , which however is not necessarily a constant, but may be any continuous positive function, it follows that the functions to be integrated must themselves be equal for every positive value of ; and consequently
or, writing .
That is, if the integral is to depend only upon the form of the curve (or in other words, upon the analytical connection between and ), then , with regard to and must be a homogeneous function of the first degree. This condition is also sufficient to assure that the integral depends only upon the form of the curve; for consider , first expressed as functions of a quantity and then as functions of a quantity , and if these functions are of such a nature that the curve is traversed from the beginning-point to the end-point when takes all values from to , and all values to , then we can write , if increases at the same time as . Since is a positive quantity, the correctness of the expression 2) follows from the existence of 3) and at the same time also the correctness of 1).
It follows also that
- , say.
In the same way the partial derivative of with respect to its fourth argument is invariantive and may be denoted by .
The condition that must be a homogeneous function of the first degree with regard to and is generally expressed in another manner. In fact, it is nothing else than the condition of integrability of . For if is to be an exact differential, so that, say, , then the equation
must exist identically.
Since no second differential quotient is present in , it follows that and , i.e., does not contain explicitly or and therefore
But this is nothing more than that is a homogeneous function of the first degree in , .
This is everywhere the case in the examples given in Chap. I.
If the curve is of such a nature that one may regard the one coordinate as a one-valued function of the other and in such a way that for every value of between two limits and , there corresponds only one definite value of , and that continuously increases when we traverse the curve from the beginning-point to the end-point, then we may choose for the quantity itself, and therefore write the integral in the form
as it is usually written.
This representation is not always true, since the above conditions which are necessary are not always fulfilled; for example, in the fourth problem of Chapter I we must distribute the )-et unknown curve into several parts, and this is not always convenient.
On the other hand, a representation such as given above is always possible, if we introduce the quantity , since one could introduce as the variable the arc of the curve measured from the beginning-point. Besides in the form 4) it sometimes unavoidably happens that and consequently becomes infinite within the limits of integration; on the other hand it is generally possible so to choose that this is not the case.
For these reasons, in spite of the fact that many developments become more cumbrous, it is preferable to treat the integral I in the form
for on the other hand its great symmetry overbalances the fault just mentioned.
Analytical condition for' .
In the relation (Art. 68)
write , then is
Therefore equating the coefficients of :
which again is the condition of homogeneity.
DifEerentiate the above equation  first with regard to and then with regard to , which is allowable, since is a regular function, and , vary in a continuous manner, and we have
and, if denotes the factor of proportionality, we have:
- ; ;
is of the first dimension in and ; , are of the dimension 0 in and ; , , are of the -1st dimension in and ; consequently is of the dimension -3 in and .
This function plays an exceedingly important role in the whole theory.
- A limitation has to be made, however, if for certain values of , the function becomes infintely large. Such cases must be excluded from the present discussion.