рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рдХрд░рддрд╛ рд╣реИ
рдпрд╣ рд░реАрдорд╛рди рдЬрд╝реАрдЯрд╛ рдлрд╝рдВрдХреНрд╢рди рдЧреНрд░рд╛рдлрд╝ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЪрд░ рд╡рд╛рд▓реЗ рд░реАрдорд╛рди рдЬрд╝реАрдЯрд╛ рдлрд╝рдВрдХреНрд╢рди \(\zeta(x)\) рдХрд╛ рдореВрд▓реНрдпрд╛рдВрдХрди x рдорд╛рдиреЛрдВ рдХреА рдПрдХ рд░реЗрдВрдЬ рдкрд░ рдХрд░рддрд╛ рд╣реИред рд╣рд░ рдмрд┐рдВрджреБ рдХреЗ рд▓рд┐рдП рдпрд╣ \(\zeta(x)\) рдХреЗ рд╕рд╛рде-рд╕рд╛рде рдЦрд┐рд╕рдХрд╛ рд╣реБрдЖ рдорд╛рди \(\zeta(x) - 1\) рднреА рджреЗрддрд╛ рд╣реИред рдпрд╣ рджреВрд╕рд░рд╛ рдорд╛рди рдЗрд╕рд▓рд┐рдП рдЙрдкрдпреЛрдЧреА рд╣реИ рдХреНрдпреЛрдВрдХрд┐ рдмрдбрд╝реЗ рдзрдирд╛рддреНрдордХ x рдХреЗ рд▓рд┐рдП \(\zeta(x)\) 1 рдХреЗ рдмреЗрд╣рдж рдХрд░реАрдм рдкрд╣реБрдБрдЪ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ рддрдм \(\zeta(x) - 1\) рдЗрд╕рдХреА рдШрдЯрддреА рд╣реБрдИ "рдкреВрдБрдЫ" рдХреЛ рдХрд╣реАрдВ рдЕрдзрд┐рдХ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рджрд┐рдЦрд╛рддрд╛ рд╣реИред рдирддреАрдЬрд╛ рдПрдХ рддрд╛рд▓рд┐рдХрд╛ рдХреЗ рд░реВрдк рдореЗрдВ рдЖрддрд╛ рд╣реИ, рдЬреЛ рдЦреБрдж рд╣реА рдЧреНрд░рд╛рдлрд╝ рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдбреЗрдЯрд╛ рдХрд╛ рдХрд╛рдо рдХрд░ рджреЗрддреА рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рддреАрди рд╕рдВрдЦреНрдпрд╛рдПрдБ рджрд░реНрдЬ рдХрд░реЗрдВ: x рдХрд╛ рдЖрд░рдВрднрд┐рдХ рдорд╛рди, рд╣рд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдкрд░ рдЬреЛрдбрд╝реА рдЬрд╛рдиреЗ рд╡рд╛рд▓реА рд╡реГрджреНрдзрд┐ (рд╕реНрдЯреЗрдк), рдФрд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ (рдмрд┐рдВрджреБрдУрдВ) рдХреА рд╕рдВрдЦреНрдпрд╛ред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ \(k = 0, 1, \dots, \text{iterations} - 1\) рдХреЗ рд▓рд┐рдП $$x_k = \text{startX} + k \cdot \text{stepX}$$ рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИ рдФрд░ рд╣рд░ рдорд╛рди рдкрд░ zeta рдХреА рдЧрдгрдирд╛ рдХрд░рддрд╛ рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, startX = -14, step = 0.1 рдФрд░ 131 рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпрд╛рдБ рд▓реЗрдиреЗ рдкрд░ x рдХрд╛ рдорд╛рди -14 рд╕реЗ рдмрдврд╝рддреЗ-рдмрдврд╝рддреЗ -1 рддрдХ рдкрд╣реБрдБрдЪрддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
x > 1 рдХреЗ рд▓рд┐рдП рдпрд╣ рдлрд╝рдВрдХреНрд╢рди рдЕрднрд┐рд╕рд╛рд░реА рдбрд┐рд░рд┐рдХреНрд▓реЗ рд╢реНрд░реЗрдгреА, рдпрд╛рдиреА \(1/n^{x}\) рдХрд╛ рдпреЛрдЧ, рд╣реЛрддрд╛ рд╣реИ: $$\zeta(x) = \sum_{n=1}^{\infty} \frac{1}{n^{x}}$$ рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЗрд╕реЗ рдСрдпрд▓рд░-рдореИрдХреНрд▓реЙрд░рд┐рди рдЯреЗрд▓ рд╕реБрдзрд╛рд░ рд╕реЗ рддреЗрдЬрд╝ рдХрд░рддрд╛ рд╣реИ рддрд╛рдХрд┐ рдХреЗрд╡рд▓ рд▓рдЧрднрдЧ 20 рдкрджреЛрдВ рдХреА рд╣реА рдЬрд╝рд░реВрд░рдд рдкрдбрд╝реЗред рдЬрдм x рдХрд╛ рдорд╛рди 1 рдпрд╛ рдЙрд╕рд╕реЗ рдХрдо рд╣реЛ, рддреЛ рдпрд╣ рдХреНрд░рд┐рдпрд╛рддреНрдордХ рд╕рдореАрдХрд░рдг $$\zeta(x) = 2^{x}\,\pi^{x-1}\,\sin\!\left(\frac{\pi x}{2}\right)\Gamma(1-x)\,\zeta(1-x)$$ рдХрд╛ рдкреНрд░рдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ рдЧрд╛рдорд╛ рдлрд╝рдВрдХреНрд╢рди рдХрд╛ рдореВрд▓реНрдпрд╛рдВрдХрди рд▓реИрдВрдХреНрдЬрд╝реЛрд╕ рд╕рдиреНрдирд┐рдХрдЯрди рд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рд╡рд┐рд╢реЗрд╖ рд╕реНрдерд┐рддрд┐рдпрд╛рдБ: x = 1 рдПрдХ рд╕рд╛рдзрд╛рд░рдг рдзреНрд░реБрд╡ (рдЕрдирдВрдд) рд╣реИ, рдФрд░ рдЛрдгрд╛рддреНрдордХ рд╕рдо рдкреВрд░реНрдгрд╛рдВрдХ (-2, -4, -6, ...) рддреБрдЪреНрдЫ рд╢реВрдиреНрдп (trivial zeros) рд╣реИрдВред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
startX = 2, step = 1, iterations = 4 рд▓реЗрдиреЗ рдкрд░ рдмрд┐рдВрджреБ рдмрдирддреЗ рд╣реИрдВ \(x = 2, 3, 4, 5\)ред рдкрд░рд┐рдгрд╛рдо рд╣реИрдВ $$\zeta(2) = \frac{\pi^2}{6} = 1.6449340668,\quad \zeta(3) = 1.2020569032,$$ $$\zeta(4) = \frac{\pi^4}{90} = 1.0823232337,\quad \zeta(5) = 1.0369277551.$$ рдЗрд╕рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд \(\zeta(x) - 1\) рд╡рд╛рд▓рд╛ рдХреЙрд▓рдо 0.6449340668 рд╕реЗ рд╢реБрд░реВ рд╣реЛрдХрд░ 0 рдХреА рдУрд░ рд╕рд┐рдХреБрдбрд╝рддрд╛ рдЬрд╛рддрд╛ рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
zeta(0) рдХреНрдпрд╛ рд╣реИ? рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рд╡рд┐рд╕реНрддрд╛рд░ (analytic continuation) рд╕реЗ \(\zeta(0) = -\tfrac{1}{2}\) рдорд┐рд▓рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП \(\zeta(0) - 1 = -\tfrac{3}{2}\) рд╣реЛрддрд╛ рд╣реИред
zeta(-1) рдХреНрдпрд╛ рд╣реИ? \(\zeta(-1) = -\tfrac{1}{12}\) рд╣реИ тАФ рдпрд╣реА рд╡рд╣ рдкреНрд░рд╕рд┐рджреНрдз рдирд┐рдпрдорд┐рдд (regularized) рдорд╛рди рд╣реИ рдЬреЛ \(1 + 2 + 3 + \dots\) рд╢реНрд░реЗрдгреА рд╕реЗ рдЬреБрдбрд╝рд╛ рд╣реБрдЖ рд╣реИред
рдЧреНрд░рд╛рдлрд╝ -2, -4, -6 рдкрд░ рдареАрдХ рд╢реВрдиреНрдп рддрдХ рдХреНрдпреЛрдВ рдЧрд┐рд░ рдЬрд╛рддрд╛ рд╣реИ? рдпреЗ рдЬрд╝реАрдЯрд╛ рдлрд╝рдВрдХреНрд╢рди рдХреЗ рддреБрдЪреНрдЫ рд╢реВрдиреНрдп рд╣реИрдВ, рдЬрд╣рд╛рдБ рдХреНрд░рд┐рдпрд╛рддреНрдордХ рд╕рдореАрдХрд░рдг рдореЗрдВ \(\sin(\pi x/2)\) рдХрд╛ рдорд╛рди рд╢реВрдиреНрдп рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред