非自治动力系统测度熵性质与计算-基础数学专业论文.docxVIP

PAGE PAGE 1 PAGE PAGE 10 §1 引 言 1958年，Kolmogorov在遍历论中引入了测度娟的概念，并利用测度娟的同构不变性 证明了谱同构的两个符号与三个符号的Bernoulli移位不是同构的，从而成功解决了因 扰遍历论研究者20年的著名问题. 这标志着娟的概念正式进入到动力系统领域的研究之 中. 自从测度娟的概念进入到动力系统理论以后，对它的研究立刻就成为动力系统研究 的重要内容之一，而且伴随着动力系统理论的丰富与发展，测度娟在动力系统研究中扮演 着越来越重要的角色. 测度娟与刻画系统复杂性的其它动力性质诸如:混沌、Lyapunov指 数以及分形维数等都有着密切的联系. 这些联系的自然性根源是:1.从著名的Shannon- McMillan- Breiman定理(简称SMB定理)可以看到，测度娟反映的是在统计意义下系统 所具有的轨道个数随时间演化的指数增长率. 所以说，娟越高，轨道越多, 系统越混乱. 这和混沌理论所揭示的不可预测性本质具有统一性. 2.作为SMB定理的拓扑版本– Brin-Katok的局部娟公式从信息论角度说明，测度娟又可解释为系统邻近轨道信息丢失的 速度. 这自然与描述系统相邻轨道的分散速度的Lyapunov指数有着密切的联系. 在光涓遍 历理论中占据核心地位的Ruelle-Pesin娟公式正是这种联系的有力佐证. 3.自上世纪70年 代Mandelbrot创立了分形几何学以来，在动力系统理论中，人们利用分形几何学的工具和 思想加深了对吸引子拓扑结构的研究和认识，并得到了分形维数与娟和Lyapunov指数之 间的关系. 基于测度娟在动力系统研究中的重要地位，与其相关的研究一直是人们关注的热点 领域. 特别地，在确定性动力系统(即由一个映射迭代而产生的系统，又称为自治动力系 统)测度娟的研究中，已有大量经典而深刻的结果，参见[1],[2]. 相比较而言，非自治动力 系统(即由一列映射相继复合而产生的系统)测度娟的研究则刚刚起步，还有很多问题 有待探讨. 非自治动力系统的研究之所以受到人们的关注，原因在于当我们用数值计算 的方法模拟确定性系统时，舍入误差的存在自然导致非自治动力系统的产生. 另外，非自 治动力系统与更具实际价值的随机动力系统的研究也有着密切的联系. 下面我们引入非自治动力系统测度娟的基本概念和记号. 设 (X, B, m) 为概率空 i=1间, f1, ∞ = {fi} i=1 为一个映射序列. X 上的恒同映射记为 Id . 令 N 表示全体正整 i数的集合. 对于任意 i ∈ N,令 f 0 = Id, 对于任意 i, n ∈ N, 令 i f n ?n n ?1 ?1 ?1 ?1 i = fi+(n?1) ? · · · fi+1 ? fi, fi = (fi ) = fi ? fi+1 ? · · · ? fi+(n?1). ( f ?1 ∞ i 只是表示逆像, 因为我们并未假设每一个 fi 都可逆). 记号 f1, ∞ 表示 {fi}i=1 映射 i=1i=1序列, (X; {fi i=1 i=1 ) 表示由映射序列 {fi}∞ 所诱导的非自治动力系统. 如果对于所有映射 fi, i ∈ N ,都保持同一个概率测度 m , 则称 f1, ∞ 保持测度 m 或者称 m 为 f1, ∞ 的不变 i=1测度. f1, ∞ = {fi} i=1 的测度摘定义如下 i=1定义 1.1. 设 (X, B, m) 为概率空间, f1, ∞ = {fi} i=1 为保持测度 m 的映射序列. 若 ξ 为 X 的有限划分, 则  hm(f1, ∞, ε) = lim sup n→∞  1 Hm( n 1  n?1 / i=0  f 1?iξ), 这里Hm(\/n?1 f 1?iξ) = ? )，  n 1 i m(A) log m(A), 称为 f1, 关于分割 ξ 的测度摘. i=0 A∈i ? f ? ξ ∞ f1,∞ 的测度摘定义为 =0 1 hm(f1, ∞) = sup hm(f1, ∞, ξ), 这里是对 X 的全体有限划分取上确界. 注记 1.2. 这里 lim sup 不可以替换为 lim , 因 Hm(∨n?1f ?iξ) 不是次可加序列, i=0 1 an+p = Hm( n+p?1 / i=0 n?1  1f ?iξ) 1  n+p?1 11= Hm(( / f ?iξ) ∨ ( 1 1 i=0 n+p?1 / j=n f ?j ξ)) 1≤ an + Hm( 1 / j=n f ?j ξ). Hm(\/n+p?1 ?j p?1 ?i j=n f1