ハミルトン-ヤコビ方程式とハミルトニアン方程式
📂偏微分方程式ハミルトン-ヤコビ方程式とハミルトニアン方程式
ハミルトン方程式を得る方法は二つある。一つはオイラー-ラグランジュ方程式から得るもので、もう一つはこの記事で紹介するハミルトン・ヤコビ方程式の特性方程式から得る方法だ。
定義
以下の偏微分方程式を一般ハミルトン・ヤコビ方程式と呼ぶ。
G(Du,ut,u,x,t)=ut+H(Du,x)=0
- t>0∈R
- x∈Rn
- u:Rn→R
ここで、微分演算子Dはマルチインデックス表記に従い、常に空間変数xに対する微分とする。すなわちD=Dxであり、Du=Dxu=(ux1,⋯,uxn)である。そしてH:Rn×Rn→Rをハミルトニアンと呼ぶ。
特性方程式
便宜上H∈C∞(Rn×(0,∞))とする。そして上記のようなハミルトン・ヤコビ方程式が与えられている。このとき、式を簡単にするために時空間変数を一つにまとめてyと表す。
y=(x,t)=(x1,⋯,xn,t)
またuの時間微分、空間微分もqで一度に表す。
q=q(Du,ut)=q(ux1,ux2,…,uxn,ut)=(p,pn+1)=(p1,p2,…,pn,pn+1)
最後にz=uとすると、ハミルトン・ヤコビ方程式は以下のように表される。
G(q,z,y)=pn+1+H(p,x)=0∀(q,z,y)∈Rn+1×R×(Rn×(0,∞))
Gの微分を求めると、それぞれ次のようになる。
DqG(q,z,y)DzG(q,z,y)DyG(q,z,y)=(Gp1,⋯,Gpn+1)=(Hp1(p,x),…,Hpn(p,x),1)=(DpH(p,x),1)=Gz=0=(Gy1,⋯,Gyn+1)=(Hx1(p,x),⋯,Hxn(p,x),Ht(p,x))=(DxH(p,x),0)
またG(q,z,y)の特性方程式は以下のようである。
⎩⎨⎧q˙(s)z˙(s)y˙(s)=−DyG(q(s),z(s),y(s))−DzG(q(s),z(s),y(s))q(s)=DqG(q(s),z(s),y(s))⋅q(s)=DqG(q(s),z(s),y(s))
するとq˙(s)は以下のようになる。
q˙(s)=−DyG(q(s),z(s),y(s))−DzG(q(s),z(s),y(s))q(s)=−DyG(q(s),z(s),y(s))=−(DxH(p,x),0)
二番目の等号は(eq2)によるものであり、三番目の等号は(eq4)によるものである。q=(p,pn+1)であるため、q˙の各成分は以下のようになる。
p˙i(s)p˙n+1(s)=−Hxi(p(s),x(s))=0(i=1,…,n)
z˙(s)は以下のようになる。
z˙(s)=DqG(q(s),z(s),y(s))⋅q(s)=(DpH(p(s),x(s)),1)⋅(p(s),pn+1(s))=DpH(p(s),x(s))⋅p(s)+pn+1(s)=DpH(p(s),x(s))⋅p(s)−H(p(s),x(s))
二番目の等号は(eq2)によるもので、四番目の等号は(eq1)によるものである。y˙(s)は以下のようになる。
y˙(s)=DqG(q(s),z(s),y(s))=(DpH(p,x),1)
y=(x,t)であるため、y˙=(x˙,t˙)の各成分は以下のようになる。
{x˙(s)=DpH(p(s),x(s))t˙(s)=1
上記の結果から、sをtと同じものと考えることができる。ここまで計算したものを総合して、ハミルトン・ヤコビ方程式の特性方程式を次のように得る。
p˙(s)z˙(s)x˙(s)=−DxH(p(s),x(s))=DpH(p(s),x(s))⋅p(s)−H(p(s),x(s))=DpH(p(s),x(s))
ここで特に、最初と三番目の式をまとめてハミルトン方程式と呼ぶ。
■