技術(非IT系)

極限の積分交換は?計算順序と条件も解説!(積分記号下の微分・一様収束・ルベーグ積分・フビニの定理)

当サイトでは記事内に広告を含みます

数学において、「極限と積分の順序を交換できるか」という問いは、解析学の核心的なテーマのひとつです。

特に、積分の中に含まれるパラメータに関する極限操作との交換や、積分と微分の順序交換は、一様収束・ルベーグ積分・フビニの定理といった高度な概念と密接に関わっています。

本記事では、積分と極限の交換が許される条件と、その根底にある理論を丁寧に解説します。

大学数学・大学院レベルの内容も含まれますが、できる限りわかりやすく解説しますので、ぜひ最後までご覧ください。

積分と極限の交換の基本(結論)

それではまず、積分と極限の交換が成立するための基本的な条件について解説していきます。

積分と極限の交換、すなわち

積分と極限の交換

lim(n→∞) ∫fₙ(x)dx = ∫ lim(n→∞) fₙ(x) dx

が成立するための十分条件として以下が挙げられます。

①fₙ(x)がf(x)に一様収束する場合(一様収束定理)

②優関数g(x)(可積分)が存在してすべての|fₙ(x)| ≤ g(x)が成立する場合(ルベーグの優収束定理)

単純に「各点で収束する(各点収束)」だけでは、積分と極限の交換は保証されません。

この「交換できるか否か」の問いは、解析学の歴史においても長年にわたって研究されてきた深い問題です。

一様収束とは何か

各点収束は「各xに対して fₙ(x)→f(x)」という条件ですが、収束の速さがxによって異なる場合があります。

一様収束とは、「すべてのxに対して一斉に・同じ速さで」fₙがfに収束する状態のことです。

厳密には「任意のε>0に対してNが存在し、n>NならすべてのxでΙfₙ(x)-f(x)Ι<εが成立する」と定義されます。

一様収束の場合、積分と極限の交換・連続性の保存・微分の交換などが保証されます。

各点収束と一様収束の違い

各点収束と一様収束の違いを示す典型的な例として、fₙ(x)=xⁿ(0≤x≤1)があります。

各点収束の極限関数はf(x)=0(0≤x<1)、f(1)=1となりますが、xが1に近いほど収束が遅くなります。

この場合は一様収束ではなく、∫₀¹ fₙ(x)dx=1/(n+1)→0は∫₀¹ f(x)dx=0と一致しますが、f自体は不連続になっています。

このような例を通じて、「交換が許される条件」の重要性が実感できるでしょう。

積分記号下の微分(パラメータ微分)

積分記号下の微分(Leibnizの積分法則)とは、パラメータtを含む積分 F(t)=∫f(x,t)dx を tで微分する際に

Leibnizの積分法則

F'(t) = d/dt ∫f(x,t)dx = ∫ ∂f/∂t (x,t) dx

(∂f/∂tが存在し、一様収束などの条件下で)

この交換が許されるとき、積分の計算が大幅に簡略化されることがあります。

物理・工学では、この手法は「Feynmanの積分法」としても知られており、難解な定積分を鮮やかに解く技法として有名です。

ルベーグ積分と優収束定理

続いては、より高度な積分理論であるルベーグ積分と優収束定理について確認していきます。

リーマン積分とルベーグ積分の違い

高校・学部初年次で学ぶリーマン積分は、「区間を細かく分割してその幅と高さの積の和の極限」として定積分を定義します。

しかしリーマン積分では、関数が激しく不連続である場合や、関数列の極限との交換が難しい場合に限界があります。

ルベーグ積分は、「定義域を値の範囲(高さ)の方から分割する」という新しい視点で積分を再定義し、より広いクラスの関数を扱えるようにした理論です。

ルベーグ積分の枠組みでは、積分と極限の交換に関する強力な定理が成立します。

優収束定理(ルベーグの収束定理)

優収束定理とは、可積分な優関数g(x)が存在して|fₙ(x)| ≤ g(x)が成立し、fₙ(x)→f(x)(各点収束)であるとき、lim ∫fₙdx = ∫fdxが成立するという定理です。

この定理は一様収束よりも弱い条件(各点収束+優関数の存在)で積分と極限の交換を保証するため、非常に応用範囲が広い定理です。

統計学・確率論・物理数学など、現代数学の多くの分野でこの定理が活躍しています。

単調収束定理との違い

単調収束定理は、「fₙ(x)が単調増加して f(x)に収束するとき、∫fₙdx → ∫fdx が成立する」という定理です。

非負関数の場合に適用でき、優関数の存在を仮定しない点が優収束定理との違いです。

優収束定理と単調収束定理はルベーグ積分論の2大交換定理として知られており、解析学の強力な道具となっています。

フビニの定理と積分の順序交換

続いては、2重積分の順序交換に関するフビニの定理について確認していきます。

フビニの定理の内容

フビニの定理とは、2変数関数f(x,y)の2重積分において、xとyに関する積分の順序を交換できる条件を与える定理です。

フビニの定理

∫∫f(x,y)dxdy = ∫(∫f(x,y)dx)dy = ∫(∫f(x,y)dy)dx

f(x,y)が可積分(|f|の積分が有限)であれば、積分の順序交換が許されます。

この定理は、多変数関数の積分を「1変数ずつ順番に積分する(逐次積分)」という手法の正当性を保証します。

確率論における独立な確率変数の期待値の積への分解なども、フビニの定理に基づいています。

フビニの定理の適用条件と注意点

フビニの定理の適用には、∫∫|f(x,y)|dxdyが有限であること(絶対可積分性)が必要です。

この条件が満たされない場合、積分の順序交換が誤った結果をもたらすことがあります。

有名な反例として、f(x,y)=(x²-y²)/(x²+y²)²のような関数では、積分順序によって結果が異なることが示されています。

条件の確認を怠ると誤りを招くため、フビニの定理を適用する際は絶対可積分性の確認を忘れないようにしましょう。

無限区間での積分順序交換

無限区間での積分や広義積分においても、フビニの定理は適用できますが、より慎重な条件確認が必要です。

∫₀∞ f(x,t)dt のような無限区間を含む積分では、一様収束性や絶対可積分性をしっかり確認した上で順序交換を行います。

これらの理論は、フーリエ変換・ラプラス変換・統計的推定などの高度な応用数学の基礎として機能しています。

定理名 条件 保証される操作
一様収束定理 一様収束 積分と極限の交換・連続性の保存
優収束定理 各点収束+可積分な優関数 積分と極限の交換
単調収束定理 単調増加・非負 積分と極限の交換
フビニの定理 絶対可積分性 2重積分の順序交換

まとめ

本記事では、積分と極限の交換について、一様収束・ルベーグ積分・優収束定理・フビニの定理という観点から解説しました。

積分と極限の交換は、単純に「いつでも成立する」わけではなく、一様収束や可積分な優関数の存在といった条件が必要です。

ルベーグ積分の枠組みで成立する優収束定理と単調収束定理は、現代解析学の中核的な定理として幅広い応用を持ちます。

積分の順序交換・Leibnizの積分法則・フビニの定理を適切に使いこなすことで、難解な積分計算も鮮やかに解けるようになるでしょう。

これらの理論を学ぶことで、より高度な数学・物理・統計の世界への扉が開かれていきます。