チェザロ平均についての詳細
チェザロ平均(チェザロへいきん、英: Cesàro mean)は、特定の
数列の最初の有限個の項の
算術平均を意味します。この概念は、
イタリアの
数学者エルネスト・チェザロに由来しています。基本的に、任意の
数列 (an) に対し、その最初の n 項に基づいて定義される
算術平均を表します。具体的には、以下のように数式で表されます。
$$
c_n = \frac{1}{n} \sum_{i=1}^{n} a_i
$$
ここで、c_n がチェザロ平均であることを示しています。この事実から、各 n に対する c_n を一つの新しい
数列 (cn) として考えることが可能です。
性質と応用
チェザロ平均に関する重要な特性の一つは、次の関係です。
$$
\lim_{n \to \infty} a_n = A \Rightarrow \lim_{n \to \infty} c_n = A
$$
これは、
数列が収束すると、そのチェザロ平均も同様に収束することを意味しています。つまり、チェザロ平均をとる操作は元の
数列の収束性やその極限を保持するのです。
この性質を活かし、
発散級数論においてはチェザロ平均が合計の手法として利用されます。具体的には、級数 ∑ an の部分和を元にそのチェザロ平均が収束するなら、もとの級数 ∑ an は「チェザロ総和可能」であると判断します。
また、チェザロ平均に関連する面白い例もあります。例えば、次の
数列を考えてみましょう。
$$
a_n = (-1)^n
$$
この
数列は振動的で収束はしませんが、そのチェザロ平均の列は 0 に収束します。つまり、収束しない
数列に対しても、そのチェザロ平均が収束する場合があるということです。この現象は、
グランディ級数においても観察されています。
特にチェザロ平均は
フーリエ級数に対し多くの場面で用いられます。
フーリエ級数の和を求める際に、部分和の
各点収束極限を考慮するよりもチェザロ平均の方が計算や解析上の利点があるとされます。このとき、対応する積分核は
フェイェール核と呼ばれます。
フェイェール核は常に正の値をとるため、チェザロ平均の方が
フーリエ級数の和に対してより適切で優れた手法と言えるでしょう。
さらに、チェザロ平均には一般化があり、ストルツ=チェザロの定理がその一例です。また、リース平均というより強力な総和法も存在し、マルツェル・リースによって導入されました。これはチェザロ平均と似ているものの、さらなる発展を遂げた形です。
まとめ
チェザロ平均は、
数学において
数列の性質を研究する上で非常に重要な概念です。その収束に関する特性や
フーリエ級数への応用によって、多くの
数学的問題を解決する手助けとなるでしょう。また、リース平均などの関連する手法の発展により、より広範な
数学的探求が可能となります。