カーレマンの定理

ウィキペディア小見出し辞書

カーレマンの定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/18 03:04 UTC 版)

「ボレル総和」の記事における「カーレマンの定理」の解説

カーレマンの定理は、扇状領域内における有限次近似の近似誤差が急速に増大しない限り、関数は漸近級数によって一意的に定まることを示す。より正確には以下の通りである。 f が扇状領域 |z| < C、Re(z) > 0 の内部で解析的である。 この領域内においてすべての非負整数 n に対して |f (z)| < |bnz|n が成り立つ。 このとき、逆数和 1/b0 + 1/b1 + … が発散するならば f ≡ 0 が成立する、ということを主張する。 カーレマンの定理は、各項がそれほど急速に増加しないような漸近級数に対する総和法を与え、その和は適切な扇状領域が存在する場合には漸近級数から一意的に定まる関数の値として求められる。ボレル総和法はカーレマンの定理において bn = cn（c はある定数）としたものより弱い。より一般的には、数列 bn を bn = c′n log n log log n（c′ はある定数）などとすることにより、ボレル総和法よりもわずかに強い総和法を定義できる。しかし、この方法が適用できるようなボレル総和できない自然な例がほとんど無いため、この一般化はあまり有用ではない。