Page:EB1911 - Volume 11.djvu/338

Rh whereby a definite power series in u, valid for sufficiently small value of u, is found for t, and hence a definite power series for x, of the form

x = u−2 + g2u2 + ...

Let this expression be valid for 0 < |u| < R, and the function defined thereby, which has a pole of the second order for u=0, be denoted by (u). In the range in question it is single valued and satisfies the differential equation

[′(u)]2 = 4[(u)]3 − g2(u) − g3;

in terms of it we can write x = (u), y = − ′(u), and, ′(u) being an odd function, the sign attached to y in the original integral for x = ∞ is immaterial. Now for any two values u, v in the range in question consider the function

it is at once seen, from the differential equation, to be such that ∂F/∂u = ∂F/∂v; it is therefore a function of u + v; supposing
 * u + v| < R we infer therefore, by putting v = 0, that

By repetition of this equation we infer that if u1, ... un be any arguments each of which is in absolute value less than R, whose sum is also in absolute value less than R, then (u1 + ... + un) is a rational function of the 2n functions (us), ′(us); and hence, if |u| < R, that

where H is some rational function of the arguments (u/n), ′(u/n). In fact, however, so long as |u/n| < R, each of the functions (u/n), ′(u/n) is single valued and without singularity save for the pole at u=0; and a rational function of single valued functions, each of which has no singularities other than poles in a certain region, is also a single valued function without singularities other than poles in this region. We infer, therefore, that the function of u expressed by H [(u/n), ′(u/n)] is single valued and without singularities other than poles so long as |u| < nR; it agrees with (u) when |u| < R, and hence furnishes a continuation of this function over the extended range |u| < nR. Moreover, from the method of its derivation, it satisfies the differential equation [′(u)]2 = 4[(u)]3 − g2(u) − g3. This equation has therefore one solution which is a single valued monogenic function with no singularities other than poles for any finite part of the plane, having in particular for u = 0, a pole of the second order; and the method adopted for obtaining this near u=0 shows that the differential equation has no other such solution. This, however, is not the only solution which is a single valued meromorphic function, a the functions (u + ), wherein is arbitrary, being such. Taking now any range of values of u, from u = 0, and putting for any value of u, x = (u), y = −′(u), so that y2=4x3-g2x-g3, we clearly have

conversely if x0 = (u0), y0 = −′(u0) and, be any values satisfying 2 = 42 − g2 − g3, which are sufficiently near respectively to x0, y0, while v is defined by

then, are respectively (v) and −′(v); for this equation leads to an expansion for − x0 in terms of v = u0 and only one such expansion, and this is obtained by the same work as would be necessary to expand (v) when v is near to u0; the function (u) can therefore be continued by the help of this equation, from v = u0, provided the lower limit of | − x0| necessary for the expansions is not zero in the neighbourhood of any value (x0, y0). In fact the function (u) can have only a finite number of poles in any finite part of the plane of u; each of these can be surrounded by a small circle, and in the portion of the finite part of the plane of u which is outside these circles, the lower limit of the radii of convergence of the expansions of (u) is greater than zero; the same will therefore be the case for the lower limit of the radii | − x0| necessary for the continuations spoken of above provided that the values of considered do not lead to infinitely increasing values of v; there does not exist, however, any definite point (0, 0) in the neighbourhood of which the integral ∫ (x0, y0) d/ increases indefinitely, it is only by a path of infinite length that the integral can so increase. We infer therefore that if be any point, where 2 = 43 − g2 − g3, and v be defined by

then = (v) and  = −′(v). Thus this equation determines without ambiguity. In particular the additive indeterminatenesses of the integral obtained by closed circuits of the point of integration are periods of the function (u); by considerations advanced above it appears that these periods are sums of integral multiples of two which may be taken to be

