エネルギー関数（ヤコビ積分）

定義 5.1（「対称性と保存則」§5）

ラグランジアン $L(q,\dot q,t)$ に対し

h(q, \dot q, t) = \sum_{i=1}^{n} \dot q^i\, \frac{\partial L}{\partial \dot q^i}(q,\dot q,t) \;-\; L(q, \dot q, t)

をエネルギー関数（ヤコビ積分）といいます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。