1911 Encyclopædia Britannica/Variations, Calculus of

From Wikisource
Jump to navigation Jump to search

VARIATIONS, CALCULUS OF, in mathematics. The calculus of variations arose from the attempts that were made by 0, yggn mathematicians in the 17th century to solve problems vfihv of which the following are typical examples. (i) It is required to determine the form of a chain 'of given length, hanging from two fixed points, by the condition that its centre of gravity must be as low as possible. This problem of the catenary was attempted without success by Galileo Galilei (1638). (ii) The resistance of a me dium to the motion of a body being assumed to be a normal pressure, proportional to the square of the cosine of the angle between the normal to the surface and the direction of motion, it is required to determine the meridian curve of a surface of revolution, about an axis in the direction of motion, so that the resistance shall be the least possible. This problem of the solid of least resistance was solved by Sir Isaac Newton (1687). (iii) It is required to find a curve joining two fixed points, so that the time of descent along this curve from the higher point to the lower may be less than the time along any other curvef This' problem of the brachistoehrone was proposed by John (Johann) Bernoulli 16 6 . 1,

(ffohd contributions of the Greek geometry to the subjecticonsist of a few theorems discovered by one Zenodorus, of whom little Early is known. Extracts from his writings have been premsmqa served in the writings of Pappus of Alexandria and Theon of Smyrna. He proved that of all curves of given perimeter the circle is that which encloses the largest area. The problems from which the subject grew up have in common the character of being concerned with the maxima and minima of quantities which can be expressed by integrals of the form x'F(x, y, y')dx,

xo

in which y is an unknown function of x, and F is an assigned function of three variables; viz. x, y, and the differential coefficient of y with respect to x, here denoted by y'; in special cases x or y may not be explicitly present in F, but yi must be. In any such problem it is required to determine y as a function of x, so that the integral may be a maximum or a minimum, either absolutely or subject to the condition that another integral or like form may have a. prescribed value. For example, in the problem of the catenary, the integral

°“y<1 +;v”)%<ix ' L

xo

"lo +y'=) ldx

xo

has a given value. When, as in this example, the length of the sought curve is given, the problem is described as isoperimetfic. At the end of the first memoir by James (Jakob) Bernoulli on the infinitesimal calculus (1690), the problem of determining the form of a flexible chain was proposed. Gottfried Wilhelm Leibnitz gave the solution in 1691, and stated that the centre of gravity is lower for this curve than for any other of the same length joinin the same two points. The first step towards a theory of such problems was taken by James Bernoulli (1697) in his solution of the problem of the brachistochrone. He pointed out that if a curve, as a whole, possesses the maximal or minimal property, every part of the curve must itself possess the same property. Beyond the discussion -of special problems, nothing was attempted or many years.

The first general theory of such problems was sketched by Leonhard Euler in 1736, and was more fully developed by him in his Euler treatise Methodus inveniendi published in 1744. He generalized the problems proposed by his predecessors by admitting under the siign of integration differential coefficients of order hig er than the rst. To express the condition that an integral of the form

x'F(x. y. y'. y”, - - -J'( ))dx

fo

may be a maximum or minimum, he required that, when y is changed into y-I-u, where u is a function of x, but is everywhere " infinitely " small, the integral should be unchanged. Resolving the integral into a sum of elements, he transformed this. condition into an equation of the form

BF d6F d'6F nd" 6F

Z14Ax ay -(Z-C W1 . . -l-(-I) EE W -O,

and he conCluded that the differential e uation obtained b e uatin fl Y q s

to zero the expression in the square brackets must be satisfied. This equation is in general of the 2nth order, and the 2n arbitrary constants .which are contained in the complete /primitive-must be adjusted to satisfy the conditions that y, y', y', . . y<"“1> have given values at the limits of integration. If the function y is required also to satisfy the condition that another integral of the same form as the above, but containing a function ¢ instead of F, may have a prescribed value, Euler achieved his purpose by replacing F in the differential equation by F-I-Ma, and adjusting the constant~} so that the condition may be satisfied. This artifice is known as the isoperirnetric rule or rule of the undetermined multiplier. Euler illustrated his methods by a large number of example sf ' »

The new; theory was provided with a special symbolism by Joseph Louis der la Grange (commonly called Lagrange) in a series of memoirs, published in 1760-62. This symbolism L was afterwards adopted by Euler (1764), and Lagrange agmnge is generally regarded as the founder of the calculus of variations. Euler had been under the necessity of resolving an integral into a sum of elements, recording the magnitude of the change produced in each element by a slight change in the unknown function, and thence forming an expression for the total change in the sum under consideration. Lagrange proposed to free the theory from this necessity. Euler had allowed such changes in the position of the curve, along which the integral, to be made a maximum tor minimum, is taken, as can be produced by displacement parallel to the axis of ordinates. Lagrange admitted a more general change of position, which was called variation. The points of the curve being specified by their co-ordinz-tes, x, y, z, and differentiation along the curve being denoted, as usual, by the symbol d, Lagrange considered the change produced in any quantity Z, which is expressed in terms of x, y, z, dx, dy, dz, d2x, . when the co-ordinates x, y, z are changed by “ infinitely " small increments. This change he denoted by BZ, and regarded as the variation of Z. He expressed the rules of operation with 6 by the equations V 6dZ=d6Z, 5fZ =f5Z.

By means of these equations f 6Z can be transformed by the process of integration by parts into such a form that differentials of variations occur at the limits of integration only, and the Th transformed integral contains no differentials of varia- eb I6 tions. The terms at the limits and the integrand of Sym ° the transformed integral 'must vanish separately, if the variation of the original integral vanishes. The process of freeing the original integral from the differentials of variations results in a differential equation, or a system of differential equations, for the determination of the form of the required curve, and in special terminal conditions, which serve to determine the constants that enter into the solution of the differential equations. Lagrange's method lent itself readily to applications. of the generalized principle of virtual velocities to problems, of mechanics, and he used it in this way in the Mécanique analytique (1788). The terminology and notation of mechanics are still largely dominated. by these ideas of Lagrange, for his methods were powerful and effective, but they are rendered obscure by the use of “infinitely ” small quantities, of which, in other departments of mathematics, he subsequently became an uncompromising opponent. The same ideas were: applied by Lagrange himself, by Euler, and by other mathematicians to various extensions of the cal- fixten culus of variations. These include problems concerning f)f2'; integrals of which the limits are variable in accordance an, S with assigned conditions, the extension of Euler's rule of 'Z-et;:d restricted by conditions of various types, the maximaand minima of integrals involving any number of dependent variables, s uCh as are met with in the formulation of the dynamical Principle of Least Action, the maxima and minima of double and multiple integrals. In all these cases Lagrange's methods have been applied successfully to obtain the differential equation, or system of differential equations, which must be satisfied if the integral in question is a maximum or a minimum. This equation, or equations. will be referred to as the principal equation, or principal equationS, Of the roblem.

