Arkustangensintegral

Das Arkustangensintegral ist eine nicht elementare Funktion in der Mathematik. Diese Funktion ist die durch den Ursprung verlaufende Stammfunktion des Produkts von Arkustangensfunktion und Kehrwertfunktion.

Definition

Das Arkustangensintegral ist folgendermaßen definiert:

{Ti}_{2} (x) = \int_{0}^{1} \frac{1}{y} \arctan (x y) d y = \int_{0}^{x} \frac{1}{t} \arctan (t) d t

Alternativ kann das Arkustangensintegral mit der Lerchschen Transzendente definiert werden:

{Ti}_{2} (x) = \frac{1}{4} x Φ (- x^{2}, 2, \frac{1}{2})

Somit ist das Arkustangensintegral das imaginäre Gegenstück zur Legendreschen Chi-2-Funktion:

{Ti}_{2} (x) = - i χ_{2} (i x)

Folglich zählt das Arkustangensintegral zu den Polylogarithmen.

Der Funktionswert Ti₂(1) ist die Catalansche Konstante, die unendliche alternierende Differenz der Kehrwerte der ungeraden Quadratzahlen:

{Ti}_{2} (1) = G

Die Funktionswerte Ti₂(2-√3) und Ti₂(2+√3) sind ebenso mit der Catalanschen Konstante und den elementaren Funktionen darstellbar:

{Ti}_{2} (2 - \sqrt{3}) = \frac{2}{3} G - \frac{1}{12} π arcosh (2)

{Ti}_{2} (2 + \sqrt{3}) = \frac{2}{3} G + \frac{5}{12} π arcosh (2)

Außerdem ergeben folgende Summen elementare Werte:

6 {Ti}_{2} (1) - 4 {Ti}_{2} (\frac{1}{2}) - 2 {Ti}_{2} (\frac{1}{3}) - {Ti}_{2} (\frac{3}{4}) = π \ln (2)

6 {Ti}_{2} [\tan (\frac{5}{24} π)] - 4 {Ti}_{2} [\tan (\frac{1}{8} π)] - 6 {Ti}_{2} [\tan (\frac{1}{24} π)] = π \ln [\tan (\frac{5}{24} π) \tan (\frac{3}{8} π)]

Folgende Funktionalgleichungen des Arkustangensintegrals sind für alle reellen x-Werte gültig:

{Ti}_{2} (\sqrt{x^{2} + 1} + x) - {Ti}_{2} (\sqrt{x^{2} + 1} - x) = \frac{1}{2} π arsinh (x)

{Ti}_{2} (x) - 3 {Ti}_{2} {\tan [\frac{1}{3} \arctan (x)]} + 3 {Ti}_{2} {\tan [\frac{1}{6} π + \frac{1}{3} \arctan (x)]} - 3 {Ti}_{2} {\tan [\frac{1}{6} π - \frac{1}{3} \arctan (x)]} =

= \frac{1}{2} π \ln {\tan [\frac{1}{6} π + \frac{1}{3} \arctan (x)] \tan [\frac{1}{3} π + \frac{1}{3} \arctan (x)]}

Folgende Funktionen haben folgende Ableitungen:

\frac{d}{d x} {Ti}_{2} (x) = \frac{\arctan (x)}{x}

\frac{d}{d x} 2 {Ti}_{2} (\frac{x}{\sqrt{x^{2} + 1} + 1}) = \frac{\arctan (x)}{x \sqrt{x^{2} + 1}}

\frac{d}{d x} {Ti}_{2} (\sqrt{x^{2} + 1} + x) + {Ti}_{2} (\sqrt{x^{2} + 1} - x) = \frac{\arctan (x)}{\sqrt{x^{2} + 1}}

\frac{d}{d x} 2 {Ti}_{2} (\frac{x}{1 + \sqrt{1 - x^{2}}}) = \frac{\arcsin (x)}{x \sqrt{1 - x^{2}}}

\frac{d}{d x} {Ti}_{2} (\frac{x}{\sqrt{1 - x^{2}}}) = \frac{\arcsin (x)}{x (1 - x^{2})}

Analog zum Arkustangensintegral ist das Arkussinusintegral wie folgt definiert:

{Si}_{2} (x) = \int_{0}^{1} \frac{1}{y} \arcsin (x y) d y = \int_{0}^{x} \frac{1}{t} \arcsin (t) d t

Diese Funktion darf bezüglich ihrer Bezeichnung nicht mit dem Integralsinus verwechselt werden.

Aus dieser Definition resultiert jene Maclaurinsche Reihenentwicklung:

{Si}_{2} (x) = \sum_{k = 0}^{\infty} (\binom{2 k}{k}) \frac{x^{2 k + 1}}{4^{k} (2 k + 1)^{2}}

Folgende Funktionswerte hat diese Funktion:

{Si}_{2} (0) = 0

{Si}_{2} (1) = \frac{1}{2} π \ln (2)

{Si}_{2} (- 1) = - \frac{1}{2} π \ln (2)

{Si}_{2} (\frac{1}{2} \sqrt{2}) = \frac{1}{2} G + \frac{1}{8} π \ln (2)

{Si}_{2} (- \frac{1}{2} \sqrt{2}) = - \frac{1}{2} G - \frac{1}{8} π \ln (2)

Der Wert Si₂(1) kann auf folgende Weise bewiesen werden:

{Si}_{2} (1) = \int_{0}^{1} \frac{1}{x} \arcsin (x) d x = \int_{0}^{1} \int_{0}^{1} \frac{\sqrt{1 - x^{2}} y}{(1 - x^{2} y^{2}) \sqrt{1 - y^{2}}} d y d x =

= \int_{0}^{1} \int_{0}^{1} \frac{\sqrt{1 - x^{2}} y}{(1 - x^{2} y^{2}) \sqrt{1 - y^{2}}} d x d y = \int_{0}^{1} \frac{π y}{2 \sqrt{1 - y^{2}} (1 + \sqrt{1 - y^{2}})} d y = \frac{π}{2} \ln (2)

Das Analogon für den Lemniskatischen Arkussinus ergibt folgenden Wert:

\int_{0}^{1} \frac{1}{x} arcsl (x) d x = \frac{1}{8} π ϖ

Dabei stellt ϖ die Lemniskatische Konstante dar.

Zwischen Arkustangensintegral und Arkussinusintegral besteht folgender Zusammenhang:

2 {T i}_{2} (\frac{x}{\sqrt{x^{2} + 1} + 1}) = 4 {S i}_{2} (\frac{x}{\sqrt{2} \sqrt[4]{x^{2} + 1} \sqrt{\sqrt{x^{2} + 1} + 1}}) - {S i}_{2} (\frac{x}{\sqrt{x^{2} + 1}})

2 {T i}_{2} (\frac{x}{1 + \sqrt{1 - x^{2}}}) = 4 {S i}_{2} (\frac{1}{2} \sqrt{1 + x} - \frac{1}{2} \sqrt{1 - x}) - {S i}_{2} (x)

Die Richtigkeit dieser Formeln kann durch Ableiten gezeigt werden.

Nielsen, N. "Der Eulersche Dilogarithmus und seine Verallgemeinerungen." Nova Acta Leopoldina, Abh.der Kaiserlich Leopoldinisch-Carolinischen Deutschen Akad. der Naturforsch. 90, 121–212, 1909.
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.