勒贝格可积.pdfVIP

维普资讯 广义黎曼积分 中的泰勒定理 H．B．THOMPgOM 一 介 绍 众所周知 ，在许 多教科书 中经常强调只要假设 (It+1)阶 导数的存在 ， 是控格 朗 日一柯西余项武成立的必要条件 而余项式的积分形式带有一些 附加 的条件 如 (n +I)阶导数的可积性等等。如果要采用象擎曼或勒贝格这样的积分， 这个附加的条 件是必须具备的。在本文 中，我们梅证 明当采用广义黎曼积分时，就不需要附加的 假设条件 。假如除了在有 限个可能点之外 ，函数的(n 1)阶导数存在 并且在闭区 间上第n阶导数是连续 的 那么 ，余埂式的积分是成立 的。况且 ， 在 除了区间的端 点之外 ，均存在 (n+1)阶导数具体情况下，由积分 的形式 ， 可以推导 出余顼式的拉 格朗 日一轲西公式 。 一 般地 ，广义黎曼积分普遍地被认为是Kurzwei【一完备黎曼估值积分 。它对于 Perro12积分，Luzin描述的D一‘积分和Benjoy严格定义的全积分 (也弥之为T～积 分)都是等价 的。对此 ，牛顿提 出了作为反微分 的积分 。在 19l2年至 1915年期 问， l}enjoy Luz|II和Pe“0n等人意识到勒贝格积分和牛顿积分下可完全地彼此包含 ， 他们对于包含 的牛顿积分和勒 贝格积分结 出了新 的积分定义 。由于Hake Looman和 AtekgandOW的工作 已证 明了Perr013撰分与Denjoy和11ieil1是等价性 的 因而证 明 Denjoy和Luzln积分的等价性是不 田难的。Kurzwe¨为了解决常微分方程 问趣， 提 出了他 的积分 ，并且证 明对于PeH013积分 它是等价 的 这方面lien Stock同时独 立地提 出了进介积分 问题 ，并且改进 了它的性质 。 在n：0时，泰勒定理的积分余顼式恰好是积分的基本定理 。由此 ，利用广义黎 曼积分 ，使得泰勒定理 的形式将满足弱可徽条件 ，这就不足为奇 了。 盛谢RVybDrny对本文作 出的很有实际价值 的评注和推荐 。 二 ． 预备知 识 有美广义黎曼积分 的详细论述 请读者参考有关这方面 的文献。对于连续 的导 数都存在的情况下 我们所采用的积分余顼式的证 明方法，它和通常的证 明方法是 略有不同的，因此 ，我们要掌握积分基本定理的适 当形式 及与之有关的分部积分 定理的知识。谊方面的一些晟新资料 ，可在本期美 国数学 月讨上找到 (看文献14)。 ’ 为了说 明问题 ，我们将简要给 出广义积分的定义及其基本性质 。 对于闭区间 [ab】上的划分T，通过给它们加上一系列的标记号后， 我们将它 们作成一个集合 ： {x…X … X，t．t ” t) 对于aO 使满足 ： a x。≤ t．≤Xl≤ t≤X ≤ … ≤x= b ～ 85 维普资讯 正函数 6： 0【．b1_-R。，设正数 6是 一个合于闭区．闻 a【，b 的小区间 那么 ，划 分T被 认为是 6的纲 。 如 果 。，x．]曼 ，． 0 t十 6 ，) l=i2，{-1·I1． 郝 幺 按照平均分剃殛 区阍套定理 ．很客 易证 明 对于任何 包音在 闭区问 a【，b]上 ∞小 区域 来