2026-09-11 · 从边界走进圆盘

0. 导读与元结构 (Orientation & Meta-structure)

起点是一个双重问题。 昨日的 Fejér 核说明：若 Fourier 部分和振荡，可以对截断层数作 Cesàro 平均。今天改问：能否不作有限平均，而让第 $k$ 个频率按 $r^{|k|}$ 连续衰减？更重要的是，这个看似纯代数的 Abel 阻尼为何恰好等于把圆周函数调和地延拓到单位圆盘？

对象分为三层：

1. 边界数据 $f\in C(\mathbb{T})$，其中 $\mathbb{T}=\mathbb{R}/(2\pi \mathbb{Z})$；
2. 对每个 $0\le r<1$，Poisson 核 $P_r$ 与算子 $A_{r}f=P_r\ast f$；
3. 圆盘内函数 $u(r{e}^{ix})=A_{r}f(x)$。

量词目标。 对每个 $f\in C(\mathbb{T})$ 与每个 $\epsilon >0$，存在 $r_0=r_0(f,\epsilon )\in (0,1)$，使得对任意 $r\in (r_0,1)$ 与任意 $x\in \mathbb{R}$，都有 $|A_{r}f(x)-f(x)|<\epsilon$。

前置知识是 Fourier 系数、几何级数、卷积、一致连续性，以及二元函数的 Laplace 算子。主证明引擎仍是“正性 + 单位质量 + 远离原点的质量消失”，但新增两条结构线：频率侧的几何乘子对应空间侧的 Poisson 核；最大值原理 (maximum principle) 把存在性提升为 Dirichlet 问题的唯一解。

这是 anchor-2026-w37-positive-summability-kernels 的第 2/3 日：昨日从 Dirichlet 核到 Fejér 核，今日从边界 Fourier 数据到圆盘内调和函数；明日将越过连续边界数据，考察 $L^p$ 数据、测度和几乎处处径向极限。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 Abel 阻尼先提出了哪个核？

对 $0\le r<1$，考虑双边几何级数

$$\sum _{k\in \mathbb{Z}}{r}^{|k|}{e}^{ikt}=1+2\sum _{k=1}^{\mathrm{\infty }}{r}^k\cos (kt).$$

由

$$\sum _{k=0}^{\mathrm{\infty }}{r}^k{e}^{ikt}=\frac{1}{1-r{e}^{it}}$$

及其共轭式相加整理，得到圆周 Poisson 核 (Poisson kernel)

$$P_r(t)=\frac{1-r^2}{1-2r\cos t+r^2}=\frac{1-r^2}{|e^{it}-r{|}^2}.$$

它满足以下三条性质：

1. 正性： 若 $0\le r<1$，则对每个 $t\in \mathbb{R}$，$P_r(t)>0$。
2. 单位质量： 级数绝对一致收敛，故逐项积分合法，并且
   $$\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{P}_r(t)dt=1.$$
3. 尾部集中： 对每个固定的 $\delta \in (0,\pi ]$，当 $\delta \le |t|\le \pi$ 时，
   $$0<P_r(t)\le \frac{1-r^2}{1-2r\cos \delta +r^2}⟶0(r\uparrow 1).$$
   因而该区域上的积分也趋于零。

与 Fejér 核相比，$P_r$ 不是三角多项式：它保留所有频率，却按到零频率的距离作几何衰减。两者在空间侧却拥有相同的正逼近恒等族骨架。

1.2 Poisson 积分就是 Abel 和

定义

$$A_{r}f(x)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{P}_r(t)f(x-t)dt.$$

若

$$\hat{f}(k)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f(x)e^{-ikx}dx,$$

则卷积的 Fourier 系数满足

$$\widehat{A_{r}f}(k)=r^{|k|}\hat{f}(k).$$

因此在 $r<1$ 时，因 $|\hat{f}(k)|\le \parallel f{\parallel }_{\mathrm{\infty }}$ 且 $\sum _k{r}^{|k|}<\mathrm{\infty }$，有绝对一致收敛的展开

$$A_{r}f(x)=\sum _{k\in \mathbb{Z}}{r}^{|k|}\hat{f}(k)e^{ikx}.$$

