MCP рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХрдиреЗрдХреНрдЯ рдХрд░реЗрдВ тЖТ

рдЧрдгрдирд╛ рджрд░реНрдЬ рдХрд░реЗрдВ

рд╕реВрддреНрд░ (рдлреЙрд░реНрдореВрд▓рд╛)

рд╡рд┐рдЬреНрдЮрд╛рдкрди

рдкрд░рд┐рдгрд╛рдо

рд▓рдШреБрдЧрдгрдХреАрдп рд╕рдорд╛рдХрд▓рди рдЯреЗрдмрд▓ рдмрди рдЧрдИ
61
li(x) рдХреА рдкрдВрдХреНрддрд┐рдпрд╛рдБ
li(x) at first x = 2 1.0451637801
рдЕрдВрддрд┐рдо x рдкрд░ li(x) 7.7808255956
рд╡реГрджреНрдзрд┐ (step) 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)\) рд▓рд┐рдЦрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдПрдХ рд╡рд┐рд╢реЗрд╖ рдлрд▓рди рд╣реИ рдЬрд┐рд╕реЗ 0 рд╕реЗ x рддрдХ \(1/\ln(t)\) рдХреЗ рд╕рдорд╛рдХрд▓рди рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдЪреВрдБрдХрд┐ рд╕рдорд╛рдХрд▓реНрдп (integrand) \(t = 1\) рдкрд░ рдПрдХрд╡рдЪрдирддрд╛ (singularity) рд░рдЦрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП \(x > 1\) рдХреЗ рд▓рд┐рдП рдЗрд╕ рд╕рдорд╛рдХрд▓рди рдХреЛ рдХреМрд╢реА рдореБрдЦреНрдп рдорд╛рди (Cauchy principal value) рдХреЗ рд░реВрдк рдореЗрдВ рд▓рд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдпрд╣ рдлрд▓рди рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдХреЗрдВрджреНрд░рдмрд┐рдВрджреБ рд╣реИ: рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рдкреНрд░рдореЗрдп (Prime Number Theorem) рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдЕрднрд╛рдЬреНрдп-рдЧрдгрдирд╛ рдлрд▓рди \(\pi(x)\), \(\operatorname{li}(x)\) рдХреЗ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ (asymptotic) рд╣реЛрддрд╛ рд╣реИ, рдФрд░ \(\operatorname{li}(x)\), x рд╕реЗ рдЫреЛрдЯреА рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреА рдЧрд┐рдирддреА рдХрд╛ рд╕рдмрд╕реЗ рдЕрдЪреНрдЫрд╛ рд╕рд░рд▓ рд╕рдиреНрдирд┐рдХрдЯрди (approximation) рдорд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдСрдлрд╕реЗрдЯ-рд░рд╣рд┐рдд рдкрд░рд┐рднрд╛рд╖рд╛ \(\operatorname{li}(x)\) (рдирд┐рдЪрд▓реА рд╕реАрдорд╛ 0) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ, рдСрдпрд▓рд░реАрдп рд░реВрдк \(\operatorname{Li}(x) = \operatorname{li}(x) - \operatorname{li}(2)\) рдХрд╛ рдирд╣реАрдВред

li(x) рдХрд╛ рд╡рдХреНрд░ x=1 рдХреЗ рдкрд╛рд╕ рд╢реВрдиреНрдп рдХреЛ рдкрд╛рд░ рдХрд░рддрд╛ рдФрд░ рдмрдврд╝рддрд╛ рд╣реБрдЖ, рдЬрд┐рд╕рдореЗрдВ 1/ln t рдХреЗ рдиреАрдЪреЗ рдЫрд╛рдпрд╛рдВрдХрд┐рдд рдХреНрд╖реЗрддреНрд░ рд╣реИ
рд▓рдШреБрдЧрдгрдХреАрдп рд╕рдорд╛рдХрд▓ \(\operatorname{li}(x)\) рдореЗрдВ \(x=1\) рдкрд░ рд╡рд┐рдЪрд┐рддреНрд░рддрд╛ рд╣реЛрддреА рд╣реИ рдФрд░ рдмрдбрд╝реЗ x рдХреЗ рд▓рд┐рдП рдпрд╣ рдзреАрд░реЗ-рдзреАрд░реЗ рдмрдврд╝рддрд╛ рд╣реИред

рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ

