積の微分法則

テンプレート:Calculus 微分積分学における積の法則（せきのほうそく、テンプレート:Lang-en-short；ライプニッツ則）は、二つ（あるいはそれ以上）の函数の積の導函数を求めるのに用いる公式。

公式

この公式は、

$(f\cdot g{)}^{\prime }=f^{\prime }\cdot g+f\cdot g^{\prime },$

あるいはライプニッツの記法では

$\frac{d}{dx}(u\cdot v)=u\cdot \frac{dv}{dx}+v\cdot \frac{du}{dx}$

と書くことができる。

あるいは無限小（あるいは微分形式）の記法を用いて

$d(uv)=udv+vdu$

と書いてもよい。

三つの函数の積の導函数は

$\frac{d}{dx}(u\cdot v\cdot w)=\frac{du}{dx}\cdot v\cdot w+u\cdot \frac{dv}{dx}\cdot w+u\cdot v\cdot \frac{dw}{dx}$

である。

発見者について

積の法則の発見者はゴットフリート・ライプニッツであると言われるテンプレート:Sfnテンプレート:Efn2。ライプニッツは無限小（微分）を用いてこれを示した。

その内容は、u(x), v(x) を x を変数とする二つの可微分函数とするとき、積 uv に対応する無限小は

$\begin{array}{cc}d(u\cdot v)& =(u+du)\cdot (v+dv)-u\cdot v\\ & =u\cdot dv+v\cdot du+du\cdot dv\end{array}$

で与えられるはずだが、項 テンプレート:Mvar は（テンプレート:Mvar および テンプレート:Mvar に比べて）「無視できる」（高位の無限小）ことから、ライプニッツは

$d(u\cdot v)=v\cdot du+u\cdot dv$

であると結論付けた。実際、これが積の法則の微分形である。

両辺を無限小 テンプレート:Mvar で割るならば

$\frac{d}{dx}(u\cdot v)=v\cdot \frac{du}{dx}+u\cdot \frac{dv}{dx}$

が得られ、これはまたラグランジュの記法によって

$(u\cdot v{)}^{\prime }=v\cdot u^{\prime }+u\cdot v^{\prime }$

と書くこともできる。

例

• テンプレート:Math を微分したい場合、積の法則を用いて テンプレート:Math が得られる（テンプレート:Math の導函数は テンプレート:Math で テンプレート:Math の導函数は テンプレート:Math であった）。
• 任意の定数は微分すると テンプレート:Math になることから、積の法則の特別な場合として「定数倍の法則」：
  テンプレート:Mvar が実定数で テンプレート:Math が可微分函数のとき、定数倍 テンプレート:Math もやはり微分可能で、その導函数は テンプレート:Math で与えられる。
  が得られる。これと和の微分法則を合わせれば、函数を微分することが線型変換であることがわかる。
• 部分積分の公式は積の法則から導かれる。同様に（弱い意味での）商の法則も積の公式の帰結である（ここで「弱い意味で」というのは、商の微分可能性は保証せず、商が微分可能である場合に「限って」その導函数がどのような形になるかを述べるということ）。

厳密な証明

標準的な微分積分学の場合

積の法則の厳密な証明には、微分の定義と極限の基本性質を用いる。

積 テンプレート:Math について、各因子 テンプレート:Mvar は一点 テンプレート:Math においてそれぞれ微分可能であるものとする（以降、本節を通して テンプレート:Math は固定するものとする）。主張は、積 テンプレート:Mvar が点 テンプレート:Math において微分可能であること、およびその微分係数 テンプレート:Math が テンプレート:Math で与えられることの二点である。

差分 テンプレート:Math を考える。テンプレート:Math は固定しているといっても、テンプレート:Math は テンプレート:Math の値（これは十分に「小さい」ものと考える）に依存して変化することに注意せよ。

積 テンプレート:Mvar が テンプレート:Math において微分可能であるということは、極限

$\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{\mathrm{\Delta }h}{\mathrm{\Delta }x}$

が存在するという意味であり、また微分可能であるとき テンプレート:Math はこの極限の値として定義されるのであった。

テンプレート:Math と同様に、テンプレート:Math および テンプレート:Math と定める。これらはやはり テンプレート:Math と同じく テンプレート:Math の函数になる。このとき テンプレート:Math および テンプレート:Math である。

さてこのとき、テンプレート:Math を分配法則に従って展開すれば、

