(0)In this post we will talk a little about the similarity between these two terms appearing in the title. It is, in fact, what I learned in a course on Galois theory in Ecole Polytechnique.
(1)In number theory one common problem is to determine the number of solutions to some equation.
For example, suppose that is a prime number, and thus is a finite field.The simplest case of these problems is a linear equation in indeterminant :. Of course to determine the number of its solutions is a very simple problem.
Then what about this quadratic one: (we suppose that )? This, again, is not difficult. We just have to utilize the method of quadratic residue: if is a quadratic residue modulo , then this equation has two solutions, while otherwise it has no solution(for , there is always only one solution). Using the Legendre symbol, we can say that the number of solutions to this quadratic equation is just .
(2)There are three directions to generalize what we have said, generalize the polynomial in the equation either to higher degrees, either to more variables, or generalize the equation to a larger field.
Let’s do the first kind of generalization. So the problem becomes now: determine the number of solutions to the equations in .There is a little problem here: whether ? If , then consider the map and its restriction to . It’s easy to see that is a group homomorphism, and observing that doesn’t divide the cardinal of the group , we get that is just a bijection, and thus so is . So the problem in this case() is not very interesting. Therefore in the rest we want to consider the more interesting case, .(In case that , we can apply Fermat’s little theorem to the case ) . In order to get a formula similar to the above one, we need to introduce the concept of characters of an abelian group. Basically, a character of an abelian group is just a group homomorphism . In our case, we define a character on the finite field to be a character on the group and extend to the whole field by setting . Furthermore we can define some kind of composition between two characters over a same group: the point-wise multiplication, . It’s easy to verify that the resulting mapping is again a character. In fact, in noting that is a cyclic group, we verify easily that the set of all the characters over forms a cyclic group of order (We denote this set as ,and the neutral element as $e$, we can regard as the dual group of ). Now we can state the corresponding formula for the number of solutions to the equation :
We can prove this assertion by simply writing down all the explicitly.
In all these formulas, we see the same form: a sum of some characters satisfying some conditions. What does this remind us? In fact, in some way, this reminds us of generating functions: if we have a set of numbers indexed by positive integers, then the most natural way is to give this set a generating function , sometimes under some conditions for convenience we write . What we will do next is similar: we want to give a generating function. Noting that there are just elements in this set, so this generating function is a finite sum. We can try this one (it is indeed well defined). It is easy to find the correspondence between this generating function and the generic one.
This generating function has a special name, it is called the Gauss sum of .
It is worth pointing out that the Gauss sum has some similarity with the function: . Just comparing term by term: integral v.s sum, v.s , v.s .
(3)Now we want to deal with the second kind of generalization: adding more variables in the equation.
The simplest case is this one: find the number of solutions to the equation . Now we make use of a little trick to find out the number . In fact we can write . Expanding out, and noting that (the number of non zero quadratic residues equals that of non-quadratic residues), we obtain . To evaluate the second term, we write .
So here we see another form of sum, that is . In other words, if we define , then after some similar calculations, we have that . This definition gives the Jacobi sum .
(4)So after a lengthy introduction, we define the Jacobi sum, and understand that Jacobi sum can be used to calculate the number of solutions to some kind of equations.
Now since the title of this post includes another name, ‘Bessel functions’, next we want to formally talk a little bit about the similarity between Jacobi sum and Bessel functions.
The Beta function is defined to be . Compare this function with the Jacobi sum, their similarity is very clear.
Furthermore, we know that there is some relation between the Beta function and the function, that is
In fact, we also have such relation between the Jacobi sum and the Gauss sum, that is