有限 Fourier 部分和怎样重建周期信号？¶

先备知识¶

掌握 Fourier 系数、逐点收敛、Parseval 等式和均方误差。

学习目标¶

把解析系数装配为有限重建，并解释输出边界。

牵引问题¶

有限部分和能回答哪些问题，不能回答哪些极限问题？

探索与猜想¶

同时追踪固定点、移动极值点和有限采样，避免混用不同极限。

概念与理论¶

给定已解析求得的系数，有限重建为

实现只计算给定 \(N\) 与有限点集上的值，状态必须是 `finite_truncation_only`。它可核对周期性、实值性和已知对称，但不能证明无限级数收敛。对方波，取奇数正弦项即可复现第 51 章的牵引图景。

障碍¶

有限图像很有说服力，却不会自动提供无限结论或一致误差界。

证明路线¶

先完成解析恒等式和核性质，再解释有限重建与误差指标。

逐步证明¶

逐项计算解析系数对应的有限三角多项式；每项都是周期连续函数。返回阶数、点数和状态，不返回“已收敛”。

假设用在何处¶

周期性用于归一化；连续性、分段光滑性或平方可积性只在相应定理处使用。

失败边界¶

程序状态和采样值只描述给定有限输入，不能替代理论极限。

例题与迁移¶

例 1：核心模型¶

方波取 (N=1,3,5) 比较连续区内部。

例 2：边界核对¶

在跳跃点每个奇正弦项都为零。

即时检验与回望¶

即时检验 1¶

有限计算应返回什么状态？

即时检验 2¶

采样最大误差是一致误差证书吗？

常见误区与后续¶

• 不混淆跳点半和、移动超调极值与邻域宽度。
• 先证明核性质，再使用收敛结论。

习题与答案¶

习题 1¶

有限部分和能回答哪些问题，不能回答哪些极限问题？

习题 2¶

核对本单元第 2 项结论所需的理论边界。

习题 3¶

核对本单元第 3 项结论所需的理论边界。

习题 4¶

核对本单元第 4 项结论所需的理论边界。

习题 5¶

核对本单元第 5 项结论所需的理论边界。

习题 6¶

核对本单元第 6 项结论所需的理论边界。

习题 7¶

核对本单元第 7 项结论所需的理论边界。

习题 8¶

核对本单元第 8 项结论所需的理论边界。

习题 9¶

核对本单元第 9 项结论所需的理论边界。

习题 10¶

核对本单元第 10 项结论所需的理论边界。