Painlevé paradox
In rigid-body dynamics, the Painlevé paradox is the paradox that results from inconsistencies between the contact and Coulomb models of friction. It is named for former French prime minister and mathematician Paul Painlevé.
To demonstrate the paradox, a hypothetical system is constructed where analysis of the system requires assuming the direction of the frictional force. Using that assumption, the system is solved. However, once the solution is obtained, the final direction of motion is determined to contradict the assumed direction of the friction force, leading to a paradox.
This result is due to a number of discontinuities in the behavior of rigid bodies and the discontinuities inherent in the Coulomb friction law, especially when dealing with large coefficients of friction. There exist, however, simple examples which prove that the Painlevé paradoxes can appear even for small, realistic friction.
Explanations and Solutions
Simplified models of friction applied to fully rigid bodies are extremely useful for a basic understanding of physical principles, or when modelling systems for applications such as animation, robotics and bio-mechanics. However, they are only an approximation to a full elastic model requiring complex systems of partial differential equations.Several resolutions of the paradox have been published. A mathematical resolution was published in the 1990s by David E. Stewart. In the same decade, Franck Génot and Bernard Brogliato, published an explanation of the paradox from a more mechanical point of view, introducing the GB-points.
Génot and Brogliato have studied in great detail the rod dynamics in the neighborhood of a singular point of the phase space, when the rod is sliding. The dynamical equations are then a particular singular ordinary differential equation with vector field f/''g, where both f'' and g may vanish at a certain point. One of the results is that at this singular point the contact force may grow unbounded, however its impulse remains always bounded. Hence the infinite contact force is not at all an obstacle to the integration. Another situation is that the trajectories may attain a zone in the phase space, where the linear complementarity problem that gives the contact force, has no solution. Then the solution has to jump to an area where the LCP has a solution. This creates indeed a sort of "impact" with velocity discontinuity. Following the discovery of Genot and Brogliato, Hogan, Cheesman and their coworkers made an in-depth analysis of the Painleve paradox in dimension 3. They also provided detailed analyses of the regularized problem in the limit.
It is noteworthy that J. J. Moreau has shown in his seminal paper through numerical simulation with his time-stepping scheme that Painlevé paradoxes can be simulated with suitable time-stepping methods, for the above reasons given later by Génot and Brogliato.