"앤드류스-고든 항등식(Andrews-Gordon identity)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “<br><math>” 문자열을 “:<math>” 문자열로)
11번째 줄: 11번째 줄:
 
* [[로저스-라마누잔 항등식|로저스-라마누잔 연분수와 항등식]]의 일반화<br>
 
* [[로저스-라마누잔 항등식|로저스-라마누잔 연분수와 항등식]]의 일반화<br>
 
*  모듈라 성질을 가지며([[모듈라 형식(modular forms)]] 참조), [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)|q-초기하급수(q-hypergeometric series)]] 형태로 표현 가능<br>
 
*  모듈라 성질을 가지며([[모듈라 형식(modular forms)]] 참조), [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)|q-초기하급수(q-hypergeometric series)]] 형태로 표현 가능<br>
−
*  등각장론에서 c(2, 2k+1) minimal 모형에 의해 주어지는 표현의 캐릭터<br><math>\chi_j(\tau)=q^{h_j-c/24}\prod_{n\neq 0,\pm(j+1)}(1-q^n)^{-1}</math><br>
+
*  등각장론에서 c(2, 2k+1) minimal 모형에 의해 주어지는 표현의 캐릭터:<math>\chi_j(\tau)=q^{h_j-c/24}\prod_{n\neq 0,\pm(j+1)}(1-q^n)^{-1}</math><br>
  
 
 
 
 
19번째 줄: 19번째 줄:
 
==항등식==
 
==항등식==
  
−
*  자연수 <math>k\geq 2</math> , <math>1\leq i \leq k</math>에 대하여, 다음이 성립한다<br><math>\sum_{n_1,\cdots,n_{k-1}\geq0}\frac{x^{N_1^2+\cdots+N_{k-1}^2+N_i+\cdots+N_{k-1}}}{(x)_{n_1}...(x)_{n_{k-1}}}=\prod_{r\neq 0,\pm i \pmod {2k+1}}\frac{1}{1-x^r} </math><br> 여기서 <math>j\leq k-1</math>이면 <math>N_j=n_j+\cdots+n_{k-1}</math> , <math>j=k</math>이면 <math>N_j=0</math><br>
+
*  자연수 <math>k\geq 2</math> , <math>1\leq i \leq k</math>에 대하여, 다음이 성립한다:<math>\sum_{n_1,\cdots,n_{k-1}\geq0}\frac{x^{N_1^2+\cdots+N_{k-1}^2+N_i+\cdots+N_{k-1}}}{(x)_{n_1}...(x)_{n_{k-1}}}=\prod_{r\neq 0,\pm i \pmod {2k+1}}\frac{1}{1-x^r} </math><br> 여기서 <math>j\leq k-1</math>이면 <math>N_j=n_j+\cdots+n_{k-1}</math> , <math>j=k</math>이면 <math>N_j=0</math><br>
−
*  여러 문헌에서 다음과 같이 표현되기도 한다<br><math>\sum_{n_1\geq\cdots\geq n_{k-1}\geq0}\frac{q^{n_1^2+\cdots+n_{k-1}^2+n_i+\cdots+n_{k-1}}}{(q)_{n_{1}-n_{2}}\cdots (q)_{n_{k-2}-n_{k-1}}(q)_{n_{k-1}}}=\prod_{n\neq 0,\pm i\pmod {2k+1}}(1-q^n)^{-1}</math><br>
+
*  여러 문헌에서 다음과 같이 표현되기도 한다:<math>\sum_{n_1\geq\cdots\geq n_{k-1}\geq0}\frac{q^{n_1^2+\cdots+n_{k-1}^2+n_i+\cdots+n_{k-1}}}{(q)_{n_{1}-n_{2}}\cdots (q)_{n_{k-2}-n_{k-1}}(q)_{n_{k-1}}}=\prod_{n\neq 0,\pm i\pmod {2k+1}}(1-q^n)^{-1}</math><br>
  
 
 
 
 
32번째 줄: 32번째 줄:
 
  \frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty}
 
  \frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty}
 
  =1+q^2 +q^3 +q^4+q^5 +2q^6+\cdots</math><br>
 
  =1+q^2 +q^3 +q^4+q^5 +2q^6+\cdots</math><br>
−
*  i=2인 경우<br><math>G(q) = \sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} =  
+
*  i=2인 경우:<math>G(q) = \sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} =  
 
  \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty}
 
  \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty}
 
   =1+ q +q^2 +q^3 +2q^4+2q^5 +3q^6+\cdots</math><br>
 
   =1+ q +q^2 +q^3 +2q^4+2q^5 +3q^6+\cdots</math><br>
42번째 줄: 42번째 줄:
 
==k=3인 경우==
 
==k=3인 경우==
  
