フビニの定理：積分の順序が重要でない理由

センサーのグリッドから、長方形の畑に降った雨量の合計を計算していると想像してください。まず各行のセンサーを合計し、次にその行の合計を合計するのと、先に各列を合計し、次にその合計を合計するのとで、何か違いが出るでしょうか？フビニの定理は「いいえ」と答えます。長方形のような領域上のよく振る舞う関数について、二重積分はどちらの変数から積分を始めても同じ答えを与えます。

学部発展

この定理が実際に述べていること

xがaからbまで、yがcからdまでの長方形上で連続な関数f(x, y)について：

∬ f(x,y) dA = ∫∫ f(x,y) dy dx = ∫∫ f(x,y) dx dy

言葉で言えば：一方の変数を固定し、もう一方について積分すると、通常の一変数関数が得られます — それを積分します。この二つのステップはどちらの順序でも実行でき、同じ数にたどり着きます。

なぜ重要なのか

これにより、本当に二次元的な問題 — 曲面の下の体積 — が、すでにできることを知っている二つの通常の一変数積分に変わり、一つずつ順に実行できます。そして順序は自分で選べるので、実際に簡単な方を選べます：ある領域ではxについて先に積分するのがほぼ不可能なのに対してyでは簡単、あるいはその逆というケースがあります。

これは多くの実際の計算を静かに支えています：平らな板の質量や質量中心を求めること、工学における慣性モーメントの計算、統計学における同時確率分布の扱い、そして画像処理や機械学習で使われる畳み込み演算です。

覚えておくべき条件：フビニの定理は、その領域上で関数がよく振る舞う（技術的には絶対可積分である）ことを要求します。大学で出会う連続関数については、順序は本当に決して問題になりません。

簡単な計算例

長方形0 ≤ x ≤ 2、0 ≤ y ≤ 1上のf(x, y) = xyを考えます。

• 先にxについて積分：∫₀¹ [∫₀² xy dx] dy = ∫₀¹ [x²y/2]₀² dy = ∫₀¹ 2y dy = [y²]₀¹ = 1。
• 先にyについて積分：∫₀² [∫₀¹ xy dy] dx = ∫₀² [xy²/2]₀¹ dx = ∫₀² (x/2) dx = [x²/4]₀² = 1。

順序に関係なく同じ答えです — まさにフビニの定理が約束する通りです。これが明快になれば、二重積分は新しいトピックのようには見えなくなり、すでに知っている二つの積分を一つずつ実行するものに見えてきます。このような多変数の計算を、あなたやお子様が単に暗記するのではなく正しく理解したいなら、それはまさに私たちの学部生向け数学の家庭教師が提供するものです。完全な学習の道筋はこちらからご覧いただけます。