Fact-checked by Grok 2 weeks ago

Lemniscate constant

The lemniscate constant, denoted by the symbol ϖ, is a transcendental mathematical constant approximately equal to 2.6220575542921198, analogous to π for the circle. It is defined as half the total arc length of Bernoulli's lemniscate curve scaled such that the parameter a = 1 in its polar equation r² = a² cos(2θ). It represents the ratio of the perimeter of this figure-eight curve to its diameter, and serves as a fundamental value in the study of elliptic integrals and lemniscate functions.^[1] Mathematically, ϖ can be expressed through the integral formula
ϖ = 2 ∫₀¹ dx / √(1 - x⁴),
which is a special case of the complete elliptic integral of the first kind evaluated at the modulus k = (√2 - 1)^1/2, or equivalently using the gamma function as ϖ = [Γ(1/4)]² / (2 √(2π)). This constant is closely related to Gauss's constant G via the identity G = ϖ / π, highlighting its connections to hypergeometric series and modular forms. The transcendence of ϖ was rigorously proven by Theodor Schneider in 1937, establishing it as an irrational number beyond algebraic construction.^[1]^[2] Historically, the lemniscate curve itself was introduced by Jacob Bernoulli in 1694 as the locus of points where the product of distances to two fixed foci is constant, evoking the infinity symbol (∞). The associated constant emerged in 18th-century efforts to compute its arc length, with significant contributions from Leonhard Euler in his 1748 Introductio in analysin infinitorum and Giovanni Fagnano through quadrature methods. Carl Friedrich Gauss advanced the field in the early 19th century by linking it to elliptic integrals and developing efficient computation techniques via the arithmetic-geometric mean, which influenced broader numerical analysis. These developments underscore ϖ's role in bridging elementary calculus with advanced transcendental theory.^[3]^[2] Beyond pure mathematics, the lemniscate constant appears in applications involving periodic functions and special geometries, such as the area of squircular regions (√2 ϖ for a unit squircle) and approximations in signal processing or conformal mapping. Its computation has driven innovations in series acceleration and iterative algorithms, with modern evaluations achieving high precision through Ramanujan's formulas and continued fractions. Despite its niche origins, ϖ exemplifies the interplay between geometric intuition and analytic depth in mathematics.^[4]^[2]

Definition and Properties

Integral Definition

The lemniscate constant, denoted ϖ, arises as half the total arc length (perimeter) of the lemniscate curve defined in polar coordinates by the equation r^2 = \cos 2\theta, where the curve is traced for \theta \in [-\pi/4, \pi/4] \cup [3\pi/4, 5\pi/4] to form the figure-eight shape.^[5]^[6] To derive this, the arc length formula in polar coordinates is s = \int \sqrt{r^2 + \left( \frac{dr}{d\theta} \right)^2 } \, d\theta. For the lemniscate, r = \sqrt{\cos 2\theta} (considering the positive branch in the first quadrant for \theta \in [0, \pi/4]), so \frac{dr}{d\theta} = -\frac{\sin 2\theta}{\sqrt{\cos 2\theta}}. Substituting yields \sqrt{r^2 + \left( \frac{dr}{d\theta} \right)^2 } = \frac{1}{\sqrt{\cos 2\theta}}. A change of variables t = r simplifies the quarter-arc length: differentiating r^2 = \cos 2\theta gives $2r \, dr = -2 \sin 2\theta \, d\theta, so d\theta = -\frac{r \, dr}{\sin 2\theta}. Since \sin 2\theta = \sqrt{1 - \cos^2 2\theta} = \sqrt{1 - r^4}, it follows that |d\theta| = \frac{r \, dr}{\sqrt{1 - r^4}}. Thus, ds = \frac{|d\theta|}{\sqrt{\cos 2\theta}} = \frac{r \, dr / \sqrt{1 - r^4}}{r} = \frac{dr}{\sqrt{1 - r^4}}. As r goes from 1 to 0, the integral becomes \int_0^1 \frac{dt}{\sqrt{1 - t^4}}. Due to the fourfold symmetry of the lemniscate curve (two symmetric lobes), the full perimeter is $4 \times \int_0^1 \frac{dt}{\sqrt{1 - t^4}}, so \varpi = 2 \int_0^1 \frac{dt}{\sqrt{1 - t^4}}.^[5] This integral converges because the integrand is continuous and bounded on [0, 1), and near t = 1, let u = 1 - t, then 1 - t^4 ≈ 4u, so the integrand behaves as 1/(2 √u), and \int_0^\epsilon du / \sqrt{u} = 2 \sqrt{\epsilon} < \infty.^[1] An equivalent form is \varpi = \int_{-\infty}^\infty \frac{dx}{\sqrt{1 + x^4}}, obtained via the substitution relating the unbounded domain to the lemniscate parametrization.^[1] Furthermore, the integral relates to the beta function via the substitution u = t^4, yielding \int_0^1 \frac{dt}{\sqrt{1 - t^4}} = \frac{1}{4} B\left( \frac{1}{4}, \frac{1}{2} \right) = \frac{\Gamma(1/4) \Gamma(1/2)}{4 \Gamma(3/4)}, so \varpi = \frac{1}{2} B\left( \frac{1}{4}, \frac{1}{2} \right).^[1]^[7] This form is a complete elliptic integral of the first kind, specifically \varpi = 2 K(i), where K(k) = \int_0^1 \frac{dt}{\sqrt{(1 - t^2)(1 - k^2 t^2)}} with modulus k = i, highlighting its role in the theory of elliptic functions.^[1]

