로그 적분 함수

3. 성질

x^영어 → ∞ 일 때, li(x)^영어는 (''x''/ln ''x'')로 근사한다.^[4] 여기서 O는 점근 표기법을 의미한다.

x^영어가 충분히 클 때, li(x)^영어를 ''x''/ln ''x''로 근사할 수 있으며, 더 정밀한 점근 전개도 가능하다.

:

:

이는 다음과 같은 더 정확한 점근적 거동을 제공한다.

:

이 급수는 발산 급수이며, 유한한 수의 항에서 급수를 잘랐을 때, 그리고 큰 값의 x^영어를 사용할 때만 합리적인 근사이다.

로그 적분 함수는 소수의 밀도를 추정하는 데 사용되며, 소수 정리 등에 등장한다.

:

여기서 π(''x'')는 ''x'' 이하의 소수의 개수를 나타내는 소수 계량 함수이다. Li(''x'')는 수정 로그 적분 함수이며, 오일러의 로그 적분이라고도 불린다.

:

는 적분 영역의 특이점을 회피하며, 보다 더 잘 근사한다.

함수 li(x)^영어와 지수 적분 Ei(x)^영어 사이에는 다음 관계가 성립한다.

:

(단, 인 모든 양의 정수)

4. 급수 표현

로그 적분 함수는 지수 적분 함수 Ei(x)와 다음과 같은 관계를 가진다.^[4]

:li(x)|x|로그 적분 함수^영어 = Ei(ln x)|x|지수 적분 함수^영어

이 식은 x > 0에서 성립한다. 지수 적분 함수를 급수로 표현하면 다음과 같다.

:li (e^t)|e^t|로그 적분 함수^영어 = Ei(t)|t|지수 적분 함수^영어 = } (t ≠ 0)

따라서 로그 적분 함수는 다음과 같이 표현할 수 있다.

:li (x)|x|로그 적분 함수^영어 = Ei(ln x)|ln x|지수 적분 함수^영어 = } (x ≠ 1)

라마누잔이 제시한 더 빠르게 수렴하는 급수는 다음과 같다.^[1]

:li (x)|x|로그 적분 함수^영어 = γ + ln ln x + √x ∑_n=1^∞ {(-1)^n-1 (ln x)ⁿ / n! 2^n-1 ∑_k=0^{⌊ (n-1)/2 ⌋} {1 / (2k+1)^영어|γ + ln ln x + √x ∑n=1부터 ∞까지 {(-1)^n-1 (ln x)ⁿ / n! 2^n-1 ∑k=0부터 ⌊ (n-1)/2 ⌋까지 {1 / (2k+1)}}|오일러-마스케로니 상수 + ln ln x + √x 급수의 합 (n=1 부터 ∞까지) {(-1)^n-1 (ln x)ⁿ / n! 2^n-1 급수의 합 (k=0 부터 ⌊ (n-1)/2 ⌋) {1 / (2k+1)}}}}

여기서 γ ≈ 0.57721 56649 01532...는 오일러-마스케로니 상수이다.

5. 소수와의 관계

로그 적분 함수는 수론에서 매우 중요한데, 어떤 수 이하의 소수 개수를 어림하는 데 쓰이기 때문이다. 소수 정리에 따르면 다음이 성립한다.

:\(\pi(x)\sim\operatorname{li}(x)\)

여기서 \(\pi(x)\)은 소수 계량 함수이다.

작은 \(x\)에 대해서는 \(\operatorname{li}(x)\)가 \(\pi(x)\)보다 항상 약간 더 크지만, 스큐스 수에서 \(\pi(x)\)가 \(\operatorname{li}(x)\)보다 더 커지고, 이후에는 무한히 대소 순서가 바뀐다는 것이 알려져 있다.

리만 가설을 가정하면 다음이 성립한다.^[2]

:\(|\operatorname{li}(x)-\pi(x)| = O(\sqrt{x}\log x)\)

이는 리만 가설과 동치이다.

:\(|\operatorname{li}(x)-\pi(x)| = O(x^{1/2+a})\) (단, \(a>0\)).

작은 \(x\)에 대해, \(\operatorname{li}(x)>\pi(x)\) 이지만, 그 차이는 \(x\)가 증가함에 따라 무한히 많은 횟수로 부호가 바뀌며, 이 현상이 처음 발생하는 지점은 10¹⁹과 1.4×10³¹⁶ 사이 어딘가에 있다.

6. 특수값

함수 li(x)는 하나의 양의 영점을 가지며, 이 영점은 x ≈ 1.45136...에서 발생한다. 이 숫자는 라마누잔-솔드너 상수로 알려져 있다.

li(2) ≈ 1.04516...

이 값은 -(Γ(0, -ln 2) + iπ)이며, 여기서 Γ(a, x)는 불완전 감마 함수이다. 이 값은 함수의 코시 주치로 이해해야 한다.

7. 지수 적분 함수와의 관계

로그 적분 함수는 모든 양의 실수 x ≠ 1에 대해 다음과 같은 적분 표현을 갖는다.

:$\backslash operatorname\{li\}(x)\; =\; \backslash int\_0^x\; \backslash frac\{dt\}\{\backslash ln\; t\}.$

여기서 ln은 자연 로그를 나타낸다. 함수 1/(ln ''t'')는 ''t'' = 1에서 수학적 특이점을 가지며, ''x'' > 1에 대한 적분은 코시 주치로 해석된다.

:$\backslash operatorname\{li\}(x)\; =\; \backslash lim\_\{\backslash varepsilon\; \backslash to\; 0+\}\; \backslash left(\; \backslash int\_0^\{1-\backslash varepsilon\}\; \backslash frac\{dt\}\{\backslash ln\; t\}\; +\; \backslash int\_\{1+\backslash varepsilon\}^x\; \backslash frac\{dt\}\{\backslash ln\; t\}\; \backslash right).$

이 함수는 다음 방정식을 통해 지수 적분 함수 Ei(x)와 관련이 있다.

:$\backslash operatorname\{li\}(x)=\backslash operatorname\{Ei\}(\backslash ln\; x)\; ,\; \backslash ,\backslash !$

이것은 x > 0에 대해 유효하다. 이 항등식은 li(x)의 급수 표현을 다음과 같이 제공한다.

:$\backslash operatorname\{li\}(e^u)\; =\; \backslash operatorname\{Ei\}(u)\; =$

\gamma + \ln |u| + \sum_{n=1}^\infty {u^{n}\over n \cdot n!}

\quad \text{ for } u \ne 0 \; ,

여기서 γ ≈ 0.57721 56649 01532 ...는 오일러-마스케로니 상수이다.

7. 1. 관계식

7. 2. 역함수

참조

_[1] MathWorld Logarithmic Integral
_[2] 서적 Abramowitz and Stegun
_[3] 서적 오일러 상수 감마
_[4] 위키 영문 위키 참조