수열의 오일러 변환
둘러보기로 이동
검색으로 이동
개요
- 두 수열 <math>\{a_1,a_2,\cdots \}</math>, <math>\{b_1,b_2,\cdots \}</math> 사이에 다음이 성립할 때, 둘이 오일러 변환 관계에 있다고 함
- <math>
1 + \sum_{n=1}^{\infty} b_n x^n = \prod_{i=1}^{\infty} \frac{1}{(1-x^i)^{a_i}}\, </math>
- 생성함수 사이에 다음의 관계가 성립한다
- <math>
1 + B(x) = \exp\bigg[\sum_{k=1}^{\infty} \frac{A(x^k)}{k}\bigg]\, </math>
- 주어진 급수의 무한곱 표현을 찾는데 유용함
예
- <math>
\sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} = \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty} =1+ q +q^2 +q^3 +2q^4+2q^5 +3q^6+\cdots </math> 에서 <math>a_n</math>은 <math>1, 0, 0, 1, 0, 1, 0, 0, 1, 0,\cdots</math>로 주어지는 주기가 5인 수열
- 가우스의 항등식
- <math>
\sum_{m \geq 0}(-1)^m(2m+1)q^{m(m+1)/2}=(q;q)^3 </math> 에서 <math>a_n</math>은 <math>-3,-3,-3,\cdots</math>로 주어지는 상수열
- <math>\sum_{k=0}^\infty p(5k+4)q^k=5\frac{(q^5;q^5)_\infty^5}{(q;q)_\infty^6}=5+30 q+135 q^2+490 q^3+1575 q^4+4565 q^5+\cdots</math>
에서 <math>b_n=p(5n+4)/5</math>로 두면, <math>a_n</math>은 <math>6, 6, 6, 6, 1, 6, 6, 6, 6, 1,\cdots</math>로 주어지는 주기가 5인 수열
매스매티카 파일 및 계산 리소스
관련논문
- Kanade, Shashank, and Matthew C. Russell. ‘IdentityFinder and Some New Identities of Rogers-Ramanujan Type’. arXiv:1411.5346 Null, 19 November 2014. http://arxiv.org/abs/1411.5346.
- Garvan, Frank. 1998. “A Q-Product Tutorial for a Q-Series MAPLE Package.” arXiv:math/9812092 (December 16). http://arxiv.org/abs/math/9812092.