Numerical Value and Transcendence

The lemniscate constant \varpi has an approximate numerical value of $2.6220575542921198$. This approximation provides the first 16 decimal digits, with further digits continuing in a non-terminating, non-repeating fashion characteristic of its irrational and transcendental nature.^[8] The constant \varpi is irrational, a property that follows directly from its transcendence. Theodor Schneider established the transcendence of \varpi in 1937 through arithmetic investigations of elliptic integrals, employing methods involving complex multiplication and properties of elliptic functions. These techniques demonstrate that \varpi cannot satisfy any algebraic equation with rational coefficients, thereby classifying it as transcendental. A related result by Schneider in 1941 further supported transcendence properties for associated elliptic and period integrals.^[9] \varpi exhibits notable relations to other fundamental constants, such as \pi. For instance, the ratio \varpi^2 / \pi \approx 2.189 highlights a scaling factor between the lemniscate perimeter and circular measures, underscoring \varpi's distinct yet interconnected role in transcendental number theory. Bounds like \varpi < \pi position it below the circle constant while emphasizing its geometric significance in lemniscate curves.^[8]

History

Early Discoveries

The lemniscate curve, resembling a figure eight, was introduced by Jakob Bernoulli in 1694 through an article in Acta Eruditorum, where he termed it the "lemniscus" after the Latin for a pendant ribbon.^[10] Bernoulli described the curve as a modification of an ellipse and posed the challenge of determining its arc length, which involves integrating along the path defined by the polar equation r^2 = a^2 \cos 2\theta.^[6] This problem highlighted the curve's algebraic and geometric intricacies, setting the stage for subsequent analytical investigations. In the early 18th century, Giovanni Fagnano advanced the study of the lemniscate by exploring its arc length integral, discovering a duplication formula in 1718 that rationalized the integrand \int \frac{dt}{\sqrt{1 - t^4}} and enabled the division of arcs using geometric constructions.^[11] Fagnano's work, detailed in his Produzioni matematiche (1750), treated the lemniscate as a special case of more general curves and contributed foundational techniques to what would become elliptic integral theory.^[12] Leonhard Euler, upon reviewing Fagnano's contributions in 1751, extended these ideas by deriving addition theorems for lemniscate integrals, allowing the summation of arcs and linking the problem to differential equations.^[10] Euler's efforts, spanning the mid-18th century, transformed the arc length computation into a systematic pursuit, revealing periodic properties akin to those of trigonometric functions. Carl Friedrich Gauss made a pivotal computational breakthrough in 1799, privately recording in his mathematical diary that the arithmetic-geometric mean of 1 and \sqrt{2} yields \pi / \varpi, where \varpi relates to the lemniscate's total arc length, approximated to eleven decimal places as 1.19814023474.^[13] This insight connected the iterative mean process to the complete elliptic integral defining the lemniscate constant without explicitly naming either the method or the constant at the time.^[14] Gauss's unpublished work from that year, later formalized in his 1818 treatise, provided an efficient evaluation technique rooted in series expansions and hypergeometric functions. During the 19th century, the development of elliptic function theory by Niels Henrik Abel, Carl Gustav Jacob Jacobi, and Charles Hermite elevated the lemniscate constant to a recognized special value within the broader landscape of periodic meromorphic functions.^[15] Hermite's applications of residue calculus and modular transformations, building on Jacobi's theta functions, underscored the constant's role as the period of the lemniscate elliptic functions, equivalent to the complete elliptic integral K(1/\sqrt{2}).^[16] These advancements formalized the constant's theoretical importance, distinguishing it from mere numerical approximations and integrating it into the study of inverses of elliptic integrals.

Computational Advances

