자연로그

3. 역사

자연로그의 개념은 1649년 이전에 그레고아르 드 생-뱅상과 알퐁스 안토니오 데 사라사에 의해 연구되었다.^[34] 이들의 연구는 방정식 ''xy'' = 1을 갖는 쌍곡선의 구적법과 쌍곡선 부채꼴의 면적을 결정하는 것과 관련이 있었다. 그들의 해는 현재 자연로그와 관련된 속성을 가진 "쌍곡 로그" 함수를 생성했다.

니콜라스 메르카토르는 1668년에 출판된 자신의 저서 ''Logarithmotechnia''에서 자연로그에 대해 처음으로 언급했지만,^[35] 존 스페이델은 1619년에 이미 자연로그 표를 구성했다.^[36]

4. 정의

자연로그는 여러 가지 방법으로 정의할 수 있다.

가장 일반적인 정의는 지수 함수 $e^x$의 역함수이며, 이 경우 $e^\{\backslash ln(x)\}\; =\; x$이다.^[4] 지수 함수 $e^x$는 모든 실수 $x$에 대해 양수이고 가역적이므로, $\backslash ln(x)$는 모든 양수 $x$에 대해 잘 정의된다.

5. 성질

• $\backslash ln\; 1\; =\; 0$
• $\backslash ln\; e\; =\; 1$
• 곱의 법칙: $\backslash ln(xy)\; =\; \backslash ln\; x\; +\; \backslash ln\; y\; \backslash quad\; \backslash text\{for\; \}\backslash ;\; x\; >\; 0\backslash ;\backslash text\{and\; \}\backslash ;\; y\; >\; 0$
• 몫의 법칙: $\backslash ln(x/y)\; =\; \backslash ln\; x\; -\; \backslash ln\; y\; \backslash quad\; \backslash text\{for\; \}\backslash ;\; x\; >\; 0\backslash ;\backslash text\{and\; \}\backslash ;\; y\; >\; 0$
• 거듭제곱의 법칙: $\backslash ln(x^y)\; =\; y\; \backslash ln\; x\; \backslash quad\; \backslash text\{for\; \}\backslash ;\; x\; >\; 0$
• $\backslash ln(\backslash sqrt[y]\{x\})\; =\; (\backslash ln\; x)\; /\; y\backslash quad\; \backslash text\{for\; \}\backslash ;\; x\; >\; 0\backslash ;\backslash text\{and\; \}\backslash ;\; y\; \backslash ne\; 0$
• 부등식:
• 극한: $\backslash lim\_\{x\; \backslash to\; 0\}\; \backslash frac\{\backslash ln(1+x)\}\{x\}\; =\; 1$
• $\backslash lim\_\{\backslash alpha\; \backslash to\; 0\}\; \backslash frac\{x^\backslash alpha-1\}\{\backslash alpha\}\; =\; \backslash ln\; x\backslash quad\; \backslash text\{for\; \}\backslash ;\; x\; >\; 0$
• $\backslash frac\{x-1\}\{x\}\; \backslash leq\; \backslash ln\; x\; \backslash leq\; x-1\; \backslash quad\backslash text\{for\}\backslash quad\; x\; >\; 0$
• $\backslash ln\{(\; 1+x^\backslash alpha\; )\}\; \backslash leq\; \backslash alpha\; x\; \backslash quad\backslash text\{for\}\backslash quad\; x\; \backslash ge\; 0\backslash ;\backslash text\{and\; \}\backslash ;\; \backslash alpha\; \backslash ge\; 1$

6. 미분

$y(x)\; =\; \backslash ln\; x$이면 $y$의 $x$에 대한 미분은 $\{dy\; \backslash over\; dx\}\; =\; \backslash frac\{1\}\{x\}$이다.^[4] 증명은 다음과 같다.

:$\backslash begin\{align\}$

{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{align}

$u\; =\; \backslash frac\{\backslash Delta\; x\}\{x\}$로 두면, $\backslash Delta\; x\; \backslash to\; 0$일 때 $u\; \backslash to\; 0$이다. 따라서

:$\backslash begin\{align\}$

{dy \over dx}

& = \lim_{u \to 0} \ln {(1+u)^{\frac{1}{u x}}} \\

& = \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{align}

양의 실수에 대한 실수 값 함수로서의 자연로그의 미분은 다음과 같이 주어진다.

$$\backslash frac\{d\}\{dx\}\; \backslash ln\; x\; =\; \backslash frac\{1\}\{x\}.$$

만약 자연로그가 다음과 같은 적분으로 정의된다면

$$\backslash ln\; x\; =\; \backslash int\_1^x\; \backslash frac\{1\}\{t\}\backslash ,dt,$$

그러면 미분은 미적분학의 기본 정리의 첫 번째 부분에서 즉시 유도된다.

반면에, 자연로그가 (자연) 지수 함수의 역함수로 정의된다면, $x\; >\; 0$ 에 대해 미분은 로그의 성질과 지수 함수의 정의를 사용하여 구할 수 있다.

수 $e\; =\; \backslash lim\_\{u\backslash to\; 0\}(1+u)^\{1/u\}$의 정의로부터, 지수 함수는 다음과 같이 정의될 수 있다.

$$e^x\; =\; \backslash lim\_\{u\backslash to\; 0\}\; (1+u)^\{x/u\}\; =\; \backslash lim\_\{h\backslash to\; 0\}(1\; +\; hx)^\{1/h\}\; ,$$ 여기서 $u=hx,\; h=\backslash frac\{u\}\{x\}.$

그런 다음 미분은 기본적인 원리로부터 구할 수 있다.

$$\backslash begin\{align\}$$

\frac{d}{dx} \ln x &= \lim_{h\to 0} \frac{\ln(x+h) - \ln x}{h} \\

&= \lim_{h\to 0}\left[ \frac{1}{h} \ln\left(\frac{x+h}{x}\right)\right] \\

&= \lim_{h\to 0}\left[ \ln\left(1 + \frac{h}{x}\right)^{\frac{1}{h}}\right]\quad &&\text{로그의 성질에 의함}\\

&= \ln \left[ \lim_{h\to 0}\left(1 + \frac{h}{x}\right)^{\frac{1}{h}}\right]\quad &&\text{로그의 연속성에 의함} \\

&= \ln e^{1/x} \quad &&\text{ } e^x = \lim_{h\to 0}(1 + hx)^{1/h}의 정의에 의함\\

&= \frac{1}{x} \quad &&\text{역함수로서의 ln의 정의에 의함.}

\end{align}

또한 다음과 같다.

$$\backslash frac\{d\}\{dx\}\; \backslash ln\; ax\; =\; \backslash frac\{d\}\{dx\}\; (\backslash ln\; a\; +\; \backslash ln\; x)\; =\; \backslash frac\{d\}\{dx\}\; \backslash ln\; a\; +\backslash frac\{d\}\{dx\}\; \backslash ln\; x\; =\; \backslash frac\{1\}\{x\}.$$

따라서 역함수 $e^\{ax\}$와는 달리, 함수 내의 상수는 미분을 변경하지 않는다.

7. 적분

부분 적분법을 사용하여 자연로그를 적분하면 다음과 같다:^[13]

:$\backslash int\; \backslash ln\; x\; \backslash ,dx\; =\; x\; \backslash ln\; x\; -\; x\; +\; C$

여기서 ''C''는 적분 상수이다.

유도 과정은 다음과 같다.

:$u\; =\; \backslash ln\; x\; \backslash Rightarrow\; du\; =\; \backslash frac\{dx\}\{x\}$

:$dv\; =\; dx\; \backslash Rightarrow\; v\; =\; x$

:$$

\begin{align}

\int \ln x \,dx & = x \ln x - \int \frac{x}{x} \,dx \\

& = x \ln x - \int 1 \,dx \\

& = x \ln x - x + C

\end{align}



$g(x)\; =\; \backslash frac\{f\text{'}(x)\}\{f(x)\}$ 형태의 함수의 부정적분은 $\backslash ln\; (|f(x)|)$로 주어진다. 이는 연쇄 법칙과 다음 사실 때문이다:^[13]

:$\backslash frac\{d\}\{dx\}\backslash ln\; \backslash left|\; x\; \backslash right|\; =\; \backslash frac\{1\}\{x\},\; \backslash \; \backslash \; x\; \backslash ne\; 0$

다시 말해, $x=0$을 포함하지 않는 실수 선상의 구간에 대해 적분하면,

:$\backslash int\; \backslash frac\{1\}\{x\}\; \backslash ,dx\; =\; \backslash ln|x|\; +\; C$

마찬가지로, 적분이 $f(x)\; \backslash ne\; 0$인 구간에 걸쳐 있을 때,

:$\backslash int\; \{\; \backslash frac\{f\text{'}(x)\}\{f(x)\}\backslash ,dx\}\; =\; \backslash ln|f(x)|\; +\; C$

예를 들어, $\backslash tan\; (x)$가 무한대가 되는 점을 포함하지 않는 구간에서 $\backslash tan\; (x)$의 적분은 다음과 같다.

:$\backslash int\; \backslash tan\; x\; \backslash ,dx\; =\; \backslash int\; \backslash frac\{\backslash sin\; x\}\{\backslash cos\; x\}\; \backslash ,dx\; =\; -\backslash int\; \backslash frac\{\backslash frac\{d\}\{dx\}\; \backslash cos\; x\}\{\backslash cos\; x\}\; \backslash ,dx\; =\; -\backslash ln\; \backslash left|\; \backslash cos\; x\; \backslash right|\; +\; C\; =\; \backslash ln\; \backslash left|\; \backslash sec\; x\; \backslash right|\; +\; C$

8. 급수 전개

9. 복소수에서의 자연로그

오일러 공식을 이용하면 로그 함수를 복소수 범위까지 확장할 수 있다. 오일러 공식은 다음과 같다.

:$re^\{ix\}\; =\; r(\backslash cos\; x\; +\; i\backslash sin\; x)$

양변에 자연로그를 취하면 다음과 같은 결과를 얻는다.

:$\backslash ln\; r(\backslash cos\; x\; +\; i\backslash sin\; x)\; =\; ix\; +\; \backslash ln\; r$

지수 함수는 임의의 복소수 z에 대해 $e^z$ 형태로 확장할 수 있으며, 무한 급수를 사용하여 복소 로그를 정의할 수 있다. 하지만 여기에는 두 가지 어려움이 있다.

• x에 대해 $e^x\; =\; 0$을 만족하는 해는 존재하지 않는다.
• $e^\{2i\backslash pi\}\; =\; 1\; =\; e^0$이다.

10. 계산

1에 가까운 값의 자연로그는 1을 중심으로 하는 테일러 급수의 수렴 속도가 빠르다는 점을 이용하여 계산할 수 있다. 로그와 관련된 항등식을 활용하면 다음과 같이 나타낼 수 있다.

:$\backslash ln\; 123.456\; =\; \backslash ln(1.23456\; \backslash cdot\; 10^2)\; =\; \backslash ln\; 1.23456\; +\; 2\; \backslash ln\; 10\; \backslash approx\; \backslash ln\; 1.23456\; +\; 2\; \backslash cdot\; 2.3025851.$

이러한 방법은 계산기가 없던 시절, 수치표를 참조하여 계산할 때 사용되었다.^[14] 10의 자연로그는 약 2.30258509이며, 과학적 표기법으로 표시된 숫자의 자연로그를 계산할 때 사용된다.

:$\backslash ln(a\backslash cdot\; 10^n)\; =\; \backslash ln\; a\; +\; n\; \backslash ln\; 10.$

이는 작은 소수 집합의 로그를 사용하여 매우 크거나 작은 크기의 숫자의 로그를 효과적으로 계산할 수 있음을 의미한다.

높은 정밀도의 자연로그 계산에는 테일러 급수보다 할리 방법이나 뉴턴 방법을 사용하여 지수 함수를 역함수로 사용하는 것이 효율적이다. 할리 방법을 사용하면 $\backslash ln\; (x)$에 대해 3차 수렴하는 다음 식을 얻을 수 있다.

:$y\_\{n+1\}\; =\; y\_n\; +\; 2\; \backslash cdot\; \backslash frac\{\; x\; -\; \backslash exp\; (\; y\_n\; )\; \}\{\; x\; +\; \backslash exp\; (\; y\_n\; )\; \}$

극도로 높은 정밀도를 위해서는 다음 공식을 사용할 수 있다.^[15][16]

:$\backslash ln\; x\; \backslash approx\; \backslash frac\{\backslash pi\}\{2\; M(1,4/s)\}\; -\; m\; \backslash ln\; 2,$

여기서 M은 1과 4/s의 산술-기하 평균이고, $s\; =\; x\; 2^m\; >\; 2^\{p/2\}$이며, m은 p 비트의 정밀도를 얻도록 선택한다. 또는 다음 공식을 사용할 수도 있다.

:$\backslash ln\; x\; =\; \backslash frac\{\backslash pi\}\{M\backslash left(\backslash theta\_2^2(1/x),\backslash theta\_3^2(1/x)\backslash right)\},\backslash quad\; x\backslash in\; (1,\backslash infty)$

여기서 $$

\theta_2(x) = \sum_{n\in\Z} x^{(n+1/2)^2},

\quad

\theta_3(x) = \sum_{n\in\Z} x^{n^2}

은 야코비 세타 함수이다.^[17]

1979년 휴렛 팩커드 (HP-41C) 계산기에서 처음 구현된^[18][19] '''LNP1'''^[20] 또는 '''log1p'''^[20] 함수는 0에 가까운 값에 대한 자연로그를 더 정확하게 계산하기 위해 사용된다. 이 함수는 log1p(x) 값을 반환하는 대신, 1에 가까운 값 y를 ln(y)를 반환하는 함수에 전달한다.^[18][19][20] 이는 부동 소수점 연산에서 발생하는 반올림 오차를 줄여준다.

expm1",^[20] "expm"^[18][19] 또는 "exp1m"이라는 유사한 역함수도 존재한다.^[21]

역쌍곡 탄젠트를 이용한 다음 항등식은 log1p(x)를 구현하지 않는 시스템에서 작은 x 값에 대해 높은 정밀도를 제공한다.

:$\backslash mathrm\{log1p\}(x)\; =\; \backslash log(1+x)\; =\; 2\; ~\; \backslash mathrm\{artanh\}\backslash left(\backslash frac\{x\}\{2+x\}\backslash right)\backslash ,,$

산술-기하 평균을 사용하여 자연 로그를 계산하는 계산 복잡도는 $\backslash text\{O\}\backslash bigl(M(n)\; \backslash ln\; n\; \backslash bigr)$이다. 여기서 n은 정밀도의 자릿수이고, M(n)은 두 n 자릿수 숫자를 곱하는 계산 복잡도이다.

11. 연분수

단순한 연분수는 없지만, 다음과 같은 여러 일반화된 연분수가 존재한다.

:ln^영어(1+x) = frac|x^1|1^영어-frac|x^2|2^영어+frac|x^3|3^영어-frac|x^4|4^영어+frac|x^5|5^영어-⋯

: = cfrac|x|1-0x+}}}}}}}}

