# Rudin Proof of Liouville Theorem (Complex A.)

I am talking about Thm. 10.23 proof.

Why is it that ##c_n## must be equal to ##0, \ \forall n>0## ?

Thanks

#### Attachments

• 84.1 KB Views: 354
Last edited:

Related Topology and Analysis News on Phys.org
Infrared
Gold Member
Note that it says FOR ALL r. If I had a $|c_n| > 0$ for n>0 then I could let $r^{2n}=\frac{M}{|c_n|^2}$ so the n-th term would be equal to M and the sum would be at least as large as M (all the terms are non-negative if I choose r this way so the sum is at least as large as any individual term). This is a contradiction.

Last edited:
Note that it says FOR ALL r. If I had a $|c_n| > 0$ for n>0 then I could let $r^{2n}=\frac{M}{|c_n|^2}$ so the n-th term would be equal to M and the sum would be at least as large as M (all the terms are non-negative if I choose r this way so the sum is at least as large as any individual term). This is a contradiction.
Thank you for the answer. Yeah I get it.
It was my misunderstanding of theorem 22 that caused the confusion.
Theorem 22 is a different version of Gauss's Mean Value Thm.

BTW I think you meant to say take:

##r^{2n} = \Large{\frac{M^2}{|c_n|^2}}##

Thm 10.22

#### Attachments

• 22.3 KB Views: 388