リウヴィル＝アーノルドの定理（—のていり、英: Liouville–Arnold theorem）は、ハミルトン形式の解析力学における完全積分可能条件に関する基本定理。

独立な第一積分の組が包合系であれば、求積可能であるともに、正準変数として作用変数-角変数の組（作用・角変数）が取れ、相空間での運動がトーラス上の軌道となることを示す。

定理の名は19世紀のフランスの物理学者ジョゼフ・リウヴィルとロシアの数学者ウラジーミル・アーノルドに因む。リウヴィルの定理として知られていた第一積分による求積可能条件について、後に、アーノルドが幾何学的な観点から再定式化を行った[1]。なお、シンプレクティック幾何学の文脈においてはアーノルド＝ヨストの定理 (Arnold–Jost theorem) とも呼ばれる。
定理の主張

自由度 n のハミルトン力学系において、(q, p) = (q1,..., qn ; p1,..., pn) を正準変数とする。このとき、系に n 個の独立な第一積分 F1,..., Fn が存在し、それらのポアソン括弧が可換 { F i , F j } = 0 {\displaystyle \left\{F_{i},F_{j}\right\}=0}

すなわち包合系であるとする。このとき、系は完全積分可能である。

さらに、第一積分の等位面として定義されるレベル集合 M f := { ( q , p ) 。 F i ( q , p ) = c o n s t .   ( = f i ) , f o r     i = 1 , … , n } {\displaystyle M_{f}:=\left\{(q,p)\left|F_{i}(q,p)=\mathrm {const.} ~(=f_{i}),\quad \mathrm {for} ~~i=1,\dots ,n\right.\right\}}

がコンパクトかつ連結であり、Mf 上で勾配ベクトル ∇ Fi が一次独立であるとする。このとき、Mf は n 次元トーラスと同相である。
歴史

リウヴィルは1853年に出版したノートにおいて、系の自由度に等しい数の積分が存在すれば求積に必要な残りの積分が存在し、従ってその系は求積可能であることを指摘した[2]。

それから100年以上が経過した1963年にアーノルドは幾何学の言葉を用いてリウヴィルの定理の主張を定式化し直し、そのレベル集合が一定の条件のもとでトーラスと同相であることを示した[1]。Res Jost は1968年にアーノルドの証明で仮定された条件の一部が不要であることを指摘した[3]。

ただし、本定理の内容は Henri Mineur によって1930年代に得られていたことが指摘されている[4]。
脚注^ a b Arnold, V. I. (1963). “Small Denominators and Problems of Stability of Motion in Classical and Celestial Mechanics”. Russian Math. Surveys 18: 85-191. doi:10.1070/RM1963v018n06ABEH001143. 　(Arnold, Vladimir I. (2010). Collected Works: Representations of Functions, Celestial Mechanics, and KAM Theory 1957-1965. Springer. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-3642017414 に収録)
^ Liouville, J. (1853). ⇒“Note sur l'integration des equations differentielles de la Dynamique”. Journal de Mathematiques Pures et Appliquees 20: 137-138. ⇒http://sites.mathdoc.fr/JMPA/PDF/JMPA_1855_1_20_A11_0.pdf. 
^ Jost, Res (1968). “Winkel- und Wirkungsvariable fur allgemeine mechanische Systeme”. Helvetica Physica Acta 41: 965-968. 
^ Eva Miranda (2011年). “INTEGRABLE SYSTEMS AND GROUP ACTIONS”. p. 4. 2020年11月3日閲覧。

参考文献

Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics. Springer. ISBN 978-0387968902 ; V. I. アーノルド『古典力学の数学的方法』安藤韶一、蟹江幸博、丹羽敏雄（翻訳）、岩波書店、2003年。ISBN 978-4000053617。 

Arnold, V. I.; Avez, Andre (1968). Ergodic Problems of Classical Mechanics. W.A. Benjamin ; V. I. アーノルド、A. アベズ『古典力学のエルゴード問題』吉田耕作 (翻訳)、吉岡書店、2004年。ISBN 978-4842702889。 

大貫義郎、吉田春夫『力学』岩波書店〈現代物理学叢書〉、2001年。ISBN 978-4000067614。 

関連項目

解析力学

シンプレクティック幾何学

ポアソン括弧
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}

この項目は、物理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:物理学／Portal:物理学）。
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}