자연로그

자연로그(自然log, 영어: natural logarithm)는 e를 밑으로 하는 로그를 뜻한다. 즉, e x = y {\displaystyle e^{x}=y} 일 때, ln ⁡ y = x {\displaystyle \ln y=x} 을 자연로그라 한다. x {\displaystyle x} 의 자연로그는 ln ⁡ x {\displaystyle \ln x} , log e ⁡ x {\displaystyle \log _{e}x} , log ⁡ x {\displaystyle \log x} 로 표기할 수 있다. 앞의 두 표기는 모호함이 없다. 하지만 밑을 명시하지 않은 log ⁡ x {\displaystyle \log x} 는 수학에서는 자연로그로 사용되는 것이 흔하지만, 다른 분야에서는 상용 로그(common logarithm)로 사용되기도 하므로 혼동될 수 있다. 자연로그의 개념은 1649년보다 이전에 Gregoire de Saint-Vincent와 Alphonse Antonio de Sarasa에 의해 수행되었다. 자연로그에 대한 초기 언급은 1668년 출판된 Logarithmotechnia라는 책에서 Nicholas Mercator가 기술하였지만, 수학 교사 John Speidell이 1619년 자연로그 표를 이미 구성해놓았다. 로그 함수는 다음과 같이 복소수로 확장할 수 있다. 먼저 오일러의 공식을 보면, r e i x = r ( cos ⁡ x + i sin ⁡ x ) {\displaystyle re^{ix}=r(\cos x+i\sin x)} 양변에 자연로그를 씌우면 r e i x = r ( cos ⁡ x + i sin ⁡ x ) {\displaystyle re^{ix}=r(\cos x+i\sin x)} ∴ ln ⁡ r ( cos ⁡ x + i sin ⁡ x ) = i x + ln ⁡ r {\displaystyle \therefore \ln r(\cos x+i\sin x)=ix+\ln r} y ( x ) = ln ⁡ x {\displaystyle y(x)=\ln x} 이면 y {\displaystyle y} 의 x {\displaystyle x} 에 대한 미분 d y d x = 1 x {\displaystyle {dy \over dx}={\frac {1}{x}}} 이며, 증명은 다음과 같다. d y d x = lim Δ x → 0 ln ⁡ ( x + Δ x ) − ln ⁡ x Δ x = lim Δ x → 0 1 Δ x ln ⁡ x + Δ x x = lim Δ x → 0 1 Δ x ln ⁡ ( 1 + Δ x x ) = lim Δ x → 0 ln ⁡ ( 1 + Δ x x ) 1 Δ x {\displaystyle {\begin{aligned}{dy \over dx}&=\lim _{\Delta x\to 0}{\frac {\ln(x+\Delta x)-\ln x}{\Delta x}}\\&=\lim _{\Delta x\to 0}{\frac {1}{\Delta x}}\ln {\frac {x+\Delta x}{x}}\\&=\lim _{\Delta x\to 0}{\frac {1}{\Delta x}}\ln(1+{\frac {\Delta x}{x}})\\&=\lim _{\Delta x\to 0}\ln {(1+{\frac {\Delta x}{x}})^{\frac {1}{\Delta x}}}\\\end{aligned}}} u = Δ x x {\displaystyle u={\frac {\Delta x}{x}}} 로 두면, Δ x → 0 {\displaystyle \Delta x\to 0} 일 때 u → 0 {\displaystyle u\to 0} 이다. 따라서 d y d x = lim u → 0 ln ⁡ ( 1 + u ) 1 u x = lim u → 0 1 x ln ⁡ ( 1 + u ) 1 u = 1 x lim u → 0 ln ⁡ ( 1 + u ) 1 u = 1 x ln ⁡ e = 1 x {\displaystyle {\begin{aligned}{dy \over dx}&=\lim _{u\to 0}\ln {(1+u)^{\frac {1}{ux}}}\\&=\lim _{u\to 0}{\frac {1}{x}}\ln {(1+u)^{\frac {1}{u}}}\\&={\frac {1}{x}}\lim _{u\to 0}\ln {(1+u)^{\frac {1}{u}}}\\&={\frac {1}{x}}\ln e={\frac {1}{x}}\\\end{aligned}}} ln ⁡ x = ∫ 1 x 1 t d t {\displaystyle \ln x=\int _{1}^{x}{\frac {1}{t}}\,dt} ln ⁡ e = 1 {\displaystyle \ln e=1} e ln ⁡ x = x {\displaystyle {e^{\ln x}}=x} ln ⁡ x y = ln ⁡ x + ln ⁡ y , for x > 0 , y > 0 {\displaystyle \ln xy=\ln x+\ln y,\quad {\text{for}}\quad x>0,y>0} ln ⁡ x < ln ⁡ y f o r 0 < x < y {\displaystyle \ln x<\ln y\quad {\rm {for}}\quad 0<x<y} lim x → 0 ln ⁡ ( 1 + x ) x = 1 {\displaystyle \lim _{x\to 0}{\frac {\ln(1+x)}{x}}=1} lim n → 0 x n − 1 n = ln ⁡ x {\displaystyle \lim _{n\to 0}{\frac {x^{n}-1}{n}}=\ln {x}} ln ⁡ x y = y ln ⁡ x f o r x > 0 {\displaystyle \ln x^{y}=y\,\ln x\quad {\rm {{for}\quad {\mathit {x}}>0}}} x − 1 x ≤ ln ⁡ x ≤ x − 1 f o r x > 0 {\displaystyle {\frac {x-1}{x}}\leq \ln x\leq x-1\quad {\rm {{for}\quad {\mathit {x}}>0}}} ln ⁡ ( 1 + x α ) ≤ α x f o r x ≥ 0 , α ≥ 1 {\displaystyle \ln(1+x^{\alpha })\leq \alpha x\quad {\rm {{for}\quad {\mathit {x}}\geq 0,\alpha \geq 1}}} 다중로그 R. P. Burn (2001) "Alphonse Antonio de Sarasa and Logarithms", Historia Mathematica 28:1 – 17 J J O'Connor and E F Robertson (September 2001). “The number e”. The MacTutor History of Mathematics archive. 2009년 2월 2일에 확인함.  Cajori, Florian (1991). 《A History of Mathematics, 5th ed》. AMS Bookstore. 152쪽. ISBN 0-8218-2102-4.