Relations for the difference of two dilogarithms

Jean-Christophe Pain

2023-04-07

Abstract:In this work, we propose a double-series representation of the difference between two dilogarithms with specific arguments. The summation is derived combining a formula we recently found for the so-called Grotendieck-Krivine constant, and an identity obtained by Lima for the difference of two dilogarithms with arguments $\sqrt{2}-1$ and $1-\sqrt{2}$ respectively. We also give an integral representation of the difference considered by Lima, on the basis of a formula published by Brychkov.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the relationship between the difference of the dilogarithm of two specific parameters. Specifically, the author aims to propose a new double - series representation method to describe the difference between these two dilogarithm functions and explore its connection with the Grothendieck - Krivine constant.

### Main content and objectives of the paper

1. **Definition and applications of the dilogarithm function**:
- The dilogarithm function \( \text{Li}_2(z) \) is defined as:
\[
\text{Li}_2(z)=\sum_{k = 1}^{\infty}\frac{z^k}{k^2}
\]
- It can also be represented in integral form:
\[
\text{Li}_2(z)=-\int_{0}^{z}\frac{\ln(1 - t)}{t}\,dt
\]

2. **Existing relationships**:
- There are many relationships involving the dilogarithm function in the literature, for example:
\[
\text{Li}_2(z)+\text{Li}_2(-z)=\frac{1}{2}\text{Li}_2(z^2)
\]
\[
\text{Li}_2(1 - z)+\text{Li}_2\left(\frac{1}{1 - z}\right)=-\frac{1}{2}(\ln z)^2
\]

3. **Lima's research**:
- Lima obtained an interesting relationship:
\[
\text{Li}_2(\sqrt{2}-1)-\text{Li}_2(1-\sqrt{2})=\frac{\pi^{2}}{8}-\frac{1}{4}(\ln(\sqrt{2}+1))^{2}
\]

4. **New contributions**:
- The author combined a formula recently discovered by himself and Lima's result to propose a new double - series representation:
\[
\text{Li}_2(\sqrt{2}-1)-\text{Li}_2(1-\sqrt{2})=\frac{\pi(\pi - 1)}{8}+2\sum_{n = 1}^{\infty}\left[\sum_{k=n+1}^{\infty}(-1)^{k}\left(\frac{1}{4k-1}-\frac{1}{4k-3}\right)\right]^{2}
\]

5. **Integral representation**:
- Using the formula in Brychkov's manual, the author also gave an integral representation:
\[
\text{Li}_2(\sqrt{2}-1)-\text{Li}_2(1-\sqrt{2})=4\int_{0}^{1}\sqrt{1 - x^{2}}\arcsin[(\sqrt{2}-1)x]\,dx+(1+\sqrt{2})\left[1+\ln(2-\sqrt{2})-\frac{\ln 2}{2}\right]
\]

### Summary

This paper deeply studies the properties of the dilogarithm function \( \text{Li}_2(\sqrt{2}-1)-\text{Li}_2(1-\sqrt{2}) \) by introducing new double - series and integral representations, and reveals its connection with the Grothendieck - Krivine constant. These results not only enrich the dilogarithm function theory, but also provide new tools and perspectives for further mathematical and physical research.