2 重積分 ∬Df(x,y)dA は、平面上の領域 D の上に立つ柱の体積(f≥0 のとき)、あるいは密度分布 f から D の総質量を求める操作です。計算は累次積分に落とします。内側の積分で片方の変数を固定して切り出し、その結果を外側の変数で積算する——「薄く切って、切れ目ごとに足し上げる」2 段構えです。
∬Df(x,y)dxdy=∫ab[∫p(x)q(x)f(x,y)dy]dx
積分順序の交換
内側の原始関数が初等関数で書けないことがあります。たとえば e−y2 は y について積分できませんが、先に x で積分すると話が変わります。領域を「縦割り」から「横割り」に読み替えて積分の順序を入れ替えるのが積分順序の交換(フビニの定理)の力で、例えば有界な領域の閉包上で連続なら交換できます。非有界な領域では絶対可積分性などの条件を確かめます。
🔍 極座標での面積要素 dxdy = r dr dθ の由来
Step 1: 極座標での位置
x=rcosθ,y=rsinθ
平面の点を「原点からの距離 r」と「角度 θ」で指定し直す。
Step 2: 微小変化の接ベクトル
∂r∂(x,y)=(cosθ,sinθ),∂θ∂(x,y)=(−rsinθ,rcosθ)
r 方向に動けば単位ベクトルだけ進むが、θ 方向に動くと半径 r の円弧に沿って動く。
Step 3: 小さな平行四辺形の面積=外積の絶対値
dA=det(cosθsinθ−rsinθrcosθ)drdθ=rdrdθ
この行列がヤコビ行列で、その行列式がヤコビアン。角度方向の辺の長さが半径 r に比例して伸びるため、因子 r が現れる——扇形の面積 r²θ/2(θ はラジアン) という中学レベルの事実と一致します。