跳到内容
菜单
EN登录
← 全部问题

在半平面 Re(s) >= 1+a1+a 中，尾和 |Rn(s)R_n(s)| 的模在哪里取得最大值？

在区域 Re⁡(s)≥1+a\operatorname{Re}(s)\ge 1+a 中，∣Rn(s)∣|R_n(s)| 的最大值在边界点 s=(1+a)+0is=(1+a)+0i 处取得。这通过链接两个不等式来证明：首先，三角不等式将复数模界定为实数尾和，即 ∣Rn(σ+it)∣≤Rn(σ)|R_n(\sigma+it)|\le R_n(\sigma)；其次，实数参数的逐项比较表明，当 σ≥1+a\sigma\ge 1+a 时，Rn(σ)≤Rn(1+a)R_n(\sigma)\le R_n(1+a)。结合这两个不等式得到 ∣Rn(s)∣≤Rn(1+a)|R_n(s)|\le R_n(1+a)，并且在 s=1+as=1+a 处取得等号。

适用条件

  • 区域是闭半平面 Re⁡(s)≥1+a\operatorname{Re}(s)\ge 1+a，其中 a>0a>0。
  • s=σ+its = \sigma + it 是复变量。
  • Rn(s)=∑k=n+1∞1ksR_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s} 是 zeta 级数的尾和。

理解与推导

  1. 应用三角不等式得到 ∣Rn(σ+it)∣≤Rn(σ)|R_n(\sigma+it)| \le R_n(\sigma)。
  2. 使用实数逐项比较得到对于 σ≥1+a\sigma \ge 1+a，有 Rn(σ)≤Rn(1+a)R_n(\sigma) \le R_n(1+a)。
  3. 链接不等式以得出 ∣Rn(σ+it)∣≤Rn(1+a)|R_n(\sigma+it)| \le R_n(1+a)。
  4. 识别出在边界点 s=(1+a)+0is = (1+a) + 0i 处，模 ∣Rn(s)∣|R_n(s)| 等于 Rn(1+a)R_n(1+a)，从而达到最大值。

例子

最后一张幻灯片结合了前面的两个估计并添加了几何图形。左侧绘制了带有实轴和虚轴的复平面，在 1+a1+a 处的垂直边界线，以及由所有满足 Re⁡(s)≥1+a\operatorname{Re}(s)\ge 1+a 的点组成的阴影半平面。区域内标记了一个样本点 σ+it\sigma+it，其在实轴上的投影为 σ\sigma。右侧链接了不等式：∣Rn(σ+it)∣≤Rn(σ)|R_n(\sigma+it)|\le R_n(\sigma) 且 Rn(σ)≤Rn(1+a)R_n(\sigma)\le R_n(1+a)。根据传递性，半平面中的每个点都满足 ∣Rn(s)∣≤Rn(1+a)|R_n(s)|\le R_n(1+a)。因为在边界点 s=(1+a)+0is=(1+a)+0i 处取得等号，幻灯片得出结论：在区域 Re⁡(s)≥1+a\operatorname{Re}(s)\ge 1+a 中，∣Rn(s)∣|R_n(s)| 的最大值在那里取得。

容易误解的地方

  • 认为最大值出现在某个 t≠0t \neq 0 的内部点。
  • 忘记在比较 kσk^{\sigma} 和 k1+ak^{1+a} 时，取倒数会反转不等号的方向。

观看对应讲解

12:30 – 13:20原站看这一段 ↗

继续追问

答案依据视频资料生成并经过独立核验。若有疑问，请核对原视频或联系原作者。