MCP๋กœ ์—ฐ๊ฒฐ โ†’

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

๊ฐ๋งˆ ํ•จ์ˆ˜ ๊ฐ’
3.32335097044784
ฮ“(a) for a = 3.5
์ธ์ˆ˜ a 3.5
ฮ“(a) 3.32335097044784
๊ณ„์‚ฐ ๋ฐฉ๋ฒ• Lanczos ๊ทผ์‚ฌ (g = 7)

๊ฐ๋งˆ ํ•จ์ˆ˜๋ž€?

๊ฐ๋งˆ ํ•จ์ˆ˜๋Š” \(\Gamma(a)\)๋กœ ํ‘œ๊ธฐํ•˜๋ฉฐ, ํŒฉํ† ๋ฆฌ์–ผ์„ ์‹ค์ˆ˜(๊ทธ๋ฆฌ๊ณ  ๋ณต์†Œ์ˆ˜) ์˜์—ญ๊นŒ์ง€ ์—ฐ์†์ ์œผ๋กœ ํ™•์žฅํ•œ ํ•จ์ˆ˜์ž…๋‹ˆ๋‹ค. ์–‘์˜ ์ •์ˆ˜ n์— ๋Œ€ํ•ด์„œ๋Š” \(\Gamma(n) = (n-1)!\) ์ด ์„ฑ๋ฆฝํ•˜๋ฏ€๋กœ, ์˜ˆ๋ฅผ ๋“ค์–ด \(\Gamma(5) = 4! = 24\) ๊ฐ€ ๋ฉ๋‹ˆ๋‹ค. ์‹ค์ˆ˜๋ถ€๊ฐ€ ์–‘์ˆ˜์ธ ์‹ค์ˆ˜ a์— ๋Œ€ํ•ด์„œ๋Š” ๋‹ค์Œ๊ณผ ๊ฐ™์€ ์ด์ƒ์ ๋ถ„์œผ๋กœ ์ •์˜๋ฉ๋‹ˆ๋‹ค: $$\Gamma\!\left(\text{a}\right) = \int_{0}^{\infty} t^{\,\text{a} - 1}\, e^{-t}\, dt$$ ์ด ๊ณ„์‚ฐ๊ธฐ๋Š” ์ž…๋ ฅํ•œ ์ž„์˜์˜ ์‹ค์ˆ˜ a์— ๋Œ€ํ•ด \(\Gamma(a)\) ๊ฐ’์„ ๋Œ๋ ค์ค๋‹ˆ๋‹ค.

Smooth curve of the Gamma function plotted against the argument a, showing factorial-like growth and poles at non-positive integers
The Gamma function ฮ“(a) extends the factorial to non-integer arguments, with poles at 0 and negative integers.

๊ณ„์‚ฐ๊ธฐ ์‚ฌ์šฉ ๋ฐฉ๋ฒ•

"๋ณ€์ˆ˜ a" ์นธ์— ์‹ค์ˆ˜ ์ธ์ˆ˜ a๋ฅผ ์ž…๋ ฅํ•˜๊ณ , ์†Œ์ˆ˜์  ์•„๋ž˜ ๋ช‡ ์ž๋ฆฌ๊นŒ์ง€ ํ‘œ์‹œํ• ์ง€ ์„ ํƒํ•˜๋ฉด ๋ฉ๋‹ˆ๋‹ค. ํ”ผ์ ๋ถ„ ํ•จ์ˆ˜ \(t^{a-1}e^{-t}\)์™€ ์ ๋ถ„ ๊ตฌ๊ฐ„ 0๋ถ€ํ„ฐ ๋ฌดํ•œ๋Œ€๊นŒ์ง€๋Š” ์ •์˜์— ๋”ฐ๋ผ ๊ณ ์ •๋˜์–ด ์žˆ์œผ๋ฏ€๋กœ, ์‚ฌ์šฉ์ž๋Š” a ๊ฐ’๋งŒ ๋„ฃ์œผ๋ฉด ๋ฉ๋‹ˆ๋‹ค. ๊ณ„์‚ฐ๊ธฐ๋Š” \(\Gamma(a)\)๋ฅผ ์ถœ๋ ฅํ•ฉ๋‹ˆ๋‹ค. ๋งŒ์•ฝ a = 0 ๋˜๋Š” ์Œ์˜ ์ •์ˆ˜๋ฅผ ์ž…๋ ฅํ•˜๋ฉด, ๊ทธ ์ง€์ ์—์„œ ๊ฐ๋งˆ ํ•จ์ˆ˜๊ฐ€ ๊ทน(pole)์„ ๊ฐ€์ง€๋ฏ€๋กœ "์ •์˜๋˜์ง€ ์•Š์Œ"์ด๋ผ๊ณ  ํ‘œ์‹œ๋ฉ๋‹ˆ๋‹ค.

๊ณต์‹ ํ’€์ด

