Skip to main content

All Questions

31 votes
3 answers
2k views

What is a closed form for ${\large\int}_0^1\frac{\ln^3(1+x)\,\ln^2x}xdx$?

Some time ago I asked How to find $\displaystyle{\int}_0^1\frac{\ln^3(1+x)\ln x}x\mathrm dx$. Thanks to great effort of several MSE users, we now know that \begin{align} \int_0^1\frac{\ln^3(1+x)\,\ln ...
Oksana Gimmel's user avatar
41 votes
2 answers
2k views

Closed form for ${\large\int}_0^1\frac{\ln(1-x)\,\ln(1+x)\,\ln(1+2x)}{1+2x}dx$

Here is another integral I'm trying to evaluate: $$I=\int_0^1\frac{\ln(1-x)\,\ln(1+x)\,\ln(1+2x)}{1+2x}dx.\tag1$$ A numeric approximation is: $$I\approx-0....
Vladimir Reshetnikov's user avatar
15 votes
3 answers
2k views

Simplification of an expression containing $\operatorname{Li}_3(x)$ terms

In my computations I ended up with this result: $$\mathcal{K}=78\operatorname{Li}_3\left(\frac13\right)+15\operatorname{Li}_3\left(\frac23\right)-64\operatorname{Li}_3\left(\frac15\right)-102 \...
Oksana Gimmel's user avatar
14 votes
6 answers
3k views

Inverse of the polylogarithm

The polylogarithm can be defined using the power series $$ \operatorname{Li}_s(z) = \sum_{k=1}^\infty {z^k \over k^s}. $$ Contiguous polylogs have the ladder operators $$ \operatorname{Li}_{s+1}(z) ...
Simon's user avatar
  • 1,136
37 votes
2 answers
4k views

A difficult logarithmic integral ${\Large\int}_0^1\log(x)\,\log(2+x)\,\log(1+x)\,\log\left(1+x^{-1}\right)dx$

A friend of mine shared this problem with me. As he was told, this integral can be evaluated in a closed form (the result may involve polylogarithms). Despite all our efforts, so far we have not ...
Laila Podlesny's user avatar
33 votes
4 answers
3k views

Integral ${\large\int}_0^1\ln(1-x)\ln(1+x)\ln^2x\,dx$

This problem was posted at I&S a week ago, and no attempts to solve it have been posted there yet. It looks very alluring, so I decided to repost it here: Prove: $$\int_0^1\ln(1-x)\ln(1+x)\ln^...
Oksana Gimmel's user avatar
21 votes
1 answer
921 views

Closed form for ${\large\int}_0^1\frac{\ln^3x}{\sqrt{x^2-x+1}}dx$

This is a follow-up to my earlier question Closed form for ${\large\int}_0^1\frac{\ln^2x}{\sqrt{1-x+x^2}}dx$. Is there a closed form for this integral? $$I=\int_0^1\frac{\ln^3x}{\sqrt{x^2-x+1}}dx\...
Vladimir Reshetnikov's user avatar
16 votes
2 answers
888 views

Conjecture $\int_0^1\frac{\ln^2\left(1+x+x^2\right)}x dx\stackrel?=\frac{2\pi}{9\sqrt3}\psi^{(1)}(\tfrac13)-\frac{4\pi^3}{27\sqrt3}-\frac23\zeta(3)$

I'm interested in the following definite integral: $$I=\int_0^1\frac{\ln^2\!\left(1+x+x^2\right)}x\,dx.\tag1$$ The corresponding antiderivative can be evaluated with Mathematica, but even after ...
Vladimir Reshetnikov's user avatar
13 votes
2 answers
287 views

Log integrals I

In this example the value of the integral \begin{align} I_{3} = \int_{0}^{1} \frac{\ln^{3}(1+x)}{x} \, dx \end{align} was derived. The purpose of this question is to determine the value of the more ...
Leucippus's user avatar
  • 26.6k
11 votes
1 answer
255 views

A cool integral: $\int^{\ln{\phi}}_{0}\ln\left(e^{x}-e^{-x}\right)dx=-\frac{\pi^2}{20}$

I was looking at the equation $\ln{e^{x}-e^{-x}}$ and found that the zero was at $x=\ln{\phi}$ where $\phi$ is the golden ratio. I thought that was pretty cool so I attempted to find the integral. I ...
Dylan Levine's user avatar
  • 1,724
4 votes
2 answers
104 views

"Multi-stage logarithm" series expansion (e.g. $a^x+b^x+c^x=d$)

As everyone knows, the solution to $a^x=b$ is $x=\log_a{b}$. (Edit: Corrected from $x=\log_b{a}$.) But what about $a^x+b^x=c$? Let's define a "multilogarithm" function as: $a_0^x+a_1^x+...+a_n^x=...
user avatar
1 vote
0 answers
150 views

Evaluating the indefinite integral $\int x^k \log (1-x) \log (x) \log (x+1) \, dx$

Recently I have calculated the long resisting indefinite integral $\int \frac{1}{x} \log (1-x) \log (x) \log (x+1) \, dx$ (https://math.stackexchange.com/a/3535943/198592). Similar cases, but for ...
Dr. Wolfgang Hintze's user avatar
0 votes
1 answer
152 views

A dilogarithm identity?

I'm wondering whether there any nice identities (or relationships) that can simplify or possibly compact the following expressions: $$\operatorname{Li}_2(\beta e^{\alpha x}) - \operatorname{Li}_2(\...
Ali Abbasinasab's user avatar
0 votes
1 answer
122 views

A dilogarithm identity (simplification/compaction) [duplicate]

I'm wondering if there is any compact expression to compute (or approximate): $$\operatorname{Li}_2(pe^{-\alpha})-\operatorname{Li}_2(pe^{\alpha})$$ or $$\operatorname{Re}\{\operatorname{Li}_2(pe^{-...
Ali Abbasinasab's user avatar
29 votes
4 answers
10k views

Yet another log-sin integral $\int\limits_0^{\pi/3}\log(1+\sin x)\log(1-\sin x)\,dx$

There has been much interest to various log-trig integrals on this site (e.g. see [1][2][3][4][5][6][7][8][9]). Here is another one I'm trying to solve: $$\int\limits_0^{\pi/3}\log(1+\sin x)\log(1-\...
X.C.'s user avatar
  • 2,602

15 30 50 per page