留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

迭代运算使不连续映射变为光滑映射

上一篇

下一篇

刘晓华, 罗天琦. 迭代运算使不连续映射变为光滑映射[J]. 西南大学学报(自然科学版), 2021, 43(8): 84-92. doi: 10.13718/j.cnki.xdzk.2021.08.012
引用本文: 刘晓华, 罗天琦. 迭代运算使不连续映射变为光滑映射[J]. 西南大学学报(自然科学版), 2021, 43(8): 84-92. doi: 10.13718/j.cnki.xdzk.2021.08.012
LIU Xiao-hua, LUO Tian-qi. Iteration Changes Discontinuous Mappings Into Smooth Mappings[J]. Journal of Southwest University Natural Science Edition, 2021, 43(8): 84-92. doi: 10.13718/j.cnki.xdzk.2021.08.012
Citation: LIU Xiao-hua, LUO Tian-qi. Iteration Changes Discontinuous Mappings Into Smooth Mappings[J]. Journal of Southwest University Natural Science Edition, 2021, 43(8): 84-92. doi: 10.13718/j.cnki.xdzk.2021.08.012

迭代运算使不连续映射变为光滑映射

  • 基金项目: 四川省教育厅重点科研基金项目(18ZA0242);乐山师范学院重点项目(LZD014)
详细信息
    作者简介:

    刘晓华,教授,主要从事映射迭代与迭代根的研究 .

    通讯作者: 罗天琦,副教授
  • 中图分类号: O174

