導數是微積分學中的一個概念。函式在某一點的導數是指這個函式在這一點附近的變化率（即函式在這一點的切線斜率）。導數的本質是透過極限的概念對函式進行區域性的線性逼近。當函式 f 的自變數在一點 x_0 上產生一個增量 h 時，函式輸出值的增量與自變數增量 h 的比值在 h 趨於 0 時的極限如果存在，即為 f 在 x_0 處的導數，記作 fx_0、frac mathrm d fmathrm d xx_0 或 leftfrac mathrm d fmathrm d xright_xx_0。例如在運動學中，物體的位移對於時間的導數就是物體的瞬時速度。 導數是函式的區域性性質。不是所有的函式都有導數，一個函式也不一定在所有的點上都有導數。若某函式在某一點導數存在，則稱其在這一點可導 可微分，否則稱為不可導 不可微分。如果函式的自變數和取值都是實數的話，那麼函式在某一點的導數就是該函式所代表的曲線在這一點上的切線斜率。 對於可導的函式 f，x mapsto fx 也是一個函式，稱作 f 的導函式。尋找已知的函式在某點的導數或其導函式的過程稱為求導。反之，已知導函式也可以倒過來求原來的函式，即不定積分。微積分基本定理說明了求原函式與積分是等價的。求導和積分是一對互逆的操作，它們都是微積分學中最為基礎的概念。 定義 一般定義 直觀上 f xf a 代表函式值從 a 到 x 的變化量，那這樣， frac f xf axa 代表的是從 a 到 x 的平均變化率，如果把 x 趨近於 a，似乎就可以更能貼切的描述函式值在 a 附近的變化。 以此為動機，若實函式 f 於實數 a 有定義，且以下極限（注意這個表示式所定義的函式定義域不含 a ） lim_x to afrac f xf axa 存在則稱 f 於 a 處可導，並稱這個極限為 f 於 a 處的導數，記為 fprimea 也可記作 leftfrac mathrm d fmathrm d xright_xa 或 frac mathrm d fmathrm d xa 。 根據函式極限的定義，導數定義部分的 ＂存在 delta 0 使所有的 x in D_f ，只要 0xadelta 都有＂ 可以直觀的理解為 ＂當 h xa 趨近於 0 都有＂，但要把它寫成嚴謹的定義，會碰到 ＂存在 delta 0 對所有的實數 h ，只要 ah in D_f 且 0hdelta 都有＂這段敘述無法直接套入極限定義的問題，對此必須把以下的表示式 lim_h to 0frac f ahf ah 定義為導數原始極限表示式的簡記，而非另一種自動合法的導數定義。但如果存在 r0 ，使 f 在 arar 裡都有定義，那定義 F 為以 hinmathbb Rhneq 0wedge hr 為定義域，然後以 F hfrac f ahf ah 為對應規則的函式，那以下的極限式 lim_h to 0 F h fprimea 就可以把以 h 為自變數的偏差，將之趨近於零求導數的想法納入正式的運算裡。 幾何意義 當函式定義域和取值都在實數域中的時候，導數可以表示函式的曲線上的切線斜率。如右圖所示，設 P_0 為曲線上的一個定點，P 為曲線上的一個動點。當 P 沿曲線逐漸趨向於點 P_0 時，並且割線 P P_0 的極限位置 P_0 T 存在，則稱 P_0 T 為曲線在 P_0 處的切線。 若曲線為一函式 yf x 的影像，那麼割線 P P_0（粉紅色）的斜率為： tan varphifrac Delta yDelta xfrac f x_0 Delta xf x_0Delta x 當 P_0 處的切線 P_0 T（橘紅色），即 P P_0 的極限位置存在時，此時 Delta x to 0，varphi to alpha，則 P_0 T 的斜率 tan alpha 為： tan alphalim_Delta x to 0 tan varphilim_Delta x to 0 frac f x_0 Delta xf x_0Delta x 上式與一般定義中的導數定義完全相同，也就是說 fx_0tan alpha，因此，導數的幾何意義即曲線 yf x 在點 P_0 x_0f x_0 處切線的斜率。 導數、導函式與微分運算元 若函式 f x 在其定義域包含的某區間 I 內每一個點都可導，那麼也可以說函式 f x 在區間 I 內可導，這時對於 I 內每一個確定的 x 值，都對應著 f 的一個確定的導數值，如此一來就構成了一個新的函式 x mapsto fx，這個函式稱作原來函式 f x 的導函式，記作：y、fx 或者 tfrac mathrm d fmathrm d xx。值得注意的是，導數是一個數，是指函式 f x 在點 x_0 處導函式的函式值。但在不至於混淆的情況下，通常也可以說導函式為導數。 由於對每一個可導的函式 f x，都有它的導函式 fx 存在，我們還可以定義將函式對映到其導函式的運算元。這個運算元稱為微分運算元，一般記作 D 或 tfrac mathrm dmathrm d x。例如： begin align D x mapsto 1 x mapsto 0 D x mapsto x x mapsto 1 D x mapsto x2 x mapsto 2cdot x end align 由於微分運算元的輸出值仍然是函式，可以繼續求出它在某一點的取值。比如說對於函式 f xx2， D f x mapsto 2 cdot x 所以 D fx 2x，D f14 2 times 14 28 。 導數與微分 微分也是一種線性描述函式在一點附近變化的方式。微分和導數是兩個不同的概念。但是，對一元函式來說，可微與可導是完全等價的。可微的函式，其微分等於導數乘以自變數的微分 mathrm d x，換句話說，函式的微分與自變數的微分之商等於該函式的導數。因此，導數也叫做微商。函式 y f x 的微分又可記作 mathrm d y fxmathrm d x。 歷史 導數和積分的發現是微積分發明的關鍵一步。17 世紀以來，光學透鏡的設計以及炮彈彈道軌跡的計算促使歐洲的數學家對曲線的切線進行研究。1630 年代，法國數學家吉爾德羅伯瓦爾作出了最初的嘗試。與此同時，同是法國人的費馬在計算切線時已經使用了無窮小量的概念。 right340px 無框 如右圖，費馬考慮曲線 f x 在 x 處的切線。他聲稱，對於切線，有以下的關係成立： frac ssh frac f xf xh 對上式變形後得到： s frac f xfrac f xh f xh 對於具體的函式 f x，比如 f x x3，費馬計算 frac f xh f xh 的值，並將 h 設為 0，就得到 s，從而確定切線的斜率。可以看出，費馬的方法實質上已經是求導。費馬還給出了 f x 為多項式時切線的公式。英國的巴羅、荷蘭的於德（Johnann Van Waveren Hudde）和瓦隆的斯盧茲（René Francoiss Walther de Sluze）繼續了費馬的工作。然而，費馬和巴羅等人並沒有將求導歸納為一種獨立的工具，只是給出了具體的計算技巧。 1660 年代，英國人伊薩克牛頓提出了 流數 的概念。牛頓在寫於 1671 年的《流數法與無窮級數》中對流數的解釋是：我把時間看作是連續的流動或增長，而其他的量則隨著時間而連續增長。我從時間流動性出發，把所有其他量的增長速度稱為流數。 也就是說，流數就是導數。牛頓將無窮小的時間間隔定義為 瞬間（moment），而一個量的增量則是流數與瞬間的乘積。求導數時，牛頓將自變數和因變數兩邊展開，同時除以瞬間，再將剩下的項中含有瞬間的項忽略掉。而在他的第三篇微積分論文中，牛頓使用了新的概念：最初比和最後比。他說： 相比於牛頓，德國數學家萊布尼茲使用了更清晰的記號來描述導數（見導數的記法一節）。他利用了巴羅的 微分三角形 概念，將自變數和因變數的增量記為 dx 和 dy。他把 dx 理解為 比任何給定的長度都要小，而 dy 則是 x 移動時 y 瞬刻的增長。而導數則是兩者之間的比例。他還研究了函式之和、差、積、商的求導法則。 牛頓和萊布尼茲的差別在於，牛頓將無窮小量作為求流數或導數的工具，而萊布尼茲則用無窮小量的比值來表示導數。這與二人的哲學思想差異有關。 微積分的理論面世後，遭到了有關無窮小量定義的攻擊與質疑。導數的定義自然也包括在內。萊布尼茲和牛頓對無窮小量的認識都是模糊的。不僅如此，萊布尼茲甚至引入了 d x 和 d y，稱其為 未消失的量，用以進行求導前部的計算。在完成計算後再用 消失的量 dx 和 dy 來代替它們，並假定前兩者之比等於後兩者之比，認為這是一個不容置疑的真理。 許多數學家，包括伯努利兄弟、泰勒、麥克勞林、達朗貝爾、拉格朗日和尤拉都想要對微積分的嚴密性辯護或將微積分嚴密化。但受限於對無窮小量的認識，十八世紀的數學家並沒有做出太大的成果。微積分的強烈抨擊者，英國的喬治貝克萊主教在攻擊無窮小量時認為，流數實際上是 消失的量的鬼魂，是 0 與 0 之比。尤拉承認後者，並認為 0 與 0 之比可以是有限值。拉格朗日則假定函式都可以展開為冪級數，並在此基礎上定義導數。 十九世紀後，隨著對函式連續性和極限的更深刻認識，微積分終於趨於嚴謹。波爾查諾是首先將導數定義為函式值的改變數與自變數增量之比在自變數增量無限接近 0 時趨向的量。波爾查諾強調導數不是 0 與 0 之比，而是前面的比值趨向的數。柯西在他的著作《無窮小分析教程概論》中也使用了同樣的定義，並定義 dy 為導數與 dx 的乘積。這樣，導數和微分的概念得到了統一。 導數的記法 從微積分發軔至如今，不同的數學家都曾使用過不同的記號來表示函式的導數。部分記號至今仍然使用，成為現代的通用記法。 牛頓的記法 作為微積分的發明人之一，牛頓在 1704 年著作中將導數用函式符號上方的點來表示。例如 y f x 的導數就記作 dot y，而二階導數則記為 ddot y。他以後的數學家也會將 dot y 用來表示函式的微分。牛頓的記法中沒有明確自變數，因此 y 對 x 的導數在牛頓的著作中也會被記成 y x，因為這可以理解為兩個函式 y 和 x 對於另一個變數 t 的導數比。而這個導數比（使用萊布尼茲的記號）： y x frac dydt frac dxdt frac dydx 牛頓的記號多見於物理學或與之有關的方面，如微分方程中。以及直到現在，使用函式符號上加一點來表示某一變數的變化率（即對時間的導數）依然常見於各類物理學教材中（如使用 dot v 來表示加速度等）。注意到對於高階的導數，這種記法就無法表示了。 萊布尼茲的記法 萊布尼茲在他的研究中分別使用 Delta x 和 Delta y 來表示函式自變數和應變數（輸出值）的有限變化量，而使用 dx 和 dy 來表示 無限小 的變化量（即所謂的 無窮小量）。如果將函式記為 y f x 的話，那麼在萊布尼茲的記法下，其導數記為： frac dydx、frac d fdxx、frac ddx f x 或 frac d left f x rightdx 這個記法最早出現在萊布尼茲 1684 年的論文中，萊布尼茲在之前的文章中會將 dx 記成 tfrac xd，把 tfrac dydx 記成 d tfrac yx。萊布尼茲記法的好處是明確了自變數和應變數第 4043 頁 。要注意的是記號 dx 是一個整體，dy 也是，而 frac dydx 可以看成一個整體，也可以不嚴謹地看成 dy 和 dx 的比值。此外，frac dydx 表示的是導函式，在某一點 xa 的導數則記為：leftfrac dydx right_xa 對於更高階的導數（比如說 n 階，見高階導數一節），萊布尼茲的記法是： frac dn ydxn、frac dn fdxnx 或 frac dn left f x rightdxn 這種記法是在 1695 年出現的。這裡的分子和分母不再具有單獨的意義。萊布尼茲的記法中使用 frac ddx 來表示微分運算元，比如說二階的導數 frac d2 ydx2 就可以看成： frac d2 ydx2 frac ddx left frac dydx right 萊布尼茲記法的另一個好處是便於記憶導數計算的法則。例如鏈式法則（見導數的計算一節）應用萊布尼茲的記法就是： frac dydx frac dydu cdot frac dudx 可以想象為右邊是兩個分式的乘積，消去 du 之後就變成左邊。 由於牛頓和萊布尼茲之間關於微積分創始人稱號的持久糾紛，在十八世紀早期的很長時間裡，英國數學界與歐洲大陸的數學界分別採用牛頓和萊布尼茲的記號，涇渭分明。這種情況直到十八世紀後期才開始改變，隨著拉格朗日記法的出現而變得多樣化起來。 拉格朗日的記法 另一種現今常見的記法是十八世紀拉格朗日於 1797 年率先使用的，以在函式的右上角加上一短撇作為導數的記號。函式 y f x 的導數就記作 fx 或 y。二階和三階導數記為 f x、y 和 f x、y。如果需要處理更高階的導數，則用括號內的求導階數 n 來代替短撇，記為：fnx、yn。當十九世紀的數學家柯西處理微分學時，他認為萊布尼茲的記法 模糊不便，而採用更為 緊湊 的記法，將 frac dydx 記為 y_x。這種記法可說是拉格朗日記法的變種。後來這種記法曾繼續被精簡為 y_x 第 258 頁。 其它記法 十九世紀以前，儘管大部分數學家會選擇採用牛頓、萊布尼茲或拉格朗日的記號來表示導數，但也有很多的數學家希望使用自己的方法來記錄。在不同數學家的著作中可以看到各種主流記法的混合或變體。數學家之間關於什麼樣的記法最為簡便和嚴謹也是各執一詞。同時，由於函式的微分、導數、偏導數以及無窮小量等概念尚未成熟，記號的不統一更增加了數學家之間相互理解的難度。十九世紀初期的德國數學家馬爾丹歐姆採用 partial f x 來表示導數，而同時期的雅可比則採用 frac partial fpartial x 來表示偏導數。同時許多數學家採用 frac d fd x MFontaine Mémoires donnés à lacadémie royale des sciences non imprimés dans leur temps1764、frac dx fA L Crelle Rechnungmit veranderlichcn GriJsscn Vol I Gottingen 1813 或 frac delta fdelta x Hamilton Philosophical Transactions of the Royal Society，London 1834 p249 表示偏導數。 用大寫字母 D 表示導數從十八世紀末就開始。1800 年，法國數學家路易斯弗朗索瓦安託內阿伯加斯特使用 Dm f 表示函式 f 的 m 階導數或全微分 Louis François Antoine Arbogast Calcul des Derivations 1800， p89。而其後本傑明佩爾斯也使用 Df cdot x 表示 f 對 x 的導數 Benjamin Peirce Elementary Treatise on Curves Functions and Forces new ed Boston and Cambridge Vol I 1852。而柯西也採用類似的記號，用 Dm_x f 表示函式 f 對 x 的 m 階偏導數 ALCauchy Exercices danalyse et de physique mathematique 1844 p1217。 函式可導的條件 如果一個函式的定義域為全體實數，即函式在 inftyinfty 上都有定義，那麼該函式是不是在定義域上處處可導呢？答案是否定的。函式在定義域中一點可導需要一定的條件。首先，要使函式 f 在一點可導，那麼函式一定要在這一點處連續。換言之，函式若在某點可導，則必然在該點處連續。這個結論來自於連續性的定義。 證明： 設函式 yf x 上一點 x_0，函式在這一點可導，即 fx_0 lim_Delta x to 0frac Delta yDelta x 存在，其中 Delta yf x_0 Delta xf x_0 所以：lim_Delta x to 0 Delta ylim_Delta x to 0left frac Delta yDelta x cdot Delta x rightlim_Delta x to 0 frac Delta yDelta x cdot lim_Delta x to 0 Delta x fx_0 cdot 0 0 即函式 f x 在 x_0 處連續。 符號函式（sgn 函式）是一個不連續的函式在斷點處不可導的例子： 首先注意到這個函式在 x_00 處不連續。作為驗證，可以求出函式在 x0 處附近的變化率，根據函式可導的條件再進行判斷： 該函式在 x_00 左側附近的變化率為：frac f xf x_0xx_0 frac 10x0 frac 1x 當 x to 0 時，上面的比值趨於正無窮大發散，不存在，故這個符號函式在 x_00 處不可導。 然而，連續性並不能保證可導性。即使函式在一點上連續，也不一定就在這一點可導。事實上，存在著在每一點都連續，但又在每一點都不可導的 病態函式。1931 年，斯特凡巴拿赫甚至證明，事實上 絕大多數 的連續函式都屬於這種病態函式（至少在一點可導的連續函式在所有連續函式中是貧集）。在連續而不可導的函數里，一種常見的情況是，函式在某一點連續，並且可以定義它的左導數和右導數： 然而左導數和右導數並不相等，因而函式在該處不可導。實際上，若函式導數存在，則必然可以推出左右導數相等，這是由極限的性質（極限存在則左右極限相等）得來： lim_Delta x to 0frac f x_0Delta xf x_0Delta x lim_Delta x to 0frac f x_0Delta xf x_0Delta x lim_Delta x to 0frac f x_0Delta xf x_0Delta x 下面以絕對值函式作為例子： 該函式在 x0 處的左導數為：f_0lim_x to 0frac f xf 0x0 lim_x to 0frac x0x0 1 該函式在 x0 處的右導數為：f_0lim_x to 0frac f xf 0x0 lim_x to 0frac x0x0 1 絕對值函式在 x0 處的左右導數皆存在，但由於左右導數不相等，故絕對值函式在 x0 處不可導。 如果函式在一點的左右導數都存在並且相等，那麼函式在該處可導。 導數與函式的性質 透過認識可導函式的導數，可以推斷出不少函式本身的性質。 單調性 根據微積分基本定理，對於可導的函式 f，有： f b f a intb_a ftmathrm d t 如果函式的導函式在某一區間內恒大於零（或恆小於零），那麼函式在這一區間內單調遞增（或單調遞減），這種區間也稱為函式的單調區間。導函式等於零的點稱為函式的駐點（或極值可疑點），在這類點上函式可能會取得極大值或極小值。進一步判斷則需要知道導函式在附近的符號。對於滿足 fx_0 0 的一點 x_0，如果存在 delta 0 使得 f 在區間 x_0 delta x_0 上都大於等於零，而在區間 x_0 x_0 delta 上都小於等於零，那麼 x_0 是一個極大值點，反之則為極小值點。如果 f x_00 並且 f x 在 x_0 改變加減號，則稱這個點是拐點；否則這個點不是拐點。 如果函式在 x_0 處的二階導數 f x_0 存在，極值點也可以用它的正負性判斷（已確定 fx_00）。如果 f x_0 0，那麼 x_0 是一個極小值點，反之為極大值點。 凹凸性 可導函式的凹凸性與其導數的單調性有關。如果函式的導函式在某個區間上單調遞增，那麼這個區間上函式是向下凸的，反之則是向上凸的。如果二階導函式存在，也可以用它的正負性判斷，如果在某個區間上 f 恒大於零，則這個區間上函式是向下凸的，反之這個區間上函式是向上凸的。 導數的計算 原則上，函式的導數可以透過考慮差商和計算其極限來從定義計算。在實踐中，一旦知道了一些簡單函式的導數，就可以使用從更簡單的函式獲得更復雜函式的導數的規則，來更容易地計算其他函式的導數。 基本函式的導數 所謂基本函式是指一些形式簡單並且容易求出導數的函式。這些基本函式的導函式可以透過定義直接求出。 冪函式的導數：如果 f x xr 其中 r 是任意實數，那麼 fx rxr1 函式 f 的定義域可以是整個實數域，但導函式的定義域則不一定與之相同。例如當 r frac 12 時： fx frac 12 xtfrac12 導函式的定義域只限所有正實數而不包括 0。需要注意的是，不會有多項式函式的導數為 scriptstyle x1。當 r 0 時，常函式的導數是 0。 底數為 e 的指數函式 scriptstyle y ex 的導數還是自身：scriptstyle frac mathrm dmathrm d x ex ex 而一般的指數函式 y ax 的導數還需要乘以一個係數：scriptstyle frac mathrm dmathrm d x ax ln a ax 自然對數函式的導數則是 x1：scriptstyle frac mathrm dmathrm d xln x frac 1xqquad x 0 同樣的，一般的對數函式導數則還需要乘以一個係數： scriptstyle frac mathrm dmathrm d xlog_a x frac 1xln a 三角函式的導數仍然是三角函式，或者由三角函式構成 frac ddxsin x cos x frac ddxcos x sin x frac ddxtan x sec2 x frac 1cos2 x 1tan2 x frac mathrm dmathrm d xcot x csc2 x frac 1sin2 x 反三角函式的導數則是無理分式 frac ddxarcsin x frac 1sqrt 1x2qquad 1x1 frac ddxarccos x frac 1sqrt 1x2qquad 1x1 frac ddxarctan x frac 11x2 導數的求導法則 由基本函式的和、差、積、商或相互複合構成的函式的導函式則可以透過函式的求導法則來推導。基本的求導法則如下： 求導的線性性：對函式的線性組合求導，等於先對其中每個部分求導後再取線性組合。 af bg af bg （其中 a b 為常數） 兩個函式的乘積的導函式，等於其中一個的導函式乘以另一者，加上另一者的導函式與其的乘積 fg fg fg 兩個函式的商的導函式也是一個分式。其中分子是分子函式的導函式乘以分母函式減去分母函式的導函式乘以分子函式後的差，而其分母是分母函式的平方。 left frac fg right frac fg fgg2 （在 g x neq 0 處方有意義） 複合函式的求導法則：如果有複合函式 f x h g x，那麼 fx hg x cdot gx 若要求某個函式在某一點的導數，可以先運用以上方法求出這個函式的導函式，再看導函式在這一點的值。 例子 欲求函式 f x x4 sin x2 ln x ex 7 在 x 3 處的導數。可以先求出其導函式： begin align fx 4 x41 frac mathrm dleft x2rightmathrm d xcos x2 left frac mathrm dleft ln xrightmathrm d x ex ln x frac mathrm dleft exrightmathrm d x right 0 4x3 2xcos x2 frac 1x ex ln x ex end align 其中第二項使用了複合函式的求導法則，而第三項則使用了乘積的求導法則。求出導函式後，再將 x 3 代入，得到導數為： f3 108 6 cos 9 frac e33 ln 3 e3 高階導數 二階導數 如果函式的導數 fx 在 x 處可導，則稱 fx 為 x 的二階導數。記做：f x，y， frac rm d2 yrm d x2 或 frac rm d2 f xrm d x2、 二階導數可用於求解函式凹凸性問題。 f x0 函式在 x 上凹。 f x0 函式在 x 下凹。 高階導數 二階導數的導數稱為三階導數，記做 f x，y，frac rm d3 yrm d x3 或 frac rm d3 f xrm d x3 三階導數的導數稱為四階導數，記做 f4x，y4，frac rm d4 yrm d x4 或 frac rm d4 f xrm d x4 一般的 f x 的 n1 階導數的導數稱為 f x 的 n 階導數，記為 fnx，yn，frac rm dn yrm d xn 或 frac rm dn f xrm d xn 高階導數的求法 一般來說，高階導數的計算和導數一樣，可以按照定義逐步求出。同時，高階導數也有求導法則： frac rm dnrm d xnupm vfrac rm dnrm d xn upm frac rm dnrm d xn v frac rm dnrm d xn CuCfrac rm dnrm d xn u frac rm dnrm d xnucdot vsum_k0n C_knfrac rm dnkrm d xnk ufrac rm dkrm d xk v（萊布尼茲公式） 因此，可以利用已知的高階導數求導法則，透過四則運算，變數代換等方法，求出 n 階導數。一些常見的有規律的高階導數的公式如下： frac rm dnrm d xn xalphaxalphanprod_k0n1alphak frac rm dnrm d xnfrac 1x1nfrac nxn1 frac rm dnrm d xnln x1n1frac n1xn frac rm dnrm d xn exex frac rm dnrm d xn axax cdot lnn a a0 frac rm dnrm d xnsin left kxbrightknsin left kxbfrac npi2right frac rm dnrm d xncos left kxbrightkncos left kxbfrac npi2right 多元函式的導數 向量值函式的導數 當函式 y 的取值不再是實數，而是一般的 mathbf Rn 中的向量時，仍然可能對其求導。這時的函式值是：y left y_1 x y_2 x cdots y_n x right。每個 y_i x 1 leqslant i leqslant n 都是一個實數值的函式。具體的例子如二維或者三維空間裡的引數方程。因此，對 y f x 求導實際上是對每個分量函式 y_i x 求導。 mathbf yt y_1 t cdots y_n t 這也符合定義 mathbf ytlim_hto 0frac mathbf yth mathbf yth 設 left e_1 e_2 cdots e_n right 為 mathbf Rn 的一組基，那麼對函式：y t mapsto y_1 t e_1 y_2 t e_2 cdots y_n t e_n 其導函式為：yt y_1 t e_1 y_2 t e_2 cdots y_n t e_n 偏導數 如果有函式 f 其自變數不是單個實數，而是多於一個元素，例如： f xy x2 xy y2 這時可以把其中一個元素（比如 x ）看做引數，那麼 f 可以看做是關於另一個元素的引數函式： f xy f_x y x2 xy y2 也就是說，對於某個確定的 x，函式 f_x 就是一個關於 y 的函式。在 xa 固定的情況下，可以計算這個函式 f_x 關於 y 的導數。 f_ay a 2y 這個表示式對於所有的 a 都對。這種導數稱為偏導數，一般記作： frac partial fpartial yxy x 2y 這裡的符號 是字母 d 的圓體變體，一般讀作 delta 的首音節或讀 偏，以便與 d 區別。 更一般地來說，一個多元函式 f left x_1 x_2 cdots x_n right 在點 left a_1 a_2 cdots a_n right 處對 x_i 的偏導數定義為： frac partial fpartial x_ia_1ldotsa_n lim_h to 0frac f a_1ldotsa_ihldotsa_n f a_1ldotsa_nh 上面的極限中，除了 x_i 外所有的自變元都是固定的，這就確定了一個一元函式： f_a_1ldotsa_i1a_i1ldotsa_nx_i f a_1ldotsa_i1x_ia_i1ldotsa_n 因此，按定義有： frac df_a_1ldotsa_i1a_i1ldotsa_ndx_ia_i frac partial fpartial x_ia_1ldotsa_n 偏導數的實質仍然是一元函式的導數。 多變數函式的一個重要的例子，是從 mathbf Rn（例如 mathbf R2 或 mathbf R3）對映到 mathbf R 上的標量值函式 f left x_1 x_2 cdots x_n right。在這種情況下，f 關於每一個變數 x_i 都有偏導數 frac partial fpartial x_i。在點 xboldsymbol a，這些偏導數定義了一個向量： nabla f boldsymbol a left frac partial fpartial x_1boldsymbol a ldots frac partial fpartial x_nboldsymbol aright。 這個向量稱為 f 在點 boldsymbol a 的梯度。如果 f 在定義域中的每一個點都是可微的，那麼梯度便是一個向量值函式 nabla f，它把點 a 對映到向量 nabla f a。這樣，梯度便決定了一個向量場。 方向導數 方向導數是比偏導數更加廣泛的概念。導數的本質是函式值增量與自變數增量之比的極限。在多元函式 f 中，可以選定一個確定的方向（以這個方向上的單位向量 boldsymbol delta 表示），並考慮函式在這個方向上的增量： f boldsymbol x_0 t boldsymbol delta f boldsymbol x_0 這個增量為關於 t 的一元函式。函式 f 的方向導數定義為這個增量與 t 的比值在 t 趨於 0 時的極限，記為 frac partial fpartial boldsymbol deltaboldsymbol x_0。 frac partial fpartial boldsymbol deltaboldsymbol x_0 lim_t to 0frac f boldsymbol x_0 t boldsymbol delta f boldsymbol x_0t 方向導數表示了函式從某點開始在某個方向上的變化率。 在 mathbf Rn 中，如果將向量 boldsymbol delta 選為正規基 left boldsymbol e_1 boldsymbol e_2 cdots boldsymbol e_n right 之中的一個，如 boldsymbol e_i，那麼方向導數就是關於 boldsymbol x_i 的偏導數。 推廣 導數的概念建立在變數為實數之上，但也可以推廣到更加廣泛的意義上。推廣的導數本質上仍舊是函式在區域性一點上的線性逼近。 復變數導數 對於變數為複數的函式，也可以定義導數的概念。假設有複變函式 f Omega in mathbb C to mathbb C。如果 f 在某一點 z_0 及附近有定義，並且極限： lim_z to z_0frac f z f z_0z z_0 存在，那麼就說函式 f 在 z_0 可導。其中 z to z_0 表示 z z_0 的模長趨向於 0。如果將復變數 z 視作 xiy，那麼 f 可以視作一個 mathbb R2 上的函式。如果作為複變函式的 f 可導，那麼作為 mathbb R2 上函式的 f 的偏導數也存在，但反之則不然。只有當柯西 黎曼條件滿足的時候才能保證複變函式的復可導性第 1719 頁。 弱微分 在分佈理論裡，弱微分的概念使得對更多嚴格意義上無法求導的函式也可以定義導函式。設 u 是一個區域性勒貝格可積（比如說在 L1_locmathbb R 中）的函式，稱 v in L1_locmathbb R 是 u 的一個弱微分，如果對所有的測試函式 varphi，都有： int_mathbb R u tvarphit dtint_mathbb R v tvarphi t dt 成立。其中測試函式是指緊支撐的光滑函式。弱微分包括了強微分，也就是通常意義上的導數。 次導數 在凸分析，也就是對凸函式的研究中，可以定義凸函式的次導數。次導數的概念是導數的幾何意義的推廣。由於函式是凸的，過它的影像上每一點總可以作一條直線，使得函式的影像在直線上方。這種直線的斜率稱為函式在這點的次導數。如果函式在某點可導，那麼次導數只有一個，等於其導數。如果函式像絕對值函式一樣在零點有突然的轉折，那麼次導數可能不止一個。比如過零點而斜率在 11 之間的直線都在絕對值函式下方，因此 11 之間的每個數都是絕對值函式在零點的次導數。p163166 非整數階導數 早在十九世紀，在數學家明確了求導與積分的互逆關係以後，就出現了負階次導數的記號：Dn intn（表示求 n 次積分）。而非整數階導數的概念則進一步將其推廣。比如，半微分運算元 H Dfrac12 表示其作用於函式上兩次以後的效果將等於一次求導： H2 fx H H fx D fx fx 定義非整數階導數的方法不止一種，最常用的非整數階導數定義為黎曼 劉維爾定義： 設 0 s 1，函式 f 的 s 階積分為：Ds_t f t frac 1Gamma s intt_a t us1 f u d u 而對 n1 beta n，函式 f 的 beta 階導數為：Dbeta_t f t frac dndtn left Dnbeta_t f t right 第 384385 頁 加託導數和弗雷歇導數 方向導數在無窮維向量空間如巴拿赫空間和弗雷歇空間上可以推廣為加託導數和弗雷歇導數。二者都經常用於形式化泛函導數的概念，常見於物理學，特別是量子場論。 導子 微分代數中有導子的概念。導子是具備了微分運算元的某些特徵的運運算元，例如向量場的李導數，或非交換代數中的交換子。給定一個環或域 mathbf R 上的一個代數 mathcal A，mathcal A 上的一個 mathbf R 導子 delta 是一個從 mathcal A 射到自身的 mathbf R 線性對映（線性自同態），並滿足導數的乘積法則： delta ab delta a b a delta b 所有 mathbf R 導子構成了 mathcal A 上線性自同態集 operatorname End mathcal A 的子空間 p78 。 導數的應用 物理學、幾何學、工程科學、經濟學等學科中的一些重要概念都可以用導數來表示。如，導數可以表示運動物體的瞬時速度和加速度，也可以表示曲線在一點的斜率。 邊際和彈性 經濟學中，所謂邊際和彈性的概念與導數緊密相關。比如邊際成本就是產量增加一個單位所帶來的成本的增加，若將其連續化，得到的便是成本函式的導數。又如需求的彈性是指價格變化一個單位時，需求量的變化，連續化後相應的也是需求函式關於價格的導數。 參見 導數列表 微積分 微分 積分 光滑函式 微分中值定理 介值定理 自動微分 第二次數學危機 協變導數 數值微分 註釋 參考文獻 外部連結 導數計算器 Category 數學分析 Category 微分學 Category 函式 Category 微積分中的線性運算元 Category 率 Category 變化