这就是 Fourier 级数的 Abel 和 (Abel sum)。若 $S_{n}f=\sum _{|k|\le n}\hat{f}(k)e^{ikx}$，还可直接核对

$$A_{r}f=(1-r)\sum _{n=0}^{\mathrm{\infty }}{r}^n{S}_{n}f,$$

因为固定频率 $k$ 在所有 $n\ge |k|$ 的部分和中出现，而

$$(1-r)\sum _{n=|k|}^{\mathrm{\infty }}{r}^n=r^{|k|}.$$

所以 Abel 法也是对部分和作平均，只是权重为几何分布而非有限均匀分布。

1.3 边界恢复定理

定理（连续函数的 Abel 可和性）。 若 $f\in C(\mathbb{T})$，则

$$\underset{r\uparrow 1}{lim}\parallel A_{r}f-f{\parallel }_{\mathrm{\infty }}=0.$$

证明。 固定 $\epsilon >0$。由圆周紧致性，$f$ 一致连续；故存在 $\delta =\delta (f,\epsilon )\in (0,\pi ]$，使得

$$|t|<\delta ⟹\underset{x}{sup}|f(x-t)-f(x)|<\frac{\epsilon }{2}.$$

利用 $P_r$ 的单位质量，

$$A_{r}f(x)-f(x)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{P}_r(t)(f(x-t)-f(x))dt.$$

在 $|t|<\delta$ 上，由正性与单位质量，积分的绝对值至多为 $\epsilon /2$。在 $\delta \le |t|\le \pi$ 上，$|f(x-t)-f(x)|\le 2\parallel f{\parallel }_{\mathrm{\infty }}$，故远场至多为

$$2\parallel f{\parallel }_{\mathrm{\infty }}\frac{1}{2\pi }{\int }_{\delta \le |t|\le \pi }{P}_r(t)dt,$$

它在 $r\uparrow 1$ 时趋于零，且估计与 $x$ 无关。于是存在 $r_0=r_0(f,\epsilon )$，使对所有 $r\in (r_0,1)$ 都有 $\parallel A_{r}f-f{\parallel }_{\mathrm{\infty }}<\epsilon$。证毕。

1.4 从求和法到 Dirichlet 问题

令单位圆盘为 $\mathbb{D}=\{z\in \mathbb{C}:|z|<1\}$，并定义

$$u(r{e}^{ix})=A_{r}f(x),0\le r<1.$$

每个基本项 $r^{|k|}{e}^{ikx}$ 都是圆盘上的调和函数：对 $k\ge 0$，它是 $z^k$ 的实部与虚部的复线性组合；对 $k<0$，它等价于 $r^{-k}{e}^{ikx}={\bar{z}}^{-k}$。在任意较小闭圆盘 $|z|\le \rho <1$ 上，上述级数连同二阶导数局部一致收敛，故 $u$ 在 $\mathbb{D}$ 上调和。上一小节的一致收敛又说明，把边界值规定为 $u(e^{ix})=f(x)$ 后，$u$ 连续延拓到 $\bar{\mathbb{D}}$。

Dirichlet 问题（圆盘情形）。 对每个 $f\in C(\partial \mathbb{D})$，Poisson 积分给出唯一的 $u\in C(\bar{\mathbb{D}})$，使 $u$ 在 $\mathbb{D}$ 内调和且 $u{|}_{\partial \mathbb{D}}=f$。

存在性已由上述构造得到。若 $u,v$ 都是解，则实部和虚部分别对 $u-v$ 应用最大值原理；边界上差为零，故圆盘内也恒为零，唯一性成立。

研究生/现代延伸。 算子 $A_r$ 正、保常数、在 $C(\mathbb{T})$ 上为压缩，并满足

$$A_r{A}_s=A_{rs},$$

因为 Fourier 乘子相乘为 $r^{|k|}{s}^{|k|}=(rs{)}^{|k|}$。令 $r=e^{-t}$，便得到以 $|D|=(-{\partial }_x^2{)}^{1/2}$ 为生成元的 Poisson 半群 $e^{-t|D|}$。对 $L^p$ 边界数据，径向极限、Hardy 空间与调和测度把“连续边界恢复”推广成几乎处处和范数意义的边界理论。

