多重積分のソースを表示

<!--{{Expert-subject|Mathematics|date=May 2010}}-->
{{No footnotes|date=May 2010}}
{{Refimprove|date=May 2010}}

{{Redirect|二重積分|二重積分方式のA/D変換|アナログ-デジタル変換回路}}

{{calculus}}
[[数学]]の[[微分積分学]]周辺分野における'''重積分'''（じゅうせきぶん、{{lang-en-short|''multiple integral''}}; '''多重積分'''）は、一変数の実函数に対する[[定積分]]を[[多変数函数]]に対して拡張したものである。''n''-変数函数の重積分は ''n''-重積分とも呼ばれ、二変数および三変数函数に対する重積分は、それぞれ特に'''二重積分''' {{lang|en|(''double integral'')}} および'''三重積分''' {{lang|en|(''triple integral'')}} と呼ばれる。

== 導入 ==
[[File:Areabetweentwographs.svg|thumb|right|二つの曲線に挟まれた領域の面積としての積分]]
[[File:Volume under surface.png|right|thumb|曲面 ''z'' = ''x''<sup>2</sup> &minus; ''y''<sup>2</sup> の下にある領域の体積としての二重積分。立体の底面となる矩形領域が積分領域で、上面となる曲面は二変数の被積分函数のグラフである。]]

一変数の正値函数の定積分が、函数のグラフと ''x''-軸とに挟まれた領域の[[面積]]を表していたのとちょうど同じように、二変数の正値函数の'''二重積分'''は（[[三次元空間]]内の[[直交座標系|デカルト平面]]上で定義される）函数のグラフとして得られる曲面とその[[函数の定義域]]を含む平面との間に挟まれる領域の[[体積]]を表す。変数の数が三以上の多変数函数についても同様に、多変数函数のグラフと定義域を含む長空間で挟まれる領域の[[超体積]]に多重積分が対応している。

領域 ''D'' 上で定義された ''n''-変数函数 ''f''(''x''<sub>1</sub>, ''x''<sub>2</sub>, …, ''x''<sub>''n''</sub>) の多重積分は、実行と逆順（最初の積分記号は最後の積分演算に対応する）に並べた積分記号と正順（最初の積分変数が最初の積分演算に対応する）に並べた積分変数で被積分函数を挟んだ入れ子構造として
:<math> \int\cdots\int_{D} f(x_1,x_2,\ldots,x_n)\, dx_1\cdots dx_n </math>
のように書かれることが最もよくある形である（積分領域は、それが積分記号の全てに関係することを象徴的に表すのと記号の簡素化を図るために、総じて全ての積分記号の右または真下に一つだけ附す。）。特に、''S'' ⊆ '''R'''<sup>2</sup> の場合、''f'' の ''T'' 上の二重積分は
:<math>\iint_S f(x,y)\,dx\,dy</math>
のように書かれ、''T'' ⊆ '''R'''<sup>3</sup> のとき ''f'' の ''T'' 上の三重積分は
:<math>\iiint\limits_T f(x,y,z)\,dx\,dy\,dz</math>
のように書かれる。規約により、二重積分で積分記号を二つ、三重積分では積分記号が三つ書かれることになるが、これは重積分を逐次積分として計算する場合（後述）の便宜を考えてのことである。

[[原始函数]]の概念は一変数のときのみ定義されたものであるから、[[不定積分]]の概念をそのまま重積分の場合にも拡張することはできない。

== 厳密な定義 ==
''n'' &gt; 1 として、（右）「半開」''n''-次元[[超矩形]]領域（あるいは一次元の場合のアナロジーで単に区間とも呼ぶ）''T'' を
: <math>T = [a_1, b_1)\times [a_2, b_2)\times\cdots\times [a_n, b_n) \subseteq \mathbb{R}^n</math>
で定義し、各区間 &#x5b;''a''<sub>''j''</sub>, ''b''<sub>''j''</sub>) を[[素集合|互いに交わらない]]左閉右半開小区間 ''i''<sub>''j''<sub>α</sub></sub> の有限族 ''I''<sub>''j''</sub> に[[区間の分割|分割]]すれば、半開小矩形の有限族 ''C'' が
: <math>C=I_1\times I_2\times \cdots \times I_n</math>
によって得られ、これが半開超矩形 ''T'' の'''[[集合の分割|分割]]'''が得られる。すなわち、小矩形領域 ''C''<sub>''k''</sub> はどの二つも互いに素で、それらの和集合が ''T'' に一致する。

