Loading [MathJax]/jax/output/HTML-CSS/jax.js
  数学物理学报  2015, Vol. 35 Issue (3): 558-566   PDF (347 KB)    
扩展功能
加入收藏夹
复制引文信息
加入引用管理器
Email Alert
RSS
本文作者相关文章
卢天秀
朱培勇
吴新星
非自治离散系统的分布混沌性
卢天秀1, 朱培勇2, 吴新星2    
1. 四川理工学院 理学院 四川 自贡 643000;
2. 电子科技大学 数学科学学院 成都 611731
摘要:该文在非自治离散系统中定义了分布混沌, 研究了映射序列fn,∞=(fn, n+1, …), ∀nN (N为自然数集)的混沌行为, 讨论了fn,∞的分布混沌性是否意味着乘积系统fn,∞[m](m为正整数)的分布混沌性, 或者后者的分布混沌性是否意味着前者的分布混沌性.
关键词非自治离散系统     分布混沌     乘积映射    
Distributional Chaos in Nonautonomous Discrete Systems
Lu Tianxiu1, Zhu Peiyong2, Wu Xinxing2    
1. Department of Mathematics, Sichuan University of Science and Engineering, Sichuan Zigong 643000;
2. School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu 611731
Abstract: New definition of distributional chaos in nonautonomous discrete systems is given. This paper studies the chaotic behaviour of sequences fn,∞=(fn, n+1, …), ∀nN (N is the set of natural numbers), and discusses that whether the distributional chaoticity of fn,∞ implies the distributional chaoticity of fn,∞[m] (m is a positive integer), or vice versa.
Key words: Nonautonomous discrete systems     Distributional chaos     Compound mappings    
1 引言

在图像处理、环境科学、生物医学、通信与电子工程等方面的研究中, 系统的混沌性是人们非常关注的研究方向之一. 上世纪以来,学者们研究了许多复杂的非线性动力学行为, 比如,2011年,谭枫,张瑞丰[1]在动力系统(X,f)中讨论了敏感性、 F -敏感性和F -敏感对的关系, 证明了系统存在敏感对不一定意味着系统是Li-Yorke混沌的, 并给出了传递系统中敏感对存在的充分条件. 2012年,尹建东和 周作领[2]证明了传递的非极小系统是Tankens-Ruelle混沌的. 又如,2006年, Oprocha[3]证明了一个量子谐振子的湮没算符是分布ε -混沌的 (其中ε=116), 并且其准测度不小于116. 2011年,吴新星和 朱培勇[4]证明了这个算符能够达到最大意义上的分布混沌,并得到准测度的确切值为1. 2013年,黎日松等[5]则考查了耦合系数为1的 一类耦合映象格子的分布(p,q) -混沌性和准测度. 更多工程应用系统中的混沌研究见文献[6, 7, 8, 9]以及其参考文献.

然而,大多数文献都是在自治系统(X,f)中研究混沌性, 而现实中很多系统不具备自治系统的优良性质,不同的扰动需要用不同的函数来描述,即 同一个系统存在一系列不同的映射对其进行作用, 这表明工程实际中许多系统都属于非自治系统. 非自治系统最初由 Kolyada和 Snoha在文献[10]中提出, 随后他们又在[11, 12]等文献中讨论了非自治系统的极小性和区间上非自治分段单调动力系统的拓扑熵. 非自治系统的概念也与一些非自治不等式相联系,此处不赘述, 有兴趣的读者可以参见文献[13, 14]以及它们的参考文献等.

I=[0,1],I上的度量记为ρ. 考虑一个映射序列fn:II,nN,将这个映射序列记为f1,=(f1,f2,). 这个序列定义了一个非自治离散系统(I,f1,), 在这个映射序列之下,点xI的轨道为Orb(x,f1,)=(fn1(x)),这里fn1=fnf1,f01表示恒等映射. 如果对nN, 有fn=f,则(I,f1,)即为自治离散系统(I,f).

