Introductions to EllipticThetaPrime3

Introduction to the Jacobi theta functions

General

The basic achievements in studying infinite series were made in the 18th and 
19th centuries when mathematicians investigated issues regarding the 
convergence of different types of series. In particular, they found that the 
famous geometrical series:

converges inside the unit circle \[LeftBracketingBar]z\[RightBracketingBar] < 1 to the function 1/(1-q), but can be analytically extended outside this circle by the formulas -(∑_(k=0)^∞)(q^(-k-1))/;\[LeftBracketingBar]z\[RightBracketingBar]>1 and (∑_(k=0)^∞)(((q-(Subscript[q, 0])))^k)/;(Subscript[c, k])==(((1-(Subscript[q, 0])))^(-k-1))∧\[LeftBracketingBar]q-(Subscript[q, 0])\[RightBracketingBar]<\[LeftBracketingBar]1-(Subscript[q, 0])\[RightBracketingBar]. The sums of these two series produce the same function 1/(1-q). But restrictions on convergence for all three series strongly depend on 
the distance between the center of expansion (Subscript[q, 0]) and the nearest singular point 1 (where the function 1/(1-q)  has a first-order pole).

The properties of the series:

lead to similar results, which attracted the interest of J. Bernoulli 
(1713), L. Euler, J. Fourier, and other researchers. They found that this 
series cannot be analytically continued outside the unit circle 
|z| < 1 because its boundary  |z| == 1 has not one, but an infinite set of dense 
singular points. This boundary was called the natural boundary of analyticity 
of the corresponding function, which is defined as the sum of the previous 
series.

Special contributions to the theoretical development of these series were 
made by C. G. J. Jacobi (1827), who introduced the elliptic amplitude am(z|m) and studied the twelve elliptic functions cd(z|m), cn(z|m), cs(z|m), dc(z|m), dn(z|m), ds(z|m), nc(z|m), nd(z|m), ns(z|m), sc(z|m), sd(z|m), sn(z|m). All these functions later were named for Jacobi. C. G. J. Jacobi also 
introduced four basic theta functions, which can be expressed through the 
following series:

These Jacobi elliptic theta functions notated by the symbols  (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q) have the following representations:

A more detailed theory of elliptic theta functions was developed by C. W. 
Borchardt (1838), K. Weierstrass (1862–1863), and others. Many 
relations in the theory of elliptic functions include derivatives of the 
theta functions with respect to the variable z:  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q), which cannot be expressed through other special functions. For this 
reason, Mathematica includes not only four well-known theta functions, but also their 
derivatives.

Definitions of Jacobi theta functions

The Jacobi elliptic theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives with respect to z: (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) are defined by the following formulas:

A quick look at the Jacobi theta functions

Here is a quick look at the graphics for the Jacobi theta functions along 
the real axis for q=1/2.

Connections within the group of Jacobi theta functions and with other 
function groups

Representations through related equivalent functions

The elliptic theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q) can be represented through the Weierstrass sigma functions by the following 
formulas:

where (Subscript[ω, 1]), (Subscript[ω, 3]) are the Weierstrass half-periods and ζ(z;(Subscript[g, 2]),(Subscript[g, 3])) is the Weierstrass zeta function.

The ratios of two different elliptic theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q) can be expressed through corresponding elliptic Jacobi functions with 
power factors by the following formulas:

where q(m) is an elliptic nome and K(m) is a complete elliptic integral.

Representations through other Jacobi theta functions

Each of the theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q) can be represented through the other theta functions by the following 
formulas:

The derivatives of the theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q) can also be expressed through the other theta functions and their 
derivatives by the following formulas:

The best-known properties and formulas for the Jacobi theta functions

Values for real arguments

For real values of the arguments z, q (with -1<q<1), the values of the Jacobi theta functions (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) are real.

For real values of the arguments z, q (with 0≤q<1), the values of the Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 1]^′)(z,q), and (Subscript[ϑ, 2]^′)(z,q) are real.

Simple values at zero

All Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) have the following simple values at the origin point:

Specific values for specialized parameter

All Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) have the following simple values if q==0:

At the points z==0 and z==(π/2), all theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) can be expressed through the Dedekind eta function η(w)/;w==-i log(q)/π or a composition of the complete elliptic function K and the inverse elliptic nome K((q^(-1))(q)) by the following formulas:

The previous relations can be generalized for the cases z==π m and z==π/2+π m, where m∈ℤ:

Analyticity

All Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) are analytic functions of z and q for z,q∈ℂ and |q|<1.

Poles and essential singularities

All Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) do not have poles and essential singularities inside of the unit circle |q|<1.

