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
(3)
|
that was considered by Ramanujan (Lewin 1958, p. 39). The inverse tangent integral can be expressed in terms of the dilogarithm as
(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
(16)
|
which leads to
(17)
|
and the algebraic form
(18)
|
(Lewin 1958, p. 41).