On three classes of logarithmic integrals

Basic Information

• Paper ID: 2510.00870
• Title: On three classes of logarithmic integrals
• Authors: Necdet Batır, Nandan Sai Dasireddy
• Classification: math.NT (Number Theory)
• Publication Date: October 16, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2510.00870v2

Abstract

This paper computes in closed form the following families of definite integrals and proves that they can be expressed solely in terms of dilogarithms, arctangent integrals, and elementary functions: $\int_{0}^{1}\frac{\log\big(x^m+1\big)}{x+1}\,dx \quad \text{and}\quad \int_{0}^{1}\frac{\log\big(x^m+1\big)}{x^2+1}\,dx$ where $m$ is a positive odd integer. For positive even $m$, these integrals were previously computed by Sofo and Batır, while the odd case remained an open problem. The first class of integrals appears in Zagier's work on the Kronecker limit formula. Furthermore, the authors prove that the functional equation satisfied by the Herglotz-Zagier-Novikov function is a special case of a more general formula.

Research Background and Motivation

1. Core Problem: Computing definite integrals containing logarithmic functions, particularly when the exponent $m$ is odd. Such integrals have significant importance in number theory and the theory of special functions.
2. Significance:
   • These integrals are directly related to Zagier's work on the Kronecker limit formula
   • Closely connected to the theory of Herglotz-Zagier-Novikov functions
   • Applications in $L$-functions and modular forms theory in number theory
3. Limitations of Existing Methods:
   • Sofo and Batır resolved the case when $m$ is even
   • The odd case remained an open problem lacking a unified computational method
4. Research Motivation: To complete this theoretical framework, provide closed-form solutions for odd exponent cases, and establish connections with special functions.

Core Contributions

1. Resolving an Open Problem: First derivation of closed-form expressions for both classes of logarithmic integrals when $m$ is a positive odd integer
2. Establishing New Theoretical Connections: Proof that the functional equation of the Herglotz-Zagier-Novikov function is a special case of more general results
3. Providing a Unified Framework: Development of a systematic method for handling such integrals, involving dilogarithms $\text{Li}_2$ and arctangent integrals $\text{Ti}_2$
4. Explicit Formulas: Derivation of explicit computational results for small odd values $m=3,5$, etc.
5. Generalization of Functional Equations: Proposal of generalized forms of the Herglotz-Zagier-Novikov function and their properties

Detailed Methodology

Problem Definition

Computing closed-form expressions for the following two classes of definite integrals:

• $J(m) = \int_0^1 \frac{\log(x^m+1)}{x+1}dx$, where $m$ is a positive odd integer
• $\int_0^1 \frac{\log(x^m+1)}{x^2+1}dx$, where $m$ is a positive odd integer

Core Methodological Architecture

1. System of Fundamental Lemmas

The authors establish three key lemmas:

Lemma 1.1: For odd $m \geq 3$, there exists a decomposition formula: $\log\left[\left(\frac{1-u}{1+u}\right)^m + 1\right] = \frac{m+1}{2}\log 2 - m\log(1+u) + \sum_{k=0}^{(m-3)/2}\log(1+\phi_k) + \sum_{k=0}^{(m-3)/2}\log\left[u^2 + \frac{1-\phi_k}{1+\phi_k}\right]$ where $\phi_k = \cos\left(\frac{(2k+1)\pi}{m}\right)$.

Lemma 1.2: For non-negative real $q$: $\int_0^1 \frac{\log(u^2+q)}{1+u}du = \log 2 \log(1+q) - \arctan^2\left(\frac{1}{\sqrt{q}}\right) + \frac{1}{2}\text{Li}_2\left(\frac{1}{q+1}\right)$

Lemma 1.3: For positive real $q$: $\int_0^1 \frac{\log(x^2+q)}{1+x^2}dx = \frac{\pi}{2}\log(1+\sqrt{q}) + \text{Ti}_2\left(\frac{\sqrt{q}-1}{\sqrt{q}+1}\right) - G$

2. Variable Substitution Techniques

The key substitution $x = \frac{1-u}{1+u}$ transforms the original integrals into more tractable forms.

3. Complex Analysis Methods

Utilization of the factorization of $z^m + 1$: $z^m + 1 = (z+1)\prod_{k=0}^{(m-3)/2}[z^2 - 2z\phi_k + 1]$

Technical Innovations

1. Systematic Treatment: Decomposition of complex logarithmic integrals into computable combinations of basic integrals
2. Special Function Connections: Establishment of explicit relationships with dilogarithms $\text{Li}_2$ and arctangent integrals $\text{Ti}_2$
3. Generalization of Functional Equations: Proposal of a more general functional equation framework than the Herglotz-Zagier-Novikov function