を得る。証明自体には不必要だが、この積を以下のような面積図

を用いて図形的に表すのも理解の一助となるであろう。テンプレート:Math の値を得るには、先の等式 テンプレート:EquationNote から テンプレート:Math を引けばよいのだから、面積図で言えば白い矩形の面積を除く残りの三矩形の面積にあたる

$\mathrm{\Delta }h=\mathrm{\Delta }fg(x_0)+f(x_0)\mathrm{\Delta }g+\mathrm{\Delta }f\mathrm{\Delta }g$

を得る（右辺の前二項は面積図で言うところの青い矩形の面積に相当し、三番目の項は灰色の矩形の面積に相当する）。

微分係数 テンプレート:Math を求めるためには テンプレート:NumBlk の テンプレート:Math を テンプレート:Math に近づけた極限を求めねばならない。極限の基本性質と微分の定義を用いて、一項づつ処理していこう。まずは

$\underset{\mathrm{\Delta }x\to 0}{\lim }(\frac{\mathrm{\Delta }f}{\mathrm{\Delta }x}g(x_0))=f^{\prime }(x_0)g(x_0)$

であり、同様に

$\underset{\mathrm{\Delta }x\to 0}{\lim }(f(x_0)\frac{\mathrm{\Delta }g}{\mathrm{\Delta }x})=f(x_0)g^{\prime }(x_0)$

を得る。最後の項については、テンプレート:Math が「二階の無限小」だから結局は無視できる（極限は 0 になる）のだけれども、これを厳密に言うならば

$\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{\mathrm{\Delta }f\mathrm{\Delta }g}{\mathrm{\Delta }x}=\underset{\mathrm{\Delta }x\to 0}{\lim }\left(\frac{\mathrm{\Delta }f}{\mathrm{\Delta }x}\mathrm{\Delta }g\right)=\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{\mathrm{\Delta }f}{\mathrm{\Delta }x}\cdot \underset{\mathrm{\Delta }x\to 0}{\lim }\mathrm{\Delta }g=f^{\prime }(x_0)\underset{\mathrm{\Delta }x\to 0}{\lim }\mathrm{\Delta }g$

において、テンプレート:Mvar は連続であるから テンプレート:Math の極限は テンプレート:Math となることを用いる。結論には変わりないが

$\underset{\mathrm{\Delta }x\to 0}{\lim }\mathrm{\Delta }g=\underset{\mathrm{\Delta }x\to 0}{\lim }\left(\frac{\mathrm{\Delta }g}{\mathrm{\Delta }x}\mathrm{\Delta }x\right)=\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{\mathrm{\Delta }g}{\mathrm{\Delta }x}\cdot \underset{\mathrm{\Delta }x\to 0}{\lim }\mathrm{\Delta }x=g^{\prime }(x_0)\cdot 0=0$

という形で述べてもよい。こうして等式 テンプレート:EquationNote の三項がそれぞれ極限を持つことが示されたから、したがって極限

$\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{\mathrm{\Delta }h}{\mathrm{\Delta }x}$

は存在し、その値は三項の極限の和に等しい。即ち、積 テンプレート:Math は点 テンプレート:Math において微分可能であり、その微分係数は

$\begin{array}{cc}{h}^{\prime }(x_0)& =\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{\mathrm{\Delta }h}{\mathrm{\Delta }x}\\ & =\underset{\mathrm{\Delta }x\to 0}{\lim }(\frac{\mathrm{\Delta }f}{\mathrm{\Delta }x}g(x_0))+\underset{\mathrm{\Delta }x\to 0}{\lim }(f(x_0)\frac{\mathrm{\Delta }g}{\mathrm{\Delta }x})+\underset{\mathrm{\Delta }x\to 0}{\lim }\left(\frac{\mathrm{\Delta }f\mathrm{\Delta }g}{\mathrm{\Delta }x}\right)\\ & =f^{\prime }(x_0)g(x_0)+f(x_0)g^{\prime }(x_0)+0\\ & =f^{\prime }(x_0)g(x_0)+f(x_0)g^{\prime }(x_0)\\ \end{array}$

で与えられる。これが所期の結果であった。

略証

定義により テンプレート:Math が一点 テンプレート:Mvar で微分可能ならば

$\begin{array}{cc}f(x+h)& =f(x)+f^{\prime }(x)h+{\psi }_1(h)\\ g(x+h)& =g(x)+g^{\prime }(x)h+{\psi }_2(h)\end{array}({\psi }_1,{\psi }_2\sim o(h))$

