累次積分
の値を、積分の順序を交換して求めよ。
重積分と累次積分
領域を図示して重積分を累次積分に直し、積分の順序を交換できる
前提
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
この技能までの道筋(43 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
説明
平面上の領域 の上で 2 変数関数 を積分したもの(重積分) を、1 変数の定積分を 2 回くり返す形(累次積分)に直して計算できるようになります。 なら、これは を底面とし、高さ の曲面を上面とする立体の体積です。さらに、同じ領域を「縦に切る」か「横に切る」かを選び直す(積分の順序を交換する)ことで、一方の順序では原始関数が求まらない積分も計算できるようになります。
なぜそうしてよいのか
重積分は、 を小さな長方形に細かく分け、各小長方形の面積 に、その中の 1 点での値 を掛けて足し合わせ、分割を細かくしたときの極限として定義されます。 なら、細い角柱の体積を足したものの極限、つまり立体の体積です。この足し算は、どんな順に足しても同じ値になります。「まず を固定して 方向に足し、次に 方向に足す」と考えると累次積分になります。
立体の体積で考えると直観的です。 を 1 つ固定して立体を平面 一定 で切ると、切り口の面積は です。ここで は の範囲を動きます。この切り口の面積を について積分すれば体積なので、 となります。横に切っても同じ立体の体積なので、どちらの順序でも値は一致します。 が 上で連続で、 が有界な閉領域で境界がこのような曲線で表せるときは、この等式が正しく成り立つことが知られています(フビニの定理)。
したがって積分の順序の交換は、式をいじる操作ではありません。「同じ領域 を別の向きの不等式で書き直す」作業です。そのため、領域を図示して不等式で表すことが一番大切になります。
手順
領域 を図示し、境界の曲線と交点(頂点)をすべて求める。
縦に切る場合は、 を の形の不等式で表し、 と書く。外側の積分の端 は定数にする。
横に切る場合は、 を の形で表し、 と書く。
順序を交換するときは、与えられた累次積分の積分範囲から の不等式を読み取って図示し、それをもう一方の形(手順 2 または 3)に書き直す。境界の式が途中で変わる場合は、領域を分けて積分を足す。
内側の積分を計算する。このとき外側の変数は定数として扱う。得られた関数を外側の変数について積分する。
例題
累次積分 の値を求めよ。
例題の解答
の原始関数は初等関数で表せないので、このままの順序では内側の積分を計算できない。そこで積分の順序を交換する。
手順 1・4(領域の読み取りと図示):積分範囲は である。これは 3 直線 、、 で囲まれた三角形で、頂点は である。
手順 2(縦に切る形に書き直す): を で固定すると、 は下端 から上端 まで動く。よって は と表せるので、
手順 5(内側から計算):内側は についての積分で、 は定数として扱う。したがって となる。次に外側の積分を と置換して計算する。 で、 のとき だから、
答え:
よくある誤り
積分の端をそのまま入れ替えて としてしまう誤り。外側の積分に変数 が残るので意味をなしません。正しくは、領域を図示して書き直し、 とします。外側の端は必ず定数になります。
内側の変数と外側の変数を取り違える誤り。たとえば について積分する を、 で積分するつもりで扱ってしまう例です。正しくは、 は定数とみなすので です。また は内側が であることにも注意します。
境界の式が途中で変わるのに 1 つの積分で書いてしまう誤り。頂点 の三角形を縦に切るとき、上端は では 、 では です。したがって正しくは と分けます。横に切れば と 1 つで書けます。
領域を不等式で表すとき、上端と下端(または左端と右端)を逆にしてしまう誤り。たとえば で の領域を と書くと、符号が逆になります。正しくは です。 では であることを図で確かめます。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
次の累次積分 の値を求めよ。
ただし、 の原始関数は初等関数で表せないので、そのままでは内側の積分を計算できない。積分の順序を交換して計算せよ。次の累次積分の値を求めよ。
この技能を使う問題
の座標を とし、 が正となる向きを入れる。円柱領域
の境界 (側面・上面・底面からなる)に、 の向きから誘導される境界の向き(外向き法線に対応する向き)を入れる。 次微分形式
について、積分
の値を求めよ。を である 1 次元標準ブラウン運動とし(標本路は連続とする)、
とおく。 を求めよ。空間の四面体領域
の境界の閉曲面(4 つの三角形の面)を 、 上の外向き単位法線ベクトルを とする。ベクトル場
について、面積分 の値を求めよ。空間の曲面
と、ベクトル場
を考える。 の単位法線ベクトル を 成分が正となる向き(上向き)にとるとき、 を通る の流束
を求めよ。平面上で、放物線 と直線 で囲まれた有界な領域を とし、 の境界を正の向き(反時計回り、 を左側に見て進む向き)に 1 周する閉曲線を とする。線積分
の値を求めよ。を確率空間 上の 1 次元標準ブラウン運動とする。すなわち であり、すべての で は連続、 に対して増分 は独立で、 は平均 、分散 の正規分布に従う。
を定数とし、
(各 ごとのリーマン積分)とおく。このとき
であることを証明せよ。なお、平均 、分散 の正規分布に従う確率変数 について であること、およびフビニ・トネリの定理は用いてよい。
座標空間において、曲面
のうち、三角形の領域 の上にある部分の曲面積 を求めよ。連続型確率変数 の同時確率密度関数が
で与えられている。 と の相関係数 を求めよ。の領域 上の広義積分 は収束する。 の値を求めよ。ただし答えはガンマ関数やベータ関数を用いずに、根号と を用いて表せ。
平面上の三角形領域 に対し、重積分 の値を求めよ。答えはガンマ関数やベータ関数を用いずに、 と有理数を用いて表せ。
を である 1 次元標準ブラウン運動とし(標本路は連続とする)、
とおく(積分は各標本点でのリーマン積分とする)。 の分散 を求めよ。平面上の領域
に対して、重積分
の値を求めよ。座標空間において、回転放物面 と平面 で囲まれた立体
の体積を求めよ。上半平面 に双曲計量
を入れる(ガウス曲率は )。領域
の双曲面積(面積要素 による面積)を求めよ。を である標準ブラウン運動(1 次元)とし、
とおく(標本路の連続性により、この積分は各標本点でリーマン積分として定まる)。 の分散 を求めよ。空間のベクトル場
と、3 点 , , を頂点とする三角形の周 を考える。 の向きは の順にたどる向きとする。線積分
の値を求めよ。を閉区間 上の実数値連続関数とし、平面の開集合
を考える。このとき
が成り立つことを証明せよ。ただし、次の事実は用いてよい。
- (変数変換公式) を平面の有界な開集合、 を 級の全単射で、逆写像も 級であり、ヤコビアン が 上で にならないものとする。 上の有界な連続関数 に対して が成り立つ(両辺の積分は存在する)。
- (累次積分) 上の有界な連続関数 ( は 上連続)について が成り立つ。平面上の領域 (アステロイドで囲まれた領域)に対して、重積分 の値を求めよ。
座標空間の立体
の体積を求めよ。平面上の曲線 を、楕円 のうち の部分とし、点 から点 へ向かう向きをつける。このとき、線積分
の値を求めよ。空間の原点を除いた領域で定義されたベクトル場
と、平面 上の長方形
を考える。 の単位法線ベクトル を 軸の正の向き にとるとき、 の を通る流束
を求めよ。において、作用素 の基本解を考える。すなわち、超関数の意味で
をみたし、 は のみに依存し、 で となるものを とする( は原点におけるディラックのデルタ)。単位閉球 の定義関数を とし、
とおく( は の、無限遠で に減衰する解である)。点 における値 を求めよ。平面上の領域
に対して、重積分
の値を求めよ。の座標を とし、 には が正となる向きを入れる。領域
の境界を とし、 には の境界としての向き(外向き法線ベクトルを先頭に付け加えたとき の向きと一致する向き)を入れる。 上の 次微分形式
に対し、 次微分形式 を に引き戻して得られる積分
の値を求めよ。平面上の曲線 を、媒介変数表示
で定める。 は原点を始点かつ終点とする区分的に滑らかな単純閉曲線であり、 が増加する向きに向きをつける。ベクトル場
について、線積分
の値を求めよ。を区間 上の複素数値 2 乗可積分関数(ほとんどいたるところ等しいものを同一視する)のなすヒルベルト空間とする。積分作用素 を
で定める。 が の固有値であるとは、 を満たす , が存在することをいう。このとき、 の固有値全体の集合が
に一致することを証明せよ(特に は固有値でない)。ただし、次の事実は証明なしに用いてよい。
- フビニの定理。
- に対し は 上連続であり、すべての で ならば (ほとんどいたるところ)である。
- 定数係数の 2 階線形常微分方程式 ()の 級の解は、初期値 によって一意に定まる。
この技能の次に学べること
- 重積分の変数変換とヤコビアン (大学数学 微分積分)
- 畳み込み (大学数学 フーリエ解析・ラプラス変換)
- 同時分布・周辺分布と独立性 (大学数学 確率・統計)
- フビニ・トネリの定理 (大学院数学 測度論・実解析)
- コンパクト作用素と積分作用素の固有値 (大学院数学 関数解析)
- グリーンの定理 (大学数学 ベクトル解析)
- 磁束の積分と電磁誘導 (大学物理 電磁気学(静電場・静磁場・電磁誘導))
- 交換項を含む期待値と相互作用のエネルギー (大学物理 量子力学(角運動量・近似法))
- みみず鎖モデルと持続長 (大学化学 高分子化学)