A Bevy of Area Preserving Transforms for Map Projection Designers.Pdf
Total Page:16
File Type:pdf, Size:1020Kb
Cartography and Geographic Information Science ISSN: 1523-0406 (Print) 1545-0465 (Online) Journal homepage: http://www.tandfonline.com/loi/tcag20 A bevy of area-preserving transforms for map projection designers Daniel “daan” Strebe To cite this article: Daniel “daan” Strebe (2018): A bevy of area-preserving transforms for map projection designers, Cartography and Geographic Information Science, DOI: 10.1080/15230406.2018.1452632 To link to this article: https://doi.org/10.1080/15230406.2018.1452632 Published online: 05 Apr 2018. Submit your article to this journal View related articles View Crossmark data Full Terms & Conditions of access and use can be found at http://www.tandfonline.com/action/journalInformation?journalCode=tcag20 CARTOGRAPHY AND GEOGRAPHIC INFORMATION SCIENCE, 2018 https://doi.org/10.1080/15230406.2018.1452632 A bevy of area-preserving transforms for map projection designers Daniel “daan” Strebe Mapthematics LLC, Seattle, WA, USA ABSTRACT ARTICLE HISTORY Sometimes map projection designers need to create equal-area projections to best fill the Received 1 January 2018 projections’ purposes. However, unlike for conformal projections, few transformations have Accepted 12 March 2018 been described that can be applied to equal-area projections to develop new equal-area projec- KEYWORDS tions. Here, I survey area-preserving transformations, giving examples of their applications and Map projection; equal-area proposing an efficient way of deploying an equal-area system for raster-based Web mapping. projection; area-preserving Together, these transformations provide a toolbox for the map projection designer working in transformation; the area-preserving domain. area-preserving homotopy; Strebe 1995 projection 1. Introduction two categories: plane-to-plane transformations and “sphere-to-sphere” transformations – but in quotes It is easy to construct a new conformal projection: Find because the manifold need not be a sphere at all. an existing conformal projection and apply any complex Some of the techniques combine both kinds of trans- analytic function to it. Voilà, new conformal projection! formations or use the plane as an intermediary. In practice, finding the right function for the purpose In the case of plane-to-plane transformations, the pre- usually takes some work, but nevertheless, the toolbox is sumption is that the manifold has been projected to the rich and powerful. Not so for equal-area projections. A plane already in a way that preserves areas. Hence, the few techniques have been exploited over the centuries, consideration is purely planar, and regardless of what even fewer explicitly described, and in general the domain manifold was designated as the original surface before remains lightly explored. No area-preserving analog to projecting, the only question is whether the plane-to- complex analysis is known to exist. plane transformation itself preserves area measure. This work doesn’t solve such big problems. Instead, it collects together in one place a body of techniques map projection designers can use to efficiently generate new equal area map projections. Some are obvious; 1.1. Terminology some are simple but clever; some are a little more Terminology is not well standardized for equal-area pro- involved. Their inventions range from centuries ago jections. More in line with the field of differential geometry to being introduced in this paper. I give examples than with mathematical cartography, the title of this paper with particular attention to a novel replacement uses the term area-preserving transformation so as to be scheme for the Web Mercator. readily understandable to the widest audience. However, I Since the advent of digital computers, several itera- do not use that term in the body of this text. To avoid the tive methods for minimizing distortion across a cho- awkwardness of noun forms of equal-area,Iwillsome- sen region have appeared in the literature. Iterative times use equivalence.Thetermauthalic also appears in systems are specifically outside the purview of this the literature, but is redundant to my needs here and will work. They are adequately described by their authors not be used. in any case. I invite the interested reader to peruse, for example, Dyer and Snyder (1989) or Canters (2002, pp. 115–244). 1.2. Symbols For simplicity, I discuss the manifold to be projected as a sphere, but the techniques I describe generally do ● λ refers to a geodetic longitude; not depend on this specificity. The techniques fall into ● φ refers to a geodetic latitude; CONTACT Daniel “daan” Strebe [email protected] © 2018 The Author. 2 D. STREBE ● θ refers to a counterclockwise angle from positive of the map, and can adjust the proportions and distortion x axis on the cartesian plane; characteristics of the map to better suit the purpose. A ● ρ refers to a distance from origin on the cartesian common example is based on the cylindric equal-area plane; presented by Lambert (Tobler, 1972), with primitive ● 0 added to a variable name denotes a variable formulae transformed from the variable of the same name x ¼ λ that lacks the prime symbol. L ¼ : (2:4) cea y ¼ sinðÞφ In its original form, the projection has no distortion along the equator, and “correct” scale there. By scaling the 2. Transformations φ φ height by sec 0 and the width by cos 0,achosenlatitude φ 2.1. Scaling 0 canbemadetohavenodistortionandtorepresent nominal scale. No less than seven variants of Lambert’s As noted by Strebe (2016), the equal-area property for original that use this technique have been formally a mapping from sphere to plane can be defined either described independently by nine others, including: strictly or loosely: strictly in that @ @ @ @ ● Gall (1885)(φ ¼ 45 , “Gall orthographic,” now y x À y x ¼ 2 φ; : 0 @φ @λ @λ @φ R cos (2 1) usually “Gall–Peters,” presentedpffiffiffiffiffiffiffiffi in 1855) ● φ ¼ =π “ ’ Smyth (1870)( 0 arccos 2 , Smyth s equal- (with R being the radius of the generating globe) or surface”) loosely in that ● φ ¼ Behrmann (1910)( 0 30 ) @y @x @y @x ● Craster (1929) (identical to Smyth equal-surface) À ¼ s cos φ; (2:2) ● φ ¼ @φ @λ @λ @φ Balthasart (1935)( 0 50 ) ● φ ¼ 0 “ ” Edwards (1953)( 0 37 24 , Trystan Edwards ), with s being any non-zero, finite, real value. The ratio- ● Peters (1983) (identical to Gall orthographic, first nale for the strict case is that the projection maps public mention in 1967) pffiffiffiffiffiffiffiffi regions on the globe to the regions on the plane such ● φ ¼ =π Tobler and Chen (1986)(0 arccos 1 , that the area measure of any mapped region remains “Tobler’s world in a square”) the same as the area measure of the unmapped region. ● φ ¼ 0 “ – ” Abramms (2006)( 0 37 30 , Hobo Dyer, com- The rationale for the looser case is that relative areas missioned in 2002) are preserved throughout the map, regardless of how their area measure might be scaled with respect to the Each of these projections can be described as an affine generating globe. Simple, isotropic scaling is an area- transformation on Lambert’s cylindric equal-area: preserving transformation by the looser condition. φ On its own, scaling is not terribly interesting. cos 0 0 Á : : φ Lcea (2 5) Combined with other techniques, however, it becomes 0 sec 0 powerful, as we shall see in subsequent sections. Other examples of this technique can be found in pseudocylindric projections when the simplest form of the generating formulae does not yield the desired 2.2. Affine transformation latitude to be free of distortion along the central mer- Also noted by Strebe (2016), affine transformation idian. Boggs (1929), for example, stretches x to slightly preserves areas. That is, given x and y as the planar more than twice the primitive formulae’s results, and coordinates of an equal-area map projection, compresses y by the reciprocal. Affine transformation relates to the scaling constant ab x x 0 ¼ 0 (2:3) s reported in Equation (2.2). Letting cd y y 0 0 ab x ; y is also equal-area, provided the matrix is not singular A ¼ (2:6) and a; b; c; d are constant. When b ¼ 0; c ¼ 0; a ¼ d,the cd affine transformation degenerates to the simple, isotropic such that A is not singular and a; b; c; d are constant scaling described in Section 2.1.Withb ¼ 0; c ¼ 0; aÞd, when applying A to the projection, then the affine transformation describes a scaling such that the x ¼ A; : and y directions scale differently. This can be useful, parti- s det (2 7) cularly when d ¼ 1=a. This last case preserves overall area with det being the determinant. CARTOGRAPHY AND GEOGRAPHIC INFORMATION SCIENCE 3 I found no instance of affine transformation with Let us say we have a detailed base map prepared for shear components exploited in cartographic maps before use in a service deployed on the World Wide Web. We Strebe (2017). As will be seen in Section 2.9,general wish to accept arbitrary data sets to represent and affine transformations can serve useful purposes in con- overlay onto the base map in order to augment the junction with other transformations. However, perhaps map with information customized for a user’s needs. the value of affine transformation on its own has been The bulk of the rendering work and detail needed for underappreciated, as discussed next. the complete map has already gone into the base map, Consider an arbitrary, non-conformal projection P. and we do not wish to render the base map anew for As described by Tissot (1881), the distortion undergone every custom map because we want to conserve com- by a geographical point p when projected by P can be putational resources and to reduce delivery time. described as the projection of an infinitesimal circle The scenario turns out to be common: Practically around p into an infinitesimal ellipse on the plane.