と書くことができる。ここで テンプレート:Mvar はランダウの記号で

$\underset{h\to 0}{\lim }\frac{{\psi }_1(h)}{h}=\underset{h\to 0}{\lim }\frac{{\psi }_2(h)}{h}=0$

を意味する。このとき、

$\begin{array}{cc}(f\cdot g)(x+h)-(f\cdot g)(x)& =(f(x)+f^{\prime }(x)h+{\psi }_1(h))(g(x)+g^{\prime }(x)h+{\psi }_2(h))-(f\cdot g)(x)\\ & =(f^{\prime }(x)g(x)+f(x)g^{\prime }(x))h+O(h)\end{array}$

だから、テンプレート:Mvar を テンプレート:Math に近づける極限をとって所期の結果を得る。

対数微分と四分平方を使った証明

テンプレート:Math に対して テンプレート:Mvar と テンプレート:Mvar がともに テンプレート:Mvar の正値函数であるならば、

$\ln f=\ln (u\cdot v)=\ln u+\ln v$

ゆえ、両辺を微分して

$\frac{1}{f}\frac{df}{dx}=\frac{1}{u}\frac{du}{dx}+\frac{1}{v}\frac{dv}{dx}$

となるから、左辺には テンプレート:Mvar, 右辺には テンプレート:Mvar を掛けると（もちろん テンプレート:Math なのだから）

$\frac{df}{dx}=v\frac{du}{dx}+u\frac{dv}{dx}$

を得る。微分可能な テンプレート:Mvar は連続でなければならないから、正値性に関する仮定は一般性を落とすものでないことに注意せよ。

この証明では積の法則より深い結果である連鎖律と自然対数の性質が使われており（とは言っても、対数の微分に関する情報は、テンプレート:Mvar を定数として テンプレート:Mvar の任意の底に対する対数を テンプレート:Math で微分してから テンプレート:Mvar を一般化することによって知ることができるから、先の証明は証明の一形態として十分に意味を成しうる）、ある意味では分の悪い証明ということになる。一方、この証明では単純明快な代数的操作しかせずに済むので、定義から直接証明するよりも恐らく理解は容易であろう。

同様の、しかし（対数の微分ができなくても証明できるという意味で）確実にさらに容易な方法として、テンプレート:仮リンク（四分の一平方乗算）を用いるものがある。これには、やはり連鎖律と、それから四分平方函数 テンプレート:Mvar (即ち、テンプレート:Math) の性質

$f=q(u+v)-q(u-v)$

が用いられる。この等式の両辺を微分すれば、

$\begin{array}{cc}{f}^{\prime }& =q^{\prime }(u+v)(u^{\prime }+v^{\prime })-q^{\prime }(u-v)(u^{\prime }-v^{\prime })\\ & =(\frac{1}{2}(u+v)(u^{\prime }+v^{\prime }))-(\frac{1}{2}(u-v)(u^{\prime }-v^{\prime }))\\ & =\frac{1}{2}(u{u}^{\prime }+v{u}^{\prime }+u{v}^{\prime }+v{v}^{\prime })-\frac{1}{2}(u{u}^{\prime }-v{u}^{\prime }-u{v}^{\prime }+v{v}^{\prime })=u{v}^{\prime }+u^{\prime }v\end{array}$

を得る。この証明だと先ほどの証明のように函数の値が正か負かというのは問題にならないし、函数 テンプレート:Mvar の性質も随分容易に示される。

これらの証明は函数の値が数値あるいはそれと同様の性質を持つ対象ならば意味を成す。特に行列などは、先ほどの対数の テンプレート:Mvar を変化させる方法で テンプレート:Mvar に代入することに意味を持たせることができるから、これを適用できる。

連鎖律からの導出

多変数の連鎖律の特別な場合として積の法則を捉えることもできる。

$\frac{d(ab)}{dx}=\frac{\partial (ab)}{\partial a}\frac{da}{dx}+\frac{\partial (ab)}{\partial b}\frac{db}{dx}=b\frac{da}{dx}+a\frac{db}{dx}.$

超準解析による定式化

テンプレート:Mvar は テンプレート:Mvar の連続函数とし、テンプレート:Mvar は超準解析の枠組みにおける無限小、特に超実数とする。標準部函数 テンプレート:Math は有限超実数に対して無限に近い実数を割り当てるものとすれば、

$\begin{array}{cc}\frac{d(uv)}{𝑑𝑥}& =\mathrm{st}\left(\frac{(u+𝑑𝑢)(v+𝑑𝑣)-uv}{𝑑𝑥}\right)\\ & =\mathrm{st}\left(\frac{uv+u\cdot 𝑑𝑣+v\cdot 𝑑𝑢+𝑑𝑣\cdot 𝑑𝑢-uv}{𝑑𝑥}\right)\\ & =\mathrm{st}\left(\frac{u\cdot 𝑑𝑣+(v+𝑑𝑣)\cdot 𝑑𝑢}{𝑑𝑥}\right)\\ & =u\frac{𝑑𝑣}{𝑑𝑥}+v\frac{𝑑𝑢}{𝑑𝑥}\end{array}$

と計算できる。（このとき標準部分を取る代わりに）テンプレート:仮リンクを適用することを考えれば、これは本質的にライプニッツの証明である。

滑らかな無限小解析の場合

ローヴェアの無限小（滑らかな無限小解析を参照）の意味で、テンプレート:Mvar を複零（自乗して テンプレート:Math になる）無限小とする。このとき、テンプレート:Math および テンプレート:Math で,

$\begin{array}{cc}d(uv)& =(u+du)(v+dv)-uv\\ & =uv+u\cdot dv+v\cdot du+du\cdot dv-uv\\ & =u\cdot dv+v\cdot du+du\cdot dv\\ & =u\cdot dv+v\cdot du\end{array}$

と計算できる。

$du\cdot dv=u^{\prime }{v}^{\prime }(dx{)}^2=0$

に注意せよ。

一般化

多因子化

積の法則を二つよりも多い因子を持つ積の場合にも一般化することができる。例えば、因子が三つの場合は

$\frac{d(uvw)}{dx}=\frac{du}{dx}vw+u\frac{dv}{dx}w+uv\frac{dw}{dx}$

である。函数列 f₁, …, f_k に対しては

