"5항 관계식 (5-term relation)"의 두 판 사이의 차이

2013년 6월 28일 (금) 02:23 판

개요

다이로그 함수(dilogarithm) 가 만족시키는 중요한 항등식
함수 다이로그 항등식(functional dilogarithm identity) 으로 일반화됨

로저스 다이로그 함수

\(x\in (0,1)\)일 때, 로저스 다이로그 함수 (Rogers' dilogarithm) 를 다음과 같이 정의

\[L(x)=\operatorname{Li}_2(x)+\frac{1}{2}\log x\log (1-x)=-\frac{1}{2}\int_{0}^{x}\frac{\log(1-y)}{y}+\frac{\log(1-y)}{1-y}dy\]

5항 관계식

로저스 다이로그 함수 \(L(x)\)
\(0\leq x,y\leq 1\) 일 때, 다음이 성립한다

\[L(x)+L(1-xy)+L(y)+L(\frac{1-y}{1-xy})+L\left( \frac{1-x}{1-xy}\right)=\frac{\pi^2}{2}\]

\(1-x_{i}=x_{i-1}x_{i+1}\), \(x_0=x\), \(x_2=y\)로 정의되는 점화식은 주기가 5인 수열이 된다\[x_0=x, x_1=1-xy, x_2=y, x_3=\frac{1-y}{1-xy}, x_4=\frac{1-x}{1-xy}\]
- 이 수열은 Lyness 차분방정식 이라는 이름으로 연구되기도 하였음
집합 \(\{0,1,\infty,y,xy\}\) 에서 4개의 원소를 뽑아 얻어지는 교차비(cross ratio)

q-이항정리를 통한 증명

[GM1997]참고
q-이항정리\[\sum_{n=0}^{\infty} \frac{(a;q)_n}{(q;q)_n}b^n=\frac{(ab;q)_{\infty}}{(b;q)_{\infty}}\]
z를 \((1-az)b=1-z\) 의 해로 정의, 즉\[z=\frac{1-b}{1-ab}\]
\(q=e^{-t}\)이고 t가 0으로 갈 때, 양변의 근사식은 다음과 같다
좌변 \(\frac{\operatorname{Li}_2(az)-\operatorname{Li}_2(a)-\operatorname{Li}_2(z)+\operatorname{Li}_2(1)-\log z\log b}{t}\)
우변 \(\frac{\operatorname{Li}_2(b)-\operatorname{Li}_2(ab)}{t}\)
양변의 근사식을 비교하여 5항 관계식을 얻는다 \[\operatorname{Li}_2(az)-\operatorname{Li}_2(a)-\operatorname{Li}_2(z)+\operatorname{Li}_2(1)-\log z\log b=\operatorname{Li}_2(b)-\operatorname{Li}_2(ab)\]

Pachner Move

사면체 두 개를 붙여 얻어진 다면체를 세 개의 사면체로 쪼개는 방법
쌍곡 3차원 다양체에 이를 적용하면, 다이로그 함수의 5항 관계식을 얻는다

파일:5항 관계식 (5-term relation)2.gif

재미있는 사실

" I like explicit, hands-on formulas. To me they have a beauty of their own. They can be deep or not. As an example, imagine you have a series of numbers such that if you add 1 to any number you will get the product of its left and right neighbors. Then this series will repeat itself at every fifth step! For instance, if you start with 3, 4 then the sequence continues: 3, 4, 5/3, 2/3, 1, 3, 4, 5/3, etc. The difference between a mathematician and a nonmathematician is not just being able to discover something like this, but to care about it and to be curious about why it's true, what it means, and what other things in mathematics it might be connected with. In this particular case, the statement itself turns out to be connected with a myriad of deep topics in advanced mathematics: hyperbolic geometry, algebraic K-theory, the Schrodinger equation of quantum mechanics, and certain models of quantum field theory. I find this kind of connection between very elementary and very deep mathematics overwhelmingly beautiful." Don Zagier (Mathematicians: An Outer View of the Inner World):

http://math.stackexchange.com/questions/11650/what-is-the-connection-of-the-sequence-3-4-5-3-2-3-1-with-deep-topics

역사

메모

매스매티카 파일 및 계산 리소스

https://docs.google.com/file/d/0B8XXo8Tve1cxOTZhOGNmMDEtYTk4My00MjIxLTg5Y2MtMGI5NDMzZjhjZjBh/edit?pli=1

사전 형태의 자료

리뷰논문, 에세이, 강의노트

Gregory Leibon, Scissors Congruence : The Birth of Hyperbolic Volume

@@ 38번째 줄: / 38번째 줄: @@
 ==Pachner Move==
+* 사면체 두 개를 붙여 얻어진 다면체를 세 개의 사면체로 쪼개는 방법
+* 쌍곡 3차원 다양체에 이를 적용하면, 다이로그 함수의 5항 관계식을 얻는다
 [[파일:5항 관계식 (5-term relation)1.gif]] [[파일:5항 관계식 (5-term relation)2.gif]]