Modified Bessel Functions in Analytic Number Theory

Bruce C. Berndt,Atul Dixit,Rajat Gupta,Alexandru Zaharescu

2023-03-05

Abstract:The modified Bessel functions $K_{\nu}(z)$, or, for brevity, K-Bessel functions, arise at key places in analytic number theory. In particular, they appear in beautiful arithmetic identities. A survey of these arithmetical identities and their appearances in number theory is provided.

Number Theory,Classical Analysis and ODEs

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to explore the applications of modified Bessel functions (K - Bessel functions) in analytic number theory and the background of their emergence. Specifically, the paper mainly focuses on the following aspects:

1. **The importance of modified Bessel functions in number theory**:
- The modified Bessel function \(K_\nu(z)\) has an important position in analytic number theory, especially frequently appearing in some elegant arithmetic identities.
- By reviewing these arithmetic identities and their application scenarios in number theory, the paper emphasizes the importance of modified Bessel functions.

2. **Dirichlet divisor problem**:
- The research involves the number of positive divisors \(d(n)\) of a positive integer \(n\), and defines the divisor sum function \(D(x)=\sum_{n\leq x}d(n)\).
- One of the key formulas is the Voronoï identity:
\[
D(x)=x(\log x + 2\gamma - 1)+\frac{1}{4}+\sum_{n = 1}^{\infty}d(n)\left(\frac{x}{n}\right)^{1/2}M_1(4\pi\sqrt{nx}),
\]
where \(M_1(z)\) is defined as:
\[
M_\nu(z):=-Y_\nu(z)-\frac{2}{\pi}K_\nu(z).
\]

3. **Ramanujan’s identity**:
- Ramanujan recorded in his lost notebook Bessel function identities involving double infinite series, and these identities are related to the Gauss circle problem and the Dirichlet divisor problem.
- In particular, the paper discusses in detail one of Ramanujan’s identities and generalizes it to a more general form.

4. **Voronoï summation formula**:
- Voronoï established a more general summation formula than the above - mentioned Voronoï identity, namely the Voronoï summation formula:
\[
\sum_{j = 0}^{\infty}d(j)f(j)=\int_{0}^{\infty}(2\gamma+\log x)f(x)dx+\sum_{n = 1}^{\infty}d(n)\int_{0}^{\infty}f(x)\left\{K_0(4\pi\sqrt{nx})-\frac{1}{2\pi}Y_0(4\pi\sqrt{nx})\right\}dx.
\]
- This formula is similar to the Poisson summation formula and has been widely used in number theory and other fields.

5. **Modular relations**:
- The paper also studies some modular relations involving modified Bessel functions, and these relations can be regarded as the generalization of the classical modular form theory.
- For example, Chandrasekharan and Narasimhan proved a modular relation in which the exponential function is replaced by the modified Bessel function.

In summary, the main purpose of this paper is to explore the various applications of modified Bessel functions in analytic number theory and show their importance and wide applications through specific examples and formulas.