Calculus of Variations/CHAPTER VI

CHAPTER VI: THE FORM OF THE SOLUTIONS OF THE DIFFERENTIAL EQUATION .

  • 87 Another form of the differential equation .
  • 88 Another form of the function .
  • 89 Integration in power-series.
  • 90 The solutions , of the differential equation .
  • 91,92 The case when at the initial-point of the curve.
  • 93 The form of the differential equation when is the independent variable.
  • 94 The solution of this equation.
  • 95 The curve can have no singular points within the interval in question. coordinates of any point of the curve expressed as power-series in .

Article 87.
Before we proceed to the development of further conditions for the existence of a maximum or a minimum of the integral

we shall endeavor to investigate more closely the nature and form of the differential equation .

We assume that a curve satisfying the differential equation

for which is different from zero, is known. Let be the initial point of the curve, and let be the direction of the curve at . We suppose that the differential equation takes iits simplest form, if we regard one of the coordinates as a one-valued function of the other. In the integral above, the dependence of the quantities , upon the quantity is subject only to the condition that a point is to traverse the curve from the beginningpoint to the end-point, when , continuously increasing, goes from to .

In an infinite number of ways we may introduce in the place of another variable , where

It is only necessary that the function be so formed, that with increasing also increases. In place of we may reciprocally introduce again

.

The form of the integral and of the differential equation does not change with these transformations.

Under certain conditions we may choose for the coordinate iself as independent variable, this being the case when on traversing the curve from the initial-point to the end-point, x continuously increases. In particular, we may take as the -axis the tangent at the initial point and take the direction of the curve as the positive direction of the -axis. Since we consider only regular curves or curves composed of regular portions it follows, if the point traverses the curve starting from the point , that its distance from the normal at continuously increases for a certain portion of curve. Hence for this portion of curve, if we take the positive direction of the normal at as the positive -axis, there is only one value of for every value of . Consequently for a definite portion of curve we may always assume that, by a suitable choice of the system of coordinates, the second coordinate may be regarded as a one-valued function of the first. We have therefore only to mcike a transformation of coordinates.

Let the coordinates of the new origin of coordinates be , , and further let

, ,

where and are the new coordinates.

If is the angle between the -axis and the -axis we have the well-known relations

, , , .

The integral becomes then since may be regarded as the independent variable,

,

which we shall for brevity denote by

.

If we further write then [5] becomes

.

We have a differential equation to determine as a function of , if we apply to this integral the same methods as were used in Arts. 74-80 of the last Chapter.

Let the curve be subjected to a sliding in the direction only of the ordinate , and therefore write in the place of , where is a very small quantity which vanishes at the end-point and the initial-point of the portion of curve under consideration. The integral which has been subjected to variation is

.

We next develop according to powers of and . The aggregate of the terms of the first dimension is

or, since

,

we have

.

The quantity in the square brackets vanishes, because on the limits. Further, we must have

.

Since is arbitrary, subjected only to the condition that it must vanish on the limits, it follows from the lemma of the preceding Chapter that

,

or

.

Article 88.
If one of the coordinates can be regarded as a one-valued function of the other, the equation [] may take the place of the form [2] for .

We shall now show that the quantity which enters in [] is identical with , provided that in the function and may be regarded as functions of alone.

Since

,

it follows that

,

and consequently

.

On the other hand by its definition was determined by any of the relations :

; ; .

From this it follows that

;

or finally,

.

Hence [] may be written

.

Since we have

,

and

,

where , are determined in terms of , from [3], it follows that

.

Article 89.
In the theory of differential equations it is known that every differential equation of the form [] may be integrated in the form of a power-series of the independent variable .

As a special case we have the following:

Suppose 1) that at the initial point of the curve represented by the power-series which is to be formed, we have

, ,

where is an arbitrary constant;

2) that the direction of the curve at the initial point is determined by the arbitrary constant

;

then for sufficiently small values of may be expressed in the power-series

,

where we have assumed that is different from zero at the initial point .

The second and higher derivatives of on the position may all be derived from the differential equation []. Hence, in [9] we have as a power-series in , whose coefficients contain besides the constants had in each problem, only the two arbitrary constants and , which change from curve to curve.

Article 90.
If we substitute the expression for given by equation [9] in the formulae [3] , we have and expressed in terms of . In these expressions there appear the constants , , , , which depend upon and also upon the coordinates , of the origin of the , system of coordinates and the two constants of integration and , defined in Art. 89. These latter constants vary from curve to curve. In these formulae, just as in Art. 89, we can ascribe only small values to the quantity .

