WeierstrassP PDF

Introductions to WeierstrassP
Introduction to the Weierstrass functions and inverses
General
Historical remarks
The Weierstrass elliptic functions are identified with the famous

mathematicians N. H. Abel (1827) and K. Weierstrass (1855, 1862). In the year 1849, C. Hermite
first used the notation Ã for the basic Weierstrass doubly periodic function with only one double
pole. The sigma and zeta Weierstrass functions were introduced in the works
of F. G. Eisenstein (1847) and K. Weierstrass (1855, 1862, 1895).
â t and z = zHI; g2 , g3 L. Such integrals were investigated in the works of

The Weierstrass elliptic and related functions can be defined as inversions
of elliptic integrals like I = Ù¥
z 1
4 t3 -g2 t-g3
L. Euler (1761) and J.-L. Lagrange (1769), who basically introduced

the functions that are known today as the inverse Weierstrass functions.
Periodic functions
An analytic function f HzL is called periodic if there exists a complex constant Ρ ¹ 0, such that
f Hz + ΡL f HzL ; z Î C. The number Ρ (with a minimal possible value of Ρ¤) is called the period of the function
f HzL.
Examples of well-known singly periodic functions are the

exponential functions, all the trigonometric and hyperbolic functions: ãz , sin(z), cos(z), csc(z), sec(z), tan(z), cot(z),
sinh(z), cosh(z),
csch(z), sech(z), tanh(z), and coth(z), which have periods Ρ = 2 Π ä, Ρ = 2 Π, Ρ = Π, Ρ = 2 Π ä, and Ρ = Π ä. The
8z0 + Α Ρ ; 0 £ Α < 1 ì z0 Î C<, because outside this strip, the values of these functions coincide with
study of such functions can be restricted to any period-strip
their corresponding values inside the strip.
Nonconstant analytic functions over the field of complex numbers cannot have
more than two independent periods. So, generically, periodic functions can
satisfy the following relations:
f Hz + n ΡL f HzL ; n Î Z
f Hz + m Ρ1 + n Ρ2 L f HzL ; 8m, n< Î Z í Im

Ρ1
¹ 0,
Ρ2
http://functions.wolfram.com 2
where Ρ, Ρ1 , and Ρ2 are periods (basic primitive periods). The condition ImJ Ρ1 N ¹ 0 for doubly periodic functions
Ρ
2
period-parallelogram 8z0 + Α1 Ρ1 + Α2 Ρ2 ; 0 £ Α1 < 1 ì 0 £ Α1 < 1 ì z0 Î C<, which is the analog of the period-
implies the existence of a
strip 8z0 + Α Ρ ; 0 £ Α < 1 ì z0 Î C< for singly periodic functions with period Ρ.
In the case z0 0 í ImJ Ρ1 N > 0, this parallelogram is called the basic fundamental
Ρ
R0,0 8Α1 Ρ1 + Α2 Ρ2 ; 0 £ Α1 < 1 ì 0 £ Α2 < 1<.

