平面上の領域 に対して、重積分 の値を求めよ。
重積分の変数変換とヤコビアン
極座標などへの変数変換をヤコビアンを使って行い、重積分を計算できる
前提
この技能までの道筋(46 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 重積分と累次積分 (大学数学 微分積分)
- 偏微分と全微分 (大学数学 微分積分)
- 多変数の連鎖律 (大学数学 微分積分)
説明
重積分 で、領域 が円や扇形だったり、被積分関数に のようなまとまりが含まれたりすると、 のままでは累次積分の計算が非常に面倒になることがあります。このようなときは、新しい変数 を使って と置き換えると、領域も関数も単純になります。その際に面積の伸び縮みを補正する因子がヤコビアンです。1 変数の置換積分 を 2 変数に広げたものだと考えてください。
なぜそうしてよいのか
平面に、横 、縦 の小さな長方形をとります。写像 によって、この長方形は 平面の小さな曲がった四角形に移ります。全微分を使うと、 だけを 増やしたときの の変化はほぼ です。同様に だけを 増やしたときの変化はほぼ です( などと書きます)。したがって、移った図形はこの 2 つのベクトルが張る平行四辺形でよく近似できます。ベクトル が張る平行四辺形の面積は なので、その面積はおよそ になります。
この を変換のヤコビアンといい、 とも書きます( は 2 次の行列式です)。 は「 平面の微小面積が 平面では何倍になるか」を表します。重積分は「関数の値 × 微小面積」の和の極限なので、和をとる前に面積を 倍に補正すればよいわけです。こうして次の式が成り立ちます。ここで は、 に移る 平面の領域です。
この式を使うには、変換が から への 1 対 1 の対応であること、 が偏微分可能でその偏導関数が連続であることが必要です。ただし、1 対 1 にならない点や となる点が、面積 0 の部分(点や曲線)だけなら構いません。極座標 では となり、 が得られます。 は原点 1 点なので問題ありません。
手順
領域や被積分関数の形に合う変換 を選ぶ(円・扇形や を含むときは極座標 )
に 1 対 1 で対応する 平面の領域 を求める(極座標なら とし、 は長さ 以内の範囲にとる)
ヤコビアン を計算し、絶対値 をとる(極座標では )
と書き換える
上の重積分を累次積分にして計算する
例題
のとき、 を求めよ。
例題の解答
【手順 1】領域が円で、被積分関数に が含まれるので、極座標 を使う。
【手順 2】 と から である。円全体を 1 周するので とする。よって となる。 と が重なるのは線分(面積 0)なので問題ない。
【手順 3】 より、 である。 なので となる。
【手順 4】 だから、 と書き換えられる。
【手順 5】 は長方形なので、そのまま累次積分にできる。
よって答えは である。
答え:
よくある誤り
とヤコビアンを付け忘れる誤り。例題なら としてしまう。正しくは で、答えは である。
ヤコビアンの絶対値をとらない誤り。例えば では となり、そのまま掛けると積分の符号が逆になる。正しくは を掛ける。
逆向きの変換のヤコビアンを使う誤り。 と置くとき、 から としてしまう。正しくは と を で表して を求め、 とする(これは に等しい)。
領域 が 1 対 1 になっていない誤り。例えば円板に対して としたり、 と を組み合わせたりすると、同じ点を 2 回数えてしまう。正しくは とし、 の範囲は長さ 以内(例 )にとる。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
平面上の領域 に対して、重積分 の値を求めよ。
平面上の領域 に対して、重積分 の値を求めよ。
広義積分
の値を求めよ。ただし、 が収束することは認めてよい。広義積分
の値を求めよ。ただし、 を 平面全体での重積分に直し、極座標に変換して計算すること。
この技能を使う問題
平面上の領域 に対して、重積分
の値を求めよ。平面上の領域
に対して、重積分
の値を求めよ。内の閉曲線
を考え、 には 平面への射影が反時計回りになる向きを入れる。 次微分形式
に対し、線積分 の値を求めよ。の座標を とし、リーマン計量
を考える。 のガウス曲率を 、 に関する面積要素を とするとき、積分
は収束する。この値を求めよ。の上半空間を とし、 の基本解を
とする( はユークリッドノルム)。 に対し とおき、鏡像法による のディリクレ問題のグリーン関数を
で定める。さらに に対し
とおく。 のとき、積分
の値を求めよ。平面上の領域 (レムニスケートの右半分で囲まれた部分)に対して、重積分 の値を求めよ。
空間のスカラー場 とベクトル場 を
で定める。さらにベクトル場 を
で定める。球面 の外向き単位法線ベクトルを とするとき、面積分
の値を求めよ。空間のベクトル場
と、楕円体面
を考える。 上の外向き単位法線ベクトルを 、面積要素を とするとき、面積分
の値を求めよ。の座標を とし、 には が正となる向きを入れる。 とおき、 上の 次微分形式
を考える。楕円体面
には、 が囲む立体 の境界としての向き(外向き法線による向き)を入れる。積分 の値を求めよ。平面上の領域
に対して、重積分
の値を求めよ。座標空間において、回転放物面 と平面 で囲まれた立体
の体積を求めよ。の座標を とし、 上の 次微分形式
を考える。曲面
には、写像 ()が向きを保つような向き(すなわち単位法線が上向き、 成分が正となる向き)を入れる。積分
の値を求めよ。の座標を とし、 次微分形式
を考える。曲面
には、単位法線ベクトルの 成分が正となる向きを入れる(すなわち による表示で が正となる向き)。積分 を求めよ。空間のベクトル場
と、円柱面 と平面 の交わりとしてできる閉曲線 を考える。 の向きは、 軸の正の側から見て反時計回りとする。ストークスの定理を用いて、線積分
の値を求めよ。空間の円錐面の一部
を考える( は側面だけで、上の円板 は含まない)。 の向きを、頂点 を除く各点で単位法線ベクトル の 成分が正となるように定める(頂点では法線が定まらないが、1 点なので面積分の値には影響しない)。ベクトル場
の を通る流束 を求めよ。空間のベクトル場
と、回転放物面の一部
を考える。 上の単位法線ベクトル を、 成分が正になる向き(上向き)にとるとき、面積分
の値を求めよ。を閉区間 上の実数値連続関数とし、平面の開集合
を考える。このとき
が成り立つことを証明せよ。ただし、次の事実は用いてよい。
- (変数変換公式) を平面の有界な開集合、 を 級の全単射で、逆写像も 級であり、ヤコビアン が 上で にならないものとする。 上の有界な連続関数 に対して が成り立つ(両辺の積分は存在する)。
- (累次積分) 上の有界な連続関数 ( は 上連続)について が成り立つ。を定数とし、 上の関数 を
で定める。ここで はユークリッドノルム、 はラプラシアンである。 が作用素 の基本解であること、すなわち、 上の台がコンパクトな任意の 級関数 に対して、積分 が(ルベーグ積分として)絶対収束し、
が成り立つことを示せ。ただし、有界な領域で成り立つグリーンの第 2 公式(ガウスの発散定理)と、ルベーグの優収束定理は用いてよい。平面上の領域 (アステロイドで囲まれた領域)に対して、重積分 の値を求めよ。
座標空間の立体
の体積を求めよ。空間のベクトル場
と、円柱面 と曲面 の交わりとしてできる閉曲線 を考える。 の向きは、 軸の正の側から見て( 平面への正射影が)反時計回りとなる向きとする。ストークスの定理を用いて、線積分
の値を求めよ。平面の原点を除いた領域 上で、関数 を
で定める。円 を反時計回りに 1 周する向きに向き付けるとき、線積分
の値を求めよ。における作用素 を考える( はラプラシアン、 はユークリッドノルム)。超関数の意味で
をみたし、 で のみに依存し、かつ で となる関数 を の基本解とする。ここで は原点におけるディラックのデルタである。の定義関数を とし、
と定める。 の値を求めよ。において、作用素 の基本解を考える。すなわち、超関数の意味で
をみたし、 は のみに依存し、 で となるものを とする( は原点におけるディラックのデルタ)。単位閉球 の定義関数を とし、
とおく( は の、無限遠で に減衰する解である)。点 における値 を求めよ。内の曲面(エネパー曲面)を
でパラメータ表示し、 の標準内積から誘導される計量を入れる。各点でのガウス曲率を 、平均曲率を (主曲率 に対して )とする。第一基本形式を とし、面積要素を とする。パラメータ領域
上の積分
の値を求めよ。内の曲面
を考える。 の各点における主曲率を とし、ガウス曲率を 、平均曲率を とする。 を の面積要素とするとき、
の値を求めよ。平面上の領域
に対して、重積分
の値を求めよ。空間のベクトル場
と、球面の一部
を考える。 の単位法線ベクトル を原点から遠ざかる向き(球の外向き)にとるとき、面積分
の値を求めよ。を 上の台がコンパクトな 級関数とし、 を波動方程式の初期値問題
の解とする。ここで は についてのラプラシアンである。このとき、各 について広義積分 は絶対収束し、
が成り立つ(特に左辺は によらない)ことを示せ。ただし、この初期値問題の 級の解はただ 1 つであり、 でキルヒホッフの公式
で与えられることは用いてよい( は球面 上での の平均値で、 は単位球面上の面積要素)。
この技能の次に学べること
- ガウス積分 (大学数学 微分積分)
- 確率変数の変換 (大学数学 確率・統計)
- 曲面の媒介変数表示と面積要素 (大学数学 ベクトル解析)
- 慣性モーメントの計算 (大学物理 力学(質点・剛体))