張立國(guó)
(沈陽(yáng)理工大學(xué) 理學(xué)院,沈陽(yáng) 110159)
關(guān)于廣義幾何數(shù)列的討論
張立國(guó)
(沈陽(yáng)理工大學(xué) 理學(xué)院,沈陽(yáng) 110159)
廣義幾何數(shù)列是數(shù)列的推廣,其收斂情況與數(shù)列的值域密切相關(guān)。按照數(shù)列的取值范圍,討論廣義幾何數(shù)列的性質(zhì),給出收斂的充要條件和必要條件,為極限理論的后續(xù)研究提供思路。
廣義幾何數(shù)列;倒數(shù)代換;收斂
數(shù)列極限是微積分學(xué)中最簡(jiǎn)單、最容易掌握的極限概念。雖然它不具有廣泛的代表性,但由于分析學(xué)中的極限大多可以利用數(shù)列極限來(lái)刻劃,因而它的地位是不言而喻的。廣義幾何數(shù)列是數(shù)列概念的推廣,其性質(zhì)對(duì)于極限理論的完善和發(fā)展是非常重要的。文獻(xiàn)[1]只在區(qū)間[0,1]上對(duì)其進(jìn)行簡(jiǎn)單的討論,但對(duì)于區(qū)間[0,1]以外的廣義幾何數(shù)列沒(méi)有涉及。本文在此基礎(chǔ)上,系統(tǒng)地討論廣義幾何數(shù)列的收斂情況,并給出收斂的充要條件。
定義1[1]設(shè){xn}為數(shù)列,令
稱(chēng)數(shù)列{an}為廣義幾何數(shù)列。{xn}為{an}的基礎(chǔ)數(shù)列。
如果基礎(chǔ)數(shù)列x1=x2=…=xn=…=r,則an=rn,此時(shí)這個(gè)廣義幾何數(shù)列{an}就是通常的幾何數(shù)列{rn},因而在區(qū)間[0,1]之內(nèi),廣義幾何數(shù)列與幾何數(shù)列有相似的性質(zhì)。
命題1[1]設(shè)基礎(chǔ)數(shù)列{xn}(0,1),則廣義幾何數(shù)列{an}收斂 。
命題2 設(shè)基礎(chǔ)數(shù)列{xn}(-1,0),若廣義幾何數(shù)列{an}收斂于a,則a=0。
證明由于基礎(chǔ)數(shù)列{xn}(-1,0),則a2n(0,1),a2n-1(-1,0)。據(jù)極限保號(hào)性可知由于廣義幾何數(shù)列{an}收斂a,從而故a=0。
若基礎(chǔ)數(shù)列{xn}位于區(qū)間[0,1]之外時(shí),廣義幾何數(shù)列{an}收斂情況如下:
定理2 設(shè)基礎(chǔ)數(shù)列{xn}(-∞,-1),則廣義幾何數(shù)列{an}發(fā)散。
證明由于基礎(chǔ)數(shù)列{xn}(-∞,-1),則a2n(1,+∞),a2n-1(-∞,-1)。若與都存在時(shí),據(jù)極限保號(hào)性可知從而因此廣義幾何數(shù)列{an}發(fā)散。
定理3 設(shè)xn(1,+∞),則廣義幾何數(shù)列{an}收斂當(dāng)且僅當(dāng)級(jí)數(shù)收斂。
由拉格朗日(Lagrange)中值定理得
由歸結(jié)原則與洛必達(dá)法則有
根據(jù)數(shù)項(xiàng)級(jí)數(shù)收斂的必要條件,可以得出廣義幾何數(shù)列收斂的必要條件:
推論1 設(shè)xn(1,+∞),若基礎(chǔ)數(shù)列{xn}的廣義幾何數(shù)列{an}收斂,則數(shù)列{xn}收斂于1。
利用倒數(shù)代換和逆否命題,可以得到xn(0,1)時(shí),廣義幾何數(shù)列{an}收斂結(jié)論。
定理4[3]設(shè)xn(0,1),則廣義幾何數(shù)列{an}的極限大于0,當(dāng)且僅當(dāng)級(jí)數(shù)收斂。
定理5 設(shè)xn(0,1),則廣義幾何數(shù)列{an}的極限為0,當(dāng)且僅當(dāng)級(jí)數(shù)發(fā)散。
推論2 設(shè)xn(0,1),若數(shù)列{xn}的廣義幾何數(shù)列{an}極限大于0,則數(shù)列{xn}收斂于1。
合并推論1與2可以得到推論3。
推論3 設(shè)xn(0,+∞),若數(shù)列{xn}的廣義幾何數(shù)列{an}極限大于0,則數(shù)列{xn}收斂于1。
例1說(shuō)明推論2只是必要條件。通過(guò)倒數(shù)代換可以推知,推論1與推論3也僅是必要條件。
定理6 若實(shí)數(shù)a(0,+∞),則存在收斂于1的基礎(chǔ)數(shù)列{xn},使得其廣義幾何數(shù)列收斂于a。
證明設(shè)基礎(chǔ)數(shù)列{yn|nN}={0.9,0.99,0.999,…,1-(0.1)n,…},其廣義幾何數(shù)列{bn}的極限為p,即據(jù)極限保號(hào)性可知0