Cesàro Mean
Jump to navigation
Jump to search
Theorem
Let $\sequence {a_n}$ be a sequence of complex numbers.
Suppose that $\sequence {a_n}$ converges to $\ell$ in $\C$:
- $\displaystyle \lim_{n \mathop \to \infty} a_n = \ell$
Then also:
- $\displaystyle \lim_{n \mathop \to \infty} \frac {a_1 + \dotsb + a_n} n = \ell$
Proof
For every fixed integer $n_0$, we write:
- $\displaystyle \cmod {\frac {a_1 + \dotsb + a_n} n - \ell} \le \frac {\cmod {a_1 - \ell} + \dotsb + \cmod {a_n - \ell} } n \le \frac {n_0 \displaystyle \sup_{k \mathop \le n_0} \cmod {a_k - \ell} } n + \sup_{n_0 \mathop < k \mathop \le n} \cmod {a_k - \ell}$
As $n$ tends to $+\infty$, we get:
- $\displaystyle \limsup_{n \mathop \to \infty} \cmod {\frac {a_1 + \dotsb + a_n} n - \ell} \le \sup_{k \mathop > n_0} \cmod {a_k - \ell}$
As $n_0$ tends to $+\infty$, we finally conclude:
- $\displaystyle \limsup_{n \mathop \to \infty} \cmod {\frac {a_1 + \dotsb + a_n} n - \ell} = 0$
$\blacksquare$
Remarks
- The theorem and its proof hold in any normed vector space.
- When working with an arbitrary sequence $\sequence {a_n}$ of real numbers, the same truncation trick leads to:
- $\displaystyle \liminf_{n \mathop \to \infty} a_n \le \liminf_{n \mathop \to \infty} \frac {a_1 + \dotsb + a_n} n \le \limsup_{n \mathop \to \infty} \frac {a_1 + \dotsb + a_n} n \le \limsup_{n \mathop \to \infty} a_n$
As a corollary, the conclusion of the theorem holds in the real case when $\ell = \pm \infty$.
Source of Name
This entry was named for Ernesto Cesàro.