強(qiáng)基計劃數(shù)學(xué)備考系列講座(17)
——不動點與不變性

王慧興(正高級教師 特級教師)

(清華大學(xué)附屬中學(xué))

同學(xué)們熟知函數(shù)的零點、極值點,這里介紹強(qiáng)基計劃數(shù)學(xué)筆試?？嫉摹安粍狱c、穩(wěn)定點與周期點”,這些內(nèi)容在高考試題中也有所涉及.

1 知識要點

1.1 函數(shù)不動點與穩(wěn)定點

定義1方程f(x)＝x的實數(shù)解,稱為函數(shù)y＝f(x)的不動點.直觀上表現(xiàn)為函數(shù)y＝f(x)的圖像與直線y＝x的交點P(x,f(x))的橫坐標(biāo),同時,把迭代函數(shù)y＝f(f(x))的不動點,即方程f(f(x))＝x的實數(shù)解稱為函數(shù)y＝f(x)的穩(wěn)定點,也稱為二階不動點.

按定義,函數(shù)f(x)的不動點與穩(wěn)定點的集合分別為A＝{x∈R|f(x)＝x},B＝{x∈R|f(f(x))＝x},若A＝?,則A?B;若A≠?,則任取x0∈A,都有f(x0)＝x0,所以f(f(x0))＝f(x0)＝x0,從而x0∈B,所以A?B.

任一函數(shù)f(x)的不動點都是其穩(wěn)定點,這提供了求解穩(wěn)定點方程的一個分解、降冪視角.

定義2函數(shù)y＝f(x)的一個穩(wěn)定點,如果不是不動點,則稱為其周期點,函數(shù)周期點的集合C＝BA.

任取函數(shù)y＝f(x)的周期點x0,記f(x0)＝y(tǒng)0,則f(y0)＝f(f(x0))＝x0,所以f(f(y0))＝f(x0)＝y(tǒng)0,故y0也是函數(shù)y＝f(x)的一個周期點,P(x0,y0)與P′(y0,x0)是其圖像上關(guān)于直線y＝x對稱的兩點.

一次函數(shù)f(x)＝ax＋b(a≠±1,0)都有唯一穩(wěn)定點與不動點,兩者是同一數(shù)值;一次函數(shù)f(x)＝x＋b(b∈R{0})沒有不動點,也沒有穩(wěn)定點.特別地,一次函數(shù)f(x)＝x的不動點集合是R,因此其穩(wěn)定點集合也是R;一次函數(shù)f(x)＝－x＋b(b∈R)有唯一不動點x＝,而其穩(wěn)定點集合是R.

對于二次函數(shù)f(x)＝ax2＋bx＋c(a≠0),一方面,如果f(x)存在不動點,則不動點也是穩(wěn)定點;另一方面,如果f(x)沒有不動點,即方程ax2＋bx＋c＝x沒有實數(shù)解,這是一個值得注意的結(jié)論.基于幾何直觀,直線y＝x與拋物線y＝f(x)沒有公共點,從而拋物線y＝f(x)整體位于直線y＝x上方,或整體位于y＝x下方;若是前者,則a＞0 且f(x)＞x(?x∈R),從而f(f(x))＞f(x)＞x(?x∈R),所以方程f(f(x))＝x無實數(shù)根,即函數(shù)y＝f(x)沒有穩(wěn)定點;若是后者,則a＜0且f(x)＜x(?x∈R),從而f(f(x))＜f(x)＜x(?x∈R),所以方程f(f(x))＝x無實數(shù)根,即函數(shù)y＝f(x)沒有穩(wěn)定點.再給出方程分析:a(f(x))2＋bf(x)＋c＝x,即

故函數(shù)y＝f(x)也沒有穩(wěn)定點.

性質(zhì)單調(diào)遞增函數(shù)f(x):R→R的穩(wěn)定點都是其不動點.

證明任取函數(shù)f(x):R→R 穩(wěn)定點x0,則f(f(x0))＝x0.下證:f(x0)＝x0.

假設(shè)f(x0)≠x0,則f(x0)＜x0或f(x0)＞x0,由f(x)是增函數(shù),得

兩種情形均矛盾,故增函數(shù)f(x):R→R 的穩(wěn)定點都是不動點.