Main Results

First Class of Integrals (Theorem 2.1)

For positive odd $m$: $J(m) = \frac{m}{2}\log^2 2 - \frac{(m^2-1)\pi^2}{24m} + \frac{1}{2}\sum_{k=0}^{(m-3)/2}\text{Li}_2\left(\cos^2\left(\frac{(2k+1)\pi}{2m}\right)\right)$

Second Class of Integrals (Theorem 2.2)

For positive odd $m$: $\int_0^1 \frac{\log(x^m+1)}{x^2+1}dx = \frac{m\pi}{8}\log 2 - \frac{(m-1)G}{2} + \frac{\pi}{4}\sum_{k=0}^{(m-3)/2}\log\left(1+\sin\frac{(2k+1)\pi}{m}\right) + \sum_{k=0}^{(m-3)/2}\text{Ti}_2\left(\frac{1}{\phi_k}\left(\sqrt{1-\phi_k^2}-1\right)\right)$

Concrete Examples

Example 1 ($m=3$)

$\int_0^1 \frac{\log(x^3+1)}{x+1}dx = \frac{1}{2}\text{Li}_2\left(\frac{3}{4}\right) + \frac{3}{2}\log^2 2 - \frac{\pi^2}{9}$

Example 2 (Second class, $m=3$)

$\int_0^1 \frac{\log(x^3+1)}{x^2+1}dx = -\frac{\pi}{8}\log 2 - G + \frac{\pi}{2}\log(1+\sqrt{3}) - \text{Ti}_2(2-\sqrt{3})$

Generalized Functional Equation (Theorem 2.3)

For appropriate functions $\phi$ and parameters, there exists a general functional equation: $F(x;\alpha,\beta) + F(1/x;\beta,\alpha) = \phi(\alpha)\phi(\beta) - \phi^2(0)$

Mathematical Technical Analysis

Special Function Applications

1. Dilogarithm: $\text{Li}_2(z) = \sum_{k=1}^{\infty} \frac{z^k}{k^2}$
2. Arctangent Integral: $\text{Ti}_2(x) = \int_0^x \frac{\arctan u}{u}du$
3. Catalan's Constant: $G = \sum_{k=0}^{\infty} \frac{(-1)^k}{(2k+1)^2}$

Computational Strategy

1. Exploitation of properties of complex roots of unity
2. Partial fraction decomposition
3. Integral transformations and integration by parts
4. Functional equations of special functions

Related Work

This paper builds upon the following important contributions:

1. Zagier's research on the Kronecker limit formula
2. Sofo and Batır's treatment of the even case
3. Choie and Kumar's work on Herglotz-Zagier-Novikov functions
4. Radchenko and Zagier's research on arithmetic properties

Conclusions and Discussion

Main Conclusions

1. Complete resolution of the computational problem for both classes of logarithmic integrals with odd exponents
2. Establishment of profound connections with special function theory
3. Provision of a systematic computational framework and explicit closed-form expressions

Theoretical Significance

1. Completeness: Together with existing results for even cases, forms a complete theoretical system
2. Depth: Reveals intrinsic connections between logarithmic integrals and important functions in number theory
3. Generalizability: The generalized functional equations provide a framework for further research

Application Prospects

1. Computation of special values of $L$-functions in number theory
2. Applications in modular forms theory
3. Discovery of special function identities

In-Depth Evaluation

Strengths

1. Complete Resolution of Open Problem: Systematic resolution of a long-standing open question for odd cases
2. Methodological Innovation: Skillful combination of complex analysis, special function theory, and integral transformations
3. Profound Results: Establishment of connections with important number-theoretic functions
4. Explicit Computations: Provision of verifiable concrete formulas

Technical Highlights

1. The construction of the lemma system reflects deep mathematical insight
2. The choice of variable substitution is precisely calibrated
3. The connections with special functions are natural and profound

Limitations

1. The methods are primarily applicable to odd cases; further exploration of unification with even cases is needed
2. Some intermediate results rely on known special function identities
3. Further research is required for generalization to more general forms

Impact Assessment

1. Theoretical Contribution: Provides important supplement to logarithmic integral theory
2. Methodological Value: Techniques employed may be applicable to similar problems
3. Application Potential: Broad application prospects in number theory and special function research

References

The paper cites 15 important references, spanning from classical integral tables (Gradshteyn-Ryzhik) to recent research on Herglotz-Zagier-Novikov functions, reflecting the complete development trajectory of this field.

This is an important work at the intersection of number theory and special function theory, which through ingenious technical methods resolves a long-standing open problem and makes substantial contributions to the development of related theory.