In 1975, John Todd formalized the definitions of two auxiliary lemniscate constants, A = \varpi / 2 and B = \pi / (2 \varpi), where \varpi is the lemniscate constant, and provided early numerical tables computing them to 20 decimal places using classical integration methods.^[2] These tables facilitated initial high-precision studies and highlighted the constant's role in elliptic integrals. Building on Carl Friedrich Gauss's early 19th-century use of the arithmetic-geometric mean (AGM) for elliptic integrals, 20th-century computations of \varpi leveraged AGM iterations for their quadratic convergence, enabling efficient evaluation via the relation \varpi = \pi / \mathrm{AGM}(1, \sqrt{2}).^[1] Additionally, the Chudnovsky brothers introduced accelerated series algorithms in the late 1980s, derived from modular equations and elliptic curve theory, which were adapted for \varpi through its hypergeometric representation as \varpi = 2 \, {}_2F_1(1/4, 1/2; 5/4; 1). These methods dramatically improved precision by summing terms with near-optimal convergence rates. Advancements in software and hardware have pushed record computations to extreme scales using tools like y-cruncher, which implements AGM and series evaluations. A milestone was reached in 2019 with 600 billion digits (6 × 10^{11}) computed via hypergeometric series summation.^[17] By May 2025, the record exceeded 2 trillion digits, calculated on multi-core processors with verification confirming accuracy to the full precision.^[17] Modern algorithms for these feats incorporate binary splitting to recursively evaluate and sum series expansions of elliptic integrals, minimizing intermediate precision requirements, alongside fast Fourier transform (FFT) techniques for arbitrary-precision multiplication during iterations.^[18] These optimizations, combined with parallel computing, have made trillion-digit computations feasible on consumer hardware within days.

Mathematical Representations

Series Expansions

The lemniscate constant \varpi possesses several infinite series representations, the simplest of which derives from the binomial series expansion of the integrand in its defining integral \varpi = 2 \int_0^1 (1 - x^4)^{-1/2} \, dx. The expansion (1 - u)^{-1/2} = \sum_{n=0}^\infty \binom{2n}{n} \frac{u^n}{4^n} with u = x^4 yields, upon term-by-term integration,

\varpi = 2 \sum_{n=0}^\infty \frac{\binom{2n}{n}}{4^n (4n + 1)}.

This series converges moderately quickly, with terms decreasing roughly as $1/n^{3/2}, making it suitable for numerical computation of moderate precision. Equivalently, \varpi admits a hypergeometric series representation via its relation to the complete elliptic integral of the first kind: \varpi = \sqrt{2} \, K(1/\sqrt{2}), where K(k) = \frac{\pi}{2} \, {}_2F_1(1/2, 1/2; 1; k^2). Substituting k^2 = 1/2 gives

\varpi = \frac{\pi}{\mathrm{agm}(1, \sqrt{2})} = \frac{\pi}{\sqrt{2}} \sum_{n=0}^\infty \frac{ \left( \frac{1}{2} \right)_n^2 }{ (n!)^2 } \left( \frac{1}{2} \right)^n,

with the Pochhammer symbol (a)_n = a(a+1) \cdots (a+n-1). This form, while equivalent to the binomial series through identities on rising factorials, highlights connections to elliptic functions and has been used in accelerated computations. Ramanujan explored related hypergeometric evaluations in his notebooks, contributing to faster-converging variants for elliptic integrals akin to those for \pi. A rapidly converging series due to Gauss expresses the reciprocal of Gauss's constant G = \varpi / \pi \approx 0.8346268416 using Jacobi theta functions:

\frac{1}{G} = \left[ \sum_{n=-\infty}^\infty (-1)^n e^{-\pi n^2} \right]^2 = \theta_4^2(0, e^{-\pi}),

where \theta_4(z, q) is the Jacobi theta function. An alternative Gauss series is \frac{1}{G} = \frac{2}{5} e^{-\pi/3} \left[ \sum_{n=-\infty}^\infty (-1)^n e^{-2\pi (3n+1)n/3} \right]^2. These theta series converge extremely fast, with error bounded by the first omitted term, and are pivotal for high-precision calculations of \varpi. Infinite product representations analogous to Viète's formula for \pi also exist for \varpi. One such product, derived from gamma function duplication and reflection properties, is

\varpi = \sqrt{2} \prod_{k=1}^\infty \frac{(4k-2)(4k)}{(4k-3)(4k+1)}.

This converges quadratically like Wallis products and provides a geometric interpretation via iterations on the curve x^4 + y^4 = 1. Modern variants employ binary splitting for even faster evaluation, building on these classical forms.^[19]

Continued Fraction Expansions

The lemniscate constant \varpi has a simple continued fraction expansion [2; 1, 1, 1, 1, 1, 4, 1, 2, 5, 1, 1, 1, 14, 9, 2, 6, 2, 9, 4, 1, 10, \dots], where the partial quotients are unbounded, akin to the continued fraction of \pi [3; 7, 15, 1, 292, \dots].^[20] This unboundedness implies that \varpi shares Diophantine approximation properties with \pi, allowing for infinitely many rational approximations p/q satisfying |\varpi - p/q| < 1/(c q^2) for some constant c > 0, but precluding better approximations beyond certain orders as per results in Diophantine approximation theory.^[20] The convergents of this expansion yield effective rational approximations to \varpi; the initial ones are $2/1, $3/1, $5/2, $8/3, $13/5, $21/8, $97/37, and $118/45. For example, $97/37 \approx 2.6216216216 approximates \varpi \approx 2.6220575543 with an absolute error of about $4.36 \times 10^{-4}, and these convergents satisfy the property that each provides the best approximation among all rationals with smaller denominators.^[20] Such approximations are valuable in numerical algorithms for evaluating \varpi and in analyzing its Diophantine properties, including bounds on how well it can be approximated by quadratic irrationals.

Special Values and Relations

L-functions and Zeta Functions

The lemniscate constant \varpi is connected to Dirichlet L-functions through its role as a period in elliptic integrals that appear in analytic continuations and functional equations of these functions. This relation arises from the integral representation of \varpi = 2 \int_0^1 \frac{dx}{\sqrt{1 - x^4}} and the Mellin transform expression for L(s, \chi), which links the arc length to the L-value via beta function identities and Gamma factors.^[21] The functional equation of the Dirichlet L-function,

L(1 - s, \chi) = \frac{2^{1 - 2s} \pi^{2s - 2} \Gamma(s) \sin(\pi s / 2)}{\Gamma(1 - s)} L(s, \chi),

facilitates evaluation at fractional points like s = 1/4 by relating it to L(3/4, \chi). Substituting s = 1/4 yields terms involving \Gamma(5/8) and \Gamma(7/8), which can be reduced using the reflection formula \Gamma(z) \Gamma(1 - z) = \pi / \sin(\pi z) to expressions compatible with \Gamma(1/4), thereby connecting back to \varpi. This evaluation highlights the constant's role in non-integer special values of L-functions.^[22] A key relation to the Riemann zeta function occurs through the Dirichlet beta function at even integers. For instance, \beta(2) = \sum_{n=1}^\infty (-1)^{n-1} / (2n-1)^2 = G, Catalan's constant. The Dedekind zeta function of \mathbb{Q}(i) is \zeta_{\mathbb{Q}(i)}(s) = \zeta(s) \beta(s). The lemniscate constant relates to Gauss's constant via G = 1 / \mathrm{agm}(1, \sqrt{2}), and since \mathrm{agm}(1, \sqrt{2}) = \pi / \varpi, this provides a connection in this context.^[23] In number theory, \varpi appears in class number formulas and non-vanishing results for Hecke L-functions over \mathbb{Q}(i). Hurwitz showed that for the Hecke character \lambda_{4k}(\alpha) = \alpha^{-4k} on ideals of \mathbb{Z}, the value L(4k, \lambda_{4k}) \varpi^{4k} \in \mathbb{Q} for positive integers k, with L(4k, \lambda_{4k}) = 4 L(0, \lambda_{4k}). This implies non-vanishing of L-values modulo primes and contributes to class number divisibility in anticyclotomic extensions, as in theorems on L^{(l)}(0, \lambda \chi) \varpi^{2k} \not\equiv 0 \pmod{P} for suitable characters \chi and primes P. These results underpin applications in Iwasawa theory and the arithmetic of CM elliptic curves like y^2 = x^3 - x, whose period is $2\varpi and whose L-function aligns with Hecke L-functions over \mathbb{Q}(i).^[24]^[22]

Arithmetic-Geometric Mean and Other Functions

The arithmetic-geometric mean of two positive real numbers a_0 and b_0 is the common limit M(a_0, b_0) obtained by iteratively applying the arithmetic mean a_{n+1} = (a_n + b_n)/2 and the geometric mean b_{n+1} = \sqrt{a_n b_n} for n \geq 0. The lemniscate constant \varpi has the representation

\varpi = \frac{\pi}{M(1, \sqrt{2})}.

This formula arises from the equivalence between the AGM iteration and the defining integral of \varpi, providing an efficient computational method with quadratic convergence.^[14] The gamma function yields another closed-form expression for \varpi:

\varpi = \frac{\Gamma\left( \frac{1}{4} \right)^2}{2 \sqrt{2\pi}}.

This relation follows from expressing the beta function B(1/4, 1/2) = 4 \int_0^1 (1 - t^4)^{-1/2} \, dt in terms of gamma values and applying the reflection formula \Gamma(z) \Gamma(1-z) = \pi / \sin(\pi z).^[25] \varpi is connected to the complete elliptic integral of the first kind K(k) = \int_0^{\pi/2} (1 - k^2 \sin^2 \theta)^{-1/2} \, d\theta via the modulus k = 1/\sqrt{2}:

\varpi = \sqrt{2} \, K\left( \frac{1}{\sqrt{2}} \right).

