.'i^_\,^'i'T;>j
^ii^M
Ube XHniversitp ot Cbicaao
SOME SPECIAL CASES OF THE FLECNODE
TRANSFORMATION OF RULED
SURFACES
A DISSERTATION
SUBMITTED TO THE FACULTY
OF THE ODGEN GRADUATE SCHOOL OF SCIENCE
IN CANDIDACY FOR THE DEGREE OF
DOCTOR OF PHILOSOPHY
DEPARTMENT OF MATHEMATICS
BY
JOHN WAYNE LASLEY, JR.
Private Edition, Distributed By
THE UNIVERSITY OF CHICAGO LIBRARIES
CHICAGO, ILLINOIS
1922
XTbe TaniverBiti? of CblcaQo
SOME SPECIAL CASES OF THE FLECNODE
TRANSFORMATION OF RULED
SURFACES
A DISSERTATION
SUBMITTED TO THE FACULTY
OF THE ODGEN GRADUATE SCHOOL OF SCIENCE
IN CANDIDACY FOR THE DEGREE OF
DOCTOR OF PHILOSOPHY
DEPARTMENT OF MATHEMATICS
BY
JOHN WAYNE LASLEY, JR.
Tl
.O .
Private Edition, Distributed By
THE UNIVERSITY OF CHICAGO LIBRARIES
CHICAGO, ILLINOIS
1922
■•• t-
Li
INTRODUCTION
The general theory of non-developable ruled surfaces may be
made to depend^ upon a system
(i)
y"-\-piiy'-\rpi2z'+qiiy+qi2Z = o,
2" -\-p2iy'-\-p22z'-\-q2iy+q22Z = o
of two second order linear homogeneous differential equations,
where the coefficients pik, qik are functions of x, and where the
strokes indicate differentiation as to x. According to the funda-
mental theory of differential equations these equations have a
general solution, a pair of functions y and z of x, which can be
expressed as linear combinations' with constant coefficients of the
four particular solutions {ji, z^, {{ = 1,2,2,, a) for which the determi-
nant
y'l y'2
z[ z',
yi y^
Z\ Z2
(2)
D =
y\
z\
ys
Zt
does not equal to zero.
If we interpret ji and z,- (i = i, 2, 3, 4) as the homogeneous
co-ordinates of two points in space, we obtain two curves
yk=yk{x), Zk=zk(x) (^=1,2,3,4).
The line joining those points which correspond to the same values
of X generates a ruled surface. This ruled surface will not be a
developable as a result of the hypothesis that D is not equal to zero.
Let us transform the system (i) by putting
(3) ri = ay-\-0z, ^ = yy-\-8z, ^ = ^{x),
where a, /3, 7, 8, ^ are arbitrary functions of x for which
' E. J. Wilczynski, Projective Diferential Geometry of Curves and Ruled Surfaces,
Leipzig, 1906, pp. 126 ff., hereafter referred to as W.
492860
FLECNODE TRANSFORMATION OF RULED SURFACES
This transforms (i) into a new system of the same kind. The inte-
grating ruled surfaces of the two systems are the same, but they
are referred to a different pair of directrix curves and a different
independent variable.
The fundamental invariants of (i) are^
(4)
where
(5) /■ = 7^„+M3
and
,
Mi
Mi
(6)
M,
M,
,
Vi
Vi
(7)
V2
v^
f
w
w
(8)
W:
W-
6, =P-4/, ^4-i = 8&4^;'-9^;'+8/^.
e,,={p-^){K-r^)-\-{ir-2jy,
till M22 W12 W31
Vij —V22 fij V21
Wii—U'22 W'l2 U21
^ = Wli + M2J, J = UiiU22, — Ui2U2l, K = Vj{U22 — Vi2V21,
= 2pu — 4qii-\-p\i-\-pi2p2i ,
= 2/>i2 — 49i2-f /'l2(/'li + /'22) ,
^2Pji—4q2i-\-p2i{pii-\-p22) ,
= 2p22 — 4q22-{-Pl2-i-pi2P2l ,
■■ 2Mii+^i2«2i — />2,M,2,
2Ui2-\-{pll-p22)Ul2-pl2iUll — U22),
■■ 2Mji— (/>„ — /) J «« + />„ (Mii — M J ,
• 2Mj2 pI2'^2ll p2l'^^I2 >
= 2V'ji-\-Pl2V2t — P2lVl2,
= 2f 1',+ (pii - />«)»« - piiiVii - f 2j) ,
= 2V2i—{pii—p22)V2l-\-p2l(Vll — V22) ,
= 2V'22 — pl2'V2i + p2lVl2-
A tangent plane intersects a surface in a plane curve which has a
double point at the point of contact. If one of the double-point,
tangents is an inflectional tangent to this plane curve, the point
of contact is called a flecnode, a name due to Cayley.' From the
point of view of Salmon,^ followed here, the inflectional tangent at
this point intersects four consecutive generators of our surface.
On each generator there will be in general two flecnode points,
' W., pp. 102, 104, 112.
* A. Cayley, Collected Mathematical Papers, II, 29.
J Cambridge and Dublin Mathematical Journal, IV (1849), 252-60.
INTRODUCTION 3
since four consecutive generators of a ruled surface have two
straight-line intersectors. As x varies these two points trace a
flecnode curve of two branches. The tangents to the asymptotic
curves through the flecnode points generate a flecnode surface of
two sheets. For any system of form (i) the flecnodes are obtained
by factoring the quadratic covariant
C = Ui2Z^ —U2iy^-\- {uij,—U22)yz.
When a ruled surface 5 is referred to its flecnode curves, W12 = U21 = o.
We may without loss of generality take ^„ = P22 = o. Under these
conditions the system of differential equations for one sheet F'-^'' of
the flecnode surface may be written'^
(9)
Pi2 P12
p"-\-[2(q,^-^q22)-pi2p2i]y'-2^ p'+ 2q',,-p,2q2i-4T^qii \y
Pl2 I Pl2 J
— gjaP =
where
p = 2y'+pi2Z, (x = 2z'+p2iy.
In precisely the same way the system for the second sheet F<~'^
may be written, if in (9) we transpose the subscripts and replace
y and p by z and a, respectively. This system we shall denote
by (10).
We shall call /^^'^ the first flecnode transform of S. We shall call
F'-~^^ the minus first flecnode transform of S for the reason that^
the first flecnode transform of F'-~''^ is S. The minus first transform
of F^'^ is S. The first transform of F^'^ we shall call the second trans-
form of 5 and denote it by F'-^K Continuing in this way we obtain
a suite of surfaces which we shall call the flecnode suite. Questions
naturally arise as to the cases in which this suite either terminates
or returns again into itself. This paper concerns itself with some
of these questions.
The author wishes to express to Professor Wilczynski his deep
appreciation for his genuine interest and helpful criticism.
' W., p. 153. = IMd., p. 178.
I. CASES OF TERMINATION
A flecnode tangent is not ordinarily tangent to the flecnode
curve. If it were, since it is at the same time tangent to the
asymptotic curve which passes through the flecnode point, the
flecnode curve would be a straight line. The corresponding sheet
of the flecnode surface then degenerates into a straight Une. In
this event any ruled surface made up of the Unes intersecting
this line may be called its flecnode surface. If we try to continue
the flecnode suite, we are powerless to determine which of these
surfaces to select. We shall say in this case that the flecnode
suite terminates with its first transform, since it cannot be con-
tinued in unambiguous fashion. A necessary and sufficient condition
that the flecnode suite terminate with its first transform is dio = o,
i.e., the given ruled surface has a straight-line directrix.
Since the ruled surface has a straight-Hne directrix let us take
this line as one of the reference curves Cy. Let C^ be an arbitrary
curve. We may write
^^^^ \Zi=/i(^), Zj=/j(x), Zj=fj{x), Z4=I.
Let us compute the system (i) for which these are the funda-
mental solutions. We obtain^ the following system,
z''+[xf','-f--x^-^+f^)y'-^^z'^
whence by (6)
««=2j/3,:«:K/»-^/o+2(:»^'+2)(/r--^')-3;p-Wx''-/n
•h2(xfr-fn,
' W., p. 128.
4
CASES OF TERMINATION
where \f3,x\ indicates the Schwarzian derivative of /j with respect
to X. The flecnodes are given by
(12) V = yy f=-«2i>'-«222-
(13)
The second flecnode point J" is given by
Si^ W21 ^22/1 )
Sa^ U21X W22/2 >
S 3 ~ W22/3 ,
f4= ^22 •
We obtain the following result: The equations of the most general
curve which can serve as the second branch of the flecnode curve of a
ruled surface with a straight-line directrix can he obtained without any
integration.
If now we make upon y and z the transformation indicated by
(12) we refer our surface to its flecnode curves. The resulting
equivalent system of form (i) is
(14)
77" =0,
f"+( W2l-2^^^^'+/>22W2I-/'2lW22 ]n
U21U22
+ .,]y
-(
L P
'K.
.Pl2
Ip'l
p
Pl^p
iP'A pi.
f. ^*t:-S('"+'">-
Pl2P'21
4
■f 2gxib'
+9.JF = o.
By the choice of suitable multiphers we may transform (17) into a
system which preserves the condition Wj" = w"j = o and satisfies
the further condition pfi=pf2 = o. We accomplish this by putting
(18)
y=p.2v, Y=Y,
where />i2 7«^o on account of the assumption ^wt^o, a transformation
which reduces (17) to
P
,+^K=o,
(19) {
Y"+ \2p'A-^+2p,Mr,+q,,) -p\2p2^ T,'
Ap'^2-^+h§+pUq^^+q22)-pr2p2.p'u-hP\2pn+2q[,p,Ari
Pl2 Pl2 J
11
2PI2
-\-q22)Y = o.
CASES OF TERMINATION 7
We are now in a position to compute conveniently the invariants of
F^^\ In particular we have^
where we use the upper index i systematically for the quantities
referring to the surface /^"'. We find
(20) e=-2^^-§-2(9„+9,,)+^./»...
Pl2 P12
Since d^o is an invariant of the system (17) which is geometrically
determined by (i), it must also be an invariant of (i). We have^
(21)
P12 I
Pl2 lOPIo
Pl2 4''I0
Substituting these values in (20) we obtain
(22) C' = ^(-i60x'o-8^;^xo+4^9C-^,+ i2ei2+04-i)-
I of 10
In order to put ^"o into a form in which its invariant character
will be apparent we seek to replace the derivatives occurring in
(22) by invariants and to put into evidence the isobaric property
which has been masked by the assumption ^4=1. We find that
C = -^(3^S-2M,o-20|^A+20|Mx4-^4^9+O4.i)-
is an invariant which reduces to (22) under the assumption ^4 = 1.
Consequently,
^3O = 3^S-2Mao-2e|eA+20fMi4-^4^9+O4-i = O
is a necessary and sufficient condition for theflecnode suite to terminate
with its second transform.
One naturally inquires about the case d[^''^ = o. It is obtained
from the foregoing case ^"0 = by merely changing the sign of d\.
'W.,p. 119. ' Ibid., p. 120.
8 FLECNODE TRANSFORMATION OF RULED SURFACES
If ^30 = 0, we may use the methods of the first part of this
section to compute the second branch of the flecnode curve on F*".
This curve is at the same time a branch of the flecnode curve on 5.
We can obtain both branches of the flecnode curve on S, by apply-
ing the minus first flecnode transformation to F"'. Thus we see
that the eqtiations of both branches of the flecnode curve on S may
be determined without any integration if the flecnode suite terminates
with its second transform.
II. CASES IN WHICH THE GENERATORS OF THE
SECOND AND MINUS SECOND
TRANSFORMS INTERSECT
Let us inquire whether the generators of the second and minus
second flecnode transforms can intersect. Consider the quantities
(23)
pki) = 2y' — 2^ y — p ,
II =2p'-{-[2(q,^-hq22)-pi2p2i]y-2^p,
formed from (9) just as p and cr were formed from (i). Since the
original system has been taken in the form for which pji = P22 = W12 =
U2x = o, we have
2qiI=Pl2 , 2/>i2/>2I— 4(911+922) =«Ii + «22 ,
pi2Z = p—2y', 2p'+^i2;-/>,,,,«( -I) 7P+ /a ^ m(-^)7-m(-')5 W ,
where the upper index — i refers to the system (10). The point
Pz is the second flecnode point on F^~'\ and o-^~*^ is the point on
the line p^~^V corresponding to it. The quantities p^~'^ and v are
obtained from (10) just as p and co7+w(-"cj5 = o ,
p2l
where co is a proportionaUty factor. This requires the vanishing
of the determinant of the system, which after a combining of
columns can be written in the form
CASES IN WHICH GENERATORS INTERSECT
II
(29)
or
(30)
2
O
^21 P21U21
PI2U
(I)
o
2
o w^-')
4pi2p2i(ulT'^u^'^-u^^^u'-'^y-{uu^-'^u^^^y = o
We proceed to express (30) in terms of the invariants of S.
We have u = u^~^'' = u'-^K Our condition (30) can be written
(31)
Now we have^
4pi2p2i{ui^ " + M^iO' — W4 = '
U' = i
4q=-u,
P12 P'2:
BaOq
\Pl2 p2l/ 4^10 '
M.=|, »;r»+«Si'=«(g-|;).
Substituting these values in (31) we find
(32) t?i8=^9-^Ao=o.
In the foregoing we have assumed d^r^o, 6 ^0^0, cases dis-
cussed elsewhere in this paper.
If ??i8 = o, we may recover again the determinant of the system
(28) whose vanishing is a necessary and sufficient condition that the
system have a non-trivial solution. The quantities a, (3, C07, co5 are,
in fact, proportional to the cofactors of the elements of any row in
the determinant of the coefficients. Since the cofactors of the
corresponding elements in the rows are proportional we are led to a
unique set of ratios unless all of these cofactors vanish, i.e., we
have a definite point of intersection. Consequently, ??i8 = o is a
necessary and sufficient condition for the generators of the second and
minus second transforms to intersect.
' W., p. 119.
12 FLECNODE TRANSFORMATION OF RULED SURFACES
If we choose the independent variable so that ^4 = 1, the condi-
tion (30) becomes
(33) 4(Pl2p21-p21p'uy-pl2p2l = 0.
We may solve this relation in symmetric fashion by putting
P21
Then {;^^) gives upon integration
(34) Q=cJ^.
If we assume pn = p22 = Ui2 = U2j. = u—i=o (32) becomes
(35) ^-^10=0.
Under the same assumptions Carpenter^ has shown that Cy is a
conic if, and only if,
(36) e,+2e',o=o.
We shall assume d^y^o, for if ^9 = then by (35) 0io = o, a case dis-
cussed elsewhere in this paper. Differentiating (35) we have
(37) ' 26,6^-6^0=0.
If now we eliminate d[o from (36) and (37) we find, since 6^9'^ o,
(38) 4^;+i = o.
Integrating (38) we get
69=-i(x-\-c).
From (35) we find
6^o=Mx■^cy.
Using the condition^ that Cy be a plane curve we have
Moreover, we have assumed ^4=1. Thus we have obtained
expressions for the four fundamental invariants in terms of the
'C, p. 515. ' Ibid., p. S16.
CASES IN WHICH GENERATORS INTERSECT 13
independent variable and one arbitrary constant. We may now
compute^ explicitly the coefficients of (i). They lead us to the
system
(y"-hdz'-iy = o,
(39) I 2-+ j^(:,+,)y+_I_(^_,)3,=o ,
where c and d are two arbitrary constants. However, one of these
constants is not essential since
y = ay, z=bz, ^ = x-\-l,
the most general transformation which leaves our conditions undis-
turbed, serves when
^=d^ ^='' ^=r
to remove d. The resulting system is
(y"+kz'-\y=o,
I 16 16
For every value of k, (40) defines a class of mutually projective
ruled surfaces. We see then that there exists a single infinity of
classes of mutually projective ruled surfaces the generators of whose
second and minus second flecnode transforms intersect, which have
the additional property that the flecnode curve consists of two distinct
branches, one of which is a conic. It can readily be shown by a
direct test that the system (40) has all of the properties attributed
to it.
Let us inquire whether in addition to the foregoing the second
branch of the flecnode curve may be plane. The necessary condi-
tion is^
(41) 2Mio-3^io+^o=0.
But the values of d^o determined above clearly do not satisfy (41).
So we conclude that there are no ruled surfaces whose second and
minus second flecnode generators intersect, which have the property
' W., p. 120. 2 c, p. 516. ■
14 FLECNODE TRANSFORMATION OF RULED SURFACES
that their flecnode curve consists of two distinct plane branches, one
of which is a conic.
We proceed to compute the invariants of F^'^ and F^~^^ in terms
of the invariants of S for the case t?i8 = o. For this purpose we shall
use the form (19) in which the surface is referred to its flecnode
curve and multipliers for the dependent variables have been chosen
so as to remove certain derivatives. The equations for F'-'^^ may
be obtained from (19) by transposing the subscripts provided the
dependent variables f and Z are put in place of 77 and Y. We
find the following values for the invariants of system (19)
L F« /*" • J
(42)
P12 Pl2
e^:i=i6(-2^+s§+P^2P»).
\ Pz2 Pa
The corresponding invariants for F^~'^ may be obtained from these
by transposing the subscripts. If t?i8 = o, we have
[ p^2p^^=\{2e',o+e^) , p2xpa=li2d',o-e,) ,
(43)
911+922=^(16^10—^4.1) ,
P^2 16^,
(8^10^10+2^9010+^10 — 4^10) >
l^ = -7V(32Oxo'-480ioOi'o-I209^io+l609Mio+24^i'o+^9U,
Pu 04tfJo
giving the following values for 0"', dg\ etc., in terms of the invari-
ants of S, upon the hypothesis that the independent variable is
chosen so as to make ^4=1,
^9" = ^(-32^o^x'o'+48Mx'oC+I209^io-l6Mxo0i';-240x?
(44)
- ^9^10+ 20x0^4-1+ ^9^0^4-1+ 2^o^;x) ,
^"0 =-^(-l6Mx';+I20.'?-0xo+O4.x) ,
10^0
^i'J=^(-i6Mii+8e,0,'o+.exo+2O0iS+i6^o)
CASES IN WHICH GENERATORS INTERSECT 15
For the computation of the invariants of F'-~^'> the equations (43)
remain vaUd if we transpose the subscripts in the left members and
replace 6^ by — dg in the right members. Consequently, equations
(44) with the latter change give us the corresponding invariants of
If we abandon the hypothesis 64 = 1, we find the following
/.--) J —^4 ^9^10 ~ ^0^15^4-1+ ^4^9^10^4-1 ~^o^is) >
I
where^
-10 z-/)2"(~ 2^10^20+3^5 ""^^10+^0^4.1) ,
lOtflo
C = i-(-2M.o-4^!^As+^5^io+5^s) ,
^IS — 5^io^4~ 204^10 , ^15 = 5^4.1^4—2^4^4.1 ,
To verify (45) it is sufficient to note that these formulae reduce to
(44) when ^4 = 1, and that the right members of (45) are invariants
of 5.
The invariants of F'-~'^^ are given by a system obtained from
(45) by replacing dg by -6^.
Since 0io = 0i7" we conclude that in case the generators of the
second and minus second flecnode transforms intersect, the minus
first flecnode surface belongs to a special linear complex if, and only
if, the first flecnode surface belongs to a special linear complex. In
this event the second and minus second flecnode surfaces are straight
lines having a point in common.
Let us inquire whether the corresponding absolute invariants
of F'-^^ and F^~^^ may not have the same values. Equations (44)
and the corresponding ones for F''~^'> show that it will then be
necessary that
' W., p. 112.
[ 1209^10— 16^9^10^10 — ^9^io~l~^9^o^4-i = •
i6 FLECNODE TRANSFORMATION OF RULED SURFACES
We shall again assume that 6g9^o. Since t?i8 = o we must then
have also Bio9^o. The equations (46) reduce to
(47) ^10=0, 04.1=1.
Equations (44) show that in this case
so we conclude that the absolute invariants of the first and minus
first flecnode transforms are equM if, and only if, these surfaces belong
to special linear complexes.
III. CASES OF PERIODICITY
It has been shown^ that each sheet of the flecnode surface of S
has S itself as one of the sheets of its flecnode surface. Thus
the minus first transform of 7^'" is S. The first transform will
ordinarily be a new surface F^'\ Let us inquire whether it too
can coincide with S. If so, the flecnode suite will be periodic, of
period two. In this event the two sheets of the flecnode surface
of F^" must coincide. Then the two sheets of the flecnode surface
of 5 cannot be distinct, else' they would be distinct on /^'". Thus
we see that ^4 = is a necessary condition. It is evident geo-
metrically that this condition is also sufficient. We conclude then
that the flecnode suite is periodic, of period two, when, and only
when, the flecnode curve meets every generator in two coincident points,
or is indeterminate.
This theorem may also be established analytically. The
ruled surfaces for which the flecnode curves are indeterminate are
quadrics. In this case we have not only ^4 = 0, but Wi2 = W2i = Wii —
U22 — 0. The flecnode surface in this case coincides with the original
quadric generated by the generators of the second kind. The
second flecnode surface is the original surface generated again by
its first set of rulings.
We may now assume 6 ^9^0 and ^lor^o since the cases excluded
by this hypothesis have been considered already. The generators
of the first and minus first transforms are^ generators of the second
kind on the quadric which osculates our original ruled surface along
a generator. They are distinct since we have assumed dj^9^o.
Consequently, they cannot intersect and, therefore, the flecnode
suite cannot be periodic, of period three.
This theorem, too, may be established analytically. We pro-
ceed to determine whether the flecnode suite can be of period
four. We shall assume again d^j^o and ^io?^o. We require that
the line joining the point Y to the point Z be a generator of F^'\
' W., p. 178. 'Ibid., p. 147.
17
1 8 FLECNODE TRANSFORMATION OF RULED SURFACES
In particular, it is necessary that the point (r"\ given by (25), shall
be a point on this Une. Now, any point on the line YZ is given
by the expression
Consequently, we must have
(48)
M2'a+ 2
-<+^MW^*Mw = 0,
P12
Since the three quantities a, ^, 00 cannot all be zero, it is necessary
that the second order determinants
(49)
P12U21
<
Pl2
}
«(^>
Pl2
shall both vanish. Now pi2^o, else the hypothesis ^10 5^0 is con-
tradicted. Moreover, w"Vo, since the flecnode curves are dis-
tinct on S, and are therefore distinct also on F^". It is necessary
then that
(50)
M^r'V^)-w'VM^-^>=M=o,
However, w = o implies ^4 = 0, contrary to hypothesis. So we
must conclude that the flecnode suite cannot he periodic, of period
four.
VITA
John Wayne Lasley, Jr., was born in Burlington, North CaroHna, Sep-
tember 2 2, 1 89 1. After attending the public schools of his native town he
entered the University of North Carolina in 1906, graduating with the degree
of Bachelor of Arts in 1910. He received the degree of Master of Arts from
this institution in 191 1. In 191 5-16 he attended the Johns Hopkins Uni-
versity, studying with Professors Bateman, Coble, Cohen, and Morley. Dur-
ing the summers of 1917, 191 8, 191 9, and the year 1919-20, he was in residence
at the University of Chicago, studying with Professors Birkhoff, BUss, Dickson,
Moore, and Wilczynski. Since receiving his Bachelor's degree during the
years not specified above he has taught in the University of North CaroUna in
the capacity of instructor, assistant professor, and, associate professor. In
connection with this work he studied with Professors Cain and Henderson.
To all of his teachers he is indebted for inspiration and instruction. To
Professor Wilczynski he is particularly gratefxil for sympathetic interest and
helpful advice during the preparation of this dissertation.
19
THIS BOOK IS DUE ON THE LAST DATE
STAMPED BELOW
AN INITIAL FINE OP 25 CENTS
WILL BE ASSESSED FOR FAILURE TO RETURN,
THIS BOOK ON THE DATE DUE THE pe^altv
WILL INCREASE TO SO CENTS In THE FOURTH
SCerdUE. "° ^'•°° ^'^ ^"^ SEVENTH^Si:;
LV) 21-100m-7,'39(402s)
Tamphlef Uasloy.J.W
Binder - „,
GaylordBros. 1 flecnoae
Syracuse, «• «
PJT JAM 21, "0«
l al cao o o o f i he
rans format ion
face
4l)2cS6J
L3
of
4928(]0
UNIVERSITY OF CALIFORNIA LIBRARY