関数 のマクローリン展開を
とする。ただし は実数である。 の係数 の値を求めよ。
テイラー展開
, , などのテイラー展開(マクローリン展開)を求め、剰余項の意味がわかる
前提
- 平均値の定理 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
この技能までの道筋(50 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 増減表と極値 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 積と商の微分 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
説明
テイラー展開を使うと、、、 のような関数を、ある点の近くで多項式で近似できます。そのとき生じる誤差も「剰余項」として式で表せます。たとえば のような近似式を作るときや、近似の誤差を見積もるときに使います。関数の値の近似計算、極限の計算、不等式の証明などでよく使われます。
なぜそうしてよいのか
記号を2つ決めておきます。 は を 回微分した関数で、 とします。 で、 とします。
まず、 の近くで によく似た 次多項式 を作ります。条件は「 での値と、 回目までの微分係数がすべて と一致すること」です。 を 回微分して を代入すると、 の項だけが として残り、他の項は消えるか を含んで になります。そこで とおけばよく、 と決まります。これがマクローリン展開( でのテイラー展開)の係数です。点 のまわりで展開するときは、 を に、 を に置き換えます。
誤差 は次のように表せます。 が と を含む区間で 回微分可能なら、 と の間のある について が成り立ちます。最後の項が剰余項です。 の場合は となり、これは平均値の定理そのものです。一般の でも平均値の定理を繰り返し使えば示せます。 を固定し、 となる定数 をとって、 とおきます。すると かつ です。 なので、平均値の定理から と の間に となる があります。次に から となる がとれます。これを 回続けると、 となる が得られ、 がわかります。
剰余項が で に近づくなら、 は無限に続く和(べき級数)で表せます。代表的な結果は次のとおりです。
- (すべての )
- (すべての )
- (すべての )
- ( のときだけ)
たとえば では、剰余項は です。その絶対値は 以下であり、これは で に収束します。
手順
展開する点(ふつうは )と、何次の項まで求めるか()を決め、 がその範囲で必要な回数だけ微分可能であることを確かめる
を順に計算し、展開する点での値 を求める
各係数を で求める(階乗で割ることを忘れない)
( は と の間のある数)と書く。誤差を見積もる必要があれば、剰余項の大きさを評価する
例題
関数 ()を のまわりでテイラー展開(マクローリン展開)したとき、 の係数を求めよ。
例題の解答
【手順1】 のまわりで 次の項まで求めます。 は で何回でも微分可能です。
【手順2】合成関数の微分を使って順に微分します。
を代入すると、 です。
【手順3】係数は 、、、 です。
【手順4】 なので、( は と の間のある数)と書けます。剰余項は を含むので、 の係数には影響しません。したがって の係数は です。
答え:
よくある誤り
係数を のままにして、 で割り忘れる誤り。たとえば としてしまう。正しくは です。
剰余項の を で評価して とし、これで誤差がちょうど表せると考える誤り。正しくは と の間のある での値 を使います。しかも は や によって変わります。
無限に続く和の式を、成り立たない範囲で使う誤り。たとえば で としてしまう(この和は収束しません)。正しくは、 が成り立つのは のときだけです。
を のまわりで展開しようとしたり、 の符号を と間違えたりする誤り。 は で定義されないので、 で展開できるのは です。その一般項は ()で、符号が交互に変わります。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
関数 について、 における 3 次のテイラー多項式(マクローリン多項式)
を求めよ。ただし は自然対数とする。関数 のマクローリン展開
における の係数 を求めよ。ただし、 は自然対数とする。極限 の値を求めよ。ただし は でない実数とする。
極限
の値を求めよ。ただし は でない実数とする。は かつ を満たす実数とする。極限 の値を求めよ。
確率変数 は独立で同じ分布に従い、
を満たすとする。正の整数 に対して とおき、 の特性関数を
とする。実数 を固定したときの極限 を の式で求めよ。ただし は虚数単位である。確率変数 は独立同分布で、各 は
をみたすとする。 とおく。 を実数とするとき、極限
を の式で求めよ。ただし は虚数単位とする。確率変数 は独立同分布で、各 は
を満たすとする。 とおき、 の特性関数を
とする。 を固定した実数とするとき、極限 を の式で求めよ。
この技能を使う問題
極限
の値を求めよ。ただし は でない実数とする。確率変数 はパラメータ のポアソン分布に従う。すなわち
である。確率変数 の分散 を求めよ。複素関数
を、円環領域 でローラン展開し、
と表す。係数 の値を求めよ。実数値確率変数 の特性関数が
で与えられているとする。 を求めよ。面積 の平面内に 個の同種原子が並んだ 2 次元結晶を考える。原子は平面内の方向にだけ振動するとし、格子振動を 2 次元のデバイ模型で扱う。
- 振動の分枝は縦波 1 種類と横波 1 種類の計 2 種類である。どちらも音速は で、分散関係は とする。
- 周期的境界条件を課し、 と は十分大きく、波数 についての和は積分で置き換えてよい。
- 2 つの分枝に共通の切断角振動数(デバイ角振動数) を設け、 の振動モードの総数が になるように を決める。
- 各振動モードは角振動数 の量子調和振動子とみなす。
換算プランク定数を 、ボルツマン定数を 、絶対温度を とする。 の高温では、この結晶の格子比熱 は
と展開できる。定数 を を用いて表せ。を正の整数とする。3 種類の文字 を重複を許して 個並べてできる長さ の文字列のうち、 の個数が偶数(0 個を含む)であり、かつ の個数が奇数であるものの個数を とする。 を の式で求めよ。
極限
の値を求めよ。ただし は を満たす実数とする。複素関数
の における留数 を求めよ。複素関数
の における留数 を求めよ。個の原子からなる 3 次元の単体結晶の格子比熱を、デバイ模型で考える。振動モードの状態密度は
で与えられ( はデバイ角振動数)、各モードは独立な量子調和振動子として温度 で熱平衡にあるとする。デバイ温度を とする( は換算プランク定数、 はボルツマン定数)。高温 では定積比熱 (結晶全体の熱容量)はデュロン・プティの値 に近づく。このときのずれ を について展開したときの最低次の項を、 を用いて表せ。
角振動数 の 1 次元調和振動子を考える( はプランク定数を で割ったもの)。規格化されたエネルギー固有状態を 、固有値を ()とし、消滅演算子 ・生成演算子 は ()、 を満たすとする。振動子が、消滅演算子の固有値 の規格化された固有状態
にあるとき、エネルギーを測定して が得られる確率を求めよ。を独立同分布な確率変数で、 を満たすものとし、
とおく(この級数は各標本点で絶対収束する)。 の特性関数 を無限積で表し、それを用いて 次モーメント を求めよ。SI 単位系を用いる。真空の誘電率を 、電気素量を ()、ボルツマン定数を とする。指数関数は で表す。
電子と 2 価の陽イオン(電荷 )からなる一様な電離プラズマがある。外から何も加えないとき、電子の数密度は 、イオンの数密度は で、プラズマは電気的に中性である。電子は温度 、イオンは温度 の熱平衡にあり、静電ポテンシャル の中で電子とイオンの数密度はそれぞれボルツマン分布
に従うとする( の基準は無限遠で )。このプラズマの中の原点に点電荷 を置き、十分時間がたって定常状態になった。プラズマパラメータ(デバイ球の中の粒子数)は 1 より十分大きく、電荷密度は連続的に扱えるものとする。また、原点の近くを除いて が成り立ち、ボルツマン因子は について 1 次まで展開してよい。ポテンシャルは球対称で、 で 、 で を満たすとする。
電子だけで決まるデバイ長を
とする。原点から距離 の点での と、同じ点にプラズマがない場合の真空中のクーロンポテンシャル との比
を、 を用いた正確な値で求めよ。宇宙マイクロ波背景放射(CMB)は温度 の黒体放射であり、振動数が と の間にある光子のエネルギー密度は、プランクの法則により
で与えられるとする。ここで はプランク定数、 は光速、 はボルツマン定数である。必要なら積分 を用いてよい。電波望遠鏡で観測する、振動数が の低振動数の帯域を考える。 は を満たす正の定数である。CMB の全エネルギー密度のうち、振動数 の光子が担う割合 を、 について最低次の項まで求め、, , , を用いて表せ。
を を満たす実数とする。初期値問題 , に対し、刻み幅 の 2 段のルンゲ・クッタ法の 1 ステップを
で定める。, , を実数とし、この方法を の場合に適用する。厳密解を とするとき、 の値によらず
が成り立つことを証明せよ。ただし、初期値問題 , の解が であることと、テイラーの定理(ラグランジュの剰余項)は用いてよい。質量 の電子が、電荷 の点状の原子核のつくるクーロンポテンシャル
の中を運動する水素様イオンを考える。電子はディラック方程式に従うとする。 は微細構造定数、 は光速度、 は換算プランク定数である。原子核の質量は無限大とし、原子核の大きさ、超微細構造、量子電磁力学的補正(ラムシフトなど)はすべて無視する。エネルギー固有値は静止エネルギー を含めたものとする。準位 と のエネルギー差 を で展開して
と表す。有理数の定数 を求め、組 の形で答えよ。実数 の関数 に対する初期値問題
を考え、 とおく。 を満たす実数の定数 をパラメータにもつ 2 段の陽的ルンゲ・クッタ法
で、, から刻み幅 の 1 ステップを進める。厳密解の値 との差(局所誤差) を の式とみる。一般にこの方法の局所誤差は であるが、この初期値問題のこの 1 ステップに限っては、ある の値で局所誤差が となる。そのような の値を とし、 のときの局所誤差を
と表す。 と定数 をこの順に組 で求めよ。を正の実数とし、 とする。実数の定数 を用いた割り算を含まない反復
を考える。この反復関数を とおく。 がすべて成り立つように を定める。これにより、 に十分近い初期値 から反復すると は に 3 次以上で収束する。このように定めた を用い、 を に十分近くとる。さらに、すべての について であるとする。このとき、極限
を を用いて表せ。初期値問題
の厳密解を とする。 とおき、刻み幅 として、次の 2 段の陽的ルンゲ・クッタ法で から まで 1 ステップ進める。
このとき、局所誤差は で
の形に表される。ここで は正の整数、 は でない実数の定数である。 と をこの順に組 で求めよ。正の整数 に対して とおく。無限級数
の値を求めよ。を実数の定数とする。極限
が有限の値に収束するとき、 の値を求めよ。ただし は でない実数で、 は を満たす範囲( の十分近く)を動くものとする。実ヒルベルト空間
を、内積 とそれから定まるノルム で考える。部分空間 を
で定め、 を とする。このとき
の値を求めよ。質量 の原子 個()が、ばね定数 のばねで隣どうしつながれ、平衡位置の間隔 で直線上に並んだ 1 次元結晶(全長 )を考える。原子は鎖の方向(縦方向)にのみ振動し、周期境界条件を課す。この鎖の格子振動の分散関係は である。
この格子振動をデバイ模型で扱う。すなわち、分散関係を長波長極限の音速 を用いた で置き換え、基準振動の総数が になるように波数の大きさに上限 (デバイ波数)を設ける。各基準振動は角振動数 の量子調和振動子として扱い、フォノンはボース・アインシュタイン統計(化学ポテンシャル )に従うとする。 はディラック定数、 はボルツマン定数である。
温度 がデバイ温度 に比べて十分低い()とき、この鎖の定積熱容量 を、温度 について最低次の項まで求め、 を用いて表せ。必要なら次の積分を用いてよい。
複素平面上の円 を反時計回りに 1 周する積分路とする。次の複素積分の値を求めよ。
実数の定数 は、極限
が有限の値として存在するように定められているとする。このとき の値を求めよ。極限
の値を求めよ。実数全体で定義された関数 は狭義単調増加で、実数全体から実数全体への全単射である。その逆関数を とする(すなわち、すべての実数 に対して が成り立つ)。 の における 7 階微分係数 の値を求めよ。
で定義された微分可能な関数 が、微分方程式 を満たし、さらに のとき がある有限の値に収束するとする。 の値を求めよ。
正の整数 に対し
とおく(積分はルベーグ測度に関するもの)。 であることが知られている。極限
の値を求めよ。確率変数 は平均 のポアソン分布に従い、 は互いに独立で、いずれも確率密度関数
をもつ。さらに と は独立とする。
とおくとき、 を求めよ。個の原子からなる 3 次元の単体結晶の格子比熱(定積比熱)を、次の 2 つの模型で考える。ボルツマン定数を 、絶対温度を とする。
- アインシュタイン模型: 個の独立な量子調和振動子がすべて同じ角振動数をもつとし、その特性温度(アインシュタイン温度)を とする。
- デバイ模型: 格子振動の状態密度を 、 とし、デバイ温度を とする。
高温(、)では、どちらの模型の比熱も ( はそれぞれの特性温度、 は模型ごとに決まる正の定数)の形に展開できる。2 つの模型の比熱が、 の項まで一致するとき、比 を求めよ。
を整数とし、 とおく(積分は 上のルベーグ測度に関するもの)。極限 の値を求めよ。
電子(電荷 )と 1 価の陽イオン(電荷 )からなる一様なプラズマが熱平衡にあり、遠方での電子とイオンの数密度はどちらも である。ここで は電気素量である。電子の温度を 、イオンの温度を とする。SI 単位系を用い、 を真空の誘電率、 をボルツマン定数とする。
このプラズマの中の原点に、点電荷 ()を固定して置いた。十分時間がたった後、電子とイオンはどちらも静電ポテンシャル の中でボルツマン分布
に従うとする。 は と のどちらよりも十分小さいとして指数関数を 1 次まで展開し、 は無限遠で 、原点の近くでは に近づくとする。電子のデバイ長を と定義する。原点を中心とする半径 の球の内部にある電荷の総量(点電荷 と、プラズマに誘起された電荷の和)を とするとき、比 を正確な値で求めよ。ただし、答えに自然対数の底が現れる場合は を用いて表せ。
軸に垂直な、十分に広い 2 枚の平板電極を と に置き、その間()を一様なプラズマで満たす。電極 の電位を ()、電極 の電位を に保つ。電位 は だけの関数である。
プラズマは次のようにふるまうものとする。
- イオン(電荷 )は動かず、その密度は一様に である
- 電子(電荷 )は温度 の熱平衡にあり、密度はボルツマン分布 に従う
- のすべての点で が成り立ち、 は について 1 次まで近似してよい電子のデバイ長を とし( は真空の誘電率、 はボルツマン定数)、電極間隔はデバイ長を用いて と表されるとする( は自然対数)。
電極間のプラズマ中にある空間電荷の、電極の単位面積あたりの総量 ( は電荷密度)を、 を用いて求めよ( は答えに含めないこと)。
一様等方に膨張する宇宙で、宇宙の晴れ上がり以後の宇宙マイクロ波背景放射(CMB)を考える。晴れ上がり以後、CMB の光子は物質と相互作用せずに自由に伝わり、各光子の振動数は宇宙膨張によってスケール因子に反比例して変化するものとする。現在(赤方偏移 )の CMB は温度 の黒体放射である。
温度 の黒体放射の、単位体積・単位振動数あたりのエネルギー密度は
である( はプランク定数、 はボルツマン定数、 は光速)。必要なら を用いてよい。赤方偏移 ()にある、宇宙膨張とともに動くガス雲を考える。このガス雲の静止系で測ったとき、その時刻の CMB の全エネルギー密度のうち、振動数が 未満の光子が担う割合を とする。 とおき、 であるとして、 を のべきで展開したときの、最も低い次数の項とその次の項の和を、, を用いて表せ。
を正の整数とし、 を互いに独立で、いずれも区間 上の一様分布(確率密度関数が で 、それ以外で )に従う確率変数とする。 とおく。このとき、すべての正の実数 に対して
が成り立つことを証明せよ。ただし、次の事実は用いてよい。
- 期待値の線形性と、マルコフの不等式(確率 で を満たし期待値が有限な確率変数 と に対して )
- 互いに独立な有界な確率変数 に対して であること、および が独立ならば、実数値関数 による も独立であること
- 指数関数のマクローリン展開互いに相互作用しない異核 2 原子分子 個からなる理想気体が、温度 の熱浴と接して熱平衡にある。分子の回転運動だけに注目し、各分子を慣性モーメント の剛体回転子とみなす。回転のエネルギー準位は
で、準位 の縮退度は である。回転の特性温度を ( はボルツマン定数)とし、 とおく。回転以外の自由度(並進・振動・電子状態・核スピン)は考えない。高温 (すなわち )で、回転による定積熱容量 が
と展開されるとき、係数 を既約分数で求めよ。
この技能の次に学べること
- 漸近展開と極限 (大学数学 微分積分)
- べき級数と収束半径 (大学数学 微分積分)
- ラプラスの方法(ガウス型の極限) (大学院数学 測度論・実解析)
- ニュートン法の収束の次数 (大学数学 数値解析)
- 補間多項式の誤差 (大学数学 数値解析)
- 局所誤差の次数 (大学数学 数値解析)
- ハッシュの衝突確率(誕生日問題) (大学数学 暗号理論)
- 有効ポテンシャルと円軌道の安定性 (大学物理 力学(質点・剛体))
- シュヴァルツシルト半径と重力赤方偏移 (大学物理 宇宙物理・宇宙論)
- 束一的性質の熱力学 (大学化学 化学熱力学)
- 一般化座標での平衡点まわりの微小振動 (大学物理 解析力学)
- ディラック方程式による水素型原子の準位 (大学院物理 発展的な量子力学(散乱・相対論的量子力学))