2. 固定模板习题 (Template Exercise)

题目

设 $u:\bar{\mathbb{D}}\to \mathbb{R}$ 连续，并在 $\mathbb{D}$ 内调和。若对每个 $\zeta \in \partial \mathbb{D}$ 都有 $|u(\zeta )|\le M$，证明

$$|u(z)|\le M\text{对所有 }z\in \bar{\mathbb{D}}.$$

进而证明：若 $u,v\in C(\bar{\mathbb{D}})$ 都在 $\mathbb{D}$ 内调和，且在边界上相等，则 $u=v$。

模板识别

题目给出的是边界上的双侧估计，目标是整个有界区域上的估计；应识别“最大值原理 + 对函数作平移/取负”的边界归约模板。唯一性不是另一个定理，而是对两个候选解之差使用同一模板。

分级提示

1. 先把 $u\le M$ 改写成 $u-M\le 0$，观察 $u-M$ 仍调和。
2. 若 $u-M$ 在圆盘内部取正值，连续性保证它在闭圆盘达到一个正最大值；这个最大值能在哪里出现？
3. 下界不要对 $|u|$ 直接套实值最大值原理；改对 $-u-M$ 使用同一论证。
4. 唯一性中令 $w=u-v$，其边值为零，并取 $M=0$。

3. 大家之言 (Mathematician in Their Own Words)

人物与语境。 Henri Poincaré 在 Science and Hypothesis 中讨论数学家究竟保留对象的什么。这里采用 W. J. Greenstreet 的 1905 年英译本；引文见 Part I, Chapter II “Mathematical Magnitude and Experiment”。Project Gutenberg 的电子本同时说明其 OCR 来源与少量排印校订，故此处还以 Internet Archive 的 1905 年馆藏扫描文本交叉核对措辞。

“Mathematicians do not study objects, but the relations between objects.”

“数学家研究的不是对象本身，而是对象之间的关系。”

原句接着说明：只要关系不变，用别的对象替换原对象并无妨。放在今日主题中，这不是一句泛泛的结构主义口号。我们从三种表面不同的对象出发——频率乘子 $r^{|k|}$、圆周上的正核 $P_r$、圆盘中的调和延拓——真正保持的是同一组关系：线性、正性、保常数、尺度复合，以及靠近边界时恢复数据。公式的意义不只在“算出一个函数”，而在证明这三种语言是同一机制的不同实现。

也应谨慎：Poincaré 的话不能替代定理。哪些关系被保持，必须逐条证明；本期承担工作的恰是核的三性质、Fourier 乘子恒等式与最大值原理。

4. 反例与边界 (Counterexample & Boundary)

连续性不能从边界恢复定理中随意删去。在 $(-\pi ,\pi ]\setminus \{0\}$ 上定义 $2\pi$-周期函数

$$f(t)={\mathbf{1}}_{(0,\pi )}(t),$$

并特意令 $f(0)=1$。这是有界可积函数，但在 $0$ 处有跳跃。考察其 Poisson 积分在半径 $r$、角度 $0$ 处的值：

$$A_{r}f(0)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{P}_r(t)f(-t)dt=\frac{1}{2\pi }{\int }_{-\pi }^0{P}_r(t)dt.$$

逐项核对：

1. $P_r(-t)=P_r(t)$，因为公式只含 $\cos t$；
2. $P_r$ 的总积分为 $2\pi$；
3. 偶对称性于是给出
   $${\int }_{-\pi }^0{P}_r(t)dt=\pi ;$$
4. 因而对每个 $0\le r<1$，都有 $A_{r}f(0)=1/2$。

所以

$$\underset{r\uparrow 1}{lim}{A}_{r}f(0)=\frac{1}{2}\ne f(0)=1.$$

暴露的边界。 Poisson 核看不到单点上任意改写的边值；在这个对称跳点，它选择左右极限的平均 $(0+1)/2$。连续性保证“小邻域内所有值都接近 $f(x)$”，正是近场估计所需的条件。若只要求 $f\in L^p$，正确结论通常改成 $L^p$ 范数收敛与在 Lebesgue 点几乎处处恢复，而不是每一点都恢复任意代表元的赋值。

