14　多重積分と累次積分
f-denshi.com    [目次]　更新日：07/06/06　(仮)
サイト検索

１．二重積分

[１]　D を x-y平面上の面積が確定する有界な領域とし，

(１)　z＝f(x,y) を Dで連続な２変数関数
(２)　f(x,y) は有界，
(３)　D を含む大きめの長方形：
             S＝｛(x,y)｜a≦x≦b，c≦y≦d ｝

を考えます。　(一般性を失わず，a，c＞0　としてもいいでしょう。)

[２]　よこ [a，b]，たて[c，d]をそれぞれつぎのような n個，m個の区間分割すると，

[a＝x₀,x₁),[x₁,x₂),･･･,[x_k-1,x_k),･･･,[x_n-1,b＝x_n]
[c＝y₀,y₁),[y₁,y₂),･･･,[y_s-1,y_s),･･･,[y_m-1,d＝y_m]

J_ks＝｛(x,y)｜x_k-1≦x≦x_k， y_s-1≦y≦y_s｝

とすれば，このタイルの面積は，

｜J_ks｜＝(x_k−x_k-1)(y_s−y_s-1)

で求まります。

[３]　このとき，Max｛(x_k−x_k-1),(y_s−y_s-1)｝＝h として次の極限，

	Σ		f(xks,yks)｜Jks｜
	k,s

が存在すれば，これを，

I ＝

f(x,y)dxdy

と書き，f(x,y)の D上の重積分(2重積分)といいます。ただし，Σ は D∩J_ks ≠O なるものすべてにわたって和をとることとし，

(x_ks,y_ks)

はタイル J_ks 内の任意の点とします。　(長方形の右上の点の座標である必要はないということ。)

２．累次積分

[１]　積分範囲を２つの関数：

y＝φ₁(x)，y＝φ₂(x)　と　x＝a，x＝b，　

とに囲まれた右の領域D とします。

２重積分のタイルごとの総和

I＝	Σ	f(xks,yks)｜Jks｜
	s,k

をとる順番を，x成分がある区間(x_k-1−x_k]を含む短冊(緑の部分)を先に計算すると，その部分は，

f(xks,yks)｜Jks｜

(　ここで，x_ks'＝･･･＝x_ks･･･＝x_ks'' ＝ x_k　)

ここで，｛･･･｝の部分は y を変数とする積分の定義に等しく，y_s'-1＝φ₁(x_k)，y_s''＝φ₂(x_k) に注意して，

｛･･･｝≡A (xk)＝			φ2(xk)	f(xk，y)dy
			φ1(xk)

[２]　各 x_k(k＝1,2･･･n) に対応する n 個の短冊を合計すると，全積分 I に等しく，

I ＝

A(xk)(xk−xk-1)

ところが，これは，x についてのA(x)の積分，

	A(x)	dx

に等しい。結局，

を示しています。

このように，f(x,y) を最初に変数 y の関数とみなして積分を行い，引き続きその結果を x の関数とみなして順に積分を置こうなう積分方法を累次積分と言います。このとき，積分の順序は交換可能です。

　もう一度，今，計算したことを幾何学的な例を用いて言い直すと，右図のxy平面内の領域Dとその領域で定義される滑らかな曲面 z＝f(x,y) とで囲まれる部分の体積を求める方法として，

(1)　赤い縦長の角柱の寄せ集める　（２重積分）
(2)　黄緑色の薄片の寄せ集める　（累次積分）

の２とおりどちら方法で計算しても構わないということです。そして，重積分の定義だけでは，実際の問題にあたって何をどうしていいのかわからないことが普通なので，重積分といいながら累次積分を計算することになるのです。

３．基本的な性質

｛ a･f(x,y)＋b･g(x,y) ｝dxdy

＝a･

f(x,y)dxdy＋b･

g(x,y) ｝dxdy

つづく，･･･

次元の拡張，３次元の重積分の例，密度分布ρ(x,y,z)より質量Mを求める。

[ 目次へ ]