多变量隐函数存在定理的证明-浙江外国语学院学报.PDF

２０１２年５月 浙　 江　 外　 国　 语　 学　 院　 学　 报 Ｍａｙ ２０１２ 第３期 ＪＯＵＲＮＡＬ ＯＦ ＺＨＥＪＩＡＮＧ ＩＮＴＥＲＮＡＴＩＯＮＡＬ ＳＴＵＤＩＥＳ ＵＮＩＶＥＲＳＩＴＹ Ｎｏ．３ 多变量隐函数存在定理的证明 金玲玲，李宏亮∗ （浙江外国语学院科学技术学院，浙江 杭州 ３１００１２） 　 　 摘　 要：采用两种不同方法证明了多变量隐函数存在定理．其中第二种证明方法巧妙利 用了多元函数微分中值定理，具体给出了隐函数存在邻域的大小． 关键词：隐函数；连续函数；存在定理；微分中值定理 － － － 中图分类号：Ｏ１７２　 文献标识码：Ａ　 文章编号：２０９５ ２０７４（２０１２）０３ ００７５ ０５ １　 引　 言 在数学分析中，隐函数存在定理是很重要的基本定理，它有许多重要的推广与应用．我们知道对 二元隐函数存在定理的证明已给出，可参看文献［１⁃３］．而多元隐函数存在定理虽然有了具体的描述， 却没有给出详细的证明．因此，本文致力于给出多变量隐函数存在定理的两种证明方法：第一种方法 是运用连续函数的性质进行证明；第二种方法是利用闭区域连续函数具有最大，最小值的性质及多元 函数微分中值定理来证，并具体给出了隐函数存在邻域的大小．在给出证明过程前，先回顾一下二元 隐函数存在定理． 定理１１　 （隐函数存在定理）若二次函数Ｆ（ｘ，ｙ）满足下列条件： ＝{ － － } （１）在矩形区域Ｄ （ｘ，ｙ）｜ ｘ ｘ ＜ａ， ｙ ｙ ＜ｂ 内有关于ｘ 和ｙ 的连续偏导数， ０ ０ ＝ （２）Ｆ（ｘ ，ｙ ） ０， ０ ０ （３）Ｆ （ｘ ，ｙ ）≠０， ｙ ０ ０ 则 ＝ ＝ （１） 在点（ｘ ，ｙ ）的某一邻域内，由方程Ｆ（ｘ，ｙ） ０可以确定唯一的函数ｙ ｆ （ｘ），也就是说，存 ０ ０ 在η＞０，当ｘ∈Ｏ （ｘ ）时，有 η ０ ＝ ＝ Ｆ（ｘ，ｆ（ｘ）） ０，并且ｙ ｆ（ｘ ）； ０ ０ （２）ｆ 在Ｏ （ｘ ）内连续； η ０ （３）ｆ 在Ｏ （ｘ ）内有连续的导数． η ０ ２　 多元隐函数存在定理的证明 ２１　 多元隐函数存在定理的证明１ ＋ ＝ 定理２１　 设ｎ １元函数Ｆ（ｘ ，ｘ ，…，ｘ ，ｙ） ０满足下列条件： １ ２ ｎ ０ ０ ＋ － ＝ － （１）在ｎ １维长方体｛（ｘ ，ｘ ，…，ｘ ，ｙ）｜｜ｘ ｘ ｜＜ａ ，ｉ １，２，…，ｎ，｜ｙ ｙ ｜＜ｂ｝内有对各个变量的 １ ２ ｎ ｉ ｉ ｉ 连续偏导数，