拉格朗日余项估计(网络版).docVIP

本科毕业论文 设计 2010届 论文题目： 拉格朗日余项估计 指导老师： 学生姓名： 学 号： 院 （系）： 数 学 学 院 专 业： 数学与应用数学 毕业时间： 2010年6月 摘 要 利用经典steffensen不等式一般形式给出泰勒公式中拉格朗日型余项的一种估计。 研究了拉格朗日型余项估计中的估计问题，获得了它的一个渐进估计。 关键词 泰勒公式, steffensen不等式， 拉格朗日型余项, 渐进估计 Abstract This article give a estimate of remainder of Lagrange by using steffensen inequality. We also studies the estimate of in the remainder of Lagrange and obtains it’s asymptotic estimation。 Keywords Taylor’s formula, remainder of Lagrange, steffensen inequality，asymptotic estimation 拉格朗日余项估计 引言 对于一些比较复杂的函数，为了便于研究往往希望用一些简单的函数来近似表达。多项式函数是最为简单的一类函数，它只要对自变量进行有限次的加，减，乘三种算术运算，就能求出其函数值，因此，多项式经常被用于近似地表达函数，这种近似表达在数学上常称为逼近。英国数学家泰勒在这方面做出了不朽的贡献。其研究结果表明：具有直到阶导数的函数在一个点的领域内的值可以用函数在该点的函数值及各阶导数值组成的次多项式近似表达。 泰勒公式 如果函数在处可微，我们有 如果实际需要计较到的二阶无穷小，那么上述公式就没有任何意义。因此自然会提出这样的问题：在存在的条件下，能不能用的一个二次多项式来近似，并使得其误差当时是比高级的无穷小？把这一要求用公式写出来，就是 其中是三个常数。如果这个要求能被满足，我们问这三常数和该如何确定？ 首先，令得出 在这样的条件下，把改写为 在上式双方令，由于在可导，得 为了求出，注意到 对上式右边用洛必达法则，得 由于存在，可见 到此为止，我们证明了只有唯一的一个二次多项式，即 才能满足的要求。是不是多项式确实满足式的要求呢？答案是肯定的，这事因为使用一次洛必达法则便得出 ， 所以式成立。 定义 设函数在点有直到阶的导数，这里是任意给定的正整数。令 并称之为在点处的次泰勒（Taylor）多项式，的各项系数称为泰勒系数。 定理1 若函数在点存在直至阶导数，则有， 即 +。 证 设 现在只要证 易知与其泰勒多项式在点有相同的函数值和相同的直至阶导数值。即 因此，可得到， 并易知 因为存在，所以在点的某领域内存在阶导函数。于是，当且时，允许接连使用洛必达法则次，得到 0 定理所证的式称为函数在点处的泰勒公式，称为泰勒公式的余项，形如的余项称为佩亚诺型余项。所以式又称为带有佩亚诺型余项的泰勒公式。 泰勒公式在求极限中的作用 设： ， 且证明： 证 按题设，我们有 其中。又因存在，故 比较上面两式，得 从而有 由于 故由上式知存在，并且 求极限 解 先分解分母 当时，与为等价无穷小，与为等价无穷小，而。 因此原极限等于 但是 由此知原极限等于 求极限 解 记 取对数得 利用等式 得 根据可得 于是 由此即得 因而 若在点附近满足 ， ， 这时，并不意味着必定就是的泰勒多项式。例如 其中为狄利克雷函数。不难知道，在处除了外不再存在其他任何阶导数。因此无法构造出一个高于一次的泰勒多项式，但因 即 ，所以若取 时，对任何恒成立。 注2 满足式要求（即带有佩亚诺型误差）的次逼近多项式是唯一的。 综合定理1和上述注2，若函数满足定理1的条件时，满足式要求的逼近多项式只可能是的泰勒多项式。 上面我们从微分近似出发，推广得到用次多项式逼近函数的泰勒公式。它的佩亚诺型余项只是定性地告诉我们：当时，逼近误差是较高阶的无穷小量。现在我们将泰勒公式构造一个定量形式的余项，以便于对逼近误差进行具体的计算或估计。 定理 2 若函数在上存在直至阶的连续导函数，在内存在阶导函数，则对任意给定的，，至少存在一点使得 +。 证 作辅助函数 。 所要证明的式即为 或 不妨设，则与在上连续，在内可导，且 又因，所以由柯西中值定理得 ， 其中 式同样称为泰勒公式，它的余项为 ， ， 称为拉格朗日型余项。所以式又称为带有拉格朗日型余项的泰勒公式。 注意到时，式即为拉格朗日型中值公式 所以，泰勒定理可以看作拉格朗日中值定理的推广。 当 0时，得到泰勒公式 该式也称为 带有拉格朗日余项的 麦克劳林公式． 例4