[论文解读] 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 变换推导了两个发散双边基本超几何级数 ${}_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.

研究动机与目标

• 通过 $q$-Borel-Laplace 重整化方法，推导两个发散双边基本超几何级数 ${}_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$-theta 函数。
• 该方法通过解析延拓和 $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$-重整化框架作为连接经典分析的桥梁的可靠性。