Abstract:Let $X_m$ denote the discrete circle with $m$ vertices. For $x,y\in X_{m}$ and complex $s$, let $G_{X_m,\chi_{\beta}}(x,y;s)$ be the resolvent kernel associated to the combinatorial Laplacian which acts on the space of functions on $X_{m}$ that are twisted by a character $\chi_{\beta}$. We will compute $G_{X_m,\chi_{\beta}}(x,y;s)$ in two different ways. First, using the spectral expansion of the Laplacian, we show that $G_{X_m,\chi_{\beta}}(x,y;s)$ is a generating function for certain trigonometric sums involving powers of the cosecant function; by choosing $\beta$ or $s$ appropriately, the sums in question involve powers of the secant function. Second, by viewing $X_{m}$ as a quotient space of $\mathbb{Z}$, we prove that $G_{X_m,\chi_{\beta}}(x,y;s)$ is a rational function which is given in terms of Chebyshev polynomials. From the existence and uniqueness of $G_{X_m,\chi_{\beta}}(x,y;s)$, these two evaluations are equal. From the resulting identity, we obtain a means by which one can obtain explicit evaluations of cosecant and secant sums. The identities we prove depend on a number of parameters, and when we specialize the values of these parameters we obtain several previously known formulas. Going further, we derive a recursion formula for special values of the $L$-functions associated to the cycle graph $X_{m}$, thus answering a question from <a class="link-https" data-arxiv-id="2212.13687v1" href="https://arxiv.org/abs/2212.13687v1">arXiv:2212.13687v1</a>.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the resolvent kernel on the discrete circle and its relationship with certain trigonometric function power series. Specifically, the goals of the paper can be summarized as follows:
1. **Calculation of the resolvent kernel**:
- The author calculates the resolvent kernel \(G_{X_m, \chi_\beta}(x, y; s)\) associated with the combinatorial Laplacian operator on the discrete circle \(X_m\), where \(X_m\) is a discrete circle with \(m\) vertices and \(\chi_\beta\) is a twisted character.
- Calculate \(G_{X_m, \chi_\beta}(x, y; s)\) by two different methods:
- The first method is to use the spectral expansion of the Laplacian operator to represent \(G_{X_m, \chi_\beta}(x, y; s)\) as the generating function of certain trigonometric series containing powers of the cosecant function.
- The second method is to regard \(X_m\) as the quotient space of the set of integers \(\mathbb{Z}\), and prove that \(G_{X_m, \chi_\beta}(x, y; s)\) is a rational function that can be represented by Chebyshev polynomials.
2. **Establish identities**:
- Due to the existence and uniqueness of \(G_{X_m, \chi_\beta}(x, y; s)\), the results of the above two calculation methods are equal. From this identity, the author obtains a method for the explicit calculation of the cosecant and secant power series.
3. **Recurrence formula for special values**:
- The author further derives a recurrence formula for the special values of the \(L\)-function associated with the cyclic graph \(X_m\), thus answering the question raised in the literature [XZZ22].
4. **Explicit calculation of the Dirichlet \(L\)-function**:
- The author also studies the explicit calculation of the Dirichlet \(L\)-function of the cyclic graph \(X_m\) at positive integers, especially for the case of even Dirichlet characters.
### Solutions to specific problems
1. **Calculation of the resolvent kernel**:
- By the spectral expansion method, the resolvent kernel \(G_{X_m, \chi_\beta}(x, y; s)\) is represented as the generating function of certain trigonometric series.
- By the quotient space method, the resolvent kernel \(G_{X_m, \chi_\beta}(x, y; s)\) is represented as a rational function that can be described by Chebyshev polynomials.
2. **Explicit calculation of trigonometric series**:
- By comparing the expressions of the resolvent kernel obtained by the two methods, the author obtains a method for the explicit calculation of the cosecant and secant power series.
- The explicit calculation of these series depends on the choice of some parameters. When these parameters take specific values, some known formulas can be obtained.
3. **Recurrence formula**:
- The author derives a recurrence formula for calculating the special values of the \(L\)-function associated with the cyclic graph \(X_m\).
- This recurrence formula answers the question raised in the literature [XZZ22], that is, how to directly calculate these special values.
4. **Explicit calculation of the Dirichlet \(L\)-function**:
- The author uses the Gauss formula to differentiate the original \(L\)-function, thereby obtaining the explicit calculation of the Dirichlet \(L\)-function at positive integers.
### Conclusion
This paper establishes the relationship between the resolvent kernel on the discrete circle and certain trigonometric function power series by calculating the resolvent kernel, and gives the explicit calculation methods of these series. In addition, the author also derives a recurrence formula for the special values of the \(L\)-function associated with the cyclic graph, thus solving the problem raised in the literature [XZZ22]. These results are not only of great significance in mathematics, but also have potential application values in physics and other fields.