Abstract:We define a function $F_4^{\ast}$ as a finite field analogue of the classical Appell series $F_4$ using Gauss sums. We establish identities for $F_4^{\ast}$ analogous to those satisfied by the classical Appell series $F_4$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to define and study the analog function \(F_4^*\) of the Appell series \(F_4\) over a finite field, and to verify the similarity between these analog functions and the classical Appell series \(F_4\) by proving results over the finite field.
Specifically, the paper solves the problem in the following ways:
1. **Define \(F_4^*\) over a finite field**:
The author uses the concept of Gauss sums to define the analog function \(F_4^*\) of \(F_4\) over the finite field \(\mathbb{F}_q\). The definition is as follows:
\[
F_4^*(A;B;C,C';x,y)=\frac{1}{(q - 1)^2}\sum_{\psi,\chi\in\widehat{\mathbb{F}_q^{\times}}}\frac{g(A\chi\psi)g(B\chi\psi)g(C\psi)g(C'\chi)g(\psi)g(\chi)}{g(A)g(B)g(C)g(C')}\psi(x)\chi(y).
\]
Here \(A, B, C, C'\) are multiplicative characters over \(\mathbb{F}_q\), and \(g(\cdot)\) represents Gauss sums.
2. **Establish the properties of \(F_4^*\)**:
The author proves that \(F_4^*\) satisfies some important properties similar to the classical Appell series \(F_4\). For example, they prove the following theorems:
- **Theorem 1.1**: For \(x,y\in\mathbb{F}_q\) and \(x,y\neq1\), we have
\[
A(1 - x)B(1 - y)F_4^*\left(A;B;C,C';-\frac{x}{(1 - x)(1 - y)},-\frac{y}{(1 - x)(1 - y)}\right)
=\frac{1}{(q - 1)^2}\sum_{\chi,\psi\in\widehat{\mathbb{F}_q^{\times}}}{}_2F_1^*\left(\chi,A\psi;C';1\right){}_2F_1^*\left(\psi,B\chi;C;1\right)\frac{g(A\psi)g(B\chi)g(\chi)g(\psi)}{g(A)g(B)}\psi(-x)\chi(-y).
\]
- **Theorem 1.2**: For \(x,y\in\mathbb{F}_q\) and \(x,y\neq1\), we have
\[
F_4^*\left(A;B;C,ABC;-\frac{x}{(1 - x)(1 - y)},-\frac{y}{(1 - x)(1 - y)}\right)
={}_2F_1^*\left(A,B;C;-\frac{x}{1 - x}\right){}_2F_1^*\left(A,B;ABC;-\frac{y}{1 - y}\right)+\text{other terms}.
\]
3. **Further results**:
The paper also explores some other transformation formulas and special values involving \(F_4^*\), and proves that these results are consistent with the corresponding properties of the classical Appell series \(F_4\).
In conclusion, this paper aims to extend the classical Appell series by defining the \(F_4\) analog function \(F_4^*\) over a finite field and proving similar properties over the finite field.