Rudin Proof of Liouville Theorem (Complex A.)

[Bachelier]

Please see attached.

I am talking about Thm. 10.23 proof.

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

Thanks

 

[Infrared]

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.

 

[Bachelier]

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}}$

 

[Bachelier]

Thm 10.22