I have a square $S$, and I want to convert it to the unit disc $D$.

The Riemann mapping theorem says that I can to it with a conformal bijective map. But, any such mapping will cause some distortion.

Specifically, if S contains small sub-squares, they will be mapped into sub-shapes of C that are not squares. The amount of distortion depends on the specific mapping selected, and also on the placement of the small square inside S (see, for example, this nice illustration: the distortion is minimal near the center, and maximal near the corners).

The amount of distortion can be quantified in the following way: Let $s$ be a small sub-square contained in $S$. Let $d(s)$ be its image under the conformal mapping ($d(s)$ is contained in $D$). Let $m(d(s))$ be the maximum-area square that is contained in $d(s)$. Define:

$\mathrm{distortion}(s) = \mathrm{area}(d(s)) / \mathrm{area}(m(d(s))) - 1$

So, if $s$ is mapped to a square, then $d(s)$ is a square, $m(d(s))=d(s)$, and $\mathrm{distortion}(s)=0$.

I would like to know:

  • What is the maximum distortion of a square of a certain size?
  • What is the average distortion, over all squares of a certain size?
  • If we divide $S$ into a k-by-k grid of $k^2$ sub-squares, what is the average distortion over all $k^2$ sub-squares?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.