壹起点:几何级数与它的对称分支
一切从收敛半径为 1 的几何级数开始
当 $|x|<1$ 时,函数 $\frac{1}{1-x}$ 展开为绝对收敛的幂级数:
$$\frac{1}{1-x}=1+x+x^2+x^3+\cdots,\qquad |x|<1$$
把分母翻一个符号,立刻得到关于 $x=1$ 的对称分支:
$$\frac{1}{x-1}=-\frac{1}{1-x}=-1-x-x^2-x^3-\cdots$$
一个收敛域的提醒
形式上的负号级数仍只在 $|x|<1$ 收敛;$x>1$ 一侧真正收敛的展开是负幂次级数 $\frac{1}{x-1}=\sum_{n=1}^{\infty}x^{-n}$。两侧级数形态不同,但共享同一个奇点——这正是后面所有故事的源头。
贰让 e 从极点上长出来
底数趋近于 1、指数趋近于无穷,恰好是极点两侧的同一件事
令 $x=1+\dfrac{1}{n}$,从右侧趋近极点,则指数位置正好是极点的倒数:
$$\frac{1}{x-1}=n$$
于是 e 的经典极限定义,可以直接写成极点的语言:
$$e=\lim_{n\to\infty}\left(1+\frac{1}{n}\right)^n=\lim_{x\to1^{+}}x^{\frac{1}{x-1}}$$
对称地走到极点左侧,令 $x=1-\dfrac{1}{n}$,得到 $e^{-1}$:
$$\left(1+\frac{1}{n}\right)^n\to e,\qquad \left(1-\frac{1}{n}\right)^n\to e^{-1}$$
两者关于 $x=1$ 严格对称:右支出 e,左支出 e 的倒数。
n 取 2、4、8、16 时,点 $1+\frac1n$ 与 $1-\frac1n$ 从两侧对称逼近极点 $x=1$(颜色随 n 加深);右支的指数极限为 e,左支为 e⁻¹。
叁区间 (k, 2k) 的分割:k 份是唯一的基准
细分只压缩步长,不改变计数单位;中点恰好落在第 k 个细分点上
先把区间 $(k,2k)$ 等分为 k 份,步长 $\Delta x=1$,分点为:
$$x_j=k+j,\qquad j=0,1,\dots,k$$
再把步长减半为 $\Delta x'=\tfrac12$ 做细分,分点为 $x_j=k+\dfrac{j}{2}$($j=0,1,\dots,2k$)。关键在于份数的基准没有变:
左端点 $k$ 仍与自己对齐;第 $k$ 个细分点恰好是中点 $\dfrac{3k}{2}$——它在细分刻度上的位置,正对应基准分割里原右端点 $2k$ 的序数。于是左右两半各含 k 份,整个区间仍以 k 份为单位对称展开。
以 k = 4 为例:基准分割为 4 → 8 共 4 份;步长减半后共 8 个小间隔,中点 6 = 3k/2 是第 4 个细分点,左右两半各 4 份,计数基准始终是 k。
对称配对关系因此异常干净:对任意 $j=0,1,\dots,k$,
$$k+\frac{j}{2}\ \longleftrightarrow\ 2k-\frac{j}{2}$$
中点 $\frac{3k}{2}$ 与自己配对。这正是极点双侧对称在离散区间上的复刻:对称轴从端点移到了中点,对称的份数却一刻也没有改变。
细分还可以一层层继续。第 $m$ 次细分后,步长为 $\frac{1}{2^m}$,中点两侧最近的邻点是 $\frac{3k}{2}\pm\frac{1}{2^m}$,它们到中点的距离按指数级缩小:
$$\lim_{m\to\infty}\left(\frac{3k}{2}\pm\frac{1}{2^m}\right)=\frac{3k}{2}$$
以 k = 4、中点 6 为例:第 m 次细分后,两侧邻点为 $6\pm\frac{1}{2^m}$,到中点的距离依次为 $1,\frac12,\frac14,\frac18$,趋于 0——邻点的极限位置就是中心点本身。
肆归一化到 (0,1):调和和收敛于 ln 2
把区间压进单位区间,离散和立刻显出黎曼和的原形
做线性变换 $t=\dfrac{x-k}{k}$,区间 $(k,2k)$ 被映到 $(0,1)$,基准分点成为 $t_j=\dfrac{j}{k}$,步长 $\Delta t=\dfrac{1}{k}$。
归一化把 $(k,2k)$ 压进 $(0,1)$(k = 4 时即 4→8 映为 0→1),分点一一对应;无论 k 取何值,中点恒为 $t=\frac12$,对称中心不随尺度改变。
调和数的差分随之改写:
$$\begin{aligned} H_{2k}-H_k &=\sum_{j=1}^{k}\frac{1}{k+j} =\frac{1}{k}\sum_{j=1}^{k}\frac{1}{1+\frac{j}{k}}\\ &=\sum_{j=1}^{k}\frac{1}{1+t_j}\,\Delta t \end{aligned}$$
这正是 $f(t)=\dfrac{1}{1+t}$ 在 $(0,1)$ 上的右黎曼和。令 $k\to\infty$:
$$\lim_{k\to\infty}(H_{2k}-H_k)=\int_0^1\frac{\mathrm{d}t}{1+t}=\ln 2$$
与调和数渐近式 $H_n=\ln n+\gamma+o(1)$ 完全吻合:发散的 $\ln n$ 项在差分中抵消,留下有限的 $\ln 2$。
同一条链的第二次回响
在 $|t|<1$ 内逐项积分交错几何级数 $\dfrac{1}{1+t}=\sum_{n=0}^{\infty}(-1)^n t^n$,得到交错调和级数 $\displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n}=\ln 2$——级数与黎曼和,两条路在同一个值上汇合。而第一个细分点 $t=\frac{1}{k}$ 代入 $(1+t)^{1/t}$,正是第二节里 e 的极限。
伍一条链收束
五个环节,同一种一阶奇性的不同面孔
完整思路链
- 几何级数展开:$\displaystyle\frac{1}{1-x}=\sum_{n=0}^{\infty}x^n$,奇点在 $x=1$。
- 翻号得分支:$\displaystyle\frac{1}{x-1}=-\frac{1}{1-x}$,两侧关于 $x=1$ 对称。
- 极点挂上指数:令 $x=1+\frac1n$,则 $\frac{1}{x-1}=n$,故 $\left(1+\frac1n\right)^n\to e$;左支对称给出 $e^{-1}$。
- 区间 $(k,2k)$ 以 k 份为基准分割;步长减半后共 2k 个小间隔,中点 $\frac{3k}{2}$ 恰是第 k 个细分点,左右各 k 份。
- 归一化 $t=\frac{x-k}{k}$ 到 $(0,1)$,调和和化为黎曼和:$H_{2k}-H_k\to\int_0^1\frac{\mathrm{d}t}{1+t}=\ln 2$。
级数是极点的展开,e 是极点邻域上的指数极限,$\ln 2$ 是极点离散求和的连续主项——对象换了三次,底层始终是同一个关于奇点双侧对称的结构。