Functions on which K. Weierstrass based his general theory of elliptic functions (cf. Elliptic function), exposed in 1862 in his lectures at the University of Berlin [1], [2]. As distinct from the earlier structure of the theory of elliptic functions developed by A. Legendre, N.H. Abel and C.G. Jacobi, which was based on elliptic functions of the second order with two simple poles in the period parallelogram, a Weierstrass elliptic function has one second-order pole in the period parallelogram. From the theoretical point of view the theory of Weierstrass is simpler, since the function 
, on which it is based, and its derivative serve as elliptic functions which generate the algebraic field of elliptic functions with given primitive periods.
The Weierstrass 
-function 
(
is Weierstrass' notation) for given primitive periods 
, 
, is defined as the series
 | (1) |
where 
, and 
run through all integers except 
. The function 
is an even elliptic function of order 2, with a unique second-order pole with zero residue in each period parallelogram. Its derivative 
is an odd elliptic function of order 3 with the same primitive periods; 
has simple zeros at points congruent with 
. The most important property of the function 
is that any elliptic function with given primitive periods 
may be represented as a rational function of 
and 
, i.e. 
and 
generate the algebraic field of elliptic functions with given periods. The simply-periodic trigonometric function which serves as the analogue of the function 
is 
.
The function 
satisfies the differential equation
 | (2) |
in which the modular forms
are said to be the relative invariants and 
, 
, 
are said to be the irrational invariants of the function 
. An absolute invariant of 
is any rational function of 
or of 
, where 
is the discriminant; this invariance is with respect to modular transformations (cf. Modular function). In applications, 
and 
are usually real; if, in addition, 
, then 
are also real. Equation (2) shows that 
may be defined as the inverse of the elliptic integral of the first kind in Weierstrass normal form:
The function 
is a one-to-one conformal mapping of the period parallelogram onto a canonically cut two-sheet compact Riemann surface 
with branch points 
, of genus 1; the surface 
is sometimes said to be an elliptic image. The above integral of the first kind is single-valued on the principal covering surface 
and is a uniformizing variable on 
.
The elliptic integral of the second kind of the field of elliptic functions with given periods 
becomes, as a result of this uniformization, the Weierstrass zeta-function 
, which is defined by the series
 | (3) |
The function 
is an odd meromorphic function and is connected with 
by the relation 
. It is not periodic, and if periods are added to its independent variable, it transforms according to 
, where 
. The Legendre relation holds between 
, 
, 
, 
:
which is equivalent to a relation between complete elliptic integrals:
Any elliptic function 
with given periods 
may be expressed in terms of 
by the formula of Hermite:
 | (4) |
where 
is a constant, 
is the complete system of poles of 
and the numbers 
are the coefficients of the principal part of the Laurent expansion of 
in a neighbourhood of 
. The expansion (4) is the analogue of the expansion of an arbitrary rational function into partial fractions. The trigonometric function which is the analogue of the function 
is 
.
The Weierstrass sigma-function 
is defined as the infinite product
The function 
is an odd entire function with zeros 
, and is connected with the functions 
and 
by the relations
It is not a doubly-periodic function; the identities
where
apply.
An arbitrary elliptic function 
with periods 
can be expressed in terms of 
as:
where 
is a constant and 
, 
are the complete system of zeros and poles of 
. The trigonometric function which is the analogue of the function 
is 
.
The following indexed sigma-functions are also important in Weierstrass' theory:
The functions 
, 
, 
, 
can be expressed in terms of the theta-functions (cf. Theta-function) 
, 
, 
, 
(cf. Jacobi elliptic functions), while the function 
can be expressed in terms of 
, 
, 
, 
. The latter form the calculating base of Weierstrass' functions. It is also possible to obtain an explicit expression of the Weierstrass elliptic functions in terms of the Jacobi elliptic functions, e.g. in the form:
In applied problems the relative invariants 
are usually given. The primitive periods 
are usually computed with the aid of the absolute invariant 
, which is a modular function of the ratio of the periods 
(see also Modular function).
References
| [1] | K. Weierstrass, "Math. Werke" , 1–2 , Mayer & Müller (1894–1895) |
| [2] | H.A. Schwarz, "Formeln und Lehrsätze zum Gebrauche der elliptischen Funktionen" , Berlin (1893) |
| [3] | A. Hurwitz, R. Courant, "Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen" , 2 , Springer (1964) pp. Chapt.8 |
| [4] | E.T. Whittaker, G.N. Watson, "A course of modern analysis" , Cambridge Univ. Press (1952) pp. Chapt. 6 |
| [5] | N.I. Akhiezer, "Elements of the theory of elliptic functions" , Amer. Math. Soc. (1990) (Translated from Russian) |
References
| [a1] | J. Tannéry, J. Molk, "Eléments de la théorie des fonctions elliptiques" , 1–2 , Chelsea, reprint (1972) |
| [a2] | S. Lang, "Elliptic functions" , Addison-Wesley (1973) |
| [a3] | D.F. Lawden, "Elliptic functions and applications" , Springer (1989) |
| [a4] | A. Weil, "Elliptic functions according to Eisenstein and Kronecker" , Springer (1976) |