The problems and method of the calculus admit of more exact formulation as follows:' We confine our attention to the C2156 where the sought curve is plane, and the function Ft Formal” contains no differential coefficients of order higher than mm 0, the first. Then the problem is to determine a curve the First joining two fixed points (xo, yo) and (xi, yi) so that the pmb1em line integral

"'F<x, y, ;v')¢ix

xo

taken along the curve may be a maximum or a minimum. When it is said that the integral is a minimum for some curve, it is meant that it must be possible to mark a finite area in the plane of (x, y), so that the curve in question lies entirely within this area, and the integral taken along this curve is less than the integral taken along any other curve, which joins the same two points and lies entirely within the delimited area. There is a similar definition for a maximum. The word extrernurn is often used to connote both maximum and minimum. The problem thus posed is known as the First Problem of the Calculus of Variations. If we begin with any curve

oining the fixed end points, and surround it by an area of finite breadth, any other curve drawn within the area, and joining the same end points, is called a variation of the original curve, or a varied curve. The original curve is defined by specifying y as a function of x. Necessary conditions for the existence of an extremum can be found by choosing special methods of variation. One method of variation is to replace y by y-l-tu, where u is a function of x, and e is a constant which may be taken as small as we please. The function u is independent of e. It is differentiable, and its differential coefficient is continuous within the interval of We k integration. It must vanish at x=x0 and at x=x, . This 8 method of variation has the property that, when the "'"i"' ordinate of the curve is but slightly changed, the direction "°"" of the tangent is but slightly changed. Such variations are called weak variations. By such'a variation the integral is changed into

F(x, y-l-eu, y'+eu')dx.

and the increment, or variation of the integral, is

{F(x, y-I-eu, y'+eu') -F(x, y, y')}dx.

In order that there may be an extremum it is necessary that The first the variation should be one-signed. We expand the exar] pression under the sign of integration in powers of e. The L "' first term of the expansion contributes to the variation °"' the term

xl BF 6F,

efxo <ayu -l- ay, u dx.

This term is called 'the first variation. The variation of the integral cannot be one-signed unless the first variation vanishes. On transforming the first variation by integration by parts, and observing that u vanishes at x =x0 and at x =x, , we find a necessary condition for an extremum in the form

x HF d 6F

-W udx-o.

It is a fundamental theorem that this equation cannot hold for all admissible functions u, unless the differential equation Li.. 'f§ f. Q§ =0

dx éy' 6y

is satisfied at every point of the curve along which the integral is taken. This is the principal equation for this problem. The Suuom curves that are determined by it are called the stationary ny curves, or the extrema ls, of the integral. We learn that curves the integral cannot be an extremum unless it is taken along a stationary curve.

A difficulty might arise from the fact that, in the foregoing argument, it is tacitly assumed that y, as a function of x, is one-valued; and we can have no a priori ground for assuming that this is the case for the sought curve. This difficulty might be met by an appeal to James Bernoulli's principle, according to which every arc of a stationary curve is a stationary curve between the end points of the arc-a principle which can be proved readily by adopting such a method of variation that the arc of the curve between two points is displaced, and the rest of the curve is not. But another method of meeting it leads to important developments. This is the method of parametric representation, introduced by K. Weier:;';:; c strass. According to this method the curve is defined mauled by specifying x and y as one-valued functions of a araP meter 0. The integral is then of the form 6 . .

0;f(x, y. x. y)d0,

where the dots denote differentiation with respect to 0, and f is a homogeneous function of x, y of the first degree. The mode of dependence of x and y upon 0 is immaterial to the problem, provided that they are one-valued functions of 0. A weak variation is obtained by changing x and y into x-i-eu, y-l-ev, where u and v are functions of 0 which have continuous differential coefficients and are independent of e. It is then found that the rinci al P P

equations of the problem are

i£! § =0 i f?I ?i 0

d<96x 6x 'd0 651 ay"

These equations are equivalent to a single equation, for it can be § roved wxthout difficulty that, when f is homogeneous of the first egree in x, y

1 I 6'f Bff

y deax axi ” x i do ay ayi “ayax"axay'H'(”" ) where

1 Qi 1 0'f I if

f1'=y2 ax” xy axay “E” ayf

The stationag curves obtained by this method are identical with those obtain by the previous method. The formulation of the problem by the parametric method often enables us to simplify the formation and integration of the principal equation. A very simple example is furnished by the prob, m problem: Given two points in the plane of (x, y) on the nh ° same side of the axis of x, it is required to find a curve ° the M joining them, so that this curve may generate, by revolu- ca °"° ° tion, about the axis of x, a surface of minimum area. The integral to be made a minimum is

§ ;y<x=+y2>ad@,

and the principal equation is

E & O

<10 lifsl-5'”)é T

of which the first integral is

3U@(i2+5'2)'i = C.

Ol

2' = Q 2 gi.

C 3 1+ (dx)and

the stationary curves are the catenaries y=c cosh{(x-a)/ci.

The required minimal surface is the catenoid generated by the revolution of one of these catenaries about its directrix. The parametric method can be extended without difficulty so as to become applicable to more general classes of problems. A simple example is furnished by the roblem of forming the equations of the path of a ray olplight in a variable medium. png' °f According to Fermat's principle, the integral fads- is a “"'"'° minimum, ds representing the element of arc of a ray, and n the refractive index. Thus the integral to be made a minimum is § ;u<x“+y2+2'>=d0.

The equations are found at once in forms of the type € 35 Qu .2 .2 .2,

dai i axfx -l'y +2)2-0,

and, since (x2+y”-I-22)§ dB=ds, these equations can be written in the usual forms of the type

d dx 6, uas

(Fda) ox- O

The formation of the first variation of an integral by means of a weak variation can be carried out without difficulty in the case of a simple integral involving any number of dependent variables and differential coefficients of arbitrarily high orders, and also in the cases of double and multiple integrals; and the quantities of the type eu, which are used in the process, may be regarded as equivalent to La range's éx, By, . . . The same process may not, however, be appliecf to isoperimetric problems. If the first variation of the integral which is to be made an extremum, R""" “f sub'ect to the condition that another integral has a pre- “fe "W" scribed value, is formed in this way, and if it vanishes, the “PH”curve is a stationary curve for this integral. If the prescribed value of the other integral is unaltered, its first variation must' vanish; and, if the first variation is formed in this way, the curve is a stationary curve for this integral also. The two integrals do not, however, in general possess the same stationary curves. We can avoid this difficulty by taking the variations to be of the form f, u1+e¢u», , where Q, and ez are independent constants; and we can thus obtain a completely satisfactory proof of the rule of the undetermined multiplier. A proof on these lines was first published by P. Du Bois-Reymond (1879). The rule had long been regarded as axiomatic. The parametric method enables us to deal easily with the problem of variable limits. If, in the First Problem, the terminal point (x, , y,) is movable on a given guiding curve ¢(x1, yr) =o, ' the first variation of the integral can be written § f if ~'0'[ $3.322 iaf Qi

“1ax+”ay x=, M=y1'~ 00 ideas E)x§ u+ld06 ji 6y]v§ d0 where (xl-l-ful, y, -l-fvl) is on the curve (x, , y,)=0, and ul, 211 denote the values of u, »v at (x, , yl). It follows that the required curve must be a stationary curve, and that the condition Q <a> Q tad, T

ay; 6x1

must hold at (xi, yi). The corresponding condition in the case of the integral I bl

F(x, y, y')dx A ' Ya' ° e

is found from the equations

0{ F, 8F Bf 6F

Ev: y 57' 55:57

limits.

to be g

Fix: yr %'g7=o f§ ;2<rz-v>a{<1><q'>1¢d@,

This discussion yields an important result, which may be stated as follows: Let two stationary curves of the integral be drawn from the same initial point A to points P, Q, which are near together, and let the line PQ be of length v, and make an angle w with the Q axis of x (fig. I). The excess of the integral taken along AQ, from A to Q, above the in- tegral taken along AP, from A to P, is expressed, correctly to the first order in v, by the formula

6F

A vcosw F(x, y, y)-l-(tan w-y)@"J"

In this formula x, y are the co-ordinates of

FIG I xP, and y' has the value belonging to the point P and the stationary curve AP. When the coefficient of v cos w in the formula vanishes, the curve AP is said to be cut transversely by the line PQ, and a curve which cuts a famil of stationer curves transversely is described as a y

T""" transziersal of thosg curves. In the problem of variable Vifiafs limits, when a terminal point moves on a given guiding Zoifry curve, the integral cannot be an extremum unless the wNcs stationary curve along which it is taken is cut transversely by the guiding curve at the terminal point. A simple example is afforded by the shortest line, drawn on a surface, from a point to a given curve, Alying on the surface. The required curve must be a geodesic, and it must cut the given curve at right angles. The problem of variable limits may always be treated by a method of which the following is the princi le: in the First Problem let the Ahemm initial point (xo, yo) be fixed, and let the terminal point "ve (xl, yl) move on a fixed guiding curye Cl. Now, whatever method the terminal po1nt may be, the integral cannot be an extremum unless it is taken along a stationary curve. We have then to choose among those stationary curves which are drawn from (xo, yo) to points of Cl that one which makes the integral an extremum. This can be done by expressing the value of the integral taken along a stationary curve from the point (xo, 0) to the point (xl, yl) in terms of the co-ordinates xl, yl, and then maging this expression an extremum, in regard to variations of xl, yl, by the methods of the differential calculus, subjecting (xl, yl) to the condition of moving on the curve Cl.

An important example of the first variation of integrals is afforded by the Principle of Least Action in dynamics. The kinetic energy T is a homogeneous function of the second degree in the differential coefficients ql, ql, qu of the co-ordinates ql, qt, . . q, . with respect to the time t, and thefpotential energy V is a function of these co-ordinates. The energy equation is of the form Principle

olleast T+V-E

“, .,0, , where E is a constant. A course of the system is defined when the coordinates qare expressed as functions of a single parameter 0. The action A of the system is defined as the integral /'f;lTdt, taken along a course from the initial position (q<°)) to the final position (ofi), but fo and ll are not fixed. The equations of motion are the principal equations answering to this integral. To obtain them it is most convenient to wr1te(q) for T, and to express the integral in the form

where q' denotes the differential coefficient of a co-ordinate q with respect to 0, and, in accordance with the parametric method, the limits of integration are fixed, and the integrand is a homogeneous function of the q"s of the first degree. There is then no difficulty in deducmg the Lagrangian equations of motion of the type d 6'I' 6T 6V

at eq' aq'l'aq =°

These equations determine the actual course of the system. Now if the system, in its actual course, passes from a given initial osition (q'°>) to a variable final position (q), the action A becomes a flimction of the q's, and the first method used in the problem of variable limits shows that, for every q

?;*. Q

09 '94

When the kinetic energy T is expressed as a homogeneous quadratic function of the momenta GT/642, say

HT BT

T? fzr, I bww; 1 (bsr=brs)y

and the differential coefficients of A are introduced instead of those of T, the energy equation becomes a non-linear partial differential equation of the first order for the determination of A as a function of the q's. This equation is

Principle

aww- sz". b..' %i'- gil +v=E.

US' '

action. A complete integral of this equation would yield an expression for A as a function of the q's containing n arbitrary constants, al, al, . a., of which one a, . is merely additive to A; and the courses of the system which are compatible with the equations of motion are determined by equations of the form Q5x b1aA b2 as b

601- iaflg* '.-'61111, ] - "Fl

where the b's are new arbitrary constants. It is noteworthy that the differential equations of the second order by which the geodesics on an ellipsoid are determined were first solved by this method (C. G. ]. Jacobi, 1839).

It has been proved that every problem of the calculus of variations, in which the integral to be made an extremum contains only one independent variable, admits of a similar transformation; that is to say, the integrals of the principal p"]”dp'° equations can always be obtained, in the way described “f “W” above, from a complete integral of a partial differential mei equation of the first order, and this partial differential 8 'mal e uation can always be formed by a process of elimination. 'fegjr Tiiiese results were first proved by A. Clebsch (1858). Z Among other analytical developments of the theory of the first variation we may note that the necessary and sufficient condition that an expression of the form A

F(x. y, y', - - -y<"') ffzjfgf"

should be the differential coefficient of another expression, .ab”ity of the form

F1(x1 yr y,1- ' ~y<n '1))

is the identical vanishing of the expression OF d 6F dz 6F d" 0F

3-Z6 5;/+52 gr- ~ - +(~I)" gngwvfy

The result was first found by Euler (1744). A differential equation

¢<x, yy yr, yy):O gjlxdifkll

is the principal equation answering to an integral of the diffeh form, ential

fF(x, yu y)dx equation

if the equation may gl-is¢

ri Q§ ; i(} from a

ax ay” 'ay' problem

is satisfied identically. In the more general case of an °f'“'7 equation of the form °' C” "S

~ of varia¢(x,

y, y', . . .y(2 )) = O tions.

the corresponding condition is that the' differential expression obtained by Lagrange's process of variation, viz., gi aa lg a¢ Way

ay 'WJVW dx +' ' ' 'l'ay<2'~> dx2"

Y

must be identical with the “ adjoint ' differential expression it '£<§ ;¢:) § <@ 'il< 3¢

ay 5y"'dx ayI5fY 'l'dxz ay” 5fY)'»~~'l'dx2» 63/(2n)6y-This matter has been very fully investigated by A. Hirsch (1897). To illustrate the transformation of the first variation of multiple integrals we consider a double integral of the form D3/>(x, y, 2, P. q. 1, S, ilfixfly.

taken over that area of the z plane which is bounded by a Tggguon closed curve s'. Here p, q, t denote the partial of a differential coefficients of z with respect to x and y of doume the first and second orders, according to the usual nota- ]megM! tion. When z is changed into z-1-ew, the terms of the first order in e are

GW 6// Bw 61,0 ow of 62w 6l/ 6271! if 327.0 FU (asm ap ax+& ay'l'af ae +53 axay+ an ay2 dxdy Each term must be transformed so that no differential coefficients of w are left under the sign of double integration. We exemplify the process by taking the term containing 6210/6x2. We have "9¢""w iiixfif) 3 <Q'£>.i'i

K/5? @dxdy'./flbx <6r 3x Tax 61' éx dxdy 3 dxl/ dw 3 6 3(/ 62 <6.b>']

f/'LE <52 ax) ' ax i w5¢ (af) i 'l'wax2. af dxdy

The first two terms are transformed into a line integral taken round the boundary s', and we thus find as

where v denotes the direction of the normal to the edge s' drawn outwards. The double integral on the right-hand side contributes a term to the principal equation, and the line integral contributes terms to the boundary conditions. The line integral admits of further transformation by' means of the relations a a

§ =%' cos (xl v)-5373 COS fy. V).

/cos(x, v)cos(y, 'v)% $5 ds'= cos(x, v)cos(y, 10% wd$'. It becomes 1

cos'(x, Agp fgqds

6 6 6 6

-H [5 i cos(x, v)cos(y, v)-5 -cos(x, v)-5; ]°wdy. In forming the first term within the square brackets we then use the relations

6 I 6 I

5?eos(x, v) = -?cos(y, v),5~?cos(y, v) =l7cos(x, v), , 6 6 6 6 6 6

Q-9§ , T9-4; = -cos(y, u)§ c~é%-|-cos(x, 105, -9¥, where p' denotes the radius of curvature of the curve s'. The necessity of freeing the calculus of variations from dependence upon the notion of infinitely small quantities was realized by Lagrange, and the process of discarding such quantities was partially carried out by him in his T héorie des functions analytigues (1797). In accordance with the interpretation 'of differentials which he made in that treatise, he interpreted the variation of an integral, as expressed by means of his symbol 6, as the first term, or the sum of the terms of the first order, in the development in series of the complete expression for the change that is made in the value of the integral when small finite changes are made in the variables. The quantity which had been regarded as the variation of the inte ral came to be regarded as the first Zfcind variation, and the discrimination between maxima and Variation minima came to be regarded as requiring the investigation of the second variation. The first step in this theory had been taken by AIM. Legendre in 1786. In the case of an integral of the form ”;;F(x, y, y')dx

Legendre defined the second variation as the integral 1 au* a'»=F 6"F

~, @t(5y)'+2;);;W5y6y'+5;a(5y')” dx.-To this expression he added the term [§ a(6y)2];;, which vanishes identically because 6y vanishes at x=xo and 'at x=xl. He took a to satisfy the equation I

6“F 6“F da 6'F 2

wits = GW +“ ' .

and thus transformed the explgession for the second variation to 6

it-(W(5y'+may)2dx,

where

6'F 6'F

"'W=saV+°- I

From this investigation Legendre deduced a new condition for the existence of an extremum. It is necessary, not only that the variation should vanish, but also that the second variation "°'d, should be one-signed. In the case of the First Problem g°"dff S Legendre conclu ed that this cannot happen unless 6'F[6y'2 w" "°"' has the same sign at all points of the stationary curve between the end points, and that the sign must be -I-for a minimum and -for a maximum. In the application of the g era metric method the function which has been denoted by fi takes the place of 6'F/6y'2. The transformation of the second variations of integrals of various types into forms in which their signs can be determined by inspection subsequently became one of the leading problems of the calculus of variations. This result came about chie y through the publica- bi tion in 1837 of a memoir by C. G. ]. Iacobi. He trans"0 formed Legendre's equation or the auxiliaryfunctionainto a linear differential equation of the second order by the substitution er + ea rev J

ayay “" By” 'w dx

and he pointed out that Legendre's transformation of the second variation cannot be effected if the function 'w vanishes between the limits of integration. He pointed out further, that if the stationary curves of the integral are given by an equation of the form y=¢(x, a, b),

where a, b are arbitrary constants, the complete primitive of the equation for w is of the form 6 8

4> <15

U A6E+B ab

where A, B are new arbitrary constants. Iacobi stated these propositions without proof, and the proof of them, and the extension of the results to more general problems, became the object of numerous investigations. These investigations were, for the most part, and for a long time, occupied almost exclusively with analytical developments; and the geometrical interpretation which Jacobi had given, and which he afterwards emphasized in his Vorlesungen fiber Dynamik, was neglected until rather recent times. According to this interpretation, the stationary curves which start from a point (xo, yo) have an envelope; and the integral of F, taken along such a curve, cannot be an extremumif the point (20,110) where the curve touches the envelope lies on the arc between the end points. Pairs of points such as (x0, y0) and (Em no) were afterwards called conjugate points by Weierstrass. The proof .that the integral cannot be an extremum if the arc of the curve “flu” between the fixed end points contains a pair of conjugate g“ft points was first published by G. Erdmann (1878); W " 3 Examples of conjugate points are afforded by antipodal points on a sphere, the conjugate foci of geometrical optics, the kinetic foci of analytical dynamics. If- the terminal points are a pair of conjugate points, the integral is not in general an extremum; but there is an exceptional

case, of which a suitably

chosen arc of the equator

of an oblate spheroid may

serve as an example. In A

the problem of the catenoid

a pair of conjugate

points on any of the,

catenaries, which are the A

stationary curves of the

problem, is such that the

tangents to the catenary

at the two points A and

A' meet on the axis of

revolution (fig. 2). When

both the end points of

the required curve move

on fixed guiding curves

CO, Cl, a stationary curve, 1

of Cl, cannot yield an extremum unless it is cut transversely by C0 at A0 and by C1 at A1. The en-FIG.

2.

C, joining a point A0 of Co to a point A; velope of stationary curves which B Do . set out from C0 towards C1, "and D

are cut transversely by C0 at points near AO, meets C at a point Du;

and the envelope of stationary

curves which proceed from Co to C1, and are cut transversely by C1 at

goints near A1, meets C at a point

1, The curve C, drawn from An

to A1, cannot yield an extremum A4

if Do or D, lies between A0 and A1, or if 'Do lies between 'Al and D1.

These results are due to G. A.

Bliss (1903). A simple example is

afforded by the shortest line on a

sphere drawn from one small circle

to another. In fig. 3 D0 is that

pole of the small circle AQBD which occurs first on great circles cutting AOB.) at right angles, and proceeding towards A1B1; D1 is that pole of the small circle A1131 which occurs first on great circles cuttin A1Bl at right angles, and drawn from points of A0B¢ towards A1B1. The arc AOA; is the required shortest line, and it is so A”

F ro. 3.

distinguished from BDB1 by the above criterion.]acobi's introduction of conjugate points is one of the germs from which the modern theory of the calculus of variations has sprung. Another is a remark maie b Le endre 1 86

in regard to the solution of Newton's problem of the Sources

solid of least resistance. This problem requires that a °'W°'f" curve be found for which the integral 522128 f >'>"“(I +y'”)"dy

should be a minimum. The stationary curves are given by the equatlon A 3'3"'(I+y )'”=<:0nst., V, a result equivalent to Newton's solution of the problem; but Legendre observed that, if the integral is taken along a broken line, consisting of two straight lines e ually inclined to the axis of x in opposite senses, the inte ral can (ine made as small as we please b sufficiently diminishing the angle of inclination. Legendre's remark amounts .to admitting a variation of Newton's curve, 'which is not a weak variation. Variations which are not weak are such that, while the points of a curve are but slightly displaced, the ta-ngents undergo, large changes of direction. They are distinguished as strong variations. A general theory of strong variations in connexion with the First Problem, and of the conditions which are sufficient to secure that the integral taken along a stationary curve may be an extremum, was given by Weierstrass in lectures. He delivered courses of lectures on the calculus of variations in several years between 1865 and 1889, and his chief discoveries in the subject seem to have been included in the course for 1879. Through these lectures his theory became known to some students and teachers in Europe and America, and there have been published a few treatise; and memoirs devoted to the exposition of his ideas. In the First Problem the following conditions are known to be necessary for an extremum. I. The path of integration must be a stationary curve. II. The expression 62F/6y'2, or the expression denoted by fl in the application of the parametric gms' nj method, must not change sign at any point of this curve digg; » between the end points. I II. The arc of the curve between A » the end points must not contain a pair of conjugate points.:All these results are obtained by using weak variations. Additional condition, and the new necessary condition, it is of course results, relating to strong as well as weak variations, are obtained by a method which permits of the expression of the variation of an integral as a line integral taken along the varied curve. Let A, . B be the end points, and let the stationary curve AB be drawn. If the end points A, B are not a pair of conjugate points, and if the point conjugate to A does not lie on the arc AB, then we may find a point A', on the backward continuation of the stationary curve BA beyond A, so near to A that the point conjugate to A' lies on the forward continuation of the arc AB beyond B. This being the case, it is possible to delimit an area of finite breadth, so that the arc AB of the stationary curve joining A, B lies entirely within the area, and no two stationary curves drawn through A' intersect within P:, °'fa the area. Through any point of such an area it is possible goin to draw one, and only one, stationary curve which passes wwe? through A'. This family of stationary curves is said to constitute afield of stationary curves about the curve AB., We suppose that such a field exists, and that the varied curve AQPB lies entirely within the delimited area. The variation of the integral fF(x, y, y')dx is identical with the line integral of F taken round a contour consisting of the varied curve AQPB and the stationary curve AB, in the sense AQPBA. The line integral may, as usual, be replaced by the sum of line integrals taken round a series of cells, the external boundaries of the set of cells being identical with the Q given contour, and the in-

ternal boundaries of ad-A

3 jacent cells being traversed

N twice in opposite senses.

A We may choose a suitable

FIG. 4. set of cells as follows.

Let Q, P be points on the

varied curve, and let A'Q, A'P be the stationary curves of the field which pass through Q, P. Let P follow Q in the sense AQPB in which the varied curve is described. Then 0°"""' the contour consisting of the stationary curve A”Q, e;'p";" from A' to Q, the varied curve QP, from Q to P, and frfgaggn the stationary curve A'P, from P to A', is the .boundary ohm of a cell (fig. 4). Let us denote the integral of F Integral taken along a stationary curve by round brackets, thus ° (A'Q), and the integral of F taken along any other curve by square brackets, thus [PQ]. If the varied Curve is divided into a number of arcs such as QP we have the result AQPB]'fAB) =2l(A'Q) -l-[QP] - (NPN,

and the right-hand member can be expressed as a line integral taken along the varied curve AQPB.

To effect this transformation we seek an approximate expression ~for the term (A'Q)+[QP]=-(A'P)

when Q, P are near together.

Let As denote the arc QP, and up

the angle which the tangent at

p P to the varied curve, in the sense from A to B, makes with the

axis of x (fig. 5). Also let 4> be

the angle which the tangent at P

to the stationary curve A'P, in the

X T sense from A' to P, makes with

x the axis of x. We evaluate (A'Q)

-(A'P) a proximately by means

of a resuif which we obtained in

A connexion with the problem of

variable limits. Observing that

the angle here denoted by gb is

equivalent to the angle formerly

denoted by vr-i-w (cf. fig. I), while tan ¢ is equivalent to the quantity formerly denoted by y', we obtain the approximate eqPuation 3

(A/Q) (A/P) = -As.cos 111% F(x, y, p)-l-(tan 1/»-p) 0; p=tan ¢ which is correct to the first order in As. Also we have QP] =As cos ¢F(x, y, tan //)

correctly to the same order. Hence we find that, correctly to the first order in As,

(A'Q)+[QPl-(NP) =E(x»y, tan d>, tan WAS. . FIG. 5.

where

Efx.;v, tan 4>, taI1 )

6F

=cos:P F(x, y, tan (0) -F(x, y, p)— (tan gb-M3 p=tan ¢ When the parametric method is used the function E takes the form Bf g af of

7'6»2+”t3 .) 5¢;, y=, i)'8.i:+”@, ;, =1,5, =m where X, /4 are the direction cosines of the tangent at P to the curve AQPB, in the sense from A to B, and l, m are the direction cosines of the tangent at P to the stationary curve A'P, in the sense from A' to P. The function E, here introduced, has been called Weierstrass's excess function. We learn that the variation of the integral, that is to say, the excess of the integral of F taken along the gtg: varied curve above the integral of F taken along the Hu" original curve, is expressible as the line integral fEds fuudlom taken along the varied curve. V/e can therefore state a sujigzent (but not necessary) condition for the existence of an extremum in the form:—When the integral is taken along a stationary curve, and there is no pair of conjugate points on the arc of the curve terminated by the given end points, the integral is certainly an extremum if the excess function has the same si n a all points 3 t

of a finite area containing the whole of this arc within it. Further, we may specialize the excess function by Sufficient identifying A' with A, and calculating the function for a and point P on the arc AB of the stationary curve AB, and an gffgfssan arbitrary direction of the tangent at P to the varied curve. dmons This process is equivalent to the introduction of a particular type of strong variation. We may in fact take, as a varied curve, the arc AQ of a neighbouring stationary curve, the straight line QP drawn from Q to a point of the arc AB, and the arc PB of the stationary curve AB (fig.

same as that of the

function E(x, y, tan 4>,

tan mp), where (x, y) is

the point P, xl/ is the »

angle which the straight A P

une QP makes with the FIG- 6axis

of x, and ¢ is the angle which the tangent at P to the curve APB makes with the same axis. We thus arrive at a new necessary (but not sufficient) condition for the existence of an extremum of the integralfFds, viz. the specialized excess function, so calculated, must not change sign between A and B. The sufficient condition, and the new necessary condition, associated with the excess function, as well as the expression for the 6). The sign of the variation is then the B

Q

variation as /Eds, are due to Weierstrass. In applications to special problems it is generally permissible to Devilop identify A' with A, and to regard QP as straight. The me” sd d direction of QP must be such that the integral of F taken xggihg along it is finite and real. We shall describe such direc- excess tions' as admissible. In the statement of the sufficient hmm-, m understood that the direction specified by gb is admissible. The excess function generally vanishes if ¢=¢>, but it does not change sign. It can be shown without difficulty that, when 1/1 is very nearly equal to gb, the sign of E is the same as that of A 6217>

33” y'=tar1¢

and thus the necessary condition as to the sign of the excess function includes Legendre's condition as to the sign of 6'F/By". Weierstrass's conditions have been obtained by D. Hilbert from the observation that, if p is a function of x and y, the integral§ F<x, y,1>>+<y'-1>> ya, Q dx,

(tan ul/-tan 4>)' cos ¢ (

taken along a curve joining two fixed points, has the same value for all such curves, provided that there is a field of stationary curves, and that lp is the gradient at the point (x, y) of that stationary curve of the field which passes through this point. An instructive example of the excess function, and the conditions connected with it, is afforded by the integral f y2y"¢dx or f y2ab3y'2d0.

The first integral of the principal equation is Example

yzizydz = const., of the

and the stationary curves include the axis of x, straight lines;:;';;in parallel to the axis of y, and the family of exponential curves y=ae°'. A field of stationary curves is expressed by the equation y=yo QXP fcfx-x<>)},

and, as these have no envelope other than the initial point (xo, yo), there are no conjugate points. The function fl is 6aZ: 1]'4, and this is positive for curves going from the initial point in the positive direction of the axis of x. The value of the excess function is y2cos:, b(cot2¢-3 cot'¢ +2 tan il/ cot“q3). The directions //=o andL=1r are inadmissible. On putting P=%1r we get 2y'cot3¢; and on putting //=§ 1r we get - 2y2cot3¢. Hence the integral taken along AQ'PB is greater than that taken along APB, and the integral taken alon AQPB is less than that taken along APB, when Q'Q are sufficient y near to P on the ordinate of P (fig. 7). It follows that the

integral is neither a maximum

nor a minimum.

It has been proved by 7

Weierstrass that the excess i P

function cannot be one-signed I

if the function f of the parametric

method is a rational |function

of at and 3). This i »

i

5 Q

result includes the above Aexample, and the problem of 5

the solid of least resistance, “' —~— -~-~- —for which, as Legendre had FIG. 7.

seen, there can be no solution

if strong variations are

the calculation of excess functions, it may be noted that the value of the excess function in the problem of the catenoid is 23' SiH”%(¢-¢>)admitted.

As another example of construct the transversals of the family; that is to say, there

In general it is not necessary that a field of stationary curves should consist of curves which pass through a fixed point. Any famil of stationer curves de endin on a sinsrle ara fjfgfh meter may constitute a field. This remark is of in ouanv portance in Connexion with the adaptation of Weierstrass s curves results to the problem of variable limits. For the purpose and of this adaptation A. Kneser (1900) introduced the family mms- of stationary curves which are cut transversely by an e, .s,1s assigned curve. Within the field of these curves we can is a finite area of the plane, through any point of which there passes one stationary curve of the field and one curve which cuts all the stationary curves of the field transversely. These curves provide a system of curvilinear co-ordinates, in terms of which the value of fFdx, taken along any curve within the area, can be expressed. The value of the integral is the same for all arcs of stationary curves of the field which are intercepted between any two assigned transversals. In the above discussion of the First Problem it has been assumed that the curve which yields an extremum is an arc of a. single curve, which must be a stationary curve. It is conceivable that the required curve might be made up of a finite number of arcs of different stationary curves meeting each other at finite angles. It can be shown that such a broken curve cannot yield an extremum unless both the expressions 6F/dy' and F-y”(6F/6y') are continuous at the corners. In the parametric method 6f/Bai: and df/651 must be continuous at the corners. This result limits Very considerably mscom the possibility of such discontinuous solutions, though it “Mons does not exc ude them: An example is afforded by the solutions problem of the catenoid. The axis 0f x and any lines parallel to the axis of y satisfy the principal equation; and the conditions here stated show that the only discontinuous solution of the problem is presented by the broken line ACDB A B

