多重積分のソースを表示

== 概要 ==
多重積分とは、関数を多変数で積分することである。<br>
<br><br>

== 多重積分の種類 ==
多重積分の種類は、以下の4種類に大別される。<br>
* 積分領域が定数のみで決まり、被積分関数が変数分離できる場合
*: 積分領域が定数のみで決まるということは、<math>\int_{b}^{a} \int_{d}^{c} f(x,y) dxdy</math> のように個々の変数の積分範囲が定数で表されることを指す。
* 積分領域が定数のみで決まり、被積分関数が変数分離できない場合
*: 被積分関数が変数分離できるということは、<math>f(x, y) = a(x) b(y)</math> のように被積分関数が一変数関数の積で表すことができることを意味する。
* 積分領域が変数に依存し、変数変換する必要がない場合
*: 積分領域が変数に依存するということは、<math>\int_{b}^{a} \int_{h(x)}^{g(x)} f(x, y) dxdy</math> のように、ある変数の積分範囲が別の変数の関数で表されることを意味する。
* 積分領域が変数に依存し、変数変換する必要がある場合
*: 変数変換する必要があるということは、与えられた座標系では積分領域が複雑で、変数変換しないと解析的に積分できないことを指す。
<br><br>

== 積分領域が定数のみで決まり、被積分関数が変数分離できる場合 ==
積分領域が定数のみで決まり、被積分関数が変数分離できる場合、すなわち、<br>
<math>
\begin{align}
\int_{a_{1}}^{b_{1}}dx_{1} \int_{a_{2}}^{b_{2}}dx_{2} \cdots \int_{a_{n}}^{b_{n}}dx_{n} f(x_{1}, x_{2}, \cdots ,x_{n}) = \int_{a_{1}}^{b_{1}}dx_{1} \int_{a_{2}}^{b_{2}}dx_{2} \cdots \int_{a_{n}}^{b_{n}}dx_{n} \prod_{k=1}^{n} g_{k}(x_{k})
\end{align}
</math> となる場合を考える。<br>
<br>
この場合、各1変数関数g<sub>k</sub>(x<sub>k</sub>)は他の変数の積分には寄与しないため、最終的に次式となり、1変数での積分の積の形に帰着する。<br>
<math>
\begin{align}
&  \int_{a_{1}}^{b_{1}}dx_{1} \int_{a_{2}}^{b_{2}}dx_{2} \cdots \int_{a_{n}}^{b_{n}}dx_{n} \prod_{k=1}^{n}g_{k}(x_{k}) \\
=& \left ( \int_{a_{1}}^{b_{1}} g_{1}(x_{1})dx_{1} \right ) \left ( \int_{a_{2}}^{b_{2}}g_{2}(x_{2})dx_{2} \right ) \cdots \left ( \int_{a_{n}}^{b_{n}}g_{n}(x_{n})dx_{n} \right ) \\
=& \prod_{k=1}^{n} \int_{a_{k}}^{b_{k}}g_{k}(x_{k})dx_{k}
\end{align}
</math><br>
<br>
 例題. 次の定積分を求めよ。
 (1) <math>\int_{0}^{1}dx \int_{0}^{\pi/2}dy \, e^{2x} \cos y</math>
 (2) <math>\int_{0}^{1}dx \int_{0}^{1}dy \, xye^{-x^{2}-y^{2}}</math>