−
*  i=1인 경우<br><math>\sum_{n_1,n_{2}\geq0}\frac{q^{n_{1}^2+2n_1n_2+2n_{2}^{2}+n_1+2n_2}}{(q)_{n_1}(q)_{n_{2}}}=\prod_{r\neq 0,\pm 1 \pmod {7}}\frac{1}{1-q^r}=\frac{(q;q^7)_\infty (q^6; q^7)_\infty(q^7;q^7)_\infty}{(q)_\infty}</math><br>
+
*  i=1인 경우:<math>\sum_{n_1,n_{2}\geq0}\frac{q^{n_{1}^2+2n_1n_2+2n_{2}^{2}+n_1+2n_2}}{(q)_{n_1}(q)_{n_{2}}}=\prod_{r\neq 0,\pm 1 \pmod {7}}\frac{1}{1-q^r}=\frac{(q;q^7)_\infty (q^6; q^7)_\infty(q^7;q^7)_\infty}{(q)_\infty}</math><br>
−
*  i=2인 경우<br><math>\sum_{n_1,n_{2}\geq0}\frac{q^{n_{1}^2+2n_1n_2+2n_{2}^{2}+n_2}}{(q)_{n_1}(q)_{n_{2}}}=\prod_{r\neq 0,\pm 2 \pmod {7}}\frac{1}{1-q^r}=\frac{(q^2;q^7)_\infty (q^5; q^7)_\infty(q^7;q^7)_\infty}{(q)_\infty}</math><br>
+
*  i=2인 경우:<math>\sum_{n_1,n_{2}\geq0}\frac{q^{n_{1}^2+2n_1n_2+2n_{2}^{2}+n_2}}{(q)_{n_1}(q)_{n_{2}}}=\prod_{r\neq 0,\pm 2 \pmod {7}}\frac{1}{1-q^r}=\frac{(q^2;q^7)_\infty (q^5; q^7)_\infty(q^7;q^7)_\infty}{(q)_\infty}</math><br>
 
*  i=3인 경우<br>
 
*  i=3인 경우<br>
  

2013년 1월 12일 (토) 09:33 판

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

 

 

개요

 

 

항등식

  • 자연수 \(k\geq 2\) , \(1\leq i \leq k\)에 대하여, 다음이 성립한다\[\sum_{n_1,\cdots,n_{k-1}\geq0}\frac{x^{N_1^2+\cdots+N_{k-1}^2+N_i+\cdots+N_{k-1}}}{(x)_{n_1}...(x)_{n_{k-1}}}=\prod_{r\neq 0,\pm i \pmod {2k+1}}\frac{1}{1-x^r} \]
    여기서 \(j\leq k-1\)이면 \(N_j=n_j+\cdots+n_{k-1}\) , \(j=k\)이면 \(N_j=0\)
  • 여러 문헌에서 다음과 같이 표현되기도 한다\[\sum_{n_1\geq\cdots\geq n_{k-1}\geq0}\frac{q^{n_1^2+\cdots+n_{k-1}^2+n_i+\cdots+n_{k-1}}}{(q)_{n_{1}-n_{2}}\cdots (q)_{n_{k-2}-n_{k-1}}(q)_{n_{k-1}}}=\prod_{n\neq 0,\pm i\pmod {2k+1}}(1-q^n)^{-1}\]

 

 

k=2인 경우 : 로저스-라마누잔 항등식

  • k=2인 경우, 로저스-라마누잔 연분수와 항등식을 얻는다
  • i=1인 경우
     \(H(q) =\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} = \frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty} =1+q^2 +q^3 +q^4+q^5 +2q^6+\cdots\)
  • i=2인 경우\[G(q) = \sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} = \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty} =1+ q +q^2 +q^3 +2q^4+2q^5 +3q^6+\cdots\]

 

 

k=3인 경우

  • i=1인 경우\[\sum_{n_1,n_{2}\geq0}\frac{q^{n_{1}^2+2n_1n_2+2n_{2}^{2}+n_1+2n_2}}{(q)_{n_1}(q)_{n_{2}}}=\prod_{r\neq 0,\pm 1 \pmod {7}}\frac{1}{1-q^r}=\frac{(q;q^7)_\infty (q^6; q^7)_\infty(q^7;q^7)_\infty}{(q)_\infty}\]
  • i=2인 경우\[\sum_{n_1,n_{2}\geq0}\frac{q^{n_{1}^2+2n_1n_2+2n_{2}^{2}+n_2}}{(q)_{n_1}(q)_{n_{2}}}=\prod_{r\neq 0,\pm 2 \pmod {7}}\frac{1}{1-q^r}=\frac{(q^2;q^7)_\infty (q^5; q^7)_\infty(q^7;q^7)_\infty}{(q)_\infty}\]
  • i=3인 경우

\(\sum_{n_1,n_{2}\geq0}\frac{q^{n_{1}^2+2n_1n_2+2n_{2}^{2}}}{(q)_{n_1}(q)_{n_{2}}}=\prod_{r\neq 0,\pm 3 \pmod {7}}\frac{1}{1-q^r}=\frac{(q^3;q^7)_\infty (q^4; q^7)_\infty(q^7;q^7)_\infty}{(q)_\infty}\)

 

 

 

얻어지는 이차형식

\(n_{1}^{2}\)

\((n_{1}+n_{2})^{2}+n_{2}^{2}\)

\((n_{1}+n_{2}+n_{3})^{2}+(n_{2}+n_{3})^{2}+n_{3}^{2}\)

\((n_{1}+n_{2}+n_{3}+n_{4})^{2}+(n_{2}+n_{3}+n_{4})^{2}+(n_{3}+n_{4})^{2}+n_{4}^{2}\)

행렬은

\(\text{A=}\left( \begin{array}{ccccc} 2 & 2 & 2 & 2 & 2 \\ 2 & 4 & 4 & 4 & 4 \\ 2 & 4 & 6 & 6 & 6 \\ 2 & 4 & 6 & 8 & 8 \\ 2 & 4 & 6 & 8 & 10 \end{array} \right)\)

 

 

역사

 

 

메모

 

 

관련된 항목들

 

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 


 

 


 

 

블로그

원본 주소 "https://wiki.mathnt.net/index.php?title=앤드류스-고든_항등식(Andrews-Gordon_identity)&oldid=25036"