対数微分法

大文字パイ表記を使って、

${\displaystyle f(x)=\prod _{i}(f_{i}(x))^{\alpha _{i}(x)}.}$

自然対数を適用すると（大文字シグマ表記を使って）

${\displaystyle \ln(f(x))=\sum _{i}\alpha _{i}(x)\cdot \ln(f_{i}(x))}$

となり、微分すると、

${\displaystyle {\frac {f'(x)}{f(x)}}=\sum _{i}\left[\alpha _{i}'(x)\cdot \ln(f_{i}(x))+\alpha _{i}(x)\cdot {\frac {f_{i}'(x)}{f_{i}(x)}}\right].}$

もとの関数の導関数を得るために整理すると

${\displaystyle f'(x)=\overbrace {\prod _{i}(f_{i}(x))^{\alpha _{i}(x)}} ^{f(x)}\times \overbrace {\sum _{i}\left\{\alpha _{i}'(x)\cdot \ln(f_{i}(x))+\alpha _{i}(x)\cdot {\frac {f_{i}'(x)}{f_{i}(x)}}\right\}} ^{[\ln(f(x))]'}}$

自然対数は2つの関数の積

${\displaystyle f(x)=g(x)h(x)\,\!}$

に適用されて積を和に変える

${\displaystyle \ln(f(x))=\ln(g(x)h(x))=\ln(g(x))+\ln(h(x))\,\!}$

チェインルールと和の法則を適用して微分する

${\displaystyle {\frac {f'(x)}{f(x)}}={\frac {g'(x)}{g(x)}}+{\frac {h'(x)}{h(x)}}}$

整理すると[7]

${\displaystyle f'(x)=f(x)\times {\Bigg \{}{\frac {g'(x)}{g(x)}}+{\frac {h'(x)}{h(x)}}{\Bigg \}}=g(x)h(x)\times {\Bigg \{}{\frac {g'(x)}{g(x)}}+{\frac {h'(x)}{h(x)}}{\Bigg \}}}$

自然対数は2つの関数の商

${\displaystyle f(x)={\frac {g(x)}{h(x)}}\,\!}$

に適用されて割り算を引き算に変える

${\displaystyle \ln(f(x))=\ln {\Bigg (}{\frac {g(x)}{h(x)}}{\Bigg )}=\ln(g(x))-\ln(h(x))\,\!}$

チェインルールと和の法則を適用して微分する

${\displaystyle {\frac {f'(x)}{f(x)}}={\frac {g'(x)}{g(x)}}-{\frac {h'(x)}{h(x)}}}$

整理すると

${\displaystyle f'(x)=f(x)\times {\Bigg \{}{\frac {g'(x)}{g(x)}}-{\frac {h'(x)}{h(x)}}{\Bigg \}}={\frac {g(x)}{h(x)}}\times {\Bigg \{}{\frac {g'(x)}{g(x)}}-{\frac {h'(x)}{h(x)}}{\Bigg \}}}$

展開して共通分母公式を使った後結果は商の法則を ${\displaystyle f(x)}$ に直接適用したのと同じである。

次の形の関数に対して

${\displaystyle f(x)=g(x)^{h(x)}\,\!}$

自然対数は冪乗を積に変える

${\displaystyle \ln(f(x))=\ln \left(g(x)^{h(x)}\right)=h(x)\ln(g(x))\,\!}$

チェインルールと積の法則を適用して微分する

${\displaystyle {\frac {f'(x)}{f(x)}}=h'(x)\ln(g(x))+h(x){\frac {g'(x)}{g(x)}}}$

整理すると

${\displaystyle f'(x)=f(x)\times {\Bigg \{}h'(x)\ln(g(x))+h(x){\frac {g'(x)}{g(x)}}{\Bigg \}}=g(x)^{h(x)}\times {\Bigg \{}h'(x)\ln(g(x))+h(x){\frac {g'(x)}{g(x)}}{\Bigg \}}.}$

同じ結果は f を exp の言葉で書き直しチェインルールを適用することによって得ることができる。