教案例第一讲整体与部分

数学分析方法论选讲第一讲整体与部分3姚正安§1.3重极限和路径极限本节我们考察多元函数的极限,也就是整体极限(重极限)与部分极限(方向极限或路径极限)的关系.为方便起见,我们仅讨论二元函数的极限,当然包括全微分和方向导数,以及上、下极限与连续性.值得注意的是单变量函数与多变量函数的根本区别在于对单变量而言趋于某点仅有两个方向,而对多变量却有无穷多个方向,而趋于某点的路径则更多.问题1.3.1海涅Heine定理:yxfyyxx,lim00存在的充要条件是对任给的点列nP,000,limyxPPnn,0PPn,nP落在yxf,的定义域内且nnPflim存在.证明:本问题的证明与问题4.2.1的证明完全类似,证明留给读者．在多就是函数中,所谓的方向极限即沿某一方向取极限.所谓的路径极限即是沿某一路径取极限．问题2.3.1重极限存在，则任两条路径极限存在且相等.分析:所谓的路径极限即是某曲线C落在yxf,的定义域中,且此曲线C过点00,yx,当Cyx,,取00,,yxyx时yxf,的极限.证明:设Ayxfyyxx,lim00,则对任给的0,存在0,当000,0yyxx且yx,落在yxf,的定义域中时,有Ayxf,.由路径C过点00,yx,且Cyx,,00,,yxyx,从而当000,0yyxx时,有Ayxf,,于是有AyxfCyxyxyx,lim,00,,.方向极限当然是一种路径极限,从而当重极限存在时,落在定义域的方向极限一定存在，反之不一定正确，我们也常用问题1.3.1的逆否命题来证明。下面我们来介绍一种常规的扰动技巧。数学分析方法论选讲问题1.3.3（1）证明当)0,0(),yx（时，函数yxxy的方向极限存在但重极限不存在；（2）24200limyxyxyx不存在，但沿任意方向，方向极限为0。【证明】（1）设通过原点的方向为0，则方向极限为0)sin(cossincoslimlim00sincos00000020yxxyyxyx,我们看到0yx不在定义域内，但如某点无限靠近0yx，则yxxy可充分大，我们用扰动方法，取,:3xxyC则330),(00)(limlimxxxxyxxyxCyxyx不存在。由问题1.3.2，知yxxyyx00lim不存在。（2）取0:1yC，则00limlim40242),(001xyxyxxCyxyx。取22:xyC，则212limlim4402422),(00xxyxyxxCyxyx。由问题1.3.2知24200limyxyxyx不存在，但对任给的方向000sin,cos:yx，方向极限为：数学分析方法论选讲020420020242sin,cos00sincossincoslimlim00yxyxyxyx（i）0sin0，则1cos0，从而此方向极限为0。（ii）0sin0,则方向极限为0sin0sincossincoslim02020420020。注意：从问题1.3.3的（2）可知，二元函数与一元函数的极限已有区别，在一元函数中，两个方向极限（左、右极限）存在且相等，则极限存在，但这里则不然，即使对任给的方向极限存在且相等，但重极限任可能不存在。问题1.3.4设),(yxf的定义域是连通的（即任给定义域中两点，可用一折线连结），则Lyxfyyxx),(lim00的充要条件是),(yx沿任何连续曲线趋于),(00yx时，),(yxf趋于L。【证明】问题1.3.2已证明了必要性，下证充分性。任取),(),(00yxyxnn，由连续性依次连接点列)},{(nnyx的相邻各点即得一连续曲线，那么),(yxf则沿此连续曲线趋于),(00yx时，),(yxf趋于L。因),(nnyx为任意趋于),(00yx的点列，根据海涅（Heine）定理，Lyxfyyxx),(lim00。其实，从证明中我们看到，如果),(yxf的定义域为有限个连通分支，问题1.3.4仍正确，只是我们把落在各连通分支的点分别做一连续曲线，然后可证得相应结论，现在我们可以弄清单变量函数与多变量函数的本质区别，对单变量而言，通过点),(00yx的连续路径总摆脱不了左、右方向趋于),(00yx，而对多变量区域而言，一连续路径可能根本不沿任何方向，而是绕“曲线”趋于),(00yx，如3xxy，所以方向极限非本质极限，这也反映了单变量函数部分极限的简单性和多边量函数部分极限的复杂性。同样对单变量函数和多变量函数的微分学而言，由定义域简繁导致了本质的区别，在单变量微分学中，可导必可微，对于多变量微分学，甚至即使所有的方向导数存在也未必可微。数学分析方法论选讲问题1.3.5二元函数),(yxf在点),(00yx可微，必存在所有方向的方向导数，而且相反方向的方向导数互为相反数。【分析】先弄清可微与方向导数的概念。令222020)()(yxyyxx＝，所谓的可微即是存在常数A、B使得0lim0dzz这里),(),(),(),(000000yxfyyxxfyxfyxfz，yBxAyyBxxAdz)()(00。而沿方向0的方向导数为),()sin,cos(lim0000000yxfyxf。【证明】设),(yxfz在),(00yx可微，则由)(dzz，得)(sincos),()sin,cos(00000000oBAyxfyxf。由此沿0的方向导数为000sincosBAf。又注意到0的反方向为0，我们有)sin,(cos))sin(),(cos(0000，所以可证最后的结论。在方向导数中取00＝，即为偏导数xf，取20，即得偏导数yf，这是在可微的前提下，如果不可微，即使沿00＝的方向导数存在，也未必有xf存在。例如取,0,1,0,0),(xxyxf则沿00＝的方向导数存在，但xfxfxfx)0,0()0,0(lim0不存在。一般地，我们知道，可微必可导，可微必连续，但连续与偏导数存在一般没有什数学分析方法论选讲么关系，而且问题1.3.5的逆命题不正确。问题1.3.6证明22),(yxyxf在)0,0(沿任何方向的方向导数存在且相等，但偏导数不存在，从而不可微。【证明】10lim)0,0()sin,cos(lim0000)0,0(0fff。但xxxxxfxx0220)0,0(lim0lim不存在。同理)0,0(yf不存在。我们亦可用问题1.3.5来证。即使有偏导数存在，各方向导数存在也未必可微。问题1.3.7证明xyyxf),(在)0,0(存在偏导数，且存在各方向导数，证明),(yxf在)0,0(不可微。【证明】00lim)0,0()0,0(lim)0,0(00xxxfxffxxx。同理0)0,0(yf。对方向0，有000000sincos)0,0()sin,cos(limfff另外，假定),(yxf在)0,0(可微，则0)0,0()0,0(yyfxxfdz，从而0lim0dzz。但0sincos)sin,cos(limlim00fdzz（这里sin,cosyx），矛盾。从此问题的证明中我们可以看到可微要求的是更强的条件，因为可微仍是一个二元函数的数学分析方法论选讲极限，只是此时的变量为),yx（，所以我们有问题1.3.8设),(yxfz的定义域为有限个连通分支，则),(yxf在),(00yx可微的充要条件是),(yxf沿过点),(00yx的连续路径在点),(00yx路径可微。【证明】所谓路径可微，即是沿连续曲线0)(lim),(),(:0ytytyytxxCtt有0lim0dzz，仿问题1.3.4的证明即可证得本问题成立。从问题1.3.6可看到方向导数存在不一定存在偏导数。下面来探讨二者之间得关系，它们依然是部分与整体得关系。问题1.3.9偏导数)),()(,(0000yxfyxfyx存在得充要条件是沿)2(0和)23(得方向导数存在且其值相反。【证明】必要性设Axyxfyxxfx),(),(lim00000，则Ayxfyxfyxfyxf),(),(lim),()sin,cos(lim0000000000，。Axyxfyxxfyxfyxfyxfyxfyxfyxfx),(),(lim),(),(lim),(),(lim),(),cos(lim00000000000000000000充分性设数学分析方法论选讲Ayxfyxfyxfyxf),(),(lim),(),(lim0000000000则。Axyxfyxxfx),(),(lim00000同理可证关于),(00yxfy的相应结论。这里为什么不是两个方向导数相等而一元函数中这是两个方向导数相等呢？这是因为在这里取正值，而在一元函数中，右导数,)()(lim0xxfxxfxx为正，而左导数xxfxxfx)()(lim0中，x为负。此外注意到问题1.3.6,1.3.7的例中),(yxf有方向导数，其方向导数与其反方向的方向导数不互为相反数，所以我们可以继续举下面的例。问题1.3.10证明（1）0),(222yxyxyxf在)0,0(有各方向导数存在，各方向与其相反方向的方向导数互为相反数，但在)0,0(不可微。（2）0),(263xxyxyxf其结论与（1）相同。【分析】注意（1）中),(yxf是连续的，并且在问题1.3.5的证明中),(00yxfAx，),(00yxfBy，而（2）中),(yxf在)0,0(不连续。【证明】（1）由00lim)0,0()0,0(lim)0,0(300xxfxffxxx。同理0)0,0(yf。另一方面，)0,0()sin,cos(lim0000fff)0,0(),(yx)0,0(),(yx)0,0(),(yx)0,0(),(yx数学分析方法论选讲002200330sincos0sincoslim，ff0020020sincos)sin()(cos)(。但注意如果取40＝，此时若按问题1.3.5的证明有0)(224sin4cos0BABAf（因为0)0,0()0,0(yxfBfA）,但这里0824sin4cos20f，由此),(yxf在原点)0,0(不可微。（2）易证0)0,0(xf，且0)0,0(yf。0)sin,cos(lim0000ff0sincossincoslimsincossincoslim0206400300220660340。（分0sin0和0sin0两种情况讨论）下证),(yxf在)0,0(不连续。取路径3xy，则0)0,0(212lim),(lim66