์ด ๊ณ์ฐ๊ธฐ๋ก ๋ฌด์์ ํ ์ ์๋์
์ด ๋๊ตฌ๋ ๊ฐ x์ ๋ํด ์๋ก ์ฐ๊ด๋ ๋ค ๊ฐ์ง ๊ฐ์ ๊ณ์ฐํฉ๋๋ค. ๋ฐ๋ก ํฉํ ๋ฆฌ์ผ x!, ์ด์ค ํฉํ ๋ฆฌ์ผ x!!, ๊ทธ๋ฆฌ๊ณ ๊ฐ๊ฐ์ ์์ฐ๋ก๊ทธ์ธ ln(x!)์ ln(x!!)์ ๋๋ค. ํจ์(Function) ๋๋กญ๋ค์ด์์ ์ํ๋ ๊ฐ์ ๊ณ ๋ฅด๊ณ , x ๊ฐ์ ์ ๋ ฅํ ๋ค ๊ฒฐ๊ณผ๋ฅผ ํ์ธํ๋ฉด ๋ฉ๋๋ค. ๊ณ์ฐ์ ๋ฌด์ฐจ์์ด๋ฏ๋ก ๋จ์๋ ๋ณํ์ ํ์ํ์ง ์์ต๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
ํจ์(x!, ln(x!), x!!, ln(x!!) ์ค ํ๋)๋ฅผ ์ ํํ๊ณ ๋ณ์ x์ ๊ฐ์ ์ ๋ ฅํ ๋ค ์คํํ์ธ์. ์ ์์ผ ๋ x!์ x!!๋ ์ฐ๋ฆฌ๊ฐ ์ ์๋ ์กฐํฉ๋ก ์ ์ ์๋ฅผ ๋ฐ๋ฆ ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ ์ค์(์ ์๊ฐ ์๋ ๊ฐ)๋ ๋ฐ์๋ค์ด๋๋ฐ, ๊ฐ๋ง ํจ์๋ฅผ ์ฌ์ฉํ๊ธฐ ๋๋ฌธ์ ์๋ฅผ ๋ค์ด \(0.5! = \sqrt{\pi}/2\) ๊ฐ ๋ฉ๋๋ค. ์์ ์ ์๋ ๊ฐ๋ง ํจ์์ ๊ทน(pole)์ ํด๋นํด ํฉํ ๋ฆฌ์ผ์ด ์ ์๋์ง ์์ต๋๋ค.
๊ณต์ ์ค๋ช
ํฉํ ๋ฆฌ์ผ์ ๊ฐ๋ง ํจ์๋ฅผ ํตํด ์ค์๋ก ํ์ฅ๋ฉ๋๋ค. ์ฆ $$x! = \Gamma(x+1)$$์ ๋๋ค. ์ด์ค ํฉํ ๋ฆฌ์ผ์ ํ ์นธ์ฉ ๊ฑด๋๋ฐ๋ฉฐ ๊ณฑํ๋๋ฐ, ์ง์ n์ด๋ฉด \(n\cdot(n-2)\cdot\dots\cdot 2\), ํ์ n์ด๋ฉด \(n\cdot(n-2)\cdot\dots\cdot 1\) ์ด ๋๊ณ , ๊ธฐ๋ณธ๊ฐ์ผ๋ก \(0!! = 1\), \((-1)!! = 1\) ์ ๋๋ค. ๋ชจ๋ ์ค์ x๋ฅผ ์์ฐ๋ฅด๋ ํ๋์ ๋ซํ ํํ๋ ์์ต๋๋ค: $$x!! = 2^{\frac{x}{2}+\frac{1-\cos\pi x}{4}}\,\pi^{\frac{\cos\pi x - 1}{4}}\,\Gamma\!\left(\tfrac{x}{2}+1\right)$$ ์์ฃผ ํฐ ๊ฐ์์๋ ๊ณ์ฐ๊ธฐ๊ฐ ๋ก๊ทธ-๊ฐ๋ง๋ฅผ ์ด์ฉํด ๋ก๊ทธ ๊ณต๊ฐ์์ ์์ ํ๋ฏ๋ก ์ ๋ ์ค๋ฒํ๋ก๊ฐ ๋ฐ์ํ์ง ์์ต๋๋ค: $$\ln(x!) = \operatorname{lgamma}(x+1)$$
์์ ํ์ด
ํจ์ = x!!, x = 6 ์ผ๋ก ์ค์ ํด ๋ณด์ธ์. 6์ ์ด์ค ํฉํ ๋ฆฌ์ผ์ $$6\cdot 4\cdot 2 = 48$$ ์ ๋๋ค. ln(x!!)๋ก ๋ฐ๊พธ๋ฉด \(\ln(48) \approx 3.8712010109\) ์ ๋๋ ค์ค๋๋ค. ๋ง์ฐฌ๊ฐ์ง๋ก x = 5 ์ x!๋ฅผ ์ ์ฉํ๋ฉด $$1\cdot 2\cdot 3\cdot 4\cdot 5 = 120$$ ์ด๊ณ , 5์ ln(x!)๋ \(\ln(120) \approx 4.7874917428\) ์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ ๋ก๊ทธ ๋ฒ์ ์ ์ ๊ณตํ๋์? ํฉํ ๋ฆฌ์ผ์ ๋งค์ฐ ๋น ๋ฅด๊ฒ ์ปค์ ธ์ \(x \approx 1.7\times 10^{308}\) ๊ทผ์ฒ์์ ์ผ๋ฐ์ ์ธ ๋ถ๋์์์ ์ด ์ค๋ฒํ๋ก๋ฉ๋๋ค. ๋ก๊ทธ ์ถ๋ ฅ์ ์ด์ฉํ๋ฉด ์ฒ๋ฌธํ์ ์ผ๋ก ํฐ ๊ฐ๋ ์ ๋ฐํ๊ฒ ๋ค๋ฃฐ ์ ์์ต๋๋ค.
x๊ฐ ์์์ฌ๋ ๋๋์? ๋ค. ์ ์๊ฐ ์๋ x๋ ๊ฐ๋ง ํจ์ ์ผ๋ฐํ๋ฅผ ์ฌ์ฉํ๋ฏ๋ก ์ ์ ๊ฐ๋ค ์ฌ์ด๋ฅผ ๋งค๋๋ฝ๊ฒ ๋ณด๊ฐํด ์ค๋๋ค.
์์ x๋ ์ด๋ป๊ฒ ๋๋์? ์์ ๋น์ ์๋ (๊ฐ๋ง ํจ์๋ฅผ ํตํด) ํ์ฉ๋์ง๋ง, ์์ ์ ์๋ ํฉํ ๋ฆฌ์ผ๊ณผ ์ด์ค ํฉํ ๋ฆฌ์ผ์ด ์ ์๋์ง ์๋ ๊ทน(pole)์ ๋๋ค.