Modular lambda function

Last updated
Modular lambda function in the complex plane. Modular lambda function in range -3 to 3.png
Modular lambda function in the complex plane.

In mathematics, the modular lambda function λ(τ) is a highly symmetric holomorphic function on the complex upper half-plane. It is invariant under the fractional linear action of the congruence group Γ(2), and generates the function field of the corresponding quotient, i.e., it is a Hauptmodul for the modular curve X(2). Over any point τ, its value can be described as a cross ratio of the branch points of a ramified double cover of the projective line by the elliptic curve , where the map is defined as the quotient by the [1] involution.

Contents

The q-expansion, where is the nome, is given by:

. OEIS:  A115977

By symmetrizing the lambda function under the canonical action of the symmetric group S3 on X(2), and then normalizing suitably, one obtains a function on the upper half-plane that is invariant under the full modular group , and it is in fact Klein's modular j-invariant.

Modular properties

The function is invariant under the group generated by [1]

The generators of the modular group act by [2]

Consequently, the action of the modular group on is that of the anharmonic group, giving the six values of the cross-ratio: [3]

Relations to other elliptic functions

It is the square of the Jacobi modulus, [4] that is, . In terms of the Dedekind eta function and theta functions, [4]

and,

where [5] for the nome ,

In terms of the half-periods of Weierstrass's elliptic functions, let be a fundamental pair of periods with .

we have [4]

Since the three half-period values are distinct, this shows that λ does not take the value 0 or 1. [4]

The relation to the j-invariant is [6] [7]

which is the j-invariant of the elliptic curve of Legendre form

Elliptic modulus

l*(x) in the complex plane. Lambda star function in range -3 to 3.png
λ*(x) in the complex plane.

Definition and computation of lambda-star

The function λ*(x) gives the value of the elliptic modulus k, for which the complete elliptic integral of the first kind and its complementary counterpart are related by following expression:

The values of λ*(x) can be computed as follows:

The functions λ* and λ are related to each other in this way:

Properties of lambda-star

Every λ*-value of a positive rational number is a positive algebraic number:

Elliptic integrals of the first and second kind of these special λ*-values are called elliptic integral singular values. They all can be expressed by polynomials of the gamma function, as Selberg and Chowla proved in 1967.

Following expression is valid for all n ∈ ℕ:

In this formula, dn is the Jacobi elliptic function delta amplitudinis.

By knowing one λ*-value, this formula can be used to compute related λ*-values:

In that formula, sn is the Jacobi elliptic function sinus amplitudinis. That formula works for all natural numbers.

Further relations:

Ramanujan's class invariants

Ramanujan's class invariants and are defined as [8]

where .

These are the relations between lambda-star and Ramanujan's class invariants:

Special Values

Lambda-star-values of integer numbers of 4n-3-type:

Lambda-star-values of integer numbers of 4n-2-type:

Lambda-star-values of integer numbers of 4n-1-type:

Lambda-star-values of integer numbers of 4n-type:

Lambda-star-values of rational fractions:

Other appearances

Little Picard theorem

The lambda function is used in the original proof of the Little Picard theorem, that an entire non-constant function on the complex plane cannot omit more than one value. This theorem was proved by Picard in 1879. [9] Suppose if possible that f is entire and does not take the values 0 and 1. Since λ is holomorphic, it has a local holomorphic inverse ω defined away from 0,1,∞. Consider the function z → ω(f(z)). By the Monodromy theorem this is holomorphic and maps the complex plane C to the upper half plane. From this it is easy to construct a holomorphic function from C to the unit disc, which by Liouville's theorem must be constant. [10]

Moonshine

The function is the normalized Hauptmodul for the group , and its q-expansion , OEIS:  A007248 where , is the graded character of any element in conjugacy class 4C of the monster group acting on the monster vertex algebra.

Footnotes

  1. Chandrasekharan (1985) p.115
  2. Chandrasekharan (1985) p.109
  3. Chandrasekharan (1985) p.110
  4. 1 2 3 4 Chandrasekharan (1985) p.108
  5. Chandrasekharan (1985) p.63
  6. Chandrasekharan (1985) p.117
  7. Rankin (1977) pp.226–228
  8. Zhang, Liang-Cheng "Ramanujan’s class invariants, Kronecker’s limit formula and modular equations (III)"
  9. Chandrasekharan (1985) p.121
  10. Chandrasekharan (1985) p.118

Related Research Articles

Bessel function Families of solutions to related differential equations

Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions y(x) of Bessel's differential equation

In integral calculus, an elliptic integral is one of a number of related functions defined as the value of certain integrals. Originally, they arose in connection with the problem of finding the arc length of an ellipse and were first studied by Giulio Fagnano and Leonhard Euler. Modern mathematics defines an "elliptic integral" as any function f which can be expressed in the form

In classical mechanics, a harmonic oscillator is a system that, when displaced from its equilibrium position, experiences a restoring force F proportional to the displacement x:

Fabry–Pérot interferometer

In optics, a Fabry–Pérot interferometer (FPI) or etalon is an optical cavity made from two parallel reflecting surfaces. Optical waves can pass through the optical cavity only when they are in resonance with it. It is named after Charles Fabry and Alfred Perot, who developed the instrument in 1899. Etalon is from the French étalon, meaning "measuring gauge" or "standard".

Inverse trigonometric functions arcsin, arccos, arctan, etc

In mathematics, the inverse trigonometric functions are the inverse functions of the trigonometric functions. Specifically, they are the inverses of the sine, cosine, tangent, cotangent, secant, and cosecant functions, and are used to obtain an angle from any of the angle's trigonometric ratios. Inverse trigonometric functions are widely used in engineering, navigation, physics, and geometry.

Trigonometric substitution Technique of integral evaluation

In mathematics, trigonometric substitution is the substitution of trigonometric functions for other expressions. In calculus, trigonometric substitution is a technique for evaluating integrals. Moreover, one may use the trigonometric identities to simplify certain integrals containing radical expressions. Like other methods of integration by substitution, when evaluating a definite integral, it may be simpler to completely deduce the antiderivative before applying the boundaries of integration.

Great-circle distance Shortest distance between two points on the surface of a sphere

The great-circle distance, orthodromic distance, or spherical distance is the distance along a great circle.

In geodesy, conversion among different geographic coordinate systems is made necessary by the different geographic coordinate systems in use across the world and over time. Coordinate conversion is composed of a number of different types of conversion: format change of geographic coordinates, conversion of coordinate systems, or transformation to different geodetic datums. Geographic coordinate conversion has applications in cartography, surveying, navigation and geographic information systems.

In probability theory, the Borel–Kolmogorov paradox is a paradox relating to conditional probability with respect to an event of probability zero. It is named after Émile Borel and Andrey Kolmogorov.

Weierstrass elliptic function Class of mathematical functions

In mathematics, the Weierstrass elliptic functions are elliptic functions that take a particularly simple form. They are named for Karl Weierstrass. This class of functions are also referred to as ℘-functions and they are usually denoted by the symbol ℘, a uniquely fancy script p. They play an important role in the theory of elliptic functions. A ℘-function together with its derivative can be used to parameterize elliptic curves and they generate the field of elliptic functions with respect to a given period lattice.

Theta function Special functions of several complex variables

In mathematics, theta functions are special functions of several complex variables. They are important in many areas, including the theories of Abelian varieties and moduli spaces, and of quadratic forms. They have also been applied to soliton theory. When generalized to a Grassmann algebra, they also appear in quantum field theory.

<i>j</i>-invariant

In mathematics, Felix Klein's j-invariant or j function, regarded as a function of a complex variable τ, is a modular function of weight zero for SL(2, Z) defined on the upper half-plane of complex numbers. It is the unique such function which is holomorphic away from a simple pole at the cusp such that

Universal Transverse Mercator coordinate system System for assigning planar coordinates to locations on the surface of the Earth.

The Universal Transverse Mercator (UTM) is a map projection system for assigning coordinates to locations on the surface of the Earth. Like the traditional method of latitude and longitude, it is a horizontal position representation, which means it ignores altitude and treats the earth as a perfect ellipsoid. However, it differs from global latitude/longitude in that it divides earth into 60 zones and projects each to the plane as a basis for its coordinates. Specifying a location means specifying the zone and the x, y coordinate in that plane. The projection from spheroid to a UTM zone is some parameterization of the transverse Mercator projection. The parameters vary by nation or region or mapping system.

Lemniscate elliptic functions

In mathematics, the lemniscate elliptic functions are elliptic functions related to the arc length of the lemniscate of Bernoulli. They were first studied by Giulio Fagnano in 1718 and later by Leonhard Euler and Carl Friedrich Gauss, among others.

Cassini projection Cylindrical equidistant map projection

The Cassini projection is a map projection described by César-François Cassini de Thury in 1745. It is the transverse aspect of the equirectangular projection, in that the globe is first rotated so the central meridian becomes the "equator", and then the normal equirectangular projection is applied. Considering the earth as a sphere, the projection is composed of the operations:

Common integrals in quantum field theory are all variations and generalizations of Gaussian integrals to the complex plane and to multiple dimensions. Other integrals can be approximated by versions of the Gaussian integral. Fourier integrals are also considered.

In physics and engineering, the radiative heat transfer from one surface to another is the equal to the difference of incoming and outgoing radiation from the first surface. In general, the heat transfer between surfaces is governed by temperature, surface emissivity properties and the geometry of the surfaces. The relation for heat transfer can be written as an integral equation with boundary conditions based upon surface conditions. Kernel functions can be useful in approximating and solving this integral equation.

References