積分判定法

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

数学において、積分判定法（せきぶんはんていほう、英: integral test for convergence）は非負項無限級数の収束性を判定する方法の一つである。コリン・マクローリンとオーギュスタン＝ルイ・コーシーによって発展させられたことから、マクローリン・コーシーの判定法の呼称でも知られている。

判定方法[編集]

整数 N と、非有界区間 [N, ∞) で定義された単調非増加な実数値関数 f を考える。このとき無限級数

${\displaystyle \sum _{n=N}^{\infty }f(n)}$

がある実数へ収束するための必要十分条件は、広義積分

${\displaystyle \int _{N}^{\infty }f(x)\,dx}$

が有限値であることである。言い換えると、積分が発散するとき級数もまた発散する。

注意[編集]

広義積分が有限値のとき、次節の証明からは級数の収束値の上界・下界をも得ることができる。

${\displaystyle \int _{N}^{\infty }f(x)\,dx\leq \sum _{n=N}^{\infty }f(n)\leq f(N)+\int _{N}^{\infty }f(x)\,dx}$

(1)

証明[編集]

証明は基本的に比較判定法を用いる。区間[n − 1, n) と [n, n + 1) のそれぞれで、f の積分値と項 f(n) を比較する。

f は単調非増加関数だから、

${\displaystyle f(x)\leq f(n)\quad {\text{for all }}x\in [n,\infty )}$

であり、また

${\displaystyle f(n)\leq f(x)\quad {\text{for all }}x\in [N,n]}$

である。よって任意の整数 n ≥ N に対し

${\displaystyle \int _{n}^{n+1}f(x)\,dx\leq \int _{n}^{n+1}f(n)\,dx=f(n)}$

(2)

であり、任意の整数 n ≥ N + 1 に対し

${\displaystyle f(n)=\int _{n-1}^{n}f(n)\,dx\leq \int _{n-1}^{n}f(x)\,dx}$

(3)

である。

N からある大きな整数 M までの全ての n にわたる和をとることで、(2) から

${\displaystyle \int _{N}^{M+1}f(x)\,dx=\sum _{n=N}^{M}\underbrace {\int _{n}^{n+1}f(x)\,dx} _{\leq \,f(n)}\leq \sum _{n=N}^{M}f(n)}$

が得られ、(3) から

${\displaystyle \sum _{n=N}^{M}f(n)\leq f(N)+\sum _{n=N+1}^{M}\underbrace {\int _{n-1}^{n}f(x)\,dx} _{\geq \,f(n)}=f(N)+\int _{N}^{M}f(x)\,dx}$

が得られる。これら2つの評価式を合わせると

${\displaystyle \int _{N}^{M+1}f(x)\,dx\leq \sum _{n=N}^{M}f(n)\leq f(N)+\int _{N}^{M}f(x)\,dx}$

M を無限大に飛ばすことで評価式 (1) が得られ、かつ収束の必要十分性が示される。

適用例[編集]

調和級数

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}}$

は発散する。なぜなら、自然対数とその不定積分、微分積分学の基本定理を用いることで

${\displaystyle \int _{1}^{M}{\frac {1}{x}}\,dx=\ln x{\Bigr |}_{1}^{M}=\ln M\to \infty \quad {\text{for }}M\to \infty }$

であることが分かるからである。

これとは反対に、級数

${\displaystyle \zeta (1+\varepsilon )=\sum _{n=1}^{\infty }{\frac {1}{n^{1+\varepsilon }}}}$

（リーマンゼータ関数を参照） は任意の ε > 0 に対して収束する。なぜなら

${\displaystyle \int _{1}^{M}{\frac {1}{x^{1+\varepsilon }}}\,dx=-{\frac {1}{\varepsilon x^{\varepsilon }}}{\biggr |}_{1}^{M}={\frac {1}{\varepsilon }}{\Bigl (}1-{\frac {1}{M^{\varepsilon }}}{\Bigr )}\leq {\frac {1}{\varepsilon }}<\infty \quad {\text{for all }}M\geq 1}$

であり、(1) によって上から

${\displaystyle \zeta (1+\varepsilon )=\sum _{n=1}^{\infty }{\frac {1}{n^{1+\varepsilon }}}\leq {\frac {1+\varepsilon }{\varepsilon }}}$

と評価できるからである。この結果はリーマンゼータ関数のいくつかの特定の値と比較してみることができる。

発散と収束の境界線[編集]

調和級数に関する上記の例から、単調減少列 f(n) であって、

${\displaystyle \lim _{n\to \infty }{\frac {f(n)}{1/n}}=0\quad {\text{and}}\quad \lim _{n\to \infty }{\frac {f(n)}{1/n^{1+\varepsilon }}}=\infty }$

という意味で

