MATHEMATI C S : G . A.

MI LLER
Th e r e f o r e , t h e m a t r i x U , d e f i n e d i n N r . 6 h a s b e e n d e t e r m i n e d u n d e r t h e
a s s u m p t i o n t h a t T i s o n e - v a l u e d :
U V
= ( - 1 +
1 ) a E,
( 2 1 )
w h e r e ' E* , i s t h e m a t r i x u n i t y . Fr o m ( 2 1 )
a n d ( 1 6 ) f o r m u l a ( 2 ) f o l l o w s
i m m e d i a t e l y .
1
C f . S . Le f s c h e t z , ( a ) Tr a n s . Am . Ma t h . S o c . , 2 8 , p p . 1 - 4 9 ; ( b ) Tr a n s . Am . Ma t h .
S o c . , 2 9 , p p . 4 2 9 - 4 6 2 ; p a r t i c u l a r l y p .
3 2 o f
( a ) . Th e s i gn "" i n t r o d u c e d i n ( a )
m e a n s "" m o d . z e r o - d i v i s o r s . Th e f u n d a m e n t a l s e t s o f t h i s p a p e r a r e a l l w i t h
r e s p e c t t o t h e o p e r a t i o n ~.
2
L. E. Y . B r o u w e r ,
Ma t h e m .
At & n a l e n , 7 1 , p p . 9 2 - 1 1 5 .
3 0 . V e b l e n , Tr a n s . Am . Ma t h . S o c . , 2 5 , p p . 5 4 0 - 5 5 0 .
4
( a ) , f o r m u l a 1 . 1 ; ( b ) , f o r m u l a 1 0 . 5 .
6
A gr e a t d e a l o f N r . 6 i s o n l y a s u m m a r i z i n g r e p o r t o n f a c t s w h i c h a r e i n c l u d e d i n
t h e p a p e r s o f Le f s c h e t z , q u o t e d
a b o v e .
6 Le f s c h e t z , ( a ) N o . 5 2 .
7
Le f s c h e t z , ( a )
N o . 5 5 . Th e
p r o o f
o f t h i s
f o r m u l a , n o t e x p l i c i t l y gi v e n t h e r e , c a n
b e o b t a i n e d e a s i l y b y t h e s a m e c o n s i d e r a t i o n s a s f o r t h e f o r m u l a s o f ( a ) N o s . 5 3 , 5 4 .
8 Le f s c h e t z , ( b ) 9 . 2 .
HARMON Y AS A PRI N C I PLE OF MATHEMATI C AL
DEV ELOPMEN T
B y G . A. MI LLER
DZPARTMI N T OF MATHZMATI C S , U N I V ERS I TY OF I LLI N OI S
C o m m u n i c a t e d J a n u a r y 2 7 , 1 9 2 8
I n t h e p r e f a c e o f v o l u m e 6 o f t h e "C o l l e c t e d W o r k s " o f S o p h u s Li e t h e
e d i t o r r e m a r k e d t h a t t h e s e w o r k s c o n s t i t u t e a n a r t i s t i c c o n t r i b u t i o n
w h i c h i s e n t i r e l y c o m p a r a b l e w i t h t h a t o f B e e t h o v e n . I n b o t h c a s e s a
f e w a p p a r e n t l y t r i v i a l m o t i v e s d o m i n a t e d t h e e n t i r e c r e a t i o n . I n t h e
c a s e o f Li e i t w a s m a i n l y t h e e x p l i c i t
u s e o f t h e c o n c e p t o f gr o u p i n d o m a i n s
w h e r e i t s d o m i n a n c e h a d n o t b e e n e x p l i c i t l y r e c o gn i z e d b e f o r e h i s t i m e .
Th i s c o n c e p t w a s p r a c t i c a l l y r e f u s e d b y t h e m a t h e m a t i c a l b u i l d e r s u p
t o t h e b e gi n n i n g o f t h e n i n e t e e n t h c e n t u r y b u t b e c a m e d u r i n g t h i s c e n t u r y
"t h e h e a d s t o n e o f t h e c o r n e r " l a r ge l y t h r o u gh t h e w o r k o f S o p h u s Li e .
W h i l e t h e w o r k o f B e e t h o v e n h a s r e a c h e d a n d p r o b a b l y w i l l c o n t i n u e t o
r e a c h a m u c h l a r ge r n u m b e r o f p e o p l e t h a n t h a t o f Li e , i t i s q u e s t i o n a b l e
w h e t h e r t h o s e t o w h o m Li e ' s w o r k i s a c t u a l l y r e v e a l e d r e c e i v e l e s s i n -
s p i r a t i o n t h e r e f r o m o r a r e l e s s
i m p r e s s e d b y t h e m a r v e l o u s n e w h a r m o n i e s
w h i c h i t i n t r o d u c e s i n t o a w i d e r a n ge o f m a t h e m a t i c a l d e v e l o p m e n t s .
As S o p h u s Li e
w a s a
Fo r e i gn
As s o c i a t e o f t h i s Ac a d e m y
a n d h i s w o r k
2 1 4 PROC . N . . A. S .
MATHEMATI C S : G . A. MI LLER
h a s gr e a t l y i n f l u e n c e d t h e d e v e l o p m e n t o f m a t h e m a t i c s i n o u r c o u n t r y i t
s e e m s a p p r o p r i a t e t o n o t e h e r e t h i s t r i b u t e t o h i s m e m o r y .
A. S p e i s e r r e c e n t l y d i r e c t e d a t t e n t i o n t o t h e i m p o r t a n c e o f t h e s t u d y
o f t h e s y m m e t r i e s o f a n c i e n t o r n a m e n t s w i t h a v i e w t o a n u n d e r s t a n d i n g
o f t h e i r i n f l u e n c e o n t h e d e v e l o p m e n t o f m a t h e m a t i c s . I n p a r t i c u l a r ,
h e e x p r e s s e d t h e v i e w t h a t a n i n v e s t i ga t i o n o f t h e ge o m e t r i c c o n t e n t o f
Egy p t i a n a n d Ar a b i a n o r n a m e n t s c o n s t i t u t e s o n e o f t h e m o s t b e a u t i f u l
c h a p t e r s o f t h e h i s t o r y o f m a t h e m a t i c s w h i c h r e m a i n s t o b e w r i t t e n , a n d
t h a t t h e d e v e l o p m e n t o f h i gh e r m a t h e m a t i c s b e ga n a b o u t 1 0 0 0 y e a r s
e a r l i e r t h a n i s n o w c o m m o n l y a s s u m e d , h a v i n g b e e n i n s p i r e d b y a n i n t e r e s t
i n r e gu l a r f i gu r e s o n t h e p a r t o f t h e a n c i e n t Egy p t i a n s a s e a r l y a s 1 5 0 0
B . C . Ev i d e n c e o f h i s f a i t h i n t h e f r u i t f u l c o n t a c t b e t w e e n m a t h e m a t i c s
a n d a n c i e n t o r n a m e n t s i s e x h i b i t e d b y t h e r e m a r k t h a t a n i n t e n s i v e s t u d y
o f t h e n o t e d w o r k e n t i t l e d "Th e G r a m m a r o f Or n a m e n t " b y Ow e n J o n e s ,
1 8 5 6 , m a y b e u r ge n t l y r e c o m m e n d e d f o r a l l w h o a r e i n t e r e s t e d i n t h e
t h e o r y o f gr o u p s . ' Th i s n e w p o i n t o f v i e w i s e m p h a s i z e d h e r e b e c a u s e
i t t e n d s t o w i d e n t h e h o r i z o n o f t h e s p e c i a l i s t i n t h i s f i e l d a n d t o u n i t e s c i e n -
t i f i c e f f o r t s a l o n g l i n e s w h i c h a r e c o m m o n l y r e ga r d e d a s w i d e l y a p a r t .
Ou r m a i n p r e s e n t o b j e c t i s t o e x h i b i t t h e p r i n c i p l e o f h a r m o n y a s a
u s e f u l p r i n c i p l e i n t h e s t u d y o f t h e h i s t o r y o f m a t h e m a t i c s . Th e d i f f i -
c u l t i e s o f t h i s s t u d y a r e i n c r e a s i n g r a p i d l y w i t h t h e gr o w t h o f o u r s u b j e c t
a n d h e n c e i t i s i n c r e a s i n gl y d e s i r a b l e t o f i n d ge n e r a l c o o r d i n a t i n g a n d
c l a r i f y i n g p r i n c i p l e s . . I t i s w e l l k n o w n t h a t i n t h e d e v e l o p m e n t o f t h e
n u m b e r c o n c e p t t h e p r i n c i p l e o f p e r m a n e n c e o f f o r m , w h i c h h a s m u c h
i n c o m m o n w i t h t h e p r i n c i p l e o f h a r m o n y , p l a y e d a v e r y f u n d a m e n t a l
r 6 l e . Th e a r t o f c o m b i n i n g w i t h a m i n i m u m o f b l i n d f o r m u l a s a m a x i m u m
o f s e e i n g t h o u gh t s , w h i c h Mi n k o w s k i c h a r a c t e r i z e d a s t h e t r u e Di r i c h l e t
Pr i n c i p l e , 2 i s l a r ge l y d u e t o t h e p r i n c i p l e o f h a r m o n y i n m a t h e m a t i c s .
H. Po i n c a r e , 3 n o t e d t h a t w i t h o u t m a t h e m a t i c s "w e s h o u l d h a v e b e e n
i gn o r a n t f o r e v e r o f t h e i n t e r n a l h a r m o n y o f t h e w o r l d , w h i c h i s t h e o n l y
t r u e o b j e c t i v e r e a l i t y . " I t i s o n l y n a t u r a l t h a t t h e l a n gu a ge w h i c h i s
s o p o w e r f u l f o r d i s c o v e r i n g t h e h a r m o n i e s o f n a t u r e s h o u l d b e d o m i n a t e d
b y t h e s a m e f u n d a m e n t a l p r i n c i p l e . Th i s i s r e f l e c t e d i n t h e f a c t t h a t t h e
a d j e c t i v e h a r m o n i c i s u s e d i n c o n n e c t i o n w i t h a v e r y l a r ge n u m b e r o f
m a t h e m a t i c a l t e r m s .
Th e a n c i e n t G r e e k s i n t r o d u c e d a v e r y f u n d a m e n t a l n o t e o f d i s c o r d i n t o
t h e d e v e l o p m e n t o f m a t h e m a t i c s w h e n t h e y a s s u m e d t h a t t h e r e i s n o
( 1 , 1 ) c o r r e s p o n d e n c e b e t w e e n t h e r e a l n u m b e r s a n d t h e p o i n t s o n a s t r a i gh t
l i n e . Th i s d i s c o r d w a s l a r ge l y r e m o v e d b y N e w t o n w h e n h e d e f i n e d a
n u m b e r a s t h e r a t i o o f o n e l i n e s e gm e n t t o a n o t h e r . He r e , a s w e l l a s i n
v a t i o u s o t h e r p a r t s o f m a t h e m a t i c s , p e r f e c t h a r m o n y w a s f i n a l l y e s t a b l i s h e d
` t l i m e a n s o f a n e x p l i c i t p o s t u l a t e . S i n c e t h e t i m e s o f t h e a n c i e n t G r e e k s
m a t h e m a t i c i a n s h a v e n e v e r b e e n i n c o m p l e t e a c c o r d a s r e ga r d s s o m e - o f
V OL. 1 4 , 1 9 2 8 2 1 5
MATHEMATI C S : G . A. MI LLER
t h e f u n d a m e n t a l p r i n c i p l e s . Fo r t u n a t e l y , t h e r e h a v e a l w a y s b e e n a l s o
l a r ge d o m a i n s o f m a t h e m a t i c s w h i c h h a v e b e e n f r e e f r o m d i s c o r d .
Am o n g t h e m a n y f u n d a m e n t a l d e v e l o p m e n t s i n e l e m e n t a r y m a t h e m a t i e s
w h i c h s e e m t o h a v e b e e n l a r ge l y i n f l u e n c e d b y t h e p r i n c i p l e o f h a r m o n y
w e m a y n o t e h e r e t h e s l o w b u t c o n t i n u e d p r o gr e s s t o w a r d s s u p p l a n t i n g
t h e p r o p o r t i o n b y t h e e q u a t i o n . I t i s w e l l k n o w n t h a t t h e p r o p o r t i o n
p l a y e d a m u c h m o r e p r o m i n e n t r o l e i n G r e e k m a t h e m a t i c s t h a n t h e e q u a -
t i o n , a n d t h a t e v e n i n t h e e i gh t e e n t h c e n t u r y s o m e o f t h e t e x t b o o k s c o n -
s i d e r e d t h e t h e o r y o f p r o p o r t i o n a t u n d u e l e n gt h . I t i s c l e a r t h a t t h e
e q u a t i o n n a t u r a l l y i m p l i e s a h i gh e r d e gr e e o f k n o w l e d ge t h a n t h e p r o -
p o r t i o n , a n d h e n c e i t i m p l i e s gr e a t e r i n t e l l e c t u a l h a r m o n y . Th e l o n g
s t r u ggl e t o w a r d s s u p p l a n t i n g t h e p r o p o r t i o n b y t h e e q u a t i o n i s n o t e v e n
n o w a t a n e n d , b u t p r o gr e s s i n t h i s d i r e c t i o n h a s b e e n v e r y m a r k e d . A
s i m i l a r m o v e m e n t t o w a r d s h a r m o n y m a y b e s e e n i n t h e p r o l o n ge d e f f o r t
t o w a r d s r e p l a c i n g t h e d e f i n i t i o n s o f t h e t r i go m e t r i c f u n c t i o n s , d e p e n d i n g
b o t h o n t h e a n gl e a n d t h e l e n gt h o f t h e l i n e s e gm e n t s i n v o l v e d , b y d e f i -
n i t i o n s d e p e n d i n g o n l y o n t h e f o r m e r . Fo r t u n a t e l y , i n t h i s c a s e t h e
v i c t o r y t o w a r d s gr e a t e r h a r m o n y i n t h e f o r m u l a s i s n o w c o m p l e t e .
De v e l o p m e n t s i n m a t h e m a t i c s h a v e f r e q u e n t l y b e e n m a d e m o r e h a r -
m o n i o u s b y t h e i n t r o d u c t i o n o f i d e a l e l e m e n t s . As a c o n s p i c u o u s i n s t a n c e
w e m a y c i t e t h e u s e o f i m a gi n a r y n u m b e r s f r o m a b o u t t h e m i d d l e o f t h e
s i x t e e n t h c e n t u r y t o t h e c l o s e o f t h e e i gh t e e n t h , w h e n t h e u s e o f t h e s e
n u m b e r s b e ga n t o b e p l a c e d o n t h e b a s i s o f r e a l s b y t h e w o r k o f C a s p a r
W e s s e l l a n d o t h e r s . Ea r l y i n t h e s e v e n t e e n t h c e n t u r y K e p l e r n o t e d
t h a t p a r a l l e l l i n e s m a y b e r e ga r d e d a s h a v i n g a p o i n t a t i n f i n i t y i n c o m m o n ,
a n d t h i s u s e o f t h e p o i n t a t i n f i n i t y l a t e r b e c a m e ge n e r a l t h r o u gh t h e w o r k
o f De s a r gn e s a n d o t h e r s . As a m u c h l a t e r i n s t a n c e o f t h e i n t r o d u c t i o n
o f i d e a l e l e m e n t s w e m a y r e f e r t o t h e i d e a l s i n t r o d u c e d b y K u m m e r f o r
t h e s t u d y o f a l ge b r a i c n u m b e r s . I t i s t r u e t h a t t h e i n t r o d u c t i o n o f s u c h
i d e a l e l e m e n t s c a n a l s o b e e x p l a i n e d a s h a v i n g b e e n a c t u a t e d b y t h e p r i n -
c i p l e o f ge n e r a l i z a t i o n s , b u t t h e m o r e ge n e r a l p r i n c i p l e o f h a r m o n y i s
c l e a r l y a l s o i n v o l v e d t h e r e i n . As h a r m o n y i n m u s i c m a k e s a n a l m o s t
u n i v e r s a l a p p e a l t o t h e h u m a n e a r s o h a r m o n y i n s c i e n t i f i c m a t t e r s m a k e s
a n a l m o s t u n i v e r s a l a p p e a l t o t h e h u m a n i n t e l l e c t , a n d m a n y o f t h e d e -
v e l o p m e n t s i n m a t h e m a t i c s c a n b e m o r e f u l l y u n d e r s t o o d i f t h i s p r i n c i p l e
i s d u l y e m p h a s i z e d .
I t i s c o m m o n l y r e c o gn i z e d t h a t t h e m a t h e m a t i c a l r e s u l t s a r e m o r e
i n t e r d e p e n d e n t t h a n t h o s e o f a n y o t h e r s u b j e c t a n d h e n c e t h e h i s t o r y o f
m a t h e m a t i c s i s n a t u r a l l y
m o r e
s c i e n t i f i c
t h a n a n y o t h e r h t s t o r y . Th e p r i n -
c i p l e o f h a r m o n y i s n o t o n l y a s o u r c e o f i n s p i r a t i o n f o r t h e i n v e s t i ga t o r
b u t a l s o a gu i d e a s r e ga r d s t h e n o v e l t y o f t h e r e s u l t s o b t a i n e d . Mo r e o v e r ,
j u s t a s a n i n c r e a s e i n t h e a c c u r a c y o f m e a s u r e m e n t u s u a l l y d i s c l o s e s gr e a t e r
d i s c r e p a n c i e s , s o a n i n c r e a s e i n a c c u r a c y o f k n o w l e d ge u s u a l l y d i s c l o s e s
PROC . N . A. S . 2 1 6
MATHEMATI C S : E. HI LLE
n e w e l e m e n t s o f d i s c o r d . He n c e , t h e p r i n c i p l e o f h a r m o n y t e n d s t o b e -
c o m e m o r e e f f e c t i v e w i t h t h e a d v a n c e o f k n o w l e d ge a n d t o d o m i n a t e t h e
e n e r gi e s o f t h e i n v e s t i ga t o r m o r e p o w e r f u l l y a s h e a t t a c k s p r o b l e m s o f
a m o r e f u n d a m e n t a l n a t u r e .
1
S p e i s e r , A. , "Di e Th e o r i e d e r G r u p p e n v o n En d l i c h e r Or d u n g, " 1 9 2 7 , p . 7 7 .
2
K l e i n , F. , "V o r l e s u n ge n u b e r d i e En l i v i c k l u n g d e r Ma t h e m a t i k i m 1 9 . J a h r h u n d e r t , "
1 9 2 6 , p . 9 7 .
3 Po i n c a r 6 , H. , "La V a l e u r d e l a
S c i e n c e , " 1 9 0 8 , p .
7 .
N OTE ON THE B EHAV I OR OF C ERTAI N POW ER S ERI ES ON
THE C I RC LE OF C ON V ERG EN C E W I TH APPLI C ATI ON
TO A PROB LEM OF C ARLEMAN
B Y EI N AR HI LLE
DEPARTMZN T OF MATHZMATI C S , PRI N C ZTON U N I V ERS I TY
C o m m u n i c a t e d Fe b r u a r y 1 1 , 1 9 2 8
1 . Th e f i r s t e x a m p l e o f a c o n t i n u o u s p e r i o d i c f u n c t i o n w h o s e a s s o -
+ OD
c i a t e d Fo u r i e r s e r i e s E c , e "X i s s u c h t h a t f c P c o n v e r ge s f o r n o p < 2
w a s gi v e n b y C a r l e m a n . ' La n d a u , 2 w h o s i m p l i f i e d t h e e x a m p l e , c a l l e d
a t t e n t i o n t o a p o w e r s e r i e s s t u d i e d b y Fa b r y 3 a n d Ha r d y 4 w h i c h s e r i e s i s
c o n t i n u o u s o n t h e u n i t c i r c l e , t h e s e r i e s
E
f c ,
1 2 -
a b e i n g d i v e r ge n t f o r a
f i x e d b u t a r b i t r a r i l y s m a l l 5 >0 . Ha r d y h a d t o u s e a p o w e r f u l m a c h i n e r y
i n h i s s t u d y o f t h e s i n gu l a r i t i e s o f t h i s f u n c t i o n ; i f o n e i s s a t i s f i e d , h o w e v e r ,
w i t h d e t e r m i n i n g m e r e l y t h e p r o p e r t i e s o f c o n v e r ge n c e o f t h e s e r i e s o n
t h e u n i t - c i r c l e , a s i m p l e r a r gu m e n t c a n b e u s e d w h i c h a p p l i e s t o a m u c h
l a r ge r c l a s s o f s e r i e s . Th e m e t h o d w h i c h I u s e f o r t h i s p u r p o s e i s b a s e d
o n s o m e r e c e n t a p p l i c a t i o n s o f W e y l ' s i d e a s r e ga r d i n g e q u i - d i s t r i b u t e d
p o i n t - s e t s t o n u m b e r - t h e o r e t i c q u e s t i o n s d u e t o v a n d e r C o r p u t . 5 A
f a i r l y s i m p l e s o l u t i o n o f C a r l e m a n ' s p r o b l e m i s o b t a i n e d i n t h i s m a n n e r .
2 . W e s h a l l s t u d y a c l a s s o f p o w e r s e r i e s
Zf ( n ) e x p [ 2 7 r i a ( n ) ] z n ( 1 )
, n o
w h e r e f ( n ) a n d a ( n ) a r e s u b j e c t e d t o o n e o f t h e f o l l o w i n g t h r e e s e t s o f
c o n d i t i o n s :
I . ( i ) a ( u ) i s a r e a l d i f f e r e n t i a b l e f u n c t i o n w h e n u
>
n o a n d l i m a ( u ) =
( i i ) a ' ( u ) i s p o s i t i v e , n e v e r i n c r e a s i n g a n d l i m a ' ( u )
=
0 ;
( i i i )
,
f ( n )
-
f ( n
+ 1 ) c o n v e r ge s
a n d l i m
f ( n )
= 0 .
V o i . 1 4 , 1 9 2 8 2 1 7