рд▓рдШреБрдЧрдгрдХреАрдп рд╕рдорд╛рдХрд▓рди 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)\) рдХрд╛ рдирд╣реАрдВред
рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рддреАрди рдорд╛рди рджрд░реНрдЬ рдХрд░реЗрдВ: 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) рд▓реМрдЯрддрд╛ рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
\(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 рд▓реМрдЯрд╛рддрд╛ рд╣реИред