ラグランジュ未定乗数法 例題演習:解析力学とのつながり

どうも(^^)
本記事はもともと、「ランダウ=リフシッツの”力学”をいきなり読むと挫折する説」というタイトルから始まり、なぜ挫折するのかを解説してきました。
上の記事で詳しく書いてあるのですが、理由はシンプルで
「これは一般的に言う”力学”の教科書ではなく”解析力学”だからなのです。」
ということでした。
それから、第3報まではラグランジュ方程式を導くための解説をしましたが、前回なぜか下記のように
突然「ラグランジュ未定乗数法」というお話をし出しました。
理由は、”力学”や”解析力学”とは関係なく以下のように考えてみたらどうなるのかを示したいと考え始めたからです。
「ある関数\(U(x,y)\)がある拘束条件\(g(x,y)=0\)もとで最小となる場合を考えた時、どのような式が導かれるか?」
↓その問いに答えてくれそうなのが数学的には、
あらゆる仮想の変位\(\delta x\)、\(\delta y\)に対して
\begin{align*}\frac{\partial U}{\partial x}+\lambda\frac{\partial g}{\partial x}=0\end{align*}
\begin{align*}\frac{\partial U}{\partial y}+\lambda\frac{\partial g}{\partial y}=0\end{align*}
という式になります。これをラグランジュ未定乗数法というのだそうです。
↑上の2式が物理学でいうところの何になるかは、次回以降の記事で示すことにして、
本記事の目標
ラグランジュ未定乗数法を使って問題演習をしてみましょう(^^)/
問題:
「\(x^2+2xy+y^2=1\)の条件のもとで、\(U(x,y)=x^2+3y^2\)が極値をもつ点\((x,y)\)を求めよ」
Contents
方針
問題は、
拘束条件\(g(x,y)=x^2+2xy+y^2-1\)とおけば、
\(g(x,y)=0\)のもとで、\(U(x,y)=x^2+3y^2\)が極値をもつ点\((x,y)\)を求めることになります。
したがって、前回示したように、
の条件のもと、
を満たす\((x,y)\)を探せばよいだけです。
(2)式を使うため偏微分を実行
まずは(2)式を使うために、\(U(x,y)\)、\(g(x,y)\)それぞれ偏微分しましょう。
となりました。
\frac{\partial U}{\partial y}=2x+2y\cdot\cdot\cdot (4)\end{align*}
これらを(2)式に代入して、
(1)式の拘束条件に代入
あとは、出てきた(5)式を(1)式の拘束条件に代入すれば解けますね(^^)
より、
となります。
答え
ゆえに、拘束条件\(g(x,y)=0\)のもとで、\(U(x,y)=x^2+3y^2\)が極値となる点は、
と、
と2つ出てきましたね。
これが答えです。
一応、そのときの\(U\)の値も求めておくと、
となります。
なんともあっさりと(笑)
問題演習は以上となります。
感覚はつかんで頂けましたしょうか?
番外編:極値ってだけで最小じゃない?
答えは出たのですが・・・
僕は、最初から「ある拘束条件\(g(x,y)=0\)のもと\(U(x,y)=0\)が最小となる点」を求めたかったのに、
これじゃあ極値(停留点)をもとめただけで、”最大か最小かも区別できないじゃないか”ってことになっています。
証明は簡単なので、以下にさらっと示しておきましょう(^^)/
なにも難しいことを考えずに、
変分\(\delta x\)、\(\delta y\)、つまりちょっとずらしたときに\(U(x,y)\)が増加しているのか減少しているのかを区別すれば良いだけです。
↑こいつの大小を見ればよいはず!・・・(☆)
では、
を\(\delta x\)、\(\delta x\)の2次の項までテーラー展開してみましょう。
と、こうなります。
ところで、今は極値のまわりの点\((x,y)\)でテーラー展開しようとしているのですから、
当然・・・
です。
なので、
となりました。
右辺がめちゃくちゃ見ずらいので、このように文字でおいてすっきりさせましょう。
そうすると、
右辺=\(as^2+bst+ct^2\)なります。
(☆)に立ち返ると、\(as^2+bst+ct^2\)が正か負かを単純に見ればよいことになります。
とおけばどうですかね。
ただのsに関する2次関数ですね。
Q.\(t\)も変数じゃないかーー!!
A.\(t\)を固定したときに正か負かを知れば良いので、変数かどうかはこだわらなくても良いです。
Q.\(t\)に関する2次関数にしたらどうなるんだーー!!
A.式をみれば文字の置き方次第で\(s\)と(t\)は対称なのでどちらに関する2次関数と見ても大して差し支えないです。
ここで、高校生の知識の登場です。
「判別式\(D=(bt)^2-4a(ct)=t^2(b^2-4ac)\)の正負を考えればよい。」
正の値t\(^2\)が邪魔なので、
「判別式\(D=b^2-4ac\)の正負を考えればよい。」
このようになりましたので、下記がその一覧です。
まとまりました(^^)
\(D>0\)や\(D=0\)なんかは、どの\(t\)に対しても正負がはっきり分かれているわけではないので、極値に対してはとても怪しい点という感じでしょうかね。
しかし、危ないですね。
\begin{align*}g(x,y)=0\cdot\cdot\cdot (1)\end{align*}の条件のもと、
\begin{align*}\frac{\frac{\partial U}{\partial x}}{\frac{\partial U}{\partial y}}=\frac{\frac{\partial g}{\partial x}}{\frac{\partial g}{\partial y}}=\lambda\cdot\cdot\cdot (2)\end{align*}
を満たす\((x,y)\)を求める。
だけだと、極値をもとめる必要条件であって十分条件ではないということですね。
確かに、極小かなと思っても、停留しているだけでまた下がり始めるなんてこともありますし、確認は必要ということですかね。
最小か最大か見てみよう
では、上で示した考え方に従って最小か最大かを求めてみましょう。
まず2階微分が必要ですね。
ですね。
判別に従って計算すると、
\(D=b^2-4ac=0^2-4\times 2\times 6<0\)、かつ\(a=2>0\)なので、
最小ですね!!
は最小であることがわかりました。
まとめ
ラグランジュ未定乗数法を使って問題演習をしました。
ただ、「ラグランジュ未定乗数法だけでは極値をとるための条件であってそれが最小かどうかはわからない」ということを学びました。
ところで・・・
は最小とわかったのですが、なぜ・・・
と、
最小となるのが2つでてきたのでしょう??
それから、
の意味は何でしょうかね?
これらは、読者の考察にゆだねるとしてここらへんで終わっておきます(^^)/
そういえば、問題演習であつかったものを3次元グラフにするとこんな感じです。
次回
次回こそ、ひもの拘束の例題でラグランジュ未定乗数法を使って
「どのような状態が実現するか?」を示したいと思います。
↓これ。
参考図書
いくつかおすすめの解析力学の参考書を挙げておきます。
ランダウ力学
解析力学:マセマキャンパスゼミ
↑こちらは「スバラシク実力がつくと評判」シリーズの解析力学の参考書です。
著者は高校数学を教える予備校の講師で、とてもわかりやすいと評判です。
その方が書いた書籍なので高校生でも読みこなすことができるくらいわかりやすく、かつちゃんと大学の物理の内容を扱っています。
解析力学ⅠⅡ:朝倉物理学大系
この2冊は解析力学の名著ですね。
数学的な解説も多く、解析力学を深く学ぶ人には挑戦するには申し分ない内容です。
詳解 力学演習
こちらは「力学」と「解析力学」の演習問題を扱っている演習問題集になります。