2
8Αi Ρi ; 0 £ Αi < 1< ; i 1, 2 lying on the boundary of the period-parallelogram and beginning from the
period-parallelogram: The two line segments
origin 0 belong to R0,0 . The region R0,0 includes only one corner point 0 from four points lying at the boundary of
in 80, Ρ1 , Ρ1 + Ρ2 , Ρ2 <.
the parallelogram with corners
Sometimes the convention R0,0 8Α1 Ρ1 + Α2 Ρ2 ; -1 2 £ Α1 < 1 2 ì -1 2 £ Α2 < 1 2< is used.
The set of all such period-parallelograms:
Rm,n 8m Ρ1 + n Ρ2 + Α1 Ρ1 + Α2 Ρ2 ; 0 £ Α1 < 1 ì 0 £ Α2 < 1 ì m Î Z ì n Î Z<
covers all complex planes: C 8Rm,n È -¥ < m, n < ¥ ì m Î Z ì n Î Z<.
Any doubly periodic function EHzL is called an elliptic function. The set of numbers m Ρ1 + n Ρ2 ; 8m, n< Î Z is
called the period-lattice for elliptic function EHzL.
An elliptic function EHzL, which does not have poles in the period-parallelogram, is equal
to a constant (Liouville's theorem).
Nonconstant elliptic (doubly periodic) functions EHzL cannot be entire functions. This is not the case for singly
periodic
functions, for example, sinHzL is entire function.
Any nonconstant elliptic function EHzL has at least two simple poles or at least one double pole in any period
-parallelogram. The sum of all its residues at the poles inside a
period-parallelogram is zero.
The numbers of the zeros and poles of a nonconstant elliptic function EHzL in a fundamental period-parallelogram P
are finite.
The number of the zeros of EHzL - A, where A is any complex number, in a fundamental period-parallelogram R0,0
does not depend on the value A and coincides with number s of the poles b1 , b2 , ¼, bs counted according to their
multiplicity (s is called the order of the elliptic function EHzL).
The simplest elliptic function has order 2.

Let a1 , a2 , ¼, ar (and b1 , b2 , ¼, bs ) be the zeros (and poles) of a nonconstant elliptic function EHzL in a fundamen-
tal period-parallelogram R0,0 , both listed one or more times according to their multiplicity. Then the
following hold:
rs
â a j - â bk Μ Ρ1 + Ν Ρ2 ; a j Î R0,0 ì bk Î R0,0 ì EIa j M 0 ì 1 EHbk L 0 ì Μ Î Z ì Ν Î Z.

r s
j=1 k=1
So, the number of zeros of a nonconstant elliptic function EHzL in the fundamental period-parallelogram R0,0 is
equal to the number of poles there and counted according to their
multiplicity. The sum of zeros of a nonconstant elliptic function EHzL in the fundamental period-parallelogram R0,0
differs from the sum of its poles by a period Μ Ρ1 + Ν Ρ2 , where Μ Î Z ì Ν Î Z and the values of Μ, Ν depend on
the function EHzL.
All elliptic functions EHzL satisfy a common fundamental property, which generalizes addition,
functions (like sinHz1 + z2 L, sinHn zL ; n Î N+ ). It can be formulated as the following:

duplication, and multiple angle properties for trigonometric and hyperbolic
EIÚnk=1 zk M.
It can also be expressed as an algebraic function of EHzk L ; 1 £ k £ n.
In other words, there exists an irreducible polynomial CHt1 , t2 , ¼, tn+1 L in n + 1 variables with constant coeffi-
cients, for which the following relation
holds:
C EHz1 L, EHz2 L, ¼, EHzn L, E â zk

n
0.
k=1
And conversely, among all smooth functions, only elliptic functions and their
degenerations have algebraic addition theorems.
The simplest elliptic functions (with order 2) can be divided into two
classes:
(1) Functions that at the period-parallelogram R0,0 have only a double pole with residue zero (e.g., the Weierstrass
functions ÃHz; g2 , g3 L).

elliptic
(2) Functions that in the period-parallelogram R0,0 have only two simple poles with residues, which are equal in
value but opposite in sign (e.g., Jacobian elliptic functions snHz È mL etc.).
absolute
Any elliptic function EHzL with periods Ρ1 and Ρ2 can be expressed as a rational function of the Weierstrassian
functions ÃHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL and their derivative Ã¢ Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL with the same periods
elliptic
Ρ1 2 Ω1 , Ρ2 2 Ω3 .
The Weierstrass elliptic function ÃHz; g2 , g3 L arises as a solution to the following ordinary nonlinear differential
equation:
w² HzL - + 6 wHzL2 ; wHzL ÃHa + z; g2 , g3 L.

g2
2
Definitions of Weierstrass functions and inverses

The Weierstrass elliptic Ã function ÃHz; g2 , g3 L, its derivative Ã¢ Hz; g2 , g3 L, the Weierstrass sigma function
ΣHz; g2 , g3 L, associated Weierstrass sigma functions Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, Weierstrass zeta function
ΖHz; g2 , g3 L, inverse elliptic Weierstrass Ã function Ã-1 Hz; g2 , g3 L, and generalized inverse Weierstrass Ã function
Ã-1 Hz1 , z2 ; g2 , g3 L are defined by the following formulas:
ÃHz; g2 , g3 L + â ; 8Ω1 , Ω3 <

1 ¥ 1 1
Hz - 2 m Ω1 - 2 n Ω3 L H2 m Ω1 + 2 n Ω3 L2
-
2 2
z
8m,n<¹80,0<
m, n=-¥
14 14
8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< :ä â â > ; JHtL

60 ¥ 1 60 ¥ 1 g32
H2 m + 2 n tL4 H2 m + 2 n tL4
, ät
g2 g2 g32 - 27 g23
8m,n<¹80,0< 8m,n<¹80,0<
m, n=-¥ m, n=-¥
Ã¢ Hz; g2 , g3 L -2 â â ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

¥ ¥ 1
m=-¥ n=-¥ Hz - 2 m Ω1 - 2 n Ω3 L3
ΣHz; g2 , g3 L z ä ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

¥ z z2 z
2 H2 m Ω1 + 2 n Ω3 L2
1- exp +
2 m Ω1 + 2 n Ω3 2 m Ω1 + 2 n Ω3
8m,n<¹80,0<
m, n=-¥
ã-Ηn z ΣHz + Ωn ; g2 , g3 L
Σn Hz, g2 , g3 L ;
ΣHΩn ; g2 , g3 L
8Ω1 , Ω2 , Ω3 < 8Ω1 Hg2 , g3 L, -Ω1 Hg2 , g3 L - Ω3 Hg2 , g3 L, Ω3 Hg2 , g3 L< ì Ηn ΖHΩn ; g2 , g3 L ì n Î 81, 2, 3<
ΖHz; g2 , g3 L + â ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

1 ¥ z 1 1
H2 m Ω1 + 2 n Ω3 L2
+ +
z 2 m Ω1 + 2 n Ω3 z - 2 m Ω1 - 2 n Ω3
8m,n<¹80,0<
m, n=-¥
z ÃHw; g2 , g3 L ; w Ã-1 Hz; g2 , g3 L
Ã-1 Hz; g2 , g3 L à â t ; z Î R í ReI4 z3 - g2 z - g3 M > 0

z 1
¥
4 t - g2 t - g3
3
z1 ÃHw; g2 , g3 L ; w Ã-1 Hz1 , z2 ; g2 , g3 L í z2 4 z31 - g2 z1 - g3

Ã-1 Hz1 , z2 ; g2 , g3 L à â t ; z2
z1 1
4 z31 - g2 z1 - g3 .
¥
4 t - g2 t - g3
3
The function Ã-1 Hz1 , z2 ; g2 , g3 L is the unique value of u for which z1 = ÃHu; g2 , g3 L and z2 = Ã¢ Hu; g2 , g3 L. For the
existence of Ã-1 Hz1 , z2 ; g2 , g3 L, the values z1 and z2 must be related by z22 = 4 z31 - g2 z1 - g3 .
The previous nine functions are typically called Weierstrass elliptic

functions. The last two functions are called inverse elliptic Weierstrass
functions.
ÃHz; g2 , g3 L and its derivative Ã¢ Hz; g2 , g3 L are elliptic functions because only these functions are doubly periodic.
Despite the commonly used naming convention, only the Weierstrass function
The other Weierstrass functions ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and ΖHz; g2 , g3 L are not elliptic functions
because they are only quasi-periodic
functions with respect to z. But historically they are also placed into the class of elliptic
functions.
8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< and

8g2 , g3 < 8g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 L<,
The Weierstrass half-periods the invariants
Ã
8e1 , e2 , e3 < 8e1 Hg2 , g3 L, e2 Hg2 , g3 L, e3 Hg2 , g3 L<, and the Weierstrass zeta function values at half-periods
the Weierstrass function values at half-periods
8Η1 , Η2 , Η3 < 8Η1 Hg2 , g3 L, Η2 Hg2 , g3 L, Η3 Hg2 , g3 L< are defined by the following formulas. The description of the
Weierstrass
functions follows the notations used throughout. The left-hand sides
indicate that Ω1 and Ω3 are either independent variables or depend on g2 and g3 , or vice versa:
14 14
8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< :ä â â > ; JHtL

60 ¥ 1 60 ¥ 1 g32
H2 m + 2 n tL4 H2 m + 2 n tL4
, ät
g2 g2 g32 - 27 g23
8m,n<¹80,0< 8m,n<¹80,0<
m, n=-¥ m, n=-¥
8g2 , g3 < 8g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 L< :60 â , 140 â > ; Im

¥ 1 ¥ 1 Ω3
H2 m Ω1 + 2 n Ω3 L4 H2 m Ω1 + 2 n Ω3 L6
>0
Ω1
8m,n<¹80,0< 8m,n<¹80,0<
m, n=-¥ m, n=-¥
8e1 , e2 , e3 < 8e1 Hg2 , g3 L, e2 Hg2 , g3 L, e3 Hg2 , g3 L< 8ÃHΩ1 ; g2 , g3 L, ÃHΩ2 ; g2 , g3 L, ÃHΩ3 ; g2 , g3 L< ;
8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< ì Ω2 -Ω1 - Ω3
8Η1 , Η2 , Η3 < 8Η1 Hg2 , g3 L, Η2 Hg2 , g3 L, Η3 Hg2 , g3 L< 8ΖHΩ1 ; g2 , g3 L, ΖHΩ2 ; g2 , g3 L, ΖHΩ3 ; g2 , g3 L< ;
8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< ì Ω2 -Ω1 - Ω3 ,
where JHtL is the Klein invariant modular function, ÃHz; g2 , g3 L is the Weierstrass elliptic Ã function, and ΖHz; g2 , g3 L
denotes the Weierstrass zeta function.
A quick look at the Weierstrass functions and inverses

inverses. All of the following graphics use the half-periods 8Ω1 , Ω3 < = 91, H1 + äL 2 =.
Here is a quick look at the graphics for the Weierstrass functions and
The next pair of graphics shows the Weierstrass Ã function over the complex z-plane. The double periodicity of the
function and the poles of
order 2 are clearly visible.
ÃHz; g2 , g3 L
Re Im
5 5
0 0
1 1
-5 -5
0 0
Im@zD Im@zD
-2 -2
0 0
Re@zD -1 Re@zD -1
2 2
GraphicsArray
The next pair of graphics shows the derivative of the Weierstrass Ã function over the complex z-plane. The double
periodicity of the function and the poles of
order 3 are clearly visible.
Ã¢ Hz; g2 , g3 L
Re Im
10 10
0 0
1 1
-10 -10
0 0
Im@zD Im@zD
-2 -2
0 0
Re@zD -1 Re@zD -1
2 2
GraphicsArray
The next pair of graphics shows the Weierstrass zeta function over the
complex z-plane. The pseudo-double periodicity of the function and
the poles of order 1 are clearly visible.
ΖHz; g2 , g3 L
Re Im
10 10
0 0
1 1
-10 -10
0 0
Im@zD Im@zD
-2 -2
0 0
Re@zD -1 Re@zD -1
2 2
GraphicsArray
The next pair of graphics shows the Weierstrass sigma function over the
complex z-plane.
Show[GraphicsArray[
ParametricPlot3D[{Re[s Ω1 + t Ω3], Im[s Ω1 + t

Ω3], #[ WeierstrassSigma[s Ω1 + t Ω3, {g2, g3}] ],
{EdgeForm[]}}, {s, -3.5, 3.5}, {t, -3.5, 3.5},
PlotPoints -> 72, BoxRatios -> {1, 1, 0.6}, PlotLabel -> #,
DisplayFunction -> Identity,
PlotRange -> {All, All, {-16, 16}}, AxesLabel -> {Re[z],

Im[z], None}]& /@
{Re, Im}],
PlotLabel -> StyleForm[TraditionalForm @
WeierstrassSigma[z, {Subscript[g, 2],

Subscript[g, 3]}]]]
ΣHz; g2 , g3 L
Re Im
10 10
0 0
2 2
-10 -10
0 0
-5 Im@zD -5 Im@zD
0 0
Re@zD -2 Re@zD -2
5 5
GraphicsArray
The next three pairs of graphics show the associated Weierstrass sigma
functions over the complex z-plane.
Σ1 Hz; g2 , g3 L
Re Im
10 10
0 0
2 2
-10 -10
0 Im@zD 0 Im@zD
-5 -5
0 0
Re@zD -2 Re@zD -2
5 5
GraphicsArray
Σ2 Hz; g2 , g3 L
Re Im
10 10
0 0
2 2
-10 -10
0 Im@zD 0 Im@zD
-5 -5
0 0
Re@zD -2 Re@zD -2
5 5
GraphicsArray
Σ3 Hz; g2 , g3 L
Re Im
10 10
0 0
2 2
-10 -10
0 Im@zD 0 Im@zD
-5 -5
0 0
Re@zD -2 Re@zD -2
5 5
GraphicsArray
The last pair of graphics shows the inverse of the Weierstrass Ã function over the complex z-plane. Compared with
the direct function, it is relatively
structureless.
GraphicsArray
Connections within the group of Weierstrass functions and inverses and with
other function groups
Representations through more general functions
The Weierstrass elliptic Ã function ÃHz; g2 , g3 L and its inverse Ã-1 Hz; g2 , g3 L can be represented through the more
general hypergeometric Appell F1 function of two variables by the following formulas:
ÃHz; g2 , g3 L w ; z - í 4 w3 - g2 w - g3 4 Hw - e1 L Hw - e2 L Hw - e3 L
1 1 1 1 3 e2 - e1 e3 - e1
F1 ; , ; ; ,
w - e1 2 2 2 2 w - e1 w - e1
Ã-1 Hz; g2 , g3 L - ;
1 1 1 1 3 r2 - r1 r3 - r1
F1 ; , ; ; ,
z - r1 2 2 2 2 z - r1 z - r1
4 z - g2 z - g3 4 Hz - r1 L Hz - r2 L Hz - r3 L í ReI4 z3 - g2 z - g3 M > 0.
3
Representations through related equivalent functions
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, ΖHz; g2 , g3 L,
Ã-1 Hz; g2 , g3 L, and Ã-1 Hz1 , z2 ; g2 , g3 L can be represented through some related equivalent functions, for example,
through Jacobi functions:
ÃHz; g2 , g3 L He1 - e3 L ns
e2 - e3 2
e1 - e3 z + e3
e1 - e3
ÃHz; g2 , g3 L e3 + ; m Λ
e1 - e3 Ω3
e1 - e3 Ë mN
2 Ω1
snJz
e1 - e3 z Ë mN dnJ e1 - e3 z Ë mN
Ã¢ Hz; g2 , g3 L -2 He1 - e3 L32 ; m Λ
cnJ Ω3
e1 - e3 z Ë mN
,
3 Ω1
snJ
where ΛJ Ω N is modular lambda function, or through theta functions:

Ω3
1
J¢1 H0, qL Ji+1 J 2 Ω , qN

Πz 2
ÃHz; g2 , g3 L ei + ; i Î 81, 2, 3< í q exp

Π2 Π ä Ω3
4 Ω21 Ji+1 H0, qL J1 J Π z , qN
1
Ω1
2Ω 1
H0,2,0L
H1, 0, qL ¶2 logJJ1 J 2 Ω , qNN
Πz
ÃHz; g2 , g3 L ; q exp
Π2 J1 Π ä Ω3
12 Ω1 J¢1 H0,
1
-
qL ¶z2 Ω1
Π3 J2 J 2 Ω1 , qN J3 J 2 Ω1 , qN J4 J 2 Ω1 , qN J1 H0, qL
Πz Πz Πz
Ã Hz; g2 , g3 L - ; q exp
¢ 3
Π ä Ω3
¢
J2 H0, qL J3 H0, qL J4 H0, qL J1 J 2 Ω , qN

4 Ω31 Πz 3 Ω1
1
ΣHz; g2 , g3 L ä , q ; q exp
¥ 3
Ω1 1 1 Η1 z2 Πz Π ä Ω3
exp J1
Π 4
q n=1 1-q 2n 2 Ω1 2 Ω1 Ω1
Η1 z2 J1 J 2 Ω1 , qN
Πz
ΣHz; g2 , g3 L ; q exp
2 Ω1 Π ä Ω3
J¢1 H0, qL
exp
Π 2 Ω1 Ω1
Σ1 Hz; g2 , g3 L ä , q ; q exp
1 ¥ 1 Η1 z2 Πz Π ä Ω3
I1 - q4 n M I1 + q2 n M
exp J2
2
4
q n=1
2 Ω1 2 Ω1 Ω1
¥ 1 Η1 z2 Πz Π ä Ω3
I1 - q2 n M I1 + q2 n-1 M
exp J3
n=1
2 2 Ω1 2 Ω1 Ω1
¥ 1 Η1 z2 Πz Π ä Ω3
I1 - q2 n M I1 - q2 n-1 M
exp J4
n=1
2 2 Ω1 2 Ω1 Ω1
Η1 z2 Ji+1 J 2 Ω1 , qN
Πz
Σi Hu; g2 , g3 L exp ; i Î 81, 2, 3< í q exp

Π ä Ω3
2 Ω1 Ji+1 H0, qL Ω1
þ J¢1 J 2 Ω , qN
Πz
ΖHz; g2 , g3 L ; q exp
z Η1 Π ä Ω3
2 Ω1 J1 J 2 Ω , qN
1
+
Ω1 Πz Ω1
1
Π J¢i+1 J 2 Ω , qN
Πz
ΖHz + Ωi ; g2 , g3 L Ηi + ; i Î 81, 2, 3< í q exp

z Η1 Π ä Ω3
2 Ω1 Ji+1 J 2 Ω ,
1
+
Ω1 Πz
qN Ω1
1
1 H0, qL
JH3L
ΖHΩ1 ; g2 , g3 L - ; q exp
Π2 Π ä Ω3
12 Ω1 J¢1 H0, qL
,
Ω1
or through elliptic integrals and the inverse elliptic nome:
8ΖHΩ1 ; g2 , g3 L, ΖHΩ3 ; g2 , g3 L< : KH1 - mL > ;

e1 e3
e1 - e3 EHmL - KHmL , -ä e1 - e3 EH1 - mL +
e1 - e3 e1 - e3
í 8e1 , e3 < 8e1 Hg2 , g3 L, e3 Hg2 , g3 L<.

Π ä Ω3
m q-1 exp
Ω1
Relations to inverse functions
The Weierstrass function ÃHz; g2 , g3 L and its derivative Ã¢ Hz; g2 , g3 L are interconnected with the inverse functions
Ã-1 Hz; g2 , g3 L and Ã-1 Hz1 , z2 ; g2 , g3 L by the following formulas:
ÃIÃ-1 Hz; g2 , g3 L; g2 , g3 M z
ÃIÃ-1 Hz1 , z2 ; g2 , g3 L; g2 , g3 M z1 ; z2 4 z31 - g2 z1 - g3
Ã¢ IÃ-1 Hz1 , z2 ; g2 , g3 L; g2 , g3 M z2 ; z2 4 z31 - g2 z1 - g3 .
Representations through other Weierstrass functions
Each of the Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and
ΖHz; g2 , g3 L can be expressed through the other Weierstrass functions using numerous
formulas, for example:
¶ΖHz; g2 , g3 L
ÃHz; g2 , g3 L -
¶z
16 ΣH3 z; g2 , g3 L
48 ÃHz; g2 , g3 L4 - 24 g2 ÃHz; g2 , g3 L2 - 48 g3 ÃHz; g2 , g3 L g22 +
ΣHz; g2 , g3 L9
Σi Hz; g2 , g3 L2
ÃHz; g2 , g3 L ei + ; i Î 81, 2, 3<
ΣHz; g2 , g3 L2
ΣHz1 + z2 ; g2 , g3 L ΣHz1 - z2 ; g2 , g3 L
ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L -
ΣHz1 ; g2 , g3 L2 ΣHz2 ; g2 , g3 L2
ΣHz - z0 ; g2 , g3 L ΣHz + z0 ; g2 , g3 L
ÃHz; g2 , g3 L - ; z0 Ã-1 H0; g2 , g3 L
ΣHz; g2 , g3 L ΣHz0 ; g2 , g3 L
2 2
Ã¢ Hz1 ; g2 , g3 L - Ã¢ Hz2 ; g2 , g3 L
2 HΖHz1 + z2 ; g2 , g3 L - ΖHz1 ; g2 , g3 L - ΖHz2 ; g2 , g3 LL
ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L
¶ÃHz; g2 , g3 L
Ã¢ Hz; g2 , g3 L
¶z
ΣH2 z; g2 , g3 L
Ã¢ Hz; g2 , g3 L -
ΣHz; g2 , g3 L4
2 ΣHz - Ω1 ; g2 , g3 L ΣHz - Ω2 ; g2 , g3 L ΣHz - Ω3 ; g2 , g3 L

Ã¢ Hz; g2 , g3 L
ΣHz; g2 , g3 L3 ΣHΩ1 ; g2 , g3 L ΣHΩ2 ; g2 , g3 L ΣHΩ3 ; g2 , g3 L
2 Σ1 Hz; g2 , g3 L Σ2 Hz; g2 , g3 L Σ3 Hz; g2 , g3 L

Ã¢ Hz; g2 , g3 L -
ΣHz; g2 , g3 L3
ΣHz; g2 , g3 L z exp à ΖHt; g2 , g3 L -

z 1
ât
0 t
Σi Hz; g2 , g3 L ΣHz; g2 , g3 L ÃHz; g2 , g3 L - ei ; i Î 81, 2, 3<
ΖHz; g2 , g3 L -à ÃHt; g2 , g3 L -
1 z 1
ât
z 0 t2
¶logHΣHz; g2 , g3 LL
ΖHz; g2 , g3 L
¶z
Σ¢ Hz; g2 , g3 L
ΖHz; g2 , g3 L
ΣHz; g2 , g3 L
.
Note that the Weierstrass functions ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L, ΖHz; g2 , g3 L, ÃHz; g2 , g3 L, and Ã¢ Hz; g2 , g3 L form a
chain with respect to differentiation:
¶ΣHz; g2 , g3 L
ΣHz; g2 , g3 L ΖHz; g2 , g3 L
¶z
¶Σn Hz, g2 , g3 L
Σn Hz, g2 , g3 L HΖHz + Ωn ; g2 , g3 L - Ηn L
¶z
¶ΖHz; g2 , g3 L
-Ã Hz; g2 , g3 L
¶z
¶ÃHz; g2 , g3 L
Ã¢ Hz; g2 , g3 L.
¶z
The best-known properties and formulas for Weierstrass functions and

inverses
Simple values at zero
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L have the following simple values
at the origin point:
Ã¢ H0; 0, 0L ¥
ÃH0; 0, 0L ¥
.
ΣH0; 0, 0L 0 ΖH0; 0, 0L ¥
Specific values for specialized parameter
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and ΖHz; g2 , g3 L can
be represented through elementary functions, when 8g2 , g3 < 80, 0< or 8g2 , g3 < 83, 1<:
1 3 3
ÃHz; 0, 0L ÃHz; 3, 1L cot2 z +1
z2 2 2
Ã¢ Hz; 0, 0L - Ã¢ Hz; 3, 1L -3
2 3 3 3
cot z csc2 z
z3 2 2 2
z2
2 3
ΣHz; 0, 0L z ΣHz; 3, 1L 3
ã 4 sin 2
z
1 z 3 3
ΖHz; 0, 0L z
ΖHz; 3, 1L 2
+ 2
cot 2
z
Σn Hz; 0, 0L 1 ; n Î 81, 2, 3<.
At points z m Ω1 + n Ω3 ; 8m, n< Î Z, all Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L,

Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and ΖHz; g2 , g3 L can be equal to zero or can have poles and be equal to ¥:

ÃH2 m Ω1 + 2 n Ω3 ; g2 , g3 L ¥
; 8m, n< Î Z
Ã¢ H2 m Ω1 + 2 n Ω3 ; g2 , g3 L ¥
; 8m, n< Î Z
Ã¢ Hm Ω1 + n Ω3 ; g2 , g3 L 0 ; : , n> Î Z ë :m, >ÎZ

m-1 n-1
2 2
ΣH2 m Ω1 + 2 n Ω3 ; g2 , g3 L 0 ; 8m, n< Î Z
Σ j H2 m Ω1 + 2 n Ω3 ; g2 , g3 L ¥
; 8m, n< Î Z ì j Î 81, 2, 3<
Σi IH2 m + 1L Ωi + 2 n Ω j + 2 r Ωk ; g2 , g3 M 0 ; 8m, n, r< Î Z ì 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
ΖH2 m Ω1 + 2 n Ω3 ; g2 , g3 L ¥
; 8m, n< Î Z.
The values of Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and
ΖHz; g2 , g3 L at the points z = r Ω j ; r Î Q can sometimes be evaluated in closed form:
ÃHΩ1 ; g2 , g3 L ; Ω3 ¥
ÃHΩ ; g , g L - 3 g3 ; Ω ¥
ÃHΩ ; g , g L - 3 g3 ; Ω ¥

3 g3
g2 2 2 3 g 3 3 2 3 g 3
2 2
Σ Β HΩΑ ; g2 , g3 L
ei - ek ; 8i, j, k< Î 81, 2, 3< í i ¹ j ¹ k í ΕΑ,Β sgn
Ωi Π
ΣHΩΑ ; g2 , g3 L
Ã ; g2 , g3 ei + Εi, j Εi,k ei - e j - Arg
2 2
Ã¢ IΩ j ; g2 , g3 M 0 ; j Î 81, 2, 3<
2 Ηi Ωi
ΣH0; g2 , g3 L 0 ΣJ ; g2 , g3 N - ; i Î 81, 2, 3< ÃHΩ3 ; g2 , g3 L - ; Ω3 ¥

3 exp
2 Ωi 3 3 g3
3 2 Ωi g2
Ã¢ ;g2 ,g3
3
Σ j IΩ j ; g2 , g3 M 0 ; j Î 81, 2, 3<
ΣHΩk ; g2 , g3 L
Σi IΩ j ; g2 , g3 M ã-Ηi Ω j ; 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
ΣHΩi ; g2 , g3 L
Σ j H0; g2 , g3 L 1 ; j Î 81, 2, 3<
ΣHΩk ; g2 , g3 L2
ã2 Η j Ωi Iei - e j M ; 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
ΣHΩi ; g2 , g3 L ΣIΩ j ; g2 , g3 M
2 2
ΣHΩk ; g2 , g3 L
ãΗ j Ωi ; 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
ΣIΩ j ; g2 , g3 M Σ j HΩi ; g2 , g3 L
Σ j HΩi ; g2 , g3 L2
ei - e j ; 8i, j< Î 81, 2, 3< ì i ¹ j
ΣHΩi ; g2 , g3 L2
; g2 , g3 ; i Î 81, 2, 3<.
2 Ωi 2 Ηi 2
1 2 Ωi
Ζ ; g2 , g3 - Ã
3 3 3 3
The Weierstrass functions ÃHz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L have rather simple values, when
z Ω j Ω j Hg2 , g3 L ; j Î 81, 2, 3< and 8g2 , g3 < 80, 1< or 8g2 , g3 < 81, 0<:
1
ÃHΩ1 ; 0, 1L 3
ÃHΩ2 ; 0, 1L 4-13 ã4 Π ä3 ÃHΩ3 ; 0, 1L 4-13 ã2 Π ä3
4
Π Π Π
3 3 4Πä 3 2Πä
2 2 2
ΣHΩ1 ; 0, 1L ã 4 3 ΣHΩ2 ; 0, 1L ã 4 3 ã 3 ΣHΩ3 ; 0, 1L ã 4 3 ã 3
4 4 4
3 3 3
Π Π Π
ΖHΩ1 ; 0, 1L ΖHΩ2 ; 0, 1L ã2 Π ä3 ΖHΩ3 ; 0, 1L ã4 Π ä3
2 Ω1 3 2 Ω1 3 2 Ω1 3
1 1
ÃHΩ1 ; 1, 0L 2
ÃHΩ2 ; 1, 0L 0 ÃHΩ3 ; 1, 0L - 2
äΠ
4 4
ΣHΩ1 ; 1, 0L ãΠ8 2 ΣHΩ2 ; 1, 0L -ãΠ4 2 ã4 ΣHΩ3 ; 1, 0L ãΠ8 2 ä
H1 - äL
Π Π Πä
ΖHΩ1 ; 1, 0L 4 Ω1
ΖHΩ2 ; 1, 0L 4 Ω1
ΖHΩ3 ; 1, 0L - 4Ω .
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L can be represented through
1

elementary functions, when Ω3 ¥:
ÃHz; g2 HΩ1 , ¥
L, g HΩ , ¥
LL J Π N2 Ã¢ Hz; g2 HΩ1 , ¥
L, g HΩ , ¥
LL - cotJ 2 Ω N csc2 J 2 Ω N
1 1 Π3 Πz Πz
3 1 2Ω Πz
- 3 3 1 3
1 sin2 4 Ω1 1 1
2 Ω1
ΣHz; g2 HΩ1 , ¥
L, g HΩ , ¥
LL expK 6 J 2 Ω N O sinJ 2 Ω N ΖHz; g2 HΩ1 , ¥
L, g HΩ , ¥
LL J2Ω N z + cotJ 2 Ω N
2 Ω1 1 Πz 2 Πz 1 Π 2 Π Πz
3 1 Π 3 1 3 2 Ω1
1 1 1 1
ÃHz; g2 H¥,¥ L, g H¥ ,¥ LL 1 Ã¢ Hz; g H¥ ,¥ L, g H¥ ,¥ LL - 2 ΣHz; g H¥ ,¥ L, g H¥ ,¥ LL z ΖHz; g2 H¥,¥ L, g H¥ ,¥ LL
; g H¥ L, g H¥ LL 0 Ã¢ H¥
; g H¥ L, g H¥ LL 0 ΣH¥ ; g H¥ L, g H¥ LL ¥ ; g H¥ L, g H¥ LL
3 2 3 2 3 3
z2 z3
ÃH¥ ,¥ ,¥ ,¥ ,¥ ,¥ ,¥ ΖH¥ ,¥ ,¥
2 3 2 3 2 3 2 3
Analyticity
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, ΖHz; g2 , g3 L, and
Ã-1 Hz; g2 , g3 L are analytical functions of z, g2 , and g3 , which are defined in C3 . The inverse Weierstrass function
Ã-1 Hz1 , z2 ; g2 , g3 L is an analytical function of z1 , z2 , g2 , g3 , which is also defined in C3 , because z2 is not an indepen-
dent variable.
Poles and essential singularities
For fixed g2 , g3 , the Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, and ΖHz; g2 , g3 L have an infinite set of singular
points:
(a) z 2 m Ω1 Hg2 , g3 L + 2 n Ω3 Hg2 , g3 L, 8m, n< Î Z are the poles of order 2 with residues 0 (for ÃHz; g2 , g3 L), of
order 3 with residues 0 (for Ã¢ Hz; g2 , g3 L) and simple poles with residues 1 (for ΖHz; g2 , g3 L).

(b) z ¥ is an essential singular point.
For fixed g2 , g3 , the Weierstrass functions ΣHz; g2 , g3 L and Σ j Hz; g2 , g3 L, j Î 81, 2, 3< have only one singular point

at z = ¥. It is an essential singular point.
The Weierstrass functions Ã-1 Hz; g2 , g3 L and Ã-1 Hz1 , z2 ; g2 , g3 L do not have poles and essential singularities with
respect to their
variables.
Branch points and branch cuts
For fixed g2 , g3 , the Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σ j Hz; g2 , g3 L, j Î 81, 2, 3<, and
ΖHz; g2 , g3 L do not have branch points and branch cuts.
For fixed z, g2 , the inverse Weierstrass function Ã-1 Hz; g2 , g3 L has two branch points: g3 4 z3 - g2 z, g3 = ¥.

For fixed z, g3 , the inverse Weierstrass function Ã-1 Hz; g2 , g3 L has two branch points: g2 4 z2 -
g3
z
, g2 = ¥.
For fixed g2 , g3 , the inverse Weierstrass function Ã-1 Hz; g2 , g3 L has four branch points:
z = Iz; 4 z3 - g2 z - g3 Mk ; k Î 81, 2, 3<, z = ¥.
-1
Periodicity
The Weierstrass functions ÃHz; g2 , g3 L and Ã¢ Hz; g2 , g3 L are doubly periodic functions with respect to z with periods
2 Ω1 and 2 Ω3 :
ÃHz + 2 m Ω1 + 2 n Ω3 ; g2 , g3 L ÃHz; g2 , g3 L ; 8m, n< Î Z
Ã¢ Hz + 2 m Ω1 + 2 n Ω3 ; g2 , g3 L Ã¢ Hz; g2 , g3 L ; 8m, n< Î Z.

The Weierstrass functions ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L, n Î 81, 2, 3<, and ΖHz; g2 , g3 L are quasi-periodic functions with
respect to z:
ΣHz + 2 Ωn ; g2 , g3 L -ã2 Ηn Iz+Ωn M ΣHz; g2 , g3 L ; n Î 81, 2, 3<
ΣHz + 2 m Ω1 + 2 n Ω2 + 2 r Ω3 ; g2 , g3 L H-1Ln r+r m+m n +m+n+r ã2 Im Η1 +n Η2 +r Η3 M Iz+m Ω1 +n Ω2 +r Ω3 M ΣHz; g2 , g3 L ; 8m, n, r< Î Z
Σn Hz + 2 Ωn ; g2 , g3 L -ã2 Ηn Iz+Ωn M Σn Hz; g2 , g3 L ; n Î 81, 2, 3<
Σn Iz + 2 Ω j ; g2 , g3 M ã2 Η j Iz+Ω j M Σn Hz; g2 , g3 L ; 8n, j< Î 81, 2, 3< ì n ¹ j
Σi Iz + 2 m Ωi + 2 n Ω j + 2 r Ωk ; g2 , g3 M H-1Ln r+r m+m n +m ã2 Im Ηi +n Η j +r Ηk M Iz+m Ωi +n Ω j +r Ωk M Σi Hz; g2 , g3 L ;

8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k ì 8m, n, r< Î Z
ΖHz + 2 m Ω1 + 2 n Ω2 + 2 r Ω3 ; g2 , g3 L ΖHz; g2 , g3 L + 2 m Η1 + 2 n Η2 + 2 r Η3 ; 8m, n, r< Î Z.
The inverse Weierstrass functions Ã-1 Hz; g2 , g3 L and Ã-1 Hz1 , z2 ; g2 , g3 L do not have periodicity and symmetry.
Transformation of half-periods
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σ j Hz; g2 , g3 L, j Î 81, 2, 3<, and ΖHz; g2 , g3 L are the
invariant functions under the linear transformation of the half
-periods Ω1 ® a Ω1 + b Ω3 , Ω3 ® c Ω1 + d Ω3 with integer coefficients a, b, c, and d, satisfying restrictions
a d - b c ±1 (modular transformations):
ÃHz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL ÃHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

8a, b, c, d< Î Z ì a d - b c ±1
Ã¢ Hz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL Ã¢ Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

8a, b, c, d< Î Z ì a d - b c ±1
ΣHz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL ΣHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

8a, b, c, d< Î Z ì a d - b c ±1
Σ1 Hz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL
Σ2 Hz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL
Σ3 Hz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL Σ1 Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL
Σ2 Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL Σ3 Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ; 8a, b, c, d< Î Z ì a d - b c ±1
ΖHz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL ΖHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

8a, b, c, d< Î Z ì a d - b c ±1.
Homogeneity
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σ j Hz; g2 , g3 L, j Î 81, 2, 3<, and ΖHz; g2 , g3 L satisfy
the following homogeneity type relations:
ÃHz t; g2 , g3 L ÃIz; g2 t4 , g3 t6 M ; t Î R
1
2
t
g2 HΩ1 , Ω3 L g3 HΩ1 , Ω3 L
ÃHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Ã Λ z; ,
Λ4 Λ6
ÃHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL ÃHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL

1
Λ2
Ã¢ Hz t; g2 , g3 L Ã¢ Iz; g2 t4 , g3 t6 M ; t Î R
1
t3
g2 HΩ1 , Ω3 L g3 HΩ1 , Ω3 L
Ã¢ HΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Ã¢ Λ z; ,
Λ4 Λ6
Ã¢ HΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Ã¢ Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL

1
Λ3
ΣHz t; g2 , g3 L t ΣIz; g2 t4 , g3 t6 M ; t Î R
ΣHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Λ ΣHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL
g2 HΩ1 , Ω3 L g3 HΩ1 , Ω3 L
ΣHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Σ Λ z; ,
Λ4 Λ6
Σn HΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Σn Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ; n Î 81, 2, 3<
g2 HΩ1 , Ω3 L g3 HΩ1 , Ω3 L
Σn HΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Σn Λ z; , ; n Î 81, 2, 3<
Λ4 Λ6
ΖHz t; g2 , g3 L ΖIz; g2 t4 , g3 t6 M ; t Î R
1
t
g2 HΩ1 , Ω3 L g3 HΩ1 , Ω3 L
ΖHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Ζ Λ z; ,
Λ4 Λ6
ΖHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL ΖHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL.

1
Λ
Parity and symmetry
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σ j Hz; g2 , g3 L, j Î 81, 2, 3<, ΖHz; g2 , g3 L, and
Ã-1 Hz; g2 , g3 L have mirror symmetry:
ÃHz ; g2 , g3 L ÃHz; g2 , g3 L Ã¢ Hz ; g2 , g3 L Ã¢ Hz; g2 , g3 L
ΣHz ; g2 , g3 L ΣHz; g2 , g3 L Σn Hz ; g2 , g3 L Σn Hz; g2 , g3 L ; n Î 81, 2, 3<
ΖHz ; g2 , g3 L ΖHz; g2 , g3 L Ã-1 Hz ; g2 , g3 L Ã-1 Hz; g2 , g3 L .
The Weierstrass functions ÃHz; g2 , g3 L and Σn Hz, g2 , g3 L, n Î 81, 2, 3< are even functions with respect to z:
ÃH-z; g2 , g3 L ÃHz; g2 , g3 L
Σn H-z; g2 , g3 L Σn Hz; g2 , g3 L ; n Î 81, 2, 3<.
The Weierstrass functions Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L are odd functions with respect to z:
Ã¢ H-z; g2 , g3 L -Ã¢ Hz; g2 , g3 L
ΣH-z; g2 , g3 L -ΣHz; g2 , g3 L
ΖH-z; g2 , g3 L -ΖHz; g2 , g3 L.
Series representations
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L have the following series expan-
sions at the point z 0:
ÃHz; g2 , g3 L µ z4 + ¼ ; Hz ® 0L
1 g2 g3
+ z2 +
z2 20 28
ÃHz; g2 , g3 L + â ak z2 k-2 ; a2 í a3 í ak â al ak-l

1 ¥ g2 g3 3 k-2
z2 k=2
20 28 H2 k + 1L Hk - 3L l=2
Ã¢ Hz; g2 , g3 L µ - z3 + ¼ ; Hz ® 0L
2 g2 g3
+ z+
z3 10 7
Ã¢ Hz; g2 , g3 L - + â H2 k - 2L ak z2 k-3 ; a2 í a3 í ak â al ak-l

2 ¥ g2 g3 3 k-2
z3 k=2
20 28 H2 k + 1L Hk - 3L l=2
Ã¢ Hz; g2 , g3 L - + 2 â k H2 k + 1L â
2 ¥ ¥ 1
H2 m Ω1 + 2 n Ω3 L
z2 k-1
3 2 k+2
z
8m,n<¹80,0<
k=1 m, n=-¥
ΣHz; g2 , g3 L µ z - z9 + ¼ ; Hz ® 0L
g2 g3 g22
z5 - z7 -
240 840 161 280
ΣHz; g2 , g3 L â dk z2 k+1 ;
¥
k=0
d0 1 í d1 0 í d2 - í d3 - í d4 - í dn â â ¼ â ∆n-Ún ä í
k
g2 g3 g22 n n n n cjj
j=1 j k j ,0
240 840 161 280 k1 =0 k2 =0 kn =0 j=1 kj !
í a1 0 í a2 í a3 í ak â al ak-l
aj g2 g3 3 k-2
2 j H2 j - 1L H2 k + 1L Hk - 3L
cj -
20 28 l=2
am,n I 22 M H2 g3 Ln
ΣHz; g2 , g3 L â â z4 m+6 n+1 ; a0,0 1 ì am,n 0 ;
g m
¥ ¥
m=0 n=0 H4 m + 6 n + 1L!
m < 0 ë n < 0 í am,n Hn + 1L am-2,n+1 - H2 m + 3 n - 1L H4 m + 6 n - 1L am-1,n + 3 Hm + 1L am+1,n-1

16 1
3 3
ΖHz; g2 , g3 L µ z5 - ¼ ; Hz ® 0L
1 g2 g3
- z3 -
z 60 140
ΖHz; g2 , g3 L -â ; a2 í a3 í ak â al ak-l
1 ¥ ak z2 k-1 g2 g3 3 k-2
z k=2 2k-1 20 28 H2 k + 1L Hk - 3L l=2

ΖHz; g2 , g3 L -â â
1 ¥ ¥ 1
m, n=-¥ H2 m Ω1 + 2 n Ω3 L
z2 k+1 .
z 2 k+2
8m,n<¹80,0<
k=1
The inverse Weierstrass function Ã-1 Hz; g2 , g3 L has the following series expansion at the point z ¥:

Ã Hz; g2 , g3 L µ
1 1 1 52
1 1 72
1 1 92
3 1 112 5 g32 + 24 g23 1 132
-1
+ g2 + g3 + g22 + g2 g3 + +
z 40 z 56 z 384 z 704 z 13 312 z
g22 g3 1 152 5 I7 g42 + 96 g23 g2 M 1 172 5 I7 g3 g32 + 8 g33 M 1 192 3 g52 + 80 g23 g22 1 212
1 232
+ + + +O .
1024 z 557 056 z 155 648 z 262 144 z z
q-series representations
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, logHΣHz; g2 , g3 LL, logIΣ j Hz; g2 , g3 LM, j Î 81, 2, 3<, and
ΖHz; g2 , g3 L have the following so-called q-series representations:
ÃHz; g2 , g3 L - â ; q exp
Η1 Π 2 Πz 2 Π2 ¥ k q2 k kΠz Π ä Ω3
+ csc2 - cos
Ω1 2 Ω1 2 Ω1 Ω21 k=1 1 - q2 k Ω1 Ω1
ÃHz + Ω1 ; g2 , g3 L - â H-1Lk ; q exp

Η1 Π 2 Πz 2 Π2 ¥ k q2k kΠz Π ä Ω3
+ sec2 - cos
Ω1 2 Ω1 2 Ω1 Ω21 k=1 1-q 2k Ω1 Ω1
ÃHz + Ω2 ; g2 , g3 L - â H-1Lk ; q exp

Η1 2 Π2 ¥ k qk kΠz Π ä Ω3
- cos
Ω1 Ω21 k=1 1 - q2 k Ω1 Ω1
ÃHz + Ω3 ; g2 , g3 L - â ; q exp
Η1 2 Π2 ¥ k qk kΠz Π ä Ω3
- cos
Ω1 Ω21 k=1 1 - q2 k Ω1 Ω1
Ã¢ Hz; g2 , g3 L - â ; q exp
Π3 Πz Πz 2 Π3 ¥ k2 q2 k kΠz Π ä Ω3
cot csc2 + sin
4 Ω31 2 Ω1 2 Ω1 Ω31 k=1 1-q 2k Ω1 Ω1
Ã¢ Hz + Ω1 ; g2 , g3 L â H-1Lk ; q exp
Π3 Πz Πz 2 Π3 ¥ k2 q2 k kΠz Π ä Ω3
tan sec2 + sin
4 Ω31 2 Ω1 2 Ω1 Ω31 k=1 1 - q2 k Ω1 Ω1
Ã¢ Hz + Ω2 ; g2 , g3 L â H-1Lk ; q exp
2 Π3 ¥ k2 qk kΠz Π ä Ω3
sin
Ω31 k=1 1-q 2k Ω1 Ω1
Ã¢ Hz + Ω3 ; g2 , g3 L â ; q exp
2 Π3 ¥ k2 qk kΠz Π ä Ω3
sin
Ω31 k=1 1 - q2 k Ω1 Ω1
logHΣHz; g2 , g3 LL log +4â ; q exp

2 Ω1 Η1 z2 Πz ¥ q2 k kΠz Π ä Ω3
k I1 - q2 k M
2
+ + log sin sin
Π 2 Ω1 2 Ω1 k=1
2 Ω1 Ω1
logHΣ1 Hz; g2 , g3 LL + 4 â H-1Lk ; q exp

Η1 z2 Πz ¥ q2 k kΠz Π ä Ω3
k I1 - q M
2
+ log cos sin
2 Ω1 2 Ω1 k=1
2k 2 Ω1 Ω1
logHΣ2 Hz; g2 , g3 LL + 4 â H-1Lk ; q exp

Η1 z2 ¥ qk kΠz Π ä Ω3
k I1 - q2 k M
2
sin
2 Ω1 k=1
2 Ω1 Ω1
logHΣ3 Hz; g2 , g3 LL +4â ; q exp

Η1 z2 ¥ qk kΠz Π ä Ω3
k I1 - q M
2
sin
2 Ω1 k=1
2k 2 Ω1 Ω1
ΖHz; g2 , g3 L â ; q exp
Η1 z Π Πz 2Π ¥ q2 k kΠz Π ä Ω3
+ cot + sin
Ω1 2 Ω1 2 Ω1 Ω1 k=1 1 - q2 k Ω1 Ω1
q2 k sinJ Ω N
Πz
ΖHz; g2 , g3 L â ; q exp
Η1 z Π Πz 2Π ¥ Π ä Ω3
Ω1 k=1 1 - 2 cosJ Π z N q2 k
1
+ cot +
Ω1 2 Ω1 2 Ω1 + q4 k Ω1
Ω1
ΖHΩ1 ; g2 , g3 L â ; q exp
Π2 2 Π2 ¥ k q2 k Π ä Ω3
- .
12 Ω1 Ω1 k=1 1 - q2 k Ω1
Other series representations
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σ j Hz; g2 , g3 L, j Î 81, 2, 3<, and ΖHz; g2 , g3 L with
8g2 , g3 < 9g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 L= can be represented through series of different forms, for example:
ÃHz; g2 , g3 L â â â â
¥ ¥ 1 1 ¥ ¥ 1 Π2
Hz + 2 m Ω1 + 2 n Ω3 L2 Hm Ω1 + n Ω3 L2
- -
m=-¥ n=-¥ 2 m=-¥ n=1 12 Ω21
Π Iz - 2 n Ω j M
ÃHz; g2 , g3 L - â csc2 ; 8i, j< Î 81, 2, 3< ì i ¹ j
Ηi Π2 ¥
+
Ωi 4 Ω2i n=-¥ 2 Ωi
Ã¢ Hz; g2 , g3 L -2 â â
¥ ¥ 1
m=-¥ n=-¥ Hz - 2 m Ω1 - 2 n Ω3 L3
Π Iz - 2 n Ω j M Π Iz - 2 n Ω j M
Ã¢ Hz; g2 , g3 L - â csc2 ; 8i, j< Î 81, 2, 3< ì i ¹ j
Π3 ¥
cot
4 Ω3i n=-¥ 2 Ωi 2 Ωi
Π Hz - 2 n Ω3 L Π Hz - 2 n Ω3 L
Ã¢ Hz; g2 , g3 L - â csc2
Π3 ¥
cot
4 Ω31 n=-¥ 2 Ω1 2 Ω1
ΣHz; g2 , g3 L z exp -â â
¥ z2 j ¥ 1
2j H2 m Ω1 + 2 n Ω3 L2 j
8m,n<¹80,0<
j=2 m, n=-¥
12
Σi Hz; g2 , g3 L z exp -â â + â H2 j + 1L z2 j â ;
¥ z2 j ¥ 1 1 ¥ ¥ 1
m, n=-¥ H2 m Ω1 + 2 n Ω3 L H2 m Ω1 + 2 n Ω3 L2 j+2
-ei +
2j 2j
z2
8m,n<¹80,0< 8m,n<¹80,0<
j=2 j=1 m, n=-¥
i Î 81, 2, 3<
ΖHz; g2 , g3 L + â
1 ¥ z 1 1
H2 m Ω1 + 2 n Ω3 L2
+ +
z 2 m Ω1 + 2 n Ω3 z - 2 m Ω1 - 2 n Ω3
8m,n<¹80,0<
m, n=-¥
Hz - 2 n Ω3 L Π
ΖHz; g2 , g3 L â cot
z Η1 Π ¥
+
Ω1 2 Ω1 n=-¥ 2 Ω1
ΖHz; g2 , g3 L â cot ; 8i, j< Î 81, 2, 3< ì i ¹ j.

Ηi z Π Πz Π ¥ Π k Ωj z - 2 k Ωj
+ cot + + cot Π
Ωi 2 Ωi 2 Ωi 2 Ωi k=-¥
Ωi 2 Ωi
Integral representations
The Weierstrass functions and their inverses ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, ΖHz; g2 , g3 L, Ã-1 Hz; g2 , g3 L, and
Ã-1 Hz1 , z2 ; g2 , g3 L can be represented through the following integrals from elementary or
Weierstrass functions:
KcoshHt Ω3 L + ã NO IcoshI 2 M - 1M I1 - cosI 2 MM cosJ N

t t Ω3 ät
- Ω3 tz Ω3 t Ω3
ÃHz; g2 , g3 L
tz
à
1 1 ¥
2 sinhJ 2 ã2 2
sinhJ 2 t HΩ1 - Ω3 LN sinhJ 2 t HΩ1 + Ω3 LN sinJ 2 t HΩ1 - Ω3 LN sinJ 2 t HΩ1 + Ω3 LN

+ t + ât
z2 4 0 1 1 1 1
ÃHz; g2 , g3 L w ; z à ât í w Î R
w 1
¥
4 t3 - g2 t - g3
à
ât
z
ÃIz;g2 ,g3 M 4 t3 - g2 t - g3
M sinI 2 M sinhI 2 M KcoshHt Ω2 L + ã MO

t
ät tz - Ω2 t Ω2
Ã Hz; g2 , g3 L -
Ω2 t Ω2
à
tz sinhI
2 1 ¥ ã2 cosI 2
2
sinJ 2 t HΩ1 - Ω2 LN sinJ 2 t HΩ1 + Ω2 LN sinhJ 2 t HΩ1 - Ω2 LN sinhJ 2 t HΩ1 + Ω2 LN

¢ 2
+ t 2
+ ât
z3 8 0 1 1 1 1
Ã¢ Hz; g2 , g3 L 4 w3 - g2 w - g3 ; z à ât í w Î R
w 1
¥
4 t3 - g2 t - g3
ΣHz; g2 , g3 L z exp à ΖHt; g2 , g3 L -

z 1
ât
0 t
It z - 2 sinI 2 MM ã 2 M It z - 2 sinhI 2 MM KcoshHt Ω2 L + ã MO

t
ät tz - Ω2 t Ω2
ΖHz; g2 , g3 L
Ω2 t Ω2
à
tz 2 sinhI
1 1 ¥ cosI 2
sinJ 2 t HΩ1 - Ω2 LN sinJ 2 t HΩ1 + Ω2 LN sinhJ 2 t HΩ1 - Ω2 LN sinhJ 2 t HΩ1 + Ω2 LN

2
- - ât
z 4 0 1 1 1 1
ΖHz; g2 , g3 L -à ÃHt; g2 , g3 L -
1 z 1
ât
z 0 t2
Ã-1 Hz; g2 , g3 L à â t ; z Î R í ReI4 z3 - g2 z - g3 M > 0

z 1
¥
4 t - g2 t - g3
3
Ã-1 Hz1 , z2 ; g2 , g3 L à â t ; z2
z1 1
4 z31 - g2 z1 - g3
¥
4 t - g2 t - g3
3
Product representations
The Weierstrass functions ÃHz; g2 , g3 L, ΣHz; g2 , g3 L, and Σ j Hz; g2 , g3 L, j Î 81, 2, 3< have the following product
representations:
cos2 J N - sin J 2 Ω N
k Π Ωj 2
2 Πz
ÃHz; g2 , g3 L ei + ä tan4 ; 8i, j< Î 81, 2, 3< ì i ¹ j

Π2
Πz ¥ k Π Ωj Ωi i
sin J Ω N - sin J 2 Ω N
cot2
4 Ω2i 2 Ωi k=1
Ωi 2 k Π Ωj 2 Πz
i i
sin J 2 Ω N
2 Πz
ΣHz; g2 , g3 L ä 1- ; 8i, j< Î 81, 2, 3< ì i ¹ j

2 Ωi Ηi z2 Πz ¥
sin J Ω N
i
exp sin
Π 2 Ωi 2 Ωi 2 n Π Ωj
n=1
i
G2 k+2 HΩ1 , Ω3 L z2 k+2

ΣHz; g2 , g3 L z ä exp - ; G p HΩ1 , Ω3 L â
¥ ¥ 1
2k+2 H2 m Ω1 + 2 n Ω3 L p
8m,n<¹80,0<
k=1 m, n=-¥
sin J 2 Ω N
2 Πz
Σi Hz; g2 , g3 L exp ä 1- ; 8i, j< Î 81, 2, 3< ì i ¹ j

Ηi z2 Πz ¥
cos2 J N
i
cos n Π Ωj
2 Ωi 2 Ωi n=1
Ωi
Σi Hz; g2 , g3 L exp - ä ;
ei z2 ¥ z z z2
2 H2 m Ω1 + 2 n Ω2 - Ωi L2
1- exp +
2 2 m Ω1 + 2 n Ω2 - Ωi 2 m Ω1 + 2 n Ω2 - Ωi
8m,n<¹80,0<
m, n=-¥
i Î 81, 2, 3<.
q-product representations
The Weierstrass functions ÃHz; g2 , g3 L, ΣHz; g2 , g3 L, and Σ j Hz; g2 , g3 L, j Î 81, 2, 3< can be represented as so-called q-
products by the following formulas:
1 + 2 q2 n cosJ Ω N + q4 n
Πz 2
ÃHz; g2 , g3 L e1 + ä ; q exp
¥ 4
Π2 Πz 1 - q2 n Π ä Ω3
1 - 2 q2 n cosJ Ω N + q4 n
1
cot2 .
4 Ω21 2 Ω1 n=1 1 + q2 n Πz Ω1
1
1 + 2 q2 n-1 cosJ Ω N + q4 n-2

Πz 2
¥ 4
Π2 Πz 1 - q2 n Π ä Ω3
1 - 2 q2 n cosJ Ω N + q4 n
1
csc2 .
4 Ω21 2 Ω1 n=1 1+q 2 n-1 Πz Ω1
1
1 - 2 q2 n-1 cosJ Ω N + q4 n-2

Πz 2
¥ 4
Π2 Πz 1 - q2 n Π ä Ω3
1 - 2 q2 n cosJ Ω N + q4 n
1
csc2 .
4 Ω21 2 Ω1 n=1 1 - q2 n-1 Πz Ω1
1
1 - 2 q2 n cosJ Ω N + q4 n
Πz
ΣHz; g2 , g3 L ä ; q exp
2 Ω1 Πz Η1 z2 ¥ Π ä Ω3
I1 - q M
1
sin exp .
Π 2 Ω1 2 Ω1 n=1 2n 2 Ω1
N N
äΠz äΠz
ΣHz; g2 , g3 L ä ä ; q exp
2 Ω1 Πz Η1 z2 ¥ 1 - q2 n expJ- Ω1
¥ 1 - q2 n expJ Ω1 Π ä Ω3
sin exp .
Π 2 Ω1 2 Ω1 n=1 1-q 2n
n=1 1-q 2n Ω1
ΣHΩ1 ; g2 , g3 L ä ; q exp
¥ 2
2 Ω1 Η1 Ω1 1 + q2 n Π ä Ω3
exp .
Π 2 n=1 1-q 2n Ω1
ΣHΩ2 ; g2 , g3 L - ä ä ; q exp
¥ 2
Ω1 Η2 Ω2 1 1 + q2 n-1 Π ä Ω3
exp .
Π 2 4
q n=1 1-q 2n Ω1
ΣHΩ3 ; g2 , g3 L ä ä ; q exp
¥ 2
Ω1 Η3 Ω3 1 1 - q2 n-1 Π ä Ω3
exp .
Π 2 4
q n=1 1 - q2 n Ω1
1 + 2 q2 n cosJ Ω N + q4 n
Πz
Σ1 Hz; g2 , g3 L cos ä ; q exp

Πz Η1 z2 ¥ Π ä Ω3
I1 + q M
1
exp .
2 Ω1 2 Ω1 n=1 2n 2 Ω1
1 + 2 q2 n-1 cosJ Ω N + q4 n-2

Πz
Σ2 Hz; g2 , g3 L exp ä ; q exp

Η1 z2 ¥ Π ä Ω3
I1 + q2 n-1 M
1
.
2 Ω1 n=1
2 Ω1
1 - 2 q2 n-1 cosJ Ω N + q4 n-2

Πz
Σ3 Hz; g2 , g3 L exp ä ; q exp

Η1 z2 ¥ Π ä Ω3
I1 - q2 n-1 M
1
.
2 Ω1 n=1
2 Ω1
Σ1 HΩ2 ; g2 , g3 L - ä ; q exp
¥ 2
ä ä Η2 Ω2 1 - q2 n-1 Π ä Ω3
exp .
2
4
q 2 n=1 1 + q2 n Ω1
Σ1 HΩ3 ; g2 , g3 L ä ; q exp
¥ 2
1 Η3 Ω3 1 + q2 n-1 Π ä Ω3
exp .
2
4
q 2 n=1 1 + q2 n Ω1
Σ2 HΩ1 ; g2 , g3 L exp ä ; q exp

¥ 2
Η1 Ω1 1 - q2 n-1 Π ä Ω3
.
2 n=1 1 + q2 n-1 Ω1
Σ2 HΩ3 ; g2 , g3 L 2 ä ; q exp
¥ 2
4
Η3 Ω3 1 + q2 n Π ä Ω3
q exp .
2 n=1 1 + q2 n-1 Ω1
Σ3 HΩ1 ; g2 , g3 L exp ä ; q exp

¥ 2
Η1 Ω1 1 + q2 n-1 Π ä Ω3
.
2 n=1 1 - q2 n-1 Ω1
Σ3 HΩ2 ; g2 , g3 L 2 ä ; q exp
¥ 2
Η2 Ω2 1 + q2 n Π ä Ω3
ä 4
q exp .
2 n=1 1-q 2 n-1 Ω1
Transformations
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and ΖHz; g2 , g3 L
satisfy numerous relations that can provide transformations of its
arguments. One of these transformations simplifies argument ä z to z, for example:
ÃHä z; g2 , g3 L -ÃHz; g2 , -g3 L
Ã¢ Hä z; g2 , g3 L ä Ã¢ Hz; g2 , -g3 L
ΖHä z; g2 , g3 L -ä ΖHz; g2 , -g3 L.
Other transformations are described by so-called addition formulas:
1 Ã¢ Hz1 ; g2 , g3 L - Ã¢ Hz2 ; g2 , g3 L
ÃHz1 + z2 ; g2 , g3 L - ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L
2
4 ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L
Ã¢ Hz1 ; g2 , g3 L Ã¢ Hz2 ; g2 , g3 L
ÃHz1 + z2 ; g2 , g3 L - ÃHz1 - z2 ; g2 , g3 L -
HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL2
Ie j - ek M Ie j - el M
ÃIz ± Ω j ; g2 , g3 M e j + ; 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
ÃHz; g2 , g3 L - e j
Ã¢ Hz1 + z2 ; g2 , g3 L HÃHz1 + z2 ; g2 , g3 L HÃ¢ Hz1 ; g2 , g3 L - Ã¢ Hz2 ; g2 , g3 LL + ÃHz1 ; g2 , g3 L Ã¢ Hz2 ; g2 , g3 L - Ã¢ Hz1 ; g2 , g3 L ÃHz2 ; g2 , g3 LL

HÃHz2 ; g2 , g3 L - ÃHz1 ; g2 , g3 LL
ΣHz2 + z1 ; g2 , g3 L exp z1 ΖHz2 ; g2 , g3 L - ÃHz2 ; g2 , g3 L ΣHz2 ; g2 , g3 L

z21
2
ä
¥ z1 z1 z21
2 H2 m Ω1 + 2 n Ω3 - z2 L2
1- exp +
m,n=-¥ 2 m Ω1 + 2 n Ω3 - z2 2 m Ω1 + 2 n Ω3 - z2
ΣHz1 + z2 ; g2 , g3 L ΣHz1 - z2 ; g2 , g3 L -ΣHz1 ; g2 , g3 L2 ΣHz2 ; g2 , g3 L2 HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL
ΣHz1 + z2 ; g2 , g3 L ΣHz1 - z2 ; g2 , g3 L ΣHz1 ; g2 , g3 L2 Σi Hz2 ; g2 , g3 L2 - ΣHz2 ; g2 , g3 L2 Σi Hz1 ; g2 , g3 L2 ; i Î 81, 2, 3<
ΣHz ± Ωi ; g2 , g3 L ±ã±Ηi z ΣHΩi ; g2 , g3 L Σi HΩi ; g2 , g3 L ; i Î 81, 2, 3<
Σi Hz1 + z2 ; g2 , g3 L Σi Hz1 - z2 ; g2 , g3 L Σi Hz1 ; g2 , g3 L2 Σi Hz2 ; g2 , g3 L2 - Iei - e j M Hei - ek L ΣHz1 ; g2 , g3 L2 ΣHz2 ; g2 , g3 L2 ;

8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
Σi Hz1 + z2 ; g2 , g3 L Σi Hz1 - z2 ; g2 , g3 L Σi Hz1 ; g2 , g3 L2 Σ j Hz2 ; g2 , g3 L2 - Iei - e j M ΣHz2 ; g2 , g3 L2 Σk Hz1 ; g2 , g3 L2 ;

8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
Σ j Hz ± Ωi ; g2 , g3 L ã±Ηi z Σ j HΩi ; g2 , g3 L Σk Hz; g2 , g3 L ; 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k
1 Ã¢ Hz1 ; g2 , g3 L ¡ Ã¢ Hz2 ; g2 , g3 L
ΖHz1 ± z2 ; g2 , g3 L ΖHz1 ; g2 , g3 L ± ΖHz2 ; g2 , g3 L +
2 ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L
Ã¢ Hz1 ; g2 , g3 L
ΖHz1 + z2 ; g2 , g3 L + ΖHz1 - z2 ; g2 , g3 L 2 ΖHz1 ; g2 , g3 L +
ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L
Ã¢ Hz; g2 , g3 L
ΖHz ± Ωi ; g2 , g3 L ΖHz; g2 , g3 L ± Ηi + ; i Î 81, 2, 3<.
1
2 ÃHz; g2 , g3 L - Ηi
Half-angle formulas provide one more type of transformation, for

example:
ÃK ; g2 , g3 O ÃHz; g2 , g3 L + Ε2 Ε3 ÃHz; g2 , g3 L - e2 ÃHz; g2 , g3 L - e3 + Ε3 Ε1 ÃHz; g2 , g3 L - e3 ÃHz; g2 , g3 L - e1 +

z
Σn Hz; g2 , g3 L
2
ÃHz; g2 , g3 L - e1 ÃHz; g2 , g3 L - e2 ; Εn sgn í n Î 81, 2, 3<.

Π
ΣHz; g2 , g3 L
Ε1 Ε2 - Arg
2
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L satisfy the following double-angle
formulas:
IÃHz; g2 , g3 L2 + M + 2 g3 ÃHz; g2 , g3 L
ÃH2 z; g2 , g3 L
g2 2
4 ÃHz; g2 , g3 L3 - g2 ÃHz; g2 , g3 L - g3
4
1 Ã² Hz; g2 , g3 L
ÃH2 z; g2 , g3 L -2 ÃHz; g2 , g3 L +
2
4 Ã¢ Hz; g2 , g3 L
IÃHz; g2 , g3 L2 + M + 2 g3 ÃHz; g2 , g3 L
ÃH2 z; g2 , g3 L
g2 2
Ã¢ Hz; g2 , g3 L2
4
Ã¢ H2 z; g2 , g3 L I-4 Ã¢ Hz; g2 , g3 L4 + 12 ÃHz; g2 , g3 L Ã¢ Hz; g2 , g3 L2 Ã² Hz; g2 , g3 L - Ã² Hz; g2 , g3 L3 M

1
4 Ã Hz; g2 , g3 L
¢ 3
2 ΣHz; g2 , g3 L ΣHΩ1 - z; g2 , g3 L ΣHΩ2 - z; g2 , g3 L ΣHΩ3 - z; g2 , g3 L

ΣH2 z; g2 , g3 L
ΣHΩ1 ; g2 , g3 L ΣHΩ2 ; g2 , g3 L ΣHΩ3 ; g2 , g3 L
ΣH2 z; g2 , g3 L 2 ΣHz; g2 , g3 L Σ1 Hz; g2 , g3 L Σ2 Hz; g2 , g3 L Σ3 Hz; g2 , g3 L
¶ΣHz; g2 , g3 L ¶2 ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L ¶3 ΣHz; g2 , g3 L

ΣH2 z; g2 , g3 L ΣHz; g2 , g3 L 2 - 3 ΣHz; g2 , g3 L ΣHz; g2 , g3 L2
3
+
¶z ¶z2 ¶z ¶z3
ΣH2 z; g2 , g3 L -Ã¢ Hz; g2 , g3 L ΣHz; g2 , g3 L4
ΖH2 z; g2 , g3 L HΖHz; g2 , g3 L + ΖHz - Ω1 ; g2 , g3 L + ΖHz - Ω2 ; g2 , g3 L + ΖHz - Ω3 ; g2 , g3 LL

1
2
Ã² Hz; g2 , g3 L
ΖH2 z; g2 , g3 L 2 ΖHz; g2 , g3 L +
2 Ã¢ Hz; g2 , g3 L
.
These formulas can be expanded on triple angle formulas, for example:
ΣH3 z; g2 , g3 L -Ã¢ Hz; g2 , g3 L2 ΣHz; g2 , g3 L9 HÃH2 z; g2 , g3 L - ÃHz; g2 , g3 LL
ΣH3 z; g2 , g3 L ΣHz; g2 , g3 L9 3 ÃHz; g2 , g3 L4 - g2 ÃHz; g2 , g3 L2 - 3 g3 ÃHz; g2 , g3 L -

3 g22
2 16
4 Ã¢ Hz; g2 , g3 L3
ΖH3 z; g2 , g3 L 3 ΖHz; g2 , g3 L +
Ã¢ Hz; g2 , g3 L ÃH3L Hz; g2 , g3 L - Ã² Hz; g2 , g3 L2
.
Generally the following multiple angle formulas take place:
ÃHn z; g2 , g3 L ââ Ã z - ; g2 , g3 ; n Î N+
1 n-1 n-1 2 j Ω1 + 2 k Ω3
n2
j=0 k=0
n
Ã¢ Hn z; g2 , g3 L ââ Ã¢ z - ; g2 , g3 ; n Î N+
1 n-1 n-1 2 j Ω1 + 2 k Ω3
n 3
j=0 k=0
n
; g2 , g3 N
2 j Ω1 +2 k Ω3
ΣHn z; g2 , g3 L n H-1L ã-n Hn-1L Η2 z ΣHz; g2 , g3 L ä ; n - 1 Î N+

n-1 ΣJz - n
n2 -1
; g2 , g3 N
2 j Ω1 +2 k Ω3
ΣJ
8 j,k<¹80,0<
j, k=0
n
ΖHn z; g2 , g3 L -Hn - 1L Η2 + ââ Ζ z - ; g2 , g3 ; n Î N+ .
1 n-1 n-1 2 j Ω1 + 2 k Ω3
n j=0 k=0
n
Sometimes transformations have a symmetrical character, which includes

operations like determinate, for example:
Ã¢ Hz1 ; g2 , g3 L ÃHz1 ; g2 , g3 L
Ã¢ Hz2 ; g2 , g3 L ÃHz2 ; g2 , g3 L
1
-Ã¢ Hz1 + z2 ; g2 , g3 L ÃHz1 + z2 ; g2 , g3 L 1

1 0
1 ÃHz0 ; g2 , g3 L Ã¢ Hz0 ; g2 , g3 L ¼ ÃHn-1L Hz0 ; g2 , g3 L

1 ÃHz1 ; g2 , g3 L Ã¢ Hz1 ; g2 , g3 L ¼ ÃHn-1L Hz1 ; g2 , g3 L

» » » ¸ »
1 ÃHzn ; g2 , g3 L Ã¢ Hzn ; g2 , g3 L ¼ ÃHn-1L Hzn ; g2 , g3 L
H-1Ln Σ â zi ; g2 , g3 ä ä ä ΣIz j - zi ; g2 , g3 M ; n Î N+ .
n n k! n-1 n
i=0 k=0 ΣHzk ; g2 , g3 Ln+1 i=1 j=i+1
Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and ΖHz; g2 , g3 L with
A special class of transformation includes the simplification of
invariants g2 I Ω3 M and g3 I Ω3 M, where n Î N+ , for example:

Ω1 Ω1
n
, n
,
IÃHz; g2 , g3 L2 - e1 ÃHz; g2 , g3 L + He1 - e2 L He1 - e3 LM HÃHz; g2 , g3 L - e1 L

Ω1 Ω1
Ã z; g2 , Ω2 , g3 , Ω2
2 2
ÃHz; g2 , g3 L + ÃHz + Ω1 ; g2 , g3 L - e1
Ω1 Ω1
Ã z; g2 , Ω3 , g3 , Ω3
2 2
; g2 , g3 + ÃHz; g2 , g3 L
Ω1 Ω1 2 Ω1 2 Ω1 4 Ω1
Ã z; g2 , Ω3 , g3 , Ω3 Ã z+ ; g2 , g3 - 2 Ã ; g2 , g3 + Ã z +
3 3 3 3 3
â Ã z+ + ÃHz; g2 , g3 L ; n Î N+
Ω1 Ω1 n-1 2 k Ω1 2 k Ω1
Ã z; g2 , Ω3 , g3 , Ω3 ; g2 , g3 - Ã ; g2 , g3
n n k=1
n n
Ã¢ Hz; g2 , g3 L + Ã¢ Hz + Ω1 ; g2 , g3 L
Ω1 Ω1
Ã¢ z; g2 , Ω3 , g3 , Ω3
2 2
Ã¢ Hz; g2 , g3 L + Ã¢ z +
Ω1 Ω1 2 Ω1 4 Ω1
Ã¢ z; g2 , Ω3 , g3 , Ω3 ; g2 , g3 + Ã¢ z + ; g2 , g3
3 3 3 3
Ã¢ Hz; g2 , g3 L + â Ã¢ z + ; g2 , g3 ; n Î N+
Ω1 Ω1 n-1 2 k Ω1
Ã¢ z; g2 , Ω3 , g3 , Ω3
n n k=1
n
ΣHz; g2 , g3 L Σ1 Hz; g2 , g3 L
Ω1 Ω1 e1 z2
Σ z; g2 , Ω3 , g3 , Ω3 exp
2 2 2
ΣHz; g2 , g3 L ΣJz + ; g2 , g3 N ΣJz + ; g2 , g3 N

2 Ω1 4 Ω1
Ω1 Ω1 2 Ω1 3 3
; g2 , g3 N ΣJ ; g2 , g3 N
Σ z; g2 , Ω3 , g3 , Ω3 exp z Ã 2
; g2 , g3 - 2 z Η1
3 3 3 2 Ω1 4 Ω1
ΣJ 3 3
; g2 , g3 N
2 k Ω1
âÃ ; g2 , g3 - z â ΣHz; g2 , g3 L ä ; n Î N+
Ω1 Ω1 z2 n-1 2 k Ω1 n-1 2 k Η1 n-1 ΣJz + n
; g2 , g3 N
Σ z; g2 , Ω3 , g3 , Ω3 exp
n n 2 n n 2 k Ω1
k=1 k=1 k=1 ΣJ n
Ω1 Ω1
Σ z; g2 , Ω3 , g3 , Ω3
n n
; g2 , g3 N
2 j Ω1
âÃ ; g2 , g3 - z â Ζ ΣHz; g2 , g3 L ä ; n Î N+
z2 n-1 j 2 Ω1 n-1 j 2 Ω1 n-1 ΣJz + n
; g2 , g3 N
exp ; g2 , g3
2 n n j 2 Ω1
j=1 j=1 j=1 ΣJ n
ΣHz; g2 , g3 L2
Σ1 Hz; g2 , g3 L2 - ãΗ1 Ω1
Ω1 Ω1 e1 z2
ΣHΩ1 ; g2 , g3 L2
Σ1 z; g2 , Ω3 , g3 , Ω3 exp
2 2 2
ΣHz; g2 , g3 L2
Σ1 Hz; g2 , g3 L2 + ãΗ1 Ω1
Ω1 Ω1 e1 z2
ΣHΩ1 ; g2 , g3 L2
Σ2 z; g2 , Ω3 , g3 , Ω3 exp
2 2 2
Σ2 Hz; g2 , g3 L Σ3 Hz; g2 , g3 L
Ω1 Ω1 e1 z2
Σ3 z; g2 , Ω3 , g3 , Ω3 exp
2 2 2
Ω1 Ω1 2 Ω1
Σi z; g2 , Ω3 , g3 , Ω3 exp z2 Ã
; g2 , g3 - 2 z Η1
3 3 3
Σi Hz; g2 , g3 L Σi z + ; g2 , g3 Σi ; i Î 81, 2, 3<

2 Ω1 4 Ω1 2 Ω1 4 Ω1
; g2 , g3 Σi z + ; g2 , g3 Σi ; g2 , g3
3 3 3 3
Ω1 Ω1
Σ1 z; g2 , Ω3 , g3 , Ω3
n n
Σ1 Jz + ; g2 , g3 N
H2 k-n+1L Ω1
Hn - 1L z Η1 H2 k - n + 1L Η1 z
+â ä ; n Î N+
n-1 z2 2 k Ω1 n-1
n
Σ1 J ; g2 , g3 N
H2 k-n+1L Ω1
exp Ã ; g2 , g3 -
n k=1
2 n n k=0
n
Ω1 Ω1
Σ2 z; g2 , Ω3 , g3 , Ω3
n n
Σ2 Jz + ; g2 , g3 N
H2 k-n+1L Ω1
Hn - 1L z Η1 H2 k - n + 1L Η1 z
+â ä ; n Î N+
n-1 z2 2 k Ω1 n-1
n
Σ2 J ; g2 , g3 N
H2 k-n+1L Ω1
exp Ã ; g2 , g3 -
n k=1
2 n n k=0
n
Σ3 Jz + ; g2 , g3 N
2 k Ω1
exp â ä ; n Î N+
Ω1 Ω1 n-1 z2 2 k Ω1 2 k Η1 z n-1
n
Σ3 J ; g2 , g3 N
Σ3 z; g2 , Ω3 , g3 , Ω3 Ã ; g2 , g3 -
n n 2 n n 2 k Ω1
k=1 k=0
n
e1 z + ΖHz; g2 , g3 L + ΖHz + Ω1 ; g2 , g3 L - Η1
Ω1 Ω1
Ζ z; g2 , Ω3 , g3 , Ω3
2 2
Ζ Hz; g2 , g3 L + Ζ z +
Ω1 Ω1 2 Ω1 4 Ω1 2 Ω1
Ζ z; g2 , Ω3 , g3 , Ω3 ; g2 , g3 + Ζ z + ; g2 , g3 + 2 z Ã ; g2 , g3 - 2 Η1
3 3 3 3 3
ΖHz; g2 , g3 L + â Ζ z + ; n Î N+ .
Ω1 Ω1 n-1 2 k Ω1 2 k Ω1 2 k Η1
Ζ z; g2 , Ω3 , g3 , Ω3 ; g2 , g3 + z Ã ; g2 , g3 -
n n k=1
n n n
Identities
The Weierstrass functions satisfy numerous functional identities, for

example:
Ã¢ Ha; g2 , g3 L - Ã¢ Hb; g2 , g3 L Ã¢ Hb; g2 , g3 L - Ã¢ Hc; g2 , g3 L

; a + b + c 2 m Ω1 + 2 n Ω3 ì 8m, n< Î Z
ÃHa; g2 , g3 L - ÃHb; g2 , g3 L ÃHb; g2 , g3 L - ÃHc; g2 , g3 L

Ã¢ Ha; g2 , g3 L - Ã¢ Hb; g2 , g3 L Ã¢ Hc; g2 , g3 L - Ã¢ Ha; g2 , g3 L

; a + b + c 2 m Ω1 + 2 n Ω3 ì 8m, n< Î Z
ÃHa; g2 , g3 L - ÃHb; g2 , g3 L ÃHc; g2 , g3 L - ÃHa; g2 , g3 L

ÃHb; g2 , g3 L Ã¢ Hc; g2 , g3 L - ÃHc; g2 , g3 L Ã¢ Hb; g2 , g3 L ÃHc; g2 , g3 L Ã¢ Ha; g2 , g3 L - ÃHa; g2 , g3 L Ã¢ Hc; g2 , g3 L

;
ÃHb; g2 , g3 L - ÃHc; g2 , g3 L ÃHc; g2 , g3 L - ÃHa; g2 , g3 L

a + b + c 2 m Ω1 + 2 n Ω3 ì 8m, n< Î Z
ÃHb; g2 , g3 L Ã¢ Hc; g2 , g3 L - ÃHc; g2 , g3 L Ã¢ Hb; g2 , g3 L ÃHa; g2 , g3 L Ã¢ Hb; g2 , g3 L - ÃHb; g2 , g3 L Ã¢ Ha; g2 , g3 L

;
ÃHb; g2 , g3 L - ÃHc; g2 , g3 L ÃHa; g2 , g3 L - ÃHb; g2 , g3 L

a + b + c 2 m Ω1 + 2 n Ω3 ì 8m, n< Î Z
Σi Hz; g2 , g3 L2 - Σ j Hz; g2 , g3 L2 Ie j - ei M ΣHz; g2 , g3 L2 ; 8i, j< Î 81, 2, 3< ì i ¹ j
Iek - e j M Σi Hz; g2 , g3 L2 + Hei - ek L Σ j Hz; g2 , g3 L2 + Ie j - ei M Σk Hz; g2 , g3 L2 0 ; 8i, j< Î 81, 2, 3< ì i ¹ j
Ã-1 Hz1 ; g2 , g3 L + Ã-1 Hz2 ; g2 , g3 L Ã-1 Hz3 ; g2 , g3 L ;
4 z33 - g2 z3 - g3 Hz2 - z1 L + 4 z31 - g2 z1 - g3 Hz3 - z2 L + 4 z32 - g2 z2 - g3 Hz1 - z3 L 0.
Representations of derivatives
The first two derivatives of all Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L,
Σn Hz, g2 , g3 L ; n Î 81, 2, 3<, and ΖHz; g2 , g3 L, and their inverses Ã-1 Hz; g2 , g3 L and Ã-1 Hz1 , z2 ; g2 , g3 L with respect to
variable z can also be expressed through Weierstrass functions:
¶ÃIz;g2 ,g3 M ¶2 ÃIz;g2 ,g3 M

Ã¢ Hz; g2 , g3 L 6 ÃHz; g2 , g3 L2 -
g2
¶z ¶z2 2
¶Ã¢ Iz;g2 ,g3 M ¶2 Ã¢ Iz;g2 ,g3 M

6 ÃHz; g2 , g3 L2 - 12 ÃHz; g2 , g3 L Ã¢ Hz; g2 , g3 L
g2
¶z 2 ¶z2
¶ΣIz;g2 ,g3 M ¶2 ΣIz;g2 ,g3 M

¶z
ΣHz; g2 , g3 L ΖHz; g2 , g3 L ΣHz; g2 , g3 L IΖHz; g2 , g3 L2 - ÃHz; g2 , g3 LM
¶z2
¶Σn Iz,g2 ,g3 M ¶2 Σn Iz,g2 ,g3 M

¶z
Σn Hz, g2 , g3 L HΖHz + Ωn ; g2 , g3 L - Ηn L Σn Hz, g2 , g3 L IHΗn - ΖHz + Ωn ; g2 , g3 LL2 - ÃHz + Ωn ; g2 , g3 LM
¶z2
¶ΖIz;g2 ,g3 M ¶2 ΖIz;g2 ,g3 M

¶z
-Ã Hz; g2 , g3 L -Ã¢ Hz; g2 , g3 L
¶z2
¶Ã-1 Iz;g2 ,g3 M ¶Ã-1 Iz;g2 ,g3 M

Ã¢ IÃ-1 Iz;g2 ,g3 M;g2 ,g3 M
1 1
¶z
¶z

4 z3 -g2 z-g3
¶2 Ã-1 Hz; g2 , g3 L g2 - 12 z2
2 Ã¢ IÃ-1 Hz; g2 , g3 L; g2 , g3 M

¶z2 3
¶Ã-1 Hz1 , z2 ; g2 , g3 L
; z2
1
Ã IÃ Hz1 ; g2 , g3 L; g2 , g3 M
4 z31 - g2 z1 - g3
¶z1 ¢ -1
¶Ã-1 Hz1 , z2 ; g2 , g3 L
; z2
1
4 z31 - g2 z1 - g3
¶z1
4 z31 - g2 z1 - g3
¶2 Ã-1 Hz1 , z2 ; g2 , g3 L g2 - 12 ÃIÃ-1 Hz1 ; g2 , g3 L; g2 , g3 M

; z2
2
2 Ã IÃ Hz1 ; g2 , g3 L; g2 , g3 M
4 z31 - g2 z1 - g3 .
¶z21 ¢ -1 3
The first derivatives of Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L with respect to
parameter g2 can also be expressed through Weierstrass functions by the following
formulas:
¶ÃHz; g2 , g3 L
I2 ÃHz; g2 , g3 L g22 + 6 g3 g2 - 36 g3 ÃHz; g2 , g3 L2 + Ã¢ Hz; g2 , g3 L Ig22 z - 18 g3 ΖHz; g2 , g3 LMM
1
4 Ig32 - 27 g23 M

¶g2
¶Ã¢ Hz; g2 , g3 L

¶g2
I-z g32 + 12 z ÃHz; g2 , g3 L2 g22 + 6 Ig22 - 18 g3 ÃHz; g2 , g3 LM Ã¢ Hz; g2 , g3 L + 18 g3 Ig2 - 12 ÃHz; g2 , g3 L2 M ΖHz; g2 , g3 LM
1
8 Ig32 - 27 g23 M
¶ΣHz; g2 , g3 L
ΣHz; g2 , g3 L I4 g22 Hz ΖHz; g2 , g3 L - 1L + 36 g3 IÃHz; g2 , g3 L - ΖHz; g2 , g3 L2 M - 3 g2 g3 z2 M
1
16 Ig32 - 27 g23 M

¶g2
¶ΖHz; g2 , g3 L
I2 Ig22 + 18 g3 ÃHz; g2 , g3 LM ΖHz; g2 , g3 L - z g2 H3 g3 + 2 g2 ÃHz; g2 , g3 LL + 18 g3 Ã¢ Hz; g2 , g3 LM.
1
8 Ig32 - 27 g23 M

¶g2
The first derivatives of Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L with respect to
parameter g3 can also be expressed through Weierstrass functions by the following
formulas:
¶ÃHz; g2 , g3 L
I12 ÃHz; g2 , g3 L2 g2 - 18 g3 ÃHz; g2 , g3 L - 2 g22 + H6 g2 ΖHz; g2 , g3 L - g3 zL Ã¢ Hz; g2 , g3 LM
1
2 Ig32 - 27 g23 M

¶g3
¶Ã¢ Hz; g2 , g3 L 1
4 Ig32 - 27 g23 M

¶g3
I9 z g2 g3 - 108 z g3 ÃHz; g2 , g3 L2 + H36 g2 ÃHz; g2 , g3 L - 54 g3 L Ã¢ Hz; g2 , g3 L + I72 g2 ÃHz; g2 , g3 L2 - 6 g22 M ΖHz; g2 , g3 LM
¶ΣHz; g2 , g3 L
ΣHz; g2 , g3 L Iz2 g22 + 12 ΖHz; g2 , g3 L2 g2 - 12 ÃHz; g2 , g3 L g2 - 36 g3 Hz ΖHz; g2 , g3 L - 1LM
1
8 Ig32 - 27 g23 M

¶g3
¶ΖHz; g2 , g3 L
Iz Ig22 + 18 g3 ÃHz; g2 , g3 LM - 6 g2 Ã¢ Hz; g2 , g3 L - 6 H3 g3 + 2 g2 ÃHz; g2 , g3 LL ΖHz; g2 , g3 LM.
1
4 Ig32 - 27 g23 M

¶g3
Weierstrass invariants g2 and g3 can be expressed as functions of half-periods Ω1 and Ω3 . This property allows
derivatives of Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L with respect to half-
obtaining the following formulas for the first
period Ω1 :
¶ÃHz; g2 , g3 L
Ω3 2 ÃHz; g2 , g3 L2 + ΖHz; g2 , g3 L Ã¢ Hz; g2 , g3 L - - Η3 H2 ÃHz; g2 , g3 L + z Ã¢ Hz; g2 , g3 LL ;
2 Ω1 Ω23 g2
- -
¶Ω1 Π Ω3 Ω21 3
Ω3
Im ¹0
Ω1
¶Ã¢ Hz; g2 , g3 L
IΩ3 I6 ÃHz; g2 , g3 L Ã¢ Hz; g2 , g3 L + 12 ΖHz; g2 , g3 L ÃHz; g2 , g3 L2 - g2 ΖHz; g2 , g3 LM -
Ω1 Ω23
- -
¶Ω1 Π Ω3 Ω21
Η3 I6 Ã¢ Hz; g2 , g3 L + 12 z ÃHz; g2 , g3 L2 - g2 zMM ; Im

Ω3
¹0
Ω1
¶ΣHz; g2 , g3 L
Ω3 ÃHz; g2 , g3 L - ΖHz; g2 , g3 L2 - g2 z2 + 2 Η3 Hz ΖHz; g2 , g3 L - 1L ΣHz; g2 , g3 L ; Im
Ω1 Ω23 1 Ω3
- ¹0
¶Ω1 Π Ω3 Ω21 12 Ω1
¶ΖHz; g2 , g3 L
Ω3 Ã¢ Hz; g2 , g3 L + 2 ΖHz; g2 , g3 L ÃHz; g2 , g3 L - g2 z + 2 Η3 HΖHz; g2 , g3 L - z ÃHz; g2 , g3 LL ;
Ω1 Ω23 1
-
¶Ω1 Π Ω3 Ω21 6
Ω3
Im ¹ 0.
Ω1
functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L with respect to half-period Ω3 :

Similar formulas take place for the first derivatives of Weierstrass
¶ÃHz; g2 , g3 L
Ω1 2 ÃHz; g2 , g3 L2 + ΖHz; g2 , g3 L Ã¢ Hz; g2 , g3 L - - Η1 H2 ÃHz; g2 , g3 L + z Ã¢ Hz; g2 , g3 LL ;
2 Ω1 Ω23 g2
-
¶Ω3 Π Ω3 Ω21 3
Ω3
Im ¹0
Ω1
¶Ã¢ Hz; g2 , g3 L
IΩ1 I6 ÃHz; g2 , g3 L Ã¢ Hz; g2 , g3 L + 12 ΖHz; g2 , g3 L ÃHz; g2 , g3 L2 - g2 ΖHz; g2 , g3 LM -
Ω1 Ω23
-
¶Ω3 Π Ω3 Ω21
Η1 I6 Ã¢ Hz; g2 , g3 L + 12 z ÃHz; g2 , g3 L2 - g2 zMM ; Im

Ω3
¹0
Ω1
¶ΣHz; g2 , g3 L
Ω1 ÃHz; g2 , g3 L - ΖHz; g2 , g3 L2 - g2 z2 + 2 Η1 Hz ΖHz; g2 , g3 L - 1L ΣHz; g2 , g3 L ;
Ω1 Ω23 1
- -
¶Ω3 Π Ω3 Ω21 12
Ω3
Im ¹0
Ω1
¶ΖHz; g2 , g3 L
Ω1 Ã¢ Hz; g2 , g3 L + 2 ΖHz; g2 , g3 L ÃHz; g2 , g3 L - g2 z + 2 Η1 HΖHz; g2 , g3 L - z ÃHz; g2 , g3 LL ;
Ω1 Ω23 1
- -
¶Ω3 Π Ω3 Ω21 6
Ω3
Im ¹ 0.
Ω1
The nth derivatives of all Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, Σn Hz, g2 , g3 L ; n Î 81, 2, 3<,
ΖHz; g2 , g3 L, and their inverses Ã-1 Hz; g2 , g3 L and Ã-1 Hz1 , z2 ; g2 , g3 L with respect to variable z can be represented by
the following formulas:
¶n ÃHz; g2 , g3 L ¶ ¶n-1 ÃHz; g2 , g3 L

; n Î N+
¶zn ¶z ¶zn-1
¶k Ã¢ Hz; g2 , g3 L
H-1Lk-1 Hk + 2L! â â ; k Î N+
¥ ¥ 1
¶z k
m=-¥ n=-¥ Hz - 2 m Ω1 - 2 n Ω3 L k+3
¶n ΣHz; g2 , g3 L 1 - j 2 - j z2 ΖHΩ1 ; g2 , g3 L
H2 Ω1 L1-n Π ä â 2 F2 , 1;
¥ 3 n
n-
1 1 1
2 , ;
¶zn m=1 1 - q2 m j=0
2 2 2 2 Ω1
Π HH2 k + 1L z + Hn - jL Ω1 L
â H-1Lk qk Hk+1L H2 k + 1L sin ; n Î N+
4 Ω1 n ¥
j
n- j
Πz j 2 Ω1
k=0
¶n Σ j Hz, g2 , g3 L H2 Ω1 L1-n Π 1 - j 2 - j Iz + Ω j M ΖHΩ1 ; g2 , g3 L

ä â 2 F2 , 1;
1 2
3 n j
ã-Η j z
n- ¥ 1 1 4 Ω1
Σ j Hz, g2 , g3 L
2 n
Π Iz + Ω j M
, ;
¶zn 1 - q2 k 2 2 2 2 Ω1 j
k=1 j=0
â H-1Lk qk Hk+1L H2 k + 1L IΠ IHn - jL Ω1 + H2 k + 1L Iz + Ω j MMM - Η j Σ j Hz, g2 , g3 L ; n Î N+ ì j Î 81, 2, 3<

¥ 1
n- j
sin
k=0
2 Ω1
¶n ΖHz; g2 , g3 L H-1L j 2-2 k n - 1 Π z Hk - jL n Π

ââ Hk - jL sin
n Π n+1 n-1 k-1
-2 k-2
Πz 2k n-1
- sin + -
¶z n 2 Ω1 k+1 k 2 Ω1 j Ω1 2
k=0 j=0
â ; n Î N+
Π2 ∆n-1 Πz z1-n Η1 2 Πn+1 ¥ q2 k kn Πn kΠz
csc2 + + sin +
4 Ω21 2 Ω1 Ω1 GH2 - nL Ωn+1 k=1 1-q 2k 2 Ω1
1
¶n Ã-1 Hz; g2 , g3 L
+ Ã-1 Hz; g2 , g3 L ∆n + â â H-1L j I4 z3 - g2 z - g3 M
∆n-1 n-1 1 1 m-1
m j-m-
1
-m 2
¶zn m! 2 m j=0 j
4 z3 - g2 z - g3 m=1
â â â H-1Ln+k2 +k3 -1 ∆m- j,k1 +k2 +k3 Hk1 + k2 + k3 ; k1 , k2 , k3 L 4k1 g22 g3 H-3 k1 - k2 Ln-1 z-n+3 k1 +k2 +1 ; n Î N
m- j m- j m- j
3 k k
k1 =0 k2 =0 k3 =0
¶n Ã-1 Hz1 , z2 ; g2 , g3 L
+ Ã-1 Hz1 , z2 ; g2 , g3 L ∆n +
∆n-1

¶zn1
4 z31 - g2 z1 - g3
â â H-1L j I4 z31 - g2 z1 - g3 M â â â H-1Ln+k2 +k3 -1 ∆m- j,k1 +k2 +k3

n-1 m-1 1 m- j m- j m- j
1 1 m j-m-
-m 2
m! 2 m j=0 j
m=1 k1 =0 k2 =0 k3 =0
Hk1 + k2 + k3 ; k1 , k2 , k3 L 4k1 g22 g33 H-3 k1 - k2 Ln-1 z1 ; n Î N í z2

k k -n+3 k1 +k2 +1
4 z31 - g2 z1 - g3 .
Integration
The indefinite integrals of Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L with respect
to variable z can be expressed by the following formulas:
à ÃHz; g2 , g3 L â z -ΖHz; g2 , g3 L
à Ã Hz; g2 , g3 L â z ÃHz; g2 , g3 L
¢
à ΣHz; g2 , g3 L â z ä
3
Ω32
1
¥ 1
2 Π Η1 m=1 1 - q2 m
Π2 H2 k + 1L Π H2 k + 1L + 2 ä z Η1 Π H2 k + 1L - 2 ä z Η1
â H-1Lk qk Hk+1L exp ; q exp
¥ 2
Π ä Ω3
erf + erf
k=0
8 Η1 Ω1 2 2 Η1 Ω1 2 2 Η1 Ω1 Ω1
à ΖHz; g2 , g3 L â z logHΣHz; g2 , g3 LL.
Summation
Finite and infinite sums including Weierstrass functions can sometimes be

evaluated in closed forms, for example:
â Ã ; g2 , g3 0 ; n - 1 Î N+
n-1 2 j Ω1 + 2 k Ω3
n
8 j,k<¹80,0<
j, k=0
âÃ
n-1 2 k Ω1 n Ω1 Ω1 Ω1
; g2 , g3 Ζ ; g2 , Ω3 , g3 , Ω3 - Η1
k=1
n Ω1 n n n
â Ζ ; g2 , g3 -n Hn - 1L Η2 ; n - 1 Î N+ .
n-1 2 j Ω1 + 2 k Ω3
n
8 j,k<¹80,0<
j, k=0
Differential equations
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, ΖHz; g2 , g3 L, and their inverses Ã-1 Hz; g2 , g3 L and
Ã-1 Hz1 , z2 ; g2 , g3 L satisfy the following nonlinear differential equations:
w¢ HzL2 - 4 wHzL3 + g2 wHzL + g3 ; wHzL ÃHz + a; g2 , g3 L
w² HzL - 6 wHzL2 + 0 ; wHzL ÃHa + z; g2 , g3 L

g2
2
wH3L HzL - 12 wHzL w¢ HzL 0 ; wHzL ÃHa + z; g2 , g3 L
Ã¢ Hz; g2 , g3 L2 4 HÃHz; g2 , g3 L - ÃHΩ1 ; g2 , g3 LL HÃHz; g2 , g3 L - ÃHΩ2 ; g2 , g3 LL HÃHz; g2 , g3 L - ÃHΩ3 ; g2 , g3 LL
2 w¢ HzL3 - 3 g2 w¢ HzL2 - 27 wHzL4 - 54 g3 wHzL2 + g32 - 27 g23 0 ; wHzL Ã¢ Hz; g2 , g3 L
w¢ HzL3 - wHzL2 HwHzL - aL2 0 ; wHzL

a 27 z 64
+ Ã¢ ; 0, - a2
2 16 2 729
w¢ HzL3 - IwHzL3 - 3 a wHzL2 + 3 wHzLM 0 ; wHzL

2 2
a - 3 Ã¢ Jz; 0, I4 - 3 a2 MN
1
27
Σ¢ Hz; g2 , g3 L ΖHz; g2 , g3 L ΣHz; g2 , g3 L
¶logHΣHz; g2 , g3 LL
ΖHz; g2 , g3 L
¶z
¶4 ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L ¶3 ΣHz; g2 , g3 L ¶2 ΣHz; g2 , g3 L

2 ΣHz; g2 , g3 L - g2 ΣHz; g2 , g3 L2 0
2
-8 +6
¶z4 ¶z ¶z3 ¶z2
¶2 ΖHz; g2 , g3 L ¶ΖHz; g2 , g3 L ¶ΖHz; g2 , g3 L

2 3
+4 - g2 + g3 0
¶z2 ¶z ¶z
I4 z3 - g2 z - g3 M w¢ HzL2 - 1 0 ; wHzL Ã-1 Hz; g2 , g3 L
I4 z31 - g2 z1 - g3 M w¢ Hz1 L2 - 1 0 ; wHz1 L Ã-1 Hz1 , z2 ; g2 , g3 L.
The Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L, and ΖHz; g2 , g3 L are the special solutions of the
corresponding partial differential
equations:
¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L

z - 4 g2 - 6 g3 + 2 ÃHz; g2 , g3 L 0
¶z ¶g2 ¶g3
¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L 2 ¶2 ÃHz; g2 , g3 L

- 2 ΖHz; g2 , g3 L
2 g2
12 g3 + g22 -
¶g2 3 ¶g3 ¶z 3 ¶z 2 3
¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L
Ω1 + Ω3 + z ÃHz; g2 , g3 L -2 ÃHz; g2 , g3 L
¶Ω1 ¶Ω3
¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L 1 ¶2 ÃHz; g2 , g3 L

+ ΖHz; g2 , g3 L
g2
Η1 + Η3 - +
¶Ω1 ¶Ω3 ¶z 3 ¶ x2 6
¶2 Ã¢ Hz; g2 , g3 L ¶Ã¢ Hz; g2 , g3 L ¶Ã¢ Hz; g2 , g3 L ¶Ã¢ Hz; g2 , g3 L

z + - 4 g2 - 6 g2 - 2 Ã¢ Hz; g2 , g3 L 0
¶z2 ¶z ¶g2 ¶g3
¶Ã¢ Hz; g2 , g3 L ¶Ã¢ Hz; g2 , g3 L

- 6 ÃHz; g2 , g3 L2 - 12 z Ã¢ Hz; g2 , g3 L ÃHz; g2 , g3 L + 2 Ã¢ Hz; g2 , g3 L +
g2
4 g2 + 6 g2 0
¶g2 ¶g3 2
¶ΣHz; g2 , g3 L ¶2 ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L

Ig32 - 27 g23 M g22 ΣHz; g2 , g3 L - g2 g3 z2 ΣHz; g2 , g3 L +
9 1 3 1
- g3 - g22 z
¶g2 4 ¶z 2 4 16 4 ¶z
¶ΣHz; g2 , g3 L ¶2 ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L

Ig32 - 27 g23 M g3 ΣHz; g2 , g3 L + g22 z2 ΣHz; g2 , g3 L -
3 9 1 9
g2 + g2 z
¶g3 2 ¶z2 2 8 2 ¶z
¶ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L

z - 4 g2 - 6 g3 - ΣHz; g2 , g3 L 0
¶z ¶g2 ¶g3
¶2 ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L ¶ΣHz; g2 , g3 L

ΣHz; g2 , g3 L z2 0
2 1
- 12 g3 - g2 +
¶z2 ¶g2 3 ¶g3 12
¶ΖHΩ1 ; g2 , g3 L ¶ΖHΩ1 ; g2 , g3 L
72 g3 + 4 g22 - Ω1 g2 0 ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<
¶g2 ¶g3
¶ΖHΩ3 ; g2 , g3 L ¶ΖHΩ3 ; g2 , g3 L
72 g3 + 4 g22 - Ω3 g2 0 ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<.
¶g2 ¶g3
Applications of Weierstrass functions and inverses
Applications of Weierstrass functions include integrable nonlinear

differential equations, motion in cubic and quartic potentials, description
of the movement of a spherical pendulum, and construction of minimal
surfaces.
Copyright
This document was downloaded from functions.wolfram.com, a comprehensive online compendium of formulas
involving the special functions of mathematics. For a key to the notations used here, see
http://functions.wolfram.com/Notations/.
Please cite this document by referring to the functions.wolfram.com page from which it was downloaded, for
example:
http://functions.wolfram.com/Constants/E/
To refer to a particular formula, cite functions.wolfram.com followed by the citation number.

e.g.: http://functions.wolfram.com/01.03.03.0001.01
This document is currently in a preliminary form. If you have comments or suggestions, please email
comments@functions.wolfram.com.
© 2001-2008, Wolfram Research, Inc.

WeierstrassP PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

WeierstrassP PDF

Uploaded by

Copyright:

Available Formats

Introductions to WeierstrassP

Introduction to the Weierstrass functions and inverses

The Weierstrass elliptic functions are identified with the famous

â t and z = zHI; g2 , g3 L. Such integrals were investigated in the works of

L. Euler (1761) and J.-L. Lagrange (1769), who basically introduced

Examples of well-known singly periodic functions are the

their corresponding values inside the strip.

f Hz + m Ρ1 + n Ρ2 L  f HzL ; 8m, n< Î Z í Im

R0,0  8Α1 Ρ1 + Α2 Ρ2 ; 0 £ Α1 < 1 ì 0 £ Α2 < 1<.

Sometimes the convention R0,0  8Α1 Ρ1 + Α2 Ρ2 ; -1  2 £ Α1 < 1  2 ì -1  2 £ Α2 < 1  2< is used.

The set of all such period-parallelograms:

Rm,n  8m Ρ1 + n Ρ2 + Α1 Ρ1 + Α2 Ρ2 ; 0 £ Α1 < 1 ì 0 £ Α2 < 1 ì m Î Z ì n Î Z<

covers all complex planes: C  8Rm,n È -¥ < m, n < ¥ ì m Î Z ì n Î Z<.

The simplest elliptic function has order 2.

â a j - â bk  Μ Ρ1 + Ν Ρ2 ; a j Î R0,0 ì bk Î R0,0 ì EIa j M  0 ì 1  EHbk L  0 ì Μ Î Z ì Ν Î Z.

functions (like sinHz1 + z2 L, sinHn zL ; n Î N+ ). It can be formulated as the following:

It can also be expressed as an algebraic function of EHzk L ; 1 £ k £ n.

C EHz1 L, EHz2 L, ¼, EHzn L, E â zk

functions ÃHz; g2 , g3 L).

