"Durfee 사각형 항등식(Durfee rectangle identity)"의 두 판 사이의 차이
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 3개는 보이지 않습니다) | |||
| 4번째 줄: | 4번째 줄: | ||
<math>l \in \mathbb{N}</math>에 대하여, 다음이 성립한다 | <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,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 | + | :<math>\sum_{n\geq 0}\frac{q^{n(n+l)}}{(q)_n(q)_{n+l}}=\frac{1}{(q)_{\infty}}</math> |
| − | + | ||
(증명) | (증명) | ||
| 15번째 줄: | 15번째 줄: | ||
여기서 <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> | :<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/ ■ |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
==응용== | ==응용== | ||
| 54번째 줄: | 54번째 줄: | ||
</math> | </math> | ||
| − | <math>l=n-m</math> 로 두면, | + | <math>l=n-m</math> 로 두면, |
:<math> | :<math> | ||
\begin{aligned} | \begin{aligned} | ||
| 64번째 줄: | 64번째 줄: | ||
■ | ■ | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==메모== | ==메모== | ||
| 88번째 줄: | 77번째 줄: | ||
* Math Overflow http://mathoverflow.net/search?q= | * Math Overflow http://mathoverflow.net/search?q= | ||
| − | + | ||
| − | + | ||
==관련된 항목들== | ==관련된 항목들== | ||
| − | + | ||
==리뷰논문, 에세이, 강의노트== | ==리뷰논문, 에세이, 강의노트== | ||
| − | + | ||
[[분류: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=