作用変数

定義 3.1（「ハミルトン・ヤコビ理論と可積分系」§3）

準位曲線 $\{H=E\}$ に囲まれた相空間の面積を $A(E)$ とし、作用変数を

I(E)=\frac1{2\pi}\oint_{H=E}p\,dq=\frac{A(E)}{2\pi}

で定義する（第 2 の等号は、閉曲線で囲まれた面積が $\oint p\,dq$ であること）。

閉包の状態

定義

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

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

証明で明示的に参照している定理は、まだありません。