调和级数为什么是 O(logn) 的

目录

• 调和级数
• 正片

调和级数

调和级数（Harmonic series）定义为

\[H(n)=\sum_{i=1}^n\dfrac 1i
\]

\(H\) 发散，证明看百度 .

正片

首先我们把 \(\dfrac 1n\) 拆成积分形式

\[\dfrac 1n=\int_{n}^{n+1}\dfrac1{\lfloor x\rfloor}\mathrm dx
\]

于是

\[\begin{aligned}H(n)&=\sum_{i=1}^n\dfrac1i\\&=\sum_{i=1}^n\int_{i}^{i+1}\dfrac1{\lfloor x\rfloor}\mathrm dx\end{aligned}
\]

上下界是 \(i,i+1\)，显然可以合并

\[H(n)=\int_{1}^{n+1}\dfrac1{\lfloor x\rfloor}\mathrm dx
\]

拆一下

\[\begin{aligned}H(n)&=\int_{1}^{n+1}\left(\dfrac1x+\dfrac1{\lfloor x\rfloor}-\dfrac1x\right)\mathrm dx\\&=\int_{1}^{n+1}\dfrac1x\mathrm dx+\int_{1}^{n+1}\left(\dfrac1{\lfloor x\rfloor}-\dfrac1x\right)\mathrm dx\end{aligned}
\]

左边是众所周知的积分，右边是一个魔法 .

右边有一个神秘结论（收敛）：

\[\gamma = \lim_{n\to \infty}\int_{1}^{n}\left(\dfrac1{\lfloor x\rfloor}-\dfrac1x\right)\mathrm dx= 0.577\dots
\]

于是，

\[\begin{aligned}H(n) &\approx \ln(n+1) + \gamma\\&=O(\log n)\end{aligned}
\]

Q.E.D.