無限級数の収束発散を見抜く積分判定法!条件と証明まで徹底解説

目次
無限級数の収束発散を見抜く積分判定法!条件と証明まで徹底解説
無限級数の収束発散を見抜く積分判定法!条件と証明まで徹底解説
@ creator • Click to Play Video Inline
🎵 無限級数の収束発散を見抜く積分判定法!条件と証明まで徹底解説

大学数学の微積分で多くの学生がつまずきやすい関門の一つが、無限級数の収束・発散判定です。高校数学の知識だけを頼りに挑むと、和の具体的な形を求められない無限級数を前にペンが止まってしまうケースは少なくありません。

その膠着状態を打破する強力な解法が「積分判定法」です。離散的な数列の足し算を、連続的な関数の面積計算である広義積分へとすり替えるこの手法は、直感的な美しさと実用性を兼ね備えています。前提となる条件のチェック手順から、証明の流れ、試験頻出の具体例題までを整理して解説します。

📌 【この記事の重要ポイントまとめ】
  • 要点1:積分判定法は、正項級数の収束・発散の合否を対応する関数の広義積分の計算へと置き換えて判定する強力な定理です。
  • 要点2:適用には「連続」「正値($f(x) \ge 0$)」「単調減少」という3つの前提条件を満たしているか事前の確認が必須となります。
  • 要点3:ダランベールの比判定法などが通用しない「p級数」や対数を含む級数に対して決定打となる威力を発揮します。

【基礎理解】無限級数の収束・発散を見抜く「積分判定法」とは?広義積分との関係性

積分判定法は、歴史的にはマクローリン・コーシーの積分判定法とも呼ばれ、解析学において極めて重要な位置を占める定理です。一言で言えば、「無限級数 $\sum_{n=1}^{\infty} a_n$ の収束・発散は、対応する関数 $f(x)$ の広義積分 $\int_{1}^{\infty} f(x) \, dx$ の収束・発散と完全に一致する」という性質を利用します。

高校までの微積分では、級数の和を求めるために「部分和 $S_n$ を求めてから $n \to \infty$ の極限をとる」という手順が基本でした。しかし、大学数学の微積分で扱う級数の多くは、そもそも部分和を初等的な式で表すことすらできません。

そこで発想を転換します。「級数の具体的な和そのもの」を求めるのではなく、「有限の値に収束するか、無限大に発散するか」という合否判定だけに的を絞るのです。離散的な長方形の面積の寄せ集めである数列の和を、なめらかな曲線下の面積である広義積分で挟み込むことで、積分の計算結果から級数の挙動を正確に言い当てることができます。

【必須チェック】積分判定法の条件|単調減少関数など見落とし厳禁の3大ルール

積分判定法は非常に強力ですが、どんな関数にも無条件で適用できるわけではありません。答案用紙でこれを怠ると即座に減点対象となる3つの必須前提条件が存在します。数列 $a_n$ に対して $f(n) = a_n$ となる連続関数 $f(x)$ を考えたとき、調べる区間 $[1, \infty)$ において以下のすべてを満たす必要があります。

第1に、区間 $[1, \infty)$ で連続であることです。途中で関数値が定義できない特異点や不連続点が存在する場合、そもそも通常の広義積分をそのまま計算することができません。

第2に、すべての $x \ge 1$ で $f(x) \ge 0$(正値・非負)であることです。値がプラスとマイナスを行き来するような級数には使えません。正項級数であることが大前提となります。

第3に、最も忘れられやすく重要なのが、関数が単調減少であること($x_1 < x_2 \implies f(x_1) \ge f(x_2)$)です。多くの場合は導関数を計算し、$f'(x) \le 0$ を示すことで確認します。もし関数が増減を繰り返したり振動したりしていると、曲線と長方形の面積の大小関係が崩れてしまうため、判定法が完全に破綻します。

