c# 傅里叶变换 频域_【工具书向】工科生用的傅里叶变换性质大全与证明

0、引言

本文定位为工具书，为了方便查阅，将性质整理和证明分成独立的两部分，以便查阅。

之所以说是工科生的傅里叶变换，是因为我们工科生常用ω=2πf消掉傅里叶变换的系数2π。这样的变换对的对偶性就没有2π了，各种只要不涉及积分微分的性质相对好记。

考虑到本文的受众是工科生，故部分证明过程并不那么严谨。

（题图催樱之刻）

1、一些函数的定义

这些定义是与许多工科教材的定义一致的。如果对这些定义有所了解的话，可以略过本章。本来不想写这些定义的，毕竟本文的定位是工具书向。不过担心因为定义不同导致了歧义误导他人，还是写了这一章。

1.1、单位阶跃函数

事实上，我们并不怎么关心该函数在

处的值，有的书将其定义为

。对于数学系的可能比较care这个，因为它决定了一些积分的值，但对于我们工科生而言就完全不care了。因此，

本文中如果没有特殊声明，则均认为文中跳变点处的值是无所谓的。

其函数图像如下图所示：

1.2、单位冲激函数（δ函数/Dirac函数）

单位冲激函数可以看做

其中有：

并且有一个被人们称为“筛选性”的性质。顾名思义，对于任意函数

，都能筛选出

的值。

对于δ函数，因为它的取值是0或者无穷，所以我们没办法画出它的图像。我们通常用一个向上的箭头来表示它：

不会电脑画，用画图工具大致画了下

关于δ函数具体的形式，有很多种定义方法。例如定义为：

δ函数还有很多性质，如偶函数性和伸缩性质，这些性质结合(1.5)式就很容易理解了：

1.3、矩形函数（门函数）

矩形函数的形状类似一扇门，故有时候我们也称之为门函数。将非0区间的长度称为门宽。例如下面就是门宽为1的门函数（矩形函数）的定义：

其函数图像如下图所示：

门宽为任意正数

的定义如下：

其函数图像如下图所示：

1.4、三角波函数

顾名思义，三角波函数就是一个三角形。

其函数图像如下图所示：

半底宽为任意正数

的定义如下：

其函数图像如下图所示：

<