рддреАрди рдорд╛рди рджрд░реНрдЬ рдХрд░реЗрдВ: x рдХрд╛ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдорд╛рди, рд╣рд░ рдкрдВрдХреНрддрд┐ рдореЗрдВ рдЬреЛрдбрд╝реА рдЬрд╛рдиреЗ рд╡рд╛рд▓реА рд╡реГрджреНрдзрд┐ (step), рдФрд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ (рдкрдВрдХреНрддрд┐рдпреЛрдВ) рдХреА рд╕рдВрдЦреНрдпрд╛ред рдпрд╣ рдЙрдкрдХрд░рдг рдПрдХ рдРрд╕реА рдЯреЗрдмрд▓ рдмрдирд╛рддрд╛ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдкрдВрдХреНрддрд┐ i рдореЗрдВ $$x = \text{startX} + i \times \text{step}$$ рд╣реЛрддрд╛ рд╣реИ, рдФрд░ рдЙрд╕рдХреЗ рдЕрдиреБрд░реВрдк \(\operatorname{li}(x)\) рдХрд╛ рдорд╛рдиред рд╕рд╛рде рд╣реА \(\operatorname{li}(x)\) рдмрдирд╛рдо x рдХрд╛ рдПрдХ рд░реЗрдЦрд╛ рдЧреНрд░рд╛рдл рднреА рдмрдирддрд╛ рд╣реИред рд╕рд╛рд░реНрдердХ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдкрд░рд┐рдгрд╛рдо рдХреЗ рд▓рд┐рдП рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдорд╛рди 0 рд╕реЗ рдЕрдзрд┐рдХ рдЪреБрдиреЗрдВ; рдЖрдо рдбрд┐рдлрд╝реЙрд▓реНрдЯ рд░реЗрдВрдЬ рд╣реИ \(\text{startX} = 2\), \(\text{step} = 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\) рдкрд░ рдЛрдгрд╛рддреНрдордХ рдЕрдирдВрдд (singularity) рд▓реМрдЯрддрд╛ рд╣реИред

0 рд╕реЗ x рддрдХ 1/ln t рд╡рдХреНрд░ рдХреЗ рдиреАрдЪреЗ рдЫрд╛рдпрд╛рдВрдХрд┐рдд рдХреНрд╖реЗрддреНрд░, рдЬреЛ рд╕рдорд╛рдХрд▓ рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ
\(\operatorname{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\) рд╣реЛрддрд╛ рд╣реИред

рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди

\(x = 1\) рдХреЗ рдкрд╛рд╕ \(\operatorname{li}(x)\) рдХреНрдпреЛрдВ рдЕрд╕реАрдорд┐рдд рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ? рд╕рдорд╛рдХрд▓реНрдп \(1/\ln(t)\), \(t = 1\) рдкрд░ рдПрдХрд╡рдЪрди рд╣реЛрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП \(\operatorname{li}(1) = -\infty\) рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдлрд▓рди рдЙрд╕ рдмрд┐рдВрджреБ рдХреЗ рдЖрд╕рдкрд╛рд╕ рддреЗрдЬрд╝реА рд╕реЗ рдмрджрд▓рддрд╛ рд╣реИред

рдХреНрдпрд╛ рдпрд╣ \(\operatorname{li}(x)\) рд╣реИ рдпрд╛ \(\operatorname{Li}(x)\)? рдпрд╣ рдмрд┐рдирд╛-рдСрдлрд╕реЗрдЯ рд╡рд╛рд▓рд╛ \(\operatorname{li}(x)\) рд╣реИ рдЬрд┐рд╕рдХреА рдирд┐рдЪрд▓реА рд╕реАрдорд╛ 0 рд╣реИред рдСрдлрд╕реЗрдЯ рд╕рдВрд╕реНрдХрд░рдг \(\operatorname{Li}(x)\) рдореЗрдВ рд╕реЗ \(\operatorname{li}(2)\) рдШрдЯрд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред

рдпрджрд┐ рдореЗрд░рд╛ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдорд╛рди 0 рдпрд╛ рдЛрдгрд╛рддреНрдордХ рд╣реЛ рддреЛ рдХреНрдпрд╛ рд╣реЛрдЧрд╛? \(x \le 0\) рдХреЗ рд▓рд┐рдП рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд▓рдШреБрдЧрдгрдХреАрдп рд╕рдорд╛рдХрд▓рди рдкрд░рд┐рднрд╛рд╖рд┐рдд рдирд╣реАрдВ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдРрд╕реА рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП 0 рд▓реМрдЯрд╛рддрд╛ рд╣реИред

рдЕрдВрддрд┐рдо рдЕрдкрдбреЗрдЯ: