"양자 다이로그 함수(quantum dilogarithm)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
54번째 줄: 54번째 줄:
  
 
 
 
 
 
+
==양자 다이로그 항등식==
 
+
* [[양자 다이로그 항등식 (quantum dilogarithm identities)]]
==바일 대수(Weyl algebra)와 양자 다이로그 항등식==
 
 
 
* [[양자 바일 대수와 양자평면]] 참조
 
* <math>\mathbb{C}[q,q^{-1}]</math> 위에서 u,v 로 생성되는 대수, <math>uv=qvu</math> 를 만족시킴<br>
 
** [[q-이항계수 (가우스 다항식)]] 에서 양자평면이라는 이름으로 사용됨<br>
 
* Schützenberger 항등식  
 
:<math>(u;q)_{\infty}(v;q)_{\infty}=(u+v;q)_{\infty}</math>
 
* Faddeev-Volkov 항등식
 
:<math>(v;q)_{\infty}(u;q)_{\infty}=(u+v-vu;q)_{\infty}</math>
 
* Faddeev-Kashaev 양자 [[5항 관계식 (5-term relation) |5항 관계식 (5-term relation)]]  
 
:<math>(v;q)_{\infty}(u;q)_{\infty}=(u;q)_{\infty}(-vu;q)_{\infty}(v;q)_{\infty}</math><br>
 
 
 
 
 
 
  
 
 
 
 
92번째 줄: 78번째 줄:
 
 
 
 
  
 
 
  
 
==관련된 항목들==
 
==관련된 항목들==
126번째 줄: 111번째 줄:
  
 
==관련논문==
 
==관련논문==
* Faddeev, L. D. 2012. “Volkov’s Pentagon for the Modular Quantum Dilogarithm.” arXiv:1201.6464 (January 31). http://arxiv.org/abs/1201.6464.
 
 
* Quantum dilogarithm, [http://wain.mi.ras.ru/indexrus.html Wadim Zudilin], Preprint, Bonn and Moscow (2006)
 
* Quantum dilogarithm, [http://wain.mi.ras.ru/indexrus.html Wadim Zudilin], Preprint, Bonn and Moscow (2006)
 
* [http://dx.doi.org/10.1023/A:1007364912784 The hyperbolic volume of knots from quantum dilogarithm] R. M. Kashaev, 1996
 
* [http://dx.doi.org/10.1023/A:1007364912784 The hyperbolic volume of knots from quantum dilogarithm] R. M. Kashaev, 1996

2013년 5월 30일 (목) 03:41 판

개요

\[\Psi(z)=(z;q)_{\infty}=\prod_{n=0}^{\infty}(1-zq^n)=\sum_{n\geq 0}\frac{(-1)^nq^{n(n-1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)} z^n\]

\[(-z;q)_{\infty}=\prod_{n=0}^{\infty}(1+zq^n)=1+\sum_{n\geq 1}\frac{q^{n(n-1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)} z^n\]

 

잭슨 적분과 양자 다이로그 함수

q-integral (Jackson integral)

  • \(0<q<1\)에 대하여 다음과 같이 정의

\[\int_0^a f(x) d_q x = a(1-q)\sum_{k=0}^{\infty}q^k f(aq^k )\]

  • \(q\to 1\) 이면,

\[\int_0^a f(x) d_q x \to \int_0^a f(x) dx \]


 

양자 다이로그 함수(quantum dilogarithm)

\[\operatorname{Li}_2(z) = -\int_0^z{{\ln (1-t)}\over t} dt \]

  • 잭슨 적분을 이용하여 $\operatorname{Li}_{2,q}(z)$를 다음과 같이 정의

\[\operatorname{Li}_{2,q}(z) = -\int_0^z{{\ln (1-t)}\over t} d_{q}t=-z(1-q)\sum_{n=0}^{\infty}q^n \frac{\log (1-zq^n)}{zq^n}=(q-1)\sum_{n=0}^{\infty}\log (1-zq^n) \]

  • 양자 다이로그 함수를 다음과 같이 정의함

\[\Psi(z) :=(z;q)_{\infty}=\prod_{n=0}^{\infty}(1-zq^n)=\sum_{n\geq 0}\frac{(-1)^nq^{n(n-1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)} z^n=\exp(\frac{\operatorname{Li}_{2,q}(z)}{q-1})\]

  • 다음의 함수를 양자 다이로그 함수로 정의하는 경우도 있음

$$ \operatorname{Li}_{2}(x;q):=\sum_{n=1}^{\infty}\frac{x^n}{n(1-q^n)} $$

  • 다음의 관계가 성립한다

$$ -\log \Psi(x) =\sum_{i=0}^{\infty}-\log(1-xq^i)=\sum_{i=0}^{\infty}\sum_{n=1}^{\infty}\frac{1}{n}q^{in}x^{n}=\sum_{n=1}^{\infty}\frac{x^n}{n(1-q^n)} $$

 

\(q\to 1\) 일 때의 근사식

  • \(q=e^{-t}\) 이고 t가 0으로 갈 때,

\[\Psi(x)=(x,e^{-t})_{\infty}\sim(\sqrt{1-x})\exp(-\frac{\operatorname{Li}_{2}(x)}{t})\] $$ \operatorname{Li}_{2}(x;e^{-t})\sim \frac{\text{Li}_2(x)}{t}-\frac{1}{2} \log (1-x)-\frac{t x}{12 (x-1)}+\frac{t^3 x (x+1)}{720 (x-1)^3}-\frac{t^5 x \left(x^3+11 x^2+11 x+1\right)}{30240 (x-1)^5}+\cdots $$


 

q가 root of unity 일 때의 근사식

  • [BR1995] section 3

 

양자 다이로그 항등식

 

역사

 

 

 

메모

 


관련된 항목들

 

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


 

사전 형태의 자료


 

리뷰논문과 에세이

 

 

관련논문