傅新梅, 劉 晴, 李宏亮
(1.浙江外國語學(xué)院數(shù)學(xué)系,杭州310012; 2. 杭州市大禹路小學(xué), 杭州310012)
幾類中值定理中間點的分析性質(zhì)
傅新梅1,劉晴2,李宏亮1
(1.浙江外國語學(xué)院數(shù)學(xué)系,杭州310012;2. 杭州市大禹路小學(xué), 杭州310012)
[摘要]給出了廣義Taylor公式、高階Cauchy中值定理及加權(quán)型中值定理中間點的單值性、連續(xù)性及可導(dǎo)性的充分條件,并給出了求導(dǎo)公式.
[關(guān)鍵詞]Taylor公式; 中間點; 單值; 連續(xù); 可導(dǎo)
1引言
2007年劉龍章、戴立輝、楊志輝[1]討論了Lagrange中值定理和Cauchy中值定理中間點ξ的單調(diào)性、連續(xù)性及可導(dǎo)性問題.2009年程希旺[2]則對Taylor中值定理中間點ξ的單值性、連續(xù)性及可導(dǎo)性問題進行研究分析.2012年時統(tǒng)業(yè)、謝井、李鼎[3]引進一個新函數(shù)F(h(x),k),用較簡便的方法討論了Taylor中值定理中間點ξ的單值性、連續(xù)性及可導(dǎo)性問題.
本文主要對廣義Taylor公式、高階Cauchy中值定理及加權(quán)型中值定理的中間點的單值性、連續(xù)性及可導(dǎo)性問題進行研究.
2引理
引理1(廣義Taylor公式[4])設(shè)函數(shù)f(x)和g(x)在[a,b]上具有n-1階連續(xù)導(dǎo)數(shù),在[a,b]內(nèi)f(n)(x)和g(n)(x)存在,且g(n)(x)≠0則對任何x∈(a,b)至少存在一點ξ∈(a,x),使
(1)
引理2(高階Cauchy中值定理[4])設(shè)函數(shù)f(x)和g(x)在[a,b]上具有n-1階導(dǎo)數(shù),在(a,b)內(nèi)具有n階導(dǎo)數(shù),且g(n)(x)≠0則對任何x∈(a,b)至少存在一點ξ∈(a,x)使
(2)
引理3[5]設(shè)函數(shù)f(x),g(x)滿足
(i) 在區(qū)間[a,x]上有定義,且有n-1階的連續(xù)導(dǎo)數(shù)f(n-1)(x),g(n-1)(x),
(ii) 在開區(qū)間(a,x)內(nèi)有n階導(dǎo)數(shù),且
0 則至少存在點ξ∈(a,x),使 (3) 其中 3結(jié)論 定理1設(shè)函數(shù)f(x)和g(x)在[a,b]上n+1階連續(xù)可導(dǎo),且 g(n)(x)≠0,f(n+1)(x)g(n)(x)-f(n)(x)g(n+1)(x) 在(a,b)內(nèi)保號(恒正或恒負),則 (i) 滿足(1)式的“中間點”ξ=ξ(x)是x的單值連續(xù)函數(shù); (ii) 滿足(1)式的“中間點”ξ=ξ(x)是x的可導(dǎo)函數(shù),當n=1時,其導(dǎo)數(shù)為 當n≥2時其導(dǎo)數(shù)為 由已知條件g(n)(x)≠0,f(n+1)(x)g(n)(x)-f(n)(x)g(n+1)(x)在(a,b)內(nèi)保號(恒正或恒負),可知φ(x)是單調(diào)函數(shù),那么(1)式的“中間點”ξ=ξ(x)是x的單值函數(shù).另一方面 其中ξ(x)介于a,x之間,ξ(x+Δx)介于a,x+Δx之間,η介于ξ(x),ξ(x+Δx)之間. 令 由于f(n+1)(x)g(n)(x)-f(n)(x)g(n+1)(x)在(a,b)內(nèi)保號且f(n+1)(x),g(n+1)(x)連續(xù),故存在ξ(x)的一個領(lǐng)域∪(ξ(x),δ),使得 因此 =0. 故滿足(1)式的“中間點”ξ=ξ(x)是x的單值連續(xù)函數(shù)得證,即結(jié)論(i)成立.且 將F′(x)和G′(x)帶入上式,就能分別得到當n=1和n≥2時的導(dǎo)數(shù)公式,即結(jié)論(ii)成立. 注1(i) 當g(x)=(x-a)n時,那么f(n+1)(x)g(n)(x)-f(n)(x)g(n+1)(x)在(a,b)內(nèi)保號,即f(n+1)(x)保號. 故定理1是[2]中定理2的推廣. (ii) 當n=1時,廣義Taylor公式為Cauchy中值定理.故定理1是對[1]中定理3的推廣. 對高階Cauchy中值定理類似于定理1的證明可得到下面的結(jié)論. 定理2設(shè)函數(shù)f(x)和g(x)是[a,b]上n+1階連續(xù)可導(dǎo),且 g(n)(x)≠0,f(n+1)(x)g(n)(x)-f(n)(x)g(n+1)(x) 內(nèi)保號(恒正或恒負),則 (i) 滿足 (2)式的“中間點”ξ=ξ(x)是x的單值連續(xù)函數(shù); (ii) 滿足 (2) 式“中間點”ξ=ξ(x)是x的可導(dǎo)函數(shù),其導(dǎo)數(shù)為 對于加權(quán)型中值定理也有下面的結(jié)果. 定理3設(shè)函數(shù)f(x)和g(x)是[a,b]上n+1階連續(xù)可導(dǎo),且 g(n)(x)≠0,f(n+1)(x)g(n)(x)-f(n)(x)g(n+1)(x) 在(a,b)內(nèi)保號(恒正或恒負),則 (i) 滿足(3)式的“中間點”ξ=ξ(x)是x的單值連續(xù)函數(shù); (ii) 滿足(3)式的“中間點”ξ=ξ(x)是x的可導(dǎo)函數(shù),導(dǎo)數(shù)為 其中 其中Tn=1. 證類似于定理1中(i)的證明可得結(jié)論(i)成立.利用定理1中(ii)的證明方法結(jié)合行列式的求導(dǎo)公式以及行列式的相關(guān)性質(zhì)可得結(jié)論(ii)成立. [參考文獻] [1]劉龍章,戴立輝,楊志輝.再論微分中值定理“中間點”ξ的性質(zhì)[J].大學(xué)數(shù)學(xué), 2007,23(4):164-166. [2]程希旺. 泰勒中值定理中值點的分析性質(zhì)[J].數(shù)學(xué)的實踐與認識,2009,39(4):236-238. [3]時統(tǒng)業(yè),謝井,李鼎.論泰勒中值定理中間點的性質(zhì)[J].大學(xué)數(shù)學(xué),2012,28(4):121-123. [4]苗俊嶺.廣義微分中值定理中間值的漸近性[J].黑龍江農(nóng)墾師專學(xué)報,2001,4(58):88-90. [5]馬躍超,陳俠.加權(quán)型中值定理[J].沈陽航空工業(yè)學(xué)院學(xué)報,2002,19(2):63-65. TheIntermediatePoint’sAnalyticalPropertiesofSomeKindsofMeanValueTherom FU Xin-mei1,LIUQing2,LIHong-liang1 (1.DepartmentofMathematics,ZhejiangInternationalStudiesUniversity,Hangzhou, 310012,China; 2.HangzhouDaYuluPrimarySchool,Hangzhou310030,China) Abstract:WeobtainsomesufficientconditionsfortheintermediatepointsofgeneralTaylorformula,highorderCauchy’smeanvaluetheoremandtheweightedmeantheoremtohavesingle-value,continuity,differentiability.Atthesametime,wegetformulaetocalculatederivatives. Keywords:generalTaylorformula;intermediatepoint;single-valued;continuity;derivative [基金項目]國家自然科學(xué)基金(11371048); 北京建筑大學(xué)雙語課程建設(shè)(常微分方程);北京建筑大學(xué)穩(wěn)定性理論優(yōu)質(zhì)課程(K2015004) [收稿日期]2015-02-13;[修改日期]2015-05-31 [中圖分類號]O156 [文獻標識碼]C [文章編號]1672-1454(2015)04-0060-04