w² HzL  - + 6 wHzL2 ; wHzL  ÃHa + z; g2 , g3 L.

Definitions of Weierstrass functions and inverses

ÃHz; g2 , g3 L  + â ; 8Ω1 , Ω3 < 

8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<  :ä â â > ; JHtL 

Ã¢ Hz; g2 , g3 L  -2 â â ; 8Ω1 , Ω3 <  8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

ΣHz; g2 , g3 L  z ä ; 8Ω1 , Ω3 <  8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

ΖHz; g2 , g3 L  + â ; 8Ω1 , Ω3 <  8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

z  ÃHw; g2 , g3 L ; w  Ã-1 Hz; g2 , g3 L

Ã-1 Hz; g2 , g3 L  à â t ; z Î R í ReI4 z3 - g2 z - g3 M > 0

z1  ÃHw; g2 , g3 L ; w  Ã-1 Hz1 , z2 ; g2 , g3 L í z2  4 z31 - g2 z1 - g3

The previous nine functions are typically called Weierstrass elliptic

8Ω1 , Ω3 <  8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< and

8Ω1 , Ω3 <  8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<  :ä â â > ; JHtL 

8g2 , g3 <  8g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 L<  :60 â , 140 â > ; Im

A quick look at the Weierstrass functions and inverses

