Painlevé paradox
In rigid-body dynamics, the Painlevé paradox (also called frictional paroxysms by Jean Jacques Moreau) is the paradox that results from inconsistencies between the contact and Coulomb models of friction.[1] 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.[1]
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.[2] There exist, however, simple examples which prove that the Painlevé paradoxes can appear even for small, realistic friction.
Explanations and Solutions
[edit]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.[3] 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 (or manifolds).[4]
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[5]). 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.[6] Following the discovery of Genot and Brogliato, Hogan, Cheesman and their coworkers made an in-depth analysis of the Painleve paradox in dimension 3.[7] They also provided detailed analyses of the regularized problem in the limit.[8][9]
It is noteworthy that J. J. Moreau has shown in his seminal paper[10] 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.
Physical realizations
[edit]A common demonstration of the paradox is the "bouncing" of chalk when forced to slide across a blackboard. Since the Painlevé paradoxes are based on a mechanical model of Coulomb friction, where the calculated friction force can have multiple values when the contact point has no tangential velocity, this is a simplified model of contact. It does, nevertheless, encapsulate the main dynamical effects of friction, such as sticking and slipping zones. In addition to this simple example, more complex realizations of Painlevé paradoxes have been demonstrated.[11]
References
[edit]- ^ a b Nosonovsky, Michael (12 October 2016). "Who was Painlevé and why his paradoxes are so important for the study of friction". University of Wisconsin, Milwaukee - Department of Mechanical Engineering. Retrieved 24 March 2022.
- ^ Paul Painlevé (1895). "Sur le lois frottement de glissemment". C. R. Acad. Sci. 121: 112–115.
- ^ Stewart, David E. (2000). "Rigid-Body Dynamics with Friction and Impact". SIAM Review. 42 (1): 3–39. Bibcode:2000SIAMR..42....3S. doi:10.1137/S0036144599360110.
- ^ Franck Génot, Bernard Brogliato (1999). "New results on Painlevé paradoxes" (PDF). European Journal of Mechanics A. 18 (4): 653–678. Bibcode:1999EJMS...18..653G. doi:10.1016/S0997-7538(99)00144-8. S2CID 122553373.
- ^ Vincent Acary, Bernard Brogliato (2008). Numerical Methods for Nonsmooth Dynamical Systems. Lecture Notes in Applied and Computational Mechanics. Vol. 65. Heidelberg: Springer Verlag.
- ^ Brogliato, Bernard (2016). Nonsmooth Mechanics. Communications and Control Engineering (3rd ed.). London: Springer Verlag.
- ^ N. Cheesman, S.J. Hogan, K.U. Kristiansen (2022). "The geometry of the Painlevé paradox". SIAM Journal on Applied Dynamical Systems. 21 (3): 1798–1831. arXiv:2110.14324. doi:10.1137/21M1455590. S2CID 250544845.
- ^ K.U. Kristiansen, S.J. Hogan (2018). "Le canard de Painlevé". SIAM Journal on Applied Dynamical Systems. 17 (1): 859–908. arXiv:1703.07665. doi:10.1137/17M1122256. S2CID 43931784.
- ^ S.J. Hogan, K.U. Kristiansen (2017). "On the regularization of impact without collision: the Painlevé paradox and compliance". Proceedings of the Royal Society A. 473 (2202): 20160773. arXiv:1610.00143. Bibcode:2017RSPSA.47360773H. doi:10.1098/rspa.2016.0773. PMC 5493941. PMID 28690403.
- ^ Moreau, J. J . (1988). "Unilateral Contact and Dry Friction in Finite Freedom Dynamics". In Moreau, J.J.; Panagiotopoulos, P.D. (eds.). Nonsmooth Mechanics and Applications. International Centre for Mechanical Sciences (Courses and Lectures). Vol. 302. Vienna: Springer.
- ^ Zhen, Zhao; Liu, Caishan; Ma, Wei; Chen, Bin; et al. (2008). "Experimental Investigation of the Painlevé Paradox in a Robotic System". Journal of Applied Mechanics. 75 (4): 041006. Bibcode:2008JAM....75d1006Z. CiteSeerX 10.1.1.1027.4938. doi:10.1115/1.2910825. S2CID 13052877.