1

I really need to solve this indefinite integral:

$\int \!r\ln \left( r \right) \sqrt {ar+{b}^{2}+{r}^{2}}\,{\rm d}r$

It seems much more complicated than it looks. I have found a integral table with a integral resembles my integral, and the solution involves Polylogs. The link of the intgral table is below:

http://www-elsa.physik.uni-bonn.de/~dieckman/IntegralsIndefinite/IndefInt.html

Anyone willing to take this challenge and help with this integral ?

Thank you very much in advance

Romildo Junior Carla Beatriz
  • 73
  • For what it is worth, the current stock version of Mathematica doesn't seem to be able to solve your integral given no additional information. –  Sep 23 '19 at 07:38
  • Please add solution for this integral? ,because I can't find on this website? – Mariusz Iwaniuk Sep 23 '19 at 16:41

2 Answers2

6

Solution by derivative of AppellF1 function (using Mathematica):

solution = Limit[D[Integrate[r*r^t*Sqrt[a r + b^2 + r^2], r], t], t -> 0]

(* (r^2*Sqrt[b^2 + r*(a + r)]*(AppellF1[2, -1/2, -1/2, 3, (-2*r)/(a + Sqrt[a^2 - 
4*b^2]), 
 (2*r)/(-a + Sqrt[a^2 - 4*b^2])]*(-1 + 2*Log[r]) + 
2*(Derivative[0, 0, 0, 1, 0, 0][AppellF1][2, -1/2, -1/2, 3, (-2*r)/(a + Sqrt[a^2 - 
4*b^2]), 
  (2*r)/(-a + Sqrt[a^2 - 4*b^2])] + Derivative[1, 0, 0, 0, 0, 0][AppellF1][2, -1/2, 
-1/2, 3, 
  (-2*r)/(a + Sqrt[a^2 - 4*b^2]), (2*r)/(-a + Sqrt[a^2 - 4*b^2])])))/
 (4*Sqrt[(-a + Sqrt[a^2 - 4*b^2] - 2*r)/(-a + Sqrt[a^2 - 4*b^2])]*
 Sqrt[(a + Sqrt[a^2 - 4*b^2] + 2*r)/(a + Sqrt[a^2 - 4*b^2])])*)

Check:

 N[(solution /. r -> 2 /. a -> 1 /. b -> 1) - (solution /. r -> 1 /. a -> 1 /. b -> 1), 20]
 (* 1.4951478165944420424 + 0.*10^-20 I *)

 NIntegrate[r *Log[r]*Sqrt[a r + b^2 + r^2] /. a -> 1 /. b -> 1, {r, 1, 2}, WorkingPrecision -> 20]

 (* 1.4951478165944420424  *)
QuantumDot
  • 861
Mariusz Iwaniuk
  • 3,931
1

The integral can be constructed from the following generic cases $$ \int x \log(x)\sqrt{a^2+x^2} dx= \frac{1}{3} \left(-\frac{1}{3} \sqrt{a^2+x^2} \left(4 a^2+x^2\right)-a^3 \log(x)+\left(a^2+x^2\right)^{3/2} \log(x)+a^3 \log\left[a \left(a+\sqrt{a^2+x^2}\right)\right]\right) $$

$$ \int x \log(x+b)\sqrt{a^2+x^2}dx =\frac{1}{6} \left(-\frac{1}{3} \sqrt{a^2+x^2} \left(8 a^2+6 b^2-3 b x+2 x^2\right)-2 \left(a^2+b^2\right)^{3/2} \log(b+x)+2 \left(a^2+x^2\right)^{3/2} \log(b+x)+b \left(3 a^2+2 b^2\right) \log\left[x+\sqrt{a^2+x^2}\right]+2 \left(a^2+b^2\right)^{3/2} \log\left[a^2-b x+\sqrt{a^2+b^2} \sqrt{a^2+x^2}\right]\right) $$

and $$ \int x \log(c x+b)\sqrt{a^2+x^2}dx=\frac{1}{18 c^3}\left(-c \sqrt{a^2+x^2} \left(6 b^2-3 b c x+2 c^2 \left(4 a^2+x^2\right)\right)-6 \left(b^2+a^2 c^2\right)^{3/2} \log(b+cx)+6 c^3 \left(a^2+x^2\right)^{3/2} \log(b+c x)+3 b \left(2 b^2+3 a^2 c^2\right) \log\left[x+\sqrt{a^2+x^2}\right]+6 \left(b^2+a^2 c^2\right)^{3/2} \log\left[a^2 c-b x+\sqrt{b^2+a^2 c^2} \sqrt{a^2+x^2}\right]\right) $$

Finally, we consider a form that yields result in terms of dilogarithm function (setting $y(x)=\sqrt{1+x^2}$) $$ \int \log(x)\sqrt{1+x^2}dx=\frac{1}{24} (-\pi^2-6 x y+12 x y \log(x)+6 \text{arcsinh}(x) \Big(\text{arcsinh}(x)+2 \log(x)-2 \log(1+x+y)-1-12 \text{Li}_2(-x-y)+12 \text{Li}_2(1-x-y)\Big) $$

yarchik
  • 1,181
  • 1
    OP want's integral: $\int x \log (x) \sqrt{a x^2+b x+c} , dx$ ? – Mariusz Iwaniuk Sep 24 '19 at 14:39
  • @MariuszIwaniuk It is a simple matter to bring the integral to this form... – yarchik Sep 24 '19 at 14:40
  • 1
    Then,what is the answer for: $\int r \ln (r) \sqrt{a r+b^2+r^2} , dr$ ? – Mariusz Iwaniuk Sep 24 '19 at 14:44
  • 1
    @MariuszIwaniuk If one insists on $a\neq0$ then the dilogarithm function appears :) – yarchik Sep 24 '19 at 15:00
  • yeah the coeficient "a" cant be 0, but I would LOVE a solution without the AppelF1 function, since it is poorly implemented in FORTRAN, thanks for trying to get a better solution. You think you can find a solution without the AppelF1 function – Romildo Junior Carla Beatriz Sep 24 '19 at 20:07
  • @yarchik Can you give an answer with a dilogarithm function ? – Romildo Junior Carla Beatriz Sep 25 '19 at 00:11
  • @RomildoJuniorCarlaBeatriz See edits. If you are implementing this with fortran, see this GNU library https://www.gnu.org/software/gsl/doc/html/specfunc.html#dilogarithm . Notice, however, you need to write a c-wrapper for the needed functions. But this is easy. – yarchik Sep 25 '19 at 08:09
  • 1
    @yarchik thank you for your time, but as MariuszIwaniuk said, i need the answer for \int !r\ln \left( r \right) \sqrt {ar+{b}^{2}+{r}^{2}},{\rm d}r , the parameter "a" cant be zero and the polynomial inside the square root must be complete – Romildo Junior Carla Beatriz Sep 25 '19 at 18:43