プラスとマイナスが交互に現れる交代級数の場合は、この手法ではなく交代級数の判定法(ライプニッツの判定法)を選択するのが定石です。

【視覚的に納得】積分判定法の証明|なぜ級数と積分の合否が一致するのか

なぜ広義積分の計算だけで級数の運命が決まるのか、その証明の骨組みは図形的な面積比較によって驚くほどシンプルに理解できます。

$f(x)$ が $x \ge 1$ で正値かつ単調減少であるとき、各区間 $[k, k+1]$($k$ は自然数)における関数のグラフを思い浮かべてみてください。幅 1 の区間において、左端の高さ $f(k)$ を持つ外側の長方形と、右端の高さ $f(k+1)$ を持つ内側の長方形を作ると、その間に曲線下の面積がすっぽりと挟まれます。

数式で表すと、以下の不等式がすべての自然数 $k$ で成り立ちます。

$$f(k+1) \le \int_{k}^{k+1} f(x) \, dx \le f(k)$$

この不等式を $k = 1$ から $k = n-1$ まで足し上げると、次のような連立不等式が得られます。

$$\sum_{k=2}^{n} f(k) \le \int_{1}^{n} f(x) \, dx \le \sum_{k=1}^{n-1} f(k)$$

ここで $n \to \infty$ の極限を考えます。もし広義積分 $\int_{1}^{\infty} f(x) \, dx$ が有限値 $I$ に収束するならば、部分和 $\sum_{k=2}^{n} a_k$ は $I$ 以下に抑えられます。正項級数の部分和は単調増加数列であるため、「上に有界な単調増加数列は収束する」という実数の完備性(基本性質)により、元の級数の収束が確定します。

逆に、広義積分が $\infty$ に発散する場合、右側の不等式から部分和 $\sum_{k=1}^{n-1} a_k$ もまた上から押さえが効かなくなり、$\infty$ へと発散せざるを得ません。面積の上下関係で挟み込むこの明快なロジックこそが、積分判定法の証明の真髄です。

【実践演習】積分判定法の例題と解き方|p級数の収束判定から対数型まで

具体的な問題を通じて、答案の組み立て方を確認してみましょう。最も代表的なのが、大学入試や定期試験で頻出するp級数の収束判定です。

【例題1:p級数】
次の無限級数の収束・発散を判定せよ。
$$\sum_{n=1}^{\infty} \frac{1}{n^p} \quad (p > 0)$$

【解法手順】
関数 $f(x) = \frac{1}{x^p} = x^{-p}$ を考えます。$x \ge 1$ において、$f(x) > 0$ かつ連続です。
また、$f'(x) = -p x^{-p-1} < 0$ であるため、$x \ge 1$ で単調減少関数である条件も満たされています。これにより積分判定法の適用が認められます。

広義積分を計算します。
(i) $p \ne 1$ のとき:
$$\int_{1}^{\infty} x^{-p} \, dx = \lim_{M \to \infty} \left[ \frac{x^{-p+1}}{-p+1} \right]_{1}^{M} = \lim_{M \to \infty} \frac{M^{1-p} - 1}{1-p}$$
$p > 1$ ならば $1-p < 0$ となるため $M^{1-p} \to 0$ となり、積分値は $\frac{1}{p-1}$ に収束します。
$0 < p < 1$ ならば $1-p > 0$ となるため $M^{1-p} \to \infty$ となり、発散します。

(ii) $p = 1$(調和級数)のとき:
$$\int_{1}^{\infty} \frac{1}{x} \, dx = \lim_{M \to \infty} [\ln x]_{1}^{M} = \lim_{M \to \infty} \ln M = \infty$$
となり、発散します。

以上の結果から、p級数は「$p > 1$ のとき収束し、$p \le 1$ のとき発散する」という明確な結論が導かれます。特に $p=1$ の調和級数がなぜ発散するのか、積分の対数発散と結びつけることで迷いなく理解できます。