์ด ๊ณ„์‚ฐ๊ธฐ๋Š” ๋งค๋ฒˆ ์ˆ˜์น˜์ ์œผ๋กœ ์ ๋ถ„ํ•˜๋Š” ๋Œ€์‹  Lanczos ๊ทผ์‚ฌ(g = 7, 9๊ฐœ์˜ ๊ณ„์ˆ˜)๋ฅผ ์‚ฌ์šฉํ•ฉ๋‹ˆ๋‹ค. ์ด ๋ฐฉ๋ฒ•์€ ์ ๋ถ„๊ฐ’์„ ์•ฝ 15๊ฐœ์˜ ์œ ํšจ ์ˆซ์ž๊นŒ์ง€ ์žฌํ˜„ํ•ฉ๋‹ˆ๋‹ค. \(a \le 0.5\) ์ธ ๊ฒฝ์šฐ์—๋Š” ๋จผ์ € ๋ฐ˜์‚ฌ ๊ณต์‹ \(\Gamma(a)\cdot\Gamma(1-a) = \pi/\sin(\pi a)\)๋ฅผ ์ ์šฉํ•ฉ๋‹ˆ๋‹ค. ์ด ๊ณต์‹์€ ์ธ์ˆ˜๋ฅผ ์ˆ˜์น˜์ ์œผ๋กœ ์•ˆ์ •์ ์ธ ์˜์—ญ์œผ๋กœ ์˜ฎ๊ฒจ ์ฃผ๋ฉฐ, ์ •์ˆ˜๊ฐ€ ์•„๋‹Œ ์Œ์˜ ์ธ์ˆ˜์—์„œ ๋‚˜ํƒ€๋‚˜๋Š” ์œ ํ•œํ•œ(๋•Œ๋กœ๋Š” ์Œ์ˆ˜์ธ) ๊ฐ’๊นŒ์ง€ ์ •ํ™•ํžˆ ๊ณ„์‚ฐํ•ด ์ค๋‹ˆ๋‹ค.

Shaded area under the curve of the integrand t to the power a minus 1 times e to the minus t from zero to infinity
ฮ“(a) equals the area under the integrand tแตƒโปยนeโปแต— from 0 to infinity.

ํ’€์ด ์˜ˆ์ œ

a = 3.5์ธ ๊ฒฝ์šฐ๋ฅผ ์‚ดํŽด๋ด…์‹œ๋‹ค. ์ ํ™”์‹ \(\Gamma(a) = (a-1)\cdot\Gamma(a-1)\)์„ ์‚ฌ์šฉํ•˜๋ฉด: $$\Gamma(3.5) = 2.5 \cdot 1.5 \cdot 0.5 \cdot \Gamma(0.5) = 1.875 \cdot \sqrt{\pi} = 1.875 \cdot 1.7724538509 \approx 3.3233509704$$ ๊ณ„์‚ฐ๊ธฐ๋„ ๋™์ผํ•œ ๊ฐ’์„ ๋Œ๋ ค์ค๋‹ˆ๋‹ค.

์ž์ฃผ ๋ฌป๋Š” ์งˆ๋ฌธ

\(\Gamma(0)\)์€ ์™œ ์ •์˜๋˜์ง€ ์•Š๋‚˜์š”? ์ ๋ถ„์ด ๋ฐœ์‚ฐํ•˜๋ฉฐ, ์ด ํ•จ์ˆ˜๋Š” 0๊ณผ ๋ชจ๋“  ์Œ์˜ ์ •์ˆ˜์—์„œ ๋‹จ์ˆœ๊ทน(simple pole)์„ ๊ฐ€์ง€๋ฏ€๋กœ ๊ฐ’์ด ๋ฌดํ•œ๋Œ€๊ฐ€ ๋ฉ๋‹ˆ๋‹ค.

\(\Gamma(0.5)\)๋Š” ์–ผ๋งˆ์ธ๊ฐ€์š”? ์ •ํ™•ํžˆ \(\sqrt{\pi} \approx 1.7724538509\) ์ž…๋‹ˆ๋‹ค. ๊ฐ€์šฐ์Šค ์ ๋ถ„๊ณผ ์—ฐ๊ฒฐ๋œ ์œ ๋ช…ํ•œ ๊ฒฐ๊ณผ์ž…๋‹ˆ๋‹ค.

๊ฒฐ๊ณผ๋Š” ์–ผ๋งˆ๋‚˜ ์ •ํ™•ํ•œ๊ฐ€์š”? Lanczos ๊ทผ์‚ฌ๋Š” ์ผ๋ฐ˜์ ์ธ ์ธ์ˆ˜์— ๋Œ€ํ•ด ์•ฝ 15์ž๋ฆฌ๊นŒ์ง€ ์ •ํ™•ํ•˜๋ฉฐ, ๊ฑฐ์˜ ๋ชจ๋“  ์šฉ๋„์—์„œ ์ฐจ๊ณ  ๋„˜์น˜๋Š” ์ •๋ฐ€๋„์ž…๋‹ˆ๋‹ค.

์ตœ์ข… ์—…๋ฐ์ดํŠธ: