오일러-마스케로니 상수(γ)란 무엇인가?
조화급수 1 + 1/2 + 1/3 + 1/4 + ⋯ 는 발산하지만 성장 속도는 놀라울 정도로 느리다. 백만 항을 더해도 겨우 14를 조금 넘을 뿐이다. 자연로그 ln(n)은 같은 속도로 자란다. 오일러-마스케로니 상수 γ는 이 둘 사이의 정확한 차이이며, γ = lim (1 + 1/2 + 1/3 + ⋯ + 1/n) - ln(n) 으로 정의된다.
조화합과 ln(n)의 차이는 n (으)로 ∞ 일 때 γ ≈ 0.5772 로 수렴한다. 수렴은 매우 느려서 n=1000에서도 차이는 여전히 약 0.001이다.
γ는 해석학과 수론 전반에 나타난다. 형식적으로는 γ = -ζ'(1) 과 연결되고, 감마 함수에서는 Γ'(1) = -γ 를 만족한다. 소수 간격의 분포, 베셀 함수, 디감마 함수의 점근 전개 등에도 등장한다.
γ가 유리수인지 무리수인지는 수학에서 가장 오래된 미해결 문제 가운데 하나다. 거의 모든 수학자는 γ가 초월수일 것이라 믿지만, 아직 증명은 없다. 현재는 6000억 자리 이상까지 계산되었으며, 값은 0.57721566490153286060651209008240243… 이다.
조화 부분합 H(n) (계단형)과 ln(n)+γ (매끄러운 곡선)의 비교. 둘의 차이는 0으로 가는 것이 아니라 H(n)−ln(n) (으)로 γ 로 수렴한다.
오일러-마스케로니 상수 γ는 약 0.57721566490153286060이다. 이것이 유리수인지 무리수인지는 아직 알려져 있지 않으며, 수학의 가장 유명한 미해결 문제 가운데 하나다. 오일러는 1734년에 이 상수를 발표했고, 마스케로니는 1790년에 독립적으로 계산했다. γ는 감마 함수, 리만 제타 함수, 메르텐스의 소수곱 정리, 베셀 함수, 소수 간격의 분포 등에 나타난다. 자릿수를 즉석 생성하는 스트리밍 알고리즘이 없기 때문에, 실제 계산값은 미리 계산해 저장해 둔다.
Euler-Mascheroni Constant γ is irrational. Its decimal expansion never ends and never repeats. The digits shown below are verified against the harmonic-logarithm limit.
FAQ
-
오일러-마스케로니 상수를 발견한 사람은?
레온하르트 오일러가 1735년에 조화급수와 자연로그의 차이를 연구하면서 처음 기술했습니다. 로렌초 마스케로니가 1790년에 더 많은 소수점 자리까지 계산하고 기호 γ를 부여했습니다. -
γ는 유리수인가요 무리수인가요?
아무도 모릅니다. 이것은 수학에서 가장 유명한 미해결 문제 중 하나입니다. 수학자들은 γ가 무리수일 것으로 강하게 추측하지만, 수 세기의 노력에도 불구하고 증명이 발견되지 않았습니다. 6000억 자리 이상까지 계산되었습니다. -
조화급수란 무엇인가요?
조화급수는 1 + 1/2 + 1/3 + 1/4 + ...입니다. 이 합은 한없이 커짐니다(니콜 도레스무가 1350년경에 증명). 하지만 매우 느리게 커집니다. γ는 n이 무한대로 갈 때 이 합과 ln n 사이의 정확한 차이를 측정합니다. -
π와 e에 비해 γ가 신비로운 이유는?
π와 e는 알려진 기하학적 의미가 있으며 둘 다 초월수로 증명되었습니다. γ는 이산적 합과 연속 함수 간의 더 미묘한 비교에서 발생합니다. 가장 기본적인 성질—분수가 될 수 있는지 여부—도 여전히 미해결입니다. -
γ는 과학에서 어디에 등장하나요?
γ는 소수의 분포, s=1 근처의 리만 제타 함수, 정수값에서의 감마 함수, 파동 물리학에 중요한 베셀 함수, 그리고 안테나 신호 커버리지 계산에 등장합니다.