$f(z)=\sum_{n=0}^\infty a_n(z-a)^n$ converge para $|z-a|<s$ entonces para $0<r<s$ , $\int_0^{2\pi} |f(a+re^{it})|^2 dt=2\pi\sum |a_n|^2r^{2n}$ ?

Question

Supongamos que $f(z)=\sum_{n=0}^\infty a_n(z-a)^n$ converge para $|z-a|<s$ .

Entonces, ¿cómo demostrar que para $0<r<s$ , $\dfrac 1{2\pi}\int_0^{2\pi} |f(a+re^{it})|^2 dt=\sum_{n=0}^\infty |a_n|^2r^{2n}$ ?

Answer 1

Esta igualdad se denomina Identidad de Parseval .

En $f(z)=\sum_{n=0}^\infty a_n(z-a)^n$ para $|z-a|<s$ si tomamos $r<s$ entonces $|a+re^{i\theta}-a|=r\leq s$ así que..:

$$\int_0^{2\pi} |f(a+re^{i\theta}|^2\ d\theta=\int_0^{2\pi} f(a+re^{i\theta})\cdot \overline{f(a+re^{i\theta})}\ d\theta=\int_0^{2\pi} \left(\sum_{n=0}^\infty a_nr^ne^{in\theta}\right)\cdot \left(\sum_{n=0}^\infty \overline{a_n}r^ne^{-in\theta}\right)\ d\theta=$$ Ahora, utilizando el producto de Cauchy, tenemos $$ = \int_0^{2\pi}\sum_{n,m=0}^\infty a_n\cdot \overline{a_m}\cdot r^{n+m}e^{i(n-m)\theta}\ d\theta=\sum_{n,m=0}^\infty a_n\cdot \overline{a_m}\cdot r^{n+m}\int_0^{2\pi} e^{i(n-m)\theta}\ d\theta$$

En $$\int_0^{2\pi} e^{i(n-m)\theta}\ d\theta=\left\{\begin{array}{c} 2\pi, \ n=m \\ 0, \ n\neq m \end{array} \right. $$ obtienes

$$\int_0^{2\pi} |f(a+re^{i\theta}|^2\ d\theta = 2\pi \sum_{n=0}^\infty |a_n|^2 r^{2n}$$

Answer 2

Observe \begin{align} |f(a+re^{it})|^2 =\left|\sum^\infty_{n=0} a_nr^ne^{int}\right|^2 = \sum^\infty_{n=0}\sum^\infty_{m=0}a_n\bar a_m r^{n+m}e^{i(n-m)t} \end{align} para todos $r<s$ lo que significa \begin{align} \frac{1}{2\pi}\int^{2\pi}_0\sum^\infty_{n=0}\sum^\infty_{m=0}a_n\bar a_m r^{n+m}e^{i(n-m)t} \ dt =&\ \sum^\infty_{n=0}\sum^\infty_{m=0}a_n\bar a_m r^{n+m}\frac{1}{2\pi}\int^{2\pi}_0e^{i(n-m)t} \ dt \\ =&\ \sum^\infty_{n=0}\sum^\infty_{m=0}a_n\bar a_m r^{n+m} \delta_{n, m} \\ =&\ \sum^\infty_{n=0}|a_n|^2r^{2n}. \end{align}