対数変換後の確率密度関数の導出

確率変数 $Y$ の累積分布関数を $G\left(y\right)$ とすると、累積分布関数の定義式 $F\left(x\right)=P(X\le x)$ より、 $$\begin{array}{rl}G\left(y\right)& =P(Y\le y)\\ & =P(\log X\le y)\\ & =P(X\le e^y)\end{array}$$ 累積分布関数の定義式 $G\left(x\right)=P(X\le x)$ より、 $$\begin{array}{r}G\left(y\right)=F\left(e^y\right)\end{array}$$ 確率密度関数を $g\left(y\right)$ とすると、累積分布関数と確率密度関数との関係 $f\left(x\right)=\frac{d}{dx}F\left(x\right)$ より、 $$\begin{array}{rl}g\left(y\right)& =\frac{d}{dy}G\left(y\right)\\ & =\frac{d}{dy}F\left(e^y\right)\\ & =f\left(e^y\right)\cdot e^y\end{array}$$ $◼$