Title:New closed forms for a dilogarithmic integral, related integrals, and series

Abstract:In this study, we provide a new closed form for the integral $$\int_0^1 \frac{\mathrm{Li}_2(z) \ln(1+z)}{z}\, \mathrm{d}z.$$ We further extend this result by generalizing the integral to the form $$\int_0^1 \frac{\mathrm{Li}_2(z) \ln(1+az)}{z}\, \mathrm{d}z,$$ where $a \in \mathbb{C} \setminus(-\infty, -1)$ and $\mathrm{Li}_2(z)$ is the dilogarithm function. This extension is achieved by leveraging our newly established findings in conjunction with Vălean's results. Furthermore, we provide explicit closed forms for associated integrals, present and prove a novel transformation formula for double infinite series, expressing them as the sum of the square of an infinite series and another infinite series. We leverage this relationship to introduce new families of identities. In addition to these, we provide a new proof of Jonquière's inversion formula for order 4 and arguments $-\frac{1}{z}$ and $\frac{z}{z-1}$, thereby broadening the scope of our inquiry. Utilizing one of our newly established identities, we provide a novel closed form for the series $$\sum_{k=1}^\infty \frac{\overline{H}_k^{(m)} + (-1)^{k-1}H_k^{(m)}}{k^m},$$ for all $\Re{m} > 1$, in terms of the Riemann zeta function, where $H_k^{(m)} = 1 + \frac{1}{2^m} + \frac{1}{3^m} + \cdots + \frac{1}{k^m}$ represents the $k$th generalized harmonic number of order $m$, and $\overline{H}_k^{(m)} = 1 - \frac{1}{2^m} + \frac{1}{3^m} - \cdots + \frac{(-1)^{k-1}}{k^m}$ denotes the $k$th generalized skew-harmonic number of order $m$. Overall, our research contributes to the theory of infinite series and integrals.