Machine Kinematics
solved, then drawn
Concept

Lie bracket — where it appears

The direction left over when two permitted motions are performed in one order and undone in the other, which is where that manoeuvre displaces a mechanism. It is why a car can be parked sideways: the forbidden direction is the bracket of two permitted ones, so it is available at second order in the size of the shuffle.

Named by 16 essays across 5 fields — each of them below, with the objects they name alongside it.

Which of these constraints is secretly about positions. How much of the bracket of two permitted directions lies outside the permitted directions, as a fraction of its own length. Frobenius' theorem says a distribution is the tangent field of a family of surfaces exactly when this is zero, so the test needs no integration and no recognition. The scale is logarithmic because the answers are seventeen orders apart: the rail returns nothing at all and everything else returns essentially the whole bracket. There is no mechanism in the middle.

One character apart

Two mechanisms with three coordinates, one constraint row of the same shape and two controls each. In one of them the angle in the row is a coordinate; in the other it is a constant. The first can be driven anywhere and the second can never leave a line, and Frobenius' theorem decides which is which without integrating anything.

rolling · Rolling Four legs that do not cancel. Drive forward, turn, drive back, turn back — each leg exactly as long as the one it is undoing. The mechanism does not come home. What is left over is 1149.9 mm at an amplitude of 1.10, and it points along the direction the wheel forbids. The gap and the computed bracket are 31.51° apart here and 3.15° apart at a tenth of this amplitude — the agreement is a leading-order statement and the departure is the third-order remainder, which falls with the manoeuvre rather than staying put. Every point on the path was reached by a permitted velocity, so nothing here cheats; the sideways motion is assembled out of motions that are not sideways.

The motion left over by going nowhere

Drive forward, turn, drive back the same distance, turn back the same angle. Every leg is undone by another leg and the mechanism does not come home — it has moved sideways, in the one direction it is forbidden to move in. The leftover has a name, a formula, and a measured exponent of 1.997.

rolling · Rolling How many wiggles it takes. The growth vector: how many independent directions are available after one bracket, two, three. The first number is what the constraints leave and the last is the dimension of the configuration space, so the length of the row is how deep the manoeuvring has to go. A car needs one bracket more than a trolley and a car with a trailer one more again — and the ball changes by one depending only on whether it may be twisted.

How many wiggles

A bracket of two permitted directions may point somewhere new; the bracket of that with a permitted direction may point somewhere newer still. How deep the process goes before it stops is an integer — 2·3 for a wheel, 2·3·4 for a car, 2·3·4·5 for a car and trailer — and the same integer turns up as the exponent of a manoeuvre nobody told it about.

rolling · Rolling The twelve kinds of freedom, and which are joints. Every connected group of rigid displacements, up to where its axis points and where its origin sits. There are twelve, the height on the page is the dimension, and a line means the lower one is contained in the upper — computed by asking whether each generator of the smaller lies in the span of the larger, with all twelve built about a common axis. Filled discs are joints: six of the twelve are the symmetry group of a surface and can be a single pair, and six are not and have to be built out of a chain. There is nothing at dimension five, which is not obvious and is checked rather than assumed: twenty thousand random five-dimensional subspaces of the twists were closed under the bracket, and every one generated the whole of the six.

Twelve kinds of freedom

Every set of displacements that is closed under composition is one of twelve, up to where its axis points. Six of them are joints somebody sells. Four are motions a designer may perfectly well want and cannot buy at any price. And there is nothing at all of dimension five — checked here on twenty thousand random subspaces, every one of which generated the whole of the six.

pairs · Pair How often a set of screws is a group. Take a subspace of the twists at random and ask whether it is closed under the Lie bracket — whether doing two of its motions in one order and undoing them in the other leaves you inside it. Every one-dimensional subspace is, trivially and importantly: a single screw always generates a one-parameter subgroup, which is the same statement as every screw is a joint somebody could build. Above one dimension, not one of eighty thousand is a group, and every one of them generates the whole of the rigid displacements at the first bracket. So a mechanism whose motion lies inside a proper subgroup is not merely unusual; it is a coincidence of measure zero — and it is the coincidence every planar mechanism, every spherical one and every Sarrus linkage on this site is built on.

Almost nothing is a group

Eighty thousand subspaces of the twists were drawn at random and closed under the Lie bracket. Above one dimension, not one of them was already closed, and every single one generated the whole of the rigid displacements at the first bracket. Two pins with parallel axes close at three; move one axis a hair and they close at six.

pairs · Pair The parking shuffle, three times over. Forward on left lock, forward on right lock, back on left lock, back on right lock — and repeat. The heading comes back to where it started and so does the position along the road, both exactly and at every leg length, because the four legs are a symmetric set. What is left is 255 mm of pure sideways translation per cycle at a leg of 0.80 m, which is exactly 4R sin(φ) tan(φ/2) with φ = s/R. Halve the leg and it quarters.

Parking is an exponent

