计算从 0 到 1 的积分 ∫ (ln x)⁴ · ln(1 − x) / (x(1 − x)) dx。

Step-by-step solution

1. 1

   把核拆成两个标准部分。 用部分分式得 $\frac{1}{x(1-x)}=\frac1x+\frac1{1-x}$，于是 $I=I_1+I_2$，其中 $I_1=\int_0^1\frac{\ln^{4}x\,\ln(1-x)}{x}\,dx,\qquad I_2=\int_0^1\frac{\ln^{4}x\,\ln(1-x)}{1-x}\,dx .$ 两半要用不同的级数展开，这也正是那种把 $x\mapsto 1-x$ 的朴素对称性论证在这里行不通的原因。

2. 2

   第一半用对数级数求。 利用 $\ln(1-x)=-\sum_{n\ge1}\frac{x^{n}}{n}$ 以及标准矩公式 $\int_0^1 x^{n-1}\ln^{4}x\,dx=\frac{4!}{n^{5}}=\frac{24}{n^{5}}$，得 $I_1=-\sum_{n\ge1}\frac{1}{n}\cdot\frac{24}{n^{5}}=-24\zeta(6).$

3. 3

   第二半用调和数的生成函数求。 这里 $\frac{\ln(1-x)}{1-x}=-\sum_{n\ge1}H_n x^{n}$，且 $\int_0^1 x^{n}\ln^{4}x\,dx=\frac{24}{(n+1)^{5}}$，所以 $I_2=-24\sum_{n\ge1}\frac{H_n}{(n+1)^{5}} .$ 令 $m=n+1$ 平移下标，并用 $H_{m-1}=H_m-\frac1m$，可化为 $I_2=-24\left(\sum_{m\ge1}\frac{H_m}{m^{5}}-\zeta(6)\right).$

4. 4

   把两半加起来。 $\zeta(6)$ 项相消：$I=I_1+I_2=-24\zeta(6)-24\sum_{m\ge1}\frac{H_m}{m^{5}}+24\zeta(6)=-24\sum_{m\ge1}\frac{H_m}{m^{5}} .$ 至此，全部问题归结为一个线性欧拉和。

5. 5

   套欧拉关于线性和的公式。 在 $\sum_{m\ge1}\frac{H_m}{m^{s}}=\left(1+\frac{s}{2}\right)\zeta(s+1)-\frac12\sum_{k=1}^{s-2}\zeta(k+1)\zeta(s-k)$ 中取 $s=5$，得 $\sum_{m\ge1}\frac{H_m}{m^{5}}=\frac72\zeta(6)-\zeta(2)\zeta(4)-\frac12\zeta(3)^{2}.$ 因此 $I=-84\zeta(6)+24\zeta(2)\zeta(4)+12\zeta(3)^{2}$。

6. 6

   化成闭式并做数值检验。 利用 $\zeta(6)=\frac{\pi^{6}}{945}$ 与 $\zeta(2)\zeta(4)=\frac{\pi^{2}}{6}\cdot\frac{\pi^{4}}{90}=\frac{\pi^{6}}{540}$，$\pi^{6}$ 项合并为 $-\frac{4}{45}\pi^{6}+\frac{2}{45}\pi^{6}=-\frac{2}{45}\pi^{6}$，于是 $I=12\zeta(3)^{2}-\frac{2\pi^{6}}{45}$。数值上等于 $-25.389119\ldots$，而对原积分做双指数求积也返回 $-25.389119\ldots$。