逐次積分のソースを表示

[[数学]]の[[微分積分学]]周辺分野における'''逐次積分'''（ちくじせきぶん、{{lang-en-short|''iterated integral''}}; '''累次積分'''、'''反復積分'''）または繰り返し積分 {{lang|en|(repeated integral)}} とは、複数の変数を持つ函数に対して、そのいくつかの変数を任意定数と看做すことによって得られる複数の積分を繰り返し適用して得られる積分のことである。例えば二変数函数 ''f''(''x'', ''y'') に対して、''y'' は定数（あるいは[[助変数]]）と看做して ''x'' に関する積分 &int;&thinsp;''f''(''x'',&thinsp;''y'')''dx'' を考えることができて、これは ''y'' の函数をあたえるから、さらに ''y'' に関して積分して、逐次積分 
:<math>\int\left(\int f(x,y)dx\right)dy</math>
が得られる。逐次積分の概念を考えるに当たり一つ重要な点としては、これは[[多重積分]]
:<math>\iint f(x,y)\,dx\,dy</math>
とは原則として異なる概念であるということが挙げられる。すなわち、一般にはこの二つは異なるのであるけれども、それでも十分緩やかな条件下でこれらが一致することを主張する[[フビニの定理]]が知られている。

括弧を省いて表記を簡素化する
:<math>\int dy \int f(x,y)\,dx</math>
のような記法も慣習的によく用いられるが、これを &int;''dy'' と &int;''f''(''x'',&thinsp;''y'')''dx'' との積と混同してはならない。

逐次積分は、括弧などで指定された演算順序に従って計算していくことになるが、内側から順に逐次外側へ向かって計算するのが自然である。

== 例 ==
=== 簡単な計算 === 
逐次積分
:<math>\int\left(\int (x+y) \, dx\right)dy</math>
の計算については、内側の ''x'' に関する積分が ''y'' を定数とみて
:<math>\int (x+y) \, dx = \frac{x^2}{2} + yx</math>
と計算できるから、これを ''y'' に関して積分して
:<math>\int \Bigl(\frac{x^2}{2} + yx\Bigr)dy = \frac{yx^2}{2} + \frac{xy^2}{2} </math>
を得る。ただし、この計算の過程で現れるはずの積分定数については省略した。注意すべきは、最初に内側の積分を行ったときに現れる積分定数とは、''x'' に関して言う限りにおいて「定数」なのであって、これは厳密に言えば ''y'' を含む函数となることである。これは、積分函数を ''x'' に関して（偏）微分するならば、もともとの被積分函数が何であるかとは無関係に ''y'' のみを含む項はすべて消えることに起因する。同様に、二度目の積分では ''y'' に関する積分をするから、「積分定数」として ''x'' の函数が加えられる。このような事情から、多変数函数に対する不定積分というものはそれほど明確な意味を持つものとはならない。一変数函数の原始函数が高々定数の違いしか持たないのに対して、多変数函数の原始函数に変数を含む未知項が現れることは函数の振る舞いを劇的に変えてしまうのである。

=== 積分の順序 ===
逐次積分において、どの順番で積分を計算するかは重要なことである。例えば、計算順序が変われば結果も変わるということが、少し複雑な函数に対しては普通に起きる。

正数からなる単調増加数列 0 &lt; ''a''<sub>0</sub> &lt; ''a''<sub>2</sub> &lt; … が ''a''<sub>''n''</sub> &rarr; 1 を満たすとし、連続函数 ''g''<sub>''n''</sub> が開区間 (''a''<sub>''n''</sub>, ''a''<sub>''n''+1</sub>) で 0 でなく、それ以外では常に 0 となるものとして、さらに任意の ''n'' について &int;{{su|b=0|p=1}} ''g''<sub>''n''</sub> = 1 が満たされるならば、
:<math>f(x,y)=\sum_{n=0}^\infty (g_n(x)-g_{n+1}(x))g_n(y)</math>
なる和によって函数 ''f''(''x'', ''y'') を定義することができる。これは各 (''x'', ''y'') を決めるごとに 0 でない項は高々ひとつしかないことに注意すれば、
:<math>\int_0^1 \left(\int_0^1 f(x,y) \,dy\right)dx = 1\neq 0 = \int_0^1 \left(\int_0^1 f(x,y)\, dx\right)dy</math>
なることが確かめられる{{harv|Rudin|1970}}。

== 注釈 ==
<references/>

== 参考文献 ==
{{参照方法|date=2023年1月2日 (月) 06:46 (UTC)|section=1}}
* {{cite book|first=Rudin|last=W.|author-link=ウォルター・ルーディン|title=Real and complex analysis|edition=3rd.|publisher=[[マグロウヒル|McGraw-Hill]]|isbn=0-07-054234-1|year=1987}}
* {{cite book|和書|title=解析概論|author=高木貞治|edition=改訂第三版|publisher=岩波書店}}

== 関連図書 ==
* {{cite book|和書|title=反復積分の幾何学|series=シュプリンガー現代数学シリーズ|author=河野俊丈|publisher=シュプリンガージャパン|year=2009|isbn=978-4431706694}}

== 外部リンク ==
* {{MathWorld|urlname=RepeatedIntegral|title=Repeated Integral}}
* {{PlanetMath|urlname=IteratedIntegral|title=integral over plane region}}

{{DEFAULTSORT:ちくしせきふん}}
[[Category:積分法]]
[[Category:数学に関する記事]]