arxiv: 2604.27806 · v1 · submitted 2026-04-30 · 💻 cs.SC

Recognition: unknown

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

Sam Blake

Authors on Pith no claims yet

Pith reviewed 2026-05-07 06:43 UTC · model grok-4.3

classification 💻 cs.SC

keywords integration in finite termspseudo-elliptic integralsMöbius transformationsalgebraic curvesgenus theorycube rootsLiouville theorem

0 comments

The pith

An order-three Möbius substitution decomposes integrals of the form ∫ F(t) dt / ∛R(t) with R cubic into two elementary pieces and one generically transcendental piece.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends Goursat's classical result on pseudo-elliptic integrals, which are integrals involving square roots of cubics or quartics that nevertheless admit elementary antiderivatives despite living on genus-one curves. It develops the parallel case for cube roots of cubics. An order-three Möbius transformation that cycles the three roots of R induces a decomposition of the integrand into three eigencomponents. Two of those components descend through further substitutions to genus-zero curves and therefore integrate in elementary terms. The remaining component descends only to the specific genus-one curve y³ = x(x - K) and is generically non-elementary. A reader cares because the method supplies an explicit algorithmic separation between the parts that can be integrated in finite terms and the part that cannot.

Core claim

For integrals ∫ F(t) dt / ∛R(t) where R is cubic, the order-three Möbius substitution cyclically permuting the roots of R produces an eigendecomposition of the integrand. The eigenpieces belonging to eigenvalues 1 and ω² descend to genus-zero curves and admit elementary antiderivatives. The eigenpiece belonging to eigenvalue ω descends only to the genus-one curve y³ = x(x - K) and is generically transcendental.

What carries the argument

The order-three Möbius substitution that cyclically permutes the three roots of the cubic R(t) and thereby induces an eigendecomposition of the differential into pieces that descend to curves of different genus.

If this is right

When the middle eigencomponent vanishes or is zero, the original integral is elementary and can be constructed from the genus-zero pieces.
The non-elementary part, when present, always reduces to integration on the fixed elliptic curve y³ = x(x - K).
Liouville's theorem applies directly after descent to decide elementarity of each eigenpiece.
The method supplies a concrete test for whether a given integrand of this form is elementary.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same cyclic-substitution idea may apply to integrals involving higher roots of polynomials of higher degree.
Similar decompositions could separate closed-form and non-closed-form solutions in certain classes of algebraic differential equations.
Computer-algebra implementations could use the decomposition to handle a wider range of pseudo-elliptic integrands automatically.

Load-bearing premise

That F is a rational function so the substitutions preserve a rational differential to which Liouville's theorem on integration in finite terms can be applied.

What would settle it

An explicit rational F and cubic R for which the middle eigencomponent with eigenvalue ω possesses an elementary antiderivative.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper modernizes Goursat's 1887 result on pseudo-elliptic integrals and adds a genuine cube-root extension via order-3 Möbius automorphisms.

read the letter

The main point is that the paper gives a clean modern proof of Goursat's theorem on elementary integrals of the form ∫ F(t) dt / sqrt(R(t)) with R cubic or quartic, then extends the approach to cube roots. The cube-root case uses an order-3 Möbius substitution that cycles the roots of R to produce an eigendecomposition of the integrand into three pieces. Two of them (eigenvalues 1 and ω²) reduce through substitutions to genus-0 curves and integrate elementarily. The middle piece (eigenvalue ω) reduces only to the genus-1 curve y³ = x(x-K) and is generically transcendental. This decomposition is not in the cited literature, so it is a real addition. The square-root part is mostly an exposition, but the proofs are rephrased in terms of curve automorphisms, which makes the classical material easier to follow than the 1887 original. The arguments rely on standard Möbius properties and Liouville's theorem applied after the substitutions, with no circular steps. The assumption that F is rational is the usual one for this setting and is handled consistently. The stress-test note confirms that the map lifts to an automorphism without introducing extra branch points, so the descent works as claimed. A minor limitation is the absence of worked examples that show the eigendecomposition and descent steps on a concrete integral. Adding one or two such calculations would make the new method easier to use in practice, but this is not a logical gap. The paper is aimed at people working on symbolic integration algorithms or Liouville theory in computer algebra. A reader who needs algorithmic handles for integrals involving roots will get direct value from the cube-root extension. It is a focused, technically grounded contribution that deserves a serious referee. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper provides a self-contained, modern exposition of Édouard Goursat's 1887 theorem on pseudo-elliptic integrals of the form ∫ F(t) dt / √R(t) with R cubic or quartic, proving they can admit elementary antiderivatives using Möbius automorphisms of the hyperelliptic curve. It then develops a generalization for integrals ∫ F(t) dt / ∛R(t) with R cubic, employing an order-3 Möbius substitution that cyclically permutes the roots of R to induce an eigendecomposition of the integrand. The eigencomponents corresponding to eigenvalues 1 and ω² descend to genus-0 curves and yield elementary antiderivatives, whereas the component with eigenvalue ω descends to the genus-1 curve y³ = x(x-K) and is generically transcendental.

Significance. This result, if the descent arguments are fully rigorous as suggested by the structure, is significant in the field of symbolic computation and integration in finite terms. It offers a clear, algebraic criterion for when such integrals are elementary by leveraging standard properties of Möbius transformations and Liouville's theorem. The cube-root generalization is a substantive extension of Goursat's work and provides a template for similar analyses in other algebraic settings. The manuscript's strengths lie in its explicit constructions, lack of free parameters, and alignment with classical function-field techniques, making it potentially useful for implementing decision procedures in computer algebra systems.

minor comments (2)

