全微分与多元泰勒公式近似计算的理论依据.pdfVIP

维普资讯 e {l #¨毒第i期 上 海 铁 道 学 院 学 报 Vo1．1d， 4 1993年 12日 JOURNAL OF SHANGHAl|NST~TUTE OF RAILW AY TECHNOLOGY Dec．，1993 … … 0 l教学研究i ·§ … … 0 全 微 分 和 多 元 泰 勒 公 式 近 似 计 算 的 理 论 依 据 干 亚 君 0l74．1 (琏 础 部 j 提 要 苯文指 出了菲赫 金哥 尔茨 同阶 毛穷小定 卫由于过 于挟隘 而造成应JfI上的矛 盾性 ，重新建立 了同琦晃穷小的本质定jL，建立 了它的判 剐法厦多元函数 的非零 的n瞒微分与n阶J。是同阶毛穷小∞性质，由此给出了奎微分知多元秦勒分式 近似计算和 多元函数 坦值充分性证明的依据 ，也为 《变分法 》中二阶变分符号 法求泛 函弱极值 的充分条件提供 T依据 。 关键词： 叠盐尘叁：多墨函数 中圈分类号{0]74．1}Ol7l 1 问题 的提 出 引八韭赫金哥尔菠为代表的同阶无穷小定义 (以下简称菲的同阶定义 ) 1im =o，ljm =o，若 1im ：c≠o，则说 卢与 d是同阶无穷小 … 。 a 按菲的同阶定义，对于一娄无穷小乘 以有界量所得的一元无穷小，例如 (si 1 +2) ， )，(sn÷一])关于牲本元无穷小y，或 兽(y +苦(XOY~) Ay d ：一百aV- ( y , 。)△2+2— (。，y。)△△+蓦(。，y。)△y2，关于基本元无穷 小p： 面 都是不可 比较的。尤其是多元函数各阶微分 dz，d …它们是大量 的 常用的△ ．Ay，…的无穷小，是组成基本理论公式全微分和多元綦勒公式的基本元，而 锥 的同阶定义对于基本元的同阶性或阶的确定性表现出无能为力 奉文于1992年3月2日收到，1999~e月2j日隹回 维普资讯 lO6 三 最 曩 匠 1．1 全微分近似计算的根据问题 关于一元函数微分近似计算根据问题，菲赫金哥尔茨揭示得非常 明白。他 写 遭： “Ay =Y A +0(A )．假如 △ ·O，则微分 dy也是无穷小，也 (在 ≠0)就是函数的无 穷小 增量 Ay的主部。这就使近似等jE^y dy获得根据” 。 冈为．由等阶慨念： ，()=g()+o(())=}，()-L- ()， 由菲同阶定义 知 dy： Ax与Ax同阶无穷小 ( ≠0)．所 以0(Ax)=0( △ )。即 Ay= △ +0( △ ) =}Ay dy 同理，一元泰勒公式近似计算也是获得根描的。 然而，全微分的近似计算根据是什么?文献 12]称它为增量 的线性主部。缘何为主部? 显然它 比一元微分复杂得多，愈 需要了铘它们可作近似计算 的根据 。但是，全微分的余项 仅仅提供余项关于与p相比阶的高低而巳．它不能反映 微分 自己与 0(p)相 比阶的高低 。 现 {午不妨将全微分与 p相比，求： 3。 !兰! 垒兰± n， ． _y 特取 A =矗△ ， p △+