|
특수함수 Special Functions |
||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="letter-spacing: -1px" {{{#!wiki style="margin: -5px -1px -11px; word-break: keep-all" |
[math(^\ast)] 특수함수가 아니라 특정 조건을 만족시키는 다항함수이지만, 편의상 이곳에 기술했다. | |
| <colbgcolor=#383B3D> 적분 | 오차함수(error function)( 가우스 함수 · 가우스 적분 함수) · 베타 함수( 불완전 베타 함수) · 감마 함수( 불완전 감마 함수 · 로그 감마 함수) · 타원 적분 · 야코비 타원 함수 · 지수 적분 함수 · 로그 적분 함수 · 삼각 적분 함수 · 쌍곡선 적분 함수 · 프레넬 적분 함수 · 구데르만 함수 | |
| 미분방정식 | 르장드르 함수[math(^\ast)] ( 구면 조화 함수) · 베셀 함수 · 에르미트 함수 · 라게르 함수 · 에어리 함수 | |
| 역함수 | 브링 근호 · 람베르트 W 함수 · 역삼각함수 | |
| 급수 | 제타 함수 · 후르비츠 제타 함수 · 세타 함수 · 초기하함수 · 폴리로그함수 · 폴리감마 함수 · 바이어슈트라스 타원 함수 | |
| 정수론 | 소수 계량 함수 · 소인수 계량 함수 · 뫼비우스 함수 · 최대공약수 · 최소공배수 · 약수 함수 · 오일러 피 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 바쁜 비버 함수 | |
| 기타 | 헤비사이드 계단 함수 · 부호 함수 · 테트레이션( 무한 지수 탑 함수) · 지시함수 · 바닥함수 / 천장함수 · 허수지수함수 · 혹 함수 | |
|
|
| 복소평면에 나타낸 제타 함수 그래프 |
[clearfix]
1. 개요
특수함수의 하나로, [math(\zeta(s))]로 표기한다. 리만 가설을 비롯한 여러 해석적 정수론 분야에서 핵심적인 주제인 제타 함수는 다음과 같이 정의된다.[math(\displaystyle \zeta(s) \overset{\rm def}= \sum_{n=1}^\infty \frac1{n^s} = \int_1^\infty \frac1{n^s} \,{\rm d} \lfloor n \rfloor )][1]
(단, [math(\operatorname{Re}(s) > 1)])[2]
형태에서 보듯 기본적인 반비례 관계를 멱급수로 변형한 것이다. 이렇다보니 수학자마다 자기 나름대로 마개조를 해서 만든 엄청난 양의 바리에이션이 있다. 왠지 필수요소 같은 느낌이다. 정의역을 복소수로 확장한 리만 제타 함수( 리만 가설에서 나오는 그 리만 제타 함수다!)도 그 중 하나.
한편, 다음과 같이 합이 아닌 곱의 꼴로도 정의가 가능한데 레온하르트 오일러가 유도했다. 이를 '오일러 곱'이라고 한다. 증명은 성질 문단에 있다. ([math(\mathbb{P})]는 소수 집합)
[math(\displaystyle \zeta(s) = \prod_{p\,\in\,\mathbb{P}}^\infty \frac{p^s}{p^s-1} )]
특히 이 식은 겉보기에는 전혀 소수와 관련이 없어 보이는 제타 함수가 실제로는 소수와 밀접한 관계가 있음을 보여주는 식으로, 베른하르트 리만의 리만 가설 논문의 출발점이 되었다. 존 더비셔의 책 <리만 가설>에서는 '오일러의 황금 열쇠'라고 표현하기까지 했다. 이 식은 잘 알려진 에라토스테네스의 체로부터 직관적으로 이해될 수 있다.
2. 정의역 확장
2.1. 해석적 연속
[math({\rm Re}(s)>1)]인 [math(s\in\mathbb C)]에 대해 [math(f(x) = \dfrac1{x^s})]이라고 정의하자. 이 함수를 [math(n)]차까지 미분하면 아래와 같다.|
[math(\displaystyle \begin{aligned}
f(x) &= x^{-s} = \frac1{x^s} \\ f'(x) &= -sx^{-s-1} = -s \frac1{x^{s+1}} \\ f''(x) &= s(s+1)x^{-s-2} = s(s+1) \frac1{x^{s+2}} \\ f'''(x) &= -s(s+1)(s+2)x^{-s-3} = -s(s+1)(s+2) \frac1{x^{s+3}} \\ &\,\,\,\vdots \\ f^{(n)}(x) &= (-1)^n s(s+1)\cdots(s+n-1)x^{-s-n} = (-1)^n s(s+1)\cdots(s+n-1) \frac1{x^{s+n}} \end{aligned} )] |
|
[math(\displaystyle \begin{aligned}
\sum_{k=m}^{n-1} f(k) =& \int_m^n f(x) \,{\rm d}x +\sum_{r=1}^p \frac{B_r}{r!} ( f^{(r-1)}(n)-f^{(r-1)}(m) ) +\frac{(-1)^{p+1}}{p!} \int_m^n B_p(x-\lfloor x\rfloor) f^{(p)}(x) \,{\rm d}x \\ \Rightarrow \sum_{k=1}^{n-1} \frac1{k^s} +\frac1{n^s} =& \,\frac1{n^s} +\int_1^n \frac{{\rm d}x}{x^s} +\sum_{r=1}^p \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \biggl( \frac1{n^{s+r-1}}-1 \biggr) \\ &+\frac{(-1)^{p+1}}{p!} \int_1^n B_p(x-\lfloor x\rfloor) (-1)^p s(s+1)\cdots(s+p-1) \frac{{\rm d}x}{x^{s+p}} \\ \therefore \sum_{k=1}^n \frac1{k^s} =& \,\frac1{n^s} +\frac{n^{1-s}}{1-s} -\frac1{1-s} +\sum_{r=1}^p \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \biggl( \frac1{n^{s+r-1}}-1 \biggr) \\ &-\frac1{p!} \int_1^n B_p(x-\lfloor x\rfloor) s(s+1)\cdots(s+p-1) \frac{{\rm d}x}{x^{s+p}} \end{aligned} )] |
여기서, 위 식에서 [math(B_p(x))]는 베르누이 다항식으로, [math(x)]의 [math(p)]차 다항식이다. 따라서 [math(B_p(x-\lfloor x\rfloor))]는 유계이다. 여기에 상수 [math(|s(s+1)\cdots(s+p-1)|)]가 곱해져도 마찬가지로 유계이므로, [math(| B_p(x-\lfloor x\rfloor) s(s+1)\cdots(s+p-1) | \le M)]인 양수 [math(M)]이 존재한다. 따라서 위 식의 맨 마지막 적분도 다음과 같이 유계이다.[3]
|
[math(\displaystyle \begin{aligned}
&\biggl| \int_1^n B_p(x-\lfloor x\rfloor) s(s+1)\cdots(s+p-1) \frac{{\rm d}x}{x^{s+p}} \biggr| \\ \le &\int_1^n | B_p (x-\lfloor x\rfloor) s(s+1)\cdots(s+p-1) | \frac{{\rm d}x}{|x^{s+p}|} \\ \le &\int_1^n M \frac{{\rm d}x}{|x^{s+p}|} = M \int_1^n \frac{{\rm d}x}{|x^{{\rm Re}(s)+p}|} \end{aligned} )] |
|
[math(\displaystyle
\int_1^\infty B_p(x-\lfloor x\rfloor) s(s+1)\cdots(s+p-1) \frac{{\rm d}x}{x^{s+p}} )] |
[math({\rm Re}(s)>1)]에 대해 성립하는 위의 급수 표현식을 다시 쓰자.
|
[math(\displaystyle \begin{aligned}
\sum_{k=1}^n \frac1{k^s} =& \,\frac1{n^s} +\frac{n^{1-s}}{1-s} -\frac1{1-s} +\sum_{r=1}^p \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \biggl( \frac1{n^{s+r-1}}-1 \biggr) \\ & \quad\:\, -\frac1{p!} \int_1^n B_p(x-\lfloor x\rfloor) s(s+1)\cdots(s+p-1) \frac{{\rm d}x}{x^{s+p}} \\ \end{aligned} )] |
|
[math(\displaystyle \begin{aligned}
&\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{n^s} -\sum_{r=1}^{p-1} \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \biggl( \frac1{n^{s+r-1}}-1 \biggr) \\ =& -\frac1{1-s} +\frac{B_p}{p!} (-1)^{p-1} s(s+1)\cdots(s+p-2) \biggl( \frac1{n^{s+p-1}}-1 \biggr) -\frac1{p!} \int_1^n B_p(x-\lfloor x\rfloor) \frac{s(s+1)\cdots(s+p-1)}{x^{s+p}} \,{\rm d}x \end{aligned} )] |
|
[math(\displaystyle \begin{aligned}
&\lim_{n\to\infty} \Biggl[ \sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{n^s} -\sum_{r=1}^{p-1} \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \biggl( \frac1{n^{s+r-1}}-1 \biggr) \Biggr] \\ =& \,\zeta(s) +\sum_{r=1}^{p-1} \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \\ =& \lim_{n\to\infty} \Biggl[ -\frac1{1-s} +\frac{B_p}{p!} (-1)^{p-1} s(s+1)\cdots(s+p-2) \biggl( \frac1{n^{s+p-1}}-1 \biggr) -\frac1{p!} \int_1^n B_p(x-\lfloor x\rfloor) \frac{s(s+1)\cdots(s+p-1)}{x^{s+p}} \,{\rm d}x \Biggr] \\ =& -\frac1{1-s} -\frac{B_p}{p!} (-1)^{p-1} s(s+1)\cdots(s+p-2) -\frac1{p!} \int_1^\infty B_p(x-\lfloor x\rfloor) \frac{s(s+1)\cdots(s+p-1)}{x^{s+p}} \,{\rm d}x \end{aligned} )] |
이제 [math(\zeta(s))]에 대한 식을 정리하기 위해 위 식에서 둘째 줄과 첫째 줄의 등호 관계에 주목해보자.
|
[math(\displaystyle \begin{aligned}
& \,\zeta(s) +\sum_{r=1}^{p-1} \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \\ =& \lim_{n\to\infty} \Biggl[ \sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{n^s} -\sum_{r=1}^{p-1} \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \biggl( \frac1{n^{s+r-1}}-1 \biggr) \Biggr] \\ \end{aligned} )] |
|
[math(\displaystyle \begin{aligned}
\zeta(s) = \lim_{n\to\infty} \Biggl[ \sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{n^s} -\sum_{r=1}^{p-1} \frac{B_r}{r!} (-1)^{r-1} s(s+1)\cdots(s+r-2) \frac1{n^{s+r-1}} \Biggr] \\ \end{aligned} )] |
2.1.1. 예시
위의 공식에 [math(p=0)], [math(1)], [math(2)], [math(\cdots)], [math(5)]를 차례로 대입해서 [math(\zeta(s))]의 식이 어떻게 나타나는지 살펴보자.|
[math(\displaystyle \begin{aligned}
&(p=0, {\rm Re}(s) > 1) &\quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{n^s} \Biggr] = \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} \Biggr] = \sum_{k=1}^\infty \frac1{k^s} \\ &(p=1, {\rm Re}(s) > 0) &\quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{n^s} \Biggr] = \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} \Biggr] \\ &(p=2, {\rm Re}(s) > -1) &\quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} \Biggr] \\ &(p=3, {\rm Re}(s) > -2) &\quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} +\frac s{12n^{s+1}} \Biggr] \\ &(p=4, {\rm Re}(s) > -3) &\quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} +\frac s{12n^{s+1}} \Biggr] \\ &(p=5, {\rm Re}(s) > -4) &\quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} +\frac s{12n^{s+1}} -\frac{s(s+1)(s+2)}{720n^{s+3}} \Biggr] \end{aligned} )] |
|
[math(\displaystyle \begin{aligned}
&({\rm Re}(s) > 1) & \quad \zeta(s) &= \sum_{k=1}^\infty \frac1{k^s} \\ &({\rm Re}(s) > 0) & \quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} \Biggr] \\ &({\rm Re}(s) > -1) & \quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} \Biggr] \\ &({\rm Re}(s) > -3) & \quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} +\frac s{12n^{s+1}} \Biggr] \\ &({\rm Re}(s) > -5) & \quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} +\frac s{12n^{s+1}} -\frac{s(s+1)(s+2)}{720n^{s+3}} \Biggr] \\ &({\rm Re}(s) > -7) & \quad \zeta(s) &= \lim_{n\to\infty} \Biggl[ \,\sum_{k=1}^n \frac1{k^s} -\frac{n^{1-s}}{1-s} -\frac1{2n^s} +\frac s{12n^{s+1}} -\frac{s(s+1)(s+2)}{720n^{s+3}} +\frac{s(s+1)(s+2)(s+3)(s+4)}{30240n^{s+5}} \Biggr] \\ \end{aligned} )] |
3. 성질
-
제타 함수는 다음과 같은 함수 방정식을 만족시킨다.
{{{#!wiki style="text-align: center"
[math(\displaystyle \zeta(s)=2^s\pi^{s-1}\sin\!\left(\frac{\pi s}2\right)\Gamma(1-s)\,\zeta(1-s) )]}}}
{{{#!folding [증명 보기]
아까 얻은 급수 생성용 식에 n대신 πn², s대신 s/2를 넣으면 아래 식이 나온다.
[math(\displaystyle \frac{Γ(s/2)}{π^{s/2}n^s}=\int_0^∞e^{-πn^2t}t^{\frac s2-1}dt)]
이 식을 아까처럼 n=1~∞까지 더해준 뒤 [math(\sum_{n=-∞}^∞e^{-πn^2t}=θ(t))]로 놓으면 다음과 같은 식을 얻는다.
[math(\displaystyle π^{-\frac s2}Γ\left(\frac s2\right)ζ(s))]
[math(\displaystyle=\int_0^∞\frac{θ(t)-1}2t^{\frac s2-1}dt)]
[math(\displaystyle=\int_0^1\frac{θ(t)-1}2t^{\frac s2-1}dt+\int_1^∞\frac{θ(t)-1}2t^{\frac s2-1}dt)]
[math(\displaystyle=-\frac 1s+\int_0^1\frac{θ(t)}2t^{\frac s2-1}dt+\int_1^∞\frac{θ(t)-1}2t^{\frac s2-1}dt)]
한편 이 θ(t)는 아래와 같이 풀 수 있다.
위 풀이를 통해 얻은 공식을 통해 두번째 적분을 변형하면[math(\displaystyle=\int_0^∞\frac{θ(t)-1}2t^{\frac s2-1}dt)]
[math(\displaystyle=\int_0^1\frac{θ(t)-1}2t^{\frac s2-1}dt+\int_1^∞\frac{θ(t)-1}2t^{\frac s2-1}dt)]
[math(\displaystyle=-\frac 1s+\int_0^1\frac{θ(t)}2t^{\frac s2-1}dt+\int_1^∞\frac{θ(t)-1}2t^{\frac s2-1}dt)]
한편 이 θ(t)는 아래와 같이 풀 수 있다.
[math(\displaystyle θ(t))]
[math(\displaystyle =\sum_{n=-∞}^∞e^{-πn^2t})]
[math(\displaystyle =\int_{-∞}^∞ \left(\sum_{n=-∞}^∞δ(x-n)\right)e^{-πx^2t}dx)]
[math(\displaystyle =\int_{-∞}^∞ \left(\sum_{n=-∞}^∞e^{2iπnx}\right)e^{-πx^2t}dx)][※푸리에변환]
[math(\displaystyle =\sum_{n=-∞}^∞\int_{-∞}^∞e^{-πx^2t+2iπnx}dx)]
[math(\displaystyle =\sum_{n=-∞}^∞\int_{-∞}^∞e^{-\frac{πn^2}t-π(x-\frac{in}t)^2t}dx)]
[math(\displaystyle =\sum_{n=-∞}^∞e^{-\frac{πn^2}t}\int_{-∞}^∞e^{-π(x-\frac{in}t)^2t}dx)]
[math(\displaystyle =\sum_{n=-∞}^∞\frac{e^{-\frac{πn^2}t}}{\sqrt t})][※해석적연속]
[math(\displaystyle =\frac{θ(1/t)}{\sqrt t})]
[math(\displaystyle =\sum_{n=-∞}^∞e^{-πn^2t})]
[math(\displaystyle =\int_{-∞}^∞ \left(\sum_{n=-∞}^∞δ(x-n)\right)e^{-πx^2t}dx)]
[math(\displaystyle =\int_{-∞}^∞ \left(\sum_{n=-∞}^∞e^{2iπnx}\right)e^{-πx^2t}dx)][※푸리에변환]
[math(\displaystyle =\sum_{n=-∞}^∞\int_{-∞}^∞e^{-πx^2t+2iπnx}dx)]
[math(\displaystyle =\sum_{n=-∞}^∞\int_{-∞}^∞e^{-\frac{πn^2}t-π(x-\frac{in}t)^2t}dx)]
[math(\displaystyle =\sum_{n=-∞}^∞e^{-\frac{πn^2}t}\int_{-∞}^∞e^{-π(x-\frac{in}t)^2t}dx)]
[math(\displaystyle =\sum_{n=-∞}^∞\frac{e^{-\frac{πn^2}t}}{\sqrt t})][※해석적연속]
[math(\displaystyle =\frac{θ(1/t)}{\sqrt t})]
[math(\displaystyle \int_0^1\frac{θ(t)}2t^{\frac s2-1}dt)]
[math(\displaystyle =\int_0^1\frac{θ(1/t)}2t^{\frac {s-1}2-1}dt)]
[math(\displaystyle =\int_1^∞\frac{θ(u)}2u^{\frac {1-s}2-1}du)] (t=1/u로 치환)
[math(\displaystyle =\int_1^∞\frac{[θ(u)-1]+1}2u^{\frac {1-s}2-1}du)]
[math(\displaystyle =-\frac 1{1-s}+\int_1^∞\frac{θ(u)-1}2u^{\frac {1-s}2-1}du)]
이고 이걸 아까 식에 넣고 정리하면[math(\displaystyle =\int_0^1\frac{θ(1/t)}2t^{\frac {s-1}2-1}dt)]
[math(\displaystyle =\int_1^∞\frac{θ(u)}2u^{\frac {1-s}2-1}du)] (t=1/u로 치환)
[math(\displaystyle =\int_1^∞\frac{[θ(u)-1]+1}2u^{\frac {1-s}2-1}du)]
[math(\displaystyle =-\frac 1{1-s}+\int_1^∞\frac{θ(u)-1}2u^{\frac {1-s}2-1}du)]
[math(\displaystyle π^{-\frac s2}Γ\left(\frac s2\right)ζ(s))]
[math(\displaystyle=\frac1{s(s-1)}+\int_1^∞\frac{θ(t)-1}2(t^{\frac s2-1}+t^{\frac {1-s}2-1})dt)]
이렇게 됨을 알 수 있는데, 위 식에 s대신 1-s를 넣어도 위 식이랑 똑같이 나오기 때문에[math(\displaystyle=\frac1{s(s-1)}+\int_1^∞\frac{θ(t)-1}2(t^{\frac s2-1}+t^{\frac {1-s}2-1})dt)]
[math(\displaystyle π^{-\frac s2}Γ\left(\frac s2\right)ζ(s)=π^{-\frac {1-s}2}Γ\left(\frac {1-s}2\right)ζ(1-s))]
임을 알 수 있다. 이제 양변에 [math(Γ\left(1-\frac s2\right))]를 곱한뒤 감마 함수 관련 공식을 써서 이 식을 정리하면 된다.}}}
- 임의의 자연수 [math(n)]개를 선택했을 때 서로소가 될 확률은 [math(\displaystyle \frac1{\zeta(n)})]이다.
4. 항등식
-
오일러 곱
{{{#!wiki style="text-align: center"
[math(\displaystyle \zeta(s) = \prod_{p\ \in\ \mathbb{P}} \frac{p^s}{p^s-1} )]}}}
모든 자연수는 ([math(0)] 이상의 정수 [math(m_k)]에 대해)
[math(\displaystyle
n = p_1^{m_1} p_2^{m_2} p_3^{m_3} \cdots\quad
)] ([math(\{p_1,\,p_2,\,p_3,\,\cdots\} \subset \mathbb{P})])
꼴로 소인수분해되므로 다음이 성립한다.
[math(\displaystyle \begin{aligned}
\zeta(s) &= \sum_{n=1}^\infty \frac1{n^s} \\
&= \sum_{m_1=0}^\infty \sum_{m_2=0}^\infty \sum_{m_3=0}^\infty \cdots \frac1{{(p_1^{m_1} p_2^{m_2} p_3^{m_3} \cdots)}^s} \\
&= \Biggl( \sum_{m_1=0}^\infty ({p_1}^{-s})^{m_1} \Biggr) \!\Biggl( \sum_{m_2=0}^\infty ({p_2}^{-s})^{m_2} \Biggr) \!\Biggl( \sum_{m_3=0}^\infty ({p_3}^{-s})^{m_3} \Biggr) \cdots \\
&= \biggl( \frac1{1-{p_1}^{-s}} \biggr) \!\biggl( \frac1{1-{p_2}^{-s}} \biggr) \!\biggl( \frac1{1-{p_3}^{-s}} \biggr) \cdots \\
&= \prod_{p\ \in\ \mathbb{P}} \frac1{1-p^{-s}} \\
&= \prod_{p\ \in\ \mathbb{P}} \frac{p^s}{p^s-1}
\end{aligned} )]
}}}||
-
리만 제타 함수를 [math(s=1)]을 중심으로
로랑 급수 전개를 하면 다음과 같다.
{{{#!wiki style="text-align: center"
[math(\displaystyle \zeta(s) = \frac1{s-1} +\sum_{n=0}^\infty \frac{\gamma_n}{n!} (1-s)^n )]}}}
여기서 [math(\gamma_n)]은
스틸체스 상수이다.
먼저 제타 함수의 급수식에서 [math(k=1)]부터 [math(k=m)]까지만 더한 걸 계산하면 다음과 같다.
[math(\displaystyle \begin{aligned}
\sum_{k=1}^m \frac1{k^s} &= \int_1^m \frac1{x^s} \,{\rm d}x + \sum_{k=1}^m \frac1{k^s} \,- \int_1^m \frac1{x^s} \,{\rm d}x \\
&= \biggl[ \frac{x^{1-s}}{1-s} \biggr]_1^m + \!\Biggl( \sum_{k=1}^m \frac{k^{1-s}}k \,- \int_1^m \frac{x^{1-s}}x \,{\rm d}x \!\Biggr) \\
&= \frac{m^{1-s}-1}{1-s} + \!\Biggl( \sum_{k=1}^m \frac{e^{(1-s)\ln k}}k \,- \int_1^m \frac{e^{(1-s)\ln x}}x \,{\rm d}x \!\Biggr) \\
&= \frac{1-m^{1-s}}{s-1} + \!\Biggl( \sum_{k=1}^m \sum_{n=0}^\infty \frac{((1-s)\ln k)^n}{n!} \frac1k \,- \int_1^m \sum_{n=0}^\infty \frac{((1-s)\ln x)^n}{n!} \frac1x \,{\rm d}x \!\Biggr) \\
&= \frac{1-m^{1-s}}{s-1} + \!\Biggl( \sum_{k=1}^m \sum_{n=0}^\infty \frac{(1-s)^n}{n!} \frac{\ln^n k}k \,- \int_1^m \sum_{n=0}^\infty \frac{(1-s)^n}{n!} \frac{\ln^n x}x \,{\rm d}x \!\Biggr) \\
&= \frac{1-m^{1-s}}{s-1} +\sum_{n=0}^\infty \frac{(1-s)^n}{n!} \Biggl( \sum_{k=1}^m \frac{\ln^n k}k \,- \int_1^m \frac{\ln^n x}x \,{\rm d}x \!\Biggr) \\
\end{aligned} )]
여기에 [math(m\to\infty)]의 극한을 취하면 좌변이 제타 함수가 되므로 다음과 같이 원하는 식을 얻는다.
[math(\displaystyle \begin{aligned}
\zeta(s) &= \lim_{m\to\infty} \sum_{k=1}^m \frac1{k^s} \\
&= \lim_{m\to\infty} \frac{1-m^{1-s}}{s-1} +\sum_{n=0}^\infty \frac{(1-s)^n}{n!} \lim_{m\to\infty} \Biggl( \sum_{k=1}^m \frac{\ln^n k}k \,- \int_1^m \frac{\ln^n x}x \,{\rm d}x \!\Biggr) \\
&= \frac1{s-1} +\sum_{n=0}^\infty \frac{(1-s)^n}{n!} \,\gamma_n
\end{aligned} )]
}}}||
-
감마 함수 [math(Gamma(x))]와 제타 함수를 곱하면 다음과 같은 식도 얻을 수 있다.
{{{#!wiki style="text-align: center"
[math(\displaystyle \Gamma(s)\,\zeta(s) = \int_0^\infty \frac{t^{s-1}}{e^t-1} \,{\rm d}t )]}}}
[math(\displaystyle \begin{aligned}
\Gamma(s)\,\zeta(s) &= \sum_{n=1}^\infty \frac1{n^s} \int_0^\infty e^{-x} x^{s-1} \,{\rm d}x \\
&= \int_0^\infty \sum_{n=1}^\infty e^{-x} \frac{x^{s-1}}{n^{s-1}} \frac1n \,{\rm d}x \\
&\quad {\sf Let}\!: x=nt \Rightarrow {\rm d}x = n\,{\rm d}t \\
&= \int_0^\infty \sum_{n=1}^\infty e^{-nt} t^{s-1} \,{\rm d}t \\
&= \int_0^\infty \frac{e^{-t}}{1-e^{-t}} \,t^{s-1} \,{\rm d}t \\
&= \int_0^\infty \frac{t^{s-1}}{e^t-1} \,{\rm d}t
\end{aligned} )]
\Gamma(s)\,\zeta(s) &= \sum_{n=1}^\infty \frac1{n^s} \int_0^\infty e^{-x} x^{s-1} \,{\rm d}x \\
&= \int_0^\infty \sum_{n=1}^\infty e^{-x} \frac{x^{s-1}}{n^{s-1}} \frac1n \,{\rm d}x \\
&\quad {\sf Let}\!: x=nt \Rightarrow {\rm d}x = n\,{\rm d}t \\
&= \int_0^\infty \sum_{n=1}^\infty e^{-nt} t^{s-1} \,{\rm d}t \\
&= \int_0^\infty \frac{e^{-t}}{1-e^{-t}} \,t^{s-1} \,{\rm d}t \\
&= \int_0^\infty \frac{t^{s-1}}{e^t-1} \,{\rm d}t
\end{aligned} )]
}}}||
- 제타 함수의 무한급수꼴 정의와 비슷하게 생긴 다음 급수들의 값은 제타 함수로 표현할 수 있다.
-
[math(\displaystyle \sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n^s}=\frac1{1^s}-\frac1{2^s}+\frac1{3^s}-\frac1{4^s}+\cdots=(1-2^{1-s})\zeta(s) )]
[math(\displaystyle \begin{aligned}
\sum_{n=1}^{\infty}\frac{(-1)^n}{n^s}+\zeta(s)&=\sum_{n=1}^{\infty}\frac{(-1)^n}{n^s}+\sum_{n=1}^{\infty}\frac1{n^s} \\
&=2\sum_{n=2,4,\cdots}^{\infty}\frac1{n^s}\qquad\quad{\sf Let}\!: n=2k \\
&=2\sum_{k=1}^{\infty}\frac1{(2k)^s} \\
&=2^{1-s}\sum_{k=1}^{\infty}\frac1{k^s} \\
&=2^{1-s}\zeta(s) \\
\Rightarrow\sum_{n=1}^{\infty}\frac{(-1)^n}{n^s}&=2^{1-s}\zeta(s)-\zeta(s)=(2^{1-s}-1)\zeta(s) \\
\therefore\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n^s}&=(1-2^{1-s})\zeta(s)
\end{aligned} )]
\sum_{n=1}^{\infty}\frac{(-1)^n}{n^s}+\zeta(s)&=\sum_{n=1}^{\infty}\frac{(-1)^n}{n^s}+\sum_{n=1}^{\infty}\frac1{n^s} \\
&=2\sum_{n=2,4,\cdots}^{\infty}\frac1{n^s}\qquad\quad{\sf Let}\!: n=2k \\
&=2\sum_{k=1}^{\infty}\frac1{(2k)^s} \\
&=2^{1-s}\sum_{k=1}^{\infty}\frac1{k^s} \\
&=2^{1-s}\zeta(s) \\
\Rightarrow\sum_{n=1}^{\infty}\frac{(-1)^n}{n^s}&=2^{1-s}\zeta(s)-\zeta(s)=(2^{1-s}-1)\zeta(s) \\
\therefore\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n^s}&=(1-2^{1-s})\zeta(s)
\end{aligned} )]
}}} ||
이는
[math(\displaystyle
\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^2} = \frac1{1^2}-\frac1{2^2}+\frac1{3^2}-\frac1{4^2}+\cdots = \frac{\pi^2}{12}
)]
임을 계산하는 한정된 케이스의 계산법이다.[6] 제타 함수를 사용하지 않고 복소해석학의 도구만으로 증명해내는 것이 포인트.
자연수 [math(N)]에 대하여, 다음 식으로 주어지는 정사각형을 양의 방향(시계 방향)으로 갖는 경로를 [math(C_N)]이라 하자.
[math(
x = \pm \!\left( N+\dfrac12 \right) \!\pi, \quad y = \pm \!\left( N+\dfrac12 \right) \!\pi
)]
이때, [math(\displaystyle \oint_{C_N} \frac{{\rm d}z}{z^2\sin z})]라는 적분식의 극한값을 계산해보자.
[math(f(z) = \dfrac1{z^2\sin z})]의 영점이 [math(z=n\pi)] 꼴이라는 사실은 쉽게 알 수 있다. 이제 [math(C_N)] 내부의 영점에 대해 모든 유수를 계산해보자. 먼저 [math(z=0)]인 경우부터 보자. [math(\underset{z=0}{\operatorname{Res}} \,f(z))]은 다음과 같이 계산된다.
[math(
\dfrac1{z^2\sin z} = \dfrac1{z^2} \cdot \dfrac1{\sin z}
)]
한편, [math(\displaystyle \sin z = \sum_{n=0}^\infty \frac{(-1)^n z^{2n+1}}{(2n+1)!})]이므로 다음을 얻을 수 있다.
[math(\displaystyle \begin{aligned}
\frac1{z^2\sin z} &= \frac1{z^2} \cdot \frac1{\displaystyle \sum_{n=0}^\infty \frac{(-1)^n z^{2n+1}}{(2n+1)!}} \\
&= \frac1{z^2} \cdot \frac1{z -\dfrac{z^3}{3!} +\dfrac{z^5}{5!} -\cdots} \\
&= \frac1{z^3} \cdot \frac1{1 -\left( \dfrac{z^2}{3!} -\dfrac{z^4}{5!} +\cdots \right)}
\end{aligned} )]
여기서 [math(\dfrac{z^2}{3!} -\dfrac{z^4}{5!} +\cdots = \dfrac{z^2}{3!} +wz^4 = \xi)]라고 축약하자. 그러면 잘 알려진 테일러 급수 [math(\displaystyle \frac1{1-x} = \sum_{k=0}^\infty x^k)]에서 [math(x)] 대신 [math(\xi)]를 대입해 다음과 같은 형태의 로랑 급수를 전개할 수 있다.
[math(
\dfrac1{z^3} \cdot \dfrac1{1-\xi} = \dfrac1{z^3} \cdot (1+\xi+\xi^2+\cdots)
)]
이제 [math(\xi)] 대신 [math(\dfrac{z^2}{3!} + wz^4)]를 대입해보자. 우리가 구해야 하는 건 [math(z=0)]에서의 유수이므로, 앞에 [math(\dfrac1{z^3})]이 곱해지는 걸 감안하여 [math(\displaystyle \sum_{n=0}^\infty \xi^n)]에서 [math(z)]의 이차항에 대한 계수만을 구하면 된다. 즉,
[math(\displaystyle \begin{aligned}
1+\xi+\xi^2+\cdots &= 1 +\biggl( \frac{z^2}{3!} +wz^4 \biggr) +\biggl(\frac{z^2}{3!} +wz^4 \biggr)^{\!2} +\biggl( \frac{z^2}{3!} +wz^4 \biggr)^{\!3} +\cdots \\
&= 1 +\frac{z^2}{3!} +\left( \frac1{(3!)^2} +w \right) \!z^4 +\cdots \\
\Rightarrow \dfrac1{z^3} \cdot (1+\xi+\xi^2+\cdots) &= \dfrac1{z^3} \cdot \biggl( 1 +\frac{z^2}{3!} +\left( \frac1{(3!)^2} +w \right) \!z^4 +\cdots \biggr) \\
&= \frac1{z^3} +\frac1{3!\cdot z} +\left( \frac1{(3!)^2} +w \right) \!z +\cdots
\end{aligned} )]
이므로 [math(z=0)]에서의 유수는 [math(\dfrac1{3!} = \dfrac16)]이 된다.
이제 [math(z=n\pi)]에서의 유수를 구해보자. 먼저 [math(\dfrac1{z^2\sin z})]의 특이점의 형태를 확인해보자. [math(g(z)=z^2\sin z)]는 [math(g(n\pi)=0)]이며 [math(g'(z) = 2z\sin z +z^2\cos z)]이다. 따라서 [math(h(z)=1)]이라는 해석함수를 하나 추가할 경우 다음이 성립함은 복소해석학의 성질에 의해 자명하다.
[math(
\underset{z=n\pi}{\operatorname{Res}} \,\dfrac{h(z)}{g(z)} = \dfrac{h(n\pi)}{g'(n\pi)} = \dfrac1{2n\pi \sin n\pi +n^2\pi^2 \cos n\pi} = \dfrac{(-1)^n}{n^2\pi^2}
)]
즉,
[math(\displaystyle
\oint_{C_N} \frac{{\rm d}z}{z^2\sin z} = 2\pi i \left( \frac16 +2\sum_{n=1}^N \frac{(-1)^n}{n^2\pi^2} \right)
)]
이다. 그런데 [math(N)]이 한없이 커지면 이 적분값의 극한은 0이 된다. 따라서
[math(\displaystyle
\lim_{N\to\infty} \oint_{C_N} \frac{{\rm d}z}{z^2\sin z} = \lim_{N\to\infty} 2\pi i \left( \frac16 +2\sum_{n=1}^N \frac{(-1)^n}{n^2\pi^2} \right) = 0
)]
이 된다.
오른쪽 등호 관계식을 주목해보자.
[math(\displaystyle
\lim_{N\to\infty} 2\pi i \left( \frac16 +2\sum_{n=1}^N \frac{(-1)^n}{n^2\pi^2} \right) = 0
)]
식을 정리하자.
[math(\displaystyle
\lim_{N\to\infty} \sum_{n=1}^N \frac{(-1)^n}{n^2\pi^2} = -\frac1{12}
)]
따라서 양변에 [math(-\pi^2)]을 곱하면 다음 계산값을 구할 수 있다.
[math(\displaystyle
\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^2} = \frac{\pi^2}{12}
)]
}}}||
* [math(\displaystyle \sum_{n=1}^{\infty}\frac1{(2n-1)^s}=\frac1{1^s}+\frac1{3^s}+\frac1{5^s}+\frac1{7^s}+\cdots=(1-2^{-s})\zeta(s) )]
[math(\displaystyle \begin{aligned}
\zeta(s)&=\sum_{n=1}^{\infty}\frac1{n^s} \\
&=\left(\frac1{1^s}+\frac1{3^s}+\frac1{5^s}+\cdots\right)+\left(\frac1{2^s}+\frac1{4^s}+\frac1{6^s}+\cdots\right) \\
&=\sum_{n=1}^{\infty}\frac1{(2n-1)^s}+\sum_{n=1}^{\infty}\frac1{(2n)^s} \\
&=\sum_{n=1}^{\infty}\frac1{(2n-1)^s}+\frac1{2^s}\sum_{n=1}^{\infty}\frac1{n^s} \\
&=\sum_{n=1}^{\infty}\frac1{(2n-1)^s}+2^{-s}\zeta(s) \\
\Rightarrow\sum_{n=1}^{\infty}\frac1{(2n-1)^s}&=\zeta(s)-2^{-s}\zeta(s) \\
\therefore\sum_{n=1}^{\infty}\frac1{(2n-1)^s}&=(1-2^{-s})\zeta(s)
\end{aligned} )]
\zeta(s)&=\sum_{n=1}^{\infty}\frac1{n^s} \\
&=\left(\frac1{1^s}+\frac1{3^s}+\frac1{5^s}+\cdots\right)+\left(\frac1{2^s}+\frac1{4^s}+\frac1{6^s}+\cdots\right) \\
&=\sum_{n=1}^{\infty}\frac1{(2n-1)^s}+\sum_{n=1}^{\infty}\frac1{(2n)^s} \\
&=\sum_{n=1}^{\infty}\frac1{(2n-1)^s}+\frac1{2^s}\sum_{n=1}^{\infty}\frac1{n^s} \\
&=\sum_{n=1}^{\infty}\frac1{(2n-1)^s}+2^{-s}\zeta(s) \\
\Rightarrow\sum_{n=1}^{\infty}\frac1{(2n-1)^s}&=\zeta(s)-2^{-s}\zeta(s) \\
\therefore\sum_{n=1}^{\infty}\frac1{(2n-1)^s}&=(1-2^{-s})\zeta(s)
\end{aligned} )]
}}} ||
-
제타 함수는
바닥함수가 포함된 적분식으로도 표현될 수 있다.
{{{#!wiki style="text-align: center"
[math(\displaystyle \zeta(s) = \int_0^\infty s\lfloor x\rfloor x^{-s-1} \,{\rm d}x )]}}}
[math(\displaystyle \begin{aligned}
\int_0^\infty s\lfloor x\rfloor x^{-s-1} \,{\rm d}x &= s\sum_{n=0}^\infty \int_n^{n+1} \lfloor x\rfloor x^{-s-1} \,{\rm d}x = s\sum_{n=0}^\infty n\int_n^{n+1} x^{-s-1} \,{\rm d}x \\
&= s\sum_{n=1}^\infty n\int_n^{n+1} x^{-s-1} \,{\rm d}x = s\sum_{n=1}^\infty n \biggl[ -\frac{x^{-s}}s \biggr]_n^{n+1} \\
&= s\sum_{n=1}^\infty n \biggl( -\frac{(n+1)^{-s}}s +\frac{n^{-s}}s \biggr) \!= \sum_{n=1}^\infty \biggl( \frac n{n^s} -\frac n{(n+1)^s} \biggr) \\
&= \!\biggl( \frac1{1^s} -\frac1{2^s} \biggr) \!+\!\biggl( \frac2{2^s} -\frac2{3^s} \biggr) \!+\!\biggl( \frac3{3^s} -\frac3{4^s} \biggr) \!+\cdots \\
&= \frac1{1^s} +\frac1{2^s} +\frac1{3^s} +\cdots \\
&= \zeta(s)
\end{aligned} )]
\int_0^\infty s\lfloor x\rfloor x^{-s-1} \,{\rm d}x &= s\sum_{n=0}^\infty \int_n^{n+1} \lfloor x\rfloor x^{-s-1} \,{\rm d}x = s\sum_{n=0}^\infty n\int_n^{n+1} x^{-s-1} \,{\rm d}x \\
&= s\sum_{n=1}^\infty n\int_n^{n+1} x^{-s-1} \,{\rm d}x = s\sum_{n=1}^\infty n \biggl[ -\frac{x^{-s}}s \biggr]_n^{n+1} \\
&= s\sum_{n=1}^\infty n \biggl( -\frac{(n+1)^{-s}}s +\frac{n^{-s}}s \biggr) \!= \sum_{n=1}^\infty \biggl( \frac n{n^s} -\frac n{(n+1)^s} \biggr) \\
&= \!\biggl( \frac1{1^s} -\frac1{2^s} \biggr) \!+\!\biggl( \frac2{2^s} -\frac2{3^s} \biggr) \!+\!\biggl( \frac3{3^s} -\frac3{4^s} \biggr) \!+\cdots \\
&= \frac1{1^s} +\frac1{2^s} +\frac1{3^s} +\cdots \\
&= \zeta(s)
\end{aligned} )]
}}}||
5. 미적분
도함수는 닫힌 형식으로 표현할 수 없고 급수의 꼴로만 나타낼 수 있다.[math(\dfrac{\rm d}{{\rm d}s} \zeta(s) = \displaystyle - \sum^{\infty}_{k=2} k^{-s} \ln k)]
역도함수 또한 닫힌 형식으로 표현할 수 없고 급수의 꼴로만 나타낼 수 있다.
[math(\dfrac{\rm d^{-1}}{{\rm ds^{-1}}} \zeta(s) = \displaystyle s- \sum^{\infty}_{k=2} k^{-s} \ln^{-1} k)]
6. 알려진 함숫값
특정 정수를 넣으면 특수한 값을 띠는데 아래는 그 예이다.- [math(\zeta(1))]은 정의되지 않는다. 조화급수가 무한대로 발산하기 때문. 정의역을 실수 전체로 확장했을 때 [math(\displaystyle \lim_{\epsilon \to \pm 0} \zeta(1+\epsilon)=\pm \infty)]로 좌극한과 우극한을 나타낼 수 있다. [math(x=1)]에서의 코시 주요값 [math(\displaystyle \lim_{\epsilon \to 0} \frac{\zeta(1+\epsilon)+\zeta(1-\epsilon)}{2}=\gamma)]이다.[7]
-
[math(\displaystyle \zeta(2) = \frac{\pi^2}{6} \approx 1.645)]
이 값을 구하는 과정은 따로 바젤 문제라는 이름이 붙어 있다. 이 값의 역수는 임의의 두 자연수가 서로소일 확률을 나타낸다. -
[math(\displaystyle \zeta(3) = -\frac{4}{3}\mathrm{Li}_{3}(-1)\approx 1.202)][8]
[math(\zeta(3))]을 '아페리 상수'라고도 부른다. 자세한 내용은 아래에 후술. -
[math(\displaystyle \zeta(4) = \frac{\pi^4}{90}\approx 1.082)]
열역학의 슈테판-볼츠만 법칙 유도 과정 등에서 나타난다.
위 네 식만 봐도 짝수에서는 원주율의 거듭제곱으로 깔끔하게 맞아떨어짐에 비해[9] 홀수에서는 정확한 값으로 맞아떨어지지 않음을 알 수 있다. 실제로도 짝수에 대해서는 다음 식과 같이 [math(\pi)]의 거듭제곱에 대한 식으로 깔끔하게 표현할 수 있다. 여기서 [math(B_{2n})]은 베르누이 수열이다.
[math(\displaystyle \zeta(2n)=\frac{(-1)^{n+1}B_{2n}(2\pi)^{2n}}{2(2n)!} )]
또한 무한대로의 극한값은 1이다.
[math(\displaystyle \lim_{{\rm Re}~s \to \infty} \zeta(s) = 1)]
6.1. 아페리 상수
|
수학
상수 Mathematical Constants |
|||||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
[math(^\ast)] 초월수임이 증명됨. | ||||
|
[math(0)] (덧셈의 항등원) |
[math(1)] (곱셈의 항등원) |
[math(sqrt{2})] (최초로 증명된 무리수) |
[math(495)], [math(6174)] ( 카프리카 상수) |
[math(0)],
[math(1)], [math(3435)], [math(438579088)] ( 뮌하우젠 수) |
|
|
[math(pi)] (원주율)[math(^\ast)] |
[math(tau)] (새 원주율)[math(^\ast)] |
[math(e)] (자연로그의 밑)[math(^\ast)] |
[math(varphi)] (황금수) |
[math(i)] (허수단위) |
|
|
[math(G)] (카탈랑 상수) |
[math(zeta(3))] (아페리 상수) |
[math({rm Si}(pi))] (윌브레이엄-기브스 상수) |
[math(gamma)] (오일러-마스케로니 상수) |
[math(gamma_n)] (스틸체스 상수) |
|
|
[math(Omega)] (오메가 상수)[math(^\ast)] |
[math(2^{sqrt{2}})] (겔폰트-슈나이더 상수)[math(^\ast)] |
[math(C_n,)] (챔퍼나운 상수)[math(^\ast)] |
[math(A,)] (글레이셔-킨켈린 상수) |
[math(A_k,)] (벤더스키-아담칙 상수) |
|
|
[math(-e, {rm Ei}(-1))] (곰페르츠 상수) |
[math(mu)] (라마누잔-졸트너 상수) |
[math(B_{2})], [math(B_{4})] (브룬 상수) |
[math(rho)] (플라스틱 상수) |
[math(delta)], [math(alpha)] (파이겐바움 상수) |
|
Apéry's constant
상술한 [math(\zeta(3))]의 값으로, 1977년 학계에서 이렇다 할 족적을 남기지 못했던 61세의 그리스계 프랑스 수학자 로저 아페리는 [math(\displaystyle \zeta(3))]이 무리수[10]임을 증명하여 수학계를 충격에 빠트렸다. 60대 수학자가 역사상 최초로 제타함수의 홀수 함숫값의 무리수 판정을 성공, 그것도 200년 전부터 접근 가능했던 초등적인 방법으로 증명한 것이다. 수많은 수학자들이 증명을 의심하고 검토했지만 증명에 오류는 없었고, 아페리는 고령의 수학자가 획기적인 성과를 낸 몇 안되는 사례로 남은 동시에 자신의 이름을 영원히 남기게 되었다. 하지만 아페리의 방법을 5 이상의 홀수에 대해 확장하려는 시도는 번번이 좌절되어 [math(\zeta(5))], [math(\zeta(7))] 등에 대해서는 여전히 무리수인지의 여부가 판정되지 않고 있다[11]. 현재는 [math(\zeta(2n+1))] 꼴의 무리수가 무수히 많음이 알려져 있다.
[math(\zeta(3))]의 값은 다음과 같다.
[math(\zeta(3) = 1.2020569031595942853997381...)]
이는 전자의 자기회전비율 계산 등 일부 물리학 문제에서 나타난다.
6.2. 양의 정수가 아닌 수는?
제타 함수에 0과 음수 정수를 넣을 경우 황당한 결과가 나오는데, 그 이유는 분명히 정의상 1만 계속 더하거나, 1과 1보다 큰 수를 합하여 발산할 것처럼 보이지만 특정 값으로 수렴하기 때문이다. 이는 파울하버의 공식과의 연관성[12]에서 비롯된 해석적 확장을 통해 얻어지는 값으로, [math(0)] 이하의 정수는 다음과 같이 베르누이 수열 [math(B_n)]을 이용해서 정의된다.| [math(\displaystyle \zeta(-n) = \frac{(-1)^n}{n+1}B_{n+1})] |
- [math(\displaystyle \zeta(0) = -\frac{1}{2})]
- [math(displaystyle zeta(-1) = -frac{1}{12})]
- [math(\displaystyle \zeta(-2) = 0)]
- [math(\displaystyle \zeta(-3) = \frac{1}{120})]
- [math(\displaystyle \zeta(-4) = 0)]
한편 [math(\frac1{2}+ti)]꼴의 수를 넣으면 함수값이 0이 될 때가 있는데, 이를 비자명한(non-trivial) 근이라고 한다. 리만 가설은 이 비자명한 근과 관련이 있다.
7. 관련 문서
[1]
[math(\lfloor n \rfloor)]는
바닥함수이다. 이러한 꼴의 적분을
스틸체스 적분이라고 한다.
[2]
리만 제타 함수나
후르비츠 제타 함수는 정의역이 [math(s \neq 1)]인 모든 복소수로 확장된 함수다.
[3]
참고: [math(|x^{s+p}| = |x^{{\rm Re}(s)+p+i\,{\rm Im}(s)}| = |x^{{\rm Re}(s)+p}e^{i\,{\rm Im}(s)\ln x}| = |x^{{\rm Re}(s)+p}| |e^{i\,{\rm Im}(s)\ln x}| = |x^{{\rm Re}(s)+p}|)]
[※푸리에변환]
[math(\displaystyle \sum_{n=-∞}^∞δ(x-n)=\sum_{n=-∞}^∞e^{2iπnx})]
푸리에 변환을 쓰면 위 디랙 델타 함수에 대한 무한합은 이렇게 바뀐다. [※해석적연속] [math(y)]가 실수일 땐 [math(\displaystyle \int_{-∞}^∞e^{-π(x-y)^2t}dx=)] [math(displaystyle int_{-∞}^∞e^{-πx^2t}dx=frac1{sqrt t})]가 성립하는데, 해당 식은 해석적 연속에 의해 [math(y)]를 복소수 영역으로 확장할 수 있음에 따라 [math(y=in/t)]를 넣어도 위 등식이 성립한다. [6] 위 공식에 [math(s=2)]를 대입하여 이 식과 비교해보면 [math(\zeta(2) = \dfrac{\pi^2}6)]임을 유도할 수 있다. 또한, [math(s=2)]만이 아니라 그 이상의 짝수에서도 적분식이 달라지기는 하지만 비슷한 방법을 사용해서 계산이 가능하다. [7] [math(\gamma)]는 오일러-마스케로니 상수이다. [8] [math(\mathrm{Li}_{3})]는 폴리로그함수이다. [9] 2, 4를 넣은 함숫값은 다름아닌 레온하르트 오일러가 계산해낸 값이다. [10] 초월수 여부가 아니다. 아페리 상수가 초월수인지 아닌지는 아직 밝혀지지 않았다. [11] 현 시점의 최선의 추정은 [math(\zeta(5))], [math(\zeta(7))], [math(\zeta(9))], [math(\zeta(11))] 중 적어도 1개는 무리수라는 것. [12] 파울하버의 공식은 거듭제곱의 합 [math(\displaystyle \sum_{k=1}^nk^c)]에 관한 공식이고 제타 함수는 [math(c = -s)]를 대입하고 [math(n\to\infty)]의 극한을 취한 식이다.
푸리에 변환을 쓰면 위 디랙 델타 함수에 대한 무한합은 이렇게 바뀐다. [※해석적연속] [math(y)]가 실수일 땐 [math(\displaystyle \int_{-∞}^∞e^{-π(x-y)^2t}dx=)] [math(displaystyle int_{-∞}^∞e^{-πx^2t}dx=frac1{sqrt t})]가 성립하는데, 해당 식은 해석적 연속에 의해 [math(y)]를 복소수 영역으로 확장할 수 있음에 따라 [math(y=in/t)]를 넣어도 위 등식이 성립한다. [6] 위 공식에 [math(s=2)]를 대입하여 이 식과 비교해보면 [math(\zeta(2) = \dfrac{\pi^2}6)]임을 유도할 수 있다. 또한, [math(s=2)]만이 아니라 그 이상의 짝수에서도 적분식이 달라지기는 하지만 비슷한 방법을 사용해서 계산이 가능하다. [7] [math(\gamma)]는 오일러-마스케로니 상수이다. [8] [math(\mathrm{Li}_{3})]는 폴리로그함수이다. [9] 2, 4를 넣은 함숫값은 다름아닌 레온하르트 오일러가 계산해낸 값이다. [10] 초월수 여부가 아니다. 아페리 상수가 초월수인지 아닌지는 아직 밝혀지지 않았다. [11] 현 시점의 최선의 추정은 [math(\zeta(5))], [math(\zeta(7))], [math(\zeta(9))], [math(\zeta(11))] 중 적어도 1개는 무리수라는 것. [12] 파울하버의 공식은 거듭제곱의 합 [math(\displaystyle \sum_{k=1}^nk^c)]에 관한 공식이고 제타 함수는 [math(c = -s)]를 대입하고 [math(n\to\infty)]의 극한을 취한 식이다.