Jacobian of Transformation in the Complex Plane

1.1k Views Asked by At

Let

$$f(z) = \sum_{n=0}^\infty c_nz^n$$

be analytic in the disc $\mathbb{D} \ \{ z \in \mathbb{C} | |z| < 1 \}$. Assume $f$ maps $\mathbb{D}$ one-to-one onto a domain $G$ having area $A$. Prove

$$A = \pi \sum_{n=1}^\infty n |c_n|^2$$

Looking at the solution - I lack some fundamental understanding. Why is the Jacobian of the transformation $|f'(z)|^2$, giving us that $A = \int_{\mathbb{D}}|f'(z)|^2 dx dy$. Can someone help me see this by walking through the definition?

1

There are 1 best solutions below

3
On BEST ANSWER

If we write $f(x+iy) = u(x,y)+iv(x,y) $ where $u,v$ are real, we can compute the Jacobian in the usual way as $$ \begin{vmatrix} u_x & u_y \\ v_x & v_y \end{vmatrix} = u_x v_y-u_yv_x. $$ The Cauchy–Riemann equations give that $u_x=v_y$ and $u_y=-v_x$, so this is equal to $u_x^2+u_y^2$.

On the other hand, the formula for coordinate transformations gives $\partial_z = \frac{1}{2}(\partial_x - i\partial_y)$, so $$ f'(x+iy) = \frac{1}{2}\left( u_x+v_y+i(u_y-v_x) \right) = u_x+iu_y, $$ by the Cauchy–Riemann equations again, and then $\lvert f'(x+iy) \rvert^2 = u_x^2+u_y^2 $. So the Jacobian is $\lvert f'(z) \rvert^2$ as required.