Mathematicians Prove Chaos Rules One-Dimensional Charged Three-Body Systems

Three point masses sit on a single line, pushing and pulling at one another through inverse-square forces. It sounds like the simplest imaginable dynamical system, a stripped-down cousin of the problem that has haunted celestial mechanics since Newton. Yet a new mathematical proof shows that even this one-dimensional arena can defy exact solution. In a paper published in Celestial Mechanics and Dynamical Astronomy, Mitsuru Shibayama and Yoshiki Takeguchi of Kyoto University establish that the one-dimensional charged three-body problem is non-integrable in the equal-mass case, meaning no hidden conserved quantity exists that would allow mathematicians to solve the equations of motion in closed form.

The result matters because integrability is the dividing line between order and chaos in classical mechanics. An integrable system possesses enough constants of motion, one for each degree of freedom, to pin down every trajectory analytically. The two-body problem under gravity is the textbook example: Kepler’s laws follow from conserved energy, angular momentum and the direction of the orbital plane. Add a third body, even confined to a line, and the supply of conserved quantities runs dry. Poincaré recognized more than a century ago that the general three-body problem resists solution, and subsequent work has mapped out precisely which special cases escape this fate. The new study extends that map into the territory of charged particles, where electrostatic attraction and repulsion join gravity in shaping the dynamics.

In the charged three-body problem, the particles interact through a potential that combines inverse-square force terms, generalizing the purely gravitational case studied for centuries. When the charges and masses are chosen so that some particles attract and others repel, the motion along the line can be far richer than in the gravitational version, where all interactions pull inward. The authors focus on the equal-mass case, a natural benchmark that nonetheless captures the essential difficulty. Their central claim is rigorous: for equal masses, the system admits no additional analytic first integral beyond the obvious conserved energy, and therefore cannot be solved by quadrature.

The proof rests on a powerful modern tool known as Morales-Ramis theory, developed by Jesús Morales-Ruiz and Jean-Pierre Ramis at the turn of the millennium. The theory forges a link between the classical question of integrability and the differential Galois theory of linear equations. The strategy is to examine how nearby trajectories behave in the neighborhood of a particular solution of the system. If the full nonlinear system is integrable, then the linearized equations governing small perturbations around that special solution must themselves be solvable in a precise sense: their differential Galois group must be virtually Abelian. If the Galois group turns out to be too large, typically the full symplectic group, integrability is impossible.

The special solutions at the heart of the analysis are called central configurations. These are arrangements of the point masses, here specific positions along the line, at which the force on each particle is exactly proportional to its distance from the center of mass. Central configurations act as the skeleton of the three-body problem: they generate the famous Euler and Lagrange solutions and organize the topology of the phase space. Crucially for the authors’ purposes, the Hessian matrix of the potential function, its matrix of second derivatives, can be evaluated at each central configuration, and the eigenvalues of that matrix feed directly into the Morales-Ramis integrability criteria.

Here the analysis collides with a notorious algebraic obstacle. Finding the central configurations of the three-body problem on a line requires solving the Euler quintic, a fifth-degree polynomial whose roots correspond to the allowed arrangements. Fifth-degree polynomials generally cannot be solved by radicals, and the roots of the Euler quintic are unwieldy expressions that resist direct manipulation. Earlier approaches to non-integrability proofs often stalled at exactly this point, forced either to handle the roots symbolically in full generality or to restrict attention to special parameter values where the quintic factors nicely.

Shibayama and Takeguchi sidestep the problem with an elegant algebraic maneuver. Rather than computing the roots of the Euler quintic, they exploit the classical relations between roots and coefficients of a polynomial. The Morales-Ramis criteria do not actually require the eigenvalues themselves; they constrain the eigenvalues through their elementary symmetric polynomials, the building blocks that appear in Vieta’s formulas. The authors show that these symmetric polynomials, evaluated at the eigenvalues associated with each root of the quintic, can be expressed purely in terms of the physical parameters of the system, namely the masses and the coefficients governing the interaction terms in the potential. This reformulation converts an intractable root-finding problem into a tractable calculation with polynomial expressions in the parameters, and it allows the non-integrability conditions to be checked across the equal-mass case without ever writing down a single root.

The payoff is a proof that the eigenvalue configurations demanded by integrability cannot occur. The Morales-Ramis theory imposes strong arithmetic restrictions: the eigenvalues of the Hessian at a central configuration must satisfy rigid algebraic relations if an additional analytic integral is to exist. By expressing the relevant symmetric functions in terms of masses and interaction parameters, the authors demonstrate that for equal masses these relations fail, so the differential Galois group of the variational equations is large enough to rule out integrability. The conclusion is that the one-dimensional charged three-body problem with equal masses is genuinely non-integrable, no matter how the remaining interaction parameters are tuned within the family considered.

As a companion result, the paper offers an alternative proof of non-integrability for the purely gravitational case, revisiting territory that Shibayama had explored in earlier work on the collinear three-body problem. What distinguishes the new treatment is its use of symbolic computation. The authors employ the computer algebra system Maple to carry out the lengthy manipulations of the variational equations and the verification of the Galois-theoretic obstructions, providing a machine-checked pathway through calculations that would be error-prone by hand. The approach signals a broader trend in celestial mechanics, where computer-assisted algebra is increasingly deployed to certify results that were once the exclusive province of painstaking manual derivation, following a line of work by researchers such as Alin Bostan, Thierry Combot and Mohab Safey El Din on computing integrability conditions for parametrized potentials.

The study builds on and complements recent advances in the field. In 2025, Maria Przybylska and Andrzej Maciejewski published a non-integrability result for the charged three-body problem in the same journal, and the new work sharpens the picture by handling the equal-mass one-dimensional case with a method that tames the Euler quintic. Hiroshi Yoshida’s classic 1987 criterion for homogeneous potentials, along with the Morales-Ruiz and Simó analysis of n-body non-integrability, forms the theoretical backbone of the enterprise. Taken together, these results chart a program: identify the exact boundary between solvable and unsolvable regimes of few-body dynamics. The Kyoto team’s contribution shows that even when the geometry is reduced to a single line and the masses are made identical, the charged three-body problem remains on the unsolvable side of that boundary, a reminder that deterministic simplicity in the laws of motion does not guarantee solvability in the mathematics that follows from them.

Subject of Research: Non-integrability of the one-dimensional charged three-body problem via Morales-Ramis theory

Article Title: Non-integrability of some one-dimensional charged three-body problems

Article References: Shibayama, M., & Takeguchi, Y. (2026). Non-integrability of some one-dimensional charged three-body problems. Celestial Mechanics and Dynamical Astronomy, 138(5), Article 57. https://doi.org/10.1007/s10569-026-10332-z

Image Credits: AI Generated

DOI: 10.1007/s10569-026-10332-z

Keywords: three-body problem, non-integrability, Morales-Ramis theory, celestial mechanics, central configurations, Euler quintic, differential Galois theory, Hamiltonian systems, charged particles, symbolic computation, Kyoto University, dynamical systems