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

確率変数 $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(e^X\le y)\\ & =P(X\le \log y)\end{array}$$ 累積分布関数の定義式 $G\left(x\right)=P(X\le x)$ より、 $$\begin{array}{r}G\left(y\right)=F(\log y)\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(\log y)\\ & =f(\log y)\cdot \frac{1}{y}\end{array}$$ $◼$