证明由f(x)在区间I上差商有界,有正数M使得对于任意
xl有If(x)-f(u)DM|x-uI,也就是
f(u)M|x-u|—f(x)—f(u)-M|x-u|(4.1)
于是当|x-u卜:
卫心(或以7卜:
比血)时,就有
MM
f(u)_AA_f(u)
f(x)f(u)-MA(或f(x):
:
f(u)MA)(4.2)
MM
证毕.
保号性表明,差商有界函数在每个点处的函数值在某种意义上是有代表性的.它能代表附近一小片的函数值.这样具有保号性的函教在实际问题中才有意义,才不至于因为自变量的一点误差而引起函数值的大波动,不至产生“差之毫厘,谬之千里”的后果.
一般说来,具有保号性的函数叫做连续函数.连续函数是一类比差商有界函数更广泛的函数.上面提到的函数y=G在[o,1]上
不是差商有界的,但却是连续的.在中学如果讲连续函数,涉及更多的概念,增加了推理的难度.从应用范围和思想方法来看,差商有界的函数足够广泛也足够说明思路和方法的实质,但推理要干净利落得多.
进一步看,差商有界的乙函数有何特色呢?
定理4.2若在I上f(x)是F(x)的乙函数,且f(x)在I上差
商有界,则有正数M使对I上的任意两点u和u+h,和任意的s€[u,u+h](或
s€[u+h,u])有
|F(uh)-F(u)-f(s)h#Mh2(4.3)
或等价地,,hz0时有|F(uh)-F(u)_f(s)^M|h|(4.4)
h
证明由乙函数的意义,对I上的任意两点u和u+h,有[u,
u+h](或[u+h,u])上的两点p和q,使得
将(4.5)的各项同减f(s)得
f(p)-f(s)乞F(Uh^~F(U^f(s^f(q^f(s)(4.6)
h
注意到p、q和s都在u和u+h之间,又因为f(x)在I上差商有界,故有正数M使得
|f(q)—f(s)|^M|q—s|EM|h|
彳(4.7)
|f(p)-f(s)EM|p-s$M|h|
结合(4.6)和(4.7)得到(4.4),去分母后得到(4.3).而(4.3)当h=0时仍成立.证毕.
不等式(4.4)表明,当乙函数差商有界时,只要h=v-u足够
小,甲函数在[u,v]上的差商和乙函数在[u,v]上的函数值就能非常接近,要多么接近就可以多么接近,也就是说,当时间段足够小的时候,平均速度和瞬时速度的差可以要多么小就多么小.或者说,当函数的曲线上两点足够接近时,过两点的割线的斜率和其中一点处切线的斜率的差,可以要多么小就多么小.这在物理上和几何上都很合理,很符合直观的想象,
现在我们淡化甲函数乙函数这些临时性的语言,向传统的数学概念靠拢.
定义4.1(强可导的定义)设函数y=F(x)在I上有定义,
如果存在一个定义在I上的函数f(x)和正数M使得对I上的任意点x和x+h(这里h可正可负)成立不等式
|F(xh)—F(x)-f(x)h^Mh2(4.8)
或等价的不等式
|F(U[呼⑴)_电)匡m|h|(4.9)
h
则称函数y=F(x)在I上强可导,并称f(x)是F(x)的导函数,简称为F(x)的导数,记做F(X)二f(x)或y=f(x),或3=f(x).
dx
由定理4.2和强可导的上述定义,立刻得到:
推论4.1若在I上f(x)是F(x)的乙函数,且f(x)在I上差
商有界,则F(x)强可导,且其导数就是f(x).
强可导函数是否可能有多于一个的导数呢?
定理4.3(强可导函数的导数唯一性)若F(x)在I上强可
导;f(x)和g(x)都是F(x)的导数,则对一切xl,f(x)=g(x)
证明用反证法.假设有x。
-I,使得f(X。
)-g(x。
)=d=0取h使…引且叶扫,由F(x)强可导,有M>O使
|"。
[""。
…冋
|F(xoh「F(xo)g)|_M|h|
于是得
|d円f(X。
)-g(x°)|
定理4.3告诉我们,一个函数的乙函数中,至多只有一个是
差商有界的,它就是导数.直观上看,它就是例2.1中要求的瞬时速度,就是例2.2中要求的切线的斜率.
5导数计算初步
用强可导的定义来计算导数,和前面计算乙函数的方法相比
各有千秋.但用于探索计算的法则,有时更方便,规律性更强.
例5.1
验证函数f(x)-x3在任意区间[a,b]上强可导,且
(x3)'=3x2
解根据函数的差分计算结果得
22322
|f(xh)-f(x)-3xh|=|3xhh|=|3xh|h_3(|a||b|)h(5.1)
取M=3(|a|+|b|),由强可导定义,即得所要结论.
例5.2
验证函数F(x)J土在任意不含0的闭区间[a,b]上
X
强可导,且(丄)丄-g
XX
解计算函数的差分得到
11hhhh
F(xh)-F(xr石〒-寸二V(厂刁)®2)
移项,并且设m=min{|a|,|b|},则有
取M=A,由强可导定义即得所要结论.
m
例5.3验证函数G(x)-上在在任意不含0的闭区间[a,b]
计算函数的差商和的差,得到
2jx
G(xh)-G(x)1h2x
=_1L|
y/x+h+yfx2yfx\(Jx+h_仮)
2\/x(Jx+h+依)
例5.4验证:
(i)f(x)=ax+b在任意区间I上强可导,且
((axb)"(5.5)
(ii)f(x)=xn(n为正整数)在任意区间[a,b]上强可导,
且
(xnf=nxn」(5.6)
解(i)由于|f(x+h)-f(x)-ah|=|a(x+h)-ax-ah|=0
n
(ii)由于f(xh)-f(x)=(xh)n-xn=nxn'h'C:
xn*hk得
k=2
n
|f(xh)-f(x)-nxnjh鬥'C^kx^hkI乞2n(|aI|b|)n'h2(5.7)
k=2
取M=2n(|a||b厂,由定义可知,f(x)"强可导,且f(x)=nxn4
由例5.4(i)可以推出,常数函数是强可导的,其导数为0.
上面得到的结论和前面求乙函数所得可谓殊途同归.
下面对求导运算基本法则作初步探讨.
定理5.1(求导运算的线性性质)若F(x)和G(x)都在[a,
b]上强可导,f(x)和g(x)分别是F(x)和G(x)的导数,贝S
(i)对任意常数c,cF(x)在[a,b]上强可导,且其导数是
cf(x);
即
(cF(x))=cF(x)
(5.8)
(ii)F(x)+G(x)
在[a,b]上强可导,且其导数为f(x)+g(x);
即
(F(x)G(x))=F(x)G(x)(5.9)
(iii)设cmo,则F(cx+d)在[空d,bd](或卩d]cccc
上强可导,且其导数是cf(cx+d);即
(F(cxd))=cF(cxd)(5.10)
证明(i)由F(x)在[a,b]上强可导,f(x)是F(x)的导数,
有M>O使
2
|F(x+h)-F(x)-f(x)h|于是得|cF(x+h)-cF(x)-cf(x)h|<|cM|=M1h2,这证明了
所要结论.
(ii)由F(x)和G(x)都在[a,b]上强可导,f(x)和g(x)分别
是F(x)和G(x)的导数,有M>0使
(5.11)
$F(x+h)_F(x)_f(x)hWMh
”G(x+h)—G(x)—g(x)h|EMh
.立
|F(xh)G(xh)-(F(x)G(x))-(f(x)g(x))h卜2Mh2(5.12)
这证明了所要结论(