Page images
PDF
EPUB

as before there is a least value for », actually occurring in one or if a denote the generalized logarithm, -wA[{(20+w'))-1[(20)}}. that more periods, say in the period 5 = wow trow'; now take, if uw tro' is, since f(20 +w')=f(2), gives 2iNw, where N is an integer; similarly be a period, r = N'voty where N is an integer, and or'<roi the result of the integration along the other two opposite sides is of thence ww tuw' we+N'(Š -How) +='w'; take then u-N'we = Ni+Xthe form 251N'w', where N' is an integer. The integral, however, where N is an integer and to is as above, and ozi'<te. we is equal to 271 times the sum of the residues of af' (2)f(s) at the poles thus have a period Nn+N'+1'w tu'w. and hence, a period interior to the parallelogram. For a zero, of order m, of () at 2 = a, i'w tu'w', wherein i'<lo <n; hence meo and X'=o. All the contribution to this sum is 2nima, for a pole of order n at :=b periods of the form yw tra' are thus expressible in the form the contribution is -2 rinb; we thus infer that Ema-Enb=Nw+N'w'; NO+N'sy, where a dare periods and N, N' are integers. But this we express in words by saying that the sum of the values of 3 in fact any complex quantity, P+iQ, and in particular any other where f(2)=0 within any parallelogram is equal to the sum of the possible period of the function, is expressible, with , v real, in the values op : where 5€?) - save for integral multiples of the periods. form μω+νω'; for if w=ptio, waptio', this requires only By considering similarly the function 1(2)-A where A is an arbitrary P=uptvp. Q-uotvo', equations which, since wlw is not real, constant, we prove that each of these sums is equal to the sum of always give finite values for u and v.

the values of 2 where the function takes the value A in the paralIt thus appears that if a single valued monogenic function of : lelogram. be periodic, either all its periods are real multiples of one of them, and then all are of the form Ma, where is a period and M is an

We pass now to the construction of a function having two integer, or else, if the function have two periods whose ratio is not arbitrary periods w, w' of unreal ratio, which has a single pole real, then all its periods are expressible in the form Na+N'SY, of the second order in any one of its parallelograms. where 2, s'are periods, and N, N'are integers. In the former case, For this consider first the network of parallelograms whose corners putting s=2012/02, and the function (z) = 0(5), the function (5)

are the points 1=mwtm'w', where m, m' take all positive and has, like exp (5), the period 2ri, and if we take ! Dexp (5) or $=1(!) negative integer values, putting a small circle about each corner the function is a single valued function of l. If then in particular f(2) of this network, let P be a point outside all these circles; this will is an integral function, regarded as a function of I, it has singularities be interior to a parallelogram whose corners in order may be denoted only fort=0 and 2=0, and may be expanded in the form anda

. by 20, 20+w, 20 tw+w'. 20 + w'; we shall denote 20, 20 t'w by Ao, Bo; Taking the case when the single valued monogenic function has this parallelogram so is surrounded by eight other parallelograms, two periods w, w whose ratio is not real, we can form a network forming with II, a larger parallelogram 11., of which one side, for of parallelograms covering the plane of ? whose angular points are instance, contains the points co-w-w', 20-w: 2-w'+w, 20-w' +2w. the points c+mw+m'a', wherein c is some constant and m, m' are

which we shall denote by A, B, C, D. This parallelogram II, is all possible positive and negative integers; choosing arbitrarily surrounded by sixteen of the original parallelograms, forming wit one of these parallelograms, and calling it the primary parallelogram, D. a still larger parallelogram ni, of which one side, for instance, all the values of which the function is at all capable occur for points contains the points 3-29-2W, 2-w-2w", 20–2w', 2+w-2w'. of this primary parallelogram, any point, ?, of the plane being,+2w2w'20+3w-2w', which we shall denote by A, B, C, Da as it is called, congruent to a definite point, 2, of the primary parallelo E., F;. And so on. Now consider the sum of the inverse cubes of gram, 8-2 being of the form mw+m'w, where m, m' are integers. the distances of the point P. from the corners of all the original Such a function cannot be an integral function, since then, if, in the parallelograms. The sum will contain the terms primary parallelogram ((:) <M, it would also be the case, on a circle of centre the origin and radius R, that \(2)| <M. and therefore, if

PAPĚ... Ea nz" be the expansion of the function, which is valid for an integral and three other sets of terms, each infinite in number, formed in a function for all finite values of 2, we should have lanl<MR, which can be made arbitrarily small by taking R large enough. The A,B,C, AB,C,D,E., and so on, be p. P+2, 2+29 and so on, the

similar way. If the perpendiculars from P to the sides AoBo. function must then have singularities for hnite values of s.

sum So is at most equal to We consider only functions for which these are poles. Of these there cannot be an infinite number in the primary parallelogram, since then those of these poles which are sufficiently, near to one

entotentopf2qji+...+

(P+ng) of the necessarily existing limiting points of the poles would be arbitrarily near to one another, contrary to the character of a pole: equality with 29-'n so that the scries So is convergent, as we know

of which the general term is ultimately, when n is large, in a ratio of grams so chosen that no pole falls on the perimeter of a parallelogram, the proof for the convergence of So-1/PA; is the same. Taking it is clear that the integral (5(z)da round the perimeter of the the three other sums analogous to So we thus reach the result that primary parallelogram vanishes; for the elements of the integral

(3) = -2(2-2), corresponding to two such opposite perimeter points as 8, e+w (or as 2, 2+w) are mutually destructive. This integral is, however, where N is mw + m'w, and m, m' are to take all positive and negative equal to the sum of the residues of f(z) at the poles interior to the integer values, and 2 is any point outside small circles described with parallelogram. Which sum is therefore zero. There cannot there the points d as centres, is absolutely convergent. Its sum is therefore fore be such a function having only one pole of the first order in independent of the order of its terms. By the nature of the proof, any parallelogram; we shall see that there can be such a function which holds for all positions of : outside the small circles spoken of with two poles only in any parallelogram, each of the first order, the series is also clearly uniformly convergent outside these circles. with residues whose sum is zero, and that there can be such a function Each term of the series being a monogenic function of 2, the series may with one pole of the second order, having an expansion near this pole therefore be differentiated and integrated outside these circles, and of the form (2-a)? +(power series in z-a).

represents a monogenic function. It is clearly periodic with the Considering next the function $(2) =[f(2)=4f(, it is easily seen

periods w, w'; for (s+w) is the same sum as $(8) with the terms in a slightly different order. Thuso(z+w) = (x) and (2+w')=(x).

Consider now the function that an ordinary point of f(z) is an ordinary point of 0(z), that a zero of order m for {(z) in the neighbourhood of which f(s) has a form.

5(-) =-+S {-(e)+; } da, (s-a)" multiplied by a power series, is a pole of o(z) of residue m, and that a pole of f(s) of order n is a pole of $(z) of residue --; where, for the subject of integration, the area of uniform convergence manifestly $(3) has the two periods of f(s). We thus inser, since the clearly includes the point == 0; this gives sum of the residues of (2) is zero, that for the function |(2), the sum of the orders of its vanishing at points

belonging to one parallelo

and briefly expressed by saying that the number of its zeros is equal to

f(-)- +2{2--} the number of its poles. Applying this theorem to the function f(2)-A, where A is an arbitrary constant, we have the result, that wherein E is a sum excluding the term for which m=0 and m'=0. the function f(2) assumes the value A in one of the parallelograms Henre fis+w)-1(2) and stwise are both independent of 2. as many times as it becomes infinite. Thus, by what is proved above, Noticing, howcver, that, by its form, f(x) is an even function of 2, every conceivable complex value does arise as a value for the doubly and putting 2=-fw, z=-W respectively, we inser that also si periodic function f(x) in any one of its parallelograms, and in fact has the two periods w and w'. In the primary parallelogram 11. at least twice.' The number of times it arises is called the order of the however, f(x) is only infinite at 2 =o in the neighbourhood of which function; the result suggests a property of rational functions. its expansion is of the form + (power series in 2). Thus {(z) is

such a doubly periodic lunction as was to be constructed, having in Consider further the integrals

freds

, where f'(2) -42, taken any parallelogram of periods only one pole, of the second order. round the perimeter of the primary parallelogram; the contribution

It can be shown that any single valued meromorphic function to this arising from two opposite perimeter points such as 2 and 2+w of 2 with w and w'as periods can be expressed rationally in terms

of [(3) and (3), and that (°(z)} is of the form 4/1(2)}+AY(3) +B,

[ocr errors]

jot...

the series

[ocr errors]

is of the form-wSf 3 ds, which, as : increases from 20 to 3+w.sives, where A, B are constants.

that

dz

[ocr errors]

To prove the last of these results, we write, for 1s1 <101. functions f(s+1), (2+1), which are such doubly periodic function of

sas have been discussed, can each be expressed, so far as they depend 13-03-0-at me to...

ons, rationally in terms of f(2) and (a), and therefore, so far as they and hence, if L'oro, since I'D3n-1)=0, we have, for sufficiently it can in fact be shown, by reasoning analogous to that given above,

depend on s and f, rationally in terms of (s)(), $(2) and (. small a greater than zero,

f(3) =52+302.4+507.84+.. and

[18+9+S()+() ++ [98= 0()=-26*+603,8+209, st...; using these series we find that the function

This shows that if F(s) be any single valued monogenic function F(x) = (012)-408()}'+6002(3)+14003

which is doubly, periodic and of meromorphic character, then beginning with a term ins. The function F(*) is, however, doubly which is such that

fa+1) is an algebraic function of F(3) and FO; contains no negative powers of 3, being equal to a power series in Fis+is an algebraic function of F(z) and FO). Conversely any f(s) or (a) is infinite; this follows from its form in f) and $(2): I can be shown to be a doubly periodic function, or a function obtained thus in one parallelogram of periods it can be infinite

only when from such by degeneration in virtue of special relations connecting s=0; we have proved, however, that it is not infinite, but, on the contrary, vanishes, when z=0. Being, therefore, never infinite for

The functions f(x), (*) above are usually denoted by F(s). $'(:); finite values of it is a constant, and therefore necessarily always further the fundamental

differential equation is usually

written zero. Putting therefore f(3) = 5 and (x) =ds/ds we see that

(B'z): = 4(Bz)-8233-84,

and the roots of the cubic on the right are denoted by , es, es; ds=(458–60035-14001)

for the odd function, B's, we have,

for the congruent arguments Historically it was in the discussion of integrals such as

-fw and fw, $'(w)= - B'l-w)= - B'(fw), and hence B'llfw)0;

hence we can take 4 = B(w), 6 = wi-fw').c;=P(w'). It can $45(45* - 6099.5-14001)

then be proved that iB(s)- J[B(

sw)-611=(een) (-es), with regarded as a branch of Integral Calculus, that the doubly periodic similar equations for the other half periods. Consider more particu: functions arose. As in the familiar case

larly the function $(2)-a; like $(2) it has a pole of the second

order at :=o, its expansion in its neighbourhood being of the form 5-S51-my-tat .

7°(1-0,8*+A: t...), having no other pole, it has therefore either where $=sin 2, it has proved finally, to be simpler to regard s as a

two zeros, cr a double zero in a period parallelogram (w, w). In fact function of 2 We shall come to the other point of view below,

near its zero fw its expansion is (r-w)P'(sw) +}(d-fw)B'(fw)+

; we have seen that B'(tw)=0; thus it has a zero of the second under $ 20, Elliptic Integrals.

order wherever it vanishes. Thus it appears that the square root To prove that any doubly periodic function F(z) with periods (P(s)-e); if we attach a definite sign to it for some particular value w, w', having poles at the points s= 21,....s=m of a parallelo- of 2, is a single valued function of s; for it can at most have two gram, these being, for simplicity of explanation, supposed to be values, and the only small circuits in the plane which could lead all of the first order, is rationally expressible in terms of "(x) zero, neither of which, as we have seen, has this effect; the function and /(s), and we proceed as follows:

is therefore single' valued for any circuit. Denoting the function, Consider the expression

for a moment, by fi(s), we have fila+w) = {(), 11(8+w)

*f(); (5,1)(

it can be seen by considerations of continuity that the right sign 0(1) - T-ASS=A...-A)

in either of these equations does not vary with s; not both these where A,=f(0.), 5 is an abbreviation for s(z) and , for $(), and signs can be positive, since the function has only one pole, of the first (5,1)., (5.1) m-3, denote integral polynomials in 5. of respective orders order, in a parallelogram (w, w), from the expansion of fi(3) about m and m-2, 80 that there are am unspecified, homogeneously function, and hence fil-w")= -f(w'), which is not zero since of the points Q1, ... Om is one of the points mw+mw' where 12) =-0. LAW)=67, so that we have file+w')=-11(2): an equation The function 9(z) is a monogenic function of 2 with

the periods w,
whi+w')=(-w-tw"),

of which

the latter is (w+). this becoming infinite (and having singularities) only when (1) 3 = ' or (2) one of the factors S-A, is zero. In a period parallelogram infer that fi(2+w) = f(s). Dr(+)-(), Listwt)=-f1(); including s=0 the first arises only for z=0; since for s="0,.n is in a finite ratio to 3!2: the function (?) for $=is not infinite 2w: in a parallelogram of which two sides are w and 2w it has

The function 1 (s) is thus doubly periodic with the periods w and provided the coefficient of the in (5,1). is not zero; thus o() is poles at :=o, s=w each of the first order, and zeros of the first regular about 8=0. 2* *.+mwtm'w, and no other values of 2, m and m' being of the second order with two different poles of the first order in its taken that the numerator vanished to the first order in each of the parallelogram (w, 2w'). We may similarly consider the functions m points -a, -08,... -Om; that is, is (Q.) - B.,

K:(z) = (P()-e), f(x) = [P(5) -e;}t; they give (-2.)=-B, so that we have the m relations

J:(s+w+w)-f(s), fils+w)=-1), f(+w')= -2(),
Is(z+w')=ssz, foa+w) = -f(:),

f(a+w+w')= -f(s). (A.,1) - B.(A., 1)m-i=0;

Taking u=$(-es), with a definite determination of the constant then the function (3) will only have the m poles aı, De- (-es), it is usual, taking the preliminary signs so that for s=0 noting further the m zeros of F() by a, ...da, putting f(a.)=A, each of sfi(2), 2f:(s). afs(s) is equal to +1, to put

(,) = B:, suppose the coefficients of the numerator of $(s) to satisfy the further m-1 conditions

sn(u)

LA(3) fe) 7.(2)

(2) (A,',1).+B.'(A. 11) m-2 = 0

* = (ere)/(e-es), K-fwle-ex)}, K'=fw'(€-es)}; for s=1, 2,... (1-1). The ratios of the am coefficients in the numerator of (3) can always be chosen so that the m+(m-1) linear

thus sn(u) is an odd doubly periodic function of the second order conditions are all satisfied. Consider then the ratio

with the periods 4K, ziK, having poles of the first order at u=ik',

»=2K+K', and zeros of the first order at u=0, u = 2K, similarly F(x)/+(-):

cn(u), dn (u)are even doubly periodic functions whose periods can be it is a doubly periodic function with no singularity other than the written down, and sn>(u)+cno(u) = 1, k?sn?(u) +dno(u) = 1; if x= one pole am'. It is therefore a constant, the numerator of $(z) sn(u) we at once find, from the relations given here, that vanishing spontaneously in on'. We have F(s) = A$(2),

de=l(1-x^)(1-kox?))-1; where A is a constant; by which F(z) is expressed rationally in if we put r=sin $ we have terms of f(x) and (2), as was desired.