这篇文章主要讨论了fn,的分布混沌性与乘积系统f[m]n, (m为正整数)的分布混沌性的关系(第3部分). 在下文中, 我们总是假设fn(nN)为满射, 这个条件是处理这类系统时的常见条件,比如文献[12, 15, 16]等. 应用本文的主要结果, 容易得到文献[3, 4, 5]中的系统的混沌性在迭代之下是保持的.

2 分布混沌的定义

混沌的严格数学定义最初于1975年由李天岩和 Yorke在文献[17]中给出, 即Li-Yorke混沌.后来,为了从不同角度描述系统的复杂性和不可预测性, 各种不同的混沌定义相继提出,比如Deveney混沌[18],本质混沌[19], 稠混沌[20],稠δ -混沌[21],Li-Yorke敏感[22]等等. Li-Yorke混沌定义的一个重要推广是分布混沌. 分布混沌的定义由 Schweizer和 Smital在文献[23]中提出, 类似自治系统中这个分布混沌的定义, 我们在非自治情形下给出一个分布混沌的定义.

定义2.1nN,映射序列fn,=(fn,fn+1,)称为分布混沌的,如果存在不可数子集SI使得x,yS,xy,有

(i)~ t>0,Fxy(t,fn,)=lim supk1kn+1ki=nχ[0,t)(ρ(fifn(x),fifn(y)))=1,

(ii)~ t>0,Fxy(t,fn,)=lim infk1kn+1ki=nχ[0,t)(ρ(fifn(x),fifn(y)))=0, \\ 其中tR,χ[0,t)是集合[0,t)的特征函数,即 s[0,t)时,χ[0,t)(s)=1; 当s[0,t)时,χ[0,t)(s)=0. Fxy(t,fn,)Fxy(t,fn,)分别称为fn,的上、下分布函数, 不可数子集S称为fn,I中的分布攀援集.

现在,我们回顾一下非自治情形下Li-Yorke混沌的定义(类似文献[24]所给定义).

定义2.2nN,映射序列fn,称为Li-Yorke混沌的, 如果存在不可数子集SI使得x,yS,xy,有 lim supkρ(fkfn(x),fkfn(y))>0lim infkρ(fkfn(x),fkfn(y))=0. 不可数子集S称为fn,I中的Li-Yorke攀援集.

定理2.3 如果映射序列fn,是分布混沌的, 则fn,是Li-Yorke混沌的.

假设对任意不可数子集SI,存在两个不同的点x,yS使得 lim infkρ(fkfn(x),fkfn(y))=α>0.NN,kN,ρ(fkfn(x),fkfn(y))α2. 因此, lim supk1kn+1ki=nχ[0,α2)(ρ(fifn(x),fifn(y)))=0. 这与分布混沌定义的条件(i)矛盾.

类似的,如果任意的不可数子集SI,存在两个不同的点x,yS使得 lim supkρ(fkfn(x),fkfn(y))=0. 这将与分布混沌的条件(ii)矛盾.

故,fn,是Li-Yorke混沌的.

定理2.4 映射序列f1,是分布混沌的当且仅当对nN,n2,映射序列fn,是分布混沌的.

只需考虑n=2的情形.

(充分性)~~ 设SIf2,的一个分布攀援集,则,x,yS,xy,有

(i)~ t>0,Fxy(t,f2,)=lim supk1k1|{2ik:ρ(fif2(x),fif2(y))<t}|=1,

(ii)~ t0>0,Fxy(t0,f2,)=lim infk1k1|{ρ(fif2(x),fif2(y))<t0}|=0,

其中,|A|表示集合A的基数.

因为f1是满射,则对x,yS,xy,存在x,yI,xy使得f1(x)=x,f1(y)=y.

S中每个元素在f1之下的一个逆象构成集合T, 则T是一个不可数集,并且

(a)~ 对t>0,若d(f1(x),f1(y))<t时,令c=1; 若d(f1(x),f1(y))t时,令c=0,则有 Fxy(t,f1,)=lim supk1k|{1ik:ρ(fif1(x),fif1(y))<t}|=lim supk1k(|{2ik:ρ(fif1(x),fif1(y))<t}|+c)=lim supk1k|{2ik:ρ(fif2(x),fif2(y))<t}|=lim supk1k1|{2ik:ρ(fif2(x),fif2(y))<t}|=1.

