ハミルトンの原理を用いて、ラグランジュの方程式を解く場合、2階の微分方程式を2倍の数の1階の微分方程式に直すときに用いる関数のこと。