[論文レビュー] Asymptotic formulae of two divergent bilateral basic hypergeometric series

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

Mathematical functions and polynomials参考文献 9被引用数 3

ひとこと要約

本稿では、$q$-Borel-Laplace変換を用いて、$q$-差分方程式における接続問題を解消するため、2つの発散する両側基本超幾何級数 ${}_1\psi_1(0;b;q,x)$ および ${}_1\psi_0(a;--;q,x)$ に対する新しい漸近公式を導出する。主な貢献は、$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.

研究の動機と目的

• $q$-Borel-Laplace再帰法を用いて、2つの発散する両側基本超幾何級数 ${}_1\\psi_1(0;b;q,x)$ および ${}_1\\psi_0(a;--;q,x)$ に対する漸近公式を導出すること。
• 発散する両側級数を収束する単一側級数に結びつけることにより、$q$-差分方程式の接続問題を扱うこと。
• 導出された公式の $q\to 1-0$ 極限を確立し、既知の古典的特殊関数を回復すること。
• $q$-差分方程式理論における完全な接続公式を構築する基盤を提供すること。

提案手法

• $q$-Borel-Laplace変換を用いて、$q$-差分方程式の形式的冪級数解の発散級数を再帰すること。
• $q$-Borel変換の第一種は、形式的級数 $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変換の第一種は $\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$-再帰フレームワークが古典的解析への橋渡しとして妥当であることが確認される。