Painlevé paradox

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found.

The Painlevé paradox (also called by Jean Jacques Moreau frictional paroxysms) 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 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.[1] There exist, however, simple examples which prove that the Painlevé paradoxes can appear even for small, realistic friction.

Modeling 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.

The paradox was mathematically resolved in the 1990s by David E. Stewart.[2] The Painlevé paradox has not only been solved by D. E. Stewart from the mathematical point of view (i.e. Stewart has shown the existence of solutions for the classical Painlevé example that consists of a rod sliding on a rough plane in 2-dimension), but it has been explained from a more mechanical point of view by Franck Génot and Bernard Brogliato.[3] 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(x)/g(x), where both f and g may vanish at a certain point (angle and angular velocity). One of the results is that at this singular point the contact force may grow unbounded, however its impulse remains always bounded (this may explain why time-stepping numerical methods like Moreau's scheme can well handle such situations since they estimate the impulse, not the force[4]). Hence the infinite contact force is not at all an obstacle to the integration. Another situation (different from the first one) is that the trajectories may attain a zone in the phase space, where the linear complementarity problem (LCP) that gives the contact force, has no solution. Then the solution (i.e. the angular velocity of the rod) 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[5] and at figure 5.20 therein where the various important areas of the dynamics are depicted.

It is noteworthy that J. J. Moreau has shown in his seminal paper[6] through numerical simulation with his time-stepping scheme (afterwards called Moreau's scheme) that Painlevé paradoxes can be simulated with suitable time-stepping methods, for the above reasons given later by Génot and Brogliato.

File:Walter Lewin chalk.ogg
Walter Lewin 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 (when forced to slide on a black board, a chalk has the tendency to bounce on the board). Since the Painlevé paradoxes are based on a mechanical model of Coulomb friction (multivalued at zero tangential velocity) that is perhaps a simplified model of contact but which nevertheless encapsulates the main dynamical effects of friction (like sticking and slipping zones), 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.[7]

References

  1. Lua error in package.lua at line 80: module 'strict' not found.
  2. Lua error in package.lua at line 80: module 'strict' not found.
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Lua error in package.lua at line 80: module 'strict' not found.
  6. Lua error in package.lua at line 80: module 'strict' not found.
  7. Lua error in package.lua at line 80: module 'strict' not found.