# Möbius Map in Hinges, Bikes, Fluids, and Ellipses

The Möbius map

\[z\mapsto w=e^{i \alpha} \frac{z-c}{1-\overline c z}, \tag1\]

the linear fractional transformation leaving the unit circle \(| z | =1\) invariant, is present in every course on complex analysis. Interestingly, this same map arises in other contexts, four of which I describe here.

### 1. A “Locomotive” Map

**Figure 1.**Folding a parallelogram into a “butterfly.”

**Figure 2.**The hinged “butterfly” defines a Möbius map from

*z*to

*w*.

a special case of \((1)\), up to the conjugation. A short proof of this is available in [1].

### 2. The “Bicycle”

The bicycle in Figure 3 is a segment of fixed length moving in the plane in such a way that the velocity of the “rear” endpoint constrains to the segment’s line (there is no sideslip), while the “front” endpoint moves along a *prescribed* path \(\Gamma\). Fixing \(\Gamma\) once and for all, the starting orientation determines the final orientation; that is, we have a circle map (see Figure 3). Robert Foote observed that it is actually a Möbius map [2], i.e., it is given by \((1)\). The constants \(\alpha\) and \(c=a+ib\) depend on the front path \(\Gamma\) but not on the bike’s initial orientation.

**Figure 3.**The bicycle map, determined by the front path Γ, maps the bike’s original orientation to its final orientation.

### 3. The Fluid

Imagine a cylinder guided through ideal fluid (i.e., one with vanishing curl and divergence) in an arbitrarily-prescribed path; Figure 4 shows a snapshot of the fluid velocity field in the cylinder’s reference frame. Particles on the boundary of the cylinder slide on the surface (the ideal fluid does not stick to walls). We thus have a map from the particle’s initial position on the circle to its ending position. This map also turns out to be of the Möbius form \((1)\), with \(\alpha\) and \(c\) dependent upon the cylinder’s path through the fluid. Incidentally, Figure 4 illustrates the zero circulation case, but the statement remains true for nonzero circulation as well.

**Figure 4.**An instantaneous snapshot of the ideal fluid in the cylinder’s reference frame (shown with zero circulation).

### 4. An Ellipse

The unit vectors \(z\) and \(w\) (treated as complex numbers) in Figure 5 are related by the Möbius transformation \((1)\), where \(\alpha = 0\) and

\[c= \sqrt{ 1- \frac{b ^2 }{a ^2 } };\]

here \(a\) and \(b\) are the minor and major semiaxes of the ellipse. This fact occurred to me as I was writing the article, although I am sure it has been observed before.

### 5. A Note on the Explanation

**Figure 5.**Unit vectors

*z*and

*w*(treated as complex numbers) emanate from the ellipse’s foci.

*z→w*is a Möbius transformation.

\[\dot \theta = \sin \theta.\]

Namely, the time advance map of this flow acts on points \(e^{i\theta}\) as a Möbius map. This can be shown by a quick geometrical argument or short calculation (both omitted). The “Möbiusness” of the time advance map survives the addition of rotation and time-dependence

\[\dot \theta = p(t) +q(t) \sin \theta,\]

for any continuous \(p\), \(q\). One can deduce this latter fact from the preceding remark and the fact that Möbius transformations form a group under composition.

Facts 1 and 4 are shown by calculation. To end on a sad note, I am not aware of their geometrical proof.

The figures in this article were provided by the author.

**References**

[1] Bor, G., Levi, M., Perline, R., & Tabachnikov, S. (2018). Tire tracks and integrable curve evolution. Preprint, *arXiv:1705.06314*. To appear in *Int. Math. Res. Not.*

[2] Foote, R. (1998). Geometry of the Prytz planimeter. *Rep. Math. Phys., 42*, 249-271.