This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Chaplygin's theorem | |
|---|---|
| Name | Chaplygin's theorem |
| Subject | Analytical mechanics |
| Field | Differential equations |
| Introduced | 19th century |
| Introduced by | Sergey Chaplygin |
Chaplygin's theorem
Chaplygin's theorem is a result in analytical mechanics and the theory of nonholonomic systems, named after Sergey Chaplygin, that concerns the reduction and Hamiltonization of certain nonholonomic dynamical systems. It connects ideas from classical mechanics, symplectic geometry, and the theory of integrable systems by identifying conditions under which nonholonomic equations of motion admit a conformal Hamiltonian structure after time reparameterization. The theorem has influenced subsequent work in geometric mechanics, rigid-body dynamics, and the study of integrable models.
Chaplygin's theorem arose in the context of studies of the motion of rigid bodies and rolling bodies without slipping, linking the contributions of Sergey Chaplygin with later developments by Henri Poincaré, Sophus Lie, and V. V. Kozlov. The theorem addresses nonholonomic constraints originally treated by Émile Lagrange and William Rowan Hamilton and situates Chaplygin's work within the broader trajectory that includes Bernhard Riemann, Josiah Willard Gibbs, and Vladimir Arnold. It plays a central role alongside concepts from symplectic geometry promoted by Jean-Marie Souriau and Lajos Pukánszky, and it is often discussed in relation to the theory of reduction by symmetry developed by Élie Cartan and Jerrold Marsden.
In its classical formulation Chaplygin's theorem provides sufficient conditions for a nonholonomic system with symmetry, described by Sergey Chaplygin, to be transformable into a Hamiltonian system by an appropriate time reparameterization and conformal change of the symplectic form. The statement references a nonholonomic Lagrangian on a configuration manifold studied by Sophus Lie and relates to reduction procedures introduced by Élie Cartan and Hermann Weyl. Under hypotheses about an invariant measure and reducibility by a Lie group action as in the work of Constantin Carathéodory, one obtains a conformally symplectic form akin to structures later formalized by Vladimir Arnold and Jerrold Marsden. The theorem is often stated in terms of the reduced dynamics on a quotient space associated with symmetry groups such as the rotation group SO(3) studied by William Thomson, and it invokes criteria similar to those in the Liouville integrability context used by Carl Gustav Jacobi.
The origins trace to Sergey Chaplygin's investigations of rolling bodies and the nonholonomic Chaplygin sleigh, developed contemporaneously with studies by Lord Kelvin and Poincaré on rigid-body motion. Chaplygin built on methods pioneered by Joseph-Louis Lagrange and William Rowan Hamilton, while interacting with the era's mathematical physics milieu including Henri Poincaré and Felix Klein. Later contributions by George David Birkhoff, Andrey Kolmogorov, and Vladimir Arnold recast Chaplygin's observations into the language of modern geometric mechanics. The mid-20th century work of Jerrold Marsden and Alan Weinstein on reduction and symplectic structures provided the toolkit to reinterpret Chaplygin's results, and the late-20th and early-21st century studies by Jovanović, Borisov, and Mamaev further extended and clarified the conditions and examples relevant to the theorem.
Proofs of Chaplygin's theorem employ techniques from geometric mechanics rooted in the calculus of variations as developed by Lagrange and Carl Gustav Jacobi, and use reduction theory initiated by Élie Cartan and Sophus Lie. One approach constructs an invariant measure following methods of George David Birkhoff and Constantin Carathéodory, then performs a time reparameterization to produce a conformally symplectic form; this strategy echoes elements of Arnold's work on canonical transformations and Vladimir Igorevich Arnold's treatment of Hamiltonian dynamics. Alternative proofs use modern symplectic and Poisson geometry tools, invoking results by Jerrold Marsden and Alan Weinstein on reduction, as well as techniques from Lie group analysis employed by Sophus Lie and Élie Cartan.
Classical examples include the Chaplygin sleigh and the rolling disk studied by Sergei Chaplygin and later analyzed by H. A. K. J. Michell and A. T. Fomenko. Other applications occur in the dynamics of the rolling sphere and the Routh sphere, connecting to problems considered by William Rowan Hamilton, James Clerk Maxwell, and Henri Poincaré. Chaplygin's theorem has been applied to problems in robotics examined by Richard M. Murray and Francesco Bullo, to spacecraft attitude dynamics treated by Vladimir Arnold and Jerrold Marsden, and to models of nonholonomic control systems investigated by Roger W. Brockett. In the integrable systems community, links appear with classical work by Carl Gustav Jacobi and modern treatments by Alexey V. Bolsinov and Andrey V. Bolsinov.
Generalizations extend Chaplygin's criteria to systems with nonabelian symmetry groups examined by Sophus Lie and Élie Cartan, and to multidimensional nonholonomic systems studied by Vladimir Kozlov and Ratiu. Related results include the Chaplygin reducing multiplier method refined by Borisov and Mamaev and the conformal Hamiltonization frameworks developed by Jerrold Marsden, Tudor Ratiu, and Anna M. Bloch. Connections to the theory of Poisson brackets and Lie algebroids derive from work by Alan Weinstein, Jean-Louis Loday, and Kirill Mackenzie, while links to integrability criteria reflect advances by Sergey Novikov and Vladimir Fomenko.
See works by Sergey Chaplygin, Henri Poincaré, Joseph-Louis Lagrange, William Rowan Hamilton, Jerrold Marsden, Vladimir Arnold, Borisov and Mamaev, and contemporary surveys in geometric mechanics by J. E. Marsden and T. S. Ratiu for detailed expositions.
Category:Theorems in mechanics