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

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

Y0(x) Table
-1.081105
first finite value ยท 51 rows computed
x Yv(x)
0.0000 -Infinity
0.2000 -1.0811053
0.4000 -0.6060246
0.6000 -0.3085099
0.8000 -0.0868023
1.0000 0.0882570
1.2000 0.2280835
1.4000 0.3378951
1.6000 0.4204269
1.8000 0.4774317
2.0000 0.5103757
2.2000 0.5207843
2.4000 0.5104147
2.6000 0.4813306
2.8000 0.4359160
3.0000 0.3768500
3.2000 0.3070533
3.4000 0.2296153
3.6000 0.1477100
3.8000 0.0645032
4.0000 -0.0169407
4.2000 -0.0937512
4.4000 -0.1633365
4.6000 -0.2234600
4.8000 -0.2723038
5.0000 -0.3085176
5.2000 -0.3312509
5.4000 -0.3401679
5.6000 -0.3354442
5.8000 -0.3177464
6.0000 -0.2881947
6.2000 -0.2483100
6.4000 -0.1999486
6.6000 -0.1452262
6.8000 -0.0864339
7.0000 -0.0259497
7.2000 0.0338504
7.4000 0.0906809
7.6000 0.1424285
7.8000 0.1872272
8.0000 0.2235215
8.2000 0.2501180
8.4000 0.2662219
8.6000 0.2714577
8.8000 0.2658749
9.0000 0.2499367
9.2000 0.2244937
9.4000 0.1907439
9.6000 0.1501801
9.8000 0.1045271
10.0000 0.0556712

๋ฒ ์…€ Y ํ•จ์ˆ˜ ํ‘œ ๊ณ„์‚ฐ๊ธฐ๋ž€?

์ด ๋„๊ตฌ๋Š” ์ œ2์ข… ๋ฒ ์…€ ํ•จ์ˆ˜๋ฅผ ํ‘œ๋กœ ๊ณ„์‚ฐํ•ฉ๋‹ˆ๋‹ค. ๋ฒ ๋ฒ„(Weber) ํ•จ์ˆ˜ ๋˜๋Š” ๋…ธ์ด๋งŒ(Neumann) ํ•จ์ˆ˜๋ผ๊ณ ๋„ ๋ถˆ๋ฆฌ๋ฉฐ \(Y_{v}(x)\)๋กœ ํ‘œ๊ธฐํ•ฉ๋‹ˆ๋‹ค. ์ด ํ•จ์ˆ˜๋Š” ๋ฒ ์…€ ๋ฏธ๋ถ„๋ฐฉ์ •์‹์˜ ๋‘ ๋ฒˆ์งธ ์„ ํ˜• ๋…๋ฆฝ ํ•ด์ž…๋‹ˆ๋‹ค. ์‹ค์ˆ˜ ์ฐจ์ˆ˜ \(v\)๋ฅผ ๊ณ ์ •ํ•œ ๋’ค, ์‹œ์ž‘๊ฐ’ยท์ฆ๋ถ„ยท์  ๊ฐœ์ˆ˜๋กœ ์ •์˜๋œ ์ผ๋ จ์˜ \(x\) ๊ฐ’์—์„œ \(Y_{v}(x)\)๋ฅผ ๊ณ„์‚ฐํ•˜์—ฌ ์™„์ „ํ•œ ์ˆ˜์น˜ ํ‘œ๋ฅผ ๋งŒ๋“ค์–ด ์ค๋‹ˆ๋‹ค.

x์— ๋Œ€ํ•ด ๊ทธ๋ฆฐ ์ œ2์ข… ๋ฒ ์…€ ํ•จ์ˆ˜ Y0, Y1, Y2์˜ ๊ณก์„ 
์ฐจ์ˆ˜ 0, 1, 2์˜ ์ œ2์ข… ๋ฒ ์…€ ํ•จ์ˆ˜ \(Y_v(x)\). \(x = 0\) ๋ถ€๊ทผ์˜ ํŠน์ด์ ๊ณผ ์ง„๋™ ๊ฐ์‡ ๋ฅผ ๋ณด์—ฌ์คŒ.

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