• 1/n よりも速く 0 に収束するが、
• 任意の ε > 0 に対して 1/n^1+ε よりは遅く 0 に収束し、
• 対応する級数はなおも発散する

ようなものは存在するかという問題が持ち上がる。もしそのような級数が見つかれば、1/n を f(n) に取り換えて同じことを問うことができ、以下同様の議論が続けられる。このようにして級数の発散と収束の境界線を探究することができる。

具体的には、全ての自然数 k に対して級数

${\displaystyle \sum _{n=N_{k}}^{\infty }{\frac {1}{n\ln(n)\ln _{2}(n)\cdots \ln _{k-1}(n)\ln _{k}(n)}}}$

(4)

は発散する^[1]一方、

${\displaystyle \sum _{n=N_{k}}^{\infty }{\frac {1}{n\ln(n)\ln _{2}(n)\cdots \ln _{k-1}(n)(\ln _{k}(n))^{1+\varepsilon }}}}$

(5)

は全ての ε > 0 に対し収束することが示せる（証明は後述）。ここで ln_k は自然対数の k-重の合成を表し、再帰的に

${\displaystyle \ln _{k}(x)={\begin{cases}\ln(x)&{\text{for }}k=1,\\\ln(\ln _{k-1}(x))&{\text{for }}k\geq 2.\end{cases}}}$

と定義される。また N_k は、ln_k(N_k) ≥ 1 の左辺が well-defined で、かつこの不等式を満たす、つまり

${\displaystyle N_{k}\geq \underbrace {e^{e^{\cdot ^{\cdot ^{e}}}}} _{k\ e'{\text{s}}}=e\uparrow \uparrow k}$

となる最小の自然数を表す。ここで矢印記法はテトレーションである（クヌースの矢印表記の一種）。

級数 (4) が発散することを証明する。連鎖律を繰り返し適用して、

${\displaystyle {\frac {d}{dx}}\ln _{k+1}(x)={\frac {d}{dx}}\ln(\ln _{k}(x))={\frac {1}{\ln _{k}(x)}}{\frac {d}{dx}}\ln _{k}(x)=\cdots ={\frac {1}{x\ln(x)\cdots \ln _{k}(x)}}}$

だから

${\displaystyle \int _{N_{k}}^{\infty }{\frac {dx}{x\ln(x)\cdots \ln _{k}(x)}}=\ln _{k+1}(x){\bigr |}_{N_{k}}^{\infty }=\infty .}$

となり、積分判定法を用いれば発散することが分かる。

級数 (5) が収束することを証明する。連鎖律および上記の結果により

${\displaystyle -{\frac {d}{dx}}{\frac {1}{\varepsilon (\ln _{k}(x))^{\varepsilon }}}={\frac {1}{(\ln _{k}(x))^{1+\varepsilon }}}{\frac {d}{dx}}\ln _{k}(x)=\cdots ={\frac {1}{x\ln(x)\cdots \ln _{k-1}(x)(\ln _{k}(x))^{1+\varepsilon }}}}$

だから

${\displaystyle \int _{N_{k}}^{\infty }{\frac {dx}{x\ln(x)\cdots \ln _{k-1}(x)(\ln _{k}(x))^{1+\varepsilon }}}=-{\frac {1}{\varepsilon (\ln _{k}(x))^{\varepsilon }}}{\biggr |}_{N_{k}}^{\infty }<\infty }$

となり、(1) から級数 (5) は上に有界であることが分かる。

有限和の場合[編集]

有限和の場合にも同様の議論で和を積分で近似することができる。つまり、自然数 M<N と区間 [M,N ]で定義された単調(単調増加でもよい)なRiemann可積分関数 f に対して

${\displaystyle \min\{f(M),f(N)\}\leq \sum _{n=M}^{N}f(n)-\int _{M}^{N}f(x)dx\leq \max\{f(M),f(N)\}}$

が成立する。

関連項目[編集]

• 収束判定法（英語版）
• 収束級数
• 比較判定法
• 優収束定理
• オイラーの和公式
• 極限比較判定法（英語版）
• 単調収束定理

注記[編集]

1. ^ k = 1 のときの結果は、素数の逆数和が発散することの証明とも関係がある。素数の逆数和の発散（英語版）を参照。

参考文献[編集]

• Knopp, Konrad, "Infinite Sequences and Series", Dover Publications, Inc., New York, 1956. (§ 3.3) ISBN 0-486-60153-6
• Whittaker, E. T., and Watson, G. N., A Course in Modern Analysis, fourth edition, Cambridge University Press, 1963. (§ 4.43) ISBN 0-521-58807-3
• Ferreira, Jaime Campos, Ed Calouste Gulbenkian, 1987, ISBN 972-31-0179-3

この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。

• 表示
• 編集