基于泊松求和公式：严格完整推导 奈奎斯特第一准则（频域无ISI条件）
全程符号统一、逻辑闭环、无缝衔接：
SRRC/RC 滤波器、码间串扰 ISI、收发匹配滤波、蓝牙/通信原理全部打通。
0 前置定义
设：
- 系统等效基带总冲激响应：(h(t))(h(t))(h(t))
- 符号周期：(T)(T)(T)，符号速率 (Rs=1T)(R_s = \dfrac{1}{T})(Rs=T1)
- (h(t))(h(t))(h(t)) 傅里叶变换（系统总频响）：
H(f)=∫−∞+∞h(t) e−j2πftdt\]\[ H(f) = \\int_{-\\infty}\^{+\\infty} h(t)\\,e\^{-j2\\pi f t} dt \]\[H(f)=∫−∞+∞h(t)e−j2πftdt
- 接收端最佳采样时刻 ：(t=nT, n∈Z)(t = nT,\;n\in\mathbb Z)(t=nT,n∈Z)
1 时域「无ISI」原始定义（最根本）
发送符号序列：({ak})(\{a_k\})({ak})
接收连续波形：
y(t)=∑k=−∞∞ak⋅h(t−kT)\]\[ y(t) = \\sum_{k=-\\infty}\^{\\infty} a_k \\cdot h(t-kT) \]\[y(t)=k=−∞∑∞ak⋅h(t−kT)
在 (t=nT)(t=nT)(t=nT) 采样：
y(nT)=∑k=−∞∞ak h((n−k)T)\]\[ y(nT) = \\sum_{k=-\\infty}\^{\\infty} a_k\\,h\\big((n-k)T\\big) \]\[y(nT)=k=−∞∑∞akh((n−k)T)
令 (m=n−k)(m = n-k)(m=n−k)：
y(nT)=an h(0)+∑m≠0an−m h(mT)\]\[ y(nT) = a_n\\,h(0) + \\sum_{m\\ne 0} a_{n-m}\\,h(mT) \]\[y(nT)=anh(0)+m=0∑an−mh(mT)
无ISI 时域充要条件
只有当前符号有效，其余符号采样点串扰为0：
h(mT)={A≠0m=00m=±1,±2,...\]\[ \\boldsymbol{ h(mT) = \\begin{cases} A \\ne 0 \& m=0\\\\ 0 \& m = \\pm1,\\pm2,\\dots \\end{cases} } \]\[h(mT)={A=00m=0m=±1,±2,...
(A)(A)(A) 为固定增益，不影响判决。
2 引入泊松求和公式
泊松求和标准形式：
∑m=−∞∞h(mT)=1T∑k=−∞∞H(kT)\]\[ \\sum_{m=-\\infty}\^{\\infty} h(mT) = \\frac{1}{T}\\sum_{k=-\\infty}\^{\\infty} H\\left(\\frac{k}{T}\\right) \]\[m=−∞∑∞h(mT)=T1k=−∞∑∞H(Tk)
推广到任意频偏平移 的通用形式（关键）：
对任意频率 (f)，有：
∑m=−∞∞h(t+mT)=1T∑k=−∞∞H(f+kT)ej2πkTt\]\[ \\boldsymbol{ \\sum_{m=-\\infty}\^{\\infty} h(t+mT) = \\frac{1}{T}\\sum_{k=-\\infty}\^{\\infty} H\\left(f+\\frac{k}{T}\\right) e\^{j2\\pi \\frac{k}{T}t} } \]\[m=−∞∑∞h(t+mT)=T1k=−∞∑∞H(f+Tk)ej2πTkt
我们取固定观察频率 (f)(f)(f) ，只看时域采样叠加：
令
gf(t)=∑m=−∞∞h(t+mT)\]\[ g_f(t) = \\sum_{m=-\\infty}\^{\\infty} h(t+mT) \]\[gf(t)=m=−∞∑∞h(t+mT)
这是 (h(t))(h(t))(h(t)) 以 (T)(T)(T) 为周期的周期延拓。
3 代入无ISI时域条件
由无ISI：
h(mT)=0,∀m≠0\]\[ h(mT)=0,\\quad \\forall m\\ne 0 \]\[h(mT)=0,∀m=0
则对任意整数偏移：
gf(t)∣t=0=∑mh(mT)=h(0)=常数\]\[ g_f(t)\\big\|_{t=0} = \\sum_{m} h(mT) = h(0) = \\text{常数} \]\[gf(t) t=0=m∑h(mT)=h(0)=常数
进一步：
若要对全部频率 (f)(f)(f) 都无ISI ，
要求周期延拓后的时域波形 (gf(t))(g_f(t))(gf(t)) 为直流常数 ，
与 (t,f)(t,f)(t,f) 无关。
周期信号为常数 ( ⟺ )(\iff)(⟺) 仅直流分量、所有谐波分量为0。
4 核心一步：导出频域叠加条件
由泊松求和：
gf(t)=1T∑k=−∞∞H(f+kT)ej2πkTt\]\[ g_f(t) = \\frac{1}{T}\\sum_{k=-\\infty}\^{\\infty} H\\left(f+\\frac{k}{T}\\right) e\^{j2\\pi \\frac{k}{T}t} \]\[gf(t)=T1k=−∞∑∞H(f+Tk)ej2πTkt
要使 (gf(t)≡常数)(g_f(t)\equiv \text{常数})(gf(t)≡常数)：
- 所有 (k≠0)(k\ne 0)(k=0) 的谐波项系数必须为 0
- 仅保留 (k=0)(k=0)(k=0) 直流项
最终约束：
∑k=−∞∞H(f+kT)=T⋅h(0) ≡C(常数)\]\[ \\boldsymbol{ \\sum_{k=-\\infty}\^{\\infty} H\\left(f+\\frac{k}{T}\\right) = T\\cdot h(0) \\;\\equiv \\boldsymbol{C} \\quad (\\text{常数}) } \]\[k=−∞∑∞H(f+Tk)=T⋅h(0)≡C(常数)
5 结论：奈奎斯特第一准则（频域标准版）
基带传输系统无码间串扰 ISI 的充要频域条件 ：
将系统等效频率响应 (H(f))(H(f))(H(f))
以间隔 (1T)(\boldsymbol{\dfrac{1}{T}})(T1) 做周期平移、全域叠加，
叠加总和在全频率轴上为恒定常数 。
∑k=−∞∞H(f+kT)=C\]\[ \\boxed{ \\boldsymbol{ \\sum_{k=-\\infty}\^{\\infty} H\\left(f+\\frac{k}{T}\\right) = C }} \]\[k=−∞∑∞H(f+Tk)=C
6 衔接：升余弦 RC / SRRC 完整闭环
（1）收发滤波器结构
- 发送端：SRRC 频响 (P(f))(P(f))(P(f))
- 接收端：SRRC 频响 (P(f))(P(f))(P(f))
- 信道理想无失真
系统总等效频响：
Heq(f)=P(f)⋅P(f)\]\[ H_{\\text{eq}}(f) = P(f)\\cdot P(f) \]\[Heq(f)=P(f)⋅P(f)
（2）SRRC 设计初衷
强制满足：
KaTeX parse error: Can't use function '\]' in math mode at position 37: ...{\text{RC}}(f) \̲]̲ \[ \Rightarrow...
（3）升余弦 RC 天然满足奈奎斯特条件
升余弦滤波器 (H_{\text{RC}}(f)) 经过特殊滚降设计：
∑k=−∞∞HRC(f+kT)≡C\]\[ \\sum_{k=-\\infty}\^{\\infty} H_{\\text{RC}}\\left(f+\\frac{k}{T}\\right) \\equiv C \]\[k=−∞∑∞HRC(f+Tk)≡C
✅ 因此：
SRRC 发送×SRRC 接收⇒等效RC系统⇒频域叠加为常数⇒无ISI采样\]\[ \\text{SRRC 发送} \\times \\text{SRRC 接收} \\Rightarrow \\text{等效RC系统} \\Rightarrow \\text{频域叠加为常数} \\Rightarrow \\textbf{无ISI采样} \]\[SRRC 发送×SRRC 接收⇒等效RC系统⇒频域叠加为常数⇒无ISI采样
7 时域侧面验证（辅助理解）
RC 时域冲激响应：
hRC(t)=sinc (tT)⋅cos(πβtT)1−(2βtT)2\]\[ h_{\\text{RC}}(t) = \\text{sinc}\\!\\left(\\frac{t}{T}\\right) \\cdot \\frac{\\cos\\left(\\pi\\beta \\frac{t}{T}\\right)}{1-\\left(2\\beta \\frac{t}{T}\\right)\^2} \]\[hRC(t)=sinc(Tt)⋅1−(2βTt)2cos(πβTt)
当 (t=mT, m=±1,±2⋯ )(t = mT,\;m=\pm1,\pm2\cdots)(t=mT,m=±1,±2⋯)：
sinc(m)=0 ⟹ hRC(mT)=0\]\[ \\text{sinc}(m) = 0 \\implies \\boldsymbol{h_{\\text{RC}}(mT)=0} \]\[sinc(m)=0⟹hRC(mT)=0
直接满足时域无ISI原始条件，与频域推导完全自洽。
8 精简总结
借助泊松求和公式，可将时域无码间串扰条件 (h(mT)=0 (m≠0))(h(mT)=0\;(m\ne0))(h(mT)=0(m=0))
等价变换为频域约束：系统等效频率响应以符号速率 (1/T)(1/T)(1/T) 周期延拓叠加后为常数。
升余弦（RC）滤波器通过特殊滚降频谱形态天然满足该奈奎斯特频域条件；
工程中采用收发对称平方根升余弦（SRRC）匹配滤波，级联后等效为RC响应，
最终实现无ISI基带传输。
WiFi-OFDM 核心结论前置
WiFi-OFDM 完全利用了奈奎斯特第一准则 + 载波正交性双重原理：
- OFDM 每个子载波各自满足单载波奈奎斯特无ISI条件；
- 子载波之间频域正交 ，消除子载波间干扰 ICI；
- 循环前缀 CP 用来消除多径码间串扰 ISI；
- 整体数学本质：时域符号周期正交 + 频域子载波正交 + 奈奎斯特基带无串扰。
下面：统一符号、从零推导、全程闭环、衔接前面泊松求和/奈奎斯特/RC/SRRC整套体系。
一、基础符号定义
- 子载波总数：(N)(N)(N)（WiFi 20MHz：(N=64)(N=64)(N=64)）
- 有效符号持续时长（OFDM 本体时长）：(Tu)(\boldsymbol{T_u})(Tu)
- 子载波间隔：
Δf=1Tu\]\[ \\boldsymbol{\\Delta f = \\frac{1}{T_u}} \]\[Δf=Tu1
- 第 (k)(k)(k) 个子载波基带调制符号：(Xk)(X_k)(Xk)（QPSK/QAM/导频）
- 载波角频率：(ωk=2πkΔf)(\omega_k = 2\pi k\Delta f)(ωk=2πkΔf)
- 时域连续 OFDM 发射基带信号：(s(t))(s(t))(s(t))
二、OFDM 发送端时域信号数学建模
OFDM 本质：多路正交子载波并行叠加
s(t)=∑k=0N−1Xk⋅ej2πkΔf t,0≤t\ 代入 (Δf=1Tu)(\Delta f = \dfrac{1}{T_u})(Δf=Tu1)： s(t)=∑k=0N−1Xk⋅e j2πkTut\]\[ s(t) = \\sum_{k=0}\^{N-1} X_k \\cdot e\^{\\,j\\frac{2\\pi k}{T_u} t} \]\[s(t)=k=0∑N−1Xk⋅ejTu2πkt
任意两个不同子载波 (k,m)(k,m)(k,m)，在一个符号周期 (Tu)(T_u)(Tu) 内内积为 0： ∫0Tuej2πkTut⋅(ej2πmTut)∗dt={Tuk=m0k≠m\]\[ \\int_{0}\^{T_u} e\^{j\\frac{2\\pi k}{T_u}t} \\cdot \\left(e\^{j\\frac{2\\pi m}{T_u}t}\\right)\^\*dt =\\begin{cases} T_u \& k=m\\\\ 0 \& k\\ne m \\end{cases} \]\[∫0TuejTu2πkt⋅(ejTu2πmt)∗dt={Tu0k=mk=m
I=∫0Tuej2π(k−m)Tutdt\]\[ I = \\int_0\^{T_u} e\^{j\\frac{2\\pi(k-m)}{T_u}t} dt \]\[I=∫0TuejTu2π(k−m)tdt
令 (d=k−m≠0)(d = k-m \neq 0)(d=k−m=0)： I=Tuj2πd(ej2πd−e0)\]\[ I = \\frac{T_u}{j2\\pi d} \\left( e\^{j2\\pi d} - e\^{0} \\right) \]\[I=j2πdTu(ej2πd−e0)
因为 (d)(d)(d) 为整数：(ej2πd=1)(e^{j2\pi d}=1)(ej2πd=1) I=Tuj2πd(1−1)=0\]\[ I = \\frac{T_u}{j2\\pi d}(1-1) = \\boldsymbol{0} \]\[I=j2πdTu(1−1)=0
✅ 不同子载波正交无串扰 ，接收端可以无干扰拆解每一路 (Xk)(X_k)(Xk)。 对第 (k)(k)(k) 个子载波： 基带调制符号速率： Rs=1Tu\]\[ R_s = \\frac{1}{T_u} \]\[Rs=Tu1
符号周期：(T=Tu)(T=T_u)(T=Tu) 单路子载波波形： sk(t)=Xk⋅ej2πkΔf t\]\[ s_k(t) = X_k \\cdot e\^{j2\\pi k\\Delta f \\,t} \]\[sk(t)=Xk⋅ej2πkΔft
在符号采样时刻 (t=nTu)(t = nT_u)(t=nTu) 观测： 奈奎斯特时域条件： h(mT)={常数m=00m≠0\]\[ h(mT)= \\begin{cases} \\mathrm{常数} \& m=0\\\\ 0 \& m\\neq 0 \\end{cases} \]\[h(mT)={常数0m=0m=0
OFDM 单个子载波在整数符号周期采样 ： ej2πkTu⋅nTu=ej2πkn≡1\]\[ e\^{j\\frac{2\\pi k}{T_u}\\cdot nT_u} = e\^{j2\\pi k n} \\equiv 1 \]\[ejTu2πk⋅nTu=ej2πkn≡1
👉 每一路子载波，都是天然的奈奎斯特正交波形 ， WiFi 实际工程： 连续时间 → 离散数字化 采样点数 = 子载波数 (N) 采样间隔： Ts=TuN\]\[ T_s = \\frac{T_u}{N} \]\[Ts=NTu
发送端 IFFT： s\[n\]=1N∑k=0N−1Xk ej2πNkn,n=0,1...N−1\]\[ s\[n\] = \\frac1N \\sum_{k=0}\^{N-1} X_k \\,e\^{j\\frac{2\\pi}{N}kn},\\quad n=0,1\\dots N-1 \]\[s\[n\]=N1k=0∑N−1XkejN2πkn,n=0,1...N−1
接收端 FFT： Xk=∑n=0N−1s\[n\] e−j2πNkn\]\[ X_k = \\sum_{n=0}\^{N-1} s\[n\] \\,e\^{-j\\frac{2\\pi}{N}kn} \]\[Xk=n=0∑N−1s\[n\]e−jN2πkn
∑n=0N−1ej2πNkne−j2πNmn={Nk=m0k≠m\]\[ \\sum_{n=0}\^{N-1} e\^{j\\frac{2\\pi}{N}kn}e\^{-j\\frac{2\\pi}{N}mn} =\\begin{cases} N \& k=m\\\\ 0 \& k\\ne m \\end{cases} \]\[n=0∑N−1ejN2πkne−jN2πmn={N0k=mk=m
完全等价离散形式奈奎斯特无串扰条件。 前面是理想无多径 ； 实际室内多径 → 信道时延扩展 (τrms)(\tau_\text{rms})(τrms) 层1（单载波奈奎斯特） 每个子载波波形以 (Tu)(T_u)(Tu) 为符号周期，满足奈奎斯特第一准则， 层2（频域正交奈奎斯特） 子载波间隔 (Δf=1/Tu)(\Delta f=1/T_u)(Δf=1/Tu)，频域严格正交， 层3（CP 保障信道下奈奎斯特有效） 对抗多径时延，保证采样窗口合法， OFDM 系统通过设置子载波间隔 (Δf=1/Tu)(\Delta f=1/T_u)(Δf=1/Tu)，使各路子载波在一个OFDM符号周期内满足严格正交条件； 单路子载波以符号时长 (Tu)(T_u)(Tu) 为周期，天然满足奈奎斯特第一准则时域无码间串扰约束； 结合IFFT/FFT离散正交变换与循环前缀CP抗多径设计， 同时消除子载波间干扰ICI 与符号间串扰ISI ， 最终实现接收端通过FFT正交拆解分离各子载波QAM/导频符号。
三、关键1：子载波「频域正交性」推导（抗ICI）
严格推导
四、关键2：OFDM 天然满足「奈奎斯特第一准则」
1. 单路子载波视角（把每个子载波当独立单载波）
2. 时域无ISI 奈奎斯特条件对照
单个子载波内部无码间串扰 ISI。
五、关键3：离散形式 IFFT/FFT 与奈奎斯特离散采样等价
离散正交性（离散版奈奎斯特）
六、关键4：多径信道下，CP 如何补全奈奎斯特条件
👉 重新恢复：
符号周期完整性 + 子载波正交性 + 奈奎斯特无ISI采样条件
七、统一串联：OFDM = 两层奈奎斯特隔离
消除同一子载波前后符号 ISI；
消除不同子载波之间 ICI；
让衰落信道下奈奎斯特条件依然成立。
八、最终闭环：和你之前 SRRC/蓝牙/奈奎斯特体系打通
窄带平坦衰落，靠差分非相干规避相位，不需要严格奈奎斯特成型；
靠 SRRC+RC 升余弦滤波 + 奈奎斯特频域叠加常数 实现无ISI；
不靠滚降滤波器，靠
正交载波周期波形 + FFT/IFFT 正交基 + CP 抗多径
原生数学上满足奈奎斯特无串扰条件。
九、精简结论