these quantities cannot therefore have a real ratio, for else, being periods of a monogenic function, they would, as we have previously seen, be each integral multiples of another period; there would then be a closed path for (x, y ), starting from an arbitrary point (x0, y0), other than one enclosing two of the points (e1, 0), (e2, 0), (e3, 0), (∞, ∞), which leads back to the initial point (x0, y0), which is impossible. On the whole, therefore, it appears that the function (u) agrees with the function ℜ(u) previously discussed, and the discussion of the elliptic integrals can be continued in the manner given under § 14, Doubly Periodic Functions.

§ 21. Modular Functions.—One result of the previous theory is the remarkable fact that if

where y2 = 4(x − e1) (x − e2) (x − e3), then we have

e1 = −2 + ′ {[(m + ) + m′′]−2 − [m + m′′]−2},

and a similar equation for e3, where the summation refers to all integer values of m and m′ other than the one pair m = 0, m′ = 0. This, with similar results, has led to the consideration of functions of the complex ratio ′/.

It is easy to see that the series for ℜ(u), u−2 + ′[(u + m + m′′)2 − (m + m′′)2], is unaffected by replacing, ′ by two quantities , ′ equal respectively to p + q′, p′′ + q′′, where p, q, p′, q′ are any integers for which pq′ − p′q = ±1; further it can be proved that all substitutions with integer coefficients = p + q′, ′ = p′ + q′′, wherein pq′ − p′q = 1, can be built up by repetitions of the two particular substitutions ( = −′, ′ = ), ( =, ′ =  + ′). Consider the function of the ratio ′/ expressed by

h = −ℜ (′) / ℜ;

it is at once seen from the properties of the function ℜ(u) that by the two particular substitutions referred to we obtain the corresponding substitutions for h expressed by

h′ = 1/h, &emsp; h′ = 1 − h;

thus, by all the integer substitutions = p + q′, ′ = p′ + q′′, in which pq′ − p′q = 1, the function h can only take one of the six values h, 1/h, 1 − h, 1/(1 − h), h/(h − 1), (h − 1)/h, which are the roots of an equation in ,

the function of, = ′/, expressed by the right side, is thus unaltered by every one of the substitutions ′ = (p′ + q′ / p + q), wherein p, q, p′, q′ are integers having pq′ − p′q = 1. If the imaginary part , of, which we may write =  + i, is positive, the imaginary part of ′, which is equal to (pq′ − p′q)/[(p + q)2 + q22], is also positive; suppose to be positive; it can be shown that the upper half of the infinite plane of the complex variable can be divided into regions, all bounded by arcs of circles (or straight lines), no two of these regions overlapping, such that any substitution of the kind under consideration, ′ = (p′ + q′)/(p + q) leads from an arbitrary point , of one of these regions, to a point ′ of another; taking =  + i, one of these regions may be taken to be that for which − <  < , 2 + 2 > 1, together with the points for which is negative on the curves limiting this region; then every other region is obtained from this so-called fundamental region by one and only one of the substitutions = (p′ + q′)/(p + q), and hence by a definite combination of the substitutions ′ = −1/, ′ = 1 +. Upon the infinite half plane of, the function considered above,

is a single valued monogenic function, whose only essential singularities are the points ′ = (p′ + q′)/(p + q) for which = ∞, namely those for which ′ is any real rational value; the real axis is thus a line over which the function z cannot be continued, having an essential singularity in every arc of it, however short; in the fundamental region, z has thus only the single essential singularity, r = + i, where  = ∞; in this fundamental region z takes any assigned complex value just once, the relation z(′) = z requiring, as can be shown, that ′ is of the form (p′ + q′)/(p + q), in which p, q, p′, q′ are integers with pq′ − p′q = 1; the function z has thus a similar behaviour in every other of the regions. The division of the plane into regions is analogous to the division of the plane, in the case of doubly periodic functions, into parallelograms; in that case we considered only functions without essential singularities, and in each of the regions the function assumed every complex value twice, at least. Putting, as another function of, J = z [z − 1], it can be shown that J = 0 for = exp (i), that J = 1 for  = i, these being values of on the boundary of the fundamental region; like z it has an essential singularity for =  + i,  = + ∞. In the