龍志文

【摘要】微分中值定理是微分學(xué)中的重要定理，也是各類考試所青睞的內(nèi)容之一.借助微分中值定理解決相關(guān)問(wèn)題的關(guān)鍵在于構(gòu)造合適的輔助函數(shù).本文利用常微分方程相關(guān)理論，給出了微分中值問(wèn)題中輔助函數(shù)構(gòu)造的一個(gè)新方法，分兩種情形進(jìn)行了討論，并給出了相應(yīng)的實(shí)例說(shuō)明其應(yīng)用.該方法具有思路比較簡(jiǎn)單、應(yīng)用范圍較廣的特點(diǎn).

【關(guān)鍵詞】輔助函數(shù);通解;特解;羅爾中值定理

微分中值定理是微分學(xué)中的基本定理，是連接函數(shù)及其導(dǎo)數(shù)的一座橋梁，其應(yīng)用是各類考試的常考內(nèi)容.應(yīng)用微分中值定理的關(guān)鍵是構(gòu)造相應(yīng)的輔助函數(shù)，而輔助函數(shù)的構(gòu)造往往具有較強(qiáng)的技巧性，并非易事.文獻(xiàn)[1]介紹了分析法、嘗試法、待定系數(shù)法、幾何法、積分法等五種常用的輔助函數(shù)構(gòu)造方法，這些構(gòu)造方法使用靈活，有較高的技巧性，且使用范圍不是特別廣泛.本文利用常微分方程相關(guān)理論，給出了輔助函數(shù)構(gòu)造的一個(gè)新方法，盡管其操作起來(lái)可能不是十分簡(jiǎn)單，但思路卻相對(duì)比較簡(jiǎn)單，且應(yīng)用較廣.現(xiàn)通過(guò)具體的例子介紹如下.

一、題設(shè)中含有邊界條件等條件的情形

例1 設(shè)f（x）在[0，1]上連續(xù)，在（0，1）上可導(dǎo)，f（0）=f（1）=0，f12=1.

求證：ξ∈（0，1），使得f′（ξ）=1.

分析 先把f′（ξ）=1轉(zhuǎn)換為f′（x）=1，然后求解該微分方程，易得其通解為f（x）=x+c（其中c為任意常數(shù)），易檢驗(yàn)其通解不滿足全部的邊界等條件，但易知取特解f1（x）=x滿足f（0）=0，為此我們可以構(gòu)造輔函數(shù)g（x）=f（x）-f1（x）=f（x）-x，且只需找到區(qū)間[x1，x2][0，1]，使得g（x1）=g（x2），然后應(yīng)用羅爾中值定理即可.

證明 令g（x）=f（x）-x，則

g（0）=f（0）-0=0，

g12=f12-12=1-12=12>0，

g（1）=f（1）-1=0-1=-1<0.

易得η∈12，1，使得g（η）=0.從而有g(shù)（0）=g（η）=0.

又易知g（x）在12，1[0，1]上連續(xù)，在12，1上可導(dǎo)，在12，1上應(yīng)用羅爾中值定理，則

ξ∈12，1，使得g′（ξ）=0，即有f′（ξ）=1.

例2 設(shè)f（x）在[0，1]上二階可導(dǎo)，且f（0）=f（1），f′（1）=1.

求證：ξ∈（0，1），使得f″（ξ）=2.

分析 先把f″（ξ）=2轉(zhuǎn)換為f″（x）=2，然后求解該微分方程，易得其通解為f（x）=x2+c1x+c2（其中c1，c2為任意常數(shù)），易檢驗(yàn)其特解f1（x）=x2-x滿足f（0）=f（1），f′（1）=1，為此我們可以構(gòu)造輔函數(shù)g（x）=f（x）-f1（x）=f（x）-x2+x，且只需找到區(qū)間[x1，x2][0，1]，使得g′（x1）=g′（x2），然后應(yīng)用羅爾中值定理即可.

證明 令g（x）=f（x）-x2+x，則

g（0）=f（0）-0=f（0），g（1）=f（1）-12+1=f（1），

g′（1）=f′（1）-2+1=0.

由f（0）=f（1）知g（0）=g（1），又易知g（x）在[0，1]上二階可導(dǎo)，故η∈（0，1），使得g′（η）=0，再結(jié)合g′（1）=0，進(jìn)而有：ξ∈（0，1），使得g″（ξ）=0，從而有f″（ξ）=2.

例3 設(shè)f（x）在[a，b]上連續(xù)，在（a，b）上可導(dǎo)，且f（a）=0（a>0），求證：ξ∈（a，b），使得f（ξ）=b-ξaf′（ξ）.

分析 先把f（ξ）=b-ξaf′（ξ）轉(zhuǎn)換為f（x）=b-xaf′（x），然后求解該微分方程，易得其通解為f（x）=c（b-x）-a（其中c為任意常數(shù)），易檢驗(yàn)不存在非零特解滿足f（a）=0，由u（x）v（x）′=u′（x）v（x）-u（x）v′（x）v（x）2得到啟發(fā)，選取一個(gè)簡(jiǎn)單的特解f1（x）=（b-x）-a（取c=1），我們可以考慮構(gòu)造輔助函數(shù)g（x）=f（x）f1（x）=（b-x）af（x）.

證明 令g（x）=（b-x）af（x），則

g（a）=（b-a）af（a）=0，g（b）=（b-b）af（b）=0，

由題意，在[a，b]上對(duì)g（x）應(yīng)用羅爾中值定理即可.

例4 設(shè)f（x）在[a，b]上連續(xù)，在（a，b）上可導(dǎo)，且f（a）=f（b）=0，求證：對(duì)λ∈R，ξ∈（a，b），使得f′（ξ）+λf（ξ）=0.

分析 先把f′（ξ）+λf（ξ）=0轉(zhuǎn)換為f′（x）+λf（x）=0，然后求解該微分方程，易得其通解為f（x）=ce-λx（其中c為任意常數(shù)），易檢驗(yàn)不存在非零特解滿足f（a）=f（b）=0，由u（x）v（x）′=u′（x）v（x）-u（x）v′（x）v（x）2得到啟發(fā)，選取一個(gè)簡(jiǎn)單的特解f1（x）=e-λx（取c=1），我們可以考慮構(gòu)造輔助函數(shù)g（x）=f（x）f1（x）=eλxf（x）.

證明 令g（x）=eλxf（x），則

g（a）=eλaf（a）=0，g（b）=eλbf（b）=0.

由題意，在[a，b]上對(duì)g（x）應(yīng)用羅爾中值定理可得：ξ∈（a，b），使得eλξf′（ξ）+λeλξf（ξ）=0，又eλξ≠0，進(jìn)而有f′（ξ）+λf（ξ）=0.

注 對(duì)題設(shè)中含有邊界條件等條件的情形，先把題目結(jié)論中的特殊點(diǎn)換成x后，再求解相應(yīng)的微分方程.若存在其非零特解滿足題設(shè)中相應(yīng)的邊界等條件，則可考慮構(gòu)造輔助函數(shù)為原題設(shè)中函數(shù)減去該特解;若不存在其非零特解滿足題設(shè)中相應(yīng)的邊界等條件，則可考慮構(gòu)造輔助函數(shù)為原題設(shè)中函數(shù)與一簡(jiǎn)單特解（可取任意常數(shù)為1）的乘積.

二、題設(shè)中不含有邊界條件等條件的情形

例5 設(shè)f（x）在[1，2]上連續(xù)，在（1，2）上可導(dǎo)，求證：ξ∈（1，2），使得f（2）-f（1）=12ξ2f′（ξ）.

分析 先把f（2）-f（1）=12ξ2f′（ξ）轉(zhuǎn)換為f（2）-f（1）=12x2f′（x），然后求解該微分方程，易得其通解為f（x）=-2[f（2）-f（1）]x+c（其中c為任意常數(shù)），選取一個(gè)簡(jiǎn)單的特解f1（x）=-2[f（2）-f（1）]x（取c=0），我們可以考慮構(gòu)造輔助函數(shù)g（x）=f（x）-f1（x）=f（x）+2[f（2）-f（1）]x.

證明 令g（x）=f（x）+2[f（2）-f（1）]x，則

g（1）=f（1）+2[f（2）-f（1）]1=2f（2）-f（1），

g（2）=f（2）+2[f（2）-f（1）]2=2f（2）-f（1），

由題意，在[1，2]上對(duì)g（x）應(yīng)用羅爾中值定理即可.

例6 設(shè)f（x）在[a，b]上連續(xù)，在（a，b）上可導(dǎo)，且0

分析 先把2ξ[f（b）-f（a）]=（b2-a2）f′（ξ）轉(zhuǎn)換為2x[f（b）-f（a）]=（b2-a2）f′（x），然后求解該微分方程，易得其通解為f（x）=f（b）-f（a）b2-a2x2+c（其中c為任意常數(shù)），選取一個(gè)簡(jiǎn)單的特解f1（x）=f（b）-f（a）b2-a2x2（取c=0），我們可以考慮構(gòu)造輔助函數(shù)g（x）=f（x）-f1（x）=f（x）-f（b）-f（a）b2-a2x2.

證明 令g（x）=f（x）-f（b）-f（a）b2-a2x2，則

g（a）=f（a）-f（b）-f（a）b2-a2a2=f（a）b2-f（b）a2b2-a2，

g（b）=f（b）-f（b）-f（a）b2-a2b2=f（a）b2-f（b）a2b2-a2，

由題意，在[a，b]上對(duì)g（x）應(yīng)用羅爾中值定理即可.

注 對(duì)題設(shè)中不含有邊界條件等條件的情形，先把題目結(jié)論中的特殊點(diǎn)換成x后，然后求解相應(yīng)的微分方程，考慮構(gòu)造輔助函數(shù)為原題設(shè)中函數(shù)與一簡(jiǎn)單特解（可取任意常數(shù)為1或0等）的差，再考查端點(diǎn)等一些特殊點(diǎn)處的函數(shù)值，若它們的值相等，利用羅爾中值定理即可.

【參考文獻(xiàn)】

[1]劉樂(lè)斌.數(shù)學(xué)分析的理論、方法與技巧[M].武漢：華中科技大學(xué)出版社，2005.

[2]王高雄.常微分方程[M].北京：高等教育出版社，2006.