に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によってこの問題の解 を求め、極限
の値を求めよ。
有界区間の熱方程式
有界区間の熱方程式の初期値・境界値問題を、変数分離とフーリエ級数で解ける
前提
この技能までの道筋(70 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 偏微分と全微分 (大学数学 微分積分)
- 偏微分方程式の用語と解の確認 (大学院数学 偏微分方程式)
- 多項式の不定積分 (数学II 微分法と積分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 分数関数の積分(部分分数分解) (数学III 積分法)
- 変数分離形 (大学数学 微分方程式)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 増減表と極値 (数学II 微分法と積分法)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- 無限等比級数と無限級数 (数学III 極限)
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- オイラーの公式 (大学数学 微分積分)
- 三角関数の合成 (数学II 三角関数)
- 定数係数 2 階線形(斉次) (大学数学 微分方程式)
- 境界値問題と固有値 (大学数学 微分方程式)
- 変数分離法 (大学院数学 偏微分方程式)
- 三角関数の積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
- 正弦級数・余弦級数 (大学数学 フーリエ解析・ラプラス変換)
説明
細い棒の温度分布のように、有界区間 上で ( は熱拡散率)を満たし、両端の条件(境界条件)と時刻 での分布(初期条件)が与えられた を具体的な式で求める技能です。変数分離で固有関数を求め、それを重ね合わせます。係数は初期条件の正弦級数・余弦級数展開で決めます。解の値や、 での振る舞い(減衰の速さや平衡状態)を調べるときに使います。
なぜそうしてよいのか
とおいて に代入すると となり、両辺を で割ると です。左辺は だけ、右辺は だけの関数なので、両辺は定数になります。これを とおくと と に分かれます。両端で温度を に保つ条件 からは が出ます。この固有値問題で でない解をもつのは ()のときだけで、そのとき です。さらに となります。両端の断熱条件 の場合は、()、 です。 の定数解も入ることに注意します。
方程式も境界条件も線形なので、これらの解の和 も、方程式と境界条件を満たします。 を代入すると です。したがって初期分布 をこの形に書ければよく、それはちょうど の正弦級数展開になります。係数は です。
では各項に が掛かり、 が大きいほど急速に減衰します。そのため級数は項別に何回微分しても収束し、得られる は滑らかな本物の解になります。物理的にも、細かい凹凸(高周波)ほど速くならされる、という直観と合っています。解がただ 1 つであることも確かめられます。 とおき、2 つの解の差について部分積分すると です。 なので はずっと であり、2 つの解は一致します。
手順
境界条件が斉次()でなければ、まず定常解を引いて斉次にする。例えば なら とおき、 を考える( は同じ熱方程式と斉次境界条件を満たす)
境界条件の種類から固有関数と固有値を決める。両端 なら ()、両端 なら ()で、固有値はどちらも
解を重ね合わせの形に書く。 とする(余弦の場合は定数項 を含める)
初期条件 を正弦級数(または余弦級数)に展開して を決める。正弦の場合は 。 が三角関数の有限和に書けるなら、積分せず係数を比べてよい
得られた級数に求めたい を代入する(手順 1 を行った場合は を足し戻す)
例題
()、、 を満たす解 について、 を の式で求めよ。
例題の解答
手順 1:境界条件はすでに斉次なので、そのまま進む。
手順 2:両端で なので、固有関数は 、固有値は ()。
手順 3: なので、 とおける。
手順 4:3 倍角の公式 (加法定理から導ける)より、。これがそのまま正弦級数になっているので、、、それ以外の は 。よって 。、境界条件、初期条件をすべて満たすことも直接確かめられる。
手順 5: を代入する。、 なので、。
答え:
よくある誤り
減衰の指数を のように書き、 や区間の長さ を落としてしまう誤り。正しくは 。例えば 、 なら第 項は 。
両端断熱()の問題で の定数項を落としてしまう誤り。正しくは 。 での極限は、初期分布の平均 になる。
境界値が でないのに、 をそのまま正弦級数で表してしまう誤り。正弦級数の各項は で なので、 を満たせない。正しくは を引き、 を正弦級数に展開する。
係数を と計算してしまう誤り。 なので、正しくは 。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
に対する熱方程式の初期値・境界値問題
を考える。この問題の解 を変数分離とフーリエ正弦級数を用いて求め、 における中点での値 を の式で表せ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によって得られる解 について、極限
の値を求めよ。
この技能を使う問題
に対するノイマン境界条件付きの熱方程式の初期値・境界値問題
の解を、変数分離法により余弦フーリエ級数で表されるものとする。このとき広義積分
の値を求めよ。必要ならば を用いてよい。に対する熱方程式のノイマン境界値問題
を考える。 は、変数分離とフーリエ余弦級数によって得られる解とする。このとき
の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。この問題の解を変数分離とフーリエ正弦級数を用いて の形で求めたうえで、
の値を求めよ。ただし、必要なら を用いてよい。を 上の実数値連続関数とする。実数値関数 は で連続であり、 で が存在して連続( では片側微分とする)で、
をみたすとする。 とおくとき、
が成り立つことを示せ。ただし、次の事実は用いてよい: 上の連続関数 が、すべての正の整数 について をみたすならば、 は 上で恒等的に である。
に対する熱方程式の初期値・境界値問題
を考える。 は変数分離とフーリエ級数で得られる解
の形で表される(係数 は初期条件から定まる)。このとき広義積分
の値を求めよ。に対する、左端が固定(ディリクレ条件)・右端が断熱(ノイマン条件)の熱方程式の初期値・境界値問題
を考える。ここで は、境界条件をみたす固有関数による変数分離とフーリエ級数展開で得られる解とする( では級数は項別微分可能で滑らかな関数を定め、 のとき は で初期値 に収束する)。このとき
の値を求めよ。
この技能の次に学べること
- フーリエ変換による解法と熱核 (大学院数学 偏微分方程式)
- ファインマン・カッツの公式 (大学院数学 確率解析)