Teorema delle medie di Cesaro
Il teorema delle medie di Cesaro permette di calcolare il limite della successione delle medie di una successione
a
n
{\displaystyle a_{n}}
, noto il limite di
a
n
{\displaystyle a_{n}}
.
La successione delle medie di
a
n
{\displaystyle a_{n}}
si definisce come:
(
σ
n
)
=
1
n
∑
k
=
1
n
a
k
{\displaystyle (\sigma _{n})={\frac {1}{n}}\sum _{k=1}^{n}a_{k}}
.
Secondo questo teorema
lim
n
→
∞
σ
n
=
lim
n
→
∞
a
n
{\displaystyle \lim _{n\to \infty }\sigma _{n}=\lim _{n\to \infty }a_{n}}
dimostrazione
|
σ
n
−
l
|
=
|
1
n
∑
k
=
1
n
a
k
−
l
|
=
|
∑
k
=
1
n
a
k
−
n
l
n
|
{\displaystyle |\sigma _{n}-l|=\left|{\frac {1}{n}}\sum _{k=1}^{n}a_{k}-l\right|=\left|{\frac {\sum _{k=1}^{n}a_{k}-nl}{n}}\right|}
Spezzando la sommmatoria da 1 a
n
¯
{\displaystyle {\bar {n}}}
e da
n
¯
{\displaystyle {\bar {n}}}
a
n
{\displaystyle n}
si ha:
|
∑
k
=
1
n
¯
a
k
+
∑
k
=
n
¯
+
1
n
a
k
−
n
l
n
|
∀
n
≥
n
¯
=
{\displaystyle \left|{\frac {\sum _{k=1}^{\bar {n}}a_{k}+\sum _{k={\bar {n}}+1}^{n}a_{k}-nl}{n}}\right|\forall n\geq {\bar {n}}=}
=
|
∑
k
=
1
n
¯
a
k
n
+
∑
k
=
n
¯
+
1
n
a
k
−
n
l
n
|
{\displaystyle =\left|{\frac {\sum _{k=1}^{\bar {n}}a_{k}}{n}}+{\frac {\sum _{k={\bar {n}}+1}^{n}a_{k}-nl}{n}}\right|}
Essendo:
∑
k
=
n
¯
+
1
n
a
k
−
n
l
=
∑
k
=
n
¯
+
1
n
a
k
−
(
n
¯
−
n
)
l
−
n
¯
l
=
∑
k
=
n
¯
+
1
n
(
a
k
−
l
)
−
n
¯
l
{\displaystyle \sum _{k={\bar {n}}+1}^{n}a_{k}-nl=\sum _{k={\bar {n}}+1}^{n}a_{k}-({\bar {n}}-n)l-{\bar {n}}l=\sum _{k={\bar {n}}+1}^{n}(a_{k}-l)-{\bar {n}}l}
Allora:
|
σ
n
−
l
|
=
|
∑
k
=
1
n
¯
a
k
n
+
∑
k
=
n
¯
+
1
n
a
k
n
−
n
¯
l
n
|
{\displaystyle |\sigma _{n}-l|=\left|{\frac {\sum _{k=1}^{\bar {n}}a_{k}}{n}}+{\frac {\sum _{k={\bar {n}}+1}^{n}a_{k}}{n}}-{\frac {{\bar {n}}l}{n}}\right|}
Siccome:
I)
∑
k
=
1
n
¯
a
k
N
<
ε
per
n
¯
≤
N
∀
ε
>
0
{\displaystyle {\frac {\sum _{k=1}^{\bar {n}}a_{k}}{N}}<\varepsilon {\mbox{ per }}{\bar {n}}\leq N{\mbox{ }}\forall \varepsilon >0}
II)
∑
k
=
n
¯
+
1
n
(
a
k
−
l
)
n
≤
1
n
∑
k
=
n
¯
+
1
n
ε
=
ε
⋅
n
−
n
¯
n
{\displaystyle {\frac {\sum _{k={\bar {n}}+1}^{n}(a_{k}-l)}{n}}\leq {\frac {1}{n}}\sum _{k={\bar {n}}+1}^{n}\varepsilon =\varepsilon \cdot {\frac {n-{\bar {n}}}{n}}}
III)<math>\frac{\bar nl}{n} < \varepsilon\mbox{ } \forall \varepsilon > 0\mbox{ e } n > N