Four legs — forward on left lock, forward on right lock, back on left lock, back on right lock — return a car to its own heading and to its own place along the road, exactly, and move it sideways by 4R sin φ tan(φ/2). Halve the room and the gain quarters, so the number of shuffles goes up by four and the distance driven doubles.

rolling · Rolling How many dimensions each chain's displacements occupy. Every chain in the field, with the dimension its reached displacements' logarithms occupy. A chain of n joints always has n freedoms; what varies is whether those freedoms compose. Where the bar equals the joint count the motion is inside a group and the group is named; where it reaches six there is no proper group containing the motion, and the two chains that do are the ones whose axes were chosen at random. Nothing about the joints themselves differs — three pins are three pins, and the two rows differ only in where the axes point.

A chain multiplies

An open chain's displacements are the product of its joints' groups, one factor per joint, in order. Sometimes the product is a group — three parallel pins and a slide along them give Schoenflies motion, which is a SCARA arm and is why it has four joints. Usually it is not, and then the chain's poses are a four-parameter set that needs six numbers to describe.

pairs · Pair Four joints that give a group, and four that do not. Two chains of four revolute-and-slide joints, each drawn at its home position with its joint axes dashed, and each with a cloud of the tool positions it reaches. The counts are identical: four joints, four freedoms, the same Jacobian rank everywhere off a singularity. On the left the three pins are parallel and the slide is along them, and the displacement set is the Schoenflies group — every translation and one rotation direction, four dimensions, closed. On the right the axes are at random and the set is four-dimensional too, and it is inside no group smaller than all the rigid displacements. The instrument is in the caption of each panel: take the logarithms of the displacements the chain reaches and count the dimensions they occupy. Four means a group. Six means there is nothing to be inside.

Four joints that give a group, and four that do not

Two chains of four joints. Same joint types, same count, same mobility, same Jacobian rank, same everything this site has measured for twenty-two fields. One of them reaches a four-dimensional set of displacements that closes under composition; the other reaches a four-dimensional set whose logarithms fill all six dimensions. The difference is six hundredths of a radian in where two axes point.

pairs · Pair A ball that remembers the area. Roll a ball round a closed loop on the plane, without ever twisting it about the vertical, and it comes back to the same place turned. The angle is the loop's area divided by r², and the dashed line is that law with nothing fitted to it. The departure at the top is not an integration error: it grows as the square of the angle — a fitted exponent of 1.99 — which is what a leading term's first correction does. The rotation is composed from exact exponentials, so the drawing carries no drift of its own.

The ball that remembers where it has been

Roll a ball round a closed loop on a table without ever twisting it, and it comes back to the same place pointing somewhere else. The angle is the loop's area divided by the square of the radius — 0.0016 radians for a 2 mm square under a 50 mm ball — and it is exact in the limit with a departure that is second order in the angle itself.

rolling · Rolling Four instruments, and only the last one names the group. Every instrument this site has for an overconstrained loop, on the same six mechanisms. Kutzbach's count gives −2 for a planar four-bar and −2 for Bennett's. The rank of the constraint Jacobian gives three and three. Both are right and neither separates them. The last two columns are this field's: the span is how many dimensions the logarithms of the displacements the moving link actually reaches occupy, and closes at is the dimension after those are closed under the bracket. A planar four-bar closes at three and the three are planar motion; Sarrus closes at one, a translation, which is the exact straight line the spatial field measured by solving the mechanism sixty times. Bennett closes at six: its displacements occupy four dimensions and no group smaller than all of them contains those four. That is what "paradoxical" has meant on this site for six phases, stated as an integer.

Compose two positions and see where you land

Take two configurations a mechanism actually reaches, compose the displacements that got it there, and ask what kind of thing the result is. A planar four-bar lands inside planar motion, to 4 × 10⁻¹⁶. Sarrus lands on its own line. Bennett's linkage lands three tenths of a radian outside the four dimensions its own displacements occupy — a one-freedom motion that generates all six.

pairs · Pair Four instruments, and only the last one names the group. Every instrument this site has for an overconstrained loop, on the same six mechanisms. Kutzbach's count gives −2 for a planar four-bar and −2 for Bennett's. The rank of the constraint Jacobian gives three and three. Both are right and neither separates them. The last two columns are this field's: the span is how many dimensions the logarithms of the displacements the moving link actually reaches occupy, and closes at is the dimension after those are closed under the bracket. A planar four-bar closes at three and the three are planar motion; Sarrus closes at one, a translation, which is the exact straight line the spatial field measured by solving the mechanism sixty times. Bennett closes at six: its displacements occupy four dimensions and no group smaller than all of them contains those four. That is what "paradoxical" has meant on this site for six phases, stated as an integer.

A name for each overconstraint

The spatial field separated subgroup overconstraint from paradoxical by measuring how far a mechanism's screw system turns: 2 × 10⁻⁶ degrees against 89. That is a verdict without a name. Closing the logarithms of the reached displacements under the bracket gives the same verdict and says which group — planar, spherical, a translation — and for Bennett's linkage it says six.

