チェザロ和

チェザロ総和法

解析学におけるチェザロ総和法（英語：Cesàro summation）は、無限級数に対して特定の「和」を与えるための技法です。この手法は、通常の収束性を持たない級数に対しても和を定義できるため、特に有用です。19世紀のイタリアの数学者エルネスト・チェザロにちなんで名づけられました。

定義

チェザロ総和法では、数列 {a_n} の第 k-部分和 s_k は以下のように表されます。

$$
s_k = a_1 + a_2 + ... + a_k = extstyleigg( extstyleigg( igg( igg( igg( igg( igg( s_k igg) \ igg(1 igg)igg)igg)igg)igg)igg)igg) extstyleigg)igg)
$$

ここで、有限の確定値 A が次のような極限によって与えられます。

$$
A := ext{lim}_{n o ext{∞}} rac{s_1 + s_2 + ... + s_n}{n}
$$

この場合、数列 {a_n} は「チェザロ総和可能」あるいは「チェザロの意味で総和可能」であるとされます。この極限の値 A は数列 {a_n} のチェザロ和と呼ばれます。

例

具体的な例として、数列 {a_n} を n ≥ 1 の場合、a_n = (-1)^{n+1} としましょう。この場合、数列は1, -1, 1, -1, …という形になります。部分和の列 s_n は、1, 0, 1, 0, …と続き、これは収束しないことが明らかです。しかし、数列 {(s_1 + ... + s_n) / n} は、次のように定義できます。

$$
extstyleigg( rac{1}{1}, rac{1}{2}, rac{2}{3}, rac{2}{4}, rac{3}{5}, rac{3}{6}, ... igg)
$$

この系列の極限は、最終的に 1/2 に収束します。このことから、数列 {a_n} のチェザロ和は 1/2 と結論づけられます。

(C, α)-総和法

1890年、チェザロは新たな総和法、すなわち (C, n)-総和法を提案しました。この手法は、チェザロ和を一般化したものであり、特にいくつかの条件に基づいた収束概念を持ちます。例えば、(C, 0)-和は通常の和に、(C, 1)-和は先述のチェザロ和に相当します。この新たな枠組みでは、n の数値に応じて異なる総和が可能になります。

(以下、省略)

このように、(C, α)-和は、与えられた級数に対する特定の極限が存在する場合に定義されます。一般に、(C, α)-和が存在すれば、より高次のチェザロ和も存在するため、連続的に拡張される性質を持っています。さらに、(C, α)-和の存在が、数列の特定の性質、特に有界性を示すための指標となります。

積分のチェザロ総和法

α>0 の場合、積分 ∫0∞ f(x)dx が (C, α)-総和可能であるとは、その特定の条件を満たす極限が存在することを意味します。このように、無限級数と同様に、積分もチェザロ総和法を用いて評価することができます。

まとめ

チェザロ総和法は、無限級数や積分の扱いに新たな視点をもたらす有用な手法であり、解析学の多くの領域で応用されています。特に収束しない級数や特殊な条件下での和を扱うとき、チェザロの方法は重要な役割を果たします。理解を深めるためには、この手法の様々な一般化や関連する理論を学ぶことが大切です。

もう一度検索