形式陈述
对取复数公理库复数Complex number形如 a+bi 的数,按坐标规则构成实数域的二次扩张。值(实数值为特例)的有限支撑双边序列公理库序列Sequence以自然数为定义域的函数。或 序列 ,离散卷积定义为
下标约定为整数。它可按 的索引表编码成普通自然数序列;卷积中的下标相加仍使用原来的整数值,而不能把编码后的编号直接相加。若原输入只给出 ,就把其余位置补零。 指满足 的序列, 就是这项绝对值总和。
有限支撑使每个输出只有有限项;在 情形,绝对可和性保证卷积仍属于 ,并有
范数界可以直接核算:由三角不等式及Tonelli 定理的非负求和换序公理库Tonelli 定理Tonelli's theorem非负可测函数的二重积分与两种迭代积分相等,允许共同取无穷。,
对固定 , 仍遍历所有整数,故内层和没有改变。这也说明为什么“绝对可和”能合法支撑后续换序。
卷积满足交换律与结合律,集中在下标 的序列 是单位元。将 分别写成有限复测度 与 ,这个公式正是一般有限复测度卷积公理库卷积Convolution · 卷积运算在加法群上把两份测度按加法映射推前,汇总所有可合成为同一输出的输入贡献。在整数群上的坐标表示。概率质量函数还要求各项非负且总和为一;一般复数信号不附带这个概率解释。
直觉
输出位置 不只读取 与 ,而是遍历所有满足 的下标分解。第一条序列提供一部分下标,第二条提供余下部分,两项相乘后再把所有形成同一总下标的路径相加。多项式乘法中,同样的机制把次数相加。
例子与边界
若 、 只支撑在下标 ,则 :中间系数 来自分解 。公平骰子质量函数的自卷积产生先升后降的三角分布,因为中间点数和拥有更多分解。
独立性在概率解释中不可省略。若 为公平的 随机变量且 ,两个边缘质量函数相同,但实际 在 各取概率 ,在 取概率 ;把边缘直接卷积却给 。卷积相乘使用的是联合概率可分解这一事实。
有限长度信号的 DFT 相乘后逆变换得到循环卷积:下标按长度取模,越界项会绕回开头。若想得到线性卷积,必须先零填充到至少 ;遗漏这一步会发生混叠。例如 与自身的线性卷积是 ,若只做长度 的循环卷积,下标 绕回 ,结果变为 ,并非原结果的截断。没有绝对可和性时,重排无穷级数可能改变结果,结合律也不能只凭形式符号宣称。
推论与应用
普通生成函数相乘时, 的系数正是序列卷积,这连接了普通生成函数公理库普通生成函数Ordinary generating function把序列编码为形式幂级数 Σ a_n x^n。与组合分拆。对长度分别为 的有限复数输入,选二次幂 并补零,两次FFT公理库快速 Fourier 变换Fast Fourier transform · FFT利用单位根的偶奇分解在 $O(n\log n)$ 时间计算离散 Fourier 变换。、逐点相乘和一次逆 FFT 就输出线性卷积;只保留前 项。在给定单位根的精确复数运算模型中,成本为 。这项实现针对有限输入,不是计算任意无穷序列的全部卷积项。离散概率中,独立整数值随机变量之和的质量函数也按同一公式计算。
对有限集合的指示函数, 恰好数出 的有序表示次数;把这些次数平方后求和,就得到加性能量公理库加性能量Additive energy · 加法能量用相同和的有序四元组计数衡量加法碰撞,并通过卷积平方和与 Fourier 四阶矩连接和集大小及频谱结构。。因此卷积不仅给出有哪些和,还能通过同一输出被多少输入共享,量化加法碰撞。
周期网格上的逐点乘积对应循环卷积,高频因此可能折进保留的低频。谱去混叠公理库谱混叠与去混叠Spectral aliasing · Dealiasing从频率模网格数的折叠推导二次非线性的补零与截断规则,完整算出一个伪低频反例。先扩展网格计算乘积,再截回原频带,明确了何时循环卷积与所需连续乘积系数一致。
参考资料
- 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 讲。