MCP๋กœ ์—ฐ๊ฒฐ โ†’

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

๋กœ๊ทธ ์ ๋ถ„ ํ‘œ๊ฐ€ ์ƒ์„ฑ๋˜์—ˆ์Šต๋‹ˆ๋‹ค
61
li(x) ํ–‰ ์ˆ˜
li(x) at first x = 2 1.0451637801
๋งˆ์ง€๋ง‰ x์—์„œ์˜ li(x) 7.7808255956
์ฆ๋ถ„(์Šคํ…) 0.2
x li(x)
2 1.045163780
2.2 1.315238277
2.4 1.555670529
2.6 1.774144569
2.8 1.975643343
3 2.163588595
3.2 2.340435501
3.4 2.508008074
3.6 2.667700254
3.8 2.820602553
4 2.967585095
4.2 3.109353940
4.4 3.246490415
4.6 3.379479255
4.8 3.508729195
5 3.634588310
5.2 3.757355650
5.4 3.877290192
5.6 3.994617821
5.8 4.109536844
6 4.222222391
6.2 4.332829965
6.4 4.441498332
6.6 4.548351889
6.8 4.653502627
7 4.757051766
7.2 4.859091126
7.4 4.959704282
7.6 5.058967552
7.8 5.156950827
8 5.253718300
8.2 5.349329078
8.4 5.443837726
8.6 5.537294730
8.8 5.629746904
9 5.721237753
9.2 5.811807780
9.4 5.901494770
9.6 5.990334030
9.8 6.078358612
10 6.165599505
10.2 6.252085806
10.4 6.337844881
10.6 6.422902499
10.8 6.507282963
11 6.591009216
11.2 6.674102950
11.4 6.756584697
11.6 6.838473910
11.8 6.919789044
12 7.000547621
12.2 7.080766300
12.4 7.160460927
12.6 7.239646596
12.8 7.318337695
13 7.396547948
13.2 7.474290462
13.4 7.551577760
13.6 7.628421821
13.8 7.704834106
14 7.780825596

๋กœ๊ทธ ์ ๋ถ„ 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=1 ๋ถ€๊ทผ์—์„œ 0์„ ์ง€๋‚˜ ์ƒ์Šนํ•˜๋Š” li(x) ๊ณก์„ ๊ณผ 1/ln t ์•„๋ž˜ ์Œ์˜ ์˜์—ญ
๋กœ๊ทธ ์ ๋ถ„ li(x)๋Š” x=1์—์„œ ํŠน์ด์ ์„ ๊ฐ€์ง€๋ฉฐ x๊ฐ€ ํด์ˆ˜๋ก ์ฒœ์ฒœํžˆ ์ฆ๊ฐ€ํ•œ๋‹ค.

๊ณ„์‚ฐ๊ธฐ ์‚ฌ์šฉ ๋ฐฉ๋ฒ•

์„ธ ๊ฐ€์ง€ ๊ฐ’์„ ์ž…๋ ฅํ•˜์„ธ์š”. \(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\)์ด๋ฉด ์Œ์˜ ๋ฌดํ•œ๋Œ€(ํŠน์ด์ )๋ฅผ ๋ฐ˜ํ™˜ํ•ฉ๋‹ˆ๋‹ค.

์ ๋ถ„์˜ ์ •์˜๋ฅผ ๋ณด์—ฌ์ฃผ๋Š”, 0์—์„œ x๊นŒ์ง€ ๊ณก์„  1/ln t ์•„๋ž˜์˜ ์Œ์˜ ์˜์—ญ
li(x)๋Š” 0์—์„œ x๊นŒ์ง€ 1/ln t ์•„๋ž˜์˜ ๋ถ€ํ˜ธ ์žˆ๋Š” ๋„“์ด๋‹ค.

๊ณ„์‚ฐ ์˜ˆ์‹œ

\(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์„ ๋ฐ˜ํ™˜ํ•ฉ๋‹ˆ๋‹ค.

์ตœ์ข… ์—…๋ฐ์ดํŠธ: