微分

函数のグラフ（黒線）と函数が描く曲線の接線（赤線）。接線の傾きは接点上の函数の微分係数に等しい。
数学におけるfunction of a real variableの微分係数、微分商またはは、別の量（独立変数）に依存して決まる、ある量（関数の値あるいは従属変数）の変化の度合いを測るものであり、これらを求めることをするという。微分演算の結果である微分係数や導関数も用語の濫用でしばしば微分と呼ばれる。

**概要**
微分は解析学分野（特に微分積分学分野）の基本的な道具である。例えば、動く物体の位置の時間に関する導関数はその物体の速度であり、これは時間が進んだときその物体の位置がどれほど早く変わるかを測る。 
一変数関数の適当に選んだ入力値における微分係数は、その点におけるグラフの接線の傾きである。これは導関数がその入力値の近くでその関数の最適線型近似を記述するものであることを意味する。そのような理由で、微分係数はしばしば「瞬間の変化率」として記述される。瞬間の変化率は独立変数に依存する従属変数である。
微分はfunction of several real variablesにも拡張できる。この一般化において、導関数はそのグラフが（適当な変換の後）もとの関数のグラフを最適線型近似する線型写像と解釈しなおされる。ヤコビ行列はこの線型変換を独立および従属変数を選ぶことで与えられる基底に関して表現する行列であり、独立変数に関する偏微分を用いて計算することができる。多変数実数値関数に対して、ヤコビ行列は勾配に簡約される。
導関数を求める過程を微分あるいは微分法、微分演算（differentiation）と言い、その逆の過程（原始関数を求めること）を反微分という。微分積分学の基本定理は反微分が積分と同じであることを主張する。一変数の微分積分学において微分と積分は基本的な操作の二本柱である。
引数が変更されたときの関数のスイングのように、微分の直感的なアイデアを与えるアニメーション。

**1変数関数の微分法**

**直観的な説明**
初めに最も簡単な場合を扱う。すなわち、実数値の変数を1個もち、値も1個の実数であるような関数 f(x)（または単に f とも書く）を微分することを考える。「微分する」というのは、より正確には、preserve=1または導関数のいずれかを求めることを意味している。
説明を単純にするため、f(x) はすべての実数 x に対して定義されているとしよう。すると各々の実数 a に対して、f の a における微分係数と呼ばれる数がある（定義されない場合もあるが、ここでは理想的な状況のみを想定して説明する）。これを f′(a) で表す。また、実数 a に対して微分係数 f′(a) を対応させる関数 f′ のことを f の導関数という。
微分係数 f′(a) とは何であるか直観的に説明するには、いくつかの方法がある。
# 微分係数 f′(a) とは、関数 f のグラフに  において（すなわち点 (a, f(a)) において）接線をひいたときの、その接線の傾きのことである。
# 微分係数 f′(a) とは、変数 x の値の変化に伴う f(x) の変化を考えたときの、 における f(x) の瞬間変化率のことである。
# 微分係数 f′(a) とは、関数 f のグラフの  付近を（すなわち点 (a, f(a)) 付近を）限りなく拡大していったときに、グラフが直線に近づいて見える場合における、その直線の傾きのことである。
これらはいずれも、論理的に厳密な定義とはいえない。それは、「接線」や「瞬間変化率」について厳密な定義が与えられていないし、またグラフを「限りなく拡大する」ということの意味も定かではないからである。
ごく単純な関数については、上記の説明が微分係数の具体的な値について十分な示唆を与えるのは確かだ。たとえば一次関数  を考えると、そのグラフは直線なので、「 における接線」もその直線自身であると考えるのが妥当だろう。直線  の傾きは A だから、微分係数 f′(a) の値も A とすべきだと考えられる。また、二次関数についても、グラフの接線の概念を微分とは無関係に定義して、その傾きを求めることはできる。だが、ほとんどの関数にはこのような手法は通用しないから、一般的な定義を与えるためには新しい考えが必要である。

**厳密な定式化**

**一点における微分可能性と微分係数**
関数 f(x) が開区間  において定義されているとする。そのとき、 に対し、極限
 
が存在するとき、f(x) は  において微分可能であるという（極限は有限確定値であることを要請する。すなわち、正の無限大や負の無限大であることは許容しない）。またそのとき、上記の極限を  における f(x) の微分係数とよび、f′(a) によって表す。
これにともない、f(x) のグラフ上の点 (a, f(a)) を通り傾き f′(a) をもつ直線のことを、f(x) のグラフの  における接線という。つまり、 における接線とは、 によって与えられる直線のことである。
上述の微分係数の定義に現れる分数
 
は差分商とよばれる。これは関数 f(x) のグラフ上の2点 (a, f(a)) と (a + h, f(a + h)) を通る直線（割線という）の傾きを表している。あるいは、変数 x の値が a から a + h まで変化するあいだの、関数の値の平均変化率を表しているとみることもできる。これらの見方によれば、微分係数の定義について、次のような解釈を与えることができる。
# グラフ上の2点 (a, f(a)), (a + h, f(a + h)) を通る割線が、h を 0 へと近づけたときにある直線に近づくならば、それを接線とみなすのが妥当であろう。この意味での接線の傾きが、微分係数 f′(a) である。
# 「変数 x の値が a から a + h まで変化するあいだの関数値の平均変化率」が、h を 0 へと近づけたときにある数に近づくならば、それを瞬間変化率とみなすのが妥当であろう。この瞬間変化率が、微分係数 f′(a) である。
なお、上述の微分可能性の定義では h が 0 にどのようにして近づいても差分商が一定の値に収束することを要請したが、近づき方を限定することも考えられる。h が正の値をとりながら 0 に近づいたときの片側極限
 
が存在するとき、f(x) は  において右側微分可能であるといい、この片側極限を右側微分係数とよぶ。同様に、h が負の値をとりながら 0 に近づいたときの片側極限
 
が存在するとき、f(x) は  において左側微分可能であるといい、この片側極限を左側微分係数とよぶ。f(x) が  において微分可能であるためには、「f(x) が  において右側微分可能かつ左側微分可能で、かつ右側微分係数と左側微分係数が一致する」ということが必要十分である。

**区間における微分可能性と導関数**
関数 f(x) が開区間  で定義されており、すべての  において微分可能であるとき、f は区間 I において微分可能であるという。またそのとき、a に対して微分係数 f(a) を対応させる区間 I 上の関数のことを、f の導関数といい f′（または変数の記号を補って f′(x)）で表す。
がその他のタイプの区間である場合にも、区間 I における微分可能性を定義することができる。たとえば、I が有界閉区間 math|α, β である場合には、区間の内点では通常の意味での微分係数の存在を要請し、α では右側微分係数が、β では左側微分係数が存在することを要請する。導関数 f′(x) の値は、 では右側微分係数、 では左側微分係数とする。
関数 f が区間 I において微分可能で、さらに導関数 f′ が I で連続であるとき、f は I において連続微分可能である、または  級であるという。

**1次近似による定式化**
開区間  で定義された関数 f(x) について、 とするとき、次の条件は f(x) の  における微分可能性と同値である。
ある定数 A が存在して、h → 0 のとき  である。
ここで o(h) はランダウの記号である。この条件が成り立つとき、A は微分係数 f′(a) に他ならない。
「h → 0 のとき 」が成り立つことを指して、f(a) + Ah は f(a + h) の  における1次近似であるという。この言葉を用いれば、一点における微分可能性とは1次近似可能性のことだといえる。またこれは、#直観的な説明の、微分係数に関する3番目の説明を厳密化したものとみることができる。

**連続性と可微分性**
関数 f(x) が  において微分可能ならば、 f(x) は  で必ず連続である。
−1、右側で 1 だから微分可能でない。
一方で、関数がある一点で連続だったとしても、そこで微分可能でないことがある。- 絶対値関数  は  において連続だが、この点で微分可能でない。h > 0 のときは (0, 0), (h, f(h)) を通る割線の傾きは 1 だが、h * (⊃ R) の体系の中で考えるとき、実函数  の実点 x における微分係数は（f の超実数への自然延長をやはり f と書くとき）、無限小 ∆x に対して  とすれば、Δy の Δx に関する商  のshadow (mathematics) を考えることで定義することができる。ここで、上記の差分商の標準部が無限小 ∆x の取り方に依らずに定まるとき、すなわち
 
が成り立つとき、この実数 m を実函数 f の a における微分係数と呼ぶ。

