Concept

Second order — where it appears

Growing as the square of the amplitude, so that halving the room a mechanism has quarters what each manoeuvre wins. It is the exponent that turns a geometric fact — the forbidden direction is a bracket — into a practical cost, and it is measured here rather than asserted.

Named by 19 essays across 7 fields — 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
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
Two poles at 66°, and only one of them is still. The stubs here are accelerations, not velocities, and they vanish at a different point from the one where the velocities vanish. The cross is the velocity pole — the point the plane is turning about — and the square is the acceleration pole, the point that is momentarily not accelerating. Over a full turn of this crank the two are never nearer than 1.49 coupler lengths and get as far apart as 22.2. The instantaneous centre is about velocities and about nothing else: the point that is not moving is being accelerated, usually hard, and a body pivoting about it in the ordinary sense would not be. positioned by solving, not by drawing.

The other pole

The instantaneous centre is the point of a moving plane that is not moving. There is a second point that is not accelerating, it is somewhere else entirely, and over a full turn of one four-bar the two are never closer than one and a half coupler lengths and get as far apart as twenty-two.

curvature · Curvature
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
Free to spin, and it cannot turn at all. An ellipse of semi-axes 1.4 and 0.9 inside four flat walls that touch it at the ends of its own axes. Every normal points at the centre, so every row's moment is nought and the four rows span two dimensions rather than three: the cone of permitted twists is the whole spin axis, a line through the origin, and the first-order answer is that the part is free to turn either way. Drag the angle and watch what happens. The ellipse's reach in the direction of the top and bottom walls is √(a²sin²θ + b²cos²θ), which is smallest at θ = 0 and grows from there, so any rotation whatever drives it into both of them — by 0.016 at this angle. A nullity is a candidate and not a motion, and this is the shape of case the fields before this one could not produce: not a mechanism at a singularity, but an ordinary part in an ordinary pocket. positioned by solving, not by drawing.

Free to turn and unable to

An ellipse in a pocket the size of its own bounding box has four contacts whose rows span two dimensions, so the cone of permitted twists is a whole line and the first-order answer is that it spins both ways. It cannot turn by any amount whatever: the penetration grows as the square of the angle, with a fitted exponent of 1.9944, and a circle in the same pocket turns for ever.

holding · Restraint
The smallest mechanism that is not one. Two bars from a free joint to two pinned ones, with the three points in line. The constraint matrix has two rows and two columns, both rows are horizontal, and its rank is 1: one freedom left over, pointing straight up, and one dependency among the two bars. Move the joint up and neither bar changes length to first order, which is what the freedom says. To second order both bars get longer, by the same amount and in the same direction, and there is nothing to trade off against — which is what the dependency says. The obstruction is the dependency applied to the second-order stretch and comes to 1.414214; anything but nought there and the freedom is not the beginning of a motion. Lifted by 0.34 the bars are 0.05622 longer, which is the whole argument drawn to scale.

It moves to first order and not at all

Two bars from one joint to two pinned ones, all three in line: the rank leaves a freedom pointing straight up, and lifting the joint stretches both bars. The obstruction is 1.414214, the walk travels a millionth of what it is asked to, and how far it gets is a property of the tolerance rather than of the mechanism.

networks · Network
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
Seven arrangements, one routine, and the two that hold. Every row is the same three steps: write down one row per contact — the moment of its normal about the origin, then the normal itself — take the convex hull of those rows, and ask whether the origin is inside it. The parts differ, the numbers of contacts differ, and the routine does not. Two of the seven hold. The other five leave the part something, and the interesting column is what: four rays of rotation for the pinwheel, a translation straight out of the vee, and for the last two a whole line rather than any number of rays, which is what a rank below three means and is the case a reader has to be warned about. Note that the four contacts of the second row are the four of the first row, on the same four edges of the same square, at the same distance along each. positioned by solving, not by drawing.

Six things a hold is not

A rank read as a restraint, a count read as an answer, four contacts placed the wrong way round, a nullity taken for a spin, a part free in every direction and unable to leave, and a tolerance offered as a cure for an arrangement that was never a hold. Six claims, each with the number that kills it.

wrong · Misconception
Three circles at one point, at 50°. The osculating circle of the fixed centrode at the pole, the osculating circle of the moving centrode there, and the inflection circle. All three pass through the pole and all three have their centres on the common normal — which is what makes the relation between them a relation between three numbers on a line. The two centrode radii are 16.180 and 9.730, signed along that normal, and the inflection circle's diameter is 24.398 against the 24.409 the other two give. Nothing in that arithmetic knows there is a linkage. The window is 30.25 wide and the larger osculating circle is 32.36 across, so it is cut at the edge: what is drawn is the neighbourhood of the pole, where the three curvatures are the same three numbers however far the circles carrying them reach.

The two numbers are the curves' own

Every essay in this field runs on the inflection circle and the pole tangent, and every one has taken them from the motion's derivatives. They are the two centrodes' radii of curvature at the pole, combined harmonically — measurable off the curves with no mechanism in the arithmetic, and carrying a sign that changes eight times in a turn.

curvature · Curvature
The acceleration pole walks round the inflection circle. The four-bar of this field — ground 4, crank 1, coupler 3.5, rocker 3 — at a crank angle of 240°, with its inflection circle, the locus of coupler points whose paths are momentarily straight, of diameter 9.23. The cross is the velocity pole and the ring is the far end of the diameter from it, the inflection pole. The square is the acceleration pole when the crank is driven with an angular acceleration of 0.323 times its angular speed squared. It is on the circle, at 30.0° from the diameter, which is arctan of the coupler's angular acceleration over its angular speed squared. The circle does not move when the drive changes; only the square does. Dragging changes the crank's acceleration.

The other pole is on the circle

The point of a moving plane with no acceleration depends on how fast the input is driven, which is why it was set apart from the rest of this field as the one object that is not geometry. It is not free, though. It always lies on the inflection circle — the geometric locus of points going straight — at an angle from the circle's diameter whose tangent is the plane's angular acceleration over its angular speed squared. A drive chooses one angle, and the geometry has already chosen everything else.

curvature · Curvature
A wheel on a rough road, and the path of its centre. A road whose height varies as a sine of 10 mm amplitude and 200 mm wavelength, and a wheel of 150 mm radius rolling along it without slipping. The dashed curve is the path of the wheel's centre; the thick stretches of road are the parts the wheel touches. The road's tightest curve, at the bottom of each dip, has a radius of 101 mm; a wheel smaller than that touches all of it, and a larger one bridges the dips. Over one wavelength this wheel turns through 1.3621 radians, and that times its radius is 204.308 mm — the length of its centre's path, not the road's 204.847 mm and not the 200 mm it has travelled. Dragging changes the wheel.

What a wheel counts on a rough road

An odometer counts a wheel's turns and multiplies by its radius, and on a flat road that is the distance travelled. On a rough road it is not, and it is not the road's length either. It is the length of the path the wheel's centre follows — exactly, because the contact is the wheel's instantaneous centre. A wheel smaller than the road's tightest dip rolls over all of it and counts the road's full length; a larger one bridges the dips, pivots over the crests, and counts less, falling towards the true distance as λ³/24(R + ρ)². On a road 2.4% longer than its wavelength, a 50 mm wheel overcounts by 2.4% and a 2.4 m one by 0.03%.

rolling · Rolling
Two wheels on one frame, on a rough road. A rigid frame on two wheels of 50 mm radius, 100 mm apart — 0.5 of the road's wavelength — on the road of 10 mm amplitude and 200 mm wavelength. The dashed curve is the path every wheel's centre follows on this road, whatever the frame does; the frame only fixes where on it the second wheel is. Over each wavelength of travel each wheel counts 204.847 and 204.847 mm, the length of one period of that path, against the 200 mm travelled; the frame pitches by up to 11.53°. Dragging changes the wheelbase.

A second wheel cannot correct the first

A wheel on a rough road counts the length of its centre's path, not the distance travelled. Put two on one rigid frame and average them, and the error does not shrink at any wheelbase: both centres run on the same curve, fixed by the road and the wheel's size, and each wavelength of travel carries each of them once round it. A half-wavelength wheelbase smooths the count's ripple and rocks the frame instead. What does work is two wheels of different sizes. A bridging wheel's error falls as the inverse square of its radius, so two radii measure their own error: wheels of 0.6 and 1.2 m that overcount by 0.339% and 0.099% extrapolate to 0.018%, knowing nothing about the road.