5. 今日一问与数学地图 (Question & Map)

今日一问。 已知 $A_r{A}_s=A_{rs}$。令 $T_t=A_{e^{-t}}$。对三角多项式 $f$，能否从 Fourier 展开严格求出

$$\underset{t\downarrow 0}{lim}\frac{T_{t}f-f}{t},$$

并解释为何其生成元不是通常的 ${\partial }_x^2$，而是 $-|D|=-(-{\partial }_x^2{)}^{1/2}$？进一步，圆盘中的调和延拓为何会在边界产生一个“一阶、非局部”的算子？

方向提示（不封口）。 先在单个频率 $e^{ikx}$ 上计算；再比较热半群的乘子 $e^{-t{k}^2}$ 与 Poisson 半群的乘子 $e^{-t|k|}$。最后想一想：边界法向导数如何读取圆盘内部的调和函数？

数学地图：

$$\text{Fourier 系数}⟶\text{Abel 乘子 }{r}^{|k|}⟷\text{Poisson 正核}⟶\text{圆盘 Dirichlet 问题}$$

$$⟶\{\begin{array}{l}\text{最大值原理与调和测度},\\ \text{Poisson 半群与分数 Laplace 算子},\\ \text{Hardy 空间与 Fatou 径向极限定理},\\ \text{一般区域的边值问题与概率表示}.\end{array}$$

附录 A：习题完整解答 (Full Solution)

展开完整解答

模板名：最大值原理的边界归约与差函数唯一性。

令 $w=u-M$。则 $w\in C(\bar{\mathbb{D}})$，在 $\mathbb{D}$ 内调和，且对每个 $\zeta \in \partial \mathbb{D}$ 有 $w(\zeta )\le 0$。

由于闭圆盘紧且 $w$ 连续，$w$ 在 $\bar{\mathbb{D}}$ 上达到最大值。若存在 $z_0\in \mathbb{D}$ 使 $w(z_0)>0$，则全局最大值为正，不可能在边界取得，故必在某个内点取得。实值调和函数的强最大值原理于是推出 $w$ 在连通区域 $\mathbb{D}$ 上为常数。该常数为正，却与边界上 $w\le 0$ 矛盾。因此 $w\le 0$，即

$$u(z)\le M(z\in \bar{\mathbb{D}}).$$

再对实值调和函数 $-u$ 使用同样论证。其边界满足 $-u(\zeta )\le M$，故

$$-u(z)\le M,$$

也就是 $u(z)\ge -M$。合并两侧得到 $|u(z)|\le M$。

最后设 $u,v$ 具有相同边界值，并令 $h=u-v$。则 $h$ 连续于闭圆盘、调和于开圆盘，且 $h=0$ 于边界。上面的结论取 $M=0$，得到 $|h|\le 0$，故 $h\equiv 0$，即 $u=v$。

此模板可复用为：把内部结论改写成调和差函数的边界符号条件，再用紧致性保证极值存在、用强最大值原理排除正的内部极值；唯一性则永远先取“两个解之差”。

资料与来源 (Sources)

1. Sheldon Axler, Paul Bourdon, Wade Ramey, Harmonic Function Theory, 2nd ed., Springer, 2001；作者公开电子版标注更新日期 17 July 2020。Chapter 1 的 “The Poisson Kernel for the Ball” 与 “The Dirichlet Problem for the Ball” 给出一般维球的 Poisson 核、正性、单位质量、边界集中、调和性及 Dirichlet 问题；二维公式化为本期的圆周核。https://axler.net/HFT.pdf
2. Henri Poincaré, Science and Hypothesis, translated by W. J. Greenstreet, with a preface by J. Larmor, Walter Scott Publishing Co., 1905。第 3 节引文来自 Part I, Chapter II；Project Gutenberg 页面列出作者、译者、目录与版本元数据。https://www.gutenberg.org/ebooks/37157
   • 1905 年馆藏扫描及 OCR 全文（用于交叉核对原版措辞）：https://archive.org/details/scienceandhypoth00poinuoft