Timeline for Conjectured closed form of $\int_0^1 \frac{\text{Li}_2\left(\frac{x}{4}\right)}{4-x}\,\log\left(\frac{1+\sqrt{1-x}}{1-\sqrt{1-x}}\right)\,dx$
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 25 at 6:02 | vote | accept | Martin.s | ||
| Feb 25 at 1:22 | comment | added | GH from MO | @HenriCohen Indeed. See my post below. | |
| Feb 25 at 1:17 | answer | added | GH from MO | timeline score: 11 | |
| Feb 24 at 17:00 | comment | added | Henri Cohen | As the OP clearly noticed, his formula is equivalent to the identity $$\sum_{n\ge1}H_n^{(2)}/((n+1)(2n+1)\binom{2n}{n})=\pi^4/972$$ which is probably known and easier to prove. | |
| Feb 24 at 15:23 | comment | added | Martin.s | I'm not sure because the integral came up in my discussion group, and the result matches numerically. | |
| Feb 24 at 15:04 | comment | added | GH from MO | Why do you think your integral equals $\pi^4/1944$? | |
| Feb 24 at 13:58 | comment | added | Martin.s | @GHfromMO sorry sir, I'm a new user on MathOverflow, and I edited the question, but I'm not sure if it was a good edit. | |
| Feb 24 at 13:56 | history | edited | Martin.s | CC BY-SA 4.0 |
deleted 117 characters in body; edited tags
|
| Feb 24 at 13:50 | comment | added | GH from MO | You can improve your post by adding a high-level tag and delete personal comments (life stories) like "I am going to have a look", "It's been a while", "Unless, someone wants to jump in", "I get it now". This is not a chat site. Ask a question concisely, and provide some context. Regarding high-level tags: meta.mathoverflow.net/questions/1075/… | |
| Feb 24 at 13:43 | history | edited | Martin.s | CC BY-SA 4.0 |
added 6 characters in body
|
| Feb 24 at 13:42 | comment | added | Martin.s | Why downvotes? Can someone explain | |
| S Feb 24 at 13:28 | review | First questions | |||
| Feb 25 at 1:25 | |||||
| S Feb 24 at 13:28 | history | asked | Martin.s | CC BY-SA 4.0 |