WeierstrassP

Notations

Traditional name

Weierstrass elliptic function

Traditional notation
ÃHz; g2 , g3 L

Mathematica StandardForm notation

WeierstrassPAz, 9g2 , g3 =E

Primary definition
09.13.02.0001.01

ÃHz; g2 , g3 L Š + ⠐; 8Ω1 , Ω3 < Š 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

1 ¥ 1 1
Hz - 2 m Ω1 - 2 n Ω3 L2 H2 m Ω1 + 2 n Ω3 L2
-
z2
8m,n<¹80,0<
m, n=-¥

Special notations for this file:

8Ω1 , Ω3 < Š 8Ω1 Hg2 , g3 L, Ω3 Hg2 , g3 L<

09.13.02.0002.01

8Ω1 , Ω2 , Ω3 < Š 8Ω1 Hg2 , g3 L, -Ω1 Hg2 , g3 L - Ω3 Hg2 , g3 L, Ω3 Hg2 , g3 L<

09.13.02.0003.01

en Š ÃHΩn ; g2 , g3 L ì n Î 81, 2, 3<

09.13.02.0004.01

Ηn Š ΖHΩn ; g2 , g3 L ì n Î 81, 2, 3<

09.13.02.0005.01

09.13.02.0006.01
Π ä Ω3
q Š exp
Ω1

Specific values

Specialized values
For fixed z
http://functions.wolfram.com 2

Degenerate case:
09.13.03.0001.01
1
ÃHz; 0, 0L Š
z2
09.13.03.0002.01

3 3
ÃHz; 3, 1L Š cot2 z +1
2 2

For fixed 8g2 , g3 <

Values at quarter-periods

Σ Β HΩΑ ; g2 , g3 L
09.13.03.0003.01

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

Values at half-periods

8ÃHΩ1 ; g2 , g3 L, ÃHΩ2 ; g2 , g3 L, ÃHΩ3 ; g2 , g3 L< Š 8e1 Hg2 , g3 L, e2 Hg2 , g3 L, e3 Hg2 , g3 L<

09.13.03.0004.01

Values at poles

ÃH2 m Ω1 + 2 n Ω3 ; g2 , g3 L Š ¥
Ž ; 8m, n< Î Z
09.13.03.0005.01

Values at fixed points

Equianharmonic case 8g2 , g3 < Š 80, 1<
09.13.03.0006.01
1
ÃHΩ1 ; 0, 1L Š
3
4
09.13.03.0007.01
ÃHΩ2 ; 0, 1L Š 4-13 ã4 Π ä3
09.13.03.0008.01
ÃHΩ3 ; 0, 1L Š 4-13 ã2 Π ä3

09.13.03.0009.01

Š Iei - e j M Hei - ek L ; 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k ì 8g2 , g3 < Š 80, 1<
Ωi 2
à ; 0, 1 - ei
2

Lemniscatic case 8g2 , g3 < Š 81, 0<

09.13.03.0010.01
1
ÃHΩ1 ; 1, 0L Š
2
http://functions.wolfram.com 3

09.13.03.0011.01
ÃHΩ2 ; 1, 0L Š 0

09.13.03.0012.01
1
ÃHΩ3 ; 1, 0L Š -
2

Values at infinities
09.13.03.0013.01

ÃHz; g2 HΩ1 , ¥
Ž L, g HΩ , ¥
Ž LL Š Π 2 1 1

sin J 2 Ω N
3 1 -
2 Ω1 2 Πz 3
1

09.13.03.0014.01

ÃHz; g2 H¥
Ž , Ω L, g H¥
Ž , Ω LL Š
2
Π 1 1

sin J 2 Ω N
3 3 3 -
2 Ω3 2 Πz 3
3

09.13.03.0015.01

ÃHz; g2 H¥ Ž L, g H¥
Ž,¥
3
Ž LL Š 1
Ž,¥
z2

Ž ; g H¥ Ž L, g H¥ Ž LL Š 0
09.13.03.0016.01
ÃH¥ Ž,¥ Ž,¥
2 3

09.13.03.0017.01

ÃHΩ1 ; g2 , g3 L Š ; Ω3 Š ¥
3 g3 Ž
g2
09.13.03.0018.01

ÃH-Ω1 - Ω3 ; g2 , g3 L Š - ; Ω3 Š ¥
3 g3 Ž
g2
09.13.03.0019.01

ÃHΩ3 ; g2 , g3 L Š - ; Ω3 Š ¥
3 g3 Ž
g2

General characteristics

Domain and analyticity

ÃHz; g2 , g3 L is an analytical function of z, g2 , and g3 , which is defined in C3 .

Hz * 8g2 * g3 <L™ÃHz; g2 , g3 L › HC Ä 8C Ä C<L™C

09.13.04.0001.01

Symmetries and periodicities

Parity

ÃHz; g2 , g3 L is an even function with respect to z.

http://functions.wolfram.com 4

ÃHz; g2 , g3 L Š ÃH-z; g2 , g3 L
09.13.04.0002.01

Mirror symmetry

ÃHz ; g2 , g3 L Š ÃHz; g2 , g3 L
09.13.04.0003.01

Periodicity

ÃHz; g2 , g3 L is a doubly periodic function 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

09.13.04.0004.01

Transformation of half-periods

