1.冲激函数

1.1狄拉克给出的单位冲激函数的定义

单位冲激函数定义:是奇异函数,它是对强度极大,作用时间极短的物理量的理想化模型(狄拉克提出)。可以用 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化 表示:
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_02
可以这么去理解:它是高度无穷大,宽度无穷小,面积为1的对称窄脉冲。

因为 激活函数 卷积 池化 卷积 冲激函数_卷积_03 , 因此可以认为冲激函数是偶函数。

可以认为下图的过程就是得到 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化

激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_05

冲激函数 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化 与阶跃函数 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_07

激活函数 卷积 池化 卷积 冲激函数_卷积_08

公式表示:
激活函数 卷积 池化 卷积 冲激函数_卷积_09
由此可见,冲击函数的作用之一就是可以描述间断点的导数:

激活函数 卷积 池化 卷积 冲激函数_函数定义_10

1.2 冲激函数的广义函数定义

狄拉克给出的单位冲激函数的定义是一种简单的描述性的定义:t不等于0时函数值为0,t等于0时函数值为无穷大,但函数与坐标轴所围的面积是1。但是从数学的角度来说,这是不严格的定义。

而后面的数学家们给出了一种严谨的定义,称之为冲激函数的广义函数定义,即假设检验函数 $\varphi(t) $ 性质良好(咱也不知道怎么样算好,但我们经常见的都是好的),能使下式成立的所有函数 激活函数 卷积 池化 卷积 冲激函数_阶跃函数_11 都称为冲激函数 激活函数 卷积 池化 卷积 冲激函数_阶跃函数_11。:
激活函数 卷积 池化 卷积 冲激函数_阶跃函数_13
举个例子 激活函数 卷积 池化 卷积 冲激函数_阶跃函数_11 可以为:
激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_15
而冲激函数具有很重要的性质,即冲激函数的取样性质,为:
激活函数 卷积 池化 卷积 冲激函数_阶跃函数_16

1.3 冲激函数的导数的定义

由复合函数的求导规则,有:
激活函数 卷积 池化 卷积 冲激函数_阶跃函数_17
由冲击函数的取样性质,有:
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_18
因为冲激函数是偶函数,所以冲击函数的导数是奇函数

对两边同时取积分,因为奇函数取积分后值为0,所以有:
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_19
类比冲激函数的定义,上式即为冲激函数的导数的定义

通过递归的方式,可以推导出冲激函数的n阶导数的定义:
激活函数 卷积 池化 卷积 冲激函数_阶跃函数_20

2. 卷积

卷积有什么作用?我想这个问题比卷积的定义更令人感兴趣。其实卷积的本质是信号的分解,类似加减乘除运算,卷积是一种计算规则,之所以给这个计算规则起个名字,是因为这种计算经常能用到。因为卷积的本质是信号的分解,所以最好先了解一下信号的分解。

2.1 信号的时域分解

应用信号分解的例子举不胜举,举个有目的性的例子:有时候我们仅知道简单信号作用于一个线性时不变系统后会产生什么响应,而目标是求复杂信号作用于这个系统后的响应,这个时候,如果可以将这个复杂信号分解成很多个简单信号的叠加,那么所求响应也是多个简单信号响应的叠加。

首先,我们构造一个高度为 激活函数 卷积 池化 卷积 冲激函数_卷积_21 ,宽度为 激活函数 卷积 池化 卷积 冲激函数_卷积_22 ,面积为 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_23 的门函数 激活函数 卷积 池化 卷积 冲激函数_卷积_24(下左图)。此时,如果还有一个宽度为 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_25 ,高度为 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_26 的门函数激活函数 卷积 池化 卷积 冲激函数_卷积_27,那么直观地, 激活函数 卷积 池化 卷积 冲激函数_卷积_27 可以用 激活函数 卷积 池化 卷积 冲激函数_卷积_24 线性表示为 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_30

激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_31

假如有一个任意信号 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32

我们可以考虑用多个门函数的叠加的结果 激活函数 卷积 池化 卷积 冲激函数_阶跃函数_33 来近似表示 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32

激活函数 卷积 池化 卷积 冲激函数_阶跃函数_35

