Legendre transformation
で定義する。この正準運動量を用いて、ラグランジアンに対して、変数の組 から へのルジャンドル変換を行う。その結果、ハミルトニアン