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

수학노트
둘러보기로 가기 검색하러 가기
41번째 줄: 41번째 줄:
 
*  z를 <math>(1-az)b=1-z</math> 의 해로 정의, 즉<br><math>z=\frac{1-b}{1-ab}</math><br>
 
*  z를 <math>(1-az)b=1-z</math> 의 해로 정의, 즉<br><math>z=\frac{1-b}{1-ab}</math><br>
 
* <math>q=e^{-t}</math>이고 t가 0으로 갈 때, 양변의 근사식은 다음과 같다<br> 좌변  <math>\frac{\operatorname{Li}_2(az)-\operatorname{Li}_2(a)-\operatorname{Li}_2(z)+\operatorname{Li}_2(1)-\log z\log b}{t}</math><br> 우변 <math>\frac{\operatorname{Li}_2(b)-\operatorname{Li}_2(ab)}{t}</math><br>
 
* <math>q=e^{-t}</math>이고 t가 0으로 갈 때, 양변의 근사식은 다음과 같다<br> 좌변  <math>\frac{\operatorname{Li}_2(az)-\operatorname{Li}_2(a)-\operatorname{Li}_2(z)+\operatorname{Li}_2(1)-\log z\log b}{t}</math><br> 우변 <math>\frac{\operatorname{Li}_2(b)-\operatorname{Li}_2(ab)}{t}</math><br>
−
*  양변의 근사식을 비교하여 5항 관계식을 얻는다<br><math>\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)}</math><br>
+
*  양변의 근사식을 비교하여 5항 관계식을 얻는다 :<math>\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)</math><br>
  
 
 
 
 

2012년 11월 5일 (월) 03:29 판

이 항목의 스프링노트 원문주소

 

 

개요

 

 

 로저스 다이로그 함수

  • 로저스 다이로그 함수 (Roger's dilogarithm) 의 정의
    \(x\in (0,1)\)에서 로저스 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}\)
  • 집합 \(\{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)\]

 

 

재미있는 사실

" 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

 

 

역사

 

 

 

메모

 

 

 

관련된 항목들

 

 

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

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

[1]

원본 주소 "https://wiki.mathnt.net/index.php?title=5항_관계식_(5-term_relation)&oldid=1532"