Concept

Freudenstein equation — where it appears

The four-bar's closure written as one relation between the input and output angles and three coefficients built from the link lengths. Its linearity in those coefficients is why three prescribed pairs of angles give a linkage by solving three linear equations.

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

The coordinates that do not move. Above: the four link lengths as the whole machine is scaled from 0.4× to 2.5×, four straight lines through the origin. Below: Freudenstein's K₁ = g/a, K₂ = g/c and K₃ = (g² + a² + c² − b²)/2ac over the same range, three horizontal lines whose total variation is 1.8e-15. Each of them is homogeneous of degree zero in the lengths, so the scale ray is a level set of all three at once — and the map from a four-bar's shape to its three K's is invertible, so they are not merely invariant but complete. The identifiable quotient of a four-bar's parameter space is three-dimensional, and this site has had its coordinates since its first essay on synthesis.

The coordinates the site already had

Three of a four-bar's four parameters are recoverable, so there are three recoverable quantities. They are Freudenstein's K's, which this site has used to design function generators for as long as it has synthesised anything — and the same 3 × 3 linear system, read backwards, identifies a machine from three measured angle pairs.

metrology · Parameter
A four-bar that computes log₁₀. The output rocker's angle, mapped back into y, against the input crank's angle mapped back into x. The pale curve is log₁₀ x and the solid one is what the linkage does. They agree exactly at the 3 precision points and nowhere else; the largest disagreement over the range is 0.2232° of rocker, which is 7.47e-4 in y. The chebyshev spacing put the precision points at 1.0670, 1.5000, 1.9330.

Three problems called synthesis

Prescribing a path, prescribing a whole pose, and prescribing a relation between two angles are three different problems with three different counts, and the word synthesis covers all of them. The third has a property the others do not — eliminate the coupler angle and the design equation becomes linear, so a four-bar that computes a logarithm falls out of a 3 × 3 solve with no iteration at all.

synthesis · Synthesis
The error between the precision points. chebyshev: worst 0.2232°, RMS 0.1475°; uniform: worst 0.3415°, RMS 0.2296°. The error is zero at each precision point by construction and nowhere else. chebyshev has the smallest maximum here, and which curve is best depends entirely on which measure is asked for.

Where the precision points go

A linkage that matches a function at three points is wrong between them, and where the three points are put decides how wrong. Chebyshev spacing cuts the worst error by a third against even spacing, for free — and the reason has nothing to do with mechanisms. It is a fact about a polynomial the linkage has never heard of.

synthesis · Synthesis
How many points a linkage will take. function generation: 5 free numbers, 1 net constraint per point, 5 precision points; motion generation: 4 free numbers, 1 net constraint per point, 5 precision points; path generation: 9 free numbers, 1 net constraint per point, 9 precision points. Every count in the literature that differs from these differs about what is being counted as free, not about the geometry.

How many points may be prescribed

Five poses, five angle pairs, nine points — three numbers that get quoted as properties of a four-bar and are properties of what somebody decided to count as free. Derive them instead, and the fifth precision point turns a linear solve into a system with 128 paths, twelve finite solutions, four real ones, and exactly one linkage anybody could build.

synthesis · Synthesis
One set of lengths, two machines. Three measured input–output pairs, marked, and the linkage Freudenstein's relation returns from them — which is the truth's four lengths to fourteen figures. The relation is a statement about the two angles and it holds on both assembly branches, because it was derived by squaring and that is the step that forgets which one the mechanism is on. So the identified linkage assembled the way the data was taken passes through every reading, to 2.53e-14 radians, and assembled the other way misses them by up to 268° — at the first precision point it reads -111.6° where 98.8° was wanted. That is not a near miss and not a failure either. It is the other answer.

One set of lengths, two machines

Three measured input–output pairs return a four-bar's four lengths to fourteen figures. Assembled the way the data was taken, that linkage reproduces every reading to 2.5 × 10⁻¹⁴ radians. Assembled the other way — which the same four lengths permit — it misses them by 268°, and no equation in the identification knows the difference.

metrology · Parameter
A machine measuring its own shape. A four-bar with an encoder at each end of its one freedom. Every pose gives one scalar equation — Freudenstein's, which is linear in the three invariants — so 40 poses make a three-column least squares with a condition number of 8.758 and no instrument outside the machine anywhere in it. With perfect encoders the invariants come back to 8.64e-15; with encoders good to a milliradian they come back to 5.40e-3, an amplification of about 6.26. What comes back is a shape and only a shape: the same three numbers describe this machine and one a quarter of the size, and nothing an encoder can read separates them.

A machine that measures itself

Put an encoder at each end of a one-freedom loop and every pose gives one scalar equation. The equation is Freudenstein's, it is linear in three unknowns, forty poses make a three-column least squares at a condition number of 8.76 — and no instrument outside the machine is involved anywhere.

metrology · Parameter
The identification Jacobian of a four-bar, read by protractor. One row for every number the instrument reads and one column for every parameter that might be wrong. Each cell is the derivative of that reading with respect to that parameter, drawn to the right of its centre line when positive and to the left when negative, with the largest entry in the whole matrix at 4.09e-1. 14 rows against 4 columns: far more equations than unknowns, which is what makes an identification a least-squares problem rather than a solve, and what makes the question of which combinations of columns cancel a real one. These are the same derivatives the tolerance field computes one at a time — the same matrix read down instead of across.

A calibration is a synthesis with more equations

The site's second field prescribes three input–output pairs and solves a 3 × 3 linear system for a linkage. This one measures thirty pairs and solves the same system in the least-squares sense. Same matrix, same coefficients, same closed form — and the only structural difference produces every question this field is about.

metrology · Parameter

Named alongside it

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

Function generationCalibrationFreudenstein invariantsIdentifiablePrecision-pointPrecision positionStructural errorKinematic synthesisLeast-squaresMeasurement residualMotion generationPath generation

All concepts