Evaluate $\int_0^{\infty } \log \left(\frac{a^2}{x^2}+1\right) \log \left(\frac{b^2}{x^2}+1\right) \log \left(\frac{c^2}{x^2}+1\right) \, dx$

definite integralsintegration

We know that (G&R): $$\int_0^{\infty } \log \left(\frac{a^2}{x^2}+1\right) \log \left(\frac{b^2}{x^2}+1\right) \, dx=2 \pi ((a+b) \log (a+b)-a \log (a)-b \log (b)) $$ Where $a, b>0$. It can be proved by using Feynman's trick (i.e. differentiate w.r.t parameters) twice. The problem is: What are the closed-forms of following generalized integral: $$I=\int_0^{\infty } \log \left(\frac{a^2}{x^2}+1\right) \log \left(\frac{b^2}{x^2}+1\right) \log \left(\frac{c^2}{x^2}+1\right) \, dx $$
I've weakened the original problem and would like you to give some suggestions on it. Also this is related. Thank you.

Best Answer

We have for $a,b,c>0$

  • $\scriptsize \int_0^{\infty } \log \left(\frac{a^2}{x^2}+1\right) \log \left(\frac{b^2}{x^2}+1\right) \log \left(\frac{c^2}{x^2}+1\right) \, dx=\Re\left(2 c \pi \log ^2(-c)+2 c \pi (-\log (-c)+\log (c)-2) \log (-c)+2 a \pi \log (-c)+2 c \pi \log ^2(c)-2 (a-c) \pi \log \left(1-\frac{a}{a-c}\right)+2 (a-c) \pi \log \left(1-\frac{a+b}{a-c}\right)+2 c \pi \log (b) \log \left(1-\frac{b}{c}\right)-2 c \pi \log \left(1-\frac{b}{c}\right)-2 c \pi \log (a) \log \left(-\frac{c}{a-c}\right)+2 c \pi \log (a+b) \log \left(-\frac{b+c}{a-c}\right)-2 (a+b) \pi \log (-b-c)+2 (b-c) \pi (\log (b-c)-1)-2 c \pi \log (b) \log \left(\frac{b+c}{c}\right)+2 c \pi \log \left(\frac{b+c}{c}\right)+2 c \pi (\log (-c)-1)+2 c \pi (\log (-c)-\log (c)+2)-2 c \pi \log (b-c) (\log (c)-1)+6 c \pi (\log (c)-1)+2 a \pi \log (c)-4 c \pi \log (c)-2 a \pi \log (a) \log (c-a)+2 a \pi \log (a+b) \log (c-a)+2 c \pi \log (a) \log \left(\frac{c}{a+c}\right)-2 c \pi \log (a+b) \log \left(\frac{c-b}{a+c}\right)-2 (a+c) \pi (\log (a+c)-1)-2 a \pi \log (a) \log (a+c)+2 a \pi \log (a+b) \log (a+c)+2 \pi (\log (b-c) c-c-b \log (b-c)) \log (a+c)-2 c \pi (\log (-c)-1) \log (a+c)-2 c \pi (\log (c)-1) \log (a+c)+2 a \pi \log (a+c)-2 b \pi \log (b) \log (c-b)+2 b \pi \log (a+b) \log (c-b)-2 (a+b) \pi \log (c-b)-2 b \pi \log (b) \log (b+c)+2 b \pi \log (a+b) \log (b+c)-2 c \pi (\log (c)-1) \log (b+c)+2 \pi (\log (a+c) c-c+a \log (a+c)) \log (b+c)+2 b \pi \log (b+c)-2 (a+c) \pi \log \left(1-\frac{a}{a+c}\right)+2 (a+c) \pi \log \left(1-\frac{a+b}{a+c}\right)-\frac{2}{3} \pi \left(-3 a \log ^2(a)-3 a \log (-a) \log (a)-3 a \log \left(-\frac{b}{a-b}\right) \log (a)+3 b \log \left(-\frac{b}{a-b}\right) \log (a)+3 a \log (b) \log (a)-3 b \log (b) \log (a)+3 a \log (a+b) \log (a)+a \pi ^2-3 b \log ^2(b)+3 a-3 b-3 a \log \left(\frac{1}{a}\right)-3 a \log \left(-\frac{1}{a}\right)+6 a \log \left(-\frac{b}{a}\right)-6 a \log (-b)-6 b \log (-b)+6 b \log (b)-3 b \log (-b) \log (b)+3 a \log (b) \log \left(\frac{a}{a+b}\right)+3 b \log (b) \log \left(\frac{a}{a+b}\right)+3 a \log (-a) \log (a+b)+3 b \log (-b) \log (a+b)+3 b \log (b) \log (a+b)-6 a \text{Li}_2\left(\frac{a+b}{a}\right)-3 (a-b) \text{Li}_2\left(\frac{a}{a-b}\right)+3 (a+b) \text{Li}_2\left(\frac{b}{a+b}\right)+3 a i \pi \right)-2 a \pi \left(\log \left(\frac{c}{a}+1\right) \log (-c)+\text{Li}_2\left(-\frac{c}{a}\right)\right)-2 a \pi \left(\log \left(\frac{c}{a}+1\right) \log (c)+\text{Li}_2\left(-\frac{c}{a}\right)\right)-2 a \pi \left(\log \left(1-\frac{a+c}{a-b}\right) \log (a+c)+\text{Li}_2\left(\frac{a+c}{a-b}\right)\right)+2 b \pi \left(\log \left(1-\frac{a+c}{a-b}\right) \log (a+c)+\text{Li}_2\left(\frac{a+c}{a-b}\right)\right)+2 b \pi \left(\log \left(1-\frac{c}{b}\right) \log (c)+\text{Li}_2\left(\frac{c}{b}\right)\right)-2 b \pi \left(\log \left(\frac{c}{b}+1\right) \log (c)+\text{Li}_2\left(-\frac{c}{b}\right)\right)+2 a \pi \left(\log \left(1-\frac{b-c}{a+b}\right) \log (b-c)+\text{Li}_2\left(\frac{b-c}{a+b}\right)\right)+2 b \pi \left(\log \left(1-\frac{b-c}{a+b}\right) \log (b-c)+\text{Li}_2\left(\frac{b-c}{a+b}\right)\right)+2 (a-c) \pi \text{Li}_2\left(\frac{a}{a-c}\right)-2 (a-c) \pi \text{Li}_2\left(\frac{a+b}{a-c}\right)+2 c \pi \text{Li}_2\left(\frac{b}{c}\right)-2 c \pi \text{Li}_2\left(-\frac{b}{c}\right)+2 (a+c) \pi \text{Li}_2\left(\frac{a}{a+c}\right)-2 (a+c) \pi \text{Li}_2\left(\frac{a+b}{a+c}\right)\right)$

For instance, taking $(a,b,c)=(1,2,3)$

  • $\small \int_0^{\infty } \log \left(\frac{1}{x^2}+1\right) \log \left(\frac{4}{x^2}+1\right) \log \left(\frac{9}{x^2}+1\right) \, dx=4 \pi \Re( \text{Li}_2(3))+2 \pi \Re\left(\text{Li}_2(4)+2 \text{Li}_2\left(\frac{3}{2}\right)\right)+2 \pi \text{Li}_2(-4)-2 \pi \text{Li}_2(-3)-4 \pi \text{Li}_2\left(-\frac{1}{2}\right)+6 \pi \text{Li}_2\left(-\frac{1}{3}\right)-6 \pi \text{Li}_2\left(-\frac{2}{3}\right)+8 \pi \text{Li}_2\left(\frac{1}{4}\right)-8 \pi \text{Li}_2\left(\frac{3}{4}\right)-\frac{5 \pi ^3}{6}+8 \pi \log ^2(2)+12 \pi \log ^2(3)-18 \pi \log (3) \log (2)+10 \pi \log (5) \log (2)$