spatial · Spatial Why this measurement is not a derivative. The honest failure mode of the field's instrument, drawn rather than hidden. Every set looks like its own tangent space near the identity — that is what a tangent space is — so a chain sampled over a thousandth of a radian reports the dimension of its velocities, which is the number the screw system already gives. Four pins at random has four joints, and sampled over 10⁻⁹ radians its displacements occupy four dimensions; sampled over two radians they occupy six. The step is at 10⁻⁶, which is where the departure from the tangent space falls below the rank tolerance — so the position of the step is a fact about arithmetic and the two plateaux are facts about the mechanism. A group is a statement about displacements you could compose, and no derivative can make it.

The instrument that is not a derivative

Sample a chain of four random pins over a millionth of a radian and its displacements occupy four dimensions, exactly as a SCARA arm's do. Sample the same chain over two radians and they occupy six. The step is at 10⁻⁶, and where it sits is a fact about arithmetic while the two plateaux are facts about the mechanism.

pairs · Pair Two pins, and what their bracket costs. The bracket, on the smallest case there is. Two revolute joints span a two-dimensional set of twists whichever way they are arranged, and no count on this site can tell the two arrangements apart. Their brackets can. Two parallel pins bracket to a translation, which was not in the span, and the span closes at three — planar motion, which is the group the pair of them lives in. Two skew pins bracket to something that closes at six: nothing smaller than the whole of the rigid displacements contains them. The defect column is how far the bracket lies outside the original span as a fraction of its own length, and in both cases it is of order one — which is the ordinary case, and is why a mechanism confined to a subgroup is the exception.

One bracket, two subjects

A wheel can be parked sideways because the forbidden direction is the bracket of two permitted ones. A mechanism's motion is a group when the brackets of its permitted twists are already permitted. Same operation, same two plateaux, and the two fields want opposite answers — which is why the two are named for different things here, with each one saying beside itself that the other exists.

rolling · Rolling What one point can and cannot see of a group. For each of the twelve: the group's dimension, the dimension of one point's orbit under it, and the difference — the stabiliser, the motions that leave that particular point exactly where it is. The orbit is the only picture a group has, and this table is the honest caption on it. Planar motion and spherical motion are both three-dimensional and both sweep a point over a two-dimensional surface, so each leaves one motion doing nothing at all: a turn about the plane's normal in one case, a turn about the radius in the other. A point does not see the whole group, and no drawing of one trajectory can be a complete picture of what a joint permits.

Six things a joint is not

A freedom count read as a description, a screw system read as a group, a pair list read as a convention, a trajectory read as a determination, a nominal alignment read as a delivered one, and a higher pair read as a larger joint. Six claims, each of them what a careful person would say, each answered with a number.

wrong · Misconception Oldham's coupling: two slides between two offset shafts. An input hub on one axis and an output hub on a parallel axis 0.6 away, joined by a disc that slides in a slot across the input hub and carries a tongue across the output hub at 90° to the slot. At an input angle of 35° the disc has slid 0.491 along the slot and the output hub -0.344 along the tongue, and the output hub has turned through exactly the input's angle, because neither slide can change an orientation. The disc's centre, the dot, runs round the dashed circle of diameter 0.600 — the offset divided by sin 90° — and goes round it 2 times for each turn of the shafts.

A coupling that only translates

A coupling between two parallel, offset shafts turns its output at exactly the input's speed when, and only when, the relative motion of its two hubs contains no rotation — when it lies in the translation group. Oldham's two slides give that group by construction and so do two equal parallel cranks; a four-bar that is not a parallelogram gives the whole planar group and its output wanders by more than a radian. And Oldham's right angle is not what makes the ratio one: it is what makes the slides slide least.

pairs · Pair A SCARA arm, and where it can put its tool. A SCARA arm at its home position, with the axes dashed and a cloud of the tool positions reached over random joint values. The displacement set of an open chain is the product of its joints' groups, one factor per joint, and the question this field asks of it is whether the product is itself a group. Here the logarithms of the reached displacements occupy 4 dimensions, so the motion lies inside Schoenflies motion and composing two of its displacements gives another one. The cloud is a fact about the reach and not about the group: a chain of finite links covers a bounded piece of its group and never the whole of it, which is a separate question and a different field's.

The arm that is a group

A SCARA arm has four joints and a six-axis robot has six, and the usual explanation is that four is enough for the job. The better one is that the job is a four-dimensional group of displacements which is not the symmetry group of any surface — so it cannot be one joint, and four is what it costs. The arm's tool face is level everywhere it can reach, and the reason is not that anybody checked.

serial · Serial

Named alongside it

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

Displacement subgroupSubalgebraNonholonomicRankTwistRolling constraintScrew systemConfiguration spaceDistributionGrowth vectorMobilitySchoenflies motion

All concepts