์๊ณก ์ฌ์ธ ์ ๋ถ Shi(x)๋?
์๊ณก ์ฌ์ธ ์ ๋ถ์ \(\operatorname{Shi}(x)\)๋ก ํ๊ธฐํ๋ฉฐ, 0๋ถํฐ x๊น์ง \(\sinh(t)/t\)๋ฅผ ์ ์ ๋ถํ ๊ฐ์ผ๋ก ์ ์๋๋ ํน์ ํจ์์ ๋๋ค. ํผ์ ๋ถ ํจ์๋ง ๋ณด๋ฉด \(t = 0\)์์ ๋ฐ์ฐํ ๊ฒ์ฒ๋ผ ๋ณด์ด์ง๋ง, ์ค์ ๋ก๋ ๊ทธ ํน์ด์ ์ด ์ ๊ฑฐ ๊ฐ๋ฅํฉ๋๋ค. t๊ฐ 0์ ๊ฐ๊น์์ง์๋ก \(\sinh(t)/t\)๊ฐ 1๋ก ์๋ ดํ๊ธฐ ๋๋ฌธ์ ๋๋ค. ๋๋ถ์ \(\operatorname{Shi}(x)\)๋ ์ค์ ์ ์ฒด์์ ํด์์ ์ด๋ฉฐ, \(\operatorname{Shi}(0) = 0\)์ด๊ณ , \(\operatorname{Shi}(-x) = -\operatorname{Shi}(x)\)๋ฅผ ๋ง์กฑํ๋ ๊ธฐํจ์์ ๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ๋ฒ
์ ๋ ฅ๋์ ์์์ ์ค์ x๋ฅผ ๋ฃ์ผ๋ฉด \(\operatorname{Shi}(x)\) ๊ฐ์ด ๋ฐ๋ก ์ถ๋ ฅ๋ฉ๋๋ค. x๊ฐ 0๋ณด๋ค ํด ๋๋ ๊ด๋ จ ํจ์์ธ ์๊ณก ์ฝ์ฌ์ธ ์ ๋ถ \(\operatorname{Chi}(x)\) ๊ฐ๋ ํจ๊ป ํ์๋ฉ๋๋ค. ๋ฐ๋ฉด \(x \le 0\)์ธ ๊ฒฝ์ฐ์๋ \(\operatorname{Chi}(x)\)์ \(\ln(x)\)๊ฐ ํฌํจ๋์ด ๋ณต์์ ๋ถ๊ธฐ๊ฐ ์๊ธฐ๋ฏ๋ก '์ ์๋์ง ์์'์ผ๋ก ํ์๋ฉ๋๋ค. ๊ฒฐ๊ณผ๋ ๋ฐฐ์ ๋ฐ๋(double precision) ์ฐ์ฐ์ ์ฌ์ฉํด ์ฝ 12์๋ฆฌ ์ ํจ์ซ์๊น์ง ๋ณด์ฌ ์ค๋๋ค.
๊ณต์ ์์ธํ ๋ณด๊ธฐ
์ด ๊ณ์ฐ๊ธฐ๋ ๋ชจ๋ ์ค์ x์ ๋ํด ์๋ ดํ๋ ๋งคํด๋ก๋ฆฐ ๊ธ์ $$\operatorname{Shi}(x) = x + \frac{x^3}{3\cdot 3!} + \frac{x^5}{5\cdot 5!} + \cdots$$ ๋ฅผ ํฉ์ฐํฉ๋๋ค. ๊ฐ ํญ์ ์ง์ ํญ์ผ๋ก๋ถํฐ ์ฐจ๋ก๋๋ก ๊ณ์ฐํด ํฉํ ๋ฆฌ์ผ ์ค๋ฒํ๋ก๋ฅผ ํผํ๋ฉฐ, ์ ํญ์ด ๋์ ํฉ์ ๋นํด ๋ฌด์ํ ๋งํผ ์์์ง๋ฉด ํฉ์ฐ์ ๋ฉ์ถฅ๋๋ค. \(\operatorname{Chi}(x)\)๋ $$\operatorname{Chi}(x) = \gamma + \ln(x) + \frac{x^2}{2\cdot 2!} + \frac{x^4}{4\cdot 4!} + \cdots$$ ๋ก ๊ณ์ฐ๋๋๋ฐ, ์ฌ๊ธฐ์ gamma๋ ์ค์ผ๋ฌ-๋ง์ค์ผ๋ก๋ ์์๋ก ์ฝ \(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)์ ๊ฐ์ ํจ์์ธ๊ฐ์? ์๋๋๋ค. \(\operatorname{Si}(x)\)๋ \(\sin(t)/t\)๋ฅผ ์ ๋ถํ๋ ๋ฐ๋ฉด, \(\operatorname{Shi}(x)\)๋ ์๊ณก ํจ์์ธ \(\sinh(t)/t\)๋ฅผ ์ ๋ถํฉ๋๋ค. ๋ ํจ์๋ \(\operatorname{Shi}(x) = -i\cdot\operatorname{Si}(ix)\) ๊ด๊ณ๋ก ์ฐ๊ฒฐ๋ฉ๋๋ค.
์ x โค 0์์๋ Chi๊ฐ ์ ์๋์ง ์๋์? \(\operatorname{Chi}(x)\)์๋ \(\ln(x)\)๊ฐ ํฌํจ๋์ด ์๋๋ฐ, x๊ฐ ์์์ด๋ฉด ์ด ๊ฐ์ด ๋ณต์์๊ฐ ๋๊ณ , \(x = 0\)์์๋ ์์ ๋ฌดํ๋๋ก ๋ฐ์ฐํ๊ธฐ ๋๋ฌธ์ ๋๋ค.
x๋ ์ผ๋ง๋ ํฌ๊ฒ ๋ฃ์ ์ ์๋์? sinh๋ ๋๋ต \(e^{|x|}/2\) ์ ๋๋ก ๋น ๋ฅด๊ฒ ์ปค์ง๊ธฐ ๋๋ฌธ์, \(|x|\)๊ฐ ์ฝ 700 ๋ถ๊ทผ์ ์ด๋ฅด๋ฉด ๋ฐฐ์ ๋ฐ๋ ์ฐ์ฐ์์ ์ค๋ฒํ๋ก๊ฐ ๋ฐ์ํฉ๋๋ค. ๊ทธ ์ด๋ด์ ์ ๋นํ ๊ฐ์์๋ ๊ธ์๊ฐ ๋งค์ฐ ์ ํํฉ๋๋ค.