After Squaring the Circle and using Blaschke products to squeeze finitely many disks conformally into a single disk, the restless mathematician wants to put even more disks into a disk. Infinitely many, that is. What we need for this is a conformal map that maps the disk infinitely often onto itself. We will cheat a little and employ the exponential function. It maps the left half-plane to the punctured unit disk, and because it is 2π periodic. Each point except the center of the unit disk has infinitely many preimages.
So, my first examples map the disk via a Möbius transformation to the left half plane (that is a bijection), and then via the exponential map back to the (punctured) disk. Missing one point won’t be a big deal – what is a single pixel? Pulling back the default spider web on the left replicates it infinitely often, but in a somewhat disappointing way: The circles of the original web become horocycles that are mapped periodically onto the circles. We just have an infinite hyperbolic wall paper, periodic with respect to a parabolic isometry. We can do slightly better by taking products of several such maps.
Below are products of three such Möbius-exponential maps,
and here the two images that use four factors. I have placed the parabolic fixed points symmetrically but played with the Möbius transformations a little.
Of course one can also use infinite Black products, as long as the zeroes of the factors converge rapidly enough to the boundary circle, and as long one is patient enough to evaluate the infinite products to sufficient accuracy.
In the left example, the zeroes follow a spiral, while in the second example, the zeroes alternate between two spirals that turn the opposite way. The zeroes correspond to the circular holes.
6 thoughts on “Playing with Infinity”
What software do you use to draw the pictures?
Mathematica. My code runs very slowly…
I’m quite interested in seeing the codes. (Well, would they interrupt the beauty of this post?:-)) I’m also wondering how the pictures would look like if they were on the Riemann sphere. (I believe one can easily translate the images from the hyperbolic model?)
I’ll be happy to send you a Mathematica notebook, and maybe I post something about how I coded this (even though it will probably be embarrassing for me). The code has three independent parts. The first I use to get the initial picture in the disk with the color graduated polar coordinates, the second is code for the (simple) functions I use, and the third computes for each pixel in the picture the coordinates of the image in the initial picture and interpolates linearly between the four nearest pixels to avoid aliasing.
Doing it on the sphere is mathematically much easier but then you have to think about what you want to to with the distortions when representing a sphere. All this is very much related to complex dynamics.
I would really appreciate the notebook. (I’m assuming my email address would appear in the wordpress system?) Thanks!
I’ll send you a notebook, and I’ll also do another post on the computer graphics involved, by the weekend. Before, I have to deal with my other lives …