"베일리 쌍(Bailey pair)과 베일리 보조정리"의 두 판 사이의 차이

2011년 11월 12일 (토) 05:58 판

다음을 만족시키는 두 수열\(\{\alpha_r\}, \{\beta_r\}\)을 a에 대한 베일리 쌍이라 부른다
\(\beta_L=\sum_{r=0}^{L}\frac{\alpha_r}{(q)_{L-r}(aq)_{L+r}}\)
켤레 베일리 쌍 \(\{\delta_r\}, \{\gamma_r\}\)
\(\gamma_L=\sum_{r=L}^{\infty}\frac{\delta_r}{(q)_{r-L}(aq)_{r+L}}=\sum_{r=0}^{\infty}\frac{\delta_{r+L}}{(q)_{r}(aq)_{r+2L}}\)
베일리 쌍을 얻기 위해 합공식의 q-analogue 들의 특별한 경우들을 많이 이용함

베일리 쌍을 이용하여 q-series 항등식을 증명할 수 있음
- 베일리 보조정리를 이용하는 경우
- 베일리 쌍의 정의로부터
  \(\beta_L=\sum_{r=0}^{L}\frac{\alpha_r}{(q)_{L-r}(aq)_{L+r}}\)

베일릴 보조 정리는 베일리 쌍과 켤레 베일리 쌍에 대한 항등식이다
네 수열\(\{\alpha_r\}, \{\beta_r\}\), \(\{\delta_r\}, \{\gamma_r\}\) 이
\(\beta_L=\sum_{r=0}^{L}{\alpha_r}{u_{L-r}v_{L+r}}\), \(\gamma_L=\sum_{r=L}^{\infty}{\delta_r}{u_{r-L}v_{r+L}}\)
이 조건을 만족시키면 다음이 성립한다
\(\sum_{n=0}^{\infty}\alpha_n\gamma_{n}=\sum_{n=0}^{\infty}\beta_n\delta_{n}\)
다음과 같이 u,v 를 선택한다 ( to get a Bailey pair relative to a)
\(u_{n}=\frac{1}{(q)_n}\) ,\(v_{n}=\frac{1}{(x)_n}\), 여기서
There is a conjugate Bailey pair
\(\delta_n=\frac{(y)_n(z)_n x^n}{y^n z^n}\)
\(\gamma_n=\frac{(x/y;q)_{\infty}(x/z;q)_{\infty}}{(x;q)_{\infty}(x/yz;q)_{\infty}}}\frac{(y)_n(z)_n x^n}{(x/y)_{n}(x/z)_{n}y^n z^n}\)

@@ 36번째 줄: / 36번째 줄: @@
 *  베일릴 보조 정리는 베일리 쌍과 켤레 베일리 쌍에 대한 항등식이다<br>
 *  네 수열<math>\{\alpha_r\}, \{\beta_r\}</math>, <math>\{\delta_r\}, \{\gamma_r\}</math> 이<br><math>\beta_L=\sum_{r=0}^{L}{\alpha_r}{u_{L-r}v_{L+r}}</math>,  <math>\gamma_L=\sum_{r=L}^{\infty}{\delta_r}{u_{r-L}v_{r+L}}</math><br> 이 조건을 만족시키면 다음이 성립한다<br><math>\sum_{n=0}^{\infty}\alpha_n\gamma_{n}=\sum_{n=0}^{\infty}\beta_n\delta_{n}</math><br>
+*  다음과 같이 u,v 를 선택한다 ( to get a Bailey pair relative to a)<br><math>u_{n}=\frac{1}{(q)_n}</math> ,<math>v_{n}=\frac{1}{(x)_n}</math>, 여기서<br>
-<h5 style="margin: 0px; line-height: 2em;"> </h5>
-*  Choose the following (in the following, x=aq to get a Bailey pair relative to a)<br><math>u_{n}=\frac{1}{(q)_n}</math> ,<math>v_{n}=\frac{1}{(x)_n}</math>,<br>
 *  There is a conjugate Bailey pair<br><math>\delta_n=\frac{(y)_n(z)_n x^n}{y^n z^n}</math><br>  <math>\gamma_n=\frac{(x/y;q)_{\infty}(x/z;q)_{\infty}}{(x;q)_{\infty}(x/yz;q)_{\infty}}}\frac{(y)_n(z)_n x^n}{(x/y)_{n}(x/z)_{n}y^n z^n}</math><br>