陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「254A, Supplement 7: Normalised limit profiles of the log-magnitude of the Riemann zeta fun」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

A major topic of interest of analytic number theory is the asymptotic behaviour of the Riemann zeta function in the critical strip in the limit . For the purposes of this set of notes, it is a little simpler technically to work with the log-magnitude of the zeta function. (In principle, one can reconstruct a branch of , and hence itself, from using the Cauchy-Riemann equations, or tools such as the Borel-Carathéodory theorem , see Exercise 40 of Supplement 2 .)

(See e.g. Exercise 37 from Supplement 3 .) In view of this, let us define the normalised log-magnitudes for any by the formula

已知结果和反例

informally, this is a normalised window into near . One can rephrase several assertions about the zeta function in terms of the asymptotic behaviour of . For instance:

which implies that converges locally uniformly as to zero in the region . (iii) The functional equation, together with the symmetry , implies that

证明或构造的主线

as , locally uniformly in . In particular, when combined with the previous item, we see that converges locally uniformly as to in the region . (iv) From Jensen’s formula (Theorem 16 of Supplement 2 ) we see that is a subharmonic function, and thus is subharmonic as well. In particular we have the mean value inequality

for any disk , where the integral is with respect to area measure. From this and (ii) we conclude that

阅读时建议盯住的点

for any disk with and sufficiently large ; combining this with (i) we conclude that is asymptotically locally bounded in in the limit , thus for any compact set we have for sufficiently large . From (iv) and the usual Arzela-Ascoli diagonalisation argument, we see that the are asymptotically compact in the topology of distributions: given any sequence tending to , one can extract a subsequence such that the converge in the sense of distributions. Let us then define a normalis

Unfortunately, (i)-(iv) fail to characterise completely. For instance, one could have for any convex function of that equals for , for , and obeys the functional equation , and this would be consistent with (i)-(iv). One can also perturb such examples in a region where is strictly convex to create further examples of functions obeying (i)-(iv). Note from subharmonicity that the function is always going to be convex in ; this can be seen as a limiting case of the Hadamard thre

值得单独记下的条目

• (i) The bound (1) implies that is asymptotically locally bounded from above in the limit , thus for any compact set we have for and sufficiently large. In fact the implied constant in only depends on the projection of to the real axis.
• (ii) For , we have the bounds which implies that converges locally uniformly as to zero in the region .
• (i) is bounded from above in the critical strip .
• (iii) We have the functional equation for all . In particular for .
• (i) If is compact, show that has at least one -limit.
• (ii) If is Hausdorff, show that has at most one -limit.
• (iii) Conversely, if fails to be compact (resp. Hausdorff), show that there exists a function and an ultrafilter on such that has no -limit (resp. more than one -limit).

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源