The Myth of Hamel's Paradox
Abstract
Substituting a velocity constraint into the kinetic energy before forming Lagrange's equations yields, in general, incorrect equations of motion. Recent literature calls this failure "Hamel's paradox," a term introduced in 2010. We show that there is no paradox. The inadmissibility of the substitution was recognized in the 1890s; C. Neumann (1899) named the operation the illegitimate form of the kinetic energy, and Hadamard (1895), Chaplygin (1897), Appell (1899) and Hamel (1904) established its limits of validity. Hamel's textbook of 1949, the nominal source of the paradox, states the prohibition and uses Neumann's term; the result remained in print in the specialist literature and in geometric mechanics. The modern debate cites none of this record; we collect it from the primary sources and measure the debate's claims against it. A geometric analysis identifies the substituted function as the restriction of the mass metric to the constraint distribution. If the distribution is integrable, the restriction is the induced metric of an integral manifold, and the substitution is legitimate. If not, the correctly embedded Boltzmann--Hamel equations differ from those of the restricted energy by a single residue, Resα=csαβ ωβPs, relative to the complement of the constraint distribution that the shortcut selects. The residue vanishes exactly when the symmetric part of its coefficient vanishes. The two classical admissibility mechanisms, decoupling of the mass metric and vanishing bracket components, are sufficient for this and, for a single constraint, also necessary; for several constraints they are not, which corrects a necessity claim in Hamel's paper of 1904.
Related
- Magnon Klein paradox
- Paradox, Probability, and Quantum Reality: Explained with Physics and with Philosophy — and How Perception Works Within Them
- Jevons' Paradox and Fast Generative Simulation for HEP: Why Realistic Benchmarking is Essential
- Precise Solution to Zeno’s Paradox of the Arrow by Discrete Motion Model
- The friendship paradox: Causal evidence of its behavioral consequences
BibTeX
@misc{singer2026myth,
title = {{The Myth of Hamel's Paradox}},
author = {Robert Singer},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.35857},
eprint = {2609.35857},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.35857},
}
RIS
TY - UNPB
TI - The Myth of Hamel's Paradox
AU - Robert Singer
PY - 2026
DA - 2026/09/25
PB - arXiv
DO - 10.48550/arxiv.2609.35857
UR - https://arxiv.org/abs/2609.35857
AB - Substituting a velocity constraint into the kinetic energy before forming Lagrange's equations yields, in general, incorrect equations of motion. Recent literature calls this failure "Hamel's paradox," a term introduced in 2010. We show that there is no paradox. The inadmissibility of the substitution was recognized in the 1890s; C. Neumann (1899) named the operation the illegitimate form of the kinetic energy, and Hadamard (1895), Chaplygin (1897), Appell (1899) and Hamel (1904) established its limits of validity. Hamel's textbook of 1949, the nominal source of the paradox, states the prohibition and uses Neumann's term; the result remained in print in the specialist literature and in geometric mechanics. The modern debate cites none of this record; we collect it from the primary sources and measure the debate's claims against it. A geometric analysis identifies the substituted function as the restriction of the mass metric to the constraint distribution. If the distribution is integrable, the restriction is the induced metric of an integral manifold, and the substitution is legitimate. If not, the correctly embedded Boltzmann--Hamel equations differ from those of the restricted energy by a single residue, Res_α=c^s_αβ ω^βP_s, relative to the complement of the constraint distribution that the shortcut selects. The residue vanishes exactly when the symmetric part of its coefficient vanishes. The two classical admissibility mechanisms, decoupling of the mass metric and vanishing bracket components, are sufficient for this and, for a single constraint, also necessary; for several constraints they are not, which corrects a necessity claim in Hamel's paper of 1904.
ER -