広義積分
が収束することを確かめ、その値を求めよ。
広義積分
端で発散する関数や無限区間の積分を、極限として計算し収束を判定できる
前提
- 定積分の置換・部分積分と偶関数・奇関数 (数学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 積分法)
説明
広義積分を使うと、区間の端が や になっている積分や、端の近くで関数の値がいくらでも大きくなる積分を扱えます。ふつうの定積分は「有限の閉区間で、値が有界な関数」を前提にしています。その前提が崩れる場所では、まず問題のない区間で積分し、その区間を広げていった極限として値を定めます。極限が有限の値になれば「収束する」、ならなければ「発散する」と判定します。確率分布の計算や、 のような無限区間の面積を求める場面でよく使います。
なぜそうしてよいのか
を考えます。 は数ではないので、原始関数に を「代入」することはできません。そこで、有限の をとって を計算します。これは区間 の上の面積です。 とすると に近づくので、無限に伸びた部分全体の面積を と定めます。一般に、 が で連続のとき と定義します。 が で連続で、 のとき有界でない場合は と定義します。右辺の極限が有限の値として存在すれば「収束する」、 になるか極限が存在しなければ「発散する」といいます。 が端まで連続なら、この極限はふつうの定積分と一致するので、定義に矛盾はありません。
同じ考え方から、基本となる判定が導けます。 のとき で、 のときは です。したがって は のとき に収束し、 のとき に発散します。逆に ()より、 は のとき に収束し、 のとき発散します。無限遠では関数が速く に近づくほど、特異点の近くでは関数の増え方がゆるやかなほど、面積は有限に収まります。
両端に問題がある場合や、区間の内部に発散する点がある場合は、途中の点で区間を分けます。各部分が「問題のある端を 1 つだけ持つ」形にしたうえで、それぞれ別々に極限をとります。全体が収束するのは、すべての部分が収束するときだけです。たとえば のように、2 つの極限は独立にとります。
手順
問題のある点を探す。積分区間の端が になっていないか、端や区間の内部で が有界でなくなる点(分母が になる点など)がないかを調べる。
問題のある点が 2 つ以上あるとき、または区間の内部にあるときは、途中の点 で区間を分け、各部分の問題のある端が 1 つだけになるようにする。
問題のある端を、有限の文字に置き換えてふつうの定積分を計算する。無限の端は (または )に、発散する端 は (または 、ただし )に置き換え、置換積分や部分積分も使って のような式を求める。
極限 や をとる。有限の値になれば収束で、その値が広義積分の値になる。 になるか、極限が存在しなければ発散と判定する。分けた場合は、すべての部分が収束したときに限り全体も収束し、値はそれらの和になる。
例題
広義積分 が収束することを確かめ、その値を求めよ。
例題の解答
手順1: 被積分関数は で連続です。 のとき分母 となり、分子は に近づくので、関数は に発散します。問題のある点は右端 だけです。
手順2: 問題のある点は 1 つで、しかも端にあるので、区間を分ける必要はありません。
手順3: として、右端を に置き換えます。 と置換すると なので、 です(微分すると に戻ることで確かめられます)。よって
手順4: のとき なので、 です。したがって極限は という有限の値になり、この広義積分は収束して、その値は です。
答え:
よくある誤り
区間の内部にある発散点を見落とし、そのまま原始関数に代入してしまう誤り。たとえば とすると、正の関数の積分が負になってしまう。正しくは で区間を分ける。すると となるので、この積分は発散する。
奇関数だから としてしまう誤り。たとえば や とするのは誤りである。奇関数の性質が使えるのは、広義積分が収束するとわかっている場合だけである。正しくは、 なのでどちらも発散する。 のように両端を同じ速さで動かしてはいけない。両端の極限は独立にとる。
を数のように原始関数に代入してしまう誤り。たとえば と書いて済ませる、あるいは を何かの値とみなすのは誤りである。正しくは有限の で計算してから極限をとる。すると なので前者は発散する。後者も が で極限を持たないので発散する。
で ならば は収束すると思い込む誤り。たとえば だが、 は発散する。正しくは、収束には に近づく速さが必要である。 が収束するのは のときだけである。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
広義積分
は収束する。その値を求めよ。広義積分
の値を求めよ。広義積分
の値を求めよ。ただし、 が収束することは認めてよい。広義積分
の値を求めよ。ただし、 を 平面全体での重積分に直し、極座標に変換して計算すること。広義積分
の値を求めよ。実数全体で定義された関数
を考える。 のフーリエ変換を
で定めるとき、 を の式で求めよ。ただし、 は虚数単位とする。実数全体で定義された可積分な関数 のフーリエ変換を
で定める。関数 , を
で定め、その畳み込みを
とする。 のフーリエ変換の における値 を求めよ。ただし は虚数単位とし、答えは ( は実数)の形で表せ。確率変数 の確率密度関数が
で与えられている(パラメータ の指数分布)。 という条件のもとで となる条件付き確率 を求めよ。ある電子部品の寿命 (単位:年)は、確率密度関数
の指数分布に従うとする。この部品が 年たっても故障していなかったとき、さらに 年以上故障しない確率、すなわち条件付き確率 を求めよ。ある電子部品の寿命 (年)は、確率密度関数
をもつ指数分布に従うとする。この部品が 年後に故障していないとき、 年後にも故障していない条件付き確率 を求めよ。確率変数 は標準正規分布 に従い、その確率密度関数は
である。ガウス積分 を用いてよいものとして、 の 4 次の積率 を求めよ。確率変数 は、確率密度関数が
である指数分布に従うとする。 の特性関数 ( は実数、 は虚数単位)を の式で求めよ。確率変数 は、確率密度関数
をもつ指数分布に従うとする。 の特性関数 ( は実数、 は虚数単位)を求めよ。を正の整数とし、 は互いに独立に、確率密度関数
( では )の指数分布に従う確率変数とする。ここで は未知の母数である。 にもとづく の不偏推定量の分散に対するクラメール・ラオの下限を、 と を用いて求めよ。正の整数 に対し
とおく(積分は 上のルベーグ測度に関するもの)。極限 を求めよ。正の整数 に対し
とおく(積分は 上のルベーグ測度に関するもの)。極限 を求めよ。確率空間 上の確率変数 が、確率密度関数
をもつ(パラメータ の指数分布に従う)とする。正の整数 に対して
とおく。極限 を求めよ。確率空間 上の確率変数 が、確率密度関数
をもつ指数分布に従うとする。正の整数 に対して
とおく。極限 を求めよ。を整数とする。確率変数 は、パラメータ の幾何分布に従うとする。すなわち
である。 とおく。 の特性関数 の における極限を求めて の分布の極限を決定し、それを用いて極限
を求めよ。を正の整数とし、実数値確率変数 の特性関数が
で与えられているとする。極限
を求めよ。確率空間 上の確率変数列 は独立で、どれも平均 の指数分布(確率密度関数 、)に従うとする。正の整数 に対して
とおく。確率 で極限 が存在し、 は定数になる。この定数 を求めよ。確率空間上の確率変数列 は独立で、どれも確率密度関数
をもつ指数分布に従うとする。正の整数 に対して
とおく。 のとき、 は確率 で定数 に収束する。この の値を求めよ。上のルベーグ測度に関する積分
の値を求めよ。ただし、 上の関数 を考え、フビニ・トネリの定理を用いて積分の順序を交換せよ。
この技能を使う問題
広義積分
の値を求めよ。広義積分
の値を求めよ。内の曲線
のねじれ率を とする。曲線全体にわたる全ねじれ率
の値を求めよ。ただし、ねじれ率は で定める。正の整数 に対し
とおく(積分はルベーグ測度に関するもの)。極限 の値を求めよ。に対して が成り立つことを用いて、ルベーグ積分 の値を求めよ(積分は 上のルベーグ測度に関するもの)。
に対するノイマン境界条件付きの熱方程式の初期値・境界値問題
の解を、変数分離法により余弦フーリエ級数で表されるものとする。このとき広義積分
の値を求めよ。必要ならば を用いてよい。の座標を とし、リーマン計量
を考える。 のガウス曲率を 、 に関する面積要素を とするとき、積分
は収束する。この値を求めよ。1 次元の数直線上を運動する粒子が、ある時刻に次の波動関数で表される状態にある。
ここで は正の定数、 は実数の定数で、 は規格化されている。 はプランク定数を で割ったもの、運動量演算子は とする。必要なら、 に対して
を用いてよい。この状態での位置の標準偏差 と運動量の標準偏差 の積 を、 を用いて表せ。
実数全体で定義された関数 のフーリエ変換を
で定める。 を計算し、フーリエの反転公式
を用いて、広義積分
の値を求めよ。実数全体で定義された関数
のフーリエ変換を
で定める。ただし は虚数単位である。このとき の値を求めよ。実数全体で定義された関数 , を
で定め、その畳み込みを
とする。関数 のフーリエ変換を
で定めるとき、 の値を求めよ。正の整数 に対して
とおく。このとき
であることを証明せよ。ただし、ガウス積分 は用いてよい。正の整数 に対して
とおく。数列 が有限の極限をもつ(ある実数に収束する)ことを証明せよ。ただし、オイラー・マクローリンの和公式を用いる場合は、使う形を証明の中で導くこと。
実数全体で定義された 2 回微分可能な関数 が、微分方程式
と条件 を満たし、さらに区間 で有界であるとする。このとき、広義積分
の値を求めよ。に対する熱方程式のノイマン境界値問題
を考える。 は、変数分離とフーリエ余弦級数によって得られる解とする。このとき
の値を求めよ。因果的な連続時間の線形時不変系がある。初期状態は とする。 は時刻を表す実数で、信号はすべて無次元量とする。
この系に単位ステップ関数
を入力すると、出力(ステップ応答)は
となった。同じ系に入力 を加えたときの出力を とする。出力のエネルギー
の値を求めよ。連続時間の因果的な線形時不変系がある( は時刻を表す実数で、初期状態は とする)。この系に単位ステップ入力 ( で 、 で )を加えたときの出力(ステップ応答)は
であった。同じ系に入力 を加えたときの出力を とする。出力のエネルギー
を求めよ。答えは既約分数で答えよ。広義積分
の値を求めよ。広義積分
の値を求めよ。内の曲線
を考える。 の各点での曲率を 、弧長要素を とする。曲線全体にわたる全曲率
の値を求めよ。上半平面 に双曲計量
を入れる(ガウス曲率は )。領域
の双曲面積(面積要素 による面積)を求めよ。内の円錐面
に の標準内積から誘導される計量を入れる。 を弧長でパラメータ付けされた測地線で、
を満たすものとする。 を円柱座標 で表し、 は を満たす連続関数として選ぶ。このとき
の値を求めよ。確率変数 は互いに独立で、それぞれ確率密度関数
をもつ。 とおくとき、 における の確率密度関数 を の式で表せ。確率変数 は互いに独立で、 は確率密度関数 、 は確率密度関数 をもつ(いずれも 以下では密度 )。 とおくとき、 における の確率密度関数 を の式で表せ。
面積 の正方形の中に閉じ込められた 個の電子を、2 次元の自由電子気体(スピン 、質量 、電子間の相互作用なし)とみなす。正方形の辺に周期的境界条件を課し、 と は十分大きく、状態についての和は積分で置き換えてよいとする。電子の面密度を とし、エネルギーの基準は波数 の状態のエネルギーを とする。
この電子気体が絶対温度 ()の熱平衡にあり、電子はフェルミ–ディラック分布 に従うとする。 と を一定に保つとき、化学ポテンシャル を , , , , を用いて表せ。ただし はボルツマン定数、 はプランク定数を で割ったものとする。
質量 の 個の粒子が、3 次元空間で、原点からの距離 だけによるポテンシャル ( は正の定数)の中に閉じ込められている。粒子どうしの相互作用は無視でき、系は温度 の熱浴と接して熱平衡にある。粒子は古典的に扱ってよい(古典統計力学の正準分布に従い、粒子の内部自由度は考えない)。ボルツマン定数を とする。正準分配関数を計算して、この系の熱容量を を用いて表せ。
で定義された関数 のラプラス変換 ()を、公式
を用いて求めることにより、定積分
の値を求めよ。実数全体で定義された関数 を考える。関数 のフーリエ変換と逆変換を
で定める(, は実数)。 は連続かつ絶対可積分で、 も絶対可積分であり、上の反転公式はすべての実数 で成り立つとしてよい。 を求め、反転公式を用いて、広義積分
の値を求めよ。あるバス停でバスを待つ時間(単位: 分)は、 が与えられたとき区間 上の一様分布に従うとする( は未知の母数)。 の事前分布として、確率密度関数
( では )のパレート分布を用いる。が与えられたとき互いに独立な 5 回の待ち時間を観測したところ、
であった。このデータのもとでの の事後分布の平均(事後平均)を求めよ。以上の整数 に対し
とおく(積分は 上のルベーグ測度に関するもの、 は自然対数)。極限 の値を求めよ。を正の実数とする。広義積分
は収束し、その値が であることを証明せよ。ただし、 であること、および「区間上で を満たす連続関数 について、 の広義積分が収束すれば の広義積分も収束する」こと(比較判定法)、「 の広義積分が収束すれば の広義積分も収束する」ことは用いてよい。を定数とし、 上の関数 を
で定める。ここで はユークリッドノルム、 はラプラシアンである。 が作用素 の基本解であること、すなわち、 上の台がコンパクトな任意の 級関数 に対して、積分 が(ルベーグ積分として)絶対収束し、
が成り立つことを示せ。ただし、有界な領域で成り立つグリーンの第 2 公式(ガウスの発散定理)と、ルベーグの優収束定理は用いてよい。広義積分 の値を求めよ。
広義積分 の値を求めよ。
実数全体で定義された可積分な関数 のフーリエ変換を
で定める。2 つの関数
を考え、その畳み込みを
とする。畳み込みのフーリエ変換の公式 と、パーセバルの等式
( は適当な可積分・2 乗可積分関数)を用いて、定積分
の値を求めよ。実数全体で定義された可積分な関数 のフーリエ変換と逆変換を
で定める。関数
について、まず を求め、それを用いて定積分
の値を求めよ。を独立な確率変数で、それぞれ標準正規分布 に従うものとする。
とおく。確率 を求めよ。広義積分
の値を求めよ。1 次元の数直線上を運動する粒子が、ある時刻に次の波動関数で表される状態にある。
ここで は正の定数、 は規格化定数(正の実数)である。運動量演算子を ( はプランク定数を で割ったもの)とし、位置と運動量の標準偏差を , で定める。この状態における積 を を用いて表せ。に対する熱方程式の初期値・境界値問題
を考える。 は変数分離とフーリエ級数で得られる解
の形で表される(係数 は初期条件から定まる)。このとき広義積分
の値を求めよ。実数全体で定義された可積分な関数 のフーリエ変換を
で定める。実数値で可積分かつ 2 乗可積分な関数 に対して成り立つパーセバルの等式
を用いてよい。関数
のフーリエ変換を利用して、定積分
の値を求めよ。抵抗 とコンデンサ からなる RC 低域通過回路がある。入力電圧 を R と C の直列接続の両端に加え、C の両端の電圧を出力電圧 とする(出力端には何も接続しない)。 は時刻(単位は s)である。
この回路に、高さ 、幅 の矩形パルス
を入力する。ここで は単位ステップ関数( で 、 で )であり、 でコンデンサの電荷は とする。出力電圧の二乗積分
を求めよ。関数 が周期 をもつとは、すべての実数 に対して が成り立つことをいう。
を周期 をもつ連続関数とする。微分方程式
の解であって、 上で 2 回微分可能かつ周期 をもつ関数 が、ちょうど 1 つ存在することを証明せよ。ただし、解の存在と一意性の一般定理は用いずに示すこと。広義積分の基本的な性質(絶対収束すれば収束する、など)と微分積分学の基本定理は用いてよい。を正の定数とする。確率変数 は互いに独立で、いずれも確率密度関数
をもつ指数分布に従うとする。
とおく( は確率 で正なので、 は確率 で定まる)。このとき、 は区間 上の一様分布に従い、かつ と は独立であることを証明せよ。ただし、次の 2 つの事実は用いてよい。
- (変数変換公式) が開集合 の外では となる同時密度関数 をもち、 が開集合 への 級の全単射で、逆写像 も 級でそのヤコビアン が 上で にならないとき、 の同時密度関数は 上で 、 の外で である。
- 2 つの連続型確率変数が独立であることは、同時密度関数が各周辺密度関数の積に等しいことと同値である。関数 のフーリエ変換を
で定める。 に対して成り立つパーセバルの等式
は用いてよい(ただし留数定理は用いないこと)。を正の実数とするとき、フーリエ変換とパーセバルの等式を用いて
が成り立つことを証明せよ。関数 のフーリエ変換を
で定める。次の反転公式は用いてよい: が 上で連続で、 ならば、すべての実数 に対して
が成り立つ。関数 のフーリエ変換を計算し、反転公式を用いて、すべての実数 に対して
が成り立つことを証明せよ。ただし被積分関数の での値は と定める(連続な延長)。を 上の台がコンパクトな 級関数とし、 を波動方程式の初期値問題
の解とする。ここで は についてのラプラシアンである。このとき、各 について広義積分 は絶対収束し、
が成り立つ(特に左辺は によらない)ことを示せ。ただし、この初期値問題の 級の解はただ 1 つであり、 でキルヒホッフの公式
で与えられることは用いてよい( は球面 上での の平均値で、 は単位球面上の面積要素)。
この技能の次に学べること
- ガウス積分 (大学数学 微分積分)
- フーリエ変換 (大学数学 フーリエ解析・ラプラス変換)
- ラプラス変換と逆変換 (大学数学 フーリエ解析・ラプラス変換)
- 一様分布・指数分布 (大学数学 確率・統計)
- ルベーグ積分の計算 (大学院数学 測度論・実解析)
- 有理関数の広義積分(半円の積分路) (大学数学 複素関数)
- 利力と連続払いの現価 (大学数学 数理ファイナンス・保険数学)
- 空間曲線の曲率とねじれ率 (大学院数学 微分幾何)
- スカラー系の最適レギュレータ (大学院数学 制御理論)
- 静電場のエネルギー (大学物理 電磁気学(静電場・静磁場・電磁誘導))
- 平面導体の鏡像法 (大学物理 電磁気学(静電場・静磁場・電磁誘導))
- 光子気体の分配関数と自由エネルギー (大学物理 統計力学)
- 波動関数の規格化と確率解釈 (大学物理 量子力学(1 次元の問題))
- クーロン散乱の衝突径数と散乱角 (大学物理 原子核・素粒子)
- デバイ模型とフォノンの状態密度 (大学物理 固体物理)
- フリードマン方程式の積分による宇宙の年齢 (大学院物理 宇宙論)