User:Prof McCarthy/Kempe's Universality Theorem
In 1876 Alfred B. Kempe published his article On a General Method of describing Plane Curves of the nth degree by Linkwork,[1] which showed that for an arbitrary algebraic plane curve a linkage can be constructed that draws the curve. This direct connection between linkages and algebraic curves has been named the Kempe's Universality Theorem[2] that any bounded subset of an algebraic curve may be traced out by the motion of one of the joints in a suitably chosen linkage. Kempe's proof was flawed and the first complete proof was provided in 2002 based on his ideas.[3][4]
Kempe recognized that his results demonstrate the existence of a drawing linkage but would not be practical. He states
It is hardly necessary to add, that this method would not be practically useful on account of the complexity of the linkwork employed, a necessary consequence of the perfect generality of the demonstration.[1]
He then calls for the "mathematical artist" to find simpler ways of achieve this result:
The method has, however, an interest, as showing that there is a way of drawing any given case; and the variety of methods of expressing particular functions that have already been discovered renders it in the highest degree probable that in every case a simpler method can be found. There is still, however, a wide field open to the mathematical artist to discover the simplest linkworks that will describe particular curves.[1]
In 2008, as part of his Bachelor's thesis in Computer Science, Alexander Kobel generated a series of animations demonstrating the linkwork that results from Kempe's Universality theorem for the parabola, self-intersecting cubic, smooth elliptic cubic and the trifolium curves.[5]
Simpler drawing linkages
[edit]Several approaches have been taken to simplify the drawing linkages that result from Kempe's Universality Theorem. One source of complexity is Kempe's linkages used to perform addition and subtraction of two angles, the multiplication of an angle by a constant, and translation of the rotation of a link in one location to a rotation of a second link at another location. Kempe called these linkages additor, reversor, multiplicator and translator linkages, respectively. The drawing linkage can be simplified by using bevel gear differentials to add and subtract angles, gear trains to multiply angles and belt or cable drives to translate rotation angles.[6]
Another source of complexity is the generality of Kempe's application to all algebraic curves. By focusing on parameterized algebraic curves, dual quaternion algebra can be used to factor the motion polynomial and obtain a drawing linkage.[7] This has been extended to provide movement of the end-effector, but again for parameterized curves. [8]
Specializing the curves to those defined by trigonometric polynomials has provided another way to obtain simpler drawing linkages.[6]
References
[edit]- ^ a b c A. B. Kempe, (1876) On a General Method of describing Plane Curves of the nth degree by Linkwork. Proceedings of the Royal Society.
- ^ A. Saxena (2011) Kempe’s Linkages and the Universality Theorem, RESONANCE
- ^ M. Kapovich and J. J. Millson (2002), Universality theorems for configguration spaces of planar linkages Topology, Pergamon Press.
- ^ Demaine, Erik; O'Rourke, Joseph (2007), "3.2 Kempe's Universality Theorem", Geometric Folding Algorithms, Cambridge University Press, pp. 31–40, ISBN 978-0-521-71522-5.
- ^ A. Kobel, (2008) Automated Generation of Kempe Linkages for Algebraic Curves in a Dynamic Geometry System. Saarland University, Saarbrucken, Germany, Faculty of Natural Sciences and Technology I, Department of Computer Science.
- ^ a b Y. Liu and J. M. McCarthy (2017), Synthesis of a linkage to draw a plane algebraic curve Mechanism and Machine Theory, Volume 111, May 2017, Pages 10–20 Cite error: The named reference "liu" was defined multiple times with different content (see the help page).
- ^ [https://arxiv.org/abs/1507.05317 G. Hegedus, Z. Li, J. Schicho, H. P. Schrocker (2015), From the Fundamental Theorem of Algebra to Kempe’s Universality Theorem]
- ^ M. Gallet, C. Koutschan, Z. Li, G. Regensburger, J. Schicho, and N. Villamiza (2017), Planar Linkages Following a Prescribed Motion, Mathematics of Computation, 86(303), pages 473-506.