**記法について**
関数 f(x) の導関数や高階導関数を表す記法には次のようなものがある1923。
また、 とおいて、下記の記法における f を y で置き換えた記法も用いられる。

**微分係数**
点 a における微分係数（および高階の微分係数）を表すには、(a) を添えたり  を添えたりする。
例えば、
である。

**微分公式**

**基本法則**
が微分可能な x の函数で、a, b が x に無関係な定数のとき- 線型性:
*: - 積の微分法則:
*: 
*: 
*: - 連鎖律 (Chain-rule):
*: 

**初等関数に関する公式初等関数に関する公式**
いくつかの初等関数に関して、特徴的な微分公式が挙げられる。ex、ax、loge x、logax はそれぞれ指数関数と対数であり、sin、cos、tan は三角関数、arcsin、arccos、arctan は三角函数の逆函数（逆三角関数）、sinh、cosh、tanh は双曲線関数、arsinh、arcosh、artanh は双曲線函数の逆函数（逆双曲線関数）である。また、三角函数および双曲線函数の冪乗は  のように函数名の肩に指数を書いて表していることに注意。

**多変数関数の微分法多変数函数の微分法**

**偏微分と方向微分**

**偏微分**
個の実数値変数をもつ多変数関数  が与えられたとする（f はスカラー値でなくベクトル値でもよい）。各  について、 を除く n − 1 個の変数の値を固定することにより、 を変数  のみをもつ1変数関数とみなすことができる。そのようにみた上で  を変数  について微分するのが偏微分とよばれる操作である。
が  の開集合 D で定義されているとする。点  に対し、 以外の変数を  とおいて固定し、
 
という  の1変数関数を考える。その  における微分係数
 
を、 の点  における  に関する偏微分係数といい、
 , , 
などの記号で表す。また、点  に対してこれらの偏微分係数を対応づける D 上の関数を  の  に関する偏導関数といい、
 , , 
などで表す。丸い d の記号 ∂ は偏微分記号などとよばれる。
が D の各点ですべての変数について偏微分可能で、かつすべての偏導関数  が D で連続であるとき、関数 f は D で連続微分可能（または  級）であるという。

**高階の偏微分**
偏微分を繰り返して行うことにより得られる微分係数のことを高階の偏微分係数という。これは微分の階数について帰納的に定義される。
たとえば  の点  における2階偏微分係数
 
は次のように定義される。前提として、導関数  が存在するものとする。この仮定のもとで、  が点 a において  に関して偏微分可能ならば、その偏微分係数のことを上記の記号で表すのである。 があらゆる点 a において  に関して偏微分可能であるとき、点 a に上記の2階偏微分係数を対応づける関数のことを、
 
と書いて2階偏導関数とよぶ。同様のことを繰り返して、一般の k 階偏微分係数
 
および k 階偏導関数
 
が定義される。
微分の順序交換については次が知られている。2変数関数 f(x, y) について、2階偏導関数 ,  がともに存在して、さらにいずれも点 a において連続ならば、
 
が成立する。2階偏導関数の連続性の仮定が満たされなければこの等式は一般には成立しない。n 変数関数の微分の順序交換についても同じことがいえる。

**方向微分**
関数  について、偏微分は f の各座標軸方向への変化を測る。f の任意の方向への変化を測るのが方向微分である。
ベクトル  に対して、関数 f の点  における v 方向への方向微分係数とは、
 
のことである。 軸正の方向の単位ベクトルを  とするとき、 方向への方向微分係数は、 に関する偏微分係数に他ならない。
が点 a においてすべての変数に関して偏微分可能ならば、あらゆるベクトル v について、点 a における v 方向への方向微分係数が存在する。またこのとき、方向微分係数は v に関して線型である。特に、 に対して方向微分係数  は
 
によって与えられる。

**全微分**
が  の開集合から  への函数ならば、f の方向微分は、その点における f の選択した方向への最適線型近似を与える。しかし、 n > 1 のときは、位置方向への方向微分だけでは f の挙動を完全に捉えることはできない。全微分は、全ての方向を一度にまとめて考えることで函数の挙動を完全にとらえるものである。
の a における全微分係数（あるいは単に全微分）は

