二元函数的连续、偏导数、可微之间的关系.pdf
摘要1 关键词1 Abstract1 Key words1 引言1 1 二元函数连续、偏导数、可微三个概念的定义1 2 二元函数连续、偏导数、可微三个概念之间的关系2 二元函数连续与偏导数存在之间的关系2 二元函数连续与可微之间的关系3 二元函数可微与偏导数存在之间的关系3 二元函数可微与偏导数连续之间的关系4 二元函数连续、偏导数、可微的关系图6 参考文献7 致谢8 二元函数的连续、偏导数、可微之间的关系 摘要 一元函数可微与可导等价，可导必连续.但二元函数并非如此，以下文章给出了二元函数连续、偏导数、可微之间的关系，并给出了简单的证明，且用实例说明了它们之间的无关性和在一定条件下所具有的共性.关键词 二元函数 连续 偏导数 可微 The Relationship among Continuation,Partial Derivatives and Differentiability in Binary Function Abstract Unary function differentiable with derivative equivalent,will be continuously differentiable.But the dual function is not the case,the following article gives a continuous function of two variables,partial derivatives,can be said the relationship between them,and gives a simple show,and illustrated with examples related between them and under certain conditions have in common.Key words binary function continuation partial derivatives differentiability 引言 二元函数的偏导数存在、函数连续、可微是二元函数微分学的三个重要概念.对于学习数学分析的人来说，必须弄清三者之间的关系，才能学好、掌握与之相关的理论知识.本文详细讨论这三者之间的关系.1 二元函数连续、偏导数、可微三个概念的定义 定义 1 设f为定义在点集2DR上的二元函数，0DP（0P或者是D的聚点，或者是D的孤立点），对于任给的正数，总存在相应的正数，只要0,)(DPU P，就有0)|()(f Pf P，则称f关于集合D在点0P连续.定义 2 设函数(,),(,)zf x yx yD，若00,)(yDx且0,)(yf x在0 x的某一邻域内有定义，则当极限00000000(,)(,)(,limlimxxxf xyf xyf xx yxx 存在时，则称这个极限为函数f在点00,)(yx关于x的偏导数，记作00(,)|xyfx.定义 3 设函数(,)zf x y在点000,)(yP x某邻域0()U P内有定义，对于0()U P中的点00,)(,)(yP x yxxy，若 函 数f在 点0P处 的 全 增 量 可 表 示 为0000)(,)(,()Azf xx yyf xyxB y ，其中A、B是仅与点0P有关的常数，22,()xy 是较高阶的无穷小量，则称函数f在点0P处可微.2 二元函数连续、偏导数、可微三个概念之间的关系 二元函数连续与偏导数存在之间的关系 例1122,(,)(0,0)(,)0,(,)(0,0)xyx yxyf x yx y 在(0,0)偏导数存在但不连续.证明 因为 00(,0)(0,0)00(0,0)limlim0 xxxf xffxx，同理可知 (0,0)0yf.所以 (,)f x y在(0,0)偏导数存在.因为220,0limxyxyxy 极限不存在，所以 (,)f x y 在(0,0)不连续.例2222(,)f x yxy 在(0,0)点连续，但不存在偏导数.证明 因为 220,00,0lim(,)lim0(0,0)xyxyf x yxyf，所以 22(,)f x yxy 在(0,0)点连续，因为 200(,0)(0,0)(0,0)limlimxxxf xfxfxx,该极限不存在，同理 (0,0)yf也不存在.所以 22(,)f x yxy 在点(0,0)连续，但不存在偏导数.此二例说明:二元函数连续与偏导数存在不等价，偏导数存在不一定连续，连续不一定偏导数存在.这与一元函数不同.一元函数中，可导一定连续，连续不一定可导.二元函数连续与可微之间的关系 定理13 若(,)zf x y在点(,)x y可微，则(,)zf x y在点(,)x y一定连续.证明 (,)zf x y在点(,)x y可微，0000)(,)(,()Azf xx yyf xyxB y (1)所以 当0,0 xy 时，有0z，即 (,)zf x y在该点连续.例34 证明22,(,)(0,0)(,)0,(,)(0,0)xyx yf x yxyx y在(0,0)点连续，但在(0,0)点不可微.证明 令cos,sinxryr，则(,)00 x yr.因为 222cossin|cossin|0(0)xyrrrrrxy,所以(,)f x y在(0,0)点连续.按偏导数定义00(,0)(0,0)0(0,0)limlim0 xxxfxffxx ,同理 (0,0)0yf .若(,)f x y在点(0,0)可微，则 22(0,0)(0,0)(0,0)(0,0)xyx yzdzfxyffxfyxy 应是22xy较高阶的无穷小量.因为2200limlimzdzx yxy 该极限不存在,所以(,)f x y在点(0,0)不可微.此例说明:二元函数在某点连续，不一定可微，但可微一定连续.这与一元函数有相同的结论.二元函数可微与偏导数存在之间的关系 定理25 若二元函数f在其定义域内一点00,)(yx处可微，则f在该点关于每个自变量的偏导数都存在，且(1)式中的0000,),)(xyAfyBfyxx.证明 因为(,)zf x y在点(,)x y可微，则 0000)(,)(,()Azf xx yyf xyxB y .若令上式中0y ,则0000(,)(,)(|)zf xx yf xyA xx,所以 000000(,)(,)(|)limlimxxAxf xx yf x yxAx .即Azx.类似可证Bzy.例46 设2222222,0(,)0,0 x yxyxyf x yxy,则(,)f x y在点(0,0)偏导数存在，但在该点不可微.解 事实上（1）0(,0)(0,0)(0,0)lim0 xxf xffx，0(0,)(0,0)(0,0)lim0yyfyffy,故 (,)f x y在点(0,0)偏导数存在.（2）因为 222 300,0limlim()xyfdfxyxy ，此时若令yk x ，则2322 332 30,00,0limlim()|(1)xyxyxyk xxyxk ，此极限显然不存在，所以0limfdf 不存在，所以 (,)f x y在点(0,0)不可微.此例说明:二元函数中，偏导数存在不一定可微；可微则偏导数存在.这与一元函数中，可微与可导等价有区别.函数可微与偏导数连续之间的关系 定理37 若二元函数(,)zf x y的偏导数在点00(,)x y的某邻域内存在，且xf与yf在点00(,)x y处连续，则函数f在点00(,)x y处可微.证明 我们把全增量0000,)(,)(yf xyzf xxy 00000000,),),)(,)(yyyf xyf xxyf xyf xy 在第一个括号里，它是函数0,)(yf xy关于x的偏增量;在第二个括号里，则是函数0(,)f xy关于y的偏增量.对它们分别应用一元函数的拉格朗日中值定理，得 010002,),()xyyyzfxxyxfxyy 12,10 （2）由于xf与yf在点00(,)x y处连续，因此有 01000,)(,)(xxyxyfxxyf，（3）00200,(,)()yyyxyfxyf,（4）其中 当0,0 xy 时，有0,0.将（3），（4）代入（2）式，则得0000(,)(,)xyxyxyzfxfyxy .所以 函数f在点00(,)x y处可微.例5822221()sin,(,)(0,0)(,)0,(,)(0,0)xyx yf x yxyx y在(0,0)处可微，但(,)xfx y与(,)yfx y均在(0,0)处不连续.解 因为22220,01lim()sin0(0,0)xyxyfxy,所以(,)f x y在(0,0)处连续.22001sin(,0)(0,0)(0,0)limlim0 xxxxf xfxfxx,同理 (0,0)0yf.当220 xy时，2222220,011lim2 sincosxxyxfxxyxyxy极限不存在,故(,)xfx y在点(0,0)不连续.同理可证(,)yfx y在(0,0)处不连续.222222001()sinlimlim0 xyxyfdfxy,所以(,)f x y在(0,0)处可微.此例说明 二元函数偏导数连续并不是可微的必要条件.由此可知定理 3 是可微的充分条件.由此引出定理4，降低函数可微的条件.定理49 若(,)f x y在0()U P内(,)xfx y存在，且(,)xfx y在00(,)oP xy连续，(,)yfx y在0P存在，证明：f在0P可微.证明 0000(,)(,)ff xx yyf xy 00000000(,)(,)(,)(,)f xx yyf xyyf xyyf xy 由已知(,)xfx y存在，且在0(,)oxy连续,有0000010(,)(,)(,)xf xx yyf xyyfxx yyx 0011(,)(0)xfxyxx,因为 0000000(,)(,)lim(,)yyf xyyf xyfxyy，所以 00000022(,)(,)(,)(0)yf xyyf xyfxyyy ，又因 1212|0 xy，所以 f在点0P可微.注 此定理中(,)xfx y与(,)yfx y互换，结论仍然成立.二元函数连续、偏导数、可微的关系如图 二元函数连续 二元函数偏导数存在 二元函数可微 二元函数偏导数连续 参考文献 1常庚哲，史济怀，数学分析M.北京：高等教育出版社，：97 2刘文灿，刘夜英，数学分析M.西安：陕西人民出版社，：116 3朱正佑，数学分析M.上海：上海大学出版社，：188 4黄玉民，李成章，数学分析M.北京：科学出版社，：61-62 5华东师范大学数学系.数学分析（第二版）M.北京：高等教育出版社，110 6周良金，王爱国，函数连续及可微的关系J.高等函授学报，19（5）：35 7陈纪修，於崇华，金路，数学分析（第二版）M.北京：高等教育出版社，：142-143 8刘新波，数学分析选讲M.哈尔滨：哈尔滨工业大学出版社，：151 9大学数学名师导学丛书编写组，数学分析名师导学M.北京：中国水利水电出版社，2004：147-148 致谢 感谢老师对本论文从选题、构思、资料收集到最后定稿的各个环节给予的指引和教导，使我对分段函数的分析性质有了更深刻的认识，并最终得以完成毕业论文，对此我表示衷心的感谢，老师严谨的治学态度、丰富渊博的知识、敏锐的学术思维、精益求精的工作态度、积极进取的科研精神以及诲人不倦的师者风范是我毕生的学习楷模.通过这一阶段的努力，我的毕业论文已接近尾声，作为一个本科生的毕业论文，由于经验的匮乏，难免有许多考虑不周全的地方，如果没有老师的亲切关怀和悉心指导，完成本次毕业论文将变得十分困难.老师平日工作繁多，但在这篇论文的写作过程中，老师不辞辛劳，多次就论文中许多核心的问题做深入细致的探讨并给我提出切实可行的指导性建议，才最终得以完成本次毕业论文.老师的这种一丝不苟的负责精神，使我深受感动.在此，请允许我向尊敬的老师表示真挚的谢意.最后，还要感谢我的辅导员在这四年来对我的帮助与鼓励，以及院系的所有领导对我的栽培与支持.并向在百忙中抽出时间对本论文进行评审，并提出宝贵意见的各位老师表示衷心的感谢，致以最崇高的敬意.
