[논문 리뷰] Additions to the formula lists in "Hypergeometric orthogonal polynomials and their $q$-analogues" by Koekoek, Lesky and Swarttouw

Tom H. Koornwinder|arXiv (Cornell University)|2014. 01. 04.

Mathematical functions and polynomials참고 문헌 60인용 수 22

한 줄 요약

이 보고서는 Koekoek, Lesky, 및 Swarttouw의 "Hypergeometric orthogonal polynomials and their $q$-analogues"에서 다루지 않은 (q-)초함수 수직 다항식에 대한 추가 공식을 종합하여 보완한다. 저자는 $q$-라거르, 스틸체스-위거트, 그리고 이산 $q$-에르미트 다항식에 특히 중점을 두어 새로운 항등식, 변환, 생성 함수를 제공하며, 참고 문헌이나 증명을 바탕으로 하여 특수함수 및 수직다항식 분야의 연구자들이 활용할 수 있는 기초 참고자료의 유용성을 높인다.

ABSTRACT

This paper gives a rather arbitrary choice of formulas for ($q$-)hypergeometric orthogonal polynomials which the author missed while consulting Chapters 9 and 14 in the book "Hypergeometric orthogonal polynomials and their $q$-analogues" by Koekoek, Lesky and Swarttouw. The systematics of these chapters will be followed here, in particular for the numbering of subsections and of references.

연구 동기 및 목표

• Koekoek, Lesky, 및 Swarttouw의 주요 참고문헌에 포함되지 않은 (q-)초함수 수직다항식에 대한 추가 공식들을 수집하고 체계화하는 것.
• 특히 수직성과 재귀관계와 같은 핵심 범주 외부의 공식 목록에서의 격차를 메우는 것.
• 특수함수 연구에서 자주 필요한 공식들에 대해 접근하기 쉬운 참고문헌 기반 유도 또는 증명을 제공하는 것.
• 특히 $q$-라거르, 스틸체스-위거트, 이산 $q$-에르미트 다항식에 대한 공식들을 포함하여 기초 참고자료의 유용성을 확장하는 것.
• 표준 자료에서 누락되거나 찾기 어려운 공식들을 참조 주석이 달린 정제된 컬렉션을 제공하여 연구자들을 지원하는 것.

제안 방법

• 표준 참고자료인 [GR], [DLMF], [AAR], 및 [Sz]에서 유래한 공식들을 체계적으로 수집하며, 주로 (q-)초함수 수직다항식에 중점을 둔다.
• 이미 알려진 변환, 예를 들어 이차 및 $q$-초함수 항등식을 적용하여 새로운 관계를 유도한다 (예: $q$-라거르 다항식과 이산 $q$-에르미트 다항식 간의 관계).
• 특히 $q$-지수 생성함수 (169)를 사용하여 $x^n$을 $p_n(x;a;q)$ 기반으로 전개하는 공식 (170)을 도출한다.
• 기존 형태와 일치하도록 매개변수를 조정하여 체중 함수를 수정하거나 재표현한다 (예: $w(x)$에 대한 (179) ).
• 이차 변환을 통해 서로 다른 다항식 가족 간의 연결 고리를 설정한다. 예를 들어 (171)에서 $p_n(x^2; q^{-1}; q^2)$ 와 $h_{2n}(x;q)$ 간의 관계를 규명한다.
• 생성함수 계수를 사용하여 (170)과 같이 $x^n$ 전개 공식을 유도한다. 이는 전개에서 $t$의 거듭제곱을 비교함으로써 이루어진다.

실험 결과

연구 질문

• RQ1 Koekoek, Lesky, 및 Swarttouw의 기초 참고자료에 누락된 (q-)초함수 수직다항식에 대한 추가 공식은 무엇인가?
• RQ2 생성함수를 어떻게 활용하여 다항식 기저 $p_n(x;a;q)$ 기반으로 $x^n$의 명시적 전개를 도출할 수 있는가?
• RQ3 스틸체스-위거트 다항식과 $q$-라거르 다항식의 정확한 체중 함수와 정규화 상수는 무엇이며, 특히 다른 매개변수화에서 어떻게 표현되는가?
• RQ4 이차 변환은 $q$-라거르 다항식과 이산 $q$-에르미트 다항식을 어떻게 연결하며, 그 정확한 계수 항등식은 무엇인가?
• RQ5 스틸체스-위거트 다항식의 체중 함수에 대한 정확한 매개변수화는 무엇이며, 문헌에 알려진 결과와 일치하도록 하는가?

주요 결과

• 생성함수 항등식 (169)은 리틀 $q$-라거르 다항식에 대한 $q$-지수 생성함수를 제공하며, 이는 전개 공식 유도에 기여한다.
• 공식 (170)은 $x^n$을 리틀 $q$-라거르 다항식 $p_k(x;a;q)$에 대한 유한합으로 정확히 전개하며, $q$-포흐하머 기호를 포함한 계수를 제공한다.
• 이차 변환 (171)은 $p_n(x^2; q^{-1}; q^2)$ 와 이산 $q$-에르미트 I 다항식 $h_{2n}(x;q)$ 간의 관계를 규명하며, $(q; q^2)_n$ 을 포함한 계수를 포함한다.
• 공식 (177)은 $\beta = -1/2$ 인 $q$-라거르 다항식과 이산 $q$-에르미트 II 다항식 $\tilde{h}_{2n}(x;q)$ 간의 유사한 연결 고리를 설정하며, 이는 이전 결과와 일관성을 확인한다.
• 수정된 체중 함수 (179)는 $\frac{\nu}{\nu}$ 로 표현되며, $\nu^2 = -1/(2\text{ln} q)$ 이다. 이는 [DLMF] 및 [Sz]의 알려진 매개변수화와 일치한다.
• 정규화 상수 $h_0$ 는 (174)에서 주어지며, $\beta \to \text{integer}$ 일 때 연속 극한을 가지며, $\beta \text{ integer} \to 0$ 일 때는 명시적으로 $h_n = q^{-\frac{1}{2}\beta(\beta+1)}(q;q)_\beta \text{log}(q^{-1})$ 로 평가된다 (175).