(b)~ 对(ii)中的t0, Fxy(t0,f1,)=lim infk1k|{1ik:ρ(fif1(x),fif1(y))<t0}|=lim infk1k(|{2ik:ρ(fif2(x),fif2(y))<t0}|+c)=lim infk1k1|{2ik:ρ(fif2(x),fif2(y))<t0}|=0 从而,f1,是分布混沌的.

(必要性)~~ 类似充分性的讨论,设SIf1,的一个分布攀援集, 则f1(S)f2,的一个分布攀援集.

由定理2.3和定理2.4,下面的推论成立.

推论2.5 映射序列f1,是Li-Yorke混沌的当且仅当对nN,n2,fn,是Li-Yorke混沌的.

3 乘积系统的分布混沌性

在这一节里,我们讨论非自治乘积系统的分布混沌性.

m,nN,令 g1=fn+m1fn,g2=fn+2m1fn+m,, gp=fn+pm1fn+(p1)m,. (I,g1,)称为(I,fn,)的一个乘积系统. 为了更方便地看出系统(I,g1,)与系统(I,fn,)的关系, 乘积系统g1,也记作f[m]n,. 并且记 fkn=fn+k1fn (n1).

定理3.1 若映射序列f1,是分布混沌的,则对mN,f[m]1,也是分布混沌的.

证明S0f1,的一个分布攀援集,对mN,下证S0也是f[m]1,的一个分布攀援集.

(i)~ 首先,x,yS0:xy,t>0,我们证明 Fxy(t,f[m]1,)=lim supk1kki=1χ[0,t)(ρ(f[im]1(x),f[im]1(y)))=1.

假设存在x0,y0S0:x0y0以及t0>0使得 Fx0y0(t0,f[m]1,)<1,则 lim supk1kmkmi=1χ[0,t0)(ρ(fi1(x),fi1(y)))=lim supk1kmmj=1k1i=0χ[0,t0)(ρ(fmi+j1(x),fmi+j1(y)))1mmj=1(lim supk1kk1i=0χ[0,t0)(ρ(fmi+j1(x),fmi+j1(y))))1m(m1+Fx0y0(t0,f[m]1,))<1.

由于S0f1,的分布攀援集, 则Fx0y0(t02,f1,)=1, 由上极限的定义,存在严格递增的序列{ns}sN使得 Fx0y0(t02,f1,)=lims1nsnsi=1χ[0,t02)(ρ(fi1(x0),fi1(y0)))=1.M0={km:kZ+}{ns:sN}, M1={km+1:kZ+}{ns:sN}, Mm1={km+m1:kZ+}{ns:sN}, 则存在l{0,1,,m1}使得Ml为无限集. 记Ml={nls:sN},我们有 lims1nlsnlsi=1χ[0,t02)(ρ(fi1(x0),fi1(y0)))=1. 从而 1lim sups1nls+mlnls+mli=1χ[0,t0)(ρ(fi1(x0),fi1(y0)))lim sups1nls+mlnlsi=1χ[0,t0)(ρ(fi1(x0),fi1(y0)))lim supsnlsnls+ml1nlsnlsi=1χ[0,t02)(ρ(fi1(x0),fi1(y0)))=1.Ml的定义,nls是除以ml的数,因此m|nls+ml,我们有 lim supk1kmkmi=1χ[0,t0)(ρ(fi1(x0),fi1(y0)))lim sups1nls+mlnls+mli=1χ[0,t0)(ρ(fi1(x0),fi1(y0)))=1. 这与lim supk1kmkmi=1χ[0,t0)(ρ(fi1(x),fi1(y)))<1矛盾.

(ii)~ 下证存在δ>0使得对x,yS0:xy都有 Fxy(δ,f[m]1,)=lim infk1kki=1χ[0,δ)(ρ(fim1(x),fim1(y)))=0.

事实上,因为S0f1,的分布攀援集, 则存在δ1>0 使得Fxy(δ1,f1,)=0对任意x,yS0:xy都成立.

