Abstract:Making use of an 1847 result of Newman, a (known) closed formula for a log-sine integral is rapidly obtained in terms of Riemann Zeta and Clausen functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to derive the closed - form expressions of log - sine integrals. Specifically, the author uses Newman's result in 1847 to quickly obtain a known closed - form of the log - sine integral, which is expressed in terms of the Riemann Zeta function and the Clausen function.
### Problem Background
The study of log - sine integrals can be traced back to Leibnitz's era and has wide applications in the field of mathematical physics. For example, they appear in the calculation of the effective action of field theory on the sphere with or without flux monodromy defects, and are also related to the Selberg trace formula. Choi, Cho, and Srivastava discussed this topic in detail in their paper and gave the closed - form of the simplest log - sine integral:
\[
\int_0^z dx \, x^{2p} \log(2 \sin(x/2)) = - (2p)! 2^p \sum_{i = 0}^{2p} \frac{(-1)^{i+[(i + 1)/2]}}{(2p - i)!} Cl_{i+2}(z) z^{2p - i}
\]
\[
\int_0^z dx \, x^{2p-1} \log(2 \sin(x/2)) = (-1)^{p + 1} (2p - 1)! \zeta(2p + 1)+(2p - 1)! 2^p \sum_{i = 0}^{2p-1} \frac{(-1)^{i+[(i + 1)/2]}}{(2p - i)!} Cl_{i+2}(z) z^{2p - i}
\]
The derivation processes of these expressions are rather complex, involving converting infinite series into finite sums, and then obtaining the final results through the relationship between the derivative of the Hurwitz ζ - function and the Clausen function.
### Main Contributions of the Paper
In this short note, the author proposes a more straightforward method to derive the closed - form of log - sine integrals, avoiding introducing additional identities and summation steps. The specific method is as follows:
1. **Define the integral**:
\[
I(M, x)\equiv\int_0^x dt \, t^M \log|\sin t|
\]
where \(M\) is an integer.
2. **Integration by parts**:
By repeatedly using integration by parts until the power of \(t\) in the integrand is reduced to zero, a recursive relation is obtained.
3. **Use Newman's result**:
Newman defined a function \(\Upsilon(x)\) and gave a recursive definition of its repeated integral:
\[
\Upsilon_n(x)=\int_0^x dt \, \Upsilon_{n - 1}(t)
\]
Through this recursive relation, the closed - form of the log - sine integral can be obtained.
4. **Final result**:
The final result can be expressed in terms of the Riemann Zeta function and the Clausen function, and is completely consistent with the results in previous literature.
### Conclusion
This paper provides a concise and direct method to derive the closed - form of log - sine integrals, avoiding complex infinite - series conversions and the use of high - order special functions. This method not only simplifies the derivation process but also reveals the natural occurrence of the Riemann Zeta function and the Clausen function in log - sine integrals.
### References
- Dowker, J.S. (2024). On a closed formula for a log–sine integral. arXiv:2403.14644v1 [math.NT].
- Choi, J., Cho, Y.J., & Srivastava, H.M. (2009). Log - Sine Integrals involving Series associated with the Zeta Function and Polylogarithms. Math. Scand.,