中值定理的分析性质研究文献综述.docVIP

文献综述 中值定理的分析性质研究 前言部分 微分屮值定理是微分学的基木定理z—,研究函数的有力工具.微分屮值定理有着明显 的几何意义和运动学意义.以拉格朗日(Lagrange)微分中值定理为例，它的几何意义：一个 在［d,切上连续,在(d劝内可微的曲线段/(x),必有gw(a,b),曲线在点(§,/(§))的切 线平行于连接点(d,/(d))与的割线?它的运动学意义：设/是质点的运动规律， 则质点在时间区间\a,b\ ±走过的路稈为/(/?)-/(6/),在(a,b)上的平均速度为 存在a#)的某一时刻歹，质点在歹的瞬时速度恰好是它的平均速度. b-a 人们对微分屮值定理的研究，从微积分建立Z始就开始了?它首先是法国著名的数学家 费马于1637年给出了费马定理，在教科书中，人们通常将它称为费马定理?1691年，法国 数学家罗尔(Rolle)在《方程的解法》一文屮给出多项式形式的罗尔定理?1797年，法国数 学家拉格朗口在《解析函数论》一书屮给出拉格朗LI定理，并给岀最初的证明.对微分中值 定理进行系统研究的是法国数学家柯西(Cauchy),他首先赋以屮值定理重要的作用，使其成 为微分学的核心定理，并给出了广义的屮值定理一柯西定理. 主题部分 一、微分中值定理产生的历史 文献［1］和［2］屮说到了微积分学简史，费马对微积分作出过重要的贡献.他在研究极 大和极小问题的解法时得到统一的解法“虚拟等式法”，从而得出原始形式的费马定理.所 谓的虚拟等式法，用现代语言来说，对于函数/(%),让自变量从兀变化到兀+幺，当/(无) 为极值时，/⑴和f(x + e)的差近似为0,用幺除虚拟等式，Wo,然后 e 让幺-0,就得到函数极值点的导数值为0,这就是费马定理：函数/(兀)在x = x0处取极 值，并且可导，则/ (x0) = 0 ?应该指出：费马给出以上结论，微积分还处于初创阶段，并 没有明确导数，极限连续的概念，用现代眼光来看，其论断也是不严格的.现在看到的费马 定理是麻人根据微积分理论和费马发现的实质重新给出的. 罗尔在1691年发表的论著《方稈的解法》给出了 “在多项式 Cl^x + 6/f + …+ 6Z；J_|X + d“ = 0 的两个相邻根屮，方稈 na()x ] +(n-l)6Z)y, 2 +??? + %_[ = 0 至少有一个实根正好是定理的一个特例，这也是此定理成为罗尔定理的原因.罗尔当时提 出这个结论，主要是针对多项式函数，现在看到的罗尔定理，是后人根据微积分理论重新证 明，并把它推广为一般函数?“罗尔定理”这一名称是由徳国数学家徳罗比什(Drobisch)在 1834年给出，并由意大利数学家贝拉维蒂斯(Bellavitis)在1846年发表的论文屮正式使用的. 文献［1］-［5］中都涉及到了中值定理的基木概念?拉格朗LI定理是微分屮值定理中最主 要的定理.它是指：“/(兀)在⑺,切上连续，在(a,b)上可导，则存在一点gw(a,b),使 /(方)二/(d) = f? . ?这一定理是拉格朗日在《解析函数论》一书屮首先给出的，它最初 b-ct 形式为：“函数/(兀)在忑和xZ间连续，f(x)的战大值为A,报小值为3,则 ,/(小二、/(丸)必取a, 间一个值 兀一无° 柯西定理被认为是拉格朗口定理的推广.它是指：设/(x)和gCr)在⑺小］上连续，在 (。,〃)上可导，并且g (兀)工0, g(a)H g(b),则至少存在一点^e(a.b),使 g(b)-g(a) g(g) 柯西的证明与拉格朗U对拉格朗U屮值定理很相似. 微分屮值定理在柯西的微积分理论系统屮占有重要的地位.例如他利川微分屮值定理给 洛必达法则以严格的证明，并研究泰勒公式的余项.从柯西起，微分中值定理就成为研究函 数的重要T具和微分学的重要组成部分. 二、微分中值定理中间点的分析性质 2.1 Lagrange中值定理中间点的渐进性及其分析性质 在一元函数微分学中，拉格朗日中值定理是核心,因此对Lagrange* p值点的研究就成了- 项重要内容. Lagrange屮值定理只断言的存在性.至少有一个，但可能不止一个，除了对一些比较 简单的函数，无法指明这种点的确切位置.文献⑹屮有了下面的结论: 结论1.若函数/(朗满足下列条件：在［a,b］±连续；在⑺上)内存在二阶导数； Vxw(a,b), f(x)HO；则在⑺,仍内存在唯一一点g,使得f^)=/(h)-f(a). h-a 结论2.若函数/(x)满足下列条件：在⑺上］上连续；在(d,b)内可导，且在(d,b)的任 何了区间上为非线性函数；方程/⑴_(的二/ W)(兀一 a) — f(a) = 0在(a,b)内恰有 b-a “―1个根；则在(d,b)内存在 n)个点$使得f ? = 出二凹. b-a