那么:

  • “0”号门函数高度为 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_36, 宽度为 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_37 ,用 激活函数 卷积 池化 卷积 冲激函数_卷积_38 表示为:激活函数 卷积 池化 卷积 冲激函数_函数定义_39
  • “1”号门函数高度为 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_40, 宽度为 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_37 ,用 激活函数 卷积 池化 卷积 冲激函数_阶跃函数_42 表示为:激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_43
  • “-1”号门函数高度为 激活函数 卷积 池化 卷积 冲激函数_函数定义_44, 宽度为 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_37 ,用 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_46 表示为:激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_47

所以 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32 的近似表示结果可以表示为:
激活函数 卷积 池化 卷积 冲激函数_函数定义_49

2.2 卷积定义

从图形上看来,如果宽度 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_50 时,则 激活函数 卷积 池化 卷积 冲激函数_卷积_51, 令 激活函数 卷积 池化 卷积 冲激函数_阶跃函数_52 , 有:
激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_53
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32 可以表示为:
激活函数 卷积 池化 卷积 冲激函数_卷积_55
卷积定义如下:

已知定义在区间 激活函数 卷积 池化 卷积 冲激函数_阶跃函数_56 上的两个函数 激活函数 卷积 池化 卷积 冲激函数_函数定义_57激活函数 卷积 池化 卷积 冲激函数_卷积_58, 则定义积分:
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_59
激活函数 卷积 池化 卷积 冲激函数_函数定义_57激活函数 卷积 池化 卷积 冲激函数_卷积_58的卷积积分,简称卷积,记为:
激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_62

所以,对于上述信号分解过程,在 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_50 时的 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32 的分解结果,即为 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32 和冲激函数 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化

因此,从信号分解角度可以得出:任意函数和冲激函数的卷积都等于其本身,可以用式子表示为:
激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_67

2.3 卷积作用举例

系统冲激响应的定义:由单位冲激响应 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化 引起的系统的零状态响应,记为 激活函数 卷积 池化 卷积 冲激函数_卷积_69

系统零状态响应的定义:仅由激励 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32 引起的系统的响应,记为 激活函数 卷积 池化 卷积 冲激函数_函数定义_71

系统(本文所指系统均为线性时不变系统)的冲激响应 激活函数 卷积 池化 卷积 冲激函数_卷积_69 有时候可以通过测试得到(让我想起了锤击法测固有频率),若已经求得冲击响应 激活函数 卷积 池化 卷积 冲激函数_卷积_69, 则可以求解任意信号 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32

根据激活函数 卷积 池化 卷积 冲激函数_卷积_69的定义:
激活函数 卷积 池化 卷积 冲激函数_阶跃函数_76
根据时不变性:
激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_77
根据齐次性:
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_78
由叠加性:
激活函数 卷积 池化 卷积 冲激函数_函数定义_79
而上式等号左侧就等于激励 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32, 等号右侧就等于仅由激励 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_32 对应的零状态响应 激活函数 卷积 池化 卷积 冲激函数_函数定义_71, 所以有:
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_83

3.冲激函数与卷积的邂逅

3.1第一次邂逅

就是上文已经推导的公式:
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_84

3.2 第二次邂逅

激活函数 卷积 池化 卷积 冲激函数_函数定义_85

证明如下

由卷积的定义式,有:
激活函数 卷积 池化 卷积 冲激函数_函数定义_86
**关键一步:**令 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_87, 则 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_88 是含有参数 激活函数 卷积 池化 卷积 冲激函数_函数定义_89 的关于 激活函数 卷积 池化 卷积 冲激函数_激活函数 卷积 池化_90 的函数,有:
激活函数 卷积 池化 卷积 冲激函数_阶跃函数_91
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_88 进行求导,有:
激活函数 卷积 池化 卷积 冲激函数_函数定义_93
激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_94 带入上式, 则有:激活函数 卷积 池化 卷积 冲激函数_函数定义_95 , 所以有:
激活函数 卷积 池化 卷积 冲激函数_函数定义_85

3.3 第三次邂逅

激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_97

因为 激活函数 卷积 池化 卷积 冲激函数_卷积神经网络_98, 所以 激活函数 卷积 池化 卷积 冲激函数_函数定义_99, 故:
激活函数 卷积 池化 卷积 冲激函数_卷积_100
注:上式推导用到了卷积的结合律本文未证明。