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

问题在问什么

We will shortly turn to the complex-analytic approach to multiplicative number theory, which relies on the basic properties of complex analytic functions . In this supplement to the main notes, we quickly review the portions of complex analysis that 下面会 be using in this course. We will not attempt a comprehensive review of this subject; for instance, 下面会 completely neglect the conformal geometry or Riemann surface aspect of complex analysis, and 下面会 also avoid using the vario

We begin by recalling the notion of a holomorphic function , which will later be shown to be essentially synonymous with that of a complex analytic function .

已知结果和反例

Definition 1 (Holomorphic function) Let be an open subset of , and let be a function. If , we say that is complex differentiable at if the limit

exists, in which case we refer to as the (complex) derivative of at . If is differentiable at every point of , and the derivative is continuous, we say that is holomorphic on .

证明或构造的主线

Exercise 2 Show that a function is holomorphic if and only if the two-variable function is continuously differentiable on and obeys the Cauchy-Riemann equation

Basic examples of holomorphic functions include complex polynomials

阅读时建议盯住的点

which are holomorphic on the entire complex plane (i.e., they are entire functions ). The sum or product of two holomorphic functions is again holomorphic; the quotient of two holomorphic functions is holomorphic so long as the denominator is non-zero. Finally, the composition of two holomorphic functions is holomorphic wherever the composition is defined.

for all . ( Hint: it is a bit tricky to do this starting from the trigonometric definitions of sine and cosine; I recommend either using the Taylor series formulations of these functions instead, or alternatively relying on the ordinary differential equations obeyed by sine and cosine.) (ii) Show that every non-zero complex number has a complex logarithm such that , and that this logarithm is unique up to integer multiples of . (iii) Show that there exists a unique principal

值得单独记下的条目

• (ii) Show that every non-zero complex number has a complex logarithm such that , and that this logarithm is unique up to integer multiples of .
• (iii) Show that there exists a unique principal branch of the complex logarithm in the region , defined by requiring to be a logarithm of with imaginary part between and . Show that this principal branch is holomorphic with derivative .
• Let be a complex analytic function on the unit disk , and define the Fourier coefficients for . Show that for all negative , and one has the Taylor expansion (as an absolutely convergent series) in the interior of the disk.
• Conversely, let be an absolutely summable sequence of complex numbers. Show that the function is a continuous function on the unit disk that is holomorphic on the interior of this disk, and that for all .
• (i) Establish the pointwise bounds for all , where denotes the -fold derivative of , and with the convention that the inequality is trivially true when and .
• (i) If for some and all , show that for all .
• (ii) If for some and all , show that for all .
• (iii) If for some and all , show that for all .

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

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

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

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

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