Area of unit disk under a univalent function
LetD be the unit disk in the complex plane and letf be a univalent function on D, meaning it is analytic and one-to-one on D.
There is a simple way to compute the area off(D) from the coefficients in its power series.
If
then
The first equality follows from the change of variables theorem for functions of two variables and applying the Cauchy-Riemann equations to simplify the Jacobian. The second equality is a straight-forward calculation that you can work out in polar coordinates.
ApplicationLet's apply this to what I called the minimalist Mandelbrot set the other day.
The orange disk has radius 1/4 and so its area is simply /16.
Finding the area of the blue cardioid takes more work, but the theorem above makes it easy. The cardioid is the image of the set { : || < } under the mapf(z) = z - z^2. To apply the theorem above we need the domain to be the unit disk, not the unit disk times , so we define
as a function on the unit disk. Now c1 = and c2 = -1/4 and so the area of f(D) = 3/8.
I said in the earlier post that the minimalist Mandelbrot set makes up most of the Mandelbrot set. Now we can quantify that. The area of the minimalist Mandelbrot set is 7/16 = 1.3744. The area of the Mandelbrot set is 1.5065, so the minimalist set shown above makes up over 91% of the total area.
Related postsThe post Area of unit disk under a univalent function first appeared on John D. Cook.