正定Lgag系统极小概率测度的arne惟一遍历性术.pdfVIP

中国科学 A辑 数学 2006，36(7)：823~826 正定Lagrange系统极小概率测度的 惟一遍历性术 陈菁 白玉真料 (南京大学数学系，南京 210093) (曲阜师范大学数学系，曲阜 273165) 摘要 通过对一类Lagrange系统的极 ，J＼不变概率测度支集结构的详尽分析， 否定了Marl6著名的猜测：通有的Lagrange系统，任一上同调类c所对应的极小 概率测度M 。惟一遍历． 关键词 极小概率测度 惟一遍历性 Mather理论 Lagrange系统 1 引言 1991年前后，Mather把关于单调扭转映射的Aubry—Mather理论推广到高 维正定的Lagrange系统，Aubry—Mather理论中核心概念Aubry—Mather集推广为 高维正定系统的极小概率测度．由于缺少单调扭转映射中一个至关重要的性质 一 Aubrycrossinglemma，人们对高维系统的极小概率测度支集结构所知甚少．在 文献 【1，2】中，Mather所能举出的例子只有单调扭转映射中的Aubry—Mather集和 近可积系统中的KAM环面． 1996年，Marl6(参看文献 3【，4])对通有的Lagrange系统进行了研究，得到 了一系列的重要结果，也遗留下了一系列重要的问题和猜测．Marl6去世后，其 学生在这一方向上做了深入研究．Marl6的部分猜测被肯定，但他的两个主要问 题，即 (1)通有的 Lagrange系统对应于任一上同调类 c的极小概率测度是否惟一 遍历? 收稿 日期：2005—11-27；接受 日期：2006—04—19 曲阜师范大学科研基金资助项 目 E—mail：baiyu99@ 126．com SCIENCEIN CHINA Ser．A Mathematics 824 中国科学 A辑 数学 第36卷 (2)任一Lagrange系统对通有的上同调类c的极小概率测度是否惟一遍历? 一 直悬而未决． 本文将构造一类 Lagrange系统，这类系统在任意充分小的摄动下，总存在 一 个上同调类c，对应的极小概率测度M ，其支集至少存在两个遍历分支分布在 不同的不变柱面上．从而否定了Marl6的第 1个猜测． 2 极小概率测度 本节简略地介绍有关Lagrange系统极小概率测度的Mather理论，高维系统 的Mather理论可参阅文献 [1，2】． 设M为紧流形，L：TM ×T— 为 (r≥2)函数， 满足 (1)凸性：函数L=L(z，V，t)是关于广义速度V的凸函数． (2)超线性增长 lim 一 +。。． ll—o。 llVll (3)相流完备性：Lagrange函数 L(z，V，t)生成的Lagrange相流 在 t∈ (一。。，+。。)有定义． 令M 为TM×T上所有相流 2，的不变测度构成的集合．对任一上同调类 c∈H (M，)，取其一代表元闭1一形式叩，叩【】=c．令 (叩)=infue34．f(L一叩)， ()·的取值与代表元选取无关，仅由上同调类c惟一决定．因此 ()·可定义为 H (M，)上的函数 (c)= 一∈M． ／(L一叩)． ， 【。】=c ‘ 令M ={l∈M，f(L一叩) = (c))，M 中的元素称为c极小概率测度．易 知M 为M 中的凸集．所谓M 惟一遍历，是指M 由惟一的元素组成． 令瓯 =U ∈M Suppz／，M =7r(丽 )，其中7r：TM×T—M．M 称为Mather 集，其上的动力学行为对研究 Lagrange系统至关重要．为对 M 的结构做细致 的刻画，Mather引进障碍函数B ()·如下：