Inverse Tangent Integral



The inverse tangent integral
is defined in terms of the dilogarithm
by
 |
(1)
|
(Lewin 1958, p. 33). It has the series
 |
(2)
|
and gives in closed form the sum
![sum_(n=1)^infty(sin[(4n-2)x])/((2n-1)^2)=Ti_2(tanx)-xln(tanx)](http://mathworld.wolfram.com/images/equations/InverseTangentIntegral/NumberedEquation3.gif) |
(3)
|
that was considered by Ramanujan (Lewin 1958, p. 39). The inverse tangent integral can be expressed in terms of the dilogarithm as
![Ti_2(x)=1/(2i)[Li_2(ix)-Li_2(-ix)],](http://mathworld.wolfram.com/images/equations/InverseTangentIntegral/NumberedEquation4.gif) |
(4)
|
in terms of Legendre's chi-function as
 |
(5)
|
in terms of the Lerch transcendent by
 |
(6)
|
and as the integral
 |
(7)
|
has derivative
 |
(8)
|
It satisfies the identities
 |
(9)
|
where
 |
(10)
|
is the generalized inverse tangent function.
has the special value
 |
(11)
|
where
is Catalan's constant, and the functional relationships
 |
(12)
|
the two equivalent identities
 |
(13)
|
 |
(14)
|
and
 |
(15)
|
(Lewin 1958, p. 39). The triplication formula is given by
![1/3Ti_2((3x-x^3)/(1-3x^2))=Ti_2(x)+Ti_2((1-xsqrt(3))/(sqrt(3)+x))
-Ti_2((1+xsqrt(3))/(sqrt(3)-x))+1/6piln[((sqrt(3)+x)(1+xsqrt(3)))/((1-xsqrt(3))(sqrt(3)-x))],](http://mathworld.wolfram.com/images/equations/InverseTangentIntegral/NumberedEquation16.gif) |
(16)
|
which leads to
![Ti_2(tan(1/(24)pi))-Ti_2(tan(5/(24)pi))+2/3Ti_2(tan(1/8pi))
+1/6piln[(tan(5/(24)pi))/(tan(1/8pi))]=0](http://mathworld.wolfram.com/images/equations/InverseTangentIntegral/NumberedEquation17.gif) |
(17)
|
and the algebraic form
![Ti_2((sqrt(3)-sqrt(2))/(sqrt(2)+1))-Ti_2((sqrt(3)-sqrt(2))/(sqrt(2)-1))+2/3Ti_2(sqrt(2)-1)
=1/6piln[(sqrt(2)-1)/((sqrt(3)-sqrt(2))(sqrt(2)+1))]](http://mathworld.wolfram.com/images/equations/InverseTangentIntegral/NumberedEquation18.gif) |
(18)
|
(Lewin 1958, p. 41).
REFERENCES:
Finch, S. R. "Inverse Tangent Integral." §1.7.6 in Mathematical Constants. Cambridge, England: Cambridge University Press, p. 57, 2003.
Lewin, L. "The Inverse Tangent Integral" and "The Generalized Inverse Tangent Integral." Chs. 2-3 in Dilogarithms and Associated Functions. London: Macdonald, pp. 33-90, 1958.
Lewin, L. Polylogarithms and Associated Functions. Amsterdam, Netherlands: North-Holland, p. 45, 1981.
Nielsen, N. "Der Eulersche Dilogarithmus und seine Verallgemeinerungen." Nova Acta Leopoldina, Abh.der Kaiserlich Leopoldinisch-Carolinischen Deutschen Akad. der Naturforsch. 90, 121-212, 1909.