- ベストアンサー
Lagrangeの未定乗数法
例えば、これは熱力学のところで出てくる式ですが、 ΣδN_j[ln(V_j/N_j)-1]=0 (※) に対して、 δN=ΣδN_j=0 (※※) という制限をつけたときに(※※)に未定乗数λをかけて(※)に加えますよね。 だったら、別にλじゃなくてもなんらかの数字例えば3をかけて加えてもいいんじゃないかと思ってしまうんですが、そうするとあとあと他の条件 N=ΣN_j からλを決定する必要が無くなりλ=3に勝手に決まってしまいおかしなことになってしまいます。これなら最初に (※※)でかける数字によってλの値が一つに決められて何通りもの答えが出てきてしまいます。 教えて頂きたいのは数学的な部分で何故、(※※)に未定乗数をかけて加えてよくて、何故数字をかけて加えてはいけないのかという理由です。そんなの当たり前だと思われるかも知れませんがよく分からないのでお願いします。
- みんなの回答 （13）
- 専門家の回答
質問者が選んだベストアンサー
No.4のものです。 > これは分かりました。しかし、これがλの代わりに決まった数をかけて > はいけないという説明になっているというのが分からないのでよろしく > お願いします。 ｈ＝ｆ－３ｇの極値を求めるにはどうしますか？ ∂ｈ／∂ｘ＝０ ∂ｈ／∂ｙ＝０ ∂ｈ／∂ｚ＝０ ・・・ としますよね。でもこれで決まるｘ、ｙ、ｚ・・・はｈ＝ｆ－３ｇの極値 を与えてもｇ＝０を満たすとは限りませんね。 ですからこのやり方ではまずいです。 それともこういう意味でしょうか。 λ＝３のとき、このやり方がまずいならλのままでもまずいのでは ということでしょうか。これはつまりこういうことです。 ∂ｈ／∂ｘ＝０ ∂ｈ／∂ｙ＝０ ∂ｈ／∂ｚ＝０ ・・・ というやり方で、ｈ＝ｆ－λｇの極値を与えますが、このやり方で 出てくるｘ、ｙ、ｚ・・・（λの関数）がｇ＝０を満たすように λを決めておけばいいですね。
その他の回答 (12)
- nubou
- ベストアンサー率22% (116/506)
私の不注意でした 「ｘ，ｙ，ｚがｘ＾２＋ｙ＾２＋ｚ＾２＝１を満たすときｘ・ｙ＋ｙ・ｚ＋ｚ・ｘの極値を求めよ」 は極値になる（ｘ，ｙ，ｚ）を求めるのでなく 極値そのものを求めるものであり 極値を添えていないのは好ましくないと思います Ｆ（ｘ，ｙ，ｚ，λ）＝ｘ・ｙ＋ｙ・ｚ＋ｚ・ｘ－λ・（ｘ＾２＋ｙ＾２＋ｚ＾２－１） として ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂ｘ＝０ ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂ｙ＝０ ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂ｚ＝０ ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂λ＝０ を解く場合に （ｘ，ｙ，ｚ）をわざわざ（ａ，ｂ，ｃ）に置きかえる必要はありません （ｘ，ｙ，ｚ，λ）を未知数と考えて ｘ＝ ｙ＝ ｚ＝ λ＝ あるいは上３つはｘ，ｙ，ｚの関係式を出せばいいのです 証明では変数と極値をとる点を区別するために仕方なくａ，ｂ，ｃを使ったのです いったん証明が終わってラグランジュが使えるようになったら そのような面倒なことはする必要がありません 証明の汚い部分を真似する必要はありません
お礼
ご丁寧にどうもありがとうございます！
- nubou
- ベストアンサー率22% (116/506)
証明の内容にちょっと勘違いされていたころがあったようです もし ∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ならば（１）すなわち（３）を満たすｐ，ｑ，ｒは任意に取れるから （ｐ，ｑ，ｒ）＝（１，０，０）＆（０，１，０）＆（０，０，１）として ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０ でなければならない （これは条件が不適当で条件が有効に機能していない場合である） この場合もラグランジュを満たすので場合分けする必要はありません ただこのときはλが任意になるだけです 実際 ∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ であれば ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０ であるから 当然任意のλで ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ であるから常にラグランジュが成り立つのです 証明の文言「いずれにしても」はここまでかかっていたのです 文脈から分かると思っていたのですが誤解されたようです だから ∂g/∂x≠0 又は ∂g/∂y≠0 又は ∂g/∂z≠0． の検証は必要ありません ラグランジュはそれほど不自由なものではありません Ｆ（ｘ，ｙ，ｚ，λ）＝ｘ・ｙ＋ｙ・ｚ＋ｚ・ｘ－λ・（ｘ＾２＋ｙ＾２＋ｚ＾２－１） として機械的に ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂ｘ＝０ ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂ｙ＝０ ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂ｚ＝０ ∂Ｆ（ｘ，ｙ，ｚ，λ）／∂λ＝０ を解けばいいのです 勿論答えはあっていますがラグランジュで一部誤解があったのかもしれません
お礼
ありがとうございます。場合分けの必要は無かったんですね。
- nubou
- ベストアンサー率22% (116/506)
nubouさんは数学の専門家なのでしょうか。： とんでもない！ ただの電子屋ですよ 数学は専門外です ところで 「ｘ，ｙ，ｚがｘ＾２＋ｙ＾２＋ｚ＾２＝１を満たすときｘ・ｙ＋ｙ・ｚ＋ｚ・ｘの極値を求めよ」 という問題をラグランジュで解いて補足に書いてみたらどうでしょう？ 理解が深まると思いますが・・・ 別解として ｘ・ｙ＋ｙ・ｚ＋ｚ・ｘ＝ （（ｘ＋ｙ＋ｚ）＾２－ｘ＾２－ｙ＾２－ｚ＾２）／２＝ （ｘ＋ｙ＋ｚ）＾２／２－１／２ ですから ｘ＋ｙ＋ｚ＝０で最小値－１／２を持つことが分かります また ｘ・ｙ＋ｙ・ｚ＋ｚ・ｘ＝ ｘ＾２＋ｙ＾２＋ｚ＾２－（（ｘ－ｙ）＾２＋（ｙ－ｚ）＾２＋（ｚ－ｙ）＾２）／２＝ １－（（ｘ－ｙ）＾２＋（ｙ－ｚ）＾２＋（ｚ－ｙ）＾２）／２ ですから ｘ＝ｙ＝ｚ（＝１／√（３））のとき最大値１を持つことが分かります しかしこのような解き方はコツがいり運が良くないと思い浮かばないでしょう しかも極値が他にないのかどうか分かりません ラグランジュは必ずしも極値であるかどうか分かりませんが 問題の（ｘ，ｙ，ｚ）は有界閉集合なので 求まったもののうち最大な候補は最大値であり 求まったもののうち最大な候補は最小値であることは確かです そのほかに極値があるかどうかの手がかりも手に入ります ラグランジュは優れているのです
補足
では、問題に挑戦させていただきます。 g(x,y,z)=x^2+y^2+z^2-1, f(x,y,z)=xy+yz+zx とおくと, ∂f/∂x＝y+z,∂f/∂y＝x+z,∂f/∂z＝y+x ∂g/∂x＝2x,∂g/∂y＝2y,∂g/∂z＝2z ∂g/∂x＝∂g/∂y＝∂g/∂z＝0となるのはx=y=z=0のときだけだから、g(x,y,z)=0を満たす各点(x,y,z)で、 ∂g/∂x≠0 又は ∂g/∂y≠0 又は ∂g/∂z≠0．よって、Lagrangeの未定係数法が適用でき、 g(x,y,z)=0のもとで、f(x,y,z)が極値をとる可能性のある点を(a,b,c)とすると、適当なλに対して、 g(a,b,c)=a^2+b^2+c^2-1=0 (1) ∂f(a,b,c)/∂x＋λ∂g(a,b,c)/∂x=b+c+2λa=0 (2) ∂f(a,b,c)/∂y＋λ∂g(a,b,c)/∂y=a+c+2λb=0 (3) ∂f(a,b,c)/∂z＋λ∂g(a,b,c)/∂z=b+a+2λc=0 (4) が成り立つ。 (2)+(3)+(4)より 2(a+b+c)+2λ(a+b+c)=0,(a+b+c)(1+λ)=0 a+b+c=0 又はλ=-1 λ=-1のとき(2),(3),(4)より b+c-2a=0 (2)',a+c-2b=0 (3)',b+a-2c=0 (4)' (2)'-(3)'より b=a (2)'-(4)'より a=c よってこれらを(1)に代入して a^2+a^2+a^2-1=0,a^2=1/3 ∴a=b=c=±1/√3 したがって、以上より g(x,y,z)=0のもとで、f(x,y,z)が極値をとる可能性のある点は a+b+c=0を満たす点とa=b=c=±1/√3である。 こんな感じでしょうか？
- nubou
- ベストアンサー率22% (116/506)
（ｑ，ｒ）＝（１，０）及び（ｑ，ｒ）＝（０，１）として としていますが、こうやって考えてはいけないのではないでしょうか？: ｐ，ｑ，ｒの条件は（１）すなわち（３）を満たすことであるから ｐ，ｑ，ｒは ｐ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ を満たす ∂ｇ（ａ，ｂ，ｃ）／∂ｘ≠０ならば ｑ，ｒがどんな値であっても ｐ＝－（ｑ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ）／（∂ｇ（ａ，ｂ，ｃ）／∂ｘ） とすれば（３）を満たすことになる だから（ｑ，ｒ）＝（１，０）としても（ｑ，ｒ）＝（０，１）としてもよい 初版では（ｑ，ｒ）に代入しないで（ｑ，ｒ）が任意で（３）が成立しないといけないのだからその係数は０であるとしたが丁寧にするために具体値を入れたのだが裏目に出たようです 入れないで理解できるのであればそれに越したことはありません 入れても問題ないのは分かると思います ラグランジュ法は必要条件であって十分条件ではないので 例えばｙ＝ｘ＾３がｘ＝０での微分係数が０だからといってｘ＝０で極値を持つとは限らないのと同じように この方法で求められた点が極値であるかどうかは別の手段によらなければなりません しかし極値の候補が絞られるので非常に有効です しかも候補といってもほとんど極値です
お礼
分かりやすくするために無理にそうしてくれたんですね。 ありがとうございますm(__)m もう皆さんのおかげでほとんど分かってきました。nubouさんは数学の専門家なのでしょうか。高度な数学を自由に使いこなせて、関心してしまいます。
- nubou
- ベストアンサー率22% (116/506)
(１）よりｐ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０・・・（３） と変形できるのがよく分からないです： ｇ（ｘ，ｙ，ｚ）において ｘ＝α（ｓ），ｙ＝β（ｓ），ｘ＝γ（ｓ）であるから合成関数の微分から ｄｇ（α（ｓ），β（ｓ），γ（ｓ））／ｄｓ＝ （∂ｇ（α（ｓ），β（ｓ），γ（ｓ））／∂ｘ）・（ｄα（ｓ）／ｄｓ）＋ （∂ｇ（α（ｓ），β（ｓ），γ（ｓ））／∂ｙ）・（ｄβ（ｓ）／ｄｓ）＋ （∂ｇ（α（ｓ），β（ｓ），γ（ｓ））／∂ｚ）・（ｄγ（ｓ）／ｄｓ） です ｓ＝０とすれば ａ＝α（０），ｂ＝β（０），ｃ＝γ（０）であり ｐ＝ｄα（０）／ｄｓ，ｑ＝ｄβ（０）／ｄｓ，ｒ＝ｄγ（０）／ｄｓであるから ｐ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ となるのです ありがとうございます。同じのを間違えて送ってしまったのでしょうか！？Lagrangeの未定係数法は(物理学の本では未定乗数法と書いてある)微分積分の本では、証明も書いてありλは任意でなくきちんと決まるのは分かるんですけど、物理学の本で、単純にλをかけて加えているのでよく分からないんですよね。： 大体分かるので再送する必要がなかったかもしれません 前記証明は 「ｇ（ｘ，ｙ，ｚ）＝０という条件付でｆ（ｘ，ｙ，ｚ）が（ａ，ｂ，ｃ）で極値になるならば（ａ，ｂ，ｃ）においてｇ（ｘ，ｙ，ｘ）＝０が保たれる方向にｆ（ｘ，ｙ，ｚ）を微分したら０になる」 を条件化しただけです 微分可能性はさておき ｆ（ｘ，ｙ，ｚ）がｇ（ｘ，ｙ，ｚ）＝０という条件付で（ａ，ｂ，ｃ）で極値をもつとき 実数λがあって ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ である 厳密性を問わずより分かりやすくするための再送 α（ｓ）＝ｐ・ｓ＋ａとし β（ｓ）＝ｑ・ｓ＋ｂとし γ（ｓ）＝ｒ・ｓ＋ｃとする ただしｐ，ｑ，ｒは ［ｄｇ（α（ｓ），β（ｓ），γ（ｓ））／ｄｓ］（ｓ＝０）＝０・・・（１） を満たすものとする すると｜ｓ｜が十分小さいとき ｇ（α（ｓ），β（ｓ），γ（ｓ））≒０である すなわち直線（α（ｓ），β（ｓ），γ（ｓ））は（ａ，ｂ，ｃ）でｇ（ｘ，ｙ，ｚ）＝０を保つ方向を向いている すると ｆ（ｘ，ｙ，ｚ）がｇ（ｘ，ｙ，ｚ）＝０という条件付で（ａ，ｂ，ｃ）で極値を持つのなら ［ｄｆ（α（ｓ），β（ｓ），γ（ｓ））／ｄｓ］（ｓ＝０）＝０・・・（２） でなければならない （１）より ｐ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０・・・（３） （２）より ｐ・∂ｆ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｆ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０・・・（４） もし ∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ならば（１）すなわち（３）を満たすｐ，ｑ，ｒは任意に取れるから （ｐ，ｑ，ｒ）＝（１，０，０）＆（０，１，０）＆（０，０，１）として ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０ でなければならない （これは条件が不適当で条件が有効に機能していない場合である） ∂ｇ（ａ，ｂ，ｃ）／∂ｘ≠０ならば 任意のｑ，ｒにたいして（１）すなわち（３）をみたすようなｐが存在し （∂ｆ（ａ，ｂ，ｃ）／∂ｘ）／（∂ｇ（ａ，ｂ，ｃ）／∂ｘ）＝λとすると （４）－（３）×λより （∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ）・ｑ＋ （∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ）・ｒ＝０ ｑとｒは任意に設定できるから （ｑ，ｒ）＝（１，０）及び（ｑ，ｒ）＝（０，１）として ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ∂ｇ（ａ，ｂ，ｃ）／∂ｙ≠０のときも同様にできる ∂ｇ（ａ，ｂ，ｃ）／∂ｚ≠０のときも同様にできる いずれにしても ∂ｆ（ａ，ｂ，ｃ）／∂ｘ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０
お礼
細かく説明して下さりありがとうございます。 しかし、論理のところで ＞（ｐ，ｑ，ｒ）＝（１，０，０）＆（０，１，０）＆（０，０，１）として ＞（ｑ，ｒ）＝（１，０）及び（ｑ，ｒ）＝（０，１）として としていますが、こうやって考えてはいけないのではないでしょうか？ 例えば、a(x-1)+b(y-2)=0という式があってこれが任意のa,bに対して成り立つためには x-1=0かつy-2=0 とするのであって、 (a,b)=(1,0),(0,1)として導かれるものではないですよね？ この他の部分は理解できました。
- spinflip
- ベストアンサー率53% (28/52)
#1です。 束縛曲線をg(x,y)=0として、x,yから曲線上を少し (dx,dy)方向に動いたとすると、曲線上を動くのです から、 g(x+dx,y+dy)=0 は保たれています(ですから、dxとdyは任意ですが、 それぞれ独立ではありません)。 これを展開すると、 (d/dx)g(x,y)・dx＋(d/dy)g(x,y)・dy＝0 ∴((d/dx)g(x,y),(d/dy)g(x,y))・(dx,dy)＝0 と、なり、曲線の接線方向(dx,dy)と直交しています。
お礼
ありがとうございます。分かりました！ でも (d/dx)g(x,y)・dx＋(d/dy)g(x,y)・dy＝0 の式って (∂/∂x)g(x,y)・dx＋(∂/∂y)g(x,y)・dy＝0 っていう意味ですよね？
補足
お礼のところに書き込んだ質問の回答よろしくお願いします。
- nubou
- ベストアンサー率22% (116/506)
Lagrangeの未定乗数法とは偏微分可能性等つまらない条件はさておき 「ｆ（ｘ，ｙ，ｚ）がｇ（ｘ，ｙ，ｚ）＝０という条件付で（ａ，ｂ，ｃ）で極値をもつとき ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ を満たす実数λが存在する」 です だからλは任意に決めていいのではなく一般的には定まるのです」 「適当な」λであって「任意の」λではないのです 「一般的には」の意味はｇ（ｘ，ｙ，ｚ）が不適当な関数の場合にはλが不定のばあいすなわち任意の実数でも良い場合もあるということです 実際証明の過程で∂ｇ（ａ，ｂ，ｃ）／∂ｘ≠０のとき λ＝（∂ｆ（ａ，ｂ，ｃ）／∂ｘ）／（∂ｇ（ａ，ｂ，ｃ）／∂ｘ） となったでしょう λを任意に決めていいのは ∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ のときだけです ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ ｇ（ａ，ｂ，ｃ）＝０ において 未知数はａ，ｂ，ｃ，λであり式は４つだから 一般には解いた結果としてλは決まるのです λを勝手に決めるというのは連立方程式 ｘ＋ｙ＝１ ２ｘ＋３ｙ＝３ を解くときに解く前にｙ＝５とするのと同じです
お礼
ありがとうございます。 ＞λを勝手に決めるというのは連立方程式 ｘ＋ｙ＝１ ２ｘ＋３ｙ＝３ を解くときに解く前にｙ＝５とするのと同じです。 この例は分かりやすいですね。
- nubou
- ベストアンサー率22% (116/506)
ｆ（ｘ，ｙ，ｚ）がｇ（ｘ，ｙ，ｚ）＝０という条件付で（ａ，ｂ，ｃ）で極値をもつとき 実数λがあって ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ である（ただし偏微分可能性等は暗黙の前提とする） の場合について説明する （ａ，ｂ，ｃ）から長さがｓの（α（ｓ），β（ｓ），γ（ｓ））への線分で ［ｄｇ（α（ｓ），β（ｓ），γ（ｓ））／ｄｓ］（ｓ＝０）＝０・・・（１） を満たすものを引き ｐ＝ｄα（０）／ｄｓ，ｑ＝ｄβ（０）／ｄｓ，ｒ＝ｄγ（０）／ｄｓ とする （１）において線分の方向はその方向に（ｘ，ｙ，ｚ）が進めば｜ｓ｜が小さいときｇ（ｘ，ｙ，ｚ）＝０であることを意味する ｆ（ｘ，ｙ，ｚ）がｇ（ｘ，ｙ，ｚ）＝０という条件付で（ａ，ｂ，ｃ）で極値を持つから ［ｄｆ（α（ｓ），β（ｓ），γ（ｓ））／ｄｓ］（ｓ＝０）＝０・・・（２） （１）より ｐ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０・・・（３） （２）より ｐ・∂ｆ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｆ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０・・・（４） ∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ならばｐ，ｑ，ｒは任意に取れるから （ｐ，ｑ，ｒ）＝（１，０，０）＆（０，１，０）＆（０，０，１）として ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０ でなければならない ∂ｇ（ａ，ｂ，ｃ）／∂ｘ≠０ならば 任意のｑ，ｒにたいして（３）をみたすようなｐが存在し （∂ｆ（ａ，ｂ，ｃ）／∂ｘ）／（∂ｇ（ａ，ｂ，ｃ）／∂ｘ）＝λとすると （４）－（３）×λより （∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ）・ｑ＋ （∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ）・ｒ＝０ ｑとｒは任意に設定できるから （ｑ，ｒ）＝（１，０）及び（ｑ，ｒ）＝（０，１）として ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ∂ｇ（ａ，ｂ，ｃ）／∂ｙ≠０のときも同様にできる ∂ｇ（ａ，ｂ，ｃ）／∂ｚ≠０のときも同様にできる いずれにしても ∂ｆ（ａ，ｂ，ｃ）／∂ｘ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ これはいずれも必要条件であって十分条件でない 極値の候補をすべて網羅できるが中には極値でないものもあるので 別の手段で検証しなければならない なお Ｆ（ｘ，ｙ，ｚ,λ）＝ｆ（ｘ，ｙ，ｚ）－λ・ｇ（ｘ，ｙ，ｚ） とすると ∂ｆ（ａ，ｂ，ｃ）／∂ｘ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ｇ（ａ，ｂ，ｃ）＝０ を満足する点（ａ，ｂ，ｃ）は ∂Ｆ（ｘ，ｙ，ｚ,λ）／∂ｘ＝０ ∂Ｆ（ｘ，ｙ，ｚ,λ）／∂ｙ＝０ ∂Ｆ（ｘ，ｙ，ｚ,λ）／∂ｚ＝０ ∂Ｆ（ｘ，ｙ，ｚ,λ）／∂λ＝０ を解くことによって求まる 変数が３以上のときにはたやすく拡張できる 変数が３以上で条件式が２以上のときには（３）式が増えるが 偏微分行列のランクごとに場合わけして証明することになる 線形代数の知識が要るが手順は同じようになる
お礼
ありがとうございます。 ＞変数が３以上のときにはたやすく拡張できる 変数が３以上で条件式が２以上のときには（３）式が増えるが偏微分行列のランクごとに場合わけして証明することになる 線形代数の知識が要るが手順は同じようになる 偏微分行列？知らないです。高度ですね。現在の自分の数学の知識ではついていけそうにないですm(__)m
- physicist_naka
- ベストアンサー率63% (45/71)
とりあえずなぜλのかわりに決まった数をかけてはいけないかを 説明します。 f(x,y,z...)の極値を、制限g(x,y,z...)=0のもとで求めるとし ましょう。 そして、λ＝３と、固定して考えてみることにしましょう。 すると、ｇ＝０という条件付きでｈ＝ｆ－３ｇの極値を求めることに なります。これ自身間違いではありません。 しかし、そのためにはどうするかを考えてみましょう。 ∂ｈ／∂ｘ＝０ ∂ｈ／∂ｙ＝０ ∂ｈ／∂ｚ＝０ ・・・ などとやってはいないでしょうか？これは間違いですね。 このやり方は条件なしのときのやり方です。 これでは条件なしでｈの極値を求めることになり、そのときの ｘ、ｙ、ｚ・・・が求まります。 さらにこれにｇ＝０という条件を付ければ一般に解なしとなって しまいますね。
お礼
ありがとうございます。 ＞しかし、そのためにはどうするかを考えてみましょう。 ∂ｈ／∂ｘ＝０ ∂ｈ／∂ｙ＝０ ∂ｈ／∂ｚ＝０ ・・・ などとやってはいないでしょうか？これは間違いですね。 このやり方は条件なしのときのやり方です。 これでは条件なしでｈの極値を求めることになり、そのときの ｘ、ｙ、ｚ・・・が求まります。 さらにこれにｇ＝０という条件を付ければ一般に解なしとなって しまいますね。 これは分かりました。しかし、これがλの代わりに決まった数をかけてはいけないという説明になっているというのが分からないのでよろしくお願いします。
- nubou
- ベストアンサー率22% (116/506)
ｆ（ｘ，ｙ，ｚ）がｇ（ｘ，ｙ，ｚ）＝０という条件付で（ａ，ｂ，ｃ）で極値をもつとき 実数λがあって ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ である（ただし偏微分可能性等は暗黙の前提とする） の場合について説明する （ａ，ｂ，ｃ）から ∂ｇ（ａ，ｂ，ｃ）／∂ｓ＝０・・・（１） を満たすように線分を引き線分の長さをｓとし線分の先を （α（ｓ），β（ｓ），γ（ｓ））とし ｐ＝ｄα（０）／ｄｓ，ｑ＝ｄβ（０）／ｄｓ，ｒ＝ｄγ（０）／ｄｓ とする ｆ（ｘ，ｙ，ｚ）がｇ（ｘ，ｙ，ｚ）＝０という条件付で（ａ，ｂ，ｃ）で極値を持つから ∂ｆ（ａ，ｂ，ｃ）／∂ｓ＝０・・・（２） （１）より ｐ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０・・・（３） （２）より ｐ・∂ｆ（ａ，ｂ，ｃ）／∂ｘ＋ｑ・∂ｆ（ａ，ｂ，ｃ）／∂ｙ＋ｒ・∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０・・・（４） ∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ならばｐ，ｑ，ｒは任意に取れるから ∂ｆ（ａ，ｂ，ｃ）／∂ｘ＝∂ｆ（ａ，ｂ，ｃ）／∂ｙ＝∂ｆ（ａ，ｂ，ｃ）／∂ｚ＝０ でなければならない ∂ｇ（ａ，ｂ，ｃ）／∂ｘ≠０ならば 任意のｑ，ｒにたいして（３）をみたすようなｐが存在し （∂ｆ（ａ，ｂ，ｃ）／∂ｘ）／（∂ｇ（ａ，ｂ，ｃ）／∂ｘ）＝λとすると （４）－（３）×λより （∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ）・ｑ＋ （∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ）・ｒ＝０ ｑとｒは任意に設定できるから ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ いずれにしても ∂ｆ（ａ，ｂ，ｃ）／∂ｘ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ これはいずれも必要条件であって十分条件でない 極値の候補をすべて網羅できるが中には極値でないものもあるので 別の手段で検証しなければならない なお Ｆ（ｘ，ｙ，ｚ,λ）＝ｆ（ｘ，ｙ，ｚ）－λ・ｇ（ｘ，ｙ，ｚ） とすると ∂ｆ（ａ，ｂ，ｃ）／∂ｘ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｘ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｙ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｙ＝０ ∂ｆ（ａ，ｂ，ｃ）／∂ｚ－λ・∂ｇ（ａ，ｂ，ｃ）／∂ｚ＝０ ｇ（ａ，ｂ，ｃ）＝０ は ∂Ｆ（ａ，ｂ，ｃ，λ）／∂ｘ＝０ ∂Ｆ（ａ，ｂ，ｃ，λ）／∂ｙ＝０ ∂Ｆ（ａ，ｂ，ｃ，λ）／∂ｚ＝０ ∂Ｆ（ａ，ｂ，ｃ，λ）／∂λ＝０ とみなすことができる 多少煩雑になるが変数が４以上のとき条件式が２以上のときも上記から推察できる
お礼
ありがとうございます。同じのを間違えて送ってしまったのでしょうか！？Lagrangeの未定係数法は(物理学の本では未定乗数法と書いてある)微分積分の本では、証明も書いてありλは任意でなくきちんと決まるのは分かるんですけど、物理学の本で、単純にλをかけて加えているのでよく分からないんですよね。
- 1
- 2
お礼
ありがとうございます。分かりました！！そういう意味の説明だったんですね！ 微分積分を含む式では普通の代数式と違って単純に何かをかけて加えるとその数字によって式の表す内容が変わってくるんですね。 つまり、例えば x+y=1 (1) x+2y=3 (2) という連立方程式では(2)の式に例えば3をかけて加えてもxとyの数値に変化はないけれども、 このような微分を含む関数ではかける数字によって x,yの数値が変わってくるというような事ですね？