設函數y＝f(x)在某區間有定義，x_0和x_0+δx在這個區間內，如果函數的增量δy＝f(x_0+δx)-f(x_0)可表示為δy＝aδx+o(δx),其中a是不依賴于δx的常數，而o(δx)是比δx高階的無窮小量，那么稱函數y＝f(x)在點x_0是可微的，而aδx稱為函數y＝f(x)在點x_0相應于自變量增量δx的{1}，記作dy＝aδx。這時a＝f′(x)，再記δx＝dx，則dy＝f′(x)dx。

微分學  微分方程