本記事の内容
本記事は累次積分の順序、すなわち積分する順番について解説する記事です。
本記事を読むにあたり、累次積分について知っている必要があるため、以下の記事も合わせてご覧ください。
累次積分の軽い復習
まずは、累次積分を軽く復習します。
定理0.
有界な実数値関数\(f:I=J\times K\to\mathbb{R}\)が次の２つの条件1.、2.を満たすとする。- \(f\)は\(I\)上で可積分である。
- 各\(\boldsymbol{x}\in J\)を固定するとき、\(\boldsymbol{y}\)の関数\(f^\boldsymbol{x}: \boldsymbol{y}\mapsto f(\boldsymbol{x},\boldsymbol{y})\)は\(K\)上で可積分である。
定理0.の証明は【解析学の基礎シリーズ】積分編 その23を御覧ください。
要するに、関数が可積分で、かつ１つの変数を固定してもう一つの変数について可積分であれば、各変数について順々に積分を計算すればよい、ということです。
さらに言えば、結局のとろこは１変数の積分に帰着する、というわけです。
では
ということです。
先の定理0.の字面だけを見るとまず\(\boldsymbol{y}\)について積分して、その後\(\boldsymbol{x}\)について積分するということを述べているように感じられるかもしれません。
しかし、実は違います。
特定の状況下ではどちらの変数から計算してもOKという事実があります。
この事実は定理0.から導けます。
定理0.の系①(累次積分の順序)
先程も述べたように、要するに特定の状況下ではどの変数から計算しても良い、という主張です。
主張の明示
系1.(定理0.の系)
有界な関数\(f:I=J\times K\to\mathbb{R}\)が定理0.の仮定1.および2.、すなわち- \(f\)は\(I\)上で可積分である。
- 各\(\boldsymbol{x}\in J\)を固定するとき、\(\boldsymbol{y}\)の関数\(f^\boldsymbol{x}: \boldsymbol{y}\mapsto f(\boldsymbol{x},\boldsymbol{y})\)は\(K\)上で可積分である。
条件が錯綜している気がするのでより見やすい形で主張を明示すると以下です。
系1.(定理0.の系)をもっと見やすい形で
有界な関数\(f:I=J\times K\to\mathbb{R}\)が以下の条件1、,2.、3.を満たすとする。- \(f\)は\(I\)上で可積分である。
- 各\(\boldsymbol{x}\in J\)を固定するとき、\(\boldsymbol{y}\)の関数\(f^\boldsymbol{x}: \boldsymbol{y}\mapsto f(\boldsymbol{x},\boldsymbol{y})\)は\(K\)上で可積分である。
- \(\boldsymbol{y}\in K\)を固定したとき、関数\(\boldsymbol{x}\mapsto f(\boldsymbol{x},\boldsymbol{y})\)が\(J\)上で可積分である。
要するに、平たく言えば、
ということです。
証明は定理0.とほぼ同じです(定理0.の系なのだからそりゃそうだ、という話なのですが)。
主張の証明
では、証明に入っていきます。
とはいえ、お察しの通り殆ど定理0.と同じというか、定理0.を使うだけです。
系1.の証明
①式の1つ目の等式が成り立つのは定理0.の主張そのものなので、定理0.が証明されているから、成り立ちます。
また、2つめの等式が成り立つことは、仮定2.と仮定3.により\(\boldsymbol{x}\)と\(\boldsymbol{y}\)の役割を交換することができるため、定理0.の証明と全く同様にして証明されます(つまり、\(\boldsymbol{y}\)の部分を\(\boldsymbol{x}\)に書き換えるだけ)。
(※定理0.の証明は【解析学の基礎シリーズ】積分編 その23を御覧ください。)
系2.の証明終わり
系1.は、先程述べたように「\(\boldsymbol{x}\)についての積分と\(\boldsymbol{y}\)についての積分がどちらを先にやっても結果は変わりませんよ」ということを示しています。
これは積分の範囲が\(I=J\times K\)というように直積集合になっていて、かつ\(\boldsymbol{x}\)を固定したときに\(\boldsymbol{y}\)の動く範囲が\(\boldsymbol{x}\)に依存せずに一定となっているからです。
一般の範囲で積分するときには、積分の範囲に注意をする必要があります。
定理0.の系②(特定の状況下では累次積分の順序はどの変数から積分してもOK)
もう一つ定理0.の系を紹介します。
そのために、直和について述べておきます(もしかしたら以前の記事で述べていたかもしれません)。
集合の直和と直和分解
なんてことありません。
集合の直和、直和分解
集合\(X\)が共通部分が空集合であるような2つの集合\(A\)と\(B\)の和集合となるとき、すなわち $$ X=A\cup B,\quad A\cap B=\emptyset $$ のとき、\(X\)は\(A\)、\(B\)の直和であるといい、 $$ X=A\sqcup B $$ と書く。また、このとき\(X=A\oplus B\)と書くこともある。 集合\(X\)に対して、共通部分が空集合であるような集合\(A\)および\(B\)により\(X=A\sqcup B\)と書くことを\(X\)の直和分解という。例えば、\(X=\left\{1,2,3,4,5\right\}\)として、
\begin{eqnarray}
A&=&\left\{1,3,5\right\},\\
B&=&\left\{2,4\right\}
\end{eqnarray}
とすると、\(X=A\cup B\)かつ\(A\cap B=\emptyset\)ですので、\(X=A\sqcup B\)です。
勿論、\(X\)の直和分解は\(X\)に対して一意的に定まるわけではありません。
\begin{eqnarray}
C&=&\left\{1,4\right\},\\
D&=&\left\{2,3,5\right\}
\end{eqnarray}
としても\(X=C\cap D\)かつ\(C\cap D=\emptyset\)ですので、\(X=C\sqcup D\)です。
主張の明示
主張を明示します。
系2.(定理0.の系②)
\(p+q=n\)とし、 $$ \left\{1,2,\dots,n\right\}=\left\{i_1,i_2,\dots,i_p\right\}\sqcup\left\{i_{p+1},i_{p+2},\dots,i_n\right\} $$ となるような任意の直和分解を取り、\(\boldsymbol{z}=(z_1,z_2,\dots,z_n)\)に対して\(\boldsymbol{x}=(z_{i_1},z_{i_2},\dots,z_{i_p})\)、\(\boldsymbol{y}=(z_{i_{p+1}},z_{i_{p+2}},\dots,z_{i_n})\)とおき、\(f(\boldsymbol{z})=f(\boldsymbol{x},\boldsymbol{y})\)と考えれば、定理0.がこの場合にも成り立つ。この主張はまさに、
ということです。
少々強く言うと、「好きなところから積分してOK」ということです。
主張の証明
では、証明に入っていきます。
とはいえ、結局定理0.に帰着されます。
系2.の証明
今回の場合でも、
$$
I=[a_1,b_1]\times[a_2,b_2]\times\dots\times[a_n,b_n]
$$
に対して、
\begin{eqnarray}
J&=&[a_{i_1},b_{i_1}]\times[a_{i_2},b_{i_2}]\times\cdots\times[a_{i_p},b_{i_p}],\\
K&=&[a_{i_{p+1}},b_{i_{p+1}}]\times[a_{i_{p+2}},b_{i_{p+2}}]\times\cdots\times[a_{i_n},b_{i_n}]
\end{eqnarray}
とすると、
$$
v(I)=v(J)\cdot v(K)
$$
が成り立ちます。
後は、定理0.の証明と全く同じです。
(※定理0.の証明は【解析学の基礎シリーズ】積分編 その23を御覧ください。)
系2.の証明終わり
計算して確かめてみます。
例3. \(\displaystyle I=\int\int_{[0,a]\times[0,b]}\left( x^2+y^2\right)\ dxdy\)を計算してみます。
\begin{eqnarray}
I&=&\int_0^a\left\{\int_0^b\left( x^2+y^2\right)\ dy\right\}dx\\
&=&\int_0^a\left[ x^2y+\frac{1}{3}y^3\right]_{y=0}^{y=b}\ dx\\
&=&\int_0^a\left( bx^2+\frac{1}{3}b^3\right)\ dx\\
&=&\left[ \frac{1}{3}bx^3+\frac{1}{3}b^3x\right]_0^a\\
&=&\frac{ab}{3}\left(a^2+b^2 \right)
\end{eqnarray}
です。
一方で、
\begin{eqnarray}
\int_0^b\left\{\int_0^a\left( x^2+y^2\right)\ dx\right\}dy&=&\int_0^b\left[ \frac{1}{3}x^3+xy^2\right]_{x=0}^{x=a}\ dy\\
&=&\int_0^b\left( \frac{1}{3}a^3+ay^2\right)\ dy\\
&=&\left[ \frac{1}{3}a^3y+\frac{1}{3}ay^3\right]_0^b\\
&=&\frac{ab}{3}\left(a^2+b^2 \right)
\end{eqnarray}
となります。
確かに、一致しています。
皆様のコメントを下さい！
記事の内容とまったくもって関係ないお話をします。
筆者は作業用BGMを聞きながら記事を執筆しています。
実際に数学の問題だったり内容を精査するときは無音状態で作業しますが。
最近の筆者のお気に入りはlofi-hiphopです。
皆様は作業中に何か音楽を聞きながら作業していますか？
お気に入りの作業用BGMを教えて下さい！
結
今回は、累次積分の計算の順序について解説しました。
前回示した定理0.により、多変数の積分といえど、結局は1変数の積分を何度も繰り返すことで計算が可能だ、ということが保証されます。
そして、各変数に対して、その変数の定義域上で可積分であれば、積分する順序は全く関係ない、ということを今回説明しました。
次回は、1時間チャレンジです！
乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。
この記事の内容をより詳しく知りたい方は以下のリンクの本を参照してください！
ちなみに「解析概論」は日本の歴史的名著らしいので、辞書的にもぜひ１冊持っておくと良いと思います！
コメントをする