Elliptic integral identities derived from Coxeter's integrals

This paper derives new elliptic integral identities by embedding Coxeter's classical integrals into a one-parameter family, differentiating with respect to the parameter to express the result in terms of incomplete elliptic integrals, and integrating back to establish a direct connection between Coxeter's original evaluations and elliptic functions.

The Gist

Imagine you have a collection of very old, very famous math puzzles. These puzzles are called Coxeter integrals. For decades, mathematicians have known the exact answers to these puzzles. They are beautiful, clean numbers like $\pi^2/8$ or $5\pi^2/24$.

Usually, when mathematicians solve a puzzle, they stop there. "Got it! The answer is X."

But in this paper, the author, Jean-Christophe Pain, decides to do something different. Instead of just checking the answer, he asks: "What if we treat this puzzle not as a single point, but as a sliding door?"

Here is the story of how he did it, explained simply.

1. The "Slider" Analogy

Imagine the first Coxeter integral is a locked box. Inside the box is a specific mathematical formula involving an angle ($\theta$) and a number (2).

Pain takes that formula and adds a slider (a variable he calls $\lambda$).

• When the slider is at 0, the formula gives you one famous answer (let's call it B).
• When the slider is at 2, the formula gives you another famous answer (let's call it A).
• When the slider is anywhere in between, the formula is just a "work in progress."

Think of this like a dimmer switch for a light. At position 0, the light is off (or dim). At position 2, it's bright. But what happens when you slowly turn the knob from 0 to 2?

2. The "Speedometer" (Differentiation)

Pain decides to measure how fast the value of the integral changes as he moves the slider. In math, this is called taking a derivative.

He asks: "If I nudge the slider a tiny bit, how much does the result change?"

When he calculates this "speed of change," something magical happens. The messy, complicated formula he gets isn't just a simple number anymore. It transforms into something called an Elliptic Integral.

The Analogy:
Imagine you are driving a car on a straight road (the simple trigonometric integral). You look out the window, and suddenly the scenery changes into a complex, winding mountain pass (the elliptic integral).
Pain discovered that the "speedometer" of his Coxeter puzzle is actually driving through this complex mountain pass. This connects two different worlds of math:

1. Simple Trig: The easy, flat road.
2. Elliptic Functions: The complex, winding mountain roads usually reserved for advanced physics and geometry.

3. The Grand Reveal (Integration)

Now, Pain does the reverse. He takes that "speedometer" reading (the derivative) and adds it all up from the start of the slider (0) to the end (2).

In math, adding up all the tiny changes is called integration.

When he adds up all the changes from 0 to 2, he gets a new, surprising result. He finds that the total difference between the starting point (B) and the ending point (A) is exactly equal to a specific double-layered integral (an integral inside another integral).

The result is a beautiful equation:
$$\text{Total Change} = A - B = \frac{\pi^2}{12}$$

It's like saying: "If you walk from the bottom of the mountain to the top, the total elevation gain is exactly 12 steps."

4. Why Does This Matter?

You might ask, "We already knew A and B. Why do we need this new formula?"

Here is the value of the paper:

• The Bridge: It builds a bridge between simple, everyday math (trigonometry) and complex, advanced math (elliptic functions).
• New Tools: By showing that these old puzzles are actually just special cases of a larger, more complex family, Pain gives mathematicians a new tool. They can now use the "simple" Coxeter integrals to explore and understand the "complex" elliptic integrals.
• Geometry: The paper hints that these numbers aren't random. They are related to the shapes of 3D objects (like tetrahedrons) in curved space. The "slider" represents a way of squishing or stretching these shapes, and the math tracks how their volume and angles change.

Summary

Think of the Coxeter integrals as famous landmarks on a map.

• Old approach: "Here is the landmark. The altitude is 500 feet. Here is another one at 300 feet. Done."
• Pain's approach: "Let's draw a road connecting these two landmarks. Along this road, the terrain changes into a complex, winding mountain range (elliptic functions). By studying the road, we learn that the difference in height between the two landmarks is exactly 200 feet, and we've discovered a whole new landscape in between that connects simple math to complex geometry."

The paper doesn't just solve a puzzle; it shows us that the puzzle was actually a door to a much bigger, more interesting room.

Technical Summary

Here is a detailed technical summary of the paper "Elliptic integral identities derived from Coxeter's integrals" by Jean-Christophe Pain.

1. Problem Statement

The paper addresses the classical Coxeter integrals, a set of three remarkable definite integrals introduced by H.S.M. Coxeter that evaluate to rational multiples of $\pi^2$:
$$\begin{aligned} A &= \int_0^{\pi/2} \arccos\left(\frac{\cos \theta}{1 + 2 \cos \theta}\right) d\theta = \frac{5\pi^2}{24}, \\ B &= \int_0^{\pi/2} \arccos\left(\frac{1}{1 + 2 \cos \theta}\right) d\theta = \frac{\pi^2}{8}, \\ C &= \int_0^{\pi/2} \arccos\left(\frac{1 - \cos \theta}{2 \cos \theta}\right) d\theta = \frac{11\pi^2}{72}. \end{aligned}$$
While these integrals are well-known for their geometric interpretations (related to spherical/hyperbolic tetrahedra and Schläfli's differential formula) and their exact values, the author's goal is not to re-derive these values. Instead, the paper seeks to use these integrals as a tool to uncover new identities connecting elementary trigonometric integrals with elliptic integrals. Specifically, the author aims to demonstrate how differentiating a parametric family containing these integrals reveals an underlying elliptic structure.

2. Methodology

The core methodology involves parametric differentiation and integral transformation:

1. Parametric Embedding: The author embeds the first Coxeter integral ($A$) into a one-parameter family $I(\lambda)$ defined for $\lambda > -1$:
   $$I(\lambda) = \int_0^{\pi/2} \arccos\left(\frac{\cos \theta}{1 + \lambda \cos \theta}\right) d\theta.$$
   Note that $I(2) = A$ and $I(0) = B$ (since $\arccos(\cos \theta) = \theta$).

2. Differentiation: The author differentiates $I(\lambda)$ with respect to the parameter $\lambda$. Using the chain rule and the derivative of $\arccos(u)$, the derivative $I'(\lambda)$ is expressed as:
   $$I'(\lambda) = \int_0^{\pi/2} \frac{\cos^2 \theta}{(1 + \lambda \cos \theta)\sqrt{(1 + \lambda \cos \theta)^2 - \cos^2 \theta}} d\theta.$$

3. Algebraic Reduction (Weierstrass Substitution): To analyze the structure of $I'(\lambda)$, the author applies the Weierstrass substitution $t = \tan(\theta/2)$. This transforms the trigonometric integral into a rational function involving a square root of a quartic polynomial:
   $$I'(\lambda) = 2 \int_0^1 \frac{(1-t^2)^2}{(1+t^2)((1+\lambda) + (1-\lambda)t^2)\sqrt{Q(t)}} dt,$$
   where $Q(t) = (\lambda^2 + 2\lambda) + (4 - 2\lambda^2)t^2 + (\lambda^2 - 2\lambda)t^4$.

4. Elliptic Identification: The discriminant of the quartic polynomial $Q(t)$ is calculated to be a constant ($16$), indicating that the integral can be reduced to standard **incomplete elliptic integrals**. The author derives an explicit expression for$I'(\lambda)$in terms of the incomplete elliptic integral of the first kind ($F$) and the third kind ($\Pi$).

5. Integration over the Parameter: Finally, the author integrates $I'(\lambda)$ with respect to $\lambda$ from $0$to$2$. By the Fundamental Theorem of Calculus, this equals$I(2) - I(0) = A - B$.

3. Key Contributions and Results

A. Derivation of a New Double Integral Identity

The primary result is the establishment of a new identity linking a double integral to the difference between the first two Coxeter integrals:
$$\int_0^2 \int_0^{\pi/2} \frac{\cos^2 \theta}{(1 + s \cos \theta)\sqrt{(1 + s \cos \theta)^2 - \cos^2 \theta}} d\theta ds = A - B = \frac{\pi^2}{12}.$$
This identity is derived by recognizing that the inner integral is $I'(s)$ and the outer integral sums the change from $\lambda=0$ to $\lambda=2$.

B. Explicit Elliptic Representation

The paper provides a closed-form expression for the derivative $I'(\lambda)$ (valid for $0 < \lambda < 2$) in terms of elliptic functions:
$$I'(\lambda) = \frac{2i}{\sqrt{2-\lambda}\lambda(\lambda^2-1)}\sqrt{\frac{1}{2+\lambda}} \left[ \dots F(\dots) + \dots \Pi(\dots) \right].$$
This explicitly demonstrates that the derivative of a simple trigonometric integral is an elliptic integral, establishing a direct analytical bridge between the two domains.

C. Handling of Singularities

The author rigorously addresses the convergence of the integral $\int_0^2 I'(\lambda) d\lambda$.

• At $\lambda \to 0$, the elliptic parametrization degenerates, but the original integral $I'(\lambda)$ remains finite.
• At $\lambda \to 2$, the expression behaves like $(2-\lambda)^{-1/2}$.
  The paper proves that the singularity at $\lambda=2$ is integrable, ensuring the improper integral converges to the finite value $\pi^2/12$.

D. Extension to the Third Integral

The author briefly discusses the third Coxeter integral $C$, showing it can be related to the same framework via a variable transformation ($\theta \to \pi/2 - \theta$) and a structural analogy, suggesting the framework is extensible to other deformations.

4. Significance

• Bridging Analysis and Geometry: The work reinforces the deep connection between elementary trigonometric integrals and the theory of elliptic functions, showing that "innocent" trigonometric expressions can conceal complex elliptic structures.
• New Analytic Tools: By treating Coxeter integrals as boundary values of a parametric family, the paper offers a novel method to generate new integral identities. This approach moves beyond simply calculating values to exploring the functional relationships between different classes of integrals.
• Geometric Context: The results provide an analytic confirmation of the geometric intuition behind Coxeter's integrals (related to polyhedral volumes and dihedral angles), linking them to the broader theory of elliptic integrals used in physics and engineering.
• Methodological Insight: The paper demonstrates the power of the "differentiation under the integral sign" technique combined with algebraic reduction (Weierstrass substitution) to reveal hidden elliptic properties in classical problems.

In summary, the paper transforms the known exact values of Coxeter's integrals into a mechanism for discovering new relationships between trigonometric and elliptic integrals, culminating in a specific, verifiable identity equal to $\pi^2/12$.