首页 理论教育高等数学:一般函数极限解析

高等数学:一般函数极限解析

【摘要】:从上一节可知,数列是特殊的极限,极限的实质就是自变量变化时,函数值的变化趋势,那么一般函数的极限又如何呢?

从上一节可知,数列是特殊的极限,极限的实质就是自变量变化时,函数值的变化趋势,那么一般函数的极限又如何呢?

一、当x∞时,函数fx的极限

1.x+∞时

设函数f定义在[a,+∞)上,类似于数列情形,研究当自变量x趋于+∞时,对应的函数值也能否无限地接近于某个定数A.例如,对于函数

如图1-5所示,当x无限增大时,函数值无限地接978-7-111-33187-2-Chapter01-124.jpg.

如图1-5所示,当x无限增大时,函数值无限地接近于0.

978-7-111-33187-2-Chapter01-125.jpg

图1-5

函数fx)(x→+∞)的极限定义与数列{xn}的极限定义很相似.这是因为它们的自变量的变化趋势相同(x→+∞与n→+∞).

定义1.13 设函数fx)在区间(a,+∞)有定义,A是常数.若对于任意给定的正数ε>0,总存在X>0,当xX时,有|fx)-A|<ε,则称函数fx)当x→+∞时以A为极限,表示为

978-7-111-33187-2-Chapter01-126.jpgf(x)→A(当x→+∞).

在定义中正数X的作用与数列极限定义中的N相似,表明x充分大的程度;但这里所考虑的是比X大的所有实数x,而不仅仅是正整数N.因此,当x趋于正无穷大时函数fx)以A为极限意味着:A的任意小邻域内必含有fx)在+∞的某邻域内的全部函数值.

几何意义

几何意义如图1-6所示.

对于任意给定的ε>0,在坐标平面上作两条平行于x轴的直线y=A+εy=A-ε,围成以直线y=A为中心线、宽为2ε的带形区域;定义中的“当xX时,有|fx)-A|<ε”表示:在直线x=X的右方,曲线y=fx)全部落在这个带形区域之内.如果正数ε取的再小一点,即当带形区域更窄时,那么直线x=X一般要往右平移;但无论带形区域如何窄,总存在这样的正数X,使得曲线y=fx)在直线x=X的右边部分全部落在这更窄的带形区域内.

与定义1.13相仿,得到

978-7-111-33187-2-Chapter01-127.jpg

图1-6

2.x-∞时

定义1.14设函数fx)在区间(-∞,a)有定义,A是常数,若对于任意给定的ε>0,存在X>0,当x<-X时,有|fx)-A|<ε,则称函数fx)当x→-∞时以A为极限,表示为

978-7-111-33187-2-Chapter01-128.jpgf(x)→A(当x→-∞).

3.x∞时

定义1.15 设函数fx)在978-7-111-33187-2-Chapter01-129.jpg有定义,A是常数,若对于任意给定的ε>0,存在X>0,当x满足|x|>X时,有|fx)-A|<ε,则称函数fx)当x→∞时以A为极限,表示为

978-7-111-33187-2-Chapter01-130.jpgf(x)→A(当x→-∞).

例1 证明978-7-111-33187-2-Chapter01-131.jpg(见图1-7).

证 对于任意给定的ε>0,取978-7-111-33187-2-Chapter01-132.jpg,则

当|x|>X时有

978-7-111-33187-2-Chapter01-133.jpg

所以978-7-111-33187-2-Chapter01-134.jpg.

978-7-111-33187-2-Chapter01-135.jpg

图1-7

例2 证明978-7-111-33187-2-Chapter01-136.jpg.

证 对于任意的ε>0,要使|2x-0|=2xε成立,只要978-7-111-33187-2-Chapter01-137.jpg就可以了(这里不妨设ε<1),取978-7-111-33187-2-Chapter01-138.jpg,于是对于任意的ε>0,存在978-7-111-33187-2-Chapter01-139.jpg,当x<-X时,有|2x-0|<ε,即

978-7-111-33187-2-Chapter01-140.jpg

例3 证明(1)978-7-111-33187-2-Chapter01-141.jpg;(2)xlim978-7-111-33187-2-Chapter01-142.jpg.

证 (1)对于任意给定的ε>0,由于

978-7-111-33187-2-Chapter01-143.jpg

等价于978-7-111-33187-2-Chapter01-144.jpg,而此不等式的左半部分对任何x都成立,所以只要考察其右半部分x的变化范围.

为此,不妨设978-7-111-33187-2-Chapter01-145.jpg,则有

978-7-111-33187-2-Chapter01-146.jpg

故对任意给定的正数978-7-111-33187-2-Chapter01-147.jpg,只须取978-7-111-33187-2-Chapter01-148.jpg,则当x<-X时便有式(1-1)成立.这就证明了(1),类似地可证(2).