半開矩形領域 ''T'' 上で定義される函数 ''f'': ''T'' → '''R''' と、上述のような ''T'' の分割 ''C'' が
: <math>T=C_1\cup C_2\cup \cdots \cup C_m</math>
で与えられるとき、''T'' と ''f'' が囲む領域の ''n''-次元体積の総計を[[リーマン和]]
:<math>\sum_{k=1}^m f(P_k)\text{vol}(C_k)</math>
によって近似することができる。ただし、''P''<sub>''k''</sub> は ''C''<sub>''k''</sub> から取った代表点で、vol(''C''<sub>''k''</sub>) は ''C''<sub>''k''</sub> を一次元区間の直積として表したときの各区間の長さの総乗、すなわち ''C''<sub>''k''</sub> の容積（測度）である。

分割の小矩形 ''C''<sub>''k''</sub> の'''[[径]]'''とは、''C''<sub>''k''</sub> を直積として構成する一次元区間のうちの長さの最大値を言い、また矩形領域 ''T'' の与えられた分割の径とは、その分割に属する小矩形の径の最大値を言う。直観的に、分割の径をどんどん小さくしていけば、小矩形の総数 ''m'' はどんどん大きくなり、また各小矩形の容積 vol(''C''<sub>''k''</sub>) はどんどん小さくなる。函数 ''f'' が'''リーマン可積分'''であるとは、径が高々 &delta; であるような ''T'' の可能な分割すべてを亘る極限
:<math>S=\lim_{\delta \to 0} \sum_{k=1}^m f(P_k)\text{vol}(C_k)</math>
が存在することを言う。''f'' が ''T'' 上でリーマン可積分であるとき、先ほどの ''S'' を ''f'' の ''T'' 上の'''リーマン積分'''と呼び、
:<math> \int\cdots\int_T f(x_1,x_2,\ldots,x_n) dx_1\cdots dx_n </math>
で表す。ベクトル記法 '''x''' = (''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>) を用いて簡潔に
: <math>\int_T f(\mathbf{x})\,d\mathbf{x}</math>
と書くこともある。このとき ''d'''''x''' は ''n''-次元[[微分 (無限小解析)|体積要素]]を表す。

以上では ''T'' を半開矩形領域としたが、勝手な ''n''-次元有界領域上の函数のリーマン積分は、与えられた函数を適当な半開矩形領域上で定義される函数に（もともとの定義域の外では値が 0 となるように）延長してやれば定義できる。すなわち、もともとの函数のもともとの領域上の積分というのを、この矩形領域上のいま延長した函数の積分として定義すればよい。このようにして定義される ''n''-次元のリーマン積分を ''n'' に依らず総称して'''多重リーマン積分'''または単に'''重積分'''と呼ぶ。

また、''n''-次元[[ルベーグ測度]] ''dx''<sup>''n''</sup> に関するルベーグ積分を'''多重ルベーグ積分'''若しくは単に'''重積分'''と呼ぶこともある。

== 性質 ==
一変数函数の積分が持つ多くの性質（たとえば[[線型性]]、領域の加法性、[[単調性]]など）は、重積分に対しても成立する<ref>{{harv|高木}}第8章§92定理77など</ref>。また、積分順序の変更に関する重要な性質として、[[フビニの定理]]としてよく知られる、ある種の条件下で重積分の値が積分順序に依らないというものがある。

