查看“︁可积系统”︁的源代码

[[数学]]中，特定[[动力系统]]的'''可积性'''虽然有几种不同的正式定义，但非正式地讲，可积系统是指具有足量[[守恒量]]或[[运动常数|首次积分]]的动力系统，其运动被限制在维度小于[[相空间]]的子空间中。
可积系统通常有3个特征：<ref>{{cite book |first1=N.J. |last1=Hitchin |first2=G.B. |last2=Segal |first3=R.S. |last3=Ward |title=Integrable Systems: Twistors, Loop Groups, and Riemann Surfaces |url=https://books.google.com/books?id=eQ8oAAAAQBAJ |date=2013 |publisher=Oxford University Press |isbn=978-0-19-967677-4 |orig-year=1999}}</ref>
* 存在守恒量的''最大''集合（'''完全可积性'''的通常定义）

* 存在'''代数'''不变量，在[[代数几何]]中有基（有时称作'''代数可积性'''）
* 以明确的函数形式明确确定解（不是内禀性质，通常称作'''可解性'''）

可积系统在性质上与更一般的动力系统有很大不同，后者是更典型的[[混沌系统]]，通常没有守恒量，且渐进不可解，因为初始条件任意小的扰动都可能导致其轨迹在足够长的时间内出现任意大的偏差。

物理学中研究的许多系统都可积，特别是[[哈密顿系统|哈密顿]]意义上的，主要的例子是多维[[谐振子]]。另一个例子是围绕固定中心的行星运动。其他基本例子包括刚体绕质心（[[Euler top]]）的运动及轴对称刚体绕其轴上一点的运动（[[Lagrange top]]）。

1960年代末，人们认识到物理学中存在具有无限自由度的完全可积系统，例如浅水波的某些模型（[[KdV方程]]）、[[非线性薛定谔方程]]描述的光纤中的[[克尔效应]]、[[托达格]]等见于多体系统的特定可积系统。1965年，Martin Kruskal和Norman Zabusky发现了[[孤波]]的数值方法，并由此提出了[[逆散射变换]]法（1967），从而复兴了现代可积系统理论。

在哈密顿系统的特殊情况下，若有足够多的独立泊松对易（commute）首次积分，流参数可作为不变级集（拉格朗日叶）上的坐标系，且流完整、能级集是紧集，就意味着[[刘维尔-阿诺德定理]]；即[[作用量-角度坐标|作用量-角度变量]]的存在。一般动力系统没有这样的守恒量；在自洽[[哈密顿系统]]中，能量通常是唯一的守恒量，而在能量级集上，流通常是混沌的。

[[弗罗贝尼乌斯定理]]是描述可积系统特征的关键指标。若系统在局部具有最大积分流形的[[叶状结构]]，则称其'''弗罗贝尼乌斯定可积'''（即由可积分布生成）。但从[[动力系统]]的意义上讲，可积性不是局部属性，因为它要求叶规则地嵌入子流形。

可积性并不一定意味着一般解能用已知的一组[[特殊函数]]表达，而是系统的几何、拓扑与动力性质的内禀属性。

==一般动力系统==
在可微[[动力系统]],中，'''可积性'''指的是存在不变的规则[[叶状结构]]；即叶是[[流 (数学)|流]]中不变的维度最小的[[子流形#嵌入子流形|嵌入子流形]]。因此，根据不变叶的维度，存在可变的可积度概念。其在[[哈密顿系统]]中得到细化，称为'''刘维尔意义上的完全可积性'''（下详），也是本文最常提到的。

可积性的推广也适用于离散系统，如格。这一定义可用于描述[[微分方程]]系或有限[[差分]]方程的演化方程。

可积与不可积系统之间的区别具有规则运动与[[混沌理论|混沌运动]]的定性含义，因此是一种内禀属性，而不仅仅是系统能否以精确形式显式积分的问题。

==哈密顿系统与刘维尔可积性==
对[[哈密顿系统]]，我们有[[约瑟夫·刘维尔]]意义上的可积性（参[[刘维尔-阿诺德定理]]）。'''刘维尔可积性'''指存在由不变流形构成的相空间规则叶，使与叶不变量相关的哈密顿向量场跨越切线分布。另一种说法是，存在一组最大的函数独立[[泊松括号|泊松交换]]不变量（即相空间上的独立函数，其与系统哈密顿量的[[泊松括号]]及相互之间的泊松括号消失）。

在有限维情形下，若[[相空间]]为[[辛几何|辛]]的（即泊松代数的中心只含常数），则必具有偶数维度<math>2n</math>，且独立的泊松对易不变量（包括哈密顿量本身）不超过<math>n </math>个。对于辛形式而言，叶是完全各向同性的，这样的最大各向同性叶称为[[拉格朗日子流形|拉格朗日]]叶。自洽哈密顿系统（即哈密顿量和泊松括号都不明确依赖于时间的系统）至少有一个不变量，即哈密顿量本身，其沿流的值即能量。若能级集是紧的，则拉格朗日叶就是环面，其上的自然线性坐标称为“角”变量。正规<math> 1 </math>-形式循环称为作用变量，由此产生的正规坐标称作[[作用量-角度坐标]]（下详）。

此外还有刘维尔意义上的'''完全'''可积性 / 部分可积性，以及[[超可积哈密顿系统|超可积性]] / 最大超可积性的区别。这些区别本质上讲对应叶的维数，当独立的泊松对易不变量数小于最大不变量数（自洽系统情形下大于1）时，称系统部分可积；若除泊松可对易的最大数目之外，还存在其他函数独立不变式，因而不变叶的维度小于n，称系统[[超可积哈密顿系统|超可积]]。若存在1维规则叶，则称为最大超可积。

==作用量-角度变量==
有限维哈密顿系统若在刘维尔意义上是完全可积的，且能级集是紧集，那么流就是完整的，不变叶为[[环面]]。如上所述，[[相空间]]上即存在一组特殊的[[正则坐标]]，称为[[作用量-角度坐标]]，这样不变环面就是[[作用量|作用变量]]的联合水平集。因此，这些变量提供了哈密顿流（运动常数）的完整不变集，而角度变量是环面上的自然周期坐标。正则坐标表示的不变环面上的运动在角度变量中是线性的。

== 哈密顿&ndash;雅可比方法 ==
[[正则变换]]理论中的哈密顿-雅可比方法，即首先找到相关[[哈密顿-雅可比方程]]的完整解以寻求哈密顿方程的解。这在经典术语下可描述为找到到达由完全可忽略变量组成的规范坐标集的变换；即哈密顿量不依赖于完整正规的“位置”坐标，因此相应的正规共轭矩都是守恒量。在能级集为紧集时，这是确定作用量-角度变量的第一步。在[[哈密顿-雅可比方程|哈密顿-雅可比]]偏微分方程的一般理论中，完整解（即取决于n个独立积分常数的解，其中n是构型空间的维数）在非常普遍的意义下仅存在于局部，因此完整解的存在绝非刘维尔完全可积性的反映。大多数能“显式积分”的情形涉及变量的[[分离变量法|完全分离]]，其中分离常数提供了所需的整套积分常数。只有当这些常数能在全相空间重新诠释为限制在拉格朗日叶上的泊松对易函数完全集之值时，系统才能视为刘维尔完全可积系统。

==孤波与逆谱方法==
1960年代末，人们发现孤波是[[KdV方程]]（描述浅盆中的1维非耗散流体动力）等偏微分方程的强稳定局部解，将方程视为无穷维可积哈密顿系统就可以理解孤波，于是重新激发了人们对经典可积系统的兴趣。他们的研究为“积分”这类系统提供了有效方法，即[[逆散射变换]]和更一般的逆谱方法（通常可还原为[[黎曼–希尔伯特问题]]），其通过求解相关积分方程，将傅里叶分析等局部线性方法推广到非局部线性化。

这种方法的基本思想是引入线性算子（由相空间中的位置决定），并在相关系统的动力过程中不断演化，其“谱”（适当推广）在演化过程中不变，参见[[Lax 对]]。部分情况下，这提供了足够的不变量或“运动积分”，使系统完全可积。但对KdV方程之类具有无限自由度的系统，还不足以明确刘维尔可积性的定义。不过，若有适当定义的边界条件，谱变换实际上可解释为到达'''完全可忽略坐标'''的变换，其中守恒量形成了正规坐标的双重无限集的一半，流在其中线性化。有时这甚至可看做是到作用量-角度变量的变换，不过通常只有有限个“位置”变量实际上是角坐标，其余的都不是紧的。

== 广田双线性方程与τ函数==
现代可积系统的另一种观点源于[[广田良吾]]开创的一种计算方法，<ref>{{cite journal |first=R. |last=Hirota |title=Reduction of soliton equations in bilinear form |journal=Physica D: Nonlinear Phenomena |volume=18 |issue=1–3 |pages=161–170 |year=1986 |doi=10.1016/0167-2789(86)90173-9 |bibcode=1986PhyD...18..161H}}</ref>其中用一个辅助量（后称为[[τ函数]]）的常系数方程组双线性系统取代了原非线性动力系统。这方程后来称作“广田方程”，最初只是一种计算工具，与[[逆散射变换]]或哈密顿结构没有明确关系，但它提供了一种非常直接的推导[[孤波]]等重要解的方法。

随后，[[佐藤干夫]]<ref name="Sato">{{cite journal |first=M. |last=Sato |title=Soliton equations as dynamical systems on infinite dimensional Grassmann manifolds |journal=Kokyuroku, RIMS, Kyoto University |volume=439 |pages=30–46 |year=1981 |hdl=2433/102800 |url=https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/102800/1/0439-5.pdf |access-date=2023-11-11 |archive-date=2023-04-08 |archive-url=https://web.archive.org/web/20230408104219/https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/102800/1/0439-5.pdf |dead-url=no }}</ref>及学生<ref name="DJKM1">{{cite journal |first1=E. |last1=Date |first2=M. |last2=Jimbo |first3=M. |last3=Kashiwara |first4=T. |last4=Miwa |title=Operator approach to the Kadomtsev-Petviashvili equation III |journal=Journal of the Physical Society of Japan |volume=50 |issue=11 |pages=3806–12 |year=1981 |doi=10.1143/JPSJ.50.3806}}</ref><ref name="DJKM2">{{cite journal |first1=M. |last1=Jimbo |first2=T. |last2=Miwa |title=Solitons and infinite-dimensional Lie algebras |journal=Publ. Res. Inst. Math. Sci. |volume=19 |issue=3 |pages=943–1001 |year=1983 |doi=10.2977/prims/1195182017 |url=https://www.jstage.jst.go.jp/article/kyotoms1969/19/3/19_3_943/_article |doi-access=free |access-date=2023-11-11 |archive-date=2023-04-08 |archive-url=https://web.archive.org/web/20230408105720/https://www.jstage.jst.go.jp/article/kyotoms1969/19/3/19_3_943/_article |dead-url=no }}</ref>将其解释为PDE的[[卡东穆塞夫-彼得韦亚斯维利方程|KP方程]]层次之类的可积层次，但后来被解释为一种''通用相空间''方法，适用于更广泛的可积层次。其中，典型对易动力可视作由[[格拉斯曼流形]]上的固定阿贝尔[[群作用]]决定。
τ函数被视为从[[群作用#軌道|群轨道]]到格拉斯曼流形内某个''原点''的[[]投影 (线性代数)|投影算子]]的[[行列式]]，而广田方程则表达了格拉斯曼流形[[普吕克嵌入]]在投影化的适当定义的（无限）[[外代数|外空间]]中，被视为费米子[[福克空间]]。

==量子可积系统==
在量子环境中，相空间中的函数要替换为[[希尔伯特空间]]上的[[自伴算子]]，泊松对易函数的概念要换成对易算子，守恒律则须专化为[[定域性原理|局部]]守恒律。<ref>{{cite journal | last1=Calabrese | first1=Pasquale | last2=Essler | first2=Fabian H L | last3=Mussardo | first3=Giuseppe | title=Introduction to 'Quantum Integrability in Out of Equilibrium Systems' | journal=Journal of Statistical Mechanics: Theory and Experiment | publisher=IOP Publishing | volume=2016 | issue=6 | date=2016-06-27 | issn=1742-5468 | doi=10.1088/1742-5468/2016/06/064001 | page=064001 | bibcode=2016JSMTE..06.4001C | s2cid=124170507 | url=https://ora.ox.ac.uk/objects/uuid:8bf032d9-9d7a-4658-8238-6f297b2a0598 | access-date=2023-11-11 | archive-date=2023-04-10 | archive-url=https://web.archive.org/web/20230410222411/https://ora.ox.ac.uk/objects/uuid:8bf032d9-9d7a-4658-8238-6f297b2a0598 | dead-url=no }}</ref>每个[[哈密顿算符]]都有一组无限的守恒量，由其能量[[量子态|特征状态]]的投影给出。然而，这并不意味着任何特殊动力结构。

要解释量子可积性，不妨考虑自由粒子情景。其中所有动力都是单体可溯的。若量子系统的动力是双体可溯的，则称其为可积系统。[[杨-巴克斯特方程]]是这种可溯性的结果，产生了提供无限守恒量集合的痕量等式。所有想法都被纳入了[[量子逆散射法]]，应用代数[[贝特拟设]]可用于获得显式解。量子可积模型的例子如Lieb–Liniger模型、[[赫巴德模型]]和[[海森堡模型]]的几种变体。<ref>{{cite book | author-link=Vladimir Korepin |first1=V.E. |last1=Korepin |first2=N.M. |last2=Bogoliubov |first3=A.G. |last3=Izergin  | title=Quantum Inverse Scattering Method and Correlation Functions| publisher=Cambridge University Press | year = 1997 | isbn=978-0-521-58646-7}}</ref>在显式时变量子问题中，还有些量子可积性是已知的，如驱动Tavis-Cummings模型。<ref name='sinitsyn-16pra1'>{{cite journal|doi=10.1103/PhysRevA.93.063859|title=Solvable multistate model of Landau-Zener transitions in cavity QED |first1=N.A. |last1=Sinitsyn |first2=F. |last2=Li |journal=[[Phys. Rev. A]]|volume=93|issue=6|year=2016|pages= 063859|bibcode=2016PhRvA..93f3859S|arxiv=1602.03136|s2cid=119331736}}</ref>

==完全可解模型==
物理学中，（特别是无限维的）完全可积系统通常称作完全可解模型。这掩盖了哈密顿可积性与更一般的动力系统可积性之间的区别。

统计力学中也有类似的“精确可解模型”，与经典模型相比，它们与量子可积系统的关系更密切。两种密切相关的方法：基于[[杨-巴克斯特方程]]的现代[[贝特拟设]]方法，以及[[量子逆散射法]]，提供了逆谱法的量子类似物。这些方法对于研究统计力学中的可解模型同样重要。

“精确可解”是不精确的概念，是说“解可用已知的函数明确表达”，似乎这是系统的什么内禀属性，而不是碰巧我们知道一些“已知函数”，可以用它们来表达解这一纯粹的计算特征。这个概念并没有内在本质含义，因为“已知”函数只是来自某些给定的方程，且在不断增加。“可积性”的这种表征没有内在的合理性，但往往意味着可积系统所期待的那种规律性。{{citation needed|date=May 2015}}

==另见==
* [[希钦系统]]

===相关领域===
* [[数学物理]]
* [[孤波]]
* [[潘勒韦解]]
* [[统计力学]]
* [[可积算法]]

==参考文献==
*{{cite book |author-link=Vladimir Arnold |first=V.I. |last=Arnold | title=Mathematical Methods of Classical Mechanics |edition=2nd | publisher=Springer | year=1997 | isbn=978-0-387-96890-2 | url-access=registration | url=https://archive.org/details/mathematicalmeth0000arno }}
*{{cite book |author-link=Michèle Audin |first=M. |last=Audin | title = Spinning Tops: A Course on Integrable Systems |
publisher= [[Cambridge University Press]] | series = Cambridge Studies in Advanced Mathematics 
| volume = 51 | year = 1996 | isbn = 978-0521779197}}
*{{cite book |first1=O. |last1=Babelon |first2=D. |last2=Bernard |first3=M. |last3=Talon | title=Introduction to classical integrable systems | publisher=[[Cambridge University Press]] | year = 2003 | isbn=0-521-82267-X |doi=10.1017/CBO9780511535024}}
*{{cite book |author-link=Rodney Baxter |first=R.J. |last=Baxter |title=Exactly solved models in statistical mechanics |url=https://archive.org/details/exactlysolvedmod0000baxt | publisher=Academic Press | year = 1982 | isbn=978-0-12-083180-7}}
*{{cite book |first=M. |last=Dunajski | title=Solitons, Instantons and Twistors| publisher=[[Oxford University Press]]| year = 2009|isbn=978-0-19-857063-9 }}
*{{cite book |author-link=Ludvig Faddeev |first1=L.D. |last1=Faddeev |author2-link=Leon Takhtajan |first2=L.A. |last2=Takhtajan | title =Hamiltonian Methods in the Theory of Solitons |url=https://archive.org/details/hamiltonianmetho0000fadd | publisher= Addison-Wesley | year=1987 |isbn=978-0-387-15579-1 }}
*{{cite book |author-link=Anatoly Fomenko |first=A.T. |last=Fomenko |title=Symplectic Geometry. Methods and Applications |publisher=Gordon and Breach |year=1995 |isbn=978-2-88124-901-3 |edition=2nd }}
*{{cite book|author-link=Anatoly Fomenko |first1=A.T. |last1=Fomenko |first2=A.V. |last2=Bolsinov |title=Integrable Hamiltonian Systems: Geometry, Topology, Classification |publisher=Taylor and Francis |year=2003 |isbn=978-0-415-29805-6 }}
*{{cite book |author-link=Herbert Goldstein |first=H. |last=Goldstein | title =Classical Mechanics |edition=2nd | publisher= Addison-Wesley | year=1980 |isbn= 0-201-02918-9}}
*{{cite book |editor-link=John Harnad |editor-first=J. |editor-last=Harnad |editor2-link=Pavel Winternitz |editor2-first=P. |editor2-last=Winternitz |editor3-link=Gert Sabidussi |editor3-first=G. |editor3-last=Sabidussi | title=Integrable Systems: From Classical to Quantum| publisher=[[American Mathematical Society]] | year = 2000 | isbn=0-8218-2093-1 }}
* {{cite book |author-link=John Harnad |first1=J. |last1=Harnad |first2=F. |last2=Balogh | title=Tau functions and Their Applications | publisher=[[Cambridge University Press]] | year = 2021 | series = Cambridge Monographs on Mathematical Physics |
isbn=9781108492683 |doi= 10.1017/9781108610902|s2cid=222379146 }}
*{{cite book |first1=J. |last1=Hietarinta |author2-link=Nalini Joshi |first2=N. |last2=Joshi |first3=F. |last3=Nijhoff | title=Discrete systems and integrability | publisher=[[Cambridge University Press]] | year = 2016 | isbn=978-1-107-04272-8 |doi=10.1017/CBO9781107337411}}
*{{cite book |author-link=Vladimir Korepin |first1=V. E. |last1=Korepin |first2=N.M. |last2=Bogoliubov |first3=A.G. |last3=Izergin | title=Quantum Inverse Scattering Method and Correlation Functions| publisher=[[Cambridge University Press]] | year = 1997 | isbn=978-0-521-58646-7}}
*{{cite book | author-link=Valentin Afraimovich |first1=V.S. |last1=Afrajmovich |author2-link=Vladimir Arnold |first2=V.I. |last2=Arnold |author3-link=Yulij Ilyashenko |first3=Yu. S. |last3=Il'yashenko |first4=L.P. |last4=Shil'nikov | title=Dynamical Systems V | publisher=Springer | isbn=3-540-18173-3 }}
*{{cite book |first=Giuseppe |last=Mussardo | title=Statistical Field Theory. An Introduction to Exactly Solved Models of Statistical Physics | year=2010 | publisher=[[Oxford University Press]] | isbn=978-0-19-954758-6}}
*{{cite book |author-link=Gennadi Sardanashvily |first=G. |last=Sardanashvily | title=Handbook of Integrable Hamiltonian Systems | publisher=URSS | year=2015 | isbn=978-5-396-00687-4}}

== 阅读更多 ==
*{{cite web |author-link=Alexander Beilinson |first1=A. |last1=Beilinson |author2-link=Vladimir Drinfeld |first2=V. |last2=Drinfeld |title=Quantization of Hitchin's integrable system and Hecke eigensheaves |url=http://www.math.uchicago.edu/~mitya/langlands/hitchin/BD-hitchin.pdf}}<!-- the article needs to discuss the connection to algebraic geometry. -- Taku -->
*{{cite magazine |author-link=Ron Donagi |last1=Donagi |first1=R. |last2=Markman|first2=E.|year=1996|title=Spectral covers, algebraically completely integrable, Hamiltonian systems, and moduli of bundles.|magazine=Integrable systems and quantum groups|series=Lecture Notes in Mathematics |volume=1620 |publisher=Springer|pages=1–119|doi=10.1007/BFb0094792|isbn=978-3-540-60542-3 }}
*{{cite journal |first1=Kiran G. |last1=Sonnad |first2=John R. |last2=Cary |year=2004 |title=Finding a nonlinear lattice with improved integrability using Lie transform perturbation theory |journal=Physical Review E |volume=69 |issue=5 |page=056501 |doi=10.1103/PhysRevE.69.056501|pmid=15244955 |bibcode=2004PhRvE..69e6501S }}

==外部链接==
{{Commons category|Integrable systems}}

* {{springerEOM|title=Integrable system|id=Integrable_system&oldid=43547}}
* [http://www.side-conferences.net/ "SIDE - Symmetries and Integrability of Difference Equations"] {{Wayback|url=http://www.side-conferences.net/ |date=20230421003324 }}, a conference devoted to the study of integrable difference equations and related topics.<ref>{{cite book |first1=Peter A. |last1=Clarkson |first2=Frank W. |last2=Nijhoff |title=Symmetries and Integrability of Difference Equations |url=https://books.google.com/books?id=oi_jvhD1YU0C |date=1999 |publisher=Cambridge University Press |isbn=978-0-521-59699-2 |series=London Mathematical Society |volume=255 |access-date=2023-11-11 |archive-date=2023-04-29 |archive-url=https://web.archive.org/web/20230429114844/https://books.google.com/books?id=oi_jvhD1YU0C |dead-url=no }}</ref>

==注释==
{{reflist}}

[[Category:动力系统]]
[[Category:哈密顿力学]]
[[Category:偏微分方程]]