Surfaces With Curvature-Cayley
Surfaces With Curvature-Cayley
Surfaces With Curvature-Cayley
Early
Journal
Content
on
JSTOR,
Free
to
Anyone
in
the
World
This
article
is
one
of
nearly
500,000
scholarly
works
digitized
and
made
freely
available
to
everyone
in
the
world
by
JSTOR.
Known
as
the
Early
Journal
Content,
this
set
of
works
include
research
articles,
news,
letters,
and
other
writings
published
in
more
than
200
of
the
oldest
leading
academic
journals.
The
works
date
from
the
mid-‐seventeenth
to
the
early
twentieth
centuries.
We
encourage
people
to
read
and
share
the
Early
Journal
Content
openly
and
to
tell
others
that
this
resource
exists.
People
may
post
this
content
online
or
redistribute
in
any
way
for
non-‐commercial
purposes.
JSTOR
is
a
digital
library
of
academic
journals,
books,
and
primary
source
objects.
JSTOR
helps
people
discover,
use,
and
build
upon
a
wide
range
of
content
through
a
powerful
research
and
teaching
platform,
and
preserves
this
content
for
future
generations.
JSTOR
is
part
of
ITHAKA,
a
not-‐for-‐profit
organization
that
also
includes
Ithaka
S+R
and
Portico.
For
more
information
about
JSTOR,
please
contact
[email protected].
On the Surfaces with Plane or Spherical Curves of
Curvatfure.
BY PROF. CAYLEY.
be'- b'c, ca' - cta, ab'- atb, viz: the values are equal to these expressions each
divided by the square root of the sum of their squares. In order that the
surface may have a set of spherical curves of curvature, the above three equa-
tions must be satisfied identically by mealnsof the values of
a, b, c, u, 1, A, B, C, x, y, z
as functions of (t, 0); and it may be seen without difficulty that we are thereby
led to a partial differential equation of the first order for the determination of
the surface. But I do not at present further consider this question of the deter-
mination- of a surface having one set of its curves of curvature (plane or)
spherical.
Suppose now that there is a second set of (plane or) spherical curves of
curvature. We have in like mianner
x(x + y2 + z2) - 2ax-2y-2yz-2v ?0,
(xx -) A + (xy - 3) B + (xz - y') C- X =O,
are the "six equations" for the determination of a surface having its two sets of
curves of curvature each of them (plane or) spherical.
Assuming now the values of a, b, c, 1, u as functions of t, and a, 7
/,7 v
as functions of 0, the question at once arises whether we can then satisfy the
six equations. These equations other than Adx + Bdy + Cdz-- 0, or say the
five equations, in effect determine any five of the eight quantities A, B, C,
10
74 CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature.
V A z y-d) + B dx d C d d
If this be satisfied, then we have an integral equation 1= 0 (containing a con-
stant of integration which is an absolute constant) and which is in fact the
equation of the required surface. But it is proper to look at the question
somewhat differently. Supposing that the condition V = 0 is satisfied, then we
have the integral equation 1=0 O, and this equation, together with the five equa-
tions, in effect determine any six of the quantities A, B, C, x , y, z, t, 0 in
terms of the remaining two of them, or, what is the same thing, they determine
a relation between any three of these quantities. We can, from the five equa-
tions and their differentials, and from the equation Adx + Bdy + Cdz= 0,
obtain a differential equation between any three of the eight quantities: and it
has just been seen that corresponding hereto we have an integral relation
between the same three quantities; that is (the condition V= 0 being satisfied),
we can from the six equations obtain between any three of the quantities
A, B, C7,x y, z, t, 0 a linear differential equation of the foregoing form (for
instance Zdz + Tdt+ ?dO= 0, where Z, T, 0Eare given functions of z, t, 0) which
will ipSofacto be integrable, furnishing between z, t, 0 an integral equation which
may be used instead of.the before-mentioned integral equation 1= 0. And we
thus have (without any further integration) in all six equations which serve to
determine any six of the quantities A, B, C7, x, y, z, t, 0 in terms of the
remairlingtwo. It is often convenient to seek in this way for the expressions
of (A, B, C and) x,y, z as functions of t, 0 in`preference to seeking for the
integral equation 1= 0 between the coordinates x, y, z.
The condition V = 0 is in fact the condition which expresses that at any
point of the surface the two curves of curvature intersect at right angles.
Serret (and after him Bonnet) in effect obtain the condition by the assumptior
CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature. 75
B (xz-y) -
C(xy-3): C (xx-a) -A (xz -y): A (zy /3)
-
B(xx -a).
We have thus the required condition, in a form which is readily changed into
(A2+B2+ C2) (kx-a)(x -a) +(ky-b)(xy-3) + (kz- c)(xz -7)
-{A (kx-a)+B(ky- b) +C(kz-c)} I A(xx-a) +B (xy-3) + C(xz-7) J= 0,
I proceed to show that this is the condition V = 0 for the integrability of the
differential equation Adx + Bdy + Cdz= 0. Writing as before
/ dB dC\ / d dA) dA dB
dz dy / dx dy dx
76 CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature.
We hence find
L
dz = [(xz-y)A- (xx-a) C] kC + (kz-c))
+ [(kx-a)B-(ky-b)A] (-xB + A
(xy_)
(dB dC\
and combining these two terms, ini the resulting value of a ( d - first
the term without L or A is found to be
-kA A (xx- a) + B (xy- )+ C(xz-y)
-k (xx- a)(A2+ B2+ C2)
+ x (kx- a)(A2?+ B2+ C2)
+ xA [A (7kx- a) + B (ky-1b) + C(7z -c) ,
which is
- -kA + k (xx - a)- x (kx - a) + xAl,
A(xl- ka) - ka + xa.
which is
- A [(kx - a)(zx - a) + (ley- b)(xy -) + (kz - c)(xz )]
(kx - a)[A (xx- a) + B (xy - + C(xZ - )]
- AM- (kx -a) X.
We thus obtain
If we consider separately the cases where the two sets of curves of curva-
ture are each plane, the first plane and the second spherical, and each of them
spherical; or say the cases PP, PS and SS, then in these cases respectively the
condition is aa + bg3+ cy - l72= 0,
aa + b, + cy 1-t + u = 0,
aa + bg + cy - 1i + u + V =0:
we have in each case to take the italic letters functions of t and the greek
letters functions of 0, satisfying identically the appropriate equation, but other-
wise arbitrary; and then in each case the six equations lead to a differential
equation Adx + Bdy + Cdz= 0 (or say Zdz + Tdt + @4O= 0) between three
variables, which equation is ipsofacto integrable; and we thus obtain a new inte-
gral equation which with the original five integral equations gives the solution
of the problem. The condition is in each case of the form 2aa = O, the number
of terms aa being 4, 5 or 6. Considering for instance the form
aa + b3+cy+dA+ ee+fcp=O
with 6 terms, it is easy to see how such an equation is to be satisfied by values
of a , b c, d , e, f which are functions of t, and values of a, d3,y (3, E, (p which
are functions of 0. Suppose that t1, t2, .... are particular values of t, and a1,
b, X.... .I; a2 , b2
62 *- - Al etc., the corresponding values of a, b, .... f, these
values being of course absolute constants; we have a, .... cp, functions of 0,
satisfying all the equations
(a,, bl, C17 dl, ej,fiXa, kt,y,Us, 6,El) o,
(a2, b2, C2, d,2, e2,f2 ,
etc.,
and if 6 or more of these equations were independent, the equations could, it is
clear, be satisfied only by the values a = y = (= E= (p= 0. To obtain a
proper solution, only some number less than 6 of these equations can be inde-
pendent. Suppose for instance only two of the equations are independent; we
then have a, 93, y , E, (pfunctions of 0 satisfying these equations, but otherwise
arbitrary; or, what is the same thing, we may take a,j3, y, 3, E, (plinear func-
tiolns of 6 - 2, 4 arbitrary functions, say P, Q, R, S of 0; say we have
a
.(o.
a3.P. a, ,2, Q, R, S),
a
(o07 ..... > " ),
* * * * * * * * * * * * * *
* * * * * * * * * * * * * *
=
*p ((Po **** **.
80 CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature.
where the suffixed greek letters denote absolute constants; and this being so, in
order to satisfy the proposed equation aa + b,3 + cy + df3+ ee + fp =0, we
must have
yo 7o, cox cpa, b, c, d, e, f)-
(aox09 7o 0,
(., ....... .. ")
(a2,S )0 -,....3 s
(a3 .,
the condition is
aa + b61+ cy - 1= 0
(not containing u or v, so that these remain arbitrary functions of t, 0 respec-
tively). The cases are
a b c 1 a a
PP1? 1 0 c 0 0 1 0 a
PP2? 0 1 0 -m a -ma y a
PP3? 1 0 c mc 0 1 ma a
m is an arbitrary constant, and in the body of the table c is an arbitrary function
of t, and a, y/, a arbitrary functions of 0.
PP1? is Serret's first case of PP, included in his second case.
PP20 gives developable.
PP3? is Serret's second case of PP.
= f +(f g) t2'
1 _ g + (g _A 02
(2 - 2) a =
(f g)(t2+ f02) jj
or thri n ot te
or f2 g
(T E))(T +{)
or tbrowing out the factor T + ,E- and reducing, we have the required value;
and thence forming the values of A anidB, we have
A =-tT f e , B = - OE) f
T - 9' T--e E' ,' a =fT-_ gO.@
T-?E'
we have, moreover,
x+tz-P, y+z=H11,
or differentiating,and writing P1 and I' for the derived functions in regard to
t and 0 respectively,
dx =-td,z-zdt + Pldtt, dy- 'Odz -zd,0-H dO.
84 CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature.
f(tTP1dt + OErl'dO)
= (gtT(T ) dt + f00 Q() do)
f0cF
F + gtFi, D-( + <,2
In fact this will be true if only
we then have
x=+ tz=g0 X Y+ Z- =0 ,
t
T2 f+ (f - g)t2, s g + (g f) 0,
and that F, 'D denote arbitrary functions of t, 0 respectively. I repeat also
the foregoinigequations
-
A, B, C=- tTf_9
T -e'
-
-f} OEfT- 0'3 fTT- e(3(i
The equations may be presented under a different form; we have
where it will be observed that the second and third equations are the derivatives
of the first equation in regard to t and 0 respectively. We thus have the required
surface as the envelope of the plane represented by the first equation, regarding
therein t, 0 as variable parameters. Moreover,the second equation (which contains
only the parameter t) represents the planes of the curves of curvatureof the one
set; and the third equation (which contains only the parameter 0) represents the
86 CAYLEY: On the Suifaces with Plane or Spherical Curvesof Curvature.
planes of the curves of curvature of the other set. It is to be observed that from
the equations for 1, X (viz. A + tC=gt and B + OC=f0) it appears that for
any plane of the first set the inclination to a tangent plane of the surface is
=cos- gt and that for any plane of the second set the inclination is
CO- Vf+d
=cos' z1 + 02.
Hence writing F+?D = k (A + B), k times the suin of two arbitrary func-
tions of a and d3respectively, the equation becomes
ax dy + z t%s/i 71 + 2l + A + B=-
viz. the surface is given as the envelope of this plane considering a, d3 as two
variable parameters. This is the solution given by Darboux, "Le,cons sur la
theorie generale des surfaces, etc.," Paris, 1887, pp. 128-131. He obtains it in a
very elegant manner, starting fromnthe followinig theoremn:Take A, Al, etc.,
functions of the parameter a, and B, B1, etc., functions of the parameter g3;then
if we have identically
(A1 - B1)2+ (A2 - B2)2 + (A3- B3)2 -(A4 - B4)2,
We deduce this from the second case by writing therein m = 0, that is,
g = 0, f = oo; but it is necessary to make also a transformation upon the
parameter 0, viz. in place thereof we introduce the new parameter p, where
02 02~ gep
tgc2' this gives
2
192= f + (g _ f) 02= g (( + (g (l 2_
-_ gcP2
and thence
=
06 0=Vg +(g
+( f) 02
fT0=77
VfV1iq2~ -2 ff -g gE) for g 0 is = T.
We have also T= Vf+ (f g)t2X = VfVi + t2 when g = 0, and substi-
-t my + z F+cF0
^/f^/V
+ tf %If l
,/ t2 % Vf
where the divisor VIf is to be omitted. Hence finally, instead of p restoring the
original letter 0, and again considering 'D as a ftinction of 0, the equation is
z- tx Oy
F+ D
Vi+t2~~~~0
s/1 t2 4,/ 02+ =o,
viz. here F, 1 are arbitrary functions of t, 0 respectively, and the surface is the
envelope of this plane considering t, 0 as variable.
We obtain an imaginary special form of PP10 by writing in this equation
kOfor 0 and then putting k = o; the ci reinains an arbitrary function of the new
0, and the equation is
tx
- ~ ~~ ^/1 Y F+
( =s/ - 1 as usual). This is in fact the equation which is obtained from PP30
by simply writing therein g = 0 without the transformationupon 0.
CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature. 89
PS. THE SETS OF CURVES OF CURVATURE, THE FIRST PLANE, THE SECOND
SPHERICAL.
The six equations are
A2+B2+ C2 -1,
ax+ by + cz + u o0,
Aa +Bb+ Cc + - 0,
x2 + y2 + Z2- 2ax - 23y - 27z - 2v = 0,
A(x-a) +B(y {()+ C(z-y)-2 =0,
Adx + Bdy + Cdz -0.
The condition is
aa + b3 + cy- 1 + u== 0,
(not containing v so that this remains an arbitrary function of 0). The cases are
a b c I u i oc r
PSi, a b c 0 0 0 0 0
PS2? a b c I ml 0 0 0 m
PS30 (a b c -mc 0 0 0 y y
PS40 a b 0 1 ml 0 0 y m
PS50 a b 0 0 0 0 0 y
PS60 0 b 0 1 ml a 0 y m
1
Ps70 a b 0 ma 0 a 0 y - a
where m is an arbitrary constant and in the body of the table the other italic
letters are arbitraryfunctions of t, and the greek letters arbitrary functions of 0.
PSi0 is Serret's first case of PS, included in his second case.
P82? gives developable.
PS30 is Serret's second case of PS.
PS40 is Serret's third case of PS.
PS50 gives circular sections (surfaces of resolution).
PS60 gives circular sections (tubular surfaces).
PS70 gives circular sections.
12
90 CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature.
I consider
PS3?= SERRET'SSECONDCASE OF PS.
YVl - m
C22 BPV - cIm2 + (cA - aC) VO + (M2 - 1) 2,
and consequently,
(1-c2)/ dA= b(C +c'm) -acV/f a4dC
-B (C + m) dc + (adb -bda)Vs/,
(1 -c') VQ dB -a (C + c2in) - bcV? } dC
which, observing that the terms in Ccp,/Vfdestroy each other, and that we have
(C+ m)(C+ c2m) + Q = (1 -c2)(1 + Cm), gives
- c(1 + CM) 0 +
c2m2VO+(n->p(q2
-)2
Bx-Ay=~I%V1
and the equation becoines
-c (l + Cm) ^/
0 + (m2 _1 p2 { (C + n) dc + (adb-bda)V/fi
7
First, for the term V/1 -m2 c (adb -6da)
~ ~ ~ (-C2)VA/I i we take a,b
C2rn2 ; etk
a b c functions
uctoso of t -
which are such a2+ b2 + c2= 1; and then writing a1, b1, c1 for the derived
functions so that aa1+ bb1+ cc1=0, we assume a', b', c' = Va1, Vb1, Vc, where
1
2 2
+ C2 we 2+ + c'2
V2- a + bi + c we have therefore aa' + bb' + cc' = 0, and a2+ b'2 '=1
CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature. 93
and then writing a", b1, c"= bc'- b'c, ca'- c'a, ab' - a'b respectively, we
have aa" + bb" + cc"= 0, a'a"+ b'b"+ c'c"= 0, a"12+ b"I2+ c"2=1; thus
a, b, c, a', b', c', a", b", c" are a set of rectangular coefficients. We then write
a b, c- (a' + mb"), (b' - ma"), - c',
determining p so that a2+ b2+ c _ 1 as above, viz. we thus have
p2 (1 + cm), + c'2m2.
Observe that we thus have p2(1 - c2) = p2- c'2 and p2(1-c2m2) = (1 + cm)2.
Writing now
T= tan-1 c"ac+ nd therefore Sii, c+ cos T=c
, /
V i2'V p2- c'2 V9P2
we find that V/ 1-m2 c (adb - bda)
dT
(1- C2)V 1 c2m2
The verification is somewhat long, but it is very interesting. We have
l
dT- mi In2{c"dc - (c + m) dc"d
p2 c12
1%/M V/0+(M2-j)4p2-VO+(M2-j)C]2'
sin0 /
I , cos 0= O _
0 + (M/2
we find
=_ I
_1 -20c)dO
cos dE m2(?
Hence
Vi -m2l r - 20_:F' p - 20p' d
clO+d00 20 lye/0+ (m2 _~ 1)PiI2 4/0 + (m2 - 1) 21
We thus have
1+Cm
+ cm Vp2 c
where the term (b' - ma")Z - c'V 1 - m2 Y contains the factor 1 + cm; in fact
this is
=(b'- ma")1 (c + m) cos (E-030)- ,/1W-qm2 sin (0E- ) }
-c'i/ 1-m2 bVi -m2 cos (0 -00)-(b" +Ma') sin ((3- 0) t .
The coefficient of the cosine is (b'- ma")(c + m) - bc' (1 - M2), which is
b'c- bc'+ m (b'- ca") + m2 (- a"+ bc'), a" + m (b'- ca") + m2 (- b'c), -
(1 + cm)(-a" + mb'),
CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature. 97
and similarly the coefficient of V 1- m2 sine is - c" (b'- ma") + c' (b" + ma'),
- b'c"+ b"c'+ m (a'c'+ a"c"), - a + m (- ac), =(1 + cm)(- a). Cal-
culating in like manner the values of y and z, and putting for shortness
X1= (-a" + rnb') cos (Q3-80)- aV 1-m2 sin ( 3-0),
Y1-= b"-ma') cos (Q3-0) -bV I -- ml sin (-? 60),
Z=- c"V1 -in2) cos (E0- 00) + (c + i) sinQ(3- o-
we have
x= qV M2IX+ XiV 0 + (m2l 1) q)2- m (b'- ma")/0 + (m 1) q2,
y __= pVi-m2Y+ YiV0 + (m2- 1p2+m (a'+ mb")VO+ (VI2_>2,
1)
Z-VI - m2{pV1-,m2Z+ Z1VO+( n2 1)q
aXafl+ b
bY1+
Y1+cCV/1- _M2Zl
IZ= 0.
The foregoing values of x, y, z thus satisfy ax + by + cz = 0, which is one
of the six equations. The others of them might be verified without diffi-
culty. I recall that we have a, b, c- (a' + mb"), -(b'- ma"), -c'; the
six equations might therefore be written
A2+B2+ C2=1,
x +- (b' -ma") y + c'z = 0,
(a' + mbb")
(a' + mb")A + (b' - ma")B + c' C = - c'm
x2+ y2 + (Z_ M)2 =0 + m2p2,
Ax+By+C(z -imp) . 1
Adx+Bdy+ Cdz 0.
This is at once deduced from PS30 by writing therein Mn= 0; the formulae
are a good deal more simple. We introduce as before the rectangularcoefficients
13
98 CAYLEY: On the Surfaces with Plane or Spherical Curvesof Curvature.
a, b, c, a', b', c', a", b", c", and the values of a, b, c then are a', b', c'. The six
equations, using therein these values for a, b, c, are
A2 +B2 + C0 = 1,
a'x + by + c'z = 0,
a'A+b'B +c'C=0-,
X2+ y2 + z2 = 0
Ax + By + Cz =.
Adx + Bdy + Cdz= O.
e=
sin (3 - ,/ cos -P-
which are the expressions of the coordinates in terms of the parameters t and 0.
(To be continuqd.)