๋ฒ ๋ฅด๋์ด ์๋?
๋ฒ ๋ฅด๋์ด ์ \(B_n\)์ ์ํ ๊ณณ๊ณณ์์ ๋ฑ์ฅํ๋ ์ ๋ช ํ ์ ๋ฆฌ์ ์์ด์ ๋๋ค. ์ ์์ ๊ฑฐ๋ญ์ ๊ณฑ ํฉ์ ๋ซํ ํํ๋ก ๋ํ๋ผ ๋, ์ค์ผ๋ฌ-๋งคํด๋ก๋ฆฐ ๊ณต์์์, ๋ฆฌ๋ง ์ ํ ํจ์์ ๊ฐ์์, ๊ทธ๋ฆฌ๊ณ ์ผ๊ฐํจ์์ ์๊ณก์ ํจ์์ ํ ์ผ๋ฌ ๊ธ์์์ ๋น ์ง์์ด ๋ํ๋์ฃ . ์ด ๊ณ์ฐ๊ธฐ๋ ์ฌ๋ฌ๋ถ์ด ์ง์ ํ ์ธ๋ฑ์ค ๋ฒ์์ ๋ํด \(B_n\)์ ์ ์ฒด ํ๋ฅผ ๋ง๋ค์ด, ๊ฐ ๊ฐ์ ์ฝ๋ถ๋ ์ ํํ ๋ถ์(๋ถ์์ ์์ ๋ถ๋ชจ)์ ์์ ๊ทผ์ฟ๊ฐ์ผ๋ก ํจ๊ป ๋ณด์ฌ์ค๋๋ค.
์ฌ์ฉํ๋ ๊ท์ฝ
ํํ ์ฐ์ด๋ ๋ ๊ฐ์ง ๊ท์ฝ์ด ์๋๋ฐ, ์ด ๋์ ์ธ๋ฑ์ค 1์์๋ง ์ฐจ์ด๊ฐ ๋ฉ๋๋ค. ์ด ๋๊ตฌ๋ ์์ฑํจ์ \(x/(e^x - 1)\)์ ๋์ํ๋ "์ 1์ข ๋ฒ ๋ฅด๋์ด ์" ๊ท์ฝ, ์ฆ \(B_1 = -1/2\)๋ฅผ ์ฌ์ฉํฉ๋๋ค. ๋ฐ๋ผ์ \(B_0 = 1\), \(B_1 = -1/2\), \(B_2 = 1/6\), \(B_4 = -1/30\) ์์ผ๋ก ์ด์ด์ง๋๋ค. ๋ํ 1๋ณด๋ค ํฐ ํ์ ์ธ๋ฑ์ค์ ๊ฐ์ ๋ชจ๋ ์ ํํ 0์ ๋๋ค: \(B_3 = B_5 = B_7 = \dots = 0\).
์ฌ์ฉ ๋ฐฉ๋ฒ
์ต์ ์ธ๋ฑ์ค \(n\)(0 ์ด์)๊ณผ ์ต๋ ์ธ๋ฑ์ค \(n\)(100 ์ดํ)์ ์ ๋ ฅํ์ธ์. ๊ทธ๋ค์ ์์ ์ด์ ํ์ํ ์ ํจ์ซ์ ์๋ฆฟ์๋ฅผ ๊ณ ๋ฅด๋ฉด ๋ฉ๋๋ค. ์ด ์๋ฆฟ์๋ ๋จ์ง ํ์์ฉ ์ค์ ์ผ ๋ฟ, ์ ํํ ๋ถ์ ๊ฐ์๋ ์ ํ ์ํฅ์ ์ฃผ์ง ์์ต๋๋ค. ๊ณ์ฐ ๋ฒํผ์ ๋๋ฅด๋ฉด ๋ฒ์ ์์ ์ ์ \(n\)๋ง๋ค ํ ํ์ฉ ๊ฒฐ๊ณผ๊ฐ ๋์ต๋๋ค.
๊ณต์ ์ค๋ช
๊ฐ \(B_n\)์ ์ ํ์์ผ๋ก ๊ณ์ฐํฉ๋๋ค. \(B_0 = 1\)์์ ์ถ๋ฐํ์ฌ, ๋ค์๊ณผ ๊ฐ์ด ๊ตฌํฉ๋๋ค.
$$B_n = -\frac{1}{n+1}\sum_{k=0}^{n-1}\binom{n+1}{k}\,B_k$$๋ชจ๋ ๊ณ์ฐ์ ์์ ์ ๋ฐ๋ ์ ์๋ฅผ ์ด์ฉํ ์ ํํ ์ ๋ฆฌ์ ์ฐ์ฐ์ผ๋ก ์ด๋ฃจ์ด์ง๋ฏ๋ก ๋ถ๋์์์ ์ค๋ฒํ๋ก๊ฐ ๋ฐ์ํ์ง ์์ต๋๋ค. ์ผ๋ฐ์ ์ธ ์คํ๋ ๋์ํธ๋ \(n = 18\) ๋ถ๊ทผ์์ ์ค๋ฅ๊ฐ ๋๊ธฐ ์ฝ์ง๋ง, ์ด ๋๊ตฌ๋ ๊ทธ๋ณด๋ค ํจ์ฌ ํฐ ๊ฐ์์๋ ์ ํํจ์ ์ ์งํฉ๋๋ค.
๊ณ์ฐ ์์
\(n = 2\)์ผ ๋ ์ ํ์์ ์ ์ฉํ๋ฉด ๋ค์๊ณผ ๊ฐ์ด ๋๊ณ ,
$$\sum_{k=0}^{1} \binom{3}{k} B_k = 1\times 1 + 3\times\left(-\tfrac{1}{2}\right) = -\tfrac{1}{2}$$๋ฐ๋ผ์ ๋ค์๊ณผ ๊ฐ์ต๋๋ค.
$$B_2 = -\tfrac{1}{3}\times\left(-\tfrac{1}{2}\right) = \tfrac{1}{6}$$์ฆ ์์๋ก๋ \(0.1666\dots\)์ ๋๋ค. ๊ฐ์ ๋ฐฉ์์ผ๋ก \(B_4 = -1/30\), \(B_6 = 1/42\)๋ฅผ ์ป์ต๋๋ค.
์ฃผ์ ์ฉ์ด ๋ฐ ๊ธฐํธ
- \(B_n\) (๋ฒ ๋ฅด๋์ด ์)
- \(n\)๋ฒ์งธ ํญ์ผ๋ก, ์๋ก ๊ณผ ํด์ํ ์ ๋ฐ์ ๊ฑธ์ณ ๋ํ๋๋ ์ ๋ฆฌ์ ์์ด์ ํญ์ ๋๋ค. ์ฒ์ ๋ช ๊ฐ ๊ฐ(\(B_1=-\tfrac12\) ๊ด๋ก ์ฌ์ฉ)์ \(B_0=1,\ B_1=-\tfrac12,\ B_2=\tfrac16,\ B_3=0,\ B_4=-\tfrac1{30}\)์ ๋๋ค. \(n\ge 3\)์ธ ํ์ ์ง์๋ฅผ ๊ฐ์ง ๋ชจ๋ ๋ฒ ๋ฅด๋์ด ์๋ ์ ํํ \(0\)์ ๋๋ค.
- ์์ฑํจ์ \(\dfrac{x}{e^x-1}\)
- ๋ฉฑ๊ธ์ ์ ๊ฐ๋ฅผ ํตํด ๋ฒ ๋ฅด๋์ด ์๋ฅผ ์ ์ํ๋ ์ง์์์ฑํจ์์ ๋๋ค. $$\frac{x}{e^x-1}=\sum_{n=0}^{\infty} B_n\,\frac{x^n}{n!}.$$ ์ด ๊ธ์์์ \(x^n/n!\)์ ๊ณ์๊ฐ ์ ํํ \(B_n\)์ ๋๋ค. ์ด ๊ด๋ก๋ \(B_1=-\tfrac12\)๋ฅผ ์ฐ์ถํฉ๋๋ค.
- ์ดํญ๊ณ์ \(\binom{n+1}{k}\)
- \(n+1\)๊ฐ ์ค์์ \(k\)๊ฐ๋ฅผ ์ ํํ๋ ๊ฒฝ์ฐ์ ์๋ก, \(\dfrac{(n+1)!}{k!\,(n+1-k)!}\)์ ๊ฐ์ต๋๋ค. ์ด ๊ณ์๋ค์ ํ๋ฅผ ๋ง๋๋ ๋ฐ ์ฌ์ฉ๋๋ ์ ํ์ ๋ด์์ ๊ฐ ์ด์ ๋ฒ ๋ฅด๋์ด ์์ ์ ์ฉ๋๋ ๊ฐ์ค์น์ ๋๋ค.
- ์ ํ์
- ๊ฐ \(B_n\)์ ๋ชจ๋ ๋ ๋ฎ์ ์ง์ ๊ฐ \(B_0,\dots,B_{n-1}\)์ผ๋ก ํํํ๋ ๊ณต์์ ๋๋ค: $$B_n=-\frac{1}{n+1}\sum_{k=0}^{n-1}\binom{n+1}{k}\,B_k.$$ \(B_0=1\)์์ ์์ํ์ฌ ํ ๋ฒ์ ํ๋์ ์ง์์ฉ ์ ์ฒด ์์ด์ ์์ฑํฉ๋๋ค.
- ์ ํํ (๊ธฐ์ฝ) ๋ถ์
- \(B_n\)์ ์ต์ ๊ณต๋ฐฐ์์ธ ์ ์์ ๋น \(p/q\)๋ก ํํํ๋ ๊ฒ์ผ๋ก, \(\gcd(p,q)=1\)์ ๋๋ค. ์๋ฅผ ๋ค์ด \(B_{12}=-\tfrac{691}{2730}\)์ ๋๋ค. ๋ชจ๋ ๋ฒ ๋ฅด๋์ด ์๋ ์ ๋ฆฌ์์ด๋ฏ๋ก, ์ ํํ ๋ถ์๋ ๋ฐ์ฌ๋ฆผ๋ ์์์ ๋ฌ๋ฆฌ ์ ๋ฐ๋๋ฅผ ์์ง ์์ต๋๋ค.
- ๋ ๊ฐ์ง ๊ด๋ก
- ์ ์๋ค์ ๋จ ํ๋์ ํญ \(B_1\)์ ๋ถํธ์์๋ง ๋ค๋ฆ ๋๋ค. ์ฌ๊ธฐ์ ์ฌ์ฉ๋๋ ํ๋ ๊ด๋ก๋ \(B_1=-\tfrac12\)(์์ฑํจ์ \(x/(e^x-1)\)๊ณผ ์ผ์น)๋ฅผ ์ค์ ํฉ๋๋ค. ๋ ์ด์ ์ ๊ด๋ก๋ \(B_1=+\tfrac12\)(์์ฑํจ์ \(x/(1-e^{-x})\)๊ณผ ์ผ์น)๋ฅผ ์ค์ ํฉ๋๋ค. ๋ค๋ฅธ ๋ชจ๋ \(B_n\)์ ๋ ๊ด๋ก์์ ๋์ผํ๋ฏ๋ก, \(B_1\)์ ๊ฐ์ด ๋ช ์๋๋ฉด ๋ชจ๋ ํ๋ ๋ช ํํฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ \(B_1\)์ด \(-1/2\)์ธ๊ฐ์? \(x/(e^x - 1)\) ์์ฑํจ์ ๊ท์ฝ์ ์ฌ์ฉํ๊ธฐ ๋๋ฌธ์ ๋๋ค. ๋ ๋ค๋ฅธ "์ 2์ข " ๊ท์ฝ์์๋ \(B_1 = +1/2\)๋ก ๋์ง๋ง, ๋๋จธ์ง ๊ฐ์ ๋ชจ๋ ๋์ผํฉ๋๋ค.
์ ๋๋ถ๋ถ์ ํ์ ํญ์ด 0์ธ๊ฐ์? ํจ์ \(x/(e^x - 1) + x/2\)๊ฐ ์ฐํจ์์ด๊ธฐ ๋๋ฌธ์, ์ธ๋ฑ์ค๊ฐ 3 ์ด์์ธ ํ์ ๋ฒ ๋ฅด๋์ด ์๋ ๋ชจ๋ 0์ด ๋ ์๋ฐ์ ์์ต๋๋ค.
์ ๋ฐ๋ ์ค์ ์ด ์ ํ๋์ ์ํฅ์ ์ฃผ๋์? ์๋์. ๋ถ์๋ ์ธ์ ๋ ์ ํํ๋ฉฐ, ์ ๋ฐ๋๋ ํ๋ฉด์ ํ์๋๋ ์์์ ๋ฐ์ฌ๋ฆผ ์๋ฆฟ์๋ง ๋ฐ๊ฟ๋๋ค.