숫자의 자연 로그는 수학 상수 e의 밑변에 대한 로그로, 2.7182828459와 거의 동일한 비합리적이고 초월적인 숫자입니다.x의 자연 로그는 일반적으로 ln x, logex로 쓰입니다.기저수 e가 암묵적인 경우에는 단순히log[1][2]x로 쓰이기도 합니다.명확성을e위해 괄호를 추가할 수도 있습니다.이는 모호성을 방지하기 위해 특히 대수에 대한 인수가 단일 기호가 아닐 때 수행됩니다.
x의 자연 로그는 e가 x와 같도록 올려야 하는거듭제곱입니다.예를 들어, ln 7.5는 2.0149입니다. e = 7.5이기 때문입니다2.0149....e 자체의 자연 로그 ln e는 e = e이기 때문에11이고, 1의 자연 로그는 e = 1이기 때문에0 0입니다.
자연 로그는 임의의 양의 실수 a에 대해 1에서 a까지의[3]곡선 y = 1/x아래의 면적(0 < a < 1)으로 정의할 수 있다.자연 로그와 관련된 다른 많은 공식과 일치하는 이 정의의 단순성은 "자연"이라는 용어로 이어집니다.자연 로그의 정의는 음수 및 0이 아닌 모든 복소수에 대한 로그 값을 제공하도록 확장될 수 있지만, 이는 다중값 함수로 이어집니다. 자세한 내용은 복소수 로그를 참조하십시오.
자연 로그 함수는 실수 변수의 실수값 함수로 간주되는 경우 지수 함수의 역함수로, 다음과 같은 동일성으로 이어집니다.
로그는 e뿐만 아니라 1 이외의 임의의 양의 기수에 대해 정의할 수 있습니다.그러나 다른 기저의 로그는 자연 로그와 상수 승수로만 다르며, 후자의 관점에서 정의할 수 있습니다.예를 들어, 2진수 로그(이진수 로그라고도 함)는 ln(2)로 나눈 자연 로그, 2의 자연 로그 또는 log(e)로2 곱한 자연 로그와 같습니다.
로그는 미지수가 다른 양의 지수로 나타나는 방정식을 푸는 데 유용합니다.예를 들어, 지수 붕괴 문제에서 반감기, 붕괴 상수 또는 알 수 없는 시간을 해결하는 데 로그가 사용됩니다.그것들은 수학과 과학 분야의 많은 분야에서 중요하며, 복합 관심사와 관련된 문제들을 해결하기 위해 사용된다.
자연 로그의 개념은 1649년 [5]이전에 Gregoire de Saint-Vincent와 Alphonse Antonio de Sarasa에 의해 고안되었다.그들의 연구는 쌍곡 섹터의 면적을 결정함으로써 방정식xy = 1과 쌍곡선의 직교체를 포함했다.그들의 해는 현재 자연 로그와 관련된 특성을 가진 필수 "과잉대수" 함수를 생성했다.
자연 로그의 초기 언급은 니콜라스 [6][7]메르카토르가 1668년에 발표한 그의 저서 로그모테키아에서 나왔지만, 수학 교사 존 스피델은 1619년에 사실상 자연 로그가 무엇이었는지에 대한 표를 이미 작성했다.스피델의 대수는 밑수 e에 해당한다고 알려져 있지만, 이는 [7]: 152 정수로 표현되는 값과의 합병증으로 인해 완전히 사실이 아니다.
표기법
ln x 및elog x 표기법은 모두 x의 자연대수를 명확하게 나타내며, 명시적 밑수가 없는 로그 x도 자연대수를 나타낼 수 있습니다.이러한 용도는 수학, 그리고 여러 프로그래밍[nb 1]언어에서 일부 과학적 맥락과 함께 일반적입니다.그러나 화학과 같은 다른 상황에서는 로그 x를 사용하여 공통(기본값 10) 로그를 나타낼 수 있습니다.컴퓨터 과학의 맥락에서, 특히 시간 복잡성의 맥락에서 이진수(기본값 2) 로그를 참조할 수도 있습니다.
정의들
자연 로그는 여러 가지 동등한 방법으로 정의할 수 있습니다.
지수 역수
일반적인 정의는 e의 역함수로서 ln ) {\ e 입니다. x {\ e }는 임의의 입력 {\w(x)에 대해 정의이므로displaystyle는 정의입니다임의의 양의 x에 대해 정의됩니다.복소수에서는 z { e는 반전할 수 ln ( ){은다중값 함수입니다.따라서 ln )\을 적절한 단일 출력 함수로 위해서는 특정 주요 브랜치( Ln z)\로 표시됨)로 제한해야 합니다.은 z e의 역함수입니다는 e의 일반적인 정의를 반전하여 됩니다
이렇게 하면 다음과 같은 결과가 나옵니다.
따라서 이 정의는 n번째 루트의 주요 분기에서 그 자체의 주요 분기를 도출한다.
적분 정의
a에서 f(x) = 1에서 a까지의1/x 곡선 아래의 음영 영역의 면적.a가 1보다 작을 경우 음으로 간주되는 영역입니다.
쌍곡선 아래의 영역이 로그 규칙을 만족합니다.여기서 A(s,t)는 s와 t 사이의 쌍곡선 아래의 영역을 나타낸다.
양의 실수 a의 자연 로그는 x = 1과 x = a사이의 방정식 y = 1/x와 함께 쌍곡선의 그래프 아래 영역으로 정의될 수 있다.이것이 적분입니다[3].
이는 ln ab를 정의하는 적분을 두 부분으로 분할한 다음, 다음과 같이 두번째 부분에서 변수 치환 x = at (sodx = a dt)로 만들면 알 수 있습니다.
기본 용어로, 이것은 단순히 수평 방향으로 1/a, 수직 방향으로 a씩 스케일링하는 것입니다.이 변환에서는 영역은 변경되지 않지만 a와 ab 사이의 영역은 재설정됩니다.함수 a/(ax)는 함수 1/x와 같기 때문에 결과 면적은 정확히 ln b입니다.
그런 다음 숫자 e는 a = 1인 고유한 실수 a로 정의할 수 있습니다.
특성.
증명
이 문장은 x { x } 에 참입니다.서 x ln( + )displayd ( x)display{ ( + x^ { \ { {。그래서 저희가 보여드리고 싶은 건
(이 진술이 사실임을 아직 증명하지 않았습니다).이것이 사실이라면, 중간 문장에 양의(1+ α) / (1 /\를 곱하고 α {\ xalpha를 빼면 수 있다.
이 문장은 왼쪽이 음수 또는 0이므로 x 1 스타일 x 1)에 대해 거의 동일합니다.0x < { 0 \ x < rec 、 { 1}을 호출하기 때문에 여전히 True입니다.따라서 이 마지막 문장은 참입니다.이 순서를 역순으로 반복하면 모든x에 d ln ( + α ( x ln { ( 1 + x^ { \ )\\ } { } ( x )가이것으로 증명은 완료되었습니다.
또 하나의 증거는 주어진에서 ( + xα) + xalpha (+ x ^{\ })\1+을 관찰하는 것이다.이것은 예를 들어, 표준 불평등에 의해 입증될 수 있다.로그를 취하여 ln ( + ){ + )\x} 를하면 증명은 완료됩니다.
한편, 자연대수가 (자연) 지수함수의 역함수로 정의되면, (x > 0의 경우) 도함수는 로그의 특성과 지수함수의 정의를 사용하여 구할 수 있습니다.( +) /u , \_ 0} )^}의 정의에 따라 지수 함수는 e 0 ( )/ { 로 할 수 있습니다. 파생상품은 제1원칙에서 찾을 수 있다.
또, 다음과 같은 것이 있습니다.
따라서 와 달리 x e의 상수는 차분을 변화시키지 않습니다.
시리즈
ln(1 + x)에 대한 Taylor 다항식은 -1 < x 1 1 범위의 정확한 근사치만 제공합니다.일부 x > 1을 넘어서, 높은 차수의 테일러 다항식은 점점 더 나쁜 근사치이다.
자연 로그는 0으로 정의되어 있지 않기 때문에 많은 기본 함수와 달리 ln () \ ( 자체에는Maclaurin 급수가 없습니다.대신 다른 점 주변의 Taylor 확장을 찾습니다.예를 들어x - 및 x일 \ \ 1}} 0은[8] 다음과 같습니다.
이것은 ln x around 1에 대한 Taylor 시리즈입니다.변수를 변경하면 Mercator 시리즈가 생성됩니다.
x 1 1 및 x - -1에 유효합니다.
그럼에도 불구하고 Leonhard[9]는 xδ -을 하고 이 열을 x = -1에 적용했다. 이는 조화 가 1/(1 - 1)의 (자연) 로그, 즉 무한대의 로그와 같다는 것을 보여주기 위해서이다.오늘날, 더 공식적으로, 사람들은 N에서 잘린 조화 급수가 N의 대수에 가깝고, N이 클 때, 차이가 오일러-마셰로니 상수로 수렴된다는 것을 증명할 수 있다.
오른쪽은 ln(1 + x)과 그 테일러 다항식의 0 주변 그림이다.이러한 근사치는 영역 -1 < x 1 1에서만 함수에 수렴된다. 이 영역 밖에서는 고차 테일러 다항식이 함수에 대해 더 나쁜 근사치로 진화한다.
여기서 x > 1인 ln(x)의 경우 x 값이 1에 가까울수록 1을 중심으로 한 Taylor 시리즈의 수렴 속도가 빨라집니다.로그와 관련된 ID는 이를 이용하기 위해 사용할 수 있습니다.
이러한 기법은 계산기 이전에 수치 표를 참조하고 위와 같은 조작을 수행함으로써 사용되었다.
자연 로그 10
10의 자연 로그는 10의 거듭제곱을 곱한 가수로서, 예를 들어 2.30258509...[12]의 소수 확장을 가지고 있으며, 과학적 표기법으로 표현되는 숫자의 자연 로그를 계산하는 데 역할을 한다.
즉, [1, 10] 범위의 비교적 작은 소수 집합의 대수를 사용하여 매우 크거나 매우 작은 크기의 숫자의 대수를 효과적으로 계산할 수 있습니다.
고정밀
많은 정밀도를 가진 자연 로그를 계산하기 위해, Taylor 급수 접근법은 수렴 속도가 느리기 때문에 효율적이지 않습니다.특히 x가 1에 가까울 경우, 일련의 지수 함수가 더 빨리 수렴되기 때문에 좋은 대안은 핼리방법이나 뉴턴방법을 사용하여 지수 함수를 반전시키는 것입니다.핼리법을 사용하여 exp(y) - x = 0을 구하거나 뉴턴법을 사용하여 exp(y/2) - x expyy/2) = 0을 구하려면, 반복은 다음과 같이 단순화된다.
p비트의 정밀도를 얻을 수 있도록 m을 선택합니다.(대부분의 경우 m의 경우 8의 값으로 충분합니다.)실제로 이 방법을 사용하면 자연대수의 뉴턴 반전을 사용하여 지수함수를 효율적으로 계산할 수 있습니다(ln 2와 θ의 상수는 알려진 몇 가지 빠른 수렴 급수를 사용하여 원하는 정밀도로 미리 계산할 수 있습니다).또는 다음 공식을 사용할 수 있습니다.
윌리엄 Kahan의 제안을에 처음으로 휴렛 패커드 HP-41C 계산기에 1979년(아래"LN1"화면에서 언급), 어떤 계산기, 운영 체제(예를 들어 버클리 유닉스 4.3에서 구현된 기초를 둔다.BSD[16]), 컴퓨터 대수학 시스템과 프로그래밍 언어 특별한 자연 로그의+1function,을 제공하(예 C99[17]에).또는 lnP1 [18][19]또는 log1p라는[17]이름을 사용하여 0에 가까운 인수 x를 함수 ln(1+x)에 전달함으로써 ln(y)[17][18][19]을 반환하는 함수에 y에 가까운 값을 전달하는 대신 ln(1+x)을 반환함으로써 0에 가까운 로그의 보다 정확한 결과를 얻을 수 있습니다.함수 log1p는 부동소수점 산술에서 ln의 Taylor 확장에서 두 번째 항으로 절대항 1이 거의 취소되는 것을 방지합니다.이것에 의해, 인수, 결과, 및 중간 스텝은 모두, 부동 소수점 [18][19]수치로서 가장 정확하게 표현될 수 있는 제로에 가까워집니다.
IEEE 754-2008 표준에서는 base e 외에 2진수 및 10진수 대수에 대해 log(1 + x) 및10log(1 + x)와2 같은 유사한 로그 함수를 1 부근에 정의합니다.
expm1(x) [18][19]= exp(x) - [nb 2]1의 의미를 갖는 "expm1",[17] "expm" 또는 "exp1m"이라는 유사한 역함수도 존재한다.
지수 함수는 임의의 복소수 z에 대해 복소수를 e로z 제공하는 함수로 확장할 수 있습니다. 단순히 x=z 복소의 무한 급수를 사용하십시오.이 지수함수는 보통 로그의 대부분의 속성을 나타내는 복소수 로그를 형성하기 위해 반전될 수 있습니다.관련된 두 가지 어려움이 있습니다. 즉, nox는 e = 0이고x e = 10= e입니다2iπ.곱셈 특성은 모든 복소수 z 및 정수 k에 대해 복소수 함수z e = e에z+2kiπ 여전히 적용되기 때문이다.
따라서 전체 복소 평면에 대해 대수를 정의할 수 없고, 그렇다고 해도 다중값이다.복소수 대수는 임의의 2iµ의 정수 배수를 더하면 "등가" 대수로 바뀔 수 있다.복소수 로그는 절단면에서만 단일 값을 지정할 수 있습니다.예를 들어, ln 나는.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output.sfrac.tion,.mw-parser-output.sfrac .tion{디스플레이:inline-block, vertical-align:-0.5em, font-size:85%;text-align:센터}.mw-parser-output.sfrac.num,.mw-parser-output.sfrac .den{디스플레이:블록, line-height:1em, 마진:00.1em}.mw-parser-output.sfrac .den{border-top:1px 정도씩 생겨나고 있다. 고체}.mw-parser-output .sr-only{국경:0;클립:rect(0,0,0,0), 높이:1px, 마진:-1px, 오버 플로: 숨어 있었다. 패딩:0;위치:절대, 너비:1px}iπ/2 또는 5iπ/2 또는 -3iπ/2 등, 비록i4=1,4ln 나는 될 수 있어 정의된 2iπ, 또는 10iπ 또는 −6iπ, 그리고 기타 등등.
^레온하르트 오일러, Analysisin Infinitorum의 입문.토머스 프리머스부스케, 로잔 1748번지예시 1, 페이지 228; Quoque in: 오페라 옴니아, 시리즈 프리마, 오페라 매스매티카, 볼멘 옥타붐, 튜브너 1922
^RUFFA, Anthony. "A PROCEDURE FOR GENERATING INFINITE SERIES IDENTITIES"(PDF). International Journal of Mathematics and Mathematical Sciences. International Journal of Mathematics and Mathematical Sciences. Retrieved 2022-02-27. (3654페이지, 등식 2.6)
^상세한 증명에 대해서는, 예를 들면 다음을 참조해 주세요.조지 B.토마스 주니어와 로스 L.피니, 미적분과 해석 기하학, 제5판, 애디슨-웨슬리 1979, 섹션 6-5 페이지 305-306.
^Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity (First ed.). Wiley-Interscience. ISBN0-471-83138-7. 225페이지