チェザロ和

解析学におけるチェザロ総和法（チェザロそうわほう、）とは無限級数に「和」と呼ばれる値を結びつける総和法の一種である。無限級数が通常の意味で収束して値 "A" を持つならば、その級数はチェザロの意味でも総和可能であり、同じ "A" をチェザロ和として持つ。チェザロ和の重要性は、収束しない級数のなかにもチェザロ和が矛盾なく定義できるものがありうるという点にある。ただし、たとえば無限大に収束する正項級数などはいかなる場合も有限の値の和を持つことはない。
名称は19世紀のイタリアの数学者アーネスト・チェザロに因む。
定義.
数列 {"a""n"} の第 "k"-部分和を
とする。
ここで、極限
が有限確定であるとき、数列 {"a""n"} はチェザロ総和可能あるいはチェザロの意味で総和可能であるといい、極限の値 "A" を数列 {"a""n"} あるいは級数 ∑ "a""n" のチェザロ和あるいはチェザロの意味での和という。
例.
"n" ≥ 1 に対して "a""n" = (−1)"n"+1 とする。つまり {"a""n"} は
のような数列である。このとき、その部分和の列 ("s""n") は、
で与えられ、その和は（グランディ級数 () として有名なものだが）明らかに収束しない。にもかかわらず、数列 {("s"1 + ... + "s""n")/"n"} の各項は
のようになり、極限では
が成立する。ゆえに、数列 {"a""n"} のチェザロ和は 1/2 である。
(C, α)-総和法.
1890年、アーネスト・チェザロは非負の整数 "n" に対し (C, "n")-総和法あるいはチェザロの "n"-次総和法などと呼ばれるチェザロ和の一般化について発表した。この枠組みでは (C, 0)-和は通常の意味の和に相当し、(C, 1)-和は上記のチェザロ和に相当する。高次のチェザロ総和法は次のように記述される。
まず、与えられた級数 Σ"a""n" に対し、"A""n"α を
と帰納的に定め、"E""n"αを級数 1 + 0 + 0 + 0 + … に対する "A""n"α となるように定義する。このとき、Σ"a""n" の (C, α)-和とは、極限
が存在するとき、その極限をいう 。これは上で最初に述べた意味のチェザロ和を α 回繰り返し適用して得られることを表しており、
のように書き直すことができる。もっと一般に、負の整数でない実数 α に対して、 "A""n"α は以下の級数
の係数として陰伏的に与えられるものとし、"E""n"α は上と同様に定める。特に "E""n"α は冪指数が −(1 + α) であるような二項係数として得られる。このとき、Σ "a""n" の (C, α)-和は上述と同様に商 "A""n"α/"E""n"α として定められる。
級数に (C,α)-和が存在すれば、それより高次のチェザロ和も存在することが言える。また、 α > −1 で (C,α)-和が存在すれば、"a""n" = o("n"α) であることもわかる。
積分のチェザロ総和法.
α > 0 とする。積分 ∫0∞ "f"("x")"dx" が (C, α)-総和可能であるとは
が有限確定であることを言い、この極限の収束値をこの積分の (C, α)-和という 。数列の和の場合と同様に、α = 0 のとき (C,0)-総和可能性とは通常の意味での無限積分の収束性をいうものであり、α = 1 のとき (C,1)-収束とは有限区間での積分の平均の極限
の存在をいうに等しい。
数列の場合と同様に、α ≥ 0 に対して、ある積分が (C, α)-総和可能であれば、β ≥ α なるすべての β についてその積分は (C, β)-総和可能であり、そのチェザロ和はまったく同じ値を持つ。