:ln^영어(Big|1^영어+frac|x|y^영어) = cfrac|x|y+}}}}}}}}}}

: = cfrac|2x|2y+x-}}}}}}

이러한 연분수, 특히 마지막 연분수는 1에 가까운 값에 대해 빠르게 수렴한다. 그러나 훨씬 더 큰 수의 자연 로그는 더 작은 수의 자연 로그를 반복적으로 더하여 유사하게 빠르게 수렴하도록 쉽게 계산할 수 있다.

예를 들어, 2 = 1.25³ × 1.024 이므로, 2의 자연로그는 다음과 같이 계산할 수 있다.

:ln^영어 2 = 3 ln^영어(Big|1^영어+frac|1|4^영어) + ln^영어(Big|1^영어+frac|3|125^영어)

: = cfrac|6|9-}}}}}} + cfrac|6|253-}}}}}}}

또한, 10 = 1.25¹⁰ × 1.024³ 이므로, 10의 자연 로그도 유사하게 계산할 수 있다.

:ln^영어 10 = 10 ln^영어(Big|1^영어+frac|1|4^영어) + 3ln^영어(Big|1^영어+frac|3|125^영어)

: = cfrac|20|9-}}}}}} + cfrac|18|253-}}}}}}}

자연 로그의 역수도 다음과 같이 쓸 수 있다.

