Concept

Boundary condition — where it appears

A value a solution is required to take on the edge of its domain, from which an elliptic equation determines the interior. Conformal maps are decided this way and equal-area maps are not, which is why one condition can refuse a request and the other cannot.

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

The same four requests, put to the two conditions. Each request is a stated field over a square region, and the bar is what is left over after the nearest map satisfying the condition has been found. The conformal condition refuses: its achievable set is decided by boundary values, and the residual is the part of the request no conformal map of any kind can supply. The equal-area condition never refuses — every one of these is met to 3.0e-5, which is the quadrature's own noise — because a positive areal request is granted by a construction with no iteration in it and no boundary data.

The nearest equal-area map to an impossible request

Every number in the measurement before this one is inside the conformal achievable set, because Liouville's is the conformal condition. The equal-area set is one equation on two functions and never refuses: the same four requests are met to nine parts in a billion, and charged for in angle instead.

choosing · Condition
Where the condition holds, and where it was asked to. The boundary scale of a fit collocated at 20 points, drawn all the way round the boundary. The marked points are the ones the condition was imposed at, and the curve passes very near zero at every one of them; between them it does not. The largest departure on the samples is 3.92e-5 and the largest anywhere is 3.27e-4, and the second is the one the map has.

A condition imposed at points is not a condition

Every projection written as a condition is solved by imposing that condition at a finite set of samples because that is what a linear system is. With barely more equations than unknowns the residual the solver reports is 8.3 times too good — and refining the collocation twentyfold does not improve the map at all, it only makes the report honest.

choosing · Condition
Four cities, met — the triangular, x first construction. Every cell drawn here holds the same area of ground and a different area of page: the map has been constructed so that its areal scale factor is the density it was handed, cell by cell, over a contrast of 25.99 to one. The residual against that target is 5.1e-6, measured from the map's own derivatives rather than from the construction. What it cost is the shape: the redistribution alone reaches 139.1° of angular deformation and averages 70.4°, on top of whatever the equal-area projection under it was already doing.

A map drawn to a density it was handed

Two hundred and twenty-six essays measure distortion after the fact. This one specifies it: a density is handed to a map as a boundary condition, the areal scale factor comes out equal to it to five parts in a million, and every other invariant the site owns becomes the price.

distortion · Cartogram
The density every real cartogram is handed. Two islands in an ocean that is not lightly populated but empty: the density is exactly zero over 83.7 per cent of the sphere. Four rungs of this anchor assume a positive density, because the construction divides by it — and the conditional cumulative of a column with no mass in it is zero over zero. Drawn on the equal-area base, so a cell's ink is a density and its area is ground.

A density that asks for no room at all

Five rungs assume the density is positive everywhere, because the construction divides by it. Every cartogram anybody draws has an ocean, and an ocean is not sparsely populated but empty — 83.7 per cent of the sphere, exactly zero, and the construction returns nothing at all for a third of the probes.

distortion · Cartogram

Named alongside it

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

Angular deformationAreal factorCartogramConformalityDensityEqual-areaJacobianQuadratureResidualTriangular mapAchievable setChebyshev's criterion

All concepts