Page:EB1911 - Volume 11.djvu/333

Rh means [ƒ(z)]2. This may be verified directly by showing, if R denote the right side of the equation, that ∂R/∂z = ∂R/∂t; this will require the use of the differential equation

[ƒ1′ (z) ]2 = [ƒ12(z) + e1 − e2] [ƒ12(z) + e1 − e3],

and in fact we find

hence it will follow that R is a function of z + t, and R is at once seen to reduce to ƒ(z) when t = 0. From this the addition equation for each of the functions sn(u), cn(u), dn(u) can be deduced at once; if s1, c1, d1, s2, c2, d2 denote respectively sn(u1), cn(u1), dn(u1), sn(u2), cn(u2), dn(u2), they can be put into the forms

where

D = 1 − k2s12s22.

The introduction of the function ƒ1(z) is equivalent to the introduction of the function ℜ(z;, 2′) constructed from the periods , 2′ as was ℜ(z) from and ′; denoting this function by ℜ1(z) and its differential coefficient by ℜ′1(z), we have in fact

as we see at once by considering the zeros and poles and the limit of zƒ1(z) when z = 0. In terms of the function ℜ1(z) the original function ℜ(z) is expressed by

ℜ(z) = ℜ1(z) + ℜ1(z + ′) − ℜ1(′),

as a consideration of the poles and expansion near z = 0 will show.

A function having, ′ for periods, with poles at two arbitrary points a, b and zeros at a′, b′, where a′ + b′ = a + b save for an expression m + m′′, in which m, m′ are integers, is a constant multiple of

if the expansion of this function near z = a be

(z − a)−1 + +  n=1 n (z − a)n,

the expansion near z = b is

− (z − b) − 1 + +  n=1 (−1)n n (z − b)n,

as we see by remarking that if z′ − b = −(z − a) the function has the same value at z and z′; hence the differential equation satisfied by the function is easily calculated in terms of the coefficients in the expansions.

From the function ℜ(z) we can obtain another function, termed the Zeta-function; it is usually denoted by (z), and defined by

for which as before we have equations

where 2, 2′ are certain constants, which in this case do not both vanish, since else (z) would be a doubly periodic function with only one pole of the first order. By considering the integral

∫ (z)dz

round the perimeter of a parallelogram of sides, ′ containing z = 0 in its interior, we find ′ − ′ = 1, so that neither of, ′ is zero. We have ′(z) =−ℜ(z). From (z) by means of the equation

we determine an integral function (z), termed the Sigma-function, having a zero of the first order at each of the points z = ; it can be seen to satisfy the equations

By means of these equations, if a1 + a2 + ... + a m = a′1 + a′2 + ... + a′ m, it is readily shown that

is a doubly periodic function having a1, ... a m as its simple poles, and a′1, ... a′ m as its simple zeros. Thus the function (z) has the important property of enabling us to write any meromorphic doubly periodic function as a product of factors each having one zero in the parallelogram of periods; these form a generalization of the simple factors, z − a, which have the same utility for rational functions of z. We have (z) = ′(z)/(z).

The functions (z), ℜ(z) may be used to write any meromorphic doubly periodic function F(z) as a sum of terms having each only one pole; for if in the expansion of F(z) near a pole z = a the terms with negative powers of z − a be

A1(z − a)−1 + A2(z − a)−2 + ... + A m+1 (z − a) −(m+1) ,

then the difference

will not be infinite at z = a. Adding to this a sum of further terms of the same form, one for each of the poles in a parallelogram of periods, we obtain, since the sum of the residues A is zero, a doubly periodic function without poles, that is, a constant; this gives the expression of F(z) referred to. The indefinite integral ∫F(z)dz can then be expressed in terms of z, functions ℜ(z − a) and their differential coefficients, functions (z − a) and functions log(z − a).

§ 15. Potential Functions. Conformal Representation in General.—Consider a circle of radius a lying within the region of existence of a single valued monogenic function, u + iv, of the complex variable z, = x + iy, the origin z = 0 being the centre of this circle. If z = rE(i) = r(cos + i sin) be an internal point of this circle we have

where U + iV is the value of the function at a point of the circumference and t = aE(i); this is the same as

If in the above formula we replace z by the external point (a2/r) E(i) the corresponding contour integral will vanish, so that also

hence by subtraction we have

and a corresponding formula for v in terms of V. If O be the centre of the circle, Q be the interior point z, P the point aE(i) of the circumference, and the angle which QP makes with OQ produced, this integral is at once found to be the same as

of which the second part does not depend upon the position of z, and the equivalence of the integrals holds for every arc of integration.

Conversely, let U be any continuous real function on the circumference, U0 being the value of it at a point P0 of the circumference, and describe a small circle with centre at P0 cutting the given circle in A and B, so that for all points P of the arc AP0B we have |U − U0| < , where is a given small real quantity. Describe a further circle, centre P0 within the former, cutting the given circle in A′ and B′, and let Q be restricted to lie in the small space bounded by the arc A′P0B′ and this second circle; then for all positions of P upon the greater arc AB of the original circle QP2 is greater than a definite finite quantity which is not zero, say QP2 > D2. Consider now the integral

which we evaluate as the sum of two, respectively along the small arc AP0B and the greater arc AB. It is easy to verify that, for the whole circumference,

Hence we can write

If the finite angle between QA and QB be called and the finite angle AOB be called, the sum of the first two components is numerically less than

If the greatest value of |(U − U0)| on the greater arc AB be called H, the last component is numerically less than

of which, when the circle, of centre P0, passing through A′B′ is sufficiently small, the factor a2 − r2 is arbitrarily small. Thus it appears that u′ is a function of the position of Q whose limit, when Q, interior to the original circle, approaches indefinitely near to P0, is U0. From the form

since the inclination of QP to a fixed direction is, when Q varies, P remaining fixed, a solution of the differential equation

where z, = x + iy, is the point Q, we infer that u′ is a differentiable