This form emphasizes the elliptic character of the lemniscate, as K(1/\sqrt{2}) evaluates the hypergeometric function {}_2F_1(1/2, 1/2; 1; 1/2) scaled by \pi/2, linking directly to the AGM through K(k) = (\pi/2) / M(1, \sqrt{1 - k^2}).^[25] The modular lambda function \lambda(\tau), defined on the upper half-plane as \lambda(\tau) = k^2(\tau) where k(\tau) is the elliptic modulus, takes the value \lambda(i) = 1/2 at \tau = i. This specific value corresponds to the modulus k = 1/\sqrt{2} underlying the elliptic integral expression for \varpi, thereby yielding the constant through the associated period of the lemniscate elliptic functions.^[26]

Integrals and Geometric Interpretations

Lemniscate Curve Perimeter

The lemniscate of Bernoulli is a figure-eight-shaped plane curve defined in polar coordinates by the equation r^2 = a^2 \cos 2\theta, where a > 0 is a scaling parameter that determines the size of the curve. This equation traces two symmetric loops intersecting at the origin, with the curve existing where \cos 2\theta \geq 0. The lemniscate arises as the locus of points P such that the product of distances from P to two fixed foci is constant and equal to a^2/2. The foci are located at \left(\pm \frac{a}{\sqrt{2}}, 0\right).^[27] The total arc length, or perimeter, of the lemniscate is $2\varpi a, where \varpi is the lemniscate constant given by \varpi = 2 \int_0^1 \frac{dt}{\sqrt{1 - t^4}}. This perimeter represents the full length of both loops and provides a geometric interpretation of the constant \varpi as the perimeter parameter for the unit-scaled curve (a=1). The arc length can be derived using the parametric representation of the curve:

x = \frac{a \cos t}{1 + \sin^2 t}, \quad y = \frac{a \sin t \cos t}{1 + \sin^2 t},

where t ranges from $0to2\pi$ to trace the entire figure. Differentiating these equations and computing the speed yields the arc length element

ds = \frac{a \, dt}{\sqrt{1 - \sin^4 t}}.

The integral of ds over [0, 2\pi] evaluates to $2\varpi a, confirming the perimeter formula.^[5]^[27] The lemniscate exhibits several key geometric properties tied to its foci and overall shape. The foci serve as the defining points for the constant product distance property, analogous to how they function in conic sections but with a product rather than a sum or difference. The evolute of the lemniscate, which is the locus of centers of curvature along the curve, forms another closed path with rotational symmetry and is itself a type of algebraic curve related to the original lemniscate by inversion properties. The total area enclosed by both loops of the lemniscate is a^2.^[28]^[29]^[30] For visualization purposes, the lemniscate is often scaled such that its diameter—the distance between the leftmost and rightmost points along the x-axis—is 1, corresponding to a = 1/2 in the standard parameterization; in this normalization, the perimeter simplifies to \varpi. Alternatively, certain contexts scale the curve so that the diameter is 1 while setting the perimeter directly to $2\varpi, emphasizing the constant's role in the curve's intrinsic geometry.^[5]

Ellipse Circumference

The circumference of an ellipse with semi-major axis a = 1 and semi-minor axis b = 1/\sqrt{2} (corresponding to eccentricity k = 1/\sqrt{2}) is expressed using the complete elliptic integral of the second kind E(k), defined as

E(k) = \int_0^{\pi/2} \sqrt{1 - k^2 \sin^2 \theta} \, d\theta.

The full circumference C is then C = 4 E(k), where the factor of 4 accounts for the four quadrants of the ellipse. For this specific eccentricity, E(1/\sqrt{2}) \approx 1.3506438810476759, yielding C \approx 5.402575524190704.^[31] This value connects to the lemniscate constant \varpi through identities involving the arithmetic-geometric mean (AGM). Specifically, E(1/\sqrt{2}) = \frac{\pi / \varpi + \varpi}{2 \sqrt{2}}, so the circumference simplifies to

C = \sqrt{2} \left( \frac{\pi}{\varpi} + \varpi \right) \approx 5.402575524,

where \pi / \varpi + \varpi \approx 3.820197791. This relation arises because \varpi = \pi / \mathrm{AGM}(1, \sqrt{2}), and the AGM provides a bridge between elliptic integrals of the first and second kinds at this modulus. The expression \pi / \varpi + \varpi itself serves as a building block in more general perimeter formulas.^[31] The choice of semi-axes 1 and $1/\sqrt{2} corresponds to the special modulus k = 1/\sqrt{2}, where the elliptic integrals are closely tied to the lemniscate constant. This highlights the lemniscate's role in broader elliptic geometry.^[31] These connections generalize to ellipses of arbitrary eccentricity via AGM-based transformations, as developed by Gauss in the early 19th century for computing elliptic integrals efficiently. Historically, such relations informed approximation formulas for ellipse perimeters before modern computational methods; for instance, the form involving \varpi provided high-precision estimates for moderately eccentric ellipses, influencing tables and engineering applications until the mid-20th century.^[31]

