対数微分

テンプレート:Unreferenced 数学、とくに微分積分学と複素解析学において、関数 テンプレート:Mvar の対数微分あるいは対数導関数 (テンプレート:Lang-en-short) は式

$\frac{f^{\prime }}{f}$

によって定義される。ただし テンプレート:Mvar は テンプレート:Mvar の導関数である。直感的には、テンプレート:Mvar における無限小テンプレート:仮リンクである。つまり、テンプレート:Mvar の現在の値によってスケールされた、テンプレート:Mvar の無限小絶対変化すなわち テンプレート:Mvar。

テンプレート:Mvar が実変数 テンプレート:Mvar の関数 テンプレート:Math で真に正の実数値をとるとき、これは テンプレート:Math, すなわち テンプレート:Mvar の自然対数の導関数に等しい。これは連鎖律から直ちに従う。

基本的な性質

実の対数の多くの性質は、関数が正の実数に値を取らないときでさえ、対数導関数にも適用する。例えば、積の対数は因子の対数の和であるから、

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

が成り立つ。そのため正の実数値関数に対して、積の対数微分は因子の対数微分の和である。しかし積の微分に対してはライプニッツの法則を使うこともでき、次を得る

$\frac{(uv{)}^{\prime }}{uv}=\frac{u^{\prime }v+u{v}^{\prime }}{uv}=\frac{u^{\prime }}{u}+\frac{v^{\prime }}{v}.$

したがって、任意の関数に対して次のことが正しい。積の対数微分は因子の対数微分の和である（定義されているときは）。

これの系は関数の逆数の対数微分は関数の対数微分のマイナス1倍である：

$\frac{(1/u{)}^{\prime }}{1/u}=\frac{-u^{\prime }/u^2}{1/u}=-\frac{u^{\prime }}{u},$

ちょうど正の実数の逆数の対数は数の対数のマイナス1倍であるように。

より一般に、商の対数微分は被除数と除数の対数微分の差である：

$\frac{(u/v{)}^{\prime }}{u/v}=\frac{(u^{\prime }v-u{v}^{\prime })/v^2}{u/v}=\frac{u^{\prime }}{u}-\frac{v^{\prime }}{v},$

ちょうど商の微分は非除数と除数の対数の差であるように。

別の方向に一般化して、（実定数の指数による）ベキの対数微分は、指数と、底の対数微分の積である：

$\frac{(u^k{)}^{\prime }}{u^k}=\frac{k{u}^{k-1}{u}^{\prime }}{u^k}=k\frac{u^{\prime }}{u},$

ちょうどベキの対数は指数と底の対数の積であるように。

まとめると、微分と対数はともに積の法則、テンプレート:Ill2、商の法則、そしてテンプレート:Ill2をもつ（テンプレート:Ill2 を比較せよ）。法則の各ペアは対数微分を通して関係している。

対数導関数を使った普通の導関数の計算

テンプレート:Main 対数導関数は積の法則を要求する導関数の計算を簡単化できる。過程は次のようである： テンプレート:Math とし テンプレート:Math を計算したいとする。それを直接計算する代わりに、その対数微分を計算する。つまり、次を計算する：

$\frac{f^{\prime }}{f}=\frac{u^{\prime }}{u}+\frac{v^{\prime }}{v}.$

両辺に テンプレート:Mvar をかけることによって テンプレート:Mvar が計算できる：

$f^{\prime }=f(\frac{u^{\prime }}{u}+\frac{v^{\prime }}{v}).$

このテクニックは テンプレート:Mvar がたくさんの数の因子の積であるときに非常に有用である。このテクニックによって テンプレート:Mvar の計算が各因子の対数導関数を計算し、和を取り、テンプレート:Mvar を掛けることによってできるようになる。

積分因子

対数導関数のアイデアは一階の微分方程式の積分因子手法と密接に関係している。作用素の言葉では、

$D=d/dx$

と書き M はある与えられた関数 G(x) による積の作用素を表す。すると

$M^{-1}DM$

は（積の法則によって）

$D+M^{*}$

と書くことができる、ただし $M^{*}$ は今対数微分

$G^{\prime }/G$

による積作用素を表す。実際的には

$D+F=L$

のような演算子が与えられ、f は与えられ関数 h について方程式

$L(h)=f$

を解きたい。するとこれは

$G^{\prime }/G=F$

を解くことに帰着する。これは解として F の任意の不定積分によって

$\exp (\int F)$

をもつ。

複素解析

与えられたような公式はより広く適用できる。例えば f(z) が有理型関数であれば、f が零点でも極でもないすべての複素数値 z において意味をなす。さらに、零点や極において対数導関数は n ≠ 0 を整数として特別な場合

zⁿ

の言葉で容易に分析できる方法で振る舞う。このとき対数導関数は

n/z;

であり次の一般的な結論を描くことができる。有理型関数 f に対して、f の対数微分の特異点はすべて一位の極であり、位数 n の零点から留数 n、位数 n の極から留数 −n。偏角の原理を見よ。この情報は周回積分でしばしば利用される。

テンプレート:仮リンクの分野において、重要な補題は次のことを述べている。対数導関数の proximity function はもとの関数の Nevanlinna characteristic に関して小さい、例えば $m(r,h^{\prime }/h)=S(r,h)=o(T(r,h))$。

乗法群

対数導関数の使用の背後には GL₁ すなわち実数や他の体の乗法群についての2つの基本的な事実がある。微分作用素

$X\frac{d}{dX}$

は 'translation' （定数 a に対し X を aX で取りかえる）の下でテンプレート:Ill2である。微分形式

dX/X

も同様に不変量である。したがって、GL₁ への関数 F に対して、式

dF/F

は不変形式のテンプレート:Ill2である。

例

• 指数関数的成長と指数関数的減衰は対数導関数が定数の過程である。
• 数理ファイナンスにおいて、テンプレート:Ill2 λ は underlying price に関して derivative price の対数導関数である。
• 数値解析において、条件数はインプットの相対変化に対するアウトプットの無限小相対変化であり、したがって対数導関数の比である。

関連項目

• 対数微分法
• テンプレート:仮リンク