假设存在xδ,yδS0, 使得对δ>0都有Fxδyδ(δ,f[m]1,)>0. 特别地, 对δ=δ12>0,存在 xδ,yδS0使得 Fxδyδ(δ,f[m]1,)>0.

因为Fxδyδ(δ1,f1,)=0, 则存在严格递增的序列{ms}sN使得 lims1msmsi=1χ[0,δ1)(ρ(fi1(xδ),fi1(yδ)))=Fxδyδ(δ1,f1,)=0.

类似(i),可以找到c{0,1,,m1}使得mcs={km+c:kZ+}{ms:sN}为无限集. 从而 0=lims1mcsmcsi=1χ[0,δ1)(ρ(fi1(xδ),fi1(yδ)))=lims1mcs+mcmcs+mci=1χ[0,δ1)(ρ(fi1(xδ),fi1(yδ)))=lims1mcs+mcmj=11m(mcs+mc)1i=0χ[0,δ1)(ρ(fim+j1(xδ),fim+j1(yδ)))mj=1lim infs1mcs+mc1m(mcs+mc)1i=0χ[0,δ1)(ρ(fim+j1(xδ),fim+j1(yδ)))lim infs1mmmcs+mc1m(mcs+mc)1i=0χ[0,δ1)(ρ(f(i+1)m1(xδ),f(i+1)m1(yδ)))1mFxδyδ(δ1,f[m]1,)1mFxδyδ(δ,f[m]1,)>0. 矛盾.

综上(i),(ii)知f[m]1,是分布混沌的.

这个定理表明,f1,的分布混沌性在乘积运算下是保持的. 那么,如果mN (m2),f[m]1,是分布混沌的,是否有f1,是分布混沌的呢? 为了回答这个问题,我们先给出三个引理.

引理3.2 若映射序列(fn)n=1一致收敛于f,则mN,m2,序列(fmn)n=1一致收敛于fm.

m=2时. 因为序列(fn)n=1一致收敛于映射f, 则对ε>0,存在N0N使得对xInN0,都有ρ(fn(x),f(x))<ε.

由三角不等式, ρ(f2n(x),f2(x))ρ(fn+1(fn(x)),f(fn(x)))+ρ(f(fn(x)),f(f(x))), 又因为f一致连续,容易证明(f2n)n=1 一致收敛于f2.

假设(fkn)n=1一致收敛于fk. 由于对xX,都有 ρ(fk+1n(x),fk+1(x))ρ(fn+k(fkn(x)),f(fkn(x)))+ρ(f(fkn(x)),f(fk(x))) 可以得到(fk+1n)n=1一致收敛于fk+1.

由归纳法,对mN,序列 (fmn)n=1一致收敛于fm.

注意到闭区间上映射序列一致收敛等价于等度连续(等度连续的定义见文献[12]), 下面的引理成立.

引理3.3 若映射序列(fn)n=1等度连续,则mN,m2,序列(fmn)n=1等度连续.

从而,可以得到

引理3.4 若映射序列(fn)n=1等度连续(或一致收敛于f), 则对ε>0mN, 存在δ(ε)N(m)N,使得,对x,yI:ρ(x,y)<δ(ε)nN(m),都有 ρ(fmn(x),fmn(y))<ε.

由引理3.3和下面的不等式,结论显然成立. ρ(fmn(x),fmn(y))ρ(fmn(x),fm(x))+ρ(fm(x),fm(y))+ρ(fm(y),fmn(y)). 证毕.

现在我们来回答上面提出的问题.

定理3.5(fn)n=1等度连续(或一致收敛于f), 如果mN,m2,f[m]1,是分布混沌的,那么f1,也是分布混沌的.

D0f[m]1,的一个分布攀援集,对x,yD0:xy,我们证明

(i)~ 若对δ>0Fx,y(δ,f[m]1,)=1,则对t>0Fx,y(t,f1,)=1.

