Machine Kinematics
solved, then drawn
Concept

Self-sliding surface — where it appears

A surface carried onto itself by some continuous family of rigid motions. Which motions those are is the null space of one linear condition per point — that the velocity a twist gives that point is tangent — and the six answers surfaces give are the six lower pairs.

Named by 4 essays across one field — each of them below, with the objects they name alongside it.

Six surfaces, six groups, six pairs. The six lower pairs, drawn as the surfaces they are. A lower pair is two bodies touching over a surface rather than at a point or along a line, and that is the same thing as saying the surface slides on itself — so what the joint permits is the surface's own symmetry group. Each caption is computed from the surface's normals and not from the pair's name: a plane gives three freedoms and planar motion, a sphere gives three and spherical motion, a plain cylinder gives two, a shaft with collars gives one rotation, a prism gives one translation, and a thread gives one screw whose pitch comes back as the thread's own lead. Eleven surfaces were tried and six groups came out, which is where the number in every textbook's table comes from.

A joint is a surface that slides on itself

Twenty-two fields of this site have declared their joints and then counted what those joints take away. A count cannot tell a pin from a slide — both are one. What a joint actually permits is a set of displacements closed under composition, and it can be computed from the shape of the surface: one linear condition per point, and the answer is a null space.

pairs · Pair Every surface tried, and the group it permits. The census the six lower pairs come out of. Each row is a surface, sampled at 240 points; the freedoms column is six minus the rank of a matrix with one row per point, saying that the velocity a twist gives that point is tangent to the surface. Nothing is fitted and no shape is recognised — the surface's own normals write the matrix down. Three different surfaces of revolution give the same group, which is the content of the classification; two surfaces give nothing, which is what almost every surface gives. Eleven surfaces, six groups. The last column is the ratio of the smallest singular value kept to the largest discarded, so a row reading 10¹⁵ is not near being reclassified by anybody's tolerance.

Six, and no others

Eleven surfaces were handed to the same computation and six groups came out. A cone, a torus and an ellipsoid of revolution give the same joint; a scalene ellipsoid gives none; and the list does not grow when more surfaces are added, because a surface's symmetry group has to leave a two-dimensional set alone and only six groups can.

pairs · Pair One point, six groups, six shapes. A group has no picture, so here is the next best thing: fix one point of the moving body — the marked one — and draw everywhere the group can send it. A prismatic pair sends it along a line, a revolute round a circle, a helical along a helix, a cylindrical over a cylinder, a spherical over a sphere, a planar over a plane. Those six shapes are the six surfaces the previous figures drew, which is not a coincidence and is the field's first argument read backwards: a lower pair's surface is an orbit of its own group, which is exactly why the surface can slide on itself.

What a point sees

A group of displacements has no shape, so the only picture of one is what it does to something. Fix a point and the six lower pairs draw a line, a circle, a helix, a cylinder, a sphere and a plane — the six surfaces the pairs are made of. And two of the twelve sweep the same surface and are still different groups, which is the honest caption on the whole method.

pairs · Pair slider crank: the closest pair at one position. Crank 1, connecting rod 3, the block sliding on the frame's own line. Every joint is where the solver put it, exactly as in the linkage field; the material is the only thing added. The heavy segment joins the two closest points over every pair of parts that is tested — which excludes pairs sharing a pin, since their material surrounds that pin by construction — and its length is the gap: -0.1400 here, between rod · guide, upper. A negative value is a penetration depth, the distance the pair would have to be moved apart, and it is drawn in the warning colour.

The block in the guide has a length

A prismatic pair is a point constrained to a line, and a point on a line of length G has a stroke of G. A block of length ℓ has a stroke of G − ℓ, because both its ends have to stay on the rails — so a guide is as long as the stroke plus the block, and a third of a short one is not stroke at all.

pairs · Pair

Named alongside it

The objects these essays reach for when they reach for this one.

Lower pairDisplacement subgroupPitchConstraintDegrees of freedomKinematic pairScrewSurface of revolutionTwistBearingFree spaceHigher pair

All concepts