基本介紹
概念,導數,瞬時速度,切線方向,定義,微分法則,高階導數,微分,微分概念,高階微分,微分定理,羅爾定理,拉格朗日定理,柯西中值定理,研究方面,函式作圖,單調性,極值點,凹凸性,拐點,
概念
建立微分學所用的分析方法對整個數學的發展產生了深遠的影響，運用到了許多數學分支中，滲透到自然科學與技術科學等極其眾多的領域。微分學的作用是在自然科學中用數學來不僅僅表明狀態，並且也表明過程（運動）。微分學的基本思想在於考慮函式在小範圍內是否可能用線性函式或多項式函式來任意近似表示。直觀上看來，對於能夠用線性函式任意近似表示的函式，其圖形上任意微小的一段都近似於一段直線。在這樣的曲線上，任何一點處都存在一條惟一確定的直線──該點處的“切線”。它在該點處相當小的範圍內，可以與曲線密合得難以區分。這種近似，使對複雜函式的研究在局部上得到簡化。微分學的基礎是建立在實數、函式、極限、連續性等一組基本概念之上的。微分學主要研究以下內容。
導數
瞬時速度
原是一個純粹的物理概念。它是在人們經過多次反覆觀察比較種種非勻速直線運動，尤其在研究物體的碰撞運動而獲得大量經驗之後產生的。精確科學要求，不僅要準確、清晰而定性地表達這個概念（當然必須與經驗的瞬時速度概念相一致），而且要能同時給出確定速度數值的方法。這就促使人們在數學上要建 立一種對函式施加的獨特的運算。
設一個非勻速直線運動的質點所行的路程 s與時間t的依賴關係是 s=f(t)。 如果要定義質點在某一給定時刻t的速度(瞬時速度),並計算出這速度的數值，考慮時刻t的一個鄰近值t1，在t到t1這段時間Δt=t1-t中，質點運動的路程是 △s=f(t1)-f(t)，從而這段路程上的平均速度是：
在一般常見的情形，當Δt很小,相應的尌就很接近於時刻t的瞬時速度，而且一般說來，Δt愈小，尌就愈接近於該時刻的瞬時速度。這說明,時刻t的瞬時速度可以表現為路程變化量與時間變化量之比當Δt趨於零（而始終不等於零）時的極限:
。只要這個極限存在，就利用它來定義瞬時速度並計算其數值。
切線方向
設一個質點在一平面上運動，其軌跡在取定一個笛卡兒坐標系後可以表示成曲線y=ƒ(x)。如果要考慮怎樣確定質點運動到曲線上一任意給定點p（x,y）時的瞬時方向，為此在曲線上取p的一鄰近點Q(x1,y1)。很容易看到割線pQ的方向近似於質點在p處的瞬時方向,而且一般說來，x1愈接近x，近似程度就愈好。如果當Q沿曲線趨近p,割線pQ趨近某個極限位置pT，則占據這個極限位置的直線就稱為曲線在點p處的切線，這切線的方向就是運動質點在點p處的瞬時方向。切線pT與.橫軸的夾角θ,就應當是割線pQ與橫軸夾角φ的極限。因此切線pT的斜率k=tanθ可以如下計算：
。若令Δx=x1-x，則有
。只要這個極限存在,就決定了曲線y=ƒ(x)在點p(x,y)處的切線的方向。
定義
導數也稱微商。上述兩個問題儘管有著不同的物理方面或幾何方面的背景，但在數量關係上並沒有區別,解決問題所涉及的運算也是相同的:從自變數x的變化量Δx出發，求出相應的因變數y的變化量Δy以後，取商Δy/Δx，再令Δx趨於零(而始終不等於零)取極限
。這個極限運算稱為函式的微分運算，運算的結果稱為函式的導數。
準確地說，函式y=ƒ(x)在給定一點x處的導數定義為
。這裡說的是這個極限存在的情況，這時又稱函式ƒ(x)在點x處是可微的。如果這個極限不存在,就認為ƒ(x)在x處沒有導數,並稱ƒ(x)在點x處不可微。例如ƒ(x)=|x|在x=0處就是不可微的。容易看出,如果因變數的變化量Δy=ƒ(x+Δx)-ƒ(x)不隨Δx趨於零,則上述極限不會存
在，所以函式在其不連續點處一定是不可微的。值得注意的是,函式在其連續點處也有可能是不可微的,如前面所給出的例ƒ(x)=|x|就在x=0處連續而不可微。K.（T.W.）外爾斯特拉斯曾給出一個例子(1872)，其中的函式處處連續但處處不可微。所以，函式的可微性要求比連續性強得多。外爾斯特拉斯給出的函式是
式中0<α<1；b)為滿足條件
的一個奇整數。
可以在給定的點x處考慮單側導數,即左導數與右導數：（圖1）
(圖1)
(圖1)函式ƒ(x)在它的每一個可微點x處都對應著一個唯一確定的數值──導數值ƒ┡(x),這個對應關係給出了一個定義:在ƒ(x)全體可微點的集合上的新的函式，稱為函式ƒ(x)的導函式，記為ƒ┡(x)。
微分法則
(圖2)
(圖3)
(圖4)以上微分法則表明，初等函式的導數仍然是初等函式而且初等函式的導數的具體計算都切實可行。因此，關於初等函式的微分運算已完全地得到解決。
高階導數
函式ƒ(x)的一階導數ƒ'(x)的導數就是ƒ(x)的二階導數，記為ƒ″(x)。可以歸納地定義ƒ(x)的n階導數ƒ(n)(x)的導數就是ƒ(x)的(n+1)階導數ƒ(n+1)(x)。關於乘積函式的高階導數，有萊布尼茨公式：如果u(x)和v(x)都是x的函式，各自有n階導數，則(圖5、6）。
(圖6)
(圖5)
(圖6)(圖5)微分
線性主要部分
導數的存在表明切線的存在。假如函式y=ƒ(x)在點x處有導數ƒ┡(x)存在，則函式曲線在相應點p(x,y)處有斜率為ƒ┡(x)的惟一確定的切線存在。它在切點p附近與曲線密合,並且在相當靠近切點的地方，密合得難以區分（圖2）。這在分析上意味著在點x的小鄰域內，函式值y=ƒ(x)是可以用切線上相應點的縱坐標值來近似的。而且在x充分小的鄰域內，近似誤差R與Δx=x1-x相比是微不足道的。事實上 由於ƒ┡(x)存在，就有 這樣，函式的改變數Δy就被分解成了兩部分之和，其中第一項線性地依賴於Δx,而它與Δy相差是關於Δx的高階無窮小量。換言之,當Δx很小時,捨棄這個微不足道的誤差，剩下的部分ƒ┡(x)Δx就可以作為Δy的近似值了。這一項被稱為Δy的線性主要部分。
微分概念
微分的概念從萌發到完整，其嚴格化經歷了幾個世紀。即使在微積分蓬勃發展的牛頓-萊布尼茨-歐拉時代，數學家們儘管能用微分進行近似計算，布列並求解微分方程，但由於無窮小量的概念尚未精確化，微分的概念並不明晰；直至19世紀，數學的嚴格性發展到了新的高度，微分的概念才被確切地理解。
一階微分形式不變性 對複合函式如果ƒ(u)和φ(x)都是可微函式，則在x為自變數時這說明，dy的表達式不論對自變數x還是對中間變數u其形式是不變的。也就是說可以不必區分變數u是自變數或因變數，函式y=ƒ(u)的微分永遠具有一個共同的形式： 這就是一階微分形式不變性，這使得有時利用微分進行計算比運用導數要簡單。
高階微分
可以歸納地定義。一階微分（仍然作為x的一個函式）的微分，即稱為原來函式的二階微分,記為關於乘積函式的萊布尼茨公式就變為 這裡 d0u=u， d0v=v。
需要注意的是,高階微分不再具有形式不變性。對於y=ƒ(u)，u=φ(x)，有dy=ƒ┡(u)du，其中du=φ┡(x)dx是一個與x有關的函式，所以 如果u是自變數，則d2u=0，因而這就是說，u是自變數還是因變數,會導致高階微分具有不同的形式。
微分定理
羅爾定理
拉格朗日定理
f(b) - f(a)=f'(ε)(b-a)或者f(b)=f(a) + f ’(ε)(b - a)。
直觀上說，就是在函式圖形上至少存在一點，在該點處的切線與圖形兩端點的連線平行。不過定理本身並沒有給出點ξ的確切位置,而且滿足條件的ξ點也可能不只一個。如果構想ƒ(t)表示一質點在時刻t所行的路程，那么就表示質點在時間間隔(α,b)中的平均速度,而ƒ┡(t)表示質點在時刻t的瞬時速度的數值。定理的意義則在於斷定至少存在一個時刻t=ξ,在這個時刻的瞬時速度的數值，恰等於平均速度的數值。
形式上作些變化後，得到公式 式中0<θ<1,這個公式被稱為拉格朗日有限增量公式。另一種較一般的形式稱為柯西中值定理。
柯西中值定理
若函式ƒ(x)與g(x)在閉區間【α,b】上連續，在開區間(α,b)內可微,則在這個區間內至少存在一點ξ，使得當g(x)=x時，上面定理與拉格朗日定理有同一形式，所以柯西中值定理是拉格朗日定理的最一般的形式。
洛必達法則 法國數學家 G.-F.-A de洛必達於1696年在他的名著《無窮小分析》中，給出了一種確定未定式值的方法：如果函式ƒ(x)與g(x)在區間(α,b)內可微，g┡(x)≠0，又如果極限過程x→α+0也可以換成別的極限過程(x→b)-0,x→с,x→∞)。由於所考慮的比ƒ(x)/g(x)在極限過程中形式上趨於或,不能一般地定值,所以稱為未定式。通過洛必達法則可以由ƒ┡(x)/g┡(x)的極限來確定ƒ(x)/g(x)的極限。應當注意的是，如果ƒ┡(x)/g┡(x)的極限不存在,並不能肯定ƒ(x)/g(x)的極限也不存在。此外還有0·∞，∞－∞，00，1∞及∞0幾種類型的未定式,但它們都可以先經過適當代數變換化歸型或型,然後用洛必達法則定值。 泰勒公式 多項式是最簡單的一類初等函式。由於它本身的運算僅是有限次加減法和乘法，所以在數值計算方面，多項式是人們樂於使用的工具。對於一個任意給定的函式ƒ(x),總希望能找到一個n次多項式p(x),它至少在局部上與ƒ(x)相當接近，因而在數值計算上能代替ƒ(x)。 如果函式ƒ(x)在某點x=x0附近本來就是一個多項式 逐次微分便給出 當n式中 稱為函式ƒ(x)在點x=x0處的n次泰勒多項式。對一般函式ƒ(x),前面的估計式也可以成立，只要ƒ(x)在點x=x0處n次可微。因為這時只要寫出恆等式並重複使用洛必達法則便可以得到 故仍然有 這裡餘項的估計式 稱為餘項的皮亞諾形式。此外常用的還有餘項的拉格朗日形式 式中ξ 位於x0與x之間的某一點。也有餘項的柯西形式 。
當然這裡都假定ƒ(n+1)（x）在x到x0之間處處存在。如果ƒ(n+1)（x）在x與x0之間處處連續，則有餘項的積分形式。通常，稱原點x0=0處的泰勒公式為馬克勞林公式，即 或 式中ξ介於0到x之間。
研究方面
根據導數的幾何意義和微分的運算法則，函式的數量可在其幾何意義的指導下運用微分運算來進行研究。
函式作圖
描繪函式y=ƒ(x)的圖形，往往可以使人們獲得ƒ(x)的一個直觀幾何形象。這對於研究ƒ(x)的變化規律，確定ƒ(x)的極大值、極小值，甚至對方程近似求根都很有好處。選定笛卡兒坐標系後，描繪函式曲線y=ƒ(x)的圖形，原則上說要採取“列表描點法”。也就是說要在坐標系中描出一批點(x1,ƒ(x1)),(x2,ƒ(x2)),…,(xn,ƒ(xn))；最後用適當的曲線順次連結這些點。由於實際上只可能描出有限個點，這樣得到的曲線圖形當然是粗糙的。為了能比較全面細緻、又比較簡單地得到函式圖形，重要的是把握函式在整體上變化的特性（如範圍、對稱性、周期性等）、趨勢以及某些局部的特殊變化性態。
函式在某點的導數，幾何上給出了函式曲線在相應點處的切線的斜率。因此對於可微函式，藉助於其一階導數的代數符號，可以分析曲線上各點處的切線的狀態，隨之即可能對曲線“上升”與“下降”的變化規律作出一些判斷。再藉助函式的二階導數的代數符號，又能對切線的變化規律加以分析，從而又可以對曲線的“凸”與“凹”的特徵進一步作出判斷。
單調性
如果函式取值隨自變數的增大而增大，則稱函式是單調增大的。反之，如果函式的取值隨自變數的增大而減小，則稱函式是單調減小的。單調增大和單調減小統稱為單調。
考慮可微函式y=ƒ(x),其圖形如圖5。在其導數為正的區間,例如區間(x2,x4)內任取一點,比如x3，則曲線上對應點處切線的傾角必介於0到π/2之間，因而曲線在x3附近（從左到右）必定是上升的。故在區間(x2,x4)內函式是單調增大的；而在函式的導數為負的區間,例如區間(α,x2)內恰恰相反,函式是單調減小的。
極值點
如果函式在某一點所取的值不超過（或不小於）函式在該點某個鄰域內其他各點的值，則稱函式在該點處達到相對極小（或極大）值。該點是函式的一個極小（極大）值點。在圖5中ƒ(x)在x=x2，x=x0處達到極小值，而在x=x5處達到極大值,且x2、x6、x5都是極值點。
17世紀法國數學家P de費馬首先注意到，可微函式的極值只可能在適合方程ƒ┡(x)=0的點，即駐點處達到。幾何上看，曲線在相應極值點處的切線必定是“水平”的。不過駐點可能並不是極值點,如圖5中在x=x4點的情形。因而函式在駐點是否達到極值，需進一步分析判定。如果函式在駐點處二階導數存在而且大於零，則函式在駐點處達到極小值。事實上，如果二階導數大於零，則一階導數在駐點附近是單調增大的；又由於駐點處導數值是零，因而一階導數在駐點左邊小於零而在駐點右邊大於零。這在幾何上反映出函式在駐點左邊單調減小，而在駐點右邊單調增大；故函式必定在駐點處達到極小值，該駐點是一個極小值點。類似地，如果在駐點處二階導數小於零，則該駐點必是一個極大值點。
凹凸性
對於可微函式y=ƒ(x)來說，隨著自變數x取值的變化，函式曲線的切線的傾角也隨之在變化。如果隨x增大傾角減小，則稱曲線向上凸，或凸，如圖5曲線在B、D之間的弧。當ƒ″(x)存在而且小於零時,ƒ┡(x)單調減小, 即切線的傾角隨x增大而減小，因而曲線向上凸。反之，如果ƒ″(x)存在，而且大於零，則曲線向下凸或凹。
拐點
如果曲線經過一點時凹凸性發生變化，該點就稱為曲線的一個拐點，如圖5中的B、E都是曲線的拐點。如果ƒ″(x)在拐點附近連續且變號則在拐點處必有ƒ″(x)=0。但應注意,不是所有使ƒ″(x)=0的點都必定是拐點，如曲線y=x4上的(0,0)點。 漸近線 某些曲線，例如雙曲線、拋物線都是有伸向無限遠的分支的曲線。對於這樣的曲線，可能存在具有以下性質的直線：當動點在無窮分支上移向無窮遠時動點與該直線的距離（水平或垂直）趨向於零。這種直線稱為曲線的漸近線。一般地說,一條不與x軸垂直的直線y=mx+b稱為曲線y=ƒ(x)的一個漸近線，是指差數ƒ(x)-mx-b
