Calculus of Variations/CHAPTER XI

CHAPTER XI: THE NOTION OF A FIELD ABOUT THE CURVE WHICH OFFERS A MINIMUM OR A MAXIMUM VALUE OF THE INTEGRAL. THE GEOMETRICAL MEANING OF THE CONJUGATE POINTS.

  • 145 Notion of a field.
  • 146 Neighboring curves which belong to the family of curves .
  • 147 A general theorem in the reversion of series.
  • 148 The coordinates of a neighboring curve expressed in power-series of , where is the trigonometric tangent between the initial directions of the neighboring curve and the original curve.
  • 149 A curve which satisfies the equation is determined as soon as its initial point and the direction of the tangent at this point are known.
  • 150 Limits assigned to . Extension of the notion of a field.
  • 151 Intersection of two neighboring curves. Conjugate points.
  • 152 A point cannot be its own conjugate. The derivative of does not vanish at a point which causes the function itself to vanish.

Article 145.
In Chapter IX we showed that the neighboring curves, which pass through a fixed point and belong to the family of curves , intersect again in a point , if is the point conjugate to . We shall now consider more fully this property of conjugate points.

We may first introduce the notion of a field about the curve which is to cause the integral to have a maximum or a minimum value.

We have assumed for all points belonging to that portion of the curve for which the integral in question is to be a maximum or a minimum that the function is regular in and and that along this portion of curve is neither zero nor infinite. Exceptions to these assumptions are left for special investigation. From this, in connection with the necessary conditions already established, it is seen that the portion of curve can have no singular points (see Art. 95). Such a portion of curve has therefore at every point only a single normal which cuts the curve, and the radii of curvature of all points have a lower limit which is different from zero (Art. 80). Consequently, we may determine on both sides of the normal drawn through the point of the curve two points and in such a way that the normal within the interval is not cut by any other normal to the curve in the neighborhood of the point . Consider lengths similar to drawn for all points along the curve ; then the surface bounded by the points and , which follow one another and which envelop completely the curve , has the property that within it no two normals drawn through two points of the curve that lie very close together intersect.

Calculus of Variations Harris Hancock Article 145 graphic.png

Article 146.
We represent the curve , which satisfies the differential equation , by the equations

and one of the neighboring curves, which also satisfies the differential equation , by the equations

Both curves are to pass through the same point . If for the first curve there corresponds to the point a definite value of , there will correspondto the same point for the second curve another value, say .

The condition that the first curve shall cut the second curve is expressed by the two equations:

;

or, developed in powers of , and :

where denotes the terms of the second and higher powers of <math\tau'</math>, and .

Article 147.
We may solve the equations 4) with respect to , and as follows. Suppose we have two equations

where one of the three determinants , is different from zero. It follows,<rev>See my lectures on the Theory of Maxima and Minima, etc., p. 102 and p. 21.</rev> then, that we may express all values which satisfy the two equations, and in which do not exceed certain limits through three power-series of a single quantity.

We may choose for this quantity , where ,c_{2}</math>, and need satisfy the only condition:

,

For brevity, write (cf. Art. 126)

;

then the three expressions corresponding in equations 4) to the determinants

are

of which and cannot both simultaneously vanish (Art. 127).

We may accordingly write

and further impose upon the constants and the condition

If we consider only the linear terms in equations 4), we have

From these equations we have as first approximations for and the values

and therefore, finally,

where and are power-series in and .

If we write these expressions in equations 2), or, what is the same thing, in

where, now, may take values less than , then we have

is used to represent quantities which for every value of become indefinitely small at the same time as .

When , the curve represented by equations 9) becomes the original curve, and we see that can be taken so small that the two curves at corresponding points, that is, at points that belong to the same value of , may come as near to each other as we wish. We shall show in the following Article that by this process we have derived all the curves that satisfy the differential equation , which go through the point and are neighboring the first curve.

Article 148.
Instead of the quantity we may substitute a power series in which is subjected only to the condition that if are the coeflcients of the linear terms in , the determinant

This condition is satisfied by the power-series which expresses the trigonometric tangent of the angle which the initial directions of the two curves at the point include with each other.

For, denoting this tangent by , we have

It is assumed that the curve is regular at the point , so that the quantities and are not simultaneously zero, and consequently is different from zero.

Hence, the determinant of the equations 4) and 10) is

Multiply the first horizontal row by , the second by , and add them both to the third row, which then becomes

or, what is the same thing,

Hence, the above determinant is

(see Art. 129),

an expression which (loc. cit.) is different from zero.

We may accordingly write in the place of , and find in the same way as above :

Article 149.
In Art. 89 the form of the solution of the differential equation was given. It follows that a curve which satisfies the equation is completely determined as soon as its initial point and the direction of the tangent at this point are known.

Let be the coordinates of and (see Fig. of Art. 87) the angle which the initial direction makes with the -axis ; further, take instead of the coordinates . new system of coordinates with a new origin at in such a way that

or

Now if we choose as the independent variable, then is

and consequently

The differential equation , i.e.,

becomes then

(Art. 94)

Following the method of integration given in Chapter VI, we solve the above equation in such a way that when , both and , the -axis being the direction of the tangent at the point .