[Abstract] Abstract: the notation ω for a primitive cube root of unity is used without an immediate parenthetical definition or reference; adding '(where ω = e^{2πi/3})' on first use would improve accessibility.
[cube-root analog] In the section developing the cube-root analog: while the lifting of the Möbius map to a curve automorphism is described as standard, an explicit one-line verification that R(σ(t))/R(t) equals a constant times the cube of a rational function would make the argument fully self-contained without requiring external recall.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment. We are pleased that the referee views the modern exposition of Goursat's theorem and the cube-root generalization as a substantive contribution to integration in finite terms, and we appreciate the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper provides a self-contained exposition of Goursat's theorems and their cube-root generalization. It reviews Liouville's theorem, then proves the main results by exhibiting explicit Möbius automorphisms of the underlying curves and showing how the induced pullbacks decompose the integrand into eigenpieces that descend to genus-0 or genus-1 curves. The key algebraic fact—that an order-3 Möbius map cycling the roots of a cubic R lifts to an automorphism because R(σ(t))/R(t) equals a constant times the cube of a rational function—is derived directly from the geometry of the curve and does not rely on any fitted parameter, self-referential definition, or load-bearing self-citation. All steps invoke only standard external results (Liouville's theorem, properties of Möbius transformations, and function-field descent) whose validity is independent of the paper's own constructions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on classical results in differential algebra and algebraic geometry without introducing new fitted constants or postulated entities beyond the standard setup of hyperelliptic curves.

axioms (2)

domain assumption Liouville's theorem on integration in finite terms
Invoked to certify that descent to genus-0 curves yields elementary antiderivatives.
standard math Möbius transformations act as automorphisms of the hyperelliptic curve defined by the root
Used throughout the proofs for both square-root and cube-root cases.

pith-pipeline@v0.9.0 · 5529 in / 1577 out tokens · 71129 ms · 2026-05-07T06:43:18.070152+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 1 canonical work pages

[1]

Bertrand,Extensions deD-modules et groupes de Galois diff´ erentiels, in:p-adic analysis (Trento, 1989), Lecture Notes in Math., vol

D. Bertrand,Extensions deD-modules et groupes de Galois diff´ erentiels, in:p-adic analysis (Trento, 1989), Lecture Notes in Math., vol. 1454, Springer, 1990, pp. 125–141

1989
[2]

Blake,A simple method for computing some pseudo-elliptic integrals in terms of elemen- tary functions, preprint, 2020

S. Blake,A simple method for computing some pseudo-elliptic integrals in terms of elemen- tary functions, preprint, 2020. arXiv:2004.04910

work page arXiv 2020
[3]

Bronstein,Integration of elementary functions, J

M. Bronstein,Integration of elementary functions, J. Symbolic Comput.9(1990), 117–173

1990
[4]

Bronstein,Symbolic Integration I: Transcendental Functions, 2nd ed., Algorithms and Computation in Mathematics, vol

M. Bronstein,Symbolic Integration I: Transcendental Functions, 2nd ed., Algorithms and Computation in Mathematics, vol. 1, Springer, 2005

2005
[5]

Chowla and A

S. Chowla and A. Selberg,On Epstein’s zeta function, J. reine angew. Math.227(1967), 86–110

1967
[6]

Crespo and Z

T. Crespo and Z. Hajto,Algebraic Groups and Differential Galois Theory, Graduate Studies in Mathematics, vol. 122, American Mathematical Society, 2011

2011
[7]

J. H. Davenport,On the Integration of Algebraic Functions, Lecture Notes in Computer Science, vol. 102, Springer, 1981

1981
[8]

Goursat,Note sur quelques int´ egrales pseudo-elliptiques, Bulletin de la S

´E. Goursat,Note sur quelques int´ egrales pseudo-elliptiques, Bulletin de la S. M. F.,15 (1887), 106–120
[9]

B. H. Gross,On the periods of abelian integrals and a formula of Chowla and Selberg(with an appendix by D. E. Rohrlich), Invent. Math.45(1978), 193–211

1978
[10]

Khovanskii,Topological Galois Theory: Solvability and Unsolvability of Equations in Finite Terms, Springer Monographs in Mathematics, Springer, 2014

A. Khovanskii,Topological Galois Theory: Solvability and Unsolvability of Equations in Finite Terms, Springer Monographs in Mathematics, Springer, 2014

2014
[11]

A. R. Magid,Lectures on Differential Galois Theory, University Lecture Series, vol. 7, American Mathematical Society, 1994

1994
[12]

R. H. Risch,The problem of integration in finite terms, Trans. Amer. Math. Soc.139 (1969), 167–189

1969
[13]

R. H. Risch,The solution of the problem of integration in finite terms, Bull. Amer. Math. Soc.76(1970), 605–608

1970
[14]

J. F. Ritt,Integration in Finite Terms, Columbia University Press, 1948

1948
[15]

Rosenlicht,Integration in finite terms, Amer

M. Rosenlicht,Integration in finite terms, Amer. Math. Monthly79(1972), 963–972. 26

1972
[16]

B. M. Trager,Integration of algebraic functions, Ph.D. thesis, MIT, 1984

1984
[17]

van der Put and M

M. van der Put and M. F. Singer,Galois Theory of Linear Differential Equations, Grundlehren der mathematischen Wissenschaften, vol. 328, Springer, 2003

2003
[18]

Welz,Postings on Goursat-type pseudo-elliptic integrals and their cube-root analogs, sci.math.symbolic newsgroup, 2012–2024

M. Welz,Postings on Goursat-type pseudo-elliptic integrals and their cube-root analogs, sci.math.symbolic newsgroup, 2012–2024. https://groups.google.com/g/sci.math.symbolic/search?q=goursat. 27

2012