事实上,t>0,由引理3.4,存在δ:0<δ<t以及NN,使得对x,yI:ρ(x,y)<δkN,有ρ(fik(x),fik(y))<t对任意i:1im都成立. 从而,对jN:ρ(fjm1(x),fjm1(y))<δi:1im,有 ρ(fjm+i1(x),fjm+i1(y))<t.kj=1χ[0,δ)(ρ(fjm1(x),fjm1(y)))N1m(k+1)mj=1χ[0,t)(ρ(fj1(x),fj1(y))). 因此, Fx,y(t,f1,)=lim supk1kkj=1χ[0,t)(ρ(fj1(x),fj1(y)))=lim supk1(k+1)m(k+1)mj=1χ[0,t)(ρ(fj1(x),fj1(y)))=lim supk1km(k+1)mj=1χ[0,t)(ρ(fj1(x),fj1(y)))=lim supk1k(kj=1χ[0,δ)(ρ(fjm1(x),fjm1(y)))N)=1.

下面我们证明

(ii)~ 若存在s>0使得Fx,y(s,f[m]1,)=0, 则存在δ>0使得Fx,y(δ,f1,)=0.

事实上,对上述s>0,存在δ:0<δ<s以及 N1N,使得对x,yI:ρ(x,y)<δkN1, 不等式ρ(fik(x),fik(y))<s对任意i:1im都成立. 从而,对jN1:ρ(fjm1(x),fjm1(y))si:1im,我们有ρ(fjmi1(x),fjmi1(y))δ.

因此, kj=1χ[s,)(ρ(fjm1(x),fjm1(y)))N11mkmj=1χ[δ,)(ρ(fj1(x),fj1(y))). 又因为 lim supk1k(kj=1χ[s,)(ρ(fjm1(x),fjm1(y))))=1lim infk1k(kj=1χ[0,s)(ρ(fjm1(x),fjm1(y))))=1Fx,y(s,f[m]1,)=1,lim supk1k(kj=1χ[δ,)(ρ(fj1(x),fj1(y))))=1. 因此, Fx,y(δ,f1,)=1lim supk1k(kj=1χ[δ,)(ρ(fj1(x),fj1(y))))=0.f1,是分布混沌的.

由定理2.3,定理3.1,定理3.5,下面两个推论成立.

推论3.6 若映射序列f1,是Li-Yorke混沌的,则mN,f[m]1,也是Li-Yorke混沌的.

推论3.7(fn)n=1等度连续(或一致收敛于f),对mN (m2),如果f[m]1,是Li-Yorke混沌的, 那么f1,也是Li-Yorke混沌的.

注1考虑(fn)n=1一致收敛于f的情形. 2010年,Canovas[25]在紧度量空间上证明了f1, 的Li-Yorke混沌性不一定意味着f的Li-Yorke混沌性. 2012年,Dvorakova[16]证明了f1,的分布攀援集的全 Lebesgue测度不能保证极限映射f的分布混沌性. 由本文第2部分的定理2.3和文献[25]的结论,我们可以知道, f1,的分布混沌性不一定意味着f的分布混沌性,这与文献[16]的结论一致. 那么,是否f1,的混沌性与极限映射f的混沌性没有任何关系呢?2006年, Canovas在文献[26]中告诉我们, f1,ω -极限集也是fω -极限集,此外,早在1996年, Kolyada[10]就在紧度量空间上证明了若(fn)n=1一致收敛于f, 则有hhop(f1,)hhop(f) (其中hhop()表示拓扑熵). 因此,一个自然的问题是, 当(fn)n=1一致收敛于f时,除上述混沌行为之外, f1,f的其他混沌性质有什么关系?

注2 在自治系统中, 关于分布混沌还定义了分布(p,q) -混沌、一致分布混沌、第一型分布混沌(DC1)、 第二型分布混沌(DC2)、第三型分布混沌(DC3)等等, 这些定义都可以被推广到非自治系统中, 那么它们又有些什么性质呢?这些都是值得我们进一步研究的问题.

