微分

微分(びぶん)とは、数学において、ミクロな視点で数値の変化の度合いを解析することである。

概要[編集]

例えば、列車に乗っていて、キロポスト（一応、現実より細かく配置されていると仮定する）を見ながら列車の速度を推定することを考える。1時間毎に見たキロポストの数値が0, 80.3, 150.2, 261.1であれば、各区間の平均速度が80.3km/h、69.9km/h、110.9km/hであることが分かる。

ある瞬間の速度を知りたい場合、これをもっと細かくした方が正確である。例えばある瞬間のキロポスト値が80.3で、1分後に見た値が81.4であれば、この間の平均速度は、(81.4-80.3)÷(1/60) = 66km/hである。これを細かくすればするほど、ある瞬間の速度に近づいていく。できれば、1分、10秒、1秒、0.1秒・・・と無限に小さくしていきたい。時間間隔を無限に小さくして、走行距離の差分から速度を求めること、これが微分である。

通常の関数や方程式の微分には、偏微分と全微分の2種類がある。ただし、高校では1変数関数の微分しか扱わず、この場合偏微分と全微分は実質同じものであることから、両者を区別せず単に「微分」と呼ぶのが普通である。

偏微分[編集]

関数の微分。関数の変数のうち一つだけを動かした時、関数の戻り値はどのぐらい変化するのかを求めるのが偏微分。次の様な式で定義される。

${\begin{aligned}{\frac {\partial }{\partial x}}f(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}\end{aligned}}$

主な関数の偏微分は次の通り。なお、 $e$ は自然対数（2.71828・・・）を表し、三角関数の角度の単位はラジアンとする。

${\begin{aligned}&f(x)=k&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=0\\&f(x)=x&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=1\\&f(x)=x^{n}&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=nx^{n-1}\\&f(x)=e^{x}&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=e^{x}\\&f(x)=\log _{e}(x)&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=1/x\\&f(x)=\sin(x)&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=\cos(x)\\&f(x)=\cos(x)&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=-\sin(x)\\&f(x)=k\cdot g(x)&&\Rightarrow {\frac {\partial }{\partial x}}f(x)=k\cdot {\frac {\partial }{\partial x}}g(x)\end{aligned}}$

ここで指数関数は、微分しても形が変わらない。sin,cosについては、4回微分すれば元に戻る他、2回微分すれば正負が逆になるだけである。この性質は、微分を含んだ方程式である微分方程式を解く際に重宝される。

全体的に、微分するとより簡単な関数になる傾向があるが、指数関数や三角関数の場合、微分しても簡単にならない。これは一方で、微分の逆演算である積分については、殆どの関数で難しくなる傾向がある一方、指数関数と三角関数は難しくならないので積分しやすいということを意味している。

なお、偏微分は常にできるとは限らない。 $f(x)=|x|$ など、偏微分ができない関数があるので注意が必要である（ $x\neq 0$ など条件をつければ可能）。この時は、後述の全微分も、偏微分を用いているので同様に不可能となる。

偏微分の記法[編集]

${\frac {\partial }{\partial x}}f(x)$
ライプニッツの記法。最もよく用いられる。全微分との関係が分かりやすい記法である。
$D_{x}f(x)$
オイラーの記法。ライプニッツの記法より簡潔。
$f'(x)$
ラグランジュの記法。1変数関数の微分の表記としては簡潔で便利。
${\dot {x}}$
ニュートンの記法。なんの変数で微分するのか分かりにくいが、最も簡単な書き方である。物理などの分野で、時間での微分を表現するのによく用いられる。

全微分[編集]

方程式の微分。多変数の方程式で、登場する全ての変数のミクロな関係を調べるのに用いる。言い換えれば、方程式を満たしたままある変数を少し動かす時、他の変数はこう動くべきだというのを求めるのが全微分である。 $P(x_{1},x_{2},\cdots ,x_{n})=0$ という方程式の全微分は $dP(x_{1},x_{2},\cdots ,x_{n})=0$ となるが、この $dP$ は次の様に表される数式である。

$dP(x_{1},x_{2},\cdots ,x_{n})={\frac {\partial }{\partial x_{1}}}P\cdot dx_{1}+{\frac {\partial }{\partial x_{2}}}P\cdot dx_{2}+\cdots +{\frac {\partial }{\partial x_{n}}}P\cdot dx_{n}$

高校数学では、 $y-f(x)=0$ の場合しか扱わない。これを全微分すると $dy-f'(x)dx=0$ 、即ち ${\frac {dy}{dx}}=f'(x)$ であり、実質偏微分と同じであるので ${\frac {dy}{dx}}$ という表記もよく用いられる。

この $dx_{1},dx_{2},\cdots$ は微分形式と呼ばれ、これは実はベクトルから $x_{1},x_{2},\cdots$ 座標の値を返す写像である。とは言え、変数 $x_{1},x_{2},\cdots$ の微小変化量とみなした方が解釈しやすい。また、全微分は、方程式を一次方程式で近似する意味も持っている。

具体例[編集]

球面を表す $x^{2}+y^{2}+z^{2}-14=0$ という方程式を全微分すると、 $2x\cdot dx+2y\cdot dy+2z\cdot dz=0$ となる。例えば $(x,y,z)=(3,2,1)$ から、元の方程式を満たしたままこれらの変数を少しだけ動かして $(x,y,z)=(3+\Delta x,\ 2+\Delta y,\ 1+\Delta z)$ となった時、次の近似式が成り立つ。