注:這條性質(zhì)對單調(diào)遞減函數(shù)不成立,例如:定義在R上的減函數(shù)f(x)＝－x＋b(b∈R)有唯一不動點x＝,而其穩(wěn)定點結(jié)合是R.

1.2 遞推數(shù)列不動點與穩(wěn)定點

由一個函數(shù)y＝f(x)定義一個遞推數(shù)列{an}:an＋1＝f(an)(n∈N*),如果a1恰好是函數(shù)f(x)的不動點,即方程f(x)＝x的解,則這個遞推數(shù)列就是一個常數(shù)列.因此,把函數(shù)y＝f(x)的不動點稱為遞推數(shù)列{an}:an＋1＝f(an)(n∈N*)的不動點.

高階遞推數(shù)列{an}:an＋k＝f(an＋k－1,an＋k－2,…,an)(n∈N*)的不動點是指以x取代遞推公式中an＋k,an＋k－1,an＋k－2,…,an每一項所得方程x＝f(x,x,…,x)的解.

無窮遞推數(shù)列的不動點代表著其延伸趨勢,深度探究一個遞推數(shù)列的單調(diào)性、有界性以及斂散性等,通?？蓮钠洳粍狱c與周期點入手.

1.3 不變性與切比雪夫多項式

1)保域函數(shù)與等域區(qū)間

比不動點與穩(wěn)定點更一般的概念是函數(shù)的“保域”性.

定義3如果函數(shù)y＝f(x)(x∈D)的值域M＝D,則稱之為保域函數(shù).特別地,如果定義域D＝[m,n]或(m,n)(m＜n),則稱這個區(qū)間為保值區(qū)間(或等域區(qū)間),也可類比理解無窮型等域區(qū)間.

例如,冪函數(shù)f(x)＝x3或g(x)＝均有3個不動點x＝－1,0,1,則(－∞,－1],(－∞,0],(－∞,1],[－1,0],[－1,1],[－1,＋∞),[0,1],[0,＋∞),[1,＋∞)以及(－1,＋∞)都是其等域區(qū)間.

下面給出兩個充分條件.

如果增函數(shù)f(x)有兩個穩(wěn)定點m,n(m＜n),則[m,n]是f(x)的一個保值區(qū)間;如果增函數(shù)f(x)有n個不動點x1＜x2＜…＜xn,則函數(shù)f(x)有C2n個等域區(qū)間[xi,xj](1≤i＜j≤n).

例如,冪函數(shù)f(x)＝x3是增函數(shù),并且它有三個不動點x＝－1,0,1,因此它有三個等域區(qū)間:[－1,0],[0,1],[－1,1].

2)切比雪夫多項式函數(shù)

定義4在cos(nθ)的展開式中,取cosθ＝x,得到一列多項式Tn(x):T0(x)＝1,T1(x)＝x,T2(x)＝2x2－1,T3(x)＝4x3－3x,T4(x)＝8x4－8x2＋1,…,且有遞推關(guān)系Tn＋2(x)＝2xTn＋1(x)－Tn(x)(n∈N),其中每個多項式Tn(x)都稱為切比雪夫多項式.

由定義可知切比雪夫多項式Tn(x)都是保域函數(shù),[－1,1]是其等域區(qū)間.

1.4 遞推數(shù)列的單調(diào)性與斂散性

遞推母函數(shù):用一個函數(shù)y＝f(x)定義一個遞推數(shù)列{an}:an＋1＝f(an)(n∈N*),則稱函數(shù)y＝f(x)為數(shù)列{an}的遞推母函數(shù).

定理如果遞推數(shù)列{an}:an＋1＝f(an)(n∈N*)的遞推母函數(shù)在R 上單調(diào)遞增,并且有不動點x1,x2(x1＜x2).

(1){x∈R|f(x)＞x}＝(x1,x2),{x∈R|f(x)＜x}＝(－∞,x1)∪(x2,＋∞).

當(dāng)a1∈(－∞,x1)時,數(shù)列{an}單調(diào)遞減;當(dāng)a1∈(x1,x2)時,數(shù)列{an}單調(diào)遞增,并且收斂于x2;當(dāng)a1∈(x2,＋∞),數(shù)列{an}單調(diào)遞減,并且收斂于x2.

