微分商

ウィキペディア

微分

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/01/19 07:50 UTC 版)

この項目では、英語の "differentiation" に対応して微分係数や導関数（derivative）を計算すること、あるいは用語の濫用によりその計算結果自体を指す「微分」について説明しています。 英語の "differential" に対応する「微分」については「関数の微分」をご覧ください。 その他の「微分」については「微分 (曖昧さ回避)」をご覧ください。

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "微分" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2013年8月)

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

函数のグラフ（黒線）と函数が描く曲線の接線（赤線）。接線の傾きは接点上の函数の微分係数に等しい。

数学における実変数関数（英語版）の微分係数、微分商または導関数（どうかんすう、英: derivative）は、別の量（独立変数）に依存して決まる、ある量（関数の値あるいは従属変数）の変化の度合いを測るものであり、これらを求めることを微分（びぶん、英: differentiation）するという。微分演算の結果である微分係数や導関数も用語の濫用でしばしば微分と呼ばれる。

概要

微分は解析学分野（特に微分積分学分野）の基本的な道具である。例えば、動く物体の位置の時間に関する導関数はその物体の速度であり、これは時間が進んだときその物体の位置がどれほど早く変わるかを測る。

一変数関数の適当に選んだ入力値における微分係数は、その点におけるグラフの接線の傾きである。これは導関数がその入力値の近くでその関数の最適線型近似を記述するものであることを意味する。そのような理由で、微分係数はしばしば「瞬間の変化率」として記述される。瞬間の変化率は独立変数に依存する従属変数である。

微分は実多変数関数（英語版）にも拡張できる。この一般化において、導関数はそのグラフが（適当な変換の後）もとの関数のグラフを最適線型近似する線型写像と解釈しなおされる。ヤコビ行列はこの線型変換を独立および従属変数を選ぶことで与えられる基底に関して表現する行列であり、独立変数に関する偏微分を用いて計算することができる。多変数実数値関数に対して、ヤコビ行列は勾配に簡約される。

導関数を求める過程を微分あるいは微分法、微分演算（英: differentiation）と言い、その逆の過程（原始関数を求めること）を反微分という。微分積分学の基本定理は反微分が積分と同じであることを主張する。一変数の微分積分学において微分と積分は基本的な操作の二本柱である^[1]。

引数が変更されたときの関数のスイングのように、微分の直感的なアイデアを与えるアニメーション。

1変数関数の微分法

直観的な説明

初めに最も簡単な場合を扱う。すなわち、実数値の変数を1個もち、値も1個の実数であるような関数 f(x)（または単に f とも書く）を微分することを考える。「微分する」というのは、より正確には、微分係数（英語版）または導関数のいずれかを求めることを意味している。

説明を単純にするため、f(x) はすべての実数 x に対して定義されているとしよう。すると各々の実数 a に対して、f の a における微分係数と呼ばれる数がある（定義されない場合もあるが、ここでは理想的な状況のみを想定して説明する）。これを f′(a) で表す。また、実数 a に対して微分係数 f′(a) を対応させる関数 f′ のことを f の導関数という。

微分係数 f′(a) とは何であるか直観的に説明するには、いくつかの方法がある。

1. 微分係数 f′(a) とは、関数 f のグラフに x = a において（すなわち点 (a, f(a)) において）接線をひいたときの、その接線の傾きのことである。
2. 微分係数 f′(a) とは、変数 x の値の変化に伴う f(x) の変化を考えたときの、x = a における f(x) の瞬間変化率のことである。
3. 微分係数 f′(a) とは、関数 f のグラフの x = a 付近を（すなわち点 (a, f(a)) 付近を）限りなく拡大していったときに、グラフが直線に近づいて見える場合における、その直線の傾きのことである。

これらはいずれも、論理的に厳密な定義とはいえない。それは、「接線」や「瞬間変化率」について厳密な定義が与えられていないし、またグラフを「限りなく拡大する」ということの意味も定かではないからである。

ごく単純な関数については、上記の説明が微分係数の具体的な値について十分な示唆を与えるのは確かだ。たとえば一次関数 f(x) = Ax + B を考えると、そのグラフは直線なので、「x = a における接線」もその直線自身であると考えるのが妥当だろう。直線 y = Ax + B の傾きは A だから、微分係数 f′(a) の値も A とすべきだと考えられる。また、二次関数についても、グラフの接線の概念を微分とは無関係に定義して、その傾きを求めることはできる。だが、ほとんどの関数にはこのような手法は通用しないから、一般的な定義を与えるためには新しい考えが必要である。