Other Representations

Limits Involving Bernoulli Numbers

The evaluation of the lemniscate constant ϖ draws parallels to the Basel problem, where Bernoulli numbers facilitate the determination of π²/6 through the partial fraction expansion of the cotangent function. In a similar vein, the Euler-Maclaurin formula provides a systematic approach to deriving asymptotic series for ϖ from its integral representation ϖ = 2 ∫0^1 dx / √(1 - x^4), with Bernoulli numbers B{2k} appearing as coefficients in the correction terms that relate sums to integrals. The Euler-Maclaurin formula states that for a smooth function f on [a, b],

\sum_{k=a}^b f(k) = \int_a^b f(x) \, dx + \frac{f(a) + f(b)}{2} + \sum_{k=1}^m \frac{B_{2k}}{(2k)!} (f^{(2k-1)}(b) - f^{(2k-1)}(a)) + R_m,

where R_m is the remainder term. Applying this to a suitable series expansion of the integrand 1 / √(1 - x^4), such as its binomial series for |x| < 1, yields a rapidly convergent approximation for ϖ as the limit of partial sums corrected by terms involving higher derivatives and Bernoulli numbers, enabling high-precision computations. This method underscores the role of Bernoulli numbers in bridging discrete sums and continuous integrals for transcendental constants like ϖ. Connections to the Hurwitz zeta function further link ϖ to Bernoulli polynomials. The Hurwitz zeta function is defined as ζ(s, a) = ∑_{n=0}^∞ (n + a)^{-s} for Re(s) > 1 and a > 0, with values at negative integers given by ζ(1 - k, a) = -B_k(a) / k for positive integers k ≥ 2, where B_k(a) are Bernoulli polynomials. In representations of lattice sums related to the lemniscate, such as those arising from Eisenstein series over Gaussian integers, ϖ emerges in closed-form evaluations that incorporate Hurwitz zeta values, which in turn reduce to sums over Bernoulli polynomials. These limit processes, proven convergent via the Euler-Maclaurin remainder estimates, extend theoretically to higher-dimensional analogs, such as multidimensional lattice sums yielding generalizations of ϖ.

Infinite Products

