"Durfee 사각형 항등식(Durfee rectangle identity)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 5개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==개요== | ==개요== | ||
| − | * (Durfee rectangle identity) | + | * (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-가우스 합]] 을 이용하자. | [[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>\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>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> | ||
| − | + | ||
| − | |||
| − | |||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
(증명) | (증명) | ||
| − | + | ||
| − | 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>\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>\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}}</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>l=n-m</math> 로 두면, |
| − | + | :<math> | |
| − | <math>=\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} | + | \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> | ||
■ | ■ | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==메모== | ==메모== | ||
| − | + | * 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 Overflow http://mathoverflow.net/search?q= | ||
| − | + | ||
| − | + | ||
==관련된 항목들== | ==관련된 항목들== | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==리뷰논문, 에세이, 강의노트== | ==리뷰논문, 에세이, 강의노트== | ||
| − | + | ||
| − | + | [[분류: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} \]
■
메모
- 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=