Professional Documents
Culture Documents
IN
MATHEMATICAL ANALYSIS
FUNCTIONS OF
A COMPLEX VARIABLE
BEING PART
OF VOLUME
II
BY
k
U\
|
U* $
EDOUARD GOURSAT
TRANSLATED BY
AND
OTTO DUNKEL
AGSOCIATE PROFESSOR OF MATHEMATICS, WASHINGTON UNIVERSITY
ATLANTA
NEW YORK
DALLAS
CHICAGO
LONDON
COLUMBUS
SAN FRANCISCO
COPYRIGHT,
1916,
BY
gfte fltfrenaeum
PRO
U.S.A.
AUTHOR S PREFACE
The
first
made
In the
first
of variations.
was able
edition I
tial differential
to devote but a
In order to present in a
less
few pages
and
to par
to the calculus
which
equations.
The suppression
make some
additions, of
differential equations
and
me
to
relate to linear
E.
iii
GOUESAT
TRANSLATORS PREFACE
As
the
title indicates,
volume of Goursat
is
a translation of the
s "Cours
is
Analyse."
The
French.
The advantage
who
Volume
to Professor Goursat,
make
plan of publication in
this translation,
two
parts.
He
who
all
made
English and has approved a few minor alterations
tion as well as the translators
notes.
The
proofs in
in transla
E. R.
HEDRICK
OTTO DUNKEL
CONTENTS
PAGE
CHAPTER
I.
II.
I.
1.
Definitions
2.
3.
Analytic functions
4.
11
5.
6.
13
7.
17
POWER
12
ELEMENTARY
TERMS.
18
8.
Circle of convergence
18
9.
Double
21
series
of
an
infinite
10.
Development
11.
12.
Trigonometric functions
13.
Logarithms
....
26
28
:
arc sin
z,
arc tan z
30
33
16.
17.
Expansion of Log (1 + s)
Extension of the binomial formula
18.
and cos
z into
35
38
40
CONFORMAL REPRESENTATION
42
22.
23.
Geographic maps
19.
20.
21.
42
45
.
48
50
52
EXERCISES
22
23
III.
54
56
CONTENTS
viii
PAGE
CHAPTER
I.
II.
Change
27.
The
62
64
66
Another proof
CAUCHY
TAYLOR
SINGULAR POINTS.
33.
34.
35.
AND LAURENT
Taylor
SERIP:S.
RESIDUES
75
75
78
78
s series
37.
Laurent
38.
Other
72
74
36. Liouville s
III.
INTEGRAL.
60
60
of variables
28. Integrals
II.
60
theorem
81
81
s series
84
series
86
40. Poles
88
90
91
43. Residues
94
95
95
remarks
96
97
100
T(;>)
Jensen
51.
Lagrange s formula
Study of functions for
52.
_.
EXERCISES
109
112
._
2
study of the integral J^dz/^l- z
55. Periods of hyperelliptic integrals
56. Periods of elliptic integrals of the first kind
54.
103
106
infinite values of the variable
101
104
formula
50.
....
112
114
116
120
122
CONTENTS
CHAPTER
I.
III.
ix
WEIERSTRASS
PAGE
127
THEOREM
127
57.
58.
The
127
functions
class of
132
an integral function
functions with a finite
number
of
132
singular points
60. Single-valued analytic functions
singular points
61. Mittag-Leffler s
134
theorem
137
II.
Cauchy s method
Expansion of ctn x and
139
142
of sin x
66. Impossibility
of
Expansion
145
145
in series
single-valued
analytic
function with
147
three periods
67.
71.
72.
149
150
General properties
73.
154
158
(M)
159
162
163
elliptic functions
166
168
76.
III.
The
170
function 6
INVERSE FUNCTIONS.
77. Relations
....
172
78. The inverse function to the elliptic integral of the first kind
new definition of p (M) by means of the invariants
79.
174
184
82.
193
ANALYTIC EXTENSION
DEFINITION OF AN ANALYTIC FUNCTION BY MEANS OF
ONE OF ITS ELEMENTS
CHAPTER
IV.
New
196
196
196
182
187
191
EXERCISES
I.
172
199
CONTENTS
PAGE
85. Singular points
86. General problem
II.
204
206
....
208
Natural boundaries
208
Examples
211
89. Singularities of
analytical expressions
90. Hermite s formula
213
215
EXERCISES
217
219
I.
GENERAL PROPERTIES
219
91. Definitions
219
94.
95.
222
s
theorems
225
IMPLICIT FUNCTIONS.
98. AVeierstrass s
229
two variables
ALGEBRAIC FUNCTIONS
theorem
Abel
227
function
II.
220
convergence
Double integrals
Extension of Cauchy
theorem
....
231
232
232
236
240
243
244
247
250
EXERCISES
252
INDEX
253
A COUESE IN
MATHEMATICAL ANALYSIS
VOLUME
II.
PART
THEOEY OF FUNCTIONS OF A
COMPLEX VARIABLE
CHAPTER
Definitions.
replaced throughout by
Two
=a
c + di
a
complex quantities a
and
=b
+ bi) (c + di) = ac
by
+ (ad -f be)
The quotient obtained by the division of a + bi by c + di is
denned to be a third imaginary symbol x + ?/, such that when it is
multiplied by c -f di, the product is a + 5i The equality
= (c + e^) -f
a
(a
-|-
is
bd
i.
7/i)
(a?
to the
equivalent, according to the rules of multiplication,
relations
ex -
whence we obtain
dy
a,
= ac + bd
dx + cy = b,
be
ad
two
convenient
way
4- yi
[i,
is
repre
= a + bi
c + di
.
and y
by e
of calculating x
fraction
is
to multiply numerator
and to develop the
di
indicated products.
All the properties of the fundamental operations of algebra can be
shown to apply to the operations carried out on these imaginary sym
bols.
Thus,
if
A, B, C,
A-B=B.A, A.B.C
and so
=A-(B>C),
A(B + C)=AB+AC,
on.
to be conjugate imaginaries.
a
bi, whose sum is zero, are said to be negatives of each other
or symmetric to each other.
Given the usual system of rectangular axes in a plane, the complex
of the plane xOy, whose
quantity a -f- bi is represented by the point
coordinates are x
= a and y =
b.
tion
from
to points
on the
of reals.
Two conjugate
cc-axis,
appear
which
later.
imaginaries a
bi
is
and a
bi
correspond to
When
(a, b), is
sometimes
there
is
represents it.
with coordinates (a, b) by a
Let us join the origin to the point
is called the absolute
segment of a straight line. The distance
OM
value of a
from Ox
+ bi,
to bring
it
in coincidence
with
as in trigonometry,
* This term
sponding word
TRANS.
is
not
affixe.
much used
in English,
bi.
I,
GENERAL PRINCIPLES
1]
Let p and w denote, respectively, the absolute value and the angle of
between the real quantities a, b, p, there exist the two rela
-}- bi
<u
tions
= p cos
<o,
p sin
<o,
whence we have
which
The
absolute value
p,
is
-f- bi,
+b
The
sum of
quantities,
equal
to
their
difference.
Since
IIL
two
is
at
most equal
to the
equality holding only when all the points representing the different
quantities are on the same ray starting from the origin.
we draw the two straight lines mx and
If through the point
my
parallel to
Ox and
in this
The point
ra
a and
(Fig. 2).
system of axes will be a
of
value
the
absolute
in
new
the
z
then represents z
system
b
is
equal to
Draw through
\y
mm
allel to
z in
segment represents
the system of axes Ox, Oy. But
the figure Om m^ is a parallelo-
this
the point
is therefore
l
the symmetric point to
with
to
the
middle
c,
respect
point
of Om
gram
He
FIG. 2
.(cos
/o x
toj.
4-
sin
o>
(k
t ),
1, 2,
n),
.,
be the factors
4- i
sin(o> 1
4-
wa
cos
m<o
4-
sin
mo>
= (cos w
-j- *
sin
m
)
which contains
first
time.
Complex
2.
= x + yi,
a complex variable.
If
we
I,
GENERAL PRINCIPLES
3]
tions.
number
we can
A. series,
that
rj.
()++()+-,
,
,,(*)+!
number y such
we can
of the plane
is uniformly
every positive number c
if to
N such that
3.
Analytic functions.
/(a,-)
is
[I,
approaches
AM
AP + i&Q
As
Ax
in the
/Ay
-|-
AM/AS depends
in
-+-
h approaches the
of z.
point representing the value
Let us first suppose y constant, and let us give to x a value x
differing but slightly
Aw _
~ P(x
from x
+ Ax, y)-P(x, y)
P and Q
+ Ax, y} -
limit, it is
dp
A?/
lim
constant,
=-=
As
and
ex
let
and
~ P(x, y
$Q
-~
ex
have
AM
q(x, y)
Ax
to x, and
possess partial derivatives with respect
in that case
Next suppose x
Q(x
Ax
As
+ Ax
then
+ Ay)
Q(x, y
P(x, y)
have for
+ Ay
we
+ Ay) - Q(x, y)
its
limit
_
dy
dy
P and Q
to ?/.
possess partial derivatives with respect
two
in
the
the
same
be
of
the
cases,
limit
the
that
In order
quotient
if
the functions
it is
necessary that
ap_aa
dp__ _^Q
~
~fa~W
dy~
and Q
dx
Ax, Ay,
we can
write
A//P;<x
y)
- P(x, y)
GENERAL PRINCIPLES
3]
I,
and
where
same way
numbers
are positive
AQ = Ax[Q;(x, y) +
where
e,
ej
1?
= AP + i&Q
Aw
than unity
less
and
in the
+ Ay[Q;(x, y) + ej],
the form,
= (Ax -f iAy)
where
If
\rj\
rj
and
and
|
?/|
77
Aw
As
have, then,
_^P
.0Q
qAx
$x
fix
Ax
when Ax and Ay
+ i/Ay
iAy
-|-
a,
AM
hmAs
(1) are
number
than 2
The conditions
We
are infinitesimals.
complementary term
proach zero
+t
a.
.0Q
= cP + -1-5,
daj
<?x
provided that
and
if
we
represent
it
ap
/(
It is
P(x
y),
/ ()
is
equal to any
aQ_aQ
.ap_ap
.dp
~"^^*aaj""ay
"ay~dx
*Hj~ ty*
_ZQ
dq
*:
fa
we
ajP
o o
VP ^^
=
r\
"
of the term monogene, the equivalent of which, monosometimes used in English. The term synectique is also sometimes used in
French. We shall use by preference the term analytic, and it will be shown later
that this definition agrees with the one which has already been given (I,
197,
2d ed.
191, 1st ed.)
genie,
is
10
[I,
We
P(x,
y\
way
equation.
for
Conversely, any solution of Laplace s equation may be taken
solution
P
a
let
be
For
P
or
Q.
one of the functions
example,
(x, y)
of that equation the two equations (1), where Q is regarded as an
;
unknown
= P(x,
v
\-
which
dp
/<*.0>/gp
y}+i\
//
*
J/
(*o-
-j-dx]+C\,
1
cy
[-2-dy
,\ox
X
"o)
an arbitrary constant C,
is
an
analytic;
p(x,
y),
i.*
We
f(z)
ing to the pair of functions
P and
and conversely.
Q,
its
x2
^xyi
derivative
is
is
2x
Av
__
1-i^
Ax
Az~Ax +
Ay
Ax
iAy
^Aj/
Ax
and
it is
obvious that the limit of the quotient Av/Az depends upon the limit of
p sin w,
63,
become
dP
dQ
c)Q
dP
\ dp
* This
Riemann.
is
+ i^)(cos w dp/
tsinu).
GENERAL PRINCIPLES
4]
I,
It is easily
is
an analytic function
m-l
of z
whose derivative
(cos mw +
mp
4.
11
is
sinmw) (cos w
equal to
i
sin w)
= mz m - 1
statements are
portion
of the plane
which
is
may vary.
said to be connected, or to consist of
it is
possible to join
among which
there
is
may
it
also be limited
by curves having
infinite branches.
We
shall
in a connected region
conditions
2)
/()
that
if it
satisfies
the following
is
is,
To every point
1)
of the plane
z of
a continuous function of
when
At every
3)
tive
\f(z
(4)
num
+ h)-f(z)-hf (z)\^t\h\
h is less than y.
For the moment we shall not make any hypothesis as to the values
of /() on the curves which limit A. When we say that a function
is analytic in the interior of a region A bounded by a closed curve T
if
is
TRANS.
12
itself,
we
mean by
shall
[I,
this that
/()
T and
is
the
region .4.
function f(z) need not necessarily be analytic throughout its
region of existence. It may have, in general, singular points, which
may be of very varied types. It would be out of place at this point
make a
to
which
we
are
we proceed with
now commencing.
will appear as
Rational functions.
5.
The same
is
= f(Z)
Let u
tion of a function.
<
the variable
z.
We
still
an analytic function of
have, in fact,
= Aw
A^
A.Z"
AZ
A^
5
A*"
the
the
limfjj
We
-/(*)*
<)
(3)
= (x + yi) m
zm
is
an analytic function of
and that
2,
derivative
its
is
mzm ~
This
quantities.
where
m is
a positive integer
/?\
~"l
~
tn v m
-m^
and from
r
1
1
-
-4-
/
"V
"i
""""
"
-t-/^
this follows
1>2
-*L
\
/
I7n9l
~\
T~
~r"
/?
I,
GENERAL PRINCIPLES
6]
mzm ~
13
when
is
the
an
rational function
analytic function throughout the whole plane.
of
two
the
polynomials P(), Q(), which we may
quotient
(that is,
as well suppose prime to each other) is also in general an analytic
function, but it has a certain number of singular points, the roots of
FIG. 3 6
FIG. 3 a
the origin. If
provided the curve described does not pass through
the point 2 describes a closed curve, x, y, and p return to their
this is not always the case. If
original values, but for the angle
o>
the origin is outside the region inclosed by the closed curve (Fig. 3 a),
but this
it is evident that the angle will return to its original value
as
curve
such
is no longer the case if the point z describes a
Q
Q
;
M NPM
or
M npqM
(Fig. 3
ft).
It is clear that
its
original
its
original
In general, when
is
an arbitrary
integer, posi
describes a closed curve, the
14
[i,
um
(5)
= z,
=
where
is
there are
= p (cos +
o>
sin
<o),
= r (cos
<
sin
<),
= p,
have r = p l/m
i**
From
the
we
first
m<
To obtain
all
(co
4- 2 kTT.
4- 2&7r)/ra.
we have only
to give to the
1
consecutive integral values 0, 1, 2,
,
uk
(6)
arith
o>
= p--\ cos
m roots of the
equation (5)
+ i Bin
,
It is usual to represent
by
z l/m
roots.
When
curve to which the origin is exterior, the angle w comes back to its
u m _ l describes a
original value, and each of the roots U Q u^
closed curve (Fig. 4 a). But if the point z describes the curve
-
M NPM (Fig. 3
Q
&),
w changes
to
o>
-f 2
TT,
<
t
equal to the initial value of the root u i+l Hence the arcs
described by the different roots form a single closed curve (Fig. 4 &).
is
These
roots therefore
is
clear that
by making
z describe a suitable closed path, any one of the roots, starting from
the initial value U Q for example, can be made to take on for its final
,
GENERAL PRINCIPLES
not as so
many distinct
functions of
The point
same function.
m values of u takes
2,
but as
15
place, is
of the
0, about which the permutation
called a critical point or a branch point.
FIG. 4 b
FIG. 4 a
m values
of
as distinct functions of
2,
We
the ray
OL
(Fig. 5),
roots,
<o
between a and a
But
TT.
it
must
same limit as
same point of
of the value of u
the cut.
The
at the point
limit
is
FIG. 5
sin (2 7r/m)].
Each
16
U Q)/(Z
and that
limit
the
fU
= i^m ~^
-,
m
-
u
m u~
or,
we can determine
equal to
is
Z Q ),
[i,
l-
now
Let us consider
(7)
where
2,
the equation
= A(z-e )(z-eJ...(z-e
l
en
are
n ),
We
distinct quantities.
shall denote
A = R (cos a
+ sin a),
(cos o^ + i sin
= pk
u = r(cos 6
ek
by
Let
Wjfc ),
-f-
(k
1, 2,
.,
n),
sin 0),
=a
-2
P*>
wi
"n
m7r;
hence this equation has two roots that are the negatives of each other,
4- wj -f
2
(8)
py
<,
,,
+ 2 TT\
I,
GENERAL PRINCIPLES
7]
17
containing within
it
n will
-,
p of the angles o^, 2
l3
2
increase by 2 TT the angle of u^ and that of u^ will therefore in
crease by J97T. If p is even, the two roots return to their initial
en ,
o>
o>
values
but
if
is
In particular, if the
roots will be permuted. The
In order that the two roots u^ and u 2
two
n points
will
e{
critical points.
We
might,
for example, make cuts along rays proceeding from each of the
points e t to infinity and not cutting each other. But there are many
other possible arrangements. If, for example, there are four criti
2
e^ e^ a cut could be made along the segment of a
cal points e v
straight line
3 e^.
7.
ples
<?
The value
depend
entirely upon the value of z alone, but it may also depend in a cer
tain measure upon the succession of values assumed by the variable
z in passing
or, in
M NM
M PM
TT.
We
* in a
region
analytic function /(.") is said to be single-valued
to
Z
from
a
A
in
which
A when all the paths
any other point
go
point Q
whatever z lead to the same final value for /(). When, however,
An
is
that region. In general, in order that a function /() be singlevalued in a given region, it is necessary and sufficient that the func
tion return to its original value
* In
"V
when
is
used.
TRANS.
18
[I,
any closed path whatever. If, in fact, in going from the point A to
the point B by the two paths A MB (Fig. 6) and ANB, we arrive in
the two cases at the point B with the same determination of /(), it
is obvious that, when the variable is made to describe the closed
curve
A MBNA, we
with the
initial
function at the point B after z, has described the path AMB. When
z describes the path BNA, the function starts with the value u^ and
will lead
arrives at the value U Q then, conversely, the path
ANB
to the value
u l} that
is,
to the
same value
as the
AMB.
region
may
C"
critical
for if z
IT.
POWER
8.
-f- *
sin (2 TT/WI).
SERIES
Circle of convergence.
series (Vol.
power
complex terms
"absolute
I,
we have only
value of a real
quantity"
by the corresponding
+ a^z
(9)
-f-
a^ +
We
."
one,
be a power series in which the coefficients and the variable may have
any imaginary values whatever. Let us also consider the series of
absolute values,
AQ
(10)
where
A =
i
\a i
,r=
z\.
We
can prove
181, 2d ed.
(I,
number
177,
POWER
8]
I,
value of r
>
The number R
R.
is
19
is
(10)
SERIES
<
lute value is greater than R, for the series of absolute values (10)
would then be convergent for values of r greater than
181,
(I,
2d ed.
177, 1st ed.). If, with the origin as center, we describe in
the plane of the variable z a circle C of radius R (Fig. 7), the power
series (9) is absolutely convergent for every value of z inside the
;
circle C,
and divergent
particular series.*
In the interior of a circle
radius
and
is
first,
and with a
For
it
member
may
be.
less
From
this
we conclude
that the
sum
is
convergence
2).
By
(s)>
>
same
circle
We
/(),
Let/(z)
= Sa w zM be a power
If the coefficients
a 1(
series
z = 1, is indeterminate except for z = 1, for the absolute value of the sum of the first
n terms is less than 2/| 1 - z it will suffice, then, to apply the reasoning of 166, Vol. I,
based on the generalized lemma of Abel. In the same way the series a - a t z + a 2 z 2
which is obtained from the preceding by replacing z by - z, is convergent at all the
= - 1. (Cf I, 166.)
points of the circle z -= 1, except perhaps for z
|
20
of
fn _i(z).
Every power
of
an analytic func
is an infinite
its circle
[I,
There
of convergence.
same
Given a point
circle.
the
inside
draw a
circle
let
tangent to
in the interior,
circle
the circle
C,
us
and
FIG.
4-
<
(Fig. 7).
of the series
sum
4-
we have r + p R
The sum f(z + h)
A,
4- 2
-\
4-
an zn
+ na
nz
is equal to the
series
double
the
of
4n-l
1.2
4-
sum
+4.(r +
+ A i(r + ?) +
is
/)"
We
can therefore
sum
we have
(12)
The
/(*
+ *) =
series of the
Vi+
second member
is less
than
/^*
is
R-
are
Since the functions fi(z), /2 (),
/(*)>
formula
the
of
(12) is
f(z)
equal to the successive derivatives
identical with the Taylor development.
If the series (9) is convergent at a point Z of the circle of con
is the limit approached by the
vergence, the sum f(Z) of the series
z
sum f(z) when the point approaches the point Z along a radius
in a larger circle.
>
9]
I,
21
We
We
Double series.
variables.
We shall now
Let
(13)
/o(z)
+ MZ) + MZ) +
is itself
+ fn (z) +
sum
the
of a
a i()
+ aaz+
power series
number E 0,
that converges
>
a in z n
Suppose each term of the series (13) replaced by its development according to
powers of z we obtain thus a double series in which each column is formed by
the development of a function f{ (z) When that series is absolutely convergent
;
/o,
that
2)2)
n
is,
<*
i
when
IP-
is
convergent,
we can sum
the
first
sum
This proof
powers
is
essentially the
same
z,
ain
+-,
(n
0, 1, 2,
).
h) in
of h.
Suppose, for example, that the series f{ (z) has a dominant function of the
form Mir/(r
2), and that the series SJft is itself convergent. In the double
-
TRANS.
22
the series
is
is less
If \z\
<
convergent and
its
sum
Development of an
10,
term
[I,
infinite
rSM -/(r
than
is less
r,
is
|z|).
Let
175, 176,
(I,
2d
ed.).
will be
demonstrated later
z, it fol
represents a function of z analytic throughout the entire plane, for the series
2
within any closed curve whatever. This
2|z| / n2 is uniformly convergent
and for these values only.
0,
1,
2,
product is zero for z
can prove directly that the product F(z) can be developed in a power
We
series
when each
of the functions
Ui (z)
an
m can be
anz
+ a in zn +
(i
0, 1, 2,
),
is
=I+
It is sufficient to
Vn
Now,
we
vl
(1
MI )
(1
+ M_l)M.
of the series
vn
series.
set
u
it is
(14)
which
= (l+
r.
\0i
aa
z
|
\a in \z
(1+
<_iK
is
(15)
* +
<
vn
can be so arranged.
obtain a
If we develop each term of this last series in power series, we
double series with positive coefficients, and it is sufficient for our purpose to
POWER
11]
I,
SERIES
23
and therefore
F;
+ F; +
+ F; = a +
. . .
uj)
. . .
(i
or, again,
When n
sum I7j +
+ 17^ approaches a limit, since
supposed to be convergent. The double series (16) is then
r
the double series obtained by the development
absolutely convergent if z
of each term v n of the series (14) is then a fortiori absolutely convergent within
the circle C of radius r, and we can arrange it according to integral powers of z.
increases indefinitely, the
is
The coefficient bp of ZP in the development of F(z) is equal, from the above, to the
limit, as
n becomes
infinite, of
sum VQ+V^---- +
vw ,
number
of polynomials.
F(z)
(I
z)(l
z*) (1
+z
infinite
(1
product
*)
1
can be developed according to powers of z if z
Any power of z whatever,
N will appear in the development with the coefficient unity, for any posi
say Z
tive integer
can be written in one and only one way in the form of a sum of
<
powers of
2.
We
have, then,
F(z)
(16)
if
|
<
= l + z + z*+
...
+z+
.
J.
which can
The exponential
11.
function.
by means
of the identity
The arithmetic
definition of the ex
= ax + x
ax x a x
when
/(*
+ * )=/(*)/(* )
-f-
which
will
24
If
11
[I,
we put
/(*)=/(*)/(<)).
= 1,
and we
On
we have
<
identical, that
a B (X
=/(X*)/(X
-f XV)
such that
+X =
)
1,
is,
|X
<
1,
|*|
is
<
R/2.
The two
series
must
we must have
+
and from
we can deduce
the equations
of
all
this
/I Q\
-LO )
Wp
single condition
ft
_j_
Ufpivqj
p and
q are
(18),
satisfy
_!
"
12!
POWER
11]
I,
This series
is
is
SERIES
25
and
arbitrary constant ar
Taking
algebra
when
is real,
whatever z and z
Since
tion itself.
and
it
always
in order to calculate ez
when
the func
yi>
sufficient to
know how
to calculate e yi
We
Replacing
e yi
by
-f-
sin y.
(19)
x
e +
= cos y
yi
y and
= ex (cos y + i sin y)
we have
the function
yi
of
that
is
member
o>
we
have, then,
o>),
26
from which
the
ll
log
follows that
it
From
[I,
we
relation
first
=p
find
co
+ 2 &TT.
x = log
/>,
shall
Hence
the equation
A, where
e*
is
We
z
might also define e as the limit approached by the poly
m
nomial (1 + z/m) when m becomes infinite. The method used in
z
algebra to prove that the limit of this polynomial is the series e can
Note.
when
be used even
is
complex.
when
is
when
functions
Thus we
is
real.
have
shall
m* ^
Q1T1
-.
f ormulge (20)
of cos z
is
sin z,
not change at
all
and
when
is
cos
z is changed to
z,
factor
we
Changing z
to
z,
zi
cos *
by
+ i sin z.
we have again
e~ zi
= cos 2
isinz,
derive
(20),
in the
form
POWER
12]
I,
/0
-,
cosz
(21)
SERIES
+ e-*
sm* =
e*t
27
-*i
e (z +
and
let
Squaring and
TT.
= 1.
cos z 4- sin2
cos (z 4-
z -f 2
z/)i
sin (s +
) 4)
= (cos s 4- 1 sin z) (cos 4- i sin z )
= cos z cos
sin z sin z 4- {(sin z cos
zi
z/i
,
or
us change
cos (z 4- #
to
z,
z to
It then
sin (2 4- 2 )
)
cos z cos 2
sin z sin z
4- sin
cos
),
becomes
i(sin.
z cos
4- sin z cos
),
= cos z cos z
=
sin z cos
)
sin
sin z
4- sin z cos
cos yi
We
e~ v
have
-\-
ev
first,
by Euler
= cosh y,
formulae,
sin yi
e~ y
ev
:
sinh y
(a; 4- 2/0
sin (x 4- 2/0
?/
?/t
?/
sin
cc
sinh
?/,
-{- i
cos
cc
sinh
?/.
sin z
cos z
1 e zi
-7
i e
zt
e~ zi
e~ e
** =
The right-hand
tangent
is
side
is
therefore
TT.
1 ea
-1
17*+I
a rational function of
2 2i
;
28
13. Logarithms.
2,
[I,
different
from
13
zero,
u
we have already seen (11) that the equation e = z has an infinite
x + yi, and let p and denote the absolute
number of roots. Let u
value and angle of z, respectively. Then we must have
o>
Any
denoted by Log
(z).
We
Log
(z)
log p
+ i (w H- 2 &TT),
the symbol log being reserved for the ordinary natural, or Napierian,
logarithm of a real positive number.
<o
TT
hence all the determinations
and negative, we can take
of the logarithm are imaginary.
Let z be another imaginary quantity with the absolute value p
real
o>
o>
We
have
Log (z ) =
log p
+i
(o>
+ 2 k v).
*[
Since pp
its
is
f
<o
-f-
<o
is
equal to
which shows
that,
of the values of
sum
is
one
Let us suppose now that the variable z describes in its plane any
continuous curve whatever not passing through the origin; along
this curve p and
vary continuously, and the same thing is true of
o>
When
curve.
<o
o>
I,
POWER
13]
SERIES
29
M NMP
equal to
since
we can
many
critical point z
0.
Log (2)
is
z.
To show
that
it
z,
Log (z) =
u,
Log (j)
= u^
then
z^
When
ui
.e
approaches as
its
that
is,
or
z.
Hence
number
30
Unless
[I,
13
sufficient to
order to
The
and
derivative
is
clear that
it is
of z in the function
we ought
and
same value
z,
cos
of sin
to take the
in its derivative.
z,
= sin u.
we
n,
write
to
U*-2izU-l=Q,
(22)
from
unknown quantity U
=e
ui
.
We
obtain
roots,
which
this equation
U=
(23)
Vl -
iz
* 2,
or
= arc sin z =
(24)
Vl
Log (12
z2 ).
If
The equation
sin
Vl z\
arise, on the one hand, from the two values of the radical
of
determinations
number
infinite
from
the
other
on
the
hand,
and,
of the logarithm. But if one of these determinations is known,
tw/
and
all the others can easily be determined from it. Let U = p e
=
be the two roots of the equation (22) between these
1
"
i<a
U"
p"e
two roots
o>
<o"
the relation
exists
= (2 n + 1)
U"
It is clear that
TT.
1,
and therefore
we may suppose
Log (U )
Log
= logp 4- *( + 2k ir),
= - log p + (TT - + 2
i
(U")
k"ir).
<o"
p"
= TT
= 1,
co
r
,
I,
POWER
14]
Hence
all
SERIES
31
formulae
=
arc sin z =
arc sin z
-f-
o>
TT
2k
+2
TT
log p,
&"TT
log
arc sin z
(B)
arc sin s
where u
=u
= (2
4- 2
A;"
&
TT,
+ 1) TT - M
i log p
the variable z describes a continuous curve, the various
determinations of the logarithm in the formula (24) vary in general
in a continuous manner. The only critical points that are possible
.
<a
When
Vl
Vl
iz
of the equation iz
Vl
z*
of reals, one
Let us suppose that two cuts
co to the point
1, the other from the point -f 1 to
going from
If the path described by the variable is not allowed to cross
4- oo
.
origin in its interior. If, for example, the curve described by the
root U contained the origin in its interior, it would cut the axis Oy
of
in a point above Ox at least once. Corresponding to a value of
1
2,
>
0),
>
point z would therefore have to cross the cut which goes from
+1
to
The
+ cc.
different determinations of arc sin z are, moreover, analytic
For let u and u be two neighboring values of
<
arc sin
z= - Log
U=&-i Log R,
sometimes called the principal value of arc sin z. It reduces to the ordinary deter
mination when z is real and lies between - 1 and + 1.
is
32
arc sin
z,
variable.
[I,
We
of the
have
Ui
U_
zl
Uj
sin u^
sin
u approaches
When
zero, the
preceding
of values (A)
If we do not impose any restriction on the variation of z, we can
of arc sin z to any one of the deter
pass from a given initial value
minations whatever, by causing the variable z to describe a suitable
In
closed curve.
fact,
we
when
1 is exterior,
1 a closed curve to which the point z =
point z
so we pass
and
z* are permuted
the two values of the radical Vl
the
of
to
one
from a determination of the sequence (A)
sequence (B).
of radius R (R
1)
Suppose next that we cause z to describe a circle
describes
two
of
the
about the origin as center then each
points U
a closed curve. To the point z = + R the equation (22) assigns two
>
U =
U"
zR
values of U,
ia,
U"
ift,
U"
U"
by
(*7
), Log(C7")
increases or diminishes
27Ti.
z,
or
1
_
~
e^ -
is
defined by means of
(
whence we have
and consequently
i of the
This expression shows the two logarithmic critical points
these
of
one
around
z
function arc tan z. When the variable
passes
or
diminishes
by 2?ri, and
points, Log \_(i
z)/(i + z) ] increases
by
TT.
I,
POWER
15]
SERIES
The
tions
33
which we have just defined have the same form as when the
variable
is real.
Adz
(z
m-\(z- a
a)
Adz
These two formulae enable us to find a primitive function of any
rational function whatever, with real or imaginary coefficients, pro
vided the roots of the denominator are known. Consider as a special
case a rational function of the real variable x with real coefficients.
If the denominator has imaginary roots, they occur in conjugate
pairs, and each root has the same multiplicity as its conjugate.
Let a
pi be two conjugate roots of multiplicity p. In
(31 and a
furnish a
sum
of simple fractions
Mp + N
M + NJ
+ N,i
_ a - pi
M,
x
-a(x
pi
-a(x
(Sif
pi)
>
1,
M-Ni
1
I"
M +N
p
M -N
"*"
p-l[(x-a- piy-i
If p
x-a-
is
evidently the
= 1,
sum
of
- a + PI)*-*\
(x
we have
34
15
[I,
M log
l
[(a;
a)
+ 2 A\ arc tan ^
/3 ]
cc
cc
It suffices to replace
arc tan
(3
-
TT
by
77
arc tan
x - a
2,
which
it
is
obtained
dx
single one.
In
formula
fact, if in the
dx
we change x
dx
Vl-x
1
2
to
We
bx
-f-
bi
sinfcc).
one stroke
Equating the real parts and the coefficients of i, we have at
1st
ed.
2d
calculated
two integrals already
119,
ed.)
109,
(I,
:
~~
ax
sinbxdx
(a cos bx
-f-
& sin bx
a
b sin bx)
b cos bx)
-2,7-2
1
1
+h
POWER
16]
I,
to the integral
SERIES
may
35
^ ^
x m e ax cog fa
m e^ a + bi)x
fx
dx,
xm e ax
fa
of
rational
function
of
zi
This function
made up
we
root
0,
shall
The
of simple fractions
a:
then !/(
We
sum
ai
)/2].
have, in fact,
whence
it
follows that
Hence the
n in ctn [(
1,-*
*-<*
)/2],
Aa
The
l)th;
we have
first
36
which enables us
to express ctn
[I,
in terms of d(ctuiz)/dz,
and
16
it is
#)/2] and
ctn[(s
its
derivatives,
dn
a\
I of the
Let us proceed in the same way with all the roots ft, e,
denominator of R (t) different from zero, and let us add the results
,
zi
obtained after having replaced t by e in R^t). The given rational
function F(smz, cos 2) will be composed of two parts,
F(sin z, cos
(25)
z)
3>
(z)
(26)
where
(z)
is
=C+
an integer not
is
$ (aTO
zero.
On
+ * (z).
to the integral part of a
of the form
cos
mz
-f
@m
sin mz),
*(), which
is
cor
an expression
role of the
It is the function ctn[(
)/2] which here plays the
for
a rational
does
the
fraction
as
!/(
a)
simple element, just
function.
integrated
The
;
we
cos
is
easily
have, in fact,
(27)
at once.
may
(25).
infinite.
We
POWER
16]
I,
= a (I,
a)
188, 2d
P (z
(z
ed.
a) is a
ctn/
where
coefficients of (z
for 2
SERIES
#)-*,
183, 1st ed.).
power
series
On the
j=
37
P(z
a),
l
of the equation (25),
successive powers of (z
a)~ in the two sides
we shall then obtain easily j41} j42
, Jln
cos a).
Setting
Consider, for example, the function l/(cos z
-
zi
t,
ai
= a,
it
2 at
roots
cos a
cos z
AA
+ jl ctn
3 ctn
4-
=
cos z
cos
2 sin a
a\
H
Z
I)
Let us now apply the general method to the integral powers of sinz and
We have, for example,
of cos z.
e zi J_
_!_
(
Combining the terms at equal distances from the extremities of the expansion
and then applying Euler s formulae, we find at once
of the numerator,
(2cosz)"
= 2cosmz +
m is
~
2racos(ra-2)z
cos(m-
if
and
sin2)
if
m is
even,
sin
mz -2im sin(m -
!]
m is odd,
(2
If
4)2
2)2
2i
m ^~
sin
(m
- 4)2
2)z+
+(
I)
U/
m
These formula} show at once that the primitive functions of (sinz) and of
m are periodic functions of z when m is odd, and only then.
(cosz)
38
When
Note.
the function
F(smz,
[I,
16
2zi
which
(1 + z). The transcendental functions
two kinds those which, like e z sin z, cos 2, are
like Log z, arc tan z,
analytic in the whole plane, and those which,
have singular points and cannot be represented by developments in
17. Expansion of
we have denned
Log
are of
power
functions
may
We
plane.
n l
the remainder z + /(l+z) approaches zero when n
increases indefinitely. Hence, in the interior of a circle C of radius 1
and
if
||<1,
we have
IT
=1 - 2 +
3
,~
H----
+ (- l) M* n
-.
Let F(z) be the series obtained by integrating this series term by term:
~2
~8
~4
(28)
8).
AM.
represented by the length r
For the angle of 1 -f z we can take the angle a which AM makes
as
with A 0, an angle which lies between
Tr/2 and + Tr/2 as long
remains inside the circle C. That determination of the
the point
The
absolute value of 1 4- z
is
sary that
X and
Y are
therefore constants.
.Y + Yi be zero, it is neces
=
=
consequently dY/dy dX/dy 0;
an analytic function
I,
POWER
17]
SERIES
log r
is
-f-
ia
hence the
FIG. 8
Changing
expressions,
If
we now
z in this formula
z to
we
replace z
by
arc tan z
iz,
^
series (28)
/i _L
arc tan z
The
we
obtain
Log(
development of
=
T~"Q"+K""~"*-
\L-iz /
cos
20
cos 3
sin
20
sin
r-+-r
eose
30
+,
cos 4
sin 4
M M
between
value
AM
OM
and + TT, the angle a will have for its limit 0/2, and the absolute
will have for its limit 2 cos (0/2). We can therefore write
TT
cos
20
cos 4
cos 3
log
sin 2
~2~~
If in the last
formula
viously established
(I,
we
sin
replace
204, 2d ed.;
30
(-7T<0<-7T).
by
TT,
we
40
[I,
18
In a fundamental paper on
himself
the
problem of determining the
power series, Abel set for
series
sum of the convergent
18. Extension of the binomial formula.
m(m-l)
p\
for all the values
of
and
or imaginary, provided
real
we
We
1.
have \z\
might accomplish this by means of a differential
indicated in the case of real variables
manner
equation, in the
The following method, which gives
1st
179,
183, 2d ed.
ed.).
(I,
<
an application of
lowed by Abel.
more
11, is
We
shall
of m.
(m, z) considered as a function
to
the
reduces
function
the
a positive integer,
evidently
m
whatever
values
two
are
and
of
any
-f
If
If
is
method fol
1, aRd we
<
polynomial (1
z)
<
(30)
In
<
fact, let
nary
(m, z)
$ (m
+m
z).
(m
<
<
mp + m p _^m( -f m p _
where we have
m^
by the ordi
z)
equal to
is
m^mp _^ +
f
p,
>
m (m
1)
(m
~kT
+ 1)
The proposed
+m
z)=<f>(m
The
rule.
(31)
<
we show
is
p
identical with the coefficient of z in
(m
+m
)p
the identity
(32)
(m
+ m)p = mp + mp _
is
unnecessary
m[
if
-\
we
\-mp
is
The two
On
<
<j>(m,
I,
18]
41
(33)
mp
-
pi
if
we sum
For, let
it
=p
\\
<r
new
included in the
series
pi
which is the general term of a convergent series. We can therefore
sum the double series by rows, and we thus obtain for
z) a
<f>(m,
development in power
*)
4>(m,
From
series
=1+
^m + ^m +
2
..
this series
cient of
"
e"
m we
have
ai
hence
= 7-^ +
(34)
<f>(m,
7*
----
Log (1+0;
z)=<r***v+*\
by
m
(1
-f- z~)
Let
m=
fj,
vi
if
preceding paragraph,
emLog(l+
z)
__ e (n +
it is
we have
Kt)(logr
tor)
is, if
m=p+
vi,
V(/i
+1-
n)
+ ^_
/*
(n)
-j-
(mn+l)/n
42
[I,
is
known
If
1 is
(I,
Un +\/Un
is
U%
and
if
never
less
!.
1<
/*
than unity.
= 0.
j.
"
It
term
Un
z)
= 0(m+l,
z)
let
less
than or equal to n
<(m,
real part of
m+
indefinitely, S^
when
it
equal to
n* J
0(m, z)(l
zero
series is diver
^M1
we choose p
gent.
The
_ ^-1
is
when /*
where
1 is
positive.
approaches a
Sn
follows that
K(ji^=Q,the
also
Suppose \z\ = 1
and the last
;
limit,
approaches a
1)
terms of
and 0, the
when the number n increases
term on the right approaches
limit, unless 1
on
0.
Therefore,
1.
CONFORMAL REPRESENTATION
III.
Let u
= X + Yi
be a
We
following statements we shall suppose that the axes OX, OF are par
respectively to the axes Ox and Oy and arranged in the same order
allel
When
We
shall
now show
CONFORMAL REPRESENTATION
19]
I,
43
scribe a curve
passing through
u.
which
/ ()
is zero,
and
let p
Likewise
\C
FIG. 9 b
1 iG. 9 a
( Mj
_ u)/(i
equal to
z) is
/?
lim
(35)
= p,
lim 08
o>
-f
is
2 kw.
= +
o>.
letters
y and
44
uX
(Figs. 9 a and 9
b),
[I,
19
we have
/ () = 0,
other plane also will form two families of orthogonal curves. For
C and the two
C, Y
example, the two families of curves
X=
families of curves
(36)
angle /(*)=C-
/(*)!=<?,
XOY
in the plane
axes of coordinates, and, in the other, circles having the origin for
center
and straight
lines proceeding
za
from the
origin.
r",
Example
2.
where
a, 6, c,
easily seen
how
point z by multiplying the radius vector by the constant factor p and then turning
obtain then the transfor
this new radius vector through a constant angle w.
az by combining an expansion with a rotation.
mation defined by the formula z
We
where
B
r, 0,
0.
7
,
The product
is
We
must have
rr
1,
CONFORMAL REPRESENTATION
20]
I,
45
the polar angles are equal and of opposite signs. Given a circle C with center
and radius E, we shall use the expression inversion with respect to the given
circle to
form
of the
(37)
we can
If c is not zero,
ad
be
c z
cd
=z+
-,
z2
of transformations
c zi
All these special transformations leave the angles and the sense of rotation
circles into circles. Hence the same thing is then true
of the general transformation (37), which is therefore often called a circular
transformation.
circles
with
Example
infinite radii.
3.
Let
z
= (z-
e^
(z
e2 )
(z
ep ) P ,
where e v
ra 2 ,
e2 ,
rp
MEV ME
-,
MEP and #
15
#2
-,
m
Ep
1,
mp
mp are rational
form an orthogonal system. When the exponents m 1 m 2
numbers, all the curves are algebraic. If, for example, p = 2, m l = ra2
1, one
of the families is composed of Cassinian ovals with two foci, and the second
,
family
is
The examination
of the
46
20
[I,
and
a point of 2, and
point of
We
way
(38)
rx=f(u,
v),
^iy=^(u
v\
= f\U, V),
= (u,v),
= y(u, v).
4>
/,<,-,
together with
their partial derivatives of the first order, are continuous when the
points (x, y, z) and (a; , y , z ) remain in certain regions of the two
1
surfaces
2 and 2
(39)
We
shall
131)
-*
(I,
-><&
+ Gdv*,
= E du* + 2 F du dv + G dv*.
2 Fdu dv
Let C and
(Figs.
2,
FIG. 106
I,
CONFORMAL REPRESENTATION
20]
47
dx
dx
dx
= ^-du
+ dv,
,
du
dy
= ^-du
T
dy
dv
cu
Let
D.
o>
dz
-f-dv,
cu
ov
<o
0)
curves
cos
o>
cu
+ dy
dx Bx
8?y
dv
--
F(du Bv
C and
+ dz Bz
we
dz
+ -^dv,
ov
If
du
Z),
dv
The value
(40)
dz
cu
dv
dy
-}-
cu
(39), in the
form
+ dv Su) + Gdv 8v
Sv
let
C and D\ we have
(41) cos
o>
Bv + dv Bu) -f G dv Bv
+ F (du
v
+ 2F dudv + G dv ~vE Bu + 2 F Bu Bv
also
du Bu
-vE du
-+-
Bv
o>,
dv, Bu, Bv
may
be.
The two
cos 2
r
o>
= cos
2
<u
are rational functions of the ratios Bv/Bu, dv/du, and these functions
must be equal whatever the values of these ratios. Hence the corre
sponding coefficients of the two fractions must be proportional that
is, we must have
;
where X
is
u, v.
These
for example, is a
conditions are evidently also sufficient, for cos
of
of
zero.
function
E, F, G,
degree
homogeneous
The conditions (42) can be replaced by a single relation ds 2 \2 ds 2 or
o>,
(43)
ds
Xds.
48
20
[I,
We
2,
S and a
definite relation
which establishes
But we may consider other problems. For example, given the sur
2 and 2 we may propose the problem of determining all the
which pre
correspondences between the points of the two surfaces
r
faces
ds2
= Edu + 2F du dv + G dv
2
ds
=E
du 2
+2F
du dv
+G
dv
be the expressions for the squares of the linear elements. The prob
lem in question amounts to this To find two functions, u = TT^U, v),
:
=
E
7T
2 (,
dTT
we have
that
v) such
+ 2F
t/7T
dTT^
+G
identically
dTT2
= \\E du + 2 F du dv + G dv
2
),
being
number
of solutions
we
correspondence
relations such as
(44)
X=P(x,y),
Y=Q(x,y),
I,
CONFORMAL REPRESENTATION
21]
49
a*
where X
entials.
sides,
dr*.
we
satisfy the
two relations
8P8P
The
first
8Q8Q
the functions
Consequently we can
dP
T~
cx
/*
3Q
3Q
T~
T~
cx
vy
is an auxiliary unknown.
JJL
condition (45), it becomes
where
it
we
3P
~~~
A1
>
"o~
cy
first
+>.
>[
and from
/*
We
1.
either
dP
-
....
(46)
cx
dQ
= -^-
dP
>
-^-
dQ
-5-
cx
cy
cy
or
- _
fa~
The
tion of
first set
4- yi.
^
dy
-^
Cy~
As
dx
-f-
Qi
is
an analytic func
we can reduce
it
to the first
by changing Q
to
Q, that
50
Riemann
22.
Given
theorem.
[I,
a region
22
bounded by a single curve (or simple boundary), and in the plane of the vari
able u a circle O, Riemann proved that there exists an analytic function u = /(z),
We
some examples.
We
Thus,
origin
line,
shall point out only that the circle can be replaced by a half-plane.
let us suppose that, in the plane of w, the circumference passes through the
;
the transformation u
and the
circle itself
by the portion
1.
Let u
of the
~~
=a
B-4
When the point
+ oo and 6 from
hence
from
to
and w from
from
varies
to
oo
to
IT.
&
FIG. 11
Let us next take the portion B of the z-plane bounded by two arcs of circles
which intersect. Let z z^ be the points of intersection if we carry out first the
;
transformation
z
z ft
=z
z
the region
B goes
CONFORMAL REPRESENTATION
22]
I,
51
z )/(z
z v the angle of (z
zj remains constant. Applying
1
ceding transformation u = (z ) /*, we see that the function
now
the pre
/Z-Z
\Z
on a half-
Example
2.
Let u
cosz.
AOBA
R, or
(Fig. 11), defined by the inequalities
us examine the region described by the point u =
X+
IT,
^ 0,
and
We have here
let
12)
JT
(48)
When
YL
infinite half-strip
to
TT,
is
X OX.
u = cosz, all the other roots are included in the expression 2&7T
If
z
the coefficient of i in z is positive, there cannot be but one of these points in the
tion
strip
E, for
all
and
between
TT,
TT
is
It is easily seen from the formulae (48) that when the point z describes the
portion of a parallel to Ox in E, the point u describes half of an ellipse. When
the point z describes a parallel to Oy, the point u describes a half-branch of a
hyperbola. All these conies have as foci the points C, C of the axis OJT, with
the abscissas + 1 and
1.
Example 3. Let
ng
fOa _
=! i
1
(49)
where a is real and positive. In order that \u\ shall be less than unity, it is
0. If y
easy to show that it is necessary and sufficient, that cos [(iry)/(2 a)]
varies from
a to + a, we see that to the infinite strip included between the
two straight lines y =
a, y = + a corresponds in the it-plane the circle C
>
Conversely, to every
point of this circle corresponds one and only one point of the infinite strip, for
the values of z which correspond to a given value of u form an arithmetical pro
gression with the constant difference of 4 ai. Hence there cannot be more than
strip considered.
Moreover, there
is
52
To make
means
a conformal
23
[I,
of a surface
map
make
and
(u, v),
= E di? + 2Fdudv+G dv
let
be the square of the linear element for this surface. Let (a, ft) be
the rectangular coordinates of the point of the plane P which cor
responds to the point (u, v) of the surface. The problem here is to
find
two functions
= ir
we have
(a, ft),
7T
identically
E du + 2 Fdu dv+ G dv =
2
where A
is
(a, ft)
\(da*
+ d(?),
a, ft
that
we
same time
= X (da + dft2
2
ds
),
=\
12
(da
+ dft
12
so that
Example
or a
fti,
The converse
is
fti,
Mercator
1.
will be
an analytic function of a
-f
ft
evident.
s projection.
Thus,
way
let
= p cos w,
= p sin
z
o>,
=f(p)
we have
axis Oz-,
ds
= dp
[1
+/
(p)]
+p
ds2
=P
we
set
X=
o>,
2
dd>
=p
2
2
d<i>
(dX -}-dY
I,
CONFORMAL REPRESENTATION
23]
= R sin
cos
<,
R we
53
= R sin 6 sin
z
<,
= R cos 0,
siir
and we
We
shall set
obtain thus
what
is
called
Mercator>s
which the
and the paral
parallel to OX. To
projection, in
lels
by segments of straight
from
sufficient to let
varies
from
<
to 2 TT
vary
and
oo
strip of
lines
it is
Y,
to -f oo.
or
if
we
set
But dp 2
+p
<u)
<)
The center
to the radius.
54
[I,
23
>
z,
(a
+ R cos 6} cos 0,
and it is sufficient
we deduce
to let 6
and
(a
+ R cos 6} sin 0,
vary from
2
TT
to
TT.
22
= R sin 9,
From
these formulae
-i
(a
L
and, to obtain a
map
of the surface,
we may
set
where
.=!<i.
Thus the total surface of the anchor ring corresponds point by point to that
e2
of a rectangle whose sides are 2 IT and 2 ire/\\
.
AZ7
^-^
equation
= 0;
U(x, y)
(50)
where C
solution
F(z,
y),
C,
is
~
dx
dy
dx
dy
of isothermal curves
U(x,y)=C,
V(x,y}=C
C and C
are orthogonal, for the slopes of the tangents to the two curves
respectively
_
dx
377
*y
$y
dy
dx
dy
are
form another
function
CONFORMAL REPRESENTATIONS
24]
I,
55
x + yi as an
give to x and y constant values. This is seen by regarding
+ Yi, More generally, every transformation of the
analytic function of
one family
points of one plane on the other, which preserves the angles, changes
we
new family
x=p (x
of isothermal curves.
),
= q (x
Let
/)
any difficulty (see Vol. I, Chap. Ill, Ex. 8, 2d ed.; Chap. II, Ex. 9, 1st ed.),
but the theorem can be established without any calculation. Thus, we can sup
pose that the functions p (x y ) and q (x y } satisfy the relations
,
dp
_dq
dp
ox
dy
dy*
dq
dx
i$>(x
give a
is
system
also
composed
of circles.
up
Laplace
[P (x,
s equation.
y)]
C,
dP2L\ex/
hence
it is
W/J
dP\8x 2
dy*)~
82
is satisfied,
the function
can be
56
Exs.
[I,
EXERCISES
1.
equal to
X+
is
2 sin 2 x
e-2y
e~ 2 y
2 cos 2 x
X+
is
function.
is
p and q are two integers prime to each other, the two expressions
VZP are equivalent. What happens when p and q have a greatest
and
(\/z)
3. If
p
common
divisor d
>
I ?
4.
indefinitely.
5.
cos (a
6)
cos (a
nb)
/n
cos la
sin l-^
sin
sin (a
+ &)+... +
sin (a
nb)
sin
/
I
4-
nb
-
in
6.
ment
What
is
of a straight line
arc sin z is taken as ?
7.
when
to the point 1
series
by means
8)
a) ctn (x
Cx m eax smbxdx,
b)
ctn (x
I)
dx.
Given in the plane xOy a closed curve C having any number whatever of
is
double points and described in a determined sense, a numerical coefficient
determined by the curve according to the rule
assigned to each region of the plane
be two contiguous regions
of Volume I ( 97, 2d ed.
96, 1st ed). Thus, let B, E
described in the sense of a to b the coeffi
separated by the arc ab of the curve
coefficient of the
cient of the region to the left is greater by unity than the
9.
0.
I,
EXERCISES
EXS.]
57
cient.
30
~~
~~
~~
sin 6
is
equal to
sin 5
sin
according as sin
Tr/4,
2Z =
sin(2n
>
z)/(l
(Cf Vol.
0.
by the point
Z=
I,
z2
z)]
on the
circle of
1)0
204, 2d ed.;
describes
c 2 /z effects
The
12.
relation
Vz
(_
greater than
13.
c.]
Every
14.
number
d) can be obtained
(az
b)/(cz
of inversions. Prove also the converse.
circular transformation z
where
c),
by
(az
be
b)/(cz
transformations.
d),
where
a, 6, c,
The two
definite integrals
-
s\ s+
dy
CCdxd\
dxdy
JJ -7
/Veto
-p
ft
where w
If
is real.
a,
z-ft
/3
Such a transformation
we can
called
elliptic.
write
z
is
real.
Such a transformation
is
called parabolic,
58
16. Let z
Prove that
Exs.
the points
all
zn
Given a
17.
[I,
z2
z n are on the circumference of a
z, Zj
approach a limiting position as n increases indefinitely
,
C with
circle
OM
the center
OM
circle.
C be two
circles in the
in that plane.
metric to
M{
points 1/j
18.
Mercator
to
pass from
s projection to
made up
of circles
upon a
single
parameter X
zz
where
may
az
6z
0,
a, 6, c
20*. If |g|
(1
9)(1
we have
1,
<
calculation, the
the identity
(1
Making the
9")
[EULER.]
[In order to prove this, transform the infinite product on the left into an infinite
2
product with two indices by putting in the first row the factors 1 + 7, 1 + g
,
+ 94
+ (g 3
>
21.
2
*,
2
</
in the
",
Develop
in
powers of
F(xz)
22*. Supposing
(1
\x\
+
<
xz)
1,
F(z) = (l + xz) (1 +
*(z) = (1 + xz) (1 +
[It is
x 2 z)
(1
x*z)
(1
make
* (x 2z) (1 +
F(z),
prove Euler
+ zz)
+ z2 + iz)
xz)
= * (z).]
formula
(l-z)(l-z2)(l_z )...(l-z)...
Z2
X5
X7
X 12
8n 2 -n
differential, p. 328.)
3n z + n
3
,
1+g
I,
EXERCISES
Exs.]
59
23*. Given a sphere of unit radius, the stereographic projection of that sphere
made on the plane of the equator, the center of projection being one of the
of the sphere is made to correspond the complex number
poles. To a point
is
yi,
where
)3a
+1 =
of rotations
Das
Ikosaeder.)
CHAPTER
II
I.
IMAGINARY LIMITS
25. Definitions and general principles. The results presented in the
preceding chapter are independent of the work of Cauchy and, for
the most part, prior to that work. We shall now make a system
atic study of analytic functions, and determine the logical conse
quences of the definition of such functions. Let us recall that a
function
/()
is
in the region
analytic in a region A
1) if to every point taken
corresponds a definite value of /()
2) if that
:
The consideration
of definite integrals,
is
when
due to Cauchy *
it
was
(Fig. 12).
%#,
of division Z Q z v
of increasing indices
,
zn _ 1 , z
when
the arc
the
sum
S
the
number
nitely in such a
*
of points of division z v
z n-l increases indefi
-,
that the absolute values of all the differences
way
Memoire sur
This memoir
matiques
is
+/(Q (* - *._,)
(1st series).
60
II,
DEFINITE INTEGRALS
25]
zl
61
j,
number
arbitrarily
called the definite integral of
f(z) taken along
A MB and which
is
/(*)**.
J(AMB)
To prove
this, let
and
us set
in S,
let
FIG. 12
where
and
similar terms,
) (.
When
the
Uniting the
we can
number
- *-,)
AMB, and
I
the limit of S
/() dz
J(AMB)
is
equal to the
= f (Xdx J(AMB)
Ydy)
sum
+ C
i
Ydx
+J
J(AMB)
AMB
(<),
a parameter
which have only a finite number of maxima and minima between A
and B. We can then break up the path of integration into a finite number of arcs
which are each represented by an equation of the form y = F(x), the function
being
continuous between the corresponding limits or into a finite number of arcs which
are each represented by an equation of the form x=G(y). There is no
disadvantage
in making this hypothesis, for in all the
applications there is always a certain amount
of freedom in the choice of the path of integration.
Moreover, it would suffice to
suppose that
(x) and ^ (x) are functions of limited variation. We have seen that
in this case the curve
is then rectifiable (I, ftns.,
73, 82, 95, 2d ed.).
,
AMB
62
From
the definition
25
[II,
it
c
J(A
(AMB)
(BMA)
It is often
of
of the arcs Az k _ 1}
the arc AB, s k _ 1} s t
k the lengths
the path of integration. Setting F(s)
|/()|, we have
<r
- %-i) = F (*d
(**
|/(
K - **-i
Az k A
of
s k _ l the
the length of the chord, and s k
g.
& _ 1 represents
value of S is less than or at
the
absolute
Hence
the
arc.
of
length
whence, passing to the
most equal to the sum 2
k)(s k
.s^.x)
~
find
we
~L
limit,
f or
|2 A
F(<r
f(z)dz
==
J(AMB)
Let
F(s)ds.
curve AB.
right
Jo
is
less
f(z)dz
on the
fortiori,
<
ML.
(AMB)
26. Change of variables. Let us consider the case that occurs fre
in applications, in which the coordinates a;, y of a point of
quently
the arc
AB
t,
<j>
functions of
for x
By
and y
in
obtained by substituting
and
and
<j>(f)
$(t), respectively,
Y.
1st ed.)
<
(I,
9$,
2d
ed.
93,
we have
Xdx - Ydy = f
t/
f x dy + r
J(,AB)
<fo
= f
Jet
the two
Adding these two relations, after having multiplied
of the second by i, we obtain
r
i/U
sides
DEFINITE INTEGRALS
26]
II,
63
for z and
//() dz we need only substitute
(t) -f ty (t)
[* (*) + *^ (03* for dz inf(z)dz. The evaluation of ff(z)dz is
integral
<f>
MB
r +l d*
2
J-\
We
reals, since
the function to be
form
c +l dz = r
I
ie~
u dt
i\
cos
dt
c
I
sin
dt
2.
This
2ded.;
78,
(I,
A
CND
AMB
uk
we can
If the function
ejt
approaches zero
Taking &_!
= z^_i
(u)
CND^
Wfc_
when
and replacing
sum
S, considered above,
-i) (uk
first
w*_i)
becomes
+
k=l
fc=l
The
a derivative
write
Uk
where
(u) possesses
part of the right-hand side has for its limit the definite integral
JCN
64
As
absolute value
its
smaller than
is
all
CND.
ek
This formula
will be
is
shown
/j>(M)]0
an analytic function
an analytic function is
;
in fact,
also
an
34).
The proof
of the law
of the
(u)dw.
(u) is
is
J(CND)
J(AMB)
it
where y
f(z)dz=f
will
\
(2)
yML
26
positive
length of the curve
[II,
mean
upon
when
have seen above that the case of any path whatever can be reduced
to this particular case, provided certain mild restrictions are placed
upon the path of integration.
Let / be a definite integral of the following form
:
z and z + hare two points of A whose distance from each other; h is less than rj.
= Ax + iky. From the calculation made in 3, to
(x, ?/) + iQ (x, y) h
For, let/(z) =
find the conditions for the existence of a unique derivative, we can write
when
f(z + h)-f(z)~
h~
(Z)
+ 0Ax, y) - Pi (*,
~ \P,(*
Ax + tAy
y)]
Ax
y)] Ay
Ax + iAy
+ ............................
<f>
<
DEFINITE INTEGRALS
II,27]
where f(t),
<(0>
^(0
we
65
(a, /3).
From
evidently have
integral
becomes
s r
a
*/
is
positive between a
and
/?,
Applying the law of the mean to this new integral, and indicating
by a value of t lying between a and /3, we have also
Setting ^(Y)
=
<()
+ ty(),
this result
may
form
(3)
I=\F()f*f(t)dt,
\) a
where X
equal
To
is
a complex
number whose
tion to
some elementary
=
<f>(t),
y=
,
(x k _ l}
to the values a, tv
.
L which correspond
When
facts of statics.
\j/
(t)
yk _^,
,
tk
_1
varies
from a
to
/?,
describes a certain
-
be the points of
of t;
and
let
usset
(EJ, ^j),
point (x t _ 19
),
66
still
lies
[II,
27
supposed to be positive.
have for
its
the equations
//
tff(t)4>(t)dt
which
is itself
as one
by writing
I
(4)
We can state
/3
= (u + w)
Ja
f(t) dt
r&
=Z
*/
f(t) dt,
a.
AF()
of Darboux.
shall
along the path of integration. We
first con
shall
is an analytic function, and we
the value of the definite integral is affected by the path
now
how
itself,
is
equal
to zero.
we
lemmas
is
due
curve what
fz dz, taken along any closed
1)
the integral fdz, taken along
ever, are zero. In fact, by definition,
is equal to I
a,
any path whatever between the two points a, b,
The
and the
integrals fdz,
integral
is
zero
if
the path
is
a.
As
two
for the integral fz dz, taken along any curve whatever joining
=
z
=
then
k (
t
25),
*_!,
points a, b, if we take successively *
we
sum
is closed.
equal to zero if the curve
bounded by any curve C whatever be divided
2) If the region
the sum
into smaller parts by transversal curves drawn arbitrarily,
the
sense
boundary
same
the
in
along
taken
of the
hence
it is
integrals
ff(z)ds
II,
DEFINITE INTEGRALS
28]
67
Let abed be the ith square (Fig. 13), let z be a point taken in its
on one of its sides, and let z be any point on its boundary.
i
interior or
Then we have
V
FIG. 13
where
small.
|c t-|
is
It follows that
/(*)
*/(*<)
+/(*0 ~
*</(*<)
*(*
~
**)>
is
itself
68
r **+ r
<)]
*/( Cj )
/(C,)
By
square.
the
^-
i/(c.)
lemma
first
28
[II,
= r (*c/(e
perimeter.
Then we
where
infinitesimal at the
is
have, as above,
f /(*)** = C
(8)
*A C*)
Let
l{
V2
whence we find
*;(*
J<&
7;
the factors
all
same time as
hence, by (6),
we
find
I
where w denotes the area of the ith regular
in the same way,
-
<
II
where
part.
V2 (4
lk
+ arc rs) =
77
From
(8)
we
find,
V2 uk + ^ V2 arcr,
o>^
f(z)dz
(9)
V2 (50)4
[4
X V2Z],
When
number
of
l{
where X
squares
and rk
ifk
part.
is
lk .
the
all
is
the sides
Jl.
the right-hand side of the inequality (9) we have, then, the product
of a factor which remains finite and another factor rj which can be
On
supposed smaller than any given positive number. This can be true
only if the left-hand side is zero we have then
;
f(z) dz
J(C)
0.
II,
DEFINITE INTEGRALS
29]
69
sure that
curve C,
satisfies
we always have
()
when
/(*)
~ /(* - ( )
We
number
that
we can choose
77.
lemma by
we
will repeat the operation on those parts, and so on. Continuing in this way,
there can be only two cases either we shall end by having only regions which
or, however far
satisfy the condition (a), in which case the lemma is proved
:
we go
we
shall
a set of regions all of which satisfy the condition (a) let A l be such a part.
After the second subdivision, the part A l contains at least one subdivision A z
which cannot be subdivided into regions all of which satisfy the condition (a).
Since it is possible to continue this reasoning indefinitely, we shall have a suc
;
cession of regions
which are squares, or portions of squares, such that each is included in the pre
ceding, and whose dimensions approach zero as n becomes infinite. There is,
therefore, a limit point z situated in the interior of the curve or on the curve
itself.
Since,
= Z we
,
for
GOURSAT, Transactions of
the
American Mathematical
I,
p. 14.
70
[II,
29
30.
By means
formed by
A bounded by the
closed curve
= o,
%Ar
the integral being taken along the complete
boundary in the positive sense. The proof
FIG. 14
a?>,
153).
abmbandcj)cdqa (I,
It is sometimes convenient in the applications to write the preced
/(*) d*
J(C)
(C)
= f
J(C
f(z)dz
)
+ f
f(z)dz,
J(C")
where the three integrals are now taken in the same sense that is,
indicated
the last two must be taken in the reverse direction to that
;
by the arrows.
28
Let us return to the question proposed at the beginning of
in
a
function
the answer is now very easy. Let f(z) be an analytic
same
the
Given two paths A MB, ANB, having
region Jl of the plane.
in that region, they will give the same
and
;
extremities
lying entirely
is analytic within
value for the integral ff(z)dz if the f unction /(z)
followed by the path
the closed curve formed by the path
curve
shall suppose, for definiteness, that that closed
BNA.
AMB
We
DEFINITE INTEGRALS
!!,:]
71
^4
to
any
common
zero
situated in that
case of a region
bounded by several
C"
C",
not in general zero. Cauchy s theorem, shows only that the value
of that integral remains the same when the radius of the circle
is
C"
is
varied.*
* Cauchy s theorem remains true without any hypothesis upon the existence of
the function/ (z) beyond the region A limited by the curve C, or upon the existence
of a derivative at each point of the curve C itself. It is sufficient that the f unction /(z)
shall be analytic at every point of the region A, and continuous on the boundary C,
that the value /(Z) of the function in a point Z of C varies continuously with
Z on that boundary, and that the difference /(Z) -/(z), where z is an
interior
approaches zero uniformly with \Z-z\. In fact, let us first suppose
that
is,
the position of
point,
C",
5= C {f(z)-0f[z-(z-a)(l-0)]}dz,
J(C)
and we can take the difference 1-0 so small that |5| will be less than any given
function under the integral sign in the form
positive number, for we can write the
/(z)
C"
is
zero,
we
(1-0)].
JC f(z)dz
In the case of a boundary of any form whatever, we can replace this boundary by a
succession of closed curves that fulfill the preceding condition by drawing suitably
placed transversals.
72
[II,
31
= C
Jz
&(Z)
For
is
let
also
Z -f
is
f(Z).
s*
f(*)dz,
\
Jz
and we may suppose that this last integral is taken along the seg
ment of a straight line joining the two points Z and Z + li. If the
two points are very close together, / (z) differs very little from/(Z)
write
along that path, and we can
where
is
|8|
is less
small enough.
Hence we
17,
by
provided that
\h\
h,
h
absolute value of the last integral is less than ij\h\, and there
zero.
fore the left-hand side has for its limit /(Z) when h approaches
the
is
derivative
known,
whose
already
If a function F(Z)
iaf(Z)
The
(10)
multiple-valued;
time,
does not pass through any of the
of
the
integration
path
meaning
of the formula
critical points of these functions. In the application
determination F(z Q ) of the
it will be necessary to pick out an initial
and to follow the continuous variation of that
primitive function,
at
if
II,
DEFINITE INTEGRALS
31]
function
73
when
Moreover,
if
mula
is
we apply
it
precautions.
Let us, for example, calculate the definite integral fg Zl z m dz, taken
along any path whatever not passing through the origin, where ra is
1. One primitive func
a real or a complex number different from
formula
and
the
tion is z m + l /(m
general
(10) gives
1),
m+
is
when
I
z
z m dz
=
ra
-fl
m
having been chosen, the value of z is
thereby fixed along the whole path of integration, as is also the final
value Log(j). The value of the integral depends both upon the
initial value chosen for Log ( ) and upon the path of integration.
The
initial
value
Log
Jzn
= f(z) describes
The point u
complex variable.
74
[II,
32
sum
f(z)dz
of
two
line integrals
= f Xdx -Ydy + i
Ydx
+ Xdy,
J(
J(C)
dx
we
_ ar
&x_<w
dx
dy
dy
*
see that both of these line integrals are zero
152).
(I,
a fixed point Z Q
in
the region A
function
is
a
to a variable point
(z)
single-valued
function
in
that
of
i
the
coefficient
and
real
the
Let us separate
part
It follows that the integral
4>
~(x,y)
P (x
>
y)
xdx
J(x
The
functions
v>
Q (x
>
y)
Y
I
/(av
P and Q
fa
^_
>
~^,r
^=X
^_v
te~
*y
Consequently,
isX+
/(*,)
Yd
,i/ )
^ =X
which
-f
ap_aQ
~~
ap
dx
dy
dy
=
~
_^Q
<
^c
whose derivative
Fior/().
If the function
/()
is
loops
We
shall
then be true of the integral
f(z)d.
nature
the
after
these
of
having investigated
resume the study
periods,
of the singular points of /().
will
* It should be noted that Riemann s proof assumes the continuity of the deriva
that is, of/ (z).
tives dX/dx, 8Y/dy,
;
II,
33]
75
To give at least one example of this, let us consider the integral f^dz/z.
After separating the real part and the coefficient of i, we have
r
f
/i
*-/"*
z
/(i, o)
o;
iy
t/(i, Q)
y)xdx
+ ydy
+ y2
to
^xdy
2
/(! 0)
ydx
2
?/
The real part is equal to [log(x2 + 2/ 2 )]/2, whatever may be the path followed.
As for the coefficient of i, we have seen that it has the period 2 TT it is equal
;
has turned.
II.
We
We
to the point
thus find again the various determinations of Log (z).
which
present a series of new and important results,
of
definite
consideration
from
the
integrals taken
Cauchy deduced
shall
now
between imaginary
limits.
z
x.
analytic in the same region, except at the point
With the point x as center, let us describe a circle y with the
the preceding function is
radius /o, lying entirely in the region A
then analytic in the region of the plane limited by the boundary T
and we can apply to it the general theorem ( 28).
and the circle
is
y,
is
composed of two
C"
where the three integrals are taken in the sense indicated by the
We can write this in the form
arrows.
* In what follows we shall often have to consider several complex quantities at the
same time. We shall denote them indifferently by the letters x,z,u,-. Unless it is
to denote a real variable.
expressly stated, the letter x will no longer be reserved
76
[II,
33
where the integral ^ r) denotes the integral taken along the total
boundary T in the positive sense. If the radius p of the circle y is
very small, the value of f(z) at any point of this
little fr o
m /(x):
f(s)
where
is
|8|
very small.
+B
circle differs
very
we
this value,
Replacing/^) by
find
Z-X
The
first
=x
put z
-f-
pe
ei
,
it
is
easily evaluated; if
we
becomes
~x
Pe
TIG. 15
a positive
2 7T/3
(rj/p)
z
a?,
small
number
7rrj.
17,
this integral
?ri,
we
obtain
X
fundamental formula. It expresses the value of the
function /() at any point x whatever within the boundary by means
of the values of the same function taken only along that boundary.
Let x + Ax be a point near x, which, for example, we shall suppose
lies in the interior of the circle y of radius p. Then we have also
This
is
Cauchy
4-
A#
33]
II,
77
J_
Ax)-/(x)
Ax
iri
f(*}dz
(r)
"""./(D
(z
- x) (z - x - Ax)
When Ax
/ox*
r
J(F) (*
-)(*-- Ax)
_
(r)
(z
- xf
(r)
(z
-x)\z-x- Ax)
M be
Passing to the
limit,
we
(13)
It
may
way
method of
differ
new integral *
and we obtain
and
to all those
it,
successively
and, in general,
Hence,
if
a function f(z)
is
assuming only
Note.
clusions.
The reasoning
Let
78
[n,
33
The
integral
has a definite value for every value of x that does not lie on the
path of integration. The evaluations just made prove that the limit
of the quotient [F(x -f- Ax)
F(cc)]/Acc is the definite integral
when Ax approaches
|
(n)
x has for
its
value
_ ^+l
34.
was
Morera
first
s theorem.
proved by Morera
complex variable z is continuous in a region A, and if the definite integral /( Q/(Z) dz,
taken along any closed curve C lying in A, is zero, then f(z) is an analytic func
tion in
A.
For the
of the region
=ff(t)M,
value independent of the path. If the point z is supposed fixed, the integral
31 shows that the quotient AF/Az has
is a function of z. The reasoning of
zero. Hence the function F(z) is an
f(z) for its limit when Az approaches
function of z having /(z) for its derivative, and that derivative is
analytic
therefore also an analytic function.
x within the
circle is
equal
to
the
sum of the
convergent series
35]
II,
79
the point x within it, and we would reason with the circle C just as
we are about to do with the circle C. With this understanding, x
the fundamental formula,
being an interior point of C, we have, by
x) in the following
way
1or,
a]
+1
in
a,
a,
(z
of
(z
a]
(*-*)(* -a)*
Let us replace l/(z
- x)
x-
- a)
(x
and
let
f(x)
where the
= J + /! (x
coefficients
-)++
^,
,/ and
by
2
,
Jn (x
this expression,
independent of
+R
the remainder
z,
n,
7^ n
have the
values
(16)
As w becomes
infinite the
remainder
7? n
approaches zero.
For
let
AT be an upper bound
We
MR
and the
f(x)
TI
becomes
infinite.
convergent series
= J, 4- J^x -)+-+/.(*-
M
)
From
80
[n,
35
Now,
if
^1
^0=/0)>
The
Jn
"-I
with Taylor
is,
=/()
The
circle
function
is
= ^T^
"
that
s series.
is
a, in
we would
analytic
clear that
it is
on the right.*
This important theorem brings out the identity of the two defini
tions for analytic functions which we have given (I,
197, 2d ed.
191, 1st ed.
and
II,
3).
In
fact,
of unit radius
lytic inside of the circle
we
17 and
18.
now
Let us
f(x)/<f>
<j>(x)
radius r ==
in the
it
The
etc.
which
37]
II,
development of f(z)
is
j_
2
we
81
to
is,
c /()*
J(0)(*
-)"
have, then,
(IT)
i* We
is
For
let
coefficient of (x
ever
may
be the radius
r,
and therefore
\an
a,
always
and
a n be the
than M, what
than M/rn But
.
than a
is less
is less
\
let
less
we
have, then,
More
<
<
number by choosing
>
r large enough.
The
between the order of magnitude of the coefficients of a power series and the order of
magnitude of the function; 5W(r) is not, in general, however, the smallest number
which satisfies these inequalities, as is seen at once when all the coefficients a n are
real and positive. These inequalities (17) can be established without
making use of
Cauchy
s integral
infinitesimale, Vol.
I, p. 99).
82
two concentric
circles C,
C having
common
the
[II,
We
center a.
37
shall
show that the value f(x) of the function at any point x taken in that
one proceeding in
region is equal to the sum of two convergent series,
the other in positive powers ofl/(x
a)*
as
can suppose, just
before, that the function f(z) is analytic
the circles C, C themselves. Let R, R be the radii of these circles
positive
powers
ofx^a,
We
on
is the interior circle, we have
a if
and r the absolute value of x
a small circle y lying
us
describe
let
center
x
as
R. About
r
R
the
have
C
We
C
and
equality
entirely between
C"
<
<
the integrals being taken in a suitable sense the last integral, taken
the preceding relation
along y, is equal to 2 irif(x) and we can write
;
in the
form
\dz
(18)
all
35,
we
we have
(19)
notice that
a\
(x
a)
(z
(x
(x-
a)
aV
z) (x
ay
approaches zero
maximum
is less
Comptes rendus de
C",
fact, if
is
the
than
Academic des
In
increases indefinitely.
of this integral
when n
a/ x
37]
II,
R /r
f()dz
,
where the
K,
K,
-a
Kn
K =
21
"
>
(x-
(C/)
coefficient
We
than unity.
is less
83
^
(x
a)
K
-
T
a,
is
f (*-)^i
^
J(CO
/(*)fe.
*"
(19)
and
(20),
we
f(x) in the
form
/(*)
(22)
=
I
where the
Jn whatever
coefficient
the sign of n,
is
given by the
formula
Example. The same function f(x) can have developments which are entirely
Let us take, for example, a
different, according to the region considered.
rational fraction /(x), of which the denominator has only simple roots with
Let
a, 6, c,
we have
xa
xc
xl
circle of radius
In the ring between the two circles of radii a\ and |6| the fractions l/(x
can be developed in positive powers of x, but l/(x
-, l/(x
I)
c),
l/(x
must be developed in positive powers of 1/x, and we have
|
L
I
\\
/
xn
A Ac
+ -2
*
6),
a)
84
37
[II,
In the next ring we shall have an analogous development, and so on. Finally,
exterior to the circle of radius J|, we shall have only positive powers of l/x
:
.la"-
f(x)
xn
38. Other series. The proofs of Taylor s series and of Laurent s series are
x)
based essentially on a particular development of the simple fraction l/(z
when the point x remains inside or outside a fixed circle. Appell has shown that
we can
of arcs of
FIG. 16
PQR
<7,
Denoting
<7,
PQ we
of
is
g-a
z-x~z-a
where a
can write
(z-a)
the center of
- a)/(z (x
a) is less
(x-a)"
+
l
n
(z-a) +
but
when
/*v_ay
z-x\z-a/
PQ,
integral
infinite.
We have,
therefore,
J_
*
I, p.
145.
of the
38]
II,
where the
out.
where
b is the center of
would be easy
it
to write
can write
Z-b
- 6) 2
(x
-z
whose expressions
QR we
85
(z-b)-l
/z_Mn
x-z\x-
(x-b)
n
(z
b)
/(x
b)
ap
proaches zero as n becomes infinite, we can deduce from the preceding equation
a development for the second integral of the form
-
Similarly,
where
(7),
f(z)dz
7T-
(P)
we
c is
we can transform
this
sum
K
-r
^+
/_
/.
^\2
^\-n
C".
Adding the three expressions (a), (/3),
of three series, proceeding respectively accord
and of l/(x
a, of l/(x
c). It is clear that
&),
sum
into a series of
by uniting
all
which
all
same degree
b),
number
It is seen in the
still
I/ (x
find
we
= ~ K! r + 71 K ^ +
convergent
is
a,
be the
preceding example that the three series, (a), (/3), (7), are
the point x is inside the triangle P Q R and the sum of
when
in
may
I
taken along the boundary of the triangle PQR in the positive sense. Now, when
the point x is in the triangle P Q R , the function f(z)/(z
x) is analytic in
the interior of the triangle PQR, and the preceding integral is therefore zero.
Hence we obtain in this way a series of rational fractions which is convergent
when x
P Q -R
is
is
triangle
PQR
in the triangle
PQR
the
sum
or in the
more general
same
lines.*
Let us con
sider, in order to limit ourselves to a very simple case, a convex closed curve F
having a tangent which changes continuously and a radius of curvature which
remains under a certain upper bound. It is easy to see that we can associate
with each point
of F a circle C tangent to r at that point and inclosing that
curve entirely in its interior, and this may be done in such a way that the center
of the circle moves in a continuous manner with N. Let/(z) be a function ana
itself.
* Sur
les
Toulouse, 1888).
86
where x
is
an interior point
a)
38
write
1
(*-*)"
(z
we can
to F,
[II,
a)
(z
n+
/*-<A
x\z
a/
where a denotes the center of the circle C which corresponds to the point z of
the boundary a is no longer constant, as in the case already examined, but it
describes the curve r. Never
is a continuous function of z when the point
a)/(z
a), which is a continuous function of
theless, the absolute value of (x
a fixed number p less than unity, since it cannot reach the
z, remains less than
value unity, and therefore the integral of the last term approaches zero as n
becomes infinite. Hence we have
;
(25)
and
it is
n (x) of
clear that the general term of this series is a polynomial
n. The function f(x) is then developable in a series of
that
by a
we know how to represent the region A conf ormally on the region inclosed
circle C such that to a point of the region A corresponds one and only
one point of the circle, and conversely let u = (z) be the analytic function
which establishes a correspondence between the region A and the circle C hav
f or center in the w-plane. When the variable u describes
ing the point u =
this circle, the corresponding value of z is an analytic function of u. The same
series of
is true of /(z), which can therefore be developed in a convergent
when the variable z remains in the interior of A.
powers of M, or of
infinite strip included
Suppose, for example, that the region A consists of the
a. We have seen ( 22)
between the two parallels to the axis of reals y =
z/2a +
*a
is made to correspond to
that by putting u = (e
1) this strip
l)/(e"
;
<j>
<(z),
a circle of unit radius having its center at the point u = 0. Every function
in this strip in a convergent
analytic in this strip can therefore be developed
series of the following
form
= ^y
A,
sum
is
also
say
an analytic function.
It
Cauchy
s integral.
Let us
first
real variable.
in
II,
39]
87
114, 2d ed.
174, 1st ed.) applies
(I,
here without change, provided the path of integration has a finite
length.
is
Let
of A, and
sum
is an analytic function
F(z) whose pth derivative
the
series formed by the pth derivatives of the terms
represented by
of the series (26).
its
is
Let
<f>
() be the sum
function of
of (26) in a point of F
() is a continuous
along the boundary, and we have seen ( 33, Note)
<
(27)
where x
F(x)
in the
/,(*)
dz.
t7rij^(z-xy^
is
or again, since
we
have,
fv (z)
by formula
is
interior of F,
(12),
form
Hence,
if
is
88
39
[II,
whose
Every series uniformly convergent in a region A of the plane,
terms are all analytic functions in A, represents an analytic function
The pfa derivative of F(z) is equal to the
F(z) in the same region.
series obtained by differentiating p times each term of the series
40. Poles.
sum
to the
equal, in the interior of that circle,
/(*)
(29)
= A + A^(z
a}
of a
power
- )-+
A m (z
is
series
We
shall say, for brevity, that the function is regular at the point a,
shall call the
or that a is an ordinary point for the given function.
We
is
/(*) = A m (z
where
Am
/(a)
*)-
is
not zero,
0,
/
is
(a)
The order
of a zero
is
defined in the
commences
a,
+ 4.-n(* ~
m+
)
>
)>
we have
= 0,
..-,
1
>(a)
0,
/<">()=*
We
0,
/(*)-(*-)*().
a power series which does not vanish when z == a. Since
(z) being
is
a continuous function of z, we can choose the radius p
series
this
in that
of the neighborhood so small that $(z) does not vanish
that the function f(z) will not have any
see
we
and
neighborhood,
other zero than the point a in the interior of that neighborhood.
<
The
zeros of
function f(z)
is
* This proposition
is
SINGULAR POINTS
40]
II,
89
where
<j>(z)
point a which
(z-
m
a)
+()
(z
a)
where
(31
f(z)
=
,
a)
m~
(z
a), as
we
shall often
do hereafter, a
B
B m Bm _ lt
B
Bm _ may
a, and by
regular function for z
stants. Some of the coefficients B lt
Bm
a)
certain con
be zero, but
is
surely different from zero. The integer
of /()
called the order of the pole. It is seen that a pole of order
of 1//(V), and conversely.
is a zero of order
the coefficient
is
polynomial
hood of the
is
pole.
= a,
the point
not zero for
way
is
M in
have
|
/()
>
|
M/r
m and therefore
,
/()
becomes
infinite
we
when r
quotient if/(z)/(z
analytic
a)
the points of this circle except for the point a itself. In the neigh
borhood of a pole a, the function f(z) has therefore no other singular
analytic.
90
[n,
41
region.*
may
have an
number
in
any
finite
particular property, there exists at least one limit point in the region
A or on its boundary. (We mean by limit point a point in every
neighborhood of which there exist an infinite number of points
possessing the given property.) This proposition is proved by the
process of successive subdivisions that we have employed so often.
the assemblage of points con
For brevity, let us indicate by
A is divided into squares,
us
that
the
let
and
region
suppose
sidered,
or portions of squares, by parallels to the axes Ox, Oy. There will
be at least one region A l containing an infinite number of points of
the assemblage (E). By subdividing the region A l in the same way,
and by continuing this process indefinitely, we can form an infinite
An
that become smaller and
sequence of regions A I} A 2
in
the
is
contained
which
of
each
preceding and contains
smaller,
(")
an
infinite
number
A n approach
a limit point
Z is
may
having
for center,
circle
be.
or
on
T, in
ordinary point. It is seen in the same way that the function /()
can have only a finite number of zeros in the same region. It follows
that we can state the following theorem
:
its
by some writers
to
be meromorphic.
TRANS.
SINGULAR POINTS
w]
II,
91
(32)
is
a. The exponent
a regular function not zero for z
called the order of f(z) at the point a. The order is zero if the
where
fju
= ( -)**(*),
(2) is
<
of order
if
equal to
if a is a pole
for /(#).
is
An
not a pole,
is
called
single-
an essen
it is
interior of
Laurent
itself;
we
moment
circles
C and c
sum of
/(,)=
(33)
m=
A m (,-a)-.
00
This development holds true for all the points interior to the circle
C except the point a, for we can always take the radius of the circle
z whatever that is different from a
c less than
\z
a\ for any point
and
lies in C.
A m do
37).
(z
This
m
a)
92
42
[II,
hypothesis.*
In
fact, let r
expression
37)
C"
We
(35)
\A-\<M(r)i",
where
denotes the
JftT(r)
z
|
is
|
The
C".
greater than
suppose as small as
r,
maximum
series is
we
where P(z
and G [!/(
a) is a regular function at the point
an integral transcendental function! of !/(
a).
a)]
-,
>
M
M
<
<
=A
* To avoid
overlooking any hypothesis, it would be necessary to examine also the
case in which the development of /(z) in the interior of C contains only positive
powers of z- a, the value /(a) of the function at the point a being different from the
term independent of z- a
We
in the series.
We
is
of
an entirely
II,
SINGULAR POINTS
42]
may
be, the
theorem
is
93
/() = A
If the equation
proved.
does not
number
with the radius p and the center a this equation does not have any
= !/[/() ^4] is then anal y tic for every
roots. The function
for
the point a this point a cannot be any
C
z
within
except
point
<()
for
which we have
or
\f(z)-A\<t,
|<K*)I>7
may
be.
infinite in the
is
It is easy to
not zero.
Setting
A = r (cos 6 +
-
We shall
have
z
|
<
\
p,
sin 0),
logr
we
i(0
provided that
There are evidently an infinite number of values of the integer k which satisfy
this condition. In this example there is one exceptional value of A, that is,
A = 0. But it may also happen that there are no exceptional values such is
the case, for example, for the function sin (1/z), near z = 0.
;
* Annales de VEcole
Normale suptrieure,
1880.
94
43. Residues.
[II,
43
can integrate
it
term by term,
for,
is
is
an
r A_ m dz
~~
-/(C)\
is
zero
if
the exponent
function
A_ m /\_(m
is
1) (z
value after the variable has described a closed path. If, on the con
1, the definite integral A_ 1 fdz/(z
trary,
a) has the value
m=
2iriA_ l
made
in
34.
We
f(z)dz,
\J(_C)
point
a.
continuous on a closed
/()
F only a
L be
Let A, B, C,
1.
of singular points a, b, c,
,
the corresponding residues if we surround each of these singular
points with a circle of very small radius, the integral ff(z)dz, taken
finite
number
f(z)dz
2 7ri(A
+B+
+ Z),
J(F)
which says that the integral //(*) dz, taken along F in the positive
with
sense, is equal to the product of 2 Tri and the sum of the residues
F.
respect to the singular points off(z) within the curve
It is clear that the theorem is also applicable to boundaries
F com
44]
II,
m l in the
development of that product. The
a)
in
of
a simple pole the residue is then
the
case
simple
"
coefficient of (z
rule
becomes
95
a)f(z) for z
Quite fre
a.
where the functions P (z) and Q (z) are regular for z = a and
is different from zero, while a is a simple zero for Q(z).
y
Q (V) = (z
a) R (z)
P(a)/R(a), or again, as
III.
it is
is
equal
to
the
P (a)
Let
quotient
(a).
We
The
shall
applications of the last theorem are innumerable.
give some of them which are related particularly to the evalua
tion of definite integrals and to the theory of equations.
now
= c (*J
If
rj
is
the
maximum
circle y, the absolute value of the integral is less than 2 Try, and
sequently approaches zero, since rj itself is infinitesimal with p.
way
when
that,
the product (z
con
We
a) f(z)
we
Frequently we
of a definite integral of the form fa f(x) dx, taken along the axis of
have seen above
b.
reals. Let us suppose for definiteness a
<
We
96
[II,
The
45
definite inte
any
real value of
is less
than the degree of the denominator by at least two units. With the
as center let us describe a circle C with a radius R large
origin
path
poles,
F(z)dz
R
As
the radius
becomes
+f
J(
limit,
we
C approaches
obtain
I
We
f.
from
TT to -f TT.
putting
3*
=z
we have
46]
II,
97
* ^-l\dz
As
for the
new path
when x
of integration,
increases from
to 2
IT
the variable z describes in the positive sense the circle of unit radius
about the origin as center. It will suffice, then, to calculate the resi
dues of the new rational function of z with respect to the poles
--
bi
e^
or
Ctn
/x-a- bi\ =
2
Hence
xi
=z
ix
& -r e
+e- + ai
ai
b
ix
e -e- +
.e
^
to be integrated has
is the only
equal to 2 iri if b is negative, the pole z
2 iri. The pro
one within the path, and the integral is equal to
2 Tri, according as b is posi
posed integral is therefore equal to
integral
is
We
tive or negative.
shall
now
less elementary.
46. Various definite integrals.
Example
1.
The function
and
e imz /(l
e m /2
z 2 ) has the
Let us suppose
for definiteness that m is positive, and let us consider the boundary formed by
a large semicircle of radius R about the origin as center and above the real
In the interior of
axis, and by the diameter which falls along the axis of reals.
2
this boundary the function emiz/(l + z ) has the single pole z = i, and the integral
taken along the total boundary is equal to we- m Now the integral along the
semicircle approaches zero as the radius R becomes infinite, for the absolute
two poles
+ i and
i,
i.
we
replace z by
R (cos +
+
i
sin 0},
gnu* == Q
we have
mR sin + imR cos
approaches
zero.
Indeed,
98
less
than unity
As
TT.
when
z 2 ), it
46
[II,
9 varies from
approaches zero as
We
dx
JIf
is
7re-
we replace emix by cos mx + i sin mx, the coefficient of i on the left-hand side
evidently zero, for the elements of the integral cancel out in pairs. Since we
have also cos ( mx) = cos mx, we
y
the form
(37)
fl
Jo
Example
+
The function
2.
e**/z
NA
ABMB
A
ary
(Fig. 17)
by the two semicircles
is
bound
formed
BMB A NA^
FIG. 17
We
R and
r,
e ix
dx
dz
Z
also in the
is
e ix
r
dx+
eiz
(fe
J(A NA)
0,
r
J(BMB
(BMB )
last integral
f iz
P (z)
form
r^-^d.+
X
where
AB, B A
J-R
Jr
r
r~
e iz
J(BMB
(BMB
When
lines
(A NA)
approaches
TTI
we
have, in fact,
C
/ ,.
,
*J (A NA)
-dz= f
P(z)dz + f
Z
J(A NA)
I,.,
*S
(A
The integral of the regular part (z) becomes infinitesimal with the length of
as for the last integral, it is equal to the variation of
the path of integration
;
iri.
Log (z) along A NA, that is, to
The integral along BMB approaches zero
put z
= R (cos 6 +
sin 6],
we
eiz
J(BMB )
and the absolute value
as
find
s
dz
r"
il
e- R
r n R sin Q
g
((}
Jo
I
7T
becomes
infinite.
For
if
we
46]
II,
When
increases
from
from
99
1 to
and we have
2/7T,
Rsm0>-R0;
TT
hence
JT
2R9
r _2
fa e -Ji.h
Jo
^0"i
^L
Jo
we
I,
IX
dx
100,
2d
ed.),
f.
or
=
I ^*
*z
Example 3. The integral of the integral transcendental function e~ along
the boundary (M.BO formed by the two radii OA and OB, making an angle of
(Fig. 18), is
45, and by the arc of a circle
AB
e-**dz= C
JAB
Jo
When
the radius
J(
of the circle to
which
AB
the arc
AB
fact,
if
we put
= R [cos (0/2) +
FIG. 18
sin (0/2)],
2 Jo
and
its
absolute value
is less
2 Jo
As
7?
2 Jo
The
last integral
_ #coB*
we have
7?
d0=:
/.-
/*
e-^8in*d0<-
fr
{
2 Jo
2 Jo
infinite.
100
[II,
46
e~*
>
V>
Jo
or, again,
/
Jo
V^T/
...
e-^dp
-- ism 7T\
7T
cos
).
4/
coefficients of
i,
we
s integrals,
r
(38)
+co
Jo
47. Evaluation of
T(p)T
(!/>).
The
definite integral
L
where the variable x and the exponent p are real, has a finite value, provided
- p}*
that p is positive and less than one it is equal to the product r (p) r (1
;
let
z),
1
which has a pole at the point z
and a branch point at the point
z = 0. Let us consider the boundary
abmb a na (Fig. 19) formed by the
described about
two circles C and
the origin with the radii r and p respectively, and the two straight lines
ab and a 6 lying as near each other
as we please above and below a cut
C",
-p IG
which
lies
pole z
we
shall agree
and 2 ir.
between
then
1, we have
If
The function
along the axis Ox.
ZP-I/(! -f z) is single-valued within
this boundary, which contains only
1.
one singular point, the pole z =
In order to calculate the value of the
to take for the angle of z that one
i-n-R.
The
<
<
1.
of
*
Replace t by 1/(1 + x) in the last formula
The formula (39), derived by supposing p to be real,
and 1.
of p lies between
135, Vol.
is
I,
2d ed.
48]
II,
Along
z
is
but since
is real,
The sum
ab, z is real.
also z
101
of the
its
is
angle
we have
TT,
its
limit
n_ e27u(pThe
residue
angle of
1.
equal to
is
We
X
(- I)*-
that
is,
to
etP-D
if TT is
taken as the
have, then,
_
~
or, finally,
r +a
>
XP-I
(39)
Jo
dx
other,
<
<(s)
<
/(),
where
/x
on both
sides,
we
find
f (z)
f(z)
Since,
it
/*
=
z
t(z)
4>(z)f(z) //(*)>
and
is
a pole of the
its resi(iue is
equal to
first
a,
fA<j(a),
if
n<j>
102
[II,
48
we
have
where a is any one of the zeros of f(z) inside the boundary C, b any
one of the poles of f(z) within C, and where each of the poles and
zeros are counted a number of times equal to its degree of multi
furnishes an infinite number of relations,
plicity. The formula (40)
we may take
since
for
<f>
(z)
any analytic
<
=1
(2)
function.
/w
N
number
(41)
log
when
But |/()
by 2 KTT, K being a positive or negative
|
integer.
We
have, therefore,
that
is,
in f(z)
f(z)=X+Yi.
z = x + yi
When
lt
Ct
II,
49J
We
XdY
Since the function
103
YdX
Y/X takes
XXdYX
-+-
YdX
Y2
>
equal to irI(Y/X),
N~P=\
(44)
When
analytic within the curve C, and has neither poles nor zeros
on the curve, the preceding formulae contain only the roots of the
is itself
is
a polynomial in
z,
with any
coefficients
whatever, and
when
where
<f>(t)
varies
positive sense.
Eeplacing z by
<j>
(t)
+ ty (t)
where
RR
104
know how
49
[II,
to calculate (I,
79, 2d ed.
77, 1st ed.). If the bound
composed of segments of unicursal curves, we need only
calculate the index for each of these segments and take half of their
sum, in order to have the number of roots of the equation /() =
ary
is
3>(V)
$(*)|<|.F
under
(*)|;
As the point
z describes the
Z=1+
(z)/F(z)
describes a closed curve lying entirely within the circle of unit radius
1 along the entire
1
1 as center, since Z
about the point Z
<
<
curve C.
factor returns to
its initial
value
<(V)
Now
let
with any
number
of
coefficients
whatever, and
so large that
we have
Then along the entire circle C, described about the origin as center
with a radius greater than R, it is clear that \&/F\<l. Hence the
its
degree of multiplicity.
We shall
is
neither
II,
50]
105
1= f Log [/()],
z
J(O
(45)
taken along C in the positive sense, supposing that the variable z starts, for
example, from the point z = r on the real axis, and that a definite determina
tion of the angle of f(z) has been selected in advance. Integrating by parts,
we have
I
(46)
where the
Log
(z)
J^
Log
(z)
efe,
first
Log
(logr
2iri){Log[/(r)]
-rri
that increment
z,
27ri(n- m)}
Log [/(r)] +
iri
is
equal to
log r
Log [/(r)]
(n
m) log r
4 (n
m) ?r
2
.
In order to evaluate the new definite integral, let us consider the closed
curve F, formed by the circumference C, by the circumference c described
about the origin with the infinitesimal radius p, and by the two borders 06,
a b of a cut made along the real axis from the point z = p to the point z = r
We
shall suppose for definiteness that /(z) has neither poles nor
(Fig. 19).
zeros on that portion of the axis of reals. If it has, we need only make a cut
making an infinitesimal angle with the axis of reals. The function Logz is
Jab
(ab)
logW
Z
Z)
(P)
(b
we
a>)
The
/>,
zLogz
dz
Tri
Joo
=-
TTi
Log
[/(r)]
2 TH
Log
[/(O)]
(46)
becomes
iri
M-
Log(^
VOj Oj
om I
= re^
TT.
is
/(z)
id<f>.
4 (n
- m)
106
[II,
continuous functions of
along C. Equating the coefficients of
ing relation, we obtain Jensen s formula*
2jr
(47)
in
iogEd0 =
log|/(0)|
log
a x a2
50
in the preced
an
When
product 6^2
J- f
(48)
2i
is
(7,
it is
TT
"log
=
d<j>
log |/(0)
log
This relation
established
Hermite.
(49)
= z-a-
af(z)
containing
0,
By the lemma
\z
a\.
along the entire circumference \af(z)\
=
of roots
number
the
same
has
proved in 49 the equation F(z)
=
that
a
z
a
the
within the curve C as
is,
single root.
0,
equation
<
Let
let
n (z)
circle C.
and
the point
the general theorem
,
we
have, then,
C U(z)dz
Tl(z)dz
no
In order to develop the integral on the right in powers of a, we
shall proceed exactly as we did to derive the Taylor development,
* Acta mathematica, Vol. XXII.
z= a for
t It is assumed that /(a) is not zero, for otherwise F(z) would vanish when
of
any value of a and the following developments would not yield any results
interest.
TRANS.
51]
II,
and we
shall write
ccf(%)
(z
a)
\n>
Let
be the
maximum
If
r.
along C,
is
the
we
find
maximum
C then, by hypothesis,
is less
value of the absolute value of H (z)
than
107
we have
R n+
approaches zero
when n increases
indefinitely.
,
19
Jn)
in series
(50)
We
is an
analytic function in
H(^)= $()[! o/ (X)], where
of
same
left-hand
side
the
the
region, the
equation (50) will no longer
As for the right-hand side, we
contain a and will reduce to
observe that it contains two terms of degree n in a, whose sum is
take
^>(^)
<().
{*
108
51
[n,
its
I,
(51)
-gJL {*
We
()[/()]"}
which
is
radius
We
r.
The proof
will
apply to this
circle,
maximum value
degree
= oo
36).
for a value
of r. The
r^
r/3KC(r) passes through a maximum value p
root
one
has
one
and
that
the
equation (49)
reasoning shows
only
a
the
a
Hence
such that
//,.
developments
PJ, provided
<
<
and (51) are applicable so long as a does not exceed /A, pro
vided the functions n() and $() are themselves analytic in the
(50)
circle C^ of radius rr
Example. Let/(z)
l)/2
(z
V1
aa + a2
^T
zero.
Let us put
II (z)
= 1. Then
the
(52)
Xn
where
is
value of 2 r/[(a
found for
between
r)
= Va2
and
1]
1,
1,
we
equal to unity.
of
to
oo.
This
maximum
is
The maximum
from
as r increases
and
VI -
2rVl-a 2 /(r2 + 1 - a
2
)
is
lies
a2
occurs
when
= Vl -
a 2 and
,
it is
52]
II,
V1
109
2aa + a 2 con
,
Va2
a
between
1
If
Vl
>
1,
a2
is
unity.
In the fourth lithographed edition of Hermite s lectures will be found (p. 185)
a
sinz by this method.
a very complete discussion of Kepler s equation z
His process leads to the calculation of the root of the transcendental equation
= e~ r (r + 1) which lies between 1 and 2. Stieltjes has obtained the
1)
er (r
values
rx
1.199678640257734,
/*
0.6627434193492.
In order
to study a function f(z) for values of the variable for which the
absolute value becomes infinite, we can put z
1/z and study the
We
can find a positive number R such that every finite value of z whose
absolute value is greater than R is an ordinary point for /(). If we
describe a circle C about the origin as center with a radius R, the
function
/()
We
lying outside of C.
C a
C"
>
negative powers of
z,
/(*)=
(53)
m=
A_ m z;
oo
We shall now
1)
of
When
z,
(54)
110
A Q A l9
coefficients
at infinity
2)
When
where the
Am
is
number
of
z,
m
/() = Bm z
(55)
Am _ 1
positive powers of
+ ^-i^- +
1
first coefficient
at infinity
B mz m
\z\
is
52
[II,
becomes
is
+ B^z
is
infinite,
number
of positive powers of
The
an essentially singular
point.
is
an
essentially
The preceding
definitions
series
is
we have only
carried
over to the point at infinity the terms adopted for the point
we
with respect to the function
). Reasoning by analogy,
<(
=
might
its
sign changed,
where the integral is taken in the positive sense along the boundary
of the neighborhood of the point at infinity. But here, the neighbor
hood of the point at infinity being the part of the plane exterior to
sense is that opposite to the usual
C, the corresponding positive
to
reduces
this
integral
Indeed,
sense.
II,
52]
111
and, when * describes the circle C in the desired sense, the angle of
A l as the value of the integral.
* diminishes by 2 TT, which gives
It is essential to observe that it is entirely possible for a function
to be regular at the point at infinity without its residue being zero
for example, the function 1
1/z has this property.
j
where
ft is
/(), we can
write,
function with
</>
is
is
= co.
</>
()/<
ment
is
The sum of
The demonstration
is
immediate.
containing
/() (except
the point at infinity). The integral ff(z)d, taken along this circle
in the ordinary sense, is equal to the product of 2 TT I and the sum
of the residues with respect to all the singular points of f(z) at a
center a circle
all
same
is
true of the
sum
of the residues.
its
sign changed.
112
52
[II,
Example. Let
where
P (z)
and
(z) are
Q,
side of a circle
where
(2) is
<
not zero f or z
any root of
a function which
oo
The point
is less
than q
IV.
if
p^
is
is
single-valued out
is
at infinity
q.
is
>
1.
Z
can be drawn within the boundary C between the two points
the
of that region, and not passing through any of
singular points
,
is
/(),
An
-,
fff()dz are
rz
(56)
J*
f(z) dz=F(Z)+2
Tri
(m^ + m A
2
2 -)
----
+ mn A n),
where F(Z)
tive integers
is
m w
2iriA.
II,
53]
113
infinite
number
lar point
a of f(z)
point a
But
if
and therefore
necessary that that integral shall not have any periods that is,
residues must be zero. That condition is, moreover, sufficient.
;
all its
The
definite integral
~z
Jz z
dz
it has only
has the two logarithmic critical points -f i and
i, but
the single period TT. If we limit ourselves to real values of the
it
114
[II,
53
x appear as so many
on the contrary, how
We
see,
as so
distinct branches
many
When
there are more than three periods, the value of the definite
z may be entirely indeterminate. Let us recall first the
from the theory of continued fractions * Given a real
taken
following result,
irrational number a, we can always find two integers p and q, positive or nega
Note.
integral at
any point
tive,
such that
we have
\p
qa\
<
e,
where
is
number.
The numbers p and q having been selected in
an arbitrarily preassigned
positive
this
way,
let
us suppose that
is equal to
the sequence of multiples of p + qa is formed. Any real number
can
one of these multiples, or lies between two consecutive multiples.
and n such that
+ na A\ shall be less than e.
therefore find two integers
With this in mind, let us now consider the function
We
/(* )=
?ri
\z
# V
d/
where
a, 6, c,
I(z)
will
be
less
+ m + na +
(m
(M +
/3)
e.
Ni)
We
where
M + Ni
I(z)
=A+
Bi.
variable describe a
of the inte
in advance, z
z, so that the value
path joining the two points given
this path differs as little as we wish from any pre
gral ff(z) dz taken along
the decisive influence of the path followed
assigned number. Thus we see again
by the variable on the final value of an analytic function.
,
54.
little
66)
54]
II,
and we
shall indicate
by / the value
115
of the integral
taken along a determined path (or direct path). For example, the
path shall be along a straight line if the point z is not situated on
the real axis or
1 to -f 1
if it lies
but
when
upon the
z
real
is
and
>
1,
we
segment from
Vl
We
us
~S
FIG. 20
=+!;
this loop is
to
equal to the
sum
r 1 -*
I
JQ
The
of the integrals
dx
-x/1
J.
r
X
J(ama)
dz
Vl
v L
-
2
z
dx
/
A/1
V J.
t/l-e
X2
e,
for the
On
(z
It should be observed that the value of this integral does not depend
on the sense in which the loop is described, but we return to the
1 for the radical.
origin with the value
we were
If
with
is
116
2
An
54
[II,
are described.
according to the order in which these two loops
value of the
the
for
mjr
2
even number of loops will give, then,
TT,
(2w
7-f 2m7r,
+ l)7T-/,
We
FW .fffl
JH VjR
(*)
We
.
()
are
.,
we
J?
We
shall select
= R (* ) has
two
UQ
+U
lt
R (z).
e#
and
If
tinuity.
cuts do
we make an infinite cut in the plane in such a way tha* these
to
Z
from
any point z
Q up
not cross each other. The integral, taken
cuts
these
of
not cross any
(which we shall
along a path that does
value
has a completely determined
/() for each
call a direct
path),
We
t,
this integral
depend
II,
55]
117
curve in the opposite sense, with the same initial value U of the
Q
If we let the variable z describe the curve twice in succes
sion and in the opposite senses, it is clear that the sum of the inte
radical.
grals obtained
zero
is
first
turn
(Fig. 21)
e{
(z
If
P ()/VjR()
)
we add together
the integrals
z
a
and
along Q
along az Q we find
,
/c\
/
where the integral is taken along
the straight line and the initial
value of the radical is U Q
/^^)^ 4
for
we
first
FIG. 21
loop
fi
from ZQ to
from among the numbers 1,2,
the path is, by what precedes,
direct path
n,
- E )+2(Ey -
2(E K
ft
If,
by
loops described
e
followed
e^
K
,
,
successively,
by the
y)
where the indices a, ft,
are
taken
A.
,
., *,
to
number of
points
e a) e
ft)
eK , e
F(z)=2(E
A,
2(E K
integral
is
-L
118
Hence the
sions 2
for
(E
it is
35
[II,
we can
clear that
write
- Eh )=2(E - En )-2(Eh - En
= M + 2 E n we see that all
Since, on the other hand, 2 E^
2(E
)=<o {
o>
the values
of the definite integral F(z) at the point z are given by the two
expressions
F(z)
F
where 7^,
2,
= I + m^ H-----h wn _
wn _ 1
=2E
and
it is
2Eh
2E
easy to verify
this period is
equal to the value of the integral taken along a closed curve T pass
ing through the point Z Q and containing only the two critical points
e it e h .
If, for
defmiteness,
we suppose
is
critical points ef , eh .
o>
,(>_!
R (z)
is
are not
of even
1. With
is less than n/2
degree, provided that the degree of P(z)
the point Z Q as center let us draw a circle C with a radius so large
that the circle contains all the critical points and for simplicity let
;
The
integral
taken along the closed boundary z Q AMAz formed by the radius z QA,
by the circle C, and by the radius Az Q described in the negative sense,
,
55]
II,
The
zero.
is
119
contains an even
On
E - 2E + 2E -
in the
o>
o>
e^,
2,
now
Consider
the
_2
roots.
a2
+2E
-2E = 0,
_,
form
o>
<o
-f
<o
_l
where P, Q,
2 E^
relation
of integral
P(z)dz
last,
R (z),
Among the roots of Q(z) there may be some that belong to R (z)
which do not cause R (z) to vanish. The
., a be the roots of Q (z)
let
a^
integral
Eh), where 2 Ei denotes always the inte
F(z) has, as above, the periods 2(Et
gral taken along a closed curve starting from Z Q and inclosing none of the roots
s
of either of the
a
i>
if
azi
R (z)
>
is
of
polynomials Q(z) and R(z) except a. But F(z) has also a cer
of polar periods arising from the loops described about the poles
e total number of these periods is again diminished by unity
as-
number
tain
even degree
n,
and
if
of the polynomials
and Q respectively.
root.
/
^ZA
If
e^
R(z)
FW-
dz
e2 , eg ,
the integral
120
has the period
B (z)
2E2
By
the pole e r
2J
and
3,
the remark
made
it is
55
[n,
polar period.
If
B (z)
have
If
2E
2E2
zero.
triple or
B (z)
is
but,
true
easily verified
by
direct integration.
The
elliptic integral
R (z)
where
is
We
We
105, note.
(I,
where
4-
R (?/)
is
degree. It is evident that the two integrals have the same periods.
If R (z) is of the third degree, we may suppose that it has the roots
a -f- fy to
and 1, for we need only make a linear substitution z
F(z)
(59)
where a
is
different
to
V* (!-*)(-*)
If
is
real,
the property
is
evident.
f
J V*(l
dz
2
-*)(-)
Thus,
if
two periods
is
greater than
II,
56]
is
real,
is
121
a pure imaginary.
Suppose now that a is complex, and, for example, that the coeffi
i in a is positive. We can again take for one of the
periods
cient of
We
shall
apply Weierstrass
z varies from
formula
When
to 1, the factor
AB
we
V&
and
scribes
whose angle
lies
an arc
point I/
ft of Oq
V&
It
V#
between
FIG. 22
z de
z describes an arc a
where Z^
lies
between
dz
or, setting
at,
dt
o,~2/":
Jo
?r/2
and
0.
122
from
increases
[II,
let
56
us notice
segment
OA and
o,
dt
= 2z,f
27TZ 2
Jo
where
is
and
between
a complex
7T/2.
EXERCISES
1.
in
of x,
\-
powers
Find the radius of the
circle of convergence.
2.
tive
3.
circle of radius 2
dz
5.
2)+l
and deduce from
r
6.
5 ... (2
2.4.6
1)
7T
it
r +x
dt
[( t
tt
)2
+ 2]-n
/3
(^2 +
m and
a being
Jo
cos ax
i
cte,
a being
real,
real,
II,
123
EXERCISES
Exs.]
a and
C+
/3
being real,
cosxdx
Jo
(*
cos
x)
ox-
^
cos 6x
and
ffl
6 being real
the function
(To evaluate the last integral, integrate
The
definite integral
and
positive-
# fe )/z 2 along
fe
(e
the
17.)
fQ *d$/[A + C
e is
equal to
VAC /A
is
(7)cos0]
I
equal,
and
is
when
it
chosen in
is positive.
Let F(z) and G(z) be two analytic functions, and z = a a double root of
that is not a root of F(z). Show that the corresponding residue of
G(z) =
8.
F(z)/(z)isequalto
a
8[G"(a)]
G (z)
is
equal to
F (a) G
(a)
F(a)
(z)]
G"(a)
[<??
9.
_!
(x-a)Vl-x
the integral being taken along the real axis with the positive value of the
number or a real number whose absolute value
radical, and a being a complex
a2
be taken for Vl
is greater than unity. Determine the value that should
.
f(S) dz/Vl +
z8,
f(S^dz/Vl
z3 ,
where 8 and S t
f
which
a, 6, e
dx
I
By
*
>-
cos 2 bx dx
= VTre-
&*.
124
[II,
Exs.
e-^z"-
+00
OA
AB
AOB
un - l e~ au cos bu du.
/>
where a and
13.
Jo
b are real
provided that
and
we have n
The
positive.
l-t*
14.
ctn
2n|_
is
a=
Tr/2,
^
/2m
ctn
(
TT
n).
<
+1 TT
\"I
2n
/J
2 n sin
positive
JC
n, ra
2n
1+
<
/2m +
2n
,,-r
dt
(m
integers
00
un ~ 1 e~ au smbudu.
1.
<
m n be positive
r + Z2m_2m
=
Let m,
+00
Jo
and
/2m +
2n
\
less
than unity,
we have
(This can be deduced from the formula (39) ( 47) or by integrating the
function ect2 /(l + ez ) along the boundary of the rectangle formed by the straight
= + R, x
lines y
0, y = 2ir, x
E, and then making E become infinite.)
16.
the relation
way
= 7r (ctn aw
1-
ctn
&TT),
where the
C
J7
z^ n
dz
= 2iri n(n
Zk+l
*cos<n-
k)udu
VI
(Put z
e2t u ,
then cos u
= x,
and
integers,
x2
is
= ,( +
2.4.6-.-2n
and replace n by n
&,
and k by
n.)
EXERCISES
Il.Exs.]
when
it
has a
equal to
finite value, is
125
TT/V
ax + a 2 where
,
the sign
depends upon the relative positions of the two points a and x. Deduce from
this the expression, due to Jacobi, for the nth Legendre s polynomial,
=!/
Jo
(x
<,
+ V xz
cos
IT
19.
Jo
,
_ ~~
1,
*L
/
(x
20 *. Establish the
last result
cos
formula
+ Vx 2 -
*V
where
+ Vx 2
result Laplace s
rn
definite integral
COS 0) n + 1
positive or negative.
is
Sn denote
the
is
made
to
become
infinite.
Let
let
\-
2niz2/n
Zlriz
(Apply the theorem on residues to the function $(z) = e
/(e
1), taking
boundary of integration the sides of the rectangle formed by the straight
lines x = 0, x = n, y = + jR, y =
R, and inserting two semicircumf erences of
radius e about the points x = 0, x = n as centers, in order to avoid the poles
and z
n of the function 0(z) then let R become infinite.)
z =
for the
/(z)
x-a\
a, 6, c,
x-b\f
is
+ \_
..
F(a)=/(o),
F(b)=f(b),
(Make use
of the relation
/x-JU
(a)=f(a),
JP
(x)
= /(x) +
[ jj r)
finite.
z within
126
where
Fn (z) =
(z- aj
(z
_ a2
(za )(zl
ttj
(z
(X-C4)
ax)
(z
is
a_i) (z -
On)
in establishing
VIII, p. 325.]
easily verified,
a.2 )
(x-a-i)
Exs.
).
series, Vol.
(Make
- an
(z
[II,
Taylor
(z
(x
z-x
at)
.
- an
an
(z
(x
04)
formula.)
24. Let z
6i
25. Let/(z)
X+
X=
curves
Yi
=A
+A
zm
0,
z m ~^
numbers
of
+ Am
be a polynomial of the
coefficients are
of
a variable
x,
Burman s formula gives the development of one of them in powers of the other.
To make the problem more definite, let us take a simple root a of the equation
F(x)
0,
and
let
us suppose that the two functions /(x) and F(x) are analytic
being regular f or x = a if a
Representing F(x) by y, the preceding relation
the function
and we
is
<(x)
y<f>
(x)
is
= 0.
equivalent to
0,
(m
<
!)TT.
2d ed., p. 199.]
[BRIOT ET BOUQUET, TMorie desfonctions elliptiques,
=
when the vari
a
esinz
z
(Study the curve described by the point u
able z describes the four sides of the rectangle formed by the straight lines
x = rmr, x = (m + 1) TT, y = -f R, y = - R, where E is very large.)
28*.
whose
2 rmr
[log (2/e)
log (2 rmr
Tr/2)]
series, Vol.
VII,
p. 73.]
CHAPTER
III
tion of
the treatment
I.
THEOREM
57. Expression of an
integral
function
as
product of primary
a.
by showing
The theorems
128
57
[III,
We
already know one integral function which does not vanish for
of 2, that is, e z The same thing is true of e ^\ where
value
any
g(z)
is a polynomial or an integral transcendental function.
Conversely,
ff
every integral function which does not vanish for any value of z is
expressible in that form. In fact, if the integral function G (z) does
not vanish for any value of
a is an ordinary point
every point z
for
G (z)/G(z) which
)
is
where g (z)
is
new
G(z)
integral function of
g(z) ff
G(z )e
^=
z,
z,
we
find
and we have
<r<*>-<r<*
>
+ Lo st Gr
<*o>].
The right-hand
Let us consider
infinite
roots
ber
number
now
,an) distinct
of roots.
41),
if
we arrange
we
a v a^
(1)
where an
^ \an +
..
B,
.,
and where
an+1
becomes
infinite
We
omitted from
it if
G (0) =
We
0.
an
shall first
show how
to construct
numbers
in the
The product
an
We
Ill,
PRIMARY FUNCTIONS
57]
129
degree v
The
+ 1,
integer v
provided we take
is still
undetermined.
will be absolutely
radius
radius
R
R
now
the
have
>
>
a an
A factor of this product can then be
have z
in
which
we have taken Q v (z),
from
the
manner
written,
that
we
also
if
we denote
<
this factor
by 1
1
-f
un we have
,
1
(JLY + -
_ e _ v+l\aj
(_!L\
+ 2\aj
+ 2_
"1.
m
\e
-l ^e^
-l.
130
We
have then, a
noticing that z
But if x
we have
is
57
fortiori,
v+1 d+ v +
<
a an
\
+l
+
^M^kr^kl
t/^e^+iW
or,
[III,
when
is less
)_i
than R,
hence
!
1
z \v
+l
<
I- a
order that the series whose general term is Un shall be uni
it is sufficient
formly convergent in the circle with the radius R,
Iii
+
that the series whose general term is \z/an
converge uniformly
in the same circle. If there exists an integer p such that the series
p
p 1. If there exists no
converges, we need only take v
M
v
2|l/a
integer
\R/an \,
last
finite
number
of analytic factors,
we
see that
product
itself absolutely
*For example, let n = logn (w^2). The series whose general term is (logn)-P
number p, for the sum of the first (w- 1)
divergent, whatever may be the positive
n.
terms is greater than (?i-l)/(logn)P, an expression which becomes infinite with
for v a number such that v + 1
f Borel has pointed out that it is sufficient to take
is convergent, for the
shall be greater than logn. In fact, the series ^\R/a n \^e
/! = w log|^/al. After a sufficiently large
general term can be written elogniogi
2
less than 1/w2
value of n, \a*\/R will be greater than e and the general term
is
Ill,
PRIMARY FUNCTIONS
57]
131
as a root of
the
Gz
</(z)
fl
(4)
()- w
n(i-f)
1
l^-n
The
polynomials
?(*)=
tfito
+ ^(*)+
+?(*)+
>
The
value of
take v
1,
series
5 |l/a w
2
|
is
convergent; hence
we can
*When
this exception is to be
( ) after the
by placing an accent
made
in a formula,
we
132
We
TTZ
e ff ^G(z),
The
58.
a2
class of
We
shall
an integral function.
where
construct an
an
e ff(z)
[III,
becomes
show
us
Given an
infinite
tell
57
infinite
with
sequence
we have
just
of integral functions that
have all the terms of that sequence for zeros and no others. When
there exists an integer p such that the series ^\a n \~ p is convergent,
,
seen
how
to
we can
take
\an
infinite
\
the polynomials
all
n,
number
Q v (z)
of degree
1.
where P(z)
is
number p
is
1,
the
Thus, the
function
is
of class zero
is
of class
The study
number
of singular
When
= GO
z
essentially singular points. The point
isolated
or
an
singular point ( 52).
point
an ordinary
Conversely, if a singleis
itself
valued analytic function has only isolated singular points in the entire
there can be only a finite
plane (including the point at infinity),
at
the
In
them.
number of
infinity is an ordinary point
fact,
point
for the function or an isolated singular point. In either case we can
describe a circle
Thus a
single-valued
(1900),
analytic
inftni (1910).
of
ill,
PRIMARY FUNCTIONS
59]
133
function which has only poles has necessarily only a finite number
of them, for a pole is an isolated singular point.
tion were not a constant, since it is regular for every finite value of
z, it would be a polynomial or an integral function, and the point at
infinity would be a pole or an essentially singular point.
Now
except z
difference
D = F(z)-P(z)i
is
= co
it is
there
fore a constant C,
*(*)
(5)
/"()
When
all
We
to zero the
sum
of the residues
of the function
F(X )(JL-.
_J_\
\X-Z X- ZQ/
where
and
52),
134
[III,
60
the function I/sin (1/s) has as poles all the roots of the equation
sin (1/z)
0, that is, all the points
I/&TT, where k is any integer
whatever. The origin is a limit point of these poles. Similarly, the
function
sin
smz,
has for singular points all the roots of the equation sin (I/*)
among which are all the points
z==
2k
Tr -h
= I/(&TT),
7T\
arc sinf
where k and k are two arbitrary integers. All the points l/(2 k ir)
are limit points, for if, k remaining fixed, k increases indefinitely,
the preceding expression has l/(2k 7r) for its limit. It would be
to construct more and more complicated examples of the same
easy
is
It
although
it
outside of any
always an
infinite
number
is
following paragraphs
tions with an infinite
av
(6)
that
in such a
way
with
We may
n.
av
we have
B,
>-,
\a n
all
infinite
Ill,
PRIMARY FUNCTIONS
61]
135
exists
a{
is
Let
t-,
H----
<*
in
zn H
The power
<,,
a;-
v in this
a {1 z
Now
let
be a circle of radius
are q of them,
we
shall set
136
The remaining
is
61
infinite series,
absolutely
[III,
<
<
a a
From
this circle,
P()
(8)
have the same singular points in the circle C, with the same
These singular points are precisely the
principal parts, as F^(z).
absolute values are less than R, and
whose
terms of the sequence
will
(6)
a,-)].
the principal part in the neighborhood of the point a is Gi[l/(z
Since the radius R may be of any magnitude, it follows that the
satisfies all the conditions of the theorem stated above.
function
{
F(z)
we add
It is clear that if
to F(z) a polynomial or
any
integral
function whatever G(z), the sum F(z)+ G (z) will have the same
same principal parts, as the function JF(z).
singular points, with the
the general expression for single-valued
thus
have
Conversely, we
with corresponding
analytic functions having given singular points
of two such functions, being
difference
the
for
given principal parts
value of z, is a polynomial or a transcendental
regular for every finite
it is possible to represent the function G (z)
Since
integral function.
G (z)
of polynomials, the function F(z)
series
of
a
sum
the
in turn
;
by
term
can itself be represented by the sum of a series of which each
the
to
suitable
a
part
principal
is obtained by adding
polynomial
function is
If all the principal parts G { are polynomials, the
finite region of the plane, and
whole
in
the
for
poles
analytic except
function analytic except for
see, then, that every
conversely.
of
a series each of whose terms
sum
the
poles can be represented by
infinite
becomes
which
fraction
only for a single finite
is a rational
to the decom
is
This
analogous
variable.
of the
We
value
representation
rational fraction into simple elements.
position of a
is analytic except for poles can also be
Every function $(z) that
the quotient of two integral functions. For suppose
represented by
Ill,
PRIMARY FUNCTIONS
62]
3>
(V) are
counted according to
its
137
has no poles. It
the equality
is
3>(z)
G(z)
we have
of the
general theorem does not always give the simplest method of con
structing a single-valued analytic function satisfying the desired
conditions. Suppose, for example, it is required to construct a func
tion
sequence
(6),
af
a:
shall be absolutely
in every circle de
convergent,
integer,
we
number
(9)
which
we need only
will take as
take v
above
=p
57)
v =
1.
If there exists
1, or v
>
no such
log
i.
The
*(*)
^vT-J
+1+
4+
138
[HI,
62
in a circle
C having
replaced by
and consequently
the equation
easy to verify the fact that the left-hand side of
In
the
of
function
neighborhood of a value a
(10) is an integral
z
the
in
of z that does not occur
sequence (6) the integral fQ &(z)dz
hence the function
is analytic
It is
is
also analytic
and
different
from zero
for z
= a.
In the neighbor
Jf
$ (z) dz = Log (z -
a {)
+ Q(z-
a,-),
<
]l/a
HI,
PRIMARY FUNCTIONS
63]
139
a2) 2 in powers
(z
and the
- a,)
series
\>
2 z/a\
by the
z*/a\ is absolutely
is
poles a
circle C,
F(z).
- Fjz).
Long
before Weierstrass
work,
which
Cauchy had deduced from the theory of residues a method by
under
for
a function analytic except
very general condi
poles may,
of
an infinite number
sum
into
a
be
the
on
tions
decomposed
function,
It is, moreover, easy to generalize his method.
in the
function
be
a
Let F(z)
analytic except for poles and regular
infinite
an
be
C
C
let
and
the
of
B
-,
2
origin
C\,
neighborhood
0, not pass
succession of closed curves surrounding the point 2
of rational terms.
with a value
ing through any of the poles, and such that, beginning
of n sufficiently large, the distance from the origin to any point what
remains greater than any given number. It is clear that
of F(z) will finally be interior to all the curves
whatever
any pole
The
Cn c
provided the index n is taken large enough.
ever of
>
Cn
+i>
definite integral
where x
to
is
equal
x) with
140
[III,
63
Let a k be one of
respect to the different poles of F(z) within C n
these poles. Then the corresponding principal part G k [l/(z
%)] is
a rational function, and we have in the neighborhood of the point ak
.
-f*-
-*i*vi
a k)\ m
(~
(&
-^J-i
a k)V
(~
(%
-1
i
(
- a k -(z- ak)
a.
- aky
(x
- ak
(x
- aky
~
x
We
ak
(x
x)
(12)
^(*)=y<
Cn
On
in the
we can
replace !/(
The
a*
1-
2flr
by
F(z)
integral
x)
form
F(z)dz
(13)
F(z)dz
*J
with
equal to F(0) increased by the sum of the residues of F(z)/z
the definite
respect to the poles of F() within C n More generally,
is
integral
is
equal to
(
-1)1
plus the
sum
PRIMARY FUNCTIONS
63]
Ill,
141
xp
(14)
j_ r
2irfJ(
fcL/5
w *-\f
in the
let
us write
form
dz
F(z)
zp
z(z
x)
number n
already taken
along
C n we
is
to
become
infinite,
so large that 8
shall have
may
it
<i
If
Sn
is
C n we have then
p+
Sn
\x\
1
M|<
27T
8(8-
a;|)
num
S
of the curve C n to the minimum
2) The ratio n /8 of the length
distance 8 of the origin to a point of C n remains less than an upper
bound L as n becomes infinite.
If these conditions are satisfied, \R n is less than a fixed number
which becomes infinite with n. The term
divided by a number 8
|a;|
R n therefore approaches zero, and we have in the limit
\
x=
(15)
H-lim
0)
142
in the
C2
Cj,
series
,
is
C nJ
lutely convergent,
63
we can
part G(l/z~), it
function F(z)
[III,
G(l/z).
jr.
Let us apply this method to
which
has
ctn
the function F(z)
only poles of the first order
l/z,
=
k
is
where
at the points z
&TT,
any integer different from zero, the
64. Expansion of
ctnx and
of sin
We
ctn (x
+ yi)
**
_9
e ty
On
is
equal to
it
+ e -2y
2cos2x
EC and B C we have
and the absolute value
than 1. On the sides BB and
the sides
cos 2
is less
CC
1,
is less
than
FIG. 23
We
must replace 2 y
becomes
in this
ctn z
mula
formula by
(15), taking
p=
less
we can apply
cos
*- sina
(16)
V
ctnz
We
X
A-"
have here
im (?F(0)= ix=0\
&7T, is
Cn remains
We
0.
(2
have, then,
!/)/
HI,
PRIMARY FUNCTIONS
64]
143
for
11
kfr
JCTT
k7r(k7T
x)
kw)
~far
Jf
The
factor eff^
is
fc,
we have
the
of
we
we combine
the
which correspond
to opposite
new formula*
(180
]
sin TTX
j
Note 1. The last formulae show plainly the periodicity of sinx, which does
not appear from the power series development. We see, in fact, that (sin irx)/ir
is the limit as n becomes infinite of the polynomial
it
in
who obtained
144
Replacing x by x
1,
formula
this
infinite,
sin (z
and therefore
sin (z
2?r)
may
we
64
[III,
IT)
sin TTX, or
sin z,
sinz.
suppose x real and positive. The series Sx/n being divergent, the product
becomes
infinite
- n, the
approaches zero as n becomes infinite (I, 177, 2d ed.). If we take m
if we make m and n become
product Pm Qm has (sin7rx)/7r for its limit; but
infinite independently of each other, the limit of this product is completely in
determinate. This is easily verified by means of Weierstrass s primary functions,
whatever
may be
the value of
x.
Let us note
first
are both absolutely convergent, and their product F^(x)Fz (x) is equal to (sin7rz)/7r.
With these facts in mind, let us write the product Pm Qn in the form
Pr\
mVn
^11/1
~
i
1/11/1
~_L\
ov a
n)
the two numbers m and n become infinite, the product of all the fac
on the right-hand side, omitting the last, has F^(x) F2 (x) = (sin TTX) fir for its
limit. As for the last factor, we have seen that the expression
When
tors
has for
its
limit log w,
The product
Pm Q n
m/n
(I,
161).
has, therefore,
the
its limit. Hence we see the manner in which that limit depends upon
law according to which the two numbers m and n become infinite.
Note 3. We can make exactly analogous observations on the expansion of ctn x.
We shall show only how the periodicity of this function can be deduced from the
Let us notice first of all that the series whose general term is
series
for
(17).
J_
k-rr
(k-l)Tr~
k(k-l)ir
Ill,
ELLIPTIC FUNCTIONS
65]
0,
A:
all
1, is
145
its
sum
1 to
oo to
is
GO.
klT
2/?r,
We
as
+
is
co., excepting
seen on mak
1) 7T
(k
where the values k = 0, k = 1 are excluded from the summation. This results
from subtracting from each term of the series (17) the corresponding term of
the convergent series formed by the preceding series together with the additional
term 2/ir. Substituting x + TT f or x, we find
ctn (x
TT)
-l7rJ
~T~
or, again,
kl
where
takes on
all
The right-hand
side
is
II.
single-valued analytic
said to be periodic if there exists a real or complex
w such that we have, whatever may be z, f(z
to)
f(z)
function f(z)
number
number
this
is
to
is
called
any number
equal to
of times in both direc
o>
We
tions.
obtain thus
the points
,
points
mo,
these
to,
w,
3
o>,
and the
no,
w,
to,
Through
different
FIG. 24
points
and through the origin let us draw parallels to any direction differ
ent from 0(o the plane is thus divided into an infinite number of
;
146
[III,
65
All the values of the function f(z) in the first strip will be duplicated
at the corresponding points in each of the other strips.
be two unlimited straight lines parallel to the
Let LL and
MM
direction
Let us put u
Oco.
2i7r2/a)
<?
and
let
MM
and
= +
A vary from
2<r
(3i>
Thus, we have
oo to -f oo.
jB.-
A>
27ru e
2^^
;
MM
MM
C l} C 2
circles
number
with the
of values of z
common
difference
But while
to
u, to a value of
MM
is equal
between the two straight lines LL
of the new variable u which is analytic in the
ring-shaped region between the two circles C l and C a ,For although
to a value of u there correspond an infinite number of values of z,
all these values of z give the same value to f(z) on account of its
to a function
<j>(u)
periodicity.
Moreover,
corresponding value of
if
z,
Z Q as
<f>(u).
<(?/).
Ill,
ELLIPTIC FUNCTIONS
66]
we conclude from
2,
sum
equal to the
147
this that in the in
of the series
(19)
/(*)=2>,,<r=~.
oo
that the
two straight
is
lines
MM
2niz/<o
z.
By
If
we
all
m=n
the lower limit of
ma +
nb
+ pc
0,
equal to zero.
is
\
Consider the set (E) of points of the plane which represent quantities of the
form ma + nb + pc. If two points corresponding to two different systems of
integers coincide,
we
ma +
nb
and therefore
mj +
a
(m
where
+ pc = m^a +
(n
numbers
lemma
is
nx ) b
evident.
(pp )c =
1?
+ p t c,
nt &
Q,
nx p
p l is not zero. In this
the points of the set (E) are dis
,
If all
\.
Let
N be a positive
integer
let
>
0.
JV,
(^V
1),
0,
-,
1,
p one
N, and
let
Let us suppose |a|j==|&|^|c|; then the distance from the origin to any one
of the points of (E) just selected is at most equal to 3 N\ a
These points there
fore lie in the interior of a circle C of radius 3jV|a| about the origin as center
or on the circle itself. If from each of these points as center we describe a
\.
Three periods a, b, c are said to be dependent if there exist three integers m, n,p
which ma + nb + pc = 0. TRANS.
148
66
[III,
circle of radius
to 3
N\a\ +
circle
C 1? and we have
N + 1)
(3JV|a|
5)
>
(2
3 2
or
SN\a\
s<
(2N+ 1)1-1
The right-hand
is
all
ma
|
N becomes infinite
hence this in
lemma is established.
integers m, n, p (except m = n = p
zero,
of the
= 0)
numbers such
ber
e.
as center, where e is so
e about the point z
small that the equation /(z) =f(z Q ) has no other root than z = Z inside of this
circle ( 40). If a, b, c are the periods of /(z), it is clear that ma + nb + pc is
If
we
choose m, n,
equation /(z)
which
is
When
=/(z
in such a
impossible.
there exists
between
a, b, c
ma +
without
all
the
may have
n,
numbers m,
n,
the periods a,
hence we have
ma +
that
|
(20)
/(z)
manner
m,
z l different
nb
+ pc
from
is less
than
where
the
e,
\z 1
<e,
nb
+ pc =
0,
p being
6, c,
m",
ma+
then we
n"
n"
m"a
,
n"a
ri b
=mb
m"d
If
a and
b are
the
periods of /(z), a and & are also, and conversely. Hence we can replace
The re
system of two periods a and b by the system of two periods a and b
and p being prime to each other, let us
lation
becomes Da -f pc =
.
(20)
two periods
Note.
As
and
lemma we
see that
if
a and
ft
are two
Ill,
ELLIPTIC FUNCTIONS
67]
have p
ma +
ma +
n/3
+ pi
From
can be
less
149
than a number
<
only
if
we
n/3
<
e.
this
it
p/a
ma
ma
is
and equal
and n such that
rational
let
u, the
m<o
FIG. 25
direction
tion
0<o.
O<D
The plane
is
2m
to
net of
relations
* It
is
f(u
now
2<o)=/(V),
f(u + 2w )=/(w)
we deduce
at once
easy to prove that there exists for any periodic single-valued function
at least one pair of periods in terms of which any other period can be expressed as an
TRANS.
integral linear combination such a pair is called ^primitive pair ofperiods.
;
150
f(u
+ 2 ww + 2ra
ci>
= /(tt),
so that 2 raw
[III,
67
+ 2 ra V is also a period
We shall represent this
<o,
2
the point u
the
are
points 2w, 2
2
a>
vertices
and the
o>,
<o
o>
o>
o>",
o>";
account of the double periodicity the value of f(u) at any point of the
plane is equal to the value of f(u) at some point of the parallelogram
OABC. Hence the absolute value of f(u) remains less than a fixed
number M.
It follows
by Liouville
is
a constant.
is
counted according to
that
if
an
point M O
elliptic
+2
(o,
in evaluating the
the origin
is
number
a pole,
all
the
Ill,
ELLIPTIC FUNCTIONS
68]
151
we
any
way that/(V)
1)
to the
The sum of
the residues of
an
elliptic
zero.
is
the integral being taken along OABCO. But this integral is zero, for
the sum of the integrals taken along two opposite sides of the
paral
Thus we have
is zero.
lelogram
if
we
substitute
C f(u)du=
J (BC)
Similarly, the
along
CO
is
self-evident
-f
<o
for
P/O + 2
sum
o/2u>
2io
we have
C f(u)du.
ff(u)du=- J(OA)
t/2w
Jl<a
zero.
x,2u>
J (BC)
Jo
J(OA)
and
/2
In
from the
AB
For
and
almost
let
us
of
FIG. 26
is
at least
152
The number of
2)
an
zeros of
elliptic
[III,
68
function in a parallelogram
being
is
<f>(u)
<j>
function
eral,
the
of periods
f(u)
is
The difference between the sum of the zeros and the sum of the
in a parallelogram of periods is equal to
poles of an elliptic function
3)
a period.
Consider the integral
/
P(<H\
du
2w
2w
r u
r
^jri du +
J2u,
/"O)
Jo
If
or,
we
substitute
+2
a>
for
/W
2a
/O)
f^\
/W
*
du
sum
is
equal to
-f
Jo
The
integral
C
I
Jo
f(u)
M\ du
/O)
- w
sides
grals along the opposite
OA and BC
is
therefore equal to
Ill,
ELLIPTIC FUNCTIONS
68]
= 2w
(4m27rio) )/27rt
AB
and along
CO
Similarly, the
2
of the form Im^.
is
o>
m^ +
153
above
is
o>
4)
exists
an
elliptic
algebraic relation.
Let /(M), /jOO be two elliptic functions with the same periods
2w, 2(o In a parallelogram of periods let us take the points a v
a m which are poles for either of the two functions f(u),
a
let /^ be the higher order of multi
or for both of them
.
fi(u)
^ ^
fji
am
than the points a v 2
(u) which can have no other poles
of
a
addition
the
them
from
deducible
are
which
those
and
period.
by
In order that this function <(V) may reduce to a constant, it is
tion
<I>
in the
necessary and sufficient that the principal parts disappear
a
Now
the
a
of
the
of
each
m
point a,
points lt 2
neighborhood
the
con
to
most
at
order
of
an
is a pole for
n^. Writing
equal
(u)
.
<
all,
at
most
nfa+^+
we
shall
have then,
o+^^Nn
linear
are
n(n
n (n
_j_
+ 3)/2
3)
>
of these coefficients;
2 Nn, or n
homogeneous equations
+3
in
>
2 N,
which the
154
The
[ill,
68
derivative of an
since
w=
2 w.
iv -f
or infinite, that
is,
that
f(w)
shall be zero
for f(u).
The order
if
which
If
for a pole or
We
in Weierstrass s
Since the residue must be zero, the principal part in the neighbor
2
In order to
hood of the pole a must be of the form A/(u
a)
make the problem completely definite, it suffices to take A = 1 and
and
to suppose that the poles of the function are the origin u
all the vertices of the network 2 w = 2 ma -j- 2 raV. We are thus
.
To form an
the points
elliptic
2w =
2 mta
2w
shall be !/(?
2
>/
Ill,
ELLIPTIC FUNCTIONS
69]
155
62,
we
shall
first
where
and
take on
all
=m =
(the combination m
<x>
to
oo
-f-
is
convergent, provided
being excepted),
that the exponent JJL is a positive number greater than 2. Consider the
raw
w f r
0, u
raw, u
triangle having the three points u
of
the
are
sides
of
the
three
the
its vertices
triangle
respec
lengths
+m
|raa>
raw
|,
ra
|.
2
a>
+ ra w = ra
2
raw
|
^2
6 if
equal to 8
7r/2.
cannot be zero, since the three points 0, w, a/ are not in
The angle
a straight
|rao>
and we have
line,
+ ra
is
2
a>
= (1 -
^= cos
2
cos
(m a
>
1.
<
-f ra
2
,
and consequently
|rao>
+ ra
From
2
o>
^(l- cos)(m
a2
-f ra
)^(l- cos)a (m + m
2
).
it
"1
ii
+^
^W
L(^
3 or
/JL
series is
convergent
172).
Hence the
4.
According to a
~~
2?,^)
4^ J
~A
represents a function that is analytic except for poles, and that has
the same poles, with the same principal parts, as the elliptic function
shall show that this function
(u) has precisely the two
sought.
We
<f>
periods 2 w and 2
where 2 w
o>
Consider
first
the series
integral values of
all
the
m=m =
156
and
m=
results
1,
m = 0.
from the
by considering
it
This series
is
69
when we
series
[III,
(u)
It is easily seen that the
<o
<f>
as a double series
sum
of this series
is
zero
combinations (m = ? = 0), (m =
excluded from the summation. Let us
m =
<
the
1,
0)
being always
2
to u
now change u
o>
then we have
the combination
m=
the summation.
1,
m =
is
identical
with
<f>(u).
<o
is
we put u =
double sum are
If
in the difference
zero,
p (u)
l/^
all
is itself zero.
The function
all
the points 2
and
only those.
2)
3)
The
The
of the origin
principal part in the neighborhood
2
0.
is zero for u
difference p (u)
l/u
is
1/w
The function p ( u)
we have, then, p( u)=
fi
ELLIPTIC FUNCTIONS
69]
Ill,
157
in positive powers of u.
analytic and can be developed
term of the series (22), developed in powers of u, gives
~~
(u
and
it is
2 w) 2
TV?
+
~(2wf
+
(2w/
The general
"
(2w)
n+z
5
1
- u/\w by l 2u/S
by replacing 1
dominates the series. Since the series S l/H* is convergent, we
have the right to add the resulting series term by term (9). The
coefficients of the odd powers of u are zero, for the terms resulting
from periods symmetrical with respect to the origin cancel, and we
can write the development of p (u) in the form
it
=^+cM +c
a
p (u)
(23)
M4
where
(24)
We
p()=(
developments,
39 and 61).
158
The
70.
theorem of
origin
we
M =-
~3
(23),
+ 4cu +
*
"i
\\rhere
70
(u).
[ill,
The
0.
(^)
p() - 4 p
=-
_ 28 c. +
??
is
when u
and we have
zero
therefore identical,
write in the form
a
[p ( M )]
(27)
I/-
0.
2
4 p 8 and
elliptic function p
These two elliptic functions are
,
4 p(t,) -
0.
28
(u)
-g
we
shall
9,
where
4
20 c
60
28
The
tions
</
In
fact,
formula
(28)
On
w)=l
we have
+ 2c + 12 cX +
2
...
+(2 A- 2)(2X -
2A ~ 4
3)<y
Ill,
ELLIPTIC FUNCTIONS
71]
159
(28),
[>=2,3,...,(X-2)],
73)2/yA-,,
terms of
</
thus
c.
2 4 .3.5 2
~2
.5.7.1l
This computation brings out the remarkable algebraic fact that all
2 l/(2w) 2n are expressible as polynomials in terms of the
the sums
two.
first
We
notes).
3
are precisely
g8
(27) the roots of the equation 4 p
gjp
These three roots are ordinarily
the values of p(u) for u
a/,
o>,
o>"
<o
</
By
CD".
o>,
represented by e^
=
*i
^
W>
^=P
P (w %
all different
for if
we
<>
e
l
=e
a,
is
o>
Moreover, we have
</
and the
roots e x e a e
g
,
we have
the
relations
e
+e +e =
2
The discriminant
^e 2
0,
(gl
27 grj)/16
+^
is
=-
^v. = f
we
2
integrate the function p(w)
1/w
along any path whatever starting from the origin and not passing
through any pole, we have the relation
71.
The function
(M).
If
/
Jo
The
series
160
The preceding
jf"
[P
()
<*
J]
frac
= - () +
we
find
= -?
(31)
It is easily seen
is
(w)
71
(30)
and
[ill,
(30),
The function
(")
the
p(w), these two functions differ only by a constant hence
when
the
constant
a
increases
function (ii)
argument u
quantity
by
tive
increases
stant.
Changing u
to
+2w
(M
We
+2
to)
(w)
=-
p (v) dv.
shall put
2^
=- f
00<fv,
T/
Then
7y
and
77
u and of
relations
l(u
we
find
p (;) rfv.
If
r
1/U
t/H
two
find
~M + 2lO
o,)
{(M)
+ 2 ^,
^(i*
o>
and u
a/)
f( w )
-*<J
+ 2j.
respectively,
we
ELLIPTIC FUNCTIONS
71]
Ill,
161
to
o>
(u)
is
68 the sum of the integrals taken along the side joining the vertices
4- 2 w and along the opposite side is equal to the expression
WQ UQ
,
2u
sides
We
is
to
(32)
0*77
77
7T
if
F(u)=
2o>
(v)dv,
c/M
taken along any path whatever not passing through any of the poles.
We
haVe
F (u) =
(u 4- 2
to)
C (^O
77,
To
K let
dv
>>-
along a path very close to the segment of a straight line which joins
This integral is zero, for we can replace the
the two points w and
to.
patti
the
new
<a
/+
-to
we have
162
[III,
71
C+
we can
take
K=2
(33)
where
integral
rj
have, in general,
(u
w)
+ (2 m + 1) TT
i,
u.
is
u
we
=2
t(v)dv
dv
TTI.
170)
ta
*"
t(v)dv.
fu
and consequently
lw f[*-a-
(34 )
The
function
<r(u):
-w=
(35)
The
is
the periods 2
all
(34
>-
rl*
wj
<T(u)=ue
obtain
whence, taking the logarithmic derivative of both sides, we
The function
periodic.
<T(M),
When
its
by an exponential
From the formula (34
we have
u
<r(u)
2oi)=
ai
71,
+
->
whence we
find
=-
+(Sw+1)lrf
<r(w)
Ill,
ELLIPTIC FUNCTIONS
73]
(38)
From
<r(u
2o>
manner the
eW
=)
163
relation
+u
><r(u).
it
is
an odd function.
we expand
If
this function
in
<r(u)
powers of
q
O
<r(w)=
We
is
K
O
^e
is
For we have
ot
u
D
5
3>4
u, the expansion
easy to show that
,2
\
/o
f^\L
1 \
A\
1J
"
polynomial in the c x
first five terms are as follows
the
2 3 .3.5.7
2 4 .3.5
2 9 .3 2 .5.7
2 7 .3 2 .5 2 .7.11
<r
or again
f(u) can be expressed in terms of the single function
in terms of the function
(u) and of its derivatives, or finally in
terms of the two functions p(u) and p (w). We shall present con
<r(u),
Method
ttj,
a2
1.
we have
(40)
the relation
ai
+ ... + as = 5, + 5 +
2
+ $ + 20,
where 2 O is a period.
Let us now consider the function
-
<r(u-ad>
<r(u-a n )
<r(u-bj.-.<r(u-bn
-2a)
This function has the same poles and the same zeros as the function
are u = a and the
a,-)
f(u), for the only zeros of the factor a-(u
{
164
73
[III,
this function
is
u>,
<j>
<
(_
!(
>-<*!
j_yig2
-a, -----
/_
an\
^e
by
-J\ng2
(40).
rj(n
c uo ^ ent
2
l
)= ? 0no infinite values
periodic function of u having
constant, and we can write
<t>(u
o>
<(
/W/0
that
is,
it
is
- bn -20)
it is sufficient to give to the variable u
neither a pole nor a zero.
to express an elliptic function f(u) in terms of
is
More
generally,
the function o-(w),
fice to choose
when we know
n zeros
-,
its
<)
and its
and n poles
zeros,
poles
b2,
(b ly
will suf
it
-
6)
in
that 2a,
2- and
any
may
and of its
Expression of f(u) in terms of the function
function
the
aof
k
derivatives. Let us consider k poles a v 2 ,
/(M)
such that every other pole is obtained by adding a period to one
Method
2.
We
A&
AAd)
l
yl 2
(u
- y
__-A^
i
(u
ni
t
The
difference
"I
"("-O
o>,
Ill,
ELLIPTIC FUNCTIONS
73]
165
That difference
is
therefore a
;=C
(42)
Method
3.
us consider
first
We
can
function which are not periods, are symmetric in pairs.
a n ) such that all the zeros except
n zeros (a v a2
the periods are included in the expressions
therefore find
ax
We
o>
-f-
+ 2 w,
a2
+ 2 w,
an
-f
2 w.
o>,
lying on the same side of a straight line passing through the origin,
carefully excluding half the boundary in a suitable manner. If a
zero a is not a half-period, it will be made to appear in the sequence
{
av az
*,
order 2 r
68, notes).
(
in the sequence a v a 2
,
[POO-
We
PK)][P- PK)]
[PW- PK)]
has the same zeros, with the same orders, as f(u), excepting the case
of /(O) = 0. Similarly, we shall form another product,
[p 00
- P (*i)] [P 00 - P &)]
CP
W - P (*)]
having the poles of f(u) for its zeros and with the same orders,
again not considering the end points of any period. Let us put
./
*(
~ P Wl
O) ~ P K)1 fP
P (**)]
P (W [P 00
[P 00
f>
~
00
[P 00
[P
166
[III,
73
We
poles.
and
if it did, its
reciprocal
have, then,
)
~ P K)]
[P
(")
- P K)]
is an even function,
^M) is an odd elliptic function, ./jOO/P
and therefore this quotient is a rational function of p(u). Finally,
even function and an
any elliptic function F(u) is the sum of an
odd function
:
.
* /\ u ) ~
F(u)+F(-u)
F(u)-F(-u)
results,
we
form
(43)
where R and R
complicated
Let us first apply the general formula (41), in which the function
once
function p(n)
p(v). We see at
appears, to the elliptic
the
same
with
function
is
an
that
elliptic
-f
<r(u)
v) a-(u
<r(u
v)/<r\u)
zeros
p(v)
sides
by
2
<r
C(T (v),
<r(u
P()-P
(44)
We
have, then,
v)
v)<r(u
-^-
<r(u
it suffices
zero.
We
+ v)<r(u-v)
>
we
P
.
(U)
.
{(
+ *) +
(-")-
2 {(),
v as
HI,
or,
ELLIPTIC FUNCTIONS
74]
167
two
(u
(45)
+ v)
we
results;
(v)
(u)
7:
~/^r
p"(w-),
This calculation
6 p*(u)
g 2 /2.
the result in a more elegant
p(u
(46)
+ v) +
way by
proving
p(u)+p(v) = [t(u
the relation
first
+ v)-
W )- COO] 8
a period.
(w
+ v)- (w)(tO=00 +
_
we have
W-^(V
{ (*OH
M
/y>
4-
aw
and consequently
cf/
The
-*(- +
-*
"
*)-(")=%
W+
>
The
a constant.
To
developments
We
neighborhood
p(u
..
168
[III,
74
(47)
Hermite
decomposition for
to the integration of
an
elliptic
We
but the function o-(w) may appear in the result as the argument of
a logarithm. In order that the integral of an elliptic function may
be itself an elliptic function, it is necessary first that the integral
that is, all the
shall not present any logarithmic critical points
must be zero. If this is so, the integral is a function
residues
;
A$>
-2AS>
whence we derive C
0,
S^gP
2 Ceo
0,
0-
A$>=
i,
0;
theorem.
When
only to notice in regard to the integral fR v [P(M)]P (M) du that the change of
As for the
t reduces it to the integral of a rational function.
variable p(u)
integral
[p(u)] dw, we could reduce it to a certain number of type forms by
means of rational operations combined with suitably chosen integrations by
parts but it turns out that this would amount to making in another form the
fR
we make
in
Volume
(u)
du
dt,
or
du
t,
105, 2d ed.
(
which gives
For,
HI,
ELLIPTIC FUNCTIONS
75]
the integral/E [p
(it)]
169
R (t) dt
f
We
V4
form ftn dt/ V4 s
of the radical
this integral
gr 3 ,
g<,
sum
g2 t
and
of a certain
dt
>Q(t)
f
where P(t) is a polynomial prime to its derivative and also to 4t s
gz t
gr 3
and where Q (t) is a polynomial prime to P (t) and of lower degree than P (t)
Returning to the variable M, we see that the integral fR[p(u)] du is equal
to a rational function of p(u) and p (w), plus a certain number of integrals
such asj[p(tt)] n dw and a certain number of other integrals of the form
,
(4 9)
and
and
this reduction
divisions of polynomials)
We
can easily obtain a recurrent formula for the calculation of the integrals
n
In
f[p(u)~\
we
replace
If, in
du.
the relation
/2
g 2 p (u)
g s and 6p (w)
(w) and p"(w) by 4 p (u)
respectively, there results, after arranging with respect to p(w),
g 2 /2
-^{
du
and from
(50)
By
we
this
[p(M)]
n~1
derive,
/
(M)
(4n
putting successively n
2)In +
in
sides,
1\
)gr
/M _i
(n
I)gr 3
7n _ 2
In
II =
f (M).
it will be necessary to know
we know these roots, we can reduce the
in this formula, all the integrals
1, 2, 3,
M,
du
p(u)-p (v)
where p(v) is
4 3 _ g^ _ g o
zero.
different
m
from e^
The value
The formula
e2 , e3 , since
~ p/ (V)
-
f (u
v)
f (u
v)
is
and p
prime
(v) is
P (u)
established in
(51)
74,
then gives
_=_
[Log<r(w
v)
Logo-
(it
v)
2wf(t>)]
C,
to
not
170
76.
The function
The
0.
series
by means
76
[III,
of
tions p(u), f(w), a-(u) do not easily lend themselves to numerical computation,
which is valid for the
including even the power series development of
<r(u),
whole plane. The founders of the theory of elliptic functions, Abel and Jacobi,
had introduced another remarkable transcendental, which had previously been
encountered by Fourier in his work on the theory of heat, and which can be
developed in a very rapidly convergent series
it is
the Weierstrass
=r+
<r
(u)
We
Let T
si
I
= -2_
6(v)
(52)
(-l)n q
+ ly
2) e (2n
z.
This series
general term
if
=a+
j3i
is
is
which
series in
eniv
6**,
Un
of the
given by
hence
positive values,
+ l)7Tt^
Z7n
is
Vl7_ n
true of
infinite
through
<x>),
(52)
+
0(v)
(53)
00
2^(-l)
o
1\2
Vsm(2n+l)irv,
q(
0(-v)=-0(v),
0(0)
0.
When
plied
v
we
write
,-
0(V
+ T)=* *?(-l)nq(
n+
+2n+l
eUn+,
00
to
1 in this series,
is
+ l)=-0(v),
0(o
(54)
r)
27riv
q- ie~
series
Hence
=- q-ier**to0(v).
a root of #(v), these relations show that 0(v) has for zeros all
where l and ra 2 are arbitrary positive or negative integers.
2 T,
is
m +m
0(v
new
ELLIPTIC FUNCTIONS
76]
Ill,
171
These are the only roots of the equation (v) = 0. For, let us consider a
v + 1, v + 1 + r, u + r,
t?
parallelogram whose vertices are the four points
the first vertex V Q being taken in such a way that no root of
(v) lies on the
= has a single root in this
boundary. We shall show that the equation (v)
the integral
parallelogram. For this purpose it is sufficient to calculate
,
Md
made upon
along its boundary in the positive sense. By the hypothesis
encounter the vertices in the order in which they are written.
From the relations (54) we derive
0(v
0(v)
6(v-\-l)
0(v)
r)
The
first of
sum
is
D(v
the cor-
of
On
zero.
responding integrals
contrary, if we take two corresponding
points m,
value of
is
at the point
equal to the value of the same function
at the point m, diminished by 2 iri. The
sum of the two integrals coming from
these
(v)/0(v)
two
therefore equal to
2 iridr that is to 2 iri As there
sides
it
Mvj
FIG. 27
is
/coco
in the parallelogram
m + m T,
C(VO +I+T)
mf
+r)
the
ABCD
which
is
is
evidentl y one
int
above.
Summing up, the function 9 (v) is an odd integral function it has all the
and it satisfies the
it has no other zeros
points TO! + TO 2 r for simple zeros
be two periods such that the coefficient of i in
2
relations (54). Let now 2
v by w/2w and r by w /w,
&//w is positive. In 0(v) let us replace the variable
;
o>,
and
let
(u)
be the function
(55)
=
=
mV
2 mw + 2
all the periods 2 w
(u) is an odd integral function having
for zeros of the first order, and the relations (54) are replaced by the following
Then
0(w
(56)
2o>)*=
These properties are very nearly those of the function O-(M). In order to re
duce it to ff (M), it suffices to multiply (u) by an exponential factor. Let us put
where is the function of w and w defined as in 71. This new function (u)
The first of the
is an odd integral function having the same zeros as 0(w).
;
\f/
172
76
becomes
relations (56)
t(u
(58)
We
[III,
have next
rfc*
-rri/2,
V( w
(59)
The
2w
e2
relations (58)
<T(M).
and 2
for the two terms of this ratio are multiplied by the same factor when
u increases by a period. Since the two functions have the same zeros, this
quotient is constant moreover, the coefficient of u in each of the two develop
ments is equal to unity. We have, then, ff(u) = (u), or
,
\j/
we
If
We
III.
<o
<o,
/<o
m<o
The
and
p(u\w,
<u
),
(u
to
<o,
),
CD
<r(w|ci>,
(?/)
we
shall
O-(M),
make use
of the notation
fundamental
functions.
But
it is
to be noticed that
(<o,
an
infinite
number
function p(w).
O = mw
we
mn
-f ?Ko
mn=
Q =m
1.
If
we put
nw
to -f-
(n
O - nO ),
f
<o
(m
- m Q),
Ill,
INVERSE FUNCTIONS
77]
173
it is clear that all the periods of the elliptic function p(u) are
combinations of the two periods 2O, 2O as well as of the two
The two systems of periods (2 2 to ) and (2 O, 2 O )
periods 2 w, 2
and
o>
o>,
are said to be equivalent. The function p(u\Q,, (V) has the same
periods and the same poles, with the same principal parts, as the
function
to
p(u\<a,
and
),
0.
They
are
m<D
O )=
(u O,
w
(tt|a>,
and
O)=
<r(w|H,
O-(M|W,
o>
).
"(
development
(r
all
of
whose
We
coeffi
<r
</
P ( u 9*
;
ffs)>
(H
ffv
ff*)>
itself.
ffv $3)-
While
it is
evi
dent, from the very definition of the function p(V), that to a system
an elliptic function p(w), provided the ratio
(w,
) corresponds
is not real, there is nothing to prove a priori that to evert/
o)
<o
/o>
ff,=
(61)
for the
unknowns
,>
w, o/, or at least to
is not real
these equations have a system of solutions such that
27 g\ is not zero. If there exists a single system of solu
whenever g\
tions, there exist an infinite number of systems, but there appears
o//a>
to be
We
174
77
[III,
where g 2 and g 3 are defined by the equations (61). For u = w, p(w) is equal to
one of the roots e l of the equation 4p 3
g2 p
g s = 0. When u varies from
to w, p(w) describes a curve L going from infinity to the point e r From the
relation du = dp/V4p 3
g2 p
g s we conclude that the half-period w is equal
to the definite integral
=
taken along the curve L.
4p 3
gz p
An
replacing
We
dp
/ oo
el
by
e 2 in
</
In order to be able to deduce from this result the solution of the problem before
us, it would be necessary to show that the new system is equivalent to the system
(61),
that
78.
is,
that
it
defines g 2
of w,
Let
R (z)
R(*)
where a v
ag
= A(z-
a,) (z
2)
(z
a,) (z
- a ),
t
if
R ()
is
of the
The
kind
form
of the
is
(62)
determinations of
point z
oo for
V>t
t ,
Let us
point z
a lt a^ ag the two
,
= oo
is
therefore a
u proved
in
(63)
it
(z)
wo>
2 H/V,
=/-
ti
(z)
number
of deter
if
INVERSE FUNCTIONS
78]
Ill,
the path
In these formulae
varied.
is
2<o
175
may
o>,
<o,
and
let
<
*(,)=
(64)
]=
P(
-2
<E>
or
is single-valued.
which shows that
Let us see what points can be singular points for this function
$(). First let z 1 be any finite value of z different from a branch
point. Let us suppose that we go from the point Z Q to the point z l
3>(z)
by a
definite path.
and
radical
point z v
We
l/V/2()
an analytic function of
is
Whence we derive
(65)
If i^
7/2
-^+
is
r,r
(^
^)
4-
j^ (z
z,y
-.
1/2)
is
<J(.t),
where
is
an analytic function.
176
critical
point at
[III,
78
In the neigh
where
is
analytic for z
=a
or
{,
in the
_
(2
Finally,
have to distinguish two cases according as R (z) is of the fourth
R (z) is of the fourth
degree or of the third degree. If the polynomial
We
_^o
V^~Z*
a.
+ ** + *^
,
^0
and it would suffice to change all the signs to obtain the develop
ment of the second determination. If the absolute value of z becomes
the value which we have just
infinite, the radical 1/V/e (z) having
value u^, and we have in
finite
a
the
integral approaches
written,
the neighborhood of the point at infinity
u^
_ 7/2
is
Ill,
INVERSE FUNCTIONS
78]
order for p (u
1/2),
= oo
the point z
177
write, in the
neighborhood of
(68)
to a circle
= ^_
is
an ordi
(z)
nary point or a pole of the first order for &(z). The function
has certainly only poles for singular points it is therefore a rational
function of z, and the elliptic integral of the first kind (62) satisfies
;
p(- !)=*(*),
(69)
a rational function.
is
we
shall
show that
it is
For
equal to unity.
that purpose
we
We
1)
To every
finite value
of u correspond
values of z if
is
the
degree of the rational function &(z)For let MJ be a finite value of u. The equation (z)
p(u l 1/2)
determines
values for z, which are in general distinct and finite,
though it is possible for some of the roots to coincide or become
<
of
we
z.
The values
= w + 2m
1
1 a>-f-2
o>
=I
u^
+ 2 m^
o>
-f-
178
[III,
78
zl
uv
If the function
for
If, for
we could
development
{,
expressing each of
3) Let
\z
infinite.
In
fact,
development in a
series of positive
powers of u
- Mao ) + &(u - *o +
u^.
we have a
>
ft
and
l/"v,
therefore
The point u^
is
degree.
We
to find a path
r
JL
dz
z z
joining these two points v t
Ill,
INVERSE FUNCTIONS
78]
=X
we
would be
If
zero.
OY, we
179
(A",
the point z describes the open curve L. We shall show that this is
not consistent with the properties which we have just demonstrated.
To each value of u there correspond, by means of the relation
p (u
3>
value z
two points
Let the
z
z"
Let us take
initial
value of z at
be z v and
let
when we reach
the points
and P respectively, after u has
described the paths
and A MNP. Again,
AM
let z[
we
arrive at
after
z"
"
z"
z"
MP
ary
Fj,
We
(Chapter V).
180
[HI,
78
described about
A.
as a
center a closed path not leading the variable z back to its original
value, however small c may be. Now that is impossible, for the point
A.
is
tions of
in both cases z
We
z.
dz
3>
value for
4>
3>(z)
b-dp(u--J
(70)
The
We
can restate
Let
R (z)
derivative
all
V/2()
be a
is
the preceding
to its
Ill,
INVERSE FUNCTIONS
78]
(T\ \
ir*
y~
{ti.)
kind.
181
7? /V\
ft(X),
elliptic
r dx_
To prove
that
all
UQ
2 wijw
+ 2m
UQ
-f
m^ -f 2 m
o>
= f(u)
R (x).
The
elliptic
function
<^
always have a
finite
rdx_ r
J y ~J
pole, since
u must
it
reduces,
kv -f- 1. The constant I
then, to a constant k, and we have u
evidently depends on the value chosen for the lower limit of the
;
integral u.
The
particular value.
coefficient
182
[III,
79
A new
definition of
p(z/) by means of the invariants. It is now
answer the question proposed in 77. Given two num
bers 2 g8 such that g\
27 g\ is not zero, there always exists an
which
and g^ are the invariants.
elliptic function p (u) for
g^
For the polynomial
79.
quite easy to
<7
prime to
is
its
two periods, 2
derivative,
w,
a/,
u>
o>,
We
(72)
of
<x>
j^dz/^R (z)
We
z.
Let * be
S-
~^J YA
= C
dz
J (v
>Vfl(*)
dz
of the radical.
v 2 a
formed by the curve z^mznz^ the segment z^Z, the circle C of very
The function l/V/2 (z) is analytic
large radius, and the segment Z
in the interior of this boundary, and we have the relation
,
circle
+ v -2H =
0.
C becomes
infinite,
Ill,
INVERSE FUNCTIONS
79]
183
The values
of
dr
a
a single-valued function of z.
function of the form (az
b)/(cz
is
We
+ d).
it is
To determine
a linear
a, b, c,
it
We
jA~^=
__9*_
g*
is
is
represented by
the series
whence
i = *Yi
-u
g2
difference (as
+ b)/(cz + d)
=
-\
= z - -&*20 z
p (u)
zero for z
is
=
co
GO
But the
if
only
we
reduces to z
d\ and the function p (u co,
)
0,
when we substitute for u the integral (72). Taking the point at
have
0, b
o>
the form
(72-)
and
makes p (w)
this relation
= z,
is
con
have
p (w) = V^ (s),
p
(73)
(u)
or,
we
= R(z)=p* (u) -
<7
p ( M ) - ^.
o>
for
co,
co
184
79
by the formulae
is
[III,
dz
(W)
from which
all
p (u)
is a given
also to be able to find a root of the equation p(u)
A, where
constant. For the details of the methods to be followed, and for information
and
we can only
When
27
g\
g\ is not zero,
the equation
y*
(75)
= 4x*-fftX-g
y =
putting x =
This equation
is satisfied
wnere
p(
p(u),
by
p (w) are precisely g^ and 3 To each point of the cubic corresponds a
of periods. For the equa
single value of u in a suitable parallelogram
in
=
u
a
x has two roots u^ and 2
tion p (u)
parallelogram of periods,
two
values
the
the sum u^ + 2 is a period, and
p (^) and p (w 2 ) are
^ ne
0>
</
We
special
form.
Suppose
shall
first
now show
(76)
!>
xs
+ 3 ^x* + 3
b,2
4-
of the form
is
ft
* The formulae (39) which give the development of a (it) in a power series, and
those which result from it by differentiation, enable us, at least theoretically, tc
and consequently f (w) and p (u), for all systems of values
calculate (u),
(M),
<T
<r
of u,
g2 g3
,
<T"(M),
Ill,
INVERSE FUNCTIONS
o]
in
185
Thig
= 4 y /b
Q,
</
2,
12 (6 -6062)
Hence we obtain
a;=-r1 + r-p(w),
VQ
4
= j-p
(u).
Q
and
<7
8,
be the coordinates
of a point of that cubic. The tangent to the cubic at this point (a, ft)
meets the cubic at a second point (a ft ) whose coordinates can be
1
^(x, y)
where
<
2 (aj,
y)
+ ^ (*,
y)
0,
y) denotes a
= 1,
whence we obtain
_
where
R (t)
<$
(1, t)
<
3 (1,
#)
^ (1,
),
which
The
We
+ 1/t
we
find
coordinates
(x, y)
*Two
I,
103,
2d ed.
TRANS.
186
polynomial
ft
1
We
[III,
80
= fl (u)
already pointed out. The expressions x =f(u), y
obtained for the coordinates of a point of C 8 are therefore such
that all the determinations of u which give the same point of the
we have
them by adding
to
it
various
periods.
This parametric representation of plane cubics by means of elliptic functions
very important.* As an example we shall show how it enables us to deter
mine the points of inflection. Let the expressions for the coordinates be
is
x =/(u), y =fl (u); the arguments of the points of intersections of the cubic
are the roots of the equation
with the straight line Ax + By + C =
Af(u)
Bf^u)
+C=
0.
A, B, C; hence
if
must have, by
68,
M!
where
in/(u)
is
the
w2
M3
=K+ 2m
we
+ 2 w 2 a/,
sum
and/1 (w),
line,
K/3 +
l (u=u l )
Conversely, this condition is sufficient to insure that the three points
= M 2 ), s (u = u 3 ) on the cubic shall lie on a straight line. For let B be
2 (u
with the cubic, and u%
the third point of intersection of the straight line M^
2
sum u l + w 2 + u 8
is equal to a period,
coincides with
u 3 and Mg differ only by a period, and consequently
3
%
If u is the value of the parameter at a point of inflection, the tangent at that
to a
point meets the curve in three coincident points, and 3 it must be equal
of inflec
period. We must have, then, u = (2m 1 w + 2ra 2 o/)/3. All the points
the values 0, 1, 2.
tion can be obtained by giving to the integers m l and
2
Since the
of inflections.
The straight
line
Funo
HI,
INVERSE FUNCTIONS
81]
mj)
o>
(m 2
ra2 )
187
/
(2m
o>
+ 2w 2 o/)/3
meets
again one third of a period, that is, in a new point of inflection. The number
of straight lines which meet the cubic in three points of inflection is therefore
equal to (9 8)/(3 2), that is, to twelve.
is
Note.
line
The
= mx +
w 2 f or the argu
wt
are the arguments of two of these points, we can take
of the third point of intersection, and the abscissas of these three points
ment
We
4x 8
g2 x
- gz =
(mx
n)
hence
x,
x2
x3
p(w t )
p(w 2 )
P(M!
M2 )
2
=m
On the other hand, from the straight line passing through the two points M^uJ,
we have the two relations P^UJ) = mp (u^) + w, p (w 2 ) = mp (w 2 ) + n, whence
2 ),
M (w
and
found in
74,
polynomial
the curve C 4 represented by the equation
(77)
We
shall
f = R (x)= a
x4
+ 4^05* + 6a
2
2
cc
V+
a4
ment
of cubics
how
to proceed.
Putting x
= a + I/a;
the relation
(77) becomes
188
81
[III,
2
R i (x ).
point to the curve Cg of the third degree whose equation is y
Now x and y* can be expressed by means of a parameter u, in the form
x
ap (u), by a suitable choice of a, ft and of the
ap(u) 4- ft, y
We
invariants of p(w).
expressions for x and y
whence we find du
is
identi
cal, except for sign, with the integral of the first kind, Jdx/^J R (#),
and the formulae (78) constitute a generalization of the results for
We
known
and of its
elliptic
derivative
invariants,
p (M),
other irrationality than a square root. Let us replace for the moment
x and y by t and v respectively, so that the relation (77) becomes
(77
v2
= R(t)= a/ + 4
<*/
/ + 4V +
in the
K (o = w, cor -*,(o
number
<V
form
<MO
of ways, where
are polynomials of
2
15
3
the degrees indicated by their subscripts. For let (a, ft) be the coor
dinates of any point on the curve C 4 Let us take a polynomial 2 (t)
in
an
infinite
<
<
<
</>
such that
<
= ft
(a)
R (t)
number
a.
^>
C&
of
ways
_^ (t)T =
nomial
infinite
let
The poly
us consider
(79)
If
we
by the secant y
two
Ill,
INVERSE FUNCTIONS
81]
189
,-
(80)
elliptic functions of a
Cs
parameter
u,
Then t
and v can also be expressed as elliptic functions of u. The method is
evidently susceptible of a great many variations, and we have intro
duced only the irrational ft = ~VR (#), where a is arbitrary.
since
that
the origin.
is
We
as
is
aQ R
= (a/ ) +
2
(t)
6a
and put
The
auxiliary cubic
(81)
a^xif
C8
4
-f
a/ + 4 a^t + a
a^a^y
-f
aQ a4 ^ 3
-f 2
2
a-
?/
= 0.
Following the general method, let us cut this cubic with the
y=tx\ the equation obtained can be written in the form
secant
-2a
t///
- (6
V/ +
and
R (t)
+a
=
<0
whence we obtain
X
Conversely,
On
we can express
~^/a
in terms of x
and y\
we have
V4
The polynomial under the radical has the root x = 0. Applying the
method explained above, we can then express x and y as elliptic
functions of a parameter.
\
_
2a,p(u)-a
Doing
so,
we
190
elliptic
[III,
81
a\
0,00,4
(84)
we
find
(85)
We
gr a
and g s
V^
ivhere the invariants g^ and gjiave the values given by the relations (84),
and where p(v), p ( v ) are determined by the compatible equations (86).
From
74),
we
derive,
by
HI,
82]
that
is,
INVERSE FUNCTIONS
dx/du
= y/^a
Q,
or
= [/y] dx.
du
191
The parameter
u, there
Va
An
C n of degree
double
points without
2)/2
T)(n
Cn is not
curve
If
the
curves.
distinct
into
several
degenerating
the
difference
d
double
has
points,
degenerate and
82. Curves of deficiency one.
is
one has (n
V)(n
2)/2
n(n
is,
let
the curves
l)/2 points
2)(n
3)/2 double points of C n Since (n
the
are necessary to determine a curve of the (n
degree,
2)th
still
C
curves
_
upon
n 2 depend
adjoint
.
F(x, y)
be the equation of
/,(*, y)
Cn and
+ \f (x,
9
y)
common with C n
its
simple points.
the
Let
let
+ M/afo
y)
be the equation of the system of curves C _ 2 where A and /-i are arbi
in only three
trary parameters. Any curve of this system meets C n
variable points, for each double point counts as two simple points,,
TC
and we have
n (n
Let us now put
(88)
_ 3) 4. n _ 3 = n (n - 2) - 3.
192
when
82
[m,
the point
scribes
of
Cn
and y
~
_
.(. *)
/.(.
*)
/,(
*)
and all the curves of the system which pass through the point (a, b)
would also pass through the point (a b ). The curves of the system
which pass through these two points would still depend linearly
upon a variable parameter and would meet the curve C n in a single
1
variable point.
with
Cn would
The coordinates
But
unicursal.
this
is
impossible, since
(89)
^(x y ),
,
+Jx y ).
C
,
ax
number
+ by
common
-f-
of points
c
C and
let
us try to find
to this curve
This amounts to
0.
to the curve
since to a point of
common
the curve
C n and
,
conversely.
Now there are only three points of intersection which vary with a, b,
c.
The curve C
is
Ill,
EXERCISES
Exs.]
193
It results also from the demonstration, and from what has been
seen above for cubics, that the representation can be made in such a
way that to a point (x, y) of C n corresponds only one value of u in
a parallelogram of periods.
above
Example. Bicircular
points
is
quartics.
If the
of deficiency one.
+
,
y*
0.
y"*).
as center.
To
C3
it
Note.
When
a plane curve
Cn
it is
of
all its
two branches
other without having any other singularity is of deficiency one to verify this
it suffices to cut the quartic by a system of conies tangent to the two branches
of the quartic at the double point and passing through another point of the
;
2
quartic. The curve y = R (), where R (x) is a polynomial of the fourth degree
prime to its derivative, has a singularity of this kind at the point at infinity.
It is reduced to a cubic by the following birational transformation
:
from which
it is
= y + V^~ x
2
,
EXERCISES
Prove that an integral doubly periodic function
of the development
+00
2mVz
1.
is
a constant by means
00
= f(z)
requires that
we have
An =
if
0.)
194
If
2.
not a multiple of
is
d)-
TT,
1 H
a/
Exs.
the formula
Z\ T-T
/.,
==
sm a
(Change z to
and z.)
we have
[III,
/i
J-J- I\
*H
\
)
enn
mr)
limits
3.
cos^-fo)
cos a
sin
result the
new
infinite
products
r
+ _2z_
A L i+ 2a-(2n-l)ir
^a +z_\ff
W-LJ-L
*M
a
sina
cos z
a
a
a/\
a 2/
a + w/J-J-\
a + 2n7r/\
(2n-l)*a
cos
cos
-L-L \
2 HTT
2 n?r
or/ \
-a
4.
sin a
sin z
5.
cos a
cos z
[(n+l)!]
6.
f \/
\ -/
If
p (au
where a
is
of I/[P (M)
we have
0,
0,
3)
= ap (u
0,
sr 3 ),
p (au
0,
gr 3 )
= p (w
0,
gr 8 ),
one of the cube roots of unity. From this deduce the decomposition
= 0.
p (v)] into simple elements when gr 2
EXERCISES
EXS.]
Ill,
8.
/ax +
r ax 2
dx,
J
it is
dx,
required to express the variable x and each one of these integrals in terms
9. Establish
sum
Hermite
f,
<r.
decomposition formula
10.
(It
73)
by equating
to zero
a paral
F(z)[(x
an elliptic function and where x, x are
in
t
r
J V(l-
dx
xVx -x
of the transcendentals p,
the
195
is
z)
f(x
z)] in
w0 (0).
Deduce from the formula (60) the relation t]=
"(0)/12
does not contain any terms
should be noticed that the series for
<r(u)
w 8 .)
11*. Express the coordinates x
functions of a parameter
elliptic
and y
y
y*
=A
=A
,/8
- c)] 2
- c) 3
(x
(x
b)
3
&)
(te
+ mx +
n)?/
y*
y*
= A [(x - a) (x - &)],
= A (x - of (x - 6) 8
,
= A (x-a) 3 (x-&) 4
- a) 4 (x - &) 5
y* = A (x
+ ^ (x _ a X _ 6) X - c)] 2 = 0,
3
(x-a) (x-6) (x-c)5,
3
(x-a) (x-6)5,
2
j-
J4\2
ye
) (
,44 \2
+^^j-0,
(Q3
2?x
(
/15\2
=
fe
-p4B)
(44
The
variable parameter
is
CHAPTER IV
ANALYTIC EXTENSION
I.
same
region.
To prove
this, join
;
for example,
Let
8 be the
tance from any point of the path L to any point of the boundary of
the region A so that a circle with the radius B and with its center at
any point of L will lie entirely in that region. By hypothesis we
,
know
the value of the function f(a) and the values of its successive
for z
a.
can therefore write the
derivatives / (a), /"(a),
-,
power
series
We
of the point a
in the neighborhood
The radius
it
may
IV,
83]
197
series (1)
/() and
of all
its
(n)
for 2
z
derivatives, f(z l \f(z^),
,
,
r The coefficients
of the series which represents the function
/() in the neighborhood
(>i)>
the
/(*)
(2)
The
= /(*,) + 1 T V(
n\
of this series
is
at least
it,
and
point b
Cj,
it
is
in this
new
circle
=b
C lt and
is
let
again
a2 be
The
series (2)
form a new
(3)
f"(&^)>
less
than 8/2.
by successive dif
calculate the values of f(z) and its
a^ ^ ne Pi n ^ *V
e sna ^ then
it
series,
/(*)=/(*,)
/ (^ +
8.
in a
If the point b
new
circle
C2
with a radius
in this circle
is
C a we
,
shall
b in
it
for we can
(in the case of the figure, b is in the interior of C8 )
in such a way that the dis
always choose the points 1? z^ z s
tance between any two consecutive points shall be greater than 8/2.
;
On
L.
The length
of
ANALYTIC EXTENSION
198
[IV,
83
az^
<
S.
>
can be calculated.
same way all the derivatives f(b), /"(&),
The above reasoning proves that it is possible, at least theoretically,
to calculate the value of a function analytic in a region A, and of
all its
derivatives at
/(),
of the function
that region.
/(),
and of
its
-,
/"(),
/<">(),
It follows that
in
completely determined in the whole of that region if it is known
a region, however small, surrounding any point a taken in A, or
even if it is known at all points of an arc of a curve, however short,
ending at the point a. For if the function f(z) is determined at
same must
every point on the whole length of an arc of a curve, the
be true of its derivative / (, since the value f(z^) at any point of
is equal to the limit of the quotient [/( 2)
j)
/(^)]/(^ 2
the point 2 approaches z^ along the arc considered the deriv
ative f(z) being known, we deduce from it in the same way /"(),
All the successive derivatives
and from that we deduce
(-),
that arc
when
/"
We
shall say
a.
of the function f(z) will then be determined for z
for brevity that the knowledge of the numerical values of all the
elements.
We
We
IV,
as
84]
199
in a closed
(
31), so that each one can be inclosed
boundary inside of which the branch of the function f(z)
is,
all
the
present the theory satisfactorily from this new point of view, we must
add to the definition of analytic functions according to Cauchy a new
convention, which seems to be worth stating in considerable detail.
regions
a single
lt
common element
/ ()
shall regard
and
in this region,
/ ()
2
as
we
forming a
FIG
^W=/iW
We
AZ
/)
*In order
to
show that
under
is
However odd
these conventions,
manner:
may
appear,
it
has nothing in
it
contra
ANALYTIC EXTENSION
200
84
[IV,
infinite
imaginary,
ay a v a 2
(6)
an
(7)
V+V +
2
-+
."
convergence
the series
gral
The
C whose
=
way
is
and represents an
has a
finite
inte
value dif
ferent from zero, the sum of the series (7) is an analytic function
But since we know only the
in the interior of the circle C Q
.
/"()
a
sequence of coefficients (6), we cannot say anything priori regard
do not
outside of the circle C
function
the
of
nature
the
ing
.
know whether
or not
it is
possible to
add
We
CQ an adjoin
region A such that
to the circle
a connected
ing region forming with the circle
there exists a function analytic in A and coinciding with/(s) in the
The method of the preceding paragraph enables us to
interior of C
.
the point
(8)
a,
/() +
series
/ ()+
a radius
is
a.
(8),
a\.
For
if it
were convergent in
be a singular point of a particular nature. But the properties of this function F(z)
the
would be in contradiction to the convection which we have just adopted, since
for
two functions F(z) and sin z would be identical for all the values of z except
of the two functions.
one
for
be
a
would
only
which
z
point
singular
7T/2,
the theory of analytic
Weierstrass, in Germany, and Meray, in France, developed
functions by starting only with the properties of power series their investigations
are also entirely independent. Meray s theory is presented in his large treatise,
the text how we can
nouvelles sur V
infinitesimale. It is shown in
;
Lemons
Analyse
but always
define an analytic function step by step, knowing one of its elements
functions.
supposing known the theorems of Cauchy on analytic
IV,
84]
R
R
201
a circle of radius
a circle of radius
-}-
-f 8
hypothesis.
a wherever the
vergence of the series (8) is always equal to R
in
a
taken
C
be
the
circle
Then
there
exists no means
may
point
|
|,
We
least if
greater than
in the circle
CQ
some examples of
this.
a in the
This
exterior to
the
Cl
circle
sum
a
|.
has
a part
(Fig. 32),
and
is
a,
circle
we have
internally,
/!()=/()
two
circles
FIG. 32
C C r The
,
series (8) gives us the analytic extension of the function f() into
Let a be a new
the portion of the circle C l exterior to the circle C
point taken in this region by proceeding in the same way we shall
.
new
series in
C2
powers of z
If the circle
We
C2
is
/()
which
will be con
and so on
in the
same way.
see,
ANALYTIC EXTENSION
202
[IV,
84
of the function
x
r approaches zero with \x
seen above. Hence the difference r
Now let C be a circle with the radius R/2 described with the origin
1
|.
as center; if
the point a,
of the circle
it
>
<
all
the coefficients a n of the series (7) are real and positive, the point
on C In fact, if it were not, the power series
in the
z=R
is
=
radius
neighborhood of the point z R/2, would have a
The same would be true a fortiori of the series
IV,
84]
203
path,
point
to Z. Let a^ be the point where the moving point leaves the circle ;
to con
if this point ax were a singular point, it would be impossible
it is
that
shall
this point.
L
suppose
tinue on the
We
beyond
path
/()
C and
cles
C\.
To
calculate /(aj,
L from a^
so long as the
if all
We
a,
number
it
by term-by-term
function.
we
We
modify
may
>
final values of
be, for
we have
/(),
when a
/"(),
for the
evidently
/ (),
ANALYTIC EXTENSION
204
circles
l}
Cp
[IV,
84
which the path L lies, and we can replace the path L by any
other path L going from z =
to the point Z and situated in that
strip in
strip.
definiteness, that
make use
of three consecutive
circles
Let Z
be a
C2 (Fig. 33).
new path lying-
in the strip
formed by these
C,,
go from
to
m
m
first
by the
33
Onm,
it is
clear that
we
arrive
circles.
whatever by a broken
line.*
The reasoning
requires a
<7
IV,
85]
205
we
as to bring
paths L ly
Let us sup
is
I^Z and
,
a,
>
-,/,
Wl
&i\
lent at the
if it
theorem
between a t and
path
A must
2,
,-
we can
if
The preceding
and does not
tell
is purely negative
us anything about the nature of the function in
206
ANALYTIC EXTENSION
the neighborhood.
No
[IV,
85
function
that
is,
is
virtually determined
when we know
a sequence of coefficients aQ a v aa
,
a n)
+ ^(x
)+
a n (x
)"
-.
variable
to
is
made
the point
to describe
We
ft.
itself
is practicable only in
very
For example, as nothing indicates a priori the
particular cases.
number of intermediate series which must be employed to go from
it
the point a to the point ft, and since we can calculate the sum of
each of these series with only a certain degree of approximation, it
appears impossible to obtain any idea of the final approximation
some important
to
results. t
*Let/(x) be a function analytic along the whole length of the segment ab of the
In the neighborhood of any point a of this segment the function can he
represented by a power series whose radius of convergence R (a) is not zero. This
radius 7?, being a continuous function of a, has a positive minimum r. Let p be a
out by a circle with
positive number less than r, and E the region of the plane swept
the radius p when its center describes the segment ab. The function / (a:) is analytic
be an upper bound for its absolute value
in the region E and on its boundary let
from the general formula (14) ( 33) it follows that at any point x of ab we have the
real axis.
inequality
(Cf.
I,
197,
2d ed.
this
et
excel
It
con
IV,
86]
The
207
by
as integrals of algebraic
differential equations.
study of implicit
differential equations
must
concreteness,
itive powers of x
about the point x
as center.
On
Let
y,
preceding
series,
series y(x),
and
y\
,,
(p
(q)
y \ , ,.-, z ) be a polynomial in x, y,y ,- -, y \ ,
us suppose that we replace y and z in this polynomial
(p
y\
,
p)
,
y",
z",
y<
y")
z (q \
by the
by
by the derivatives of the
series
(sc);
is
(p
(9)
We
are
now going
,-,
*(
With
we can
describe a
two power
partly exterior to the circle C, and there exist
in the circle C l and
are
that
x
series y(x
convergent
t)
jCj), z(x
circle
Cv
ANALYTIC EXTENSION
208
[IV,
86
with
in the circle C
x^) convergent
r
circles C, C l we have
(x
x^)
has therefore all its coefficients zero, and the
series
P(x
to the
two
two new
series
y(x
x^
z (x
x^ satisfy the relation (9) in the circle C r Continuing
in this way, we see that the relation never ceases to be satisfied
and
by the analytic extension of the two series y(x) and z(x) whatever
the path followed by the variable may be; the proposition is thus
demonstrated.
f
The study
of a function defined
its
problem.
We
have to return
shall
differential equations.
II.
The study
We
cn
be two sequences of
an
and c v c2
Let a v a 2
-,
-,
any kind of terms, the second of which is such that 2 V is absolutely
convergent and has all its terms different from zero. Let C be a
circle with the center Z Q containing none of the points a in its interior
-
(10)
*PoiNCARri, Acta Societatis Pennies, Vol. XIII, 1881; GOURSAT, Bulletin des
sciences mathematiqiies, 2d series, Vol. XI, p. 109, and Vol. XVII, p. 247.
JV,
87]
209
oped in a
We
0,
we change
for if
z to Z Q
We
av
is
>
>
a<|
demonstrated above
the series
(10
=A +A
F(z)
We
+ A *+...+A.,r +
t
...,
4,_g-jt..
v
v =
\
such that
<*>
shall be smaller
cv
than
v=p + l
|cJ/2,
which
series
S|c v
is
is
|
F^(z)
is
circle
F^z)
+ F (),
2
where we have
set
with a radius
>
(11)
R.
(s)
As
for
= B + 7^2
Q
(),
we have
M
h A*2 H
4-
where
^=
We
(^TI + (^TI +
----
sum
of the series
fL
\<
1,
of
ANALYTIC EXTENSION
210
87
[IV,
than
/2,
that series
is
>
>
the circle
C with
the radius
for
its
circle of
convergence
this
way
are all
that on a
The
of that sequence.
series
^)=2^ I^
(12)
To prove
this it
would
suffice to repeat
the
first
Z
ing proof, taking for the circle C any circle with the center Q and
not containing any of the points a f If the curve L is not closed,
.
and does not have any double points, the series (12) represents an
of the plane except for the
analytic function in the whole extent
from this that the
conclude
cannot
L.
curve
of
the
points
ourselves that
to
assure
we
have
Z
is
a
curve
yet
singular line;
across
is
not
of
extension
the analytic
any portion
possible
F(z)
however small it may be. To prove this it suffices to show that
of
We
L,
the circle of convergence of the power series which represents F(z)
in the neighborhood of any point Z Q not on L can never inclose an
arc of that curve, however small it may be. Suppose that the circle C,
with the center Z actually incloses an arc aft of the curve L. Let us
Q,
take a point a t on this arc aft, and on the normal to this arc at a { let
us take a point z so close to the point a{ that the circle Ct-, described
power series
But this
circle
is
IV,
88]
211
circle
curve
AB
ment AB, and on a finite portion of this segment there are always an infinite
number of points of that kind, since the point 7 divides the segment AB in the
ratio m/n. On the other hand, let Cm n be the general term of an absolutely
convergent double series. The double series
,
ma +
7i/3
ra+ n
AB
We
kind
it
will be possible to
of
the points a v are distinct and are situated on the circle C of unit radius
having its center at the origin. Moreover, we know that we can find two inte
and n such that the difference 2 IT (na
m) will be less in absolute value
gers
Then
all
represents,
ANALYTIC EXTENSION
212
power
z,
we
88
[IV,
series
It is easy to prove directly that the function represented by this power series
cannot be extended analytically beyond the circle C for if we add to it the
;
z),
there results
21-2
2
in this relation z to oz, then to a z,
Changing
g(OT)
(14)
^ JX
,)
-^
we
^_ l( |_ m)+
+
8(1
tf[
li)
I/a""
<1
ference,
arc AB(n>p).
function
<j>(z)
CL-P.
An
analogous method is
considered by Weierstrass,
applicable, as
to the series
F(z)=2Vz
(15)
where a
is
a positive integer
>
and
6 is a constant
is less
than one. This series is convergent if |z| is not greater than unity, and diver
with a unit radius is therefore the
gent if z is greater than unity. The circle C
for the func
circle of convergence. The circumference is a natural boundary
on a
tion F(z). For suppose that there are no singular points of the function
|
we
finite arc
?
ctfi
of the circumference.
If
is
a^, a2
/3 2
IV,
89]
213
function F(z) would therefore not have any singular points on the circumfer
ence,
which
is
absurd
84).
of
We
the triangle
<
<f>
by the
series
is a positive quantity less than one, cannot be extended beyond the circle of
convergence (Comptes rendus, March 24, 1890). This example leads to a result which
is worthy of mention. On the circle of unit radius the series is convergent and the
where a
value
sin
(n0)]
is
have
The
in
series on the right represents an analytic function of the complex variable
for center. To this circle c
the circle c with the radius a described with the point
corresponds, by means of the relation z = e*, a closed region A of the plane of the vari
able z containing the arc 7 of the unit circle extending from the point with the angle
0Q- a
sum
of the series
beyond the
circle.
ANALYTIC EXTENSION
214
[IV,
89
The following
PQR.
the limit
definitely, approaches
if
\z\
Now
is
If
>1.
the
sum
\z
= 1,
1 if z
n terms of the
of the first
1,
<
if
\z\
is
and
(z) be any
limit
z
1.
series
is
therefore conver
1 in the
represents
the radius unity about the origin as
1 at all points outside of this circle. Now let /(#),
for example, two
two analytic functions whatever
different
it
C with
center,
and the
gent
</>
-(-
integral functions.
Then
the expression
<
C and, similarly,
C can be extended
is
equal to
\{/(z)
outside of
by Cauchy s
curve r and
integral
also
if
/()
is
on that curve
inte
represents f(x) if the point x is in the interior of T. The same
function
the
for
gral is zero if the point x is outside of the curve F,
Here again the
x) is then analytic inside of the curve.
/(*)/(
curve F
is
2?r
the definite integral J^ ctn
2
it is equal to -f- 2 TTI or
cut
45).
iri,
according as x
is
IV,
90]
215
power
series
convergent for
all
Then
the
definite integral
(16,
W =/!!
*,
Ja G(t,z)
G
(t.
Z}
taken over the segment of a straight line which joins the two points a and ft,
represents, as we shall see later ( 95), an analytic function of z except for the
values of z which are roots of the equation G (t, z) = 0, where t is the complex
quantity corresponding to a point on the segment aft. This equation therefore
determines a finite or an infinite number of curves for which the integral &(z)
1
AB
AB, and
the arc
remain outside
that
of
AB
AB
4>
lying on opposite sides of the arc AB, whose distances from a fixed point
the arc
are infinitesimal. Let f, f + e, f+ e be the three values of z
corresponding to the three points M,
N,
M of
AB
m. Let
0,
y,
be the cor
17
a simple pole.
n
I
_.
n17 )
<
Ja
Applying Cauchy
*-
G(t,
*/
f+e)
theorem,
jj
\"i
*/
we
jj.
Jfi
2Mr
,*+)
Jy
The two integrals D*, f a are of the same form as $ (z) they represent re
spectively two functions, ^(z), * 2 (2), which are analytic so long as the variable
be the curves which cor
and
is not situated upon certain curves. Let
;
AC
BC
of the
AB associated
Vol. XCI).
fty
plane,
with
(z).
ANALYTIC EXTENSION
216
the value f
to z
t is
B
t
[IV,
is
*? ,
90
represented by the
We
result
e)
- * (f + O +
AB
as a cut, they
But since neither of the functions ^(z), * 2 (z) has the line
are analytic in the neighborhood of the point z = f, and by making e and t ap
(z) in two
proach zero we obtain at the limit the difference of the values of
shall write the
of AB,
points infinitely near each other on opposite sides
result in the abridged form
<J>
We
this is
AB
It is to
^>
an analytic function in the curvilinear triangle ACB and on the arc AB itself,
Therefore we can make the variable z
as well as in the neighborhood of
cross the arc AB at any one of its points except the extremities A and B
without meeting any obstacle to the analytic extension. The same thing would
be true
(20)
where the integral is to be taken over a segment AB of the real axis, and where
that segment AB. Let us represent z
f(t) denotes an analytic function along
on the same plane as t The function $ (z) is an analytic function of z in the
is a
neighborhood of every point not located on the segment AB itself, which
.
2 7ri/(f),
is here equal to
cut for the integral. The difference 3>(N)
3>(N )
where f is a point of the segment AB. When the variable z crosses the line AB,
the analytic extension of
is represented by
27ri/(z).
This example gives rise to an important observation. The function *(z) is
still an analytic function of z, even when f(t) is not an analytic function of t,
case the
provided that f(t) is continuous between a and /3 ( 33). But in this
is in general a
preceding reasoning no longer applies, and the segment
natural boundary for the function
4>(z)
<I>(z)
AB
4>(z).
I).
EXERCISES
IV.Exs.]
217
EXERCISES
1.
Find the
^Mz
taken along the straight line which joins the points (0, 1) and (a, b) respec
tively determine the value of these integrals for a point z not located on these
;
boundaries.
2.
i,
Consider four circles with radii 1/Vi, having for centers the points + 1,
The region exterior to these four circles is composed of a finite
i.
1,
the
sum
Treat the same questions, considering the two regions interior to the circle
of radius 2 with the center for origin, and exterior to the two circles of radius 1
with centers at the points + 1 and
1 respectively.
3.
The
I.]
definite integral
tasinz
1
cos z
-dt,
taken along the real axis, has for cuts the straight lines x = (2k + !)TT, where k
is an integer. Let f = (2 k + 1) TT + if be a point on one of these cuts.
The dif
ference in the values of the integral in two points infinitely close to that point
is
a
equal to 7r(e
e-f).
[HERMITE,
5.
The two
XCL]
definite integrals
J=
r+
J
oo
r+
JQ= J
dti
-e^_
2
^
oo
-^^
*
&
dt ^
taken along the real axis, have the axis of reals for a cut in the plane of the
variable z. Above the axis we have J = 2 m, J
0, and below we have J
0,
J = 2 TTI. From these results deduce the values of the definite integrals
r\
dt.
t-z
[HERMITE,
6.
Establish by
means
of cuts the
,,
+ 00
J-oo
gai
r+
formula (Chap.
-dt
[HERMITE,
e
a(<
Ex.
XCL]
15)
7T
II,
+ 2)
XCL]
ANALYTIC EXTENSION
218
[IV, Exs.
3>
where
and
Tri
4>
TT.)
(C)
is
analytic.
From
it
f e-F(az)da = J27riJc M
Jo
(2)
where
this
(where
>
0)
when u
describes
"-iL
Ida
Jo
approaches u/(u
z)
uniformly as
becomes
infinite,
(2)
be
(o u
This result
is
applicable to
all
les series
divergentes.]
=S& n z n
f(z)=SaAz n
and the function (z) has no
has a radius of convergence at least equal to
other singular points than those which are obtained by multiplying the quanti
ties corresponding to the different singular points of /(z) by those corresponding
ry>,
\f/
</>(z).
[HADAMARD,
Ada
CHAPTER V
ANALYTIC FUNCTIONS OF SEVERAL VARIABLES
GENERAL PROPERTIES
I.
91. Definitions.
complex variables
to every
),
varying continuously
f(*
h, z
)-f(z,z
f(z,z
+ k)-f(z,z
the
approaches a definite limit when, z and z remaining fixed,
absolute values of h and k approach zero. These limits are the
and they are represented
),
partial derivatives of the function f(z,
1
/(,
=X+
)
Yi
and Y are
v,
w,
t,
is
evident.*
We
can eliminate
in six
to
219
SEVERAL VARIABLES
220
[v,
91
PX
9u8t
8v dw
SuSw
dv 2
dw 2
=
+ ^:
dvfa
0,
(1)
Up
made
of these relations
in
One reason
for
where the
F(z,z
(2)
)=^amn
coefficients
zz<
We
have seen
infinite
number
let
(I,
2A mn Z*Z
(3)
C",
C"
set of
two
for a
circle of
convergence
m+n
mini
circle
for a
V,
is
GENERAL PROPERTIES
92]
absolutely convergent
Every pair of
circles C,
if
C"
\z
\z
whose
<
radii
1,
221
It,
only.
satisfy the relation
<
<
<R
variables z
and
concentric with
concentric with
circles
C l and
C
C
similarly,
when
the
Cj respectively,
FIG. 36
F(z, z
of the
C and C
two variables
z,
two
circles,
z in the pre
ceding region.
tives
two variables
SEVERAL VARIABLES
222
92
[V,
and
r
this point as center let us describe a circle c with radius
tangent internally to the circle C. In the same way let z be any point
from
of absolute value r
and
<
\z\
If
we
R and
replace z
and
Finally, let z
r as radius.
and
\z
\h\<R,
\k\<R
by z
-f
h and
k,
we can
hm k n
93. Double integrals.
When we
k,
we
obtain the
imaginary
limits,
we encounter
difficulties
We
Poincare.*
pletely elucidated by
O
FIG. 37
lying
(Fig. 37)
arcs
PoiNCARfe, Sur
les
*t_i>
by
**>
Vol. IX)
residus des integrates doubles (Acta mathematica,
V,
GENERAL PROPERTIES
93]
223
be the points of division of ab, where Z Q and Z coincide with a and ft,
zh _ l z h
z m _^ Z be the points of division
let J, z{, z 2
-,
and
of a
where z Q and
ft
The sum
taken with respect to the two indices, approaches a limit, when the
m and n become infinite, in such a way that the abso
two numbers
=X
-f-
Yi,
+ i(v
u k _i
X \u k
v k _^)~\\w h
-w
_ l -f i(th
- ^_j)],
and
if
we
partial products,
<j>(u),
and
in
function
If
we
and
by
becomes a continuous
if/(w) respectively,
of the variables u and w, and the sum (6) can again
it
<#>(^)
P (u, w)
As
m and
TI
become
integral ffP(u,
straight lines
infinite, this
w)dudw extended
=U
Q,
sum has
= U, w = W w = W.
Q,
du
XV
Jw
P(u,w
SEVERAL VARIABLES
224
or again,
by introducing
du
(7)
JI(a b
*J(ab)
In this
last expression
93
form
X(u, v\ w, t)dw.
f
we suppose
[V,
and w,
that
along a
The
result
is
a function of
The
u, v,
say
(u, v)
we then
ab.
sum
(6)
is
It suffices to break
applicable whatever may be the paths ab and a b
a
b
have
done
arcs
ab
and
we
the
up
repeatedly before) into
(as
.
arcs small
enough
in all possible
to
add the
results.
all
tial
the
JflF(z,
J
)dzdz
Xdw -
du
*) (a b
Ydt
(S)
-f
C
J
I
b
J (a
J(a b
J(ab)
du
JI(a
Ydiv
Ydw
-i
dv
du
J(ab)
J(ab)
Xdt
+i
dv
Ydt
J(a
(ab)
-f i
dv
J(a
Xdt
J (a b
*J (ah)
i du
J(ab)
dv
I
c/(ab)
Xdw,
J (a
J(ab)
CCF(z,
JJ
or,
)dzdz
= f
J(ab)
(du
again
= f dz f F
J(a
J(ab)
b
The formula
*
(*>
dz
V,
GENERAL PROPERTIES
94]
225
exactly the same way, it is clear that we can interchange the order
of integrations.
Let
be a positive number greater than the absolute value of
F(z, z
when
~)
and
If
L and L
denote the lengths of the respective arcs, the absolute value of the
double integral is less than MLL ( 25). When one of the paths, a b
for example, forms a closed curve, the integral L
z )dz will
a V) F(^j
be zero if the function F(z, ) is analytic for all the values of z in
the interior of that curve and for the values of z on ab. The same
,
Let C,
themselves.
where
a?
is
inside of the
C"
The
integral
F(z, z )dz
or,
applying Cauchy
is
equal to
= -4;7r
F(x, x
).
SEVERAL VARIABLES
226
[v,
94
11 )
F _~
ml
n\
A^
Ov,m;U,n
C
C
II
F(z, z )dz
(v.\ m + ^(*1
tff*\\&
n\
JU
^r
*/
/*
\n + l
J
C and
C"
s formula, let us
suppose that the
are the circumferences of circles. Let a be the
center of C, and
The
<
rational fraction
(*
- *)( - x )
[.__(,_
a and x
is
,)][>
__(_
b,
and
C and C
is
x)
x )(z
integrate term by term, which gives
\l(z
Making use
and
(11),
we obtain Taylor
expansion in the
form
is
The
m = n=
coefficient
a mn of (x
is
a)
equal to the double integral
j_ r
4*V
(x
b)
in the preceding
GENERAL PROPERTIES
V,95]
227
C and C we
f
circles
is
M
RmR
The function
is
F(x x
9
(I,
192, 2d ed.;
definite integrals.
by
In order to study
We
shall
98, 100, 2d ed.;
97, 1st ed.).
(I,
reconsider the question for complex variables.
Let F(z, ) be an analytic function of the two variables z and #
now
when
tively.
and
let
*(*) =
(13)
F(*,x)d*
J(L)
center a circle
C with
is
analytic,
Cauchy
*/x N
(
Let x
+ Aic
)=o2
1C*dz
=
*-U(Z)
C
\
J(C)
Since
in the
form
F(z,* )dz
^-
we
have, similarly,
SEVERAL VARIABLES
228
[V,
98
33),
F(s, z )dz
F(z,
less
than
JL
o^P
"
R(R-p)
in
approaches zero when the point x + Ace approaches x
derivative
has
a
function
the
that
follows
It
unique
&(x)
definitely.
hence
it
which
is
*^) =
But we have
also
dz
2^
*J(&
,1
C F (*,* )**
(z
\*
J<p)
x)
-xV
33)
d
C 8F
()-
(14)
*.
integral sign.
The reasoning
real axis.
We
is
=
Ja n
e there can
uniformly convergent if to every positive number
we have
that
such
number
a
to
be made
positive
correspond
is
F(z, x)dz
V,
GENERAL PROPERTIES
96]
229
provided that p
is
are the integrals along certain segments of the infinite ray L. All
these integrals are analytic functions of a-; therefore the same is
^(dF/dx^dz,
is itself
uniformly convergent.
If the function F(z, z ) becomes
ao
+V
on the
li
ne
-^
a Q of the path
uniformly con
is
number
a point
way that
F(z, x)dz
|JC
b is any point of the path L lying between a and a -f- 17, the
Q
Q
inequality holding for all values of x in the region considered.
The conclusions are the same as in the case where one of the limits
where
of the integral
moved
is
off to infinity,
in
(15)
= f
Jo
"V-ie-
ttt,
by
*ft(z),
is
has a
finite value,
positive.
In
fact,
+oo
*-ie-eK
Jo
x is positive, it is clear that the same is true of the integral
2d ed.;
90, 91, 1st ed.). This integral is uniformly con
where
vergent in the whole region defined by the conditions
R(z)>-r),
and i\ are two arbitrary positive numbers. In fact, we can write
has a
value
finite
(15) (I,
if
91, 92,
N>
T(z)
and
/>i
Jo
~ l e-
/
t
dt
Ji
convergent.
SEVERAL VARIABLES
230
[V,
96
positive number A can be found large enough to make the last integral
than any positive number e whenever l^A. The function r (z), denned by
the integral (15), is therefore an analytic function in the whole region of the
the
plane lying to the right of the ?/-axis. This function T (z) satisfies again
and a
less
relation
(16)
(2
(17)
(z
n)
z (z
1)
zT
(z),
(z
1)
+n-
1)
relation
(z),
which
where n
<R
>
whose
<R
z -_ 2,
first
0,
1,
and which
is
<R
>
<
(17)
function.
We
shall
values of
z.
which
give an expression for the T function
Let S(z) be the integral function
now
is
valid for
all
which has the poles of T (z) for zeros. The product S (z) T (z) must then be
an integral function. It can be shown that this integral function is equal to
49, Note, 1st ed.),
18, Ex., 2d ed.
e-G*, where C is Euler s constant* (I,
and we derive from it the result
;
<
(z
1) is
HERMITE,
V,
GENERAL PROPERTIES
97]
231
represent them. It is shown, as in the case of a single variable ( 83), that the
value of this function for any pair of points z, z taken in the regions A,
is
and of all its partial derivatives for a
determined if we know the values of
F(z, z
(20)
the series
= -Zamnznz n
r and divergent if we
z
convergent if we have at the same time z
r,
have at the same time z
r
The preceding series defines, then, a
z
r,
function F(z, z ) which is analytic when the variables z, z remain respectively
in the circles (7,
of radii r and r
but it does not tell us anything about the
nature of this function when we have z
r or z
r
Let us suppose for
is
<
>
<
>
C"
>
we
>
definiteness that
the origin
a point Z exterior to the circle (7, and the variable z to travel over another
to a point Z exterior to the circle C
Let a and
path L from the point z
a being in the
/3 be two points taken respectively on the two paths L and L
to
interior of
C and
obtained from
it
in the interior of
/3
The
series (20)
differentiations enable us to
by successive
series,
S6 mn (z-a)(z -/3),
(21)
which
r x and
is
a
absolutely convergent if we have z
are two suitably chosen positive numbers.
|
r{
<
and z
r^
Let us call
ft
Cl
r^ where
the circle of
<
radius r l described about the point a as center in the plane of z, and C{ the
circle of radius r[ described in the plane of z about the point /3 as center. If z
is in the part common to the two circles C and C
and the point z in the part
x
,
common
to the
two
circles
C and
manner,
it is
their respective paths. The following is a very simple example of this, due to
z = 0, u = 1,
z + 1 for the initial values let us take z
Sauvage.* Let u = Vz
and let the paths described by the variables z, z be defined as follows 1) The
path described by the variable z is composed of the rectilinear segment from
on
semicircumferences
1.
first,
2)
ONA
z is
composed of three
on the real axis to
* Premiers
principes de la theorie generals des fonctions de plusieurs variables
(Annales de la Faculte des Sciences de Marseille, Vol. XIV). This memoir is an
excellent introduction to the study of analytic functions of several variables.
SEVERAL VARIABLES
232
97
[V,
the left of the origin and a radius less than 1/2 the second, ANB, also has
1 is on its diameter
center on the real axis and is so placed that the point
;
its
AB
the third, BPC, has for its center the middle point of the segment joining
the point B to the point C (z = 1). The first and the third of these semicircum-
finally,
ferences are above the real axis, and the second is below, so that the bound
incloses the point z =
1. Let us now select the following
ary
OMANBPCO
movements
1) z
2) z
FIG. 38
z plane, is precisely
1 of
point
the radical
Vi +
1.
The
value of u
On
1)
is
therefore u
critical
1.
number)
the path OABC
e, and z describes
2) z remains equal to 1
from 1
e to 1.
3) z remains equal to 1, and z varies
When z varies from to 1 e, the auxiliary variable t describes a path 00
1 on the real axis. Wrhen z describes
very near the point
ending in a point
next the path OABC, t moves over a path O A B C congruent to the preceding
and ending in the point C (OC = e) on the real axis. Finally, when z varies
to the origin. Thus the auxiliary variable t
from 1 e to 1, t passes from
1 on its
describes the closed boundary OO A B C O which leaves the point
;
C"
The
final
Very much less is known about the nature of the singularities of analytic
functions of several variables than about those of functions of a single variable.
One of the greatest difficulties of the problem lies in the fact that the pairs of
singular values are not isolated.*
in the
Acta
V,
IMPLICIT FUNCTIONS
98]
II.
233
ALGEBRAIC FUNCTIONS
IMPLICIT FUNCTIONS.
We
2d
ed.
where the
coefficients
0,
while
are
An
power
series in x, of
=y=
which the
0.
Let
first
C and C
may
circle.
and
Let
F(x, y)
By Cauchy
is
sufficiently small
circle
C nor on
the
fundamental theorem
we have
F(x,y )dy
where x and y are any two points taken in the circles C and
from this we conclude that the absolute value of the coefficient A m
of ym in the formula (22) is less than M/R m whatever may be the
value of x in the circle C.
C";
SEVERAL VARIABLES
234
We
can
now
[V,
98
write
F(x,y) =
(23)
where
^-V
A n yn
**
An y
A
we have
M
n
1and
than 1/2
if
we have
BR n
On
BR n +
P<
(24)
p (r)
2M
be the
AQ Av
absolute
of x for
R. Since
which the absolute value does not exceed a number r
zero with r,
these n functions are zero for x = 0,
(r) approaches
and we can always take r so small that
<
//,
(25)
place
as center, and similarly in the y-plane
radius r about the point x
the circle C by the concentric circle C p with the radius p/ If we give
cause the variable y to
to x a value such that x
r, and then
C p along
,
we
<
<
\P\<
returns to
A n yn in
value, whereas the angle of the factor
The equation
0, in which x\^r, therefore
y)
its initial
F(x,
by 2 /ITT.
has n roots whose absolute values are less than p, and only n.
All the other roots of the equation F(x, y) = 0, if there are any,
have their absolute values greater than p. Since we can replace the
creases
number p by a number
as small as
we
p,
if
we
replace
IMPLICIT FUNCTIONS
V,98]
at the
235
dition (25),
It evidently suffices to
cle.
where k
is
h y$,
prove this for the sum y\ + y\
Let us consider for this purpose the
-\
a positive integer.
double integral
/=
dy<
*J (C^
dx
F(x y
<S(CSi
dF(x, y
and consequently
a general theorem
By
where y v y2
is
equal to
=
yn are the n roots of the equation F(x, y)
with
On
the integral term by term. The different sums Syf being analytic
functions in the circle C r the same thing must be true of the sum
of the sum of the products taking two at a time, and so
of the
,
roots,
on,
roots
y lt
?/ 2 ,
f(x,
y)=
+ ^yn ~ +
2
a^"-*
+ a-iy + * = 0,
SEVERAL VARIABLES
236
whose
circle
a v az
coefficients
Cr
vanishing for x
%-
[V,
0.
The two functions F(x, y) and f(x, y) vanish for the same pairs
of values of the variables x, y in the interior of the circles C r and C p
.
We
now show
<
\
r,
integral
J==
,.,
<
\
and
p,
r F (x
let
dx
>
Hence we have
also
y in Cp,
circle is
to be integrated in this
On
circles
Cr
Cp.
or
(27)
F(x, y)
= (y* +
flv/"
zero,
V,
IMPLICIT FUNCTIONS
99]
237
due to Weierstrass.*
is
It generalizes,
n
y)=y + a^- + a^f-* +
f(x,
(28)
-iy
+a =
n
Cr the
ic
Cr
0. Let
y)
yn be the n roots of the equation /(
us cause the variable x to describe a loop around the point x
0,
n
roots
of
the
the
whole
the
X
from
the
loop
along
starting
point
Let y v yz
we
are distinct
start
f(x Q
y)
0.
is
y^ the root
We
form as/(x,
y).
>
SEVERAL VARIABLES
238
99
[V,
considered
root
?/ 2
the two roots yl and y2 are permuted when the variable describes
a loop around the origin. If that final value is not y 1? it is one
of the remaining (n
let
2) roots
described in the same sense will lead
?/3
roots y^
?/3 ,
i/ 2 ,
?/ 4 ,
-,
yn
It
be that root.
cannot be
for the
?/ 3 ,
?/8
new
loop
to one of the
same reason
as
before
neither
is
it
?/ 2 ,
around the
origin,
and
at the
end of
finite
number
y\->
We
system of p
of the remaining n
p roots and so on. It is clear that if
tinue in this way we shall end by exhausting all the roots,
The n
0,
form
roots
we con
and we
of the equation
sufficient to agree
origin.
Each of the
roots
>
x
proach zero when x approaches zero, the origin
cannot be
IMPLICIT FUNCTIONS
239
(29)
or,
replacing x by
(so)
X + ^X
x l/p
H----
+a
xm
is
represented
= o^a* +
one of
its
If the variable
l/p
y l changes into y 2 and x
sense,
is
multiplied by
e 2ni/p
It will
be
1/p 2qni/p
l/p
by X e
yq by replacing x
in the equality (30). This unique development for the system shows
up clearly the cyclic permutation of the p roots. It would now remain
to show how we could separate the n roots of the equation F(x, y) =
into cyclic systems and calculate the coefficients a of the develop
ments (30). We have already considered the case where the point
is a double point (I,
x =y =
199, 2d ed.). We shall now treat
we
shall obtain
F(x,y) = Ax+Bp+...,
(31)
(AB^O)
2
where the terms not written are divisible by one of the factors x xy,
n+l Let us consider
y for a moment as the independent variable;
y
,
(I,
35,
(32)
= y(a + aj +
two
& = y-a +
(33)
sides,
<*>&
y =
K*
we
0)
find
+
=
has n dis
a Q -f- a^y -\the auxiliary equation u
series
tinct roots, each of which is developable in a power
according
to powers of y. Since these n roots are deducible from one of them
For
by multiplying
it
e*
m /n we can take
,
for
SEVERAL VARIABLES
240
We
99
[V,
and from
this
we
= a y + V+-,
ft^o)
(34)
c
l
xn
we
tions
an equation F(x, y)
polynomial in x and
in
polynomial
0,
y.
is
is
an irreducible
said to be irreducible
when
F(x
y)=F (x y)xFa(x
equations
F^x y) =
9
0,
y).
F(x
F3
y)
(a>,
0.
Let, then,
(35) F(x, y)
= ^(x)ir + ^)yn ~
+ *-i(*)y + *.(*) =
4-
where
y,
<
<^,
<f>
are
polynomials in x.
i)F/dy
we
0,
<f>
<
f ,
roots, l v & 2
bn
respectively
* See also the noted memoir of Puiseux on algebraic functions (Journal de Mathtmatiquex, Vol. XV, 1850).
V,
ALGEBRAIC FUNCTIONS
100]
A(#)=
roots
241
The p
0.
number
into a certain
and the
of cyclic systems,
roots of the
same
in the neigh
cause
(x) to vanish, all the roots of the equation (35)
into
a
certain
a
themselves
number of
of
the
borhood
point t group
For
one
root.
a point
of
contain
which
some
only
may
cyclic systems,
4>
which makes Q (x) zero, some of the roots of the equation (35)
become infinite in order to study these roots, we put y = 1/y and
fa
<j
we
for x
number
being represented by
(36)
The
= fa.
a m (x- ft)
K*
+ fl* +1 (a -&)*+,
0)
by the
development
y=(x-Pj)
(37)
in increasing
powers of (x
1/p
ft)
but there
be at
first
lfp
a or of (a;
containing perhaps a finite number of terms
a)
with negative exponents, and this statement applies also to infinite
cc by \/x.
values of x by replacing x
It is to be observed that the fractional powers or the negative ex
of x
The
only singular points of the roots of the equation are therefore the
critical points around which some of these roots permute themselves
cyclically,
moreover, a point
point.
singular points.
SEVERAL VARIABLES
242
[V,
100
We
We
86).
number
0, since this
AB, have a lower limit* 8
it is clear that we
and
critical points
contain
not
does
any
path
could always take the radii of the different circles which we use for
>
the equation
made
tion z
F (b, y) =
The proof
of this can be
to
and if it has in
x.
equation of degree p whose coefficients are rational functions of
when the variable x
zp be the p determinations of z
Let j, 2
;
values z v
2,
= z\ + z\
-fr
-+-
2*,
where k
is
2j,
2,
To prove
to that of
this rigorously
84.
it
suffices to
make
V,
is
ALGEBRAIC FUNCTIONS
101]
243
can obtain as
final values
only
F(x,y)=0,
These
when
(p<n)
z p of the analytic
the properties of the p branches 1? 2
conclude from this that
function z which we have just studied.
would be roots of an equation of degree p,
, yp
0,
ylt ?/ 2
y)
all
We
^\(#>
with rational
coefficients.
0,
=
y)
would have,
whatever x
may
be,
each other.
by x
is
85).
root along any path, we need only know the law of the permutation
of these roots when the variable describes a loop around each of the
critical points.
Note.
that
critical point,
101
is
but
it
Abelian integrals.
Every
attached
gral, it is
to
1.
is an algebraic func
y,
an Abelian integral
is
called
the
0,
by
equation F(x, y)
that curve. To complete the determination of that inte
tion defined
integral
and where y
SEVERAL VARIABLES
244
value yQ chosen
shall
now
among
101
[V,
F (X
= 0. We
y)
Q,
state
integrals.
possible paths, all the values of the integral / are included in one
of the formulae
/
(38)
where Iv /2
= Ik + m
,
^l
+m
o>
+m
<
r,
(k
= 1, 2,
.,
n)
o>
surrounding several
cyclic periods.
The number
it
only on the algebraic relation considered, F(x, y)= 0;
to 2 j9, where p denotes the deficiency of the curve ( 82).
is
equal
the
On
other hand, there may be any number of polar periods. From the
of Abelian integrals
point of view of the singularities three classes
are distinguished. Those which remain finite in the neighborhood
of every value of x are called the first kind; if their absolute value
becomes
infinite
infinite,
number
it
of periods.
those which have a single pole, and the integrals of the third kind
have two logarithmic singular points. Every Abelian integral is a
sum of integrals of the three kinds, and the number of distinct
integrals of the first kind is equal to the deficiency.
The study of these integrals is made very easy by the aid of plane
surfaces composed of several sheets, called Riemann surfaces.
shall only give,
shall not have occasion to consider them here.
We
We
easily, let us
0,
consider the plane curve C represented by the equation F(x, y)
C
curve
of
another
the
let
be
and
plane algebraic
equation
&(x, y)
,
These two curves have
points in common, (x v y^ (aJ 2 y2 ),
the
of
to
the
number
degrees
the
product
being equal
(xjr, y N\
be a rational function, and let us
of the two curves. Let
.
R(x, y}
sum
N
/(xf
f=5l
y f)
R(x,y)dx,
V,
ALGEBRAIC FUNCTIONS
102]
245
where
R(x,y)dx
/(a
denotes the Abelian integral taken from the fixed point X Q to a point x.
along a path which leads y from the initial value y Q to the final value y
the initial value y Q of y being the same for all these integrals. It is
t,
clear that the sum / is determined except for a period, since this is
the case with each of the integrals. Suppose, now, that some of the
are variable.
ak) of the polynomial
coefficients, a v a 2
y~)
,
<(#,
When
fR
limit.
,
The sum
is
therefore a function
investigate.
tion
SF =
^H +
---
From
+ ^K.
oa
k
foj
By
we have
F(x i} y ) =
f
0,
$(se f
we
)=
derive
{,
is
a rational
for
<^(x it
).
The
and
<&(x,
SEVERAL VARIABLES
246
and /
by the integration of a
will be obtained
7T
where
7T
TT^
+ 7T SS +
3a i
total differential
+ 7T,Sa,,
7rk
102
[V,
ak
Now
theorem in
its
sum of
the values of
any Abelian
integral, taken
<(#,
the
same
coefficients,
is
identically zero,
al
a\
ak
x.
of
a remarkable simplicity
when
the
were not
irk
it
C with the
y ir) be the points of intersection of the curve
the
of
a
curve C which correspond to the values a\
k
parameters.
>
X
(
N>
The
integral
<iTf|f)
R(x,y)dx
would become
when
infinite
which
points fa,
2/-),
Therefore
we have
/ remains constant
81
;
is
0,
Abel
a k vary continuously,
when a lt a^,
theorem can then be stated as follows
and,
s
C and a
variable curve
the
sum
V,
ALGEBRAIC FUNCTIONS
103]
247
We
that
is
if
hyperelliptic
integrals.
The
fixed, it
sum
/.
applications of
^ = fl(z) =
is
prime to
its
derivative.
We
shall
suppose that A Q may be zero, but that A Q and A l may not be zero at
2.
the same time, so that R (x) is of degree 2p -f- 1 or of degree 2p
2
?/
=R
(a? ).
We
shall put
JJL
(42)
The
t(x)=R (x)
tf (x)
-/
(x)
= 0,
SEVERAL VARIABLES
248
103
[V,
in the
<
X; of
&=
of y given
We
have
..
ytj that
=
\, X
we
must be equal to
from the equation
derive
(*..)
&r,
fl(*,.)
4>(x,)
8<fc
2/(*,.) 8/.
0,
and therefore
a,
or,
(42),
;/
(43)
coefficient of Ba k in S/,
where a
k
the coefficient, supposed variable, of x in the polynomial/(x).
and it is multiplied by x\ in 8f{
term 8a k does not appear in
S<^,
is
TT(X)
= Q (as)
<#>
(sc)
x*.
is
therefore equal to
^ oV^fe)
where
fc
The
The
to
it is
polynomials f(x)
to obtain the
sign changed ( 52). It will be possible, then,
division.
a
coefficient of 8r/ A by
simple
with
its
V,
ALGEBRAIC FUNCTIONS
103]
249
if the integral
prove that this coefficient is zero
1 the
have
We
kind.
by supposition q ^p
v(x, y) is of the
have
we
and
is
p -f k,
q
degree of ir(x)
It is easy to
first
jji
k^fJL
+ k+p
1.
2\^N,
2p
+1+2
/*
=s
N,
whence
and, a fortiori,
*
If there
k
but since the term a k x* + has no term with which to cancel out, we
k ^ N, from which the same inequality as before
should have X
results.
we always have
It follows that
The
87, b h
of the polynomial
(x),
p 1 or of lower degree.
zero
is
<f>
where
a 1?
<f>
(x)
*
ap are p
+1
if
2p
+1
and
4- Op-i^"
let
us put
H----
variable coefficients.
if=R(x\
cut each other in
= 1,
al x
+a
Q9
y=f(x)
variable points,
1
of the integral v (x, y}, taken from an initial point to these 2p
of the
function
an
is
of
algebraic-logarithmic
intersection,
points
Now we can dispose of these p 1 coeffi
a
a
coefficients
,
-,
x,
that
p+1
4- 1
given points.
coordinates of the
SEVERAL VARIABLES
250
The sum
of the
+1
[V,
103
integrals
taken from a
20,
0*1,
m integrals, where m
is
In particular,
the
to
y
let
M\(x^
2/ : ),
2 (x 2 , ?/ 2 ),
J&
By
dx
V4x 3 -
g2 x
- g8
= 4a5* -
M (x
-M"
and
first
8,
ys )
gra aj
grg ,
V4x8 -
sum
r*****
dx
<****>
J*
x- g8 J*
dx
V4z8 - g 2x - g B
dx
and the preceding formula says that the sum of the arguments M lv 2 w3 which
correspond to the three points
v 3f2 3f3 is equal to a period. We have seen
above how that relation is equivalent to the addition formula for the function
p(u)(80).
104. Extension of Lagrange s formula. The general theorem on the implicit
functions defined by a simultaneous system of equations (I,
194, 2d ed.
188, 1st ed.) extends also to complex variables, provided that we retain
;
simultaneous equations
(44)
P(x,y)
x-a- af(x, y) =
0,
Q(x,y)
y-b- 00
(x,
y)
0,
where x and y are complex variables, and where /(x, y) and (x, y) are ana
lytic functions of these two variables in the neighborhood of the system of
V,
ALGEBRAIC FUNCTIONS
104]
251
x-a,y = b.
= a, y =
values
solutions x
zero,
of equations.
Lagrange s formula ( 51) to this system
Let us suppose for definiteness that with the points a and 6 as centers we
in the planes of the variables x and y respectively,
describe two circles C and
with radii r and r so small that the two functions /(x, y) and (x, y) shall be
remain within or on the boundaries of
analytic when the variables x and y
be the maximum values of |/(x, y) and
and
Let
these two circles C,
to extend
C"
C".
We
constants
<
\p\<r
Let us
p<j>
C",
the circle
C"
- -
root,
The
45
<
a.
F(x, y)dy
>
Since x is a point on the circumference of C, P(x, ?/) cannot vanish for any
a
for the angle of x
value of y within
af(x, y) returns necessarily to
x being a fixed point of C. The only pole
its initial value when y describes
of the function under the integral sign, considered as a function of the single
= 0,
variable ?y, is, then, the point y-y v given by the root of the equation Q (x, y)
which corresponds to the value of x on the boundary C, and we have, after a
- -
C",
C",
first
integration,
F(x, y)dy
)Q(*,y)
F(a
=2i7r
T>,V
residue
is
easily
shown
to
be
=f
The double
SEVERAL VARIABLES
252
On
we can
develop
(x
which gives us I
(y
wn
W /3M where
/3<)
(x
am
n
fi
fm
n
(f>
c
J(
(C")
~J o
equal
104
in a
~ -^A
b
af)
=SJ"
1/PQ
[V,
7T
94),
d m + n [F(a, b) f m (a, b)
it is
(a, 6)]
<f>
da m db n
mini
result,
which presents an
da m dbn
We
F(x, y)
*(x,
51,
by putting
but the coefficients in this case are not so simple as in the case of one variable.
EXERCISES
1. Every algebraic curve C n of degree n and of deficiency p can be carried
over by a birational transformation into a curve of degree p + 2.
(Proceed as in 82, cutting the given curve by a net of curves Cn _ 2 passing
,
3 points of
1)/2
through n (n
double points, and put
Cn among which
,
are the (n
l)(n
2)/2
of a
= 0.
a v a2
to
make
one, all
become
[EISENSTEIN.]
integers.
= k*x ,y = ky
new
suffices
relation equal to
INDEX
names numbers
roman type are paragraph numbers.]
bers in
180, 78
in italic are
page numbers
num
and
193,
252, ex. 1
Abelian integrals
Blumenthal
:
132, ftn.
Borel: ISO, ftn.; 1S2, ftn.; 218, ex. 3
Bouquet : see Briot and Bouquet.
see Integrals
244, 102
Addition formulae : ^7,12; for elliptic
functions : 166, 74 250, 103
Abel
theorem
4, ftn.
Algebraic equations
Algebraic functions
see
see
Equations
Functions
:
ex.11
Burman
Burman
see Singular
126, ex. 26
s series
126, ex. 26
points
Cauchy
9, 3
42, 9
elements of 198, 83 ;
of : 199, 84 ; series of
:
of
88, 40
see also
new
:
227, 95
definition
Cauchy
zeros
of
Anchor ring
84,
Appell
Associated
220, 92
:
singularities of
114, 53
;
127, 57
215, 90
233, 98
222, 93
series
1S9, 63
225, 94
78, 34
Cauchy-Taylor
series
79, 35
of
convergence
45, 19
Bicircular quartics
:
57,
193, ex.
tion of a
40, 18
253
1S2, 58
186, ftn.
Complex quantity
Complex variable
ex.13
218.
ex. 7
Binomial formula
Circular transformation
62, 26
202,.
convergence : 18, 8
84; 209, 87; 212, 88; associated
220, 92;
circles of convergence:
84 and ftn.
singular points on : 202,
circles
54, ex. 3
217, ex. 3
38
funda
33;
Circle of
:
ftn.;
81, 35
75,
integral:
60, 25
34; 82,
226, 94
10, 3
9, ftn.;
theo
Cauchy
222, 92
232, 97
Cauchy-Laurent
200, ftn.
77, 33;
86, 39
7,
106, 51
derivative of
71, ftn.;
9,
3, 1
6,
analytic func
function of a
6, 2.
INDEX
254
Conf ormal maps see Maps
Conformal representation 42, 19
:
20
48, 20
52, 23
45,
series
7,
Continuous functions
see
Convergence, circle of
of
Functions
uniform
Convergence,
grals
Cousin
99
f tn.
232,
29, 13
32, 14
237,
118, 53
;
conjugate iso
thermal systems : 54, 24 ; deficiency
of : 172, 77 191, 82 252, exs. 1 and
2 #44, 101 ; of deficiency one : 172,
193, ex.;
quartics:
ciency one
ex.
187, 81
191, 82
193,
parametric representation of
plane cubics
180, 78
184, 80
187,
Rhumb
Cuts
power
series
19,
56,
Dominant
81,
series
157 69
21, 9
Double integrals 222, 93 ; Cauchy s
theorems 222, 93 225, 94
Double points 184, 80 191, 82
Double series 21, 9 ; circles of con
:
:
220, 92; Taylor s for
222, 92 226, 94
periodic functions : 145, 65
vergence
:
Doubly
149, 67
252, ex. 3
Eisenstein
Elements
of analytic functions
198,
83
:
145, 65
150, 68 ;
addition formulae : 166, 74 ; alge
braic relation between elliptic func
Elliptic functions
68
deficiency one
application to
lines
for
208, 87
Cycles : 244, 101
:
ex. 7
227, 94
mula
Curves
see
of
15, 6
logarithmic
infinite
Critical points
Cubics
of
129, 57 ; of inte
22, 10
229$$ ; of series : 7, 2 88, 39
:
227, 95
Dominant function
35
convergence
products
33
see Circle of
114,
6,
56, ex. 7
54, 24
power
functions
formations
of
229, 96
45;
96,
r function
46
100,
Trans
see
Conjugate imaginaries 4, 1
Conjugate isothermal systems
Connected region 11, 4
Continuity,
FresnePs
100, 47
evaluation of:
95;
227,
187, 81
191, 82 ;
quartics : 187, 81 ;
154, 68 ; expansions
;
244, 101
Cyclic system of roots : 238, 99
150, 68 ;
p (u) : 154, 69 ; p (u) defined by in
variants : 182, 79 ; periods of : 152,
Cyclic periods
172, 77
Darboux
Darboux
104, Note
68
64,27
mean
72, 31
77, 33
182, 79
172, 77
order of
184, 79
poles of
150,
and p
64, 27
Deficiency
(u)
158, 70
residues of
INDEX
the
Elliptic integrals, of
kind:
first
Elliptic transformation
255
of integral
variable:
ex.
126, ex. 27
55,
54, 24
tions : 108,
;
also
see
109,
10, 3 ;
Laplace s
theory of equa
:
Note
49
s:
Implicit
functions,
Weierstrass
Laurent
see also
96
see Elliptic
elliptic
even and
odd
153,
233, 98;
implicit:
ftn.;
integral:
and Integral
transcendental functions
of the elliptic integral
verse sine
nometric
;
inverse,
172, 77 ; in
inverse trigo
:
114, 54 ;
14 ; irrational
30,
logarithms
ftn.
90,
phic
ftn.;
monogenic
13,
meromormonodromic 17,
28, 13
;
:
multiform
9, ftn.;
multiple-valued: 17, 7;
p(w) : 154, 69 ; periods of : 145, 65
184, 79 ; primary
172, 77
152, 68
17, ftn.;
Euler
58, ex.
formulae
27, 12
:
see
Definite integrals
Even functions
158, Notes
in
<T(M):
Functions,
and
primary,
Infinite
products
Expansions in series
of ctn x
of elliptic functions
:
143,
154, 69 ;
Exponential function
:
86, 39
76;
170,
f (u)
trigonometric:
159, 71
see also
Fundamental formula
:
68, 26
26,
12;
Expansions
of the integral
72, 31
theorem
of
algebra:
analytic:
57, ex. 15
Analytic func
see
eral variables;
90, 41
branches of
of sev
15, 6
100, 47
9,
96
integrals
series of analytic
Gamma function
poles
227, 95
170, 76
100;
definite
represented by
Fundamental
104, Note
23, 11
tions
calculus
also Series
Fourier
33,
infinite
products:
194, exs. 2 and 3; of cosz: 194,
ex. 3; of r (z) : 280, 96; of
./#, 72 ; of sin x : -/4#, 64 see also
Expansions
64
18, 8
functions
s series
complex
27, 94
of a
2; continuous:
6, 2;
defined by differential equations :
208, 86 ; dominant : 56, ex. 7
81,
35
57, ex. 15
182, 58
6,
29, 13
class
44,
ex. 2
Geographic maps
Gourier
see
Maps
126, ex. 28
Goursat
IXDEX
256
Eadamard:
ex. 8
Hermite: 106, 51
168, 75;
216, ftn.;
ftn.;
830, ftn.
Hermite
formula
tic integrals:
215, 90
165,73
for ellip
168, 75
ex. 9
11, ftn.
Imaginaries, conjugate
Imaginary quantity
247,
56
250, 103 ; of elliptic
174, 78
functions: 168, 75; fundamental
formula of the integral calculus :
;
72, 31
Hermite
:
45, 19
57, exs. 13 and 14
see also
Irrational functions : 13, 6
108, 49
Infinite
formula
Inversion
:
120,
verse, implicit
147, 66
of a quotient
double
elliptic
4, 1
3, 1
Index
227, 95
Double integrals ;
see
33
77,
Holomorphic functions
rem
integrals; differentia
tion of
63, 26
155,
see Definite
Functions
Mittag-Leffler s
theorem; of zeros: 26, 11 93, 42
128, 57 see also Weierstrass s theo
rem
Isothermal curves
60;
134,
see
also
Infinite products
22, 10
129, 57
59
essentially singular
Jacobi
Expansions
Jacobi
theorem
Jensen
104, 50
Infinite series
see Series
Point at infinity
Inflection, point of : 186, 80
Integral functions : 21, 8
127, 57
Infinity
218,
ex.
class of
;
:
transcendental:
21,
92, 42;
ftn.;
280, 96
Integral transcendental functions
ftn.; 92, 42; 136, 61
230, 96
136, 61
21,
rem
244, 101
Abel
theo
a closed curve
66,
28
formula
147, 66
104, 50
154, 69
26
e,x.
Lagrange
Lagrange
ex. 26
147, 66
106, 51
126, ex. 26
251,
104
third kind
125, ex. 18
170, 76 180, 78
:
Jensen
see
associated
54, 24
91, 42
definite
formula
extension of
106,
:
51
126,
250, 104
Laplace
Note
Laurent
43
equation
75, 33
126, ex. 23
10, 3
81, 37
;
54, 24
91, 42
146, 65
55,
94,
INDEX
Laurent
s series:
257
Neighborhood
65
at infinity
Law
of the
mean
for integrals
78
Odd
functions
Order, of
Jacobi
form
125, ex. 19
Limit point : 90, 41
general
44, ex. 2
singular
aries,
88, 40
88, 40
critical points
.?5#,
67
32,
14
113, 53
(1
z)
38, 17
;
244, 101
a/so Projection
Mercator
s projection
90, ftn.
and
Mittag-Leffler : 127, 57
61
139, 63
52, ex. 1
doubly
Meromorphic functions
f tn.
200,
1 58,
57, ex. 15
145, 65
145, 65
149, 67
functions
f tn.
ex. 1
(w)
85, 38
Periodic functions
;
70
Logarithmic
lation
Parabolic transformation
and Cuts
: 81, 36
150, 67
Liouville s theorem : 81, 36
150, 68
of zeros
Painleve
Natural bound
see
Liouville
Mtray
89, 40
Ordinary point
Log
154, 68
functions
elliptic
of poles
s
s
:
88, 40 ; of the point
109, 52
64, 27
Legendre
ftn.; ^54,
127, ftn.
#,
139, 63
ftn.;
&,
ftn.
see Critical
Monodromic functions
17, ftn.
186, 80
Multiple-valued functions
and Zeros
Polar periods : see Periods, polar
Poles : 88, 40
90, 41
133, 59 ; of
elliptic functions : 150, 68
154,
17, 7
Napier 28, 13
Napierian logarithms 28, 13
Natural boundary : 201, 84 208, 87
:
68
211, 88
Natural logarithms
28, 13
infinite
137, 62
of
number
at infinity
of
135, 61 ;
110, 52 ; order
:
89, 40
Polynomials, irreducible
240, 100
INDEX
258
Power
series : 18, 8
196, 83 ; con
tinuity of : 7, 2
56, ex. 7 ; deriva
tive of : 19, 8 ; dominating : 21, 9 ;
;
and Series
Circle of convergence,
s: 127,
57
Primitive functions
S3, 15
Principal
of
value,
arc
81, 37
146, 65
sin z
31,
ftn.
for
Log
(1
stereographic
Puiseux
see Infinite
Mercator
Projection,
products
ex.
52,
53, ex. 2
240, ftn.
vergent:
afeo
m,
7,
Lagrange
formula,
Leffler s theorem,
Mittag-
and Power
series
Quartics: 187, 81
133, 59
:
12, 5
Rational functions
33, 15
3, I
Rational fraction
and cos z
of sin z
128, 57;
integrals
35, 16
the
Products, infinite
of
z}
206, ftn.;
57
Single-valued functions
57
17, 7
127,
Functions,
regular
see
Curves
sum
Rhumb
111, 52
lines
Riemann
10,
Riemann
50,
ftn.;
number
infinite
of
:
110, 52;
134, 60 139,
53, ex. 1
244, 101
Riemann surfaces
40
transcendental
243, Note
theorem
see
244, 101
50, 22
Roots of equations
see
D Alembert s theorem,
Equations,
and Zeros
213, 89
see also
Cuts
Stereographic projection
StieUjes
53, ex. 2
109 ex.
Sauvage : 231, 97
Symmetric points:
Schroder
214, 89
86, 39 ;
s: 126,
54, 24
214, 89
Tannery
Taylor
20, 8
58, ex. 17
ftn.; 220,
94
75, 33
78, 35
206,
INDEX
Taylor s formula, series : 20, 8 75,
33; 78, 35; 206, ftn.; for double
series : #tf, 94
Theta function, 0(u) 170, 76
;
see
circular
45, 19
ex.
15;
lin
26, 12 ; in
verse : 80, 14 ; inverse sine : 114,
54; period of ctn x: 144, Note 3;
period of sin x
cipal value of
Expansion
see
Conver
35, 16
149, 67
212, 88
s formula
64, 27
121,
primary functions
127, 57 ;
theorem 92, 42 127, 57 23S, 62
Weierstrass
56
139, 63
233, 98
tions
152, 68
154, 68 ; infinite
of: 26, 11; 93, 42;
,
order of: 88, 40; see also
number
57;
D
Unicursal curves: 191, 82
57, ex.
Trigonometric functions
convergence
gence, uniform
Uniform functions: 17, ftn.
Func
tions
Uniform
259
Alembert
Zeta function,
theorem
(u)
159, 71
RETURN
FORM NO DD
100 Evans
3,
13m, 6 76
Ha
642-3381
BERKELEY LIBRARIES
Qbtcp