KleinInvariantJ

KleinInvariantJ[τ]

gives the Klein invariant modular elliptic function TemplateBox[{tau}, KleinInvariantJ].

Details

  • Mathematical function, suitable for both symbolic and numerical manipulation.
  • The argument is the ratio of Weierstrass halfperiods .
  • KleinInvariantJ is given in terms of Weierstrass invariants by .
  • TemplateBox[{tau}, KleinInvariantJ] is invariant under any combination of the modular transformations and .
  • For certain special arguments, KleinInvariantJ automatically evaluates to exact values.
  • KleinInvariantJ can be evaluated to arbitrary numerical precision.
  • KleinInvariantJ automatically threads over lists.
  • KleinInvariantJ can be used with CenteredInterval objects. »

Examples

open allclose all

Basic Examples  (4)

Evaluate numerically:

Plot over a subset of the reals:

Plot over a subset of the complexes:

Series expansion at the origin:

Scope  (22)

Numerical Evaluation  (4)

Evaluate numerically:

Evaluate to high precision:

The precision of the output tracks the precision of the input:

Evaluate efficiently at high precision:

KleinInvariantJ can be used with CenteredInterval objects:

Specific Values  (2)

Values at fixed points:

Find the first positive maximum of the real part of KleinInvariantJ:

Visualization  (2)

Plot the real part of KleinInvariantJ:

Plot the real part of J(τ) function:

Plot the imaginary part of J(τ) function:

Function Properties  (10)

Complex domain of KleinInvariantJ:

KleinInvariantJ is a periodic function:

KleinInvariantJ threads elementwise over lists:

KleinInvariantJ is an analytic function on its domain of definition:

It has no singularities or discontinuities there:

Re(TemplateBox[{{x, +, ⅈ}}, KleinInvariantJ]) is neither nondecreasing nor nonincreasing:

KleinInvariantJ is not injective over the complexes:

Re(TemplateBox[{{x, +, ⅈ}}, KleinInvariantJ]) is not surjective:

Re(TemplateBox[{{x, +, ⅈ}}, KleinInvariantJ]) is neither non-negative nor non-positive:

Re(TemplateBox[{{x, +, ⅈ}}, KleinInvariantJ]) is neither convex nor concave:

TraditionalForm formatting:

Differentiation  (2)

First derivative with respect to τ:

The first and second derivatives with respect to τ:

Plot the first and second derivatives with respect to τ:

Series Expansions  (2)

Find the Taylor expansion using Series:

Plots of the first three approximations around :

Taylor expansion at a generic point:

Applications  (7)

Some modular properties of KleinInvariantJ are automatically applied:

Verify a more complicated identity numerically:

Find values at quadratic irrationals:

KleinInvariantJ is a modular function. Make an ansatz for a modular equation:

Form an overdetermined system of equations and solve it:

This is the modular equation of order 2:

Solution of the Chazy equation :

Plot the solution:

Plot the absolute value in the complex plane:

Plot the imaginary part in the complex plane:

Define the discriminant of the Weierstrass elliptic curve:

It can be computed as the ratio of a power of invariant and the discriminant:

Compare with the builtin function value:

Properties & Relations  (2)

Find derivatives:

Find a numerical root:

Possible Issues  (2)

Machine-precision input may be insufficient to give the correct answer:

With exact input, the answer is correct:

KleinInvariantJ remains unevaluated outside of its domain of analyticity:

Wolfram Research (1996), KleinInvariantJ, Wolfram Language function, https://reference.wolfram.com/language/ref/KleinInvariantJ.html (updated 2021).

Text

Wolfram Research (1996), KleinInvariantJ, Wolfram Language function, https://reference.wolfram.com/language/ref/KleinInvariantJ.html (updated 2021).

CMS

Wolfram Language. 1996. "KleinInvariantJ." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2021. https://reference.wolfram.com/language/ref/KleinInvariantJ.html.

APA

Wolfram Language. (1996). KleinInvariantJ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/KleinInvariantJ.html

BibTeX

@misc{reference.wolfram_2023_kleininvariantj, author="Wolfram Research", title="{KleinInvariantJ}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/KleinInvariantJ.html}", note=[Accessed: 19-March-2024 ]}

BibLaTeX

@online{reference.wolfram_2023_kleininvariantj, organization={Wolfram Research}, title={KleinInvariantJ}, year={2021}, url={https://reference.wolfram.com/language/ref/KleinInvariantJ.html}, note=[Accessed: 19-March-2024 ]}