解析学におけるチェザロ総和法(チェザロそうわほう、英語: Cesaro summation)とは無限級数に「和」と呼ばれる値を結びつける総和法の一種である。無限級数が通常の意味で収束して値 A を持つならば、その級数はチェザロの意味でも総和可能であり、同じ A をチェザロ和として持つ。チェザロ和の重要性は、収束しない級数のなかにもチェザロ和が矛盾なく定義できるものがありうるという点にある。ただし、たとえば無限大に収束する正項級数などはいかなる場合も有限の値の和を持つことはない。
名称は19世紀のイタリアの数学者アーネスト・チェザロに因む。 数列 {an} の第 k-部分和を s k = a 1 + ⋯ + a k = ∑ i = 1 k a i {\displaystyle s_{k}=a_{1}+\cdots +a_{k}=\sum _{i=1}^{k}a_{i}} とする。ここで、極限 A := lim n → ∞ s 1 + ⋯ + s n n = lim n → ∞ 1 n ∑ i = 1 n s i {\displaystyle 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}} が有限確定であるとき、数列 {an} はチェザロ総和可能あるいはチェザロの意味で総和可能であるといい、極限の値 A を数列 {an} あるいは級数 ∑ an のチェザロ和あるいはチェザロの意味での和という。 n ≥ 1 に対して an = (−1)n+1 とする。つまり {an} は 1 , − 1 , 1 , − 1 , … {\displaystyle 1,-1,1,-1,\ldots } のような数列である。このとき、その部分和の列 (sn) は、 1 , 0 , 1 , 0 , … {\displaystyle 1,0,1,0,\ldots } で与えられ、その和は(グランディ級数 (en のようになり、極限では lim n → ∞ s 1 + ⋯ + s n n = 1 / 2 {\displaystyle \lim _{n\to \infty }{\frac {s_{1}+\cdots +s_{n}}{n}}=1/2} が成立する。ゆえに、数列 {an} のチェザロ和は 1/2 である。 1890年、アーネスト・チェザロは非負の整数 n に対し (C, n)-総和法あるいはチェザロの n-次総和法などと呼ばれるチェザロ和の一般化について発表した。この枠組みでは (C, 0)-和は通常の意味の和に相当し、(C, 1)-和は上記のチェザロ和に相当する。高次のチェザロ総和法は次のように記述される。 まず、与えられた級数 Σan に対し、Anα を A n − 1 = a n ; A n α = ∑ k = 0 n A k α − 1 {\displaystyle A_{n}^{-1}=a_{n};\quad A_{n}^{\alpha }=\sum _{k=0}^{n}A_{k}^{\alpha -1}} と帰納的に定め、Enαを級数 1 + 0 + 0 + 0 + … に対する Anα となるように定義する。このとき、Σan の (C, α)-和とは、極限 lim n → ∞ A n α E n α {\displaystyle \lim _{n\to \infty }{\frac {A_{n}^{\alpha }}{E_{n}^{\alpha }}}} が存在するとき、その極限をいう (Shawyer & Watson 1994, pp.16-17)。これは上で最初に述べた意味のチェザロ和を α 回繰り返し適用して得られることを表しており、 ( C , α ) − ∑ j = 0 ∞ a j = lim n → ∞ ∑ j = 0 n ( n j ) ( n + α j ) a j {\displaystyle (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}} のように書き直すことができる。もっと一般に、負の整数でない実数 α に対して、 Anα は以下の級数 ∑ n = 0 ∞ A n α x n = ∑ n = 0 ∞ a n x n ( 1 − x ) 1 + α {\displaystyle \sum _{n=0}^{\infty }A_{n}^{\alpha }x^{n}={\frac {\displaystyle {\sum _{n=0}^{\infty }a_{n}x^{n}}}{(1-x)^{1+\alpha }}}}
定義
例
(C, α)-総和法