-
设E是非空集,对于固定的整数n>0和所有的x∈E,映射f:E→E的n次迭代被定义为fn(x)=f(fn-1(x))和f0(x)=x.
迭代运算是数学中的重要运算之一,它在许多复杂的问题,如分岔、混沌和分形[1-3]问题、多项式[4-8]、拟多项式[9-10]、线性分式[11]和有理函数[12]等问题中有广泛的应用. 在一维的情况下,高次迭代的计算也是一项复杂的工作. 随着C0映射迭代理论的发展[13-14],人们也逐渐开始研究不连续映射或者集值映射等“坏映射”的迭代和它们的迭代根[15-18].
通常,人们认为一个“坏映射”可能会通过迭代运算变得更加复杂,但文献[19]表明不连续的自映射通过迭代运算可能变为连续的自映射,并给出了在紧区间上只有一个间断点的分段C0自映射的二次迭代连续性的充要条件. 文献[20]进一步研究了在紧区间上只有一个非光滑点的连续自映射二次迭代的光滑性,并给出了它们的二次迭代是C1光滑映射的充要条件. 文献[20]的工作不是对文献[19]的工作的重复,因为文献[20]所考虑的映射的导数可能不是自映射. 综合文献[19-20],我们可以判断在紧区间上只有一个间断点的分段C1自映射四次迭代的C1光滑性. 但是我们还不能判断:在紧区间上什么不连续的自映射的二次迭代不仅连续而且C1光滑? 例如,自映射
它有一个可去间断点
${x_0} = \frac{1}{2}$ (图 1),但它的二次迭代在(0,1)上是C1光滑的(图 2).
本文研究在区间I=(0,1)上只有一个可去间断点的所有分段C1自映射Vr(I,I). 每个f∈Vr(I,I)能被表示为
其中,x0∈(0,1)是f唯一的可去间断点,f1和f2分别在I1和I2上是C1光滑的,c∈(0,1)是一个常数. 为了研究在Vr(I,I)中映射的二次迭代的光滑性,我们需要将Vr(I,I)分成一些子类,即Vr(I,I)=Vrr(I,I)∪Vrj(I,I)∪Vro(I,I)∪Vr∞(I,I),其中:
f∈Vrr(I,I)表示f∈Vr(I,I),且导数f′有一个可去间断点x0,也就是
$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x){\rm{ }}$ 和$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ 存在并相等;f∈Vrj(I,I)表示f∈Vr(I,I),且导数f′有一个跳跃间断点x0,也就是
$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x)$ 和$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ 存在但是不相等;f∈Vro(I,I)表示f∈Vr(I,I),且导数f′有一个振荡间断点x0,也就是f1′和f2′两者都有界,但是
$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x){\rm{ }}$ 和$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ 中至少有一个不存在;f∈Vr∞(I,I)表示f∈Vr(I,I),且导数f′有一个无穷间断点x0,也就是
$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x) = \infty $ ,或者$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x) = \infty $ .本文讨论Vr(I,I)中映射的二次迭代的C1光滑性. 首先给出了在Vrτ(I,I)中映射的二次迭代是C1光滑映射的充要条件,其中τ∈{r,j,o},获得了在Vr∞(I,I)中映射的二次迭代是C1光滑映射的必要条件. 其次说明了找Vr∞(I,I)中映射的二次迭代是C1光滑映射的充分条件的困难. 最后用例子展示了在Vr(I,I)中映射的二次迭代是C1光滑映射的条件.
下面讨论由(1)式定义的f∈Vr(I,I)的二次迭代的光滑性. 记
为了方便,记
我们用D+f和D-f分别表示f的右导数和f的左导数.
定理1 假定f∈Vrτ(I,I)由(1)式定义,其中τ∈{r,j,o},且f有唯一的间断点x0∈(0,1). 令y0由(2)式定义. 那么,f2在I上是C1光滑的当且仅当y0∈Ii,f(I1∪I2)⊆Ii成立(i=1,2)和f∈Crτ(I,I).
证 首先证明必要性. 假定f2在I上是C1光滑的,那么f2在I上是连续的. 由文献[19]的定理1知,y0∈Ii,f(I1∪I2)⊆Ii和
其中i=1,2. 在下文中,我们只讨论y0∈I1和f(I1∪I2)⊆I1的情况,因为y0∈I2和f(I1∪I2)⊆I2情况的讨论与y0∈I1和f(I1∪I2)⊆I1情况的讨论是完全类似的. 下证在y0∈I1和f(I1∪I2)⊆I1的情况下,有
假设f∈Vrτ(I,I),其中τ∈{r,j,o}.
情形1 f∈Vrr(I,I). 由(3)式和Crr(I,I)的定义,我们知道f∈Crr(I,I).
情形2 f∈Vrj(I,I). 由Vrj(I,I)的定义,我们有
由(4)式得到f2在x0的左导数和右导数分别为
因为f2在I上是C1光滑的,所以D-f2(x0)=D+f2(x0). 注意到y1≠y2. 由(5)式和(6)式得到f1′(y0)=0. 再由y0∈I1,有
由(3),(7)式和Crj(I,I)的定义,我们知道f∈Crj(I,I).
情形3 f∈Vro(I,I). 由Vro(I,I)的定义,有
$\mathop {\lim }\limits_{x \to x_0^ - } {f_1}(x) = \mathop {\lim }\limits_{x \to x_0^ + } {f_2}(x) = {y_0}$ ,且$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x)$ 和$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ 中至少有一个不存在. 由(4)式得到f2在x0的左导数和右导数分别为注意到
因为f2在I上是C1光滑的,所以f2在x0的左导数D-f2(x0)和右导数D+f2(x0)都存在. 因此(7)式成立. 反证法,假设(7)式不成立,我们有f′(y0)=f1′(y0)≠0,由(8)式和(9)式得到
$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x) $ 和$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ 都存在. 因为这与
$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x)$ 和$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ 中至少有一个不存在相矛盾. 因此(7)式成立. 由(3),(7)式和Cro(I,I)的定义,我们知道f∈Cro(I,I). 于是,必要性得证.其次证明充分性. 我们仅证明y0∈I1,f(I1∪I2)⊆I1的情况.
如果f(I1∪I2)⊆I1,则(4)式成立. 因为f1和f2分别在I1和I2上是C1光滑的,所以f2在I1∪I2上是C1光滑的. 因为y0∈I1,所以f(y0)=f1(y0),f′(y0)=f1′(y0). 由于f∈Crτ(I,I),其中τ∈{r,j,o},所以分3种情况讨论:
当f∈Crr(I,I)时,由Crr(I,I)的定义有f(y0)=f1(y0)=Γ(c)和f∈Vrr(I,I). 由文献[19]的定理1知f2在I上是连续的. 因为f∈Vrr(I,I),则
由(4)式能获得(5)式和(6)式,则D-f2(x0)=D+f2(x0). 因此,f2在I上是C1光滑的.
当f∈Crj(I,I)时,由Crj(I,I)的定义,我们有f(y0)=f1(y0)=Γ(c),f∈Vrj(I,I)和f′(y0)=f1′(y0)=0. 类似地,我们知道f2在I上是连续的. 因为f∈Vrj(I,I),则
$\mathop {\lim }\limits_{x \to x_0^ - } {f_1}(x) = \mathop {\lim }\limits_{x \to x_0^ + } {f_2}(x) = {y_0}, {\bar y_1} = \mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x) \ne {\bar y_2} = \mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ . 由(4)式能获得(5)式和(6)式,假设f1′(y0)=0,得到D-f2(x0)=D+f2(x0)=0. 因此,f2在I上是C1光滑的.当f∈Cro(I,I)时,由Cro(I,I)的定义有f(y0)=f1(y0)=Γ(c),f∈Vro(I,I)和f′(y0)=f1′(y0)=0. 类似地得到f2在I上是连续的. 因为f∈Vro(I,I),则
$\mathop {\lim }\limits_{x \to x_0^ - } {f_1}(x) = \mathop {\lim }\limits_{x \to x_0^ + } {f_2}(x) = {y_0}$ ,且$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x){\rm{ }}$ 和$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$ 中至少有一个不存在,但是f1′和f2′都有界. 由(4)式能得到(8)式和(9)式,由假设f1′(y0)=0,有因为f1′和f2′都有界,结合(8),(9)式和无穷小量的性质,得到D-f2(x0)=D+f2(x0)=0.
综上所述,f2在I上是C1光滑的.
定理2 假定f∈Vr∞(I,I)由(1)式定义,x0∈(0,1)是f的唯一间断点. 令y0由(2)式定义. 假设f2在I上是C1光滑的,则y0∈Ii,f(I1∪I2)⊆Ii(i=1,2),且f∈Cr∞(I,I).
证 证明方法与定理1中f∈Vro(I,I)的必要性的证明完全类似.
注1 定理2没有给出f2在I上是C1光滑映射的充分条件,因为我们不能确定f2在x0的左导数
${D_ - }{f^2}\left( {{x_0}} \right) = \mathop {\lim }\limits_{x \to x_0^ - } f_i^\prime \left( {{f_1}(x)} \right)f_1^\prime (x)$ 或者右导数${D_ + }{f^2}\left( {{x_0}} \right) = \mathop {\lim }\limits_{x \to x_0^ + } f_i^\prime \left( {{f_2}(x)} \right)f_2^\prime (x)$ 的存在性,其中i=1,2. 事实上,如果y0∈I1,f(I1∪I2)⊆I1和f∈Cr∞(I,I),与定理1类似的讨论可得到(8)式和(9)式. 又因为f∈Cr∞(I,I),则$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime \left( {{f_1}(x)} \right) = \mathop {\lim }\limits_{x \to x_0^ + } f_1^\prime \left( {{f_2}(x)} \right) = f_1^\prime \left( {{y_0}} \right) = {f^\prime }\left( {{y_0}} \right) = 0$ ,且$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x) = \infty $ 或者$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x) = \infty $ . 由(8)式和(9)式,我们无法确定D-f2(x0)或者D+f2(x0)的存在性. 类似地,对另一种情形,我们也无法确定D-f2(x0)或者D+f2(x0)的存在性.例1 考虑映射f:(0,1)→(0,1):
有唯一的可去间断点
${x_0} = \frac{1}{2}$ (图 1),因为其中
则f∈Vrr(I,I). 注意到
${I_1} = \left( {0, \frac{1}{2}} \right), {I_2} = \left( {\frac{1}{2}, 1} \right)$ . 容易验证$c = \frac{1}{8} \in {I_1}, {y_0} \in {I_1}, f\left( {{I_1} \cup {I_2}} \right) \subseteq {I_1}$ ,而且f(y0)=f1(y0)=f1(c),即f∈Crr(I,I). 这说明定理1的假设条件满足. 另外,我们能算出f的二次迭代f2在(0,1)上是C1光滑的(图 2).例2 考虑映射F1:(0,1)→(0,1):
它有唯一的可去间断点
${x_0} = \frac{1}{3}$ (图 3),因为其中
则F1∈Vrj(I,I). 注意到
${I_1} = \left( {0, \frac{1}{3}} \right), {I_2} = \left( {\frac{1}{3}, 1} \right)$ . 容易验证$c = \frac{1}{{12}} \in {I_1}, {y_0} \in {I_2}, {F_1}\left( {{I_1} \cup {I_2}} \right) \subseteq {I_2}$ ,而且F1(y0)=f2(y0)=f1(c)和F1′(y0)=f2′(y0)=0,即F1∈Crj(I,I). 这说明定理1的假设条件满足. 另外,我们能算出F1的二次迭代为它在(0, 1) 上是C1光滑的(图 4).
例3 考虑映射F2:(0,1)→(0,1):
它有唯一的可去间断点
${x_0} = \frac{1}{2}$ (图 5),因为而且
都不存在,但是f1′和f2′都有界,其中
则F2∈Vro(I,I). 注意到
容易验证
$ c = \frac{1}{4} \in {I_1}$ ,y0∈I1,F2(I1∪I2)⊆I1,而且F2(y0)=f1(y0)=f1(c)和F2′(y0)=f1′(y0)=0,即F2∈Cro(I,I). 这说明定理1的假设条件满足. 另外,我们能算出F2的二次迭代为它在(0,1)上是C1光滑的(图 6).
注2 如果I=[0, 1]是一个闭区间,我们研究
其中f+′(0)=f-′(1)=0. 显然,
$\hat f \in {V_r}(I, I)$ 但f∈Vr(I,I).在这篇文章中,我们仅考虑了(1)式定义的映射唯一的间断点是可去间断点的情形,对(1)式定义的映射唯一间断点是跳跃或者振荡间断点的情形,我们将在后续文章中加以研究.
Iteration Changes Discontinuous Mappings Into Smooth Mappings
-
摘要: 很容易找到一些不连续自映射,它们的迭代是光滑的,表明迭代运算可以使不连续映射变为光滑映射. 为了研究这种变化和避免复杂计算,本文研究在区间(0,1)上只有一个可去间断点的分段C1自映射的二次迭代的C1光滑性,给出了它们的二次迭代是C1光滑映射的充要条件.Abstract: It is easy to find some discontinuous self-mappings whose iterates are smooth mappings, suggesting that iteration can change discontinuous mappings into smooth mappings. In order to research this change and avoid complicated computation, in this paper we investigate C1 smoothness of the second order iterates of piecewise C1 self-mappings on the compact interval (0, 1), each of which has only one removable discontinuity. The necessary and sufficient conditions under which the second order iterates are C1 smooth mappings are given.
-
Key words:
- iteration /
- removable discontinuity /
- C1 smooth /
- piecewise smooth .
-
-
[1] LESMOIR-GORDON N, ROOD W, EDNEY R. Introducing Fractal Geometry[M]. Cambridge: Icon Books, 2006. [2] LESMOIR-GORDON N. The Colours of Infinity: the Beauty and Power of Fractals[M]. New York: Springer, 2010. [3] MANDELBROT B B. Fractals and Chaos: the Mandelbrot Set and Beyond [M]. New York: Springer, 2004. [4] BAKER I N. The Iteration of Polynomials and Transcendental Entire Functions[J]. J Austral Math Soc, 1981, 30(4): 483-495. doi: 10.1017/S1446788700017961 [5] doi: http://www.ams.org/mathscinet-getitem?mr=658924 BHATTACHARYYA P, ARUMARAJ Y E. On the Iteration of Polynomials of Degree 4 with Real Coefficients[J]. Ann Acad Sci Fenn Math, 1981, 6(2): 197-203. [6] BRANNER B, HUBBARD J H. The Iteration of Cubic Polynomials I[J]. Acta Math, 1988, 160: 143-206. doi: 10.1007/BF02392275 [7] BRANNER B, HUBBARD J H. The Iteration of Cubic Polynomials Ⅱ[J]. Acta Math, 1992, 169: 229-325. doi: 10.1007/BF02392761 [8] YU Z H, YANG L, ZHANG W N. Discussion on Polynomials Having Polynomial Iterative Roots[J]. J Symbolic Comput, 2012, 47(10): 1154-1162. doi: 10.1016/j.jsc.2011.12.038 [9] 孙道椿. 拟二次多项式的迭代[J]. 数学杂志, 2004, 24(3): 237-240. doi: 10.3969/j.issn.0255-7797.2004.03.001 [10] 吴昭君, 孙道椿. 拟多项式的迭代[J]. 数学物理学报, 2006, 26(4): 493-497. doi: 10.3321/j.issn:1003-3998.2006.04.003 [11] 许璐, 许绍元. 关于线性分式函数的n次迭代及其应用[J]. 数学的实践与认识, 2006, 36(6): 225-228. doi: 10.3969/j.issn.1000-0984.2006.06.037 [12] LIU X H, YU Z H, ZHANG W N. Conjugation of Rational Functions to Power Functions and Applications to Iteration[J]. Results Math, 2018, 73(1): 1-21. doi: 10.1007/s00025-018-0773-1 [13] KUCZMA M, CHOCZEWSKI B, GER R. Iterative Functional Equations[M]. Cambridge: Cambridge University Press, 1990. [14] TARGONSKI G. Topics in Iteration Theory[M]. Götingen: Vandenhoeck and Ruprecht, 1981. [15] JARCZYK W, POWIERZA T. On the Smallest Set-Valued Iterative Roots of Bijections[J]. Int J Bifur Chaos, 2003, 13(7): 1889-1893. doi: 10.1142/S0218127403007710 [16] doi: http://www.ams.org/mathscinet-getitem?mr=2314040 JARCZYK W, ZHANG W N. Also Set-Valued Functions Do Not Like Iterative Roots[J]. Elemente Math, 2007, 62(2): 73-80. [17] doi: http://www.researchgate.net/publication/266298930_Set-valued_iterative_square_roots_of_bijections POWIERZA T. Set-Valued Iterative Square Roots of Bijections[J]. Bull Pol Acad, 1999, 47: 377-383. [18] POWIERZA T. On Functions with Weak Iterative Roots[J]. Aequationes Math, 2002, 63(1-2): 103-109. doi: 10.1007/s00010-002-8009-5 [19] LIU X H, LIU L, ZHANG W N. Discontinuous Function with Continuous Second Iterate[J]. Aequat Math, 2014, 88(3): 243-266. doi: 10.1007/s00010-013-0220-z [20] LIU X H, LIU L, ZHANG W N. Smoothness Repaired by Iteration[J]. Aequat Math, 2015, 89(3): 829-848. doi: 10.1007/s00010-014-0277-3 -