1. 引言
动力系统起源于19世纪80年代,法国数学家Poincare创立了微分方程定性理论,为研究动力系统奠定了基础。事实上,动力系统就是要研究一个决定性系统的状态随时间变化而变化的规律问题。我们通常情况下所说的动力系统多指由映射迭代生成的系统,可以利用它来模拟实际生活中的一些随时间变化而不断演变的事物,这样可以看作是一种运算或者说是法则在其某个集合上做自映射运算,因此对映射迭代的研究就显得尤为重要。由于迭代运算的复杂性,导致映射问题古老而复杂,迟迟没有较大的进展。一直到二十世纪,随着计算机条件的改善,微分方程、差分方程等数学领域的相互融合,才使得映射迭代问题取得了巨大的突破。
人们对于映射迭代的研究,可以追溯到一百多年前,著名数学家Abel [1]、Schroder [2]、Babbage [3] 等人对映射迭代的研究工作,迭代运算相比于代数运算来说,要复杂得多,特别是关于非线性迭代的运算,因此给映射迭代带来重重困难。到了近代,在计算机、物理学、化学、天文学等学科的推动下,非线性动力系统的研究成为了学术热点,比如关于分岔的Feignbaum现象、关于周期性的Sharkovsky序、关于运动复杂性的Smale马蹄等等的重大发现不断出现,促进了微分方程与迭代函数的快速发展,特别对于现在的迭代理论的发展起了奠定作用,影响重大。
我们知道,函数是一类特殊的映射,关于函数迭代的研究,成为了人们不断研究的课题 [4] [5]。折线函数是最简单的非线性函数,但是函数数值迭代运算下可以交叉于不同的子区间 [6] [7],使得整个问题变得复杂。关于折线函数的迭代,Kobza J [8] 研究了折线函数的二次迭代,例子表明虽然一些折线函数迭代后具有与原函数相似的形状,但大部分折线函数在迭代后不仅形状发生了变化,并且折点个数也跟着改变,这些变化依赖于迭代的次数,并随着迭代指数的不断增大而更加复杂。对于单折点折线函数,李林 [6] 利用折点的运动轨道变化来探索迭代下折点在迭代下的变化情况,并在若干情形下给出其n次迭代表达式,司晨玲 [9] 在李林 [6] 的基础上对单折点折线函数的迭代情况做了进一步研究,更精确地描述了单折点折线函数在迭代运算下的复杂程度与迭代指数的关系。孙太祥在文献 [10] 中研究了N型函数的迭代根情况,本文在前人的基础上,对当折点为两个的N型函数迭代性质进行了讨论分析。
2. 预备知识
我们考虑函数
且具有如下的形式
(1)
它的两个折点为
,
,其中
以下我们要研究的是当
,
,
情形下,即为N型折线函数,折点的个数随迭代后的变化情况,结果依赖于两个折点与对角线
的位置变化。为了方便起见,本文将N型折线函数进行分类,第一类是
;第二类是
;第三类是
;在这三类情形下分别进行讨论。
3. 主要结果及证明
令f是(1)式的折线函数,其中在
,
,
。
定理1 (i) 如果
且
时,那么折点的个数在迭代下不会增加,即
,
,并且
的折点坐标为
另外,若
,则对任意
,当
时,
;
(ii) 如果
且
,对所有的整数
,
;
(iii) 如果
且
,对所有的整数
,
。
证明:(i) 如图1,当
且
时,
单调递增,
单调递减,
单调递增,有
,
。因此f的n次迭代表达式为:
![](//html.hanspub.org/file/12-1251230x51_hanspub.png)
Figure 1.
and
图1.
且
从上式可以看出,左导数
因此对所有的
,有
。
(ii) 如图2,当
且
时,
单调递增,
单调递减,
单调递增,有
,
,根据
的连续性,必然存在
,使得
,因此
,此时有
并且
![](//html.hanspub.org/file/12-1251230x72_hanspub.png)
Figure 2.
and
图2.
且
从上式可以看出
这意味着
,进一步,根据非单调的定义,
都是
的非单调点,由严格逐段单调连续函数f的非单调点也是其n次迭代
的非单调点,所以其非单调点的个数在迭代下是不会减少的。另一方面,对于折线函数来说,每个非单调点都是折点(反过来不成立),因此,对所有自然数
,由
可得
。
(iii) 证明过程与(ii)类似。
定理2(i) 如果
,
且
,
时,那么折点的个数在迭代下不会增加,即
,
,并且
的折点坐标为
![](//html.hanspub.org/file/12-1251230x92_hanspub.png)
另外,若
则,对任意
,当
时,
;
(ii) 如果
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
(iii) 如果
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
证明:(i) 如图3,当
,
且
,
时,
单调递增,
单调递减,
单调递增,有
,
。因此f的n次迭代表达式为:
![](//html.hanspub.org/file/12-1251230x146_hanspub.png)
从上式可以看出,左导数
![](//html.hanspub.org/file/12-1251230x152_hanspub.png)
因此对所有的
,有
。
(ii) 如图4,当
,
,
,
时,有
,
,根据f3的连续性,必然存在
,使得
,因此
,此时有
![](//html.hanspub.org/file/12-1251230x169_hanspub.png)
并且
![](//html.hanspub.org/file/12-1251230x170_hanspub.png)
从上式可以看出
![](//html.hanspub.org/file/12-1251230x171_hanspub.png)
这意味着
,因此
。其余两种情况可类似证明。
(iii) 如图5,当
,
,
,
时,有
,
,
,
,根据
,
的连续性,必然存在
,
,
,使得
,
,
,此时有
![](//html.hanspub.org/file/12-1251230x195_hanspub.png)
并且
![](//html.hanspub.org/file/12-1251230x196_hanspub.png)
从上式可以看出
![](//html.hanspub.org/file/12-1251230x197_hanspub.png)
这意味着
,因此
。其余五种情况可类似证明。
定理3 (i) 如果
,
且
,那么折点的个数在迭代下不会增加,即
,
,并且
的折点坐标为
![](//html.hanspub.org/file/12-1251230x206_hanspub.png)
另外,若
则,对任意
,当
时,
;
,对所有的整数
,
;
,对所有的整数
,
;
(ii) 如果
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
(iii) 如果
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
,
,对所有的整数
,
;
证明:(i) 如图6,当
,
且
时,
单调递增,
单调递减,
单调递增,有
,
。因此f的n次迭代表达式为:
![](//html.hanspub.org/file/12-1251230x289_hanspub.png)
从上式可以看出,左导数
![](//html.hanspub.org/file/12-1251230x290_hanspub.png)
因此对所有的
,有
。
如图7,当
,
,
时,有
,
,根据
的连续性,必然存在
,使得
,因此
,此时有
![](//html.hanspub.org/file/12-1251230x302_hanspub.png)
并且
![](//html.hanspub.org/file/12-1251230x313_hanspub.png)
从上式可以看出
![](//html.hanspub.org/file/12-1251230x314_hanspub.png)
这意味着
,因此
。剩余的一种情况可类似证明。
(ii) 如图8,当
,
,
,
时,有
,
,
,
,根据
,
的连续性,必然存在
,
,
,使得
,
,
,因此
,
,
,此时有
![](//html.hanspub.org/file/12-1251230x336_hanspub.png)
并且
![](//html.hanspub.org/file/12-1251230x337_hanspub.png)
从上式可以看出
![](//html.hanspub.org/file/12-1251230x338_hanspub.png)
这意味着
,因此
。其余五种情况可类似证明。
(iii) 如图9,当
,
,
,
时,有
,
,
,
,根据
,
的连续性,必然存在
,
,
,
,使得
,
,
,
,因此
,
,
,
,此时有
![](//html.hanspub.org/file/12-1251230x373_hanspub.png)
并且
![](//html.hanspub.org/file/12-1251230x374_hanspub.png)
从上式可以看出
![](//html.hanspub.org/file/12-1251230x375_hanspub.png)
这意味着
,因此
。其余八种情况可类似证明。
4. 结论
本文主要研究了N型折线函数的迭代,通过折点的运动轨道变化讨论迭代下折点在迭代下的变化情况,并给出(i) 当
,
时;(ii) 当
,
且
,
时;(iii) 当
,
且
时这三种情况下的n次迭代表达式,在余下的情况,给出了折点在二次迭代后的情况,能大致判断折点增长的速度。
基金项目
重庆市自然科学基金(cstc2018jcyjAX0418)。