オイラーラグランジュ 等周問題
以前、同じ質問を投稿したのですが、操作ミスで他の方からのコメントを頂けない状態にしてしまったので再度投稿します。
参考リンク
https://www.ship.nias.ac.jp/personnel/horiken/Lecture_Note/Appl-Math_Chap-7.pdf
[問]
周の長さlを持ち全く交叉しない平面曲線の内、面積を最大にする曲線を求めよ
[解](オイラー方程式の導出まで)
平面曲線を
x=x(t)y=y(t)(t1≦t≦t2)x^=dtdxy^=dtdy
とすると、この問題を解くための汎関数の被積分関数Lは
L=21(xy^−yx^)+λx^2+y^2
となります。ここでλはラグランジュ未定乗数です 。
このオイラー方程式は
∂x∂L−dtd(∂x^∂L)・・・(∗)=2y^−dtd(−2y+λx^2+y^2x^)=0・・・(∗∗)
∂y∂L−dtd(∂y^∂L)=2x^−dtd(−2x+λx^2+y^2y^)=0
となります。
[疑問]
式(*)から式(**)が成り立つためには
dxdy^,dxdy,dxdx^,dx^dx,dx^dy^,dx^dy=0
が成り立たなければいけません。
x^とy^は拘束条件に含まれているので、互いに独立として計算してよく
dx^dy^=0
が成り立つのは理解できます。
x(t)とy(t)に関しては
x(t)=ty(t)=2tdxdy=2
のように独立でない場合はあるが、この問題では解く前にはx(t)とy(t)の形は決まっておらず、独立と考えることができ、よって
dxdy^,dxdy,dx^dy=0
が成り立つと考えればよいのでしょうか?
さらにx^とxについてですが
dxdx^については
dxdx^=dxddtdx=dtd1=0
と考えればよいのでしょうか?
dx^dxに関しては、何故0になるのか分かりません。
お手数おかけしますが、ご教授お願い致します。