A' B

6 I o

Flo. 8.

have to be taken as part of the curve. P

(fig. 8). A broken line

like AA'B'B is excluded.

Discontinuous solutions

have generally been supposed

to be of special importance

in cases where

the required curve is restricted

by the condition

of not crossing the boundary

of a certain limited

area. In such cases part

of the boundary may

roblems of this kind were

investigated in detail by ]. Steiner and I. Todhunter. In recent times the theory has been much extended by C. Carathéodory. In any problem of the calculus of variations the first step is the formation of the principal equation or equations; and the second step is the solution of the equation or equations, in accordance with th e assigned terminal or boundary conditions. “'em ems If this solution cannot be effected, the methods of the calculus fail to answer the question of the existence or nonexistence of a solution which would yield a maximum or minimum of the integral under consideration. On the other hand, if the existence of the extremum could be established independently, the existence of a solution of the principal equation, which would also satisfy the boundary conditions, would be proved. The most famous example of such an existence-theorem is Dirichlet's principle, according to which there exists a function V, which satisfies the equation at all points within a closed surface S, and assumes a given value at each point of S. The differential equation is the principal equation answering to the integral

1=fff%(%¥> +(%¥> +C?) Edxdydz

taken through the volume within the surface S. The theorem of the existence of V IS of importance in all those branches of mathematical physics in which use is made of a potential function, satisfying Laplace's equation; and the two-dimensional form of the theorem is of fundamental importance in the theory of functions of a complex variable. It has been proposed to establish the existence of V by means of the argument that, since I cannot be negative, there must Dmch be, among the functions which have the prescribed ers boundary values, some one which gives to I the smallest principle. possible value. This unsound argument was first exposed by Weierstrass. He observed that precisely the same argument Would 9~PPlY to the if1tegra1f-c2y dx taken along a curve from the point (-1, a) to the point (1, b). On the one hand, the principal equation answering to this integral can be solved, and it can be proved that it cannot be satisfied by any function y at all points of the interval - if y has different values at the end points. On the other hand, the integral can be made as small as we please by a suitable choice of y. Thus the argument fails to distinguish between a minimum and an inferior limit (see FUNCTION). In order to prove Dirichlet's principle it becomes necessary to devise a proof that, in the case of the integral 1, there cannot be a limit of this kind. This has been effected by Hilbert for the two-dimensional form of the problem.

Bibliography:—The literature of the subject is very extensive, and only a few of the more important works can be cited here. The earlier history can be gathered from, M. Cantor's Geschichte d. Math. Bde. 1-3 (Leipzig, 1894-1901). I. Todhunter's History of the Calculus of Variations (London, 1861) gives an account of the various treatises and memoirs published etween 1760 and 1860. E. Pascal's Calcolo delle variazivni . 1. (Milan, 1897; German translation, Leipzig, 1899) contains a brief but admirable historical summary of the pre-Weierstrassian theory with references to the literature. A general account of the subject, including Weierstrass's theory, is. given by A. Kneser, Ency. d. math. Wiss. ii. A 8; and an account of various extensions of >Weierstrass's theory and of Hilbert's work is given by E. Zermelo and H. Hahn, Ency. d. math. Wiss. ii. A Sa (Leipzig, 1904). The following treatises may be mentioned: L. Euler, Methodus im/eniendi lineas curvas maximi miniinive proprietate gaudcntes . . . (Lausanne and Geneva, 1744); ]. H. Jellett, An Flementary Treatise on the-Calculus of Variations (Dublin, 1850); E. Moigno and L. Lindelof, “ Legons surlecalc. diff. et int., ” Calcul des variations (Paris, 186I), t. iv.; L. B. Carll, A Treatise on the Calculus of Variations (London, 1885). E. Pascal's book cited above contains a brief systematic treatise on the simpler parts of the subject. A. Kneser, Lehrbuch d. Variationsrechnung (Brunswick, 1900); H. Hancock, Lectures on the Calculus of Variations (Cincinnati, 1904); and O. Bolza, Lectures on the Calculus of Variations (Chicago, 1904), give accounts of Weierstrass's theory. Kncser has made various extensions of this theory. Bolza gives an introduction to Hilbert's theories also. The following memoirs and monographs may be mentioned: J. L. Lagrange, “ Essai sur une nouvelle méthode pour determiner les max. et les min. des formules intégrales indéflnics, " Misc. Taur. (1760~62), t. ii., or Quvres, t. i. (Paris, 1867);.A. M. Legendre, “Sur la maniere de distinguer les max. des min. dans le calc. des var., " Mém. Paris Acad. (1786); C. G. J. Jacobi, " Zur Theorie d. Variationsrechnung.., ” J. f. Jllath. (Crellffli Bd. xvii. (1837), or Werke, Bd. iv. (Berlin, 1886);'M. Ostrogradsky, “ Mém. sur le calc. des var. des intégrales multiples, ” Mém. St Pétersburg Acad. (1838); J. Steiner, “Einfache Beweise d. isoperimetrischen Hauptsiitze, " J. f. .Math. (Crelle), Bd. xviii. (1839); O. Hesse, “ Uber d. Kriterien d. Max. u. Min. d. einfachen Integrale, " J. f. Math. (Crelle), Bd. liv. (1857); A. Clebsch, “Uber dieenigen Probleme d. Variationsrechnung Welche nur eine unablifingige Variable enthaltcn, " J. f. Matti. (Crelle), Bd. lV.'(1858), and other memoirs in this volume and in Bd. lvi. (1859); A. Mayer, Beitrdge z. Theorie d. Max. u. Min. einfacher Integrate (Leipzig, 1866), and " Kriterien d. Max. u. Min. ., ” J. f. Math. (Crelle), Bd. lxix. (1868); I. Todhunter, Researches in the Calc. of Var. (London, 1871); G. Sabinine, “ Sur . . . les max . . . des intégrales multiples, ” Bull. St Pétersburg Acad. (1870), t. xv., and “ Développements . . . pour . . . la discussion de la variation seconde des into rales . . . multiples, ” Bull. d. sciences math. “ Uber adjungirte lineare DifferentialK (1878); G. Frobenius, ausdrillcke, " J. f. Math. (Crelle), Bd. lxxxv. (1878); G. Erdmann, “Zur Untersuchung d. zweiten Variation einfacher Integrale, ” Zeitschr. Il/Iath. u. Phys. (1878), Bd. xxiii.; P. Du Bois-Reymond, “Erliiuterungen z. d. Anfangsgriinden d. Variationsrechnung," Math. Ann. (1879), Bd. xv.; L. Scheeffer, “ Max. u. Min. d einfachen Int., ” Math. Ann. (1885), Bd. xxv., and “ Uber d. Bedeutung d. Begriffe Max., " Jllath. Ann. (1886), Bd. xxvi.; A. Hirsch, “Uber e. charakteristische Eigenschaft d. Diff.-Gleichungen d. Variationsrechnung, " Ilfath. Ann. (1897), Bd. xlix. The following deal with /Veierstrassian and other modern developments: H. A. Schwarz, “ Uber ein die F lichen kleinstcn F liicheninhalts betreffendes Problem d. Variationsrechnung, " Festschrift on the occasion of Weierstrass's 70th birthday (1885), Werke, Bd. i. (Berlin, 1890); G. Kobb, “ Sur les max. et les min. des int. doubles, ” Acta Math. (1892-93), Bde. xvi., xvii.; E. Zermelo. “.Untersuchungen z. Variationsrechnung, "Dissertation (Berlin, 1894); W. F. Osgood, “ Sufficient Conditions in the Calc. of Var., " Annals of llfath. (1901), vol. ii., also, “ On the Existence of a Minimum . ., ” and “ On a Fundamental Property of a Minimum . . ., " Amer. Math. Soc. Trans. (1901), vol. ii .; D. Hilbert, “ Math. Probleme, " Gottingen Nachr. (1900), and “Uber das Dirichlet'sche Prinzip, " Gottingen Festschr. (Berlin, 1901); G. A. Bliss, “ Iacobi's Criterion when both End Points are variable, ” M oth. Ann. (1903), Bd. lviii.; C. Crathéodory, “ Uber d. diskontinuirlichen Losungenn i. d. Variationsrechnung," Dissertation (Gottingen, 1904); and “ Uber d. starken Max.," Math. Ann. (1906), Bd. lxii.

(A. E. H. L.)