に対する波動方程式の初期値・境界値問題
を考える。 とおく変数分離法によってこの問題の解を求め、 の値を求めよ。
変数分離法
とおいて偏微分方程式を常微分方程式の固有値問題に分けられる
前提
- 偏微分方程式の用語と解の確認 (大学院数学 偏微分方程式)
- 境界値問題と固有値 (大学数学 微分方程式)
この技能までの道筋(65 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 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 階線形(斉次) (大学数学 微分方程式)
- 境界値問題と固有値 (大学数学 微分方程式)
説明
変数分離法は、未知関数を のように「 だけの関数」と「 だけの関数」の積とおくことで、線形の偏微分方程式を 2 本の常微分方程式に分ける方法です。とくに境界条件は についての条件になり、 の方程式は前提の技能で学んだ固有値問題 になります。熱方程式 や波動方程式 のように、区間 の両端で と指定された問題で使います。初期条件が固有関数の定数倍であれば、この方法だけで解が求まります。
なぜそうしてよいのか
熱方程式 ( は定数)に を代入すると となります。 は恒等的に 0 ではないとすると、 となる と となる があります。まず を代入すると です。(ただの定数)とおけば が得られます。これを元の式に戻すと です。ここで を代入して で割れば となります。直観的には、式を と書くと、左辺は だけ、右辺は だけで決まります。 と を独立に動かしても両辺が等しいので、両辺は同じ定数でなければなりません。この定数を と名付けるのが慣例です。
境界条件も に移せます。 がすべての で成り立ち、 なので です。同様に も得られます。こうして は固有値問題 を満たします。0 でない があるのは ()のときだけで、そのとき の定数倍です。残る は 1 階の変数分離形で、 と解けます。
この方法がうまくいくのは、方程式と境界条件がともに線形かつ斉次( が解)だからです。たとえば境界条件が だと、 から が定数に限られてしまい、上の議論は成り立ちません。
手順
方程式と境界条件が線形・斉次であることを確かめ、 とおいて代入する(例: )
だけの部分と だけの部分に分け、共通の定数 とおく: 。これで と の 2 本の常微分方程式に分かれる
境界条件を の条件に直す。 なので、 から が出る
固有値問題を解く: , ()
各 について の方程式を解く。熱方程式なら となり、 を得る
初期条件 と比べて と を決め、元の方程式に代入して確かめる
例題
熱方程式 ()、境界条件 、初期条件 を考える。これらをすべて満たし、 の形をした解 を求めよ。
例題の解答
【手順1】方程式も境界条件も線形・斉次である。 を代入すると となる。初期条件より である。
【手順2】(定数)とおくと、 と に分かれる。
【手順3】 と がすべての で成り立ち、 なので である。
【手順4】 の固有値問題だから、, ()となる。
【手順5】 を解くと である。よって となる。
【手順6】 とおくと が のすべての で成り立つ必要がある。右辺は恒等的に 0 ではないので である。 は にちょうど 個の零点をもち、 は 1 個()だけもつ。したがって である。さらに を代入すると となる。
確認: について、、 だから方程式を満たす。また 、 も成り立つ。
答え:
よくある誤り
から「 でもよい」としてしまう誤り。 なら となり、初期条件 を満たせない。正しくは なので と結論する。
分離定数を正の数と決めつけて とおき、 だけを調べて「解なし」とする誤り。正しくは とおき、 をすべて調べる。0 でない解が出るのは のときだけである。
の指数を取り違える誤り。たとえば で や と書いてしまう。正しくは だから である。
境界条件が斉次でない問題(例: )にそのまま を当てはめ、 とする誤り。 がすべての で成り立つには が定数でなければならず、一般には解が作れない。正しくは、境界条件が の形(斉次)のときに が導ける。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
に対する波動方程式の初期値・境界値問題
を考える。この問題の滑らかな解はただ一つであることが知られている。 とおく変数分離法によって解 を求め、 の値を求めよ。に対する波動方程式の初期値・境界値問題
を考える。 とおく変数分離法で得られる解 について、 の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によってこの問題の解 を求め、極限
の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。この問題の解 を変数分離とフーリエ正弦級数を用いて求め、 における中点での値 を の式で表せ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によって得られる解 について、極限
の値を求めよ。平面の円板 において、 がディリクレ問題
を満たすとする。極座標による変数分離を用いて を求め、点 における値 を求めよ。平面の円板 において、ラプラス方程式のディリクレ問題
を考える。ここで は直交座標 の関数 であり、 とする(この条件のもとで解はただ 1 つに定まる)。極座標を用いた変数分離によってこの解 を求め、直交座標で と表される点における値 を求めよ。
この技能を使う問題
平面の円環領域 において、 がディリクレ問題
を満たすとする。このとき の値を求めよ。に対するノイマン境界条件付きの熱方程式の初期値・境界値問題
の解を、変数分離法により余弦フーリエ級数で表されるものとする。このとき広義積分
の値を求めよ。必要ならば を用いてよい。に対する両端固定の弦の波動方程式の初期値・境界値問題
の解 について、 の値を求めよ。長方形領域 におけるラプラス方程式のディリクレ問題
の解 はただ 1 つ存在する。変数分離法によりこの解を求め、 の値を求めよ。に対する熱方程式のノイマン境界値問題
を考える。 は、変数分離とフーリエ余弦級数によって得られる解とする。このとき
の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。この問題の解を変数分離とフーリエ正弦級数を用いて の形で求めたうえで、
の値を求めよ。ただし、必要なら を用いてよい。平面の円環領域 において、ディリクレ問題
を考える。 は で 級、 で連続な解とする(このような解はただ 1 つである)。このとき の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。 は変数分離とフーリエ級数で得られる解
の形で表される(係数 は初期条件から定まる)。このとき広義積分
の値を求めよ。に対する減衰項付き波動方程式(電信方程式)の初期値・境界値問題
を考える。変数分離法により を ( は正の整数)のフーリエ正弦級数
の形で求めたとき、広義積分
の値を求めよ。必要ならば を用いてよい。平面の円環領域 において、ラプラス方程式のディリクレ問題
を考える。ここで は で 級、閉包 で連続な関数とする。このとき
の値を求めよ。に対する、左端が固定(ディリクレ条件)・右端が断熱(ノイマン条件)の熱方程式の初期値・境界値問題
を考える。ここで は、境界条件をみたす固有関数による変数分離とフーリエ級数展開で得られる解とする( では級数は項別微分可能で滑らかな関数を定め、 のとき は で初期値 に収束する)。このとき
の値を求めよ。