AM@重极限@多元函数增量@二元函数连续
  YKlbyZv8AQAt 2023年11月19日 23 0



文章目录

  • abstract
  • 重极限
  • 二重极限
  • 趋近方式(路径)
  • 重极限不存在的判定
  • 常用路径选择
  • 二元函数连续👺
  • 全增量
  • 偏增量
  • 连续的增量式定义
  • 区域上连续@连续函数
  • 二元初等函数
  • 由连续计算极限👺
  • 小结
  • 有界闭区域上二元连续函数的性质
  • 有界性和最值定理
  • 介值定理


abstract

  • 多元函数重极限
  • 多元函数的增量:全增量和偏增量
  • 二元函数连续

重极限

  • 借助AM@重极限@多元函数增量@二元函数连续_二元函数维空间邻域的概念可以定义出AM@重极限@多元函数增量@二元函数连续_二元函数元函数的极限,称为AM@重极限@多元函数增量@二元函数连续_二元函数重极限
  • 这里主要讨论二元函数对应的二重极限

二重极限

  • 和一重极限(一元函数的极限)类似地可以用AM@重极限@多元函数增量@二元函数连续_邻域_04语言描述二重极限,重点在于AM@重极限@多元函数增量@二元函数连续_邻域_05路径要求是任意路径
  • 二元函数的二重极限表示为
  • AM@重极限@多元函数增量@二元函数连续_邻域_06AM@重极限@多元函数增量@二元函数连续_重极限_07AM@重极限@多元函数增量@二元函数连续_邻域_08
  • 选定趋近路径后
  • 若选AM@重极限@多元函数增量@二元函数连续_有界性_09可以表示为AM@重极限@多元函数增量@二元函数连续_有界性_10=AM@重极限@多元函数增量@二元函数连续_二元函数_11(化为一元函数的极限问题)
  • 类似的,可以选定AM@重极限@多元函数增量@二元函数连续_二元函数_12,AM@重极限@多元函数增量@二元函数连续_邻域_13=AM@重极限@多元函数增量@二元函数连续_邻域_14
  • AM@重极限@多元函数增量@二元函数连续_有界性_15都可能是常数
  • 二重极限实质上和一重极限相同,单前者在自变量趋近方式上比后者复杂,因此判断和计算二重极限的问题上也要更加复杂
  • 当为二重极限选定某一趋近方式后,二重极限转换为一重极限计算
  • 例如,AM@重极限@多元函数增量@二元函数连续_二元函数_16=AM@重极限@多元函数增量@二元函数连续_二元函数_17;则AM@重极限@多元函数增量@二元函数连续_邻域_18(1)是否存在?
  • 若选定趋近路径为(AM@重极限@多元函数增量@二元函数连续_有界性_19上的直线)AM@重极限@多元函数增量@二元函数连续_邻域_20,表示为
  • AM@重极限@多元函数增量@二元函数连续_二元函数_21=AM@重极限@多元函数增量@二元函数连续_重极限_22=AM@重极限@多元函数增量@二元函数连续_重极限_23=AM@重极限@多元函数增量@二元函数连续_有界性_24=AM@重极限@多元函数增量@二元函数连续_有界性_25(2)
  • 这是一个与AM@重极限@多元函数增量@二元函数连续_邻域_26的取值有关的极限值,当AM@重极限@多元函数增量@二元函数连续_邻域_26取不同值时,对应的趋近方式AM@重极限@多元函数增量@二元函数连续_二元函数_28也就不同,相应的极限值也会不同
  • 这说明所求二重极限不存在
  • 当选定好某一路径后(对于二重极限,趋近路径为二元函数定义域平面上的某一曲线或直线对应的函数),可以选好的路径以函数代入的方式表示,如式(2)的方式那样

趋近方式(路径)

  • 在一元函数中,自变量AM@重极限@多元函数增量@二元函数连续_重极限_29实质上仅有两种趋近方式,即AM@重极限@多元函数增量@二元函数连续_邻域_30AM@重极限@多元函数增量@二元函数连续_邻域_31
  • 在二元函数中,自变量AM@重极限@多元函数增量@二元函数连续_邻域_32的趋近方式是无穷无尽的,比如,它可可以沿着某一直线,或任何曲线,任何方向的趋近于AM@重极限@多元函数增量@二元函数连续_邻域_33
  • 显然,若想要通过选取有限个趋近方式(路径)求极限判断一个二元函数的二重极限是否存在,是不靠谱的

重极限不存在的判定

  • 但如果能够找到某两个趋近方式下极限不都存在或者不相等,则可以断定该极限不存在
  • 对于某些函数,可以通过求其绝对值函数的极限,或经过放大等手法,结合重极限的定义来证明(验证)二重极限值
  • AM@重极限@多元函数增量@二元函数连续_二元函数_34