(2){x∈R|f(x)＜x}＝(x1,x2),{x∈R|f(x)＞x}＝(－∞,x1)∪(x2,＋∞).當(dāng)a1∈(－∞,x1)時,數(shù)列{an}單調(diào)遞增,并且收斂于x1;當(dāng)a1∈(x1,x2)時,數(shù)列{an}單調(diào)遞減,并且收斂于x1;當(dāng)a1∈(x2,＋∞),數(shù)列{an}單調(diào)遞增.

2 典例精析

2.1 概念理解

按上文,二次函數(shù)的不動點都是其穩(wěn)定點,并且當(dāng)二次函數(shù)沒有不動點時,它也沒有穩(wěn)定點.這樣一個值得關(guān)注的結(jié)論,常出現(xiàn)在高校自主命題中,但這并不是說二次函數(shù)的穩(wěn)定點與不動點完全一樣.

例1求f(x)＝2x2－1的不動點與穩(wěn)定點.

所求實數(shù)a的取值范圍即為函數(shù)g(x)＝ex＋x－x2(x∈[0,1])的值域M.由不等式ex≥x＋1,得g′(x)＝ex＋1－2x＞2－x＞0(0＜x＜1),所以g(x)是增函數(shù),其值域M＝[g(0),g(1)]＝[1,e].

綜上,實數(shù)a的取值范圍是[1,e].

2.2 簡解方程

2.3 數(shù)列探究

2.4 遞推不變性

由數(shù)學(xué)歸納法可得

2.5 迭代不變性

例6設(shè)f1(x)＝f(x)＝2x2＋2x－1,fn＋1(x)＝f(fn(x))(n∈N*),求方程f2023(x)＝0的負(fù)實根的個數(shù).

因為[－1,1]是切比雪夫多項式g(x)的等域區(qū)間,所以

考慮模數(shù)列{2n}(mod6):2,4,2,4,…以2為周期,所以22023≡2(mod6),從而

2.6 線性化與非線性化

例7定義{an}:a1＝a2＝2,且

由數(shù)學(xué)歸納法可知{bn}的各項都是完全平方數(shù).

點評遞推數(shù)列{an}呈現(xiàn)復(fù)雜非線性,先用不動點線性化,再按探究目標(biāo)非線性化,這樣證明計算量小、思想性強(qiáng).

2.7 遞推有界性

例8在數(shù)列{an}中,a1＝1,an＋1＝＋1(n∈N*),若存在常數(shù)c,對任意的n∈N*,都有an＜c成立,則正數(shù)k的最大值為( ).

解析由k＞0,a1＝1,an＋1＝＋1(n∈N*),可知an＞0(n∈N*),故滿足題設(shè)條件的常數(shù)c＞0.

先考慮數(shù)列{an}的不動點:方程x＝kx2＋1的解是數(shù)列的不動點,取其中較小一解為

(1)由x1＝a＞3,得

假設(shè)已得到2＜xk＋1＜xk,則

由數(shù)學(xué)歸納法可得2＜xn＋1＜xn(?n∈N*),故數(shù)列{an}單調(diào)遞減且有界,存在極限A∈[2,a),對遞推關(guān)系取極限,得即A＝2,所以數(shù)列{an}收斂于2.

(2)任取n∈N*,分類討論:

若xn≤3,則由(1)得xn＋1＜xn≤3.

若xn＞3,則x1＞x2＞…＞xn＞3,則對一切k∈{1,2,…,n},都有

點評基于數(shù)列的遞推母函數(shù)的不動點證明數(shù)列的單調(diào)有界性,避免了單純基于遞推方法的煩瑣計算,同時也清晰體驗到遞推母函數(shù)不動點與收斂數(shù)列極限的關(guān)聯(lián).

2.8 保等差數(shù)列

例10函數(shù)f(x):R*→R 不是單調(diào)不減函數(shù),并且對任意x＞0,y＞0,z＞0都有

取d＝m－n,由函數(shù)g(x)為保等差數(shù)列,可得

對固定的g(n)∈R與固定的g(m)－g(n)＞0,當(dāng)正整數(shù)k足夠大時,總有

(完)