多重積分 - 版の履歴

Wiki: /* 多重積分の極座標変換 */

2023-09-05T03:53:25Z

多重積分の極座標変換

@@ 272行目: / 272行目: @@
 <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>
@@ 318行目: / 318行目: @@
 </math><br>
 <br><br>
 __FORCETOC__
 [[カテゴリ:解析学]]

Wiki: /* 積分領域が変数に依存し、変数変換する必要がある場合 */

2023-09-04T15:27:00Z

積分領域が変数に依存し、変数変換する必要がある場合

@@ 268行目: / 268行目: @@
 &= \frac{a^{8}}{8} \left ( \frac{1}{4} - \frac{1}{6} \right ) 2 \pi \\
 &= \frac{\pi a^{8}}{48}
 \end{align}
 </math><br>

Wiki: /* 積分領域が変数に依存し、変数変換する必要がない場合 */

2022-04-28T17:32:43Z

積分領域が変数に依存し、変数変換する必要がない場合

← 古い版		2022年4月29日 (金) 02:32時点における版
122行目:		122行目:

	(1) <math>\int_{0}^{1} \int_{0}^{-x^{2} + 1} xe^{-y} \, dxdy</math>		(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>		(2) <math>\int_{0}^{1} \int_{x^{2}}^{x} (x + y)^{2} \, dxdy</math>
	<br>		<br>
	(1)<br>		(1)<br>
141行目:		141行目:
	\begin{align}		\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 \\		\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} - \left [ \frac{1}{2} e^{x^{2} - 1} \right ]_{0}^{1} \\~~
	&= \left [ \frac{1}{2} x^{2} \right ]_{0}^{1} - \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		&= \frac{1}{2} - \int_{0}^{1} xe^{x^{2} - 1} \, dx
168行目:		167行目:
	<math>		<math>
	\begin{align}		\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} \\		\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} \left \{ 8x^{3}-(x + x^{2})^{3} \right \} \, dx \\
	&= \frac{1}{3} \int_{0}^{1} (-x^{6} - 3x^{5} - 3x^{4} + 7x^{3}) \, dx		&= \frac{1}{3} \int_{0}^{1} (-x^{6} - 3x^{5} - 3x^{4} + 7x^{3}) \, dx

Wiki: /* 積分領域が変数に依存し、変数変換する必要がある場合 */

2022-02-12T20:32:14Z

積分領域が変数に依存し、変数変換する必要がある場合

← 古い版		2022年2月13日 (日) 05:32時点における版
212行目:		212行目:
	(1)<br>		(1)<br>
	与えられた座標系では、積分領域Dは下図左のようにドーナツ型になる。<br>		与えられた座標系では、積分領域Dは下図左のようにドーナツ型になる。<br>
			[[ファイル:Multiple Integrals 3.png\|フレームなし\|中央]]
	<br>		<br>
	まず、極座標系(r, θ)に座標変換する。<br>		まず、極座標系(r, θ)に座標変換する。<br>
240行目:		241行目:
	(2)<br>		(2)<br>
	与えられた座標系では、積分領域Dは下図のように半球型になる。<br>		与えられた座標系では、積分領域Dは下図のように半球型になる。<br>
			[[ファイル:Multiple Integrals 4.png\|フレームなし\|中央]]
			<br>
	そのため、極座標系<math>(r, \theta, \phi)</math> に座標変換する。<br>		そのため、極座標系<math>(r, \theta, \phi)</math> に座標変換する。<br>
	<br>		<br>

Wiki: /* 積分領域が変数に依存し、変数変換する必要がない場合 */

2022-02-12T20:30:24Z

積分領域が変数に依存し、変数変換する必要がない場合

← 古い版		2022年2月13日 (日) 05:30時点における版
125行目:		125行目:
	<br>		<br>
	(1)<br>		(1)<br>
	~~積分領域は右図のようになる。~~		積分領域は下図のようになる。<br>
			[[ファイル:Multiple Integrals 1.png\|フレームなし\|中央]]
			<br>
	被積分関数が変数分離できる形であるが、yの積分がxに依存しているため、まず、yで積分する。<br>		被積分関数が変数分離できる形であるが、yの積分がxに依存しているため、まず、yで積分する。<br>
	<math>		<math>
160行目:		162行目:
	<br>		<br>
	(2)<br>		(2)<br>
			積分領域は下図のようになる。<br>
			[[ファイル:Multiple Integrals 2.png\|フレームなし\|中央]]
			<br>
	まず、yでの積分がxに依存しているため、yで積分する。<br>		まず、yでの積分がxに依存しているため、yで積分する。<br>
	<math>		<math>

