チェザロ総和とチェザロ平均の定義
チェザロ総和とチェザロ平均の定義
\[ s_{n}=\sum_{k=1}^{n}a_{k} \] の極限
\[ C=\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}s_{j} \] が有限となるとき、\(\left(a_{n}\right)_{n\in\mathbb{N}}\)はチェザロ総和可能であるという。
また、この極限\(C\)を\(\left(a_{n}\right)_{n\in\mathbb{N}}\)のチェザロ総和またはチェザロ和という。
\[ m_{n}=\frac{1}{n}\sum_{k=1}^{n}a_{n} \] をチェザロ平均という。
(1)チェザロ総和(チェザロ和)
数列\(\left(a_{n}\right)_{n\in\mathbb{N}}\)の最初の\(n\)項の部分和\[ s_{n}=\sum_{k=1}^{n}a_{k} \] の極限
\[ C=\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}s_{j} \] が有限となるとき、\(\left(a_{n}\right)_{n\in\mathbb{N}}\)はチェザロ総和可能であるという。
また、この極限\(C\)を\(\left(a_{n}\right)_{n\in\mathbb{N}}\)のチェザロ総和またはチェザロ和という。
(2)チェザロ平均
数列\(\left(a_{n}\right)_{n\in\mathbb{N}}\)の最初の\(n\)項の相加平均\[ m_{n}=\frac{1}{n}\sum_{k=1}^{n}a_{n} \] をチェザロ平均という。
チェザロ総和は、
\begin{align*} C & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}s_{j}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}\sum_{k=1}^{j}a_{k}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k=1}^{n}\sum_{j=k}^{n}a_{k}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k=1}^{n}\left(n-k+1\right)a_{k} \end{align*} となる。
\begin{align*} C & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}s_{j}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}\sum_{k=1}^{j}a_{k}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k=1}^{n}\sum_{j=k}^{n}a_{k}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k=1}^{n}\left(n-k+1\right)a_{k} \end{align*} となる。
\(a_{n}=\left(-1\right)^{n+1}\)とする。
このとき、和
\[ \sum_{k=1}^{\infty}a_{k}=\sum_{k=1}^{\infty}\left(-1\right)^{k+1} \] は収束しないがチェザロ総和は存在する。
チェザロ総和を求めるのに部分和を求めると、
\begin{align*} s_{n} & =\sum_{k=1}^{n}a_{k}\\ & =\sum_{k=1}^{n}\left(-1\right)^{n+1}\\ & =\frac{1}{2}+\frac{\left(-1\right)^{n+1}}{2} \end{align*} となり、チェザロ総和は
\begin{align*} C & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}s_{j}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}\left(\frac{1}{2}+\frac{\left(-1\right)^{j+1}}{2}\right)\\ & =\frac{1}{2}+\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}\left(\frac{\left(-1\right)^{j+1}}{2}\right)\\ & =\frac{1}{2}+\lim_{n\rightarrow\infty}\frac{1}{n}\left(-\frac{1}{4}+\frac{\left(-1\right)^{n}}{4}\right)\\ & =\frac{1}{2} \end{align*} より、\(\frac{1}{2}\)となる。
この級数のチェザロ平均は、
\begin{align*} m_{n} & =\frac{1}{n}\sum_{k=1}^{n}a_{n}\\ & =\frac{1}{n}\sum_{k=1}^{n}\left(-1\right)^{n+1}\\ & =\frac{1}{n}\left(\frac{1}{2}+\frac{\left(-1\right)^{n+1}}{2}\right)\\ & =\frac{1}{2n}\left(1+\left(-1\right)^{n+1}\right)\\ & =\frac{\mod\left(n,2\right)}{n} \end{align*} となる。
このとき、和
\[ \sum_{k=1}^{\infty}a_{k}=\sum_{k=1}^{\infty}\left(-1\right)^{k+1} \] は収束しないがチェザロ総和は存在する。
チェザロ総和を求めるのに部分和を求めると、
\begin{align*} s_{n} & =\sum_{k=1}^{n}a_{k}\\ & =\sum_{k=1}^{n}\left(-1\right)^{n+1}\\ & =\frac{1}{2}+\frac{\left(-1\right)^{n+1}}{2} \end{align*} となり、チェザロ総和は
\begin{align*} C & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}s_{j}\\ & =\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}\left(\frac{1}{2}+\frac{\left(-1\right)^{j+1}}{2}\right)\\ & =\frac{1}{2}+\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{j=1}^{n}\left(\frac{\left(-1\right)^{j+1}}{2}\right)\\ & =\frac{1}{2}+\lim_{n\rightarrow\infty}\frac{1}{n}\left(-\frac{1}{4}+\frac{\left(-1\right)^{n}}{4}\right)\\ & =\frac{1}{2} \end{align*} より、\(\frac{1}{2}\)となる。
この級数のチェザロ平均は、
\begin{align*} m_{n} & =\frac{1}{n}\sum_{k=1}^{n}a_{n}\\ & =\frac{1}{n}\sum_{k=1}^{n}\left(-1\right)^{n+1}\\ & =\frac{1}{n}\left(\frac{1}{2}+\frac{\left(-1\right)^{n+1}}{2}\right)\\ & =\frac{1}{2n}\left(1+\left(-1\right)^{n+1}\right)\\ & =\frac{\mod\left(n,2\right)}{n} \end{align*} となる。
ページ情報
| タイトル | チェザロ総和とチェザロ平均の定義 |
| URL | https://www.nomuramath.com/g8mp1l9f/ |
| SNSボタン |
有理数全体の集合のデデキント切断と最大元・最小元
実数全体の集合のデデキント切断と最大元・最小元
実数列の上極限と下極限の定義
\[
\limsup_{n\rightarrow\infty}a_{n}:=\lim_{n\rightarrow\infty}\sup_{k\geq n}a_{k}
\]
有界閉区間上の連続関数はリーマン可積分
有界閉区間上の連続関数はリーマン可積分である。