極限としての変化率

Figure 1. (x, f(x)) における接線

Figure 2. 二点 (x, f(x)) および (x+h, f(x+h)) の定める、曲線 y= f(x) の割線（英語版）

Figure 3. 割線の極限としての接線

Figure 4. 割線の極限としての接線（アニメーション）

厳密な定式化

一点における微分可能性と微分係数

関数 f(x) が開区間 ${\displaystyle I\subset \mathbb {R} }$

絶対値関数は x = 0 において連続だが、割線の傾きが左側で −1、右側で 1 だから微分可能でない。

一方で、関数がある一点で連続だったとしても、そこで微分可能でないことがある。

• 絶対値関数 f(x) = |x| は x = 0 において連続だが、この点で微分可能でない。h > 0 のときは (0, 0), (h, f(h)) を通る割線の傾きは 1 だが、h < 0 のときは −1 である。この例では、グラフは x = 0 においてカスプ（尖点）をもつという言い方をする。
• 関数 f(x) = x^1/3 は x = 0 において連続だが、この点で微分可能でない。(0, 0), (h, f(h)) を通る割線の傾きは、h → 0 のとき正の無限大に発散するからである。この例は、グラフが滑らかにつながっているからといって微分可能とはかぎらないことを示している。

実用上現れる関数の大半は、ほとんど至るところで微分可能である。微分積分学の歴史（英語版）の初期には、多くの数学者は連続関数はほとんど至るところで微分可能であると考えていた。この仮定は緩やかな条件、たとえば単調写像やリプシッツ連続などのもとでは確かに満たされる。しかし1872年にワイエルシュトラスは、至るところ連続だが、至るところ微分不可能な関数の例を与えた（ワイエルシュトラス関数）。1931年にステファン・バナフは、連続関数全体のなす空間において、少なくとも1点で微分可能な関数全体のなす集合が痩せている(meager)ことを示した^[2]。くだけた言い方をすれば、ほとんどあらゆる連続関数がすべての点で微分不可能なのである。

高階微分

関数 f が区間 I で導関数 f ′ をもち、それがさらに I で微分可能なとき、f ′ の導関数を f の2階導関数とよび f ″ で表す。より一般に、関数 f が区間 I で n 回繰り返して微分できるとき、f は I で n 回微分可能であるといい、n 回微分して得られる関数を n 階導関数といって f ⁽ⁿ⁾ で表す。

f が n 回微分可能であって、さらに n 階導関数 f ⁽ⁿ⁾ が連続であるとき、f は n 回連続微分可能である（または C ⁿ 級である）という。何回でも微分可能な関数は無限回微分可能である（または C ^∞ 級である）という。C ^∞ 級関数のことを滑らかな関数ということもある（ただしこの語の用法は必ずしも一定していず、たとえば単に微分可能であることを指して滑らかであるという場合もある）。

微分と関数の増減・凹凸

導関数の符号と関数の増減

微分可能な関数 f(x) について、導関数 f′(x) が正の値をとる区間では、f(x) の値は単調増加する（より詳しくいえば、狭義単調増加する）。導関数 f′(x) が負の値をとる区間では f(x) の値は単調減少する。導関数 f′(x) の値がつねに 0 であるような区間では、関数 f(x) の値は一定である。

2階導関数の符号と関数の凹凸

2階微分可能な関数 f(x) について、2階導関数 f′′(x) が正の値をとる区間では、関数 f(x) は凸（下に凸）である。f′′(x) が負の値をとる区間では関数 f(x) は凹（上に凸）である。

関数 f(x) が x = a の前後で凸から凹に、あるいは凹から凸に切り替わるとき、点 (a, f(a)) は f(x) のグラフの変曲点であるという^[3]。2階微分可能な関数 f(x) については、これは2階導関数 f′′(x) の符号が切り替わる x の値に対応する点ということができる。

多項式近似への応用

→詳細は「テイラーの定理」を参照

関数 f が開区間 I で n − 1 階微分可能で、n − 1 階導関数 f^{(n − 1)} が x = a で微分可能なとき、f^{(n − 1)} の x = a における微分係数を f⁽ⁿ⁾(a) とすれば

${\displaystyle f(a+h)={\frac {f(a)}{0!}}+{\frac {f'(a)h}{1!}}+{\frac {f''(a)}{2!}}h^{2}+\dots +{\frac {f^{(n)}(a)}{n!}}h^{n}+O(h^{n})}$

プロジェクト 数学