; 被積分函数に対する線型性
: <math>\int_D (\alpha f+\beta g)(\mathbf{x})d\mathbf{x} = \alpha\int_D f(\mathbf{x})d\mathbf{x} + \beta\int_D g(\mathbf{x})d\mathbf{x}.</math>
; 積分領域に対する加法性
: <math>\int_{D\sqcup E} f(\mathbf{x})d\mathbf{x} = \int_D f(\mathbf{x})d\mathbf{x} + \int_E f(\mathbf{x})d\mathbf{x}.</math>
; 被積分函数に対する単調性
: ''D'' 上で ''f'' &le; ''g'' であるならば
: <math>\int_D f(\mathbf{x})d\mathbf{x} \le \int_D g(\mathbf{x})d\mathbf{x}.</math>
; 積分領域に対する単調性
: ''f'' &ge; 0, ''D'' &sube; ''E'' ならば
: <math>\int_D f(\mathbf{x})d\mathbf{x} \le \int_E f(\mathbf{x})d\mathbf{x}.</math>
; 絶対値に関する不等式
: <math>\left|\int_D f(\mathbf{x})d\mathbf{x}\right| \le \int_D |f(\mathbf{x})|d\mathbf{x}.</math>
; 積分の平均値定理
: <math>\inf_{\mathbf{x}\in D}f(\mathbf{x})\le \frac{1}{\text{vol}(D)}\int_D f(\mathbf{x})d\mathbf{x}\le \sup_{\mathbf{x}\in D}f(\mathbf{x}).</math>
== 変数変換 ==
{{See also|置換積分}}
積分の限界は（領域がよい性質を持つか、複雑な式を用いでもしない限り）容易に入れ替えることは普通できない。扱う式が依り簡単になるような、より「素性のよい」領域上の積分へ書き換えるための[[変数変換]]を行うには、函数を新しい座標系で適切に扱う必要がある。

領域 ''A'' を動く変数 '''x''' を、可微分同相写像 &Phi;: ''B'' &rarr; ''A'' によって '''y''' に変数変換するとき、''A'' 上の函数 ''f'': ''A'' &rarr; '''R''' の積分は
: <math>\int_A f(\mathbf{x})d\mathbf{x} = \int_B f(\Phi(\mathbf{y}))|\det(J_\Phi(\mathbf{y}))|d\mathbf{y} </math>
のように変換を受ける<ref>{{harv|高木}}第8章§96</ref>。ここで ''J''<sub>&Phi;</sub> は &Phi; の[[函数行列]]で、det はその[[行列式]]を、縦棒はその[[絶対値]]を表す。すなわち、函数の引数は変数変換にそのまま従って置き換えればよいが、体積要素の置き換えには局所的な比を表す函数行列式が現れるのである。

== 多変数の広義積分 ==
[[File:Dominio improprio.svg|thumb|right|非有界領域の例]]一変数の場合と同様に、多重リーマン積分を定義できるのは有界領域上で有界な函数だけであり、非有界領域上の積分あるいは領域の境界の近くで非有界な函数の積分に定義を拡張しようとした場合は、[[広義積分]]を考えることが必要になる。広義多重積分は領域の極限のとり方の自由度が高い（極限によって必ずしも面積が確定しない領域が存在する）ため、一変数の場合の広義積分と少々事情が異なるが、一定の仮定を満たす場合については一変数と同様の議論を行うことができる。

最も単純な場合として、非有界領域 ''D'' 上で定義された正値函数 ''f'' で、その領域に含まれる任意の有界閉部分領域（コンパクト領域）''K'' 上で函数が有界かつ可積分であるものを考える。この場合、もともとの非有界領域 ''D'' が有界閉部分領域の[[列 (数学)|列]]または[[有向点族|有向族]] ''K''<sub>&lambda;</sub> の極限として到達可能ならば、''f'' の ''D'' 上の積分を極限
: <math>\int_D f(\mathbf{x})d\mathbf{x} := \lim_{K_\lambda\to D} f(\mathbf{x})d\mathbf{x}</math>
によって定義し、これが有限な値をとるとき ''f'' は ''D'' 上で'''広義リーマン可積分'''あるいは単に'''広義積分可能'''であるという。ただし、これが極限の取り方に依らず一定の値を有することは証明を要する。

