A Generalisation of Goursat's Algorithm for Integration in Finite Terms

TL;DR

This paper revisits Goursat's 1887 theorem on pseudo-elliptic integrals, extending it to cube-root integrals, and introduces a new eigendecomposition approach to identify elementary antiderivatives.

Contribution

It generalizes Goursat's algorithm for elliptic integrals to cube-root integrals, revealing a novel eigendecomposition method involving M"obius automorphisms.

Findings

Eigenvalues 1 and  lead to elementary antiderivatives via genus-0 curves.

Eigenvalue  corresponds to a transcendental integral on a genus-1 curve.

The approach provides a unified framework for integrals involving roots of cubic and quartic polynomials.

Abstract

We give a self-contained, modern exposition of \'Edouard Goursat's 1887 theorem on pseudo-elliptic integrals -- those integrals of the form $\int F(t)\,\d t/\sqrt{R(t)}$ with $R$ a cubic or quartic polynomial that, despite living on a genus-$1$ algebraic curve, admit elementary antiderivatives. After reviewing integration in finite terms and Liouville's theorem, we present Goursat's two main theorems with proofs phrased in the language of M\"obius automorphisms of the underlying hyperelliptic curve. We then develop a cube-root analog: for integrals of the form $\int F(t)\,\d t/\sqrt[3]{R(t)}$ with $R$ cubic, an order-$3$ M\"obius substitution cyclically permuting the roots of $R$ induces an eigendecomposition into three pieces. Two of the three eigenpieces (eigenvalues $1$ and $\omega^2$, where $\omega = e^{2\pi i/3}$) descend through a chain of substitutions to genus-$0$ curves and yield elementary antiderivatives; the middle eigenpiece (eigenvalue $\omega$) descends only to the genus-$1$ curve $y^3 = x(x-K)$ and is generically transcendental.