Skip to content

定义Definition

离散卷积

Discrete convolution · Sequence convolution

对所有下标分解求和得到序列、概率质量函数或多项式系数的卷积。

形式陈述 ​

对取复数值(实数值为特例)的有限支撑双边序列或 ℓ1(Z) 序列 a,b,离散卷积定义为

(a∗b)n=∑k∈Zakbn−k.

下标约定为整数。它可按 0,1,−1,2,−2,… 的索引表编码成普通自然数序列;卷积中的下标相加仍使用原来的整数值,而不能把编码后的编号直接相加。若原输入只给出 a0,…,am−1,就把其余位置补零。ℓ1(Z) 指满足 ∑k∈Z|ak|<∞ 的序列,‖a‖1 就是这项绝对值总和。

有限支撑使每个输出只有有限项;在 ℓ1 情形,绝对可和性保证卷积仍属于 ℓ1,并有

‖a∗b‖1≤‖a‖1‖b‖1.

范数界可以直接核算:由三角不等式及Tonelli 定理的非负求和换序,

∑n|∑kakbn−k|≤∑k|ak|∑n|bn−k|=‖a‖1‖b‖1.

对固定 k,n−k 仍遍历所有整数,故内层和没有改变。这也说明为什么“绝对可和”能合法支撑后续换序。

卷积满足交换律与结合律,集中在下标 0 的序列 δ0 是单位元。将 a,b 分别写成有限复测度 ∑kakδk 与 ∑kbkδk,这个公式正是一般有限复测度卷积在整数群上的坐标表示。概率质量函数还要求各项非负且总和为一;一般复数信号不附带这个概率解释。

直觉

输出位置 n 不只读取 an 与 bn,而是遍历所有满足 k+(n−k)=n 的下标分解。第一条序列提供一部分下标,第二条提供余下部分,两项相乘后再把所有形成同一总下标的路径相加。多项式乘法中,同样的机制把次数相加。

例子与边界

若 a=(1,1)、b=(1,1) 只支撑在下标 0,1,则 a∗b=(1,2,1):中间系数 2 来自分解 1=0+1=1+0。公平骰子质量函数的自卷积产生先升后降的三角分布,因为中间点数和拥有更多分解。

独立性在概率解释中不可省略。若 X 为公平的 0/1 随机变量且 Y=X,两个边缘质量函数相同,但实际 X+Y 在 0,2 各取概率 1/2,在 1 取概率 0;把边缘直接卷积却给 (1/4,1/2,1/4)。卷积相乘使用的是联合概率可分解这一事实。

有限长度信号的 DFT 相乘后逆变换得到循环卷积:下标按长度取模,越界项会绕回开头。若想得到线性卷积,必须先零填充到至少 m+n−1;遗漏这一步会发生混叠。例如 (1,1) 与自身的线性卷积是 (1,2,1),若只做长度 2 的循环卷积,下标 2 绕回 0,结果变为 (2,2),并非原结果的截断。没有绝对可和性时,重排无穷级数可能改变结果,结合律也不能只凭形式符号宣称。

推论与应用

普通生成函数相乘时,xn 的系数正是序列卷积,这连接了普通生成函数与组合分拆。对长度分别为 r,s≥1 的有限复数输入,选二次幂 N≥r+s−1 并补零,两次FFT、逐点相乘和一次逆 FFT 就输出线性卷积;只保留前 r+s−1 项。在给定单位根的精确复数运算模型中,成本为 O(Nlog⁡(N+1))。这项实现针对有限输入,不是计算任意无穷序列的全部卷积项。离散概率中,独立整数值随机变量之和的质量函数也按同一公式计算。

对有限集合的指示函数,(1A∗1B)(s) 恰好数出 s=a+b 的有序表示次数;把这些次数平方后求和,就得到加性能量。因此卷积不仅给出有哪些和,还能通过同一输出被多少输入共享,量化加法碰撞。

周期网格上的逐点乘积对应循环卷积,高频因此可能折进保留的低频。谱去混叠先扩展网格计算乘积,再截回原频带,明确了何时循环卷积与所需连续乘积系数一致。

参考资料
  • Thomas H. Cormen et al., Introduction to Algorithms, 4th ed., MIT Press, 2022,polynomial multiplication and FFT。
  • Ronald N. Bracewell, The Fourier Transform and Its Applications, 3rd ed., McGraw–Hill, 2000,discrete and circular convolution。
  • Dennis Freeman, Signals and Systems: Lecture 8, Convolution, MIT OpenCourseWare, 2011,第 8 讲。
关系图谱12 个相邻概念 · 4 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。

类型化关系