# Does a power series vanish on the circle of convergence imply that the power series equals to zero?

Let $f(z)=\sum_{n=0}^{\infty} a_n z^n$ be a power series, $a_n, z\in \mathbb{C}$. Suppose the radius of convergence of $f$ is $1$, and $f$ is convergent at every point of the unit circle.

Question:If $f(z)=0$ for every $|z|=1$, then can we draw the conclusion that $a_n=0$ for all nonnegative integer $n$?

I think the answer is yes, but I failed to prove it. My approach is concerning about the function $F_\lambda(z):=f(\lambda z)$ for $0\leq\lambda\leq 1$, $|z|=1$. Abel's theorem shows that $F_\lambda$ converge to $F_1$ pointwisely as $\lambda\rightarrow 1$ on the unit circle. If I have the property that $f$ is bounded in the unit disk, then I can apply Lebesgue's dominated convergence theorem to prove $a_0=0$, and by induction I can prove $a_n=0$ for all $n$. However, I cannot prove $f(z)$ is bounded in the unit disk.

• Maybe I'm making some very stupid mistake, but isn't $f$ continuous on the unit disk since it's the pointwise limit of uniformly continuous functions? – k.stm Oct 8 '12 at 11:27
• Can you use the Maximum modulus theorem? – PAD Oct 8 '12 at 11:37
• A pointwise limit of uniformly continuous functions need not be continuous. – GEdgar Oct 8 '12 at 12:55
• @jerrysciencemath : Are you satisfied with my answer below? – Malik Younsi Oct 12 '12 at 20:37
• @MalikYounsi: I'm sorry that I'm busy doing other things these days, I haven't check the document in your reply, but it seems to be a satisfactory answer~ If I have time, I will check it through details, thanks for your answer! – Yuchen Liu Oct 13 '12 at 8:28

It seems to me that this is a particular case of an old Theorem from Cantor (1870), called Cantor's uniqueness theorem. The theorem says that if, for every real $x$, $$\lim_{N \rightarrow \infty} \sum_{n=-N}^N c_n e^{inx}=0,$$ then all the complex numbers $c_n$'s are zero.
• @GeorgesElencwajg : Thank you, I also think it is correct. This question really is more about trigonometric series than anything else : the fact that $f(x)$ converges on the unit circle implies that the radius of convergence is $\geq 1$, and if the radius is $>1$ then the result is trivial... So the hypothesis about the radius of convergence does not mean much. About holomorphic functions, I am a PhD student in complex analysis, so I've read a lot about this subject. I'm interested in other fields too though. – Malik Younsi Oct 9 '12 at 12:42