Professional Documents
Culture Documents
OF THE
University of California.
Class
CERTAIN PARTIAL DIFFERENTIAL EQUATIONS
CONNECTED
DISSERTATION
BY
1897
Of THI
VNIYER8ITY
INTRODUCTION.
In two notes in the Coraptes Rendus of Oct. 26, 1896, and Nov. 16, 1896,
and in the American Journal of Mathematics of Jan., 1897, Professor Craig has
considered certain partial differential equations connected with the theory of
surfaces.
In this paper the work done there has been continued. The first section is
introductory, and gives a brief resume of Laplace's method for the integration of
<^02 ^^ f^Ol'
Then the conditions have been found that must exist in order that the
reciprocals of the principal radii of curvature of parallel surfaces may satisfy the
same partial differential equations as those of the original surface.
The forms to which the equations {Eoi) and (Eoz) reduce for the ellipsoid
and the cyclide of Dupin are then given and it is seen that they may be readily
integrated by the method considered by Poisson.
I desire to make this acknowledgment of gratitude to Professor Craig, who
suggested to me the subject of this dissertation and to whom I am indebted for
valuable assistance.
4 A iCi^a
Digitized by the Internet Archive
in 2008 with funding from
Microsoft Corporation
http://www.archive.org/details/certainpartialdiOOpattrich
CERTAIN PARTIAL DIFFERENTIAL EQUATIONS CONNECTED WITH
THE THEORY OF SURFACES.
du
(2)
A = ^du ab — C)
\-
(3)
k = ~4-ab — c
dv
(4)
or TH£ X
UNiVERSITY i
6 Certain Partial Differential Equations
(5)
1^ +bf =<p_,
<p = If' ;
U=zf{u'), VZ=(/f{l/)',
Make at first
(6)
(7)
If we calculate the new values of h and ky we find that these functions have
not changed.
Make now the substitution
u =f{u'), v = ip{y^.
Equation (1) will become
^li-
+ «i*' w aS + v {»')
1^ + «/ M (^ (»-) f =
The new values A', ^ of A and fc will be
h' = hf{u').p'{v/),i
k' = kf{u')iP'{i/).S (8)
will exchange the values of h and h. All these properties justify the name
of invariants which we and h.
shall give to h
Suppose that the invariants h and h are not zero. Make the substitution
given by the equation
^i = |f + «^. (9)
|g + % = %. (10)
where
dlosh j^ 7 „ 3a , 86 ,3 log A,
,^^
dv du dv dv
K=2h — k ^J|^
,1
^^3^
k, = h. J
They are expressed only as functions of the invariants of the given equation.
Make also the substitution
We shall have
^+ «f'-i = %, (15)
k^i=2k — h
logk^ > (18)
hdv '
J
Thus we deduce from the proposed equation (E) two new equations (Ei) and
{E_i). We can apply the same method to these two equations, but we will
not get two new equations for each of them. The first of the two substitutions
applied to the equation (^_i) will give us the proposed equation in which
....,(J5;_,),(^_i),(^), (^0,(^2),....
(19)
The invariants of the equation (Ei) will be hi and hi_i. By the linear com-
binations of equations (21) we can obtain the relation
^
hi^, = hi+h-k- ^'^''^l\"
dudv
•
'^^
. (22)
1 dG— 1
(23)
El ~ 2Ga^E du
p{ dv R2 \pi Pz/
(24)
1 dp^2_VEf^_l_\_Q
P2 du R^ \p^ p^J
d \/E a/Ea/G'
dv pi^ R2 p2
(26)
d s/G VG\/E
du p2 Ri pi
10 Certain Partial Differential Equations
Differentiating the first of equations (24) for u and the second for v and
d' I VG d I
\du ^^ R2 "^
dudvpi B-i dupi Jii J dv pi
(27)
dudv (h \dv ^ El *
R2 Jdu pz Ri dvp2
/ 7^ > _ 3^f 01 ^G 8f 01 /a 1
^/G . VE\ 9f 01 _
(28)
From equations (26) we derive in the same way as above the following
(30)
.2^o2__a y'^afo2_v^^^"^ --0.
dudv dv
1
^ R, du R,R^
They are equivalent to equations (28) ; that is, they have the same invariants.
3. We shall now consider Laplace's series of equations corresponding to
(£"01) and {E^)y
. . .
. , (J57_ii) , . . . . (J5/_ii) , (£'01) , (J?ii) ) (-^21) , • . • . (-Eii) , .... 1 .gjx
. . . ., (^_«),. . . .(^_x2), (^02), (^12), (^22), . . . . [E^), . . . ./
^/EG . __
dudv ^ ^2 "^ R1R2
' (32)
Connected with the Theory of Sukpaces. 11
(33)
The application of formula (22) will give the general invariants, Thus
we find for all positive values of i
(34)
^e = ^i-i, 2 — OUQV
cio log -^
Ki
KiKz' ' • -hi-uz'
K\ —- "•<— 1,1) \
(35)
f^t2 =^ "i— 1,2* f
= ^-«-l).2-3^l0g-^^/l_12/l_22. . . ./l_U-l,.2.
, _s/EG d' 1
\^G
Therefore,
"•11 ^^^ ''02 ) \
(38)
"'ll =^ "01 ^^ n^02 • J
Hi "i-l,2» \ (40)
12 Ceetain Partial Differential Equations
But we have found equation (39) to be true for i=z2; then it holds for
all values ofi. Therefore, we have the same invariants in the two series of
equations (31), each invariant in the first series being equal to the preceding
invariant in the second series. Then the equations {En) and {Ei_i^2) are
equivalent. Hence, the first may be reduced to the second by replacing the
function (pn by ^fi-1,2 • We can determine ^ by identifying the coefficients in
the two equations. By repeated application of equations (12) we find the
general coefficient «=
Oj-1.2
—n 31og/to2 A<_2.a
—aoz —
_^ d log/tn. . . .^<-l.l
(41)
002
%; ^ ,
Oj_l,2 ^ O02 • J
(42)
(43)
fe<-l,2=^*l + d log X
Replacing o,_i,2 and a^ in the first equation by their values taken from
(41), we get the equation
d\osX_d.VG
By substituting the values of 6<_i,2 and 6,1 taken from (42) the second of
equations (43) may be reduced to the form
Hence,
Ro
\/G
Hence, if in (E^) the function f^ be replaced by —p- ^,_i 2,weshall find (JS',_i,2)'
\/E
In the same way it may be shown that replacing ^_<2 in {E_i2) by ^5-
4. We shall now consider the result of making the equations {Eoi) and (£"02)
l-^^=^'
(46)
|-^^='>-
The integral of the first of these equations may be written
R2
hence,
E=U^V^. (47)
we have then
G = UW^. (48)
or
ds' = X (
Udu' + Vdv') (49
the U's being functions of u alone and the V's of v alone. Then the lines
of curvature form an isothermal system.
The equations (28) both have now the form
dudv dv du du dv '
The equation satisfied by [x, y, z) of any point (w, v) of the surface is now
aVo ,
3 Jog \// 3^0
,
3iog\/^ a^ _Q ,g2^
ai*at;+"au + ^^+'^=^'
its adjoint will be of the form
hence,
_aa_a6_ 3Mogv>i_a^iog;._Q
'
*^
du dv dudv dudv
Therefore,
dudv
We can find
^ _ 31ogA 31og;_^
1 1
^
4 du dv *[ .->.
lc, = h. J
(^^)
Then we have
= ki=zh=ik.
hi (56)
Then all the invariants in the series will be equal. Therefore, we are
led to the consideration of only one equation, (-£"01).
5. Make now the equations {En) and (E12) identical. From equations (12)
we obtain
_
"u
_
— VG_dlogho^
g ^ f
Ml dv
dv ° Bi R^ dv
9 io„V(^_aiog/io2 ,-„.
dv^''^~R;-~dv~~' (^^)
We have also
"~aw R, dudv ^ R
•-^-l^^+S-^l+l")'-^^'-
^ -_?„wv;^ a\/G_a\/£' v^aiog/io2
^'—awai' ^ Ri
.
"^aw r^ dv r,
'^
r,
,
bv
'
aMog;ioi _ d \^E
(59)
dudv dv Ri
But from (23) we see that
d a/e a* , ,^
Hence,
^log^/GK = 0. (60)
Ri
_ aiogV-g _p
dv
E= U^e-'"", (61)
Since
^^\og^G-\-^log* V + dudv
dudv duov
^ log ^
V^— oudv logi2i = 0.
But from (58) we see that the second and third terms of this equation vanish. It
then becomes
log^=:0.
"'M — r) T> y
and consequently
/ifli — "'01 •
h^ = V'^=U'V'; (64)
therefore,
V^ TV
OU
G= 7x6-2^'. (65)
we obtain by differention
d" log hoi__Q
dudv
But it has been found that
J^ log ^^ = ;
This value substituted in tiie second of equations (32) will reduce it to the form
"1 — "7? D •
that is, all the invariants in the two leading equations are now equal.
The linear element in this case will be expressed by the equation
If then M and v are the parameters of the lines of curvature of a surface and
if the two first derived equations in the two series of Laplace (31) are identical,
that is, {En)=^(Ei2)', all the invariants in the two leading equations become equal
to each other and the lines of curvature form an isothermal system.
6. We shall now consider the general case and make (En) = (Efy). To do
this it is evident that we must have the coefficients respectively identical in the
two equations.
We have as in (41)
Gil ==. an 5— log hoihn . . . . A<_-. i ,
Qi, = ^ log
003 htJhi . . . . A<_i, 2 ,
= — -j^ log
aoj hiJiii . . . . hfi.
But __ ^/G
„
" — ST '
^IogA..= J,log^+|^Iog*„;
Connected with the Theoey of Surfaces. 19
therefore, since
„ ^
c„_Coi— ^-....
8«oi 8«<-i,i
-^^yT'^
I 3^01
dv
+ ••••+ ^
~d^ ^''
-Wv ^
H-3^1ogASr^Air^...VM, (72)
^= --1- logV^.
dv ^ dv ^ ^ dv ~ dudv ^ B\
by remembering that
If these values in (72) and (73) be substituted now in equation (71), it may be
put in the form
<^
~^»^
d^
<—
(74)
6''
= Cn
dudv '<'g^ + 3S5s"'g5p*"---'^'
, d log hoJiii .... ^<_i, 1
^'' •.
di
But it may be seen from the first of equations (34) that proper linear com-
binations will give
f—
(75)
In the same manner it may be shown that in the second series of equations (31)
the general coefficient is
^ ^ h h ^ lo gApgAia. . . . ^i-1,2
^
I
(77)
— Co2 -u/i
r -|- /loi
h
n,i —h Oo2
3 log ^11^
^-
^ii
f
by remembering the relations which exist between the invariants of the two series.
Coi=:C(a = 0,
if we place
Cft = Cc f
Connected with the Theory of Surfaces. 21
h
'''01 —h "i-l, 1
—b ?J2i^ — A —h —h
Oqi ^-- /loi "il Ooi
^i^sAe
pC .
nsi\
\lO)
But we know
z.
"'01
^
"01
_ ^5
V-E^
—a'^5~ log —fY-
,
}
^<l ^i-l, 1
= g^ log ^- Aii/l2i .... ^<_i, 1
and from the first condition for the proposed identity we found
a,log/^a = |,log^.
Introducing these values in equation (79) above and making slight reductions,
it becomes
Since
log^ = log7',
22 Certain Partial Differential Equations
or
B2
= v.
But from (23) we have
hence
E=U,,-'\ (81)
The equation
3^1ogA„ = ^log-^
may be integrated and placed in the form
therefore
h,,= V'V'. (82)
Bat it has previously been shown that the second and fourth terms of this
equation are equal to zero. It then becomes
consequently
h,^,,,= U'V'. (84)
gf3,,l«gA-M=0. (85)
Again
Ai-M='^*-2,l-a^-^l0g-^-g^^l0gM21. . . .^i-2.i;
and, consequently
5^1ogAi_2,i
(juov
= 0.
Substituting, as before, (86) now beco nes
(87)
Thus, it may easily be seen that by continuing this process, annuling one
term each time, we are left finally with the equation
^^
dudv
log ^c^r-
-til
= .
Then we have
"-11 ^ "-01 ^^^ "'02 •
If we should make the equations (ii^i) and {Eyi) identical, it would give
"01 =^ "'11 f
Kqi = kii
24 Certain Partial Differential Equations
But from the relations of the Id variants in the two series we have
kii = kfjfi f
Then, by making the equations (^„) and [Ea) identical, we find that all the
invariants in the two series are equal and we are led only to the consideration of
Since
we have
^log'^=0.
The integrals of these two equations may be written in the form
V^ —Tjv
— ^ ^^ — TTV
1 ^^=Cr,F2.
or V-, dE_V^ dG
Ui dv'~ Vi du'
Connected with the Theory op Surfaces. 25
where the U'S are functions of w alone and the VS ofv alone.
Write now
But this is a necessary condition for the existence of an exact differential equation
r—1 ^
Take u and v arbitrary and ^ will have to determined.
From (23) we have
and, by introducing the value of E from the first of the two equations above, it
becomes
s/G a / 1, ^, . 1. d<p\
3m
In like manner we can find
A^E 1 dudv .
do
^=iW = ^^'^>^--
m
26 Certain Partial Differential Equations
If we place
fuUi-'elu+ 'ifvVi^dv
W 2
we have then
or
that is
du ^ B, ^ B, ""^
(93)
d 1 \^jE f^G -
-^
Wv'^'^'b; -B
By substituting the values found in (23) the two equations above easily
reduce to
|logiJ,=0,
|logiJ.=,0.
B, = f{v),\
B, = W{u).i (94)
1— l_ d^/E_.r
Connected with the Theory of Surfaces. 27
We find as before
— dudv
-"2 df '
du
^E
-—
dudv
B, df '
ev
itial equation
d<p d<p
(97)
dudv du dv
E= f^'
2)
^^=
iU,+ v,Y [^ ^^'
+ -W ^"'] ^^^^
28 Certain Partial Differential Equations
or
ds'z=:^{Udw'-\-Vdi^).
A
(100)
(101)
Since ^X=Ui-j-Vi,
(102)
(j^)^ ^9 I
a log v-^ a^i aiog/y/i^
?^=zo. (103)
^
dudv dv du du dv
(104)
»0l ^" >
Ao2 = 0>
(105)
log>v/>^
Connected with the Theory of Surfaces. 29
That is, they have their invariants equal but taken in opposite order.
8. Next we shall consider the result of making the coefficients of the equa-
tions (£"01) and (£"02) equal but taken in opposite order, that is
(l02 —- ^01 •
(106)
-^ ^""^
R^^ B^— dv ^ R, ^ R, J
du
^""^
R, - dv
'""^
B, '
or _^_9
sfQ du
VG^ —
R.,
^
~A/Edv
a VE
R^
'
8 a/G_ d ^E (107)
du R2 dv Ri
E= G .U.V, (108)
where ?7is a function of w only and F of v only. The linear element can now be
put in the form
ds'=G{UVdu'' + dv'),
or ds'=GV{Udu^-\-V,dv''). (109)
30 Certain Partial Differential Equations
9. Let us now consider the forms to which the equations (£"01) and (£'02) reduce
for surfaces parallel to the original one.
Since the surface is referred to its lines of curvature we have the following
values for parallel surfaces:
(110)
pt = — a,(
p2
(111)
where a is a constant which changes as we pass from one surface to the next one.
We have now
a ^ p' \'d
=f\pl-{-aJ 1
du Pi du p\
'
(112)
do pi \pi-{-aJ dv p\
By differentiating the first of these equations for v and the second for u we get
^ 1_r pi\
L^( pi V a' 1^3 _a_i 1
\p\ + a) (113)
~*
dudv pi \pi-\-aJ dudv p^i du \pt-^aj dv />?.
A_I__^Ai
E2 du
rAiog^4-VAAl.
\du B2 Ml
=o ^
dudv pi pi J dv pi '
\du ^ Ei ^ Ri J dv p\
_-#-log
du "=
\pl + aj] dv pl~
Connected with the Theory of Surfaces. 31
By examining these we see that in order that these equations reduce to the
same form as the original equation, we must have
(115)
(116)
In the same manner as above the equation (£"02) may be put in either of the forms
d^v f^ L dv
'""^
R; ^ R, dv
'""^
\{,l + a) J du pi
VE d_ JL = 0,
R^ dv pi
(117)
J
dud^v pi V dv ^ R, ^ R, J du pi
The condition that these reduce to the same form as (i/oa) is, as before.
pl = (p{u), I
(118)
= (pi{v).S
Then each of the principal radii of curvature of the parallel surface is a func-
if
tion of only one of the parameters u and v, the reciprocals of those radii will
satisfy the same partial differential equations, (£"01) and (£"02) as the reciprocals of ,
T' ^
Pi P
\/Gr \/(to
pi
Then, the equations
10. (a) For the ellipsoid we have ^='i£-^;::;^, ^— ^(^— ^)^ Then
equations (^oi) and {E(^) become
(119)
^02_ 3 9f02
1
9f02__Q
dudv 2 (w — v) 3w
I
2 (w — v) dv
.
'
— ' Q20)
dudv '2{u v) du 2{u v) dv ^ ^
1
\/{u — af — a) {v
—w u—a
V T
^02 = — u)-^ {u —
(v — a)-* a)i {v
u—a 1 l
V—u y — a* V
"We can find new solutions by operating on those already found with the symbols
'
u
f{x){x — u)-^ — x)~ {v '^
dx-\-{v — u)~ vu1 / /i {x){x — .w)~ ' (v — «)* dx ,
which contain two distinct arbitrary functions. In the same way we can obtain
integrals of equation (120). The integration of this equation will determine the
surfaces which admit for spherical representation of their lines of curvature a sys-
tem of spherical homofocal ellipses. If u and v denote the parameters of these
ellipses and X, [x, v the coordinates of a point of the sphere, we have
,2_(a--w)(a--v)
'^ — (a — 6)(a — c)
(6__w)(6--j^)
^ — — a)(6 —
(6 c)'
2 _ (c--w)(c—
— — — j;)
(c a){G h)
and the values of ^, fx, v will satisfy equation (120). The solution
^0 = C-J-C'(M + V),
will give the surface of the fourth class defined by the equation
P— a)?
-j- b[j? -|- ei^
'
2
where ^, //, v are the direction cosines of the normal, and the coordinates of the
point of contact of the tangent plane have the values
^0 = G\/{u — a){v — a) f
(a.-a)(«.-«)(a.-.)
^^^^ _ (^^ i, 2, 3, 4, 5).
34 Certain Partial Differential Equations, etc.
(b) For the cyclide of Dupin the coefficients of the linear element are
G= 1
— v)J'
^V{u
3Voi
dudv
I
u—
1
V
dfo}
du
= 0,
(121)
CPJPo 1 3f02__Q
dudv u— V dv
= dudv 3^0 _
=
(^0)
u — V du u — V dv
(122)
[u — vf
foi
— a)[u — af
'
(v
{u —
'P^ — {u — vf— af' a){v
U-
^0
M V
^0 =
U V
dudv
LIFE.
I was born at Loachapoka, Ala., and received my early training at the High
School at that place. I was graduated from the Southern University (Ala.) with
the degree of Bachelor of Science in 1887. After spending one year as principal
of a high school, I returned to my Alma Mater, where I remained two years as
Instructor in Mathematics, and received the degree of A. M. in 1890. Having
spent another year teaching, I entered the Johns Hopkins University in 1891,
where I pursued graduate courses in Mathematics, Physics, and Astronomy.
During 1892-'94 I was Professor of Mathematics in Millsaps College (Miss.). In
1894 I returned to this University. I have attended the lectures of Professors
Craig and Franklin and Drs. Ames, Poor, Hulburt, and Chapman, to all of whom
I am grateful for the kindnesses that I have received from Jl
AprU, 1897.
MAY 2 1935
MAR 21 1!
APR 26 U
^^^ ^St94o/f
N0V2S
''''^'^•3S
/
"j'm
''• ''?.#:
.y
^;