【例題2:対数関数が絡む級数】
$$\sum_{n=2}^{\infty} \frac{1}{n \ln n}$$

この級数は後述する他の判定法がことごとく役に立たない難問ですが、積分判定法なら一撃で解決します。$f(x) = \frac{1}{x \ln x}$ は $x \ge 2$ で正値・連続・単調減少です。置換積分($t = \ln x, dt = \frac{1}{x}dx$)を用いると、

$$\int_{2}^{\infty} \frac{1}{x \ln x} \, dx = \int_{\ln 2}^{\infty} \frac{1}{t} \, dt = \lim_{M \to \infty} [\ln t]_{\ln 2}^{M} = \infty$$

積分が発散するため、元の無限級数も発散すると即座に判定できます。

【使い分けの極意】ダランベール・コーシーの判定法との比較と選択基準

大学の微積分試験で高得点を取るためには、数ある判定法の中から「どの場面で積分判定法を抜くべきか」という戦術眼が欠かせません。

級数の収束判定において真っ先に検討されるのは、計算が最も手軽なダランベールの判定法(比判定法:$\lim |a_{n+1}/a_n|$)や、べき乗に強いコーシーの判定法(べき根判定法:$\lim \sqrt[n]{|a_n|}$)です。階乗 $n!$ や指数関数 $a^n$ を含む級数であれば、これらの判定法を使えば瞬時に白黒がつきます。

しかし、ダランベールやコーシーの手法には致命的な弱点があります。それは、極限値が 1 になった場合に「判定不能」に陥るという点です。前述した p級数 $\frac{1}{n^p}$ や、対数を含む $\frac{1}{n \ln n}$ は、比をとっても極限がすべて 1 に収束してしまい、手も足も出ません。

多項式や対数関数で構成されており、「ダランベールが使えず、かつ関数として容易に不定積分が計算できる形」に出くわしたときこそが、積分判定法の独壇場です。この使い分けの基準を頭に叩き込んでおくだけで、試験中の無駄な試行錯誤を劇的に減らすことができます。

【積分判定法】に関するよくある質問(FAQ)

Q1:積分のスタート地点は必ず 1 でなければいけないのでしょうか?
A1:いいえ、1 から始める必要はありません。級数の収束・発散という性質は、有限個の項を足したり引いたりしても変化しないためです。たとえば $\frac{1}{n \ln n}$ のように $n=1$ で分母がゼロになる場合は、$n=2$ やそれ以降の自然数 $N$ を下端として $\int_{N}^{\infty} f(x) \, dx$ を計算すれば全く問題ありません。

Q2:広義積分の計算値は、無限級数の和の値とイコールになりますか?
A2:原則として一致しません。積分判定法が保証するのは「収束するか発散するかという合否の一致」のみです。証明の不等式からも明らかなように、積分値は級数の和の上界や下界を与える目安にはなりますが、正確な和そのものを表すわけではない点に注意してください。

Q3:単調減少性の証明は、答案にどこまで詳しく書くべきですか?
A3:採点基準によりますが、記述試験では「$f'(x) \le 0$ であること」を明記するのが安全です。明らかに減少することが自明な簡単な分数式であっても、「$x \ge 1$ において $f(x)$ は正値かつ連続で、単調減少である」という一文を添えなければ、前提条件の確認不足として減点されるリスクがあります。

まとめ:前提条件のクリアが判定成功の鍵

積分判定法は、一見すると扱いづらい離散的な無限級数を、微分積分の親しみやすい土俵へと引きずり込んで攻略できる極めて合理的なツールです。

成功の鍵を握るのは、公式の暗記ではなく「連続性・正値性・単調減少性」という3つのパスポートを丁寧に確認する姿勢です。ダランベールの判定法と上手に使い分けながら、広義積分の計算力を磨いておくことで、大学微積分の難所を確実に突破できるようになります。 (出典: 積分 判定 法(Yahoo!ニュース))

積分 判定 法
積分 判定 法
積分 判定 法