"Durfee 사각형 항등식(Durfee rectangle identity)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
(피타고라스님이 이 페이지의 이름을 Durfee 사각형 항등식로 바꾸었습니다.)
 
(사용자 2명의 중간 판 15개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
*  (Durfee rectangle identity)<br><math>l \in \mathbb{Z}</math>,<br><math>\sum_{n,m\geq 0, n-m=l}\frac{q^{nm}}{(q)_n(q)_m}=\frac{1}{(q)_{\infty}}</math> 또는<br><math>\sum_{n\geq 0}\frac{q^{n(n+l)}}{(q)_n(q)_{n+l}}=\frac{1}{(q)_{\infty}}</math><br>
+
==개요==
  
−
 
+
*  (Durfee rectangle identity)
 +
<math>l \in \mathbb{N}</math>에 대하여, 다음이 성립한다
 +
:<math>\sum_{n,m\geq 0, n-m=l}\frac{q^{nm}}{(q)_n(q)_m}=\frac{1}{(q)_{\infty}}</math> 또는
 +
:<math>\sum_{n\geq 0}\frac{q^{n(n+l)}}{(q)_n(q)_{n+l}}=\frac{1}{(q)_{\infty}}</math>
  
−
 
+
 +
 
 +
(증명)
 +
 
 +
[[q-가우스 합]] 을 이용하자.
 +
:<math>\sum_{n=0}^{\infty}\frac{(a,q)_{n}(b,q)_{n}}{(c ,q)_{n}(q ,q)_{n}}(\frac{c}{ab})^{n}=\frac{(c/a;q)_{\infty}(c/b;q)_{\infty}}{(c;q)_{\infty}(c/(ab);q)_{\infty}}</math>
 +
 
 +
여기서 <math>a\to\infty, b\to\infty,c=q^l</math> 로 두면, 원하는 항등식을 얻는다. ■
 +
 
 +
 +
 
 +
  
 
(따름정리)
 
(따름정리)
 +
:<math>\sum_{n=0}^\infty p(n)q^n = 1+\sum_{n=1}\frac{q^{n^2}}{(1-q)^2(1-q^2)^2\cdots(1-q^n)^2}</math>
 +
 +
  
−
<math>\sum_{n=0}^\infty p(n)q^n = 1+\sum_{n=1}\frac{q^{n^2}}{(1-q)^2(1-q^2)^2\cdots(1-q^n)^2}</math>
+
  
−
 
+
  
 
(증명)
 
(증명)
  
−
http://cfranc.wordpress.com/2009/11/24/an-identity-of-ramanujan/ ■
+
 +
 
 +
http://cfranc.wordpress.com/2009/11/24/an-identity-of-ramanujan/ ■
 +
 
 +
 +
 
 +
 +
 
 +
 +
 
 +
 +
 
 +
==응용==
 +
 
 +
:<math>\frac{\sum_{l\geq 0}q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}=\sum_{n,m\geq 0}\frac{q^{\frac{1}{2}(an^2+(2-2a)mn+am^2)+b(n-m)+c}}{(q)_n(q)_m}</math>
 +
 
  
−
 
+
(증명)
 +
:<math>
 +
\begin{aligned}
 +
\frac{\sum_{l\geq 0}q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}&=\sum_{l\geq 0}\frac{q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}
 +
\end{aligned}
 +
</math>
  
−
 
+
<math>l=n-m</math> 로 두면,
 +
:<math>
 +
\begin{aligned}
 +
{}&=\sum_{l\geq 0}\sum_{n,m\geq 0, n-m=l}\frac{q^{\frac{a}{2}l^2+bl+c}q^{nm}}{(q)_n(q)_m}\\
 +
{}&=\sum_{n,m\geq 0}\frac{q^{nm+\frac{a}{2}(n-m)^2+b(n-m)+c}}{(q)_n(q)_m}=\sum_{n,m\geq 0}\frac{q^{\frac{1}{2}(an^2+(2-2a)mn+am^2)+b(n-m)+c}}{(q)_n(q)_m}
 +
\end{aligned}
 +
</math>
  
−
 
+
■
  
−
<h5>응용</h5>
+
  
−
<math>\frac{\sum_{l\geq 0}q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}=\sum_{n,m\geq 0}\frac{q^{\frac{1}{2}(an^2+(2-2a)mn+am^2)+b(n-m)+c}}{(q)_n(q)_m}</math>
+
  
−
(pf)
+
  
−
<math>\frac{\sum_{l\geq 0}q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}=\sum_{l\geq 0}\frac{q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}=\sum_{l\geq 0}\sum_{n,m\geq 0, n-m=l}\frac{q^{\frac{a}{2}l^2+bl+c}q^{nm}}{(q)_n(q)_m}</math>
+
  
−
<math>l=n-m</math>
+
==메모==
 +
* http://www.springerlink.com/content/l842207736576587/
 +
* http://siba-ese.unisalento.it/index.php/quadmat/article/download/6953/6317
 +
* Math Overflow http://mathoverflow.net/search?q=
  
−
<math>=\sum_{n,m\geq 0}\frac{q^{nm+\frac{a}{2}(n-m)^2+b(n-m)+c}}{(q)_n(q)_m}=\sum_{n,m\geq 0}\frac{q^{\frac{1}{2}(an^2+(2-2a)mn+am^2)+b(n-m)+c}}{(q)_n(q)_m}</math>
+
  
−
 . ■
+
  
−
 
+
==관련된 항목들==
  
−
 
 
  
−
 
+
  
−
http://www.springerlink.com/content/l842207736576587/
+
==리뷰논문, 에세이, 강의노트==
  
−
http://siba-ese.unisalento.it/index.php/quadmat/article/download/6953/6317
+
 +
[[분류:q-급수]]
 +
[[분류:분할수]]

2020년 12월 28일 (월) 02:52 기준 최신판

개요

  • (Durfee rectangle identity)

\(l \in \mathbb{N}\)에 대하여, 다음이 성립한다 \[\sum_{n,m\geq 0, n-m=l}\frac{q^{nm}}{(q)_n(q)_m}=\frac{1}{(q)_{\infty}}\] 또는 \[\sum_{n\geq 0}\frac{q^{n(n+l)}}{(q)_n(q)_{n+l}}=\frac{1}{(q)_{\infty}}\]


(증명)

q-가우스 합 을 이용하자. \[\sum_{n=0}^{\infty}\frac{(a,q)_{n}(b,q)_{n}}{(c ,q)_{n}(q ,q)_{n}}(\frac{c}{ab})^{n}=\frac{(c/a;q)_{\infty}(c/b;q)_{\infty}}{(c;q)_{\infty}(c/(ab);q)_{\infty}}\]

여기서 \(a\to\infty, b\to\infty,c=q^l\) 로 두면, 원하는 항등식을 얻는다. ■



(따름정리) \[\sum_{n=0}^\infty p(n)q^n = 1+\sum_{n=1}\frac{q^{n^2}}{(1-q)^2(1-q^2)^2\cdots(1-q^n)^2}\]




(증명)


http://cfranc.wordpress.com/2009/11/24/an-identity-of-ramanujan/ ■





응용

\[\frac{\sum_{l\geq 0}q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}=\sum_{n,m\geq 0}\frac{q^{\frac{1}{2}(an^2+(2-2a)mn+am^2)+b(n-m)+c}}{(q)_n(q)_m}\]


(증명) \[ \begin{aligned} \frac{\sum_{l\geq 0}q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}}&=\sum_{l\geq 0}\frac{q^{\frac{a}{2}l^2+bl+c}}{(q)_{\infty}} \end{aligned} \]

\(l=n-m\) 로 두면, \[ \begin{aligned} {}&=\sum_{l\geq 0}\sum_{n,m\geq 0, n-m=l}\frac{q^{\frac{a}{2}l^2+bl+c}q^{nm}}{(q)_n(q)_m}\\ {}&=\sum_{n,m\geq 0}\frac{q^{nm+\frac{a}{2}(n-m)^2+b(n-m)+c}}{(q)_n(q)_m}=\sum_{n,m\geq 0}\frac{q^{\frac{1}{2}(an^2+(2-2a)mn+am^2)+b(n-m)+c}}{(q)_n(q)_m} \end{aligned} \]

■





메모



관련된 항목들

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

원본 주소 "https://wiki.mathnt.net/index.php?title=Durfee_사각형_항등식(Durfee_rectangle_identity)&oldid=47812"