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