韓曉艷
(青島工學院基礎教育學院,山東 青島 266300)
關于二元函數可微的充分條件證明過程的探討
韓曉艷
(青島工學院基礎教育學院,山東 青島 266300)
關于二元函數全微分存在的充分條件給予不同的證明過程,在高等數學的教材中一般都利用拉格朗日中值定理證明,本文主要利用無窮小與極限的關系予以證明,并且可以得出較弱的充分條件.
極限;無窮小;中值定理;可微
可微定義如下:
如果函數z=f(x,y)在點(x0,y0)的全增量可表示為其中A、B不依賴于△x、△y而僅與x0,y0有關,,則稱函數z=f(x,y)在點(x0,y0)可微分.
可微的充分條件(見[2]中P21定理2).
如果函數z=f(x,y)的偏導數fx(x,y)、fy(x,y)在點(x0,y0)連續,則函數在該點可微分.
引理1無窮小與函數極限的關系(見[1]中定理).

定理如果函數z=f(x,y)至少有一個偏導數不妨設fx(x,y)(或fy(x,y)在點(x0,y0)連續,則函數在該點可微分.
證考察函數的全增量

在第一個方括號內的表達式,
應用無窮小與極限的關系,得到

又依條件fx(x,y)在點(x0,y0)連續,得


由此可見,在一個偏導數fx(x,y)連續的假設下,全增量△z可以表示為


這就證明了z=f(x,y)在點(x0,y0)可微.
[1]同濟大學應用數學系.高等數學上冊[M].北京:高等教育出版社,2006.
[2]同濟大學應用數學系.高等數學下冊[M].北京:高等教育出版社,2006.
(編輯 郭繼榮)
O174
A
1673-1808(2014)03-0022-02
2014-03-17
韓曉艷(1982-),女,山西榆次人,青島工學院基礎教育學院,講師,碩士,研究方向:運籌與控制論.