数学では微分はある量の変化のしかたを定量的に表す概念で、ある点における変化率、すなわち関数がその点でどの程度変化しているかを示します。関数が実数に作用する場合、グラフ上のある点での接線の傾きとして捉えることができます。微分は通常「dy over dx」(yの差をxの差で割ったもの)で表記され、記号としては dy/dx や f'(x)、D[f](x) などが用いられます。dは変数ではないので、打ち消すことはできない、という説明はよく見られますが、後述するように d は演算や微小変化を表す記法としての意味を持ちます。
微分の定義(差分商と極限)
関数 f の点 a における導関数 f'(a) は、次の極限が存在するときに定義されます:
f'(a) = lim_{h→0} (f(a+h) − f(a)) / h.
これは、x を a から微小量 h だけ変化させたときの平均変化率 (差分商) を、h を 0 に近づけることで得られる瞬間的(即時的)な変化率に極限する操作です。極限が存在すればその値が接線の傾きとなり、存在しなければその点では微分可能ではありません。
dy/dx の意味と d の扱い
dy/dx は「y の微小変化量 dy を x の微小変化量 dx で割ったもの」を意味する記法です。厳密には導関数は極限で定義されますが、微分学の計算や応用では dy, dx を「無限小(infinitesimal)あるいは微小変化」として扱うことで便利に扱えます。解析学の形式的な枠組み(例えば微分形式やノンスタンダード解析)では d の意味が整備されています。
注意点:d は単なる変数ではなく、微分演算子(または微小差分の記号)として解釈されます。したがって「d を打ち消す」ことは厳密には正しくありませんが、実務や応用では dx を両辺に掛けるなどして代数的に扱うことが多く、結果的に正しい操作になる場合がほとんどです。
接線の傾きと幾何学的・物理的解釈
関数 y = f(x) のグラフにおける点 (a, f(a)) の接線の傾きは、x の増分が非常に小さいときの y の増分の比として得られます。これは次のようにイメージできます:
- 幾何学的解釈:接線の傾き = グラフを局所的に直線で近似したときの傾き。
- 物理的解釈:位置 x(t) の時間 t による変化であれば、微分 dx/dt は「瞬間速度」を表します。同様に、ある量の時間当たりの変化率としての意味を持ちます。
簡単な例:f(x)=x^2 の微分
例として f(x)=x^2 の導関数を差分商で計算します:
f'(x) = lim_{h→0} ((x+h)^2 − x^2) / h = lim_{h→0} (2xh + h^2) / h = lim_{h→0} (2x + h) = 2x.
したがって、x^2 の微分は 2x であり、点 x=a における接線の傾きは 2a です。
微分可能性と連続性
関数がある点で微分可能であるならば、その点で必ず連続です(微分可能性 ⇒ 連続性)。ただし逆は成り立ちません:連続であっても角や折れ目がある点では微分可能でないことがあります(例:|x| の原点)。
微分の基本的な公式と性質
- 和・差の微分: (f+g)' = f' + g'。
- 積の微分(積の法則): (fg)' = f'g + fg'。
- 商の微分: (f/g)' = (f'g − fg') / g^2(g ≠ 0)。
- 合成関数の微分(連鎖律): (f∘g)'(x) = f'(g(x))·g'(x)。
- 冪関数: (x^n)' = n x^{n−1}(n は正整数。一般化も可)。
高階導関数と応用
一階導関数 f'(x) のさらに微分を取ると二階導関数 f''(x)、さらに高階導関数 f^(n)(x) が得られます。物理では加速度は位置の二階微分(x''(t))に対応します。高階導関数は関数の曲がり具合(凹凸)やテイラー展開における係数と深い関係があります。
線形近似(微分の応用)
微分は関数を局所的に直線で近似するために使われます。点 x=a の近傍で:
f(x) ≈ f(a) + f'(a) (x − a).
この近似は微分を用いた一次近似(線形近似)で、誤差は (x−a) の二乗以上の項に依存します(十分小さい範囲で有効)。
まとめ
微分は関数の局所的な変化率を示す基本的な概念で、接線の傾き、瞬間的な変化速度、関数の局所線形近似など多くの直感的・応用的意味を持ちます。記号 dy/dx は微小変化の比として便利に使われますが、数学的には差分商の極限として厳密に定義されることを忘れないでください。最後に、微分が存在するためには差分商の極限が一意に存在する必要がある点に注意してください。


.gif)