隱函數(shù)是函數(shù)關(guān)系的另一種表現(xiàn)形式討論隱函數(shù)的存在性、連續(xù)性

1、 隱函數(shù)是函數(shù)關(guān)系的另一種表現(xiàn)形式.討論隱函數(shù)的存在性、連續(xù)性與可微性,不僅是出于深刻了解這類函數(shù)本身的需要,同時又為后面研究隱函數(shù)組的存在性問題打好了基礎(chǔ). 一、隱函數(shù)概念 二、隱函數(shù)存在性條件分析 三、隱函數(shù)定理 四、隱函數(shù)求導(dǎo)數(shù)舉例 1 隱函數(shù)一個方程式所確定的函數(shù)例如：一個方程式所確定的函數(shù)例如：3221sinyx, zxy .2/32/32/333330 xya, xyzxy.一、隱函數(shù)概念顯函數(shù)：顯函數(shù)：因變量可由自變量的某一表達(dá)式來表示因變量可由自變量的某一表達(dá)式來表示的函數(shù)例如：的函數(shù)例如： 隱函數(shù)：隱函數(shù)：自變量與因變量之間的對應(yīng)關(guān)系是由某自變量與因變量之間的對應(yīng)關(guān)系是由某隱

2、函數(shù)的一般定義：隱函數(shù)的一般定義： 設(shè)有一方程設(shè)有一方程( , )0,(1)F x y 則成立恒等式則成立恒等式,IXJY , .,0) )(,(IxxfxF 其中其中 若存在若存在 :R,R,R.FXYXYyJ 對任一對任一 有惟一確定的有惟一確定的 與之對應(yīng)與之對應(yīng), 使使 xI , ( , )x y得得 滿足方程滿足方程 (1) , 則稱由方程則稱由方程 (1) 確定了一確定了一 個定義在個定義在 , 值域含于值域含于 的隱函數(shù)的隱函數(shù)IJ如果把此隱函如果把此隱函 , )(JyIxxfy 記為記為 122 yx取值范圍例如由方程可確定如下兩取值范圍例如由方程可確定如下兩 個函數(shù)：個函數(shù)：

3、 注注2 不是任一方程不是任一方程 都能確定隱函數(shù)都能確定隱函數(shù), 0),( yxF例如例如 顯然不能確定任何隱函數(shù)顯然不能確定任何隱函數(shù) 0122 yx注注1 隱函數(shù)一般不易化為顯函數(shù)，也不一定需要隱函數(shù)一般不易化為顯函數(shù)，也不一定需要 )(xfy 化為顯函數(shù)上面把隱函數(shù)仍記為化為顯函數(shù)上面把隱函數(shù)仍記為 ，這，這 與它能否用顯函數(shù)表示無關(guān)與它能否用顯函數(shù)表示無關(guān) 注注3 隱函數(shù)一般需要同時指出自變量與因變量的隱函數(shù)一般需要同時指出自變量與因變量的 在在2 還要討論由多個方程確定隱函數(shù)組的問題還要討論由多個方程確定隱函數(shù)組的問題. . 0,1, 1,1, )1()(; 1,0, 1,1, )

4、1()(2221 yxxxfyyxxxfy.注注4 類似地可定義多元隱函數(shù)例如類似地可定義多元隱函數(shù)例如: 由方程由方程 0),( uzyxF,),(zyxfu 確定的隱函數(shù)確定的隱函數(shù) 0),( zyxF, ),(yxfz 確定的隱函數(shù)確定的隱函數(shù) 由方程由方程 二、隱函數(shù)存在性條件分析 條件時，由方程條件時，由方程 (1) 能確定隱函數(shù)能確定隱函數(shù) , 并使并使 )(xfy ),(yxF要討論的問題是：當(dāng)函數(shù)要討論的問題是：當(dāng)函數(shù) 滿足怎樣一些滿足怎樣一些 該隱函數(shù)具有連續(xù)、可微等良好性質(zhì)該隱函數(shù)具有連續(xù)、可微等良好性質(zhì)? )(xfy ),(yxFz (a) 把上述看作曲面把上述看作曲面

5、與坐標(biāo)與坐標(biāo) 0 z平面的交線，故至少要求該交集非空，即平面的交線，故至少要求該交集非空，即 ),(000yxP . )(,0),(0000 xfyyxF ，滿足，滿足 連續(xù)是合理的連續(xù)是合理的0P)(xfy 0 x),(yxF(b) 為使為使 在在 連續(xù)，故要求連續(xù)，故要求 在點(diǎn)在點(diǎn) 0),(00 yxFy由此可見，是一個重要條件由此可見，是一個重要條件 00000000000d( ,( )(,)(,)()0 ,d(,)()(,)x xxyxyF x f xFxyFxyfxxFxyfx.Fxy點(diǎn)點(diǎn) 存在切線，而此切線是曲面存在切線，而此切線是曲面 在點(diǎn)在點(diǎn) ),(yxFz 0P的切平面與的切

6、平面與 的交線，故應(yīng)要求的交線，故應(yīng)要求 在在 0P),(yxF0 z)(xfy 0 x)(xfy (c) 為使為使 在在 可導(dǎo)，即曲線在可導(dǎo)，即曲線在 0P. )0,0(),(, ),(0000 yxFyxFyx點(diǎn)點(diǎn) 可微，且可微，且 (d) 在以上條件下，通過復(fù)合求導(dǎo)數(shù)，得到在以上條件下，通過復(fù)合求導(dǎo)數(shù)，得到 三、隱函數(shù)定理定理定理18.1 ( 隱函數(shù)存在惟一性定理隱函數(shù)存在惟一性定理 ) 設(shè)方程設(shè)方程 (1) 中中 ),(yxF的函數(shù)的函數(shù) 滿足以下四個條件：滿足以下四個條件： ),(000yxP2R D(i) 在以在以 為內(nèi)點(diǎn)的某區(qū)域?yàn)閮?nèi)點(diǎn)的某區(qū)域 上連續(xù)；上連續(xù)； (ii) ( 初始

7、條件初始條件 )；0),(00 yxFD),(yxFy(iii) 在在 內(nèi)存在連續(xù)的偏導(dǎo)數(shù)內(nèi)存在連續(xù)的偏導(dǎo)數(shù) ； 00(,)0.yFxy (iv) 則有如下結(jié)論成立：則有如下結(jié)論成立：00( ),(,).yf xxxx;0)(,(, )()(,(0 xfxFPUxfx在在 上連續(xù)上連續(xù))(2xf),(00 xxDPU )(0)(0PU存在某鄰域存在某鄰域 ，在，在 內(nèi)由方程內(nèi)由方程 (1) 惟惟 一地確定了一個隱函數(shù)一地確定了一個隱函數(shù) 并且滿足：并且滿足： 00)(1yxf ),(00 xxx，當(dāng)，當(dāng) 時，使得時，使得 證證 首先證明隱函數(shù)的存在與惟一性首先證明隱函數(shù)的存在與惟一性證明過程歸

8、結(jié)起來有四個步驟證明過程歸結(jié)起來有四個步驟 ( 圖示如下圖示如下 )： (b) 正、負(fù)上下分正、負(fù)上下分_+_0 xyO0 x0 x0 x0y0y0y (c) 同號兩邊伸同號兩邊伸 x0 xy0yO0 x0 x0 y0y(d) 利用介值性利用介值性 x0 xy0yO0 x0 x0()U P0y0y( )yf x (a) 一點(diǎn)正一點(diǎn)正,一片正一片正+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + x0 x0 x0 x0y0y0yyO0000, ,SxxyyD.其中其中,),(,0),(S

9、yxyxFy 00(,)0.yFxy (a) “一點(diǎn)正一點(diǎn)正, 一片正一片正 ”由條件由條件 (iv), 不妨設(shè)不妨設(shè) ),(yxFy因?yàn)橐驗(yàn)?連續(xù)，所以根據(jù)連續(xù)，所以根據(jù) 保號性，保號性， 使得使得 0, (a) 一點(diǎn)正一點(diǎn)正,一片正一片正+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + x0 x0 x0 x0y0y0yySO.0),(,0),(0000 yxFyxF (b) 正、負(fù)上下分正、負(fù)上下分_+_0 xyO0 x0 x0 x0y0y0y(b) “正、負(fù)上下分正、負(fù)上下分 ”

10、 ,),(,0),(SyxyxFy , ,00 xxx因因 故故 y),(yxF,00 yy把把 看作看作 的函數(shù)，它在的函數(shù)，它在 上上 嚴(yán)格增，且連續(xù)嚴(yán)格增，且連續(xù) ( 據(jù)條件據(jù)條件 (i) ) 0(, ),F xy特別對于函數(shù)特別對于函數(shù) 由條由條 00(,)0F xy 件可知件可知因?yàn)橐驗(yàn)?關(guān)于關(guān)于 連續(xù)，故由連續(xù)，故由 ),(, ),(00 yxFyxFx (b) 的結(jié)論，根據(jù)保號性，的結(jié)論，根據(jù)保號性， 使得使得 , )0( . ),(,0),(,0),(0000 xxxyxFyxF (c) 同號兩邊伸同號兩邊伸 x0 xy0yO0 x0 x0 y0y(c) “同號兩邊伸同號兩邊伸

11、” (d) “利用介值性利用介值性” , ),(00 xxx), (yxFy因因 關(guān)于關(guān)于 連續(xù)連續(xù), 且嚴(yán)且嚴(yán) 格增，故由格增，故由 (c) 的結(jié)論，依據(jù)介值性定理的結(jié)論，依據(jù)介值性定理, 存在惟存在惟 (d) 利用介值性利用介值性 x0 xy0yO0 x0 x0()U P0y0y( )yf x滿足滿足00(,),yyy一的一的 就證得存在惟一的隱函數(shù)就證得存在惟一的隱函數(shù): .0), ( yxF由的任意性由的任意性, 這這 x0000(,),(,).xIxxyJyy ,)(0JIPU 1若記若記 則定理結(jié)論則定理結(jié)論 得證得證 下面再來證明上述隱函數(shù)的連續(xù)性下面再來證明上述隱函數(shù)的連續(xù)性:

12、 00(,) ,xxx即即欲證上述欲證上述 在在 連續(xù)連續(xù). )(xfx( ),yf x .xxOyxxyyy0y0y0P.00,yyyy( ,)0 ,( ,)0 .F x yF x y類似于前面類似于前面 (c) ， 使得使得, 0 ( , )0,F x y ,0 取取 足夠小，使足夠小，使 ),(yxFy由由 對對 嚴(yán)格增，而嚴(yán)格增，而 ( ).yf x 其中其中推知推知 , ),(),(00 xxxx.0),(,0),( yxFyxF, ),(,)( xxxyxfy在在 上處處連續(xù)上處處連續(xù)),(00 xx因此因此 在連續(xù)在連續(xù). 由的任意性由的任意性, 便證得便證得 x)(xf)(xf

13、x),( xxx且當(dāng)且當(dāng) 時，有時，有 類似于前面類似于前面 (d) ，由于隱函數(shù)惟一，故有，由于隱函數(shù)惟一，故有 注注1 定理定理 18.1 的條件的條件 (i) (iv) 既是充分條件既是充分條件, 又又 是一組十分重要的條件是一組十分重要的條件. 例如：例如： 在點(diǎn)在點(diǎn) 雖雖 ,0)0 , 0(,0),(33 yFxyyxF)0,0(.xy 不滿足條件不滿足條件 (iv)，但仍能確定惟一的隱函數(shù)，但仍能確定惟一的隱函數(shù) 0)(),(22222 yxyxyxF (雙紐線雙紐線), 在在 點(diǎn)點(diǎn) 同樣不滿足同樣不滿足 )0,0(xyO11 條件條件 (iv)，而在該點(diǎn)，而在該點(diǎn) 無論多小的鄰域

14、內(nèi)無論多小的鄰域內(nèi), 用這兩個較強(qiáng)的條件，一則是使用時便于檢驗(yàn)，用這兩個較強(qiáng)的條件，一則是使用時便于檢驗(yàn)， 的作用的作用二則是在后面的定理二則是在后面的定理 18.2 中它們還將起到實(shí)質(zhì)性中它們還將起到實(shí)質(zhì)性 注注3 讀者必須注意讀者必須注意, 定理定理 18.1 是一個是一個局部性局部性的隱的隱 函數(shù)存在定理例如從以上雙紐線圖形看出函數(shù)存在定理例如從以上雙紐線圖形看出: 除了除了 )0, 1( , )0, 1( , )0, 0( 三點(diǎn)以外三點(diǎn)以外, 曲線上其余各點(diǎn)處都曲線上其余各點(diǎn)處都 確實(shí)不能確定惟一的隱函數(shù)確實(shí)不能確定惟一的隱函數(shù) (見圖見圖).注注 2 條件條件 (iii) 、 (iv

15、) 在證明中只是用來保證在鄰在證明中只是用來保證在鄰 )(0PU域域 內(nèi)內(nèi) 關(guān)于為嚴(yán)格單調(diào)之所以采關(guān)于為嚴(yán)格單調(diào)之所以采 ),(yxFy存在局部隱函數(shù)存在局部隱函數(shù) ( 這不難用定理這不難用定理 18.1 加加 )(xfy 以檢驗(yàn)，見以檢驗(yàn)，見 四、例四、例) 注注4 在方程在方程 中中, 0),( yxFxy與與 的地位是平等的地位是平等 的的. 當(dāng)條件當(dāng)條件 (iii) 、 (iv) 改為改為 . )( ygx 時，將存在局部的連續(xù)隱函數(shù)時，將存在局部的連續(xù)隱函數(shù) ),(yxFx0),(00 yxFx 連續(xù)連續(xù), 且且 “”),(yxF定理定理 18.2 ( 隱函數(shù)可微性定理隱函數(shù)可微性定

16、理 ) 設(shè)函數(shù)設(shè)函數(shù) 滿滿 D足定理足定理 18.1 中的條件中的條件 (i) (iv), 在在 內(nèi)還存在連內(nèi)還存在連 ),(yxFx0),( yxF續(xù)的續(xù)的 . 則由方程則由方程 所確定的隱所確定的隱 函數(shù)函數(shù) 在在 I 內(nèi)有連續(xù)的導(dǎo)函數(shù)，且內(nèi)有連續(xù)的導(dǎo)函數(shù)，且)(xfy ( , )( )( , ).(2)( , )xyFx yfx,x yIJFx y ( 注注: 其中其中00(,)Jyy與與),(00 xxI示于定理示于定理18.1 的證明的證明 (d) ).( )()yf x , yyf xxJ.0),(, 0),( yyxxFyxF使用微分中值定理使用微分中值定理, 使得使得 , )1

17、0( 0(,)( , )F xx yyF x y,Ixxx 證證 設(shè)則設(shè)則 由條件易知由條件易知 F 可微，并有可微，并有 (,)yFxx yyy,(,)xFxx yyx.),(),(yyxxFyyxxFxyyx 顯然也是連續(xù)函數(shù)顯然也是連續(xù)函數(shù))(xf 0 x,0 yyxFFf,因因 都是連續(xù)函數(shù)都是連續(xù)函數(shù), 故故 時時并有并有 00(,)( )limlim(,)xxxyFxx yyyfxxFxx yy 0( , )lim,( , ).( , )xxyFx yyx yIJx Fx y ,0),(),( yyxFyxFyx.0)( yFyyFFyFFyyyxyyxxx(3)2232.xyxy

18、yxxxyyyF F FF FF FF),(yxF注注1 當(dāng)當(dāng) 存在二階連續(xù)偏導(dǎo)數(shù)時，所得隱函存在二階連續(xù)偏導(dǎo)數(shù)時，所得隱函 數(shù)也二階可導(dǎo)應(yīng)用兩次復(fù)合求導(dǎo)法，得數(shù)也二階可導(dǎo)應(yīng)用兩次復(fù)合求導(dǎo)法，得 將將 (2) 式代入上式，經(jīng)整理后得到式代入上式，經(jīng)整理后得到 21(2)xxxyyyyyFF yF yF注注2 利用公式利用公式 (2) , (3) 求隱函數(shù)的極值求隱函數(shù)的極值:0 y 00 xFF( , )A x y% % %(a) 求使求使 的點(diǎn)的點(diǎn) , 即即 的解的解 0 xFA(b) 在點(diǎn)在點(diǎn) 處因，而使處因，而使 (3) 式化簡為式化簡為 .AyxxAFFy (4)0 (0)Ay 或或(

19、c) 由極值判別法由極值判別法, 當(dāng)當(dāng) 時時, 隱函數(shù)隱函數(shù) 在在 取得極大值取得極大值(或極小值或極小值).y( )yf x x設(shè)在以點(diǎn)設(shè)在以點(diǎn) 為內(nèi)點(diǎn)的某區(qū)域?yàn)閮?nèi)點(diǎn)的某區(qū)域 上上, ),(0000zyxP3R D,0),(000 zyxF.0),(000 zyxFz則存在某鄰域則存在某鄰域 在其內(nèi)存在惟一的、連在其內(nèi)存在惟一的、連 ,)(0DPU 續(xù)可微的隱函數(shù)續(xù)可微的隱函數(shù) ，且有，且有),(yxfz 注注3 由方程由方程 0),( zyxF(5),(yxfz 確定隱函數(shù)的相關(guān)定理簡述如下：確定隱函數(shù)的相關(guān)定理簡述如下： F 的所有一階偏導(dǎo)數(shù)都連續(xù)，并滿足的所有一階偏導(dǎo)數(shù)都連續(xù)，并滿足

20、0),(21 yxxxFn,.yxxyzzFFzzffxFyF (6)更一般地，由方程更一般地，由方程 ),(21nxxxfy 確定隱函數(shù)確定隱函數(shù) 的相關(guān)定理的相關(guān)定理, 見教見教 材下冊材下冊 p.149 上的上的定理定理18.3 , 這里不再詳述這里不再詳述. 0)(22222 yxyx解解 令令 它有連續(xù)的它有連續(xù)的 ,)(),(22222yxyxyxF .2)(4,2)(42222yyxyFxyxxFyx 求解求解 分別得到分別得到 ,0),(0),(0),(0),( yxFyxFyxFyxFyx與與四、隱函數(shù)求導(dǎo)數(shù)舉例 例例1 試討論雙紐線方程試討論雙紐線方程 ( )( ).yf

21、xxg y或或所能確定的隱函數(shù)所能確定的隱函數(shù) 再考慮隱函數(shù)的極值由于再考慮隱函數(shù)的極值由于 )(xfy 26(0,0)(,)0,44xxFF在其他所有點(diǎn)處都存在局部的可微隱函數(shù)在其他所有點(diǎn)處都存在局部的可微隱函數(shù)( ).xg y )0, 1( , )0, 0( 所以，除所以，除 這三點(diǎn)外，曲線上在其他這三點(diǎn)外，曲線上在其他 . )(xfy 所有點(diǎn)處都存在局部的可微隱函數(shù)所有點(diǎn)處都存在局部的可微隱函數(shù) )42,46(, )0, 0( 同理，除同理，除 這五點(diǎn)外，曲線上這五點(diǎn)外，曲線上 (0,0)1,00.yyFF, )126(2),(22 yxyxFxx2().4 值值26( )(,)44f

22、x在點(diǎn)取得極小在點(diǎn)取得極小由對稱性可知由對稱性可知, 622,( )(,);444f x 因此在點(diǎn)取得極大值因此在點(diǎn)取得極大值622623(,),(,),442442yxxFF 62(,)443 2320222y各點(diǎn)處都能確定局部的隱函數(shù)各點(diǎn)處都能確定局部的隱函數(shù))(xfy 例例2 討論討論 Descartes 葉形線葉形線 )0(333 aaxyyx(7)(xfy 所確定的隱函數(shù)所確定的隱函數(shù) 的存的存 在性，并求其一階、二階導(dǎo)數(shù)在性，并求其一階、二階導(dǎo)數(shù) .3),(33axyyxyxF 解解 令令 0)(32 xayFy先求出在曲線先求出在曲線 (7) 上使上使 的點(diǎn)為的點(diǎn)為 )2,4(,

23、 )0 , 0(33aaBO . 除此兩點(diǎn)外除此兩點(diǎn)外, 方程方程 (7) 在其他在其他 然后再算出然后再算出:.)(3)(32222xayxyaxayyaxFFyyx .)(54,)(54, )(54222222222yaxyFFxayxFFyaxxayaFFFyyxxxyyxyx 為了使用公式為了使用公式 (3) , 先算出先算出: 由公式由公式 (2) 求得求得 .)(2)()3(32)()(32)(27)()()(54232332322323332232222222322xayyxaxayayxayxyxaxayayxyxyxaxayyaxyxayxyaxxayaFFFFFFFFyyy

24、yxxxyyxyx 平切線和垂直切線平切線和垂直切線0 y類似于例類似于例1 的方法的方法, 求出曲線上使求出曲線上使 的點(diǎn)為的點(diǎn)為 . )4,2(33aaA在幾何上，它是兩條曲線在幾何上，它是兩條曲線 0),( yxF0),( yxFx和和,024|3 ayA的交點(diǎn)的交點(diǎn) (見圖見圖). 容易驗(yàn)證容易驗(yàn)證 所以所以 )(xfy A34 .a隱函數(shù)在點(diǎn)隱函數(shù)在點(diǎn) 取得極大值取得極大值 AB以上討論同時說明以上討論同時說明, 該曲線在點(diǎn)該曲線在點(diǎn) 和和 分別有水分別有水 例例3 試求由方程試求由方程 所確定的隱所確定的隱 3230 xyzxyz函數(shù)函數(shù) 在點(diǎn)在點(diǎn) 處的全微分處的全微分 (0,1,

25、1)P( , )zf x y 2(31)d0,xyzz332(2 )d(3)dyzxxxzyyd3dd0,dd3d .Pxyzzxy解法解法 1 ( 形式計(jì)算法形式計(jì)算法 ) 對方程兩邊微分，得對方程兩邊微分，得( , , )(0,1,1)x y z 將將 代入，又得代入，又得 解法解法 2 ( 隱函數(shù)法隱函數(shù)法 ) 設(shè)設(shè) 323( , , ).F x y zxyzxyz由于由于 上處處連續(xù)上處處連續(xù), 而而 3(0,1,1)0,RxyzFFFF 在在2(0,1,1)(31)10,zPFxyz .313,31222323zyxyzxFFyzzyxxzyFFxzzyzx 因此在點(diǎn)因此在點(diǎn) P 附近能惟一地確定連續(xù)可微的隱函數(shù)附近能惟一地確定連續(xù)可微的隱函數(shù) ( , );zz x y 且可求得它的偏導(dǎo)數(shù)如下：且可求得它的偏導(dǎo)數(shù)如下： 以以 代入代入, 便得到便得到 ( , , )(0,1,1)x y z 1,3,x Py Pzzdd3d .Pzxy例例4 用隱函數(shù)方法處理反函數(shù)的存在性及其導(dǎo)數(shù)用隱函數(shù)方法處理反函數(shù)的存在性及其導(dǎo)數(shù). 解解 設(shè)設(shè) 在在 的某鄰域內(nèi)有連續(xù)的導(dǎo)函數(shù)的某鄰域內(nèi)有連續(xù)的導(dǎo)函數(shù) )(xfy 0 x, )(xf 且且 現(xiàn)在來考察方程現(xiàn)在來考察方程 00().f xy 由于由