Suppose we have $f(z)=\sum\limits_{n=0}^\infty c_nz^n$ for $|z| Prove that $\frac{1}{2\pi}\int_0^{2\pi}|f(re^{i\theta})|^2d\theta=\sum\limits_{n=0}^\infty|c_n|^2r^{2n}$, $r Got stuck for this proof ... I have no idea what happens to the series when putting $|f(e^{i\theta})|^2$ under the integral sign ....
How to deal with $|f(z)|^2$ under integral
4
$\begingroup$
complex-analysis
1 Answers
4
A related problem. Using the fact that $|z|^2=z\bar{z}$, we have
$$ \frac{1}{2\pi}\int_0^{2\pi}|f(re^{i\theta})|^2d\theta=\frac{1}{2\pi}\int_0^{2\pi}f(re^{i\theta}) \overline{f(re^{i\theta})} d\theta$$
$$=\frac{1}{2\pi}\int_0^{2\pi}\sum_{n=0}^{\infty}c_nr^n e^{in\theta} \overline{\sum_{m=0}^{\infty} c_mr^m e^{im\theta}} d\theta $$
$$=\frac{1}{2\pi} \sum_{n=0}^{\infty}c_nr^n \sum_{m=0}^{\infty}\bar{c_m}r^m\int_{0}^{2\pi}e^{i(n-m)\theta} d \theta $$
The other fact you want to use is $\int_{0}^{2\pi}e^{in\theta}e^{-im\theta}=2\pi$ for $n= m$ and $0$ otherwise.
-
0@BobaFret: I left it to him to figure this out. – 2012-10-26
-
0Then as you said, the integrand part becomes $\sum\limits_{n=0}^\infty c_ne^{in\theta}\sum\limits_{m=0}^\infty c_ne^{-im\theta}$ since $c_n=\overline{c_n}$ as a real number. Then the integrand becomes the product of two infinite series and there are many cross-product terms ... – 2012-10-26
-
1Oh I see. This fact is very helpful actually. Thanks a lot ! – 2012-10-26
-
1@Cmeteorolite:You are welcome. – 2012-10-26