The inverse tangent integral is a special function, defined by:
Ti 2 ( x ) = ∫ 0 x arctan t t d t {\displaystyle \operatorname {Ti} _{2}(x)=\int _{0}^{x}{\frac {\arctan t}{t}}\,dt}
Equivalently, it can be defined by a power series, or in terms of the dilogarithm, a closely related special function.
Definition The inverse tangent integral is defined by:
Ti 2 ( x ) = ∫ 0 x arctan t t d t {\displaystyle \operatorname {Ti} _{2}(x)=\int _{0}^{x}{\frac {\arctan t}{t}}\,dt}
The arctangent is taken to be the principal branch; that is, −π/2 < arctan(t) < π/2 for all real t. Its power series representation is
Ti 2 ( x ) = x − x 3 3 2 + x 5 5 2 − x 7 7 2 + ⋯ {\displaystyle \operatorname {Ti} _{2}(x)=x-{\frac {x^{3}}{3^{2}}}+{\frac {x^{5}}{5^{2}}}-{\frac {x^{7}}{7^{2}}}+\cdots }
which is absolutely convergent for | x | ≤ 1. {\displaystyle |x|\leq 1.}
The inverse tangent integral is closely related to the dilogarithm Li 2 ( z ) = ∑ n = 1 ∞ z n n 2 {\textstyle \operatorname {Li} _{2}(z)=\sum _{n=1}^{\infty }{\frac {z^{n}}{n^{2}}}} and can be expressed simply in terms of it:
Ti 2 ( z ) = 1 2 i ( Li 2 ( i z ) − Li 2 ( − i z ) ) {\displaystyle \operatorname {Ti} _{2}(z)={\frac {1}{2i}}\left(\operatorname {Li} _{2}(iz)-\operatorname {Li} _{2}(-iz)\right)}
That is,
Ti 2 ( x ) = Im ( Li 2 ( i x ) ) {\displaystyle \operatorname {Ti} _{2}(x)=\operatorname {Im} (\operatorname {Li} _{2}(ix))}
for all real x.
Properties The inverse tangent integral is an odd function:
Ti 2 ( − x ) = − Ti 2 ( x ) {\displaystyle \operatorname {Ti} _{2}(-x)=-\operatorname {Ti} _{2}(x)}
The values of Ti2(x) and Ti2(1/x) are related by the identity
Ti 2 ( x ) − Ti 2 ( 1 x ) = π 2 log x {\displaystyle \operatorname {Ti} _{2}(x)-\operatorname {Ti} _{2}\left({\frac {1}{x}}\right)={\frac {\pi }{2}}\log x}
… excerpt ends here. Continue reading the full article.
