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

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

[a, โˆž) ๊ตฌ๊ฐ„์˜ ์ ๋ถ„๊ฐ’
์ด์ค‘์ง€์ˆ˜(DE) ๊ตฌ์ ๋ฒ•์œผ๋กœ ๊ณ„์‚ฐ๋จ
๊ณ„์‚ฐ ๋ฐฉ๋ฒ• ๋ฐ˜์ง์„  DE ๋ณ€ํ™˜ x = a + exp((pi/2) sinh t)
์ตœ์ข… ์Šคํ… h
์ˆ˜๋ ด ์™„๋ฃŒ No (check convergence / decay)
์‚ฌ๋‹ค๋ฆฌ๊ผด ํ•ฉ์ด ์š”์ฒญํ•œ ์ •๋ฐ€๋„๋กœ ์ˆ˜๋ ดํ•˜์ง€ ๋ชปํ–ˆ์Šต๋‹ˆ๋‹ค. ํ”ผ์ ๋ถ„ํ•จ์ˆ˜๊ฐ€ ๊ฐ์†Œํ•˜์ง€ ์•Š๊ฑฐ๋‚˜(๋ฐœ์‚ฐํ•˜๋Š” ์ ๋ถ„), ์ง„๋™/์ฃผ๊ธฐ์ ์ด๊ฑฐ๋‚˜, ๋‹ค๋ฅธ DE ์‚ฌ์ƒ์ด ํ•„์š”ํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ์ด๋Ÿฌํ•œ ์ž…๋ ฅ์— ๋Œ€ํ•œ ๊ฒฐ๊ณผ๋Š” ์‹ ๋ขฐํ•  ์ˆ˜ ์—†์Šต๋‹ˆ๋‹ค.

์ด ๊ณ„์‚ฐ๊ธฐ๋Š” ๋ฌด์—‡์„ ํ•˜๋‚˜์š”?

์ด ๋„๊ตฌ๋Š” ๋ฐ˜๋ฌดํ•œ ๊ตฌ๊ฐ„์—์„œ์˜ ์ •์ ๋ถ„ \(I = \int_{a}^{\infty} f(x)\,dx\) ๋ฅผ ์ด์ค‘์ง€์ˆ˜(DE) ๊ตฌ์ ๋ฒ• ์ค‘ ๋ฐ˜์ง์„ (half-line)์šฉ ๋ณ€ํ˜• ๊ณต์‹์œผ๋กœ ์ˆ˜์น˜ ๊ณ„์‚ฐํ•ฉ๋‹ˆ๋‹ค. DE ๋ฐฉ๋ฒ•์€ ์ •ํ™•๋„๊ฐ€ ๋งค์šฐ ๋†’์€ ๋ฒ”์šฉ ์ ๋ถ„ ๊ธฐ๋ฒ•์œผ๋กœ, ๋ฌดํ•œ๋Œ€๋กœ ๊ฐˆ์ˆ˜๋ก ๋Œ€์ˆ˜์ (๊ฑฐ๋“ญ์ œ๊ณฑ ํ˜•ํƒœ, ์˜ˆ: \(1/x^{p}\))์œผ๋กœ ๊ฐ์†Œํ•˜๋Š” ํ”ผ์ ๋ถ„ํ•จ์ˆ˜์— ํŠนํžˆ ์ž˜ ๋งž์œผ๋ฉฐ, ํ•˜ํ•œ ๋์  \(x = a\) ๋ถ€๊ทผ์— ์•ฝํ•œ ํŠน์ด์ ์ด ์žˆ์–ด๋„ ์ฒ˜๋ฆฌํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ๋‹จ, ์ฃผ๊ธฐ์ ์ด๊ฑฐ๋‚˜ ์ง„๋™ํ•˜๋Š” ํ”ผ์ ๋ถ„ํ•จ์ˆ˜์—๋Š” ์ ํ•ฉํ•˜์ง€ ์•Š์Šต๋‹ˆ๋‹ค.

a๋ถ€ํ„ฐ ๋ฌดํ•œ๋Œ€๊นŒ์ง€ ๋ฐ˜๋ฌดํ•œ ๊ตฌ๊ฐ„์—์„œ ๊ณก์„  ์•„๋ž˜์˜ ๋„“์ด
๊ณ„์‚ฐ๊ธฐ๋Š” x = a๋ถ€ํ„ฐ ๋ฌดํ•œ๋Œ€๊นŒ์ง€ f(x) ์•„๋ž˜์˜ ๋„“์ด๋ฅผ ๊ณ„์‚ฐํ•ฉ๋‹ˆ๋‹ค.

