정의
체비쇼프 함수(Chebyshev function)는 정수론에서 소수의 분포를 연구하기 위해 도입된 두 개의 함수, 즉 θ(x)와 ψ(x)를 통틀어 일컫는다.
-
θ(x) (체비쇼프 θ함수) :
$$ \theta(x)=\sum_{p\le x}\log p $$
여기서 $p$는 $x$ 이하인 소수를 의미한다. -
ψ(x) (체비쇼프 ψ함수) :
$$ \psi(x)=\sum_{p^{k}\le x}\log p=\sum_{n\le x}\Lambda(n) $$
$p^{k}$는 소수 $p$의 양의 정수 거듭 제곱이며, $\Lambda(n)$은 라인하르트 함수(Liouville 함수)이다. 즉, $\Lambda(n)=\log p$일 때 $n$은 소수 거듭 제곱이고, 그렇지 않으면 0이다.
역사
이 함수들은 19세기 러시아의 수학자 파프누티 체비쇼프(Pafnuty Chebyshev)에 의해 도입되었다. 체비쇼프는 이 함수를 이용해 소수 정리를 위한 초기 근사식을 제시했으며, 이후 리우비에르(Liouville), 폰 라우히에르(Pólya) 등 여러 수학자에 의해 체계적으로 연구되었다.
주요 성질 및 응용
| 성질 | 설명 |
|---|---|
| 증가성 | θ(x)와 ψ(x) 모두 $x$가 증가함에 따라 비감소한다. |
| 연결 관계 | $\psi(x)=\sum_{k\ge1}\theta(x^{1/k})$이며, 역으로 $\theta(x)=\sum_{k\ge1}\mu(k),\psi(x^{1/k})$ (µ는 뮈비우스 함수). |
| 소수정리와의 연관 | 소수정리 $ \pi(x)\sim \frac{x}{\log x}$ 와 동등한 형태는 $\theta(x)\sim x$ 혹은 $\psi(x)\sim x$ 로 표현될 수 있다. 체비쇼프는 $\psi(x)$와 $\theta(x)$에 대한 상한·하한을 이용해 $\frac{x}{\log x}$와 $\frac{x}{\log x -1}$ 사이에 소수 개수가 존재함을 증명하였다. |
| 분석적 표현 | 리만 제타 함수 $\zeta(s)$와의 관계: $\psi(x)=\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}! -\frac{\zeta'(s)}{\zeta(s)}\frac{x^{s}}{s},ds$ (실제 $c>1$). |
| 오차항 | 리만 가설이 성립한다면 $\psi(x)=x+O!\bigl(x^{1/2+\varepsilon}\bigr)$가 된다. |
관련 함수
- 라멜르 함수(Λ) : 라인하르트 함수는 위에서 정의한 $\Lambda(n)$과 동일하며, $\psi(x)$는 $\Lambda$의 누적 합이다.
- 소수 계수 함수(π) : $\pi(x)=#{p\le x}$와는 직접적인 관계가 없지만, $\theta(x)$와 $\psi(x)$를 통해 $\pi(x)$의 근사식을 얻을 수 있다.
연산적 활용
컴퓨터 구현 시 $\psi(x)$는 소수와 그 거듭 제곱을 차례로 열거하고 로그를 누적함으로써 구한다. 소수표 또는 에라토스테네스 체를 변형한 알고리즘이 흔히 사용된다.
참고문헌
- P. Chebyshev, “Sur les fonctions de la forme $\psi(x)$ et $\theta(x)$”, Journal de Mathématiques, 1852.
- G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 6th ed., Oxford University Press, 2008.
- H. Iwaniec, E. Kowalski, Analytic Number Theory, American Mathematical Society, 2004.
외부 링크
-
위키백과(영문) “Chebyshev function” – 체비쇼프 함수에 관한 상세 설명 및 증명 자료.
-
MathWorld, “Chebyshev Functions” – 정의와 주요 성질 정리.
이 문서는 체비쇼프 함수에 관한 신뢰성 있는 수학적 자료를 기반으로 객관적·중립적으로 서술하였다.