综合(1)、(2)由定义可知,当x→∞时函数arctanx不存在极限.

二、当xx0时,函数fx的极限

考察函数fx)=2x+1.当x趋于2时,可以看到它所对应的函数值就趋于5(见图1-8).

考察函数978-7-111-33187-2-Chapter01-149.jpg.当x≠2时,fx)=x+2,由此可见,当x不等于2而趋于2时,对应的函数值fx)就趋于4(见图1-9).

978-7-111-33187-2-Chapter01-150.jpg

图1-8

978-7-111-33187-2-Chapter01-151.jpg

图1-9

不难看出,上述两个例子和上段中当x→∞时极限存在的情形相似,而这里是“当x趋于x0(但不等于x0)时,对应的函数值fx)就趋于某一确定的数A”.

定义1.16 设函数fx)在x0的某个去心邻域内有定义,A是常数,若对于任意给定的正数ε>0,总存在正数δ>0,使得x满足不等式|0<x-x0|<δ时,有

|fx)-A|<ε

则称函数fx)当xx0时以A为极限,表示为

978-7-111-33187-2-Chapter01-152.jpg或f(x)→A(当x→+∞).

在此极限定义中,“0<|x-x0|<δ”指出xx0,这说明函数fx)在x0的极限与它在x0处的定义和取值无关.x0既可以不在函数fx)的定义域内;又可以在函数fx)的定义域内,但这时函数fx)在x0的极限与fx)在x0的函数值fx0)可以没有任何联系.

几何意义

ε-δ”定义表明,任意做一条以直线y=A为中心线,宽为2ε的横带(无论怎样窄),必存在一条以x=x0为中心,宽为2δ的直带,使直带内的函数图像全部落在横带内(见图1-10).

978-7-111-33187-2-Chapter01-153.jpg

图1-10

例4 978-7-111-33187-2-Chapter01-154.jpg.

证 由于|fx)-A|=|x-x0|,因此对于任意给定的正数ε,可取正数δ=ε,当0<|x-x0|<δ时,不等式|fx)-A|=|x-x0|<ε成立.

所以978-7-111-33187-2-Chapter01-155.jpg.

例5 设978-7-111-33187-2-Chapter01-156.jpg,证明978-7-111-33187-2-Chapter01-157.jpg.(www.chuimin.cn)

证 由于当x≠2时,|fx)-4|=978-7-111-33187-2-Chapter01-158.jpg=x-2

,故对任意给定的ε>0,只要取δ=ε,则当0<|x-2|<δ时有|fx)-4|<ε.这就证明了978-7-111-33187-2-Chapter01-159.jpg=4.

例6 证明978-7-111-33187-2-Chapter01-160.jpg.

证 先建立一个不等式,即当978-7-111-33187-2-Chapter01-161.jpg时有

sinxx<tanx (1-2)

事实上,在如图1-11所示的单位圆(半径为1)内,当978-7-111-33187-2-Chapter01-162.jpg时,sinx=CD978-7-111-33187-2-Chapter01-163.jpg,tanx=AB,所以

SOADS扇形OADSOAB

978-7-111-33187-2-Chapter01-164.jpg,由此立得式(1-2).

978-7-111-33187-2-Chapter01-165.jpg

图1-11

又因为当978-7-111-33187-2-Chapter01-166.jpg时,有sinx≤1<x,故对一切x>0都有sinxx

x<0时,由sin(-x)<-x得-sinx<-x.综上所述,又得到不等式

|sinx|<|x|,(x∈R) (1-3)

由此,从式(1-3)得978-7-111-33187-2-Chapter01-167.jpg.对于任意给定的ε>0,只要取δ=ε,则当0<|x-x0|<δ时,就有|sinx-sinx0|<ε.所以978-7-111-33187-2-Chapter01-168.jpg.

单侧极限 有些函数在其定义域上某些点的左侧与右侧解析式不同(如分段函数定义域上的某些点),或函数在某些点仅在其一侧有定义(如在定义区间端点处),这时函数在那些点上的极限只能单侧地给出定义,称之为单侧极限.

例如,函数978-7-111-33187-2-Chapter01-169.jpg

x>0而趋于0时,应按fx)=x2来考察函数值的变化趋势;当x<0而趋于0时,应按fx)=sinx来考察.又如函数978-7-111-33187-2-Chapter01-170.jpg在其定义区间[-1,1]端点x=±1处的极限,也只能在点x=-1的右侧和点x=1的左侧来分别讨论.,

定义1.17 设函数fx)在x0的左邻域(或右邻域)有定义,A是常数.若对于任意给定的ε>0,存在δ>0,当x满足x0-δxx0(或x0xx0+δ)时,有

|fx)-A|<ε则称A是函数fx)在x0的左极限(或右极限).记作

978-7-111-33187-2-Chapter01-171.jpg=Afx0-0)=A978-7-111-33187-2-Chapter01-172.jpg=Afx0+0)=A).

左极限与右极限统称为单侧极限.它们与极限的关系,有下述定理.

定理1.5 978-7-111-33187-2-Chapter01-173.jpg的充要条件是978-7-111-33187-2-Chapter01-174.jpg.类似有978-7-111-33187-2-Chapter01-175.jpg.

例7 设978-7-111-33187-2-Chapter01-176.jpg,研究当x趋于0时,fx)的极限是否存在.

解 当x<0时,978-7-111-33187-2-Chapter01-177.jpg,而当x>0时,978-7-111-33187-2-Chapter01-178.jpg.

左、右极限都存在但不相等,所以,由定理1.5可知当x→0时,fx)不存在极限(见图1-12).

例8 研究当x→0时,fx)=x的极限.

978-7-111-33187-2-Chapter01-179.jpg.

因为978-7-111-33187-2-Chapter01-180.jpg978-7-111-33187-2-Chapter01-181.jpg

所以,由定理1.5可得978-7-111-33187-2-Chapter01-182.jpg.

978-7-111-33187-2-Chapter01-183.jpg

图1-12

三、函数极限的性质

在此节中,引入了下述六种类型的函数极限:

(1)978-7-111-33187-2-Chapter01-184.jpg;(2)978-7-111-33187-2-Chapter01-185.jpg;(3)978-7-111-33187-2-Chapter01-186.jpg;(4)978-7-111-33187-2-Chapter01-187.jpg;(5)978-7-111-33187-2-Chapter01-188.jpg;(6)978-7-111-33187-2-Chapter01-189.jpg.

它们具有与数列极限相类似的一些性质,以后都以第(6)种类型的极限为代表来叙述并证明这些性质.至于其他类型极限的性质及其证明,只要相应的做些修改即可.

1.极限唯一性

定理1.6 若极限978-7-111-33187-2-Chapter01-190.jpg存在,则此极限是唯一的.

证 设AB都是fxx0时的极限,则对任意给定的ε>0,分别存在正数δ1δ2,使得当0<|x-x0|<δ1时,有

978-7-111-33187-2-Chapter01-191.jpg

当0<|x-x0|<δ2时,有

|fx)-B|<ε (1-5)

δ=min(δ1δ2),则当0<|x-x0|<δ时,式(1-4)与式(1-5)同时成立,故有

978-7-111-33187-2-Chapter01-192.jpg

ε的任意性得A=B.这就证明了极限是唯一的.

2.局部有界性

定理1.7 若极限978-7-111-33187-2-Chapter01-193.jpg存在,则fx0某去心邻域978-7-111-33187-2-Chapter01-194.jpg内有界.

证 设978-7-111-33187-2-Chapter01-195.jpg.取ε=1,则存在δ>0,使得对一切978-7-111-33187-2-Chapter01-196.jpg

|fx)-A|<1

即|fx)|≤|fx)-A+A|<|A|+1.

这就证明了f978-7-111-33187-2-Chapter01-197.jpg内有界.

3.局部保号性

定理1.8 若978-7-111-33187-2-Chapter01-198.jpg,则对任何正数rA(或r<-A),存在978-7-111-33187-2-Chapter01-199.jpg,使得对一切978-7-111-33187-2-Chapter01-200.jpg,有

fx)>r>0(或fx)<-r<0)

证 设A>0,对任意r∈(0,A),取ε=A-r,则存在δ>0,使得对一切978-7-111-33187-2-Chapter01-201.jpgx0δ),有fx)>A-ε=r,这就证得结论.对于A<0的情形可类似地证明.

推论1.2 (保不等式性)设978-7-111-33187-2-Chapter01-202.jpg978-7-111-33187-2-Chapter01-203.jpg都存在,且在某邻域978-7-111-33187-2-Chapter01-204.jpgx0δ′)内有fx)≤gx),则

978-7-111-33187-2-Chapter01-205.jpg

证 设978-7-111-33187-2-Chapter01-206.jpg978-7-111-33187-2-Chapter01-207.jpg,则对任意给定的ε>0,分别存在正数δ1δ2,使得当0<x-x0δ1时有

A-εfx) (1-7)

当0<|x-x0|<δ2时有

gx)<B+ε (1-8)

δ=min(δ′δ1δ2),则当0<|x-x0|<δ时,不等式fx)≤gx)与式(1-7)、式(1-8)同时成立,于是有A-εfx)≤gx)<B+ε,从而AB+2ε.ε的任意性得AB,即式(1-6)成立.