常用路径选择

  • AM@重极限@多元函数增量@二元函数连续_二元函数_35
  • AM@重极限@多元函数增量@二元函数连续_二元函数_36
  • AM@重极限@多元函数增量@二元函数连续_重极限_37
  • AM@重极限@多元函数增量@二元函数连续_重极限_38
  • AM@重极限@多元函数增量@二元函数连续_邻域_39=AM@重极限@多元函数增量@二元函数连续_二元函数_40,证明AM@重极限@多元函数增量@二元函数连续_邻域_41=0(0)
  • 观察到AM@重极限@多元函数增量@二元函数连续_二元函数_16中有一个有界函数因子AM@重极限@多元函数增量@二元函数连续_重极限_43,
  • AM@重极限@多元函数增量@二元函数连续_重极限_44
  • AM@重极限@多元函数增量@二元函数连续_二元函数_45,欲使AM@重极限@多元函数增量@二元函数连续_重极限_46(1),放大为AM@重极限@多元函数增量@二元函数连续_邻域_47(1-1),只要取AM@重极限@多元函数增量@二元函数连续_邻域_48,则当AM@重极限@多元函数增量@二元函数连续_重极限_49时,总满足(1-1),也就满足(1),所以结论(0)成立
  • 证明函数AM@重极限@多元函数增量@二元函数连续_邻域_39=AM@重极限@多元函数增量@二元函数连续_有界性_51,AM@重极限@多元函数增量@二元函数连续_二元函数_52;AM@重极限@多元函数增量@二元函数连续_重极限_53,AM@重极限@多元函数增量@二元函数连续_重极限_54在点AM@重极限@多元函数增量@二元函数连续_有界性_55处的极限AM@重极限@多元函数增量@二元函数连续_邻域_56不存在(0)
  • 只要找到两条趋近AM@重极限@多元函数增量@二元函数连续_邻域_57的路径不满足极限相等,即可证明结论(0)
  • 路径1:直线AM@重极限@多元函数增量@二元函数连续_二元函数_58,即AM@重极限@多元函数增量@二元函数连续_邻域_18=AM@重极限@多元函数增量@二元函数连续_重极限_60=AM@重极限@多元函数增量@二元函数连续_二元函数_61=AM@重极限@多元函数增量@二元函数连续_有界性_62=0
  • 路劲2:直线AM@重极限@多元函数增量@二元函数连续_二元函数_63,即AM@重极限@多元函数增量@二元函数连续_邻域_18=AM@重极限@多元函数增量@二元函数连续_邻域_65=AM@重极限@多元函数增量@二元函数连续_二元函数_66=AM@重极限@多元函数增量@二元函数连续_二元函数_67=AM@重极限@多元函数增量@二元函数连续_邻域_68
  • 显然两个路径下得到的极限值不相等,因此结论(0)成立

二元函数连续👺

  • 设二元函数AM@重极限@多元函数增量@二元函数连续_邻域_69在点AM@重极限@多元函数增量@二元函数连续_重极限_70处的某一邻域内有定义,若AM@重极限@多元函数增量@二元函数连续_邻域_71=AM@重极限@多元函数增量@二元函数连续_邻域_72(1),则称AM@重极限@多元函数增量@二元函数连续_邻域_39AM@重极限@多元函数增量@二元函数连续_邻域_74处连续,AM@重极限@多元函数增量@二元函数连续_邻域_74AM@重极限@多元函数增量@二元函数连续_邻域_39AM@重极限@多元函数增量@二元函数连续_邻域_39连续点
  • 否则称AM@重极限@多元函数增量@二元函数连续_二元函数_78AM@重极限@多元函数增量@二元函数连续_邻域_39的不连续点或间断点

全增量

  • 设二元函数AM@重极限@多元函数增量@二元函数连续_邻域_69的自变量AM@重极限@多元函数增量@二元函数连续_邻域_81AM@重极限@多元函数增量@二元函数连续_有界性_82处分别有增量AM@重极限@多元函数增量@二元函数连续_重极限_83时,称相应的函数AM@重极限@多元函数增量@二元函数连续_二元函数_84的增量为AM@重极限@多元函数增量@二元函数连续_二元函数_85=AM@重极限@多元函数增量@二元函数连续_重极限_86-AM@重极限@多元函数增量@二元函数连续_邻域_72为函数AM@重极限@多元函数增量@二元函数连续_邻域_39AM@重极限@多元函数增量@二元函数连续_邻域_74处的全增量

偏增量

  • 函数AM@重极限@多元函数增量@二元函数连续_邻域_69在点AM@重极限@多元函数增量@二元函数连续_邻域_74处对AM@重极限@多元函数增量@二元函数连续_邻域_92偏增量AM@重极限@多元函数增量@二元函数连续_二元函数_93=AM@重极限@多元函数增量@二元函数连续_重极限_94-AM@重极限@多元函数增量@二元函数连续_邻域_72
  • 类似的,在AM@重极限@多元函数增量@二元函数连续_二元函数_78处对AM@重极限@多元函数增量@二元函数连续_重极限_97的偏增量为AM@重极限@多元函数增量@二元函数连续_邻域_98=AM@重极限@多元函数增量@二元函数连续_二元函数_99-AM@重极限@多元函数增量@二元函数连续_邻域_72

连续的增量式定义

  • AM@重极限@多元函数增量@二元函数连续_邻域_101;AM@重极限@多元函数增量@二元函数连续_二元函数_102;则AM@重极限@多元函数增量@二元函数连续_二元函数_103分别对应有AM@重极限@多元函数增量@二元函数连续_邻域_104;AM@重极限@多元函数增量@二元函数连续_重极限_105
  • AM@重极限@多元函数增量@二元函数连续_重极限_106,即AM@重极限@多元函数增量@二元函数连续_二元函数_107=0时,AM@重极限@多元函数增量@二元函数连续_邻域_39在点AM@重极限@多元函数增量@二元函数连续_邻域_74处连续

区域上连续@连续函数

  • AM@重极限@多元函数增量@二元函数连续_邻域_39在区域AM@重极限@多元函数增量@二元函数连续_二元函数_111上的每一点都连续,则称该函数在区域AM@重极限@多元函数增量@二元函数连续_二元函数_111上连续,或者称AM@重极限@多元函数增量@二元函数连续_邻域_39AM@重极限@多元函数增量@二元函数连续_二元函数_111上的连续函数
  • 由二元函数极限运算法则,可以证明二元函数的四则运算(和差积商,在分母不为0处)仍然为连续函数
  • 二元连续函数的复合函数也是连续函数

二元初等函数

  • 与一元函数类似,由两个不同自变量的基本初等函数经过有限次四则运算复合运算构成的可以用一个式子表示的二元函数称为二元初等函数
  • 一切二元初等函数在其定义区域内(包含在定义域内的区域或闭区域)都是连续的

由连续计算极限👺

  • 直接由极限的定义计算二元函数AM@重极限@多元函数增量@二元函数连续_有界性_115在某处的极限是不容易的,即便是验证极限值猜想,也是不容易
  • 而若知道二元函数AM@重极限@多元函数增量@二元函数连续_有界性_115在某区间上是连续的,则由连续的定义可知,可以通过求函数在AM@重极限@多元函数增量@二元函数连续_二元函数_117处的函数值AM@重极限@多元函数增量@二元函数连续_二元函数_118来得到函数AM@重极限@多元函数增量@二元函数连续_邻域_119AM@重极限@多元函数增量@二元函数连续_邻域_120处的极限,即AM@重极限@多元函数增量@二元函数连续_二元函数_121=AM@重极限@多元函数增量@二元函数连续_二元函数_118(2)
  • AM@重极限@多元函数增量@二元函数连续_二元函数_16=AM@重极限@多元函数增量@二元函数连续_邻域_124是初等函数,其在定义域AM@重极限@多元函数增量@二元函数连续_有界性_125上是连续函数,其间断点是整个圆周AM@重极限@多元函数增量@二元函数连续_二元函数_126
  • AM@重极限@多元函数增量@二元函数连续_有界性_127=AM@重极限@多元函数增量@二元函数连续_有界性_128=7,直接应用上述公式(2)
  • 有时需要通过变形来应用公式(2)
  • AM@重极限@多元函数增量@二元函数连续_二元函数_16=AM@重极限@多元函数增量@二元函数连续_邻域_130;求AM@重极限@多元函数增量@二元函数连续_有界性_131
  • AM@重极限@多元函数增量@二元函数连续_重极限_132=AM@重极限@多元函数增量@二元函数连续_有界性_133=AM@重极限@多元函数增量@二元函数连续_有界性_134,可知AM@重极限@多元函数增量@二元函数连续_重极限_132AM@重极限@多元函数增量@二元函数连续_二元函数_136处连续
  • AM@重极限@多元函数增量@二元函数连续_有界性_137=AM@重极限@多元函数增量@二元函数连续_重极限_138=AM@重极限@多元函数增量@二元函数连续_二元函数_139

小结

  • 从连续的定义可以看出,判断函数在某点处连续与否,取决于在该点处是否存在对应的极限,即连续问题就是极限问题
  • 反之,利用已知连续的结论,可以求某些极限问题

有界闭区域上二元连续函数的性质

  • 和一元连续函数的性质类似,在**有界闭区域AM@重极限@多元函数增量@二元函数连续_二元函数_111**的二元连续函数具有如下性质:有界性和最值定理;介值定理

有界性和最值定理

  • 有界闭区域AM@重极限@多元函数增量@二元函数连续_二元函数_111上的二元连续函数,必定在AM@重极限@多元函数增量@二元函数连续_二元函数_111上有界,且能取得它的最大值和最小值

介值定理

  • 有界闭区域AM@重极限@多元函数增量@二元函数连续_二元函数_111上的二元连续函数必取得介于最大值和最小值之间的任何值


【版权声明】本文内容来自摩杜云社区用户原创、第三方投稿、转载,内容版权归原作者所有。本网站的目的在于传递更多信息,不拥有版权,亦不承担相应法律责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@moduyun.com

  1. 分享:
最后一次编辑于 2023年11月19日 0

暂无评论

YKlbyZv8AQAt