[论文解读] A finite field analogue for Appell series F_3

Bing He|arXiv (Cornell University)|Apr 4, 2017

Advanced Mathematical Identities参考文献 3被引用 5

一句话总结

本文通过在 $$\mathbb{F}_q$$ 上使用乘法特征和雅可比和，引入了阿佩尔级数 $F_3$ 的有限域类比，建立了约化公式和生成函数。其主要贡献是一个涉及 $F_3(A,A';B,B';C;x,y)$ 的生成函数恒等式，该恒等式将经典超几何恒等式推广至有限域，从而在算术超几何理论中建立了新的代数结构。

ABSTRACT

In this paper we introduce a finite field analogue for the Appell series F_3 and give some reduction formulae and certain generating functions for this function over finite fields.

研究动机与目标

• 为算术超几何函数开发经典阿佩尔级数 $F_3$ 的有限域类比。
• 将格林的有限域超几何框架扩展至双重超几何函数，特别是 $F_3$。
• 利用特征和与雅可比和，推导新有限域 $F_3$ 类比的约化公式和生成函数。
• 建立将经典超几何变换推广至有限域的恒等式。
• 为有限域上多元超几何函数的进一步研究提供基础。

提出的方法

• 将有限域类比的 $F_3$ 定义为 $F_3(A,A';B,B';C;x,y) = \varepsilon(xy)BB'(-1)\sum_{u,v} B(u)B'(v)C\overline{B}\overline{B'}(1-u-v)\overline{A}(1-ux)\overline{A'}(1-vy)$。
• 使用乘法特征 $A, A', B, B', C \in \widehat{\mathbb{F}_q}^*$ 和平凡特征 $\varepsilon$ 在 $\mathbb{F}_q$ 上编码该函数。
• 应用雅可比和 $J(\chi,\lambda) = \sum_u \chi(u)\lambda(1-u)$ 及二项式系数类比 ${A \choose B} = B(-1)J(A, \overline{B})$ 的性质。
• 通过特征和展开与正交关系推导生成函数，特别是利用 $\frac{1}{q-1}\sum_\chi \chi(x)$ 提取系数。
• 通过结合特征和运算与格林工作中已知的恒等式（如 $\sum_\chi {A\chi \choose \chi} \chi(x) = (q-1){}_{2}F_1(A,B;C|x)$）建立恒等式。
• 将恒等式 ${}_{2}F_1(A,B;C|1) = A(-1){B \choose \overline{A}C}$ 作为约化与生成函数推导的关键工具。

实验结果

研究问题

• RQ1 如何通过特征和与雅可比和，在有限域上类比定义阿佩尔级数 $F_3$？
• RQ2 有限域 $F_3$ 类比的约化公式有哪些？它们与经典超几何恒等式有何关联？
• RQ3 能否推导出有限域 $F_3$ 的生成函数？它们满足何种函数方程？
• RQ4 生成函数如何反映类似于经典 $F_3$ 恒等式的变换性质？
• RQ5 特征和正交性与雅可比和恒等式在构造与简化有限域 $F_3$ 中起到何种作用？

主要发现

• 通过 $\mathbb{F}_q$ 上的乘法特征与雅可比和，定义了阿佩尔级数 $F_3$ 的有限域类比：$F_3(A,A';B,B';C;x,y) = \varepsilon(xy)BB'(-1)\sum_{u,v} B(u)B'(v)C\overline{B}\overline{B'}(1-u-v)\overline{A}(1-ux)\overline{A'}(1-vy)$。
• 建立了生成函数恒等式：$\frac{1}{q-1}\sum_\theta {BB'\overline{C}\theta \choose \theta} F_3(A,A';B\theta,B';C;x,y)\theta(t) = \overline{B}(1-t)F_3(A,A';B,B';C;\frac{x}{1-t},y) - \overline{B}(-t)\overline{B'}C(t)\left(\overline{C}B'(-x){\overline{A}\choose \overline{C}B'}{\overline{A'}\choose \overline{B'}}\overline{B'}(y) - CB'(-1)F_3(A,A';C\overline{B'},B';C;x,y)\right)$。
• 推导出第二个生成函数：$\frac{1}{q-1}\sum_\theta {BB'\overline{C}\theta \choose \theta} F_3(A,A';B,B'\theta;C;x,y)\theta(t) = \overline{B'}(1-t)F_3(A,A';B,B';C;x,\frac{y}{1-t}) + \overline{B}\overline{B'}C(-t)F_3(A,A';B,C\overline{B};C;x,y) - \overline{B}(y)\overline{B'}(-t)\overline{C}B\left(-\frac{y}{t}\right){\overline{A'}\choose \overline{C}B}{\overline{A}\choose \overline{B}}$。
• 通过特征和展开与正交性，推导出约化公式 $F_3(A,A';B,B';C;x,y) = \frac{1}{q-1}\sum_{\chi,\lambda} {\overline{A}\choose \chi}{\overline{A'}\choose \lambda}{C\overline{B'}\chi\choose C\chi\lambda} \chi(-x)\lambda(y)$。
• 结果将经典超几何恒等式推广至有限域，表明有限域 $F_3$ 满足类似于经典 $F_3$ 的函数方程。
• 证明依赖于特征和运算、正交性以及格林工作中已知的恒等式，特别是 $\sum_\chi {A\chi \choose \chi} \chi(x) = (q-1){}_{2}F_1(A,B;C|x)$ 和先前工作中得到的 $F_2$-型恒等式。