오일러-마스케로니 상수

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 찾기
수학 체계
기초

\mathbb{N}\sub\mathbb{Z}\sub\mathbb{Q}\sub\mathbb{R}\sub\mathbb{C}

복소수의 확장
기타

i 허수 단위 = \sqrt{-1}
\pi 원주율 ≈ 3.14159 26535 ...
e 자연로그의 밑 ≈ 2.71828 ( \notin \mathbb{Q})

주요 상수

π - e - √2 - √3 - γ -
φ - β* - δ - α - C2 -
M1 - B2 - B4 - Λ - K -
K - K - L - μ - EB -
Ω - β - λ - D(1) - λμ -
Cah. - Lap. - A-G - Λ - K-L -
Apr. - θ - Bac. - Prt. - Lb. -
Niv. - Sie. - Kin. - F - L

오일러-마스케로니 상수( - 常數, Euler-Mascheroni constant)는 수론에서 자주 쓰이는 값으로, 조화급수(harmonic series)와 자연 로그의 차의 극한으로 정의된다. 줄여서 오일러 상수라고도 불리나, 오일러 수 e와는 관련이 없다(구하는 과정에서 자연로그를 쓰기는 한다).

\gamma = \lim_{n \rightarrow \infty } \left( 
\sum_{k=1}^n \frac{1}{k}  - \ln(n) \right)=\int_1^\infty\left({1\over\lfloor x\rfloor}-{1\over x}\right)\,dx

그 값을 소수점이하 50자리까지 구하면 다음과 같다.

0.57721 56649 01532 86060 65120 90082 40243 10421 59335 93992

목차

역사 [편집]

스위스의 수학자 레온하르트 오일러1735년 처음 정의했다. 그는 이 상수를 C와 O로 표시했다. 그리고 이탈리아의 수학자 로렌초 마스케로니는 이 수를 A와 a로 표시했다. 이 두 사람의 어느 저술에도 \gamma로 이 상수를 표시한 적이 없다. 그러나 후에 감마 함수와의 연관성이 발견되면서 이러한 표기가 굳어졌다.[1]

속성 [편집]

\gamma 값이 유리수인지 아닌지는 아직 알려져 있지 않다. 연분수(Continued fraction) 분석에 의해 만약 오일러 상수가 유리수라면 그 분모의 값은 적어도 10^{242080} 이상이라는 것이 알려져 있다.[1]

감마함수와의 관계 [편집]

감마 함수와는 다음과 같은 관계가 있다.

 -\gamma = \lim_{z\to 0} \left\{\Gamma(z) - \frac1{z} \right\}
                = \lim_{z\to 0} \left\{\Psi(z)   + \frac1{z} \right\}.

제타함수와의 관계 [편집]

리만 제타 함수와는 다음과 같은 관계가 있다.

\begin{align}\gamma &= \sum_{m=2}^{\infty} (-1)^m\frac{\zeta(m)}{m} \\ 
 &= \ln \left ( \frac{4}{\pi} \right ) + \sum_{m=2}^{\infty} (-1)^m\frac{\zeta(m)}{2^{m-1}m} \\
 &= \lim_{s \to 1^+} \sum_{n=1}^\infty \left ( \frac{1}{n^s}-\frac{1}{s^n} \right )  = \lim_{s \to 1} \left ( \zeta(s) - \frac{1}{s-1} \right ) \end{align}

적분식 [편집]

다음 적분 식으로도 오일러-마스케로니 상수를 얻을 수 있다.

\begin{align}\gamma &= - \int_0^\infty { e^{-x} \ln x }\,dx \\
 &= -\int_0^1 \ln\ln\left (\frac{1}{x}\right) dx \\
 &=  \int_0^\infty \left (\frac1{e^x-1}-\frac1{xe^x} \right)dx = \int_0^1\left(\frac 1{\ln x} + \frac 1{1-x}\right)dx\\
 &=  \int_0^\infty \left (\frac1{1+x^k}-e^{-x} \right)\frac{dx}{x},\quad k>0.\end{align}

외부 고리 [편집]

주석 [편집]

  1. 영문 위키피디아 번역.