ParametricPlot3D[{Re[s Ω1 + t Ω3], Im[s Ω1 + t

{EdgeForm[]}}, {s, -3.5, 3.5}, {t, -3.5, 3.5},

PlotPoints -> 72, BoxRatios -> {1, 1, 0.6}, PlotLabel -> #,

DisplayFunction -> Identity,

PlotRange -> {All, All, {-16, 16}}, AxesLabel -> {Re[z],

PlotLabel -> StyleForm[TraditionalForm @

WeierstrassSigma[z, {Subscript[g, 2],

Representations through more general functions

Representations through related equivalent functions

where ΛJ Ω N is modular lambda function, or through theta functions:

J¢1 H0, qL Ji+1 J 2 Ω , qN

ÃHz; g2 , g3 L  ei + ; i Î 81, 2, 3< í q  exp

J2 H0, qL J3 H0, qL J4 H0, qL J1 J 2 Ω , qN

Σi Hu; g2 , g3 L  exp ; i Î 81, 2, 3< í q  exp

ΖHz + Ωi ; g2 , g3 L  Ηi + ; i Î 81, 2, 3< í q  exp

or through elliptic integrals and the inverse elliptic nome:

8ΖHΩ1 ; g2 , g3 L, ΖHΩ3 ; g2 , g3 L<  : KH1 - mL > ;

í 8e1 , e3 <  8e1 Hg2 , g3 L, e3 Hg2 , g3 L<.

Relations to inverse functions

ÃIÃ-1 Hz1 , z2 ; g2 , g3 L; g2 , g3 M  z1 ; z2  4 z31 - g2 z1 - g3

Ã¢ IÃ-1 Hz1 , z2 ; g2 , g3 L; g2 , g3 M  z2 ; z2  4 z31 - g2 z1 - g3 .

Representations through other Weierstrass functions

2 ΣHz - Ω1 ; g2 , g3 L ΣHz - Ω2 ; g2 , g3 L ΣHz - Ω3 ; g2 , g3 L

2 Σ1 Hz; g2 , g3 L Σ2 Hz; g2 , g3 L Σ3 Hz; g2 , g3 L

ΣHz; g2 , g3 L  z exp à ΖHt; g2 , g3 L -

Σi Hz; g2 , g3 L  ΣHz; g2 , g3 L ÃHz; g2 , g3 L - ei ; i Î 81, 2, 3<

The best-known properties and formulas for Weierstrass functions and

Simple values at zero

Specific values for specialized parameter

f Hz + m Ρ1 + n Ρ2 L f HzL ; 8m, n< Î Z í Im

R0,0 8Α1 Ρ1 + Α2 Ρ2 ; 0 £ Α1 < 1 ì 0 £ Α2 < 1<.

Sometimes the convention R0,0 8Α1 Ρ1 + Α2 Ρ2 ; -1 2 £ Α1 < 1 2 ì -1 2 £ Α2 < 1 2< is used.

Rm,n 8m Ρ1 + n Ρ2 + Α1 Ρ1 + Α2 Ρ2 ; 0 £ Α1 < 1 ì 0 £ Α2 < 1 ì m Î Z ì n Î Z<

covers all complex planes: C 8Rm,n È -¥ < m, n < ¥ ì m Î Z ì n Î Z<.

â a j - â bk Μ Ρ1 + Ν Ρ2 ; a j Î R0,0 ì bk Î R0,0 ì EIa j M 0 ì 1 EHbk L 0 ì Μ Î Z ì Ν Î Z.

functions (like sinHz1 + z2 L, sinHn zL ; n Î N+ ). It can be formulated as the following:

It can also be expressed as an algebraic function of EHzk L ; 1 £ k £ n.

w² HzL - + 6 wHzL2 ; wHzL ÃHa + z; g2 , g3 L.

ÃHz; g2 , g3 L + â ; 8Ω1 , Ω3 <

8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< :ä â â > ; JHtL

Ã¢ Hz; g2 , g3 L -2 â â ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

ΣHz; g2 , g3 L z ä ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

ΖHz; g2 , g3 L + â ; 8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

z ÃHw; g2 , g3 L ; w Ã-1 Hz; g2 , g3 L

Ã-1 Hz; g2 , g3 L à â t ; z Î R í ReI4 z3 - g2 z - g3 M > 0

z1 ÃHw; g2 , g3 L ; w Ã-1 Hz1 , z2 ; g2 , g3 L í z2 4 z31 - g2 z1 - g3

8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< and

8Ω1 , Ω3 < 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L< :ä â â > ; JHtL

8g2 , g3 < 8g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 L< :60 â , 140 â > ; Im

ÃHz; g2 , g3 L ei + ; i Î 81, 2, 3< í q exp

Σi Hu; g2 , g3 L exp ; i Î 81, 2, 3< í q exp

ΖHz + Ωi ; g2 , g3 L Ηi + ; i Î 81, 2, 3< í q exp

8ΖHΩ1 ; g2 , g3 L, ΖHΩ3 ; g2 , g3 L< : KH1 - mL > ;

í 8e1 , e3 < 8e1 Hg2 , g3 L, e3 Hg2 , g3 L<.

ÃIÃ-1 Hz1 , z2 ; g2 , g3 L; g2 , g3 M z1 ; z2 4 z31 - g2 z1 - g3

Ã¢ IÃ-1 Hz1 , z2 ; g2 , g3 L; g2 , g3 M z2 ; z2 4 z31 - g2 z1 - g3 .

ΣHz; g2 , g3 L z exp à ΖHt; g2 , g3 L -

Σi Hz; g2 , g3 L ΣHz; g2 , g3 L ÃHz; g2 , g3 L - ei ; i Î 81, 2, 3<

Σn Hz; 0, 0L 1 ; n Î 81, 2, 3<.

At points z m Ω1 + n Ω3 ; 8m, n< Î Z, all Weierstrass functions ÃHz; g2 , g3 L, Ã¢ Hz; g2 , g3 L, ΣHz; g2 , g3 L,

Ã¢ Hm Ω1 + n Ω3 ; g2 , g3 L 0 ; : , n> Î Z ë :m, >ÎZ

ΣH2 m Ω1 + 2 n Ω3 ; g2 , g3 L 0 ; 8m, n< Î Z

Σi IH2 m + 1L Ωi + 2 n Ω j + 2 r Ωk ; g2 , g3 M 0 ; 8m, n, r< Î Z ì 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k

ΣH0; g2 , g3 L 0 ΣJ ; g2 , g3 N - ; i Î 81, 2, 3< ÃHΩ3 ; g2 , g3 L - ; Ω3 ¥

Σ j H0; g2 , g3 L 1 ; j Î 81, 2, 3<

ÃHz + 2 m Ω1 + 2 n Ω3 ; g2 , g3 L ÃHz; g2 , g3 L ; 8m, n< Î Z

Ã¢ Hz + 2 m Ω1 + 2 n Ω3 ; g2 , g3 L Ã¢ Hz; g2 , g3 L ; 8m, n< Î Z.

ΣHz + 2 Ωn ; g2 , g3 L -ã2 Ηn Iz+Ωn M ΣHz; g2 , g3 L ; n Î 81, 2, 3<

ΣHz + 2 m Ω1 + 2 n Ω2 + 2 r Ω3 ; g2 , g3 L H-1Ln r+r m+m n +m+n+r ã2 Im Η1 +n Η2 +r Η3 M Iz+m Ω1 +n Ω2 +r Ω3 M ΣHz; g2 , g3 L ; 8m, n, r< Î Z

Σn Hz + 2 Ωn ; g2 , g3 L -ã2 Ηn Iz+Ωn M Σn Hz; g2 , g3 L ; n Î 81, 2, 3<

Σn Iz + 2 Ω j ; g2 , g3 M ã2 Η j Iz+Ω j M Σn Hz; g2 , g3 L ; 8n, j< Î 81, 2, 3< ì n ¹ j

Σi Iz + 2 m Ωi + 2 n Ω j + 2 r Ωk ; g2 , g3 M H-1Ln r+r m+m n +m ã2 Im Ηi +n Η j +r Ηk M Iz+m Ωi +n Ω j +r Ωk M Σi Hz; g2 , g3 L ;

ΖHz + 2 m Ω1 + 2 n Ω2 + 2 r Ω3 ; g2 , g3 L ΖHz; g2 , g3 L + 2 m Η1 + 2 n Η2 + 2 r Η3 ; 8m, n, r< Î Z.

ÃHz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL ÃHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

Ã¢ Hz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL Ã¢ Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

ΣHz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL ΣHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

ΖHz; g2 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 L, g3 Ha Ω1 + b Ω3 , c Ω1 + d Ω3 LL ΖHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ;

ÃHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL ÃHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL

Ã¢ HΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Ã¢ Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL

ΣHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Λ ΣHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL

Σn HΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Σn Hz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL ; n Î 81, 2, 3<

ΖHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL ΖHz; g2 HΩ1 , Ω3 L, g3 HΩ1 , Ω3 LL.

ÃHz ; g2 , g3 L ÃHz; g2 , g3 L Ã¢ Hz ; g2 , g3 L Ã¢ Hz; g2 , g3 L

ΣHz ; g2 , g3 L ΣHz; g2 , g3 L Σn Hz ; g2 , g3 L Σn Hz; g2 , g3 L ; n Î 81, 2, 3<

ΖHz ; g2 , g3 L ΖHz; g2 , g3 L Ã-1 Hz ; g2 , g3 L Ã-1 Hz; g2 , g3 L .

Σn H-z; g2 , g3 L Σn Hz; g2 , g3 L ; n Î 81, 2, 3<.

Ã¢ H-z; g2 , g3 L -Ã¢ Hz; g2 , g3 L

ÃHz; g2 , g3 L + â ak z2 k-2 ; a2 í a3 í ak â al ak-l

Ã¢ Hz; g2 , g3 L - + â H2 k - 2L ak z2 k-3 ; a2 í a3 í ak â al ak-l

m < 0 ë n < 0 í am,n Hn + 1L am-2,n+1 - H2 m + 3 n - 1L H4 m + 6 n - 1L am-1,n + 3 Hm + 1L am+1,n-1

ÃHz + Ω1 ; g2 , g3 L - â H-1Lk ; q exp

ÃHz + Ω2 ; g2 , g3 L - â H-1Lk ; q exp

logHΣHz; g2 , g3 LL log +4â ; q exp

logHΣ1 Hz; g2 , g3 LL + 4 â H-1Lk ; q exp

logHΣ2 Hz; g2 , g3 LL + 4 â H-1Lk ; q exp

logHΣ3 Hz; g2 , g3 LL +4â ; q exp

ΖHz; g2 , g3 L â cot ; 8i, j< Î 81, 2, 3< ì i ¹ j.

ΣHz; g2 , g3 L z exp à ΖHt; g2 , g3 L -

Ã-1 Hz; g2 , g3 L à â t ; z Î R í ReI4 z3 - g2 z - g3 M > 0

ÃHz; g2 , g3 L ei + ä tan4 ; 8i, j< Î 81, 2, 3< ì i ¹ j

ΣHz; g2 , g3 L ä 1- ; 8i, j< Î 81, 2, 3< ì i ¹ j

Σi Hz; g2 , g3 L exp ä 1- ; 8i, j< Î 81, 2, 3< ì i ¹ j

Σ1 Hz; g2 , g3 L cos ä ; q exp

Σ2 Hz; g2 , g3 L exp ä ; q exp

Σ3 Hz; g2 , g3 L exp ä ; q exp

Σ2 HΩ1 ; g2 , g3 L exp ä ; q exp

Σ3 HΩ1 ; g2 , g3 L exp ä ; q exp

ÃHä z; g2 , g3 L -ÃHz; g2 , -g3 L

ΖHä z; g2 , g3 L -ä ΖHz; g2 , -g3 L.