多重積分
(二重積分 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/22 03:05 UTC 版)
ナビゲーションに移動 検索に移動 | この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2010年5月） |
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2010年5月） |
数学の微分積分学周辺分野における重積分（じゅうせきぶん、英: multiple integral; 多重積分）は、一変数の実函数に対する定積分を多変数函数に対して拡張したものである。n-変数函数の重積分は n-重積分とも呼ばれ、二変数および三変数函数に対する重積分は、それぞれ特に二重積分 (double integral) および三重積分 (triple integral) と呼ばれる。
導入
一変数の正値函数の定積分が、函数のグラフと x-軸とに挟まれた領域の面積を表していたのとちょうど同じように、二変数の正値函数の二重積分は（三次元空間内のデカルト平面上で定義される）函数のグラフとして得られる曲面とその函数の定義域を含む平面との間に挟まれる領域の体積を表す。変数の数が三以上の多変数函数についても同様に、多変数函数のグラフと定義域を含む長空間で挟まれる領域の超体積に多重積分が対応している。
領域 D 上で定義された n-変数函数 f(x1, x2, …, xn) の多重積分は、実行と逆順（最初の積分記号は最後の積分演算に対応する）に並べた積分記号と正順（最初の積分変数が最初の積分演算に対応する）に並べた積分変数で被積分函数を挟んだ入れ子構造として
一変数の場合と同様に、多重リーマン積分を定義できるのは有界領域上で有界な函数だけであり、非有界領域上の積分あるいは領域の境界の近くで非有界な函数の積分に定義を拡張しようとした場合は、広義積分を考えることが必要になる。広義多重積分は領域の極限のとり方の自由度が高い（極限によって必ずしも面積が確定しない領域が存在する）ため、一変数の場合の広義積分と少々事情が異なるが、一定の仮定を満たす場合については一変数と同様の議論を行うことができる。
最も単純な場合として、非有界領域 D 上で定義された正値函数 f で、その領域に含まれる任意の有界閉部分領域（コンパクト領域）K 上で函数が有界かつ可積分であるものを考える。この場合、もともとの非有界領域 D が有界閉部分領域の列または有向族 Kλ の極限として到達可能ならば、f の D 上の積分を極限
ウィキソースに解析概論/第8章の原文があります。
- 二重積分のページへのリンク
