Elliptic Lambda Function
The elliptic lambda function lambda(tau) is a lambda-modular function defined on the upper half-plane by
where tau is the half-period ratio, q is the nome
| q=e^(ipitau) |
(2)
|
and theta_i(z,q) are Jacobi theta functions.
The elliptic lambda function is essentially the same as the inverse nome, the difference being that elliptic lambda function is a function of the half-period ratio tau, while the inverse nome is a function of the nome q, where q is itself a function of tau.
It is implemented as the Wolfram Language function ModularLambda [tau].
The elliptic lambda function lambda(tau) satisfies the functional equations
lambda(tau) has the series expansion
| lambda(tau)=16q-128q^2+704q^3-3072q^4+11488q^5+... |
(5)
|
(OEIS A115977), and 16/lambda(tau) has the series expansion
(OEIS A029845; Conway and Norton 1979; Borwein and Borwein 1987, p. 117).
lambda^*(r) gives the value of the elliptic modulus k_r for which the complementary K^'(k)=K(sqrt(1-k^2)) and normal complete elliptic integrals of the first kind K(k) are related by
i.e., the elliptic integral singular value for r. It can be computed from
where
| q_r=e^(-pisqrt(r)) |
(9)
|
and theta_i is a Jacobi theta function. lambda(tau) is related to lambda^*(r) by
| lambda^*(r)=sqrt(lambda(isqrt(r))). |
(10)
|
For all rational r, K(lambda^*(r)) and E(lambda^*(r)) are known as elliptic integral singular values, and can be expressed in terms of a finite number of gamma functions (Selberg and Chowla 1967). Values of lambda^*(r) for small r include
where
| x_(11)=(17+3sqrt(33))^(1/3). |
(28)
|
The algebraic orders of these are given by 2, 2, 4, 2, 8, 4, 4, 4, 8, 4, 12, 4, 8, 8, 8, 4, ... (OEIS A084540).
Some additional exact values are given by
Exact values can also be found for rational r, including
where (P(x))_n is a polynomial root.
lambda^*(r) is related to the Ramanujan g- and G-functions by
See also
Dedekind Eta Function, Elliptic Alpha Function, Elliptic Integral of the First Kind, Elliptic Modulus, Elliptic Integral Singular Value, Inverse Nome, j-Function, Jacobi Theta Functions, Klein's Absolute Invariant, Modular Function, Modular Group Lambda, Ramanujan g- and G-Functions, Weber FunctionsRelated Wolfram sites
http://functions.wolfram.com/EllipticFunctions/ModularLambda/Explore with Wolfram|Alpha
More things to try:
References
Borwein, J. M. and Borwein, P. B. Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, pp. 139 and 298, 1987.Bowman, F. Introduction to Elliptic Functions, with Applications. New York: Dover, pp. 75, 95, and 98, 1961.Conway, J. H. and Norton, S. P. "Monstrous Moonshine." Bull. London Math. Soc. 11, 308-339, 1979.Selberg, A. and Chowla, S. "On Epstein's Zeta-Function." J. reine angew. Math. 227, 86-110, 1967.Sloane, N. J. A. Sequences A029845, A084540, and A115977 in "The On-Line Encyclopedia of Integer Sequences."Watson, G. N. "Some Singular Moduli (1)." Quart. J. Math. 3, 81-98, 1932.Referenced on Wolfram|Alpha
Elliptic Lambda FunctionCite this as:
Weisstein, Eric W. "Elliptic Lambda Function." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/EllipticLambdaFunction.html