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$ 与二重对数虚部之间的联系已广为人知，但作者旨在建立新的恒等式，以桥接反正切型积分与多对数结构、傅里叶型展开以及赫维茨 $\zeta$ 函数。主要目标是建立一个系统的框架，将广义反正切积分分解为包含初等项、二重对数以及修正项无穷级数的显式公式。

方法论
本文采用生成函数视角，结合复分析与经典特殊函数理论。方法论分为两个主要途径：

1. 具有可调端点的辅助积分：作者引入了一个双参数辅助积分 $I(a, b) = \int_0^b \arctan\left(\frac{a + \cos \beta}{\sin \beta}\right) d\beta$。通过分析该积分关于参数 $a$ 的偏导数，并将其与由二重对数实部构造的函数的导数进行比较，作者建立了一个将 $I(a, b)$ 与 $Li_2$ 联系起来的恒等式。这使得 $Ti_2(a)$ 能够通过一个“可调”端点 $b(a)$ 来表示，该端点由涉及 $Li_2(1+ia)$ 虚部的容许性条件确定。

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)$$
  该恒等式使反正切积分与二重对数组合的实部和虚部达到平衡。

• 推论 1（卡塔兰常数的求值）：通过将定理 1 特化至 $a=1$，作者推导出了卡塔兰常数 $G$ 的具体求值公式。该结果将 $G$ 表示为由辅助积分导出的唯一参数 $b(1)$ 的函数：
  $$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（卡塔兰常数的表示）：本文推导出了 $G$ 的一个复数表示，涉及指数积分 $Ei$、伽玛函数$\Gamma$以及赫维茨$\zeta$函数$\zeta(s, c)$。该表示源于将定理 2 的级数项展开为幂级数，并利用对数伽玛函数的库默尔傅里叶级数。

意义
本文声称，其主要意义不仅在于孤立出新的公式，更在于展示了一条“连贯的解析路径”，将初等三角恒等式与特殊函数中更深层的展开联系起来。该工作将卡塔兰常数置于由二重对数和 $\zeta$ 函数现象所支配的更广泛恒等式领域之中。该方法论，特别是利用生成函数机制从反正切积分过渡到二重对数表示，被呈现为一种结构桥梁，类似于特殊函数理论中的正交多项式展开。这些结果提供了将积分量系统分解为主项和结构化无穷级数的方法，为 $Ti_2$ 和 $G$ 的解析性质提供了新的视角。