Page images

and this must vanish by virtue of the reasoning in Art. 316; and as no relation is given between the values of 8x, dy, 8z, ... at the two limits, the coefficients of these quantities must separately be equal to zero ;

:. [dir – 29 kd d. 227] = 0;}

[ocr errors]
[ocr errors]

and as these are particular values of the first equation of (54), it must be consistent with them; therefore a = 0; for a similar reason ß = 0, y = 0: whereby, and differentiating, bearing in mind that s is equicrescent,

dx 22 dx 2 d3x0 ,

[ocr errors]
[ocr errors]

ds to ds? - fx dst

(55) dz 21 dz z dz

Zdzkamp = 0; } and employing the symbols of Art. 377, Vol. I, equations (6), multiplying the preceding equations successively by X, Y, 2, and observing that xdx + y dy + z dz = 0, we have . xdox + y døy +z d3z = 0;

(56) and therefore, by reason of equation (40), Art. 382, Vol. I, the radius of torsion is infinite; and therefore all points of the required curve lie in one plane.

Again, from (55), since 1 is an arbitrary constant, and ds is also constant, we may replace a by X'ds : and also, replacing 1-2 by h, and kX' by ń, we have

[merged small][ocr errors][merged small][ocr errors]

also because s is equicrescent,

h (x dx+y dy +z dz) = dx + cydy + cgdz;

... h(x2 + y2 + 2) = 207X+2c2y +2c9z+cq; (38) which is the equation to a sphere : and therefore, combining (56) and (58), it follows that the curve is a plane section of a sphere, and therefore is a circle.

It may also, thus be proved that the curve is a plane curve: from the last two equations of (57) we have

h(zdy-ydz) = cz day-c, daz;

i(zdy-ydz) = cz dyc, dz+ki; therefore also h (xdz- zdx) = c dz-czdx + ką,

h(ydx - xdy) = cqdx--cydy + kg : multiplying these severally by dx, dy, dz, and adding, we have

1 kq dx + dy + dz = 0;

.. kqx+k2 y + kgz = k; the equation to a plane : and therefore the curve required is a plane section of a sphere.

334.] In Art. 314 it has been stated that the calculus of variations may be considered as a particular form of differential calculus, wherein the number of subject-variables of any function is infinite : I propose to illustrate this mode of viewing the calculus by the following simple example : Between two given points to draw a curve of given length, so that the area contained between it, the ordinates to the two points, and the axis of X, may be a maximum or a minimum*.

Let the two points be (xo, Y.), (mme yn): and let the distance X , — X, on the axis of x be divided into n equal parts, and the abscissæ corresponding to the points of partition be X , ...X-1; and let the corresponding ordinates be : 92, ... Yn-l; and also for convenience of notation let 41-% = A Yo, 42-4= AY, ...; X - Xo = AX, = X,—X1 = ...; and suppose the several points, to which these coordinates refer, to be joined by straight lines, of which let the lengths be aso, AS, ... AS-1 ; and let the sum of these lengths be equal to the given length c; then, if a = the required area, :

* For other examples of maxima and minima solved by this process see Schellbach, Variationsrechnung, Crelle, Band XLI, p. 293, 1851.

[ocr errors][ocr errors][ocr errors][ocr errors][ocr errors][ocr errors][ocr errors][merged small][merged small]

now suppose the number of the points of division of x,-X, to become infinite, then, taking x, y, s to be the general types of their particular values, from (59) we have

[ocr errors]

whence by integration, a and 6 being arbitrary constants, we have (x – a)2 + (yb)2 = 12.

(60) PRICE, VOL. II.


And this is the equation to a circle. To determine a and b and , we have (26-a)2 + (9.b)2 = 13,1

(61) (2xn—a) +(94-6)2 = 12;

[merged small][ocr errors]

:: (.—a)(yn-b) – (. – a)(4.b) = 12 sin ; (62) and from (61) and (62), a, b, and a may be determined.

335.] In the preceding Article x has been supposed to be equicrescent; but we might manifestly have supposed y to be equicrescent, in which case a similar process would have led to the equation dy = 1d.00

(63) Also the problem might have been treated more generally; neither of the variables might have been supposed to be equicrescent; and in this case, as the coordinates would be independent of each other, we should have had two simultaneous groups of equations similar to (59); and from them, by a passage to infinitesimal subdivision, we should obtain two simultaneous equations, viz.

dx = 1d. dy = id. Com whence, integrating, squaring and adding,

(x—a)2+(7-6)2 = 12. A careful examination of the process by which this example has been solved will shew that the method which has been employed in the previous cases, and which was explained in all its generality in the preceding Chapter, is precisely the same. In that form however it is concealed under symbols of integration and variation ; whereas in this Article it has been resolved into its simplest elements, and has been laid bare to inspection and exact investigation. Other problems may of course be solved by the same process.

SECTION 2.- On Geodesic Lines. 336.] One problem which requires the Calculus of Variations deserves especial notice; it is that of the determination of the longest or shortest line which can be drawn on a given surface from one point to another, or from one curve to another; for these lines possess important properties in the theory of geodesy, and consequently in reference to an ellipsoid of three unequal axes. The name of Geodesic lines have been given to them, and it is necessary to consider their properties at considerable length, and from various points of view.

Geodesic lines, or Geodesics, are defined to be the longest or shortest lines which can be drawn on a curved surface between two given points, or between two given curved lines. Let the equation to the surface on which the lines are drawn be F(x, y, z) = 0;

(64) and let us employ the same abbreviating symbols as in (1), (2), (3), of Art. 398, Vol. I. Let s = the length of the geodesic between the given limits ; then s = lods ; and consequently as

[ocr errors][ocr errors]

Now Ôx, dy, dz are subject to the relation

U 8x + v dy + w z = 0, and as this must consist with the part of (65), which is under the sign of integration, we have


which are the differential equations to geodesic lines on a given surface: the complete integrals of them have never yet been found, but many properties may be deduced both in the general case and in the particular case of the ellipsoid.

If the geodesic line is drawn from one given point to another given point on the surface, then, as there are no variations at these limits, the definite part of (65) vanishes; but if the geo

« PreviousContinue »