Just, then fy and fag must have the same sign. The statement is made as in the
text, in order to leave the actual sign of fay and fas in more direct evidence.149] JACOBI TEST: CONJUGATES 219
where
p=iv, 0, wi, v, wl,
jm om m &|
lam be hom fl
and where the quantity 7,£2— maf, does not vanish in the range.
So long as p and q do not vanish together—and, of course, simultaneous
zero values of » and w through the range are excluded for the present aim—
the quantity A remains of uniform sign. But A would vanish if p and q
could vanish simultaneously—a contingeney to be excluded: and this could
happen when
v=pmton, w=plit ot,
where p and # may be functions of 2, if
np’ +mo'=0, fip' + ba’ =0,
that is if p’ and o’ both vanish so that p and o are constants, Now v and w
are to vanish at the lower limit, while xy and xf represent the variation to a
consecutive characteristic curve. For the present purpose, we take any such
consecutive curve to begin at the same point as the original curve now under
examination; hence, at that lower limit, we can take pn,+on,=0 and
pit of, =0.
If, after passing that lower limit, pn, +on: and pf, + 0%, can again vanish
simultaneously within the range or (what is another mode of stating the same
possibility) if the range of integration should extend as far as (or further
than) the first succeeding value of where pm+on, and pt,-+ot; vanish,
then we have a possible variation v=pn,-+ om and w=pf, +6, such that
(i) v and w vanish at the lower limit and at the upper limit, (ii) v and w are
variations that are not zero, and (iii) p and q vanish along the whole range.
‘Then we should have A=0 throughout the range for a certain non-zero
variation; and we could not assert the existence of a maximum or a minimum
for the integral. Accordingly, the contingency, which admits this result,
must be prevented: that is, it must not be possible to have a variation
(pm+on,) and «(pf,+o6,), vanishing at the beginning of the range and
also at the end of the range (or earlier than the end of the range). Such a
variation represents change to a consecutive curve: and the vanishing of
such a variation can take place only at an intersection of the original curve
and the consecutive curve; hence the range, beginning at any point of a
characteristic curve, must not extend so far as the first point of intersection
with a consecutive characteristic curve drawn s0 as to meet tho original
curve. Such a point of intersection (if any such point exists for one con-
secutive curve among all the consecutive curves that can be drawn) is called
the conjugate of the original point which marks the lower limit of the
integral; and consequently we have the third (Jacobi) test for the existence220 PROPERTY OF [caw
of @ maximum or a minimum:—the range of integration, beginning at any
point on a chiracteristic curve, must not extend as far as the conjugate of that
initial point.
We proceed to construct the analytical expression of this limitation upon
the range of integration.
Property of a fundamental group of integral-sets: covariantive function.
150. We write
Bo HB, B60, 6, Ho, #00)
a oF nO nO nO. ne
so that $,(2) and ¥, (2) (for r=1, 2, 3, 4) constitute an integral-set of the
two equations
Son + fal =(fo-fan—- Sal + Su Fu 8+ Sos fu Fos EY
Sat" + fab" = (Safa) + (Fu-Sa—fis) 0 + Su fa) b= fey
Let
W=| file), fle), bz), @ |i
hE), WO, We), we)
He, @, H@), Wo
[WO WO Ww, We)
+/ PO +b)» d(@) , d(@)
then
AW _|h@), h@), He), d@)
& AO, Ke), h@, W) WO» We(2), We), We(@)
Hi" (@), Go" (ew), a" (a), Gu") || a’ (@) s Ge (a) , Ps (@) , di (@),
IW’ @) Wi), Ww), WA] LW’ @)s We" @, WO), W'(@
‘The two characteristic equations, on being resolved for $,”(a) and " (2) a8
values of 7" and £”, give
Od:" () = (—fa' fst fos fos — ffs SuSs) by (2)
+ linear terms in $, (2), Yr («), Wr (2),
OMe" (2) = (— fafa! + fafa! — Safa t fubo) Vr (@)
+linear terms in $,(«), ¥+ (2), $r' (2),
where 0=fsfs—Ju’. When these expressions for ¢,”(a) and y;"(c), for
7 =1, 2, 3, 4, are substituted in the two determinants in the foregoing value
and
aw :
for Ti 1 we have
0S (fob fut af Saft fafe) W
+(-fafe + fafa —fafat Suto) Ws151] FUNDAMENTAL INTEGRAL-SETS 221
and therefore
aw
07 W,
that is,
ow=A,
where A is a constant, The Legendre test is to be satisfied; thus @ is
positive through the range of the independent variable. Again, the quantities
¢,(a), for r= 1, 2, 8, 4, are linearly independent, so that there is no identical
linear relation along them; and likewise there is no identical linear relation
among the quantities ¥,(z), for r=1, 2, 3,4. Now constants & can always
bbe chosen go that, if
1 = hyd (0) + keds (0) + keds (0) +h dy (2),
£ = Kay (@) + kate (@) + kas (2) + hae (2),
a =I, by (w) + ka fy (a) + ka ds (w) + bes $s (@),
‘n, 697 vanish for any assigned value of a, But
Kal (@) + harps (2) + haya (2) + Bas (a),
being ¢, cannot vanish for that assigned value; because then the differential
equations would require =0 and {” =0 and, by successive differentiations,
would make every derivative of and every derivative of £ vanish for the
assigned value. The quantities » and £, given as expansions in the vicinity
of the assigned value, would then vanish everywhere in that vicinity—
contrary to the property that the set of quantities ,(2) and the set of
quantities ,(e) are, each of them, linearly independent, among themselves.
Hence W cannot vanish within the range; and therefore the constant A is
not zero.
161. Further, this property does not depend upon any particular choice
of integrals $, and 4, (for r= 1, 2, 8, 4) of the subsidiary characteristic
equations. If any other complete set », and ¢, (for r=, 2, 8, 4) be chosen
so that
See
b= enyps (2) + emPs(@) + Cahs(2) + Onvra(@))”
where the determinant D (oy, ¢e, és Cu) must be different from zero, we have
W (n, 8) = Wb, W) D(Cns Cur Cas Cu)
OW (9, 6) =A’,
where the constant A’ is not zero.
‘The determinant, W is, in fact, a covariant for a fundamental system of
integrals of the subsidiary equations.
Note. We have the corollaries :
(i) The fanetions $, (2), ¢4(2), $s (2), (2) cannot simultaneously vanish,
nor can the functions (2), ¥u(2), ¥s(e), ¥i(a) simultaneously
vanish ; and
and therefore222 ORITICAL FUNCTION FOR [on. wv
(ii) The derivatives $,'(z), $y’ (a), $y'(@), $'(#) cannot simultaneously
vanish, nor can the derivatives yy (@), py (©), Ws (@), Wi (@)
simultaneously vanish.
Critical function for the Jacobi test.
152. We take one set of integrals of the characteristic equations
=, bs (2) + Ba ha (2) + ba bs (0) + bi ha (a) = She de (a)
Si = dit (@) + Daye (2) + bys (2) + baal Debra)"
and determine the constants b,, by, b,, 6, by the conditions that
m=0, &=0, m=, f'=0,
at ©=4,, where 2 is an arbitrary constant, and W,,= W(x), is the value
at @, of the function W (of § 150) which nowhere vanishes. Then
Lbebe (a) = 0, Eber (o)=0, Ede Ge! (a= AWo, Eber’ (a) = 05
consequently
baat Kaa (80) + Bests! (20) + Kees (2),
bad (hea (eo) + habs (a) + kai)»
fear’ (2) + haps (a) + kus @)),
Uap (0) + heaps (0) + aay (ee) h
where
| (ea). a ta, ba (tas Ge () |] Hin Fins Bir ay Ba Be
Lalo, Yale), Ya Fela)
We take another set of integrals of the characteristic equations
nem Cups (©) + ads (2) + ds (©) + 04 ey
Leah) tava) tay) + ela)!’
and determine the constants ¢, ¢,, ¢s, ¢, by the conditions that
=0, t’=-aM,
at 2= 2, where wis an arbitrary constant. The set of integrals m and £ is
manifestly independent of the set of integrals », and {. Then
Lerge (a) =0, LeWr (ee) = 0, Lerbe (m=O, Serpe! (a) =— eos
consequently
m=0, &=0, a
{ Kaudh! (@) + Keats! (te) + hehe (te),
Hah’ (ao) + kads’ ©) + kisi (m)},
(Rsudh' (a) + Kas (aa) thai (a)
(His u’ (a) + ken ha' (ae) + Kesh (aa) I152] JAcoBr TEST 293
We write
A(x, 2)=| G1 (ao), haa), Ga (a), a (ae)
Hi), Fal), Fale), Yelm)
Hi(@), bale), dale), (x)
WO), Ww), we), we)
is (2a) Hes (2) + Hes (20) ne (22) + Ke (a) a (#0)
Hie) Kas (©) + Ks (te) Koa (2) + Bie (te) as (@)5
also we write
Wo= W (aa) = kaalas + alae + healer + kale + hauls + haulray
Hi (@), Gal (od, Gs! Ce), Bal (Ha) |] = as bay es bas bow tue
Wi (me), Ya (a), Ye (0), We (eo) |)
‘Then we have
mabe ite= (bebe (2)] [Zeer (2)} — [Ebrhr (@)] (Berdr (a)}-
On the right-hand side, the terms, involving by, 1, bs, cx, gr (2), Fi (a), $2 (2),
‘Ya(2) alone, are
Now
where
(iea— Baer) {fr (©) Yo (@) — Ya (2) a (a).
$:(@) Ya) Hr (@) b1(@) = hal);
and
~ babe)
Uhh (ta) + haps (4) + abs (2)} hut (22) + Rad (0) + ind (0)
= tha (2) + has) + hah (ea) (0) + hap (Os) + hai ()}
wag heal ala Balt bal + Bal) + (bab habe
at
Ika + Rhea Kaye = 05
and therefore
7
= 5 hha) alt) We
‘The other terms can be arranged in similar groups, five in number; and the
final form of $,— mf, is
pe Wo {ie (a) Kaa (Wty) + «+ + Kea (0) Kae (0)}
rw, A (sy, 2).
‘The function A(z, @) vanishes when «=a; let a, be the first value of «
greater than 2, for which it vanishes, so that
A(t, a) =0.
‘Then the quantity mf—nsfi, which vanishes at the initial value a, of « and
is not identically zero, afterwards first vanishes for a value of z.
mbe— mb224 JACOBI LIMITATION OF RANGE {cu. 1v
153. Now consider a variation v and w, such that
mn +on, w= ph tot,
where p and o are non-zero constants. At o=.,, we have
, wad, v=pr wi=—op,
where pd and oy are non-zero constants; thus » and w constitute a non-zero
variation of the characteristic curve. If it is possible to have a consecutive
characteristic through the initial point «, meeting the original again in
the subsequent point 2, (or, if there be other points of intersection, in the
first subsequent point which will be denoted by 2,), then at that point
we have
oa
v=
v=0, w=0.
Because p and ¢ are not zero, we have, for ©= a,
mb—mb=0,
and therefore
A (es, 2)=0.
Bat the range of the characteristic curve, when it begins at 24, must not
extend so far as the conjugate of that initial point, that is, not so far as the
limiting position of its intersection with a consecutive characteristic through
2. Henco the range of integration must not extend s0 far as the value a,
where a is the first root of the equation A (e,, 2,)=0 which is greater than zy.
We thus have the analytical expression of the geometrical limit, which
restricts the range along the characteristic curve to lie within the eonjugate
of the initial point,
Note. Ono assumption has been made tacitly—that, if A, be the con-
jugate of an initial point A,, no point can be chosen in A,A, so that its
conjugate shall also lie in A, 4,. The justification of the assumption will be
deferred until the discussion of the variations which allow variation of 2 as
well as of y and =
Summary of teste,
154. ‘The results thus far obtained for special variations may be sum-
marised as follows, when an integral i ie y x 2, #)da is to possess a
‘maximum or a minimum:
L (a) The variables y and 2, as functions of 2, must satisfy the two
characteristic equations
fay #_4(%)_o.
zZ ay) = £-(f)=95
and quantities 7 and £ must be determined as the primitive of the subsidiary
equations
eon 20) 0, 20, i) 0,
3m da\aq') =" GE ae \3e') =
where 02 is a homogeneous quadratic function of 9, 1, ££’.154) SUMMARY OF TESTS 225
(®) The primitive of the characteristic equations is of the form
Y=O(@, Ar, Ae, Ay, A), 2= (2, Ay, Ay, Ay, Ad;
and the primitive of the subsidiary equations is
9= $4 (2) + 04$4(2) + $s 2) + 0460(0),
Saar (2) + daa (a) + aayps (ec) + aya (e),
where y(2)— 26 and Yr (2)=
for rm, 2, 3, 4.
II, The quantity
ef ef (ey
ayaa (ayer,
rust be positive through the range of integration, the common sign of x
and a (persistent through the range) being positive for a minimum and
negative for a maximum,
LIL The range of integration, beginning at # value a, must not extend
along the characteristic curve as far ns the conjugate of xy, this conjugate
being determined by the least value of z,, greater than 2, which is a root of
the equation
AG, %)=| Gr(m), br(%), b(%), d.(@)
| FC), We), Vole), falas)
H(i), dul), Gale), dul)
WG) Hila), Yala) vq)CHAPTER V.
INTEGRALS INVOLVING TWO DEPENDENT VARIABLES AND THEIR FIRST
DERIVATIVES: GENERAL WEAK VARIATIONS.
‘Tue MeTHOD oF WEIERSTRASS.
185. We now proceed to consider the effect of general weak variations,
under which a, y, 2 are subjected simultaneously to small arbitrary variations,
so that they become #-+«u, y + xv, 2+xw respectively. ‘The quantities a, y, 2
are now made functions of a new independent variable ¢, which is supposed to
increase throughout the range of integration; u, v, w are arbitrary regular
functions of t, 80 that they (as well as their derivatives) remain finite and con-
tinuous over the range. Denoting derivatives of #, y, ¢ DY 2,35 -+us Yr Yor
yy May vee, We have
Bat
a a
, #) dz, when transformed, become
y
Le the integral [7(e, vy
T= foley sens 2) a
where
90,9 8.2 BLE I Is 2
186, Now this function g satisfies a single permanent identity, whatever
be the form of the function f (and therefore of g), because g involves six
arguments, while f involves only five. We have
Ae
@, 02”
a
32,” a2”
and therefore :
oe oe
ae, tH 9g, TH ag, — LHD
the identity in question,
It can be obtained also as follows, the method leading to other relations.
‘As there is nothing to specify any requirement concerning an independent
variable, we may substitute any other variable 1’ for ¢; and then, if
dt = pa?
where « may be variable or constant, so that
de dy _ dz_
gpa hte gpa ele gpm ee156] GENERAL WEAK VARIATIONS 227
we have
de dy di
9 (%1.4 Se Bh, Sp) AP =9 (0, 82, 8) ab
that is,
Let I Yr 2 pir, MY» HE) = 1 (8 Yr 2 Hy Yay He
a
Bi, 7 Hh 4 Bin Thy) = (Ys es Yor Bs
a
By 7 YH ir Hr £1) = IaH, 8 Bs Yo Bae
a
Ba, FW Bis Yor 2) = Ie (@ Hs 2 is Yr Hi
then
I Yr % Mis MY» bes) = Is (BY 4 is Yrs Be),
Gus Yo 2 Her, Myr» ME) = I (2 YB Wy Yrs &)y
Ia Ys % BY, Ha» ME) = Ys (@, YB ay Yor 4)
Various corollaries may be derived.
() The first derivatives of g, viz. gr, gs, go, are unaltered when 2, ys, 2
are multiplied by any quantity 4, variable or constant (but not zero). In.
particular, let 4% =1; then
“Hence the first derivatives of g are unaltered when we make the are-length
# to be the independent variable, so that
ROH HI =A Yo 0, Y', 2);
and similarly for g, and g,.
(ii) In the equations for g, 9, gx, gs, let 4=—1; then if the simultaneous
change of sign of «,, y1, # does not affect any radicals, we have
IAG B— Yo A=—G (GH AH, HH),
IAG By — I~ H) = GG HH By Hs HH),
3
(ili) Let w=1+6, where ¢ may be constant or variable; and take the
expansions, in powers of ¢, in the relation
GG Ye 2 MEiy WY HE) = MY (®, Ys 4 Bs Yay 2).
When the coefficients of e are equated, we have
a
ge, tag t 5g I
the identity satisfied by the function g.228 RELATIONS AMONG DERIVATIVES OF INTEGRAND [ow. v
Relations among second derivatives of the subject of integration.
157. This identity (as in the earlier instances in § 51 and § 105) gives rise
to certain relations among the second derivatives of g with regard to its
arguments, one sot of them being necessary for use almost immediately.
‘When we differentiate the identity partially with respect to a, y,, # in turn,
we have
Agat YGut A Gu=0,
2 GIat Gat AJa=0,
©, 90 NGut %Ga=0,
where differentiations with respect to @, #1, y, a, 4 #1, are denoted by sub-
scripts 0, 1, 2, 8, 4, 5, 80 that
eg
orien 8003,"
and so on.
‘These three equations shew that all the six derivatives can be expressed
in terms of three of their number, or in terms of three independent quantities.
‘Thus, if we write
gu=Ayte? , gu= Beene , gu= Cnty: }
gu=Patyc, gn= Gaye go= Hoye?
we have
A+H+G=0,
H+B+F=0,
G4+F4+0=0.
Selecting appropriate trios, we have
A=B+0+2F) B= a O=A+B42H
-H=B +F}, -F=0 en
0+ PF) -H- a Fo B+
Also we have
—2F: +0-A
=-2G=C+A— |
—29H=A+B-C
together with relations
BC-F'=04-@=AB-
} (BC +204 + 24B At B02),
‘One case (§ 156) arises by taking
eat, m=1, nay, ane.
‘The critical conditions in the Legendre test (§ 148) were that gs and gs, should
have the same sign while gugm—Jut should be positive: that is, the quantity
BO-F158] FIRST VARIATION : CHARACTERISTIC EQUATIONS 229
must be positive. In the circumstances, itis clear that A, B,C must have the
same sign; but this condition is not sufficient to secure all the foregoing
tests, and there is the additional condition
2BC +204 +248 > A+ B+ 0
‘We shall return, later (§ 162), to the relations among the second derivatives,
First variation of the integral : characteristic equations : terminal conditions
168. Let J denote the value of the integral, when a small variation is
effected upon 2, y, z, 0 that
Tm fg leben y te 2+ eM, +, Yb, 6+ et) dt
=Lteh+}el+K,
where eZ, and 44°F, are the respective aggregates of terms containing the
first power alone of « and the second power alone of «, and where K; is the
aggregate of all the terms involving the third and higher powers of x. The
‘first’ variation in J — I, viz, «l,, governs the value of JI, unless Z, actually
vanishes. Tf I, does not vanish, J—Z can be made to change its sign by
changing the sign of «; and the integral I could not then possess a maximum
or a minimum value. It is therefore necessary that, if I is to have either
kind of value, the quantity Z, shall vanish, and that it shall vanish for all
arbitrary small variations, We have
[2 Fy gv Oy,
Ba [ero Be wl mB 4 2 + 0,20) a
= [nav Z ro]
+[[+8-a@)}+-a G+ 8-4 @h] a
where the terms in the first line are to be taken at the limits,
Consider, first, variations which vanish at the upper limit and the lower
limit alike: for them, I, consists solely of the integral in the second line in
the last expression. Then, the functions u, », w are arbitrary, and they are
independent of one another ; and for all such functions, the integral (being the
value of Z, for these variations) must vanish. Hence we must have
B= _ 4 (2) =0
ag _ d (ag
ray ay) ™9230 TERMINAL CONDITIONS [on v
For, if they did not vanish, we could choose u to have the same sign as E or
the opposite sign, » to have the same sign as Ey or the opposite sign, w to
have the same sign as H, or the opposite sign; and the freedom of choice in
each selection is unaffected by the choice in the other selections. Such choices
could make I, positive or negative at will, a result that is excluded; hence
the choices must not be open, though w, v, w remain arbitrary: that is,
E,, Ey, E, must vanish separately.
Next, for J, consider a small variation, which is zero at the lower limit
but not necessarily zero at the upper limit. ‘The integral in I, now vanishes,
owing to the equations H,=0, Hy=0, H,=0. Hence, in order that J, may
vanish, we must have
yy we
uo +a =o
at the upper limit, If the upper limit be fixed by assigned data, the require-
ment is automatically satisfied because u, , w then vanish, If the upper
limit be not thus fixed, then the relation
a
uf oD ew Po
provides a condition or conditions at that mobile upper limit.
Similarly, by considering another variation which does not vanish at the
lower limit, we must have
at the lower limit. The requirement is automatically satisfied if the lower
limit be fixed by assigned data, because u, v, w then vanish. If the lower
limit be not thus fixed, then the relation
a
Bros wi ao
provides a condition or conditions at that mobile lower limit.
u
‘We thus have two kinds of requirements, necessary and sufficient to
secure that J, shall vanish for all weak variations. Firstly, the equations
By=0, By=0, Ep=0
must be satisfied everywhere in the range of integration, Secondly, the
relation
a
ur o sw a0
must be satisfied at the upper limit and at the lower limit, separately, for all
admissible variations. The second set of requirements will, directly or in-
directly, determine the limits of the range of integration when they are not
actually fixed by the assigned data.159] DERIVATIVES CONTINUOUS THROUGH FREE DISCONTINUITY 231
Accordingly, we shall now consider the limits as known; they will no
tonger be subject to variation, when further investigations (in particular,
concerning the transformations of Z,) are being pursued.
The threo current equations are called the characteristic equations. They
determine «, y, £ as functions of the independent parametric variable ¢; and
we shall assume that these functions are analytic, ‘The elimination of ¢, if
desired, gives two relations between 2, y, z, free from the unessential variable t.
By either form of primitive, a curve, usually a skew curve, is determined :
it is called the characteristic curve.
Continuity of certain derivatives through free discontinuities on the curve.
169. One property of the function g, the extension of the property
§ 47, 102) possessed in the case when there is only a single dependent
variable originally, can be established. It is as follows:
In passing through a free® point, where a discontinuity in the direction of
the characteristic curve occurs, the quantities
i
ae, By? de,
are continuous in value.
With the same notation and the same figure as before (/.c) to consider
the integral near such a discontinuity at a value 7’ in the range between
% and f, we take a variation of the characteristic curve, such that u=0,
v=0,w=0 along ff and also along t,t. ‘The are of the curve (though not
the direction of the are) is continuous in the range 47h, so that we may
assume
u=(-D(t-4)®O, v=(4-)C-4) VN, G-O(¢t-4) XO,
where (0), V(t), X(@) are regular functions of t, which do not vanish at 7
and otherwise aro arbitrary. In the range 7%, and indefinitely near 7, we
denote the values of the derivatives of g by
G2). QD.» @),»
in the limit as ¢ approaches 7; and, similarly, in the range 47° and in-
definitely near 7’, we denote their [Link]
G2). Gi @
in the limit as ¢, approaches 7,
The integral J, is to vanish for all small variations, and therefore for the
foregoing variation. Between t, and f, the contribution to Z, is zero, because
* That is, a point which is not fixed by assigned dats.232 ‘THREE CHARACTERISTIC EQUATIONS fon. v
u,v, ware kept zero in that part of the range. Between ¢, and 4, the con-
tribution likewise is zero, for the same reason, ‘Thus
*pfule-@ ao @ 2 (Broo (¥
Si+fe [¥f2 a} +" ay 5 (2) +0 t3~ ai \ae)S |
a re [ 29 4 y 9 4 9)"
+ [Meow Pa [nile ew)”
Now JZ, must vanish. ‘Tho integrals vanish, because the characteristic
equations are satisfied everywhere along the curve. ‘The part, outside the
integral and taken at the limits t and 1’ of the portion t,7' of the range,
vanishes at f; but not at 1°; and the part, outside the integral and taken at
the limits 7’ and &, of the portion 7, of the range, vanishes at f, but not at 7.
‘Hence we have
va (@E)_+ee(QB)_er() — fer GB), ree). vee G8
Now wr, v7, we are arbitrary fanetions; they are independent of one another;
‘and, because the place 1 is free, up, vx, wr are not required (by assigned
data) to vanish. Hence the equation can only be satisfied for all such
arbitrary functions, if
@-@. @.-@, @.-@).
being properties which constitute the continuity of the three derivatives in
value, on the passage through the free point of discontinuity in the direction
of the characteristic curve.
‘The three characteristic equations are equivalent to two.
160. We note at once that, in virtue of the identity satisfied by the
fanction g, the three characteristic equations in § 158 are really equivalent
to only two independent equations.
When the complete derivative of the identity
with respect to ¢ is formed, we have
aS (®) +h (2) +95 CD +egh +m
=
a
9, 0, H,,
=a F442 2 7
oat tay tpg tay, TH160] EQUIVALENT 70 TWO EQUATIONS 238
and therefore
Ea + By +E,= 0,
a result which establishes the statement.
But, owing to their convenience in the subsequent analysis, the three
equations Z,=0, Zy=0, H,=0 will be retained for use.
Further, when the three characteristic equations are combined with the
identity satisfied by g, the fact that they are equivalent to two equations
can also be indicated as follows, We have
(2)
But YG + [Link]— (Guo + Yaga t Gut Cut YoGie + £98)
= th (Gea — Gx.) — 21 (Jue Jeo) ~ HJ — Yin — Feiss
and therefore
Eg = 245 (Gos Ga) — 4.2, (Gua ou) + £5 (Yin + #igs) — Baa — 2s
= (29 Ger— gx) — (aya 204s) Gs} — {0141 (Yu — Jue) — (2s — 222),
Similarly
a
and
= {Ys x — 9a) — (Yee Yee) Ju} — {Ys (Goo Gx) — (Ys 4h) Jub
4B = (021 (Gu ~ ga) — rte 22%) Gus} — {Ys%i (Gu — Jo) — (Yaa Yori) Gus}
‘Thus, again, we have, on addition,
By + By +E,
Also, because Z,=0, H,=0, E,=0, there is a quantity T' such that
41 (GaGa) — (YF tact
448 Ga~ du) — (4% ~ 4%) a= TP:
2193 (Joa Ja) — (G1Ys— Ma) Ju=T
relations which can be written in the form
4121 (a Gu— R(@iyo— nay) + Q (am —a14,)}
9G + P (ys yaar) — B20 — 2 20)}
21 (Jus — Gua)
Ex, Show that the two characteristic equations of § 14 are
Fg fs a9) 1181 ag) — (624-421) Gat Oi4-IH) 990,
Fy, itn G98) 115 Ons Ie) ~ (Sir Ha) 984 1A Yet) HI =O.234, PRIMITIVE OF CHARACTERISTIC EQUATIONS [ou v
Primitive of the three characteristic equations :
ubsidiary equations.
161. The three equations E, = 0, Ey=0, E,=0 are equivalent to two
independent equations when combined with’ the identity satisfied by the
function g. Their primitive is of the form
XE A, ay tay Oy, cs)
PEF a4, M4, 3,
ZEY EFA, Oy Oey ty, 4),
where 4, 4, 4, as, % are arbitrary constants, one of them obviously occurring
as additive to t because t does not occur explicitly in the characteristic
equations. The constants a,, a,, 04, a in the primitive are essential ; but a is
merely incidental.
These equations are satisfied identically (for all values of the arbitrary
constants) when «, y, 2 are substituted; and they remain satisfied when the
arbitrary constants are changed. Let these be subjected to small variations,
80 as to become a+ Kal, a+ xa, (for r= 1, 2, 8, 4), where a’, a, dy, dy, dy are
themselves arbitrary; and let the consequent small variations in 2, y, #
change these variables to #+x&, y+ «n, 2+ xf respectively. Writing
XO, $0, WO, for %, SB,
HHO, $400, Held, for H, 3, oe
1,2,8,4);
we have
‘
Faax (0 + 3 axe (0
aap + 3 aby.
taay' +d ate 0|
Further, we take
4 O=xX Ob O-8' O x04
%W=xX OW O-¥ OxO)”
for r= 1, 2, 3, 4. We now form combinations of » and £, ¢ and £, such that
= a1 — WE = a8; () + 00, (t) +0585 (0) + 0484 a
Z mab - nF = a9 (+ Gs () +495) +a)”
the arbitrary constant a’ no longer occurring in the magnitudes thus
selected,
With these changes effected upon the variables «, y, in the equations
E,=0, E,=0, E,=0, the actual characteristic equations remain the same.161) SUBSIDIARY EQUATIONS 235
Thus the changed form of Z, is still equal to Hy, and the same holds for
E, and for E,. We write
20 = Go + Gat? + Jul? + Wak + Woukl + Wank
+2gukE' + 2akn! + QguskE
+ 2gank’ + 2gamm! + 2gunk”
+ gah’ + 2gakn’ + 2k"
+ gn E*+ gr! + Gab? + 2gisk'n' + 2gskS + 2gun's 5
and we note that ¢ does not occur explicitly in g, so that the change of @ into
a+ nal does not affect g in the small variation except in so far as it enters
into the expressions for fn, £ Then the changes in the first derivatives of
4g with respect to @, 2, ys Yu 4 #1, make them become
a a ao
aE" an, * "OF?
9,22, ow , 20
ay Tan” ay,” Gx”
ag, 92 0%
setae oa, * ag”
respectively. ‘The three characteristic equations are unaltered by these
changes: hence
- y= 22 _ 4 (29)
OE ale)
og
Rte
‘These three equations, which clearly are linear in £, », { and their deriva-
tives and are of the second order, are called the subsidiary characteristic
equations, Their variables £, 7, Care such as to keep #+ KE, y+ xn, 2+xb a8
integrals of the original characteristic equations. Moreover, we have
@, B, + y Ey + 2, =0;
and therefore
(e+ 46) Be + Be) + (ys + 0m) (Hy + 0) + (21+ 06) (Bs + Eo)
where only terms of the first order in x are to be retained. ‘Thus
nBpt Ey + Bc=0,
so that the three subsidiary equations are equivalent to only two independent
equations, Accordingly, this relation must be satisfied unconditionally, what-
ever forms be given to the coefficients gin.
In placo of the three equations, we shall substitute two independent
equations having Y and Z as their dependent variables; but, in order to
secure guidance as to their form, we shall effect an initial modification in the
expression of the ‘second’ variation in our integral Z.236 FIRST MODIFIED FORM OF [ou v
The ‘second’ variation : first modified form.
162. Since the ‘first’ variation I, has been made to vanish, thereby pro-
viding the characteristic equations as well as terminal conditions which settle
the limits of Z, the governing magnitude of J—J is the ‘second’ variation
te fs (@dz, where
= guu?+ gud? + gow? + gawd’ + Iga’ + gar’!
+ 2yquu! + Agee’ + Qgaurs!
+ 2gnvu + 2gq0v + 2gq0"
+ 2gqwu' + Aggro! + 2ggwu!
+ 90%? + ga? + gut + 2gqguv + 2gu urn + 2pum0.
It will be noticed that © is the same function of u, u,v, v, w, w' as 20 is
(G161) of £, &', 9, 7, & {In both of them, it is assumed that the values of
, y, #, which are determined by the characteristic equations, are substituted
in the coeflicients Jim.
It has been pointed out (§157) that the six coefficients gu, uy Jur J Ju» Ju
can be expressed in terms of three quantities initially defined by means of
some selected trio among them. No preferential dependence is accorded in
the foregoing analysis to a selection of two of three variables @, y, 2 over the
remaining variable, But as convenience can emerge from a choice of y and z,
because we then recur to the earlier analysis of § 130—154 on making « =t,
we shall select gu, gus, Jus a8 the three quantities of reference for the six
coefficients. We take*
Gn=23P, gu=07R, ge=2'Q;
and then the other three coeficients are expressible by the relations
Iu=— HYP HAR
gum = ay,R- 029}.
n= AP 2s, R+oQ
In order to obtain the first modified expression for the second variation Is,
we take a quantity
Dm Aw + Bo + Cut + 2Fow + 2Guu+ 2Hwy,
where A, B, C, F, G, H are functions of t at our disposal. As the limits of
the integral J now are fixed, the quantity 7’ vanishes at each limit, because
1u,v, w vanish separately at each limit,
+ Tein eny to verity that
ee
ereP gpapaeeh Gane.
to that, when 2=t, the quantities 7, R, Q are tho critic quantities which arise (§ 148) in
‘the discussion ofthe special weak variations163] SECOND VARIATION 237
With these values, the terms in @ of the second degree in w’, ’, w’ are,
together, equal to
Pla — yw + 2B ey — yu) (ew! — yt) +Q (aw au’).
Accordingly, let Vand W denote the quantities
so that ee rad
Vi sav — yw +20— you
‘We proceed to choose the coefficients A, B, C, F, @, H in the quantity 7’, s0
that, if possible, we may have
042 prs 2Rv w+ QR
+2KVV'+ 20 WV" 4 2MVW'+ 2NWW'+ DV? +280 W + EW,
163. In order that this relation may hold, the coefficients of the various
combinations of u, x’, », v’, w, wo’ must be the same on the two sides,
(® The coefficients of terms of the second degree in u,v, wu’ are the same,
Decause of the expressions for gis, Gur Yor Ju Shes Jue
(ii) In order that the terms in (w, », wifu', v', w’) may be the same on
the two sides, we must have
Gat 0 =Qam + at )
Jut+B ayy + aK
Jot F = Raya, +a3h
Gut F = Raye, + 03M
Gat G =~ Qeyts— Rye — ayrb ~ 02,N
Ju G =—Qu.2— Ranye—oy,M— 220
Yat H=— Pym Rae 2 y,K- eM
Pay, — Roe, my K ~ a2,
Pyset Byer + we) + Qt
+y2k + y.5(L+M)+22N
(iii) In order that the terms of the second degree in u,v, w may be the
same on the two sides, we must have
gat O' = Qe? +2n,2,N+03E
Jat B’ = Pas +20,2,K +03D
Sut F = Rap + 22, (L+M) +038
Gut GF =~ Qtat— Ra yn— mYy,L — yrtyM — (m2, + 2,0) N —a,y,S—0,2,E)-
Gat Hl =— Pry, — Raat, — (yet he.) K — 2,0,L - 0,%M— myD—a2,8
Sot Al = Pyd+ Ryser + Qe + yy K + Qyyl + aM +2.%N
FyeD + 2y28+ oA238, ‘TRANSFORMATION OF SECOND VARIATION [cu. v
Here, there are fifteen equations in all; and they contain thirteen
unknown quantities 4, B, C, F, G, H; K, L, M,N, D,8, E. One of the two
equations, involving F in the set of nine, can be removed if we retain
9u—Go= 23 (M-L);
one of the two, which involve @ in that set, can be removed if we retain
Goa Ju Q (eres — 2144) + B (ysete— nye) — 9 (M— LZ);
and one of the two, which involve HT in that set, can be removed if we retain
Ga— Ga =P (Yrtta— tiye) + B (ey 2424) + 0,2 (ML).
But any two of these retained equations are satisfied in virtue of the third,
because of the two fundamental and independent characteristic equations as
given in § 160. Hence the total of fifteen equations must, in number, be
reduced by two units in counting the tale of independent equations, Thus
there are thirteen independent equations, potentially sufficient for the deter-
inination of the thirteen unknown quantities which occur linearly.
164. For convenience, all the fifteen will be used in the reductions, account
being taken of those which ultimately are independent, viz. six out of the first
set of nine, together with the one retained equation, and the six in the second
set. In another aspect of the aggregate of equations, we may regard the set:
of nine as defining quantities A, B, C, F, @, H and leaving one relation, free
from these quantities so defined : the other set of six, together with this one
relation, can (after substitution for A, B, C, F, G, H) be regarded as deter-
mining the quantities K, L, M,N, D,8, B.
Ibis, however, unnecessary to rosolve the equations, and obtain the explicit
expressions for all these quantities A, B, ...: provided the one aim of the
investigation is the construction, explicit and complete, of the final normal
form for I; This form is obtained, in terms of the quantities P, R, Q, and
in terms of the integrals of the subsidiary characteristic equation. Moreover,
the primitive of this subsidiary equation is derived from that of the character-
istic equation. ‘Thus the actual knowledge of these quantities A, B, ... is not
required for the construction of the normal form; it is ancillary to the con-
struction of an intermediate form, which itself is of transient importance.
‘The process adopted in the present case is, in fact, a fusion of the two
processes in § 52 whereby, first, a form
a aan
Puss Gur F
was constructed for @; and, next, a form
P(w—u) +9 (0+ Hw)
was deduced.165) SUBSIDIARY EQUATIONS REDUCIBLE IN NUMBER 239
If these separate processes were desired in the present case, the first stage
is attainable by keeping the expression for 7’ (on p. 236) as simple as possible;
for example, we could take
K=0, N=0, M+L=0,
initially,
‘The actual method adopted is more direct than the amplification of the
earlier double process. Moreover, it has the added advantage that it can be
extended, without further change, to the case of any number of dependent
variables.
The three subsidiary equations reducible to two, with modified variables.
165. Next, we modify the form of the three subsidiary characteristic
equations, of which the full initial expressions are
Ey=Guk + Gan+ GuS+ In€ + Gan + Gob
a oe
— Gut gun + galt gul’ + gun! +9sb")=0,
Ey= Gat +9u0 + Gah + dak! + Gurl + Gut!
a re
jp Gut +907 + Gab + Iuk’ + 9u1! + Gub!)=0,
Ee= gub + 9un+ Jub + Jak’ + gan + gab"
a eG
= Gab + 907+ 966+ uk’ +900! + gb!) =0.
In the first place, these three equations are equivalent to only two inde-
pendent equations (§ 161) in virtue of the relation
a het Ey +nte=0,
which now will be verified.
Partial differentiations of the identity satisfied by g give relations
ag
fe edn t+ YG + Ago
a
Fyn dat dat eto,
# = gat gor Jur
‘When the first of these identities is differentiated with regard to t, we have
%Goot Yea AGort Gert Y2Gos + 229s
Hagar t YaSeat 229+ HG + ges + Gus
and therefore eee n ts
© (Jou — Gu’) + Ys (Goa Gee) + #,(Gou~ Jo!) =O.240 MODIFICATION OF THE cu. v
Similarly from the other two identities, we have
© (Gu—Gu') + Hh (Gea— Jas) +21 (Yuu — Gu’) = 0,
(Gor Go’) + Ys (Gu Go") + #5 (Gu—Ga') = 0.
In virtue of these three relations, the coefficients of & of », and of f, in
2,Ey-+ yEy+ Ee vanish separately.
Again, we have obtained the relations
gat gut 29s
@iG:a + iG t 219s
Agut Ygut 29s
In virtue of these, the coefficients of £”, of 9", and of £”, in a Be+y,By+4,Be
vanish separately.
Next, differentiating with regard to t the first of the three relations just
quoted, we have
Gul + Gia + 29s + 29u+ YG + Hs
and therefore
Bigu + Ys (Gis + Gos — Gu) +1 (Fu! + Jou Fa)
=I: (Ga Gu) + #1 (Goo — Ja) ~ Lan — YaGhs— 209s
9 (Gea Gu) + 2s (Geo — Ga) — %a(yPP + 29,2, B+ 2°Q)
ty(tipP + O%4R) +2 (HyR +2%Q)
because of one of the fundamental characteristic equations as they are stated
in §160. Similarly, from the second and the third of the foregoing relations,
we have
(gus + 9 —Ju) + YrGu' + (Yu' + In ~ Ju) =9,
® (Gx! + Ja—Jo) + Yi Gu! +Ja—Iu) + 29u' = 0.
In virtue of these three relations, the coefficients of £’, of 7’, and of £, in
2, Hy-+ ysB, + %Be vanish separately.
Consequently, we have
a Bigt ly + Bg=0.
166. We therefore need retain only two (out of the three) subsidiary
characteristic equations. We select the second and the third, and proceed to
change their expressions, using the variables ¥ and Z (already introduced)
instead of £, 7, & with the definitions
Y=an-yb, Z=a,f-a6,
Yi aanl — 9 + an — yk
Ba ah— a8 +at— ab)"
so that166] SUBSIDIARY EQUATIONS 241
where it will be noted that, if u=£ v=, w= then V=Y, W=Z, the
quantities that occur in the modified expression for @ +97 in § 162,
Substituting the expressions given for the various coefficients gim in @,
we have
Guak! + gan’ + gub' =— (ay. P + 0,2,R) E+ 0,Pr! +03RE
=a ([P(an! —n€')+ RS —a€'))
=a {PY'+ RZ’ P(an—yb)- R(@,6-48)),
and
Gok + 9un + Gah—— (HE + By + Fo)—§ (Pay + Reye,+ ayy K +a,2,L)
tn( Paya + 02K) + (Raye, + 01);
therefore
GE + 907+ G0b+ Gul! + I97 +906
=-(HE+ By + Fo) +2,(PY' + RZ'+ KY +12).
Again,
Gak’ + gan’ + gut! =— (HE + Br + FC) —& (Pye, + Raya +y,K +2,2,M)
to (Paty + 02K) +o (Reve + eM)
=— (HE + Ba’ + Fe)
+ (Pay tn K) eal — 8") + (Ray tM) (a
aE),
and
Guk + Gan + Gub= —(H'E + By + O'S)
~E(Pay. + Rant ny kK +0, K + 2,0,0+22,M
+2,y,D+ 2,28)
40 (Paps 20.0,K + 22D)+ (Rast +02 +2,04M +08)
(H'E+B'n +0)
+ (Pa, + ©) (00 ~ yo) + (Raat 2M) (08-26)
4K + aD) (9-8) + (@L +28) (mb-28);
therefore
Gab + Inn + Iub+ Ink + Jen! + Jub!
= {HE + Bo + 06) 40,(PY' + R2'+ KY +12)
+0,(KY' +M2Z'4+ DY +82),
Substituting these values in the subsidiary equation #,~0, and removing
a non-vanishing* factor a, we have
By= 4 (PY'4 RY +KY + L2)—(KY'+ M2'+ DY +82) ~0.
* As z varies uniformly through the range and ¢ increases throughoat the range, 2, can only.
vanish for isolated places at the utmost.242, ‘TWO SUBSIDIARY EQUATIONS [cu v
Proceeding in the same way with the subsidiary equation Z,=0 and
again removing the non-vanishing factor «,, we have
By= 4 (RY +.QU' + MY + N2)—(LY'+ NZ’ + SY+EZ)=0.
We therefore take
Ey=0, Ez,=0,
being two independent equations, as the modified form of the subsidiary
equations. Manifestly linear and of the second order, they can be regarded
as determining Y and Z as functions of ¢; because the seven quantities K,
L, M,N, D, 8, B, do not involve &, 7, §, that is, do not involve ¥ and Z.
One selected integral of the two subsidiary equations.
167. One important property, in the form of an integral of these two
simultaneous equations, will prove useful in the further reduction of ont
to its final form. We write
20) =PY"+ 2RY'Z’+ QZ"
+2KYY' + 2LZ¥'+2MYZ' +2NZZ’ + DY*+28YZ+ EZ,
where it will be noticed that 2(] is the same function of Y and Z as of
is of Vand W; and then the two subsidiary equations H,=0 and Hz=0 can
be written in the form
20_ 4 (00).9 20_4 a
SP aler)=% 92a (az)
As each of these two equations is linear and of the second order, their complete
primitive giving the expression of Y and Z—to its expression we shall return
later (§ 170)—is compounded of linear combinations of four linearly inde-
pendent sets of integrals Y, and Z,, Y, and Z,, Y, and Z, Y, and Z,. The
property in question is that there exist two sets of integrals Y, and 2, Y, and
Z, (where Y, and 4, are either one of the other three sets, or are linear com-
binations of them in the form
YrealitaNitaln Za akst alt ole
the coofficients ¢ being constants) such that, if, and (), denote the values
of C) when Y, and Z,, and Y, and Z,, are substituted for ¥ and Z, the relation
en ao,
vay? +n
0.
Or a
Nay t Baz,
is satisfied ; and the choice is not unique.
‘The quantities (, and (], are homogeneous and quadratic in their
respective arguments, and they have the same coefficients ; hence the relation
20h
ta167) ONE SELECTED INTEGRAL 248
holds, the two sides being equal to the same expression lineo-linear in each
set of arguments. But
@ Os
ax Gz)»
o_O
az)
a0.
ay, = Ye)"
a _@ OY
oY, dé a Gy :
and so the relation can be written
a (Mayet a)
Hence
where & isa constant. As ¥, and Z,, Y, and Z,,are individual and not general
integrals of their equations, & is a specific (and not an arbitrary) constant.
If k is zero, for a primarily selected pair of sets Y, and Z,, Y,and Z,, the
property is established for that pai.
If kis not zero, take another pair of sets ¥, and Z,, ¥, and Z,, where Y,
and Z, are not a linear combination of ¥, and Z, Yz and Z,, Then, in the
same way, we find
oD:
Noy;
where J is a specific constant.
If 1 is zero, the property is established for the pair of sets Y, and Z,
¥, and Z.
If Lis not zero, take a set of integrals
Y,=1¥,—kYs, 2Z,=12,—k2,,
so that Y, and Z, are not merely Y, and Z,, nor merely ¥, and Z,, nor merely
Y,and Z,. Then
2D 82, 12h 20) 20
lor? kay? ia * Oey
owing to the linearity of the first derivatives of O:, Oh, a in their argu-
ments, Then we have
Oe ol a
Nay, + 2ag7~ Pray; + Zag;
establishing the property for the pair of sets Y, and Z,, Y; and Z,.
Manifestly the property is not unique; because we can make Y, and Z,
take the place of ¥, and Z as a set of integrals, and we still have the sets Y,
and Z,, Y, and Z,, to associate with Y, and Z,, with the new Y, and Z, and
with one another.
For our immediate purpose, it is sufficient to possess the relation for two
distinct sets of integrals of the equations.
+5444 FINAL NORMAL FORM OF [on v
Final norma form of second variation.
168. We now can proceed to the final form of the quantity e+. In
connection with any set Y and Z of integrals of the subsidiary equations, we
introduce quantities @, 8, y, 8 which satisfy the two relations
Y'+a¥+yZ=0, Z’+BY+8Z=0,
these relations, as they stand, being insufficient to define the four quantities.
‘Then
PY’ + RZ’ + KY+ LZ =(K - Pa-R8)¥ +(L —Py— Rd) Z,
KY’ + MZ’ + DY + SZ =(D - Ka—M8) ¥+(S — Ky— M2)
RY’ + Q2' +MY + NZ=(M—Ra—Q8) ¥+(W — Ry—Q8) Z
LY’ +NZ’4SY +82 =(S -La-Nf) ¥+(E—-Ly-W8)Z;
and the subsidiary characteristic equations Ey =0 and E,=0 are satisfied if
K=Pa+ kB
M= Ra+Q8
Py + BB
N= Ry+Q
Ka+ MB = Pat +2Ra8 + Qs
S=Ky+ MB
= [a+ NB = Pay+ R(ad-+ By) +Q88
B= Ly + Nb = Py + 2Ryb +. QE
where it will be noted that the apparently different values of S, viz. Ky + M3
and La+ NB, agree.
Thus far, the relations hold for any set Y and Z of integrals of the sub-
sidiary equations. But a single set is not sufficient to define the quantities
2, 8,7 8. Accordingly, we take two independent sets Y, and %, Y,and Zs,
and associate both sets with these four quantities, the association not affecting
the values of K, L, M, W, D, 8, B. Then we have
Yi + a¥ito%
Yi +a¥,+9%,=0f"
Z/ +BY, +82,=0|
} 24 AY, 487,00)"
é 7
=ViVi "20-2 ~ [Link]—¥, ¥,4,-¥.4,"
where ¥,Z— ¥,4Z, is not zero, because the two sets of integrals ¥, and Z,,
Y,and Z,, are independent, in the sense that Y, and Z, are not merely the
same constant multiples of ¥, and Z.168] SECOND VARIATION 245
The original characteristic equations are known to be satisfied in con-
nection with the quantities K, Z, M, N, without this assignment of values.
The subsidiary equations are satisfied in connection with the additional
quantities D, 8, #, as well as K, L, M, N, without this assignment of values.
All that has been done is to assign values to K, L, M, N, D, 8, B, associated
with two independent sets of integrals Y, and Z,, Y, and Z,. Now we have
seen that any two independent sets of integrals ¥, and %, Y, and Z,, are
such that
where & is a specific constant, and that an appropriate choice of two sets ean
be made so as to secure that the specific constant is zero. Now
re +0 (rR + 2.574)
= ¥\(PYy+RZy + KY, +L) + Z,(RY; + Qh + MY + NZ)
— ¥, (PY) + BZ! + KY, + LZ,) -Z( RY + QUi+ MY, + NZ)
Y,4,— ¥,4)(L— Py — R8)—(¥,2,— ¥,Z,)(M —Ra— QB).
Thus the values assigned to the various quantities, in particular to Z and Mf,
require a zero value for the specific constant value of the left-hand side; and
consequently the two sets of integrals Y, and Z,, Y, and Z,, of the subsidiary
characteristic equations must be chosen (as they always can be chosen) so that
20, 20, ao,
YS 4 2m vo 4 oh
With these values now made definite for K, L, M, N, D, 8, B, we have
04 are PV4 2RV'W'+QW*
+2KVV' + 2LWV'42MVW" +2 WW! + D4 2900 + EW
= PV +aV ty WY + Q(W'+ BV 480)
+2R(V' +aV+yW)(W'+ BV +8W)
=
amayep lh) Vs VW i+Qlw, Vv, Wye
MH Ky A 4, %
Yi Ya, & Bi, Va, By
ls v, wey. wh
wy Mh, 4M, Bj
Yi, Ye ANA, B, A!
which (with the foregoing limitation on the selection of the sets Y, and Z,,
ar
Y, and Z,) is the final reduced form for @-+ >.246 PRIMITIVE OF THE [ca v
‘The expression for 7 is
T= Aut + Bo + Ou’ + 2F ow + 2Gwu + 2Huv
(aut + gut? + gat + (Ju + Ju) Vw + (Gu + Gu) WH + (Jat Jun) WO}
= PV+RW RV+QW
footer |e Ys Weve yg ewonm Vs WY
YW, hy & a, Ny wa}
| Yi, Yn & | Zo, Yn Ai
But e dt=[T}, taken at the limits, The limits have been settled by the
conditions deduced from the first variation of the original integral J, so that
u, ¥, w (and therefore V and W) vanish at each limit; and thus oF at=0,
between the limits, ‘Thus the second variation of the integral has become
equal to
je fod
Primitive of the subsidiary equations.
169. This reduction of the second variation of J manifestly depends upon
a knowledge of the quantities Y and Z; and the significance of the normal
form depends upon properties of two independent sets of integrals. ‘The dis-
cussion thus requires a knowledge of the primitive of the subsidiary character-
istie equations.
Now these subsidiary equations arose from the original characteristic
equations by the consideration of varied values ©-+ «8, y-+en, 2+K£ of @ y, 2,
these values still satisfying the characteristic equations; and the values of
£m £ were derived (§ 161) from those of «, y, z in the primitive of the
characteristic equations. By means of these quantities, two other quantities
¥ and Z were construeted, such that
Y= ain hE = 8, (1) + a2, (f) + 048, (1) +48, ni
Laat 2£=49,()+a% +a ()+a9 0)"
where a, ds, ds, @ are independent arbitrary constants. Also, Y and Z satisfy
the linear equations
ao D) =o, ao 4 (0)
=0,
ay Of ~ dt\aZ"
the primitive of which is constituted by a set of values Y and Z, involving
four arbitrary independent constants linearly. Clearly 8,(¢) and 9, (f), where
r=1, 2,3, 4in turn, are a set of integrals; if, then, these four sets are linearly
independent of one another, the foregoing expressions for Y and Z constitute
the primitive of the subsidiary equations, We proceed to establish this linear
independence.170) SUESIDIARY EQUATIONS 247
110. The primitive of the characteristic equations is
Bm HCE A, i, Cay 05, 4)
srateenmes moh
FEY (E+G a, Oy, ay, 4)
where the essential constants are a1, a, 4,4. The constants are determinable,
by the assignment of initial values to ¢, y, 2 and of initial values to 2’, y, 2’;
but as the variable ¢ is not specific and any function of ¢ may be taken in its
place, the initial conditions become precise by the assignment of an initial
value ¢ to 42(=2), and an initial value m to =(
band c toy and 2, when «=a, and t=%, In this form, the primitive of the
characteristic equations becomes
y=y(z,, 1, 6, m)
2=2(e,b,|,0,m)
‘The set of essential arbitrary independent constants a, a, as, a is expressible
in terms of the arbitrary independent constants 6, l, cm, by means of four
independent equations
2). as well as of values
a, = @, (6, 1, 0, m)
a, = 02(6, J, ¢, m)
= w4(b, 1, 6, m){”
= 04(b, f, 6, m),
As the four constants in each set are independent, these functional forms are
such that neither of the Jacobians
(tae
a bbom
vanishes.
Now the quantities % and &, derived from the second form of the
characteristic integral, must have the same values as those derived from the
first form; hence
dy 8) de vw
ae XO & xO
Again, from the equivalence of the two forms, we have
By _ dy Be , dy ob , dy al, dy Be , dy Om
a, - dada," 6 da, ” db da, dc da, Om da,”
for r=1, 2, 3, 4; and therefore
=vo%-¢o%
(=x Os - #0 5
aye 24 2 4 2% Oy 20, By am)
aX BE Bm 4 BE om
a‘248 PRIMITIVE OF THE SUBSIDIARY EQUATIONS fon. v
Similarly, proceeding from the equation in z, we have
tin yan OF
Sax’ in O75.
(az ab dz al az de
xO Ge Bl ba, * de Ba, * Gm
‘Now if there were a linear relation among the four quantities 8,(¢) with
constant coefficients, and a linear relation among the four quantities 9, (t)
with the same constant coefficients, of a type
3 8-0, 3 w9)=0,
such relations would have the forms
ay ay +,,3
Deedee lse ss te ma,
a 25, 2,
Smee Hp 4 oy, —
But these have the form of linear ee * constant coefficients, between
the set
ay by dy ay
a* a" a’ am
together, and the set
ae de de de
a’ a0" am
together ; and it has been proved (§ 140) that no such linear relations exist.
‘The foregoing apparent relations must be evanescent, so that the constant
coeflicients must vanish ; hence
ee)
Pigg, * Hig, * a * Fe,
al aa at
a tm
a #4, 2
bn tba, taaq, * 3a,
am, mam am
Mg, tM Gg, tM ag, tM Sa,
‘Phe determinant of the coefficients of the constants 1s, py Hay Ha is
Blom
oratere):
snd s0 these equations can only be satisfied if
which does not vanish ;
1=0, = 0, w= 0, y= 0.70) DEVIATION AND TANGENTIAL SLIP 249
Consequently, there is no linear relation between the integrals 6,(t), 0(t),
4, (t), 8,(t) with constant coefficients, and there is no linear relation between.
the integrals 9, (t), 94(d), 94(¢), 94(t) with constant coefficients.
Hence the primitive* of the subsidiary characteristic equations is
Y=a,0, (t) + 0,0, (t) +448, (t) +. 4,8, a
Z =a (6) + Q(t) +.4,% (t) + a,9,(0f"
where a, ds, as, a, are independent arbitrary constants.
Clearly 4, (t) and 3, (t); ,(t) and 9,(t); 0,(t) and 95(0; A(O and 3,(¢);
are four sets of integrals, each linearly independent of the others.
Note. In connection with the deviation from the characteristic curve for
integrals involving only derivatives of the first order, it was pointed out
(Wote, § 52) that an apparently arbitrary representation of the variation was
taken by including only a quantity
av yn
(which measures the normal deviation), and ignoring or omitting a quantity
mut yD
(which, measuring the tangential slip, does not alter the shape of the curve).
And it was seen that, in the reduction of the second variation, this omitted
quantity cannot enter when w is retained—that, in effect, w gives the whole
of the small variation which need be retained.
The same considerations occur in the case of skew curves. There is an
apparently arbitrary representation of the full expression of the variation, by
retaining only the quantities
Yean-né Z=a,f-26,
and by ignoring any tangential slip along the skew curve. The justification
of the result emerges in the same way as the justification for the simpler
instance. Solely for the passing purpose, we take the are of the characteristic
skew curve for the independent variable; and we resolve an arbitrary small
variation «£, xn, xf into three reciprocally perpendicular components, giving
a displacement «r along the tangent, a displacement « i » along the principal
normal, and a displacement ae along the binormal. Then we have (with
the customary notation for the direction-cosines of the principal lines of the
curve at the point)
rb = der + pa’ prt ee —#y) 628,
* "The primitive of the subsidiary charactoristio equations has been dedueed from the primi-
tive (supposed known) of the original characteristic equations. If, however, only a special set of
integrals of the latter were known, the subsidiary equations would have to be integrated, leading
to the same primitive.250 PROPERTY OF (cH. v
that is, ae
sa’ /e" — sy") B;
eee Eaarta'vt ye" -2y)B
aaytty’y + ea" — a's) 8,
badrte’y +(e'y' -y¥e)8.
Hence
Yown-y=@y’—ya")\v— Be",
Bndg—Z6 a (a2 — 20") + By’.
The second variation has been proved to be expressible in terms of Y and Z
alone—that is, of » and f alone (were these selected, to the ignoration of 7)—
by means of expressions, into which 7 could not then enter. ‘The apparent
ignoration of the displacement, due to a tangential slip, is justified alike in
analysis and significance,
Property of fundamental sets of integrals of the subsidiary
characteristic equations,
171. The subsidiary characteristic equations are
PY" + RZ’ -P'Y'+(M-L-R)2Z'+(D-K)Y+(S-L)Z,
RY" +Q2" =(L—M-R)Y'— Q2' +(S—M)¥+(E- NZ;
and they are satisfied by the four linearly independent sets of integrals
6,(t) and &, (b, for r=1, 2, 3,4. We have
(PQ— Ry ¥" =~ (QP + R(L- MR); ¥'+(Q(M-L- R)+RQZ
+terms in ¥ and Z,
(PQ-R) 2" = (P(L-M-R’)+ RP} Y'—{R(M-L-R)+ PQ)’
+ terms in Y and Z.
A), Olt), A(t), 40) |
HO, 2), MH, RO |
| OO), OF), 8'(), 8 (t)
WO, WO, WO, WO
Denoting
by J, we have
Ta) AO, OW, WO, A) |+/ 40, BH, BO, BM) |.
30, HO, BO, YO | [RG BO, WO, HO
O,'(6), Or" (t), y(t), A." (t) Od), At), A(t), O'()
YO WOH XO XO! [WO WO 8O, YO
When we substitute for 0,” (t) (that is, for Y”) its above value in the first
determinant on the right-hand side, and for 9,” (t) (that is, for 2”) its above
value in the second determinant there, we have
(PQ Ry) Y= QP + RUL-M- RY} I~ [RM LR) + POT
=—(QP' + PQ -2RR) J.172) FUNDAMENTAL SETS OF INTEGRALS 251
Hence
(PQ-R) IT
where A’ is a constant.
The sets of integrals, 0, (t) and 9,(f), for r =1, 2, 8, 4, are linearly inde-
pendent, so that no relations of the form
X10 (Q=0, EaeS-(t)=0,
where jay Hs) pay Ha are constants, can exist; hence J is not zero, Next, it
will appear that, if a maximum or a minimum is to exist for our integral,
the quantity PQ— R* must always be positive and may never vanish within
the range. Hence 4’, the product of two non-vanishing factors, cannot be
zero. Thus
(PQ- BR) J=4,
where A’ is a non-vanishing constant.
Clearly A’ will be a specific constant, depending upon the specific
selection of the four linearly independent sets of integrals. Any four linearly
independent sets of integrals are linearly expressible in terms of any other
four linearly independent sets; thus
Yu= 3 cur Oil, Zam ¥ One (0,
= 7
for m= 1, 2, 3, 4, where the determinant V of the coefficients cmr is not zero.
‘The determinant J of the quantities Y, and Z, is equal to the foregoing
determinant J multiplied by the non-vanishing constant factor V: that is,
J=JV. ‘Thus the determinant J is covariantive among the four linearly
independent sets of integrals.
Corollary. Moreover, as the quantity J is not zero, the following inferences
hold:
‘The four quantities 8, (t), 6.(t), 0,(0), 61(2) do not have a common root in
the range of the variable ¢, nor do their four derivatives; and, similarly, the
four quantities 9, (¢), 92(¢), 95(¢),9.(¢) do not have a common root in that
range, nor do their four derivatives,
Discussion of the second variation : the Legendre test.
172 Tho second variation of the integral J has been expressed in the
form 4x? [Udt, taken between fixed limits; and, here,
U=P(V'+aV+ BWP + Q(W' +4V 430
+2R(V' +aV+BW)(W' +9 +307),
with the values of a, 8, 7% 8 which have been determined. As the limits
are fixed, 1, v, w (and therefore V and W) vanish at each limit: subject. to
this property, the quantities V and W are arbitrary regular funetions of f.252 LEGENDRE TEST [ov
If the original integral 7 is to provide a maximum, then in general we must
have fo dt negative, for all variations; and, owing to the arbitrary character
of V and W, this requirement can be met only if U is negative for all varia-
tions, If that integral is to provide a minimum, a similar argument leads to
the conclusion that U must be positive for all variations. If it could happen
that Joa is zero, without V and W being everywhere zero, the second
variation of I would vanish for such variations; and then the change of I
would be governed by the third variation,
‘We shall set aside this possibility of a conditionally vanishing second
variation, as being more restricted than is desirable in the quite general
discussion; if and when instances occur, they can be discussed specially, the
course of discussion having been illustrated in an earlier example (p. 33).
‘Accordingly, for our purpose, we now require that U shall be steadily
positive (for a minimum) or steadily negative (for a maximum), so that it
shall never vanish except for zero variations u, », w, and therefore for zero
variations Vand W.
Now so long as V’-+aV'+W and W’+yV+8W do not vanish simul-
taneously, the conditions, which are necessary and sufficient to secure that U
shall always have one sign, are:
() the quantities P and Q must each have one, and only one, sign
throughout the range;
(ii) the persistent sign of P and the persistent sign of Q must be the
same;
(iii) the quantity PQ— Rt must be positive throughout the range,
‘The third condition implies the second, but the second condition does not
cary the third. If PQ— R* could be negative, or P alone could change sign,
or Qalone could change sign, U would not have always the same sign for
all variations. If PQ—R* could be zero, while the first two conditions were
satisfied, variations represented by
P(V'+aV+BW)+Q(W'+yV4+8W)=0
would make U zero, a possibility to be excluded.
Manifestly, if the persistent sign of P and of Q be positive, a minimum
is admissible; if it be negative, a maximum is admissible. Other conditions
may arise from other causes: these conditions must be maintained, as neces-
sary conditions.
‘These conditions are called the Legendre test, in extension of the fact that
the corresponding condition for the simplest problem was first stated by
Legendre.174) JACOBI TEST: CONJUGATES 253
Conjugates on a characteristic curve: the Jacobi test.
173. Next, wemust consider the possibility that the quantities V’-+aV+8W
and W’+V+8W, viz.
ee le we,
Wh &| |e. hy &
Yi, Yu & lay &
may vanish simultaneously for a pair of sets of integrals of the subsidiary
characteristic, such that Y,Z,—Y,Z, is uot zero, and such that
ach eee ect ond
eee
The only way in which this cam happen is that, for any pair of sots of
integrals Y, and Z,, ¥, and Z,, which satisfy the conditions as stated, it may
be possible to have variations
V =aY +4F,)
Wart,+ x2)
where A and yw are non-zero constants, All variations V and W must vanish
at each limit. All the requisite possibilities, that make failure admissible,
will be attained, if we can have sets of integrals XY, + uY,, AZ, + uZ,, zero
together at the lower limit and zero together at the upper limit, while
AY, +uYy and AZ, + 2, are not otherwise zero together (a fortiors, if they
fare zero at only isolated places) in the range of integration. In order to
secure that U shall not become zero, through non-zero variations of such a
type, we must secure the exclusion of the type. It therefore must be im-
possible to have @ non-zero combination of any two conditioned pairs of sets
of integrals, XY, +, and XZ, + 4Z, being the combination, which vanishes
at the lower limit, and also at the upper limit, of the range of integration,
‘We may state the condition in a different form, by requiring that. the range,
beginning at a place where any combination AY, + mY, and AZ, +2, is made
to vanish, shall not extend so far as the nearest place where some such com-
bination again vanishes,
Such nearest place will, as before, be called the conjugate of the initial
place. The required condition is called the Jacobi test, in extension of the
fact that the corresponding condition for the simplest problem was first stated
by Jacobi.
Gritical equation determining conjugates.
174. The analytical expression of this test requires the fuller consideration
of the characteristic curve. As the argument follows almost exactly the
earlier argument in the case of the special variation (§ 152), it ean be ex-
plained rather briefly.254 CRITICAL FUNCTION FOR [cn. v
We take, adjacent to the characteristic curve, another consecutive curve
represented by a set of integrals Y, and Z, of the subsidiary equations, the
deviation being represented by its projections «Y, and eZ, upon the axes of
y and of ¢ respectively. The conditions, assigned for the unique determination
of this consecutive curve, are that, at
Y,=0, Z=0, Vy
pT (t), Zi
where p is a non-zero constant, Then constants bj, b,, bs, b,, such that
0,0, (t)=0, Eb,S-(q)=0, Eb6,'(t)=pT(h), b-9-' (t) =0,
give
Y,=B,0,(t)+0,0,(1)+0,0,()+6.0.()=p| (t), Olt), 8), Alt) |,
(ts), Bolte)» s(t) » Balto)
BiH), ME), B(6), Sal)
BG), BH), 4 (H), (4)
Za=bAO+OIO+EAWO +I =P | HO y HO, WO, KO -
to), a(t)» Pate), Bete) |
Sil), Beh), MG), SaCb) |
Sh’ (bo), Seb), Bui), SW)
We take a second consecutive curve represented by a set of integrals Y, and
2, 0f the subsidiary equations, with «Y, and «Z, a8 the projections, upon the
axes of y and of 2, of the corresponding deviation. ‘The conditions, assigned
for the unique determination of this curve, are that, at t= t,
¥,=0, %=0, ¥i=0, Z/=-oJ(t),
where o is a non-zero constant. Then constants ¢,, ¢, ¢, ¢, such that
J aete=0, TeBe(t)=0, Ee,8/'(4)=0, Ley (te) =— (te),
ive
Tre eBiradOeabl+eed=e | 1D AC), BO), Bt) |,
| OCt), Ct) Balto), Balt) |
Silt), I(t), Bolt), Bel) |
85 (t), Oto), 05 (bs), 8: Ct) |
=o (t) +aM(H+a%wO+o% =e] W(), M), WO, XO |.
(0), all), Oat)» O4(4)
SG), Sab), Seb), BeC6) |
(te), Be (te) 8, (ta), 86 Ct) \
In order that these two sets of integrals Y, and Z,, Y, and Z,, may be
suited for our purpose, they must satisfy two requirements.174) JACOBI TEST 255
In the first place, they must make the quantity
20, 30, ao, OD:
Yay Baz - (ay + 2 az))
zero. As Y, and Z,, Y, and Z, are two sets of integrals, this quantity is bound
to be constant; and its constant value can be taken as its value anywhere.
When t=, we have ¥,, Z, Ys, Z each equal to zero: so the constant is
zero. The first requirement is satisfied.
In the second place, the two sets of integrals are to be independent, in the
sense that the magnitude
¥,2,-¥.2,
must not be zero in general. It vanishes when t=; but Vand W vanish
then also, so that (as in § 64) no infinity occurs in the expression for U at
t=t. But after the initial value of ¢, the quantities V and W must not
vanish simultaneously until the conjugate of t, in the range is attained.
Moreover, the quantity (¥,Z— Y_4)-* ocenrs in the expression for U, so that
¥,2,~ ¥,Z, ought not to vanish in the range after the initial point. Now
V2, — Yad, = [2b,4,(0)]} (ZeeBr O} — {Zo,6-(8)} {Eb-9-(O)}
rea bats) {A.M ( (D)-
Writing
| A(t), Be), (D, Blt) |
HO, 2O, HO, UO |
Y(t), BL (t), BS (), BE (8) |) = ats as (ts Lat), belt), laa ts bat),
NO, WO WO, WO |
AC), A(t), BCE), At) | = AG, 1),
2O,%O, WO, WO
(ts), Balto), Os(te), Oa(ts)
3G), Sate), Bs (to), Se (te)
we have
a(t), Fist), kus), hes (t), ka (Os ba (t),
by = p {les te) Se’ (ta) + Kea (to) is (te) + His (to) 9 (ts
— Ba= p hau lo) Sx’ (to) + hea (be) Ss (be) + kas (bo) Set)»
61 =o {hag (to) By (ta) + (to) Oy’ (t) + Kes (te) 8. (4)
— C= a {lis (te) By (te) + Hear (to) 8, (la) + Bis (to) 8, (t0)} 5
and similarly for the other constants 6 and o. Then, as before (§ 152),
i a (BxC— bac) = {Uh (t) ea (ts) — Kea (to) has (t)} baa (to)
Hest) (a(t) Lan (t) + Hen (te) ba ba) + Ha to) b(t) + a(t) Ua te) + Ha () ae ()}
= halt) I (bas256 CRITICAL FUNCTION FOR JACOBI TEST (on. v
and similarly for the other combinations of the coefficients bem — Paci. Thus
Via Yoh
pod)
Fas to) Bn (+ an) Balt) + Fat) Rat) + Bat) t) + Bs (bs) Bea) +B) at)
= Alte t)5
and therefore
¥,2,— VaZ,=— pol (be) M(t, t).
Here p and ¢ aro non-zero constants; J (f,) does not vanish ; and A (t,t) does
not vanish identically, Hence ¥,Z,— Y,%, though it vanishes when t=,
does not vanish identically along the range; and thus the second requirement,
for the two sets of integrals is satisfied.
Now consider a variation V and W, given by
Vaar+uY, WarZ+nly,
where X and 4 are non-zero constants, At t=%, we have V=0 and W=0,
so that the variation vanishes (as it is bound to vanish) at the lower limit,
‘The conjugate of f is the first place after the lower limit at which two
integrals XY; + w¥, and XZ, + 4Z,, vanishing at the lower limit, again vanish,
Denoting this conjugate by ¢,, we have
AN (h) + Vat) =0, Z(G) + w(t) =0;
as X and p are not zero, we must have
Ya(t) Z2(t) — Z,(4) ¥o(t) = 0,
A(t 4)=0.
Thus the conjugate of any point t, on the characteristic curve is given by the
first root t,, greater than ty, of the equation
A(t, 4) = 05
and the range of the integral, in order to satisfy the Jacobi test, must not extend
as far as the conjugate of the lower limit.
that is,
175. We take, in illustration, the question of a particular curve in
space, viz,
Lat it be required to find a massimym or minimum for th integral
Va fade,
where x is any continuous function in space, and the integral is taken from one surface—that
ia, from any unspecified point on that surface—to another non-intersecting surface—that is,
to any unspecified point on that other surface,
(The problem relates to the Principle of the minimum ‘reduced path? of a ray in a
heterogeneous medium, where 4 is the index of refraction at any point in the medium
according to this Principle, the actual path of a ray between any two points of its course
provides the minimum length of reduoed path between them, Newton enunciated
thoorem, according to which tho path of the ray ie thatof a particle moving with a velocity115] MINIMUM REDUCED PATH OF A RAY 257
# under a system of forces with a potential ; the problem associates this theorea, s0
interpreted, with the Principle of least action, Further, for such a system of rays, the
quantity 7, when regarded as a function of position in space represented by the upper
limit of the integral, is Hamilton's Characteristic Funetion®,)
(A) The integral is
Jutsrsyeecnh at
so thatthe function g in yw (o?-+yi?-+a8, while is any function of , ys When subati
tution in made in the characteristic equations, they become
am a2 {on
Betrntrayh-Z }-2
ast . ie Sareea
with two others. When we take the langth of are as the independent variable in order
to simplify the equations already formed, the characteristic equations become
Mm d( de) 9 me d/o
‘=o, (ZB) -0, (4
ae aa" aa) =
ya ade
a
ae
» in fall,
de ds de * at
-
ays,
Gi +@y+
for, on multiplying them by 2, 4, % respectively, and addi
=o,
de dy de
fu der, iu dy .
Be da dy ds
Neat, eliminating “# and y determinantally, we have
& in
me de ee
a de’ dt
bac
ay de de
a ae
7)
‘that is, the three lines whose direction-cosines are proportional to
Mm mw ds dy di dr Py ds
ae? Oy? We da? ds da dal? at
lie in one plane, Hence the osculating plane of the curve at any point contains the
normal to the level surface wm constant at that point: or the direction of the path just
outside that surface and its direction just inside are in one plane with the normal to the
surface,
* For the discussion of these matters, reference may be made to R. A. Herman's Treatise om
Geometrical Optics, eb. x, eh. xi.258 MINIMUM REDUCED PATH OF [on. v
wna) +) +@Y- G9
where p in he aio of cua carat of tho curve the poi I be the an
Soiree eon of ect ad that ote sutvant-daws normal to aos,
1 ay de, 1 Qe dy, 1 ap de
covey teas t Way det Wo de
Again, wo have
or, taking socount of the value of 17,
Boos pa 4 sin y.
we HH
Wo have 3, iis ie
direction, that is, of incroasing =, y, 2; if, then, RPN=y and
fas the direction-cosines of the outward-drawn normal—in the
P'PN'=y-+dy), the angle of contingence de at P is —dy. But pt
ds
Gi
i ; el
in the figure p is positive, and dis postive: thus }
om y= din 7 |
that is fon
woos y. d= —dy sin y,
and therefore
sin yaconetant,
a first integral of the characteristic equations.
‘These two results are the expression of the customary laws of refraction, originally due
to Snell.
(B) Specific knowledge of the form of p, expressing ite value in terms of its position
in space, is required before a second integral of the characteristic equations can be
obtained. Moreover, in the absence of this specific knowledge, the construction of the
tubsidiary characteristic equations remains merely formal analysis; and the detailed form
of Jacobi’s rango-test cannot be obtained precisely.
‘As regards the Legendre test, we have
‘ta! dP,
(etayteant
% ya!
- tented
Hence P is always positive, @ is always positive, and PQ~ R* is always positive. Con-
sequently, the obtained path provides a minimum value for the integral V, within a range
that must satiafy the Jacobi test,175) A RAY IN A MEDIUM 259
(C) To take a specific example, suppose that
and (yee
where yp is a constant. (It is easy to see that no generality is provided by taking
wi 4¥ (24+ 92-429), where A is a constant, for the value of y2) The characteristic equations
de, dr
nat Gre
(on multiplying throughout by j, and writing +? for 2%+y*+2%), with two others. Multi
plying this equation by 2S and integrating, we have
(nn (By aa
(ud -1) S50,
and, simitary, :
cnn (Pao,
cen (BYaaoa
from the other two equations, with the relation
BHD mt
‘among the constants, when account is taken of the pe
de\t | (ayy? (ds?
Gi) + @)+@)—
‘These three equations manifestly are satisfied by
smasinim x(), ymbsing+A)=9(0, smesin (Cy) =¥(O:
no advantage arises from taking #=a sin (t+), because the explicit absence of ¢ from the
‘equations shews than an unessential constant (euch as y) can occur as additive tof.
‘The quantities arising as integrals of the subsidiary equations are
4(O=x’ © $1(0-# (© xs (= — bain 008 (t+)
4)" x ObO-8 Ox O= aeostsin(¢+8)
XO b30- $0) x= aboos teos(e+8)[”
(bu 4'0) xe =0
were x1 (0 2 (€s x8 Oh x4 @) denote 2X, 3X, x, 2 and likewise for @ and y: and
HO=X OWO-W Ox) & cos tsin 47) ~e sin con (C4)
a ~ 2 co sin (4-7) ein £008 (6+)
K=XOWO-¥ Ox na Secos tsin(t+y)
= thesia
IsD=y’ OVs)- HO xx(=0
I O=xO Val) — HO) x4 (0) ac 008 £008 (t+)260 HAMILTON'S CHARACTERISTIC FUNCTION AND [ox. v
It is clear that there are no simultaneous relations
Ay6s (0) + 4260(0)+ As8 (t)+ Aee()=0)
Ard (O4AsS2 (0+ 459s OF Aad ( |
with constant coefficients 41, 43, 45, 44; and that therefore the combinations 6, and 3,
6, and 9, 63 and 93, 6, and %, constitute four linearly independent integral-sets of the
subsidiary characteristic equations.
‘The clement of are is given by
(ti) =steotestteot coer ceot
0 that «is expressible by an elliptic intogral; the explicit value of # is imelevant to the
solution.
‘The actual path of the ray, as given by the equations
eaasing y=bsin(¢+8), emcsin(t+y),
is algo given by the equations
2
#2 cops faants
Be
Boon o#.
E22 omy + Senin y,
Zain o—7) +¥}siny—$ sin deo;
and therefore it is an ellipae, the section of either of the elliptic cylinders by the plane,
The function, which determines f, (the conjugate of the initial place t), is
Alloy H)=| (Gs (Gs Os), 0
Allo), Aalto» Astley 0
S(t), Hla 9» HCG)
MXto Malte 5 (60) |
= (x(t) 8 (to) — 82 (10) As (A) £91 (4) 94 (to)— 9s (a) HCH}
~ {8s (4) Os (ts) ~ 64 C0) 80 (4)} £92 (6) 9a (te) — 92 (60) (ED.
Now
8, (61) 85(ta)— 82 (4) 85(t)= a*Be0s 4, co8 4 sin (4 — 4),
4 (44) 8560) ~ 8 (te) 8 (4) = — a 008 (4, +8) C08 (to+8) sin (ty — he)
94) 9 (lo) Bu (Co) 94 (4) = ~ a fa 008 £ 005 fy +62 605 (4, +7) 008 (fy 7} sim (41 f)s
9a (64) 9 (4) ~ 92(4) 9 (64) ~ 24% 008 f, 008 sim (4,—f0) 5
and therefore
= (lay 1) =2%bA 008 ¢, £08 fo sin® (f,~),
=a cost, 008 fy +5? 008 (+8) 608 (fy +8) +08 08 (t,-+7) £08 (lo):
We are to have
Af
‘The merely algebraical possibilities {y=} and f1=4 are illusory, because ¢ is subject to
an additive unessential constant : moreover, the conjugate (if there is a limit) must be
related to f. Hence we must have
A=05
and thorofore, at conjugate points, the tangents to the elliptic path are perpendicular to
one another.175) MINIMUM REDUCED PATH. 261
(D) As regards the original integral
ae
v= de,
ce
‘wo still have to consider the terms at the limits.
By our general result (§ 198), whero the path is to end at a terminal surface, we have
2 enton to bo anise a ech extremity, hat
aes
of rend rey zoo:
consequently, the cures to eu each terminal surface orthogonally
‘The foregoing integral V, when it is exprossible solely and definitely in terms of the
final position x, y, 2 (and of the initial position z., yoy %) without reference to the mode of
passage from that initial position, is ealled the Characteristic Function®. We then have, for
Variations at the upper limit,
Vm ude,
that is, a :
BY a4 ays U aemry (dra. Y ayy Ht
wate dy TE demy (Gi ter M dys S de)
for all variations dz, dy, de at that uppor limit, because Vis a function only of the
variables of that limit (and of the lower limit, which does not affect the upper analytically).
Hence
av_ de aV_ dy Ov ds
Bede? By" Mae? Beh de
‘hick, expressed in the vocabulary of goometrical optics, shews that the ray is normal to
the eurfaces given by the level of the characteristic function, ‘The persistence of these
level surfaces, normal to a gystem of rays, was fitst stated by Malus.
® Again, wo have |
(y+) + Gy
from the foregoing equations. Hence, when pis given as a function of postion, the fore
going is a partial diferential equation ofthe fst order satistod by the charactrit
function V. Its general integral, obtainable by Jacob's method for the integration of such
‘equations in more than two independent variables, is of the form
Vase 4210, B46
shore a, 2, ¢ ate arbitrary constants,
‘Thocquationissatisfed for ll values ofthe arbitrary constants, andi therefore satisfied
when they are subjected toa small variation so as to become @-+e4, B+f, in the one direction, and also <4, in
the other direction, P, lying within the range from 1, to 4. Hence the178) ‘A GIVEN CHARACTERISTIC 267
equation
IM (to, &)=| xh) Fe- 9" (th) Xe, 92(t), 8b), Olt) |,
XG)-H'(b)Xe, M(t), (4), I(t)
0 + alte), s(t), x(t)
0 + Salto), Salt), Salto)
and three similar equations, determine g,, gs, gs, 9. uniquely as four finite
constants. As their values are now known, we infer the value of 7, and the
value of 7; and thus all the elements of the contiguous characteristic curve
are known,
Hence a unique contiguous characteristic curve can be drawn as required.
Corollary. If we were dealing with a characteristic as given in the
earlier form
$ (@, Ay, Ay As, Ad,
¥ (a, Ai As, As, Ad,
the corresponding conditions are easily seen to be
Omg, BD 4 9, HE (x) 5, Op ( to, 0),
ar a)
OA,”
+H
0 HE 9, AE 4 LD
a mn) a)
Yang ta oan Aa g A BBLS 9 ABO,
’ (2) a a a )
=e Ke AOD 9, Hg AH,
and the inference, as to the existence of a unique contiguous characteristic
curve, is made as before.
+96
+9
Integrals involving any number of dependent variables, and their
first derivatives,
178. The following results, analogous to those which have been obtained
for integrals involving two dependent variables and their first derivatives,
apply to integrals involving any number of such variables and their first
derivatives. Proofs can be obtained by analysis exactly similar to that used
for the simple instance, when there are two dependent variables.
An integral is given, involving n—1 dependent variables ys, -.., yx and
their first derivatives p., ..., Pq with respect to the independent variable «,
in a form
fre. Yes Pas Yor Pay vv0y Yous Pu) dee268 TESTS FOR INTEGRALS INVOLVING (cu. ¥
(A) In order that the integral may have a maximum or a minimum,
the n —1 dependent, variables must satisfy the characteristic equations
af _ 4 (af).
ue )"°
for 7=2, 3, 0.) n.
(B) When the limits of the integral are fixed by assigned data, those
data determine the 2n—2 arbitrary constants that occur in the primitive of
the characteristic equations. When a limit of the integral is not fixed,
so that a variation at that limit represented by £, ms, ns, -.-. 1m must satisfy
one or more equations initially prescribed, the relation
Arndt a
Pugh) + mg ben +mge
must be satisfied at each such limit.
When conditions (A) and (B) are satisfied, the first variation of the
integral vanishes,
(©) Let the primitive of the characteristic equations be
Ye= be (% Ay Arye A,
where A,, Ay, ...) Aoy-s are arbitrary constants, and r=2,...,n. Take varied
arbitrary constants Ap + eit instead of Aq, for m=1, 2, -., 2n—2; and
write
ay Oe
Also, let
af
20=25 Fan,
2 ay 2,
poo
+a
ef
+ 2250p
where the summations are for r and s,=2, ...,n, independently of one another.
Then the quantities 7, ..., m Satisfy the equations
20) d (20
bye de (Br) =°
n; and they constitute the primitive of these equations (called
the subsidiary characteristic equations), when @,,..., my» are taken as arbi-
‘trary constants.
(D) Let the small variations applied to the original integral be y,+ «tp
in place of y,, for all the variables, ‘Then the second variation of the integral178] ANY NUMBER OF DEPENDENT VARIABLES 269
can be expressed in the form ay
Be PeZapip
the double summation being taken as in (C); where
Yp=0y + 3 demas
=
and the equation
tra! + 2 dentine =O
holds for n — 1 linearly independent integral-sets
ay Make oy
of the subsidiary characteristic equations given by k= 2, ..., m
(E) In order that the second variation may have a persistent sign, either
always positive (for a minimum) or always negative (for a maximum) for all
weak variations, two tests must be satisfied: the extended Legendre test,
relating to the derivatives £& and the extended Jacobi test, relating to
the range of the integral.
(F) The Legendre test may be stated in various forms, The form, that
seems simplest for inspection, is to require that all the inequalities
Of of (OF
apni pe (Grd)
shall be satisfied for all combinations of r and m, = 2,
Op? Opt
most all have the same sign, and are not to vanish anywhere in the range.
When the sign is positive, the integral admits a minimum when the sign is
negative, the integral admits a maximum.
(G) The Jacobi test limits the range of the integral so that, beginning
with a lower limit a, it shall not extend as far as a (greater) upper limit «,,
where 2 is the stallest root «,, greater than z,,of an equation ® (2, ¢,) =0;
and this quantity © (z,, 2) is
| ao), dao),
| ba) baler,
|
| Palm), bua(a),
$u(%), Gala),
hn (%), han(a)y
Pama(m) |,
Ps, mn-a(m)
‘Pn, maa (mi)
> $s,e-2(%)
$5, maa (ts)
bm (%), Pan (a)s Pn, na (ta)270 ‘TESTS FOR GENERAL INTEGRAL [ca v
= 2bm(@, Ar,
eed eee
(H) There are corresponding theorems for the integral, when it is taken
in the form f Fis 4:1, Ys Yes os Yas Yu), where the integrand F satisfies
the identity
OP ar
Pay Tit te FeCHAPTER VI.
INTEGRALS INVOLVING TWO DEPENDENT VARIABLES, WITH DERIVATIVES
OF THE SECOND ORDER: SPECIAL WEAK VARIATIONS,
First variation of an integral.
179. We proceed to consider (but with merely brief developments)
integrals which involve one independent variable, two dependent variables,
and derivatives of the latter of the first order and the second order. The
typical integral can be expressed by
[[Link]
with the customary limitations on the function f. The enquiry is as to the
conditions under which this integral can assume a maximum or minimum.
In the present chapter, we shall deal almost entirely with special
variations. Thus, we except « from variation, save at the limits; there,
variation may have to be imposed on «, in order to admit the possibility
of mobile limits, unfixed specifically by express data, We suppose y and 2
respectively changed to y+«Y and 242, where Y and Z are regular
(thongh arbitrary) functions of «, independent moreover of x. ‘To include
the instances of mobile limits, we suppose the upper limit to become a, +«U;
and the lower to become 2, +U,, where U, and U, will govern variations at
a boundary curve or on a boundary surface: these boundaries being supposed
given when the extremities are not fixed. ‘The completely varied value
of the integral is
jeetet
jes S(O YH RY, +HY' "$0", 24 el, E+ KL, +4") de.
By arguments precisely analogous to those in the preceding investigations
(such as in §§ 32, 82), we can express the variation of the integral in the
form
ef (d+ vier) + (Lea Len Bhac
+e (Of Uf) + Ks,
where f, and f, are the values of f(z, y, y's y’, 2, 2, 2") at a and at a
respectively, and where K, denotes the aggregate of terms of the second and272 CHARACTERISTIC EQUATIONS [ow. vt
higher degrees in x. Now
[rv Bane [PRT -f eG)
fede eral
and similarly for the terms in Z’ and 2” in the foregoing integral. Hence
the full variation of the integral is
LE g- a(a)* B@)+ aff z@) +E) a
sal oper (Z- 2 (Her G+2i8- a Lire ze +Ky
Characteristic equations: terminal conditions.
180. In order that the integral may possess a maximum or a minimum,
the first variation must vanish for all admissible variations; consequently,
each portion of that first variation must vanish, when it arises from variations
absolutely independent of all the others. ‘Thus, first of all,
ile-s
RE B-a@) GP) 8a @)+ eG
and therefore, as «Y and xZ are independent of one another and are arbitrary,
we must have aye x)
ieliy)* da Gy) -°
f-a (2) iG _
These are the characteristic equations, current along the whole of the
skew curve which is to produce a maximum or a minimum ; and they deter-
mine the nature of the characteristic curve.
181. Next, we bave
[are rae ea) +e elo
It is possible to have a variation at a mobile limit, quite independently of all
variations (if any) at the other limit. Hence the relation
Uf+ +e rr he iy £@}+ +a tn 0
is satisfied at each limit.
‘The quantities Y, ¥’, Z, Z' belong to a terminal variation of the
characteristic curve along the #-ordinate alone, while the actual variation181] TERMINAL CONDITIONS 273
at the limit takes place along the boundary curve or on the boundary surface.
If then V and W be quantities along this boundary as determined by the
quantity U, the former analysis (used in § 86, ii) shews that
Ye=V-yU, Z=W-¥zu,
YaV-yU, Z=W-/0,
When these values are inserted, the condition at each limit becomes
Lo £@)-“- £88]
. viz ae f+ wiZ-E B+ rbewd io
(j) When the limit lies on a boundary curve, the equations of which are
y=9(2), z=S(2),
VaG@)U, W=9@U.
Also, for this boundary,
we have
y¥=6@), #=9@),
Vi =6"(2)U, W'=9" (aU.
When these values are inserted in the foregoing relation, and when the
terminal point is not fixed so that U is not zero, we have
’ {af _ a . ey @
ae) ee eG }- 9" ea (&
” 9
-e- 9%
Conditions of an intermediate type might be assigned. Thus, if the
extreme point were fixed in position but free in direction, we should have
U=0, V=0, W=0,
from U=0, ¥=0, Z=0, while ¥' and ” are arbitrary; then the resulting
conditions are
and so
which must be satisfied at the limit,
If the extreme point is fixed both in position and direction, then
Y¥=0, Z=0, Y’=0, Z'=0,
at that rigorously fixed extremity.
(ii) When the limit lies freely on a boundary surface, the equation of
which is
S(@y,2)=0,214 PRIMITIVE OF THE [ox. vr
then for any direction on the surface at a point,
78,
ay f+
Consequently, we have
- as
sy BU + 5s W=0,
rs
#8, BS, eS #8 7S, , OS
+u(Stys mayt? # Be) tT snag + Vat oe)
SOS | OS
+w (Sete aye * a) =
[At the limit of the range, we therefore have
¥_ 4%) _ 4 (Hp
9 ale) ae) 9 ap oP
es (7S eS as
(+9 geay +” game) * ae
af aa as ,28), a8
£-aly) a +2 Fae) Fay?
a d (a as , gos os
BiG) Gare Y jyae* 2 ree
x
yoy
of 28
ae” = ae°
Similarly for conditions of an intermediate type.
Form of the primitive of the characteristic equations.
182. ‘The primitive of the characteristic equations
F_ ay, @ (#9 ¥_ 4%
ay de (#) . zeley) % ae FAC)
ie required, When we denote derivatives of f with respect to y, y', ’,2, 2”
by subscripts 4, 5, 6, 7. 8,9 respectively, a to the conventions
-te
nha, gbgem foo
and so on, the characteristie equations take the form
Saal” + Seat” + feb "+ (Fol + fafa) 2" + 1 = 0,
Soy” + fot” + (foo + fa —So) y+ fol 2” +. = 0,182] (CHARACTERISTIC EQUATIONS 215
where the unexpressed terms do not involve y””, y”, 2”, 2”. For reasons
which will appear later, it becomes requisite (i) that fy and fy shall have one
and the same uniform sign throughout the range of the variable «, and
Gi) that the quantity fufo— fut shall be uniformly positive throughout that
range, Denoting this positive quantity by o, the equations (resolved for y’””
and 2"”) give
oy” =— 9" fufes — foa Fal + fa —Fu)} 2" | So fo! + fa fa) ~ Safad + os
on = — "| fea Sal + fa —Ju) — fafe') ~ 2" (Safe! — Su fu + Sa—Ju)} + os
where the unexpressed terms do not involve y", y”, 2, 2".
When « and its derivatives are eliminated between these equations in the
manner used in § 136 for a simpler ease, the final equation in y is of the form
dy dy ).
a7 function of (
Its primitive involves eight arbitrary independent constants; and, if these
are such that, when 2=a,
a5 = br, (for r=0, 1, ..., 7),
then
Yeh ah (oar Fienay tn th ena teayR,
where F is a function of by, .... b;, and is a regular function of 2—a. After
this value of y has been inserted in the equations that lead to the elimination
of 2, they provide a value of « which is « rogular function of «—a, involving
the eight arbitrary cooflicionts by, ..., by.
Similarly, when the equations are combined so as to lead to the elimina-
tion of y, we are led to an equation of the eighth order in z alone, the primitive
of which involves eight arbitrary independent constants, If these were such
that, when 2=a,
ae
er, (for 7=0, 1, 0.4.7),
then
Feqten(e—a)+ 3 (e— a} +...+ F(e— ay + (o— ay,
where $ is a function of ¢, ..., ¢ and is a regular function of «— a. By using
‘the equations that lead to the elimination of y, the value of y is derived as a
regular function of «— a, involving the eight arbitrary coefficients ¢y, ..,¢
‘The two simultaneous values of y and 2 in the former case, and the two
simultaneous values of y and z in the latter case, constitute separately the
primitive of the characteristic equations.” They are, therefore, equivalent to
‘one another. But there is another form of the primitive, evenly balanced as276 PRIMITIVE OF CHARACTERISTIC EQUATIONS fo. vr
between two sets of constants associnted with the arbitrary values, assigned
to y, to s, and to their derivatives, when e=c; it is as follows. We take
a dp,
pd, wae,
ds dq,
a=% gp
and then the second form of the characteristic equations is
ap,
dn, =P 8G Ys 2 Pas Pas Pas Gs Gor >
Hm Que, Ys 4 Par Pas Par Dr Ges )-
We thus have eight equations. There exists a primi
equations such that, when 2=
Y=, PAG, Pr=dy Pras,
25%, h=A, GM, =A,
ve of these eight
where ay, ds, day 45, 4, 4%, &, &y are arbitrarily assigned constants, indepen-
dent of one another, provided the functions P, and Q, are regular in their
immediate vicinity; and the primitive expresses the eight variables y, p,, Ps, Ps»
2, 91 Ya» 4s 88 regular functions of «—a. The expression of this primitive is
Y= y+ a (@— 0) + $3 (@— aP + F (@— a) + (2—a)G,
s=aq+m(e—a)+ Fi @- art Fe- ay +@- ayy,
where @ and H are functions of the eight constants a, dy, day ds, @, &, 4, %»
and are regular functions of « — a; and the values of p,, Pas Pas drs qos 4x ATC
derivable from those of y and z, by the first six equations of the set of eight
above. Each of the two foregoing primitives is equivalent to this new primi-
tive, Manifestly we have
%, b=, b=a,, byes,
=O, =H, =O, =A}
also by, by, By, by are functions of do, dy, day My, Mo» &y My as; and similarly for
C4 Cay Cas Ope
Properties of the primitive of the characteristic equations.
183. Some properties of this primitive may be established at once.
In the first place, there are no linear relations of the form
°,
5 4.6.(0)-0, 3 Ave183] INDEPENDENCE OF PARAMETRIC DERIVATIVES 207
‘with constant coefficients A,, ..., Ay, where
ov = pel =2Y)
HO, =H, d=, o (=H
t= 2, do=%, doa, paz
a ae ae :
Ho-rZ, Wo-%, work, wo-¥
HORE, Wo, woO-%, wo-¥
We have
earth , (om 07 By
— Se ay * ee ee Bat a get a Se
(e@- aa 4 Ea aF by ert ay aby 4@z or a
a ea rear 1a Da eG eect mt
ye (w-ay' ab, , (a
eee at 7 tei
(=a) a, | (w= a) abe eran a ay
"41a, ST 8a,* 61 da, * 71 BOO :
$@)= wae + (on ap
$(o)= (yards eae e973 Fi
He= erar the ( oar os + (e— ap 3h
If an identical linear relation
3 reGe(a)=0
could exist, in which the coefficients \ are constants, manifestly
M=0, m=O, =O, =O,
80 that the terms (e— a, (e—a), (2—a)', (@—a)' may disappear from the
identical relation. And Re
a
NRE ge ge te °
Ob, a, &
ret a rd rnZeno,
by ab, a
Dedat ad +B ta
mB an atte tah278 st
sIDIARY (cm. vt
so that the terms in (e—a), (e—a), (#—a), (@—a¥ may disappear from
that relation. The determinant of the cocfficients of As, Ae, Xr, Ax on the left-
hand sides is
by, Ds, be, by
oerare)
If this could vanish, we should be able to eliminate a, a,, a, 4 among the
relations:
bg, bs, bs, by = functions of ay, dy, My, ds, My, Oy, Gay Ms,
and have a resulting relation
Qty aay ey Bay Bos Bas By) = 0,
that is, a relation a
Qos Bas bay Bas Day Bas Bay B=
contrary to the hypothesis that by, 0s,
stants. Thus the Jacobian J(
, , are independent arbitrary con-
by, bay bes by
Cra
foregoing relations can be satisfied only if
As=0, A=, =O, =O.
Hence all the constants 4 are zero. No linear relation among the functions
$1 (@), «++, ds(a) can exist, with constant coefficients,
Similarly, no linear relation among the functions ¥(2), ... Yu(2) can
exist, with constant coeficients.
}) does not vanish; and s0 the
‘The proposition is thus established.
Subsidiary characteristic equations.
184. The curve—manifestly a skew curve—which represents the primitive
of the characteristic equations is called the characteristic curve. ‘The differ-
ential equations are satisfied by the primitive for all values of the arbitrary
constants; and therefore they are satisfied when a small variation is effected
‘upon these constants, the variation being as arbitrary as we please. Accord-
ingly, we take a small variation
Ay + HDs» Gt KGay Gat KGsy s+ KGe, FOF dy, dy day ds»
GF HGs, AKG, Ay AKGr, Ast KYss +++ Moy My May Ooy
in the constants, where g,, .... gs are themselves arbitrary constants. When
we denote the changed values of y and z by y +n and z+«f, we have
a2 oda t= Sov,
when « is made very small,
But the curve given by yan and +f, as arising out of y and s through
the small variations of the arbitrary constants, is also a characteristic curve.
The differential equations satisfied by y +n and 2+ «fare the same as those184] CHARACTERISTIC EQUATIONS 279
satisfied by y and z: and therefore parts of those equations, which appear as
increments through the changes of y and s into y+en and 2+, must
disappear. To express these increments, let
22 = far? + Yan's" + fal
+2 fala + fo 5" + foo" + fob'S")
+2 (fan + fond” + forth" + fa")
t+ fan + Bar's! + faa
+2 fant! +fand + fab + fatty
that + York + fad
The new value of Lis
Fe (LyrZ c4 Digs Boe te Oh
Sth apes tayay Tape © + apie’ + oe’),
on neglecting squares and higher powers of «: that is, it is
= Let fant Seb fal +fak! + fa” + Sab’)
Ff, 2
eB.
The new value of ¥ is
and the new value of &
‘The first of the characteristic equations now is
a and fa an @ a an
a Z H+ 0S) + ga (tees) a0,
and it is to be the same as the first of the characteristic equations in its
original form, Hence
an d san @ 722
Sn” de (Be) as (a) =°
Similarly, from the fact that the second of the characteristic equations is
unaltered, we have
and fa @& 7a
ae ae Ge) + ae (er) =
In these equations, the twenty-one coefficients fig, (for m, n= 4, 5, 6, 7, 8, 9)
initially are functions of y, y, y", 2, ¢, 2", As we are deducing another
characteristic from the curve initially supposed known, the values of these280 PRIMITIVE OF SUBSIDIARY EQUATIONS [on. vt
six arguments as functions of # are substituted in the said coefficients, which
thus become functions of « alone, Consequently, the two equations
£2). £(@2)=)
gle) ar) ~°)
are linear equations in and £ as the dependent variables, with coefficients
that are functions of «, As the equations have been derived from the original
characteristic equations by small variations, they are called the subsidiary
characteristic equations,
Primitive of the subsidiary equations.
185. When the equations are expressed more fully by substituting the
explicit values of the derivatives of 2, they become
Fa” + foss” + fo” + (Sul + fafa) 6" +»
Fast” + faa + Sea + Safa) 0" + for 6 +
the unstated terms being linear in 7, 7, 9, £¢', §". The earlier discussion
shows that the primitive of these two equations contains eight arbitrary
independent constants, ‘The equations are linear in the dependent variables ;
hence these arbitrary constants occur linearly in the primitive, Thus we may
take the primitive in the form
8 &
n= = gm f= = arte,
where 7, and f, are an integral-pair for r= 8, and where gh, +... gs
are arbitrary independent constants, provided the eight integral-pairs are
linearly independent : that is, provided linear relations
£ Anno, $ 4-f-=0,
a m
with constant coefficients A, do not exist.
But we have seen that, when y and 2 are known integrals of the character-
istic equations, other known integrals of those equations can be derived by
small variations of the arbitrary constants in y and z, so as to give
yte abe (@ 240 > mre)
Moreover, it has been proved that simultaneous linear relations
$ xde=0, E rvela)=0,
with constant coefficients A, do not exist. Hence we may take
n= br(a), b= Yr (es186) PROPERTY OF GROUP OF INTEGRAI-SETS 281
for r=1,..., 8; and therefore the primitive of the subsidiary characteristic
equations is given by
aa Sader t= 3 one
where g,, ..., gs are eight independent arbitrary constants.
Invariant property of « fundamental group of integral-sets of the
subsidiary equations.
186. Consider the determinant constructed from the eight functions
$r(a) and the eight functions y,(2), and from their first three derivatives,
the diagonal leading term being
H:" (2) Ba" @) $s (@) BA(2) Wu" (2) Ya! (2) Hy (@) al).
Let the value of the determinant be denoted by V. Then a is the sum
of two determinants of eight rows. ‘The first of them has
G1" (@) he" () ds (2) ba @) Ys" (@) Pe" (Ve (@) Ye),
for its leading term ; and the second has
Bi" (@) 1" (2) by (@) ba@) Ye" (2) We" (2) We (@) Ya(@)
for its leading term. Now ¢,(2) and (2), for r=1, ..., 8, are an integral-
pair satisfying the subsidiary characteristic equations: and therefore, for each
such integral-pair,
Fabe” + fase” + fod Ge" + (fo + faa) Ye" + 10 = 0,
Sabet fase + Sas + fa~ Fo be" + Sal Yr + = 0.
Consequently
ae” + | fas Fn— Seal So’ + Fra — Sea)) $e" + { fal + Sra Sn) fasfoo | Wo" +=. =,
ob + | Sa Sal + Fea Jea) —SraSe\ $e" + | far’ — Ser fo + Far fu)} Yo
where o denotes the quantity fu/a—fe% When these values of $,"” and y,/
(for r= 1, ..., 8) are substituted in the two determinants that occur in the
0,
“on for &
expression for =, we have
° a =~ (ot fu— Fou ful +- fa fu)} V - (Sahu! ~ fo ful + fafa) Y
de
--v
and therefore
Wo = constant.
‘Now ¥ cannot be zero, because linear relations
3 4,4-(2)=0, Save) =0,282 PROPERTIES OF COMBINATIONS OF [on. vr
with constant coefficients 4, do not exist. For reasons that will appear sub-
sequently, o is always positive throughout the range of integration. Thus
the constant, which is the value of Yo, cannot be zero; let it be denoted by 0.
On the other hand, Cis not an arbitrary constant; for, when the character-
istic curve is settled, no new arbitrary element enters into ¢ ; and the functions
$,(a) and ¥, (2) are specific. Thus C is a specific constant, different from zero,
and dependent upon the specific choice of the integral-sets ¢,(2) and -(z)
of the subsidiary characteristic equations. Hence we have
Wo=0,
where Cis a specific constant, Consequently, the function W(z) does not
become zero or infinite within the range of integration; it keeps the same
sign throughout that range,
Moreover, this result is substantially independent of the particular choice
of the fundamental system of eight integral-sets $,(2) and ,(2), of the
subsidiary characteristic equations, If another fundamental system of eight
integral-sets, x, (2) and «, (2), were chosen, we should have relations
aee)= 3 habe)
rte) = 3 kevvr(a),
for r=1,..., 8, where the determinant |r| of the constant coefficients k is
different from zero. ‘Then
¥ Le), wr a] = Leal ¥ (0), Yo)
=lknl 2,
so that the result of changing from one fundamental system of eight integral
sets to another such system is merely to change the specific constant value of
the funetion Vo,
In fact, the function V (2) is covariantive for all forms of primitive of the
subsidiary characteristic equations,
Particular properties of combinations of integrals of the subsidiary equations,
187. A fow properties of the subsidiary — equations
Ge
can be established at this stage, with a view to their use in the later reduction
of the second variation to its normal quadratic form,187] ‘TWO INDEPENDENT INTEGRAL-SETS 283
We denote by Q, the result of substituting 9, and & (for r=1,...,8) in
place of 7 and £ in the quantity ©. Then we have, identically,
he 1 2Me 4 BD | Oe, 4, 2%y 9 By
1 Fat ane TO ange Sag, + 8 age + 8" see
20, 20), 8, 20 |, BM
IGG EM Fal tM Girt Segg +O Bett Eset
because each side is equal to one and the same quantity, lineo-linear in the
two sets of quantities m, and &, n- and f, and their derivatives. But
1 a Brg 2 sf ZH
wale de eh mee:
with similar modifications for the other three combinations of terms. Hence
one de) + By fee ad (op) + 8a
-of- 2 pen Bre A LDL eM,
where ©, is a constant, obviously specific and not arbitrary.
When G, is not a zero constant, we can always take another integral-set,
7 and f, such that the new constant for the new functions is actually zero.
Let the foregoing relation be written
90, NHAC, 1) +0,
Take another integral-set, n and , linearly independent of m, and &, and
linearly independent also of 9, and £,; combining it similarly with 7, and £,,
we have
g(Q, s)=A(1, 8)+0,,
where C, is a constant, The unfavourable cirumstance would be that C,
should be zero. In that event, we take
m= Cane Cone b= Orb — Orbe,
s0 that m and £; is an integral-set, linearly independent of m, and £,, of
and £,, and of m, and {,. Then, for and £; thus defined,
gL, J=h(, 0,
a combination of n and £; with , and £,, such that the specific constant Cis
actually zero.
‘As any integral-set is linearly expressible (with constant coefficients) in
terms of the eight sets in a fundamental system, we clearly may make n, and
$+ take the place of 7, and £, in the fundamental system. Moreover, », and £,
were taken to be any integral-set, linearly independent of 7, and {, and of n-
and {,; hence, even if C, were not zero, six choices of integral-sets are possible,284 SIX RELATIONS BETWEEN [ow vi
after m and {, n, and £,, have been chosen, such that the specific constant C
for the combination is zero. Hence we have the theorem* that an integral-
set m and f, can be chosen in a number of ways so that the relation
“(= 2 Gojoe 2 CB a
h h 7 2D, an, a 0a,
no -£ Bow Bbc LGB] oe
holds, where the set n, and &, is distinct from the set n, and &.
Six fundamental relations.
188. The foregoing analysis shews that it is certainly possible to make
six selections of integral-sets »- and f,, linearly independent of m, and &, such
that the foregoing relation holds for each selection : let these sets be denoted
by t=2, 8, 4, 5, 6, 7, s0 that, for these values
9, )=h0, 0.
Now take m, and & as an initial set, and let m denote any one of the
integers 8, 4, 5, 6,7. As before, we have
92, m)=h(2, m) + Br,
where By is a specific constant. Should By not be zero—and we shall allow
the least favourable circumstances, by assuming that no one of the constants
By. is zero—we take new combinations
Byrn — Buin = Your BuSn— Bubn = ms
for m=3, 4, 5,6. Combining (i) m and & with yp and zm, and (ii) m and &
with y,, and s,,, we have
g(1,m)=h(1, m),
9 (2, m)=h(2, m),
for m=3, 4,5, 6.
Lastly, take y, and s, as an initial set, and let n denote any one of the
integers 4, 5, 6, ‘Then, as before, combining y, and z, with yq and zq, we have
9 (3,n)=h(3, 2) + Oy,
where C, is a specific constant. Should Q, not be zero—and again we shall
allow the least favourable ciroumstances by assuming that no one of the
constants C,, is zero—we take new combinations
Cogn —Cnye= Vn, Crtn—Cnte= Zn,
for n=4, 5. Combining (i) 9, and & with Y, and Z,, (ii) ye and 4 with Yq
and Z,, and (iii) yy and z, with Y, and Z,, we have
90, n)=h(1, 2),
9 (2, n)=h(2, n),
9 (8, n)=h (3, ),
for n= 4, and n=5.
“In ite present form, it is an extension of the theorem, proved in § 148 and originally due
to Clebech,188] FOUR SELECTED INTEGRAL-SETS 285
Alll these integral-sets 7, and &, , and &, ys and z, Y, and Z,, Y, and Z,
are linearly independent of one another. The fundamental set of integrals,
for the linear expression of ali particular integral-sets, can be modified so as
to include, in an altered aggregate, these five sets; and this composition of
the fundamental set has been made in the circumstances least favourable to
our present aim,
‘We now take any four of the five sets, which certainly possess the specified
property. Let them be 7, and &,, for r=1, 2, 3, 4: we have six relations
AM, _ d (ADn’ 1 8D, AQ, _ d (20, ' +1 82,
1 Gna (it) BB ed ~ de (Se
dz Oh de
AQ H 1 32, (285 a (@ } 22,
[bm de \Em”)
, 2, 3,4. We take them in turn for
(Bett tm Spee + bo +h ae
for the six arrangements out of m, 7,
the arrangements m,n, =1,2; =2,8; =8,1; =1,4; =2,4; =3,4.
First, multiply them in respective succession by
|™ mi, [ae My 1 Te a | » ms [ee .
Io &l 1h & be & bar bs b& & b, &
and add. Then
Seem &l4| Bo ms & [=0,
ee (oe
See me BFE Be we &
Beam 6) | eo &
an, ’ ”
an? Te be age? bm G
which may be briefly stated in the form
Bye mm Ble Bo
Secondly, multiply them in respective succession by
bi be
i, &
, 8; = 3,1; = 1,2; and add. Then
60, d an, -
nt ae (Ggt)
‘Thirdly, multiply them in respective succession by
m, S|,
ar
1,4; =2,4;
mes we [+286 RELATIONS BETWEEN INTEGRALS OF SUBSIDIARY EQUATIONS (CH. VI
for the same combinations of | and r; and add. Then
Fons te le] BRE), os me t [a0
Fourthly, multiply them in respective succession by
| oom I
oom
for the same combinations of / and r; and add. Then
Bos ee ne] BE (Ee), & won [=0
Fifthly, multiply them in respective succession by
wm l
ms Te
for the same combinations of | and r; and add. Then
an, amd @)
ag fm a+ ‘9G ~ dela) om
Sixthly and lastly, multiply them in respective succession by
ms oF |
nes be
for the same combinations of ! and r; and add. Then
oo de ee aye
Bee). mi Bo m+] Fe dese) mH & [=O
First variation, by the method of Weierstrass.
189. ‘The second variation of the original integral will be considered only
for the special variations y +«Y, 2+#Z, of the variables y and s, while 2 is
loft unvaried save possibly at the limits. ‘The whole problem will not be dis-
cussed for general weak variations, We shall therefore now deal with weak
variations which affect all the three variables «, y, 2, only so far as the first
variation is concerned. The investigation is desirable, not least because the
customary analysis for skew curves gives no preference to one of the variables,
over the other two, as the independent variable. ‘The characteristic equations
and the terminal conditions will be identified, for the special weak variations
and the general weak variations: and a proposition as to the continuity of
certain quantities through a free discontinuity will be obtained, But that
will mark the limit of the detailed use of the Weierstrass method. (See § 206,
for statements of results.)189] GENERAL WEAK VARIATIONS 287
We make a, y,2 to be functions of a new independent variable t, which can
remain unspecified intrinsically; after characteristic (and other) equations
have been formed, we frequently can select s, the length of the are of the
curve from a fixed point, as an intrinsic independent variable. Moreover, this
mode of proceeding enables us to deal with strong variations where, as will
be seen, the ordinary ‘first’ variation and the ordinary ‘second’ variation of the
original integral do not occur. (‘The subject of integration does not admit of
expansion in powers of x for strong variations, because these imply abrupt
changes of the arguments.)
Derivatives of 2, y, 2 with respect to ¢ are denoted by suffix numbers;
thus
de a
or
and similarly for y and for z, Hence
a
eee 1
P= BG Ne) 2” =F (ee— a0);
and the integral f [fe y, v9". 6 ¢, 2") de becomes
fre, By as Ys hs Yor Fu He) db,
where
FE, 1H Yrs Yor BA AaB (EY YY, 2 2,2").
As in earlier instances (§§ 38, 97, 156), the funetion F satisfies identities,
expressible in the form of partial differential equations. We have
ar
Oa,
ar
ay
ar_
z.288 IDENTITIES SATISFIED BY INTEGRAND {ew vr
Consequently, two identities are to be expected after the climination of f, be
af af of
we j and they arc*
or or oF
a an +h May, +as- Da oO
OF Pa 5 OF a on 4 oy OF 4 00, OF
F= ag tM ay, tHe, + aa + Hay, 7 ns,
Moreover, we have
and therefore
and, similarly,
~h)-te- ae):
Further, we have (by the second identity)
ar OF 2 0F grok
Be, 7 a Oy, 8, Biey
,oF oF
ee
OF oF aF.
on substituting for 5, Fy ge,3 aso
so that,
vin a a ug) -* oi we
4 ( Wh 1 Of
--1a%, EG) Vee
"If they are regarded as simultaneous partial equations of the first order for the deter.
rmination of an unknown quantity ¥, their most general integral is
(ey AMEpe, 4 a, aan)
wu) ~
Ras le BYE
arbitrary fonction of its arguments,190] CHARACTERISTIC EQUATIONS 289
consequently
aP a (aR) _ Fd (aP OF dry .% a
baa (in) “SY fon ~ su)h~* fie a }-¥ ay ~ a”
= af _ a (¥)_,(er_a Apa
1 ble? B- EO} -v Eek.
‘These results will be used in connection with the terms at the limits, arising
out of the conditions for the evanescence of the first variation of the integral.
a2,
Transformation of the first variation: characteristic equations.
190. The varied value of the integral fray, when @, y, 2 are changed into
u+nX,y +e, 2442, while « is a small arbitrary constant, is
frcetex, a teXy, wale, yteP, wreaks, yt e¥,
Btnd, thy, t+%B,) dt;
and therefore, when the function in the latter integral is expanded in powers
of x, the increment of the integral is
[(y oF oF oF OF aF or
el(x Ge Migg, thie ty Mgt age
OF or OF”
FATA +L) de K,
where K represents the aggregate of terms which are of the second and
higher degrees in x. (As the variable ¢ is parametric for the curve, and
account is taken of variations of « as well as of y and of z, the limits in the
two integrals are the same,) Now
oa [ee] Fa Ge)
oF oF d (aF\ @ (aP .
aoe [2-74 Q)] +{¥ ge (Ze) a
hence the part of the foregoing integral, dependent upon the quantities
X, X,, %, is equal to
(ar d (oF) @ yy @F d /aFy) oF
[efi aG) +a Gt a+ [a ES (eene].
where the terms outside the integration are to be taken at the limits of the
original integral. The parts of the integral, dependent upon Y, Yj, ¥, and
upon Z, Z,, Z, respectively, are to be modified similarly; and so the integral,200 [TERMINAL CONDITIONS [ou vr
expressing the first variation, is
fo, + YE, +2ZE,) dt
Fd (Fy ard (OF)|, , {OF _ a (a
+ E-a@) Be -2G)} tea Ga)}
aP , y aF , 72
+Xige + Ni5y + aay,
where the terms in the second line are taken at the limits, and
oF d (aF\, d aF
Bene Gn) * ae Ge)
oF d (aFy , d& (aF
By 55 a (ag) +a Gn) F
OF _d aF\, @ (oF)
ear +2@)|
In order that the original integral may possess a maximum or a minimum,
its first variation under weak variations must vanish ; and therefore the fore-
going expression thust vanish for all admissible variations. The part of the
expression, comprised by the integral, must vanish by itself; because there
are variations, zero at the limits and not zero within the range. For such
variations, the terms at the limits vanish; while, subject to the acquisition
of zero values at the limits, X, Y, Z are arbitrary quantities within the range,
varying independently of one another. In order that the integral may vanish
for all such values of X, Y, Z, we must have
E,=0, By=0, &,
which (as usual) are the characteristic equations,
Terminal conditions.
191. Next, for the terms at the limits when variations, other than those
{just indicated, are imposed, For these, the portion of the first variation, com-
‘prised by the integral, vanishes because the characteristic equations must be
satisfied. Among the variations, the set must be included which impose no
change at the lower limit; for them, the terms at the upper limit must
vanish, that is, the condition
xe ae
+x fF SiGe)} + fig aelon)) +2 eae Gam
must be satisfied for such variations as are possible at the upper limit.192] ‘TWO EQUIVALENT CHARACTERISTIC EQUATIONS 291
We similarly infer that the same condition must be satisfied for such
variations as are possible at the lower limit,
It thus appears that, in order to secure the compulsory zero value for the
first variation, (i), the three characteristic equations must be satisjied; and (ii),
the prescribed condition must be satisfied, at each limit separately, for such
variations as are possible at the respective limits.
The three characteristic equations are equivalent to two.
192. ‘This investigation shews that three characteristic equations arise
which must be satisfied: the former investigation (§ 180) required only two
such equations. But for the form of integral now under discussion, the func-
tion F satisfies two identities, whereas the function f of the former integral
was not thus restricted. It is easy to prove that, in virtue of these identities,
a single relation connects the three equations, We have
aF_ OF oF, oF OF oF, aF, OF oF ar
De TM ay TH Ge te, TMG, t Hae, t GG, tM Te
whatever be the form of a function F as involving arguments 2 ri, Y, Yin Yor
2,214, Because of the second identity satisfied by the function F,
Genie ae Ge) +8 Gp) to)
(ak
+ 2nge tong + nF 4208 BE) + ang) +245 (2)
Let the two values of 4 be equated: then
ofS) +n SCD] fE-400}
not 42nd (2) + 5p +20 (Se) tage +208 (MP)
wte(Oam tae) -8 dG) ae Ge) ae):
and therefore, because of the first identity,
2B, + yEy +E, =0.
‘That is, the three characteristic equations are connected by one relation; and
80, because of the two identities satisfied by F, they are equivalent to only two
independent equations, the number of characteristic equations when the tn-
restricted function f is the subject of integration.292 COMPARISON OF TWO SETS OF TERMINAL CONDITIONS (CH. VI
Comparison of terminal conditions with conditions in § 181.
198. Further, the form of condition at the limits, which (§ 191) has been
obtained, can be harmonised at once with the earlier form ($181). The new
form of the condition is
Fy WF, F
MeN tage
OF_d QP), -QF_a ary), ,F_a
+2 ae Ear PF a a ES
Now
Bn) SY fp ~ ae (op
ar 2 @ -¥-2(%),
j-th
ay, dE Gy) ~ dy’ dey’
oF 4 (2) =-4-2(%):
G2, dt \de,/~ 2 da \ae")?
also
or F_ 4 0F ar
aa, yew, Be, Y By,” Oe,”
so that
oF oF ar oF
KEM tags ny
For comparison with the earlier form, we have
X=U, Y=V, Z=W.
‘The change in the value of y/ is
nteh_w
ateX, wy
=5@M- 2X) +
neglecting powers of « higher than the first: thus
Vine L(Y -¥X),
so that
Yi-yXaav,
and therefore
ar ar
7 (= YK) aE
Similarly, r
2x) e194] DERIVATIVES CONTINUOUS THROUGH FREE DISCONTINUITY 298
When these values are substituted, the agreement between the expressions
for the conditions at the limits of the integrals in the two forms is complete.
‘Tho detailed inferences from the conditions, according as an extremity of
the characteristic curve (corresponding to a limit of the integral) (i) is fixed
in position, with or without a fixed direction; (ii) is obliged to lie on a
boundary skew curve, with or without restrictions as to direction; or (iii) is
obliged to lie on a boundary surface, with or without restrictions as to direc-
tion: are, all of them, the same as in § 181,
Continuity of certain derivatives through a free discontinuity on
the characteristic curve.
194. It has been assumed that no point of discontinuity in direction, or
in curvature, or in both direction and curvature (but not of actual currency),
of the curve can occur in the range. Now suppose that some such place
occurs; the course of the argument will be seen to allow that a finite number
of such places may exist. At each of them (it will be sufficient to prove the
properties at one of them), the quantities
ar aF_ ag) oF OF_d Py aF oF ¢
dm’ Gx, dé\Ber)" dy," dy, dé Bye)” B25" de, ~ dt NB)’
are unchanged in passing through an isolated free place of discontinuity.
Let any such place be given by the value 7’ of the independent variable t.
Let ¢’ be any place just before 7 and ¢” any place just after 7, so that
t arb’, ayn, % arb,
va re ma a
vanishing simultaneously in the range. Therefore the range must not extend 80
far as the first value of x, greater than the initial value 2, for which these
“four quantities simultaneously vanish. Thus we have a possible upper limit
for the range, and denote it by 2, when there exists such a value of «; and
then the Jacobi test makes ©, the upper limit of a range which has 2, for its
lower limit. ‘The range of the integral, consequently, is not to extend so far
as the conjugate of the lower limit.
We must obtain the analytical determination of the upper limit «,, to be
taken as the conjugate of z, the lower limit.
Critical equation, in connection with the Jacobi test.
202. The four integral-sets, 7, and {, 7 and & m and &, mand £4, are
linearly expressible (§ 184) in terms of the eight fundamental intogral-sets
br(2) and y, (2), for r=1, ..., 8. Let
n= 2 bb b= 3 bevel)
2h6@ b- Zt ee
so Emo
a = 1, r(2),
‘The quantities ey and xf, in each instance, denote a small variation from the
characteristic curve under consideration, chosen so as to give a contiguous
characteristic curve, For every curve, the constants are determined by initial
values chosen at the lower limit. Accordingly, we choose
8
= m Yr (2),
=, &=0; m=0, Sm
for r =1, 2, 3, 4, at the lower limit z,—a selection which makes each of the
four contiguous curves touch the fundamental characteristic curve at that
lower limit, Among these four contiguous curves, we discriminate by the
assignment of other initial conditions at that place # =<), as follows:
Gi" =0, a" =0)
hi" =o, a" =0 :
g"=0, cee
w= op308 CRITICAL FUNCTION IN (cx. vi
where p, 0, 7, # ate finite non-zero constants, Manifestly, the curves are
distinet from one another; and each of them is distinet from the character-
istic eurve which (§ 182) would arise, if either p or ¢ or + or # were to vanish.
All these assigned conditions are in accord with the six relations of § 188,
satisfied by the four integral-sets », and £, (for r=1, 2,8, 4). ‘Those relations
require that certain constants are to be zero: when the foregoing values are
substituted, they do, in fact, make each of the said constants equal to zero.
‘The eight constants hj, ..., ks in the expressions for n, and f, are thus
subject to the eight linear relations
Lhrbr (%)=0, Sher (@)=0, TkrG (@)=0, Lkeyr’ (4) =0,
hye” (a) = py Ser" (as)= 0, Serge" (a) = 0, Shep” (m) = 0.
The determinant of the coefficients of the constants & on the left-hand sides
1b (oo), Yoo), os’ (xa), Pu (ods Ba (to), Yo" (ads i” (ae), Yo" (a) |
is the value, at ay, of the quantity V of § 186, a quantity there proved not to
vanish anywhere in the range: we denote this value by W.. Let [£] denote
the minor of any constituent & in the determinantal expression for Vs, s0
that, for example,
[Gx” Co) = |e e), Yu wo), ui (eds Woe! (wads Ye" (we), 1” (eo), Yu” (He) |
[Gs (ood) =| Gu (0), Yow), be (ad, Yu! ods Ya" (aa)s fr” (eds Ws” (ao) |»
and so on. ‘Then we have
kWo= p[ di" (a)], ba ¥o
and so on: generally
Lda" (aa) Ka o= p [spa" (ae)], ba¥o= ps" (as)),
ke Mo= ploy” (a),
., 8. Similarly, for the same values of r in succession,
— LWo=o[hr" (a),
mVy= 1 [$e (wa),
— me Vo= ely" (a)
We therefore have unique finite non-zero values for all the coefficients in the
four integral-sets 7 and f, m and &, m and %, and m and £..
for r=1,
203. Now consider, once more, the quantity @, where
@=|%, tm m %
Gs Sar bs
me Ws ms me
oo Bw
Tt vanishes at the lower limit 2, of the integral; but no difficulty is thereby
caused in the second variation, because
La Y pa 40 +7V +82, Sak" + OV 492 +yV + xh208) ‘THE JACOBI TEST 309
It must not again vanish within the range of integration; and that range
must extend 90 far as the first value «, of e which is greater than 2, at which
the quantity could vanish. But
(p07) Y=
Zhe @)[e" (wd), Ede LY" (], Ede (a) [be CH), Shr (Ye Cod] |
Eabr (2) Ube" CW) Se Le" (wal, rr (@) Lbs” Ceo], Er EY” (#o)]
Ege’ (©) Ee" (oY Zhe! (w) Le” (ae)], Ede’ (a) (Ge (a) Zhe! (@) Le” (@o)]
| Eee [Ge ed], Se’ Ye" (aod), Ed’ Ube” od], Ee) Le”
‘The determinant on the right-hand side can be evaluated by the repeated
use of the known theorem relating to determinants made up of constituents
which are the complementary minors of determinants, themselves made up
of the constituents of a determinant such as Vo. Thus, in the expansion of
the foregoing determinantal expression for @, the coefficient of
dH @), br) $s (@), br (2)
WE), HO), Ww, We)
Gi (2), by (@), di(e), di (@)
WO IO WO, We
[d."” GL [oe” Cd, [4s Gd] [he Co] | -
Gh" @) Be Gl, Ge" @L, WH @))
[i (em) C6" od], [ps [40 @))
IC) a CC AC) RC
By the theorem quoted, this last determinant (made up of first minors of Y.)
is equal to
We] be (a), he (@), gr (a), he (We) |
Vs (2), Yo), Vr (me), Ye (aa)
$e (0), ge (i), (ao), s' (aed |
We (ea), We (od, Yee), es (a) |
Similarly for other terms in the expansion : the coefficient of
Ide(2), vale), oF (@), Wi ()\,
where p, g, r, &, are any combination from 1, 2, 3, 4, 5, 6, 7, 8, is
We | peal), Ver) Fra(m) Yor (m)|,
by the same theorem. Consequently, when all the evaluated terms are added
together, we have
Hime, Yale), G5), WE), bo (ee), Pole), 1’ (Be) Ys (2)|
=A(@, 2),310 EXCLUSIVE CONJUGATE-BOUNDED RANGES [on v1
where A(#, 2) denotes the determinant of eight rows, made up of $(2),
¥(@), $(@), («,), and their first derivatives.
Now ®, does not vanich, nor become infinite, The quantities p, ¢, r, p are
finite quantities, respectively determining the four characteristics contiguous
to the characteristic under consideration. The quantity is not to vanish
along the range; henee the function A(e,, 2) must not vanish along the
range for any value of # within the range greater than a.
The conjugate of a, is given by that value of «, say , for which
a i
Zam=0, Sato, Zan'=0, 3 at'=0,
without a, dy, ds, 4 themsolves vanishing: that is, for which @ vanishes.
Hence the conjugate, given by «,, of the lower limit of the range of integration
given by ay, is the first root (greater than 2,) of the equation
Ale, a) =0.
If the original integral is to possess a maximum or a minimum, the range of
that integral, beginning at #,, must not extend as far as the value =, which
defines the conjugate of ~ on the characteristic curve.
We thus have the third test for the possession of a maximum or minimum;
afver the analogy of preceding instances, it is called the Jacobi test.
A range, bounded by two conjugates, does not enclose any similarly
bounded range.
204. In enunciating this result, one property has been tacitly assumed by
anticipation: viz. a complete range along a characteristic curve, between
point and its conjugate, cannot contain within itself another complete range
of the same type: in other words, the conjugate of any point within a range
lies without the range, The establishment of this property can be effected as
in the preceding cases (&§ 119, 176), by proceeding from the function A (2, 2),
the outline being as follows,
This function A(e%, 2) does not vanish anywhere that lies actually
between «, and ite conjugate «,. Let two points be taken in the range, one
near #, given by a+£, (where X and £, are positive, and X is small), and one
near «, given by 2, ~ e£, (where ¢ and f, are positive, and ¢ is small); the two
magnitudes
Ay, e+ dfs), A (a, a — ef)
have the same sign. But, approximately, for sufficiently small values of 2,
we have
A (oa, tot Mh) = EME Wo,
while
Ae, 8h) =A (es, a) ef 8 SH)206) SUMMARY OF TESTS ail
so that
©) has a persistent sign, opposite to the persistent sign of ¥
a
whatever initial point be chosen. Also, as A(#, #,—ef,) does not vanish,
a Gu8) does not vanish.
When a point a, +a£ is taken, with a and & positive, and ite conjugate
4, +a€' is wanted, a being small, we have
A(e+ab, 2, +08’) = 0;
so that, when a is sufficiently small, we have
20. (a, 21) pO (ae,
eat
If £ and £’ have opposite signs, the new range would lie within the old; and
the distances of the new ends from the old ends would be of the same order of
magnitude. ‘This diminished range would similarly lead to a more restricted
range, because of the persistence of the sign of V. Gradually, as before, we
could wear down the range (on the hypothesis that £ and £’ had opposite
signs) until the fanetion A(z’, 2”) would palpably cease to vanish when 2” is
sufficiently near a’. ‘That hypothesis must therefore be abandoned. Con-
sequently, & and £ have the same sign; and they are of the same order of
magnitude.
Proceeding gradually from 2,, and taking the new conjugate for each new
initial point—which conjugate must lie beyond each immediately earlier con-
jugate—wo infor the property that the conjugate of any point within a
complete range lies outside the range.
=0.
Summary of tests.
205. The conditions, when satisfied, secure the existence of a maximum
or a minimum for weak variations. The Euler test and the terminal con-
ditions make the first variation vanish. The Legendre test and the Jacobi
test preserve one sign for the second variation—either positive (when there
is a minimum) or negative (when there is a maximum)—through all weak
variations that are possible.
General weak variations : statement of results concerning the ‘second’ variation.
206. When general weak variations are considered, so that we have to
deal with the integral
[Pee 215 Ye Yes se DME,
and the variations are «+ «X, y+#Y, 2-+Z, the results connected with the
first variation of that integral have already been obtained. Much laborious
algebra is required for the reduction of its second variation to a normal form.312 SYNOPSIS OF RESULTS FOR [en. vi
The results are significant, not least in connection with the discussion of a
characteristic curve, of characteristics contiguous to that curve, and of a range
along the curve bounded by conjugate points, with the definition of conjugates
already used. The discussion follows, in more general shape, the discussion
already given ; and the algebraical calculations, in themselves and in their
process, are the extension—an elaborate extension—of calculations of the
same kind already effected for simpler cases. It may, therefore, suffice to give
an outline only, arranged in successive statements, ‘Three fundamental
quantities are definitely established, in (II); the other inferences are stated,
without detailed proofs being given.
(D The function F satisfies two identities
2F yy FoF
PF. ak sy Ben homade Fs oy oe Pte ge
Derivatives of F with regard to the variables
2 By Bey Ys Yr Yoo Bs fav Bn
are denoted by numerical suffixes 1, 2, 8, 4,5, 6,7, 8, 9, respectively; and the
variable quantities
X, XX ¥,V, Va, Z 4 Zn
are denoted respectively by
8, Ox, Bs, Oey B55 Bo, Ory Bar Bs
‘We shall want combinations of Y and X, of Z and X, and the derivatives
of these combinations; we write
b=V =m¥-yX=28- 4,
bs Vi = 2,0, 91004 (00, —Y201)
= ,0,— Ya + 2 (08.— 204) + (0, ~ 8),
2 = 5,X=2,0,-2,8,,
8, — £18, + (048, — 2,84),
— 2,0, + 2 (0, — 2405) + (040, ~ 248,)-
(ID) Differentiating the first of the identities satisfied by F with respect
to a, to y, and to z,, separately, we have
Fat Fut 4Fa=0,
Fg + iF t Fy =0,
2,F at \Fat iFa=0.
Consequently, there exist three quantities gx, ga, gu such that
Fugu, Fo= gm, Po= 2m
Fy =—2trga-%%9e, Fe=- GYgu— 22 Go,
Fes= y'gut 2yr29u0t 2790
a206] (GENERAL WEAK VARIATIONS 318
‘The three quantities gy, ga» Jw are fundamental; they are, save as to a power
of z,, equal to the quantities fr, fy fis of & 182—5.
(AIL) The first variation of the integral has been made to vanish, thereby
leading to the chateeteristic equations and utilising the terminal data so that
the limits of the integral ean be considered as fixed.
‘The second variation of the integral is ie fo dt, taken between the fixed
limits, where
= EE FanOnOns
the full expression of © being Fy0°+ 2F 40,0, +...+ 2Fixh6.+ F,8% We
take a quantity
(C= AO, + BO: + 08; + 20,0, + 20,0, + 20,0,
+00 + 502+ 00; + 2/00, + 2980, + 20,0,
+ 20, (a0, + 0,-+ 70.) +28,(NO,+ 105+ v0,) + 26, (pb, +08, +76,).
‘The first aim of the analysis is to modify the second variation, by expressing
@+ a as equal to ®, where
and, in ®, as few terms are retained as possible. For then
le +90) a= fou +(a)= [ow
because the limits are now fixed and therefore every variable 8 in [] vanishes
at each limit (0,, 0,, 0, are absent from []): that is,
fou=foa.
‘Thus © can be regarded as an intermediate normal quadratic form for the
integral,
‘As regards the retention of as few terms in ® as possible, we have
m6 W+ 2g WW" +2941 W" +g + 296 W' 4 gy?
=G0W" + Gea Gu’ — 2m) W? + (Gn — Gs + gn’) W?
+H iggW+ 20m WW’ + (oun — gn’) Wh
The term in the last line, with its sign changed, can be moved into 2, and
then only the squared terms in the first line will be left: that is, by a change
of the coefficients gnn which initially are at our disposal, and without loss of
generality, we can choose
9o=% ga=0, gn=0.314 SYNOPSIS OF RESULTS FOR cu. vi
Similarly, without loss of generality, we can take
ga=0, ga=, ga=0,
in the form initially postulated for &.
We therefore can take, in umbral notation,
D= (he + rede + 11h + Mobs + Hobs + Yeh)?
‘The six umbral symbols 7%, 76, Ye» Y Ye Ye combine quadratically into the
significance of reality, according to the laws
Sous
(the three fundamental quantities already introduced) ;
Hr=0, HH=9, NH=0, YW N=, WE
(according to the foregoing initial simplifications of ); and, for all other
combinations,
Yn Yn = Irons
these non-zero coefficients gaa remaining.
The consequent modifications, by the absorption of
= [G0 + 2900 W’ + (Gr— go’) WH
into [, will be supposed made, so that the coefficients in [] (as yet unused)
will be regarded as having absorbed the necessary changes,
(IV) Owing to the expressions for the real variables ¢ in terms of the
real variables 0, we have
= Yor Bo + (Zroite + yet) 85 + (Yates + Yetta + 11%) By
3m
F 6,85 + (Quite + Yes) Os + (Ys + Yatta+ Yet) A
— (m2 + Yeh) Bs
— Qyots + Wey + W621 + Ys) Oe
= (nts t Ys + V620+ Toye t He +1) Or
‘Then we are to have ,
os ae-{ nel)
where, on the right-hand side, we substitute the equivalent expression which
is quadratic in 6,
(V) Equating the coefficients of the various combinations of the variables
64, --+, 8 on the two sides of the last relation in (IV), we have relations
between the known coofficients Fis, the unknown coofficients gman, and the
coefficients in C]. ‘The total number of relations in this aggregate is forty-five,
being the number of coefficients Fn,206) GENERAL WEAK VARIATIONS 315
(i) The terms, involving (6,, 64, 6) in @ +29 and &, agree without
jt
any relation, owing to the expressions for Fg, (with m, n=3,6, 9) in terms of
‘the three coeflicients gun, Jer Joe:
Gi) The terms, involving (6,, 0., 8,%0., 6, 64) agree, if
Fat C= %wo.t% }
Jays
FotF= %[Link]+ Gut?
Pat =~ 2gnt22— 2getiyYs
Fat P= 2gux%+ gar
Fut B= gure, i
Fug + H= — get 24 2G Yo ~ Joa 5
Fat G = — 2gnti4— Bayi —Gatyy
— yen &s— Wears — Joss
gotta + 2a (sige t ther) + 2gariss |”
+ 90h t Inrith
In these relations, F occurs twice, G twice, H twice; and their repeated
values must be the same. But from the fundamental identities, we have
oF
Fat Fut Fam — Se
Fy + yiPrg + 2 Fu + 20, Pre + 2ysFun + 2e4Fs z.
which give
aA tyHtnGa ee,
and
I: Fas + Fos) + 2, Fo — Fs) = 2 (t4Fes + YsFrs + #2F x).
Similarly
Hay B+ Pa Se
and
41 (Fa~ Fa) + (Fru Fy) =2 (0 F gt oP + 4F,
and
G+ y P4200,
and
@, (Fy — Fa) + ys (Fes — Fea) = 2 (Fon + Ys Fen + 2 Fy).
Of these necessary equations, the three which are free from A, B, 0, F, @, H,
are satisfied by the foregoing nine postulated equations, if only
Fea— Fa= (Guu) 2?
‘Therefore the whole set of equations defines A, B, C, F, @, H, gus gu, always
subject to the latter equation,316 ‘TRANSFORMATION OF (on. vr
(iii) The terms, involving (6,, 8, 836,, 6, 6) agree, if
Fett = gutsy
Fotv = Gat %+ Got\het gat! | >
Fat =—Gutiks— Jo%Ys— Jaye Jas
Fate
Ja X; + Yeu, Xs + Jos?
Fat h= gute >
Fig t B= Grates ~ Gui Ys— Gute Jo%e
GooFs%s — Jeoyf%s— Joti Xe — JarTiYr
GeoFaks— Gstiits — oFikra— Ju
Goti2s+ Jo (Ys + is) +IaYiYs
+ Gato Jathls + Ioyit%i+ Jair
which imay be regarded as defining the nine quantities a, ..., 7, in terms of
new quantities gun, Jus Jer Jo
(iv) ‘The terms, involving (6, 6, 6)* agree, if
Fret OC +27 = Aguas + gua?
Pot PF ty to= Agee + putts + gate + gut?
Fat @' +4 +p
Agmitata— AgeeteYs
2x Yo— Wu Ys ite — Pours — Jest
Aguas + gut?
gees — 49a
— gusts &a— 2s Fe — Jour 2 — Jessa
FatA' 42a = 4gnz + Bgetitet Sguye |
+ Agents Ys + Agayits + Inti? + Wayizi + Ieys?
‘The quantities A, ..., H, a, ..., 7 have been defined in the earlier group (ii)
and the earlier group (iii) of relations. ‘These six conditions therefore define
$us Jus Joss and they leave three relations to be satisfied.
(v) The terms in (@,, 0, 8:16, 64, 6) agree, if
Fatt $6= 2gutets+ Qutits
Pat VAS = 2g e+ 2st + 2Gat is + Gusts + Joab + Gace
Fist 1 +9 = —2gmtty2s— 2guitays— 2gut — 2a Gite
= Ieatrea~ JesTrYs— IsTrYo— Jats
Fat ot f= Yutatts + 29+ 2atits + 2a 2+ Getta Int?
Fete +b = gutter t Jost, |
Fist B+ h= — 2get.25— 2geaitays — 2Gertata — gents | :
—Getsts— Guat te~ Goi Ys — Gorter
Fut B +p
Fat H+ B+206] SECOND VARIATION 317
Fat 0! +9 =—2gmtats— 2a yets — Ways — Waa
state Foss — Gui %s— Gertiyy
Fy th +h — 29a 2sits — 2grotrts — 2a te 2WostsYs
— Gusts Junta Gast Juha
Fatal +a= 2gntrts + 2ga (tryst Y%s) + 2geateYs
+ Gea 2yata+ Wits) + Gua (2yate + 414s)
+ GentiFet Jos (Ye + Yi22) + Gade
+ 2gathte + WatiYet+ Get In) Y%
(vi) The terms in (6,, 6, 6,)* agree if
Fate = goot? + gat! + guts
Fit f= gate + (gout Jor) Cats + (Gea + Ga) trees + Pout + (Jaa Gx) tra + Gat?
Frat J =~ Gnitsts— Jo%sYs— GnYe%s— Joye
— GIeatsta—Jesta— Jetafe— Jayate
= Gni%s81— Joris — Jato Iaith
Fy t B= gets + Gott + guts
Fu th! =—gaitsts— Gu%sYs— Jeaa%s— Jai %
= Geos£s— Jua¥s— Jer? Bs Jutate
= Gutits— Gu2a— Gosh ~ Jur
ta = Gute +2GaYs2st Poor + Gust + 2GrsZYot Ia + Inzt + Wait tIay?
F 2geeYats + Aue + WosyYs2s + Waza + Woyszr + Weyer
(vii) Various relations are satisfied by the quantities Fn, which arise as
derivatives of the two identities satisfied by the subject of integration, ‘Thus,
from the first of these identities, we have
Fy + Fat 4iFn
Oy Py + y Fut AF
2 Fat yFat Fs
and thence
204 yB+27=0,
mrt Wet AY =O,
aptyotar=0.
Again, from that same identity, we have
iF
an Fat late han- ab — uF —20,
=a Pgt Pot Fe
aH—yB-aF,
ena Fat Fat Fann d— nH —aG;
2G +P +50 +aG+yF +20
=F yt eka t %Pot Fat oka t Pot Fn t Fat km,
with two similar relations.318 SYNOPSIS OF RESULTS (on. vi
From the second identity, we have
0 = 0, Fat ¥: Fest 2 Fg + 20, F es + 2yeF eu + 2eF re,
Oma Fn t Yi Fot Feet WeF s+ 2yeFugt 26.F oy,
Oma Fn t Fat 2: Feat laa Fn + 24 Fest 25,Feo.
When the values of Fy, ..., Fin, Faso» Fare substituted here, these relations
are satisfied identically,
Similarly with the other relations, that can be derived from the two
identities in the same manner as those in Chapter II and Chapter III: it
can be verified that each of them is identically satisfied when the values
of Fyn are substituted,
(VI) There are subsidiary characteristic equations, associated with the
fandamental characteristic equations. Let 20 denote the same function of
BEL En 0,60, 0", a8 @ is of @,, ..., 0, with the coefficients Fyn. The
subsidiary equations axe
a _ d (an
ae ~ aloe’) * de
aaa) * 2¢f)-.
and em ad (8)
ea oe) +aelie)=2
which are really equivalent to two equations in virtue of the relations among
the coefficients.
(VID) Corresponding to V and W, we introduce the combinations
yan nk,
fab
We denote by 2T, the same function of y, yi, Ys, 2, %1, %, a8 ® is of
v,V’,¥", W, W, W". Then y and z satisfy the equations
rid @& at
oy ~ (op) * ae Gye) =®
ar det), & er
de ~ at (ie) +a (fer) =
which are the modified subsidiary equations.
‘The primitive of the subsidiary equations, and therefore also the primitive
of the modified subsidiary equations, can be derived directly from that of the
fandamental characteristic equations. Every integral-set is made up of linear
combinations, with constant coefficients, of eight linearly independent integral-
sets which constitute a fundamental system.
‘There are at least five such integral-sets, any four of which (in pair-
combinations) provide six relations, identical in form with the six relations of
§ 188: a selected four are denoted by y, and 2,, yz and z,, y,and z, y, and &,.
ao206) LEGENDRE TEST: JACOBI TEST 319
(VIE) By means of the relation
Iv"
fou= (e+) a—(v1
= fae,
where V is a homogeneous quadratic expression in V, V’, W, W’, we can (by
analysis exactly similar to the analysis in § 200) obtain an expression
(g0W* + 29. W¥ + Ju"),
where
wi 8 Yn By
Ye, Bs Yay Be
Ws Bs Yan Be
BL Ya
ee w=| ee
Yo 3 WB, Yh
Yoo te Wer By Yar Be
Yo", ss Bs Yar Be Yo, Bi, Yu My
VW. Ye, Ry Yu We Rs Yo Be
where @ is a quantity that does not vanish within the range of integration.
This form {tat is the final normal form, as {dt was the fist or inter-
mediate normal form, of the second variation.
(IX) The discussion of this result proceeds in the same way as the dis-
cussion in § 200—204,
The Legendre test requires that, everywhere in the range,
Guu > Ga"
When this is satisfied, a common positive sign for gu and gy admits a
minimum for the original integral, and a common negative sign for gu and gy
admits a maximum.
The Jacobi test requires that the range of integration, which begins at an
initial place t on the characteristic curve, shall not extend as far as the place
4, the conjugate of t: where @; is the first value of (greater than t)at which
the determinant
[yi (G), 2'(f), Yolts Bt) Yel (to), Be (tds ¥e(4), a(t) |
vanishes.
(X) A complete range on the characteristic curve, bounded by a place
and its conjugate, does ot contain within itself another complete range.CHAPTER VIL
ORDINARY INTEGRALS UNDER STRONG VARIATIONS, AND THE
Wererstrass Test: Soup OF LEAST RESISTANCE: ACTION.
General notion of a small variation.
207. The systematic analysis dealing with irregular small variations,
which can be represented by a jagged line resoluble into small straight
pieces, is due to Weierstrass, He introduced it (and developed it, thereby
meeting some general objections of Steiner) so as to discuss possible maxima
and minima of integrals, which involve one origioal dependent variable
and its first derivative. Jagged lines were recognised by Legendre* as
possibly leading—in the case of Newton’s problem of the solid resistance, he
obtained jagged lines which do lead—to results, reduced below the minimum}
provided by the characteristic curve under small variations that now are
called ‘weak.’ Such lines of a zig-zag type were excluded from consideration
in their analysis by Legendre and succeeding generations of writers, through
@ definition which was implicit at first and was made explicit only after-
wards. It had been assumed, usually without any statement or only on a
later definite statement kept unobtrusive, that, when the variation of the
dependent variable y is maintained small, the variation of its derivative y/
will also be small. The assumption seemed to be that the smaliness of y’,
consequent upon the smallness of y, was too obvious to merit even mention.
‘There was the further assumption, also implicit and ignored in statement,
that the variation of y’ is to be of the same small order as the small variation
of y. All such variations were represented by by, y, Sdy, and so on; the
mere presence of the Lagrange symbol 8, in this association, apparently
ensured the requirement of smallness.
Moreover, in spite of restrictions in the range of the integral to small
variations dy of the ordinate alone, circumstances compelled the consideration
of small variations of « at the limits of the range (as at mobile limits, in
§ 81), though these were not admitted elsewhere ; and a compromise had to
be framed, expedient for the discussion of such limits,
* “Mémoire sur la maniére de distinguer lea maxima des minima dans le caleal de variations,”
Hist, de V Acad. Roy. des Sciences (1788),
‘f Legendre (1c.) called # maximom or a minit208] GENERAL SMALL VARIATION 321
Manifestly the general notion of the slight deformation of a curve, into a
contiguous curve, merely requires in essence that the distance, between the
position of a point on the curve and the displaced position of the corre-
sponding point on the deformed curve, must always be small, whatever point
be chosen, If this requirement be met, the contiguous curve gives a small
variation of the original curve, whatever be its shape in detail. We are
accustomed, over a stretch of continuous curve, to very rapid small changes
which, while of full importance in detail, would be deemed of slight statistical
account as compared with the smoothness of an averaging curve over that
stretch. Restrictions at every point, as to changes of direction, of curvature
and the like, that all of these changes shall be small when the variation is
small, are essential limitations upon the completeness of the variations
admitted or imposed. A minimum for restricted (weak) small variations,
which fails to be a minimum for unrestricted (strong) small variations, cannot
be claimed as a true minimum, any more than the summit of a mountain
pass could be regarded as a true minimum, because there is no higher point
to which a pedestrian need rise when passing from the valley on one side
of the pass to the valley on the other side, or as a true maximum, becanse
there is no lower point to which a pedestrian need descend when passing
from the ridge on one side of the pass to the ridge on the other side. A true
minimum and a true maximum must possess their distinctive properties, in
all circumstances of variation, and not merely for a selected group of such
circumstances,
Accordingly, we proceed to the consideration of strong variations, indi-
cating by the term specially the types that can be resolved into an aggregate
of variations of a specifically simple character. The character of these com-
ponent simple strong variations must now be explained.
Strong variations : fundamental constituent type.
208. In all the preceding investigations, the small variations of the
characteristic curve have been of the type styled weak. ‘They are such that,
if the point © +f, y +47 be the varied position of a point @, y on a curve,
for which « and y are expressed as functions of a continuously increasing
parameter ¢, the quantities £ and are arbitrary functions of ¢, independent
of and limited by the requirement of being everywhere regular functions,
so that they possess their due succession of derivatives which also are regular
functions,
We now proceed to consider small variations which are not limited to
this class. But the mere exclusion of such limitation would be mainly a
negative description. For the purposes of mathematical representation, it is
convenient to select particular types of small variation from among those
which hitherto have been excluded from consideration. Thus we have
already (§ 47, 102) had small variations, where isolated discontinuities of322 NON-REGULAR SMALL VARIATIONS (ow. vir
direction within a range have been admissible; though the number of such
discontinuities in any finite range has been limited, owing to the require-
ment of isolation. We have mentioned, though only by the way of illus-
tration of possible small variations that are not of the definite weak type,
the instance
= wasin(te"),
Such a quantity & is of course finite, continuous, and small when « is small
(vis a constant), But the first derivative of & is of an order smaller than
the order of £ when n is positive. When n is negative, the derivative of £ is
of an order not so small as that of £; it may be finite, or it may even be
Jarge and oscillate rapidly, when « is small. In all such instances, the
expansion of the subject of integration in powers of «, after the small
variation has been imposed, would not be effective to the end for which it
was to be used. Again, it is conceivable that we could have small variations
over a range continuous, not merely in are but also in direction, yet not
continuous in curvature; an integrand of the second order would suffer a dis-
continuity in passing through such a place, even if the place were isolated ;
and difficulties would arise over the curvature properties of the contiguous
varied curve. Similarly, if the subject of integration involves derivatives of
order higher than the second, we should be faced with the possibility of
abrupt changes in the rate of curvature.
209. An indication of one method, of taking some of such non-regular
small variations into account, is given by the consideration of an integral
2. ae
‘
with a jagged variation, Let AMPRS... be a characteristic curve, on which
A’ (the conjugate of A) lies beyond 8. Let any point P in this range AS
be displaced to a neighbouring place Q. Because P lies within the range
bounded by A and its conjugate A’, a consecutive characteristic AQT...
can be drawn (§ 70) from A to pass through Q; and this consecutive curve
does not meet AMPRS... until A’.
Suppose that the conditions for a minimum are required. (The alter-
native conditions for a maximum follow by changing, throughout the ex-
planation, a greater inequality into a lesser inequality.) Accordingly, if the
integral is to be a minimum along a characteristic curve AMP from A to P,
and if we denote its value by J,» when taken along that curve, we must have
Luxe Toe > Lanes210) ‘REQUIREMENT FOR CONSTITUENT JAGGED VARIATION 323,
where
(Lexa is the integral along ANQ from A to Q;
(ii) Zgp is the integral along QP, the value of the independent variable
of integration along QP increasing from Q up to P; and
(iii) Typ is the integral along AMP from A to P.
Now ANQT... equally is a characteristic curve, determined by slightly
different initial conditions. Equally it provides a minimum: so that, taking
AMPQ as a variation of ANQ, we have
Laue + Inq > Lana
where the integrals I4yp and I4yq are the same as before, and Iyq is the
integral along PQ, the value of the independent variable of integration
along PQ increasing from P up to Q (The integral Zpg is not the integral
Top reversed: along PQ in Ipg, the independent variable of integration is
increasing and likewise, along QP in Igp, it is increasing.)
Next, consider ANQ and QR as a variation of the continuous length
AMPR. Owing to the requirement of a minimum, we have
Laxa+ Ton > Laure,
where Igyq is the same as before, Igy is the integral from Q to R along QR,
and I,ypx is the integral along the characteristic are AMPR. Thus
Laur + Inq + Ton > Lava + Ton > Laser:
On the left-hand side, the sum of the integrals is the whole integral, first
along AMP from A to P, next along PQ from P to Q, and then along QR
from @ to R. Thus the integral along AMPQR is greater than the integral
along AMPR, Hence if the minimum condition is obeyed for a broken line
AMPQ as a variation of a characteristic are AQ, and for a broken line
ANQR as a variation of a characteristic are AR, it is obeyed for a line
AMPQR, with a jagged portion PQR, as a variation of the characteristic
are AMPR.
It follows that the minimum condition will be secured for any jagged
variation of a characteristic arc, composed of portions such as PQR which may
be taken on either side of the are AMPR..., when a requirement is satisfied,
that the minimum condition holds along any characteristic curve, separately
for each broken curve, suck as ANQP for AMP, and such as ANQR for
AMPR. In other words, the requirement is to be satisfied, whatever point P
bbe chosen on a characteristic arc, and whatever small are be drawn from that
chosen point to any contiguous point Q.
210. It should be noted that considerable freedom, thus far, is allowed
to the form of the small ares, such as PQ and QR. No assumption has been
made, tacitly or overtly, that they are straight lines: but we have assumed324 CONSTITUENT TYPE OF STRONG VARIATION [ow. vir
(tacitly) that such an are PQ is continuous in arc-length, and that it does
not eut the characteristic curve except at P. The assumption of continuity
of are-length in the variation remains an assumption. ‘The other assumption
is not essential: for, if PQ erossed the curve at points U, V,..., we should
consider PQ resolved into portions PU, UV,..., each similar to PQR in the
figure; and then we should treat each portion in the same way as PQR.
We do not therefore need to modify the requirement of the minimum con-
dition for a broken line such as AQP for AP, where P is any point on the
line and PQ is any direction through P.
Further, there need be no assumption as to continuity of direction, or of
curvature, and so on, in the broken or jagged variation. ‘Thus consider
acurve such as PQSTR. We can
draw characteristics AQ, AS, AT,
consecutive to APR. When the
minimum condition holds for a
single broken line such as AQP
taken asa variation of AP, for every
point on any characteristic curve and for every direction through the point,
it holds generally. For, with the preceding notation, we have
Laue + Tra > Lanes
Taxa + Tos > Lass
Lys +1 en> Lar
Lap +Iyn> Lascen’
and therefore
Laan Ira Los + Tor + Ten > Lowen
Hence the minimum condition will hold for any accumulation of broken
jagged small variations such as PQSTR, as it will hold for even the simplest
variation such as the broken line AQP for AP, if the minimum condition
be obeyed for each such simplest variation from every point P on the general
characteristic curve to any contiguous point Q off the are.
Note. As already stated, all the explanations and all the results hold as
regards the conditions requisite for a possible maximum, provided the greater
inequalities are changed into lesser inequalities.
‘Strong variation of ordinary integral with first derivatives.
211. Variations of the nature indicated are called strong variations. It is
to be noted that they are only one type of the variations, distinct in their
character from those which have hitherto been considered. The explanation
just given shews that some of these strong variations can be compounded of
‘variations of the simple broken-line type, while each individual component of212) STRONG VARIATION OF INTEGRAL OF FIRST ORDER 325
the composite variation is itself a possible variant of the central curve.
Further, when the condition for a minimum (or a maximum) holds at every
place on that curve and for every direction at that place, the effect of the
variation becomes cumulative. ‘The condition for a minimum (ora maximum)
is satisfied for a quite general composite strong variation, if it is always
satisfied for the quite general ultimate constituent of fundamental type.
We therefore proceed to consider the analytical expression of this con-
dition, initially individual for @ broken Jine, and scoure in its cumulative
effect. As the introduction of strong variations, and the expre
condition for the simplest and most frequent type of such variations, are due
to Weierstrass, the analytical requirement for the fundamental constituent
strong variation may fitly be called the Weierstrass test, It ean be obtained
as follows for the simplest kind of integral.
212. Let a point Q, with coordinates «+ x£, y-+1, be the displaced
Position of a point P on the central characteristic curve. The are PQ joining
Pand Q is not restricted, save that it shall be continuous in the intrinsic
qualities (such as tangency, curvature, rate of curvature, and so on) repre-
sented by the derivatives of the dependent variable which occur in the
subject of integration. If, and when, there should come a cessation of eon-
tinuity in any of those properties, the are in question would be held to cease
at such a point 7’; a new consecutive charactoristie A’ would be drawn
through 7, and a new are would be considered to begin at 7. Thus within
the limited range PQ the quantities £ and » will be regarded as regular
fanctions of some parameter along that arc, valid only up to @. For variations
beyond Q, new functions £ and », similarly regular along a new limited are,
will be required, and so on: the test will be demanded in connection with
each such elementary are.
It is to bo noted that all such variations are of a restricted type; thus
they do not cover variations such as
xcos(nte~4), resin (nte”}),
to take simple functions in terms of which, by Fourier series, some less simple
variations can be represented.
We shall deal, in the first instance, with the simplest kind of integral
‘
T= fF yaya
already considered in Chapter II; and we shall assume that the same con-
ditions, as before, attach to the integral. Also,all the tests, there found sufficient
and necessary to secure a maximum or a minimum for weak variations, will be
supposed to be already satisfied. We now have to consider the combination
Taxa + Top — Tames326 ‘STRONG VARIATION OF [en. vir
where AMP is the central characteristic; ANQ is the consecutive charac-
teristic through Q a point contiguous to P, provided (§ 70—72) P is a point
within a range AA’ bounded by the initial point A and its conjugate A’
g
—
x
By definition, Zgp is the integral taken from Q to P along any curve joining
Pand Q, continuous in are, direction, curvature and the like properties, but
not meeting AMP save at P.
Denoting the small weak variation from any point Mf on AMP to the cor-
responding point Non AQ by xu and ev, and regarding the integral Luo
as the variation of I4yp, we have (§ 41, 45),
or ayy
?
te [Few- smears [« (Ree +l
where [1] denotes the aggregate of terms of the second and higher powers
of small quantities. Now u=0, v=0,at A; and u=£,v=m, at P: also
everywhere along the characteristic curve, the characteristic equation @ = 0
is satisfied. Hence, neglecting terms of the second and higher orders as com-
pared with terms of the first order, we have
cr)
Tayo ~ Lane = « (ERE
213. The function F(z, y, 2, y:), in its initial form which involves
2, y, %, y, a8 unknown functions of f, is not a perfect differential with respect
tot; and therefore the integral Igp, being
[Pexewe,
7
cannot depend solely upon the values at P and at Q, but will depend partly
upon the path from Q to P.
‘The simplest curve to select is the straight line joining Q to P. We shall
therefore begin with the case when the are QP is a straight line. Let 4 and
be the direction-cosines of the line QP in the direction from Q to P; and
let U denote the length of PQ, so that
eE=—M, eg =— pl
‘Also, let be any point on QP, and let QS=o, so that ¢ may range from 0
to Lalong the path QP from Q to P. The coordinates of 8 are
a-dl-e) y-w(l-e).213) INTEGRAL OF FIRST ORDER 327
As the integral |F(e, y, %, :)d¢ is invariantive (§ 38), so far as concerns
gral nH
change of the independent variable ¢ of integration, we shall take «as the
current independent variable of integration for Jp. AS NOW 2,=2, y,=1,
along QP, we have
Zap |Fle-N(t=0), y~n(l—o), ® ph de,
while 1 is a small quantity of the same order of magnitude as x. The function
F is regular over the range of integration which, moreover, is small. Hence,
by the first theorem of mean value, there is a positive proper fraction ¢ such
that
Top = UF (a— nel, y ~ pel, , u)
=IF (ay, % w)+[P),
where [J*] denotes an aggregate of quantities of the second and higher orders
in |, that is, in , Consequently, up to small quantities of the first order, we
can take
Top =1F (2, ys >, p).
‘Thus
OF (@,
Lara + Tor ~ Tasen= 1 {P(g uw) —92F
accurate up to the first order. Now
aF (ey, a my
oy
FE ya yaa FEMA yy Mess
identically ; and therefore
F@ydm=r hyde)
Hace
Tavat Tor Lane = UE (e, y, 5 Yrs wy
where
Ey Yu w= Fe y, dw) —V OE
P(e. yu) _IF(e, y, ew)
=a ee +f
This quantity E(x, y, #., 1,2, w) depends, partly upon the position «, y
on the characteristic curve and the direction «,, y, of the tangent to the
characteristic curve at that position, and partly upon the direction 2, 4 of
the short line PQ through that position: so that, if there is a variation off
the curve, PQ must not coincide in direction with the tangent at P. Further,
F(a, y, %1, yy) is homogeneous of the first degree in 2, and y,; and therefore
PY YW) ang OF Ys Hs th
en, ay,
order zero. ‘They are unchanged in value when «, and y, are multiplied
are homogeneous in those quantities of328 WEIERSTRASS TEST fox. vin
by the same quantity; hence, when we multiply them by : so that they
vecune
istic eurve, the derivatives become 22, P(e, yay’) and é F(ey,2,y). We
now have
EO 2 JW =F BAZ PH 8 HP H HY)
ae ay
(=a) and w (=y), where s is the are-length along the character-
of reyan renin te remw-g reser}
The Weierstrass E-function, and Weierstrass test.
214. The integral J is to be a maximum or minimum for all small
variations. The conditions for weak variations have been obtained and are
satisfied. If the integral is to be a minimum under the strong variations
composed of variations such as ANQP for AMP, then
E(@, Yo YB)
must be positive, for all positions «, y on the characteristic curve, and for
all directions 2, through every position giving a variation, that is, for all
directions off the tangent ; while, if the integral is to be a maximum, the
same function must be negative for all positions 2, y on the characteristic
curve, and for all non-tangential directions through every position.
‘The function 14 measures the excess over @ minimum or the deficiency
from a maximum. Conversely, if Eis always positive, an excess always arises,
so that there isa minimum ; while, if Z is always negative, a deficiency always
arises, so that there is a maximum. ‘The function is often called the excess-
function, though it is a deficiency when a maximum exists. As it is due to
Weierstrass, it will be called the Weierstrass E-function. The test—that it is
to be always positive for a minimum, and always negative for a maximum,
along the characteristic curve—will be called the Weierstrass test. Manifestly,
it is distinct in character, as in source, from the Buler test, the Legendre test,
and the Jacobi test. The requirement is that the quantity
US Ferm wrens nh
i
+H 1S Few mn BP ewe, av}
for all places on the characteristic curve, and for every direction X and pw
through each place distinct from the tangential direction, shall have the same
sign: the sign being positive for a minimum, and negative for a maximum.
Tt isa necessary test. It is a sufficient test, for the type of strong varia-
tion imposed. But that type of strong variation is only a selected type.215) EXAMPLES OF THE WEIERSTRASS TEST 329
Eaamples of the E-function as a test.
215. The Weierstrass test is simple, in its application to all integrals
which are of the form [ (2, y) de or, what is the equivalent, ate of the form
[ren ers ynk ae
For such integrals, the H-function is
Xn a
fread a fons at
jee ava
telfen shay sen wel
which is equal to
Fey) (L-Qa' + py),
because (A + w)t=1, (w+ y%)#=1. If x be the inclination of QP to the
tangent to the curve, so that x lies between 0 and 2m for any direction that
is non-tangential, we have
E=f(@, y) (1 — cos x).
If f (2, y) does not change its sign along the characteristic curve, then—
as the sign of f(x, y) may be taken positive—we have H always positive.
‘Therefore a minimum is admissible, and does occur, so far as concerns the
requirement of strong variations of the selected type.
Es, 1. ‘Thus the testis satisfied for a catenoid of revolution. “The integral ix
ae fae;
and 20, a8 the tests are satisfied—with a limited rango—for weak vati
we still have a minimum,
Ex. 2. Similarly, the testis satisfied for a gravity brachistookrone, ‘The integral effect
ively (§ 34, Ex. 3) is
ions (§ 30, Ex. 1),
fo ta) bas,
‘where the positive sign is given to the radical.
‘The Weierstrass test, established (as above) for the case when PQ is a
straight line, can be extended to all integrals
[rends=[reyerrynta,
when P and Q are joined by any are (and not alone by a straight line).
As before, we have
iF
Taso Lan « (Er +030)
=f ey) Ey
Grey ot
Fe») Oat + wy’)
If (@ y) 008 x,330 WEIERSTRASS TEST SATISFIED BY GEODESICS [ou vir
where 1 is the length of the straight line PQ. For Jap, we have
Top= [f%, Ya,
where X, Y are the coordinates of any point on the are PQ as now drawn.
Hence, if the total length of the arc be L, we have
Ter= If, P),
where f(X, Y) represents a mean value of f(X, Y) along the are, while X
differs from 2, and Y differs from y, by quantities of the same order as Z at
least. Thus
FE, Y=f@ y+ (1,
where L represents the aggregate of the terms in Z, I’, ...; and so
Tap = Lf (@, y) + L(L}
=f (2,9) +(e],
that is, to the first order of small quantities,
= If sy).
Hence, to the first order of small quantities,
Lana + Toe - Laue =(L — boos x) f(a, y).
Now L is always greater than J, the rectilinear distanee between P and Q;
and therefore L — cos x is positive for all values of x. Consequently
Taxa Tor — Tours
for the integrals in question, is always positive, whatever form the continuous
are PQ may take, Hence the Weierstrass test, with the less specialised type
of aro, is satisfied for integrals [/(e, y) ds, thus admitting a minimum.
Ex. 3. The Weierstrass testis satisfied for all geodesics,
With the customary notation of differential geometry*, and when p, gare the parameters,
on a surface, any are on a surface is
freees28 pat ogres
and the geodesic quality is determined by the charactaristicequationt. For the eonstruction
of the Weierstms test, we take a point P given by p, q,and a neighbouring point @ given
by p-ted, q-+07; and then, asin the text, we have
Lam Taree {0 BB py Bet
(Bpe+2Fpg+ Gq" Ept+2Fp.g + Ga
pt
we {e(0%f +4) +9(rlE+0%)h.
Now if 4 %2e th spcecortintas Pandy Fy th of
X-Xametont(e} Ni- Yenttyntl’) A-Zeattant(e]s
* See my Lectures on Diferentiat Geometry, cbep. i.
+ 1b. chap. v.215] EXAMPLES 381
snd therefore
. Pa E+ 2Rby + Gr,
ee dr_, dp wy y iq
Goagend. E wih goaded
Thos
ann n$e-o%. Beer (647 2) + 0nd.
But the left-hand side
=leos yy
hor isthe length PQ, and ¥ isthe angle betweon PQ and the tangent tothe character.
istic ourve, If then, as before, x ix the angle between @P and this tangent, x=r 4;
— Lay Lane —1 008 y.
1 therefore the Weierstrass fancton is
1(1~co8y),
‘hich in always positive, ‘The Weierstrass tot is satis.
Also Jpp=U5
Ez. 4. Discuss the possible minimum of the integral
Se
taken between two given values of
‘The characteristic equation is
4 (ay
zd ® =0,
0 that the primitive is
yaartb,
where a and & are constants determined by the end-points (#,, 91) and (¢,, 93).
‘The Legendre tost gives 54, =2; itn ants fora minimum. As the characteristic
curve is a straight line, there is no finite conjugate of any initial point ; 0 the Jacobi
teat i satisfied unconditionally.
(@) When the integral is taken in the Weierstrass form, it is
Either of the (equivalent) characteristic equations leads to
yrartb,
For the Legendre test, we take eo
ap yt a”
which is positive if x i positive, There is no conjugate of a value &; for if
sao, ymacttb,
With the notation of §§ 61, 63, we have
HO=0, HO=0 W=ch Wi=1 smo ¥ Omac,
x=c e@=4
and the function Z(t, f9)=68(¢—%), which has no zero except f. Thus for general weak
variations, the integral admits a minimum,
and 20332 EXAMPLES NOT SATISFYING (ou. vi
But the subject of integration is rational (and so the Weierstrass test cannot be
satisfied : soo § 217). The Z-function is
=( (-Be)er( (2f-24)
aero,
‘and so changes sign with 2. ‘The straight line does not providea true minimum, that is, «
minimum also under strong variations,
(ii) We here have taken the change of sign of X as dominating the Z-funetion; and it
is sufficient, for our purpose, to determine whether H can change its sign. In this case,
other curves, not regular in direction but jagged, can easily be constructed which lead to
values smaller than the minimum under weak: variations.
Let AB be the straight line; PQ any element. Take PZ’ parallel to the axis of x,
where P7’ may be large compared with PQ, if we
please; and let R7Q=«, RPO: .
When for the portion PQ of AB, we sub- é
state the boken line PZT, along PO we have —
a
Wao and along 79 we have tan e; thus
the value of the intogral for P77¢
0, for PT; + TRtan® «, for 7Q; =TRtante -
QRtane
=detanatane.
‘The value of the element of the integral for PQ along AB is
detente;
8 ¢ ‘Thus both
the Legendre test and the Jacobi test admit the possibility of a minimum (necessarily for
‘weak variations alone, because only weak variations have been imposed) if , beginning at
1
48 value go, does not attain a value
%
(v) It therefore is desirable to trace the curve, We have
ae
Gr pora-w, Po -Za+na-wy;
‘and therefore a cusp (or some higher singularity) may be expected at g=—1.. We take
1
Inte
where » is small in the vicinity of the place. We find, for the values of and y in that
vicinity,
-e 2H (te wetfiee..),
‘showing that the place C is a cusp, the tangential direction at which is given by
an i
Ya 1. The two branches of the cure, op sitber |g
Sis af Un cup ar sven: C4 by a postive vaun of .
tad Oe ys aan Re gle OO
sear :
tng 04, ¢ wich =-{f) incre, 2 tat gs © iy
ese ae
ion ee
a
yowbotetblons) +e (set + wt
ae
7+ 1ep) 89h
fa
hence _
Along C4, ¢ is positive and g, is positive; while along CB, q ia positive and g, is negative,
‘Thus along C4, the quantity P is positive ; the Legendre test admits a rainimum for the
branch CA. And clearly ¢ is a negative constant.
‘Thus, for weak variations, the characteristic curve is
G04 y=wtalogg- a1,344 SOLID OF REVOLUTION (ox. vir
on changing the negative ¢ into a positive a. ‘The Legendre test is satisfied. ‘The Jacobi
test imposes no limit on a range, that begins anywhere on C/A and extends in the direction
Ctowards 4. Hence we have a minimut for weak variations,
(vi) But the Weierstrass test, for the simplest strong variation, was proved to be not
satisfied. What is a minimum, under weak variations, is not a minimum under the
simplest strong variation, ‘Therefore it is not a true minimum.
(Vii) Te was stated (§ 207) that Legendre obtained, by means of jagged lines a curve
(for the generation of the solid of revolution) which leads to an integral less than the
quasi-minimum provided by the characteristic curve for weak variations.
‘The following is « simplified form of Legendre’s construction* for the purpose. Let
PQ be any arc of the characteristic curve. Let QT be
‘the tangent at the lower extremity; through P, draw PC .
‘making with the axis of « the angle y equal to 70 ; and
through @ draw the ordinate VQC.
Along the arc PQ, we have
pi [i pia
Along the line PC, we have
Tee ee
re [ay
Along the line CQ, we have p==, #,=0: thus
Toa
Lrot Tog
da ” yn
Se) Rov ty,
so that
pre” + pp'x" +a’ =0, pty” + pp'y +y =0,
equations that are useful for the expansions of a and y’ (and therefore
of # and y) in terms of s. As the curve is arbitrarily assumed, we can
imagine it defined by means of the curvature, and of initial values of a’ and y’
at P; and so we take
a
am, fad, 2 =—%,
y
c
at P. We proceed to make 6 the variable in the expansion; and we make
the small quantity in terms of the magnitude of which all the small quantities
are expressed.
We take, at any point,
p=oR,220) SMALL CURVED ARC 349
0 that R, being a function of S, is a function of 28. Now, along PTQ,
a dp @X aX
Pas +P as ast ds
ax Rik @X aX
ae te apt ie
‘To express X as a series in powers of @ satisfying this equation, we have,
when @ is zero,
and therefore
R
ax_, ay.
7% 95
@X__b VY _ ay,
aan eo”
or if
c=0l,
0 that, for the radius of curvature,
R= C+ OG +44 ...,
the initial values are
a 4, OX
an, Gaon, Oe
‘The expansions take the form
aX a
G77 (ger ee...),
ay ab
B77 (M+ G+ HOt),
and therefore, as X and Y vanish when @=0,
Kno (96-7048 0+...) = 08,,
.)=28,
the values of the coefficients a,, b,,... being definite: they are linear in
@, and b,, and they involve the coefficients in R.
be oy
Va o(b0+ S64
Also at Q, we have x€ and «7 as the values of X and Y, while @ there is
unity; thus
ebmo(u— pat
wpm a(bs tHe be.
)=om,
using J and m to denote the two expressions. Further, if 8’=Q' so that S”
is measured from Q towards P, we have S + 8’ =o, and so
ax__ ax a ay __ de,
aS" dd d6’ dS dd a’350 ‘MODIFIED WEIERSTRASS FUNCTION FOR fon. vn
‘so that, . .
an (aa) + Ga)»
Pe L ay 7
Modified E-function.
221, With these values, we have
;
Tep=| F(a+X,y+Y,
wo [Florey
anof rer nyt oe af) 28
nef F(x +0, y+0®,, —L, —M)d0
wef Fle y—L,— Mao + [ot}
where [o!] is an aggregate of quantities of the second and higher orders in @.
Now a, and 6 denote any direction at P; for that direction, substitute the
opposite direction — a, and -b,. Then —L and —M become L and 2f,
while 1 and m become —1 and —m, all four expressions being linear in
a, and b,. Hence -
i f FoyL, a doo (12 m3).
In the definite integral, the only quantities involving @ are L, M, quantities
connected with the are PQ; let 6 be a mean value of 6 (with Zand if as
the corresponding values of L and Mf) such that 0<@<1, and
[Fey L, Mdo=F yD, ih.
Also
F(a,y, LE, =L $F yD, M+ HS eh oyl M
Let E’ denote the 3 of integrals, s0 —
E'= Lag bene — Lars
then
Fey lL M-12 Fe ye v9}
{ aL
soft 5 rey Tiy-m Zreane, v}
In this expression, Z and Mf are the direction-cosines of a tangent to Q7P at
the point having the mean value 4; also
lo = doos (x+y), mo=dsin (y+ ¥),221) STRONG VARIATION WITH CURVED ARC 351
where d is the length of the line PQ, y is the inclination of the tangent of
the characteristic curve to the axis of , and x is the angle between PQ and
this tangent,
The function E' must be positive at all points of the curve for all values of
and m (and so of Z and M) if there is to bea ‘minimum ; it must be similarly
negative if there is to be a maximum.
Bes.1, Varify that Bis positive (40 that « minimum is admnisible) for al intageas of
the type
[re ncrayoh a,
Ez. 2, The arc PT@ is taken to be circular, an arbitrary radius ¢ being chosen, as in
§ 222 (post).
Provo thatthe vatiation ofthe intogral can he expressed in the form
D
sin go (OF OP) ar. ar.
DG R HG) PGonoesyand)
where ¢ isthe (arbitrary in
F(e, 9, XB) X= cos (p+e), =!
Exp.
ation of the chord QP to the axis of x, where F denotes
sin (+e), and where ¢ is a mean value of x such that
iP
2F (2, 95%, sin 2 — ge ‘pF (2, 9, 008 (+) sin ($+x)} dy.
Zs 3: Consider the caso when the arc PQ is parabolio, point (X, Y) on it being
given by
He, Youte2
Xan-$e, vans de
At P, lett=05 at Q,let t= 7. Then we
take the straight line QP=D, wi
direction-cosines J, m: so that
xf= WD
ee
7-£ 7%,
sqemDap Pe 7,
Thus
+
#
»
ie
ae
a-£7
‘and therefore
dma
am
Let 2, m=cos $, sin 80 that = @PH, a=A'PY; then, if
xe gran QPs’,
oh
Also, if P/Q is a right angle,
0 that Pif= 7,