请教各位数学大神,二元函数按单变量连续与偏导连续之间存在关系吗?

安单变量连续的二元函数满足一定条件就会得出全面连续;而偏导连续可以得出可微,进而也可以得出全面连续。所以小弟有些疑问,就是按单变量连续和偏导连续之间有什么样的关系~

没有什么特别值得注意的关系,偏导数连续的二元函数一定按单变量连续,而按单变量连续的二元函数,即使加一些条件,也很难保证偏导连续,因为通常所加的比较弱的条件后只能保证函数全面连续,但全面连续的函数连偏导是否存在都不一定,更不要说偏导连续了。追问

大神再问一下:可以证明如果二元函数分别对x和y连续,且对x连续关于y一致,则可以得出全棉连续。那么能否由"偏导连续"直接推出"对x连续关于y一致"呢?(不通过"偏导连续则可微"这一途径)

追答

不能,比如在区域D:(0,1)*(0,1)上考虑函数f(x,y)=1/y,它对x和y的偏导都是连续的,而且f(x,y)关于x连续,但是对y不一致,因为"对x连续关于y一致"可以表示为,先给定x0,对任意y1,y2,ε,存在δ使得当|y1-y2|<δ时,就有|f(x,y1)-f(x0,y2)|<ε,本例中就是|1/y1-1/y2|<ε,用证明f(x)=1/x在(0,1)上不一致连续的方法,就可以看出|1/y1-1/y2|<ε是不成立的,因此虽然f(x,y)的偏导数连续,但它对某个变量连续对另一变量不一定一致。我觉得本质上是因为"二元函数分别对x和y连续,且对x连续关于y一致"是“二元函数全面连续”的充分非必要条件,因为若非如此,即这个条件假如是充要的,那么由偏导数连续,函数可微,函数全面连续,这“一路”推理下来,就得出"二元函数分别对x和y连续,且对x连续关于y一致"这个“结论”了。

追问

膜拜中!!可是书上是这样解释对x连续关于y一致的:任意

书上是这样解释对x连续关于y一致的:对任意的x0,ε,存在与y无关的$(打不出得儿塔那个符号),当|x-x0|<$时,对一切y恒有|f(x,y)-f(x0,y)|<ε。跟大神的说法不太一样啊〜这样解释的话对大神举的那个反例能得出怎样的结论呢?

追答

这两种说法本质是一样的,按照书上的说法(其实我的书上也是这么写的,呵呵)对一切y恒有|f(x,y)-f(x0,y)|<ε,怎么保证“对一切y”呢?还不是得在这“一切的y”内随意挑出2个y1和y2,然后要求|f(x,y1)-f(x0,y2)|<ε,这就变成了我的那种说法了,正是这y1和y2的任意性才保证了“对一切y”。另外回顾一元函数中一致连续的定义,这两种说法也都是有的,有时说"对任意x1和x2,只要|x1-x2|<δ,就有|f(x1)-f(x2)|<ε“,也有时说”对于任意的x0,能找到与x无关的δ,只要|x-x0|<δ,就有|f(x)-f(x0)|<ε“。

追问

嗯嗯!懂啦〜谢谢大神细心和耐心的解释啊!给跪了!身为菜鸟的我一定要向大神看齐追逐大神的脚步!!

追答

谢谢夸奖。。。很高兴对你有帮助

温馨提示:答案为网友推荐,仅供参考
相似回答