<br>
例題(1)、(2)ともに積分領域が定数のみで決まり、被積分関数が変数分離できるため、それぞれ独立した1変数での積分の積で表される。<br>
<br>
(1)<br>
<math>
\begin{align}
\int_{0}^{1} \int_{0}^{\pi / 2} e^{2x} \cos y \, dxdy &= \left ( \int_{0}^{1}e^{2x} dx \right ) \left ( \int_{0}^{\pi/2} \cos y dy \right ) \\
&= \left [ \frac{e^{2x}}{2} \right ]_{0}^{1} \biggl [ \sin y \biggl ]_{0}^{\pi / 2} \\
&= \frac{e^2 - 1}{2} \times 1 \\
&= {\frac{e^{2} - 1}{2}}
\end{align}
</math><br>
<br>
(2)<br>
<math>
\begin{align}
\int_{0}^{1} \int_{0}^{1} xye^{-x^{2}-y^{2}} \, dxdy &= \left ( \int_{0}^{1} xe^{-x^{2}} dx \right ) \left ( \int_{0}^{1} ye^{-y^{2}} dy \right ) \\
&= \left [ - \frac{e^{-x^{2}}}{2} \right ]^{1}_{0} \left [ - \frac{e^{-y^{2}}}{2} \right ]^{1}_{0} \\
&= \frac{1}{4} \left ( \frac{1}{e} - 1 \right ) \left ( \frac{1}{e} - 1 \right ) \\
&= \frac{1}{4} \left ( \frac{1}{e} - 1 \right )^{2}
\end{align}
</math><br>
<br><br>

== 積分領域が定数のみで決まり、被積分関数が変数分離できない場合 ==
ある変数で積分する際は他の変数を固定(定数とみなして)して積分して、次の変数で積分する際も同様に他の変数を固定して積分・・・を繰り返す。<br>
積分変数を逐次変えて積分を進めていくことから、このような積分を逐次積分と呼ぶ。<br>
<br>
例えば、被積分関数が2変数関数f(x, y)の場合、先にyを固定してxで積分して、次にyで積分するという手順となる。<br>
<math>\int_{b_{y}}^{a_{y}} \left \{ \int_{b_{x}}^{a_{x}} f(x, y) \, dx \right \} dy</math><br>
<br>
積分変数を選ぶ順番、例えば、上記の場合では、先にxで積分するかyで積分するかは物理数学の範囲では特に気にしなくてよい。<br>
もし、何らかの指定がある場合は、その順序で計算する。<br>
<br>
 例題. 次の重積分を求めよ。
 
 (1) <math>\int_{0}^{\pi / 2} dx \int_{0}^{\pi} \sin (x+y) \, dy</math>
 (2) <math>\int_{\pi}^{2 \pi} dx \int_{0}^{1} xy \sin(xy) \, dy</math>
<br>
(1)<br>
<math>
\begin{align}
\int_{0}^{\pi / 2} dx \int_{0}^{\pi} \sin(x+y) \, dy &= \int_{0}^{\pi / 2} dx \biggl[- \cos(x + y) \biggr ]_{0}^{\pi} \\
&= \int_{0}^{\pi / 2} \left \{ - \cos(x + \pi) + \cos x \right \} \, dx \\
&= \int_{0}^{\pi / 2} 2 \cos x \, dx \\
&= 2 \biggl [ \sin x \biggr ]_{0}^{\pi / 2} \\
&= 2
\end{align}
</math><br>
<br>
(2)<br>
<math>f(y) = xy, \quad g(y) = - \cos(xy)</math>として部分積分を用いる。<br>
<math>
\begin{align}
\int_{\pi}^{2 \pi} dx \int_{0}^{1} xy \sin(xy) \, dy &= \int_{\pi}^{2 \pi} dx \left \{ \biggl [ -xy \cos(xy) \biggr ]_{0}^{1} - \int_{0}^{1} \left \{ -x \cos(xy) \right \} dy \right \} \\
&= \int_{\pi}^{2 \pi} (\sin(x) - x \cos(x)) \, dx \\
&= \int_{\pi}^{2 \pi} \sin(x) \, dx - \int_{\pi}^{2 \pi} x \cos(x) \, dx
\end{align}
</math><br>
次に、<math>f(x) = x, \quad g(x) = \sin(x)</math>として部分積分を用いる。</math><br>
<math>
\begin{align}
&  \int_{\pi}^{2 \pi} \sin(x) \, dx - \int_{\pi}^{2 \pi} x \cos(x) \, dx \\
&= \int_{\pi}^{2 \pi} \sin(x) dx \, - \left \{ \biggl [ x \sin(x) \biggr ]_{\pi}^{2 \pi} - \int_{\pi}^{2 \pi} \sin(x) \, dx \right \} \\
&= \int_{\pi}^{2\pi} \sin(x) \, dx - 2 \\
&= \biggl [ - \cos(x) \biggr ]_{\pi}^{2 \pi}  - 2 \\
&= -2 - 2 \\
&= -4
\end{align}
</math><br>
<br><br>

