An Appell series over finite fields

Bing He,Long Li,Ruiming Zhang
DOI: https://doi.org/10.48550/arXiv.1609.08937
2017-05-01
Abstract:In this paper we present a finite field analogue for one of the Appell series. We shall derive its transformations, reduction formulas as well as generating functions.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to provide a strict mathematical definition for the analogue of the second - kind Apell series \(F_2\) over a finite field, and to derive its transformation formulas, simplification formulas and generating functions. Specifically: 1. **Define the second - kind Apell series \(F_2\) over a finite field**: The author defines the second - kind Apell series \(F_2(A;B,B';C,C';x,y)\) over a finite field and gives its expression: \[ F_2(A;B,B';C,C';x,y)=\varepsilon(xy)BB'CC'(- 1)\sum_{u,v}B(u)B'(v)BC(1 - u)B'C'(1 - v)A(1 - ux - vy), \] where \(A, B, B', C, C'\) are multiplicative characters on the finite field \(F_q\), and \(x, y\in F_q\). 2. **Derive transformation formulas and simplification formulas**: The author derives several transformation formulas and simplification formulas of \(F_2\), for example: \[ F_2(A;B,B';C,C';x,y)=F_2(A;B',B;C',C;y,x), \] and \[ F_2(A;B,B';C,C';x,1)=B'C'(-1){}_3F_2\left(\begin{array}{c}A, B, AC'\\C, ABC'\end{array}\middle|x\right). \] 3. **Generating function**: The author also establishes the generating function of \(F_2\), for example: \[ \frac{1}{q - 1}\sum_{\theta}(A\theta/\theta)F_2(A\theta;B,B';C,C';x,y)\theta(t)=A(1 - t)F_2\left(A;B,B';C,C';\frac{x}{1 - t},\frac{y}{1 - t}\right)-\cdots \] Through these works, the author hopes to provide new tools and methods for the study of multivariate hypergeometric series over finite fields, and further expand the application scope of the special function theory over finite fields.