この力学系の性質を記述する関数lはラグランジュ関数(ラグランジアン)と呼ばれる。