微分

對函數的局部變化率的線性描述

函數的微分(英語:Differential of a function)是指對函數的局部變化的一種線性描述。微分可以近似地描述當函數自變量的取值作足夠小的改變時,函數的值是怎樣改變的。

微分在數學中的定義:由的函數()。從簡單的平面直角坐標系來看,自變量的變化量趨近於0時(),因變量的變化量也趨近於0,但的變化量都趨近於0。當有極小的變化量時,這稱為的微分。

當某些函數的自變量有一個微小的改變時,函數的變化可以分解為兩個部分。

一個部分是線性部分:在一維情況下,它正比於自變量的變化量,可以表示成和一個與無關,只與函數有關的量的乘積;在更廣泛的情況下,它是一個線性映射作用在上的值。

另一部分是比更高階的無窮小,也就是說除以後仍然會趨於零。當改變量很小時,第二部分可以忽略不計,函數的變化量約等於第一部分,也就是函數在處的微分,記作。如果一個函數在某處具有以上的性質,就稱此函數在該點可微。

不是所有的函數的變化量都可以分為以上提到的兩個部分。若函數在某一點無法做到可微,便稱函數在該點不可微。

在古典的微積分學中,微分被定義為變化量的線性部分,在現代的定義中,微分被定義為將自變量的改變量映射到變化量的線性部分的線性映射。這個映射也被稱為切映射。給定的函數在一點的微分如果存在,就一定是唯一的。

一元微分

編輯

定義

編輯
 
函數在一點的微分。其中紅線部分是微分量 ,而 加上灰線部分後是實際的改變量 

函數 在某區間 內有定義。對於 內一點 ,當 變動到附近的 (也在此區間內)時,如果函數的增量 可表示為  (其中 是不依賴於 常數),而 是比 高階的無窮小,那麼稱函數 在點 可微的,且 稱作函數在 相應於自變量增量 的微分,記作 ,即   線性主部[1]:141

通常把自變量 的增量 稱為自變量的微分,記作 ,即 

和導數的關係

編輯

微分和導數是兩個不同的概念。但是,對一元函數來說,可微與可導是完全等價的概念[1]:141。可微的函數,其微分等於導數乘以自變量的微分 ,換句話說,函數的微分與自變量的微分之商等於該函數的導數。因此,導數也叫做微商。於是函數 的微分又可記作 [2]

幾何意義

編輯

 曲線 上的點 在橫坐標上的增量, 曲線在點 對應 在縱坐標上的增量, 是曲線在點 切線對應 在縱坐標上的增量。當 很小時,  要小得多(高階無窮小),因此在點 附近,我們可以用切線段來近似代替曲線段。

例子

編輯

設有函數 ,考慮它從某一點 變到 。這時,函數的改變量 等於:

 
 

其中的線性主部: ,高階無窮小是 。 因此函數 在點 處的微分是 。函數的微分與自變量的微分之商 ,等於函數的導數。

 ,尤其 
 

以下有一例子: 當方程式為 時,就會有以下的微分過程。

 
 
 
 

微分法則

編輯

和求導一樣,微分有類似的法則。例如,如果設函數  可微,那麼:

  •  
  •  
  •  
  • 若函數 可導,那麼 [1]:139

極值

編輯

多元函數微分

編輯

當自變量是多元變量時,導數的概念已經不適用了(儘管可以定義對某個分量的偏導數,但偏導數隻對單一自變量微分),但仍然有微分的概念。

定義

編輯

 是從歐幾里得空間Rn(或者任意一個內積空間)中的一個開集 射到Rm的一個函數。對於 中的一點 及其在 中的鄰域 中的點 。如果存在線性映射 使得對任意這樣的 ,

 

那麼稱函數 在點 處可微。線性映射 叫做 在點 處的微分,記作 

如果 在點 處可微,那麼它在該點處一定連續,而且在該點的微分只有一個。為了和偏導數區別,多元函數的微分也叫做全微分全導數

當函數在某個區域的每一點 都有微分 時,可以考慮將 映射到 的函數:

 

這個函數一般稱為微分函數[3]

性質

編輯
  • 如果 是線性映射,那麼它在任意一點的微分都等於自身。
  • Rn(或定義了一組標準基的內積空間)裏,函數的全微分和偏導數間的關係可以通過雅可比矩陣刻畫:
 是從Rn射到Rm的函數, ,那麼:
 

具體來說,對於一個改變量: ,微分值:

 
  • 可微的必要條件:如果函數 在一點 處可微,那麼雅克比矩陣的每一個元素 都存在,但反之不真[4]:76
  • 可微的充分條件:如果函數 在一點 的雅克比矩陣的每一個元素 都在 連續,那麼函數在這點處可微,但反之不真[4]:77

例子

編輯

函數 是一個從 射到 的函數。它在某一點 的雅可比矩陣為:

 

微分為: ,也就是:

 

微分與微分形式

編輯

如果說微分是導數的一種推廣,那麼微分形式則是對於微分函數的再推廣。微分函數對每個點 給出一個近似描述函數性質的線性映射 ,而微分形式對區域 內的每一點給出一個從該點的切空間映射到值域的斜對稱形式 。在坐標記法下,可以寫成:

 

其中的  -射影算子,也就是說將一個向量 射到它的第 個分量 的映射。而 是滿足:

 

k-形式。

特別地,當 是一個從Rn射到R 的函數時,可以將 寫作:

 

正是上面公式的一個特例[5]

參見

編輯

參考來源

編輯
  1. ^ 1.0 1.1 1.2 歐陽光中 姚允龍 周淵 編. 《数学分析(上册)》. 復旦大學出版社. 2003. ISBN 7309035704. 
  2. ^ 梁子傑. 「可微」還是「可導」? (PDF). 數學教育. [永久失效連結]
  3. ^ 微分函数. 逢甲大學網路教學實驗室. [2009-12-24]. (原始內容存檔於2010-05-07). 
  4. ^ 4.0 4.1 徐森林,薛春華. 《数学分析(第二册)》. 清華大學出版社. 2005. ISBN 978-7-302-13141-0. 
  5. ^ B.A.卓里奇 著,蔣鐸、錢佩玲、周美珂、鄺榮雨 譯. 《数学分析》第二卷. 高等教育出版社. 2006. ISBN 978-7-040-20257-1. 第175-183頁.
  • 齊民友. 《重温微积分》. 高等教育出版社. 2004. ISBN 7-040-12931-0. 
  • Walter Rudin. 《数学分析原理》(Principles of Mathematical Analysis). Mcgraw-hill Book Company. 1976. ISBN 978-0-070-54235-8.