์‚ฌ์šฉ ๋ฐฉ๋ฒ•

ํ”ผ์ ๋ถ„ํ•จ์ˆ˜ f(x)๋ฅผ ๋ณ€์ˆ˜ x์— ๋Œ€ํ•œ ์ˆ˜์‹์œผ๋กœ ์ž…๋ ฅํ•˜์„ธ์š”(+ - * / ^, ๊ด„ํ˜ธ, ๊ทธ๋ฆฌ๊ณ  sqrt, exp, log, log10, sin, cos, tan, asin, acos, atan, sinh, cosh, tanh, abs ํ•จ์ˆ˜์™€ ์ƒ์ˆ˜ pi, e๋ฅผ ์ง€์›ํ•ฉ๋‹ˆ๋‹ค). ์œ ํ•œํ•œ ํ•˜ํ•œ a๋ฅผ ์ž…๋ ฅํ•˜๊ณ , ํ‘œ์‹œํ•  ์œ ํšจ์ˆซ์ž ์ž๋ฆฟ์ˆ˜๋ฅผ ์„ ํƒํ•œ ๋’ค ์‹คํ–‰ํ•˜์„ธ์š”. ๊ฒฐ๊ณผ๋กœ ์ ๋ถ„์˜ ์ˆ˜์น˜๊ฐ’์ด ์ถœ๋ ฅ๋ฉ๋‹ˆ๋‹ค.

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

๋ฐ˜์ง์„ ์€ ๋ณ€์ˆ˜๋ณ€ํ™˜ \(\phi(t) = \exp\!\left(\tfrac{\pi}{2}\cdot\sinh t\right)\)๋ฅผ ํ†ตํ•ด ์‹ค์ˆ˜ ์ „์ฒด ์ง์„ ์œผ๋กœ ์‚ฌ์ƒ๋ฉ๋‹ˆ๋‹ค. ๋”ฐ๋ผ์„œ \(x = a + \phi(t)\)๋Š” (\(t \to -\infty\)์ผ ๋•Œ) a์—์„œ ์‹œ์ž‘ํ•ด \(+\infty\)๊นŒ์ง€ ํ›‘๊ฒŒ ๋ฉ๋‹ˆ๋‹ค. ๊ทธ ๋„ํ•จ์ˆ˜๋Š” \(\phi^{\prime}(t) = \tfrac{\pi}{2}\cdot\cosh(t)\cdot\exp\!\left(\tfrac{\pi}{2}\cdot\sinh t\right)\)์ž…๋‹ˆ๋‹ค. ๋ณ€ํ™˜๋œ ํ”ผ์ ๋ถ„ํ•จ์ˆ˜ \(g(t) = f(a + \phi(t))\cdot\phi^{\prime}(t)\)๋Š” ์–‘์ชฝ ๋์—์„œ ์ด์ค‘์ง€์ˆ˜์ ์œผ๋กœ ๊ฐ์†Œํ•˜๋ฏ€๋กœ, ๊ท ์ผ ๊ฒฉ์ž ์œ„์—์„œ์˜ ๋‹จ์ˆœ ์‚ฌ๋‹ค๋ฆฌ๊ผด ๊ณต์‹๋งŒ์œผ๋กœ๋„ ๊ฑฐ์˜ ์ตœ์ ์˜ ์ •ํ™•๋„๋ฅผ ์–ป์Šต๋‹ˆ๋‹ค:

$$I \approx h\cdot\sum_{k=-N}^{N} g(kh).$$

์˜ค๋ฒ„ํ”Œ๋กœ๊ฐ€ ๋ฐœ์ƒํ•˜๋Š” ๋…ธ๋“œ(ํฐ t)๋Š” ๊ทธ ์ง€์ ์—์„œ ํ”ผ์ ๋ถ„ํ•จ์ˆ˜๊ฐ€ ์‚ฌ์‹ค์ƒ 0์ด๋ฏ€๋กœ ๊ฑด๋„ˆ๋œ๋‹ˆ๋‹ค.

