Painlevé paradox


The Painlevé paradox is a well-known example by Paul Painlevé in rigid-body dynamics that showed that rigid-body dynamics with both contact friction and Coulomb friction is inconsistent. 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.
Modelling rigid bodies and friction greatly simplifies such applications as animation, robotics and bio-mechanics, it is only an approximation to a full elastic model requiring complex systems of partial differential equations. Rigid body assumption also allows one to clarify many features that would otherwise remain hidden; Painlevé paradoxes are one of them. Moreover, the rigid body models can be reliably and efficiently simulated, avoiding stiff problems and issues related to the estimation of compliant contact/impact models, which is often quite a delicate matter.

Solution

The physical paradox was mathematically resolved in the 1990s by David E. Stewart. The Painlevé paradox has not only been solved by D. E. Stewart from the mathematical point of view, but it has been explained from a more mechanical point of view by Franck Génot and Bernard Brogliato. 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. Interested readers may also have a look at Section 5.5 in Brogliato's book and at figure 5.23 therein where the various important areas of the dynamics are depicted.
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.
drawing a dotted line with chalk, showing the bouncing effect
Since mechanics is above all an experimental science, it is of utmost importance that experiments validate the theory. The classical chalk example is often cited. Since the Painlevé paradoxes are based on a mechanical model of Coulomb friction that is perhaps a simplified model of contact but which nevertheless encapsulates the main dynamical effects of friction, it should logically possess some mechanical meaning and should not be just a mathematical fuss. Painlevé paradoxes have been experimentally evidenced several times, see for instance.