[논문 리뷰] Elementary derivations of summations and transformation formulas for q-series

George Gasper|ArXiv.org|1996. 05. 19.

Advanced Mathematical Identities참고 문헌 19인용 수 24

한 줄 요약

이 논문은 함수 방정식과 반복 기법을 사용하여 q-급수의 합과 변환 공식에 대한 간단하고 자그마한 유도를 제시하며, 매우 잘 맞는 기본 초함수 급수에 대한 새로운 합 공식의 가족을 이끌어낸다. 주요 기여는 해석적 계속성과 매개변수 치환을 통해 잭슨의 합 공식을 새롭게 도출함으로써, 표준 참고문헌을 넘어서 q-급수 이론에 깊이 있는 통찰을 제공한다.

ABSTRACT

We present some elementary derivations of summation and transformation formulas for q-series, which are different from, and in several cases simpler or shorter than, those presented in the Gasper and Bahman [1990] "Basic Hypergeometric Series" book (which we will refer to as BHS), the Bailey [1935] and Slater [1966] books, and in some papers; thus providing deeper insights into the theory of q-series. Our main emphasis is on methods that can be used to derive formulas, rather than to just verify previously derived or conjectured formulas. In section 5 this approach leads to the derivation of a new family of summation formulas for very well poised basic hypergeometric series _{6+2k}W_{5+2k}, k = 1,2,.... Several of the observations in this paper were presented, along with related exercises, in the author's minicourse on "q-Series" at the Fields Institute miniprogram on "Special functions, q-Series and Related Topics," June 12-14, 1995.

연구 동기 및 목표

• Gaspér와 Rahman의 'Basic Hypergeometric Series'(BHS), Bailey, Slater 등의 저서에서 기존 방법보다 더 단순하거나 더 짧은, q-급수 합과 변환 공식에 대한 간단하고 자가 포함된 유도를 제공하는 것.
• 기존 또는 추측된 공식의 검증이 아닌 유도에 초점을 맞춘 방법을 개발하여 q-급수의 구조에 깊이 있는 통찰을 제공하는 것.
• 매개변수 치환과 해석적 계속성을 통해 잭슨의 합 공식을 확장하여 매우 잘 맞는 기본 초함수 급수에 대한 새로운 합 공식의 가족을 도출하는 것.
• 기능 방정식과 반복 기법을 사용하여 q-급수의 변환 및 합 항등식을 체계적으로 생성하는 접근 방식을 수립하는 것.
• 해석적 계속성이 종료 급수 항등식을 비종료 사례로 확장하는 데서의 힘을 보여주며, 워터슨의 변환 공식의 맥락에서 특히 그렇다.

제안 방법

• 기능 방정식 f(a,z) = (1 - az)f(aq,z)를 수립하고 반복하여 유도함으로써 q-이항정리 유도: f(a,z) = (az;q)∞f(0,z).
• 기능 방정식 접근법을 사용하여 카우치와 히네의 증명을 일반화함으로써 복잡한 급수 조작을 피하는 방식으로 q-이항정리 유도.
• 해석적 계속성을 적용하여 워터슨의 종료된 변환 공식을 비종료 사례로 확장하고, 비종료 급수에 대한 그 유효성을 증명함.
• q^k 항으로 매개변수를 치환하여 비음수 정수 매개변수 k를 도입함으로써 일반화된 합 공식의 가족을 생성함.
• 기능 방정식에서 도출된 전개 공식을 사용하여 특정 수열 u_k를 대입함으로써 기존 공식을 통해 합을 구할 수 있는 새로운 합 항등식을 생성함.
• 기능 방정식의 반복 적용을 통해 종료된 8W7 급수에 대한 잭슨의 합 공식을 비종료된 매우 잘 맞는 6+2kW5+2k 급수로 확장함.

실험 결과

연구 질문

• RQ1 기존의 급수 조작 방식보다 기능 방정식을 사용하여 q-급수 합 공식을 더 단순하고 명확한 방식으로 도출할 수 있는가?
• RQ2 해석적 계속성을 사용하여 종료된 변환 공식을 비종료 사례로 확장할 수 있는가?
• RQ3 매개변수 치환과 기능 방정식의 반복 적용을 통해 어떤 새로운 합 공식의 가족을 도출할 수 있는가?
• RQ4 기능 방정식의 반복을 통해 잭슨의 합 공식을 더 단순화하고 일반화할 수 있는가?
• RQ5 이 방법에서 도출된 매우 잘 맞는 기본 초함수 급수의 새로운 가족의 구조는 어떠한가?

주요 결과

• 기능 방정식 f(a,z) = (1 - az)f(aq,z)를 통한 q-이항정리의 새로운 간단한 유도가 확립되었으며, f(a,z) = (az;q)∞f(0,z)로 이어진다.
• q-이항정리는 f(a,z) = (az;q)∞ / (z;q)∞로 유도되며, 카우치, 자코비, 히네의 고전적 결과와 일치한다.
• 기능 방정식 접근법은 급수 조작이나 로그 미분보다 더 단순하고 직관적인 q-이항정리 도출 경로를 제공한다.
• 매개변수 a, b, a/b, d, e1, ..., ek, aq^{n1+1}/e1, ..., aq^{nk+1}/ek를 가진 매우 잘 맞는 기본 초함수 급수에 대한 새로운 합 공식의 가족이 도출되었다: 6+2kW5+2k.
• 새로운 합 공식은 6+2kW5+2k = (q, aq, aq/bd, bq/d, q)∞ / (bq, aq/b, aq/d, q/d, q)∞ × ∏_{j=1}^k (aq/bej, bq/ej, q)_{nj} / (aq/ej, q/ej, q)_{nj} 로 주어지며, jq^{-(n1+...+nk)}/dj < 1 인 경우에 유효하다.
• 이 유도 방법은 매개변수 치환과 해석적 계속성을 통해 종료된 8W7 급수에 대한 잭슨의 합 공식을 비종료된 6+2kW5+2k 급수로 성공적으로 확장하였다.