2.1 正交性的数学本质
2.1 正交性的数学本质
本节摘要：SOURCE 2.1：离散子载波 e^{j2\pi kn/N} 在 n=0..N-1 上正交；IFFT 将频域符号映射为时域采样，等价于正交基展开。
正交条件
连续形式：\int_0^T u_k(t) u_l^*(t) dt = 0（k \neq l）。
OFDM 取 \Delta f = 1/T，保证一个符号周期内子载波互不影响。
离散形式：DFT 矩阵列向量彼此正交，FFT 快速实现 O(N\log N)。
| 概念 | 公式/结构 | 工程含义 |
|---|---|---|
| 子载波间隔 | \Delta f=1/T | 无保护带叠载 |
| IFFT | x[n]=\sum X_k e^{j2\pi kn/N} | 时域合成 |
| FFT | 接收分离 | 单抽头均衡前提 |
破坏正交的因素：CFO、相位噪声、多普勒 → 子载波间干扰 ICI。
⚠️ 常见坑：符号窗未对齐 FFT——须去 CP 后取正确窗。
💡 关键直觉：正交 = 频域独立检测的数学保证。
连续与离散：正交性的两种表述
正交性在连续域与离散域各有严格的数学表述，二者必须同时掌握。连续域版本面向直觉：两个复指数信号 u_k(t)=e^{j2\pi k\Delta f t} 与 u_l(t)=e^{j2\pi l\Delta f t} 在 [0,T] 上的内积为：
当 \Delta f = 1/T 时，k\neq l 的积分结果恒为零，这正是 OFDM 能以无保护带方式叠载子载波的数学根据。离散域版本面向实现：对 n=0,1,\dots,N-1 采样的序列 e^{j2\pi kn/N}，其内积满足：
离散域正交性意味着 DFT 矩阵的列向量构成一组正交基。发射端 IFFT 把频域符号向量投影到这组基上合成时域波形，接收端 FFT 再投影回频域——两次投影互为逆变换，中间的信道失真只要不破坏基的正交性，就能被逐点分离。
Sinc 零点：频域视角的正交
正交性还可以从频域观察，这往往更能揭示"为什么相邻子载波可以重叠"。单个矩形符号窗的频谱是 sinc 函数：
sinc 函数在零点以外的所有整数倍 1/T 处过零。由于子载波间隔 \Delta f = 1/T，第 k 个子载波的 sinc 主瓣峰值恰好落在其他所有子载波的频谱零点上。这就是著名的"正交采样"现象：频谱虽然相互重叠，但在每一个子载波的中心频率处，其他子载波的贡献严格为零。匹配滤波（FFT 积分）等价于在这些零点处采样，因此子载波之间互不干扰。
这个视角也解释了工程上的两个敏感点。其一，一旦出现载波频偏，采样点偏离 sinc 零点，其他子载波的旁瓣贡献不再为零，产生子载波间干扰（ICI），这就是第 4.2 节要解决的同步问题。其二，sinc 的旁瓣以 1/f 衰减，在频谱掩膜要求严格的场景需要加窗或滤波处理。正交性在理想条件下是无懈可击的数学契约，但在真实系统中，任何对"零点对齐"的破坏都会把它撕裂。
下面用 numpy 直接验证离散正交性，并展示子载波频谱的重叠与零点对齐。
import numpy as np N = 8 # 子载波数（小规模便于观察） k = np.arange(N)[:, None] # 频域索引（列向量） n = np.arange(N)[None, :] # 时域索引（行向量） # DFT 矩阵：F[k,n] = exp(-j2πkn/N)，行与行之间正交 F = np.exp(-1j * 2 * np.pi * k * n / N) G = F @ F.conj().T # 检验行正交 print("|G| 对角线应为 N，非对角应为 0：") print(np.round(np.abs(G), 3)) # 两个子载波的时域波形内积 x3 = F[3, :]; x5 = F[5, :] print("|内积(x3,x5)| =", np.round(np.abs(np.vdot(x3, x5)), 8))
子载波正交示意
下图示意两个相邻子载波在一个符号周期内的波形：两者频率相差 Δf=1/T，均在符号周期端点处相位对齐为零点，接收端积分窗口内内积为零。
正交性被破坏后的后果
正交性并非天然存在，需要系统付出代价来维持。三大破坏因素各有不同的物理来源与影响特征。载波频偏来自收发两端本地振荡器的频率失配，它使整个频谱发生平移，采样点偏离 sinc 零点，所有子载波同时受到相邻子载波的泄漏。相位噪声来自振荡器相位随机抖动，其功率谱近似随频率呈 -20 dB/decade 下降，对子载波的影响呈现"公共相位旋转 + ICI"的双重结构。多普勒扩展来自收发相对运动，使信号频谱展宽，高速场景下相当于等效频偏。三者中 CFO 对正交性的破坏最直接，因而同步电路是 OFDM 接收机的第一道工序。
正交性向系统层的延伸
正交性不只服务于波形合成，它还是系统层能力的数学源头。MIMO 检测之所以能逐子载波独立进行，正因为子载波之间互不干扰——每个子载波的信道矩阵可以单独求解，复杂度随子载波数线性增长而非指数增长。OFDMA 之所以能把不同资源块分给不同用户，也正因正交性保证用户间信号在 FFT 输出端自动分离，无需额外干扰消除。可以说，第 3 章的资源网格、第 5 章的多址调度，都是"正交性"这一数学契约在系统层的投影。理解了正交性的本质，就等于掌握了 OFDM 家族全部成员共同的基因。
重点提炼
- Δf=1/T 是正交设计核心
- FFT 是 OFDM 可工程化关键
- CFO/PN 是正交性天敌
- sinc 零点对齐是频域直觉
- 正交性支撑 MIMO 独立检测与 OFDMA 频域多址