结果族 082：Annular variation and dyadic absolute bounds for the triangular Hilbert transform · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
医生看心电图，不只看某一刻的读数，还要看整条曲线的”起伏总量”——起伏有限，心跳才规律。这篇论文研究一个著名奇异积分（三角 Hilbert 变换）在所有可能截断下的读数序列，证明其 @@M@@r@@-变差（起伏总量）能被输入牢牢控制——读数不但有界，而且收敛得非常安分，不会反复横跳。
关键词卡片
@@M@@\int F(x{+}t,y)G(x,y{+}t)\frac{dt}{t}@@，两个函数沿两个方向平移后以 @@M@@1/t@@ 为核纠缠在一起@@M@@\varepsilon<|t|<R@@ 的”圆环”部分以避开奇点@@M@@r@@ 次方和开 @@M@@r@@ 次方，衡量抖动的剧烈程度@@M@@\varepsilon\to0@@、@@M@@R\to\infty@@ 时的极限值看个具体例子
数字版定理：对一切 @@M@@r>2@@ 与复值 @@M@@F,G\in L^3(\mathbb R^2)@@，@@M@@\|V_r(F,G)\|_{L^{3/2}}\le C_r\|F\|_3\|G\|_3@@；分割可随输出点任取，段数不加限制。有限变差强于收敛：由此免费得到双端点极大估计与联合主值，并解决 Thiele 问题 13 的对称点情形。
为什么值得关心
三角圈不是二部图，此前的 Bellman 函数框架明确处理不了它，是纠缠奇异积分领域公认的硬骨头；变差估计是比有界性、极大值都更强的一揽子结论，一个定理收编三样。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读用”心电图的起伏总量”作比：对象是平面上两个函数，把它们沿两个不同坐标方向平移后相乘，再对平移量 @@M@@t@@ 以 @@M@@1/t@@ 为权重积分——每选定一对截断端点（避开奇点的”圆环”）就得到一个读数。问题问：端点任意变动、甚至随观察点逐点挑选时，这条读数曲线的总抖动有多大？论文的答案是：抖动能被两个输入的大小牢牢控制。
第二级台阶
用本科术语写：三角 Hilbert 变换 @@M@@B_{\varepsilon,R}(F,G)(x,y)=\int_{\varepsilon<|t|<R}F(x+t,y)\,G(x,y+t)\,\frac{dt}{t}@@；其 @@M@@r@@-变差 @@M@@V_r(F,G)=\sup(\sum_j|B_{t_{j-1},t_j}|^r)^{1/r}@@，上确界取遍一切（可随输出点选取的）分割。指标 @@M@@L^3\times L^3\to L^{3/2}@@ 恰好落在 Hölder 关系 @@M@@1/3+1/3=2/3@@ 上；三个 @@M@@L^3@@ 的对称点对应标量形式 @@M@@\Lambda(G_0,G_1,G_2)@@ 的 @@M@@1/3+1/3+1/3=1@@。
第三级台阶
主定理陈述：对每个 @@M@@r>2@@ 存在 @@M@@C_r@@ 使 @@M@@\|V_r(F,G)\|_{L^{3/2}(\mathbb R^2)}\le C_r\|F\|_3\|G\|_3@@ 对一切复值输入成立，端点取有理数只为可测性，每个二进尺度区间内的端点个数不加限制。语境是纠缠奇异积分：三个输入各依赖变量对 @@M@@(a,b),(b,c),(c,a)@@、首尾相接成三角循环——不是二部图，Kovač 的 Bellman 函数框架明确处理不了，此前最好的硬截断结果只给出随尺度范围增长的 @@M@@\sqrt{\log(R/\varepsilon)}@@ 界。结论比有界性强一档：极大算子、几乎处处与 @@M@@L^{3/2}@@ 联合主值一并到手，并解决 Thiele 问题 13 的对称点情形。
证明了三角 Hilbert 变换的环形 @@M@@r@@-变差（annular @@M@@r@@-variation）估计：对一切 @@M@@r>2@@，变差算子 @@M@@V_r@@ 从复 @@M@@L^3\times L^3@@ 有界映到 @@M@@L^{3/2}@@，且变差分割可随输出点任取。由此得到双端点极大估计与联合主值，并在对称点解决了 Thiele 的标量三角 Hilbert 变换问题。
三角 Hilbert 变换把两个函数沿不同坐标方向平移后耦合：@@M@@B_{\varepsilon,R}(F,G)(x,y)=\int_{\varepsilon<|t|<R}F(x+t,y)G(x,y+t)\,\frac{\mathrm dt}{t}@@。它等价于单纯形坐标下的标量形式 @@M@@\Lambda_{\varepsilon,R}(G_0,G_1,G_2)=\iiint_{\varepsilon<|a+b+c|<R}G_0(a,b)G_1(b,c)G_2(c,a)\,\frac{\mathrm da\,\mathrm db\,\mathrm dc}{a+b+c}@@：三个输入各依赖三个变量中的一对、首尾相接成三角循环，是最基本的纠缠奇异积分（entangled singular integral）之一，由 Demeter–Thiele 与 Kovač–Thiele–Zorin-Kranich 等系统研究。Thiele 在 2017 年问题列表的问题 13 中提出对称点 @@M@@L^3\times L^3\times L^3@@ 估计。此前最好的硬截断结果（Durcik–Kovač–Thiele 2019 的幂次型抵消，经置换与插值）只给出随尺度范围增长如 @@M@@\sqrt{\log(R/\varepsilon)}@@ 的界；Walsh 模型的结果则要求第三个输入带特殊结构。更深的障碍在于三角图不是二部图，Kovač 的 Bellman 函数框架明确指出无法直接处理三角圈。
主定理（完整环形变差）：对每个实数 @@M@@r>2@@ 存在有限常数 @@M@@C_r@@，使
@@M@@D\|V_r(F,G)\|_{L^{3/2}(\mathbb R^2)}\le C_r\|F\|_{L^3}\|G\|_{L^3}@@
对一切复 @@M@@F,G\in L^3(\mathbb R^2)@@ 成立，其中 @@M@@V_r(F,G)(x,y)=\sup(\sum_{j=1}^J|B_{t_{j-1},t_j}(F,G)(x,y)|^r)^{1/r}@@，上确界取遍一切有理分割 @@M@@0<t_0<\cdots<t_J@@，分割可随输出点逐点选取，对二进尺度区间内的端点个数也不加限制。实质核心是不交环计数估计（disjoint-annulus count estimate）：@@M@@\|\mathcal S_n(F,G)\|_{3/2}\le C\sqrt n\log(2+n)\|F\|_3\|G\|_3@@，其中 @@M@@\mathcal S_n@@ 是至多 @@M@@n@@ 个两两不交环上增量绝对值之和的逐点上确界。推论：硬极大算子 @@M@@B_*=\sup_{0<\varepsilon<R}|B_{\varepsilon,R}|@@ 满足同一乘积界；联合主值 @@M@@B=\lim_{\varepsilon\downarrow0,R\uparrow\infty}B_{\varepsilon,R}@@ 几乎处处且在 @@M@@L^{3/2}@@ 中存在，尾部以极大意义收敛到零；与第三个 @@M@@L^3@@ 输入配对，得到平的与单纯形两种标量三线性形式的一致界与联合标量主值，且两形式的最优常数相等——这肯定地解决了 Thiele 问题 13 的对称点情形。
全文的实质是计数估计，变差由它经秩分组导出。先处理光滑环：把截断核写成三个一元高斯导数窗卷积的尺度积分，固定三个窗中心（其和为零）后，三个窗因子分别只依赖 @@M@@a,b,c@@；在有限网格上，采样出的成对输入给出三个矩阵 @@M@@W_v@@，窗因子给出对角插入，局部和成为循环矩阵迹（cyclic matrix trace）@@M@@\tr(D_0W_0D_1W_1D_2W_2)@@。在每个顶点把两条邻接矩阵并排成行星（row star）@@M@@R_v=[\,W_v\ \ W_{v-1}^*\,]@@，赋能量 @@M@@\Phi(P)=\tr(P^{3/2})@@——它与三线性形式同为三次齐次标度。核心的混合迹不等式（mixed trace inequality）把循环积的模控制为三个 Hessian 二次代价之和的常数倍；矩阵固定后，热流恒等式把累积的代价用初始能量控制，而对中心积分后的能量又被立方 @@M@@L^3@@ 范数之和控制。从单个环到多个环有两类损失。光滑环上，对偶矩阵的元素在自选端点处开关，对能量跳跃（energy jump）逐元估计后对对偶输入重标度，得 @@M@@\sqrt n@@ 因子；硬环上逐端点估计会线性损失，改为按二进半径区间分组，环的两两不交性保证每组具有一致的大小与导数界。另一新工具是频率块估计（frequency-block estimate），处理系数同时依赖尺度、频率与输出点的调制高斯窗：收窄一个高斯方差并平均其中心平移，把振荡插入表示为窄高斯导数的平均，仅保留一条输入边的辅助热流控制多余的导数项，再用二维高斯估计控制尺度区间端点处的能量变化。组装时，先把硬线性化写成光滑线性化减端点误差，对固定的有限”菜单”用矩形逼近与可测选取、@@M@@L^3@@ 对偶得到界，再经稠密性过渡到一般复 @@M@@L^3@@ 输入并穷举全部有理环列。最后把每个分割的增量按绝对值降序排列、按秩二进分组，得 @@M@@V_r\le\sum_{j\ge0}2^{j/r-j}\mathcal S_{2^j}@@，其通项如 @@M@@(1+j)2^{j(1/r-1/2)}@@，级数恰在 @@M@@r>2@@ 时收敛——结论中对增量个数与端点的二进限制都不复存在。
本文暂无形式化证明。姊妹篇《The maximal triangular Hilbert transform at the symmetric point》的主定理已 Lean 形式化，其核心矩阵引理与本文第三节同源（同样的能量 @@M@@\tr(P^{3/2})@@ 与混合迹不等式，本文自成体系地给出全部证明）；另一篇 dyadic 模型论文则直接复用极大一文的矩阵引理。按 OpenAI 官方声明，未经形式化的结果可能有问题，本文的变差与计数定理应以社区核验为准。
问 1：证明的心脏在哪里？
（答：不交环计数估计 Theorem~\ref{thm:count}：@@M@@\|\mathcal S_n(F,G)\|_{3/2}\le C\sqrt n\log(2+n)\|F\|_3\|G\|_3@@。变差定理由它经秩分组免费获得——增量按绝对值降序排列、按秩二进分组后级数通项为 @@M@@C(1+j)2^{j(1/r-1/2)}@@。而计数估计的实质是矩阵机制：把光滑环核写成三个一元高斯导数窗的尺度积分，网格上局部和成为循环矩阵迹，配能量 @@M@@\Phi(P)=\tr(P^{3/2})@@（与三线性形式同三次齐次标度），核心的混合迹不等式把循环积控制为三个 Hessian 二次代价之和，热流恒等式再用初始能量——立方 @@M@@L^3@@ 范数——支付累积代价。）
问 2：为什么必须 @@M@@r>2@@，@@M@@r=2@@ 会怎样？
（答：秩分组级数的通项 @@M@@C(1+j)2^{j(1/r-1/2)}@@ 恰在 @@M@@1/r-1/2<0@@ 即 @@M@@r>2@@ 时收敛；@@M@@r=2@@ 时指数为零、级数发散，论文的方法与结论都到不了 @@M@@r=2@@。这与 Lépingle 型变差不等式的 @@M@@r>2@@ 门槛同一现象，论文未讨论 @@M@@r=2@@ 端点是否可能有别的证法。）
问 3：三角情形为什么此前啃不动？
（答：三个输入的变量对 @@M@@(a,b),(b,c),(c,a)@@ 构成三角循环，不是二部图——Kovač 的扭曲仿积/Bellman 函数框架在原文 6.2 节明确指出无法直接处理三角圈。已知最好结果：Durcik–Kovač–Thiele 的幂次型抵消经置换插值只给出对称点 @@M@@\sqrt{\log(R/\varepsilon)}@@ 界，仍依赖尺度范围；Walsh 模型结论则要求第三个输入带特殊结构。）
问 4：硬截断的光滑化这一步有什么新东西？
（答：频率块估计（Proposition~frequency-block）处理系数同时依赖尺度、频率与输出点的调制高斯窗：收窄一个高斯方差并平均中心平移，把振荡插入表示为窄高斯导数的平均，辅助热流只保留一条输入边来控制多余导数项，二维高斯估计控制尺度区间端点的能量变化。硬环上若逐端点估计会线性损失，改为按二进半径区间分组，环的两两不交性保证每组大小与导数界一致——这是从单环到多环不付线性代价的关键。）
问 5：AI 生成证明最可能出错的模式？
（答：线性化与可测选取的簿记。证明先把硬线性化写成光滑线性化减端点误差，对固定有限”菜单”用矩形逼近与可测选取、@@M@@L^3@@ 对偶得界，再经稠密性过渡到一般复 @@M@@L^3@@ 输入并”穷举全部有理环列”。菜单枚举是否真正覆盖一切逐点自选分割、能量跳跃的逐元估计后对对偶输入重标度是否常数一致，都是机器易错且难肉眼复核的部位。本文无形式化证明。）
问 6：与族内姊妹篇是什么关系，会不会一损俱损？
（答：有共同基因但各自独立成篇：极大 THT 一文的主定理已 Lean 形式化，其核心矩阵引理与本文第三节同源（同样的能量 @@M@@\tr(P^{3/2})@@ 与混合迹不等式），但本文自成体系给出全部矩阵与热流估计的证明；dyadic 模型一文则直接复用极大一文的引理。若共享的混合迹不等式有暗伤，三篇会同时暴露——这是审稿时必须单独复核的公共节点。）
问 7：谁会用到它？
（答：变差是比极大更强的一揽子结论：直接产出双端点极大界与联合几乎处处、@@M@@L^{3/2}@@ 主值（尾部以极大意义收敛到零），并与第三个 @@M@@L^3@@ 输入配对得到平的与单纯形两种标量三线性形式的一致界及最优常数相等（Proposition~flat-equivalence），正面解决 Thiele 问题 13 的对称点。做纠缠奇异积分、Walsh 模型、变差不等式与多线性调和分析的人是直接用户。）
总评
用一个计数定理收编变差、极大与主值三样结论，并攻克非二部三角圈这一公认的机制性障碍，分量很重；最大风险在无形式化核验下，共享的矩阵—热流机制一旦有暗伤将连带族内三篇，宜优先请专家复核第三节。