On the generalized inverse tangent integral and Catalan's constant

技術的概要：一般化された逆正接積分とカタラン定数について

問題提起
本論文は、逆正接積分 $Ti_2(y) = \int_0^y \frac{\arctan(x)}{x} dx$ の解析的構造、および $y=1$ におけるその特殊値（これはカタラン定数 $G$ を与える）を取り扱っている。$Ti_2$ と dilogarithm（二重対数関数）の虚部との間の関係はよく確立されているが、著者は、逆正接型の積分を polylogarithmic（多対数）構造、フーリエ型展開、および Hurwitz zeta 関数と結びつける新たな恒等式を開発することを試みている。主な目的は、一般化された逆正接積分を、初等項、dilogarithm、および補正項の無限級数を含む明示的な公式に分解するための体系的枠組みを確立することである。

手法
本論文は、複素解析および古典的な特殊関数理論と組み合わせた生成関数の視点を用いている。手法は 2 つの主要なアプローチに分けられる：

1. 調整可能な端点を持つ補助積分：著者は、2 個のパラメータを持つ補助積分 $I(a, b) = \int_0^b \arctan\left(\frac{a + \cos \beta}{\sin \beta}\right) d\beta$ を導入する。この積分のパラメータ $a$ に関する偏微分を解析し、dilogarithm の実部から構成された関数の微分と比較することで、$I(a, b)$ と $Li_2$ を結びつける恒等式を確立する。これにより、$Ti_2(a)$ を、$Li_2(1+ia)$ の虚部に関する許容条件によって決定される「調整可能な」端点 $b(a)$ を通じて表現することが可能となる。

2. オイラーの積公式によるスペクトル／モード展開：2 つ目のアプローチは、正弦関数に対するオイラーの無限積公式を利用して、余接関数の部分分数展開を導出するものである。これを逆正接積分の引数に適用することで、著者は積分を主要な双曲項と、余接関数の極によってインデックス付けされた補正項の無限級数に分解する。この手法は、$\cot(\alpha + ix)$ を含む複素引数の項別微分および積分に依存している。

主要な貢献と結果

• 定理 1（調整可能な端点を持つ逆正接積分）：本論文は、$a > 0$ に対する $Ti_2(a)$ の、補助積分 $I(a, b)$ および初等的な対数項を用いた表現を確立する。具体的には、$a$ の許容集合に対して、以下を満たす一意の $b \in (0, \pi)$ が存在することを証明する：
  $$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)$$
  この恒等式は、逆正接積分を、dilogarithm の組み合わせの実部および虚部と均衡させるものである。

• 系 1（カタラン定数の評価）：定理 1 を $a=1$ に特化させることで、著者はカタラン定数 $G$ の特定の評価を導出する。その結果は、補助積分から導かれた一意のパラメータ $b(1)$ を用いて $G$ を表現する：
  $$G = \frac{b(1)^2}{4} - \frac{\pi}{4}\ln(2)$$
  ここで、$b(1) = \sqrt{4G + \pi \ln(2)}$ である。

• 定理 2（一般化された逆正接積分）：本論文は、一般化された積分 $\int_0^A \frac{1}{x}\arctan(x/\alpha) dx$ に対する分解公式を提示する。この積分は、双曲逆正接の寄与と、標準的な逆正接積分の無限級数の和として表現される：
  $$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]$$

• 系 3（カタランの族）：$A = \alpha = \pi/n$ と設定することで、著者はカタラン定数に対する恒等式の族を生成する。特に、$n=2$ の場合、主要な双曲項が消滅し、純粋な級数表現が得られる：
  $$G = \sum_{k=1}^\infty \left[ Ti_2\left(\frac{1}{2k-1}\right) - Ti_2\left(\frac{1}{2k+1}\right) \right]$$

• 系 4（クラウゼンの簡約）：本論文は、$Ti_2(\tan \theta)$ をクラウゼン関数 $Cl_2$ を含む形に簡約し、逆正接積分を直接クラウゼン積分と結びつける：
  $$Ti_2(\tan \theta) = \theta \ln(\tan \theta) + \frac{1}{2}Cl_2(2\theta) + \frac{1}{2}Cl_2(\pi - 2\theta)$$

• 補題 1（カタラン定数の表現）：本論文は、指数積分 $Ei$、ガンマ関数$\Gamma$、および Hurwitz zeta 関数 $\zeta(s, c)$ を含む $G$ の複素表現を導出する。この表現は、定理 2 の級数項をべき級数に展開し、log-gamma 関数に対するクマーのフーリエ級数を利用することによって得られる。

意義
本論文の主な意義は、単に新しい公式を孤立させることにあるのではなく、初等的な三角恒等式を特殊関数におけるより深い展開へと結びつける「一貫した解析的経路」を実証することにある。この研究は、dilogarithm 的および zeta 関数的な現象によって支配される恒等式のより広範な領域の中にカタラン定数を位置づける。手法、特に逆正接積分から dilogarithm 表現へ移行させるための生成関数機構の使用は、特殊関数論における直交多項式展開に類似した構造的架け橋として提示されている。結果は、積分量を主要項と構造化された無限級数に体系的に分解するものであり、$Ti_2$ および $G$ の解析的性質に対する新たな視点を提供する。