羅 群
(肇慶學(xué)院 數(shù)學(xué)與信息科學(xué)學(xué)院,廣東 肇慶 526061)
極限是微積分學(xué)中非常重要的內(nèi)容,與極限有關(guān)的題目相當(dāng)多.筆者由一道用定積分表示的極限題目的證明過(guò)程得到啟示,對(duì)題目的條件進(jìn)行減弱,經(jīng)過(guò)推廣得出更一般的結(jié)論.本文所給例題的結(jié)論及證明過(guò)程,對(duì)準(zhǔn)備報(bào)考研究生和參加全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽的學(xué)生有一定助益.
例1[1]設(shè)函數(shù)f(x)在[0,1]上連續(xù)可微,證明nf(x)dx=f(1).
證 由于函數(shù)f(x)與xn(n=1,2,…)均在[0,1]連續(xù)可微,由分部積分公式,有
由于函數(shù)xn+1在[0,1]連續(xù)且不變號(hào),f′(x)在[0,1]連續(xù),由推廣的積分第一中值定理[2]218,存在ξ∈(0,1),使得
于是
因f′(x)在[0,1]連續(xù),從而在[0,1]有界,所以,故
注1 例1的條件“f(x)在[0,1]連續(xù)可微”太強(qiáng),可以減弱為下面例題的條件。
例2 設(shè)函數(shù)f(x)在[0,1]上黎曼可積,且f′(1)存在,證明f(x)dx=f(1).
證 設(shè)
則g(x)在[0,1]上黎曼(Riemann)可積,從而有界,且
于是
由于f′(1)存在,由帶有佩亞諾(Peano)型余項(xiàng)的泰勒(Taylor)公式[2]134,有
由式(1)和(3)得g(x)=o((x-1)),從而有=0.由極限定義,對(duì)任意ε>0 ,存在δ>0(δ<1),使得對(duì)任意x:1-δ<x<1,有|g(x)|<ε|x-1|.
又因g(x)在[0,1]上有界,所以存在M>0,使得對(duì)任意x∈[0,1],有|g(x)| ≤M,于是
由于0<1-δ<1,所以=0.由ε的任意性,于是
由式(2),得
注2 1)例2中“f′(1)存在”可以是“f_′(1)存在”,結(jié)論及證明均不變.
2)從例2的證明過(guò)程可看出在例2的條件下,若還有f(1)=0,則結(jié)論可變?yōu)閒(x)dx=-f′(1).這
正是“第2屆全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽”預(yù)賽題中的一道題目.
3)可以將例2推廣到更一般的情形,為此要用到如下積分公式:
其中:n,k均為正整數(shù).該積分公式可用數(shù)學(xué)歸納法進(jìn)行證明.
例3 設(shè)函數(shù)f(x)在[0,1]上黎曼可積,且f在點(diǎn)x=1存在直至k階導(dǎo)數(shù),且f(1)=f′(1)=…=f(k-1)(1)=0,則
證 設(shè)
由已知條件,有g(shù)(x)=f(x)--1)k,則g(x)在[0,1]上黎曼可積,從而有界,且
于是
由于f在點(diǎn)x=1存在直至k階導(dǎo)數(shù),由帶有佩亞諾(Peano)型余項(xiàng)的泰勒公式[2]134,有
由式(4)和(6)有g(shù)(x)=o((x-1)k),于是=0.由極限定義,對(duì)任意ε>0,存在δ>0(δ<1),使得對(duì)任意x:1-δ<x<1,有|g(x)|<ε|x-1|k.
又因g(x)在[0,1]上有界,所以存在M>0,使得對(duì)任意x∈[0,1],有|g(x)|≤M,于是
由于0<1-δ<1,由正項(xiàng)級(jí)數(shù)收斂的比式判別法[3]知,對(duì)任意i=0,1,2…,k,均有級(jí)數(shù)收斂,從而=0.由ε的任意性,于是有
由式(5)得
注3 在例3中,將“導(dǎo)數(shù)”改為“左導(dǎo)數(shù)”,結(jié)論及證明過(guò)程不變.
[1]吳良森,毛羽輝,宋國(guó)棟,等.數(shù)學(xué)分析習(xí)題精解:單變量部分[M].北京:科學(xué)出版社,2004:208.
[2]華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析:上冊(cè)[M].3版.北京:高等教育出版社,2008.
[3]華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析:下冊(cè)[M].3版.北京:高等教育出版社,2008:8.