Wiki: /* 積分領域が変数に依存し、変数変換する必要がある場合 */

2022-02-11T15:51:04Z

積分領域が変数に依存し、変数変換する必要がある場合

@@ 230行目: / 230行目: @@
 &= 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>

Wiki: /* 積分領域が変数に依存し、変数変換する必要がある場合 */

2022-02-11T14:05:10Z

積分領域が変数に依存し、変数変換する必要がある場合

@@ 199行目: / 199行目: @@
 ここで、<math>\left | \frac{\partial (x_{1}, \cdots, x_{n})}{\partial (\alpha_{1}, \cdots, \alpha_{n})} \right |</math> は、ヤコビアンの絶対値である。<br>
 すなわち、積分変数を変換したのち、被積分関数にヤコビアンの絶対値を乗算すればよい。<br>
 <br><br>
 __FORCETOC__
 [[カテゴリ:解析学]]

Wiki: /* 積分領域が変数に依存し、変数変換する必要がない場合 */

2022-02-11T12:15:37Z

積分領域が変数に依存し、変数変換する必要がない場合

@@ 118行目: / 118行目: @@
 <br>
 積分領域が変数に依存する積分から実行して、他の変数の積分の被積分関数を決定させる必要がある。<br>
 <br><br>
 __FORCETOC__
 [[カテゴリ:解析学]]

Wiki: ページの作成:「== 概要 == 多重積分とは、関数を多変数で積分することである。

== 多重積分の種類 == 多重積分の種類は、以下の4種類に大別される。
* 積分領域が定数のみで決まり、被積分関数が変数分離できる場合 *: 積分領域が定数のみで決まるということは、 $\int_{b}^{a} \int_{d}^{c} f(x,y) dxdy$ のように個々の変数の積分範囲が定数で表されるこ…」

2022-01-31T03:02:55Z

ページの作成:「== 概要 == 多重積分とは、関数を多変数で積分することである。 == 多重積分の種類 == 多重積分の種類は、以下の4種類に大別される。 * 積分領域が定数のみで決まり、被積分関数が変数分離できる場合 *: 積分領域が定数のみで決まるということは、<math>\int_{b}^{a} \int_{d}^{c} f(x,y) dxdy</math> のように個々の変数の積分範囲が定数で表されるこ…」

新規ページ

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

== 多重積分の種類 ==
多重積分の種類は、以下の4種類に大別される。 
* 積分領域が定数のみで決まり、被積分関数が変数分離できる場合
*: 積分領域が定数のみで決まるということは、<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> のように、ある変数の積分範囲が別の変数の関数で表されることを意味する。
* 積分領域が変数に依存し、変数変換する必要がある場合
*: 変数変換する必要があるということは、与えられた座標系では積分領域が複雑で、変数変換しないと解析的に積分できないことを指す。
 

== 積分領域が定数のみで決まり、被積分関数が変数分離できる場合 ==
積分領域が定数のみで決まり、被積分関数が変数分離できる場合、すなわち、 
<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> となる場合を考える。 
 
この場合、各1変数関数gk(xk)は他の変数の積分には寄与しないため、最終的に次式となり、1変数での積分の積の形に帰着する。 
<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> 
 
例題. 次の定積分を求めよ。
(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>
 
例題(1)、(2)ともに積分領域が定数のみで決まり、被積分関数が変数分離できるため、それぞれ独立した1変数での積分の積で表される。 
 
(1) 
<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> 
 
(2) 
<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> 
 

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

(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>
 
(1) 
<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> 
 
(2) 
<math>f(y) = xy, \quad g(y) = - \cos(xy)</math>として部分積分を用いる。 
<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> 
次に、<math>f(x) = x, \quad g(x) = \sin(x)</math>として部分積分を用いる。</math> 
<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> 
 

== 積分領域が変数に依存し、変数変換する必要がない場合 ==
与えられた座標系でそのまま積分できる(変数変換する必要がない)場合から扱う。 
 
このパターンの最大の特徴は、積分する順番が決まっていることであり、最初に積分領域が変数に依存する積分から実行する。 
 
例えば、2変数関数f(x, y)を<math>\int_{b}^{a} dx \int_{h(x)}^{g(x)} f(x,y) \, dy</math> のように積分する場合、yの積分範囲がxに依存するため、先にyで積分した後にxで積分するという順番をとる。 
 
この順番になる理由は、yでの積分結果がxの関数になるためであり、これを先に計算しないとxでの積分の被積分関数が決定しないからである。 
そのため、被積分関数が変数分離できる場合でも、同時並行で各変数での積分を実行することはできない。 
 
積分領域が変数に依存する積分から実行して、他の変数の積分の被積分関数を決定させる必要がある。 
 

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