== 積分領域が変数に依存し、変数変換する必要がない場合 ==
与えられた座標系でそのまま積分できる(変数変換する必要がない)場合から扱う。<br>
<br>
このパターンの最大の特徴は、積分する順番が決まっていることであり、最初に積分領域が変数に依存する積分から実行する。<br>
<br>
例えば、2変数関数f(x, y)を<math>\int_{b}^{a} dx \int_{h(x)}^{g(x)} f(x,y) \, dy</math> のように積分する場合、yの積分範囲がxに依存するため、先にyで積分した後にxで積分するという順番をとる。<br>
<br>
この順番になる理由は、yでの積分結果がxの関数になるためであり、これを先に計算しないとxでの積分の被積分関数が決定しないからである。<br>
そのため、被積分関数が変数分離できる場合でも、同時並行で各変数での積分を実行することはできない。<br>
<br>
積分領域が変数に依存する積分から実行して、他の変数の積分の被積分関数を決定させる必要がある。<br>
<br>
 例題. 次の重積分を求めよ。
 
 (1) <math>\int_{0}^{1} \int_{0}^{-x^{2} + 1} xe^{-y} \, dxdy</math>
 (2) <math>\int_{0}^{1} \int_{x^{2}}^{x} (x + y)^{2} \, dxdy</math>
<br>
(1)<br>
積分領域は下図のようになる。<br>
[[ファイル:Multiple Integrals 1.png|フレームなし|中央]]
<br>
被積分関数が変数分離できる形であるが、yの積分がxに依存しているため、まず、yで積分する。<br>
<math>
\begin{align}
&  \int_{0}^{1} \int_{0}^{-x^{2} + 1} xe^{-y} \, dxdy \\
=& \int_{0}^{1} x \, dx \biggl [ -e^{-y} \biggr ]_{0}^{-x^{2} + 1} \\
=& \int_{0}^{1} x (-e^{x^{2} - 1} + 1) \, dx
\end{align}
</math><br>
<br>
次に、xで積分する。<br>
<math>
\begin{align}
\int_{0}^{1} x(-e^{x^{2} - 1} + 1) \, dx &= \int_{0}^{1} x \, dx - \int_{0}^{1} xe^{x^{2} - 1} \, dx \\
&= \left [ \frac{1}{2} x^{2} \right ]_{0}^{1} - \int_{0}^{1} xe^{x^{2} - 1} \, dx \\
&= \frac{1}{2} - \int_{0}^{1} xe^{x^{2} - 1} \, dx
\end{align}
</math><br>
<br>
ここで、第2項において、<math>u = x^2 - 1</math>とおいて変数変換を行う。<br>
<math>u = x^2 - 1 \quad \mbox{よ り } \quad \frac{du}{dx} = 2x \quad \frac{du}{2} = x dx</math> となる。<br>
また、<math>x = 0 \to u = -1, \quad x = 1 \to u = 0</math> となる。<br>
<br>
上記を代入すると、以下のようになる。<br>
<math>
\begin{align}
\frac{1}{2} - \int_{0}^{1} xe^{x^{2} - 1} \, dx &= \frac{1}{2} - \int_{-1}^{0} \frac{e^{u}}{2} \, du \\
&= \frac{1}{2} - \biggl [ \frac{e^{u}}{2} \biggl ]_{-1}^{0} \\
&= \frac{1}{2} - \left ( \frac{1}{2} - \frac{1}{2e} \right ) \\
&= \frac{1}{2e}
\end{align}
</math><br>
<br>
(2)<br>
積分領域は下図のようになる。<br>
[[ファイル:Multiple Integrals 2.png|フレームなし|中央]]
<br>
まず、yでの積分がxに依存しているため、yで積分する。<br>
<math>
\begin{align}
\int_{0}^{1} \int_{x^{2}}^{x} (x + y)^{2} \, dxdy &= \int_{0}^{1} dx \biggl [ \frac{(x + y)^{3}}{3} \biggr]_{x^{2}}^{x} \\
&= \frac{1}{3} \int_{0}^{1} \left \{ 8x^{3}-(x + x^{2})^{3} \right \} \, dx \\
&= \frac{1}{3} \int_{0}^{1} (-x^{6} - 3x^{5} - 3x^{4} + 7x^{3}) \, dx
\end{align}
</math><br>
<br>
次に、xで積分する。<br>
<math>
\begin{align}
\frac{1}{3} \int_{0}^{1} (-x^{6} - 3x^{5} - 3x^{4} + 7x^{3}) \, dx &= \frac{1}{3} \left [ - \frac{1}{7} x^{7} - \frac{1}{2} x^{6} - \frac{3}{5} x^{5} + \frac{7}{4} x^{4} \right ]_{0}^{1} \\
&= \frac{1}{3} \left ( - \frac{1}{7} - \frac{1}{2} - \frac{3}{5} + \frac{7}{4} \right ) \\
&= \frac{71}{420}
\end{align}
</math><br>
<br><br>

