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

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

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

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

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

Riemann Zeta Function ╬╢(x)
1.0083492773819223
value of ╬╢(x) at the given real x
╬╢(x) 1.0083492773819223
╬╢(x) - 1 0.0083492773819223

рд░реАрдорд╛рди рдЬрд╝реАрдЯрд╛ рдлрд╝рдВрдХреНрд╢рди рдХреНрдпрд╛ рд╣реИ?

рд░реАрдорд╛рди рдЬрд╝реАрдЯрд╛ рдлрд╝рдВрдХреНрд╢рди рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд (number theory) рдФрд░ рд╡рд┐рд╢реНрд▓реЗрд╖рдг (analysis) рдХреЗ рд╕рдмрд╕реЗ рдЕрд╣рдо рд╡рд┐рд╖рдпреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╣реИред рдЬрдм рд╡рд╛рд╕реНрддрд╡рд┐рдХ рддрд░реНрдХ x рдХрд╛ рдорд╛рди 1 рд╕реЗ рдмрдбрд╝рд╛ рд╣реЛ, рддреЛ рдЗрд╕реЗ рдЗрд╕ рдЕрднрд┐рд╕рд░рдг рд╢реНрд░реЗрдгреА рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ: \(\zeta(x) = 1 + 1/2^x + 1/3^x + 1/4^x + \ldots\), рдпрд╛рдиреА рд╣рд░ рдзрдирд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ рдХреЛ x рдШрд╛рдд рддрдХ рдЙрдард╛рдХрд░ рдЙрд╕рдХреЗ рд╡реНрдпреБрддреНрдХреНрд░рдореЛрдВ (reciprocals) рдХрд╛ рдпреЛрдЧред рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рд╡рд┐рд╕реНрддрд╛рд░ (analytic continuation) рдХреЗ рдЬрд╝рд░рд┐рдпреЗ рдЗрд╕реЗ рд▓рдЧрднрдЧ рд╣рд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ (рдФрд░ рд╕рдореНрдорд┐рд╢реНрд░) рдорд╛рди рддрдХ рдмрдврд╝рд╛рдпрд╛ рдЧрдпрд╛ рд╣реИ тАФ рд╕рд┐рд╡рд╛рдп \(x = 1\) рдХреЗ, рдЬрд╣рд╛рдБ рдЗрд╕рдХрд╛ рдПрдХ рд╕рд╛рдзрд╛рд░рдг рдзреНрд░реБрд╡ (simple pole) рд╣реИ рдФрд░ рдпрд╣ рдЕрдирдВрдд рдХреА рдУрд░ рдЕрдкрд╕рд░рд┐рдд рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред рдпрд╣ рдЯреВрд▓ рдХрд┐рд╕реА рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ x рдХреЗ рд▓рд┐рдП \(\zeta(x)\) рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ; рдпрд╣ рд╕рдореНрдорд┐рд╢реНрд░ (complex) рддрд░реНрдХ рд╕реНрд╡реАрдХрд╛рд░ рдирд╣реАрдВ рдХрд░рддрд╛ред

рд╡рд╛рд╕реНрддрд╡рд┐рдХ x рдХреЗ рд▓рд┐рдП рд░реАрдорд╛рди рдЬрд╝реАрдЯрд╛ рдлрд▓рди рдХрд╛ рд╡рдХреНрд░
рд╡рд╛рд╕реНрддрд╡рд┐рдХ x рдХреЗ рд▓рд┐рдП ╬╢(x) рдХрд╛ рдЧреНрд░рд╛рдлрд╝, рдзреНрд░реБрд╡ x = 1 рдкрд░ рдКрд░реНрдзреНрд╡рд╛рдзрд░ рдЕрдирдВрддрд╕реНрдкрд░реНрд╢реА рдХреЗ рд╕рд╛рдеред

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

рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ x рджрд░реНрдЬ рдХрд░реЗрдВ рдФрд░ рдЪреБрдиреЗрдВ рдХрд┐ рдЖрдк рдХрд┐рддрдиреЗ рдЕрдВрдХ рджрд┐рдЦрд╛рдирд╛ рдЪрд╛рд╣рддреЗ рд╣реИрдВред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЕрд▓рдЧ-рдЕрд▓рдЧ рджреЛ рдорд╛рди рджреЗрддрд╛ рд╣реИ тАФ \(\zeta(x)\) рдФрд░ \(\zeta(x)-1\)ред рджреВрд╕рд░рд╛ рдорд╛рди рджрд░рдЕрд╕рд▓ рд╢реНрд░реЗрдгреА рдХреА рдкреВрдБрдЫ (tail) рд╣реИ, рдпрд╛рдиреА \(\zeta(x)-1 = 1/2^x + 1/3^x + \ldots\), рдЬреЛ x рдХреЗ рдмрдбрд╝реЗ рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП рдмреЗрд╣рдж рдХрд╛рдо рдХрд╛ рд╣реИред рдРрд╕реЗ рдорд╛рдиреЛрдВ рдкрд░ \(\zeta(x)\) рдЗрддрдирд╛ 1 рдХреЗ рдХрд░реАрдм рд╣реЛрддрд╛ рд╣реИ рдХрд┐ рдЧреЛрд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдирддреАрдЬрд╛ рдмрд╕ "1" рджрд┐рдЦрддрд╛ рд╣реИ рдФрд░ рдЕрд╕рд▓реА рдЬрд╛рдирдХрд╛рд░реА рдЗрд╕реА рд╢реЗрд╖рдлрд▓ рдореЗрдВ рдЫрд┐рдкреА рд░рд╣рддреА рд╣реИред

рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛

\(x > 1\) рдХреЗ рд▓рд┐рдП рд╣рдо рд╢реНрд░реЗрдгреА рдХрд╛ рдпреЛрдЧ рдСрдпрд▓рд░-рдореИрдХреНрд▓реЙрд░рд┐рди рддреНрд╡рд░рдг (Euler-Maclaurin acceleration) рдХреЗ рд╕рд╛рде рдХрд░рддреЗ рд╣реИрдВ: рдХреБрдЫ рд╕реНрдкрд╖реНрдЯ рдкрджреЛрдВ рдХреЗ рд╕рд╛рде рдПрдХ рд╕рд╣рдЬ рд╕рдВрд╢реЛрдзрди (smooth correction) рдЬреЛрдбрд╝рдиреЗ рдкрд░ рдмрд╣реБрдд рдЬрд▓реНрджреА рдХрдИ рд╕рд╣реА рдЕрдВрдХ рдорд┐рд▓ рдЬрд╛рддреЗ рд╣реИрдВред \(x < 1\) рдХреЗ рд▓рд┐рдП рд╣рдо рдлрд╝рдВрдХреНрд╢рдирд▓ рд╕рдореАрдХрд░рдг рд▓рдЧрд╛рддреЗ рд╣реИрдВ: $$\zeta(x) = 2^{x}\,\pi^{x-1}\,\sin\!\left(\frac{\pi x}{2}\right)\,\Gamma(1-x)\,\zeta(1-x)$$ рдЬрд╣рд╛рдБ \(1-x > 1\) рд╣реЛрддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП рджрд╛рдИрдВ рдУрд░ рдХрд╛ рдЬрд╝реАрдЯрд╛ рдЙрд╕реА рд╢реНрд░реЗрдгреА рд╕реЗ рдирд┐рдХрд▓ рдЬрд╛рддрд╛ рд╣реИред рдпрд╣рд╛рдБ рд╕рд╛рдЗрди рдЧреБрдгрдХ рдЕрдкрдиреЗ рдЖрдк рддреБрдЪреНрдЫ рд╢реВрдиреНрдп (trivial zeros) \(\zeta(-2) = \zeta(-4) = \ldots = 0\) рджреЗ рджреЗрддрд╛ рд╣реИред

рд╡реНрдпреБрддреНрдХреНрд░рдо рдШрд╛рддреЛрдВ рдХреА рдЕрдирдВрдд рд╢реНрд░реЗрдгреА рдЬреЛ рдЬрд╝реАрдЯрд╛ рдмрдирд╛рддреА рд╣реИ
╬╢(x) рдзрдирд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдХреА x-рд╡реАрдВ рдШрд╛рддреЛрдВ рдХреЗ рд╡реНрдпреБрддреНрдХреНрд░рдореЛрдВ рдХреЗ рдпреЛрдЧ рдХреЗ рд░реВрдк рдореЗрдВред

рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг

\(x = 2\) рдХреЗ рд▓рд┐рдП (рдорд╢рд╣реВрд░ рдмрд╛рд╕реЗрд▓ рд╕рдорд╕реНрдпрд╛) рдпрд╣ рд╢реНрд░реЗрдгреА \(\pi^2/6 = 1.6449340668\ldots\) рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрддреА рд╣реИ, рдЗрд╕рд▓рд┐рдП \(\zeta(2)-1 = 0.6449340668\ldots\)ред рдбрд┐рдлрд╝реЙрд▓реНрдЯ \(x = 7\) рдХреЗ рд▓рд┐рдП, \(\zeta(7) = 1.0083492773\ldots\), рдпрд╛рдиреА \(n = 2\) рд╕реЗ рдЖрдЧреЗ рдХреА рдкреВрд░реА рдкреВрдБрдЫ рдХреЗрд╡рд▓ рд▓рдЧрднрдЧ 0.00835 рд╣реА рдЬреЛрдбрд╝рддреА рд╣реИред \(x = -1\) рдХреЗ рд▓рд┐рдП рдлрд╝рдВрдХреНрд╢рдирд▓ рд╕рдореАрдХрд░рдг рд╡рд╣ рдкреНрд░рд╕рд┐рджреНрдз рдорд╛рди рджреЗрддрд╛ рд╣реИ: \(\zeta(-1) = -1/12\)ред

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

\(\zeta(1)\) рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рдХреНрдпреЛрдВ рд╣реИ? рдпрд╣рд╛рдБ рд╢реНрд░реЗрдгреА рд╣рд░рд╛рддреНрдордХ рд╢реНрд░реЗрдгреА (harmonic series) рдмрди рдЬрд╛рддреА рд╣реИ, рдЬреЛ рдЕрдкрд╕рд░рд┐рдд рд╣реЛрддреА рд╣реИ; \(x = 1\) рдПрдХ рд╕рд╛рдзрд╛рд░рдг рдзреНрд░реБрд╡ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЕрдирдВрдд рд▓реМрдЯрд╛рддрд╛ рд╣реИред

рдХреНрдпрд╛ рдореИрдВ рд╕рдореНрдорд┐рд╢реНрд░ рд╕рдВрдЦреНрдпрд╛рдПрдБ рджрд░реНрдЬ рдХрд░ рд╕рдХрддрд╛ рд╣реВрдБ? рдирд╣реАрдВред рдпрд╣ рдЯреВрд▓ рдХреЗрд╡рд▓ рд╡рд╛рд╕реНрддрд╡рд┐рдХ x рд╕рдВрднрд╛рд▓рддрд╛ рд╣реИред рдЧрд╣рд░рд╛ рд╕рд┐рджреНрдзрд╛рдВрдд (рдФрд░ рд░реАрдорд╛рди рдкрд░рд┐рдХрд▓реНрдкрдирд╛) рд╕рдореНрдорд┐рд╢реНрд░ рддрд▓ (complex plane) рдкрд░ рдмрд╕рддрд╛ рд╣реИред

\(\zeta(x)-1\) рднреА рдХреНрдпреЛрдВ рджрд┐рдЦрд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ? x рдХреЗ рдмрдбрд╝реЗ рдорд╛рдиреЛрдВ рдкрд░ рд╕рд╛рдорд╛рдиреНрдп рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ рдореЗрдВ \(\zeta(x)\) рдЧреЛрд▓ рд╣реЛрдХрд░ 1 рдмрди рдЬрд╛рддрд╛ рд╣реИ, рд▓реЗрдХрд┐рди \(\zeta(x)-1\) рдЙрд╕ рдЫреЛрдЯреЗ рдордЧрд░ рд╕рд╛рд░реНрдердХ рд╢реЗрд╖рдлрд▓ рдХреЛ рджрд┐рдЦрддрд╛ рд░рд╣рдиреЗ рджреЗрддрд╛ рд╣реИред

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