When z=o is a pole of F(a), say of order 7, the other poles, each of the first order, being ....Om, similar reasoning can be applied to

= [1-k‘sin°417, a function

and if we call the amplitude of u, we may write $=am(u), x=sin. (5.1)*+,($.1).

am(u), which explains the origin of the notation sn(u). Similarly 15-A1)...(3-Am)

cn(u) is an abbreviation of cos. am(u), and dn(u) of A am(u), where where k, k are' such that the greater of 2h-2m, 2k+z-zm is equal A() meant (1-k* sin? 2): The addition equation for each of the to r; the case where some of the poles an.... Om are multiple is functions fi(2), 18(3), so(s) is very simple, being to be met by introducing corresponding multiple factors in the denominator and taking a corresponding numerator. We give a

f(+9-1(data) =

f(3) +1( [(z)f'(1)-f(18" (2). solution of the general problem below, of a different form,

) "() One important application of the result is the theorem that the I where fi' (+) means dji(2)/ds, which is equal to - fa(z).fo(3), and (:)

and therefore

(-es), cn()

[ocr errors]

du

[ocr errors]
[ocr errors]

27

[ocr errors]
[ocr errors]
[ocr errors]

means [f(2))? This may be verified directly by showing, if R denote periods, we obtain, since the sum of the residues A is zero, a doubly the right side of the equation, that OR/ds=oRjar; this will require periodic function without poles, that is, a constant; this gives the the use of the differential equation

expression of F(z) referred to. The indefinite integral fF(2)da can Vi koje =1;() terells(z)teres).

then be expressed in terms of z, functions (2-a) and their differential and in fact we find

coefficients, functions $(2-a) and functions log o(2-a).

at az Comunelog [f(z)+F()]=S*()=f*(e) –

$ 15. Polential Functions. log IS(z)-f());

Conformal Representation in Oz? dr)

General.-Consider a circle of radius a lying within the region hence it will follow that R is a function of 2+1, and R is at once seen of existence of a single valued monogenic function, utis, of to reduce to f(z) when I=0. From this the addition equation for the complex variable 2,=x+iy, the origin :=o being the centre if su, c, d., Ss, Cs, da denote respectively sn(23), cn(), dn(ur), sn(uz) of this circle. If z=rElip)=r(coso+isin o) be an internal point cn(ia), dn(uz), they can be put into the forms

of this circle we have
sn(W +12) = (s.cąd,+scidi)/D,

utiva
cn(ili tua) = (CC7-8182d.dz)/D,
dn(u + 2) = (d.d.-k?sısacica)/D,

where U+2V is the value of the function at a point of the cirwhere

Dri-kisis. The introduction of the function fi() is equivalent to the intro-cumference and 1=E(10); this is the same as duction of the function P(z; w, 2w) constructed from the periods

utio=

de.

(/09 w, 2w' as was Þ() from w and w'; denoting this function by F.()

25) rtrla) -2(779) cos(0-0) and its differential coefficient by Pi (s), we have in fact

If in the above formula we replace by the external point Bi(z) fi(z)= 1

(c/r)E(io) the corresponding contour integral will vanish, so that P.(W)-B.(3)

also as we see at once by considering the zeros and poles and the limit of

(U+V)[(1/0)2-(r/a)E(i8-10), zfa(z) when z=0. In terms of the function H.(z) the original function

( $(z) is expressed by

hence by subtraction we have () = P1(z)+P.(2+w')-Pi(w'),

U(a?-) as a consideration of the poles and expansion

near s=0 will show. A function having w, w' for periods, with poles at two arbitrary

a*+på - 2 ar cos 0 points a, b and zeros at a', b', where a'+b' = a +b save (or an express and a corresponding formula for o in terms of V: If O be the sion mw tm'w', in which m, m' are integers, is a constant multiple of

centre of the circie, be the interior point 2, P the point E() (P[z-f(a'+b'))-Bla'- fla'+b')}} / {Plz-f(a+-6)}-Bla-f(a+b)]) ;

of the circumference, and w the angle which QP makes with OQ if the expansion of this function near x=2 be

produced, this integral is at once found to be the same as. A(2-4)++2ụ (s-a) the expansion near 2= b is :-)(3-6)-+-+ (-1)*n(2-6)".

of which the second part does not depend upon the position of 2, as we see by remarking that if :P-6=-(-a) the function has the and the equivalence of the integrals holds for every arc of same value at 2 and '; hence the differential equation satisfied integration. by the function is easily calculated in terms of the coefficients in Conversely, let U be any continuous real function on the circumthe expansions.

ference, U, being the value of it at a point P, of the circumference, From the function P(+) we can obtain another function, termed the and describe a small circle with centre at Pocutting the given circle in Zeta-function; it is usually denoted by $(2), and defined by A and B, so that for all points P of the arc AP B. we have U-U.! <e

where e is a given small real quantity: Describe a further circle, catata

centre P, within the former, cutting the given circle in A' and B',

and let O be restricted to lie in the small space bounded by the arc for which as before we have equations

A'P.B' and this second circle, then for all positions of P upon the $(s+w)= 5(2) + 2-in. $($+w')=$(2) +2 vin',

greater arc AB of the original circle QP? is greater than a definite where 27, 27' are certain constants, which in this case do not both finite quantity which is not zero, say QP?>D? Consider now the vanish, since else $(2) would be a doubly periodic function with only integral one pole of the first order. By considering the integral

( - ). $(z)d:

+cos

(0-) round the perimeter of a parallelogram of sides w, w containing which we evaluate as the sum of two respectively along the small arc 2=0 in its interior, we find qu'-n'w = 1, so that neither of n. AP.B and the greater arc AB. It is easy to verify that, for the is zero. We have s'(x) ==P(2). From $(8) by means of the equation whole circumierence, exp exp

2ar cos 0-0) we determine an integral function o(a), termed the Sigma-function, Hence we can write seen to satisfy the equations o(stw)

olz+w').
=-exp (2xin(3+1w)],

0(2)
--exp (2 tin' (: +\w)).

do. By means of these equations, if Qatart ... tam=a's past .. If the finite angle between QA and QB be called and the finite ta'm, it is readily shown that

angle AOB be called e, the sum of the first two components is ols-a'ilo(2-2';)...013-0')

numerically less than o(s-a!)0(5-0.)...0(2-0) is a doubly periodic function having a.....am as its simple poles, if the greatest value of I (U-V.)!

' on the greater arc AB be called H.

2. (4+0). and d'1,...a'm as its simple zeros. "Thus the function o) has the important property of enabling us to write any meromorphic doubly the last component is numerically less than

H periodic function as a product of factors cach having one zero in the parallelogram of periods; these form a generalization on chiensimple of which, when the circle, of centre Po, passing through A'B' is factors, 3-0, which have the same utility for rational functions of We have $(2) = 0' (2)o(z);

sufficiently small, the factor a-r2 is arbitrarily small. Thus it The functions $(2), () may be used to write any meromorphic appears that r' is a function of the position of Q whose limit, when Q. doubly periodic function F(z) as a sum of terms having each only one interior to the original circle, approaches indefinitely near to Por is pole; for is in the expansion of F(z) near a pole z=ų the terms with No From the form negative powers of z-a be

UdwA:(3-a)-++A:(8-a)+...+Anti(2-a)*+), then the difference

since the inclination of QP to a fixed direction is, when Q varies, P

remaining fixed, a solution of the differential equation F(2) - A15(3-0) - AjP13-0)-... + Am '(- 1)(1(8-0)

aw, a will not be infinite at :=a. Adding to this a sum of further terms Di the same form, one for each of the poles in a parallelogram of where 2,=x+iy, is the point Q. we inser that a' is a differentiable

[ocr errors]
[ocr errors]

having a zero of the first order at each of the points == 0; it can be --U.= Sapop (U-U.)dw Sappo(U-U.)do +

drit

ду.

1

[ocr errors]
[ocr errors]

drit

مرة

[ocr errors]

function satisfying this equation; indeed, when <a, we can write proposed for ABC; we can then determine a function for the interior

of CFAB with the boundary values so prescribed.

This in its turn do

will give yalues for the path AEC, so that we can determine a new

function for the interior of AECD. With the values which this do

assumes along CFA we can then again determine a new function for

the interior of CFAB. And so on. It can be shown that these = 29+0x+bytas(1?- y) +2byxy + ..

functions, so alternately determined, have a limit representing where

such a potential function as is desired for the interior of the original
U cos
Udo, a,
Sud

.

region ABCD. There cannot be two functions with the given

perimeter values, since their difference would be a monogenic cos 20 sin 20

potential function with boundary value zero, which can easily be de. shown to be everywhere zero.

At least two other methods have

been proposed for the solution of the same problem. In this series the terms of order n are sums, with real coefficients, A particular case of the problem is that of the conformal repreof the various integral polynomials of dimension n which satisfy sentation of the interior of a closed polygon upon the upper half the equation ay/2x*+ovldy?; the series is thus the real part of of the plane of a complex variable l. It can be shown without much a power series in s, and is capable of differentiation and integration difficulty that is a, b, c, ... be real values of 1, and a. 8. 7. ...be within its region of convergence.

real numbers, whose sum is n-2, the integral Conversely we may suppose a function, P, defined for the interior of a finite region R of the plane of the real variables x, y, capable as I describes the real axis, describes in the plane of : a polygon of n

z=/(1-0).-'(1-6)A-1,..dl, of expression about any interior point to, yo of this

region by a power sides with internal angles equal to ar, Br,..., and, a proper sign, obtainable from one of them by continuation. For any region R being given to the integral, points of the upper half of the plane oli interior to the region specified, the radii of convergence of these give rise to interior points of the polygon. Herein the points a, b, .. power series will then have a lower limit greater than zero, and

of the real axis give rise to the corners of the polygon; the condition hence a finite number of these power series suffice to specify the

La=*-2 ensures merely that the point i = docs not correspond lunction for all points interior to Ro Each of these scries, and

to a corner; is this condition be not regarded, an additional corner therefore the function, will be differentiable; suppose that at all

and side is introduced in the polygon. Conversely it can be shown points of Ro the function satisfies the equation

that the conformal representation of a polygon upon the half plane д°Р

can be eflected in this way; for a polygon of given position of morc than three sides it is necessary for this to determine the positions

of all but three of a, b, c, ; three of them may always be supposed we then call it a monogenic potential function. From this, save

to be at arbitrary positions, such as 1=0, 1= 1,2 = .. for an additive constant, there is defined another potential function As an illustration consider in the plane of 2, = x+iy, the portion by means of the equation

of the imaginary axis from the origin to := ik, where h is positive r(1.v) (ap aP

and less than unity; let C be this point :=ih; let BA be of length

unity along the positive real axis, B being the origin and A ihe The functions P, Q, being given by a finite number of power series, point 2= 1; Ict De be of length unity along the negative rcal axis.

D being also the origin and E the point ==-1; let EFA be a will be single valued in Ro, and P+iQ will be a monogenic function of

If we put Ro is such that every closed path drawn in it is capable of being s=[(2+h)/(1+k+s'))", with >=1 when z=1, the function is single 2 within Ro. In drawing this inference it is supposed that the region semicircle of radius unity, F being the point z=i. dclormed continuously to a point lying within Ro, that is, is simply valued within the semicircle, in the plane of z, which is siit along the connected.

imaginary axis from the origin to ż= id; if we plot the value of $ Suppose in particular, c being any point interior to Ro, that P upon another plane, as s describes the continuous curve ABCDE, approaches continuously, as z approaches to the boundary of R, will describe the real axis from s=1 to $=-1, the point C giving to the value log , where is the distance of c to the points of the 5 = 0, and the points B, D giving the points 3 = *h. Near s=0 perimeter of R. Then the function of z expressed by

the expansion of s is 5-h="+. $ = (3-c) exp (-P-Q)

or sth=-g??

I

t...: will be developable by a power series in (2-2) about every point zo in either case an increase of je in the phase of z gives an increase interior to Ro. and will vanish at z=c; while on the boundary of Rof in the phase of 3-h or stk. Near z=ih the expansion of 5 is it will be of constant modulus unity. Thus if it be plotted upon a 1 = (3-ih)/21h/(1-•}}}+..., and an increase of 20 in the phase of plane of 5 the boundary of R will become a circle of radius unity with centre at $=0, this latter point corresponding to z=(. Á

z-ih also leads to an ir.crcase of - in the phase of $. Then as a closed path within Re, passing once round : =é, will lead to a closed

describes the semicircle EFA, 5 also describes a semicircle of radius path passing once about <=0. Thus every point of the interior of unity, the point :-becoming s=i. There is thus a conformal R will give rise to one point of the interior of the circle. The con

representation of the interior of the slit semicircle in the 2-plane, verse is also true, but is more difficult to prove; in fact, the differs upon the interior of the whole semicircle in the s-plane, the function ential cocfficient dšldz does not vanish for any point interior to R.

3=1(-h*)/(1 - h*;?! This being assumed, we obtain a conformal representation of the being single valued in the latter semicircle. By means of a trang. interior of the region R upon the interior of a circle, in which the formation 1 = (5+1)/(3-1), the semicircle in the plane of $ can arbitrary interior point col R corresponds to the centre of the circle, further be conformably represented upon the upper half of the whole and, by utilizing the arbitrary constant arising in determining the plane of t. function Q. an arbitrary point of the boundary of R corresponds to As another illustration we may take the conformal representation an arbitrary point of the circumference of the circle.

of an equilateral triangle upon a half plane. Taking the elliptic There thus arises the problem of the determination of a real mono- function P(u) for which P"?(u) = 4 Po(u) - 4, so that, with e exp(-i), genic potential function, single valued and finite within a given we have ej = 1, C2 = ", e;=e, the half periods may be taken to be arbitrary region, with an assigned continuous value at all points

d! of the boundary of the region. When the region is circular this

S.

= few; 2(93-1)!

es 2(13-1)" Ude

, given. When the region is bounded by the outermost portions lateral triangle whose angular points are O, B and C, of argument w, of the circumferences of two overlapping circles, it can hence be let E, of argument }(2w+w'), and D, of argument (w+2w'), be the proved that the problem also has a solution; more generally, con- centroids of these triangles respectively, and let BE, OE, AE cut sider a finite simply connected region, whose boundary we suppose OA, AB, BO in K, L, H respectively, and BD, OD, CD cut OC, BC, to consist of a single closed path in the sense previously explained, OB in F, G, H respectively; then if u = x+in be any point of the ABCD; joining A to C by two non-intersecting paths AEC, AFC interior of the triangle OEH and v ==¢= e({-in) be any point of the lying within the region, so that the original region may be supposed interior of the triangle OHD, the points respectively of the ten to be generated by the overlapping regions ALCD, CÉAB, of which triangles OEK, EKA, EAL, ELB, EBH, DHB, DBG, DGC, DCF, the common part is AECF; suppose now the problem of determining | DFO are at once seen to be given by -, w+eu, wwe, w tw'teu, a single valued finite monogenic potential function for the region w tw-v, w+w'-u, wtw' tro, w'-eu, w'teo, eu. Further, when AECD with a given continuous boundary value can be solved, and u is real, since the term – 2(u+mw to m'e*w), which is the conalso the same problem for the region CFAB; then it can be shown jugate complex of -2(u+mw + m'ew)-3, arises in the infinite sum that the same problem can be solved for the original arca. Taking which expresses B'(a), namely as -2(u +ww tu'ew)-?, where indeed the values assigned for the original perimeter ABCD, assume H =m-m, eo =-m” it follows that D'(u) is real; in a similar arbitrarily values for the path AEC, continuous with one another way we prove that P'(u) is pure imaginary when u is pure imaginary, and with the values at A and C; then determine the potential function and that B'(u) = P'eu) = P(eu), as also that for v = (uo, ' (v) is the for the interior of AECD: this will prescribe values for the path conjugate complex of B'(u). Hence it follows that the variable CFA which will be continuous at A and C with the values originally

*- fi$'(x)

zh

[ocr errors]
[ocr errors]

[R(s); ]-1

[ocr errors]

takes each real value once as u passes along the perimeter of the of them by this process of continuation, a fact which we express by. triangle ODE, being as can be shown respectively 0,1,0, -1 at 0. saying that the equation (5,2) = 0 defines a monogenic algebraic D, H, E. and takes every complex value of imaginary part positive construct. With less accuracy we may say that an irreducible once in the interior of this triangle. This leads to

algebraic equation /(s.2) = o determines a single monogenic function

s of 2. v-tifi (R-1).de

Any rational function of zand s, where /(1,5) = 0, may be considered in accordance with the general theory.

in the neighbourhood of any place (c,d) by substituting therein It can be deduced that r = represents the triangle ODH on the :=c+P(), s=d+Q9); the result is necessarily of the form -H(1), upper half plane of 7, and 5 = (1-r) represents similarly the integer. If this integer is positive, the function is said to vanish triangle OBD.

to order m at the place; if this integer is negative, - -m.the function $ 16. Multiple valued Functions. Algebraic Functions. The is infinite to order w at the place. More generally, if A bc an explanations and definitions of a monogenic function hitherto arbitrary constant, and, near (c,d), R(5,2)-A is of the form / H(1), given bave been framed for the most part with a view to single at the place; il Riss) is infinite of order w at the place, so also is

where m is positive, we say that R(5,2) becomes m times equal to A valued functions. But starting from a power series, say in R(5.8) - A. It can be shown that the sum of the values of m at all 2-c, which represents a single value at all points of its circle the places, including the places 2 = 0, where R(S.2) vanishes, which of convergence, suppose that, by means of a derived series in we call the number of zeros of R(s.z) on the algebraic construct, is 8-ci' where é is interior to the circle of convergence, we can

finite, and cqual to the sum of the values of w where R (5,2) is infinite, continue the function beyond this, and then by means of a series R(5,5) = A; "this we express by saying that a rational function

and more generally equal to the sum of the values of m where derived from the first derived series we can make a further

R(3,2) takes any value (including oo) the same number of times or continuation, and so on; it may well be that when, after a the algebraic construct; this number is called the order of the closed circuit, we again consider points in the first circle of rational function. convergence, the value represented may not agree with the these values being obtainable by rational elimination of s between

That the total number of zeros of R (s.2) is finite is at once obvious, original value. One example is the case st, for which two values (5,2) = 0, R(5,2) = 0. That the number is equal to the total number exist for any value of z; another is the generalized logarithm of infinities is best deduced by means of a theorem which is also of 1(2), for which there is an infinite number of values. In such

more general utility. Let R(5,2) be any rational function of s, 2, cases, as before, the region of existence of the function consists which are connected by [(s.2) = 0; about any place (c,d) lo

2-c+P(), s=d+Q(1), expand the product of all points which can be reached by such continuations with power series, and the singular points, which are the limiting

R(sizliyi points of the point-aggregate constituting the region of existence, in powers of t and pick out the coefficient of Hl. There is only a are those points in whose neighbourhood the radii of convergence finite number of places of this kind. The theorem is that the sum of derived series have zero for limit. In this description the of these coefficients of t' is zero.

This we express by point := 0 does not occupy an exceptional position, a power series in 2-c being transformed to a series in 1/2 when z is near enough to c by means of 3-c=c(1-c%*)(1-(1-02-)}?, and a The theorem holds for the case n=1, that is, for rational functions series in 1/2 to a series in :-(, when : is near enough to c, by+c=, and about' := 0 we have =h and therefore dzd=-1?;

of one variablc z; in that case, about any finite point we have means of -+(1+).

in that case, then, the theorem is that in any rational function of A A,

A The commonest case of the occurrence of multiple valued functions is that in which the function s satisfies an algebraic equation f(s,z) =

Pos" + Pisant . + Pn=0, wherein po. Pl... Pa are integral poly. the sum EA, of the sum of the residues at the finite poles is equal nomials in s. Assuming (5,2) incapable of being written as a product to the coefficient of 1/3 in the expansion, in ascending powers of 1/2, of polynomials rational in s and s, and excepting values of 2 for about 2 =*; an obvious result. In general, if for å finite place which the polynomial coefficient of su vanishes, as also the values of the algebraic construct associated with }(s,z) = 0, whose neighbourof z for which beside |(5,2)=0 we have also oj(5,2)/as =0, and also hood is given by z=c+!,5= d+Q(!), there be a coefficient of r in in general the point z=0, the roots of this equation about any point R(s,z)d: dt, this will be times the cocfficient of pat in R(5,3) or 8-c are given by x power series in 3-c. About a finite point :=C Rld+Q(!), c+"), namely will be the coefficient of or in the sum of for which the equation of(5,2)/as=o is satished by one or more of the the series obtainable from Rid+Q(!), c+ m) by replacing ! by wl, roots s of f(5,2)=0, the roots break up into a certain number of where w is an rth root of unity; thus the sum of the coeficients of cycles, the r roots of a cycle being given by a set of power series in Fin R(s, z)dzdfor all the places which arise for 2=c, and the corre. a radical (3-0)', these series of the cycle being obtainable from sponding values of s, is equal to the coefficient of (2-0)-in R(se) + one another by replacing (3-0)' by wl2-0), where w, equal to R(57,-) + ... +R(5,2), where si, ... Sa are the n values of 's for a exp (2 rihr), is one of the rth roots of unity. Putting then 2-c=r value of 2 near to 3=c; this latter cum ER(Si, z) is, however, a we may say that the r roots of a cycle are given by a single power rational function of s only. Similarly, near 2 = 0, for a place given series in l, an increase of 27 in the phase of giving an increase of by th=P,s=d+Q(1), or 's-1 = Q(1), the cocfficient of rlin R(5,2)ds/di 27 in the phase of 2-C. This single series in 1, giving the values of is equal to - times the coefficient of r in Rid+Q(1), r"), that is s belonging to one cycle in the neighbourhood of z=c when the phase equal to the negative coefficient of r in the sum of the r series of : -c varies through 287, is to be looked upon as defining a single Rd+Q/wt), 5. so that, as before, the sum of the coefficients of place among the aggregate of values of z and s which satisfy }(s,z) = 0; r in R{s,:)da di at the various places which arise for := 0 is equal iwo such places may be at the same point (s=¢, s=d), without to the negative coefficient of ' in the same rational function of , coinciding, the corresponding power series for the neighbouring ER(S6,2). Thus, from the corresponding theorem for rational functions points being different. Thus for an ordinary value of 2, 3 =(, there of one variable, the general theorem now being proved is seen to are n places for which the neighbouring values of s are given by n power series in 2-c; for a value of x for which of(5,2)/ds=0 there

Apply this theorem now to the rational function of s and 2, are less than n places. Similar remarks hold for the neighbourhood of s=0; there may be n places whose neighbourhood is given by n power series in ' or fewer, one of these being associated with a

R75,2).dz series in I, where :-(51)1/: the sum of the values of r which thus at a zero of R(s,8) near which R(5,2) = ?TH), we have arise is always n. In general, then, we may say, with 1 of one of

dR(5,2) dzd the forms (2-c), (2-6)/", r! (r)'/, that the neighbourhood of any place (c,d) for which jc,d) -o is given by a pair of expressions where a denotes the generalized logarithmic function, that is equal

di dial^[R(5,5)]). :=c+P(!), s=d+Q(1), where P() is å (particular case of a) power series vanishing for i=0, and Q() is a power series vanishing for

mt! + power series in l; 1=0, and 1 vanishes at (c,d), the expression 3-c being replaced by similarly at a place for which R(s, 2) ==-K(1); the theorem I! when c is infinite, and similarly the expression s-d by sal when d is inhnite. The last case arises when we consider the finite values of : for which the polynomial coefficient of sy vanishes. Of such a

dz pair of expressions we may obtain a continuation by writing (=b+ thus gives Em=u, or, in words, the total number of zeros of R(5.8)

or +Azp' * : . ., where 1 is a new variable and is not zero; on the algebraic construct is equal to the total number of its poles. in particular for an ordinary finite place this equation simply becomes The same is therefore true of the function R($, 2) - A, where A is an !=+r. It can be shown that all the pairs of power series 2 =(+ arbitrary constant; thus the number in question, being equal to the P(1), s=d+Q«) which are necessary to represent all pairs of values number of poles of R(5,2) - A, is equal also to the number of times of 3, s satisfying the equation (5,2) = 0 can be obtained from one that R(s,x) = A on the algebraic construct.

Σ

+

follow.

dR(5.3);

[ocr errors]
[ocr errors]

R(5,2)

to

[ocr errors]
« PreviousContinue »