一類集值映射在迭代下集值點和集值區間的變化

章靜靜, 李 林

(嘉興學院數理與信息工程學院,浙江嘉興314001)

對于一個非空集合X和一個正整數n,映射f:X→X的n次迭代可定義為:fn(x)=f(fn-1(x)),?x∈X.特別地,記f0(x)≡x.近幾十年來由于關于周期性的Sharkovsky序、關于分岔的Feigenbaum現象、關于運動復雜性的Smale馬蹄等重大發現的不斷涌現,動力系統的新成就促進了迭代函數方程的發展.關于映射迭代的研究,至少可追溯到一百多年以前 E.Schr?der[1]、N.H.Abel[2]、C.Babbage[3]等數學家的工作.由于迭代工作與代數運算的迥然不同,研究工作艱難曲折[4-12].對于一些具體函數的迭代研究目前主要是關于多項式函數、折線函數[13-16]等一些特殊的非單調函數.例如金蕾等[17]對高次多項式這類非線性映射通過共軛相似法給出了一般的n次迭代計算結果,并且討論了f(x)=1/(a+bxr)1/r這類非多項式型映射的迭代,給出了二維映射F:(x,y)→(u(x,y),v(x,y))在u(x,y)和v(x,y)均為線性函數時的n次迭代結果.L.Li[18]在2007年研究了區間上單折點的折線函數的迭代,研究其折點的個數不會增加或者有界的條件.孫太祥等又討論了區間I=[0,1]上所有的平頂單峰和雙峰自映射的迭代問題[19-20].最近,文獻[21]給出了一類單集值點映射在迭代下集值點個數不增的條件.

令2X為X的所有子集構成的族,則稱映射F:X→2X為X上的一個集值映射,而X中取到集值的點稱為集值點.進一步,對于X中的任意子集Y?X,其像F(Y)定義為,那么F的n次迭代Fn定義為,其中F0(x):={x},x∈X.

本文討論的是一類定義在單位區間I=[0,1]上具有單個集值點的嚴格單調映射的迭代.這類集值映射可定義為

其中A?I為F的集值區間,而F1和F2分別是定義在[0,c)和(c,1]上的線性函數,并滿足以下條件之一:

顯然,F為定義在I=[0,1]上的上半連續函數.文獻[12]研究了這類集值映射在迭代下集值點個數不增的條件,并給出該條件下映射迭代的表達式.將推廣文獻[9,12]中的結論,研究該函數在迭代下的集值區間的變化,并給出一般的迭代表達式.為方便起見,令V(F)表示函數F的集值點個數,l(F)為F的集值區間.

1 F1、F2為嚴格遞增的連續函數

在F1和F2嚴格遞增的情形下,注意到集值點個數V(Fn)取決于函數值與c的關系.為行文方便,稱單位區間[0,1]上的一個遞增(或遞減)的數列為m次跨越c∈(0,1),如果存在正整數m≥2有xic)并且xm≥c(xm≤c),其中i=1,2,…,m-1(見文獻[7]).根據F的單調性,容易得到為關于n的遞增序列;為關于n的遞減序列.接下來,將根據以下幾種情況分別討論.

2 F1、F2為嚴格遞減的連續函數

[1]Schr?der E.ber Iterate funktionen[J].Math Ann,1871,3:295-322.

[2]Abel N H.Oeuvres completes[J].Christiana,1881,II:36-39.

[3]Dubbey J M.The Mathematical Work of Charles Babbage[M].New York:Cambridge University Press,1978.

[4]Chen J M,Zhang W N.Leading coefficient problem for polynomial-like iterative equations[J].J Math Anal Appl,2009,349:413-419.

[5]Li L,Yang D L,Zhang W N.A note on iterative roots of PM functions[J].J Math Anal Appl,2008,341:1482-1486.

[6]Li L,Zhang W M.Continuously decreasing solutions for polynomial-like iterative equations[J].Sci China,2013,A56:1051-1058.

[7]Li L,Zhang W N.Construction of usc solutions for a multivalued iterative equation of ordern[J].Results Math,2012,62:203-216.

[8]Liu L,Jarczyk W,Li L,et al.Iterative roots of piecewise monotonic functions of nonmonotonicity height not less than 2[J].Nonlinear Anal,2012,75:286-303.

[9]Liu L,Zhang W N.Non-monotonic iterative roots extended from characteristic intervals[J].J Math Anal Appl,2011,378:359-373.

[10]Shi Y G,Li L,Lesniak Z.On conjugacy ofr-modal interval maps with nonmonotonicity height equal to 1[J].J Difference Equ Appl,2013,19:573-584.

[11]Xu B,Zhang W.Construction of continuous solutions and stability for the polynomial-like iterative equation[J].J Math Anal Appl,2007,325:1160-1170.

[12]Zhang W M,Zhang W N.Continuity of iteration and approximation of iterative roots[J].J Comput Appl Math,2011,235:1232-1244.

[13]Yang L L,Yang L,Yu Z H,et al.Real polynomial iterative roots in the case of nonmonotonicity height≥2[J].Sci China,2012,A55:2433-2446.

[14]Yu Z H,Yang L,Zhang W N.Discussion on polynomials having polynomial iterative roots[J].J Symb Comput,2012,47(10):1154-1162.

[15]李林.折線函數與集值函數的迭代與迭代根[D].成都:四川大學,2007.

[16]Zhang W X,Zhang W N.Computing iterative roots of polygonal functions[J].J Comput Appl Math,2007,205:497-508.

[17]金蕾,周喆,劉旭.迭代的計算與估計[J].數學的實踐與認識,2004,34(4):170-175.

[18]Li L.Number of vertices for polygonal functions under iteration[J].Korea Soc Math Educ,2007,14:99-109.

[19]孫太祥,蔣運然.區間上平頂單峰自映射的迭代根[J].廣西科學,2000,7(2):111-114.

[20]孫太祥,席鴻建.區間上平頂雙峰連續自映射的迭代根[J].系統科學與數學,2001,21(3):348-361.

[21]李林,林淑容,李春曄.一個集值映射在迭代下集值點個數不增的條件[J].四川大學學報:自然科學版,2010,47:17-20.

[22]Aubin J P,Frankowska H.Set-Valued Analysis[M].Boston,Basel,Berlin:Birkhauser,1990.

[23]Babbage C.Essay towards the calculus of functions[J].Philosoph Transact,1815:389-423.

[24]Baron K,Jarczyk W.Recent results on functional equations in a single variable,perspectives and open problems[J].Aequationes Math,2001,61:1-48.

[25]Kuczma M.Functional equation in a single variable[C]//Monografie Mat.Warszawa:Polish Scientific Publishers,1968,46.

[26]Kuczma M,Choczewski B,Ger R.Iterative functional equations[C]//Encyclopedia of Mathematics and Its Applications.Cambridge:Cambridge University Press,1990,32.