I am wondering if there is a general explanation for the following phenomenon. The partial sums of the geometric series $\sum_{n\geq 0} x^n$ evaluated at a root of unity $\zeta\neq 1$ in the complex plane attain only finitely many values (since $1+\zeta+\ldots+\zeta^{n-1}=0$, where $\zeta^n=1$). The average of these values is $1/(1-\zeta)$, which is the value at $\zeta$ of the meromorphic function that analytically continues the geometric series. Out of curiosity, I would like to ask if this is a special case of a general theorem?
$\begingroup$
$\endgroup$
2
-
2$\begingroup$ Hopefully this link works: en.wikipedia.org/wiki/Ces%C3%A0ro_mean If not, google "cesaro mean" $\endgroup$– David CohenCommented May 16, 2013 at 1:27
-
$\begingroup$ thanks. you link gives only the definition of cesaro mean, however. $\endgroup$– Tommaso CentelegheCommented May 16, 2013 at 12:23
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
The phenomenon you observe is a special case of a theorem of Frobenius (1880):
If a series is Cesaro summable then it is also Abel summable, and the Cesaro limit is the same as the Abel limit.
In your case the series is $(1,\zeta,\zeta^2,\dots)$ which ensures Cesaro summability as the sequence of partial sums is periodic.
For more details see Page 4 of Korevaar: Tauberian theory - A century of developments (Springer, 2004).