を満たす唯一の線型写像 f ′(a): Rn → Rm と定義される。ただし、 だから分母におけるノルムは  における標準ノルムであり、他方  であり分子のノルムは  の標準ノルムである。v が a を始点とするベクトルならば、f ′(a)v は f による v の押し出しと呼ばれ、 とも書かれる。f の点 a における全微分係数 f ′(a) は a を始点とする任意のベクトル v に対して、線型近似公式
 
が満足される。一変数の微分係数のときと同じく f ′(a) はこの近似の誤差が可能な限り最小となるように選ばれる。高次元の場合に、この線型近似公式が意味を持つためには f ′(a) は  のベクトルを  のベクトルへ写す線型写像でければならず、また f ′(a)v はその写像の v における値でなければならない。

**偏微分・方向微分との関係**
点 a において全微分係数が存在するならば、a における f の任意の偏微分および方向微分が存在する。即ち、任意の v に対して  f ′(a)v が f の a における v-方向への方向微分になる。f を座標成分函数を用いて  と書けば、全微分係数は、偏微分を用いて行列として表すことができる。この行列
 
は f の a におけるヤコビ行列と呼ばれる。全微分係数 f ′(a) が存在することは、すべての偏微分が存在することよりも真に強い条件であるが、偏微分が全て存在して連続ならば全微分は存在し、それはヤコビ行列によって与えられ、a に関して連続的に変化する。
全微分係数の定義は一変数の場合も含むものになっている。f が実一変数の実数値函数であるとき、全微分係数の存在する必要十分条件は通常の微分係数が存在することである。ヤコビ行列は微分係数 f ′(x) を唯一の成分とする 1 × 1 行列であり、この行列は f(a + h) ≈ f(a) + f ′(a)h なる近似性質を持つ。Change of variables違いを除いて、これは函数  が f の a における最適線型近似であることを述べるものである。

**高階の全微分**
函数の全微分をとる操作では、一変数の場合と同じやり方で考えたのでは、別の函数（導函数）を与えることは無い。これは多変数函数の全微分係数が一変数函数の微分係数よりも多くの情報をもつものであることからくるもので、実際に全微分は函数の始域となる空間の接束から終域となる空間の接束への写像を与えるものになっている。
自然な意味で高階導函数に対応する概念は、線型写像でも接束上の写像でもなく、また全微分を繰り返すことで構成されるものでもない。
 ジェット: 高階の全導函数となるべきものはlabel=ジェットと呼ばれるもので、これは線型写像ではない（高階導函数は凹性（凸性）などの微妙な幾何学的性質を反映するので、これはベクトルのような線型の情報では記述できない）し、接束上の写像でもない（接束は底空間と方向微分に対してしか意味を成さない）。ジェットは高階の情報を反映することから、各方向への高階の変化を表す追加の座標を引数としてとる。このような余分の座標によって決定される空間はjet bundleと呼ばれる。函数の全微分と偏微分との関係に並列に対応するものは、函数の k-階のジェットと k 階以下の偏微分との関係として理解することができる。
 高階フレシェ微分: 全微分を繰り返しとることは、高階のフレシェ微分（を  に特殊化したもの）として定式化することができる。つまり、k-階の全微分は
: 
 なる写像として解釈することができる。この写像は点  に対して、 から  への k-多重線型写像の空間の元で、その点において f を（ある特定の明確な意味において）「最適」に k-重線型近似するものを割り当てる。対角線埋め込み Δ: x → (x, x, …, x) との合成を考えれば、多変数のテイラー級数も最初の方の項が
: 
 となるようなものとして与えられる。ただし、f(a) は定値函数と同一視され、各  はベクトル x − a の第 i-成分で、 は線型変換としての  の各成分を表す。