Hence, if has a finite value different from zero and if does not become infinitely large at the point , as we have assumed was the case, since together with its derivatives, of which consists, is a regular function of its arguments, it follows that there is only one power-series of that satisfies the differential equation, and which with its first derivative vanishes for .

This power-series has the form

Writing this value of in the equations 13), they become

where the constants are definitely determined.

Thus the equations 15) completely determine the curve which satisfies the differential equation , where are the coordinates of its initial point and the angle which its initial direction makes with the -axis.

From this it follows at once that through equations 11) we have all the neighboring curves of the original curve which pass through the same initial point and satisfy the differential equation .

Article 150.
We may therefore give an upper limit in such a way that all curves belonging to a value of below this limit and satisfying the differential equation lie completely in the surface which envelops the original curve.

This makes it possible to bring about a one-valued relation between both curves in such a way that, corresponding to every point of the original curve, we may determine the point of the neighboring curve at which this curve is cut by the normal at a point on the first curve.

Let be the coordinates of a point on the original curve, and the coordinates of the corresponding point on the neighboring curve.

If is the point corresponding to , its coordinates are

and besides, since is the equation of the normal, and is a point on it, we have

Hence, and are to be determined from the equations

The last of these equations combined with the first and second gives

when for we have written from their power-series in .

Since the portion of curve has no singularity, and consequently nowhere vanishes, we may from equation 17) express and therefore also and as power-series in . If, then, we limit ourselves to curves with which remains within a certain limit, we may always determine the point where such a curve is cut by a normal of the original curve.

Article 151.
We ask if it is possible for the second curve to intersect the first curve. For this to be the case the length must be zero ; that is, must for some value of be equal to zero. Hence we have so to choose the quantities that the equations 4) and 16), when in 16) and are put equal to zero, are satisfied.

The terms of like dimension in 4) and 16) are homogeneous functions of and of respectively; these equations may be written :

where represent functions of and are functions of , which with these functions and therefore also with , become infinitely small.

The first two of these equations express that the two neighboring curves pass through the initial point , and the last two that they are to go through another point.

In order that these four equations exist simultaneously, their determinant must vanish. This determinant, when in it we make , is :

and this is nothing other than the function . Hence the determinant of the above system of equations may be brought to the form ; and, as this determinant is to vanish, we must have

If, now, is a point of the original curve for which and which is not conjugate to , then is different from zero, and we may therefore fix a limit for so that for all values of under this limit the expression is different from zero ; that is, none of the curves which lie very near the original curve can cut this curve at the point or in the neighborhood of it, since we can always find a limit of such a nature that for every value of within the interval the expression is different from zero. And, reciprocally, every curve that lies very near the original curve will cut this curve in the neighborhood of , as soon as there is a point in the interval which is conjugate to . For one can then always find for a value sufficiently small that, with very small values of , the sign of is the same as the sign of , and the sign of is the same as that of . But when the function passes through the value zero it changes its sign, as is seen in the following Article. Hence, it follows, as is to be zero, that the expression must vanish once within the interval ; or, in other words: If, in the interval of the original curve, there is a point conjugate to the initial point, then all the curves which lie very close to the first curve, which satisfy the differential equation and which have the same initial point , will cut again the first curve in the neighborhood of the point . Consequently the conjugate point is nothing other than the limiting position which the points of intersection of a neighboring curve with the original curve approach, if we make smaller and smaller the angle which the initial directions of the two curves make with each other.

If there is no such limiting position within the interval , then there is no conjugate point within this interval.

Article 152.
It remains yet to show that the point cannot itself be this limiting position; that is, of all the neighboring curves there cannot be one which cuts the original curve as close as we wish to . Analytically this case may be expressed in the following manner : If at the point the original curve is cut by a neighboring curve, we have the equation

a determinant which becomes , when . If for expressed as power-series in , their values be substituted in the determinant, it becomes an equation in and . Further, since are power-series in which are regular functions in the neighborhood of , the determinant may be developed in a power-series in and , which converges for sufficiently small values of and . If in the neighborhood of the original curve there exist curves which cut this curve as near as we wish to , then, after sufficiently small limits have been given to and , it is possible to find values for these quantities within the given limits for which the equation is satisfied.

If we write , the quantities are respectively equal to and the quantities to .

When this is the case, the determinant has the form

which is identically zero. Therefore the power-series in and will vanish for , whatever be the value of ; and consequently this series is divisible by .

The determinant, then, when divided by is for the value :

We saw in Arts. 128 and 129 that

and that

If is a conjugate point to , so that

it follows that

where is a constant different from zero.

We further have, since

the relation

which is different from zero.

It is thus seen that the derivative of does not vanish on the positions at which the function itself vanishes.

At the same time it is shown that the equation 19) is not satisfied, so long as and remain within finite limits; and consequently a neighboring curve cannot intersect the original curve a second time indefinitely near the initial point through which both curves pass.

As there is a great range of choice regarding the variable , and as the constants and may be chosen in many ways, it is possible to give many forms to the function . To be strictly rigorous, it would yet remain to prove that the solution of the equation leads always to the same conjugate point, whatever be the form of ; the geometrical significance of these points, however, make such a proof superfluous.