Math 2.0

Special functions Definition

Inverse tangent integral

Builds on Arctangent

Definition

The inverse tangent integral is the function Ti⁡2 ⁣:ℝ→ℝ\operatorname{Ti}_2 \colon \R \to \R given by Ti⁡2(x)=∫0xarctan⁡tt dt.\operatorname{Ti}_2(x) = \int_0^x \frac{\arctan t}{t} \, dt. Here arctan⁡\arctan is the arctangent, and the integrand has the value 11 at t=0t = 0.

Remarks

For ∣x∣≤1\abs{x} \le 1, integrating the series of arctan⁡t/t\arctan t / t term by term gives Ti⁡2(x)=∑k=0∞(−1)kx2k+1(2k+1)2.\operatorname{Ti}_2(x) = \sum_{k=0}^{\infty} \frac{(-1)^k x^{2k+1}}{(2k+1)^2}. The function is odd, and Ti⁡2(x)=Im⁡Li⁡2(ix)\operatorname{Ti}_2(x) = \operatorname{Im} \operatorname{Li}_2(ix) for real xx, where Li⁡2\operatorname{Li}_2 is the dilogarithm.

Example: Ti⁡2(1)=1−19+125−⋯=G\operatorname{Ti}_2(1) = 1 - \frac19 + \frac1{25} - \cdots = G, Catalan's constant.

Inversion check: for x>0x > 0, the derivative of Ti⁡2(x)−Ti⁡2(1/x)\operatorname{Ti}_2(x) - \operatorname{Ti}_2(1/x) is arctan⁡x+arctan⁡(1/x)x=π2x\frac{\arctan x + \arctan(1/x)}{x} = \frac{\pi}{2x}, and the difference is 00 at x=1x = 1, so Ti⁡2(x)−Ti⁡2(1x)=π2log⁡x.\operatorname{Ti}_2(x) - \operatorname{Ti}_2\left(\tfrac1x\right) = \frac{\pi}{2} \log x.

Non-example: ∫0xarctan⁡tt2 dt\int_0^x \frac{\arctan t}{t^2} \, dt is not a variant of this function; it diverges at t=0t = 0, because arctan⁡t/t2∼1/t\arctan t / t^2 \sim 1/t there.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Arctangent concept
  2. Inverse tangent integral definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Inverse_tangent_integral
About this page
TagZ3AYQ5M633
URIm2://Z3AYQ5M633
Kinddefinition
WritingW0 stub
MSC33B30, 33E20
DefinesInverse tangent integral
UsesArctangent

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.