Ã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 ;

09.13.04.0005.01

8a, b, c, d< Î Z ì a d - b c Š ±1

Homogeneity
09.13.04.0006.01

ÃHz t; g2 , g3 L Š ÃIz; g2 t4 , g3 t6 M ; t Î R
1
t2

g2 HΩ1 , Ω3 L g3 HΩ1 , Ω3 L
09.13.04.0007.01

ÃHΛ z; g2 HΛ Ω1 , Λ Ω3 L, g3 HΛ Ω1 , Λ Ω3 LL Š Ã Λ z; ,
Λ4 Λ6
09.13.04.0008.01

Ã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

Poles and essential singularities

With respect to z

For fixed g2 , g3 , the function ÃHz; g2 , g3 L has 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 two with residues 0;
Ž
b) z Š ¥ is an essential singular point.

Singz HÃHz; g2 , g3 LL Š 8882 m Ω1 + 2 n Ω3 , 2< ; 8m, n< Î Z<, 8¥

09.13.04.0009.01
Ž , ¥<<

resz HÃHz; g2 , g3 LL H2 m Ω1 + 2 n Ω3 L Š 0 ; 8m, n< Î Z

09.13.04.0010.01

Branch points
With respect to z

For fixed g2 , g3 , the function ÃHz; g2 , g3 L does not have branch points.
http://functions.wolfram.com 5

BPz HÃHz; g2 , g3 LL Š 8<

09.13.04.0011.01

Branch cuts
With respect to z

For fixed g2 , g3 , the function ÃHz; g2 , g3 L does not have branch cuts.

BCz HÃHz; g2 , g3 LL Š 8<

09.13.04.0012.01

Series representations

Generalized power series

Expansions at z Š 0
09.13.06.0013.01

ÃHz; g2 , g3 L µ z4 + ¼ ; Hz ® 0L
1 g2 g3
+ z2 +
z2 20 28

09.13.06.0014.01

ÃHz; g2 , g3 L µ z4 + OIz6 M
1 g2 g3
+ z2 +
z2 20 28

09.13.06.0001.01

Ã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

09.13.06.0002.01

ÃHz; g2 , g3 L Š + â H2 k + 1L â
1 ¥ ¥ 1
H2 m Ω1 + 2 n Ω3 L
z2 k
2 2 k+2
z
8m,n<¹80,0<
k=1 m, n=-¥

09.13.06.0015.01

ÃHz; g2 , g3 L µ I1 + OIz4 MM
1
z2

q-series
09.13.06.0003.01

ÃHz; g2 , g3 L Š - â
Η1 Π 2 Πz 2 Π2 ¥ k q2 k kΠz
+ csc2 - cos
Ω1 2 Ω1 2 Ω1 Ω21 k=1 1-q 2k Ω1

09.13.06.0004.01

ÃHz + Ω1 ; g2 , g3 L Š - â H-1Lk
Η1 Π 2 Πz 2 Π2 ¥ k q2k kΠz
+ sec2 - cos
Ω1 2 Ω1 2 Ω1 Ω21 k=1 1 - q2 k Ω1

09.13.06.0005.01

ÃHz + Ω2 ; g2 , g3 L Š - â H-1Lk
Η1 2 Π2 ¥ k qk kΠz
- cos
Ω1 Ω21 k=1 1 - q2 k Ω1
http://functions.wolfram.com 6

09.13.06.0006.01

ÃHz + Ω3 ; g2 , g3 L Š - â
Η1 2 Π2 ¥ k qk kΠz
- cos
Ω1 Ω21 k=1 1-q 2k Ω1

Other series representations

09.13.06.0007.01

ÃHz; g2 , g3 L Š + â
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=-¥

09.13.06.0008.01

Ã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

09.13.06.0009.01

ÃHz; g2 , g3 L Š â â â â
¥ ¥ 1 1 ¥ ¥ 1 Π2
Hz + 2 m Ω1 + 2 n Ω3 L2 Hm Ω1 + n Ω3 L2
- -
m=-¥ n=-¥ 2 n=-¥ m=1 12 Ω23

09.13.06.0010.01

ÃHz; g2 , g3 L2 Š + â â
g2 ¥ ¥ 1
12 m=-¥ n=-¥ Hz - 2 m Ω1 - 2 n Ω3 L4

Π Iz - 2 n Ω j M
09.13.06.0011.01

ÃHz; g2 , g3 L Š - â csc2 ; 8i, j< Î 81, 2, 3< ì i ¹ j

Ηi Π2 ¥
+
Ωi 4 Ω2i n=-¥ 2 Ωi

Π Hz - 2 k Ω3 L
09.13.06.0012.01

ÃHz; g2 , g3 L Š + â csc2 - 2 â csc2

Π 2 1 ¥ ¥ Π k Ω3
-
2 Ω1 3 k=-¥
2 Ω1 k=1
Ω1

Integral representations

On the real axis

Of the direct function
09.13.07.0001.01

ÃHz; g2 , g3 L Š à coshHt Ω3 L + ã - 1 “ sinh t HΩ1 - Ω3 L sinh t HΩ1 + Ω3 L +

1 1 ¥ t
- Ω3
t Ω3 tz 1 1
+ t 2 sinh cosh
z2 4 0 2 2 2 2