== 積分領域が変数に依存し、変数変換する必要がある場合 ==
上記までのパターンでは、積分領域が比較的単純だった。<br>
しかし、積分領域が複雑になる場合、計算が煩雑になったり、そもそも与えられた座標系では解析的に積分できない場合がある。<br>
<br>
その場合には、座標変換によって積分変数の変換を行い、積分領域を単純化した上で積分計算を進めていく。<br>
<br>
積分変数の変換は、次のように行う。<br>
ある多変数関数f(x1, ..., x<sub>n</sub>)について、領域Dにわたって積分することを考える。<br>
<math>\int_{D} f(x_{1}, \cdots ,x_{n}) \, dx_{1} \cdots dx_{n}</math><br>
ここで、<math>(x_{1}, \cdots, x_{n}) \to (\alpha_{1}, \cdots, \alpha_{n})</math>の変数変換を行う場合、変数変換後の領域をD'とする時、<br>
上記の積分は、次式のようになる。<br>
<math>
\begin{align}
& \int_{D} f(x_{1}, \cdots, x_{n}) \, dx_{1} \cdots dx_{n} \\
=& \int_{D'} \left | \frac{\partial (x_{1}, \cdots, x_{n})}{\partial (\alpha_{1}, \cdots, \alpha_{n})} \right | d \alpha_{1} \cdots d \alpha_{n} \quad f(x_{1} (\alpha_{1}, \cdots, \alpha_{n}), \cdots, x_{n}(\alpha_{1}, \cdots , \alpha_{n}))
\end{align}
</math><br>
<br>
ここで、<math>\left | \frac{\partial (x_{1}, \cdots, x_{n})}{\partial (\alpha_{1}, \cdots, \alpha_{n})} \right |</math> は、ヤコビアンの絶対値である。<br>
すなわち、積分変数を変換したのち、被積分関数にヤコビアンの絶対値を乗算すればよい。<br>
<br>
 例題. 次の重積分を求めよ。
 
 (1) <math>f(x, y) = \frac{a}{(x^{2} + y^{2} + a^{2})^{\frac{3}{2}}}, \qquad D:R_{1}^{2} \leq x^{2} + y^{2} \leq R_{2}^{2}</math>
 (2) <math>f(x, y, z) = 2z^{3} (2x^{2} - y^{2}), \qquad D:x^{2} + y^{2} + z^{2} \leq a^{2}, \, z \geq 0</math>
<br>
(1)<br>
与えられた座標系では、積分領域Dは下図左のようにドーナツ型になる。<br>
[[ファイル:Multiple Integrals 3.png|フレームなし|中央]]
<br>
まず、極座標系(r, θ)に座標変換する。<br>
<math>
\begin{align}
\begin{cases}
x = r \cos \theta \\
y = r \sin \theta
\end{cases}
\qquad (R_{1} \leq r \leq R_{2}, \, 0 \leq \theta \leq 2 \pi)
\end{align}
</math><br>
<br>
この時、新たな積分領域D'は下図右のようになる。<br>
<br>
<br>
また、ヤコビアンは、<math>\frac{\partial (x,y)}{\partial (r, \theta)} = r</math> となるため、求める多重積分は次式となる。<br>
<math>
\begin{align}
&  \iint_{D} \frac{a}{(x^{2} + y^{2} + a^{2})^{\frac{3}{2}}} \, dxdy \\
&= \iint_{D'} \frac{a}{(r^{2} \cos^{2} \theta + r^{2} \sin^{2} \theta + a^{2})^{\frac{3}{2}}} \left | \frac{\partial (x, y)}{\partial (r, \theta)} \right | \, dr d \theta \\
&= \int_{0}^{2 \pi} \, d \theta \int_{R_{1}}^{R_{2}} \frac{ar}{(r^{2}+a^{2})^{3/2}} \, dr \\
&= 2 \pi a \left [ - \frac{1}{(r^{2} + a^{2})^{\frac{1}{2}}} \right ]_{R_{1}}^{R_{2}} \\
&= 2 \pi a \left ( \frac{1}{\sqrt{R_{1}^{2} - a^{2}}} - \frac{1}{\sqrt{R_{2}^{2} - a^{2}}} \right )
\end{align}
</math><br>
<br>
(2)<br>
与えられた座標系では、積分領域Dは下図のように半球型になる。<br>
[[ファイル:Multiple Integrals 4.png|フレームなし|中央]]
<br>
そのため、極座標系<math>(r, \theta, \phi)</math> に座標変換する。<br>
<br>
<math>
\begin{align}
\begin{cases}
x = r \sin \theta \cos \phi \\
y = r \sin \theta \sin \phi \\
z = r \cos \theta
\end{cases} \qquad \left ( 0 \leq r \leq a, \, 0 \leq \theta \leq \frac{\pi}{2}, \, 0 \leq \phi \leq 2 \pi \right )
\end{align}
</math><br>
<br>
また、ヤコビアンは、<math>\frac{\partial (x, y, z)}{\partial (r, \theta, \phi)} = r^{2} \sin \theta</math> となる。<br>
<br>
したがって、求める多重積分は次式となる。<br>
<math>
\begin{align}
& \iint_{D} 2z^{3} (2x^{2} - y^{2}) \, dxdydz \\
&= \iint_{D'} 2r^{3} \cos^{3} \theta (2r^{2} \sin^{2} \theta \cos^{2} \phi - r^{2} \sin^{2} \theta \sin^{2} \phi) \, \left | \frac{\partial (x, y, z)}{\partial (r, \theta, \phi)} \right | dr d \theta d \phi \\
&= 2 \int_{0}^{a} dr \int_{0}^{\pi / 2} d \theta \int_{0}^{2 \pi} r^{7} \sin^{3} \theta \cos^{3} \theta (2 \cos^{2} \phi - \sin^{2} \phi) \, d \phi \\
&= 2 \left ( \int_{0}^{a} r^7 dr \, \right ) \left ( \int_{0}^{\pi/2} \sin^{3} \theta \cos^{3} \theta \, d \theta \right ) \left \{ \int_{0}^{2\pi} (2 \cos^{2} \phi - \sin^{2} \phi) \, d \phi \right \} \\
&= \left ( \int_{0}^{a} r^{7} \, dr \right ) \left \{ \int_{0}^{\pi/2} \sin^{3} \theta (1 - \sin^{2} \theta) \cos \theta \, d \theta \right \} \left \{ \int_{0}^{2 \pi} (3 \cos^{2} \phi - 1) \, d \phi \right \} \\
&= \left ( \int_{0}^{a} r^{7} \, dr \right ) \left \{ \int_{0}^{\pi/2} \cos \theta (\sin^{3} \theta - \sin^{5} \theta) \, d \theta \right \} \left \{ \int_{0}^{2\pi} \left ( \frac{3}{2} \cos 2 \phi + \frac{1}{2} \right ) \, d \phi \right \} \\
&= 2 \left [ \frac{r^{8}}{8} \right ]_{0}^{a} \left [ \frac{\sin^{4} \theta}{4} - \frac{\sin^{6} \theta}{6} \right ]_{0}^{\pi/2} \frac{1}{2} \left [ \frac{3 \sin 2 \phi}{2} + \phi \right ]_{0}^{2\pi} \\
&= \frac{a^{8}}{8} \left ( \frac{1}{4} - \frac{1}{6} \right ) 2 \pi \\
&= \frac{\pi a^{8}}{48}
\end{align}
</math><br>
<br><br>

== 2重積分の極座標変換 ==
軸対称や球対称の関数を積分する際に用いられる極座標による積分である。<br>
<math>\int_{- \infty}^{+ \infty} \int_{- \infty}^{+ \infty} {e^{- (x^{2} + y^{2})} \, dx dy} \qquad D = \{ (x, y) \, | \, 0 \le x^{2} + y^{2} \le + \infty, \, - \infty < x < + \infty, \, - \infty < y < + \infty \}</math><br>
<br>
積分範囲の中に円 <math>0 \le x^{2} + y^{2} \le + \infty</math> が含まれている。<br>
このように、円が含まれている時は極座標変換 <math>x = r \cos(\theta), \, y = r \sin(\theta), \quad (0 \le r, \, \, 0 \le \theta \le 2 \pi)</math> とおく。<br>
（ <math>r</math> は半径のため必ず <math>0</math> 以上、 <math>\theta</math> は最大でも1周分なので <math>0 \le \theta \le 2 \pi</math> または <math>- \pi \le \theta \le \pi</math> の制約がかかる点に注意する）<br>
<br>
ここで変数変換をおこなったのでヤコビアンを計算して <math>dx dy</math> と <math>dr d \theta</math> の関係式を求める必要がある。<br>
<math>
\begin{align}
J = & \left| \begin{array}{ccc} \frac{\partial x}{\partial r} & \frac{\partial x}{\partial \theta} \\ \frac{\partial y}{\partial r} & \frac{\partial y}{\partial \theta} \end{array} \right| \\
= & \left| \begin{array}{ccc} \cos \theta & - r \sin \theta \\ \sin \theta & r \cos \theta \end{array} \right| \\
= & r \left( \cos^2 \theta + \sin^2 \theta \right) \\
= & r
\end{align}
</math><br>
<br>
したがって、 <math>dx dy = r \ dr d \theta</math> となる。<br>
<br>
積分範囲は <math>0 \le r^2 < \infty, \ \ \ -1 \le r \cos(\theta) \le 1, \ \ \ -1 \le r \sin(\theta) \le 1</math> となり、<br>
<math>r \ge 0</math> のため、 <math>0 \leqq r \leqq \infty, \ \ \ -1 \le \cos(\theta) \le 1, \ \ \ -1 \le \sin(\theta) \le 1</math> となる。<br>
<br>
<math>\cos(\theta) \ge 0</math> かつ <math>\sin(\theta) \ge 0</math> を満たすような <math>\theta</math> は <math>0 \le \theta \le 2 \pi</math> なので、<br>
変換後の積分範囲 <math>D'</math> は <math>D' = \{ (r, \theta) \, | \, 0 \le r \le \infty, \, \, 0 \le \theta \le 2 \pi \}</math> の形に変換でき、2重積分を計算することができる。<br>
<br>
<math>
\begin{align}
\int_{- \infty}^{+ \infty} \int_{- \infty}^{+ \infty} {e^{- (x^{2} + y^{2})} \, dx dy} &= \int_{0}^{2 \pi} \int_{0}^{\infty} {e^{- (r^{2} \cos^{2}(\theta) + r^{2} \cos^{2}(\theta))} \, r dr d \theta} \\
&= \int_{0}^{2 \pi} \int_{0}^{\infty} {e^{- r^{2}} \, r dr d \theta}
\end{align}
</math><br>
<br>
ここで、更に変数変換を行う。<br>
<math>t = r^{2}</math> とおくと、 <math>dt = 2r dr</math> となり、変数 <math>t</math> の積分範囲は、 <math>0 \le t < \infty</math> となる。<br>
<br>
<math>
\begin{align}
\int_{0}^{2 \pi} \int_{0}^{\infty} {e^{- r^{2}} \, r dr d \theta} &= \frac{1}{2} \int_{0}^{2 \pi} \int_{0}^{\infty} {e^{-t} \, dt d \theta} \\
&= \pi \int_{0}^{\infty} {e^{-t} \, dt} \\
&= \pi \Big[ - e^{-t} \Big]_{0}^{\infty} \\
&= \pi \, (0 + 1) \\
&= \pi
\end{align}
</math><br>
<br><br>

== 2重積分の極座標変換 (楕円の場合) ==
領域が円ではなく楕円の場合も、極座標変換して2重積分を行うことができる。<br>
<br>
<math>\iint_D \, dxdy \qquad D = \left\{ (x, y) \ | \ \frac{x^2}{a^2} + \frac{y^2}{b^2} \le 1 \right\}</math><br>
<br>
領域が楕円の場合、分母にある <math>a^{2}</math> , <math>b^{2}</math> を消すために、極座標変換 <math>x = ar \cos(\theta), \ \ \ y = br \sin(\theta) \quad ( r \ge 0, \ \ 0 \le \theta \le 2 \pi )</math> とおく。<br>
ヤコビアンを計算して、 <math>dx dy</math> と <math>dr d \theta</math> の関係式を求める。<br>
<math>
\begin{align}
J = & \left| \begin{array}{ccc} \frac{\partial x}{\partial r} & \frac{\partial x}{\partial \theta} \\ \frac{\partial y}{\partial r} & \frac{\partial y}{\partial \theta} \end{array} \right| \\
= & \left| \begin{array}{ccc} a \cos \theta & - a r \sin \theta \\ b \sin \theta & b r \cos \theta \end{array} \right| \\
= & \ abr \left( \cos^2 \theta + \sin^2 \theta \right) \\
 = & \ abr
\end{align}
</math><br>
<br>
よって、 <math>dxdy = abr \ dr d \theta</math> となる。<br>
<br>
また、積分範囲は <math>0 \le r^{2} < 1, \, \, -1 \le \cos(\theta) \le 1, \, \, -1 \le \sin(\theta) \le 1</math> となるので、<br>
変換後の積分範囲 <math>D'</math> は、 <math>D' = \left\{ (r, \theta) \, | \, 0 \le r < \infty, \, \, 0 \le \theta \le 2 \pi \, \right\}</math> の形にできる。<br>
<br>
<math>
\begin{align}
\iint_D \, dxdy = & \int_{0}^{2 \pi} \int_{0}^{1} abr \, dr d \theta \\
= & ab \int_{0}^{1} {r} \, dr \int_{0}^{2 \pi} \, d \theta \\
= & ab \Big[ \frac{r^{2}}{2} \Big]_{0}^{1} \cdot \Big[ \theta \Big]_{0}^{2 \pi} \\
= & ab \cdot \frac{1}{2} \cdot 2 \pi \\
= & ab \pi
\end{align}
</math><br>
<br><br>


__FORCETOC__
[[カテゴリ:解析学]]