The Weierstrass elliptic functions (or Weierstrass -functions, voiced "-functions") are elliptic functions which, unlike the Jacobi elliptic functions, have a second-order pole at . To specify completely, its half-periods ( and ) or elliptic invariants ( and ) must be specified. These two cases are denoted and , respectively.
The Weierstrass elliptic function is implemented in the Wolfram Language as WeierstrassP[u, g2, g3]. Half-periods and invariants can be interconverted using the Wolfram Language commands WeierstrassInvariants[omega1, omega2] and WeierstrassHalfPeriods[g2, g3]. The derivative of a Weierstrass elliptic function is implemented as WeierstrassPPrime[u, g2, g3], and the inverse Weierstrass function is implemented as InverseWeierstrassP[p, g2, g3]. InverseWeierstrassP[p, q, g2, g3] finds the unique value of for which and .
The above plots show the Weierstrass elliptic function and its derivative for elliptic invariants and along the real axis.
The plots above show the Weierstrass -function and its derivatives for the elliptic invariants .
Specific cases of the elliptic invariants and are given the special names summarized in the following table (Abramowitz and Stegun 1972). The real half-period in the equianharmonic case is called the omega2-constant.
case name | ||
0 | 1 | equianharmonic case |
1 | 0 | lemniscate case |
0 | pseudolemniscate case |
The Weierstrass elliptic functions are defined by
(1)
|
(Whittaker and Watson 1990, p. 434), where the prime indicated that terms in the sum giving zero denominators are omitted. Write . Then this can be written
(2)
|
An equivalent definition which converges more rapidly is
(3)
|
(Whittaker and Watson 1990, p. 434). is an even function since gives the same terms in a different order.
The series expansion of is given by
(4)
|
where
(5)
| |||
(6)
|
and
(7)
|
for (Abramowitz and Stegun 1972, p. 635). The first few values for for in terms of and are given by
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
|
(Abramowitz and Stegun 1972, p. 636).
The Weierstrass elliptic function describes how to get from a torus giving the solutions of an elliptic curve to the algebraic form of the elliptic curve.
The differential equation from which Weierstrass elliptic functions arise can be found by expanding about the origin the function .
(15)
|
But and the function is even, so and
(16)
|
Taking the derivatives
(17)
| |||
(18)
| |||
(19)
| |||
(20)
|
So
(21)
| |||
(22)
|
Plugging in,
(23)
|
Define the elliptic invariants
(24)
| |||
(25)
|
then
(26)
| |||
(27)
|
(28)
| |||
(29)
|
Taking (29) minus (28) cancels out the term, giving
(30)
| |||
(31)
|
giving
(32)
|
But, from (◇)
(33)
|
so and (◇) can be written
(34)
|
But the Weierstrass elliptic function is analytic at the origin and therefore at all points congruent to the origin. There are no other places where a singularity can occur, so this function is an elliptic function with no singularities. By Liouville's elliptic function theorem, it is therefore a constant. But as , , so
(35)
|
(Whittaker and Watson 1990, pp. 436-437).
The solution to the differential equation
(36)
|
is therefore given by , providing that numbers and exist which satisfy the equations defining the elliptic invariants. Writing the differential equation in terms of its roots , , and ,
(37)
|
(Rainville 1971, p. 312),
(38)
|
(39)
|
(40)
|
(41)
|
(42)
|
Now take (◇) divided by 4 plus [(◇) divided by 4] quantity squared,
(43)
|
(44)
|
The term on the right is half the Schwarzian derivative.
The derivative of the Weierstrass elliptic function is given by
(45)
| |||
(46)
| |||
(47)
|
This is an odd function which is itself an elliptic function with pole of order 3 at . The integral is given by
(48)
|
The second derivative satisfies
(49)
|
(Apostol 1997, p. 23).
A duplication formula is obtained as follows.
(50)
| |||
(51)
| |||
(52)
| |||
(53)
|
(Apostol 1997, p. 24).
A general addition theorem is obtained as follows. Given
(54)
|
(55)
|
with zero and where , find the third zero . Consider . This has a pole of order three at , but the sum of zeros () equals the sum of poles for an elliptic function, so and .
(56)
|
(57)
|
Combining (◇), (◇), and (◇) gives
(58)
|
so
(59)
|
Defining where and gives the symmetric form
(60)
|
(Whittaker and Watson 1990, p. 440). To get the expression explicitly, start again with
(61)
|
where .
(62)
|
But from (◇), , so
(63)
|
The solutions are given by
(64)
|
But the sum of roots equals the coefficient of the squared term, so
(65)
|
(66)
|
(67)
|
(68)
|
(Whittaker and Watson 1990, p. 441).
Half-period identities include
(69)
| |||
(70)
| |||
(71)
| |||
(72)
|
Multiplying through,
(73)
|
(74)
|
which gives
(75)
| |||
(76)
|
From Whittaker and Watson (1990, p. 445),
(77)
|
The function is homogeneous,
(78)
|
(79)
|
To invert the function, find and of when given . Let , , and be the roots such that is not a real number or . Determine the half-period ratio from
(80)
|
Now pick
(81)
|
As long as , the periods are then
(82)
|
(83)
|
Weierstrass elliptic functions can be expressed in terms of Jacobi elliptic functions by
(84)
|
where
(85)
| |||
(86)
| |||
(87)
|
and the elliptic invariants are
(88)
| |||
(89)
|
Here, .
An addition formula for the Weierstrass elliptic function can be derived as follows (Whittaker and Watson 1990, p. 444).
(90)
|
Use
(91)
|
so
(92)
| |||
(93)
|
Use ,
(94)
| |||
(95)
|
But and
(96)
|
so
(97)
|
The periods of the Weierstrass elliptic function are given as follows. When and are real and , then , , and are real and defined such that .
(98)
| |||
(99)
| |||
(100)
|
The roots of the Weierstrass elliptic function satisfy
(101)
|
(102)
|
(103)
|
where . The s are roots of and are unequal so that . They can be found from the relationships
(104)
|
(105)
|
(106)
|