一般に正にも負にもなる函数 ''f'' については、それを正部分 ''f''<sup>+</sup> と負部分 ''f''<sup>&minus;</sup> に分解して、絶対変動 &#x7c;''f''&#x7c; = ''f''<sup>+</sup> + ''f''<sup>&minus;</sup> が広義積分可能（つまり、正部分と負部分がともに広義積分可能）である場合には、
: <math>\int_D f(\mathbf{x})d\mathbf{x} = \int_D f^+(\mathbf{x})d\mathbf{x} - \int_D f^-(\mathbf{x})d\mathbf{x}</math>
が広義積分可能であると定めればよい。

考えているのがルベーグ積分であるなら、今扱ったような（絶対可積分の）場合はもともとルベーグ積分の扱う範囲に含まれるので、改めて広義積分を考える必要はない。しかしそれ以外の場合については、一変数の場合と同様に、広義リーマン積分としては定義できるけれどもルベーグ積分は定義されないということが起こりうる（ただし、既に述べたように条件可積分であるような広義リーマン積分は容易に扱えない）。

== 重積分と累次積分 ==
{{See also|積分順序}}
適当な条件下においては、重積分は[[累次積分]]に等しく、帰納的に一次元の積分の繰り返しに帰着することができる。すなわち、
: <math>\int_{D^N} f(x_1,\ldots,x_N)dx_1\cdots dx_N 
  = \int_{D^{N-1}}dx_1\cdots dx_{N-1}\int_{D^1} f(x_1,\ldots,x_N)dx_N </math>
を帰納的に用いて計算ができる（右辺は、まず ''x''<sub>''N''</sub> に関して ''f'' を積分したものを、さらに残りの変数に関して積分することを表す）。ただし、積分領域の右肩の添字はその領域の次元を示すもので、''D''<sup>''N''</sup> = ''D''<sup>''N''&minus;1</sup> &times; ''N''<sup>1</sup> であるものとする。

[[フビニの定理]]によれば、''f'' の重積分が絶対可積分であるとき、すなわち
:<math>\int_{A\times B} |f(x,y)|\,d(x,y)<\infty</math>
が成立するとき、
:<math>\int_{A\times B} f(x,y)\,d(x,y)=\int_A\left(\int_B f(x,y)\,dy\right)dx=\int_B\left(\int_A f(x,y)\,dx\right)dy</math>
が成立する。特に、このような条件が満たされるのは &#x7c;''f''(''x'', ''y'')&#x7c; が[[有界函数]]で、''A'', ''B'' がともに[[有界集合]]となるときに限る。

絶対可積分でない場合には、重積分と累次積分とは一般には異なる概念を定めるが、特に両者に同一の記法を用いることもよくあるから混同しないように注意する必要がある。真の二重積分でない累次積分を表すのに
:<math>\int_0^1\int_0^1 f(x,y)\,dy\,dx</math>
のような記法をもちいることもある。この累次積分では、外側の積分
:<math>\int_0^1 \cdots \, dx</math>
は内側の積分によって得られる函数
:<math>g(x)=\int_0^1 f(x,y)\,dy</math>
の、''x'' に関する積分を意味するものである。他方、二重積分は、''xy''-平面上の領域に関して定義される。二重積分が存在するならば、それは "''dy&thinsp;dx''" あるいは "''dx&thinsp;dy''" に関する二種類の累次積分のいずれとも等しく、故にしばしばこのいずれかの累次積分を用いて二重積分を計算することが行われる。しかし問題は、この二つの累次積分がともに存在するにもかかわらず二重積分が存在しない場合があることであって、またそのような場合のうちに両累次積分の値が異なる、つまり
:<math>\int_0^1\int_0^1 f(x,y)\,dy\,dx \neq \int_0^1\int_0^1 f(x,y)\,dx\,dy</math>
となる場合が存在しうることである。そのような場合を、条件付可積分という。

累次積分ではない二重積分であることを強調するために
:<math>\int_{[0,1]\times[0,1]} f(x,y)\,dx\,dy</math>
のような記法を用いることもある。

