๋ก๊ทธ ์ ๋ถ li(x)๋?
๋ก๊ทธ ์ ๋ถ์ \(\operatorname{li}(x)\)๋ก ํ๊ธฐํ๋ฉฐ, \(1/\ln(t)\)๋ฅผ 0๋ถํฐ \(x\)๊น์ง ์ ๋ถํ ๊ฐ์ผ๋ก ์ ์๋๋ ํน์ ํจ์์ ๋๋ค. ํผ์ ๋ถํจ์๊ฐ \(t = 1\)์์ ํน์ด์ ์ ๊ฐ์ง๋ฏ๋ก, \(x > 1\)์ธ ๊ฒฝ์ฐ ์ด ์ ๋ถ์ ์ฝ์ ์ฃผ๊ฐ(Cauchy principal value)์ผ๋ก ๊ณ์ฐํฉ๋๋ค. \(\operatorname{li}(x)\)๋ ํด์์ ์ ์๋ก ์์ ํต์ฌ์ ์ธ ์ญํ ์ ํฉ๋๋ค. ์์ ์ ๋ฆฌ(Prime Number Theorem)์ ๋ฐ๋ฅด๋ฉด ์์ ๊ณ๋ ํจ์ \(\pi(x)\)๋ \(\operatorname{li}(x)\)์ ์ ๊ทผ์ ์ผ๋ก ์๋ ดํ๋ฉฐ, \(\operatorname{li}(x)\)๋ \(x\) ์ดํ์ ์์ ๊ฐ์๋ฅผ ๊ทผ์ฌํ๋ ๊ฐ์ฅ ๊ฐ๋จํ๋ฉด์๋ ์ ๋ฐํ ํจ์ ์ค ํ๋์ ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ ํํ์ด 0์ธ ์คํ์ ์๋ ์ ์ \(\operatorname{li}(x)\)๋ฅผ ์ฌ์ฉํ๋ฉฐ, ์ค์ผ๋ฌํ ๋ณํ์ธ \(\operatorname{Li}(x) = \operatorname{li}(x) - \operatorname{li}(2)\)๋ ์ฌ์ฉํ์ง ์์ต๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ ๋ฐฉ๋ฒ
์ธ ๊ฐ์ง ๊ฐ์ ์ ๋ ฅํ์ธ์. \(x\)์ ์์๊ฐ, ๊ฐ ํ๋ง๋ค ๋ํด์ง๋ ์ฆ๋ถ(์คํ ), ๊ทธ๋ฆฌ๊ณ ๋ฐ๋ณต ํ์(ํ ์)์ ๋๋ค. ๊ทธ๋ฌ๋ฉด \(i\)๋ฒ์งธ ํ์ $$x = \text{์์๊ฐ} + i \times \text{์คํ }$$ ๊ณผ ๊ทธ์ ๋์ํ๋ \(\operatorname{li}(x)\) ๊ฐ์ด ๋ค์ด ์๋ ํ๊ฐ ๋ง๋ค์ด์ง๋๋ค. ๋ํ \(x\)์ ๋ํ \(\operatorname{li}(x)\)์ ์ ๊ทธ๋ํ๋ ํจ๊ป ์์ฑ๋ฉ๋๋ค. ์๋ฏธ ์๋ ์ค์ ๊ฒฐ๊ณผ๋ฅผ ์ป์ผ๋ ค๋ฉด ์์๊ฐ์ 0๋ณด๋ค ํฌ๊ฒ ์ค์ ํ์ธ์. ์ผ๋ฐ์ ์ผ๋ก ๋ง์ด ์ฐ์ด๋ ๊ธฐ๋ณธ ์ค์ ์ ์์๊ฐ 2, ์คํ 0.2, ๋ฐ๋ณต 61ํ์ด๋ฉฐ, ์ด ๊ฒฝ์ฐ \(x\)๋ 2.0๋ถํฐ 14.0๊น์ง ํ๋ก ๊ณ์ฐ๋ฉ๋๋ค.
๊ณต์ ์ค๋ช
$$\operatorname{li}(x) = \operatorname{Ei}(\ln x)$$ ๋ก ๊ณ์ฐํ๋ฉฐ, ์ฌ๊ธฐ์ \(\operatorname{Ei}\)๋ ์ง์ ์ ๋ถ(exponential integral)์ ๋๋ค. \(\operatorname{Ei}(z)\)๋ ์๋ ดํ๋ ๊ธ์ $$\operatorname{Ei}(z) = \gamma + \ln|z| + \sum_{k=1}^{\infty}\frac{z^{k}}{k\cdot k!}$$ ๋ก ํฉ์ฐ๋๋ฉฐ, \(\gamma = 0.5772156649\ldots\)๋ ์ค์ผ๋ฌโ๋ง์ค์ผ๋ก๋ ์์์ ๋๋ค. ์ด ๊ธ์๋ ๊ฐ ํญ์ด ๋์ ํฉ์ ๋นํด ๋ฌด์ํ ๋งํผ ์์์ง ๋๊น์ง ๋ํด์ง๋๋ค. ๊ฒฝ๊ณ ์กฐ๊ฑด์ ํ์ค ๊ด๋ก๋ฅผ ๋ฐ๋ฆ ๋๋ค. \(x \le 0\)์ด๋ฉด 0์ ๋ฐํํ๊ณ , \(x = 1\)์ด๋ฉด ์์ ๋ฌดํ๋(ํน์ด์ )๋ฅผ ๋ฐํํฉ๋๋ค.
๊ณ์ฐ ์์
\(x = 2\)์ผ ๋, \(z = \ln 2 = 0.6931472\)์ ๋๋ค. \(\gamma + \ln|z| +\) ๊ธ์๋ฅผ ๋ชจ๋ ๋ํ๋ฉด \(\operatorname{Ei}(0.6931472) = 1.0451638\)์ด ๋๋ฏ๋ก $$\operatorname{li}(2) = 1.04516378011749$$ ์ด๋ฉฐ, ์ด๋ ๊ณต๊ฐ๋ ์ฐธ์กฐ๊ฐ๊ณผ ์ผ์นํฉ๋๋ค. \(\operatorname{li}(x)\)์ ์ ์ผํ ์์ ์ค๊ทผ์ \(x = 1.45136923488\)(๋ผ๋ง๋์โ์๋๋ ์์)์ ์์ผ๋ฉฐ, ์ด ์ง์ ์์ \(\operatorname{li}(x) = 0\)์ด ๋ฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ li(x)๋ x = 1 ๊ทผ์ฒ์์ ๋ฐ์ฐํ๋์? ํผ์ ๋ถํจ์ \(1/\ln(t)\)๊ฐ \(t = 1\)์์ ํน์ด์ ์ ๊ฐ์ง๋ฏ๋ก \(\operatorname{li}(1) = -\infty\)์ด๋ฉฐ, ์ด ์ง์ ๋ถ๊ทผ์์ ํจ์๊ฐ ๊ธ๊ฒฉํ๊ฒ ๋ณํฉ๋๋ค.
์ด ํจ์๋ li(x)์ธ๊ฐ์, Li(x)์ธ๊ฐ์? ํํ์ด 0์ธ ์คํ์ ์๋ \(\operatorname{li}(x)\)์ ๋๋ค. ์คํ์ ๋ฒ์ \(\operatorname{Li}(x)\)๋ ์ฌ๊ธฐ์์ \(\operatorname{li}(2)\)๋ฅผ ๋บ ๊ฐ์ ๋๋ค.
์์๊ฐ์ด 0์ด๊ฑฐ๋ ์์์ด๋ฉด ์ด๋ป๊ฒ ๋๋์? \(x \le 0\)์ธ ๊ฒฝ์ฐ ์ค์ ์์ญ์์ ๋ก๊ทธ ์ ๋ถ์ ์ ์๋์ง ์์ผ๋ฏ๋ก, ๊ณ์ฐ๊ธฐ๋ ํด๋น ํ์ 0์ ๋ฐํํฉ๋๋ค.