チェザロ総和とチェザロ平均の定義
チェザロ総和とチェザロ平均の定義
\[ 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ボタン |
極限と上極限・下極限との関係
\[
\exists a\in\left[-\infty,\infty\right],\left(\lim_{n\rightarrow\infty}a_{n}=a\leftrightarrow\liminf_{n\rightarrow\infty}a_{n}=\limsup_{n\rightarrow\infty}a_{n}=a\right)
\]
上限・下限・最大元・最小元・上極限・下極限の和
\[
\sup_{n\in\mathbb{N}}\left(a_{n}+b_{n}\right)\leq\sup_{n\in\mathbb{N}}a_{n}+\sup_{n\in\mathbb{N}}b_{n}
\]
実数列では一様収束と一様コーシー列は同値
一様コーシー列の定義
\[
\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
\]