広義積分
の値を求めよ。ただし、 が収束することは認めてよい。
ガウス積分
極座標の重積分を使って を導き、関連する積分に使える
前提
- 重積分の変数変換とヤコビアン (大学数学 微分積分)
- 広義積分 (大学数学 微分積分)
この技能までの道筋(48 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 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 乗して 2 変数にします。累次積分の形で と書けます( は正方形 )。被積分関数は だけで決まるので、極座標 が適しています。ヤコビアンは なので となり、原点中心・半径 の円板 上では です。ヤコビアンから出る のおかげで は という原始関数を持つ、ここが要点です。
最後に正方形と円板を比べます。 で被積分関数は正なので です。 とすると両端が に近づくので となり、 より です。さらに のとき と置換すると なので が得られます。
手順
積分を の形に整える。指数が 2 次式なら平方完成して ()とし、定数の は積分の外に出す
置換 を行う。 で、積分範囲 は のまま変わらない
ガウス積分 を代入する(まとめると )
積分範囲が のときは、 が偶関数であることを使って全体の値の半分にする:
例題
広義積分 の値を求めよ。
例題の解答
手順 1: 指数はすでに の形で、 である。
手順 2: と置換すると 、範囲は から のままである。よって となる。
手順 3: ガウス積分 を代入すると である。
範囲は実数全体なので手順 4 は不要である。答えは 。
答え:
よくある誤り
極座標に変換するときにヤコビアン を落とし、 を計算しようとしてしまう誤り。これでは元と同じ形の積分が残って計算が進まない。正しくは で、 となる
置換の係数を間違えて としてしまう誤り。 なので であり、正しくは
半直線上の積分を としてしまう誤り。 は実数全体での値である。 は偶関数なので、正しくは
でも公式 を使ってしまう誤り。たとえば は被積分関数が 以上なので発散する。公式が使えるのは のときだけである
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
広義積分
の値を求めよ。ただし、 を 平面全体での重積分に直し、極座標に変換して計算すること。広義積分
の値を求めよ。実数 と に対して、関数 についての熱方程式の初期値問題
を考える。 についてのフーリエ変換を と定める。フーリエ変換を用いて、この初期値問題の有界な解 ()を の式で求めよ。実数全体 上の熱方程式の初期値問題
を考える。 は で連続かつ有界で、 では 級の解とする。フーリエ変換を
で定める。フーリエ変換を用いて、解 ()を の式で求めよ。実数 と に対して定義された関数 についての熱方程式の初期値問題
を考える。 は各 で について急減少する(フーリエ変換が使える)滑らかな解とする。フーリエ変換を で定め、フーリエ変換を用いて解 を の式で求めよ。実数 と に対して、関数 に関する熱方程式の初期値問題
を考える。熱核
との畳み込み で与えられる解(有界な解)を、 と の式で求めよ。実数 と に対して、関数 は熱方程式の初期値問題
の有界な解とする。フーリエ変換を用いて、 を の式で求めよ。ただし、フーリエ変換とその逆変換は次で定める。
また、 に対して が成り立つことは用いてよい。, における熱方程式の初期値問題
を考える。 は で連続かつ有界な古典解とする。フーリエ変換を 、逆変換を と定める。フーリエ変換を用いて解 を の式で求めよ。確率変数 は標準正規分布 に従い、その確率密度関数は
である。ガウス積分 を用いてよいものとして、 の 4 次の積率 を求めよ。確率変数 が標準正規分布 に従うとする。すなわち の確率密度関数は
である。ガウス積分 を用いてよい。このとき、 の 4 次の積率 を求めよ。確率変数 は標準正規分布 に従うとする。つまり、 の確率密度関数は
である。このとき、 の 4 次の積率 を求めよ。必要なら、ガウス積分 と、任意の 0 以上の整数 について であることを用いてよい。
この技能を使う問題
上の局所可積分関数 を緩増加超関数とみなし、その超関数の意味での 階導関数を とする。急減少関数 に対し、 の値を求めよ。
質量 の非相対論的な粒子が、中心力ポテンシャル
によって散乱される。入射粒子の波数を (エネルギー )とし、散乱振幅は第 1 ボルン近似で評価する。散乱振幅 は、入射平面波 に対して漸近形 で定義する。このとき、全断面積 を を用いて表せ。質量 の 個の粒子が、3 次元空間で、原点からの距離 だけによるポテンシャル ( は正の定数)の中に閉じ込められている。粒子どうしの相互作用は無視でき、系は温度 の熱浴と接して熱平衡にある。粒子は古典的に扱ってよい(古典統計力学の正準分布に従い、粒子の内部自由度は考えない)。ボルツマン定数を とする。正準分配関数を計算して、この系の熱容量を を用いて表せ。
断面積が一定で、高さ の鉛直に立てた密閉容器の中に、質量 の単原子分子 個からなる理想気体が入っている。容器内には鉛直下向きの一様な重力(重力加速度の大きさ )がはたらき、容器の底を高さ として、高さ にある分子は位置エネルギー ()をもつ。気体は温度 の熱浴と接して熱平衡にあり、分子は古典的に扱ってよい(分子間の相互作用と分子の内部自由度は無視する)。ボルツマン定数を とし、 とおく。容器の体積を一定に保ったときのこの気体の熱容量を、 を用いて表せ。
以上の整数 に対し とおく(積分は 上のルベーグ測度に関するもの)。極限 の値を求めよ。
質量 の粒子が、中心力ポテンシャル
によって散乱される。 はディラック定数とする。入射波を ( は波数)とし、遠方での波動関数を
と書く。散乱振幅 を第 1 ボルン近似で求め、それを用いて全断面積
を を用いて表せ。ポテンシャルの中心は空間に固定されているものとする(反跳は考えない)。質量 のスピン の同種フェルミ粒子 2 個が、角振動数 の 1 次元調和振動子ポテンシャルの中にある。粒子の座標を とし、系のハミルトニアンを
とする。ハミルトニアンはスピンによらない。接触相互作用 を摂動とみなす。非摂動の 1 粒子の規格化された固有関数のうち、基底状態と第 1 励起状態は、 として
である。2 粒子系の非摂動エネルギーが の準位(零点エネルギーを含む。1 粒子が 、もう 1 粒子が を占める準位)は、摂動の 1 次で 2 つのエネルギー準位に分かれる。高いほうの準位のエネルギーから低いほうの準位のエネルギーを引いた差を、摂動の 1 次までで を用いて求めよ。必要なら を用いてよい。鉛直に立てた断面積 、高さ の円筒容器(底面が 、上面が 、 軸は鉛直上向き)の中に、質量 の単原子分子 個からなる理想気体が閉じ込められ、温度 の熱浴と接して熱平衡にある。分子は一様な重力(重力加速度の大きさ )を受け、高さ にある分子の位置エネルギーは である。分子どうしの相互作用はなく、分子の運動は古典統計力学で扱えるとする(分子は区別できない同種粒子として扱う)。容器の体積は一定である。この気体の定積熱容量 を , , , , , ボルツマン定数 を用いて表せ。
この技能の次に学べること
- フーリエ変換による解法と熱核 (大学院数学 偏微分方程式)
- 正規分布の密度と積率 (大学数学 確率・統計)
- ラプラスの方法(ガウス型の極限) (大学院数学 測度論・実解析)
- 主値 と の超関数微分 (大学院数学 フーリエ解析)
- エルミート多項式の直交性と漸化式 (大学院数学 特殊関数・漸近解析)
- 古典統計の分配関数と等分配則 (大学物理 統計力学)
- 変分法 (大学物理 量子力学(角運動量・近似法))
- 並進の分配関数 (大学化学 統計熱力学)
- 運動量殻の繰り込み群とガウス固定点 (大学院物理 相転移と繰り込み群)
- 大きい N の極限とギャップ方程式 (大学院物理 相転移と繰り込み群)
- ウィックの定理と縮約の数え上げ (大学院物理 場の量子論)
- 次元正則化の 1 ループ積分 (大学院物理 場の量子論)
- 経路積分と自由粒子の伝播関数 (大学院物理 発展的な量子力学(散乱・相対論的量子力学))