1 半無限積分の定義
1.1 無限端を含む積分の形式
1.1.1 上限が無限の積分（\(\int_a^\infty\)）
半無限積分 \(\int_a^\infty f(x)\,dx\) は、有限区間 \([a,t]\) 上の積分 \( \int_a^t f(x)\,dx \) を無限へ延ばす操作として定義される。具体的には、端点 \(t\) を \(t\to\infty\) として極限を取り、その極限が有限の実数または（必要なら）複素数として存在する場合に「収束」と呼ぶ。極限が無限大へ発散する、または極限自体が存在しない（発散振動など）ときは「発散」である。
1.1.2 下限が無限の積分（\(\int_{-\infty}^b\)）
\(\int_{-\infty}^b f(x)\,dx\) は同様に、有限区間 \([s,b]\) の積分 \(\int_s^b f(x)\,dx\) を \(s\to-\infty\) として極限することで定義する。上側が無限の場合と対称的だが、被積分関数の減衰の方向（\(x\to-\infty\) 側の挙動）が収束性を支配する点が異なる。したがって、左端側の指数減衰や冪減衰、振動の有無を別途確認する。
1.1.3 両端が無限の可能性と扱いの違い
両側が無限の積分 \(\int_{-\infty}^{\infty} f(x)\,dx\) は、半無限積分2つの差ではなく、通常は左右を別々に極限して定義する。すなわち \(\int_{-\infty}^{c} f(x)\,dx\) と \(\int_{c}^{\infty} f(x)\,dx\) をそれぞれ評価し、両者が適切に収束して合成できるかを検討する。境界点 \(c\) の選び方によって途中の発散が相殺されて見える状況（いわゆる条件付きの見かけの問題）を避けるため、標準的には定義そのものが「左右の別々の収束」を要求する。
1.2 収束の定義（極限による定式化）
1.2.1 極限が存在し有限となる場合
\(\int_a^\infty f(x)\,dx\) の収束とは、有限端 \(t\) を導入して \[ \lim_{t\to\infty}\int_a^t f(x)\,dx \] が有限の値に収束することを指す。ここで「有限」とは、実数としてもしくは解析学の文脈に合わせて適切な体において有界であることを意味する。収束が成立すれば、テール側（大きい \(x\) 領域）で積分寄与が十分小さくなるという定性的解釈が可能となる。
1.2.2 発散となる場合（無限大・発散振動）
発散には大きく分けて二系統がある。第一に \(\int_a^t f(x)\,dx\) が \(t\to\infty\) で無限大または負の無限大へ向かうケースである。第二に、値が振動しつつ極限を持たないケースで、たとえば区間を延ばすたびに部分和が一定の振幅で上下し続けるような状況が典型である。この場合、収束判定には絶対値や比較による精密な確認が必要になる。
1.3 初等的な例と直感
1.3.1 増大する関数での典型
被積分関数が減衰せず、むしろ大きくなる場合、積分はしばしば発散する。たとえば正の単調増加が続くなら、面積の蓄積が抑えられないため、極限は有限になりにくい。増大がゆるやかでも、十分に長い距離にわたって積分寄与が残るなら収束は成立しないことが多い。
1.3.2 減衰する関数での典型
減衰する関数では収束と発散が分岐する。単純な比例型 \(f(x)\approx x^{-p}\) の場合、減衰指数 \(p\) によって結果が変わる。減衰が速いほど尾部寄与が小さくなり、面積の総量が有限に収まりやすい。一方で減衰が遅いと尾部の面積が無限に積み上がってしまう。したがって「減衰の強さ」を測る観点が不可欠になる。
2 収束判定の基本原理
2.1 比較判定
2.1.1 関数の優劣による収束・発散
比較判定では、対象の関数 \(f(x)\) と、収束あるいは発散が既知の関数 \(g(x)\) を、十分大きい \(x\) 領域で大小関係により結びつける。たとえば \(0\le f(x)\le g(x)\) が大きな \(x\) で成り立ち、\(\int_a^\infty g(x)\,dx\) が収束なら \(\int_a^\infty f(x)\,dx\) も収束する。逆に \(0\le g(x)\le f(x)\) で \(\int_a^\infty g(x)\,dx\) が発散なら、対象も発散と結論できる。これにより難しい関数を、扱いやすい関数へ押し下げたり引き上げたりして判断する。
2.1.1.1 正の関数に対する比較
比較判定が最も直接的に働くのは \(f(x)\ge 0\) の場合である。符号が一定なら、積分の蓄積が一方方向に進むため、大小関係がそのまま積分値の優劣に反映される。負や正が交互に出る場合は、相殺によって直感が崩れることがあり、絶対値に基づく判断や条件付き収束の区別が必要になる。
2.1.1.2 絶対値を用いた比較
| 符号が定まらないとき、\( | f(x) | \) を用いることで「総量」を評価できる。もし \(\int_a^\infty | f(x) | \,dx\) が収束すれば、対象積分は確実に収束する（絶対収束）。比較判定も同様に、\( | f(x) | \) と既知関数の大小関係を用いて処理することで、符号に関する曖昧さを取り除く。 |
|---|
2.2 極限比較判定
2.2.1 支配項の同定
極限比較判定は、比の極限が有限で正の値に近づく場合に有効である。具体的には \(f(x), g(x)\ge 0\) として \[ \lim_{x\to\infty}\frac{f(x)}{g(x)} = c \] が \(0<c<\infty\) を満たすなら、両者の収束性は同じになる。これは、ある範囲以降で \(f\) と \(g\) が比例関係に入り、主要な寄与を担う項が対応するという考えに基づく。多項式、冪、指数型などでは「支配項」を特定することで判断が容易になる。
2.3 導関数・増減を利用した判定（補助的手法）
2.3.1 単調性と評価区間の取り方
増減の性質を利用する方法では、被積分関数が十分大きい領域で単調になっていることが鍵になる。単調性があれば、積分を区間ごとの上限・下限で挟み込む設計がしやすい。例えば階段状に区間を切り、各段での面積の見積もりを行って収束性を評価する手法が使える。極限比較と同様に「どの項が尾部で支配するか」を、単調な形に整えて抽出するための補助として働く。
3 絶対収束と条件付き収束
3.1 絶対収束の概念
3.1.1 \(\int_a^\infty |f(x)|\,dx\) の扱い
| 絶対収束とは \(\int_a^\infty | f(x) | \,dx\) が収束することを意味する。符号反転があっても、絶対値でみた場合の総蓄積が有限なら、元の積分の収束は保証される。実務上は、振動する関数の評価で「相殺に頼らない」判定を得る目的で、絶対値の比較が中心になる。逆に絶対収束しない場合でも条件付き収束が起こりうるため、結果の読み取りには注意が要る。 |
|---|
3.2 条件付き収束の典型パターン
| 条件付き収束とは、\(\int_a^\infty f(x)\,dx\) は収束するが \(\int_a^\infty | f(x) | \,dx\) は発散する状況を指す。これは、正負の寄与が尾部で部分的に相殺される一方、絶対値としては総量が無限になるという矛盾した見かけを生む。数学的には極限の存在が成立しているため収束は「定義上」確かだが、大小評価を絶対値で取ると失敗する点が特徴である。 |
|---|
3.3 交番的な場合の直観
3.3.1 簡単な交番関数の例
交番的な関数、つまり符号が周期的に変わるタイプは、条件付き収束の理解に適している。振幅が減衰するが、減衰が絶対値では足りない場合、積分は正負の交互寄与の差として有限に落ち着くことがある。直感的には「振動の周期に対して減衰がどれほど進むか」がポイントになる。減衰が弱すぎると相殺が追いつかず発散に転じ、強すぎると絶対収束へ移行する。
4 代表的な積分評価と計算技法
4.1 既知の積分への帰着
4.1.1 級数展開・既知公式の利用（概要）
無限端を含む積分でも、適切な範囲で関数を既知の形へ近づけることで評価できる。たとえば分母や指数関数に対して展開を行い、積分可能な既知の項の線形結合へ帰着させる方針がある。収束性の交換（展開と積分の順序）には通常、支配収束のような正当化が求められる。したがって計算は形式的に見えても、実際には収束の根拠が必要になる。
4.2 置換による変形
4.2.1 無限端の構造を保った置換
置換は無限端の処理に適した設計が必要である。たとえば \(x\) が大きい領域を、変数変換により別の無限領域へ写すことで、上限が無限のまま評価できる形に直す。目的は、被積分関数の減衰や特異性を扱いやすい形へ整形することにある。ヤコビアン（微分の変換）を正しく反映し、尾部の寄与が変わらない範囲で計算可能性を高める。
4.2.2 有限端の特異挙動を扱う置換
無限端でなく有限端に近い点で特異性がある場合でも、置換によってその性質を分類しやすくできる。例えば特異点近傍で冪型に変わるなら、既知の積分可能性（冪の積分が収束する条件）へ帰着する。半無限積分では、無限側の収束と有限側の発散（または可積性）を分離して検討できるため、置換は両者のどちらを評価しているのかを明確にする補助となる。
4.3 部分積分による評価
4.3.1 収束を保つための条件
部分積分は積分評価を簡潔にする一方、境界項の挙動が収束性に直結する。半無限積分では特に、上限 \(t\to\infty\) の極限で境界項が消えるかどうかを確認しなければならない。通常は、被積分関数と導関数の組み合わせが十分に減衰すること、あるいは積が有界であることが条件になる。そうでないと、計算上は形式的に正しくても実際の極限が未成立になりうる。
4.3.2 導関数側で減衰を引き出す考え方
部分積分では、片方を微分し、もう片方を積分する。適切な選択によって、微分した側が減衰を強める（または振動を弱める）効果を得ることで、尾部の評価が改善される。特に指数減衰や増大因子を含む場合、積分した側に残る振る舞いを抑えるように設計すると有効である。結果として、無限端での境界項の消滅や残差の収束を示しやすくなる。
4.4 ガンマ関数・関連関数との関係
4.4.1 \(\int_0^\infty x^{s-1}e^{-x}\,dx\) 型
ガンマ関数は \[ \Gamma(s)=\int_0^\infty x^{s-1}e^{-x}\,dx \] で定義される代表例であり、指数減衰と冪の積の組み合わせが、そのまま半無限積分の典型形として現れる。ここでは \(x^{s-1}\) が原点側の可積性を、\(e^{-x}\) が無限側の減衰を担う。従って、指数の形に近い被積分関数は置換や定数倍でガンマ関数へ対応づけられることが多い。
4.4.2 分類される積分の整理
ガンマ関数の周辺には、ベータ関数、相対する指数積分、誤差関数など、多様な関連積分がある。これらはしばしば同種の減衰（指数や冪）や冪の因子を持つため、形式的に分類して使い分けられる。評価の戦略としては、まず被積分関数の主要な減衰型を同定し、次に適切な置換で標準形へ写し、最後にパラメータ範囲による収束条件を付記する流れになる。
5 実用上の注意点
5.1 特異点を含む場合との区別
5.1.1 有限端での不連続・発散との協調
半無限積分では「無限端の可積性」と「有限端の特異挙動」が別問題として現れる。有限端 \(a\) 付近で関数が発散する場合、積分は分解して各部分の収束性を別々に確認する必要がある。たとえば \(a\) 近傍と無限側での条件が衝突すると、全体として発散になることがあるため、評価対象がどの端の性質に支配されているかを切り分けることが重要である。
5.2 積分の分割による再整理
5.2.1 \([a,b]\) と \([b,\infty)\) の分割
実務では、任意の中間点 \(b>a\) を選び、積分を \[ \int_a^\infty f(x)\,dx=\int_a^b f(x)\,dx+\int_b^\infty f(x)\,dx \] のように分割する。前半 \([a,b]\) は通常、連続性や局所可積性が確保されれば有限値になる。後半は半無限積分として収束判定の対象となるため、判断の焦点が明確になる。さらに \(b\) を動かしても後半の性質が支配項として同じであれば、結論は安定する。
5.3 数値計算・近似の考え方（概要）
5.3.1 テールの見積もり
数値計算では無限区間をそのまま扱えないため、有限打ち切りに伴う誤差（テール）を評価する必要がある。たとえば \(b\) 以降の寄与を上から押さえる比較を用い、残差が許容誤差以下になるよう \(b\) を選ぶ。収束判定が先に得られていれば、尾部の減衰速度に基づく見積もりが設計しやすくなる。
5.3.2 収束判定を先に行う重要性
近似計算の前に収束性を確認するのは、結果の信頼性を確保するためである。発散する場合、有限範囲の値は打ち切り点に強く依存し、近似の意味が崩れる。収束が分かっていれば、テールの減衰が体系的に期待できるため、計算コストと精度の調整が可能になる。よって理論的な判定は数値手法の前処理として実用価値が高い。