変数分離とは? わかりやすく解説

変数分離

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/06/22 03:19 UTC 版)

変数分離(へんすうぶんり、: Separation of variables)は、常微分方程式偏微分方程式を解くための手法。方程式を変形することにより、2つあるいはそれ以上の変数が式の右辺・左辺に分かれるようにすること。

常微分方程式に対して用いるときと、偏微分方程式に対して用いるときは、そのやり方がかなり異なっているが、それぞれの変数に依存する部分を両辺に分けるという点では共通している。

常微分方程式

次の形に書かれる常微分方程式を考える。

あるいは y = f (x ) と書くことにより、もっと簡単に

ここで、h (y ) ≠ 0 のとき、両辺を h (y ) で割って

となる。この両辺を x で積分すると

で、置換積分の法則により

となる。

この両辺の積分を実行すれば、微分方程式の解が求まる。この手続きは実際のところ、導関数 dy /dx を分数とみなして分母を払うのと同じことである。そうすることによって解くのがもっと簡単になる。具体的なやり方は以下の例で示す。

(注意:両辺の積分に対し

のように積分定数をそれぞれ書く必要はない。これは C = C2 - C1 として定数を一つにまとめることが出来るからである。)

例1

常微分方程式

は、より簡単に

と書けるが、ここで g (x ) = 1, h (y ) = y (1-y ) とすれば、この微分方程式は(1)式の形になる。よってこの微分方程式は変数分離が可能である。

上記の説明により、dydx を分けて扱うことができる。すなわち両辺に dx をかける。それから両辺を y (1-y ) でわると

となる。これで xy を分離することができた。つまり、x は右辺のみにあり、y は左辺のみにある状態になった。

両辺を積分して

となる。これを部分分数分解して

そして積分を計算すると

ここで C は積分定数である。多少の計算により、y について解くことができて

となる。B は任意の定数である。この解を x で微分すれば、この解が正しいことを確かめることができる。その結果はもともとの微分方程式と一致するはずだ。

ところで、両辺を y (1-y ) で割るにあたって、y (x ) = 0 や y (x ) = 1 が微分方程式の解になるかどうかを検討する必要がある。そのような解は特異解となりうる。

例2

変数分離を用いて解ける2階非線形常微分方程式の例[1]

この微分方程式は,このまま両辺を x で積分し,部分積分法を適用して整理すると,変数分離を用いて解くことができる。一般解は,

と表示される[1]。ここに,P(y) は既知関数であり,C1, C2 は積分定数である。 ただし,C2 ≠ 0 とする。求積法で解ける微分方程式は,変数分離を用いることが多い[2]

偏微分方程式

n 変数関数

についての偏微分方程式を解くにあたって、その解の形を

あるいは

のように仮定すると、偏微分方程式がいくつかの常微分方程式になる場合がある。多くの場合、個々の変数に対して、微分方程式からは決定できない分離定数が現れることになる。

例1

未知関数 F (x, y, z ) と、それが満たす偏微分方程式

を考える。関数 F (x, y, z ) が

の形に書けると仮定すると、(1)式は

となる。なぜなら ∂F /∂x = dX /dx などが成り立つからである。

いま、X' (x ) は x のみに依存し、Y' (y ) は y のみに依存し、そしてZ' (z ) についても同様である。また、微分方程式 (1) は任意の x, y, z について成り立つ。これより、それぞれの項が定数になることがわかる。すなわち

となる。定数 c1, c2, c3

を満たす。(3) 式は3つの微分方程式のセットである。この場合、それぞれの微分方程式は単に積分するだけで解を得ることができて、答えは

となる。積分定数 c4 は初期条件によって定まる。

例2

以下の偏微分方程式を考える。;

まず解の形を

とおく。これ以外の解は、このような解の線形結合になっていると考える。

これを微分方程式に代入すると

となる。この両辺を X (x ) で割って

更に Y (y ) で割って

すると X'' (x )/X (x ) は x のみの関数で、もう一つの項は y のみの関数だから、分離定数を用いて

と書ける。これによって二つの2階線型常微分方程式

および

が得られ、それぞれ解くことができる。もとの問題が境界値問題であるなら、その境界条件を用いて解を定めることができる。

参考文献

  1. ^ a b 長島 隆廣『常微分方程式80余例とその厳密解』近代文芸社、2005年。ISBN 4-7733-7282-6  国立国会図書館蔵書, 請求記号:MA117-H55(東京 本館書庫)
  2. ^ 長島 隆廣 (2018年12月). “常微分方程式80余例と求積法による解法” (PDF). researchmap. 2020年6月29日閲覧。

関連項目


変数分離

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/06/15 17:59 UTC 版)

ハミルトン-ヤコビ方程式」の記事における「変数分離」の解説

ハミルトン–ヤコビ方程式は変数分離によって解かれる場合に最も便利であり、その場合には保存量直接的に求められる例えば、ハミルトニアン陽に時間 に依ってない場合、 を分離する事が出来る。そのとき時間微分定数通常 )となる必要があり、分離された解 を与える。時間依存しない関数時にハミルトンの特性関数呼ばれる簡約されたハミルトン–ヤコビ方程式は以下のようになる。 他に変数分離が可能な状況として、ある一般化座標 とその微分一つ関数通してのみハミルトニアン中に現れるような場合考える。 この場合関数二つ関数分離でき、片方は だけに依存して他方残り一般化座標依存する。 この形でハミルトン–ヤコビ方程式置き換えると、関数定数(以下 )となる事が示されに関する一階常微分方程式得られる幸運な場合では、関数 は 個の関数 に完全に分離され以下のようになる。 この場合問題は 個の常微分方程式帰着する。 が変数分離可能かどうかは、ハミルトニアンの形と一般化座標選び方の両方依存する直交座標ハミルトニアン時間依存せず一般化運動量について二次式である場合に、以下の条件満たせば は分離可能である。 すなわち、ポテンシャルエネルギーの項が加法的各々座標について分離可能で、各々座標対すポテンシャルエネルギーの項がハミルトニアン対応する運動項と同じ座標依存因子掛けられている場合である(ステッケルの条件)。 直交座標におけるいくつかの例を以下の節に示す。

※この「変数分離」の解説は、「ハミルトン-ヤコビ方程式」の解説の一部です。
「変数分離」を含む「ハミルトン-ヤコビ方程式」の記事については、「ハミルトン-ヤコビ方程式」の概要を参照ください。

ウィキペディア小見出し辞書の「変数分離」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「変数分離」の関連用語

変数分離のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



変数分離のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの変数分離 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのハミルトン-ヤコビ方程式 (改訂履歴)、ハミルトン–ヤコビ方程式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS