劉麗娜

(徐州經(jīng)貿(mào)高等職業(yè)學(xué)校 公共基礎(chǔ)部,江蘇 徐州 221004)

0 引言

積分中值定理在微積分理論中占有極其重要的地位,有著十分廣泛的應(yīng)用,而Cauchy中值定理,特別是Lagrange中值定理,長期以來一直是人們研究的主要內(nèi)容。文獻(xiàn)[2、4]給出了 廣義Cauchy中值定理及其在凸函數(shù)條件下的逆定理，文獻(xiàn)[1]討論了定積分中值定理的推廣,分別給出了廣義Lagrange中值定理及其逆定理,討論了凸函數(shù)的微分中值定理的反問題,給出了積分型Cauchy中值定理的推廣形式，本文對(duì)積分型Cauchy中值定理進(jìn)行了進(jìn)一步的研究，給出了廣義積分型Cauchy中值定理及其逆定理的相關(guān)結(jié)論。

定理1 (積分型Cauchy中值定理)若

(i)f(x),g(x)在[a,b]內(nèi)連續(xù);

定理2 (廣義Cauchy中值定理)設(shè)

(i)f(x)在[a,b]上連續(xù)，且f'+(x),f'-(x)存在；

定理3 (廣義Cauchy中值定理逆定理)設(shè)

(i)f(x)為[a,b]上單調(diào)遞增凸函數(shù);

(ii)g(x)為凹函數(shù);

(iii)g(x)在(a,b)內(nèi)可導(dǎo),且g'(x)≠0;

則對(duì)于?ξ∈(a,b)及非負(fù)數(shù)p、q且p+q=1，一定存在α、β∈(a,b),使得

定義1 設(shè)f(x)為定義在區(qū)間I上的函數(shù),若對(duì)I上任意兩點(diǎn)x1、x2和實(shí)數(shù)ξ∈(0,1),總有f(ξx1+(1-ξ)x2)≤ξf(x1)+(1+ξ)f(x2)，則f(x)稱為區(qū)間I上的凸函數(shù)。若式中不等號(hào)反向,則稱f(x)為區(qū)間I上的凹函數(shù)[3]。

1 引理

引理1 設(shè)f(x)在[a,b]上連續(xù),f'+(x),f'-(x)存在,且f(a)=f(b)，則在(a,b)內(nèi)至少存在一點(diǎn)ξ及非負(fù)數(shù)p、q且p+q=1,使得pf'+(ξ)+qf'-(ξ)=0[4]。

引理2 設(shè)f(x)為[a,b]上單調(diào)遞增的凸函數(shù),g(x)為[a,b]上的嚴(yán)格單調(diào)遞增的凹函數(shù),則對(duì)于[a,b]上的任意三點(diǎn)a≤x1≤x2≤x3≤b，下式成立：

引理3 設(shè)①f(x)為[a,b]上的單調(diào)遞增凸函數(shù);②g(x)為[a,b]上嚴(yán)格單調(diào)遞增的凹函數(shù); ③g'(x)>0,x∈(a,b),則?x0∈(a,b) 有

2 主要結(jié)論與證明

定理4 (廣義積分型Cauchy中值定理) 設(shè)

(i)f(x)在[a,b]上可積，且f+(x),f-(x)存在；

(ii)g(x)在[a,b]上連續(xù),且g(x)≠0；

由于f+(x)、f-(x)存在,且g(x)在[a,b]上連續(xù),由引理4可知

(3)

(4)

又易驗(yàn)證φ(a)=φ(b)。根據(jù)引理1,至少存在一點(diǎn)ξ∈(a,b)及非負(fù)數(shù)p、q,且p+q=1,使得pφ'+(ξ)+qφ'-(ξ)=0。注意到g(x)在[a,b]上連續(xù),且g(x)≠0,從而有

(5)

定理5 (廣義積分Cauchy中值定理的逆定理)

(iii)g(x)在[a,b]上連續(xù),且g(x)>0。

則對(duì)于?ξ∈(a,b)及非負(fù)數(shù)p、q,且p+q=1,一定存在α、β∈(a,b),使得

由引理3知：

于是對(duì)于非負(fù)數(shù)p、q且p+q=1,有

令α=x1，β=x0,故定理成立。

參考文獻(xiàn):

[1] 嚴(yán)振詳.定積分中值定理的推廣[J].上海海運(yùn)學(xué)院學(xué)報(bào),1995,16(1):29-33.

[2] 劉孝書,郭致林.廣義Cauchy中值定理及其逆定理[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2006,36(6):337-340.

[3] 陳傳璋.數(shù)學(xué)分析(上冊(cè))[M].北京:高等教育出版社,1983.

[4] 劉昌茂.廣義Cauchy中值定理[J].吉首大學(xué)學(xué)報(bào),1998,19(4):72-74.