"베일리 사슬(Bailey chain)"의 두 판 사이의 차이

2011년 11월 12일 (토) 06:41 판

기존의 베일리 쌍 relative to a 로부터 새로운 베일리 쌍om a known Bailey pair relative to a
\(\alpha^\prime_n= \frac{(\rho_1;q)_n(\rho_2;q)_n(aq/\rho_1\rho_2)^n}{(aq/\rho_1;q)_n(aq/\rho_2;q)_n}\alpha_n\)
\(\beta^\prime_n = \sum_{j=0}^{n}\frac{(\rho_1;q)_j(\rho_2;q)_j(aq/\rho_1\rho_2;q)_{n-j}(aq/\rho_1\rho_2)^j}{(q;q)_{n-j}(aq/\rho_1;q)_n(aq/\rho_2;q)_n}\beta_j\)
this is called the Bailey chain construction

by taking \(\rho_1,\rho_2\to \infty\) in the original Bailey chain , we get
\(\alpha^\prime_n= a^nq^{n^2}\alpha_n\)
\(\beta^\prime_L = \sum_{r=0}^{L}\frac{a^rq^{r^2}}{(q)_{L-r}}\beta_r\)
applying the Bailey pair equation
\(\beta^{'}_L=\sum_{r=0}^{L}\frac{\alpha^{'}_r}{(q)_{L-r}(aq)_{L+r}}\)
to the new Bailey pair, we get
\(\sum_{r=0}^{n}\frac{a^{r}q^{r^2}\alpha_r}{(q)_{n-r}(aq)_{n+r}}=\sum_{n_1=0}^{n}\frac{a^{n_1}q^{n_1^2}\beta_{n_{1}}}{(q)_{n-n_{1}}}\)

repeating this construction several times
\(\sum_{r=0}^{n}\frac{a^{kr}q^{kr^2}\alpha_r}{(q)_{n-r}(aq)_{n+r}}=\sum_{n_1=0}^{n}\sum_{n_2=0}^{n_1}\cdots\sum_{n_k=0}^{n_{k-1}}\frac{a^{n_1+\cdots+n_{k}}q^{n_1^2+\cdots+n_{k}^2}\beta_{n_{k}}}{(q)_{n-n_{1}}(q)_{n_{1}-n_{2}}\cdots (q)_{n_{k-2}-n_{k-1}}(q)_{n_{k-1}-n_{k}}}\)

Taking \(n\to\infty\), we get
\(\frac{1}{(aq)_{\infty}}\sum_{n=0}^{\infty}a^{kn}q^{kn^{2}}\alpha_{n}=\sum_{n_1\geq\cdots\geq n_{k}\geq0}\frac{a^{n_1+\cdots+n_{k}}q^{n_1^2+\cdots+n_{k}^2}\beta_{n_{k}}}{(q)_{n_{1}-n_{2}}\cdots (q)_{n_{k-2}-n_{k-1}}(q)_{n_{k-1}-n_{k}}}\)

initial Bailey pair
\(\alpha_{L}=(-1)^{L}q^{\binom{L}{2}}\frac{(1-aq^{2L})(a)_{L}}{(1-a)(q)_{L}}=(-1)^{L}q^{L(L-1)/2}\frac{(1-aq^{2L})(a)_{L}}{(1-a)(q)_{L}}\)
\(\beta_{L}=\delta_{L,0}\)
For example, if a=1,
\(\alpha_{L}=(-1)^{L}q^{L(L-1)/2}(1+q^{L})=(-1)^{L}(q^{(3L^2-L)/2}+q^{(3L^2+L)/2})\)
result of Bailey chain applied k-times
\(\alpha_{L}=(-1)^{L}a^{kL}q^{kL^{2}+L^2/2-L/2}\frac{(1-aq^{2L})(a)_{L}}{(1-a)(q)_{L}}\)
\(\beta_{L}=\sum_{L\geq n_1\geq\cdots\geq n_{k-1}\geq0}\frac{a^{n_1+\cdots+n_{k-1}}q^{n_1^2+\cdots+n_{k-1}^2}}{(q)_{L-n_1}(q)_{n_{1}-n_{2}}\cdots (q)_{n_{k-2}-n_{k-1}}(q)_{n_{k-1}}}\)
obtained q-series identity
\(\frac{1}{(q)_{\infty}}\sum_{r=-\infty}^{\infty}(-1)^{r}q^{r((2k+1)r+1-2jk)/2}=\sum_{n_1\geq\cdots\geq n_{k}\geq0}\frac{q^{n_1^2+\cdots+n_{k}^2+j(n_1+\cdots+n_{k})}}{(q)_{n_{1}-n_{2}}\cdots (q)_{n_{k-2}-n_{k-1}}(q)_{n_{k-1}}}\)
Setting k=1, a=1, we get the Euler pentagonal number theorem
\((q)_{\infty}=\sum_{k=-\infty}^\infty(-1)^kq^{k(3k-1)/2}\)
Setting k=2, a=1, we get one of RR identity
\(\sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} = \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty} \)
Setting k=2, a=q, we get one of RR identity
\(\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} = \frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty}\)
We frequently use Jacobi triple product identity
\(\sum_{n=-\infty}^\infty z^{n}q^{n^2}= \prod_{m=1}^\infty \left( 1 - q^{2m}\right) \left( 1 + zq^{2m-1}\right) \left( 1 + z^{-1}q^{2m-1}\right)\)

if k is bigger than 2, we get some cases of 앤드류스-고든 항등식(Andrews-Gordon identity)
모든 앤드류스-고든 항등식(Andrews-Gordon identity) 을 증명하려면, 베일리 격자(Bailey lattice) 가 필요하다

@@ 17번째 줄: / 17번째 줄: @@
 <h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">Bailey chain construction</h5>
-*  we derive a new Bailey pair relative to <em>a</em> from a known Bailey pair relative to <em>a</em><br><math>\alpha^\prime_n= \frac{(\rho_1;q)_n(\rho_2;q)_n(aq/\rho_1\rho_2)^n}{(aq/\rho_1;q)_n(aq/\rho_2;q)_n}\alpha_n</math><br><math>\beta^\prime_n = \sum_{j=0}^{n}\frac{(\rho_1;q)_j(\rho_2;q)_j(aq/\rho_1\rho_2;q)_{n-j}(aq/\rho_1\rho_2)^j}{(q;q)_{n-j}(aq/\rho_1;q)_n(aq/\rho_2;q)_n}\beta_j</math><br>
+*  기존의 베일리 쌍 relative to <em>a </em> 로부터 새로운 베일리 쌍om a known Bailey pair relative to <em>a</em><br><math>\alpha^\prime_n= \frac{(\rho_1;q)_n(\rho_2;q)_n(aq/\rho_1\rho_2)^n}{(aq/\rho_1;q)_n(aq/\rho_2;q)_n}\alpha_n</math><br><math>\beta^\prime_n = \sum_{j=0}^{n}\frac{(\rho_1;q)_j(\rho_2;q)_j(aq/\rho_1\rho_2;q)_{n-j}(aq/\rho_1\rho_2)^j}{(q;q)_{n-j}(aq/\rho_1;q)_n(aq/\rho_2;q)_n}\beta_j</math><br>
 *  this is called the Bailey chain construction<br>