[논문 리뷰] Asymptotic formulae of two divergent bilateral basic hypergeometric series

Hironori Mori, Takeshi Morita|arXiv (Cornell University)|2016. 11. 15.

Mathematical functions and polynomials참고 문헌 9인용 수 3

한 줄 요약

이 논문은 $q$-Borel-Laplace 변환을 사용하여 두 개의 발산하는 이항 기본 초함수 급수 ${}_1\psi_1(0;b;q,x)$ 및 ${}_1\psi_0(a;--;q,x)$에 대한 새로운 점점 수식을 유도한다. 이는 $q$-차분 방정식에서의 연결 문제를 다루기 위함이며, 주요 기여는 $q\to 1-0$ 극한이 잘 정의되어 있어 고전적 초함수 유형의 쌍곡함수를 복원함으로써 $q$-특수함수와 그 고전적 대응체 사이의 다리를 놓는 것이다.

ABSTRACT

We provide new formulae for the degenerations of the bilateral basic hypergeometric function ${}_1ψ_1 ( a; b; q, z )$ with using the $q$-Borel-Laplace transformation. These are thought of as the first step to construct connection formulae of $q$-difference equation for ${}_1ψ_1 ( a; b; q, z )$. Moreover, we show that our formulae have the $q o 1 - 0$ limit.

연구 동기 및 목표

• 두 개의 발산하는 이항 기본 초함수 급수 ${}_1\\psi_1(0;b;q,x)$ 및 ${}_1\\psi_0(a;--;q,x)$에 대한 점점 수식을 $q$-Borel-Laplace 재수렴 방법을 사용하여 유도하기.
• 발산하는 이항 급수와 수렴하는 단항 급수 간의 관계를 통해 $q$-차분 방정식의 연결 문제를 다루기.
• 유도된 수식의 $q\to 1-0$ 극한을 확립하여 기존의 고전적 특수함수를 복원하기.
• 차분 방정식 이론에서 전체 연결 공식을 구성하기 위한 기초를 마련하기.

제안 방법

• $q$-차분 방정식의 발산하는 형식적 멱급수 해를 재수렴하기 위해 $q$-Borel-Laplace 변환을 적용한다.
• $q$-Borel 변환의 제1형은 형식적 급수 $f(x) = \sum_{n\geq 0} a_n x^n$에 대해 $\mathcal{B}_q^+ f(\xi) = \sum_{n\geq 0} a_n q^{n(n-1)/2} \xi^n$로 정의된다.
• $q$-Laplace 변환의 제1형은 $\mathcal{L}_{q,\lambda}^+ \varphi(x) = \sum_{n\in\mathbb{Z}} \frac{\varphi(\lambda q^n)}{\theta_q(\lambda q^n / x)}$로 사용되며, 여기서 $\theta_q$는 $q$-티타 함수이다.
• 이 방법은 해석적 계속성과 $q$-주기적 계수를 통해 발산하는 이항 급수에서 수렴하는 단항 급수로의 재수렴 맵을 구성한다.
• $q$-Borel-Laplace 프레임워크를 통해 $q$-차분 방정식의 형식적 해에서 발산하는 멱급수 성분을 다룰 수 있다.
• $x \mapsto (1-q)x$ 또는 $x \mapsto x/(1-q)$로 스케일링하면 $q \to 1-0$ 근처에서 고전적 극한을 추출할 수 있다.

실험 결과

연구 질문

• RQ1 어떻게 $q$-Borel-Laplace 변환을 사용하여 발산하는 이항 기본 초함수 급수를 재수렴시켜 의미 있는 점점 수식을 도출할 수 있는가?
• RQ2 $q$-차분 방정식의 맥락에서 발산하는 이항 급수와 수렴하는 단항 급수 간의 관계는 무엇인가?
• RQ3 유도된 $q$-점점 수식의 $q\to 1-0$ 극한에서 어떤 고전적 특수함수가 나타나는가?
• RQ4 $q$-Borel-Laplace 방법은 $q$-차분 방정식의 전체 연결 공식을 체계적으로 구성하는 데 기여할 수 있는가?
• RQ5 $q$-재수렴 결과는 알려진 고전적 쌍곡함수 유형과 어떻게 관련이 있는가?

주요 결과

• ${}_1\\psi_1(0;b;q,x)$의 점점 수식은 $q$-Borel-Laplace 변환을 통해 $\widetilde{\psi}_\lambda^\mathrm{A}(x) = \frac{(q;q)_\infty}{(q^\beta;q)_\infty} \frac{\theta_q(\lambda)}{\theta_q(q^{1-\beta}\lambda)} \frac{\theta_q\left(\frac{q^{1-\beta}}{(1-q)}\frac{\lambda}{x}\right)}{\theta_q\left(\frac{1}{(1-q)}\frac{\lambda}{x}\right)} \sum_{n\geq 0} \frac{(1-q)^n}{(q;q)_n} x^n$로 표현되며, 잘 정의된 $q\to 1-0$ 극한을 가진다.
• $\widetilde{\psi}_\lambda^\mathrm{A}((1-q)x)$의 $q\to 1-0$ 극한은 $\Gamma(\beta) x^{1-\beta} e^x$를 유도하여 고전적 쌍곡함수 유형의 함수를 복원한다.
• ${}_1\\psi_0(a;--;q,x)$의 점점 수식은 $\widetilde{\psi}_\lambda^\mathrm{B}(x) = \frac{(q;q)_\infty}{(q^{1-\alpha};q)_\infty} \frac{\theta_q(q^\alpha\lambda)}{\theta_q(\lambda)} \frac{\theta_q\left(\frac{q^{\alpha+1}}{(1-q)}\frac{x}{\lambda}\right)}{\theta_q\left(\frac{q}{(1-q)}\frac{x}{\lambda}\right)} \sum_{n\geq 0} \frac{(1-q)^n}{(q;q)_n} \left(\frac{1}{q^\alpha x}\right)^n$로 주어지며, 일관된 $q$-재수렴이 이루어진다.
• $\widetilde{\psi}_\lambda^\mathrm{B}(x/(1-q))$의 $q\to 1-0$ 극한은 $\Gamma(1-\alpha) x^{-\alpha} e^{1/x}$를 유도하여 쌍곡함수 방정식의 알려진 고전적 해와 일치한다.
• $q$-Borel-Laplace 변환은 $q$-주기적 계수를 가진 수렴하는 단항 급수로의 사상으로 발산하는 이항 급수를 성공적으로 재수렴시켜 연결 문제를 해결한다.
• 고전적 극한은 기존의 특수함수와 일관성을 보이며, 이는 $q$-재수렴 프레임워크가 고전 해석학으로의 다리를 놓는 데 성공적임을 검증한다.