gives the modular lambda elliptic function
.
ModularLambda
gives the modular lambda elliptic function
.
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
- ModularLambda is defined only in the upper half of the complex
plane. It is not defined for real
. - The argument
is the ratio of Weierstrass half‐periods
. - ModularLambda gives the parameter
for elliptic functions in terms of
according to
. - ModularLambda is related to EllipticTheta by
where the nome
is given by
.
is invariant under any combination of the modular transformations
and
. »- For certain special arguments, ModularLambda automatically evaluates to exact values.
- ModularLambda can be evaluated to arbitrary numerical precision.
- ModularLambda can be used with CenteredInterval objects. »
- ModularLambda automatically threads over lists. »
Examples
open all close allBasic Examples (3)
Scope (23)
Numerical Evaluation (5)
ModularLambda[14.3 + I]ModularLambda[1.5 + I]N[ModularLambda[1 / 7 + I], 50]The precision of the output tracks the precision of the input:
ModularLambda[0.2000000000000000000 + I]Evaluate efficiently at high precision:
ModularLambda[I + 12`100]//TimingModularLambda[I + 8`100000];//TimingCompute the elementwise values of an array using automatic threading:
ModularLambda[{{I, 0}, {0, I}}]Or compute the matrix ModularLambda function using MatrixFunction:
MatrixFunction[ModularLambda, {{I, 0}, {0, I}}]ModularLambda can be used with CenteredInterval objects:
ModularLambda[CenteredInterval[8 + 2I, .2]]Specific Values (2)
ModularLambda[I ]Find the first positive minimum of ModularLambda[x+I]:
xmin = x /. FindRoot[Re[D[ModularLambda[x + I], x]] == 0, {x, 1}]Plot[Re[ModularLambda[x + I]], {x, -1, 4}, Epilog -> Style[Point[{xmin, Re[ModularLambda[xmin + I]]}], PointSize[Large], Red]]Visualization (3)
Plot the real part of ModularLambda:
Plot[Re[ModularLambda[t + I]], {t, -5, 5}]Plot the absolute value of ModularLambda:
Plot[Abs[ModularLambda[t + I]], {t, -5, 5}]Plot the real part of ModularLambda function:
ComplexContourPlot[Re[ModularLambda[z]], {z, -4 - 0.1 I, 4 + 3 I}, Contours -> 20]Plot the imaginary part of ModularLambda function:
ComplexContourPlot[Im[ModularLambda[z]], {z, -4 - 0.1 I, 4 + 3 I}, Contours -> 20]Function Properties (9)
ModularLambda is defined in the upper half-plane:
FunctionDomain[ModularLambda[x], x, Complexes]ModularLambda is a periodic function:
FunctionPeriod[ModularLambda[x + I], x]ModularLambda threads elementwise over lists:
ModularLambda[{0.2 + 2I, 0.3 + 2I, 0.4 + 2I}]ModularLambda is an analytic function on its domain:
FunctionAnalytic[{ModularLambda[x], Im[x] > 0}, x, Complexes]Therefore it has neither singularities nor discontinuities there:
Simplify[FunctionSingularities[ModularLambda[x], x, Complexes], Im[x] > 0]Simplify[FunctionDiscontinuities[ModularLambda[x], x, Complexes], Im[x] > 0]
is neither nondecreasing nor nonincreasing:
FunctionMonotonicity[Re[ModularLambda[x + I]], x]FunctionSurjective[Re[ModularLambda[x + I]], x]Plot[{Re[ModularLambda[x + I]], 2}, {x, -6, 6}]
is neither non-negative nor non-positive:
FunctionSign[Re[ModularLambda[x + I]], x]
is neither convex nor concave:
FunctionConvexity[Re[ModularLambda[x + I]], x]TraditionalForm formatting:
ModularLambda[τ]//TraditionalFormDifferentiation (2)
First derivative with respect to z:
D[ModularLambda[z], z]Higher derivatives with respect to z:
Table[D[ModularLambda[z + I], {z, k}], {k, 1, 3}]//FullSimplifyPlot the higher derivatives with respect to z:
Plot[Evaluate[Re[%]], {z, -3, 3}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]Series Expansions (2)
Find the Taylor expansion using Series:
Series[ModularLambda[x + I], {x, 0, 3}]//Normal//FullSimplifyPlots of the first three approximations around
:
terms = Re@Normal[Table[Series[ModularLambda[x + I], {x, 0, m}], {m, 1, 5, 2}]];
Plot[terms, {x, -2, 2}, PlotRange -> {-1, 1}]Taylor expansion at a generic point:
Series[ModularLambda[x + I], {x, x0, 2}]// Normal//FullSimplifyApplications (4)
Some modular properties of ModularLambda are automatically applied:
ModularLambda[τ + 2]Verify a more complicated identity numerically:
ModularLambda[τ / (1 - 2 τ)] == ModularLambda[τ] /. τ -> RandomComplex[{-3 + I / 10, 3 + 10 I}, {100}, WorkingPrecision -> 20]ModularLambda is a modular function. Make an ansatz for a modular equation:
(ansatz = With[{u = ModularLambda[z], v = ModularLambda[2z]}, Sum[Subscript[c, i, j]u ^ i v ^ j, {i, 0, 2}, {j, 0, 2}] /. Subscript[c, 2, 0] -> 1] == 0)//TraditionalFormForm an overdetermined system of equations and solve it:
eqs = Table[N[ansatz /. z -> N[1 / 3 + 1 / k + I / 3, 250], 50], {k, 3, 24}];sol = Solve[eqs, Flatten[Table[Subscript[c, i, j], {i, 0, 2}, {j, 0, 2}]]]//Chop//RationalizeThis is the modular equation of order 2:
ansatz /. First[sol]//TraditionalFormSolution of the Darboux–Halphen system:
w1[τ_] = 1 / 2 D[Log[ModularLambda'[τ] / ModularLambda[τ]], τ];
w2[τ_] = 1 / 2 D[Log[ModularLambda'[τ] / (ModularLambda[τ] - 1)], τ];
w3[τ_] = 1 / 2D[Log[ModularLambda'[τ] / (ModularLambda[τ](ModularLambda[τ] - 1))], τ];{D[w1[τ], τ] - (w1[τ](w2[τ] + w3[τ]) - w2[τ] w3[τ]), D[w2[τ], τ] - (w2[τ](w1[τ] + w3[τ]) - w1[τ] w3[τ]), D[w3[τ], τ] - (w3[τ](w1[τ] + w2[τ]) - w1[τ] w2[τ])}//FullSimplifyPlot the real part in the complex plane:
ContourPlot[Re[ModularLambda[x + I y]], {x, -1, 1}, {y, 0.2, 1.5}, AspectRatio -> Automatic]Properties & Relations (2)
Possible Issues (2)
Machine-precision input is insufficient to give a correct answer:
ModularLambda[10. ^ 22 Pi + I]With exact input, the answer is correct:
N[ModularLambda[10 ^ 22 Pi + I], 20]ModularLambda remains unevaluated outside of its domain of analyticity:
ModularLambda[1]N[%]Tech Notes
Related Guides
Related Links
History
Introduced in 1996 (3.0) | Updated in 2021 (13.0)
Text
Wolfram Research (1996), ModularLambda, Wolfram Language function, https://reference.wolfram.com/language/ref/ModularLambda.html (updated 2021).
CMS
Wolfram Language. 1996. "ModularLambda." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2021. https://reference.wolfram.com/language/ref/ModularLambda.html.
APA
Wolfram Language. (1996). ModularLambda. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/ModularLambda.html
BibTeX
@misc{reference.wolfram_2026_modularlambda, author="Wolfram Research", title="{ModularLambda}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/ModularLambda.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_modularlambda, organization={Wolfram Research}, title={ModularLambda}, year={2021}, url={https://reference.wolfram.com/language/ref/ModularLambda.html}, note=[Accessed: 13-June-2026]}