3

I am trying to solve the following integral,

$$\int_{0}^{T}\tanh^{-1}(\sin x)dx$$

I have tried writing $\tanh^{-1}(\sin(x))$ as a series and solving the resultant $\sin^n(x)$ integrals using a recursion formula. I have also tried substituting $\sin(x)=u$. But I am not getting anywhere. Part of my problem is that I am not sure that the integral has a solution and I am not sure how to test this.

I am not a mathematician, nor mathematically literate in particular. This came up in a research project and I now have another approach which doesn't use this integral. I just want to know if this integral is soluble. If so, how? It would also be useful to check my other method using this method.

Quanto
  • 120,125
TFS_NZ
  • 31
  • Hi, welcome to Math SE. You might need dilogarithms. – J.G. Dec 18 '23 at 19:41
  • Thanks! I tried Wolfram but it threw a couple of cogs and gave up. I'll try that again. – TFS_NZ Dec 18 '23 at 20:47
  • It might have thought your $\tanh^{-1}$ meant $\coth$. – J.G. Dec 18 '23 at 22:10
  • N.b. the integrand satisfies $\operatorname{artanh} \sin 0 = 0$ and $\frac{d}{dx} \operatorname{artanh} \sin x = \sec x$, so the integrand is the anti-Gudermannian or Lambertian function, $\operatorname{gd}^{-1} x$, which appears, e.g., in the construction of the Mercator projection. https://en.wikipedia.org/wiki/Gudermannian_function – Travis Willse Dec 19 '23 at 00:46
  • 1
    @TravisWillse Tags should be used to indicate what the question is about, at the level of the asker. They should not be used (generally speaking) to indicate which tools an outside expert feels might be relevant---adding more sophisticated tags can influence the way in which answerers reply. In this case, I think that the [tag:polylogarithm] tag is inappropriate (though the asker is free to disagree and add the tag themselves, if they feel that such a tag makes sense to them). – Xander Henderson Dec 19 '23 at 01:16

4 Answers4

3

Wolfram Alpha gives the indefinite integral of your expression as

$$\int \tanh^{-1}(\sin(x)) dx = -i \mathrm{Li}_2(-i e^{i x}) + i \mathrm{Li}_2(i e^{i x}) \\ + x (-\log(1 - i e^{i x}) + \log(1 + i e^{i x}) + \tanh^{-1}(\sin(x))) + c$$

where $\mathrm{Li}_2$ is the polylogarithm function of order 2. This might not be particularly satisfying, but it's also possibly the best that we can do.

Note that the integrand has discontinuities, so you need to be careful if your value of $T$ is greater than $\frac{\pi}{2}$. On that note, however, we can find some specific values of the integral, for example if $T = \frac{\pi}{2}$ then the value is 2C, where $C$ is Catalan's constant.

If you wanted to find the integral by hand, then it would probably involve application of some combination of the following:

  • Using the identity $\tanh^{-1}(x) = \frac{1}{2}(\ln(1+u) - \ln(1-u))$

  • Using the identity $\sin(x) = \frac{e^{ix} - e^{-ix}}{2i}$

  • Integration by parts, particularly via $\int 1 \cdot f(x) dx = x f(x) - \int x f'(x) dx$

ConMan
  • 27,579
2

There is no closed form in terms of elementary functions, but we can proceed as follows. First, note that the integrand satisfies $$\frac{d}{dx} \operatorname{artanh} \sin x = \sec x$$ ---in fact, $\operatorname{artanh} \sin$ is the anti-Gudermannian or Lambertian function, $\operatorname{gd}^{-1} x = \int_0^x \sec t \,dt$, which appears, e.g., in the construction of the Mercator projection. So, integrating by parts, taking $u = \operatorname{artanh} \sin x$, $dv = dx$, gives $$\int_0^T \operatorname{artanh} \sin x \,dx = T \operatorname{artanh} \sin T - \int_0^T x \sec x \,dx .$$ Per the answers to this question about the latter integral, this expression has value $$\boxed{\int_0^T \operatorname{artanh} \sin x \,dx = T \operatorname{artanh} \sin T + i(\operatorname{Li}_2(ie^{i T})-\operatorname{Li}_2(-ie^{i T}))+ 2 T \arctan (i e^{i T}) + 2 G} ,$$ where $\operatorname{Li}_2$ is the dilogarithm and $G$ is Catalan's constant. The particular value $T = \frac\pi2$ gives the pleasant identity $\int_0^\frac\pi2 \operatorname{artanh} \sin x \,dx = 2 G$.

Travis Willse
  • 108,056
1

Via integration by parts, we have

$$ \begin{aligned} \int_0^T \tanh ^{-1}(\sin x) d x = & {[x \tanh (\sin x)]_0^T-\int_0^T \frac{x \cos x}{1-\sin ^2 x} \cdot d x } \\ = & T \tanh ^{-1}(\sin T)-\int_0^T \frac{x}{\cos x} d x \end{aligned} $$

Plugging the result in the post $$ \int\frac{t}{\cos t} \,dt=-2it\arctan(e^{it})+i(\mathrm{Li}_2(-ie^{it})-\mathrm{Li}_2(ie^{it})) $$ into our integral, we have

$$ \begin{aligned} I= & T \tanh ^{-1}(\sin T)-\left[-2 i x \arctan \left(e^{i x}\right) +i\left(\mathrm{Li}_2\left(-i e^{i x}\right)-\mathrm{Li}_2\left(i e^{i x}\right)\right)\right]_0^{\top} \\ = & T \tanh ^{-1}(\sin T)+2 i T \arctan \left(e^{i T}\right)+i\left[\mathrm{Li}_2\left(-i e^{i T}\right)-\mathrm{Li}_2\left(i e^{i T}\right)\right] -i\left[L_{i_2}(-i)-L_{i_2}(i)\right] \\ = & T \tanh ^{-1}(\sin T)+2 i T \arctan \left(e^{i T}\right)+i\left[\mathrm{Li}_2\left(-i e^{i T}\right)-\mathrm{Li}_2\left(i e^{i T}\right)\right] +2 G \end{aligned} $$ where $\mathrm{Li}_2(.)$ is the dilogarithm function and $G$ is the Catalan constant.

Lai
  • 31,615
1

Utilize the anti-derivative $$\int \tanh^{-1}\cos x \ dx=x\tanh^{-1}\cos x+2\text{Ti}_2(\tan\frac x2) $$ to evaluate \begin{align} \int_{0}^{\theta}&\tanh^{-1}(\sin x)dx \>\>\>\>\>\>\>(x\to \frac\pi2-x)\\ =&\ \left[x\tanh^{-1}\cos x+2\text{Ti}_2(\tan\frac x2)\right]_ {\frac\pi2 -\theta} ^{\frac\pi2}\\ =& \ (\theta-\frac\pi2)\tanh^{-1}(\sin \theta)+ 2G - 2\text{Ti}_2\left(\tan\frac {\pi-2\theta}4\right) \end{align}

Quanto
  • 120,125