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

수학노트
둘러보기로 가기 검색하러 가기
18번째 줄: 18번째 줄:
 
<h5 style="margin: 0px; line-height: 2em;">바일 대수(Weyl algebra)</h5>
 
<h5 style="margin: 0px; line-height: 2em;">바일 대수(Weyl algebra)</h5>
  
* [[양자 바일 대수와 양자평면]]
+
* [[양자 바일 대수와 양자평면]] 참조
 
* <math>\mathbb{C}[q,q^{-1}]</math> 위에서 u,v 로 생성되는 대수, <math>uv=qvu</math> 를 만족시킴<br>
 
* <math>\mathbb{C}[q,q^{-1}]</math> 위에서 u,v 로 생성되는 대수, <math>uv=qvu</math> 를 만족시킴<br>
 
** [[q-이항계수 (가우스 다항식)]] 에서 양자평면이라는 이름으로 사용됨<br>
 
** [[q-이항계수 (가우스 다항식)]] 에서 양자평면이라는 이름으로 사용됨<br>
114번째 줄: 114번째 줄:
  
 
 
 
 
 +
 +
 
 +
 +
<h5>매스매티카 파일 및 계산 리소스</h5>
 +
 +
* https://docs.google.com/file/d/0B8XXo8Tve1cxTGw0Vy1Ma2R0Ujg/edit
 +
* http://www.wolframalpha.com/input/?i=
 +
* http://functions.wolfram.com/
 +
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 +
* [http://people.math.sfu.ca/%7Ecbm/aands/toc.htm Abramowitz and Stegun Handbook of mathematical functions]
 +
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]
 +
* [http://numbers.computation.free.fr/Constants/constants.html Numbers, constants and computation]
 +
* [https://docs.google.com/open?id=0B8XXo8Tve1cxMWI0NzNjYWUtNmIwZi00YzhkLTkzNzQtMDMwYmVmYmIxNmIw 매스매티카 파일 목록]
  
 
 
 
 

2012년 5월 29일 (화) 10:58 판

이 항목의 수학노트 원문주소

 

 

개요

 

 

바일 대수(Weyl algebra)
  • 양자 바일 대수와 양자평면 참조
  • \(\mathbb{C}[q,q^{-1}]\) 위에서 u,v 로 생성되는 대수, \(uv=qvu\) 를 만족시킴
  • 성질
    \((u;q)_{\infty}(v;q)_{\infty}=(u+v;q)_{\infty}\)
    \((v;q)_{\infty}(u;q)_{\infty}=(u+v-vu;q)_{\infty}\)
    \((v;q)_{\infty}(u;q)_{\infty}=(u;q)_{\infty}(-vu;q)_{\infty}(v;q)_{\infty}\)
  • 양자 5항 관계식 (5-term relation)
    \((v;q)_{\infty}(u;q)_{\infty}=(u;q)_{\infty}(-vu;q)_{\infty}(v;q)_{\infty}\)

 

 

 

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 )\)
    \(\int_0^{\infty} f(x) d_q x =(1-q)\sum_{k=-\infty}^{\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,q}(z) = -\int_0^z{{\ln (1-t)}\over t} d_{q}t \)

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

\(\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})\)

 

 

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

\(q=e^{-t}\) 이고 t가 0으로 갈 때,
\(\Psi(x)=(x,e^{-t})_{\infty}\approx(\sqrt{1-x})\exp(-\frac{\operatorname{Li}_{2}(x)}{t})\)

 

 

q가 root of unity 일 때의 근사식
  • [BR1995] section 3

 

 

역사

 

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

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

 

 

사전 형태의 자료

 

 

리뷰논문과 에세이

 

 

관련논문