Machine Kinematics
solved, then drawn
Concept

Holonomy — where it appears

The change an orientation is left with after being carried round a closed path, which for a rolled ball is the loop's area over its radius squared. It is the reason a ball rolled round a closed loop comes back turned, and the amount is a geometric quantity with a length in it that can be measured with a rule.

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

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 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 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 wheel that cannot report its radius

Rolling relates a wheel's turning to a vehicle's travelling, and the relation has a length in it. So a rolling constraint is the one place in these essays where an angle measurement does carry a size — and the size it carries is the one thing a vehicle's own odometry can never separate from its wheelbase.

rolling · Rolling

Named alongside it

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

NonholonomicRolling constraintConfiguration spaceLie bracketSecond orderDistributionExponential mapFinite differenceGrowth vectorIdentifiableIntegrabilityManoeuvre

All concepts