関数 は、すべての実数 について
を満たす。 を求めよ。
部分積分
部分積分を使って , , , などを積分できる
前提
- 基本的な関数の不定積分 (数学III 積分法)
この技能までの道筋(39 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
説明
部分積分は、 や のような「2 種類の関数の積」の不定積分を、より計算しやすい積分に置き換えて求める方法です。 のように、そのままでは基本の不定積分の形にない関数にも使えます。 のように、部分積分を 2 回行うと元の積分が再び現れ、それを方程式として解いて求める場合もあります。
なぜそうしてよいのか
もとになるのは積の微分の公式 です。両辺を積分すると、左辺は微分したものを積分するので に戻り、 となります(積分定数は最後にまとめます)。これを移項すると
が得られます。これが部分積分の公式です。
左辺の は右辺では微分された に、 は積分された に変わります。そこで、 のように微分すると簡単になる関数を に、 のように積分しても複雑にならない関数を に選びます。こうすると右辺の積分は元の積分より簡単になります。たとえば では、 が微分されて になり、残る積分は だけです。また は と見て とすると、 と が打ち消し合い、()となります。
は、どちらを微分しても積分しても簡単にはなりませんが、 は積分しても変わらず、 は 2 回微分すると に戻ります。これを利用します。 とおき、()とすると
です。残った にも、1 回目と同じく の側を にして ()とすると
です。これを 1 つ目の式に代入すると 、つまり となり、 を 1 つの原始関数として求めたあとで積分定数を付けて が得られます。もし 2 回目に逆に と選ぶと、 となり、代入しても となって何も求まりません。
手順
被積分関数を の形に分ける。微分すると簡単になるもの( の多項式、 など)を に、積分しやすいもの(, , , など)を にする。
を微分で求め、 を の不定積分の 1 つとして求める(ここでは積分定数を付けない)。
公式 に代入する。右辺の積分の前の「」を忘れないようにする。
残った積分 を計算し、最後に積分定数 を 1 つ付ける。
( などで必要なときだけ)残った積分にもう一度部分積分を使う。このとき 1 回目と同じ側()を に選ぶ。元の積分 が再び現れたら、 についての方程式(例:)を解き、得られた式に最後に を付ける。
例題
の不定積分のうち、 を満たす関数 を求めよ。
例題の解答
【手順1】 は微分すると になって簡単になり、 は積分しても のままです。そこで とします。
【手順2】、 です。
【手順3】公式に代入すると となります。
【手順4】 なので、 です( は積分定数)。
(確認: となり、正しく元の関数に戻ります。)
よって と書けます。条件 より なので、 です。
したがって です。
答え:
よくある誤り
と の選び方を逆にしてしまう誤り。 で とすると となり、残る積分がかえって複雑になる。正しくは として を得る。
符号を間違える誤り。 では なので となる。これを としてしまうのは誤り。正しくは 。
の 2 回目の部分積分で選び方を入れかえてしまう誤り。 で とすると となり、 で何も求まらない。正しくは 2 回目も として とし、 から 。
積分定数を落とす・増やす誤り。最後の答えに を付け忘れたり、途中の に定数を付けて混乱したりしやすい。正しくは途中の には定数を付けず、最後に を 1 つだけ付ける。例:()。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
次の定積分の値を求めよ。
次の定積分の値を求めよ。
次の定積分の値を求めよ。
次の定積分の値を求めよ。
次の定積分の値を求めよ。
関数 を、区間 で とし、周期 で実数全体に拡張した周期関数とする。 のフーリエ級数を
とし、係数を
で定める。正の整数 に対して、 を の式で求めよ。関数 を、区間 において とし、周期 で実数全体に拡張した関数とする。 のフーリエ級数を
と表す。ここで、フーリエ係数は
で定める。正の整数 に対して、 を の式で求めよ。周期 の関数 を、区間 で となるように定める。 のフーリエ級数を
と表すとき、フーリエ係数 を の式で求めよ。ただし、 は正の整数とする。関数 を奇関数として区間 に拡張し、さらに周期 の関数に拡張して、正弦級数
に展開する。正の整数 に対して、係数 を の式で求めよ。区間 で定義された関数 を奇関数として区間 に拡張し、さらに周期 の周期関数に拡張する。こうして得られる関数の正弦級数
の係数 を、正の整数 の式で求めよ。区間 で定義された関数 を奇関数として区間 に拡張し、さらに周期 の周期関数に拡張して、正弦級数
に展開する。正の整数 に対して、係数 を の式で求めよ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によってこの問題の解 を求め、極限
の値を求めよ。確率変数 は標準正規分布 に従い、その確率密度関数は
である。ガウス積分 を用いてよいものとして、 の 4 次の積率 を求めよ。確率変数 が標準正規分布 に従うとする。すなわち の確率密度関数は
である。ガウス積分 を用いてよい。このとき、 の 4 次の積率 を求めよ。確率変数 は標準正規分布 に従うとする。つまり、 の確率密度関数は
である。このとき、 の 4 次の積率 を求めよ。必要なら、ガウス積分 と、任意の 0 以上の整数 について であることを用いてよい。を正の整数とし、 は互いに独立に、確率密度関数
( では )の指数分布に従う確率変数とする。ここで は未知の母数である。 にもとづく の不偏推定量の分散に対するクラメール・ラオの下限を、 と を用いて求めよ。正の整数 に対し
とおく(積分は 上のルベーグ測度に関するもの)。極限 を求めよ。正の整数 に対し
とおく(積分は区間 上のルベーグ測度に関するもの)。極限 を求めよ。正の整数 に対し
とおく(積分は 上のルベーグ測度に関するもの)。極限 を求めよ。確率空間 上の確率変数 が、確率密度関数
をもつ(パラメータ の指数分布に従う)とする。正の整数 に対して
とおく。極限 を求めよ。確率空間 上の確率変数 が、確率密度関数
をもつ指数分布に従うとする。正の整数 に対して
とおく。極限 を求めよ。確率空間 上の確率変数列 は独立で、どれも区間 上の一様分布に従うとする。正の整数 に対して
とおく。 のとき は確率 である定数 に収束する。 の値を求めよ。確率空間 上の確率変数列 は独立で、どれも平均 の指数分布(確率密度関数 、)に従うとする。正の整数 に対して
とおく。確率 で極限 が存在し、 は定数になる。この定数 を求めよ。確率空間上の確率変数列 は独立で、どれも確率密度関数
をもつ指数分布に従うとする。正の整数 に対して
とおく。 のとき、 は確率 で定数 に収束する。この の値を求めよ。ルベーグ測度に関する実ヒルベルト空間 を、内積 で考える。部分空間
を考える。 が 全体を動くときの
の最小値を求めよ。実ヒルベルト空間 (ルベーグ測度に関する 2 乗可積分な実数値関数全体。内積は )において、関数系
は正規直交基底であることが知られている。この事実と関数 に対するパーセバルの等式を用いて、無限級数
の値を求めよ。
この技能を使う問題
次の定積分の値を求めよ。
座標平面上で、曲線 、 軸および直線 で囲まれた部分を とする。 を 軸のまわりに 回転させてできる立体の体積 を求めよ。ただし、 は自然対数、 は自然対数の底とする。
次の定積分の値を求めよ。ただし、 は自然対数の底とする。
次の定積分の値を求めよ。
広義積分
の値を求めよ。実数全体で定義された関数 が、微分方程式 と初期条件 を満たすとする。 を求めよ。
上の関数 を で定める。 のフーリエ級数とパーセバルの等式を用いて、級数
の値を求めよ。上の局所可積分関数 を緩増加超関数とみなし、その超関数の意味での 階導関数を とする。急減少関数 に対し、 の値を求めよ。
正の整数 に対し
とおく(積分はルベーグ測度に関するもの)。極限 の値を求めよ。連続型確率変数 の確率密度関数が
で与えられている。 の分散 を求めよ。質量 の粒子が、1 次元の無限に深い井戸型ポテンシャル( で 、それ以外で )の中で基底状態
にある。運動量演算子を ( はプランク定数を で割ったもの)とし、位置と運動量の標準偏差を , で定める。この状態における積 を を用いて表せ。に対するノイマン境界条件付きの熱方程式の初期値・境界値問題
の解を、変数分離法により余弦フーリエ級数で表されるものとする。このとき広義積分
の値を求めよ。必要ならば を用いてよい。実数全体で定義された関数
のフーリエ変換を
で定める。 の値を求めよ。区間 で定義された関数 のフーリエ級数を
とする。これらの係数を計算し、パーセバルの等式
を用いて、無限級数
の値を求めよ。答えは と を用いた式で表せ(双曲線関数は用いないこと)。実数全体で定義された関数
のフーリエ変換を
で定める。ここで は虚数単位である。 の値を求めよ。実数全体で定義された関数
のフーリエ変換を
で定める。ただし は虚数単位である。このとき の値を求めよ。区間 上で区分的に連続な実数値関数 のフーリエ係数を
で定める。このとき成り立つパーセバルの等式
は用いてよい。関数 のフーリエ係数を計算し、パーセバルの等式を用いて
が成り立つことを証明せよ。に対する熱方程式のノイマン境界値問題
を考える。 は、変数分離とフーリエ余弦級数によって得られる解とする。このとき
の値を求めよ。区間 上の 級の実数値関数 で、境界条件 , と積分制約
を満たすものの全体を とする。汎関数
の における最小値を求めよ。を確率空間 上の を満たす 1 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。伊藤積分
を考える。実数 に対して
とおくとき、 の最小値( が実数全体を動くときの最小値)を求めよ。曲線 と直線 で囲まれた部分の面積 を求めよ。ただし、 は自然対数とする。
座標平面上において、曲線 、直線 および 軸で囲まれた部分を とする。 を 軸のまわりに 回転させてできる立体の体積 を求めよ。
次の定積分の値を求めよ。
次の定積分の値を求めよ。ただし、 は自然対数の底とする。
曲線 と 軸で囲まれた部分を、 軸のまわりに 回転させてできる立体の体積 を求めよ。
2 曲線 と で囲まれた部分の面積 を求めよ。ただし、 は自然対数の底とする。
を正の整数とし、
とおく(積分はルベーグ測度に関するもの)。極限 を求めよ。広義積分
の値を求めよ。広義積分
の値を求めよ。実数 に対して
とおく。実数値関数 は、 が複素平面全体で正則となり、かつ を満たすものとする。このとき の値を求めよ。で定義された微分可能な関数 が、つねに を満たし、微分方程式 と初期条件 を満たすとする。 を求めよ。
を未知の母数、 を正の整数とする。 は互いに独立に、確率密度関数
をもつ分布に従う。 とおく。 の最尤推定量は であるが、これは の不偏推定量ではない。 のみによる定数 で、 がすべての に対して の不偏推定量となるものを の式で表せ。上の関数 を , で定め、その畳み込み
を考える。 を 上の超関数とみなし、超関数の意味での微分を用いて、実数 に対する を の式で表せ。に対する熱方程式の初期値・境界値問題
を考える。この問題の解を変数分離とフーリエ正弦級数を用いて の形で求めたうえで、
の値を求めよ。ただし、必要なら を用いてよい。正の整数 に対して
とおく(被積分関数は となる点で定め、測度 の残りの集合は無視する)。極限 を求めよ。水素原子の電子の の状態(2p 状態)の動径波動関数は、ボーア半径を として
である。波動関数は ( は規格化された球面調和関数)で、原子核は静止した点とみなす。電子が 2p 状態( は のどれでもよい)にあるとき、原子核からの距離が と の間に見いだされる確率を とする。 が最大となる距離を とするとき、電子が原子核から距離 未満の範囲に見いだされる確率を求めよ。
水素原子の電子(質量 、電荷 )を考える。原子核(陽子)は静止しているとみなし、電子が受けるポテンシャルを とする( は原子核からの距離、 は真空の誘電率)。ボーア半径を とすると、基底状態のエネルギーは であり、規格化された基底状態の波動関数は である。スピンは考えない。
電子が基底状態にあるとき、古典的には電子が入れない領域、すなわち となる領域に電子を見いだす確率を求めよ。答えは正確な値で答えよ。
以上の整数 に対し とおく(積分は 上のルベーグ測度に関するもの)。極限 の値を求めよ。
正の整数 に対し
とおく(積分は区間 上のルベーグ測度に関するもの)。極限
の値を求めよ。区間 で定義された関数
を考える。 のフーリエ級数
の係数を求め、パーセバルの等式
を用いて、無限級数
の値を求めよ。実数全体で定義された可積分な関数 のフーリエ変換を
で定める。関数
を考える。, のフーリエ変換、畳み込みのフーリエ変換の性質、パーセバルの等式などを利用して、定積分
の値を求めよ。ただし、被積分関数は で連続に拡張したもの(値 )とする。区間 で定義された関数 のフーリエ係数を
で定める。パーセバルの等式
を用いて、無限級数
の値を求めよ。答えは と を用いて表せ。を確率空間 上の を満たす 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。伊藤積分
を考える。共分散 を求めよ。インパルス応答が
で与えられる連続時間の線形時不変系に、幅 の矩形パルス
を入力する。ここで は時刻(単位は s)、 は単位ステップ関数( で 、 で )であり、系は で静止している(出力は )とする。出力 が最大値をとる時刻 を求めよ。
を正の実数とする。広義積分
は収束し、その値が であることを証明せよ。ただし、 であること、および「区間上で を満たす連続関数 について、 の広義積分が収束すれば の広義積分も収束する」こと(比較判定法)、「 の広義積分が収束すれば の広義積分も収束する」ことは用いてよい。上の関数 が指数位数であるとは、定数 と実数 があって、すべての で が成り立つことをいう(このとき を満たす任意の実数 についても が成り立つ)。 のラプラス変換を ( は実数)、 上の関数 の畳み込みを と定める。
を正の実数とし、 は連続で、すべての に対して を満たすとする。 は 2 回微分可能( では右側微分)で が連続であり、 はいずれも指数位数で、
を満たすとする。このとき、すべての に対して が成り立つことを、ラプラス変換を用いて証明せよ。ただし、次の事実は用いてよい( は実数とする)。
- が連続で、ある と実数 について のとき、 のすべての で を定める積分は収束する。また、 は線形である( がともに存在する で )。
- が連続で、ある共通の と実数 についていずれも で抑えられるとき、 で 、。
- (畳み込み定理) が連続で指数位数ならば、 も連続で指数位数であり、ある実数 があって のすべての で 。
- (ラプラス変換の一意性)連続で指数位数の について、ある実数 があって のすべての で ならば、 上で 。とおき、 に対して畳み込み
を考える。 を試験関数の空間とし、局所可積分関数 は超関数 と同一視する。超関数 の微分は で定める(したがって )。このとき、 はほとんどすべての で絶対収束する積分として定まって となり、さらに超関数の意味で
が成り立つことを証明せよ。ルベーグ積分の基本定理(フビニ・トネリの定理など)は用いてよい。を周期 の 級関数とし、
を満たすとする。整数 に対して のフーリエ係数を で定める。このとき、すべての実数 に対して
が成り立つことを証明せよ。ただし、次の事実は証明なしに用いてよい。
- 周期 の連続関数 とそのフーリエ係数 について、パーセバルの等式 が成り立つ。
- 周期 の 級関数 について、すべての実数 で が成り立つ。
- 。を 上の実数値連続関数とする。実数値関数 は で連続であり、 で が存在して連続( では片側微分とする)で、
をみたすとする。 とおくとき、
が成り立つことを示せ。ただし、次の事実は用いてよい: 上の連続関数 が、すべての正の整数 について をみたすならば、 は 上で恒等的に である。
次の定積分の値を求めよ。ただし、 は自然対数、 は自然対数の底とする。
次の定積分の値を求めよ。ただし、 は自然対数とする。
広義積分 の値を求めよ。
で連続な関数 が、 を満たし、 を除く で微分可能であって、積分微分方程式
を満たすとする。ここで は のとき 、 のとき をとる関数である。関数 のラプラス変換を で定める。このとき、広義積分
の値を求めよ。実数全体で定義された可積分な関数 のフーリエ変換を
で定める。実数全体で定義された関数 , を
とし、 とおく。を具体的に求め、, を計算したうえで、パーセバルの等式(2 つの関数の内積の形)
を用いて、定積分
の値を求めよ。における作用素 を考える( はラプラシアン、 はユークリッドノルム)。超関数の意味で
をみたし、 で のみに依存し、かつ で となる関数 を の基本解とする。ここで は原点におけるディラックのデルタである。の定義関数を とし、
と定める。 の値を求めよ。において、作用素 の基本解を考える。すなわち、超関数の意味で
をみたし、 は のみに依存し、 で となるものを とする( は原点におけるディラックのデルタ)。単位閉球 の定義関数を とし、
とおく( は の、無限遠で に減衰する解である)。点 における値 を求めよ。実数 に対し、第 種ベッセル関数 をべき級数
で定める。 の正の零点はすべて単純で、可算無限個ある。それらを小さい順に とする。このとき無限級数
は収束する。 の値を求めよ。実数値確率変数 の特性関数が
で与えられているとする。 は 上で可積分なので、 は 上で連続な確率密度関数 をもつ。 の値を求めよ。真空中に直交座標 をとり、 をそれぞれの軸の正の向きの単位ベクトルとする。一様な静磁場 ()がある。電荷 ()、質量 の粒子のサイクロトロン角振動数を とする。
この領域に、空間的に一様で、 平面内を回転する電場
を加える(サイクロトロン共鳴加熱のモデル)。時刻 に粒子は原点に静止していた。粒子の運動は非相対論的に扱い、重力・放射による損失・電場とともに生じる磁場の変化は無視する。SI 単位系を用いる。
を正の整数とするとき、時刻 における粒子の原点からの距離を、 を用いて表せ。
次の定積分の値を求めよ。
座標平面上で、曲線 と直線 で囲まれた部分を とする。 を 軸のまわりに 回転させてできる立体の体積 を求めよ。
定積分
の値を求めよ。曲線 を考える。ただし、対数は自然対数とする。原点 から曲線 に引いた接線のうち、 軸と異なるものを とする。曲線 、直線 および 軸で囲まれた部分の面積 を求めよ。
次の定積分の値を求めよ。
次の定積分の値を求めよ。 ただし、 は自然対数を表す。
定積分
を求めよ。ただし、 は自然対数とする。を正の実数とする。曲線 上の点 における の接線を とする。、 および 2 直線 、 で囲まれた部分の面積を とする。 が正の実数全体を動くとき、 の最小値を求めよ。ただし、対数は自然対数とする。
を実数とし、
とおく。ただし、 は自然対数、 は自然対数の底とする。 が実数全体を動くとき、 の最小値を求めよ。次の定積分の値を求めよ。 ただし、 は自然対数を表す。
区間 で定義された微分可能な関数 が、つねに を満たし、
を満たすとする。 の値を求めよ。実数係数の の多項式で次数が 以下のもの全体のなす実線形空間に、内積
を考える。実数 を動かすとき
の最小値を求めよ。で定義された微分可能な関数 が、微分方程式 を満たし、さらに のとき がある有限の値に収束するとする。 の値を求めよ。
広義積分
の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。ルベーグ測度に関する複素ヒルベルト空間 上の積分作用素 を
で定める。 は有界な自己共役作用素であり、そのスペクトル は のコンパクト部分集合である。 の最小値と最大値を、この順に組で求めよ。長さ 、線密度 の一様な弦が張力 で張られ、両端 と で固定されている。弦の横変位 は波動方程式
に従い、変位は十分小さく、重力・空気抵抗・減衰は無視できるものとする。時刻 に、弦の点 をつまんで高さ まで引き上げ、弦が 2 本の線分からなる折れ線
の形で静止した状態から静かに放した。その後の運動で、弦の全力学的エネルギーのうち基本振動(最も振動数の低い基準振動)が担うエネルギーの割合を求めよ。答えは を含む正確な値で表せ。
での弦の形 長さ 、線密度 の一様な弦が張力 で張られ、両端 , で固定されている。弦の横変位 は波動方程式
に従い、境界条件は である。時刻 に、弦の点 をつまんで高さ まで引き上げ、弦が 2 本の線分からなる折れ線
の形で静止している状態から、静かにはなした()。 は に比べて十分小さい。その後の弦の振動を基準振動の重ね合わせで表すとき、弦の全力学的エネルギーのうち、基本振動(最も振動数の低い基準振動)が担うエネルギーの割合を求めよ。ただし、弦の運動エネルギーは 、位置エネルギーは とする。
はなす直前の弦の形(縦方向は拡大してある) 長さ 、線密度 の一様な弦が張力 で張られ、両端 , が固定されている。弦の横変位 は微小で、波動方程式
に従うものとする。弦の力学的エネルギーは
で与えられ、減衰はないものとする。時刻 に、弦の点 をつまんで横に ()だけ引き、弦が 2 本の線分からなる形になった状態から静かに(各点の速度 で)はなした。その後の運動を基準振動 ()の重ね合わせで表すとき、弦の力学的エネルギー のうち、基本振動()がもつエネルギーの割合を求めよ。
の弦の形(縦方向を拡大して描いている) 質量 の粒子が、2 次元の無限に深い正方形の井戸型ポテンシャル
の中にある。この系に摂動
を加える。ここで は正の定数で、 は摂動として十分小さいとする。摂動を加える前の第 1 励起準位(エネルギーが 2 番目に低い準位)は縮退している。摂動を加えたとき、この準位から分かれる 2 つの準位のうち、エネルギーが低いほうのエネルギーを、 について 1 次の摂動論までの精度で求めよ。 はディラック定数とし、答えは , , , を用いて表せ。
体積 の空洞の内部が、温度 の壁と熱平衡にある電磁波(光子気体)で満たされている。空洞内の電磁場の基準振動は、波数ベクトル ごとに 2 つの独立な偏光をもち、角振動数は ( は真空中の光速)である。空洞は十分に大きく、基準振動についての和は周期境界条件のもとで積分に置き換えてよい。光子数は保存せず、光子の化学ポテンシャルは とする。零点エネルギーは考えない。この光子気体のヘルムホルツの自由エネルギー を分配関数から求め、それを用いてエントロピー を、 とボルツマン定数 を用いて表せ。必要なら を用いてよい。
区間 上のルベーグ測度に関する積分 の値を求めよ。
正の整数 に対し とおく(積分は区間 上のルベーグ測度に関するもの)。極限 の値を求めよ。
上の関数 を
で定める。 を 上の超関数とみなし、その超関数の意味での 階導関数を とする。 と の畳み込み は 上の連続関数として表される。 における を の式で求めよ。実ソボレフ空間 を、 でその弱導関数 も に属するもの全体とし(各 は 上の絶対連続な代表元と同一視する)、内積
によって実ヒルベルト空間とみなす。閉部分空間
と関数 に対し、 と との距離の 2 乗
を求めよ。ただし は自然対数の底とし、答えは を用いて表せ。に対する熱方程式の初期値・境界値問題
を考える。 は変数分離とフーリエ級数で得られる解
の形で表される(係数 は初期条件から定まる)。このとき広義積分
の値を求めよ。を正の整数とし、 は互いに独立に、確率密度関数
をもつ分布に従うとする。ここで は未知の母数である。 の推定量として
を考える( は の不偏推定量である)。 の不偏推定量の分散に対するクラメール・ラオの下限を とするとき、 の効率 を求めよ。ただし、クラメール・ラオの不等式が成り立つための正則条件は満たされているものとし、必要なら を用いてよい。実数全体で定義された可積分な関数 のフーリエ変換と逆変換を
で定める。実数全体で連続な関数 のフーリエ変換が
であるとき、 の値を求めよ。ある電子部品の寿命は、確率密度関数
の指数分布に従うとする( は平均寿命を表す未知の母数)。この部品 2 個の寿命 , を互いに独立に観測し、単純帰無仮説 を単純対立仮説 に対して、有意水準 で検定する。ネイマン・ピアソンの補題によって定まる、有意水準 の最強力検定(棄却域の境界上の確率は なので、確率化しない検定でよい)の、 のもとでの検出力を求めよ。
実数全体で定義された可積分な関数 のフーリエ変換を
で定める。実数値で可積分かつ 2 乗可積分な関数 に対して成り立つパーセバルの等式
を用いてよい。関数
のフーリエ変換を利用して、定積分
の値を求めよ。利力(連続複利の利率)が満期によらず一定で (年あたり)である市場を考える。すなわち、時刻 (年)に受け取る金額 の時刻 における現在価値は である。
ある保険会社は、時刻 に 万円を支払う負債を負っている。この会社は時刻 に次の 2 種類の資産を購入して負債を免疫化(イミュナイゼーション)したい。
- 資産 A: 時刻 に額面 万円が支払われる割引債(クーポンなし)
- 資産 B: 時刻 から永久に、年あたり 万円の一定の速度で連続的に支払いが行われる永久債(時刻 から の間に 万円が支払われる)
資産全体の現在価値と負債の現在価値が等しく、かつ資産全体のマコーレー・デュレーションと負債のマコーレー・デュレーションが等しくなるように と を定める。ここで、時刻 における現在価値が のキャッシュフローのマコーレー・デュレーションとは、各支払いの時刻をその支払いの現在価値で重み付けた平均
(連続的な支払いでは和を積分に置き換える)である。組 をこの順に求めよ。に対する減衰項付き波動方程式(電信方程式)の初期値・境界値問題
を考える。変数分離法により を ( は正の整数)のフーリエ正弦級数
の形で求めたとき、広義積分
の値を求めよ。必要ならば を用いてよい。を確率空間 上の を満たす 1 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。伊藤積分
を考え、確率変数 とおく。 の分散 を求めよ。に対する、左端が固定(ディリクレ条件)・右端が断熱(ノイマン条件)の熱方程式の初期値・境界値問題
を考える。ここで は、境界条件をみたす固有関数による変数分離とフーリエ級数展開で得られる解とする( では級数は項別微分可能で滑らかな関数を定め、 のとき は で初期値 に収束する)。このとき
の値を求めよ。を正の定数とする。確率変数 は互いに独立で、いずれも確率密度関数
をもつ指数分布に従うとする。
とおく( は確率 で正なので、 は確率 で定まる)。このとき、 は区間 上の一様分布に従い、かつ と は独立であることを証明せよ。ただし、次の 2 つの事実は用いてよい。
- (変数変換公式) が開集合 の外では となる同時密度関数 をもち、 が開集合 への 級の全単射で、逆写像 も 級でそのヤコビアン が 上で にならないとき、 の同時密度関数は 上で 、 の外で である。
- 2 つの連続型確率変数が独立であることは、同時密度関数が各周辺密度関数の積に等しいことと同値である。関数 のフーリエ変換を
で定める。次の反転公式は用いてよい: が 上で連続で、 ならば、すべての実数 に対して
が成り立つ。関数 のフーリエ変換を計算し、反転公式を用いて、すべての実数 に対して
が成り立つことを証明せよ。ただし被積分関数の での値は と定める(連続な延長)。を正の整数とする。定積分 の値を の式で表せ。
次の定積分の値を求めよ。 ただし、被積分関数の における値は と定めるものとし、 は自然対数とする。
この技能の次に学べること
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 1 階線形微分方程式 (大学数学 微分方程式)
- フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
- ルジャンドル多項式の直交性と漸化式 (大学院数学 特殊関数・漸近解析)
- ビリアル定理 (大学物理 宇宙物理・宇宙論)