:frac|1|ln(x)^영어 = frac|2x|x^2-1^영어sqrt|}}sqrt|+}}}}…

예를 들어:

:frac|1|ln(2)^영어 = frac|4|3^영어sqrt|}} sqrt| +}}}} …

참조

_[1] OEIS Decimal expansion of e
_[2] 서적 An Introduction to the Theory of Numbers Oxford 1975
_[3] 서적 Mathematics for physical chemistry https://books.google[...] Academic Press 2005
_[4] 웹사이트 Natural Logarithm https://mathworld.wo[...] 2020-08-29
_[5] 웹사이트 Rules, Examples, & Formulas https://www.britanni[...] 2020-08-29
_[6] 논문 Alphonse Antonio de Sarasa and logarithms 2001
_[7] 웹사이트 The number e http://www-history.m[...] The MacTutor History of Mathematics archive 2001-09-01
_[8] 서적 A History of Mathematics https://books.google[...] AMS Bookstore 1991
_[9] 문서 Including C, C++, SAS, MATLAB, Mathematica, Fortran, and some BASIC dialects
_[10] 웹사이트 "Logarithmic Expansions" at Math2.org http://www.math2.org[...]
_[11] 서적 Introductio in Analysin Infinitorum. Tomus Primus. Bousquet 1748
_[12] 웹사이트 A PROCEDURE FOR GENERATING INFINITE SERIES IDENTITIES https://www.emis.de/[...] 2022-02-27
_[13] 서적 Calculus and Analytic Geometry Addison-Wesley 1979
_[14] OEIS Decimal expansion of natural logarithm of 10
_[15] 논문 Practically fast multiple-precision evaluation of log(x) http://ci.nii.ac.jp/[...] 1982
_[16] 논문 Fast Computations of the exponential Function 1999
_[17] 서적 Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity Wiley-Interscience 1987
_[18] 서적 HP 48G Series – Advanced User's Reference Manual (AUR) http://www.hpcalc.or[...] Hewlett-Packard 1994-12-01
_[19] 서적 HP 50g / 49g+ / 48gII graphing calculator advanced user's reference manual (AUR) http://www.hpcalc.or[...] Hewlett-Packard 2009-07-14
_[20] 웹사이트 Computation of expm1 = exp(x)−1 http://www.math.utah[...] Department of Mathematics, Center for Scientific Computing, University of Utah 2002-07-09
_[21] 문서 For a similar approach to reduce round-off errors of calculations for certain input values see trigonometric functions like versine, vercosine, coversine, covercosine, haversine, havercosine, hacoversine, hacovercosine, exsecant and excosecant.
_[22] 서적 The Mathematical-Function Computation Handbook - Programming Using the MathCW Portable Software Library Springer International Publishing AG 2017-08-22
_[23] 서적 Mathematics for physical chemistry https://books.google[...] Academic Press 2005
_[24] 웹사이트 自然対数の底eの定義 https://w3e.kanazawa[...] 金沢工業大学 2024-03-05
_[25] 논문 Alphonse Antonio de Sarasa and Logarithms 2001
_[26] 웹사이트 The number e http://www-history.m[...] The MacTutor History of Mathematics archive 2001-09-01
_[27] 서적 A History of Mathematics, 5th ed https://books.google[...] AMS Bookstore 1991
_[28] 서적 A History of Mathematics John Wiley & Sons 1991-03-06
_[29] 논문 Australian Aboriginal and Islander mathematics http://www1.aiatsis.[...] 1987
_[30] 논문 The vigesimal system of enumeration http://www.jps.auckl[...] 1902
_[31] 논문 Sexagesimal fractions among the Babylonians 1922
_[32] 서적 Calculus: An Applied Approach https://books.google[...] Cengage Learning 2007
_[33] 웹사이트 Math Words, and Some Other Words, of Interest http://www.pballew.n[...]
_[34] 논문 Alphonse Antonio de Sarasa and Logarithms 2001
_[35] 웹인용 The number e http://www-history.m[...] The MacTutor History of Mathematics archive 2001-09-01
_[36] 서적 A History of Mathematics, 5th ed https://books.google[...] AMS Bookstore