ํ๋ ๋ฌ ์ฝ์ฌ์ธ ์ ๋ถ์ด๋?
ํ๋ ๋ฌ ์ฝ์ฌ์ธ ์ ๋ถ \(C(x)\)๋ 0๋ถํฐ x๊น์ง \(\cos(\pi t^{2}/2)\)๋ฅผ ์ ๋ถํ ๊ฐ์ผ๋ก ์ ์๋๋ ํน์ํจ์์ ๋๋ค. ์ง์ ๋ชจ์๋ฆฌ์์ ์ผ์ด๋๋ ๊ทผ๊ฑฐ๋ฆฌ์ฅ ํ์ ์ ๊ฐ๋ ๋ถํฌ๋ฅผ ๋น๋กฏํด ๊ดํ ์ ๋ฐ, ํ๋ ๋ฌผ๋ฆฌํ, ๊ทธ๋ฆฌ๊ณ ํ ๋ชฉ๊ณตํ์์ ํญ๋๊ฒ ๋ฑ์ฅํฉ๋๋ค. ํนํ ํ ๋ชฉ ๋ถ์ผ์์๋ ์ด์ ๋ฐ์ ํ ํด๋ก์์ด๋(์ค์ผ๋ฌ ๋์ )๊ฐ ํ์ฉ๋๋๋ฐ, ๊ณก๋ฅ ์ด ํธ์ ๊ธธ์ด์ ๋ฐ๋ผ ์ ํ์ผ๋ก ์ฆ๊ฐํ๋ ์ด ๊ณก์ ์ ๊ณ ์๋๋ก๋ ์ฒ ๋์ ์๋งํ ์ํ๊ณก์ (์ ์ด๊ณก์ )์ ์ค๊ณํ๋ ๋ฐ ์ฐ์ ๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ ๋ฐฉ๋ฒ
์ ๋ถ ์ํ x์ ์์์ ์ค์(์์, ์์, 0 ๋ชจ๋ ๊ฐ๋ฅ)๋ฅผ ์ ๋ ฅํ๋ฉด \(C(x)\) ๊ฐ์ด ์ถ๋ ฅ๋ฉ๋๋ค. x ์์ฒด๊ฐ ์์ํ ์์ด๋ฏ๋ก ๊ฒฐ๊ณผ๊ฐ์๋ ๋จ์๊ฐ ์์ต๋๋ค. \(|x|\)๊ฐ ์ปค์ง์๋ก \(C(x)\)๋ ์ง๋ํ๋ฉด์ \(+0.5\)(x๊ฐ ์์ ๋ฌดํ๋๋ก ๊ฐ ๋) ๋๋ \(-0.5\)(x๊ฐ ์์ ๋ฌดํ๋๋ก ๊ฐ ๋)๋ก ์๋ ดํฉ๋๋ค.
๊ณต์๊ณผ ๊ท์ฝ
์ด ๋๊ตฌ๋ ์ฝ์ฌ์ธ ์์ \(\pi/2\) ์ธ์๋ฅผ ๋๋ ์ ๊ทํ(normalized) ๊ท์ฝ์ ์ฌ์ฉํฉ๋๋ค:
$$C(x) = \int_{0}^{x} \cos\!\left(\frac{\pi}{2}\,t^{2}\right) dt$$์ด๋ ๋น์ ๊ทํ ํํ์ธ \(\int \cos(t^{2})\)์๋ ๋ค๋ฆ ๋๋ค. ๋ซํ ํํ์ ํด๊ฐ ์กด์ฌํ์ง ์๊ธฐ ๋๋ฌธ์, ๊ฐ์ x์ ๋ฐ๋ผ ์กฐ๋ฐํด์ง๋ ๊ฒฉ์(๋ถ๋ถ๊ตฌ๊ฐ ์ \(n = \max(1000, \lceil 200\cdot|x| \rceil)\))๋ฅผ ์ฌ์ฉํ ๋ณตํฉ ์ฌํ์จ ๊ณต์์ผ๋ก ๊ตฌํฉ๋๋ค. \(|x|\)๊ฐ ๋งค์ฐ ํฐ ๊ฒฝ์ฐ์๋ ๋ง๋ํ ์์ ์ง๋์ ์ผ์ผ์ด ์ ๋ถํ์ง ์๋๋ก ์ ๊ทผ ์ ๊ฐ(asymptotic expansion)๋ฅผ ์ ์ฉํฉ๋๋ค.
๊ณ์ฐ ์์
x = 1์ผ ๋ \(C(1) = \int_{0}^{1} \cos\!\left(\frac{\pi}{2}\,t^{2}\right) dt\)์ด๋ฉฐ, ์์น ์ ๋ถ ๊ฒฐ๊ณผ ํ์ค๊ฐ \(C(1) \approx 0.7798934004\)๋ฅผ ์ป์ต๋๋ค. x = 0.5์ผ ๋๋ \(C(0.5) \approx 0.4923442275\), x = 0์ผ ๋๋ \(C(0) = 0\)(์ ํ๊ฐ)์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
\(C(x)\)๋ ๊ธฐํจ์์ธ๊ฐ์, ์ฐํจ์์ธ๊ฐ์? ๊ธฐํจ์(odd function)์ ๋๋ค. \(C(-x) = -C(x)\)๊ฐ ์ฑ๋ฆฝํ๋ฏ๋ก, ์์๋ฅผ ์ ๋ ฅํ๋ฉด \(C(|x|)\)์ ๋ถํธ๋ฅผ ๋ค์ง์ ๊ฐ์ด ๋ฐํ๋ฉ๋๋ค.
๋ฌดํ๋์์์ ๊ทนํ์ ์ผ๋ง์ธ๊ฐ์? x๊ฐ ์์ ๋ฌดํ๋๋ก ๊ฐ ๋ \(C(x)\)๋ \(+1/2\)์, ์์ ๋ฌดํ๋๋ก ๊ฐ ๋ \(-1/2\)์ ์๋ ดํฉ๋๋ค.
๊ฒฐ๊ณผ๋ ์ผ๋ง๋ ์ ํํ๊ฐ์? ๋ฐฐ์ ๋ฐ๋(double-precision) ์ฌํ์จ ๋ฐฉ์์ ์ผ๋ฐ์ ์ธ ์ ๋ ฅ๊ฐ์ ๋ํด ์ ๋ขฐํ ์ ์๋ ์ ํจ์ซ์๋ฅผ ์ฝ 10์๋ฆฌ๊น์ง ์ ๊ณตํฉ๋๋ค. ์ง์ ํ 50์๋ฆฌ ์ถ๋ ฅ์ ์ป์ผ๋ ค๋ฉด ์์ ์ ๋ฐ๋ ์ฐ์ฐ์ด ํ์ํฉ๋๋ค.