📂함수

로그함수의 미분법

공식

밑이 $e$인 로그함수의 도함수는 다음과 같다.

$$\begin{equation} \dfrac{d \log x}{dx}=\dfrac{1}{x} \end{equation}$$

로그합성함수의 도함수는 다음과 같다.

$$\begin{equation} \dfrac{d \left( \log f(x) \right)}{dx} = \dfrac{f^{\prime}(x)}{f(x)} \end{equation}$$

설명

특히 $(2)$는 유용하게 쓰이는 치환트릭이다.

유도

$(1)$

로그함수의 정의에 의해서 다음의 식이 성립한다.

$$x = e^{\log x}$$

양변을 미분하면 지수함수의 미분법과 연쇄법칙에 의해 다음과 같다.

$$\begin{align*} 1 &= \dfrac{ d \left( e^{\log x} \right) }{dx} \\ &= \dfrac{ d \left( e^{\log x} \right) }{d \log x} \dfrac{d \log x}{dx} \\ &= e^{\log x} \dfrac{d \log x}{dx} \\ &= x \dfrac{d \log x}{dx} \end{align*}$$

$$\implies \dfrac{d \log x}{dx} = \dfrac{1}{x}$$

■

$(2)$

로그함수의 정의에 의해서 다음의 식이 성립한다.

$$f(x) = e^{\log f(x)}$$

나머지 과정은 위와 같다.

$$\begin{align*} f^{\prime} &= \dfrac{ d e^{\log f(x)}}{dx} \\ &= \dfrac{ d e^{\log f(x)}}{d \log f(x)} \dfrac{d \log f(x)}{dx} \\ &= e^{\log f(x)} \dfrac{d \log f(x)}{dx} \\ &= f(x) \dfrac{d \log f(x)}{dx} \end{align*}$$

$$\implies \dfrac{d \log f(x)}{dx} = \dfrac{f^{\prime}(x)}{f(x)}$$

■