The Myth of Hamel's Paradox (arXiv:2609.35857)

physicsclassical-mechanicsnonholonomic-systemshistory-of-sciencehistoriographypriority-disputelagrangian-mechanicsoutside

Capture from a single primary source: Robert Singer (FH Joanneum — University of Applied Sciences, Graz, Austria), "The Myth of Hamel's Paradox," arXiv:2609.35857 [physics.class-ph, cross-listed physics.hist-ph], submitted 25 Sep 2026, 32 pages. This is a self-archived, unrefereed preprint — the arXiv listing carries no journal reference, only a Zenodo DOI for the preprint deposit itself — unlike the previously captured Carrington paper, which already had a journal DOI. Fetched via archive_page (abstract page, sha ec3c189b...) and extract_pdf (full-text PDF, sha 88f1c542..., tls: "verified" — no elevated suspicion warranted). No safety signals fired on either fetch: third-person academic prose throughout, no addressed-to-AI language, no override or authority-claiming language, no tier self-assignment, no file-system or credential requests, no urgency framing. Title confirmed verbatim against both the arXiv abstract page header and the PDF's own title line.

Single-source concentration flag: all three core claims below rest on this one unrefereed preprint. This exactly reaches, but does not exceed, the three-claim cap in sources.md for an uncorroborated primary. Any further claim drawn from this paper (e.g. the geometric/residue mechanism in §4, or the correction to Hamel's 1904 necessity claim) should go to 50-questions/ as a corroboration question rather than becoming a fourth claim-note, unless an independent source (different author, different venue) corroborates the paper first. The classical 19th/20th-century sources the paper cites (Neumann 1899, Hadamard 1895, Hamel 1904/1949, etc.) are themselves independent of each other and of Singer, but this capture has not independently verified any of them at first hand — only through Singer's quotations and table entries, which he states are "examined at first hand" by him.

Retrieve-before-write check against the surfaced related notes found no direct overlap in subject matter (none of the listed notes concern classical/nonholonomic mechanics). The closest genuine kinship is thematic rather than topical: claim-notation-disperses-only-after-formal-publication-or-institutionalization and claim-independent-notation-reinvention-is-general-pattern-not-blindness-specific both concern how results/notation fail to propagate across language, publication, or translation barriers — this paper's own explanation for how "Hamel's paradox" could be mistaken for a 2010 discovery (Section 5: the German/French primary literature "was not translated into English before the 2010s... and circulates mainly as page scans without a text layer") is a vivid parallel case, worth a bridge note later but not duplicated here since the subject matter (classical mechanics vs. ML/autodiff history) is unrelated.

Claim: "Hamel's paradox" is a term coined in 2010, not by Hamel, and the paper argues it misattributes to Hamel a question he had already answered in print

Udwadia and Wanichanon's 2010 paper ("Hamel's Paradox and the Foundations of Analytical Dynamics," Applied Mathematics and Computation) introduced the name, presenting the knife-edge substitution failure as "a paradox posed by Hamel in his 1949 book" and asserting that Hamel's text leaves open both why the substitution fails and under which conditions it would. Singer's paper states flatly that both of these characterizations of Hamel's text are incorrect, and that Hamel's own textbook already supplies both the "why" (a few pages after the passage the 2010 paper cites) and the "special circumstances" (identified decades earlier by Hadamard 1895, Appell 1899, and Hamel's own 1904 paper).

• Source: Robert Singer, "The Myth of Hamel's Paradox," arXiv:2609.35857, §1 and §3.1
• source_quote: "Recent work calls this failure Hamel's paradox [1]. Udwadia and Wanichanon introduced the term, presenting it as a paradox posed by Hamel in his 1949 book and stating that Hamel leaves open both why the substitution fails and under which circumstances it does."
• source_quote_2: "The authors state that, while “Hamel is correct in what he writes,” he “leaves the reader unclear as to why” the substitution fails and “leaves open the question of identifying those special circumstances” in which it would fail [1, p. 1255]. Both statements are incorrect."
• source_url: https://arxiv.org/pdf/2609.35857
• source_url_2: https://arxiv.org/pdf/2609.35857
• source_sha: 88f1c542251ee8f2837727197108c191ad388e847eca6e8fb3ce77d935f9a920
• source_sha_2: 88f1c542251ee8f2837727197108c191ad388e847eca6e8fb3ce77d935f9a920
• source_author: Robert Singer
• source_date: 2026-09-25
• source_title: "The Myth of Hamel's Paradox"
• source_venue: "arXiv (physics.class-ph / physics.hist-ph), arXiv:2609.35857 (unrefereed preprint)"
• source_tier: 1
• Note: historical/priority claim about who coined a term and whether a characterization of a cited text is accurate — contested and load-bearing, so it is held to the Tier 1-2 floor rather than the looser definitional/historical floor. It clears that floor: this is the paper's own direct analysis, quoting the 2010 paper by page number, on a verified-TLS primary fetch. What is NOT independently verified here is Udwadia & Wanichanon (2010) itself — this capture has only Singer's quotations of it, not a direct read of the 2010 Applied Mathematics and Computation paper.

Claim: the inadmissibility of substituting a velocity constraint into kinetic energy before forming Lagrange's equations, and its exact limits of validity, were established in the published literature between 1895 and 1904 — over a century before the "paradox" label

Singer's paper identifies a documented chain of named results predating the 2010 paper by more than a century: Vierkandt (1892) first located the error in rolling-body problems; C. Neumann (1899) named the operation "the illegitimate form of the kinetic energy"; Hadamard (1895), Chaplygin (1897), and Appell (1899) each gave conditions under which the substitution is or is not valid; and Hamel's own 1904 paper generalized these conditions to quasi-velocities. The paper presents two tables (1892-1908 and 1949-2015) of sources it states were "examined at first hand," arguing the result then stayed continuously in print through the 20th century in specialist mechanics texts and in geometric mechanics.

• Source: Robert Singer, "The Myth of Hamel's Paradox," arXiv:2609.35857, §1
• source_quote: "The inadmissibility of the substitution was recognized in the 1890s [4–6], and C. Neumann gave the operation its classical name, the illegitimate form of the kinetic energy [7]. Hadamard [8], Appell [9] and Hamel [10] established its limits of validity; the Russian literature studies these limits to this day as the Hadamard–Hamel problem [11]."
• source_url: https://arxiv.org/pdf/2609.35857
• source_sha: 88f1c542251ee8f2837727197108c191ad388e847eca6e8fb3ce77d935f9a920
• source_author: Robert Singer
• source_date: 2026-09-25
• source_title: "The Myth of Hamel's Paradox"
• source_venue: "arXiv (physics.class-ph / physics.hist-ph), arXiv:2609.35857 (unrefereed preprint)"
• source_tier: 1
• Note: historical claim, contested/load-bearing (it is the central thesis of the paper), held to the Tier 1-2 floor. The claim rests on Singer's own direct examination of the primary 1890s-1900s texts (stated explicitly as "examined at first hand" for the German sources; French/Russian sources via named translations — see the paper's own "note on sources and translations"), which is as close to Tier 1 as a historiographical synthesis gets without this capture independently re-reading Neumann 1899 or Hadamard 1895 itself.

Claim: Hamel's own 1949 textbook — the text the 2010 paper cites as the paradox's source — explicitly states the prohibition at the very example later used to pose the "paradox," using Neumann's 1899 term

In Hamel's 1949 textbook Theoretische Mechanik, in the knife-edge example itself (No. 229, pp. 465-466), Hamel states that one may use the constraint equation only after the equations of motion are formed, not before, and that using the constraint-simplified kinetic energy beforehand "would evidently have given false equations." A few pages later in the same chapter (No. 240) he gives the reason, calling it "premature use of the constraint equation" and invoking Neumann's "illegitimate form" terminology directly.

• Source: Robert Singer, "The Myth of Hamel's Paradox," arXiv:2609.35857, §2.2 and §3.1, quoting G. Hamel, Theoretische Mechanik (Springer, 1949), No. 229/237/240, pp. 465-467
• source_quote: "Hamel states the prohibition at the example itself: one may use the constraint after the equations of motion are set up, “but we would not have been permitted to work beforehand with the expression of the kinetic energy simplified by the constraint equation [. . . ]. That would evidently have given false equations” [12, p. 466]."
• source_quote_2: "The “why” is stated a few pages after the cited passage in the same chapter, “vorzeitiger Gebrauch der Bedingungsgleichung” (premature use of the constraint equation), together with Neumann's term [12, No. 240]."
• source_url: https://arxiv.org/pdf/2609.35857
• source_url_2: https://arxiv.org/pdf/2609.35857
• source_sha: 88f1c542251ee8f2837727197108c191ad388e847eca6e8fb3ce77d935f9a920
• source_sha_2: 88f1c542251ee8f2837727197108c191ad388e847eca6e8fb3ce77d935f9a920
• source_author: Robert Singer
• source_date: 2026-09-25
• source_title: "The Myth of Hamel's Paradox"
• source_venue: "arXiv (physics.class-ph / physics.hist-ph), arXiv:2609.35857 (unrefereed preprint)"
• source_tier: 1
• Note: historical/textual claim about what a specific named source (Hamel 1949) actually says — surprising and directly contradicts the 2010 paper's reading, so held to Tier 1-2. The quoted German original ("wir hätten aber nicht vorher mit dem durch die Bedingungsgleichung vereinfachten Ausdruck der kinetischen Energie [...] arbeiten dürfen") is reproduced in the paper's footnote, and Singer states the German sources (including Hamel) "were read in the original" — this capture has not independently obtained a copy of Hamel's 1949 textbook itself, so the claim rests on Singer's translation and transcription, not on a direct second read of Theoretische Mechanik.

Further leads

• Singer's geometric result: the substituted kinetic energy is the restriction of the mass metric to the constraint distribution, legitimate iff the distribution is Frobenius-integrable; otherwise the correctly embedded equations differ by a residue term Res_α = c^s_αβ ω^β P_s (Proposition 4, §4.4) — a technical-mechanism claim, Tier 1 if promoted, but held back here to respect the three-claim single-source cap.
• Singer states this residue formula also corrects a necessity claim in Hamel's own 1904 paper: Hamel's two admissibility mechanisms are sufficient and (for one constraint) necessary, but for several constraints are not, because contributions from different constrained directions can cancel (§4.4, Appendix E.2) — another technical claim from the same single source.
• The modern "debate" is a closed citation loop: Udwadia & Wanichanon (2010) cite six sources, Chen (2013) cites seven, Wanichanon & Cho (2024) replies to Chen — none cite the classical 1890s-1900s record (§3.3, §5). (via arXiv:2609.35857, §5)
• Named parallel/neighboring open questions cited by Singer as still being examined: F. Talamucci's 2025/2026 arXiv papers on the "transpositional relation" and Chetaev-admissible variations in nonholonomic systems (refs [39],[40]). (via arXiv:2609.35857, references)
• Borisov, Mamaev & Bizyaev's 2016 "Historical and critical review of the development of nonholonomic mechanics" (Regular and Chaotic Dynamics) is cited by Singer as a modern account of the same classical period — a possible independent corroborating source for Claim 2, not yet checked. (via arXiv:2609.35857, ref [27])

Entity candidates

• C. Neumann — person — coined the term "illegitimate form of the kinetic energy" (1899); the foundational naming the paper's whole "myth" argument rests on. Flagged first per the instruction to name the older foundational figure before the paper's own subjects.
• Georg Hamel — person — the eponym himself: authored both the 1904 paper that established the admissibility conditions and the 1949 textbook (Theoretische Mechanik) that the 2010 paper cites as the paradox's source; the paper's central claim is that the modern debate misreads him.
• Jacques Hadamard — person — gave the 1895 conditions on which constraint combinations may legitimately be substituted into kinetic energy; his integrability criterion is one of the two classical admissibility mechanisms the paper reconstructs geometrically.
• Paul Appell — person — stated the substitution rule in his 1899 booklet Les mouvements de roulement en dynamique and corrected his own earlier treatise's error.
• Sergei Chaplygin — person — 1897 report exposing an error of Lindelöf's, independently establishing the same integrability condition.
• A. Vierkandt — person — 1892, first located the substitution error in rolling-body problems, the earliest source in the paper's record.
• D.J. Korteweg — person — 1900, identified the substitution as a "quite common incorrect approach" in rolling problems and derived the small-oscillations exception.
• Firdaus E. Udwadia and Thanapat Wanichanon — persons — authors of the 2010 paper ("Hamel's Paradox and the Foundations of Analytical Dynamics," Applied Mathematics and Computation) that coined "Hamel's paradox"; the modern claim Singer's paper is built to rebut.
• Y.H. Chen — person — 2013 paper formalizing a "Rosenberg conjecture" and adopting the "Hamel paradox" name from the 2010 paper.
• T. Wanichanon and H. Cho — persons — 2024 paper ("On Hamel's Paradox," Nonlinear Dynamics) continuing the modern debate.
• Robert Singer — person — author of this paper, FH Joanneum — University of Applied Sciences, Graz, Austria.
• Illegitimate form of the kinetic energy — concept — Neumann's 1899 term for the substituted/restricted kinetic energy function; candidate for its own definitional note given how much terminology history turns on it.
• Constrained Lagrangian — concept — the geometric-mechanics-era name (Bloch, Krishnaprasad, Marsden & Murray 1996) for the same restricted-energy object, used without the admissibility question being posed.