The lemniscate constant admits infinite product representations derived from the factorization theorems for elliptic functions and their specializations to the lemniscate case. One prominent example is the product for the lemniscate sine function \operatorname{sl}(x), which satisfies the differential equation (\operatorname{sl}'(x))^2 = 1 - \operatorname{sl}^4(x) with \operatorname{sl}(0) = 0 and \operatorname{sl}'(0) = 1. The function \operatorname{sl}(x) has simple zeros at integer multiples of its quarter-period \varpi/2 and can be expressed via the Weierstrass factorization theorem adapted to the lemniscate lattice generated by \varpi(1 + i):

\operatorname{sl}(x) = x \prod_{n=1}^\infty \left(1 - \frac{x^4}{n^4 \varpi^4}\right).

This product converges uniformly on compact sets due to the order-1 growth of \operatorname{sl}(x). Evaluating at x = \varpi/2, where \operatorname{sl}(\varpi/2) = 1, yields

$1 = \frac{\varpi}{2} \prod_{n=1}^\infty \left(1 - \frac{1}{16n^4}\right),

\varpi = \frac{2}{\prod_{n=1}^\infty \left(1 - \frac{1}{16n^4}\right)}.

The proof follows from logarithmic differentiation of the product and verification against the differential equation, with convergence ensured by comparison to the sine product.^[32] A related representation arises from the lemniscate analog of Viète's product for \pi, obtained by considering geometric interpretations of inscribed polygons in the curve x^4 + y^4 = 1. Levin derived

\varpi = \prod_{n=1}^\infty \left( \frac{2^n}{2^n - 1} \right)^2.

This follows from double-angle formulas for \operatorname{sl}(x) and iterative application leading to the product over half-integer shifts, akin to the odd-denominator terms in the sine product. The convergence is absolute for n \geq 1, and numerical partial products approach \varpi \approx 2.62205755429 rapidly.^[7] Another form connects \varpi to Jacobi theta functions via the lemniscate's modular parameter. Specifically,

\varpi = \pi \vartheta_4^2(0, e^{-\pi}),

where the theta constant \vartheta_4(0, q) = \prod_{n=1}^\infty (1 - q^{2n})(1 - q^{2n-1})^2. This form ties to the Gamma prefactor via the identity \Gamma(1/4)^2 = 2 \sqrt{2\pi} \, \varpi, derived from duplication and reflection formulas for the Gamma function.^[1]

References

[1]
Lemniscate Constant -- from Wolfram MathWorld
The lemniscate constant is the quantity (OEIS A062539; Abramowitz and Stegun 1972; Finch 2003, p. 420), where G is Gauss's constant.Missing: definition | Show results with:definition
[2]
The lemniscate constants | Communications of the ACM
The lemniscate constants, and indeed some of the methods used for actually computing them, have played an enormous part in the development of mathematics.Missing: definition | Show results with:definition
[3]
The Lemniscate Constants - SpringerLink
The lemniscate constants, and indeed some of the methods used for actually computing them, have played an enormous part in the development of mathematics.Missing: definition | Show results with:definition
[4]
Lemniscate functions - Applied Mathematics Consulting
Oct 4, 2023 · The number ϖ is called the lemniscate constant. It is written with Unicode character U+03D6, GREEK SMALL LETTER OMEGA PI. The LaTeX command is \ ...Missing: mathematics | Show results with:mathematics
[5]
[PDF] Polar Coordinates, Arc Length and the Lemniscate Curve
Jun 24, 2018 · In Task 6, we will use polar coordinates to set up an integral for one-fourth of its arc length. In the next task, we first derive a formula for ...
[6]
Lemniscate -- from Wolfram MathWorld
The lemniscate is the inverse curve of the hyperbola with respect to its center. The lemniscate can also be generated as the envelope of circles centered on a ...Missing: significance | Show results with:significance
[7]
A Geometric Interpretation of an Infinite Product for the Lemniscate ...
It follows from the geometric definition of s that the area enclosed by C4 is k = L\pl. Closely related to the beta function is the gamma function, which is ...
[8]
A062539 - OEIS
Sep 8, 2025 · Decimal expansion of the Lemniscate constant or Gauss's constant. 33. 2, 6, 2, 2, 0, 5, 7, 5, 5, 4, 2, 9, 2, 1, 1, 9, 8, 1, 0, 4, 6, 4, 8, 3 ...
[9]
Arithmetische Untersuchungen elliptischer Integrale
Arithmetische Untersuchungen elliptischer Integrale. Von. Theodor Schneider in Franldurt ~. M. Im Jahre 1931 zeigte C. L. Siegell), dal~ die Gr6~en g~, gs ...
[10]
Lemniscate of Bernoulli - MacTutor History of Mathematics
View the interactive version of this curve. Description. In 1694 Jacob Bernoulli published an article in Acta Eruditorumon a curve. shaped like a figure 8, or ...
[11]
The lemniscate and Fagnano's contributions to elliptic integrals
My object in this paper is twofold: I shall give some background and describe some efforts made to cope with the integral and I shall try, on the basis of ...
[12]
The Lemniscate and Fagnano's Contributions to Elliptic Integrals - jstor
Fagnano's paper is in three parts and deals, among other things, with the division of the arc of a lemniscate. This requires a simple case of what is now.
[13]
[PDF] Gauss and the Arithmetic-Geometric Mean
By December 1799, Gauss had proved (1), which establishes a link between elliptic integrals and the agM. This is nice but does not constitute a “new field ...
[14]
[PDF] THE ARITHMETIC-GEOMETRIC MEAN OF GAUSS
May 17, 2017 · observation of May 30, 1799, was présent at the very birth of the lemniscate. Throughout the eighteenth century the elastic curve and the ...
[15]
[PDF] A glimpse into the early history of elliptic integrals and functions
Jan 22, 2025 · Abstract. This paper is a historical account about the early studies on elliptic integrals and functions aimed at analyzing in some depth ...
[16]
Charles Hermite (1822 - 1901) - Biography - MacTutor
Hermite made important contributions to number theory and algebra, orthogonal polynomials, and elliptic functions. He discovered his most significant ...Missing: lemniscate constant
[17]
Lemniscate Constant - Numberworld.org
Sep 8, 2019 · Lemniscate Constant ; October 12, 2015, Ethan Gallagher, 120,000,000,000 ; July 5, 2015, Ron Watkins, 100,000,000,000 ; June 13, 2015, Andreas ...
[18]
Records set by y-cruncher - Numberworld.org
Aug 10, 2025 · Records Set by y-cruncher ; Catalan's Constant, 0.91596559417721901505460351493238411077414937428167... 1,200,000,000,100 ; Lemniscate ...
[19]
Formulas and Algorithms - Numberworld.org
Oct 25, 2023 · The Lemniscate constant used to be slow to compute with the first two formulas being ArcSinlemn() formulas. Since then, direct hypergeometric ...
[20]
A Geometric Interpretation of an Infinite Product for the Lemniscate ...
Jan 31, 2018 · A Geometric Interpretation of an Infinite Product for the Lemniscate Constant: The American Mathematical Monthly: Vol 113, No 6.
[21]
A062540 - OEIS
Continued fraction for the Lemniscate constant or Gauss's constant. 2. 2, 1, 1, 1, 1, 1, 4, 1, 2, 5, 1, 1, 1, 14, 9, 2, 6, 2, 9, 4, 1, 10, 2, 4, 1, 8, 2, 1 ...
[22]
A085565 - OEIS
The two lemniscate constants are A = Integral_{x = 0..1} 1/sqrt(1 - x^4) dx and B = Integral_{x = 0..1} x^2/sqrt(1 - x^4) dx. See A076390. - Peter Bala, Oct ...<|control11|><|separator|>
[23]
A254795 - OEIS
= L^2/Pi, where L is the lemniscate constant A062539. The sequence of convergents to Osler's continued fraction begins [2/1, 9/4, 54/25, 441/200, 4410/2025, ...] ...
[24]
The missing fractions in Brouncker's sequence of continued ... - jstor
These closed forms involve both n and the lemniscate constant L which is defined as half the perimeter of the lemniscate r2 = cos 20. This means that. 1 ...
[25]
[PDF] The Chowla-Selberg formula. A historical sketch. - People
The lemniscate first appeared in 1694 in the work of the Bernoulli brothers ... =: β(1/4,1/2). = Γ(1/4)Γ(1/2). Γ(3/4). = Γ(1/4)2. 4. √. 2π. The 2nd equality ...
[26]
[PDF] elliptic curves and modular forms - UCLA Mathematics
Aug 24, 2015 · Nowadays, we regard this value as a special value of a Hecke L-function: L(s, λ) = Xa λ(a)N(a)−s of the Gaussian field Q[i] (i = √−1). Here λ = ...
[27]
Dirichlet Beta Function -- from Wolfram MathWorld
The Dirichlet beta function is defined by the sum beta(x) = sum_(n=0)^(infty)(-1)^n(2n+1)^(-x) (1) = 2^(-x)Phi(-1,x,1/2), (2) where Phi(z,s,a) is the Lerch ...Missing: lemniscate | Show results with:lemniscate
[28]
[PDF] nonvanishing of l-values - Columbia Math Department
Statement of the theorem for Dirichlet L- ... dx y. : period of the lemniscate). Nowadays, we regard this value as a special value of a Hecke L-function: L(s, λ) ...
[29]
[PDF] The arithmetic-geometric mean: A pearl of Gauss
Sep 3, 2023 · The arithmetic-geometric mean (AGM) algorithm has an amazingly fast convergence. In this article Piet Van Mieghem follows Gauss on his ...<|separator|>
[30]
The AGM of Gauss, Ramanujan's corresponding theory, and ...
Jan 22, 2025 · We study the spectral bounds of self-adjoint operators on the Hilbert space of square-integrable functions, arising from the representation theory of the ...
[31]
Lemniscate of Bernoulli - Interactive Mathematics
Dec 17, 2019 · Animation of The Lemniscate of Bernoulli, curve first described by Jacob Bernoulli as a modification of an ellipse in the late 17th century.Missing: Jakob | Show results with:Jakob
[32]
Lemniscate of Bernoulli - MATHCURVE.COM
Intrinsic equation: . Length: , where , elliptic integral of the first kind, is the constant of the lemniscate (variation of the letter "pi") ...
[33]
[PDF] The Lemniscate of Bernoulli, without Formulas - arXiv
May 24, 2014 · Then, during the motion of the linkage the midpoint X of the rod AB traces the lemniscate of Bernoulli with foci at F1 and F2. Fig.
[34]
02 Area Bounded by the Lemniscate of Bernoulli r^2 = a^2 cos 2θ
02 Area Bounded by the Lemniscate of Bernoulli r^2 = a^2 cos 2θ. Example 2. Find the area bounded by the lemniscate of Bernoulli r2 = a2 cos 2θ.
[35]
An Eloquent Formula for the Perimeter of an Ellipse
Supplementing formula (2) with formula (3), we shall calculate the perimeters of three more ellipses. l 1/√2 = L + M √2 ≈ 2. 7012877620953510050.
[36]
[PDF] Euler-Maclaurin Formula 1 Introduction - People | MIT CSAIL
Due to its importance, this constant γ bears the name of Euler-Mascheroni. With high precision it is equal to γ = 0.5772156649015328606065120900...Missing: lemniscate | Show results with:lemniscate
[37]
[PDF] Hyperbolic-sine analogues of Eisenstein series, generalized Hurwitz ...
Keywords: Eisenstein series, Hurwitz numbers, Lemniscate constant, Hyperbolic ... −1, ̟ is called the lemniscate constant defined by ... Bernoulli numbers. After ...
[38]
https://doi.org/10.1016/j.jmaa.2015.02.066