積の微分法則

微分積分学における積の法則（せきのほうそく、；ライプニッツ則）は、二つ（あるいはそれ以上）の函数の積の導函数を求めるのに用いる公式。公式この公式は、

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

と書くことができる。

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

と書いてもよい。

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

である。

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

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

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

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

両辺を無限小で割るならば

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

と書くこともできる。

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

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

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

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

積がにおいて微分可能であるということは、極限

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

と同様に、およびと定める。これらはやはりと同じくの函数になる。このときおよびである。

さてこのとき、を分配法則に従って展開すれば、

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

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

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

微分係数を求めるためには

のをに近づけた極限を求めねばならない。極限の基本性質と微分の定義を用いて、一項づつ処理していこう。まずは

であり、同様に

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

において、は連続であるからの極限はとなることを用いる。結論には変わりないが

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

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

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

略証定義によりが一点で微分可能ならば

と書くことができる。ここではランダウの記号で

を意味する。このとき、

だから、をに近づける極限をとって所期の結果を得る。

対数微分と四分平方を使った証明に対してとがともにの正値函数であるならば、

ゆえ、両辺を微分して

となるから、左辺には , 右辺にはを掛けると（もちろんなのだから）

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

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

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

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

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

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

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

超準解析による定式化はの連続函数とし、は超準解析の枠組みにおける無限小、特に超実数とする。標準部函数は有限超実数に対して無限に近い実数を割り当てるものとすれば、

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

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

と計算できる。

に注意せよ。

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

である。函数列 f1, …, fk に対しては

と書ける。

高階化

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

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

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

と書ける。ただし、添字は集合の個ある部分集合の全てに亙る。例えばのときは

となる。

バナッハ空間に値を取る場合はバナハ空間（例えばユークリッド空間）とし、は連続双線型作用素とする。このときは微分可能で、その一点における導函数は

で与えられる線型写像である。

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

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

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

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

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

と書くことはできる）。

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

が成立する。

応用諸公式の導出積の法則の応用として最たるものが、が正の整数であるときの冪函数に対する公式

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

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

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

脚注注釈

出典　

参考文献

積の微分法則

Źródło i licencja