A convergent series

Let $f$ be holomorphic on the open unit disk $\mathbb{D}$ and suppose that the integral $\displaystyle \iint \limits_{\mathbb{D}} \left| f(z) \right|^2 \, {\rm d}(x, y)$ converges. If the Taylor expansion of $f$ is of the form $\sum \limits_{n=0}^{\infty} a_n z^n$ then prove that the sum

$\mathcal{S}= \sum_{n=0}^{\infty} \frac{|a_n|^2}{n+1}$

converges.

Solution

We evaluate the integral using the standard orthogonality results for $e^{in \theta}$ . Thus:

$\begin{align*} \iint \limits_{\mathbb{D}}|f(z)|^2 \, {\rm d}z&=\int_0^1 r\int_0^{2\pi}\left|\sum_{n=0}^{\infty}a_nr^ne^{in\theta}\right|^2\,{\rm d}\theta\,{\rm d}r\\ &=\int_0^1r\int_0^{2\pi}\sum_{n=0}^{\infty}\sum_{m=0}^{\infty}a_n\overline{a_m}r^{n+m}e^{i(n-m)\theta}\,{\rm d}\theta\,{\rm d}r\\ &=2\pi\int_0^1r\sum_{n=0}^{\infty}|a_n|^2r^{2n}\,{\rm d}r\\ &=\pi\sum_{n=0}^{\infty}\frac{|a_n|^2}{n+1} \end{align*}$

and thus the series converges.

Note: The set of functions satisfying this is a Hilbert space of functions, but it is not the same as the Hardy space $\mathbb{H}^2$ .

A convergent series

They might interest you:

Determinant of block matrices

On a classic logarithmic computation

MacLaurin of exp(exp(x))

A limit with Euler's totient function

A convergent sequence

Metric ... or not?

Isometries in a compact space

Offset logarithmic integral inequality

A coth series

Leave a Reply Cancel reply