Branch points and branch cuts

For fixed q, the functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 1]^′)(z,q), and (Subscript[ϑ, 2]^′)(z,q) do not have branch points and branch cuts with respect to z.

The functions (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) do not have branch points and branch cuts.

Natural boundary of analyticity

The unit circle |q|==1 is the natural boundary of the region of analyticity for all Jacobi theta 
functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and  (Subscript[ϑ, 4]^′)(z,q).

Periodicity

The Jacobi theta functions (Subscript[ϑ, 1])(z,q) and (Subscript[ϑ, 2])(z,q) are the periodic functions with respect to z with period 2π and a quasi-period i log(q):

The Jacobi theta functions (Subscript[ϑ, 3])(z,q) and (Subscript[ϑ, 4])(z,q) are the periodic functions with respect to z with period π and a quasi-period i log(q):

The Jacobi theta functions (Subscript[ϑ, 1]^′)(z,q) and (Subscript[ϑ, 2]^′)(z,q) are the periodic functions with respect to z with period 2π:

The Jacobi theta functions (Subscript[ϑ, 3]^′)(z,q) and  (Subscript[ϑ, 4]^′)(z,q) are the periodic functions with respect to z with period π:

The previous formulas are the particular cases of the following general 
relations that reflect the periodicity and quasi-periodicity of the 
theta functions by variable z:

Parity and symmetry

All Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) have mirror symmetry:

The Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) are odd functions with respect to z:

The other Jacobi theta functions (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 4])(z,q), and (Subscript[ϑ, 1]^′)(z,q) are even functions with respect to z:

The Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2])(z,q), and (Subscript[ϑ, 2]^′)(z,q) satisfy the following parity type relations with respect to q:

The Jacobi theta functions (Subscript[ϑ, 3])(z,q), (Subscript[ϑ, 3]^′)(z,q), (Subscript[ϑ, 4])(z,q), and (Subscript[ϑ, 4]^′)(z,q) with argument -q can be self-transformed by the following relations:

q-series representations

All Jacobi elliptic theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) have the following series expansions, which can be called q-series representations:

Other series representations

The theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) can also be represented through the following series:

Product representations

The theta functions can be represented through infinite products, for 
example:

Transformations

The theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q) satisfy numerous relations that can provide transformations of their 
arguments, for example:

Among those transformations, several kinds can be combined into specially 
named groups:

((n )^th) root of q:

Multiple angle formulas:

Double-angle formulas (which are not particular cases of the previous group), 
for example:

Landen's transformation:

Identities

The theta functions at z=0 satisfy numerous modular identities of the form p((Subscript[ϑ, 1])(0,(q^(Subscript[e, 1,1])))…,(Subscript[ϑ, 4])(0,(q^(Subscript[e, 4,n]))))==0, where the (Subscript[e, i,j]) are positive integers and p is a multivariate polynomials over the integers, for example:

Among the numerous identities for theta functions, several kinds can be 
joined into specially named groups:

Relations involving squares:

Relations involving quartic powers:

Relations between the four theta functions where the first argument is zero, 
for example:

Addition formulas:

Triple addition formulas, for example:

Representations of derivatives

The derivatives of the Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) with respect to variable z can be expressed by the following formulas:

The derivatives of the Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) with respect to variable q can be expressed by the following formulas:

The (n^th)-order derivatives of the Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) with respect to variable z can be expressed by the following formulas:

The (n^th)-order derivatives of Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) with respect to variable q can be expressed by the following formulas:

Integration

The indefinite integrals of the Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) with respect to variable z can be expressed by the following formulas:

The first four sums cannot be expressed in closed form through the named 
functions.

The indefinite integrals of the Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) with respect to variable q can be expressed by the following formulas:

Partial differential equations

Zeros

The Jacobi theta functions (Subscript[ϑ, 1])(z,q), (Subscript[ϑ, 2])(z,q), (Subscript[ϑ, 3])(z,q), and (Subscript[ϑ, 4])(z,q), and their derivatives  (Subscript[ϑ, 1]^′)(z,q), (Subscript[ϑ, 2]^′)(z,q), (Subscript[ϑ, 3]^′)(z,q), and (Subscript[ϑ, 4]^′)(z,q) are equal to zero in the following points:

Applications of Jacobi theta functions

Applications of the Jacobi theta functions include the analytic solution of 
the heat equation, square potential well problems in quantum mechanics, 
Wannier functions in solid state physics, conformal mapping of periodic 
regions, gravitational physics, quantum cosmology, coding theory, sphere 
packings, crystal lattice calculations, and study of the fractional quantum 
Hall effect.

Copyright