“ sin t HΩ1 - Ω3 L sin t HΩ1 + Ω3 L

ät
Ω3
tz t Ω3 1 1
ã2 1 - cos cos ât
2 2 2 2

Involving related functions

09.13.07.0002.01

ÃHz; g2 , g3 L Š +à â Ht; g2 , g3 L +
1 z 2
ât
2
z 0 t3
http://functions.wolfram.com 7

09.13.07.0003.01

ÃHz; g2 , g3 L Š w ; z Š à ât í w Î R
w 1
¥
4 t3 - g2 t - g3

09.13.07.0004.01

à
¥
ât
zŠ
ÃIz;g2 ,g3 M 4 t3 - g2 t - g3

Product representations
09.13.08.0001.01

cos2 J N - sin J 2 Ω N
k Π Ωj 2
Πz

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

2

ä tan4
Π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

09.13.08.0002.01

1 + 2 q2 n cosJ Ω N + q4 n
Πz 2

ÃHz; g2 , g3 L Š e1 + ä
¥ 4
Π2 Πz 1 - q2 n

1 - 2 q2 n cosJ Ω N + q4 n
1
cot2
4 Ω21 2 Ω1 n=1 1 + q2 n Πz
1

09.13.08.0003.01

1 + 2 q2 n-1 cosJ Ω N + q4 n-2

Πz 2

ÃHz; g2 , g3 L Š e2 + ä
¥ 4
Π2 Πz 1 - q2 n

cosJ Ω N + q4 n
1
csc2
4 Ω21 2 Ω1 n=1 1+q 2 n-1
1-2q 2n Πz
1

09.13.08.0004.01

1 - 2 q2 n-1 cosJ Ω N + q4 n-2

Πz 2

ÃHz; g2 , g3 L Š e3 + ä
¥ 4
Π2 Πz 1 - q2 n

1 - 2 q2 n cosJ Ω N + q4 n
1
csc2
4 Ω21 2 Ω1 n=1 1 - q2 n-1 Πz
1

Differential equations

Ordinary nonlinear differential equations

Every solution of the following nonlinear equation is of the form ÃHz + a; g2 , g3 L for some Α Î C.

w¢ HzL2 - 4 wHzL3 + g2 wHzL + g3 ; wHzL Š ÃHz + a; g2 , g3 L

09.13.13.0001.01

09.13.13.0002.01

w HzL - 6 wHzL2 + Š 0 ; wHzL Š ÃHa + z; g2 , g3 L

g2
²
2

w HzL - 12 wHzL w¢ HzL Š 0 ; wHzL Š ÃHa + z; g2 , g3 L

H3L
09.13.13.0003.01

à 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

09.13.13.0004.01
¢
http://functions.wolfram.com 8

09.13.13.0005.01

w¢ HzL4 - Ha + wHzLL2 Hb + wHzLL Š 0 ; wHzL Š 6 à z; H-2L Ha - bL, 0

2
128 3
1
-b
3 3

Partial differential equations

¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L

09.13.13.0006.01

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

09.13.13.0007.01

- 2 ΖHz; g2 , g3 L
2 g2
12 g3 + g22 Š -
¶g2 3 ¶g3 ¶z 3 ¶z2 3

¶ÃHz; g2 , g3 L ¶ÃHz; g2 , g3 L
09.13.13.0008.01

Ω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

09.13.13.0009.01

+ ΖHz; g2 , g3 L
g2
Η1 + Η3 Š- +
¶Ω1 ¶Ω3 ¶z 3 ¶ x2 6

Transformations

Transformations and argument simplifications

Argument involving basic arithmetic operations

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

09.13.16.0001.01

Addition formulas
Translation by half-periods

Ie j - ek M Ie j - el M
09.13.16.0002.01

ÃIz ± Ω j ; g2 , g3 M Š e j + ; 8i, j, k< Î 81, 2, 3< ì i ¹ j ¹ k

ÃHz; g2 , g3 L - e j

1 â Hz1 ; g2 , g3 L - â Hz2 ; g2 , g3 L
09.13.16.0003.01

ÃHz1 + z2 ; g2 , g3 L Š - ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L

2

4 ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L

09.13.16.0004.01

ÃHz1 + z2 ; g2 , g3 L Š -â Hz1 ; g2 , g3 L â Hz2 ; g2 , g3 L + 2 ÃHz1 ; g2 , g3 L ÃHz2 ; g2 , g3 L HÃHz1 ; g2 , g3 L + ÃHz2 ; g2 , g3 LL -

g2 HÃHz1 ; g2 , g3 L + ÃHz2 ; g2 , g3 LL - g3 “ I2 HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL2 M

1
2
http://functions.wolfram.com 9

09.13.16.0005.01

ÃHz1 + z2 ; g2 , g3 L Š K2 KÃHz1 ; g2 , g3 L ÃHz2 ; g2 , g3 L - O HÃHz1 ; g2 , g3 L + ÃHz2 ; g2 , g3 LL - g3 - â Hz1 ; g2 , g3 L â Hz2 ; g2 , g3 LO “

g2

I2 HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL2 M

4

09.13.16.0006.01