์ฐจ์ˆ˜ \(v\)(์ •์ˆ˜๊ฐ€ ์•„๋‹ˆ์–ด๋„ ๋˜๊ณ  ์Œ์ˆ˜๋„ ๊ฐ€๋Šฅ), \(x\)์˜ ์‹œ์ž‘๊ฐ’, ์ ๊ณผ ์  ์‚ฌ์ด์˜ ์ฆ๋ถ„(์Šคํ…), ๊ทธ๋ฆฌ๊ณ  ๋ฐ˜๋ณต ํšŸ์ˆ˜(ํ–‰ ์ˆ˜)๋ฅผ ์ž…๋ ฅํ•˜์„ธ์š”. ๊ณ„์‚ฐ๊ธฐ๋Š” \(i = 0\)๋ถ€ํ„ฐ \(\text{pointCount}-1\)๊นŒ์ง€ \(x_i = \text{startX} + i \cdot \text{stepX}\) ๋ฅผ ๋งŒ๋“ค๊ณ  ๊ฐ ๊ฐ’์— ๋Œ€ํ•œ \(Y_{v}(x)\)๋ฅผ ๋‚˜์—ดํ•ฉ๋‹ˆ๋‹ค. ๋‹จ, \(Y_{v}(x)\)๋Š” \(x = 0\)์—์„œ ์Œ์˜ ๋ฌดํ•œ๋Œ€๋กœ ๋ฐœ์‚ฐํ•˜๋ฉฐ \(x > 0\) ์—์„œ๋งŒ ์‹ค์ˆ˜๊ฐ’์„ ๊ฐ€์ง€๋ฏ€๋กœ, \(x \le 0\) ์ธ ํ–‰์€ ์ •์˜๋˜์ง€ ์•Š์Œ(undefined)์œผ๋กœ ํ‘œ์‹œ๋ฉ๋‹ˆ๋‹ค.

๊ณต์‹

์ •์ˆ˜๊ฐ€ ์•„๋‹Œ ์ฐจ์ˆ˜์˜ ๊ฒฝ์šฐ:

$$Y_{\nu}(x) = \frac{J_{\nu}(x)\cos(\nu\pi) - J_{-\nu}(x)}{\sin(\nu\pi)}$$

์ •์ˆ˜ ์ฐจ์ˆ˜ \(n\)์˜ ๊ฒฝ์šฐ์—๋Š” ๊ทนํ•œ์„ ์ทจํ•˜๋ฉด \(J_{n}(x)\cdot\ln(x/2)\) ํ˜•ํƒœ์˜ ๋กœ๊ทธ ํ•ญ, ์œ ํ•œํ•œ ๊ฑฐ๋“ญ์ œ๊ณฑ ๊ธ‰์ˆ˜ ๋ณด์ •ํ•ญ, ๋””๊ฐ๋งˆ(digamma) ๊ธ‰์ˆ˜๋ฅผ ํฌํ•จํ•œ ๋‹ซํžŒ ํ˜•ํƒœ์˜ ์‹์ด ์–ป์–ด์ง‘๋‹ˆ๋‹ค. ์ œ1์ข… ํ•จ์ˆ˜ \(J_{v}(x)\)๋Š” ๊ฑฐ๋“ญ์ œ๊ณฑ ๊ธ‰์ˆ˜๋กœ๋ถ€ํ„ฐ ํ•ฉ์‚ฐํ•˜๋ฉฐ, ๊ฐ๋งˆ ํ•จ์ˆ˜๋Š” ๋ž€์ดˆ์Šค(Lanczos) ๊ทผ์‚ฌ๋กœ ๊ณ„์‚ฐํ•ฉ๋‹ˆ๋‹ค.

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

\(v = 0\), \(\text{startX} = 0\), \(\text{stepX} = 0.2\), \(\text{pointCount} = 51\)๋กœ ์„ค์ •ํ•˜๋ฉด ํ–‰์€ \(x = 0.0\)๋ถ€ํ„ฐ \(10.0\)๊นŒ์ง€ ์ง„ํ–‰๋ฉ๋‹ˆ๋‹ค. \(Y_{0}(0)\)์€ ์ •์˜๋˜์ง€ ์•Š์Œ(\(-\infty\)), \(Y_{0}(0.2) \approx -1.0811\), \(Y_{0}(1.0) \approx 0.0883\), \(Y_{0}(2.0) \approx 0.5104\), \(Y_{0}(10.0) \approx 0.0557\) ์ž…๋‹ˆ๋‹ค. ์ƒ๋‹จ์˜ "์ฒซ ์œ ํ•œ๊ฐ’"์—๋Š” \(-1.0811\)์ด ํ‘œ์‹œ๋ฉ๋‹ˆ๋‹ค.

์ •์˜ ๋ฐ ์šฉ์–ด์ง‘