Iteration Changes Discontinuous Mappings Into Smooth Mappings

  • 摘要: 很容易找到一些不连续自映射,它们的迭代是光滑的,表明迭代运算可以使不连续映射变为光滑映射. 为了研究这种变化和避免复杂计算,本文研究在区间(0,1)上只有一个可去间断点的分段C1自映射的二次迭代的C1光滑性,给出了它们的二次迭代是C1光滑映射的充要条件.
  • 加载中
  • 图 1  f有一个可去间断点${x_0} = \frac{1}{2}$

    图 2  f2在(0,1)上是C1光滑的

    图 3  F1有唯一可去间断点${x_0} = \frac{1}{3}$

    图 4  F12在(0,1)上是C1光滑的

    图 5  F2有唯一的可去间断点${x_0} = \frac{1}{2}$

    图 6  F22在(0,1)上是C1光滑的

  • [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
  • 加载中
图( 6)
计量
  • 文章访问数:  943
  • HTML全文浏览数:  943
  • PDF下载数:  277
  • 施引文献:  0
出版历程
  • 收稿日期:  2021-03-17
  • 刊出日期:  2021-08-20

迭代运算使不连续映射变为光滑映射

    通讯作者: 罗天琦,副教授
    作者简介: 刘晓华,教授,主要从事映射迭代与迭代根的研究
  • 1. 乐山师范学院 数理学院,四川 乐山 614000
  • 2. 乐山师范学院 教师教育学院,四川 乐山 614000
基金项目:  四川省教育厅重点科研基金项目(18ZA0242);乐山师范学院重点项目(LZD014)

摘要: 很容易找到一些不连续自映射,它们的迭代是光滑的,表明迭代运算可以使不连续映射变为光滑映射. 为了研究这种变化和避免复杂计算,本文研究在区间(0,1)上只有一个可去间断点的分段C1自映射的二次迭代的C1光滑性,给出了它们的二次迭代是C1光滑映射的充要条件.

English Abstract

  • E是非空集,对于固定的整数n>0和所有的xE,映射fEEn次迭代被定义为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(II). 每个fVr(II)能被表示为

    其中,x0∈(0,1)是f唯一的可去间断点,f1f2分别在I1I2上是C1光滑的,c∈(0,1)是一个常数. 为了研究在Vr(II)中映射的二次迭代的光滑性,我们需要将Vr(II)分成一些子类,即Vr(II)=Vrr(II)∪Vrj(II)∪Vro(II)∪Vr(II),其中:

    fVrr(II)表示fVr(II),且导数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)$存在并相等;

    fVrj(II)表示fVr(II),且导数f有一个跳跃间断点x0,也就是$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x)$$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$存在但是不相等;

    fVro(II)表示fVr(II),且导数f有一个振荡间断点x0,也就是f1f2两者都有界,但是$\mathop {\lim }\limits_{x \to x_0^ - } f_1^\prime (x){\rm{ }}$$\mathop {\lim }\limits_{x \to x_0^ + } f_2^\prime (x)$中至少有一个不存在;

    fVr(II)表示fVr(II),且导数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(II)中映射的二次迭代的C1光滑性. 首先给出了在V(II)中映射的二次迭代是C1光滑映射的充要条件,其中τ∈{rjo},获得了在Vr(II)中映射的二次迭代是C1光滑映射的必要条件. 其次说明了找Vr(II)中映射的二次迭代是C1光滑映射的充分条件的困难. 最后用例子展示了在Vr(II)中映射的二次迭代是C1光滑映射的条件.

    下面讨论由(1)式定义的fVr(II)的二次迭代的光滑性. 记

    为了方便,记

    我们用D+fD-f分别表示f的右导数和f的左导数.

    定理1   假定fV(II)由(1)式定义,其中τ∈{rjo},且f有唯一的间断点x0∈(0,1). 令y0由(2)式定义. 那么,f2I上是C1光滑的当且仅当y0Iif(I1I2)⊆Ii成立(i=1,2)和fC(II).

       首先证明必要性. 假定f2I上是C1光滑的,那么f2I上是连续的. 由文献[19]的定理1知,y0Iif(I1I2)⊆Ii

    其中i=1,2. 在下文中,我们只讨论y0I1f(I1I2)⊆I1的情况,因为y0I2f(I1I2)⊆I2情况的讨论与y0I1f(I1I2)⊆I1情况的讨论是完全类似的. 下证在y0I1f(I1I2)⊆I1的情况下,有

    假设fV(II),其中τ∈{rjo}.

    情形1   fVrr(II). 由(3)式和Crr(II)的定义,我们知道fCrr(II).

    情形2   fVrj(II). 由Vrj(II)的定义,我们有

    由(4)式得到f2x0的左导数和右导数分别为

    因为f2I上是C1光滑的,所以D-f2(x0)=D+f2(x0). 注意到y1y2. 由(5)式和(6)式得到f1(y0)=0. 再由y0I1,有

    由(3),(7)式和Crj(II)的定义,我们知道fCrj(II).

    情形3   fVro(II). 由Vro(II)的定义,有$\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)式得到f2x0的左导数和右导数分别为

    注意到

    因为f2I上是C1光滑的,所以f2x0的左导数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(II)的定义,我们知道fCro(II). 于是,必要性得证.

    其次证明充分性. 我们仅证明y0I1f(I1I2)⊆I1的情况.

    如果f(I1I2)⊆I1,则(4)式成立. 因为f1f2分别在I1I2上是C1光滑的,所以f2I1I2上是C1光滑的. 因为y0I1,所以f(y0)=f1(y0),f(y0)=f1(y0). 由于fC(II),其中τ∈{rjo},所以分3种情况讨论:

    fCrr(II)时,由Crr(II)的定义有f(y0)=f1(y0)=Γ(c)和fVrr(II). 由文献[19]的定理1知f2I上是连续的. 因为fVrr(II),则

    由(4)式能获得(5)式和(6)式,则D-f2(x0)=D+f2(x0). 因此,f2I上是C1光滑的.

    fCrj(II)时,由Crj(II)的定义,我们有f(y0)=f1(y0)=Γ(c),fVrj(II)和f(y0)=f1(y0)=0. 类似地,我们知道f2I上是连续的. 因为fVrj(II),则$\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. 因此,f2I上是C1光滑的.

    fCro(II)时,由Cro(II)的定义有f(y0)=f1(y0)=Γ(c),fVro(II)和f(y0)=f1(y0)=0. 类似地得到f2I上是连续的. 因为fVro(II),则$\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)$中至少有一个不存在,但是f1f2都有界. 由(4)式能得到(8)式和(9)式,由假设f1(y0)=0,有

    因为f1f2都有界,结合(8),(9)式和无穷小量的性质,得到D-f2(x0)=D+f2(x0)=0.

    综上所述,f2I上是C1光滑的.

    定理2   假定fVr(II)由(1)式定义,x0∈(0,1)是f的唯一间断点. 令y0由(2)式定义. 假设f2I上是C1光滑的,则y0Iif(I1I2)⊆Ii(i=1,2),且fCr(II).

       证明方法与定理1中fVro(II)的必要性的证明完全类似.

    注1   定理2没有给出f2I上是C1光滑映射的充分条件,因为我们不能确定f2x0的左导数${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. 事实上,如果y0I1f(I1I2)⊆I1fCr(II),与定理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),因为

    其中

    fVrr(II). 注意到${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),即fCrr(II). 这说明定理1的假设条件满足. 另外,我们能算出f的二次迭代f2在(0,1)上是C1光滑的(图 2).

    例2   考虑映射F1:(0,1)→(0,1):

    它有唯一的可去间断点${x_0} = \frac{1}{3}$ (图 3),因为

    其中

    F1Vrj(II). 注意到${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,即F1Crj(II). 这说明定理1的假设条件满足. 另外,我们能算出F1的二次迭代为

    它在(0, 1) 上是C1光滑的(图 4).

    例3   考虑映射F2:(0,1)→(0,1):

    它有唯一的可去间断点${x_0} = \frac{1}{2}$ (图 5),因为

    而且

    都不存在,但是f1f2都有界,其中

    F2Vro(II). 注意到

    容易验证$ c = \frac{1}{4} \in {I_1}$y0I1F2(I1I2)⊆I1,而且F2(y0)=f1(y0)=f1(c)和F2(y0)=f1(y0)=0,即F2Cro(II). 这说明定理1的假设条件满足. 另外,我们能算出F2的二次迭代为

    它在(0,1)上是C1光滑的(图 6).

    注2   如果I=[0, 1]是一个闭区间,我们研究

    其中f+(0)=f-(1)=0. 显然,$\hat f \in {V_r}(I, I)$fVr(II).

    在这篇文章中,我们仅考虑了(1)式定义的映射唯一的间断点是可去间断点的情形,对(1)式定义的映射唯一间断点是跳跃或者振荡间断点的情形,我们将在后续文章中加以研究.

参考文献 (20)

目录

/

返回文章
返回