ÃHz1 ± z2 ; g2 , g3 L Š KHÃHz1 ; g2 , g3 L + ÃHz2 ; g2 , g3 LL K2 ÃHz1 ; g2 , g3 L ÃHz2 ; g2 , g3 L - O - Hg3 ¡ â Hz1 ; g2 , g3 L â Hz2 ; g2 , g3 LLO “

g2

I2 HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL2 M

2

1 ¶ â Hz1 ; g2 , g3 L ± â Hz2 ; g2 , g3 L
09.13.16.0007.01

ÃHz1 ± a; g2 , g3 L Š ÃHz1 ; g2 , g3 L -
2 ¶z1 ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L

1 â Hz1 ; g2 , g3 L ¡ â Hz2 ; g2 , g3 L
09.13.16.0008.01

ÃHz1 ± z2 ; g2 , g3 L Š -ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L +

2

4 ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L

09.13.16.0009.01

ÃHz1 + z2 ; g2 , g3 L Š ÃHz2 ; g2 , g3 L + â
¥ 1 1
Hz2 + z1 - 2 m Ω1 - 2 n Ω3 L2 Hz2 - 2 m Ω1 - 2 n Ω3 L2
-
m,n=-¥

ÃHz1 + z2 ; g2 , g3 L + ÃHz1 - z2 ; g2 , g3 L Š
09.13.16.0010.01

2 ÃHz1 ; g2 , g3 L + Iâ Hz1 ; g2 , g3 L2 - ò Hz1 ; g2 , g3 L HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LLM ‘ HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL2

â Hz1 ; g2 , g3 L â Hz2 ; g2 , g3 L
09.13.16.0011.01

ÃHz1 + z2 ; g2 , g3 L - ÃHz1 - z2 ; g2 , g3 L Š -
HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL2

ÃHz1 + z2 ; g2 , g3 L ÃHz1 - z2 ; g2 , g3 L Š
09.13.16.0012.01

KÃHz1 ; g2 , g3 L ÃHz2 ; g2 , g3 L + O + g3 HÃHz1 ; g2 , g3 L + ÃHz2 ; g2 , g3 LL “ HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL2

g2 2

Half-angle formulas
09.13.16.0013.01

Ã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

Multiple arguments
Argument involving numeric multiples of variable

Double angle formulas

http://functions.wolfram.com 10

IÃHz; g2 , g3 L2 + M + 2 g3 ÃHz; g2 , g3 L
09.13.16.0014.01

ÃH2 z; g2 , g3 L Š
g2 2

4 ÃHz; g2 , g3 L3 - g2 ÃHz; g2 , g3 L - g3
4

1 ò Hz; g2 , g3 L
09.13.16.0015.01

ÃH2 z; g2 , g3 L Š -2 ÃHz; g2 , g3 L +
2

4 â Hz; g2 , g3 L

4 ÃH2 z; g2 , g3 L Š ÃHz; g2 , g3 L + ÃHz - Ω1 ; g2 , g3 L + ÃHz - Ω2 ; g2 , g3 L + ÃHz - Ω3 ; g2 , g3 L

09.13.16.0016.01

IÃHz; g2 , g3 L2 + M + 2 g3 ÃHz; g2 , g3 L
09.13.16.0017.01

ÃH2 z; g2 , g3 L Š
g2 2

â Hz; g2 , g3 L2
4

Argument involving symbolic multiples of variable

Multiple angle formulas:

09.13.16.0018.01

Ã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

09.13.16.0019.01

ÃHn z; g2 , g3 L Š ÃHz; g2 , g3 L - ; n Î N+ í Ψ1 Š 1 í Ψ2 Š -â Hz; g2 , g3 L í

Ψn+1 Ψn-1
Ψ2n

Ψ3 Š 3 ÃHz; g2 , g3 L4 - g2 ÃHz; g2 , g3 L2 - 3 g3 ÃHz; g2 , g3 L - í Ψ4 Š â Hz; g2 , g3 L

3 g22
2 16

-2 ÃHz; g2 , g3 L6 + ÃHz; g2 , g3 L4 + 10 g3 ÃHz; g2 , g3 L3 + ÃHz; g2 , g3 L2 + ÃHz; g2 , g3 L + g23 - í

5 g2 5 g22 g2 g3 g32
2 8 2 32

Ψ n Ψ n +2 Ψ2n -1 - Ψ n -2 Ψ2n +1 ; Î N í Ψn Š Ψ n-1 ;

1 n n-1
à Hz; g2 , g3 L
Ψn Š - Ψ3n-1 - Ψ n-1 Ψ3n-1 ÎN
¢ +2 -1 +1
2 2 2 2 2 2 2 2 2 2 2

Determinants involving derivatives

1 ÃHz1 ; g2 , g3 L â Hz1 ; g2 , g3 L
09.13.16.0020.01

1 ÃHz2 ; g2 , g3 L â Hz2 ; g2 , g3 L Š
1 ÃHz3 ; g2 , g3 L â Hz3 ; g2 , g3 L
-H2 ΣHz2 - z3 ; g2 , g3 L ΣHz1 - z2 ; g2 , g3 L ΣHz1 - z3 ; g2 , g3 L ΣHz1 + z2 + z3 ; g2 , g3 LL ‘ IΣHz1 ; g2 , g3 L3 ΣHz2 ; g2 , g3 L3 ΣHz3 ; g2 , g3 L3 M
http://functions.wolfram.com 11

1 ÃHz0 ; g2 , g3 L â Hz0 ; g2 , g3 L ¼ ÃHn-1L Hz0 ; g2 , g3 L

09.13.16.0021.01

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

Related transformations

Halving half-period
09.13.16.0022.01

Š 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
09.13.16.0023.01

Š à Hz; g2 , g3 L + ÃHz + Ω1 ; g2 , g3 L - e1
Ω1 Ω1
à z; g2 , Ω3 , g3 , Ω3
2 2

Third of half-period
09.13.16.0024.01

; 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

General fractions of half-periods

09.13.16.0025.01
Ω1 Ω1
à z; g2 , Ω2 , g3 , Ω2 Š
2n+1 2n+1

â J 2 n+11 ; g2 , g3 N + â Hz; g2 , g3 L2
2kΩ 2

â ; g2 , g3 - ÃHz; g2 , g3 L + ÃHz; g2 , g3 L ; n Î N
n 1 - ∆k,0 2 k Ω1
-2Ã
ÃJ 2 n+1 ; g2 , g3 N - ÃHz; g2 , g3 L
k=-n
4 2 k Ω1 2 2 2n+1
2

09.13.16.0026.01

Šâ à 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

Other constructions

â Hz1 ; g2 , g3 L - â Hz2 ; g2 , g3 L
09.13.16.0027.01

à Hz1 ; g2 , g3 L - à Hz2 ; g2 , g3 L
Š

H2 HÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 LL HÃHz1 + z2 ; g2 , g3 L - ÃHz1 ; g2 , g3 LL + ò Hz1 ; g2 , g3 LL

1
à Hz1 ; g2 , g3 L
¢

à Hz1 ; g2 , g3 L â Hz1 ; g2 , g3 L
09.13.16.0028.01

à Hz2 ; g2 , g3 L â Hz2 ; g2 , g3 L
1

1 à Hz1 + z2 ; g2 , g3 L -â Hz1 + z2 ; g2 , g3 L

1 Š0
http://functions.wolfram.com 12

Identities

Functional identities
Expressions involving a + b + c Š 0 modH2 Ω1 , 2 Ω3 L

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

09.13.17.0001.01

; 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

09.13.17.0002.01

; 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
Š

HÃHb; g2 , g3 L â Hc; g2 , g3 L - ÃHc; g2 , g3 L â Hb; g2 , g3 LL  HÃHb; g2 , g3 L - ÃHc; g2 , g3 LL Š

09.13.17.0003.01

HÃHc; g2 , g3 L â Ha; g2 , g3 L - ÃHa; g2 , g3 L â Hc; g2 , g3 LL  HÃHc; g2 , g3 L - ÃHa; g2 , g3 LL ;

a + b + c Š 2 m Ω1 + 2 n Ω3 ì 8m, n< Î Z

HÃHb; g2 , g3 L â Hc; g2 , g3 L - ÃHc; g2 , g3 L â Hb; g2 , g3 LL  HÃHb; g2 , g3 L - ÃHc; g2 , g3 LL Š

09.13.17.0004.01

HÃHa; g2 , g3 L â Hb; g2 , g3 L - ÃHb; g2 , g3 L â Ha; g2 , g3 LL  HÃHa; g2 , g3 L - ÃHb; g2 , g3 LL ;

a + b + c Š 2 m Ω1 + 2 n Ω3 ì 8m, n< Î Z

09.13.17.0005.01

KÃHa; g2 , g3 L ÃHb; g2 , g3 L + ÃHa; g2 , g3 L ÃHc; g2 , g3 L + ÃHb; g2 , g3 L ÃHc; g2 , g3 L + O Š

g2 2

H4 ÃHa; g2 , g3 L ÃHb; g2 , g3 L ÃHc; g2 , g3 L - g3 L HÃHa; g2 , g3 L + ÃHb; g2 , g3 L + ÃHc; g2 , g3 LL ;

4

a ± b ± c Š 2 m Ω1 + 2 n Ω3 ì 8m, n< Î Z

Generalization for arbitrary a, b, c, d

H4 ÃHa; g2 , g3 L ÃHb; g2 , g3 L ÃHc; g2 , g3 L - g3 L HÃHa; g2 , g3 L + ÃHb; g2 , g3 L + ÃHc; g2 , g3 LL -

09.13.17.0006.01

KÃHa; g2 , g3 L ÃHb; g2 , g3 L + ÃHa; g2 , g3 L ÃHc; g2 , g3 L + ÃHb; g2 , g3 L ÃHc; g2 , g3 L + O Š

g2 2

HΣHa + b + c; g2 , g3 L ΣHa + b - c; g2 , g3 L ΣHa - b + c; g2 , g3 L ΣH-a + b + c; g2 , g3 LL ‘ IΣHa; g2 , g3 L4 ΣHb; g2 , g3 L ΣHc; g2 , g3 L4 M

4
4

H4 ÃHa; g2 , g3 L ÃHb; g2 , g3 L ÃHc; g2 , g3 L - g3 L HÃHa; g2 , g3 L + ÃHb; g2 , g3 L + ÃHc; g2 , g3 LL -

09.13.17.0007.01

KÃHa; g2 , g3 L ÃHb; g2 , g3 L + ÃHa; g2 , g3 L ÃHc; g2 , g3 L + ÃHb; g2 , g3 L ÃHc; g2 , g3 L + O Š

g2 2

-HÃHb; g2 , g3 L - ÃHc; g2 , g3 LL HÃHa; g2 , g3 L - ÃHb + c; g2 , g3 LL HÃHa; g2 , g3 L - ÃHb - c; g2 , g3 LL

4
2

H4 ÃHa; g2 , g3 L ÃHb; g2 , g3 L ÃHc; g2 , g3 L - g3 L HÃHa; g2 , g3 L + ÃHb; g2 , g3 L + ÃHc; g2 , g3 LL -

09.13.17.0008.01

KÃHa; g2 , g3 L ÃHb; g2 , g3 L + ÃHa; g2 , g3 L ÃHc; g2 , g3 L + ÃHb; g2 , g3 L ÃHc; g2 , g3 L + O Š

g2 2

-HÃHc; g2 , g3 L - ÃHa; g2 , g3 LL HÃHb; g2 , g3 L - ÃHa + c; g2 , g3 LL HÃHb; g2 , g3 L - ÃHc - a; g2 , g3 LL

4
2
http://functions.wolfram.com 13

H4 ÃHa; g2 , g3 L ÃHb; g2 , g3 L ÃHc; g2 , g3 L - g3 L HÃHa; g2 , g3 L + ÃHb; g2 , g3 L + ÃHc; g2 , g3 LL -

09.13.17.0009.01

KÃHa; g2 , g3 L ÃHb; g2 , g3 L + ÃHa; g2 , g3 L ÃHc; g2 , g3 L + ÃHb; g2 , g3 L ÃHc; g2 , g3 L + O Š

g2 2

-HÃHa; g2 , g3 L - ÃHb; g2 , g3 LL HÃHc; g2 , g3 L - ÃHa + b; g2 , g3 LL HÃHc; g2 , g3 L - ÃHa - b; g2 , g3 LL

4
2

â Ha; g2 , g3 L - â Hb; g2 , g3 L â Hc; g2 , g3 L - â Hd; g2 , g3 L â Ha + b; g2 , g3 L - â Hc + d; g2 , g3 L

09.13.17.0010.01

ÃHa; g2 , g3 L - ÃHb; g2 , g3 L ÃHc; g2 , g3 L - ÃHd; g2 , g3 L ÃHa + b; g2 , g3 L - ÃHc + d; g2 , g3 L

+ + Š

â Ha; g2 , g3 L - â Hc; g2 , g3 L â Hb; g2 , g3 L - â Hd; g2 , g3 L â Ha + c; g2 , g3 L - â Hb + d; g2 , g3 L

ÃHa; g2 , g3 L - ÃHc; g2 , g3 L ÃHb; g2 , g3 L - ÃHd; g2 , g3 L ÃHa + c; g2 , g3 L - ÃHb + d; g2 , g3 L
+ +

Differentiation

Low-order differentiation
With respect to z

¶ÃHz; g2 , g3 L
09.13.20.0001.01

Š â Hz; g2 , g3 L
¶z

¶2 ÃHz; g2 , g3 L
09.13.20.0002.01

Š 6 ÃHz; g2 , g3 L2 -
g2
¶z2 2

¶3 ÃHz; g2 , g3 L
09.13.20.0003.01

Š 12 ÃHz; g2 , g3 L â Hz; g2 , g3 L
¶z3

¶4 ÃHz; g2 , g3 L
09.13.20.0004.01

Š 120 ÃHz; g2 , g3 L3 - 18 g2 ÃHz; g2 , g3 L - 12 g3

¶z4

With respect to g2

¶ÃHz; g2 , g3 L
09.13.20.0005.01

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
09.13.20.0006.01
2
Š
¶g22

-1 “ K32 Ig32 - 27 g23 M O Iz2 g52 - 2 I6 z2 ÃHz; g2 , g3 L2 - 4 ÃHz; g2 , g3 L + z â Hz; g2 , g3 LM g42 - 36 g3 Hz ΖHz; g2 , g3 L - 2L g32 +
2

216 g3 g22 I2 Hz ΖHz; g2 , g3 L - 1L ÃHz; g2 , g3 L2 + z â Hz; g2 , g3 L ÃHz; g2 , g3 L - â Hz; g2 , g3 L ΖHz; g2 , g3 LM +

54 g2 g23 I6 ΖHz; g2 , g3 L2 + 32 ÃHz; g2 , g3 L + 7 z â Hz; g2 , g3 LM +
324 g23 I-16 ÃHz; g2 , g3 L3 - 12 ΖHz; g2 , g3 L2 ÃHz; g2 , g3 L2 - 12 â Hz; g2 , g3 L ΖHz; g2 , g3 L ÃHz; g2 , g3 L + â Hz; g2 , g3 L2 + 4 g3 MM

With respect to g3
http://functions.wolfram.com 14

¶ÃHz; g2 , g3 L
09.13.20.0007.01

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

¶2 ÃHz; g2 , g3 L
09.13.20.0008.01
1

8 Ig32 - 27 g23 M
Š-
¶g23 2

I3 I2 g32 I6 ΖHz; g2 , g3 L2 + 28 ÃHz; g2 , g3 L + 5 z â Hz; g2 , g3 LM - 12 g22 I16 ÃHz; g2 , g3 L3 + 12 ΖHz; g2 , g3 L2 ÃHz; g2 , g3 L2 +

12 â Hz; g2 , g3 L ΖHz; g2 , g3 L ÃHz; g2 , g3 L - â Hz; g2 , g3 L2 + g3 H3 z ΖHz; g2 , g3 L - 10LM +
27 g2 g3 Ig3 z2 + 8 I2 Hz ΖHz; g2 , g3 L - 1L ÃHz; g2 , g3 L2 + z â Hz; g2 , g3 L ÃHz; g2 , g3 L - â Hz; g2 , g3 L ΖHz; g2 , g3 LMM +
54 g23 I-6 z2 ÃHz; g2 , g3 L2 + 8 ÃHz; g2 , g3 L + z â Hz; g2 , g3 LMMM

With respect to Ω1
09.13.20.0012.02

¶Ã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

With respect to Ω3
09.13.20.0013.02

¶Ã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

Symbolic differentiation
With respect to z

The n-th derivative of ÃHz; g2 , g3 L can be expressed in terms of ÃHz; g2 , g3 L and â Hz; g2 , g3 L by using the first two equations
above and the following recursive rule:

¶n ÃHz; g2 , g3 L ¶ ¶n-1 ÃHz; g2 , g3 L

09.13.20.0009.01

Š ; n Î N+
¶zn ¶z ¶zn-1

¶k ÃHz; g2 , g3 L
09.13.20.0010.01

Š H-1Lk Hk + 1L! â ⠐; k Î N+
¥ ¥ 1
¶z k
m=-¥ n=-¥ Hz - 2 m Ω1 - 2 n Ω3 L k+2

Fractional integro-differentiation
With respect to z
http://functions.wolfram.com 15

¶Α ÃHz; g2 , g3 L
09.13.20.0011.01

Š FCexp Hz, -2L z-Α-2 + 2 z1-Α â

HΑL
¥ 1
H2 m Ω1 + 2 n Ω3 L3
´
¶zΑ
8m,n<¹80,0<
m, n=-¥

Ž z
2 F1 1, 3; 2 - Α;
2 m Ω1 + 2 n Ω3

Integration

Indefinite integration
Involving only one direct function
09.13.21.0001.01

à ÃHz; g2 , g3 L â z Š -ΖHz; g2 , g3 L

Involving functions of the direct function

Involving elementary functions of the direct function

Involving rational functions of the direct function

09.13.21.0002.01

à
1
ÃHz; g2 , g3 L - ÃHa; g2 , g3 L
âz Š

HlogHΣHz - a; g2 , g3 LL - logHΣHa + z; g2 , g3 LL + 2 z ΖHa; g2 , g3 LL  â Ha; g2 , g3 L ; â Ha; g2 , g3 L ¹ 0

b + a ÃHz; g2 , g3 L
09.13.21.0003.01

à HlogHΣHz + Ν; g2 , g3 LL - logHΣHz - Ν; g2 , g3 LL - 2 z ΖHΝ; g2 , g3 LL ;

az ad-bc
d + c ÃHz; g2 , g3 L c2 â HΝ; g2 , g3 L
âz Š -
c

ÃHΝ; g2 , g3 L Š -
d
c
09.13.21.0004.01

à HlogHΣHz + Ν; g2 , g3 LL - logHΣHz - Ν; g2 , g3 LL - 2 z ΖHΝ; g2 , g3 LL ; ÃHΝ; g2 , g3 L Š -

âz 1 d
ÃHz; g2 , g3 L - Ν Ã HΝ; g2 , g3 L
Š
¢ c

Involving powers of the direct function

09.13.21.0005.01

à ÃHz; g2 , g3 L â z Š â Hz; g2 , g3 L +
1 z g2
2
6 12

1 ¶3 ÃHz; g2 , g3 L
09.13.21.0006.01

à ÃHz; g2 , g3 L â z Š g2 ΖHz; g2 , g3 L +
3 1
3
- z g3
120 ¶z3 20 10
http://functions.wolfram.com 16

¶5 ÃHz; g2 , g3 L
09.13.21.0007.01

à ÃHz; g2 , g3 L â z Š g2 â Hz; g2 , g3 L - g3 ΖHz; g2 , g3 L +

1 1 5 z g22
4
+
¶z5 30 7 336

Summation

Finite summation
09.13.23.0001.01

â à ; g2 , g3 Š 0 ; n - 1 Î N+
n-1 2 j Ω1 + 2 k Ω3
n
8 j,k<¹80,0<
j, k=0

Representations through more general functions

Through other functions

Involving some hypergeometric-type functions
09.13.26.0001.01

Ã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

Representations through equivalent functions

With inverse function

ÃIÃ-1 Hz; g2 , g3 L; g2 , g3 M Š z
09.13.27.0001.01

09.13.27.0002.01

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

With related functions

Involving other Weierstrass functions

¶ΖHz; g2 , g3 L
09.13.27.0003.01

ÃHz; g2 , g3 L Š -
¶z

16 ΣH3 z; g2 , g3 L
09.13.27.0004.01

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
09.13.27.0005.01

ÃHz; g2 , g3 L Š ei + ; i Î 81, 2, 3<