We know, however as is seen in the theory of functions that if a curve is given only in a small portion its continuation is thereby completely determined. We therefore need to know the curve only for indefinitely small 's in order to be able to follow its trace at pleasure.

The coordinates , of the curve may be represented as functions of and two arbitrary constants and . Instead of , we may introduce an arbitrary function of another quantity if only this quantity increases in a continuous manner, when the curve is traversed from the beginning-point to the end-point. As already mentioned, the two constants of integration vary from curve to curve. If we determine suitably these constants, we can compel the curve, which satisfies the differential equation , to pass through two prescribed points.

In this manner we have a clear representation of the manner in which the analytical expressions giving and are derived; and are found in general from the equation in the form

, . Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikibooks.org/v1/":): {\displaystyle \qquad \text{[10]}}

At the same time it is seen that up to a certain point, at least, and are one-valued and regular functions of and of the two constants of integration and , so that eventually we can also differentiate with respect to these two constants.

Article 91.
It seems desirable here in connection with what was given in Arts. 89, 90 to consider the exceptional case, viz., the one in which

is equal to zero for the origin of the curve which satisfies the equation .

We shall see that this is only an exceptional case by showing the following :

If we draw around the point a small circle, then this circle may be so distributed into sectors that within each sec tor is not equal to zero. For we may regard the radius of a sufficiently small circle about the initial point of the curve in question as the initial direction of this curve. If for we write in [8] the power-series given in [9] , we have, by putting , an equation for the determination of , that is, the quantity which fixes the initial direction. This equation has either no real roots, and then there will exist no curve starting from the point , or vanishes for single 's, and then the radii determine separate sectors. Within these sectors curves may be drawn starting from the point in every direction, for which is different from zero. Consequently one can always assign limits for within which the corresponding curves, satisfying the equation and starting from the point have at the origin, at least, an different from zero.

Article 92.
Finally we shall show that the curves starting from the same point which satisfy the equation lie completely separated from one another at their initial point.

If we draw a small circle around the point , then on its periphery we can easily determine the point , in which it is cut by one of the curves in question. For let be the radius of the small circle, so that

.

Writing for the power-series [9], we have

,

or

.

We may revert this series and have expressed as a function of , so that

and therefore

These series are convergent for all 's within a certain limit , so that therefore and , the coordinates of the point to be determined upon the periphery of the circle with the radius , are uniquely found for all values of . Consequently at the beginning, at least, the curves which belong to a sector in reality lie completely separated from one another.

Article 93.
The form of the differential equation , where is introduced as the independent variable instead of . If we introduce instead of another variable by writing equal to a function of , we arrive at the same differential equation . It is usually advantageous to introduce the length of arc as the independent variable.

Since (Art. 68) the derivatives of the function with. respect to its third and fourth arguments are invariantive, we have (writing in the formulae of Art. 68)

,
.

From this it is seen that , are independent of the manner ox ay in which and are expressed as functions of , and depend only upon the point in question of the curve and the direction of the tangent at this point. We have at once

;

and since

,

it follows that

.

If further we write

,

we have

.

Hence the equation becomes

.

Article 94.
From the above equation the second and all higher derivatives of and with respect to may be explicitly expressed in terms of ,,,.

For, from the relation

,

it follows, through differentiation, that

.

If, for brevity, we write

,

we may write the differential equation of the last article in the form:

With the aid of [i], we have

, .

It requires no further explanation to show how from these relations one can express the third and higher derivatives of and with respect to in terms of , , and .

Article 95.
If, then, nowhere vanishes, and like is a continuous function of its arguments, and if never becomes infinite (see Art. 149), it follows that and can never become infinitely large, and are also continuous functions of the arc.

It follows that the curve has no singular point within the interval in question and that the curvature nowhere becomes infinitely large. This may be shown in the following manner : Let the points , of the curve correspond to the value of then owing to the equations [ii] of the preceding article, the curve in the neighborhood of this point may be represented by the equations

,
,

where the constants and do not vanish simultaneously. When the values of and derived from these equations are substituted in

,

it follows that

,

and since this equation is true for all points in the neighborhood of , it is seen that

,

and that further

, .

Hence the coordinates of every point of the curve situated in the neighborhood of , may be represented through the regular functions

,
,

where and do not simultaneously vanish. Since this is true for every point , , it follows that the curve can have no singular points. Hence also the quantities and can not both vanish at the same time.