์‹ค์ˆ˜ ์ง์„ ์„ ๋ฐ˜๋ฌดํ•œ ๊ตฌ๊ฐ„์œผ๋กœ ๋Œ€์‘์‹œํ‚ค๋Š” ์ด์ค‘ ์ง€์ˆ˜ ๋ณ€์ˆ˜ ๋ณ€ํ™˜
DE ๋ณ€ํ™˜์€ ์‹ค์ˆ˜ ์ „์ฒด์˜ t๋ฅผ [a, ๋ฌดํ•œ๋Œ€)์˜ x๋กœ ๋Œ€์‘์‹œ์ผœ ๋…ธ๋“œ๋ฅผ ํšจ์œจ์ ์œผ๋กœ ๋ชจ์๋‹ˆ๋‹ค.

๊ณ„์‚ฐ ์˜ˆ์‹œ

\(f(x) = 1/(1 + x^{3/2})\), \(a = 0\)์ธ ๊ฒฝ์šฐ ์ •ํ™•ํ•œ ๊ฐ’์€ \(\dfrac{4\pi}{3\sqrt{3}} \approx 2.4183991523\) ์ž…๋‹ˆ๋‹ค. \(h = 1/16\)๋กœ ๊ณ„์‚ฐํ•œ DE ํ•ฉ์€ ์ด ๊ฐ’์„ ์†Œ์ˆ˜์  ์—ฌ๋Ÿฌ ์ž๋ฆฌ๊นŒ์ง€ ์žฌํ˜„ํ•ฉ๋‹ˆ๋‹ค. \(t = 0\)์ผ ๋•Œ: \(\phi = 1\), \(x = 1\), \(f = 0.5\), \(\phi^{\prime} = \pi/2 \approx 1.5708\) ์ด๋ฏ€๋กœ \(g \approx 0.7854\) ์ž…๋‹ˆ๋‹ค. ๊ฐ€์ค‘๋œ ๋ชจ๋“  ๋…ธ๋“œ๋ฅผ ํ•ฉํ•˜๋ฉด \(2.41840\)์œผ๋กœ ์ˆ˜๋ ดํ•ฉ๋‹ˆ๋‹ค.

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

์ง€์ˆ˜์ ์œผ๋กœ ๊ฐ์†Œํ•˜๋Š” ํ”ผ์ ๋ถ„ํ•จ์ˆ˜์—๋„ ์“ธ ์ˆ˜ ์žˆ๋‚˜์š”? ์ž‘๋™์€ ํ•˜์ง€๋งŒ, ์ˆœ์ˆ˜ ์ง€์ˆ˜ ๊ฐ์†Œ์˜ ๊ฒฝ์šฐ์—๋Š” ๋‹ค๋ฅธ DE ์‚ฌ์ƒ ๊ณต์‹์ด ๋” ๋น ๋ฅด๊ฒŒ ์ˆ˜๋ ดํ•ฉ๋‹ˆ๋‹ค. ์ด ๋ณ€ํ˜• ๊ณต์‹์€ ๋Œ€์ˆ˜์  ๊ฐ์†Œ๋ฅผ ๊ฒจ๋ƒฅํ•œ ๊ฒƒ์ž…๋‹ˆ๋‹ค.

์ง„๋™ํ•˜๋Š” ํ”ผ์ ๋ถ„ํ•จ์ˆ˜๋Š” ์™œ ์‹คํŒจํ•˜๋‚˜์š”? ๊ฐ์†Œํ•˜์ง€ ์•Š๋Š” ์ง„๋™ ํ•จ์ˆ˜์˜ ์‚ฌ๋‹ค๋ฆฌ๊ผด ํ•ฉ์€ ์ˆ˜๋ ดํ•˜์ง€ ์•Š๊ธฐ ๋•Œ๋ฌธ์—, ๋ฐ˜์ง์„ ์šฉ DE ๊ตฌ์ ๋ฒ•์€ ๊ทธ๋Ÿฐ ๊ฒฝ์šฐ์— ์ ํ•ฉํ•˜์ง€ ์•Š์Šต๋‹ˆ๋‹ค.

์ž๋ฆฟ์ˆ˜ ์„ค์ •์€ ๋ฌด์—‡์„ ๋ฐ”๊พธ๋‚˜์š”? ํ™”๋ฉด์— ํ‘œ์‹œ๋˜๋Š” ๋ฐ˜์˜ฌ๋ฆผ ์ž๋ฆฟ์ˆ˜๋งŒ ๋ฐ”๊ฟ‰๋‹ˆ๋‹ค. ๋‚ด๋ถ€ ๊ณ„์‚ฐ์€ ํ•ญ์ƒ ์™„์ „ํ•œ ๋ฐฐ์ •๋ฐ€๋„(double precision)๋กœ ์ด๋ฃจ์–ด์ง‘๋‹ˆ๋‹ค.

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