JacobiZeta[ϕ,m]
gives the Jacobi zeta function
.
JacobiZeta
JacobiZeta[ϕ,m]
gives the Jacobi zeta function
.
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
- The Jacobi zeta function is given in terms of elliptic integrals by
. - Argument conventions for elliptic integrals are discussed in "Elliptic Integrals and Elliptic Functions".
- JacobiZeta[ϕ,m] has branch cut discontinuities at
and at
. - For certain special arguments, JacobiZeta automatically evaluates to exact values.
- JacobiZeta can be evaluated to arbitrary numerical precision.
- JacobiZeta automatically threads over lists.
- JacobiZeta can be used with Interval and CenteredInterval objects. »
Examples
open all close allBasic Examples (4)
JacobiZeta[2, 0.5]Plot over a subset of the reals:
Plot[JacobiZeta[z, 0.5], {z, -5, 5}]Plot over a subset of the complexes:
ComplexPlot3D[JacobiZeta[z, 1 / 3], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series expansion about the origin:
Series[JacobiZeta[z, m], {z, 0, 4}]Scope (30)
Numerical Evaluation (5)
N[JacobiZeta[2, 3], 30]The precision of the output tracks the precision of the input:
JacobiZeta[2, 3.0000000000000000000000]Evaluate for complex arguments and parameters:
JacobiZeta[2 + 3 I, 0.8I]Evaluate JacobiZeta efficiently at high precision:
JacobiZeta[2, 0.3`500]//TimingJacobiZeta[2, 0.3`100000];//TimingCompute worst-case guaranteed intervals using Interval and CenteredInterval objects:
JacobiZeta[0.2, Interval[{0.34, 0.35}]]JacobiZeta[1 / 2, CenteredInterval[1 / 3, 1 / 100]]Or compute average-case statistical intervals using Around:
JacobiZeta[Pi / 4, Around[1 / 2, 0.01]]Compute the elementwise values of an array:
JacobiZeta[1.5, {{1, 1.2}, {2, 1.6}}]Or compute the matrix JacobiZeta function using MatrixFunction:
MatrixFunction[JacobiZeta[1.5, #]&, {{1, 1.2}, {2, 1.6}}]Specific Values (5)
Simple exact results are generated automatically:
JacobiZeta[ϕ, 0]JacobiZeta[Pi / 2, m]Exact values after FunctionExpand is applied:
{JacobiZeta[Pi / 3, 1], JacobiZeta[Pi / 4, 1], JacobiZeta[Pi / 5, 1]}//FunctionExpandJacobiZeta[ϕ, Infinity]Find a local maximum as a root of
:
xmax = Solve[D[JacobiZeta[ϕ, 1 / 2], ϕ] == 0 && 1 / 2 < ϕ < 2, ϕ][[1, 1, 2]]//FullSimplifyPlot[JacobiZeta[ϕ, 0.5], {ϕ, -3, 3}, Epilog -> Style[Point[{xmax, JacobiZeta[xmax, 0.5]}], PointSize[Large], Red]]JacobiZeta is an odd function with respect to the first argument:
JacobiZeta[-ϕ, m]Visualization (3)
Plot JacobiZeta as a function of its first parameter
:
Plot[{JacobiZeta[ϕ, 3 / 10], JacobiZeta[ϕ, 8 / 9], JacobiZeta[ϕ, 1]}, {ϕ, -4, 4}]Plot JacobiZeta as a function of its second parameter
:
Plot[{JacobiZeta[-π / 3, m], JacobiZeta[π / 3, m]}, {m, -6, 1}]ComplexContourPlot[Re[JacobiZeta[π / 3, z]], {z, -5 - 5I, 5 + 5I}, Contours -> 24]ComplexContourPlot[Im[JacobiZeta[π / 3, z]], {z, -5 - 5I, 5 + 5I}, Contours -> 24]Function Properties (6)
JacobiZeta is not an analytic function:
FunctionAnalytic[JacobiZeta[x, y], {x, y}]However, for fixed
,
is an analytic function of
:
FunctionAnalytic[JacobiZeta[x, y], x, Assumptions -> y < 1]Thus, for example,
has no singularities or discontinuities:
FunctionSingularities[JacobiZeta[x, 1 / 3], x]FunctionDiscontinuities[JacobiZeta[x, 1 / 3], x]
is neither nondecreasing nor nonincreasing:
FunctionMonotonicity[JacobiZeta[x, 1 / 3], x]FunctionInjective[JacobiZeta[x, 1 / 3], x]Plot[{JacobiZeta[x, 1 / 3], .05}, {x, -5, 5}]FunctionSurjective[JacobiZeta[x, 1 / 3], x]Plot[{JacobiZeta[x, 1 / 3], .15}, {x, -5, 5}]
is neither non-negative nor non-positive:
FunctionSign[JacobiZeta[x, 1 / 2], x]
is neither convex nor concave:
FunctionConvexity[JacobiZeta[x, 1 / 2], x]Differentiation and Integration (4)
D[JacobiZeta[ϕ, m], ϕ]derivs = Table[D[JacobiZeta[ϕ, m], {ϕ, n}], {n, 1, 3}]//FullSimplifyPlot[Evaluate[derivs /. m -> 0.5], {ϕ, -π, π}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]Differentiate with respect to its second parameter
:
D[JacobiZeta[ϕ, m], m]Definite integral of an odd function over an interval centered at the origin:
Integrate[JacobiZeta[ϕ, m], {ϕ, -3, 3}]Series Expansions (4)
Taylor expansion for JacobiZeta:
Series[JacobiZeta[ϕ, m], {ϕ, 0, 5}]//FullSimplifyPlot the first three approximations for
around
:
terms = Normal@Table[Series[JacobiZeta[ϕ, 1 / 2], {ϕ, 0, n}], {n, 1, 5, 2}];
Plot[{JacobiZeta[ϕ, 0.5], terms}, {ϕ, -2, 2}]Taylor expansion at the origin in the parameter
:
Series[JacobiZeta[ϕ, m], {m, 0, 3}]Plot the first three approximations for
around
:
terms = Normal@Table[Series[JacobiZeta[-π / 3, m], {m, 0, n}], {n, 1, 3}];
Plot[{JacobiZeta[-π / 3, m], terms}, {m, -2, 1}]Find series expansions at a branch point:
Series[JacobiZeta[ϕ, m], {m, 1, 0}, Assumptions -> m > 1]JacobiZeta can be applied to a power series:
JacobiZeta[ϕ, m + (m^2/2) + (m^3/3) + O[m]^4]Function Representations (3)
JacobiZeta[ϕ, m] == EllipticE[ϕ, m] - (EllipticE[m] /EllipticK[m])EllipticF[ϕ, m]//FullSimplifyRelation to other elliptic‐type functions:
JacobiZeta[z, m] == (1 - m) EllipticPi[m, z, m] - (EllipticE[m] /EllipticK[m])EllipticPi[0, z, m] + (m Sin[2 z]/2 Sqrt[1 - m Sin[z]^2])//FullSimplifyTraditionalForm formatting:
JacobiZeta[z, m]//TraditionalFormApplications (3)
Plot of the real part of JacobiZeta over the complex plane:
Plot3D[Re[JacobiZeta[x + I y, 0.3]], {x, -5, 5}, {y, -2, 2}]Supersymmetric zero‐energy solution of the Schrödinger equation in a periodic potential:
w[x_] := m^2JacobiSN[x, m]^2JacobiCD[x, m]^2 - (2 - m - (2 EllipticE[m]/EllipticK[m]));v[x_] = w[x]^2 + w'[x];ψ0[x_] := Exp[m JacobiCD[x, m] JacobiSN[x, m] - 2 JacobiZeta[JacobiAmplitude[x, m], m]] / 10Check the Schrödinger equation:
-D[ψ0[x], x, x] + v[x] ψ0[x] /. m -> 1 / 3 /. x -> 2`100Plot the superpotential, the potential and the wave function:
Plot[Evaluate[{w[x], v[x], ψ0[x]} /. m -> 0.8], {x, 0, 6}]z[w_, m_] := JacobiZeta[JacobiAmplitude[w, m], m] + w Pi / (EllipticK[m] EllipticK[1 - m])ParametricPlot[{Re[#], Im[#]}&[z[u + I v, 0.4]], {u, 0.01, EllipticK[0.39]}, {v, 0.01, EllipticK[0.59]}, Mesh -> 15]Properties & Relations (5)
Use FunctionExpand to express JacobiZeta in terms of incomplete elliptic integrals:
FunctionExpand[JacobiZeta[z, m]]{JacobiZeta[z, 1] , JacobiZeta[z, 1] , JacobiZeta[ArcCsc[Sqrt[m]], m]}FunctionExpand[%]Some special cases require argument restrictions:
JacobiZeta[z, 1]FunctionExpand[%]FunctionExpand[%, 0 < z < Pi / 2]Numerically find a root of a transcendental equation:
FindRoot[JacobiZeta[z, 2]^3 + JacobiZeta[z, 2] + z == 2, {z, I}]For real arguments, if
, then JacobiZN[u,m]JacobiZeta[ϕ,m] for
:
With[{m = 1 / 3}, {ParametricPlot[{ϕ, JacobiZeta[ϕ, m]}, {ϕ, -Pi, Pi}, PlotStyle -> Thick, AspectRatio -> 1], ParametricPlot[{JacobiAmplitude[u, m], JacobiZN[u, m]}, {u, -2EllipticK[m], 2EllipticK[m]}, PlotStyle -> Directive[Dashed, Orange], AspectRatio -> 1]}]Show[%, ImageSize -> Tiny]JacobiZeta[ϕ,m] is real valued for real arguments subject to
:
FunctionDomain[JacobiZeta[ϕ, m], {ϕ, m}, Reals]Possible Issues (4)
Machine-precision input may be insufficient to give a correct answer:
JacobiZeta[10. ^ 18, Pi]N[JacobiZeta[10 ^ 18, Pi], 30]A larger setting for $MaxExtraPrecision may be needed:
N[JacobiZeta[10 ^ 50, Pi], 30]Block[{$MaxExtraPrecision = 100}, N[JacobiZeta[10 ^ 50, Pi], 30]]JacobiZeta, function
of amplitude
, is not to be confused with JacobiZN, sometimes denoted as
and a function of elliptic argument
:
JacobiZeta[JacobiAmplitude[u, m], m] == JacobiZN[u, m] /. {u -> 2, m -> 0.45}JacobiZeta[ϕ, m] == JacobiZN[EllipticF[ϕ, m], m] /. {ϕ -> Pi / 3, m -> 0.45}The Wolfram Language JacobiZeta[ϕ,m] is a function of amplitude
and uses the following definition:
FunctionExpand[JacobiZeta[ϕ, m]]JacobiZN[u,m] is a function of elliptic argument
and uses the definition
, where
is JacobiEpsilon[u,m]:
FunctionExpand[JacobiZN[u, m]]To avoid confusion, JacobiZN uses a different TraditionalForm:
TraditionalForm[JacobiZN[u, m]]In traditional form, the vertical separator must be used:
Ζ(ϕ❘m)Tech Notes
Related Guides
Related Links
History
Introduced in 1991 (2.0) | Updated in 2020 (12.2)
Text
Wolfram Research (1991), JacobiZeta, Wolfram Language function, https://reference.wolfram.com/language/ref/JacobiZeta.html (updated 2020).
CMS
Wolfram Language. 1991. "JacobiZeta." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2020. https://reference.wolfram.com/language/ref/JacobiZeta.html.
APA
Wolfram Language. (1991). JacobiZeta. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/JacobiZeta.html
BibTeX
@misc{reference.wolfram_2026_jacobizeta, author="Wolfram Research", title="{JacobiZeta}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/JacobiZeta.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_jacobizeta, organization={Wolfram Research}, title={JacobiZeta}, year={2020}, url={https://reference.wolfram.com/language/ref/JacobiZeta.html}, note=[Accessed: 13-June-2026]}