 
 
 
 
 
   
桂田 祐史
Date: 2006年10月5日
(テキストの問題の詳しい解答を配布することは出来ないので、 要所要所を説明するに止める。)
2次元閉区間上の重積分
![$\displaystyle \dint_{A}f(x,y)\;\D x\,\D y,\quad A=[a,b]\times[c,d]
$](img1.png) 
![$\displaystyle \dint_{[a,b]\times[c,d]}f(x,y)\;\D x\,\D y
=\int_a^b\left(\int_c^d f(x,y)\;\D y\right)\D x
=\int_c^d\left(\int_a^b f(x,y)\;\D x\right)\D y
$](img2.png) 
もしも 
 のように、
 のように、 だけの関数と
 だけの関数と  だけの関数の
積に分解される場合は、
 だけの関数の
積に分解される場合は、
| (☆) | ![$\displaystyle \dint_{[a,b]\times[c,d]}f(x,y)\;\D x\,\D y =\left(\int_a^b F(x)\;\Dx\right) \left(\int_c^d G(y)\;\Dy\right)$](img6.png) | 
| よく知っているはずの公式だけど結構間違えるので一言 | ||||
| 
 という公式は、 (i) 指数  に  を足す、
(ii) 微分して元に戻るように  をかける、
と覚えることを勧める。
少なくとも結果を目で微分して元に戻ることをこころがけよう。
また次も忘れずに。 
 | 
最初の (1), (2) は (☆) タイプ。
 の原始関数は
 の原始関数は  であるが、
 であるが、
 は覚えても良いかもしれない。
 は覚えても良いかもしれない。
 
 と置換すること1を覚えても良い。
 と置換すること1を覚えても良い。
逆三角関数  の値を求めるには、次が基本である
(これから
 の値を求めるには、次が基本である
(これから 
 が分かる)。
 が分かる)。
 かつ
   かつ 
 と変形して積分するのも案外簡単である
((☆) タイプになる)。
 と変形して積分するのも案外簡単である
((☆) タイプになる)。
 
 ) を用いると、
) を用いると、
![$\displaystyle \int_0^2(y-x)^2\;\D y=\left[\frac{1}{3}(y-x)^3\right]_{y=0}^{y=2}
=\frac{1}{3}\left[(2-x)^3-(-x)^3\right]
=\frac{1}{3}\left(x^3-(x-2)^3\right).
$](img31.png) 
 から
 から  まで積分するのにも、同様のことをすればよい。
 まで積分するのにも、同様のことをすればよい。
 に気が付けば、後は (
 に気が付けば、後は (
 ) 2回。
) 2回。
| ![$\displaystyle \dint_{[0,1]\times[0,2]}\sqrt{x+y\,}\;\D x\,\D y$](img35.png) | ![$\displaystyle =\int_0^1\left(\int_0^1(y+x)^{1/2}\;\Dy\right)\D x =\frac{2}{2}\left[(y+x)^{3/2}\right]_{y=0}^{y=2}\Dx$](img36.png) | |
| ![$\displaystyle =\frac{2}{3}\int_0^1\left[(x+2)^{3/2}-x^{3/2}\right]\Dx =\frac{2}{3}\cdot\frac{2}{5} \left[(x+2)^{5/2}-x^{5/2}\right]_0^1$](img37.png) | ||
|  | 
 
  
 
 
 
 
![$ x\in [-1,1]$](img42.png) であるから、
 であるから、
![$ A=[-1,1]\times[-1,1]$](img43.png) .
また
.
また 
 である。
 である。
 と
 と  がまったく非対称なので、
先にどちらで積分するか問題になる。
見通しをつけるには、
 がまったく非対称なので、
先にどちらで積分するか問題になる。
見通しをつけるには、 とおいた
 とおいた 
 と、
 と、
 とおいた
 とおいた  とを見比べるとよい。
前者は置換積分、後者は部分積分と見通しがつく。
最後は計算を進めてみないと分からないが、
後者 (先に
 とを見比べるとよい。
前者は置換積分、後者は部分積分と見通しがつく。
最後は計算を進めてみないと分からないが、
後者 (先に  で積分する方) は後がかなり面倒な計算になる。
 で積分する方) は後がかなり面倒な計算になる。
 とおく (
 とおく ( を
 を  で置換する) と、
 で置換する) と、
 ,
,  のとき
 のとき  ,
,  のとき
 のとき  であるから、
 であるから、
![$\displaystyle \int_0^1 x y e^{-x y^2}\;\D y=\int_0^{-x} -\frac{1}{2}e^u \;\D u
=-\frac{1}{2}\left[e^u\right]_0^{-x}=\frac{1}{2}(1-e^{-x}).
$](img55.png) 
 で積分すると、
 で積分すると、
![$ \dsp\int_0^1\left[-\frac{1}{y}(e^{y^2}+e^{-y^2})+
\frac{1}{y^3}\left(e^{y^2}-e^{-y^2}\right)\right]\Dy$](img56.png) となり、
ちょっと困る。
 となり、
ちょっと困る。
 ,
,  を代入すると、
それぞれ
 を代入すると、
それぞれ  ,
,  となる。
前者 (
 となる。
前者 ( で先に積分する) の方が楽そうなので、
そちらから始めてみる。
 で先に積分する) の方が楽そうなので、
そちらから始めてみる。
 とおく (
 とおく ( を
 を  で置換) と、
 で置換) と、
 ,
,  のとき
 のとき  ,
,  のとき
 のとき  ゆえ、
 ゆえ、
 
 となるが、
 となるが、
![$ \dsp\int_0^{\pi/2}\frac{x}{2}\;\Dx=\left[\frac{x^2}{4}\right]_0^{\pi/2}
=\frac{\pi^2}{16}$](img65.png) ,
,
![$\displaystyle \int_0^{\pi/2}x\cos 4x\;\Dx
=\left[x\cdot\frac{1}{4}\sin 4x\right...
...}{4}\int_0^{\pi/2}\sin 4x\;\Dx
=0+\frac{1}{16}\left[\cos 4x\right]_0^{\pi/2}=0
$](img66.png) 
 .
ちなみに、もし先に
.
ちなみに、もし先に  で積分すると…ものすごく面倒になる。
(以上)
 で積分すると…ものすごく面倒になる。
(以上)
 
 
 
 
 
