楊芮
【摘要】 本文將函數(shù)的漸近線的概念延伸到一致連續(xù)中,給出了函數(shù)一致連續(xù)的兩個(gè)充分條件.
【關(guān)鍵詞】 漸近線;連續(xù);一致連續(xù)
一、引 言
函數(shù)在區(qū)間上一致連續(xù)是函數(shù)更強(qiáng)的連續(xù)性,其本質(zhì)表現(xiàn)為函數(shù)在定義域上函數(shù)值變化均勻.如何判斷函數(shù)一致連續(xù),已有大量的文獻(xiàn)給出了許多有用的判定方法,如:定義法、導(dǎo)函數(shù)有界等.本文將函數(shù)的漸近線(以下的漸近線均指函數(shù)的斜漸近線)這一概念引入一致連續(xù)中,并分別給出了函數(shù)在定義域[a,+∞)和(-∞,+∞)上一致連續(xù)的兩個(gè)充分條件,這使得判斷函數(shù)一致連續(xù)變得簡(jiǎn)單可行.首先,我們先給出漸近線的定義和兩個(gè)有用的引理用以輔助證明.
二、主要結(jié)果與證明
定義1 [1] 若函數(shù)f上的定點(diǎn)P沿著曲線無(wú)限遠(yuǎn)離原點(diǎn)時(shí),點(diǎn)P與某定直線L的距離趨于0,則稱(chēng)直線L為函數(shù)f(x)的漸近線,即 lim x→∞ (f(x)-kx-b)=0.
引理1 [1] 若函數(shù)f在區(qū)間I上滿足Lipschitz條件,即存在常數(shù)L>0,使得對(duì)I上任意兩點(diǎn)x′,x″都有
|f(x′)-f(x″)|≤L|x′-x″|,
則f在I上一致連續(xù).
證 ?由一致連續(xù)定義可知,x′,x″∈I,|f(x′)-f(x″)|≤L|x′-x″|<ε,所以ε>0,δ= ε L ,x′,x″∈I,當(dāng)|x′-x″|<ε時(shí),|f(x′)-f(x″)|<ε,故f(x)在I上一致連續(xù).
引理2 [2] 若函數(shù)φ(x)在[a,+∞)上一致連續(xù)且函數(shù)f(x)在[a,+∞)上連續(xù),且滿足
lim x→+∞ (f(x)-φ(x))=0,
則f(x)在[a,+∞)上一致連續(xù).
證 ?由 lim x→+∞ (f(x)-φ(x))=0,知對(duì)ε>0,M>0,當(dāng)x>M時(shí),|f(x)-φ(x)|< ε 3 .又由于φ(x)在[a,+∞)上一致連續(xù),對(duì)上述的ε,δ1>0,x′,x″>M,當(dāng)|x′-x″|<δ1時(shí),|φ(x′)-φ(x″)|< ε 3 .所以當(dāng)x′,x″>M時(shí),
|f(x′)-f(x″)|
=|f(x′)-φ(x′)+φ(x′)-φ(x″)+φ(x″)-f(x″)|
≤|f(x′)-φ(x′)|+|φ(x′)-φ(x″)|+|φ(x″)-f(x″)|
< ε 3 + ε 3 + ε 3 =ε.
另一方面,因?yàn)閒(x)在[a,M+1]上連續(xù),由Cantor定理知,f(x)在[a,M+1]上一致連續(xù).固定ε,δ2>0,x′,x″∈[a,M+1],當(dāng)|x′-x″|<δ2時(shí),|f(x′)-f(x″)|<ε.進(jìn)一步可取δ=min{1,δ1,δ2},對(duì)x′,x″∈[a,+∞),當(dāng)|x′- x″|<δ時(shí),有|f(x′)-f(x″)|<ε,所以f(x)在[a,+∞)上一致連續(xù).
現(xiàn)引入定義1中漸近線的概念,則以下定理1保持成立.
定理1 ?若函數(shù)f(x)在[a,+∞)上連續(xù)且存在漸近線,則f(x)在[a,+∞)上一致連續(xù).
證 ?可令引理2中的φ(x)=kx+b(k為有限數(shù)),因?yàn)棣眨▁)為f(x)的漸近線,則 lim x→+∞ (f(x)-φ(x))=0.下證若φ(x)在[a,+∞)上一致連續(xù),則根據(jù)引理2知f(x)在[a,+∞)上一致連續(xù).事實(shí)上,x′,x″∈[a,+∞),存在常數(shù)k,使得|φ(x′)-φ(x″)|=k|x′-x″|.由引理1知,φ(x)滿足Lipschitz條件,所以φ(x)在[a,+∞)上一致連續(xù),從而定理得證.
注 ?對(duì)形式較為復(fù)雜的函數(shù),可以考查該函數(shù)的漸近線來(lái)判斷f(x)在[a,+∞)上一致連續(xù).但這僅給出了函數(shù)在[a,+∞)上一致連續(xù)的充分條件,若函數(shù)漸近線不存在,如xcosx,xsin x ,不能根據(jù)定理1說(shuō)明f(x)在[a,+∞)上非一致連續(xù).下面給出幾個(gè)有用的推論:
推論1 ?若函數(shù)f(x)在[a,+∞)上連續(xù)且漸近線斜率存在,則f(x)在[a,+∞)上一致連續(xù).
證 ?由漸近線定義可知,若k=lim x→+∞? f(x) x 存在,則b=lim x→+∞ (f(x)-kx)也存在.這保證了漸近線y=kx+b存在,既而由定理1知推論1成立.
推論2 ?若函數(shù)f(x)在(-∞,+∞)上連續(xù)且存在兩條漸近線,則f(x)在(-∞,+∞)上一致連續(xù).
證 ?對(duì)一元函數(shù)來(lái)說(shuō),f(x)至多存在兩條漸近線.存在M>0,在|x|>M上應(yīng)用定理1知f(x)在|x|>M上一致連續(xù).因?yàn)閒(x)在[-M-1,M+1]上連續(xù),由Cantor定理知,f(x)在[-M-1,M+1]上一致連續(xù).類(lèi)似引理2的證明對(duì)ε>0,存在充分小的δ,x′,x″∈(-∞,+∞),當(dāng)|x′-x″|<δ時(shí),|f(x′)-f(x″)|<ε.所以f(x)在(-∞,+∞)上一致連續(xù).
至此我們給出了判斷函數(shù)[a,+∞)和(-∞,+∞)上一致連續(xù)的充分條件,由推論1中的k=lim x→+∞? f(x) x 存在這一條件啟發(fā),若給出了一個(gè)一致連續(xù)性容易判斷的函數(shù)g(x),f(x)在[a,+∞)上的一致連續(xù)與函數(shù)g(x)是否存在某種聯(lián)系呢?我們給出以下定理.
定理2 ?設(shè)函數(shù)f(x),g(x)在[a,+∞)上連續(xù),若g(x)在[a,+∞)上一致連續(xù),且
lim x→+∞? f(x) g(x) =A(有限數(shù)),
則f(x)在[a,+∞)上一致連續(xù).
證 ?由lim x→+∞? f(x) g(x) =A,則對(duì)充分小的ε>0,M,當(dāng)x>M時(shí),? f(x) g(x) -A <ε.故|f(x)-Ag(x)|<ε|g(x)|.又由g(x)在[M,+∞)(M≥a)上一致連續(xù)知,函數(shù)g(x)在[M,+∞)上有界,即A0>0使得|g(x)|≤A0.固定上述充分小的ε,x′,x″∈[M,+∞),當(dāng)|x′-x″|<δ1時(shí),|g(x′)-g(x″)|<ε.所以
|f(x′)-f(x″)|=
|f(x′)-Ag(x′)+Ag(x′)-Ag(x″)+Ag(x″)-f(x″)|
≤|f(x′)-Ag(x′)|+|Ag(x″)-f(x″)|+|A|·|g(x′)-g(x″)|
≤ε(|g(x′)|+|g(x″)|+|g(x′)-g(x″)|)
<ε(|A|+2|A0|).
另一方面,由f(x)在[a,M+1]上連續(xù),應(yīng)用Cantor定理知,f(x)在[a,M+1]上一致連續(xù).可取充分小的ε,δ,對(duì)x′,x″∈(-∞,+∞),當(dāng)|x′-x″|<δ時(shí),|f(x′)-f(x″)|<ε.所以f(x)在[a,+∞)上一致連續(xù).
注 ?將g(x)在[a,+∞)上換成在(-∞,+∞)上,同理可證f(x)在(-∞,+∞)上一致連續(xù).若已知g(x)在區(qū)間I上一致連續(xù),特別地,可取漸近線(g(x)=kx+b),這對(duì)判斷f(x)在I區(qū)間上一致連續(xù)是簡(jiǎn)單可行的.
三、應(yīng)用舉例
例1 ??證明函數(shù)f(x)= 3 2x3-x2+x+1 在[0,+∞)上一致連續(xù).
證 ?不妨先考查函數(shù)f(x)的漸近線,k=lim x→+∞? f(x) x =lim x→+∞?? 3 2x3-x2+x+1? x = 3 2 ,由推論1知,函數(shù)f(x)的漸近線斜率存在,所以函數(shù)f(x)在[0,+∞)上一致連續(xù).
另一方面,若取g(x)=2x+1,由引理1知g(x)滿足Lipschitz條件(可取L=2),所以g(x)在[0,+∞)上一致連續(xù),且lim x→+∞?? 3 2x3-x2+1? 2x+1 =? 3 2? 2 ,所以由定理2知函數(shù)f(x)在[0,+∞)上一致連續(xù).
例2 ??證明函數(shù)f(x)= 0,x=0,|x| 1+sin 1 x? ,x≠0 ?在 R 上一致連續(xù).
證 ?當(dāng)x>0時(shí),k=lim x→+∞? f(x) x =lim x→+∞? x 1+sin 1 x?? x ,b=lim x→+∞? x 1+sin 1 x? -x =1,故函數(shù)f(x)的漸近線方程為y=x+1,同理當(dāng)x<0時(shí),函數(shù)f(x)的漸近線方程為y=-x-1,由推論2知,函數(shù)f(x)的兩條漸近線都存在,故函數(shù)f(x)在 R 上一致連續(xù).
【參考文獻(xiàn)】
[1]華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析:上冊(cè)(第4版)[M].北京:高等教育出版社,2000:86.
[2]裴禮文.數(shù)學(xué)分析中的典型問(wèn)題與方法(第2版)[M].北京:高等教育出版社,2006:163-164.