チェザロ総和とチェザロ平均の定義
チェザロ総和とチェザロ平均の定義
\[ 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ボタン |
一様コーシー列の定義
\[
\forall\epsilon>0,\exists N\in\mathbb{N},\forall x\in I;\left(N\leq m,n\right)\rightarrow d\left(f_{m}\left(x\right),f_{n}\left(x\right)\right)<\epsilon
\]
各点収束・一様収束・広義一様収束の包含関係
\[
\text{一様収束}\Rightarrow\text{各点収束}
\]
有界単調数列は収束する
数列が収束するならば有界