関数 $y = x^{\log x}$ ($x > 0$) を微分せよ。ここで、$\log$ は常用対数(底が10の対数)を表すものとする。解析学微分対数微分法常用対数合成関数の微分2025/6/81. 問題の内容関数 y=xlogxy = x^{\log x}y=xlogx (x>0x > 0x>0) を微分せよ。ここで、log\loglog は常用対数(底が10の対数)を表すものとする。2. 解き方の手順対数微分法を用いる。まず、両辺の常用対数をとる。logy=log(xlogx)\log y = \log (x^{\log x})logy=log(xlogx)対数の性質 logab=bloga \log a^b = b \log a logab=bloga を用いて、logy=(logx)(logx)=(logx)2\log y = (\log x) (\log x) = (\log x)^2logy=(logx)(logx)=(logx)2次に、両辺を xxx で微分する。左辺は yyy の関数であるから、合成関数の微分法を用いる。1ydydx=2(logx)⋅1xln10\frac{1}{y} \frac{dy}{dx} = 2 (\log x) \cdot \frac{1}{x \ln 10}y1dxdy=2(logx)⋅xln101ここで、logx\log xlogx の微分は 1xln10\frac{1}{x \ln 10}xln101 である(常用対数の微分公式)。ln\lnln は自然対数(底が eee の対数)を表す。dydx\frac{dy}{dx}dxdy について解くために、両辺に yyy を掛ける。dydx=y⋅2logxxln10\frac{dy}{dx} = y \cdot \frac{2 \log x}{x \ln 10}dxdy=y⋅xln102logxy=xlogxy = x^{\log x}y=xlogx を代入する。dydx=xlogx⋅2logxxln10\frac{dy}{dx} = x^{\log x} \cdot \frac{2 \log x}{x \ln 10}dxdy=xlogx⋅xln102logx3. 最終的な答えdydx=2xlogxlogxxln10\frac{dy}{dx} = \frac{2 x^{\log x} \log x}{x \ln 10}dxdy=xln102xlogxlogx