์ฐจ์ˆ˜ \(\nu\)
๋ฒ ์…€ ํ•จ์ˆ˜ ์กฑ์„ ์ธ๋ฑ์‹ฑํ•˜๋Š” ๋งค๊ฐœ๋ณ€์ˆ˜(order ํ•„๋“œ)์ž…๋‹ˆ๋‹ค. ์ž„์˜์˜ ์‹ค์ˆ˜๊ฐ€ ๋  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ์ •์ˆ˜ ์ฐจ์ˆ˜(0, 1, 2, โ€ฆ)๋Š” ์›ํ†ต ๋Œ€์นญ์„ ๊ฐ€์ง„ ๋ฌผ๋ฆฌ ๋ฌธ์ œ์—์„œ ๊ฐ€์žฅ ์ผ๋ฐ˜์ ์ž…๋‹ˆ๋‹ค. ๋ฐ˜์ •์ˆ˜ ์ฐจ์ˆ˜๋Š” ๊ตฌ ๋ฒ ์…€ ํ•จ์ˆ˜๋ฅผ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.
์ œ2์ข… ๋ฒ ์…€ ํ•จ์ˆ˜ \(Y_\nu(x)\)
์›จ๋ฒ„ ํ•จ์ˆ˜ ๋˜๋Š” ๋…ธ์ด๋งŒ ํ•จ์ˆ˜๋ผ๊ณ ๋„ ํ•ฉ๋‹ˆ๋‹ค(๋•Œ๋•Œ๋กœ \(N_\nu\)๋กœ ํ‘œ๊ธฐ). ์ด๊ฒƒ์€ ์›์ ์—์„œ ๋ฌดํ•œ(ํŠน์ด)์ธ ๋ฒ ์…€ ๋ฐฉ์ •์‹์˜ ํ•ด์ž…๋‹ˆ๋‹ค. ์ •์ˆ˜๊ฐ€ ์•„๋‹Œ \(\nu\)์— ๋Œ€ํ•ด \(Y_\nu(x) = \dfrac{J_\nu(x)\cos(\nu\pi) - J_{-\nu}(x)}{\sin(\nu\pi)}\)๋กœ ์ •์˜๋˜๋ฉฐ, ์ •์ˆ˜ ๊ฒฝ์šฐ๋Š” ๊ทนํ•œ์œผ๋กœ ์–ป์–ด์ง‘๋‹ˆ๋‹ค.
\(J_\nu\) ๋Œ€ \(Y_\nu\)
\(J_\nu(x)\)(์ œ1์ข…)๋Š” \(x=0\)์—์„œ ์œ ํ•œํ•ฉ๋‹ˆ๋‹ค. \(Y_\nu(x)\)(์ œ2์ข…)๋Š” \(x\to 0^+\)์ผ ๋•Œ \(-\infty\)๋กœ ๋ฐœ์‚ฐํ•ฉ๋‹ˆ๋‹ค. ํ•จ๊ป˜ ๊ทธ๋“ค์€ ๋ฒ ์…€ ๋ฐฉ์ •์‹์˜ ์™„์ „ํ•œ ๋…๋ฆฝ ํ•ด์˜ ์Œ์„ ํ˜•์„ฑํ•ฉ๋‹ˆ๋‹ค.
๋ฒ ์…€ ๋ฏธ๋ถ„ ๋ฐฉ์ •์‹
์„ ํ˜• ์ƒ๋ฏธ๋ถ„ ๋ฐฉ์ •์‹ \(x^2 y'' + x y' + (x^2 - \nu^2) y = 0\)์ž…๋‹ˆ๋‹ค. ์ผ๋ฐ˜ํ•ด๋Š” \(y = c_1 J_\nu(x) + c_2 Y_\nu(x)\)์ž…๋‹ˆ๋‹ค.
๊ฐ๋งˆ ํ•จ์ˆ˜ \(\Gamma(z)\)
๊ณ„์Šน์˜ ์—ฐ์† ํ™•์žฅ์œผ๋กœ, \(\Gamma(n+1) = n!\)์ด๋ฉฐ, \(J_\nu\)์™€ \(Y_\nu\)์˜ ๊ธ‰์ˆ˜ ๊ณ„์ˆ˜์— ๋‚˜ํƒ€๋‚ฉ๋‹ˆ๋‹ค.
๋””๊ฐ๋งˆ ํ•จ์ˆ˜ \(\psi(z)\)
๋กœ๊ทธ ๋ฏธ๋ถ„ \(\psi(z) = \Gamma'(z)/\Gamma(z)\)์ž…๋‹ˆ๋‹ค. ์ •์ˆ˜ ์ฐจ์ˆ˜ \(Y_n(x)\)์˜ ๊ธ‰์ˆ˜์— ๋ช…์‹œ์ ์œผ๋กœ ๋‚˜ํƒ€๋‚˜๋ฉฐ, ๋กœ๊ทธ ํ•ญ \(\tfrac{2}{\pi}\ln(x/2)J_n(x)\)๊ณผ ๋””๊ฐ๋งˆ ๊ฐ€์ค‘ ๊ณ„์ˆ˜๋ฅผ ํฌํ•จํ•ฉ๋‹ˆ๋‹ค.
๋ž‘์ดˆ์Šค ๊ทผ์‚ฌ
๋ณต์†Œ์ˆ˜ ๋˜๋Š” ์‹ค์ˆ˜ ์ธ์ž์— ๋Œ€ํ•ด ๊ฐ๋งˆ ํ•จ์ˆ˜ \(\Gamma(z)\)๋ฅผ ๊ณ„์‚ฐํ•˜๋Š” ๋งค์šฐ ์ •ํ™•ํ•œ ์ˆ˜์น˜ ๋ฐฉ๋ฒ•์œผ๋กœ, ๋ฒ ์…€ ํ•จ์ˆ˜ ๋ฃจํ‹ด ๋‚ด์—์„œ ๊ธ‰์ˆ˜ ๊ณ„์ˆ˜๋ฅผ ๊ณ„์‚ฐํ•˜๋Š” ๋ฐ ์ผ๋ฐ˜์ ์œผ๋กœ ์‚ฌ์šฉ๋ฉ๋‹ˆ๋‹ค.
์„ ํ˜•๋…๋ฆฝ ํ•ด
์ฒซ ๋ฒˆ์งธ ํ•ด์˜ ์ƒ์ˆ˜๋ฐฐ๋กœ ํ‘œํ˜„ํ•  ์ˆ˜ ์—†๋Š” ๋‘ ๋ฒˆ์งธ ํ•ด์ž…๋‹ˆ๋‹ค. \(J_\nu\)๋งŒ์œผ๋กœ๋Š” ์›์ ์—์„œ ํŠน์ด์ธ ํ•ด๋ฅผ ๋‚˜ํƒ€๋‚ผ ์ˆ˜ ์—†๊ธฐ ๋•Œ๋ฌธ์—, \(Y_\nu\)๋Š” ์ผ๋ฐ˜ํ•ด์— ํ•„์š”ํ•œ ๋…๋ฆฝ์ ์ธ ๋™๋ฐ˜์ž๋ฅผ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.

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

์™œ ์ฒซ ๋ฒˆ์งธ ํ–‰์ด ์ •์˜๋˜์ง€ ์•Š์Œ์œผ๋กœ ๋‚˜์˜ค๋‚˜์š”? \(Y_{v}(x)\)๋Š” \(x = 0\)์—์„œ ํŠน์ด์ ์„ ๊ฐ€์ง€๋ฉฐ \(-\infty\)๋กœ ๋ฐœ์‚ฐํ•˜๊ธฐ ๋•Œ๋ฌธ์— ๊ทธ ์ง€์ ์—์„œ๋Š” ์œ ํ•œํ•œ ๊ฐ’์ด ์กด์žฌํ•˜์ง€ ์•Š์Šต๋‹ˆ๋‹ค.

์ฐจ์ˆ˜๋ฅผ ์Œ์ˆ˜๋กœ ๋‘˜ ์ˆ˜ ์žˆ๋‚˜์š”? ๋„ค. ์Œ์˜ ์ •์ˆ˜ ์ฐจ์ˆ˜์—๋Š” ๋Œ€์นญ์„ฑ \(Y_{-n}(x) = (-1)^{n}Y_{n}(x)\) ๊ฐ€ ์ ์šฉ๋˜๋ฉฐ, ์Œ์˜ ๋น„์ •์ˆ˜ ์ฐจ์ˆ˜์—๋Š” ์ผ๋ฐ˜ ๊ณต์‹์„ ๊ทธ๋Œ€๋กœ ์‚ฌ์šฉํ•ฉ๋‹ˆ๋‹ค.

์ •ํ™•๋„๋Š” ์–ด๋А ์ •๋„์ธ๊ฐ€์š”? ๊ธ‰์ˆ˜๋Š” ๊ฐ ํ•ญ์ด ๊ธฐ๊ณ„ ํ—ˆ์šฉ์˜ค์ฐจ ์•„๋ž˜๋กœ ๋–จ์–ด์งˆ ๋•Œ๊นŒ์ง€ ํ•ฉ์‚ฐ๋˜๋ฉฐ, ์ ๋‹นํ•œ ํฌ๊ธฐ์˜ \(x\)์— ๋Œ€ํ•ด ์•ฝ 6~7์ž๋ฆฌ์˜ ์œ ํšจ์ˆซ์ž๋ฅผ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.

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