**一般化**
微分の概念を多くの他の状況設定の下でも拡張して定義することができる。共通することは、一つの点における函数の導函数がその点における函数の線型近似として働くことである。- 実函数の微分の重要な一般化は、複素平面上の領域からガウス平面 C への函数のような複素数の複素解析である。複素函数の微分の概念は、実函数の微分の定義において実変数であるところを複素変数に置き換えることで得られる。二つの実数 x, y を用いて複素数  と書くことによりガウス平面 C を座標平面 R2 と同一視するとき、C から C への複素可微分函数は R2 から R2 へのある種の（その偏導函数が全て存在するという意味での）実可微分函数とみなすことができるが、逆は一般には成り立たない（複素微分が存在するのは実導函数が「複素線型」であるときに限り、これは二つの偏導函数がコーシー–リーマンの方程式と呼ばれる関係式を満足することを課すものである）。正則関数の項を参照。- 別の一般化として可微分多様体（滑らかな多様体）の間の写像の微分を考えることができる。直観的に言えば、可微分多様体 M とはその各点 x の近くで接ベクトル空間と呼ばれるベクトル空間によって近似することのできる空間である（原型的な例は R3 内のsmooth surfaceである）。そのような多様体間の可微分写像 f: M → N の点 x ∈ M における微分係数あるいは微分は、x における M の接空間から f(x) における N の接空間への線型写像であり、導函数は M の接束から N の接束への写像となる。この定義は微分幾何学において基本的であり、多くの応用がある。写像の微分（押し出し）およびpullback (differential geometry)の項を参照。- バナッハ空間やフレシェ空間のような無限次元線型空間の間の写像に対する微分法も定義できる。方向微分の一般化であるガトー微分や関数の微分の一般化であるフレシェ微分などがある。- 古典的な微分の欠点は微分可能な函数がそれほどまでには多くないことである。それにも関わらず、微分の概念を拡張して任意の連続函数やほかの多くの函数を微分可能とするものに、弱微分がある。これは連続函数をより大きな分布の空間に埋め込んで、「平均の上で」のみ微分可能性を課すというものである。- 微分の性質に着想を得て代数学や位相空間論における同様の対象がたくさん導入され研究されている。例えばDerivation (differential algebra)、微分環などを参照。- 微分の離散的対応物は有限差分である。微分法の研究は時間尺度微分積分学において差分法と統一される。- arithmetic derivative（数論的微分）

**訳語の由来**
微分・積分という訳語は李善蘭がlabel=アレクサンダー・ワイリー（偉烈亜力）とともにElias Loomisの著書 Elements of Analytical Geometry and of Differential and Integral Calculus を翻訳して『代微積拾級』（1859年（安政6年）出版）を著すときに作った。古代の成語「微を積みて著を成す」の意味からとったと推測されている。

**関連項目**
 History of calculus- 積分法- preserve=1
** ラドン–ニコディムの定理
** ダルブー導関数
** Schwarzian derivative
** Fractal derivative
** Hasse derivative- 自動微分- Numerical differentiation- preserve=1- 対称微分- Classe de régularité- Differintegral- 微分作用素- 微分法- Differentiation rules- 無限小- 微分可能関数
*スケール因子 - 異なる物理量間で微分を考える際、得られる値は実際の比というより、物理単位の取り方に依存した仮想的な値になる。

**脚注**

**注釈**

**出典**

**参考文献**
  ref=harv-  ref=harv-  ref=harv-  ref=harv -  ref=harv -  ref=harv -  ref=harv

**関連文献**

**印刷物**
 isbn  = 978-0-471-47244-5- isbn  = 978-3-540-65058-4- isbn  = 978-0-03-029558-4- isbn  = 978-0-618-60624-5- isbn  = 978-0-534-39339-7- isbn  = 978-0-312-18548-0

**オンライン本**
 url = http://www.lightandmatter.com/calc/- url = http://www.textbooksonline.tn.nic.in/Books/11/Std11-Maths-EM-2.pdf
*Citation | last = Garrett | first = Paul | year = 2004 | title = Notes on First-Year Calculus | url = http://www.math.umn.edu/~garrett/calculus/ | publisher = University of Minnesota- url = http://www.understandingcalculus.com/- url = http://www.math.wisc.edu/~keisler/calc.html- deadlinkdate = 2017年10月 - url = http://synechism.org/drupal/de2de/- url = http://ocw.mit.edu/ans7870/resources/Strang/strangtext.htm
*Citation | last = Stroyan | first = Keith D. | year = 1997 | title = A Brief Introduction to Infinitesimal Calculus | url = http://homepage.math.uiowa.edu/~stroyan/Site/Infinitesimals.html

**ウェブサイト**
urlname=Derivative
*Khan Academy:  "Newton, Leibniz, and Usain Bolt"
*id=Derivative- Online Derivative Calculator from Wolfram Alpha.- Derivatives of Trigonometric functions, UBC