== 応用の実例 ==
極めて一般に、一変数の場合と同様、多重積分を使って与えられた集合上の函数の「平均」を求めることができる。''n''-次元空間内の部分集合 ''D'' ⊆ '''R'''<sup>''n''</sup> と ''D'' 上の可積分函数 ''f'' が与えられれば、その領域 ''D'' 上の ''f'' の値の平均値は
:<math>\bar{f} = \frac{1}{\text{vol}(D)} \int_D f(x)\,dx</math>
で与えられる。ここに、vol(''D'') は ''D'' の[[測度|容積]]である。

加えて、多重積分は[[物理学]]において多くの用例がある。以下、いくつかの例とその種々の記法について記す。

[[力学]]において[[慣性モーメント]]は距離の自乗を重みとする[[密度]]の[[体積分]]（三重積分）
:<math>I_z = \iiint_V \rho r^2\, dV</math>
で与えられる。[[質量分布]]に付随する[[重力ポテンシャル]]は三次元[[ユークリッド空間]] '''R'''<sup>3</sup> 上の[[ボレル測度|質量測度]] ''dm'' によって
:<math>V(\mathbf{x}) = -\int_{\mathbf{R}^3} \frac{G}{|\mathbf{x} - \mathbf{y}|}\,dm(\mathbf{y})</math>
と与えられる。この分布の密度を表す連続函数 ρ('''x''') が存在するならば、つまり ''d''<sup>3</sup>'''x''' を三次元ユークリッド空間の[[体積要素]]として {{nowrap begin}}''dm''('''x''') = ''ρ''('''x''')''d''<sup>&thinsp;3</sup>'''x'''{{nowrap end}} と書けるならば、重力ポテンシャルは
:<math>V(\mathbf{x}) = -\int_{\mathbf{R}^3} \frac{G}{|\mathbf{x}-\mathbf{y}|}\,\rho(\mathbf{y})\,d^3\mathbf{y}</math>
の形になる。[[電磁気学]]では、[[マクスウェルの方程式]]に重積分を用いて電場や磁場の総体を計算することができる。例えば、空間[[電荷密度]] &rho;('''r''') の[[電荷]]分布から作られる[[電場]]は、三重積分
:<math>\mathbf{E} = \frac {1}{4 \pi \epsilon_0} \iiint \frac {\mathbf{r} - \mathbf{r}'}{\left \| \mathbf{r} - \mathbf{r}' \right \|^3} \rho (\mathbf{r}')\,d^3\mathbf{r}'</math>
で得られる。これは電荷分布を表す[[符号付測度]]に関する積分としても書くことができる。

== 注釈 ==
{{reflist}}

== 参考文献 ==
* Robert A. Adams - Calculus: A Complete Course (5th Edition) ISBN 0201791315.
* R.K.Jain and S.R.K Iyengar- Advanced Engineering Mathematics (Third edition) 2009, Narosa Publishing House ISBN 9788173197307
* {{cite book|和書|author=伊藤清三|title=ルベーグ積分入門|series=数学選書|publisher=裳華房|year=1963|isbn=4-7853-1304-8}}
* {{cite book|和書|author=高木貞治|title=解析概論|edition=改訂第三版|publisher=岩波書店}}

== 関連項目 ==
* [[ベクトル解析]] - [[線積分]]・[[面積分]]・[[体積積分]] / [[ストークスの定理]]・[[ガウスの定理]]・[[グリーンの定理]]
* [[微分形式の積分]]（多様体上の積分）

== 外部リンク ==
* {{MathWorld | urlname=MultipleIntegral | title=Multiple Integral}}
* {{SpringerEOM | urlname=M/m065370 | title=Multiple integral | author=L.D. Kudryavtsev}}
* [http://user.mendelu.cz/marik/maw/index.php?lang=en&form=integral2 Mathematical Assistant on Web] [[デカルト座標系]]および[[極座標系]]での二重積分のオンライン計算機。途中計算もわかる。(powered by [[Maxima]])
{{wikisource|解析概論/第8章}}

{{Normdaten}}
{{DEFAULTSORT:たしゆうせきふん}}
[[Category:積分法]]
[[Category:多変数微分積分学]]
[[Category:数学に関する記事]]

[[de:Integralrechnung#Mehrdimensionale Integration]]