Machine Kinematics
solved, then drawn
Concept

Reachable set — where it appears

The configurations a mechanism can be driven to from a given one, whose dimension may exceed the number of motions available at any instant. The gap between its dimension and the number of instantaneous freedoms is what the whole subject of nonholonomic mechanisms is about, and both numbers are computed here.

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

A rolling wheel, where it was driven to. The mechanism at a configuration nothing wrote down: it was reached by integrating permitted velocities from the start of the trail, and there is no equation here whose root it is. The barred line at each wheel is the direction that wheel forbids — the subject of the whole field, and the one thing a photograph of a car cannot show. The constraint residual along the drawn history is 0.0e+0.

A constraint that takes nothing away

A rolling wheel forbids one direction of motion and removes no coordinate from the mechanism's description. It cannot slide sideways and it can still be brought to any position at any heading — and the gap between those two sentences is the whole of this field, because in every mechanism built of pins and slides the two agree.

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 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 Where a point held by three strands may be. Three anchors, three strands of 130, 130, 120 mm, and a point tied to all three. A rigid link of those lengths would leave nothing to decide — three distance equations in two unknowns have no solution at all — and three strands leave a region, because each of them says no further than rather than exactly. The region is the intersection of the three discs; its area here is 2721.0 mm² and it has 3 corners. Inside it nothing is taut and the point has both its freedoms; on an arc one strand is taut and it has one; at a corner two are taut and it has none. positioned by solving, not by drawing.

The strand that is slack

A rigid link removes a freedom wherever the mechanism stands. A strand removes one only where it is taut — so a point held by three of them has two freedoms in the middle of its region, one on an arc, none at a corner, and no single mobility count describes it at all.

strands · Strand What each of them can reach. Nine hundred control histories of four legs each, from the same starting configuration, with the resulting position plotted. The wheel's cloud is two-dimensional and fills the region; the trolley's is one-dimensional and lies exactly on its rail — the same number of coordinates, the same number of constraints, the same count of freedoms, and a reachable set of a different dimension. Nothing here is a matter of degree.

Not unreachable, only expensive

The sentence is false of every wheeled mechanism in this field and true of exactly one — the trolley bolted to a rail. A rolling constraint forbids a direction and reaches everywhere; the mistake is reading a statement about instants as a statement about intervals, and it is made in both directions.

wrong · Misconception Six words, and the shortest of them. Every path a car that may not reverse and may not turn tighter than R can take between two placements is one of six shapes: three arcs, or two arcs with a straight between. All six are drawn; the shortest is LSR at 2.2557 R and the longest is RSR at 14.788 R. A numerical shooting solve that shares no line of code with the closed forms returns 2.2557 R, which agrees to 4e-16.

A circle for the first millimetre

The shortest path for a car that may not reverse, from here to a point one millimetre to the side at the same heading, is 31.417 m for a five-metre turning radius. The shortest path to a point twenty metres to the side is 31.416 m. The cost of going sideways is not monotonic in how far sideways, and below a crossover at 2.956 R it is exactly 2πR + δ.

rolling · Rolling Free in every direction, and it cannot get out. A disc of radius 1 among 3 point obstacles on a circle of radius 1.100. The shaded discs are the obstacles grown by the part's own radius, which is what the part's centre may not enter — the configuration space, and for a round part it is the plane itself. The part is caged when those grown discs overlap enough to close a ring around it, which happens below R = 1/sin(π/3) = 1.154701, and here it does. At every configuration inside the cage the part is free. The three normals all point at its centre, the rank of its rows is two, the escape cone is a whole line, and none of that has anything to do with whether it can leave. A hold is a statement about velocities at one configuration; a cage is a statement about where a finite motion can go, and the second does not follow from the first in either direction. positioned by solving, not by drawing.

Free at every instant and going nowhere

Three points on a circle of 1.1 radii around a unit disc leave it free in every direction at every configuration — rank two, margin nought, the whole plane of centres shaded — and it cannot get out. The threshold is 1/sin(π/n), which is 1.154701 for three, and a flood fill of the free space agrees with the formula at every radius sampled.

holding · Restraint Two numbers, and where they differ. Every mechanism in this field, with what its constraints leave and what its brackets fill. On every mechanism without a rolling contact the two columns are the same number, which is why nobody had to say which one mobility meant. Here only the rail agrees with itself — and the rail is the one mechanism in the table that cannot go anywhere new.

The count that counts the wrong thing

Mobility has meant one number for six fields, because until a wheel appeared no mechanism could tell two questions apart. A rolling wheel has two velocity freedoms and a three-dimensional reachable set, and the formula that gives 2 is not wrong — it is answering the question about instants when the question anybody asks is about intervals.

constraint · Mobility 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 Everything one planetary can do, and the gap in the middle. A single epicyclic has three shafts, so there are six ways of choosing which is held, which is driven and which comes out. Each gives a band of reductions as the tooth counts run over every design that can be cut, assembled with three planets and kept clear of undercutting. The bands above 1 are drawn; between them is a gap running from 1.6304 to 2.5862 that no single planetary reaches in any configuration — and a reduction of exactly 2, which is the most ordinary thing anybody asks a gearbox for, is inside it. The gap's width as a factor is exactly the smallest achievable ring-over-sun ratio, 1.5862, which is a statement about how small a planet may be and how large a sun may be.

The reductions a planetary cannot give

One epicyclic offers six ratios, and the formula for each of them suggests the whole positive line is available. Sweep every design that can actually be cut and assembled and the reachable set has a hole in it running from 1.630 to 2.586 — the width of which has a closed form — and a reduction of exactly 2, the most ordinary thing anybody asks a gearbox for, sits in the middle of it.

transmission · Transmission

Named alongside it

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

NonholonomicRolling constraintConfiguration spaceGrowth vectorMobilityLie bracketSecond-orderVelocity freedomArcClosed formConstraint jacobianControllability

All concepts