rolling · Rolling
A seat round the stop's nose holds the four-bar if it is tighter than the nose centre's path allows. The four-bar of frame 4, crank 1.2, coupler 3.4 and rocker 2.8 at a crank angle of 70°, its coupler carrying a round nose of radius 0.3 centred at (1.593, 2.160). The nose sits in a hollow seat on the frame of radius 0.8, touching it at (1.650, 2.454), on the line from the nose's centre to the coupler's pole at (2.505, 6.883), off the top of the drawing. The dashed circle is where the nose's centre may go without the nose entering the seat: a disc of radius 0.50. The curve through the nose's centre is the path the four-bar gives it, with a radius of curvature of 0.893. The seat's disc is tighter than the path, so the path leaves it either way and the four-bar cannot turn: the stop holds. The threshold is a seat of radius 1.193, the path's radius plus the nose's.

A stop aimed at its pole holds by curvature

A stop whose normal passes through its pole forbids nothing at first order, and whether it holds at all is decided by curvature. For a round nose the deciding curve is not the one it touches: the seat that just holds is the path of the nose's centre moved out by the nose, 1.193 on a four-bar where the contact point's own circle says 0.776. Past it, one contact holds both ways — loosely, as the square root of its clearance.

topology · Topology
Turning one joint about the shared line tunes the shake's first coefficient to nought. Two legs of three revolute joints each under one platform, sharing a line of force, the dark line, that crosses every joint of both — so they share one twist and the platform shakes along it. The second leg's first joint is turned about the shared line by 0°, which keeps it crossing the line and keeps the shared twist. The shake's second-order coefficient, the reciprocal product of the shared wrench with half the difference of the two legs' bracket terms, is 2.62e-2 here. It passes through nought at 36.488° and again at 109.612°; at those turns the platform still shakes, one order higher.

A shake has an order

Two legs of three joints that share a line of force let a platform shake: pushed along the one twist they share, the legs part as the square of the push. The square's coefficient is a bracket of the legs' own joints, computable without pushing at all, and it can be tuned to nought by turning one joint. The shake does not become a motion. It moves up an order, to the cube, and a second tuned joint moves it to the fourth power. Each order is one more condition, and only legs whose freedoms are groups meet them all.

spatial · Spatial
A wheel on a real road rides the long waves and bridges the short ones. Three metres of a class C road — the ISO 8608 average — built from 80 sines of random phase from 5 cm to 90 m wavelength, heights in millimetres and drawn far taller than they are. The second line is the lowest point of a wheel of 0.6 m radius rolled along it: where it lies on the road the wheel touches, and where it lifts off the wheel bridges a trough. On this stretch it touches 12% of the way. A wheel counts its centre's path, so the texture it bridges no longer adds to its count, and the waves it follows still do.

A real road sets its own power

On a road of one sine, a wheel's overcount falls as the inverse square of its radius, and two wheels extrapolate it away. A real road is a spectrum. Over the band road standards describe, every wheel smaller than the road's tightest trough — about a metre and a half on an average road — counts the road's whole length, and its size makes no difference at all. With the texture below that band, bigger wheels do bridge more, but the overcount falls as the two-thirds power of the radius, a power the road's spectrum sets: 2(3 − w)/(5 − w) for a spectrum falling as n^−w. The inverse-square recipe removes a sixth of the error.

rolling · Rolling
A pair moves until its gap reaches what its joints' play can take up. Two legs of three revolute joints each, sharing one twist, pushed along it: the gap left between their nearest poses, along the one wrench they share, for the pair built through the shared line, the pair with one joint tuned and the pair with two. The horizontal line is the gap the six joints' play can take up, 4.52 times a radial play of 10⁻⁶. Each pair travels until its curve meets the line: built through the shared line, 1.31e-2; one joint tuned, 6.63e-2; two joints tuned, 1.39e-1.

A shake travels as a root of the play

Two three-revolute legs that share a twist let their platform shake along it: the gap between their nearest poses grows as the square of the push, or the cube once one joint is tuned, or the fourth power once two are. With play in the joints, the pair moves until that gap uses up what the play can take, and that is a root: the square, cube or fourth root of the play. At a play of a millionth the three pairs travel 0.013, 0.066 and 0.139 along their twist. A tuned joint is worth more the tighter the joints are, five times the travel at a millionth and eleven at a hundred-millionth.

spatial · Spatial
The seat at the pole, and the friction cone at its contact. The four-bar of frame 4, crank 1.2, coupler 3.4 and rocker 2.8 at 70° of crank, its coupler's round nose of radius 0.3 in a seat of radius 0.8 on the frame, aimed through the coupler's pole. At the contact the shaded wedge is the friction cone for a coefficient of 0.1: every force the seat can press with lies within 5.7° of the normal. The normal itself runs through the pole, so it has no lever about it; the cone's edges do. Under a moment of 0.001 on the crank against a contact of stiffness 10⁶ the crank turns 1.70e-4 radians, against 1.48e-3 with no friction; released, it stays at 1.70e-4.

A seat with friction stays where it is pushed

A stop aimed through its pole holds a four-bar by curvature, because its normal has no lever about the pole. Friction has one, and the obvious guess is that it lets such a stop hold at first order. It does something narrower and stranger. It cannot hold what curvature releases, since a gap that opens carries no force for friction to be a share of. It makes a seat that holds up to twenty-six times stiffer, turning its cube-root give into a square root. And it makes any stop whose pole lies inside its friction cone stay where a load pushed it: released, the seat at the pole does not come back.

topology · Topology
A V of two faces, each turned off the line to the pole. The four-bar of frame 4, crank 1.2, coupler 3.4 and rocker 2.8 at 70° of crank, its coupler's round nose of radius 0.3 resting in a V of two flat faces on the frame. Each face's normal is turned off the line from the nose to the coupler's pole so that at the contact it misses the pole by 12.79°, one each way, so that each face holds the crank one way at first order. The shaded wedges are the friction cones for a coefficient of 0.2, half-angle 11.3°: the pole lies outside each, so released from either side the crank springs back. Each face's moment per radian, through a contact of stiffness 10⁶, is 72 thousand.

Return and stiffness come from the same aim

A stop with friction looked like a trade: aim it near its pole and friction multiplies its stiffness seventeen times, aim it outside the friction cone and it springs back when released. The trade is an artefact of how the gain was counted. Friction's factor multiplies a stiffness that vanishes at the pole, and measured outright a stop aimed further away is stiffer at every friction — 271 per radian at 1.1° and 104,000 at 21.3° with none, 4,631 and 184,000 at a coefficient of 0.3. Return and stiffness are bought by the same aim. What the aim costs is the other side: a face aimed off its pole holds nothing the other way, so a stop that must return both ways is a V of two faces, and across a friction band from 0.1 to 0.2 a V aimed 12.3° each way returns from both and is 8,800 times stiffer than the seat at the pole.

topology · Topology
Where two coefficients vanish, a curve; where three do, two points. The second leg's three joints each turned about the shared line by ψ₁, ψ₂ and ψ₃. Every point of the curve makes the shake's second- and third-order coefficients nought, σ₂ = σ₃ = 0, found by continuation from the earlier two-joint tuning (black) both ways, over an arc of 7.25 rad, until it reaches configurations where the two legs come close to sharing a second twist (crosses), where every coefficient runs off to infinity. Left: ψ₂ against ψ₁; right: ψ₃ against ψ₁. The curve is drawn in one colour where σ₄ is negative and another where it is positive; it changes sign at the two dots, (106.31°, 140.35°, 24.66°) and (136.39°, 57.24°, 18.34°), where σ₄ is nought too. Marked: 50% of the way along, at (107.0°, 141.4°, 25.2°), where σ₄ is positive.

Three tuned joints stop at the fifth order

Two legs of three revolute joints that share a line of force let their platform shake, and every joint of the second leg turned about that line clears one more order: the square of the push, then the cube, then the fourth power. A third tuned joint was expected to buy the fifth. Read off the two legs' own Taylor series instead of a push test, the set where the second- and third-order coefficients vanish is a curve in the three tuning angles, and the fourth-order coefficient crosses nought on it twice. At both points the gap falls as the fifth power of the push, confirmed independently with slopes of 4.97 and 4.89. The fifth-order coefficient is −0.0042 at one and 0.109 at the other, and with three angles spent there is nothing left to clear it: three tuned joints stop at the fifth order. And a higher order is not always more travel: in a millionth of play the second of them moves less than the fourth-order pair.

spatial · Spatial

Named alongside it

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

Rolling constraintClearanceLie bracketNonholonomicPath curvatureConfiguration spaceRankTwistCentrodeContact normalDesign ruleGrowth vector

All concepts