チェザロ和

解析学におけるチェザロ総和法（チェザロそうわほう、英語: Cesàro summation）とは無限級数に「和」と呼ばれる値を結びつける総和法の一種である。無限級数が通常の意味で収束して値 A を持つならば、その級数はチェザロの意味でも総和可能であり、同じ A をチェザロ和として持つ。チェザロ和の重要性は、収束しない級数のなかにもチェザロ和が矛盾なく定義できるものがありうるという点にある。ただし、たとえば無限大に収束する正項級数などはいかなる場合も有限の値の和を持つことはない。

名称は19世紀のイタリアの数学者アーネスト・チェザロに因む。

定義

数列 {a_n} の第 k-部分和を

[math]s_k = a_1 + \cdots + a_k = \sum_{i=1}^k a_i[/math]

とする。 ここで、極限

[math]A := \lim_{n\to\infty} \frac{s_1 + \cdots + s_n}{n} = \lim_{n\to\infty} \frac{1}{n} \sum_{i=1}^n s_i[/math]

が有限確定であるとき、数列 {a_n} はチェザロ総和可能あるいはチェザロの意味で総和可能であるといい、極限の値 A を数列 {a_n} あるいは級数 ∑ a_n のチェザロ和あるいはチェザロの意味での和という。

例

n ≥ 1 に対して a_n = (−1)ⁿ⁺¹ とする。つまり {a_n} は

[math]1, -1, 1, -1, \ldots[/math]

のような数列である。このとき、その部分和の列 (s_n) は、

[math]1, 0, 1, 0, \ldots[/math]

で与えられ、その和は（グランディ級数 (en) として有名なものだが）明らかに収束しない。にもかかわらず、数列 {(s₁ + ... + s_n)/n} の各項は

[math]\frac{1}{1}, \,\frac{1}{2}, \,\frac{2}{3}, \,\frac{2}{4}, \,\frac{3}{5}, \,\frac{3}{6}, \,\frac{4}{7}, \,\frac{4}{8}, \,\ldots[/math]

のようになり、極限では

[math]\lim_{n\to\infty} \frac{s_1 + \cdots + s_n}{n} = 1/2[/math]

が成立する。ゆえに、数列 {a_n} のチェザロ和は 1/2 である。

(C, α)-総和法

1890年、アーネスト・チェザロは非負の整数 n に対し (C, n)-総和法あるいはチェザロの n-次総和法などと呼ばれるチェザロ和の一般化について発表した。この枠組みでは (C, 0)-和は通常の意味の和に相当し、(C, 1)-和は上記のチェザロ和に相当する。高次のチェザロ総和法は次のように記述される。

まず、与えられた級数 Σa_n に対し、A_n^α を

[math]A_n^{-1}=a_n;\quad A_n^\alpha=\sum_{k=0}^n A_k^{\alpha-1}[/math]

と帰納的に定め、E_n^αを級数 1 + 0 + 0 + 0 + … に対する A_n^α となるように定義する。このとき、Σa_n の (C, α)-和とは、極限

[math]\lim_{n\to\infty}\frac{A_n^\alpha}{E_n^\alpha}[/math]

が存在するとき、その極限をいう {{#invoke:Footnotes | harvard_citation }}。これは上で最初に述べた意味のチェザロ和を α 回繰り返し適用して得られることを表しており、

[math](C,\alpha)-\sum_{j=0}^\infty a_j = \lim_{n\to\infty} \sum_{j=0}^n \frac{{n \choose j}}{{n+\alpha \choose j}} a_j[/math]

のように書き直すことができる。もっと一般に、負の整数でない実数 α に対して、 A_n^α は以下の級数

[math]\sum_{n=0}^\infty A_n^\alpha x^n=\frac{\displaystyle{\sum_{n=0}^\infty a_nx^n}}{(1-x)^{1+\alpha}}[/math]

の係数として陰伏的に与えられるものとし、E_n^α は上と同様に定める。特に E_n^α は冪指数が −(1 + α) であるような二項係数として得られる。このとき、Σ a_n の (C, α)-和は上述と同様に商 A_n^α/E_n^α として定められる。

級数に (C,α)-和が存在すれば、それより高次のチェザロ和も存在することが言える。また、 α > −1 で (C,α)-和が存在すれば、a_n = o(n^α) であることもわかる。

積分のチェザロ総和法

α > 0 とする。積分 ∫₀^∞ f(x)dx が (C, α)-総和可能であるとは

[math]\lim_{\lambda\to\infty}\int_0^\lambda\left(1-\frac{x}{\lambda}\right)^{\!\alpha}\! f(x)\, dx [/math]

が有限確定であることを言い、この極限の収束値をこの積分の (C, α)-和という {{#invoke:Footnotes | harvard_citation }}。数列の和の場合と同様に、α = 0 のとき (C,0)-総和可能性とは通常の意味での無限積分の収束性をいうものであり、α = 1 のとき (C,1)-収束とは有限区間での積分の平均の極限

[math]\lim_{\lambda\to \infty}\frac{1}{\lambda}\int_0^\lambda\left\{\int_0^xf(y)\, dy\right\}\,dx[/math]

の存在をいうに等しい。

数列の場合と同様に、α ≥ 0 に対して、ある積分が (C, α)-総和可能であれば、β ≥ α なるすべての β についてその積分は (C, β)-総和可能であり、そのチェザロ和はまったく同じ値を持つ。

関連項目

• アーベル和
• ボレル和
• オイラー和
• チェザロ平均
• 発散級数
• フェイェールの定理
• リース平均
• アーベルの定理とタウバーの定理
• シルバーマン＝テープリッツの定理
• 総和法

参考文献

• Shawyer, Bruce; Watson, Bruce (1994), Borel's Methods of Summability: Theory and Applications, Oxford UP, ISBN 0-19-853585-6 .
• Titchmarsh, E (1948), Introduction to the theory of Fourier integrals (2nd ed.), New York, N.Y.: Chelsea Pub. Co. (1986発行), ISBN 978-0828403245 .
• テンプレート:Springer
• Zygmund, Antoni (1968), Trigonometric series (2nd ed.), Cambridge University Press (1988発行), ISBN 978-0521358859 .