1 座標方向に単純な領域 補題 1.1. a < b a<b a < b θ : [ a , b ] → R \theta:[a,b]\to\mathbb R θ : [ a , b ] → R
Γ θ = { ( x , θ ( x ) ) : a ≤ x ≤ b } \Gamma_\theta=\{(x,\theta(x)):a\le x\le b\} Γ θ = {( x , θ ( x )) : a ≤ x ≤ b } は Jordan 零集合である。
証明. ε > 0 \varepsilon>0 ε > 0 2 η ( b − a ) < ε / 2 2\eta(b-a)<\varepsilon/2 2 η ( b − a ) < ε /2 η > 0 \eta>0 η > 0
a = t 0 < t 1 < ⋯ < t r = b a=t_0<t_1<\cdots<t_r=b a = t 0 < t 1 < ⋯ < t r = b であって、各小区間[ t j − 1 , t j ] [t_{j-1},t_j] [ t j − 1 , t j ] θ \theta θ η \eta η
[ t j − 1 , t j ] × [ θ ( t j − 1 ) − η , θ ( t j − 1 ) + η ] [t_{j-1},t_j]\times[\theta(t_{j-1})-\eta,\theta(t_{j-1})+\eta] [ t j − 1 , t j ] × [ θ ( t j − 1 ) − η , θ ( t j − 1 ) + η ] に含まれ、これらの長方形の面積の和は2 η ( b − a ) < ε / 2 2\eta(b-a)<\varepsilon/2 2 η ( b − a ) < ε /2 ε \varepsilon ε Γ θ \Gamma_\theta Γ θ ▨
定理 1.2. a < b a<b a < b φ , ψ : [ a , b ] → R \varphi,\psi:[a,b]\to\mathbb R φ , ψ : [ a , b ] → R φ ( x ) ≤ ψ ( x ) \varphi(x)\le\psi(x) φ ( x ) ≤ ψ ( x )
D = { ( x , y ) : a ≤ x ≤ b , φ ( x ) ≤ y ≤ ψ ( x ) } D=\{(x,y):a\le x\le b,\ \varphi(x)\le y\le\psi(x)\} D = {( x , y ) : a ≤ x ≤ b , φ ( x ) ≤ y ≤ ψ ( x )} とおく。D D D V ⊂ R 2 V\subset\mathbb R^2 V ⊂ R 2 f : V → R f:V\to\mathbb R f : V → R D D D
∫ D f ( x , y ) d ( x , y ) = ∫ a b ( ∫ φ ( x ) ψ ( x ) f ( x , y ) d y ) d x \int_Df(x,y)\,d(x,y)
=\int_a^b\left(\int_{\varphi(x)}^{\psi(x)}f(x,y)\,dy\right)dx ∫ D f ( x , y ) d ( x , y ) = ∫ a b ( ∫ φ ( x ) ψ ( x ) f ( x , y ) d y ) d x が成り立つ。
証明. 補題 1.1 により、φ \varphi φ ψ \psi ψ D D D ∂ D \partial D ∂ D x = a , b x=a,b x = a , b §E4.11 補題 1.2 を合わせると、∂ D \partial D ∂ D §E4.11 定義 2.1 によりD D D
D ⊂ R = [ a , b ] × [ c , d ] D\subset R=[a,b]\times[c,d] D ⊂ R = [ a , b ] × [ c , d ] c < d c<d c < d
G ( x ) = ∫ φ ( x ) ψ ( x ) f ( x , y ) d y G(x)=\int_{\varphi(x)}^{\psi(x)}f(x,y)\,dy G ( x ) = ∫ φ ( x ) ψ ( x ) f ( x , y ) d y とおく。D D D f ∣ D f|_D f ∣ D M = max D ∣ f ∣ < ∞ M=\max_D|f|<\infty M = max D ∣ f ∣ < ∞ I x = [ φ ( x ) , ψ ( x ) ] I_x=[\varphi(x),\psi(x)] I x = [ φ ( x ) , ψ ( x )]
∣ G ( x ) − G ( x ′ ) ∣ ≤ ( d − c ) sup y ∈ I x ∩ I x ′ ∣ f ( x , y ) − f ( x ′ , y ) ∣ + M ( ∣ φ ( x ) − φ ( x ′ ) ∣ + ∣ ψ ( x ) − ψ ( x ′ ) ∣ ) (2) \begin{aligned}
|G(x)-G(x')|
\le{}&(d-c)\sup_{y\in I_x\cap I_{x'}}|f(x,y)-f(x',y)|\\
&+M\bigl(|\varphi(x)-\varphi(x')|+|\psi(x)-\psi(x')|\bigr)
\end{aligned}
\tag{2} ∣ G ( x ) − G ( x ′ ) ∣ ≤ ( d − c ) y ∈ I x ∩ I x ′ sup ∣ f ( x , y ) − f ( x ′ , y ) ∣ + M ( ∣ φ ( x ) − φ ( x ′ ) ∣ + ∣ ψ ( x ) − ψ ( x ′ ) ∣ ) ( 2 ) を得る。共通部分が空なら第一項を零とする。第一項は共通部分の両点がD D D f ∣ D f|_D f ∣ D φ , ψ \varphi,\psi φ , ψ G G G
R R R
f ~ ( x , y ) = { f ( x , y ) , ( x , y ) ∈ D , 0 , ( x , y ) ∈ R ∖ D \widetilde f(x,y)=
\begin{cases}
f(x,y),&(x,y)\in D,\\
0,&(x,y)\in R\setminus D
\end{cases} f ( x , y ) = { f ( x , y ) , 0 , ( x , y ) ∈ D , ( x , y ) ∈ R ∖ D を考える。§E4.11 系 3.5 によりf f f D D D §E4.11 命題 3.3 によりf ~ \widetilde f f R R R ∫ D f = ∫ R f ~ \int_Df=\int_R\widetilde f ∫ D f = ∫ R f x x x f ~ ( x , ⋅ ) \widetilde f(x,\mathord\cdot) f ( x , ⋅ ) f ( x , ⋅ ) f(x,\mathord\cdot) f ( x , ⋅ ) [ φ ( x ) , ψ ( x ) ] [\varphi(x),\psi(x)] [ φ ( x ) , ψ ( x )] [ c , d ] [c,d] [ c , d ] G ( x ) G(x) G ( x ) φ ( x ) = ψ ( x ) \varphi(x)=\psi(x) φ ( x ) = ψ ( x )
P x × P y P_x\times P_y P x × P y R R R
L ( f ~ , P x × P y ) ≤ L ( G , P x ) ≤ ∫ a b G ( x ) d x ≤ U ( G , P x ) ≤ U ( f ~ , P x × P y ) (3) L(\widetilde f,P_x\times P_y)\le L(G,P_x)\le\int_a^bG(x)\,dx
\le U(G,P_x)\le U(\widetilde f,P_x\times P_y)
\tag{3} L ( f , P x × P y ) ≤ L ( G , P x ) ≤ ∫ a b G ( x ) d x ≤ U ( G , P x ) ≤ U ( f , P x × P y ) ( 3 ) を得る。f ~ \widetilde f f ∫ R f ~ = ∫ a b G \int_R\widetilde f=\int_a^bG ∫ R f = ∫ a b G ▨
系 1.3. c < d c<d c < d λ , μ : [ c , d ] → R \lambda,\mu:[c,d]\to\mathbb R λ , μ : [ c , d ] → R λ ( y ) ≤ μ ( y ) \lambda(y)\le\mu(y) λ ( y ) ≤ μ ( y )
E = { ( x , y ) : c ≤ y ≤ d , λ ( y ) ≤ x ≤ μ ( y ) } E=\{(x,y):c\le y\le d,\ \lambda(y)\le x\le\mu(y)\} E = {( x , y ) : c ≤ y ≤ d , λ ( y ) ≤ x ≤ μ ( y )} とおく。E E E W ⊂ R 2 W\subset\mathbb R^2 W ⊂ R 2 f : W → R f:W\to\mathbb R f : W → R
∫ E f ( x , y ) d ( x , y ) = ∫ c d ( ∫ λ ( y ) μ ( y ) f ( x , y ) d x ) d y \int_Ef(x,y)\,d(x,y)
=\int_c^d\left(\int_{\lambda(y)}^{\mu(y)}f(x,y)\,dx\right)dy ∫ E f ( x , y ) d ( x , y ) = ∫ c d ( ∫ λ ( y ) μ ( y ) f ( x , y ) d x ) d y が成り立つ。
証明. 補題 1.1 により、λ \lambda λ μ \mu μ ∂ E \partial E ∂ E y = c , d y=c,d y = c , d §E4.11 補題 1.2 と§E4.11 定義 2.1 によりE E E 定理 1.2 を適用する。座標交換は直積分割を直積分割へ写し、各小長方形の面積と Darboux 上下和を保つので、変数変換公式を用いずに積分の等しさを得ることができる。▨
例 1.4 (積分順序の交換).
I = ∫ 0 1 ( ∫ x 1 e y 2 d y ) d x I=\int_0^1\left(\int_x^1e^{y^2}\,dy\right)dx I = ∫ 0 1 ( ∫ x 1 e y 2 d y ) d x の積分領域は0 ≤ x ≤ 1 0\le x\le1 0 ≤ x ≤ 1 x ≤ y ≤ 1 x\le y\le1 x ≤ y ≤ 1 0 ≤ y ≤ 1 0\le y\le1 0 ≤ y ≤ 1 0 ≤ x ≤ y 0\le x\le y 0 ≤ x ≤ y
I = ∫ 0 1 ( ∫ 0 y e y 2 d x ) d y = ∫ 0 1 y e y 2 d y = e − 1 2 . I=\int_0^1\left(\int_0^ye^{y^2}\,dx\right)dy
=\int_0^1ye^{y^2}\,dy
=\frac{e-1}{2}. I = ∫ 0 1 ( ∫ 0 y e y 2 d x ) d y = ∫ 0 1 y e y 2 d y = 2 e − 1 . 内側の積分∫ e y 2 d y \int e^{y^2}\,dy ∫ e y 2 d y
例 1.5 (三角形領域の二つの表示).
D = { ( x , y ) : 0 ≤ x ≤ 1 , 0 ≤ y ≤ x } D=\{(x,y):0\le x\le1,\ 0\le y\le x\} D = {( x , y ) : 0 ≤ x ≤ 1 , 0 ≤ y ≤ x } 上でf ( x , y ) = x + y f(x,y)=x+y f ( x , y ) = x + y
∫ 0 1 ∫ 0 x ( x + y ) d y d x = 1 2 , ∫ 0 1 ∫ y 1 ( x + y ) d x d y = 1 2 \int_0^1\int_0^x(x+y)\,dy\,dx=\frac12,
\qquad
\int_0^1\int_y^1(x+y)\,dx\,dy=\frac12 ∫ 0 1 ∫ 0 x ( x + y ) d y d x = 2 1 , ∫ 0 1 ∫ y 1 ( x + y ) d x d y = 2 1 を得る。二つの計算は同じ Jordan 積分を表す。
2 演習 問題 2.1 (有限次元定理の適用と限界). 次の二問に答えよ。
R = [ 0 , 1 ] 3 R=[0,1]^3 R = [ 0 , 1 ] 3 f ( x , y , z ) = x + 2 y + 3 z f(x,y,z)=x+2y+3z f ( x , y , z ) = x + 2 y + 3 z ∫ R f \int_Rf ∫ R f 定理 1 が非有界関数や非有界領域の積分順序交換を正当化しない理由を説明せよ。 解答. 第一問では、例えばz , y , x z,y,x z , y , x
∫ 0 1 ∫ 0 1 ∫ 0 1 ( x + 2 y + 3 z ) d z d y d x = 1 2 + 1 + 3 2 = 3 \int_0^1\int_0^1\int_0^1(x+2y+3z)\,dz\,dy\,dx
=\frac12+1+\frac32=3 ∫ 0 1 ∫ 0 1 ∫ 0 1 ( x + 2 y + 3 z ) d z d y d x = 2 1 + 1 + 2 3 = 3 を得る。定理により、ほかの座標順序でも同じ値を得る。
第二問について、定理の証明はコンパクト閉直方体上の一様連続性と有限体積を用い、Darboux 上下和の差を任意に小さくする。非有界関数では一様な振幅評価がなく、非有界領域は有限個の小直方体からなる直積分割の対象ではない。従って、その場合には広義積分または測度論の別の定理が必要である。▨