2026-09-12 · 边界质量可以隐身

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

前两日的结论建立在连续边界数据上：Fejér 核和 Poisson 核都能借助“正性、单位质量、质量集中”一致恢复 $f\in C(\mathbb{T})$。今天追问连续性消失以后究竟还剩什么。答案不是一个较弱版本，而是三种彼此不可替代的边界语义：

1. 若 $f\in L^p(\mathbb{T})$ 且 $1\le p<\mathrm{\infty }$，Poisson 积分在 $L^p$ 范数中恢复 $f$；
2. 若边界对象是有限 Borel 测度 $\mu$，径向函数所定义的测度只保证弱星收敛于 $\mu$；
3. 在点态层面，Fatou 定理给出非切向几乎处处极限，但它只看见 $\mu$ 的绝对连续密度，奇异部分可以在几乎每个边界点“隐身”。

令 $\mathbb{T}=\mathbb{R}/(2\pi \mathbb{Z})$，以归一化 Haar 测度

$$dm(t)=\frac{dt}{2\pi }$$

积分。对象层依次为边界函数 $f$、边界测度 $\mu$、圆盘内调和函数 $u=P[\mu ]$，以及固定 $0<r<1$ 时的径向切片 $u_r(e^{it})=u(r{e}^{it})$。量词不能混写：范数收敛同时控制整个边界；弱星收敛逐个测试函数检验；几乎处处结论允许一个依赖于边界对象的零测集。

前置知识是 $L^p$ 空间、连续函数在 $L^p$ 中的稠密性、有限测度与 Radon–Nikodym/Lebesgue 分解。主证明引擎有三部：正核给出压缩估计，稠密核心把连续情形推广到 $L^p$，极大函数的弱型估计把平均控制提升为几乎处处非切向极限。

这是 anchor-2026-w37-positive-summability-kernels 的第 3/3 日：从“改变求和法”，经过“把边界延拓进圆盘”，最终抵达“不同边界对象需要不同收敛拓扑”。

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

1.1 从正核到 $L^p$ 压缩

对 $0\le r<1$，圆周 Poisson 核为

$$P_r(t)=\frac{1-r^2}{1-2r\cos t+r^2},$$

并定义

$$A_{r}f(x)={\int }_{\mathbb{T}}{P}_r(x-y)f(y)dm(y).$$

它非负且 ${\int }_{\mathbb{T}}{P}_{r}dm=1$。若 $1\le p<\mathrm{\infty }$，Jensen 不等式逐点给出

$$|A_{r}f(x){|}^p\le {\int }_{\mathbb{T}}{P}_r(x-y)|f(y){|}^{p}dm(y).$$

再用 Tonelli 定理交换积分并利用平移不变性，得到

$$\parallel A_{r}f{\parallel }_p\le \parallel f{\parallel }_p.$$

$p=\mathrm{\infty }$ 时同样有 $\parallel A_{r}f{\parallel }_{\mathrm{\infty }}\le \parallel f{\parallel }_{\mathrm{\infty }}$。因此每个 $A_r$ 都是正压缩算子；这一估计是从连续函数推广到粗糙边界数据的稳定性来源。

1.2 连续稠密核心推出强收敛

定理（Poisson 积分的 $L^p$ 边界恢复）。 对每个 $1\le p<\mathrm{\infty }$、每个 $f\in L^p(\mathbb{T},m)$ 与每个 $\epsilon >0$，存在 $r_0=r_0(f,p,\epsilon )\in (0,1)$，使得对所有 $r\in (r_0,1)$，

$$\parallel A_{r}f-f{\parallel }_p<\epsilon .$$

证明架构。 取 $g\in C(\mathbb{T})$ 使 $\parallel f-g{\parallel }_p<\epsilon /3$。昨日已知 $A_{r}g\to g$ 一致，因此也在 $L^p$ 中收敛；可取 $r_0=r_0(g,\epsilon )$ 使 $r>r_0$ 时 $\parallel A_{r}g-g{\parallel }_p<\epsilon /3$。由压缩性，

$$\begin{array}{rl}\parallel A_{r}f-f{\parallel }_p& \le \parallel A_r(f-g){\parallel }_p+\parallel A_{r}g-g{\parallel }_p+\parallel g-f{\parallel }_p\\ & <\epsilon .\end{array}$$

这里 $p<\mathrm{\infty }$ 不是装饰：连续函数在 $L^p$ 中稠密，却不在一般 $L^{\mathrm{\infty }}$ 中按本性上确界范数稠密。

1.3 当边界是测度：拓扑必须改变

设 $M(\mathbb{T})$ 为有限复 Borel 测度组成的空间。对 $\mu \in M(\mathbb{T})$ 定义

$$P[\mu ](r{e}^{ix})={\int }_{\mathbb{T}}{P}_r(x-y)d\mu (y).$$

记 $u=P[\mu ]$，并把 $u_r$ 看成密度，令 $d{\nu }_r=u_{r}dm$。则 ${\nu }_r$ 不一定在全变差范数中趋于 $\mu$，但有如下恰当结论。

定理（径向测度的弱星恢复）。 对每个 $\mu \in M(\mathbb{T})$ 与每个 $g\in C(\mathbb{T})$，

$$\underset{r\uparrow 1}{lim}{\int }_{\mathbb{T}}gd{\nu }_r={\int }_{\mathbb{T}}gd\mu .$$

换言之，${\nu }_r\stackrel{\ast }{\rightharpoonup }\mu$ 于 $M(\mathbb{T})=C(\mathbb{T}{)}^{\ast }$。

证明。 由 Fubini 定理和 $P_r(x-y)=P_r(y-x)$，

$${\int }_{\mathbb{T}}g(x)u_r(x)dm(x)={\int }_{\mathbb{T}}{A}_{r}g(y)d\mu (y).$$

而 $A_{r}g\to g$ 一致，故右侧趋于 $\int gd\mu$。注意测试对象必须固定为连续 $g$；弱星收敛并不声称密度在每一点或全变差范数中接近。

1.4 Fatou 定理：有限边界迹只读取密度

对 $\zeta \in \mathbb{T}$ 与 $\alpha >1$，定义一个 Stolz 非切向区域

$${\mathrm{\Gamma }}_{\alpha }(\zeta )=\{z\in \mathbb{D}:|z-\zeta |<\alpha (1-|z|)\}.$$

称 $u$ 在 $\zeta$ 处有非切向极限 $L$，若对每个 $\alpha >1$，当 $z\to \zeta$ 且 $z\in {\mathrm{\Gamma }}_{\alpha }(\zeta )$ 时都有 $u(z)\to L$。

Fatou 定理（圆盘的测度版本）。 设 $\mu \in M(\mathbb{T})$，相对于 $m$ 作 Lebesgue 分解

$$d\mu =fdm+d{\mu }_s,f\in L^1(\mathbb{T},m),{\mu }_s\perp m.$$

则存在 $N=N(\mu )\subseteq \mathbb{T}$，满足 $m(N)=0$，并且对每个 $\zeta \in \mathbb{T}\setminus N$、每个 $\alpha >1$，

$$\underset{\begin{array}{c}z\to \zeta \\ z\in {\mathrm{\Gamma }}_{\alpha }(\zeta )\end{array}}{lim}P[\mu ](z)=f(\zeta )$$

（在选定 $f$ 的 Lebesgue 点代表元处理解）。特别地，若 $f\in L^1$，则 $P[f]$ 非切向几乎处处恢复 $f$；若 $\mu$ 纯奇异，则 $P[\mu ]$ 的非切向极限几乎处处为 $0$。

证明架构，而非把定理归于声望。 核心是把非切向最大函数控制在 Hardy–Littlewood 极大函数之下，再使用弱 $(1,1)$ 估计

$$m\{\zeta :M\mu (\zeta )>\lambda \}\le \frac{C\parallel \mu \parallel }{\lambda }.$$

对 $L^1$ 函数，先在连续稠密核心上知道极限，再以弱型估计控制逼近误差的坏点集。对奇异测度，把质量集中到一个 $m$-零测集的紧子集附近；支撑之外的 Poisson 积分趋零，而剩余小质量仍由同一弱型估计控制。两部分相加便恰好留下 Radon–Nikodym 密度 $f$。

研究生/现代延伸。 调和 Hardy 空间

$$h^p(\mathbb{D})=\{u:\mathrm{\Delta }u=0,\underset{0<r<1}{sup}\parallel u_r{\parallel }_p<\mathrm{\infty }\}$$

把这些边界定理组织成表示定理：$h^1$ 的边界对象一般是有限测度；当 $1<p\le \mathrm{\infty }$ 时，边界对象可取为 $L^p$ 函数。端点 $p=1$ 的特殊性正是“测度可能含奇异部分”。极大函数、弱型估计与一致可积性随后通向 Hardy 空间、鞅收敛和调和分析中的边界值问题。

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

题目

设 $X$ 是 Banach 空间，$D\subseteq X$ 为稠密线性子空间。设 $T_t:X\to X$（$0<t<1$）为有界线性算子，并满足

$$\underset{0<t<1}{sup}\parallel T_t\parallel \le 1.$$

假设对每个 $g\in D$，当 $t\downarrow 0$ 时都有 $\parallel T_{t}g-g{\parallel }_X\to 0$。证明：对每个 $f\in X$，

$$\underset{t\downarrow 0}{lim}\parallel T_{t}f-f{\parallel }_X=0.$$

模板识别

信号是“在稠密子空间已知收敛”加“一族算子具有统一范数界”。这不是逐点交换极限，而是稠密核心 + 一致有界延拓模板：用一个固定逼近元 $g$ 把未知误差拆成两端稳定误差与中间已知误差。

分级提示

1. 给定 $f\in X$ 与 $\epsilon >0$，先从稠密性选择一个与 $t$ 无关的 $g\in D$。
2. 在 $T_{t}f-f$ 中加减 $T_{t}g$ 与 $g$，得到三个误差项。
3. 第一项使用 $\parallel T_t\parallel \le 1$；第三项直接由 $g$ 逼近 $f$。
4. 只有中间项需要令 $t$ 足够小；注意这个阈值可依赖于已经选定的 $g$ 和 $\epsilon$。

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

人物与语境。 David Hilbert 在 1900 年巴黎国际数学家大会的演讲 Mathematical Problems 中讨论一个完善解答应满足什么要求。此处采用 Mary Winston Newson 经作者许可所作的英译，刊于 1902 年 Bulletin of the American Mathematical Society。在要求“有限步、有限且精确表述的假设”之后，他特意反对把严格与简洁对立起来。

“Besides it is an error to believe that rigor in the proof is the enemy of simplicity. On the contrary we find it confirmed by numerous examples that the rigorous method is at the same time the simpler and the more easily comprehended.”

“此外，认为证明的严格性是简洁性的敌人，乃是一种错误。恰恰相反，许多例子表明，严格的方法同时也是更简洁、更容易理解的方法。”

今日主题正是一个小型例证。若只说“$u_r$ 在边界趋于 $\mu$”，句子看似简短，实则含混：函数不能在范数中趋于一个奇异测度，几乎处处的有限极限又会漏掉奇异质量。把对象类型与拓扑写清后，结论反而整齐地分成三条：$L^p$ 强收敛、测度弱星收敛、非切向几乎处处恢复绝对连续密度。

因此，严格性在这里不是添加符号，而是删去歧义；证明架构也随之透明：压缩性负责范数层，测试函数负责弱星层，极大不等式负责几乎处处层。Hilbert 的方法论必须由这些逐项论证来兑现，而不能代替论证。

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

取边界原子测度 $\mu ={\delta }_1$，即质量 $1$ 全部放在 $\zeta =1$。其 Poisson 积分为

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

逐项核对它暴露的边界：

1. 它确为正调和函数。 对每个固定边界点，Poisson 核关于圆盘变量调和且为正。
2. 径向测度质量恒定。 若 $d{\nu }_r=P_{r}dm$，则 ${\nu }_r(\mathbb{T})=1$。
3. 弱星极限保留原子。 对每个 $g\in C(\mathbb{T})$，
   $$\int gd{\nu }_r=A_{r}g(1)⟶g(1)=\int gd{\delta }_1.$$
4. 支撑外却逐点趋零。 若 $t\not\equiv 0(\mathrm{mod}2\pi )$，分母趋于 $2-2\cos t>0$，分子趋于 $0$，故 $P_r(t)\to 0$。
5. 原子点发生爆破。 在 $t=0$，
   $$P_r(0)=\frac{1+r}{1-r}⟶\mathrm{\infty }.$$
6. 全变差范数没有收敛。 每个 ${\nu }_r$ 都绝对连续于 $m$，而 ${\delta }_1$ 集中在 $m$-零测集 $\{1\}$，故二者互相奇异；于是
   $$\parallel {\nu }_r-{\delta }_1{\parallel }_{M(\mathbb{T})}=\parallel {\nu }_r\parallel +\parallel {\delta }_1\parallel =2.$$

因此，$P[{\delta }_1]$ 在几乎每个边界点的有限非切向极限是 $0$，却不能由这些几乎处处有限值重建为零测度；它的全部边界质量仍存在于弱星极限中。此例同时否定了三种误换：弱星收敛不能升级为全变差收敛，几乎处处边界值不能自动编码奇异质量，$p<\mathrm{\infty }$ 的强 $L^p$ 恢复也不能照搬到 $p=\mathrm{\infty }$ 或一般测度。

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

今日一问。 设 $u=P[\mu ]\in h^1(\mathbb{D})$，并已知它的非切向边界极限 $u^{\ast }(\zeta )=0$ 对 $m$-几乎处处成立。还需要给径向族 $\{u_r:0<r<1\}$ 增加什么“禁止质量集中”的条件，才能推出 $\mu =0$？试说明为什么一致可积性 (uniform integrability) 是自然候选，并思考它如何排除第 4 节的 Poisson 尖峰。

方向提示（不封口）。 一致可积性要求：对每个 $\epsilon >0$，存在 $\delta =\delta (\epsilon )>0$，使对所有 $0<r<1$ 和所有满足 $m(E)<\delta$ 的可测集 $E$，都有 ${\int }_E|u_r|dm<\epsilon$。将它与弱星紧性、绝对连续性以及第 4 节在越来越小邻域中保持总质量 $1$ 的现象对照。

数学地图：

$$\text{正逼近恒等族}⟶\{\begin{array}{l}C(\mathbb{T})\text{ 中一致收敛},\\ L^p(\mathbb{T})\text{ 中强收敛 }(p<\mathrm{\infty }),\\ M(\mathbb{T})\text{ 中弱星收敛}\end{array}$$

$$⟶\text{Hardy--Littlewood 极大函数}⟶\text{Fatou 非切向极限}⟶\text{Lebesgue 分解与 }{h}^1\text{ 边界表示}.$$

再向外，一致可积性连接 Vitali 收敛与鞅收敛；弱星紧性连接泛函分析中的对偶空间；“绝对连续密度可见、奇异部分隐身”则是 Radon–Nikodym 理论在调和边界上的一个几何实现。

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

展开完整解答

模板名：一致有界算子族上的稠密核心延拓。

固定任意 $f\in X$ 与 $\epsilon >0$。由于 $D$ 在 $X$ 中稠密，可选取 $g=g(f,\epsilon )\in D$，使

$$\parallel f-g{\parallel }_X<\frac{\epsilon }{3}.$$

对任意 $0<t<1$，在 $T_{t}f-f$ 中加减 $T_{t}g$ 与 $g$，由三角不等式得

$$\begin{array}{rl}\parallel T_{t}f-f{\parallel }_X& \le \parallel T_t(f-g){\parallel }_X+\parallel T_{t}g-g{\parallel }_X+\parallel g-f{\parallel }_X\\ & \le \parallel T_t\parallel \parallel f-g{\parallel }_X+\parallel T_{t}g-g{\parallel }_X+\parallel g-f{\parallel }_X\\ & \le 2\parallel f-g{\parallel }_X+\parallel T_{t}g-g{\parallel }_X.\end{array}$$

因为这个 $g$ 属于 $D$，由题设存在

$$t_0=t_0(g,\epsilon )\in (0,1),$$

使得对所有 $0<t<t_0$，都有

$$\parallel T_{t}g-g{\parallel }_X<\frac{\epsilon }{3}.$$

因此当 $0<t<t_0$ 时，

$$\parallel T_{t}f-f{\parallel }_X<2\cdot \frac{\epsilon }{3}+\frac{\epsilon }{3}=\epsilon .$$

由于 $f\in X$ 与 $\epsilon >0$ 任意，得到对每个 $f\in X$，$\parallel T_{t}f-f{\parallel }_X\to 0$。

量词次序是此模板的关键：先固定 $f,\epsilon$，再选一个固定逼近元 $g=g(f,\epsilon )$，最后才依据该 $g$ 选择 $t_0$。不能令 $g$ 随 $t$ 任意漂移，否则题设在每个固定 $g\in D$ 上的收敛不能直接控制中间项。若只知 $\underset{t}{sup}\parallel T_t\parallel \le C<\mathrm{\infty }$，同一证明仍成立，只需把逼近精度改为小于 $\epsilon /[3(C+1)]$。

在正文中取 $X=L^p(\mathbb{T})$、$D=C(\mathbb{T})$、$T_t=A_{e^{-t}}$，便得到 Poisson 算子的强 $L^p$ 边界收敛。

资料与来源 (Sources)

1. Sheldon Axler, Paul Bourdon, Wade Ramey, Harmonic Function Theory, 2nd ed., Springer, 2001；作者公开电子版注明 17 July 2020。Chapter 6 的 Theorems 6.4、6.7、6.9、6.39、6.42 与 Corollary 6.44 分别给出 Poisson 积分的 $L^p$ 压缩与强收敛、测度弱星收敛、$L^1$ 数据及奇异测度的 Fatou 边界结论；Chapter 6, Exercise 12 记录一致可积性与 $L^1$ 边界表示的关系。https://axler.net/HFT.pdf
2. David Hilbert, “Mathematical Problems: Lecture Delivered before the International Congress of Mathematicians at Paris in 1900,” translated with the author's permission by Mary Winston Newson, Bulletin of the American Mathematical Society 8 (1902), 437–479。第 3 节引文见演讲对严格性与简洁性的讨论。https://www.ams.org/journals/bull/1902-08-10/S0002-9904-1902-00923-3/S0002-9904-1902-00923-3.pdf