工程数学-积分变换（张元林）1-4.pptVIP

若已知函数 则积分 称为函数 与 的卷积, 记为 证明: 根据卷积的定义，有 若 在 二、相关函数 第*页 主页 上一页 下一页 退出 积分变换 第*页 * 三、小结 一、卷积定理 二、相关函数 一、卷积定理 1.卷积的概念 即 ? ? 2.卷积的运算性质 即卷积满足交换律. 即卷积满足结合律. 一、卷积定理 ? ? ? ? ? ? 即卷积满足分配律. 其中 为常数. 一、卷积定理 ? ? ? ? ? ? 5)对卷积,有下面的不等式成立： 即函数卷积的绝对值不大于函数绝对值的卷积. 一、卷积定理 ? ? 证明卷积满足交换律,即 ? ? 证明: 即卷积满足交换律. ? ? 证明: ? ? ? ? 即卷积满足对加法的分配律. ? ? 积. 按卷积的定义,有 ? 而 的区间由图可以看出， ? 时，为 所以 3.卷积定理 若 满足Fourier积分定理中的条件,且 则 ? ? 3.卷积定理 ? ? 3.卷积定理 则 ? 卷积定理提供了卷积计算的简便方法,即化卷积运算为乘积运算. 3.卷积定理 ? ? ? ? ? ? 1.相关函数的概念 称为两个函数 和 的互相关函数. 对于两个不同的函数 和 ，积分 记作 而积分 记作 当 称为函数的 的自相关函数， 记作 二、相关函数 时， 根据 的定义,可以看出:自相关函数是一个偶函数. 证明: 互相关函数的一个性质: 二、相关函数 2.相关函数和能量谱密度的关系 再根据位移性质,可得 2.相关函数和能量谱密度的关系 　 由此可见,相关函数 和能量谱密度 构成一个Fourier变换对: 2.相关函数和能量谱密度的关系 由能量谱密度的定义可以推出 利用相关函数 及 的偶函数性质 三角形式 2.相关函数和能量谱密度的关系 当 时 根据乘积 2.相关函数和能量谱密度的关系 定理,可得 称为 的互能量谱密度. 它和互相关函数亦构成一个Fourier变换对: 2.相关函数和能量谱密度的关系 互能量谱密度的一个性质: 2.相关函数和能量谱密度的关系