| • Science | • People | • Locations | • Timeline |
The most common form of theta function is that occurring in the theory of elliptic functions. With respect to one of the complex variables (conventionally called z), a theta function has a property expressing its behaviour with respect to the addition of a period of the associated elliptic functions (sometimes called quasi-periodicity, though this is not related to the use of that term for dynamical systems). In the abstract theory this is shown to come from a line bundle condition of descent.
The Jacobi theta function is a function defined for two complex variables z and τ, where z can be any complex number and τ is confined to the upper half plane, which means it has positive imaginary part. It is given by the formula
If τ is fixed, this becomes a Fourier series for a periodic entire function of z, with period one; the theta function satisfying the identity
The function also behaves very regularly with respect to addition by τ and satisfies the functional equation
where a and b are integers.
It is convenient to define three auxiliary theta functions, which we may write
This notation follows Riemann and David Mumford; Jacobi's original formulation was in terms of rather than τ, and theta there is called , with termed , named , and called .
If we set z=0 in the above theta functions, we obtain four functions of τ only, defined on the upper half plane (sometimes called theta constants.) These can be used to define a variety of modular forms, and to parameterize certain curves; in particular the Jacobi identity is
which is the Fermat curve of degree four.
The theta function was used by Jacobi to construct (in a form adapted to easy calculation) his elliptic functions as the quotients of the above four theta functions, and could have been used by him to construct Weierstrass's elliptic functionsIn mathematics, Weierstrass introduced some particular elliptic functions that have become the basis for the most standard notations used. Definitions Consider two complex numbers and , with not purely real; the definition depends on these. There are some also, since
where the second derivative is with respect to z and the constant c is defined so that the Laurent expansion of at z=0 has zero constant term.