수학상수 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)] (파이겐바움 상수) |
1. 개요
오메가 常數 / Omega constant다음 방정식을 만족하는 실수 [math(x)]를 오메가 상수라고 정의하며, [math(\Omega)]로 표기한다.
[math(
xe^x=1
)]
따라서 [math(\Omega e^\Omega = 1)]이다. 람베르트 [math(W)] 함수를 이용하면 [math(W_0(1)=\Omega)]라고 나타낼 수 있다. 오메가 상수는 초월수임이 증명되어 있다.
이 방정식은 대수학적인 방법으로 풀기는 어렵고, 그래프를 동원한 해석 기하학적인 방법을 동원하면 대략적인 근사값을 찾을 수 있다. [math(xe^x=1)]의 양 변에 자연로그를 취하고 정리하면, 위 식은 다음과 같이 자연로그와 일차함수의 방정식이 된다.
[math(
\ln x = -x
)]
위 식은 함수 [math(f(x) = \ln x + x)]에 대하여 [math(f(x) = 0)]인 방정식과도 같은데 정의역인 양의 실수 범위에서 [math(f(x))]는 전단사함수이기 때문에[1] 위 방정식을 만족하는 해는 단 하나 존재하며, 그래프를 그려보면 [math(0)]과 [math(1)] 사이에 해가 있음을 알 수 있다. 그러나 이 해는 일반적인 방법[2]으로 구할 수 없다.
위 방정식 [math(\ln x = -x)]에 오메가 상수를 대입하면 다음과 같은 성질을 얻는다.
[math(
\Omega = -\ln\Omega = \ln\dfrac1\Omega
)]
한편, [math(W_0(x))]는 다음과 같이 매클로린 전개가 되는 것이 알려져 있고
[math(\displaystyle \begin{aligned} W_0(x) &= \sum_{n=1}^\infty \frac{(-n)^{n-1}}{n!} \,x^n \\ &= x -x^2 +\frac32 \,x^3 -\frac83 \,x^4 +\frac{125}{24} \,x^5 -\cdots \end{aligned} )] |
[math(\displaystyle \begin{aligned} \Omega &= \sum_{n=1}^\infty \frac{(-n)^{n-1}}{n!} \\ &= 1 -1 +\frac32 -\frac83 +\frac{125}{24} -\cdots \\ &\approx 0.5671432904 \end{aligned} )] |
자연로그의 밑의 역수를 무한 지수 탑 함수에 넣어도 얻을 수 있다. 아래 수식에서 윗화살표 2개 [math(\uparrow\uparrow)]는 커누스 윗화살표 표기법이다.
[math(\displaystyle \lim_{x \to \infty}\left(\frac{1}{e} \uparrow\uparrow x\right) = -\frac{W(-\ln(1/e))}{\ln(1/e)} = \Omega)] |
2. 항등식
- [math(\displaystyle \int_{-\infty}^\infty \frac{{\rm d}x}{(e^x-x)^2+\pi^2} = \frac1{1+\Omega})]
증명은 여기를 참고. 이 식의 일반화는 람베르트 W 함수 문서의 항등식 문단 참고.
3. 관련 문서
[1] [math(f''(x) = -\cfrac1{x^2} < 0)]이므로 [math(f(x))]는 위로 볼록한 개형인데 [math(f'(x) = \cfrac1x + 1)]은 [math(x>0)]일 때 [math(f'(x)>1)]로 항상 양수이므로 정의역 범위에서 기울기의 부호가 바뀌지 않고 따라서 [math(f(x))]는 증가함수이며 일대일 대응(전단사함수)이다.[2] 초등함수를 유한 번 사용해서 푸는 방법