An alternate proof of Liouville's theorem

236 Views Asked by At

Suppose that $|f(z)|\leq A+B|z|^M$ and that $f$ is entire. Show that for all coefficients $c_j$ with $M<j$ in its power series extansion are $0$.

Attampt:

$$ |f(z)|=\left|\sum_{k=0}^\infty c_kz^k\right| \leq A+B|z|^M \Rightarrow \\ \left|\sum_{k=0}^\infty c_kz^{k-M}\right|\leq{A\over |z|^M}+B\underset{z \to \infty}{\rightarrow}B $$ $g(z):=\sum_{k=0}^\infty c_kz^{k-M}$ is continuous and thus $|g|$ is bounded by some $Q$.

How can I finish the exercise?

1

There are 1 best solutions below

1
On BEST ANSWER

It should be $c_j=0$ for $j>M$. By the way, it would be useful to express $c_j$ by the Cauchy Integral Formula:$$c_j=\frac{f^{(j)}(0)}{j!}=\frac{1}{j!}\frac{1}{2\pi i}\int_{\partial B_R}\frac{f(w)}{w^{j+1}}dw$$ Because then a bound for $c_j$ is easy to obtain: $$|c_j|\le\frac{2\pi R}{j!2\pi}\frac{A+BR^M}{R^{j+1}}\to 0 \text{ as }R\to\infty,\text{ for all }j>M$$