рд╣рд╛рдЗрдкрд░рдмреЛрд▓рд┐рдХ рд╕рд╛рдЗрди рдЗрдВрдЯреАрдЧреНрд░рд▓ Shi(x) рдХреНрдпрд╛ рд╣реИ?
рд╣рд╛рдЗрдкрд░рдмреЛрд▓рд┐рдХ рд╕рд╛рдЗрди рдЗрдВрдЯреАрдЧреНрд░рд▓, рдЬрд┐рд╕реЗ Shi(x) рд▓рд┐рдЦрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдПрдХ рд╡рд┐рд╢реЗрд╖ рдлрд▓рди (special function) рд╣реИ рдЬрд┐рд╕реЗ 0 рд╕реЗ x рддрдХ sinh(t)/t рдХреЗ рдирд┐рд╢реНрдЪрд┐рдд рд╕рдорд╛рдХрд▓рди (definite integral) рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдкрд╣рд▓реА рдирдЬрд╝рд░ рдореЗрдВ рд▓рдЧрддрд╛ рд╣реИ рдХрд┐ t = 0 рдкрд░ рдпрд╣ рдлрд▓рди рдЕрд╕реАрдорд┐рдд рд╣реЛ рдЬрд╛рдПрдЧрд╛, рд▓реЗрдХрд┐рди рдпрд╣ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛ (singularity) рд╣рдЯрд╛рдИ рдЬрд╛ рд╕рдХрддреА рд╣реИ: рдЬреИрд╕реЗ-рдЬреИрд╕реЗ t рд╢реВрдиреНрдп рдХреА рдУрд░ рдмрдврд╝рддрд╛ рд╣реИ, sinh(t)/t рдХрд╛ рдорд╛рди 1 рдХреА рдУрд░ рдЬрд╛рддрд╛ рд╣реИред рдЗрд╕реА рдХрд╛рд░рдг Shi(x) рдкреВрд░реА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ рд░реЗрдЦрд╛ рдкрд░ рд╡реИрд╢реНрд▓реЗрд╖рд┐рдХ (analytic) рд░рд╣рддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ \(\operatorname{Shi}(0) = 0\) рд╣реЛрддрд╛ рд╣реИред рдпрд╣ рдПрдХ рд╡рд┐рд╖рдо рдлрд▓рди (odd function) рднреА рд╣реИ, рдпрд╛рдиреА \(\operatorname{Shi}(-x) = -\operatorname{Shi}(x)\)ред
рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЗрдирдкреБрдЯ рдмреЙрдХреНрд╕ рдореЗрдВ рдХреЛрдИ рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ x рдбрд╛рд▓реЗрдВ рдФрд░ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЖрдкрдХреЛ Shi(x) рдХрд╛ рдорд╛рди рджреЗрдЧрд╛ред рдЬрдм x рд╢реВрдиреНрдп рд╕реЗ рдмрдбрд╝рд╛ рд╣реЛрддрд╛ рд╣реИ, рддреЛ рдпрд╣ рд╕рдВрдмрдВрдзрд┐рдд рд╣рд╛рдЗрдкрд░рдмреЛрд▓рд┐рдХ рдХреЛрд╕рд╛рдЗрди рдЗрдВрдЯреАрдЧреНрд░рд▓ Chi(x) рднреА рджрд┐рдЦрд╛рддрд╛ рд╣реИред \(x \le 0\) рдХреЗ рд▓рд┐рдП Chi(x) рдХреЛ рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд (undefined) рдмрддрд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ рдЗрд╕рдореЗрдВ ln(x) рд╢рд╛рдорд┐рд▓ рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдпрд╣ рдПрдХ рд╕рдореНрдорд┐рд╢реНрд░ рд╢рд╛рдЦрд╛ (complex branch) рдореЗрдВ рдЪрд▓рд╛ рдЬрд╛рддрд╛ рд╣реИред рдкрд░рд┐рдгрд╛рдо рдбрдмрд▓-рдкреНрд░рд┐рд╕реАрдЬрд╝рди рдЕрдВрдХрдЧрдгрд┐рдд рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реБрдП рд▓рдЧрднрдЧ рдмрд╛рд░рд╣ рд╕рд╛рд░реНрдердХ рдЕрдВрдХреЛрдВ (significant digits) рддрдХ рджрд┐рдЦрд╛рдП рдЬрд╛рддреЗ рд╣реИрдВред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдпрд╣ рдЯреВрд▓ рдореИрдХреНрд▓реЙрд░рд┐рди рд╢реНрд░реЗрдгреА (Maclaurin series)
$$\operatorname{Shi}(x) = x + \frac{x^{3}}{3\cdot 3!} + \frac{x^{5}}{5\cdot 5!} + \cdots$$рдХрд╛ рдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рд╣рд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ x рдХреЗ рд▓рд┐рдП рдЕрднрд┐рд╕рд░рд┐рдд (converge) рд╣реЛрддреА рд╣реИред рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреЗ рдЕрддрд┐рдкреНрд░рд╡рд╛рд╣ (overflow) рд╕реЗ рдмрдЪрдиреЗ рдХреЗ рд▓рд┐рдП рд╣рд░ рдкрдж рдХреЛ рдкрд┐рдЫрд▓реЗ рдкрдж рд╕реЗ рдХреНрд░рдорд┐рдХ рд░реВрдк рд╕реЗ рдмрдирд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ рдЬрдм рдХреЛрдИ рдирдпрд╛ рдкрдж рдЪрд▓ рд░рд╣реЗ рдХреБрд▓ рдпреЛрдЧ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдирдЧрдгреНрдп рд░реВрдк рд╕реЗ рдЫреЛрдЯрд╛ рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ, рддрдм рдпреЛрдЧ рд░реБрдХ рдЬрд╛рддрд╛ рд╣реИред Chi(x) рдХреА рдЧрдгрдирд╛
$$\operatorname{Chi}(x) = \gamma + \ln(x) + \frac{x^{2}}{2\cdot 2!} + \frac{x^{4}}{4\cdot 4!} + \cdots$$рдХреЗ рд░реВрдк рдореЗрдВ рд╣реЛрддреА рд╣реИ, рдЬрд╣рд╛рдБ \(\gamma\) рдпреВрд▓рд░-рдорд╛рд╢реНрдХреЗрд░реЛрдиреА рд╕реНрдерд┐рд░рд╛рдВрдХ (Euler-Mascheroni constant) рд╣реИ, рдЬрд┐рд╕рдХрд╛ рдорд╛рди рд▓рдЧрднрдЧ 0.5772156649 рд╣реЛрддрд╛ рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
x = 1 рдХреЗ рд▓рд┐рдП: рд╢реНрд░реЗрдгреА рд╕реЗ рдорд┐рд▓рддрд╛ рд╣реИ
$$1 + \frac{1}{18} + \frac{1}{600} + \frac{1}{35280} + \cdots \approx 1.0572508754$$рдЬреНрдЮрд╛рдд рд╕рдВрджрд░реНрдн рдорд╛рди рд╣реИ \(\operatorname{Shi}(1) = 1.0572508753757285\) рдФрд░ \(\operatorname{Chi}(1) = 0.8378669409765007\), рдЬреЛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреЗ рдкрд░рд┐рдгрд╛рдо рд╕реЗ рдмрд┐рд▓реНрдХреБрд▓ рдореЗрд▓ рдЦрд╛рддреЗ рд╣реИрдВред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ Shi(x) рдФрд░ рд╕рд╛рдЗрди рдЗрдВрдЯреАрдЧреНрд░рд▓ Si(x) рдПрдХ рд╣реА рд╣реИрдВ? рдирд╣реАрдВред Si(x) рдореЗрдВ sin(t)/t рдХрд╛ рд╕рдорд╛рдХрд▓рди рд╣реЛрддрд╛ рд╣реИ, рдЬрдмрдХрд┐ Shi(x) рдореЗрдВ рд╣рд╛рдЗрдкрд░рдмреЛрд▓рд┐рдХ sinh(t)/t рдХрд╛ред рдЗрди рджреЛрдиреЛрдВ рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рд╣реИ \(\operatorname{Shi}(x) = -i\cdot\operatorname{Si}(ix)\)ред
x тЙд 0 рдХреЗ рд▓рд┐рдП Chi рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рдХреНрдпреЛрдВ рд╣реИ? Chi(x) рдореЗрдВ ln(x) рд╣реЛрддрд╛ рд╣реИ; рдЛрдгрд╛рддреНрдордХ x рдХреЗ рд▓рд┐рдП рдпрд╣ рд╕рдореНрдорд┐рд╢реНрд░ (complex) рдмрди рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ x = 0 рдкрд░ рдпрд╣ рдЛрдгрд╛рддреНрдордХ рдЕрдирдВрдд (negative infinity) рдХреА рдУрд░ рдЕрдкрд╕рд░рд┐рдд (diverge) рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред
x рдХрд┐рддрдирд╛ рдмрдбрд╝рд╛ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ? рдЪреВрдБрдХрд┐ sinh рд▓рдЧрднрдЧ \(e^{|x|}/2\) рдХреА рджрд░ рд╕реЗ рдмрдврд╝рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдбрдмрд▓ рдкреНрд░рд┐рд╕реАрдЬрд╝рди \(|x| \approx 700\) рдХреЗ рдЖрд╕рдкрд╛рд╕ рдЕрддрд┐рдкреНрд░рд╡рд╛рд╣рд┐рдд (overflow) рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред рдордзреНрдпрдо рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП рдпрд╣ рд╢реНрд░реЗрдгреА рдЕрддреНрдпрдВрдд рд╕рдЯреАрдХ рд░рд╣рддреА рд╣реИред