All Questions
3
questions
3
votes
1
answer
215
views
Is there an analytic solution to $\int_a^b \frac{\arctan(A+Bt)}{C^2 + (t-Z)^2}dt$?
Is there a sensible analytic solution to the following integral: $$\int_a^b \frac{\arctan(A+Bt)}{C^2 + (t-Z)^2}dt$$ where all constants are real and $C>0$.
This integral is part of the third term ...
11
votes
2
answers
728
views
How to compute $\int_0^1\frac{\text{Li}_2(x^2)\arcsin^2(x)}{x}dx$ or $\sum_{n=1}^\infty\frac{4^nH_n}{n^4{2n\choose n}}$
How to tackle
$$I=\int_0^1\frac{\text{Li}_2(x^2)\arcsin^2(x)}{x}dx\ ?$$
This integral came up while I was working on finding $\sum_{n=1}^\infty\frac{4^nH_n}{n^4{2n\choose n}}$.
First attempt: By ...
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-\...