可积系研究和组合计数方法课件

,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,2019-8-26,谢谢观赏,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,2019-8-26,谢谢观赏,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,2019-8-26,*,谢谢观赏,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,2019-8-26,谢谢观赏,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,2019-8-26,*,谢谢观赏,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,2019-8-26,*,谢谢观赏,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,2019-8-26,*,谢谢观赏,可积系研究和组合计数方法,从,KdV,方程族的无穷多个守恒律说起,Integrable System and Enumerative Combinatorics,1,谢谢观赏,2019-8-26,可积系研究和组合计数方法从KdV方程族的无穷多个守恒律说起,十分感谢朱佐农教授给了我一个很难得的机会向在座各位老师和同学学习交流。,胡星标研究员,最近,在,讲课中,提到可积系研究中的一些,有趣的,进展，比如正交多项式，代数编码（,BCH,Goppa decoding algorithm,）,，组合数学,等领域,和可积系的交叉研究。对此我深感兴趣，特别是组合计数方法在可积系研究中的应用，和我在这两个领域里的工作相关。下面是我阅读有关文献的,一个读书报告,。因为所读有限，遗漏之处请予指正。我谨在此感谢胡星标提供的文献资料,。,2,谢谢观赏,2019-8-26,2谢谢观赏2019-8-26,如所周知，可积系研究涉及到数学物理许多方向：微分方程，,微分几何，,代数几何，,李代数，,复分析， 群论，力学，,规范,场,理,论等等。可积系出现在众多领域这一事实表明可积系研究的价值和它的潜在,的,美。,数学理论中的内在美一直是推动其进展的强大动力。,3,谢谢观赏,2019-8-26,3谢谢观赏2019-8-26,何谓可积系,?,为何要研究可积系,?,何谓可积系,?,这是个大题目,可以讲上几天,.,我们只能笼统的讲,所谓可积系是指一组微分或差分方程,它具有足够多的互相对合的初次积分,.,对于经典的可积系曹策问教授有精湛的综述文,曹策问,:,经典可积系统,孤立子理论与应用，谷超豪等著 浙江科技出版社,(1990), pp.176-215,对于无穷维连续系统言,可以指他们能写成所谓的广义,Hamilton,形式,并有无穷多个彼此对合的守恒量。这里,J,是所谓的辛算子。下面讨论到的,KdV,方程就是一例。,为何研究可积系,?,原因很多,最吸引人的是他们具有一系列有趣的性质,;,出现在许多数学物理领域中,;,其研究结果有应用前景,其研究方法有理论价值,.,4,谢谢观赏,2019-8-26,何谓可积系?为何要研究可积系?何谓可积系?这是个大题目,可以,Bernoulli,数和,Bernoulli,多项式和,KdV,方程的无穷多个守恒密度之积分的关系；,Bell,多项式，,di Bruno,公式和,KdV,方程族的明显表达式及,Hirota,的双线性方法的关系；,计数反演公式和可积系理论中达布变换中的应用,.,一些可供进一步研究的问题。,报告摘要,5,谢谢观赏,2019-8-26,Bernoulli数和Bernoulli 多项式和KdV方程,Bernoulli,数出现在很多数学领域。比如一些初等函数如,tan(x),的,Tylor,展开式,.,Bernoulli,数和,Bernoulli,多项式有很多有趣的公式,其详及下面将提到的,Bell,多项式,di Bruno,公式，生成函数，反演公式等可见我的编著,屠规彰,组合计数方法及其应用，科学出版社，,1981,。,6,谢谢观赏,2019-8-26,Bernoulli 数出现在很多数学领域。比如一些初等函数如,自然数数列的幂次和及,Faulhaber,多项式,Bernoulli,数和,Bernoulli,多项式可以用来写出自然数数列的幂次和,Bernoulli,数还可以用来写出自然数数列倒数的偶次幂的和,这和数论里有名的,Riemann,采他函数有关,这里就不提了,.,有趣的是自然数数列的奇幂次和都可以用自然数数列的和表示出来,:,称作,Faulhaber,多项式,7,谢谢观赏,2019-8-26,自然数数列的幂次和及Faulhaber多项式Bernoull,KdV,方程的孤子解和无穷多个守恒量,或,是可积系理论中最著名的方程,.,可以说可积系理论中所有新方法,新思想都是从,KdV,方程入手发展起来的,.,该方程的一个显式解是,这一解的图形如一个单峰波形,称作单孤子解,.,KdV,方程还有双孤子及多孤子解,.,双孤子解代表的两个波峰对向运行时,两个峰重叠后会复原,继续各自向前,犹如两个粒子,.,此乃孤子名字的由来,.,KdV,方程有许多美妙的性质,.,其一是有无穷多个守恒量,:,这里我们假设,u(x,t),在,x,等于正负无穷时迅速递减至零。,8,谢谢观赏,2019-8-26,KdV方程的孤子解和无穷多个守恒量或是可积系理论中最著名的方,KdV,方程守恒量和,Faulhaber,多项式,上面的 成为守恒量是因为 是所谓的守恒密度,也即存在,使得,事实上我们有,2001,年,Fairlie,和,Veselov,发现了,KdV,方程的守恒量和,Faulhaber,多项式之间有一个出人意料的关系,Bernoulli polynomials and solitons, Physica D 152153 (2001) 4750,如果上面的守恒量,I,被表示成,Bernoulli,数的一些线性组合,并不出人意料,;,但不多不少恰好等于一个,Faulhaber,多项式的值实在让人惊讶,.,2005,年,Grosset,和,Veselov,受上述结果的启发在文,Bernoulli Numbers and Solitons,，,J. Nonlinear Math. Phys. V12 (2005), 469474,中证明了,Bernoulli,数和,KdV,方程单孤子解的关系式,其证明很长。,2007,年,Boyadzhiev,利用,Fourier,变换和,Parseval,定理给出了上述结果的一个稍为简单些的证明,A note on Bernoulli polynomials and solitons,J. Nonlinear Math. Phys. V14 (2007), 174178,9,谢谢观赏,2019-8-26,KdV方程守恒量和Faulhaber多项式上面的,KdV,方程的无穷多个守恒律的推导,Fairlie,和,Veselov,从当,Schrdinger,算,具有离散谱,这一结果导出上面提到的关系式的,.,我觉得他们的证明,并不令人信服,.,在他们的文中并没有提到各个守恒量的递推关系，更没有守恒量的明显表达式。事实上当,Iu,和,Ju,是,KdV,方程的守恒量时，其线性组合也是同一方程的守恒量。所以我们需要弄清楚究竟什么样的守恒量才引出,Faulhaber,多项式？,下面我们来回顾一下导出,KdV,方程无穷多个守恒密度的两种算法。,10,谢谢观赏,2019-8-26,KdV方程的无穷多个守恒律的推导Fairlie 和 Vese,Miura,方法,假设,u(x,t),是,KdV,方程的解,令,可得,由此可见若,w,满足方程,则,u,满足,KdV,方程,.,将,w,按 展开,则各个 均为守恒密度,这是一个非线性的递推式,它包含,w,的二次项,.,其奇数序号的项都是全导数,所以都是平凡的守恒密度,.,只有偶数序号的项才给出非平凡的守恒密度,.,这样为了计算下一个守恒密度需叠代两次,.,11,谢谢观赏,2019-8-26,Miura方法假设u(x,t)是KdV方程的解令可得由此可见,KdV,方程族和递推式,KdV,方程实际上是所谓的,KdV,方程族中的一员。方程族成员间存在着一个微分递推关系。下面我们使用所谓的零曲率方程方法来导出,KdV,方程的无穷多个守恒密度,并说明由这无穷多个守恒密度之导数便可得到,KdV,方程族,.,我们从经典的李代数 出发。 乃由复数域 上所有迹为,0,的所有矩阵组成。它的基是,对此我们有,然后我们考虑相应的所谓,loop,李代数,有关,loop,代数在可积系研究中的应用的更详细的讨论见我的综述文：,屠规彰,Kac-Moody,代数与可积系，孤立子理论与应用，谷超豪等著 浙江科技出版社,(1990),pp.268-342,12,谢谢观赏,2019-8-26,KdV方程族和递推式KdV方程实际上是所谓的KdV方程族中的,Step1:,求解驻定方程,将,U,V,的表达式代入驻定方程,易得,或即,经过简单的推导即可得,由此可得,算子 在下面的推演中将起到重要作用,.,它的形式共轭乃是所谓的遗传对称,(hereditary symmetry),在可积系的双,Hamilton,理论中有很多讨论,.,13,谢谢观赏,2019-8-26,Step1:求解驻定方程将U,V的表达式代入驻定方程,易得或,Step2. KdV,方程族的导出,我们对上面驻定方程的解作进一步处理,代入上面的驻定方程,上式左边与 相关,而右边与,因此两边都只与,有关,.,于是,比较 我们需要消去和,h,相关的一项。为此我们引入,易证明零曲率方程族,引出,KdV,方程族,当,n=2,时便是,KdV,方程,14,谢谢观赏,2019-8-26,Step2. KdV方程族的导出我们对上面驻定方程的解作进一,Step3.,KdV,方程族的,Hamilton,结构,下面我们要论证上面导出的 乃是,KdV,方程族的守恒密度,也是这一方程族的彼此对合的,Hamilton,量,.,为此我们需要应用一个很有用的工具,:,迹恒等式,Gui-zhang Tu: The trace identity, a powerful tool for constructing the Hamiltonian structure of integrable systems. J.Math.Phys., v.30 (1989), pp.330-338,上述等式乃对多位势 建立的，并已推广到离散可积系和高维,1+2,的情形。很多作者利用这一等式成功地找到了一系列新的可积系的,Hamilton,结构。在今之情形,我们有,于是迹恒等式给出,比较等式两边 的系数即得,令,n=2,可定出常数,于是,这样,KdV,方程族,便可写成,Hamilton,形式,:,15,谢谢观赏,2019-8-26,Step3. KdV方程族的Hamilton结构下面我们要论,容易证明上面得到的,Hamilton,量彼此对合：,其中,表示,Poisson,刮号,:,从上面的推导可以得出结论,由递推式 算得的列 乃是,KdV,方程族的无穷多个守恒密度,.,而且其导数 给出,KdV,方程族 右边的表示式,.,为了更好地了解,Faulhaber,多项式和,KdV,方程的关系,我们来推导 或 的一般表达式,.,换言之下面的任务就是求解下面的微分差分方程的明显表达式,.,或在方程两边施以算子,16,谢谢观赏,2019-8-26,容易证明上面得到的Hamilton量彼此对合：其中,KdV,方程族守恒密度的一般表示式,上面我们推导出,KdV,方程实际上是,KdV,方程族中的一员。它们共有一组无穷多个守恒密度。若将这组守恒密度规范化，将其最高阶导数项的系数取作,1,，则,KdV,方程族可以写成,2000,年,Avramidi,和,Rainer:,在文,A new explicit expression for the Korteweg-De Vries hierarchy, Math. Nachr. (219 (2000) 4564),中给出了一个,G,的一个很复杂的所谓一般表达式,17,谢谢观赏,2019-8-26,KdV方程族守恒密度的一般表示式上面我们推导出KdV方程实际,Avramidi,和,Rainer,还考察了微分多项式,G,的构造。他们提到,G,中次数最高而阶数最低的项为,而次数最低阶数最高的项为,文中还观察到,G,中包含,u,的低阶项与,Bernoulli,数的关系,守恒密度,Gu,的构造,其实早在,1987,年,Rosenhouse,和,Katriel,就得过,KdV,方程族的表达式,The Kortewegde Vries hierarchy of isospectral transformations: Towards a general explicit expression, J. Math. Phys. 28, 1344 (1987),他们得到的表达式也是非常的复杂。,为了导出,KdV,方程族的表达式也许从,Hirota,的双线性方法入手会更有效。,18,谢谢观赏,2019-8-26,Avramidi 和 Rainer还考察了微分多项式 G 的,KdV,方程族守恒密度的,l,另一表示式,Polterovich,：,From Agmon-Kannai expansion to Korteweg-de Vries hierarchy (1999) part of Ph.D thesis,上面提到的三种表达式都十分的复杂。为了导出,KdV,方程族的一个简洁些的表达式，也许从,Hirota,的双线性方法入手会更有效。,19,谢谢观赏,2019-8-26,KdV方程族守恒密度的l另一表示式Polterovich：F,Hirota,导数和他的双线性方法,Hirata,发现很多有孤子解的偏微分方程可以经由应变量的代换化为所谓的双线性方程。由这些双线性方程入手他成功地找到了,N-,孤子解。有关他的方法的详细陈述可见,广田良吾：孤子理论中的直接方法。王红艳，李春霞，赵俊霄，虞国富译，胡星标校。清华大学出版社,2008,Hirata,导数定义为,对于,KdV,方程 引入变换 便可将之写成,Hirata,的双线性行式。,写成通常行式便是,20,谢谢观赏,2019-8-26,Hirota导数和他的双线性方法Hirata发现很多有孤子解,复合函数高阶导数的,di Bruno,公式,如所周知，对复合函数 我们有下面的求导公式,这一公式看似简单,实际上用它来计算复合函数的高阶导数却很繁杂,.,次之,di Bruno,公式给出了复合函数高阶导数的一般表达式,.,上述公式可以推广到 情形,.,特别当,r = 2,时有,其中和式遍及所有的分划,21,谢谢观赏,2019-8-26,复合函数高阶导数的 di Bruno 公式如所周知，对复合函,Hirota,导数的一个表达式,应用上面的,di,Bruno,公式我在,1993,年得到,Hirata,导数的一个表达式,其中和式遍及所有的分划,Gui-zhang Tu: A combinatorial formula relating to Hirotas bilinear equations, Discrete Math. v.123 (1993) pp.121-129,易知,特别有,例,:,因,6=2+4=2+2+2,所以我们有,此式与,Sawada-Kotera,方程相关,22,谢谢观赏,2019-8-26,Hirota导数的一个表达式应用上面的di Bruno 公式,Bell,多项式,将前面的,di,Bruno,公式应用于复合函数 可得,右边的多项式称为,Bell,多项式。,Gilson, Lambert, Nimmo,和,Willox,在文,:,On the Combinatorics of the Hirota D-Operators,Proc. R. Soc. Lond. A 1996 452, 223-234,中讨论了,Hirata,导数和,Bell,多项式的关系。限于时间这里就不多言了。,23,谢谢观赏,2019-8-26,Bell多项式将前面的di Bruno 公式应用于复合函数,反演公式在可积系研究中的应用,重排问题,.,有,n,个人坐在,n,个不同的座位上,今重排各人座位，每人不能回到原来的座位。问有几种排法,1,？,当,n=4,时共有,9,种排法：,2143,2341,2413,3142,3412,3421,4123,4312,4321,而如,4132,， 因数字,3,在,3,号座，不合条件。,今以 记问题的解。则容易推出,为恰有,r,个,的排列,之个数,.,既然全部排列的个数为,n!,可见,应用下面的二项式反演公式便得,二项式反演公式,何谓反演公式？我们举个例子说明之。,24,谢谢观赏,2019-8-26,反演公式在可积系研究中的应用重排问题. 有n个人坐在n个不同,微分算子的易位变换,Gui-zhang Tu : An inversion formula and its application to soliton theory, Advances Appl. Math. v.14 (1993) pp.416-429,我在,1993,年证明了这样一个定理。,假设,T,和,A,各为,1,阶和,n,阶微分算子,则存在唯一的,n,阶算子,使得,是个,0,阶算子,也即,定理的证明是构造性的,也即给出了算子 中各系数 的表达式,.,文中证明了,A,的系数 和 的系数 恰好满足一个组合反演公,式,进而我们证明了若,则,这一结果可以用来的到微分方程解的,Darboux,变换,.,运用,Daboux,变换我们可以把,非线性偏微分方程的一个平凡解,比如,u=0,变成一个非平凡解,.,25,谢谢观赏,2019-8-26,微分算子的易位变换Gui-zhang Tu : An in,Darboux,变换,Darboux,变换是可积系理论中一种生成解的工具,.,其详可见专著,Gu Chaohao, Hu Hesheng, Zhou Zixiang Darboux transformation in integrable systems (2010) Springer,可积系除去前面提到的零曲率方程表示外,还有一种称为,Lax,对的表示,.,若果我们可以选择,L,和,A,使得,A,L,的阶数为,n 1,则上述,Lax,对便构成,的一组方程。我们证明了,26,谢谢观赏,2019-8-26,Darboux 变换Darboux 变换是可积系理论中一种生,Boussinesq,方程的,Darboux,变换,27,谢谢观赏,2019-8-26,Boussinesq方程的Darboux变换27谢谢观赏20,P. di Francesco,Integrable combinatorics,Plenary talk given at the International Congress of Mathematical,Physics, Aalborg, Denmark, August 10, 2012.),Abstract. We review various combinatorial problems with underlying classical or quantum,integrable structures.,P. van Moerbeke,Combinatorics and integrable Geometry,This lecture illustrates application of integrable systems to unitary matrix integrals and ultimately to combinatorics and probability theory.,P. Deift,Integrable systems and combinatorial Theory,Notices of AMS V47, No. 6 (2000) pp.631-640,28,谢谢观赏,2019-8-26,P. di Francesco Integrable com,I. Goulden and D. Jackson,A family of combinatorial solutions to the KP hierarchy,ABSTRACT.,We give a new explicit solution to the KP hierarchy. This is written in terms of Schur symmetric functions, and uses the known characterization of solutions to the KP hierarchy in terms of solutions to the Plucker relations. Our solution to the Plucker relations involves a countable set of variables for content, a combinatorial parameter for partitions (which themselves arise because they index the Schur functions). By specializing the content variables, we obtain a number of solutions to the KP hierarchy, including Okounkovs result for the double Hurwitz series. Another specialization gives the m-hypermap series, which contains the double Hurwitz series as the leading coefficient. In turn this specializes to the series for hypermaps and maps in an orientable surface. For the latter series, we use one of the KP equations to obtain a remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces.,29,谢谢观赏,2019-8-26,I. Goulden and D. Jackson A fa,30,谢谢观赏,2019-8-26,30谢谢观赏2019-8-26,谢谢,Thanks,31,谢谢观赏,2019-8-26,谢谢31谢谢观赏201,