技能一覧 › 大学院数学 偏微分方程式

変数分離法

とおいて偏微分方程式を常微分方程式の固有値問題に分けられる

前提

この技能までの道筋(65 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 分数のたし算・ひき算 (算数 計算と数のきまり)
  2. 小数の四則計算 (算数 計算と数のきまり)
  3. 正負の数の加法・減法 (中学数学 数と式)
  4. 分数のかけ算・わり算 (算数 計算と数のきまり)
  5. 四則の混じった計算の順序 (算数 計算と数のきまり)
  6. 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
  7. 分配法則を使った計算のくふう (算数 計算と数のきまり)
  8. 文字式の計算(同類項・分配法則) (中学数学 数と式)
  9. 乗法公式による展開 (中学数学 数と式)
  10. 因数分解 (中学数学 数と式)
  11. 3 次式までの展開と因数分解 (数学I 数と式)
  12. 微分係数と導関数の定義 (数学II 微分法と積分法)
  13. 多項式の微分 (数学II 微分法と積分法)
  14. 等間隔にならんだ数の和 (算数 計算と数のきまり)
  15. 等差・等比数列の和と Σ (数学B 数列)
  16. 数列の極限 (数学III 極限)
  17. 関数の極限 (数学III 極限)
  18. 積と商の微分 (数学III 微分法)
  19. 合成関数の微分 (数学III 微分法)
  20. 偏微分と全微分 (大学数学 微分積分)
  21. 偏微分方程式の用語と解の確認 (大学院数学 偏微分方程式)
  22. 多項式の不定積分 (数学II 微分法と積分法)
  23. 円の周の長さと面積 (算数 平面図形)
  24. おうぎ形の弧の長さと面積 (算数 平面図形)
  25. 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
  26. 三角形・四角形の面積 (算数 平面図形)
  27. 約数の見つけ方 (算数 整数の性質)
  28. 素因数分解と約数の個数 (算数 整数の性質)
  29. 平方根の意味と根号の簡単化 (中学数学 数と式)
  30. 三平方の定理 (中学数学 相似と三平方の定理)
  31. 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
  32. 弧度法と単位円による三角関数 (数学II 三角関数)
  33. の極限 (数学III 極限)
  34. 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
  35. 三角関数の導関数 (数学III 微分法)
  36. 根号の乗除と加減 (中学数学 数と式)
  37. 指数の拡張と指数関数 (数学II 指数関数と対数関数)
  38. 対数の定義と性質 (数学II 指数関数と対数関数)
  39. 自然対数の底 (数学III 極限)
  40. 指数関数・対数関数の導関数 (数学III 微分法)
  41. 基本的な関数の不定積分 (数学III 積分法)
  42. 置換積分 (数学III 積分法)
  43. 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
  44. 分数関数の積分(部分分数分解) (数学III 積分法)
  45. 変数分離形 (大学数学 微分方程式)
  46. 小数と分数のまじった計算 (算数 計算と数のきまり)
  47. 逆算(□ を求める) (算数 計算と数のきまり)
  48. 1 次方程式の解き方 (中学数学 方程式)
  49. 比例・反比例の式とグラフ (中学数学 関数)
  50. 関数 の式と変域 (中学数学 関数)
  51. 平方完成と 2 次関数のグラフ (数学I 2次関数)
  52. 2 次不等式 (数学I 2次関数)
  53. 増減表と極値 (数学II 微分法と積分法)
  54. 関数の連続性と中間値の定理 (数学III 極限)
  55. 平均値の定理 (数学III 微分法)
  56. 第 2 次導関数とグラフの凹凸 (数学III 微分法)
  57. 増減・凹凸・漸近線とグラフ (数学III 微分法)
  58. テイラー展開 (大学数学 微分積分)
  59. 無限等比級数と無限級数 (数学III 極限)
  60. べき級数と収束半径 (大学数学 微分積分)
  61. 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
  62. オイラーの公式 (大学数学 微分積分)
  63. 三角関数の合成 (数学II 三角関数)
  64. 定数係数 2 階線形(斉次) (大学数学 微分方程式)
  65. 境界値問題と固有値 (大学数学 微分方程式)

説明

変数分離法は、未知関数を のように「 だけの関数」と「 だけの関数」の積とおくことで、線形の偏微分方程式を 2 本の常微分方程式に分ける方法です。とくに境界条件は についての条件になり、 の方程式は前提の技能で学んだ固有値問題 になります。熱方程式 や波動方程式 のように、区間 の両端で と指定された問題で使います。初期条件が固有関数の定数倍であれば、この方法だけで解が求まります。

なぜそうしてよいのか

熱方程式 ( は定数)に を代入すると となります。 は恒等的に 0 ではないとすると、 となる と となる があります。まず を代入すると です。(ただの定数)とおけば が得られます。これを元の式に戻すと です。ここで を代入して で割れば となります。直観的には、式を と書くと、左辺は だけ、右辺は だけで決まります。 と を独立に動かしても両辺が等しいので、両辺は同じ定数でなければなりません。この定数を と名付けるのが慣例です。

境界条件も に移せます。 がすべての で成り立ち、 なので です。同様に も得られます。こうして は固有値問題 を満たします。0 でない があるのは ()のときだけで、そのとき の定数倍です。残る は 1 階の変数分離形で、 と解けます。

この方法がうまくいくのは、方程式と境界条件がともに線形かつ斉次( が解)だからです。たとえば境界条件が だと、 から が定数に限られてしまい、上の議論は成り立ちません。

手順

  1. 方程式と境界条件が線形・斉次であることを確かめ、 とおいて代入する(例: )

  2. だけの部分と だけの部分に分け、共通の定数 とおく: 。これで と の 2 本の常微分方程式に分かれる

  3. 境界条件を の条件に直す。 なので、 から が出る

  4. 固有値問題を解く: , ()

  5. 各 について の方程式を解く。熱方程式なら となり、 を得る

  6. 初期条件 と比べて と を決め、元の方程式に代入して確かめる

例題

熱方程式 ()、境界条件 、初期条件 を考える。これらをすべて満たし、 の形をした解 を求めよ。

例題の解答

【手順1】方程式も境界条件も線形・斉次である。 を代入すると となる。初期条件より である。
【手順2】(定数)とおくと、 と に分かれる。
【手順3】 と がすべての で成り立ち、 なので である。
【手順4】 の固有値問題だから、, ()となる。
【手順5】 を解くと である。よって となる。
【手順6】 とおくと が のすべての で成り立つ必要がある。右辺は恒等的に 0 ではないので である。 は にちょうど 個の零点をもち、 は 1 個()だけもつ。したがって である。さらに を代入すると となる。
確認: について、、 だから方程式を満たす。また 、 も成り立つ。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること