← 专著首页目录德麦国际专著第 70 号

第二十八章 这一编能被怎样推翻

SDE数学解构导论 · 约 1,824 汉字

一、逐项分级与归属

项 层级 是否本书增量相容性公理的陈述与命名 — 否——第 53 号已命名并写

成六重约束;本书只取两

条粗化形式伞与伞场(定义 第一层(定义) 否——是既有五类对象的统24.1、24.2) 一写法共振算子(定义 25.1) 第一层(定义) 否——即非局部相互作用算

子归一化指数被唯一指定 第一层 否——标准标度分析定理 26.1 退化定理 第一层 否——已知结果;窄增量=项 层级 是否本书增量

给第 53 号「三重退化」中

的 r→0 一重补上显式常数

与 O(r²) 收敛率常数表(d=1,2,3)与精确 第一层 否(计算),但本书首次乘子验算 并列给出命题 27.1 分道三分 第二层 部分——标度是标准的,三

分作为诊断是本书的推论 27.2 结构性失明 第二层 是失明判据 第二层 是盲缺口比 δ(E) 工作定义 是(与第 53 号的无量纲

SDE 数 N 是两个量,已于

第二十三章划界)

必须再说一次,因为这是本编最容易被攻击的地方:退化定理不是新数学。 非局部算子向局部算子的收敛,在下述三支文献里都是标准内容——非局部向量微积分(Du、Gunzburger、Lehoucq、Zhou 一系)、peridynamics 的极限分析、图Laplacian 向 Laplace–Beltrami 算子的收敛(Belkin–Niyogi 一系)。任何以本编为基础的投稿都必须完整引用这三支,否则会被正确地判为重复工作。

还有一处必须写在明处,它比上一段更要紧。 相容性公理不是本书命名的——专著第53 号已经命名,写成六重约束,并证明那六条是物理假设而非数学必然。本书早期稿曾把"给它命名"记作本编增量,那是错的,已在第二十二章与上表中改正。

本编的增量只有两项:把退化定理反过来当诊断(在 r→0 中被抹去的,经典表述结构性地看不见);由此得到分道三分与失明判据。另有一项半:给第 53 号「三重退化」中的 r→0 那一重补上显式常数与收敛率——那是把一条既有陈述做定量,不是新机制。

二、四条失败标准

失败标准一(针对定理 26.1). 举出满足 J 的条件与 u ∈ C⁴ 的一例,使 ‖ℒ_r u −cΔu‖∞ / r² 随 r→0 无界。第四节的精确乘子说明这在指示核上不会发生;推翻它需要构造另一族 J。

失败标准二(针对命题 27.1). 举出一个伞场与一个 p 次齐次 g,使 I_r 的量级不是r^(p−d)——例如重叠伙伴数不是 O(1) 的伞场。这也正是命题成立所需条件的边界:若伞场的重叠度随 r→0 增长,三分不成立。 这是一条真实的限制,不是形式上的免责。

失败标准三(针对推论 27.2). 举出一个问题,其承重信息为 p > d 的跳变量,而某个r = 0 的表述仍然抓住了它。失败标准四(针对相容性公理的定位). 举出一支离散数学传统,其离散化不伴随不重叠假设,且不需要以其他方式恢复局部性——即第二十二章第二节的解释不成立。

三、三个公开问题

问题一(SDE 数的良定化). 定义 23.1 的 δ(E) 依赖表示的选取与 V/I 的划分方式。是否存在一个取遍所有容许表示的下确界,使 δ 成为问题本身的不变量?若存在,δ = 0是否恰好刻画"逐块方法充分"这一类问题?

问题二(临界情形的显式极限). 在 p = d 的临界档,I_r 的极限是一个什么样的泛函?其常数由 J 的哪个矩决定?

问题三(最小充分结算面). 给定一个问题,是否存在唯一的最小重叠半径 r*,使得半径 ≥ r* 的伞场能抓住全部承重信息而 r < r* 不能?这是全书最重要的一个未决问题,它把"结算面选在哪里"从一条经验规则变成一个可求的量。

四、这一编在全书中的位置

前三编告诉读者不要相信什么,本编第一次交出一个可以拿去算的东西。但要诚实:它交出的分量比它的位置所暗示的要小。 一条已知定理的重证、一条标度三分、一条诊断规则——加起来不构成一门新的微积分。原典把"伞场微积分"列为一件待锻造的武器,本编只完成了它的地基与一条诊断,没有完成那件武器本身。

第五编将转向九十年菲尔兹奖,用第三编的三条通道去读它;第六编回到边界,交代什么在发生、什么不在。

[本编与其他编的接口] 第十七章命题 17.1(压缩→局部性亏损)→ 第二十二章第二节(相容性是修复局部性的代价)。 第十九章扩张选择律 → 第二十五章第三节(归一化指数被唯一指定)。 第二十六章退化定理 → 第二十七章分道 → 姊妹卷的逐胞天花板。 第二十七章失明判据 → 第六编(可检验问题清单)。

第五编 九十年数学典范的发生迁移

编首语

本编把 1936 至 2026 年的菲尔兹奖工作放在一条时间轴上,用第三编的三条通道去读。

这一编在本书里的位置需要先说清楚:它是证据,不是论证。 前四编的四条主线——决定定理、三通道、退化定理、失明判据——不依赖本编中任何一句史料。若本编的全部历史判断都被推翻,前四编一字不改。反过来,本编若成立,它提供的是一个九十年跨度上的分布检验:一条只在几个精心挑选的例子上成立的分类,与一条在九十年二十一届上都能给出判定的分类,可信度不同。

本编也有一条必须先立的自我限制。菲尔兹奖表彰的常常是“解决了一个老问题”,而三通道分类的对象是“一次新结构的发生”,两者不重合。 有若干届的工作,是用已有的结构解决了一个此前已经存在的问题——那些届在三通道表里没有位置。这不是分类失败,是它们不属于分类的对象域。第四十章会给出这一条的统计。

最后,本编在写作时发现了一件超出预期的事:第三编第二十章曾把“范畴论的诞生”列为第四条通道的唯一候选,理由是它既没有压缩什么,也没有一族算子不封闭,而是现有的语言说不出一句已经在被使用的话。走完九十年之后,这样的候选不止一个。第四十章会把它们列出来。这是本编对第三编那个开放问题的唯一实质推进。

[证据分级:本编整体属第三层。逐条历史判断依赖史料,可被史料推翻;第四十章的分布统计随之可变。]

德麦国际专著第 70 号 · 王德生《SDE数学解构导论》