この記法は、ハミルトンの主関数と作用汎関数formula_2を同一視できることによる。