复指数形式怎样统一正弦与余弦形式？¶

先备知识¶

掌握 Euler 公式和实 Fourier 系数。

学习目标¶

在不改变归一化的前提下完成实形式与复指数形式双向换算。

牵引问题¶

能否用一个整数指标同时记录正弦与余弦频率？

探索与猜想¶

\(e^{in\omega x}\) 同时包含余弦和正弦，负频率负责共轭信息。

概念与理论¶

定义

则形式上 \(f\sim\sum_{n\in\mathbb Z}c_ne^{in\omega x}\)。双向换算为 \(c_0=a_0/2\)，\(c_n=(a_n-ib_n)/2\)，\(c_{-n}=(a_n+ib_n)/2\)，以及 \(a_n=c_n+c_{-n}\)，\(b_n=i(c_n-c_{-n})\)。实值 \(f\) 满足共轭对称 \(c_{-n}=\overline{c_n}\)。

障碍¶

指数中的负号与 (b_n) 的符号容易同时写反。

证明路线¶

代入 Euler 公式，分别比较 (e^{in\omega x}) 与 (e^{-in\omega x}) 系数。

逐步证明¶

(a_ncos n\omega x+b_nsin n\omega x) (=((a_n-ib_n)/2)e^{in\omega x}+((a_n+ib_n)/2)e^{-in\omega x})。

假设用在何处¶

实值性只用于共轭对称；双向换算本身允许复值系数。

失败边界¶

复形式简化记号，但不会自动证明双边无穷和收敛。

例题与迁移¶

例 1：余弦¶

(cos x) 有 (c_1=c_{-1}=1/2)。

例 2：正弦¶

(sin x) 有 (c_1=-i/2,c_{-1}=i/2)。

即时检验与回望¶

即时检验 1¶

实值函数的负频率是否独立？

即时检验 2¶

(c_0) 与 (a_0) 的关系是什么？

常见误区与后续¶

• 先固定指数约定，再记换算公式。
• 双向换算是有限代数，不是收敛证明。

习题与答案¶

习题 1¶

由 (a_n,b_n) 写出 (c_n)。

习题 2¶

由 (c_n,c_{-n}) 写出 (a_n)。

习题 3¶

由二者写出 (b_n)。

习题 4¶

偶实函数的 (c_n) 有何性质？

习题 5¶

奇实函数的 (c_n) 有何性质？

习题 6¶

常数 3 的 (c_0) 是多少？

习题 7¶

(e^{2ix}) 的唯一非零复系数是什么？

习题 8¶

为何系数积分指数带负号？

习题 9¶

复形式是否改变周期？

习题 10¶

共轭对称能否用于任意复值函数？