ΣHz; g2 , g3 L2
http://functions.wolfram.com 17

ΣHz1 + z2 ; g2 , g3 L ΣHz1 - z2 ; g2 , g3 L
09.13.27.0006.01

Ã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
09.13.27.0007.01

Ã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
09.13.27.0008.01

Š 2 HΖHz1 + z2 ; g2 , g3 L - ΖHz1 ; g2 , g3 L - ΖHz2 ; g2 , g3 LL

ÃHz1 ; g2 , g3 L - ÃHz2 ; g2 , g3 L

Involving Jacobi functions

09.13.27.0009.01

ÃHz; g2 , g3 L Š He1 - e3 L ns
e2 - e3 2
e1 - e3 z + e3
e1 - e3

09.13.27.0010.01

ÃHz; g2 , g3 L Š e3 + ; m Š Λ
e1 - e3 Ω3

e1 - e3 Ë mN
2 Ω1
snJz

Involving theta functions

09.13.27.0011.01

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

Πz 2

ÃHz; g2 , g3 L Š ei +
Π2
4 Ω21 Ji+1 H0, qL J1 J Π z , qN
1

2Ω 1

¶2 logJJ1 J 2 Ω , qNN
09.13.27.0012.01

H1, 0, qL
H0,2,0L
Πz

ÃHz; g2 , g3 L Š
Π2 J1
12 Ω1 J¢1 H0,
1
-
qL ¶z 2

Involving other related functions

09.13.27.0013.01

ÃHz; g2 , g3 L Š + x ; 8x, y< Š eexp z; a, b í

1 a 1
3 3 3
4 2

3 Iä + 3 N 9 g3 + + I3 ä + 3 N ä g2 “ 2 í
23
6 6 3
aŠ ä 3 81 g23 - 3 g32 2 3
9 g3 + 81 g23 - 3 g32

b Š - 3 3 I3 ä + 3 N g3 +
6
27 g23 - g32 + ä 81 g23 - 3 g32 3
9 g3 + 81 g23 - 3 g32 +

3 Iä + N ä g22 “ 22
23 23
3
2 g2 9 g3 + 81 g23 - 3 g32 + 3 23
9 g3 + 81 g23 - 3 g32
http://functions.wolfram.com 18

Theorems

Rational representation of double periodic functions

Any elliptic function EHzL with periods Ρ1 and Ρ2 can be expressed as a rational function of the Weierstrassian
elliptic 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 Ρ1 Š 2 Ω1 , Ρ2 Š 2 Ω3 .

Solution of Korteweg-de Vries equation

The elongation of a water wave in a shallow channel is described by the Korteweg-de Vries equation

¶w Hz, tL ¶w Hz, tL 1 ¶3 w Hz, tL

Š 3 wHz, tL - .
¶t ¶z 2 ¶z3

A solution to this nonlinear partial differential equation is given by

wHz, tL = 2 c1 ÃHc1 Hz - c2 tL + Ω¢ Hg2 , g3 L; g2 , g3 L - ; ΩHg2 , g3 L > 0, ä Ω¢ Hg2 , g3 L > 0.

c2
3

Algebraic independence of some Weierstrass functions

the three numbers ÃHz1 ; g2 , g3 L, ÃHz2 ; g2 , g3 L, ÃHz3 ; g2 , g3 L are algebraically independent over Q.
If the algebraic numbers z1 , z2 , z3 are linearly independent over Q and g2 , g3 are algebraic numbers, then two of

The Picard solution of a special case of the Painlevé VI- equation

The Picard solution of a special case of the Painlevé VI– equation,

w² HzL Š w¢ HzL -
2 w HzL - z w HzL w HzL - 1
1 1 1 1 2
+ +

w HzL Hw HzL - 1L Hw HzL - zL Hz - 1L z

w¢ HzL +
w HzL - z
1 1 1
2 Iz2 Hz - 1L2 M Hw HzL - zL2
+ + ,
z z-1

is given by

wHzL Š ÃHc1 KHzL + c2 KH1 - zL, 8Ω1 HzL, Ω2 HzL<L + ; 8Ω1 HzL, Ω2 HzL< = 8ΩH KHzL, KH1 - zLL, Ω¢ H KHzL, KH1 - zLL<.
z+1
3

Uniformization of elliptic curves

The general elliptic curve y2 Š f HxL Š a0 x4 + 4 a1 x3 + 6 a2 x2 + 4 a3 x + a4 can be uniformized (meaning x and y
can both be parameterized as a single-valued analytic function) through
http://functions.wolfram.com 19

f ¢ Hx0 L

4 IÃHz; g2 , g3 L - f ¢¢ Hx0 LM
xHzL Š x0 +
1

f ¢ Hx0 L â Hz; g2 , g3 L
24

4 IÃHz; g2 , g3 L - f ¢¢ Hx0 LM
yHzL Š - .
1 2
24

Here x0 is any zero of f HxL, and g2 = a0 a4 - 4 a1 a3 + 3 a22 , g3 = a0 a2 a4 + 2 a1 a2 a3 - a32 - a0 a23 - a21 a4 .

History
– N. H. Abel (1827)
– K. Weierstrass (1855, 1862)
– C. Hermite (1849) first used the notation Ã
http://functions.wolfram.com 20

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.