On the generalized inverse tangent integral and Catalan's constant

Technische Samenvatting: Over de gegeneraliseerde inverse tangensintegraal en de constante van Catalan

Probleemstelling
Het artikel behandelt de analytische structuur van de inverse tangensintegraal, gedefinieerd als $Ti_2(y) = \int_0^y \frac{\arctan(x)}{x} dx$, en zijn speciale waarde bij $y=1$, die de constante van Catalan $G$ oplevert. Hoewel de connectie tussen $Ti_2$ en het imaginaire deel van de dilogaritmewelbekend is, streeft de auteur ernaar nieuwe identiteiten te ontwikkelen die integralen van het arctangens-type verbinden met polylogaritmische structuren, Fourier-achtige expansies en Hurwitz-zetafuncties. Het primaire doel is een systematisch kader te creëren voor het ontleden van gegeneraliseerde inverse tangensintegralen in expliciete formules die elementaire termen, dilogaritmen en oneindige reeksen correctietermen bevatten.

Methodologie
Het artikel hanteert een perspectief gebaseerd op genererende functies, gecombineerd met complexe analyse en de theorie van klassieke speciale functies. De methodologie is verdeeld in twee hoofdbenaderingen:

1. Hulpintegraal met instelbaar eindpunt: De auteur introduceert een tweeparameterige hulpintegraal $I(a, b) = \int_0^b \arctan\left(\frac{a + \cos \beta}{\sin \beta}\right) d\beta$. Door de partiële afgeleiden van deze integraal naar de parameter $a$ te analyseren en deze te vergelijken met de afgeleiden van een functie die is opgebouwd uit het reële deel van een dilogaritme, stelt de auteur een identiteit vast die $I(a, b)$ koppelt aan $Li_2$. Dit maakt het mogelijk om $Ti_2(a)$ weer te geven via een "instelbaar" eindpunt $b(a)$, bepaald door een toelaatbaarheidsvoorwaarde die het imaginaire deel van $Li_2(1+ia)$ omvat.

2. Spectrale/mode-expansie via het product van Euler: De tweede benadering maakt gebruik van de oneindige productformule van Euler voor de sinusfunctie om een breuksplitsing voor de cotangensfunctie af te leiden. Door dit toe te passen op het argument van de inverse tangensintegraal, ontdekt de auteur de integraal in een hoofdterm met hyperbolische aard en een oneindige reeks correctietermen, geïndexeerd door de polen van de cotangens. Deze methode berust op termgewijze differentiatie en integratie van complexe argumenten die $\cot(\alpha + ix)$ bevatten.

Belangrijkste bijdragen en resultaten

• Stelling 1 (Inverse tangensintegraal met instelbaar eindpunt): Het artikel vestigt een representatie voor $Ti_2(a)$ voor $a > 0$ in termen van een hulpintegraal $I(a, b)$ en elementaire logaritmische termen. Specifiek wordt bewezen dat voor een toelaatbare verzameling van $a$, er een unieke $b \in (0, \pi)$ bestaat zodanig dat:
  $$Ti_2(a) = \arctan(a)\ln(a) + I(a, b) - \frac{\pi b}{2} + \frac{b^2}{2} - \frac{\pi}{4}\ln(a^2+1)$$
  Deze identiteit brengt de inverse tangensintegraal in evenwicht met reële en imaginaire delen van dilogaritmische combinaties.

• Corollarium 1 (Evaluatie van de constante van Catalan): Door Stelling 1 te specialiseren tot $a=1$, leidt de auteur een specifieke evaluatie af voor de constante van Catalan $G$. Het resultaat drukt $G$ uit in termen van een unieke parameter $b(1)$ afgeleid van de hulpintegraal:
  $$G = \frac{b(1)^2}{4} - \frac{\pi}{4}\ln(2)$$
  waarbij $b(1) = \sqrt{4G + \pi \ln(2)}$.

• Stelling 2 (Gegeneraliseerde inverse tangensintegraal): Het artikel presenteert een ontledingsformule voor de gegeneraliseerde integraal $\int_0^A \frac{1}{x}\arctan(x/\alpha) dx$. Deze integraal wordt uitgedrukt als de som van een bijdrage van de hyperbolische inverse tangens en een oneindige reeks standaard inverse tangensintegralen:
  $$Ti_2\left(\frac{A}{\alpha}\right) = \int_0^A \frac{1}{x}\arctan(\cot(\alpha)\tanh(x)) dx + \sum_{k=1}^\infty \left[ Ti_2\left(\frac{A}{k\pi - \alpha}\right) - Ti_2\left(\frac{A}{k\pi + \alpha}\right) \right]$$

• Corollarium 3 (De familie van Catalan): Door $A = \alpha = \pi/n$ te stellen, genereert de auteur een familie van identiteiten voor de constante van Catalan. Opmerkelijk is dat voor $n=2$ de hoofdterm met hyperbolische aard verdwijnt, wat een pure reeksrepresentatie oplevert:
  $$G = \sum_{k=1}^\infty \left[ Ti_2\left(\frac{1}{2k-1}\right) - Ti_2\left(\frac{1}{2k+1}\right) \right]$$

• Corollarium 4 (Reductie van Clausen): Het artikel biedt een reductie van $Ti_2(\tan \theta)$ tot een vorm die de functie van Clausen $Cl_2$ bevat, waardoor de inverse tangensintegraal direct wordt gekoppeld aan het integraal van Clausen:
  $$Ti_2(\tan \theta) = \theta \ln(\tan \theta) + \frac{1}{2}Cl_2(2\theta) + \frac{1}{2}Cl_2(\pi - 2\theta)$$

• Lemma 1 (Representatie van de constante van Catalan): Het artikel leidt een complexe representatie van $G$ af die de exponentiële integraal $Ei$, de Gamma-functie $\Gamma$ en de Hurwitz-zetafunctie $\zeta(s, c)$ omvat. Deze representatie ontstaat door de reekstermen van Stelling 2 te ontwikkelen tot machtsreeksen en de Fourier-reeks van Kummer voor de log-Gamma-functie te gebruiken.

Betekenis
Het artikel stelt dat de primaire betekenis niet enkel ligt in de isolatie van nieuwe formules, maar in de demonstratie van een "coherente analytische weg" die elementaire trigonometrische identiteiten verbindt met diepere expansies in speciale functies. Het werk plaatst de constante van Catalan binnen een breder domein van identiteiten die worden geregeerd door dilogaritmische en zeta-functionele fenomenen. De methodologie, met name het gebruik van een genererende-functiemechanisme om over te gaan van arctangensintegralen naar dilogaritmische representaties, wordt gepresenteerd als een structurele brug die analoog is aan orthogonale-polynoomexpansies in de theorie van speciale functies. De resultaten bieden systematische ontledingen van integraalgrootheden in hoofdtermen en gestructureerde oneindige reeksen, wat nieuwe perspectieven biedt op de analytische eigenschappen van $Ti_2$ en $G$.