$\frac{d}{dx}[\prod _{i=1}^k{f}_i(x)]=\sum _{i=1}^k(\frac{d}{dx}{f}_i(x)\prod _{j\ne i}{f}_j(x))=(\prod _{i=1}^k{f}_i(x))\left(\sum _{i=1}^k\frac{f{\text{'}}_i(x)}{f_i(x)}\right)$

と書ける。

高階化

テンプレート:Main 因子が二つの積の テンプレート:Mvar-階導函数に対しても積の法則（ライプニッツ則）は一般化することができて、

$(uv{)}^{(n)}(x)=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})\cdot u^{(n-k)}(x)\cdot v^{(k)}(x)$

が成り立ち、一般ライプニッツ則と呼ばれる。これは二項定理と非常に似た形をしている（二項係数の項も参照）。

高階偏導函数版

偏導函数に対する積の法則は

$\frac{{\partial }^n}{\partial x_1\cdots \partial x_n}(uv)=\sum _S\frac{{\partial }^{|S|}u}{\prod _{i\in S}\partial x_i}\cdot \frac{{\partial }^{n-|S|}v}{\prod _{i\in ̸S}\partial x_i}$

と書ける。ただし、添字 テンプレート:Mvar は集合 テンプレート:Mathの テンプレート:Math 個ある部分集合の全てに亙る。例えば テンプレート:Math のときは

$\begin{array}{cc}& \frac{{\partial }^3}{\partial x_1\partial x_2\partial x_3}(uv)\\ \\ & =u\cdot \frac{{\partial }^{3}v}{\partial x_1\partial x_2\partial x_3}+\frac{\partial u}{\partial x_1}\cdot \frac{{\partial }^{2}v}{\partial x_2\partial x_3}+\frac{\partial u}{\partial x_2}\cdot \frac{{\partial }^{2}v}{\partial x_1\partial x_3}+\frac{\partial u}{\partial x_3}\cdot \frac{{\partial }^{2}v}{\partial x_1\partial x_2}\\ \\ & +\frac{{\partial }^{2}u}{\partial x_1\partial x_2}\cdot \frac{\partial v}{\partial x_3}+\frac{{\partial }^{2}u}{\partial x_1\partial x_3}\cdot \frac{\partial v}{\partial x_2}+\frac{{\partial }^{2}u}{\partial x_2\partial x_3}\cdot \frac{\partial v}{\partial x_1}+\frac{{\partial }^{3}u}{\partial x_1\partial x_2\partial x_3}\cdot v\end{array}$

となる。

バナッハ空間に値を取る場合

テンプレート:Mvar はバナハ空間（例えばユークリッド空間）とし、テンプレート:Math は連続双線型作用素とする。このとき テンプレート:Mvar は微分可能で、その一点 テンプレート:Math における導函数は

$(D_{(x,y)}B)(u,v)=B(u,y)+B(x,v)$

で与えられる線型写像 テンプレート:Math である。

導分作用素の定義

抽象代数学では、積の法則の方が公理として先にあって、そこから導分作用素（微分作用素）と呼ばれるものが「定義」される。

ベクトル値函数の場合

ベクトル値函数のスカラー乗法、点乗積、交叉積についても積の微分法則は拡張できる。

スカラー乗法に対する積の法則

$(f\cdot \overrightarrow{g}{)}^{\prime }=f^{\prime }\cdot \overrightarrow{g}+f\cdot {\overrightarrow{g}}^{\prime }$

点乗積に対する積の法則

$(\overrightarrow{f}\cdot \overrightarrow{g}{)}^{\prime }={\overrightarrow{f}}^{\prime }\cdot \overrightarrow{g}+\overrightarrow{f}\cdot {\overrightarrow{g}}^{\prime }$

交叉積に対する積の法則

$(\overrightarrow{f}\times \overrightarrow{g}{)}^{\prime }={\overrightarrow{f}}^{\prime }\times \overrightarrow{g}+\overrightarrow{f}\times {\overrightarrow{g}}^{\prime }$

（注意すべきこととして、交叉積は交換的ではないから

$(f\times g{)}^{\prime }=f^{\prime }\times g+g^{\prime }\times f$

と書いてしまったら誤りである。しかし交叉積は反交換的であるから、

$(f\times g{)}^{\prime }=f^{\prime }\times g-g^{\prime }\times f$

と書くことはできる）。

スカラー場の場合

スカラー場の勾配の概念に対してもやはり同様の積の法則

$\mathrm{\nabla }(f\cdot g)=\mathrm{\nabla }f\cdot g+f\cdot \mathrm{\nabla }g$

が成立する。

応用

諸公式の導出

積の法則の応用として最たるものが、テンプレート:Mvar が正の整数であるときの冪函数に対する公式

$\frac{d}{dx}{x}^n=n{x}^{n-1}$

の証明である（この式自体は テンプレート:Mvar が正でなくとも、あるいはさらに整数でなくとも成立するが、その証明には別の方法を考える必要がある）。証明は冪指数 テンプレート:Mvar に関する数学的帰納法を用いる。テンプレート:Math のとき テンプレート:Math は定数で、テンプレート:Math だから式は成り立つ（定数函数の導函数は テンプレート:Math であるから）。任意にとって固定した冪指数 テンプレート:Mvar で帰納法の仮定が成り立つならば

$\begin{array}{cc}\frac{d}{dx}{x}^{n+1}& =\frac{d}{dx}(x^n\cdot x)=x\frac{d}{dx}{x}^n+x^n\frac{d}{dx}x\\ & =x(n{x}^{n-1})+x^n\cdot 1=(n+1)x^n\end{array}$

となるから テンプレート:Math でも等式は成り立つ（二つ目の等号は積の法則の適用、三つ目の等号は帰納法の仮定である）。

接空間の定義

積の法則はある抽象的な図形（可微分多様体）の抽象接空間の定義にも用いられる。この定義は考えている図形の周りにある全空間を使えない若しくは使いたくない場合に利用できる（そもそも全空間というものが存在しないことだってあり得る）。それには図形上の実数値函数の専ら一点 テンプレート:Mvar のみにおいて微分係数と積の法則が定義という事実を利用する。実はこのような微分係数全体の成す集合が、接空間と見るにふさわしいベクトル空間を成すのである。

参考文献

• テンプレート:Citation
• テンプレート:Cite journal

関連項目

• 一般ライプニッツ則
• テンプレート:仮リンク
• 微分 (曖昧さ回避)
• テンプレート:仮リンク
• 微分積分学
• 微分積分学の基本定理
• 解析学
• 原始関数の一覧
• 三角関数の原始関数の一覧
• 逆三角関数の原始関数の一覧
• 対数関数の原始関数の一覧
• 商の微分法則
• 対数微分
• 微分の記法

• Product Rule Practice Problems [Kouba, University of California: Davis]