参考文献
[1] Tan F, Zhang R F. On F-sensitive pairs. Acta Math Sci, 2011, 31B(4): 1425-1435
[2] Yin J D, Zhou Z L. Positive upper density points and chaos. Acta Math Sci, 2012, 32B(4): 1408-1414
[3] Oprocha P. A quantum harmonic oscillator and strong chaos. J Phys A: Math Gen, 2006, 39(47): 14559-14565
[4] Wu X X, Zhu P Y. The principal measure of a quantum harmonic oscillator. J Phys A: Math Theor, 2011, 44(50): 505101, 5 pages
[5] Li R S, Huang F, Zhao Y, Chen Z X, Huang C Y. The principal measure and distributional (p, q)-chaos of a coupled lattice system with coupling constant ε=1 related with Belusov-Zhabotinskii reaction. J Math Chem, 2013, 51(1): 1712-1719
[6] Cheng H Y, Sandu A. Uncertainty quantification and apportionment in air quality models using the polynomial chaos method. Environ Modell Softw, 2009, 24(8): 917-925
[7] Li Y N, Chen L, Cai Z S, Zhao X Z. Experimental study of chaos synchronization in the Belousov-Zhabotinsky chemical system. Chaos, Soliton Fract, 2004, 22(4): 767-771
[8] Tian L X, Liu Z R, Yang L. Can the linear operator in physics cause chaos? Comm Nonlinear Sci Number Simul, 1997, 2(2): 128-131
[9] Arnéodo A, Argoul F, Elezgaray J, Richetti P. Homoclinic chaos in chemical systems. Physica D: Nonlinear Phenomena, 1993, 62(1/4): 134-169
[10] Kolyada S, Snoha L. Topological entropy of nonautonomous dynamical systems. Random Comput Dynam, 1996, 4(2/3): 205-233
[11] Kolyada S, Misiurewicz M, Snoha L. Topological entropy of nonautonomous piecewise monotone dynamical systems on the interval. Fund Math, 1999, 160(2): 161-181
[12] Kolyada S, Snoha L, Trofimchuk S. On minimality of nonautonomous dynamical systems. Neliniini Koliv, 2004, 7(1): 86-92
[13] Elaydi S N. Nonautonomous difference equations: Open problems and conjectures. Fields Inst Commum, 2004, 42(1): 423-428
[14] Elaydi S N, Sacker R J. Nonautonomous Beverton-Holt equations and the Cushing-Henson conjectures. J Differ Equ Appl, 2005, 11(4/5): 337-346
[15] Canovas J S. Some results on (X, f, A) nonautonomous systems. Grazer Math Ber, 2004, 346(1): 53-60
[16] Dvorakova J. Chaos in nonautonomous discrete dynamical systems. Comm Nonlinear Sci Number Simul, 2012, 17(4): 4649-4652
[17] Li T Y, Yorke J. Period three implies chaos. Amer Math Monthly, 1975, 82(10): 985-992
[18] Devaney R L. An Introduction to Chaotic Dynamcal Systems. Redwood City, CA: Addison-Wesley Publishing Company, 1989
[19] Snoha L. Generic chaos. Comment Math Univ Carolin, 1990, 31(4): 793-810
[20] Snoha L. Dense chaos. Comment Math Univ Carolin, 1992, 33(4): 747-752
[21] Ruette S. Dense chaos for continuous interval maps. Nonlinearity, 2005, 18(4): 1691-1698
[22] Akin E, Kolyada S. Li-Yorke sensitivity. Nonlinearity, 2003, 16(4): 1421-1433
[23] Schweizer B, Smital J. Measures of chaos and a spectral decomposition of dynamical systems on the interval. Trans Amer Math Soc, 1994, 344(2): 737-754
[24] Canovas J S. Li-Yorke chaos in a class of nonautonomous discrete systems. J Difference Equ Appl, 2011, 17(4): 479-486
[25] Canovas J S. Recent results on nonautonomous discrete systems. Bol Soc Esp Mat Apl, 2010, 51(1): 33-41
[26] Canovas J S. On ω-limit sets of nonautonomous discrete systems. J Difference Equ Appl, 2006, 12(1): 95-100"
非自治离散系统的分布混沌性
卢天秀, 朱培勇, 吴新星