If $\phi_\alpha(z)=(\alpha-z)/(1-\bar\alpha z)$ for $|\alpha|<1$, prove that
$\frac{1}{\pi}\int\int_\mathbb{D}|\phi_\alpha '|^2 dxdy=1$ and $\frac{1}{\pi}\int\int_\mathbb{D}|\phi'_\alpha|dxdy=\frac{1-|\alpha|^2}{|\alpha|^2}log\frac{1}{1-|\alpha|^2}$ where in the case $\alpha=0$ the expression on the right is understood as the limit as $|\alpha|\to 0$.
[Hint: The first integral can be evaluated without a calculation. For the second, use polar coordinates, and for each fixed $r$ use contour integration to evaluate the integral in $\theta$]
I did the first question, but I have trouble doing the second question. I don't know how to use polar coordinates method here.
So I computed $\phi'_\alpha(z)=\frac{-1+\alpha\bar\alpha}{(1-\alpha z)^2}$ and by using polar coordinate method I know, I get $\frac{1}{\pi}\int\int_\mathbb{D}|\phi'_\alpha|dxdy=\frac{1}{\pi}\int^{2\pi}_0\int^1_0|\frac{-1+\alpha\bar\alpha}{(1-\bar\alpha re^{i\theta)^2}}|rdrd\theta$, but it looks wrong. Can you give me any idea? Thank you.
$\frac{1}{\pi}\int\int_\mathbb{D}|\phi'_\alpha|dxdy=\frac{1}{\pi}\int^{2\pi}_0\int^1_0\frac{|-1+\alpha\bar\alpha|}{|1-\bar\alpha re^{i\theta)^2}|}rdrd\theta=(1-|\alpha|^2)\int^1_0r(\frac{1}{\pi}\int^{2\pi}_0\frac{1}{|1-\bar\alpha re^{i\theta)^2}|}d\theta)dr$
Clearly the integral is invariant under a circle rotation $\alpha \to \alpha e^{it_0}$ so we can assume $\alpha=c=|\alpha|>0$
$\frac{1}{|1-cre^{i\theta}|^2}=\frac{P(cr,\theta)}{1-c^2r^2}$ so $\frac{1}{\pi}\int^{2\pi}_0\frac{1}{|1-\bar\alpha re^{i\theta)^2}|}d\theta=\frac{2}{1-c^2r^2}=\frac{2}{1-|\alpha|^2r^2}$ as the integral of the Poisson kernel (divided by $2\pi$) is $1$ hence we get:
$\frac{1}{\pi}\int\int_\mathbb{D}|\phi'_\alpha|dxdy=2(1-|\alpha|^2)\int_0^1\frac{r}{1-|\alpha|^2r^2}dr=\frac{1-|\alpha|^2}{|\alpha|^2}\log\frac{1}{1-|\alpha|^2}$ so we are done!