数学笔记 · 一条思路链

一个一阶极点,串起几何级数、e 与 ln 2

从最基础的几何级数出发,盯住 $x=1$ 处那个一阶极点不放,让 e 的极限定义、区间的对称分割、调和和的对数极限,依次从同一个结构里长出来。

几何级数极限黎曼和调和数

壹起点:几何级数与它的对称分支

一切从收敛半径为 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 的倒数。

右支:(1 + 1/n)ⁿ → e 左支:(1 − 1/n)ⁿ → e⁻¹ 点色加深:n = 2 → 16 x = 1(极点) 1.5 1.25 0.5 0.75 1
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 份,步长 1 k k+1 3k/2 2k−1 2k 步长减半细分 2k 个小间隔 k k+1 k+k/2 2k−1 2k 左半:k 个小间隔 右半:k 个小间隔 中点 3k/2 自身对称,正是细分后的第 k 个分点 k 对齐 k 2k 对齐 2k
以 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}$$
中点 3k/2(k = 4 时即 6) m = 0 步长 1 5 7 Δ = 1 m = 1 步长 1/2 5.5 6.5 Δ = 1/2 m = 2 步长 1/4 5.75 6.25 Δ = 1/4 m = 3 步长 1/8 5.875 6.125 Δ = 1/8
以 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}$。

x k k+1 3k/2 2k−1 2k t = (x − k)/k t 0 1/k 1/2 (k−1)/k 1
归一化把 $(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 的极限。

伍一条链收束

五个环节,同一种一阶奇性的不同面孔

完整思路链

  1. 几何级数展开:$\displaystyle\frac{1}{1-x}=\sum_{n=0}^{\infty}x^n$,奇点在 $x=1$。
  2. 翻号得分支:$\displaystyle\frac{1}{x-1}=-\frac{1}{1-x}$,两侧关于 $x=1$ 对称。
  3. 极点挂上指数:令 $x=1+\frac1n$,则 $\frac{1}{x-1}=n$,故 $\left(1+\frac1n\right)^n\to e$;左支对称给出 $e^{-1}$。
  4. 区间 $(k,2k)$ 以 k 份为基准分割;步长减半后共 2k 个小间隔,中点 $\frac{3k}{2}$ 恰是第 k 个细分点,左右各 k 份。
  5. 归一化 $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$ 是极点离散求和的连续主项——对象换了三次,底层始终是同一个关于奇点双侧对称的结构。